Trace number 4303816

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 NameAnswerCPU timeWall clock time
Mistral-2.0 2018-08-01? (TO) 2520.04 2520.01

General information on the benchmark

NameBibd/
Bibd-sum-22-033-12-08-04_c18.xml
MD5SUMf3f766a62b1d9930afd3b37b1c8667ba
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables726
Number of constraints287
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":726}]
Minimum variable degree24
Maximum variable degree24
Distribution of variable degrees[{"degree":24,"count":726}]
Minimum constraint arity22
Maximum constraint arity726
Distribution of constraint arities[{"arity":22,"count":33},{"arity":33,"count":22},{"arity":66,"count":231},{"arity":726,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":286}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c Mistral 01082018
2520.02/2520.01	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 (2651 MiB free)
  memory of node 1: 16384 MiB (617 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303816-1534013487/watcher-4303816-1534013487 -o /tmp/evaluation-result-4303816-1534013487/solver-4303816-1534013487 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1533990775-15521 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 805680056 HOME/instance-4303816-1534013487.xml 

running on 4 cores: 0,2,4,6

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=17666, runsolver pid=17663

[startup+0.10022 s]*
/proc/loadavg: 1.92 1.97 2.03 6/202 17667
/proc/meminfo: memFree=3189732/32770624 swapFree=67108380/67108860
[pid=17666] ppid=17663 vsize=48476 memory=23292 CPUtime=0.1 cores=0,2,4,6
/proc/17666/stat : 17666 (MistralXCSP) R 17663 17666 15490 0 -1 4202496 6315 0 0 0 10 0 0 0 20 0 1 0 218911898 49639424 5823 33554432000 4194304 7499544 140728827448400 140728827445400 4564151 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20074496 140728827450478 140728827450627 140728827450627 140728827453385 0
/proc/17666/statm: 12119 5823 725 807 0 5110 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48476 KiB
Current children cumulated memory: 23292 KiB

[startup+0.210324 s]*
/proc/loadavg: 1.92 1.97 2.03 4/202 17667
/proc/meminfo: memFree=3060596/32770624 swapFree=67108380/67108860
[pid=17666] ppid=17663 vsize=59692 memory=34312 CPUtime=0.21 cores=0,2,4,6
/proc/17666/stat : 17666 (MistralXCSP) R 17663 17666 15490 0 -1 4202496 9160 0 0 0 21 0 0 0 20 0 1 0 218911898 61124608 8578 33554432000 4194304 7499544 140728827448400 140728827445400 4387287 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20074496 140728827450478 140728827450627 140728827450627 140728827453385 0
/proc/17666/statm: 14923 8578 737 807 0 7914 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 59692 KiB
Current children cumulated memory: 34312 KiB

[startup+0.309938 s]*
/proc/loadavg: 1.92 1.97 2.03 3/202 17667
/proc/meminfo: memFree=3052596/32770624 swapFree=67108380/67108860
[pid=17666] ppid=17663 vsize=67796 memory=42428 CPUtime=0.3 cores=0,2,4,6
/proc/17666/stat : 17666 (MistralXCSP) R 17663 17666 15490 0 -1 4202496 11048 0 0 0 30 0 0 0 20 0 1 0 218911898 69423104 10607 33554432000 4194304 7499544 140728827448400 140728827445400 5161154 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20074496 140728827450478 140728827450627 140728827450627 140728827453385 0
/proc/17666/statm: 16949 10607 753 807 0 9940 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 67796 KiB
Current children cumulated memory: 42428 KiB

[startup+0.700427 s]
/proc/loadavg: 1.92 1.97 2.03 3/202 17667
/proc/meminfo: memFree=3052224/32770624 swapFree=67108380/67108860
[pid=17666] ppid=17663 vsize=67796 memory=42692 CPUtime=0.69 cores=0,2,4,6
/proc/17666/stat : 17666 (MistralXCSP) R 17663 17666 15490 0 -1 4202496 11050 0 0 0 69 0 0 0 20 0 1 0 218911898 69423104 10673 33554432000 4194304 7499544 140728827448400 140728827445400 4579850 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20074496 140728827450478 140728827450627 140728827450627 140728827453385 0
/proc/17666/statm: 16949 10673 774 807 0 9940 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 67796 KiB
Current children cumulated memory: 42692 KiB

[startup+1.50041 s]
/proc/loadavg: 1.92 1.97 2.03 3/202 17667
/proc/meminfo: memFree=3051860/32770624 swapFree=67108380/67108860
[pid=17666] ppid=17663 vsize=67796 memory=42692 CPUtime=1.49 cores=0,2,4,6
/proc/17666/stat : 17666 (MistralXCSP) R 17663 17666 15490 0 -1 4202496 11050 0 0 0 149 0 0 0 20 0 1 0 218911898 69423104 10673 33554432000 4194304 7499544 140728827448400 140728827443032 5161032 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20074496 140728827450478 140728827450627 140728827450627 140728827453385 0
/proc/17666/statm: 16949 10673 774 807 0 9940 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 67796 KiB
Current children cumulated memory: 42692 KiB

[startup+3.10986 s]
/proc/loadavg: 1.92 1.97 2.03 3/205 17670
/proc/meminfo: memFree=3043240/32770624 swapFree=67108380/67108860
[pid=17666] ppid=17663 vsize=67796 memory=42696 CPUtime=3.1 cores=0,2,4,6
/proc/17666/stat : 17666 (MistralXCSP) R 17663 17666 15490 0 -1 4202496 18558 0 0 0 309 1 0 0 20 0 1 0 218911898 69423104 10674 33554432000 4194304 7499544 140728827448400 140728827443032 5161081 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20074496 140728827450478 140728827450627 140728827450627 140728827453385 0
/proc/17666/statm: 16949 10674 775 807 0 9940 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 67796 KiB
Current children cumulated memory: 42696 KiB

[startup+6.30037 s]
/proc/loadavg: 2.01 1.99 2.03 6/205 17670
/proc/meminfo: memFree=2729016/32770624 swapFree=67108380/67108860
[pid=17666] ppid=17663 vsize=67796 memory=42696 CPUtime=6.29 cores=0,2,4,6
/proc/17666/stat : 17666 (MistralXCSP) R 17663 17666 15490 0 -1 4202496 25955 0 0 0 628 1 0 0 20 0 1 0 218911898 69423104 10674 33554432000 4194304 7499544 140728827448400 140728827443032 5161094 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20074496 140728827450478 140728827450627 140728827450627 140728827453385 0
/proc/17666/statm: 16949 10674 775 807 0 9940 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 67796 KiB
Current children cumulated memory: 42696 KiB

[startup+12.7003 s]
/proc/loadavg: 2.01 1.99 2.03 3/189 17702
/proc/meminfo: memFree=6670988/32770624 swapFree=67108380/67108860
[pid=17666] ppid=17663 vsize=67796 memory=42696 CPUtime=12.69 cores=0,2,4,6
/proc/17666/stat : 17666 (MistralXCSP) R 17663 17666 15490 0 -1 4202496 33526 0 0 0 1268 1 0 0 20 0 1 0 218911898 69423104 10674 33554432000 4194304 7499544 140728827448400 140728827443032 4541806 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20074496 140728827450478 140728827450627 140728827450627 140728827453385 0
/proc/17666/statm: 16949 10674 775 807 0 9940 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 67796 KiB
Current children cumulated memory: 42696 KiB

[startup+25.5003 s]
/proc/loadavg: 2.01 1.99 2.03 3/189 17702
/proc/meminfo: memFree=6669864/32770624 swapFree=67108380/67108860
[pid=17666] ppid=17663 vsize=67796 memory=42696 CPUtime=25.48 cores=0,2,4,6
/proc/17666/stat : 17666 (MistralXCSP) R 17663 17666 15490 0 -1 4202496 43672 0 0 0 2546 2 0 0 20 0 1 0 218911898 69423104 10674 33554432000 4194304 7499544 140728827448400 140728827443032 4258358 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20074496 140728827450478 140728827450627 140728827450627 140728827453385 0
/proc/17666/statm: 16949 10674 775 807 0 9940 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 67796 KiB
Current children cumulated memory: 42696 KiB

[startup+51.1095 s]
/proc/loadavg: 2.35 2.07 2.06 3/189 17702
/proc/meminfo: memFree=6669016/32770624 swapFree=67108380/67108860
[pid=17666] ppid=17663 vsize=67796 memory=42696 CPUtime=51.09 cores=0,2,4,6
/proc/17666/stat : 17666 (MistralXCSP) R 17663 17666 15490 0 -1 4202496 44253 0 0 0 5107 2 0 0 20 0 1 0 218911898 69423104 10674 33554432000 4194304 7499544 140728827448400 140728827443032 4540486 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20074496 140728827450478 140728827450627 140728827450627 140728827453385 0
/proc/17666/statm: 16949 10674 775 807 0 9940 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 67796 KiB
Current children cumulated memory: 42696 KiB

[startup+102.3 s]
/proc/loadavg: 2.38 2.13 2.08 3/189 17703
/proc/meminfo: memFree=6667124/32770624 swapFree=67108380/67108860
[pid=17666] ppid=17663 vsize=67796 memory=42696 CPUtime=102.28 cores=0,2,4,6
/proc/17666/stat : 17666 (MistralXCSP) R 17663 17666 15490 0 -1 4202496 44885 0 0 0 10226 2 0 0 20 0 1 0 218911898 69423104 10674 33554432000 4194304 7499544 140728827448400 140728827443032 4245316 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20074496 140728827450478 140728827450627 140728827450627 140728827453385 0
/proc/17666/statm: 16949 10674 775 807 0 9940 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 67796 KiB
Current children cumulated memory: 42696 KiB

[startup+162.3 s]
/proc/loadavg: 2.14 2.11 2.07 3/189 17704
/proc/meminfo: memFree=6667076/32770624 swapFree=67108380/67108860
[pid=17666] ppid=17663 vsize=67796 memory=42720 CPUtime=162.28 cores=0,2,4,6
/proc/17666/stat : 17666 (MistralXCSP) R 17663 17666 15490 0 -1 4202496 45502 0 0 0 16226 2 0 0 20 0 1 0 218911898 69423104 10680 33554432000 4194304 7499544 140728827448400 140728827443032 5161094 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20074496 140728827450478 140728827450627 140728827450627 140728827453385 0
/proc/17666/statm: 16949 10680 775 807 0 9940 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 67796 KiB
Current children cumulated memory: 42720 KiB

[startup+222.3 s]
/proc/loadavg: 2.01 2.07 2.06 3/187 17706
/proc/meminfo: memFree=6667048/32770624 swapFree=67108380/67108860
[pid=17666] ppid=17663 vsize=67796 memory=42724 CPUtime=222.28 cores=0,2,4,6
/proc/17666/stat : 17666 (MistralXCSP) R 17663 17666 15490 0 -1 4202496 46109 0 0 0 22226 2 0 0 20 0 1 0 218911898 69423104 10681 33554432000 4194304 7499544 140728827448400 140728827443032 5161085 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20074496 140728827450478 140728827450627 140728827450627 140728827453385 0
/proc/17666/statm: 16949 10681 775 807 0 9940 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 67796 KiB
Current children cumulated memory: 42724 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 17707
/proc/meminfo: memFree=6667140/32770624 swapFree=67108380/67108860
[pid=17666] ppid=17663 vsize=67796 memory=42724 CPUtime=282.28 cores=0,2,4,6
/proc/17666/stat : 17666 (MistralXCSP) R 17663 17666 15490 0 -1 4202496 46614 0 0 0 28226 2 0 0 20 0 1 0 218911898 69423104 10681 33554432000 4194304 7499544 140728827448400 140728827443032 5161301 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20074496 140728827450478 140728827450627 140728827450627 140728827453385 0
/proc/17666/statm: 16949 10681 775 807 0 9940 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 67796 KiB
Current children cumulated memory: 42724 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/187 17708
/proc/meminfo: memFree=6667380/32770624 swapFree=67108380/67108860
[pid=17666] ppid=17663 vsize=68024 memory=42788 CPUtime=342.28 cores=0,2,4,6
/proc/17666/stat : 17666 (MistralXCSP) R 17663 17666 15490 0 -1 4202496 47325 0 0 0 34226 2 0 0 20 0 1 0 218911898 69656576 10697 33554432000 4194304 7499544 140728827448400 140728827442760 4540532 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20074496 140728827450478 140728827450627 140728827450627 140728827453385 0
/proc/17666/statm: 17006 10697 775 807 0 9997 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 68024 KiB
Current children cumulated memory: 42788 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 17710
/proc/meminfo: memFree=6667360/32770624 swapFree=67108380/67108860
[pid=17666] ppid=17663 vsize=68024 memory=42924 CPUtime=402.29 cores=0,2,4,6
/proc/17666/stat : 17666 (MistralXCSP) R 17663 17666 15490 0 -1 4202496 47953 0 0 0 40226 3 0 0 20 0 1 0 218911898 69656576 10731 33554432000 4194304 7499544 140728827448400 140728827442760 5161094 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20074496 140728827450478 140728827450627 140728827450627 140728827453385 0
/proc/17666/statm: 17006 10731 775 807 0 9997 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 68024 KiB
Current children cumulated memory: 42924 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 17711
/proc/meminfo: memFree=6667332/32770624 swapFree=67108380/67108860
[pid=17666] ppid=17663 vsize=68024 memory=42924 CPUtime=462.29 cores=0,2,4,6
/proc/17666/stat : 17666 (MistralXCSP) R 17663 17666 15490 0 -1 4202496 48485 0 0 0 46226 3 0 0 20 0 1 0 218911898 69656576 10731 33554432000 4194304 7499544 140728827448400 140728827442760 5161094 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20074496 140728827450478 140728827450627 140728827450627 140728827453385 0
/proc/17666/statm: 17006 10731 775 807 0 9997 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 68024 KiB
Current children cumulated memory: 42924 KiB


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

/proc/17666/statm: 17006 10731 775 807 0 9997 0
Current children cumulated CPU time: 1722.3 s
Current children cumulated vsize: 68024 KiB
Current children cumulated memory: 42924 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/189 17781
/proc/meminfo: memFree=6665836/32770624 swapFree=67108380/67108860
[pid=17666] ppid=17663 vsize=68024 memory=42924 CPUtime=1782.3 cores=0,2,4,6
/proc/17666/stat : 17666 (MistralXCSP) R 17663 17666 15490 0 -1 4202496 60534 0 0 0 178227 3 0 0 20 0 1 0 218911898 69656576 10731 33554432000 4194304 7499544 140728827448400 140728827442760 5837773 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20074496 140728827450478 140728827450627 140728827450627 140728827453385 0
/proc/17666/statm: 17006 10731 775 807 0 9997 0
Current children cumulated CPU time: 1782.3 s
Current children cumulated vsize: 68024 KiB
Current children cumulated memory: 42924 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/189 17782
/proc/meminfo: memFree=6665836/32770624 swapFree=67108380/67108860
[pid=17666] ppid=17663 vsize=68024 memory=42924 CPUtime=1842.3 cores=0,2,4,6
/proc/17666/stat : 17666 (MistralXCSP) R 17663 17666 15490 0 -1 4202496 61080 0 0 0 184227 3 0 0 20 0 1 0 218911898 69656576 10731 33554432000 4194304 7499544 140728827448400 140728827442760 4246816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20074496 140728827450478 140728827450627 140728827450627 140728827453385 0
/proc/17666/statm: 17006 10731 775 807 0 9997 0
Current children cumulated CPU time: 1842.3 s
Current children cumulated vsize: 68024 KiB
Current children cumulated memory: 42924 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 17783
/proc/meminfo: memFree=6665880/32770624 swapFree=67108380/67108860
[pid=17666] ppid=17663 vsize=68024 memory=42924 CPUtime=1902.3 cores=0,2,4,6
/proc/17666/stat : 17666 (MistralXCSP) R 17663 17666 15490 0 -1 4202496 61693 0 0 0 190227 3 0 0 20 0 1 0 218911898 69656576 10731 33554432000 4194304 7499544 140728827448400 140728827442760 4579850 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20074496 140728827450478 140728827450627 140728827450627 140728827453385 0
/proc/17666/statm: 17006 10731 775 807 0 9997 0
Current children cumulated CPU time: 1902.3 s
Current children cumulated vsize: 68024 KiB
Current children cumulated memory: 42924 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 17784
/proc/meminfo: memFree=6666116/32770624 swapFree=67108380/67108860
[pid=17666] ppid=17663 vsize=68024 memory=42924 CPUtime=1962.31 cores=0,2,4,6
/proc/17666/stat : 17666 (MistralXCSP) R 17663 17666 15490 0 -1 4202496 62248 0 0 0 196228 3 0 0 20 0 1 0 218911898 69656576 10731 33554432000 4194304 7499544 140728827448400 140728827442760 4320544 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20074496 140728827450478 140728827450627 140728827450627 140728827453385 0
/proc/17666/statm: 17006 10731 775 807 0 9997 0
Current children cumulated CPU time: 1962.31 s
Current children cumulated vsize: 68024 KiB
Current children cumulated memory: 42924 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17786
/proc/meminfo: memFree=6665688/32770624 swapFree=67108380/67108860
[pid=17666] ppid=17663 vsize=68024 memory=42924 CPUtime=2022.31 cores=0,2,4,6
/proc/17666/stat : 17666 (MistralXCSP) R 17663 17666 15490 0 -1 4202496 62793 0 0 0 202228 3 0 0 20 0 1 0 218911898 69656576 10731 33554432000 4194304 7499544 140728827448400 140728827442760 5838039 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20074496 140728827450478 140728827450627 140728827450627 140728827453385 0
/proc/17666/statm: 17006 10731 775 807 0 9997 0
Current children cumulated CPU time: 2022.31 s
Current children cumulated vsize: 68024 KiB
Current children cumulated memory: 42924 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17787
/proc/meminfo: memFree=6666060/32770624 swapFree=67108380/67108860
[pid=17666] ppid=17663 vsize=68024 memory=42924 CPUtime=2082.31 cores=0,2,4,6
/proc/17666/stat : 17666 (MistralXCSP) R 17663 17666 15490 0 -1 4202496 63356 0 0 0 208228 3 0 0 20 0 1 0 218911898 69656576 10731 33554432000 4194304 7499544 140728827448400 140728827442760 5161055 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20074496 140728827450478 140728827450627 140728827450627 140728827453385 0
/proc/17666/statm: 17006 10731 775 807 0 9997 0
Current children cumulated CPU time: 2082.31 s
Current children cumulated vsize: 68024 KiB
Current children cumulated memory: 42924 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17788
/proc/meminfo: memFree=6665688/32770624 swapFree=67108380/67108860
[pid=17666] ppid=17663 vsize=68024 memory=42924 CPUtime=2142.31 cores=0,2,4,6
/proc/17666/stat : 17666 (MistralXCSP) R 17663 17666 15490 0 -1 4202496 63892 0 0 0 214228 3 0 0 20 0 1 0 218911898 69656576 10731 33554432000 4194304 7499544 140728827448400 140728827442760 5161081 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20074496 140728827450478 140728827450627 140728827450627 140728827453385 0
/proc/17666/statm: 17006 10731 775 807 0 9997 0
Current children cumulated CPU time: 2142.31 s
Current children cumulated vsize: 68024 KiB
Current children cumulated memory: 42924 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17790
/proc/meminfo: memFree=6665432/32770624 swapFree=67108380/67108860
[pid=17666] ppid=17663 vsize=68024 memory=42924 CPUtime=2202.31 cores=0,2,4,6
/proc/17666/stat : 17666 (MistralXCSP) R 17663 17666 15490 0 -1 4202496 64398 0 0 0 220228 3 0 0 20 0 1 0 218911898 69656576 10731 33554432000 4194304 7499544 140728827448400 140728827442760 5161111 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20074496 140728827450478 140728827450627 140728827450627 140728827453385 0
/proc/17666/statm: 17006 10731 775 807 0 9997 0
Current children cumulated CPU time: 2202.31 s
Current children cumulated vsize: 68024 KiB
Current children cumulated memory: 42924 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17791
/proc/meminfo: memFree=6665572/32770624 swapFree=67108380/67108860
[pid=17666] ppid=17663 vsize=68024 memory=42924 CPUtime=2262.31 cores=0,2,4,6
/proc/17666/stat : 17666 (MistralXCSP) R 17663 17666 15490 0 -1 4202496 64878 0 0 0 226228 3 0 0 20 0 1 0 218911898 69656576 10731 33554432000 4194304 7499544 140728827448400 140728827442760 5573412 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20074496 140728827450478 140728827450627 140728827450627 140728827453385 0
/proc/17666/statm: 17006 10731 775 807 0 9997 0
Current children cumulated CPU time: 2262.31 s
Current children cumulated vsize: 68024 KiB
Current children cumulated memory: 42924 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 17800
/proc/meminfo: memFree=6664516/32770624 swapFree=67108380/67108860
[pid=17666] ppid=17663 vsize=68024 memory=42924 CPUtime=2322.31 cores=0,2,4,6
/proc/17666/stat : 17666 (MistralXCSP) R 17663 17666 15490 0 -1 4202496 65369 0 0 0 232228 3 0 0 20 0 1 0 218911898 69656576 10731 33554432000 4194304 7499544 140728827448400 140728827442760 4246833 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20074496 140728827450478 140728827450627 140728827450627 140728827453385 0
/proc/17666/statm: 17006 10731 775 807 0 9997 0
Current children cumulated CPU time: 2322.31 s
Current children cumulated vsize: 68024 KiB
Current children cumulated memory: 42924 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 17801
/proc/meminfo: memFree=6664860/32770624 swapFree=67108380/67108860
[pid=17666] ppid=17663 vsize=68024 memory=42924 CPUtime=2382.31 cores=0,2,4,6
/proc/17666/stat : 17666 (MistralXCSP) R 17663 17666 15490 0 -1 4202496 65925 0 0 0 238228 3 0 0 20 0 1 0 218911898 69656576 10731 33554432000 4194304 7499544 140728827448400 140728827442760 5671144 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20074496 140728827450478 140728827450627 140728827450627 140728827453385 0
/proc/17666/statm: 17006 10731 775 807 0 9997 0
Current children cumulated CPU time: 2382.31 s
Current children cumulated vsize: 68024 KiB
Current children cumulated memory: 42924 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 17802
/proc/meminfo: memFree=6664836/32770624 swapFree=67108380/67108860
[pid=17666] ppid=17663 vsize=68024 memory=42924 CPUtime=2442.31 cores=0,2,4,6
/proc/17666/stat : 17666 (MistralXCSP) R 17663 17666 15490 0 -1 4202496 66465 0 0 0 244228 3 0 0 20 0 1 0 218911898 69656576 10731 33554432000 4194304 7499544 140728827448400 140728827442760 4246833 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20074496 140728827450478 140728827450627 140728827450627 140728827453385 0
/proc/17666/statm: 17006 10731 775 807 0 9997 0
Current children cumulated CPU time: 2442.31 s
Current children cumulated vsize: 68024 KiB
Current children cumulated memory: 42924 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 17803
/proc/meminfo: memFree=6665104/32770624 swapFree=67108380/67108860
[pid=17666] ppid=17663 vsize=68024 memory=42924 CPUtime=2502.31 cores=0,2,4,6
/proc/17666/stat : 17666 (MistralXCSP) R 17663 17666 15490 0 -1 4202496 67015 0 0 0 250228 3 0 0 20 0 1 0 218911898 69656576 10731 33554432000 4194304 7499544 140728827448400 140728827442760 5770128 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20074496 140728827450478 140728827450627 140728827450627 140728827453385 0
/proc/17666/statm: 17006 10731 775 807 0 9997 0
Current children cumulated CPU time: 2502.31 s
Current children cumulated vsize: 68024 KiB
Current children cumulated memory: 42924 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 17803
/proc/meminfo: memFree=6665104/32770624 swapFree=67108380/67108860
[pid=17666] ppid=17663 vsize=68024 memory=42924 CPUtime=2520.02 cores=0,2,4,6
/proc/17666/stat : 17666 (MistralXCSP) R 17663 17666 15490 0 -1 4202496 67516 0 0 0 251999 3 0 0 20 0 1 0 218911898 69656576 10731 33554432000 4194304 7499544 140728827448400 140728827442760 4579571 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20074496 140728827450478 140728827450627 140728827450627 140728827453385 0
/proc/17666/statm: 17006 10731 775 807 0 9997 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 68024 KiB
Current children cumulated memory: 42924 KiB

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

[startup+2520.01 s]
# the end of solver process 17666 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520 s, system=0.039 s

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

Child status: 0
Real time (s): 2520.01
CPU time (s): 2520.04
CPU user time (s): 2520
CPU system time (s): 0.039
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 68024
Max. memory (cumulated for all children) (KiB): 42924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520
system time used= 0.039
maximum resident set size= 42944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67546
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= 24
involuntary context switches= 647


# summary of solver processes directly reported to runsolver:
#   pid: 17666
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2520
#   total CPU system time (s): 0.039

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.34841 second user time and 17.2694 second system time

The end

Launcher Data 

Begin job on node137 at 2018-08-11 20:51:27
IDJOB=4303816
IDBENCH=141333
IDSOLVER=2779
FILE ID=node137/4303816-1534013487
RUNJOBID= node137-1533990775-15521
PBS_JOBID= 21036941
Free space on /tmp= 26236 MiB

SOLVER NAME= Mistral-2.0 2018-08-01
BENCH NAME= XCSP18/Bibd/Bibd-sum-22-033-12-08-04_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-4303816-1534013487/watcher-4303816-1534013487 -o /tmp/evaluation-result-4303816-1534013487/solver-4303816-1534013487 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1533990775-15521 --watchdog 2580  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 805680056 HOME/instance-4303816-1534013487.xml

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

MD5SUM BENCH= f3f766a62b1d9930afd3b37b1c8667ba
RANDOM SEED=805680056

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:         3365628 kB
MemAvailable:   28729880 kB
Buffers:          219488 kB
Cached:         25098936 kB
SwapCached:           24 kB
Active:         15376856 kB
Inactive:       13169316 kB
Active(anon):    2791348 kB
Inactive(anon):   488856 kB
Active(file):   12585508 kB
Inactive(file): 12680460 kB
Unevictable:        7432 kB
Mlocked:            7432 kB
SwapTotal:      67108860 kB
SwapFree:       67108380 kB
Dirty:              6048 kB
Writeback:             0 kB
AnonPages:       3202304 kB
Mapped:            66112 kB
Shmem:             49628 kB
Slab:             554564 kB
SReclaimable:     526744 kB
SUnreclaim:        27820 kB
KernelStack:        3776 kB
PageTables:        11788 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4437752 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1284096 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= 26376 MiB
End job on node137 at 2018-08-11 21:33:27