2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
choco-solver 4.0.5 par (2017-08-09)	SAT	34.7397	5.4284201
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 (15283 MiB free)
  memory of node 1: 16384 MiB (15407 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271273-1502730403/watcher-4271273-1502730403 -o /tmp/evaluation-result-4271273-1502730403/solver-4271273-1502730403 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1502721978-22946 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 734328020 HOME/instance-4271273-1502730403.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=23429, runsolver pid=23426

[startup+0.100137 s]*
/proc/loadavg: 8.15 8.29 7.83 3/201 23450
/proc/meminfo: memFree=31412288/32770624 swapFree=67108860/67108860
[pid=23429] ppid=23426 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/23429/stat : 23429 (xcsp3-exec) S 23426 23429 22919 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 106128566 9740288 345 33554432000 4194304 5098028 140733495046224 140733495044328 140026218467964 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16359424 140733495047269 140733495047479 140733495047479 140733495050219 0
/proc/23429/statm: 2378 345 289 221 0 87 0
[pid=23431] ppid=23429 vsize=25999808 memory=27168 CPUtime=0.12 cores=0-7
/proc/23431/stat : 23431 (java) S 23429 23429 22919 0 -1 1077944320 5666 0 0 0 11 1 0 0 20 0 20 0 106128566 26623803392 6792 33554432000 4194304 4196468 140731132872352 140731132854896 139644558790391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
/proc/23431/statm: 6499952 6792 2868 1 0 6488269 0
[pid=23431/tid=23432] ppid=23429 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/23431/task/23432/stat : 23432 (java) R 23429 23429 22919 0 -1 4202560 3670 0 0 0 8 0 0 0 20 0 20 0 106128567 26623803392 6792 33554432000 4194304 4196468 140731132872352 139644563022304 139644167640762 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23433] ppid=23429 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/23431/task/23433/stat : 23433 (java) S 23429 23429 22919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106128567 26623803392 6792 33554432000 4194304 4196468 140731132872352 139644511410448 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23434] ppid=23429 vsize=25999808 memory=139913911907968 CPUtime=0 cores=0-7
/proc/23431/task/23434/stat : 23434 (java) S 23429 23429 22919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106128567 26623803392 6792 33554432000 4194304 4196468 140731132872352 139644510357904 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23435] ppid=23429 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23431/task/23435/stat : 23435 (java) S 23429 23429 22919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106128567 26623803392 6792 33554432000 4194304 4196468 140731132872352 139644509305360 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23436] ppid=23429 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23431/task/23436/stat : 23436 (java) S 23429 23429 22919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106128567 26623803392 6792 33554432000 4194304 4196468 140731132872352 139644508252816 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23437] ppid=23429 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23431/task/23437/stat : 23437 (java) S 23429 23429 22919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106128567 26623803392 6792 33554432000 4194304 4196468 140731132872352 139644507200272 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23438] ppid=23429 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/23431/task/23438/stat : 23438 (java) S 23429 23429 22919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106128567 26623803392 6792 33554432000 4194304 4196468 140731132872352 139644506147728 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23439] ppid=23429 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23431/task/23439/stat : 23439 (java) S 23429 23429 22919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106128567 26623803392 6792 33554432000 4194304 4196468 140731132872352 139644505095184 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23440] ppid=23429 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23431/task/23440/stat : 23440 (java) S 23429 23429 22919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106128567 26623803392 6792 33554432000 4194304 4196468 140731132872352 139644504042640 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23441] ppid=23429 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23431/task/23441/stat : 23441 (java) S 23429 23429 22919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106128569 26623803392 6857 33554432000 4194304 4196468 140731132872352 139643009886192 139644558801538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23442] ppid=23429 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23431/task/23442/stat : 23442 (java) S 23429 23429 22919 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 106128569 26623803392 6857 33554432000 4194304 4196468 140731132872352 139643008832416 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23443] ppid=23429 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23431/task/23443/stat : 23443 (java) S 23429 23429 22919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 106128570 26623803392 6857 33554432000 4194304 4196468 140731132872352 139643007779824 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23444] ppid=23429 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23431/task/23444/stat : 23444 (java) S 23429 23429 22919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106128572 26623803392 6857 33554432000 4194304 4196468 140731132872352 139643006728400 139644558808987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23445] ppid=23429 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23431/task/23445/stat : 23445 (java) S 23429 23429 22919 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 20 0 106128572 26623803392 6857 33554432000 4194304 4196468 140731132872352 139643005676016 139644558801538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23446] ppid=23429 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23431/task/23446/stat : 23446 (java) R 23429 23429 22919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106128572 26623803392 6857 33554432000 4194304 4196468 140731132872352 139643004623472 139644558801538 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23447] ppid=23429 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23431/task/23447/stat : 23447 (java) S 23429 23429 22919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106128572 26623803392 6857 33554432000 4194304 4196468 140731132872352 139643003570928 139644558801538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23448] ppid=23429 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/23431/task/23448/stat : 23448 (java) R 23429 23429 22919 0 -1 4202560 267 0 0 0 1 0 0 0 20 0 20 0 106128572 26623803392 6857 33554432000 4194304 4196468 140731132872352 139643002518384 139644558802326 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23449] ppid=23429 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23431/task/23449/stat : 23449 (java) S 23429 23429 22919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106128572 26623803392 6857 33554432000 4194304 4196468 140731132872352 139643001465056 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23450] ppid=23429 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/23431/task/23450/stat : 23450 (java) S 23429 23429 22919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106128572 26623803392 6857 33554432000 4194304 4196468 140731132872352 139643000412592 139644558801538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28548 KiB

