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	7.5216398	1.68335
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 (13340 MiB free)
  memory of node 1: 16384 MiB (13791 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271237-1502698565/watcher-4271237-1502698565 -o /tmp/evaluation-result-4271237-1502698565/solver-4271237-1502698565 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1502690139-371 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1989579911 HOME/instance-4271237-1502698565.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=1409, runsolver pid=1406

[startup+0.100133 s]*
/proc/loadavg: 8.05 8.24 7.95 2/201 1430
/proc/meminfo: memFree=27770848/32770624 swapFree=67108860/67108860
[pid=1409] ppid=1406 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/1409/stat : 1409 (xcsp3-exec) S 1406 1409 344 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 102937413 9740288 345 33554432000 4194304 5098028 140734872350576 140734872348680 139919491678844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26558464 140734872351844 140734872352055 140734872352055 140734872354795 0
/proc/1409/statm: 2378 345 289 221 0 87 0
[pid=1411] ppid=1409 vsize=25999808 memory=24656 CPUtime=0.11 cores=0-7
/proc/1411/stat : 1411 (java) S 1409 1409 344 0 -1 1077944320 5581 0 0 0 10 1 0 0 20 0 20 0 102937413 26623803392 6164 33554432000 4194304 4196468 140735141322656 140735141305200 140006168420087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
/proc/1411/statm: 6499952 6164 2851 1 0 6488269 0
[pid=1411/tid=1412] ppid=1409 vsize=25999808 memory=1400242874264906928 CPUtime=0.09 cores=0-7
/proc/1411/task/1412/stat : 1412 (java) R 1409 1409 344 0 -1 4202560 3546 0 0 0 8 1 0 0 20 0 20 0 102937413 26623803392 6164 33554432000 4194304 4196468 140735141322656 140006172653360 140006168442013 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1413] ppid=1409 vsize=25999808 memory=3461361991549258287 CPUtime=0 cores=0-7
/proc/1411/task/1413/stat : 1413 (java) S 1409 1409 344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102937414 26623803392 6164 33554432000 4194304 4196468 140735141322656 140005727144720 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1414] ppid=1409 vsize=25999808 memory=139983913387648 CPUtime=0 cores=0-7
/proc/1411/task/1414/stat : 1414 (java) S 1409 1409 344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102937414 26623803392 6164 33554432000 4194304 4196468 140735141322656 140005726092176 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1415] ppid=1409 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1415/stat : 1415 (java) S 1409 1409 344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102937414 26623803392 6164 33554432000 4194304 4196468 140735141322656 140005725039632 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1416] ppid=1409 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1416/stat : 1416 (java) S 1409 1409 344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102937414 26623803392 6164 33554432000 4194304 4196468 140735141322656 140005723987088 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1417] ppid=1409 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1417/stat : 1417 (java) S 1409 1409 344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102937414 26623803392 6164 33554432000 4194304 4196468 140735141322656 140005722933520 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1418] ppid=1409 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/1411/task/1418/stat : 1418 (java) S 1409 1409 344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102937414 26623803392 6164 33554432000 4194304 4196468 140735141322656 140005721880976 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1419] ppid=1409 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1419/stat : 1419 (java) S 1409 1409 344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102937414 26623803392 6164 33554432000 4194304 4196468 140735141322656 140005720828432 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1420] ppid=1409 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1420/stat : 1420 (java) S 1409 1409 344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102937414 26623803392 6164 33554432000 4194304 4196468 140735141322656 140005719775888 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1421] ppid=1409 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1421/stat : 1421 (java) S 1409 1409 344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102937415 26623803392 6164 33554432000 4194304 4196468 140735141322656 140004843362800 140006168431234 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1422] ppid=1409 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1422/stat : 1422 (java) S 1409 1409 344 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102937416 26623803392 6164 33554432000 4194304 4196468 140735141322656 140004842309024 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1423] ppid=1409 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1423/stat : 1423 (java) S 1409 1409 344 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102937416 26623803392 6164 33554432000 4194304 4196468 140735141322656 140004841256432 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1424] ppid=1409 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1424/stat : 1424 (java) S 1409 1409 344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102937418 26623803392 6164 33554432000 4194304 4196468 140735141322656 140004840205008 140006168438683 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1425] ppid=1409 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1425/stat : 1425 (java) S 1409 1409 344 0 -1 1077944384 325 0 0 0 0 0 0 0 20 0 20 0 102937418 26623803392 6164 33554432000 4194304 4196468 140735141322656 140004839151600 140006168431234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1426] ppid=1409 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1426/stat : 1426 (java) S 1409 1409 344 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 20 0 102937418 26623803392 6164 33554432000 4194304 4196468 140735141322656 140004838099056 140006168431234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1427] ppid=1409 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1427/stat : 1427 (java) R 1409 1409 344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102937418 26623803392 6164 33554432000 4194304 4196468 140735141322656 140004837046512 140006168431234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1428] ppid=1409 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/1411/task/1428/stat : 1428 (java) R 1409 1409 344 0 -1 4202560 280 0 0 0 1 0 0 0 20 0 20 0 102937418 26623803392 6164 33554432000 4194304 4196468 140735141322656 140004835993968 140006168441434 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1429] ppid=1409 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1429/stat : 1429 (java) S 1409 1409 344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102937419 26623803392 6164 33554432000 4194304 4196468 140735141322656 140004834941664 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1430] ppid=1409 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/1411/task/1430/stat : 1430 (java) S 1409 1409 344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102937419 26623803392 6164 33554432000 4194304 4196468 140735141322656 140004833889200 140006168431234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 26036 KiB

