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-3454191-1307190143/watcher-3454191-1307190143 -o /tmp/evaluation-result-3454191-1307190143/solver-3454191-1307190143 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454191-1307190143.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: 3.55 3.71 3.38 3/474 26781
/proc/meminfo: memFree=31195820/32951124 swapFree=55639044/67111528
[pid=26781] ppid=26779 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/26781/stat : 26781 (java) S 26779 26781 23433 0 -1 4202496 5635 0 1 0 0 0 0 0 23 0 2 0 830612513 10694979584 5337 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562340325 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/26781/statm: 2611079 5351 917 9 0 2602235 0
[pid=26781/tid=26782] ppid=26779 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26782/stat : 26782 (java) R 26779 26781 23433 0 -1 4202560 6127 0 1 0 0 0 0 0 25 0 2 0 830612514 10694979584 6943 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271550231611 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.072467 s]
/proc/loadavg: 3.55 3.71 3.38 3/474 26781
/proc/meminfo: memFree=31195820/32951124 swapFree=55639044/67111528
[pid=26781] ppid=26779 vsize=10538348 CPUtime=0.06 cores=1,3,5,7
/proc/26781/stat : 26781 (java) S 26779 26781 23433 0 -1 4202496 11908 0 1 0 5 1 0 0 23 0 18 0 830612513 10791268352 11605 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26781/statm: 2634587 11606 1754 9 0 2625321 0
[pid=26781/tid=26782] ppid=26779 vsize=10538348 CPUtime=0.06 cores=1,3,5,7
/proc/26781/task/26782/stat : 26782 (java) R 26779 26781 23433 0 -1 4202560 10735 0 1 0 5 1 0 0 25 0 18 0 830612514 10791268352 11607 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562364363 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10538348
[startup+0.10045 s]
/proc/loadavg: 3.55 3.71 3.38 3/474 26781
/proc/meminfo: memFree=31195820/32951124 swapFree=55639044/67111528
[pid=26781] ppid=26779 vsize=10540120 CPUtime=0.1 cores=1,3,5,7
/proc/26781/stat : 26781 (java) S 26779 26781 23433 0 -1 4202496 13115 0 1 0 9 1 0 0 23 0 18 0 830612513 10793082880 12761 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26781/statm: 2635030 12762 2093 9 0 2625764 0
[pid=26781/tid=26782] ppid=26779 vsize=10540120 CPUtime=0.08 cores=1,3,5,7
/proc/26781/task/26782/stat : 26782 (java) R 26779 26781 23433 0 -1 4202560 11164 0 1 0 7 1 0 0 25 0 18 0 830612514 10793082880 12763 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562364363 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540120
[startup+0.300428 s]
/proc/loadavg: 3.55 3.71 3.38 3/474 26781
/proc/meminfo: memFree=31195820/32951124 swapFree=55639044/67111528
[pid=26781] ppid=26779 vsize=10543732 CPUtime=0.55 cores=1,3,5,7
/proc/26781/stat : 26781 (java) S 26779 26781 23433 0 -1 4202496 19186 0 1 0 53 2 0 0 23 0 18 0 830612513 10796781568 17978 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26781/statm: 2635933 17979 2209 9 0 2626667 0
[pid=26781/tid=26782] ppid=26779 vsize=10543732 CPUtime=0.28 cores=1,3,5,7
/proc/26781/task/26782/stat : 26782 (java) R 26779 26781 23433 0 -1 4202560 14630 0 1 0 27 1 0 0 25 0 18 0 830612514 10796781568 17980 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 10543732
[startup+0.700344 s]
/proc/loadavg: 3.55 3.71 3.38 3/474 26781
/proc/meminfo: memFree=31195820/32951124 swapFree=55639044/67111528
[pid=26781] ppid=26779 vsize=10553560 CPUtime=1.44 cores=1,3,5,7
/proc/26781/stat : 26781 (java) S 26779 26781 23433 0 -1 4202496 44063 0 1 0 139 5 0 0 23 0 18 0 830612513 10806845440 40326 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26781/statm: 2638390 40326 2220 9 0 2629124 0
[pid=26781/tid=26782] ppid=26779 vsize=10553560 CPUtime=0.69 cores=1,3,5,7
/proc/26781/task/26782/stat : 26782 (java) R 26779 26781 23433 0 -1 4202560 34423 0 1 0 65 4 0 0 25 0 18 0 830612514 10806845440 40326 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 46912505824338 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 10553560
[startup+1.50121 s]
/proc/loadavg: 3.55 3.71 3.38 4/492 26799
/proc/meminfo: memFree=30963288/32951124 swapFree=55639044/67111528
[pid=26781] ppid=26779 vsize=10553560 CPUtime=2.24 cores=1,3,5,7
/proc/26781/stat : 26781 (java) S 26779 26781 23433 0 -1 4202496 96456 0 1 0 214 10 0 0 23 0 18 0 830612513 10806845440 92719 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26781/statm: 2638390 92722 2220 9 0 2629124 0
[pid=26781/tid=26782] ppid=26779 vsize=10553560 CPUtime=1.48 cores=1,3,5,7
/proc/26781/task/26782/stat : 26782 (java) R 26779 26781 23433 0 -1 4202560 86820 0 1 0 139 9 0 0 25 0 18 0 830612514 10806845440 92723 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 46912505602524 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26781/tid=26784] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26784/stat : 26784 (java) S 26779 26781 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830612516 10806845440 92725 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 3 0 0 0
[pid=26781/tid=26785] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26785/stat : 26785 (java) S 26779 26781 23433 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830612516 10806845440 92727 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 3 0 0 0
[pid=26781/tid=26786] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26786/stat : 26786 (java) S 26779 26781 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830612516 10806845440 92729 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 3 0 0 0
[pid=26781/tid=26787] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26787/stat : 26787 (java) S 26779 26781 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830612516 10806845440 92731 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 3 0 0 0
[pid=26781/tid=26788] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26788/stat : 26788 (java) S 26779 26781 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830612516 10806845440 92733 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 3 0 0 0
[pid=26781/tid=26789] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26789/stat : 26789 (java) S 26779 26781 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830612516 10806845440 92734 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 3 0 0 0
[pid=26781/tid=26790] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26790/stat : 26790 (java) S 26779 26781 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830612516 10806845440 92736 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 3 0 0 0
[pid=26781/tid=26791] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26791/stat : 26791 (java) S 26779 26781 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830612516 10806845440 92738 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 3 0 0 0
[pid=26781/tid=26792] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26792/stat : 26792 (java) S 26779 26781 23433 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 830612517 10806845440 92740 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562354176 0 0 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
[pid=26781/tid=26793] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26793/stat : 26793 (java) S 26779 26781 23433 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 830612517 10806845440 92741 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
[pid=26781/tid=26794] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26794/stat : 26794 (java) S 26779 26781 23433 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 830612517 10806845440 92741 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
[pid=26781/tid=26795] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26795/stat : 26795 (java) S 26779 26781 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830612519 10806845440 92746 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562361265 0 4 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
[pid=26781/tid=26796] ppid=26779 vsize=10553560 CPUtime=0.29 cores=1,3,5,7
/proc/26781/task/26796/stat : 26796 (java) S 26779 26781 23433 0 -1 4202560 2784 0 0 0 29 0 0 0 16 0 18 0 830612519 10806845440 92762 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 7 0 0 0
[pid=26781/tid=26797] ppid=26779 vsize=10553560 CPUtime=0.44 cores=1,3,5,7
/proc/26781/task/26797/stat : 26797 (java) S 26779 26781 23433 0 -1 4202560 5705 0 0 0 44 0 0 0 20 0 18 0 830612519 10806845440 92762 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
[pid=26781/tid=26798] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26798/stat : 26798 (java) S 26779 26781 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830612519 10806845440 92772 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 3 0 0 0
[pid=26781/tid=26799] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26799/stat : 26799 (java) S 26779 26781 23433 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 830612519 10806845440 92775 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562354176 0 4 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 10553560
[startup+3.10091 s]
/proc/loadavg: 3.55 3.71 3.38 4/492 26799
/proc/meminfo: memFree=30673624/32951124 swapFree=55639044/67111528
[pid=26781] ppid=26779 vsize=10553560 CPUtime=3.84 cores=1,3,5,7
/proc/26781/stat : 26781 (java) S 26779 26781 23433 0 -1 4202496 201016 0 1 0 364 20 0 0 23 0 18 0 830612513 10806845440 197279 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26781/statm: 2638390 197282 2220 9 0 2629124 0
[pid=26781/tid=26782] ppid=26779 vsize=10553560 CPUtime=3.08 cores=1,3,5,7
/proc/26781/task/26782/stat : 26782 (java) R 26779 26781 23433 0 -1 4202560 191381 0 1 0 289 19 0 0 25 0 18 0 830612514 10806845440 197284 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 46912505647508 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26781/tid=26784] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26784/stat : 26784 (java) S 26779 26781 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830612516 10806845440 197285 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 3 0 0 0
[pid=26781/tid=26785] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26785/stat : 26785 (java) S 26779 26781 23433 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830612516 10806845440 197287 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 3 0 0 0
[pid=26781/tid=26786] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26786/stat : 26786 (java) S 26779 26781 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830612516 10806845440 197289 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 3 0 0 0
[pid=26781/tid=26787] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26787/stat : 26787 (java) S 26779 26781 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830612516 10806845440 197290 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 3 0 0 0
[pid=26781/tid=26788] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26788/stat : 26788 (java) S 26779 26781 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830612516 10806845440 197291 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 3 0 0 0
[pid=26781/tid=26789] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26789/stat : 26789 (java) S 26779 26781 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830612516 10806845440 197293 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 3 0 0 0
[pid=26781/tid=26790] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26790/stat : 26790 (java) S 26779 26781 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830612516 10806845440 197294 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 3 0 0 0
[pid=26781/tid=26791] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26791/stat : 26791 (java) S 26779 26781 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830612516 10806845440 197295 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 3 0 0 0
[pid=26781/tid=26792] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26792/stat : 26792 (java) S 26779 26781 23433 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 830612517 10806845440 197297 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562354176 0 0 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
[pid=26781/tid=26793] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26793/stat : 26793 (java) S 26779 26781 23433 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 830612517 10806845440 197298 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
[pid=26781/tid=26794] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26794/stat : 26794 (java) S 26779 26781 23433 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 830612517 10806845440 197300 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
[pid=26781/tid=26795] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26795/stat : 26795 (java) S 26779 26781 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830612519 10806845440 197301 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562361265 0 4 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
[pid=26781/tid=26796] ppid=26779 vsize=10553560 CPUtime=0.29 cores=1,3,5,7
/proc/26781/task/26796/stat : 26796 (java) S 26779 26781 23433 0 -1 4202560 2784 0 0 0 29 0 0 0 16 0 18 0 830612519 10806845440 197302 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 7 0 0 0
[pid=26781/tid=26797] ppid=26779 vsize=10553560 CPUtime=0.45 cores=1,3,5,7
/proc/26781/task/26797/stat : 26797 (java) S 26779 26781 23433 0 -1 4202560 5705 0 0 0 45 0 0 0 18 0 18 0 830612519 10806845440 197304 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
[pid=26781/tid=26798] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26798/stat : 26798 (java) S 26779 26781 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830612519 10806845440 197305 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 3 0 0 0
[pid=26781/tid=26799] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26799/stat : 26799 (java) S 26779 26781 23433 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 830612519 10806845440 197307 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562354176 0 4 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 10553560
[startup+6.30132 s]
/proc/loadavg: 3.50 3.70 3.37 4/492 26799
/proc/meminfo: memFree=29813880/32951124 swapFree=55639044/67111528
[pid=26781] ppid=26779 vsize=10553560 CPUtime=7.08 cores=1,3,5,7
/proc/26781/stat : 26781 (java) S 26779 26781 23433 0 -1 4202496 411418 0 1 0 665 43 0 0 23 0 18 0 830612513 10806845440 407390 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26781/statm: 2638390 407390 2223 9 0 2629124 0
[pid=26781/tid=26782] ppid=26779 vsize=10553560 CPUtime=6.28 cores=1,3,5,7
/proc/26781/task/26782/stat : 26782 (java) R 26779 26781 23433 0 -1 4202560 401466 0 1 0 586 42 0 0 21 0 18 0 830612514 10806845440 407390 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 46912505690632 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26781/tid=26784] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26784/stat : 26784 (java) S 26779 26781 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830612516 10806845440 407390 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 3 0 0 0
[pid=26781/tid=26785] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26785/stat : 26785 (java) S 26779 26781 23433 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830612516 10806845440 407390 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 3 0 0 0
[pid=26781/tid=26786] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26786/stat : 26786 (java) S 26779 26781 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830612516 10806845440 407390 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 3 0 0 0
[pid=26781/tid=26787] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26787/stat : 26787 (java) S 26779 26781 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830612516 10806845440 407390 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 3 0 0 0
[pid=26781/tid=26788] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26788/stat : 26788 (java) S 26779 26781 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830612516 10806845440 407390 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 3 0 0 0
[pid=26781/tid=26789] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26789/stat : 26789 (java) S 26779 26781 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830612516 10806845440 407390 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 3 0 0 0
[pid=26781/tid=26790] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26790/stat : 26790 (java) S 26779 26781 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830612516 10806845440 407390 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 3 0 0 0
[pid=26781/tid=26791] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26791/stat : 26791 (java) S 26779 26781 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830612516 10806845440 407390 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 3 0 0 0
[pid=26781/tid=26792] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26792/stat : 26792 (java) S 26779 26781 23433 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 18 0 830612517 10806845440 407390 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562354176 0 0 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
[pid=26781/tid=26793] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26793/stat : 26793 (java) S 26779 26781 23433 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 830612517 10806845440 407390 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
[pid=26781/tid=26794] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26794/stat : 26794 (java) S 26779 26781 23433 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 830612517 10806845440 407390 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
[pid=26781/tid=26795] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26795/stat : 26795 (java) S 26779 26781 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830612519 10806845440 407390 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562361265 0 4 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
[pid=26781/tid=26796] ppid=26779 vsize=10553560 CPUtime=0.31 cores=1,3,5,7
/proc/26781/task/26796/stat : 26796 (java) S 26779 26781 23433 0 -1 4202560 3082 0 0 0 31 0 0 0 15 0 18 0 830612519 10806845440 407390 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 7 0 0 0
[pid=26781/tid=26797] ppid=26779 vsize=10553560 CPUtime=0.46 cores=1,3,5,7
/proc/26781/task/26797/stat : 26797 (java) S 26779 26781 23433 0 -1 4202560 5715 0 0 0 46 0 0 0 16 0 18 0 830612519 10806845440 407390 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
[pid=26781/tid=26798] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26798/stat : 26798 (java) S 26779 26781 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830612519 10806845440 407390 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 3 0 0 0
[pid=26781/tid=26799] ppid=26779 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26799/stat : 26799 (java) S 26779 26781 23433 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 830612519 10806845440 407390 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562354176 0 4 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.13 4.05 3.76 5/496 26825
/proc/meminfo: memFree=26095884/32951124 swapFree=55639044/67111528
[pid=26781] ppid=26779 vsize=10554492 CPUtime=1639.57 cores=1,3,5,7
/proc/26781/stat : 26781 (java) S 26779 26781 23433 0 -1 4202496 1142234 0 1 0 163827 130 0 0 23 0 22 0 830612513 10807799808 1127878 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26781/statm: 2638623 1127878 2252 9 0 2629357 0
[pid=26781/tid=26782] ppid=26779 vsize=10554492 CPUtime=15.27 cores=1,3,5,7
/proc/26781/task/26782/stat : 26782 (java) S 26779 26781 23433 0 -1 4202560 651025 0 1 0 1458 69 0 0 15 0 22 0 830612514 10807799808 1127878 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562354176 0 4 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
[pid=26781/tid=26784] ppid=26779 vsize=10554492 CPUtime=1.97 cores=1,3,5,7
/proc/26781/task/26784/stat : 26784 (java) S 26779 26781 23433 0 -1 4202560 60433 0 0 0 189 8 0 0 16 0 22 0 830612516 10807799808 1127878 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 3 0 0 0
[pid=26781/tid=26785] ppid=26779 vsize=10554492 CPUtime=1.53 cores=1,3,5,7
/proc/26781/task/26785/stat : 26785 (java) S 26779 26781 23433 0 -1 4202560 26081 0 0 0 151 2 0 0 16 0 22 0 830612516 10807799808 1127878 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 1 0 0 0
[pid=26781/tid=26786] ppid=26779 vsize=10554492 CPUtime=2.53 cores=1,3,5,7
/proc/26781/task/26786/stat : 26786 (java) S 26779 26781 23433 0 -1 4202560 76095 0 0 0 244 9 0 0 15 0 22 0 830612516 10807799808 1127878 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 3 0 0 0
[pid=26781/tid=26787] ppid=26779 vsize=10554492 CPUtime=1.85 cores=1,3,5,7
/proc/26781/task/26787/stat : 26787 (java) S 26779 26781 23433 0 -1 4202560 25174 0 0 0 183 2 0 0 16 0 22 0 830612516 10807799808 1127878 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 7 0 0 0
[pid=26781/tid=26788] ppid=26779 vsize=10554492 CPUtime=2.22 cores=1,3,5,7
/proc/26781/task/26788/stat : 26788 (java) S 26779 26781 23433 0 -1 4202560 57707 0 0 0 215 7 0 0 16 0 22 0 830612516 10807799808 1127878 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
[pid=26781/tid=26789] ppid=26779 vsize=10554492 CPUtime=2.37 cores=1,3,5,7
/proc/26781/task/26789/stat : 26789 (java) S 26779 26781 23433 0 -1 4202560 87364 0 0 0 228 9 0 0 15 0 22 0 830612516 10807799808 1127878 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 1 0 0 0
[pid=26781/tid=26790] ppid=26779 vsize=10554492 CPUtime=2.01 cores=1,3,5,7
/proc/26781/task/26790/stat : 26790 (java) S 26779 26781 23433 0 -1 4202560 60403 0 0 0 195 6 0 0 15 0 22 0 830612516 10807799808 1127878 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 1 0 0 0
[pid=26781/tid=26791] ppid=26779 vsize=10554492 CPUtime=2.73 cores=1,3,5,7
/proc/26781/task/26791/stat : 26791 (java) S 26779 26781 23433 0 -1 4202560 81786 0 0 0 263 10 0 0 15 0 22 0 830612516 10807799808 1127878 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
[pid=26781/tid=26792] ppid=26779 vsize=10554492 CPUtime=0.02 cores=1,3,5,7
/proc/26781/task/26792/stat : 26792 (java) S 26779 26781 23433 0 -1 4202560 53 0 0 0 2 0 0 0 15 0 22 0 830612517 10807799808 1127878 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562354176 0 0 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
[pid=26781/tid=26793] ppid=26779 vsize=10554492 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26793/stat : 26793 (java) S 26779 26781 23433 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830612517 10807799808 1127878 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
[pid=26781/tid=26794] ppid=26779 vsize=10554492 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26794/stat : 26794 (java) S 26779 26781 23433 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830612517 10807799808 1127878 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
[pid=26781/tid=26795] ppid=26779 vsize=10554492 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26795/stat : 26795 (java) S 26779 26781 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830612519 10807799808 1127878 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562361265 0 4 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
[pid=26781/tid=26796] ppid=26779 vsize=10554492 CPUtime=1.15 cores=1,3,5,7
/proc/26781/task/26796/stat : 26796 (java) S 26779 26781 23433 0 -1 4202560 7811 0 0 0 115 0 0 0 16 0 22 0 830612519 10807799808 1127878 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 7 0 0 0
[pid=26781/tid=26797] ppid=26779 vsize=10554492 CPUtime=0.98 cores=1,3,5,7
/proc/26781/task/26797/stat : 26797 (java) S 26779 26781 23433 0 -1 4202560 6874 0 0 0 98 0 0 0 15 0 22 0 830612519 10807799808 1127878 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
[pid=26781/tid=26798] ppid=26779 vsize=10554492 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26798/stat : 26798 (java) S 26779 26781 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830612519 10807799808 1127878 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 3 0 0 0
[pid=26781/tid=26799] ppid=26779 vsize=10554492 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26799/stat : 26799 (java) S 26779 26781 23433 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 22 0 830612519 10807799808 1127878 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562354176 0 4 0 16800975 18446604455018516736 0 0 -1 1 0 0 0
[pid=26781/tid=26801] ppid=26779 vsize=10554492 CPUtime=802.41 cores=1,3,5,7
/proc/26781/task/26801/stat : 26801 (java) R 26779 26781 23433 0 -1 4202560 88 0 0 0 80241 0 0 0 25 0 22 0 830614091 10807799808 1127878 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 46912505934789 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26781/tid=26802] ppid=26779 vsize=10554492 CPUtime=802.38 cores=1,3,5,7
/proc/26781/task/26802/stat : 26802 (java) R 26779 26781 23433 0 -1 4202560 136 0 0 0 80238 0 0 0 25 0 22 0 830614091 10807799808 1127878 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 46912505602394 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26781/tid=26803] ppid=26779 vsize=10554492 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26803/stat : 26803 (java) S 26779 26781 23433 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830614126 10807799808 1127878 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562354176 0 4 0 16800975 18446604455018516736 0 0 -1 1 0 0 0
[pid=26781/tid=26804] ppid=26779 vsize=10554492 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26804/stat : 26804 (java) S 26779 26781 23433 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830614127 10807799808 1127878 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562354176 0 4 0 16800975 18446604455018516736 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1639.57
Current children cumulated vsize (KiB) 10554492
[startup+882.318 s]
/proc/loadavg: 4.05 4.04 3.77 5/496 26881
/proc/meminfo: memFree=26259388/32951124 swapFree=55639044/67111528
[pid=26781] ppid=26779 vsize=10554492 CPUtime=1759.77 cores=1,3,5,7
/proc/26781/stat : 26781 (java) S 26779 26781 23433 0 -1 4202496 1144627 0 1 0 175847 130 0 0 23 0 22 0 830612513 10807799808 1130225 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26781/statm: 2638623 1130225 2252 9 0 2629357 0
[pid=26781/tid=26782] ppid=26779 vsize=10554492 CPUtime=15.27 cores=1,3,5,7
/proc/26781/task/26782/stat : 26782 (java) S 26779 26781 23433 0 -1 4202560 651026 0 1 0 1458 69 0 0 15 0 22 0 830612514 10807799808 1130225 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562354176 0 4 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
[pid=26781/tid=26784] ppid=26779 vsize=10554492 CPUtime=2.03 cores=1,3,5,7
/proc/26781/task/26784/stat : 26784 (java) S 26779 26781 23433 0 -1 4202560 60649 0 0 0 195 8 0 0 16 0 22 0 830612516 10807799808 1130225 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 7 0 0 0
[pid=26781/tid=26785] ppid=26779 vsize=10554492 CPUtime=1.57 cores=1,3,5,7
/proc/26781/task/26785/stat : 26785 (java) S 26779 26781 23433 0 -1 4202560 26681 0 0 0 155 2 0 0 15 0 22 0 830612516 10807799808 1130225 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 3 0 0 0
[pid=26781/tid=26786] ppid=26779 vsize=10554492 CPUtime=2.57 cores=1,3,5,7
/proc/26781/task/26786/stat : 26786 (java) S 26779 26781 23433 0 -1 4202560 76470 0 0 0 248 9 0 0 16 0 22 0 830612516 10807799808 1130225 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 3 0 0 0
[pid=26781/tid=26787] ppid=26779 vsize=10554492 CPUtime=1.91 cores=1,3,5,7
/proc/26781/task/26787/stat : 26787 (java) S 26779 26781 23433 0 -1 4202560 25315 0 0 0 189 2 0 0 15 0 22 0 830612516 10807799808 1130225 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 7 0 0 0
[pid=26781/tid=26788] ppid=26779 vsize=10554492 CPUtime=2.23 cores=1,3,5,7
/proc/26781/task/26788/stat : 26788 (java) S 26779 26781 23433 0 -1 4202560 57729 0 0 0 216 7 0 0 15 0 22 0 830612516 10807799808 1130225 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
[pid=26781/tid=26789] ppid=26779 vsize=10554492 CPUtime=2.45 cores=1,3,5,7
/proc/26781/task/26789/stat : 26789 (java) S 26779 26781 23433 0 -1 4202560 87893 0 0 0 236 9 0 0 16 0 22 0 830612516 10807799808 1130225 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 1 0 0 0
[pid=26781/tid=26790] ppid=26779 vsize=10554492 CPUtime=2.07 cores=1,3,5,7
/proc/26781/task/26790/stat : 26790 (java) S 26779 26781 23433 0 -1 4202560 60660 0 0 0 201 6 0 0 15 0 22 0 830612516 10807799808 1130225 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 3 0 0 0
[pid=26781/tid=26791] ppid=26779 vsize=10554492 CPUtime=2.77 cores=1,3,5,7
/proc/26781/task/26791/stat : 26791 (java) S 26779 26781 23433 0 -1 4202560 82020 0 0 0 267 10 0 0 16 0 22 0 830612516 10807799808 1130225 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
[pid=26781/tid=26792] ppid=26779 vsize=10554492 CPUtime=0.02 cores=1,3,5,7
/proc/26781/task/26792/stat : 26792 (java) S 26779 26781 23433 0 -1 4202560 57 0 0 0 2 0 0 0 15 0 22 0 830612517 10807799808 1130225 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562354176 0 0 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
[pid=26781/tid=26793] ppid=26779 vsize=10554492 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26793/stat : 26793 (java) S 26779 26781 23433 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830612517 10807799808 1130225 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
[pid=26781/tid=26794] ppid=26779 vsize=10554492 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26794/stat : 26794 (java) S 26779 26781 23433 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830612517 10807799808 1130225 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
[pid=26781/tid=26795] ppid=26779 vsize=10554492 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26795/stat : 26795 (java) S 26779 26781 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830612519 10807799808 1130225 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562361265 0 4 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
[pid=26781/tid=26796] ppid=26779 vsize=10554492 CPUtime=1.15 cores=1,3,5,7
/proc/26781/task/26796/stat : 26796 (java) S 26779 26781 23433 0 -1 4202560 7811 0 0 0 115 0 0 0 16 0 22 0 830612519 10807799808 1130225 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 7 0 0 0
[pid=26781/tid=26797] ppid=26779 vsize=10554492 CPUtime=0.98 cores=1,3,5,7
/proc/26781/task/26797/stat : 26797 (java) S 26779 26781 23433 0 -1 4202560 6874 0 0 0 98 0 0 0 15 0 22 0 830612519 10807799808 1130225 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
[pid=26781/tid=26798] ppid=26779 vsize=10554492 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26798/stat : 26798 (java) S 26779 26781 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830612519 10807799808 1130225 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 3 0 0 0
[pid=26781/tid=26799] ppid=26779 vsize=10554492 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26799/stat : 26799 (java) S 26779 26781 23433 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 830612519 10807799808 1130225 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562354176 0 4 0 16800975 18446604455018516736 0 0 -1 7 0 0 0
[pid=26781/tid=26801] ppid=26779 vsize=10554492 CPUtime=862.31 cores=1,3,5,7
/proc/26781/task/26801/stat : 26801 (java) R 26779 26781 23433 0 -1 4202560 93 0 0 0 86231 0 0 0 25 0 22 0 830614091 10807799808 1130225 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 46912505972243 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26781/tid=26802] ppid=26779 vsize=10554492 CPUtime=862.28 cores=1,3,5,7
/proc/26781/task/26802/stat : 26802 (java) R 26779 26781 23433 0 -1 4202560 141 0 0 0 86228 0 0 0 25 0 22 0 830614091 10807799808 1130225 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 46912506097208 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26781/tid=26803] ppid=26779 vsize=10554492 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26803/stat : 26803 (java) S 26779 26781 23433 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830614126 10807799808 1130225 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562354176 0 4 0 16800975 18446604455018516736 0 0 -1 1 0 0 0
[pid=26781/tid=26804] ppid=26779 vsize=10554492 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26804/stat : 26804 (java) S 26779 26781 23433 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830614127 10807799808 1130225 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562354176 0 4 0 16800975 18446604455018516736 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1759.77
Current children cumulated vsize (KiB) 10554492
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+902.401 s]
/proc/loadavg: 4.22 4.08 3.79 5/496 26887
/proc/meminfo: memFree=25162992/32951124 swapFree=55639044/67111528
[pid=26781] ppid=26779 vsize=10554492 CPUtime=1800.06 cores=1,3,5,7
/proc/26781/stat : 26781 (java) S 26779 26781 23433 0 -1 4202496 1145327 0 1 0 179876 130 0 0 23 0 22 0 830612513 10807799808 1130907 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26781/statm: 2638623 1130907 2252 9 0 2629357 0
[pid=26781/tid=26782] ppid=26779 vsize=10554492 CPUtime=15.27 cores=1,3,5,7
/proc/26781/task/26782/stat : 26782 (java) S 26779 26781 23433 0 -1 4202560 651026 0 1 0 1458 69 0 0 15 0 22 0 830612514 10807799808 1130907 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562354176 0 4 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
[pid=26781/tid=26784] ppid=26779 vsize=10554492 CPUtime=2.06 cores=1,3,5,7
/proc/26781/task/26784/stat : 26784 (java) S 26779 26781 23433 0 -1 4202560 60808 0 0 0 198 8 0 0 16 0 22 0 830612516 10807799808 1130907 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 7 0 0 0
[pid=26781/tid=26785] ppid=26779 vsize=10554492 CPUtime=1.61 cores=1,3,5,7
/proc/26781/task/26785/stat : 26785 (java) S 26779 26781 23433 0 -1 4202560 26839 0 0 0 159 2 0 0 15 0 22 0 830612516 10807799808 1130907 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 3 0 0 0
[pid=26781/tid=26786] ppid=26779 vsize=10554492 CPUtime=2.59 cores=1,3,5,7
/proc/26781/task/26786/stat : 26786 (java) S 26779 26781 23433 0 -1 4202560 76482 0 0 0 250 9 0 0 15 0 22 0 830612516 10807799808 1130907 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 7 0 0 0
[pid=26781/tid=26787] ppid=26779 vsize=10554492 CPUtime=1.94 cores=1,3,5,7
/proc/26781/task/26787/stat : 26787 (java) S 26779 26781 23433 0 -1 4202560 25424 0 0 0 192 2 0 0 16 0 22 0 830612516 10807799808 1130907 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 3 0 0 0
[pid=26781/tid=26788] ppid=26779 vsize=10554492 CPUtime=2.25 cores=1,3,5,7
/proc/26781/task/26788/stat : 26788 (java) S 26779 26781 23433 0 -1 4202560 57894 0 0 0 218 7 0 0 16 0 22 0 830612516 10807799808 1130907 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
[pid=26781/tid=26789] ppid=26779 vsize=10554492 CPUtime=2.48 cores=1,3,5,7
/proc/26781/task/26789/stat : 26789 (java) S 26779 26781 23433 0 -1 4202560 87936 0 0 0 239 9 0 0 16 0 22 0 830612516 10807799808 1130907 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 1 0 0 0
[pid=26781/tid=26790] ppid=26779 vsize=10554492 CPUtime=2.09 cores=1,3,5,7
/proc/26781/task/26790/stat : 26790 (java) S 26779 26781 23433 0 -1 4202560 60692 0 0 0 203 6 0 0 15 0 22 0 830612516 10807799808 1130907 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 1 0 0 0
[pid=26781/tid=26791] ppid=26779 vsize=10554492 CPUtime=2.79 cores=1,3,5,7
/proc/26781/task/26791/stat : 26791 (java) S 26779 26781 23433 0 -1 4202560 82035 0 0 0 269 10 0 0 15 0 22 0 830612516 10807799808 1130907 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
[pid=26781/tid=26792] ppid=26779 vsize=10554492 CPUtime=0.02 cores=1,3,5,7
/proc/26781/task/26792/stat : 26792 (java) S 26779 26781 23433 0 -1 4202560 59 0 0 0 2 0 0 0 15 0 22 0 830612517 10807799808 1130907 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562354176 0 0 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
[pid=26781/tid=26793] ppid=26779 vsize=10554492 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26793/stat : 26793 (java) S 26779 26781 23433 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830612517 10807799808 1130907 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
[pid=26781/tid=26794] ppid=26779 vsize=10554492 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26794/stat : 26794 (java) S 26779 26781 23433 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830612517 10807799808 1130907 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
[pid=26781/tid=26795] ppid=26779 vsize=10554492 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26795/stat : 26795 (java) S 26779 26781 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830612519 10807799808 1130907 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562361265 0 4 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
[pid=26781/tid=26796] ppid=26779 vsize=10554492 CPUtime=1.15 cores=1,3,5,7
/proc/26781/task/26796/stat : 26796 (java) S 26779 26781 23433 0 -1 4202560 7811 0 0 0 115 0 0 0 16 0 22 0 830612519 10807799808 1130907 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 7 0 0 0
[pid=26781/tid=26797] ppid=26779 vsize=10554492 CPUtime=0.98 cores=1,3,5,7
/proc/26781/task/26797/stat : 26797 (java) S 26779 26781 23433 0 -1 4202560 6874 0 0 0 98 0 0 0 15 0 22 0 830612519 10807799808 1130907 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 5 0 0 0
[pid=26781/tid=26798] ppid=26779 vsize=10554492 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26798/stat : 26798 (java) S 26779 26781 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830612519 10807799808 1130907 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562353561 0 4 0 16800975 18446604455018516736 0 0 -1 3 0 0 0
[pid=26781/tid=26799] ppid=26779 vsize=10554492 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26799/stat : 26799 (java) S 26779 26781 23433 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830612519 10807799808 1130907 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562354176 0 4 0 16800975 18446604455018516736 0 0 -1 7 0 0 0
[pid=26781/tid=26801] ppid=26779 vsize=10554492 CPUtime=882.36 cores=1,3,5,7
/proc/26781/task/26801/stat : 26801 (java) R 26779 26781 23433 0 -1 4202560 93 0 0 0 88236 0 0 0 25 0 22 0 830614091 10807799808 1130907 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 46912505971975 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26781/tid=26802] ppid=26779 vsize=10554492 CPUtime=882.33 cores=1,3,5,7
/proc/26781/task/26802/stat : 26802 (java) R 26779 26781 23433 0 -1 4202560 144 0 0 0 88233 0 0 0 25 0 22 0 830614091 10807799808 1130907 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 46912506095794 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26781/tid=26803] ppid=26779 vsize=10554492 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26803/stat : 26803 (java) S 26779 26781 23433 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830614126 10807799808 1130907 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562354176 0 4 0 16800975 18446604455018516736 0 0 -1 1 0 0 0
[pid=26781/tid=26804] ppid=26779 vsize=10554492 CPUtime=0 cores=1,3,5,7
/proc/26781/task/26804/stat : 26804 (java) S 26779 26781 23433 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830614127 10807799808 1130907 33554432000 1073741824 1073778376 140736200362720 18446744073709551615 271562354176 0 4 0 16800975 18446604455018516736 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10554492
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+902.523 s]
/proc/loadavg: 4.22 4.08 3.79 5/496 26887
/proc/meminfo: memFree=25162992/32951124 swapFree=55639044/67111528
[pid=26781] ppid=26779 vsize=0 CPUtime=1800.18 cores=1,3,5,7
/proc/26781/stat : 26781 (java) Z 26779 26781 23433 0 -1 4203548 1145356 0 1 0 179879 139 0 0 17 0 2 0 830612513 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26781/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 902.597
CPU time (s): 1800.27
CPU user time (s): 1798.8
CPU system time (s): 1.47078
CPU usage (%): 199.454
Max. virtual memory (cumulated for all children) (KiB): 10559288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.8
system time used= 1.47078
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1145356
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= 24470
involuntary context switches= 25515
runsolver used 4.30835 second user time and 9.68953 second system time
The end