[startup+0.210727 s]*
/proc/loadavg: 8.15 8.29 7.83 2/201 23450
/proc/meminfo: memFree=31401248/32770624 swapFree=67108860/67108860
[pid=23429] ppid=23426 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/23429/stat : 23429 (xcsp3-exec) S 23426 23429 22919 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 106128566 9740288 345 33554432000 4194304 5098028 140733495046224 140733495044328 140026218467964 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16359424 140733495047269 140733495047479 140733495047479 140733495050219 0
/proc/23429/statm: 2378 345 289 221 0 87 0
[pid=23431] ppid=23429 vsize=26004064 memory=38792 CPUtime=0.34 cores=0-7
/proc/23431/stat : 23431 (java) S 23429 23429 22919 0 -1 1077944320 8366 0 0 0 31 3 0 0 20 0 20 0 106128566 26628161536 9698 33554432000 4194304 4196468 140731132872352 140731132854896 139644558790391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
/proc/23431/statm: 6501016 9698 3055 1 0 6488269 0
[pid=23431/tid=23432] ppid=23429 vsize=26004096 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/23431/task/23432/stat : 23432 (java) R 23429 23429 22919 0 -1 4202560 5472 0 0 0 19 1 0 0 20 0 20 0 106128567 26628194304 9698 33554432000 4194304 4196468 140731132872352 139644562992112 139644551507495 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23433] ppid=23429 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/23431/task/23433/stat : 23433 (java) S 23429 23429 22919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106128567 26628161536 9698 33554432000 4194304 4196468 140731132872352 139644511410448 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23434] ppid=23429 vsize=26004064 memory=139913912371820 CPUtime=0 cores=0-7
/proc/23431/task/23434/stat : 23434 (java) S 23429 23429 22919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106128567 26628161536 9698 33554432000 4194304 4196468 140731132872352 139644510357904 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23435] ppid=23429 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/23431/task/23435/stat : 23435 (java) S 23429 23429 22919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106128567 26628161536 9698 33554432000 4194304 4196468 140731132872352 139644509305360 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23436] ppid=23429 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23431/task/23436/stat : 23436 (java) S 23429 23429 22919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106128567 26628161536 9698 33554432000 4194304 4196468 140731132872352 139644508252816 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23437] ppid=23429 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23431/task/23437/stat : 23437 (java) S 23429 23429 22919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106128567 26628161536 9698 33554432000 4194304 4196468 140731132872352 139644507200272 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23438] ppid=23429 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/23431/task/23438/stat : 23438 (java) S 23429 23429 22919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106128567 26628194304 9698 33554432000 4194304 4196468 140731132872352 139644506147728 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23439] ppid=23429 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/23431/task/23439/stat : 23439 (java) S 23429 23429 22919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106128567 26628194304 9698 33554432000 4194304 4196468 140731132872352 139644505095184 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23440] ppid=23429 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23431/task/23440/stat : 23440 (java) S 23429 23429 22919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106128567 26628161536 9698 33554432000 4194304 4196468 140731132872352 139644504042640 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23441] ppid=23429 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23431/task/23441/stat : 23441 (java) S 23429 23429 22919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106128569 26628161536 9698 33554432000 4194304 4196468 140731132872352 139643009886192 139644558801538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23442] ppid=23429 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23431/task/23442/stat : 23442 (java) S 23429 23429 22919 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 106128569 26628161536 9698 33554432000 4194304 4196468 140731132872352 139643008832416 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23443] ppid=23429 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23431/task/23443/stat : 23443 (java) S 23429 23429 22919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 106128570 26628161536 9698 33554432000 4194304 4196468 140731132872352 139643007779824 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23444] ppid=23429 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23431/task/23444/stat : 23444 (java) S 23429 23429 22919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106128572 26628161536 9698 33554432000 4194304 4196468 140731132872352 139643006728400 139644558808987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23445] ppid=23429 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/23431/task/23445/stat : 23445 (java) S 23429 23429 22919 0 -1 1077944384 652 0 0 0 2 0 0 0 20 0 20 0 106128572 26628161536 9698 33554432000 4194304 4196468 140731132872352 139643005676016 139644558801538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23446] ppid=23429 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7
/proc/23431/task/23446/stat : 23446 (java) S 23429 23429 22919 0 -1 1077944384 91 0 0 0 1 0 0 0 20 0 20 0 106128572 26628194304 9698 33554432000 4194304 4196468 140731132872352 139643004623472 139644558801538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23447] ppid=23429 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/23431/task/23447/stat : 23447 (java) S 23429 23429 22919 0 -1 1077944384 126 0 0 0 1 0 0 0 20 0 20 0 106128572 26628161536 9698 33554432000 4194304 4196468 140731132872352 139643003570928 139644558801538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23448] ppid=23429 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/23431/task/23448/stat : 23448 (java) S 23429 23429 22919 0 -1 1077944384 721 0 0 0 7 0 0 0 20 0 20 0 106128572 26628161536 9698 33554432000 4194304 4196468 140731132872352 139643002518384 139644558801538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23449] ppid=23429 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23431/task/23449/stat : 23449 (java) S 23429 23429 22919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106128572 26628161536 9698 33554432000 4194304 4196468 140731132872352 139643001465056 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23450] ppid=23429 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/23431/task/23450/stat : 23450 (java) S 23429 23429 22919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106128572 26628161536 9698 33554432000 4194304 4196468 140731132872352 139643000412592 139644558801538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40172 KiB

