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 5a (2017-08-18)	SAT	3.6155801	1.40035
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 (14318 MiB free)
  memory of node 1: 16384 MiB (15431 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283990-1503192358/watcher-4283990-1503192358 -o /tmp/evaluation-result-4283990-1503192358/solver-4283990-1503192358 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1503172133-9103 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1376734949 HOME/instance-4283990-1503192358.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
Current StackSize limit: 8192 KiB

solver pid=15121, runsolver pid=15118

[startup+0.100118 s]*
/proc/loadavg: 2.51 1.92 1.72 3/205 15128
/proc/meminfo: memFree=30458628/32770624 swapFree=67108860/67108860
[pid=15121] ppid=15118 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15121/stat : 15121 (xcsp3-exec) S 15118 15121 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121428755 9740288 345 18446744073709551615 4194304 5098028 140724401948704 140724401946808 139673428030076 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 22675456 140724401951096 140724401951301 140724401951301 140724401954795 0
/proc/15121/statm: 2378 345 289 221 0 87 0
[pid=15123] ppid=15121 vsize=13358712 memory=16148 CPUtime=0 cores=1,3,5,7
/proc/15123/stat : 15123 (java) S 15121 15121 28892 0 -1 1077944320 3295 0 0 0 0 0 0 0 20 0 6 0 121428764 13679321088 4037 18446744073709551615 4194304 4196468 140724848457328 140724848439872 140387340156663 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
/proc/15123/statm: 3339678 4037 1901 1 0 3329175 0
[pid=15123/tid=15124] ppid=15121 vsize=13358712 memory=-8023549066454273880 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15124/stat : 15124 (java) R 15121 15121 28892 0 -1 4202560 2066 0 0 0 0 0 0 0 20 0 6 0 121428765 13679321088 4037 18446744073709551615 4194304 4196468 140724848457328 140387344392784 140387340178589 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15125] ppid=15121 vsize=13358712 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15125/stat : 15125 (java) S 15121 15121 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 121428765 13679321088 4037 18446744073709551615 4194304 4196468 140724848457328 140387259570960 140387340166869 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15126] ppid=15121 vsize=13358712 memory=139875415467648 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15126/stat : 15126 (java) S 15121 15121 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 121428765 13679321088 4037 18446744073709551615 4194304 4196468 140724848457328 140387258518416 140387340166869 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15127] ppid=15121 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15127/stat : 15127 (java) S 15121 15121 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 121428765 13679321088 4037 18446744073709551615 4194304 4196468 140724848457328 140387257465872 140387340166869 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15128] ppid=15121 vsize=13358712 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15128/stat : 15128 (java) S 15121 15121 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 121428765 13679321088 4037 18446744073709551615 4194304 4196468 140724848457328 140387256413328 140387340166869 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 17528 KiB

