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 seq (2017-08-09)	SAT	2.0509601	1.1672699
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 (7857 MiB free)
  memory of node 1: 16384 MiB (13766 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269445-1502849606/watcher-4269445-1502849606 -o /tmp/evaluation-result-4269445-1502849606/solver-4269445-1502849606 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1502838668-25115 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1316597440 HOME/instance-4269445-1502849606.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=26473, runsolver pid=26470
Current StackSize limit: 8192 KiB


[startup+0.105313 s]*
/proc/loadavg: 2.05 2.03 2.05 5/217 26489
/proc/meminfo: memFree=22127380/32770624 swapFree=67108860/67108860
[pid=26473] ppid=26470 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26473/stat : 26473 (xcsp3-exec) S 26470 26473 25083 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 118041491 9740288 346 33554432000 4194304 5098028 140721806078528 140721806076632 140381269385852 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18145280 140721806087278 140721806087483 140721806087483 140721806090219 0
/proc/26473/statm: 2378 346 289 221 0 87 0
[pid=26475] ppid=26473 vsize=13978596 memory=26612 CPUtime=0.13 cores=1,3,5,7
/proc/26475/stat : 26475 (java) S 26473 26473 25083 0 -1 1077944320 5524 0 0 0 12 1 0 0 20 0 15 0 118041492 14314082304 6653 33554432000 4194304 4196468 140734298071552 140734298054096 139795980738295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
/proc/26475/statm: 3494649 6653 2913 1 0 3482966 0
[pid=26475/tid=26476] ppid=26473 vsize=13978596 memory=-6962121287837372198 CPUtime=0.1 cores=1,3,5,7
/proc/26475/task/26476/stat : 26476 (java) R 26473 26473 25083 0 -1 4202560 3409 0 0 0 9 1 0 0 20 0 15 0 118041492 14314082304 6653 33554432000 4194304 4196468 140734298071552 139795984968672 139795964818782 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26477] ppid=26473 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26477/stat : 26477 (java) S 26473 26473 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118041493 14314082304 6653 33554432000 4194304 4196468 140734298071552 139795952581392 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26478] ppid=26473 vsize=13978596 memory=140107454355072 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26478/stat : 26478 (java) S 26473 26473 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118041493 14314082304 6653 33554432000 4194304 4196468 140734298071552 139795575446416 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26479] ppid=26473 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26479/stat : 26479 (java) S 26473 26473 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118041493 14314082304 6653 33554432000 4194304 4196468 140734298071552 139795574393872 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26480] ppid=26473 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26480/stat : 26480 (java) S 26473 26473 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118041493 14314082304 6653 33554432000 4194304 4196468 140734298071552 139795573341328 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26481] ppid=26473 vsize=13978596 memory=140107454355072 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26481/stat : 26481 (java) S 26473 26473 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118041494 14314082304 6653 33554432000 4194304 4196468 140734298071552 139795161712624 139795980749442 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26482] ppid=26473 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26482/stat : 26482 (java) S 26473 26473 25083 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118041494 14314082304 6653 33554432000 4194304 4196468 140734298071552 139795160658848 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26483] ppid=26473 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26483/stat : 26483 (java) S 26473 26473 25083 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118041495 14314082304 6653 33554432000 4194304 4196468 140734298071552 139795159606256 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26484] ppid=26473 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26484/stat : 26484 (java) S 26473 26473 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118041497 14314082304 6653 33554432000 4194304 4196468 140734298071552 139795158554832 139795980756891 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26485] ppid=26473 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26485/stat : 26485 (java) S 26473 26473 25083 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 15 0 118041497 14314082304 6653 33554432000 4194304 4196468 140734298071552 139795157502448 139795980749442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26486] ppid=26473 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26486/stat : 26486 (java) S 26473 26473 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118041497 14314082304 6653 33554432000 4194304 4196468 140734298071552 139795156449904 139795980749442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26487] ppid=26473 vsize=13978596 memory=140107454355072 CPUtime=0.02 cores=1,3,5,7
/proc/26475/task/26487/stat : 26487 (java) R 26473 26473 25083 0 -1 4202560 394 0 0 0 2 0 0 0 20 0 15 0 118041497 14314082304 6653 33554432000 4194304 4196468 140734298071552 139795155397360 139795973835131 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26488] ppid=26473 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26488/stat : 26488 (java) S 26473 26473 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118041497 14314082304 6653 33554432000 4194304 4196468 140734298071552 139795154345056 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26489] ppid=26473 vsize=13978596 memory=140107454355072 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26489/stat : 26489 (java) S 26473 26473 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118041497 14314082304 6653 33554432000 4194304 4196468 140734298071552 139795153291568 139795980749442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 27996 KiB