[startup+0.21054 s]*
/proc/loadavg: 8.05 8.24 7.95 4/201 1430
/proc/meminfo: memFree=27759296/32770624 swapFree=67108860/67108860
[pid=1409] ppid=1406 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/1409/stat : 1409 (xcsp3-exec) S 1406 1409 344 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 102937413 9740288 345 33554432000 4194304 5098028 140734872350576 140734872348680 139919491678844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26558464 140734872351844 140734872352055 140734872352055 140734872354795 0
/proc/1409/statm: 2378 345 289 221 0 87 0
[pid=1411] ppid=1409 vsize=26004064 memory=37840 CPUtime=0.32 cores=0-7
/proc/1411/stat : 1411 (java) S 1409 1409 344 0 -1 1077944320 8561 0 0 0 30 2 0 0 20 0 20 0 102937413 26628161536 9460 33554432000 4194304 4196468 140735141322656 140735141305200 140006168420087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
/proc/1411/statm: 6501016 9460 3052 1 0 6488269 0
[pid=1411/tid=1412] ppid=1409 vsize=26004064 memory=8390339637985935414 CPUtime=0.2 cores=0-7
/proc/1411/task/1412/stat : 1412 (java) R 1409 1409 344 0 -1 4202560 5464 0 0 0 18 2 0 0 20 0 20 0 102937413 26628161536 9460 33554432000 4194304 4196468 140735141322656 140006172634816 140006152500574 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1413] ppid=1409 vsize=26004064 memory=288230600413020183 CPUtime=0 cores=0-7
/proc/1411/task/1413/stat : 1413 (java) S 1409 1409 344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102937414 26628161536 9460 33554432000 4194304 4196468 140735141322656 140005727144720 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1414] ppid=1409 vsize=26004064 memory=139983913986176 CPUtime=0 cores=0-7
/proc/1411/task/1414/stat : 1414 (java) S 1409 1409 344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102937414 26628161536 9460 33554432000 4194304 4196468 140735141322656 140005726092176 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1415] ppid=1409 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1415/stat : 1415 (java) S 1409 1409 344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102937414 26628161536 9460 33554432000 4194304 4196468 140735141322656 140005725039632 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1416] ppid=1409 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/1411/task/1416/stat : 1416 (java) S 1409 1409 344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102937414 26628161536 9460 33554432000 4194304 4196468 140735141322656 140005723987088 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1417] ppid=1409 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1417/stat : 1417 (java) S 1409 1409 344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102937414 26628161536 9460 33554432000 4194304 4196468 140735141322656 140005722933520 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1418] ppid=1409 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/1411/task/1418/stat : 1418 (java) S 1409 1409 344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102937414 26628161536 9460 33554432000 4194304 4196468 140735141322656 140005721880976 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1419] ppid=1409 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1419/stat : 1419 (java) S 1409 1409 344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102937414 26628161536 9460 33554432000 4194304 4196468 140735141322656 140005720828432 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1420] ppid=1409 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1420/stat : 1420 (java) S 1409 1409 344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102937414 26628161536 9460 33554432000 4194304 4196468 140735141322656 140005719775888 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1421] ppid=1409 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1421/stat : 1421 (java) S 1409 1409 344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102937415 26628161536 9460 33554432000 4194304 4196468 140735141322656 140004843362800 140006168431234 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1422] ppid=1409 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1422/stat : 1422 (java) S 1409 1409 344 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102937416 26628161536 9460 33554432000 4194304 4196468 140735141322656 140004842309024 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1423] ppid=1409 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1423/stat : 1423 (java) S 1409 1409 344 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102937416 26628161536 9460 33554432000 4194304 4196468 140735141322656 140004841256432 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1424] ppid=1409 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1424/stat : 1424 (java) S 1409 1409 344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102937418 26628161536 9460 33554432000 4194304 4196468 140735141322656 140004840205008 140006168438683 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1425] ppid=1409 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/1411/task/1425/stat : 1425 (java) S 1409 1409 344 0 -1 1077944384 442 0 0 0 1 0 0 0 20 0 20 0 102937418 26628161536 9460 33554432000 4194304 4196468 140735141322656 140004839151600 140006168431234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1426] ppid=1409 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/1411/task/1426/stat : 1426 (java) S 1409 1409 344 0 -1 1077944384 348 0 0 0 1 0 0 0 20 0 20 0 102937418 26628161536 9460 33554432000 4194304 4196468 140735141322656 140004838099056 140006168431234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1427] ppid=1409 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/1411/task/1427/stat : 1427 (java) S 1409 1409 344 0 -1 1077944384 114 0 0 0 2 0 0 0 20 0 20 0 102937418 26628161536 9460 33554432000 4194304 4196468 140735141322656 140004837046512 140006168431234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1428] ppid=1409 vsize=26004064 memory=0 CPUtime=0.08 cores=0-7
/proc/1411/task/1428/stat : 1428 (java) R 1409 1409 344 0 -1 4202560 889 0 0 0 8 0 0 0 20 0 20 0 102937418 26628161536 9460 33554432000 4194304 4196468 140735141322656 140004835993968 140006152500574 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1429] ppid=1409 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1429/stat : 1429 (java) S 1409 1409 344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102937419 26628161536 9460 33554432000 4194304 4196468 140735141322656 140004834941664 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1430] ppid=1409 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/1411/task/1430/stat : 1430 (java) S 1409 1409 344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102937419 26628161536 9460 33554432000 4194304 4196468 140735141322656 140004833889200 140006168431234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39220 KiB