[startup+0.214139 s]*
/proc/loadavg: 2.51 1.92 1.72 3/214 15137
/proc/meminfo: memFree=30446128/32770624 swapFree=67108860/67108860
[pid=15121] ppid=15118 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15121/stat : 15121 (xcsp3-exec) S 15118 15121 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121428755 9740288 345 18446744073709551615 4194304 5098028 140724401948704 140724401946808 139673428030076 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 22675456 140724401951096 140724401951301 140724401951301 140724401954795 0
/proc/15121/statm: 2378 345 289 221 0 87 0
[pid=15123] ppid=15121 vsize=13974352 memory=28404 CPUtime=0.11 cores=1,3,5,7
/proc/15123/stat : 15123 (java) S 15121 15121 28892 0 -1 1077944320 5091 0 0 0 10 1 0 0 20 0 15 0 121428764 14309736448 7101 18446744073709551615 4194304 4196468 140724848457328 140724848439872 140387340156663 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
/proc/15123/statm: 3493588 7101 2812 1 0 3482964 0
[pid=15123/tid=15124] ppid=15121 vsize=13974352 memory=7311146985107750967 CPUtime=0.08 cores=1,3,5,7
/proc/15123/task/15124/stat : 15124 (java) R 15121 15121 28892 0 -1 4202560 3105 0 0 0 8 0 0 0 20 0 15 0 121428765 14309736448 7101 18446744073709551615 4194304 4196468 140724848457328 140387344388656 140387340168598 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15125] ppid=15121 vsize=13974352 memory=13729 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15125/stat : 15125 (java) S 15121 15121 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121428765 14309736448 7101 18446744073709551615 4194304 4196468 140724848457328 140387259570960 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15126] ppid=15121 vsize=13974352 memory=3473035528246896288 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15126/stat : 15126 (java) S 15121 15121 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121428765 14309736448 7101 18446744073709551615 4194304 4196468 140724848457328 140387258518416 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15127] ppid=15121 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15127/stat : 15127 (java) S 15121 15121 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121428765 14309736448 7101 18446744073709551615 4194304 4196468 140724848457328 140387257465872 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15128] ppid=15121 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15128/stat : 15128 (java) S 15121 15121 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121428765 14309736448 7101 18446744073709551615 4194304 4196468 140724848457328 140387256413328 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15129] ppid=15121 vsize=13974352 memory=139875415467648 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15129/stat : 15129 (java) S 15121 15121 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121428767 14309736448 7101 18446744073709551615 4194304 4196468 140724848457328 140386817796080 140387340167810 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15130] ppid=15121 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15130/stat : 15130 (java) S 15121 15121 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121428767 14309736448 7101 18446744073709551615 4194304 4196468 140724848457328 140386816742304 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15131] ppid=15121 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15131/stat : 15131 (java) S 15121 15121 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121428767 14309736448 7101 18446744073709551615 4194304 4196468 140724848457328 140386815689712 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15132] ppid=15121 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15132/stat : 15132 (java) S 15121 15121 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121428770 14309736448 7101 18446744073709551615 4194304 4196468 140724848457328 140386814638288 140387340175259 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15133] ppid=15121 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15133/stat : 15133 (java) R 15121 15121 28892 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 121428770 14309736448 7101 18446744073709551615 4194304 4196468 140724848457328 140386813585904 140387340167810 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15134] ppid=15121 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15134/stat : 15134 (java) S 15121 15121 28892 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 121428770 14309736448 7101 18446744073709551615 4194304 4196468 140724848457328 140386812533360 140387340167810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15135] ppid=15121 vsize=13974352 memory=139875415467648 CPUtime=0.01 cores=1,3,5,7
/proc/15123/task/15135/stat : 15135 (java) R 15121 15121 28892 0 -1 4202560 253 0 0 0 1 0 0 0 20 0 15 0 121428770 14309736448 7101 18446744073709551615 4194304 4196468 140724848457328 140386811480816 140387340178010 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15136] ppid=15121 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15136/stat : 15136 (java) S 15121 15121 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121428770 14309736448 7101 18446744073709551615 4194304 4196468 140724848457328 140386810428512 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15137] ppid=15121 vsize=13974352 memory=139875415467648 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15137/stat : 15137 (java) S 15121 15121 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121428773 14309736448 7101 18446744073709551615 4194304 4196468 140724848457328 140386809375024 140387340167810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29784 KiB

