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-3456131-1307663468/watcher-3456131-1307663468 -o /tmp/evaluation-result-3456131-1307663468/solver-3456131-1307663468 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456131-1307663468.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.00 1.93 2/175 12149
/proc/meminfo: memFree=32171952/32950928 swapFree=67054696/67111528
[pid=12149] ppid=12147 vsize=20404 CPUtime=0 cores=1,3,5,7
/proc/12149/stat : 12149 (java) R 12147 12149 9650 0 -1 4202496 431 0 0 0 0 0 0 0 19 0 1 0 333956212 20893696 177 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218875641866 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12149/statm: 5114 183 140 9 0 124 0
[startup+0.0577609 s]
/proc/loadavg: 2.00 2.00 1.93 2/175 12149
/proc/meminfo: memFree=32171952/32950928 swapFree=67054696/67111528
[pid=12149] ppid=12147 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/12149/stat : 12149 (java) S 12147 12149 9650 0 -1 4202496 11468 0 1 0 3 1 0 0 19 0 13 0 333956212 10718838784 11166 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892367845 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 0
/proc/12149/statm: 2616904 11168 1685 9 0 2607652 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616
[startup+0.10074 s]
/proc/loadavg: 2.00 2.00 1.93 2/175 12149
/proc/meminfo: memFree=32171952/32950928 swapFree=67054696/67111528
[pid=12149] ppid=12147 vsize=10539968 CPUtime=0.1 cores=1,3,5,7
/proc/12149/stat : 12149 (java) S 12147 12149 9650 0 -1 4202496 12952 0 1 0 9 1 0 0 19 0 18 0 333956212 10792927232 12650 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12149/statm: 2634992 12651 2092 9 0 2625726 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539968
[startup+0.300695 s]
/proc/loadavg: 2.00 2.00 1.93 2/175 12149
/proc/meminfo: memFree=32171952/32950928 swapFree=67054696/67111528
[pid=12149] ppid=12147 vsize=10541028 CPUtime=0.46 cores=1,3,5,7
/proc/12149/stat : 12149 (java) S 12147 12149 9650 0 -1 4202496 15523 0 1 0 44 2 0 0 19 0 18 0 333956212 10794012672 14885 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12149/statm: 2635257 14886 2215 9 0 2625991 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10541028
[startup+0.70062 s]
/proc/loadavg: 2.00 2.00 1.93 2/175 12149
/proc/meminfo: memFree=32171952/32950928 swapFree=67054696/67111528
[pid=12149] ppid=12147 vsize=10552180 CPUtime=1.64 cores=1,3,5,7
/proc/12149/stat : 12149 (java) S 12147 12149 9650 0 -1 4202496 29901 0 1 0 160 4 0 0 19 0 19 0 333956212 10805432320 25975 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12149/statm: 2638045 25978 2231 9 0 2628779 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 10552180
[startup+1.50148 s]
/proc/loadavg: 2.00 2.00 1.93 5/214 12224
/proc/meminfo: memFree=31950180/32950928 swapFree=67054696/67111528
[pid=12149] ppid=12147 vsize=10552396 CPUtime=2.83 cores=1,3,5,7
/proc/12149/stat : 12149 (java) S 12147 12149 9650 0 -1 4202496 71689 0 1 0 276 7 0 0 19 0 19 0 333956212 10805653504 67705 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12149/statm: 2638099 67707 2236 9 0 2628833 0
[pid=12149/tid=12151] ppid=12147 vsize=10552396 CPUtime=1.48 cores=1,3,5,7
/proc/12149/task/12151/stat : 12151 (java) R 12147 12149 9650 0 -1 4202560 60214 0 1 0 143 5 0 0 18 0 19 0 333956213 10805653504 67708 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 46912505753710 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12149/tid=12152] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12152/stat : 12152 (java) S 12147 12149 9650 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 333956214 10805653504 67709 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 3 0 0 0
[pid=12149/tid=12153] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12153/stat : 12153 (java) S 12147 12149 9650 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 333956214 10805653504 67709 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 3 0 0 0
[pid=12149/tid=12154] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12154/stat : 12154 (java) S 12147 12149 9650 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 333956214 10805653504 67710 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 7 0 0 0
[pid=12149/tid=12155] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12155/stat : 12155 (java) S 12147 12149 9650 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 333956214 10805653504 67711 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 1 0 0 0
[pid=12149/tid=12156] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12156/stat : 12156 (java) S 12147 12149 9650 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 333956214 10805653504 67712 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 7 0 0 0
[pid=12149/tid=12157] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12157/stat : 12157 (java) S 12147 12149 9650 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 333956214 10805653504 67713 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 1 0 0 0
[pid=12149/tid=12158] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12158/stat : 12158 (java) S 12147 12149 9650 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 333956214 10805653504 67714 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 3 0 0 0
[pid=12149/tid=12159] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12159/stat : 12159 (java) S 12147 12149 9650 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 333956214 10805653504 67715 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 7 0 0 0
[pid=12149/tid=12160] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12160/stat : 12160 (java) S 12147 12149 9650 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 333956215 10805653504 67715 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381696 0 0 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12161] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12161/stat : 12161 (java) S 12147 12149 9650 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 333956216 10805653504 67716 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12162] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12162/stat : 12162 (java) S 12147 12149 9650 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 333956216 10805653504 67717 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12163] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12163/stat : 12163 (java) S 12147 12149 9650 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 333956218 10805653504 67718 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892388785 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12164] ppid=12147 vsize=10552396 CPUtime=0.65 cores=1,3,5,7
/proc/12149/task/12164/stat : 12164 (java) R 12147 12149 9650 0 -1 4202560 4574 0 0 0 64 1 0 0 15 0 19 0 333956218 10805653504 67720 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 47028604813629 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12149/tid=12165] ppid=12147 vsize=10552396 CPUtime=0.69 cores=1,3,5,7
/proc/12149/task/12165/stat : 12165 (java) S 12147 12149 9650 0 -1 4202560 5745 0 0 0 68 1 0 0 15 0 19 0 333956218 10805653504 67720 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 3 0 0 0
[pid=12149/tid=12166] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12166/stat : 12166 (java) S 12147 12149 9650 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333956218 10805653504 67722 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12167] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12167/stat : 12167 (java) S 12147 12149 9650 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 333956218 10805653504 67723 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381696 0 4 0 16800975 18446604471121304448 0 0 -1 7 0 0 0
[pid=12149/tid=12178] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12178/stat : 12178 (java) S 12147 12149 9650 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 333956247 10805653504 67724 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381696 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 10552396
[startup+3.10122 s]
/proc/loadavg: 2.00 2.00 1.93 3/214 12224
/proc/meminfo: memFree=31408424/32950928 swapFree=67054696/67111528
[pid=12149] ppid=12147 vsize=10552396 CPUtime=4.57 cores=1,3,5,7
/proc/12149/stat : 12149 (java) S 12147 12149 9650 0 -1 4202496 149597 0 1 0 441 16 0 0 19 0 19 0 333956212 10805653504 145612 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12149/statm: 2638099 145620 2237 9 0 2628833 0
[pid=12149/tid=12151] ppid=12147 vsize=10552396 CPUtime=3.07 cores=1,3,5,7
/proc/12149/task/12151/stat : 12151 (java) R 12147 12149 9650 0 -1 4202560 138030 0 1 0 294 13 0 0 19 0 19 0 333956213 10805653504 145621 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 46912506047904 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12149/tid=12152] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12152/stat : 12152 (java) S 12147 12149 9650 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 333956214 10805653504 145625 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 3 0 0 0
[pid=12149/tid=12153] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12153/stat : 12153 (java) S 12147 12149 9650 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 333956214 10805653504 145628 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 3 0 0 0
[pid=12149/tid=12154] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12154/stat : 12154 (java) S 12147 12149 9650 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 333956214 10805653504 145631 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 7 0 0 0
[pid=12149/tid=12155] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12155/stat : 12155 (java) S 12147 12149 9650 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 333956214 10805653504 145634 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 1 0 0 0
[pid=12149/tid=12156] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12156/stat : 12156 (java) S 12147 12149 9650 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 333956214 10805653504 145636 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 7 0 0 0
[pid=12149/tid=12157] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12157/stat : 12157 (java) S 12147 12149 9650 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 333956214 10805653504 145639 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 1 0 0 0
[pid=12149/tid=12158] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12158/stat : 12158 (java) S 12147 12149 9650 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 333956214 10805653504 145642 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 3 0 0 0
[pid=12149/tid=12159] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12159/stat : 12159 (java) S 12147 12149 9650 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 333956214 10805653504 145644 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 7 0 0 0
[pid=12149/tid=12160] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12160/stat : 12160 (java) S 12147 12149 9650 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 333956215 10805653504 145647 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381696 0 0 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12161] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12161/stat : 12161 (java) S 12147 12149 9650 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 333956216 10805653504 145650 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12162] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12162/stat : 12162 (java) S 12147 12149 9650 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 333956216 10805653504 145652 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12163] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12163/stat : 12163 (java) S 12147 12149 9650 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 333956218 10805653504 145655 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892388785 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12164] ppid=12147 vsize=10552396 CPUtime=0.71 cores=1,3,5,7
/proc/12149/task/12164/stat : 12164 (java) S 12147 12149 9650 0 -1 4202560 4659 0 0 0 70 1 0 0 15 0 19 0 333956218 10805653504 145657 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12165] ppid=12147 vsize=10552396 CPUtime=0.77 cores=1,3,5,7
/proc/12149/task/12165/stat : 12165 (java) S 12147 12149 9650 0 -1 4202560 5758 0 0 0 76 1 0 0 15 0 19 0 333956218 10805653504 145660 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 3 0 0 0
[pid=12149/tid=12166] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12166/stat : 12166 (java) S 12147 12149 9650 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333956218 10805653504 145662 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12167] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12167/stat : 12167 (java) S 12147 12149 9650 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 333956218 10805653504 145664 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381696 0 4 0 16800975 18446604471121304448 0 0 -1 7 0 0 0
[pid=12149/tid=12178] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12178/stat : 12178 (java) S 12147 12149 9650 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 333956247 10805653504 145666 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381696 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.57
Current children cumulated vsize (KiB) 10552396
[startup+6.30067 s]
/proc/loadavg: 2.00 2.00 1.93 3/214 12224
/proc/meminfo: memFree=29768596/32950928 swapFree=67054696/67111528
[pid=12149] ppid=12147 vsize=10552396 CPUtime=7.78 cores=1,3,5,7
/proc/12149/stat : 12149 (java) S 12147 12149 9650 0 -1 4202496 294594 0 1 0 747 31 0 0 19 0 19 0 333956212 10805653504 290567 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12149/statm: 2638099 290569 2238 9 0 2628833 0
[pid=12149/tid=12151] ppid=12147 vsize=10552396 CPUtime=6.27 cores=1,3,5,7
/proc/12149/task/12151/stat : 12151 (java) R 12147 12149 9650 0 -1 4202560 283019 0 1 0 599 28 0 0 21 0 19 0 333956213 10805653504 290569 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 46912505788316 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12149/tid=12152] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12152/stat : 12152 (java) S 12147 12149 9650 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 333956214 10805653504 290569 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 3 0 0 0
[pid=12149/tid=12153] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12153/stat : 12153 (java) S 12147 12149 9650 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 333956214 10805653504 290570 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 3 0 0 0
[pid=12149/tid=12154] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12154/stat : 12154 (java) S 12147 12149 9650 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 333956214 10805653504 290571 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 7 0 0 0
[pid=12149/tid=12155] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12155/stat : 12155 (java) S 12147 12149 9650 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 333956214 10805653504 290573 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 1 0 0 0
[pid=12149/tid=12156] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12156/stat : 12156 (java) S 12147 12149 9650 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 333956214 10805653504 290574 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 7 0 0 0
[pid=12149/tid=12157] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12157/stat : 12157 (java) S 12147 12149 9650 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 333956214 10805653504 290574 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 1 0 0 0
[pid=12149/tid=12158] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12158/stat : 12158 (java) S 12147 12149 9650 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 333956214 10805653504 290575 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 3 0 0 0
[pid=12149/tid=12159] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12159/stat : 12159 (java) S 12147 12149 9650 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 333956214 10805653504 290576 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 7 0 0 0
[pid=12149/tid=12160] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12160/stat : 12160 (java) S 12147 12149 9650 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 333956215 10805653504 290577 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381696 0 0 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12161] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12161/stat : 12161 (java) S 12147 12149 9650 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 333956216 10805653504 290578 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12162] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12162/stat : 12162 (java) S 12147 12149 9650 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 333956216 10805653504 290579 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12163] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12163/stat : 12163 (java) S 12147 12149 9650 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 333956218 10805653504 290579 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892388785 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12164] ppid=12147 vsize=10552396 CPUtime=0.71 cores=1,3,5,7
/proc/12149/task/12164/stat : 12164 (java) S 12147 12149 9650 0 -1 4202560 4659 0 0 0 70 1 0 0 16 0 19 0 333956218 10805653504 290580 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12165] ppid=12147 vsize=10552396 CPUtime=0.77 cores=1,3,5,7
/proc/12149/task/12165/stat : 12165 (java) S 12147 12149 9650 0 -1 4202560 5758 0 0 0 76 1 0 0 15 0 19 0 333956218 10805653504 290581 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 3 0 0 0
[pid=12149/tid=12166] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12166/stat : 12166 (java) S 12147 12149 9650 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333956218 10805653504 290582 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12167] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12167/stat : 12167 (java) S 12147 12149 9650 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 333956218 10805653504 290582 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381696 0 4 0 16800975 18446604471121304448 0 0 -1 7 0 0 0
[pid=12149/tid=12178] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12178/stat : 12178 (java) S 12147 12149 9650 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 333956247 10805653504 290583 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381696 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.78
Current children cumulated vsize (KiB) 10552396
[startup+12.7016 s]
################
# More data... #
################
/proc/12149/task/12161/stat : 12161 (java) S 12147 12149 9650 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 333956216 10805653504 942796 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12162] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12162/stat : 12162 (java) S 12147 12149 9650 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 333956216 10805653504 942796 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12163] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12163/stat : 12163 (java) S 12147 12149 9650 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 333956218 10805653504 942796 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892388785 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12164] ppid=12147 vsize=10552396 CPUtime=0.75 cores=1,3,5,7
/proc/12149/task/12164/stat : 12164 (java) S 12147 12149 9650 0 -1 4202560 4663 0 0 0 74 1 0 0 15 0 19 0 333956218 10805653504 942796 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12165] ppid=12147 vsize=10552396 CPUtime=1 cores=1,3,5,7
/proc/12149/task/12165/stat : 12165 (java) S 12147 12149 9650 0 -1 4202560 6276 0 0 0 99 1 0 0 15 0 19 0 333956218 10805653504 942796 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 3 0 0 0
[pid=12149/tid=12166] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12166/stat : 12166 (java) S 12147 12149 9650 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333956218 10805653504 942796 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12167] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12167/stat : 12167 (java) S 12147 12149 9650 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 333956218 10805653504 942796 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381696 0 4 0 16800975 18446604471121304448 0 0 -1 3 0 0 0
[pid=12149/tid=12178] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12178/stat : 12178 (java) S 12147 12149 9650 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 333956247 10805653504 942796 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381696 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1667.04
Current children cumulated vsize (KiB) 10552396
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 1.96 3/214 12282
/proc/meminfo: memFree=24423220/32950928 swapFree=67054696/67111528
[pid=12149] ppid=12147 vsize=10552396 CPUtime=1727.13 cores=1,3,5,7
/proc/12149/stat : 12149 (java) S 12147 12149 9650 0 -1 4202496 950150 0 1 0 172611 102 0 0 19 0 19 0 333956212 10805653504 943609 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12149/statm: 2638099 943609 2267 9 0 2628833 0
[pid=12149/tid=12151] ppid=12147 vsize=10552396 CPUtime=1720.61 cores=1,3,5,7
/proc/12149/task/12151/stat : 12151 (java) R 12147 12149 9650 0 -1 4202560 812882 0 1 0 171979 82 0 0 25 0 19 0 333956213 10805653504 943609 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 46912505751536 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12149/tid=12152] ppid=12147 vsize=10552396 CPUtime=0.51 cores=1,3,5,7
/proc/12149/task/12152/stat : 12152 (java) S 12147 12149 9650 0 -1 4202560 13697 0 0 0 49 2 0 0 16 0 19 0 333956214 10805653504 943609 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 7 0 0 0
[pid=12149/tid=12153] ppid=12147 vsize=10552396 CPUtime=0.51 cores=1,3,5,7
/proc/12149/task/12153/stat : 12153 (java) S 12147 12149 9650 0 -1 4202560 13590 0 0 0 50 1 0 0 16 0 19 0 333956214 10805653504 943609 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 1 0 0 0
[pid=12149/tid=12154] ppid=12147 vsize=10552396 CPUtime=0.48 cores=1,3,5,7
/proc/12149/task/12154/stat : 12154 (java) S 12147 12149 9650 0 -1 4202560 19174 0 0 0 46 2 0 0 15 0 19 0 333956214 10805653504 943609 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 7 0 0 0
[pid=12149/tid=12155] ppid=12147 vsize=10552396 CPUtime=0.56 cores=1,3,5,7
/proc/12149/task/12155/stat : 12155 (java) S 12147 12149 9650 0 -1 4202560 14023 0 0 0 55 1 0 0 16 0 19 0 333956214 10805653504 943609 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 3 0 0 0
[pid=12149/tid=12156] ppid=12147 vsize=10552396 CPUtime=0.64 cores=1,3,5,7
/proc/12149/task/12156/stat : 12156 (java) S 12147 12149 9650 0 -1 4202560 20598 0 0 0 62 2 0 0 15 0 19 0 333956214 10805653504 943609 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 1 0 0 0
[pid=12149/tid=12157] ppid=12147 vsize=10552396 CPUtime=0.46 cores=1,3,5,7
/proc/12149/task/12157/stat : 12157 (java) S 12147 12149 9650 0 -1 4202560 10615 0 0 0 45 1 0 0 15 0 19 0 333956214 10805653504 943609 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 7 0 0 0
[pid=12149/tid=12158] ppid=12147 vsize=10552396 CPUtime=0.43 cores=1,3,5,7
/proc/12149/task/12158/stat : 12158 (java) S 12147 12149 9650 0 -1 4202560 13702 0 0 0 42 1 0 0 15 0 19 0 333956214 10805653504 943609 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 3 0 0 0
[pid=12149/tid=12159] ppid=12147 vsize=10552396 CPUtime=0.47 cores=1,3,5,7
/proc/12149/task/12159/stat : 12159 (java) S 12147 12149 9650 0 -1 4202560 17156 0 0 0 45 2 0 0 16 0 19 0 333956214 10805653504 943609 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 1 0 0 0
[pid=12149/tid=12160] ppid=12147 vsize=10552396 CPUtime=0.58 cores=1,3,5,7
/proc/12149/task/12160/stat : 12160 (java) S 12147 12149 9650 0 -1 4202560 2524 0 0 0 57 1 0 0 15 0 19 0 333956215 10805653504 943609 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381696 0 0 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12161] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12161/stat : 12161 (java) S 12147 12149 9650 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 333956216 10805653504 943609 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12162] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12162/stat : 12162 (java) S 12147 12149 9650 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 333956216 10805653504 943609 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12163] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12163/stat : 12163 (java) S 12147 12149 9650 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 333956218 10805653504 943609 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892388785 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12164] ppid=12147 vsize=10552396 CPUtime=0.75 cores=1,3,5,7
/proc/12149/task/12164/stat : 12164 (java) S 12147 12149 9650 0 -1 4202560 4663 0 0 0 74 1 0 0 15 0 19 0 333956218 10805653504 943609 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12165] ppid=12147 vsize=10552396 CPUtime=1 cores=1,3,5,7
/proc/12149/task/12165/stat : 12165 (java) S 12147 12149 9650 0 -1 4202560 6276 0 0 0 99 1 0 0 15 0 19 0 333956218 10805653504 943609 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 3 0 0 0
[pid=12149/tid=12166] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12166/stat : 12166 (java) S 12147 12149 9650 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333956218 10805653504 943609 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12167] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12167/stat : 12167 (java) S 12147 12149 9650 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 333956218 10805653504 943609 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381696 0 4 0 16800975 18446604471121304448 0 0 -1 3 0 0 0
[pid=12149/tid=12178] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12178/stat : 12178 (java) S 12147 12149 9650 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 333956247 10805653504 943609 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381696 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1727.13
Current children cumulated vsize (KiB) 10552396
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/214 12283
/proc/meminfo: memFree=24403348/32950928 swapFree=67054696/67111528
[pid=12149] ppid=12147 vsize=10552396 CPUtime=1787.28 cores=1,3,5,7
/proc/12149/stat : 12149 (java) S 12147 12149 9650 0 -1 4202496 952677 0 1 0 178625 103 0 0 19 0 19 0 333956212 10805653504 946066 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12149/statm: 2638099 946066 2267 9 0 2628833 0
[pid=12149/tid=12151] ppid=12147 vsize=10552396 CPUtime=1780.57 cores=1,3,5,7
/proc/12149/task/12151/stat : 12151 (java) R 12147 12149 9650 0 -1 4202560 812885 0 1 0 177975 82 0 0 25 0 19 0 333956213 10805653504 946066 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 46912505739583 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12149/tid=12152] ppid=12147 vsize=10552396 CPUtime=0.53 cores=1,3,5,7
/proc/12149/task/12152/stat : 12152 (java) S 12147 12149 9650 0 -1 4202560 14111 0 0 0 51 2 0 0 16 0 19 0 333956214 10805653504 946066 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 7 0 0 0
[pid=12149/tid=12153] ppid=12147 vsize=10552396 CPUtime=0.55 cores=1,3,5,7
/proc/12149/task/12153/stat : 12153 (java) S 12147 12149 9650 0 -1 4202560 14194 0 0 0 54 1 0 0 16 0 19 0 333956214 10805653504 946066 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 1 0 0 0
[pid=12149/tid=12154] ppid=12147 vsize=10552396 CPUtime=0.48 cores=1,3,5,7
/proc/12149/task/12154/stat : 12154 (java) S 12147 12149 9650 0 -1 4202560 19174 0 0 0 46 2 0 0 15 0 19 0 333956214 10805653504 946066 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 7 0 0 0
[pid=12149/tid=12155] ppid=12147 vsize=10552396 CPUtime=0.57 cores=1,3,5,7
/proc/12149/task/12155/stat : 12155 (java) S 12147 12149 9650 0 -1 4202560 14159 0 0 0 56 1 0 0 15 0 19 0 333956214 10805653504 946066 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 3 0 0 0
[pid=12149/tid=12156] ppid=12147 vsize=10552396 CPUtime=0.67 cores=1,3,5,7
/proc/12149/task/12156/stat : 12156 (java) S 12147 12149 9650 0 -1 4202560 20969 0 0 0 65 2 0 0 15 0 19 0 333956214 10805653504 946066 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 1 0 0 0
[pid=12149/tid=12157] ppid=12147 vsize=10552396 CPUtime=0.5 cores=1,3,5,7
/proc/12149/task/12157/stat : 12157 (java) S 12147 12149 9650 0 -1 4202560 11124 0 0 0 49 1 0 0 16 0 19 0 333956214 10805653504 946066 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12158] ppid=12147 vsize=10552396 CPUtime=0.46 cores=1,3,5,7
/proc/12149/task/12158/stat : 12158 (java) S 12147 12149 9650 0 -1 4202560 14185 0 0 0 45 1 0 0 16 0 19 0 333956214 10805653504 946066 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 3 0 0 0
[pid=12149/tid=12159] ppid=12147 vsize=10552396 CPUtime=0.48 cores=1,3,5,7
/proc/12149/task/12159/stat : 12159 (java) S 12147 12149 9650 0 -1 4202560 17156 0 0 0 46 2 0 0 15 0 19 0 333956214 10805653504 946066 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 1 0 0 0
[pid=12149/tid=12160] ppid=12147 vsize=10552396 CPUtime=0.58 cores=1,3,5,7
/proc/12149/task/12160/stat : 12160 (java) S 12147 12149 9650 0 -1 4202560 2528 0 0 0 57 1 0 0 15 0 19 0 333956215 10805653504 946066 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381696 0 0 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12161] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12161/stat : 12161 (java) S 12147 12149 9650 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 333956216 10805653504 946066 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12162] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12162/stat : 12162 (java) S 12147 12149 9650 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 333956216 10805653504 946066 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12163] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12163/stat : 12163 (java) S 12147 12149 9650 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 333956218 10805653504 946066 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892388785 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12164] ppid=12147 vsize=10552396 CPUtime=0.75 cores=1,3,5,7
/proc/12149/task/12164/stat : 12164 (java) S 12147 12149 9650 0 -1 4202560 4663 0 0 0 74 1 0 0 15 0 19 0 333956218 10805653504 946066 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12165] ppid=12147 vsize=10552396 CPUtime=1 cores=1,3,5,7
/proc/12149/task/12165/stat : 12165 (java) S 12147 12149 9650 0 -1 4202560 6277 0 0 0 99 1 0 0 15 0 19 0 333956218 10805653504 946066 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 3 0 0 0
[pid=12149/tid=12166] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12166/stat : 12166 (java) S 12147 12149 9650 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333956218 10805653504 946066 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12167] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12167/stat : 12167 (java) S 12147 12149 9650 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 333956218 10805653504 946066 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381696 0 4 0 16800975 18446604471121304448 0 0 -1 3 0 0 0
[pid=12149/tid=12178] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12178/stat : 12178 (java) S 12147 12149 9650 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 333956247 10805653504 946066 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381696 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1787.28
Current children cumulated vsize (KiB) 10552396
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.1 s]
/proc/loadavg: 2.01 2.01 1.96 2/194 12287
/proc/meminfo: memFree=28386756/32950928 swapFree=67054696/67111528
[pid=12149] ppid=12147 vsize=10552396 CPUtime=1800.09 cores=1,3,5,7
/proc/12149/stat : 12149 (java) S 12147 12149 9650 0 -1 4202496 952679 0 1 0 179906 103 0 0 19 0 19 0 333956212 10805653504 946066 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12149/statm: 2638099 946066 2267 9 0 2628833 0
[pid=12149/tid=12151] ppid=12147 vsize=10552396 CPUtime=1793.38 cores=1,3,5,7
/proc/12149/task/12151/stat : 12151 (java) R 12147 12149 9650 0 -1 4202560 812885 0 1 0 179256 82 0 0 25 0 19 0 333956213 10805653504 946066 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 46912505739565 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12149/tid=12152] ppid=12147 vsize=10552396 CPUtime=0.53 cores=1,3,5,7
/proc/12149/task/12152/stat : 12152 (java) S 12147 12149 9650 0 -1 4202560 14111 0 0 0 51 2 0 0 16 0 19 0 333956214 10805653504 946066 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 7 0 0 0
[pid=12149/tid=12153] ppid=12147 vsize=10552396 CPUtime=0.55 cores=1,3,5,7
/proc/12149/task/12153/stat : 12153 (java) S 12147 12149 9650 0 -1 4202560 14194 0 0 0 54 1 0 0 16 0 19 0 333956214 10805653504 946066 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 1 0 0 0
[pid=12149/tid=12154] ppid=12147 vsize=10552396 CPUtime=0.48 cores=1,3,5,7
/proc/12149/task/12154/stat : 12154 (java) S 12147 12149 9650 0 -1 4202560 19174 0 0 0 46 2 0 0 15 0 19 0 333956214 10805653504 946066 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 7 0 0 0
[pid=12149/tid=12155] ppid=12147 vsize=10552396 CPUtime=0.57 cores=1,3,5,7
/proc/12149/task/12155/stat : 12155 (java) S 12147 12149 9650 0 -1 4202560 14159 0 0 0 56 1 0 0 15 0 19 0 333956214 10805653504 946066 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 3 0 0 0
[pid=12149/tid=12156] ppid=12147 vsize=10552396 CPUtime=0.67 cores=1,3,5,7
/proc/12149/task/12156/stat : 12156 (java) S 12147 12149 9650 0 -1 4202560 20969 0 0 0 65 2 0 0 15 0 19 0 333956214 10805653504 946066 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 1 0 0 0
[pid=12149/tid=12157] ppid=12147 vsize=10552396 CPUtime=0.5 cores=1,3,5,7
/proc/12149/task/12157/stat : 12157 (java) S 12147 12149 9650 0 -1 4202560 11124 0 0 0 49 1 0 0 16 0 19 0 333956214 10805653504 946066 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12158] ppid=12147 vsize=10552396 CPUtime=0.46 cores=1,3,5,7
/proc/12149/task/12158/stat : 12158 (java) S 12147 12149 9650 0 -1 4202560 14185 0 0 0 45 1 0 0 16 0 19 0 333956214 10805653504 946066 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 3 0 0 0
[pid=12149/tid=12159] ppid=12147 vsize=10552396 CPUtime=0.48 cores=1,3,5,7
/proc/12149/task/12159/stat : 12159 (java) S 12147 12149 9650 0 -1 4202560 17156 0 0 0 46 2 0 0 15 0 19 0 333956214 10805653504 946066 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 1 0 0 0
[pid=12149/tid=12160] ppid=12147 vsize=10552396 CPUtime=0.58 cores=1,3,5,7
/proc/12149/task/12160/stat : 12160 (java) S 12147 12149 9650 0 -1 4202560 2528 0 0 0 57 1 0 0 15 0 19 0 333956215 10805653504 946066 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381696 0 0 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12161] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12161/stat : 12161 (java) S 12147 12149 9650 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 333956216 10805653504 946066 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12162] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12162/stat : 12162 (java) S 12147 12149 9650 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 333956216 10805653504 946066 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12163] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12163/stat : 12163 (java) S 12147 12149 9650 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 333956218 10805653504 946066 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892388785 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12164] ppid=12147 vsize=10552396 CPUtime=0.75 cores=1,3,5,7
/proc/12149/task/12164/stat : 12164 (java) S 12147 12149 9650 0 -1 4202560 4663 0 0 0 74 1 0 0 15 0 19 0 333956218 10805653504 946066 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12165] ppid=12147 vsize=10552396 CPUtime=1 cores=1,3,5,7
/proc/12149/task/12165/stat : 12165 (java) S 12147 12149 9650 0 -1 4202560 6277 0 0 0 99 1 0 0 15 0 19 0 333956218 10805653504 946066 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 3 0 0 0
[pid=12149/tid=12166] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12166/stat : 12166 (java) S 12147 12149 9650 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333956218 10805653504 946066 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381081 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
[pid=12149/tid=12167] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12167/stat : 12167 (java) S 12147 12149 9650 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 333956218 10805653504 946066 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381696 0 4 0 16800975 18446604471121304448 0 0 -1 3 0 0 0
[pid=12149/tid=12178] ppid=12147 vsize=10552396 CPUtime=0 cores=1,3,5,7
/proc/12149/task/12178/stat : 12178 (java) S 12147 12149 9650 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 333956247 10805653504 946066 33554432000 1073741824 1073778376 140735122026624 18446744073709551615 218892381696 0 4 0 16800975 18446604471121304448 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10552396
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.22 s]
/proc/loadavg: 2.01 2.01 1.96 2/194 12287
/proc/meminfo: memFree=28386756/32950928 swapFree=67054696/67111528
[pid=12149] ppid=12147 vsize=0 CPUtime=1800.19 cores=1,3,5,7
/proc/12149/stat : 12149 (java) Z 12147 12149 9650 0 -1 4203548 952712 0 1 0 179909 110 0 0 17 0 2 0 333956212 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12149/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.28
CPU time (s): 1800.27
CPU user time (s): 1799.1
CPU system time (s): 1.16982
CPU usage (%): 100.278
Max. virtual memory (cumulated for all children) (KiB): 10552396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.1
system time used= 1.16982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 952712
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= 38446
involuntary context switches= 18764
runsolver used 2.80957 second user time and 7.00094 second system time
The end