[startup+0.210735 s]*
/proc/loadavg: 2.05 2.03 2.05 3/217 26489
/proc/meminfo: memFree=22115488/32770624 swapFree=67108860/67108860
[pid=26473] ppid=26470 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26473/stat : 26473 (xcsp3-exec) S 26470 26473 25083 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 118041491 9740288 346 33554432000 4194304 5098028 140721806078528 140721806076632 140381269385852 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18145280 140721806087278 140721806087483 140721806087483 140721806090219 0
/proc/26473/statm: 2378 346 289 221 0 87 0
[pid=26475] ppid=26473 vsize=13982852 memory=39024 CPUtime=0.34 cores=1,3,5,7
/proc/26475/stat : 26475 (java) S 26473 26473 25083 0 -1 1077944320 8300 0 0 0 31 3 0 0 20 0 15 0 118041492 14318440448 9756 33554432000 4194304 4196468 140734298071552 140734298054096 139795980738295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
/proc/26475/statm: 3495713 9756 3068 1 0 3482966 0
[pid=26475/tid=26476] ppid=26473 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/26475/task/26476/stat : 26476 (java) R 26473 26473 25083 0 -1 4202560 5320 0 0 0 18 2 0 0 20 0 15 0 118041492 14318440448 9756 33554432000 4194304 4196468 140734298071552 139795984959288 139795964818782 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26477] ppid=26473 vsize=13982852 memory=8911 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26477/stat : 26477 (java) S 26473 26473 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118041493 14318440448 9756 33554432000 4194304 4196468 140734298071552 139795952581392 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26478] ppid=26473 vsize=13982852 memory=288370483606066816 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26478/stat : 26478 (java) S 26473 26473 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118041493 14318440448 9756 33554432000 4194304 4196468 140734298071552 139795575446416 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26479] ppid=26473 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26479/stat : 26479 (java) S 26473 26473 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118041493 14318440448 9756 33554432000 4194304 4196468 140734298071552 139795574393872 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26480] ppid=26473 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26480/stat : 26480 (java) S 26473 26473 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118041493 14318440448 9756 33554432000 4194304 4196468 140734298071552 139795573341328 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26481] ppid=26473 vsize=13982852 memory=140107454355072 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26481/stat : 26481 (java) S 26473 26473 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118041494 14318440448 9756 33554432000 4194304 4196468 140734298071552 139795161712624 139795980749442 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26482] ppid=26473 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26482/stat : 26482 (java) S 26473 26473 25083 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118041494 14318440448 9756 33554432000 4194304 4196468 140734298071552 139795160658848 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26483] ppid=26473 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26483/stat : 26483 (java) S 26473 26473 25083 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118041495 14318440448 9756 33554432000 4194304 4196468 140734298071552 139795159606256 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26484] ppid=26473 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26484/stat : 26484 (java) S 26473 26473 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118041497 14318440448 9756 33554432000 4194304 4196468 140734298071552 139795158554832 139795980756891 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26485] ppid=26473 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26475/task/26485/stat : 26485 (java) S 26473 26473 25083 0 -1 1077944384 604 0 0 0 2 0 0 0 20 0 15 0 118041497 14318440448 9756 33554432000 4194304 4196468 140734298071552 139795157502448 139795980749442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26486] ppid=26473 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/26475/task/26486/stat : 26486 (java) S 26473 26473 25083 0 -1 1077944384 177 0 0 0 2 0 0 0 20 0 15 0 118041497 14318440448 9756 33554432000 4194304 4196468 140734298071552 139795156449904 139795980749442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26487] ppid=26473 vsize=13982884 memory=140107454355072 CPUtime=0.08 cores=1,3,5,7
/proc/26475/task/26487/stat : 26487 (java) R 26473 26473 25083 0 -1 4202560 897 0 0 0 8 0 0 0 20 0 15 0 118041497 14318473216 9756 33554432000 4194304 4196468 140734298071552 139795155397360 139795960165852 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26488] ppid=26473 vsize=13982884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26488/stat : 26488 (java) S 26473 26473 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118041497 14318473216 9756 33554432000 4194304 4196468 140734298071552 139795154345056 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26489] ppid=26473 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26489/stat : 26489 (java) S 26473 26473 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118041497 14318440448 9777 33554432000 4194304 4196468 140734298071552 139795153291568 139795980749442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 40408 KiB

