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-4096138-1466103003/watcher-4096138-1466103003 -o /tmp/evaluation-result-4096138-1466103003/solver-4096138-1466103003 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466098131-17935 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4096138-1466103003.opb
pid=18625
running on 8 cores: 4-7,12-15
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.02 2.01 2.00 3/282 18628
/proc/meminfo: memFree=31832024/32872528 swapFree=7036/7036
[pid=18628] ppid=18625 vsize=92900 CPUtime=0 cores=4-7,12-15
/proc/18628/stat : 18628 (java) S 18625 18628 17918 0 -1 4202496 1295 0 0 0 0 0 0 0 20 0 2 0 12344885 95129600 927 33554432000 1073741824 1073778376 140734601937632 140734601928768 216811995197 0 0 4096 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/18628/statm: 23225 927 703 9 0 16769 0
[pid=18628/tid=18629] ppid=18625 vsize=92900 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18629/stat : 18629 (java) D 18625 18628 17918 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 12344886 95129600 927 33554432000 1073741824 1073778376 140734601937632 140409336962600 216799472935 0 0 4096 0 18446744072100756772 0 0 -1 14 0 0 0 0 0
[startup+0.100098 s]
/proc/loadavg: 2.02 2.01 2.00 3/282 18628
/proc/meminfo: memFree=31832024/32872528 swapFree=7036/7036
[pid=18628] ppid=18625 vsize=9896436 CPUtime=0.1 cores=4-7,12-15
/proc/18628/stat : 18628 (java) S 18625 18628 17918 0 -1 4202496 4459 0 1 0 8 2 0 0 20 0 23 0 12344885 10133950464 6072 33554432000 1073741824 1073778376 140734601937632 140734601928768 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/18628/statm: 2474109 6072 2125 9 0 2464786 0
[pid=18628/tid=18629] ppid=18625 vsize=9896436 CPUtime=0.06 cores=4-7,12-15
/proc/18628/task/18629/stat : 18629 (java) R 18625 18628 17918 0 -1 4202560 2418 0 1 0 5 1 0 0 20 0 23 0 12344886 10133950464 6072 33554432000 1073741824 1073778376 140734601937632 140409336966048 140409327026676 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9896436
[startup+0.20035 s]
/proc/loadavg: 2.02 2.01 2.00 3/282 18628
/proc/meminfo: memFree=31832024/32872528 swapFree=7036/7036
[pid=18628] ppid=18625 vsize=9963000 CPUtime=0.3 cores=4-7,12-15
/proc/18628/stat : 18628 (java) S 18625 18628 17918 0 -1 4202496 6168 0 1 0 28 2 0 0 20 0 24 0 12344885 10202112000 6968 33554432000 1073741824 1073778376 140734601937632 140734601928768 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/18628/statm: 2490750 6968 2227 9 0 2481427 0
[pid=18628/tid=18629] ppid=18625 vsize=9963000 CPUtime=0.16 cores=4-7,12-15
/proc/18628/task/18629/stat : 18629 (java) R 18625 18628 17918 0 -1 4202560 2438 0 1 0 15 1 0 0 20 0 24 0 12344886 10202112000 6968 33554432000 1073741824 1073778376 140734601937632 140409336967808 140409340253062 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9963000
[startup+0.300353 s]
/proc/loadavg: 2.02 2.01 2.00 3/282 18628
/proc/meminfo: memFree=31832024/32872528 swapFree=7036/7036
[pid=18628] ppid=18625 vsize=9963000 CPUtime=0.56 cores=4-7,12-15
/proc/18628/stat : 18628 (java) S 18625 18628 17918 0 -1 4202496 8915 0 1 0 54 2 0 0 20 0 24 0 12344885 10202112000 9249 33554432000 1073741824 1073778376 140734601937632 140734601928768 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/18628/statm: 2490750 9249 2238 9 0 2481427 0
[pid=18628/tid=18629] ppid=18625 vsize=9963000 CPUtime=0.26 cores=4-7,12-15
/proc/18628/task/18629/stat : 18629 (java) R 18625 18628 17918 0 -1 4202560 2439 0 1 0 25 1 0 0 20 0 24 0 12344886 10202112000 9249 33554432000 1073741824 1073778376 140734601937632 140409336967808 140409209015265 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9963000
[startup+0.700254 s]
/proc/loadavg: 2.02 2.01 2.00 3/282 18628
/proc/meminfo: memFree=31832024/32872528 swapFree=7036/7036
[pid=18628] ppid=18625 vsize=9963000 CPUtime=1.06 cores=4-7,12-15
/proc/18628/stat : 18628 (java) S 18625 18628 17918 0 -1 4202496 9841 0 1 0 104 2 0 0 20 0 24 0 12344885 10202112000 9778 33554432000 1073741824 1073778376 140734601937632 140734601928768 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/18628/statm: 2490750 9778 2248 9 0 2481427 0
[pid=18628/tid=18629] ppid=18625 vsize=9963000 CPUtime=0.66 cores=4-7,12-15
/proc/18628/task/18629/stat : 18629 (java) R 18625 18628 17918 0 -1 4202560 2440 0 1 0 65 1 0 0 20 0 24 0 12344886 10202112000 9778 33554432000 1073741824 1073778376 140734601937632 140409336967808 140409209061181 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 9963000
[startup+1.50087 s]
/proc/loadavg: 2.01 2.01 2.00 3/306 18652
/proc/meminfo: memFree=31798552/32872528 swapFree=7036/7036
[pid=18628] ppid=18625 vsize=9963000 CPUtime=1.91 cores=4-7,12-15
/proc/18628/stat : 18628 (java) S 18625 18628 17918 0 -1 4202496 9845 0 1 0 189 2 0 0 20 0 24 0 12344885 10202112000 10292 33554432000 1073741824 1073778376 140734601937632 140734601928768 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/18628/statm: 2490750 10292 2249 9 0 2481427 0
[pid=18628/tid=18629] ppid=18625 vsize=9963000 CPUtime=1.46 cores=4-7,12-15
/proc/18628/task/18629/stat : 18629 (java) R 18625 18628 17918 0 -1 4202560 2442 0 1 0 145 1 0 0 20 0 24 0 12344886 10202112000 10292 33554432000 1073741824 1073778376 140734601937632 140409336958672 140409209106605 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18628/tid=18631] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18631/stat : 18631 (java) S 18625 18628 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12344887 10202112000 10292 33554432000 1073741824 1073778376 140734601937632 140409180994088 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18628/tid=18632] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18632/stat : 18632 (java) S 18625 18628 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12344887 10202112000 10292 33554432000 1073741824 1073778376 140734601937632 140409179941288 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18628/tid=18633] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18633/stat : 18633 (java) S 18625 18628 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12344887 10202112000 10292 33554432000 1073741824 1073778376 140734601937632 140409178888488 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18628/tid=18634] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18634/stat : 18634 (java) S 18625 18628 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12344887 10202112000 10292 33554432000 1073741824 1073778376 140734601937632 140409177835688 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18628/tid=18635] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18635/stat : 18635 (java) S 18625 18628 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12344887 10202112000 10292 33554432000 1073741824 1073778376 140734601937632 140409176783912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18628/tid=18636] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18636/stat : 18636 (java) S 18625 18628 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12344887 10202112000 10292 33554432000 1073741824 1073778376 140734601937632 140409175731112 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18628/tid=18637] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18637/stat : 18637 (java) S 18625 18628 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12344887 10202112000 10292 33554432000 1073741824 1073778376 140734601937632 140409174678312 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18628/tid=18638] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18638/stat : 18638 (java) S 18625 18628 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 12344887 10202112000 10292 33554432000 1073741824 1073778376 140734601937632 140409173625512 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18628/tid=18639] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18639/stat : 18639 (java) S 18625 18628 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 12344887 10202112000 10292 33554432000 1073741824 1073778376 140734601937632 140409172572712 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=18628/tid=18640] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18640/stat : 18640 (java) S 18625 18628 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 12344887 10202112000 10292 33554432000 1073741824 1073778376 140734601937632 140409171519912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18628/tid=18641] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18641/stat : 18641 (java) S 18625 18628 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 12344887 10202112000 10292 33554432000 1073741824 1073778376 140734601937632 140409170467112 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18628/tid=18642] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18642/stat : 18642 (java) S 18625 18628 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 12344887 10202112000 10292 33554432000 1073741824 1073778376 140734601937632 140409169414312 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18628/tid=18643] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18643/stat : 18643 (java) S 18625 18628 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 12344887 10202112000 10292 33554432000 1073741824 1073778376 140734601937632 140409168362536 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18628/tid=18644] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18644/stat : 18644 (java) S 18625 18628 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 12344888 10202112000 10292 33554432000 1073741824 1073778376 140734601937632 140409150688104 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18628/tid=18645] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18645/stat : 18645 (java) S 18625 18628 17918 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 24 0 12344889 10202112000 10292 33554432000 1073741824 1073778376 140734601937632 140409149634168 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18628/tid=18646] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18646/stat : 18646 (java) S 18625 18628 17918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 12344889 10202112000 10292 33554432000 1073741824 1073778376 140734601937632 140409148581256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18628/tid=18647] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18647/stat : 18647 (java) S 18625 18628 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12344891 10202112000 10292 33554432000 1073741824 1073778376 140734601937632 140409147529744 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18628/tid=18648] ppid=18625 vsize=9963000 CPUtime=0.18 cores=4-7,12-15
/proc/18628/task/18648/stat : 18648 (java) S 18625 18628 17918 0 -1 4202560 2459 0 0 0 18 0 0 0 20 0 24 0 12344891 10202112000 10292 33554432000 1073741824 1073778376 140734601937632 140409146476856 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18628/tid=18649] ppid=18625 vsize=9963000 CPUtime=0.23 cores=4-7,12-15
/proc/18628/task/18649/stat : 18649 (java) S 18625 18628 17918 0 -1 4202560 3658 0 0 0 23 0 0 0 20 0 24 0 12344891 10202112000 10292 33554432000 1073741824 1073778376 140734601937632 140409145424056 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=18628/tid=18650] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18650/stat : 18650 (java) S 18625 18628 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12344891 10202112000 10292 33554432000 1073741824 1073778376 140734601937632 140409144371448 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=18628/tid=18651] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18651/stat : 18651 (java) S 18625 18628 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12344891 10202112000 10292 33554432000 1073741824 1073778376 140734601937632 140409143319880 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18628/tid=18652] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18652/stat : 18652 (java) S 18625 18628 17918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 12344900 10202112000 10292 33554432000 1073741824 1073778376 140734601937632 140409142216232 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 9963000
[startup+3.10091 s]
/proc/loadavg: 2.01 2.01 2.00 3/306 18652
/proc/meminfo: memFree=31793712/32872528 swapFree=7036/7036
[pid=18628] ppid=18625 vsize=9963000 CPUtime=3.51 cores=4-7,12-15
/proc/18628/stat : 18628 (java) S 18625 18628 17918 0 -1 4202496 9848 0 1 0 349 2 0 0 20 0 24 0 12344885 10202112000 11828 33554432000 1073741824 1073778376 140734601937632 140734601928768 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/18628/statm: 2490750 11828 2249 9 0 2481427 0
[pid=18628/tid=18629] ppid=18625 vsize=9963000 CPUtime=3.06 cores=4-7,12-15
/proc/18628/task/18629/stat : 18629 (java) R 18625 18628 17918 0 -1 4202560 2445 0 1 0 305 1 0 0 20 0 24 0 12344886 10202112000 11828 33554432000 1073741824 1073778376 140734601937632 140409336958672 140409209061176 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18628/tid=18631] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18631/stat : 18631 (java) S 18625 18628 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12344887 10202112000 11828 33554432000 1073741824 1073778376 140734601937632 140409180994088 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18628/tid=18632] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18632/stat : 18632 (java) S 18625 18628 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12344887 10202112000 11828 33554432000 1073741824 1073778376 140734601937632 140409179941288 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18628/tid=18633] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18633/stat : 18633 (java) S 18625 18628 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12344887 10202112000 11828 33554432000 1073741824 1073778376 140734601937632 140409178888488 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18628/tid=18634] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18634/stat : 18634 (java) S 18625 18628 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12344887 10202112000 11828 33554432000 1073741824 1073778376 140734601937632 140409177835688 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18628/tid=18635] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18635/stat : 18635 (java) S 18625 18628 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12344887 10202112000 11828 33554432000 1073741824 1073778376 140734601937632 140409176783912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18628/tid=18636] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18636/stat : 18636 (java) S 18625 18628 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12344887 10202112000 11828 33554432000 1073741824 1073778376 140734601937632 140409175731112 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18628/tid=18637] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18637/stat : 18637 (java) S 18625 18628 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12344887 10202112000 11828 33554432000 1073741824 1073778376 140734601937632 140409174678312 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18628/tid=18638] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18638/stat : 18638 (java) S 18625 18628 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 12344887 10202112000 11828 33554432000 1073741824 1073778376 140734601937632 140409173625512 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18628/tid=18639] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18639/stat : 18639 (java) S 18625 18628 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 12344887 10202112000 11828 33554432000 1073741824 1073778376 140734601937632 140409172572712 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=18628/tid=18640] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18640/stat : 18640 (java) S 18625 18628 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 12344887 10202112000 11828 33554432000 1073741824 1073778376 140734601937632 140409171519912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18628/tid=18641] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18641/stat : 18641 (java) S 18625 18628 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 12344887 10202112000 11828 33554432000 1073741824 1073778376 140734601937632 140409170467112 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18628/tid=18642] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18642/stat : 18642 (java) S 18625 18628 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 12344887 10202112000 11828 33554432000 1073741824 1073778376 140734601937632 140409169414312 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18628/tid=18643] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18643/stat : 18643 (java) S 18625 18628 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 12344887 10202112000 11828 33554432000 1073741824 1073778376 140734601937632 140409168362536 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18628/tid=18644] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18644/stat : 18644 (java) S 18625 18628 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 12344888 10202112000 11828 33554432000 1073741824 1073778376 140734601937632 140409150688104 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18628/tid=18645] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18645/stat : 18645 (java) S 18625 18628 17918 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 24 0 12344889 10202112000 11828 33554432000 1073741824 1073778376 140734601937632 140409149634168 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18628/tid=18646] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18646/stat : 18646 (java) S 18625 18628 17918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 12344889 10202112000 11828 33554432000 1073741824 1073778376 140734601937632 140409148581256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18628/tid=18647] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18647/stat : 18647 (java) S 18625 18628 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12344891 10202112000 11828 33554432000 1073741824 1073778376 140734601937632 140409147529744 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18628/tid=18648] ppid=18625 vsize=9963000 CPUtime=0.18 cores=4-7,12-15
/proc/18628/task/18648/stat : 18648 (java) S 18625 18628 17918 0 -1 4202560 2459 0 0 0 18 0 0 0 20 0 24 0 12344891 10202112000 11828 33554432000 1073741824 1073778376 140734601937632 140409146476856 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18628/tid=18649] ppid=18625 vsize=9963000 CPUtime=0.23 cores=4-7,12-15
/proc/18628/task/18649/stat : 18649 (java) S 18625 18628 17918 0 -1 4202560 3658 0 0 0 23 0 0 0 20 0 24 0 12344891 10202112000 11828 33554432000 1073741824 1073778376 140734601937632 140409145424056 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=18628/tid=18650] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18650/stat : 18650 (java) S 18625 18628 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12344891 10202112000 11828 33554432000 1073741824 1073778376 140734601937632 140409144371448 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=18628/tid=18651] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18651/stat : 18651 (java) S 18625 18628 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12344891 10202112000 11828 33554432000 1073741824 1073778376 140734601937632 140409143319880 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18628/tid=18652] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18652/stat : 18652 (java) S 18625 18628 17918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 12344900 10202112000 11828 33554432000 1073741824 1073778376 140734601937632 140409142216232 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 3.51
Current children cumulated vsize (KiB) 9963000
[startup+6.30092 s]
/proc/loadavg: 2.01 2.01 2.00 3/306 18652
/proc/meminfo: memFree=31785048/32872528 swapFree=7036/7036
[pid=18628] ppid=18625 vsize=9963000 CPUtime=6.72 cores=4-7,12-15
/proc/18628/stat : 18628 (java) S 18625 18628 17918 0 -1 4202496 9854 0 1 0 669 3 0 0 20 0 24 0 12344885 10202112000 13861 33554432000 1073741824 1073778376 140734601937632 140734601928768 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/18628/statm: 2490750 13861 2250 9 0 2481427 0
[pid=18628/tid=18629] ppid=18625 vsize=9963000 CPUtime=6.25 cores=4-7,12-15
/proc/18628/task/18629/stat : 18629 (java) R 18625 18628 17918 0 -1 4202560 2450 0 1 0 624 1 0 0 20 0 24 0 12344886 10202112000 13861 33554432000 1073741824 1073778376 140734601937632 140409336958672 140409209061315 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18628/tid=18631] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18631/stat : 18631 (java) S 18625 18628 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12344887 10202112000 13861 33554432000 1073741824 1073778376 140734601937632 140409180994088 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18628/tid=18632] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18632/stat : 18632 (java) S 18625 18628 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12344887 10202112000 13861 33554432000 1073741824 1073778376 140734601937632 140409179941288 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18628/tid=18633] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18633/stat : 18633 (java) S 18625 18628 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12344887 10202112000 13861 33554432000 1073741824 1073778376 140734601937632 140409178888488 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18628/tid=18634] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
################
# More data... #
################
/proc/18628/task/18639/stat : 18639 (java) S 18625 18628 17918 0 -1 4202560 118 0 0 0 9 4 0 0 20 0 24 0 12344887 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409172572712 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18628/tid=18640] ppid=18625 vsize=9963000 CPUtime=0.07 cores=4-7,12-15
/proc/18628/task/18640/stat : 18640 (java) S 18625 18628 17918 0 -1 4202560 51 0 0 0 6 1 0 0 20 0 24 0 12344887 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409171519912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18628/tid=18641] ppid=18625 vsize=9963000 CPUtime=0.1 cores=4-7,12-15
/proc/18628/task/18641/stat : 18641 (java) S 18625 18628 17918 0 -1 4202560 110 0 0 0 7 3 0 0 20 0 24 0 12344887 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409170467112 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18628/tid=18642] ppid=18625 vsize=9963000 CPUtime=0.09 cores=4-7,12-15
/proc/18628/task/18642/stat : 18642 (java) S 18625 18628 17918 0 -1 4202560 162 0 0 0 6 3 0 0 20 0 24 0 12344887 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409169414312 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18628/tid=18643] ppid=18625 vsize=9963000 CPUtime=0.16 cores=4-7,12-15
/proc/18628/task/18643/stat : 18643 (java) S 18625 18628 17918 0 -1 4202560 119 0 0 0 11 5 0 0 20 0 24 0 12344887 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409168362536 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18628/tid=18644] ppid=18625 vsize=9963000 CPUtime=0.01 cores=4-7,12-15
/proc/18628/task/18644/stat : 18644 (java) S 18625 18628 17918 0 -1 4202560 53 0 0 0 1 0 0 0 20 0 24 0 12344888 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409150688104 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18628/tid=18645] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18645/stat : 18645 (java) S 18625 18628 17918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 12344889 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409149634168 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18628/tid=18646] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18646/stat : 18646 (java) S 18625 18628 17918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 12344889 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409148581256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18628/tid=18647] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18647/stat : 18647 (java) S 18625 18628 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12344891 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409147529744 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18628/tid=18648] ppid=18625 vsize=9963000 CPUtime=0.18 cores=4-7,12-15
/proc/18628/task/18648/stat : 18648 (java) S 18625 18628 17918 0 -1 4202560 2459 0 0 0 18 0 0 0 20 0 24 0 12344891 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409146476856 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18628/tid=18649] ppid=18625 vsize=9963000 CPUtime=0.26 cores=4-7,12-15
/proc/18628/task/18649/stat : 18649 (java) S 18625 18628 17918 0 -1 4202560 3663 0 0 0 26 0 0 0 20 0 24 0 12344891 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409145424056 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18628/tid=18650] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18650/stat : 18650 (java) S 18625 18628 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12344891 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409144371448 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=18628/tid=18651] ppid=18625 vsize=9963000 CPUtime=0.54 cores=4-7,12-15
/proc/18628/task/18651/stat : 18651 (java) S 18625 18628 17918 0 -1 4202560 98 0 0 0 24 30 0 0 20 0 24 0 12344891 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409143319880 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18628/tid=18652] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18652/stat : 18652 (java) S 18625 18628 17918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 12344900 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409142216232 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1724.56
Current children cumulated vsize (KiB) 9963000
[startup+1782.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/305 18786
/proc/meminfo: memFree=31533968/32872528 swapFree=7036/7036
[pid=18628] ppid=18625 vsize=9963000 CPUtime=1784.58 cores=4-7,12-15
/proc/18628/stat : 18628 (java) S 18625 18628 17918 0 -1 4202496 11687 0 1 0 178373 85 0 0 20 0 24 0 12344885 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140734601928768 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/18628/statm: 2490750 74251 2266 9 0 2481427 0
[pid=18628/tid=18629] ppid=18625 vsize=9963000 CPUtime=1777.36 cores=4-7,12-15
/proc/18628/task/18629/stat : 18629 (java) R 18625 18628 17918 0 -1 4202560 2513 0 1 0 177706 30 0 0 20 0 24 0 12344886 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409336958768 140409209061315 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0
[pid=18628/tid=18631] ppid=18625 vsize=9963000 CPUtime=0.19 cores=4-7,12-15
/proc/18628/task/18631/stat : 18631 (java) S 18625 18628 17918 0 -1 4202560 175 0 0 0 14 5 0 0 20 0 24 0 12344887 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409180994088 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18628/tid=18632] ppid=18625 vsize=9963000 CPUtime=0.11 cores=4-7,12-15
/proc/18628/task/18632/stat : 18632 (java) S 18625 18628 17918 0 -1 4202560 88 0 0 0 7 4 0 0 20 0 24 0 12344887 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409179941288 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18628/tid=18633] ppid=18625 vsize=9963000 CPUtime=0.19 cores=4-7,12-15
/proc/18628/task/18633/stat : 18633 (java) S 18625 18628 17918 0 -1 4202560 174 0 0 0 13 6 0 0 20 0 24 0 12344887 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409178888488 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18628/tid=18634] ppid=18625 vsize=9963000 CPUtime=0.11 cores=4-7,12-15
/proc/18628/task/18634/stat : 18634 (java) S 18625 18628 17918 0 -1 4202560 49 0 0 0 7 4 0 0 20 0 24 0 12344887 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409177835688 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18628/tid=18635] ppid=18625 vsize=9963000 CPUtime=0.1 cores=4-7,12-15
/proc/18628/task/18635/stat : 18635 (java) S 18625 18628 17918 0 -1 4202560 28 0 0 0 7 3 0 0 20 0 24 0 12344887 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409176783912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18628/tid=18636] ppid=18625 vsize=9963000 CPUtime=0.11 cores=4-7,12-15
/proc/18628/task/18636/stat : 18636 (java) S 18625 18628 17918 0 -1 4202560 140 0 0 0 8 3 0 0 20 0 24 0 12344887 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409175731112 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18628/tid=18637] ppid=18625 vsize=9963000 CPUtime=0.19 cores=4-7,12-15
/proc/18628/task/18637/stat : 18637 (java) S 18625 18628 17918 0 -1 4202560 194 0 0 0 13 6 0 0 20 0 24 0 12344887 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409174678312 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18628/tid=18638] ppid=18625 vsize=9963000 CPUtime=0.12 cores=4-7,12-15
/proc/18628/task/18638/stat : 18638 (java) S 18625 18628 17918 0 -1 4202560 230 0 0 0 9 3 0 0 20 0 24 0 12344887 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409173625512 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=18628/tid=18639] ppid=18625 vsize=9963000 CPUtime=0.13 cores=4-7,12-15
/proc/18628/task/18639/stat : 18639 (java) S 18625 18628 17918 0 -1 4202560 118 0 0 0 9 4 0 0 20 0 24 0 12344887 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409172572712 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18628/tid=18640] ppid=18625 vsize=9963000 CPUtime=0.07 cores=4-7,12-15
/proc/18628/task/18640/stat : 18640 (java) S 18625 18628 17918 0 -1 4202560 51 0 0 0 6 1 0 0 20 0 24 0 12344887 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409171519912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18628/tid=18641] ppid=18625 vsize=9963000 CPUtime=0.1 cores=4-7,12-15
/proc/18628/task/18641/stat : 18641 (java) S 18625 18628 17918 0 -1 4202560 110 0 0 0 7 3 0 0 20 0 24 0 12344887 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409170467112 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18628/tid=18642] ppid=18625 vsize=9963000 CPUtime=0.09 cores=4-7,12-15
/proc/18628/task/18642/stat : 18642 (java) S 18625 18628 17918 0 -1 4202560 162 0 0 0 6 3 0 0 20 0 24 0 12344887 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409169414312 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18628/tid=18643] ppid=18625 vsize=9963000 CPUtime=0.16 cores=4-7,12-15
/proc/18628/task/18643/stat : 18643 (java) S 18625 18628 17918 0 -1 4202560 119 0 0 0 11 5 0 0 20 0 24 0 12344887 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409168362536 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18628/tid=18644] ppid=18625 vsize=9963000 CPUtime=0.02 cores=4-7,12-15
/proc/18628/task/18644/stat : 18644 (java) S 18625 18628 17918 0 -1 4202560 53 0 0 0 1 1 0 0 20 0 24 0 12344888 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409150688104 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18628/tid=18645] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18645/stat : 18645 (java) S 18625 18628 17918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 12344889 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409149634168 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18628/tid=18646] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18646/stat : 18646 (java) S 18625 18628 17918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 12344889 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409148581256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18628/tid=18647] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18647/stat : 18647 (java) S 18625 18628 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12344891 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409147529744 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18628/tid=18648] ppid=18625 vsize=9963000 CPUtime=0.18 cores=4-7,12-15
/proc/18628/task/18648/stat : 18648 (java) S 18625 18628 17918 0 -1 4202560 2459 0 0 0 18 0 0 0 20 0 24 0 12344891 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409146476856 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18628/tid=18649] ppid=18625 vsize=9963000 CPUtime=0.26 cores=4-7,12-15
/proc/18628/task/18649/stat : 18649 (java) S 18625 18628 17918 0 -1 4202560 3663 0 0 0 26 0 0 0 20 0 24 0 12344891 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409145424056 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18628/tid=18650] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18650/stat : 18650 (java) S 18625 18628 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12344891 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409144371448 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=18628/tid=18651] ppid=18625 vsize=9963000 CPUtime=0.57 cores=4-7,12-15
/proc/18628/task/18651/stat : 18651 (java) S 18625 18628 17918 0 -1 4202560 102 0 0 0 25 32 0 0 20 0 24 0 12344891 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409143319880 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18628/tid=18652] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18652/stat : 18652 (java) S 18625 18628 17918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 12344900 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409142216232 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1784.58
Current children cumulated vsize (KiB) 9963000
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.81 s]
/proc/loadavg: 2.06 2.07 2.01 3/308 18790
/proc/meminfo: memFree=31533340/32872528 swapFree=7036/7036
[pid=18628] ppid=18625 vsize=9963000 CPUtime=1800.08 cores=4-7,12-15
/proc/18628/stat : 18628 (java) S 18625 18628 17918 0 -1 4202496 11687 0 1 0 179923 85 0 0 20 0 24 0 12344885 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140734601928768 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/18628/statm: 2490750 74251 2266 9 0 2481427 0
[pid=18628/tid=18629] ppid=18625 vsize=9963000 CPUtime=1792.83 cores=4-7,12-15
/proc/18628/task/18629/stat : 18629 (java) R 18625 18628 17918 0 -1 4202560 2513 0 1 0 179253 30 0 0 20 0 24 0 12344886 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409336958768 140409209061881 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0
[pid=18628/tid=18631] ppid=18625 vsize=9963000 CPUtime=0.19 cores=4-7,12-15
/proc/18628/task/18631/stat : 18631 (java) S 18625 18628 17918 0 -1 4202560 175 0 0 0 14 5 0 0 20 0 24 0 12344887 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409180994088 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18628/tid=18632] ppid=18625 vsize=9963000 CPUtime=0.11 cores=4-7,12-15
/proc/18628/task/18632/stat : 18632 (java) S 18625 18628 17918 0 -1 4202560 88 0 0 0 7 4 0 0 20 0 24 0 12344887 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409179941288 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18628/tid=18633] ppid=18625 vsize=9963000 CPUtime=0.19 cores=4-7,12-15
/proc/18628/task/18633/stat : 18633 (java) S 18625 18628 17918 0 -1 4202560 174 0 0 0 13 6 0 0 20 0 24 0 12344887 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409178888488 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18628/tid=18634] ppid=18625 vsize=9963000 CPUtime=0.11 cores=4-7,12-15
/proc/18628/task/18634/stat : 18634 (java) S 18625 18628 17918 0 -1 4202560 49 0 0 0 7 4 0 0 20 0 24 0 12344887 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409177835688 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18628/tid=18635] ppid=18625 vsize=9963000 CPUtime=0.1 cores=4-7,12-15
/proc/18628/task/18635/stat : 18635 (java) S 18625 18628 17918 0 -1 4202560 28 0 0 0 7 3 0 0 20 0 24 0 12344887 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409176783912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18628/tid=18636] ppid=18625 vsize=9963000 CPUtime=0.11 cores=4-7,12-15
/proc/18628/task/18636/stat : 18636 (java) S 18625 18628 17918 0 -1 4202560 140 0 0 0 8 3 0 0 20 0 24 0 12344887 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409175731112 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18628/tid=18637] ppid=18625 vsize=9963000 CPUtime=0.19 cores=4-7,12-15
/proc/18628/task/18637/stat : 18637 (java) S 18625 18628 17918 0 -1 4202560 194 0 0 0 13 6 0 0 20 0 24 0 12344887 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409174678312 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18628/tid=18638] ppid=18625 vsize=9963000 CPUtime=0.12 cores=4-7,12-15
/proc/18628/task/18638/stat : 18638 (java) S 18625 18628 17918 0 -1 4202560 230 0 0 0 9 3 0 0 20 0 24 0 12344887 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409173625512 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=18628/tid=18639] ppid=18625 vsize=9963000 CPUtime=0.13 cores=4-7,12-15
/proc/18628/task/18639/stat : 18639 (java) S 18625 18628 17918 0 -1 4202560 118 0 0 0 9 4 0 0 20 0 24 0 12344887 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409172572712 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18628/tid=18640] ppid=18625 vsize=9963000 CPUtime=0.07 cores=4-7,12-15
/proc/18628/task/18640/stat : 18640 (java) S 18625 18628 17918 0 -1 4202560 51 0 0 0 6 1 0 0 20 0 24 0 12344887 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409171519912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18628/tid=18641] ppid=18625 vsize=9963000 CPUtime=0.1 cores=4-7,12-15
/proc/18628/task/18641/stat : 18641 (java) S 18625 18628 17918 0 -1 4202560 110 0 0 0 7 3 0 0 20 0 24 0 12344887 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409170467112 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18628/tid=18642] ppid=18625 vsize=9963000 CPUtime=0.09 cores=4-7,12-15
/proc/18628/task/18642/stat : 18642 (java) S 18625 18628 17918 0 -1 4202560 162 0 0 0 6 3 0 0 20 0 24 0 12344887 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409169414312 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18628/tid=18643] ppid=18625 vsize=9963000 CPUtime=0.16 cores=4-7,12-15
/proc/18628/task/18643/stat : 18643 (java) S 18625 18628 17918 0 -1 4202560 119 0 0 0 11 5 0 0 20 0 24 0 12344887 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409168362536 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18628/tid=18644] ppid=18625 vsize=9963000 CPUtime=0.02 cores=4-7,12-15
/proc/18628/task/18644/stat : 18644 (java) S 18625 18628 17918 0 -1 4202560 53 0 0 0 1 1 0 0 20 0 24 0 12344888 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409150688104 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18628/tid=18645] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18645/stat : 18645 (java) S 18625 18628 17918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 12344889 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409149634168 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18628/tid=18646] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18646/stat : 18646 (java) S 18625 18628 17918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 12344889 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409148581256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18628/tid=18647] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18647/stat : 18647 (java) S 18625 18628 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12344891 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409147529744 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18628/tid=18648] ppid=18625 vsize=9963000 CPUtime=0.18 cores=4-7,12-15
/proc/18628/task/18648/stat : 18648 (java) S 18625 18628 17918 0 -1 4202560 2459 0 0 0 18 0 0 0 20 0 24 0 12344891 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409146476856 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18628/tid=18649] ppid=18625 vsize=9963000 CPUtime=0.26 cores=4-7,12-15
/proc/18628/task/18649/stat : 18649 (java) S 18625 18628 17918 0 -1 4202560 3663 0 0 0 26 0 0 0 20 0 24 0 12344891 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409145424056 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18628/tid=18650] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18650/stat : 18650 (java) S 18625 18628 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 12344891 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409144371448 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=18628/tid=18651] ppid=18625 vsize=9963000 CPUtime=0.58 cores=4-7,12-15
/proc/18628/task/18651/stat : 18651 (java) S 18625 18628 17918 0 -1 4202560 102 0 0 0 26 32 0 0 20 0 24 0 12344891 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409143319880 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18628/tid=18652] ppid=18625 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/18628/task/18652/stat : 18652 (java) S 18625 18628 17918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 12344900 10202112000 74251 33554432000 1073741824 1073778376 140734601937632 140409142216232 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9963000
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 18628 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18628 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=628175
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=321799
# CPU time returned by wait4() is 1795.95
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1797.85
CPU time (s): 1800.08
CPU user time (s): 1799.23
CPU system time (s): 0.85
CPU usage (%): 100.124
Max. virtual memory (cumulated for all children) (KiB): 9963000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.63
system time used= 1.3218
maximum resident set size= 297180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11738
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35984
involuntary context switches= 6479
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.937 second user time and 16.2145 second system time
The end