runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3737009-1338719180/watcher-3737009-1338719180 -o /tmp/evaluation-result-3737009-1338719180/solver-3737009-1338719180 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3737009-1338719180.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.83 3.82 3.80 4/197 20178
/proc/meminfo: memFree=26383864/32873660 swapFree=7120/7120
[pid=20178] ppid=20176 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/20178/stat : 20178 (java) D 20176 20178 18226 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 338043705 9515008 182 33554432000 1073741824 1073778376 140735718287488 140735718278520 270330052277 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/20178/statm: 2323 182 140 9 0 71 0
[startup+0.0172159 s]
/proc/loadavg: 3.83 3.82 3.80 4/197 20178
/proc/meminfo: memFree=26383864/32873660 swapFree=7120/7120
[pid=20178] ppid=20176 vsize=101560 CPUtime=0 cores=1,3,5,7
/proc/20178/stat : 20178 (java) S 20176 20178 18226 0 -1 4202496 1421 0 1 0 0 0 0 0 20 0 2 0 338043705 103997440 1103 33554432000 1073741824 1073778376 140734776514624 140734776505760 270333411389 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20178/statm: 25390 1103 853 9 0 16774 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 101560
[startup+0.100179 s]
/proc/loadavg: 3.83 3.82 3.80 4/197 20178
/proc/meminfo: memFree=26383864/32873660 swapFree=7120/7120
[pid=20178] ppid=20176 vsize=11586392 CPUtime=0.08 cores=1,3,5,7
/proc/20178/stat : 20178 (java) S 20176 20178 18226 0 -1 4202496 5253 0 1 0 7 1 0 0 20 0 18 0 338043705 11864465408 13605 33554432000 1073741824 1073778376 140734776514624 140734776505760 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20178/statm: 2896598 13605 2116 9 0 2887285 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11586392
[startup+0.30023 s]
/proc/loadavg: 3.83 3.82 3.80 4/197 20178
/proc/meminfo: memFree=26383864/32873660 swapFree=7120/7120
[pid=20178] ppid=20176 vsize=11586392 CPUtime=0.45 cores=1,3,5,7
/proc/20178/stat : 20178 (java) S 20176 20178 18226 0 -1 4202496 6301 0 1 0 43 2 0 0 20 0 18 0 338043705 11864465408 15886 33554432000 1073741824 1073778376 140734776514624 140734776505760 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20178/statm: 2896598 15886 2232 9 0 2887285 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 11586392
[startup+0.700249 s]
/proc/loadavg: 3.83 3.82 3.80 4/197 20178
/proc/meminfo: memFree=26383864/32873660 swapFree=7120/7120
[pid=20178] ppid=20176 vsize=11852648 CPUtime=1.71 cores=1,3,5,7
/proc/20178/stat : 20178 (java) S 20176 20178 18226 0 -1 4202496 14306 0 1 0 165 6 0 0 20 0 19 0 338043705 12137111552 25807 33554432000 1073741824 1073778376 140734776514624 140734776505760 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20178/statm: 2963162 25807 2264 9 0 2953849 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 11852648
[startup+1.50065 s]
/proc/loadavg: 3.83 3.82 3.80 3/216 20200
/proc/meminfo: memFree=26289284/32873660 swapFree=7120/7120
[pid=20178] ppid=20176 vsize=11852648 CPUtime=1.96 cores=1,3,5,7
/proc/20178/stat : 20178 (java) S 20176 20178 18226 0 -1 4202496 14375 0 1 0 188 8 0 0 20 0 19 0 338043705 12137111552 27894 33554432000 1073741824 1073778376 140734776514624 140734776505760 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20178/statm: 2963162 27894 2267 9 0 2953849 0
[pid=20178/tid=20180] ppid=20176 vsize=11852648 CPUtime=0.5 cores=1,3,5,7
/proc/20178/task/20180/stat : 20180 (java) S 20176 20178 18226 0 -1 4202560 3386 0 1 0 48 2 0 0 20 0 19 0 338043706 12137111552 27894 33554432000 1073741824 1073778376 140734776514624 140453039535256 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20178/tid=20181] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20181/stat : 20181 (java) S 20176 20178 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338043708 12137111552 27894 33554432000 1073741824 1073778376 140734776514624 140453014940456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20182] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20182/stat : 20182 (java) S 20176 20178 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338043708 12137111552 27894 33554432000 1073741824 1073778376 140734776514624 140452875782824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20178/tid=20183] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20183/stat : 20183 (java) S 20176 20178 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338043708 12137111552 27894 33554432000 1073741824 1073778376 140734776514624 140452874730536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20178/tid=20184] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20184/stat : 20184 (java) S 20176 20178 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338043708 12137111552 27894 33554432000 1073741824 1073778376 140734776514624 140452873677736 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20178/tid=20185] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20185/stat : 20185 (java) S 20176 20178 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338043708 12137111552 27894 33554432000 1073741824 1073778376 140734776514624 140452872624424 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20186] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20186/stat : 20186 (java) S 20176 20178 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338043708 12137111552 27894 33554432000 1073741824 1073778376 140734776514624 140452871571624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20178/tid=20187] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20187/stat : 20187 (java) S 20176 20178 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338043708 12137111552 27894 33554432000 1073741824 1073778376 140734776514624 140452870519336 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20188] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20188/stat : 20188 (java) S 20176 20178 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338043708 12137111552 27894 33554432000 1073741824 1073778376 140734776514624 140452869466536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20189] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20189/stat : 20189 (java) S 20176 20178 18226 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 338043709 12137111552 27894 33554432000 1073741824 1073778376 140734776514624 140452857055976 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20190] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20190/stat : 20190 (java) S 20176 20178 18226 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338043710 12137111552 27894 33554432000 1073741824 1073778376 140734776514624 140452856002040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20191] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20191/stat : 20191 (java) S 20176 20178 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338043710 12137111552 27894 33554432000 1073741824 1073778376 140734776514624 140452854949640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20192] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20192/stat : 20192 (java) S 20176 20178 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338043712 12137111552 27894 33554432000 1073741824 1073778376 140734776514624 140452853898128 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20193] ppid=20176 vsize=11852648 CPUtime=0.58 cores=1,3,5,7
/proc/20178/task/20193/stat : 20193 (java) S 20176 20178 18226 0 -1 4202560 5110 0 0 0 58 0 0 0 20 0 19 0 338043712 12137111552 27894 33554432000 1073741824 1073778376 140734776514624 140452852844728 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20194] ppid=20176 vsize=11852648 CPUtime=0.55 cores=1,3,5,7
/proc/20178/task/20194/stat : 20194 (java) S 20176 20178 18226 0 -1 4202560 4565 0 0 0 55 0 0 0 20 0 19 0 338043712 12137111552 27894 33554432000 1073741824 1073778376 140734776514624 140452851791928 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20178/tid=20195] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20195/stat : 20195 (java) S 20176 20178 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338043712 12137111552 27894 33554432000 1073741824 1073778376 140734776514624 140452850739832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20178/tid=20196] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20196/stat : 20196 (java) S 20176 20178 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338043712 12137111552 27894 33554432000 1073741824 1073778376 140734776514624 140452849687240 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20178/tid=20200] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20200/stat : 20200 (java) S 20176 20178 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338043760 12137111552 27894 33554432000 1073741824 1073778376 140734776514624 140452845475368 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.96
Current children cumulated vsize (KiB) 11852648
[startup+3.10076 s]
/proc/loadavg: 3.83 3.82 3.80 6/219 20209
/proc/meminfo: memFree=26248628/32873660 swapFree=7120/7120
[pid=20178] ppid=20176 vsize=11852648 CPUtime=5.29 cores=1,3,5,7
/proc/20178/stat : 20178 (java) S 20176 20178 18226 0 -1 4202496 16149 0 1 0 511 18 0 0 20 0 22 0 338043705 12137111552 110478 33554432000 1073741824 1073778376 140734776514624 140734776505760 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20178/statm: 2963162 110478 2288 9 0 2953849 0
[pid=20178/tid=20180] ppid=20176 vsize=11852648 CPUtime=0.51 cores=1,3,5,7
/proc/20178/task/20180/stat : 20180 (java) S 20176 20178 18226 0 -1 4202560 3386 0 1 0 49 2 0 0 20 0 22 0 338043706 12137111552 110478 33554432000 1073741824 1073778376 140734776514624 140453039535272 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20178/tid=20181] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20181/stat : 20181 (java) S 20176 20178 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338043708 12137111552 110478 33554432000 1073741824 1073778376 140734776514624 140453014940456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20178/tid=20182] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20182/stat : 20182 (java) S 20176 20178 18226 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 338043708 12137111552 110478 33554432000 1073741824 1073778376 140734776514624 140452875782824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20178/tid=20183] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20183/stat : 20183 (java) S 20176 20178 18226 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 338043708 12137111552 110478 33554432000 1073741824 1073778376 140734776514624 140452874730536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20178/tid=20184] ppid=20176 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/20178/task/20184/stat : 20184 (java) S 20176 20178 18226 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 338043708 12137111552 110478 33554432000 1073741824 1073778376 140734776514624 140452873677736 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20178/tid=20185] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20185/stat : 20185 (java) S 20176 20178 18226 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 338043708 12137111552 110478 33554432000 1073741824 1073778376 140734776514624 140452872624424 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20178/tid=20186] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20186/stat : 20186 (java) S 20176 20178 18226 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 338043708 12137111552 110478 33554432000 1073741824 1073778376 140734776514624 140452871571624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20178/tid=20187] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20187/stat : 20187 (java) S 20176 20178 18226 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 338043708 12137111552 110478 33554432000 1073741824 1073778376 140734776514624 140452870519336 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20178/tid=20188] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20188/stat : 20188 (java) S 20176 20178 18226 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 338043708 12137111552 110478 33554432000 1073741824 1073778376 140734776514624 140452869466536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20178/tid=20189] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20189/stat : 20189 (java) R 20176 20178 18226 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 22 0 338043709 12137111552 110478 33554432000 1073741824 1073778376 140734776514624 140452857054952 140453046006848 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20190] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20190/stat : 20190 (java) S 20176 20178 18226 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 338043710 12137111552 110478 33554432000 1073741824 1073778376 140734776514624 140452856002040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20191] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20191/stat : 20191 (java) S 20176 20178 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338043710 12137111552 110478 33554432000 1073741824 1073778376 140734776514624 140452854949640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20192] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20192/stat : 20192 (java) S 20176 20178 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338043712 12137111552 110478 33554432000 1073741824 1073778376 140734776514624 140452853898128 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20193] ppid=20176 vsize=11852648 CPUtime=1.02 cores=1,3,5,7
/proc/20178/task/20193/stat : 20193 (java) S 20176 20178 18226 0 -1 4202560 6627 0 0 0 100 2 0 0 20 0 22 0 338043712 12137111552 110478 33554432000 1073741824 1073778376 140734776514624 140452852844728 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20194] ppid=20176 vsize=11852648 CPUtime=0.9 cores=1,3,5,7
/proc/20178/task/20194/stat : 20194 (java) S 20176 20178 18226 0 -1 4202560 4590 0 0 0 89 1 0 0 20 0 22 0 338043712 12137111552 110478 33554432000 1073741824 1073778376 140734776514624 140452851777800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20178/tid=20195] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20195/stat : 20195 (java) S 20176 20178 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338043712 12137111552 110478 33554432000 1073741824 1073778376 140734776514624 140452850739832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20178/tid=20196] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20196/stat : 20196 (java) S 20176 20178 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338043712 12137111552 110478 33554432000 1073741824 1073778376 140734776514624 140452849687240 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20178/tid=20200] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20200/stat : 20200 (java) S 20176 20178 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338043760 12137111552 110478 33554432000 1073741824 1073778376 140734776514624 140452845475368 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20207] ppid=20176 vsize=11852648 CPUtime=0.99 cores=1,3,5,7
/proc/20178/task/20207/stat : 20207 (java) S 20176 20178 18226 0 -1 4202560 6 0 0 0 99 0 0 0 20 0 22 0 338043910 12137111552 110478 33554432000 1073741824 1073778376 140734776514624 140452847580232 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20178/tid=20208] ppid=20176 vsize=11852648 CPUtime=1 cores=1,3,5,7
/proc/20178/task/20208/stat : 20208 (java) S 20176 20178 18226 0 -1 4202560 145 0 0 0 95 5 0 0 20 0 22 0 338043910 12137111552 110478 33554432000 1073741824 1073778376 140734776514624 140452848630664 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20178/tid=20209] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20209/stat : 20209 (java) S 20176 20178 18226 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 338043910 12137111552 110478 33554432000 1073741824 1073778376 140734776514624 140452846527400 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 5.29
Current children cumulated vsize (KiB) 11852648
[startup+6.30065 s]
/proc/loadavg: 3.84 3.82 3.80 5/219 20209
/proc/meminfo: memFree=25621012/32873660 swapFree=7120/7120
[pid=20178] ppid=20176 vsize=11852648 CPUtime=10.92 cores=1,3,5,7
/proc/20178/stat : 20178 (java) S 20176 20178 18226 0 -1 4202496 16998 0 1 0 1066 26 0 0 20 0 22 0 338043705 12137111552 193242 33554432000 1073741824 1073778376 140734776514624 140734776505760 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20178/statm: 2963162 193242 2295 9 0 2953849 0
[pid=20178/tid=20180] ppid=20176 vsize=11852648 CPUtime=0.51 cores=1,3,5,7
/proc/20178/task/20180/stat : 20180 (java) S 20176 20178 18226 0 -1 4202560 3386 0 1 0 49 2 0 0 20 0 22 0 338043706 12137111552 193242 33554432000 1073741824 1073778376 140734776514624 140453039535256 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20178/tid=20181] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20181/stat : 20181 (java) S 20176 20178 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338043708 12137111552 193242 33554432000 1073741824 1073778376 140734776514624 140453014940456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20178/tid=20182] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20182/stat : 20182 (java) S 20176 20178 18226 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 338043708 12137111552 193242 33554432000 1073741824 1073778376 140734776514624 140452875782824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20178/tid=20183] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20183/stat : 20183 (java) S 20176 20178 18226 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 338043708 12137111552 193242 33554432000 1073741824 1073778376 140734776514624 140452874730536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20178/tid=20184] ppid=20176 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/20178/task/20184/stat : 20184 (java) S 20176 20178 18226 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 338043708 12137111552 193242 33554432000 1073741824 1073778376 140734776514624 140452873677736 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20178/tid=20185] ppid=20176 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/20178/task/20185/stat : 20185 (java) S 20176 20178 18226 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 22 0 338043708 12137111552 193242 33554432000 1073741824 1073778376 140734776514624 140452872624424 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20186] ppid=20176 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/20178/task/20186/stat : 20186 (java) S 20176 20178 18226 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 338043708 12137111552 193242 33554432000 1073741824 1073778376 140734776514624 140452871571624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20178/tid=20187] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20187/stat : 20187 (java) S 20176 20178 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338043708 12137111552 193242 33554432000 1073741824 1073778376 140734776514624 140452870519336 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20178/tid=20188] ppid=20176 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/20178/task/20188/stat : 20188 (java) S 20176 20178 18226 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 338043708 12137111552 193242 33554432000 1073741824 1073778376 140734776514624 140452869466536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20178/tid=20189] ppid=20176 vsize=11852648 CPUtime=0.17 cores=1,3,5,7
/proc/20178/task/20189/stat : 20189 (java) S 20176 20178 18226 0 -1 4202560 44 0 0 0 17 0 0 0 20 0 22 0 338043709 12137111552 193242 33554432000 1073741824 1073778376 140734776514624 140452857055976 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20178/tid=20190] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20190/stat : 20190 (java) S 20176 20178 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338043710 12137111552 193242 33554432000 1073741824 1073778376 140734776514624 140452856002040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20191] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20191/stat : 20191 (java) S 20176 20178 18226 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 338043710 12137111552 193242 33554432000 1073741824 1073778376 140734776514624 140452854949640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20192] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20192/stat : 20192 (java) S 20176 20178 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338043712 12137111552 193242 33554432000 1073741824 1073778376 140734776514624 140452853898128 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20193] ppid=20176 vsize=11852648 CPUtime=1.1 cores=1,3,5,7
/proc/20178/task/20193/stat : 20193 (java) R 20176 20178 18226 0 -1 4202560 6629 0 0 0 108 2 0 0 20 0 22 0 338043712 12137111552 193242 33554432000 1073741824 1073778376 140734776514624 140452852844728 140453042116145 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20194] ppid=20176 vsize=11852648 CPUtime=1.05 cores=1,3,5,7
/proc/20178/task/20194/stat : 20194 (java) R 20176 20178 18226 0 -1 4202560 5240 0 0 0 103 2 0 0 20 0 22 0 338043712 12137111552 193242 33554432000 1073741824 1073778376 140734776514624 140452851791928 140453046323753 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20178/tid=20195] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20195/stat : 20195 (java) S 20176 20178 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338043712 12137111552 193242 33554432000 1073741824 1073778376 140734776514624 140452850739832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20178/tid=20196] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20196/stat : 20196 (java) S 20176 20178 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338043712 12137111552 193242 33554432000 1073741824 1073778376 140734776514624 140452849687240 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
################
# More data... #
################
/proc/20178/statm: 2963162 280753 2296 9 0 2953849 0
[pid=20178/tid=20180] ppid=20176 vsize=11852648 CPUtime=0.55 cores=1,3,5,7
/proc/20178/task/20180/stat : 20180 (java) S 20176 20178 18226 0 -1 4202560 3568 0 1 0 51 4 0 0 20 0 22 0 338043706 12137111552 280753 33554432000 1073741824 1073778376 140734776514624 140453039535256 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20178/tid=20181] ppid=20176 vsize=11852648 CPUtime=1.7 cores=1,3,5,7
/proc/20178/task/20181/stat : 20181 (java) S 20176 20178 18226 0 -1 4202560 127 0 0 0 170 0 0 0 20 0 22 0 338043708 12137111552 280753 33554432000 1073741824 1073778376 140734776514624 140453014940456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20178/tid=20182] ppid=20176 vsize=11852648 CPUtime=1.82 cores=1,3,5,7
/proc/20178/task/20182/stat : 20182 (java) S 20176 20178 18226 0 -1 4202560 136 0 0 0 182 0 0 0 20 0 22 0 338043708 12137111552 280753 33554432000 1073741824 1073778376 140734776514624 140452875782824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20178/tid=20183] ppid=20176 vsize=11852648 CPUtime=1.94 cores=1,3,5,7
/proc/20178/task/20183/stat : 20183 (java) S 20176 20178 18226 0 -1 4202560 153 0 0 0 194 0 0 0 20 0 22 0 338043708 12137111552 280753 33554432000 1073741824 1073778376 140734776514624 140452874730536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20178/tid=20184] ppid=20176 vsize=11852648 CPUtime=1.81 cores=1,3,5,7
/proc/20178/task/20184/stat : 20184 (java) S 20176 20178 18226 0 -1 4202560 169 0 0 0 178 3 0 0 20 0 22 0 338043708 12137111552 280753 33554432000 1073741824 1073778376 140734776514624 140452873677736 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20185] ppid=20176 vsize=11852648 CPUtime=1.79 cores=1,3,5,7
/proc/20178/task/20185/stat : 20185 (java) S 20176 20178 18226 0 -1 4202560 148 0 0 0 176 3 0 0 20 0 22 0 338043708 12137111552 280753 33554432000 1073741824 1073778376 140734776514624 140452872624424 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20178/tid=20186] ppid=20176 vsize=11852648 CPUtime=1.86 cores=1,3,5,7
/proc/20178/task/20186/stat : 20186 (java) S 20176 20178 18226 0 -1 4202560 147 0 0 0 184 2 0 0 20 0 22 0 338043708 12137111552 280753 33554432000 1073741824 1073778376 140734776514624 140452871571624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20178/tid=20187] ppid=20176 vsize=11852648 CPUtime=1.8 cores=1,3,5,7
/proc/20178/task/20187/stat : 20187 (java) S 20176 20178 18226 0 -1 4202560 149 0 0 0 180 0 0 0 20 0 22 0 338043708 12137111552 280753 33554432000 1073741824 1073778376 140734776514624 140452870519336 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20178/tid=20188] ppid=20176 vsize=11852648 CPUtime=1.87 cores=1,3,5,7
/proc/20178/task/20188/stat : 20188 (java) S 20176 20178 18226 0 -1 4202560 173 0 0 0 184 3 0 0 20 0 22 0 338043708 12137111552 280753 33554432000 1073741824 1073778376 140734776514624 140452869466536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20189] ppid=20176 vsize=11852648 CPUtime=94.65 cores=1,3,5,7
/proc/20178/task/20189/stat : 20189 (java) S 20176 20178 18226 0 -1 4202560 257 0 0 0 9457 8 0 0 20 0 22 0 338043709 12137111552 280753 33554432000 1073741824 1073778376 140734776514624 140452857055976 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20178/tid=20190] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20190/stat : 20190 (java) S 20176 20178 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338043710 12137111552 280753 33554432000 1073741824 1073778376 140734776514624 140452856002040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20178/tid=20191] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20191/stat : 20191 (java) S 20176 20178 18226 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 338043710 12137111552 280753 33554432000 1073741824 1073778376 140734776514624 140452854949640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20192] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20192/stat : 20192 (java) S 20176 20178 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338043712 12137111552 280753 33554432000 1073741824 1073778376 140734776514624 140452853898128 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20193] ppid=20176 vsize=11852648 CPUtime=1.21 cores=1,3,5,7
/proc/20178/task/20193/stat : 20193 (java) S 20176 20178 18226 0 -1 4202560 6630 0 0 0 119 2 0 0 20 0 22 0 338043712 12137111552 280753 33554432000 1073741824 1073778376 140734776514624 140452852844728 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20178/tid=20194] ppid=20176 vsize=11852648 CPUtime=1.7 cores=1,3,5,7
/proc/20178/task/20194/stat : 20194 (java) S 20176 20178 18226 0 -1 4202560 13292 0 0 0 167 3 0 0 20 0 22 0 338043712 12137111552 280753 33554432000 1073741824 1073778376 140734776514624 140452851791928 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20178/tid=20195] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20195/stat : 20195 (java) S 20176 20178 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338043712 12137111552 280753 33554432000 1073741824 1073778376 140734776514624 140452850739832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20178/tid=20196] ppid=20176 vsize=11852648 CPUtime=0.34 cores=1,3,5,7
/proc/20178/task/20196/stat : 20196 (java) S 20176 20178 18226 0 -1 4202560 51 0 0 0 12 22 0 0 20 0 22 0 338043712 12137111552 280753 33554432000 1073741824 1073778376 140734776514624 140452849687240 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20178/tid=20209] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20209/stat : 20209 (java) S 20176 20178 18226 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 338043910 12137111552 280753 33554432000 1073741824 1073778376 140734776514624 140452846527400 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20178/tid=20210] ppid=20176 vsize=11852648 CPUtime=775.34 cores=1,3,5,7
/proc/20178/task/20210/stat : 20210 (java) R 20176 20178 18226 0 -1 4202560 53 0 0 0 77523 11 0 0 20 0 22 0 338044310 12137111552 280753 33554432000 1073741824 1073778376 140734776514624 140452847579216 140452897409152 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20211] ppid=20176 vsize=11852648 CPUtime=775.14 cores=1,3,5,7
/proc/20178/task/20211/stat : 20211 (java) R 20176 20178 18226 0 -1 4202560 75 0 0 0 77500 14 0 0 20 0 22 0 338044310 12137111552 280753 33554432000 1073741824 1073778376 140734776514624 140452848630368 140452897528350 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20178/tid=20212] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20212/stat : 20212 (java) S 20176 20178 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338044310 12137111552 280753 33554432000 1073741824 1073778376 140734776514624 140452845474856 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1675.03
Current children cumulated vsize (KiB) 11852648
[startup+942.301 s]
/proc/loadavg: 3.76 3.77 3.79 4/219 20368
/proc/meminfo: memFree=24158484/32873660 swapFree=7120/7120
[pid=20178] ppid=20176 vsize=11852648 CPUtime=1786.25 cores=1,3,5,7
/proc/20178/stat : 20178 (java) S 20176 20178 18226 0 -1 4202496 26881 0 1 0 178545 80 0 0 20 0 22 0 338043705 12137111552 284438 33554432000 1073741824 1073778376 140734776514624 140734776505760 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20178/statm: 2963162 284438 2296 9 0 2953849 0
[pid=20178/tid=20180] ppid=20176 vsize=11852648 CPUtime=0.55 cores=1,3,5,7
/proc/20178/task/20180/stat : 20180 (java) S 20176 20178 18226 0 -1 4202560 3586 0 1 0 51 4 0 0 20 0 22 0 338043706 12137111552 284438 33554432000 1073741824 1073778376 140734776514624 140453039535256 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20178/tid=20181] ppid=20176 vsize=11852648 CPUtime=1.88 cores=1,3,5,7
/proc/20178/task/20181/stat : 20181 (java) S 20176 20178 18226 0 -1 4202560 140 0 0 0 188 0 0 0 20 0 22 0 338043708 12137111552 284438 33554432000 1073741824 1073778376 140734776514624 140453014940456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20178/tid=20182] ppid=20176 vsize=11852648 CPUtime=2.01 cores=1,3,5,7
/proc/20178/task/20182/stat : 20182 (java) S 20176 20178 18226 0 -1 4202560 148 0 0 0 201 0 0 0 20 0 22 0 338043708 12137111552 284438 33554432000 1073741824 1073778376 140734776514624 140452875782824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20178/tid=20183] ppid=20176 vsize=11852648 CPUtime=2.1 cores=1,3,5,7
/proc/20178/task/20183/stat : 20183 (java) S 20176 20178 18226 0 -1 4202560 159 0 0 0 210 0 0 0 20 0 22 0 338043708 12137111552 284438 33554432000 1073741824 1073778376 140734776514624 140452874730536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20184] ppid=20176 vsize=11852648 CPUtime=1.99 cores=1,3,5,7
/proc/20178/task/20184/stat : 20184 (java) S 20176 20178 18226 0 -1 4202560 186 0 0 0 196 3 0 0 20 0 22 0 338043708 12137111552 284438 33554432000 1073741824 1073778376 140734776514624 140452873677736 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20178/tid=20185] ppid=20176 vsize=11852648 CPUtime=1.94 cores=1,3,5,7
/proc/20178/task/20185/stat : 20185 (java) S 20176 20178 18226 0 -1 4202560 165 0 0 0 191 3 0 0 20 0 22 0 338043708 12137111552 284438 33554432000 1073741824 1073778376 140734776514624 140452872624424 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20178/tid=20186] ppid=20176 vsize=11852648 CPUtime=2 cores=1,3,5,7
/proc/20178/task/20186/stat : 20186 (java) S 20176 20178 18226 0 -1 4202560 163 0 0 0 198 2 0 0 20 0 22 0 338043708 12137111552 284438 33554432000 1073741824 1073778376 140734776514624 140452871571624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20178/tid=20187] ppid=20176 vsize=11852648 CPUtime=1.97 cores=1,3,5,7
/proc/20178/task/20187/stat : 20187 (java) S 20176 20178 18226 0 -1 4202560 153 0 0 0 195 2 0 0 20 0 22 0 338043708 12137111552 284438 33554432000 1073741824 1073778376 140734776514624 140452870519336 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20178/tid=20188] ppid=20176 vsize=11852648 CPUtime=2.02 cores=1,3,5,7
/proc/20178/task/20188/stat : 20188 (java) S 20176 20178 18226 0 -1 4202560 189 0 0 0 199 3 0 0 20 0 22 0 338043708 12137111552 284438 33554432000 1073741824 1073778376 140734776514624 140452869466536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20189] ppid=20176 vsize=11852648 CPUtime=103.96 cores=1,3,5,7
/proc/20178/task/20189/stat : 20189 (java) S 20176 20178 18226 0 -1 4202560 268 0 0 0 10388 8 0 0 20 0 22 0 338043709 12137111552 284438 33554432000 1073741824 1073778376 140734776514624 140452857055976 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20178/tid=20190] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20190/stat : 20190 (java) S 20176 20178 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338043710 12137111552 284438 33554432000 1073741824 1073778376 140734776514624 140452856002040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20178/tid=20191] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20191/stat : 20191 (java) S 20176 20178 18226 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 338043710 12137111552 284438 33554432000 1073741824 1073778376 140734776514624 140452854949640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20192] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20192/stat : 20192 (java) S 20176 20178 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338043712 12137111552 284438 33554432000 1073741824 1073778376 140734776514624 140452853898128 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20193] ppid=20176 vsize=11852648 CPUtime=1.21 cores=1,3,5,7
/proc/20178/task/20193/stat : 20193 (java) S 20176 20178 18226 0 -1 4202560 6630 0 0 0 119 2 0 0 20 0 22 0 338043712 12137111552 284438 33554432000 1073741824 1073778376 140734776514624 140452852844728 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20178/tid=20194] ppid=20176 vsize=11852648 CPUtime=1.7 cores=1,3,5,7
/proc/20178/task/20194/stat : 20194 (java) S 20176 20178 18226 0 -1 4202560 13292 0 0 0 167 3 0 0 20 0 22 0 338043712 12137111552 284438 33554432000 1073741824 1073778376 140734776514624 140452851791928 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20178/tid=20195] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20195/stat : 20195 (java) S 20176 20178 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338043712 12137111552 284438 33554432000 1073741824 1073778376 140734776514624 140452850739832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20178/tid=20196] ppid=20176 vsize=11852648 CPUtime=0.36 cores=1,3,5,7
/proc/20178/task/20196/stat : 20196 (java) S 20176 20178 18226 0 -1 4202560 55 0 0 0 12 24 0 0 20 0 22 0 338043712 12137111552 284438 33554432000 1073741824 1073778376 140734776514624 140452849687240 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20178/tid=20209] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20209/stat : 20209 (java) S 20176 20178 18226 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 338043910 12137111552 284438 33554432000 1073741824 1073778376 140734776514624 140452846527400 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20178/tid=20210] ppid=20176 vsize=11852648 CPUtime=825.52 cores=1,3,5,7
/proc/20178/task/20210/stat : 20210 (java) R 20176 20178 18226 0 -1 4202560 53 0 0 0 82540 12 0 0 20 0 22 0 338044310 12137111552 284438 33554432000 1073741824 1073778376 140734776514624 140452847579216 140452897485871 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20211] ppid=20176 vsize=11852648 CPUtime=825.3 cores=1,3,5,7
/proc/20178/task/20211/stat : 20211 (java) R 20176 20178 18226 0 -1 4202560 75 0 0 0 82515 15 0 0 20 0 22 0 338044310 12137111552 284438 33554432000 1073741824 1073778376 140734776514624 140452848630368 140452897350272 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20178/tid=20212] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20212/stat : 20212 (java) S 20176 20178 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338044310 12137111552 284438 33554432000 1073741824 1073778376 140734776514624 140452845474856 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1786.25
Current children cumulated vsize (KiB) 11852648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+949.801 s]
/proc/loadavg: 3.73 3.76 3.78 5/219 20368
/proc/meminfo: memFree=24148120/32873660 swapFree=7120/7120
[pid=20178] ppid=20176 vsize=11852648 CPUtime=1800.1 cores=1,3,5,7
/proc/20178/stat : 20178 (java) S 20176 20178 18226 0 -1 4202496 26897 0 1 0 179930 80 0 0 20 0 22 0 338043705 12137111552 284452 33554432000 1073741824 1073778376 140734776514624 140734776505760 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20178/statm: 2963162 284452 2296 9 0 2953849 0
[pid=20178/tid=20180] ppid=20176 vsize=11852648 CPUtime=0.55 cores=1,3,5,7
/proc/20178/task/20180/stat : 20180 (java) S 20176 20178 18226 0 -1 4202560 3588 0 1 0 51 4 0 0 20 0 22 0 338043706 12137111552 284452 33554432000 1073741824 1073778376 140734776514624 140453039535256 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20178/tid=20181] ppid=20176 vsize=11852648 CPUtime=1.91 cores=1,3,5,7
/proc/20178/task/20181/stat : 20181 (java) S 20176 20178 18226 0 -1 4202560 140 0 0 0 191 0 0 0 20 0 22 0 338043708 12137111552 284452 33554432000 1073741824 1073778376 140734776514624 140453014940456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20178/tid=20182] ppid=20176 vsize=11852648 CPUtime=2.03 cores=1,3,5,7
/proc/20178/task/20182/stat : 20182 (java) S 20176 20178 18226 0 -1 4202560 149 0 0 0 203 0 0 0 20 0 22 0 338043708 12137111552 284452 33554432000 1073741824 1073778376 140734776514624 140452875782824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20178/tid=20183] ppid=20176 vsize=11852648 CPUtime=2.11 cores=1,3,5,7
/proc/20178/task/20183/stat : 20183 (java) S 20176 20178 18226 0 -1 4202560 160 0 0 0 211 0 0 0 20 0 22 0 338043708 12137111552 284452 33554432000 1073741824 1073778376 140734776514624 140452874730536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20184] ppid=20176 vsize=11852648 CPUtime=2.01 cores=1,3,5,7
/proc/20178/task/20184/stat : 20184 (java) S 20176 20178 18226 0 -1 4202560 187 0 0 0 198 3 0 0 20 0 22 0 338043708 12137111552 284452 33554432000 1073741824 1073778376 140734776514624 140452873677736 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20178/tid=20185] ppid=20176 vsize=11852648 CPUtime=1.95 cores=1,3,5,7
/proc/20178/task/20185/stat : 20185 (java) S 20176 20178 18226 0 -1 4202560 170 0 0 0 192 3 0 0 20 0 22 0 338043708 12137111552 284452 33554432000 1073741824 1073778376 140734776514624 140452872624424 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20178/tid=20186] ppid=20176 vsize=11852648 CPUtime=2.03 cores=1,3,5,7
/proc/20178/task/20186/stat : 20186 (java) S 20176 20178 18226 0 -1 4202560 165 0 0 0 201 2 0 0 20 0 22 0 338043708 12137111552 284452 33554432000 1073741824 1073778376 140734776514624 140452871571624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20178/tid=20187] ppid=20176 vsize=11852648 CPUtime=1.98 cores=1,3,5,7
/proc/20178/task/20187/stat : 20187 (java) S 20176 20178 18226 0 -1 4202560 157 0 0 0 196 2 0 0 20 0 22 0 338043708 12137111552 284452 33554432000 1073741824 1073778376 140734776514624 140452870519336 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20178/tid=20188] ppid=20176 vsize=11852648 CPUtime=2.03 cores=1,3,5,7
/proc/20178/task/20188/stat : 20188 (java) S 20176 20178 18226 0 -1 4202560 189 0 0 0 200 3 0 0 20 0 22 0 338043708 12137111552 284452 33554432000 1073741824 1073778376 140734776514624 140452869466536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20189] ppid=20176 vsize=11852648 CPUtime=105.19 cores=1,3,5,7
/proc/20178/task/20189/stat : 20189 (java) S 20176 20178 18226 0 -1 4202560 268 0 0 0 10511 8 0 0 20 0 22 0 338043709 12137111552 284452 33554432000 1073741824 1073778376 140734776514624 140452857055976 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20178/tid=20190] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20190/stat : 20190 (java) S 20176 20178 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338043710 12137111552 284452 33554432000 1073741824 1073778376 140734776514624 140452856002040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20178/tid=20191] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20191/stat : 20191 (java) S 20176 20178 18226 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 338043710 12137111552 284452 33554432000 1073741824 1073778376 140734776514624 140452854949640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20192] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20192/stat : 20192 (java) S 20176 20178 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338043712 12137111552 284452 33554432000 1073741824 1073778376 140734776514624 140452853898128 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20193] ppid=20176 vsize=11852648 CPUtime=1.21 cores=1,3,5,7
/proc/20178/task/20193/stat : 20193 (java) S 20176 20178 18226 0 -1 4202560 6630 0 0 0 119 2 0 0 20 0 22 0 338043712 12137111552 284452 33554432000 1073741824 1073778376 140734776514624 140452852844728 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20178/tid=20194] ppid=20176 vsize=11852648 CPUtime=1.7 cores=1,3,5,7
/proc/20178/task/20194/stat : 20194 (java) S 20176 20178 18226 0 -1 4202560 13292 0 0 0 167 3 0 0 20 0 22 0 338043712 12137111552 284452 33554432000 1073741824 1073778376 140734776514624 140452851791928 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20178/tid=20195] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20195/stat : 20195 (java) S 20176 20178 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338043712 12137111552 284452 33554432000 1073741824 1073778376 140734776514624 140452850739832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20178/tid=20196] ppid=20176 vsize=11852648 CPUtime=0.36 cores=1,3,5,7
/proc/20178/task/20196/stat : 20196 (java) S 20176 20178 18226 0 -1 4202560 55 0 0 0 12 24 0 0 20 0 22 0 338043712 12137111552 284452 33554432000 1073741824 1073778376 140734776514624 140452849687240 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20178/tid=20209] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20209/stat : 20209 (java) S 20176 20178 18226 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 338043910 12137111552 284452 33554432000 1073741824 1073778376 140734776514624 140452846527400 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20178/tid=20210] ppid=20176 vsize=11852648 CPUtime=831.73 cores=1,3,5,7
/proc/20178/task/20210/stat : 20210 (java) R 20176 20178 18226 0 -1 4202560 53 0 0 0 83161 12 0 0 20 0 22 0 338044310 12137111552 284452 33554432000 1073741824 1073778376 140734776514624 140452847579216 140452897310590 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20211] ppid=20176 vsize=11852648 CPUtime=831.51 cores=1,3,5,7
/proc/20178/task/20211/stat : 20211 (java) R 20176 20178 18226 0 -1 4202560 75 0 0 0 83136 15 0 0 20 0 22 0 338044310 12137111552 284452 33554432000 1073741824 1073778376 140734776514624 140452848630368 140452897350272 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20178/tid=20212] ppid=20176 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20178/task/20212/stat : 20212 (java) S 20176 20178 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338044310 12137111552 284452 33554432000 1073741824 1073778376 140734776514624 140452845474856 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 11852648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20178 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=859139
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=151824
# CPU time returned by wait4() is 1796.01
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 949.826
CPU time (s): 1800.1
CPU user time (s): 1799.3
CPU system time (s): 0.8
CPU usage (%): 189.519
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.86
system time used= 1.15182
maximum resident set size= 1137920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26927
page faults= 1
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30580
involuntary context switches= 41270
runsolver used 3.3215 second user time and 8.70468 second system time
The end