[startup+0.310512 s]*
/proc/loadavg: 2.05 2.03 2.05 3/217 26489
/proc/meminfo: memFree=22107920/32770624 swapFree=67108860/67108860
[pid=26473] ppid=26470 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26473/stat : 26473 (xcsp3-exec) S 26470 26473 25083 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 118041491 9740288 346 33554432000 4194304 5098028 140721806078528 140721806076632 140381269385852 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18145280 140721806087278 140721806087483 140721806087483 140721806090219 0
/proc/26473/statm: 2378 346 289 221 0 87 0
[pid=26475] ppid=26473 vsize=13982928 memory=46588 CPUtime=0.49 cores=1,3,5,7
/proc/26475/stat : 26475 (java) S 26473 26473 25083 0 -1 1077944320 9419 0 0 0 46 3 0 0 20 0 15 0 118041492 14318518272 11647 33554432000 4194304 4196468 140734298071552 140734298054096 139795980738295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
/proc/26475/statm: 3495732 11647 3117 1 0 3482966 0
[pid=26475/tid=26476] ppid=26473 vsize=13982928 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/26475/task/26476/stat : 26476 (java) R 26473 26473 25083 0 -1 4202560 6103 0 0 0 27 2 0 0 20 0 15 0 118041492 14318518272 11647 33554432000 4194304 4196468 140734298071552 139795984970656 139795964818782 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26477] ppid=26473 vsize=13982928 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26477/stat : 26477 (java) S 26473 26473 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118041493 14318518272 11647 33554432000 4194304 4196468 140734298071552 139795952581392 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26478] ppid=26473 vsize=13982928 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26478/stat : 26478 (java) S 26473 26473 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118041493 14318518272 11647 33554432000 4194304 4196468 140734298071552 139795575446416 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26479] ppid=26473 vsize=13982928 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26479/stat : 26479 (java) S 26473 26473 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118041493 14318518272 11647 33554432000 4194304 4196468 140734298071552 139795574393872 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26480] ppid=26473 vsize=13982928 memory=4500088472188524148 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26480/stat : 26480 (java) S 26473 26473 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118041493 14318518272 11647 33554432000 4194304 4196468 140734298071552 139795573341328 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26481] ppid=26473 vsize=13982928 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26481/stat : 26481 (java) S 26473 26473 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118041494 14318518272 11647 33554432000 4194304 4196468 140734298071552 139795161712624 139795980749442 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26482] ppid=26473 vsize=13982928 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26482/stat : 26482 (java) S 26473 26473 25083 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118041494 14318518272 11647 33554432000 4194304 4196468 140734298071552 139795160658848 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26483] ppid=26473 vsize=13982928 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26483/stat : 26483 (java) S 26473 26473 25083 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118041495 14318518272 11647 33554432000 4194304 4196468 140734298071552 139795159606256 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26484] ppid=26473 vsize=13982928 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26484/stat : 26484 (java) S 26473 26473 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118041497 14318518272 11647 33554432000 4194304 4196468 140734298071552 139795158554832 139795980756891 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26485] ppid=26473 vsize=13982928 memory=4713750055892520310 CPUtime=0.03 cores=1,3,5,7
/proc/26475/task/26485/stat : 26485 (java) S 26473 26473 25083 0 -1 1077944384 719 0 0 0 3 0 0 0 20 0 15 0 118041497 14318518272 11647 33554432000 4194304 4196468 140734298071552 139795157502448 139795980749442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26486] ppid=26473 vsize=13982928 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26475/task/26486/stat : 26486 (java) S 26473 26473 25083 0 -1 1077944384 256 0 0 0 3 0 0 0 20 0 15 0 118041497 14318518272 11647 33554432000 4194304 4196468 140734298071552 139795156449904 139795980749442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26487] ppid=26473 vsize=13982928 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/26475/task/26487/stat : 26487 (java) R 26473 26473 25083 0 -1 4202560 1038 0 0 0 11 0 0 0 20 0 15 0 118041497 14318518272 11647 33554432000 4194304 4196468 140734298071552 139795155397360 139795964818782 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26488] ppid=26473 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26488/stat : 26488 (java) S 26473 26473 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118041497 14318518272 11647 33554432000 4194304 4196468 140734298071552 139795154345056 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26489] ppid=26473 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26489/stat : 26489 (java) S 26473 26473 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118041497 14318518272 11647 33554432000 4194304 4196468 140734298071552 139795153291568 139795980749442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 47972 KiB

