Trace number 4289298

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Mistral-2.0 2018-06-15? (TO) 2400.06 2400.11

General information on the benchmark

NameNurseRostering/
NurseRostering-13_c18.xml
MD5SUMbfb8f77ba8ae689b0ec737170bc63bca
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark62102
Best CPU time to get the best result obtained on this benchmark2520.11
Satisfiable
(Un)Satisfiability was proved
Number of variables8025
Number of constraints17841
Number of domains21
Minimum domain size1
Maximum domain size121
Distribution of domain sizes[{"size":1,"count":652},{"size":2,"count":1350},{"size":3,"count":156},{"size":4,"count":72},{"size":5,"count":33},{"size":6,"count":8},{"size":7,"count":121},{"size":8,"count":124},{"size":11,"count":96},{"size":12,"count":117},{"size":19,"count":3360},{"size":29,"count":900},{"size":120,"count":504},{"size":121,"count":532}]
Minimum variable degree2
Maximum variable degree55
Distribution of variable degrees[{"degree":2,"count":4185},{"degree":3,"count":480},{"degree":42,"count":5},{"degree":43,"count":95},{"degree":44,"count":120},{"degree":45,"count":25},{"degree":46,"count":79},{"degree":47,"count":137},{"degree":48,"count":190},{"degree":49,"count":200},{"degree":50,"count":288},{"degree":51,"count":991},{"degree":52,"count":861},{"degree":53,"count":271},{"degree":54,"count":78},{"degree":55,"count":20}]
Minimum constraint arity2
Maximum constraint arity240
Distribution of constraint arities[{"arity":2,"count":5938},{"arity":3,"count":5850},{"arity":4,"count":370},{"arity":6,"count":2530},{"arity":7,"count":220},{"arity":19,"count":120},{"arity":29,"count":2280},{"arity":121,"count":532},{"arity":240,"count":1}]
Number of extensional constraints3772
Number of intensional constraints2031
Distribution of constraint types[{"type":"extension","count":3772},{"type":"intension","count":2031},{"type":"regular","count":6235},{"type":"sum","count":240},{"type":"count","count":5562},{"type":"instantiation","count":1}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.00/0.00	c Mistral 16062018
2400.05/2400.11	s UNKNOWN

Verifier Data


Watcher Data 

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 (10363 MiB free)
  memory of node 1: 16384 MiB (10989 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289298-1532190604/watcher-4289298-1532190604 -o /tmp/evaluation-result-4289298-1532190604/solver-4289298-1532190604 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532190501-26626 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 447840279 HOME/instance-4289298-1532190604.xml 

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

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

solver pid=26729, runsolver pid=26726

[startup+0.100123 s]*
/proc/loadavg: 1.64 0.59 0.25 3/189 26730
/proc/meminfo: memFree=21847960/32770624 swapFree=67108860/67108860
[pid=26729] ppid=26726 vsize=46348 memory=21052 CPUtime=0.1 cores=1,3,5,7
/proc/26729/stat : 26729 (MistralXCSP) R 26726 26729 26594 0 -1 4202496 5640 0 0 0 9 1 0 0 20 0 1 0 36623570 47460352 5263 33554432000 4194304 7498468 140729094529248 140729094526248 4564424 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 37568512 140729094534254 140729094534403 140729094534403 140729094537161 0
/proc/26729/statm: 11587 5263 733 807 0 4578 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 46348 KiB
Current children cumulated memory: 21052 KiB

[startup+0.209693 s]*
/proc/loadavg: 1.64 0.59 0.25 3/189 26730
/proc/meminfo: memFree=21838660/32770624 swapFree=67108860/67108860
[pid=26729] ppid=26726 vsize=55072 memory=29736 CPUtime=0.21 cores=1,3,5,7
/proc/26729/stat : 26729 (MistralXCSP) R 26726 26729 26594 0 -1 4202496 7873 0 0 0 20 1 0 0 20 0 1 0 36623570 56393728 7434 33554432000 4194304 7498468 140729094529248 140729094526248 4564424 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 37568512 140729094534254 140729094534403 140729094534403 140729094537161 0
/proc/26729/statm: 13768 7434 733 807 0 6759 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 55072 KiB
Current children cumulated memory: 29736 KiB

[startup+0.309517 s]*
/proc/loadavg: 1.64 0.59 0.25 3/189 26730
/proc/meminfo: memFree=21823532/32770624 swapFree=67108860/67108860
[pid=26729] ppid=26726 vsize=68776 memory=43604 CPUtime=0.31 cores=1,3,5,7
/proc/26729/stat : 26729 (MistralXCSP) R 26726 26729 26594 0 -1 4202496 11194 0 0 0 30 1 0 0 20 0 1 0 36623570 70426624 10901 33554432000 4194304 7498468 140729094529248 140729094526248 4564592 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 37568512 140729094534254 140729094534403 140729094534403 140729094537161 0
/proc/26729/statm: 17194 10901 733 807 0 10185 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 68776 KiB
Current children cumulated memory: 43604 KiB

[startup+0.700301 s]
/proc/loadavg: 1.64 0.59 0.25 3/189 26730
/proc/meminfo: memFree=21823532/32770624 swapFree=67108860/67108860
[pid=26729] ppid=26726 vsize=78504 memory=53016 CPUtime=0.69 cores=1,3,5,7
/proc/26729/stat : 26729 (MistralXCSP) R 26726 26729 26594 0 -1 4202496 13437 0 0 0 68 1 0 0 20 0 1 0 36623570 80388096 13254 33554432000 4194304 7498468 140729094529248 140729094522488 4564431 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 37568512 140729094534254 140729094534403 140729094534403 140729094537161 0
/proc/26729/statm: 19626 13254 733 807 0 12617 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 78504 KiB
Current children cumulated memory: 53016 KiB

[startup+1.50024 s]
/proc/loadavg: 1.64 0.59 0.25 3/189 26730
/proc/meminfo: memFree=21805080/32770624 swapFree=67108860/67108860
[pid=26729] ppid=26726 vsize=99500 memory=74144 CPUtime=1.49 cores=1,3,5,7
/proc/26729/stat : 26729 (MistralXCSP) R 26726 26729 26594 0 -1 4202496 18826 0 0 0 147 2 0 0 20 0 1 0 36623570 101888000 18536 33554432000 4194304 7498468 140729094529248 140729094519912 4564576 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 37568512 140729094534254 140729094534403 140729094534403 140729094537161 0
/proc/26729/statm: 24875 18536 733 807 0 17866 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 99500 KiB
Current children cumulated memory: 74144 KiB

[startup+3.10945 s]
/proc/loadavg: 1.67 0.62 0.26 3/189 26730
/proc/meminfo: memFree=21741580/32770624 swapFree=67108860/67108860
[pid=26729] ppid=26726 vsize=150704 memory=125488 CPUtime=3.1 cores=1,3,5,7
/proc/26729/stat : 26729 (MistralXCSP) R 26726 26729 26594 0 -1 4202496 33140 0 0 0 306 4 0 0 20 0 1 0 36623570 154320896 31372 33554432000 4194304 7498468 140729094529248 140729094519848 4564597 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 37568512 140729094534254 140729094534403 140729094534403 140729094537161 0
/proc/26729/statm: 37676 31372 733 807 0 30667 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 150704 KiB
Current children cumulated memory: 125488 KiB

[startup+6.30024 s]
/proc/loadavg: 1.67 0.62 0.26 4/189 26730
/proc/meminfo: memFree=21720032/32770624 swapFree=67108860/67108860
[pid=26729] ppid=26726 vsize=175500 memory=150192 CPUtime=6.29 cores=1,3,5,7
/proc/26729/stat : 26729 (MistralXCSP) R 26726 26729 26594 0 -1 4202496 50313 0 0 0 623 6 0 0 20 0 1 0 36623570 179712000 37548 33554432000 4194304 7498468 140729094529248 140729094519912 4564592 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 37568512 140729094534254 140729094534403 140729094534403 140729094537161 0
/proc/26729/statm: 43875 37548 733 807 0 36866 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 175500 KiB
Current children cumulated memory: 150192 KiB

[startup+12.7002 s]
/proc/loadavg: 1.70 0.64 0.27 4/189 26730
/proc/meminfo: memFree=21670240/32770624 swapFree=67108860/67108860
[pid=26729] ppid=26726 vsize=225192 memory=199680 CPUtime=12.69 cores=1,3,5,7
/proc/26729/stat : 26729 (MistralXCSP) R 26726 26729 26594 0 -1 4202496 65560 0 0 0 1262 7 0 0 20 0 1 0 36623570 230596608 49920 33554432000 4194304 7498468 140729094529248 140729094519912 4564592 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 37568512 140729094534254 140729094534403 140729094534403 140729094537161 0
/proc/26729/statm: 56298 49920 733 807 0 49289 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 225192 KiB
Current children cumulated memory: 199680 KiB

[startup+25.5004 s]
/proc/loadavg: 1.76 0.71 0.30 3/188 26730
/proc/meminfo: memFree=21034028/32770624 swapFree=67108860/67108860
[pid=26729] ppid=26726 vsize=857920 memory=832976 CPUtime=25.48 cores=1,3,5,7
/proc/26729/stat : 26729 (MistralXCSP) R 26726 26729 26594 0 -1 4202496 289890 0 0 0 2518 30 0 0 20 0 1 0 36623570 878510080 208244 33554432000 4194304 7498468 140729094529248 140729094523528 5164340 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 37568512 140729094534254 140729094534403 140729094534403 140729094537161 0
/proc/26729/statm: 214480 208244 807 807 0 207471 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 857920 KiB
Current children cumulated memory: 832976 KiB

[startup+51.1096 s]
/proc/loadavg: 1.84 0.81 0.34 3/188 26730
/proc/meminfo: memFree=21031560/32770624 swapFree=67108860/67108860
[pid=26729] ppid=26726 vsize=860044 memory=835100 CPUtime=51.08 cores=1,3,5,7
/proc/26729/stat : 26729 (MistralXCSP) R 26726 26729 26594 0 -1 4202496 326696 0 0 0 5076 32 0 0 20 0 1 0 36623570 880685056 208775 33554432000 4194304 7498468 140729094529248 140729094523784 5164349 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 37568512 140729094534254 140729094534403 140729094534403 140729094537161 0
/proc/26729/statm: 215011 208775 807 807 0 208002 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 860044 KiB
Current children cumulated memory: 835100 KiB

[startup+102.3 s]
/proc/loadavg: 1.93 0.99 0.43 3/189 26732
/proc/meminfo: memFree=21000400/32770624 swapFree=67108860/67108860
[pid=26729] ppid=26726 vsize=891556 memory=866672 CPUtime=102.25 cores=1,3,5,7
/proc/26729/stat : 26729 (MistralXCSP) R 26726 26729 26594 0 -1 4202496 380405 0 0 0 10189 36 0 0 20 0 1 0 36623570 912953344 216668 33554432000 4194304 7498468 140729094529248 140729094523784 4246837 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37568512 140729094534254 140729094534403 140729094534403 140729094537161 0
/proc/26729/statm: 222889 216668 807 807 0 215880 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 891556 KiB
Current children cumulated memory: 866672 KiB

[startup+162.3 s]
/proc/loadavg: 1.97 1.18 0.53 3/189 26733
/proc/meminfo: memFree=21000804/32770624 swapFree=67108860/67108860
[pid=26729] ppid=26726 vsize=892852 memory=867884 CPUtime=162.24 cores=1,3,5,7
/proc/26729/stat : 26729 (MistralXCSP) R 26726 26729 26594 0 -1 4202496 413321 0 0 0 16185 39 0 0 20 0 1 0 36623570 914280448 216971 33554432000 4194304 7498468 140729094529248 140729094523784 5164349 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37568512 140729094534254 140729094534403 140729094534403 140729094537161 0
/proc/26729/statm: 223213 216971 807 807 0 216204 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 892852 KiB
Current children cumulated memory: 867884 KiB

[startup+222.3 s]
/proc/loadavg: 1.99 1.33 0.62 3/188 26734
/proc/meminfo: memFree=21000752/32770624 swapFree=67108860/67108860
[pid=26729] ppid=26726 vsize=892984 memory=868080 CPUtime=222.23 cores=1,3,5,7
/proc/26729/stat : 26729 (MistralXCSP) R 26726 26729 26594 0 -1 4202496 455726 0 0 0 22182 41 0 0 20 0 1 0 36623570 914415616 217020 33554432000 4194304 7498468 140729094529248 140729094523704 5164340 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37568512 140729094534254 140729094534403 140729094534403 140729094537161 0
/proc/26729/statm: 223246 217020 807 807 0 216237 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 892984 KiB
Current children cumulated memory: 868080 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 1.45 0.71 3/188 26735
/proc/meminfo: memFree=21000144/32770624 swapFree=67108860/67108860
[pid=26729] ppid=26726 vsize=893116 memory=868180 CPUtime=282.24 cores=1,3,5,7
/proc/26729/stat : 26729 (MistralXCSP) R 26726 26729 26594 0 -1 4202496 500281 0 0 0 28180 44 0 0 20 0 1 0 36623570 914550784 217045 33554432000 4194304 7498468 140729094529248 140729094523784 5574789 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37568512 140729094534254 140729094534403 140729094534403 140729094537161 0
/proc/26729/statm: 223279 217045 807 807 0 216270 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 893116 KiB
Current children cumulated memory: 868180 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.55 0.79 3/187 26736
/proc/meminfo: memFree=21000196/32770624 swapFree=67108860/67108860
[pid=26729] ppid=26726 vsize=893116 memory=868180 CPUtime=342.23 cores=1,3,5,7
/proc/26729/stat : 26729 (MistralXCSP) R 26726 26729 26594 0 -1 4202496 519869 0 0 0 34178 45 0 0 20 0 1 0 36623570 914550784 217045 33554432000 4194304 7498468 140729094529248 140729094523784 5164390 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37568512 140729094534254 140729094534403 140729094534403 140729094537161 0
/proc/26729/statm: 223279 217045 807 807 0 216270 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 893116 KiB
Current children cumulated memory: 868180 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.63 0.86 3/187 26737
/proc/meminfo: memFree=20999744/32770624 swapFree=67108860/67108860
[pid=26729] ppid=26726 vsize=893512 memory=868556 CPUtime=402.22 cores=1,3,5,7
/proc/26729/stat : 26729 (MistralXCSP) R 26726 26729 26594 0 -1 4202496 549959 0 0 0 40176 46 0 0 20 0 1 0 36623570 914956288 217139 33554432000 4194304 7498468 140729094529248 140729094523784 5164340 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37568512 140729094534254 140729094534403 140729094534403 140729094537161 0
/proc/26729/statm: 223378 217139 807 807 0 216369 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 893512 KiB
Current children cumulated memory: 868556 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.70 0.93 3/187 26738
/proc/meminfo: memFree=20999636/32770624 swapFree=67108860/67108860
[pid=26729] ppid=26726 vsize=893512 memory=868648 CPUtime=462.2 cores=1,3,5,7
/proc/26729/stat : 26729 (MistralXCSP) R 26726 26729 26594 0 -1 4202496 565079 0 0 0 46173 47 0 0 20 0 1 0 36623570 914956288 217162 33554432000 4194304 7498468 140729094529248 140729094523784 5164349 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37568512 140729094534254 140729094534403 140729094534403 140729094537161 0
/proc/26729/statm: 223378 217162 807 807 0 216369 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 893512 KiB
Current children cumulated memory: 868648 KiB


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

/proc/26729/statm: 223510 217298 807 807 0 216501 0
Current children cumulated CPU time: 1662.23 s
Current children cumulated vsize: 894040 KiB
Current children cumulated memory: 869192 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.72 3/187 26778
/proc/meminfo: memFree=20998436/32770624 swapFree=67108860/67108860
[pid=26729] ppid=26726 vsize=894040 memory=869192 CPUtime=1722.23 cores=1,3,5,7
/proc/26729/stat : 26729 (MistralXCSP) R 26726 26729 26594 0 -1 4202496 589767 0 0 0 172171 52 0 0 20 0 1 0 36623570 915496960 217298 33554432000 4194304 7498468 140729094529248 140729094523784 5164340 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37568512 140729094534254 140729094534403 140729094534403 140729094537161 0
/proc/26729/statm: 223510 217298 807 807 0 216501 0
Current children cumulated CPU time: 1722.23 s
Current children cumulated vsize: 894040 KiB
Current children cumulated memory: 869192 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.74 3/187 26779
/proc/meminfo: memFree=20998172/32770624 swapFree=67108860/67108860
[pid=26729] ppid=26726 vsize=894040 memory=869192 CPUtime=1782.23 cores=1,3,5,7
/proc/26729/stat : 26729 (MistralXCSP) R 26726 26729 26594 0 -1 4202496 590535 0 0 0 178171 52 0 0 20 0 1 0 36623570 915496960 217298 33554432000 4194304 7498468 140729094529248 140729094523784 5164349 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37568512 140729094534254 140729094534403 140729094534403 140729094537161 0
/proc/26729/statm: 223510 217298 807 807 0 216501 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 894040 KiB
Current children cumulated memory: 869192 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.76 3/189 26789
/proc/meminfo: memFree=20997708/32770624 swapFree=67108860/67108860
[pid=26729] ppid=26726 vsize=894040 memory=869192 CPUtime=1842.23 cores=1,3,5,7
/proc/26729/stat : 26729 (MistralXCSP) R 26726 26729 26594 0 -1 4202496 591261 0 0 0 184171 52 0 0 20 0 1 0 36623570 915496960 217298 33554432000 4194304 7498468 140729094529248 140729094523784 4246887 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37568512 140729094534254 140729094534403 140729094534403 140729094537161 0
/proc/26729/statm: 223510 217298 807 807 0 216501 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 894040 KiB
Current children cumulated memory: 869192 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.77 3/189 26812
/proc/meminfo: memFree=20997796/32770624 swapFree=67108860/67108860
[pid=26729] ppid=26726 vsize=894040 memory=869192 CPUtime=1902.23 cores=1,3,5,7
/proc/26729/stat : 26729 (MistralXCSP) R 26726 26729 26594 0 -1 4202496 592007 0 0 0 190171 52 0 0 20 0 1 0 36623570 915496960 217298 33554432000 4194304 7498468 140729094529248 140729094523784 5164349 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37568512 140729094534254 140729094534403 140729094534403 140729094537161 0
/proc/26729/statm: 223510 217298 807 807 0 216501 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 894040 KiB
Current children cumulated memory: 869192 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.79 3/189 26813
/proc/meminfo: memFree=20997900/32770624 swapFree=67108860/67108860
[pid=26729] ppid=26726 vsize=894172 memory=869236 CPUtime=1962.23 cores=1,3,5,7
/proc/26729/stat : 26729 (MistralXCSP) R 26726 26729 26594 0 -1 4202496 593564 0 0 0 196170 53 0 0 20 0 1 0 36623570 915632128 217309 33554432000 4194304 7498468 140729094529248 140729094523784 5164340 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37568512 140729094534254 140729094534403 140729094534403 140729094537161 0
/proc/26729/statm: 223543 217309 807 807 0 216534 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 894172 KiB
Current children cumulated memory: 869236 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.80 3/189 26814
/proc/meminfo: memFree=20998172/32770624 swapFree=67108860/67108860
[pid=26729] ppid=26726 vsize=894172 memory=869236 CPUtime=2022.23 cores=1,3,5,7
/proc/26729/stat : 26729 (MistralXCSP) R 26726 26729 26594 0 -1 4202496 594443 0 0 0 202170 53 0 0 20 0 1 0 36623570 915632128 217309 33554432000 4194304 7498468 140729094529248 140729094523784 5164349 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37568512 140729094534254 140729094534403 140729094534403 140729094537161 0
/proc/26729/statm: 223543 217309 807 807 0 216534 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 894172 KiB
Current children cumulated memory: 869236 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 1.81 3/189 26815
/proc/meminfo: memFree=20998188/32770624 swapFree=67108860/67108860
[pid=26729] ppid=26726 vsize=894172 memory=869236 CPUtime=2082.23 cores=1,3,5,7
/proc/26729/stat : 26729 (MistralXCSP) R 26726 26729 26594 0 -1 4202496 595255 0 0 0 208170 53 0 0 20 0 1 0 36623570 915632128 217309 33554432000 4194304 7498468 140729094529248 140729094523784 5164340 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37568512 140729094534254 140729094534403 140729094534403 140729094537161 0
/proc/26729/statm: 223543 217309 807 807 0 216534 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 894172 KiB
Current children cumulated memory: 869236 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.82 3/187 26816
/proc/meminfo: memFree=20998816/32770624 swapFree=67108860/67108860
[pid=26729] ppid=26726 vsize=894172 memory=869236 CPUtime=2142.23 cores=1,3,5,7
/proc/26729/stat : 26729 (MistralXCSP) R 26726 26729 26594 0 -1 4202496 596093 0 0 0 214170 53 0 0 20 0 1 0 36623570 915632128 217309 33554432000 4194304 7498468 140729094529248 140729094523784 4246837 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37568512 140729094534254 140729094534403 140729094534403 140729094537161 0
/proc/26729/statm: 223543 217309 807 807 0 216534 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 894172 KiB
Current children cumulated memory: 869236 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/187 26817
/proc/meminfo: memFree=20998196/32770624 swapFree=67108860/67108860
[pid=26729] ppid=26726 vsize=894172 memory=869236 CPUtime=2202.23 cores=1,3,5,7
/proc/26729/stat : 26729 (MistralXCSP) R 26726 26729 26594 0 -1 4202496 596894 0 0 0 220170 53 0 0 20 0 1 0 36623570 915632128 217309 33554432000 4194304 7498468 140729094529248 140729094523784 5164315 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37568512 140729094534254 140729094534403 140729094534403 140729094537161 0
/proc/26729/statm: 223543 217309 807 807 0 216534 0
Current children cumulated CPU time: 2202.23 s
Current children cumulated vsize: 894172 KiB
Current children cumulated memory: 869236 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 1.85 3/187 26818
/proc/meminfo: memFree=20998432/32770624 swapFree=67108860/67108860
[pid=26729] ppid=26726 vsize=894172 memory=869236 CPUtime=2262.23 cores=1,3,5,7
/proc/26729/stat : 26729 (MistralXCSP) R 26726 26729 26594 0 -1 4202496 597724 0 0 0 226170 53 0 0 20 0 1 0 36623570 915632128 217309 33554432000 4194304 7498468 140729094529248 140729094523784 5164349 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37568512 140729094534254 140729094534403 140729094534403 140729094537161 0
/proc/26729/statm: 223543 217309 807 807 0 216534 0
Current children cumulated CPU time: 2262.23 s
Current children cumulated vsize: 894172 KiB
Current children cumulated memory: 869236 KiB

[startup+2322.3 s]
/proc/loadavg: 1.92 1.97 1.85 4/187 26944
/proc/meminfo: memFree=21051868/32770624 swapFree=67108860/67108860
[pid=26729] ppid=26726 vsize=894172 memory=869236 CPUtime=2322.24 cores=1,3,5,7
/proc/26729/stat : 26729 (MistralXCSP) R 26726 26729 26594 0 -1 4202496 598555 0 0 0 232171 53 0 0 20 0 1 0 36623570 915632128 217309 33554432000 4194304 7498468 140729094529248 140729094523784 5164340 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37568512 140729094534254 140729094534403 140729094534403 140729094537161 0
/proc/26729/statm: 223543 217309 807 807 0 216534 0
Current children cumulated CPU time: 2322.24 s
Current children cumulated vsize: 894172 KiB
Current children cumulated memory: 869236 KiB

[startup+2382.3 s]
/proc/loadavg: 2.08 2.00 1.87 3/187 27005
/proc/meminfo: memFree=21051864/32770624 swapFree=67108860/67108860
[pid=26729] ppid=26726 vsize=894172 memory=869236 CPUtime=2382.24 cores=1,3,5,7
/proc/26729/stat : 26729 (MistralXCSP) R 26726 26729 26594 0 -1 4202496 599336 0 0 0 238171 53 0 0 20 0 1 0 36623570 915632128 217309 33554432000 4194304 7498468 140729094529248 140729094523784 5164340 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37568512 140729094534254 140729094534403 140729094534403 140729094537161 0
/proc/26729/statm: 223543 217309 807 807 0 216534 0
Current children cumulated CPU time: 2382.24 s
Current children cumulated vsize: 894172 KiB
Current children cumulated memory: 869236 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.11 s]
/proc/loadavg: 2.44 2.08 1.90 3/188 27014
/proc/meminfo: memFree=21050856/32770624 swapFree=67108860/67108860
[pid=26729] ppid=26726 vsize=894172 memory=869236 CPUtime=2400.05 cores=1,3,5,7
/proc/26729/stat : 26729 (MistralXCSP) R 26726 26729 26594 0 -1 4202496 599767 0 0 0 239952 53 0 0 20 0 1 0 36623570 915632128 217309 33554432000 4194304 7498468 140729094529248 140729094523784 4246887 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37568512 140729094534254 140729094534403 140729094534403 140729094537161 0
/proc/26729/statm: 223543 217309 807 807 0 216534 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 894172 KiB
Current children cumulated memory: 869236 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2400.11 s]
# the end of solver process 26729 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.52 s, system=0.542004 s

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

