runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (9142 MiB free)
memory of node 1: 16384 MiB (12390 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394316-1568333167/watcher-4394316-1568333167 -o /tmp/evaluation-result-4394316-1568333167/solver-4394316-1568333167 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568327905-19560 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 497863874 HOME/instance-4394316-1568333167.xml
running on 4 cores: 1,3,5,7
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=30364, runsolver pid=30361
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 9.21 8.65 8.20 7/234 30380
/proc/meminfo: memFree=22032236/32770624 swapFree=66939828/67108860
[pid=30364] ppid=30361 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30364/stat : 30364 (xcsp3-exec) S 30361 30364 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409231664 115843072 362 33554432000 4194304 5098028 140728677106144 140728677104248 139735696556668 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15126528 140728677110651 140728677110893 140728677110893 140728677113802 0
/proc/30364/statm: 28282 362 304 221 0 87 0
[pid=30366] ppid=30364 vsize=15144768 memory=29964 CPUtime=0.13 cores=1,3,5,7
/proc/30366/stat : 30366 (java) S 30364 30364 19528 0 -1 1077944320 5919 0 0 0 12 1 0 0 20 0 15 0 409231664 15508242432 7491 33554432000 4194304 4196468 140736328996352 140736328978896 140600405712631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
/proc/30366/statm: 3786192 7491 3153 1 0 3748377 0
[pid=30366/tid=30367] ppid=30364 vsize=15144768 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/30366/task/30367/stat : 30367 (java) R 30364 30364 19528 0 -1 4202560 3814 0 0 0 8 1 0 0 20 0 15 0 409231664 15508242432 7491 33554432000 4194304 4196468 140736328996352 140600409938464 140600389756261 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30368] ppid=30364 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30368/stat : 30368 (java) S 30364 30364 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409231665 15508242432 7491 33554432000 4194304 4196468 140736328996352 140600333752720 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30369] ppid=30364 vsize=15144768 memory=140132443805312 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30369/stat : 30369 (java) S 30364 30364 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409231665 15508242432 7491 33554432000 4194304 4196468 140736328996352 140600332699920 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30370] ppid=30364 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30370/stat : 30370 (java) S 30364 30364 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409231665 15508242432 7491 33554432000 4194304 4196468 140736328996352 140600331647632 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30371] ppid=30364 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30371/stat : 30371 (java) S 30364 30364 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409231665 15508242432 7491 33554432000 4194304 4196468 140736328996352 140600330594832 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30372] ppid=30364 vsize=15144768 memory=140132443805312 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30372/stat : 30372 (java) S 30364 30364 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409231666 15508242432 7491 33554432000 4194304 4196468 140736328996352 140599873927792 140600405723778 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30373] ppid=30364 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30373/stat : 30373 (java) S 30364 30364 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409231667 15508242432 7491 33554432000 4194304 4196468 140736328996352 140599872873760 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30374] ppid=30364 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30374/stat : 30374 (java) S 30364 30364 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409231667 15508242432 7491 33554432000 4194304 4196468 140736328996352 140599871821424 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30375] ppid=30364 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30375/stat : 30375 (java) S 30364 30364 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409231669 15508242432 7491 33554432000 4194304 4196468 140736328996352 140599870769744 140600405731227 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30376] ppid=30364 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30376/stat : 30376 (java) R 30364 30364 19528 0 -1 4202560 447 0 0 0 0 0 0 0 20 0 15 0 409231669 15508242432 7491 33554432000 4194304 4196468 140736328996352 140599869708096 140600383573712 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30377] ppid=30364 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30377/stat : 30377 (java) R 30364 30364 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409231669 15508242432 7491 33554432000 4194304 4196468 140736328996352 140599868663888 140600405722837 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30378] ppid=30364 vsize=15144768 memory=140132443805312 CPUtime=0.02 cores=1,3,5,7
/proc/30366/task/30378/stat : 30378 (java) R 30364 30364 19528 0 -1 4202560 362 0 0 0 2 0 0 0 20 0 15 0 409231669 15508242432 7491 33554432000 4194304 4196468 140736328996352 140599867611504 140600384697408 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30379] ppid=30364 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30379/stat : 30379 (java) S 30364 30364 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409231670 15508242432 7491 33554432000 4194304 4196468 140736328996352 140599866558944 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30380] ppid=30364 vsize=15144768 memory=140132443805312 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30380/stat : 30380 (java) S 30364 30364 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409231670 15508242432 7491 33554432000 4194304 4196468 140736328996352 140599865506736 140600405723778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31412 KiB
[startup+0.210804 s]*
/proc/loadavg: 9.21 8.65 8.20 8/234 30380
/proc/meminfo: memFree=22017952/32770624 swapFree=66939828/67108860
[pid=30364] ppid=30361 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30364/stat : 30364 (xcsp3-exec) S 30361 30364 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409231664 115843072 362 33554432000 4194304 5098028 140728677106144 140728677104248 139735696556668 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15126528 140728677110651 140728677110893 140728677110893 140728677113802 0
/proc/30364/statm: 28282 362 304 221 0 87 0
[pid=30366] ppid=30364 vsize=15144768 memory=40780 CPUtime=0.34 cores=1,3,5,7
/proc/30366/stat : 30366 (java) S 30364 30364 19528 0 -1 1077944320 9449 0 0 0 31 3 0 0 20 0 15 0 409231664 15508242432 10195 33554432000 4194304 4196468 140736328996352 140736328978896 140600405712631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
/proc/30366/statm: 3786192 10195 3287 1 0 3748377 0
[pid=30366/tid=30367] ppid=30364 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/30366/task/30367/stat : 30367 (java) R 30364 30364 19528 0 -1 4202560 6640 0 0 0 18 2 0 0 20 0 15 0 409231664 15508242432 10195 33554432000 4194304 4196468 140736328996352 140600409949392 140600405724566 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30368] ppid=30364 vsize=15144768 memory=10535 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30368/stat : 30368 (java) S 30364 30364 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409231665 15508242432 10195 33554432000 4194304 4196468 140736328996352 140600333752720 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30369] ppid=30364 vsize=15144768 memory=140132446791140 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30369/stat : 30369 (java) S 30364 30364 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409231665 15508242432 10195 33554432000 4194304 4196468 140736328996352 140600332699920 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30370] ppid=30364 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30370/stat : 30370 (java) S 30364 30364 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409231665 15508242432 10195 33554432000 4194304 4196468 140736328996352 140600331647632 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30371] ppid=30364 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30371/stat : 30371 (java) S 30364 30364 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409231665 15508242432 10195 33554432000 4194304 4196468 140736328996352 140600330594832 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30372] ppid=30364 vsize=15144768 memory=140132443805312 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30372/stat : 30372 (java) S 30364 30364 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409231666 15508242432 10195 33554432000 4194304 4196468 140736328996352 140599873927792 140600405723778 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30373] ppid=30364 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30373/stat : 30373 (java) S 30364 30364 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409231667 15508242432 10195 33554432000 4194304 4196468 140736328996352 140599872873760 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30374] ppid=30364 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30374/stat : 30374 (java) S 30364 30364 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409231667 15508242432 10195 33554432000 4194304 4196468 140736328996352 140599871821424 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30375] ppid=30364 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30375/stat : 30375 (java) S 30364 30364 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409231669 15508242432 10195 33554432000 4194304 4196468 140736328996352 140599870769744 140600405731227 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30376] ppid=30364 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30366/task/30376/stat : 30376 (java) S 30364 30364 19528 0 -1 1077944384 547 0 0 0 2 0 0 0 20 0 15 0 409231669 15508242432 10195 33554432000 4194304 4196468 140736328996352 140599869716592 140600405723778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30377] ppid=30364 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/30366/task/30377/stat : 30377 (java) R 30364 30364 19528 0 -1 1077944384 190 0 0 0 2 0 0 0 20 0 15 0 409231669 15508242432 10195 33554432000 4194304 4196468 140736328996352 140599868663792 140600405723778 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30378] ppid=30364 vsize=15144768 memory=140132443805312 CPUtime=0.08 cores=1,3,5,7
/proc/30366/task/30378/stat : 30378 (java) S 30364 30364 19528 0 -1 1077944384 763 0 0 0 8 0 0 0 20 0 15 0 409231669 15508242432 10195 33554432000 4194304 4196468 140736328996352 140599867611504 140600405723778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30379] ppid=30364 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30379/stat : 30379 (java) S 30364 30364 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409231670 15508242432 10195 33554432000 4194304 4196468 140736328996352 140599866558944 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30380] ppid=30364 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30380/stat : 30380 (java) S 30364 30364 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409231670 15508242432 10195 33554432000 4194304 4196468 140736328996352 140599865506736 140600405723778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42228 KiB
[startup+0.320302 s]*
/proc/loadavg: 9.21 8.65 8.20 6/234 30380
/proc/meminfo: memFree=22010520/32770624 swapFree=66939828/67108860
[pid=30364] ppid=30361 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30364/stat : 30364 (xcsp3-exec) S 30361 30364 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409231664 115843072 362 33554432000 4194304 5098028 140728677106144 140728677104248 139735696556668 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15126528 140728677110651 140728677110893 140728677110893 140728677113802 0
/proc/30364/statm: 28282 362 304 221 0 87 0
[pid=30366] ppid=30364 vsize=15149024 memory=50472 CPUtime=0.55 cores=1,3,5,7
/proc/30366/stat : 30366 (java) S 30364 30364 19528 0 -1 1077944320 10991 0 0 0 51 4 0 0 20 0 15 0 409231664 15512600576 12618 33554432000 4194304 4196468 140736328996352 140736328978896 140600405712631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
/proc/30366/statm: 3787256 12618 3354 1 0 3748377 0
[pid=30366/tid=30367] ppid=30364 vsize=15149024 memory=6791534058613427641 CPUtime=0.31 cores=1,3,5,7
/proc/30366/task/30367/stat : 30367 (java) R 30364 30364 19528 0 -1 4202560 7953 0 0 0 28 3 0 0 20 0 15 0 409231664 15512600576 12618 33554432000 4194304 4196468 140736328996352 140600409952456 140600405724566 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30368] ppid=30364 vsize=15149024 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30368/stat : 30368 (java) S 30364 30364 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409231665 15512600576 12618 33554432000 4194304 4196468 140736328996352 140600333752720 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30369] ppid=30364 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30369/stat : 30369 (java) S 30364 30364 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409231665 15512600576 12618 33554432000 4194304 4196468 140736328996352 140600332699920 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30370] ppid=30364 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30370/stat : 30370 (java) S 30364 30364 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409231665 15512600576 12618 33554432000 4194304 4196468 140736328996352 140600331647632 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30371] ppid=30364 vsize=15149024 memory=-7377628852694597791 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30371/stat : 30371 (java) S 30364 30364 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409231665 15512600576 12618 33554432000 4194304 4196468 140736328996352 140600330594832 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30372] ppid=30364 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30372/stat : 30372 (java) S 30364 30364 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409231666 15512600576 12618 33554432000 4194304 4196468 140736328996352 140599873927792 140600405723778 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30373] ppid=30364 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30373/stat : 30373 (java) S 30364 30364 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409231667 15512600576 12618 33554432000 4194304 4196468 140736328996352 140599872873760 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30374] ppid=30364 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30374/stat : 30374 (java) S 30364 30364 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409231667 15512600576 12618 33554432000 4194304 4196468 140736328996352 140599871821424 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30375] ppid=30364 vsize=15149024 memory=-7828588039587137883 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30375/stat : 30375 (java) S 30364 30364 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409231669 15512600576 12618 33554432000 4194304 4196468 140736328996352 140599870769744 140600405731227 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30376] ppid=30364 vsize=15149024 memory=4426078206164241782 CPUtime=0.04 cores=1,3,5,7
/proc/30366/task/30376/stat : 30376 (java) R 30364 30364 19528 0 -1 1077944384 561 0 0 0 4 0 0 0 20 0 15 0 409231669 15512600576 12618 33554432000 4194304 4196468 140736328996352 140599869716592 140600405723778 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30377] ppid=30364 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/30366/task/30377/stat : 30377 (java) R 30364 30364 19528 0 -1 4202560 309 0 0 0 5 0 0 0 20 0 15 0 409231669 15512600576 12618 33554432000 4194304 4196468 140736328996352 140599868663792 140600405733978 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30378] ppid=30364 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/30366/task/30378/stat : 30378 (java) R 30364 30364 19528 0 -1 4202560 859 0 0 0 12 0 0 0 20 0 15 0 409231669 15512600576 12618 33554432000 4194304 4196468 140736328996352 140599867611504 140600405733978 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30379] ppid=30364 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30379/stat : 30379 (java) S 30364 30364 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409231670 15512600576 12618 33554432000 4194304 4196468 140736328996352 140599866558944 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30380] ppid=30364 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30380/stat : 30380 (java) S 30364 30364 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409231670 15512600576 12618 33554432000 4194304 4196468 140736328996352 140599865506736 140600405723778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51920 KiB
[startup+0.703335 s]
/proc/loadavg: 9.21 8.65 8.20 9/234 30380
/proc/meminfo: memFree=21993156/32770624 swapFree=66939828/67108860
[pid=30364] ppid=30361 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30364/stat : 30364 (xcsp3-exec) S 30361 30364 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409231664 115843072 362 33554432000 4194304 5098028 140728677106144 140728677104248 139735696556668 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15126528 140728677110651 140728677110893 140728677110893 140728677113802 0
/proc/30364/statm: 28282 362 304 221 0 87 0
[pid=30366] ppid=30364 vsize=15418432 memory=111272 CPUtime=1.72 cores=1,3,5,7
/proc/30366/stat : 30366 (java) S 30364 30364 19528 0 -1 1077944320 15523 0 0 0 166 6 0 0 20 0 20 0 409231664 15788474368 27818 33554432000 4194304 4196468 140736328996352 140736328978896 140600405712631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
/proc/30366/statm: 3854608 27818 3459 1 0 3815710 0
[pid=30366/tid=30367] ppid=30364 vsize=15418432 memory=1436 CPUtime=0.58 cores=1,3,5,7
/proc/30366/task/30367/stat : 30367 (java) R 30364 30364 19528 0 -1 1077944384 9207 0 0 0 54 4 0 0 20 0 20 0 409231664 15788474368 27818 33554432000 4194304 4196468 140736328996352 140600409952576 140600405722837 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30368] ppid=30364 vsize=15418432 memory=4164 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30368/stat : 30368 (java) S 30364 30364 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 409231665 15788474368 27818 33554432000 4194304 4196468 140736328996352 140600333752720 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30369] ppid=30364 vsize=15418432 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30369/stat : 30369 (java) S 30364 30364 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 409231665 15788474368 27818 33554432000 4194304 4196468 140736328996352 140600332699920 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30370] ppid=30364 vsize=15418432 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30370/stat : 30370 (java) S 30364 30364 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 409231665 15788474368 27818 33554432000 4194304 4196468 140736328996352 140600331647632 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30371] ppid=30364 vsize=15418432 memory=7980 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30371/stat : 30371 (java) S 30364 30364 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 409231665 15788474368 27818 33554432000 4194304 4196468 140736328996352 140600330594832 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30372] ppid=30364 vsize=15418432 memory=9580 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30372/stat : 30372 (java) S 30364 30364 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 409231666 15788474368 27818 33554432000 4194304 4196468 140736328996352 140599873927792 140600405723778 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30373] ppid=30364 vsize=15418432 memory=1052 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30373/stat : 30373 (java) S 30364 30364 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 409231667 15788474368 27818 33554432000 4194304 4196468 140736328996352 140599872873760 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30374] ppid=30364 vsize=15418432 memory=776 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30374/stat : 30374 (java) S 30364 30364 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 409231667 15788474368 27818 33554432000 4194304 4196468 140736328996352 140599871821424 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30375] ppid=30364 vsize=15418432 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30375/stat : 30375 (java) S 30364 30364 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 409231669 15788474368 27818 33554432000 4194304 4196468 140736328996352 140599870769744 140600405731227 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30376] ppid=30364 vsize=15418432 memory=668 CPUtime=0.28 cores=1,3,5,7
/proc/30366/task/30376/stat : 30376 (java) R 30364 30364 19528 0 -1 4202560 1384 0 0 0 28 0 0 0 20 0 20 0 409231669 15788474368 27818 33554432000 4194304 4196468 140736328996352 140599869702616 140600390133828 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30377] ppid=30364 vsize=15418432 memory=1232 CPUtime=0.32 cores=1,3,5,7
/proc/30366/task/30377/stat : 30377 (java) R 30364 30364 19528 0 -1 4202560 1271 0 0 0 32 0 0 0 20 0 20 0 409231669 15788474368 27818 33554432000 4194304 4196468 140736328996352 140599868650360 140600390838409 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30378] ppid=30364 vsize=15418432 memory=1064 CPUtime=0.36 cores=1,3,5,7
/proc/30366/task/30378/stat : 30378 (java) R 30364 30364 19528 0 -1 4202560 1964 0 0 0 35 1 0 0 20 0 20 0 409231669 15788474368 27818 33554432000 4194304 4196468 140736328996352 140599867607232 140600397949758 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30379] ppid=30364 vsize=15418432 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30379/stat : 30379 (java) S 30364 30364 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 409231670 15788474368 27818 33554432000 4194304 4196468 140736328996352 140599866558944 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30380] ppid=30364 vsize=15418432 memory=21192 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30380/stat : 30380 (java) S 30364 30364 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 409231670 15788474368 27818 33554432000 4194304 4196468 140736328996352 140599865506736 140600405723778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 15531560 KiB
Current children cumulated memory: 112720 KiB
[startup+1.50533 s]
/proc/loadavg: 9.21 8.65 8.20 13/238 30488
/proc/meminfo: memFree=21864688/32770624 swapFree=66939828/67108860
[pid=30364] ppid=30361 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30364/stat : 30364 (xcsp3-exec) S 30361 30364 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409231664 115843072 362 33554432000 4194304 5098028 140728677106144 140728677104248 139735696556668 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15126528 140728677110651 140728677110893 140728677110893 140728677113802 0
/proc/30364/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/30366/stat : 30366 (java) S 30364 30364 19528 0 -1 1077944320 73732 0 0 0 207433 91 0 0 20 0 19 0 409231664 15991906304 74091 33554432000 4194304 4196468 140736328996352 140736328978896 140600405712631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
/proc/30366/statm: 3904274 74091 3519 1 0 3865376 0
[pid=30366/tid=30367] ppid=30364 vsize=15617096 memory=6791534058613427641 CPUtime=0.59 cores=1,3,5,7
/proc/30366/task/30367/stat : 30367 (java) S 30364 30364 19528 0 -1 1077944384 9379 0 0 0 55 4 0 0 20 0 19 0 409231664 15991906304 74091 33554432000 4194304 4196468 140736328996352 140600409953408 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30368] ppid=30364 vsize=15617096 memory=4872558044660077418 CPUtime=0.65 cores=1,3,5,7
/proc/30366/task/30368/stat : 30368 (java) S 30364 30364 19528 0 -1 1077944384 4714 0 0 0 57 8 0 0 20 0 19 0 409231665 15991906304 74091 33554432000 4194304 4196468 140736328996352 140600333752720 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30369] ppid=30364 vsize=15617096 memory=6791534058613427641 CPUtime=0.65 cores=1,3,5,7
/proc/30366/task/30369/stat : 30369 (java) S 30364 30364 19528 0 -1 1077944384 3537 0 0 0 57 8 0 0 20 0 19 0 409231665 15991906304 74091 33554432000 4194304 4196468 140736328996352 140600332699920 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30370] ppid=30364 vsize=15617096 memory=2008 CPUtime=0.66 cores=1,3,5,7
/proc/30366/task/30370/stat : 30370 (java) S 30364 30364 19528 0 -1 1077944384 3990 0 0 0 57 9 0 0 20 0 19 0 409231665 15991906304 74091 33554432000 4194304 4196468 140736328996352 140600331647632 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30371] ppid=30364 vsize=15617096 memory=1436 CPUtime=0.65 cores=1,3,5,7
/proc/30366/task/30371/stat : 30371 (java) S 30364 30364 19528 0 -1 1077944384 2413 0 0 0 57 8 0 0 20 0 19 0 409231665 15991906304 74091 33554432000 4194304 4196468 140736328996352 140600330594832 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30372] ppid=30364 vsize=15617096 memory=4164 CPUtime=0.73 cores=1,3,5,7
/proc/30366/task/30372/stat : 30372 (java) S 30364 30364 19528 0 -1 1077944384 3611 0 0 0 28 45 0 0 20 0 19 0 409231666 15991906304 74091 33554432000 4194304 4196468 140736328996352 140599873927792 140600405723778 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30373] ppid=30364 vsize=15617096 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30373/stat : 30373 (java) S 30364 30364 19528 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 19 0 409231667 15991906304 74091 33554432000 4194304 4196468 140736328996352 140599872873824 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30374] ppid=30364 vsize=15617096 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30374/stat : 30374 (java) S 30364 30364 19528 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 19 0 409231667 15991906304 74091 33554432000 4194304 4196468 140736328996352 140599871821440 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30375] ppid=30364 vsize=15617096 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30375/stat : 30375 (java) S 30364 30364 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409231669 15991906304 74091 33554432000 4194304 4196468 140736328996352 140599870769744 140600405731227 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30376] ppid=30364 vsize=15617096 memory=288230574492221466 CPUtime=2.7 cores=1,3,5,7
/proc/30366/task/30376/stat : 30376 (java) S 30364 30364 19528 0 -1 1077944384 11992 0 0 0 269 1 0 0 20 0 19 0 409231669 15991906304 74091 33554432000 4194304 4196468 140736328996352 140599869716592 140600405723778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30377] ppid=30364 vsize=15617096 memory=288230596050944315 CPUtime=2.57 cores=1,3,5,7
/proc/30366/task/30377/stat : 30377 (java) S 30364 30364 19528 0 -1 1077944384 11126 0 0 0 256 1 0 0 20 0 19 0 409231669 15991906304 74091 33554432000 4194304 4196468 140736328996352 140599868663792 140600405723778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30378] ppid=30364 vsize=15617096 memory=15817794159643255 CPUtime=0.72 cores=1,3,5,7
/proc/30366/task/30378/stat : 30378 (java) S 30364 30364 19528 0 -1 1077944384 6956 0 0 0 71 1 0 0 20 0 19 0 409231669 15991906304 74091 33554432000 4194304 4196468 140736328996352 140599867611504 140600405723778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30379] ppid=30364 vsize=15617096 memory=21196 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30379/stat : 30379 (java) S 30364 30364 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409231670 15991906304 74091 33554432000 4194304 4196468 140736328996352 140599866558944 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30380] ppid=30364 vsize=15617096 memory=14056 CPUtime=0.21 cores=1,3,5,7
/proc/30366/task/30380/stat : 30380 (java) S 30364 30364 19528 0 -1 1077944384 1099 0 0 0 0 21 0 0 20 0 19 0 409231670 15991906304 74091 33554432000 4194304 4196468 140736328996352 140599865506736 140600405723778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30511] ppid=30364 vsize=15617096 memory=2116 CPUtime=430.64 cores=1,3,5,7
/proc/30366/task/30511/stat : 30511 (java) R 30364 30364 19528 0 -1 4202560 1128 0 0 0 43063 1 0 0 20 0 19 0 409240484 15991906304 74091 33554432000 4194304 4196468 140736328996352 140599853373880 140600003446523 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30512] ppid=30364 vsize=15617096 memory=520 CPUtime=430.55 cores=1,3,5,7
/proc/30366/task/30512/stat : 30512 (java) R 30364 30364 19528 0 -1 4202560 1961 0 0 0 43055 0 0 0 20 0 19 0 409240484 15991906304 74091 33554432000 4194304 4196468 140736328996352 140599850217624 140600007089414 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30513] ppid=30364 vsize=15617096 memory=1560 CPUtime=430.54 cores=1,3,5,7
/proc/30366/task/30513/stat : 30513 (java) R 30364 30364 19528 0 -1 4202560 2006 0 0 0 43054 0 0 0 20 0 19 0 409240484 15991906304 74091 33554432000 4194304 4196468 140736328996352 140599852324992 140600003369585 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30514] ppid=30364 vsize=15617096 memory=924 CPUtime=430.46 cores=1,3,5,7
/proc/30366/task/30514/stat : 30514 (java) R 30364 30364 19528 0 -1 4202560 1040 0 0 0 43046 0 0 0 20 0 19 0 409240484 15991906304 74091 33554432000 4194304 4196468 140736328996352 140599855480864 140600005606825 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
Current children cumulated CPU time: 2075.24 s
Current children cumulated vsize: 15730224 KiB
Current children cumulated memory: 297812 KiB
[startup+582.301 s]*
/proc/loadavg: 8.50 8.49 8.30 9/237 30765
/proc/meminfo: memFree=20768212/32770624 swapFree=66939828/67108860
[pid=30364] ppid=30361 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30364/stat : 30364 (xcsp3-exec) S 30361 30364 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409231664 115843072 362 33554432000 4194304 5098028 140728677106144 140728677104248 139735696556668 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15126528 140728677110651 140728677110893 140728677110893 140728677113802 0
/proc/30364/statm: 28282 362 304 221 0 87 0
[pid=30366] ppid=30364 vsize=15617096 memory=302620 CPUtime=2313.59 cores=1,3,5,7
/proc/30366/stat : 30366 (java) S 30364 30364 19528 0 -1 1077944320 75055 0 0 0 231257 102 0 0 20 0 19 0 409231664 15991906304 75655 33554432000 4194304 4196468 140736328996352 140736328978896 140600405712631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
/proc/30366/statm: 3904274 75655 3519 1 0 3865376 0
[pid=30366/tid=30367] ppid=30364 vsize=15617096 memory=6791534058613427641 CPUtime=0.59 cores=1,3,5,7
/proc/30366/task/30367/stat : 30367 (java) S 30364 30364 19528 0 -1 1077944384 9379 0 0 0 55 4 0 0 20 0 19 0 409231664 15991906304 75655 33554432000 4194304 4196468 140736328996352 140600409953408 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30368] ppid=30364 vsize=15617096 memory=4872558044660077418 CPUtime=0.7 cores=1,3,5,7
/proc/30366/task/30368/stat : 30368 (java) S 30364 30364 19528 0 -1 1077944384 5111 0 0 0 62 8 0 0 20 0 19 0 409231665 15991906304 75655 33554432000 4194304 4196468 140736328996352 140600333752720 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30369] ppid=30364 vsize=15617096 memory=288230591722422566 CPUtime=0.71 cores=1,3,5,7
/proc/30366/task/30369/stat : 30369 (java) S 30364 30364 19528 0 -1 1077944384 3693 0 0 0 62 9 0 0 20 0 19 0 409231665 15991906304 75655 33554432000 4194304 4196468 140736328996352 140600332699920 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30370] ppid=30364 vsize=15617096 memory=15818889359525360 CPUtime=0.7 cores=1,3,5,7
/proc/30366/task/30370/stat : 30370 (java) S 30364 30364 19528 0 -1 1077944384 4066 0 0 0 61 9 0 0 20 0 19 0 409231665 15991906304 75655 33554432000 4194304 4196468 140736328996352 140600331647632 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30371] ppid=30364 vsize=15617096 memory=6082203026149239639 CPUtime=0.7 cores=1,3,5,7
/proc/30366/task/30371/stat : 30371 (java) S 30364 30364 19528 0 -1 1077944384 2541 0 0 0 62 8 0 0 20 0 19 0 409231665 15991906304 75655 33554432000 4194304 4196468 140736328996352 140600330594832 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30372] ppid=30364 vsize=15617096 memory=140133105688339 CPUtime=0.88 cores=1,3,5,7
/proc/30366/task/30372/stat : 30372 (java) S 30364 30364 19528 0 -1 1077944384 3733 0 0 0 32 56 0 0 20 0 19 0 409231666 15991906304 75655 33554432000 4194304 4196468 140736328996352 140599873927792 140600405723778 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30373] ppid=30364 vsize=15617096 memory=10716 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30373/stat : 30373 (java) S 30364 30364 19528 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 19 0 409231667 15991906304 75655 33554432000 4194304 4196468 140736328996352 140599872873824 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30374] ppid=30364 vsize=15617096 memory=22787 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30374/stat : 30374 (java) S 30364 30364 19528 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 19 0 409231667 15991906304 75655 33554432000 4194304 4196468 140736328996352 140599871821440 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30375] ppid=30364 vsize=15617096 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30375/stat : 30375 (java) S 30364 30364 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409231669 15991906304 75655 33554432000 4194304 4196468 140736328996352 140599870769744 140600405731227 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30376] ppid=30364 vsize=15617096 memory=6944656592455097440 CPUtime=2.7 cores=1,3,5,7
/proc/30366/task/30376/stat : 30376 (java) S 30364 30364 19528 0 -1 1077944384 11994 0 0 0 269 1 0 0 20 0 19 0 409231669 15991906304 75655 33554432000 4194304 4196468 140736328996352 140599869716592 140600405723778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30377] ppid=30364 vsize=15617096 memory=6944656592455359580 CPUtime=2.57 cores=1,3,5,7
/proc/30366/task/30377/stat : 30377 (java) S 30364 30364 19528 0 -1 1077944384 11128 0 0 0 256 1 0 0 20 0 19 0 409231669 15991906304 75655 33554432000 4194304 4196468 140736328996352 140599868663792 140600405723778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30378] ppid=30364 vsize=15617096 memory=7372540200318165840 CPUtime=0.72 cores=1,3,5,7
/proc/30366/task/30378/stat : 30378 (java) S 30364 30364 19528 0 -1 1077944384 6958 0 0 0 71 1 0 0 20 0 19 0 409231669 15991906304 75655 33554432000 4194304 4196468 140736328996352 140599867611504 140600405723778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30379] ppid=30364 vsize=15617096 memory=7811331308758329682 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30379/stat : 30379 (java) S 30364 30364 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409231670 15991906304 75655 33554432000 4194304 4196468 140736328996352 140599866558944 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30380] ppid=30364 vsize=15617096 memory=7589239834027059565 CPUtime=0.23 cores=1,3,5,7
/proc/30366/task/30380/stat : 30380 (java) S 30364 30364 19528 0 -1 1077944384 1114 0 0 0 0 23 0 0 20 0 19 0 409231670 15991906304 75655 33554432000 4194304 4196468 140736328996352 140599865506736 140600405723778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30511] ppid=30364 vsize=15617096 memory=7811328972210792017 CPUtime=490 cores=1,3,5,7
/proc/30366/task/30511/stat : 30511 (java) R 30364 30364 19528 0 -1 4202560 1238 0 0 0 48999 1 0 0 20 0 19 0 409240484 15991906304 75655 33554432000 4194304 4196468 140736328996352 140599853376992 140600004786840 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30512] ppid=30364 vsize=15617096 memory=280264603878192 CPUtime=490 cores=1,3,5,7
/proc/30366/task/30512/stat : 30512 (java) R 30364 30364 19528 0 -1 4202560 2125 0 0 0 49000 0 0 0 20 0 19 0 409240484 15991906304 75655 33554432000 4194304 4196468 140736328996352 140599850217608 140600004787075 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30513] ppid=30364 vsize=15617096 memory=520 CPUtime=490.09 cores=1,3,5,7
/proc/30366/task/30513/stat : 30513 (java) R 30364 30364 19528 0 -1 4202560 2069 0 0 0 49008 1 0 0 20 0 19 0 409240484 15991906304 75655 33554432000 4194304 4196468 140736328996352 140599852322840 140600003369105 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30514] ppid=30364 vsize=15617096 memory=1560 CPUtime=490.11 cores=1,3,5,7
/proc/30366/task/30514/stat : 30514 (java) R 30364 30364 19528 0 -1 4202560 1126 0 0 0 49010 1 0 0 20 0 19 0 409240484 15991906304 75655 33554432000 4194304 4196468 140736328996352 140599855480864 140600005607225 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
Current children cumulated CPU time: 2313.59 s
Current children cumulated vsize: 15730224 KiB
Current children cumulated memory: 304068 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+604.104 s]
/proc/loadavg: 8.36 8.46 8.30 9/237 30765
/proc/meminfo: memFree=20768264/32770624 swapFree=66939828/67108860
[pid=30364] ppid=30361 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30364/stat : 30364 (xcsp3-exec) S 30361 30364 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409231664 115843072 362 33554432000 4194304 5098028 140728677106144 140728677104248 139735696556668 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15126528 140728677110651 140728677110893 140728677110893 140728677113802 0
/proc/30364/statm: 28282 362 304 221 0 87 0
[pid=30366] ppid=30364 vsize=15617096 memory=304556 CPUtime=2400.19 cores=1,3,5,7
/proc/30366/stat : 30366 (java) S 30364 30364 19528 0 -1 1077944320 75191 0 0 0 239913 106 0 0 20 0 19 0 409231664 15991906304 76139 33554432000 4194304 4196468 140736328996352 140736328978896 140600405712631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
/proc/30366/statm: 3904274 76139 3519 1 0 3865376 0
[pid=30366/tid=30367] ppid=30364 vsize=15617096 memory=1984 CPUtime=0.59 cores=1,3,5,7
/proc/30366/task/30367/stat : 30367 (java) S 30364 30364 19528 0 -1 1077944384 9379 0 0 0 55 4 0 0 20 0 19 0 409231664 15991906304 76139 33554432000 4194304 4196468 140736328996352 140600409953408 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30368] ppid=30364 vsize=15617096 memory=1440 CPUtime=0.73 cores=1,3,5,7
/proc/30366/task/30368/stat : 30368 (java) S 30364 30364 19528 0 -1 1077944384 5114 0 0 0 64 9 0 0 20 0 19 0 409231665 15991906304 76139 33554432000 4194304 4196468 140736328996352 140600333752720 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30369] ppid=30364 vsize=15617096 memory=804 CPUtime=0.73 cores=1,3,5,7
/proc/30366/task/30369/stat : 30369 (java) S 30364 30364 19528 0 -1 1077944384 3700 0 0 0 64 9 0 0 20 0 19 0 409231665 15991906304 76139 33554432000 4194304 4196468 140736328996352 140600332699920 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30370] ppid=30364 vsize=15617096 memory=2580 CPUtime=0.72 cores=1,3,5,7
/proc/30366/task/30370/stat : 30370 (java) S 30364 30364 19528 0 -1 1077944384 4071 0 0 0 63 9 0 0 20 0 19 0 409231665 15991906304 76139 33554432000 4194304 4196468 140736328996352 140600331647632 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30371] ppid=30364 vsize=15617096 memory=1448 CPUtime=0.72 cores=1,3,5,7
/proc/30366/task/30371/stat : 30371 (java) S 30364 30364 19528 0 -1 1077944384 2557 0 0 0 64 8 0 0 20 0 19 0 409231665 15991906304 76139 33554432000 4194304 4196468 140736328996352 140600330594832 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30372] ppid=30364 vsize=15617096 memory=1448 CPUtime=0.93 cores=1,3,5,7
/proc/30366/task/30372/stat : 30372 (java) S 30364 30364 19528 0 -1 1077944384 3736 0 0 0 34 59 0 0 20 0 19 0 409231666 15991906304 76139 33554432000 4194304 4196468 140736328996352 140599873927792 140600405723778 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30373] ppid=30364 vsize=15617096 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30373/stat : 30373 (java) S 30364 30364 19528 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 19 0 409231667 15991906304 76139 33554432000 4194304 4196468 140736328996352 140599872873824 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30374] ppid=30364 vsize=15617096 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30374/stat : 30374 (java) S 30364 30364 19528 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 19 0 409231667 15991906304 76139 33554432000 4194304 4196468 140736328996352 140599871821440 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30375] ppid=30364 vsize=15617096 memory=7980 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30375/stat : 30375 (java) S 30364 30364 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409231669 15991906304 76139 33554432000 4194304 4196468 140736328996352 140599870769744 140600405731227 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30376] ppid=30364 vsize=15617096 memory=9580 CPUtime=2.7 cores=1,3,5,7
/proc/30366/task/30376/stat : 30376 (java) S 30364 30364 19528 0 -1 1077944384 11994 0 0 0 269 1 0 0 20 0 19 0 409231669 15991906304 76139 33554432000 4194304 4196468 140736328996352 140599869716592 140600405723778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30377] ppid=30364 vsize=15617096 memory=1052 CPUtime=2.57 cores=1,3,5,7
/proc/30366/task/30377/stat : 30377 (java) S 30364 30364 19528 0 -1 1077944384 11128 0 0 0 256 1 0 0 20 0 19 0 409231669 15991906304 76139 33554432000 4194304 4196468 140736328996352 140599868663792 140600405723778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30378] ppid=30364 vsize=15617096 memory=776 CPUtime=0.72 cores=1,3,5,7
/proc/30366/task/30378/stat : 30378 (java) S 30364 30364 19528 0 -1 1077944384 6958 0 0 0 71 1 0 0 20 0 19 0 409231669 15991906304 76139 33554432000 4194304 4196468 140736328996352 140599867611504 140600405723778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30379] ppid=30364 vsize=15617096 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/30366/task/30379/stat : 30379 (java) S 30364 30364 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409231670 15991906304 76139 33554432000 4194304 4196468 140736328996352 140599866558944 140600405722837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30380] ppid=30364 vsize=15617096 memory=668 CPUtime=0.24 cores=1,3,5,7
/proc/30366/task/30380/stat : 30380 (java) S 30364 30364 19528 0 -1 1077944384 1116 0 0 0 0 24 0 0 20 0 19 0 409231670 15991906304 76139 33554432000 4194304 4196468 140736328996352 140599865506736 140600405723778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30511] ppid=30364 vsize=15617096 memory=1232 CPUtime=511.59 cores=1,3,5,7
/proc/30366/task/30511/stat : 30511 (java) R 30364 30364 19528 0 -1 4202560 1251 0 0 0 51158 1 0 0 20 0 19 0 409240484 15991906304 76139 33554432000 4194304 4196468 140736328996352 140599853376992 140600003369463 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30512] ppid=30364 vsize=15617096 memory=1064 CPUtime=511.7 cores=1,3,5,7
/proc/30366/task/30512/stat : 30512 (java) R 30364 30364 19528 0 -1 4202560 2159 0 0 0 51170 0 0 0 20 0 19 0 409240484 15991906304 76139 33554432000 4194304 4196468 140736328996352 140599850217328 140600003370168 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30513] ppid=30364 vsize=15617096 memory=14008 CPUtime=511.6 cores=1,3,5,7
/proc/30366/task/30513/stat : 30513 (java) R 30364 30364 19528 0 -1 4202560 2079 0 0 0 51159 1 0 0 20 0 19 0 409240484 15991906304 76139 33554432000 4194304 4196468 140736328996352 140599852322712 140600004077220 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
[pid=30366/tid=30514] ppid=30364 vsize=15617096 memory=1448 CPUtime=511.78 cores=1,3,5,7
/proc/30366/task/30514/stat : 30514 (java) R 30364 30364 19528 0 -1 4202560 1169 0 0 0 51177 1 0 0 20 0 19 0 409240484 15991906304 76139 33554432000 4194304 4196468 140736328996352 140599855480976 140600005607039 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140736328999919 140736329000090 140736329000090 140736329002959 0
Current children cumulated CPU time: 2400.19 s
Current children cumulated vsize: 15730224 KiB
Current children cumulated memory: 306004 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+604.13 s]
# the end of solver process 30364 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002305 s, system=0 s
[startup+604.202 s]
# the end of solver process 30366 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.48 s, system=1.07882 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 604.202
CPU time (s): 2400.56
CPU user time (s): 2399.48
CPU system time (s): 1.07882
CPU usage (%): 397.311
Max. virtual memory (cumulated for all children) (KiB): 15730224
Max. memory (cumulated for all children) (KiB): 306004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.48
system time used= 1.07882
maximum resident set size= 304828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75971
page faults= 0
swaps= 0
block input operations= 0
block output operations= 800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22796
involuntary context switches= 44961
# summary of solver processes directly reported to runsolver:
# pid: 30364,30366
# total CPU time (s): 2400.56
# total CPU user time (s): 2399.48
# total CPU system time (s): 1.07882
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.04281 second user time and 7.09702 second system time
The end