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-3688011-1337879098/watcher-3688011-1337879098 -o /tmp/evaluation-result-3688011-1337879098/solver-3688011-1337879098 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688011-1337879098.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 24243
/proc/meminfo: memFree=28703920/32873648 swapFree=7372/7372
[pid=24243] ppid=24241 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/24243/stat : 24243 (java) D 24241 24243 23489 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 254035753 2560000 46 33554432000 1073741824 1073778376 140733719957440 140733719954568 217401355559 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/24243/statm: 625 46 37 9 0 29 0
[startup+0.0831901 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 24243
/proc/meminfo: memFree=28703920/32873648 swapFree=7372/7372
[pid=24243] ppid=24241 vsize=9558412 CPUtime=0.05 cores=0,2,4,6
/proc/24243/stat : 24243 (java) S 24241 24243 23489 0 -1 4202496 3336 0 1 0 5 0 0 0 20 0 18 0 254035753 9787813888 4033 33554432000 1073741824 1073778376 140737332431360 140737332422496 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24243/statm: 2389603 4033 1771 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558412
[startup+0.10027 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 24243
/proc/meminfo: memFree=28703920/32873648 swapFree=7372/7372
[pid=24243] ppid=24241 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/24243/stat : 24243 (java) S 24241 24243 23489 0 -1 4202496 4234 0 1 0 7 0 0 0 20 0 18 0 254035753 9787813888 4919 33554432000 1073741824 1073778376 140737332431360 140737332422496 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24243/statm: 2389603 4919 2080 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558412
[startup+0.300173 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 24243
/proc/meminfo: memFree=28703920/32873648 swapFree=7372/7372
[pid=24243] ppid=24241 vsize=9558412 CPUtime=0.53 cores=0,2,4,6
/proc/24243/stat : 24243 (java) S 24241 24243 23489 0 -1 4202496 7396 0 1 0 52 1 0 0 20 0 18 0 254035753 9787813888 10943 33554432000 1073741824 1073778376 140737332431360 140737332422496 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24243/statm: 2389603 10943 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9558412
[startup+0.700161 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 24243
/proc/meminfo: memFree=28703920/32873648 swapFree=7372/7372
[pid=24243] ppid=24241 vsize=9624976 CPUtime=1.32 cores=0,2,4,6
/proc/24243/stat : 24243 (java) S 24241 24243 23489 0 -1 4202496 8742 0 1 0 130 2 0 0 20 0 19 0 254035753 9855975424 14177 33554432000 1073741824 1073778376 140737332431360 140737332422496 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24243/statm: 2406244 14177 2243 9 0 2396937 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 9624976
[startup+1.5006 s]
/proc/loadavg: 2.16 2.05 2.01 3/213 24262
/proc/meminfo: memFree=28646524/32873648 swapFree=7372/7372
[pid=24243] ppid=24241 vsize=9624976 CPUtime=2.19 cores=0,2,4,6
/proc/24243/stat : 24243 (java) S 24241 24243 23489 0 -1 4202496 8842 0 1 0 216 3 0 0 20 0 19 0 254035753 9855975424 21909 33554432000 1073741824 1073778376 140737332431360 140737332422496 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24243/statm: 2406244 21909 2271 9 0 2396937 0
[pid=24243/tid=24245] ppid=24241 vsize=9624976 CPUtime=1.44 cores=0,2,4,6
/proc/24243/task/24245/stat : 24245 (java) R 24241 24243 23489 0 -1 4202560 2526 0 1 0 142 2 0 0 20 0 19 0 254035755 9855975424 21909 33554432000 1073741824 1073778376 140737332431360 140116322795832 140116263163632 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24246] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24246/stat : 24246 (java) S 24241 24243 23489 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254035756 9855975424 21909 33554432000 1073741824 1073778376 140737332431360 140116166748840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24247] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24247/stat : 24247 (java) S 24241 24243 23489 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254035756 9855975424 21909 33554432000 1073741824 1073778376 140737332431360 140116165696296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24248] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24248/stat : 24248 (java) S 24241 24243 23489 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254035756 9855975424 21909 33554432000 1073741824 1073778376 140737332431360 140116164643752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24249] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24249/stat : 24249 (java) S 24241 24243 23489 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254035756 9855975424 21910 33554432000 1073741824 1073778376 140737332431360 140116163591208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24250] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24250/stat : 24250 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035756 9855975424 21910 33554432000 1073741824 1073778376 140737332431360 140116162537640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24251] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24251/stat : 24251 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035756 9855975424 21910 33554432000 1073741824 1073778376 140737332431360 140116161485096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24243/tid=24252] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24252/stat : 24252 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035756 9855975424 21910 33554432000 1073741824 1073778376 140737332431360 140116160432552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24243/tid=24253] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24253/stat : 24253 (java) S 24241 24243 23489 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254035756 9855975424 21910 33554432000 1073741824 1073778376 140737332431360 140116159380008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24254] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24254/stat : 24254 (java) S 24241 24243 23489 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 19 0 254035757 9855975424 21911 33554432000 1073741824 1073778376 140737332431360 140116146969192 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24255] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24255/stat : 24255 (java) S 24241 24243 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254035758 9855975424 21911 33554432000 1073741824 1073778376 140737332431360 140116145915512 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24256] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24256/stat : 24256 (java) S 24241 24243 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254035758 9855975424 21911 33554432000 1073741824 1073778376 140737332431360 140116144862856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24257] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24257/stat : 24257 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035760 9855975424 21911 33554432000 1073741824 1073778376 140737332431360 140116143811600 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24258] ppid=24241 vsize=9624976 CPUtime=0.37 cores=0,2,4,6
/proc/24243/task/24258/stat : 24258 (java) R 24241 24243 23489 0 -1 4202560 2433 0 0 0 37 0 0 0 20 0 19 0 254035760 9855975424 21911 33554432000 1073741824 1073778376 140737332431360 140116142757944 217413893176 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24259] ppid=24241 vsize=9624976 CPUtime=0.3 cores=0,2,4,6
/proc/24243/task/24259/stat : 24259 (java) R 24241 24243 23489 0 -1 4202560 2618 0 0 0 30 0 0 0 20 0 19 0 254035760 9855975424 21911 33554432000 1073741824 1073778376 140737332431360 140116141692680 217413902773 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24260] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24260/stat : 24260 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035760 9855975424 21911 33554432000 1073741824 1073778376 140737332431360 140116140653048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24261] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24261/stat : 24261 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035760 9855975424 21911 33554432000 1073741824 1073778376 140737332431360 140116139600712 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24262] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24262/stat : 24262 (java) S 24241 24243 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254035788 9855975424 21911 33554432000 1073741824 1073778376 140737332431360 140116138546472 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 9624976
[startup+3.1006 s]
/proc/loadavg: 2.16 2.05 2.01 4/213 24262
/proc/meminfo: memFree=28609288/32873648 swapFree=7372/7372
[pid=24243] ppid=24241 vsize=9624976 CPUtime=3.83 cores=0,2,4,6
/proc/24243/stat : 24243 (java) S 24241 24243 23489 0 -1 4202496 8881 0 1 0 378 5 0 0 20 0 19 0 254035753 9855975424 27552 33554432000 1073741824 1073778376 140737332431360 140737332422496 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24243/statm: 2406244 27552 2271 9 0 2396937 0
[pid=24243/tid=24245] ppid=24241 vsize=9624976 CPUtime=2.99 cores=0,2,4,6
/proc/24243/task/24245/stat : 24245 (java) R 24241 24243 23489 0 -1 4202560 2527 0 1 0 297 2 0 0 20 0 19 0 254035755 9855975424 27552 33554432000 1073741824 1073778376 140737332431360 140116322795744 140116263107811 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24246] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24246/stat : 24246 (java) S 24241 24243 23489 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254035756 9855975424 27552 33554432000 1073741824 1073778376 140737332431360 140116166748840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24247] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24247/stat : 24247 (java) S 24241 24243 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254035756 9855975424 27552 33554432000 1073741824 1073778376 140737332431360 140116165696296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24248] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24248/stat : 24248 (java) S 24241 24243 23489 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254035756 9855975424 27552 33554432000 1073741824 1073778376 140737332431360 140116164643752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24249] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24249/stat : 24249 (java) S 24241 24243 23489 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254035756 9855975424 27552 33554432000 1073741824 1073778376 140737332431360 140116163591208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24250] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24250/stat : 24250 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035756 9855975424 27552 33554432000 1073741824 1073778376 140737332431360 140116162537640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24251] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24251/stat : 24251 (java) S 24241 24243 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254035756 9855975424 27552 33554432000 1073741824 1073778376 140737332431360 140116161485096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24243/tid=24252] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24252/stat : 24252 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035756 9855975424 27552 33554432000 1073741824 1073778376 140737332431360 140116160432552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24243/tid=24253] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24253/stat : 24253 (java) S 24241 24243 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254035756 9855975424 27552 33554432000 1073741824 1073778376 140737332431360 140116159380008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24254] ppid=24241 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/24243/task/24254/stat : 24254 (java) S 24241 24243 23489 0 -1 4202560 39 0 0 0 3 0 0 0 20 0 19 0 254035757 9855975424 27552 33554432000 1073741824 1073778376 140737332431360 140116146969192 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24255] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24255/stat : 24255 (java) S 24241 24243 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254035758 9855975424 27552 33554432000 1073741824 1073778376 140737332431360 140116145915512 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24256] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24256/stat : 24256 (java) S 24241 24243 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254035758 9855975424 27552 33554432000 1073741824 1073778376 140737332431360 140116144862856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24257] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24257/stat : 24257 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035760 9855975424 27552 33554432000 1073741824 1073778376 140737332431360 140116143811600 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24258] ppid=24241 vsize=9624976 CPUtime=0.38 cores=0,2,4,6
/proc/24243/task/24258/stat : 24258 (java) S 24241 24243 23489 0 -1 4202560 2435 0 0 0 38 0 0 0 20 0 19 0 254035760 9855975424 27552 33554432000 1073741824 1073778376 140737332431360 140116142757944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24259] ppid=24241 vsize=9624976 CPUtime=0.31 cores=0,2,4,6
/proc/24243/task/24259/stat : 24259 (java) S 24241 24243 23489 0 -1 4202560 2621 0 0 0 31 0 0 0 20 0 19 0 254035760 9855975424 27552 33554432000 1073741824 1073778376 140737332431360 140116141705400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24260] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24260/stat : 24260 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035760 9855975424 27552 33554432000 1073741824 1073778376 140737332431360 140116140653048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24261] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24261/stat : 24261 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035760 9855975424 27552 33554432000 1073741824 1073778376 140737332431360 140116139600712 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24262] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24262/stat : 24262 (java) S 24241 24243 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254035788 9855975424 27552 33554432000 1073741824 1073778376 140737332431360 140116138546472 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 9624976
[startup+6.3006 s]
/proc/loadavg: 2.16 2.05 2.01 4/213 24262
/proc/meminfo: memFree=28583348/32873648 swapFree=7372/7372
[pid=24243] ppid=24241 vsize=9624976 CPUtime=7.13 cores=0,2,4,6
/proc/24243/stat : 24243 (java) S 24241 24243 23489 0 -1 4202496 9497 0 1 0 706 7 0 0 20 0 19 0 254035753 9855975424 31968 33554432000 1073741824 1073778376 140737332431360 140737332422496 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24243/statm: 2406244 31968 2271 9 0 2396937 0
[pid=24243/tid=24245] ppid=24241 vsize=9624976 CPUtime=6.12 cores=0,2,4,6
/proc/24243/task/24245/stat : 24245 (java) R 24241 24243 23489 0 -1 4202560 2529 0 1 0 610 2 0 0 20 0 19 0 254035755 9855975424 31968 33554432000 1073741824 1073778376 140737332431360 140116322795744 140116263163723 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24246] ppid=24241 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/24243/task/24246/stat : 24246 (java) S 24241 24243 23489 0 -1 4202560 132 0 0 0 2 0 0 0 20 0 19 0 254035756 9855975424 31968 33554432000 1073741824 1073778376 140737332431360 140116166748840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24247] ppid=24241 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/24243/task/24247/stat : 24247 (java) S 24241 24243 23489 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 254035756 9855975424 31968 33554432000 1073741824 1073778376 140737332431360 140116165696296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24248] ppid=24241 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/24243/task/24248/stat : 24248 (java) S 24241 24243 23489 0 -1 4202560 85 0 0 0 1 0 0 0 20 0 19 0 254035756 9855975424 31968 33554432000 1073741824 1073778376 140737332431360 140116164643752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24249] ppid=24241 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/24243/task/24249/stat : 24249 (java) S 24241 24243 23489 0 -1 4202560 118 0 0 0 1 0 0 0 20 0 19 0 254035756 9855975424 31968 33554432000 1073741824 1073778376 140737332431360 140116163591208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24250] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24250/stat : 24250 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035756 9855975424 31968 33554432000 1073741824 1073778376 140737332431360 140116162537640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24251] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24251/stat : 24251 (java) S 24241 24243 23489 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 19 0 254035756 9855975424 31968 33554432000 1073741824 1073778376 140737332431360 140116161485096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24252] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24252/stat : 24252 (java) S 24241 24243 23489 0 -1 4202560 67 0 0 0 0 0 0 0 20 0 19 0 254035756 9855975424 31968 33554432000 1073741824 1073778376 140737332431360 140116160432552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24243/tid=24253] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24253/stat : 24253 (java) S 24241 24243 23489 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 19 0 254035756 9855975424 31968 33554432000 1073741824 1073778376 140737332431360 140116159380008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24254] ppid=24241 vsize=9624976 CPUtime=0.08 cores=0,2,4,6
/proc/24243/task/24254/stat : 24254 (java) S 24241 24243 23489 0 -1 4202560 40 0 0 0 8 0 0 0 20 0 19 0 254035757 9855975424 31968 33554432000 1073741824 1073778376 140737332431360 140116146969192 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24255] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24255/stat : 24255 (java) S 24241 24243 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254035758 9855975424 31968 33554432000 1073741824 1073778376 140737332431360 140116145915512 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24256] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24256/stat : 24256 (java) S 24241 24243 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254035758 9855975424 31968 33554432000 1073741824 1073778376 140737332431360 140116144862856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24257] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24257/stat : 24257 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035760 9855975424 31968 33554432000 1073741824 1073778376 140737332431360 140116143811600 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24258] ppid=24241 vsize=9624976 CPUtime=0.41 cores=0,2,4,6
/proc/24243/task/24258/stat : 24258 (java) S 24241 24243 23489 0 -1 4202560 2589 0 0 0 41 0 0 0 20 0 19 0 254035760 9855975424 31968 33554432000 1073741824 1073778376 140737332431360 140116142757944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24259] ppid=24241 vsize=9624976 CPUtime=0.31 cores=0,2,4,6
/proc/24243/task/24259/stat : 24259 (java) S 24241 24243 23489 0 -1 4202560 2622 0 0 0 31 0 0 0 20 0 19 0 254035760 9855975424 31968 33554432000 1073741824 1073778376 140737332431360 140116141705400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24260] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24260/stat : 24260 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035760 9855975424 31968 33554432000 1073741824 1073778376 140737332431360 140116140653048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24261] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24261/stat : 24261 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035760 9855975424 31968 33554432000 1073741824 1073778376 140737332431360 140116139600712 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24262] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24262/stat : 24262 (java) S 24241 24243 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254035788 9855975424 31968 33554432000 1073741824 1073778376 140737332431360 140116138546472 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.13
Current children cumulated vsize (KiB) 9624976
[startup+12.7007 s]
################
# More data... #
################
[pid=24243/tid=24251] ppid=24241 vsize=9624976 CPUtime=4.73 cores=0,2,4,6
/proc/24243/task/24251/stat : 24251 (java) S 24241 24243 23489 0 -1 4202560 3055 0 0 0 446 27 0 0 20 0 19 0 254035756 9855975424 216164 33554432000 1073741824 1073778376 140737332431360 140116161485096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24252] ppid=24241 vsize=9624976 CPUtime=4.5 cores=0,2,4,6
/proc/24243/task/24252/stat : 24252 (java) S 24241 24243 23489 0 -1 4202560 2117 0 0 0 426 24 0 0 20 0 19 0 254035756 9855975424 216164 33554432000 1073741824 1073778376 140737332431360 140116160432552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24253] ppid=24241 vsize=9624976 CPUtime=4.79 cores=0,2,4,6
/proc/24243/task/24253/stat : 24253 (java) S 24241 24243 23489 0 -1 4202560 2617 0 0 0 448 31 0 0 20 0 19 0 254035756 9855975424 216164 33554432000 1073741824 1073778376 140737332431360 140116159380008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24254] ppid=24241 vsize=9624976 CPUtime=6.81 cores=0,2,4,6
/proc/24243/task/24254/stat : 24254 (java) S 24241 24243 23489 0 -1 4202560 2131 0 0 0 674 7 0 0 20 0 19 0 254035757 9855975424 216164 33554432000 1073741824 1073778376 140737332431360 140116146969192 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24255] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24255/stat : 24255 (java) S 24241 24243 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254035758 9855975424 216164 33554432000 1073741824 1073778376 140737332431360 140116145915512 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24256] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24256/stat : 24256 (java) S 24241 24243 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254035758 9855975424 216164 33554432000 1073741824 1073778376 140737332431360 140116144862856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24257] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24257/stat : 24257 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035760 9855975424 216164 33554432000 1073741824 1073778376 140737332431360 140116143811600 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24258] ppid=24241 vsize=9624976 CPUtime=0.42 cores=0,2,4,6
/proc/24243/task/24258/stat : 24258 (java) S 24241 24243 23489 0 -1 4202560 2593 0 0 0 42 0 0 0 20 0 19 0 254035760 9855975424 216164 33554432000 1073741824 1073778376 140737332431360 140116142757944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24259] ppid=24241 vsize=9624976 CPUtime=0.31 cores=0,2,4,6
/proc/24243/task/24259/stat : 24259 (java) S 24241 24243 23489 0 -1 4202560 2622 0 0 0 31 0 0 0 20 0 19 0 254035760 9855975424 216164 33554432000 1073741824 1073778376 140737332431360 140116141705400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24260] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24260/stat : 24260 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035760 9855975424 216164 33554432000 1073741824 1073778376 140737332431360 140116140653048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24261] ppid=24241 vsize=9624976 CPUtime=0.55 cores=0,2,4,6
/proc/24243/task/24261/stat : 24261 (java) S 24241 24243 23489 0 -1 4202560 93 0 0 0 25 30 0 0 20 0 19 0 254035760 9855975424 216164 33554432000 1073741824 1073778376 140737332431360 140116139600712 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24262] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24262/stat : 24262 (java) S 24241 24243 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254035788 9855975424 216164 33554432000 1073741824 1073778376 140737332431360 140116138546472 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1630.46
Current children cumulated vsize (KiB) 9624976
[startup+1662.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/213 24337
/proc/meminfo: memFree=26927648/32873648 swapFree=7372/7372
[pid=24243] ppid=24241 vsize=9624976 CPUtime=1691.46 cores=0,2,4,6
/proc/24243/stat : 24243 (java) S 24241 24243 23489 0 -1 4202496 33566 0 1 0 168883 263 0 0 20 0 19 0 254035753 9855975424 222791 33554432000 1073741824 1073778376 140737332431360 140737332422496 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24243/statm: 2406244 222791 2272 9 0 2396937 0
[pid=24243/tid=24245] ppid=24241 vsize=9624976 CPUtime=1644.41 cores=0,2,4,6
/proc/24243/task/24245/stat : 24245 (java) R 24241 24243 23489 0 -1 4202560 3262 0 1 0 164411 30 0 0 20 0 19 0 254035755 9855975424 222791 33554432000 1073741824 1073778376 140737332431360 140116322794800 140116263127437 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24246] ppid=24241 vsize=9624976 CPUtime=4.78 cores=0,2,4,6
/proc/24243/task/24246/stat : 24246 (java) S 24241 24243 23489 0 -1 4202560 3324 0 0 0 448 30 0 0 20 0 19 0 254035756 9855975424 222791 33554432000 1073741824 1073778376 140737332431360 140116166748840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24247] ppid=24241 vsize=9624976 CPUtime=4.96 cores=0,2,4,6
/proc/24243/task/24247/stat : 24247 (java) S 24241 24243 23489 0 -1 4202560 2200 0 0 0 469 27 0 0 20 0 19 0 254035756 9855975424 222791 33554432000 1073741824 1073778376 140737332431360 140116165696296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24248] ppid=24241 vsize=9624976 CPUtime=4.88 cores=0,2,4,6
/proc/24243/task/24248/stat : 24248 (java) S 24241 24243 23489 0 -1 4202560 2156 0 0 0 466 22 0 0 20 0 19 0 254035756 9855975424 222791 33554432000 1073741824 1073778376 140737332431360 140116164643752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24249] ppid=24241 vsize=9624976 CPUtime=4.85 cores=0,2,4,6
/proc/24243/task/24249/stat : 24249 (java) S 24241 24243 23489 0 -1 4202560 3166 0 0 0 454 31 0 0 20 0 19 0 254035756 9855975424 222791 33554432000 1073741824 1073778376 140737332431360 140116163591208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24250] ppid=24241 vsize=9624976 CPUtime=4.87 cores=0,2,4,6
/proc/24243/task/24250/stat : 24250 (java) S 24241 24243 23489 0 -1 4202560 2710 0 0 0 460 27 0 0 20 0 19 0 254035756 9855975424 222791 33554432000 1073741824 1073778376 140737332431360 140116162537640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24251] ppid=24241 vsize=9624976 CPUtime=4.86 cores=0,2,4,6
/proc/24243/task/24251/stat : 24251 (java) S 24241 24243 23489 0 -1 4202560 3177 0 0 0 458 28 0 0 20 0 19 0 254035756 9855975424 222791 33554432000 1073741824 1073778376 140737332431360 140116161485096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24252] ppid=24241 vsize=9624976 CPUtime=4.68 cores=0,2,4,6
/proc/24243/task/24252/stat : 24252 (java) S 24241 24243 23489 0 -1 4202560 2217 0 0 0 444 24 0 0 20 0 19 0 254035756 9855975424 222791 33554432000 1073741824 1073778376 140737332431360 140116160432552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24253] ppid=24241 vsize=9624976 CPUtime=5 cores=0,2,4,6
/proc/24243/task/24253/stat : 24253 (java) S 24241 24243 23489 0 -1 4202560 2697 0 0 0 468 32 0 0 20 0 19 0 254035756 9855975424 222791 33554432000 1073741824 1073778376 140737332431360 140116159380008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24254] ppid=24241 vsize=9624976 CPUtime=6.95 cores=0,2,4,6
/proc/24243/task/24254/stat : 24254 (java) S 24241 24243 23489 0 -1 4202560 2159 0 0 0 688 7 0 0 20 0 19 0 254035757 9855975424 222791 33554432000 1073741824 1073778376 140737332431360 140116146969192 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24255] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24255/stat : 24255 (java) S 24241 24243 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254035758 9855975424 222791 33554432000 1073741824 1073778376 140737332431360 140116145915512 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24256] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24256/stat : 24256 (java) S 24241 24243 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254035758 9855975424 222791 33554432000 1073741824 1073778376 140737332431360 140116144862856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24257] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24257/stat : 24257 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035760 9855975424 222791 33554432000 1073741824 1073778376 140737332431360 140116143811600 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24258] ppid=24241 vsize=9624976 CPUtime=0.42 cores=0,2,4,6
/proc/24243/task/24258/stat : 24258 (java) S 24241 24243 23489 0 -1 4202560 2593 0 0 0 42 0 0 0 20 0 19 0 254035760 9855975424 222791 33554432000 1073741824 1073778376 140737332431360 140116142757944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24259] ppid=24241 vsize=9624976 CPUtime=0.31 cores=0,2,4,6
/proc/24243/task/24259/stat : 24259 (java) S 24241 24243 23489 0 -1 4202560 2622 0 0 0 31 0 0 0 20 0 19 0 254035760 9855975424 222791 33554432000 1073741824 1073778376 140737332431360 140116141705400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24260] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24260/stat : 24260 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035760 9855975424 222791 33554432000 1073741824 1073778376 140737332431360 140116140653048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24261] ppid=24241 vsize=9624976 CPUtime=0.57 cores=0,2,4,6
/proc/24243/task/24261/stat : 24261 (java) S 24241 24243 23489 0 -1 4202560 97 0 0 0 26 31 0 0 20 0 19 0 254035760 9855975424 222791 33554432000 1073741824 1073778376 140737332431360 140116139600712 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24262] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24262/stat : 24262 (java) S 24241 24243 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254035788 9855975424 222791 33554432000 1073741824 1073778376 140737332431360 140116138546472 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1691.46
Current children cumulated vsize (KiB) 9624976
[startup+1722.3 s]
/proc/loadavg: 1.97 2.02 2.00 3/213 24337
/proc/meminfo: memFree=26865772/32873648 swapFree=7372/7372
[pid=24243] ppid=24241 vsize=9624976 CPUtime=1752.67 cores=0,2,4,6
/proc/24243/stat : 24243 (java) S 24241 24243 23489 0 -1 4202496 34781 0 1 0 174995 272 0 0 20 0 19 0 254035753 9855975424 238368 33554432000 1073741824 1073778376 140737332431360 140737332422496 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24243/statm: 2406244 238368 2272 9 0 2396937 0
[pid=24243/tid=24245] ppid=24241 vsize=9624976 CPUtime=1703.81 cores=0,2,4,6
/proc/24243/task/24245/stat : 24245 (java) R 24241 24243 23489 0 -1 4202560 3283 0 1 0 170350 31 0 0 20 0 19 0 254035755 9855975424 238368 33554432000 1073741824 1073778376 140737332431360 140116322794800 140116263226721 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24246] ppid=24241 vsize=9624976 CPUtime=5 cores=0,2,4,6
/proc/24243/task/24246/stat : 24246 (java) S 24241 24243 23489 0 -1 4202560 3551 0 0 0 469 31 0 0 20 0 19 0 254035756 9855975424 238368 33554432000 1073741824 1073778376 140737332431360 140116166748840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24247] ppid=24241 vsize=9624976 CPUtime=5.17 cores=0,2,4,6
/proc/24243/task/24247/stat : 24247 (java) S 24241 24243 23489 0 -1 4202560 2255 0 0 0 489 28 0 0 20 0 19 0 254035756 9855975424 238368 33554432000 1073741824 1073778376 140737332431360 140116165696296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24248] ppid=24241 vsize=9624976 CPUtime=5.09 cores=0,2,4,6
/proc/24243/task/24248/stat : 24248 (java) S 24241 24243 23489 0 -1 4202560 2216 0 0 0 486 23 0 0 20 0 19 0 254035756 9855975424 238368 33554432000 1073741824 1073778376 140737332431360 140116164643752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24249] ppid=24241 vsize=9624976 CPUtime=5.06 cores=0,2,4,6
/proc/24243/task/24249/stat : 24249 (java) S 24241 24243 23489 0 -1 4202560 3273 0 0 0 474 32 0 0 20 0 19 0 254035756 9855975424 238368 33554432000 1073741824 1073778376 140737332431360 140116163591208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24250] ppid=24241 vsize=9624976 CPUtime=5.05 cores=0,2,4,6
/proc/24243/task/24250/stat : 24250 (java) S 24241 24243 23489 0 -1 4202560 2924 0 0 0 477 28 0 0 20 0 19 0 254035756 9855975424 238368 33554432000 1073741824 1073778376 140737332431360 140116162537640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24251] ppid=24241 vsize=9624976 CPUtime=5.06 cores=0,2,4,6
/proc/24243/task/24251/stat : 24251 (java) S 24241 24243 23489 0 -1 4202560 3393 0 0 0 477 29 0 0 20 0 19 0 254035756 9855975424 238368 33554432000 1073741824 1073778376 140737332431360 140116161485096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24243/tid=24252] ppid=24241 vsize=9624976 CPUtime=4.9 cores=0,2,4,6
/proc/24243/task/24252/stat : 24252 (java) S 24241 24243 23489 0 -1 4202560 2375 0 0 0 465 25 0 0 20 0 19 0 254035756 9855975424 238368 33554432000 1073741824 1073778376 140737332431360 140116160432552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24243/tid=24253] ppid=24241 vsize=9624976 CPUtime=5.21 cores=0,2,4,6
/proc/24243/task/24253/stat : 24253 (java) S 24241 24243 23489 0 -1 4202560 2794 0 0 0 488 33 0 0 20 0 19 0 254035756 9855975424 238368 33554432000 1073741824 1073778376 140737332431360 140116159380008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24254] ppid=24241 vsize=9624976 CPUtime=7.1 cores=0,2,4,6
/proc/24243/task/24254/stat : 24254 (java) S 24241 24243 23489 0 -1 4202560 2217 0 0 0 702 8 0 0 20 0 19 0 254035757 9855975424 238368 33554432000 1073741824 1073778376 140737332431360 140116146969192 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24255] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24255/stat : 24255 (java) S 24241 24243 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254035758 9855975424 238368 33554432000 1073741824 1073778376 140737332431360 140116145915512 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24256] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24256/stat : 24256 (java) S 24241 24243 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254035758 9855975424 238368 33554432000 1073741824 1073778376 140737332431360 140116144862856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24257] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24257/stat : 24257 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035760 9855975424 238368 33554432000 1073741824 1073778376 140737332431360 140116143811600 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24258] ppid=24241 vsize=9624976 CPUtime=0.42 cores=0,2,4,6
/proc/24243/task/24258/stat : 24258 (java) S 24241 24243 23489 0 -1 4202560 2593 0 0 0 42 0 0 0 20 0 19 0 254035760 9855975424 238368 33554432000 1073741824 1073778376 140737332431360 140116142757944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24259] ppid=24241 vsize=9624976 CPUtime=0.31 cores=0,2,4,6
/proc/24243/task/24259/stat : 24259 (java) S 24241 24243 23489 0 -1 4202560 2622 0 0 0 31 0 0 0 20 0 19 0 254035760 9855975424 238368 33554432000 1073741824 1073778376 140737332431360 140116141705400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24260] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24260/stat : 24260 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035760 9855975424 238368 33554432000 1073741824 1073778376 140737332431360 140116140653048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24261] ppid=24241 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/24243/task/24261/stat : 24261 (java) S 24241 24243 23489 0 -1 4202560 99 0 0 0 27 32 0 0 20 0 19 0 254035760 9855975424 238368 33554432000 1073741824 1073778376 140737332431360 140116139600712 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24262] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24262/stat : 24262 (java) S 24241 24243 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254035788 9855975424 238368 33554432000 1073741824 1073778376 140737332431360 140116138546472 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1752.67
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1768.2 s]
/proc/loadavg: 1.98 2.02 2.00 3/213 24337
/proc/meminfo: memFree=26967432/32873648 swapFree=7372/7372
[pid=24243] ppid=24241 vsize=9624976 CPUtime=1800.03 cores=0,2,4,6
/proc/24243/stat : 24243 (java) S 24241 24243 23489 0 -1 4202496 35170 0 1 0 179725 278 0 0 20 0 19 0 254035753 9855975424 219035 33554432000 1073741824 1073778376 140737332431360 140737332422496 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24243/statm: 2406244 219035 2272 9 0 2396937 0
[pid=24243/tid=24245] ppid=24241 vsize=9624976 CPUtime=1749.01 cores=0,2,4,6
/proc/24243/task/24245/stat : 24245 (java) R 24241 24243 23489 0 -1 4202560 3318 0 1 0 174868 33 0 0 20 0 19 0 254035755 9855975424 219035 33554432000 1073741824 1073778376 140737332431360 140116322794800 140116263108684 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24246] ppid=24241 vsize=9624976 CPUtime=5.25 cores=0,2,4,6
/proc/24243/task/24246/stat : 24246 (java) S 24241 24243 23489 0 -1 4202560 3552 0 0 0 493 32 0 0 20 0 19 0 254035756 9855975424 219035 33554432000 1073741824 1073778376 140737332431360 140116166748840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24243/tid=24247] ppid=24241 vsize=9624976 CPUtime=5.38 cores=0,2,4,6
/proc/24243/task/24247/stat : 24247 (java) S 24241 24243 23489 0 -1 4202560 2265 0 0 0 509 29 0 0 20 0 19 0 254035756 9855975424 219035 33554432000 1073741824 1073778376 140737332431360 140116165696296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24248] ppid=24241 vsize=9624976 CPUtime=5.34 cores=0,2,4,6
/proc/24243/task/24248/stat : 24248 (java) S 24241 24243 23489 0 -1 4202560 2228 0 0 0 510 24 0 0 20 0 19 0 254035756 9855975424 219035 33554432000 1073741824 1073778376 140737332431360 140116164643752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24249] ppid=24241 vsize=9624976 CPUtime=5.31 cores=0,2,4,6
/proc/24243/task/24249/stat : 24249 (java) S 24241 24243 23489 0 -1 4202560 3283 0 0 0 498 33 0 0 20 0 19 0 254035756 9855975424 219035 33554432000 1073741824 1073778376 140737332431360 140116163591208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24250] ppid=24241 vsize=9624976 CPUtime=5.3 cores=0,2,4,6
/proc/24243/task/24250/stat : 24250 (java) S 24241 24243 23489 0 -1 4202560 2995 0 0 0 502 28 0 0 20 0 19 0 254035756 9855975424 219035 33554432000 1073741824 1073778376 140737332431360 140116162537640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24251] ppid=24241 vsize=9624976 CPUtime=5.32 cores=0,2,4,6
/proc/24243/task/24251/stat : 24251 (java) S 24241 24243 23489 0 -1 4202560 3469 0 0 0 502 30 0 0 20 0 19 0 254035756 9855975424 219035 33554432000 1073741824 1073778376 140737332431360 140116161485096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24252] ppid=24241 vsize=9624976 CPUtime=5.16 cores=0,2,4,6
/proc/24243/task/24252/stat : 24252 (java) S 24241 24243 23489 0 -1 4202560 2435 0 0 0 491 25 0 0 20 0 19 0 254035756 9855975424 219035 33554432000 1073741824 1073778376 140737332431360 140116160432552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24253] ppid=24241 vsize=9624976 CPUtime=5.46 cores=0,2,4,6
/proc/24243/task/24253/stat : 24253 (java) S 24241 24243 23489 0 -1 4202560 2872 0 0 0 513 33 0 0 20 0 19 0 254035756 9855975424 219035 33554432000 1073741824 1073778376 140737332431360 140116159380008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24254] ppid=24241 vsize=9624976 CPUtime=7.25 cores=0,2,4,6
/proc/24243/task/24254/stat : 24254 (java) S 24241 24243 23489 0 -1 4202560 2249 0 0 0 717 8 0 0 20 0 19 0 254035757 9855975424 219035 33554432000 1073741824 1073778376 140737332431360 140116146969192 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24255] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24255/stat : 24255 (java) S 24241 24243 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254035758 9855975424 219035 33554432000 1073741824 1073778376 140737332431360 140116145915512 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24256] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24256/stat : 24256 (java) S 24241 24243 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254035758 9855975424 219035 33554432000 1073741824 1073778376 140737332431360 140116144862856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24257] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24257/stat : 24257 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035760 9855975424 219035 33554432000 1073741824 1073778376 140737332431360 140116143811600 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24258] ppid=24241 vsize=9624976 CPUtime=0.42 cores=0,2,4,6
/proc/24243/task/24258/stat : 24258 (java) S 24241 24243 23489 0 -1 4202560 2593 0 0 0 42 0 0 0 20 0 19 0 254035760 9855975424 219035 33554432000 1073741824 1073778376 140737332431360 140116142757944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24259] ppid=24241 vsize=9624976 CPUtime=0.31 cores=0,2,4,6
/proc/24243/task/24259/stat : 24259 (java) S 24241 24243 23489 0 -1 4202560 2622 0 0 0 31 0 0 0 20 0 19 0 254035760 9855975424 219035 33554432000 1073741824 1073778376 140737332431360 140116141705400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24260] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24260/stat : 24260 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035760 9855975424 219035 33554432000 1073741824 1073778376 140737332431360 140116140653048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24261] ppid=24241 vsize=9624976 CPUtime=0.61 cores=0,2,4,6
/proc/24243/task/24261/stat : 24261 (java) S 24241 24243 23489 0 -1 4202560 103 0 0 0 28 33 0 0 20 0 19 0 254035760 9855975424 219035 33554432000 1073741824 1073778376 140737332431360 140116139600712 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24262] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24262/stat : 24262 (java) S 24241 24243 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254035788 9855975424 219035 33554432000 1073741824 1073778376 140737332431360 140116138546472 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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
Child status: 143
Real time (s): 1768.25
CPU time (s): 1800.47
CPU user time (s): 1797.24
CPU system time (s): 3.23151
CPU usage (%): 101.822
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.24
system time used= 3.23151
maximum resident set size= 1264760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35214
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 52812
involuntary context switches= 64728
runsolver used 6.66999 second user time and 14.0029 second system time
The end