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-3718028-1338254653/watcher-3718028-1338254653 -o /tmp/evaluation-result-3718028-1338254653/solver-3718028-1338254653 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718028-1338254653.wbo
running on 4 cores: 0,2,4,6
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: 2.15 2.06 2.01 3/195 17351
/proc/meminfo: memFree=29985452/32873648 swapFree=6852/6852
[pid=17351] ppid=17349 vsize=96268 CPUtime=0 cores=0,2,4,6
/proc/17351/stat : 17351 (java) S 17349 17351 15870 0 -1 4202496 1281 0 0 0 0 0 0 0 20 0 2 0 291591193 98578432 983 33554432000 1073741824 1073778376 140735129128624 140735129119760 259115745341 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17351/statm: 24068 983 749 9 0 16774 0
[pid=17351/tid=17352] ppid=17349 vsize=96272 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17352/stat : 17352 (java) R 17349 17351 15870 0 -1 4202560 137 0 0 0 0 0 0 0 20 0 2 0 291591193 98582528 985 33554432000 1073741824 1073778376 140735129128624 140396352646696 259112387997 0 0 0 16784584 0 0 0 -1 0 0 0 0 0 0
[startup+0.07883 s]
/proc/loadavg: 2.15 2.06 2.01 3/195 17351
/proc/meminfo: memFree=29985452/32873648 swapFree=6852/6852
[pid=17351] ppid=17349 vsize=9558416 CPUtime=0.08 cores=0,2,4,6
/proc/17351/stat : 17351 (java) S 17349 17351 15870 0 -1 4202496 4241 0 1 0 7 1 0 0 20 0 18 0 291591193 9787817984 5440 33554432000 1073741824 1073778376 140735129128624 140735129119760 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17351/statm: 2389604 5440 2109 9 0 2380296 0
[pid=17351/tid=17352] ppid=17349 vsize=9558416 CPUtime=0.05 cores=0,2,4,6
/proc/17351/task/17352/stat : 17352 (java) R 17349 17351 15870 0 -1 4202560 2297 0 1 0 5 0 0 0 20 0 18 0 291591193 9787817984 5441 33554432000 1073741824 1073778376 140735129128624 140396352650160 140396360416083 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558416
[startup+0.100228 s]
/proc/loadavg: 2.15 2.06 2.01 3/195 17351
/proc/meminfo: memFree=29985452/32873648 swapFree=6852/6852
[pid=17351] ppid=17349 vsize=9558416 CPUtime=0.12 cores=0,2,4,6
/proc/17351/stat : 17351 (java) S 17349 17351 15870 0 -1 4202496 4482 0 1 0 11 1 0 0 20 0 18 0 291591193 9787817984 6152 33554432000 1073741824 1073778376 140735129128624 140735129119760 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17351/statm: 2389604 6156 2149 9 0 2380296 0
[pid=17351/tid=17352] ppid=17349 vsize=9558416 CPUtime=0.08 cores=0,2,4,6
/proc/17351/task/17352/stat : 17352 (java) R 17349 17351 15870 0 -1 4202560 2432 0 1 0 8 0 0 0 20 0 18 0 291591193 9787817984 6158 33554432000 1073741824 1073778376 140735129128624 140396352650160 259115771149 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 9558416
[startup+0.300252 s]
/proc/loadavg: 2.15 2.06 2.01 3/195 17351
/proc/meminfo: memFree=29985452/32873648 swapFree=6852/6852
[pid=17351] ppid=17349 vsize=9624980 CPUtime=0.53 cores=0,2,4,6
/proc/17351/stat : 17351 (java) S 17349 17351 15870 0 -1 4202496 6807 0 1 0 52 1 0 0 20 0 19 0 291591193 9855979520 8863 33554432000 1073741824 1073778376 140735129128624 140735129119760 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17351/statm: 2406245 8863 2230 9 0 2396937 0
[pid=17351/tid=17352] ppid=17349 vsize=9624980 CPUtime=0.28 cores=0,2,4,6
/proc/17351/task/17352/stat : 17352 (java) R 17349 17351 15870 0 -1 4202560 2453 0 1 0 28 0 0 0 20 0 19 0 291591193 9855979520 8863 33554432000 1073741824 1073778376 140735129128624 140396352652048 140396189574157 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9624980
[startup+0.701107 s]
/proc/loadavg: 2.15 2.06 2.01 3/195 17351
/proc/meminfo: memFree=29985452/32873648 swapFree=6852/6852
[pid=17351] ppid=17349 vsize=9624980 CPUtime=1.19 cores=0,2,4,6
/proc/17351/stat : 17351 (java) S 17349 17351 15870 0 -1 4202496 7987 0 1 0 118 1 0 0 20 0 19 0 291591193 9855979520 9345 33554432000 1073741824 1073778376 140735129128624 140735129119760 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17351/statm: 2406245 9345 2243 9 0 2396937 0
[pid=17351/tid=17352] ppid=17349 vsize=9624980 CPUtime=0.68 cores=0,2,4,6
/proc/17351/task/17352/stat : 17352 (java) R 17349 17351 15870 0 -1 4202560 2453 0 1 0 68 0 0 0 20 0 19 0 291591193 9855979520 9345 33554432000 1073741824 1073778376 140735129128624 140396352652048 140396190027715 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 9624980
[startup+1.50064 s]
/proc/loadavg: 2.15 2.06 2.01 3/214 17370
/proc/meminfo: memFree=29944176/32873648 swapFree=6852/6852
[pid=17351] ppid=17349 vsize=9624980 CPUtime=2.08 cores=0,2,4,6
/proc/17351/stat : 17351 (java) S 17349 17351 15870 0 -1 4202496 8052 0 1 0 206 2 0 0 20 0 19 0 291591193 9855979520 12466 33554432000 1073741824 1073778376 140735129128624 140735129119760 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17351/statm: 2406245 12466 2273 9 0 2396937 0
[pid=17351/tid=17352] ppid=17349 vsize=9624980 CPUtime=1.46 cores=0,2,4,6
/proc/17351/task/17352/stat : 17352 (java) R 17349 17351 15870 0 -1 4202560 2458 0 1 0 146 0 0 0 20 0 19 0 291591193 9855979520 12466 33554432000 1073741824 1073778376 140735129128624 140396352651640 140396189994895 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17351/tid=17354] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17354/stat : 17354 (java) S 17349 17351 15870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291591194 9855979520 12466 33554432000 1073741824 1073778376 140735129128624 140396314142888 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17351/tid=17355] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17355/stat : 17355 (java) S 17349 17351 15870 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291591194 9855979520 12466 33554432000 1073741824 1073778376 140735129128624 140396313090344 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17351/tid=17356] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17356/stat : 17356 (java) S 17349 17351 15870 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291591194 9855979520 12466 33554432000 1073741824 1073778376 140735129128624 140396312037800 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17351/tid=17357] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17357/stat : 17357 (java) S 17349 17351 15870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291591194 9855979520 12466 33554432000 1073741824 1073778376 140735129128624 140396310985256 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17351/tid=17358] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17358/stat : 17358 (java) S 17349 17351 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291591194 9855979520 12466 33554432000 1073741824 1073778376 140735129128624 140396309932712 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17351/tid=17359] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17359/stat : 17359 (java) S 17349 17351 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291591194 9855979520 12466 33554432000 1073741824 1073778376 140735129128624 140396308880168 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17351/tid=17360] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17360/stat : 17360 (java) S 17349 17351 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291591194 9855979520 12466 33554432000 1073741824 1073778376 140735129128624 140396189445032 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17351/tid=17361] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17361/stat : 17361 (java) S 17349 17351 15870 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291591194 9855979520 12466 33554432000 1073741824 1073778376 140735129128624 140396188392488 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17351/tid=17362] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17362/stat : 17362 (java) S 17349 17351 15870 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 291591195 9855979520 12466 33554432000 1073741824 1073778376 140735129128624 140396176193640 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17363] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17363/stat : 17363 (java) S 17349 17351 15870 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291591195 9855979520 12466 33554432000 1073741824 1073778376 140735129128624 140396175139960 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17364] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17364/stat : 17364 (java) S 17349 17351 15870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291591195 9855979520 12466 33554432000 1073741824 1073778376 140735129128624 140396174087304 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17365] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17365/stat : 17365 (java) S 17349 17351 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291591197 9855979520 12466 33554432000 1073741824 1073778376 140735129128624 140395434469904 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17366] ppid=17349 vsize=9624980 CPUtime=0.28 cores=0,2,4,6
/proc/17351/task/17366/stat : 17366 (java) S 17349 17351 15870 0 -1 4202560 2057 0 0 0 28 0 0 0 20 0 19 0 291591197 9855979520 12466 33554432000 1073741824 1073778376 140735129128624 140395433417272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17367] ppid=17349 vsize=9624980 CPUtime=0.26 cores=0,2,4,6
/proc/17351/task/17367/stat : 17367 (java) S 17349 17351 15870 0 -1 4202560 2292 0 0 0 26 0 0 0 20 0 19 0 291591197 9855979520 12466 33554432000 1073741824 1073778376 140735129128624 140395432364728 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17351/tid=17368] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17368/stat : 17368 (java) S 17349 17351 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291591197 9855979520 12466 33554432000 1073741824 1073778376 140735129128624 140395431312376 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17351/tid=17369] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17369/stat : 17369 (java) S 17349 17351 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291591197 9855979520 12466 33554432000 1073741824 1073778376 140735129128624 140395430260040 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17370] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17370/stat : 17370 (java) S 17349 17351 15870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291591219 9855979520 12466 33554432000 1073741824 1073778376 140735129128624 140395429204776 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 9624980
[startup+3.10076 s]
/proc/loadavg: 2.14 2.06 2.01 3/214 17370
/proc/meminfo: memFree=29941756/32873648 swapFree=6852/6852
[pid=17351] ppid=17349 vsize=9624980 CPUtime=3.72 cores=0,2,4,6
/proc/17351/stat : 17351 (java) S 17349 17351 15870 0 -1 4202496 8072 0 1 0 370 2 0 0 20 0 19 0 291591193 9855979520 12992 33554432000 1073741824 1073778376 140735129128624 140735129119760 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17351/statm: 2406245 12992 2273 9 0 2396937 0
[pid=17351/tid=17352] ppid=17349 vsize=9624980 CPUtime=3.01 cores=0,2,4,6
/proc/17351/task/17352/stat : 17352 (java) R 17349 17351 15870 0 -1 4202560 2459 0 1 0 301 0 0 0 20 0 19 0 291591193 9855979520 12992 33554432000 1073741824 1073778376 140735129128624 140396352651552 140396189994927 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17354] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17354/stat : 17354 (java) S 17349 17351 15870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291591194 9855979520 12992 33554432000 1073741824 1073778376 140735129128624 140396314142888 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17351/tid=17355] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17355/stat : 17355 (java) S 17349 17351 15870 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 291591194 9855979520 12992 33554432000 1073741824 1073778376 140735129128624 140396313090344 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17351/tid=17356] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17356/stat : 17356 (java) S 17349 17351 15870 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291591194 9855979520 12992 33554432000 1073741824 1073778376 140735129128624 140396312037800 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17351/tid=17357] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17357/stat : 17357 (java) S 17349 17351 15870 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291591194 9855979520 12992 33554432000 1073741824 1073778376 140735129128624 140396310985256 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17351/tid=17358] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17358/stat : 17358 (java) S 17349 17351 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291591194 9855979520 12992 33554432000 1073741824 1073778376 140735129128624 140396309932712 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17359] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17359/stat : 17359 (java) S 17349 17351 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291591194 9855979520 12992 33554432000 1073741824 1073778376 140735129128624 140396308880168 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17351/tid=17360] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17360/stat : 17360 (java) S 17349 17351 15870 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291591194 9855979520 12992 33554432000 1073741824 1073778376 140735129128624 140396189445032 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17351/tid=17361] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17361/stat : 17361 (java) S 17349 17351 15870 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291591194 9855979520 12992 33554432000 1073741824 1073778376 140735129128624 140396188392488 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17351/tid=17362] ppid=17349 vsize=9624980 CPUtime=0.03 cores=0,2,4,6
/proc/17351/task/17362/stat : 17362 (java) S 17349 17351 15870 0 -1 4202560 31 0 0 0 3 0 0 0 20 0 19 0 291591195 9855979520 12992 33554432000 1073741824 1073778376 140735129128624 140396176193640 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17363] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17363/stat : 17363 (java) S 17349 17351 15870 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291591195 9855979520 12992 33554432000 1073741824 1073778376 140735129128624 140396175139960 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17364] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17364/stat : 17364 (java) S 17349 17351 15870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291591195 9855979520 12992 33554432000 1073741824 1073778376 140735129128624 140396174087304 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17365] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17365/stat : 17365 (java) S 17349 17351 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291591197 9855979520 12992 33554432000 1073741824 1073778376 140735129128624 140395434469904 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17366] ppid=17349 vsize=9624980 CPUtime=0.32 cores=0,2,4,6
/proc/17351/task/17366/stat : 17366 (java) S 17349 17351 15870 0 -1 4202560 2058 0 0 0 32 0 0 0 20 0 19 0 291591197 9855979520 12992 33554432000 1073741824 1073778376 140735129128624 140395433417272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17351/tid=17367] ppid=17349 vsize=9624980 CPUtime=0.26 cores=0,2,4,6
/proc/17351/task/17367/stat : 17367 (java) S 17349 17351 15870 0 -1 4202560 2293 0 0 0 26 0 0 0 20 0 19 0 291591197 9855979520 12992 33554432000 1073741824 1073778376 140735129128624 140395432364728 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17351/tid=17368] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17368/stat : 17368 (java) S 17349 17351 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291591197 9855979520 12992 33554432000 1073741824 1073778376 140735129128624 140395431312376 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17351/tid=17369] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17369/stat : 17369 (java) S 17349 17351 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291591197 9855979520 12992 33554432000 1073741824 1073778376 140735129128624 140395430260040 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17370] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17370/stat : 17370 (java) S 17349 17351 15870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291591219 9855979520 12992 33554432000 1073741824 1073778376 140735129128624 140395429204776 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.72
Current children cumulated vsize (KiB) 9624980
[startup+6.30076 s]
/proc/loadavg: 2.14 2.06 2.01 3/214 17370
/proc/meminfo: memFree=29941568/32873648 swapFree=6852/6852
[pid=17351] ppid=17349 vsize=9624980 CPUtime=6.93 cores=0,2,4,6
/proc/17351/stat : 17351 (java) S 17349 17351 15870 0 -1 4202496 8087 0 1 0 691 2 0 0 20 0 19 0 291591193 9855979520 13986 33554432000 1073741824 1073778376 140735129128624 140735129119760 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17351/statm: 2406245 13986 2273 9 0 2396937 0
[pid=17351/tid=17352] ppid=17349 vsize=9624980 CPUtime=6.15 cores=0,2,4,6
/proc/17351/task/17352/stat : 17352 (java) R 17349 17351 15870 0 -1 4202560 2463 0 1 0 615 0 0 0 20 0 19 0 291591193 9855979520 13986 33554432000 1073741824 1073778376 140735129128624 140396352651552 140396190095462 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17354] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17354/stat : 17354 (java) S 17349 17351 15870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291591194 9855979520 13986 33554432000 1073741824 1073778376 140735129128624 140396314142888 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17355] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17355/stat : 17355 (java) S 17349 17351 15870 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 291591194 9855979520 13986 33554432000 1073741824 1073778376 140735129128624 140396313090344 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17351/tid=17356] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17356/stat : 17356 (java) S 17349 17351 15870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291591194 9855979520 13986 33554432000 1073741824 1073778376 140735129128624 140396312037800 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17351/tid=17357] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17357/stat : 17357 (java) S 17349 17351 15870 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291591194 9855979520 13986 33554432000 1073741824 1073778376 140735129128624 140396310985256 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17351/tid=17358] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17358/stat : 17358 (java) S 17349 17351 15870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291591194 9855979520 13986 33554432000 1073741824 1073778376 140735129128624 140396309932712 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17351/tid=17359] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17359/stat : 17359 (java) S 17349 17351 15870 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291591194 9855979520 13986 33554432000 1073741824 1073778376 140735129128624 140396308880168 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17351/tid=17360] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17360/stat : 17360 (java) S 17349 17351 15870 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291591194 9855979520 13986 33554432000 1073741824 1073778376 140735129128624 140396189445032 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17351/tid=17361] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17361/stat : 17361 (java) S 17349 17351 15870 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291591194 9855979520 13986 33554432000 1073741824 1073778376 140735129128624 140396188392488 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17351/tid=17362] ppid=17349 vsize=9624980 CPUtime=0.07 cores=0,2,4,6
/proc/17351/task/17362/stat : 17362 (java) S 17349 17351 15870 0 -1 4202560 33 0 0 0 7 0 0 0 20 0 19 0 291591195 9855979520 13986 33554432000 1073741824 1073778376 140735129128624 140396176193640 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17363] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17363/stat : 17363 (java) S 17349 17351 15870 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291591195 9855979520 13986 33554432000 1073741824 1073778376 140735129128624 140396175139960 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17364] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17364/stat : 17364 (java) S 17349 17351 15870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291591195 9855979520 13986 33554432000 1073741824 1073778376 140735129128624 140396174087304 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17365] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17365/stat : 17365 (java) S 17349 17351 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291591197 9855979520 13986 33554432000 1073741824 1073778376 140735129128624 140395434469904 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17366] ppid=17349 vsize=9624980 CPUtime=0.33 cores=0,2,4,6
/proc/17351/task/17366/stat : 17366 (java) S 17349 17351 15870 0 -1 4202560 2058 0 0 0 33 0 0 0 20 0 19 0 291591197 9855979520 13986 33554432000 1073741824 1073778376 140735129128624 140395433417272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17351/tid=17367] ppid=17349 vsize=9624980 CPUtime=0.26 cores=0,2,4,6
/proc/17351/task/17367/stat : 17367 (java) S 17349 17351 15870 0 -1 4202560 2293 0 0 0 26 0 0 0 20 0 19 0 291591197 9855979520 13986 33554432000 1073741824 1073778376 140735129128624 140395432364728 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
################
# More data... #
################
[pid=17351/tid=17366] ppid=17349 vsize=9624980 CPUtime=0.35 cores=0,2,4,6
/proc/17351/task/17366/stat : 17366 (java) S 17349 17351 15870 0 -1 4202560 2351 0 0 0 35 0 0 0 20 0 19 0 291591197 9855979520 57153 33554432000 1073741824 1073778376 140735129128624 140395433417272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17351/tid=17367] ppid=17349 vsize=9624980 CPUtime=0.26 cores=0,2,4,6
/proc/17351/task/17367/stat : 17367 (java) S 17349 17351 15870 0 -1 4202560 2293 0 0 0 26 0 0 0 20 0 19 0 291591197 9855979520 57153 33554432000 1073741824 1073778376 140735129128624 140395432364728 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17351/tid=17368] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17368/stat : 17368 (java) S 17349 17351 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291591197 9855979520 57153 33554432000 1073741824 1073778376 140735129128624 140395431312376 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17351/tid=17369] ppid=17349 vsize=9624980 CPUtime=0.33 cores=0,2,4,6
/proc/17351/task/17369/stat : 17369 (java) S 17349 17351 15870 0 -1 4202560 98 0 0 0 15 18 0 0 20 0 19 0 291591197 9855979520 57153 33554432000 1073741824 1073778376 140735129128624 140395430260040 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17370] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17370/stat : 17370 (java) S 17349 17351 15870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291591219 9855979520 57153 33554432000 1073741824 1073778376 140735129128624 140395429204776 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1726.79
Current children cumulated vsize (KiB) 9624980
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/213 17648
/proc/meminfo: memFree=29720624/32873648 swapFree=6852/6852
[pid=17351] ppid=17349 vsize=9624980 CPUtime=1786.86 cores=0,2,4,6
/proc/17351/stat : 17351 (java) S 17349 17351 15870 0 -1 4202496 10288 0 1 0 178652 34 0 0 20 0 19 0 291591193 9855979520 57153 33554432000 1073741824 1073778376 140735129128624 140735129119760 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17351/statm: 2406245 57153 2274 9 0 2396937 0
[pid=17351/tid=17352] ppid=17349 vsize=9624980 CPUtime=1769.66 cores=0,2,4,6
/proc/17351/task/17352/stat : 17352 (java) R 17349 17351 15870 0 -1 4202560 2629 0 1 0 176938 28 0 0 20 0 19 0 291591193 9855979520 57153 33554432000 1073741824 1073778376 140735129128624 140396352651552 140396190007612 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17354] ppid=17349 vsize=9624980 CPUtime=0.63 cores=0,2,4,6
/proc/17351/task/17354/stat : 17354 (java) S 17349 17351 15870 0 -1 4202560 221 0 0 0 61 2 0 0 20 0 19 0 291591194 9855979520 57153 33554432000 1073741824 1073778376 140735129128624 140396314142888 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17355] ppid=17349 vsize=9624980 CPUtime=0.69 cores=0,2,4,6
/proc/17351/task/17355/stat : 17355 (java) S 17349 17351 15870 0 -1 4202560 248 0 0 0 67 2 0 0 20 0 19 0 291591194 9855979520 57153 33554432000 1073741824 1073778376 140735129128624 140396313090344 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17351/tid=17356] ppid=17349 vsize=9624980 CPUtime=0.67 cores=0,2,4,6
/proc/17351/task/17356/stat : 17356 (java) S 17349 17351 15870 0 -1 4202560 170 0 0 0 65 2 0 0 20 0 19 0 291591194 9855979520 57153 33554432000 1073741824 1073778376 140735129128624 140396312037800 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17351/tid=17357] ppid=17349 vsize=9624980 CPUtime=0.67 cores=0,2,4,6
/proc/17351/task/17357/stat : 17357 (java) S 17349 17351 15870 0 -1 4202560 224 0 0 0 65 2 0 0 20 0 19 0 291591194 9855979520 57153 33554432000 1073741824 1073778376 140735129128624 140396310985256 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17351/tid=17358] ppid=17349 vsize=9624980 CPUtime=0.73 cores=0,2,4,6
/proc/17351/task/17358/stat : 17358 (java) S 17349 17351 15870 0 -1 4202560 208 0 0 0 71 2 0 0 20 0 19 0 291591194 9855979520 57153 33554432000 1073741824 1073778376 140735129128624 140396309932712 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17359] ppid=17349 vsize=9624980 CPUtime=0.59 cores=0,2,4,6
/proc/17351/task/17359/stat : 17359 (java) S 17349 17351 15870 0 -1 4202560 79 0 0 0 59 0 0 0 20 0 19 0 291591194 9855979520 57153 33554432000 1073741824 1073778376 140735129128624 140396308880168 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17351/tid=17360] ppid=17349 vsize=9624980 CPUtime=0.7 cores=0,2,4,6
/proc/17351/task/17360/stat : 17360 (java) S 17349 17351 15870 0 -1 4202560 178 0 0 0 69 1 0 0 20 0 19 0 291591194 9855979520 57153 33554432000 1073741824 1073778376 140735129128624 140396189445032 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17351/tid=17361] ppid=17349 vsize=9624980 CPUtime=0.71 cores=0,2,4,6
/proc/17351/task/17361/stat : 17361 (java) S 17349 17351 15870 0 -1 4202560 242 0 0 0 71 0 0 0 20 0 19 0 291591194 9855979520 57153 33554432000 1073741824 1073778376 140735129128624 140396188392488 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17351/tid=17362] ppid=17349 vsize=9624980 CPUtime=6.34 cores=0,2,4,6
/proc/17351/task/17362/stat : 17362 (java) S 17349 17351 15870 0 -1 4202560 163 0 0 0 631 3 0 0 20 0 19 0 291591195 9855979520 57153 33554432000 1073741824 1073778376 140735129128624 140396176193640 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17351/tid=17363] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17363/stat : 17363 (java) S 17349 17351 15870 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291591195 9855979520 57153 33554432000 1073741824 1073778376 140735129128624 140396175139960 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17364] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17364/stat : 17364 (java) S 17349 17351 15870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291591195 9855979520 57153 33554432000 1073741824 1073778376 140735129128624 140396174087304 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17365] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17365/stat : 17365 (java) S 17349 17351 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291591197 9855979520 57153 33554432000 1073741824 1073778376 140735129128624 140395434469904 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17366] ppid=17349 vsize=9624980 CPUtime=0.35 cores=0,2,4,6
/proc/17351/task/17366/stat : 17366 (java) S 17349 17351 15870 0 -1 4202560 2351 0 0 0 35 0 0 0 20 0 19 0 291591197 9855979520 57153 33554432000 1073741824 1073778376 140735129128624 140395433417272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17351/tid=17367] ppid=17349 vsize=9624980 CPUtime=0.26 cores=0,2,4,6
/proc/17351/task/17367/stat : 17367 (java) S 17349 17351 15870 0 -1 4202560 2293 0 0 0 26 0 0 0 20 0 19 0 291591197 9855979520 57153 33554432000 1073741824 1073778376 140735129128624 140395432364728 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17351/tid=17368] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17368/stat : 17368 (java) S 17349 17351 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291591197 9855979520 57153 33554432000 1073741824 1073778376 140735129128624 140395431312376 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17351/tid=17369] ppid=17349 vsize=9624980 CPUtime=0.34 cores=0,2,4,6
/proc/17351/task/17369/stat : 17369 (java) S 17349 17351 15870 0 -1 4202560 102 0 0 0 15 19 0 0 20 0 19 0 291591197 9855979520 57153 33554432000 1073741824 1073778376 140735129128624 140395430260040 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17351/tid=17370] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17370/stat : 17370 (java) S 17349 17351 15870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291591219 9855979520 57153 33554432000 1073741824 1073778376 140735129128624 140395429204776 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1786.86
Current children cumulated vsize (KiB) 9624980
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.5 s]
/proc/loadavg: 2.02 2.01 2.00 4/213 17648
/proc/meminfo: memFree=29718576/32873648 swapFree=6852/6852
[pid=17351] ppid=17349 vsize=9624980 CPUtime=1800.09 cores=0,2,4,6
/proc/17351/stat : 17351 (java) S 17349 17351 15870 0 -1 4202496 10292 0 1 0 179975 34 0 0 20 0 19 0 291591193 9855979520 57665 33554432000 1073741824 1073778376 140735129128624 140735129119760 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17351/statm: 2406245 57665 2274 9 0 2396937 0
[pid=17351/tid=17352] ppid=17349 vsize=9624980 CPUtime=1782.75 cores=0,2,4,6
/proc/17351/task/17352/stat : 17352 (java) R 17349 17351 15870 0 -1 4202560 2631 0 1 0 178246 29 0 0 20 0 19 0 291591193 9855979520 57665 33554432000 1073741824 1073778376 140735129128624 140396352651552 140396190095462 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17354] ppid=17349 vsize=9624980 CPUtime=0.63 cores=0,2,4,6
/proc/17351/task/17354/stat : 17354 (java) S 17349 17351 15870 0 -1 4202560 221 0 0 0 61 2 0 0 20 0 19 0 291591194 9855979520 57665 33554432000 1073741824 1073778376 140735129128624 140396314142888 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17355] ppid=17349 vsize=9624980 CPUtime=0.7 cores=0,2,4,6
/proc/17351/task/17355/stat : 17355 (java) S 17349 17351 15870 0 -1 4202560 248 0 0 0 68 2 0 0 20 0 19 0 291591194 9855979520 57665 33554432000 1073741824 1073778376 140735129128624 140396313090344 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17351/tid=17356] ppid=17349 vsize=9624980 CPUtime=0.69 cores=0,2,4,6
/proc/17351/task/17356/stat : 17356 (java) S 17349 17351 15870 0 -1 4202560 170 0 0 0 67 2 0 0 20 0 19 0 291591194 9855979520 57665 33554432000 1073741824 1073778376 140735129128624 140396312037800 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17351/tid=17357] ppid=17349 vsize=9624980 CPUtime=0.68 cores=0,2,4,6
/proc/17351/task/17357/stat : 17357 (java) S 17349 17351 15870 0 -1 4202560 224 0 0 0 66 2 0 0 20 0 19 0 291591194 9855979520 57665 33554432000 1073741824 1073778376 140735129128624 140396310985256 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17358] ppid=17349 vsize=9624980 CPUtime=0.73 cores=0,2,4,6
/proc/17351/task/17358/stat : 17358 (java) S 17349 17351 15870 0 -1 4202560 208 0 0 0 71 2 0 0 20 0 19 0 291591194 9855979520 57665 33554432000 1073741824 1073778376 140735129128624 140396309932712 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17359] ppid=17349 vsize=9624980 CPUtime=0.6 cores=0,2,4,6
/proc/17351/task/17359/stat : 17359 (java) S 17349 17351 15870 0 -1 4202560 79 0 0 0 60 0 0 0 20 0 19 0 291591194 9855979520 57665 33554432000 1073741824 1073778376 140735129128624 140396308880168 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17360] ppid=17349 vsize=9624980 CPUtime=0.7 cores=0,2,4,6
/proc/17351/task/17360/stat : 17360 (java) S 17349 17351 15870 0 -1 4202560 178 0 0 0 69 1 0 0 20 0 19 0 291591194 9855979520 57665 33554432000 1073741824 1073778376 140735129128624 140396189445032 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17351/tid=17361] ppid=17349 vsize=9624980 CPUtime=0.71 cores=0,2,4,6
/proc/17351/task/17361/stat : 17361 (java) S 17349 17351 15870 0 -1 4202560 242 0 0 0 71 0 0 0 20 0 19 0 291591194 9855979520 57665 33554432000 1073741824 1073778376 140735129128624 140396188392488 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17362] ppid=17349 vsize=9624980 CPUtime=6.41 cores=0,2,4,6
/proc/17351/task/17362/stat : 17362 (java) S 17349 17351 15870 0 -1 4202560 165 0 0 0 638 3 0 0 20 0 19 0 291591195 9855979520 57665 33554432000 1073741824 1073778376 140735129128624 140396176193640 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17351/tid=17363] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17363/stat : 17363 (java) S 17349 17351 15870 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291591195 9855979520 57665 33554432000 1073741824 1073778376 140735129128624 140396175139960 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17364] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17364/stat : 17364 (java) S 17349 17351 15870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291591195 9855979520 57665 33554432000 1073741824 1073778376 140735129128624 140396174087304 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17365] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17365/stat : 17365 (java) S 17349 17351 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291591197 9855979520 57665 33554432000 1073741824 1073778376 140735129128624 140395434469904 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17366] ppid=17349 vsize=9624980 CPUtime=0.35 cores=0,2,4,6
/proc/17351/task/17366/stat : 17366 (java) S 17349 17351 15870 0 -1 4202560 2351 0 0 0 35 0 0 0 20 0 19 0 291591197 9855979520 57665 33554432000 1073741824 1073778376 140735129128624 140395433417272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17351/tid=17367] ppid=17349 vsize=9624980 CPUtime=0.26 cores=0,2,4,6
/proc/17351/task/17367/stat : 17367 (java) S 17349 17351 15870 0 -1 4202560 2293 0 0 0 26 0 0 0 20 0 19 0 291591197 9855979520 57665 33554432000 1073741824 1073778376 140735129128624 140395432364728 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17351/tid=17368] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17368/stat : 17368 (java) S 17349 17351 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291591197 9855979520 57665 33554432000 1073741824 1073778376 140735129128624 140395431312376 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17351/tid=17369] ppid=17349 vsize=9624980 CPUtime=0.34 cores=0,2,4,6
/proc/17351/task/17369/stat : 17369 (java) S 17349 17351 15870 0 -1 4202560 102 0 0 0 15 19 0 0 20 0 19 0 291591197 9855979520 57665 33554432000 1073741824 1073778376 140735129128624 140395430260040 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17351/tid=17370] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17370/stat : 17370 (java) S 17349 17351 15870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291591219 9855979520 57665 33554432000 1073741824 1073778376 140735129128624 140395429204776 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9624980
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.5 s]
/proc/loadavg: 2.02 2.01 2.00 4/213 17648
/proc/meminfo: memFree=29718576/32873648 swapFree=6852/6852
[pid=17351] ppid=17349 vsize=9624980 CPUtime=1800.09 cores=0,2,4,6
/proc/17351/stat : 17351 (java) S 17349 17351 15870 0 -1 4202496 10292 0 1 0 179975 34 0 0 20 0 19 0 291591193 9855979520 57665 33554432000 1073741824 1073778376 140735129128624 140735129119760 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17351/statm: 2406245 57665 2274 9 0 2396937 0
[pid=17351/tid=17352] ppid=17349 vsize=9624980 CPUtime=1782.75 cores=0,2,4,6
/proc/17351/task/17352/stat : 17352 (java) R 17349 17351 15870 0 -1 4202560 2631 0 1 0 178246 29 0 0 20 0 19 0 291591193 9855979520 57665 33554432000 1073741824 1073778376 140735129128624 140396352651552 140396190095462 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17354] ppid=17349 vsize=9624980 CPUtime=0.63 cores=0,2,4,6
/proc/17351/task/17354/stat : 17354 (java) S 17349 17351 15870 0 -1 4202560 221 0 0 0 61 2 0 0 20 0 19 0 291591194 9855979520 57665 33554432000 1073741824 1073778376 140735129128624 140396314142888 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17355] ppid=17349 vsize=9624980 CPUtime=0.7 cores=0,2,4,6
/proc/17351/task/17355/stat : 17355 (java) S 17349 17351 15870 0 -1 4202560 248 0 0 0 68 2 0 0 20 0 19 0 291591194 9855979520 57665 33554432000 1073741824 1073778376 140735129128624 140396313090344 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17351/tid=17356] ppid=17349 vsize=9624980 CPUtime=0.69 cores=0,2,4,6
/proc/17351/task/17356/stat : 17356 (java) S 17349 17351 15870 0 -1 4202560 170 0 0 0 67 2 0 0 20 0 19 0 291591194 9855979520 57665 33554432000 1073741824 1073778376 140735129128624 140396312037800 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17351/tid=17357] ppid=17349 vsize=9624980 CPUtime=0.68 cores=0,2,4,6
/proc/17351/task/17357/stat : 17357 (java) S 17349 17351 15870 0 -1 4202560 224 0 0 0 66 2 0 0 20 0 19 0 291591194 9855979520 57665 33554432000 1073741824 1073778376 140735129128624 140396310985256 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17358] ppid=17349 vsize=9624980 CPUtime=0.73 cores=0,2,4,6
/proc/17351/task/17358/stat : 17358 (java) S 17349 17351 15870 0 -1 4202560 208 0 0 0 71 2 0 0 20 0 19 0 291591194 9855979520 57665 33554432000 1073741824 1073778376 140735129128624 140396309932712 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17359] ppid=17349 vsize=9624980 CPUtime=0.6 cores=0,2,4,6
/proc/17351/task/17359/stat : 17359 (java) S 17349 17351 15870 0 -1 4202560 79 0 0 0 60 0 0 0 20 0 19 0 291591194 9855979520 57665 33554432000 1073741824 1073778376 140735129128624 140396308880168 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17360] ppid=17349 vsize=9624980 CPUtime=0.7 cores=0,2,4,6
/proc/17351/task/17360/stat : 17360 (java) S 17349 17351 15870 0 -1 4202560 178 0 0 0 69 1 0 0 20 0 19 0 291591194 9855979520 57665 33554432000 1073741824 1073778376 140735129128624 140396189445032 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17351/tid=17361] ppid=17349 vsize=9624980 CPUtime=0.71 cores=0,2,4,6
/proc/17351/task/17361/stat : 17361 (java) S 17349 17351 15870 0 -1 4202560 242 0 0 0 71 0 0 0 20 0 19 0 291591194 9855979520 57665 33554432000 1073741824 1073778376 140735129128624 140396188392488 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17362] ppid=17349 vsize=9624980 CPUtime=6.41 cores=0,2,4,6
/proc/17351/task/17362/stat : 17362 (java) S 17349 17351 15870 0 -1 4202560 165 0 0 0 638 3 0 0 20 0 19 0 291591195 9855979520 57665 33554432000 1073741824 1073778376 140735129128624 140396176193640 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17351/tid=17363] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17363/stat : 17363 (java) S 17349 17351 15870 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291591195 9855979520 57665 33554432000 1073741824 1073778376 140735129128624 140396175139960 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17364] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17364/stat : 17364 (java) S 17349 17351 15870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291591195 9855979520 57665 33554432000 1073741824 1073778376 140735129128624 140396174087304 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17365] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17365/stat : 17365 (java) S 17349 17351 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291591197 9855979520 57665 33554432000 1073741824 1073778376 140735129128624 140395434469904 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17351/tid=17366] ppid=17349 vsize=9624980 CPUtime=0.35 cores=0,2,4,6
/proc/17351/task/17366/stat : 17366 (java) S 17349 17351 15870 0 -1 4202560 2351 0 0 0 35 0 0 0 20 0 19 0 291591197 9855979520 57665 33554432000 1073741824 1073778376 140735129128624 140395433417272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17351/tid=17367] ppid=17349 vsize=9624980 CPUtime=0.26 cores=0,2,4,6
/proc/17351/task/17367/stat : 17367 (java) S 17349 17351 15870 0 -1 4202560 2293 0 0 0 26 0 0 0 20 0 19 0 291591197 9855979520 57665 33554432000 1073741824 1073778376 140735129128624 140395432364728 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17351/tid=17368] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17368/stat : 17368 (java) S 17349 17351 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291591197 9855979520 57665 33554432000 1073741824 1073778376 140735129128624 140395431312376 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17351/tid=17369] ppid=17349 vsize=9624980 CPUtime=0.34 cores=0,2,4,6
/proc/17351/task/17369/stat : 17369 (java) S 17349 17351 15870 0 -1 4202560 102 0 0 0 15 19 0 0 20 0 19 0 291591197 9855979520 57665 33554432000 1073741824 1073778376 140735129128624 140395430260040 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17351/tid=17370] ppid=17349 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17351/task/17370/stat : 17370 (java) S 17349 17351 15870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291591219 9855979520 57665 33554432000 1073741824 1073778376 140735129128624 140395429204776 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9624980
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17351 and gives
# childrusage.ru_utime.tv_sec=1795
# childrusage.ru_utime.tv_usec=159094
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=761884
# CPU time returned by wait4() is 1795.92
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1795.55
CPU time (s): 1800.09
CPU user time (s): 1799.75
CPU system time (s): 0.34
CPU usage (%): 100.253
Max. virtual memory (cumulated for all children) (KiB): 9624980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.16
system time used= 0.761884
maximum resident set size= 230800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10359
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42004
involuntary context switches= 16842
runsolver used 5.67114 second user time and 14.8527 second system time
The end