[startup+0.310275 s]*
/proc/loadavg: 8.05 8.24 7.95 3/201 1430
/proc/meminfo: memFree=27754148/32770624 swapFree=67108860/67108860
[pid=1409] ppid=1406 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/1409/stat : 1409 (xcsp3-exec) S 1406 1409 344 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 102937413 9740288 345 33554432000 4194304 5098028 140734872350576 140734872348680 139919491678844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26558464 140734872351844 140734872352055 140734872352055 140734872354795 0
/proc/1409/statm: 2378 345 289 221 0 87 0
[pid=1411] ppid=1409 vsize=26004064 memory=43004 CPUtime=0.49 cores=0-7
/proc/1411/stat : 1411 (java) S 1409 1409 344 0 -1 1077944320 9483 0 0 0 46 3 0 0 20 0 20 0 102937413 26628161536 10751 33554432000 4194304 4196468 140735141322656 140735141305200 140006168420087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
/proc/1411/statm: 6501016 10751 3077 1 0 6488269 0
[pid=1411/tid=1412] ppid=1409 vsize=26004064 memory=1399051139730258233 CPUtime=0.29 cores=0-7
/proc/1411/task/1412/stat : 1412 (java) R 1409 1409 344 0 -1 4202560 6130 0 0 0 27 2 0 0 20 0 20 0 102937413 26628161536 10751 33554432000 4194304 4196468 140735141322656 140006172656096 140006152500574 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1413] ppid=1409 vsize=26004064 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/1411/task/1413/stat : 1413 (java) S 1409 1409 344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102937414 26628161536 10751 33554432000 4194304 4196468 140735141322656 140005727144720 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1414] ppid=1409 vsize=26004064 memory=1712 CPUtime=0 cores=0-7
/proc/1411/task/1414/stat : 1414 (java) S 1409 1409 344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102937414 26628161536 10751 33554432000 4194304 4196468 140735141322656 140005726092176 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1415] ppid=1409 vsize=26004064 memory=1952 CPUtime=0 cores=0-7
/proc/1411/task/1415/stat : 1415 (java) S 1409 1409 344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102937414 26628161536 10751 33554432000 4194304 4196468 140735141322656 140005725039632 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1416] ppid=1409 vsize=26004064 memory=8612 CPUtime=0 cores=0-7
/proc/1411/task/1416/stat : 1416 (java) S 1409 1409 344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102937414 26628161536 10751 33554432000 4194304 4196468 140735141322656 140005723987088 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1417] ppid=1409 vsize=26004064 memory=4620 CPUtime=0 cores=0-7
/proc/1411/task/1417/stat : 1417 (java) S 1409 1409 344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102937414 26628161536 10751 33554432000 4194304 4196468 140735141322656 140005722933520 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1418] ppid=1409 vsize=26004064 memory=1196 CPUtime=0 cores=0-7
/proc/1411/task/1418/stat : 1418 (java) S 1409 1409 344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102937414 26628161536 10751 33554432000 4194304 4196468 140735141322656 140005721880976 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1419] ppid=1409 vsize=26004064 memory=15872 CPUtime=0 cores=0-7
/proc/1411/task/1419/stat : 1419 (java) S 1409 1409 344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102937414 26628161536 10751 33554432000 4194304 4196468 140735141322656 140005720828432 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1420] ppid=1409 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1420/stat : 1420 (java) S 1409 1409 344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102937414 26628161536 10751 33554432000 4194304 4196468 140735141322656 140005719775888 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1421] ppid=1409 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1421/stat : 1421 (java) S 1409 1409 344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102937415 26628161536 10751 33554432000 4194304 4196468 140735141322656 140004843362800 140006168431234 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1422] ppid=1409 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1422/stat : 1422 (java) S 1409 1409 344 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102937416 26628161536 10751 33554432000 4194304 4196468 140735141322656 140004842309024 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1423] ppid=1409 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1423/stat : 1423 (java) S 1409 1409 344 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102937416 26628161536 10751 33554432000 4194304 4196468 140735141322656 140004841256432 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1424] ppid=1409 vsize=26004064 memory=139983788803535 CPUtime=0 cores=0-7
/proc/1411/task/1424/stat : 1424 (java) S 1409 1409 344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102937418 26628161536 10751 33554432000 4194304 4196468 140735141322656 140004840205008 140006168438683 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1425] ppid=1409 vsize=26004064 memory=67 CPUtime=0.01 cores=0-7
/proc/1411/task/1425/stat : 1425 (java) S 1409 1409 344 0 -1 1077944384 459 0 0 0 1 0 0 0 20 0 20 0 102937418 26628161536 10751 33554432000 4194304 4196468 140735141322656 140004839151600 140006168431234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1426] ppid=1409 vsize=26004064 memory=51172 CPUtime=0.02 cores=0-7
/proc/1411/task/1426/stat : 1426 (java) S 1409 1409 344 0 -1 1077944384 397 0 0 0 2 0 0 0 20 0 20 0 102937418 26628161536 10751 33554432000 4194304 4196468 140735141322656 140004838099056 140006168431234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1427] ppid=1409 vsize=26004064 memory=53476 CPUtime=0.02 cores=0-7
/proc/1411/task/1427/stat : 1427 (java) S 1409 1409 344 0 -1 1077944384 128 0 0 0 2 0 0 0 20 0 20 0 102937418 26628161536 10751 33554432000 4194304 4196468 140735141322656 140004837046512 140006168431234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1428] ppid=1409 vsize=26004064 memory=55780 CPUtime=0.12 cores=0-7
/proc/1411/task/1428/stat : 1428 (java) R 1409 1409 344 0 -1 4202560 1066 0 0 0 12 0 0 0 20 0 20 0 102937418 26628161536 10751 33554432000 4194304 4196468 140735141322656 140004835989232 140006148318051 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1429] ppid=1409 vsize=26004064 memory=110297088 CPUtime=0 cores=0-7
/proc/1411/task/1429/stat : 1429 (java) S 1409 1409 344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102937419 26628161536 10751 33554432000 4194304 4196468 140735141322656 140004834941664 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1430] ppid=1409 vsize=26004064 memory=9740287 CPUtime=0 cores=0-7
/proc/1411/task/1430/stat : 1430 (java) S 1409 1409 344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102937419 26628161536 10751 33554432000 4194304 4196468 140735141322656 140004833889200 140006168431234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 44384 KiB

