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-3456176-1307664252/watcher-3456176-1307664252 -o /tmp/evaluation-result-3456176-1307664252/solver-3456176-1307664252 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456176-1307664252.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.01 2.01 2.00 2/192 8650
/proc/meminfo: memFree=32219564/32951124 swapFree=67062492/67111528
[pid=8650] ppid=8648 vsize=30536 CPUtime=0 cores=1,3,5,7
/proc/8650/stat : 8650 (java) S 8648 8650 7341 0 -1 4202496 1245 0 0 0 0 0 0 0 25 0 2 0 858841107 31268864 963 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828039141 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/8650/statm: 7634 963 736 9 0 385 0
[pid=8650/tid=8651] ppid=8648 vsize=31604 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8651/stat : 8651 (java) R 8648 8650 7341 0 -1 4202560 135 0 0 0 0 0 0 0 25 0 2 0 858841107 32362496 968 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220811267894 0 0 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.051099 s]
/proc/loadavg: 2.01 2.01 2.00 2/192 8650
/proc/meminfo: memFree=32219564/32951124 swapFree=67062492/67111528
[pid=8650] ppid=8648 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/8650/stat : 8650 (java) S 8648 8650 7341 0 -1 4202496 11465 0 1 0 3 1 0 0 25 0 13 0 858841107 10718838784 11161 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828039141 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0
/proc/8650/statm: 2616904 11162 1685 9 0 2607652 0
[pid=8650/tid=8651] ppid=8648 vsize=10467616 CPUtime=0.03 cores=1,3,5,7
/proc/8650/task/8651/stat : 8651 (java) R 8648 8650 7341 0 -1 4202560 10318 0 1 0 2 1 0 0 25 0 13 0 858841107 10718838784 11162 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828063179 0 4 0 16800971 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616
[startup+0.10109 s]
/proc/loadavg: 2.01 2.01 2.00 2/192 8650
/proc/meminfo: memFree=32219564/32951124 swapFree=67062492/67111528
[pid=8650] ppid=8648 vsize=10539216 CPUtime=0.11 cores=1,3,5,7
/proc/8650/stat : 8650 (java) S 8648 8650 7341 0 -1 4202496 13112 0 1 0 9 2 0 0 25 0 18 0 858841107 10792157184 12794 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8650/statm: 2634804 12795 2093 9 0 2625538 0
[pid=8650/tid=8651] ppid=8648 vsize=10539216 CPUtime=0.09 cores=1,3,5,7
/proc/8650/task/8651/stat : 8651 (java) R 8648 8650 7341 0 -1 4202560 11175 0 1 0 7 2 0 0 18 0 18 0 858841107 10792157184 12795 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 47933709424152 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539216
[startup+0.303483 s]
/proc/loadavg: 2.01 2.01 2.00 2/192 8650
/proc/meminfo: memFree=32219564/32951124 swapFree=67062492/67111528
[pid=8650] ppid=8648 vsize=10540532 CPUtime=0.49 cores=1,3,5,7
/proc/8650/stat : 8650 (java) S 8648 8650 7341 0 -1 4202496 15696 0 1 0 47 2 0 0 25 0 18 0 858841107 10793504768 15238 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8650/statm: 2635133 15239 2221 9 0 2625867 0
[pid=8650/tid=8651] ppid=8648 vsize=10540532 CPUtime=0.29 cores=1,3,5,7
/proc/8650/task/8651/stat : 8651 (java) R 8648 8650 7341 0 -1 4202560 12893 0 1 0 27 2 0 0 18 0 18 0 858841107 10793504768 15239 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 46912505568412 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10540532
[startup+0.700976 s]
/proc/loadavg: 2.01 2.01 2.00 2/192 8650
/proc/meminfo: memFree=32219564/32951124 swapFree=67062492/67111528
[pid=8650] ppid=8648 vsize=10552728 CPUtime=1.66 cores=1,3,5,7
/proc/8650/stat : 8650 (java) S 8648 8650 7341 0 -1 4202496 36909 0 1 0 162 4 0 0 25 0 18 0 858841107 10805993472 33433 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8650/statm: 2638182 33435 2237 9 0 2628916 0
[pid=8650/tid=8651] ppid=8648 vsize=10552728 CPUtime=0.68 cores=1,3,5,7
/proc/8650/task/8651/stat : 8651 (java) R 8648 8650 7341 0 -1 4202560 26427 0 1 0 65 3 0 0 18 0 18 0 858841107 10805993472 33435 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 46912505217645 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 10552728
[startup+1.50083 s]
/proc/loadavg: 2.01 2.01 2.00 5/211 8669
/proc/meminfo: memFree=31920460/32951124 swapFree=67062492/67111528
[pid=8650] ppid=8648 vsize=10553756 CPUtime=3.1 cores=1,3,5,7
/proc/8650/stat : 8650 (java) S 8648 8650 7341 0 -1 4202496 71719 0 1 0 301 9 0 0 25 0 19 0 858841107 10807046144 67114 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8650/statm: 2638439 67116 2241 9 0 2629173 0
[pid=8650/tid=8651] ppid=8648 vsize=10553756 CPUtime=1.49 cores=1,3,5,7
/proc/8650/task/8651/stat : 8651 (java) R 8648 8650 7341 0 -1 4202560 60009 0 1 0 142 7 0 0 18 0 19 0 858841107 10807046144 67118 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 46912505967122 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=8650/tid=8653] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8653/stat : 8653 (java) S 8648 8650 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858841109 10807046144 67119 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 3 0 0 0
[pid=8650/tid=8654] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8654/stat : 8654 (java) S 8648 8650 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858841109 10807046144 67121 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 3 0 0 0
[pid=8650/tid=8655] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8655/stat : 8655 (java) S 8648 8650 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858841109 10807046144 67121 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 3 0 0 0
[pid=8650/tid=8656] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8656/stat : 8656 (java) S 8648 8650 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858841109 10807046144 67122 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 3 0 0 0
[pid=8650/tid=8657] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8657/stat : 8657 (java) S 8648 8650 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858841109 10807046144 67123 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 3 0 0 0
[pid=8650/tid=8658] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8658/stat : 8658 (java) S 8648 8650 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858841109 10807046144 67124 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 3 0 0 0
[pid=8650/tid=8659] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8659/stat : 8659 (java) S 8648 8650 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858841109 10807046144 67124 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 3 0 0 0
[pid=8650/tid=8660] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8660/stat : 8660 (java) S 8648 8650 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858841109 10807046144 67125 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 3 0 0 0
[pid=8650/tid=8661] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8661/stat : 8661 (java) S 8648 8650 7341 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 858841110 10807046144 67126 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052992 0 0 0 16800975 18446604471124087040 0 0 -1 7 0 0 0
[pid=8650/tid=8662] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8662/stat : 8662 (java) S 8648 8650 7341 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 858841110 10807046144 67127 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 1 0 0 0
[pid=8650/tid=8663] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8663/stat : 8663 (java) S 8648 8650 7341 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858841110 10807046144 67128 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 1 0 0 0
[pid=8650/tid=8664] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8664/stat : 8664 (java) S 8648 8650 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858841112 10807046144 67129 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828060081 0 4 0 16800975 18446604471124087040 0 0 -1 1 0 0 0
[pid=8650/tid=8665] ppid=8648 vsize=10553756 CPUtime=0.78 cores=1,3,5,7
/proc/8650/task/8665/stat : 8665 (java) S 8648 8650 7341 0 -1 4202560 3860 0 0 0 78 0 0 0 15 0 19 0 858841112 10807046144 67130 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 1 0 0 0
[pid=8650/tid=8666] ppid=8648 vsize=10553756 CPUtime=0.8 cores=1,3,5,7
/proc/8650/task/8666/stat : 8666 (java) S 8648 8650 7341 0 -1 4202560 6692 0 0 0 80 0 0 0 15 0 19 0 858841112 10807046144 67132 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 5 0 0 0
[pid=8650/tid=8667] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8667/stat : 8667 (java) S 8648 8650 7341 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 858841112 10807046144 67133 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 3 0 0 0
[pid=8650/tid=8668] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8668/stat : 8668 (java) S 8648 8650 7341 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 858841112 10807046144 67134 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052992 0 4 0 16800975 18446604471124087040 0 0 -1 7 0 0 0
[pid=8650/tid=8669] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8669/stat : 8669 (java) S 8648 8650 7341 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858841179 10807046144 67135 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052992 0 4 0 16800975 18446604471124087040 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 10553756
[startup+3.10155 s]
/proc/loadavg: 2.01 2.01 2.00 3/211 8669
/proc/meminfo: memFree=31563268/32951124 swapFree=67062492/67111528
[pid=8650] ppid=8648 vsize=10553756 CPUtime=4.79 cores=1,3,5,7
/proc/8650/stat : 8650 (java) S 8648 8650 7341 0 -1 4202496 144265 0 1 0 464 15 0 0 25 0 19 0 858841107 10807046144 138439 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8650/statm: 2638439 138440 2242 9 0 2629173 0
[pid=8650/tid=8651] ppid=8648 vsize=10553756 CPUtime=3.09 cores=1,3,5,7
/proc/8650/task/8651/stat : 8651 (java) R 8648 8650 7341 0 -1 4202560 131323 0 1 0 295 14 0 0 18 0 19 0 858841107 10807046144 138440 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 46912505967107 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=8650/tid=8653] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8653/stat : 8653 (java) S 8648 8650 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858841109 10807046144 138441 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 3 0 0 0
[pid=8650/tid=8654] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8654/stat : 8654 (java) S 8648 8650 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858841109 10807046144 138442 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 3 0 0 0
[pid=8650/tid=8655] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8655/stat : 8655 (java) S 8648 8650 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858841109 10807046144 138442 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 3 0 0 0
[pid=8650/tid=8656] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8656/stat : 8656 (java) S 8648 8650 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858841109 10807046144 138443 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 3 0 0 0
[pid=8650/tid=8657] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8657/stat : 8657 (java) S 8648 8650 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858841109 10807046144 138443 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 3 0 0 0
[pid=8650/tid=8658] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8658/stat : 8658 (java) S 8648 8650 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858841109 10807046144 138444 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 3 0 0 0
[pid=8650/tid=8659] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8659/stat : 8659 (java) S 8648 8650 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858841109 10807046144 138459 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 3 0 0 0
[pid=8650/tid=8660] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8660/stat : 8660 (java) S 8648 8650 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858841109 10807046144 138477 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 3 0 0 0
[pid=8650/tid=8661] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8661/stat : 8661 (java) S 8648 8650 7341 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 858841110 10807046144 138482 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052992 0 0 0 16800975 18446604471124087040 0 0 -1 7 0 0 0
[pid=8650/tid=8662] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8662/stat : 8662 (java) S 8648 8650 7341 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 858841110 10807046144 138486 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 1 0 0 0
[pid=8650/tid=8663] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8663/stat : 8663 (java) S 8648 8650 7341 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858841110 10807046144 138487 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 1 0 0 0
[pid=8650/tid=8664] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8664/stat : 8664 (java) S 8648 8650 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858841112 10807046144 138487 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828060081 0 4 0 16800975 18446604471124087040 0 0 -1 1 0 0 0
[pid=8650/tid=8665] ppid=8648 vsize=10553756 CPUtime=0.79 cores=1,3,5,7
/proc/8650/task/8665/stat : 8665 (java) S 8648 8650 7341 0 -1 4202560 3860 0 0 0 79 0 0 0 15 0 19 0 858841112 10807046144 138487 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 1 0 0 0
[pid=8650/tid=8666] ppid=8648 vsize=10553756 CPUtime=0.89 cores=1,3,5,7
/proc/8650/task/8666/stat : 8666 (java) S 8648 8650 7341 0 -1 4202560 7921 0 0 0 89 0 0 0 15 0 19 0 858841112 10807046144 138487 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 5 0 0 0
[pid=8650/tid=8667] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8667/stat : 8667 (java) S 8648 8650 7341 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 858841112 10807046144 138488 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 3 0 0 0
[pid=8650/tid=8668] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8668/stat : 8668 (java) S 8648 8650 7341 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 858841112 10807046144 138488 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052992 0 4 0 16800975 18446604471124087040 0 0 -1 7 0 0 0
[pid=8650/tid=8669] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8669/stat : 8669 (java) S 8648 8650 7341 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858841179 10807046144 138489 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052992 0 4 0 16800975 18446604471124087040 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.79
Current children cumulated vsize (KiB) 10553756
[startup+6.30095 s]
/proc/loadavg: 2.01 2.01 2.00 3/211 8669
/proc/meminfo: memFree=30621316/32951124 swapFree=67062492/67111528
[pid=8650] ppid=8648 vsize=10553756 CPUtime=8.08 cores=1,3,5,7
/proc/8650/stat : 8650 (java) S 8648 8650 7341 0 -1 4202496 272246 0 1 0 780 28 0 0 25 0 19 0 858841107 10807046144 266282 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8650/statm: 2638439 266283 2243 9 0 2629173 0
[pid=8650/tid=8651] ppid=8648 vsize=10553756 CPUtime=6.29 cores=1,3,5,7
/proc/8650/task/8651/stat : 8651 (java) R 8648 8650 7341 0 -1 4202560 259166 0 1 0 603 26 0 0 25 0 19 0 858841107 10807046144 266284 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 46912505967122 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=8650/tid=8653] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8653/stat : 8653 (java) S 8648 8650 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858841109 10807046144 266284 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 3 0 0 0
[pid=8650/tid=8654] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8654/stat : 8654 (java) S 8648 8650 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858841109 10807046144 266285 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 3 0 0 0
[pid=8650/tid=8655] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8655/stat : 8655 (java) S 8648 8650 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858841109 10807046144 266285 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 3 0 0 0
[pid=8650/tid=8656] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8656/stat : 8656 (java) S 8648 8650 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858841109 10807046144 266286 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 3 0 0 0
[pid=8650/tid=8657] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8657/stat : 8657 (java) S 8648 8650 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858841109 10807046144 266287 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 3 0 0 0
[pid=8650/tid=8658] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8658/stat : 8658 (java) S 8648 8650 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858841109 10807046144 266287 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 3 0 0 0
[pid=8650/tid=8659] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8659/stat : 8659 (java) S 8648 8650 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858841109 10807046144 266288 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 3 0 0 0
[pid=8650/tid=8660] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8660/stat : 8660 (java) S 8648 8650 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858841109 10807046144 266288 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 3 0 0 0
[pid=8650/tid=8661] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8661/stat : 8661 (java) S 8648 8650 7341 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 858841110 10807046144 266288 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052992 0 0 0 16800975 18446604471124087040 0 0 -1 7 0 0 0
[pid=8650/tid=8662] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8662/stat : 8662 (java) S 8648 8650 7341 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 858841110 10807046144 266289 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 1 0 0 0
[pid=8650/tid=8663] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8663/stat : 8663 (java) S 8648 8650 7341 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858841110 10807046144 266291 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 1 0 0 0
[pid=8650/tid=8664] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8664/stat : 8664 (java) S 8648 8650 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858841112 10807046144 266292 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828060081 0 4 0 16800975 18446604471124087040 0 0 -1 1 0 0 0
[pid=8650/tid=8665] ppid=8648 vsize=10553756 CPUtime=0.83 cores=1,3,5,7
/proc/8650/task/8665/stat : 8665 (java) S 8648 8650 7341 0 -1 4202560 3864 0 0 0 83 0 0 0 15 0 19 0 858841112 10807046144 266292 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 1 0 0 0
[pid=8650/tid=8666] ppid=8648 vsize=10553756 CPUtime=0.93 cores=1,3,5,7
/proc/8650/task/8666/stat : 8666 (java) S 8648 8650 7341 0 -1 4202560 8055 0 0 0 93 0 0 0 15 0 19 0 858841112 10807046144 266293 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/8650/task/8663/stat : 8663 (java) S 8648 8650 7341 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 858841110 10807046144 1050174 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 1 0 0 0
[pid=8650/tid=8664] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8664/stat : 8664 (java) S 8648 8650 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858841112 10807046144 1050174 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828060081 0 4 0 16800975 18446604471124087040 0 0 -1 1 0 0 0
[pid=8650/tid=8665] ppid=8648 vsize=10553756 CPUtime=0.94 cores=1,3,5,7
/proc/8650/task/8665/stat : 8665 (java) S 8648 8650 7341 0 -1 4202560 3932 0 0 0 94 0 0 0 16 0 19 0 858841112 10807046144 1050174 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 1 0 0 0
[pid=8650/tid=8666] ppid=8648 vsize=10553756 CPUtime=1.13 cores=1,3,5,7
/proc/8650/task/8666/stat : 8666 (java) S 8648 8650 7341 0 -1 4202560 8506 0 0 0 113 0 0 0 15 0 19 0 858841112 10807046144 1050174 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 5 0 0 0
[pid=8650/tid=8667] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8667/stat : 8667 (java) S 8648 8650 7341 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 858841112 10807046144 1050174 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 3 0 0 0
[pid=8650/tid=8668] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8668/stat : 8668 (java) S 8648 8650 7341 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 858841112 10807046144 1050174 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052992 0 4 0 16800975 18446604471124087040 0 0 -1 5 0 0 0
[pid=8650/tid=8669] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8669/stat : 8669 (java) S 8648 8650 7341 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858841179 10807046144 1050174 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052992 0 4 0 16800975 18446604471124087040 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1671.43
Current children cumulated vsize (KiB) 10553756
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/211 8718
/proc/meminfo: memFree=24061012/32951124 swapFree=67062492/67111528
[pid=8650] ppid=8648 vsize=10553756 CPUtime=1731.66 cores=1,3,5,7
/proc/8650/stat : 8650 (java) S 8648 8650 7341 0 -1 4202496 1063094 0 1 0 173045 121 0 0 25 0 19 0 858841107 10807046144 1052989 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8650/statm: 2638439 1052989 2270 9 0 2629173 0
[pid=8650/tid=8651] ppid=8648 vsize=10553756 CPUtime=1718.36 cores=1,3,5,7
/proc/8650/task/8651/stat : 8651 (java) R 8648 8650 7341 0 -1 4202560 726859 0 1 0 171758 78 0 0 25 0 19 0 858841107 10807046144 1052989 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 46912506038386 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=8650/tid=8653] ppid=8648 vsize=10553756 CPUtime=1.22 cores=1,3,5,7
/proc/8650/task/8653/stat : 8653 (java) S 8648 8650 7341 0 -1 4202560 39701 0 0 0 117 5 0 0 15 0 19 0 858841109 10807046144 1052989 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 7 0 0 0
[pid=8650/tid=8654] ppid=8648 vsize=10553756 CPUtime=1.23 cores=1,3,5,7
/proc/8650/task/8654/stat : 8654 (java) S 8648 8650 7341 0 -1 4202560 40469 0 0 0 119 4 0 0 16 0 19 0 858841109 10807046144 1052989 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 5 0 0 0
[pid=8650/tid=8655] ppid=8648 vsize=10553756 CPUtime=1.07 cores=1,3,5,7
/proc/8650/task/8655/stat : 8655 (java) S 8648 8650 7341 0 -1 4202560 28636 0 0 0 105 2 0 0 16 0 19 0 858841109 10807046144 1052989 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 3 0 0 0
[pid=8650/tid=8656] ppid=8648 vsize=10553756 CPUtime=1.25 cores=1,3,5,7
/proc/8650/task/8656/stat : 8656 (java) S 8648 8650 7341 0 -1 4202560 40661 0 0 0 121 4 0 0 16 0 19 0 858841109 10807046144 1052989 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 5 0 0 0
[pid=8650/tid=8657] ppid=8648 vsize=10553756 CPUtime=1.38 cores=1,3,5,7
/proc/8650/task/8657/stat : 8657 (java) S 8648 8650 7341 0 -1 4202560 48984 0 0 0 131 7 0 0 16 0 19 0 858841109 10807046144 1052989 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 7 0 0 0
[pid=8650/tid=8658] ppid=8648 vsize=10553756 CPUtime=1.04 cores=1,3,5,7
/proc/8650/task/8658/stat : 8658 (java) S 8648 8650 7341 0 -1 4202560 34155 0 0 0 99 5 0 0 15 0 19 0 858841109 10807046144 1052989 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 3 0 0 0
[pid=8650/tid=8659] ppid=8648 vsize=10553756 CPUtime=1.24 cores=1,3,5,7
/proc/8650/task/8659/stat : 8659 (java) S 8648 8650 7341 0 -1 4202560 36694 0 0 0 121 3 0 0 15 0 19 0 858841109 10807046144 1052989 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 5 0 0 0
[pid=8650/tid=8660] ppid=8648 vsize=10553756 CPUtime=1.25 cores=1,3,5,7
/proc/8650/task/8660/stat : 8660 (java) S 8648 8650 7341 0 -1 4202560 47795 0 0 0 119 6 0 0 15 0 19 0 858841109 10807046144 1052989 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 3 0 0 0
[pid=8650/tid=8661] ppid=8648 vsize=10553756 CPUtime=1.43 cores=1,3,5,7
/proc/8650/task/8661/stat : 8661 (java) S 8648 8650 7341 0 -1 4202560 5449 0 0 0 143 0 0 0 15 0 19 0 858841110 10807046144 1052989 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052992 0 0 0 16800975 18446604471124087040 0 0 -1 1 0 0 0
[pid=8650/tid=8662] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8662/stat : 8662 (java) S 8648 8650 7341 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858841110 10807046144 1052989 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 1 0 0 0
[pid=8650/tid=8663] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8663/stat : 8663 (java) S 8648 8650 7341 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 858841110 10807046144 1052989 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 1 0 0 0
[pid=8650/tid=8664] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8664/stat : 8664 (java) S 8648 8650 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858841112 10807046144 1052989 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828060081 0 4 0 16800975 18446604471124087040 0 0 -1 1 0 0 0
[pid=8650/tid=8665] ppid=8648 vsize=10553756 CPUtime=0.94 cores=1,3,5,7
/proc/8650/task/8665/stat : 8665 (java) S 8648 8650 7341 0 -1 4202560 3932 0 0 0 94 0 0 0 16 0 19 0 858841112 10807046144 1052989 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 1 0 0 0
[pid=8650/tid=8666] ppid=8648 vsize=10553756 CPUtime=1.13 cores=1,3,5,7
/proc/8650/task/8666/stat : 8666 (java) S 8648 8650 7341 0 -1 4202560 8506 0 0 0 113 0 0 0 15 0 19 0 858841112 10807046144 1052989 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 5 0 0 0
[pid=8650/tid=8667] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8667/stat : 8667 (java) S 8648 8650 7341 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 858841112 10807046144 1052989 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 3 0 0 0
[pid=8650/tid=8668] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8668/stat : 8668 (java) S 8648 8650 7341 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 858841112 10807046144 1052989 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052992 0 4 0 16800975 18446604471124087040 0 0 -1 5 0 0 0
[pid=8650/tid=8669] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8669/stat : 8669 (java) S 8648 8650 7341 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858841179 10807046144 1052989 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052992 0 4 0 16800975 18446604471124087040 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1731.66
Current children cumulated vsize (KiB) 10553756
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 8719
/proc/meminfo: memFree=24041984/32951124 swapFree=67062492/67111528
[pid=8650] ppid=8648 vsize=10553756 CPUtime=1791.77 cores=1,3,5,7
/proc/8650/stat : 8650 (java) S 8648 8650 7341 0 -1 4202496 1064453 0 1 0 179056 121 0 0 25 0 19 0 858841107 10807046144 1054312 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8650/statm: 2638439 1054312 2270 9 0 2629173 0
[pid=8650/tid=8651] ppid=8648 vsize=10553756 CPUtime=1778.32 cores=1,3,5,7
/proc/8650/task/8651/stat : 8651 (java) R 8648 8650 7341 0 -1 4202560 726860 0 1 0 177754 78 0 0 25 0 19 0 858841107 10807046144 1054312 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 46912506038300 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=8650/tid=8653] ppid=8648 vsize=10553756 CPUtime=1.22 cores=1,3,5,7
/proc/8650/task/8653/stat : 8653 (java) S 8648 8650 7341 0 -1 4202560 39701 0 0 0 117 5 0 0 15 0 19 0 858841109 10807046144 1054312 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 7 0 0 0
[pid=8650/tid=8654] ppid=8648 vsize=10553756 CPUtime=1.27 cores=1,3,5,7
/proc/8650/task/8654/stat : 8654 (java) S 8648 8650 7341 0 -1 4202560 40779 0 0 0 123 4 0 0 16 0 19 0 858841109 10807046144 1054312 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 3 0 0 0
[pid=8650/tid=8655] ppid=8648 vsize=10553756 CPUtime=1.07 cores=1,3,5,7
/proc/8650/task/8655/stat : 8655 (java) S 8648 8650 7341 0 -1 4202560 28636 0 0 0 105 2 0 0 15 0 19 0 858841109 10807046144 1054312 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 3 0 0 0
[pid=8650/tid=8656] ppid=8648 vsize=10553756 CPUtime=1.25 cores=1,3,5,7
/proc/8650/task/8656/stat : 8656 (java) S 8648 8650 7341 0 -1 4202560 40661 0 0 0 121 4 0 0 15 0 19 0 858841109 10807046144 1054312 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 5 0 0 0
[pid=8650/tid=8657] ppid=8648 vsize=10553756 CPUtime=1.38 cores=1,3,5,7
/proc/8650/task/8657/stat : 8657 (java) S 8648 8650 7341 0 -1 4202560 48984 0 0 0 131 7 0 0 15 0 19 0 858841109 10807046144 1054312 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 7 0 0 0
[pid=8650/tid=8658] ppid=8648 vsize=10553756 CPUtime=1.07 cores=1,3,5,7
/proc/8650/task/8658/stat : 8658 (java) S 8648 8650 7341 0 -1 4202560 34173 0 0 0 102 5 0 0 16 0 19 0 858841109 10807046144 1054312 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 7 0 0 0
[pid=8650/tid=8659] ppid=8648 vsize=10553756 CPUtime=1.28 cores=1,3,5,7
/proc/8650/task/8659/stat : 8659 (java) S 8648 8650 7341 0 -1 4202560 37385 0 0 0 125 3 0 0 16 0 19 0 858841109 10807046144 1054312 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 5 0 0 0
[pid=8650/tid=8660] ppid=8648 vsize=10553756 CPUtime=1.29 cores=1,3,5,7
/proc/8650/task/8660/stat : 8660 (java) S 8648 8650 7341 0 -1 4202560 48130 0 0 0 123 6 0 0 16 0 19 0 858841109 10807046144 1054312 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 1 0 0 0
[pid=8650/tid=8661] ppid=8648 vsize=10553756 CPUtime=1.43 cores=1,3,5,7
/proc/8650/task/8661/stat : 8661 (java) S 8648 8650 7341 0 -1 4202560 5451 0 0 0 143 0 0 0 15 0 19 0 858841110 10807046144 1054312 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052992 0 0 0 16800975 18446604471124087040 0 0 -1 1 0 0 0
[pid=8650/tid=8662] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8662/stat : 8662 (java) S 8648 8650 7341 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858841110 10807046144 1054312 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 1 0 0 0
[pid=8650/tid=8663] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8663/stat : 8663 (java) S 8648 8650 7341 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 858841110 10807046144 1054312 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 1 0 0 0
[pid=8650/tid=8664] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8664/stat : 8664 (java) S 8648 8650 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858841112 10807046144 1054312 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828060081 0 4 0 16800975 18446604471124087040 0 0 -1 1 0 0 0
[pid=8650/tid=8665] ppid=8648 vsize=10553756 CPUtime=0.94 cores=1,3,5,7
/proc/8650/task/8665/stat : 8665 (java) S 8648 8650 7341 0 -1 4202560 3932 0 0 0 94 0 0 0 16 0 19 0 858841112 10807046144 1054312 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 1 0 0 0
[pid=8650/tid=8666] ppid=8648 vsize=10553756 CPUtime=1.13 cores=1,3,5,7
/proc/8650/task/8666/stat : 8666 (java) S 8648 8650 7341 0 -1 4202560 8506 0 0 0 113 0 0 0 15 0 19 0 858841112 10807046144 1054312 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 5 0 0 0
[pid=8650/tid=8667] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8667/stat : 8667 (java) S 8648 8650 7341 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 858841112 10807046144 1054312 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 3 0 0 0
[pid=8650/tid=8668] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8668/stat : 8668 (java) S 8648 8650 7341 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 858841112 10807046144 1054312 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052992 0 4 0 16800975 18446604471124087040 0 0 -1 5 0 0 0
[pid=8650/tid=8669] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8669/stat : 8669 (java) S 8648 8650 7341 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858841179 10807046144 1054312 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052992 0 4 0 16800975 18446604471124087040 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1791.77
Current children cumulated vsize (KiB) 10553756
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1790.5 s]
/proc/loadavg: 2.00 2.00 2.00 2/191 8722
/proc/meminfo: memFree=28196128/32951124 swapFree=67062492/67111528
[pid=8650] ppid=8648 vsize=10553756 CPUtime=1800.09 cores=1,3,5,7
/proc/8650/stat : 8650 (java) S 8648 8650 7341 0 -1 4202496 1065966 0 1 0 179888 121 0 0 25 0 19 0 858841107 10807046144 1055787 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8650/statm: 2638439 1055787 2270 9 0 2629173 0
[pid=8650/tid=8651] ppid=8648 vsize=10553756 CPUtime=1786.48 cores=1,3,5,7
/proc/8650/task/8651/stat : 8651 (java) R 8648 8650 7341 0 -1 4202560 726861 0 1 0 178570 78 0 0 25 0 19 0 858841107 10807046144 1055787 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 46912506055264 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=8650/tid=8653] ppid=8648 vsize=10553756 CPUtime=1.22 cores=1,3,5,7
/proc/8650/task/8653/stat : 8653 (java) S 8648 8650 7341 0 -1 4202560 39701 0 0 0 117 5 0 0 15 0 19 0 858841109 10807046144 1055787 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 7 0 0 0
[pid=8650/tid=8654] ppid=8648 vsize=10553756 CPUtime=1.27 cores=1,3,5,7
/proc/8650/task/8654/stat : 8654 (java) S 8648 8650 7341 0 -1 4202560 40779 0 0 0 123 4 0 0 15 0 19 0 858841109 10807046144 1055787 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 3 0 0 0
[pid=8650/tid=8655] ppid=8648 vsize=10553756 CPUtime=1.1 cores=1,3,5,7
/proc/8650/task/8655/stat : 8655 (java) S 8648 8650 7341 0 -1 4202560 28921 0 0 0 108 2 0 0 16 0 19 0 858841109 10807046144 1055787 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 7 0 0 0
[pid=8650/tid=8656] ppid=8648 vsize=10553756 CPUtime=1.29 cores=1,3,5,7
/proc/8650/task/8656/stat : 8656 (java) S 8648 8650 7341 0 -1 4202560 41404 0 0 0 125 4 0 0 16 0 19 0 858841109 10807046144 1055787 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 5 0 0 0
[pid=8650/tid=8657] ppid=8648 vsize=10553756 CPUtime=1.4 cores=1,3,5,7
/proc/8650/task/8657/stat : 8657 (java) S 8648 8650 7341 0 -1 4202560 49160 0 0 0 133 7 0 0 16 0 19 0 858841109 10807046144 1055787 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 1 0 0 0
[pid=8650/tid=8658] ppid=8648 vsize=10553756 CPUtime=1.07 cores=1,3,5,7
/proc/8650/task/8658/stat : 8658 (java) S 8648 8650 7341 0 -1 4202560 34173 0 0 0 102 5 0 0 15 0 19 0 858841109 10807046144 1055787 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 7 0 0 0
[pid=8650/tid=8659] ppid=8648 vsize=10553756 CPUtime=1.32 cores=1,3,5,7
/proc/8650/task/8659/stat : 8659 (java) S 8648 8650 7341 0 -1 4202560 37685 0 0 0 129 3 0 0 16 0 19 0 858841109 10807046144 1055787 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 3 0 0 0
[pid=8650/tid=8660] ppid=8648 vsize=10553756 CPUtime=1.31 cores=1,3,5,7
/proc/8650/task/8660/stat : 8660 (java) S 8648 8650 7341 0 -1 4202560 48134 0 0 0 125 6 0 0 16 0 19 0 858841109 10807046144 1055787 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 1 0 0 0
[pid=8650/tid=8661] ppid=8648 vsize=10553756 CPUtime=1.43 cores=1,3,5,7
/proc/8650/task/8661/stat : 8661 (java) S 8648 8650 7341 0 -1 4202560 5453 0 0 0 143 0 0 0 15 0 19 0 858841110 10807046144 1055787 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052992 0 0 0 16800975 18446604471124087040 0 0 -1 1 0 0 0
[pid=8650/tid=8662] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8662/stat : 8662 (java) S 8648 8650 7341 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858841110 10807046144 1055787 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 1 0 0 0
[pid=8650/tid=8663] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8663/stat : 8663 (java) S 8648 8650 7341 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 858841110 10807046144 1055787 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 1 0 0 0
[pid=8650/tid=8664] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8664/stat : 8664 (java) S 8648 8650 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858841112 10807046144 1055787 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828060081 0 4 0 16800975 18446604471124087040 0 0 -1 1 0 0 0
[pid=8650/tid=8665] ppid=8648 vsize=10553756 CPUtime=0.94 cores=1,3,5,7
/proc/8650/task/8665/stat : 8665 (java) S 8648 8650 7341 0 -1 4202560 3932 0 0 0 94 0 0 0 16 0 19 0 858841112 10807046144 1055787 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 1 0 0 0
[pid=8650/tid=8666] ppid=8648 vsize=10553756 CPUtime=1.13 cores=1,3,5,7
/proc/8650/task/8666/stat : 8666 (java) S 8648 8650 7341 0 -1 4202560 8506 0 0 0 113 0 0 0 15 0 19 0 858841112 10807046144 1055787 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 5 0 0 0
[pid=8650/tid=8667] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8667/stat : 8667 (java) S 8648 8650 7341 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 858841112 10807046144 1055787 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052377 0 4 0 16800975 18446604471124087040 0 0 -1 3 0 0 0
[pid=8650/tid=8668] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8668/stat : 8668 (java) S 8648 8650 7341 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 858841112 10807046144 1055787 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052992 0 4 0 16800975 18446604471124087040 0 0 -1 5 0 0 0
[pid=8650/tid=8669] ppid=8648 vsize=10553756 CPUtime=0 cores=1,3,5,7
/proc/8650/task/8669/stat : 8669 (java) S 8648 8650 7341 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858841179 10807046144 1055787 33554432000 1073741824 1073778376 140735738845504 18446744073709551615 220828052992 0 4 0 16800975 18446604471124087040 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10553756
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1790.61 s]
/proc/loadavg: 2.00 2.00 2.00 2/191 8722
/proc/meminfo: memFree=28196128/32951124 swapFree=67062492/67111528
[pid=8650] ppid=8648 vsize=0 CPUtime=1800.21 cores=1,3,5,7
/proc/8650/stat : 8650 (java) Z 8648 8650 7341 0 -1 4203548 1065996 0 1 0 179892 129 0 0 17 0 2 0 858841107 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8650/statm: 0 0 0 0 0 0 0
[pid=8650/tid=8651] ppid=8648 vsize=0 CPUtime=1786.57 cores=1,3,5,7
/proc/8650/task/8651/stat : 8651 (java) R 8648 8650 7341 0 -1 4203588 726861 0 1 0 178572 85 0 0 25 0 2 0 858841107 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1790.68
CPU time (s): 1800.28
CPU user time (s): 1798.92
CPU system time (s): 1.36179
CPU usage (%): 100.536
Max. virtual memory (cumulated for all children) (KiB): 10553756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.92
system time used= 1.36179
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1065996
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= 38202
involuntary context switches= 23409
runsolver used 3.20251 second user time and 6.591 second system time
The end