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-4244431-1500683384/watcher-4244431-1500683384 -o /tmp/evaluation-result-4244431-1500683384/solver-4244431-1500683384 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500683384-8603 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 608092722 HOME/instance-4244431-1500683384.xml
pid=8625
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.01 1.04 1.31 2/241 8628
/proc/meminfo: memFree=31996596/32770624 swapFree=5884/234508
[pid=8628] ppid=8625 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8628/stat : 8628 (xcsp3-exec) S 8625 8628 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3606200 9740288 346 33554432000 4194304 5098028 140727724893072 140727724891176 140267846484604 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 9662464 140727724897423 140727724897632 140727724897632 140727724900331 0
/proc/8628/statm: 2378 346 289 221 0 87 0
[startup+0.100121 s]
/proc/loadavg: 1.01 1.04 1.31 2/241 8628
/proc/meminfo: memFree=31996596/32770624 swapFree=5884/234508
[pid=8628] ppid=8625 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8628/stat : 8628 (xcsp3-exec) S 8625 8628 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3606200 9740288 346 33554432000 4194304 5098028 140727724893072 140727724891176 140267846484604 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 9662464 140727724897423 140727724897632 140727724897632 140727724900331 0
/proc/8628/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200308 s]
/proc/loadavg: 1.01 1.04 1.31 2/241 8628
/proc/meminfo: memFree=31996596/32770624 swapFree=5884/234508
[pid=8628] ppid=8625 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8628/stat : 8628 (xcsp3-exec) S 8625 8628 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3606200 9740288 346 33554432000 4194304 5098028 140727724893072 140727724891176 140267846484604 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 9662464 140727724897423 140727724897632 140727724897632 140727724900331 0
/proc/8628/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300299 s]
/proc/loadavg: 1.01 1.04 1.31 2/241 8628
/proc/meminfo: memFree=31996596/32770624 swapFree=5884/234508
[pid=8628] ppid=8625 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8628/stat : 8628 (xcsp3-exec) S 8625 8628 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3606200 9740288 346 33554432000 4194304 5098028 140727724893072 140727724891176 140267846484604 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 9662464 140727724897423 140727724897632 140727724897632 140727724900331 0
/proc/8628/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700156 s]
/proc/loadavg: 1.01 1.04 1.31 2/241 8628
/proc/meminfo: memFree=31996596/32770624 swapFree=5884/234508
[pid=8628] ppid=8625 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8628/stat : 8628 (xcsp3-exec) S 8625 8628 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3606200 9740288 346 33554432000 4194304 5098028 140727724893072 140727724891176 140267846484604 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 9662464 140727724897423 140727724897632 140727724897632 140727724900331 0
/proc/8628/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.501 s]
/proc/loadavg: 1.25 1.08 1.32 8/286 8676
/proc/meminfo: memFree=31677092/32770624 swapFree=5884/235684
[pid=8628] ppid=8625 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8628/stat : 8628 (xcsp3-exec) S 8625 8628 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3606200 9740288 346 33554432000 4194304 5098028 140727724893072 140727724891176 140267846484604 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 9662464 140727724897423 140727724897632 140727724897632 140727724900331 0
/proc/8628/statm: 2378 346 289 221 0 87 0
[pid=8630] ppid=8628 vsize=13801768 CPUtime=5.45 cores=1,3,5,7,9,11,13,15
/proc/8630/stat : 8630 (java) S 8628 8628 8571 0 -1 1077944320 22036 0 1 0 530 15 0 0 20 0 28 0 3606200 14133010432 54792 33554432000 4194304 4196468 140729802810096 140729802792640 139812277014263 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
/proc/8630/statm: 3450442 54792 3255 1 0 3437675 0
[pid=8630/tid=8632] ppid=8628 vsize=13801768 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8632/stat : 8632 (java) S 8628 8628 8571 0 -1 1077944384 8385 0 1 0 124 4 0 0 20 0 28 0 3606201 14133010432 54792 33554432000 4194304 4196468 140729802810096 139812281255040 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8639] ppid=8628 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8639/stat : 8639 (java) S 8628 8628 8571 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 3606202 14133010432 54792 33554432000 4194304 4196468 140729802810096 139812195494288 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8640] ppid=8628 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8640/stat : 8640 (java) S 8628 8628 8571 0 -1 1077944384 41 0 0 0 1 1 0 0 20 0 28 0 3606202 14133010432 54792 33554432000 4194304 4196468 140729802810096 139812194441488 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8641] ppid=8628 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8641/stat : 8641 (java) S 8628 8628 8571 0 -1 1077944384 10 0 0 0 1 0 0 0 20 0 28 0 3606202 14133010432 54792 33554432000 4194304 4196468 140729802810096 139812193389200 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8642] ppid=8628 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8642/stat : 8642 (java) S 8628 8628 8571 0 -1 1077944384 15 0 0 0 0 1 0 0 20 0 28 0 3606202 14133010432 54792 33554432000 4194304 4196468 140729802810096 139811872565776 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8643] ppid=8628 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8643/stat : 8643 (java) S 8628 8628 8571 0 -1 1077944384 160 0 0 0 1 1 0 0 20 0 28 0 3606202 14133010432 54792 33554432000 4194304 4196468 140729802810096 139811871513488 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8644] ppid=8628 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8644/stat : 8644 (java) S 8628 8628 8571 0 -1 1077944384 78 0 0 0 1 1 0 0 20 0 28 0 3606202 14133010432 54792 33554432000 4194304 4196468 140729802810096 139811870460688 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8645] ppid=8628 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8645/stat : 8645 (java) S 8628 8628 8571 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 3606202 14133010432 54792 33554432000 4194304 4196468 140729802810096 139811869408400 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8646] ppid=8628 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8646/stat : 8646 (java) S 8628 8628 8571 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3606202 14133010432 54792 33554432000 4194304 4196468 140729802810096 139811868355600 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8656] ppid=8628 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8656/stat : 8656 (java) S 8628 8628 8571 0 -1 1077944384 206 0 0 0 0 0 0 0 20 0 28 0 3606204 14133010432 54792 33554432000 4194304 4196468 140729802810096 139811605153904 139812277025410 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8658] ppid=8628 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8658/stat : 8658 (java) S 8628 8628 8571 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 3606205 14133010432 54792 33554432000 4194304 4196468 140729802810096 139811604099936 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8659] ppid=8628 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8659/stat : 8659 (java) S 8628 8628 8571 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 3606205 14133010432 54792 33554432000 4194304 4196468 140729802810096 139811603047536 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8662] ppid=8628 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8662/stat : 8662 (java) S 8628 8628 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3606209 14133010432 54792 33554432000 4194304 4196468 140729802810096 139811601995856 139812277032859 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8663] ppid=8628 vsize=13801768 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8663/stat : 8663 (java) R 8628 8628 8571 0 -1 4202560 2790 0 0 0 87 0 0 0 20 0 28 0 3606209 14133010432 54792 33554432000 4194304 4196468 140729802810096 139811600943648 139812261401318 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8664] ppid=8628 vsize=13801768 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8664/stat : 8664 (java) R 8628 8628 8571 0 -1 4202560 2760 0 0 0 87 0 0 0 20 0 28 0 3606209 14133010432 54792 33554432000 4194304 4196468 140729802810096 139811599877296 139812260987760 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8665] ppid=8628 vsize=13801768 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8665/stat : 8665 (java) R 8628 8628 8571 0 -1 4202560 2971 0 0 0 90 0 0 0 20 0 28 0 3606209 14133010432 54792 33554432000 4194304 4196468 140729802810096 139811598827328 139812258559493 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8666] ppid=8628 vsize=13801768 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8666/stat : 8666 (java) R 8628 8628 8571 0 -1 4202560 2877 0 0 0 71 1 0 0 20 0 28 0 3606209 14133010432 54792 33554432000 4194304 4196468 140729802810096 139811597785840 139812256296741 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8667] ppid=8628 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8667/stat : 8667 (java) S 8628 8628 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3606209 14133010432 54792 33554432000 4194304 4196468 140729802810096 139811596732768 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8668] ppid=8628 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8668/stat : 8668 (java) S 8628 8628 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3606210 14133010432 54792 33554432000 4194304 4196468 140729802810096 139811595680048 139812277025410 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
Current children cumulated CPU time (s) 5.45
Current children cumulated vsize (KiB) 13811280
[startup+3.10154 s]
/proc/loadavg: 1.25 1.08 1.32 23/302 8692
/proc/meminfo: memFree=31467748/32770624 swapFree=5884/235548
[pid=8628] ppid=8625 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8628/stat : 8628 (xcsp3-exec) S 8625 8628 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3606200 9740288 346 33554432000 4194304 5098028 140727724893072 140727724891176 140267846484604 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 9662464 140727724897423 140727724897632 140727724897632 140727724900331 0
/proc/8628/statm: 2378 346 289 221 0 87 0
[pid=8630] ppid=8628 vsize=13801768 CPUtime=18.15 cores=1,3,5,7,9,11,13,15
/proc/8630/stat : 8630 (java) S 8628 8628 8571 0 -1 1077944320 28109 0 1 0 1770 45 0 0 20 0 28 0 3606200 14133010432 73668 33554432000 4194304 4196468 140729802810096 140729802792640 139812277014263 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
/proc/8630/statm: 3450442 73668 3268 1 0 3437675 0
[pid=8630/tid=8632] ppid=8628 vsize=13801768 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8632/stat : 8632 (java) S 8628 8628 8571 0 -1 1077944384 8385 0 1 0 124 4 0 0 20 0 28 0 3606201 14133010432 73668 33554432000 4194304 4196468 140729802810096 139812281255040 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8639] ppid=8628 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8639/stat : 8639 (java) S 8628 8628 8571 0 -1 1077944384 37 0 0 0 2 3 0 0 20 0 28 0 3606202 14133010432 73668 33554432000 4194304 4196468 140729802810096 139812195494288 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8640] ppid=8628 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8640/stat : 8640 (java) S 8628 8628 8571 0 -1 1077944384 73 0 0 0 5 4 0 0 20 0 28 0 3606202 14133010432 73668 33554432000 4194304 4196468 140729802810096 139812194441488 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8641] ppid=8628 vsize=13801768 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8641/stat : 8641 (java) S 8628 8628 8571 0 -1 1077944384 47 0 0 0 4 4 0 0 20 0 28 0 3606202 14133010432 73668 33554432000 4194304 4196468 140729802810096 139812193389200 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8642] ppid=8628 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8642/stat : 8642 (java) S 8628 8628 8571 0 -1 1077944384 43 0 0 0 3 4 0 0 20 0 28 0 3606202 14133010432 73668 33554432000 4194304 4196468 140729802810096 139811872565776 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8643] ppid=8628 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8643/stat : 8643 (java) S 8628 8628 8571 0 -1 1077944384 191 0 0 0 5 5 0 0 20 0 28 0 3606202 14133010432 73668 33554432000 4194304 4196468 140729802810096 139811871513488 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8644] ppid=8628 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8644/stat : 8644 (java) S 8628 8628 8571 0 -1 1077944384 122 0 0 0 4 6 0 0 20 0 28 0 3606202 14133010432 73668 33554432000 4194304 4196468 140729802810096 139811870460688 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8645] ppid=8628 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8645/stat : 8645 (java) S 8628 8628 8571 0 -1 1077944384 49 0 0 0 3 4 0 0 20 0 28 0 3606202 14133010432 73668 33554432000 4194304 4196468 140729802810096 139811869408400 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8646] ppid=8628 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8646/stat : 8646 (java) S 8628 8628 8571 0 -1 1077944384 75 0 0 0 5 2 0 0 20 0 28 0 3606202 14133010432 73668 33554432000 4194304 4196468 140729802810096 139811868355600 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8656] ppid=8628 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8656/stat : 8656 (java) S 8628 8628 8571 0 -1 1077944384 206 0 0 0 0 0 0 0 20 0 28 0 3606204 14133010432 73668 33554432000 4194304 4196468 140729802810096 139811605153904 139812277025410 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8658] ppid=8628 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8658/stat : 8658 (java) S 8628 8628 8571 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 3606205 14133010432 73668 33554432000 4194304 4196468 140729802810096 139811604099936 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8659] ppid=8628 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8659/stat : 8659 (java) S 8628 8628 8571 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 3606205 14133010432 73668 33554432000 4194304 4196468 140729802810096 139811603047536 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8662] ppid=8628 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8662/stat : 8662 (java) S 8628 8628 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3606209 14133010432 73668 33554432000 4194304 4196468 140729802810096 139811601995856 139812277032859 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8663] ppid=8628 vsize=13801768 CPUtime=2.03 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8663/stat : 8663 (java) R 8628 8628 8571 0 -1 4202560 4594 0 0 0 202 1 0 0 20 0 28 0 3606209 14133010432 73668 33554432000 4194304 4196468 140729802810096 139811600930272 139812256707855 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8664] ppid=8628 vsize=13801768 CPUtime=2.11 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8664/stat : 8664 (java) R 8628 8628 8571 0 -1 4202560 4303 0 0 0 210 1 0 0 20 0 28 0 3606209 14133010432 73668 33554432000 4194304 4196468 140729802810096 139811599883664 139812254237168 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8665] ppid=8628 vsize=13801768 CPUtime=2.2 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8665/stat : 8665 (java) R 8628 8628 8571 0 -1 4202560 4086 0 0 0 220 0 0 0 20 0 28 0 3606209 14133010432 73668 33554432000 4194304 4196468 140729802810096 139811598825328 139812256700828 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8666] ppid=8628 vsize=13801768 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8666/stat : 8666 (java) S 8628 8628 8571 0 -1 1077944384 3661 0 0 0 89 1 0 0 20 0 28 0 3606209 14133010432 73668 33554432000 4194304 4196468 140729802810096 139811597785840 139812277025410 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8667] ppid=8628 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8667/stat : 8667 (java) S 8628 8628 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3606209 14133010432 73668 33554432000 4194304 4196468 140729802810096 139811596732768 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8668] ppid=8628 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8668/stat : 8668 (java) S 8628 8628 8571 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 3606210 14133010432 73668 33554432000 4194304 4196468 140729802810096 139811595680048 139812277025410 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8685] ppid=8628 vsize=13801768 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8685/stat : 8685 (java) R 8628 8628 8571 0 -1 4202560 101 0 0 0 116 0 0 0 20 0 28 0 3606338 14133010432 73668 33554432000 4194304 4196468 140729802810096 139811453127320 139811879825668 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8686] ppid=8628 vsize=13801768 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8686/stat : 8686 (java) R 8628 8628 8571 0 -1 4202560 116 0 0 0 96 0 0 0 20 0 28 0 3606338 14133010432 73668 33554432000 4194304 4196468 140729802810096 139811452075896 139811881057255 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8687] ppid=8628 vsize=13801768 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8687/stat : 8687 (java) R 8628 8628 8571 0 -1 4202560 89 0 0 0 111 0 0 0 20 0 28 0 3606338 14133010432 73668 33554432000 4194304 4196468 140729802810096 139811451022816 139811881057370 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8688] ppid=8628 vsize=13801768 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8688/stat : 8688 (java) R 8628 8628 8571 0 -1 4202560 272 0 0 0 114 0 0 0 20 0 28 0 3606338 14133010432 73668 33554432000 4194304 4196468 140729802810096 139811449973384 139811880722642 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8689] ppid=8628 vsize=13801768 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8689/stat : 8689 (java) R 8628 8628 8571 0 -1 4202560 117 0 0 0 115 0 0 0 20 0 28 0 3606338 14133010432 73668 33554432000 4194304 4196468 140729802810096 139811448918912 139811881057158 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8690] ppid=8628 vsize=13801768 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8690/stat : 8690 (java) R 8628 8628 8571 0 -1 4202560 51 0 0 0 113 0 0 0 20 0 28 0 3606338 14133010432 73668 33554432000 4194304 4196468 140729802810096 139811447868328 139811881057332 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8691] ppid=8628 vsize=13801768 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8691/stat : 8691 (java) R 8628 8628 8571 0 -1 4202560 79 0 0 0 111 0 0 0 20 0 28 0 3606338 14133010432 73668 33554432000 4194304 4196468 140729802810096 139811446811760 139811881056995 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8692] ppid=8628 vsize=13801768 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8692/stat : 8692 (java) R 8628 8628 8571 0 -1 4202560 57 0 0 0 110 0 0 0 20 0 28 0 3606338 14133010432 73668 33554432000 4194304 4196468 140729802810096 139811445759752 139811881057222 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
Current children cumulated CPU time (s) 18.15
Current children cumulated vsize (KiB) 13811280
[startup+6.30149 s]
/proc/loadavg: 2.59 1.37 1.41 17/302 8692
/proc/meminfo: memFree=31460004/32770624 swapFree=5884/235564
[pid=8628] ppid=8625 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8628/stat : 8628 (xcsp3-exec) S 8625 8628 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3606200 9740288 346 33554432000 4194304 5098028 140727724893072 140727724891176 140267846484604 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 9662464 140727724897423 140727724897632 140727724897632 140727724900331 0
/proc/8628/statm: 2378 346 289 221 0 87 0
[pid=8630] ppid=8628 vsize=13801768 CPUtime=43.57 cores=1,3,5,7,9,11,13,15
/proc/8630/stat : 8630 (java) S 8628 8628 8571 0 -1 1077944320 32711 0 1 0 4310 47 0 0 20 0 28 0 3606200 14133010432 74238 33554432000 4194304 4196468 140729802810096 140729802792640 139812277014263 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
/proc/8630/statm: 3450442 74238 3268 1 0 3437675 0
[pid=8630/tid=8632] ppid=8628 vsize=13801768 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8632/stat : 8632 (java) S 8628 8628 8571 0 -1 1077944384 8385 0 1 0 124 4 0 0 20 0 28 0 3606201 14133010432 74238 33554432000 4194304 4196468 140729802810096 139812281255040 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8639] ppid=8628 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8639/stat : 8639 (java) S 8628 8628 8571 0 -1 1077944384 37 0 0 0 2 3 0 0 20 0 28 0 3606202 14133010432 74238 33554432000 4194304 4196468 140729802810096 139812195494288 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8640] ppid=8628 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8640/stat : 8640 (java) S 8628 8628 8571 0 -1 1077944384 73 0 0 0 5 4 0 0 20 0 28 0 3606202 14133010432 74238 33554432000 4194304 4196468 140729802810096 139812194441488 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8641] ppid=8628 vsize=13801768 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8641/stat : 8641 (java) S 8628 8628 8571 0 -1 1077944384 47 0 0 0 4 4 0 0 20 0 28 0 3606202 14133010432 74238 33554432000 4194304 4196468 140729802810096 139812193389200 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8642] ppid=8628 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8642/stat : 8642 (java) S 8628 8628 8571 0 -1 1077944384 43 0 0 0 3 4 0 0 20 0 28 0 3606202 14133010432 74238 33554432000 4194304 4196468 140729802810096 139811872565776 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
################
# More data... #
################
[pid=8630/tid=8691] ppid=8628 vsize=13801768 CPUtime=218.86 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8691/stat : 8691 (java) R 8628 8628 8571 0 -1 4202560 1312 0 0 0 21886 0 0 0 20 0 28 0 3606338 14133010432 119783 33554432000 4194304 4196468 140729802810096 139811446812048 139811881644879 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8692] ppid=8628 vsize=13801768 CPUtime=219.61 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8692/stat : 8692 (java) R 8628 8628 8571 0 -1 4202560 777 0 0 0 21961 0 0 0 20 0 28 0 3606338 14133010432 119783 33554432000 4194304 4196468 140729802810096 139811445758904 139811881644590 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
Current children cumulated CPU time (s) 1763.98
Current children cumulated vsize (KiB) 13811280
[startup+282.302 s]
/proc/loadavg: 15.90 10.23 5.18 17/303 8704
/proc/meminfo: memFree=31059148/32770624 swapFree=5884/235808
[pid=8628] ppid=8625 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8628/stat : 8628 (xcsp3-exec) S 8625 8628 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3606200 9740288 346 33554432000 4194304 5098028 140727724893072 140727724891176 140267846484604 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 9662464 140727724897423 140727724897632 140727724897632 140727724900331 0
/proc/8628/statm: 2378 346 289 221 0 87 0
[pid=8630] ppid=8628 vsize=13801768 CPUtime=2241.96 cores=1,3,5,7,9,11,13,15
/proc/8630/stat : 8630 (java) S 8628 8628 8571 0 -1 1077944320 85344 0 1 0 224083 113 0 0 20 0 28 0 3606200 14133010432 119796 33554432000 4194304 4196468 140729802810096 140729802792640 139812277014263 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
/proc/8630/statm: 3450442 119796 3278 1 0 3437675 0
[pid=8630/tid=8632] ppid=8628 vsize=13801768 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8632/stat : 8632 (java) S 8628 8628 8571 0 -1 1077944384 8385 0 1 0 124 4 0 0 20 0 28 0 3606201 14133010432 119796 33554432000 4194304 4196468 140729802810096 139812281255040 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8639] ppid=8628 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8639/stat : 8639 (java) S 8628 8628 8571 0 -1 1077944384 227 0 0 0 6 8 0 0 20 0 28 0 3606202 14133010432 119796 33554432000 4194304 4196468 140729802810096 139812195494288 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8640] ppid=8628 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8640/stat : 8640 (java) S 8628 8628 8571 0 -1 1077944384 193 0 0 0 9 9 0 0 20 0 28 0 3606202 14133010432 119796 33554432000 4194304 4196468 140729802810096 139812194441488 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8641] ppid=8628 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8641/stat : 8641 (java) S 8628 8628 8571 0 -1 1077944384 382 0 0 0 7 8 0 0 20 0 28 0 3606202 14133010432 119796 33554432000 4194304 4196468 140729802810096 139812193389200 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8642] ppid=8628 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8642/stat : 8642 (java) S 8628 8628 8571 0 -1 1077944384 342 0 0 0 7 8 0 0 20 0 28 0 3606202 14133010432 119796 33554432000 4194304 4196468 140729802810096 139811872565776 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8643] ppid=8628 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8643/stat : 8643 (java) S 8628 8628 8571 0 -1 1077944384 973 0 0 0 9 9 0 0 20 0 28 0 3606202 14133010432 119796 33554432000 4194304 4196468 140729802810096 139811871513488 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8644] ppid=8628 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8644/stat : 8644 (java) S 8628 8628 8571 0 -1 1077944384 190 0 0 0 7 10 0 0 20 0 28 0 3606202 14133010432 119796 33554432000 4194304 4196468 140729802810096 139811870460688 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8645] ppid=8628 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8645/stat : 8645 (java) S 8628 8628 8571 0 -1 1077944384 113 0 0 0 7 9 0 0 20 0 28 0 3606202 14133010432 119796 33554432000 4194304 4196468 140729802810096 139811869408400 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8646] ppid=8628 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8646/stat : 8646 (java) S 8628 8628 8571 0 -1 1077944384 207 0 0 0 9 6 0 0 20 0 28 0 3606202 14133010432 119796 33554432000 4194304 4196468 140729802810096 139811868355600 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8656] ppid=8628 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8656/stat : 8656 (java) S 8628 8628 8571 0 -1 1077944384 1389 0 0 0 8 12 0 0 20 0 28 0 3606204 14133010432 119796 33554432000 4194304 4196468 140729802810096 139811605153904 139812277025410 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8658] ppid=8628 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8658/stat : 8658 (java) S 8628 8628 8571 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 3606205 14133010432 119796 33554432000 4194304 4196468 140729802810096 139811604099936 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8659] ppid=8628 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8659/stat : 8659 (java) S 8628 8628 8571 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 3606205 14133010432 119796 33554432000 4194304 4196468 140729802810096 139811603047536 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8662] ppid=8628 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8662/stat : 8662 (java) S 8628 8628 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3606209 14133010432 119796 33554432000 4194304 4196468 140729802810096 139811601995856 139812277032859 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8663] ppid=8628 vsize=13801768 CPUtime=3.78 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8663/stat : 8663 (java) S 8628 8628 8571 0 -1 1077944384 13692 0 0 0 376 2 0 0 20 0 28 0 3606209 14133010432 119796 33554432000 4194304 4196468 140729802810096 139811600943728 139812277025410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8664] ppid=8628 vsize=13801768 CPUtime=3.91 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8664/stat : 8664 (java) S 8628 8628 8571 0 -1 1077944384 16964 0 0 0 389 2 0 0 20 0 28 0 3606209 14133010432 119796 33554432000 4194304 4196468 140729802810096 139811599890928 139812277025410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8665] ppid=8628 vsize=13801768 CPUtime=3.97 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8665/stat : 8665 (java) S 8628 8628 8571 0 -1 1077944384 14311 0 0 0 395 2 0 0 20 0 28 0 3606209 14133010432 119796 33554432000 4194304 4196468 140729802810096 139811598838640 139812277025410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8666] ppid=8628 vsize=13801768 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8666/stat : 8666 (java) S 8628 8628 8571 0 -1 1077944384 14353 0 0 0 122 3 0 0 20 0 28 0 3606209 14133010432 119796 33554432000 4194304 4196468 140729802810096 139811597785840 139812277025410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8667] ppid=8628 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8667/stat : 8667 (java) S 8628 8628 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3606209 14133010432 119796 33554432000 4194304 4196468 140729802810096 139811596732768 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8668] ppid=8628 vsize=13801768 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8668/stat : 8668 (java) S 8628 8628 8571 0 -1 1077944384 662 0 0 0 6 5 0 0 20 0 28 0 3606210 14133010432 119796 33554432000 4194304 4196468 140729802810096 139811595680048 139812277025410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8685] ppid=8628 vsize=13801768 CPUtime=278.08 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8685/stat : 8685 (java) R 8628 8628 8571 0 -1 4202560 943 0 0 0 27808 0 0 0 20 0 28 0 3606338 14133010432 119796 33554432000 4194304 4196468 140729802810096 139811453127672 139811881644739 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8686] ppid=8628 vsize=13801768 CPUtime=276.51 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8686/stat : 8686 (java) R 8628 8628 8571 0 -1 4202560 1242 0 0 0 27650 1 0 0 20 0 28 0 3606338 14133010432 119796 33554432000 4194304 4196468 140729802810096 139811452075880 139811881644785 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8687] ppid=8628 vsize=13801768 CPUtime=279.18 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8687/stat : 8687 (java) R 8628 8628 8571 0 -1 4202560 1122 0 0 0 27917 1 0 0 20 0 28 0 3606338 14133010432 119796 33554432000 4194304 4196468 140729802810096 139811451023448 139811881644644 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8688] ppid=8628 vsize=13801768 CPUtime=278.32 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8688/stat : 8688 (java) R 8628 8628 8571 0 -1 4202560 1139 0 0 0 27831 1 0 0 20 0 28 0 3606338 14133010432 119796 33554432000 4194304 4196468 140729802810096 139811449970552 139811881644914 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8689] ppid=8628 vsize=13801768 CPUtime=278.74 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8689/stat : 8689 (java) R 8628 8628 8571 0 -1 4202560 3766 0 0 0 27872 2 0 0 20 0 28 0 3606338 14133010432 119796 33554432000 4194304 4196468 140729802810096 139811448918256 139811881644760 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8690] ppid=8628 vsize=13801768 CPUtime=277.31 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8690/stat : 8690 (java) R 8628 8628 8571 0 -1 4202560 1158 0 0 0 27731 0 0 0 20 0 28 0 3606338 14133010432 119796 33554432000 4194304 4196468 140729802810096 139811447865704 139811882342223 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8691] ppid=8628 vsize=13801768 CPUtime=278.8 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8691/stat : 8691 (java) R 8628 8628 8571 0 -1 4202560 1402 0 0 0 27880 0 0 0 20 0 28 0 3606338 14133010432 119796 33554432000 4194304 4196468 140729802810096 139811446812008 139811881644719 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8692] ppid=8628 vsize=13801768 CPUtime=279.02 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8692/stat : 8692 (java) R 8628 8628 8571 0 -1 4202560 846 0 0 0 27902 0 0 0 20 0 28 0 3606338 14133010432 119796 33554432000 4194304 4196468 140729802810096 139811445759016 139811881374830 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
Current children cumulated CPU time (s) 2241.96
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.201 s]
/proc/loadavg: 15.93 10.61 5.41 17/300 8705
/proc/meminfo: memFree=31056700/32770624 swapFree=5884/235884
[pid=8628] ppid=8625 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8628/stat : 8628 (xcsp3-exec) S 8625 8628 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3606200 9740288 346 33554432000 4194304 5098028 140727724893072 140727724891176 140267846484604 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 9662464 140727724897423 140727724897632 140727724897632 140727724900331 0
/proc/8628/statm: 2378 346 289 221 0 87 0
[pid=8630] ppid=8628 vsize=13801768 CPUtime=2400.52 cores=1,3,5,7,9,11,13,15
/proc/8630/stat : 8630 (java) S 8628 8628 8571 0 -1 1077944320 85947 0 1 0 239938 114 0 0 20 0 28 0 3606200 14133010432 119797 33554432000 4194304 4196468 140729802810096 140729802792640 139812277014263 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
/proc/8630/statm: 3450442 119797 3278 1 0 3437675 0
[pid=8630/tid=8632] ppid=8628 vsize=13801768 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8632/stat : 8632 (java) S 8628 8628 8571 0 -1 1077944384 8385 0 1 0 124 4 0 0 20 0 28 0 3606201 14133010432 119797 33554432000 4194304 4196468 140729802810096 139812281255040 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8639] ppid=8628 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8639/stat : 8639 (java) S 8628 8628 8571 0 -1 1077944384 227 0 0 0 6 8 0 0 20 0 28 0 3606202 14133010432 119797 33554432000 4194304 4196468 140729802810096 139812195494288 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8640] ppid=8628 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8640/stat : 8640 (java) S 8628 8628 8571 0 -1 1077944384 193 0 0 0 9 9 0 0 20 0 28 0 3606202 14133010432 119797 33554432000 4194304 4196468 140729802810096 139812194441488 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8641] ppid=8628 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8641/stat : 8641 (java) S 8628 8628 8571 0 -1 1077944384 382 0 0 0 7 8 0 0 20 0 28 0 3606202 14133010432 119797 33554432000 4194304 4196468 140729802810096 139812193389200 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8642] ppid=8628 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8642/stat : 8642 (java) S 8628 8628 8571 0 -1 1077944384 342 0 0 0 7 8 0 0 20 0 28 0 3606202 14133010432 119797 33554432000 4194304 4196468 140729802810096 139811872565776 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8643] ppid=8628 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8643/stat : 8643 (java) S 8628 8628 8571 0 -1 1077944384 973 0 0 0 9 9 0 0 20 0 28 0 3606202 14133010432 119797 33554432000 4194304 4196468 140729802810096 139811871513488 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8644] ppid=8628 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8644/stat : 8644 (java) S 8628 8628 8571 0 -1 1077944384 190 0 0 0 7 10 0 0 20 0 28 0 3606202 14133010432 119797 33554432000 4194304 4196468 140729802810096 139811870460688 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8645] ppid=8628 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8645/stat : 8645 (java) S 8628 8628 8571 0 -1 1077944384 113 0 0 0 7 9 0 0 20 0 28 0 3606202 14133010432 119797 33554432000 4194304 4196468 140729802810096 139811869408400 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8646] ppid=8628 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8646/stat : 8646 (java) S 8628 8628 8571 0 -1 1077944384 207 0 0 0 9 6 0 0 20 0 28 0 3606202 14133010432 119797 33554432000 4194304 4196468 140729802810096 139811868355600 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8656] ppid=8628 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8656/stat : 8656 (java) S 8628 8628 8571 0 -1 1077944384 1389 0 0 0 8 12 0 0 20 0 28 0 3606204 14133010432 119797 33554432000 4194304 4196468 140729802810096 139811605153904 139812277025410 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8658] ppid=8628 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8658/stat : 8658 (java) S 8628 8628 8571 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 3606205 14133010432 119797 33554432000 4194304 4196468 140729802810096 139811604099936 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8659] ppid=8628 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8659/stat : 8659 (java) S 8628 8628 8571 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 3606205 14133010432 119797 33554432000 4194304 4196468 140729802810096 139811603047536 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8662] ppid=8628 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8662/stat : 8662 (java) S 8628 8628 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3606209 14133010432 119797 33554432000 4194304 4196468 140729802810096 139811601995856 139812277032859 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8663] ppid=8628 vsize=13801768 CPUtime=3.78 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8663/stat : 8663 (java) S 8628 8628 8571 0 -1 1077944384 13692 0 0 0 376 2 0 0 20 0 28 0 3606209 14133010432 119797 33554432000 4194304 4196468 140729802810096 139811600943728 139812277025410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8664] ppid=8628 vsize=13801768 CPUtime=3.91 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8664/stat : 8664 (java) S 8628 8628 8571 0 -1 1077944384 16964 0 0 0 389 2 0 0 20 0 28 0 3606209 14133010432 119797 33554432000 4194304 4196468 140729802810096 139811599890928 139812277025410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8665] ppid=8628 vsize=13801768 CPUtime=3.97 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8665/stat : 8665 (java) S 8628 8628 8571 0 -1 1077944384 14311 0 0 0 395 2 0 0 20 0 28 0 3606209 14133010432 119797 33554432000 4194304 4196468 140729802810096 139811598838640 139812277025410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8666] ppid=8628 vsize=13801768 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8666/stat : 8666 (java) S 8628 8628 8571 0 -1 1077944384 14643 0 0 0 122 3 0 0 20 0 28 0 3606209 14133010432 119797 33554432000 4194304 4196468 140729802810096 139811597785840 139812277025410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8667] ppid=8628 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8667/stat : 8667 (java) S 8628 8628 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3606209 14133010432 119797 33554432000 4194304 4196468 140729802810096 139811596732768 139812277024469 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8668] ppid=8628 vsize=13801768 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8668/stat : 8668 (java) S 8628 8628 8571 0 -1 1077944384 671 0 0 0 6 5 0 0 20 0 28 0 3606210 14133010432 119797 33554432000 4194304 4196468 140729802810096 139811595680048 139812277025410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8685] ppid=8628 vsize=13801768 CPUtime=297.96 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8685/stat : 8685 (java) R 8628 8628 8571 0 -1 4202560 948 0 0 0 29796 0 0 0 20 0 28 0 3606338 14133010432 119797 33554432000 4194304 4196468 140729802810096 139811453127672 139811881644756 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8686] ppid=8628 vsize=13801768 CPUtime=296.4 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8686/stat : 8686 (java) R 8628 8628 8571 0 -1 4202560 1284 0 0 0 29639 1 0 0 20 0 28 0 3606338 14133010432 119797 33554432000 4194304 4196468 140729802810096 139811452075880 139811882814906 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8687] ppid=8628 vsize=13801768 CPUtime=299.07 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8687/stat : 8687 (java) R 8628 8628 8571 0 -1 4202560 1128 0 0 0 29906 1 0 0 20 0 28 0 3606338 14133010432 119797 33554432000 4194304 4196468 140729802810096 139811451023448 139811881644684 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8688] ppid=8628 vsize=13801768 CPUtime=297.89 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8688/stat : 8688 (java) R 8628 8628 8571 0 -1 4202560 1148 0 0 0 29788 1 0 0 20 0 28 0 3606338 14133010432 119797 33554432000 4194304 4196468 140729802810096 139811449970552 139811881644641 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8689] ppid=8628 vsize=13801768 CPUtime=298.61 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8689/stat : 8689 (java) R 8628 8628 8571 0 -1 4202560 3935 0 0 0 29859 2 0 0 20 0 28 0 3606338 14133010432 119797 33554432000 4194304 4196468 140729802810096 139811448920536 139811881644531 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8690] ppid=8628 vsize=13801768 CPUtime=297.19 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8690/stat : 8690 (java) R 8628 8628 8571 0 -1 4202560 1167 0 0 0 29719 0 0 0 20 0 28 0 3606338 14133010432 119797 33554432000 4194304 4196468 140729802810096 139811447865704 139811881099357 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8691] ppid=8628 vsize=13801768 CPUtime=298.68 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8691/stat : 8691 (java) R 8628 8628 8571 0 -1 4202560 1451 0 0 0 29868 0 0 0 20 0 28 0 3606338 14133010432 119797 33554432000 4194304 4196468 140729802810096 139811446812008 139811881644595 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
[pid=8630/tid=8692] ppid=8628 vsize=13801768 CPUtime=298.68 cores=1,3,5,7,9,11,13,15
/proc/8630/task/8692/stat : 8692 (java) R 8628 8628 8571 0 -1 4202560 861 0 0 0 29868 0 0 0 20 0 28 0 3606338 14133010432 119797 33554432000 4194304 4196468 140729802810096 139811445759016 139811881644644 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 21401600 140729802818748 140729802818924 140729802818924 140729802821583 0
Current children cumulated CPU time (s) 2400.52
Current children cumulated vsize (KiB) 13811280
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 8630 sig 9
??? kill 8628 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8628 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=3113
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.003113
# while last known CPU time is 2400.52
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.212
CPU time (s): 2400.52
CPU user time (s): 2399.38
CPU system time (s): 1.14
CPU usage (%): 794.316
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.003113
system time used= 0
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.67587 second user time and 4.1751 second system time
The end