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-3456822-1307659859/watcher-3456822-1307659859 -o /tmp/evaluation-result-3456822-1307659859/solver-3456822-1307659859 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456822-1307659859.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.02 1.76 1.35 3/195 860
/proc/meminfo: memFree=28612472/32951124 swapFree=67088052/67111528
[pid=860] ppid=858 vsize=252 CPUtime=0 cores=1,3,5,7
/proc/860/stat : 860 (java) S 858 860 32198 0 -1 4194304 78 0 0 0 0 0 0 0 25 0 1 0 858402050 258048 32 33554432000 1073741824 1073778376 140737279541472 18446744073709551615 255101845127 0 2147483391 4096 0 18446744071699199166 0 0 17 5 0 0 0
/proc/860/statm: 63 32 24 9 0 22 0
[startup+0.0687819 s]
/proc/loadavg: 2.02 1.76 1.35 3/195 860
/proc/meminfo: memFree=28612472/32951124 swapFree=67088052/67111528
[pid=860] ppid=858 vsize=10473672 CPUtime=0.05 cores=1,3,5,7
/proc/860/stat : 860 (java) S 858 860 32198 0 -1 4202496 11704 0 1 0 4 1 0 0 25 0 18 0 858402050 10725040128 11400 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/860/statm: 2618418 11400 1733 9 0 2609159 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10473672
[startup+0.100739 s]
/proc/loadavg: 2.02 1.76 1.35 3/195 860
/proc/meminfo: memFree=28612472/32951124 swapFree=67088052/67111528
[pid=860] ppid=858 vsize=10540260 CPUtime=0.09 cores=1,3,5,7
/proc/860/stat : 860 (java) S 858 860 32198 0 -1 4202496 12934 0 1 0 8 1 0 0 25 0 18 0 858402050 10793226240 12630 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/860/statm: 2635065 12630 2093 9 0 2625799 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540260
[startup+0.300708 s]
/proc/loadavg: 2.02 1.76 1.35 3/195 860
/proc/meminfo: memFree=28612472/32951124 swapFree=67088052/67111528
[pid=860] ppid=858 vsize=10555792 CPUtime=0.56 cores=1,3,5,7
/proc/860/stat : 860 (java) S 858 860 32198 0 -1 4202496 20320 0 1 0 54 2 0 0 25 0 19 0 858402050 10809131008 18238 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/860/statm: 2638948 18238 2213 9 0 2629682 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 10555792
[startup+0.700636 s]
/proc/loadavg: 2.02 1.76 1.35 3/195 860
/proc/meminfo: memFree=28612472/32951124 swapFree=67088052/67111528
[pid=860] ppid=858 vsize=10558864 CPUtime=1.42 cores=1,3,5,7
/proc/860/stat : 860 (java) S 858 860 32198 0 -1 4202496 45058 0 1 0 137 5 0 0 25 0 19 0 858402050 10812276736 41835 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/860/statm: 2639716 41835 2220 9 0 2630450 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 10558864
[startup+1.50153 s]
/proc/loadavg: 2.02 1.76 1.35 4/214 880
/proc/meminfo: memFree=28278040/32951124 swapFree=67088052/67111528
[pid=860] ppid=858 vsize=10558864 CPUtime=2.34 cores=1,3,5,7
/proc/860/stat : 860 (java) S 858 860 32198 0 -1 4202496 165672 0 1 0 214 20 0 0 25 0 19 0 858402050 10812276736 162354 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/860/statm: 2639716 162359 2224 9 0 2630450 0
[pid=860/tid=862] ppid=858 vsize=10558864 CPUtime=1.47 cores=1,3,5,7
/proc/860/task/862/stat : 862 (java) R 858 860 32198 0 -1 4202560 156087 0 1 0 129 18 0 0 18 0 19 0 858402051 10812276736 162363 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 46912505810879 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=860/tid=863] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/863/stat : 863 (java) S 858 860 32198 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858402053 10812276736 162369 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=864] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/864/stat : 864 (java) S 858 860 32198 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 858402053 10812276736 162375 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=865] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/865/stat : 865 (java) S 858 860 32198 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 858402053 10812276736 162375 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=866] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/866/stat : 866 (java) S 858 860 32198 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 858402053 10812276736 162379 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=867] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/867/stat : 867 (java) S 858 860 32198 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 858402053 10812276736 162386 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=868] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/868/stat : 868 (java) S 858 860 32198 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 858402053 10812276736 162391 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=869] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/869/stat : 869 (java) S 858 860 32198 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 858402053 10812276736 162391 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=870] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/870/stat : 870 (java) S 858 860 32198 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 858402053 10812276736 162396 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=871] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/871/stat : 871 (java) S 858 860 32198 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 858402054 10812276736 162403 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118585344 0 0 0 16800975 18446604471105423168 0 0 -1 3 0 0 0
[pid=860/tid=872] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/872/stat : 872 (java) S 858 860 32198 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 858402054 10812276736 162406 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=873] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/873/stat : 873 (java) S 858 860 32198 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 858402054 10812276736 162407 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 7 0 0 0
[pid=860/tid=874] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/874/stat : 874 (java) S 858 860 32198 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858402057 10812276736 162414 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118592433 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=875] ppid=858 vsize=10558864 CPUtime=0.41 cores=1,3,5,7
/proc/860/task/875/stat : 875 (java) S 858 860 32198 0 -1 4202560 3221 0 0 0 41 0 0 0 15 0 19 0 858402057 10812276736 162420 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 3 0 0 0
[pid=860/tid=877] ppid=858 vsize=10558864 CPUtime=0.43 cores=1,3,5,7
/proc/860/task/877/stat : 877 (java) S 858 860 32198 0 -1 4202560 5208 0 0 0 43 0 0 0 15 0 19 0 858402057 10812276736 162422 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=878] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/878/stat : 878 (java) S 858 860 32198 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 858402057 10812276736 162424 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=879] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/879/stat : 879 (java) S 858 860 32198 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 858402057 10812276736 162430 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118585344 0 4 0 16800975 18446604471105423168 0 0 -1 5 0 0 0
[pid=860/tid=880] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/880/stat : 880 (java) S 858 860 32198 0 -1 4202560 12 0 0 0 0 0 0 0 23 0 19 0 858402078 10812276736 162437 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118585344 0 4 0 16800975 18446604471105423168 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 10558864
[startup+3.10125 s]
/proc/loadavg: 2.02 1.76 1.35 3/214 881
/proc/meminfo: memFree=27614888/32951124 swapFree=67088052/67111528
[pid=860] ppid=858 vsize=10558864 CPUtime=3.96 cores=1,3,5,7
/proc/860/stat : 860 (java) S 858 860 32198 0 -1 4202496 404451 0 1 0 350 46 0 0 25 0 19 0 858402050 10812276736 401098 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/860/statm: 2639716 401105 2224 9 0 2630450 0
[pid=860/tid=862] ppid=858 vsize=10558864 CPUtime=3.07 cores=1,3,5,7
/proc/860/task/862/stat : 862 (java) R 858 860 32198 0 -1 4202560 394830 0 1 0 262 45 0 0 19 0 19 0 858402051 10812276736 401105 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 46912505934099 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=860/tid=863] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/863/stat : 863 (java) S 858 860 32198 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858402053 10812276736 401111 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=864] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/864/stat : 864 (java) S 858 860 32198 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 858402053 10812276736 401118 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=865] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/865/stat : 865 (java) S 858 860 32198 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 858402053 10812276736 401124 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=866] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/866/stat : 866 (java) S 858 860 32198 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 858402053 10812276736 401124 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=867] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/867/stat : 867 (java) S 858 860 32198 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 858402053 10812276736 401127 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=868] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/868/stat : 868 (java) S 858 860 32198 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 858402053 10812276736 401133 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=869] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/869/stat : 869 (java) S 858 860 32198 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 858402053 10812276736 401139 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=870] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/870/stat : 870 (java) S 858 860 32198 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 858402053 10812276736 401144 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=871] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/871/stat : 871 (java) S 858 860 32198 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 858402054 10812276736 401144 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118585344 0 0 0 16800975 18446604471105423168 0 0 -1 3 0 0 0
[pid=860/tid=872] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/872/stat : 872 (java) S 858 860 32198 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 858402054 10812276736 401149 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=873] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/873/stat : 873 (java) S 858 860 32198 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 858402054 10812276736 401155 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 7 0 0 0
[pid=860/tid=874] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/874/stat : 874 (java) S 858 860 32198 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858402057 10812276736 401161 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118592433 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=875] ppid=858 vsize=10558864 CPUtime=0.42 cores=1,3,5,7
/proc/860/task/875/stat : 875 (java) S 858 860 32198 0 -1 4202560 3255 0 0 0 42 0 0 0 15 0 19 0 858402057 10812276736 401164 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 3 0 0 0
[pid=860/tid=877] ppid=858 vsize=10558864 CPUtime=0.44 cores=1,3,5,7
/proc/860/task/877/stat : 877 (java) S 858 860 32198 0 -1 4202560 5208 0 0 0 44 0 0 0 15 0 19 0 858402057 10812276736 401164 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=878] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/878/stat : 878 (java) S 858 860 32198 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 858402057 10812276736 401171 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=879] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/879/stat : 879 (java) S 858 860 32198 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 858402057 10812276736 401177 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118585344 0 4 0 16800975 18446604471105423168 0 0 -1 5 0 0 0
[pid=860/tid=880] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/880/stat : 880 (java) S 858 860 32198 0 -1 4202560 12 0 0 0 0 0 0 0 23 0 19 0 858402078 10812276736 401183 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118585344 0 4 0 16800975 18446604471105423168 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 10558864
[startup+6.3007 s]
/proc/loadavg: 2.02 1.76 1.36 3/214 881
/proc/meminfo: memFree=25983336/32951124 swapFree=67088052/67111528
[pid=860] ppid=858 vsize=10558864 CPUtime=7.32 cores=1,3,5,7
/proc/860/stat : 860 (java) S 858 860 32198 0 -1 4202496 661557 0 1 0 660 72 0 0 25 0 19 0 858402050 10812276736 658018 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/860/statm: 2639716 658018 2242 9 0 2630450 0
[pid=860/tid=862] ppid=858 vsize=10558864 CPUtime=6.27 cores=1,3,5,7
/proc/860/task/862/stat : 862 (java) R 858 860 32198 0 -1 4202560 651107 0 1 0 556 71 0 0 18 0 19 0 858402051 10812276736 658018 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 46912505575591 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=860/tid=863] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/863/stat : 863 (java) S 858 860 32198 0 -1 4202560 237 0 0 0 0 0 0 0 18 0 19 0 858402053 10812276736 658018 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=864] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/864/stat : 864 (java) S 858 860 32198 0 -1 4202560 232 0 0 0 0 0 0 0 18 0 19 0 858402053 10812276736 658018 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 5 0 0 0
[pid=860/tid=865] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/865/stat : 865 (java) S 858 860 32198 0 -1 4202560 211 0 0 0 0 0 0 0 18 0 19 0 858402053 10812276736 658018 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 3 0 0 0
[pid=860/tid=866] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/866/stat : 866 (java) S 858 860 32198 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 858402053 10812276736 658018 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=867] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/867/stat : 867 (java) S 858 860 32198 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 858402053 10812276736 658018 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=868] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/868/stat : 868 (java) S 858 860 32198 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 858402053 10812276736 658018 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 3 0 0 0
[pid=860/tid=869] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/869/stat : 869 (java) S 858 860 32198 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 858402053 10812276736 658018 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=870] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/870/stat : 870 (java) S 858 860 32198 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 858402053 10812276736 658018 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 5 0 0 0
[pid=860/tid=871] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/871/stat : 871 (java) S 858 860 32198 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 858402054 10812276736 658018 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118585344 0 0 0 16800975 18446604471105423168 0 0 -1 3 0 0 0
[pid=860/tid=872] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/872/stat : 872 (java) S 858 860 32198 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858402054 10812276736 658018 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=873] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/873/stat : 873 (java) S 858 860 32198 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 858402054 10812276736 658018 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 7 0 0 0
[pid=860/tid=874] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/874/stat : 874 (java) S 858 860 32198 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858402057 10812276736 658018 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118592433 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=875] ppid=858 vsize=10558864 CPUtime=0.46 cores=1,3,5,7
/proc/860/task/875/stat : 875 (java) S 858 860 32198 0 -1 4202560 3364 0 0 0 46 0 0 0 15 0 19 0 858402057 10812276736 658018 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 3 0 0 0
[pid=860/tid=877] ppid=858 vsize=10558864 CPUtime=0.56 cores=1,3,5,7
/proc/860/task/877/stat : 877 (java) S 858 860 32198 0 -1 4202560 5234 0 0 0 56 0 0 0 15 0 19 0 858402057 10812276736 658018 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=878] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/878/stat : 878 (java) S 858 860 32198 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 858402057 10812276736 658018 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=879] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/879/stat : 879 (java) S 858 860 32198 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 858402057 10812276736 658018 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118585344 0 4 0 16800975 18446604471105423168 0 0 -1 5 0 0 0
[pid=860/tid=880] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/880/stat : 880 (java) S 858 860 32198 0 -1 4202560 12 0 0 0 0 0 0 0 23 0 19 0 858402078 10812276736 658018 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118585344 0 4 0 16800975 18446604471105423168 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.32
Current children cumulated vsize (KiB) 10558864
[startup+12.7016 s]
################
# More data... #
################
/proc/860/task/873/stat : 873 (java) S 858 860 32198 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 858402054 10812276736 1022563 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 7 0 0 0
[pid=860/tid=874] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/874/stat : 874 (java) S 858 860 32198 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858402057 10812276736 1022563 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118592433 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=875] ppid=858 vsize=10558864 CPUtime=0.53 cores=1,3,5,7
/proc/860/task/875/stat : 875 (java) S 858 860 32198 0 -1 4202560 3754 0 0 0 53 0 0 0 15 0 19 0 858402057 10812276736 1022563 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 3 0 0 0
[pid=860/tid=877] ppid=858 vsize=10558864 CPUtime=0.9 cores=1,3,5,7
/proc/860/task/877/stat : 877 (java) S 858 860 32198 0 -1 4202560 5316 0 0 0 90 0 0 0 15 0 19 0 858402057 10812276736 1022563 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=878] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/878/stat : 878 (java) S 858 860 32198 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 858402057 10812276736 1022563 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=879] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/879/stat : 879 (java) S 858 860 32198 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 858402057 10812276736 1022563 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118585344 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=880] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/880/stat : 880 (java) S 858 860 32198 0 -1 4202560 12 0 0 0 0 0 0 0 23 0 19 0 858402078 10812276736 1022563 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118585344 0 4 0 16800975 18446604471105423168 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1666.12
Current children cumulated vsize (KiB) 10558864
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/214 1054
/proc/meminfo: memFree=24626648/32951124 swapFree=67088052/67111528
[pid=860] ppid=858 vsize=10558864 CPUtime=1726.26 cores=1,3,5,7
/proc/860/stat : 860 (java) S 858 860 32198 0 -1 4202496 1048239 0 1 0 172504 122 0 0 25 0 19 0 858402050 10812276736 1031473 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/860/statm: 2639716 1031473 2244 9 0 2630450 0
[pid=860/tid=862] ppid=858 vsize=10558864 CPUtime=1721.1 cores=1,3,5,7
/proc/860/task/862/stat : 862 (java) R 858 860 32198 0 -1 4202560 859455 0 1 0 172018 92 0 0 25 0 19 0 858402051 10812276736 1031473 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 46912505575624 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=860/tid=863] ppid=858 vsize=10558864 CPUtime=0.46 cores=1,3,5,7
/proc/860/task/863/stat : 863 (java) S 858 860 32198 0 -1 4202560 25746 0 0 0 43 3 0 0 15 0 19 0 858402053 10812276736 1031473 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 3 0 0 0
[pid=860/tid=864] ppid=858 vsize=10558864 CPUtime=0.42 cores=1,3,5,7
/proc/860/task/864/stat : 864 (java) S 858 860 32198 0 -1 4202560 13656 0 0 0 40 2 0 0 15 0 19 0 858402053 10812276736 1031473 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 5 0 0 0
[pid=860/tid=865] ppid=858 vsize=10558864 CPUtime=0.46 cores=1,3,5,7
/proc/860/task/865/stat : 865 (java) S 858 860 32198 0 -1 4202560 22646 0 0 0 44 2 0 0 15 0 19 0 858402053 10812276736 1031473 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=866] ppid=858 vsize=10558864 CPUtime=0.43 cores=1,3,5,7
/proc/860/task/866/stat : 866 (java) S 858 860 32198 0 -1 4202560 18813 0 0 0 41 2 0 0 16 0 19 0 858402053 10812276736 1031473 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 7 0 0 0
[pid=860/tid=867] ppid=858 vsize=10558864 CPUtime=0.44 cores=1,3,5,7
/proc/860/task/867/stat : 867 (java) S 858 860 32198 0 -1 4202560 25505 0 0 0 41 3 0 0 16 0 19 0 858402053 10812276736 1031473 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 3 0 0 0
[pid=860/tid=868] ppid=858 vsize=10558864 CPUtime=0.41 cores=1,3,5,7
/proc/860/task/868/stat : 868 (java) S 858 860 32198 0 -1 4202560 19319 0 0 0 39 2 0 0 16 0 19 0 858402053 10812276736 1031473 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 5 0 0 0
[pid=860/tid=869] ppid=858 vsize=10558864 CPUtime=0.45 cores=1,3,5,7
/proc/860/task/869/stat : 869 (java) S 858 860 32198 0 -1 4202560 24827 0 0 0 43 2 0 0 16 0 19 0 858402053 10812276736 1031473 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=870] ppid=858 vsize=10558864 CPUtime=0.47 cores=1,3,5,7
/proc/860/task/870/stat : 870 (java) S 858 860 32198 0 -1 4202560 27836 0 0 0 42 5 0 0 15 0 19 0 858402053 10812276736 1031473 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 7 0 0 0
[pid=860/tid=871] ppid=858 vsize=10558864 CPUtime=0.06 cores=1,3,5,7
/proc/860/task/871/stat : 871 (java) S 858 860 32198 0 -1 4202560 112 0 0 0 4 2 0 0 15 0 19 0 858402054 10812276736 1031473 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118585344 0 0 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=872] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/872/stat : 872 (java) S 858 860 32198 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858402054 10812276736 1031473 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=873] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/873/stat : 873 (java) S 858 860 32198 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 858402054 10812276736 1031473 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 7 0 0 0
[pid=860/tid=874] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/874/stat : 874 (java) S 858 860 32198 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858402057 10812276736 1031473 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118592433 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=875] ppid=858 vsize=10558864 CPUtime=0.53 cores=1,3,5,7
/proc/860/task/875/stat : 875 (java) S 858 860 32198 0 -1 4202560 3754 0 0 0 53 0 0 0 15 0 19 0 858402057 10812276736 1031473 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 3 0 0 0
[pid=860/tid=877] ppid=858 vsize=10558864 CPUtime=0.9 cores=1,3,5,7
/proc/860/task/877/stat : 877 (java) S 858 860 32198 0 -1 4202560 5316 0 0 0 90 0 0 0 15 0 19 0 858402057 10812276736 1031473 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=878] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/878/stat : 878 (java) S 858 860 32198 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 858402057 10812276736 1031473 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=879] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/879/stat : 879 (java) S 858 860 32198 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 858402057 10812276736 1031473 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118585344 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=880] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/880/stat : 880 (java) S 858 860 32198 0 -1 4202560 12 0 0 0 0 0 0 0 23 0 19 0 858402078 10812276736 1031473 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118585344 0 4 0 16800975 18446604471105423168 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1726.26
Current children cumulated vsize (KiB) 10558864
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 1.88 3/214 1056
/proc/meminfo: memFree=24584676/32951124 swapFree=67088052/67111528
[pid=860] ppid=858 vsize=10558864 CPUtime=1786.33 cores=1,3,5,7
/proc/860/stat : 860 (java) S 858 860 32198 0 -1 4202496 1051513 0 1 0 178511 122 0 0 25 0 19 0 858402050 10812276736 1034403 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/860/statm: 2639716 1034403 2244 9 0 2630450 0
[pid=860/tid=862] ppid=858 vsize=10558864 CPUtime=1781.07 cores=1,3,5,7
/proc/860/task/862/stat : 862 (java) R 858 860 32198 0 -1 4202560 859461 0 1 0 178015 92 0 0 25 0 19 0 858402051 10812276736 1034403 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 46912505851108 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=860/tid=863] ppid=858 vsize=10558864 CPUtime=0.47 cores=1,3,5,7
/proc/860/task/863/stat : 863 (java) S 858 860 32198 0 -1 4202560 25809 0 0 0 44 3 0 0 15 0 19 0 858402053 10812276736 1034403 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 5 0 0 0
[pid=860/tid=864] ppid=858 vsize=10558864 CPUtime=0.43 cores=1,3,5,7
/proc/860/task/864/stat : 864 (java) S 858 860 32198 0 -1 4202560 13722 0 0 0 41 2 0 0 15 0 19 0 858402053 10812276736 1034403 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=865] ppid=858 vsize=10558864 CPUtime=0.48 cores=1,3,5,7
/proc/860/task/865/stat : 865 (java) S 858 860 32198 0 -1 4202560 24898 0 0 0 45 3 0 0 16 0 19 0 858402053 10812276736 1034403 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=866] ppid=858 vsize=10558864 CPUtime=0.44 cores=1,3,5,7
/proc/860/task/866/stat : 866 (java) S 858 860 32198 0 -1 4202560 18886 0 0 0 42 2 0 0 15 0 19 0 858402053 10812276736 1034403 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 7 0 0 0
[pid=860/tid=867] ppid=858 vsize=10558864 CPUtime=0.45 cores=1,3,5,7
/proc/860/task/867/stat : 867 (java) S 858 860 32198 0 -1 4202560 25562 0 0 0 42 3 0 0 15 0 19 0 858402053 10812276736 1034403 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 7 0 0 0
[pid=860/tid=868] ppid=858 vsize=10558864 CPUtime=0.42 cores=1,3,5,7
/proc/860/task/868/stat : 868 (java) S 858 860 32198 0 -1 4202560 19324 0 0 0 40 2 0 0 16 0 19 0 858402053 10812276736 1034403 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 5 0 0 0
[pid=860/tid=869] ppid=858 vsize=10558864 CPUtime=0.47 cores=1,3,5,7
/proc/860/task/869/stat : 869 (java) S 858 860 32198 0 -1 4202560 25495 0 0 0 45 2 0 0 16 0 19 0 858402053 10812276736 1034403 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 3 0 0 0
[pid=860/tid=870] ppid=858 vsize=10558864 CPUtime=0.48 cores=1,3,5,7
/proc/860/task/870/stat : 870 (java) S 858 860 32198 0 -1 4202560 27912 0 0 0 43 5 0 0 15 0 19 0 858402053 10812276736 1034403 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 7 0 0 0
[pid=860/tid=871] ppid=858 vsize=10558864 CPUtime=0.06 cores=1,3,5,7
/proc/860/task/871/stat : 871 (java) S 858 860 32198 0 -1 4202560 116 0 0 0 4 2 0 0 15 0 19 0 858402054 10812276736 1034403 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118585344 0 0 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=872] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/872/stat : 872 (java) S 858 860 32198 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858402054 10812276736 1034403 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=873] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/873/stat : 873 (java) S 858 860 32198 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 858402054 10812276736 1034403 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 7 0 0 0
[pid=860/tid=874] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/874/stat : 874 (java) S 858 860 32198 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858402057 10812276736 1034403 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118592433 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=875] ppid=858 vsize=10558864 CPUtime=0.53 cores=1,3,5,7
/proc/860/task/875/stat : 875 (java) S 858 860 32198 0 -1 4202560 3754 0 0 0 53 0 0 0 15 0 19 0 858402057 10812276736 1034403 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 3 0 0 0
[pid=860/tid=877] ppid=858 vsize=10558864 CPUtime=0.9 cores=1,3,5,7
/proc/860/task/877/stat : 877 (java) S 858 860 32198 0 -1 4202560 5316 0 0 0 90 0 0 0 15 0 19 0 858402057 10812276736 1034403 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=878] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/878/stat : 878 (java) S 858 860 32198 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 858402057 10812276736 1034403 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=879] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/879/stat : 879 (java) S 858 860 32198 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 858402057 10812276736 1034403 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118585344 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=880] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/880/stat : 880 (java) S 858 860 32198 0 -1 4202560 12 0 0 0 0 0 0 0 23 0 19 0 858402078 10812276736 1034403 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118585344 0 4 0 16800975 18446604471105423168 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1786.33
Current children cumulated vsize (KiB) 10558864
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796 s]
/proc/loadavg: 2.03 2.01 1.88 3/214 1056
/proc/meminfo: memFree=24579452/32951124 swapFree=67088052/67111528
[pid=860] ppid=858 vsize=10558864 CPUtime=1800.04 cores=1,3,5,7
/proc/860/stat : 860 (java) S 858 860 32198 0 -1 4202496 1051536 0 1 0 179882 122 0 0 25 0 19 0 858402050 10812276736 1034425 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/860/statm: 2639716 1034425 2244 9 0 2630450 0
[pid=860/tid=862] ppid=858 vsize=10558864 CPUtime=1794.78 cores=1,3,5,7
/proc/860/task/862/stat : 862 (java) R 858 860 32198 0 -1 4202560 859462 0 1 0 179386 92 0 0 25 0 19 0 858402051 10812276736 1034425 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 46912505851064 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=860/tid=863] ppid=858 vsize=10558864 CPUtime=0.47 cores=1,3,5,7
/proc/860/task/863/stat : 863 (java) S 858 860 32198 0 -1 4202560 25809 0 0 0 44 3 0 0 15 0 19 0 858402053 10812276736 1034425 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 5 0 0 0
[pid=860/tid=864] ppid=858 vsize=10558864 CPUtime=0.44 cores=1,3,5,7
/proc/860/task/864/stat : 864 (java) S 858 860 32198 0 -1 4202560 13739 0 0 0 42 2 0 0 16 0 19 0 858402053 10812276736 1034425 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=865] ppid=858 vsize=10558864 CPUtime=0.48 cores=1,3,5,7
/proc/860/task/865/stat : 865 (java) S 858 860 32198 0 -1 4202560 24898 0 0 0 45 3 0 0 15 0 19 0 858402053 10812276736 1034425 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=866] ppid=858 vsize=10558864 CPUtime=0.45 cores=1,3,5,7
/proc/860/task/866/stat : 866 (java) S 858 860 32198 0 -1 4202560 18889 0 0 0 43 2 0 0 16 0 19 0 858402053 10812276736 1034425 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 5 0 0 0
[pid=860/tid=867] ppid=858 vsize=10558864 CPUtime=0.45 cores=1,3,5,7
/proc/860/task/867/stat : 867 (java) S 858 860 32198 0 -1 4202560 25562 0 0 0 42 3 0 0 16 0 19 0 858402053 10812276736 1034425 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 7 0 0 0
[pid=860/tid=868] ppid=858 vsize=10558864 CPUtime=0.43 cores=1,3,5,7
/proc/860/task/868/stat : 868 (java) S 858 860 32198 0 -1 4202560 19324 0 0 0 41 2 0 0 16 0 19 0 858402053 10812276736 1034425 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 3 0 0 0
[pid=860/tid=869] ppid=858 vsize=10558864 CPUtime=0.47 cores=1,3,5,7
/proc/860/task/869/stat : 869 (java) S 858 860 32198 0 -1 4202560 25495 0 0 0 45 2 0 0 15 0 19 0 858402053 10812276736 1034425 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 3 0 0 0
[pid=860/tid=870] ppid=858 vsize=10558864 CPUtime=0.48 cores=1,3,5,7
/proc/860/task/870/stat : 870 (java) S 858 860 32198 0 -1 4202560 27914 0 0 0 43 5 0 0 16 0 19 0 858402053 10812276736 1034425 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 7 0 0 0
[pid=860/tid=871] ppid=858 vsize=10558864 CPUtime=0.06 cores=1,3,5,7
/proc/860/task/871/stat : 871 (java) S 858 860 32198 0 -1 4202560 116 0 0 0 4 2 0 0 15 0 19 0 858402054 10812276736 1034425 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118585344 0 0 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=872] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/872/stat : 872 (java) S 858 860 32198 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858402054 10812276736 1034425 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=873] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/873/stat : 873 (java) S 858 860 32198 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 858402054 10812276736 1034425 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 7 0 0 0
[pid=860/tid=874] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/874/stat : 874 (java) S 858 860 32198 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858402057 10812276736 1034425 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118592433 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=875] ppid=858 vsize=10558864 CPUtime=0.53 cores=1,3,5,7
/proc/860/task/875/stat : 875 (java) S 858 860 32198 0 -1 4202560 3754 0 0 0 53 0 0 0 15 0 19 0 858402057 10812276736 1034425 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 3 0 0 0
[pid=860/tid=877] ppid=858 vsize=10558864 CPUtime=0.9 cores=1,3,5,7
/proc/860/task/877/stat : 877 (java) S 858 860 32198 0 -1 4202560 5316 0 0 0 90 0 0 0 15 0 19 0 858402057 10812276736 1034425 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=878] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/878/stat : 878 (java) S 858 860 32198 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 858402057 10812276736 1034425 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118584729 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=879] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/879/stat : 879 (java) S 858 860 32198 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 858402057 10812276736 1034425 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118585344 0 4 0 16800975 18446604471105423168 0 0 -1 1 0 0 0
[pid=860/tid=880] ppid=858 vsize=10558864 CPUtime=0 cores=1,3,5,7
/proc/860/task/880/stat : 880 (java) S 858 860 32198 0 -1 4202560 12 0 0 0 0 0 0 0 23 0 19 0 858402078 10812276736 1034425 33554432000 1073741824 1073778376 140733475508896 18446744073709551615 255118585344 0 4 0 16800975 18446604471105423168 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10558864
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.11 s]
/proc/loadavg: 2.03 2.01 1.88 3/214 1056
/proc/meminfo: memFree=24579452/32951124 swapFree=67088052/67111528
[pid=860] ppid=858 vsize=0 CPUtime=1800.18 cores=1,3,5,7
/proc/860/stat : 860 (java) Z 858 860 32198 0 -1 4203548 1051567 0 1 0 179888 130 0 0 17 0 2 0 858402050 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/860/statm: 0 0 0 0 0 0 0
[pid=860/tid=874] ppid=858 vsize=0 CPUtime=0.07 cores=1,3,5,7
/proc/860/task/874/stat : 874 (java) R 858 860 32198 0 -1 4203588 8 0 0 0 0 7 0 0 18 0 2 0 858402057 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1796.18
CPU time (s): 1800.25
CPU user time (s): 1798.88
CPU system time (s): 1.37179
CPU usage (%): 100.227
Max. virtual memory (cumulated for all children) (KiB): 10558864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.88
system time used= 1.37179
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1051567
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= 43570
involuntary context switches= 13353
runsolver used 2.93955 second user time and 6.87595 second system time
The end