[startup+0.70083 s]
/proc/loadavg: 2.05 2.03 2.05 9/217 26489
/proc/meminfo: memFree=21892948/32770624 swapFree=67108860/67108860
[pid=26473] ppid=26470 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26473/stat : 26473 (xcsp3-exec) S 26470 26473 25083 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 118041491 9740288 346 33554432000 4194304 5098028 140721806078528 140721806076632 140381269385852 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18145280 140721806087278 140721806087483 140721806087483 140721806090219 0
/proc/26473/statm: 2378 346 289 221 0 87 0
[pid=26475] ppid=26473 vsize=13984976 memory=84220 CPUtime=1.42 cores=1,3,5,7
/proc/26475/stat : 26475 (java) S 26473 26473 25083 0 -1 1077944320 11149 0 0 0 137 5 0 0 20 0 15 0 118041492 14320615424 21055 33554432000 4194304 4196468 140734298071552 140734298054096 139795980738295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
/proc/26475/statm: 3496244 21055 3186 1 0 3483478 0
[pid=26475/tid=26476] ppid=26473 vsize=13984976 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/26475/task/26476/stat : 26476 (java) R 26473 26473 25083 0 -1 4202560 6632 0 0 0 64 3 0 0 20 0 15 0 118041492 14320615424 21055 33554432000 4194304 4196468 140734298071552 139795984976976 139795619995075 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26477] ppid=26473 vsize=13984976 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26477/stat : 26477 (java) S 26473 26473 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118041493 14320615424 21055 33554432000 4194304 4196468 140734298071552 139795952581392 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26478] ppid=26473 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26478/stat : 26478 (java) S 26473 26473 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118041493 14320615424 21055 33554432000 4194304 4196468 140734298071552 139795575446416 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26479] ppid=26473 vsize=13984976 memory=33268 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26479/stat : 26479 (java) S 26473 26473 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118041493 14320615424 21055 33554432000 4194304 4196468 140734298071552 139795574393872 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26480] ppid=26473 vsize=13984976 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26480/stat : 26480 (java) S 26473 26473 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118041493 14320615424 21055 33554432000 4194304 4196468 140734298071552 139795573341328 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26481] ppid=26473 vsize=13984976 memory=2408 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26481/stat : 26481 (java) S 26473 26473 25083 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 118041494 14320615424 21055 33554432000 4194304 4196468 140734298071552 139795161712624 139795980749442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26482] ppid=26473 vsize=13984976 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26482/stat : 26482 (java) S 26473 26473 25083 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118041494 14320615424 21055 33554432000 4194304 4196468 140734298071552 139795160658848 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26483] ppid=26473 vsize=13984976 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26483/stat : 26483 (java) S 26473 26473 25083 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118041495 14320615424 21055 33554432000 4194304 4196468 140734298071552 139795159606256 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26484] ppid=26473 vsize=13984976 memory=12032 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26484/stat : 26484 (java) S 26473 26473 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118041497 14320615424 21055 33554432000 4194304 4196468 140734298071552 139795158554832 139795980756891 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26485] ppid=26473 vsize=13984976 memory=5792 CPUtime=0.25 cores=1,3,5,7
/proc/26475/task/26485/stat : 26485 (java) S 26473 26473 25083 0 -1 1077944384 1244 0 0 0 25 0 0 0 20 0 15 0 118041497 14320615424 21055 33554432000 4194304 4196468 140734298071552 139795157502448 139795980749442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26486] ppid=26473 vsize=13984976 memory=796 CPUtime=0.26 cores=1,3,5,7
/proc/26475/task/26486/stat : 26486 (java) S 26473 26473 25083 0 -1 1077944384 698 0 0 0 26 0 0 0 20 0 15 0 118041497 14320615424 21055 33554432000 4194304 4196468 140734298071552 139795156449904 139795980749442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26487] ppid=26473 vsize=13984976 memory=1436 CPUtime=0.21 cores=1,3,5,7
/proc/26475/task/26487/stat : 26487 (java) S 26473 26473 25083 0 -1 1077944384 1265 0 0 0 21 0 0 0 20 0 15 0 118041497 14320615424 21055 33554432000 4194304 4196468 140734298071552 139795155397360 139795980749442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26488] ppid=26473 vsize=13984976 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26488/stat : 26488 (java) S 26473 26473 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118041497 14320615424 21055 33554432000 4194304 4196468 140734298071552 139795154345056 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26489] ppid=26473 vsize=13984976 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26489/stat : 26489 (java) S 26473 26473 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118041497 14320615424 21055 33554432000 4194304 4196468 140734298071552 139795153291568 139795980749442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 85604 KiB