[startup+2400.11 s]
/proc/loadavg: 2.44 2.08 1.90 3/188 27014
/proc/meminfo: memFree=21050856/32770624 swapFree=67108860/67108860
[pid=26729] ppid=26726 vsize=894172 memory=869236 CPUtime=2400.05 cores=1,3,5,7
/proc/26729/stat : 26729 (MistralXCSP) R 26726 26729 26594 0 -1 4202496 599767 0 0 0 239952 53 0 0 20 0 1 0 36623570 915632128 217309 33554432000 4194304 7498468 140729094529248 140729094523784 4246887 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37568512 140729094534254 140729094534403 140729094534403 140729094537161 0
/proc/26729/statm: 223543 217309 807 807 0 216534 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 894172 KiB
Current children cumulated memory: 869236 KiB

Child status: 0
Real time (s): 2400.11
CPU time (s): 2400.06
CPU user time (s): 2399.52
CPU system time (s): 0.542004
CPU usage (%): 99.9979
Max. virtual memory (cumulated for all children) (KiB): 894172
Max. memory (cumulated for all children) (KiB): 869236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.52
system time used= 0.542004
maximum resident set size= 875164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 599802
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 154
involuntary context switches= 788


# summary of solver processes directly reported to runsolver:
#   pid: 26729
#   total CPU time (s): 2400.06
#   total CPU user time (s): 2399.52
#   total CPU system time (s): 0.542004

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.08962 second user time and 18.266 second system time