[startup+0.31039 s]*
/proc/loadavg: 2.62 1.95 1.73 3/213 15137
/proc/meminfo: memFree=30437068/32770624 swapFree=67108860/67108860
[pid=15121] ppid=15118 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15121/stat : 15121 (xcsp3-exec) S 15118 15121 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121428755 9740288 345 18446744073709551615 4194304 5098028 140724401948704 140724401946808 139673428030076 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 22675456 140724401951096 140724401951301 140724401951301 140724401954795 0
/proc/15121/statm: 2378 345 289 221 0 87 0
[pid=15123] ppid=15121 vsize=13974352 memory=39276 CPUtime=0.31 cores=1,3,5,7
/proc/15123/stat : 15123 (java) S 15121 15121 28892 0 -1 1077944320 8464 0 0 0 28 3 0 0 20 0 15 0 121428764 14309736448 9819 18446744073709551615 4194304 4196468 140724848457328 140724848439872 140387340156663 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
/proc/15123/statm: 3493588 9819 2988 1 0 3482964 0
[pid=15123/tid=15124] ppid=15121 vsize=13974352 memory=-7677926825137650786 CPUtime=0.18 cores=1,3,5,7
/proc/15123/task/15124/stat : 15124 (java) R 15121 15121 28892 0 -1 4202560 5690 0 0 0 16 2 0 0 20 0 15 0 121428765 14309736448 9819 18446744073709551615 4194304 4196468 140724848457328 140387344386400 140386928530512 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15125] ppid=15121 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15125/stat : 15125 (java) S 15121 15121 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121428765 14309736448 9819 18446744073709551615 4194304 4196468 140724848457328 140387259570960 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15126] ppid=15121 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15126/stat : 15126 (java) S 15121 15121 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121428765 14309736448 9819 18446744073709551615 4194304 4196468 140724848457328 140387258518416 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15127] ppid=15121 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15127/stat : 15127 (java) S 15121 15121 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121428765 14309736448 9819 18446744073709551615 4194304 4196468 140724848457328 140387257465872 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15128] ppid=15121 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15128/stat : 15128 (java) S 15121 15121 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121428765 14309736448 9819 18446744073709551615 4194304 4196468 140724848457328 140387256413328 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15129] ppid=15121 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15129/stat : 15129 (java) S 15121 15121 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121428767 14309736448 9819 18446744073709551615 4194304 4196468 140724848457328 140386817796080 140387340167810 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15130] ppid=15121 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15130/stat : 15130 (java) S 15121 15121 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121428767 14309736448 9819 18446744073709551615 4194304 4196468 140724848457328 140386816742304 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15131] ppid=15121 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15131/stat : 15131 (java) S 15121 15121 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121428767 14309736448 9819 18446744073709551615 4194304 4196468 140724848457328 140386815689712 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15132] ppid=15121 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15132/stat : 15132 (java) S 15121 15121 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121428770 14309736448 9819 18446744073709551615 4194304 4196468 140724848457328 140386814638288 140387340175259 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15133] ppid=15121 vsize=13974352 memory=139875273961152 CPUtime=0.03 cores=1,3,5,7
/proc/15123/task/15133/stat : 15133 (java) S 15121 15121 28892 0 -1 1077944384 451 0 0 0 3 0 0 0 20 0 15 0 121428770 14309736448 9819 18446744073709551615 4194304 4196468 140724848457328 140386813585904 140387340167810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15134] ppid=15121 vsize=13974352 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/15123/task/15134/stat : 15134 (java) S 15121 15121 28892 0 -1 1077944384 294 0 0 0 2 0 0 0 20 0 15 0 121428770 14309736448 9819 18446744073709551615 4194304 4196468 140724848457328 140386812533360 140387340167810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15135] ppid=15121 vsize=13974352 memory=139875415467648 CPUtime=0.06 cores=1,3,5,7
/proc/15123/task/15135/stat : 15135 (java) R 15121 15121 28892 0 -1 4202560 723 0 0 0 6 0 0 0 20 0 15 0 121428770 14309736448 9819 18446744073709551615 4194304 4196468 140724848457328 140386811480816 140387340168598 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15136] ppid=15121 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15136/stat : 15136 (java) S 15121 15121 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121428770 14309736448 9819 18446744073709551615 4194304 4196468 140724848457328 140386810428512 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15137] ppid=15121 vsize=13974352 memory=139875415467648 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15137/stat : 15137 (java) S 15121 15121 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121428773 14309736448 9819 18446744073709551615 4194304 4196468 140724848457328 140386809375024 140387340167810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 40656 KiB