[startup+0.70096 s]
/proc/loadavg: 8.05 8.24 7.95 4/201 1430
/proc/meminfo: memFree=27730824/32770624 swapFree=67108860/67108860
[pid=1409] ppid=1406 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/1409/stat : 1409 (xcsp3-exec) S 1406 1409 344 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 102937413 9740288 345 33554432000 4194304 5098028 140734872350576 140734872348680 139919491678844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26558464 140734872351844 140734872352055 140734872352055 140734872354795 0
/proc/1409/statm: 2378 345 289 221 0 87 0
[pid=1411] ppid=1409 vsize=26006188 memory=93248 CPUtime=1.95 cores=0-7
/proc/1411/stat : 1411 (java) S 1409 1409 344 0 -1 1077944320 15034 0 0 0 190 5 0 0 20 0 20 0 102937413 26630336512 23312 33554432000 4194304 4196468 140735141322656 140735141305200 140006168420087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
/proc/1411/statm: 6501547 23312 3195 1 0 6488781 0
[pid=1411/tid=1412] ppid=1409 vsize=26006188 memory=4580 CPUtime=0.67 cores=0-7
/proc/1411/task/1412/stat : 1412 (java) R 1409 1409 344 0 -1 4202560 6855 0 0 0 64 3 0 0 20 0 20 0 102937413 26630336512 23312 33554432000 4194304 4196468 140735141322656 140006172650384 140005809097601 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1413] ppid=1409 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1413/stat : 1413 (java) S 1409 1409 344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102937414 26630336512 23312 33554432000 4194304 4196468 140735141322656 140005727144720 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1414] ppid=1409 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1414/stat : 1414 (java) S 1409 1409 344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102937414 26630336512 23312 33554432000 4194304 4196468 140735141322656 140005726092176 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1415] ppid=1409 vsize=26006188 memory=4296 CPUtime=0 cores=0-7
/proc/1411/task/1415/stat : 1415 (java) S 1409 1409 344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102937414 26630336512 23312 33554432000 4194304 4196468 140735141322656 140005725039632 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1416] ppid=1409 vsize=26006188 memory=29864 CPUtime=0 cores=0-7
/proc/1411/task/1416/stat : 1416 (java) S 1409 1409 344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102937414 26630336512 23312 33554432000 4194304 4196468 140735141322656 140005723987088 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1417] ppid=1409 vsize=26006188 memory=1296 CPUtime=0 cores=0-7
/proc/1411/task/1417/stat : 1417 (java) S 1409 1409 344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102937414 26630336512 23312 33554432000 4194304 4196468 140735141322656 140005722933520 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1418] ppid=1409 vsize=26006188 memory=2408 CPUtime=0 cores=0-7
/proc/1411/task/1418/stat : 1418 (java) S 1409 1409 344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102937414 26630336512 23312 33554432000 4194304 4196468 140735141322656 140005721880976 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1419] ppid=1409 vsize=26006188 memory=1732 CPUtime=0 cores=0-7
/proc/1411/task/1419/stat : 1419 (java) S 1409 1409 344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102937414 26630336512 23312 33554432000 4194304 4196468 140735141322656 140005720828432 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1420] ppid=1409 vsize=26006188 memory=1224 CPUtime=0 cores=0-7
/proc/1411/task/1420/stat : 1420 (java) S 1409 1409 344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102937414 26630336512 23312 33554432000 4194304 4196468 140735141322656 140005719775888 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1421] ppid=1409 vsize=26006188 memory=12032 CPUtime=0 cores=0-7
/proc/1411/task/1421/stat : 1421 (java) S 1409 1409 344 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 102937415 26630336512 23312 33554432000 4194304 4196468 140735141322656 140004843362800 140006168431234 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1422] ppid=1409 vsize=26006188 memory=5792 CPUtime=0 cores=0-7
/proc/1411/task/1422/stat : 1422 (java) S 1409 1409 344 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102937416 26630336512 23312 33554432000 4194304 4196468 140735141322656 140004842309024 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1423] ppid=1409 vsize=26006188 memory=796 CPUtime=0 cores=0-7
/proc/1411/task/1423/stat : 1423 (java) S 1409 1409 344 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102937416 26630336512 23312 33554432000 4194304 4196468 140735141322656 140004841256432 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1424] ppid=1409 vsize=26006188 memory=7235406010027237986 CPUtime=0 cores=0-7
/proc/1411/task/1424/stat : 1424 (java) S 1409 1409 344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102937418 26630336512 23312 33554432000 4194304 4196468 140735141322656 140004840205008 140006168438683 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1425] ppid=1409 vsize=26006188 memory=5787213827348260672 CPUtime=0.29 cores=0-7
/proc/1411/task/1425/stat : 1425 (java) R 1409 1409 344 0 -1 4202560 1702 0 0 0 29 0 0 0 20 0 20 0 102937418 26630336512 23312 33554432000 4194304 4196468 140735141322656 140004839151600 140006148113187 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1426] ppid=1409 vsize=26006188 memory=26731176778 CPUtime=0.26 cores=0-7
/proc/1411/task/1426/stat : 1426 (java) R 1409 1409 344 0 -1 4202560 1230 0 0 0 26 0 0 0 20 0 20 0 102937418 26630336512 23312 33554432000 4194304 4196468 140735141322656 140004838088848 140006151830888 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1427] ppid=1409 vsize=26006188 memory=139983788804804 CPUtime=0.28 cores=0-7
/proc/1411/task/1427/stat : 1427 (java) R 1409 1409 344 0 -1 4202560 1376 0 0 0 28 0 0 0 20 0 20 0 102937418 26630336512 23312 33554432000 4194304 4196468 140735141322656 140004837027320 140006151916875 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1428] ppid=1409 vsize=26006188 memory=0 CPUtime=0.41 cores=0-7
/proc/1411/task/1428/stat : 1428 (java) R 1409 1409 344 0 -1 4202560 2555 0 0 0 41 0 0 0 20 0 20 0 102937418 26630336512 23312 33554432000 4194304 4196468 140735141322656 140004835989728 140006147374797 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1429] ppid=1409 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1429/stat : 1429 (java) S 1409 1409 344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102937419 26630336512 23312 33554432000 4194304 4196468 140735141322656 140004834941664 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1430] ppid=1409 vsize=26006188 memory=26641 CPUtime=0 cores=0-7
/proc/1411/task/1430/stat : 1430 (java) S 1409 1409 344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102937419 26630336512 23312 33554432000 4194304 4196468 140735141322656 140004833889200 140006168431234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
Current children cumulated CPU time: 1.95 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 94628 KiB

