Trace number 4289378

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-06-15? (TO) 2400.04 2400.01

General information on the benchmark

NamePseudoBoolean-dec/
Pb-robin16_c18.xml
MD5SUM5947b7d603c6960c1f689b2eabbe33a0
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 variables14400
Number of constraints1088
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":14400}]
Minimum variable degree10
Maximum variable degree10
Distribution of variable degrees[{"degree":10,"count":14400}]
Minimum constraint arity120
Maximum constraint arity225
Distribution of constraint arities[{"arity":120,"count":960},{"arity":225,"count":128}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":1088}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c Mistral 16062018
2400.04/2400.00	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 (8678 MiB free)
  memory of node 1: 16384 MiB (12761 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289378-1532195305/watcher-4289378-1532195305 -o /tmp/evaluation-result-4289378-1532195305/solver-4289378-1532195305 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532190501-23424 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 468514592 HOME/instance-4289378-1532195305.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
solver pid=23840, runsolver pid=23837
Current StackSize limit: 8192 KiB


[startup+0.100115 s]*
/proc/loadavg: 2.00 2.01 2.04 5/200 23841
/proc/meminfo: memFree=21893088/32770624 swapFree=67108860/67108860
[pid=23840] ppid=23837 vsize=44892 memory=19424 CPUtime=0.1 cores=1,3,5,7
/proc/23840/stat : 23840 (MistralXCSP) R 23837 23840 23392 0 -1 4202496 5350 0 0 0 9 1 0 0 20 0 1 0 37093680 45969408 4856 33554432000 4194304 7498468 140730217008224 140730217000200 6093252 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37445632 140730217014382 140730217014531 140730217014531 140730217017289 0
/proc/23840/statm: 11223 4856 667 807 0 4214 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44892 KiB
Current children cumulated memory: 19424 KiB

[startup+0.209731 s]*
/proc/loadavg: 2.00 2.01 2.04 5/200 23841
/proc/meminfo: memFree=21879200/32770624 swapFree=67108860/67108860
[pid=23840] ppid=23837 vsize=46552 memory=21272 CPUtime=0.21 cores=1,3,5,7
/proc/23840/stat : 23840 (MistralXCSP) R 23837 23840 23392 0 -1 4202496 5817 0 0 0 20 1 0 0 20 0 1 0 37093680 47669248 5318 33554432000 4194304 7498468 140730217008224 140730217000200 140466195315685 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37445632 140730217014382 140730217014531 140730217014531 140730217017289 0
/proc/23840/statm: 11638 5318 715 807 0 4629 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 46552 KiB
Current children cumulated memory: 21272 KiB

[startup+0.309401 s]*
/proc/loadavg: 2.00 2.01 2.04 5/200 23841
/proc/meminfo: memFree=21845456/32770624 swapFree=67108860/67108860
[pid=23840] ppid=23837 vsize=54620 memory=29192 CPUtime=0.31 cores=1,3,5,7
/proc/23840/stat : 23840 (MistralXCSP) R 23837 23840 23392 0 -1 4202496 7812 0 0 0 30 1 0 0 20 0 1 0 37093680 55930880 7298 33554432000 4194304 7498468 140730217008224 140730217000200 140466195315685 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37445632 140730217014382 140730217014531 140730217014531 140730217017289 0
/proc/23840/statm: 13655 7298 715 807 0 6646 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 54620 KiB
Current children cumulated memory: 29192 KiB

[startup+0.700334 s]
/proc/loadavg: 2.00 2.01 2.04 5/200 23841
/proc/meminfo: memFree=21753240/32770624 swapFree=67108860/67108860
[pid=23840] ppid=23837 vsize=80268 memory=54912 CPUtime=0.69 cores=1,3,5,7
/proc/23840/stat : 23840 (MistralXCSP) R 23837 23840 23392 0 -1 4202496 14066 0 0 0 67 2 0 0 20 0 1 0 37093680 82194432 13728 33554432000 4194304 7498468 140730217008224 140730217000200 5877890 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37445632 140730217014382 140730217014531 140730217014531 140730217017289 0
/proc/23840/statm: 20067 13728 720 807 0 13058 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 80268 KiB
Current children cumulated memory: 54912 KiB

[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 2.04 7/200 23841
/proc/meminfo: memFree=21666632/32770624 swapFree=67108860/67108860
[pid=23840] ppid=23837 vsize=90232 memory=64960 CPUtime=1.49 cores=1,3,5,7
/proc/23840/stat : 23840 (MistralXCSP) R 23837 23840 23392 0 -1 4202496 16595 0 0 0 146 3 0 0 20 0 1 0 37093680 92397568 16240 33554432000 4194304 7498468 140730217008224 140730217003576 4246815 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37445632 140730217014382 140730217014531 140730217014531 140730217017289 0
/proc/23840/statm: 22558 16240 745 807 0 15549 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 90232 KiB
Current children cumulated memory: 64960 KiB

[startup+3.10949 s]
/proc/loadavg: 1.92 2.00 2.03 3/187 23873
/proc/meminfo: memFree=22042556/32770624 swapFree=67108860/67108860
[pid=23840] ppid=23837 vsize=93096 memory=67844 CPUtime=3.1 cores=1,3,5,7
/proc/23840/stat : 23840 (MistralXCSP) R 23837 23840 23392 0 -1 4202496 27794 0 0 0 307 3 0 0 20 0 1 0 37093680 95330304 16961 33554432000 4194304 7498468 140730217008224 140730217002920 5161477 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37445632 140730217014382 140730217014531 140730217014531 140730217017289 0
/proc/23840/statm: 23274 16961 750 807 0 16265 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 93096 KiB
Current children cumulated memory: 67844 KiB

[startup+6.30031 s]
/proc/loadavg: 1.92 2.00 2.03 3/187 23873
/proc/meminfo: memFree=22041620/32770624 swapFree=67108860/67108860
[pid=23840] ppid=23837 vsize=93408 memory=68156 CPUtime=6.28 cores=1,3,5,7
/proc/23840/stat : 23840 (MistralXCSP) R 23837 23840 23392 0 -1 4202496 39733 0 0 0 625 3 0 0 20 0 1 0 37093680 95649792 17039 33554432000 4194304 7498468 140730217008224 140730217002840 5777625 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37445632 140730217014382 140730217014531 140730217014531 140730217017289 0
/proc/23840/statm: 23352 17039 750 807 0 16343 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 93408 KiB
Current children cumulated memory: 68156 KiB

[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.03 3/187 23873
/proc/meminfo: memFree=22041904/32770624 swapFree=67108860/67108860
[pid=23840] ppid=23837 vsize=93408 memory=68200 CPUtime=12.69 cores=1,3,5,7
/proc/23840/stat : 23840 (MistralXCSP) R 23837 23840 23392 0 -1 4202496 51352 0 0 0 1265 4 0 0 20 0 1 0 37093680 95649792 17050 33554432000 4194304 7498468 140730217008224 140730217002840 5770894 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37445632 140730217014382 140730217014531 140730217014531 140730217017289 0
/proc/23840/statm: 23352 17050 750 807 0 16343 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 93408 KiB
Current children cumulated memory: 68200 KiB

[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.03 3/187 23873
/proc/meminfo: memFree=22042296/32770624 swapFree=67108860/67108860
[pid=23840] ppid=23837 vsize=93408 memory=68244 CPUtime=25.49 cores=1,3,5,7
/proc/23840/stat : 23840 (MistralXCSP) R 23837 23840 23392 0 -1 4202496 70465 0 0 0 2544 5 0 0 20 0 1 0 37093680 95649792 17061 33554432000 4194304 7498468 140730217008224 140730217002840 5774168 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37445632 140730217014382 140730217014531 140730217014531 140730217017289 0
/proc/23840/statm: 23352 17061 750 807 0 16343 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 93408 KiB
Current children cumulated memory: 68244 KiB

[startup+51.1094 s]
/proc/loadavg: 1.96 2.00 2.03 3/187 23873
/proc/meminfo: memFree=22041632/32770624 swapFree=67108860/67108860
[pid=23840] ppid=23837 vsize=93408 memory=68268 CPUtime=51.09 cores=1,3,5,7
/proc/23840/stat : 23840 (MistralXCSP) R 23837 23840 23392 0 -1 4202496 80684 0 0 0 5103 6 0 0 20 0 1 0 37093680 95649792 17067 33554432000 4194304 7498468 140730217008224 140730217002840 5773556 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37445632 140730217014382 140730217014531 140730217014531 140730217017289 0
/proc/23840/statm: 23352 17067 750 807 0 16343 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 93408 KiB
Current children cumulated memory: 68268 KiB

[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.03 3/188 23882
/proc/meminfo: memFree=22040956/32770624 swapFree=67108860/67108860
[pid=23840] ppid=23837 vsize=93408 memory=68328 CPUtime=102.27 cores=1,3,5,7
/proc/23840/stat : 23840 (MistralXCSP) R 23837 23840 23392 0 -1 4202496 81264 0 0 0 10221 6 0 0 20 0 1 0 37093680 95649792 17082 33554432000 4194304 7498468 140730217008224 140730217002840 4249706 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37445632 140730217014382 140730217014531 140730217014531 140730217017289 0
/proc/23840/statm: 23352 17082 750 807 0 16343 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 93408 KiB
Current children cumulated memory: 68328 KiB

[startup+162.3 s]
/proc/loadavg: 2.07 2.01 2.04 3/188 23883
/proc/meminfo: memFree=22041476/32770624 swapFree=67108860/67108860
[pid=23840] ppid=23837 vsize=93408 memory=68336 CPUtime=162.27 cores=1,3,5,7
/proc/23840/stat : 23840 (MistralXCSP) R 23837 23840 23392 0 -1 4202496 81821 0 0 0 16221 6 0 0 20 0 1 0 37093680 95649792 17084 33554432000 4194304 7498468 140730217008224 140730217002840 5840432 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37445632 140730217014382 140730217014531 140730217014531 140730217017289 0
/proc/23840/statm: 23352 17084 750 807 0 16343 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 93408 KiB
Current children cumulated memory: 68336 KiB

[startup+222.3 s]
/proc/loadavg: 2.03 2.01 2.04 3/188 23884
/proc/meminfo: memFree=22041500/32770624 swapFree=67108860/67108860
[pid=23840] ppid=23837 vsize=93408 memory=68340 CPUtime=222.28 cores=1,3,5,7
/proc/23840/stat : 23840 (MistralXCSP) R 23837 23840 23392 0 -1 4202496 82372 0 0 0 22222 6 0 0 20 0 1 0 37093680 95649792 17085 33554432000 4194304 7498468 140730217008224 140730217002840 5770918 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37445632 140730217014382 140730217014531 140730217014531 140730217017289 0
/proc/23840/statm: 23352 17085 750 807 0 16343 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 93408 KiB
Current children cumulated memory: 68340 KiB

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/188 23885
/proc/meminfo: memFree=22042080/32770624 swapFree=67108860/67108860
[pid=23840] ppid=23837 vsize=93408 memory=68340 CPUtime=282.28 cores=1,3,5,7
/proc/23840/stat : 23840 (MistralXCSP) R 23837 23840 23392 0 -1 4202496 82929 0 0 0 28222 6 0 0 20 0 1 0 37093680 95649792 17085 33554432000 4194304 7498468 140730217008224 140730217002840 4245328 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37445632 140730217014382 140730217014531 140730217014531 140730217017289 0
/proc/23840/statm: 23352 17085 750 807 0 16343 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 93408 KiB
Current children cumulated memory: 68340 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 23886
/proc/meminfo: memFree=22041652/32770624 swapFree=67108860/67108860
[pid=23840] ppid=23837 vsize=93408 memory=68344 CPUtime=342.28 cores=1,3,5,7
/proc/23840/stat : 23840 (MistralXCSP) R 23837 23840 23392 0 -1 4202496 83487 0 0 0 34222 6 0 0 20 0 1 0 37093680 95649792 17086 33554432000 4194304 7498468 140730217008224 140730217002840 5770997 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37445632 140730217014382 140730217014531 140730217014531 140730217017289 0
/proc/23840/statm: 23352 17086 750 807 0 16343 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 93408 KiB
Current children cumulated memory: 68344 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 23888
/proc/meminfo: memFree=22041984/32770624 swapFree=67108860/67108860
[pid=23840] ppid=23837 vsize=93408 memory=68344 CPUtime=402.28 cores=1,3,5,7
/proc/23840/stat : 23840 (MistralXCSP) R 23837 23840 23392 0 -1 4202496 83854 0 0 0 40222 6 0 0 20 0 1 0 37093680 95649792 17086 33554432000 4194304 7498468 140730217008224 140730217002840 5771004 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37445632 140730217014382 140730217014531 140730217014531 140730217017289 0
/proc/23840/statm: 23352 17086 750 807 0 16343 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 93408 KiB
Current children cumulated memory: 68344 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 23889
/proc/meminfo: memFree=22042140/32770624 swapFree=67108860/67108860
[pid=23840] ppid=23837 vsize=93408 memory=68344 CPUtime=462.28 cores=1,3,5,7
/proc/23840/stat : 23840 (MistralXCSP) R 23837 23840 23392 0 -1 4202496 84407 0 0 0 46222 6 0 0 20 0 1 0 37093680 95649792 17086 33554432000 4194304 7498468 140730217008224 140730217002840 5770947 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37445632 140730217014382 140730217014531 140730217014531 140730217017289 0
/proc/23840/statm: 23352 17086 750 807 0 16343 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 93408 KiB
Current children cumulated memory: 68344 KiB


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

/proc/23840/statm: 23385 17092 750 807 0 16376 0
Current children cumulated CPU time: 1602.3 s
Current children cumulated vsize: 93540 KiB
Current children cumulated memory: 68368 KiB

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 23948
/proc/meminfo: memFree=22041836/32770624 swapFree=67108860/67108860
[pid=23840] ppid=23837 vsize=93540 memory=68368 CPUtime=1662.3 cores=1,3,5,7
/proc/23840/stat : 23840 (MistralXCSP) R 23837 23840 23392 0 -1 4202496 92907 0 0 0 166224 6 0 0 20 0 1 0 37093680 95784960 17092 33554432000 4194304 7498468 140730217008224 140730217002776 4542312 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37445632 140730217014382 140730217014531 140730217014531 140730217017289 0
/proc/23840/statm: 23385 17092 750 807 0 16376 0
Current children cumulated CPU time: 1662.3 s
Current children cumulated vsize: 93540 KiB
Current children cumulated memory: 68368 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 23949
/proc/meminfo: memFree=22041812/32770624 swapFree=67108860/67108860
[pid=23840] ppid=23837 vsize=93540 memory=68368 CPUtime=1722.3 cores=1,3,5,7
/proc/23840/stat : 23840 (MistralXCSP) R 23837 23840 23392 0 -1 4202496 93296 0 0 0 172224 6 0 0 20 0 1 0 37093680 95784960 17092 33554432000 4194304 7498468 140730217008224 140730217002776 4249716 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37445632 140730217014382 140730217014531 140730217014531 140730217017289 0
/proc/23840/statm: 23385 17092 750 807 0 16376 0
Current children cumulated CPU time: 1722.3 s
Current children cumulated vsize: 93540 KiB
Current children cumulated memory: 68368 KiB

[startup+1782.3 s]
/proc/loadavg: 2.34 2.09 2.07 3/187 23950
/proc/meminfo: memFree=22042012/32770624 swapFree=67108860/67108860
[pid=23840] ppid=23837 vsize=93540 memory=68368 CPUtime=1782.31 cores=1,3,5,7
/proc/23840/stat : 23840 (MistralXCSP) R 23837 23840 23392 0 -1 4202496 93841 0 0 0 178225 6 0 0 20 0 1 0 37093680 95784960 17092 33554432000 4194304 7498468 140730217008224 140730217002776 4581086 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37445632 140730217014382 140730217014531 140730217014531 140730217017289 0
/proc/23840/statm: 23385 17092 750 807 0 16376 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 93540 KiB
Current children cumulated memory: 68368 KiB

[startup+1842.3 s]
/proc/loadavg: 2.27 2.13 2.08 3/187 23951
/proc/meminfo: memFree=22042084/32770624 swapFree=67108860/67108860
[pid=23840] ppid=23837 vsize=93540 memory=68368 CPUtime=1842.31 cores=1,3,5,7
/proc/23840/stat : 23840 (MistralXCSP) R 23837 23840 23392 0 -1 4202496 94218 0 0 0 184225 6 0 0 20 0 1 0 37093680 95784960 17092 33554432000 4194304 7498468 140730217008224 140730217002776 5773508 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37445632 140730217014382 140730217014531 140730217014531 140730217017289 0
/proc/23840/statm: 23385 17092 750 807 0 16376 0
Current children cumulated CPU time: 1842.31 s
Current children cumulated vsize: 93540 KiB
Current children cumulated memory: 68368 KiB

[startup+1902.3 s]
/proc/loadavg: 2.10 2.11 2.08 3/189 23961
/proc/meminfo: memFree=22041144/32770624 swapFree=67108860/67108860
[pid=23840] ppid=23837 vsize=93540 memory=68368 CPUtime=1902.31 cores=1,3,5,7
/proc/23840/stat : 23840 (MistralXCSP) R 23837 23840 23392 0 -1 4202496 94596 0 0 0 190225 6 0 0 20 0 1 0 37093680 95784960 17092 33554432000 4194304 7498468 140730217008224 140730217002776 5770918 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37445632 140730217014382 140730217014531 140730217014531 140730217017289 0
/proc/23840/statm: 23385 17092 750 807 0 16376 0
Current children cumulated CPU time: 1902.31 s
Current children cumulated vsize: 93540 KiB
Current children cumulated memory: 68368 KiB

[startup+1962.3 s]
/proc/loadavg: 2.04 2.09 2.07 3/189 23962
/proc/meminfo: memFree=22041472/32770624 swapFree=67108860/67108860
[pid=23840] ppid=23837 vsize=93540 memory=68368 CPUtime=1962.31 cores=1,3,5,7
/proc/23840/stat : 23840 (MistralXCSP) R 23837 23840 23392 0 -1 4202496 94972 0 0 0 196225 6 0 0 20 0 1 0 37093680 95784960 17092 33554432000 4194304 7498468 140730217008224 140730217002776 5774163 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37445632 140730217014382 140730217014531 140730217014531 140730217017289 0
/proc/23840/statm: 23385 17092 750 807 0 16376 0
Current children cumulated CPU time: 1962.31 s
Current children cumulated vsize: 93540 KiB
Current children cumulated memory: 68368 KiB

[startup+2022.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/189 23963
/proc/meminfo: memFree=22041180/32770624 swapFree=67108860/67108860
[pid=23840] ppid=23837 vsize=93540 memory=68368 CPUtime=2022.31 cores=1,3,5,7
/proc/23840/stat : 23840 (MistralXCSP) R 23837 23840 23392 0 -1 4202496 95351 0 0 0 202225 6 0 0 20 0 1 0 37093680 95784960 17092 33554432000 4194304 7498468 140730217008224 140730217002776 5770918 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37445632 140730217014382 140730217014531 140730217014531 140730217017289 0
/proc/23840/statm: 23385 17092 750 807 0 16376 0
Current children cumulated CPU time: 2022.31 s
Current children cumulated vsize: 93540 KiB
Current children cumulated memory: 68368 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/189 23964
/proc/meminfo: memFree=22041556/32770624 swapFree=67108860/67108860
[pid=23840] ppid=23837 vsize=93540 memory=68368 CPUtime=2082.31 cores=1,3,5,7
/proc/23840/stat : 23840 (MistralXCSP) R 23837 23840 23392 0 -1 4202496 95728 0 0 0 208225 6 0 0 20 0 1 0 37093680 95784960 17092 33554432000 4194304 7498468 140730217008224 140730217002776 5774175 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37445632 140730217014382 140730217014531 140730217014531 140730217017289 0
/proc/23840/statm: 23385 17092 750 807 0 16376 0
Current children cumulated CPU time: 2082.31 s
Current children cumulated vsize: 93540 KiB
Current children cumulated memory: 68368 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/189 23965
/proc/meminfo: memFree=22041964/32770624 swapFree=67108860/67108860
[pid=23840] ppid=23837 vsize=93540 memory=68368 CPUtime=2142.31 cores=1,3,5,7
/proc/23840/stat : 23840 (MistralXCSP) R 23837 23840 23392 0 -1 4202496 96105 0 0 0 214225 6 0 0 20 0 1 0 37093680 95784960 17092 33554432000 4194304 7498468 140730217008224 140730217002776 5773556 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37445632 140730217014382 140730217014531 140730217014531 140730217017289 0
/proc/23840/statm: 23385 17092 750 807 0 16376 0
Current children cumulated CPU time: 2142.31 s
Current children cumulated vsize: 93540 KiB
Current children cumulated memory: 68368 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 23967
/proc/meminfo: memFree=22041424/32770624 swapFree=67108860/67108860
[pid=23840] ppid=23837 vsize=93540 memory=68368 CPUtime=2202.32 cores=1,3,5,7
/proc/23840/stat : 23840 (MistralXCSP) R 23837 23840 23392 0 -1 4202496 96482 0 0 0 220225 7 0 0 20 0 1 0 37093680 95784960 17092 33554432000 4194304 7498468 140730217008224 140730217002776 5838471 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37445632 140730217014382 140730217014531 140730217014531 140730217017289 0
/proc/23840/statm: 23385 17092 750 807 0 16376 0
Current children cumulated CPU time: 2202.32 s
Current children cumulated vsize: 93540 KiB
Current children cumulated memory: 68368 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 23968
/proc/meminfo: memFree=22041808/32770624 swapFree=67108860/67108860
[pid=23840] ppid=23837 vsize=93540 memory=68368 CPUtime=2262.33 cores=1,3,5,7
/proc/23840/stat : 23840 (MistralXCSP) R 23837 23840 23392 0 -1 4202496 96864 0 0 0 226226 7 0 0 20 0 1 0 37093680 95784960 17092 33554432000 4194304 7498468 140730217008224 140730217002776 4249711 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37445632 140730217014382 140730217014531 140730217014531 140730217017289 0
/proc/23840/statm: 23385 17092 750 807 0 16376 0
Current children cumulated CPU time: 2262.33 s
Current children cumulated vsize: 93540 KiB
Current children cumulated memory: 68368 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 23969
/proc/meminfo: memFree=22042084/32770624 swapFree=67108860/67108860
[pid=23840] ppid=23837 vsize=93540 memory=68368 CPUtime=2322.33 cores=1,3,5,7
/proc/23840/stat : 23840 (MistralXCSP) R 23837 23840 23392 0 -1 4202496 97428 0 0 0 232226 7 0 0 20 0 1 0 37093680 95784960 17092 33554432000 4194304 7498468 140730217008224 140730217002776 5773556 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37445632 140730217014382 140730217014531 140730217014531 140730217017289 0
/proc/23840/statm: 23385 17092 750 807 0 16376 0
Current children cumulated CPU time: 2322.33 s
Current children cumulated vsize: 93540 KiB
Current children cumulated memory: 68368 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 23971
/proc/meminfo: memFree=22041900/32770624 swapFree=67108860/67108860
[pid=23840] ppid=23837 vsize=93540 memory=68372 CPUtime=2382.33 cores=1,3,5,7
/proc/23840/stat : 23840 (MistralXCSP) R 23837 23840 23392 0 -1 4202496 97836 0 0 0 238226 7 0 0 20 0 1 0 37093680 95784960 17093 33554432000 4194304 7498468 140730217008224 140730217002776 5771004 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37445632 140730217014382 140730217014531 140730217014531 140730217017289 0
/proc/23840/statm: 23385 17093 750 807 0 16376 0
Current children cumulated CPU time: 2382.33 s
Current children cumulated vsize: 93540 KiB
Current children cumulated memory: 68372 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400 s]*
/proc/loadavg: 2.00 2.02 2.05 3/187 23971
/proc/meminfo: memFree=22042012/32770624 swapFree=67108860/67108860
[pid=23840] ppid=23837 vsize=93540 memory=68372 CPUtime=2400.04 cores=1,3,5,7
/proc/23840/stat : 23840 (MistralXCSP) R 23837 23840 23392 0 -1 4202496 98242 0 0 0 239997 7 0 0 20 0 1 0 37093680 95784960 17093 33554432000 4194304 7498468 140730217008224 140730217002776 5771004 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 37445632 140730217014382 140730217014531 140730217014531 140730217017289 0
/proc/23840/statm: 23385 17093 750 807 0 16376 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 93540 KiB
Current children cumulated memory: 68372 KiB

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

[startup+2400.01 s]
# the end of solver process 23840 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.97 s, system=0.072001 s

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

Child status: 0
Real time (s): 2400.01
CPU time (s): 2400.04
CPU user time (s): 2399.97
CPU system time (s): 0.072001
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 93540
Max. memory (cumulated for all children) (KiB): 68372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.97
system time used= 0.072001
maximum resident set size= 68392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98277
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= 35
involuntary context switches= 648


# summary of solver processes directly reported to runsolver:
#   pid: 23840
#   total CPU time (s): 2400.04
#   total CPU user time (s): 2399.97
#   total CPU system time (s): 0.072001

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.3186 second user time and 16.4086 second system time

The end

Launcher Data 

Begin job on node136 at 2018-07-21 19:48:25
IDJOB=4289378
IDBENCH=141231
IDSOLVER=2741
FILE ID=node136/4289378-1532195305
RUNJOBID= node136-1532190501-23424
PBS_JOBID= 21018931
Free space on /tmp= 57104 MiB

SOLVER NAME= Mistral-2.0 2018-06-15
BENCH NAME= XCSP18/PseudoBoolean-dec/Pb-robin16_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-4289378-1532195305/watcher-4289378-1532195305 -o /tmp/evaluation-result-4289378-1532195305/solver-4289378-1532195305 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532190501-23424 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 468514592 HOME/instance-4289378-1532195305.xml

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

MD5SUM BENCH= 5947b7d603c6960c1f689b2eabbe33a0
RANDOM SEED=468514592

node136.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.50
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.55
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.50
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.55
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.50
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.55
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.50
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        21963004 kB
MemAvailable:   31795996 kB
Buffers:          220704 kB
Cached:          9822032 kB
SwapCached:            0 kB
Active:          1205208 kB
Inactive:        9035404 kB
Active(anon):     200940 kB
Inactive(anon):    16920 kB
Active(file):    1004268 kB
Inactive(file):  9018484 kB
Unevictable:        7336 kB
Mlocked:            7336 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              9748 kB
Writeback:            12 kB
AnonPages:        249768 kB
Mapped:            45740 kB
Shmem:             17036 kB
Slab:             265080 kB
SReclaimable:     238700 kB
SUnreclaim:        26380 kB
KernelStack:        3408 kB
PageTables:         5388 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1272152 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    163840 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 57096 MiB
End job on node136 at 2018-07-21 20:28:25