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 (9399 MiB free)
memory of node 1: 16384 MiB (11789 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394087-1568335247/watcher-4394087-1568335247 -o /tmp/evaluation-result-4394087-1568335247/solver-4394087-1568335247 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568327905-19559 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1630003555 HOME/instance-4394087-1568335247.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=2432, runsolver pid=2429
[startup+0.102814 s]*
/proc/loadavg: 7.64 8.32 8.38 3/235 2448
/proc/meminfo: memFree=21680696/32770624 swapFree=66939828/67108860
[pid=2432] ppid=2429 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2432/stat : 2432 (xcsp3-exec) S 2429 2432 19528 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409439622 115843072 363 33554432000 4194304 5098028 140723112269440 140723112267544 139786531332732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24702976 140723112272762 140723112273005 140723112273005 140723112275914 0
/proc/2432/statm: 28282 363 304 221 0 87 0
[pid=2434] ppid=2432 vsize=15144768 memory=30120 CPUtime=0.13 cores=0,2,4,6
/proc/2434/stat : 2434 (java) S 2432 2432 19528 0 -1 1077944320 5979 0 0 0 12 1 0 0 20 0 15 0 409439622 15508242432 7530 33554432000 4194304 4196468 140720639773472 140720639756016 140358884806391 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
/proc/2434/statm: 3786192 7530 3151 1 0 3748377 0
[pid=2434/tid=2435] ppid=2432 vsize=15144768 memory=-7828588039587137883 CPUtime=0.09 cores=0,2,4,6
/proc/2434/task/2435/stat : 2435 (java) R 2432 2432 19528 0 -1 4202560 3852 0 0 0 9 0 0 0 20 0 15 0 409439623 15508242432 7530 33554432000 4194304 4196468 140720639773472 140358889029136 140358868850021 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2436] ppid=2432 vsize=15144768 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2436/stat : 2436 (java) S 2432 2432 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409439623 15508242432 7530 33554432000 4194304 4196468 140720639773472 140358796462992 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2437] ppid=2432 vsize=15144768 memory=140244088325760 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2437/stat : 2437 (java) S 2432 2432 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409439623 15508242432 7530 33554432000 4194304 4196468 140720639773472 140358795410192 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2438] ppid=2432 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2438/stat : 2438 (java) S 2432 2432 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409439623 15508242432 7530 33554432000 4194304 4196468 140720639773472 140358794357904 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2439] ppid=2432 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2439/stat : 2439 (java) S 2432 2432 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409439623 15508242432 7530 33554432000 4194304 4196468 140720639773472 140358474263568 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2440] ppid=2432 vsize=15144768 memory=140244088325760 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2440/stat : 2440 (java) S 2432 2432 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409439625 15508242432 7530 33554432000 4194304 4196468 140720639773472 140358353168496 140358884817538 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2441] ppid=2432 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2441/stat : 2441 (java) S 2432 2432 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409439625 15508242432 7530 33554432000 4194304 4196468 140720639773472 140358352114464 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2442] ppid=2432 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2442/stat : 2442 (java) S 2432 2432 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409439625 15508242432 7530 33554432000 4194304 4196468 140720639773472 140358351062128 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2443] ppid=2432 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2443/stat : 2443 (java) S 2432 2432 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409439628 15508242432 7530 33554432000 4194304 4196468 140720639773472 140358350010448 140358884824987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2444] ppid=2432 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2444/stat : 2444 (java) R 2432 2432 19528 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 15 0 409439628 15508242432 7530 33554432000 4194304 4196468 140720639773472 140358348958320 140358884817538 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2445] ppid=2432 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2445/stat : 2445 (java) R 2432 2432 19528 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 15 0 409439628 15508242432 7530 33554432000 4194304 4196468 140720639773472 140358347905520 140358868289807 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2446] ppid=2432 vsize=15144768 memory=140244088325760 CPUtime=0.02 cores=0,2,4,6
/proc/2434/task/2446/stat : 2446 (java) R 2432 2432 19528 0 -1 4202560 367 0 0 0 2 0 0 0 20 0 15 0 409439628 15508242432 7530 33554432000 4194304 4196468 140720639773472 140358346853232 140358863173018 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2447] ppid=2432 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2447/stat : 2447 (java) S 2432 2432 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409439628 15508242432 7530 33554432000 4194304 4196468 140720639773472 140358345800672 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2448] ppid=2432 vsize=15144768 memory=140244088325760 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2448/stat : 2448 (java) R 2432 2432 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409439628 15508242432 7530 33554432000 4194304 4196468 140720639773472 140358344747440 140358884817538 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31572 KiB
[startup+0.210932 s]*
/proc/loadavg: 7.64 8.32 8.38 6/235 2448
/proc/meminfo: memFree=21666688/32770624 swapFree=66939828/67108860
[pid=2432] ppid=2429 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2432/stat : 2432 (xcsp3-exec) S 2429 2432 19528 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409439622 115843072 363 33554432000 4194304 5098028 140723112269440 140723112267544 139786531332732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24702976 140723112272762 140723112273005 140723112273005 140723112275914 0
/proc/2432/statm: 28282 363 304 221 0 87 0
[pid=2434] ppid=2432 vsize=15144768 memory=41388 CPUtime=0.34 cores=0,2,4,6
/proc/2434/stat : 2434 (java) S 2432 2432 19528 0 -1 1077944320 9509 0 0 0 31 3 0 0 20 0 15 0 409439622 15508242432 10347 33554432000 4194304 4196468 140720639773472 140720639756016 140358884806391 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
/proc/2434/statm: 3786192 10347 3316 1 0 3748377 0
[pid=2434/tid=2435] ppid=2432 vsize=15144768 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/2434/task/2435/stat : 2435 (java) R 2432 2432 19528 0 -1 4202560 6654 0 0 0 18 2 0 0 20 0 15 0 409439623 15508242432 10347 33554432000 4194304 4196468 140720639773472 140358889039488 140358884828317 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2436] ppid=2432 vsize=15144768 memory=4294977831 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2436/stat : 2436 (java) S 2432 2432 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409439623 15508242432 10347 33554432000 4194304 4196468 140720639773472 140358796462992 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2437] ppid=2432 vsize=15144768 memory=3763233329438328480 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2437/stat : 2437 (java) S 2432 2432 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409439623 15508242432 10347 33554432000 4194304 4196468 140720639773472 140358795410192 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2438] ppid=2432 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2438/stat : 2438 (java) S 2432 2432 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409439623 15508242432 10347 33554432000 4194304 4196468 140720639773472 140358794357904 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2439] ppid=2432 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2439/stat : 2439 (java) S 2432 2432 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409439623 15508242432 10347 33554432000 4194304 4196468 140720639773472 140358474263568 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2440] ppid=2432 vsize=15144768 memory=140244088325760 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2440/stat : 2440 (java) S 2432 2432 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409439625 15508242432 10347 33554432000 4194304 4196468 140720639773472 140358353168496 140358884817538 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2441] ppid=2432 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2441/stat : 2441 (java) S 2432 2432 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409439625 15508242432 10347 33554432000 4194304 4196468 140720639773472 140358352114464 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2442] ppid=2432 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2442/stat : 2442 (java) S 2432 2432 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409439625 15508242432 10347 33554432000 4194304 4196468 140720639773472 140358351062128 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2443] ppid=2432 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2443/stat : 2443 (java) S 2432 2432 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409439628 15508242432 10347 33554432000 4194304 4196468 140720639773472 140358350010448 140358884824987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2444] ppid=2432 vsize=15144768 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/2434/task/2444/stat : 2444 (java) S 2432 2432 19528 0 -1 1077944384 727 0 0 0 3 0 0 0 20 0 15 0 409439628 15508242432 10347 33554432000 4194304 4196468 140720639773472 140358348958320 140358884817538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2445] ppid=2432 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/2434/task/2445/stat : 2445 (java) S 2432 2432 19528 0 -1 1077944384 93 0 0 0 2 0 0 0 20 0 15 0 409439628 15508242432 10347 33554432000 4194304 4196468 140720639773472 140358347905520 140358884817538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2446] ppid=2432 vsize=15144768 memory=140244088325760 CPUtime=0.08 cores=0,2,4,6
/proc/2434/task/2446/stat : 2446 (java) R 2432 2432 19528 0 -1 4202560 728 0 0 0 8 0 0 0 20 0 15 0 409439628 15508242432 10347 33554432000 4194304 4196468 140720639773472 140358346853232 140358863427489 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2447] ppid=2432 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2447/stat : 2447 (java) S 2432 2432 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409439628 15508242432 10347 33554432000 4194304 4196468 140720639773472 140358345800672 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2448] ppid=2432 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2448/stat : 2448 (java) S 2432 2432 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409439628 15508242432 10347 33554432000 4194304 4196468 140720639773472 140358344747440 140358884817538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42840 KiB
[startup+0.310997 s]*
/proc/loadavg: 7.64 8.32 8.38 4/235 2448
/proc/meminfo: memFree=21660048/32770624 swapFree=66939828/67108860
[pid=2432] ppid=2429 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2432/stat : 2432 (xcsp3-exec) S 2429 2432 19528 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409439622 115843072 363 33554432000 4194304 5098028 140723112269440 140723112267544 139786531332732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24702976 140723112272762 140723112273005 140723112273005 140723112275914 0
/proc/2432/statm: 28282 363 304 221 0 87 0
[pid=2434] ppid=2432 vsize=15149024 memory=50200 CPUtime=0.53 cores=0,2,4,6
/proc/2434/stat : 2434 (java) S 2432 2432 19528 0 -1 1077944320 10854 0 0 0 49 4 0 0 20 0 15 0 409439622 15512600576 12550 33554432000 4194304 4196468 140720639773472 140720639756016 140358884806391 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
/proc/2434/statm: 3787256 12550 3366 1 0 3748377 0
[pid=2434/tid=2435] ppid=2432 vsize=15149024 memory=4026532047 CPUtime=0.3 cores=0,2,4,6
/proc/2434/task/2435/stat : 2435 (java) R 2432 2432 19528 0 -1 4202560 7825 0 0 0 27 3 0 0 20 0 15 0 409439623 15512600576 12619 33554432000 4194304 4196468 140720639773472 140358889037504 140358868886878 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2436] ppid=2432 vsize=15149024 memory=10814 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2436/stat : 2436 (java) S 2432 2432 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409439623 15512600576 12619 33554432000 4194304 4196468 140720639773472 140358796462992 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2437] ppid=2432 vsize=15149024 memory=3013565 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2437/stat : 2437 (java) S 2432 2432 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409439623 15512600576 12619 33554432000 4194304 4196468 140720639773472 140358795410192 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2438] ppid=2432 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2438/stat : 2438 (java) S 2432 2432 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409439623 15512600576 12619 33554432000 4194304 4196468 140720639773472 140358794357904 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2439] ppid=2432 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2439/stat : 2439 (java) S 2432 2432 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409439623 15512600576 12619 33554432000 4194304 4196468 140720639773472 140358474263568 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2440] ppid=2432 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2440/stat : 2440 (java) S 2432 2432 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409439625 15512600576 12619 33554432000 4194304 4196468 140720639773472 140358353168496 140358884817538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2441] ppid=2432 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2441/stat : 2441 (java) S 2432 2432 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409439625 15512600576 12619 33554432000 4194304 4196468 140720639773472 140358352114464 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2442] ppid=2432 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2442/stat : 2442 (java) S 2432 2432 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409439625 15512600576 12619 33554432000 4194304 4196468 140720639773472 140358351062128 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2443] ppid=2432 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2443/stat : 2443 (java) S 2432 2432 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409439628 15512600576 12619 33554432000 4194304 4196468 140720639773472 140358350010448 140358884824987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2444] ppid=2432 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/2434/task/2444/stat : 2444 (java) S 2432 2432 19528 0 -1 1077944384 743 0 0 0 4 0 0 0 20 0 15 0 409439628 15512600576 12619 33554432000 4194304 4196468 140720639773472 140358348958320 140358884817538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2445] ppid=2432 vsize=15149024 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/2434/task/2445/stat : 2445 (java) R 2432 2432 19528 0 -1 4202560 226 0 0 0 5 0 0 0 20 0 15 0 409439628 15512600576 12619 33554432000 4194304 4196468 140720639773472 140358347895904 140358864068488 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2446] ppid=2432 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/2434/task/2446/stat : 2446 (java) S 2432 2432 19528 0 -1 1077944384 793 0 0 0 12 0 0 0 20 0 15 0 409439628 15512600576 12619 33554432000 4194304 4196468 140720639773472 140358346853232 140358884817538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2447] ppid=2432 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2447/stat : 2447 (java) S 2432 2432 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409439628 15512600576 12619 33554432000 4194304 4196468 140720639773472 140358345800672 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2448] ppid=2432 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2448/stat : 2448 (java) S 2432 2432 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409439628 15512600576 12619 33554432000 4194304 4196468 140720639773472 140358344747440 140358884817538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51652 KiB
[startup+0.700958 s]
/proc/loadavg: 7.64 8.32 8.38 5/235 2448
/proc/meminfo: memFree=21646960/32770624 swapFree=66939828/67108860
[pid=2432] ppid=2429 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2432/stat : 2432 (xcsp3-exec) S 2429 2432 19528 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409439622 115843072 363 33554432000 4194304 5098028 140723112269440 140723112267544 139786531332732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24702976 140723112272762 140723112273005 140723112273005 140723112275914 0
/proc/2432/statm: 28282 363 304 221 0 87 0
[pid=2434] ppid=2432 vsize=15151148 memory=163492 CPUtime=1.69 cores=0,2,4,6
/proc/2434/stat : 2434 (java) S 2432 2432 19528 0 -1 1077944320 14244 0 0 0 163 6 0 0 20 0 15 0 409439622 15514775552 40873 33554432000 4194304 4196468 140720639773472 140720639756016 140358884806391 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
/proc/2434/statm: 3787787 40873 3445 1 0 3748889 0
[pid=2434/tid=2435] ppid=2432 vsize=15151148 memory=42 CPUtime=0.67 cores=0,2,4,6
/proc/2434/task/2435/stat : 2435 (java) R 2432 2432 19528 0 -1 1077944384 8817 0 0 0 62 5 0 0 20 0 15 0 409439623 15514775552 40873 33554432000 4194304 4196468 140720639773472 140358889043664 140358884816597 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2436] ppid=2432 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2436/stat : 2436 (java) S 2432 2432 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409439623 15514775552 40873 33554432000 4194304 4196468 140720639773472 140358796462992 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2437] ppid=2432 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2437/stat : 2437 (java) S 2432 2432 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409439623 15514775552 40873 33554432000 4194304 4196468 140720639773472 140358795410192 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2438] ppid=2432 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2438/stat : 2438 (java) S 2432 2432 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409439623 15514775552 40873 33554432000 4194304 4196468 140720639773472 140358794357904 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2439] ppid=2432 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2439/stat : 2439 (java) S 2432 2432 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409439623 15514775552 40873 33554432000 4194304 4196468 140720639773472 140358474263568 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2440] ppid=2432 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2440/stat : 2440 (java) S 2432 2432 19528 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 409439625 15514775552 40873 33554432000 4194304 4196468 140720639773472 140358353168496 140358884817538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2441] ppid=2432 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2441/stat : 2441 (java) S 2432 2432 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409439625 15514775552 40873 33554432000 4194304 4196468 140720639773472 140358352114464 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2442] ppid=2432 vsize=15151148 memory=626848 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2442/stat : 2442 (java) S 2432 2432 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409439625 15514775552 40873 33554432000 4194304 4196468 140720639773472 140358351062128 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2443] ppid=2432 vsize=15151148 memory=3688 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2443/stat : 2443 (java) S 2432 2432 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409439628 15514775552 40873 33554432000 4194304 4196468 140720639773472 140358350010448 140358884824987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2444] ppid=2432 vsize=15151148 memory=1984 CPUtime=0.27 cores=0,2,4,6
/proc/2434/task/2444/stat : 2444 (java) R 2432 2432 19528 0 -1 4202560 1474 0 0 0 27 0 0 0 20 0 15 0 409439628 15514775552 40873 33554432000 4194304 4196468 140720639773472 140358348940032 140358865992354 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2445] ppid=2432 vsize=15151148 memory=1440 CPUtime=0.31 cores=0,2,4,6
/proc/2434/task/2445/stat : 2445 (java) R 2432 2432 19528 0 -1 4202560 892 0 0 0 31 0 0 0 20 0 15 0 409439628 15514775552 40873 33554432000 4194304 4196468 140720639773472 140358347905648 140358870846997 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2446] ppid=2432 vsize=15151148 memory=804 CPUtime=0.41 cores=0,2,4,6
/proc/2434/task/2446/stat : 2446 (java) R 2432 2432 19528 0 -1 4202560 1752 0 0 0 41 0 0 0 20 0 15 0 409439628 15514775552 40873 33554432000 4194304 4196468 140720639773472 140358346853232 140358877903227 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2447] ppid=2432 vsize=15151148 memory=2580 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2447/stat : 2447 (java) S 2432 2432 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409439628 15514775552 40873 33554432000 4194304 4196468 140720639773472 140358345800672 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2448] ppid=2432 vsize=15151148 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2448/stat : 2448 (java) S 2432 2432 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409439628 15514775552 40873 33554432000 4194304 4196468 140720639773472 140358344747440 140358884817538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 164944 KiB
[startup+1.50416 s]
/proc/loadavg: 7.64 8.32 8.38 6/235 2448
/proc/meminfo: memFree=21286460/32770624 swapFree=66939828/67108860
[pid=2432] ppid=2429 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2432/stat : 2432 (xcsp3-exec) S 2429 2432 19528 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409439622 115843072 363 33554432000 4194304 5098028 140723112269440 140723112267544 139786531332732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24702976 140723112272762 140723112273005 140723112273005 140723112275914 0
/proc/2432/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/2434/task/2448/stat : 2448 (java) S 2432 2432 19528 0 -1 1077944384 819 0 0 0 0 1 0 0 20 0 19 0 409439628 15857680384 166773 33554432000 4194304 4196468 140720639773472 140358344747440 140358884817538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=3066] ppid=2432 vsize=15486016 memory=1436 CPUtime=2.9 cores=0,2,4,6
/proc/2434/task/3066/stat : 3066 (java) R 2432 2432 19528 0 -1 4202560 207 0 0 0 290 0 0 0 20 0 19 0 409442052 15857680384 166773 33554432000 4194304 4196468 140720639773472 140358334721000 140358480518883 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=3067] ppid=2432 vsize=15486016 memory=4164 CPUtime=2.88 cores=0,2,4,6
/proc/2434/task/3067/stat : 3067 (java) R 2432 2432 19528 0 -1 4202560 201 0 0 0 288 0 0 0 20 0 19 0 409442052 15857680384 166773 33554432000 4194304 4196468 140720639773472 140358332617144 140358481082048 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=3068] ppid=2432 vsize=15486016 memory=1548 CPUtime=2.85 cores=0,2,4,6
/proc/2434/task/3068/stat : 3068 (java) R 2432 2432 19528 0 -1 4202560 250 0 0 0 285 0 0 0 20 0 19 0 409442052 15857680384 166773 33554432000 4194304 4196468 140720639773472 140358335775032 140358481695897 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=3069] ppid=2432 vsize=15486016 memory=1728 CPUtime=2.9 cores=0,2,4,6
/proc/2434/task/3069/stat : 3069 (java) R 2432 2432 19528 0 -1 4202560 220 0 0 0 290 0 0 0 20 0 19 0 409442052 15857680384 166773 33554432000 4194304 4196468 140720639773472 140358331558952 140358483287101 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
Current children cumulated CPU time: 102.36 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 668544 KiB
[startup+28.0009 s]*
/proc/loadavg: 8.34 8.43 8.41 6/239 3069
/proc/meminfo: memFree=21091568/32770624 swapFree=66939828/67108860
[pid=2432] ppid=2429 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2432/stat : 2432 (xcsp3-exec) S 2429 2432 19528 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409439622 115843072 363 33554432000 4194304 5098028 140723112269440 140723112267544 139786531332732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24702976 140723112272762 140723112273005 140723112273005 140723112275914 0
/proc/2432/statm: 28282 363 304 221 0 87 0
[pid=2434] ppid=2432 vsize=15486016 memory=667116 CPUtime=105.27 cores=0,2,4,6
/proc/2434/stat : 2434 (java) S 2432 2432 19528 0 -1 1077944320 63916 0 0 0 10473 54 0 0 20 0 19 0 409439622 15857680384 166779 33554432000 4194304 4196468 140720639773472 140720639756016 140358884806391 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
/proc/2434/statm: 3871504 166779 3542 1 0 3832606 0
[pid=2434/tid=2435] ppid=2432 vsize=15486016 memory=8317482817917895235 CPUtime=0.86 cores=0,2,4,6
/proc/2434/task/2435/stat : 2435 (java) S 2432 2432 19528 0 -1 1077944384 9827 0 0 0 80 6 0 0 20 0 19 0 409439623 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358889047168 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2436] ppid=2432 vsize=15486016 memory=4126316290023845779 CPUtime=0.47 cores=0,2,4,6
/proc/2434/task/2436/stat : 2436 (java) S 2432 2432 19528 0 -1 1077944384 651 0 0 0 38 9 0 0 20 0 19 0 409439623 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358796462992 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2437] ppid=2432 vsize=15486016 memory=1620 CPUtime=0.49 cores=0,2,4,6
/proc/2434/task/2437/stat : 2437 (java) S 2432 2432 19528 0 -1 1077944384 571 0 0 0 39 10 0 0 20 0 19 0 409439623 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358795410192 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2438] ppid=2432 vsize=15486016 memory=8317482817917895235 CPUtime=0.48 cores=0,2,4,6
/proc/2434/task/2438/stat : 2438 (java) S 2432 2432 19528 0 -1 1077944384 300 0 0 0 39 9 0 0 20 0 19 0 409439623 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358794357904 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2439] ppid=2432 vsize=15486016 memory=4126316290023845779 CPUtime=0.48 cores=0,2,4,6
/proc/2434/task/2439/stat : 2439 (java) S 2432 2432 19528 0 -1 1077944384 534 0 0 0 39 9 0 0 20 0 19 0 409439623 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358474263568 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2440] ppid=2432 vsize=15486016 memory=140247862084168 CPUtime=0.03 cores=0,2,4,6
/proc/2434/task/2440/stat : 2440 (java) S 2432 2432 19528 0 -1 1077944384 1033 0 0 0 3 0 0 0 20 0 19 0 409439625 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358353168496 140358884817538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2441] ppid=2432 vsize=15486016 memory=140247862084172 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2441/stat : 2441 (java) S 2432 2432 19528 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 409439625 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358352114528 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2442] ppid=2432 vsize=15486016 memory=140247862084173 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2442/stat : 2442 (java) S 2432 2432 19528 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 409439625 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358351062144 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2443] ppid=2432 vsize=15486016 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2443/stat : 2443 (java) S 2432 2432 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409439628 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358350010448 140358884824987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2444] ppid=2432 vsize=15486016 memory=776 CPUtime=2.63 cores=0,2,4,6
/proc/2434/task/2444/stat : 2444 (java) S 2432 2432 19528 0 -1 1077944384 16157 0 0 0 262 1 0 0 20 0 19 0 409439628 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358348958320 140358884817538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2445] ppid=2432 vsize=15486016 memory=3848 CPUtime=2.85 cores=0,2,4,6
/proc/2434/task/2445/stat : 2445 (java) S 2432 2432 19528 0 -1 1077944384 12533 0 0 0 283 2 0 0 20 0 19 0 409439628 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358347905520 140358884817538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2446] ppid=2432 vsize=15486016 memory=2948 CPUtime=0.85 cores=0,2,4,6
/proc/2434/task/2446/stat : 2446 (java) S 2432 2432 19528 0 -1 1077944384 7473 0 0 0 85 0 0 0 20 0 19 0 409439628 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358346853232 140358884817538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2447] ppid=2432 vsize=15486016 memory=2724 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2447/stat : 2447 (java) S 2432 2432 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409439628 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358345800672 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2448] ppid=2432 vsize=15486016 memory=4108 CPUtime=0.01 cores=0,2,4,6
/proc/2434/task/2448/stat : 2448 (java) S 2432 2432 19528 0 -1 1077944384 819 0 0 0 0 1 0 0 20 0 19 0 409439628 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358344747440 140358884817538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=3066] ppid=2432 vsize=15486016 memory=1620 CPUtime=3.58 cores=0,2,4,6
/proc/2434/task/3066/stat : 3066 (java) S 2432 2432 19528 0 -1 1077944384 305 0 0 0 358 0 0 0 20 0 19 0 409442052 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358334725904 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=3067] ppid=2432 vsize=15486016 memory=8317482817917895235 CPUtime=3.58 cores=0,2,4,6
/proc/2434/task/3067/stat : 3067 (java) S 2432 2432 19528 0 -1 1077944384 297 0 0 0 358 0 0 0 20 0 19 0 409442052 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358332622352 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=3068] ppid=2432 vsize=15486016 memory=21208 CPUtime=3.54 cores=0,2,4,6
/proc/2434/task/3068/stat : 3068 (java) S 2432 2432 19528 0 -1 1077944384 292 0 0 0 354 0 0 0 20 0 19 0 409442052 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358335780240 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=3069] ppid=2432 vsize=15486016 memory=14056 CPUtime=3.71 cores=0,2,4,6
/proc/2434/task/3069/stat : 3069 (java) R 2432 2432 19528 0 -1 4202560 229 0 0 0 371 0 0 0 20 0 19 0 409442052 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358331558952 140358483286671 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
Current children cumulated CPU time: 105.27 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 668568 KiB
[startup+28.4008 s]
/proc/loadavg: 8.34 8.43 8.41 6/239 3069
/proc/meminfo: memFree=21091568/32770624 swapFree=66939828/67108860
[pid=2432] ppid=2429 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2432/stat : 2432 (xcsp3-exec) S 2429 2432 19528 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409439622 115843072 363 33554432000 4194304 5098028 140723112269440 140723112267544 139786531332732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24702976 140723112272762 140723112273005 140723112273005 140723112275914 0
/proc/2432/statm: 28282 363 304 221 0 87 0
[pid=2434] ppid=2432 vsize=15486016 memory=667116 CPUtime=105.67 cores=0,2,4,6
/proc/2434/stat : 2434 (java) S 2432 2432 19528 0 -1 1077944320 64023 0 0 0 10513 54 0 0 20 0 19 0 409439622 15857680384 166779 33554432000 4194304 4196468 140720639773472 140720639756016 140358884806391 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
/proc/2434/statm: 3871504 166779 3542 1 0 3832606 0
[pid=2434/tid=2435] ppid=2432 vsize=15486016 memory=0 CPUtime=0.86 cores=0,2,4,6
/proc/2434/task/2435/stat : 2435 (java) S 2432 2432 19528 0 -1 1077944384 9827 0 0 0 80 6 0 0 20 0 19 0 409439623 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358889047168 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2436] ppid=2432 vsize=15486016 memory=8112282956445269571 CPUtime=0.47 cores=0,2,4,6
/proc/2434/task/2436/stat : 2436 (java) S 2432 2432 19528 0 -1 1077944384 651 0 0 0 38 9 0 0 20 0 19 0 409439623 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358796462992 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2437] ppid=2432 vsize=15486016 memory=288230596050944315 CPUtime=0.49 cores=0,2,4,6
/proc/2434/task/2437/stat : 2437 (java) S 2432 2432 19528 0 -1 1077944384 571 0 0 0 39 10 0 0 20 0 19 0 409439623 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358795410192 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2438] ppid=2432 vsize=15486016 memory=13573682337417643 CPUtime=0.48 cores=0,2,4,6
/proc/2434/task/2438/stat : 2438 (java) S 2432 2432 19528 0 -1 1077944384 300 0 0 0 39 9 0 0 20 0 19 0 409439623 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358794357904 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2439] ppid=2432 vsize=15486016 memory=776 CPUtime=0.48 cores=0,2,4,6
/proc/2434/task/2439/stat : 2439 (java) S 2432 2432 19528 0 -1 1077944384 534 0 0 0 39 9 0 0 20 0 19 0 409439623 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358474263568 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2440] ppid=2432 vsize=15486016 memory=2832 CPUtime=0.03 cores=0,2,4,6
/proc/2434/task/2440/stat : 2440 (java) S 2432 2432 19528 0 -1 1077944384 1038 0 0 0 3 0 0 0 20 0 19 0 409439625 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358353168496 140358884817538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2441] ppid=2432 vsize=15486016 memory=668 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2441/stat : 2441 (java) S 2432 2432 19528 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 409439625 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358352114528 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2442] ppid=2432 vsize=15486016 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2442/stat : 2442 (java) S 2432 2432 19528 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 409439625 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358351062144 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2443] ppid=2432 vsize=15486016 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2443/stat : 2443 (java) S 2432 2432 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409439628 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358350010448 140358884824987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2444] ppid=2432 vsize=15486016 memory=1184 CPUtime=2.63 cores=0,2,4,6
/proc/2434/task/2444/stat : 2444 (java) S 2432 2432 19528 0 -1 1077944384 16157 0 0 0 262 1 0 0 20 0 19 0 409439628 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358348958320 140358884817538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2445] ppid=2432 vsize=15486016 memory=13280 CPUtime=2.85 cores=0,2,4,6
/proc/2434/task/2445/stat : 2445 (java) S 2432 2432 19528 0 -1 1077944384 12533 0 0 0 283 2 0 0 20 0 19 0 409439628 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358347905520 140358884817538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2446] ppid=2432 vsize=15486016 memory=0 CPUtime=0.85 cores=0,2,4,6
/proc/2434/task/2446/stat : 2446 (java) S 2432 2432 19528 0 -1 1077944384 7473 0 0 0 85 0 0 0 20 0 19 0 409439628 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358346853232 140358884817538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2447] ppid=2432 vsize=15486016 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2447/stat : 2447 (java) S 2432 2432 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409439628 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358345800672 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2448] ppid=2432 vsize=15486016 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2434/task/2448/stat : 2448 (java) S 2432 2432 19528 0 -1 1077944384 851 0 0 0 0 1 0 0 20 0 19 0 409439628 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358344747440 140358884817538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=3066] ppid=2432 vsize=15486016 memory=65915609 CPUtime=3.58 cores=0,2,4,6
/proc/2434/task/3066/stat : 3066 (java) S 2432 2432 19528 0 -1 1077944384 305 0 0 0 358 0 0 0 20 0 19 0 409442052 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358334725904 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=3067] ppid=2432 vsize=15486016 memory=0 CPUtime=3.58 cores=0,2,4,6
/proc/2434/task/3067/stat : 3067 (java) S 2432 2432 19528 0 -1 1077944384 297 0 0 0 358 0 0 0 20 0 19 0 409442052 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358332622352 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=3068] ppid=2432 vsize=15486016 memory=8112282956445269571 CPUtime=3.54 cores=0,2,4,6
/proc/2434/task/3068/stat : 3068 (java) S 2432 2432 19528 0 -1 1077944384 292 0 0 0 354 0 0 0 20 0 19 0 409442052 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358335780240 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=3069] ppid=2432 vsize=15486016 memory=920 CPUtime=4.1 cores=0,2,4,6
/proc/2434/task/3069/stat : 3069 (java) R 2432 2432 19528 0 -1 4202560 299 0 0 0 410 0 0 0 20 0 19 0 409442052 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358331558952 140358483286726 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
Current children cumulated CPU time: 105.67 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 668568 KiB
[startup+28.5008 s]
/proc/loadavg: 8.34 8.43 8.41 6/239 3069
/proc/meminfo: memFree=21091568/32770624 swapFree=66939828/67108860
[pid=2432] ppid=2429 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2432/stat : 2432 (xcsp3-exec) S 2429 2432 19528 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409439622 115843072 363 33554432000 4194304 5098028 140723112269440 140723112267544 139786531332732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24702976 140723112272762 140723112273005 140723112273005 140723112275914 0
/proc/2432/statm: 28282 363 304 221 0 87 0
[pid=2434] ppid=2432 vsize=15486016 memory=667116 CPUtime=105.77 cores=0,2,4,6
/proc/2434/stat : 2434 (java) S 2432 2432 19528 0 -1 1077944320 64023 0 0 0 10523 54 0 0 20 0 19 0 409439622 15857680384 166779 33554432000 4194304 4196468 140720639773472 140720639756016 140358884806391 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
/proc/2434/statm: 3871504 166779 3542 1 0 3832606 0
[pid=2434/tid=2435] ppid=2432 vsize=15486016 memory=667116 CPUtime=0.86 cores=0,2,4,6
/proc/2434/task/2435/stat : 2435 (java) S 2432 2432 19528 0 -1 1077944384 9827 0 0 0 80 6 0 0 20 0 19 0 409439623 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358889047168 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2436] ppid=2432 vsize=15486016 memory=1452 CPUtime=0.47 cores=0,2,4,6
/proc/2434/task/2436/stat : 2436 (java) S 2432 2432 19528 0 -1 1077944384 651 0 0 0 38 9 0 0 20 0 19 0 409439623 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358796462992 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2437] ppid=2432 vsize=15486016 memory=667112 CPUtime=0.49 cores=0,2,4,6
/proc/2434/task/2437/stat : 2437 (java) S 2432 2432 19528 0 -1 1077944384 571 0 0 0 39 10 0 0 20 0 19 0 409439623 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358795410192 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2438] ppid=2432 vsize=15486016 memory=2116 CPUtime=0.48 cores=0,2,4,6
/proc/2434/task/2438/stat : 2438 (java) S 2432 2432 19528 0 -1 1077944384 300 0 0 0 39 9 0 0 20 0 19 0 409439623 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358794357904 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2439] ppid=2432 vsize=15486016 memory=667092 CPUtime=0.48 cores=0,2,4,6
/proc/2434/task/2439/stat : 2439 (java) S 2432 2432 19528 0 -1 1077944384 534 0 0 0 39 9 0 0 20 0 19 0 409439623 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358474263568 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2440] ppid=2432 vsize=15486016 memory=667092 CPUtime=0.03 cores=0,2,4,6
/proc/2434/task/2440/stat : 2440 (java) S 2432 2432 19528 0 -1 1077944384 1038 0 0 0 3 0 0 0 20 0 19 0 409439625 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358353168496 140358884817538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2441] ppid=2432 vsize=15486016 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2441/stat : 2441 (java) S 2432 2432 19528 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 409439625 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358352114528 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2442] ppid=2432 vsize=15486016 memory=2 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2442/stat : 2442 (java) S 2432 2432 19528 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 409439625 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358351062144 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2443] ppid=2432 vsize=15486016 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2443/stat : 2443 (java) S 2432 2432 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409439628 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358350010448 140358884824987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2444] ppid=2432 vsize=15486016 memory=65 CPUtime=2.63 cores=0,2,4,6
/proc/2434/task/2444/stat : 2444 (java) S 2432 2432 19528 0 -1 1077944384 16157 0 0 0 262 1 0 0 20 0 19 0 409439628 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358348958320 140358884817538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2445] ppid=2432 vsize=15486016 memory=7377246124687064083 CPUtime=2.85 cores=0,2,4,6
/proc/2434/task/2445/stat : 2445 (java) S 2432 2432 19528 0 -1 1077944384 12533 0 0 0 283 2 0 0 20 0 19 0 409439628 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358347905520 140358884817538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2446] ppid=2432 vsize=15486016 memory=1440 CPUtime=0.85 cores=0,2,4,6
/proc/2434/task/2446/stat : 2446 (java) S 2432 2432 19528 0 -1 1077944384 7473 0 0 0 85 0 0 0 20 0 19 0 409439628 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358346853232 140358884817538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2447] ppid=2432 vsize=15486016 memory=804 CPUtime=0 cores=0,2,4,6
/proc/2434/task/2447/stat : 2447 (java) S 2432 2432 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409439628 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358345800672 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=2448] ppid=2432 vsize=15486016 memory=129 CPUtime=0.01 cores=0,2,4,6
/proc/2434/task/2448/stat : 2448 (java) S 2432 2432 19528 0 -1 1077944384 851 0 0 0 0 1 0 0 20 0 19 0 409439628 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358344747440 140358884817538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=3066] ppid=2432 vsize=15486016 memory=6943526294502006880 CPUtime=3.58 cores=0,2,4,6
/proc/2434/task/3066/stat : 3066 (java) S 2432 2432 19528 0 -1 1077944384 305 0 0 0 358 0 0 0 20 0 19 0 409442052 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358334725904 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=3067] ppid=2432 vsize=15486016 memory=1452 CPUtime=3.58 cores=0,2,4,6
/proc/2434/task/3067/stat : 3067 (java) S 2432 2432 19528 0 -1 1077944384 297 0 0 0 358 0 0 0 20 0 19 0 409442052 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358332622352 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=3068] ppid=2432 vsize=15486016 memory=667112 CPUtime=3.54 cores=0,2,4,6
/proc/2434/task/3068/stat : 3068 (java) S 2432 2432 19528 0 -1 1077944384 292 0 0 0 354 0 0 0 20 0 19 0 409442052 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358335780240 140358884816597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
[pid=2434/tid=3069] ppid=2432 vsize=15486016 memory=533180 CPUtime=4.2 cores=0,2,4,6
/proc/2434/task/3069/stat : 3069 (java) R 2432 2432 19528 0 -1 4202560 299 0 0 0 420 0 0 0 20 0 19 0 409442052 15857680384 166779 33554432000 4194304 4196468 140720639773472 140358331558952 140358483286671 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140720639775727 140720639775898 140720639775898 140720639778767 0
Current children cumulated CPU time: 105.77 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 668568 KiB
Child status: 0
Real time (s): 28.5904
CPU time (s): 105.867
CPU user time (s): 105.307
CPU system time (s): 0.559859
CPU usage (%): 370.287
Max. virtual memory (cumulated for all children) (KiB): 15599144
Max. memory (cumulated for all children) (KiB): 668568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 105.307
system time used= 0.559859
maximum resident set size= 667116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66313
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= 4612
involuntary context switches= 2762
# summary of solver processes directly reported to runsolver:
# pid: 2432
# total CPU time (s): 105.867
# total CPU user time (s): 105.307
# total CPU system time (s): 0.559859
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.208757 second user time and 0.363914 second system time
The end