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-3689636-1337883777/watcher-3689636-1337883777 -o /tmp/evaluation-result-3689636-1337883777/solver-3689636-1337883777 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3689636-1337883777.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: 3.95 3.81 3.73 4/195 3231
/proc/meminfo: memFree=25586136/32873852 swapFree=6848/6848
[pid=3231] ppid=3229 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/3231/stat : 3231 (java) D 3229 3231 32594 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 254503615 9515008 183 33554432000 1073741824 1073778376 140734365913936 140734365904968 273448517301 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/3231/statm: 2323 183 140 9 0 71 0
[startup+0.102515 s]
/proc/loadavg: 3.95 3.81 3.73 4/195 3231
/proc/meminfo: memFree=25586136/32873852 swapFree=6848/6848
[pid=3231] ppid=3229 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/3231/stat : 3231 (java) S 3229 3231 32594 0 -1 4202496 4339 0 1 0 8 1 0 0 20 0 18 0 254503615 9787813888 5529 33554432000 1073741824 1073778376 140734156829568 140734156820704 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3231/statm: 2389603 5529 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.200286 s]
/proc/loadavg: 3.95 3.81 3.73 4/195 3231
/proc/meminfo: memFree=25586136/32873852 swapFree=6848/6848
[pid=3231] ppid=3229 vsize=9558412 CPUtime=0.28 cores=1,3,5,7
/proc/3231/stat : 3231 (java) S 3229 3231 32594 0 -1 4202496 6291 0 1 0 26 2 0 0 20 0 18 0 254503615 9787813888 7961 33554432000 1073741824 1073778376 140734156829568 140734156820704 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3231/statm: 2389603 7961 2193 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558412
[startup+0.300311 s]
/proc/loadavg: 3.95 3.81 3.73 4/195 3231
/proc/meminfo: memFree=25586136/32873852 swapFree=6848/6848
[pid=3231] ppid=3229 vsize=9558412 CPUtime=0.55 cores=1,3,5,7
/proc/3231/stat : 3231 (java) S 3229 3231 32594 0 -1 4202496 7068 0 1 0 53 2 0 0 20 0 18 0 254503615 9787813888 9868 33554432000 1073741824 1073778376 140734156829568 140734156820704 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3231/statm: 2389603 9868 2218 9 0 2380296 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9558412
[startup+0.70022 s]
/proc/loadavg: 3.95 3.81 3.73 4/195 3231
/proc/meminfo: memFree=25586136/32873852 swapFree=6848/6848
[pid=3231] ppid=3229 vsize=9824668 CPUtime=1.92 cores=1,3,5,7
/proc/3231/stat : 3231 (java) S 3229 3231 32594 0 -1 4202496 14963 0 1 0 187 5 0 0 20 0 22 0 254503615 10060460032 24719 33554432000 1073741824 1073778376 140734156829568 140734156820704 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3231/statm: 2456167 24719 2255 9 0 2446860 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 9824668
[startup+1.50081 s]
/proc/loadavg: 3.95 3.81 3.73 6/217 3253
/proc/meminfo: memFree=25475508/32873852 swapFree=6848/6848
[pid=3231] ppid=3229 vsize=9824668 CPUtime=4.61 cores=1,3,5,7
/proc/3231/stat : 3231 (java) S 3229 3231 32594 0 -1 4202496 22486 0 1 0 452 9 0 0 20 0 22 0 254503615 10060460032 46521 33554432000 1073741824 1073778376 140734156829568 140734156820704 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3231/statm: 2456167 46521 2274 9 0 2446860 0
[pid=3231/tid=3233] ppid=3229 vsize=9824668 CPUtime=0.44 cores=1,3,5,7
/proc/3231/task/3233/stat : 3233 (java) S 3229 3231 32594 0 -1 4202560 2503 0 1 0 41 3 0 0 20 0 22 0 254503616 10060460032 46521 33554432000 1073741824 1073778376 140734156829568 139929032246264 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3231/tid=3234] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3234/stat : 3234 (java) S 3229 3231 32594 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254503618 10060460032 46521 33554432000 1073741824 1073778376 140734156829568 139928876337320 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3231/tid=3235] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3235/stat : 3235 (java) S 3229 3231 32594 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 254503618 10060460032 46521 33554432000 1073741824 1073778376 140734156829568 139928875284776 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3231/tid=3236] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3236/stat : 3236 (java) S 3229 3231 32594 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254503618 10060460032 46521 33554432000 1073741824 1073778376 140734156829568 139928874232232 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3237] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3237/stat : 3237 (java) S 3229 3231 32594 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 254503618 10060460032 46521 33554432000 1073741824 1073778376 140734156829568 139928873179688 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3238] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3238/stat : 3238 (java) S 3229 3231 32594 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254503618 10060460032 46521 33554432000 1073741824 1073778376 140734156829568 139928872127144 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3231/tid=3239] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3239/stat : 3239 (java) S 3229 3231 32594 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 254503618 10060460032 46521 33554432000 1073741824 1073778376 140734156829568 139928871074600 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3231/tid=3240] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3240/stat : 3240 (java) S 3229 3231 32594 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254503618 10060460032 46521 33554432000 1073741824 1073778376 140734156829568 139928870022056 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3241] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3241/stat : 3241 (java) S 3229 3231 32594 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254503618 10060460032 46521 33554432000 1073741824 1073778376 140734156829568 139928868969512 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3242] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3242/stat : 3242 (java) S 3229 3231 32594 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 254503619 10060460032 46521 33554432000 1073741824 1073778376 140734156829568 139928856557672 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3231/tid=3243] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3243/stat : 3243 (java) S 3229 3231 32594 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254503619 10060460032 46521 33554432000 1073741824 1073778376 140734156829568 139928855503992 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3244] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3244/stat : 3244 (java) S 3229 3231 32594 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254503619 10060460032 46521 33554432000 1073741824 1073778376 140734156829568 139928854451336 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3245] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3245/stat : 3245 (java) S 3229 3231 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254503622 10060460032 46521 33554432000 1073741824 1073778376 140734156829568 139928853400080 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3246] ppid=3229 vsize=9824668 CPUtime=1 cores=1,3,5,7
/proc/3231/task/3246/stat : 3246 (java) R 3229 3231 32594 0 -1 4202560 9511 0 0 0 98 2 0 0 20 0 22 0 254503622 10060460032 46521 33554432000 1073741824 1073778376 140734156829568 139928852347448 139929038225512 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3247] ppid=3229 vsize=9824668 CPUtime=1.09 cores=1,3,5,7
/proc/3231/task/3247/stat : 3247 (java) R 3229 3231 32594 0 -1 4202560 9021 0 0 0 107 2 0 0 20 0 22 0 254503622 10060460032 46521 33554432000 1073741824 1073778376 140734156829568 139928851294904 139929034336144 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3231/tid=3248] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3248/stat : 3248 (java) S 3229 3231 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254503622 10060460032 46521 33554432000 1073741824 1073778376 140734156829568 139928850242552 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3231/tid=3249] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3249/stat : 3249 (java) S 3229 3231 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254503622 10060460032 46521 33554432000 1073741824 1073778376 140734156829568 139928849190216 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3250] ppid=3229 vsize=9824668 CPUtime=0.98 cores=1,3,5,7
/proc/3231/task/3250/stat : 3250 (java) R 3229 3231 32594 0 -1 4202560 24 0 0 0 98 0 0 0 20 0 22 0 254503663 10060460032 46521 33554432000 1073741824 1073778376 140734156829568 139928848099680 139928904022182 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3231/tid=3251] ppid=3229 vsize=9824668 CPUtime=0.99 cores=1,3,5,7
/proc/3231/task/3251/stat : 3251 (java) R 3229 3231 32594 0 -1 4202560 121 0 0 0 97 2 0 0 20 0 22 0 254503663 10060460032 46521 33554432000 1073741824 1073778376 140734156829568 139928847049128 139928905203530 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=3231/tid=3252] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3252/stat : 3252 (java) S 3229 3231 32594 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254503665 10060460032 46521 33554432000 1073741824 1073778376 140734156829568 139928845997096 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3231/tid=3253] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3253/stat : 3253 (java) S 3229 3231 32594 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254503665 10060460032 46521 33554432000 1073741824 1073778376 140734156829568 139928844944552 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.61
Current children cumulated vsize (KiB) 9824668
[startup+3.10088 s]
/proc/loadavg: 3.95 3.81 3.73 5/217 3253
/proc/meminfo: memFree=25374720/32873852 swapFree=6848/6848
[pid=3231] ppid=3229 vsize=9824668 CPUtime=7.98 cores=1,3,5,7
/proc/3231/stat : 3231 (java) S 3229 3231 32594 0 -1 4202496 22797 0 1 0 782 16 0 0 20 0 22 0 254503615 10060460032 91746 33554432000 1073741824 1073778376 140734156829568 140734156820704 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3231/statm: 2456167 91746 2286 9 0 2446860 0
[pid=3231/tid=3233] ppid=3229 vsize=9824668 CPUtime=0.44 cores=1,3,5,7
/proc/3231/task/3233/stat : 3233 (java) S 3229 3231 32594 0 -1 4202560 2503 0 1 0 41 3 0 0 20 0 22 0 254503616 10060460032 91746 33554432000 1073741824 1073778376 140734156829568 139929032246264 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3231/tid=3234] ppid=3229 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/3231/task/3234/stat : 3234 (java) S 3229 3231 32594 0 -1 4202560 32 0 0 0 3 2 0 0 20 0 22 0 254503618 10060460032 91746 33554432000 1073741824 1073778376 140734156829568 139928876337320 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3235] ppid=3229 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/3231/task/3235/stat : 3235 (java) S 3229 3231 32594 0 -1 4202560 17 0 0 0 1 1 0 0 20 0 22 0 254503618 10060460032 91746 33554432000 1073741824 1073778376 140734156829568 139928875284776 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3236] ppid=3229 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/3231/task/3236/stat : 3236 (java) S 3229 3231 32594 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 254503618 10060460032 91746 33554432000 1073741824 1073778376 140734156829568 139928874232232 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3231/tid=3237] ppid=3229 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/3231/task/3237/stat : 3237 (java) S 3229 3231 32594 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 22 0 254503618 10060460032 91746 33554432000 1073741824 1073778376 140734156829568 139928873179688 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3238] ppid=3229 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/3231/task/3238/stat : 3238 (java) S 3229 3231 32594 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 254503618 10060460032 91746 33554432000 1073741824 1073778376 140734156829568 139928872127144 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3231/tid=3239] ppid=3229 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/3231/task/3239/stat : 3239 (java) S 3229 3231 32594 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 22 0 254503618 10060460032 91746 33554432000 1073741824 1073778376 140734156829568 139928871074600 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3240] ppid=3229 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/3231/task/3240/stat : 3240 (java) S 3229 3231 32594 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 254503618 10060460032 91746 33554432000 1073741824 1073778376 140734156829568 139928870022056 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3231/tid=3241] ppid=3229 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/3231/task/3241/stat : 3241 (java) S 3229 3231 32594 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 22 0 254503618 10060460032 91746 33554432000 1073741824 1073778376 140734156829568 139928868969512 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3231/tid=3242] ppid=3229 vsize=9824668 CPUtime=0.11 cores=1,3,5,7
/proc/3231/task/3242/stat : 3242 (java) S 3229 3231 32594 0 -1 4202560 231 0 0 0 11 0 0 0 20 0 22 0 254503619 10060460032 91746 33554432000 1073741824 1073778376 140734156829568 139928856557672 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3231/tid=3243] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3243/stat : 3243 (java) S 3229 3231 32594 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254503619 10060460032 91746 33554432000 1073741824 1073778376 140734156829568 139928855503992 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3244] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3244/stat : 3244 (java) S 3229 3231 32594 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254503619 10060460032 91746 33554432000 1073741824 1073778376 140734156829568 139928854451336 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3245] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3245/stat : 3245 (java) S 3229 3231 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254503622 10060460032 91746 33554432000 1073741824 1073778376 140734156829568 139928853400080 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3246] ppid=3229 vsize=9824668 CPUtime=1.06 cores=1,3,5,7
/proc/3231/task/3246/stat : 3246 (java) S 3229 3231 32594 0 -1 4202560 9513 0 0 0 104 2 0 0 20 0 22 0 254503622 10060460032 91746 33554432000 1073741824 1073778376 140734156829568 139928852347448 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3247] ppid=3229 vsize=9824668 CPUtime=1.23 cores=1,3,5,7
/proc/3231/task/3247/stat : 3247 (java) S 3229 3231 32594 0 -1 4202560 9025 0 0 0 121 2 0 0 20 0 22 0 254503622 10060460032 91746 33554432000 1073741824 1073778376 140734156829568 139928851294904 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3231/tid=3248] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3248/stat : 3248 (java) S 3229 3231 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254503622 10060460032 91746 33554432000 1073741824 1073778376 140734156829568 139928850242552 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3231/tid=3249] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3249/stat : 3249 (java) S 3229 3231 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254503622 10060460032 91746 33554432000 1073741824 1073778376 140734156829568 139928849190216 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3250] ppid=3229 vsize=9824668 CPUtime=2.38 cores=1,3,5,7
/proc/3231/task/3250/stat : 3250 (java) R 3229 3231 32594 0 -1 4202560 26 0 0 0 238 0 0 0 20 0 22 0 254503663 10060460032 91746 33554432000 1073741824 1073778376 140734156829568 139928848101688 139928904824780 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3231/tid=3251] ppid=3229 vsize=9824668 CPUtime=2.37 cores=1,3,5,7
/proc/3231/task/3251/stat : 3251 (java) R 3229 3231 32594 0 -1 4202560 178 0 0 0 233 4 0 0 20 0 22 0 254503663 10060460032 91746 33554432000 1073741824 1073778376 140734156829568 139928847048464 139928904810723 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3231/tid=3252] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3252/stat : 3252 (java) S 3229 3231 32594 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254503665 10060460032 91746 33554432000 1073741824 1073778376 140734156829568 139928845997096 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3231/tid=3253] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3253/stat : 3253 (java) S 3229 3231 32594 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254503665 10060460032 91746 33554432000 1073741824 1073778376 140734156829568 139928844944552 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.98
Current children cumulated vsize (KiB) 9824668
[startup+6.30091 s]
/proc/loadavg: 3.79 3.78 3.72 4/217 3253
/proc/meminfo: memFree=25055792/32873852 swapFree=6848/6848
[pid=3231] ppid=3229 vsize=9824668 CPUtime=14.33 cores=1,3,5,7
/proc/3231/stat : 3231 (java) S 3229 3231 32594 0 -1 4202496 22936 0 1 0 1412 21 0 0 20 0 22 0 254503615 10060460032 135277 33554432000 1073741824 1073778376 140734156829568 140734156820704 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3231/statm: 2456167 135277 2286 9 0 2446860 0
[pid=3231/tid=3233] ppid=3229 vsize=9824668 CPUtime=0.44 cores=1,3,5,7
/proc/3231/task/3233/stat : 3233 (java) S 3229 3231 32594 0 -1 4202560 2503 0 1 0 41 3 0 0 20 0 22 0 254503616 10060460032 135277 33554432000 1073741824 1073778376 140734156829568 139929032246264 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3231/tid=3234] ppid=3229 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/3231/task/3234/stat : 3234 (java) S 3229 3231 32594 0 -1 4202560 33 0 0 0 3 2 0 0 20 0 22 0 254503618 10060460032 135277 33554432000 1073741824 1073778376 140734156829568 139928876337320 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3231/tid=3235] ppid=3229 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/3231/task/3235/stat : 3235 (java) S 3229 3231 32594 0 -1 4202560 23 0 0 0 2 2 0 0 20 0 22 0 254503618 10060460032 135277 33554432000 1073741824 1073778376 140734156829568 139928875284776 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3231/tid=3236] ppid=3229 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/3231/task/3236/stat : 3236 (java) S 3229 3231 32594 0 -1 4202560 23 0 0 0 3 1 0 0 20 0 22 0 254503618 10060460032 135277 33554432000 1073741824 1073778376 140734156829568 139928874232232 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3231/tid=3237] ppid=3229 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/3231/task/3237/stat : 3237 (java) S 3229 3231 32594 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 22 0 254503618 10060460032 135277 33554432000 1073741824 1073778376 140734156829568 139928873179688 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3238] ppid=3229 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/3231/task/3238/stat : 3238 (java) S 3229 3231 32594 0 -1 4202560 28 0 0 0 3 1 0 0 20 0 22 0 254503618 10060460032 135277 33554432000 1073741824 1073778376 140734156829568 139928872127144 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3239] ppid=3229 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/3231/task/3239/stat : 3239 (java) S 3229 3231 32594 0 -1 4202560 14 0 0 0 4 0 0 0 20 0 22 0 254503618 10060460032 135277 33554432000 1073741824 1073778376 140734156829568 139928871074600 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3240] ppid=3229 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/3231/task/3240/stat : 3240 (java) S 3229 3231 32594 0 -1 4202560 17 0 0 0 5 0 0 0 20 0 22 0 254503618 10060460032 135277 33554432000 1073741824 1073778376 140734156829568 139928870022056 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3231/tid=3241] ppid=3229 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/3231/task/3241/stat : 3241 (java) S 3229 3231 32594 0 -1 4202560 10 0 0 0 3 0 0 0 20 0 22 0 254503618 10060460032 135277 33554432000 1073741824 1073778376 140734156829568 139928868969512 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3231/tid=3242] ppid=3229 vsize=9824668 CPUtime=0.33 cores=1,3,5,7
/proc/3231/task/3242/stat : 3242 (java) S 3229 3231 32594 0 -1 4202560 257 0 0 0 33 0 0 0 20 0 22 0 254503619 10060460032 135277 33554432000 1073741824 1073778376 140734156829568 139928856557672 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3231/tid=3243] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3243/stat : 3243 (java) S 3229 3231 32594 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254503619 10060460032 135277 33554432000 1073741824 1073778376 140734156829568 139928855503992 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3244] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3244/stat : 3244 (java) S 3229 3231 32594 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254503619 10060460032 135277 33554432000 1073741824 1073778376 140734156829568 139928854451336 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3245] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3245/stat : 3245 (java) S 3229 3231 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254503622 10060460032 135277 33554432000 1073741824 1073778376 140734156829568 139928853400080 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3246] ppid=3229 vsize=9824668 CPUtime=1.07 cores=1,3,5,7
/proc/3231/task/3246/stat : 3246 (java) S 3229 3231 32594 0 -1 4202560 9519 0 0 0 105 2 0 0 20 0 22 0 254503622 10060460032 135277 33554432000 1073741824 1073778376 140734156829568 139928852347448 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
################
# More data... #
################
[pid=3231/tid=3251] ppid=3229 vsize=9824668 CPUtime=776.93 cores=1,3,5,7
/proc/3231/task/3251/stat : 3251 (java) R 3229 3231 32594 0 -1 4202560 1407 0 0 0 77641 52 0 0 20 0 22 0 254503663 10060460032 842189 33554432000 1073741824 1073778376 140734156829568 139928847046624 139928905304488 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3231/tid=3252] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3252/stat : 3252 (java) S 3229 3231 32594 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254503665 10060460032 842189 33554432000 1073741824 1073778376 140734156829568 139928845997096 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3231/tid=3253] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3253/stat : 3253 (java) S 3229 3231 32594 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254503665 10060460032 842189 33554432000 1073741824 1073778376 140734156829568 139928844944552 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1608.31
Current children cumulated vsize (KiB) 9824668
[startup+882.307 s]
/proc/loadavg: 3.87 3.84 3.76 5/217 3322
/proc/meminfo: memFree=22396016/32873852 swapFree=6848/6848
[pid=3231] ppid=3229 vsize=9824668 CPUtime=1726.01 cores=1,3,5,7
/proc/3231/stat : 3231 (java) S 3229 3231 32594 0 -1 4202496 34757 0 1 0 172464 137 0 0 20 0 22 0 254503615 10060460032 842202 33554432000 1073741824 1073778376 140734156829568 140734156820704 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3231/statm: 2456167 842202 2287 9 0 2446860 0
[pid=3231/tid=3233] ppid=3229 vsize=9824668 CPUtime=0.48 cores=1,3,5,7
/proc/3231/task/3233/stat : 3233 (java) S 3229 3231 32594 0 -1 4202560 2548 0 1 0 44 4 0 0 20 0 22 0 254503616 10060460032 842202 33554432000 1073741824 1073778376 140734156829568 139929032246264 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3231/tid=3234] ppid=3229 vsize=9824668 CPUtime=1.07 cores=1,3,5,7
/proc/3231/task/3234/stat : 3234 (java) S 3229 3231 32594 0 -1 4202560 418 0 0 0 98 9 0 0 20 0 22 0 254503618 10060460032 842202 33554432000 1073741824 1073778376 140734156829568 139928876337320 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3231/tid=3235] ppid=3229 vsize=9824668 CPUtime=1.07 cores=1,3,5,7
/proc/3231/task/3235/stat : 3235 (java) S 3229 3231 32594 0 -1 4202560 407 0 0 0 99 8 0 0 20 0 22 0 254503618 10060460032 842202 33554432000 1073741824 1073778376 140734156829568 139928875284776 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3236] ppid=3229 vsize=9824668 CPUtime=1.08 cores=1,3,5,7
/proc/3231/task/3236/stat : 3236 (java) S 3229 3231 32594 0 -1 4202560 235 0 0 0 99 9 0 0 20 0 22 0 254503618 10060460032 842202 33554432000 1073741824 1073778376 140734156829568 139928874232232 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3231/tid=3237] ppid=3229 vsize=9824668 CPUtime=0.99 cores=1,3,5,7
/proc/3231/task/3237/stat : 3237 (java) S 3229 3231 32594 0 -1 4202560 266 0 0 0 91 8 0 0 20 0 22 0 254503618 10060460032 842202 33554432000 1073741824 1073778376 140734156829568 139928873179688 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3238] ppid=3229 vsize=9824668 CPUtime=0.99 cores=1,3,5,7
/proc/3231/task/3238/stat : 3238 (java) S 3229 3231 32594 0 -1 4202560 196 0 0 0 91 8 0 0 20 0 22 0 254503618 10060460032 842202 33554432000 1073741824 1073778376 140734156829568 139928872127144 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3231/tid=3239] ppid=3229 vsize=9824668 CPUtime=0.96 cores=1,3,5,7
/proc/3231/task/3239/stat : 3239 (java) S 3229 3231 32594 0 -1 4202560 287 0 0 0 89 7 0 0 20 0 22 0 254503618 10060460032 842202 33554432000 1073741824 1073778376 140734156829568 139928871074600 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3231/tid=3240] ppid=3229 vsize=9824668 CPUtime=1.06 cores=1,3,5,7
/proc/3231/task/3240/stat : 3240 (java) S 3229 3231 32594 0 -1 4202560 349 0 0 0 98 8 0 0 20 0 22 0 254503618 10060460032 842202 33554432000 1073741824 1073778376 140734156829568 139928870022056 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3231/tid=3241] ppid=3229 vsize=9824668 CPUtime=0.96 cores=1,3,5,7
/proc/3231/task/3241/stat : 3241 (java) S 3229 3231 32594 0 -1 4202560 303 0 0 0 90 6 0 0 20 0 22 0 254503618 10060460032 842202 33554432000 1073741824 1073778376 140734156829568 139928868969512 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3231/tid=3242] ppid=3229 vsize=9824668 CPUtime=44.89 cores=1,3,5,7
/proc/3231/task/3242/stat : 3242 (java) S 3229 3231 32594 0 -1 4202560 1906 0 0 0 4478 11 0 0 20 0 22 0 254503619 10060460032 842202 33554432000 1073741824 1073778376 140734156829568 139928856557672 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3231/tid=3243] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3243/stat : 3243 (java) S 3229 3231 32594 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254503619 10060460032 842202 33554432000 1073741824 1073778376 140734156829568 139928855503992 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3244] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3244/stat : 3244 (java) S 3229 3231 32594 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254503619 10060460032 842202 33554432000 1073741824 1073778376 140734156829568 139928854451336 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3245] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3245/stat : 3245 (java) S 3229 3231 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254503622 10060460032 842202 33554432000 1073741824 1073778376 140734156829568 139928853400080 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3246] ppid=3229 vsize=9824668 CPUtime=1.79 cores=1,3,5,7
/proc/3231/task/3246/stat : 3246 (java) S 3229 3231 32594 0 -1 4202560 16090 0 0 0 175 4 0 0 20 0 22 0 254503622 10060460032 842202 33554432000 1073741824 1073778376 140734156829568 139928852347448 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3247] ppid=3229 vsize=9824668 CPUtime=1.44 cores=1,3,5,7
/proc/3231/task/3247/stat : 3247 (java) S 3229 3231 32594 0 -1 4202560 9026 0 0 0 142 2 0 0 20 0 22 0 254503622 10060460032 842202 33554432000 1073741824 1073778376 140734156829568 139928851294904 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3231/tid=3248] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3248/stat : 3248 (java) S 3229 3231 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254503622 10060460032 842202 33554432000 1073741824 1073778376 140734156829568 139928850242552 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3231/tid=3249] ppid=3229 vsize=9824668 CPUtime=0.31 cores=1,3,5,7
/proc/3231/task/3249/stat : 3249 (java) S 3229 3231 32594 0 -1 4202560 51 0 0 0 16 15 0 0 20 0 22 0 254503622 10060460032 842202 33554432000 1073741824 1073778376 140734156829568 139928849190216 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3231/tid=3250] ppid=3229 vsize=9824668 CPUtime=834.62 cores=1,3,5,7
/proc/3231/task/3250/stat : 3250 (java) R 3229 3231 32594 0 -1 4202560 81 0 0 0 83448 14 0 0 20 0 22 0 254503663 10060460032 842202 33554432000 1073741824 1073778376 140734156829568 139928848101472 139928904741386 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3251] ppid=3229 vsize=9824668 CPUtime=834.47 cores=1,3,5,7
/proc/3231/task/3251/stat : 3251 (java) R 3229 3231 32594 0 -1 4202560 1407 0 0 0 83393 54 0 0 20 0 22 0 254503663 10060460032 842202 33554432000 1073741824 1073778376 140734156829568 139928847046624 139928904699240 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3231/tid=3252] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3252/stat : 3252 (java) S 3229 3231 32594 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254503665 10060460032 842202 33554432000 1073741824 1073778376 140734156829568 139928845997096 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3231/tid=3253] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3253/stat : 3253 (java) S 3229 3231 32594 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254503665 10060460032 842202 33554432000 1073741824 1073778376 140734156829568 139928844944552 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1726.01
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+919.801 s]
/proc/loadavg: 3.93 3.86 3.77 5/217 3322
/proc/meminfo: memFree=22366972/32873852 swapFree=6848/6848
[pid=3231] ppid=3229 vsize=9824668 CPUtime=1800.14 cores=1,3,5,7
/proc/3231/stat : 3231 (java) S 3229 3231 32594 0 -1 4202496 34779 0 1 0 179876 138 0 0 20 0 22 0 254503615 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 140734156820704 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3231/statm: 2456167 842219 2287 9 0 2446860 0
[pid=3231/tid=3233] ppid=3229 vsize=9824668 CPUtime=0.48 cores=1,3,5,7
/proc/3231/task/3233/stat : 3233 (java) S 3229 3231 32594 0 -1 4202560 2549 0 1 0 44 4 0 0 20 0 22 0 254503616 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139929032246264 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3231/tid=3234] ppid=3229 vsize=9824668 CPUtime=1.08 cores=1,3,5,7
/proc/3231/task/3234/stat : 3234 (java) S 3229 3231 32594 0 -1 4202560 426 0 0 0 99 9 0 0 20 0 22 0 254503618 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139928876337320 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3231/tid=3235] ppid=3229 vsize=9824668 CPUtime=1.09 cores=1,3,5,7
/proc/3231/task/3235/stat : 3235 (java) S 3229 3231 32594 0 -1 4202560 409 0 0 0 101 8 0 0 20 0 22 0 254503618 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139928875284776 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3236] ppid=3229 vsize=9824668 CPUtime=1.1 cores=1,3,5,7
/proc/3231/task/3236/stat : 3236 (java) S 3229 3231 32594 0 -1 4202560 239 0 0 0 101 9 0 0 20 0 22 0 254503618 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139928874232232 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3231/tid=3237] ppid=3229 vsize=9824668 CPUtime=1.01 cores=1,3,5,7
/proc/3231/task/3237/stat : 3237 (java) S 3229 3231 32594 0 -1 4202560 267 0 0 0 93 8 0 0 20 0 22 0 254503618 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139928873179688 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3238] ppid=3229 vsize=9824668 CPUtime=1 cores=1,3,5,7
/proc/3231/task/3238/stat : 3238 (java) S 3229 3231 32594 0 -1 4202560 198 0 0 0 92 8 0 0 20 0 22 0 254503618 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139928872127144 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3231/tid=3239] ppid=3229 vsize=9824668 CPUtime=0.97 cores=1,3,5,7
/proc/3231/task/3239/stat : 3239 (java) S 3229 3231 32594 0 -1 4202560 287 0 0 0 90 7 0 0 20 0 22 0 254503618 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139928871074600 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3240] ppid=3229 vsize=9824668 CPUtime=1.08 cores=1,3,5,7
/proc/3231/task/3240/stat : 3240 (java) S 3229 3231 32594 0 -1 4202560 349 0 0 0 100 8 0 0 20 0 22 0 254503618 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139928870022056 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3241] ppid=3229 vsize=9824668 CPUtime=0.97 cores=1,3,5,7
/proc/3231/task/3241/stat : 3241 (java) S 3229 3231 32594 0 -1 4202560 303 0 0 0 91 6 0 0 20 0 22 0 254503618 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139928868969512 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3231/tid=3242] ppid=3229 vsize=9824668 CPUtime=45.8 cores=1,3,5,7
/proc/3231/task/3242/stat : 3242 (java) S 3229 3231 32594 0 -1 4202560 1908 0 0 0 4569 11 0 0 20 0 22 0 254503619 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139928856557672 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3231/tid=3243] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3243/stat : 3243 (java) S 3229 3231 32594 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254503619 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139928855503992 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3244] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3244/stat : 3244 (java) S 3229 3231 32594 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254503619 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139928854451336 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3245] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3245/stat : 3245 (java) S 3229 3231 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254503622 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139928853400080 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3246] ppid=3229 vsize=9824668 CPUtime=1.79 cores=1,3,5,7
/proc/3231/task/3246/stat : 3246 (java) S 3229 3231 32594 0 -1 4202560 16090 0 0 0 175 4 0 0 20 0 22 0 254503622 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139928852347448 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3247] ppid=3229 vsize=9824668 CPUtime=1.44 cores=1,3,5,7
/proc/3231/task/3247/stat : 3247 (java) S 3229 3231 32594 0 -1 4202560 9026 0 0 0 142 2 0 0 20 0 22 0 254503622 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139928851294904 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3231/tid=3248] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3248/stat : 3248 (java) S 3229 3231 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254503622 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139928850242552 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3231/tid=3249] ppid=3229 vsize=9824668 CPUtime=0.32 cores=1,3,5,7
/proc/3231/task/3249/stat : 3249 (java) S 3229 3231 32594 0 -1 4202560 53 0 0 0 16 16 0 0 20 0 22 0 254503622 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139928849190216 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3231/tid=3250] ppid=3229 vsize=9824668 CPUtime=871.18 cores=1,3,5,7
/proc/3231/task/3250/stat : 3250 (java) R 3229 3231 32594 0 -1 4202560 81 0 0 0 87103 15 0 0 20 0 22 0 254503663 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139928848101472 139928904808768 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3251] ppid=3229 vsize=9824668 CPUtime=871.01 cores=1,3,5,7
/proc/3231/task/3251/stat : 3251 (java) R 3229 3231 32594 0 -1 4202560 1407 0 0 0 87046 55 0 0 20 0 22 0 254503663 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139928847046800 139928905091364 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3231/tid=3252] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3252/stat : 3252 (java) S 3229 3231 32594 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254503665 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139928845997096 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3231/tid=3253] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3253/stat : 3253 (java) S 3229 3231 32594 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254503665 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139928844944552 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+919.801 s]
/proc/loadavg: 3.93 3.86 3.77 5/217 3322
/proc/meminfo: memFree=22366972/32873852 swapFree=6848/6848
[pid=3231] ppid=3229 vsize=9824668 CPUtime=1800.14 cores=1,3,5,7
/proc/3231/stat : 3231 (java) S 3229 3231 32594 0 -1 4202496 34779 0 1 0 179876 138 0 0 20 0 22 0 254503615 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 140734156820704 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3231/statm: 2456167 842219 2287 9 0 2446860 0
[pid=3231/tid=3233] ppid=3229 vsize=9824668 CPUtime=0.48 cores=1,3,5,7
/proc/3231/task/3233/stat : 3233 (java) S 3229 3231 32594 0 -1 4202560 2549 0 1 0 44 4 0 0 20 0 22 0 254503616 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139929032246264 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3231/tid=3234] ppid=3229 vsize=9824668 CPUtime=1.08 cores=1,3,5,7
/proc/3231/task/3234/stat : 3234 (java) S 3229 3231 32594 0 -1 4202560 426 0 0 0 99 9 0 0 20 0 22 0 254503618 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139928876337320 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3231/tid=3235] ppid=3229 vsize=9824668 CPUtime=1.09 cores=1,3,5,7
/proc/3231/task/3235/stat : 3235 (java) S 3229 3231 32594 0 -1 4202560 409 0 0 0 101 8 0 0 20 0 22 0 254503618 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139928875284776 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3236] ppid=3229 vsize=9824668 CPUtime=1.1 cores=1,3,5,7
/proc/3231/task/3236/stat : 3236 (java) S 3229 3231 32594 0 -1 4202560 239 0 0 0 101 9 0 0 20 0 22 0 254503618 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139928874232232 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3231/tid=3237] ppid=3229 vsize=9824668 CPUtime=1.01 cores=1,3,5,7
/proc/3231/task/3237/stat : 3237 (java) S 3229 3231 32594 0 -1 4202560 267 0 0 0 93 8 0 0 20 0 22 0 254503618 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139928873179688 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3238] ppid=3229 vsize=9824668 CPUtime=1 cores=1,3,5,7
/proc/3231/task/3238/stat : 3238 (java) S 3229 3231 32594 0 -1 4202560 198 0 0 0 92 8 0 0 20 0 22 0 254503618 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139928872127144 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3231/tid=3239] ppid=3229 vsize=9824668 CPUtime=0.97 cores=1,3,5,7
/proc/3231/task/3239/stat : 3239 (java) S 3229 3231 32594 0 -1 4202560 287 0 0 0 90 7 0 0 20 0 22 0 254503618 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139928871074600 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3240] ppid=3229 vsize=9824668 CPUtime=1.08 cores=1,3,5,7
/proc/3231/task/3240/stat : 3240 (java) S 3229 3231 32594 0 -1 4202560 349 0 0 0 100 8 0 0 20 0 22 0 254503618 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139928870022056 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3241] ppid=3229 vsize=9824668 CPUtime=0.97 cores=1,3,5,7
/proc/3231/task/3241/stat : 3241 (java) S 3229 3231 32594 0 -1 4202560 303 0 0 0 91 6 0 0 20 0 22 0 254503618 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139928868969512 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3231/tid=3242] ppid=3229 vsize=9824668 CPUtime=45.8 cores=1,3,5,7
/proc/3231/task/3242/stat : 3242 (java) S 3229 3231 32594 0 -1 4202560 1908 0 0 0 4569 11 0 0 20 0 22 0 254503619 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139928856557672 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3231/tid=3243] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3243/stat : 3243 (java) S 3229 3231 32594 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254503619 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139928855503992 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3244] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3244/stat : 3244 (java) S 3229 3231 32594 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254503619 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139928854451336 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3245] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3245/stat : 3245 (java) S 3229 3231 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254503622 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139928853400080 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3246] ppid=3229 vsize=9824668 CPUtime=1.79 cores=1,3,5,7
/proc/3231/task/3246/stat : 3246 (java) S 3229 3231 32594 0 -1 4202560 16090 0 0 0 175 4 0 0 20 0 22 0 254503622 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139928852347448 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3247] ppid=3229 vsize=9824668 CPUtime=1.44 cores=1,3,5,7
/proc/3231/task/3247/stat : 3247 (java) S 3229 3231 32594 0 -1 4202560 9026 0 0 0 142 2 0 0 20 0 22 0 254503622 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139928851294904 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3231/tid=3248] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3248/stat : 3248 (java) S 3229 3231 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254503622 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139928850242552 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3231/tid=3249] ppid=3229 vsize=9824668 CPUtime=0.32 cores=1,3,5,7
/proc/3231/task/3249/stat : 3249 (java) S 3229 3231 32594 0 -1 4202560 53 0 0 0 16 16 0 0 20 0 22 0 254503622 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139928849190216 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3231/tid=3250] ppid=3229 vsize=9824668 CPUtime=871.18 cores=1,3,5,7
/proc/3231/task/3250/stat : 3250 (java) R 3229 3231 32594 0 -1 4202560 81 0 0 0 87103 15 0 0 20 0 22 0 254503663 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139928848101472 139928904808768 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3231/tid=3251] ppid=3229 vsize=9824668 CPUtime=871.01 cores=1,3,5,7
/proc/3231/task/3251/stat : 3251 (java) R 3229 3231 32594 0 -1 4202560 1407 0 0 0 87046 55 0 0 20 0 22 0 254503663 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139928847046800 139928905091364 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3231/tid=3252] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3252/stat : 3252 (java) S 3229 3231 32594 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254503665 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139928845997096 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3231/tid=3253] ppid=3229 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3231/task/3253/stat : 3253 (java) S 3229 3231 32594 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254503665 10060460032 842219 33554432000 1073741824 1073778376 140734156829568 139928844944552 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 9824668
Child status: 143
Real time (s): 919.898
CPU time (s): 1800.86
CPU user time (s): 1798.98
CPU system time (s): 1.88271
CPU usage (%): 195.767
Max. virtual memory (cumulated for all children) (KiB): 9826064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.98
system time used= 1.88271
maximum resident set size= 3368996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34812
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23748
involuntary context switches= 26773
runsolver used 3.41048 second user time and 9.00363 second system time
The end