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-3456418-1307658760/watcher-3456418-1307658760 -o /tmp/evaluation-result-3456418-1307658760/solver-3456418-1307658760 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456418-1307658760.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.74 1/172 876
/proc/meminfo: memFree=32134944/32950928 swapFree=67051096/67111528
[pid=876] ppid=874 vsize=9100 CPUtime=0 cores=1,3,5,7
/proc/876/stat : 876 (java) R 874 876 30485 0 -1 4202496 419 0 0 0 0 0 0 0 18 0 1 0 956106682 9318400 166 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251367544832 0 2147483391 4096 0 0 0 0 17 5 0 0 0
/proc/876/statm: 2275 166 125 9 0 67 0
[pid=876/tid=877] ppid=874 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/876/task/877/stat : 877 (java) R 874 876 30485 0 -1 4202560 58 0 0 0 0 0 0 0 19 0 2 0 956106682 27824128 900 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251362577184 0 0 4096 0 0 0 0 -1 5 0 0 0
[startup+0.0403659 s]
/proc/loadavg: 2.00 2.01 2.74 1/172 876
/proc/meminfo: memFree=32134944/32950928 swapFree=67051096/67111528
[pid=876] ppid=874 vsize=10464264 CPUtime=0.02 cores=1,3,5,7
/proc/876/stat : 876 (java) S 874 876 30485 0 -1 4202496 10893 0 1 0 1 1 0 0 18 0 10 0 956106682 10715406336 10592 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379349477 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/876/statm: 2616066 10593 1560 9 0 2606814 0
[pid=876/tid=877] ppid=874 vsize=10464264 CPUtime=0.01 cores=1,3,5,7
/proc/876/task/877/stat : 877 (java) R 874 876 30485 0 -1 4202560 9772 0 1 0 1 0 0 0 22 0 10 0 956106682 10715406336 10593 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 47725505692016 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10464264
[startup+0.100359 s]
/proc/loadavg: 2.00 2.01 2.74 1/172 876
/proc/meminfo: memFree=32134944/32950928 swapFree=67051096/67111528
[pid=876] ppid=874 vsize=10539388 CPUtime=0.09 cores=1,3,5,7
/proc/876/stat : 876 (java) S 874 876 30485 0 -1 4202496 12893 0 1 0 8 1 0 0 18 0 18 0 956106682 10792333312 12590 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/876/statm: 2634847 12590 2092 9 0 2625581 0
[pid=876/tid=877] ppid=874 vsize=10539388 CPUtime=0.07 cores=1,3,5,7
/proc/876/task/877/stat : 877 (java) R 874 876 30485 0 -1 4202560 11019 0 1 0 6 1 0 0 22 0 18 0 956106682 10792333312 12590 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 47725506543621 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539388
[startup+0.304351 s]
/proc/loadavg: 2.00 2.01 2.74 1/172 876
/proc/meminfo: memFree=32134944/32950928 swapFree=67051096/67111528
[pid=876] ppid=874 vsize=10542888 CPUtime=0.52 cores=1,3,5,7
/proc/876/stat : 876 (java) S 874 876 30485 0 -1 4202496 18802 0 1 0 50 2 0 0 18 0 18 0 956106682 10795917312 17571 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/876/statm: 2635722 17596 2203 9 0 2626456 0
[pid=876/tid=877] ppid=874 vsize=10542888 CPUtime=0.27 cores=1,3,5,7
/proc/876/task/877/stat : 877 (java) R 874 876 30485 0 -1 4202560 14495 0 1 0 26 1 0 0 22 0 18 0 956106682 10795917312 17611 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 46912505611073 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 10542888
[startup+0.700246 s]
/proc/loadavg: 2.00 2.01 2.74 1/172 876
/proc/meminfo: memFree=32134944/32950928 swapFree=67051096/67111528
[pid=876] ppid=874 vsize=10557184 CPUtime=1.28 cores=1,3,5,7
/proc/876/stat : 876 (java) S 874 876 30485 0 -1 4202496 44905 0 1 0 123 5 0 0 18 0 18 0 956106682 10810556416 41669 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/876/statm: 2639296 41669 2218 9 0 2630030 0
[pid=876/tid=877] ppid=874 vsize=10557184 CPUtime=0.68 cores=1,3,5,7
/proc/876/task/877/stat : 877 (java) R 874 876 30485 0 -1 4202560 34825 0 1 0 64 4 0 0 23 0 18 0 956106682 10810556416 41669 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 46912505634504 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 10557184
[startup+1.50111 s]
/proc/loadavg: 2.00 2.01 2.74 4/213 925
/proc/meminfo: memFree=31756520/32950928 swapFree=67051096/67111528
[pid=876] ppid=874 vsize=10558212 CPUtime=2.31 cores=1,3,5,7
/proc/876/stat : 876 (java) S 874 876 30485 0 -1 4202496 52034 0 1 0 225 6 0 0 18 0 19 0 956106682 10811609088 48426 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/876/statm: 2639553 48426 2224 9 0 2630287 0
[pid=876/tid=877] ppid=874 vsize=10558212 CPUtime=1.48 cores=1,3,5,7
/proc/876/task/877/stat : 877 (java) R 874 876 30485 0 -1 4202560 41538 0 1 0 143 5 0 0 25 0 19 0 956106682 10811609088 48426 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 46912505611001 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=876/tid=881] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/881/stat : 881 (java) S 874 876 30485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 956106685 10811609088 48426 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 5 0 0 0
[pid=876/tid=882] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/882/stat : 882 (java) S 874 876 30485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 956106685 10811609088 48426 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 7 0 0 0
[pid=876/tid=883] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/883/stat : 883 (java) S 874 876 30485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 956106685 10811609088 48426 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 7 0 0 0
[pid=876/tid=884] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/884/stat : 884 (java) S 874 876 30485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 956106685 10811609088 48426 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 7 0 0 0
[pid=876/tid=885] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/885/stat : 885 (java) S 874 876 30485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 956106685 10811609088 48426 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 7 0 0 0
[pid=876/tid=886] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/886/stat : 886 (java) S 874 876 30485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 956106685 10811609088 48426 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 7 0 0 0
[pid=876/tid=887] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/887/stat : 887 (java) S 874 876 30485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 956106685 10811609088 48426 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 7 0 0 0
[pid=876/tid=888] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/888/stat : 888 (java) S 874 876 30485 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 956106685 10811609088 48426 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 7 0 0 0
[pid=876/tid=889] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/889/stat : 889 (java) S 874 876 30485 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 956106686 10811609088 48427 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379363328 0 0 0 16800975 18446604466823924800 0 0 -1 1 0 0 0
[pid=876/tid=890] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/890/stat : 890 (java) S 874 876 30485 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 956106686 10811609088 48427 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 5 0 0 0
[pid=876/tid=891] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/891/stat : 891 (java) S 874 876 30485 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 956106686 10811609088 48427 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 1 0 0 0
[pid=876/tid=892] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/892/stat : 892 (java) S 874 876 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956106688 10811609088 48427 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379370417 0 4 0 16800975 18446604466823924800 0 0 -1 5 0 0 0
[pid=876/tid=893] ppid=874 vsize=10558212 CPUtime=0.33 cores=1,3,5,7
/proc/876/task/893/stat : 893 (java) S 874 876 30485 0 -1 4202560 2831 0 0 0 33 0 0 0 15 0 19 0 956106688 10811609088 48427 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 3 0 0 0
[pid=876/tid=894] ppid=874 vsize=10558212 CPUtime=0.48 cores=1,3,5,7
/proc/876/task/894/stat : 894 (java) S 874 876 30485 0 -1 4202560 6504 0 0 0 48 0 0 0 15 0 19 0 956106688 10811609088 48427 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 5 0 0 0
[pid=876/tid=895] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/895/stat : 895 (java) S 874 876 30485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 956106688 10811609088 48427 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 5 0 0 0
[pid=876/tid=896] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/896/stat : 896 (java) S 874 876 30485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 956106688 10811609088 48427 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379363328 0 4 0 16800975 18446604466823924800 0 0 -1 7 0 0 0
[pid=876/tid=925] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/925/stat : 925 (java) S 874 876 30485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956106761 10811609088 48427 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379363328 0 4 0 16800975 18446604466823924800 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 10558212
[startup+3.10081 s]
/proc/loadavg: 2.08 2.03 2.74 3/214 926
/proc/meminfo: memFree=31436964/32950928 swapFree=67051096/67111528
[pid=876] ppid=874 vsize=10558212 CPUtime=4.2 cores=1,3,5,7
/proc/876/stat : 876 (java) S 874 876 30485 0 -1 4202496 132264 0 1 0 406 14 0 0 18 0 19 0 956106682 10811609088 128238 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/876/statm: 2639553 128241 2227 9 0 2630287 0
[pid=876/tid=877] ppid=874 vsize=10558212 CPUtime=3.07 cores=1,3,5,7
/proc/876/task/877/stat : 877 (java) R 874 876 30485 0 -1 4202560 120657 0 1 0 294 13 0 0 25 0 19 0 956106682 10811609088 128241 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 46912505612266 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=876/tid=881] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/881/stat : 881 (java) S 874 876 30485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 956106685 10811609088 128241 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 5 0 0 0
[pid=876/tid=882] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/882/stat : 882 (java) S 874 876 30485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 956106685 10811609088 128243 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 7 0 0 0
[pid=876/tid=883] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/883/stat : 883 (java) S 874 876 30485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 956106685 10811609088 128244 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 7 0 0 0
[pid=876/tid=884] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/884/stat : 884 (java) S 874 876 30485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 956106685 10811609088 128244 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 7 0 0 0
[pid=876/tid=885] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/885/stat : 885 (java) S 874 876 30485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 956106685 10811609088 128244 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 7 0 0 0
[pid=876/tid=886] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/886/stat : 886 (java) S 874 876 30485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 956106685 10811609088 128247 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 7 0 0 0
[pid=876/tid=887] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/887/stat : 887 (java) S 874 876 30485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 956106685 10811609088 128248 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 7 0 0 0
[pid=876/tid=888] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/888/stat : 888 (java) S 874 876 30485 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 956106685 10811609088 128248 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 7 0 0 0
[pid=876/tid=889] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/889/stat : 889 (java) S 874 876 30485 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 956106686 10811609088 128248 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379363328 0 0 0 16800975 18446604466823924800 0 0 -1 1 0 0 0
[pid=876/tid=890] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/890/stat : 890 (java) S 874 876 30485 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 956106686 10811609088 128251 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 5 0 0 0
[pid=876/tid=891] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/891/stat : 891 (java) S 874 876 30485 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 956106686 10811609088 128251 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 1 0 0 0
[pid=876/tid=892] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/892/stat : 892 (java) S 874 876 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956106688 10811609088 128251 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379370417 0 4 0 16800975 18446604466823924800 0 0 -1 5 0 0 0
[pid=876/tid=893] ppid=874 vsize=10558212 CPUtime=0.43 cores=1,3,5,7
/proc/876/task/893/stat : 893 (java) S 874 876 30485 0 -1 4202560 3828 0 0 0 43 0 0 0 15 0 19 0 956106688 10811609088 128251 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 3 0 0 0
[pid=876/tid=894] ppid=874 vsize=10558212 CPUtime=0.68 cores=1,3,5,7
/proc/876/task/894/stat : 894 (java) S 874 876 30485 0 -1 4202560 6621 0 0 0 68 0 0 0 15 0 19 0 956106688 10811609088 128254 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 5 0 0 0
[pid=876/tid=895] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/895/stat : 895 (java) S 874 876 30485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 956106688 10811609088 128254 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 5 0 0 0
[pid=876/tid=896] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/896/stat : 896 (java) S 874 876 30485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 956106688 10811609088 128254 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379363328 0 4 0 16800975 18446604466823924800 0 0 -1 7 0 0 0
[pid=876/tid=925] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/925/stat : 925 (java) S 874 876 30485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956106761 10811609088 128254 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379363328 0 4 0 16800975 18446604466823924800 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 10558212
[startup+6.30122 s]
/proc/loadavg: 2.08 2.03 2.74 3/214 926
/proc/meminfo: memFree=28993488/32950928 swapFree=67051096/67111528
[pid=876] ppid=874 vsize=10558212 CPUtime=7.45 cores=1,3,5,7
/proc/876/stat : 876 (java) S 874 876 30485 0 -1 4202496 432295 0 1 0 703 42 0 0 18 0 19 0 956106682 10811609088 428268 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/876/statm: 2639553 428272 2228 9 0 2630287 0
[pid=876/tid=877] ppid=874 vsize=10558212 CPUtime=6.27 cores=1,3,5,7
/proc/876/task/877/stat : 877 (java) R 874 876 30485 0 -1 4202560 420682 0 1 0 587 40 0 0 25 0 19 0 956106682 10811609088 428272 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 46912505612221 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=876/tid=881] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/881/stat : 881 (java) S 874 876 30485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 956106685 10811609088 428273 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 5 0 0 0
[pid=876/tid=882] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/882/stat : 882 (java) S 874 876 30485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 956106685 10811609088 428278 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 7 0 0 0
[pid=876/tid=883] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/883/stat : 883 (java) S 874 876 30485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 956106685 10811609088 428284 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 7 0 0 0
[pid=876/tid=884] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/884/stat : 884 (java) S 874 876 30485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 956106685 10811609088 428290 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 7 0 0 0
[pid=876/tid=885] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/885/stat : 885 (java) S 874 876 30485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 956106685 10811609088 428295 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 7 0 0 0
[pid=876/tid=886] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/886/stat : 886 (java) S 874 876 30485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 956106685 10811609088 428300 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 7 0 0 0
[pid=876/tid=887] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/887/stat : 887 (java) S 874 876 30485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 956106685 10811609088 428303 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 7 0 0 0
[pid=876/tid=888] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/888/stat : 888 (java) S 874 876 30485 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 956106685 10811609088 428303 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 7 0 0 0
[pid=876/tid=889] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/889/stat : 889 (java) S 874 876 30485 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 956106686 10811609088 428303 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379363328 0 0 0 16800975 18446604466823924800 0 0 -1 1 0 0 0
[pid=876/tid=890] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/890/stat : 890 (java) S 874 876 30485 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 956106686 10811609088 428306 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 5 0 0 0
[pid=876/tid=891] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/891/stat : 891 (java) S 874 876 30485 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 956106686 10811609088 428311 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 1 0 0 0
[pid=876/tid=892] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/892/stat : 892 (java) S 874 876 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956106688 10811609088 428317 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379370417 0 4 0 16800975 18446604466823924800 0 0 -1 5 0 0 0
[pid=876/tid=893] ppid=874 vsize=10558212 CPUtime=0.46 cores=1,3,5,7
/proc/876/task/893/stat : 893 (java) S 874 876 30485 0 -1 4202560 3834 0 0 0 46 0 0 0 15 0 19 0 956106688 10811609088 428322 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 3 0 0 0
[pid=876/tid=894] ppid=874 vsize=10558212 CPUtime=0.69 cores=1,3,5,7
/proc/876/task/894/stat : 894 (java) S 874 876 30485 0 -1 4202560 6621 0 0 0 69 0 0 0 15 0 19 0 956106688 10811609088 428327 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/876/task/891/stat : 891 (java) S 874 876 30485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 956106686 10811609088 924156 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 1 0 0 0
[pid=876/tid=892] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/892/stat : 892 (java) S 874 876 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956106688 10811609088 924156 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379370417 0 4 0 16800975 18446604466823924800 0 0 -1 5 0 0 0
[pid=876/tid=893] ppid=874 vsize=10558212 CPUtime=0.5 cores=1,3,5,7
/proc/876/task/893/stat : 893 (java) S 874 876 30485 0 -1 4202560 3840 0 0 0 50 0 0 0 15 0 19 0 956106688 10811609088 924156 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 3 0 0 0
[pid=876/tid=894] ppid=874 vsize=10558212 CPUtime=0.98 cores=1,3,5,7
/proc/876/task/894/stat : 894 (java) S 874 876 30485 0 -1 4202560 6664 0 0 0 98 0 0 0 15 0 19 0 956106688 10811609088 924156 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 5 0 0 0
[pid=876/tid=895] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/895/stat : 895 (java) S 874 876 30485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 956106688 10811609088 924156 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 5 0 0 0
[pid=876/tid=896] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/896/stat : 896 (java) S 874 876 30485 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 956106688 10811609088 924156 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379363328 0 4 0 16800975 18446604466823924800 0 0 -1 5 0 0 0
[pid=876/tid=925] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/925/stat : 925 (java) S 874 876 30485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956106761 10811609088 924156 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379363328 0 4 0 16800975 18446604466823924800 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1666.03
Current children cumulated vsize (KiB) 10558212
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/214 986
/proc/meminfo: memFree=24717240/32950928 swapFree=67051096/67111528
[pid=876] ppid=874 vsize=10558212 CPUtime=1726.08 cores=1,3,5,7
/proc/876/stat : 876 (java) S 874 876 30485 0 -1 4202496 929809 0 1 0 172512 96 0 0 18 0 19 0 956106682 10811609088 924280 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/876/statm: 2639553 924280 2244 9 0 2630287 0
[pid=876/tid=877] ppid=874 vsize=10558212 CPUtime=1721.2 cores=1,3,5,7
/proc/876/task/877/stat : 877 (java) R 874 876 30485 0 -1 4202560 831480 0 1 0 172039 81 0 0 25 0 19 0 956106682 10811609088 924280 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 46912505884647 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=876/tid=881] ppid=874 vsize=10558212 CPUtime=0.37 cores=1,3,5,7
/proc/876/task/881/stat : 881 (java) S 874 876 30485 0 -1 4202560 8610 0 0 0 37 0 0 0 15 0 19 0 956106685 10811609088 924280 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 1 0 0 0
[pid=876/tid=882] ppid=874 vsize=10558212 CPUtime=0.42 cores=1,3,5,7
/proc/876/task/882/stat : 882 (java) S 874 876 30485 0 -1 4202560 12268 0 0 0 41 1 0 0 15 0 19 0 956106685 10811609088 924280 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 5 0 0 0
[pid=876/tid=883] ppid=874 vsize=10558212 CPUtime=0.39 cores=1,3,5,7
/proc/876/task/883/stat : 883 (java) S 874 876 30485 0 -1 4202560 10812 0 0 0 38 1 0 0 15 0 19 0 956106685 10811609088 924280 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 7 0 0 0
[pid=876/tid=884] ppid=874 vsize=10558212 CPUtime=0.41 cores=1,3,5,7
/proc/876/task/884/stat : 884 (java) S 874 876 30485 0 -1 4202560 12003 0 0 0 40 1 0 0 15 0 19 0 956106685 10811609088 924280 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 3 0 0 0
[pid=876/tid=885] ppid=874 vsize=10558212 CPUtime=0.46 cores=1,3,5,7
/proc/876/task/885/stat : 885 (java) S 874 876 30485 0 -1 4202560 13484 0 0 0 45 1 0 0 16 0 19 0 956106685 10811609088 924280 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 7 0 0 0
[pid=876/tid=886] ppid=874 vsize=10558212 CPUtime=0.4 cores=1,3,5,7
/proc/876/task/886/stat : 886 (java) S 874 876 30485 0 -1 4202560 9445 0 0 0 39 1 0 0 15 0 19 0 956106685 10811609088 924280 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 3 0 0 0
[pid=876/tid=887] ppid=874 vsize=10558212 CPUtime=0.39 cores=1,3,5,7
/proc/876/task/887/stat : 887 (java) S 874 876 30485 0 -1 4202560 10410 0 0 0 38 1 0 0 15 0 19 0 956106685 10811609088 924280 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 1 0 0 0
[pid=876/tid=888] ppid=874 vsize=10558212 CPUtime=0.37 cores=1,3,5,7
/proc/876/task/888/stat : 888 (java) S 874 876 30485 0 -1 4202560 9434 0 0 0 36 1 0 0 15 0 19 0 956106685 10811609088 924280 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 1 0 0 0
[pid=876/tid=889] ppid=874 vsize=10558212 CPUtime=0.06 cores=1,3,5,7
/proc/876/task/889/stat : 889 (java) S 874 876 30485 0 -1 4202560 107 0 0 0 4 2 0 0 15 0 19 0 956106686 10811609088 924280 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379363328 0 0 0 16800975 18446604466823924800 0 0 -1 3 0 0 0
[pid=876/tid=890] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/890/stat : 890 (java) S 874 876 30485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956106686 10811609088 924280 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 5 0 0 0
[pid=876/tid=891] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/891/stat : 891 (java) S 874 876 30485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 956106686 10811609088 924280 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 1 0 0 0
[pid=876/tid=892] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/892/stat : 892 (java) S 874 876 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956106688 10811609088 924280 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379370417 0 4 0 16800975 18446604466823924800 0 0 -1 5 0 0 0
[pid=876/tid=893] ppid=874 vsize=10558212 CPUtime=0.5 cores=1,3,5,7
/proc/876/task/893/stat : 893 (java) S 874 876 30485 0 -1 4202560 3840 0 0 0 50 0 0 0 15 0 19 0 956106688 10811609088 924280 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 3 0 0 0
[pid=876/tid=894] ppid=874 vsize=10558212 CPUtime=0.98 cores=1,3,5,7
/proc/876/task/894/stat : 894 (java) S 874 876 30485 0 -1 4202560 6664 0 0 0 98 0 0 0 15 0 19 0 956106688 10811609088 924280 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 5 0 0 0
[pid=876/tid=895] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/895/stat : 895 (java) S 874 876 30485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 956106688 10811609088 924280 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 5 0 0 0
[pid=876/tid=896] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/896/stat : 896 (java) S 874 876 30485 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 956106688 10811609088 924280 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379363328 0 4 0 16800975 18446604466823924800 0 0 -1 5 0 0 0
[pid=876/tid=925] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/925/stat : 925 (java) S 874 876 30485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956106761 10811609088 924280 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379363328 0 4 0 16800975 18446604466823924800 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1726.08
Current children cumulated vsize (KiB) 10558212
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/214 988
/proc/meminfo: memFree=24712984/32950928 swapFree=67051096/67111528
[pid=876] ppid=874 vsize=10558212 CPUtime=1786.14 cores=1,3,5,7
/proc/876/stat : 876 (java) S 874 876 30485 0 -1 4202496 929983 0 1 0 178517 97 0 0 18 0 19 0 956106682 10811609088 924432 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/876/statm: 2639553 924432 2244 9 0 2630287 0
[pid=876/tid=877] ppid=874 vsize=10558212 CPUtime=1781.16 cores=1,3,5,7
/proc/876/task/877/stat : 877 (java) R 874 876 30485 0 -1 4202560 831494 0 1 0 178035 81 0 0 25 0 19 0 956106682 10811609088 924432 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 46912505869533 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=876/tid=881] ppid=874 vsize=10558212 CPUtime=0.38 cores=1,3,5,7
/proc/876/task/881/stat : 881 (java) S 874 876 30485 0 -1 4202560 8617 0 0 0 38 0 0 0 15 0 19 0 956106685 10811609088 924432 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 5 0 0 0
[pid=876/tid=882] ppid=874 vsize=10558212 CPUtime=0.43 cores=1,3,5,7
/proc/876/task/882/stat : 882 (java) S 874 876 30485 0 -1 4202560 12271 0 0 0 42 1 0 0 15 0 19 0 956106685 10811609088 924432 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 3 0 0 0
[pid=876/tid=883] ppid=874 vsize=10558212 CPUtime=0.4 cores=1,3,5,7
/proc/876/task/883/stat : 883 (java) S 874 876 30485 0 -1 4202560 10819 0 0 0 39 1 0 0 15 0 19 0 956106685 10811609088 924432 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 7 0 0 0
[pid=876/tid=884] ppid=874 vsize=10558212 CPUtime=0.42 cores=1,3,5,7
/proc/876/task/884/stat : 884 (java) S 874 876 30485 0 -1 4202560 12043 0 0 0 41 1 0 0 15 0 19 0 956106685 10811609088 924432 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 3 0 0 0
[pid=876/tid=885] ppid=874 vsize=10558212 CPUtime=0.47 cores=1,3,5,7
/proc/876/task/885/stat : 885 (java) S 874 876 30485 0 -1 4202560 13492 0 0 0 46 1 0 0 15 0 19 0 956106685 10811609088 924432 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 7 0 0 0
[pid=876/tid=886] ppid=874 vsize=10558212 CPUtime=0.41 cores=1,3,5,7
/proc/876/task/886/stat : 886 (java) S 874 876 30485 0 -1 4202560 9516 0 0 0 40 1 0 0 16 0 19 0 956106685 10811609088 924432 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 1 0 0 0
[pid=876/tid=887] ppid=874 vsize=10558212 CPUtime=0.4 cores=1,3,5,7
/proc/876/task/887/stat : 887 (java) S 874 876 30485 0 -1 4202560 10415 0 0 0 39 1 0 0 15 0 19 0 956106685 10811609088 924432 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 7 0 0 0
[pid=876/tid=888] ppid=874 vsize=10558212 CPUtime=0.39 cores=1,3,5,7
/proc/876/task/888/stat : 888 (java) S 874 876 30485 0 -1 4202560 9445 0 0 0 38 1 0 0 16 0 19 0 956106685 10811609088 924432 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 3 0 0 0
[pid=876/tid=889] ppid=874 vsize=10558212 CPUtime=0.06 cores=1,3,5,7
/proc/876/task/889/stat : 889 (java) S 874 876 30485 0 -1 4202560 111 0 0 0 4 2 0 0 15 0 19 0 956106686 10811609088 924432 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379363328 0 0 0 16800975 18446604466823924800 0 0 -1 1 0 0 0
[pid=876/tid=890] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/890/stat : 890 (java) S 874 876 30485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956106686 10811609088 924432 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 5 0 0 0
[pid=876/tid=891] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/891/stat : 891 (java) S 874 876 30485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 956106686 10811609088 924432 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 1 0 0 0
[pid=876/tid=892] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/892/stat : 892 (java) S 874 876 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956106688 10811609088 924432 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379370417 0 4 0 16800975 18446604466823924800 0 0 -1 5 0 0 0
[pid=876/tid=893] ppid=874 vsize=10558212 CPUtime=0.5 cores=1,3,5,7
/proc/876/task/893/stat : 893 (java) S 874 876 30485 0 -1 4202560 3840 0 0 0 50 0 0 0 15 0 19 0 956106688 10811609088 924432 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 3 0 0 0
[pid=876/tid=894] ppid=874 vsize=10558212 CPUtime=0.98 cores=1,3,5,7
/proc/876/task/894/stat : 894 (java) S 874 876 30485 0 -1 4202560 6664 0 0 0 98 0 0 0 15 0 19 0 956106688 10811609088 924432 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 5 0 0 0
[pid=876/tid=895] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/895/stat : 895 (java) S 874 876 30485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 956106688 10811609088 924432 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 5 0 0 0
[pid=876/tid=896] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/896/stat : 896 (java) S 874 876 30485 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 956106688 10811609088 924432 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379363328 0 4 0 16800975 18446604466823924800 0 0 -1 5 0 0 0
[pid=876/tid=925] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/925/stat : 925 (java) S 874 876 30485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956106761 10811609088 924432 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379363328 0 4 0 16800975 18446604466823924800 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1786.14
Current children cumulated vsize (KiB) 10558212
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.2 s]
/proc/loadavg: 2.00 2.00 2.08 3/214 988
/proc/meminfo: memFree=24710612/32950928 swapFree=67051096/67111528
[pid=876] ppid=874 vsize=10558212 CPUtime=1800.06 cores=1,3,5,7
/proc/876/stat : 876 (java) S 874 876 30485 0 -1 4202496 930003 0 1 0 179909 97 0 0 18 0 19 0 956106682 10811609088 924444 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/876/statm: 2639553 924444 2244 9 0 2630287 0
[pid=876/tid=877] ppid=874 vsize=10558212 CPUtime=1795.06 cores=1,3,5,7
/proc/876/task/877/stat : 877 (java) R 874 876 30485 0 -1 4202560 831498 0 1 0 179425 81 0 0 25 0 19 0 956106682 10811609088 924444 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 46912505612178 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=876/tid=881] ppid=874 vsize=10558212 CPUtime=0.39 cores=1,3,5,7
/proc/876/task/881/stat : 881 (java) S 874 876 30485 0 -1 4202560 8619 0 0 0 39 0 0 0 15 0 19 0 956106685 10811609088 924444 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 5 0 0 0
[pid=876/tid=882] ppid=874 vsize=10558212 CPUtime=0.43 cores=1,3,5,7
/proc/876/task/882/stat : 882 (java) S 874 876 30485 0 -1 4202560 12271 0 0 0 42 1 0 0 15 0 19 0 956106685 10811609088 924444 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 3 0 0 0
[pid=876/tid=883] ppid=874 vsize=10558212 CPUtime=0.4 cores=1,3,5,7
/proc/876/task/883/stat : 883 (java) S 874 876 30485 0 -1 4202560 10823 0 0 0 39 1 0 0 15 0 19 0 956106685 10811609088 924444 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 3 0 0 0
[pid=876/tid=884] ppid=874 vsize=10558212 CPUtime=0.42 cores=1,3,5,7
/proc/876/task/884/stat : 884 (java) S 874 876 30485 0 -1 4202560 12043 0 0 0 41 1 0 0 15 0 19 0 956106685 10811609088 924444 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 3 0 0 0
[pid=876/tid=885] ppid=874 vsize=10558212 CPUtime=0.47 cores=1,3,5,7
/proc/876/task/885/stat : 885 (java) S 874 876 30485 0 -1 4202560 13494 0 0 0 46 1 0 0 16 0 19 0 956106685 10811609088 924444 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 1 0 0 0
[pid=876/tid=886] ppid=874 vsize=10558212 CPUtime=0.41 cores=1,3,5,7
/proc/876/task/886/stat : 886 (java) S 874 876 30485 0 -1 4202560 9516 0 0 0 40 1 0 0 15 0 19 0 956106685 10811609088 924444 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 7 0 0 0
[pid=876/tid=887] ppid=874 vsize=10558212 CPUtime=0.41 cores=1,3,5,7
/proc/876/task/887/stat : 887 (java) S 874 876 30485 0 -1 4202560 10417 0 0 0 40 1 0 0 16 0 19 0 956106685 10811609088 924444 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 7 0 0 0
[pid=876/tid=888] ppid=874 vsize=10558212 CPUtime=0.39 cores=1,3,5,7
/proc/876/task/888/stat : 888 (java) S 874 876 30485 0 -1 4202560 9447 0 0 0 38 1 0 0 15 0 19 0 956106685 10811609088 924444 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 3 0 0 0
[pid=876/tid=889] ppid=874 vsize=10558212 CPUtime=0.06 cores=1,3,5,7
/proc/876/task/889/stat : 889 (java) S 874 876 30485 0 -1 4202560 113 0 0 0 4 2 0 0 15 0 19 0 956106686 10811609088 924444 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379363328 0 0 0 16800975 18446604466823924800 0 0 -1 1 0 0 0
[pid=876/tid=890] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/890/stat : 890 (java) S 874 876 30485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956106686 10811609088 924444 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 5 0 0 0
[pid=876/tid=891] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/891/stat : 891 (java) S 874 876 30485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 956106686 10811609088 924444 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 1 0 0 0
[pid=876/tid=892] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/892/stat : 892 (java) S 874 876 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956106688 10811609088 924444 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379370417 0 4 0 16800975 18446604466823924800 0 0 -1 5 0 0 0
[pid=876/tid=893] ppid=874 vsize=10558212 CPUtime=0.5 cores=1,3,5,7
/proc/876/task/893/stat : 893 (java) S 874 876 30485 0 -1 4202560 3840 0 0 0 50 0 0 0 15 0 19 0 956106688 10811609088 924444 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 3 0 0 0
[pid=876/tid=894] ppid=874 vsize=10558212 CPUtime=0.98 cores=1,3,5,7
/proc/876/task/894/stat : 894 (java) S 874 876 30485 0 -1 4202560 6664 0 0 0 98 0 0 0 15 0 19 0 956106688 10811609088 924444 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 5 0 0 0
[pid=876/tid=895] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/895/stat : 895 (java) S 874 876 30485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 956106688 10811609088 924444 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379362713 0 4 0 16800975 18446604466823924800 0 0 -1 5 0 0 0
[pid=876/tid=896] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/896/stat : 896 (java) S 874 876 30485 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 19 0 956106688 10811609088 924444 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379363328 0 4 0 16800975 18446604466823924800 0 0 -1 5 0 0 0
[pid=876/tid=925] ppid=874 vsize=10558212 CPUtime=0 cores=1,3,5,7
/proc/876/task/925/stat : 925 (java) S 874 876 30485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956106761 10811609088 924444 33554432000 1073741824 1073778376 140735908040480 18446744073709551615 251379363328 0 4 0 16800975 18446604466823924800 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10558212
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.32 s]
/proc/loadavg: 2.00 2.00 2.08 3/214 988
/proc/meminfo: memFree=24710612/32950928 swapFree=67051096/67111528
[pid=876] ppid=874 vsize=0 CPUtime=1800.18 cores=1,3,5,7
/proc/876/stat : 876 (java) Z 874 876 30485 0 -1 4203548 930032 0 1 0 179911 107 0 0 17 0 2 0 956106682 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/876/statm: 0 0 0 0 0 0 0
[pid=876/tid=925] ppid=874 vsize=0 CPUtime=0.09 cores=1,3,5,7
/proc/876/task/925/stat : 925 (java) R 874 876 30485 0 -1 4203588 7 0 0 0 0 9 0 0 18 0 2 0 956106761 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1796.36
CPU time (s): 1800.22
CPU user time (s): 1799.11
CPU system time (s): 1.10683
CPU usage (%): 100.215
Max. virtual memory (cumulated for all children) (KiB): 10558212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.11
system time used= 1.10683
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 930032
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= 43636
involuntary context switches= 17604
runsolver used 2.89556 second user time and 6.91995 second system time
The end