[startup+0.310633 s]*
/proc/loadavg: 8.15 8.29 7.83 3/201 23450
/proc/meminfo: memFree=31396844/32770624 swapFree=67108860/67108860
[pid=23429] ppid=23426 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/23429/stat : 23429 (xcsp3-exec) S 23426 23429 22919 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 106128566 9740288 345 33554432000 4194304 5098028 140733495046224 140733495044328 140026218467964 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16359424 140733495047269 140733495047479 140733495047479 140733495050219 0
/proc/23429/statm: 2378 345 289 221 0 87 0
[pid=23431] ppid=23429 vsize=26004064 memory=45948 CPUtime=0.52 cores=0-7
/proc/23431/stat : 23431 (java) S 23429 23429 22919 0 -1 1077944320 9214 0 0 0 48 4 0 0 20 0 20 0 106128566 26628161536 11487 33554432000 4194304 4196468 140731132872352 140731132854896 139644558790391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
/proc/23431/statm: 6501016 11487 3084 1 0 6488269 0
[pid=23431/tid=23432] ppid=23429 vsize=26004064 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/23431/task/23432/stat : 23432 (java) R 23429 23429 22919 0 -1 4202560 6110 0 0 0 28 2 0 0 20 0 20 0 106128567 26628161536 11487 33554432000 4194304 4196468 140731132872352 139644563027904 139644558802326 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23433] ppid=23429 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23431/task/23433/stat : 23433 (java) S 23429 23429 22919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106128567 26628161536 11487 33554432000 4194304 4196468 140731132872352 139644511410448 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23434] ppid=23429 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23431/task/23434/stat : 23434 (java) S 23429 23429 22919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106128567 26628161536 11487 33554432000 4194304 4196468 140731132872352 139644510357904 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23435] ppid=23429 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23431/task/23435/stat : 23435 (java) S 23429 23429 22919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106128567 26628161536 11487 33554432000 4194304 4196468 140731132872352 139644509305360 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23436] ppid=23429 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23431/task/23436/stat : 23436 (java) S 23429 23429 22919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106128567 26628161536 11487 33554432000 4194304 4196468 140731132872352 139644508252816 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23437] ppid=23429 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/23431/task/23437/stat : 23437 (java) S 23429 23429 22919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106128567 26628161536 11487 33554432000 4194304 4196468 140731132872352 139644507200272 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23438] ppid=23429 vsize=26004064 memory=139913794253743 CPUtime=0 cores=0-7
/proc/23431/task/23438/stat : 23438 (java) S 23429 23429 22919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106128567 26628161536 11487 33554432000 4194304 4196468 140731132872352 139644506147728 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23439] ppid=23429 vsize=26004064 memory=139913794256048 CPUtime=0 cores=0-7
/proc/23431/task/23439/stat : 23439 (java) S 23429 23429 22919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106128567 26628161536 11487 33554432000 4194304 4196468 140731132872352 139644505095184 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23440] ppid=23429 vsize=26004064 memory=139913794258352 CPUtime=0 cores=0-7
/proc/23431/task/23440/stat : 23440 (java) S 23429 23429 22919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106128567 26628161536 11487 33554432000 4194304 4196468 140731132872352 139644504042640 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23441] ppid=23429 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23431/task/23441/stat : 23441 (java) S 23429 23429 22919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106128569 26628161536 11487 33554432000 4194304 4196468 140731132872352 139643009886192 139644558801538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23442] ppid=23429 vsize=26004064 memory=279827588523664 CPUtime=0 cores=0-7
/proc/23431/task/23442/stat : 23442 (java) S 23429 23429 22919 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 106128569 26628161536 11487 33554432000 4194304 4196468 140731132872352 139643008832416 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23443] ppid=23429 vsize=26004064 memory=279827588530576 CPUtime=0 cores=0-7
/proc/23431/task/23443/stat : 23443 (java) S 23429 23429 22919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 106128570 26628161536 11487 33554432000 4194304 4196468 140731132872352 139643007779824 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23444] ppid=23429 vsize=26004064 memory=279827588471856 CPUtime=0 cores=0-7
/proc/23431/task/23444/stat : 23444 (java) S 23429 23429 22919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106128572 26628161536 11487 33554432000 4194304 4196468 140731132872352 139643006728400 139644558808987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23445] ppid=23429 vsize=26004064 memory=279827588544400 CPUtime=0.02 cores=0-7
/proc/23431/task/23445/stat : 23445 (java) R 23429 23429 22919 0 -1 4202560 659 0 0 0 2 0 0 0 20 0 20 0 106128572 26628161536 11487 33554432000 4194304 4196468 140731132872352 139643005676016 139644551887227 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23446] ppid=23429 vsize=26004064 memory=279827588551312 CPUtime=0.01 cores=0-7
/proc/23431/task/23446/stat : 23446 (java) S 23429 23429 22919 0 -1 1077944384 91 0 0 0 1 0 0 0 20 0 20 0 106128572 26628161536 11487 33554432000 4194304 4196468 140731132872352 139643004623472 139644558801538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23447] ppid=23429 vsize=26004064 memory=279827588549008 CPUtime=0.02 cores=0-7
/proc/23431/task/23447/stat : 23447 (java) R 23429 23429 22919 0 -1 4202560 230 0 0 0 2 0 0 0 20 0 20 0 106128572 26628161536 11487 33554432000 4194304 4196468 140731132872352 139643003551944 139644539490688 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23448] ppid=23429 vsize=26004064 memory=279827588565168 CPUtime=0.12 cores=0-7
/proc/23431/task/23448/stat : 23448 (java) R 23429 23429 22919 0 -1 4202560 817 0 0 0 12 0 0 0 20 0 20 0 106128572 26628161536 11487 33554432000 4194304 4196468 140731132872352 139643002514112 139644558811738 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23449] ppid=23429 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23431/task/23449/stat : 23449 (java) S 23429 23429 22919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106128572 26628161536 11487 33554432000 4194304 4196468 140731132872352 139643001465056 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23450] ppid=23429 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/23431/task/23450/stat : 23450 (java) S 23429 23429 22919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106128572 26628161536 11487 33554432000 4194304 4196468 140731132872352 139643000412592 139644558801538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47328 KiB