[startup+0.701108 s]
/proc/loadavg: 2.62 1.95 1.73 5/213 15137
/proc/meminfo: memFree=30419952/32770624 swapFree=67108860/67108860
[pid=15121] ppid=15118 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15121/stat : 15121 (xcsp3-exec) S 15118 15121 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121428755 9740288 345 18446744073709551615 4194304 5098028 140724401948704 140724401946808 139673428030076 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 22675456 140724401951096 140724401951301 140724401951301 140724401954795 0
/proc/15121/statm: 2378 345 289 221 0 87 0
[pid=15123] ppid=15121 vsize=13980732 memory=74724 CPUtime=1.35 cores=1,3,5,7
/proc/15123/stat : 15123 (java) S 15121 15121 28892 0 -1 1077944320 13241 0 0 0 130 5 0 0 20 0 15 0 121428764 14316269568 18681 18446744073709551615 4194304 4196468 140724848457328 140724848439872 140387340156663 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
/proc/15123/statm: 3495183 18681 3161 1 0 3483476 0
[pid=15123/tid=15124] ppid=15121 vsize=13980732 memory=7 CPUtime=0.55 cores=1,3,5,7
/proc/15123/task/15124/stat : 15124 (java) R 15121 15121 28892 0 -1 4202560 7898 0 0 0 52 3 0 0 20 0 15 0 121428765 14316269568 18681 18446744073709551615 4194304 4196468 140724848457328 140387344393296 140386928547514 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15125] ppid=15121 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15125/stat : 15125 (java) S 15121 15121 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121428765 14316269568 18681 18446744073709551615 4194304 4196468 140724848457328 140387259570960 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15126] ppid=15121 vsize=13980732 memory=7373624405437474391 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15126/stat : 15126 (java) S 15121 15121 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121428765 14316269568 18681 18446744073709551615 4194304 4196468 140724848457328 140387258518416 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15127] ppid=15121 vsize=13980732 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15127/stat : 15127 (java) S 15121 15121 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121428765 14316269568 18681 18446744073709551615 4194304 4196468 140724848457328 140387257465872 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15128] ppid=15121 vsize=13980732 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15128/stat : 15128 (java) S 15121 15121 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121428765 14316269568 18681 18446744073709551615 4194304 4196468 140724848457328 140387256413328 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15129] ppid=15121 vsize=13980732 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15129/stat : 15129 (java) S 15121 15121 28892 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 121428767 14316269568 18681 18446744073709551615 4194304 4196468 140724848457328 140386817796080 140387340167810 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15130] ppid=15121 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15130/stat : 15130 (java) S 15121 15121 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121428767 14316269568 18681 18446744073709551615 4194304 4196468 140724848457328 140386816742304 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15131] ppid=15121 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15131/stat : 15131 (java) S 15121 15121 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121428767 14316269568 18681 18446744073709551615 4194304 4196468 140724848457328 140386815689712 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15132] ppid=15121 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15132/stat : 15132 (java) S 15121 15121 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121428770 14316269568 18681 18446744073709551615 4194304 4196468 140724848457328 140386814638288 140387340175259 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15133] ppid=15121 vsize=13980732 memory=19265 CPUtime=0.21 cores=1,3,5,7
/proc/15123/task/15133/stat : 15133 (java) R 15121 15121 28892 0 -1 1077944384 1055 0 0 0 21 0 0 0 20 0 15 0 121428770 14316269568 18681 18446744073709551615 4194304 4196468 140724848457328 140386813574144 140387340166869 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15134] ppid=15121 vsize=13980732 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/15123/task/15134/stat : 15134 (java) R 15121 15121 28892 0 -1 4202560 1259 0 0 0 26 0 0 0 20 0 15 0 121428770 14316269568 18681 18446744073709551615 4194304 4196468 140724848457328 140386812521712 140387323543247 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15135] ppid=15121 vsize=13980732 memory=7307210966322687442 CPUtime=0.3 cores=1,3,5,7
/proc/15123/task/15135/stat : 15135 (java) R 15121 15121 28892 0 -1 4202560 1719 0 0 0 30 0 0 0 20 0 15 0 121428770 14316269568 18681 18446744073709551615 4194304 4196468 140724848457328 140386811480816 140387340168598 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15136] ppid=15121 vsize=13980732 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15136/stat : 15136 (java) S 15121 15121 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121428770 14316269568 18681 18446744073709551615 4194304 4196468 140724848457328 140386810428512 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15137] ppid=15121 vsize=13980732 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15137/stat : 15137 (java) S 15121 15121 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121428773 14316269568 18681 18446744073709551615 4194304 4196468 140724848457328 140386809375024 140387340167810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 76104 KiB