[startup+1.16724 s]
# the end of solver process 26473 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1.99302 s, system=0.057938 s

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

[startup+0.800913 s]
/proc/loadavg: 2.05 2.03 2.05 9/217 26489
/proc/meminfo: memFree=21892948/32770624 swapFree=67108860/67108860
[pid=26473] ppid=26470 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26473/stat : 26473 (xcsp3-exec) S 26470 26473 25083 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 118041491 9740288 346 33554432000 4194304 5098028 140721806078528 140721806076632 140381269385852 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18145280 140721806087278 140721806087483 140721806087483 140721806090219 0
/proc/26473/statm: 2378 346 289 221 0 87 0
[pid=26475] ppid=26473 vsize=13984976 memory=84384 CPUtime=1.57 cores=1,3,5,7
/proc/26475/stat : 26475 (java) S 26473 26473 25083 0 -1 1077944320 11177 0 0 0 152 5 0 0 20 0 15 0 118041492 14320615424 21096 33554432000 4194304 4196468 140734298071552 140734298054096 139795980738295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
/proc/26475/statm: 3496244 21096 3186 1 0 3483478 0
[pid=26475/tid=26476] ppid=26473 vsize=13984976 memory=4620 CPUtime=0.77 cores=1,3,5,7
/proc/26475/task/26476/stat : 26476 (java) R 26473 26473 25083 0 -1 4202560 6632 0 0 0 74 3 0 0 20 0 15 0 118041492 14320615424 21096 33554432000 4194304 4196468 140734298071552 139795984976976 139795619995043 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26477] ppid=26473 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26477/stat : 26477 (java) S 26473 26473 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118041493 14320615424 21096 33554432000 4194304 4196468 140734298071552 139795952581392 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26478] ppid=26473 vsize=13984976 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26478/stat : 26478 (java) S 26473 26473 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118041493 14320615424 21096 33554432000 4194304 4196468 140734298071552 139795575446416 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26479] ppid=26473 vsize=13984976 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26479/stat : 26479 (java) S 26473 26473 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118041493 14320615424 21096 33554432000 4194304 4196468 140734298071552 139795574393872 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26480] ppid=26473 vsize=13984976 memory=8836 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26480/stat : 26480 (java) S 26473 26473 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118041493 14320615424 21096 33554432000 4194304 4196468 140734298071552 139795573341328 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26481] ppid=26473 vsize=13984976 memory=11044 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26481/stat : 26481 (java) S 26473 26473 25083 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 118041494 14320615424 21096 33554432000 4194304 4196468 140734298071552 139795161712624 139795980749442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26482] ppid=26473 vsize=13984976 memory=13252 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26482/stat : 26482 (java) S 26473 26473 25083 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118041494 14320615424 21096 33554432000 4194304 4196468 140734298071552 139795160658848 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26483] ppid=26473 vsize=13984976 memory=15460 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26483/stat : 26483 (java) S 26473 26473 25083 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118041495 14320615424 21096 33554432000 4194304 4196468 140734298071552 139795159606256 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26484] ppid=26473 vsize=13984976 memory=17668 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26484/stat : 26484 (java) S 26473 26473 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118041497 14320615424 21096 33554432000 4194304 4196468 140734298071552 139795158554832 139795980756891 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26485] ppid=26473 vsize=13984976 memory=19876 CPUtime=0.27 cores=1,3,5,7
/proc/26475/task/26485/stat : 26485 (java) R 26473 26473 25083 0 -1 4202560 1245 0 0 0 27 0 0 0 20 0 15 0 118041497 14320615424 21096 33554432000 4194304 4196468 140734298071552 139795157502448 139795964125607 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26486] ppid=26473 vsize=13984976 memory=22084 CPUtime=0.28 cores=1,3,5,7
/proc/26475/task/26486/stat : 26486 (java) S 26473 26473 25083 0 -1 1077944384 706 0 0 0 28 0 0 0 20 0 15 0 118041497 14320615424 21096 33554432000 4194304 4196468 140734298071552 139795156449904 139795980749442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26487] ppid=26473 vsize=13984976 memory=24292 CPUtime=0.22 cores=1,3,5,7
/proc/26475/task/26487/stat : 26487 (java) S 26473 26473 25083 0 -1 1077944384 1284 0 0 0 22 0 0 0 20 0 15 0 118041497 14320615424 21096 33554432000 4194304 4196468 140734298071552 139795155397360 139795980749442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26488] ppid=26473 vsize=13984976 memory=26500 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26488/stat : 26488 (java) S 26473 26473 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118041497 14320615424 21096 33554432000 4194304 4196468 140734298071552 139795154345056 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26489] ppid=26473 vsize=13984976 memory=28708 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26489/stat : 26489 (java) S 26473 26473 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118041497 14320615424 21096 33554432000 4194304 4196468 140734298071552 139795153291568 139795980749442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
Current children cumulated CPU time: 1.57 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 85768 KiB

