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-3744636-1338809537/watcher-3744636-1338809537 -o /tmp/evaluation-result-3744636-1338809537/solver-3744636-1338809537 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3744636-1338809537.opb
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: 1.93 1.99 2.03 2/185 13439
/proc/meminfo: memFree=27944156/32873648 swapFree=6864/6864
[pid=13439] ppid=13437 vsize=24200 CPUtime=0 cores=0,2,4,6
/proc/13439/stat : 13439 (java) R 13437 13439 13292 0 -1 4202496 1146 0 0 0 0 0 0 0 20 0 1 0 347079648 24780800 866 33554432000 1073741824 1073778376 140733562974944 140733562964008 226084381671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13439/statm: 6050 867 654 9 0 385 0
[pid=13439/tid=13440] ppid=13437 vsize=89736 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13440/stat : 13440 (java) R 13437 13439 13292 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 2 0 347079648 91889664 871 33554432000 1073741824 1073778376 140733562974944 140733562964008 226083957133 0 0 4096 0 0 0 0 -1 4 0 0 0 0 0
[startup+0.0971409 s]
/proc/loadavg: 1.93 1.99 2.03 2/185 13439
/proc/meminfo: memFree=27944156/32873648 swapFree=6864/6864
[pid=13439] ppid=13437 vsize=11586392 CPUtime=0.1 cores=0,2,4,6
/proc/13439/stat : 13439 (java) S 13437 13439 13292 0 -1 4202496 4800 0 1 0 9 1 0 0 20 0 18 0 347079648 11864465408 13652 33554432000 1073741824 1073778376 140733562974944 140733562966080 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13439/statm: 2896598 13652 2116 9 0 2887285 0
[pid=13439/tid=13440] ppid=13437 vsize=11586392 CPUtime=0.07 cores=0,2,4,6
/proc/13439/task/13440/stat : 13440 (java) R 13437 13439 13292 0 -1 4202560 2836 0 1 0 6 1 0 0 20 0 18 0 347079648 11864465408 13652 33554432000 1073741824 1073778376 140733562974944 140388356041648 140388353908504 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11586392
[startup+0.100216 s]
/proc/loadavg: 1.93 1.99 2.03 2/185 13439
/proc/meminfo: memFree=27944156/32873648 swapFree=6864/6864
[pid=13439] ppid=13437 vsize=11586392 CPUtime=0.1 cores=0,2,4,6
/proc/13439/stat : 13439 (java) S 13437 13439 13292 0 -1 4202496 4804 0 1 0 9 1 0 0 20 0 18 0 347079648 11864465408 13656 33554432000 1073741824 1073778376 140733562974944 140733562966080 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13439/statm: 2896598 13656 2116 9 0 2887285 0
[pid=13439/tid=13440] ppid=13437 vsize=11586392 CPUtime=0.07 cores=0,2,4,6
/proc/13439/task/13440/stat : 13440 (java) R 13437 13439 13292 0 -1 4202560 2840 0 1 0 6 1 0 0 20 0 18 0 347079648 11864465408 13656 33554432000 1073741824 1073778376 140733562974944 140388356041648 226087724301 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11586392
[startup+0.300188 s]
/proc/loadavg: 1.93 1.99 2.03 2/185 13439
/proc/meminfo: memFree=27944156/32873648 swapFree=6864/6864
[pid=13439] ppid=13437 vsize=11586392 CPUtime=0.53 cores=0,2,4,6
/proc/13439/stat : 13439 (java) S 13437 13439 13292 0 -1 4202496 5996 0 1 0 52 1 0 0 20 0 18 0 347079648 11864465408 17350 33554432000 1073741824 1073778376 140733562974944 140733562966080 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13439/statm: 2896598 17350 2227 9 0 2887285 0
[pid=13439/tid=13440] ppid=13437 vsize=11586392 CPUtime=0.27 cores=0,2,4,6
/proc/13439/task/13440/stat : 13440 (java) R 13437 13439 13292 0 -1 4202560 2866 0 1 0 26 1 0 0 20 0 18 0 347079648 11864465408 17350 33554432000 1073741824 1073778376 140733562974944 140388356026456 140388363114272 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) 11586392
[startup+0.700181 s]
/proc/loadavg: 1.93 1.99 2.03 2/185 13439
/proc/meminfo: memFree=27944156/32873648 swapFree=6864/6864
[pid=13439] ppid=13437 vsize=11852648 CPUtime=1.43 cores=0,2,4,6
/proc/13439/stat : 13439 (java) S 13437 13439 13292 0 -1 4202496 10100 0 1 0 140 3 0 0 20 0 22 0 347079648 12137111552 46891 33554432000 1073741824 1073778376 140733562974944 140733562966080 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13439/statm: 2963162 46891 2253 9 0 2953849 0
[pid=13439/tid=13440] ppid=13437 vsize=11852648 CPUtime=0.62 cores=0,2,4,6
/proc/13439/task/13440/stat : 13440 (java) S 13437 13439 13292 0 -1 4202560 2931 0 1 0 59 3 0 0 20 0 22 0 347079648 12137111552 46891 33554432000 1073741824 1073778376 140733562974944 140388356043928 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 11852648
[startup+1.50071 s]
/proc/loadavg: 1.93 1.99 2.03 4/216 13476
/proc/meminfo: memFree=27671348/32873648 swapFree=6864/6864
[pid=13439] ppid=13437 vsize=11852648 CPUtime=3.68 cores=0,2,4,6
/proc/13439/stat : 13439 (java) S 13437 13439 13292 0 -1 4202496 11816 0 1 0 361 7 0 0 20 0 22 0 347079648 12137111552 116614 33554432000 1073741824 1073778376 140733562974944 140733562966080 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13439/statm: 2963162 116614 2263 9 0 2953849 0
[pid=13439/tid=13440] ppid=13437 vsize=11852648 CPUtime=0.62 cores=0,2,4,6
/proc/13439/task/13440/stat : 13440 (java) S 13437 13439 13292 0 -1 4202560 2931 0 1 0 59 3 0 0 20 0 22 0 347079648 12137111552 116614 33554432000 1073741824 1073778376 140733562974944 140388356043928 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13445] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13445/stat : 13445 (java) S 13437 13439 13292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347079650 12137111552 116614 33554432000 1073741824 1073778376 140733562974944 140388324452520 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13446] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13446/stat : 13446 (java) S 13437 13439 13292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347079650 12137111552 116614 33554432000 1073741824 1073778376 140733562974944 140388323399976 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13447] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13447/stat : 13447 (java) S 13437 13439 13292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347079650 12137111552 116614 33554432000 1073741824 1073778376 140733562974944 140388322347432 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13439/tid=13448] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13448/stat : 13448 (java) S 13437 13439 13292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347079650 12137111552 116614 33554432000 1073741824 1073778376 140733562974944 140388189833768 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13449] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13449/stat : 13449 (java) S 13437 13439 13292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347079650 12137111552 116614 33554432000 1073741824 1073778376 140733562974944 140388188781224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13450] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13450/stat : 13450 (java) S 13437 13439 13292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347079650 12137111552 116614 33554432000 1073741824 1073778376 140733562974944 140387851168552 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13451] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13451/stat : 13451 (java) S 13437 13439 13292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347079650 12137111552 116614 33554432000 1073741824 1073778376 140733562974944 140387850116008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13439/tid=13452] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13452/stat : 13452 (java) S 13437 13439 13292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 347079650 12137111552 116614 33554432000 1073741824 1073778376 140733562974944 140387849063464 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13453] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13453/stat : 13453 (java) S 13437 13439 13292 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 347079651 12137111552 116614 33554432000 1073741824 1073778376 140733562974944 140387836864616 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13454] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13454/stat : 13454 (java) S 13437 13439 13292 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 347079651 12137111552 116614 33554432000 1073741824 1073778376 140733562974944 140387835810936 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13455] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13455/stat : 13455 (java) S 13437 13439 13292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 347079651 12137111552 116614 33554432000 1073741824 1073778376 140733562974944 140387834758280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13461] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13461/stat : 13461 (java) S 13437 13439 13292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347079653 12137111552 116614 33554432000 1073741824 1073778376 140733562974944 140387833707024 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13462] ppid=13437 vsize=11852648 CPUtime=0.64 cores=0,2,4,6
/proc/13439/task/13462/stat : 13462 (java) S 13437 13439 13292 0 -1 4202560 2859 0 0 0 64 0 0 0 20 0 22 0 347079653 12137111552 116614 33554432000 1073741824 1073778376 140733562974944 140387832654392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13463] ppid=13437 vsize=11852648 CPUtime=0.73 cores=0,2,4,6
/proc/13439/task/13463/stat : 13463 (java) S 13437 13439 13292 0 -1 4202560 4592 0 0 0 73 0 0 0 20 0 22 0 347079653 12137111552 116614 33554432000 1073741824 1073778376 140733562974944 140387831601848 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13464] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13464/stat : 13464 (java) S 13437 13439 13292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347079653 12137111552 116614 33554432000 1073741824 1073778376 140733562974944 140387830549496 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13465] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13465/stat : 13465 (java) S 13437 13439 13292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347079653 12137111552 116614 33554432000 1073741824 1073778376 140733562974944 140387829497160 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13470] ppid=13437 vsize=11852648 CPUtime=0.82 cores=0,2,4,6
/proc/13439/task/13470/stat : 13470 (java) R 13437 13439 13292 0 -1 4202560 26 0 0 0 82 0 0 0 20 0 22 0 347079712 12137111552 116614 33554432000 1073741824 1073778376 140733562974944 140387828383752 140388204374663 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=13439/tid=13471] ppid=13437 vsize=11852648 CPUtime=0.8 cores=0,2,4,6
/proc/13439/task/13471/stat : 13471 (java) R 13437 13439 13292 0 -1 4202560 206 0 0 0 76 4 0 0 20 0 22 0 347079712 12137111552 116614 33554432000 1073741824 1073778376 140733562974944 140387827331624 140388203968767 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13472] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13472/stat : 13472 (java) S 13437 13439 13292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 347079716 12137111552 116614 33554432000 1073741824 1073778376 140733562974944 140387826279464 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13473] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13473/stat : 13473 (java) S 13437 13439 13292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 347079717 12137111552 116614 33554432000 1073741824 1073778376 140733562974944 140387825226920 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.68
Current children cumulated vsize (KiB) 11852648
[startup+3.10072 s]
/proc/loadavg: 1.93 1.99 2.03 3/216 13482
/proc/meminfo: memFree=27046744/32873648 swapFree=6864/6864
[pid=13439] ppid=13437 vsize=11852648 CPUtime=6.93 cores=0,2,4,6
/proc/13439/stat : 13439 (java) S 13437 13439 13292 0 -1 4202496 12267 0 1 0 672 21 0 0 20 0 22 0 347079648 12137111552 344969 33554432000 1073741824 1073778376 140733562974944 140733562966080 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13439/statm: 2963162 344969 2266 9 0 2953849 0
[pid=13439/tid=13440] ppid=13437 vsize=11852648 CPUtime=0.62 cores=0,2,4,6
/proc/13439/task/13440/stat : 13440 (java) S 13437 13439 13292 0 -1 4202560 2931 0 1 0 59 3 0 0 20 0 22 0 347079648 12137111552 344969 33554432000 1073741824 1073778376 140733562974944 140388356043928 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13445] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13445/stat : 13445 (java) S 13437 13439 13292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347079650 12137111552 344969 33554432000 1073741824 1073778376 140733562974944 140388324452520 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13446] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13446/stat : 13446 (java) S 13437 13439 13292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347079650 12137111552 344969 33554432000 1073741824 1073778376 140733562974944 140388323399976 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13447] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13447/stat : 13447 (java) S 13437 13439 13292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347079650 12137111552 344969 33554432000 1073741824 1073778376 140733562974944 140388322347432 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13439/tid=13448] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13448/stat : 13448 (java) S 13437 13439 13292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347079650 12137111552 344969 33554432000 1073741824 1073778376 140733562974944 140388189833768 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13449] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13449/stat : 13449 (java) S 13437 13439 13292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347079650 12137111552 344969 33554432000 1073741824 1073778376 140733562974944 140388188781224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13450] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13450/stat : 13450 (java) S 13437 13439 13292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347079650 12137111552 344969 33554432000 1073741824 1073778376 140733562974944 140387851168552 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13451] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13451/stat : 13451 (java) S 13437 13439 13292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347079650 12137111552 344969 33554432000 1073741824 1073778376 140733562974944 140387850116008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13439/tid=13452] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13452/stat : 13452 (java) S 13437 13439 13292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 347079650 12137111552 344969 33554432000 1073741824 1073778376 140733562974944 140387849063464 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13453] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13453/stat : 13453 (java) S 13437 13439 13292 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 347079651 12137111552 344969 33554432000 1073741824 1073778376 140733562974944 140387836864616 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13454] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13454/stat : 13454 (java) S 13437 13439 13292 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 347079651 12137111552 344969 33554432000 1073741824 1073778376 140733562974944 140387835810936 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13455] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13455/stat : 13455 (java) S 13437 13439 13292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 347079651 12137111552 344969 33554432000 1073741824 1073778376 140733562974944 140387834758280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13461] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13461/stat : 13461 (java) S 13437 13439 13292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347079653 12137111552 344969 33554432000 1073741824 1073778376 140733562974944 140387833707024 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13462] ppid=13437 vsize=11852648 CPUtime=0.65 cores=0,2,4,6
/proc/13439/task/13462/stat : 13462 (java) S 13437 13439 13292 0 -1 4202560 2859 0 0 0 65 0 0 0 20 0 22 0 347079653 12137111552 344969 33554432000 1073741824 1073778376 140733562974944 140387832654392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13463] ppid=13437 vsize=11852648 CPUtime=0.78 cores=0,2,4,6
/proc/13439/task/13463/stat : 13463 (java) S 13437 13439 13292 0 -1 4202560 4595 0 0 0 78 0 0 0 20 0 22 0 347079653 12137111552 344969 33554432000 1073741824 1073778376 140733562974944 140387831601848 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13464] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13464/stat : 13464 (java) S 13437 13439 13292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347079653 12137111552 344969 33554432000 1073741824 1073778376 140733562974944 140387830549496 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13465] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13465/stat : 13465 (java) S 13437 13439 13292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347079653 12137111552 344969 33554432000 1073741824 1073778376 140733562974944 140387829497160 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13470] ppid=13437 vsize=11852648 CPUtime=2.41 cores=0,2,4,6
/proc/13439/task/13470/stat : 13470 (java) R 13437 13439 13292 0 -1 4202560 28 0 0 0 241 0 0 0 20 0 22 0 347079712 12137111552 344969 33554432000 1073741824 1073778376 140733562974944 140387828382232 140388204195556 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13471] ppid=13437 vsize=11852648 CPUtime=2.4 cores=0,2,4,6
/proc/13439/task/13471/stat : 13471 (java) R 13437 13439 13292 0 -1 4202560 652 0 0 0 222 18 0 0 20 0 22 0 347079712 12137111552 344969 33554432000 1073741824 1073778376 140733562974944 140387827329224 140388204169252 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13472] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13472/stat : 13472 (java) S 13437 13439 13292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 347079716 12137111552 344969 33554432000 1073741824 1073778376 140733562974944 140387826279464 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13473] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13473/stat : 13473 (java) S 13437 13439 13292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 347079717 12137111552 344969 33554432000 1073741824 1073778376 140733562974944 140387825226920 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.93
Current children cumulated vsize (KiB) 11852648
[startup+6.30071 s]
/proc/loadavg: 2.10 2.03 2.04 4/215 13541
/proc/meminfo: memFree=26071768/32873648 swapFree=6864/6864
[pid=13439] ppid=13437 vsize=11852648 CPUtime=13.57 cores=0,2,4,6
/proc/13439/stat : 13439 (java) S 13437 13439 13292 0 -1 4202496 13853 0 1 0 1327 30 0 0 20 0 22 0 347079648 12137111552 422847 33554432000 1073741824 1073778376 140733562974944 140733562966080 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13439/statm: 2963162 422847 2291 9 0 2953849 0
[pid=13439/tid=13440] ppid=13437 vsize=11852648 CPUtime=0.62 cores=0,2,4,6
/proc/13439/task/13440/stat : 13440 (java) S 13437 13439 13292 0 -1 4202560 2931 0 1 0 59 3 0 0 20 0 22 0 347079648 12137111552 422847 33554432000 1073741824 1073778376 140733562974944 140388356043928 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13445] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13445/stat : 13445 (java) S 13437 13439 13292 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 347079650 12137111552 422847 33554432000 1073741824 1073778376 140733562974944 140388324452520 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13446] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13446/stat : 13446 (java) S 13437 13439 13292 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 347079650 12137111552 422847 33554432000 1073741824 1073778376 140733562974944 140388323399976 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13447] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13447/stat : 13447 (java) S 13437 13439 13292 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 347079650 12137111552 422847 33554432000 1073741824 1073778376 140733562974944 140388322347432 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13439/tid=13448] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13448/stat : 13448 (java) S 13437 13439 13292 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 347079650 12137111552 422847 33554432000 1073741824 1073778376 140733562974944 140388189833768 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13439/tid=13449] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13449/stat : 13449 (java) S 13437 13439 13292 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 347079650 12137111552 422847 33554432000 1073741824 1073778376 140733562974944 140388188781224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13450] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13450/stat : 13450 (java) S 13437 13439 13292 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 347079650 12137111552 422847 33554432000 1073741824 1073778376 140733562974944 140387851168552 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13451] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13451/stat : 13451 (java) S 13437 13439 13292 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 347079650 12137111552 422847 33554432000 1073741824 1073778376 140733562974944 140387850116008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13439/tid=13452] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13452/stat : 13452 (java) S 13437 13439 13292 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 347079650 12137111552 422847 33554432000 1073741824 1073778376 140733562974944 140387849063464 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
################
# More data... #
################
[pid=13439/tid=13471] ppid=13437 vsize=11852648 CPUtime=807.6 cores=0,2,4,6
/proc/13439/task/13471/stat : 13471 (java) R 13437 13439 13292 0 -1 4202560 1615 0 0 0 80697 63 0 0 20 0 22 0 347079712 12137111552 934101 33554432000 1073741824 1073778376 140733562974944 140387827329440 140388204301344 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13472] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13472/stat : 13472 (java) S 13437 13439 13292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 347079716 12137111552 934101 33554432000 1073741824 1073778376 140733562974944 140387826279464 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13473] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13473/stat : 13473 (java) S 13437 13439 13292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 347079717 12137111552 934101 33554432000 1073741824 1073778376 140733562974944 140387825226920 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1637.22
Current children cumulated vsize (KiB) 11852648
[startup+882.301 s]
/proc/loadavg: 3.99 3.90 3.21 5/219 13566
/proc/meminfo: memFree=20343936/32873648 swapFree=6864/6864
[pid=13439] ppid=13437 vsize=11852648 CPUtime=1756 cores=0,2,4,6
/proc/13439/stat : 13439 (java) S 13437 13439 13292 0 -1 4202496 22602 0 1 0 175493 107 0 0 20 0 22 0 347079648 12137111552 934193 33554432000 1073741824 1073778376 140733562974944 140733562966080 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13439/statm: 2963162 934193 2292 9 0 2953849 0
[pid=13439/tid=13440] ppid=13437 vsize=11852648 CPUtime=0.66 cores=0,2,4,6
/proc/13439/task/13440/stat : 13440 (java) S 13437 13439 13292 0 -1 4202560 2952 0 1 0 62 4 0 0 20 0 22 0 347079648 12137111552 934193 33554432000 1073741824 1073778376 140733562974944 140388356043928 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13445] ppid=13437 vsize=11852648 CPUtime=0.88 cores=0,2,4,6
/proc/13439/task/13445/stat : 13445 (java) S 13437 13439 13292 0 -1 4202560 151 0 0 0 85 3 0 0 20 0 22 0 347079650 12137111552 934193 33554432000 1073741824 1073778376 140733562974944 140388324452520 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13446] ppid=13437 vsize=11852648 CPUtime=0.96 cores=0,2,4,6
/proc/13439/task/13446/stat : 13446 (java) S 13437 13439 13292 0 -1 4202560 171 0 0 0 92 4 0 0 20 0 22 0 347079650 12137111552 934193 33554432000 1073741824 1073778376 140733562974944 140388323399976 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13447] ppid=13437 vsize=11852648 CPUtime=0.82 cores=0,2,4,6
/proc/13439/task/13447/stat : 13447 (java) S 13437 13439 13292 0 -1 4202560 139 0 0 0 79 3 0 0 20 0 22 0 347079650 12137111552 934193 33554432000 1073741824 1073778376 140733562974944 140388322347432 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13448] ppid=13437 vsize=11852648 CPUtime=0.95 cores=0,2,4,6
/proc/13439/task/13448/stat : 13448 (java) S 13437 13439 13292 0 -1 4202560 153 0 0 0 91 4 0 0 20 0 22 0 347079650 12137111552 934193 33554432000 1073741824 1073778376 140733562974944 140388189833768 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13449] ppid=13437 vsize=11852648 CPUtime=0.96 cores=0,2,4,6
/proc/13439/task/13449/stat : 13449 (java) S 13437 13439 13292 0 -1 4202560 175 0 0 0 92 4 0 0 20 0 22 0 347079650 12137111552 934193 33554432000 1073741824 1073778376 140733562974944 140388188781224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13450] ppid=13437 vsize=11852648 CPUtime=1.01 cores=0,2,4,6
/proc/13439/task/13450/stat : 13450 (java) S 13437 13439 13292 0 -1 4202560 200 0 0 0 97 4 0 0 20 0 22 0 347079650 12137111552 934193 33554432000 1073741824 1073778376 140733562974944 140387851168552 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13451] ppid=13437 vsize=11852648 CPUtime=0.9 cores=0,2,4,6
/proc/13439/task/13451/stat : 13451 (java) S 13437 13439 13292 0 -1 4202560 152 0 0 0 87 3 0 0 20 0 22 0 347079650 12137111552 934193 33554432000 1073741824 1073778376 140733562974944 140387850116008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13452] ppid=13437 vsize=11852648 CPUtime=1.03 cores=0,2,4,6
/proc/13439/task/13452/stat : 13452 (java) S 13437 13439 13292 0 -1 4202560 163 0 0 0 100 3 0 0 20 0 22 0 347079650 12137111552 934193 33554432000 1073741824 1073778376 140733562974944 140387849063464 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13439/tid=13453] ppid=13437 vsize=11852648 CPUtime=13.49 cores=0,2,4,6
/proc/13439/task/13453/stat : 13453 (java) S 13437 13439 13292 0 -1 4202560 183 0 0 0 1343 6 0 0 20 0 22 0 347079651 12137111552 934193 33554432000 1073741824 1073778376 140733562974944 140387836864616 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13454] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13454/stat : 13454 (java) S 13437 13439 13292 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 347079651 12137111552 934193 33554432000 1073741824 1073778376 140733562974944 140387835810936 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13455] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13455/stat : 13455 (java) S 13437 13439 13292 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 347079651 12137111552 934193 33554432000 1073741824 1073778376 140733562974944 140387834758280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13461] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13461/stat : 13461 (java) S 13437 13439 13292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347079653 12137111552 934193 33554432000 1073741824 1073778376 140733562974944 140387833707024 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13462] ppid=13437 vsize=11852648 CPUtime=1.35 cores=0,2,4,6
/proc/13439/task/13462/stat : 13462 (java) S 13437 13439 13292 0 -1 4202560 8870 0 0 0 133 2 0 0 20 0 22 0 347079653 12137111552 934193 33554432000 1073741824 1073778376 140733562974944 140387832654392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13463] ppid=13437 vsize=11852648 CPUtime=1.06 cores=0,2,4,6
/proc/13439/task/13463/stat : 13463 (java) S 13437 13439 13292 0 -1 4202560 6346 0 0 0 106 0 0 0 20 0 22 0 347079653 12137111552 934193 33554432000 1073741824 1073778376 140733562974944 140387831601848 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13464] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13464/stat : 13464 (java) S 13437 13439 13292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347079653 12137111552 934193 33554432000 1073741824 1073778376 140733562974944 140387830549496 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13465] ppid=13437 vsize=11852648 CPUtime=0.29 cores=0,2,4,6
/proc/13439/task/13465/stat : 13465 (java) S 13437 13439 13292 0 -1 4202560 49 0 0 0 14 15 0 0 20 0 22 0 347079653 12137111552 934193 33554432000 1073741824 1073778376 140733562974944 140387829497160 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13470] ppid=13437 vsize=11852648 CPUtime=865.9 cores=0,2,4,6
/proc/13439/task/13470/stat : 13470 (java) R 13437 13439 13292 0 -1 4202560 95 0 0 0 86574 16 0 0 20 0 22 0 347079712 12137111552 934193 33554432000 1073741824 1073778376 140733562974944 140387828383824 140388204195495 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13471] ppid=13437 vsize=11852648 CPUtime=865.94 cores=0,2,4,6
/proc/13439/task/13471/stat : 13471 (java) R 13437 13439 13292 0 -1 4202560 1615 0 0 0 86530 64 0 0 20 0 22 0 347079712 12137111552 934193 33554432000 1073741824 1073778376 140733562974944 140387827329280 140388204400509 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13472] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13472/stat : 13472 (java) S 13437 13439 13292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 347079716 12137111552 934193 33554432000 1073741824 1073778376 140733562974944 140387826279464 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13473] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13473/stat : 13473 (java) S 13437 13439 13292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 347079717 12137111552 934193 33554432000 1073741824 1073778376 140733562974944 140387825226920 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1756
Current children cumulated vsize (KiB) 11852648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+904.501 s]
/proc/loadavg: 3.99 3.91 3.23 5/219 13566
/proc/meminfo: memFree=20343692/32873648 swapFree=6864/6864
[pid=13439] ppid=13437 vsize=11852648 CPUtime=1800.19 cores=0,2,4,6
/proc/13439/stat : 13439 (java) S 13437 13439 13292 0 -1 4202496 22637 0 1 0 179911 108 0 0 20 0 22 0 347079648 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140733562966080 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13439/statm: 2963162 934222 2292 9 0 2953849 0
[pid=13439/tid=13440] ppid=13437 vsize=11852648 CPUtime=0.66 cores=0,2,4,6
/proc/13439/task/13440/stat : 13440 (java) S 13437 13439 13292 0 -1 4202560 2953 0 1 0 62 4 0 0 20 0 22 0 347079648 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140388356043928 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13445] ppid=13437 vsize=11852648 CPUtime=0.92 cores=0,2,4,6
/proc/13439/task/13445/stat : 13445 (java) S 13437 13439 13292 0 -1 4202560 172 0 0 0 89 3 0 0 20 0 22 0 347079650 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140388324452520 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13446] ppid=13437 vsize=11852648 CPUtime=0.97 cores=0,2,4,6
/proc/13439/task/13446/stat : 13446 (java) S 13437 13439 13292 0 -1 4202560 171 0 0 0 93 4 0 0 20 0 22 0 347079650 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140388323399976 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13447] ppid=13437 vsize=11852648 CPUtime=0.84 cores=0,2,4,6
/proc/13439/task/13447/stat : 13447 (java) S 13437 13439 13292 0 -1 4202560 143 0 0 0 81 3 0 0 20 0 22 0 347079650 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140388322347432 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13448] ppid=13437 vsize=11852648 CPUtime=0.98 cores=0,2,4,6
/proc/13439/task/13448/stat : 13448 (java) S 13437 13439 13292 0 -1 4202560 157 0 0 0 94 4 0 0 20 0 22 0 347079650 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140388189833768 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13449] ppid=13437 vsize=11852648 CPUtime=0.98 cores=0,2,4,6
/proc/13439/task/13449/stat : 13449 (java) S 13437 13439 13292 0 -1 4202560 175 0 0 0 94 4 0 0 20 0 22 0 347079650 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140388188781224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13450] ppid=13437 vsize=11852648 CPUtime=1.05 cores=0,2,4,6
/proc/13439/task/13450/stat : 13450 (java) S 13437 13439 13292 0 -1 4202560 200 0 0 0 101 4 0 0 20 0 22 0 347079650 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140387851168552 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13451] ppid=13437 vsize=11852648 CPUtime=0.93 cores=0,2,4,6
/proc/13439/task/13451/stat : 13451 (java) S 13437 13439 13292 0 -1 4202560 152 0 0 0 90 3 0 0 20 0 22 0 347079650 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140387850116008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13452] ppid=13437 vsize=11852648 CPUtime=1.09 cores=0,2,4,6
/proc/13439/task/13452/stat : 13452 (java) S 13437 13439 13292 0 -1 4202560 163 0 0 0 106 3 0 0 20 0 22 0 347079650 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140387849063464 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13439/tid=13453] ppid=13437 vsize=11852648 CPUtime=13.82 cores=0,2,4,6
/proc/13439/task/13453/stat : 13453 (java) S 13437 13439 13292 0 -1 4202560 185 0 0 0 1376 6 0 0 20 0 22 0 347079651 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140387836864616 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13454] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13454/stat : 13454 (java) S 13437 13439 13292 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 347079651 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140387835810936 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13455] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13455/stat : 13455 (java) S 13437 13439 13292 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 347079651 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140387834758280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13461] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13461/stat : 13461 (java) S 13437 13439 13292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347079653 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140387833707024 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13462] ppid=13437 vsize=11852648 CPUtime=1.35 cores=0,2,4,6
/proc/13439/task/13462/stat : 13462 (java) S 13437 13439 13292 0 -1 4202560 8870 0 0 0 133 2 0 0 20 0 22 0 347079653 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140387832654392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13463] ppid=13437 vsize=11852648 CPUtime=1.06 cores=0,2,4,6
/proc/13439/task/13463/stat : 13463 (java) S 13437 13439 13292 0 -1 4202560 6346 0 0 0 106 0 0 0 20 0 22 0 347079653 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140387831601848 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13464] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13464/stat : 13464 (java) S 13437 13439 13292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347079653 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140387830549496 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13465] ppid=13437 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/13439/task/13465/stat : 13465 (java) S 13437 13439 13292 0 -1 4202560 51 0 0 0 14 16 0 0 20 0 22 0 347079653 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140387829497160 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13470] ppid=13437 vsize=11852648 CPUtime=887.71 cores=0,2,4,6
/proc/13439/task/13470/stat : 13470 (java) R 13437 13439 13292 0 -1 4202560 95 0 0 0 88755 16 0 0 20 0 22 0 347079712 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140387828383824 140388204266665 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13471] ppid=13437 vsize=11852648 CPUtime=887.76 cores=0,2,4,6
/proc/13439/task/13471/stat : 13471 (java) R 13437 13439 13292 0 -1 4202560 1616 0 0 0 88712 64 0 0 20 0 22 0 347079712 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140387827329504 140388204400482 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13472] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13472/stat : 13472 (java) S 13437 13439 13292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 347079716 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140387826279464 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13473] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13473/stat : 13473 (java) S 13437 13439 13292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 347079717 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140387825226920 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 11852648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+904.501 s]
/proc/loadavg: 3.99 3.91 3.23 5/219 13566
/proc/meminfo: memFree=20343692/32873648 swapFree=6864/6864
[pid=13439] ppid=13437 vsize=11852648 CPUtime=1800.19 cores=0,2,4,6
/proc/13439/stat : 13439 (java) S 13437 13439 13292 0 -1 4202496 22637 0 1 0 179911 108 0 0 20 0 22 0 347079648 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140733562966080 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13439/statm: 2963162 934222 2292 9 0 2953849 0
[pid=13439/tid=13440] ppid=13437 vsize=11852648 CPUtime=0.66 cores=0,2,4,6
/proc/13439/task/13440/stat : 13440 (java) S 13437 13439 13292 0 -1 4202560 2953 0 1 0 62 4 0 0 20 0 22 0 347079648 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140388356043928 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13445] ppid=13437 vsize=11852648 CPUtime=0.92 cores=0,2,4,6
/proc/13439/task/13445/stat : 13445 (java) S 13437 13439 13292 0 -1 4202560 172 0 0 0 89 3 0 0 20 0 22 0 347079650 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140388324452520 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13446] ppid=13437 vsize=11852648 CPUtime=0.97 cores=0,2,4,6
/proc/13439/task/13446/stat : 13446 (java) S 13437 13439 13292 0 -1 4202560 171 0 0 0 93 4 0 0 20 0 22 0 347079650 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140388323399976 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13447] ppid=13437 vsize=11852648 CPUtime=0.84 cores=0,2,4,6
/proc/13439/task/13447/stat : 13447 (java) S 13437 13439 13292 0 -1 4202560 143 0 0 0 81 3 0 0 20 0 22 0 347079650 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140388322347432 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13448] ppid=13437 vsize=11852648 CPUtime=0.98 cores=0,2,4,6
/proc/13439/task/13448/stat : 13448 (java) S 13437 13439 13292 0 -1 4202560 157 0 0 0 94 4 0 0 20 0 22 0 347079650 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140388189833768 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13449] ppid=13437 vsize=11852648 CPUtime=0.98 cores=0,2,4,6
/proc/13439/task/13449/stat : 13449 (java) S 13437 13439 13292 0 -1 4202560 175 0 0 0 94 4 0 0 20 0 22 0 347079650 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140388188781224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13450] ppid=13437 vsize=11852648 CPUtime=1.05 cores=0,2,4,6
/proc/13439/task/13450/stat : 13450 (java) S 13437 13439 13292 0 -1 4202560 200 0 0 0 101 4 0 0 20 0 22 0 347079650 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140387851168552 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13451] ppid=13437 vsize=11852648 CPUtime=0.93 cores=0,2,4,6
/proc/13439/task/13451/stat : 13451 (java) S 13437 13439 13292 0 -1 4202560 152 0 0 0 90 3 0 0 20 0 22 0 347079650 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140387850116008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13452] ppid=13437 vsize=11852648 CPUtime=1.09 cores=0,2,4,6
/proc/13439/task/13452/stat : 13452 (java) S 13437 13439 13292 0 -1 4202560 163 0 0 0 106 3 0 0 20 0 22 0 347079650 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140387849063464 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13439/tid=13453] ppid=13437 vsize=11852648 CPUtime=13.82 cores=0,2,4,6
/proc/13439/task/13453/stat : 13453 (java) S 13437 13439 13292 0 -1 4202560 185 0 0 0 1376 6 0 0 20 0 22 0 347079651 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140387836864616 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13454] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13454/stat : 13454 (java) S 13437 13439 13292 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 347079651 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140387835810936 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13455] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13455/stat : 13455 (java) S 13437 13439 13292 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 347079651 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140387834758280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13461] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13461/stat : 13461 (java) S 13437 13439 13292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347079653 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140387833707024 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13462] ppid=13437 vsize=11852648 CPUtime=1.35 cores=0,2,4,6
/proc/13439/task/13462/stat : 13462 (java) S 13437 13439 13292 0 -1 4202560 8870 0 0 0 133 2 0 0 20 0 22 0 347079653 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140387832654392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13463] ppid=13437 vsize=11852648 CPUtime=1.06 cores=0,2,4,6
/proc/13439/task/13463/stat : 13463 (java) S 13437 13439 13292 0 -1 4202560 6346 0 0 0 106 0 0 0 20 0 22 0 347079653 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140387831601848 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13464] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13464/stat : 13464 (java) S 13437 13439 13292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347079653 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140387830549496 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13465] ppid=13437 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/13439/task/13465/stat : 13465 (java) S 13437 13439 13292 0 -1 4202560 51 0 0 0 14 16 0 0 20 0 22 0 347079653 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140387829497160 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13470] ppid=13437 vsize=11852648 CPUtime=887.71 cores=0,2,4,6
/proc/13439/task/13470/stat : 13470 (java) R 13437 13439 13292 0 -1 4202560 95 0 0 0 88755 16 0 0 20 0 22 0 347079712 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140387828383824 140388204266665 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13471] ppid=13437 vsize=11852648 CPUtime=887.76 cores=0,2,4,6
/proc/13439/task/13471/stat : 13471 (java) R 13437 13439 13292 0 -1 4202560 1616 0 0 0 88712 64 0 0 20 0 22 0 347079712 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140387827329504 140388204400482 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13472] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13472/stat : 13472 (java) S 13437 13439 13292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 347079716 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140387826279464 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13473] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13473/stat : 13473 (java) S 13437 13439 13292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 347079717 12137111552 934222 33554432000 1073741824 1073778376 140733562974944 140387825226920 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 11852648
Child status: 143
Real time (s): 904.559
CPU time (s): 1800.8
CPU user time (s): 1799.28
CPU system time (s): 1.52277
CPU usage (%): 199.081
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.28
system time used= 1.52277
maximum resident set size= 3739060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22668
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23812
involuntary context switches= 26597
runsolver used 4.87326 second user time and 6.43202 second system time
The end