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 (10907 MiB free)
memory of node 1: 16384 MiB (15373 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400416-1568698002/watcher-4400416-1568698002 -o /tmp/evaluation-result-4400416-1568698002/solver-4400416-1568698002 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568694277-30438 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1775494670 HOME/instance-4400416-1568698002.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=9513, runsolver pid=9510
[startup+0.102703 s]*
/proc/loadavg: 8.67 8.24 8.12 6/233 9529
/proc/meminfo: memFree=26894272/32770624 swapFree=66953076/67108860
[pid=9513] ppid=9510 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9513/stat : 9513 (xcsp3-exec) S 9510 9513 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446069004 115843072 362 33554432000 4194304 5098028 140733062016896 140733062015000 140717726671484 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29040640 140733062022010 140733062022253 140733062022253 140733062025162 0
/proc/9513/statm: 28282 362 304 221 0 87 0
[pid=9515] ppid=9513 vsize=15144776 memory=30136 CPUtime=0.13 cores=1,3,5,7
/proc/9515/stat : 9515 (java) S 9513 9513 30406 0 -1 1077944320 5981 0 0 0 12 1 0 0 20 0 15 0 446069004 15508250624 7534 33554432000 4194304 4196468 140728579752816 140728579735360 140041766760183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
/proc/9515/statm: 3786194 7534 3182 1 0 3748377 0
[pid=9515/tid=9516] ppid=9513 vsize=15144776 memory=576460756329985062 CPUtime=0.09 cores=1,3,5,7
/proc/9515/task/9516/stat : 9516 (java) R 9513 9513 30406 0 -1 4202560 3869 0 0 0 9 0 0 0 20 0 15 0 446069005 15508250624 7534 33554432000 4194304 4196468 140728579752816 140041770990704 140041748665792 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9517] ppid=9513 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9517/stat : 9517 (java) S 9513 9513 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446069006 15508250624 7534 33554432000 4194304 4196468 140728579752816 140041719380752 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9518] ppid=9513 vsize=15144776 memory=288230376155018656 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9518/stat : 9518 (java) S 9513 9513 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446069006 15508250624 7534 33554432000 4194304 4196468 140728579752816 140041718328208 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9519] ppid=9513 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9519/stat : 9519 (java) S 9513 9513 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446069006 15508250624 7534 33554432000 4194304 4196468 140728579752816 140041717275664 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9520] ppid=9513 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9520/stat : 9520 (java) S 9513 9513 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446069006 15508250624 7534 33554432000 4194304 4196468 140728579752816 140041716223120 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9521] ppid=9513 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9521/stat : 9521 (java) S 9513 9513 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446069007 15508250624 7534 33554432000 4194304 4196468 140728579752816 140040909314032 140041766771330 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9522] ppid=9513 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9522/stat : 9522 (java) S 9513 9513 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446069007 15508250624 7534 33554432000 4194304 4196468 140728579752816 140040908260256 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9523] ppid=9513 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9523/stat : 9523 (java) S 9513 9513 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446069008 15508250624 7534 33554432000 4194304 4196468 140728579752816 140040907207664 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9524] ppid=9513 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9524/stat : 9524 (java) S 9513 9513 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446069010 15508250624 7534 33554432000 4194304 4196468 140728579752816 140040906156240 140041766778779 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9525] ppid=9513 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9525/stat : 9525 (java) R 9513 9513 30406 0 -1 4202560 296 0 0 0 0 0 0 0 20 0 15 0 446069010 15508250624 7534 33554432000 4194304 4196468 140728579752816 140040905103856 140041746620857 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9526] ppid=9513 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9526/stat : 9526 (java) R 9513 9513 30406 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 446069010 15508250624 7534 33554432000 4194304 4196468 140728579752816 140040904051312 140041766771330 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9527] ppid=9513 vsize=15144776 memory=140680200775296 CPUtime=0.02 cores=1,3,5,7
/proc/9515/task/9527/stat : 9527 (java) R 9513 9513 30406 0 -1 4202560 358 0 0 0 2 0 0 0 20 0 15 0 446069010 15508250624 7534 33554432000 4194304 4196468 140728579752816 140040902998768 140041766781530 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9528] ppid=9513 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9528/stat : 9528 (java) S 9513 9513 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446069010 15508250624 7534 33554432000 4194304 4196468 140728579752816 140040901946464 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9529] ppid=9513 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9529/stat : 9529 (java) R 9513 9513 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446069010 15508250624 7534 33554432000 4194304 4196468 140728579752816 140040900892976 140041766771330 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31584 KiB
[startup+0.210659 s]*
/proc/loadavg: 8.67 8.24 8.12 8/233 9529
/proc/meminfo: memFree=26883380/32770624 swapFree=66953076/67108860
[pid=9513] ppid=9510 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9513/stat : 9513 (xcsp3-exec) S 9510 9513 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446069004 115843072 362 33554432000 4194304 5098028 140733062016896 140733062015000 140717726671484 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29040640 140733062022010 140733062022253 140733062022253 140733062025162 0
/proc/9513/statm: 28282 362 304 221 0 87 0
[pid=9515] ppid=9513 vsize=15144776 memory=40280 CPUtime=0.34 cores=1,3,5,7
/proc/9515/stat : 9515 (java) S 9513 9513 30406 0 -1 1077944320 9326 0 0 0 31 3 0 0 20 0 15 0 446069004 15508250624 10070 33554432000 4194304 4196468 140728579752816 140728579735360 140041766760183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
/proc/9515/statm: 3786194 10070 3265 1 0 3748377 0
[pid=9515/tid=9516] ppid=9513 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/9515/task/9516/stat : 9516 (java) R 9513 9513 30406 0 -1 4202560 6631 0 0 0 18 2 0 0 20 0 15 0 446069005 15508250624 10070 33554432000 4194304 4196468 140728579752816 140041770996944 140041750840670 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9517] ppid=9513 vsize=15144776 memory=4296914231 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9517/stat : 9517 (java) S 9513 9513 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446069006 15508250624 10070 33554432000 4194304 4196468 140728579752816 140041719380752 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9518] ppid=9513 vsize=15144776 memory=140680200800543 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9518/stat : 9518 (java) S 9513 9513 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446069006 15508250624 10070 33554432000 4194304 4196468 140728579752816 140041718328208 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9519] ppid=9513 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9519/stat : 9519 (java) S 9513 9513 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446069006 15508250624 10070 33554432000 4194304 4196468 140728579752816 140041717275664 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9520] ppid=9513 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9520/stat : 9520 (java) S 9513 9513 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446069006 15508250624 10070 33554432000 4194304 4196468 140728579752816 140041716223120 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9521] ppid=9513 vsize=15144776 memory=140680200775296 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9521/stat : 9521 (java) S 9513 9513 30406 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 446069007 15508250624 10070 33554432000 4194304 4196468 140728579752816 140040909314032 140041766771330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9522] ppid=9513 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9522/stat : 9522 (java) S 9513 9513 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446069007 15508250624 10070 33554432000 4194304 4196468 140728579752816 140040908260256 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9523] ppid=9513 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9523/stat : 9523 (java) S 9513 9513 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446069008 15508250624 10070 33554432000 4194304 4196468 140728579752816 140040907207664 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9524] ppid=9513 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9524/stat : 9524 (java) S 9513 9513 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446069010 15508250624 10070 33554432000 4194304 4196468 140728579752816 140040906156240 140041766778779 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9525] ppid=9513 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9515/task/9525/stat : 9525 (java) S 9513 9513 30406 0 -1 1077944384 360 0 0 0 2 0 0 0 20 0 15 0 446069010 15508250624 10070 33554432000 4194304 4196468 140728579752816 140040905103856 140041766771330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9526] ppid=9513 vsize=15144776 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/9515/task/9526/stat : 9526 (java) S 9513 9513 30406 0 -1 1077944384 257 0 0 0 3 0 0 0 20 0 15 0 446069010 15508250624 10070 33554432000 4194304 4196468 140728579752816 140040904051312 140041766771330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9527] ppid=9513 vsize=15144776 memory=140680200775296 CPUtime=0.08 cores=1,3,5,7
/proc/9515/task/9527/stat : 9527 (java) R 9513 9513 30406 0 -1 4202560 774 0 0 0 8 0 0 0 20 0 15 0 446069010 15508250624 10070 33554432000 4194304 4196468 140728579752816 140040902998768 140041766781530 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9528] ppid=9513 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9528/stat : 9528 (java) S 9513 9513 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446069010 15508250624 10070 33554432000 4194304 4196468 140728579752816 140040901946464 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9529] ppid=9513 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9529/stat : 9529 (java) S 9513 9513 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446069010 15508250624 10070 33554432000 4194304 4196468 140728579752816 140040900892976 140041766771330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41728 KiB
[startup+0.320349 s]*
/proc/loadavg: 8.67 8.24 8.12 6/233 9529
/proc/meminfo: memFree=26875104/32770624 swapFree=66953076/67108860
[pid=9513] ppid=9510 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9513/stat : 9513 (xcsp3-exec) S 9510 9513 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446069004 115843072 362 33554432000 4194304 5098028 140733062016896 140733062015000 140717726671484 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29040640 140733062022010 140733062022253 140733062022253 140733062025162 0
/proc/9513/statm: 28282 362 304 221 0 87 0
[pid=9515] ppid=9513 vsize=15149032 memory=50308 CPUtime=0.55 cores=1,3,5,7
/proc/9515/stat : 9515 (java) S 9513 9513 30406 0 -1 1077944320 10931 0 0 0 51 4 0 0 20 0 15 0 446069004 15512608768 12577 33554432000 4194304 4196468 140728579752816 140728579735360 140041766760183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
/proc/9515/statm: 3787258 12577 3370 1 0 3748377 0
[pid=9515/tid=9516] ppid=9513 vsize=15149032 memory=8317482817917895235 CPUtime=0.31 cores=1,3,5,7
/proc/9515/task/9516/stat : 9516 (java) R 9513 9513 30406 0 -1 4202560 7925 0 0 0 28 3 0 0 20 0 15 0 446069005 15512608768 12577 33554432000 4194304 4196468 140728579752816 140041770990952 140041766772118 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9517] ppid=9513 vsize=15149032 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9517/stat : 9517 (java) S 9513 9513 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446069006 15512608768 12577 33554432000 4194304 4196468 140728579752816 140041719380752 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9518] ppid=9513 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9518/stat : 9518 (java) S 9513 9513 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446069006 15512608768 12577 33554432000 4194304 4196468 140728579752816 140041718328208 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9519] ppid=9513 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9519/stat : 9519 (java) S 9513 9513 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446069006 15512608768 12577 33554432000 4194304 4196468 140728579752816 140041717275664 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9520] ppid=9513 vsize=15149032 memory=35809 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9520/stat : 9520 (java) S 9513 9513 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446069006 15512608768 12577 33554432000 4194304 4196468 140728579752816 140041716223120 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9521] ppid=9513 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9521/stat : 9521 (java) S 9513 9513 30406 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 446069007 15512608768 12577 33554432000 4194304 4196468 140728579752816 140040909314032 140041766771330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9522] ppid=9513 vsize=15149032 memory=9122464004270842071 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9522/stat : 9522 (java) S 9513 9513 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446069007 15512608768 12577 33554432000 4194304 4196468 140728579752816 140040908260256 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9523] ppid=9513 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9523/stat : 9523 (java) S 9513 9513 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446069008 15512608768 12577 33554432000 4194304 4196468 140728579752816 140040907207664 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9524] ppid=9513 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9524/stat : 9524 (java) S 9513 9513 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446069010 15512608768 12577 33554432000 4194304 4196468 140728579752816 140040906156240 140041766778779 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9525] ppid=9513 vsize=15149032 memory=6944652177228980320 CPUtime=0.03 cores=1,3,5,7
/proc/9515/task/9525/stat : 9525 (java) R 9513 9513 30406 0 -1 4202560 406 0 0 0 3 0 0 0 20 0 15 0 446069010 15512608768 12577 33554432000 4194304 4196468 140728579752816 140040905103856 140041759745225 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9526] ppid=9513 vsize=15149032 memory=-6654736624941491801 CPUtime=0.06 cores=1,3,5,7
/proc/9515/task/9526/stat : 9526 (java) R 9513 9513 30406 0 -1 1077944384 384 0 0 0 6 0 0 0 20 0 15 0 446069010 15512608768 12577 33554432000 4194304 4196468 140728579752816 140040904051312 140041766771330 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9527] ppid=9513 vsize=15149032 memory=5793709814508068001 CPUtime=0.13 cores=1,3,5,7
/proc/9515/task/9527/stat : 9527 (java) R 9513 9513 30406 0 -1 4202560 927 0 0 0 13 0 0 0 20 0 15 0 446069010 15512608768 12577 33554432000 4194304 4196468 140728579752816 140040902998768 140041745701630 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9528] ppid=9513 vsize=15149032 memory=6944656592455350634 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9528/stat : 9528 (java) S 9513 9513 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446069010 15512608768 12577 33554432000 4194304 4196468 140728579752816 140040901946464 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9529] ppid=9513 vsize=15149032 memory=-8675733323038954102 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9529/stat : 9529 (java) S 9513 9513 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446069010 15512608768 12577 33554432000 4194304 4196468 140728579752816 140040900892976 140041766771330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51756 KiB
[startup+0.706122 s]
/proc/loadavg: 8.67 8.24 8.12 7/233 9529
/proc/meminfo: memFree=26857792/32770624 swapFree=66953076/67108860
[pid=9513] ppid=9510 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9513/stat : 9513 (xcsp3-exec) S 9510 9513 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446069004 115843072 362 33554432000 4194304 5098028 140733062016896 140733062015000 140717726671484 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29040640 140733062022010 140733062022253 140733062022253 140733062025162 0
/proc/9513/statm: 28282 362 304 221 0 87 0
[pid=9515] ppid=9513 vsize=15418440 memory=99676 CPUtime=1.65 cores=1,3,5,7
/proc/9515/stat : 9515 (java) S 9513 9513 30406 0 -1 1077944320 15209 0 0 0 159 6 0 0 20 0 19 0 446069004 15788482560 24919 33554432000 4194304 4196468 140728579752816 140728579735360 140041766760183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
/proc/9515/statm: 3854610 24919 3461 1 0 3815710 0
[pid=9515/tid=9516] ppid=9513 vsize=15418440 memory=4137303382726774134 CPUtime=0.58 cores=1,3,5,7
/proc/9515/task/9516/stat : 9516 (java) S 9513 9513 30406 0 -1 1077944384 9323 0 0 0 54 4 0 0 20 0 19 0 446069005 15788482560 24919 33554432000 4194304 4196468 140728579752816 140041771000960 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9517] ppid=9513 vsize=15418440 memory=7019257425709197167 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9517/stat : 9517 (java) S 9513 9513 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 446069006 15788482560 24919 33554432000 4194304 4196468 140728579752816 140041719380752 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9518] ppid=9513 vsize=15418440 memory=6940443203498692944 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9518/stat : 9518 (java) S 9513 9513 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446069006 15788482560 24919 33554432000 4194304 4196468 140728579752816 140041718328208 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9519] ppid=9513 vsize=15418440 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9519/stat : 9519 (java) S 9513 9513 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446069006 15788482560 24919 33554432000 4194304 4196468 140728579752816 140041717275664 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9520] ppid=9513 vsize=15418440 memory=4156 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9520/stat : 9520 (java) S 9513 9513 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446069006 15788482560 24919 33554432000 4194304 4196468 140728579752816 140041716223120 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9521] ppid=9513 vsize=15418440 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9521/stat : 9521 (java) S 9513 9513 30406 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 446069007 15788482560 24919 33554432000 4194304 4196468 140728579752816 140040909314032 140041766771330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9522] ppid=9513 vsize=15418440 memory=1188 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9522/stat : 9522 (java) S 9513 9513 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446069007 15788482560 24919 33554432000 4194304 4196468 140728579752816 140040908260256 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9523] ppid=9513 vsize=15418440 memory=1536 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9523/stat : 9523 (java) S 9513 9513 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 446069008 15788482560 24919 33554432000 4194304 4196468 140728579752816 140040907207664 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9524] ppid=9513 vsize=15418440 memory=9592 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9524/stat : 9524 (java) S 9513 9513 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446069010 15788482560 24919 33554432000 4194304 4196468 140728579752816 140040906156240 140041766778779 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9525] ppid=9513 vsize=15418440 memory=2828 CPUtime=0.23 cores=1,3,5,7
/proc/9515/task/9525/stat : 9525 (java) R 9513 9513 30406 0 -1 4202560 1095 0 0 0 23 0 0 0 20 0 19 0 446069010 15788482560 24919 33554432000 4194304 4196468 140728579752816 140040905092336 140041759865860 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9526] ppid=9513 vsize=15418440 memory=780 CPUtime=0.27 cores=1,3,5,7
/proc/9515/task/9526/stat : 9526 (java) R 9513 9513 30406 0 -1 1077944384 1162 0 0 0 27 0 0 0 20 0 19 0 446069010 15788482560 24919 33554432000 4194304 4196468 140728579752816 140040904038096 140041766770389 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9527] ppid=9513 vsize=15418440 memory=620 CPUtime=0.37 cores=1,3,5,7
/proc/9515/task/9527/stat : 9527 (java) R 9513 9513 30406 0 -1 4202560 1994 0 0 0 37 0 0 0 20 0 19 0 446069010 15788482560 24919 33554432000 4194304 4196468 140728579752816 140040902998768 140041766772118 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9528] ppid=9513 vsize=15418440 memory=1496 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9528/stat : 9528 (java) S 9513 9513 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446069010 15788482560 24919 33554432000 4194304 4196468 140728579752816 140040901946464 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9529] ppid=9513 vsize=15418440 memory=1016 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9529/stat : 9529 (java) S 9513 9513 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446069010 15788482560 24919 33554432000 4194304 4196468 140728579752816 140040900892976 140041766771330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 101124 KiB
[startup+1.50951 s]
/proc/loadavg: 8.67 8.24 8.12 11/237 9565
/proc/meminfo: memFree=26757584/32770624 swapFree=66953076/67108860
[pid=9513] ppid=9510 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9513/stat : 9513 (xcsp3-exec) S 9510 9513 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446069004 115843072 362 33554432000 4194304 5098028 140733062016896 140733062015000 140717726671484 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29040640 140733062022010 140733062022253 140733062022253 140733062025162 0
/proc/9513/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/9515/task/9529/stat : 9529 (java) S 9513 9513 30406 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 446069010 15926902784 55945 33554432000 4194304 4196468 140728579752816 140040900892976 140041766771330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9570] ppid=9513 vsize=15553616 memory=16100368647981698 CPUtime=4.14 cores=1,3,5,7
/proc/9515/task/9570/stat : 9570 (java) R 9513 9513 30406 0 -1 4202560 257 0 0 0 414 0 0 0 20 0 19 0 446069289 15926902784 55945 33554432000 4194304 4196468 140728579752816 140040685050680 140041391291268 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9571] ppid=9513 vsize=15553616 memory=2996 CPUtime=4.68 cores=1,3,5,7
/proc/9515/task/9571/stat : 9571 (java) R 9513 9513 30406 0 -1 4202560 457 0 0 0 468 0 0 0 20 0 19 0 446069289 15926902784 55945 33554432000 4194304 4196468 140728579752816 140040690314808 140041389303129 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9572] ppid=9513 vsize=15553616 memory=1656 CPUtime=3.95 cores=1,3,5,7
/proc/9515/task/9572/stat : 9572 (java) R 9513 9513 30406 0 -1 4202560 352 0 0 0 395 0 0 0 20 0 19 0 446069289 15926902784 55945 33554432000 4194304 4196468 140728579752816 140040689263072 140041389107547 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9573] ppid=9513 vsize=15553616 memory=1448 CPUtime=4.24 cores=1,3,5,7
/proc/9515/task/9573/stat : 9573 (java) R 9513 9513 30406 0 -1 4202560 122 0 0 0 424 0 0 0 20 0 19 0 446069289 15926902784 55945 33554432000 4194304 4196468 140728579752816 140040683999464 140041391146887 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
Current children cumulated CPU time: 30.52 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 225228 KiB
[startup+8.8015 s]
/proc/loadavg: 9.03 8.33 8.15 9/237 9573
/proc/meminfo: memFree=26700008/32770624 swapFree=66953076/67108860
[pid=9513] ppid=9510 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9513/stat : 9513 (xcsp3-exec) S 9510 9513 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446069004 115843072 362 33554432000 4194304 5098028 140733062016896 140733062015000 140717726671484 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29040640 140733062022010 140733062022253 140733062022253 140733062025162 0
/proc/9513/statm: 28282 362 304 221 0 87 0
[pid=9515] ppid=9513 vsize=15553616 memory=223780 CPUtime=33.66 cores=1,3,5,7
/proc/9515/stat : 9515 (java) S 9513 9513 30406 0 -1 1077944320 36773 0 0 0 3356 10 0 0 20 0 19 0 446069004 15926902784 55945 33554432000 4194304 4196468 140728579752816 140728579735360 140041766760183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
/proc/9515/statm: 3888404 55945 3518 1 0 3849504 0
[pid=9515/tid=9516] ppid=9513 vsize=15553616 memory=8112282956445269571 CPUtime=0.59 cores=1,3,5,7
/proc/9515/task/9516/stat : 9516 (java) S 9513 9513 30406 0 -1 1077944384 9326 0 0 0 55 4 0 0 20 0 19 0 446069005 15926902784 55945 33554432000 4194304 4196468 140728579752816 140041771000960 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9517] ppid=9513 vsize=15553616 memory=223780 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9517/stat : 9517 (java) S 9513 9513 30406 0 -1 1077944384 464 0 0 0 0 0 0 0 20 0 19 0 446069006 15926902784 55945 33554432000 4194304 4196468 140728579752816 140041719380752 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9518] ppid=9513 vsize=15553616 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9518/stat : 9518 (java) S 9513 9513 30406 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 19 0 446069006 15926902784 55945 33554432000 4194304 4196468 140728579752816 140041718328208 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9519] ppid=9513 vsize=15553616 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9519/stat : 9519 (java) S 9513 9513 30406 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 446069006 15926902784 55945 33554432000 4194304 4196468 140728579752816 140041717275664 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9520] ppid=9513 vsize=15553616 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9520/stat : 9520 (java) S 9513 9513 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 446069006 15926902784 55945 33554432000 4194304 4196468 140728579752816 140041716223120 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9521] ppid=9513 vsize=15553616 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9521/stat : 9521 (java) S 9513 9513 30406 0 -1 1077944384 353 0 0 0 0 0 0 0 20 0 19 0 446069007 15926902784 55945 33554432000 4194304 4196468 140728579752816 140040909314032 140041766771330 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9522] ppid=9513 vsize=15553616 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9522/stat : 9522 (java) S 9513 9513 30406 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 446069007 15926902784 55945 33554432000 4194304 4196468 140728579752816 140040908260320 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9523] ppid=9513 vsize=15553616 memory=7719365636890459728 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9523/stat : 9523 (java) S 9513 9513 30406 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 446069008 15926902784 55945 33554432000 4194304 4196468 140728579752816 140040907207680 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9524] ppid=9513 vsize=15553616 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9524/stat : 9524 (java) S 9513 9513 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446069010 15926902784 55945 33554432000 4194304 4196468 140728579752816 140040906156240 140041766778779 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9525] ppid=9513 vsize=15553616 memory=223760 CPUtime=3.24 cores=1,3,5,7
/proc/9515/task/9525/stat : 9525 (java) S 9513 9513 30406 0 -1 1077944384 9751 0 0 0 323 1 0 0 20 0 19 0 446069010 15926902784 55945 33554432000 4194304 4196468 140728579752816 140040905103856 140041766771330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9526] ppid=9513 vsize=15553616 memory=1536 CPUtime=3.22 cores=1,3,5,7
/proc/9515/task/9526/stat : 9526 (java) S 9513 9513 30406 0 -1 1077944384 8877 0 0 0 321 1 0 0 20 0 19 0 446069010 15926902784 55945 33554432000 4194304 4196468 140728579752816 140040904051312 140041766771330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9527] ppid=9513 vsize=15553616 memory=9592 CPUtime=0.68 cores=1,3,5,7
/proc/9515/task/9527/stat : 9527 (java) S 9513 9513 30406 0 -1 1077944384 3716 0 0 0 68 0 0 0 20 0 19 0 446069010 15926902784 55945 33554432000 4194304 4196468 140728579752816 140040902998768 140041766771330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9528] ppid=9513 vsize=15553616 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9528/stat : 9528 (java) S 9513 9513 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446069010 15926902784 55945 33554432000 4194304 4196468 140728579752816 140040901946464 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9529] ppid=9513 vsize=15553616 memory=780 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9529/stat : 9529 (java) S 9513 9513 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446069010 15926902784 55945 33554432000 4194304 4196468 140728579752816 140040900892976 140041766771330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9570] ppid=9513 vsize=15553616 memory=620 CPUtime=4.92 cores=1,3,5,7
/proc/9515/task/9570/stat : 9570 (java) R 9513 9513 30406 0 -1 4202560 277 0 0 0 492 0 0 0 20 0 19 0 446069289 15926902784 55945 33554432000 4194304 4196468 140728579752816 140040685050728 140041391054030 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9571] ppid=9513 vsize=15553616 memory=1496 CPUtime=5.47 cores=1,3,5,7
/proc/9515/task/9571/stat : 9571 (java) R 9513 9513 30406 0 -1 4202560 615 0 0 0 547 0 0 0 20 0 19 0 446069289 15926902784 55945 33554432000 4194304 4196468 140728579752816 140040690315752 140041389788042 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9572] ppid=9513 vsize=15553616 memory=1016 CPUtime=4.73 cores=1,3,5,7
/proc/9515/task/9572/stat : 9572 (java) R 9513 9513 30406 0 -1 4202560 549 0 0 0 473 0 0 0 20 0 19 0 446069289 15926902784 55945 33554432000 4194304 4196468 140728579752816 140040689263072 140041389303866 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9573] ppid=9513 vsize=15553616 memory=6016 CPUtime=5.02 cores=1,3,5,7
/proc/9515/task/9573/stat : 9573 (java) R 9513 9513 30406 0 -1 4202560 204 0 0 0 502 0 0 0 20 0 19 0 446069289 15926902784 55945 33554432000 4194304 4196468 140728579752816 140040684000184 140041389562252 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
Current children cumulated CPU time: 33.66 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 225228 KiB
[startup+9.6085 s]
/proc/loadavg: 9.03 8.33 8.15 11/237 9573
/proc/meminfo: memFree=26700076/32770624 swapFree=66953076/67108860
[pid=9513] ppid=9510 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9513/stat : 9513 (xcsp3-exec) S 9510 9513 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446069004 115843072 362 33554432000 4194304 5098028 140733062016896 140733062015000 140717726671484 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29040640 140733062022010 140733062022253 140733062022253 140733062025162 0
/proc/9513/statm: 28282 362 304 221 0 87 0
[pid=9515] ppid=9513 vsize=15553616 memory=223896 CPUtime=36.87 cores=1,3,5,7
/proc/9515/stat : 9515 (java) S 9513 9513 30406 0 -1 1077944320 39046 0 0 0 3676 11 0 0 20 0 19 0 446069004 15926902784 55974 33554432000 4194304 4196468 140728579752816 140728579735360 140041766760183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
/proc/9515/statm: 3888404 55974 3518 1 0 3849504 0
[pid=9515/tid=9516] ppid=9513 vsize=15553616 memory=6944656425123485561 CPUtime=0.59 cores=1,3,5,7
/proc/9515/task/9516/stat : 9516 (java) S 9513 9513 30406 0 -1 1077944384 9326 0 0 0 55 4 0 0 20 0 19 0 446069005 15926902784 55974 33554432000 4194304 4196468 140728579752816 140041771000960 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9517] ppid=9513 vsize=15553616 memory=8112282956445269571 CPUtime=0.01 cores=1,3,5,7
/proc/9515/task/9517/stat : 9517 (java) S 9513 9513 30406 0 -1 1077944384 1339 0 0 0 1 0 0 0 20 0 19 0 446069006 15926902784 55974 33554432000 4194304 4196468 140728579752816 140041719380752 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9518] ppid=9513 vsize=15553616 memory=208236 CPUtime=0.01 cores=1,3,5,7
/proc/9515/task/9518/stat : 9518 (java) S 9513 9513 30406 0 -1 1077944384 173 0 0 0 1 0 0 0 20 0 19 0 446069006 15926902784 55974 33554432000 4194304 4196468 140728579752816 140041718328208 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9519] ppid=9513 vsize=15553616 memory=5289452772787330000 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9519/stat : 9519 (java) S 9513 9513 30406 0 -1 1077944384 321 0 0 0 0 0 0 0 20 0 19 0 446069006 15926902784 55974 33554432000 4194304 4196468 140728579752816 140041717275664 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9520] ppid=9513 vsize=15553616 memory=6944656592455350634 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9520/stat : 9520 (java) S 9513 9513 30406 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 19 0 446069006 15926902784 55974 33554432000 4194304 4196468 140728579752816 140041716223120 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9521] ppid=9513 vsize=15553616 memory=8761640388318109335 CPUtime=0.01 cores=1,3,5,7
/proc/9515/task/9521/stat : 9521 (java) S 9513 9513 30406 0 -1 1077944384 577 0 0 0 1 0 0 0 20 0 19 0 446069007 15926902784 55974 33554432000 4194304 4196468 140728579752816 140040909314032 140041766771330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9522] ppid=9513 vsize=15553616 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9522/stat : 9522 (java) S 9513 9513 30406 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 446069007 15926902784 55974 33554432000 4194304 4196468 140728579752816 140040908260320 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9523] ppid=9513 vsize=15553616 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9523/stat : 9523 (java) S 9513 9513 30406 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 446069008 15926902784 55974 33554432000 4194304 4196468 140728579752816 140040907207680 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9524] ppid=9513 vsize=15553616 memory=223760 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9524/stat : 9524 (java) S 9513 9513 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446069010 15926902784 55974 33554432000 4194304 4196468 140728579752816 140040906156240 140041766778779 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9525] ppid=9513 vsize=15553616 memory=1404238533774450294 CPUtime=3.24 cores=1,3,5,7
/proc/9515/task/9525/stat : 9525 (java) S 9513 9513 30406 0 -1 1077944384 9754 0 0 0 323 1 0 0 20 0 19 0 446069010 15926902784 55974 33554432000 4194304 4196468 140728579752816 140040905103856 140041766771330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9526] ppid=9513 vsize=15553616 memory=8247907794334132811 CPUtime=3.22 cores=1,3,5,7
/proc/9515/task/9526/stat : 9526 (java) S 9513 9513 30406 0 -1 1077944384 9296 0 0 0 321 1 0 0 20 0 19 0 446069010 15926902784 55974 33554432000 4194304 4196468 140728579752816 140040904051312 140041766771330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9527] ppid=9513 vsize=15553616 memory=-6736937045019192452 CPUtime=0.68 cores=1,3,5,7
/proc/9515/task/9527/stat : 9527 (java) S 9513 9513 30406 0 -1 1077944384 3722 0 0 0 68 0 0 0 20 0 19 0 446069010 15926902784 55974 33554432000 4194304 4196468 140728579752816 140040902998768 140041766771330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9528] ppid=9513 vsize=15553616 memory=-4866526899798303339 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9528/stat : 9528 (java) S 9513 9513 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446069010 15926902784 55974 33554432000 4194304 4196468 140728579752816 140040901946464 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9529] ppid=9513 vsize=15553616 memory=-4695052241013923951 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9529/stat : 9529 (java) S 9513 9513 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446069010 15926902784 55974 33554432000 4194304 4196468 140728579752816 140040900892976 140041766771330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9570] ppid=9513 vsize=15553616 memory=281360086533856 CPUtime=5.73 cores=1,3,5,7
/proc/9515/task/9570/stat : 9570 (java) R 9513 9513 30406 0 -1 4202560 293 0 0 0 573 0 0 0 20 0 19 0 446069289 15926902784 55974 33554432000 4194304 4196468 140728579752816 140040685050520 140041389107705 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9571] ppid=9513 vsize=15553616 memory=3472468976203872240 CPUtime=6.26 cores=1,3,5,7
/proc/9515/task/9571/stat : 9571 (java) R 9513 9513 30406 0 -1 4202560 782 0 0 0 626 0 0 0 20 0 19 0 446069289 15926902784 55974 33554432000 4194304 4196468 140728579752816 140040690313920 140041389107928 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9572] ppid=9513 vsize=15553616 memory=3472468976270718992 CPUtime=5.54 cores=1,3,5,7
/proc/9515/task/9572/stat : 9572 (java) R 9513 9513 30406 0 -1 4202560 620 0 0 0 554 0 0 0 20 0 19 0 446069289 15926902784 55974 33554432000 4194304 4196468 140728579752816 140040689262560 140041391297856 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9573] ppid=9513 vsize=15553616 memory=55 CPUtime=5.81 cores=1,3,5,7
/proc/9515/task/9573/stat : 9573 (java) R 9513 9513 30406 0 -1 4202560 233 0 0 0 581 0 0 0 20 0 19 0 446069289 15926902784 55974 33554432000 4194304 4196468 140728579752816 140040684001808 140041389107810 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
Current children cumulated CPU time: 36.87 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 225344 KiB
[startup+9.8075 s]
/proc/loadavg: 9.03 8.33 8.15 11/237 9573
/proc/meminfo: memFree=26700076/32770624 swapFree=66953076/67108860
[pid=9513] ppid=9510 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9513/stat : 9513 (xcsp3-exec) S 9510 9513 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446069004 115843072 362 33554432000 4194304 5098028 140733062016896 140733062015000 140717726671484 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29040640 140733062022010 140733062022253 140733062022253 140733062025162 0
/proc/9513/statm: 28282 362 304 221 0 87 0
[pid=9515] ppid=9513 vsize=15553616 memory=223932 CPUtime=37.66 cores=1,3,5,7
/proc/9515/stat : 9515 (java) S 9513 9513 30406 0 -1 1077944320 39172 0 0 0 3755 11 0 0 20 0 19 0 446069004 15926902784 55983 33554432000 4194304 4196468 140728579752816 140728579735360 140041766760183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
/proc/9515/statm: 3888404 55983 3518 1 0 3849504 0
[pid=9515/tid=9516] ppid=9513 vsize=15553616 memory=6944656575208382560 CPUtime=0.59 cores=1,3,5,7
/proc/9515/task/9516/stat : 9516 (java) S 9513 9513 30406 0 -1 1077944384 9326 0 0 0 55 4 0 0 20 0 19 0 446069005 15926902784 55983 33554432000 4194304 4196468 140728579752816 140041771000960 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9517] ppid=9513 vsize=15553616 memory=6943526294502006880 CPUtime=0.01 cores=1,3,5,7
/proc/9515/task/9517/stat : 9517 (java) S 9513 9513 30406 0 -1 1077944384 1339 0 0 0 1 0 0 0 20 0 19 0 446069006 15926902784 55983 33554432000 4194304 4196468 140728579752816 140041719380752 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9518] ppid=9513 vsize=15553616 memory=4132771212810548115 CPUtime=0.01 cores=1,3,5,7
/proc/9515/task/9518/stat : 9518 (java) S 9513 9513 30406 0 -1 1077944384 173 0 0 0 1 0 0 0 20 0 19 0 446069006 15926902784 55983 33554432000 4194304 4196468 140728579752816 140041718328208 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9519] ppid=9513 vsize=15553616 memory=4132771212810548115 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9519/stat : 9519 (java) S 9513 9513 30406 0 -1 1077944384 321 0 0 0 0 0 0 0 20 0 19 0 446069006 15926902784 55983 33554432000 4194304 4196468 140728579752816 140041717275664 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9520] ppid=9513 vsize=15553616 memory=8111736650097063443 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9520/stat : 9520 (java) S 9513 9513 30406 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 19 0 446069006 15926902784 55983 33554432000 4194304 4196468 140728579752816 140041716223120 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9521] ppid=9513 vsize=15553616 memory=2 CPUtime=0.01 cores=1,3,5,7
/proc/9515/task/9521/stat : 9521 (java) S 9513 9513 30406 0 -1 1077944384 577 0 0 0 1 0 0 0 20 0 19 0 446069007 15926902784 55983 33554432000 4194304 4196468 140728579752816 140040909314032 140041766771330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9522] ppid=9513 vsize=15553616 memory=7230645025961766505 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9522/stat : 9522 (java) S 9513 9513 30406 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 446069007 15926902784 55983 33554432000 4194304 4196468 140728579752816 140040908260320 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9523] ppid=9513 vsize=15553616 memory=4639939496134862184 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9523/stat : 9523 (java) S 9513 9513 30406 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 446069008 15926902784 55983 33554432000 4194304 4196468 140728579752816 140040907207680 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9524] ppid=9513 vsize=15553616 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9524/stat : 9524 (java) S 9513 9513 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446069010 15926902784 55983 33554432000 4194304 4196468 140728579752816 140040906156240 140041766778779 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9525] ppid=9513 vsize=15553616 memory=205640 CPUtime=3.24 cores=1,3,5,7
/proc/9515/task/9525/stat : 9525 (java) S 9513 9513 30406 0 -1 1077944384 9754 0 0 0 323 1 0 0 20 0 19 0 446069010 15926902784 55983 33554432000 4194304 4196468 140728579752816 140040905103856 140041766771330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9526] ppid=9513 vsize=15553616 memory=0 CPUtime=3.22 cores=1,3,5,7
/proc/9515/task/9526/stat : 9526 (java) S 9513 9513 30406 0 -1 1077944384 9296 0 0 0 321 1 0 0 20 0 19 0 446069010 15926902784 55983 33554432000 4194304 4196468 140728579752816 140040904051312 140041766771330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9527] ppid=9513 vsize=15553616 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/9515/task/9527/stat : 9527 (java) S 9513 9513 30406 0 -1 1077944384 3843 0 0 0 68 0 0 0 20 0 19 0 446069010 15926902784 55983 33554432000 4194304 4196468 140728579752816 140040902998768 140041766771330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9528] ppid=9513 vsize=15553616 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9528/stat : 9528 (java) S 9513 9513 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446069010 15926902784 55983 33554432000 4194304 4196468 140728579752816 140040901946464 140041766770389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9529] ppid=9513 vsize=15553616 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9515/task/9529/stat : 9529 (java) S 9513 9513 30406 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 446069010 15926902784 55983 33554432000 4194304 4196468 140728579752816 140040900892976 140041766771330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9570] ppid=9513 vsize=15553616 memory=0 CPUtime=5.93 cores=1,3,5,7
/proc/9515/task/9570/stat : 9570 (java) R 9513 9513 30406 0 -1 4202560 293 0 0 0 593 0 0 0 20 0 19 0 446069289 15926902784 55983 33554432000 4194304 4196468 140728579752816 140040685050520 140041389788029 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9571] ppid=9513 vsize=15553616 memory=0 CPUtime=6.46 cores=1,3,5,7
/proc/9515/task/9571/stat : 9571 (java) R 9513 9513 30406 0 -1 4202560 782 0 0 0 646 0 0 0 20 0 19 0 446069289 15926902784 55983 33554432000 4194304 4196468 140728579752816 140040690317464 140041391030580 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9572] ppid=9513 vsize=15553616 memory=0 CPUtime=5.73 cores=1,3,5,7
/proc/9515/task/9572/stat : 9572 (java) R 9513 9513 30406 0 -1 4202560 620 0 0 0 573 0 0 0 20 0 19 0 446069289 15926902784 55983 33554432000 4194304 4196468 140728579752816 140040689262560 140041389828793 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
[pid=9515/tid=9573] ppid=9513 vsize=15553616 memory=0 CPUtime=6 cores=1,3,5,7
/proc/9515/task/9573/stat : 9573 (java) R 9513 9513 30406 0 -1 4202560 235 0 0 0 600 0 0 0 20 0 19 0 446069289 15926902784 55983 33554432000 4194304 4196468 140728579752816 140040684001808 140041389135877 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20025344 140728579757039 140728579757210 140728579757210 140728579760079 0
Current children cumulated CPU time: 37.66 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 225380 KiB
Child status: 0
Real time (s): 9.81722
CPU time (s): 37.6857
CPU user time (s): 37.5676
CPU system time (s): 0.118096
CPU usage (%): 383.873
Max. virtual memory (cumulated for all children) (KiB): 15666744
Max. memory (cumulated for all children) (KiB): 225380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.5676
system time used= 0.118096
maximum resident set size= 224124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40438
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= 3184
involuntary context switches= 1459
# summary of solver processes directly reported to runsolver:
# pid: 9513
# total CPU time (s): 37.6857
# total CPU user time (s): 37.5676
# total CPU system time (s): 0.118096
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.071808 second user time and 0.16394 second system time
The end