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 (15270 MiB free)
memory of node 1: 16384 MiB (15347 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393153-1568316027/watcher-4393153-1568316027 -o /tmp/evaluation-result-4393153-1568316027/solver-4393153-1568316027 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568312479-6784 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 489478996 HOME/instance-4393153-1568316027.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=11627, runsolver pid=11624
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 6.00 6.25 6.61 5/234 11643
/proc/meminfo: memFree=31338696/32770624 swapFree=66979440/67108860
[pid=11627] ppid=11624 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11627/stat : 11627 (xcsp3-exec) S 11624 11627 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407865351 115843072 363 33554432000 4194304 5098028 140724846942432 140724846940536 139751658271356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31256576 140724846949243 140724846949485 140724846949485 140724846952394 0
/proc/11627/statm: 28282 363 304 221 0 87 0
[pid=11629] ppid=11627 vsize=15144768 memory=27488 CPUtime=0.12 cores=0,2,4,6
/proc/11629/stat : 11629 (java) S 11627 11627 6753 0 -1 1077944320 5754 0 0 0 11 1 0 0 20 0 15 0 407865351 15508242432 6872 33554432000 4194304 4196468 140737204134048 140737204116592 140681816387319 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
/proc/11629/statm: 3786192 6872 3150 1 0 3748377 0
[pid=11629/tid=11630] ppid=11627 vsize=15144768 memory=7100839878644302962 CPUtime=0.08 cores=0,2,4,6
/proc/11629/task/11630/stat : 11630 (java) R 11627 11627 6753 0 -1 4202560 3621 0 0 0 8 0 0 0 20 0 15 0 407865351 15508242432 6872 33554432000 4194304 4196468 140737204134048 140681820623664 140681801755463 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11631] ppid=11627 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11631/stat : 11631 (java) S 11627 11627 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407865352 15508242432 6872 33554432000 4194304 4196468 140737204134048 140681409038864 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11632] ppid=11627 vsize=15144768 memory=139655932962432 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11632/stat : 11632 (java) S 11627 11627 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407865352 15508242432 6872 33554432000 4194304 4196468 140737204134048 140681407986320 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11633] ppid=11627 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11633/stat : 11633 (java) S 11627 11627 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407865352 15508242432 6872 33554432000 4194304 4196468 140737204134048 140681406933264 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11634] ppid=11627 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11634/stat : 11634 (java) S 11627 11627 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407865352 15508242432 6872 33554432000 4194304 4196468 140737204134048 140681405880720 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11635] ppid=11627 vsize=15144768 memory=139655932962432 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11635/stat : 11635 (java) S 11627 11627 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407865353 15508242432 6872 33554432000 4194304 4196468 140737204134048 140681284963056 140681816398466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11636] ppid=11627 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11636/stat : 11636 (java) S 11627 11627 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407865354 15508242432 6872 33554432000 4194304 4196468 140737204134048 140681283909280 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11637] ppid=11627 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11637/stat : 11637 (java) S 11627 11627 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407865354 15508242432 6872 33554432000 4194304 4196468 140737204134048 140681282856176 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11638] ppid=11627 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11638/stat : 11638 (java) S 11627 11627 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407865357 15508242432 6872 33554432000 4194304 4196468 140737204134048 140681281804752 140681816405915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11639] ppid=11627 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11639/stat : 11639 (java) S 11627 11627 6753 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 15 0 407865357 15508242432 6872 33554432000 4194304 4196468 140737204134048 140681280751856 140681816398466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11640] ppid=11627 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11640/stat : 11640 (java) S 11627 11627 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407865357 15508242432 6872 33554432000 4194304 4196468 140737204134048 140681279699312 140681816398466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11641] ppid=11627 vsize=15144768 memory=139655932962432 CPUtime=0.02 cores=0,2,4,6
/proc/11629/task/11641/stat : 11641 (java) R 11627 11627 6753 0 -1 4202560 404 0 0 0 2 0 0 0 20 0 15 0 407865357 15508242432 6872 33554432000 4194304 4196468 140737204134048 140681278646256 140681809484155 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11642] ppid=11627 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11642/stat : 11642 (java) S 11627 11627 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407865357 15508242432 6872 33554432000 4194304 4196468 140737204134048 140681277593952 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11643] ppid=11627 vsize=15144768 memory=139655932962432 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11643/stat : 11643 (java) S 11627 11627 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407865357 15508242432 6872 33554432000 4194304 4196468 140737204134048 140681276542000 140681816398466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 28940 KiB
[startup+0.210717 s]*
/proc/loadavg: 6.00 6.25 6.61 4/234 11643
/proc/meminfo: memFree=31324096/32770624 swapFree=66979440/67108860
[pid=11627] ppid=11624 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11627/stat : 11627 (xcsp3-exec) S 11624 11627 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407865351 115843072 363 33554432000 4194304 5098028 140724846942432 140724846940536 139751658271356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31256576 140724846949243 140724846949485 140724846949485 140724846952394 0
/proc/11627/statm: 28282 363 304 221 0 87 0
[pid=11629] ppid=11627 vsize=15144768 memory=39740 CPUtime=0.34 cores=0,2,4,6
/proc/11629/stat : 11629 (java) S 11627 11627 6753 0 -1 1077944320 9691 0 0 0 31 3 0 0 20 0 15 0 407865351 15508242432 9935 33554432000 4194304 4196468 140737204134048 140737204116592 140681816387319 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
/proc/11629/statm: 3786192 9935 3301 1 0 3748377 0
[pid=11629/tid=11630] ppid=11627 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/11629/task/11630/stat : 11630 (java) R 11627 11627 6753 0 -1 4202560 6635 0 0 0 18 2 0 0 20 0 15 0 407865351 15508242432 9935 33554432000 4194304 4196468 140737204134048 140681820619232 140681800467806 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11631] ppid=11627 vsize=15144768 memory=2995868 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11631/stat : 11631 (java) S 11627 11627 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407865352 15508242432 9935 33554432000 4194304 4196468 140737204134048 140681409038864 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11632] ppid=11627 vsize=15144768 memory=139655932973788 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11632/stat : 11632 (java) S 11627 11627 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407865352 15508242432 9935 33554432000 4194304 4196468 140737204134048 140681407986320 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11633] ppid=11627 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11633/stat : 11633 (java) S 11627 11627 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407865352 15508242432 9935 33554432000 4194304 4196468 140737204134048 140681406933264 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11634] ppid=11627 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11634/stat : 11634 (java) S 11627 11627 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407865352 15508242432 9935 33554432000 4194304 4196468 140737204134048 140681405880720 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11635] ppid=11627 vsize=15144768 memory=139655932962432 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11635/stat : 11635 (java) S 11627 11627 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407865353 15508242432 9935 33554432000 4194304 4196468 140737204134048 140681284963056 140681816398466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11636] ppid=11627 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11636/stat : 11636 (java) S 11627 11627 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407865354 15508242432 9935 33554432000 4194304 4196468 140737204134048 140681283909280 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11637] ppid=11627 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11637/stat : 11637 (java) S 11627 11627 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407865354 15508242432 9935 33554432000 4194304 4196468 140737204134048 140681282856176 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11638] ppid=11627 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11638/stat : 11638 (java) S 11627 11627 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407865357 15508242432 9935 33554432000 4194304 4196468 140737204134048 140681281804752 140681816405915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11639] ppid=11627 vsize=15144768 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/11629/task/11639/stat : 11639 (java) R 11627 11627 6753 0 -1 4202560 722 0 0 0 3 0 0 0 20 0 15 0 407865357 15508242432 9935 33554432000 4194304 4196468 140737204134048 140681280751856 140681816399254 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11640] ppid=11627 vsize=15144768 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/11629/task/11640/stat : 11640 (java) R 11627 11627 6753 0 -1 1077944384 120 0 0 0 1 0 0 0 20 0 15 0 407865357 15508242432 9935 33554432000 4194304 4196468 140737204134048 140681279699312 140681816398466 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11641] ppid=11627 vsize=15144768 memory=139655932962432 CPUtime=0.08 cores=0,2,4,6
/proc/11629/task/11641/stat : 11641 (java) R 11627 11627 6753 0 -1 4202560 908 0 0 0 8 0 0 0 20 0 15 0 407865357 15508242432 9935 33554432000 4194304 4196468 140737204134048 140681278642208 140681795513776 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11642] ppid=11627 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11642/stat : 11642 (java) S 11627 11627 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407865357 15508242432 9935 33554432000 4194304 4196468 140737204134048 140681277593952 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11643] ppid=11627 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11643/stat : 11643 (java) S 11627 11627 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407865357 15508242432 9935 33554432000 4194304 4196468 140737204134048 140681276542000 140681816398466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41192 KiB
[startup+0.310609 s]*
/proc/loadavg: 6.00 6.25 6.61 4/234 11643
/proc/meminfo: memFree=31319132/32770624 swapFree=66979440/67108860
[pid=11627] ppid=11624 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11627/stat : 11627 (xcsp3-exec) S 11624 11627 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407865351 115843072 363 33554432000 4194304 5098028 140724846942432 140724846940536 139751658271356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31256576 140724846949243 140724846949485 140724846949485 140724846952394 0
/proc/11627/statm: 28282 363 304 221 0 87 0
[pid=11629] ppid=11627 vsize=15149024 memory=46568 CPUtime=0.53 cores=0,2,4,6
/proc/11629/stat : 11629 (java) S 11627 11627 6753 0 -1 1077944320 10984 0 0 0 49 4 0 0 20 0 15 0 407865351 15512600576 11642 33554432000 4194304 4196468 140737204134048 140737204116592 140681816387319 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
/proc/11629/statm: 3787256 11642 3354 1 0 3748377 0
[pid=11629/tid=11630] ppid=11627 vsize=15149024 memory=7883960649037381690 CPUtime=0.29 cores=0,2,4,6
/proc/11629/task/11630/stat : 11630 (java) R 11627 11627 6753 0 -1 4202560 7698 0 0 0 27 2 0 0 20 0 15 0 407865351 15512600576 11642 33554432000 4194304 4196468 140737204134048 140681820615536 140681800467806 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11631] ppid=11627 vsize=15149024 memory=2996209 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11631/stat : 11631 (java) S 11627 11627 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407865352 15512600576 11642 33554432000 4194304 4196468 140737204134048 140681409038864 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11632] ppid=11627 vsize=15149024 memory=3155436 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11632/stat : 11632 (java) S 11627 11627 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407865352 15512600576 11642 33554432000 4194304 4196468 140737204134048 140681407986320 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11633] ppid=11627 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11633/stat : 11633 (java) S 11627 11627 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407865352 15512600576 11642 33554432000 4194304 4196468 140737204134048 140681406933264 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11634] ppid=11627 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11634/stat : 11634 (java) S 11627 11627 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407865352 15512600576 11642 33554432000 4194304 4196468 140737204134048 140681405880720 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11635] ppid=11627 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11635/stat : 11635 (java) S 11627 11627 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407865353 15512600576 11642 33554432000 4194304 4196468 140737204134048 140681284963056 140681816398466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11636] ppid=11627 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11636/stat : 11636 (java) S 11627 11627 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407865354 15512600576 11642 33554432000 4194304 4196468 140737204134048 140681283909280 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11637] ppid=11627 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11637/stat : 11637 (java) S 11627 11627 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407865354 15512600576 11642 33554432000 4194304 4196468 140737204134048 140681282856176 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11638] ppid=11627 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11638/stat : 11638 (java) S 11627 11627 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407865357 15512600576 11642 33554432000 4194304 4196468 140737204134048 140681281804752 140681816405915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11639] ppid=11627 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/11629/task/11639/stat : 11639 (java) R 11627 11627 6753 0 -1 4202560 736 0 0 0 4 0 0 0 20 0 15 0 407865357 15512600576 11642 33554432000 4194304 4196468 140737204134048 140681280751856 140681816408666 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11640] ppid=11627 vsize=15149024 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/11629/task/11640/stat : 11640 (java) R 11627 11627 6753 0 -1 1077944384 158 0 0 0 3 0 0 0 20 0 15 0 407865357 15512600576 11642 33554432000 4194304 4196468 140737204134048 140681279699408 140681816397525 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11641] ppid=11627 vsize=15149024 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/11629/task/11641/stat : 11641 (java) S 11627 11627 6753 0 -1 1077944384 1092 0 0 0 13 0 0 0 20 0 15 0 407865357 15512600576 11642 33554432000 4194304 4196468 140737204134048 140681278646256 140681816398466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11642] ppid=11627 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11642/stat : 11642 (java) S 11627 11627 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407865357 15512600576 11642 33554432000 4194304 4196468 140737204134048 140681277593952 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11643] ppid=11627 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11643/stat : 11643 (java) S 11627 11627 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407865357 15512600576 11642 33554432000 4194304 4196468 140737204134048 140681276542000 140681816398466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 48020 KiB
[startup+0.700963 s]
/proc/loadavg: 6.00 6.25 6.61 4/234 11643
/proc/meminfo: memFree=31295124/32770624 swapFree=66979440/67108860
[pid=11627] ppid=11624 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11627/stat : 11627 (xcsp3-exec) S 11624 11627 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407865351 115843072 363 33554432000 4194304 5098028 140724846942432 140724846940536 139751658271356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31256576 140724846949243 140724846949485 140724846949485 140724846952394 0
/proc/11627/statm: 28282 363 304 221 0 87 0
[pid=11629] ppid=11627 vsize=15151148 memory=105852 CPUtime=1.72 cores=0,2,4,6
/proc/11629/stat : 11629 (java) S 11627 11627 6753 0 -1 1077944320 14569 0 0 0 167 5 0 0 20 0 15 0 407865351 15514775552 26463 33554432000 4194304 4196468 140737204134048 140737204116592 140681816387319 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
/proc/11629/statm: 3787787 26463 3448 1 0 3748889 0
[pid=11629/tid=11630] ppid=11627 vsize=15151148 memory=1787377485057 CPUtime=0.68 cores=0,2,4,6
/proc/11629/task/11630/stat : 11630 (java) R 11627 11627 6753 0 -1 4202560 8433 0 0 0 64 4 0 0 20 0 15 0 407865351 15514775552 26463 33554432000 4194304 4196468 140737204134048 140681820625584 140681457920392 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11631] ppid=11627 vsize=15151148 memory=512 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11631/stat : 11631 (java) S 11627 11627 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407865352 15514775552 26463 33554432000 4194304 4196468 140737204134048 140681409038864 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11632] ppid=11627 vsize=15151148 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11632/stat : 11632 (java) S 11627 11627 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407865352 15514775552 26463 33554432000 4194304 4196468 140737204134048 140681407986320 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11633] ppid=11627 vsize=15151148 memory=928 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11633/stat : 11633 (java) S 11627 11627 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407865352 15514775552 26463 33554432000 4194304 4196468 140737204134048 140681406933264 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11634] ppid=11627 vsize=15151148 memory=3772 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11634/stat : 11634 (java) S 11627 11627 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407865352 15514775552 26463 33554432000 4194304 4196468 140737204134048 140681405880720 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11635] ppid=11627 vsize=15151148 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11635/stat : 11635 (java) S 11627 11627 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407865353 15514775552 26463 33554432000 4194304 4196468 140737204134048 140681284963056 140681816398466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11636] ppid=11627 vsize=15151148 memory=920 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11636/stat : 11636 (java) S 11627 11627 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407865354 15514775552 26463 33554432000 4194304 4196468 140737204134048 140681283909280 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11637] ppid=11627 vsize=15151148 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11637/stat : 11637 (java) S 11627 11627 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407865354 15514775552 26463 33554432000 4194304 4196468 140737204134048 140681282856176 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11638] ppid=11627 vsize=15151148 memory=2404 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11638/stat : 11638 (java) S 11627 11627 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407865357 15514775552 26463 33554432000 4194304 4196468 140737204134048 140681281804752 140681816405915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11639] ppid=11627 vsize=15151148 memory=1764 CPUtime=0.35 cores=0,2,4,6
/proc/11629/task/11639/stat : 11639 (java) R 11627 11627 6753 0 -1 4202560 1815 0 0 0 35 0 0 0 20 0 15 0 407865357 15514775552 26463 33554432000 4194304 4196468 140737204134048 140681280744816 140681800676325 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11640] ppid=11627 vsize=15151148 memory=111632 CPUtime=0.32 cores=0,2,4,6
/proc/11629/task/11640/stat : 11640 (java) R 11627 11627 6753 0 -1 4202560 956 0 0 0 32 0 0 0 20 0 15 0 407865357 15514775552 26463 33554432000 4194304 4196468 140737204134048 140681279681024 140681800676211 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11641] ppid=11627 vsize=15151148 memory=804 CPUtime=0.34 cores=0,2,4,6
/proc/11629/task/11641/stat : 11641 (java) S 11627 11627 6753 0 -1 1077944384 2058 0 0 0 34 0 0 0 20 0 15 0 407865357 15514775552 26463 33554432000 4194304 4196468 140737204134048 140681278646256 140681816398466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11642] ppid=11627 vsize=15151148 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11642/stat : 11642 (java) S 11627 11627 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407865357 15514775552 26463 33554432000 4194304 4196468 140737204134048 140681277593952 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11643] ppid=11627 vsize=15151148 memory=924 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11643/stat : 11643 (java) S 11627 11627 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407865357 15514775552 26463 33554432000 4194304 4196468 140737204134048 140681276542000 140681816398466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 107304 KiB
[startup+1.50096 s]
/proc/loadavg: 6.00 6.25 6.61 7/234 11643
/proc/meminfo: memFree=31180568/32770624 swapFree=66979440/67108860
[pid=11627] ppid=11624 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11627/stat : 11627 (xcsp3-exec) S 11624 11627 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407865351 115843072 363 33554432000 4194304 5098028 140724846942432 140724846940536 139751658271356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31256576 140724846949243 140724846949485 140724846949485 140724846952394 0
/proc/11627/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/11629/stat : 11629 (java) S 11627 11627 6753 0 -1 1077944320 209554 0 0 0 229371 550 0 0 20 0 19 0 407865351 15787421696 875350 33554432000 4194304 4196468 140737204134048 140737204116592 140681816387319 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
/proc/11629/statm: 3854351 875350 3537 1 0 3815453 0
[pid=11629/tid=11630] ppid=11627 vsize=15417404 memory=3501400 CPUtime=5.15 cores=0,2,4,6
/proc/11629/task/11630/stat : 11630 (java) S 11627 11627 6753 0 -1 1077944384 11521 0 0 0 505 10 0 0 20 0 19 0 407865351 15787421696 875350 33554432000 4194304 4196468 140737204134048 140681820628096 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11631] ppid=11627 vsize=15417404 memory=1452 CPUtime=23.72 cores=0,2,4,6
/proc/11629/task/11631/stat : 11631 (java) S 11627 11627 6753 0 -1 1077944384 16584 0 0 0 2248 124 0 0 20 0 19 0 407865352 15787421696 875350 33554432000 4194304 4196468 140737204134048 140681409038864 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11632] ppid=11627 vsize=15417404 memory=1452 CPUtime=23.53 cores=0,2,4,6
/proc/11629/task/11632/stat : 11632 (java) S 11627 11627 6753 0 -1 1077944384 20776 0 0 0 2235 118 0 0 20 0 19 0 407865352 15787421696 875350 33554432000 4194304 4196468 140737204134048 140681407986320 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11633] ppid=11627 vsize=15417404 memory=3501400 CPUtime=23.61 cores=0,2,4,6
/proc/11629/task/11633/stat : 11633 (java) S 11627 11627 6753 0 -1 1077944384 17176 0 0 0 2239 122 0 0 20 0 19 0 407865352 15787421696 875350 33554432000 4194304 4196468 140737204134048 140681406933264 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11634] ppid=11627 vsize=15417404 memory=3501400 CPUtime=23.56 cores=0,2,4,6
/proc/11629/task/11634/stat : 11634 (java) S 11627 11627 6753 0 -1 1077944384 15455 0 0 0 2235 121 0 0 20 0 19 0 407865352 15787421696 875350 33554432000 4194304 4196468 140737204134048 140681405880720 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11635] ppid=11627 vsize=15417404 memory=3501400 CPUtime=2.11 cores=0,2,4,6
/proc/11629/task/11635/stat : 11635 (java) S 11627 11627 6753 0 -1 1077944384 13670 0 0 0 180 31 0 0 20 0 19 0 407865353 15787421696 875350 33554432000 4194304 4196468 140737204134048 140681284963056 140681816398466 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 17 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11636] ppid=11627 vsize=15417404 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11636/stat : 11636 (java) S 11627 11627 6753 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 407865354 15787421696 875350 33554432000 4194304 4196468 140737204134048 140681283909344 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11637] ppid=11627 vsize=15417404 memory=56 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11637/stat : 11637 (java) S 11627 11627 6753 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 19 0 407865354 15787421696 875350 33554432000 4194304 4196468 140737204134048 140681282856192 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11638] ppid=11627 vsize=15417404 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11638/stat : 11638 (java) S 11627 11627 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407865357 15787421696 875350 33554432000 4194304 4196468 140737204134048 140681281804752 140681816405915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11639] ppid=11627 vsize=15417404 memory=1452 CPUtime=3.23 cores=0,2,4,6
/proc/11629/task/11639/stat : 11639 (java) S 11627 11627 6753 0 -1 1077944384 20329 0 0 0 321 2 0 0 20 0 19 0 407865357 15787421696 875350 33554432000 4194304 4196468 140737204134048 140681280751856 140681816398466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11640] ppid=11627 vsize=15417404 memory=1452 CPUtime=2.77 cores=0,2,4,6
/proc/11629/task/11640/stat : 11640 (java) S 11627 11627 6753 0 -1 1077944384 15109 0 0 0 276 1 0 0 20 0 19 0 407865357 15787421696 875350 33554432000 4194304 4196468 140737204134048 140681279699312 140681816398466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 19 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11641] ppid=11627 vsize=15417404 memory=3501400 CPUtime=0.88 cores=0,2,4,6
/proc/11629/task/11641/stat : 11641 (java) S 11627 11627 6753 0 -1 1077944384 14640 0 0 0 86 2 0 0 20 0 19 0 407865357 15787421696 875350 33554432000 4194304 4196468 140737204134048 140681278646256 140681816398466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11642] ppid=11627 vsize=15417404 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11642/stat : 11642 (java) S 11627 11627 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407865357 15787421696 875350 33554432000 4194304 4196468 140737204134048 140681277593952 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11643] ppid=11627 vsize=15417404 memory=3518328 CPUtime=0.3 cores=0,2,4,6
/proc/11629/task/11643/stat : 11643 (java) S 11627 11627 6753 0 -1 1077944384 1480 0 0 0 12 18 0 0 20 0 19 0 407865357 15787421696 875350 33554432000 4194304 4196468 140737204134048 140681276542000 140681816398466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 19 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11644] ppid=11627 vsize=15417404 memory=279311655734864 CPUtime=548.11 cores=0,2,4,6
/proc/11629/task/11644/stat : 11644 (java) R 11627 11627 6753 0 -1 4202560 7604 0 0 0 54809 2 0 0 20 0 19 0 407866788 15787421696 875350 33554432000 4194304 4196468 140737204134048 140681267330312 140681462958227 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11645] ppid=11627 vsize=15417404 memory=8174723239089013032 CPUtime=547.4 cores=0,2,4,6
/proc/11629/task/11645/stat : 11645 (java) R 11627 11627 6753 0 -1 4202560 36992 0 0 0 54733 7 0 0 20 0 19 0 407866788 15787421696 875350 33554432000 4194304 4196468 140737204134048 140681266281232 140681462173216 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11646] ppid=11627 vsize=15417404 memory=1452 CPUtime=546.83 cores=0,2,4,6
/proc/11629/task/11646/stat : 11646 (java) R 11627 11627 6753 0 -1 4202560 9968 0 0 0 54681 2 0 0 20 0 19 0 407866788 15787421696 875350 33554432000 4194304 4196468 140737204134048 140681265225952 140681462864285 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11647] ppid=11627 vsize=15417404 memory=3510632 CPUtime=547.89 cores=0,2,4,6
/proc/11629/task/11647/stat : 11647 (java) R 11627 11627 6753 0 -1 4202560 6846 0 0 0 54788 1 0 0 20 0 19 0 407866788 15787421696 875350 33554432000 4194304 4196468 140737204134048 140681264172920 140681462703458 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
Current children cumulated CPU time: 2299.21 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 3502852 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+637.901 s]
/proc/loadavg: 8.65 8.14 7.38 9/237 11875
/proc/meminfo: memFree=28058356/32770624 swapFree=66979456/67108860
[pid=11627] ppid=11624 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11627/stat : 11627 (xcsp3-exec) S 11624 11627 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407865351 115843072 363 33554432000 4194304 5098028 140724846942432 140724846940536 139751658271356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31256576 140724846949243 140724846949485 140724846949485 140724846952394 0
/proc/11627/statm: 28282 363 304 221 0 87 0
[pid=11629] ppid=11627 vsize=15417404 memory=3472660 CPUtime=2520.39 cores=0,2,4,6
/proc/11629/stat : 11629 (java) S 11627 11627 6753 0 -1 1077944320 217612 0 0 0 251485 554 0 0 20 0 19 0 407865351 15787421696 868165 33554432000 4194304 4196468 140737204134048 140737204116592 140681816387319 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
/proc/11629/statm: 3854351 868165 3538 1 0 3815453 0
[pid=11629/tid=11630] ppid=11627 vsize=15417404 memory=3466520 CPUtime=5.15 cores=0,2,4,6
/proc/11629/task/11630/stat : 11630 (java) S 11627 11627 6753 0 -1 1077944384 11521 0 0 0 505 10 0 0 20 0 19 0 407865351 15787421696 868165 33554432000 4194304 4196468 140737204134048 140681820628096 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11631] ppid=11627 vsize=15417404 memory=3466520 CPUtime=23.93 cores=0,2,4,6
/proc/11629/task/11631/stat : 11631 (java) S 11627 11627 6753 0 -1 1077944384 16666 0 0 0 2268 125 0 0 20 0 19 0 407865352 15787421696 868165 33554432000 4194304 4196468 140737204134048 140681409038864 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11632] ppid=11627 vsize=15417404 memory=3466520 CPUtime=23.73 cores=0,2,4,6
/proc/11629/task/11632/stat : 11632 (java) S 11627 11627 6753 0 -1 1077944384 21373 0 0 0 2255 118 0 0 20 0 19 0 407865352 15787421696 868165 33554432000 4194304 4196468 140737204134048 140681407986320 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11633] ppid=11627 vsize=15417404 memory=1452 CPUtime=23.81 cores=0,2,4,6
/proc/11629/task/11633/stat : 11633 (java) S 11627 11627 6753 0 -1 1077944384 18591 0 0 0 2259 122 0 0 20 0 19 0 407865352 15787421696 868165 33554432000 4194304 4196468 140737204134048 140681406933264 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11634] ppid=11627 vsize=15417404 memory=3466520 CPUtime=23.77 cores=0,2,4,6
/proc/11629/task/11634/stat : 11634 (java) S 11627 11627 6753 0 -1 1077944384 15811 0 0 0 2255 122 0 0 20 0 19 0 407865352 15787421696 868165 33554432000 4194304 4196468 140737204134048 140681405880720 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11635] ppid=11627 vsize=15417404 memory=3472660 CPUtime=2.16 cores=0,2,4,6
/proc/11629/task/11635/stat : 11635 (java) S 11627 11627 6753 0 -1 1077944384 13898 0 0 0 182 34 0 0 20 0 19 0 407865353 15787421696 868165 33554432000 4194304 4196468 140737204134048 140681284963056 140681816398466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11636] ppid=11627 vsize=15417404 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11636/stat : 11636 (java) S 11627 11627 6753 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 407865354 15787421696 868165 33554432000 4194304 4196468 140737204134048 140681283909344 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11637] ppid=11627 vsize=15417404 memory=3471648 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11637/stat : 11637 (java) S 11627 11627 6753 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 19 0 407865354 15787421696 868165 33554432000 4194304 4196468 140737204134048 140681282856192 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11638] ppid=11627 vsize=15417404 memory=3772 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11638/stat : 11638 (java) S 11627 11627 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407865357 15787421696 868165 33554432000 4194304 4196468 140737204134048 140681281804752 140681816405915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11639] ppid=11627 vsize=15417404 memory=1440 CPUtime=3.23 cores=0,2,4,6
/proc/11629/task/11639/stat : 11639 (java) S 11627 11627 6753 0 -1 1077944384 20526 0 0 0 321 2 0 0 20 0 19 0 407865357 15787421696 868165 33554432000 4194304 4196468 140737204134048 140681280751856 140681816398466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11640] ppid=11627 vsize=15417404 memory=2004 CPUtime=2.77 cores=0,2,4,6
/proc/11629/task/11640/stat : 11640 (java) S 11627 11627 6753 0 -1 1077944384 15322 0 0 0 276 1 0 0 20 0 19 0 407865357 15787421696 868165 33554432000 4194304 4196468 140737204134048 140681279699312 140681816398466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 19 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11641] ppid=11627 vsize=15417404 memory=984 CPUtime=0.89 cores=0,2,4,6
/proc/11629/task/11641/stat : 11641 (java) S 11627 11627 6753 0 -1 1077944384 15943 0 0 0 87 2 0 0 20 0 19 0 407865357 15787421696 868165 33554432000 4194304 4196468 140737204134048 140681278646256 140681816398466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11642] ppid=11627 vsize=15417404 memory=984 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11642/stat : 11642 (java) S 11627 11627 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407865357 15787421696 868165 33554432000 4194304 4196468 140737204134048 140681277593952 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11643] ppid=11627 vsize=15417404 memory=1328 CPUtime=0.34 cores=0,2,4,6
/proc/11629/task/11643/stat : 11643 (java) S 11627 11627 6753 0 -1 1077944384 1508 0 0 0 13 21 0 0 20 0 19 0 407865357 15787421696 868165 33554432000 4194304 4196468 140737204134048 140681276542000 140681816398466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 19 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11644] ppid=11627 vsize=15417404 memory=1452 CPUtime=602.84 cores=0,2,4,6
/proc/11629/task/11644/stat : 11644 (java) R 11627 11627 6753 0 -1 4202560 8105 0 0 0 60282 2 0 0 20 0 19 0 407866788 15787421696 868165 33554432000 4194304 4196468 140737204134048 140681267333152 140681462197430 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11645] ppid=11627 vsize=15417404 memory=3466520 CPUtime=602.54 cores=0,2,4,6
/proc/11629/task/11645/stat : 11645 (java) R 11627 11627 6753 0 -1 4202560 38758 0 0 0 60246 8 0 0 20 0 19 0 407866788 15787421696 868165 33554432000 4194304 4196468 140737204134048 140681266278664 140681462173195 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11646] ppid=11627 vsize=15417404 memory=1692 CPUtime=601.91 cores=0,2,4,6
/proc/11629/task/11646/stat : 11646 (java) R 11627 11627 6753 0 -1 4202560 10773 0 0 0 60189 2 0 0 20 0 19 0 407866788 15787421696 868165 33554432000 4194304 4196468 140737204134048 140681265225952 140681462864285 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11647] ppid=11627 vsize=15417404 memory=3483448 CPUtime=603.23 cores=0,2,4,6
/proc/11629/task/11647/stat : 11647 (java) R 11627 11627 6753 0 -1 4202560 7413 0 0 0 60321 2 0 0 20 0 19 0 407866788 15787421696 868165 33554432000 4194304 4196468 140737204134048 140681264172920 140681462703610 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
Current children cumulated CPU time: 2520.39 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 3474112 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+637.935 s]
# the end of solver process 11627 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001164 s, system=0.001164 s
[startup+638.003 s]
# the end of solver process 11629 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.16 s, system=5.57325 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+637.901 s]
/proc/loadavg: 8.65 8.14 7.38 9/237 11875
/proc/meminfo: memFree=28058356/32770624 swapFree=66979456/67108860
[pid=11627] ppid=11624 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11627/stat : 11627 (xcsp3-exec) S 11624 11627 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407865351 115843072 363 33554432000 4194304 5098028 140724846942432 140724846940536 139751658271356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31256576 140724846949243 140724846949485 140724846949485 140724846952394 0
/proc/11627/statm: 28282 363 304 221 0 87 0
[pid=11629] ppid=11627 vsize=15417404 memory=3472660 CPUtime=2520.39 cores=0,2,4,6
/proc/11629/stat : 11629 (java) S 11627 11627 6753 0 -1 1077944320 217612 0 0 0 251485 554 0 0 20 0 19 0 407865351 15787421696 868165 33554432000 4194304 4196468 140737204134048 140737204116592 140681816387319 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
/proc/11629/statm: 3854351 868165 3538 1 0 3815453 0
[pid=11629/tid=11630] ppid=11627 vsize=15417404 memory=3466520 CPUtime=5.15 cores=0,2,4,6
/proc/11629/task/11630/stat : 11630 (java) S 11627 11627 6753 0 -1 1077944384 11521 0 0 0 505 10 0 0 20 0 19 0 407865351 15787421696 868165 33554432000 4194304 4196468 140737204134048 140681820628096 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11631] ppid=11627 vsize=15417404 memory=3466520 CPUtime=23.93 cores=0,2,4,6
/proc/11629/task/11631/stat : 11631 (java) S 11627 11627 6753 0 -1 1077944384 16666 0 0 0 2268 125 0 0 20 0 19 0 407865352 15787421696 868165 33554432000 4194304 4196468 140737204134048 140681409038864 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11632] ppid=11627 vsize=15417404 memory=3466520 CPUtime=23.73 cores=0,2,4,6
/proc/11629/task/11632/stat : 11632 (java) S 11627 11627 6753 0 -1 1077944384 21373 0 0 0 2255 118 0 0 20 0 19 0 407865352 15787421696 868165 33554432000 4194304 4196468 140737204134048 140681407986320 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11633] ppid=11627 vsize=15417404 memory=1452 CPUtime=23.81 cores=0,2,4,6
/proc/11629/task/11633/stat : 11633 (java) S 11627 11627 6753 0 -1 1077944384 18591 0 0 0 2259 122 0 0 20 0 19 0 407865352 15787421696 868165 33554432000 4194304 4196468 140737204134048 140681406933264 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11634] ppid=11627 vsize=15417404 memory=3466520 CPUtime=23.77 cores=0,2,4,6
/proc/11629/task/11634/stat : 11634 (java) S 11627 11627 6753 0 -1 1077944384 15811 0 0 0 2255 122 0 0 20 0 19 0 407865352 15787421696 868165 33554432000 4194304 4196468 140737204134048 140681405880720 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11635] ppid=11627 vsize=15417404 memory=3472660 CPUtime=2.16 cores=0,2,4,6
/proc/11629/task/11635/stat : 11635 (java) S 11627 11627 6753 0 -1 1077944384 13898 0 0 0 182 34 0 0 20 0 19 0 407865353 15787421696 868165 33554432000 4194304 4196468 140737204134048 140681284963056 140681816398466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11636] ppid=11627 vsize=15417404 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11636/stat : 11636 (java) S 11627 11627 6753 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 407865354 15787421696 868165 33554432000 4194304 4196468 140737204134048 140681283909344 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11637] ppid=11627 vsize=15417404 memory=3471648 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11637/stat : 11637 (java) S 11627 11627 6753 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 19 0 407865354 15787421696 868165 33554432000 4194304 4196468 140737204134048 140681282856192 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11638] ppid=11627 vsize=15417404 memory=3772 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11638/stat : 11638 (java) S 11627 11627 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407865357 15787421696 868165 33554432000 4194304 4196468 140737204134048 140681281804752 140681816405915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11639] ppid=11627 vsize=15417404 memory=1440 CPUtime=3.23 cores=0,2,4,6
/proc/11629/task/11639/stat : 11639 (java) S 11627 11627 6753 0 -1 1077944384 20526 0 0 0 321 2 0 0 20 0 19 0 407865357 15787421696 868165 33554432000 4194304 4196468 140737204134048 140681280751856 140681816398466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11640] ppid=11627 vsize=15417404 memory=2004 CPUtime=2.77 cores=0,2,4,6
/proc/11629/task/11640/stat : 11640 (java) S 11627 11627 6753 0 -1 1077944384 15322 0 0 0 276 1 0 0 20 0 19 0 407865357 15787421696 868165 33554432000 4194304 4196468 140737204134048 140681279699312 140681816398466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 19 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11641] ppid=11627 vsize=15417404 memory=984 CPUtime=0.89 cores=0,2,4,6
/proc/11629/task/11641/stat : 11641 (java) S 11627 11627 6753 0 -1 1077944384 15943 0 0 0 87 2 0 0 20 0 19 0 407865357 15787421696 868165 33554432000 4194304 4196468 140737204134048 140681278646256 140681816398466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11642] ppid=11627 vsize=15417404 memory=984 CPUtime=0 cores=0,2,4,6
/proc/11629/task/11642/stat : 11642 (java) S 11627 11627 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407865357 15787421696 868165 33554432000 4194304 4196468 140737204134048 140681277593952 140681816397525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11643] ppid=11627 vsize=15417404 memory=1328 CPUtime=0.34 cores=0,2,4,6
/proc/11629/task/11643/stat : 11643 (java) S 11627 11627 6753 0 -1 1077944384 1508 0 0 0 13 21 0 0 20 0 19 0 407865357 15787421696 868165 33554432000 4194304 4196468 140737204134048 140681276542000 140681816398466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 19 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11644] ppid=11627 vsize=15417404 memory=1452 CPUtime=602.84 cores=0,2,4,6
/proc/11629/task/11644/stat : 11644 (java) R 11627 11627 6753 0 -1 4202560 8105 0 0 0 60282 2 0 0 20 0 19 0 407866788 15787421696 868165 33554432000 4194304 4196468 140737204134048 140681267333152 140681462197430 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11645] ppid=11627 vsize=15417404 memory=3466520 CPUtime=602.54 cores=0,2,4,6
/proc/11629/task/11645/stat : 11645 (java) R 11627 11627 6753 0 -1 4202560 38758 0 0 0 60246 8 0 0 20 0 19 0 407866788 15787421696 868165 33554432000 4194304 4196468 140737204134048 140681266278664 140681462173195 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11646] ppid=11627 vsize=15417404 memory=1692 CPUtime=601.91 cores=0,2,4,6
/proc/11629/task/11646/stat : 11646 (java) R 11627 11627 6753 0 -1 4202560 10773 0 0 0 60189 2 0 0 20 0 19 0 407866788 15787421696 868165 33554432000 4194304 4196468 140737204134048 140681265225952 140681462864285 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
[pid=11629/tid=11647] ppid=11627 vsize=15417404 memory=3483448 CPUtime=603.23 cores=0,2,4,6
/proc/11629/task/11647/stat : 11647 (java) R 11627 11627 6753 0 -1 4202560 7413 0 0 0 60321 2 0 0 20 0 19 0 407866788 15787421696 868165 33554432000 4194304 4196468 140737204134048 140681264172920 140681462703610 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140737204138991 140737204139162 140737204139162 140737204142031 0
Current children cumulated CPU time: 2520.39 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 3474112 KiB
Child status: 143
Real time (s): 638.003
CPU time (s): 2520.73
CPU user time (s): 2515.16
CPU system time (s): 5.57325
CPU usage (%): 395.098
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 5115340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.16
system time used= 5.57325
maximum resident set size= 5115292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 218577
page faults= 0
swaps= 0
block input operations= 0
block output operations= 928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18883
involuntary context switches= 47514
# summary of solver processes directly reported to runsolver:
# pid: 11627,11629
# total CPU time (s): 2520.73
# total CPU user time (s): 2515.16
# total CPU system time (s): 5.57325
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.23163 second user time and 7.60731 second system time
The end