[startup+1.00069 s]*
/proc/loadavg: 2.05 2.03 2.05 6/217 26489
/proc/meminfo: memFree=21727000/32770624 swapFree=67108860/67108860
[pid=26473] ppid=26470 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26473/stat : 26473 (xcsp3-exec) S 26470 26473 25083 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 118041491 9740288 346 33554432000 4194304 5098028 140721806078528 140721806076632 140381269385852 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18145280 140721806087278 140721806087483 140721806087483 140721806090219 0
/proc/26473/statm: 2378 346 289 221 0 87 0
[pid=26475] ppid=26473 vsize=13984976 memory=86476 CPUtime=1.85 cores=1,3,5,7
/proc/26475/stat : 26475 (java) S 26473 26473 25083 0 -1 1077944320 11199 0 0 0 180 5 0 0 20 0 15 0 118041492 14320615424 21619 33554432000 4194304 4196468 140734298071552 140734298054096 139795980738295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
/proc/26475/statm: 3496244 21619 3188 1 0 3483478 0
[pid=26475/tid=26476] ppid=26473 vsize=13984976 memory=27992919332356134 CPUtime=0.98 cores=1,3,5,7
/proc/26475/task/26476/stat : 26476 (java) R 26473 26473 25083 0 -1 4202560 6633 0 0 0 95 3 0 0 20 0 15 0 118041492 14320615424 21619 33554432000 4194304 4196468 140734298071552 139795984976976 139795619982941 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26477] ppid=26473 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26477/stat : 26477 (java) S 26473 26473 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118041493 14320615424 21619 33554432000 4194304 4196468 140734298071552 139795952581392 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26478] ppid=26473 vsize=13984976 memory=291238216898201216 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26478/stat : 26478 (java) S 26473 26473 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118041493 14320615424 21619 33554432000 4194304 4196468 140734298071552 139795575446416 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26479] ppid=26473 vsize=13984976 memory=-7027409196973593448 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26479/stat : 26479 (java) S 26473 26473 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118041493 14320615424 21619 33554432000 4194304 4196468 140734298071552 139795574393872 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26480] ppid=26473 vsize=13984976 memory=-7088785026379990432 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26480/stat : 26480 (java) S 26473 26473 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118041493 14320615424 21619 33554432000 4194304 4196468 140734298071552 139795573341328 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26481] ppid=26473 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26481/stat : 26481 (java) S 26473 26473 25083 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 118041494 14320615424 21619 33554432000 4194304 4196468 140734298071552 139795161712624 139795980749442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26482] ppid=26473 vsize=13984976 memory=3472328296227680303 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26482/stat : 26482 (java) S 26473 26473 25083 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118041494 14320615424 21619 33554432000 4194304 4196468 140734298071552 139795160658848 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26483] ppid=26473 vsize=13984976 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26483/stat : 26483 (java) S 26473 26473 25083 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118041495 14320615424 21619 33554432000 4194304 4196468 140734298071552 139795159606256 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26484] ppid=26473 vsize=13984976 memory=-1891255765032775953 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26484/stat : 26484 (java) S 26473 26473 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118041497 14320615424 21619 33554432000 4194304 4196468 140734298071552 139795158554832 139795980756891 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26485] ppid=26473 vsize=13984976 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/26475/task/26485/stat : 26485 (java) S 26473 26473 25083 0 -1 1077944384 1257 0 0 0 30 0 0 0 20 0 15 0 118041497 14320615424 21619 33554432000 4194304 4196468 140734298071552 139795157502448 139795980749442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26486] ppid=26473 vsize=13984976 memory=-1 CPUtime=0.31 cores=1,3,5,7
/proc/26475/task/26486/stat : 26486 (java) S 26473 26473 25083 0 -1 1077944384 710 0 0 0 31 0 0 0 20 0 15 0 118041497 14320615424 21619 33554432000 4194304 4196468 140734298071552 139795156449904 139795980749442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26487] ppid=26473 vsize=13984976 memory=140107454355072 CPUtime=0.22 cores=1,3,5,7
/proc/26475/task/26487/stat : 26487 (java) S 26473 26473 25083 0 -1 1077944384 1289 0 0 0 22 0 0 0 20 0 15 0 118041497 14320615424 21619 33554432000 4194304 4196468 140734298071552 139795155397360 139795980749442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26488] ppid=26473 vsize=13984976 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26488/stat : 26488 (java) S 26473 26473 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118041497 14320615424 21619 33554432000 4194304 4196468 140734298071552 139795154345056 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26489] ppid=26473 vsize=13984976 memory=140107454355072 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26489/stat : 26489 (java) S 26473 26473 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118041497 14320615424 21619 33554432000 4194304 4196468 140734298071552 139795153291568 139795980749442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
Current children cumulated CPU time: 1.85 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 87860 KiB

