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 (9856 MiB free)
memory of node 1: 16384 MiB (7363 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393221-1568348356/watcher-4393221-1568348356 -o /tmp/evaluation-result-4393221-1568348356/solver-4393221-1568348356 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568343408-4478 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1955757454 HOME/instance-4393221-1568348356.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
Current StackSize limit: 8192 KiB
solver pid=9394, runsolver pid=9391
[startup+0.100078 s]*
/proc/loadavg: 8.20 8.49 8.14 8/233 9410
/proc/meminfo: memFree=17616820/32770624 swapFree=66959216/67108860
[pid=9394] ppid=9391 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9394/stat : 9394 (xcsp3-exec) S 9391 9394 3331 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410775788 115843072 363 33554432000 4194304 5098028 140722737560000 140722737558104 140083578094204 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 10543104 140722737566586 140722737566829 140722737566829 140722737569738 0
/proc/9394/statm: 28282 363 304 221 0 87 0
[pid=9396] ppid=9394 vsize=15144768 memory=29932 CPUtime=0.13 cores=0,2,4,6
/proc/9396/stat : 9396 (java) S 9394 9394 3331 0 -1 1077944320 5443 0 0 0 11 2 0 0 20 0 15 0 410775789 15508242432 7483 33554432000 4194304 4196468 140726326326160 140726326308704 140689533435639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
/proc/9396/statm: 3786192 7483 3118 1 0 3748377 0
[pid=9396/tid=9397] ppid=9394 vsize=15144768 memory=-8976644418600983157 CPUtime=0.09 cores=0,2,4,6
/proc/9396/task/9397/stat : 9397 (java) R 9394 9394 3331 0 -1 4202560 3363 0 0 0 8 1 0 0 20 0 15 0 410775789 15508242432 7483 33554432000 4194304 4196468 140726326326160 140689537658640 140689525672766 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9398] ppid=9394 vsize=15144768 memory=3472467803588658384 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9398/stat : 9398 (java) S 9394 9394 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410775790 15508242432 7483 33554432000 4194304 4196468 140726326326160 140689445091984 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9399] ppid=9394 vsize=15144768 memory=139674693506688 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9399/stat : 9399 (java) S 9394 9394 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410775790 15508242432 7483 33554432000 4194304 4196468 140726326326160 140689444039184 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9400] ppid=9394 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9400/stat : 9400 (java) S 9394 9394 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410775790 15508242432 7483 33554432000 4194304 4196468 140726326326160 140689442986384 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9401] ppid=9394 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9401/stat : 9401 (java) S 9394 9394 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410775790 15508242432 7483 33554432000 4194304 4196468 140726326326160 140689441933584 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9402] ppid=9394 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9402/stat : 9402 (java) S 9394 9394 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410775791 15508242432 7483 33554432000 4194304 4196468 140726326326160 140688407157616 140689533446786 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9403] ppid=9394 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9403/stat : 9403 (java) S 9394 9394 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410775792 15508242432 7483 33554432000 4194304 4196468 140726326326160 140688406103584 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9404] ppid=9394 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9404/stat : 9404 (java) S 9394 9394 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410775792 15508242432 7483 33554432000 4194304 4196468 140726326326160 140688405050736 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9405] ppid=9394 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9405/stat : 9405 (java) S 9394 9394 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410775794 15508242432 7483 33554432000 4194304 4196468 140726326326160 140688403999056 140689533454235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9406] ppid=9394 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9406/stat : 9406 (java) R 9394 9394 3331 0 -1 4202560 327 0 0 0 0 0 0 0 20 0 15 0 410775794 15508242432 7483 33554432000 4194304 4196468 140726326326160 140688402946416 140689533456986 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9407] ppid=9394 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9407/stat : 9407 (java) R 9394 9394 3331 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 410775794 15508242432 7483 33554432000 4194304 4196468 140726326326160 140688401893616 140689533446786 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9408] ppid=9394 vsize=15144768 memory=139674693506688 CPUtime=0.02 cores=0,2,4,6
/proc/9396/task/9408/stat : 9408 (java) R 9394 9394 3331 0 -1 4202560 351 0 0 0 2 0 0 0 20 0 15 0 410775794 15508242432 7483 33554432000 4194304 4196468 140726326326160 140688400840816 140689533447574 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9409] ppid=9394 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9409/stat : 9409 (java) S 9394 9394 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410775794 15508242432 7483 33554432000 4194304 4196468 140726326326160 140688399788256 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9410] ppid=9394 vsize=15144768 memory=139674693506688 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9410/stat : 9410 (java) S 9394 9394 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410775795 15508242432 7483 33554432000 4194304 4196468 140726326326160 140688398736560 140689533446786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31384 KiB
[startup+0.210858 s]*
/proc/loadavg: 8.20 8.49 8.14 6/233 9410
/proc/meminfo: memFree=17604568/32770624 swapFree=66959216/67108860
[pid=9394] ppid=9391 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9394/stat : 9394 (xcsp3-exec) S 9391 9394 3331 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410775788 115843072 363 33554432000 4194304 5098028 140722737560000 140722737558104 140083578094204 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 10543104 140722737566586 140722737566829 140722737566829 140722737569738 0
/proc/9394/statm: 28282 363 304 221 0 87 0
[pid=9396] ppid=9394 vsize=15144768 memory=40384 CPUtime=0.34 cores=0,2,4,6
/proc/9396/stat : 9396 (java) S 9394 9394 3331 0 -1 1077944320 8821 0 0 0 30 4 0 0 20 0 15 0 410775789 15508242432 10096 33554432000 4194304 4196468 140726326326160 140726326308704 140689533435639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
/proc/9396/statm: 3786192 10096 3272 1 0 3748377 0
[pid=9396/tid=9397] ppid=9394 vsize=15144768 memory=4212167822348820889 CPUtime=0.2 cores=0,2,4,6
/proc/9396/task/9397/stat : 9397 (java) R 9394 9394 3331 0 -1 4202560 6139 0 0 0 18 2 0 0 20 0 15 0 410775789 15508242432 10096 33554432000 4194304 4196468 140726326326160 140689537673952 140689533447574 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9398] ppid=9394 vsize=15144768 memory=3472467803588658384 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9398/stat : 9398 (java) S 9394 9394 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410775790 15508242432 10096 33554432000 4194304 4196468 140726326326160 140689445091984 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9399] ppid=9394 vsize=15144768 memory=139674693506688 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9399/stat : 9399 (java) S 9394 9394 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410775790 15508242432 10096 33554432000 4194304 4196468 140726326326160 140689444039184 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9400] ppid=9394 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9400/stat : 9400 (java) S 9394 9394 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410775790 15508242432 10096 33554432000 4194304 4196468 140726326326160 140689442986384 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9401] ppid=9394 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9401/stat : 9401 (java) S 9394 9394 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410775790 15508242432 10096 33554432000 4194304 4196468 140726326326160 140689441933584 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9402] ppid=9394 vsize=15144768 memory=139674693506688 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9402/stat : 9402 (java) S 9394 9394 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410775791 15508242432 10096 33554432000 4194304 4196468 140726326326160 140688407157616 140689533446786 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9403] ppid=9394 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9403/stat : 9403 (java) S 9394 9394 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410775792 15508242432 10096 33554432000 4194304 4196468 140726326326160 140688406103584 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9404] ppid=9394 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9404/stat : 9404 (java) S 9394 9394 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410775792 15508242432 10096 33554432000 4194304 4196468 140726326326160 140688405050736 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9405] ppid=9394 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9405/stat : 9405 (java) S 9394 9394 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410775794 15508242432 10096 33554432000 4194304 4196468 140726326326160 140688403999056 140689533454235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9406] ppid=9394 vsize=15144768 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/9396/task/9406/stat : 9406 (java) S 9394 9394 3331 0 -1 1077944384 457 0 0 0 3 0 0 0 20 0 15 0 410775794 15508242432 10096 33554432000 4194304 4196468 140726326326160 140688402946416 140689533446786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9407] ppid=9394 vsize=15144768 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/9396/task/9407/stat : 9407 (java) S 9394 9394 3331 0 -1 1077944384 157 0 0 0 1 0 0 0 20 0 15 0 410775794 15508242432 10096 33554432000 4194304 4196468 140726326326160 140688401893616 140689533446786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9408] ppid=9394 vsize=15144768 memory=139674693506688 CPUtime=0.08 cores=0,2,4,6
/proc/9396/task/9408/stat : 9408 (java) R 9394 9394 3331 0 -1 4202560 761 0 0 0 8 0 0 0 20 0 15 0 410775794 15508242432 10096 33554432000 4194304 4196468 140726326326160 140688400840816 140689511427491 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9409] ppid=9394 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9409/stat : 9409 (java) S 9394 9394 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410775794 15508242432 10096 33554432000 4194304 4196468 140726326326160 140688399788256 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9410] ppid=9394 vsize=15144768 memory=139674693506688 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9410/stat : 9410 (java) S 9394 9394 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410775795 15508242432 10096 33554432000 4194304 4196468 140726326326160 140688398736560 140689533446786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41836 KiB
[startup+0.31137 s]*
/proc/loadavg: 8.20 8.49 8.14 8/233 9410
/proc/meminfo: memFree=17597060/32770624 swapFree=66959216/67108860
[pid=9394] ppid=9391 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9394/stat : 9394 (xcsp3-exec) S 9391 9394 3331 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410775788 115843072 363 33554432000 4194304 5098028 140722737560000 140722737558104 140083578094204 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 10543104 140722737566586 140722737566829 140722737566829 140722737569738 0
/proc/9394/statm: 28282 363 304 221 0 87 0
[pid=9396] ppid=9394 vsize=15149024 memory=49788 CPUtime=0.53 cores=0,2,4,6
/proc/9396/stat : 9396 (java) S 9394 9394 3331 0 -1 1077944320 10263 0 0 0 48 5 0 0 20 0 15 0 410775789 15512600576 12447 33554432000 4194304 4196468 140726326326160 140726326308704 140689533435639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
/proc/9396/statm: 3787256 12447 3366 1 0 3748377 0
[pid=9396/tid=9397] ppid=9394 vsize=15149024 memory=-8976644418600983157 CPUtime=0.3 cores=0,2,4,6
/proc/9396/task/9397/stat : 9397 (java) R 9394 9394 3331 0 -1 4202560 7269 0 0 0 27 3 0 0 20 0 15 0 410775789 15512600576 12447 33554432000 4194304 4196468 140726326326160 140689537666752 140689517516126 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9398] ppid=9394 vsize=15149024 memory=3472467803588658384 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9398/stat : 9398 (java) S 9394 9394 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410775790 15512600576 12447 33554432000 4194304 4196468 140726326326160 140689445091984 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9399] ppid=9394 vsize=15149024 memory=139674693506688 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9399/stat : 9399 (java) S 9394 9394 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410775790 15512600576 12447 33554432000 4194304 4196468 140726326326160 140689444039184 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9400] ppid=9394 vsize=15149024 memory=6 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9400/stat : 9400 (java) S 9394 9394 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410775790 15512600576 12447 33554432000 4194304 4196468 140726326326160 140689442986384 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9401] ppid=9394 vsize=15149024 memory=139674551199775 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9401/stat : 9401 (java) S 9394 9394 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410775790 15512600576 12447 33554432000 4194304 4196468 140726326326160 140689441933584 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9402] ppid=9394 vsize=15149024 memory=279349102378784 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9402/stat : 9402 (java) S 9394 9394 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410775791 15512600576 12447 33554432000 4194304 4196468 140726326326160 140688407157616 140689533446786 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9403] ppid=9394 vsize=15149024 memory=139674551176719 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9403/stat : 9403 (java) S 9394 9394 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410775792 15512600576 12447 33554432000 4194304 4196468 140726326326160 140688406103584 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9404] ppid=9394 vsize=15149024 memory=279349244566536 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9404/stat : 9404 (java) S 9394 9394 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410775792 15512600576 12447 33554432000 4194304 4196468 140726326326160 140688405050736 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9405] ppid=9394 vsize=15149024 memory=139674551199775 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9405/stat : 9405 (java) S 9394 9394 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410775794 15512600576 12447 33554432000 4194304 4196468 140726326326160 140688403999056 140689533454235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9406] ppid=9394 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/9396/task/9406/stat : 9406 (java) S 9394 9394 3331 0 -1 1077944384 497 0 0 0 4 0 0 0 20 0 15 0 410775794 15512600576 12447 33554432000 4194304 4196468 140726326326160 140688402946416 140689533446786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9407] ppid=9394 vsize=15149024 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/9396/task/9407/stat : 9407 (java) R 9394 9394 3331 0 -1 4202560 285 0 0 0 4 0 0 0 20 0 15 0 410775794 15512600576 12447 33554432000 4194304 4196468 140726326326160 140688401884000 140689514959890 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9408] ppid=9394 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/9396/task/9408/stat : 9408 (java) S 9394 9394 3331 0 -1 1077944384 915 0 0 0 12 0 0 0 20 0 15 0 410775794 15512600576 12512 33554432000 4194304 4196468 140726326326160 140688400840816 140689533446786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9409] ppid=9394 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9409/stat : 9409 (java) S 9394 9394 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410775794 15512600576 12512 33554432000 4194304 4196468 140726326326160 140688399788256 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9410] ppid=9394 vsize=15149024 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9410/stat : 9410 (java) S 9394 9394 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410775795 15512600576 12512 33554432000 4194304 4196468 140726326326160 140688398736560 140689533446786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51240 KiB
[startup+0.700861 s]
/proc/loadavg: 8.20 8.49 8.14 9/233 9410
/proc/meminfo: memFree=17582828/32770624 swapFree=66959216/67108860
[pid=9394] ppid=9391 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9394/stat : 9394 (xcsp3-exec) S 9391 9394 3331 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410775788 115843072 363 33554432000 4194304 5098028 140722737560000 140722737558104 140083578094204 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 10543104 140722737566586 140722737566829 140722737566829 140722737569738 0
/proc/9394/statm: 28282 363 304 221 0 87 0
[pid=9396] ppid=9394 vsize=15151148 memory=174776 CPUtime=1.72 cores=0,2,4,6
/proc/9396/stat : 9396 (java) S 9394 9394 3331 0 -1 1077944320 14875 0 0 0 164 8 0 0 20 0 15 0 410775789 15514775552 43694 33554432000 4194304 4196468 140726326326160 140726326308704 140689533435639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
/proc/9396/statm: 3787787 43694 3457 1 0 3748889 0
[pid=9396/tid=9397] ppid=9394 vsize=15151148 memory=4639059877604708710 CPUtime=0.67 cores=0,2,4,6
/proc/9396/task/9397/stat : 9397 (java) R 9394 9394 3331 0 -1 4202560 8696 0 0 0 62 5 0 0 20 0 15 0 410775789 15514775552 43694 33554432000 4194304 4196468 140726326326160 140689537672848 140689526113653 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9398] ppid=9394 vsize=15151148 memory=6935650355287975249 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9398/stat : 9398 (java) S 9394 9394 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410775790 15514775552 43694 33554432000 4194304 4196468 140726326326160 140689445091984 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9399] ppid=9394 vsize=15151148 memory=6935649255962144081 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9399/stat : 9399 (java) S 9394 9394 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410775790 15514775552 43694 33554432000 4194304 4196468 140726326326160 140689444039184 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9400] ppid=9394 vsize=15151148 memory=7825734864442108491 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9400/stat : 9400 (java) S 9394 9394 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410775790 15514775552 43694 33554432000 4194304 4196468 140726326326160 140689442986384 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9401] ppid=9394 vsize=15151148 memory=7100839870140027543 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9401/stat : 9401 (java) S 9394 9394 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410775790 15514775552 43694 33554432000 4194304 4196468 140726326326160 140689441933584 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9402] ppid=9394 vsize=15151148 memory=6944613755328037012 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9402/stat : 9402 (java) S 9394 9394 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410775791 15514775552 43694 33554432000 4194304 4196468 140726326326160 140688407157616 140689533446786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9403] ppid=9394 vsize=15151148 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9403/stat : 9403 (java) S 9394 9394 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410775792 15514775552 43694 33554432000 4194304 4196468 140726326326160 140688406103584 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9404] ppid=9394 vsize=15151148 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9404/stat : 9404 (java) S 9394 9394 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410775792 15514775552 43694 33554432000 4194304 4196468 140726326326160 140688405050736 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9405] ppid=9394 vsize=15151148 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9405/stat : 9405 (java) S 9394 9394 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410775794 15514775552 43694 33554432000 4194304 4196468 140726326326160 140688403999056 140689533454235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9406] ppid=9394 vsize=15151148 memory=1660 CPUtime=0.29 cores=0,2,4,6
/proc/9396/task/9406/stat : 9406 (java) R 9394 9394 3331 0 -1 4202560 1517 0 0 0 29 0 0 0 20 0 15 0 410775794 15514775552 43694 33554432000 4194304 4196468 140726326326160 140688402937872 140689516962155 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9407] ppid=9394 vsize=15151148 memory=38740 CPUtime=0.3 cores=0,2,4,6
/proc/9396/task/9407/stat : 9407 (java) R 9394 9394 3331 0 -1 4202560 1226 0 0 0 30 0 0 0 20 0 15 0 410775794 15514775552 43694 33554432000 4194304 4196468 140726326326160 140688401892184 140689512728527 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9408] ppid=9394 vsize=15151148 memory=988 CPUtime=0.41 cores=0,2,4,6
/proc/9396/task/9408/stat : 9408 (java) R 9394 9394 3331 0 -1 4202560 2130 0 0 0 41 0 0 0 20 0 15 0 410775794 15514775552 43694 33554432000 4194304 4196468 140726326326160 140688400839216 140689525672766 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9409] ppid=9394 vsize=15151148 memory=5793994532452520804 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9409/stat : 9409 (java) S 9394 9394 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410775794 15514775552 43694 33554432000 4194304 4196468 140726326326160 140688399788256 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9410] ppid=9394 vsize=15151148 memory=8099279071866868836 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9410/stat : 9410 (java) S 9394 9394 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410775795 15514775552 43694 33554432000 4194304 4196468 140726326326160 140688398736560 140689533446786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 176228 KiB
[startup+1.50086 s]
/proc/loadavg: 8.20 8.49 8.14 12/237 9414
/proc/meminfo: memFree=17358512/32770624 swapFree=66959216/67108860
[pid=9394] ppid=9391 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9394/stat : 9394 (xcsp3-exec) S 9391 9394 3331 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410775788 115843072 363 33554432000 4194304 5098028 140722737560000 140722737558104 140083578094204 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 10543104 140722737566586 140722737566829 140722737566829 140722737569738 0
/proc/9394/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/9396/task/9410/stat : 9410 (java) S 9394 9394 3331 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 19 0 410775795 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688398736560 140689533446786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9543] ppid=9394 vsize=15486016 memory=0 CPUtime=2.72 cores=0,2,4,6
/proc/9396/task/9543/stat : 9543 (java) R 9394 9394 3331 0 -1 4202560 198 0 0 0 272 0 0 0 20 0 19 0 410777106 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688385550784 140689127824204 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9544] ppid=9394 vsize=15486016 memory=0 CPUtime=2.76 cores=0,2,4,6
/proc/9396/task/9544/stat : 9544 (java) R 9394 9394 3331 0 -1 4202560 283 0 0 0 276 0 0 0 20 0 19 0 410777106 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688388710072 140689125361063 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9545] ppid=9394 vsize=15486016 memory=1452 CPUtime=2.66 cores=0,2,4,6
/proc/9396/task/9545/stat : 9545 (java) R 9394 9394 3331 0 -1 4202560 348 0 0 0 266 0 0 0 20 0 19 0 410777106 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688389764840 140689127419584 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9546] ppid=9394 vsize=15486016 memory=558300 CPUtime=2.65 cores=0,2,4,6
/proc/9396/task/9546/stat : 9546 (java) R 9394 9394 3331 0 -1 4202560 198 0 0 0 265 0 0 0 20 0 19 0 410777106 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688386605544 140689127125668 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
Current children cumulated CPU time: 55.69 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 553052 KiB
[startup+16.8008 s]
/proc/loadavg: 8.23 8.48 8.14 9/237 9546
/proc/meminfo: memFree=17094196/32770624 swapFree=66959216/67108860
[pid=9394] ppid=9391 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9394/stat : 9394 (xcsp3-exec) S 9391 9394 3331 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410775788 115843072 363 33554432000 4194304 5098028 140722737560000 140722737558104 140083578094204 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 10543104 140722737566586 140722737566829 140722737566829 140722737569738 0
/proc/9394/statm: 28282 363 304 221 0 87 0
[pid=9396] ppid=9394 vsize=15486016 memory=551600 CPUtime=58.21 cores=0,2,4,6
/proc/9396/stat : 9396 (java) S 9394 9394 3331 0 -1 1077944320 42325 0 0 0 5779 42 0 0 20 0 19 0 410775789 15857680384 137900 33554432000 4194304 4196468 140726326326160 140726326308704 140689533435639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
/proc/9396/statm: 3871504 137900 3525 1 0 3832606 0
[pid=9396/tid=9397] ppid=9394 vsize=15486016 memory=551600 CPUtime=0.81 cores=0,2,4,6
/proc/9396/task/9397/stat : 9397 (java) S 9394 9394 3331 0 -1 1077944384 8909 0 0 0 76 5 0 0 20 0 19 0 410775789 15857680384 137900 33554432000 4194304 4196468 140726326326160 140689537676416 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9398] ppid=9394 vsize=15486016 memory=4137287014106042739 CPUtime=0.16 cores=0,2,4,6
/proc/9396/task/9398/stat : 9398 (java) S 9394 9394 3331 0 -1 1077944384 277 0 0 0 10 6 0 0 20 0 19 0 410775790 15857680384 137900 33554432000 4194304 4196468 140726326326160 140689445091984 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9399] ppid=9394 vsize=15486016 memory=6945782492362334265 CPUtime=0.16 cores=0,2,4,6
/proc/9396/task/9399/stat : 9399 (java) S 9394 9394 3331 0 -1 1077944384 1080 0 0 0 10 6 0 0 20 0 19 0 410775790 15857680384 137900 33554432000 4194304 4196468 140726326326160 140689444039184 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9400] ppid=9394 vsize=15486016 memory=-8102331449035005740 CPUtime=0.16 cores=0,2,4,6
/proc/9396/task/9400/stat : 9400 (java) S 9394 9394 3331 0 -1 1077944384 189 0 0 0 10 6 0 0 20 0 19 0 410775790 15857680384 137900 33554432000 4194304 4196468 140726326326160 140689442986384 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9401] ppid=9394 vsize=15486016 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/9396/task/9401/stat : 9401 (java) S 9394 9394 3331 0 -1 1077944384 288 0 0 0 10 7 0 0 20 0 19 0 410775790 15857680384 137900 33554432000 4194304 4196468 140726326326160 140689441933584 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9402] ppid=9394 vsize=15486016 memory=279349102790240 CPUtime=0.01 cores=0,2,4,6
/proc/9396/task/9402/stat : 9402 (java) S 9394 9394 3331 0 -1 1077944384 581 0 0 0 1 0 0 0 20 0 19 0 410775791 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688407157616 140689533446786 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9403] ppid=9394 vsize=15486016 memory=7306916055891837009 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9403/stat : 9403 (java) S 9394 9394 3331 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 410775792 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688406103648 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9404] ppid=9394 vsize=15486016 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9404/stat : 9404 (java) S 9394 9394 3331 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 410775792 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688405050736 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9405] ppid=9394 vsize=15486016 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9405/stat : 9405 (java) S 9394 9394 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410775794 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688403999056 140689533454235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9406] ppid=9394 vsize=15486016 memory=111636 CPUtime=2.65 cores=0,2,4,6
/proc/9396/task/9406/stat : 9406 (java) S 9394 9394 3331 0 -1 1077944384 7375 0 0 0 264 1 0 0 20 0 19 0 410775794 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688402946416 140689533446786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9407] ppid=9394 vsize=15486016 memory=800 CPUtime=3.23 cores=0,2,4,6
/proc/9396/task/9407/stat : 9407 (java) S 9394 9394 3331 0 -1 1077944384 11480 0 0 0 321 2 0 0 20 0 19 0 410775794 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688401893616 140689533446786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9408] ppid=9394 vsize=15486016 memory=1808 CPUtime=0.85 cores=0,2,4,6
/proc/9396/task/9408/stat : 9408 (java) S 9394 9394 3331 0 -1 1077944384 5322 0 0 0 84 1 0 0 20 0 19 0 410775794 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688400840816 140689533446786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9409] ppid=9394 vsize=15486016 memory=924 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9409/stat : 9409 (java) S 9394 9394 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410775794 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688399788256 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9410] ppid=9394 vsize=15486016 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9410/stat : 9410 (java) S 9394 9394 3331 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 19 0 410775795 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688398736560 140689533446786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9543] ppid=9394 vsize=15486016 memory=2704 CPUtime=3.3 cores=0,2,4,6
/proc/9396/task/9543/stat : 9543 (java) S 9394 9394 3331 0 -1 1077944384 229 0 0 0 330 0 0 0 20 0 19 0 410777106 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688385556000 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9544] ppid=9394 vsize=15486016 memory=2588 CPUtime=3.31 cores=0,2,4,6
/proc/9396/task/9544/stat : 9544 (java) S 9394 9394 3331 0 -1 1077944384 343 0 0 0 331 0 0 0 20 0 19 0 410777106 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688388715280 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9545] ppid=9394 vsize=15486016 memory=580 CPUtime=3.23 cores=0,2,4,6
/proc/9396/task/9545/stat : 9545 (java) S 9394 9394 3331 0 -1 1077944384 362 0 0 0 323 0 0 0 20 0 19 0 410777106 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688389767824 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9546] ppid=9394 vsize=15486016 memory=1720 CPUtime=3.44 cores=0,2,4,6
/proc/9396/task/9546/stat : 9546 (java) R 9394 9394 3331 0 -1 4202560 208 0 0 0 344 0 0 0 20 0 19 0 410777106 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688386605544 140689127125619 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
Current children cumulated CPU time: 58.21 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 553052 KiB
[startup+17.2008 s]
/proc/loadavg: 8.23 8.48 8.14 6/237 9546
/proc/meminfo: memFree=17094196/32770624 swapFree=66959216/67108860
[pid=9394] ppid=9391 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9394/stat : 9394 (xcsp3-exec) S 9391 9394 3331 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410775788 115843072 363 33554432000 4194304 5098028 140722737560000 140722737558104 140083578094204 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 10543104 140722737566586 140722737566829 140722737566829 140722737569738 0
/proc/9394/statm: 28282 363 304 221 0 87 0
[pid=9396] ppid=9394 vsize=15486016 memory=551600 CPUtime=58.61 cores=0,2,4,6
/proc/9396/stat : 9396 (java) S 9394 9394 3331 0 -1 1077944320 42378 0 0 0 5819 42 0 0 20 0 19 0 410775789 15857680384 137900 33554432000 4194304 4196468 140726326326160 140726326308704 140689533435639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
/proc/9396/statm: 3871504 137900 3525 1 0 3832606 0
[pid=9396/tid=9397] ppid=9394 vsize=15486016 memory=5964 CPUtime=0.81 cores=0,2,4,6
/proc/9396/task/9397/stat : 9397 (java) S 9394 9394 3331 0 -1 1077944384 8909 0 0 0 76 5 0 0 20 0 19 0 410775789 15857680384 137900 33554432000 4194304 4196468 140726326326160 140689537676416 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9398] ppid=9394 vsize=15486016 memory=1060 CPUtime=0.16 cores=0,2,4,6
/proc/9396/task/9398/stat : 9398 (java) S 9394 9394 3331 0 -1 1077944384 277 0 0 0 10 6 0 0 20 0 19 0 410775790 15857680384 137900 33554432000 4194304 4196468 140726326326160 140689445091984 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9399] ppid=9394 vsize=15486016 memory=2828 CPUtime=0.16 cores=0,2,4,6
/proc/9396/task/9399/stat : 9399 (java) S 9394 9394 3331 0 -1 1077944384 1080 0 0 0 10 6 0 0 20 0 19 0 410775790 15857680384 137900 33554432000 4194304 4196468 140726326326160 140689444039184 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9400] ppid=9394 vsize=15486016 memory=1216 CPUtime=0.16 cores=0,2,4,6
/proc/9396/task/9400/stat : 9400 (java) S 9394 9394 3331 0 -1 1077944384 189 0 0 0 10 6 0 0 20 0 19 0 410775790 15857680384 137900 33554432000 4194304 4196468 140726326326160 140689442986384 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9401] ppid=9394 vsize=15486016 memory=984 CPUtime=0.17 cores=0,2,4,6
/proc/9396/task/9401/stat : 9401 (java) S 9394 9394 3331 0 -1 1077944384 288 0 0 0 10 7 0 0 20 0 19 0 410775790 15857680384 137900 33554432000 4194304 4196468 140726326326160 140689441933584 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9402] ppid=9394 vsize=15486016 memory=14004 CPUtime=0.01 cores=0,2,4,6
/proc/9396/task/9402/stat : 9402 (java) S 9394 9394 3331 0 -1 1077944384 619 0 0 0 1 0 0 0 20 0 19 0 410775791 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688407157616 140689533446786 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9403] ppid=9394 vsize=15486016 memory=20736 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9403/stat : 9403 (java) S 9394 9394 3331 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 410775792 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688406103648 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9404] ppid=9394 vsize=15486016 memory=14048 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9404/stat : 9404 (java) S 9394 9394 3331 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 410775792 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688405050736 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9405] ppid=9394 vsize=15486016 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9405/stat : 9405 (java) S 9394 9394 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410775794 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688403999056 140689533454235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9406] ppid=9394 vsize=15486016 memory=500 CPUtime=2.65 cores=0,2,4,6
/proc/9396/task/9406/stat : 9406 (java) S 9394 9394 3331 0 -1 1077944384 7375 0 0 0 264 1 0 0 20 0 19 0 410775794 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688402946416 140689533446786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9407] ppid=9394 vsize=15486016 memory=1452 CPUtime=3.23 cores=0,2,4,6
/proc/9396/task/9407/stat : 9407 (java) S 9394 9394 3331 0 -1 1077944384 11480 0 0 0 321 2 0 0 20 0 19 0 410775794 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688401893616 140689533446786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9408] ppid=9394 vsize=15486016 memory=279349103353728 CPUtime=0.85 cores=0,2,4,6
/proc/9396/task/9408/stat : 9408 (java) S 9394 9394 3331 0 -1 1077944384 5322 0 0 0 84 1 0 0 20 0 19 0 410775794 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688400840816 140689533446786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9409] ppid=9394 vsize=15486016 memory=301793952414302491 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9409/stat : 9409 (java) S 9394 9394 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410775794 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688399788256 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9410] ppid=9394 vsize=15486016 memory=288285580272600206 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9410/stat : 9410 (java) S 9394 9394 3331 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 19 0 410775795 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688398736560 140689533446786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9543] ppid=9394 vsize=15486016 memory=6944656592455360569 CPUtime=3.3 cores=0,2,4,6
/proc/9396/task/9543/stat : 9543 (java) S 9394 9394 3331 0 -1 1077944384 229 0 0 0 330 0 0 0 20 0 19 0 410777106 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688385556000 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9544] ppid=9394 vsize=15486016 memory=4282264095244389750 CPUtime=3.31 cores=0,2,4,6
/proc/9396/task/9544/stat : 9544 (java) S 9394 9394 3331 0 -1 1077944384 343 0 0 0 331 0 0 0 20 0 19 0 410777106 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688388715280 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9545] ppid=9394 vsize=15486016 memory=-8817073721047302083 CPUtime=3.23 cores=0,2,4,6
/proc/9396/task/9545/stat : 9545 (java) S 9394 9394 3331 0 -1 1077944384 362 0 0 0 323 0 0 0 20 0 19 0 410777106 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688389767824 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9546] ppid=9394 vsize=15486016 memory=-3621219749712857441 CPUtime=3.84 cores=0,2,4,6
/proc/9396/task/9546/stat : 9546 (java) R 9394 9394 3331 0 -1 4202560 223 0 0 0 384 0 0 0 20 0 19 0 410777106 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688386605376 140689127125714 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
Current children cumulated CPU time: 58.61 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 553052 KiB
[startup+17.3008 s]
/proc/loadavg: 8.23 8.48 8.14 6/237 9546
/proc/meminfo: memFree=17094196/32770624 swapFree=66959216/67108860
[pid=9394] ppid=9391 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9394/stat : 9394 (xcsp3-exec) S 9391 9394 3331 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410775788 115843072 363 33554432000 4194304 5098028 140722737560000 140722737558104 140083578094204 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 10543104 140722737566586 140722737566829 140722737566829 140722737569738 0
/proc/9394/statm: 28282 363 304 221 0 87 0
[pid=9396] ppid=9394 vsize=15486016 memory=551600 CPUtime=58.71 cores=0,2,4,6
/proc/9396/stat : 9396 (java) S 9394 9394 3331 0 -1 1077944320 42441 0 0 0 5829 42 0 0 20 0 19 0 410775789 15857680384 137900 33554432000 4194304 4196468 140726326326160 140726326308704 140689533435639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
/proc/9396/statm: 3871504 137900 3525 1 0 3832606 0
[pid=9396/tid=9397] ppid=9394 vsize=15486016 memory=551600 CPUtime=0.81 cores=0,2,4,6
/proc/9396/task/9397/stat : 9397 (java) S 9394 9394 3331 0 -1 1077944384 8909 0 0 0 76 5 0 0 20 0 19 0 410775789 15857680384 137900 33554432000 4194304 4196468 140726326326160 140689537676416 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9398] ppid=9394 vsize=15486016 memory=551600 CPUtime=0.16 cores=0,2,4,6
/proc/9396/task/9398/stat : 9398 (java) S 9394 9394 3331 0 -1 1077944384 277 0 0 0 10 6 0 0 20 0 19 0 410775790 15857680384 137900 33554432000 4194304 4196468 140726326326160 140689445091984 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9399] ppid=9394 vsize=15486016 memory=1452 CPUtime=0.16 cores=0,2,4,6
/proc/9396/task/9399/stat : 9399 (java) S 9394 9394 3331 0 -1 1077944384 1080 0 0 0 10 6 0 0 20 0 19 0 410775790 15857680384 137900 33554432000 4194304 4196468 140726326326160 140689444039184 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9400] ppid=9394 vsize=15486016 memory=288230574492221466 CPUtime=0.16 cores=0,2,4,6
/proc/9396/task/9400/stat : 9400 (java) S 9394 9394 3331 0 -1 1077944384 189 0 0 0 10 6 0 0 20 0 19 0 410775790 15857680384 137900 33554432000 4194304 4196468 140726326326160 140689442986384 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9401] ppid=9394 vsize=15486016 memory=288230621803970871 CPUtime=0.17 cores=0,2,4,6
/proc/9396/task/9401/stat : 9401 (java) S 9394 9394 3331 0 -1 1077944384 288 0 0 0 10 7 0 0 20 0 19 0 410775790 15857680384 137900 33554432000 4194304 4196468 140726326326160 140689441933584 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9402] ppid=9394 vsize=15486016 memory=33 CPUtime=0.01 cores=0,2,4,6
/proc/9396/task/9402/stat : 9402 (java) S 9394 9394 3331 0 -1 1077944384 619 0 0 0 1 0 0 0 20 0 19 0 410775791 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688407157616 140689533446786 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9403] ppid=9394 vsize=15486016 memory=8243114992657236055 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9403/stat : 9403 (java) S 9394 9394 3331 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 410775792 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688406103648 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9404] ppid=9394 vsize=15486016 memory=453840 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9404/stat : 9404 (java) S 9394 9394 3331 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 410775792 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688405050736 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9405] ppid=9394 vsize=15486016 memory=425484 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9405/stat : 9405 (java) S 9394 9394 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410775794 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688403999056 140689533454235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9406] ppid=9394 vsize=15486016 memory=551720 CPUtime=2.65 cores=0,2,4,6
/proc/9396/task/9406/stat : 9406 (java) S 9394 9394 3331 0 -1 1077944384 7375 0 0 0 264 1 0 0 20 0 19 0 410775794 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688402946416 140689533446786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9407] ppid=9394 vsize=15486016 memory=1452 CPUtime=3.23 cores=0,2,4,6
/proc/9396/task/9407/stat : 9407 (java) S 9394 9394 3331 0 -1 1077944384 11480 0 0 0 321 2 0 0 20 0 19 0 410775794 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688401893616 140689533446786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9408] ppid=9394 vsize=15486016 memory=1452 CPUtime=0.85 cores=0,2,4,6
/proc/9396/task/9408/stat : 9408 (java) S 9394 9394 3331 0 -1 1077944384 5322 0 0 0 84 1 0 0 20 0 19 0 410775794 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688400840816 140689533446786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9409] ppid=9394 vsize=15486016 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9409/stat : 9409 (java) S 9394 9394 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410775794 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688399788256 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9410] ppid=9394 vsize=15486016 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9396/task/9410/stat : 9410 (java) S 9394 9394 3331 0 -1 1077944384 338 0 0 0 0 0 0 0 20 0 19 0 410775795 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688398736560 140689533446786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9543] ppid=9394 vsize=15486016 memory=559128 CPUtime=3.3 cores=0,2,4,6
/proc/9396/task/9543/stat : 9543 (java) S 9394 9394 3331 0 -1 1077944384 229 0 0 0 330 0 0 0 20 0 19 0 410777106 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688385556000 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9544] ppid=9394 vsize=15486016 memory=1452 CPUtime=3.31 cores=0,2,4,6
/proc/9396/task/9544/stat : 9544 (java) S 9394 9394 3331 0 -1 1077944384 343 0 0 0 331 0 0 0 20 0 19 0 410777106 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688388715280 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9545] ppid=9394 vsize=15486016 memory=551600 CPUtime=3.23 cores=0,2,4,6
/proc/9396/task/9545/stat : 9545 (java) S 9394 9394 3331 0 -1 1077944384 362 0 0 0 323 0 0 0 20 0 19 0 410777106 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688389767824 140689533445845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
[pid=9396/tid=9546] ppid=9394 vsize=15486016 memory=1452 CPUtime=3.94 cores=0,2,4,6
/proc/9396/task/9546/stat : 9546 (java) R 9394 9394 3331 0 -1 4202560 268 0 0 0 394 0 0 0 20 0 19 0 410777106 15857680384 137900 33554432000 4194304 4196468 140726326326160 140688386605376 140689127125759 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140726326334447 140726326334618 140726326334618 140726326337487 0
Current children cumulated CPU time: 58.71 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 553052 KiB
Child status: 0
Real time (s): 17.3715
CPU time (s): 58.7969
CPU user time (s): 58.3672
CPU system time (s): 0.429726
CPU usage (%): 338.468
Max. virtual memory (cumulated for all children) (KiB): 15599144
Max. memory (cumulated for all children) (KiB): 560856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 58.3672
system time used= 0.429726
maximum resident set size= 559404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44576
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3976
involuntary context switches= 2111
# summary of solver processes directly reported to runsolver:
# pid: 9394
# total CPU time (s): 58.7969
# total CPU user time (s): 58.3672
# total CPU system time (s): 0.429726
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.158667 second user time and 0.204776 second system time
The end