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-3456796-1307660103/watcher-3456796-1307660103 -o /tmp/evaluation-result-3456796-1307660103/solver-3456796-1307660103 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456796-1307660103.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: 0.92 0.98 0.99 2/174 10527
/proc/meminfo: memFree=32138204/32950928 swapFree=67050640/67111528
[pid=10527] ppid=10525 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/10527/stat : 10527 (java) R 10525 10527 9477 0 -1 4202496 985 0 0 0 0 0 0 0 24 0 1 0 877608996 23580672 729 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 47671071350372 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/10527/statm: 5757 740 541 9 0 124 0
[startup+0.0079141 s]
/proc/loadavg: 0.92 0.98 0.99 2/174 10527
/proc/meminfo: memFree=32138204/32950928 swapFree=67050640/67111528
[pid=10527] ppid=10525 vsize=30540 CPUtime=0 cores=1,3,5,7
/proc/10527/stat : 10527 (java) S 10525 10527 9477 0 -1 4202496 1240 0 0 0 0 0 0 0 24 0 2 0 877608996 31272960 960 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826042853 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/10527/statm: 7635 960 732 9 0 386 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 30540
[startup+0.1009 s]
/proc/loadavg: 0.92 0.98 0.99 2/174 10527
/proc/meminfo: memFree=32138204/32950928 swapFree=67050640/67111528
[pid=10527] ppid=10525 vsize=10473996 CPUtime=0.08 cores=1,3,5,7
/proc/10527/stat : 10527 (java) S 10525 10527 9477 0 -1 4202496 12673 0 1 0 7 1 0 0 24 0 18 0 877608996 10725371904 12370 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10527/statm: 2618499 12370 2082 9 0 2609233 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10473996
[startup+0.300871 s]
/proc/loadavg: 0.92 0.98 0.99 2/174 10527
/proc/meminfo: memFree=32138204/32950928 swapFree=67050640/67111528
[pid=10527] ppid=10525 vsize=10546684 CPUtime=0.55 cores=1,3,5,7
/proc/10527/stat : 10527 (java) S 10525 10527 9477 0 -1 4202496 21693 0 1 0 52 3 0 0 24 0 18 0 877608996 10799804416 19711 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10527/statm: 2636671 19712 2201 9 0 2627405 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 10546684
[startup+0.700836 s]
/proc/loadavg: 0.92 0.98 0.99 2/174 10527
/proc/meminfo: memFree=32138204/32950928 swapFree=67050640/67111528
[pid=10527] ppid=10525 vsize=10549300 CPUtime=1.27 cores=1,3,5,7
/proc/10527/stat : 10527 (java) S 10525 10527 9477 0 -1 4202496 43215 0 1 0 121 6 0 0 24 0 19 0 877608996 10802483200 41233 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10527/statm: 2637325 41233 2221 9 0 2628059 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 10549300
[startup+1.50073 s]
/proc/loadavg: 0.92 0.98 0.99 3/193 10546
/proc/meminfo: memFree=31900748/32950928 swapFree=67050640/67111528
[pid=10527] ppid=10525 vsize=10549284 CPUtime=2.61 cores=1,3,5,7
/proc/10527/stat : 10527 (java) S 10525 10527 9477 0 -1 4202496 88822 0 1 0 250 11 0 0 24 0 19 0 877608996 10802466816 86149 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10527/statm: 2637321 86149 2234 9 0 2628055 0
[pid=10527/tid=10528] ppid=10525 vsize=10549284 CPUtime=1.46 cores=1,3,5,7
/proc/10527/task/10528/stat : 10528 (java) R 10525 10527 9477 0 -1 4202560 79007 0 1 0 136 10 0 0 25 0 19 0 877608997 10802466816 86149 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 46912505578559 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10527/tid=10530] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10530/stat : 10530 (java) S 10525 10527 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877608999 10802466816 86151 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10531] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10531/stat : 10531 (java) S 10525 10527 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877608999 10802466816 86154 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10532] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10532/stat : 10532 (java) S 10525 10527 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877608999 10802466816 86157 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10533] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10533/stat : 10533 (java) S 10525 10527 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877608999 10802466816 86159 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10534] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10534/stat : 10534 (java) S 10525 10527 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877608999 10802466816 86162 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10535] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10535/stat : 10535 (java) S 10525 10527 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877608999 10802466816 86164 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10536] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10536/stat : 10536 (java) S 10525 10527 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877608999 10802466816 86165 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10537] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10537/stat : 10537 (java) S 10525 10527 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877608999 10802466816 86167 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10538] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10538/stat : 10538 (java) S 10525 10527 9477 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 877609000 10802466816 86169 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056704 0 0 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10539] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10539/stat : 10539 (java) S 10525 10527 9477 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877609000 10802466816 86171 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10540] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10540/stat : 10540 (java) S 10525 10527 9477 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877609000 10802466816 86173 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10541] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10541/stat : 10541 (java) S 10525 10527 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877609002 10802466816 86175 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826063793 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10542] ppid=10525 vsize=10549284 CPUtime=0.57 cores=1,3,5,7
/proc/10527/task/10542/stat : 10542 (java) S 10525 10527 9477 0 -1 4202560 3011 0 0 0 57 0 0 0 21 0 19 0 877609002 10802466816 86176 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10543] ppid=10525 vsize=10549284 CPUtime=0.56 cores=1,3,5,7
/proc/10527/task/10543/stat : 10543 (java) S 10525 10527 9477 0 -1 4202560 5647 0 0 0 56 0 0 0 20 0 19 0 877609002 10802466816 86178 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 7 0 0 0
[pid=10527/tid=10544] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10544/stat : 10544 (java) S 10525 10527 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877609002 10802466816 86180 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10545] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10545/stat : 10545 (java) S 10525 10527 9477 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877609002 10802466816 86182 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056704 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10546] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10546/stat : 10546 (java) S 10525 10527 9477 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877609059 10802466816 86184 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056704 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.61
Current children cumulated vsize (KiB) 10549284
[startup+3.1014 s]
/proc/loadavg: 0.92 0.98 0.99 3/193 10547
/proc/meminfo: memFree=31518292/32950928 swapFree=67050640/67111528
[pid=10527] ppid=10525 vsize=10549284 CPUtime=4.27 cores=1,3,5,7
/proc/10527/stat : 10527 (java) S 10525 10527 9477 0 -1 4202496 221368 0 1 0 400 27 0 0 24 0 19 0 877608996 10802466816 218695 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10527/statm: 2637321 218698 2234 9 0 2628055 0
[pid=10527/tid=10528] ppid=10525 vsize=10549284 CPUtime=3.07 cores=1,3,5,7
/proc/10527/task/10528/stat : 10528 (java) R 10525 10527 9477 0 -1 4202560 211554 0 1 0 281 26 0 0 25 0 19 0 877608997 10802466816 218698 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 46912505611108 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10527/tid=10530] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10530/stat : 10530 (java) S 10525 10527 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877608999 10802466816 218698 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10531] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10531/stat : 10531 (java) S 10525 10527 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877608999 10802466816 218698 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10532] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10532/stat : 10532 (java) S 10525 10527 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877608999 10802466816 218699 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10533] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10533/stat : 10533 (java) S 10525 10527 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877608999 10802466816 218699 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10534] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10534/stat : 10534 (java) S 10525 10527 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877608999 10802466816 218699 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10535] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10535/stat : 10535 (java) S 10525 10527 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877608999 10802466816 218699 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10536] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10536/stat : 10536 (java) S 10525 10527 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877608999 10802466816 218700 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10537] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10537/stat : 10537 (java) S 10525 10527 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877608999 10802466816 218701 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10538] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10538/stat : 10538 (java) S 10525 10527 9477 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 877609000 10802466816 218702 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056704 0 0 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10539] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10539/stat : 10539 (java) S 10525 10527 9477 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877609000 10802466816 218703 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10540] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10540/stat : 10540 (java) S 10525 10527 9477 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877609000 10802466816 218705 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10541] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10541/stat : 10541 (java) S 10525 10527 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877609002 10802466816 218707 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826063793 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10542] ppid=10525 vsize=10549284 CPUtime=0.57 cores=1,3,5,7
/proc/10527/task/10542/stat : 10542 (java) S 10525 10527 9477 0 -1 4202560 3011 0 0 0 57 0 0 0 15 0 19 0 877609002 10802466816 218708 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10543] ppid=10525 vsize=10549284 CPUtime=0.61 cores=1,3,5,7
/proc/10527/task/10543/stat : 10543 (java) S 10525 10527 9477 0 -1 4202560 5649 0 0 0 61 0 0 0 15 0 19 0 877609002 10802466816 218710 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 7 0 0 0
[pid=10527/tid=10544] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10544/stat : 10544 (java) S 10525 10527 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877609002 10802466816 218712 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10545] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10545/stat : 10545 (java) S 10525 10527 9477 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877609002 10802466816 218713 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056704 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10546] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10546/stat : 10546 (java) S 10525 10527 9477 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877609059 10802466816 218714 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056704 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.27
Current children cumulated vsize (KiB) 10549284
[startup+6.30086 s]
/proc/loadavg: 1.09 1.02 1.01 3/213 10574
/proc/meminfo: memFree=29832304/32950928 swapFree=67050640/67111528
[pid=10527] ppid=10525 vsize=10549284 CPUtime=7.51 cores=1,3,5,7
/proc/10527/stat : 10527 (java) S 10525 10527 9477 0 -1 4202496 450961 0 1 0 698 53 0 0 24 0 19 0 877608996 10802466816 448286 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10527/statm: 2637321 448288 2237 9 0 2628055 0
[pid=10527/tid=10528] ppid=10525 vsize=10549284 CPUtime=6.27 cores=1,3,5,7
/proc/10527/task/10528/stat : 10528 (java) R 10525 10527 9477 0 -1 4202560 441134 0 1 0 575 52 0 0 25 0 19 0 877608997 10802466816 448289 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 46912505776166 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10527/tid=10530] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10530/stat : 10530 (java) S 10525 10527 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877608999 10802466816 448291 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10531] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10531/stat : 10531 (java) S 10525 10527 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877608999 10802466816 448293 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10532] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10532/stat : 10532 (java) S 10525 10527 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877608999 10802466816 448295 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10533] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10533/stat : 10533 (java) S 10525 10527 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877608999 10802466816 448297 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10534] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10534/stat : 10534 (java) S 10525 10527 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877608999 10802466816 448298 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10535] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10535/stat : 10535 (java) S 10525 10527 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877608999 10802466816 448301 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10536] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10536/stat : 10536 (java) S 10525 10527 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877608999 10802466816 448303 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10537] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10537/stat : 10537 (java) S 10525 10527 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877608999 10802466816 448304 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10538] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10538/stat : 10538 (java) S 10525 10527 9477 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 877609000 10802466816 448306 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056704 0 0 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10539] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10539/stat : 10539 (java) S 10525 10527 9477 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877609000 10802466816 448308 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10540] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10540/stat : 10540 (java) S 10525 10527 9477 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877609000 10802466816 448310 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10541] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10541/stat : 10541 (java) S 10525 10527 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877609002 10802466816 448311 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826063793 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10542] ppid=10525 vsize=10549284 CPUtime=0.58 cores=1,3,5,7
/proc/10527/task/10542/stat : 10542 (java) S 10525 10527 9477 0 -1 4202560 3013 0 0 0 58 0 0 0 15 0 19 0 877609002 10802466816 448313 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10543] ppid=10525 vsize=10549284 CPUtime=0.64 cores=1,3,5,7
/proc/10527/task/10543/stat : 10543 (java) S 10525 10527 9477 0 -1 4202560 5656 0 0 0 64 0 0 0 15 0 19 0 877609002 10802466816 448315 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 7 0 0 0
[pid=10527/tid=10544] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10544/stat : 10544 (java) S 10525 10527 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877609002 10802466816 448316 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10545] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10545/stat : 10545 (java) S 10525 10527 9477 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 877609002 10802466816 448318 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056704 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10546] ppid=10525 vsize=10549284 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10546/stat : 10546 (java) S 10525 10527 9477 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877609059 10802466816 448320 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056704 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.51
Current children cumulated vsize (KiB) 10549284
[startup+12.7008 s]
################
# More data... #
################
/proc/10527/task/10540/stat : 10540 (java) S 10525 10527 9477 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877609000 10801606656 1101133 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10541] ppid=10525 vsize=10548444 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10541/stat : 10541 (java) S 10525 10527 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877609002 10801606656 1101133 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826063793 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10542] ppid=10525 vsize=10548444 CPUtime=1.12 cores=1,3,5,7
/proc/10527/task/10542/stat : 10542 (java) S 10525 10527 9477 0 -1 4202560 7511 0 0 0 112 0 0 0 15 0 19 0 877609002 10801606656 1101133 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10543] ppid=10525 vsize=10548444 CPUtime=1.43 cores=1,3,5,7
/proc/10527/task/10543/stat : 10543 (java) S 10525 10527 9477 0 -1 4202560 11032 0 0 0 142 1 0 0 15 0 19 0 877609002 10801606656 1101133 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 5 0 0 0
[pid=10527/tid=10544] ppid=10525 vsize=10548444 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10544/stat : 10544 (java) S 10525 10527 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877609002 10801606656 1101133 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10545] ppid=10525 vsize=10548444 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10545/stat : 10545 (java) S 10525 10527 9477 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 877609002 10801606656 1101133 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056704 0 4 0 16800975 18446604454225328192 0 0 -1 5 0 0 0
[pid=10527/tid=10546] ppid=10525 vsize=10548444 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10546/stat : 10546 (java) S 10525 10527 9477 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877609059 10801606656 1101133 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056704 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1674.45
Current children cumulated vsize (KiB) 10548444
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/214 10632
/proc/meminfo: memFree=23830312/32950928 swapFree=67050640/67111528
[pid=10527] ppid=10525 vsize=10548444 CPUtime=1734.79 cores=1,3,5,7
/proc/10527/stat : 10527 (java) S 10525 10527 9477 0 -1 4202496 1118510 0 1 0 173348 131 0 0 24 0 19 0 877608996 10801606656 1102090 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10527/statm: 2637111 1102090 2265 9 0 2627845 0
[pid=10527/tid=10528] ppid=10525 vsize=10548444 CPUtime=1715.02 cores=1,3,5,7
/proc/10527/task/10528/stat : 10528 (java) R 10525 10527 9477 0 -1 4202560 785822 0 1 0 171413 89 0 0 25 0 19 0 877608997 10801606656 1102090 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 46912505813274 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10527/tid=10530] ppid=10525 vsize=10548444 CPUtime=1.65 cores=1,3,5,7
/proc/10527/task/10530/stat : 10530 (java) S 10525 10527 9477 0 -1 4202560 37537 0 0 0 161 4 0 0 16 0 19 0 877608999 10801606656 1102090 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10531] ppid=10525 vsize=10548444 CPUtime=1.76 cores=1,3,5,7
/proc/10527/task/10531/stat : 10531 (java) S 10525 10527 9477 0 -1 4202560 35052 0 0 0 172 4 0 0 15 0 19 0 877608999 10801606656 1102090 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 5 0 0 0
[pid=10527/tid=10532] ppid=10525 vsize=10548444 CPUtime=1.91 cores=1,3,5,7
/proc/10527/task/10532/stat : 10532 (java) S 10525 10527 9477 0 -1 4202560 43958 0 0 0 186 5 0 0 15 0 19 0 877608999 10801606656 1102090 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 7 0 0 0
[pid=10527/tid=10533] ppid=10525 vsize=10548444 CPUtime=1.45 cores=1,3,5,7
/proc/10527/task/10533/stat : 10533 (java) S 10525 10527 9477 0 -1 4202560 27133 0 0 0 141 4 0 0 16 0 19 0 877608999 10801606656 1102090 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 7 0 0 0
[pid=10527/tid=10534] ppid=10525 vsize=10548444 CPUtime=1.73 cores=1,3,5,7
/proc/10527/task/10534/stat : 10534 (java) S 10525 10527 9477 0 -1 4202560 37590 0 0 0 168 5 0 0 15 0 19 0 877608999 10801606656 1102090 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 3 0 0 0
[pid=10527/tid=10535] ppid=10525 vsize=10548444 CPUtime=1.64 cores=1,3,5,7
/proc/10527/task/10535/stat : 10535 (java) S 10525 10527 9477 0 -1 4202560 34088 0 0 0 160 4 0 0 16 0 19 0 877608999 10801606656 1102090 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 5 0 0 0
[pid=10527/tid=10536] ppid=10525 vsize=10548444 CPUtime=1.51 cores=1,3,5,7
/proc/10527/task/10536/stat : 10536 (java) S 10525 10527 9477 0 -1 4202560 28332 0 0 0 148 3 0 0 15 0 19 0 877608999 10801606656 1102090 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 7 0 0 0
[pid=10527/tid=10537] ppid=10525 vsize=10548444 CPUtime=1.84 cores=1,3,5,7
/proc/10527/task/10537/stat : 10537 (java) S 10525 10527 9477 0 -1 4202560 38016 0 0 0 181 3 0 0 16 0 19 0 877608999 10801606656 1102090 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 3 0 0 0
[pid=10527/tid=10538] ppid=10525 vsize=10548444 CPUtime=3.63 cores=1,3,5,7
/proc/10527/task/10538/stat : 10538 (java) S 10525 10527 9477 0 -1 4202560 31188 0 0 0 359 4 0 0 15 0 19 0 877609000 10801606656 1102090 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056704 0 0 0 16800975 18446604454225328192 0 0 -1 3 0 0 0
[pid=10527/tid=10539] ppid=10525 vsize=10548444 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10539/stat : 10539 (java) S 10525 10527 9477 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877609000 10801606656 1102090 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10540] ppid=10525 vsize=10548444 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10540/stat : 10540 (java) S 10525 10527 9477 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877609000 10801606656 1102090 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10541] ppid=10525 vsize=10548444 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10541/stat : 10541 (java) S 10525 10527 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877609002 10801606656 1102090 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826063793 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10542] ppid=10525 vsize=10548444 CPUtime=1.12 cores=1,3,5,7
/proc/10527/task/10542/stat : 10542 (java) S 10525 10527 9477 0 -1 4202560 7511 0 0 0 112 0 0 0 15 0 19 0 877609002 10801606656 1102090 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10543] ppid=10525 vsize=10548444 CPUtime=1.43 cores=1,3,5,7
/proc/10527/task/10543/stat : 10543 (java) S 10525 10527 9477 0 -1 4202560 11032 0 0 0 142 1 0 0 15 0 19 0 877609002 10801606656 1102090 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 5 0 0 0
[pid=10527/tid=10544] ppid=10525 vsize=10548444 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10544/stat : 10544 (java) S 10525 10527 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877609002 10801606656 1102090 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10545] ppid=10525 vsize=10548444 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10545/stat : 10545 (java) S 10525 10527 9477 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 877609002 10801606656 1102090 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056704 0 4 0 16800975 18446604454225328192 0 0 -1 5 0 0 0
[pid=10527/tid=10546] ppid=10525 vsize=10548444 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10546/stat : 10546 (java) S 10525 10527 9477 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877609059 10801606656 1102090 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056704 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1734.79
Current children cumulated vsize (KiB) 10548444
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/214 10634
/proc/meminfo: memFree=23821720/32950928 swapFree=67050640/67111528
[pid=10527] ppid=10525 vsize=10548444 CPUtime=1795.22 cores=1,3,5,7
/proc/10527/stat : 10527 (java) S 10525 10527 9477 0 -1 4202496 1120849 0 1 0 179391 131 0 0 24 0 19 0 877608996 10801606656 1104409 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10527/statm: 2637111 1104409 2265 9 0 2627845 0
[pid=10527/tid=10528] ppid=10525 vsize=10548444 CPUtime=1773.56 cores=1,3,5,7
/proc/10527/task/10528/stat : 10528 (java) R 10525 10527 9477 0 -1 4202560 785827 0 1 0 177267 89 0 0 25 0 19 0 877608997 10801606656 1104409 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 46912505778246 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10527/tid=10530] ppid=10525 vsize=10548444 CPUtime=1.71 cores=1,3,5,7
/proc/10527/task/10530/stat : 10530 (java) S 10525 10527 9477 0 -1 4202560 37607 0 0 0 167 4 0 0 16 0 19 0 877608999 10801606656 1104409 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 5 0 0 0
[pid=10527/tid=10531] ppid=10525 vsize=10548444 CPUtime=1.84 cores=1,3,5,7
/proc/10527/task/10531/stat : 10531 (java) S 10525 10527 9477 0 -1 4202560 35178 0 0 0 180 4 0 0 16 0 19 0 877608999 10801606656 1104409 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 7 0 0 0
[pid=10527/tid=10532] ppid=10525 vsize=10548444 CPUtime=2 cores=1,3,5,7
/proc/10527/task/10532/stat : 10532 (java) S 10525 10527 9477 0 -1 4202560 44096 0 0 0 195 5 0 0 16 0 19 0 877608999 10801606656 1104409 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 7 0 0 0
[pid=10527/tid=10533] ppid=10525 vsize=10548444 CPUtime=1.5 cores=1,3,5,7
/proc/10527/task/10533/stat : 10533 (java) S 10525 10527 9477 0 -1 4202560 27525 0 0 0 146 4 0 0 16 0 19 0 877608999 10801606656 1104409 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 7 0 0 0
[pid=10527/tid=10534] ppid=10525 vsize=10548444 CPUtime=1.8 cores=1,3,5,7
/proc/10527/task/10534/stat : 10534 (java) S 10525 10527 9477 0 -1 4202560 37701 0 0 0 175 5 0 0 16 0 19 0 877608999 10801606656 1104409 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 3 0 0 0
[pid=10527/tid=10535] ppid=10525 vsize=10548444 CPUtime=1.75 cores=1,3,5,7
/proc/10527/task/10535/stat : 10535 (java) S 10525 10527 9477 0 -1 4202560 34215 0 0 0 171 4 0 0 16 0 19 0 877608999 10801606656 1104409 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10536] ppid=10525 vsize=10548444 CPUtime=1.57 cores=1,3,5,7
/proc/10527/task/10536/stat : 10536 (java) S 10525 10527 9477 0 -1 4202560 28378 0 0 0 154 3 0 0 16 0 19 0 877608999 10801606656 1104409 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 5 0 0 0
[pid=10527/tid=10537] ppid=10525 vsize=10548444 CPUtime=1.89 cores=1,3,5,7
/proc/10527/task/10537/stat : 10537 (java) S 10525 10527 9477 0 -1 4202560 38050 0 0 0 186 3 0 0 16 0 19 0 877608999 10801606656 1104409 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 3 0 0 0
[pid=10527/tid=10538] ppid=10525 vsize=10548444 CPUtime=4.94 cores=1,3,5,7
/proc/10527/task/10538/stat : 10538 (java) S 10525 10527 9477 0 -1 4202560 32476 0 0 0 490 4 0 0 15 0 19 0 877609000 10801606656 1104409 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056704 0 0 0 16800975 18446604454225328192 0 0 -1 3 0 0 0
[pid=10527/tid=10539] ppid=10525 vsize=10548444 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10539/stat : 10539 (java) S 10525 10527 9477 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877609000 10801606656 1104409 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10540] ppid=10525 vsize=10548444 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10540/stat : 10540 (java) S 10525 10527 9477 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877609000 10801606656 1104409 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10541] ppid=10525 vsize=10548444 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10541/stat : 10541 (java) S 10525 10527 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877609002 10801606656 1104409 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826063793 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10542] ppid=10525 vsize=10548444 CPUtime=1.12 cores=1,3,5,7
/proc/10527/task/10542/stat : 10542 (java) S 10525 10527 9477 0 -1 4202560 7511 0 0 0 112 0 0 0 15 0 19 0 877609002 10801606656 1104409 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10543] ppid=10525 vsize=10548444 CPUtime=1.43 cores=1,3,5,7
/proc/10527/task/10543/stat : 10543 (java) S 10525 10527 9477 0 -1 4202560 11032 0 0 0 142 1 0 0 15 0 19 0 877609002 10801606656 1104409 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 5 0 0 0
[pid=10527/tid=10544] ppid=10525 vsize=10548444 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10544/stat : 10544 (java) S 10525 10527 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877609002 10801606656 1104409 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10545] ppid=10525 vsize=10548444 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10545/stat : 10545 (java) S 10525 10527 9477 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 877609002 10801606656 1104409 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056704 0 4 0 16800975 18446604454225328192 0 0 -1 5 0 0 0
[pid=10527/tid=10546] ppid=10525 vsize=10548444 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10546/stat : 10546 (java) S 10525 10527 9477 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877609059 10801606656 1104409 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056704 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1795.22
Current children cumulated vsize (KiB) 10548444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1787.1 s]
/proc/loadavg: 2.00 2.00 1.83 3/214 10634
/proc/meminfo: memFree=23820852/32950928 swapFree=67050640/67111528
[pid=10527] ppid=10525 vsize=10548444 CPUtime=1800.02 cores=1,3,5,7
/proc/10527/stat : 10527 (java) S 10525 10527 9477 0 -1 4202496 1120849 0 1 0 179871 131 0 0 24 0 19 0 877608996 10801606656 1104409 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10527/statm: 2637111 1104409 2265 9 0 2627845 0
[pid=10527/tid=10528] ppid=10525 vsize=10548444 CPUtime=1778.36 cores=1,3,5,7
/proc/10527/task/10528/stat : 10528 (java) R 10525 10527 9477 0 -1 4202560 785827 0 1 0 177747 89 0 0 25 0 19 0 877608997 10801606656 1104409 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 46912505813021 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10527/tid=10530] ppid=10525 vsize=10548444 CPUtime=1.71 cores=1,3,5,7
/proc/10527/task/10530/stat : 10530 (java) S 10525 10527 9477 0 -1 4202560 37607 0 0 0 167 4 0 0 16 0 19 0 877608999 10801606656 1104409 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 5 0 0 0
[pid=10527/tid=10531] ppid=10525 vsize=10548444 CPUtime=1.84 cores=1,3,5,7
/proc/10527/task/10531/stat : 10531 (java) S 10525 10527 9477 0 -1 4202560 35178 0 0 0 180 4 0 0 16 0 19 0 877608999 10801606656 1104409 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 7 0 0 0
[pid=10527/tid=10532] ppid=10525 vsize=10548444 CPUtime=2 cores=1,3,5,7
/proc/10527/task/10532/stat : 10532 (java) S 10525 10527 9477 0 -1 4202560 44096 0 0 0 195 5 0 0 16 0 19 0 877608999 10801606656 1104409 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 7 0 0 0
[pid=10527/tid=10533] ppid=10525 vsize=10548444 CPUtime=1.5 cores=1,3,5,7
/proc/10527/task/10533/stat : 10533 (java) S 10525 10527 9477 0 -1 4202560 27525 0 0 0 146 4 0 0 16 0 19 0 877608999 10801606656 1104409 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 7 0 0 0
[pid=10527/tid=10534] ppid=10525 vsize=10548444 CPUtime=1.8 cores=1,3,5,7
/proc/10527/task/10534/stat : 10534 (java) S 10525 10527 9477 0 -1 4202560 37701 0 0 0 175 5 0 0 16 0 19 0 877608999 10801606656 1104409 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 3 0 0 0
[pid=10527/tid=10535] ppid=10525 vsize=10548444 CPUtime=1.75 cores=1,3,5,7
/proc/10527/task/10535/stat : 10535 (java) S 10525 10527 9477 0 -1 4202560 34215 0 0 0 171 4 0 0 16 0 19 0 877608999 10801606656 1104409 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10536] ppid=10525 vsize=10548444 CPUtime=1.57 cores=1,3,5,7
/proc/10527/task/10536/stat : 10536 (java) S 10525 10527 9477 0 -1 4202560 28378 0 0 0 154 3 0 0 16 0 19 0 877608999 10801606656 1104409 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 5 0 0 0
[pid=10527/tid=10537] ppid=10525 vsize=10548444 CPUtime=1.89 cores=1,3,5,7
/proc/10527/task/10537/stat : 10537 (java) S 10525 10527 9477 0 -1 4202560 38050 0 0 0 186 3 0 0 16 0 19 0 877608999 10801606656 1104409 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 3 0 0 0
[pid=10527/tid=10538] ppid=10525 vsize=10548444 CPUtime=4.94 cores=1,3,5,7
/proc/10527/task/10538/stat : 10538 (java) S 10525 10527 9477 0 -1 4202560 32476 0 0 0 490 4 0 0 15 0 19 0 877609000 10801606656 1104409 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056704 0 0 0 16800975 18446604454225328192 0 0 -1 3 0 0 0
[pid=10527/tid=10539] ppid=10525 vsize=10548444 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10539/stat : 10539 (java) S 10525 10527 9477 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877609000 10801606656 1104409 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10540] ppid=10525 vsize=10548444 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10540/stat : 10540 (java) S 10525 10527 9477 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877609000 10801606656 1104409 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10541] ppid=10525 vsize=10548444 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10541/stat : 10541 (java) S 10525 10527 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877609002 10801606656 1104409 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826063793 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10542] ppid=10525 vsize=10548444 CPUtime=1.12 cores=1,3,5,7
/proc/10527/task/10542/stat : 10542 (java) S 10525 10527 9477 0 -1 4202560 7511 0 0 0 112 0 0 0 15 0 19 0 877609002 10801606656 1104409 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10543] ppid=10525 vsize=10548444 CPUtime=1.43 cores=1,3,5,7
/proc/10527/task/10543/stat : 10543 (java) S 10525 10527 9477 0 -1 4202560 11032 0 0 0 142 1 0 0 15 0 19 0 877609002 10801606656 1104409 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 5 0 0 0
[pid=10527/tid=10544] ppid=10525 vsize=10548444 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10544/stat : 10544 (java) S 10525 10527 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877609002 10801606656 1104409 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056089 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
[pid=10527/tid=10545] ppid=10525 vsize=10548444 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10545/stat : 10545 (java) S 10525 10527 9477 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 877609002 10801606656 1104409 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056704 0 4 0 16800975 18446604454225328192 0 0 -1 5 0 0 0
[pid=10527/tid=10546] ppid=10525 vsize=10548444 CPUtime=0 cores=1,3,5,7
/proc/10527/task/10546/stat : 10546 (java) S 10525 10527 9477 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877609059 10801606656 1104409 33554432000 1073741824 1073778376 140736274314496 18446744073709551615 251826056704 0 4 0 16800975 18446604454225328192 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10548444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1787.21 s]
/proc/loadavg: 2.00 2.00 1.83 3/214 10634
/proc/meminfo: memFree=23820852/32950928 swapFree=67050640/67111528
[pid=10527] ppid=10525 vsize=0 CPUtime=1800.17 cores=1,3,5,7
/proc/10527/stat : 10527 (java) Z 10525 10527 9477 0 -1 4203548 1120882 0 1 0 179879 138 0 0 17 0 2 0 877608996 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10527/statm: 0 0 0 0 0 0 0
[pid=10527/tid=10528] ppid=10525 vsize=0 CPUtime=1778.47 cores=1,3,5,7
/proc/10527/task/10528/stat : 10528 (java) R 10525 10527 9477 0 -1 4203588 785827 0 1 0 177751 96 0 0 25 0 2 0 877608997 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.17
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1787.3
CPU time (s): 1800.27
CPU user time (s): 1798.8
CPU system time (s): 1.47178
CPU usage (%): 100.726
Max. virtual memory (cumulated for all children) (KiB): 10557648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.8
system time used= 1.47178
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1120882
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= 40405
involuntary context switches= 25342
runsolver used 3.01754 second user time and 6.75597 second system time
The end