[startup+1.40029 s]
# the end of solver process 15121 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=3.53626 s, system=0.079316 s

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

[startup+0.808136 s]
/proc/loadavg: 2.62 1.95 1.73 5/213 15137
/proc/meminfo: memFree=30419952/32770624 swapFree=67108860/67108860
[pid=15121] ppid=15118 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15121/stat : 15121 (xcsp3-exec) S 15118 15121 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121428755 9740288 345 18446744073709551615 4194304 5098028 140724401948704 140724401946808 139673428030076 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 22675456 140724401951096 140724401951301 140724401951301 140724401954795 0
/proc/15121/statm: 2378 345 289 221 0 87 0
[pid=15123] ppid=15121 vsize=13980732 memory=88648 CPUtime=1.71 cores=1,3,5,7
/proc/15123/stat : 15123 (java) S 15121 15121 28892 0 -1 1077944320 13644 0 0 0 166 5 0 0 20 0 15 0 121428764 14316269568 22162 18446744073709551615 4194304 4196468 140724848457328 140724848439872 140387340156663 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
/proc/15123/statm: 3495183 22162 3170 1 0 3483476 0
[pid=15123/tid=15124] ppid=15121 vsize=13980732 memory=3473155141856866357 CPUtime=0.66 cores=1,3,5,7
/proc/15123/task/15124/stat : 15124 (java) R 15121 15121 28892 0 -1 4202560 7949 0 0 0 63 3 0 0 20 0 15 0 121428765 14316269568 22162 18446744073709551615 4194304 4196468 140724848457328 140387344392368 140387324237150 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15125] ppid=15121 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15125/stat : 15125 (java) S 15121 15121 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121428765 14316269568 22162 18446744073709551615 4194304 4196468 140724848457328 140387259570960 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15126] ppid=15121 vsize=13980732 memory=279750547412928 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15126/stat : 15126 (java) S 15121 15121 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121428765 14316269568 22162 18446744073709551615 4194304 4196468 140724848457328 140387258518416 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15127] ppid=15121 vsize=13980732 memory=279750547417344 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15127/stat : 15127 (java) S 15121 15121 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121428765 14316269568 22162 18446744073709551615 4194304 4196468 140724848457328 140387257465872 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15128] ppid=15121 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15128/stat : 15128 (java) S 15121 15121 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121428765 14316269568 22162 18446744073709551615 4194304 4196468 140724848457328 140387256413328 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15129] ppid=15121 vsize=13980732 memory=18889266171726 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15129/stat : 15129 (java) S 15121 15121 28892 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 121428767 14316269568 22162 18446744073709551615 4194304 4196468 140724848457328 140386817796080 140387340167810 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15130] ppid=15121 vsize=13980732 memory=301741399228036503 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15130/stat : 15130 (java) S 15121 15121 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121428767 14316269568 22162 18446744073709551615 4194304 4196468 140724848457328 140386816742304 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15131] ppid=15121 vsize=13980732 memory=14974468741154559 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15131/stat : 15131 (java) S 15121 15121 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121428767 14316269568 22162 18446744073709551615 4194304 4196468 140724848457328 140386815689712 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15132] ppid=15121 vsize=13980732 memory=7151822123874676078 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15132/stat : 15132 (java) S 15121 15121 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121428770 14316269568 22162 18446744073709551615 4194304 4196468 140724848457328 140386814638288 140387340175259 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15133] ppid=15121 vsize=13980732 memory=7301286350019781970 CPUtime=0.29 cores=1,3,5,7
/proc/15123/task/15133/stat : 15133 (java) R 15121 15121 28892 0 -1 4202560 1091 0 0 0 29 0 0 0 20 0 15 0 121428770 14316269568 22162 18446744073709551615 4194304 4196468 140724848457328 140386813572448 140387323713297 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15134] ppid=15121 vsize=13980732 memory=5788366128452757871 CPUtime=0.34 cores=1,3,5,7
/proc/15123/task/15134/stat : 15134 (java) R 15121 15121 28892 0 -1 4202560 1285 0 0 0 34 0 0 0 20 0 15 0 121428770 14316269568 22162 18446744073709551615 4194304 4196468 140724848457328 140386812523424 140387321336327 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15135] ppid=15121 vsize=13980732 memory=7374187346884845652 CPUtime=0.38 cores=1,3,5,7
/proc/15123/task/15135/stat : 15135 (java) S 15121 15121 28892 0 -1 1077944384 2010 0 0 0 38 0 0 0 20 0 15 0 121428770 14316269568 22162 18446744073709551615 4194304 4196468 140724848457328 140386811480816 140387340167810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15136] ppid=15121 vsize=13980732 memory=7512115668933308752 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15136/stat : 15136 (java) S 15121 15121 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121428770 14316269568 22162 18446744073709551615 4194304 4196468 140724848457328 140386810428512 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15137] ppid=15121 vsize=13980732 memory=5789216068087140690 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15137/stat : 15137 (java) S 15121 15121 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121428773 14316269568 22162 18446744073709551615 4194304 4196468 140724848457328 140386809375024 140387340167810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 90028 KiB