[startup+1.50162 s]
/proc/loadavg: 8.05 8.24 7.95 6/201 1430
/proc/meminfo: memFree=27620080/32770624 swapFree=67108860/67108860
[pid=1409] ppid=1406 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/1409/stat : 1409 (xcsp3-exec) S 1406 1409 344 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 102937413 9740288 345 33554432000 4194304 5098028 140734872350576 140734872348680 139919491678844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26558464 140734872351844 140734872352055 140734872352055 140734872354795 0
/proc/1409/statm: 2378 345 289 221 0 87 0
[pid=1411] ppid=1409 vsize=26538700 memory=218596 CPUtime=6.22 cores=0-7
/proc/1411/stat : 1411 (java) S 1409 1409 344 0 -1 1077944320 30001 0 0 0 609 13 0 0 20 0 28 0 102937413 27175628800 54649 33554432000 4194304 4196468 140735141322656 140735141305200 140006168420087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
/proc/1411/statm: 6634675 54649 3254 1 0 6621909 0
[pid=1411/tid=1412] ppid=1409 vsize=26538700 memory=7161400072778310739 CPUtime=1.16 cores=0-7
/proc/1411/task/1412/stat : 1412 (java) S 1409 1409 344 0 -1 1077944384 7832 0 0 0 111 5 0 0 20 0 28 0 102937413 27175628800 54649 33554432000 4194304 4196468 140735141322656 140006172660864 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1413] ppid=1409 vsize=26538700 memory=7307205175513670247 CPUtime=0 cores=0-7
/proc/1411/task/1413/stat : 1413 (java) S 1409 1409 344 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 102937414 27175628800 54649 33554432000 4194304 4196468 140735141322656 140005727144720 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1414] ppid=1409 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1414/stat : 1414 (java) S 1409 1409 344 0 -1 1077944384 207 0 0 0 0 0 0 0 20 0 28 0 102937414 27175628800 54649 33554432000 4194304 4196468 140735141322656 140005726092176 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1415] ppid=1409 vsize=26538700 memory=2241 CPUtime=0 cores=0-7
/proc/1411/task/1415/stat : 1415 (java) S 1409 1409 344 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 102937414 27175628800 54649 33554432000 4194304 4196468 140735141322656 140005725039632 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1416] ppid=1409 vsize=26538700 memory=2244 CPUtime=0 cores=0-7
/proc/1411/task/1416/stat : 1416 (java) S 1409 1409 344 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 102937414 27175628800 54649 33554432000 4194304 4196468 140735141322656 140005723987088 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1417] ppid=1409 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1417/stat : 1417 (java) S 1409 1409 344 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 102937414 27175628800 54649 33554432000 4194304 4196468 140735141322656 140005722933520 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1418] ppid=1409 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1418/stat : 1418 (java) S 1409 1409 344 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 102937414 27175628800 54649 33554432000 4194304 4196468 140735141322656 140005721880976 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1419] ppid=1409 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1419/stat : 1419 (java) S 1409 1409 344 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 28 0 102937414 27175628800 54649 33554432000 4194304 4196468 140735141322656 140005720828432 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1420] ppid=1409 vsize=26538700 memory=146033183034121 CPUtime=0 cores=0-7
/proc/1411/task/1420/stat : 1420 (java) S 1409 1409 344 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 28 0 102937414 27175628800 54649 33554432000 4194304 4196468 140735141322656 140005719775888 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1421] ppid=1409 vsize=26538700 memory=146033183034122 CPUtime=0 cores=0-7
/proc/1411/task/1421/stat : 1421 (java) S 1409 1409 344 0 -1 1077944384 243 0 0 0 0 0 0 0 20 0 28 0 102937415 27175628800 54649 33554432000 4194304 4196468 140735141322656 140004843362800 140006168431234 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1422] ppid=1409 vsize=26538700 memory=146033183034123 CPUtime=0 cores=0-7
/proc/1411/task/1422/stat : 1422 (java) S 1409 1409 344 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 102937416 27175628800 54649 33554432000 4194304 4196468 140735141322656 140004842309024 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1423] ppid=1409 vsize=26538700 memory=146033183034124 CPUtime=0 cores=0-7
/proc/1411/task/1423/stat : 1423 (java) S 1409 1409 344 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 102937416 27175628800 54649 33554432000 4194304 4196468 140735141322656 140004841256432 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1424] ppid=1409 vsize=26538700 memory=146033183034125 CPUtime=0 cores=0-7
/proc/1411/task/1424/stat : 1424 (java) S 1409 1409 344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102937418 27175628800 54649 33554432000 4194304 4196468 140735141322656 140004840205008 140006168438683 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1425] ppid=1409 vsize=26538700 memory=146033183034126 CPUtime=1.07 cores=0-7
/proc/1411/task/1425/stat : 1425 (java) R 1409 1409 344 0 -1 4202560 5395 0 0 0 106 1 0 0 20 0 28 0 102937418 27175628800 54649 33554432000 4194304 4196468 140735141322656 140004839133168 140006149945376 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1426] ppid=1409 vsize=26538700 memory=279967577524768 CPUtime=1.03 cores=0-7
/proc/1411/task/1426/stat : 1426 (java) R 1409 1409 344 0 -1 4202560 4571 0 0 0 102 1 0 0 20 0 28 0 102937418 27175628800 54649 33554432000 4194304 4196468 140735141322656 140004838085376 140006154030784 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1427] ppid=1409 vsize=26538700 memory=3473595210974344888 CPUtime=1.04 cores=0-7
/proc/1411/task/1427/stat : 1427 (java) R 1409 1409 344 0 -1 4202560 6057 0 0 0 103 1 0 0 20 0 28 0 102937418 27175628800 54649 33554432000 4194304 4196468 140735141322656 140004837031360 140006149964266 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1428] ppid=1409 vsize=26538700 memory=7518308036747814740 CPUtime=0.52 cores=0-7
/proc/1411/task/1428/stat : 1428 (java) R 1409 1409 344 0 -1 1077944384 3628 0 0 0 51 1 0 0 20 0 28 0 102937418 27175628800 54649 33554432000 4194304 4196468 140735141322656 140004835993968 140006168431234 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1429] ppid=1409 vsize=26538700 memory=6297835844906604903 CPUtime=0 cores=0-7
/proc/1411/task/1429/stat : 1429 (java) S 1409 1409 344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102937419 27175628800 54649 33554432000 4194304 4196468 140735141322656 140004834941664 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1430] ppid=1409 vsize=26538700 memory=6153431502485415009 CPUtime=0 cores=0-7
/proc/1411/task/1430/stat : 1430 (java) S 1409 1409 344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102937419 27175628800 54649 33554432000 4194304 4196468 140735141322656 140004833889200 140006168431234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 219976 KiB

