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-3687656-1337872951/watcher-3687656-1337872951 -o /tmp/evaluation-result-3687656-1337872951/solver-3687656-1337872951 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687656-1337872951.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: 3.78 3.74 2.57 4/197 22977
/proc/meminfo: memFree=27823396/32873844 swapFree=7100/7100
[pid=22977] ppid=22975 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/22977/stat : 22977 (java) D 22975 22977 22059 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 253422051 9515008 183 33554432000 1073741824 1073778376 140733623698864 140733623689896 233411788469 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/22977/statm: 2323 183 140 9 0 71 0
[startup+0.0387169 s]
/proc/loadavg: 3.78 3.74 2.57 4/197 22977
/proc/meminfo: memFree=27823396/32873844 swapFree=7100/7100
[pid=22977] ppid=22975 vsize=9092432 CPUtime=0.01 cores=0,2,4,6
/proc/22977/stat : 22977 (java) S 22975 22977 22059 0 -1 4202496 2918 0 1 0 1 0 0 0 20 0 11 0 253422051 9310650368 3617 33554432000 1073741824 1073778376 140736151350832 140736151341968 233415147581 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22977/statm: 2273108 3617 1644 9 0 2263809 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9092432
[startup+0.1003 s]
/proc/loadavg: 3.78 3.74 2.57 4/197 22977
/proc/meminfo: memFree=27823396/32873844 swapFree=7100/7100
[pid=22977] ppid=22975 vsize=9558412 CPUtime=0.09 cores=0,2,4,6
/proc/22977/stat : 22977 (java) S 22975 22977 22059 0 -1 4202496 4145 0 1 0 8 1 0 0 20 0 18 0 253422051 9787813888 5346 33554432000 1073741824 1073778376 140736151350832 140736151341968 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22977/statm: 2389603 5347 2079 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300229 s]
/proc/loadavg: 3.78 3.74 2.57 4/197 22977
/proc/meminfo: memFree=27823396/32873844 swapFree=7100/7100
[pid=22977] ppid=22975 vsize=9558412 CPUtime=0.45 cores=0,2,4,6
/proc/22977/stat : 22977 (java) S 22975 22977 22059 0 -1 4202496 5345 0 1 0 44 1 0 0 20 0 18 0 253422051 9787813888 8196 33554432000 1073741824 1073778376 140736151350832 140736151341968 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22977/statm: 2389603 8196 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558412
[startup+0.700326 s]
/proc/loadavg: 3.78 3.74 2.57 4/197 22977
/proc/meminfo: memFree=27823396/32873844 swapFree=7100/7100
[pid=22977] ppid=22975 vsize=9824668 CPUtime=1.45 cores=0,2,4,6
/proc/22977/stat : 22977 (java) S 22975 22977 22059 0 -1 4202496 11442 0 1 0 140 5 0 0 20 0 19 0 253422051 10060460032 17662 33554432000 1073741824 1073778376 140736151350832 140736151341968 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22977/statm: 2456167 17662 2254 9 0 2446860 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 9824668
[startup+1.5006 s]
/proc/loadavg: 3.78 3.74 2.57 7/219 23002
/proc/meminfo: memFree=27753364/32873844 swapFree=7100/7100
[pid=22977] ppid=22975 vsize=9824668 CPUtime=2.1 cores=0,2,4,6
/proc/22977/stat : 22977 (java) S 22975 22977 22059 0 -1 4202496 11987 0 1 0 203 7 0 0 20 0 22 0 253422051 10060460032 23491 33554432000 1073741824 1073778376 140736151350832 140736151341968 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22977/statm: 2456167 23491 2255 9 0 2446860 0
[pid=22977/tid=22979] ppid=22975 vsize=9824668 CPUtime=0.4 cores=0,2,4,6
/proc/22977/task/22979/stat : 22979 (java) S 22975 22977 22059 0 -1 4202560 2468 0 1 0 38 2 0 0 20 0 22 0 253422052 10060460032 23491 33554432000 1073741824 1073778376 140736151350832 140205138695160 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22980] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22980/stat : 22980 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422053 10060460032 23491 33554432000 1073741824 1073778376 140736151350832 140205116795816 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22981] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22981/stat : 22981 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422053 10060460032 23491 33554432000 1073741824 1073778376 140736151350832 140205115743272 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22982] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22982/stat : 22982 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422053 10060460032 23491 33554432000 1073741824 1073778376 140736151350832 140204912405160 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22977/tid=22983] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22983/stat : 22983 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422053 10060460032 23503 33554432000 1073741824 1073778376 140736151350832 140204911352616 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22984] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22984/stat : 22984 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422053 10060460032 23518 33554432000 1073741824 1073778376 140736151350832 140204910299560 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22985] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22985/stat : 22985 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422053 10060460032 23528 33554432000 1073741824 1073778376 140736151350832 140204909247016 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22986] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22986/stat : 22986 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422053 10060460032 23545 33554432000 1073741824 1073778376 140736151350832 140204908193960 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22987] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22987/stat : 22987 (java) S 22975 22977 22059 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253422053 10060460032 23558 33554432000 1073741824 1073778376 140736151350832 140204907141416 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22988] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22988/stat : 22988 (java) S 22975 22977 22059 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253422054 10060460032 23568 33554432000 1073741824 1073778376 140736151350832 140204894944104 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22989] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22989/stat : 22989 (java) S 22975 22977 22059 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253422055 10060460032 23578 33554432000 1073741824 1073778376 140736151350832 140204893890424 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22990] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22990/stat : 22990 (java) S 22975 22977 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253422055 10060460032 23589 33554432000 1073741824 1073778376 140736151350832 140204892837256 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22991] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22991/stat : 22991 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422058 10060460032 23600 33554432000 1073741824 1073778376 140736151350832 140204891786000 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22992] ppid=22975 vsize=9824668 CPUtime=0.54 cores=0,2,4,6
/proc/22977/task/22992/stat : 22992 (java) R 22975 22977 22059 0 -1 4202560 4291 0 0 0 54 0 0 0 20 0 22 0 253422058 10060460032 23600 33554432000 1073741824 1073778376 140736151350832 140204890710056 233411415883 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22993] ppid=22975 vsize=9824668 CPUtime=0.59 cores=0,2,4,6
/proc/22977/task/22993/stat : 22993 (java) R 22975 22977 22059 0 -1 4202560 4005 0 0 0 59 0 0 0 20 0 22 0 253422058 10060460032 23600 33554432000 1073741824 1073778376 140736151350832 140204889657520 233411415883 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22994] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22994/stat : 22994 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422058 10060460032 23600 33554432000 1073741824 1073778376 140736151350832 140204888627448 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22995] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22995/stat : 22995 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422058 10060460032 23608 33554432000 1073741824 1073778376 140736151350832 140204887575112 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22999] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22999/stat : 22999 (java) S 22975 22977 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253422095 10060460032 23624 33554432000 1073741824 1073778376 140736151350832 140204883363240 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 9824668
[startup+3.10071 s]
/proc/loadavg: 3.64 3.71 2.57 5/219 23005
/proc/meminfo: memFree=27626140/32873844 swapFree=7100/7100
[pid=22977] ppid=22975 vsize=9824668 CPUtime=6.08 cores=0,2,4,6
/proc/22977/stat : 22977 (java) S 22975 22977 22059 0 -1 4202496 18109 0 1 0 596 12 0 0 20 0 22 0 253422051 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140736151341968 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22977/statm: 2456167 52736 2286 9 0 2446860 0
[pid=22977/tid=22979] ppid=22975 vsize=9824668 CPUtime=0.4 cores=0,2,4,6
/proc/22977/task/22979/stat : 22979 (java) S 22975 22977 22059 0 -1 4202560 2468 0 1 0 38 2 0 0 20 0 22 0 253422052 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140205138695160 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22980] ppid=22975 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/22977/task/22980/stat : 22980 (java) S 22975 22977 22059 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 253422053 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140205116795816 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22981] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22981/stat : 22981 (java) S 22975 22977 22059 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253422053 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140205115743272 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22982] ppid=22975 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/22977/task/22982/stat : 22982 (java) S 22975 22977 22059 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 22 0 253422053 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140204912405160 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22977/tid=22983] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22983/stat : 22983 (java) S 22975 22977 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253422053 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140204911352616 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22984] ppid=22975 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/22977/task/22984/stat : 22984 (java) S 22975 22977 22059 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 253422053 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140204910299560 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22985] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22985/stat : 22985 (java) S 22975 22977 22059 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253422053 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140204909247016 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22986] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22986/stat : 22986 (java) S 22975 22977 22059 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253422053 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140204908193960 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22987] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22987/stat : 22987 (java) S 22975 22977 22059 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253422053 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140204907141416 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22988] ppid=22975 vsize=9824668 CPUtime=0.06 cores=0,2,4,6
/proc/22977/task/22988/stat : 22988 (java) S 22975 22977 22059 0 -1 4202560 98 0 0 0 6 0 0 0 20 0 22 0 253422054 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140204894944104 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22989] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22989/stat : 22989 (java) S 22975 22977 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253422055 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140204893890424 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22990] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22990/stat : 22990 (java) S 22975 22977 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253422055 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140204892837256 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22991] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22991/stat : 22991 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422058 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140204891786000 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22992] ppid=22975 vsize=9824668 CPUtime=0.92 cores=0,2,4,6
/proc/22977/task/22992/stat : 22992 (java) S 22975 22977 22059 0 -1 4202560 8149 0 0 0 90 2 0 0 20 0 22 0 253422058 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140204890732856 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22993] ppid=22975 vsize=9824668 CPUtime=1.05 cores=0,2,4,6
/proc/22977/task/22993/stat : 22993 (java) S 22975 22977 22059 0 -1 4202560 5961 0 0 0 103 2 0 0 20 0 22 0 253422058 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140204889680312 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22994] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22994/stat : 22994 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422058 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140204888627448 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22995] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22995/stat : 22995 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422058 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140204887575112 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22999] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22999/stat : 22999 (java) S 22975 22977 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253422095 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140204883363240 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22977/tid=23003] ppid=22975 vsize=9824668 CPUtime=1.51 cores=0,2,4,6
/proc/22977/task/23003/stat : 23003 (java) R 22975 22977 22059 0 -1 4202560 5 0 0 0 151 0 0 0 20 0 22 0 253422194 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140204886520032 140204997143479 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=22977/tid=23004] ppid=22975 vsize=9824668 CPUtime=1.54 cores=0,2,4,6
/proc/22977/task/23004/stat : 23004 (java) R 22975 22977 22059 0 -1 4202560 50 0 0 0 152 2 0 0 20 0 22 0 253422195 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140204885468136 140204997171684 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=23005] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/23005/stat : 23005 (java) S 22975 22977 22059 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253422195 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140204884416168 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 9824668
[startup+6.30082 s]
/proc/loadavg: 3.64 3.71 2.57 5/219 23005
/proc/meminfo: memFree=27310128/32873844 swapFree=7100/7100
[pid=22977] ppid=22975 vsize=9824668 CPUtime=12.45 cores=0,2,4,6
/proc/22977/stat : 22977 (java) S 22975 22977 22059 0 -1 4202496 18448 0 1 0 1225 20 0 0 20 0 22 0 253422051 10060460032 142804 33554432000 1073741824 1073778376 140736151350832 140736151341968 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22977/statm: 2456167 142804 2286 9 0 2446860 0
[pid=22977/tid=22979] ppid=22975 vsize=9824668 CPUtime=0.41 cores=0,2,4,6
/proc/22977/task/22979/stat : 22979 (java) S 22975 22977 22059 0 -1 4202560 2468 0 1 0 39 2 0 0 20 0 22 0 253422052 10060460032 142804 33554432000 1073741824 1073778376 140736151350832 140205138695160 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22980] ppid=22975 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/22977/task/22980/stat : 22980 (java) S 22975 22977 22059 0 -1 4202560 27 0 0 0 3 0 0 0 20 0 22 0 253422053 10060460032 142804 33554432000 1073741824 1073778376 140736151350832 140205116795816 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22981] ppid=22975 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/22977/task/22981/stat : 22981 (java) S 22975 22977 22059 0 -1 4202560 26 0 0 0 4 0 0 0 20 0 22 0 253422053 10060460032 142804 33554432000 1073741824 1073778376 140736151350832 140205115743272 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22977/tid=22982] ppid=22975 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/22977/task/22982/stat : 22982 (java) S 22975 22977 22059 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 253422053 10060460032 142804 33554432000 1073741824 1073778376 140736151350832 140204912405160 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22977/tid=22983] ppid=22975 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/22977/task/22983/stat : 22983 (java) S 22975 22977 22059 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 253422053 10060460032 142804 33554432000 1073741824 1073778376 140736151350832 140204911352616 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22977/tid=22984] ppid=22975 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/22977/task/22984/stat : 22984 (java) S 22975 22977 22059 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 22 0 253422053 10060460032 142804 33554432000 1073741824 1073778376 140736151350832 140204910299560 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22985] ppid=22975 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/22977/task/22985/stat : 22985 (java) S 22975 22977 22059 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 22 0 253422053 10060460032 142804 33554432000 1073741824 1073778376 140736151350832 140204909247016 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22977/tid=22986] ppid=22975 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/22977/task/22986/stat : 22986 (java) S 22975 22977 22059 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 253422053 10060460032 142804 33554432000 1073741824 1073778376 140736151350832 140204908193960 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22987] ppid=22975 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/22977/task/22987/stat : 22987 (java) S 22975 22977 22059 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 253422053 10060460032 142804 33554432000 1073741824 1073778376 140736151350832 140204907141416 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22988] ppid=22975 vsize=9824668 CPUtime=0.22 cores=0,2,4,6
/proc/22977/task/22988/stat : 22988 (java) S 22975 22977 22059 0 -1 4202560 218 0 0 0 22 0 0 0 20 0 22 0 253422054 10060460032 142804 33554432000 1073741824 1073778376 140736151350832 140204894944104 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22989] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22989/stat : 22989 (java) S 22975 22977 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253422055 10060460032 142804 33554432000 1073741824 1073778376 140736151350832 140204893890424 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22990] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22990/stat : 22990 (java) S 22975 22977 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253422055 10060460032 142804 33554432000 1073741824 1073778376 140736151350832 140204892837256 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22991] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22991/stat : 22991 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422058 10060460032 142804 33554432000 1073741824 1073778376 140736151350832 140204891786000 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22992] ppid=22975 vsize=9824668 CPUtime=0.97 cores=0,2,4,6
/proc/22977/task/22992/stat : 22992 (java) S 22975 22977 22059 0 -1 4202560 8151 0 0 0 95 2 0 0 20 0 22 0 253422058 10060460032 142804 33554432000 1073741824 1073778376 140736151350832 140204890732856 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22993] ppid=22975 vsize=9824668 CPUtime=1.06 cores=0,2,4,6
/proc/22977/task/22993/stat : 22993 (java) S 22975 22977 22059 0 -1 4202560 5961 0 0 0 104 2 0 0 20 0 22 0 253422058 10060460032 142804 33554432000 1073741824 1073778376 140736151350832 140204889680312 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22994] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22994/stat : 22994 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422058 10060460032 142804 33554432000 1073741824 1073778376 140736151350832 140204888627448 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22995] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22995/stat : 22995 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422058 10060460032 142804 33554432000 1073741824 1073778376 140736151350832 140204887575112 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
################
# More data... #
################
[pid=22977/tid=23012] ppid=22975 vsize=9824668 CPUtime=666.43 cores=0,2,4,6
/proc/22977/task/23012/stat : 23012 (java) R 22975 22977 22059 0 -1 4202560 54 0 0 0 66631 12 0 0 20 0 22 0 253434808 10060460032 320170 33554432000 1073741824 1073778376 140736151350832 140204885467056 140204996994128 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=23013] ppid=22975 vsize=9824668 CPUtime=666.43 cores=0,2,4,6
/proc/22977/task/23013/stat : 23013 (java) R 22975 22977 22059 0 -1 4202560 279 0 0 0 66631 12 0 0 20 0 22 0 253434808 10060460032 320170 33554432000 1073741824 1073778376 140736151350832 140204886520944 140204996911031 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=23014] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/23014/stat : 23014 (java) S 22975 22977 22059 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253434808 10060460032 320170 33554432000 1073741824 1073778376 140736151350832 140204884415784 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1626.5
Current children cumulated vsize (KiB) 9824668
[startup+882.301 s]
/proc/loadavg: 3.91 3.89 3.35 3/219 23091
/proc/meminfo: memFree=27044824/32873844 swapFree=7100/7100
[pid=22977] ppid=22975 vsize=9824668 CPUtime=1746.08 cores=0,2,4,6
/proc/22977/stat : 22977 (java) S 22975 22977 22059 0 -1 4202496 28703 0 1 0 174460 148 0 0 20 0 22 0 253422051 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140736151341968 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22977/statm: 2456167 305828 2287 9 0 2446860 0
[pid=22977/tid=22979] ppid=22975 vsize=9824668 CPUtime=0.45 cores=0,2,4,6
/proc/22977/task/22979/stat : 22979 (java) S 22975 22977 22059 0 -1 4202560 2494 0 1 0 42 3 0 0 20 0 22 0 253422052 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140205138694872 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22980] ppid=22975 vsize=9824668 CPUtime=3.09 cores=0,2,4,6
/proc/22977/task/22980/stat : 22980 (java) S 22975 22977 22059 0 -1 4202560 264 0 0 0 304 5 0 0 20 0 22 0 253422053 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140205116795816 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22981] ppid=22975 vsize=9824668 CPUtime=3.19 cores=0,2,4,6
/proc/22977/task/22981/stat : 22981 (java) S 22975 22977 22059 0 -1 4202560 308 0 0 0 313 6 0 0 20 0 22 0 253422053 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140205115743272 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22982] ppid=22975 vsize=9824668 CPUtime=3.05 cores=0,2,4,6
/proc/22977/task/22982/stat : 22982 (java) S 22975 22977 22059 0 -1 4202560 311 0 0 0 300 5 0 0 20 0 22 0 253422053 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140204912405160 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22983] ppid=22975 vsize=9824668 CPUtime=2.91 cores=0,2,4,6
/proc/22977/task/22983/stat : 22983 (java) S 22975 22977 22059 0 -1 4202560 281 0 0 0 287 4 0 0 20 0 22 0 253422053 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140204911352616 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22984] ppid=22975 vsize=9824668 CPUtime=3.03 cores=0,2,4,6
/proc/22977/task/22984/stat : 22984 (java) S 22975 22977 22059 0 -1 4202560 301 0 0 0 296 7 0 0 20 0 22 0 253422053 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140204910299560 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22985] ppid=22975 vsize=9824668 CPUtime=2.97 cores=0,2,4,6
/proc/22977/task/22985/stat : 22985 (java) S 22975 22977 22059 0 -1 4202560 298 0 0 0 292 5 0 0 20 0 22 0 253422053 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140204909247016 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22986] ppid=22975 vsize=9824668 CPUtime=3.24 cores=0,2,4,6
/proc/22977/task/22986/stat : 22986 (java) S 22975 22977 22059 0 -1 4202560 321 0 0 0 318 6 0 0 20 0 22 0 253422053 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140204908193960 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22977/tid=22987] ppid=22975 vsize=9824668 CPUtime=3.19 cores=0,2,4,6
/proc/22977/task/22987/stat : 22987 (java) S 22975 22977 22059 0 -1 4202560 260 0 0 0 314 5 0 0 20 0 22 0 253422053 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140204907141416 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22988] ppid=22975 vsize=9824668 CPUtime=28.75 cores=0,2,4,6
/proc/22977/task/22988/stat : 22988 (java) R 22975 22977 22059 0 -1 4202560 2818 0 0 0 2838 37 0 0 20 0 22 0 253422054 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140204894942952 140205145550080 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22989] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22989/stat : 22989 (java) S 22975 22977 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253422055 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140204893890424 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22990] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22990/stat : 22990 (java) S 22975 22977 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253422055 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140204892837256 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22991] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22991/stat : 22991 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422058 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140204891786000 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22992] ppid=22975 vsize=9824668 CPUtime=1.67 cores=0,2,4,6
/proc/22977/task/22992/stat : 22992 (java) S 22975 22977 22059 0 -1 4202560 12095 0 0 0 164 3 0 0 20 0 22 0 253422058 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140204890732856 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22993] ppid=22975 vsize=9824668 CPUtime=1.27 cores=0,2,4,6
/proc/22977/task/22993/stat : 22993 (java) S 22975 22977 22059 0 -1 4202560 6210 0 0 0 125 2 0 0 20 0 22 0 253422058 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140204889680312 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22994] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22994/stat : 22994 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422058 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140204888627448 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22995] ppid=22975 vsize=9824668 CPUtime=0.32 cores=0,2,4,6
/proc/22977/task/22995/stat : 22995 (java) S 22975 22977 22059 0 -1 4202560 51 0 0 0 17 15 0 0 20 0 22 0 253422058 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140204887575112 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22999] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22999/stat : 22999 (java) S 22975 22977 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253422095 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140204883363240 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22977/tid=23012] ppid=22975 vsize=9824668 CPUtime=724.43 cores=0,2,4,6
/proc/22977/task/23012/stat : 23012 (java) S 22975 22977 22059 0 -1 4202560 62 0 0 0 72430 13 0 0 20 0 22 0 253434808 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140204885467800 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=23013] ppid=22975 vsize=9824668 CPUtime=724.44 cores=0,2,4,6
/proc/22977/task/23013/stat : 23013 (java) S 22975 22977 22059 0 -1 4202560 302 0 0 0 72431 13 0 0 20 0 22 0 253434808 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140204886521112 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=23014] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/23014/stat : 23014 (java) S 22975 22977 22059 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253434808 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140204884415784 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1746.08
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+909.301 s]
/proc/loadavg: 3.94 3.89 3.37 5/219 23091
/proc/meminfo: memFree=26881476/32873844 swapFree=7100/7100
[pid=22977] ppid=22975 vsize=9824668 CPUtime=1800.19 cores=0,2,4,6
/proc/22977/stat : 22977 (java) S 22975 22977 22059 0 -1 4202496 29330 0 1 0 179868 151 0 0 20 0 22 0 253422051 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140736151341968 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22977/statm: 2456167 313419 2287 9 0 2446860 0
[pid=22977/tid=22979] ppid=22975 vsize=9824668 CPUtime=0.45 cores=0,2,4,6
/proc/22977/task/22979/stat : 22979 (java) S 22975 22977 22059 0 -1 4202560 2494 0 1 0 42 3 0 0 20 0 22 0 253422052 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140205138695160 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22980] ppid=22975 vsize=9824668 CPUtime=3.17 cores=0,2,4,6
/proc/22977/task/22980/stat : 22980 (java) S 22975 22977 22059 0 -1 4202560 281 0 0 0 311 6 0 0 20 0 22 0 253422053 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140205116795816 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22981] ppid=22975 vsize=9824668 CPUtime=3.27 cores=0,2,4,6
/proc/22977/task/22981/stat : 22981 (java) S 22975 22977 22059 0 -1 4202560 331 0 0 0 321 6 0 0 20 0 22 0 253422053 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140205115743272 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22982] ppid=22975 vsize=9824668 CPUtime=3.17 cores=0,2,4,6
/proc/22977/task/22982/stat : 22982 (java) S 22975 22977 22059 0 -1 4202560 318 0 0 0 311 6 0 0 20 0 22 0 253422053 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204912405160 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22983] ppid=22975 vsize=9824668 CPUtime=2.96 cores=0,2,4,6
/proc/22977/task/22983/stat : 22983 (java) S 22975 22977 22059 0 -1 4202560 288 0 0 0 292 4 0 0 20 0 22 0 253422053 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204911352616 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22977/tid=22984] ppid=22975 vsize=9824668 CPUtime=3.1 cores=0,2,4,6
/proc/22977/task/22984/stat : 22984 (java) S 22975 22977 22059 0 -1 4202560 309 0 0 0 303 7 0 0 20 0 22 0 253422053 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204910299560 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22985] ppid=22975 vsize=9824668 CPUtime=3.02 cores=0,2,4,6
/proc/22977/task/22985/stat : 22985 (java) S 22975 22977 22059 0 -1 4202560 308 0 0 0 297 5 0 0 20 0 22 0 253422053 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204909247016 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22977/tid=22986] ppid=22975 vsize=9824668 CPUtime=3.31 cores=0,2,4,6
/proc/22977/task/22986/stat : 22986 (java) S 22975 22977 22059 0 -1 4202560 331 0 0 0 325 6 0 0 20 0 22 0 253422053 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204908193960 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22987] ppid=22975 vsize=9824668 CPUtime=3.28 cores=0,2,4,6
/proc/22977/task/22987/stat : 22987 (java) S 22975 22977 22059 0 -1 4202560 266 0 0 0 323 5 0 0 20 0 22 0 253422053 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204907141416 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22988] ppid=22975 vsize=9824668 CPUtime=28.93 cores=0,2,4,6
/proc/22977/task/22988/stat : 22988 (java) S 22975 22977 22059 0 -1 4202560 2903 0 0 0 2855 38 0 0 20 0 22 0 253422054 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204894944104 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22989] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22989/stat : 22989 (java) S 22975 22977 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253422055 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204893890424 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22990] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22990/stat : 22990 (java) S 22975 22977 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253422055 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204892837256 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22991] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22991/stat : 22991 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422058 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204891786000 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22992] ppid=22975 vsize=9824668 CPUtime=1.67 cores=0,2,4,6
/proc/22977/task/22992/stat : 22992 (java) S 22975 22977 22059 0 -1 4202560 12095 0 0 0 164 3 0 0 20 0 22 0 253422058 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204890732856 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22993] ppid=22975 vsize=9824668 CPUtime=1.27 cores=0,2,4,6
/proc/22977/task/22993/stat : 22993 (java) S 22975 22977 22059 0 -1 4202560 6210 0 0 0 125 2 0 0 20 0 22 0 253422058 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204889680312 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22994] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22994/stat : 22994 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422058 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204888627448 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22995] ppid=22975 vsize=9824668 CPUtime=0.33 cores=0,2,4,6
/proc/22977/task/22995/stat : 22995 (java) S 22975 22977 22059 0 -1 4202560 53 0 0 0 18 15 0 0 20 0 22 0 253422058 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204887575112 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22999] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22999/stat : 22999 (java) S 22975 22977 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253422095 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204883363240 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22977/tid=23012] ppid=22975 vsize=9824668 CPUtime=751.09 cores=0,2,4,6
/proc/22977/task/23012/stat : 23012 (java) R 22975 22977 22059 0 -1 4202560 89 0 0 0 75096 13 0 0 20 0 22 0 253434808 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204885466224 140204996994083 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=23013] ppid=22975 vsize=9824668 CPUtime=751.11 cores=0,2,4,6
/proc/22977/task/23013/stat : 23013 (java) R 22975 22977 22059 0 -1 4202560 727 0 0 0 75097 14 0 0 20 0 22 0 253434808 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204886519728 140204997049130 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=23014] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/23014/stat : 23014 (java) S 22975 22977 22059 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253434808 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204884415784 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
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+909.301 s]
/proc/loadavg: 3.94 3.89 3.37 5/219 23091
/proc/meminfo: memFree=26881476/32873844 swapFree=7100/7100
[pid=22977] ppid=22975 vsize=9824668 CPUtime=1800.19 cores=0,2,4,6
/proc/22977/stat : 22977 (java) S 22975 22977 22059 0 -1 4202496 29330 0 1 0 179868 151 0 0 20 0 22 0 253422051 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140736151341968 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22977/statm: 2456167 313419 2287 9 0 2446860 0
[pid=22977/tid=22979] ppid=22975 vsize=9824668 CPUtime=0.45 cores=0,2,4,6
/proc/22977/task/22979/stat : 22979 (java) S 22975 22977 22059 0 -1 4202560 2494 0 1 0 42 3 0 0 20 0 22 0 253422052 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140205138695160 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22980] ppid=22975 vsize=9824668 CPUtime=3.17 cores=0,2,4,6
/proc/22977/task/22980/stat : 22980 (java) S 22975 22977 22059 0 -1 4202560 281 0 0 0 311 6 0 0 20 0 22 0 253422053 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140205116795816 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22981] ppid=22975 vsize=9824668 CPUtime=3.27 cores=0,2,4,6
/proc/22977/task/22981/stat : 22981 (java) S 22975 22977 22059 0 -1 4202560 331 0 0 0 321 6 0 0 20 0 22 0 253422053 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140205115743272 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22982] ppid=22975 vsize=9824668 CPUtime=3.17 cores=0,2,4,6
/proc/22977/task/22982/stat : 22982 (java) S 22975 22977 22059 0 -1 4202560 318 0 0 0 311 6 0 0 20 0 22 0 253422053 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204912405160 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22983] ppid=22975 vsize=9824668 CPUtime=2.96 cores=0,2,4,6
/proc/22977/task/22983/stat : 22983 (java) S 22975 22977 22059 0 -1 4202560 288 0 0 0 292 4 0 0 20 0 22 0 253422053 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204911352616 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22977/tid=22984] ppid=22975 vsize=9824668 CPUtime=3.1 cores=0,2,4,6
/proc/22977/task/22984/stat : 22984 (java) S 22975 22977 22059 0 -1 4202560 309 0 0 0 303 7 0 0 20 0 22 0 253422053 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204910299560 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22985] ppid=22975 vsize=9824668 CPUtime=3.02 cores=0,2,4,6
/proc/22977/task/22985/stat : 22985 (java) S 22975 22977 22059 0 -1 4202560 308 0 0 0 297 5 0 0 20 0 22 0 253422053 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204909247016 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22977/tid=22986] ppid=22975 vsize=9824668 CPUtime=3.31 cores=0,2,4,6
/proc/22977/task/22986/stat : 22986 (java) S 22975 22977 22059 0 -1 4202560 331 0 0 0 325 6 0 0 20 0 22 0 253422053 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204908193960 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22987] ppid=22975 vsize=9824668 CPUtime=3.28 cores=0,2,4,6
/proc/22977/task/22987/stat : 22987 (java) S 22975 22977 22059 0 -1 4202560 266 0 0 0 323 5 0 0 20 0 22 0 253422053 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204907141416 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22988] ppid=22975 vsize=9824668 CPUtime=28.93 cores=0,2,4,6
/proc/22977/task/22988/stat : 22988 (java) S 22975 22977 22059 0 -1 4202560 2903 0 0 0 2855 38 0 0 20 0 22 0 253422054 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204894944104 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22989] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22989/stat : 22989 (java) S 22975 22977 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253422055 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204893890424 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22990] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22990/stat : 22990 (java) S 22975 22977 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253422055 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204892837256 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22991] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22991/stat : 22991 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422058 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204891786000 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22992] ppid=22975 vsize=9824668 CPUtime=1.67 cores=0,2,4,6
/proc/22977/task/22992/stat : 22992 (java) S 22975 22977 22059 0 -1 4202560 12095 0 0 0 164 3 0 0 20 0 22 0 253422058 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204890732856 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22993] ppid=22975 vsize=9824668 CPUtime=1.27 cores=0,2,4,6
/proc/22977/task/22993/stat : 22993 (java) S 22975 22977 22059 0 -1 4202560 6210 0 0 0 125 2 0 0 20 0 22 0 253422058 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204889680312 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22994] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22994/stat : 22994 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422058 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204888627448 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22995] ppid=22975 vsize=9824668 CPUtime=0.33 cores=0,2,4,6
/proc/22977/task/22995/stat : 22995 (java) S 22975 22977 22059 0 -1 4202560 53 0 0 0 18 15 0 0 20 0 22 0 253422058 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204887575112 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22999] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22999/stat : 22999 (java) S 22975 22977 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253422095 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204883363240 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22977/tid=23012] ppid=22975 vsize=9824668 CPUtime=751.09 cores=0,2,4,6
/proc/22977/task/23012/stat : 23012 (java) R 22975 22977 22059 0 -1 4202560 89 0 0 0 75096 13 0 0 20 0 22 0 253434808 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204885466224 140204996994083 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=23013] ppid=22975 vsize=9824668 CPUtime=751.11 cores=0,2,4,6
/proc/22977/task/23013/stat : 23013 (java) R 22975 22977 22059 0 -1 4202560 727 0 0 0 75097 14 0 0 20 0 22 0 253434808 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204886519728 140204997049130 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=23014] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/23014/stat : 23014 (java) S 22975 22977 22059 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253434808 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204884415784 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 9824668
Child status: 143
Real time (s): 909.354
CPU time (s): 1800.92
CPU user time (s): 1799
CPU system time (s): 1.92371
CPU usage (%): 198.044
Max. virtual memory (cumulated for all children) (KiB): 9825692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799
system time used= 1.92371
maximum resident set size= 2223360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29363
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34488
involuntary context switches= 53698
runsolver used 3.08953 second user time and 8.5357 second system time
The end