[startup+1.20077 s]
/proc/loadavg: 2.62 1.95 1.73 5/213 15137
/proc/meminfo: memFree=30375160/32770624 swapFree=67108860/67108860
[pid=15121] ppid=15118 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15121/stat : 15121 (xcsp3-exec) S 15118 15121 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121428755 9740288 345 18446744073709551615 4194304 5098028 140724401948704 140724401946808 139673428030076 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 22675456 140724401951096 140724401951301 140724401951301 140724401954795 0
/proc/15121/statm: 2378 345 289 221 0 87 0
[pid=15123] ppid=15121 vsize=13980732 memory=113160 CPUtime=3.01 cores=1,3,5,7
/proc/15123/stat : 15123 (java) S 15121 15121 28892 0 -1 1077944320 22454 0 0 0 294 7 0 0 20 0 15 0 121428764 14316269568 28290 18446744073709551615 4194304 4196468 140724848457328 140724848439872 140387340156663 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
/proc/15123/statm: 3495183 28290 3196 1 0 3483476 0
[pid=15123/tid=15124] ppid=15121 vsize=13980732 memory=7100839852556323184 CPUtime=1.06 cores=1,3,5,7
/proc/15123/task/15124/stat : 15124 (java) R 15121 15121 28892 0 -1 4202560 8772 0 0 0 102 4 0 0 20 0 15 0 121428765 14316269568 28290 18446744073709551615 4194304 4196468 140724848457328 140387344393408 140386933554860 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15125] ppid=15121 vsize=13980732 memory=28708 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15125/stat : 15125 (java) S 15121 15121 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121428765 14316269568 28290 18446744073709551615 4194304 4196468 140724848457328 140387259570960 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15126] ppid=15121 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15126/stat : 15126 (java) S 15121 15121 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121428765 14316269568 28290 18446744073709551615 4194304 4196468 140724848457328 140387258518416 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15127] ppid=15121 vsize=13980732 memory=8225999986038772677 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15127/stat : 15127 (java) S 15121 15121 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121428765 14316269568 28290 18446744073709551615 4194304 4196468 140724848457328 140387257465872 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15128] ppid=15121 vsize=13980732 memory=5792262852892967008 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15128/stat : 15128 (java) S 15121 15121 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121428765 14316269568 28290 18446744073709551615 4194304 4196468 140724848457328 140387256413328 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15129] ppid=15121 vsize=13980732 memory=7810487918915055718 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15129/stat : 15129 (java) S 15121 15121 28892 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 121428767 14316269568 28290 18446744073709551615 4194304 4196468 140724848457328 140386817796080 140387340167810 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15130] ppid=15121 vsize=13980732 memory=3467824627880452160 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15130/stat : 15130 (java) S 15121 15121 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121428767 14316269568 28290 18446744073709551615 4194304 4196468 140724848457328 140386816742304 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15131] ppid=15121 vsize=13980732 memory=7812174604127462976 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15131/stat : 15131 (java) S 15121 15121 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121428767 14316269568 28290 18446744073709551615 4194304 4196468 140724848457328 140386815689712 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15132] ppid=15121 vsize=13980732 memory=7955442059797162091 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15132/stat : 15132 (java) S 15121 15121 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121428770 14316269568 28290 18446744073709551615 4194304 4196468 140724848457328 140386814638288 140387340175259 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15133] ppid=15121 vsize=13980732 memory=7235716029423439976 CPUtime=0.65 cores=1,3,5,7
/proc/15123/task/15133/stat : 15133 (java) R 15121 15121 28892 0 -1 4202560 5351 0 0 0 65 0 0 0 20 0 15 0 121428770 14316269568 28290 18446744073709551615 4194304 4196468 140724848457328 140386813573024 140387323567558 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15134] ppid=15121 vsize=13980732 memory=7306335483593052779 CPUtime=0.72 cores=1,3,5,7
/proc/15123/task/15134/stat : 15134 (java) R 15121 15121 28892 0 -1 4202560 3689 0 0 0 72 0 0 0 20 0 15 0 121428770 14316269568 28290 18446744073709551615 4194304 4196468 140724848457328 140386812524896 140387323544735 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15135] ppid=15121 vsize=13980732 memory=288230574492221466 CPUtime=0.54 cores=1,3,5,7
/proc/15123/task/15135/stat : 15135 (java) S 15121 15121 28892 0 -1 1077944384 3328 0 0 0 53 1 0 0 20 0 15 0 121428770 14316269568 28290 18446744073709551615 4194304 4196468 140724848457328 140386811480816 140387340167810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15136] ppid=15121 vsize=13980732 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15136/stat : 15136 (java) S 15121 15121 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121428770 14316269568 28290 18446744073709551615 4194304 4196468 140724848457328 140386810428512 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15137] ppid=15121 vsize=13980732 memory=15825486446070293 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15137/stat : 15137 (java) S 15121 15121 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 121428773 14316269568 28290 18446744073709551615 4194304 4196468 140724848457328 140386809375024 140387340167810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 114540 KiB