[startup+0.700989 s]
/proc/loadavg: 8.15 8.29 7.83 5/201 23450
/proc/meminfo: memFree=31365888/32770624 swapFree=67108860/67108860
[pid=23429] ppid=23426 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/23429/stat : 23429 (xcsp3-exec) S 23426 23429 22919 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 106128566 9740288 345 33554432000 4194304 5098028 140733495046224 140733495044328 140026218467964 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16359424 140733495047269 140733495047479 140733495047479 140733495050219 0
/proc/23429/statm: 2378 345 289 221 0 87 0
[pid=23431] ppid=23429 vsize=26006188 memory=101404 CPUtime=2.11 cores=0-7
/proc/23431/stat : 23431 (java) S 23429 23429 22919 0 -1 1077944320 14386 0 0 0 205 6 0 0 20 0 20 0 106128566 26630336512 25351 33554432000 4194304 4196468 140731132872352 140731132854896 139644558790391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
/proc/23431/statm: 6501547 25351 3201 1 0 6488781 0
[pid=23431/tid=23432] ppid=23429 vsize=26006188 memory=279827588923056 CPUtime=0.67 cores=0-7
/proc/23431/task/23432/stat : 23432 (java) R 23429 23429 22919 0 -1 4202560 6746 0 0 0 64 3 0 0 20 0 20 0 106128567 26630336512 25351 33554432000 4194304 4196468 140731132872352 139644563025408 139644171847207 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23433] ppid=23429 vsize=26006188 memory=139913794462576 CPUtime=0 cores=0-7
/proc/23431/task/23433/stat : 23433 (java) S 23429 23429 22919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106128567 26630336512 25351 33554432000 4194304 4196468 140731132872352 139644511410448 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23434] ppid=23429 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/23431/task/23434/stat : 23434 (java) S 23429 23429 22919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106128567 26630336512 25351 33554432000 4194304 4196468 140731132872352 139644510357904 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23435] ppid=23429 vsize=26006188 memory=5792 CPUtime=0 cores=0-7
/proc/23431/task/23435/stat : 23435 (java) S 23429 23429 22919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106128567 26630336512 25351 33554432000 4194304 4196468 140731132872352 139644509305360 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0

################
# More data... #
################

[pid=23431/tid=23448] ppid=23429 vsize=26538700 memory=1200 CPUtime=0.74 cores=0-7
/proc/23431/task/23448/stat : 23448 (java) S 23429 23429 22919 0 -1 1077944384 3027 0 0 0 73 1 0 0 20 0 28 0 106128572 27175628800 111691 33554432000 4194304 4196468 140731132872352 139643002518384 139644558801538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23449] ppid=23429 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/23431/task/23449/stat : 23449 (java) S 23429 23429 22919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 106128572 27175628800 111691 33554432000 4194304 4196468 140731132872352 139643001465056 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23450] ppid=23429 vsize=26538700 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/23431/task/23450/stat : 23450 (java) S 23429 23429 22919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 106128572 27175628800 111691 33554432000 4194304 4196468 140731132872352 139643000412592 139644558801538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23451] ppid=23429 vsize=26538700 memory=2196 CPUtime=2.49 cores=0-7
/proc/23431/task/23451/stat : 23451 (java) R 23429 23429 22919 0 -1 4202560 90 0 0 0 249 0 0 0 20 0 28 0 106128746 27175628800 111691 33554432000 4194304 4196468 140731132872352 139642992897080 139644175475012 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23452] ppid=23429 vsize=26538700 memory=6760 CPUtime=2.62 cores=0-7
/proc/23431/task/23452/stat : 23452 (java) R 23429 23429 22919 0 -1 4202560 103 0 0 0 262 0 0 0 20 0 28 0 106128746 27175628800 111691 33554432000 4194304 4196468 140731132872352 139642991845544 139644167857216 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23453] ppid=23429 vsize=26538700 memory=832 CPUtime=2.37 cores=0-7
/proc/23431/task/23453/stat : 23453 (java) R 23429 23429 22919 0 -1 4202560 238 0 0 0 235 2 0 0 20 0 28 0 106128746 27175628800 111691 33554432000 4194304 4196468 140731132872352 139642990793480 139644175474331 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23454] ppid=23429 vsize=26538700 memory=1692 CPUtime=2.47 cores=0-7
/proc/23431/task/23454/stat : 23454 (java) R 23429 23429 22919 0 -1 4202560 225 0 0 0 244 3 0 0 20 0 28 0 106128746 27175628800 111691 33554432000 4194304 4196468 140731132872352 139642989740744 139644175474160 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23455] ppid=23429 vsize=26538700 memory=916 CPUtime=2.39 cores=0-7
/proc/23431/task/23455/stat : 23455 (java) R 23429 23429 22919 0 -1 4202560 181 0 0 0 239 0 0 0 20 0 28 0 106128746 27175628800 111691 33554432000 4194304 4196468 140731132872352 139642988687944 139644175474626 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23456] ppid=23429 vsize=26538700 memory=5596 CPUtime=2.41 cores=0-7
/proc/23431/task/23456/stat : 23456 (java) R 23429 23429 22919 0 -1 4202560 236 0 0 0 241 0 0 0 20 0 28 0 106128746 27175628800 111691 33554432000 4194304 4196468 140731132872352 139642987635480 139644175474160 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23457] ppid=23429 vsize=26538700 memory=4100 CPUtime=2.3 cores=0-7
/proc/23431/task/23457/stat : 23457 (java) R 23429 23429 22919 0 -1 4202560 65 0 0 0 230 0 0 0 20 0 28 0 106128746 27175628800 111691 33554432000 4194304 4196468 140731132872352 139642986581800 139644175475335 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23458] ppid=23429 vsize=26538700 memory=1152 CPUtime=2.53 cores=0-7
/proc/23431/task/23458/stat : 23458 (java) R 23429 23429 22919 0 -1 4202560 97 0 0 0 253 0 0 0 20 0 28 0 106128746 27175628800 111691 33554432000 4194304 4196468 140731132872352 139642985529528 139644175473051 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
Current children cumulated CPU time: 29.97 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 448144 KiB

