runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3687921-1337877335/watcher-3687921-1337877335 -o /tmp/evaluation-result-3687921-1337877335/solver-3687921-1337877335 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687921-1337877335.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: 1.99 1.98 1.93 3/194 24146
/proc/meminfo: memFree=28666796/32873648 swapFree=7372/7372
[pid=24146] ppid=24144 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/24146/stat : 24146 (java) R 24144 24146 23489 0 -1 4202496 985 0 0 0 0 0 0 0 20 0 1 0 253859523 23793664 713 33554432000 1073741824 1073778376 140733836566096 140733836555160 217401309264 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24146/statm: 5809 713 528 9 0 128 0
[startup+0.0769139 s]
/proc/loadavg: 1.99 1.98 1.93 3/194 24146
/proc/meminfo: memFree=28666796/32873648 swapFree=7372/7372
[pid=24146] ppid=24144 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/24146/stat : 24146 (java) S 24144 24146 23489 0 -1 4202496 3914 0 1 0 6 1 0 0 20 0 18 0 253859523 9787813888 5111 33554432000 1073741824 1073778376 140733836566096 140733836557232 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24146/statm: 2389603 5122 2034 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558412
[startup+0.100245 s]
/proc/loadavg: 1.99 1.98 1.93 3/194 24146
/proc/meminfo: memFree=28666796/32873648 swapFree=7372/7372
[pid=24146] ppid=24144 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/24146/stat : 24146 (java) S 24144 24146 23489 0 -1 4202496 4456 0 1 0 9 1 0 0 20 0 18 0 253859523 9787813888 6124 33554432000 1073741824 1073778376 140733836566096 140733836557232 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24146/statm: 2389603 6124 2138 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.300222 s]
/proc/loadavg: 1.99 1.98 1.93 3/194 24146
/proc/meminfo: memFree=28666796/32873648 swapFree=7372/7372
[pid=24146] ppid=24144 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/24146/stat : 24146 (java) S 24144 24146 23489 0 -1 4202496 7575 0 1 0 49 1 0 0 20 0 19 0 253859523 9855975424 7658 33554432000 1073741824 1073778376 140733836566096 140733836557232 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24146/statm: 2406244 7658 2219 9 0 2396937 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9624976
[startup+0.70023 s]
/proc/loadavg: 1.99 1.98 1.93 3/194 24146
/proc/meminfo: memFree=28666796/32873648 swapFree=7372/7372
[pid=24146] ppid=24144 vsize=9624976 CPUtime=1.01 cores=1,3,5,7
/proc/24146/stat : 24146 (java) S 24144 24146 23489 0 -1 4202496 8014 0 1 0 99 2 0 0 20 0 19 0 253859523 9855975424 10798 33554432000 1073741824 1073778376 140733836566096 140733836557232 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24146/statm: 2406244 10798 2257 9 0 2396937 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 9624976
[startup+1.50055 s]
/proc/loadavg: 1.99 1.98 1.93 3/213 24165
/proc/meminfo: memFree=28629948/32873648 swapFree=7372/7372
[pid=24146] ppid=24144 vsize=9624976 CPUtime=1.86 cores=1,3,5,7
/proc/24146/stat : 24146 (java) S 24144 24146 23489 0 -1 4202496 8047 0 1 0 184 2 0 0 20 0 19 0 253859523 9855975424 11336 33554432000 1073741824 1073778376 140733836566096 140733836557232 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24146/statm: 2406244 11336 2267 9 0 2396937 0
[pid=24146/tid=24148] ppid=24144 vsize=9624976 CPUtime=1.42 cores=1,3,5,7
/proc/24146/task/24148/stat : 24148 (java) S 24144 24146 23489 0 -1 4202560 2479 0 1 0 140 2 0 0 20 0 19 0 253859523 9855975424 11336 33554432000 1073741824 1073778376 140733836566096 140696557854808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24146/tid=24149] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24149/stat : 24149 (java) S 24144 24146 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253859524 9855975424 11336 33554432000 1073741824 1073778376 140733836566096 140696401853224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24150] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24150/stat : 24150 (java) S 24144 24146 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253859524 9855975424 11336 33554432000 1073741824 1073778376 140733836566096 140696400800424 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24151] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24151/stat : 24151 (java) R 24144 24146 23489 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253859524 9855975424 11336 33554432000 1073741824 1073778376 140733836566096 140696399748136 217413891132 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24146/tid=24152] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24152/stat : 24152 (java) S 24144 24146 23489 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 253859524 9855975424 11336 33554432000 1073741824 1073778376 140733836566096 140696398695336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24153] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24153/stat : 24153 (java) S 24144 24146 23489 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253859524 9855975424 11336 33554432000 1073741824 1073778376 140733836566096 140696397642024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24154] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24154/stat : 24154 (java) S 24144 24146 23489 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253859524 9855975424 11336 33554432000 1073741824 1073778376 140733836566096 140696396589224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24155] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24155/stat : 24155 (java) S 24144 24146 23489 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253859524 9855975424 11336 33554432000 1073741824 1073778376 140733836566096 140696395536936 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24156] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24156/stat : 24156 (java) S 24144 24146 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253859524 9855975424 11336 33554432000 1073741824 1073778376 140733836566096 140696394484136 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24157] ppid=24144 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/24146/task/24157/stat : 24157 (java) R 24144 24146 23489 0 -1 4202560 30 0 0 0 3 0 0 0 20 0 19 0 253859525 9855975424 11336 33554432000 1073741824 1073778376 140733836566096 140696382072552 140696563978652 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24146/tid=24158] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24158/stat : 24158 (java) S 24144 24146 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253859526 9855975424 11336 33554432000 1073741824 1073778376 140733836566096 140696381019640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24159] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24159/stat : 24159 (java) S 24144 24146 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253859526 9855975424 11336 33554432000 1073741824 1073778376 140733836566096 140696379967240 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24160] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24160/stat : 24160 (java) S 24144 24146 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253859528 9855975424 11336 33554432000 1073741824 1073778376 140733836566096 140696378915728 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24161] ppid=24144 vsize=9624976 CPUtime=0.15 cores=1,3,5,7
/proc/24146/task/24161/stat : 24161 (java) S 24144 24146 23489 0 -1 4202560 2306 0 0 0 15 0 0 0 20 0 19 0 253859528 9855975424 11336 33554432000 1073741824 1073778376 140733836566096 140696377862328 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24162] ppid=24144 vsize=9624976 CPUtime=0.18 cores=1,3,5,7
/proc/24146/task/24162/stat : 24162 (java) S 24144 24146 23489 0 -1 4202560 1996 0 0 0 18 0 0 0 20 0 19 0 253859528 9855975424 11336 33554432000 1073741824 1073778376 140733836566096 140696376809528 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24163] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24163/stat : 24163 (java) S 24144 24146 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253859528 9855975424 11336 33554432000 1073741824 1073778376 140733836566096 140696375757432 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24164] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24164/stat : 24164 (java) S 24144 24146 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253859528 9855975424 11336 33554432000 1073741824 1073778376 140733836566096 140696374704840 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24165] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24165/stat : 24165 (java) S 24144 24146 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253859535 9855975424 11336 33554432000 1073741824 1073778376 140733836566096 140696373650856 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 9624976
[startup+3.10061 s]
/proc/loadavg: 1.99 1.98 1.93 3/213 24165
/proc/meminfo: memFree=28625728/32873648 swapFree=7372/7372
[pid=24146] ppid=24144 vsize=9624976 CPUtime=3.49 cores=1,3,5,7
/proc/24146/stat : 24146 (java) S 24144 24146 23489 0 -1 4202496 8074 0 1 0 346 3 0 0 20 0 19 0 253859523 9855975424 12889 33554432000 1073741824 1073778376 140733836566096 140733836557232 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24146/statm: 2406244 12889 2267 9 0 2396937 0
[pid=24146/tid=24148] ppid=24144 vsize=9624976 CPUtime=2.96 cores=1,3,5,7
/proc/24146/task/24148/stat : 24148 (java) R 24144 24146 23489 0 -1 4202560 2483 0 1 0 294 2 0 0 20 0 19 0 253859523 9855975424 12889 33554432000 1073741824 1073778376 140733836566096 140696557855128 140696430677282 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24146/tid=24149] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24149/stat : 24149 (java) S 24144 24146 23489 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 253859524 9855975424 12889 33554432000 1073741824 1073778376 140733836566096 140696401853224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24150] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24150/stat : 24150 (java) S 24144 24146 23489 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253859524 9855975424 12889 33554432000 1073741824 1073778376 140733836566096 140696400800424 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24151] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24151/stat : 24151 (java) S 24144 24146 23489 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253859524 9855975424 12889 33554432000 1073741824 1073778376 140733836566096 140696399748136 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24152] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24152/stat : 24152 (java) S 24144 24146 23489 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 19 0 253859524 9855975424 12889 33554432000 1073741824 1073778376 140733836566096 140696398695336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24153] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24153/stat : 24153 (java) S 24144 24146 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253859524 9855975424 12889 33554432000 1073741824 1073778376 140733836566096 140696397642024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24154] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24154/stat : 24154 (java) S 24144 24146 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253859524 9855975424 12889 33554432000 1073741824 1073778376 140733836566096 140696396589224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24155] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24155/stat : 24155 (java) S 24144 24146 23489 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253859524 9855975424 12889 33554432000 1073741824 1073778376 140733836566096 140696395536936 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24156] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24156/stat : 24156 (java) S 24144 24146 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253859524 9855975424 12889 33554432000 1073741824 1073778376 140733836566096 140696394484136 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24157] ppid=24144 vsize=9624976 CPUtime=0.08 cores=1,3,5,7
/proc/24146/task/24157/stat : 24157 (java) S 24144 24146 23489 0 -1 4202560 32 0 0 0 8 0 0 0 20 0 19 0 253859525 9855975424 12889 33554432000 1073741824 1073778376 140733836566096 140696382073576 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24146/tid=24158] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24158/stat : 24158 (java) S 24144 24146 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253859526 9855975424 12889 33554432000 1073741824 1073778376 140733836566096 140696381019640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24159] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24159/stat : 24159 (java) S 24144 24146 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253859526 9855975424 12889 33554432000 1073741824 1073778376 140733836566096 140696379967240 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24160] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24160/stat : 24160 (java) S 24144 24146 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253859528 9855975424 12889 33554432000 1073741824 1073778376 140733836566096 140696378915728 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24161] ppid=24144 vsize=9624976 CPUtime=0.15 cores=1,3,5,7
/proc/24146/task/24161/stat : 24161 (java) S 24144 24146 23489 0 -1 4202560 2306 0 0 0 15 0 0 0 20 0 19 0 253859528 9855975424 12889 33554432000 1073741824 1073778376 140733836566096 140696377862328 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24162] ppid=24144 vsize=9624976 CPUtime=0.18 cores=1,3,5,7
/proc/24146/task/24162/stat : 24162 (java) S 24144 24146 23489 0 -1 4202560 1996 0 0 0 18 0 0 0 20 0 19 0 253859528 9855975424 12889 33554432000 1073741824 1073778376 140733836566096 140696376809528 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24163] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24163/stat : 24163 (java) S 24144 24146 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253859528 9855975424 12889 33554432000 1073741824 1073778376 140733836566096 140696375757432 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24164] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24164/stat : 24164 (java) S 24144 24146 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253859528 9855975424 12889 33554432000 1073741824 1073778376 140733836566096 140696374704840 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24165] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24165/stat : 24165 (java) S 24144 24146 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253859535 9855975424 12889 33554432000 1073741824 1073778376 140733836566096 140696373650856 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 9624976
[startup+6.3006 s]
/proc/loadavg: 1.99 1.98 1.93 3/213 24165
/proc/meminfo: memFree=28590652/32873648 swapFree=7372/7372
[pid=24146] ppid=24144 vsize=9624976 CPUtime=6.72 cores=1,3,5,7
/proc/24146/stat : 24146 (java) S 24144 24146 23489 0 -1 4202496 8097 0 1 0 669 3 0 0 20 0 19 0 253859523 9855975424 14420 33554432000 1073741824 1073778376 140733836566096 140733836557232 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24146/statm: 2406244 14420 2267 9 0 2396937 0
[pid=24146/tid=24148] ppid=24144 vsize=9624976 CPUtime=6.07 cores=1,3,5,7
/proc/24146/task/24148/stat : 24148 (java) R 24144 24146 23489 0 -1 4202560 2490 0 1 0 605 2 0 0 20 0 19 0 253859523 9855975424 14420 33554432000 1073741824 1073778376 140733836566096 140696557855128 140696430643952 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24149] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24149/stat : 24149 (java) S 24144 24146 23489 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 253859524 9855975424 14420 33554432000 1073741824 1073778376 140733836566096 140696401853224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24150] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24150/stat : 24150 (java) S 24144 24146 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253859524 9855975424 14420 33554432000 1073741824 1073778376 140733836566096 140696400800424 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24151] ppid=24144 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/24146/task/24151/stat : 24151 (java) S 24144 24146 23489 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 253859524 9855975424 14420 33554432000 1073741824 1073778376 140733836566096 140696399748136 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24152] ppid=24144 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/24146/task/24152/stat : 24152 (java) S 24144 24146 23489 0 -1 4202560 29 0 0 0 1 0 0 0 20 0 19 0 253859524 9855975424 14420 33554432000 1073741824 1073778376 140733836566096 140696398695336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24153] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24153/stat : 24153 (java) S 24144 24146 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253859524 9855975424 14420 33554432000 1073741824 1073778376 140733836566096 140696397642024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24154] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24154/stat : 24154 (java) S 24144 24146 23489 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253859524 9855975424 14420 33554432000 1073741824 1073778376 140733836566096 140696396589224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24155] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24155/stat : 24155 (java) S 24144 24146 23489 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253859524 9855975424 14420 33554432000 1073741824 1073778376 140733836566096 140696395536936 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24156] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24156/stat : 24156 (java) S 24144 24146 23489 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253859524 9855975424 14420 33554432000 1073741824 1073778376 140733836566096 140696394484136 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24157] ppid=24144 vsize=9624976 CPUtime=0.15 cores=1,3,5,7
/proc/24146/task/24157/stat : 24157 (java) S 24144 24146 23489 0 -1 4202560 33 0 0 0 15 0 0 0 20 0 19 0 253859525 9855975424 14420 33554432000 1073741824 1073778376 140733836566096 140696382073576 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24146/tid=24158] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24158/stat : 24158 (java) S 24144 24146 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253859526 9855975424 14420 33554432000 1073741824 1073778376 140733836566096 140696381019640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24159] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24159/stat : 24159 (java) S 24144 24146 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253859526 9855975424 14420 33554432000 1073741824 1073778376 140733836566096 140696379967240 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24160] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24160/stat : 24160 (java) S 24144 24146 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253859528 9855975424 14420 33554432000 1073741824 1073778376 140733836566096 140696378915728 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24161] ppid=24144 vsize=9624976 CPUtime=0.15 cores=1,3,5,7
/proc/24146/task/24161/stat : 24161 (java) S 24144 24146 23489 0 -1 4202560 2306 0 0 0 15 0 0 0 20 0 19 0 253859528 9855975424 14420 33554432000 1073741824 1073778376 140733836566096 140696377862328 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24162] ppid=24144 vsize=9624976 CPUtime=0.18 cores=1,3,5,7
/proc/24146/task/24162/stat : 24162 (java) S 24144 24146 23489 0 -1 4202560 1996 0 0 0 18 0 0 0 20 0 19 0 253859528 9855975424 14420 33554432000 1073741824 1073778376 140733836566096 140696376809528 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24163] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24163/stat : 24163 (java) S 24144 24146 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253859528 9855975424 14420 33554432000 1073741824 1073778376 140733836566096 140696375757432 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24164] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24164/stat : 24164 (java) S 24144 24146 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253859528 9855975424 14420 33554432000 1073741824 1073778376 140733836566096 140696374704840 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24165] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24165/stat : 24165 (java) S 24144 24146 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253859535 9855975424 14420 33554432000 1073741824 1073778376 140733836566096 140696373650856 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.72
Current children cumulated vsize (KiB) 9624976
[startup+12.7006 s]
################
# More data... #
################
[pid=24146/tid=24154] ppid=24144 vsize=9624976 CPUtime=0.86 cores=1,3,5,7
/proc/24146/task/24154/stat : 24154 (java) S 24144 24146 23489 0 -1 4202560 267 0 0 0 86 0 0 0 20 0 19 0 253859524 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696396589224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24155] ppid=24144 vsize=9624976 CPUtime=0.83 cores=1,3,5,7
/proc/24146/task/24155/stat : 24155 (java) S 24144 24146 23489 0 -1 4202560 386 0 0 0 81 2 0 0 20 0 19 0 253859524 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696395536936 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24156] ppid=24144 vsize=9624976 CPUtime=0.82 cores=1,3,5,7
/proc/24146/task/24156/stat : 24156 (java) S 24144 24146 23489 0 -1 4202560 306 0 0 0 80 2 0 0 20 0 19 0 253859524 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696394484136 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24157] ppid=24144 vsize=9624976 CPUtime=7.31 cores=1,3,5,7
/proc/24146/task/24157/stat : 24157 (java) S 24144 24146 23489 0 -1 4202560 159 0 0 0 728 3 0 0 20 0 19 0 253859525 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696382073576 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24146/tid=24158] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24158/stat : 24158 (java) S 24144 24146 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253859526 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696381019640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24159] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24159/stat : 24159 (java) S 24144 24146 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253859526 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696379967240 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24160] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24160/stat : 24160 (java) S 24144 24146 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253859528 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696378915728 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24161] ppid=24144 vsize=9624976 CPUtime=0.15 cores=1,3,5,7
/proc/24146/task/24161/stat : 24161 (java) S 24144 24146 23489 0 -1 4202560 2306 0 0 0 15 0 0 0 20 0 19 0 253859528 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696377862328 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24162] ppid=24144 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/24146/task/24162/stat : 24162 (java) S 24144 24146 23489 0 -1 4202560 2147 0 0 0 20 0 0 0 20 0 19 0 253859528 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696376809528 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24163] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24163/stat : 24163 (java) S 24144 24146 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253859528 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696375757432 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24164] ppid=24144 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/24146/task/24164/stat : 24164 (java) S 24144 24146 23489 0 -1 4202560 99 0 0 0 18 22 0 0 20 0 19 0 253859528 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696374704840 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24146/tid=24165] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24165/stat : 24165 (java) S 24144 24146 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253859535 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696373650856 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1727.47
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/213 24262
/proc/meminfo: memFree=28498420/32873648 swapFree=7372/7372
[pid=24146] ppid=24144 vsize=9624976 CPUtime=1787.62 cores=1,3,5,7
/proc/24146/stat : 24146 (java) S 24144 24146 23489 0 -1 4202496 11258 0 1 0 178718 44 0 0 20 0 19 0 253859523 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140733836557232 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24146/statm: 2406244 69476 2268 9 0 2396937 0
[pid=24146/tid=24148] ppid=24144 vsize=9624976 CPUtime=1772.49 cores=1,3,5,7
/proc/24146/task/24148/stat : 24148 (java) R 24144 24146 23489 0 -1 4202560 2671 0 1 0 177219 30 0 0 20 0 19 0 253859523 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696557855008 140696430658602 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24149] ppid=24144 vsize=9624976 CPUtime=0.93 cores=1,3,5,7
/proc/24146/task/24149/stat : 24149 (java) S 24144 24146 23489 0 -1 4202560 327 0 0 0 92 1 0 0 20 0 19 0 253859524 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696401853224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24150] ppid=24144 vsize=9624976 CPUtime=0.87 cores=1,3,5,7
/proc/24146/task/24150/stat : 24150 (java) S 24144 24146 23489 0 -1 4202560 430 0 0 0 85 2 0 0 20 0 19 0 253859524 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696400800424 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24151] ppid=24144 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/24146/task/24151/stat : 24151 (java) S 24144 24146 23489 0 -1 4202560 282 0 0 0 82 3 0 0 20 0 19 0 253859524 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696399748136 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24152] ppid=24144 vsize=9624976 CPUtime=0.87 cores=1,3,5,7
/proc/24146/task/24152/stat : 24152 (java) S 24144 24146 23489 0 -1 4202560 312 0 0 0 86 1 0 0 20 0 19 0 253859524 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696398695336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24153] ppid=24144 vsize=9624976 CPUtime=0.92 cores=1,3,5,7
/proc/24146/task/24153/stat : 24153 (java) S 24144 24146 23489 0 -1 4202560 379 0 0 0 90 2 0 0 20 0 19 0 253859524 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696397642024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24154] ppid=24144 vsize=9624976 CPUtime=0.88 cores=1,3,5,7
/proc/24146/task/24154/stat : 24154 (java) S 24144 24146 23489 0 -1 4202560 267 0 0 0 88 0 0 0 20 0 19 0 253859524 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696396589224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24155] ppid=24144 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/24146/task/24155/stat : 24155 (java) S 24144 24146 23489 0 -1 4202560 386 0 0 0 83 2 0 0 20 0 19 0 253859524 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696395536936 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24156] ppid=24144 vsize=9624976 CPUtime=0.86 cores=1,3,5,7
/proc/24146/task/24156/stat : 24156 (java) S 24144 24146 23489 0 -1 4202560 306 0 0 0 84 2 0 0 20 0 19 0 253859524 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696394484136 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24157] ppid=24144 vsize=9624976 CPUtime=7.5 cores=1,3,5,7
/proc/24146/task/24157/stat : 24157 (java) S 24144 24146 23489 0 -1 4202560 163 0 0 0 747 3 0 0 20 0 19 0 253859525 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696382073576 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24146/tid=24158] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24158/stat : 24158 (java) S 24144 24146 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253859526 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696381019640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24159] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24159/stat : 24159 (java) S 24144 24146 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253859526 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696379967240 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24160] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24160/stat : 24160 (java) S 24144 24146 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253859528 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696378915728 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24161] ppid=24144 vsize=9624976 CPUtime=0.15 cores=1,3,5,7
/proc/24146/task/24161/stat : 24161 (java) S 24144 24146 23489 0 -1 4202560 2306 0 0 0 15 0 0 0 20 0 19 0 253859528 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696377862328 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24162] ppid=24144 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/24146/task/24162/stat : 24162 (java) S 24144 24146 23489 0 -1 4202560 2147 0 0 0 20 0 0 0 20 0 19 0 253859528 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696376809528 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24163] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24163/stat : 24163 (java) S 24144 24146 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253859528 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696375757432 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24164] ppid=24144 vsize=9624976 CPUtime=0.42 cores=1,3,5,7
/proc/24146/task/24164/stat : 24164 (java) S 24144 24146 23489 0 -1 4202560 103 0 0 0 19 23 0 0 20 0 19 0 253859528 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696374704840 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24165] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24165/stat : 24165 (java) S 24144 24146 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253859535 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696373650856 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1787.62
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.7 s]
/proc/loadavg: 2.10 2.04 2.01 3/213 24262
/proc/meminfo: memFree=28455288/32873648 swapFree=7372/7372
[pid=24146] ppid=24144 vsize=9624976 CPUtime=1800.02 cores=1,3,5,7
/proc/24146/stat : 24146 (java) S 24144 24146 23489 0 -1 4202496 11260 0 1 0 179958 44 0 0 20 0 19 0 253859523 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140733836557232 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24146/statm: 2406244 69476 2268 9 0 2396937 0
[pid=24146/tid=24148] ppid=24144 vsize=9624976 CPUtime=1784.89 cores=1,3,5,7
/proc/24146/task/24148/stat : 24148 (java) R 24144 24146 23489 0 -1 4202560 2671 0 1 0 178458 31 0 0 20 0 19 0 253859523 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696557855008 140696430677091 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24149] ppid=24144 vsize=9624976 CPUtime=0.93 cores=1,3,5,7
/proc/24146/task/24149/stat : 24149 (java) S 24144 24146 23489 0 -1 4202560 327 0 0 0 92 1 0 0 20 0 19 0 253859524 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696401853224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24150] ppid=24144 vsize=9624976 CPUtime=0.87 cores=1,3,5,7
/proc/24146/task/24150/stat : 24150 (java) S 24144 24146 23489 0 -1 4202560 430 0 0 0 85 2 0 0 20 0 19 0 253859524 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696400800424 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24151] ppid=24144 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/24146/task/24151/stat : 24151 (java) S 24144 24146 23489 0 -1 4202560 282 0 0 0 82 3 0 0 20 0 19 0 253859524 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696399748136 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24152] ppid=24144 vsize=9624976 CPUtime=0.87 cores=1,3,5,7
/proc/24146/task/24152/stat : 24152 (java) S 24144 24146 23489 0 -1 4202560 312 0 0 0 86 1 0 0 20 0 19 0 253859524 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696398695336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24153] ppid=24144 vsize=9624976 CPUtime=0.92 cores=1,3,5,7
/proc/24146/task/24153/stat : 24153 (java) S 24144 24146 23489 0 -1 4202560 379 0 0 0 90 2 0 0 20 0 19 0 253859524 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696397642024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24154] ppid=24144 vsize=9624976 CPUtime=0.88 cores=1,3,5,7
/proc/24146/task/24154/stat : 24154 (java) S 24144 24146 23489 0 -1 4202560 267 0 0 0 88 0 0 0 20 0 19 0 253859524 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696396589224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24155] ppid=24144 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/24146/task/24155/stat : 24155 (java) S 24144 24146 23489 0 -1 4202560 386 0 0 0 83 2 0 0 20 0 19 0 253859524 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696395536936 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24156] ppid=24144 vsize=9624976 CPUtime=0.86 cores=1,3,5,7
/proc/24146/task/24156/stat : 24156 (java) S 24144 24146 23489 0 -1 4202560 306 0 0 0 84 2 0 0 20 0 19 0 253859524 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696394484136 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24157] ppid=24144 vsize=9624976 CPUtime=7.5 cores=1,3,5,7
/proc/24146/task/24157/stat : 24157 (java) S 24144 24146 23489 0 -1 4202560 163 0 0 0 747 3 0 0 20 0 19 0 253859525 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696382073576 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24146/tid=24158] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24158/stat : 24158 (java) S 24144 24146 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253859526 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696381019640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24159] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24159/stat : 24159 (java) S 24144 24146 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253859526 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696379967240 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24160] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24160/stat : 24160 (java) S 24144 24146 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253859528 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696378915728 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24161] ppid=24144 vsize=9624976 CPUtime=0.15 cores=1,3,5,7
/proc/24146/task/24161/stat : 24161 (java) S 24144 24146 23489 0 -1 4202560 2306 0 0 0 15 0 0 0 20 0 19 0 253859528 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696377862328 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24162] ppid=24144 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/24146/task/24162/stat : 24162 (java) S 24144 24146 23489 0 -1 4202560 2147 0 0 0 20 0 0 0 20 0 19 0 253859528 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696376809528 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24163] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24163/stat : 24163 (java) S 24144 24146 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253859528 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696375757432 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24164] ppid=24144 vsize=9624976 CPUtime=0.42 cores=1,3,5,7
/proc/24146/task/24164/stat : 24164 (java) S 24144 24146 23489 0 -1 4202560 105 0 0 0 19 23 0 0 20 0 19 0 253859528 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696374704840 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24165] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24165/stat : 24165 (java) S 24144 24146 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253859535 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696373650856 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.7 s]
/proc/loadavg: 2.10 2.04 2.01 3/213 24262
/proc/meminfo: memFree=28455288/32873648 swapFree=7372/7372
[pid=24146] ppid=24144 vsize=9624976 CPUtime=1800.02 cores=1,3,5,7
/proc/24146/stat : 24146 (java) S 24144 24146 23489 0 -1 4202496 11260 0 1 0 179958 44 0 0 20 0 19 0 253859523 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140733836557232 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24146/statm: 2406244 69476 2268 9 0 2396937 0
[pid=24146/tid=24148] ppid=24144 vsize=9624976 CPUtime=1784.89 cores=1,3,5,7
/proc/24146/task/24148/stat : 24148 (java) R 24144 24146 23489 0 -1 4202560 2671 0 1 0 178458 31 0 0 20 0 19 0 253859523 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696557855008 140696430677091 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24149] ppid=24144 vsize=9624976 CPUtime=0.93 cores=1,3,5,7
/proc/24146/task/24149/stat : 24149 (java) S 24144 24146 23489 0 -1 4202560 327 0 0 0 92 1 0 0 20 0 19 0 253859524 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696401853224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24150] ppid=24144 vsize=9624976 CPUtime=0.87 cores=1,3,5,7
/proc/24146/task/24150/stat : 24150 (java) S 24144 24146 23489 0 -1 4202560 430 0 0 0 85 2 0 0 20 0 19 0 253859524 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696400800424 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24151] ppid=24144 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/24146/task/24151/stat : 24151 (java) S 24144 24146 23489 0 -1 4202560 282 0 0 0 82 3 0 0 20 0 19 0 253859524 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696399748136 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24152] ppid=24144 vsize=9624976 CPUtime=0.87 cores=1,3,5,7
/proc/24146/task/24152/stat : 24152 (java) S 24144 24146 23489 0 -1 4202560 312 0 0 0 86 1 0 0 20 0 19 0 253859524 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696398695336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24153] ppid=24144 vsize=9624976 CPUtime=0.92 cores=1,3,5,7
/proc/24146/task/24153/stat : 24153 (java) S 24144 24146 23489 0 -1 4202560 379 0 0 0 90 2 0 0 20 0 19 0 253859524 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696397642024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24154] ppid=24144 vsize=9624976 CPUtime=0.88 cores=1,3,5,7
/proc/24146/task/24154/stat : 24154 (java) S 24144 24146 23489 0 -1 4202560 267 0 0 0 88 0 0 0 20 0 19 0 253859524 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696396589224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24155] ppid=24144 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/24146/task/24155/stat : 24155 (java) S 24144 24146 23489 0 -1 4202560 386 0 0 0 83 2 0 0 20 0 19 0 253859524 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696395536936 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24156] ppid=24144 vsize=9624976 CPUtime=0.86 cores=1,3,5,7
/proc/24146/task/24156/stat : 24156 (java) S 24144 24146 23489 0 -1 4202560 306 0 0 0 84 2 0 0 20 0 19 0 253859524 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696394484136 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24157] ppid=24144 vsize=9624976 CPUtime=7.5 cores=1,3,5,7
/proc/24146/task/24157/stat : 24157 (java) S 24144 24146 23489 0 -1 4202560 163 0 0 0 747 3 0 0 20 0 19 0 253859525 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696382073576 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24146/tid=24158] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24158/stat : 24158 (java) S 24144 24146 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253859526 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696381019640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24159] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24159/stat : 24159 (java) S 24144 24146 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253859526 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696379967240 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24160] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24160/stat : 24160 (java) S 24144 24146 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253859528 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696378915728 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24161] ppid=24144 vsize=9624976 CPUtime=0.15 cores=1,3,5,7
/proc/24146/task/24161/stat : 24161 (java) S 24144 24146 23489 0 -1 4202560 2306 0 0 0 15 0 0 0 20 0 19 0 253859528 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696377862328 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24162] ppid=24144 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/24146/task/24162/stat : 24162 (java) S 24144 24146 23489 0 -1 4202560 2147 0 0 0 20 0 0 0 20 0 19 0 253859528 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696376809528 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24163] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24163/stat : 24163 (java) S 24144 24146 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253859528 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696375757432 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24164] ppid=24144 vsize=9624976 CPUtime=0.42 cores=1,3,5,7
/proc/24146/task/24164/stat : 24164 (java) S 24144 24146 23489 0 -1 4202560 105 0 0 0 19 23 0 0 20 0 19 0 253859528 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696374704840 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24165] ppid=24144 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24165/stat : 24165 (java) S 24144 24146 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253859535 9855975424 69476 33554432000 1073741824 1073778376 140733836566096 140696373650856 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9624976
Child status: 143
Real time (s): 1794.75
CPU time (s): 1800.56
CPU user time (s): 1799.72
CPU system time (s): 0.841872
CPU usage (%): 100.324
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.72
system time used= 0.841872
maximum resident set size= 278060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11303
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42712
involuntary context switches= 32474
runsolver used 6.609 second user time and 13.8239 second system time
The end