runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3456643-1307660487/watcher-3456643-1307660487 -o /tmp/evaluation-result-3456643-1307660487/solver-3456643-1307660487 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456643-1307660487.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.01 1.90 2/175 31124
/proc/meminfo: memFree=32227844/32950928 swapFree=67051812/67111528
[pid=31124] ppid=31122 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/31124/stat : 31124 (java) R 31122 31124 28735 0 -1 4202496 954 0 0 0 0 0 0 0 25 0 1 0 956279396 23580672 698 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260900431336 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31124/statm: 5757 699 516 9 0 124 0
[startup+0.015637 s]
/proc/loadavg: 2.00 2.01 1.90 2/175 31124
/proc/meminfo: memFree=32227844/32950928 swapFree=67051812/67111528
[pid=31124] ppid=31122 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/31124/stat : 31124 (java) S 31122 31124 28735 0 -1 4202496 4456 0 1 0 0 0 0 0 25 0 2 0 956279396 10694979584 4158 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917196773 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/31124/statm: 2611079 4174 917 9 0 2602235 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10444316
[startup+0.100624 s]
/proc/loadavg: 2.00 2.01 1.90 2/175 31124
/proc/meminfo: memFree=32227844/32950928 swapFree=67051812/67111528
[pid=31124] ppid=31122 vsize=10539848 CPUtime=0.1 cores=1,3,5,7
/proc/31124/stat : 31124 (java) S 31122 31124 28735 0 -1 4202496 13049 0 1 0 8 2 0 0 25 0 18 0 956279396 10792804352 12717 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31124/statm: 2634962 12717 2092 9 0 2625696 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539848
[startup+0.300587 s]
/proc/loadavg: 2.00 2.01 1.90 2/175 31124
/proc/meminfo: memFree=32227844/32950928 swapFree=67051812/67111528
[pid=31124] ppid=31122 vsize=10541520 CPUtime=0.53 cores=1,3,5,7
/proc/31124/stat : 31124 (java) S 31122 31124 28735 0 -1 4202496 17450 0 1 0 50 3 0 0 25 0 18 0 956279396 10794516480 16336 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31124/statm: 2635380 16338 2203 9 0 2626114 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10541520
[startup+0.700519 s]
/proc/loadavg: 2.00 2.01 1.90 2/175 31124
/proc/meminfo: memFree=32227844/32950928 swapFree=67051812/67111528
[pid=31124] ppid=31122 vsize=10542408 CPUtime=1.23 cores=1,3,5,7
/proc/31124/stat : 31124 (java) S 31122 31124 28735 0 -1 4202496 42285 0 1 0 117 6 0 0 25 0 19 0 956279396 10795425792 40249 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31124/statm: 2635602 40255 2228 9 0 2626336 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 10542408
[startup+1.50137 s]
/proc/loadavg: 2.00 2.01 1.90 2/194 31143
/proc/meminfo: memFree=31907920/32950928 swapFree=67051812/67111528
[pid=31124] ppid=31122 vsize=10542408 CPUtime=2.04 cores=1,3,5,7
/proc/31124/stat : 31124 (java) S 31122 31124 28735 0 -1 4202496 151483 0 1 0 184 20 0 0 25 0 19 0 956279396 10795425792 149447 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31124/statm: 2635602 149453 2230 9 0 2626336 0
[pid=31124/tid=31126] ppid=31122 vsize=10542408 CPUtime=1.48 cores=1,3,5,7
/proc/31124/task/31126/stat : 31126 (java) R 31122 31124 28735 0 -1 4202560 146422 0 1 0 130 18 0 0 25 0 19 0 956279396 10795425792 149453 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 46912505590634 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31124/tid=31127] ppid=31122 vsize=10542408 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31127/stat : 31127 (java) S 31122 31124 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956279398 10795425792 149454 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 1 0 0 0
[pid=31124/tid=31128] ppid=31122 vsize=10542408 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31128/stat : 31128 (java) S 31122 31124 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956279398 10795425792 149460 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 1 0 0 0
[pid=31124/tid=31129] ppid=31122 vsize=10542408 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31129/stat : 31129 (java) S 31122 31124 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956279398 10795425792 149464 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 1 0 0 0
[pid=31124/tid=31130] ppid=31122 vsize=10542408 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31130/stat : 31130 (java) S 31122 31124 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956279398 10795425792 149464 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 1 0 0 0
[pid=31124/tid=31131] ppid=31122 vsize=10542408 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31131/stat : 31131 (java) S 31122 31124 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956279398 10795425792 149464 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 1 0 0 0
[pid=31124/tid=31132] ppid=31122 vsize=10542408 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31132/stat : 31132 (java) S 31122 31124 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956279398 10795425792 149470 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 1 0 0 0
[pid=31124/tid=31133] ppid=31122 vsize=10542408 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31133/stat : 31133 (java) S 31122 31124 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956279398 10795425792 149475 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 1 0 0 0
[pid=31124/tid=31134] ppid=31122 vsize=10542408 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31134/stat : 31134 (java) S 31122 31124 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956279398 10795425792 149475 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 1 0 0 0
[pid=31124/tid=31135] ppid=31122 vsize=10542408 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31135/stat : 31135 (java) S 31122 31124 28735 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 956279399 10795425792 149475 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210624 0 0 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
[pid=31124/tid=31136] ppid=31122 vsize=10542408 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31136/stat : 31136 (java) S 31122 31124 28735 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 956279399 10795425792 149481 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
[pid=31124/tid=31137] ppid=31122 vsize=10542408 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31137/stat : 31137 (java) S 31122 31124 28735 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956279399 10795425792 149486 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
[pid=31124/tid=31138] ppid=31122 vsize=10542408 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31138/stat : 31138 (java) S 31122 31124 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956279402 10795425792 149486 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917217713 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
[pid=31124/tid=31139] ppid=31122 vsize=10542408 CPUtime=0.27 cores=1,3,5,7
/proc/31124/task/31139/stat : 31139 (java) S 31122 31124 28735 0 -1 4202560 2419 0 0 0 27 0 0 0 25 0 19 0 956279402 10795425792 149486 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
[pid=31124/tid=31140] ppid=31122 vsize=10542408 CPUtime=0.26 cores=1,3,5,7
/proc/31124/task/31140/stat : 31140 (java) S 31122 31124 28735 0 -1 4202560 1490 0 0 0 26 0 0 0 22 0 19 0 956279402 10795425792 149491 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 5 0 0 0
[pid=31124/tid=31141] ppid=31122 vsize=10542408 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31141/stat : 31141 (java) S 31122 31124 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956279402 10795425792 149497 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 1 0 0 0
[pid=31124/tid=31142] ppid=31122 vsize=10542408 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31142/stat : 31142 (java) S 31122 31124 28735 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 956279402 10795425792 149497 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210624 0 4 0 16800975 18446604471108812928 0 0 -1 5 0 0 0
[pid=31124/tid=31143] ppid=31122 vsize=10542408 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31143/stat : 31143 (java) S 31122 31124 28735 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956279433 10795425792 149497 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210624 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 10542408
[startup+3.10108 s]
/proc/loadavg: 1.92 1.99 1.89 4/213 31198
/proc/meminfo: memFree=31269164/32950928 swapFree=67051812/67111528
[pid=31124] ppid=31122 vsize=10542288 CPUtime=3.68 cores=1,3,5,7
/proc/31124/stat : 31124 (java) S 31122 31124 28735 0 -1 4202496 368736 0 1 0 323 45 0 0 25 0 19 0 956279396 10795302912 366377 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31124/statm: 2635572 366385 2230 9 0 2626306 0
[pid=31124/tid=31126] ppid=31122 vsize=10542288 CPUtime=3.08 cores=1,3,5,7
/proc/31124/task/31126/stat : 31126 (java) R 31122 31124 28735 0 -1 4202560 363347 0 1 0 265 43 0 0 25 0 19 0 956279396 10795302912 366385 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 46912505709953 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31124/tid=31127] ppid=31122 vsize=10542288 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31127/stat : 31127 (java) S 31122 31124 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956279398 10795302912 366385 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 1 0 0 0
[pid=31124/tid=31128] ppid=31122 vsize=10542288 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31128/stat : 31128 (java) S 31122 31124 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956279398 10795302912 366385 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 1 0 0 0
[pid=31124/tid=31129] ppid=31122 vsize=10542288 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31129/stat : 31129 (java) S 31122 31124 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956279398 10795302912 366386 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 1 0 0 0
[pid=31124/tid=31130] ppid=31122 vsize=10542288 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31130/stat : 31130 (java) S 31122 31124 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956279398 10795302912 366391 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 1 0 0 0
[pid=31124/tid=31131] ppid=31122 vsize=10542288 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31131/stat : 31131 (java) S 31122 31124 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956279398 10795302912 366397 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 1 0 0 0
[pid=31124/tid=31132] ppid=31122 vsize=10542288 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31132/stat : 31132 (java) S 31122 31124 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956279398 10795302912 366403 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 1 0 0 0
[pid=31124/tid=31133] ppid=31122 vsize=10542288 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31133/stat : 31133 (java) S 31122 31124 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956279398 10795302912 366409 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 1 0 0 0
[pid=31124/tid=31134] ppid=31122 vsize=10542288 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31134/stat : 31134 (java) S 31122 31124 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956279398 10795302912 366415 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 1 0 0 0
[pid=31124/tid=31135] ppid=31122 vsize=10542288 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31135/stat : 31135 (java) S 31122 31124 28735 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 956279399 10795302912 366421 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210624 0 0 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
[pid=31124/tid=31136] ppid=31122 vsize=10542288 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31136/stat : 31136 (java) S 31122 31124 28735 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 956279399 10795302912 366426 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
[pid=31124/tid=31137] ppid=31122 vsize=10542288 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31137/stat : 31137 (java) S 31122 31124 28735 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956279399 10795302912 366426 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
[pid=31124/tid=31138] ppid=31122 vsize=10542288 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31138/stat : 31138 (java) S 31122 31124 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956279402 10795302912 366426 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917217713 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
[pid=31124/tid=31139] ppid=31122 vsize=10542288 CPUtime=0.27 cores=1,3,5,7
/proc/31124/task/31139/stat : 31139 (java) S 31122 31124 28735 0 -1 4202560 2419 0 0 0 27 0 0 0 25 0 19 0 956279402 10795302912 366426 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
[pid=31124/tid=31140] ppid=31122 vsize=10542288 CPUtime=0.3 cores=1,3,5,7
/proc/31124/task/31140/stat : 31140 (java) S 31122 31124 28735 0 -1 4202560 1820 0 0 0 30 0 0 0 15 0 19 0 956279402 10795302912 366427 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 5 0 0 0
[pid=31124/tid=31141] ppid=31122 vsize=10542288 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31141/stat : 31141 (java) S 31122 31124 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956279402 10795302912 366433 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 1 0 0 0
[pid=31124/tid=31142] ppid=31122 vsize=10542288 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31142/stat : 31142 (java) S 31122 31124 28735 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 956279402 10795302912 366439 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210624 0 4 0 16800975 18446604471108812928 0 0 -1 5 0 0 0
[pid=31124/tid=31143] ppid=31122 vsize=10542288 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31143/stat : 31143 (java) S 31122 31124 28735 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956279433 10795302912 366445 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210624 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.68
Current children cumulated vsize (KiB) 10542288
[startup+6.30149 s]
/proc/loadavg: 1.92 1.99 1.89 3/214 31199
/proc/meminfo: memFree=28786804/32950928 swapFree=67051812/67111528
[pid=31124] ppid=31122 vsize=10542288 CPUtime=6.93 cores=1,3,5,7
/proc/31124/stat : 31124 (java) S 31122 31124 28735 0 -1 4202496 657219 0 1 0 618 75 0 0 25 0 19 0 956279396 10795302912 654681 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31124/statm: 2635572 654681 2244 9 0 2626306 0
[pid=31124/tid=31126] ppid=31122 vsize=10542288 CPUtime=6.27 cores=1,3,5,7
/proc/31124/task/31126/stat : 31126 (java) R 31122 31124 28735 0 -1 4202560 651013 0 1 0 554 73 0 0 25 0 19 0 956279396 10795302912 654681 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 46912505717953 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31124/tid=31127] ppid=31122 vsize=10542288 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31127/stat : 31127 (java) S 31122 31124 28735 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 956279398 10795302912 654681 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 1 0 0 0
[pid=31124/tid=31128] ppid=31122 vsize=10542288 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31128/stat : 31128 (java) S 31122 31124 28735 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 956279398 10795302912 654681 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 1 0 0 0
[pid=31124/tid=31129] ppid=31122 vsize=10542288 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31129/stat : 31129 (java) S 31122 31124 28735 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 956279398 10795302912 654681 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 1 0 0 0
[pid=31124/tid=31130] ppid=31122 vsize=10542288 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31130/stat : 31130 (java) S 31122 31124 28735 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 956279398 10795302912 654681 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 1 0 0 0
[pid=31124/tid=31131] ppid=31122 vsize=10542288 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31131/stat : 31131 (java) S 31122 31124 28735 0 -1 4202560 41 0 0 0 0 0 0 0 18 0 19 0 956279398 10795302912 654681 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
[pid=31124/tid=31132] ppid=31122 vsize=10542288 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31132/stat : 31132 (java) S 31122 31124 28735 0 -1 4202560 106 0 0 0 0 0 0 0 18 0 19 0 956279398 10795302912 654681 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 7 0 0 0
[pid=31124/tid=31133] ppid=31122 vsize=10542288 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31133/stat : 31133 (java) S 31122 31124 28735 0 -1 4202560 264 0 0 0 0 0 0 0 18 0 19 0 956279398 10795302912 654681 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 5 0 0 0
[pid=31124/tid=31134] ppid=31122 vsize=10542288 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31134/stat : 31134 (java) S 31122 31124 28735 0 -1 4202560 386 0 0 0 0 0 0 0 18 0 19 0 956279398 10795302912 654681 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 1 0 0 0
[pid=31124/tid=31135] ppid=31122 vsize=10542288 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31135/stat : 31135 (java) S 31122 31124 28735 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 956279399 10795302912 654681 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210624 0 0 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
[pid=31124/tid=31136] ppid=31122 vsize=10542288 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31136/stat : 31136 (java) S 31122 31124 28735 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956279399 10795302912 654681 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
[pid=31124/tid=31137] ppid=31122 vsize=10542288 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31137/stat : 31137 (java) S 31122 31124 28735 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 956279399 10795302912 654681 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
[pid=31124/tid=31138] ppid=31122 vsize=10542288 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31138/stat : 31138 (java) S 31122 31124 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956279402 10795302912 654681 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917217713 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
[pid=31124/tid=31139] ppid=31122 vsize=10542288 CPUtime=0.29 cores=1,3,5,7
/proc/31124/task/31139/stat : 31139 (java) S 31122 31124 28735 0 -1 4202560 2423 0 0 0 29 0 0 0 17 0 19 0 956279402 10795302912 654681 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
[pid=31124/tid=31140] ppid=31122 vsize=10542288 CPUtime=0.32 cores=1,3,5,7
/proc/31124/task/31140/stat : 31140 (java) S 31122 31124 28735 0 -1 4202560 1822 0 0 0 32 0 0 0 15 0 19 0 956279402 10795302912 654681 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 5 0 0 0
[pid=31124/tid=31141] ppid=31122 vsize=10542288 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31141/stat : 31141 (java) S 31122 31124 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956279402 10795302912 654681 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 1 0 0 0
[pid=31124/tid=31142] ppid=31122 vsize=10542288 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31142/stat : 31142 (java) S 31122 31124 28735 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 956279402 10795302912 654681 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210624 0 4 0 16800975 18446604471108812928 0 0 -1 5 0 0 0
[pid=31124/tid=31143] ppid=31122 vsize=10542288 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31143/stat : 31143 (java) S 31122 31124 28735 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956279433 10795302912 654681 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210624 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.93
Current children cumulated vsize (KiB) 10542288
[startup+12.7013 s]
################
# More data... #
################
/proc/31124/task/31137/stat : 31137 (java) S 31122 31124 28735 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 956279399 10798342144 918121 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
[pid=31124/tid=31138] ppid=31122 vsize=10545256 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31138/stat : 31138 (java) S 31122 31124 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956279402 10798342144 918121 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917217713 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
[pid=31124/tid=31139] ppid=31122 vsize=10545256 CPUtime=0.41 cores=1,3,5,7
/proc/31124/task/31139/stat : 31139 (java) S 31122 31124 28735 0 -1 4202560 2482 0 0 0 41 0 0 0 15 0 19 0 956279402 10798342144 918121 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
[pid=31124/tid=31140] ppid=31122 vsize=10545256 CPUtime=0.63 cores=1,3,5,7
/proc/31124/task/31140/stat : 31140 (java) S 31122 31124 28735 0 -1 4202560 6223 0 0 0 63 0 0 0 15 0 19 0 956279402 10798342144 918121 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 5 0 0 0
[pid=31124/tid=31141] ppid=31122 vsize=10545256 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31141/stat : 31141 (java) S 31122 31124 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956279402 10798342144 918121 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 1 0 0 0
[pid=31124/tid=31142] ppid=31122 vsize=10545256 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31142/stat : 31142 (java) S 31122 31124 28735 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 956279402 10798342144 918121 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210624 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
[pid=31124/tid=31143] ppid=31122 vsize=10545256 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31143/stat : 31143 (java) S 31122 31124 28735 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956279433 10798342144 918121 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210624 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1665.5
Current children cumulated vsize (KiB) 10545256
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/214 31245
/proc/meminfo: memFree=24816220/32950928 swapFree=67051812/67111528
[pid=31124] ppid=31122 vsize=10545256 CPUtime=1725.54 cores=1,3,5,7
/proc/31124/stat : 31124 (java) S 31122 31124 28735 0 -1 4202496 926357 0 1 0 172447 107 0 0 25 0 19 0 956279396 10798342144 918141 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31124/statm: 2636314 918141 2248 9 0 2627048 0
[pid=31124/tid=31126] ppid=31122 vsize=10545256 CPUtime=1721.33 cores=1,3,5,7
/proc/31124/task/31126/stat : 31126 (java) R 31122 31124 28735 0 -1 4202560 859558 0 1 0 172038 95 0 0 25 0 19 0 956279396 10798342144 918141 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 46912505590491 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31124/tid=31127] ppid=31122 vsize=10545256 CPUtime=0.37 cores=1,3,5,7
/proc/31124/task/31127/stat : 31127 (java) S 31122 31124 28735 0 -1 4202560 7466 0 0 0 36 1 0 0 16 0 19 0 956279398 10798342144 918141 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 5 0 0 0
[pid=31124/tid=31128] ppid=31122 vsize=10545256 CPUtime=0.37 cores=1,3,5,7
/proc/31124/task/31128/stat : 31128 (java) S 31122 31124 28735 0 -1 4202560 6653 0 0 0 36 1 0 0 16 0 19 0 956279398 10798342144 918141 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
[pid=31124/tid=31129] ppid=31122 vsize=10545256 CPUtime=0.37 cores=1,3,5,7
/proc/31124/task/31129/stat : 31129 (java) S 31122 31124 28735 0 -1 4202560 6936 0 0 0 37 0 0 0 16 0 19 0 956279398 10798342144 918141 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 7 0 0 0
[pid=31124/tid=31130] ppid=31122 vsize=10545256 CPUtime=0.36 cores=1,3,5,7
/proc/31124/task/31130/stat : 31130 (java) S 31122 31124 28735 0 -1 4202560 6537 0 0 0 36 0 0 0 15 0 19 0 956279398 10798342144 918141 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
[pid=31124/tid=31131] ppid=31122 vsize=10545256 CPUtime=0.35 cores=1,3,5,7
/proc/31124/task/31131/stat : 31131 (java) S 31122 31124 28735 0 -1 4202560 5870 0 0 0 34 1 0 0 16 0 19 0 956279398 10798342144 918141 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 1 0 0 0
[pid=31124/tid=31132] ppid=31122 vsize=10545256 CPUtime=0.41 cores=1,3,5,7
/proc/31124/task/31132/stat : 31132 (java) S 31122 31124 28735 0 -1 4202560 8850 0 0 0 41 0 0 0 15 0 19 0 956279398 10798342144 918141 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 1 0 0 0
[pid=31124/tid=31133] ppid=31122 vsize=10545256 CPUtime=0.4 cores=1,3,5,7
/proc/31124/task/31133/stat : 31133 (java) S 31122 31124 28735 0 -1 4202560 6620 0 0 0 39 1 0 0 15 0 19 0 956279398 10798342144 918141 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 1 0 0 0
[pid=31124/tid=31134] ppid=31122 vsize=10545256 CPUtime=0.42 cores=1,3,5,7
/proc/31124/task/31134/stat : 31134 (java) S 31122 31124 28735 0 -1 4202560 7805 0 0 0 41 1 0 0 15 0 19 0 956279398 10798342144 918141 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 5 0 0 0
[pid=31124/tid=31135] ppid=31122 vsize=10545256 CPUtime=0.01 cores=1,3,5,7
/proc/31124/task/31135/stat : 31135 (java) S 31122 31124 28735 0 -1 4202560 107 0 0 0 1 0 0 0 15 0 19 0 956279399 10798342144 918141 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210624 0 0 0 16800975 18446604471108812928 0 0 -1 7 0 0 0
[pid=31124/tid=31136] ppid=31122 vsize=10545256 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31136/stat : 31136 (java) S 31122 31124 28735 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956279399 10798342144 918141 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
[pid=31124/tid=31137] ppid=31122 vsize=10545256 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31137/stat : 31137 (java) S 31122 31124 28735 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 956279399 10798342144 918141 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
[pid=31124/tid=31138] ppid=31122 vsize=10545256 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31138/stat : 31138 (java) S 31122 31124 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956279402 10798342144 918141 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917217713 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
[pid=31124/tid=31139] ppid=31122 vsize=10545256 CPUtime=0.41 cores=1,3,5,7
/proc/31124/task/31139/stat : 31139 (java) S 31122 31124 28735 0 -1 4202560 2482 0 0 0 41 0 0 0 15 0 19 0 956279402 10798342144 918141 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
[pid=31124/tid=31140] ppid=31122 vsize=10545256 CPUtime=0.63 cores=1,3,5,7
/proc/31124/task/31140/stat : 31140 (java) S 31122 31124 28735 0 -1 4202560 6223 0 0 0 63 0 0 0 15 0 19 0 956279402 10798342144 918141 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 5 0 0 0
[pid=31124/tid=31141] ppid=31122 vsize=10545256 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31141/stat : 31141 (java) S 31122 31124 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956279402 10798342144 918141 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 1 0 0 0
[pid=31124/tid=31142] ppid=31122 vsize=10545256 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31142/stat : 31142 (java) S 31122 31124 28735 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 956279402 10798342144 918141 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210624 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
[pid=31124/tid=31143] ppid=31122 vsize=10545256 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31143/stat : 31143 (java) S 31122 31124 28735 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956279433 10798342144 918141 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210624 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1725.54
Current children cumulated vsize (KiB) 10545256
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/214 31246
/proc/meminfo: memFree=24812116/32950928 swapFree=67051812/67111528
[pid=31124] ppid=31122 vsize=10545256 CPUtime=1785.59 cores=1,3,5,7
/proc/31124/stat : 31124 (java) S 31122 31124 28735 0 -1 4202496 926382 0 1 0 178452 107 0 0 25 0 19 0 956279396 10798342144 918145 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31124/statm: 2636314 918145 2248 9 0 2627048 0
[pid=31124/tid=31126] ppid=31122 vsize=10545256 CPUtime=1781.29 cores=1,3,5,7
/proc/31124/task/31126/stat : 31126 (java) R 31122 31124 28735 0 -1 4202560 859573 0 1 0 178034 95 0 0 25 0 19 0 956279396 10798342144 918145 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 46912505718580 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31124/tid=31127] ppid=31122 vsize=10545256 CPUtime=0.38 cores=1,3,5,7
/proc/31124/task/31127/stat : 31127 (java) S 31122 31124 28735 0 -1 4202560 7467 0 0 0 37 1 0 0 16 0 19 0 956279398 10798342144 918145 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
[pid=31124/tid=31128] ppid=31122 vsize=10545256 CPUtime=0.38 cores=1,3,5,7
/proc/31124/task/31128/stat : 31128 (java) S 31122 31124 28735 0 -1 4202560 6653 0 0 0 37 1 0 0 16 0 19 0 956279398 10798342144 918145 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 7 0 0 0
[pid=31124/tid=31129] ppid=31122 vsize=10545256 CPUtime=0.38 cores=1,3,5,7
/proc/31124/task/31129/stat : 31129 (java) S 31122 31124 28735 0 -1 4202560 6937 0 0 0 38 0 0 0 15 0 19 0 956279398 10798342144 918145 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 7 0 0 0
[pid=31124/tid=31130] ppid=31122 vsize=10545256 CPUtime=0.36 cores=1,3,5,7
/proc/31124/task/31130/stat : 31130 (java) S 31122 31124 28735 0 -1 4202560 6537 0 0 0 36 0 0 0 15 0 19 0 956279398 10798342144 918145 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 5 0 0 0
[pid=31124/tid=31131] ppid=31122 vsize=10545256 CPUtime=0.36 cores=1,3,5,7
/proc/31124/task/31131/stat : 31131 (java) S 31122 31124 28735 0 -1 4202560 5871 0 0 0 35 1 0 0 15 0 19 0 956279398 10798342144 918145 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 1 0 0 0
[pid=31124/tid=31132] ppid=31122 vsize=10545256 CPUtime=0.42 cores=1,3,5,7
/proc/31124/task/31132/stat : 31132 (java) S 31122 31124 28735 0 -1 4202560 8851 0 0 0 42 0 0 0 16 0 19 0 956279398 10798342144 918145 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 1 0 0 0
[pid=31124/tid=31133] ppid=31122 vsize=10545256 CPUtime=0.4 cores=1,3,5,7
/proc/31124/task/31133/stat : 31133 (java) S 31122 31124 28735 0 -1 4202560 6620 0 0 0 39 1 0 0 15 0 19 0 956279398 10798342144 918145 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 1 0 0 0
[pid=31124/tid=31134] ppid=31122 vsize=10545256 CPUtime=0.43 cores=1,3,5,7
/proc/31124/task/31134/stat : 31134 (java) S 31122 31124 28735 0 -1 4202560 7805 0 0 0 42 1 0 0 16 0 19 0 956279398 10798342144 918145 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 5 0 0 0
[pid=31124/tid=31135] ppid=31122 vsize=10545256 CPUtime=0.03 cores=1,3,5,7
/proc/31124/task/31135/stat : 31135 (java) S 31122 31124 28735 0 -1 4202560 111 0 0 0 2 1 0 0 15 0 19 0 956279399 10798342144 918145 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210624 0 0 0 16800975 18446604471108812928 0 0 -1 7 0 0 0
[pid=31124/tid=31136] ppid=31122 vsize=10545256 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31136/stat : 31136 (java) S 31122 31124 28735 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956279399 10798342144 918145 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
[pid=31124/tid=31137] ppid=31122 vsize=10545256 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31137/stat : 31137 (java) S 31122 31124 28735 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 956279399 10798342144 918145 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
[pid=31124/tid=31138] ppid=31122 vsize=10545256 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31138/stat : 31138 (java) S 31122 31124 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956279402 10798342144 918145 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917217713 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
[pid=31124/tid=31139] ppid=31122 vsize=10545256 CPUtime=0.41 cores=1,3,5,7
/proc/31124/task/31139/stat : 31139 (java) S 31122 31124 28735 0 -1 4202560 2482 0 0 0 41 0 0 0 15 0 19 0 956279402 10798342144 918145 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
[pid=31124/tid=31140] ppid=31122 vsize=10545256 CPUtime=0.63 cores=1,3,5,7
/proc/31124/task/31140/stat : 31140 (java) S 31122 31124 28735 0 -1 4202560 6223 0 0 0 63 0 0 0 15 0 19 0 956279402 10798342144 918145 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 5 0 0 0
[pid=31124/tid=31141] ppid=31122 vsize=10545256 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31141/stat : 31141 (java) S 31122 31124 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956279402 10798342144 918145 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 1 0 0 0
[pid=31124/tid=31142] ppid=31122 vsize=10545256 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31142/stat : 31142 (java) S 31122 31124 28735 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 956279402 10798342144 918145 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210624 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
[pid=31124/tid=31143] ppid=31122 vsize=10545256 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31143/stat : 31143 (java) S 31122 31124 28735 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956279433 10798342144 918145 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210624 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1785.59
Current children cumulated vsize (KiB) 10545256
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.93 3/214 31247
/proc/meminfo: memFree=24812204/32950928 swapFree=67051812/67111528
[pid=31124] ppid=31122 vsize=10545256 CPUtime=1800 cores=1,3,5,7
/proc/31124/stat : 31124 (java) S 31122 31124 28735 0 -1 4202496 926390 0 1 0 179893 107 0 0 25 0 19 0 956279396 10798342144 918146 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31124/statm: 2636314 918146 2248 9 0 2627048 0
[pid=31124/tid=31126] ppid=31122 vsize=10545256 CPUtime=1795.69 cores=1,3,5,7
/proc/31124/task/31126/stat : 31126 (java) R 31122 31124 28735 0 -1 4202560 859576 0 1 0 179474 95 0 0 25 0 19 0 956279396 10798342144 918146 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 46912505709812 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31124/tid=31127] ppid=31122 vsize=10545256 CPUtime=0.38 cores=1,3,5,7
/proc/31124/task/31127/stat : 31127 (java) S 31122 31124 28735 0 -1 4202560 7467 0 0 0 37 1 0 0 16 0 19 0 956279398 10798342144 918146 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
[pid=31124/tid=31128] ppid=31122 vsize=10545256 CPUtime=0.39 cores=1,3,5,7
/proc/31124/task/31128/stat : 31128 (java) S 31122 31124 28735 0 -1 4202560 6654 0 0 0 38 1 0 0 15 0 19 0 956279398 10798342144 918146 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 7 0 0 0
[pid=31124/tid=31129] ppid=31122 vsize=10545256 CPUtime=0.38 cores=1,3,5,7
/proc/31124/task/31129/stat : 31129 (java) S 31122 31124 28735 0 -1 4202560 6937 0 0 0 38 0 0 0 15 0 19 0 956279398 10798342144 918146 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 7 0 0 0
[pid=31124/tid=31130] ppid=31122 vsize=10545256 CPUtime=0.36 cores=1,3,5,7
/proc/31124/task/31130/stat : 31130 (java) S 31122 31124 28735 0 -1 4202560 6537 0 0 0 36 0 0 0 16 0 19 0 956279398 10798342144 918146 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 5 0 0 0
[pid=31124/tid=31131] ppid=31122 vsize=10545256 CPUtime=0.36 cores=1,3,5,7
/proc/31124/task/31131/stat : 31131 (java) S 31122 31124 28735 0 -1 4202560 5871 0 0 0 35 1 0 0 15 0 19 0 956279398 10798342144 918146 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 1 0 0 0
[pid=31124/tid=31132] ppid=31122 vsize=10545256 CPUtime=0.42 cores=1,3,5,7
/proc/31124/task/31132/stat : 31132 (java) S 31122 31124 28735 0 -1 4202560 8851 0 0 0 42 0 0 0 15 0 19 0 956279398 10798342144 918146 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 5 0 0 0
[pid=31124/tid=31133] ppid=31122 vsize=10545256 CPUtime=0.41 cores=1,3,5,7
/proc/31124/task/31133/stat : 31133 (java) S 31122 31124 28735 0 -1 4202560 6620 0 0 0 40 1 0 0 15 0 19 0 956279398 10798342144 918146 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 1 0 0 0
[pid=31124/tid=31134] ppid=31122 vsize=10545256 CPUtime=0.43 cores=1,3,5,7
/proc/31124/task/31134/stat : 31134 (java) S 31122 31124 28735 0 -1 4202560 7805 0 0 0 42 1 0 0 16 0 19 0 956279398 10798342144 918146 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 1 0 0 0
[pid=31124/tid=31135] ppid=31122 vsize=10545256 CPUtime=0.03 cores=1,3,5,7
/proc/31124/task/31135/stat : 31135 (java) S 31122 31124 28735 0 -1 4202560 113 0 0 0 2 1 0 0 15 0 19 0 956279399 10798342144 918146 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210624 0 0 0 16800975 18446604471108812928 0 0 -1 7 0 0 0
[pid=31124/tid=31136] ppid=31122 vsize=10545256 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31136/stat : 31136 (java) S 31122 31124 28735 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956279399 10798342144 918146 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
[pid=31124/tid=31137] ppid=31122 vsize=10545256 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31137/stat : 31137 (java) S 31122 31124 28735 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 956279399 10798342144 918146 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
[pid=31124/tid=31138] ppid=31122 vsize=10545256 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31138/stat : 31138 (java) S 31122 31124 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956279402 10798342144 918146 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917217713 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
[pid=31124/tid=31139] ppid=31122 vsize=10545256 CPUtime=0.41 cores=1,3,5,7
/proc/31124/task/31139/stat : 31139 (java) S 31122 31124 28735 0 -1 4202560 2482 0 0 0 41 0 0 0 15 0 19 0 956279402 10798342144 918146 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
[pid=31124/tid=31140] ppid=31122 vsize=10545256 CPUtime=0.63 cores=1,3,5,7
/proc/31124/task/31140/stat : 31140 (java) S 31122 31124 28735 0 -1 4202560 6223 0 0 0 63 0 0 0 15 0 19 0 956279402 10798342144 918146 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 5 0 0 0
[pid=31124/tid=31141] ppid=31122 vsize=10545256 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31141/stat : 31141 (java) S 31122 31124 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956279402 10798342144 918146 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210009 0 4 0 16800975 18446604471108812928 0 0 -1 1 0 0 0
[pid=31124/tid=31142] ppid=31122 vsize=10545256 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31142/stat : 31142 (java) S 31122 31124 28735 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 956279402 10798342144 918146 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210624 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
[pid=31124/tid=31143] ppid=31122 vsize=10545256 CPUtime=0 cores=1,3,5,7
/proc/31124/task/31143/stat : 31143 (java) S 31122 31124 28735 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956279433 10798342144 918146 33554432000 1073741824 1073778376 140733527527680 18446744073709551615 260917210624 0 4 0 16800975 18446604471108812928 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 10545256
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.81 s]
/proc/loadavg: 2.00 2.00 1.93 3/214 31247
/proc/meminfo: memFree=24812204/32950928 swapFree=67051812/67111528
[pid=31124] ppid=31122 vsize=0 CPUtime=1800.11 cores=1,3,5,7
/proc/31124/stat : 31124 (java) Z 31122 31124 28735 0 -1 4203548 926418 0 1 0 179894 117 0 0 17 0 2 0 956279396 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31124/statm: 0 0 0 0 0 0 0
[pid=31124/tid=31126] ppid=31122 vsize=0 CPUtime=1795.8 cores=1,3,5,7
/proc/31124/task/31126/stat : 31126 (java) R 31122 31124 28735 0 -1 4203588 859576 0 1 0 179475 105 0 0 25 0 2 0 956279396 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1796.85
CPU time (s): 1800.16
CPU user time (s): 1798.95
CPU system time (s): 1.21081
CPU usage (%): 100.184
Max. virtual memory (cumulated for all children) (KiB): 10547980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.95
system time used= 1.21081
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 926418
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42600
involuntary context switches= 25948
runsolver used 3.05553 second user time and 6.75797 second system time
The end