[startup+1.30083 s]
/proc/loadavg: 2.62 1.95 1.73 5/213 15137
/proc/meminfo: memFree=30375160/32770624 swapFree=67108860/67108860
[pid=15121] ppid=15118 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15121/stat : 15121 (xcsp3-exec) S 15118 15121 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121428755 9740288 345 18446744073709551615 4194304 5098028 140724401948704 140724401946808 139673428030076 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 22675456 140724401951096 140724401951301 140724401951301 140724401954795 0
/proc/15121/statm: 2378 345 289 221 0 87 0
[pid=15123] ppid=15121 vsize=13980732 memory=116280 CPUtime=3.32 cores=1,3,5,7
/proc/15123/stat : 15123 (java) S 15121 15121 28892 0 -1 1077944320 23978 0 0 0 325 7 0 0 20 0 15 0 121428764 14316269568 29070 18446744073709551615 4194304 4196468 140724848457328 140724848439872 140387340156663 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
/proc/15123/statm: 3495183 29070 3198 1 0 3483476 0
[pid=15123/tid=15124] ppid=15121 vsize=13980732 memory=1380 CPUtime=1.16 cores=1,3,5,7
/proc/15123/task/15124/stat : 15124 (java) R 15121 15121 28892 0 -1 4202560 9139 0 0 0 112 4 0 0 20 0 15 0 121428765 14316269568 29070 18446744073709551615 4194304 4196468 140724848457328 140387344392928 140386933907037 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15125] ppid=15121 vsize=13980732 memory=92048 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15125/stat : 15125 (java) S 15121 15121 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121428765 14316269568 29070 18446744073709551615 4194304 4196468 140724848457328 140387259570960 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15126] ppid=15121 vsize=13980732 memory=7 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15126/stat : 15126 (java) S 15121 15121 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121428765 14316269568 29070 18446744073709551615 4194304 4196468 140724848457328 140387258518416 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15127] ppid=15121 vsize=13980732 memory=279750547442720 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15127/stat : 15127 (java) S 15121 15121 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121428765 14316269568 29070 18446744073709551615 4194304 4196468 140724848457328 140387257465872 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15128] ppid=15121 vsize=13980732 memory=279750547399232 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15128/stat : 15128 (java) S 15121 15121 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121428765 14316269568 29070 18446744073709551615 4194304 4196468 140724848457328 140387256413328 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15129] ppid=15121 vsize=13980732 memory=56 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15129/stat : 15129 (java) S 15121 15121 28892 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 121428767 14316269568 29070 18446744073709551615 4194304 4196468 140724848457328 140386817796080 140387340167810 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15130] ppid=15121 vsize=13980732 memory=13954 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15130/stat : 15130 (java) S 15121 15121 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121428767 14316269568 29070 18446744073709551615 4194304 4196468 140724848457328 140386816742304 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15131] ppid=15121 vsize=13980732 memory=23738 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15131/stat : 15131 (java) S 15121 15121 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121428767 14316269568 29070 18446744073709551615 4194304 4196468 140724848457328 140386815689712 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15132] ppid=15121 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15132/stat : 15132 (java) S 15121 15121 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121428770 14316269568 29070 18446744073709551615 4194304 4196468 140724848457328 140386814638288 140387340175259 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15133] ppid=15121 vsize=13980732 memory=-9174445032661854264 CPUtime=0.75 cores=1,3,5,7
/proc/15123/task/15133/stat : 15133 (java) R 15121 15121 28892 0 -1 4202560 5804 0 0 0 75 0 0 0 20 0 15 0 121428770 14316269568 29070 18446744073709551615 4194304 4196468 140724848457328 140386813573024 140387323543451 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15134] ppid=15121 vsize=13980732 memory=6944656575208382560 CPUtime=0.81 cores=1,3,5,7
/proc/15123/task/15134/stat : 15134 (java) R 15121 15121 28892 0 -1 4202560 4169 0 0 0 81 0 0 0 20 0 15 0 121428770 14316269568 29070 18446744073709551615 4194304 4196468 140724848457328 140386812526384 140387326211690 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15135] ppid=15121 vsize=13980732 memory=6944656592387989600 CPUtime=0.56 cores=1,3,5,7
/proc/15123/task/15135/stat : 15135 (java) S 15121 15121 28892 0 -1 1077944384 3552 0 0 0 55 1 0 0 20 0 15 0 121428770 14316269568 29070 18446744073709551615 4194304 4196468 140724848457328 140386811480816 140387340167810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15136] ppid=15121 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15136/stat : 15136 (java) S 15121 15121 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121428770 14316269568 29070 18446744073709551615 4194304 4196468 140724848457328 140386810428512 140387340166869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
[pid=15123/tid=15137] ppid=15121 vsize=13980732 memory=-4695043397844020537 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15137/stat : 15137 (java) S 15121 15121 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 121428773 14316269568 29070 18446744073709551615 4194304 4196468 140724848457328 140386809375024 140387340167810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29585408 140724848460209 140724848460385 140724848460385 140724848463823 0
Current children cumulated CPU time: 3.32 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 117660 KiB

Child status: 0
Real time (s): 1.40035
CPU time (s): 3.61558
CPU user time (s): 3.53626
CPU system time (s): 0.079316
CPU usage (%): 258.19
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 117660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.53626
system time used= 0.079316
maximum resident set size= 121204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25113
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= 1944
involuntary context switches= 16


# summary of solver processes directly reported to runsolver:
#   pid: 15121
#   total CPU time (s): 3.61558
#   total CPU user time (s): 3.53626
#   total CPU system time (s): 0.079316

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.035892 second user time and 0.052783 second system time

The end
Name	Sat/ Sat-sum-flat200-479/Sat-flat200-37-sum.xml
MD5SUM	069666c245bd9cd0e4e347c297fd6ca1
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.105976
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":12},{"degree":5,"count":51},{"degree":6,"count":81},{"degree":7,"count":99},{"degree":8,"count":132},{"degree":9,"count":135},{"degree":10,"count":45},{"degree":11,"count":42}]
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 4283990

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
