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-3457565-1307228489/watcher-3457565-1307228489 -o /tmp/evaluation-result-3457565-1307228489/solver-3457565-1307228489 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457565-1307228489.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.14 2.09 2.02 2/476 24142
/proc/meminfo: memFree=22172000/32951124 swapFree=60688864/67111528
[pid=24142] ppid=24140 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/24142/stat : 24142 (java) S 24140 24142 22575 0 -1 4202496 2244 0 1 0 0 0 0 0 21 0 2 0 834447172 10681323520 1945 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347695077 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/24142/statm: 2607745 1966 906 9 0 2598901 0
[pid=24142/tid=24143] ppid=24140 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24143/stat : 24143 (java) R 24140 24142 22575 0 -1 4202560 4153 0 1 0 0 0 0 0 22 0 2 0 834447173 10694979584 4970 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232335586363 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.051189 s]
/proc/loadavg: 2.14 2.09 2.02 2/476 24142
/proc/meminfo: memFree=22172000/32951124 swapFree=60688864/67111528
[pid=24142] ppid=24140 vsize=10467480 CPUtime=0.04 cores=1,3,5,7
/proc/24142/stat : 24142 (java) S 24140 24142 22575 0 -1 4202496 11381 0 1 0 3 1 0 0 21 0 13 0 834447172 10718699520 11077 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347695077 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 0
/proc/24142/statm: 2616870 11078 1682 9 0 2607618 0
[pid=24142/tid=24143] ppid=24140 vsize=10467480 CPUtime=0.04 cores=1,3,5,7
/proc/24142/task/24143/stat : 24143 (java) R 24140 24142 22575 0 -1 4202560 10233 0 1 0 3 1 0 0 18 0 13 0 834447173 10718699520 11078 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 47353827997715 0 4 0 16800971 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467480
[startup+0.105208 s]
/proc/loadavg: 2.14 2.09 2.02 2/476 24142
/proc/meminfo: memFree=22172000/32951124 swapFree=60688864/67111528
[pid=24142] ppid=24140 vsize=10540120 CPUtime=0.1 cores=1,3,5,7
/proc/24142/stat : 24142 (java) S 24140 24142 22575 0 -1 4202496 13044 0 1 0 9 1 0 0 21 0 18 0 834447172 10793082880 12740 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24142/statm: 2635030 12740 2093 9 0 2625764 0
[pid=24142/tid=24143] ppid=24140 vsize=10540120 CPUtime=0.08 cores=1,3,5,7
/proc/24142/task/24143/stat : 24143 (java) R 24140 24142 22575 0 -1 4202560 11175 0 1 0 7 1 0 0 22 0 18 0 834447173 10793082880 12740 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540120
[startup+0.301146 s]
/proc/loadavg: 2.14 2.09 2.02 2/476 24142
/proc/meminfo: memFree=22172000/32951124 swapFree=60688864/67111528
[pid=24142] ppid=24140 vsize=10541660 CPUtime=0.45 cores=1,3,5,7
/proc/24142/stat : 24142 (java) S 24140 24142 22575 0 -1 4202496 22996 0 1 0 42 3 0 0 21 0 18 0 834447172 10794659840 22555 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24142/statm: 2635415 22559 2200 9 0 2626149 0
[pid=24142/tid=24143] ppid=24140 vsize=10541660 CPUtime=0.27 cores=1,3,5,7
/proc/24142/task/24143/stat : 24143 (java) R 24140 24142 22575 0 -1 4202560 20396 0 1 0 25 2 0 0 22 0 18 0 834447173 10794659840 22561 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 46912505574416 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10541660
[startup+0.701076 s]
/proc/loadavg: 2.14 2.09 2.02 2/476 24142
/proc/meminfo: memFree=22172000/32951124 swapFree=60688864/67111528
[pid=24142] ppid=24140 vsize=10541660 CPUtime=0.85 cores=1,3,5,7
/proc/24142/stat : 24142 (java) S 24140 24142 22575 0 -1 4202496 54650 0 1 0 78 7 0 0 21 0 18 0 834447172 10794659840 54210 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24142/statm: 2635415 54211 2200 9 0 2626149 0
[pid=24142/tid=24143] ppid=24140 vsize=10541660 CPUtime=0.67 cores=1,3,5,7
/proc/24142/task/24143/stat : 24143 (java) R 24140 24142 22575 0 -1 4202560 52047 0 1 0 61 6 0 0 24 0 18 0 834447173 10794659840 54212 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 46912505597239 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 10541660
[startup+1.50089 s]
/proc/loadavg: 2.14 2.09 2.02 3/494 24160
/proc/meminfo: memFree=21866756/32951124 swapFree=60688864/67111528
[pid=24142] ppid=24140 vsize=10545944 CPUtime=1.97 cores=1,3,5,7
/proc/24142/stat : 24142 (java) S 24140 24142 22575 0 -1 4202496 116234 0 1 0 183 14 0 0 21 0 18 0 834447172 10799046656 113577 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24142/statm: 2636486 113577 2205 9 0 2627220 0
[pid=24142/tid=24143] ppid=24140 vsize=10545944 CPUtime=1.48 cores=1,3,5,7
/proc/24142/task/24143/stat : 24143 (java) R 24140 24142 22575 0 -1 4202560 106848 0 1 0 135 13 0 0 25 0 18 0 834447173 10799046656 113577 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 46912505228269 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=24142/tid=24145] ppid=24140 vsize=10545944 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24145/stat : 24145 (java) S 24140 24142 22575 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 834447175 10799046656 113577 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 5 0 0 0
[pid=24142/tid=24146] ppid=24140 vsize=10545944 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24146/stat : 24146 (java) S 24140 24142 22575 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 834447175 10799046656 113577 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 5 0 0 0
[pid=24142/tid=24147] ppid=24140 vsize=10545944 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24147/stat : 24147 (java) S 24140 24142 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834447175 10799046656 113577 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 7 0 0 0
[pid=24142/tid=24148] ppid=24140 vsize=10545944 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24148/stat : 24148 (java) S 24140 24142 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834447175 10799046656 113577 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 7 0 0 0
[pid=24142/tid=24149] ppid=24140 vsize=10545944 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24149/stat : 24149 (java) S 24140 24142 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834447175 10799046656 113577 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 7 0 0 0
[pid=24142/tid=24150] ppid=24140 vsize=10545944 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24150/stat : 24150 (java) S 24140 24142 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834447175 10799046656 113577 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 7 0 0 0
[pid=24142/tid=24151] ppid=24140 vsize=10545944 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24151/stat : 24151 (java) S 24140 24142 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834447175 10799046656 113577 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 7 0 0 0
[pid=24142/tid=24152] ppid=24140 vsize=10545944 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24152/stat : 24152 (java) S 24140 24142 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834447175 10799046656 113577 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 7 0 0 0
[pid=24142/tid=24153] ppid=24140 vsize=10545944 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24153/stat : 24153 (java) S 24140 24142 22575 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 834447176 10799046656 113577 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708928 0 0 0 16800975 18446604466873338048 0 0 -1 5 0 0 0
[pid=24142/tid=24154] ppid=24140 vsize=10545944 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24154/stat : 24154 (java) S 24140 24142 22575 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 834447176 10799046656 113577 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 5 0 0 0
[pid=24142/tid=24155] ppid=24140 vsize=10545944 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24155/stat : 24155 (java) S 24140 24142 22575 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 834447176 10799046656 113577 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 7 0 0 0
[pid=24142/tid=24156] ppid=24140 vsize=10545944 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24156/stat : 24156 (java) S 24140 24142 22575 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 834447178 10799046656 113577 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347716017 0 4 0 16800975 18446604466873338048 0 0 -1 5 0 0 0
[pid=24142/tid=24157] ppid=24140 vsize=10545944 CPUtime=0.28 cores=1,3,5,7
/proc/24142/task/24157/stat : 24157 (java) R 24140 24142 22575 0 -1 4202560 6067 0 0 0 28 0 0 0 17 0 18 0 834447178 10799046656 113577 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 47353826448736 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24142/tid=24158] ppid=24140 vsize=10545944 CPUtime=0.19 cores=1,3,5,7
/proc/24142/task/24158/stat : 24158 (java) S 24140 24142 22575 0 -1 4202560 2167 0 0 0 19 0 0 0 16 0 18 0 834447178 10799046656 113577 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 1 0 0 0
[pid=24142/tid=24159] ppid=24140 vsize=10545944 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24159/stat : 24159 (java) S 24140 24142 22575 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 834447178 10799046656 113577 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 1 0 0 0
[pid=24142/tid=24160] ppid=24140 vsize=10545944 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24160/stat : 24160 (java) S 24140 24142 22575 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 834447178 10799046656 113577 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708928 0 4 0 16800975 18446604466873338048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 10545944
[startup+3.10065 s]
/proc/loadavg: 2.14 2.09 2.02 3/494 24160
/proc/meminfo: memFree=21471320/32951124 swapFree=60688864/67111528
[pid=24142] ppid=24140 vsize=10545944 CPUtime=3.64 cores=1,3,5,7
/proc/24142/stat : 24142 (java) S 24140 24142 22575 0 -1 4202496 284850 0 1 0 330 34 0 0 21 0 18 0 834447172 10799046656 281632 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24142/statm: 2636486 281636 2205 9 0 2627220 0
[pid=24142/tid=24143] ppid=24140 vsize=10545944 CPUtime=3.08 cores=1,3,5,7
/proc/24142/task/24143/stat : 24143 (java) R 24140 24142 22575 0 -1 4202560 275172 0 1 0 275 33 0 0 25 0 18 0 834447173 10799046656 281638 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 46912505587207 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24142/tid=24145] ppid=24140 vsize=10545944 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24145/stat : 24145 (java) S 24140 24142 22575 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 834447175 10799046656 281641 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 5 0 0 0
[pid=24142/tid=24146] ppid=24140 vsize=10545944 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24146/stat : 24146 (java) S 24140 24142 22575 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 834447175 10799046656 281643 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 5 0 0 0
[pid=24142/tid=24147] ppid=24140 vsize=10545944 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24147/stat : 24147 (java) S 24140 24142 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834447175 10799046656 281645 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 7 0 0 0
[pid=24142/tid=24148] ppid=24140 vsize=10545944 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24148/stat : 24148 (java) S 24140 24142 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834447175 10799046656 281648 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 7 0 0 0
[pid=24142/tid=24149] ppid=24140 vsize=10545944 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24149/stat : 24149 (java) S 24140 24142 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834447175 10799046656 281650 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 7 0 0 0
[pid=24142/tid=24150] ppid=24140 vsize=10545944 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24150/stat : 24150 (java) S 24140 24142 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834447175 10799046656 281652 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 7 0 0 0
[pid=24142/tid=24151] ppid=24140 vsize=10545944 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24151/stat : 24151 (java) S 24140 24142 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834447175 10799046656 281655 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 7 0 0 0
[pid=24142/tid=24152] ppid=24140 vsize=10545944 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24152/stat : 24152 (java) S 24140 24142 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834447175 10799046656 281657 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 7 0 0 0
[pid=24142/tid=24153] ppid=24140 vsize=10545944 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24153/stat : 24153 (java) S 24140 24142 22575 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 834447176 10799046656 281659 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708928 0 0 0 16800975 18446604466873338048 0 0 -1 5 0 0 0
[pid=24142/tid=24154] ppid=24140 vsize=10545944 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24154/stat : 24154 (java) S 24140 24142 22575 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 834447176 10799046656 281664 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 5 0 0 0
[pid=24142/tid=24155] ppid=24140 vsize=10545944 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24155/stat : 24155 (java) S 24140 24142 22575 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 834447176 10799046656 281673 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 7 0 0 0
[pid=24142/tid=24156] ppid=24140 vsize=10545944 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24156/stat : 24156 (java) S 24140 24142 22575 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 834447178 10799046656 281683 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347716017 0 4 0 16800975 18446604466873338048 0 0 -1 5 0 0 0
[pid=24142/tid=24157] ppid=24140 vsize=10545944 CPUtime=0.35 cores=1,3,5,7
/proc/24142/task/24157/stat : 24157 (java) S 24140 24142 22575 0 -1 4202560 6365 0 0 0 35 0 0 0 16 0 18 0 834447178 10799046656 281684 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 5 0 0 0
[pid=24142/tid=24158] ppid=24140 vsize=10545944 CPUtime=0.19 cores=1,3,5,7
/proc/24142/task/24158/stat : 24158 (java) S 24140 24142 22575 0 -1 4202560 2167 0 0 0 19 0 0 0 16 0 18 0 834447178 10799046656 281684 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 1 0 0 0
[pid=24142/tid=24159] ppid=24140 vsize=10545944 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24159/stat : 24159 (java) S 24140 24142 22575 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 834447178 10799046656 281684 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 1 0 0 0
[pid=24142/tid=24160] ppid=24140 vsize=10545944 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24160/stat : 24160 (java) S 24140 24142 22575 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 834447178 10799046656 281684 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708928 0 4 0 16800975 18446604466873338048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.64
Current children cumulated vsize (KiB) 10545944
[startup+6.30108 s]
/proc/loadavg: 2.13 2.09 2.02 3/495 24161
/proc/meminfo: memFree=20186300/32951124 swapFree=60688864/67111528
[pid=24142] ppid=24140 vsize=10546352 CPUtime=7.22 cores=1,3,5,7
/proc/24142/stat : 24142 (java) S 24140 24142 22575 0 -1 4202496 532990 0 1 0 660 62 0 0 21 0 19 0 834447172 10799464448 528868 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24142/statm: 2636588 528869 2233 9 0 2627322 0
[pid=24142/tid=24143] ppid=24140 vsize=10546352 CPUtime=6.26 cores=1,3,5,7
/proc/24142/task/24143/stat : 24143 (java) R 24140 24142 22575 0 -1 4202560 522591 0 1 0 565 61 0 0 22 0 19 0 834447173 10799464448 528870 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 46912505939008 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24142/tid=24145] ppid=24140 vsize=10546352 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24145/stat : 24145 (java) S 24140 24142 22575 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 834447175 10799464448 528871 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 5 0 0 0
[pid=24142/tid=24146] ppid=24140 vsize=10546352 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24146/stat : 24146 (java) S 24140 24142 22575 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 834447175 10799464448 528872 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 5 0 0 0
[pid=24142/tid=24147] ppid=24140 vsize=10546352 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24147/stat : 24147 (java) S 24140 24142 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834447175 10799464448 528873 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 7 0 0 0
[pid=24142/tid=24148] ppid=24140 vsize=10546352 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24148/stat : 24148 (java) S 24140 24142 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834447175 10799464448 528874 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 7 0 0 0
[pid=24142/tid=24149] ppid=24140 vsize=10546352 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24149/stat : 24149 (java) S 24140 24142 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834447175 10799464448 528875 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 7 0 0 0
[pid=24142/tid=24150] ppid=24140 vsize=10546352 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24150/stat : 24150 (java) S 24140 24142 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834447175 10799464448 528875 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 7 0 0 0
[pid=24142/tid=24151] ppid=24140 vsize=10546352 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24151/stat : 24151 (java) S 24140 24142 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834447175 10799464448 528875 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 7 0 0 0
[pid=24142/tid=24152] ppid=24140 vsize=10546352 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24152/stat : 24152 (java) S 24140 24142 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834447175 10799464448 528876 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 7 0 0 0
[pid=24142/tid=24153] ppid=24140 vsize=10546352 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24153/stat : 24153 (java) S 24140 24142 22575 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 834447176 10799464448 528876 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708928 0 0 0 16800975 18446604466873338048 0 0 -1 5 0 0 0
[pid=24142/tid=24154] ppid=24140 vsize=10546352 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24154/stat : 24154 (java) S 24140 24142 22575 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834447176 10799464448 528877 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 5 0 0 0
[pid=24142/tid=24155] ppid=24140 vsize=10546352 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24155/stat : 24155 (java) S 24140 24142 22575 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 834447176 10799464448 528877 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 7 0 0 0
[pid=24142/tid=24156] ppid=24140 vsize=10546352 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24156/stat : 24156 (java) S 24140 24142 22575 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834447178 10799464448 528878 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347716017 0 4 0 16800975 18446604466873338048 0 0 -1 5 0 0 0
[pid=24142/tid=24157] ppid=24140 vsize=10546352 CPUtime=0.52 cores=1,3,5,7
/proc/24142/task/24157/stat : 24157 (java) S 24140 24142 22575 0 -1 4202560 6396 0 0 0 52 0 0 0 15 0 19 0 834447178 10799464448 528879 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 5 0 0 0
[pid=24142/tid=24158] ppid=24140 vsize=10546352 CPUtime=0.41 cores=1,3,5,7
/proc/24142/task/24158/stat : 24158 (java) S 24140 24142 22575 0 -1 4202560 2844 0 0 0 41 0 0 0 16 0 19 0 834447178 10799464448 528879 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 1 0 0 0
[pid=24142/tid=24159] ppid=24140 vsize=10546352 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24159/stat : 24159 (java) S 24140 24142 22575 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834447178 10799464448 528880 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 1 0 0 0
[pid=24142/tid=24160] ppid=24140 vsize=10546352 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24160/stat : 24160 (java) S 24140 24142 22575 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 834447178 10799464448 528880 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708928 0 4 0 16800975 18446604466873338048 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/24142/task/24154/stat : 24154 (java) S 24140 24142 22575 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 834447176 10800402432 1037390 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 1 0 0 0
[pid=24142/tid=24155] ppid=24140 vsize=10547268 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24155/stat : 24155 (java) S 24140 24142 22575 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 834447176 10800402432 1037390 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 1 0 0 0
[pid=24142/tid=24156] ppid=24140 vsize=10547268 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24156/stat : 24156 (java) S 24140 24142 22575 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834447178 10800402432 1037390 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347716017 0 4 0 16800975 18446604466873338048 0 0 -1 5 0 0 0
[pid=24142/tid=24157] ppid=24140 vsize=10547268 CPUtime=0.96 cores=1,3,5,7
/proc/24142/task/24157/stat : 24157 (java) S 24140 24142 22575 0 -1 4202560 6552 0 0 0 96 0 0 0 15 0 19 0 834447178 10800402432 1037390 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 5 0 0 0
[pid=24142/tid=24158] ppid=24140 vsize=10547268 CPUtime=0.74 cores=1,3,5,7
/proc/24142/task/24158/stat : 24158 (java) S 24140 24142 22575 0 -1 4202560 3714 0 0 0 74 0 0 0 16 0 19 0 834447178 10800402432 1037390 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 1 0 0 0
[pid=24142/tid=24159] ppid=24140 vsize=10547268 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24159/stat : 24159 (java) S 24140 24142 22575 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834447178 10800402432 1037390 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 1 0 0 0
[pid=24142/tid=24160] ppid=24140 vsize=10547268 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24160/stat : 24160 (java) S 24140 24142 22575 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 834447178 10800402432 1037390 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708928 0 4 0 16800975 18446604466873338048 0 0 -1 1 0 0 0
[pid=24142/tid=24161] ppid=24140 vsize=10547268 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24161/stat : 24161 (java) S 24140 24142 22575 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 834447702 10800402432 1037390 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708928 0 4 0 16800975 18446604466873338048 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1675.63
Current children cumulated vsize (KiB) 10547268
[startup+1722.3 s]
/proc/loadavg: 2.09 2.08 2.04 3/495 24258
/proc/meminfo: memFree=15687500/32951124 swapFree=60688864/67111528
[pid=24142] ppid=24140 vsize=10547268 CPUtime=1735.99 cores=1,3,5,7
/proc/24142/stat : 24142 (java) S 24140 24142 22575 0 -1 4202496 1065006 0 1 0 173464 135 0 0 21 0 19 0 834447172 10800402432 1041889 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24142/statm: 2636817 1041889 2266 9 0 2627551 0
[pid=24142/tid=24143] ppid=24140 vsize=10547268 CPUtime=1715.65 cores=1,3,5,7
/proc/24142/task/24143/stat : 24143 (java) R 24140 24142 22575 0 -1 4202560 658448 0 1 0 171488 77 0 0 25 0 19 0 834447173 10800402432 1041889 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 46912505976516 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24142/tid=24145] ppid=24140 vsize=10547268 CPUtime=2.26 cores=1,3,5,7
/proc/24142/task/24145/stat : 24145 (java) S 24140 24142 22575 0 -1 4202560 54732 0 0 0 219 7 0 0 16 0 19 0 834447175 10800402432 1041889 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 3 0 0 0
[pid=24142/tid=24146] ppid=24140 vsize=10547268 CPUtime=1.77 cores=1,3,5,7
/proc/24142/task/24146/stat : 24146 (java) S 24140 24142 22575 0 -1 4202560 43880 0 0 0 172 5 0 0 15 0 19 0 834447175 10800402432 1041889 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 3 0 0 0
[pid=24142/tid=24147] ppid=24140 vsize=10547268 CPUtime=1.82 cores=1,3,5,7
/proc/24142/task/24147/stat : 24147 (java) S 24140 24142 22575 0 -1 4202560 43576 0 0 0 177 5 0 0 15 0 19 0 834447175 10800402432 1041889 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 5 0 0 0
[pid=24142/tid=24148] ppid=24140 vsize=10547268 CPUtime=2.05 cores=1,3,5,7
/proc/24142/task/24148/stat : 24148 (java) S 24140 24142 22575 0 -1 4202560 37559 0 0 0 201 4 0 0 16 0 19 0 834447175 10800402432 1041889 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 1 0 0 0
[pid=24142/tid=24149] ppid=24140 vsize=10547268 CPUtime=2.19 cores=1,3,5,7
/proc/24142/task/24149/stat : 24149 (java) S 24140 24142 22575 0 -1 4202560 47021 0 0 0 213 6 0 0 16 0 19 0 834447175 10800402432 1041889 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 7 0 0 0
[pid=24142/tid=24150] ppid=24140 vsize=10547268 CPUtime=2.21 cores=1,3,5,7
/proc/24142/task/24150/stat : 24150 (java) S 24140 24142 22575 0 -1 4202560 43052 0 0 0 217 4 0 0 16 0 19 0 834447175 10800402432 1041889 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 5 0 0 0
[pid=24142/tid=24151] ppid=24140 vsize=10547268 CPUtime=2.39 cores=1,3,5,7
/proc/24142/task/24151/stat : 24151 (java) S 24140 24142 22575 0 -1 4202560 63866 0 0 0 231 8 0 0 15 0 19 0 834447175 10800402432 1041889 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 7 0 0 0
[pid=24142/tid=24152] ppid=24140 vsize=10547268 CPUtime=2.77 cores=1,3,5,7
/proc/24142/task/24152/stat : 24152 (java) S 24140 24142 22575 0 -1 4202560 45941 0 0 0 270 7 0 0 15 0 19 0 834447175 10800402432 1041889 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 5 0 0 0
[pid=24142/tid=24153] ppid=24140 vsize=10547268 CPUtime=1.03 cores=1,3,5,7
/proc/24142/task/24153/stat : 24153 (java) S 24140 24142 22575 0 -1 4202560 15413 0 0 0 98 5 0 0 15 0 19 0 834447176 10800402432 1041889 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708928 0 0 0 16800975 18446604466873338048 0 0 -1 1 0 0 0
[pid=24142/tid=24154] ppid=24140 vsize=10547268 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24154/stat : 24154 (java) S 24140 24142 22575 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 834447176 10800402432 1041889 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 1 0 0 0
[pid=24142/tid=24155] ppid=24140 vsize=10547268 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24155/stat : 24155 (java) S 24140 24142 22575 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 834447176 10800402432 1041889 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 1 0 0 0
[pid=24142/tid=24156] ppid=24140 vsize=10547268 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24156/stat : 24156 (java) S 24140 24142 22575 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834447178 10800402432 1041889 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347716017 0 4 0 16800975 18446604466873338048 0 0 -1 5 0 0 0
[pid=24142/tid=24157] ppid=24140 vsize=10547268 CPUtime=0.97 cores=1,3,5,7
/proc/24142/task/24157/stat : 24157 (java) S 24140 24142 22575 0 -1 4202560 6553 0 0 0 97 0 0 0 15 0 19 0 834447178 10800402432 1041889 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 5 0 0 0
[pid=24142/tid=24158] ppid=24140 vsize=10547268 CPUtime=0.74 cores=1,3,5,7
/proc/24142/task/24158/stat : 24158 (java) S 24140 24142 22575 0 -1 4202560 3714 0 0 0 74 0 0 0 16 0 19 0 834447178 10800402432 1041889 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 1 0 0 0
[pid=24142/tid=24159] ppid=24140 vsize=10547268 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24159/stat : 24159 (java) S 24140 24142 22575 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834447178 10800402432 1041889 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 1 0 0 0
[pid=24142/tid=24160] ppid=24140 vsize=10547268 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24160/stat : 24160 (java) S 24140 24142 22575 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 834447178 10800402432 1041889 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708928 0 4 0 16800975 18446604466873338048 0 0 -1 1 0 0 0
[pid=24142/tid=24161] ppid=24140 vsize=10547268 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24161/stat : 24161 (java) S 24140 24142 22575 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 834447702 10800402432 1041889 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708928 0 4 0 16800975 18446604466873338048 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1735.99
Current children cumulated vsize (KiB) 10547268
[startup+1782.3 s]
/proc/loadavg: 2.03 2.06 2.03 3/495 24260
/proc/meminfo: memFree=15669240/32951124 swapFree=60688864/67111528
[pid=24142] ppid=24140 vsize=10547268 CPUtime=1796.5 cores=1,3,5,7
/proc/24142/stat : 24142 (java) S 24140 24142 22575 0 -1 4202496 1083298 0 1 0 179512 138 0 0 21 0 19 0 834447172 10800402432 1045956 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24142/statm: 2636817 1045956 2266 9 0 2627551 0
[pid=24142/tid=24143] ppid=24140 vsize=10547268 CPUtime=1774.29 cores=1,3,5,7
/proc/24142/task/24143/stat : 24143 (java) R 24140 24142 22575 0 -1 4202560 658455 0 1 0 177352 77 0 0 25 0 19 0 834447173 10800402432 1045956 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 46912505923170 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24142/tid=24145] ppid=24140 vsize=10547268 CPUtime=2.36 cores=1,3,5,7
/proc/24142/task/24145/stat : 24145 (java) S 24140 24142 22575 0 -1 4202560 55169 0 0 0 229 7 0 0 16 0 19 0 834447175 10800402432 1045956 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 7 0 0 0
[pid=24142/tid=24146] ppid=24140 vsize=10547268 CPUtime=1.89 cores=1,3,5,7
/proc/24142/task/24146/stat : 24146 (java) S 24140 24142 22575 0 -1 4202560 44499 0 0 0 183 6 0 0 15 0 19 0 834447175 10800402432 1045956 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 5 0 0 0
[pid=24142/tid=24147] ppid=24140 vsize=10547268 CPUtime=1.94 cores=1,3,5,7
/proc/24142/task/24147/stat : 24147 (java) S 24140 24142 22575 0 -1 4202560 44469 0 0 0 189 5 0 0 15 0 19 0 834447175 10800402432 1045956 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 7 0 0 0
[pid=24142/tid=24148] ppid=24140 vsize=10547268 CPUtime=2.13 cores=1,3,5,7
/proc/24142/task/24148/stat : 24148 (java) S 24140 24142 22575 0 -1 4202560 37911 0 0 0 209 4 0 0 16 0 19 0 834447175 10800402432 1045956 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 1 0 0 0
[pid=24142/tid=24149] ppid=24140 vsize=10547268 CPUtime=2.24 cores=1,3,5,7
/proc/24142/task/24149/stat : 24149 (java) S 24140 24142 22575 0 -1 4202560 47263 0 0 0 218 6 0 0 15 0 19 0 834447175 10800402432 1045956 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 5 0 0 0
[pid=24142/tid=24150] ppid=24140 vsize=10547268 CPUtime=2.25 cores=1,3,5,7
/proc/24142/task/24150/stat : 24150 (java) S 24140 24142 22575 0 -1 4202560 43139 0 0 0 221 4 0 0 15 0 19 0 834447175 10800402432 1045956 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 3 0 0 0
[pid=24142/tid=24151] ppid=24140 vsize=10547268 CPUtime=2.51 cores=1,3,5,7
/proc/24142/task/24151/stat : 24151 (java) S 24140 24142 22575 0 -1 4202560 64970 0 0 0 243 8 0 0 15 0 19 0 834447175 10800402432 1045956 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 3 0 0 0
[pid=24142/tid=24152] ppid=24140 vsize=10547268 CPUtime=2.84 cores=1,3,5,7
/proc/24142/task/24152/stat : 24152 (java) S 24140 24142 22575 0 -1 4202560 46048 0 0 0 277 7 0 0 16 0 19 0 834447175 10800402432 1045956 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 5 0 0 0
[pid=24142/tid=24153] ppid=24140 vsize=10547268 CPUtime=2.2 cores=1,3,5,7
/proc/24142/task/24153/stat : 24153 (java) S 24140 24142 22575 0 -1 4202560 29853 0 0 0 213 7 0 0 15 0 19 0 834447176 10800402432 1045956 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708928 0 0 0 16800975 18446604466873338048 0 0 -1 7 0 0 0
[pid=24142/tid=24154] ppid=24140 vsize=10547268 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24154/stat : 24154 (java) S 24140 24142 22575 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 834447176 10800402432 1045956 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 1 0 0 0
[pid=24142/tid=24155] ppid=24140 vsize=10547268 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24155/stat : 24155 (java) S 24140 24142 22575 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 834447176 10800402432 1045956 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 1 0 0 0
[pid=24142/tid=24156] ppid=24140 vsize=10547268 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24156/stat : 24156 (java) S 24140 24142 22575 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834447178 10800402432 1045956 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347716017 0 4 0 16800975 18446604466873338048 0 0 -1 5 0 0 0
[pid=24142/tid=24157] ppid=24140 vsize=10547268 CPUtime=0.97 cores=1,3,5,7
/proc/24142/task/24157/stat : 24157 (java) S 24140 24142 22575 0 -1 4202560 6553 0 0 0 97 0 0 0 15 0 19 0 834447178 10800402432 1045956 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 5 0 0 0
[pid=24142/tid=24158] ppid=24140 vsize=10547268 CPUtime=0.74 cores=1,3,5,7
/proc/24142/task/24158/stat : 24158 (java) S 24140 24142 22575 0 -1 4202560 3714 0 0 0 74 0 0 0 16 0 19 0 834447178 10800402432 1045956 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 1 0 0 0
[pid=24142/tid=24159] ppid=24140 vsize=10547268 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24159/stat : 24159 (java) S 24140 24142 22575 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834447178 10800402432 1045956 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 1 0 0 0
[pid=24142/tid=24160] ppid=24140 vsize=10547268 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24160/stat : 24160 (java) S 24140 24142 22575 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834447178 10800402432 1045956 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708928 0 4 0 16800975 18446604466873338048 0 0 -1 5 0 0 0
[pid=24142/tid=24161] ppid=24140 vsize=10547268 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24161/stat : 24161 (java) S 24140 24142 22575 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 834447702 10800402432 1045956 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708928 0 4 0 16800975 18446604466873338048 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1796.5
Current children cumulated vsize (KiB) 10547268
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1785.9 s]
/proc/loadavg: 2.03 2.06 2.03 3/495 24260
/proc/meminfo: memFree=15669488/32951124 swapFree=60688864/67111528
[pid=24142] ppid=24140 vsize=10547268 CPUtime=1800.11 cores=1,3,5,7
/proc/24142/stat : 24142 (java) S 24140 24142 22575 0 -1 4202496 1083298 0 1 0 179873 138 0 0 21 0 19 0 834447172 10800402432 1045956 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24142/statm: 2636817 1045956 2266 9 0 2627551 0
[pid=24142/tid=24143] ppid=24140 vsize=10547268 CPUtime=1777.91 cores=1,3,5,7
/proc/24142/task/24143/stat : 24143 (java) R 24140 24142 22575 0 -1 4202560 658455 0 1 0 177714 77 0 0 25 0 19 0 834447173 10800402432 1045956 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 46912506001640 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24142/tid=24145] ppid=24140 vsize=10547268 CPUtime=2.36 cores=1,3,5,7
/proc/24142/task/24145/stat : 24145 (java) S 24140 24142 22575 0 -1 4202560 55169 0 0 0 229 7 0 0 16 0 19 0 834447175 10800402432 1045956 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 7 0 0 0
[pid=24142/tid=24146] ppid=24140 vsize=10547268 CPUtime=1.89 cores=1,3,5,7
/proc/24142/task/24146/stat : 24146 (java) S 24140 24142 22575 0 -1 4202560 44499 0 0 0 183 6 0 0 15 0 19 0 834447175 10800402432 1045956 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 5 0 0 0
[pid=24142/tid=24147] ppid=24140 vsize=10547268 CPUtime=1.94 cores=1,3,5,7
/proc/24142/task/24147/stat : 24147 (java) S 24140 24142 22575 0 -1 4202560 44469 0 0 0 189 5 0 0 15 0 19 0 834447175 10800402432 1045956 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 7 0 0 0
[pid=24142/tid=24148] ppid=24140 vsize=10547268 CPUtime=2.13 cores=1,3,5,7
/proc/24142/task/24148/stat : 24148 (java) S 24140 24142 22575 0 -1 4202560 37911 0 0 0 209 4 0 0 16 0 19 0 834447175 10800402432 1045956 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 1 0 0 0
[pid=24142/tid=24149] ppid=24140 vsize=10547268 CPUtime=2.24 cores=1,3,5,7
/proc/24142/task/24149/stat : 24149 (java) S 24140 24142 22575 0 -1 4202560 47263 0 0 0 218 6 0 0 15 0 19 0 834447175 10800402432 1045956 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 5 0 0 0
[pid=24142/tid=24150] ppid=24140 vsize=10547268 CPUtime=2.25 cores=1,3,5,7
/proc/24142/task/24150/stat : 24150 (java) S 24140 24142 22575 0 -1 4202560 43139 0 0 0 221 4 0 0 15 0 19 0 834447175 10800402432 1045956 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 3 0 0 0
[pid=24142/tid=24151] ppid=24140 vsize=10547268 CPUtime=2.51 cores=1,3,5,7
/proc/24142/task/24151/stat : 24151 (java) S 24140 24142 22575 0 -1 4202560 64970 0 0 0 243 8 0 0 15 0 19 0 834447175 10800402432 1045956 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 3 0 0 0
[pid=24142/tid=24152] ppid=24140 vsize=10547268 CPUtime=2.84 cores=1,3,5,7
/proc/24142/task/24152/stat : 24152 (java) S 24140 24142 22575 0 -1 4202560 46048 0 0 0 277 7 0 0 16 0 19 0 834447175 10800402432 1045956 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 5 0 0 0
[pid=24142/tid=24153] ppid=24140 vsize=10547268 CPUtime=2.2 cores=1,3,5,7
/proc/24142/task/24153/stat : 24153 (java) S 24140 24142 22575 0 -1 4202560 29853 0 0 0 213 7 0 0 15 0 19 0 834447176 10800402432 1045956 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708928 0 0 0 16800975 18446604466873338048 0 0 -1 7 0 0 0
[pid=24142/tid=24154] ppid=24140 vsize=10547268 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24154/stat : 24154 (java) S 24140 24142 22575 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 834447176 10800402432 1045956 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 1 0 0 0
[pid=24142/tid=24155] ppid=24140 vsize=10547268 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24155/stat : 24155 (java) S 24140 24142 22575 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 834447176 10800402432 1045956 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 1 0 0 0
[pid=24142/tid=24156] ppid=24140 vsize=10547268 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24156/stat : 24156 (java) S 24140 24142 22575 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834447178 10800402432 1045956 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347716017 0 4 0 16800975 18446604466873338048 0 0 -1 5 0 0 0
[pid=24142/tid=24157] ppid=24140 vsize=10547268 CPUtime=0.97 cores=1,3,5,7
/proc/24142/task/24157/stat : 24157 (java) S 24140 24142 22575 0 -1 4202560 6553 0 0 0 97 0 0 0 15 0 19 0 834447178 10800402432 1045956 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 5 0 0 0
[pid=24142/tid=24158] ppid=24140 vsize=10547268 CPUtime=0.74 cores=1,3,5,7
/proc/24142/task/24158/stat : 24158 (java) S 24140 24142 22575 0 -1 4202560 3714 0 0 0 74 0 0 0 16 0 19 0 834447178 10800402432 1045956 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 1 0 0 0
[pid=24142/tid=24159] ppid=24140 vsize=10547268 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24159/stat : 24159 (java) S 24140 24142 22575 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834447178 10800402432 1045956 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708313 0 4 0 16800975 18446604466873338048 0 0 -1 1 0 0 0
[pid=24142/tid=24160] ppid=24140 vsize=10547268 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24160/stat : 24160 (java) S 24140 24142 22575 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834447178 10800402432 1045956 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708928 0 4 0 16800975 18446604466873338048 0 0 -1 5 0 0 0
[pid=24142/tid=24161] ppid=24140 vsize=10547268 CPUtime=0 cores=1,3,5,7
/proc/24142/task/24161/stat : 24161 (java) S 24140 24142 22575 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 834447702 10800402432 1045956 33554432000 1073741824 1073778376 140736070209120 18446744073709551615 232347708928 0 4 0 16800975 18446604466873338048 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 10547268
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1786.02 s]
/proc/loadavg: 2.03 2.06 2.03 3/495 24260
/proc/meminfo: memFree=15669488/32951124 swapFree=60688864/67111528
[pid=24142] ppid=24140 vsize=0 CPUtime=1800.22 cores=1,3,5,7
/proc/24142/stat : 24142 (java) Z 24140 24142 22575 0 -1 4203548 1083327 0 1 0 179876 146 0 0 17 0 2 0 834447172 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24142/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1786.09
CPU time (s): 1800.3
CPU user time (s): 1798.77
CPU system time (s): 1.53277
CPU usage (%): 100.796
Max. virtual memory (cumulated for all children) (KiB): 10612804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.77
system time used= 1.53277
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1083327
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= 44192
involuntary context switches= 29850
runsolver used 8.35873 second user time and 19.2581 second system time
The end