[startup+1.6833 s]
# the end of solver process 1409 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=7.37383 s, system=0.147814 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1.60761 s]
/proc/loadavg: 8.05 8.24 7.95 6/201 1430
/proc/meminfo: memFree=27620080/32770624 swapFree=67108860/67108860
[pid=1409] ppid=1406 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/1409/stat : 1409 (xcsp3-exec) S 1406 1409 344 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 102937413 9740288 345 33554432000 4194304 5098028 140734872350576 140734872348680 139919491678844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26558464 140734872351844 140734872352055 140734872352055 140734872354795 0
/proc/1409/statm: 2378 345 289 221 0 87 0
[pid=1411] ppid=1409 vsize=26538700 memory=218968 CPUtime=7.07 cores=0-7
/proc/1411/stat : 1411 (java) S 1409 1409 344 0 -1 1077944320 30124 0 0 0 694 13 0 0 20 0 28 0 102937413 27175628800 54742 33554432000 4194304 4196468 140735141322656 140735141305200 140006168420087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
/proc/1411/statm: 6634675 54742 3260 1 0 6621909 0
[pid=1411/tid=1412] ppid=1409 vsize=26538700 memory=6944656592452807318 CPUtime=1.16 cores=0-7
/proc/1411/task/1412/stat : 1412 (java) S 1409 1409 344 0 -1 1077944384 7832 0 0 0 111 5 0 0 20 0 28 0 102937413 27175628800 54742 33554432000 4194304 4196468 140735141322656 140006172660864 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1413] ppid=1409 vsize=26538700 memory=-2970219127293634922 CPUtime=0 cores=0-7
/proc/1411/task/1413/stat : 1413 (java) S 1409 1409 344 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 102937414 27175628800 54742 33554432000 4194304 4196468 140735141322656 140005727144720 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1414] ppid=1409 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1414/stat : 1414 (java) S 1409 1409 344 0 -1 1077944384 207 0 0 0 0 0 0 0 20 0 28 0 102937414 27175628800 54742 33554432000 4194304 4196468 140735141322656 140005726092176 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1415] ppid=1409 vsize=26538700 memory=2241 CPUtime=0 cores=0-7
/proc/1411/task/1415/stat : 1415 (java) S 1409 1409 344 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 102937414 27175628800 54742 33554432000 4194304 4196468 140735141322656 140005725039632 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1416] ppid=1409 vsize=26538700 memory=2244 CPUtime=0 cores=0-7
/proc/1411/task/1416/stat : 1416 (java) S 1409 1409 344 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 102937414 27175628800 54742 33554432000 4194304 4196468 140735141322656 140005723987088 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1417] ppid=1409 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1417/stat : 1417 (java) S 1409 1409 344 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 102937414 27175628800 54742 33554432000 4194304 4196468 140735141322656 140005722933520 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1418] ppid=1409 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1418/stat : 1418 (java) S 1409 1409 344 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 102937414 27175628800 54742 33554432000 4194304 4196468 140735141322656 140005721880976 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1419] ppid=1409 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1419/stat : 1419 (java) S 1409 1409 344 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 28 0 102937414 27175628800 54742 33554432000 4194304 4196468 140735141322656 140005720828432 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1420] ppid=1409 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1420/stat : 1420 (java) S 1409 1409 344 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 28 0 102937414 27175628800 54742 33554432000 4194304 4196468 140735141322656 140005719775888 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1421] ppid=1409 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1421/stat : 1421 (java) R 1409 1409 344 0 -1 4202560 243 0 0 0 0 0 0 0 20 0 28 0 102937415 27175628800 54742 33554432000 4194304 4196468 140735141322656 140004843362800 140006161137239 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1422] ppid=1409 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1422/stat : 1422 (java) S 1409 1409 344 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 102937416 27175628800 54742 33554432000 4194304 4196468 140735141322656 140004842309024 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1423] ppid=1409 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1423/stat : 1423 (java) S 1409 1409 344 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 102937416 27175628800 54742 33554432000 4194304 4196468 140735141322656 140004841256432 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1424] ppid=1409 vsize=26538700 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/1411/task/1424/stat : 1424 (java) S 1409 1409 344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102937418 27175628800 54742 33554432000 4194304 4196468 140735141322656 140004840205008 140006168438683 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1425] ppid=1409 vsize=26538700 memory=6944656575208382560 CPUtime=1.13 cores=0-7
/proc/1411/task/1425/stat : 1425 (java) R 1409 1409 344 0 -1 4202560 5407 0 0 0 112 1 0 0 20 0 28 0 102937418 27175628800 54742 33554432000 4194304 4196468 140735141322656 140004839137664 140006153345093 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1426] ppid=1409 vsize=26538700 memory=960 CPUtime=1.09 cores=0-7
/proc/1411/task/1426/stat : 1426 (java) S 1409 1409 344 0 -1 1077944384 4596 0 0 0 108 1 0 0 20 0 28 0 102937418 27175628800 54742 33554432000 4194304 4196468 140735141322656 140004838089184 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1427] ppid=1409 vsize=26538700 memory=4104 CPUtime=1.12 cores=0-7
/proc/1411/task/1427/stat : 1427 (java) R 1409 1409 344 0 -1 4202560 6106 0 0 0 111 1 0 0 20 0 28 0 102937418 27175628800 54742 33554432000 4194304 4196468 140735141322656 140004837032608 140006149001642 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1428] ppid=1409 vsize=26538700 memory=0 CPUtime=0.54 cores=0-7
/proc/1411/task/1428/stat : 1428 (java) R 1409 1409 344 0 -1 1077944384 3662 0 0 0 53 1 0 0 20 0 28 0 102937418 27175628800 54742 33554432000 4194304 4196468 140735141322656 140004835993152 140006168430293 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1429] ppid=1409 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/1411/task/1429/stat : 1429 (java) S 1409 1409 344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102937419 27175628800 54742 33554432000 4194304 4196468 140735141322656 140004834941664 140006168430293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
[pid=1411/tid=1430] ppid=1409 vsize=26538700 memory=3467964688710619216 CPUtime=0 cores=0-7
/proc/1411/task/1430/stat : 1430 (java) S 1409 1409 344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102937419 27175628800 54742 33554432000 4194304 4196468 140735141322656 140004833889200 140006168431234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22659072 140735141328018 140735141328195 140735141328195 140735141330895 0
Current children cumulated CPU time: 7.07 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 220348 KiB