[startup+5.20185 s]
/proc/loadavg: 7.82 8.22 7.81 10/209 23458
/proc/meminfo: memFree=30993456/32770624 swapFree=67108860/67108860
[pid=23429] ppid=23426 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/23429/stat : 23429 (xcsp3-exec) S 23426 23429 22919 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 106128566 9740288 345 33554432000 4194304 5098028 140733495046224 140733495044328 140026218467964 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16359424 140733495047269 140733495047479 140733495047479 140733495050219 0
/proc/23429/statm: 2378 345 289 221 0 87 0
[pid=23431] ppid=23429 vsize=26538700 memory=446784 CPUtime=33.11 cores=0-7
/proc/23431/stat : 23431 (java) S 23429 23429 22919 0 -1 1077944320 29512 0 0 0 3266 45 0 0 20 0 28 0 106128566 27175628800 111696 33554432000 4194304 4196468 140731132872352 140731132854896 139644558790391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
/proc/23431/statm: 6634675 111696 3277 1 0 6621909 0
[pid=23431/tid=23432] ppid=23429 vsize=26538700 memory=0 CPUtime=1.68 cores=0-7
/proc/23431/task/23432/stat : 23432 (java) S 23429 23429 22919 0 -1 1077944384 6990 0 0 0 162 6 0 0 20 0 28 0 106128567 27175628800 111696 33554432000 4194304 4196468 140731132872352 139644563031168 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23433] ppid=23429 vsize=26538700 memory=0 CPUtime=0.07 cores=0-7
/proc/23431/task/23433/stat : 23433 (java) S 23429 23429 22919 0 -1 1077944384 87 0 0 0 5 2 0 0 20 0 28 0 106128567 27175628800 111696 33554432000 4194304 4196468 140731132872352 139644511410448 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23434] ppid=23429 vsize=26538700 memory=279827588908880 CPUtime=0.08 cores=0-7
/proc/23431/task/23434/stat : 23434 (java) S 23429 23429 22919 0 -1 1077944384 79 0 0 0 6 2 0 0 20 0 28 0 106128567 27175628800 111696 33554432000 4194304 4196468 140731132872352 139644510357904 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23435] ppid=23429 vsize=26538700 memory=0 CPUtime=0.08 cores=0-7
/proc/23431/task/23435/stat : 23435 (java) S 23429 23429 22919 0 -1 1077944384 73 0 0 0 6 2 0 0 20 0 28 0 106128567 27175628800 111696 33554432000 4194304 4196468 140731132872352 139644509305360 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23436] ppid=23429 vsize=26538700 memory=0 CPUtime=0.09 cores=0-7
/proc/23431/task/23436/stat : 23436 (java) S 23429 23429 22919 0 -1 1077944384 74 0 0 0 6 3 0 0 20 0 28 0 106128567 27175628800 111696 33554432000 4194304 4196468 140731132872352 139644508252816 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23437] ppid=23429 vsize=26538700 memory=0 CPUtime=0.07 cores=0-7
/proc/23431/task/23437/stat : 23437 (java) S 23429 23429 22919 0 -1 1077944384 72 0 0 0 5 2 0 0 20 0 28 0 106128567 27175628800 111696 33554432000 4194304 4196468 140731132872352 139644507200272 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23438] ppid=23429 vsize=26538700 memory=0 CPUtime=0.1 cores=0-7
/proc/23431/task/23438/stat : 23438 (java) S 23429 23429 22919 0 -1 1077944384 93 0 0 0 7 3 0 0 20 0 28 0 106128567 27175628800 111696 33554432000 4194304 4196468 140731132872352 139644506147728 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23439] ppid=23429 vsize=26538700 memory=0 CPUtime=0.07 cores=0-7
/proc/23431/task/23439/stat : 23439 (java) S 23429 23429 22919 0 -1 1077944384 80 0 0 0 5 2 0 0 20 0 28 0 106128567 27175628800 111696 33554432000 4194304 4196468 140731132872352 139644505095184 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23440] ppid=23429 vsize=26538700 memory=-9130901251068603729 CPUtime=0.1 cores=0-7
/proc/23431/task/23440/stat : 23440 (java) S 23429 23429 22919 0 -1 1077944384 133 0 0 0 7 3 0 0 20 0 28 0 106128567 27175628800 111696 33554432000 4194304 4196468 140731132872352 139644504042640 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23441] ppid=23429 vsize=26538700 memory=2584 CPUtime=0.01 cores=0-7
/proc/23431/task/23441/stat : 23441 (java) S 23429 23429 22919 0 -1 1077944384 210 0 0 0 1 0 0 0 20 0 28 0 106128569 27175628800 111696 33554432000 4194304 4196468 140731132872352 139643009886192 139644558801538 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23442] ppid=23429 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/23431/task/23442/stat : 23442 (java) S 23429 23429 22919 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 106128569 27175628800 111696 33554432000 4194304 4196468 140731132872352 139643008832480 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23443] ppid=23429 vsize=26538700 memory=407824 CPUtime=0 cores=0-7
/proc/23431/task/23443/stat : 23443 (java) S 23429 23429 22919 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 106128570 27175628800 111696 33554432000 4194304 4196468 140731132872352 139643007779840 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23444] ppid=23429 vsize=26538700 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/23431/task/23444/stat : 23444 (java) S 23429 23429 22919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 106128572 27175628800 111696 33554432000 4194304 4196468 140731132872352 139643006728400 139644558808987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23445] ppid=23429 vsize=26538700 memory=0 CPUtime=2.41 cores=0-7
/proc/23431/task/23445/stat : 23445 (java) S 23429 23429 22919 0 -1 1077944384 5777 0 0 0 240 1 0 0 20 0 28 0 106128572 27175628800 111696 33554432000 4194304 4196468 140731132872352 139643005676016 139644558801538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23446] ppid=23429 vsize=26538700 memory=0 CPUtime=2.47 cores=0-7
/proc/23431/task/23446/stat : 23446 (java) S 23429 23429 22919 0 -1 1077944384 5414 0 0 0 246 1 0 0 20 0 28 0 106128572 27175628800 111696 33554432000 4194304 4196468 140731132872352 139643004623472 139644558801538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23447] ppid=23429 vsize=26538700 memory=7593730205034768722 CPUtime=2.3 cores=0-7
/proc/23431/task/23447/stat : 23447 (java) S 23429 23429 22919 0 -1 1077944384 4713 0 0 0 228 2 0 0 20 0 28 0 106128572 27175628800 111696 33554432000 4194304 4196468 140731132872352 139643003570928 139644558801538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23448] ppid=23429 vsize=26538700 memory=5793155717051934295 CPUtime=0.74 cores=0-7
/proc/23431/task/23448/stat : 23448 (java) S 23429 23429 22919 0 -1 1077944384 3028 0 0 0 73 1 0 0 20 0 28 0 106128572 27175628800 111696 33554432000 4194304 4196468 140731132872352 139643002518384 139644558801538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23449] ppid=23429 vsize=26538700 memory=7740961404671059561 CPUtime=0 cores=0-7
/proc/23431/task/23449/stat : 23449 (java) S 23429 23429 22919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 106128572 27175628800 111696 33554432000 4194304 4196468 140731132872352 139643001465056 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23450] ppid=23429 vsize=26538700 memory=7235147594880805952 CPUtime=0 cores=0-7
/proc/23431/task/23450/stat : 23450 (java) S 23429 23429 22919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 106128572 27175628800 111696 33554432000 4194304 4196468 140731132872352 139643000412592 139644558801538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23451] ppid=23429 vsize=26538700 memory=7666091281682223978 CPUtime=2.88 cores=0-7
/proc/23431/task/23451/stat : 23451 (java) R 23429 23429 22919 0 -1 4202560 91 0 0 0 288 0 0 0 20 0 28 0 106128746 27175628800 111696 33554432000 4194304 4196468 140731132872352 139642992897080 139644176224022 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23452] ppid=23429 vsize=26538700 memory=7011348500760777816 CPUtime=2.98 cores=0-7
/proc/23431/task/23452/stat : 23452 (java) R 23429 23429 22919 0 -1 4202560 103 0 0 0 298 0 0 0 20 0 28 0 106128746 27175628800 111696 33554432000 4194304 4196468 140731132872352 139642991845544 139644175980440 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23453] ppid=23429 vsize=26538700 memory=4639074098508484692 CPUtime=2.76 cores=0-7
/proc/23431/task/23453/stat : 23453 (java) R 23429 23429 22919 0 -1 4202560 296 0 0 0 274 2 0 0 20 0 28 0 106128746 27175628800 111696 33554432000 4194304 4196468 140731132872352 139642990793480 139644175472802 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23454] ppid=23429 vsize=26538700 memory=4639074098508484692 CPUtime=2.86 cores=0-7
/proc/23431/task/23454/stat : 23454 (java) R 23429 23429 22919 0 -1 4202560 248 0 0 0 283 3 0 0 20 0 28 0 106128746 27175628800 111696 33554432000 4194304 4196468 140731132872352 139642989740744 139644177291818 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23455] ppid=23429 vsize=26538700 memory=7079765598914236496 CPUtime=2.78 cores=0-7
/proc/23431/task/23455/stat : 23455 (java) R 23429 23429 22919 0 -1 4202560 191 0 0 0 278 0 0 0 20 0 28 0 106128746 27175628800 111696 33554432000 4194304 4196468 140731132872352 139642988688328 139644175473496 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23456] ppid=23429 vsize=26538700 memory=57 CPUtime=2.77 cores=0-7
/proc/23431/task/23456/stat : 23456 (java) R 23429 23429 22919 0 -1 4202560 259 0 0 0 277 0 0 0 20 0 28 0 106128746 27175628800 111696 33554432000 4194304 4196468 140731132872352 139642987636072 139644175475030 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23457] ppid=23429 vsize=26538700 memory=6944656592387989600 CPUtime=2.68 cores=0-7
/proc/23431/task/23457/stat : 23457 (java) R 23429 23429 22919 0 -1 4202560 65 0 0 0 268 0 0 0 20 0 28 0 106128746 27175628800 111696 33554432000 4194304 4196468 140731132872352 139642986581800 139644175475569 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23458] ppid=23429 vsize=26538700 memory=0 CPUtime=2.92 cores=0-7
/proc/23431/task/23458/stat : 23458 (java) R 23429 23429 22919 0 -1 4202560 118 0 0 0 292 0 0 0 20 0 28 0 106128746 27175628800 111696 33554432000 4194304 4196468 140731132872352 139642985529784 139644175472331 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
Current children cumulated CPU time: 33.11 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 448164 KiB

