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-3456370-1307219986/watcher-3456370-1307219986 -o /tmp/evaluation-result-3456370-1307219986/solver-3456370-1307219986 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456370-1307219986.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.05 2.00 2/533 23008
/proc/meminfo: memFree=20296964/32950928 swapFree=58671692/67111528
[pid=23008] ppid=23006 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/23008/stat : 23008 (java) S 23006 23008 22299 0 -1 4202496 7306 0 1 0 0 0 0 0 25 0 2 0 912229229 10694979584 7007 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/23008/statm: 2611079 7020 917 9 0 2602235 0
[pid=23008/tid=23009] ppid=23006 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23009/stat : 23009 (java) R 23006 23008 22299 0 -1 4202560 7746 0 1 0 0 0 0 0 25 0 2 0 912229230 10694979584 8562 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256415085627 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.046425 s]
/proc/loadavg: 2.00 2.05 2.00 2/533 23008
/proc/meminfo: memFree=20296964/32950928 swapFree=58671692/67111528
[pid=23008] ppid=23006 vsize=10533016 CPUtime=0.03 cores=1,3,5,7
/proc/23008/stat : 23008 (java) S 23006 23008 22299 0 -1 4202496 11336 0 1 0 2 1 0 0 25 0 13 0 912229229 10785808384 11032 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/23008/statm: 2633254 11033 1679 9 0 2624002 0
[pid=23008/tid=23009] ppid=23006 vsize=10533016 CPUtime=0.03 cores=1,3,5,7
/proc/23008/task/23009/stat : 23009 (java) R 23006 23008 22299 0 -1 4202560 10188 0 1 0 2 1 0 0 20 0 13 0 912229230 10785808384 11033 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427218379 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10533016
[startup+0.100414 s]
/proc/loadavg: 2.00 2.05 2.00 2/533 23008
/proc/meminfo: memFree=20296964/32950928 swapFree=58671692/67111528
[pid=23008] ppid=23006 vsize=10539852 CPUtime=0.1 cores=1,3,5,7
/proc/23008/stat : 23008 (java) S 23006 23008 22299 0 -1 4202496 13028 0 1 0 9 1 0 0 25 0 18 0 912229229 10792808448 12724 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23008/statm: 2634963 12724 2092 9 0 2625697 0
[pid=23008/tid=23009] ppid=23006 vsize=10539852 CPUtime=0.08 cores=1,3,5,7
/proc/23008/task/23009/stat : 23009 (java) R 23006 23008 22299 0 -1 4202560 11180 0 1 0 7 1 0 0 25 0 18 0 912229230 10792808448 12724 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 18446744073699065949 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539852
[startup+0.300364 s]
/proc/loadavg: 2.00 2.05 2.00 2/533 23008
/proc/meminfo: memFree=20296964/32950928 swapFree=58671692/67111528
[pid=23008] ppid=23006 vsize=10542460 CPUtime=0.51 cores=1,3,5,7
/proc/23008/stat : 23008 (java) S 23006 23008 22299 0 -1 4202496 15830 0 1 0 49 2 0 0 25 0 18 0 912229229 10795479040 15434 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23008/statm: 2635615 15434 2209 9 0 2626349 0
[pid=23008/tid=23009] ppid=23006 vsize=10542460 CPUtime=0.28 cores=1,3,5,7
/proc/23008/task/23009/stat : 23009 (java) R 23006 23008 22299 0 -1 4202560 13136 0 1 0 27 1 0 0 25 0 18 0 912229230 10795479040 15435 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427218379 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10542460
[startup+0.700298 s]
/proc/loadavg: 2.00 2.05 2.00 2/533 23008
/proc/meminfo: memFree=20296964/32950928 swapFree=58671692/67111528
[pid=23008] ppid=23006 vsize=10547440 CPUtime=1.36 cores=1,3,5,7
/proc/23008/stat : 23008 (java) S 23006 23008 22299 0 -1 4202496 30074 0 1 0 133 3 0 0 25 0 19 0 912229229 10800578560 28429 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23008/statm: 2636860 28432 2222 9 0 2627594 0
[pid=23008/tid=23009] ppid=23006 vsize=10547440 CPUtime=0.68 cores=1,3,5,7
/proc/23008/task/23009/stat : 23009 (java) R 23006 23008 22299 0 -1 4202560 24355 0 1 0 66 2 0 0 25 0 19 0 912229230 10800578560 28434 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 46912505714415 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 10547440
[startup+1.50115 s]
/proc/loadavg: 2.00 2.05 2.00 3/552 23027
/proc/meminfo: memFree=20119892/32950928 swapFree=58671692/67111528
[pid=23008] ppid=23006 vsize=10547440 CPUtime=2.25 cores=1,3,5,7
/proc/23008/stat : 23008 (java) S 23006 23008 22299 0 -1 4202496 76459 0 1 0 215 10 0 0 25 0 19 0 912229229 10800578560 74813 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23008/statm: 2636860 74816 2227 9 0 2627594 0
[pid=23008/tid=23009] ppid=23006 vsize=10547440 CPUtime=1.48 cores=1,3,5,7
/proc/23008/task/23009/stat : 23009 (java) R 23006 23008 22299 0 -1 4202560 70718 0 1 0 139 9 0 0 25 0 19 0 912229230 10800578560 74817 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 46912505714430 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23008/tid=23011] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23011/stat : 23011 (java) S 23006 23008 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912229232 10800578560 74819 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 1 0 0 0
[pid=23008/tid=23012] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23012/stat : 23012 (java) S 23006 23008 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912229232 10800578560 74820 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 1 0 0 0
[pid=23008/tid=23013] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23013/stat : 23013 (java) S 23006 23008 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912229232 10800578560 74821 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 1 0 0 0
[pid=23008/tid=23014] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23014/stat : 23014 (java) S 23006 23008 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912229232 10800578560 74823 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 1 0 0 0
[pid=23008/tid=23015] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23015/stat : 23015 (java) S 23006 23008 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912229232 10800578560 74824 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 1 0 0 0
[pid=23008/tid=23016] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23016/stat : 23016 (java) S 23006 23008 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912229232 10800578560 74825 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 1 0 0 0
[pid=23008/tid=23017] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23017/stat : 23017 (java) S 23006 23008 22299 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 912229232 10800578560 74825 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 7 0 0 0
[pid=23008/tid=23018] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23018/stat : 23018 (java) S 23006 23008 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912229232 10800578560 74829 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 7 0 0 0
[pid=23008/tid=23019] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23019/stat : 23019 (java) S 23006 23008 22299 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 912229233 10800578560 74830 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427208192 0 0 0 16800975 18446604460723417280 0 0 -1 3 0 0 0
[pid=23008/tid=23020] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23020/stat : 23020 (java) S 23006 23008 22299 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 912229233 10800578560 74830 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 3 0 0 0
[pid=23008/tid=23021] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23021/stat : 23021 (java) S 23006 23008 22299 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 912229233 10800578560 74830 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 5 0 0 0
[pid=23008/tid=23022] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23022/stat : 23022 (java) S 23006 23008 22299 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 912229235 10800578560 74830 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427215281 0 4 0 16800975 18446604460723417280 0 0 -1 3 0 0 0
[pid=23008/tid=23023] ppid=23006 vsize=10547440 CPUtime=0.36 cores=1,3,5,7
/proc/23008/task/23023/stat : 23023 (java) S 23006 23008 22299 0 -1 4202560 2041 0 0 0 36 0 0 0 17 0 19 0 912229235 10800578560 74830 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 3 0 0 0
[pid=23008/tid=23024] ppid=23006 vsize=10547440 CPUtime=0.38 cores=1,3,5,7
/proc/23008/task/23024/stat : 23024 (java) S 23006 23008 22299 0 -1 4202560 2542 0 0 0 38 0 0 0 15 0 19 0 912229235 10800578560 74834 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 1 0 0 0
[pid=23008/tid=23025] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23025/stat : 23025 (java) S 23006 23008 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912229235 10800578560 74836 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 3 0 0 0
[pid=23008/tid=23026] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23026/stat : 23026 (java) S 23006 23008 22299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912229235 10800578560 74838 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427208192 0 4 0 16800975 18446604460723417280 0 0 -1 7 0 0 0
[pid=23008/tid=23027] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23027/stat : 23027 (java) S 23006 23008 22299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912229260 10800578560 74840 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427208192 0 4 0 16800975 18446604460723417280 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 10547440
[startup+3.10084 s]
/proc/loadavg: 2.00 2.05 2.00 3/552 23028
/proc/meminfo: memFree=19979152/32950928 swapFree=58671692/67111528
[pid=23008] ppid=23006 vsize=10547440 CPUtime=3.93 cores=1,3,5,7
/proc/23008/stat : 23008 (java) S 23006 23008 22299 0 -1 4202496 95470 0 1 0 380 13 0 0 25 0 19 0 912229229 10800578560 93815 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23008/statm: 2636860 93815 2254 9 0 2627594 0
[pid=23008/tid=23009] ppid=23006 vsize=10547440 CPUtime=3.04 cores=1,3,5,7
/proc/23008/task/23009/stat : 23009 (java) R 23006 23008 22299 0 -1 4202560 87912 0 1 0 293 11 0 0 18 0 19 0 912229230 10800578560 93815 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 46912505845289 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23008/tid=23011] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23011/stat : 23011 (java) S 23006 23008 22299 0 -1 4202560 146 0 0 0 0 0 0 0 16 0 19 0 912229232 10800578560 93815 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 5 0 0 0
[pid=23008/tid=23012] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23012/stat : 23012 (java) S 23006 23008 22299 0 -1 4202560 123 0 0 0 0 0 0 0 16 0 19 0 912229232 10800578560 93815 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 1 0 0 0
[pid=23008/tid=23013] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23013/stat : 23013 (java) S 23006 23008 22299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912229232 10800578560 93815 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 1 0 0 0
[pid=23008/tid=23014] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23014/stat : 23014 (java) S 23006 23008 22299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912229232 10800578560 93815 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 1 0 0 0
[pid=23008/tid=23015] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23015/stat : 23015 (java) S 23006 23008 22299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912229232 10800578560 93815 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 1 0 0 0
[pid=23008/tid=23016] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23016/stat : 23016 (java) S 23006 23008 22299 0 -1 4202560 254 0 0 0 0 0 0 0 18 0 19 0 912229232 10800578560 93815 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 5 0 0 0
[pid=23008/tid=23017] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23017/stat : 23017 (java) S 23006 23008 22299 0 -1 4202560 123 0 0 0 0 0 0 0 16 0 19 0 912229232 10800578560 93815 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 7 0 0 0
[pid=23008/tid=23018] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23018/stat : 23018 (java) S 23006 23008 22299 0 -1 4202560 256 0 0 0 0 0 0 0 18 0 19 0 912229232 10800578560 93815 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 7 0 0 0
[pid=23008/tid=23019] ppid=23006 vsize=10547440 CPUtime=0.02 cores=1,3,5,7
/proc/23008/task/23019/stat : 23019 (java) S 23006 23008 22299 0 -1 4202560 898 0 0 0 2 0 0 0 15 0 19 0 912229233 10800578560 93815 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427208192 0 0 0 16800975 18446604460723417280 0 0 -1 3 0 0 0
[pid=23008/tid=23020] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23020/stat : 23020 (java) S 23006 23008 22299 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912229233 10800578560 93815 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 3 0 0 0
[pid=23008/tid=23021] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23021/stat : 23021 (java) S 23006 23008 22299 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912229233 10800578560 93815 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 5 0 0 0
[pid=23008/tid=23022] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23022/stat : 23022 (java) S 23006 23008 22299 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 912229235 10800578560 93815 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427215281 0 4 0 16800975 18446604460723417280 0 0 -1 3 0 0 0
[pid=23008/tid=23023] ppid=23006 vsize=10547440 CPUtime=0.39 cores=1,3,5,7
/proc/23008/task/23023/stat : 23023 (java) S 23006 23008 22299 0 -1 4202560 2051 0 0 0 39 0 0 0 16 0 19 0 912229235 10800578560 93815 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 3 0 0 0
[pid=23008/tid=23024] ppid=23006 vsize=10547440 CPUtime=0.43 cores=1,3,5,7
/proc/23008/task/23024/stat : 23024 (java) S 23006 23008 22299 0 -1 4202560 2553 0 0 0 43 0 0 0 15 0 19 0 912229235 10800578560 93815 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 1 0 0 0
[pid=23008/tid=23025] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23025/stat : 23025 (java) S 23006 23008 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912229235 10800578560 93815 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 3 0 0 0
[pid=23008/tid=23026] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23026/stat : 23026 (java) S 23006 23008 22299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912229235 10800578560 93815 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427208192 0 4 0 16800975 18446604460723417280 0 0 -1 7 0 0 0
[pid=23008/tid=23027] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23027/stat : 23027 (java) S 23006 23008 22299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912229260 10800578560 93815 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427208192 0 4 0 16800975 18446604460723417280 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.93
Current children cumulated vsize (KiB) 10547440
[startup+6.30123 s]
/proc/loadavg: 2.00 2.05 2.00 3/552 23028
/proc/meminfo: memFree=19869732/32950928 swapFree=58671692/67111528
[pid=23008] ppid=23006 vsize=10547440 CPUtime=7.19 cores=1,3,5,7
/proc/23008/stat : 23008 (java) S 23006 23008 22299 0 -1 4202496 114493 0 1 0 704 15 0 0 25 0 19 0 912229229 10800578560 112828 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23008/statm: 2636860 112831 2255 9 0 2627594 0
[pid=23008/tid=23009] ppid=23006 vsize=10547440 CPUtime=6.22 cores=1,3,5,7
/proc/23008/task/23009/stat : 23009 (java) R 23006 23008 22299 0 -1 4202560 106449 0 1 0 609 13 0 0 21 0 19 0 912229230 10800578560 112831 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 46912505714133 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23008/tid=23011] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23011/stat : 23011 (java) S 23006 23008 22299 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 19 0 912229232 10800578560 112831 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 7 0 0 0
[pid=23008/tid=23012] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23012/stat : 23012 (java) S 23006 23008 22299 0 -1 4202560 123 0 0 0 0 0 0 0 15 0 19 0 912229232 10800578560 112831 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 1 0 0 0
[pid=23008/tid=23013] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23013/stat : 23013 (java) S 23006 23008 22299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912229232 10800578560 112831 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 1 0 0 0
[pid=23008/tid=23014] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23014/stat : 23014 (java) S 23006 23008 22299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912229232 10800578560 112831 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 1 0 0 0
[pid=23008/tid=23015] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23015/stat : 23015 (java) S 23006 23008 22299 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 912229232 10800578560 112831 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 1 0 0 0
[pid=23008/tid=23016] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23016/stat : 23016 (java) S 23006 23008 22299 0 -1 4202560 254 0 0 0 0 0 0 0 15 0 19 0 912229232 10800578560 112831 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 7 0 0 0
[pid=23008/tid=23017] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23017/stat : 23017 (java) S 23006 23008 22299 0 -1 4202560 123 0 0 0 0 0 0 0 15 0 19 0 912229232 10800578560 112831 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 7 0 0 0
[pid=23008/tid=23018] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23018/stat : 23018 (java) S 23006 23008 22299 0 -1 4202560 259 0 0 0 0 0 0 0 15 0 19 0 912229232 10800578560 112831 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 7 0 0 0
[pid=23008/tid=23019] ppid=23006 vsize=10547440 CPUtime=0.04 cores=1,3,5,7
/proc/23008/task/23019/stat : 23019 (java) S 23006 23008 22299 0 -1 4202560 1372 0 0 0 4 0 0 0 15 0 19 0 912229233 10800578560 112831 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427208192 0 0 0 16800975 18446604460723417280 0 0 -1 5 0 0 0
[pid=23008/tid=23020] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23020/stat : 23020 (java) S 23006 23008 22299 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912229233 10800578560 112831 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 3 0 0 0
[pid=23008/tid=23021] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23021/stat : 23021 (java) S 23006 23008 22299 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912229233 10800578560 112831 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 5 0 0 0
[pid=23008/tid=23022] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23022/stat : 23022 (java) S 23006 23008 22299 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 912229235 10800578560 112834 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427215281 0 4 0 16800975 18446604460723417280 0 0 -1 3 0 0 0
[pid=23008/tid=23023] ppid=23006 vsize=10547440 CPUtime=0.44 cores=1,3,5,7
/proc/23008/task/23023/stat : 23023 (java) S 23006 23008 22299 0 -1 4202560 2061 0 0 0 44 0 0 0 15 0 19 0 912229235 10800578560 112836 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 3 0 0 0
[pid=23008/tid=23024] ppid=23006 vsize=10547440 CPUtime=0.43 cores=1,3,5,7
/proc/23008/task/23024/stat : 23024 (java) S 23006 23008 22299 0 -1 4202560 2553 0 0 0 43 0 0 0 15 0 19 0 912229235 10800578560 112838 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=23008/tid=23016] ppid=23006 vsize=10547440 CPUtime=0.18 cores=1,3,5,7
/proc/23008/task/23016/stat : 23016 (java) S 23006 23008 22299 0 -1 4202560 633 0 0 0 18 0 0 0 15 0 19 0 912229232 10800578560 211444 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 1 0 0 0
[pid=23008/tid=23017] ppid=23006 vsize=10547440 CPUtime=0.16 cores=1,3,5,7
/proc/23008/task/23017/stat : 23017 (java) S 23006 23008 22299 0 -1 4202560 285 0 0 0 16 0 0 0 15 0 19 0 912229232 10800578560 211444 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 7 0 0 0
[pid=23008/tid=23018] ppid=23006 vsize=10547440 CPUtime=0.2 cores=1,3,5,7
/proc/23008/task/23018/stat : 23018 (java) S 23006 23008 22299 0 -1 4202560 588 0 0 0 20 0 0 0 15 0 19 0 912229232 10800578560 211444 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 1 0 0 0
[pid=23008/tid=23019] ppid=23006 vsize=10547440 CPUtime=13.51 cores=1,3,5,7
/proc/23008/task/23019/stat : 23019 (java) S 23006 23008 22299 0 -1 4202560 54851 0 0 0 1344 7 0 0 15 0 19 0 912229233 10800578560 211444 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427208192 0 0 0 16800975 18446604460723417280 0 0 -1 5 0 0 0
[pid=23008/tid=23020] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23020/stat : 23020 (java) S 23006 23008 22299 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912229233 10800578560 211444 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 3 0 0 0
[pid=23008/tid=23021] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23021/stat : 23021 (java) S 23006 23008 22299 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912229233 10800578560 211444 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 5 0 0 0
[pid=23008/tid=23022] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23022/stat : 23022 (java) S 23006 23008 22299 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 912229235 10800578560 211444 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427215281 0 4 0 16800975 18446604460723417280 0 0 -1 3 0 0 0
[pid=23008/tid=23023] ppid=23006 vsize=10547440 CPUtime=0.55 cores=1,3,5,7
/proc/23008/task/23023/stat : 23023 (java) S 23006 23008 22299 0 -1 4202560 2078 0 0 0 55 0 0 0 15 0 19 0 912229235 10800578560 211444 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 3 0 0 0
[pid=23008/tid=23024] ppid=23006 vsize=10547440 CPUtime=0.43 cores=1,3,5,7
/proc/23008/task/23024/stat : 23024 (java) S 23006 23008 22299 0 -1 4202560 2553 0 0 0 43 0 0 0 15 0 19 0 912229235 10800578560 211444 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 1 0 0 0
[pid=23008/tid=23025] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23025/stat : 23025 (java) S 23006 23008 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912229235 10800578560 211444 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 3 0 0 0
[pid=23008/tid=23026] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23026/stat : 23026 (java) S 23006 23008 22299 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 912229235 10800578560 211444 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427208192 0 4 0 16800975 18446604460723417280 0 0 -1 1 0 0 0
[pid=23008/tid=23027] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23027/stat : 23027 (java) S 23006 23008 22299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912229260 10800578560 211444 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427208192 0 4 0 16800975 18446604460723417280 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1724.38
Current children cumulated vsize (KiB) 10547440
[startup+1782.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/552 23132
/proc/meminfo: memFree=19484304/32950928 swapFree=58671692/67111528
[pid=23008] ppid=23006 vsize=10547440 CPUtime=1784.44 cores=1,3,5,7
/proc/23008/stat : 23008 (java) S 23006 23008 22299 0 -1 4202496 214655 0 1 0 178413 31 0 0 25 0 19 0 912229229 10800578560 212702 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23008/statm: 2636860 212702 2256 9 0 2627594 0
[pid=23008/tid=23009] ppid=23006 vsize=10547440 CPUtime=1767.68 cores=1,3,5,7
/proc/23008/task/23009/stat : 23009 (java) R 23006 23008 22299 0 -1 4202560 149028 0 1 0 176749 19 0 0 25 0 19 0 912229230 10800578560 212702 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 46912505718311 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23008/tid=23011] ppid=23006 vsize=10547440 CPUtime=0.19 cores=1,3,5,7
/proc/23008/task/23011/stat : 23011 (java) S 23006 23008 22299 0 -1 4202560 472 0 0 0 19 0 0 0 15 0 19 0 912229232 10800578560 212702 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 3 0 0 0
[pid=23008/tid=23012] ppid=23006 vsize=10547440 CPUtime=0.2 cores=1,3,5,7
/proc/23008/task/23012/stat : 23012 (java) S 23006 23008 22299 0 -1 4202560 302 0 0 0 20 0 0 0 15 0 19 0 912229232 10800578560 212702 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 7 0 0 0
[pid=23008/tid=23013] ppid=23006 vsize=10547440 CPUtime=0.23 cores=1,3,5,7
/proc/23008/task/23013/stat : 23013 (java) S 23006 23008 22299 0 -1 4202560 604 0 0 0 23 0 0 0 15 0 19 0 912229232 10800578560 212702 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 7 0 0 0
[pid=23008/tid=23014] ppid=23006 vsize=10547440 CPUtime=0.19 cores=1,3,5,7
/proc/23008/task/23014/stat : 23014 (java) S 23006 23008 22299 0 -1 4202560 60 0 0 0 19 0 0 0 16 0 19 0 912229232 10800578560 212702 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 7 0 0 0
[pid=23008/tid=23015] ppid=23006 vsize=10547440 CPUtime=0.21 cores=1,3,5,7
/proc/23008/task/23015/stat : 23015 (java) S 23006 23008 22299 0 -1 4202560 684 0 0 0 21 0 0 0 15 0 19 0 912229232 10800578560 212702 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 3 0 0 0
[pid=23008/tid=23016] ppid=23006 vsize=10547440 CPUtime=0.2 cores=1,3,5,7
/proc/23008/task/23016/stat : 23016 (java) S 23006 23008 22299 0 -1 4202560 633 0 0 0 20 0 0 0 16 0 19 0 912229232 10800578560 212702 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 1 0 0 0
[pid=23008/tid=23017] ppid=23006 vsize=10547440 CPUtime=0.18 cores=1,3,5,7
/proc/23008/task/23017/stat : 23017 (java) S 23006 23008 22299 0 -1 4202560 285 0 0 0 18 0 0 0 16 0 19 0 912229232 10800578560 212702 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 7 0 0 0
[pid=23008/tid=23018] ppid=23006 vsize=10547440 CPUtime=0.2 cores=1,3,5,7
/proc/23008/task/23018/stat : 23018 (java) S 23006 23008 22299 0 -1 4202560 588 0 0 0 20 0 0 0 15 0 19 0 912229232 10800578560 212702 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 1 0 0 0
[pid=23008/tid=23019] ppid=23006 vsize=10547440 CPUtime=14.07 cores=1,3,5,7
/proc/23008/task/23019/stat : 23019 (java) S 23006 23008 22299 0 -1 4202560 56115 0 0 0 1400 7 0 0 15 0 19 0 912229233 10800578560 212702 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427208192 0 0 0 16800975 18446604460723417280 0 0 -1 5 0 0 0
[pid=23008/tid=23020] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23020/stat : 23020 (java) S 23006 23008 22299 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912229233 10800578560 212702 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 3 0 0 0
[pid=23008/tid=23021] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23021/stat : 23021 (java) S 23006 23008 22299 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912229233 10800578560 212702 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 5 0 0 0
[pid=23008/tid=23022] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23022/stat : 23022 (java) S 23006 23008 22299 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 912229235 10800578560 212702 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427215281 0 4 0 16800975 18446604460723417280 0 0 -1 3 0 0 0
[pid=23008/tid=23023] ppid=23006 vsize=10547440 CPUtime=0.55 cores=1,3,5,7
/proc/23008/task/23023/stat : 23023 (java) S 23006 23008 22299 0 -1 4202560 2078 0 0 0 55 0 0 0 15 0 19 0 912229235 10800578560 212702 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 3 0 0 0
[pid=23008/tid=23024] ppid=23006 vsize=10547440 CPUtime=0.43 cores=1,3,5,7
/proc/23008/task/23024/stat : 23024 (java) S 23006 23008 22299 0 -1 4202560 2553 0 0 0 43 0 0 0 15 0 19 0 912229235 10800578560 212702 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 1 0 0 0
[pid=23008/tid=23025] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23025/stat : 23025 (java) S 23006 23008 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912229235 10800578560 212702 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 3 0 0 0
[pid=23008/tid=23026] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23026/stat : 23026 (java) S 23006 23008 22299 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 912229235 10800578560 212702 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427208192 0 4 0 16800975 18446604460723417280 0 0 -1 1 0 0 0
[pid=23008/tid=23027] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23027/stat : 23027 (java) S 23006 23008 22299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912229260 10800578560 212702 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427208192 0 4 0 16800975 18446604460723417280 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1784.44
Current children cumulated vsize (KiB) 10547440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.9 s]
/proc/loadavg: 2.08 2.06 2.01 3/552 23132
/proc/meminfo: memFree=18683240/32950928 swapFree=58671692/67111528
[pid=23008] ppid=23006 vsize=10547440 CPUtime=1800.08 cores=1,3,5,7
/proc/23008/stat : 23008 (java) S 23006 23008 22299 0 -1 4202496 215216 0 1 0 179977 31 0 0 25 0 19 0 912229229 10800578560 213258 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23008/statm: 2636860 213258 2256 9 0 2627594 0
[pid=23008/tid=23009] ppid=23006 vsize=10547440 CPUtime=1782.88 cores=1,3,5,7
/proc/23008/task/23009/stat : 23009 (java) R 23006 23008 22299 0 -1 4202560 149029 0 1 0 178269 19 0 0 25 0 19 0 912229230 10800578560 213258 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 46912505718311 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23008/tid=23011] ppid=23006 vsize=10547440 CPUtime=0.19 cores=1,3,5,7
/proc/23008/task/23011/stat : 23011 (java) S 23006 23008 22299 0 -1 4202560 472 0 0 0 19 0 0 0 15 0 19 0 912229232 10800578560 213258 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 3 0 0 0
[pid=23008/tid=23012] ppid=23006 vsize=10547440 CPUtime=0.2 cores=1,3,5,7
/proc/23008/task/23012/stat : 23012 (java) S 23006 23008 22299 0 -1 4202560 302 0 0 0 20 0 0 0 15 0 19 0 912229232 10800578560 213258 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 7 0 0 0
[pid=23008/tid=23013] ppid=23006 vsize=10547440 CPUtime=0.24 cores=1,3,5,7
/proc/23008/task/23013/stat : 23013 (java) S 23006 23008 22299 0 -1 4202560 604 0 0 0 24 0 0 0 16 0 19 0 912229232 10800578560 213258 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 7 0 0 0
[pid=23008/tid=23014] ppid=23006 vsize=10547440 CPUtime=0.2 cores=1,3,5,7
/proc/23008/task/23014/stat : 23014 (java) S 23006 23008 22299 0 -1 4202560 60 0 0 0 20 0 0 0 16 0 19 0 912229232 10800578560 213258 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 7 0 0 0
[pid=23008/tid=23015] ppid=23006 vsize=10547440 CPUtime=0.21 cores=1,3,5,7
/proc/23008/task/23015/stat : 23015 (java) S 23006 23008 22299 0 -1 4202560 684 0 0 0 21 0 0 0 15 0 19 0 912229232 10800578560 213258 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 3 0 0 0
[pid=23008/tid=23016] ppid=23006 vsize=10547440 CPUtime=0.21 cores=1,3,5,7
/proc/23008/task/23016/stat : 23016 (java) S 23006 23008 22299 0 -1 4202560 633 0 0 0 21 0 0 0 16 0 19 0 912229232 10800578560 213258 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 1 0 0 0
[pid=23008/tid=23017] ppid=23006 vsize=10547440 CPUtime=0.18 cores=1,3,5,7
/proc/23008/task/23017/stat : 23017 (java) S 23006 23008 22299 0 -1 4202560 285 0 0 0 18 0 0 0 15 0 19 0 912229232 10800578560 213258 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 7 0 0 0
[pid=23008/tid=23018] ppid=23006 vsize=10547440 CPUtime=0.2 cores=1,3,5,7
/proc/23008/task/23018/stat : 23018 (java) S 23006 23008 22299 0 -1 4202560 588 0 0 0 20 0 0 0 15 0 19 0 912229232 10800578560 213258 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 1 0 0 0
[pid=23008/tid=23019] ppid=23006 vsize=10547440 CPUtime=14.48 cores=1,3,5,7
/proc/23008/task/23019/stat : 23019 (java) S 23006 23008 22299 0 -1 4202560 56673 0 0 0 1441 7 0 0 15 0 19 0 912229233 10800578560 213258 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427208192 0 0 0 16800975 18446604460723417280 0 0 -1 5 0 0 0
[pid=23008/tid=23020] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23020/stat : 23020 (java) S 23006 23008 22299 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912229233 10800578560 213258 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 3 0 0 0
[pid=23008/tid=23021] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23021/stat : 23021 (java) S 23006 23008 22299 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912229233 10800578560 213258 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 5 0 0 0
[pid=23008/tid=23022] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23022/stat : 23022 (java) S 23006 23008 22299 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 912229235 10800578560 213258 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427215281 0 4 0 16800975 18446604460723417280 0 0 -1 3 0 0 0
[pid=23008/tid=23023] ppid=23006 vsize=10547440 CPUtime=0.55 cores=1,3,5,7
/proc/23008/task/23023/stat : 23023 (java) S 23006 23008 22299 0 -1 4202560 2078 0 0 0 55 0 0 0 15 0 19 0 912229235 10800578560 213258 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 3 0 0 0
[pid=23008/tid=23024] ppid=23006 vsize=10547440 CPUtime=0.43 cores=1,3,5,7
/proc/23008/task/23024/stat : 23024 (java) S 23006 23008 22299 0 -1 4202560 2553 0 0 0 43 0 0 0 15 0 19 0 912229235 10800578560 213258 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 1 0 0 0
[pid=23008/tid=23025] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23025/stat : 23025 (java) S 23006 23008 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912229235 10800578560 213258 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 3 0 0 0
[pid=23008/tid=23026] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23026/stat : 23026 (java) S 23006 23008 22299 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 912229235 10800578560 213258 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427208192 0 4 0 16800975 18446604460723417280 0 0 -1 1 0 0 0
[pid=23008/tid=23027] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23027/stat : 23027 (java) S 23006 23008 22299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912229260 10800578560 213258 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427208192 0 4 0 16800975 18446604460723417280 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10547440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.9 s]
/proc/loadavg: 2.08 2.06 2.01 3/552 23132
/proc/meminfo: memFree=18683240/32950928 swapFree=58671692/67111528
[pid=23008] ppid=23006 vsize=10547440 CPUtime=1800.08 cores=1,3,5,7
/proc/23008/stat : 23008 (java) S 23006 23008 22299 0 -1 4202496 215216 0 1 0 179977 31 0 0 25 0 19 0 912229229 10800578560 213258 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23008/statm: 2636860 213258 2256 9 0 2627594 0
[pid=23008/tid=23009] ppid=23006 vsize=10547440 CPUtime=1782.88 cores=1,3,5,7
/proc/23008/task/23009/stat : 23009 (java) R 23006 23008 22299 0 -1 4202560 149029 0 1 0 178269 19 0 0 25 0 19 0 912229230 10800578560 213258 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 46912505718311 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23008/tid=23011] ppid=23006 vsize=10547440 CPUtime=0.19 cores=1,3,5,7
/proc/23008/task/23011/stat : 23011 (java) S 23006 23008 22299 0 -1 4202560 472 0 0 0 19 0 0 0 15 0 19 0 912229232 10800578560 213258 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 3 0 0 0
[pid=23008/tid=23012] ppid=23006 vsize=10547440 CPUtime=0.2 cores=1,3,5,7
/proc/23008/task/23012/stat : 23012 (java) S 23006 23008 22299 0 -1 4202560 302 0 0 0 20 0 0 0 15 0 19 0 912229232 10800578560 213258 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 7 0 0 0
[pid=23008/tid=23013] ppid=23006 vsize=10547440 CPUtime=0.24 cores=1,3,5,7
/proc/23008/task/23013/stat : 23013 (java) S 23006 23008 22299 0 -1 4202560 604 0 0 0 24 0 0 0 16 0 19 0 912229232 10800578560 213258 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 7 0 0 0
[pid=23008/tid=23014] ppid=23006 vsize=10547440 CPUtime=0.2 cores=1,3,5,7
/proc/23008/task/23014/stat : 23014 (java) S 23006 23008 22299 0 -1 4202560 60 0 0 0 20 0 0 0 16 0 19 0 912229232 10800578560 213258 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 7 0 0 0
[pid=23008/tid=23015] ppid=23006 vsize=10547440 CPUtime=0.21 cores=1,3,5,7
/proc/23008/task/23015/stat : 23015 (java) S 23006 23008 22299 0 -1 4202560 684 0 0 0 21 0 0 0 15 0 19 0 912229232 10800578560 213258 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 3 0 0 0
[pid=23008/tid=23016] ppid=23006 vsize=10547440 CPUtime=0.21 cores=1,3,5,7
/proc/23008/task/23016/stat : 23016 (java) S 23006 23008 22299 0 -1 4202560 633 0 0 0 21 0 0 0 16 0 19 0 912229232 10800578560 213258 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 1 0 0 0
[pid=23008/tid=23017] ppid=23006 vsize=10547440 CPUtime=0.18 cores=1,3,5,7
/proc/23008/task/23017/stat : 23017 (java) S 23006 23008 22299 0 -1 4202560 285 0 0 0 18 0 0 0 15 0 19 0 912229232 10800578560 213258 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 7 0 0 0
[pid=23008/tid=23018] ppid=23006 vsize=10547440 CPUtime=0.2 cores=1,3,5,7
/proc/23008/task/23018/stat : 23018 (java) S 23006 23008 22299 0 -1 4202560 588 0 0 0 20 0 0 0 15 0 19 0 912229232 10800578560 213258 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 1 0 0 0
[pid=23008/tid=23019] ppid=23006 vsize=10547440 CPUtime=14.48 cores=1,3,5,7
/proc/23008/task/23019/stat : 23019 (java) S 23006 23008 22299 0 -1 4202560 56673 0 0 0 1441 7 0 0 15 0 19 0 912229233 10800578560 213258 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427208192 0 0 0 16800975 18446604460723417280 0 0 -1 5 0 0 0
[pid=23008/tid=23020] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23020/stat : 23020 (java) S 23006 23008 22299 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912229233 10800578560 213258 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 3 0 0 0
[pid=23008/tid=23021] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23021/stat : 23021 (java) S 23006 23008 22299 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912229233 10800578560 213258 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 5 0 0 0
[pid=23008/tid=23022] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23022/stat : 23022 (java) S 23006 23008 22299 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 912229235 10800578560 213258 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427215281 0 4 0 16800975 18446604460723417280 0 0 -1 3 0 0 0
[pid=23008/tid=23023] ppid=23006 vsize=10547440 CPUtime=0.55 cores=1,3,5,7
/proc/23008/task/23023/stat : 23023 (java) S 23006 23008 22299 0 -1 4202560 2078 0 0 0 55 0 0 0 15 0 19 0 912229235 10800578560 213258 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 3 0 0 0
[pid=23008/tid=23024] ppid=23006 vsize=10547440 CPUtime=0.43 cores=1,3,5,7
/proc/23008/task/23024/stat : 23024 (java) S 23006 23008 22299 0 -1 4202560 2553 0 0 0 43 0 0 0 15 0 19 0 912229235 10800578560 213258 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 1 0 0 0
[pid=23008/tid=23025] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23025/stat : 23025 (java) S 23006 23008 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912229235 10800578560 213258 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427207577 0 4 0 16800975 18446604460723417280 0 0 -1 3 0 0 0
[pid=23008/tid=23026] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23026/stat : 23026 (java) S 23006 23008 22299 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 912229235 10800578560 213258 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427208192 0 4 0 16800975 18446604460723417280 0 0 -1 1 0 0 0
[pid=23008/tid=23027] ppid=23006 vsize=10547440 CPUtime=0 cores=1,3,5,7
/proc/23008/task/23027/stat : 23027 (java) S 23006 23008 22299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912229260 10800578560 213258 33554432000 1073741824 1073778376 140734396633568 18446744073709551615 256427208192 0 4 0 16800975 18446604460723417280 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10547440
Child status: 143
Real time (s): 1798.02
CPU time (s): 1800.26
CPU user time (s): 1799.91
CPU system time (s): 0.347947
CPU usage (%): 100.124
Max. virtual memory (cumulated for all children) (KiB): 10547440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.347947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 215259
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= 39278
involuntary context switches= 6878
runsolver used 9.00563 second user time and 22.3526 second system time
The end