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 (9723 MiB free)
memory of node 1: 16384 MiB (12702 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392959-1568314445/watcher-4392959-1568314445 -o /tmp/evaluation-result-4392959-1568314445/solver-4392959-1568314445 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568312851-11622 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 937126104 HOME/instance-4392959-1568314445.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=13287, runsolver pid=13284
Current StackSize limit: 8192 KiB
[startup+0.100143 s]*
/proc/loadavg: 8.29 8.28 6.76 9/234 13303
/proc/meminfo: memFree=22948216/32770624 swapFree=66952812/67108860
[pid=13287] ppid=13284 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13287/stat : 13287 (xcsp3-exec) S 13284 13287 11591 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407386417 115843072 363 33554432000 4194304 5098028 140728738682880 140728738680984 139784470823548 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17555456 140728738685819 140728738686061 140728738686061 140728738688970 0
/proc/13287/statm: 28282 363 304 221 0 87 0
[pid=13289] ppid=13287 vsize=15144768 memory=29100 CPUtime=0.12 cores=0,2,4,6
/proc/13289/stat : 13289 (java) S 13287 13287 11591 0 -1 1077944320 5712 0 0 0 11 1 0 0 20 0 15 0 407386417 15508242432 7275 33554432000 4194304 4196468 140733679131552 140733679114096 140495248748279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
/proc/13289/statm: 3786192 7275 3155 1 0 3748377 0
[pid=13289/tid=13290] ppid=13287 vsize=15144768 memory=7100839861498119282 CPUtime=0.09 cores=0,2,4,6
/proc/13289/task/13290/stat : 13290 (java) R 13287 13287 11591 0 -1 4202560 3602 0 0 0 8 1 0 0 20 0 15 0 407386417 15508242432 7275 33554432000 4194304 4196468 140733679131552 140495252982816 140495240985406 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13291] ppid=13287 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13291/stat : 13291 (java) S 13287 13287 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407386418 15508242432 7275 33554432000 4194304 4196468 140733679131552 140495160405008 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13292] ppid=13287 vsize=15144768 memory=140371671185024 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13292/stat : 13292 (java) S 13287 13287 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407386418 15508242432 7275 33554432000 4194304 4196468 140733679131552 140495159352464 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13293] ppid=13287 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13293/stat : 13293 (java) S 13287 13287 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407386418 15508242432 7275 33554432000 4194304 4196468 140733679131552 140494839474960 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13294] ppid=13287 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13294/stat : 13294 (java) S 13287 13287 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407386418 15508242432 7275 33554432000 4194304 4196468 140733679131552 140494838422416 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13295] ppid=13287 vsize=15144768 memory=140371671185024 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13295/stat : 13295 (java) S 13287 13287 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407386419 15508242432 7275 33554432000 4194304 4196468 140733679131552 140494717327600 140495248759426 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13296] ppid=13287 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13296/stat : 13296 (java) S 13287 13287 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407386420 15508242432 7275 33554432000 4194304 4196468 140733679131552 140494716273824 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13297] ppid=13287 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13297/stat : 13297 (java) S 13287 13287 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407386420 15508242432 7275 33554432000 4194304 4196468 140733679131552 140494715220720 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13298] ppid=13287 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13298/stat : 13298 (java) S 13287 13287 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407386422 15508242432 7275 33554432000 4194304 4196468 140733679131552 140494714169296 140495248766875 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13299] ppid=13287 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13299/stat : 13299 (java) S 13287 13287 11591 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 15 0 407386422 15508242432 7275 33554432000 4194304 4196468 140733679131552 140494713117424 140495248759426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13300] ppid=13287 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13300/stat : 13300 (java) S 13287 13287 11591 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 15 0 407386422 15508242432 7275 33554432000 4194304 4196468 140733679131552 140494712064880 140495248759426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13301] ppid=13287 vsize=15144768 memory=140371671185024 CPUtime=0.02 cores=0,2,4,6
/proc/13289/task/13301/stat : 13301 (java) R 13287 13287 11591 0 -1 4202560 356 0 0 0 2 0 0 0 20 0 15 0 407386422 15508242432 7275 33554432000 4194304 4196468 140733679131552 140494711009616 140495230333522 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13302] ppid=13287 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13302/stat : 13302 (java) S 13287 13287 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407386422 15508242432 7275 33554432000 4194304 4196468 140733679131552 140494709959520 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13303] ppid=13287 vsize=15144768 memory=140371671185024 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13303/stat : 13303 (java) S 13287 13287 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407386423 15508242432 7275 33554432000 4194304 4196468 140733679131552 140494708906544 140495248759426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30552 KiB
[startup+0.210967 s]*
/proc/loadavg: 8.29 8.28 6.76 7/234 13303
/proc/meminfo: memFree=22933548/32770624 swapFree=66952812/67108860
[pid=13287] ppid=13284 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13287/stat : 13287 (xcsp3-exec) S 13284 13287 11591 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407386417 115843072 363 33554432000 4194304 5098028 140728738682880 140728738680984 139784470823548 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17555456 140728738685819 140728738686061 140728738686061 140728738688970 0
/proc/13287/statm: 28282 363 304 221 0 87 0
[pid=13289] ppid=13287 vsize=15144768 memory=41012 CPUtime=0.34 cores=0,2,4,6
/proc/13289/stat : 13289 (java) S 13287 13287 11591 0 -1 1077944320 9478 0 0 0 31 3 0 0 20 0 15 0 407386417 15508242432 10253 33554432000 4194304 4196468 140733679131552 140733679114096 140495248748279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
/proc/13289/statm: 3786192 10253 3314 1 0 3748377 0
[pid=13289/tid=13290] ppid=13287 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/13289/task/13290/stat : 13290 (java) R 13287 13287 11591 0 -1 4202560 6638 0 0 0 18 2 0 0 20 0 15 0 407386417 15508242432 10253 33554432000 4194304 4196468 140733679131552 140495252985040 140495232791909 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13291] ppid=13287 vsize=15144768 memory=13655 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13291/stat : 13291 (java) S 13287 13287 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407386418 15508242432 10253 33554432000 4194304 4196468 140733679131552 140495160405008 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13292] ppid=13287 vsize=15144768 memory=288370747822896768 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13292/stat : 13292 (java) S 13287 13287 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407386418 15508242432 10253 33554432000 4194304 4196468 140733679131552 140495159352464 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13293] ppid=13287 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13293/stat : 13293 (java) S 13287 13287 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407386418 15508242432 10253 33554432000 4194304 4196468 140733679131552 140494839474960 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13294] ppid=13287 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13294/stat : 13294 (java) S 13287 13287 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407386418 15508242432 10253 33554432000 4194304 4196468 140733679131552 140494838422416 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13295] ppid=13287 vsize=15144768 memory=140371671185024 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13295/stat : 13295 (java) S 13287 13287 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407386419 15508242432 10253 33554432000 4194304 4196468 140733679131552 140494717327600 140495248759426 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13296] ppid=13287 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13296/stat : 13296 (java) S 13287 13287 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407386420 15508242432 10253 33554432000 4194304 4196468 140733679131552 140494716273824 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13297] ppid=13287 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13297/stat : 13297 (java) S 13287 13287 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407386420 15508242432 10253 33554432000 4194304 4196468 140733679131552 140494715220720 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13298] ppid=13287 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13298/stat : 13298 (java) S 13287 13287 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407386422 15508242432 10253 33554432000 4194304 4196468 140733679131552 140494714169296 140495248766875 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13299] ppid=13287 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/13289/task/13299/stat : 13299 (java) S 13287 13287 11591 0 -1 1077944384 213 0 0 0 2 0 0 0 20 0 15 0 407386422 15508242432 10253 33554432000 4194304 4196468 140733679131552 140494713117424 140495248759426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13300] ppid=13287 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/13289/task/13300/stat : 13300 (java) S 13287 13287 11591 0 -1 1077944384 558 0 0 0 2 0 0 0 20 0 15 0 407386422 15508242432 10253 33554432000 4194304 4196468 140733679131552 140494712064880 140495248759426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13301] ppid=13287 vsize=15144768 memory=140371671185024 CPUtime=0.08 cores=0,2,4,6
/proc/13289/task/13301/stat : 13301 (java) S 13287 13287 11591 0 -1 1077944384 766 0 0 0 8 0 0 0 20 0 15 0 407386422 15508242432 10253 33554432000 4194304 4196468 140733679131552 140494711011824 140495248759426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13302] ppid=13287 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13302/stat : 13302 (java) S 13287 13287 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407386422 15508242432 10253 33554432000 4194304 4196468 140733679131552 140494709959520 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13303] ppid=13287 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13303/stat : 13303 (java) S 13287 13287 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407386423 15508242432 10253 33554432000 4194304 4196468 140733679131552 140494708906544 140495248759426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42464 KiB
[startup+0.310782 s]*
/proc/loadavg: 8.29 8.28 6.76 7/234 13303
/proc/meminfo: memFree=22927280/32770624 swapFree=66952812/67108860
[pid=13287] ppid=13284 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13287/stat : 13287 (xcsp3-exec) S 13284 13287 11591 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407386417 115843072 363 33554432000 4194304 5098028 140728738682880 140728738680984 139784470823548 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17555456 140728738685819 140728738686061 140728738686061 140728738688970 0
/proc/13287/statm: 28282 363 304 221 0 87 0
[pid=13289] ppid=13287 vsize=15149024 memory=50020 CPUtime=0.53 cores=0,2,4,6
/proc/13289/stat : 13289 (java) S 13287 13287 11591 0 -1 1077944320 10914 0 0 0 49 4 0 0 20 0 15 0 407386417 15512600576 12505 33554432000 4194304 4196468 140733679131552 140733679114096 140495248748279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
/proc/13289/statm: 3787256 12505 3361 1 0 3748377 0
[pid=13289/tid=13290] ppid=13287 vsize=15149024 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/13289/task/13290/stat : 13290 (java) R 13287 13287 11591 0 -1 4202560 7847 0 0 0 26 3 0 0 20 0 15 0 407386417 15512600576 12505 33554432000 4194304 4196468 140733679131552 140495252979392 140495248770205 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13291] ppid=13287 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13291/stat : 13291 (java) S 13287 13287 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407386418 15512600576 12505 33554432000 4194304 4196468 140733679131552 140495160405008 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13292] ppid=13287 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13292/stat : 13292 (java) S 13287 13287 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407386418 15512600576 12505 33554432000 4194304 4196468 140733679131552 140495159352464 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13293] ppid=13287 vsize=15149024 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13293/stat : 13293 (java) S 13287 13287 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407386418 15512600576 12505 33554432000 4194304 4196468 140733679131552 140494839474960 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13294] ppid=13287 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13294/stat : 13294 (java) S 13287 13287 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407386418 15512600576 12505 33554432000 4194304 4196468 140733679131552 140494838422416 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13295] ppid=13287 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13295/stat : 13295 (java) S 13287 13287 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407386419 15512600576 12505 33554432000 4194304 4196468 140733679131552 140494717327600 140495248759426 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13296] ppid=13287 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13296/stat : 13296 (java) S 13287 13287 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407386420 15512600576 12505 33554432000 4194304 4196468 140733679131552 140494716273824 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13297] ppid=13287 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13297/stat : 13297 (java) S 13287 13287 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407386420 15512600576 12505 33554432000 4194304 4196468 140733679131552 140494715220720 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13298] ppid=13287 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13298/stat : 13298 (java) S 13287 13287 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407386422 15512600576 12505 33554432000 4194304 4196468 140733679131552 140494714169296 140495248766875 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13299] ppid=13287 vsize=15149024 memory=7827413994055111515 CPUtime=0.05 cores=0,2,4,6
/proc/13289/task/13299/stat : 13299 (java) S 13287 13287 11591 0 -1 1077944384 325 0 0 0 5 0 0 0 20 0 15 0 407386422 15512600576 12505 33554432000 4194304 4196468 140733679131552 140494713117424 140495248759426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13300] ppid=13287 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/13289/task/13300/stat : 13300 (java) S 13287 13287 11591 0 -1 1077944384 584 0 0 0 4 0 0 0 20 0 15 0 407386422 15512600576 12505 33554432000 4194304 4196468 140733679131552 140494712064880 140495248759426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13301] ppid=13287 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/13289/task/13301/stat : 13301 (java) S 13287 13287 11591 0 -1 1077944384 855 0 0 0 12 0 0 0 20 0 15 0 407386422 15512600576 12505 33554432000 4194304 4196468 140733679131552 140494711011824 140495248759426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13302] ppid=13287 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13302/stat : 13302 (java) S 13287 13287 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407386422 15512600576 12505 33554432000 4194304 4196468 140733679131552 140494709959520 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13303] ppid=13287 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13303/stat : 13303 (java) S 13287 13287 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407386423 15512600576 12505 33554432000 4194304 4196468 140733679131552 140494708906544 140495248759426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51472 KiB
[startup+0.707515 s]
/proc/loadavg: 8.11 8.25 6.75 9/234 13303
/proc/meminfo: memFree=22856360/32770624 swapFree=66952812/67108860
[pid=13287] ppid=13284 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13287/stat : 13287 (xcsp3-exec) S 13284 13287 11591 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407386417 115843072 363 33554432000 4194304 5098028 140728738682880 140728738680984 139784470823548 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17555456 140728738685819 140728738686061 140728738686061 140728738688970 0
/proc/13287/statm: 28282 363 304 221 0 87 0
[pid=13289] ppid=13287 vsize=15151148 memory=191480 CPUtime=1.81 cores=0,2,4,6
/proc/13289/stat : 13289 (java) S 13287 13287 11591 0 -1 1077944320 15543 0 0 0 173 8 0 0 20 0 15 0 407386417 15514775552 47870 33554432000 4194304 4196468 140733679131552 140733679114096 140495248748279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
/proc/13289/statm: 3787787 47870 3450 1 0 3748889 0
[pid=13289/tid=13290] ppid=13287 vsize=15151148 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/13289/task/13290/stat : 13290 (java) R 13287 13287 11591 0 -1 4202560 8613 0 0 0 61 6 0 0 20 0 15 0 407386417 15514775552 47870 33554432000 4194304 4196468 140733679131552 140495252984528 140494844249918 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13291] ppid=13287 vsize=15151148 memory=37896 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13291/stat : 13291 (java) S 13287 13287 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407386418 15514775552 47870 33554432000 4194304 4196468 140733679131552 140495160405008 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13292] ppid=13287 vsize=15151148 memory=992 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13292/stat : 13292 (java) S 13287 13287 11591 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 407386418 15514775552 47870 33554432000 4194304 4196468 140733679131552 140495159352464 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13293] ppid=13287 vsize=15151148 memory=2044 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13293/stat : 13293 (java) S 13287 13287 11591 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 407386418 15514775552 47870 33554432000 4194304 4196468 140733679131552 140494839474960 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13294] ppid=13287 vsize=15151148 memory=1324 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13294/stat : 13294 (java) S 13287 13287 11591 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 407386418 15514775552 47870 33554432000 4194304 4196468 140733679131552 140494838422416 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13295] ppid=13287 vsize=15151148 memory=11624 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13295/stat : 13295 (java) S 13287 13287 11591 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 407386419 15514775552 47870 33554432000 4194304 4196468 140733679131552 140494717327600 140495248759426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13296] ppid=13287 vsize=15151148 memory=752 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13296/stat : 13296 (java) S 13287 13287 11591 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 407386420 15514775552 47870 33554432000 4194304 4196468 140733679131552 140494716273824 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13297] ppid=13287 vsize=15151148 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13297/stat : 13297 (java) S 13287 13287 11591 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 407386420 15514775552 47870 33554432000 4194304 4196468 140733679131552 140494715220736 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13298] ppid=13287 vsize=15151148 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13298/stat : 13298 (java) S 13287 13287 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407386422 15514775552 47870 33554432000 4194304 4196468 140733679131552 140494714169296 140495248766875 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13299] ppid=13287 vsize=15151148 memory=944 CPUtime=0.35 cores=0,2,4,6
/proc/13289/task/13299/stat : 13299 (java) R 13287 13287 11591 0 -1 4202560 1550 0 0 0 35 0 0 0 20 0 15 0 407386422 15514775552 47870 33554432000 4194304 4196468 140733679131552 140494713103936 140495232164148 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13300] ppid=13287 vsize=15151148 memory=4004 CPUtime=0.32 cores=0,2,4,6
/proc/13289/task/13300/stat : 13300 (java) R 13287 13287 11591 0 -1 4202560 1724 0 0 0 32 0 0 0 20 0 15 0 407386422 15514775552 47870 33554432000 4194304 4196468 140733679131552 140494712057904 140495230269458 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13301] ppid=13287 vsize=15151148 memory=780 CPUtime=0.41 cores=0,2,4,6
/proc/13289/task/13301/stat : 13301 (java) R 13287 13287 11591 0 -1 4202560 2302 0 0 0 41 0 0 0 20 0 15 0 407386422 15514775552 47870 33554432000 4194304 4196468 140733679131552 140494711007568 140495241845115 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13302] ppid=13287 vsize=15151148 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13302/stat : 13302 (java) S 13287 13287 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407386422 15514775552 47870 33554432000 4194304 4196468 140733679131552 140494709959520 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13303] ppid=13287 vsize=15151148 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13303/stat : 13303 (java) S 13287 13287 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407386423 15514775552 47870 33554432000 4194304 4196468 140733679131552 140494708906544 140495248759426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
Current children cumulated CPU time: 1.81 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 192932 KiB
[startup+1.50156 s]
/proc/loadavg: 8.11 8.25 6.75 9/234 13303
/proc/meminfo: memFree=22783300/32770624 swapFree=66952812/67108860
[pid=13287] ppid=13284 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13287/stat : 13287 (xcsp3-exec) S 13284 13287 11591 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407386417 115843072 363 33554432000 4194304 5098028 140728738682880 140728738680984 139784470823548 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17555456 140728738685819 140728738686061 140728738686061 140728738688970 0
/proc/13287/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/13289/stat : 13289 (java) S 13287 13287 11591 0 -1 1077944320 114333 0 0 0 231423 121 0 0 20 0 19 0 407386417 15789518848 972266 33554432000 4194304 4196468 140733679131552 140733679114096 140495248748279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
/proc/13289/statm: 3854863 972266 3532 1 0 3815965 0
[pid=13289/tid=13290] ppid=13287 vsize=15419452 memory=1452 CPUtime=2.58 cores=0,2,4,6
/proc/13289/task/13290/stat : 13290 (java) S 13287 13287 11591 0 -1 1077944384 9737 0 0 0 250 8 0 0 20 0 19 0 407386417 15789518848 972266 33554432000 4194304 4196468 140733679131552 140495252989056 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13291] ppid=13287 vsize=15419452 memory=3889064 CPUtime=0.34 cores=0,2,4,6
/proc/13289/task/13291/stat : 13291 (java) S 13287 13287 11591 0 -1 1077944384 1497 0 0 0 26 8 0 0 20 0 19 0 407386418 15789518848 972266 33554432000 4194304 4196468 140733679131552 140495160405008 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13292] ppid=13287 vsize=15419452 memory=3917284 CPUtime=0.33 cores=0,2,4,6
/proc/13289/task/13292/stat : 13292 (java) S 13287 13287 11591 0 -1 1077944384 1682 0 0 0 26 7 0 0 20 0 19 0 407386418 15789518848 972266 33554432000 4194304 4196468 140733679131552 140495159352464 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13293] ppid=13287 vsize=15419452 memory=3917284 CPUtime=0.31 cores=0,2,4,6
/proc/13289/task/13293/stat : 13293 (java) S 13287 13287 11591 0 -1 1077944384 2344 0 0 0 24 7 0 0 20 0 19 0 407386418 15789518848 972266 33554432000 4194304 4196468 140733679131552 140494839474960 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13294] ppid=13287 vsize=15419452 memory=3889064 CPUtime=0.33 cores=0,2,4,6
/proc/13289/task/13294/stat : 13294 (java) S 13287 13287 11591 0 -1 1077944384 2184 0 0 0 25 8 0 0 20 0 19 0 407386418 15789518848 972266 33554432000 4194304 4196468 140733679131552 140494838422416 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13295] ppid=13287 vsize=15419452 memory=3889064 CPUtime=0.05 cores=0,2,4,6
/proc/13289/task/13295/stat : 13295 (java) S 13287 13287 11591 0 -1 1077944384 4649 0 0 0 4 1 0 0 20 0 19 0 407386419 15789518848 972266 33554432000 4194304 4196468 140733679131552 140494717327600 140495248759426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13296] ppid=13287 vsize=15419452 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13296/stat : 13296 (java) S 13287 13287 11591 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 407386420 15789518848 972266 33554432000 4194304 4196468 140733679131552 140494716273888 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13297] ppid=13287 vsize=15419452 memory=3917284 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13297/stat : 13297 (java) S 13287 13287 11591 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 407386420 15789518848 972266 33554432000 4194304 4196468 140733679131552 140494715220736 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13298] ppid=13287 vsize=15419452 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13298/stat : 13298 (java) S 13287 13287 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407386422 15789518848 972266 33554432000 4194304 4196468 140733679131552 140494714169296 140495248766875 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13299] ppid=13287 vsize=15419452 memory=1720 CPUtime=4.47 cores=0,2,4,6
/proc/13289/task/13299/stat : 13299 (java) S 13287 13287 11591 0 -1 1077944384 22010 0 0 0 445 2 0 0 20 0 19 0 407386422 15789518848 972266 33554432000 4194304 4196468 140733679131552 140494713117424 140495248759426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13300] ppid=13287 vsize=15419452 memory=3955760 CPUtime=4.48 cores=0,2,4,6
/proc/13289/task/13300/stat : 13300 (java) S 13287 13287 11591 0 -1 1077944384 16619 0 0 0 446 2 0 0 20 0 19 0 407386422 15789518848 972266 33554432000 4194304 4196468 140733679131552 140494712064880 140495248759426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13301] ppid=13287 vsize=15419452 memory=1452 CPUtime=1.06 cores=0,2,4,6
/proc/13289/task/13301/stat : 13301 (java) S 13287 13287 11591 0 -1 1077944384 11303 0 0 0 104 2 0 0 20 0 19 0 407386422 15789518848 972266 33554432000 4194304 4196468 140733679131552 140494711011824 140495248759426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13302] ppid=13287 vsize=15419452 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13302/stat : 13302 (java) S 13287 13287 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407386422 15789518848 972266 33554432000 4194304 4196468 140733679131552 140494709959520 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13303] ppid=13287 vsize=15419452 memory=3917284 CPUtime=0.24 cores=0,2,4,6
/proc/13289/task/13303/stat : 13303 (java) S 13287 13287 11591 0 -1 1077944384 711 0 0 0 0 24 0 0 20 0 19 0 407386423 15789518848 972266 33554432000 4194304 4196468 140733679131552 140494708906544 140495248759426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13304] ppid=13287 vsize=15419452 memory=3917284 CPUtime=575.01 cores=0,2,4,6
/proc/13289/task/13304/stat : 13304 (java) R 13287 13287 11591 0 -1 4202560 2656 0 0 0 57499 2 0 0 20 0 19 0 407386695 15789518848 972266 33554432000 4194304 4196468 140733679131552 140494697598264 140494848876638 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13305] ppid=13287 vsize=15419452 memory=3612 CPUtime=574.95 cores=0,2,4,6
/proc/13289/task/13305/stat : 13305 (java) R 13287 13287 11591 0 -1 4202560 32986 0 0 0 57431 64 0 0 20 0 19 0 407386695 15789518848 972266 33554432000 4194304 4196468 140733679131552 140494696545992 140494851077493 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13306] ppid=13287 vsize=15419452 memory=37932 CPUtime=575.92 cores=0,2,4,6
/proc/13289/task/13306/stat : 13306 (java) R 13287 13287 11591 0 -1 4202560 1626 0 0 0 57591 1 0 0 20 0 19 0 407386695 15789518848 972266 33554432000 4194304 4196468 140733679131552 140494695493152 140494840631708 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13307] ppid=13287 vsize=15419452 memory=11624 CPUtime=575.2 cores=0,2,4,6
/proc/13289/task/13307/stat : 13307 (java) R 13287 13287 11591 0 -1 4202560 3024 0 0 0 57517 3 0 0 20 0 19 0 407386695 15789518848 972266 33554432000 4194304 4196468 140733679131552 140494694441528 140494849324530 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
Current children cumulated CPU time: 2315.44 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 3890516 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+633.702 s]
/proc/loadavg: 8.19 8.23 7.48 9/234 13638
/proc/meminfo: memFree=19074396/32770624 swapFree=66952812/67108860
[pid=13287] ppid=13284 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13287/stat : 13287 (xcsp3-exec) S 13284 13287 11591 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407386417 115843072 363 33554432000 4194304 5098028 140728738682880 140728738680984 139784470823548 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17555456 140728738685819 140728738686061 140728738686061 140728738688970 0
/proc/13287/statm: 28282 363 304 221 0 87 0
[pid=13289] ppid=13287 vsize=15419452 memory=3860844 CPUtime=2520.05 cores=0,2,4,6
/proc/13289/stat : 13289 (java) S 13287 13287 11591 0 -1 1077944320 119757 0 0 0 251883 122 0 0 20 0 19 0 407386417 15789518848 965211 33554432000 4194304 4196468 140733679131552 140733679114096 140495248748279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
/proc/13289/statm: 3854863 965211 3532 1 0 3815965 0
[pid=13289/tid=13290] ppid=13287 vsize=15419452 memory=3860844 CPUtime=2.58 cores=0,2,4,6
/proc/13289/task/13290/stat : 13290 (java) S 13287 13287 11591 0 -1 1077944384 9737 0 0 0 250 8 0 0 20 0 19 0 407386417 15789518848 965211 33554432000 4194304 4196468 140733679131552 140495252989056 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13291] ppid=13287 vsize=15419452 memory=3860844 CPUtime=0.35 cores=0,2,4,6
/proc/13289/task/13291/stat : 13291 (java) S 13287 13287 11591 0 -1 1077944384 1976 0 0 0 27 8 0 0 20 0 19 0 407386418 15789518848 965211 33554432000 4194304 4196468 140733679131552 140495160405008 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13292] ppid=13287 vsize=15419452 memory=1452 CPUtime=0.35 cores=0,2,4,6
/proc/13289/task/13292/stat : 13292 (java) S 13287 13287 11591 0 -1 1077944384 2139 0 0 0 28 7 0 0 20 0 19 0 407386418 15789518848 965211 33554432000 4194304 4196468 140733679131552 140495159352464 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13293] ppid=13287 vsize=15419452 memory=3860844 CPUtime=0.32 cores=0,2,4,6
/proc/13289/task/13293/stat : 13293 (java) S 13287 13287 11591 0 -1 1077944384 2397 0 0 0 25 7 0 0 20 0 19 0 407386418 15789518848 965211 33554432000 4194304 4196468 140733679131552 140494839474960 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13294] ppid=13287 vsize=15419452 memory=1984 CPUtime=0.35 cores=0,2,4,6
/proc/13289/task/13294/stat : 13294 (java) S 13287 13287 11591 0 -1 1077944384 2207 0 0 0 27 8 0 0 20 0 19 0 407386418 15789518848 965211 33554432000 4194304 4196468 140733679131552 140494838422416 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13295] ppid=13287 vsize=15419452 memory=2492 CPUtime=0.05 cores=0,2,4,6
/proc/13289/task/13295/stat : 13295 (java) S 13287 13287 11591 0 -1 1077944384 4912 0 0 0 4 1 0 0 20 0 19 0 407386419 15789518848 965211 33554432000 4194304 4196468 140733679131552 140494717327600 140495248759426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13296] ppid=13287 vsize=15419452 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13296/stat : 13296 (java) S 13287 13287 11591 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 407386420 15789518848 965211 33554432000 4194304 4196468 140733679131552 140494716273888 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13297] ppid=13287 vsize=15419452 memory=3860844 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13297/stat : 13297 (java) S 13287 13287 11591 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 407386420 15789518848 965211 33554432000 4194304 4196468 140733679131552 140494715220736 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13298] ppid=13287 vsize=15419452 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13298/stat : 13298 (java) S 13287 13287 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407386422 15789518848 965211 33554432000 4194304 4196468 140733679131552 140494714169296 140495248766875 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13299] ppid=13287 vsize=15419452 memory=1552 CPUtime=4.47 cores=0,2,4,6
/proc/13289/task/13299/stat : 13299 (java) S 13287 13287 11591 0 -1 1077944384 22013 0 0 0 445 2 0 0 20 0 19 0 407386422 15789518848 965211 33554432000 4194304 4196468 140733679131552 140494713117424 140495248759426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13300] ppid=13287 vsize=15419452 memory=1452 CPUtime=4.49 cores=0,2,4,6
/proc/13289/task/13300/stat : 13300 (java) S 13287 13287 11591 0 -1 1077944384 17306 0 0 0 447 2 0 0 20 0 19 0 407386422 15789518848 965211 33554432000 4194304 4196468 140733679131552 140494712064880 140495248759426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13301] ppid=13287 vsize=15419452 memory=1452 CPUtime=1.06 cores=0,2,4,6
/proc/13289/task/13301/stat : 13301 (java) S 13287 13287 11591 0 -1 1077944384 11307 0 0 0 104 2 0 0 20 0 19 0 407386422 15789518848 965211 33554432000 4194304 4196468 140733679131552 140494711011824 140495248759426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13302] ppid=13287 vsize=15419452 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13302/stat : 13302 (java) S 13287 13287 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407386422 15789518848 965211 33554432000 4194304 4196468 140733679131552 140494709959520 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13303] ppid=13287 vsize=15419452 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/13289/task/13303/stat : 13303 (java) S 13287 13287 11591 0 -1 1077944384 764 0 0 0 0 26 0 0 20 0 19 0 407386423 15789518848 965211 33554432000 4194304 4196468 140733679131552 140494708906544 140495248759426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13304] ppid=13287 vsize=15419452 memory=1452 CPUtime=626.36 cores=0,2,4,6
/proc/13289/task/13304/stat : 13304 (java) R 13287 13287 11591 0 -1 4202560 3001 0 0 0 62634 2 0 0 20 0 19 0 407386695 15789518848 965211 33554432000 4194304 4196468 140733679131552 140494697597928 140494848641614 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13305] ppid=13287 vsize=15419452 memory=3860844 CPUtime=626.2 cores=0,2,4,6
/proc/13289/task/13305/stat : 13305 (java) R 13287 13287 11591 0 -1 4202560 35646 0 0 0 62555 65 0 0 20 0 19 0 407386695 15789518848 965211 33554432000 4194304 4196468 140733679131552 140494696548928 140494851078074 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13306] ppid=13287 vsize=15419452 memory=1452 CPUtime=627.04 cores=0,2,4,6
/proc/13289/task/13306/stat : 13306 (java) R 13287 13287 11591 0 -1 4202560 1798 0 0 0 62703 1 0 0 20 0 19 0 407386695 15789518848 965211 33554432000 4194304 4196468 140733679131552 140494695493328 140494840631708 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13307] ppid=13287 vsize=15419452 memory=3861356 CPUtime=626.01 cores=0,2,4,6
/proc/13289/task/13307/stat : 13307 (java) R 13287 13287 11591 0 -1 4202560 3249 0 0 0 62598 3 0 0 20 0 19 0 407386695 15789518848 965211 33554432000 4194304 4196468 140733679131552 140494694441528 140494849324073 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 3862296 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+633.719 s]
# the end of solver process 13287 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001117 s, system=0.001117 s
[startup+633.81 s]
# the end of solver process 13289 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.18 s, system=1.25053 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
[startup+633.702 s]
/proc/loadavg: 8.19 8.23 7.48 9/234 13638
/proc/meminfo: memFree=19074396/32770624 swapFree=66952812/67108860
[pid=13287] ppid=13284 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13287/stat : 13287 (xcsp3-exec) S 13284 13287 11591 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407386417 115843072 363 33554432000 4194304 5098028 140728738682880 140728738680984 139784470823548 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17555456 140728738685819 140728738686061 140728738686061 140728738688970 0
/proc/13287/statm: 28282 363 304 221 0 87 0
[pid=13289] ppid=13287 vsize=15419452 memory=3860844 CPUtime=2520.05 cores=0,2,4,6
/proc/13289/stat : 13289 (java) S 13287 13287 11591 0 -1 1077944320 119757 0 0 0 251883 122 0 0 20 0 19 0 407386417 15789518848 965211 33554432000 4194304 4196468 140733679131552 140733679114096 140495248748279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
/proc/13289/statm: 3854863 965211 3532 1 0 3815965 0
[pid=13289/tid=13290] ppid=13287 vsize=15419452 memory=3860844 CPUtime=2.58 cores=0,2,4,6
/proc/13289/task/13290/stat : 13290 (java) S 13287 13287 11591 0 -1 1077944384 9737 0 0 0 250 8 0 0 20 0 19 0 407386417 15789518848 965211 33554432000 4194304 4196468 140733679131552 140495252989056 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13291] ppid=13287 vsize=15419452 memory=3860844 CPUtime=0.35 cores=0,2,4,6
/proc/13289/task/13291/stat : 13291 (java) S 13287 13287 11591 0 -1 1077944384 1976 0 0 0 27 8 0 0 20 0 19 0 407386418 15789518848 965211 33554432000 4194304 4196468 140733679131552 140495160405008 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13292] ppid=13287 vsize=15419452 memory=1452 CPUtime=0.35 cores=0,2,4,6
/proc/13289/task/13292/stat : 13292 (java) S 13287 13287 11591 0 -1 1077944384 2139 0 0 0 28 7 0 0 20 0 19 0 407386418 15789518848 965211 33554432000 4194304 4196468 140733679131552 140495159352464 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13293] ppid=13287 vsize=15419452 memory=3860844 CPUtime=0.32 cores=0,2,4,6
/proc/13289/task/13293/stat : 13293 (java) S 13287 13287 11591 0 -1 1077944384 2397 0 0 0 25 7 0 0 20 0 19 0 407386418 15789518848 965211 33554432000 4194304 4196468 140733679131552 140494839474960 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13294] ppid=13287 vsize=15419452 memory=1984 CPUtime=0.35 cores=0,2,4,6
/proc/13289/task/13294/stat : 13294 (java) S 13287 13287 11591 0 -1 1077944384 2207 0 0 0 27 8 0 0 20 0 19 0 407386418 15789518848 965211 33554432000 4194304 4196468 140733679131552 140494838422416 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13295] ppid=13287 vsize=15419452 memory=2492 CPUtime=0.05 cores=0,2,4,6
/proc/13289/task/13295/stat : 13295 (java) S 13287 13287 11591 0 -1 1077944384 4912 0 0 0 4 1 0 0 20 0 19 0 407386419 15789518848 965211 33554432000 4194304 4196468 140733679131552 140494717327600 140495248759426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13296] ppid=13287 vsize=15419452 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13296/stat : 13296 (java) S 13287 13287 11591 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 407386420 15789518848 965211 33554432000 4194304 4196468 140733679131552 140494716273888 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13297] ppid=13287 vsize=15419452 memory=3860844 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13297/stat : 13297 (java) S 13287 13287 11591 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 407386420 15789518848 965211 33554432000 4194304 4196468 140733679131552 140494715220736 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13298] ppid=13287 vsize=15419452 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13298/stat : 13298 (java) S 13287 13287 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407386422 15789518848 965211 33554432000 4194304 4196468 140733679131552 140494714169296 140495248766875 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13299] ppid=13287 vsize=15419452 memory=1552 CPUtime=4.47 cores=0,2,4,6
/proc/13289/task/13299/stat : 13299 (java) S 13287 13287 11591 0 -1 1077944384 22013 0 0 0 445 2 0 0 20 0 19 0 407386422 15789518848 965211 33554432000 4194304 4196468 140733679131552 140494713117424 140495248759426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13300] ppid=13287 vsize=15419452 memory=1452 CPUtime=4.49 cores=0,2,4,6
/proc/13289/task/13300/stat : 13300 (java) S 13287 13287 11591 0 -1 1077944384 17306 0 0 0 447 2 0 0 20 0 19 0 407386422 15789518848 965211 33554432000 4194304 4196468 140733679131552 140494712064880 140495248759426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13301] ppid=13287 vsize=15419452 memory=1452 CPUtime=1.06 cores=0,2,4,6
/proc/13289/task/13301/stat : 13301 (java) S 13287 13287 11591 0 -1 1077944384 11307 0 0 0 104 2 0 0 20 0 19 0 407386422 15789518848 965211 33554432000 4194304 4196468 140733679131552 140494711011824 140495248759426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13302] ppid=13287 vsize=15419452 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13289/task/13302/stat : 13302 (java) S 13287 13287 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407386422 15789518848 965211 33554432000 4194304 4196468 140733679131552 140494709959520 140495248758485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13303] ppid=13287 vsize=15419452 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/13289/task/13303/stat : 13303 (java) S 13287 13287 11591 0 -1 1077944384 764 0 0 0 0 26 0 0 20 0 19 0 407386423 15789518848 965211 33554432000 4194304 4196468 140733679131552 140494708906544 140495248759426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13304] ppid=13287 vsize=15419452 memory=1452 CPUtime=626.36 cores=0,2,4,6
/proc/13289/task/13304/stat : 13304 (java) R 13287 13287 11591 0 -1 4202560 3001 0 0 0 62634 2 0 0 20 0 19 0 407386695 15789518848 965211 33554432000 4194304 4196468 140733679131552 140494697597928 140494848641614 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13305] ppid=13287 vsize=15419452 memory=3860844 CPUtime=626.2 cores=0,2,4,6
/proc/13289/task/13305/stat : 13305 (java) R 13287 13287 11591 0 -1 4202560 35646 0 0 0 62555 65 0 0 20 0 19 0 407386695 15789518848 965211 33554432000 4194304 4196468 140733679131552 140494696548928 140494851078074 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13306] ppid=13287 vsize=15419452 memory=1452 CPUtime=627.04 cores=0,2,4,6
/proc/13289/task/13306/stat : 13306 (java) R 13287 13287 11591 0 -1 4202560 1798 0 0 0 62703 1 0 0 20 0 19 0 407386695 15789518848 965211 33554432000 4194304 4196468 140733679131552 140494695493328 140494840631708 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
[pid=13289/tid=13307] ppid=13287 vsize=15419452 memory=3861356 CPUtime=626.01 cores=0,2,4,6
/proc/13289/task/13307/stat : 13307 (java) R 13287 13287 11591 0 -1 4202560 3249 0 0 0 62598 3 0 0 20 0 19 0 407386695 15789518848 965211 33554432000 4194304 4196468 140733679131552 140494694441528 140494849324073 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37314560 140733679133679 140733679133850 140733679133850 140733679136719 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 3862296 KiB
Child status: 143
Real time (s): 633.81
CPU time (s): 2520.43
CPU user time (s): 2519.18
CPU system time (s): 1.25053
CPU usage (%): 397.664
Max. virtual memory (cumulated for all children) (KiB): 15532580
Max. memory (cumulated for all children) (KiB): 4157804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.18
system time used= 1.25053
maximum resident set size= 4158012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121548
page faults= 0
swaps= 0
block input operations= 0
block output operations= 912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17170
involuntary context switches= 38525
# summary of solver processes directly reported to runsolver:
# pid: 13287,13289
# total CPU time (s): 2520.43
# total CPU user time (s): 2519.18
# total CPU system time (s): 1.25053
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.84044 second user time and 7.45982 second system time
The end