Child status: 0
Real time (s): 1.68335
CPU time (s): 7.52164
CPU user time (s): 7.37383
CPU system time (s): 0.147814
CPU usage (%): 446.825
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 220348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.37383
system time used= 0.147814
maximum resident set size= 220392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30766
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= 2957
involuntary context switches= 108


# summary of solver processes directly reported to runsolver:
#   pid: 1409
#   total CPU time (s): 7.52164
#   total CPU user time (s): 7.37383
#   total CPU system time (s): 0.147814

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.032484 second user time and 0.058878 second system time

The end
Name	Sat/ Sat-sum-flat200-479/Sat-flat200-13-sum.xml
MD5SUM	9d400fd9505b31c2b1343f5ecc4e80ca
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	0.217912
Satisfiable
(Un)Satisfiability was proved
Number of variables	600
Number of constraints	2237
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":600}]
Minimum variable degree	3
Maximum variable degree	11
Distribution of variable degrees	[{"degree":3,"count":3},{"degree":4,"count":6},{"degree":5,"count":27},{"degree":6,"count":93},{"degree":7,"count":138},{"degree":8,"count":138},{"degree":9,"count":105},{"degree":10,"count":57},{"degree":11,"count":33}]
Minimum constraint arity	2
Maximum constraint arity	3
Distribution of constraint arities	[{"arity":2,"count":2037},{"arity":3,"count":200}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":2237}]
Optimization problem	NO
Type of objective
Trace number 4271237

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
