runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4119594-1467262620/watcher-4119594-1467262620 -o /tmp/evaluation-result-4119594-1467262620/solver-4119594-1467262620 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1467260829-10194 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119594-1467262620.opb
pid=10480
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.31 2.27 2.33 3/194 10483
/proc/meminfo: memFree=28476088/32872528 swapFree=1525072/1694724
[pid=10483] ppid=10480 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/10483/stat : 10483 (java) S 10480 10483 7126 0 -1 4202496 1355 0 0 0 0 0 0 0 20 0 2 0 5286231 98570240 978 33554432000 1073741824 1073778376 140733545110832 140733545101968 270710898749 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10483/statm: 24065 978 744 9 0 16771 0
[pid=10483/tid=10484] ppid=10480 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10484/stat : 10484 (java) R 10480 10483 7126 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 5286231 98570240 978 33554432000 1073741824 1073778376 140733545110832 139685890481704 270707541376 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0
[startup+0.100113 s]
/proc/loadavg: 2.31 2.27 2.33 3/194 10483
/proc/meminfo: memFree=28476088/32872528 swapFree=1525072/1694724
[pid=10483] ppid=10480 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/10483/stat : 10483 (java) S 10480 10483 7126 0 -1 4202496 4494 0 1 0 9 1 0 0 20 0 18 0 5286231 9787879424 5610 33554432000 1073741824 1073778376 140733545110832 140733545101968 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10483/statm: 2389619 5610 2140 9 0 2380296 0
[pid=10483/tid=10484] ppid=10480 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/10483/task/10484/stat : 10484 (java) R 10480 10483 7126 0 -1 4202560 2435 0 1 0 8 0 0 0 20 0 18 0 5286231 9787879424 5610 33554432000 1073741824 1073778376 140733545110832 139685890485152 139685898361714 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200317 s]
/proc/loadavg: 2.31 2.27 2.33 3/194 10483
/proc/meminfo: memFree=28476088/32872528 swapFree=1525072/1694724
[pid=10483] ppid=10480 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/10483/stat : 10483 (java) S 10480 10483 7126 0 -1 4202496 4691 0 1 0 23 1 0 0 20 0 18 0 5286231 9787879424 6280 33554432000 1073741824 1073778376 140733545110832 140733545101968 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10483/statm: 2389619 6280 2212 9 0 2380296 0
[pid=10483/tid=10484] ppid=10480 vsize=9558476 CPUtime=0.18 cores=0,2,4,6
/proc/10483/task/10484/stat : 10484 (java) R 10480 10483 7126 0 -1 4202560 2457 0 1 0 18 0 0 0 20 0 18 0 5286231 9787879424 6280 33554432000 1073741824 1073778376 140733545110832 139685890485152 139685830256016 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476
[startup+0.30031 s]
/proc/loadavg: 2.31 2.27 2.33 3/194 10483
/proc/meminfo: memFree=28476088/32872528 swapFree=1525072/1694724
[pid=10483] ppid=10480 vsize=9558476 CPUtime=0.47 cores=0,2,4,6
/proc/10483/stat : 10483 (java) S 10480 10483 7126 0 -1 4202496 6296 0 1 0 46 1 0 0 20 0 18 0 5286231 9787879424 7846 33554432000 1073741824 1073778376 140733545110832 140733545101968 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10483/statm: 2389619 7854 2245 9 0 2380296 0
[pid=10483/tid=10484] ppid=10480 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/10483/task/10484/stat : 10484 (java) R 10480 10483 7126 0 -1 4202560 2461 0 1 0 28 0 0 0 20 0 18 0 5286231 9787879424 7854 33554432000 1073741824 1073778376 140733545110832 139685890485152 139685830273226 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476
[startup+0.70022 s]
/proc/loadavg: 2.31 2.27 2.33 3/194 10483
/proc/meminfo: memFree=28476088/32872528 swapFree=1525072/1694724
[pid=10483] ppid=10480 vsize=9625040 CPUtime=1.65 cores=0,2,4,6
/proc/10483/stat : 10483 (java) S 10480 10483 7126 0 -1 4202496 20502 0 1 0 161 4 0 0 20 0 19 0 5286231 9856040960 21238 33554432000 1073741824 1073778376 140733545110832 140733545101968 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10483/statm: 2406260 21238 2267 9 0 2396937 0
[pid=10483/tid=10484] ppid=10480 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/10483/task/10484/stat : 10484 (java) R 10480 10483 7126 0 -1 4202560 2482 0 1 0 65 2 0 0 20 0 19 0 5286231 9856040960 21238 33554432000 1073741824 1073778376 140733545110832 139685890478096 139685830290000 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 9625040
[startup+1.50077 s]
/proc/loadavg: 2.31 2.27 2.33 5/213 10502
/proc/meminfo: memFree=28397944/32872528 swapFree=1525072/1694724
[pid=10483] ppid=10480 vsize=9625040 CPUtime=2.93 cores=0,2,4,6
/proc/10483/stat : 10483 (java) S 10480 10483 7126 0 -1 4202496 20657 0 1 0 289 4 0 0 20 0 19 0 5286231 9856040960 21082 33554432000 1073741824 1073778376 140733545110832 140733545101968 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10483/statm: 2406260 21082 2275 9 0 2396937 0
[pid=10483/tid=10484] ppid=10480 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/10483/task/10484/stat : 10484 (java) R 10480 10483 7126 0 -1 4202560 2487 0 1 0 145 2 0 0 20 0 19 0 5286231 9856040960 21082 33554432000 1073741824 1073778376 140733545110832 139685890486600 139685831074141 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10483/tid=10486] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10486/stat : 10486 (java) S 10480 10483 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5286232 9856040960 21082 33554432000 1073741824 1073778376 140733545110832 139685829216936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10483/tid=10487] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10487/stat : 10487 (java) S 10480 10483 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5286232 9856040960 21082 33554432000 1073741824 1073778376 140733545110832 139685828164392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10483/tid=10488] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10488/stat : 10488 (java) S 10480 10483 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5286232 9856040960 21082 33554432000 1073741824 1073778376 140733545110832 139685827111848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10483/tid=10489] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10489/stat : 10489 (java) S 10480 10483 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5286232 9856040960 21082 33554432000 1073741824 1073778376 140733545110832 139685730663464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10483/tid=10490] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10490/stat : 10490 (java) S 10480 10483 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5286232 9856040960 21082 33554432000 1073741824 1073778376 140733545110832 139685729609896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10483/tid=10491] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10491/stat : 10491 (java) S 10480 10483 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5286232 9856040960 21082 33554432000 1073741824 1073778376 140733545110832 139685728557352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10483/tid=10492] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10492/stat : 10492 (java) S 10480 10483 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5286232 9856040960 21082 33554432000 1073741824 1073778376 140733545110832 139685727504808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10483/tid=10493] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10493/stat : 10493 (java) S 10480 10483 7126 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5286232 9856040960 21082 33554432000 1073741824 1073778376 140733545110832 139685726452264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10483/tid=10494] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10494/stat : 10494 (java) S 10480 10483 7126 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 5286233 9856040960 21082 33554432000 1073741824 1073778376 140733545110832 139685714254440 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10483/tid=10495] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10495/stat : 10495 (java) S 10480 10483 7126 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5286234 9856040960 21082 33554432000 1073741824 1073778376 140733545110832 139685713200760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10483/tid=10496] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10496/stat : 10496 (java) S 10480 10483 7126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5286234 9856040960 21082 33554432000 1073741824 1073778376 140733545110832 139685712148104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10483/tid=10497] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10497/stat : 10497 (java) S 10480 10483 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5286236 9856040960 21082 33554432000 1073741824 1073778376 140733545110832 139685711096848 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10483/tid=10498] ppid=10480 vsize=9625040 CPUtime=0.73 cores=0,2,4,6
/proc/10483/task/10498/stat : 10498 (java) S 10480 10483 7126 0 -1 4202560 4555 0 0 0 72 1 0 0 20 0 19 0 5286236 9856040960 21082 33554432000 1073741824 1073778376 140733545110832 139685710043192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10483/tid=10499] ppid=10480 vsize=9625040 CPUtime=0.69 cores=0,2,4,6
/proc/10483/task/10499/stat : 10499 (java) S 10480 10483 7126 0 -1 4202560 12337 0 0 0 67 2 0 0 20 0 19 0 5286236 9856040960 21082 33554432000 1073741824 1073778376 140733545110832 139685708990648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10483/tid=10500] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10500/stat : 10500 (java) S 10480 10483 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5286236 9856040960 21082 33554432000 1073741824 1073778376 140733545110832 139685707938296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10483/tid=10501] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10501/stat : 10501 (java) S 10480 10483 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5286236 9856040960 21082 33554432000 1073741824 1073778376 140733545110832 139685706885960 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10483/tid=10502] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10502/stat : 10502 (java) S 10480 10483 7126 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 5286285 9856040960 21082 33554432000 1073741824 1073778376 140733545110832 139685705831720 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 9625040
[startup+3.10087 s]
/proc/loadavg: 2.31 2.27 2.33 3/213 10502
/proc/meminfo: memFree=28383352/32872528 swapFree=1525072/1694724
[pid=10483] ppid=10480 vsize=9625040 CPUtime=4.57 cores=0,2,4,6
/proc/10483/stat : 10483 (java) S 10480 10483 7126 0 -1 4202496 20672 0 1 0 452 5 0 0 20 0 19 0 5286231 9856040960 23650 33554432000 1073741824 1073778376 140733545110832 140733545101968 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10483/statm: 2406260 23650 2279 9 0 2396937 0
[pid=10483/tid=10484] ppid=10480 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/10483/task/10484/stat : 10484 (java) R 10480 10483 7126 0 -1 4202560 2494 0 1 0 304 2 0 0 20 0 19 0 5286231 9856040960 23650 33554432000 1073741824 1073778376 140733545110832 139685890486624 139685831076029 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10483/tid=10486] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10486/stat : 10486 (java) S 10480 10483 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5286232 9856040960 23650 33554432000 1073741824 1073778376 140733545110832 139685829216936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10483/tid=10487] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10487/stat : 10487 (java) S 10480 10483 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5286232 9856040960 23650 33554432000 1073741824 1073778376 140733545110832 139685828164392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10483/tid=10488] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10488/stat : 10488 (java) S 10480 10483 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5286232 9856040960 23650 33554432000 1073741824 1073778376 140733545110832 139685827111848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10483/tid=10489] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10489/stat : 10489 (java) S 10480 10483 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5286232 9856040960 23650 33554432000 1073741824 1073778376 140733545110832 139685730663464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10483/tid=10490] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10490/stat : 10490 (java) S 10480 10483 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5286232 9856040960 23650 33554432000 1073741824 1073778376 140733545110832 139685729609896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10483/tid=10491] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10491/stat : 10491 (java) S 10480 10483 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5286232 9856040960 23650 33554432000 1073741824 1073778376 140733545110832 139685728557352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10483/tid=10492] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10492/stat : 10492 (java) S 10480 10483 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5286232 9856040960 23650 33554432000 1073741824 1073778376 140733545110832 139685727504808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10483/tid=10493] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10493/stat : 10493 (java) S 10480 10483 7126 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5286232 9856040960 23650 33554432000 1073741824 1073778376 140733545110832 139685726452264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10483/tid=10494] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10494/stat : 10494 (java) S 10480 10483 7126 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 5286233 9856040960 23650 33554432000 1073741824 1073778376 140733545110832 139685714254440 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10483/tid=10495] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10495/stat : 10495 (java) S 10480 10483 7126 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5286234 9856040960 23650 33554432000 1073741824 1073778376 140733545110832 139685713200760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10483/tid=10496] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10496/stat : 10496 (java) S 10480 10483 7126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5286234 9856040960 23650 33554432000 1073741824 1073778376 140733545110832 139685712148104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10483/tid=10497] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10497/stat : 10497 (java) S 10480 10483 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5286236 9856040960 23650 33554432000 1073741824 1073778376 140733545110832 139685711096848 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10483/tid=10498] ppid=10480 vsize=9625040 CPUtime=0.75 cores=0,2,4,6
/proc/10483/task/10498/stat : 10498 (java) S 10480 10483 7126 0 -1 4202560 4560 0 0 0 74 1 0 0 20 0 19 0 5286236 9856040960 23650 33554432000 1073741824 1073778376 140733545110832 139685710043192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10483/tid=10499] ppid=10480 vsize=9625040 CPUtime=0.7 cores=0,2,4,6
/proc/10483/task/10499/stat : 10499 (java) S 10480 10483 7126 0 -1 4202560 12339 0 0 0 68 2 0 0 20 0 19 0 5286236 9856040960 23650 33554432000 1073741824 1073778376 140733545110832 139685708990648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10483/tid=10500] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10500/stat : 10500 (java) S 10480 10483 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5286236 9856040960 23650 33554432000 1073741824 1073778376 140733545110832 139685707938296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10483/tid=10501] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10501/stat : 10501 (java) S 10480 10483 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5286236 9856040960 23650 33554432000 1073741824 1073778376 140733545110832 139685706885960 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10483/tid=10502] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10502/stat : 10502 (java) S 10480 10483 7126 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 5286285 9856040960 23650 33554432000 1073741824 1073778376 140733545110832 139685705831720 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.57
Current children cumulated vsize (KiB) 9625040
[startup+6.30077 s]
/proc/loadavg: 2.29 2.27 2.33 3/213 10502
/proc/meminfo: memFree=28338828/32872528 swapFree=1525072/1694724
[pid=10483] ppid=10480 vsize=9625040 CPUtime=7.93 cores=0,2,4,6
/proc/10483/stat : 10483 (java) S 10480 10483 7126 0 -1 4202496 22176 0 1 0 787 6 0 0 20 0 19 0 5286231 9856040960 28978 33554432000 1073741824 1073778376 140733545110832 140733545101968 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10483/statm: 2406260 28978 2279 9 0 2396937 0
[pid=10483/tid=10484] ppid=10480 vsize=9625040 CPUtime=6.26 cores=0,2,4,6
/proc/10483/task/10484/stat : 10484 (java) R 10480 10483 7126 0 -1 4202560 2507 0 1 0 623 3 0 0 20 0 19 0 5286231 9856040960 28978 33554432000 1073741824 1073778376 140733545110832 139685890486560 139685830974763 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10483/tid=10486] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10486/stat : 10486 (java) S 10480 10483 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5286232 9856040960 28978 33554432000 1073741824 1073778376 140733545110832 139685829216936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10483/tid=10487] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10487/stat : 10487 (java) S 10480 10483 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5286232 9856040960 28978 33554432000 1073741824 1073778376 140733545110832 139685828164392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10483/tid=10488] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10488/stat : 10488 (java) S 10480 10483 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5286232 9856040960 28978 33554432000 1073741824 1073778376 140733545110832 139685827111848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10483/tid=10489] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10489/stat : 10489 (java) S 10480 10483 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5286232 9856040960 28978 33554432000 1073741824 1073778376 140733545110832 139685730663464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10483/tid=10490] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10490/stat : 10490 (java) S 10480 10483 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5286232 9856040960 28978 33554432000 1073741824 1073778376 140733545110832 139685729609896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10483/tid=10491] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10491/stat : 10491 (java) S 10480 10483 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5286232 9856040960 28978 33554432000 1073741824 1073778376 140733545110832 139685728557352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10483/tid=10492] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10492/stat : 10492 (java) S 10480 10483 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5286232 9856040960 28978 33554432000 1073741824 1073778376 140733545110832 139685727504808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10483/tid=10493] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10493/stat : 10493 (java) S 10480 10483 7126 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5286232 9856040960 28978 33554432000 1073741824 1073778376 140733545110832 139685726452264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10483/tid=10494] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10494/stat : 10494 (java) S 10480 10483 7126 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 5286233 9856040960 28978 33554432000 1073741824 1073778376 140733545110832 139685714254440 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10483/tid=10495] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10495/stat : 10495 (java) S 10480 10483 7126 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5286234 9856040960 28978 33554432000 1073741824 1073778376 140733545110832 139685713200760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10483/tid=10496] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10496/stat : 10496 (java) S 10480 10483 7126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5286234 9856040960 28978 33554432000 1073741824 1073778376 140733545110832 139685712148104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10483/tid=10497] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10497/stat : 10497 (java) S 10480 10483 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5286236 9856040960 28978 33554432000 1073741824 1073778376 140733545110832 139685711096848 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10483/tid=10498] ppid=10480 vsize=9625040 CPUtime=0.78 cores=0,2,4,6
/proc/10483/task/10498/stat : 10498 (java) S 10480 10483 7126 0 -1 4202560 4562 0 0 0 77 1 0 0 20 0 19 0 5286236 9856040960 28978 33554432000 1073741824 1073778376 140733545110832 139685710043192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10483/tid=10499] ppid=10480 vsize=9625040 CPUtime=0.85 cores=0,2,4,6
################
# More data... #
################
[pid=10483/tid=10495] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10495/stat : 10495 (java) S 10480 10483 7126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5286234 9856040960 98405 33554432000 1073741824 1073778376 140733545110832 139685713200760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10483/tid=10496] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10496/stat : 10496 (java) S 10480 10483 7126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5286234 9856040960 98405 33554432000 1073741824 1073778376 140733545110832 139685712148104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10483/tid=10497] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10497/stat : 10497 (java) S 10480 10483 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5286236 9856040960 98405 33554432000 1073741824 1073778376 140733545110832 139685711096848 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10483/tid=10498] ppid=10480 vsize=9625040 CPUtime=0.79 cores=0,2,4,6
/proc/10483/task/10498/stat : 10498 (java) S 10480 10483 7126 0 -1 4202560 4562 0 0 0 78 1 0 0 20 0 19 0 5286236 9856040960 98405 33554432000 1073741824 1073778376 140733545110832 139685710043192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10483/tid=10499] ppid=10480 vsize=9625040 CPUtime=1.04 cores=0,2,4,6
/proc/10483/task/10499/stat : 10499 (java) S 10480 10483 7126 0 -1 4202560 13860 0 0 0 101 3 0 0 20 0 19 0 5286236 9856040960 98405 33554432000 1073741824 1073778376 140733545110832 139685708990648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10483/tid=10500] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10500/stat : 10500 (java) S 10480 10483 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5286236 9856040960 98405 33554432000 1073741824 1073778376 140733545110832 139685707938296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10483/tid=10501] ppid=10480 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/10483/task/10501/stat : 10501 (java) S 10480 10483 7126 0 -1 4202560 99 0 0 0 25 23 0 0 20 0 19 0 5286236 9856040960 98405 33554432000 1073741824 1073778376 140733545110832 139685706885960 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10483/tid=10502] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10502/stat : 10502 (java) S 10480 10483 7126 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 5286285 9856040960 98405 33554432000 1073741824 1073778376 140733545110832 139685705831720 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1738.31
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.23 2.20 2.23 2/188 10603
/proc/meminfo: memFree=28209688/32872528 swapFree=1525072/1694724
[pid=10483] ppid=10480 vsize=9625040 CPUtime=1799.01 cores=0,2,4,6
/proc/10483/stat : 10483 (java) S 10480 10483 7126 0 -1 4202496 43240 0 1 0 179748 153 0 0 20 0 19 0 5286231 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 140733545101968 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10483/statm: 2406260 99882 2301 9 0 2396937 0
[pid=10483/tid=10484] ppid=10480 vsize=9625040 CPUtime=1770.16 cores=0,2,4,6
/proc/10483/task/10484/stat : 10484 (java) R 10480 10483 7126 0 -1 4202560 3012 0 1 0 176982 34 0 0 20 0 19 0 5286231 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685890485440 139685830984075 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10483/tid=10486] ppid=10480 vsize=9625040 CPUtime=2.69 cores=0,2,4,6
/proc/10483/task/10486/stat : 10486 (java) S 10480 10483 7126 0 -1 4202560 2419 0 0 0 254 15 0 0 20 0 19 0 5286232 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685829216936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10483/tid=10487] ppid=10480 vsize=9625040 CPUtime=2.63 cores=0,2,4,6
/proc/10483/task/10487/stat : 10487 (java) S 10480 10483 7126 0 -1 4202560 2436 0 0 0 251 12 0 0 20 0 19 0 5286232 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685828164392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10483/tid=10488] ppid=10480 vsize=9625040 CPUtime=2.75 cores=0,2,4,6
/proc/10483/task/10488/stat : 10488 (java) S 10480 10483 7126 0 -1 4202560 3250 0 0 0 258 17 0 0 20 0 19 0 5286232 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685827111848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10483/tid=10489] ppid=10480 vsize=9625040 CPUtime=2.84 cores=0,2,4,6
/proc/10483/task/10489/stat : 10489 (java) S 10480 10483 7126 0 -1 4202560 2437 0 0 0 269 15 0 0 20 0 19 0 5286232 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685730663464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10483/tid=10490] ppid=10480 vsize=9625040 CPUtime=2.59 cores=0,2,4,6
/proc/10483/task/10490/stat : 10490 (java) S 10480 10483 7126 0 -1 4202560 2127 0 0 0 242 17 0 0 20 0 19 0 5286232 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685729609896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10483/tid=10491] ppid=10480 vsize=9625040 CPUtime=2.8 cores=0,2,4,6
/proc/10483/task/10491/stat : 10491 (java) S 10480 10483 7126 0 -1 4202560 2100 0 0 0 266 14 0 0 20 0 19 0 5286232 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685728557352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10483/tid=10492] ppid=10480 vsize=9625040 CPUtime=2.88 cores=0,2,4,6
/proc/10483/task/10492/stat : 10492 (java) S 10480 10483 7126 0 -1 4202560 2714 0 0 0 273 15 0 0 20 0 19 0 5286232 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685727504808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10483/tid=10493] ppid=10480 vsize=9625040 CPUtime=2.58 cores=0,2,4,6
/proc/10483/task/10493/stat : 10493 (java) S 10480 10483 7126 0 -1 4202560 1933 0 0 0 245 13 0 0 20 0 19 0 5286232 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685726452264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10483/tid=10494] ppid=10480 vsize=9625040 CPUtime=5.3 cores=0,2,4,6
/proc/10483/task/10494/stat : 10494 (java) S 10480 10483 7126 0 -1 4202560 1024 0 0 0 522 8 0 0 20 0 19 0 5286233 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685714254440 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10483/tid=10495] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10495/stat : 10495 (java) S 10480 10483 7126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5286234 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685713200760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10483/tid=10496] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10496/stat : 10496 (java) S 10480 10483 7126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5286234 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685712148104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10483/tid=10497] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10497/stat : 10497 (java) S 10480 10483 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5286236 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685711096848 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10483/tid=10498] ppid=10480 vsize=9625040 CPUtime=0.79 cores=0,2,4,6
/proc/10483/task/10498/stat : 10498 (java) S 10480 10483 7126 0 -1 4202560 4562 0 0 0 78 1 0 0 20 0 19 0 5286236 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685710043192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10483/tid=10499] ppid=10480 vsize=9625040 CPUtime=1.04 cores=0,2,4,6
/proc/10483/task/10499/stat : 10499 (java) S 10480 10483 7126 0 -1 4202560 13860 0 0 0 101 3 0 0 20 0 19 0 5286236 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685708990648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10483/tid=10500] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10500/stat : 10500 (java) S 10480 10483 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5286236 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685707938296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10483/tid=10501] ppid=10480 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/10483/task/10501/stat : 10501 (java) S 10480 10483 7126 0 -1 4202560 102 0 0 0 26 24 0 0 20 0 19 0 5286236 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685706885960 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10483/tid=10502] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10502/stat : 10502 (java) S 10480 10483 7126 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 5286285 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685705831720 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1799.01
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1783.3 s]
/proc/loadavg: 2.23 2.20 2.23 2/188 10603
/proc/meminfo: memFree=28209688/32872528 swapFree=1525072/1694724
[pid=10483] ppid=10480 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/10483/stat : 10483 (java) S 10480 10483 7126 0 -1 4202496 43240 0 1 0 179848 153 0 0 20 0 19 0 5286231 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 140733545101968 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10483/statm: 2406260 99882 2301 9 0 2396937 0
[pid=10483/tid=10484] ppid=10480 vsize=9625040 CPUtime=1771.16 cores=0,2,4,6
/proc/10483/task/10484/stat : 10484 (java) R 10480 10483 7126 0 -1 4202560 3012 0 1 0 177082 34 0 0 20 0 19 0 5286231 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685890485440 139685830922643 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10483/tid=10486] ppid=10480 vsize=9625040 CPUtime=2.69 cores=0,2,4,6
/proc/10483/task/10486/stat : 10486 (java) S 10480 10483 7126 0 -1 4202560 2419 0 0 0 254 15 0 0 20 0 19 0 5286232 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685829216936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10483/tid=10487] ppid=10480 vsize=9625040 CPUtime=2.63 cores=0,2,4,6
/proc/10483/task/10487/stat : 10487 (java) S 10480 10483 7126 0 -1 4202560 2436 0 0 0 251 12 0 0 20 0 19 0 5286232 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685828164392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10483/tid=10488] ppid=10480 vsize=9625040 CPUtime=2.75 cores=0,2,4,6
/proc/10483/task/10488/stat : 10488 (java) S 10480 10483 7126 0 -1 4202560 3250 0 0 0 258 17 0 0 20 0 19 0 5286232 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685827111848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10483/tid=10489] ppid=10480 vsize=9625040 CPUtime=2.84 cores=0,2,4,6
/proc/10483/task/10489/stat : 10489 (java) S 10480 10483 7126 0 -1 4202560 2437 0 0 0 269 15 0 0 20 0 19 0 5286232 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685730663464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10483/tid=10490] ppid=10480 vsize=9625040 CPUtime=2.59 cores=0,2,4,6
/proc/10483/task/10490/stat : 10490 (java) S 10480 10483 7126 0 -1 4202560 2127 0 0 0 242 17 0 0 20 0 19 0 5286232 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685729609896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10483/tid=10491] ppid=10480 vsize=9625040 CPUtime=2.8 cores=0,2,4,6
/proc/10483/task/10491/stat : 10491 (java) S 10480 10483 7126 0 -1 4202560 2100 0 0 0 266 14 0 0 20 0 19 0 5286232 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685728557352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10483/tid=10492] ppid=10480 vsize=9625040 CPUtime=2.88 cores=0,2,4,6
/proc/10483/task/10492/stat : 10492 (java) S 10480 10483 7126 0 -1 4202560 2714 0 0 0 273 15 0 0 20 0 19 0 5286232 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685727504808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10483/tid=10493] ppid=10480 vsize=9625040 CPUtime=2.58 cores=0,2,4,6
/proc/10483/task/10493/stat : 10493 (java) S 10480 10483 7126 0 -1 4202560 1933 0 0 0 245 13 0 0 20 0 19 0 5286232 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685726452264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10483/tid=10494] ppid=10480 vsize=9625040 CPUtime=5.3 cores=0,2,4,6
/proc/10483/task/10494/stat : 10494 (java) S 10480 10483 7126 0 -1 4202560 1024 0 0 0 522 8 0 0 20 0 19 0 5286233 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685714254440 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10483/tid=10495] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10495/stat : 10495 (java) S 10480 10483 7126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5286234 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685713200760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10483/tid=10496] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10496/stat : 10496 (java) S 10480 10483 7126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5286234 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685712148104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10483/tid=10497] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10497/stat : 10497 (java) S 10480 10483 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5286236 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685711096848 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10483/tid=10498] ppid=10480 vsize=9625040 CPUtime=0.79 cores=0,2,4,6
/proc/10483/task/10498/stat : 10498 (java) S 10480 10483 7126 0 -1 4202560 4562 0 0 0 78 1 0 0 20 0 19 0 5286236 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685710043192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10483/tid=10499] ppid=10480 vsize=9625040 CPUtime=1.04 cores=0,2,4,6
/proc/10483/task/10499/stat : 10499 (java) S 10480 10483 7126 0 -1 4202560 13860 0 0 0 101 3 0 0 20 0 19 0 5286236 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685708990648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10483/tid=10500] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10500/stat : 10500 (java) S 10480 10483 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5286236 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685707938296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10483/tid=10501] ppid=10480 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/10483/task/10501/stat : 10501 (java) S 10480 10483 7126 0 -1 4202560 102 0 0 0 26 24 0 0 20 0 19 0 5286236 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685706885960 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10483/tid=10502] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10502/stat : 10502 (java) S 10480 10483 7126 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 5286285 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685705831720 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10483 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1783.3 s]
/proc/loadavg: 2.23 2.20 2.23 2/188 10603
/proc/meminfo: memFree=28209688/32872528 swapFree=1525072/1694724
[pid=10483] ppid=10480 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/10483/stat : 10483 (java) S 10480 10483 7126 0 -1 4202496 43240 0 1 0 179848 153 0 0 20 0 19 0 5286231 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 140733545101968 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10483/statm: 2406260 99882 2301 9 0 2396937 0
[pid=10483/tid=10484] ppid=10480 vsize=9625040 CPUtime=1771.16 cores=0,2,4,6
/proc/10483/task/10484/stat : 10484 (java) R 10480 10483 7126 0 -1 4202560 3012 0 1 0 177082 34 0 0 20 0 19 0 5286231 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685890485440 139685830922643 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10483/tid=10486] ppid=10480 vsize=9625040 CPUtime=2.69 cores=0,2,4,6
/proc/10483/task/10486/stat : 10486 (java) S 10480 10483 7126 0 -1 4202560 2419 0 0 0 254 15 0 0 20 0 19 0 5286232 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685829216936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10483/tid=10487] ppid=10480 vsize=9625040 CPUtime=2.63 cores=0,2,4,6
/proc/10483/task/10487/stat : 10487 (java) S 10480 10483 7126 0 -1 4202560 2436 0 0 0 251 12 0 0 20 0 19 0 5286232 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685828164392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10483/tid=10488] ppid=10480 vsize=9625040 CPUtime=2.75 cores=0,2,4,6
/proc/10483/task/10488/stat : 10488 (java) S 10480 10483 7126 0 -1 4202560 3250 0 0 0 258 17 0 0 20 0 19 0 5286232 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685827111848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10483/tid=10489] ppid=10480 vsize=9625040 CPUtime=2.84 cores=0,2,4,6
/proc/10483/task/10489/stat : 10489 (java) S 10480 10483 7126 0 -1 4202560 2437 0 0 0 269 15 0 0 20 0 19 0 5286232 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685730663464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10483/tid=10490] ppid=10480 vsize=9625040 CPUtime=2.59 cores=0,2,4,6
/proc/10483/task/10490/stat : 10490 (java) S 10480 10483 7126 0 -1 4202560 2127 0 0 0 242 17 0 0 20 0 19 0 5286232 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685729609896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10483/tid=10491] ppid=10480 vsize=9625040 CPUtime=2.8 cores=0,2,4,6
/proc/10483/task/10491/stat : 10491 (java) S 10480 10483 7126 0 -1 4202560 2100 0 0 0 266 14 0 0 20 0 19 0 5286232 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685728557352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10483/tid=10492] ppid=10480 vsize=9625040 CPUtime=2.88 cores=0,2,4,6
/proc/10483/task/10492/stat : 10492 (java) S 10480 10483 7126 0 -1 4202560 2714 0 0 0 273 15 0 0 20 0 19 0 5286232 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685727504808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10483/tid=10493] ppid=10480 vsize=9625040 CPUtime=2.58 cores=0,2,4,6
/proc/10483/task/10493/stat : 10493 (java) S 10480 10483 7126 0 -1 4202560 1933 0 0 0 245 13 0 0 20 0 19 0 5286232 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685726452264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10483/tid=10494] ppid=10480 vsize=9625040 CPUtime=5.3 cores=0,2,4,6
/proc/10483/task/10494/stat : 10494 (java) S 10480 10483 7126 0 -1 4202560 1024 0 0 0 522 8 0 0 20 0 19 0 5286233 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685714254440 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10483/tid=10495] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10495/stat : 10495 (java) S 10480 10483 7126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5286234 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685713200760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10483/tid=10496] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10496/stat : 10496 (java) S 10480 10483 7126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5286234 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685712148104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10483/tid=10497] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10497/stat : 10497 (java) S 10480 10483 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5286236 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685711096848 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10483/tid=10498] ppid=10480 vsize=9625040 CPUtime=0.79 cores=0,2,4,6
/proc/10483/task/10498/stat : 10498 (java) S 10480 10483 7126 0 -1 4202560 4562 0 0 0 78 1 0 0 20 0 19 0 5286236 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685710043192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10483/tid=10499] ppid=10480 vsize=9625040 CPUtime=1.04 cores=0,2,4,6
/proc/10483/task/10499/stat : 10499 (java) S 10480 10483 7126 0 -1 4202560 13860 0 0 0 101 3 0 0 20 0 19 0 5286236 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685708990648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10483/tid=10500] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10500/stat : 10500 (java) S 10480 10483 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5286236 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685707938296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10483/tid=10501] ppid=10480 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/10483/task/10501/stat : 10501 (java) S 10480 10483 7126 0 -1 4202560 102 0 0 0 26 24 0 0 20 0 19 0 5286236 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685706885960 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10483/tid=10502] ppid=10480 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10483/task/10502/stat : 10502 (java) S 10480 10483 7126 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 5286285 9856040960 99882 33554432000 1073741824 1073778376 140733545110832 139685705831720 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625040
Child status: 143
Real time (s): 1783.34
CPU time (s): 1800.88
CPU user time (s): 1798.86
CPU system time (s): 2.02069
CPU usage (%): 100.984
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.86
system time used= 2.02069
maximum resident set size= 713544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43276
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 52179
involuntary context switches= 50584
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.96049 second user time and 13.385 second system time
The end