[startup+1.10995 s]
/proc/loadavg: 2.05 2.03 2.05 6/217 26489
/proc/meminfo: memFree=21727000/32770624 swapFree=67108860/67108860
[pid=26473] ppid=26470 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26473/stat : 26473 (xcsp3-exec) S 26470 26473 25083 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 118041491 9740288 346 33554432000 4194304 5098028 140721806078528 140721806076632 140381269385852 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18145280 140721806087278 140721806087483 140721806087483 140721806090219 0
/proc/26473/statm: 2378 346 289 221 0 87 0
[pid=26475] ppid=26473 vsize=13984976 memory=88736 CPUtime=1.96 cores=1,3,5,7
/proc/26475/stat : 26475 (java) S 26473 26473 25083 0 -1 1077944320 11539 0 0 0 191 5 0 0 20 0 15 0 118041492 14320615424 22184 33554432000 4194304 4196468 140734298071552 140734298054096 139795980738295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
/proc/26475/statm: 3496244 22184 3189 1 0 3483478 0
[pid=26475/tid=26476] ppid=26473 vsize=13984976 memory=33 CPUtime=1.08 cores=1,3,5,7
/proc/26475/task/26476/stat : 26476 (java) R 26473 26473 25083 0 -1 4202560 6755 0 0 0 105 3 0 0 20 0 15 0 118041492 14320615424 22184 33554432000 4194304 4196468 140734298071552 139795984975296 139795619982941 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26477] ppid=26473 vsize=13984976 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26477/stat : 26477 (java) S 26473 26473 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118041493 14320615424 22184 33554432000 4194304 4196468 140734298071552 139795952581392 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26478] ppid=26473 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26478/stat : 26478 (java) S 26473 26473 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118041493 14320615424 22184 33554432000 4194304 4196468 140734298071552 139795575446416 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26479] ppid=26473 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26479/stat : 26479 (java) S 26473 26473 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118041493 14320615424 22184 33554432000 4194304 4196468 140734298071552 139795574393872 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26480] ppid=26473 vsize=13984976 memory=280214672427248 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26480/stat : 26480 (java) S 26473 26473 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118041493 14320615424 22184 33554432000 4194304 4196468 140734298071552 139795573341328 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26481] ppid=26473 vsize=13984976 memory=9133 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26481/stat : 26481 (java) S 26473 26473 25083 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 118041494 14320615424 22184 33554432000 4194304 4196468 140734298071552 139795161712624 139795980749442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26482] ppid=26473 vsize=13984976 memory=25180 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26482/stat : 26482 (java) S 26473 26473 25083 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118041494 14320615424 22184 33554432000 4194304 4196468 140734298071552 139795160658848 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26483] ppid=26473 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26483/stat : 26483 (java) S 26473 26473 25083 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118041495 14320615424 22184 33554432000 4194304 4196468 140734298071552 139795159606256 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26484] ppid=26473 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26484/stat : 26484 (java) S 26473 26473 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118041497 14320615424 22184 33554432000 4194304 4196468 140734298071552 139795158554832 139795980756891 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26485] ppid=26473 vsize=13984976 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/26475/task/26485/stat : 26485 (java) S 26473 26473 25083 0 -1 1077944384 1286 0 0 0 30 0 0 0 20 0 15 0 118041497 14320615424 22184 33554432000 4194304 4196468 140734298071552 139795157502448 139795980749442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26486] ppid=26473 vsize=13984976 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/26475/task/26486/stat : 26486 (java) S 26473 26473 25083 0 -1 1077944384 712 0 0 0 31 0 0 0 20 0 15 0 118041497 14320615424 22184 33554432000 4194304 4196468 140734298071552 139795156449904 139795980749442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26487] ppid=26473 vsize=13984976 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/26475/task/26487/stat : 26487 (java) S 26473 26473 25083 0 -1 1077944384 1462 0 0 0 22 0 0 0 20 0 15 0 118041497 14320615424 22184 33554432000 4194304 4196468 140734298071552 139795155397360 139795980749442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26488] ppid=26473 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26488/stat : 26488 (java) S 26473 26473 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118041497 14320615424 22184 33554432000 4194304 4196468 140734298071552 139795154345056 139795980748501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
[pid=26475/tid=26489] ppid=26473 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26475/task/26489/stat : 26489 (java) S 26473 26473 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118041497 14320615424 22184 33554432000 4194304 4196468 140734298071552 139795153291568 139795980749442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19582976 140734298076311 140734298076487 140734298076487 140734298079183 0
Current children cumulated CPU time: 1.96 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 90120 KiB

