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-3709968-1338189154/watcher-3709968-1338189154 -o /tmp/evaluation-result-3709968-1338189154/solver-3709968-1338189154 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3709968-1338189154.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: 2.00 2.00 2.00 3/194 18324
/proc/meminfo: memFree=30032244/32873648 swapFree=6860/6860
[pid=18324] ppid=18322 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/18324/stat : 18324 (java) D 18322 18324 13368 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 285041594 9515008 183 33554432000 1073741824 1073778376 140735235531776 140735235522808 266435641013 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/18324/statm: 2323 183 140 9 0 71 0
[startup+0.056464 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 18324
/proc/meminfo: memFree=30032244/32873648 swapFree=6860/6860
[pid=18324] ppid=18322 vsize=9225560 CPUtime=0.03 cores=1,3,5,7
/proc/18324/stat : 18324 (java) S 18322 18324 13368 0 -1 4202496 3134 0 1 0 3 0 0 0 20 0 13 0 285041594 9446973440 3830 33554432000 1073741824 1073778376 140733767872512 140733767863648 266439000125 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18324/statm: 2306390 3830 1708 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560
[startup+0.100256 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 18324
/proc/meminfo: memFree=30032244/32873648 swapFree=6860/6860
[pid=18324] ppid=18322 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/18324/stat : 18324 (java) S 18322 18324 13368 0 -1 4202496 4346 0 1 0 9 0 0 0 20 0 18 0 285041594 9787842560 5552 33554432000 1073741824 1073778376 140733767872512 140733767863648 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18324/statm: 2389610 5552 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440
[startup+0.300171 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 18324
/proc/meminfo: memFree=30032244/32873648 swapFree=6860/6860
[pid=18324] ppid=18322 vsize=9558440 CPUtime=0.46 cores=1,3,5,7
/proc/18324/stat : 18324 (java) S 18322 18324 13368 0 -1 4202496 6070 0 1 0 45 1 0 0 20 0 18 0 285041594 9787842560 10292 33554432000 1073741824 1073778376 140733767872512 140733767863648 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18324/statm: 2389610 10292 2224 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558440
[startup+0.700257 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 18324
/proc/meminfo: memFree=30032244/32873648 swapFree=6860/6860
[pid=18324] ppid=18322 vsize=9558440 CPUtime=1.11 cores=1,3,5,7
/proc/18324/stat : 18324 (java) S 18322 18324 13368 0 -1 4202496 6849 0 1 0 107 4 0 0 20 0 18 0 285041594 9787842560 40414 33554432000 1073741824 1073778376 140733767872512 140733767863648 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18324/statm: 2389610 40414 2255 9 0 2380296 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 9558440
[startup+1.50064 s]
/proc/loadavg: 2.00 2.00 2.00 5/212 18342
/proc/meminfo: memFree=29816236/32873648 swapFree=6860/6860
[pid=18324] ppid=18322 vsize=9558440 CPUtime=2.19 cores=1,3,5,7
/proc/18324/stat : 18324 (java) S 18322 18324 13368 0 -1 4202496 8330 0 1 0 209 10 0 0 20 0 18 0 285041594 9787842560 82554 33554432000 1073741824 1073778376 140733767872512 140733767863648 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18324/statm: 2389610 82554 2255 9 0 2380296 0
[pid=18324/tid=18326] ppid=18322 vsize=9558440 CPUtime=1.41 cores=1,3,5,7
/proc/18324/task/18326/stat : 18326 (java) R 18322 18324 13368 0 -1 4202560 2678 0 1 0 135 6 0 0 20 0 18 0 285041595 9787842560 82554 33554432000 1073741824 1073778376 140733767872512 139836887596408 139836827700453 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18324/tid=18327] ppid=18322 vsize=9558440 CPUtime=0.01 cores=1,3,5,7
/proc/18324/task/18327/stat : 18327 (java) S 18322 18324 13368 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 285041596 9787842560 82554 33554432000 1073741824 1073778376 140733767872512 139836826327592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18324/tid=18328] ppid=18322 vsize=9558440 CPUtime=0.01 cores=1,3,5,7
/proc/18324/task/18328/stat : 18328 (java) S 18322 18324 13368 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 285041596 9787842560 82554 33554432000 1073741824 1073778376 140733767872512 139836825274792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18324/tid=18329] ppid=18322 vsize=9558440 CPUtime=0.02 cores=1,3,5,7
/proc/18324/task/18329/stat : 18329 (java) S 18322 18324 13368 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 18 0 285041596 9787842560 82554 33554432000 1073741824 1073778376 140733767872512 139836824221992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18330] ppid=18322 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/18324/task/18330/stat : 18330 (java) S 18322 18324 13368 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 18 0 285041596 9787842560 82554 33554432000 1073741824 1073778376 140733767872512 139836823169192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18324/tid=18331] ppid=18322 vsize=9558440 CPUtime=0.02 cores=1,3,5,7
/proc/18324/task/18331/stat : 18331 (java) S 18322 18324 13368 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 18 0 285041596 9787842560 82554 33554432000 1073741824 1073778376 140733767872512 139836822117416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18324/tid=18332] ppid=18322 vsize=9558440 CPUtime=0.01 cores=1,3,5,7
/proc/18324/task/18332/stat : 18332 (java) S 18322 18324 13368 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 18 0 285041596 9787842560 82554 33554432000 1073741824 1073778376 140733767872512 139836725607336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18333] ppid=18322 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/18324/task/18333/stat : 18333 (java) S 18322 18324 13368 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 285041596 9787842560 82554 33554432000 1073741824 1073778376 140733767872512 139836724554536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18334] ppid=18322 vsize=9558440 CPUtime=0.01 cores=1,3,5,7
/proc/18324/task/18334/stat : 18334 (java) S 18322 18324 13368 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 18 0 285041596 9787842560 82554 33554432000 1073741824 1073778376 140733767872512 139836723501736 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18324/tid=18335] ppid=18322 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/18324/task/18335/stat : 18335 (java) S 18322 18324 13368 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 285041597 9787842560 82554 33554432000 1073741824 1073778376 140733767872512 139836711303656 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18336] ppid=18322 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/18324/task/18336/stat : 18336 (java) S 18322 18324 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 285041598 9787842560 82554 33554432000 1073741824 1073778376 140733767872512 139836710249720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18337] ppid=18322 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/18324/task/18337/stat : 18337 (java) S 18322 18324 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 285041598 9787842560 82554 33554432000 1073741824 1073778376 140733767872512 139836709196808 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18338] ppid=18322 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/18324/task/18338/stat : 18338 (java) S 18322 18324 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 285041600 9787842560 82554 33554432000 1073741824 1073778376 140733767872512 139836708145296 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18339] ppid=18322 vsize=9558440 CPUtime=0.24 cores=1,3,5,7
/proc/18324/task/18339/stat : 18339 (java) S 18322 18324 13368 0 -1 4202560 1692 0 0 0 24 0 0 0 20 0 18 0 285041600 9787842560 82554 33554432000 1073741824 1073778376 140733767872512 139836707093432 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18340] ppid=18322 vsize=9558440 CPUtime=0.29 cores=1,3,5,7
/proc/18324/task/18340/stat : 18340 (java) S 18322 18324 13368 0 -1 4202560 2485 0 0 0 29 0 0 0 20 0 18 0 285041600 9787842560 82554 33554432000 1073741824 1073778376 140733767872512 139836706040632 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18324/tid=18341] ppid=18322 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/18324/task/18341/stat : 18341 (java) S 18322 18324 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 285041600 9787842560 82554 33554432000 1073741824 1073778376 140733767872512 139836704988024 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18324/tid=18342] ppid=18322 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/18324/task/18342/stat : 18342 (java) S 18322 18324 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 285041600 9787842560 82554 33554432000 1073741824 1073778376 140733767872512 139836703935432 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 9558440
[startup+3.10065 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 18342
/proc/meminfo: memFree=29558524/32873648 swapFree=6860/6860
[pid=18324] ppid=18322 vsize=9558440 CPUtime=4.05 cores=1,3,5,7
/proc/18324/stat : 18324 (java) S 18322 18324 13368 0 -1 4202496 9172 0 1 0 384 21 0 0 20 0 18 0 285041594 9787842560 157914 33554432000 1073741824 1073778376 140733767872512 140733767863648 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18324/statm: 2389610 157914 2255 9 0 2380296 0
[pid=18324/tid=18326] ppid=18322 vsize=9558440 CPUtime=2.92 cores=1,3,5,7
/proc/18324/task/18326/stat : 18326 (java) R 18322 18324 13368 0 -1 4202560 2795 0 1 0 282 10 0 0 20 0 18 0 285041595 9787842560 157914 33554432000 1073741824 1073778376 140733767872512 139836887596392 139836827724171 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18324/tid=18327] ppid=18322 vsize=9558440 CPUtime=0.04 cores=1,3,5,7
/proc/18324/task/18327/stat : 18327 (java) S 18322 18324 13368 0 -1 4202560 29 0 0 0 3 1 0 0 20 0 18 0 285041596 9787842560 157914 33554432000 1073741824 1073778376 140733767872512 139836826327592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18324/tid=18328] ppid=18322 vsize=9558440 CPUtime=0.06 cores=1,3,5,7
/proc/18324/task/18328/stat : 18328 (java) S 18322 18324 13368 0 -1 4202560 30 0 0 0 4 2 0 0 20 0 18 0 285041596 9787842560 157914 33554432000 1073741824 1073778376 140733767872512 139836825274792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18324/tid=18329] ppid=18322 vsize=9558440 CPUtime=0.05 cores=1,3,5,7
/proc/18324/task/18329/stat : 18329 (java) S 18322 18324 13368 0 -1 4202560 114 0 0 0 3 2 0 0 20 0 18 0 285041596 9787842560 157914 33554432000 1073741824 1073778376 140733767872512 139836824221992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18324/tid=18330] ppid=18322 vsize=9558440 CPUtime=0.03 cores=1,3,5,7
/proc/18324/task/18330/stat : 18330 (java) S 18322 18324 13368 0 -1 4202560 26 0 0 0 3 0 0 0 20 0 18 0 285041596 9787842560 157914 33554432000 1073741824 1073778376 140733767872512 139836823169192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18324/tid=18331] ppid=18322 vsize=9558440 CPUtime=0.11 cores=1,3,5,7
/proc/18324/task/18331/stat : 18331 (java) S 18322 18324 13368 0 -1 4202560 131 0 0 0 8 3 0 0 20 0 18 0 285041596 9787842560 157914 33554432000 1073741824 1073778376 140733767872512 139836822117416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18332] ppid=18322 vsize=9558440 CPUtime=0.06 cores=1,3,5,7
/proc/18324/task/18332/stat : 18332 (java) S 18322 18324 13368 0 -1 4202560 96 0 0 0 4 2 0 0 20 0 18 0 285041596 9787842560 157914 33554432000 1073741824 1073778376 140733767872512 139836725607336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18324/tid=18333] ppid=18322 vsize=9558440 CPUtime=0.04 cores=1,3,5,7
/proc/18324/task/18333/stat : 18333 (java) S 18322 18324 13368 0 -1 4202560 32 0 0 0 3 1 0 0 20 0 18 0 285041596 9787842560 157914 33554432000 1073741824 1073778376 140733767872512 139836724554536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18324/tid=18334] ppid=18322 vsize=9558440 CPUtime=0.04 cores=1,3,5,7
/proc/18324/task/18334/stat : 18334 (java) S 18322 18324 13368 0 -1 4202560 95 0 0 0 4 0 0 0 20 0 18 0 285041596 9787842560 157914 33554432000 1073741824 1073778376 140733767872512 139836723501736 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18324/tid=18335] ppid=18322 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/18324/task/18335/stat : 18335 (java) S 18322 18324 13368 0 -1 4202560 466 0 0 0 0 0 0 0 20 0 18 0 285041597 9787842560 157914 33554432000 1073741824 1073778376 140733767872512 139836711303656 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18336] ppid=18322 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/18324/task/18336/stat : 18336 (java) S 18322 18324 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 285041598 9787842560 157914 33554432000 1073741824 1073778376 140733767872512 139836710249720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18337] ppid=18322 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/18324/task/18337/stat : 18337 (java) S 18322 18324 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 285041598 9787842560 157914 33554432000 1073741824 1073778376 140733767872512 139836709196808 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18338] ppid=18322 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/18324/task/18338/stat : 18338 (java) S 18322 18324 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 285041600 9787842560 157914 33554432000 1073741824 1073778376 140733767872512 139836708145296 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18339] ppid=18322 vsize=9558440 CPUtime=0.24 cores=1,3,5,7
/proc/18324/task/18339/stat : 18339 (java) S 18322 18324 13368 0 -1 4202560 1692 0 0 0 24 0 0 0 20 0 18 0 285041600 9787842560 157914 33554432000 1073741824 1073778376 140733767872512 139836707093432 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18340] ppid=18322 vsize=9558440 CPUtime=0.3 cores=1,3,5,7
/proc/18324/task/18340/stat : 18340 (java) S 18322 18324 13368 0 -1 4202560 2491 0 0 0 30 0 0 0 20 0 18 0 285041600 9787842560 157914 33554432000 1073741824 1073778376 140733767872512 139836706040632 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18324/tid=18341] ppid=18322 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/18324/task/18341/stat : 18341 (java) S 18322 18324 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 285041600 9787842560 157914 33554432000 1073741824 1073778376 140733767872512 139836704988024 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18324/tid=18342] ppid=18322 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/18324/task/18342/stat : 18342 (java) S 18322 18324 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 285041600 9787842560 157914 33554432000 1073741824 1073778376 140733767872512 139836703935432 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.05
Current children cumulated vsize (KiB) 9558440
[startup+6.30072 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 18342
/proc/meminfo: memFree=28818456/32873648 swapFree=6860/6860
[pid=18324] ppid=18322 vsize=9558440 CPUtime=7.74 cores=1,3,5,7
/proc/18324/stat : 18324 (java) S 18322 18324 13368 0 -1 4202496 10517 0 1 0 734 40 0 0 20 0 18 0 285041594 9787842560 305441 33554432000 1073741824 1073778376 140733767872512 140733767863648 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18324/statm: 2389610 305441 2255 9 0 2380296 0
[pid=18324/tid=18326] ppid=18322 vsize=9558440 CPUtime=5.95 cores=1,3,5,7
/proc/18324/task/18326/stat : 18326 (java) R 18322 18324 13368 0 -1 4202560 3026 0 1 0 577 18 0 0 20 0 18 0 285041595 9787842560 305441 33554432000 1073741824 1073778376 140733767872512 139836887588896 266439025933 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18324/tid=18327] ppid=18322 vsize=9558440 CPUtime=0.14 cores=1,3,5,7
/proc/18324/task/18327/stat : 18327 (java) S 18322 18324 13368 0 -1 4202560 167 0 0 0 11 3 0 0 20 0 18 0 285041596 9787842560 305441 33554432000 1073741824 1073778376 140733767872512 139836826327592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18324/tid=18328] ppid=18322 vsize=9558440 CPUtime=0.13 cores=1,3,5,7
/proc/18324/task/18328/stat : 18328 (java) S 18322 18324 13368 0 -1 4202560 180 0 0 0 10 3 0 0 20 0 18 0 285041596 9787842560 305441 33554432000 1073741824 1073778376 140733767872512 139836825274792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18324/tid=18329] ppid=18322 vsize=9558440 CPUtime=0.17 cores=1,3,5,7
/proc/18324/task/18329/stat : 18329 (java) S 18322 18324 13368 0 -1 4202560 207 0 0 0 13 4 0 0 20 0 18 0 285041596 9787842560 305441 33554432000 1073741824 1073778376 140733767872512 139836824221992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18324/tid=18330] ppid=18322 vsize=9558440 CPUtime=0.11 cores=1,3,5,7
/proc/18324/task/18330/stat : 18330 (java) S 18322 18324 13368 0 -1 4202560 70 0 0 0 9 2 0 0 20 0 18 0 285041596 9787842560 305441 33554432000 1073741824 1073778376 140733767872512 139836823169192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18324/tid=18331] ppid=18322 vsize=9558440 CPUtime=0.17 cores=1,3,5,7
/proc/18324/task/18331/stat : 18331 (java) S 18322 18324 13368 0 -1 4202560 177 0 0 0 13 4 0 0 20 0 18 0 285041596 9787842560 305441 33554432000 1073741824 1073778376 140733767872512 139836822117416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18324/tid=18332] ppid=18322 vsize=9558440 CPUtime=0.14 cores=1,3,5,7
/proc/18324/task/18332/stat : 18332 (java) S 18322 18324 13368 0 -1 4202560 135 0 0 0 11 3 0 0 20 0 18 0 285041596 9787842560 305441 33554432000 1073741824 1073778376 140733767872512 139836725607336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18333] ppid=18322 vsize=9558440 CPUtime=0.1 cores=1,3,5,7
/proc/18324/task/18333/stat : 18333 (java) S 18322 18324 13368 0 -1 4202560 64 0 0 0 8 2 0 0 20 0 18 0 285041596 9787842560 305441 33554432000 1073741824 1073778376 140733767872512 139836724554536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18324/tid=18334] ppid=18322 vsize=9558440 CPUtime=0.1 cores=1,3,5,7
/proc/18324/task/18334/stat : 18334 (java) S 18322 18324 13368 0 -1 4202560 137 0 0 0 9 1 0 0 20 0 18 0 285041596 9787842560 305441 33554432000 1073741824 1073778376 140733767872512 139836723501736 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18324/tid=18335] ppid=18322 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/18324/task/18335/stat : 18335 (java) S 18322 18324 13368 0 -1 4202560 990 0 0 0 0 0 0 0 20 0 18 0 285041597 9787842560 305441 33554432000 1073741824 1073778376 140733767872512 139836711303656 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18336] ppid=18322 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/18324/task/18336/stat : 18336 (java) S 18322 18324 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 285041598 9787842560 305441 33554432000 1073741824 1073778376 140733767872512 139836710249720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18337] ppid=18322 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/18324/task/18337/stat : 18337 (java) S 18322 18324 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 285041598 9787842560 305441 33554432000 1073741824 1073778376 140733767872512 139836709196808 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18338] ppid=18322 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/18324/task/18338/stat : 18338 (java) S 18322 18324 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 285041600 9787842560 305441 33554432000 1073741824 1073778376 140733767872512 139836708145296 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18339] ppid=18322 vsize=9558440 CPUtime=0.26 cores=1,3,5,7
/proc/18324/task/18339/stat : 18339 (java) S 18322 18324 13368 0 -1 4202560 1698 0 0 0 26 0 0 0 20 0 18 0 285041600 9787842560 305441 33554432000 1073741824 1073778376 140733767872512 139836707093432 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18340] ppid=18322 vsize=9558440 CPUtime=0.31 cores=1,3,5,7
/proc/18324/task/18340/stat : 18340 (java) S 18322 18324 13368 0 -1 4202560 2491 0 0 0 31 0 0 0 20 0 18 0 285041600 9787842560 305441 33554432000 1073741824 1073778376 140733767872512 139836706040632 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18324/tid=18341] ppid=18322 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/18324/task/18341/stat : 18341 (java) S 18322 18324 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 285041600 9787842560 305441 33554432000 1073741824 1073778376 140733767872512 139836704988024 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18324/tid=18342] ppid=18322 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/18324/task/18342/stat : 18342 (java) S 18322 18324 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 285041600 9787842560 305441 33554432000 1073741824 1073778376 140733767872512 139836703935432 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.74
Current children cumulated vsize (KiB) 9558440
[startup+12.7006 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 18343
/proc/meminfo: memFree=28475696/32873648 swapFree=6860/6860
[pid=18324] ppid=18322 vsize=9625004 CPUtime=14.7 cores=1,3,5,7
/proc/18324/stat : 18324 (java) S 18322 18324 13368 0 -1 4202496 12425 0 1 0 1423 47 0 0 20 0 19 0 285041594 9856004096 390794 33554432000 1073741824 1073778376 140733767872512 140733767863648 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18324/statm: 2406251 390794 2276 9 0 2396937 0
[pid=18324/tid=18326] ppid=18322 vsize=9625004 CPUtime=12.35 cores=1,3,5,7
################
# More data... #
################
[pid=18324/tid=18332] ppid=18322 vsize=9625004 CPUtime=0.57 cores=1,3,5,7
/proc/18324/task/18332/stat : 18332 (java) S 18322 18324 13368 0 -1 4202560 446 0 0 0 51 6 0 0 20 0 19 0 285041596 9856004096 434830 33554432000 1073741824 1073778376 140733767872512 139836725607336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18324/tid=18333] ppid=18322 vsize=9625004 CPUtime=0.53 cores=1,3,5,7
/proc/18324/task/18333/stat : 18333 (java) S 18322 18324 13368 0 -1 4202560 357 0 0 0 49 4 0 0 20 0 19 0 285041596 9856004096 434830 33554432000 1073741824 1073778376 140733767872512 139836724554536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18324/tid=18334] ppid=18322 vsize=9625004 CPUtime=0.53 cores=1,3,5,7
/proc/18324/task/18334/stat : 18334 (java) S 18322 18324 13368 0 -1 4202560 298 0 0 0 50 3 0 0 20 0 19 0 285041596 9856004096 434830 33554432000 1073741824 1073778376 140733767872512 139836723501736 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18324/tid=18335] ppid=18322 vsize=9625004 CPUtime=24.62 cores=1,3,5,7
/proc/18324/task/18335/stat : 18335 (java) S 18322 18324 13368 0 -1 4202560 1211 0 0 0 2457 5 0 0 20 0 19 0 285041597 9856004096 434830 33554432000 1073741824 1073778376 140733767872512 139836711303656 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18324/tid=18336] ppid=18322 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18324/task/18336/stat : 18336 (java) S 18322 18324 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 285041598 9856004096 434830 33554432000 1073741824 1073778376 140733767872512 139836710249720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18337] ppid=18322 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18324/task/18337/stat : 18337 (java) S 18322 18324 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 285041598 9856004096 434830 33554432000 1073741824 1073778376 140733767872512 139836709196808 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18338] ppid=18322 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18324/task/18338/stat : 18338 (java) S 18322 18324 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285041600 9856004096 434830 33554432000 1073741824 1073778376 140733767872512 139836708145296 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18339] ppid=18322 vsize=9625004 CPUtime=0.98 cores=1,3,5,7
/proc/18324/task/18339/stat : 18339 (java) S 18322 18324 13368 0 -1 4202560 9237 0 0 0 96 2 0 0 20 0 19 0 285041600 9856004096 434830 33554432000 1073741824 1073778376 140733767872512 139836707093432 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18324/tid=18340] ppid=18322 vsize=9625004 CPUtime=0.69 cores=1,3,5,7
/proc/18324/task/18340/stat : 18340 (java) S 18322 18324 13368 0 -1 4202560 2982 0 0 0 69 0 0 0 20 0 19 0 285041600 9856004096 434830 33554432000 1073741824 1073778376 140733767872512 139836706040632 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18324/tid=18341] ppid=18322 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18324/task/18341/stat : 18341 (java) S 18322 18324 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285041600 9856004096 434830 33554432000 1073741824 1073778376 140733767872512 139836704988024 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18324/tid=18342] ppid=18322 vsize=9625004 CPUtime=0.64 cores=1,3,5,7
/proc/18324/task/18342/stat : 18342 (java) S 18322 18324 13368 0 -1 4202560 94 0 0 0 28 36 0 0 20 0 19 0 285041600 9856004096 434830 33554432000 1073741824 1073778376 140733767872512 139836703935432 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18324/tid=18343] ppid=18322 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18324/task/18343/stat : 18343 (java) S 18322 18324 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 285042332 9856004096 434830 33554432000 1073741824 1073778376 140733767872512 139836702880936 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1667.67
Current children cumulated vsize (KiB) 9625004
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 18417
/proc/meminfo: memFree=28433320/32873648 swapFree=6860/6860
[pid=18324] ppid=18322 vsize=9625004 CPUtime=1727.72 cores=1,3,5,7
/proc/18324/stat : 18324 (java) S 18322 18324 13368 0 -1 4202496 21474 0 1 0 172670 102 0 0 20 0 19 0 285041594 9856004096 435858 33554432000 1073741824 1073778376 140733767872512 140733767863648 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18324/statm: 2406251 435858 2290 9 0 2396937 0
[pid=18324/tid=18326] ppid=18322 vsize=9625004 CPUtime=1696.05 cores=1,3,5,7
/proc/18324/task/18326/stat : 18326 (java) R 18322 18324 13368 0 -1 4202560 3488 0 1 0 169556 49 0 0 20 0 19 0 285041595 9856004096 435858 33554432000 1073741824 1073778376 140733767872512 139836887597360 139836828069900 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18327] ppid=18322 vsize=9625004 CPUtime=0.57 cores=1,3,5,7
/proc/18324/task/18327/stat : 18327 (java) S 18322 18324 13368 0 -1 4202560 464 0 0 0 51 6 0 0 20 0 19 0 285041596 9856004096 435858 33554432000 1073741824 1073778376 140733767872512 139836826327592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18328] ppid=18322 vsize=9625004 CPUtime=0.65 cores=1,3,5,7
/proc/18324/task/18328/stat : 18328 (java) S 18322 18324 13368 0 -1 4202560 265 0 0 0 59 6 0 0 20 0 19 0 285041596 9856004096 435858 33554432000 1073741824 1073778376 140733767872512 139836825274792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18324/tid=18329] ppid=18322 vsize=9625004 CPUtime=0.56 cores=1,3,5,7
/proc/18324/task/18329/stat : 18329 (java) S 18322 18324 13368 0 -1 4202560 527 0 0 0 51 5 0 0 20 0 19 0 285041596 9856004096 435858 33554432000 1073741824 1073778376 140733767872512 139836824221992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18330] ppid=18322 vsize=9625004 CPUtime=0.54 cores=1,3,5,7
/proc/18324/task/18330/stat : 18330 (java) S 18322 18324 13368 0 -1 4202560 457 0 0 0 51 3 0 0 20 0 19 0 285041596 9856004096 435858 33554432000 1073741824 1073778376 140733767872512 139836823169192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18331] ppid=18322 vsize=9625004 CPUtime=0.59 cores=1,3,5,7
/proc/18324/task/18331/stat : 18331 (java) S 18322 18324 13368 0 -1 4202560 451 0 0 0 54 5 0 0 20 0 19 0 285041596 9856004096 435858 33554432000 1073741824 1073778376 140733767872512 139836822117416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18324/tid=18332] ppid=18322 vsize=9625004 CPUtime=0.57 cores=1,3,5,7
/proc/18324/task/18332/stat : 18332 (java) S 18322 18324 13368 0 -1 4202560 456 0 0 0 51 6 0 0 20 0 19 0 285041596 9856004096 435858 33554432000 1073741824 1073778376 140733767872512 139836725607336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18324/tid=18333] ppid=18322 vsize=9625004 CPUtime=0.53 cores=1,3,5,7
/proc/18324/task/18333/stat : 18333 (java) S 18322 18324 13368 0 -1 4202560 357 0 0 0 49 4 0 0 20 0 19 0 285041596 9856004096 435858 33554432000 1073741824 1073778376 140733767872512 139836724554536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18324/tid=18334] ppid=18322 vsize=9625004 CPUtime=0.54 cores=1,3,5,7
/proc/18324/task/18334/stat : 18334 (java) S 18322 18324 13368 0 -1 4202560 298 0 0 0 51 3 0 0 20 0 19 0 285041596 9856004096 435858 33554432000 1073741824 1073778376 140733767872512 139836723501736 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18324/tid=18335] ppid=18322 vsize=9625004 CPUtime=24.97 cores=1,3,5,7
/proc/18324/task/18335/stat : 18335 (java) S 18322 18324 13368 0 -1 4202560 1213 0 0 0 2492 5 0 0 20 0 19 0 285041597 9856004096 435858 33554432000 1073741824 1073778376 140733767872512 139836711303656 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18324/tid=18336] ppid=18322 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18324/task/18336/stat : 18336 (java) S 18322 18324 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 285041598 9856004096 435858 33554432000 1073741824 1073778376 140733767872512 139836710249720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18337] ppid=18322 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18324/task/18337/stat : 18337 (java) S 18322 18324 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 285041598 9856004096 435858 33554432000 1073741824 1073778376 140733767872512 139836709196808 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18338] ppid=18322 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18324/task/18338/stat : 18338 (java) S 18322 18324 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285041600 9856004096 435858 33554432000 1073741824 1073778376 140733767872512 139836708145296 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18339] ppid=18322 vsize=9625004 CPUtime=0.98 cores=1,3,5,7
/proc/18324/task/18339/stat : 18339 (java) S 18322 18324 13368 0 -1 4202560 9237 0 0 0 96 2 0 0 20 0 19 0 285041600 9856004096 435858 33554432000 1073741824 1073778376 140733767872512 139836707093432 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18324/tid=18340] ppid=18322 vsize=9625004 CPUtime=0.69 cores=1,3,5,7
/proc/18324/task/18340/stat : 18340 (java) S 18322 18324 13368 0 -1 4202560 2982 0 0 0 69 0 0 0 20 0 19 0 285041600 9856004096 435858 33554432000 1073741824 1073778376 140733767872512 139836706040632 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18324/tid=18341] ppid=18322 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18324/task/18341/stat : 18341 (java) S 18322 18324 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285041600 9856004096 435858 33554432000 1073741824 1073778376 140733767872512 139836704988024 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18324/tid=18342] ppid=18322 vsize=9625004 CPUtime=0.68 cores=1,3,5,7
/proc/18324/task/18342/stat : 18342 (java) S 18322 18324 13368 0 -1 4202560 98 0 0 0 30 38 0 0 20 0 19 0 285041600 9856004096 435858 33554432000 1073741824 1073778376 140733767872512 139836703935432 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18324/tid=18343] ppid=18322 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18324/task/18343/stat : 18343 (java) S 18322 18324 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 285042332 9856004096 435858 33554432000 1073741824 1073778376 140733767872512 139836702880936 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1727.72
Current children cumulated vsize (KiB) 9625004
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 18417
/proc/meminfo: memFree=28436176/32873648 swapFree=6860/6860
[pid=18324] ppid=18322 vsize=9625004 CPUtime=1787.77 cores=1,3,5,7
/proc/18324/stat : 18324 (java) S 18322 18324 13368 0 -1 4202496 21497 0 1 0 178673 104 0 0 20 0 19 0 285041594 9856004096 435200 33554432000 1073741824 1073778376 140733767872512 140733767863648 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18324/statm: 2406251 435200 2290 9 0 2396937 0
[pid=18324/tid=18326] ppid=18322 vsize=9625004 CPUtime=1755.7 cores=1,3,5,7
/proc/18324/task/18326/stat : 18326 (java) R 18322 18324 13368 0 -1 4202560 3489 0 1 0 175520 50 0 0 20 0 19 0 285041595 9856004096 435200 33554432000 1073741824 1073778376 140733767872512 139836887597360 139836828081482 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18327] ppid=18322 vsize=9625004 CPUtime=0.57 cores=1,3,5,7
/proc/18324/task/18327/stat : 18327 (java) S 18322 18324 13368 0 -1 4202560 464 0 0 0 51 6 0 0 20 0 19 0 285041596 9856004096 435200 33554432000 1073741824 1073778376 140733767872512 139836826327592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18328] ppid=18322 vsize=9625004 CPUtime=0.65 cores=1,3,5,7
/proc/18324/task/18328/stat : 18328 (java) S 18322 18324 13368 0 -1 4202560 265 0 0 0 59 6 0 0 20 0 19 0 285041596 9856004096 435200 33554432000 1073741824 1073778376 140733767872512 139836825274792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18324/tid=18329] ppid=18322 vsize=9625004 CPUtime=0.56 cores=1,3,5,7
/proc/18324/task/18329/stat : 18329 (java) S 18322 18324 13368 0 -1 4202560 527 0 0 0 51 5 0 0 20 0 19 0 285041596 9856004096 435200 33554432000 1073741824 1073778376 140733767872512 139836824221992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18324/tid=18330] ppid=18322 vsize=9625004 CPUtime=0.54 cores=1,3,5,7
/proc/18324/task/18330/stat : 18330 (java) S 18322 18324 13368 0 -1 4202560 457 0 0 0 51 3 0 0 20 0 19 0 285041596 9856004096 435200 33554432000 1073741824 1073778376 140733767872512 139836823169192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18331] ppid=18322 vsize=9625004 CPUtime=0.6 cores=1,3,5,7
/proc/18324/task/18331/stat : 18331 (java) S 18322 18324 13368 0 -1 4202560 451 0 0 0 55 5 0 0 20 0 19 0 285041596 9856004096 435200 33554432000 1073741824 1073778376 140733767872512 139836822117416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18324/tid=18332] ppid=18322 vsize=9625004 CPUtime=0.58 cores=1,3,5,7
/proc/18324/task/18332/stat : 18332 (java) S 18322 18324 13368 0 -1 4202560 472 0 0 0 52 6 0 0 20 0 19 0 285041596 9856004096 435200 33554432000 1073741824 1073778376 140733767872512 139836725607336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18333] ppid=18322 vsize=9625004 CPUtime=0.54 cores=1,3,5,7
/proc/18324/task/18333/stat : 18333 (java) S 18322 18324 13368 0 -1 4202560 357 0 0 0 50 4 0 0 20 0 19 0 285041596 9856004096 435200 33554432000 1073741824 1073778376 140733767872512 139836724554536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18334] ppid=18322 vsize=9625004 CPUtime=0.55 cores=1,3,5,7
/proc/18324/task/18334/stat : 18334 (java) S 18322 18324 13368 0 -1 4202560 298 0 0 0 52 3 0 0 20 0 19 0 285041596 9856004096 435200 33554432000 1073741824 1073778376 140733767872512 139836723501736 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18335] ppid=18322 vsize=9625004 CPUtime=25.32 cores=1,3,5,7
/proc/18324/task/18335/stat : 18335 (java) S 18322 18324 13368 0 -1 4202560 1215 0 0 0 2527 5 0 0 20 0 19 0 285041597 9856004096 435200 33554432000 1073741824 1073778376 140733767872512 139836711303656 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18324/tid=18336] ppid=18322 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18324/task/18336/stat : 18336 (java) S 18322 18324 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 285041598 9856004096 435200 33554432000 1073741824 1073778376 140733767872512 139836710249720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18337] ppid=18322 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18324/task/18337/stat : 18337 (java) S 18322 18324 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 285041598 9856004096 435200 33554432000 1073741824 1073778376 140733767872512 139836709196808 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18338] ppid=18322 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18324/task/18338/stat : 18338 (java) S 18322 18324 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285041600 9856004096 435200 33554432000 1073741824 1073778376 140733767872512 139836708145296 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18339] ppid=18322 vsize=9625004 CPUtime=0.98 cores=1,3,5,7
/proc/18324/task/18339/stat : 18339 (java) S 18322 18324 13368 0 -1 4202560 9237 0 0 0 96 2 0 0 20 0 19 0 285041600 9856004096 435200 33554432000 1073741824 1073778376 140733767872512 139836707093432 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18324/tid=18340] ppid=18322 vsize=9625004 CPUtime=0.69 cores=1,3,5,7
/proc/18324/task/18340/stat : 18340 (java) S 18322 18324 13368 0 -1 4202560 2982 0 0 0 69 0 0 0 20 0 19 0 285041600 9856004096 435200 33554432000 1073741824 1073778376 140733767872512 139836706040632 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18324/tid=18341] ppid=18322 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18324/task/18341/stat : 18341 (java) S 18322 18324 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285041600 9856004096 435200 33554432000 1073741824 1073778376 140733767872512 139836704988024 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18324/tid=18342] ppid=18322 vsize=9625004 CPUtime=0.69 cores=1,3,5,7
/proc/18324/task/18342/stat : 18342 (java) S 18322 18324 13368 0 -1 4202560 102 0 0 0 30 39 0 0 20 0 19 0 285041600 9856004096 435200 33554432000 1073741824 1073778376 140733767872512 139836703935432 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18324/tid=18343] ppid=18322 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18324/task/18343/stat : 18343 (java) S 18322 18324 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 285042332 9856004096 435200 33554432000 1073741824 1073778376 140733767872512 139836702880936 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1787.77
Current children cumulated vsize (KiB) 9625004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 18417
/proc/meminfo: memFree=28436056/32873648 swapFree=6860/6860
[pid=18324] ppid=18322 vsize=9625004 CPUtime=1800.08 cores=1,3,5,7
/proc/18324/stat : 18324 (java) S 18322 18324 13368 0 -1 4202496 21497 0 1 0 179903 105 0 0 20 0 19 0 285041594 9856004096 435200 33554432000 1073741824 1073778376 140733767872512 140733767863648 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18324/statm: 2406251 435200 2290 9 0 2396937 0
[pid=18324/tid=18326] ppid=18322 vsize=9625004 CPUtime=1768 cores=1,3,5,7
/proc/18324/task/18326/stat : 18326 (java) R 18322 18324 13368 0 -1 4202560 3489 0 1 0 176750 50 0 0 20 0 19 0 285041595 9856004096 435200 33554432000 1073741824 1073778376 140733767872512 139836887597360 139836828101884 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18327] ppid=18322 vsize=9625004 CPUtime=0.57 cores=1,3,5,7
/proc/18324/task/18327/stat : 18327 (java) S 18322 18324 13368 0 -1 4202560 464 0 0 0 51 6 0 0 20 0 19 0 285041596 9856004096 435200 33554432000 1073741824 1073778376 140733767872512 139836826327592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18328] ppid=18322 vsize=9625004 CPUtime=0.65 cores=1,3,5,7
/proc/18324/task/18328/stat : 18328 (java) S 18322 18324 13368 0 -1 4202560 265 0 0 0 59 6 0 0 20 0 19 0 285041596 9856004096 435200 33554432000 1073741824 1073778376 140733767872512 139836825274792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18324/tid=18329] ppid=18322 vsize=9625004 CPUtime=0.56 cores=1,3,5,7
/proc/18324/task/18329/stat : 18329 (java) S 18322 18324 13368 0 -1 4202560 527 0 0 0 51 5 0 0 20 0 19 0 285041596 9856004096 435200 33554432000 1073741824 1073778376 140733767872512 139836824221992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18324/tid=18330] ppid=18322 vsize=9625004 CPUtime=0.54 cores=1,3,5,7
/proc/18324/task/18330/stat : 18330 (java) S 18322 18324 13368 0 -1 4202560 457 0 0 0 51 3 0 0 20 0 19 0 285041596 9856004096 435200 33554432000 1073741824 1073778376 140733767872512 139836823169192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18331] ppid=18322 vsize=9625004 CPUtime=0.6 cores=1,3,5,7
/proc/18324/task/18331/stat : 18331 (java) S 18322 18324 13368 0 -1 4202560 451 0 0 0 55 5 0 0 20 0 19 0 285041596 9856004096 435200 33554432000 1073741824 1073778376 140733767872512 139836822117416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18324/tid=18332] ppid=18322 vsize=9625004 CPUtime=0.58 cores=1,3,5,7
/proc/18324/task/18332/stat : 18332 (java) S 18322 18324 13368 0 -1 4202560 472 0 0 0 52 6 0 0 20 0 19 0 285041596 9856004096 435200 33554432000 1073741824 1073778376 140733767872512 139836725607336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18333] ppid=18322 vsize=9625004 CPUtime=0.54 cores=1,3,5,7
/proc/18324/task/18333/stat : 18333 (java) S 18322 18324 13368 0 -1 4202560 357 0 0 0 50 4 0 0 20 0 19 0 285041596 9856004096 435200 33554432000 1073741824 1073778376 140733767872512 139836724554536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18334] ppid=18322 vsize=9625004 CPUtime=0.55 cores=1,3,5,7
/proc/18324/task/18334/stat : 18334 (java) S 18322 18324 13368 0 -1 4202560 298 0 0 0 52 3 0 0 20 0 19 0 285041596 9856004096 435200 33554432000 1073741824 1073778376 140733767872512 139836723501736 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18335] ppid=18322 vsize=9625004 CPUtime=25.32 cores=1,3,5,7
/proc/18324/task/18335/stat : 18335 (java) S 18322 18324 13368 0 -1 4202560 1215 0 0 0 2527 5 0 0 20 0 19 0 285041597 9856004096 435200 33554432000 1073741824 1073778376 140733767872512 139836711303656 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18324/tid=18336] ppid=18322 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18324/task/18336/stat : 18336 (java) S 18322 18324 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 285041598 9856004096 435200 33554432000 1073741824 1073778376 140733767872512 139836710249720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18337] ppid=18322 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18324/task/18337/stat : 18337 (java) S 18322 18324 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 285041598 9856004096 435200 33554432000 1073741824 1073778376 140733767872512 139836709196808 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18338] ppid=18322 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18324/task/18338/stat : 18338 (java) S 18322 18324 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285041600 9856004096 435200 33554432000 1073741824 1073778376 140733767872512 139836708145296 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18324/tid=18339] ppid=18322 vsize=9625004 CPUtime=0.98 cores=1,3,5,7
/proc/18324/task/18339/stat : 18339 (java) S 18322 18324 13368 0 -1 4202560 9237 0 0 0 96 2 0 0 20 0 19 0 285041600 9856004096 435200 33554432000 1073741824 1073778376 140733767872512 139836707093432 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18324/tid=18340] ppid=18322 vsize=9625004 CPUtime=0.69 cores=1,3,5,7
/proc/18324/task/18340/stat : 18340 (java) S 18322 18324 13368 0 -1 4202560 2982 0 0 0 69 0 0 0 20 0 19 0 285041600 9856004096 435200 33554432000 1073741824 1073778376 140733767872512 139836706040632 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18324/tid=18341] ppid=18322 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18324/task/18341/stat : 18341 (java) S 18322 18324 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285041600 9856004096 435200 33554432000 1073741824 1073778376 140733767872512 139836704988024 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18324/tid=18342] ppid=18322 vsize=9625004 CPUtime=0.7 cores=1,3,5,7
/proc/18324/task/18342/stat : 18342 (java) S 18322 18324 13368 0 -1 4202560 102 0 0 0 30 40 0 0 20 0 19 0 285041600 9856004096 435200 33554432000 1073741824 1073778376 140733767872512 139836703935432 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18324/tid=18343] ppid=18322 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18324/task/18343/stat : 18343 (java) S 18322 18324 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 285042332 9856004096 435200 33554432000 1073741824 1073778376 140733767872512 139836702880936 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625004
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1794.65
CPU time (s): 1800.62
CPU user time (s): 1799.11
CPU system time (s): 1.51177
CPU usage (%): 100.333
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.11
system time used= 1.51177
maximum resident set size= 1752576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21531
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40191
involuntary context switches= 10392
runsolver used 6.18106 second user time and 15.4117 second system time
The end