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-3454370-1307189562/watcher-3454370-1307189562 -o /tmp/evaluation-result-3454370-1307189562/solver-3454370-1307189562 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454370-1307189562.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.58 3.73 3.48 3/294 14723
/proc/meminfo: memFree=25391352/32951124 swapFree=55664332/67111528
[pid=14723] ppid=14721 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/14723/stat : 14723 (java) R 14721 14723 10640 0 -1 4202496 956 0 0 0 0 0 0 0 25 0 1 0 830556946 23580672 699 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222916814737 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14723/statm: 5757 700 517 9 0 124 0
[pid=14723/tid=14724] ppid=14721 vsize=35820 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14724/stat : 14724 (java) R 14721 14723 10640 0 -1 4202560 242 0 1 0 0 0 0 0 17 0 2 0 830556946 36679680 1059 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222921463504 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0146841 s]
/proc/loadavg: 3.58 3.73 3.48 3/294 14723
/proc/meminfo: memFree=25391352/32951124 swapFree=55664332/67111528
[pid=14723] ppid=14721 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/14723/stat : 14723 (java) S 14721 14723 10640 0 -1 4202496 3319 0 1 0 0 0 0 0 25 0 2 0 830556946 10694979584 3020 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933579749 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/14723/statm: 2611079 3037 917 9 0 2602235 0
[pid=14723/tid=14724] ppid=14721 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14724/stat : 14724 (java) R 14721 14723 10640 0 -1 4202560 2232 0 1 0 0 0 0 0 17 0 2 0 830556946 10694979584 3048 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222921471035 0 4 0 16784584 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10444316
[startup+0.100638 s]
/proc/loadavg: 3.58 3.73 3.48 3/294 14723
/proc/meminfo: memFree=25391352/32951124 swapFree=55664332/67111528
[pid=14723] ppid=14721 vsize=10539592 CPUtime=0.1 cores=0,2,4,6
/proc/14723/stat : 14723 (java) S 14721 14723 10640 0 -1 4202496 12989 0 1 0 9 1 0 0 25 0 18 0 830556946 10792542208 12660 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14723/statm: 2634898 12660 2092 9 0 2625632 0
[pid=14723/tid=14724] ppid=14721 vsize=10539592 CPUtime=0.08 cores=0,2,4,6
/proc/14723/task/14724/stat : 14724 (java) R 14721 14723 10640 0 -1 4202560 11054 0 1 0 7 1 0 0 18 0 18 0 830556946 10792542208 12661 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 47458490833747 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539592
[startup+0.300663 s]
/proc/loadavg: 3.58 3.73 3.48 3/294 14723
/proc/meminfo: memFree=25391352/32951124 swapFree=55664332/67111528
[pid=14723] ppid=14721 vsize=10540288 CPUtime=0.48 cores=0,2,4,6
/proc/14723/stat : 14723 (java) S 14721 14723 10640 0 -1 4202496 15799 0 1 0 46 2 0 0 25 0 18 0 830556946 10793254912 15090 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14723/statm: 2635072 15091 2198 9 0 2625806 0
[pid=14723/tid=14724] ppid=14721 vsize=10540288 CPUtime=0.27 cores=0,2,4,6
/proc/14723/task/14724/stat : 14724 (java) R 14721 14723 10640 0 -1 4202560 12853 0 1 0 26 1 0 0 18 0 18 0 830556946 10793254912 15091 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 46912505526773 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10540288
[startup+0.700591 s]
/proc/loadavg: 3.58 3.73 3.48 3/294 14723
/proc/meminfo: memFree=25391352/32951124 swapFree=55664332/67111528
[pid=14723] ppid=14721 vsize=10545668 CPUtime=1.17 cores=0,2,4,6
/proc/14723/stat : 14723 (java) S 14721 14723 10640 0 -1 4202496 54104 0 1 0 111 6 0 0 25 0 18 0 830556946 10798764032 52638 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14723/statm: 2636417 52643 2213 9 0 2627151 0
[pid=14723/tid=14724] ppid=14721 vsize=10545668 CPUtime=0.67 cores=0,2,4,6
/proc/14723/task/14724/stat : 14724 (java) R 14721 14723 10640 0 -1 4202560 48147 0 1 0 62 5 0 0 18 0 18 0 830556946 10798764032 52645 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 46912505747277 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 10545668
[startup+1.5014 s]
/proc/loadavg: 3.58 3.73 3.48 3/313 14745
/proc/meminfo: memFree=25103220/32951124 swapFree=55664332/67111528
[pid=14723] ppid=14721 vsize=10549780 CPUtime=1.91 cores=0,2,4,6
/proc/14723/stat : 14723 (java) S 14721 14723 10640 0 -1 4202496 76559 0 1 0 182 9 0 0 25 0 20 0 830556946 10802974720 74419 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14723/statm: 2637445 74419 2235 9 0 2628179 0
[pid=14723/tid=14724] ppid=14721 vsize=10549780 CPUtime=0.86 cores=0,2,4,6
/proc/14723/task/14724/stat : 14724 (java) S 14721 14723 10640 0 -1 4202560 69221 0 1 0 78 8 0 0 16 0 20 0 830556946 10802974720 74419 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933593600 0 4 0 16800975 18446604453662591680 0 0 -1 4 0 0 0
[pid=14723/tid=14726] ppid=14721 vsize=10549780 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14726/stat : 14726 (java) S 14721 14723 10640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 20 0 830556948 10802974720 74419 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 6 0 0 0
[pid=14723/tid=14727] ppid=14721 vsize=10549780 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14727/stat : 14727 (java) S 14721 14723 10640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 20 0 830556948 10802974720 74419 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 6 0 0 0
[pid=14723/tid=14728] ppid=14721 vsize=10549780 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14728/stat : 14728 (java) S 14721 14723 10640 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 830556948 10802974720 74419 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 4 0 0 0
[pid=14723/tid=14729] ppid=14721 vsize=10549780 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14729/stat : 14729 (java) S 14721 14723 10640 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 830556948 10802974720 74419 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 6 0 0 0
[pid=14723/tid=14730] ppid=14721 vsize=10549780 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14730/stat : 14730 (java) S 14721 14723 10640 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 830556948 10802974720 74419 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 4 0 0 0
[pid=14723/tid=14731] ppid=14721 vsize=10549780 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14731/stat : 14731 (java) S 14721 14723 10640 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 830556948 10802974720 74419 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 4 0 0 0
[pid=14723/tid=14732] ppid=14721 vsize=10549780 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14732/stat : 14732 (java) S 14721 14723 10640 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 20 0 830556948 10802974720 74419 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 6 0 0 0
[pid=14723/tid=14733] ppid=14721 vsize=10549780 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14733/stat : 14733 (java) S 14721 14723 10640 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 830556948 10802974720 74419 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 4 0 0 0
[pid=14723/tid=14734] ppid=14721 vsize=10549780 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14734/stat : 14734 (java) S 14721 14723 10640 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 20 0 830556949 10802974720 74419 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933593600 0 0 0 16800975 18446604453662591680 0 0 -1 6 0 0 0
[pid=14723/tid=14735] ppid=14721 vsize=10549780 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14735/stat : 14735 (java) S 14721 14723 10640 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 20 0 830556950 10802974720 74419 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 6 0 0 0
[pid=14723/tid=14736] ppid=14721 vsize=10549780 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14736/stat : 14736 (java) S 14721 14723 10640 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 20 0 830556950 10802974720 74419 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 0 0 0 0
[pid=14723/tid=14737] ppid=14721 vsize=10549780 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14737/stat : 14737 (java) S 14721 14723 10640 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 20 0 830556952 10802974720 74419 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933600689 0 4 0 16800975 18446604453662591680 0 0 -1 6 0 0 0
[pid=14723/tid=14738] ppid=14721 vsize=10549780 CPUtime=0.44 cores=0,2,4,6
/proc/14723/task/14738/stat : 14738 (java) R 14721 14723 10640 0 -1 4202560 3384 0 0 0 44 0 0 0 16 0 20 0 830556952 10802974720 74419 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 47458490935205 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=14723/tid=14739] ppid=14721 vsize=10549780 CPUtime=0.34 cores=0,2,4,6
/proc/14723/task/14739/stat : 14739 (java) R 14721 14723 10640 0 -1 4202560 2168 0 0 0 34 0 0 0 17 0 20 0 830556952 10802974720 74419 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 47458489870928 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=14723/tid=14740] ppid=14721 vsize=10549780 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14740/stat : 14740 (java) S 14721 14723 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830556952 10802974720 74419 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 6 0 0 0
[pid=14723/tid=14741] ppid=14721 vsize=10549780 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14741/stat : 14741 (java) S 14721 14723 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 830556952 10802974720 74419 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933593600 0 4 0 16800975 18446604453662591680 0 0 -1 0 0 0 0
[pid=14723/tid=14744] ppid=14721 vsize=10549780 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14744/stat : 14744 (java) S 14721 14723 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 20 0 830557035 10802974720 74419 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933593600 0 4 0 16800975 18446604453662591680 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 10549780
[startup+3.10112 s]
/proc/loadavg: 3.58 3.73 3.48 3/313 14751
/proc/meminfo: memFree=25085488/32951124 swapFree=55664332/67111528
[pid=14723] ppid=14721 vsize=10549376 CPUtime=4.22 cores=0,2,4,6
/proc/14723/stat : 14723 (java) S 14721 14723 10640 0 -1 4202496 109423 0 1 0 408 14 0 0 25 0 22 0 830556946 10802561024 103940 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14723/statm: 2637344 103940 2240 9 0 2628078 0
[pid=14723/tid=14724] ppid=14721 vsize=10549376 CPUtime=0.87 cores=0,2,4,6
/proc/14723/task/14724/stat : 14724 (java) S 14721 14723 10640 0 -1 4202560 69334 0 1 0 79 8 0 0 15 0 22 0 830556946 10802561024 103941 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933593600 0 4 0 16800975 18446604453662591680 0 0 -1 4 0 0 0
[pid=14723/tid=14726] ppid=14721 vsize=10549376 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14726/stat : 14726 (java) S 14721 14723 10640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830556948 10802561024 103942 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 6 0 0 0
[pid=14723/tid=14727] ppid=14721 vsize=10549376 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14727/stat : 14727 (java) S 14721 14723 10640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830556948 10802561024 103943 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 6 0 0 0
[pid=14723/tid=14728] ppid=14721 vsize=10549376 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14728/stat : 14728 (java) S 14721 14723 10640 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830556948 10802561024 103944 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 4 0 0 0
[pid=14723/tid=14729] ppid=14721 vsize=10549376 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14729/stat : 14729 (java) S 14721 14723 10640 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830556948 10802561024 103945 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 6 0 0 0
[pid=14723/tid=14730] ppid=14721 vsize=10549376 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14730/stat : 14730 (java) S 14721 14723 10640 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830556948 10802561024 103946 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 4 0 0 0
[pid=14723/tid=14731] ppid=14721 vsize=10549376 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14731/stat : 14731 (java) S 14721 14723 10640 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830556948 10802561024 103946 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 4 0 0 0
[pid=14723/tid=14732] ppid=14721 vsize=10549376 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14732/stat : 14732 (java) S 14721 14723 10640 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 22 0 830556948 10802561024 103947 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 6 0 0 0
[pid=14723/tid=14733] ppid=14721 vsize=10549376 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14733/stat : 14733 (java) S 14721 14723 10640 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830556948 10802561024 103948 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 4 0 0 0
[pid=14723/tid=14734] ppid=14721 vsize=10549376 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14734/stat : 14734 (java) S 14721 14723 10640 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 22 0 830556949 10802561024 103949 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933593600 0 0 0 16800975 18446604453662591680 0 0 -1 6 0 0 0
[pid=14723/tid=14735] ppid=14721 vsize=10549376 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14735/stat : 14735 (java) S 14721 14723 10640 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 22 0 830556950 10802561024 103950 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 6 0 0 0
[pid=14723/tid=14736] ppid=14721 vsize=10549376 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14736/stat : 14736 (java) S 14721 14723 10640 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 22 0 830556950 10802561024 103950 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 0 0 0 0
[pid=14723/tid=14737] ppid=14721 vsize=10549376 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14737/stat : 14737 (java) S 14721 14723 10640 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 830556952 10802561024 103951 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933600689 0 4 0 16800975 18446604453662591680 0 0 -1 6 0 0 0
[pid=14723/tid=14738] ppid=14721 vsize=10549376 CPUtime=0.77 cores=0,2,4,6
/proc/14723/task/14738/stat : 14738 (java) S 14721 14723 10640 0 -1 4202560 4410 0 0 0 77 0 0 0 15 0 22 0 830556952 10802561024 103952 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 2 0 0 0
[pid=14723/tid=14739] ppid=14721 vsize=10549376 CPUtime=0.81 cores=0,2,4,6
/proc/14723/task/14739/stat : 14739 (java) S 14721 14723 10640 0 -1 4202560 7797 0 0 0 80 1 0 0 15 0 22 0 830556952 10802561024 103953 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 6 0 0 0
[pid=14723/tid=14740] ppid=14721 vsize=10549376 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14740/stat : 14740 (java) S 14721 14723 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830556952 10802561024 103954 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 6 0 0 0
[pid=14723/tid=14741] ppid=14721 vsize=10549376 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14741/stat : 14741 (java) S 14721 14723 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830556952 10802561024 103956 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933593600 0 4 0 16800975 18446604453662591680 0 0 -1 2 0 0 0
[pid=14723/tid=14744] ppid=14721 vsize=10549376 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14744/stat : 14744 (java) S 14721 14723 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830557035 10802561024 103957 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933593600 0 4 0 16800975 18446604453662591680 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.22
Current children cumulated vsize (KiB) 10549376
[startup+6.3015 s]
/proc/loadavg: 3.61 3.74 3.48 5/316 14760
/proc/meminfo: memFree=24638504/32951124 swapFree=55664332/67111528
[pid=14723] ppid=14721 vsize=10549376 CPUtime=9.7 cores=0,2,4,6
/proc/14723/stat : 14723 (java) S 14721 14723 10640 0 -1 4202496 211381 0 1 0 945 25 0 0 25 0 22 0 830556946 10802561024 205868 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14723/statm: 2637344 205868 2268 9 0 2628078 0
[pid=14723/tid=14724] ppid=14721 vsize=10549376 CPUtime=0.88 cores=0,2,4,6
/proc/14723/task/14724/stat : 14724 (java) S 14721 14723 10640 0 -1 4202560 69444 0 1 0 80 8 0 0 16 0 22 0 830556946 10802561024 205868 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933593600 0 4 0 16800975 18446604453662591680 0 0 -1 0 0 0 0
[pid=14723/tid=14726] ppid=14721 vsize=10549376 CPUtime=0.01 cores=0,2,4,6
/proc/14723/task/14726/stat : 14726 (java) S 14721 14723 10640 0 -1 4202560 1741 0 0 0 1 0 0 0 18 0 22 0 830556948 10802561024 205869 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 4 0 0 0
[pid=14723/tid=14727] ppid=14721 vsize=10549376 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14727/stat : 14727 (java) S 14721 14723 10640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830556948 10802561024 205869 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 4 0 0 0
[pid=14723/tid=14728] ppid=14721 vsize=10549376 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14728/stat : 14728 (java) S 14721 14723 10640 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830556948 10802561024 205869 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 4 0 0 0
[pid=14723/tid=14729] ppid=14721 vsize=10549376 CPUtime=0.03 cores=0,2,4,6
/proc/14723/task/14729/stat : 14729 (java) S 14721 14723 10640 0 -1 4202560 3158 0 0 0 3 0 0 0 18 0 22 0 830556948 10802561024 205869 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 2 0 0 0
[pid=14723/tid=14730] ppid=14721 vsize=10549376 CPUtime=0.03 cores=0,2,4,6
/proc/14723/task/14730/stat : 14730 (java) S 14721 14723 10640 0 -1 4202560 2363 0 0 0 3 0 0 0 18 0 22 0 830556948 10802561024 205870 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 4 0 0 0
[pid=14723/tid=14731] ppid=14721 vsize=10549376 CPUtime=0.02 cores=0,2,4,6
/proc/14723/task/14731/stat : 14731 (java) S 14721 14723 10640 0 -1 4202560 4713 0 0 0 2 0 0 0 18 0 22 0 830556948 10802561024 205870 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 0 0 0 0
[pid=14723/tid=14732] ppid=14721 vsize=10549376 CPUtime=0.01 cores=0,2,4,6
/proc/14723/task/14732/stat : 14732 (java) S 14721 14723 10640 0 -1 4202560 1555 0 0 0 1 0 0 0 18 0 22 0 830556948 10802561024 205870 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 4 0 0 0
[pid=14723/tid=14733] ppid=14721 vsize=10549376 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14733/stat : 14733 (java) S 14721 14723 10640 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830556948 10802561024 205870 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 4 0 0 0
[pid=14723/tid=14734] ppid=14721 vsize=10549376 CPUtime=0.13 cores=0,2,4,6
/proc/14723/task/14734/stat : 14734 (java) S 14721 14723 10640 0 -1 4202560 15258 0 0 0 12 1 0 0 15 0 22 0 830556949 10802561024 205870 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933593600 0 0 0 16800975 18446604453662591680 0 0 -1 2 0 0 0
[pid=14723/tid=14735] ppid=14721 vsize=10549376 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14735/stat : 14735 (java) S 14721 14723 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830556950 10802561024 205870 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 6 0 0 0
[pid=14723/tid=14736] ppid=14721 vsize=10549376 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14736/stat : 14736 (java) S 14721 14723 10640 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830556950 10802561024 205871 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 2 0 0 0
[pid=14723/tid=14737] ppid=14721 vsize=10549376 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14737/stat : 14737 (java) S 14721 14723 10640 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 830556952 10802561024 205871 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933600689 0 4 0 16800975 18446604453662591680 0 0 -1 6 0 0 0
[pid=14723/tid=14738] ppid=14721 vsize=10549376 CPUtime=0.83 cores=0,2,4,6
/proc/14723/task/14738/stat : 14738 (java) S 14721 14723 10640 0 -1 4202560 4414 0 0 0 83 0 0 0 15 0 22 0 830556952 10802561024 205871 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 2 0 0 0
[pid=14723/tid=14739] ppid=14721 vsize=10549376 CPUtime=0.94 cores=0,2,4,6
/proc/14723/task/14739/stat : 14739 (java) S 14721 14723 10640 0 -1 4202560 7821 0 0 0 93 1 0 0 15 0 22 0 830556952 10802561024 205871 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 6 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=21152140/32951124 swapFree=55664332/67111528
[pid=14723] ppid=14721 vsize=10551072 CPUtime=1658.49 cores=0,2,4,6
/proc/14723/stat : 14723 (java) S 14721 14723 10640 0 -1 4202496 937411 0 1 0 165738 111 0 0 25 0 22 0 830556946 10804297728 931438 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14723/statm: 2637768 931438 2269 9 0 2628502 0
[pid=14723/tid=14724] ppid=14721 vsize=10551072 CPUtime=0.89 cores=0,2,4,6
/proc/14723/task/14724/stat : 14724 (java) S 14721 14723 10640 0 -1 4202560 69462 0 1 0 81 8 0 0 15 0 22 0 830556946 10804297728 931438 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933593600 0 4 0 16800975 18446604453662591680 0 0 -1 2 0 0 0
[pid=14723/tid=14726] ppid=14721 vsize=10551072 CPUtime=1.23 cores=0,2,4,6
/proc/14723/task/14726/stat : 14726 (java) S 14721 14723 10640 0 -1 4202560 8417 0 0 0 122 1 0 0 16 0 22 0 830556948 10804297728 931438 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 4 0 0 0
[pid=14723/tid=14727] ppid=14721 vsize=10551072 CPUtime=1.41 cores=0,2,4,6
/proc/14723/task/14727/stat : 14727 (java) S 14721 14723 10640 0 -1 4202560 17322 0 0 0 139 2 0 0 16 0 22 0 830556948 10804297728 931438 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 2 0 0 0
[pid=14723/tid=14728] ppid=14721 vsize=10551072 CPUtime=1.68 cores=0,2,4,6
/proc/14723/task/14728/stat : 14728 (java) S 14721 14723 10640 0 -1 4202560 17374 0 0 0 166 2 0 0 16 0 22 0 830556948 10804297728 931438 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 0 0 0 0
[pid=14723/tid=14729] ppid=14721 vsize=10551072 CPUtime=1.35 cores=0,2,4,6
/proc/14723/task/14729/stat : 14729 (java) S 14721 14723 10640 0 -1 4202560 11508 0 0 0 134 1 0 0 15 0 22 0 830556948 10804297728 931438 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 2 0 0 0
[pid=14723/tid=14730] ppid=14721 vsize=10551072 CPUtime=1.39 cores=0,2,4,6
/proc/14723/task/14730/stat : 14730 (java) S 14721 14723 10640 0 -1 4202560 8033 0 0 0 138 1 0 0 16 0 22 0 830556948 10804297728 931438 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 2 0 0 0
[pid=14723/tid=14731] ppid=14721 vsize=10551072 CPUtime=1.31 cores=0,2,4,6
/proc/14723/task/14731/stat : 14731 (java) S 14721 14723 10640 0 -1 4202560 11690 0 0 0 130 1 0 0 15 0 22 0 830556948 10804297728 931438 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 4 0 0 0
[pid=14723/tid=14732] ppid=14721 vsize=10551072 CPUtime=1.37 cores=0,2,4,6
/proc/14723/task/14732/stat : 14732 (java) S 14721 14723 10640 0 -1 4202560 11252 0 0 0 136 1 0 0 15 0 22 0 830556948 10804297728 931438 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 6 0 0 0
[pid=14723/tid=14733] ppid=14721 vsize=10551072 CPUtime=1.45 cores=0,2,4,6
/proc/14723/task/14733/stat : 14733 (java) S 14721 14723 10640 0 -1 4202560 7993 0 0 0 144 1 0 0 16 0 22 0 830556948 10804297728 931438 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 6 0 0 0
[pid=14723/tid=14734] ppid=14721 vsize=10551072 CPUtime=96.62 cores=0,2,4,6
/proc/14723/task/14734/stat : 14734 (java) S 14721 14723 10640 0 -1 4202560 249255 0 0 0 9637 25 0 0 18 0 22 0 830556949 10804297728 931438 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933593600 0 0 0 16800975 18446604453662591680 0 0 -1 6 0 0 0
[pid=14723/tid=14735] ppid=14721 vsize=10551072 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14735/stat : 14735 (java) S 14721 14723 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830556950 10804297728 931438 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 0 0 0 0
[pid=14723/tid=14736] ppid=14721 vsize=10551072 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14736/stat : 14736 (java) S 14721 14723 10640 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 830556950 10804297728 931438 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 2 0 0 0
[pid=14723/tid=14737] ppid=14721 vsize=10551072 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14737/stat : 14737 (java) S 14721 14723 10640 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 830556952 10804297728 931438 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933600689 0 4 0 16800975 18446604453662591680 0 0 -1 6 0 0 0
[pid=14723/tid=14738] ppid=14721 vsize=10551072 CPUtime=1.13 cores=0,2,4,6
/proc/14723/task/14738/stat : 14738 (java) S 14721 14723 10640 0 -1 4202560 4835 0 0 0 113 0 0 0 16 0 22 0 830556952 10804297728 931438 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 6 0 0 0
[pid=14723/tid=14739] ppid=14721 vsize=10551072 CPUtime=1.51 cores=0,2,4,6
/proc/14723/task/14739/stat : 14739 (java) S 14721 14723 10640 0 -1 4202560 7883 0 0 0 150 1 0 0 15 0 22 0 830556952 10804297728 931438 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 4 0 0 0
[pid=14723/tid=14740] ppid=14721 vsize=10551072 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14740/stat : 14740 (java) S 14721 14723 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830556952 10804297728 931438 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 6 0 0 0
[pid=14723/tid=14741] ppid=14721 vsize=10551072 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14741/stat : 14741 (java) S 14721 14723 10640 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 830556952 10804297728 931438 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933593600 0 4 0 16800975 18446604453662591680 0 0 -1 2 0 0 0
[pid=14723/tid=14744] ppid=14721 vsize=10551072 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14744/stat : 14744 (java) S 14721 14723 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830557035 10804297728 931438 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933593600 0 4 0 16800975 18446604453662591680 0 0 -1 2 0 0 0
[pid=14723/tid=14848] ppid=14721 vsize=10551072 CPUtime=65.64 cores=0,2,4,6
/proc/14723/task/14848/stat : 14848 (java) R 14721 14723 10640 0 -1 4202560 9 0 0 0 6564 0 0 0 25 0 22 0 830636375 10804297728 931438 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 46912505896044 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14723/tid=14849] ppid=14721 vsize=10551072 CPUtime=65.64 cores=0,2,4,6
/proc/14723/task/14849/stat : 14849 (java) R 14721 14723 10640 0 -1 4202560 0 0 0 0 6564 0 0 0 25 0 22 0 830636375 10804297728 931438 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 46912506110252 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14723/tid=14850] ppid=14721 vsize=10551072 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14850/stat : 14850 (java) S 14721 14723 10640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830636376 10804297728 931438 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933593600 0 4 0 16800975 18446604453662591680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1658.49
Current children cumulated vsize (KiB) 10551072
[startup+942.301 s]
/proc/loadavg: 3.73 3.76 3.66 5/316 14857
/proc/meminfo: memFree=21123716/32951124 swapFree=55664332/67111528
[pid=14723] ppid=14721 vsize=10551072 CPUtime=1770.21 cores=0,2,4,6
/proc/14723/stat : 14723 (java) S 14721 14723 10640 0 -1 4202496 937444 0 1 0 176910 111 0 0 25 0 22 0 830556946 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14723/statm: 2637768 931458 2269 9 0 2628502 0
[pid=14723/tid=14724] ppid=14721 vsize=10551072 CPUtime=0.89 cores=0,2,4,6
/proc/14723/task/14724/stat : 14724 (java) S 14721 14723 10640 0 -1 4202560 69467 0 1 0 81 8 0 0 15 0 22 0 830556946 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933593600 0 4 0 16800975 18446604453662591680 0 0 -1 2 0 0 0
[pid=14723/tid=14726] ppid=14721 vsize=10551072 CPUtime=1.31 cores=0,2,4,6
/proc/14723/task/14726/stat : 14726 (java) S 14721 14723 10640 0 -1 4202560 8419 0 0 0 130 1 0 0 15 0 22 0 830556948 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 4 0 0 0
[pid=14723/tid=14727] ppid=14721 vsize=10551072 CPUtime=1.53 cores=0,2,4,6
/proc/14723/task/14727/stat : 14727 (java) S 14721 14723 10640 0 -1 4202560 17329 0 0 0 151 2 0 0 16 0 22 0 830556948 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 4 0 0 0
[pid=14723/tid=14728] ppid=14721 vsize=10551072 CPUtime=1.8 cores=0,2,4,6
/proc/14723/task/14728/stat : 14728 (java) S 14721 14723 10640 0 -1 4202560 17374 0 0 0 178 2 0 0 15 0 22 0 830556948 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 4 0 0 0
[pid=14723/tid=14729] ppid=14721 vsize=10551072 CPUtime=1.53 cores=0,2,4,6
/proc/14723/task/14729/stat : 14729 (java) S 14721 14723 10640 0 -1 4202560 11519 0 0 0 152 1 0 0 16 0 22 0 830556948 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 2 0 0 0
[pid=14723/tid=14730] ppid=14721 vsize=10551072 CPUtime=1.52 cores=0,2,4,6
/proc/14723/task/14730/stat : 14730 (java) S 14721 14723 10640 0 -1 4202560 8033 0 0 0 151 1 0 0 16 0 22 0 830556948 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 0 0 0 0
[pid=14723/tid=14731] ppid=14721 vsize=10551072 CPUtime=1.37 cores=0,2,4,6
/proc/14723/task/14731/stat : 14731 (java) S 14721 14723 10640 0 -1 4202560 11690 0 0 0 136 1 0 0 15 0 22 0 830556948 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 4 0 0 0
[pid=14723/tid=14732] ppid=14721 vsize=10551072 CPUtime=1.53 cores=0,2,4,6
/proc/14723/task/14732/stat : 14732 (java) S 14721 14723 10640 0 -1 4202560 11252 0 0 0 152 1 0 0 16 0 22 0 830556948 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 4 0 0 0
[pid=14723/tid=14733] ppid=14721 vsize=10551072 CPUtime=1.45 cores=0,2,4,6
/proc/14723/task/14733/stat : 14733 (java) S 14721 14723 10640 0 -1 4202560 7993 0 0 0 144 1 0 0 16 0 22 0 830556948 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 2 0 0 0
[pid=14723/tid=14734] ppid=14721 vsize=10551072 CPUtime=105.32 cores=0,2,4,6
/proc/14723/task/14734/stat : 14734 (java) S 14721 14723 10640 0 -1 4202560 249259 0 0 0 10507 25 0 0 15 0 22 0 830556949 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933593600 0 0 0 16800975 18446604453662591680 0 0 -1 4 0 0 0
[pid=14723/tid=14735] ppid=14721 vsize=10551072 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14735/stat : 14735 (java) S 14721 14723 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830556950 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 0 0 0 0
[pid=14723/tid=14736] ppid=14721 vsize=10551072 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14736/stat : 14736 (java) S 14721 14723 10640 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 830556950 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 2 0 0 0
[pid=14723/tid=14737] ppid=14721 vsize=10551072 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14737/stat : 14737 (java) S 14721 14723 10640 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 830556952 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933600689 0 4 0 16800975 18446604453662591680 0 0 -1 6 0 0 0
[pid=14723/tid=14738] ppid=14721 vsize=10551072 CPUtime=1.13 cores=0,2,4,6
/proc/14723/task/14738/stat : 14738 (java) S 14721 14723 10640 0 -1 4202560 4835 0 0 0 113 0 0 0 16 0 22 0 830556952 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 6 0 0 0
[pid=14723/tid=14739] ppid=14721 vsize=10551072 CPUtime=1.51 cores=0,2,4,6
/proc/14723/task/14739/stat : 14739 (java) S 14721 14723 10640 0 -1 4202560 7883 0 0 0 150 1 0 0 15 0 22 0 830556952 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 4 0 0 0
[pid=14723/tid=14740] ppid=14721 vsize=10551072 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14740/stat : 14740 (java) S 14721 14723 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830556952 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 6 0 0 0
[pid=14723/tid=14741] ppid=14721 vsize=10551072 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14741/stat : 14741 (java) S 14721 14723 10640 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 830556952 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933593600 0 4 0 16800975 18446604453662591680 0 0 -1 0 0 0 0
[pid=14723/tid=14744] ppid=14721 vsize=10551072 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14744/stat : 14744 (java) S 14721 14723 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830557035 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933593600 0 4 0 16800975 18446604453662591680 0 0 -1 2 0 0 0
[pid=14723/tid=14848] ppid=14721 vsize=10551072 CPUtime=116.71 cores=0,2,4,6
/proc/14723/task/14848/stat : 14848 (java) R 14721 14723 10640 0 -1 4202560 9 0 0 0 11671 0 0 0 25 0 22 0 830636375 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 46912505895305 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14723/tid=14849] ppid=14721 vsize=10551072 CPUtime=116.7 cores=0,2,4,6
/proc/14723/task/14849/stat : 14849 (java) R 14721 14723 10640 0 -1 4202560 0 0 0 0 11670 0 0 0 25 0 22 0 830636375 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 46912505960255 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14723/tid=14850] ppid=14721 vsize=10551072 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14850/stat : 14850 (java) S 14721 14723 10640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830636376 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933593600 0 4 0 16800975 18446604453662591680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1770.21
Current children cumulated vsize (KiB) 10551072
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+958.001 s]
/proc/loadavg: 3.86 3.79 3.67 6/316 14858
/proc/meminfo: memFree=21122468/32951124 swapFree=55664332/67111528
[pid=14723] ppid=14721 vsize=10551072 CPUtime=1800.21 cores=0,2,4,6
/proc/14723/stat : 14723 (java) S 14721 14723 10640 0 -1 4202496 937447 0 1 0 179910 111 0 0 25 0 22 0 830556946 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14723/statm: 2637768 931458 2269 9 0 2628502 0
[pid=14723/tid=14724] ppid=14721 vsize=10551072 CPUtime=0.89 cores=0,2,4,6
/proc/14723/task/14724/stat : 14724 (java) S 14721 14723 10640 0 -1 4202560 69468 0 1 0 81 8 0 0 15 0 22 0 830556946 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933593600 0 4 0 16800975 18446604453662591680 0 0 -1 2 0 0 0
[pid=14723/tid=14726] ppid=14721 vsize=10551072 CPUtime=1.34 cores=0,2,4,6
/proc/14723/task/14726/stat : 14726 (java) S 14721 14723 10640 0 -1 4202560 8419 0 0 0 133 1 0 0 16 0 22 0 830556948 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 4 0 0 0
[pid=14723/tid=14727] ppid=14721 vsize=10551072 CPUtime=1.56 cores=0,2,4,6
/proc/14723/task/14727/stat : 14727 (java) S 14721 14723 10640 0 -1 4202560 17329 0 0 0 154 2 0 0 16 0 22 0 830556948 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 4 0 0 0
[pid=14723/tid=14728] ppid=14721 vsize=10551072 CPUtime=1.8 cores=0,2,4,6
/proc/14723/task/14728/stat : 14728 (java) S 14721 14723 10640 0 -1 4202560 17374 0 0 0 178 2 0 0 15 0 22 0 830556948 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 4 0 0 0
[pid=14723/tid=14729] ppid=14721 vsize=10551072 CPUtime=1.53 cores=0,2,4,6
/proc/14723/task/14729/stat : 14729 (java) S 14721 14723 10640 0 -1 4202560 11519 0 0 0 152 1 0 0 16 0 22 0 830556948 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 2 0 0 0
[pid=14723/tid=14730] ppid=14721 vsize=10551072 CPUtime=1.55 cores=0,2,4,6
/proc/14723/task/14730/stat : 14730 (java) S 14721 14723 10640 0 -1 4202560 8033 0 0 0 154 1 0 0 16 0 22 0 830556948 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 0 0 0 0
[pid=14723/tid=14731] ppid=14721 vsize=10551072 CPUtime=1.37 cores=0,2,4,6
/proc/14723/task/14731/stat : 14731 (java) S 14721 14723 10640 0 -1 4202560 11690 0 0 0 136 1 0 0 15 0 22 0 830556948 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 4 0 0 0
[pid=14723/tid=14732] ppid=14721 vsize=10551072 CPUtime=1.53 cores=0,2,4,6
/proc/14723/task/14732/stat : 14732 (java) S 14721 14723 10640 0 -1 4202560 11252 0 0 0 152 1 0 0 15 0 22 0 830556948 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 4 0 0 0
[pid=14723/tid=14733] ppid=14721 vsize=10551072 CPUtime=1.48 cores=0,2,4,6
/proc/14723/task/14733/stat : 14733 (java) S 14721 14723 10640 0 -1 4202560 7993 0 0 0 147 1 0 0 16 0 22 0 830556948 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 2 0 0 0
[pid=14723/tid=14734] ppid=14721 vsize=10551072 CPUtime=106.8 cores=0,2,4,6
/proc/14723/task/14734/stat : 14734 (java) S 14721 14723 10640 0 -1 4202560 249259 0 0 0 10655 25 0 0 15 0 22 0 830556949 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933593600 0 0 0 16800975 18446604453662591680 0 0 -1 2 0 0 0
[pid=14723/tid=14735] ppid=14721 vsize=10551072 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14735/stat : 14735 (java) S 14721 14723 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830556950 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 0 0 0 0
[pid=14723/tid=14736] ppid=14721 vsize=10551072 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14736/stat : 14736 (java) S 14721 14723 10640 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 830556950 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 2 0 0 0
[pid=14723/tid=14737] ppid=14721 vsize=10551072 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14737/stat : 14737 (java) S 14721 14723 10640 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 830556952 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933600689 0 4 0 16800975 18446604453662591680 0 0 -1 6 0 0 0
[pid=14723/tid=14738] ppid=14721 vsize=10551072 CPUtime=1.13 cores=0,2,4,6
/proc/14723/task/14738/stat : 14738 (java) S 14721 14723 10640 0 -1 4202560 4835 0 0 0 113 0 0 0 16 0 22 0 830556952 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 6 0 0 0
[pid=14723/tid=14739] ppid=14721 vsize=10551072 CPUtime=1.51 cores=0,2,4,6
/proc/14723/task/14739/stat : 14739 (java) S 14721 14723 10640 0 -1 4202560 7883 0 0 0 150 1 0 0 15 0 22 0 830556952 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 4 0 0 0
[pid=14723/tid=14740] ppid=14721 vsize=10551072 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14740/stat : 14740 (java) S 14721 14723 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830556952 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933592985 0 4 0 16800975 18446604453662591680 0 0 -1 6 0 0 0
[pid=14723/tid=14741] ppid=14721 vsize=10551072 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14741/stat : 14741 (java) S 14721 14723 10640 0 -1 4202560 58 0 0 0 0 0 0 0 15 0 22 0 830556952 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933593600 0 4 0 16800975 18446604453662591680 0 0 -1 0 0 0 0
[pid=14723/tid=14744] ppid=14721 vsize=10551072 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14744/stat : 14744 (java) S 14721 14723 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830557035 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933593600 0 4 0 16800975 18446604453662591680 0 0 -1 2 0 0 0
[pid=14723/tid=14848] ppid=14721 vsize=10551072 CPUtime=130.92 cores=0,2,4,6
/proc/14723/task/14848/stat : 14848 (java) R 14721 14723 10640 0 -1 4202560 9 0 0 0 13092 0 0 0 25 0 22 0 830636375 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 46912505881372 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14723/tid=14849] ppid=14721 vsize=10551072 CPUtime=130.91 cores=0,2,4,6
/proc/14723/task/14849/stat : 14849 (java) R 14721 14723 10640 0 -1 4202560 0 0 0 0 13091 0 0 0 25 0 22 0 830636375 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 46912506109867 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=14723/tid=14850] ppid=14721 vsize=10551072 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14850/stat : 14850 (java) S 14721 14723 10640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830636376 10804297728 931458 33554432000 1073741824 1073778376 140734117607248 18446744073709551615 222933593600 0 4 0 16800975 18446604453662591680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 10551072
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+958.201 s]
/proc/loadavg: 3.86 3.79 3.67 6/316 14858
/proc/meminfo: memFree=21122468/32951124 swapFree=55664332/67111528
[pid=14723] ppid=14721 vsize=0 CPUtime=1800.46 cores=0,2,4,6
/proc/14723/stat : 14723 (java) Z 14721 14723 10640 0 -1 4203548 937479 0 1 0 179921 125 0 0 17 0 2 0 830556946 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14723/statm: 0 0 0 0 0 0 0
[pid=14723/tid=14849] ppid=14721 vsize=0 CPUtime=131.07 cores=0,2,4,6
/proc/14723/task/14849/stat : 14849 (java) R 14721 14723 10640 0 -1 4203588 0 0 0 0 13094 13 0 0 25 0 2 0 830636375 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.46
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 958.202
CPU time (s): 1800.47
CPU user time (s): 1799.21
CPU system time (s): 1.25281
CPU usage (%): 187.9
Max. virtual memory (cumulated for all children) (KiB): 10551072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.21
system time used= 1.25281
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 937479
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= 24630
involuntary context switches= 16784
runsolver used 2.82957 second user time and 5.9291 second system time
The end