Child status: 0
Real time (s): 1.16727
CPU time (s): 2.05096
CPU user time (s): 1.99302
CPU system time (s): 0.057938
CPU usage (%): 175.706
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 90120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.99302
system time used= 0.057938
maximum resident set size= 89420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14170
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1541
involuntary context switches= 6


# summary of solver processes directly reported to runsolver:
#   pid: 26473
#   total CPU time (s): 2.05096
#   total CPU user time (s): 1.99302
#   total CPU system time (s): 0.057938

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.037468 second user time and 0.049937 second system time

The end
Name	Domino/ Domino-m1-s1/Domino-300-300.xml
MD5SUM	f2877c27d9d8eb249e584ffb90778d14
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.0095349997
Satisfiable
(Un)Satisfiability was proved
Number of variables	300
Number of constraints	2
Number of domains	1
Minimum domain size	300
Maximum domain size	300
Distribution of domain sizes	[{"size":300,"count":300}]
Minimum variable degree	1
Maximum variable degree	2
Distribution of variable degrees	[{"degree":1,"count":298},{"degree":2,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	300
Distribution of constraint arities	[{"arity":2,"count":1},{"arity":300,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	1
Distribution of constraint types	[{"type":"intension","count":1},{"type":"allEqual","count":1}]
Optimization problem	NO
Type of objective
Trace number 4269445

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