The end

Launcher Data 

Begin job on node137 at 2018-07-21 18:30:04
IDJOB=4289298
IDBENCH=141057
IDSOLVER=2741
FILE ID=node137/4289298-1532190604
RUNJOBID= node137-1532190501-26626
PBS_JOBID= 21018930
Free space on /tmp= 56884 MiB

SOLVER NAME= Mistral-2.0 2018-06-15
BENCH NAME= XCSP18/NurseRostering/NurseRostering-13_c18.xml
COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4289298-1532190604/watcher-4289298-1532190604 -o /tmp/evaluation-result-4289298-1532190604/solver-4289298-1532190604 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532190501-26626 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 447840279 HOME/instance-4289298-1532190604.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= bfb8f77ba8ae689b0ec737170bc63bca
RANDOM SEED=447840279

node137.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        21864852 kB
MemAvailable:   31878932 kB
Buffers:          213628 kB
Cached:         10003320 kB
SwapCached:            0 kB
Active:          1663684 kB
Inactive:        8666892 kB
Active(anon):     116248 kB
Inactive(anon):    16948 kB
Active(file):    1547436 kB
Inactive(file):  8649944 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              9700 kB
Writeback:             0 kB
AnonPages:        138944 kB
Mapped:            36304 kB
Shmem:             17036 kB
Slab:             271328 kB
SReclaimable:     245160 kB
SUnreclaim:        26168 kB
KernelStack:        3328 kB
PageTables:         5060 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     399824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     81920 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 56876 MiB
End job on node137 at 2018-07-21 19:10:04