[startup+5.402 s]
/proc/loadavg: 7.82 8.22 7.81 10/209 23458
/proc/meminfo: memFree=30993456/32770624 swapFree=67108860/67108860
[pid=23429] ppid=23426 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/23429/stat : 23429 (xcsp3-exec) S 23426 23429 22919 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 106128566 9740288 345 33554432000 4194304 5098028 140733495046224 140733495044328 140026218467964 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16359424 140733495047269 140733495047479 140733495047479 140733495050219 0
/proc/23429/statm: 2378 345 289 221 0 87 0
[pid=23431] ppid=23429 vsize=26538700 memory=436040 CPUtime=34.7 cores=0-7
/proc/23431/stat : 23431 (java) S 23429 23429 22919 0 -1 1077944320 30753 0 0 0 3424 46 0 0 20 0 28 0 106128566 27175628800 109010 33554432000 4194304 4196468 140731132872352 140731132854896 139644558790391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
/proc/23431/statm: 6634675 109010 3277 1 0 6621909 0
[pid=23431/tid=23432] ppid=23429 vsize=26538700 memory=2244 CPUtime=1.68 cores=0-7
/proc/23431/task/23432/stat : 23432 (java) R 23429 23429 22919 0 -1 4202560 7005 0 0 0 162 6 0 0 20 0 28 0 106128567 27175628800 109010 33554432000 4194304 4196468 140731132872352 139644563031168 139644167597819 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23433] ppid=23429 vsize=26538700 memory=7522817219832671592 CPUtime=0.07 cores=0-7
/proc/23431/task/23433/stat : 23433 (java) S 23429 23429 22919 0 -1 1077944384 87 0 0 0 5 2 0 0 20 0 28 0 106128567 27175628800 109010 33554432000 4194304 4196468 140731132872352 139644511410448 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23434] ppid=23429 vsize=26538700 memory=7593730205034768722 CPUtime=0.08 cores=0-7
/proc/23431/task/23434/stat : 23434 (java) S 23429 23429 22919 0 -1 1077944384 79 0 0 0 6 2 0 0 20 0 28 0 106128567 27175628800 109048 33554432000 4194304 4196468 140731132872352 139644510357904 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23435] ppid=23429 vsize=26538700 memory=-1 CPUtime=0.08 cores=0-7
/proc/23431/task/23435/stat : 23435 (java) S 23429 23429 22919 0 -1 1077944384 73 0 0 0 6 2 0 0 20 0 28 0 106128567 27175628800 109048 33554432000 4194304 4196468 140731132872352 139644509305360 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23436] ppid=23429 vsize=26538700 memory=0 CPUtime=0.09 cores=0-7
/proc/23431/task/23436/stat : 23436 (java) S 23429 23429 22919 0 -1 1077944384 74 0 0 0 6 3 0 0 20 0 28 0 106128567 27175628800 109049 33554432000 4194304 4196468 140731132872352 139644508252816 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23437] ppid=23429 vsize=26538700 memory=0 CPUtime=0.07 cores=0-7
/proc/23431/task/23437/stat : 23437 (java) S 23429 23429 22919 0 -1 1077944384 72 0 0 0 5 2 0 0 20 0 28 0 106128567 27175628800 109049 33554432000 4194304 4196468 140731132872352 139644507200272 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23438] ppid=23429 vsize=26538700 memory=0 CPUtime=0.1 cores=0-7
/proc/23431/task/23438/stat : 23438 (java) S 23429 23429 22919 0 -1 1077944384 93 0 0 0 7 3 0 0 20 0 28 0 106128567 27175628800 109049 33554432000 4194304 4196468 140731132872352 139644506147728 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23439] ppid=23429 vsize=26538700 memory=2241 CPUtime=0.07 cores=0-7
/proc/23431/task/23439/stat : 23439 (java) S 23429 23429 22919 0 -1 1077944384 80 0 0 0 5 2 0 0 20 0 28 0 106128567 27175628800 109049 33554432000 4194304 4196468 140731132872352 139644505095184 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23440] ppid=23429 vsize=26538700 memory=279827589003504 CPUtime=0.1 cores=0-7
/proc/23431/task/23440/stat : 23440 (java) S 23429 23429 22919 0 -1 1077944384 133 0 0 0 7 3 0 0 20 0 28 0 106128567 27175628800 109049 33554432000 4194304 4196468 140731132872352 139644504042640 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23441] ppid=23429 vsize=26538700 memory=21188 CPUtime=0.01 cores=0-7
/proc/23431/task/23441/stat : 23441 (java) S 23429 23429 22919 0 -1 1077944384 270 0 0 0 1 0 0 0 20 0 28 0 106128569 27175628800 109049 33554432000 4194304 4196468 140731132872352 139643009886192 139644558801538 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23442] ppid=23429 vsize=26538700 memory=9179 CPUtime=0 cores=0-7
/proc/23431/task/23442/stat : 23442 (java) S 23429 23429 22919 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 106128569 27175628800 109049 33554432000 4194304 4196468 140731132872352 139643008832480 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23443] ppid=23429 vsize=26538700 memory=279827588344160 CPUtime=0 cores=0-7
/proc/23431/task/23443/stat : 23443 (java) S 23429 23429 22919 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 106128570 27175628800 109049 33554432000 4194304 4196468 140731132872352 139643007779840 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23444] ppid=23429 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/23431/task/23444/stat : 23444 (java) S 23429 23429 22919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 106128572 27175628800 109049 33554432000 4194304 4196468 140731132872352 139643006728400 139644558808987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23445] ppid=23429 vsize=26538700 memory=0 CPUtime=2.41 cores=0-7
/proc/23431/task/23445/stat : 23445 (java) S 23429 23429 22919 0 -1 1077944384 5794 0 0 0 240 1 0 0 20 0 28 0 106128572 27175628800 109049 33554432000 4194304 4196468 140731132872352 139643005676016 139644558801538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23446] ppid=23429 vsize=26538700 memory=0 CPUtime=2.47 cores=0-7
/proc/23431/task/23446/stat : 23446 (java) R 23429 23429 22919 0 -1 4202560 5416 0 0 0 246 1 0 0 20 0 28 0 106128572 27175628800 109049 33554432000 4194304 4196468 140731132872352 139643004623472 139644542261904 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23447] ppid=23429 vsize=26538700 memory=0 CPUtime=2.3 cores=0-7
/proc/23431/task/23447/stat : 23447 (java) S 23429 23429 22919 0 -1 1077944384 4793 0 0 0 228 2 0 0 20 0 28 0 106128572 27175628800 109049 33554432000 4194304 4196468 140731132872352 139643003570928 139644558801538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23448] ppid=23429 vsize=26538700 memory=0 CPUtime=0.74 cores=0-7
/proc/23431/task/23448/stat : 23448 (java) R 23429 23429 22919 0 -1 4202560 3046 0 0 0 73 1 0 0 20 0 28 0 106128572 27175628800 109049 33554432000 4194304 4196468 140731132872352 139643002518384 139644537300556 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23449] ppid=23429 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/23431/task/23449/stat : 23449 (java) S 23429 23429 22919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 106128572 27175628800 109049 33554432000 4194304 4196468 140731132872352 139643001465056 139644558800597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23450] ppid=23429 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/23431/task/23450/stat : 23450 (java) S 23429 23429 22919 0 -1 1077944384 822 0 0 0 0 0 0 0 20 0 28 0 106128572 27175628800 109049 33554432000 4194304 4196468 140731132872352 139643000412592 139644558801538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23451] ppid=23429 vsize=26538700 memory=0 CPUtime=3.08 cores=0-7
/proc/23431/task/23451/stat : 23451 (java) D 23429 23429 22919 0 -1 4202560 158 0 0 0 308 0 0 0 20 0 28 0 106128746 27175628800 109049 33554432000 4194304 4196468 140731132872352 139642992904456 139644551507354 0 4 0 16800975 18446744071582151463 0 0 -1 5 0 0 1 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23452] ppid=23429 vsize=26538700 memory=0 CPUtime=3.17 cores=0-7
/proc/23431/task/23452/stat : 23452 (java) R 23429 23429 22919 0 -1 4202560 125 0 0 0 317 0 0 0 20 0 28 0 106128746 27175628800 109049 33554432000 4194304 4196468 140731132872352 139642991849576 139644540363696 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23453] ppid=23429 vsize=26538700 memory=0 CPUtime=2.96 cores=0-7
/proc/23431/task/23453/stat : 23453 (java) D 23429 23429 22919 0 -1 4202560 320 0 0 0 294 2 0 0 20 0 28 0 106128746 27175628800 109049 33554432000 4194304 4196468 140731132872352 139642990799368 139644551507354 0 4 0 16800975 18446744071582151463 0 0 -1 3 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23454] ppid=23429 vsize=26538700 memory=0 CPUtime=3.06 cores=0-7
/proc/23431/task/23454/stat : 23454 (java) R 23429 23429 22919 0 -1 4202560 365 0 0 0 302 4 0 0 20 0 28 0 106128746 27175628800 109049 33554432000 4194304 4196468 140731132872352 139642989742584 139644542166042 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23455] ppid=23429 vsize=26538700 memory=0 CPUtime=2.98 cores=0-7
/proc/23431/task/23455/stat : 23455 (java) D 23429 23429 22919 0 -1 4202560 232 0 0 0 298 0 0 0 20 0 28 0 106128746 27175628800 109049 33554432000 4194304 4196468 140731132872352 139642988694280 139644551507354 0 4 0 16800975 18446744071582151463 0 0 -1 1 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23456] ppid=23429 vsize=26538700 memory=0 CPUtime=2.96 cores=0-7
/proc/23431/task/23456/stat : 23456 (java) D 23429 23429 22919 0 -1 4202560 296 0 0 0 296 0 0 0 20 0 28 0 106128746 27175628800 109049 33554432000 4194304 4196468 140731132872352 139642987641736 139644551507354 0 4 0 16800975 18446744071582151463 0 0 -1 4 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23457] ppid=23429 vsize=26538700 memory=0 CPUtime=2.88 cores=0-7
/proc/23431/task/23457/stat : 23457 (java) D 23429 23429 22919 0 -1 4202560 106 0 0 0 288 0 0 0 20 0 28 0 106128746 27175628800 109049 33554432000 4194304 4196468 140731132872352 139642986588168 139644551507354 0 4 0 16800975 18446744071582151463 0 0 -1 4 0 0 1 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
[pid=23431/tid=23458] ppid=23429 vsize=26538700 memory=0 CPUtime=3.13 cores=0-7
/proc/23431/task/23458/stat : 23458 (java) D 23429 23429 22919 0 -1 4202560 136 0 0 0 312 1 0 0 20 0 28 0 106128746 27175628800 109049 33554432000 4194304 4196468 140731132872352 139642985535624 139644551507354 0 4 0 16800975 18446744071582151463 0 0 -1 6 0 0 0 0 0 6293624 6294260 34136064 140731132875922 140731132876099 140731132876099 140731132878799 0
Current children cumulated CPU time: 34.7 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 437420 KiB

Child status: 0
Real time (s): 5.42842
CPU time (s): 34.7397
CPU user time (s): 34.2647
CPU system time (s): 0.475075
CPU usage (%): 639.96
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 448164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.2647
system time used= 0.475075
maximum resident set size= 447032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32187
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3678
involuntary context switches= 731


# summary of solver processes directly reported to runsolver:
#   pid: 23429
#   total CPU time (s): 34.7397
#   total CPU user time (s): 34.2647
#   total CPU system time (s): 0.475075

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.065598 second user time and 0.108977 second system time

The end
Name	SocialGolfers/SocialGolfers-xcsp2-s1/ SocialGolfers-06-3-5_X2.xml
MD5SUM	a8701a72dabf0de37daca9c92732f8d4
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	13.4951
Satisfiable
(Un)Satisfiability was proved
Number of variables	1080
Number of constraints	3375
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":1080}]
Minimum variable degree	6
Maximum variable degree	16
Distribution of variable degrees	[{"degree":6,"count":630},{"degree":16,"count":450}]
Minimum constraint arity	3
Maximum constraint arity	15
Distribution of constraint arities	[{"arity":3,"count":3150},{"arity":5,"count":90},{"arity":6,"count":105},{"arity":15,"count":30}]
Number of extensional constraints	0
Number of intensional constraints	3150
Distribution of constraint types	[{"type":"intension","count":3150},{"type":"sum","count":225}]
Optimization problem	NO
Type of objective
Trace number 4271273

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
