Trace number 4298791

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
NACRE 1.0.4? (TO) 2519.54 2520.02

General information on the benchmark

NamePseudoBoolean-dec/
Pb-chnl15-16_c18.xml
MD5SUM8b2f27ca9e664fd505b84cd8dff1749a
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 variables480
Number of constraints62
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":480}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":480}]
Minimum constraint arity15
Maximum constraint arity16
Distribution of constraint arities[{"arity":15,"count":32},{"arity":16,"count":30}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":62}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c NACRE 1.0.4
2519.52/2520.01	c
2519.52/2520.01	c # time = 2519.52
2519.52/2520.01	c # Dec = 10618613
2519.52/2520.01	c # Propagate Calls = 196673015
2519.52/2520.01	c # assignAt Calls = 51801816
2519.52/2520.01	c # removeAt Calls = 120785457
2519.52/2520.01	c # Run = 13225
2519.52/2520.01	c # Conflicts = 8193448
2519.52/2520.01	c # Memory used = 843.604 Mb
2519.52/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 (7672 MiB free)
  memory of node 1: 16384 MiB (12657 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298791-1532779355/watcher-4298791-1532779355 -o /tmp/evaluation-result-4298791-1532779355/solver-4298791-1532779355 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532773607-19388 --watchdog 2580 nacre_mini_release HOME/instance-4298791-1532779355.xml -ca -l100 -cm 

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

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


[startup+0.100162 s]*
/proc/loadavg: 2.05 2.00 2.00 3/189 21169
/proc/meminfo: memFree=20815308/32770624 swapFree=67108796/67108860
[pid=21168] ppid=21165 vsize=28224 memory=5048 CPUtime=0.1 cores=1,3,5,7
/proc/21168/stat : 21168 (nacre_mini_rele) R 21165 21168 24279 0 -1 4202496 1431 0 0 0 10 0 0 0 20 0 1 0 95498669 28901376 1262 33554432000 4194304 4933779 140732080464208 140732080461208 140367518354405 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 20709376 140732080469144 140732080469244 140732080469244 140732080472002 0
/proc/21168/statm: 7056 1262 612 181 0 673 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28224 KiB
Current children cumulated memory: 5048 KiB

[startup+0.209453 s]*
/proc/loadavg: 2.05 2.00 2.00 3/189 21169
/proc/meminfo: memFree=20813872/32770624 swapFree=67108796/67108860
[pid=21168] ppid=21165 vsize=29616 memory=6368 CPUtime=0.21 cores=1,3,5,7
/proc/21168/stat : 21168 (nacre_mini_rele) R 21165 21168 24279 0 -1 4202496 1782 0 0 0 21 0 0 0 20 0 1 0 95498669 30326784 1592 33554432000 4194304 4933779 140732080464208 140732080461208 140367518354405 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 20709376 140732080469144 140732080469244 140732080469244 140732080472002 0
/proc/21168/statm: 7404 1592 612 181 0 1021 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29616 KiB
Current children cumulated memory: 6368 KiB

[startup+0.308978 s]*
/proc/loadavg: 2.05 2.00 2.00 3/189 21169
/proc/meminfo: memFree=20812384/32770624 swapFree=67108796/67108860
[pid=21168] ppid=21165 vsize=31268 memory=7952 CPUtime=0.31 cores=1,3,5,7
/proc/21168/stat : 21168 (nacre_mini_rele) R 21165 21168 24279 0 -1 4202496 2157 0 0 0 31 0 0 0 20 0 1 0 95498669 32018432 1988 33554432000 4194304 4933779 140732080464208 140732080461208 4437558 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 20709376 140732080469144 140732080469244 140732080469244 140732080472002 0
/proc/21168/statm: 7817 1988 612 181 0 1434 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31268 KiB
Current children cumulated memory: 7952 KiB

[startup+0.700309 s]
/proc/loadavg: 2.05 2.00 2.00 3/189 21169
/proc/meminfo: memFree=20808664/32770624 swapFree=67108796/67108860
[pid=21168] ppid=21165 vsize=37620 memory=14116 CPUtime=0.69 cores=1,3,5,7
/proc/21168/stat : 21168 (nacre_mini_rele) R 21165 21168 24279 0 -1 4202496 3745 0 0 0 69 0 0 0 20 0 1 0 95498669 38522880 3529 33554432000 4194304 4933779 140732080464208 140732080461208 4365635 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 20709376 140732080469144 140732080469244 140732080469244 140732080472002 0
/proc/21168/statm: 9405 3529 612 181 0 3022 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 37620 KiB
Current children cumulated memory: 14116 KiB

[startup+1.50034 s]
/proc/loadavg: 2.05 2.00 2.00 3/189 21169
/proc/meminfo: memFree=20802712/32770624 swapFree=67108796/67108860
[pid=21168] ppid=21165 vsize=45280 memory=21772 CPUtime=1.49 cores=1,3,5,7
/proc/21168/stat : 21168 (nacre_mini_rele) R 21165 21168 24279 0 -1 4202496 5702 0 0 0 148 1 0 0 20 0 1 0 95498669 46366720 5443 33554432000 4194304 4933779 140732080464208 140732080461960 4437558 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 20709376 140732080469144 140732080469244 140732080469244 140732080472002 0
/proc/21168/statm: 11320 5443 612 181 0 4937 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 45280 KiB
Current children cumulated memory: 21772 KiB

[startup+3.10952 s]
/proc/loadavg: 2.05 2.00 2.00 3/189 21169
/proc/meminfo: memFree=20783864/32770624 swapFree=67108796/67108860
[pid=21168] ppid=21165 vsize=60404 memory=36364 CPUtime=3.1 cores=1,3,5,7
/proc/21168/stat : 21168 (nacre_mini_rele) R 21165 21168 24279 0 -1 4202496 14922 0 0 0 308 2 0 0 20 0 1 0 95498669 61853696 9091 33554432000 4194304 4933779 140732080464208 140732080461960 140367518354405 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 20709376 140732080469144 140732080469244 140732080469244 140732080472002 0
/proc/21168/statm: 15101 9091 612 181 0 8718 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 60404 KiB
Current children cumulated memory: 36364 KiB

[startup+6.30035 s]
/proc/loadavg: 2.05 2.00 2.00 3/189 21169
/proc/meminfo: memFree=20765388/32770624 swapFree=67108796/67108860
[pid=21168] ppid=21165 vsize=76832 memory=52908 CPUtime=6.29 cores=1,3,5,7
/proc/21168/stat : 21168 (nacre_mini_rele) R 21165 21168 24279 0 -1 4202496 27744 0 0 0 625 4 0 0 20 0 1 0 95498669 78675968 13227 33554432000 4194304 4933779 140732080464208 140732080461720 4437570 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 20709376 140732080469144 140732080469244 140732080469244 140732080472002 0
/proc/21168/statm: 19208 13227 612 181 0 12825 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 76832 KiB
Current children cumulated memory: 52908 KiB

[startup+12.7003 s]
/proc/loadavg: 2.05 2.00 2.00 3/189 21169
/proc/meminfo: memFree=20741472/32770624 swapFree=67108796/67108860
[pid=21168] ppid=21165 vsize=98172 memory=74204 CPUtime=12.69 cores=1,3,5,7
/proc/21168/stat : 21168 (nacre_mini_rele) R 21165 21168 24279 0 -1 4202496 44805 0 0 0 1263 6 0 0 20 0 1 0 95498669 100528128 18551 33554432000 4194304 4933779 140732080464208 140732080461960 140367518354405 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 20709376 140732080469144 140732080469244 140732080469244 140732080472002 0
/proc/21168/statm: 24543 18551 612 181 0 18160 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 98172 KiB
Current children cumulated memory: 74204 KiB

[startup+25.5004 s]
/proc/loadavg: 2.04 2.00 2.00 3/189 21169
/proc/meminfo: memFree=20708348/32770624 swapFree=67108796/67108860
[pid=21168] ppid=21165 vsize=124612 memory=100688 CPUtime=25.49 cores=1,3,5,7
/proc/21168/stat : 21168 (nacre_mini_rele) R 21165 21168 24279 0 -1 4202496 84243 0 0 0 2539 10 0 0 20 0 1 0 95498669 127602688 25172 33554432000 4194304 4933779 140732080464208 140732080461720 4437567 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 20709376 140732080469144 140732080469244 140732080469244 140732080472002 0
/proc/21168/statm: 31153 25172 612 181 0 24770 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 124612 KiB
Current children cumulated memory: 100688 KiB

[startup+51.1096 s]
/proc/loadavg: 2.02 2.00 2.00 3/189 21169
/proc/meminfo: memFree=20663412/32770624 swapFree=67108796/67108860
[pid=21168] ppid=21165 vsize=161748 memory=136180 CPUtime=51.09 cores=1,3,5,7
/proc/21168/stat : 21168 (nacre_mini_rele) R 21165 21168 24279 0 -1 4202496 119054 0 0 0 5096 13 0 0 20 0 1 0 95498669 165629952 34045 33554432000 4194304 4933779 140732080464208 140732080461960 4437536 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 20709376 140732080469144 140732080469244 140732080469244 140732080472002 0
/proc/21168/statm: 40437 34045 612 181 0 34054 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 161748 KiB
Current children cumulated memory: 136180 KiB

[startup+102.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/189 21170
/proc/meminfo: memFree=20588388/32770624 swapFree=67108796/67108860
[pid=21168] ppid=21165 vsize=214168 memory=188616 CPUtime=102.28 cores=1,3,5,7
/proc/21168/stat : 21168 (nacre_mini_rele) R 21165 21168 24279 0 -1 4202496 169015 0 0 0 10210 18 0 0 20 0 1 0 95498669 219308032 47154 33554432000 4194304 4933779 140732080464208 140732080461960 140367524648144 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 20709376 140732080469144 140732080469244 140732080469244 140732080472002 0
/proc/21168/statm: 53542 47154 612 181 0 47159 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 214168 KiB
Current children cumulated memory: 188616 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/187 21171
/proc/meminfo: memFree=20531580/32770624 swapFree=67108796/67108860
[pid=21168] ppid=21165 vsize=266496 memory=240852 CPUtime=162.29 cores=1,3,5,7
/proc/21168/stat : 21168 (nacre_mini_rele) R 21165 21168 24279 0 -1 4202496 230048 0 0 0 16203 26 0 0 20 0 1 0 95498669 272891904 60213 33554432000 4194304 4933779 140732080464208 140732080461896 4437536 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 20709376 140732080469144 140732080469244 140732080469244 140732080472002 0
/proc/21168/statm: 66624 60213 612 181 0 60241 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 266496 KiB
Current children cumulated memory: 240852 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/187 21172
/proc/meminfo: memFree=20488188/32770624 swapFree=67108796/67108860
[pid=21168] ppid=21165 vsize=309372 memory=283896 CPUtime=222.28 cores=1,3,5,7
/proc/21168/stat : 21168 (nacre_mini_rele) R 21165 21168 24279 0 -1 4202496 299326 0 0 0 22194 34 0 0 20 0 1 0 95498669 316796928 70974 33554432000 4194304 4933779 140732080464208 140732080461960 4437558 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 20709376 140732080469144 140732080469244 140732080469244 140732080472002 0
/proc/21168/statm: 77343 70974 612 181 0 70960 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 309372 KiB
Current children cumulated memory: 283896 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/187 21173
/proc/meminfo: memFree=20444244/32770624 swapFree=67108796/67108860
[pid=21168] ppid=21165 vsize=353700 memory=325724 CPUtime=282.27 cores=1,3,5,7
/proc/21168/stat : 21168 (nacre_mini_rele) R 21165 21168 24279 0 -1 4202496 372447 0 0 0 28185 42 0 0 20 0 1 0 95498669 362188800 81431 33554432000 4194304 4933779 140732080464208 140732080461960 4437393 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 20709376 140732080469144 140732080469244 140732080469244 140732080472002 0
/proc/21168/statm: 88425 81431 612 181 0 82042 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 353700 KiB
Current children cumulated memory: 325724 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/187 21174
/proc/meminfo: memFree=20393992/32770624 swapFree=67108796/67108860
[pid=21168] ppid=21165 vsize=391000 memory=363944 CPUtime=342.22 cores=1,3,5,7
/proc/21168/stat : 21168 (nacre_mini_rele) R 21165 21168 24279 0 -1 4202496 400782 0 0 0 34175 47 0 0 20 0 1 0 95498669 400384000 90986 33554432000 4194304 4933779 140732080464208 140732080461960 4437572 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 20709376 140732080469144 140732080469244 140732080469244 140732080472002 0
/proc/21168/statm: 97750 90986 612 181 0 91367 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 391000 KiB
Current children cumulated memory: 363944 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/187 21175
/proc/meminfo: memFree=20351868/32770624 swapFree=67108796/67108860
[pid=21168] ppid=21165 vsize=419212 memory=392980 CPUtime=402.18 cores=1,3,5,7
/proc/21168/stat : 21168 (nacre_mini_rele) R 21165 21168 24279 0 -1 4202496 459607 0 0 0 40164 54 0 0 20 0 1 0 95498669 429273088 98245 33554432000 4194304 4933779 140732080464208 140732080461960 140367519098224 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 20709376 140732080469144 140732080469244 140732080469244 140732080472002 0
/proc/21168/statm: 104803 98245 612 181 0 98420 0
Current children cumulated CPU time: 402.18 s
Current children cumulated vsize: 419212 KiB
Current children cumulated memory: 392980 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/187 21183
/proc/meminfo: memFree=20306256/32770624 swapFree=67108796/67108860
[pid=21168] ppid=21165 vsize=449156 memory=423832 CPUtime=462.13 cores=1,3,5,7
/proc/21168/stat : 21168 (nacre_mini_rele) R 21165 21168 24279 0 -1 4202496 497625 0 0 0 46154 59 0 0 20 0 1 0 95498669 459935744 105958 33554432000 4194304 4933779 140732080464208 140732080461960 4437416 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 20709376 140732080469144 140732080469244 140732080469244 140732080472002 0
/proc/21168/statm: 112289 105958 612 181 0 105906 0
Current children cumulated CPU time: 462.13 s
Current children cumulated vsize: 449156 KiB
Current children cumulated memory: 423832 KiB


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

/proc/21168/statm: 191716 184490 612 181 0 185333 0
Current children cumulated CPU time: 1722 s
Current children cumulated vsize: 766864 KiB
Current children cumulated memory: 737960 KiB

[startup+1782.3 s]
/proc/loadavg: 2.01 2.07 2.05 3/187 21222
/proc/meminfo: memFree=19572736/32770624 swapFree=67108796/67108860
[pid=21168] ppid=21165 vsize=773220 memory=744252 CPUtime=1781.99 cores=1,3,5,7
/proc/21168/stat : 21168 (nacre_mini_rele) R 21165 21168 24279 0 -1 4202496 1387830 0 0 0 178043 156 0 0 20 0 1 0 95498669 791777280 186063 33554432000 4194304 4933779 140732080464208 140732080461896 140367524545312 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 20709376 140732080469144 140732080469244 140732080469244 140732080472002 0
/proc/21168/statm: 193305 186063 612 181 0 186922 0
Current children cumulated CPU time: 1781.99 s
Current children cumulated vsize: 773220 KiB
Current children cumulated memory: 744252 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.06 2.05 3/187 21284
/proc/meminfo: memFree=21441052/32770624 swapFree=67108796/67108860
[pid=21168] ppid=21165 vsize=779820 memory=750900 CPUtime=1841.99 cores=1,3,5,7
/proc/21168/stat : 21168 (nacre_mini_rele) R 21165 21168 24279 0 -1 4202496 1456806 0 0 0 184036 163 0 0 20 0 1 0 95498669 798535680 187725 33554432000 4194304 4933779 140732080464208 140732080461960 4437393 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 20709376 140732080469144 140732080469244 140732080469244 140732080472002 0
/proc/21168/statm: 194955 187725 612 181 0 188572 0
Current children cumulated CPU time: 1841.99 s
Current children cumulated vsize: 779820 KiB
Current children cumulated memory: 750900 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/187 21285
/proc/meminfo: memFree=21347796/32770624 swapFree=67108796/67108860
[pid=21168] ppid=21165 vsize=789060 memory=760132 CPUtime=1901.99 cores=1,3,5,7
/proc/21168/stat : 21168 (nacre_mini_rele) R 21165 21168 24279 0 -1 4202496 1528395 0 0 0 190029 170 0 0 20 0 1 0 95498669 807997440 190033 33554432000 4194304 4933779 140732080464208 140732080461960 4447741 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 20709376 140732080469144 140732080469244 140732080469244 140732080472002 0
/proc/21168/statm: 197265 190033 612 181 0 190882 0
Current children cumulated CPU time: 1901.99 s
Current children cumulated vsize: 789060 KiB
Current children cumulated memory: 760132 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 21286
/proc/meminfo: memFree=21296372/32770624 swapFree=67108796/67108860
[pid=21168] ppid=21165 vsize=795960 memory=767040 CPUtime=1961.98 cores=1,3,5,7
/proc/21168/stat : 21168 (nacre_mini_rele) R 21165 21168 24279 0 -1 4202496 1601179 0 0 0 196021 177 0 0 20 0 1 0 95498669 815063040 191760 33554432000 4194304 4933779 140732080464208 140732080461960 140367518346866 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 20709376 140732080469144 140732080469244 140732080469244 140732080472002 0
/proc/21168/statm: 198990 191760 612 181 0 192607 0
Current children cumulated CPU time: 1961.98 s
Current children cumulated vsize: 795960 KiB
Current children cumulated memory: 767040 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 21287
/proc/meminfo: memFree=21260660/32770624 swapFree=67108796/67108860
[pid=21168] ppid=21165 vsize=801916 memory=773084 CPUtime=2021.98 cores=1,3,5,7
/proc/21168/stat : 21168 (nacre_mini_rele) R 21165 21168 24279 0 -1 4202496 1674302 0 0 0 202016 182 0 0 20 0 1 0 95498669 821161984 193271 33554432000 4194304 4933779 140732080464208 140732080461960 140367518354405 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 20709376 140732080469144 140732080469244 140732080469244 140732080472002 0
/proc/21168/statm: 200479 193271 612 181 0 194096 0
Current children cumulated CPU time: 2021.98 s
Current children cumulated vsize: 801916 KiB
Current children cumulated memory: 773084 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 21288
/proc/meminfo: memFree=21223584/32770624 swapFree=67108796/67108860
[pid=21168] ppid=21165 vsize=810512 memory=781404 CPUtime=2081.98 cores=1,3,5,7
/proc/21168/stat : 21168 (nacre_mini_rele) R 21165 21168 24279 0 -1 4202496 1751473 0 0 0 208007 191 0 0 20 0 1 0 95498669 829964288 195351 33554432000 4194304 4933779 140732080464208 140732080461960 4437393 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 20709376 140732080469144 140732080469244 140732080469244 140732080472002 0
/proc/21168/statm: 202628 195351 612 181 0 196245 0
Current children cumulated CPU time: 2081.98 s
Current children cumulated vsize: 810512 KiB
Current children cumulated memory: 781404 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 21289
/proc/meminfo: memFree=21193676/32770624 swapFree=67108796/67108860
[pid=21168] ppid=21165 vsize=818660 memory=790012 CPUtime=2141.94 cores=1,3,5,7
/proc/21168/stat : 21168 (nacre_mini_rele) R 21165 21168 24279 0 -1 4202496 1824614 0 0 0 213998 196 0 0 20 0 1 0 95498669 838307840 197503 33554432000 4194304 4933779 140732080464208 140732080461960 4364888 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 20709376 140732080469144 140732080469244 140732080469244 140732080472002 0
/proc/21168/statm: 204665 197503 612 181 0 198282 0
Current children cumulated CPU time: 2141.94 s
Current children cumulated vsize: 818660 KiB
Current children cumulated memory: 790012 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 21290
/proc/meminfo: memFree=21164836/32770624 swapFree=67108796/67108860
[pid=21168] ppid=21165 vsize=826624 memory=798828 CPUtime=2201.9 cores=1,3,5,7
/proc/21168/stat : 21168 (nacre_mini_rele) R 21165 21168 24279 0 -1 4202496 1854585 0 0 0 219990 200 0 0 20 0 1 0 95498669 846462976 199707 33554432000 4194304 4933779 140732080464208 140732080461960 4364852 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 20709376 140732080469144 140732080469244 140732080469244 140732080472002 0
/proc/21168/statm: 206656 199707 612 181 0 200273 0
Current children cumulated CPU time: 2201.9 s
Current children cumulated vsize: 826624 KiB
Current children cumulated memory: 798828 KiB

[startup+2262.3 s]
/proc/loadavg: 1.95 2.00 2.04 3/188 21299
/proc/meminfo: memFree=21134512/32770624 swapFree=67108796/67108860
[pid=21168] ppid=21165 vsize=835088 memory=809416 CPUtime=2261.86 cores=1,3,5,7
/proc/21168/stat : 21168 (nacre_mini_rele) R 21165 21168 24279 0 -1 4202496 1877843 0 0 0 225984 202 0 0 20 0 1 0 95498669 855130112 202354 33554432000 4194304 4933779 140732080464208 140732080461960 4437393 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 20709376 140732080469144 140732080469244 140732080469244 140732080472002 0
/proc/21168/statm: 208772 202354 612 181 0 202389 0
Current children cumulated CPU time: 2261.86 s
Current children cumulated vsize: 835088 KiB
Current children cumulated memory: 809416 KiB

[startup+2322.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/188 21300
/proc/meminfo: memFree=21109748/32770624 swapFree=67108796/67108860
[pid=21168] ppid=21165 vsize=842344 memory=817020 CPUtime=2321.82 cores=1,3,5,7
/proc/21168/stat : 21168 (nacre_mini_rele) R 21165 21168 24279 0 -1 4202496 1884957 0 0 0 231979 203 0 0 20 0 1 0 95498669 862560256 204255 33554432000 4194304 4933779 140732080464208 140732080461960 140367518351893 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 20709376 140732080469144 140732080469244 140732080469244 140732080472002 0
/proc/21168/statm: 210586 204255 612 181 0 204203 0
Current children cumulated CPU time: 2321.82 s
Current children cumulated vsize: 842344 KiB
Current children cumulated memory: 817020 KiB

[startup+2382.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/188 21301
/proc/meminfo: memFree=21083000/32770624 swapFree=67108796/67108860
[pid=21168] ppid=21165 vsize=850452 memory=824972 CPUtime=2381.83 cores=1,3,5,7
/proc/21168/stat : 21168 (nacre_mini_rele) R 21165 21168 24279 0 -1 4202496 1888627 0 0 0 237978 205 0 0 20 0 1 0 95498669 870862848 206243 33554432000 4194304 4933779 140732080464208 140732080461960 4437393 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 20709376 140732080469144 140732080469244 140732080469244 140732080472002 0
/proc/21168/statm: 212613 206243 612 181 0 206230 0
Current children cumulated CPU time: 2381.83 s
Current children cumulated vsize: 850452 KiB
Current children cumulated memory: 824972 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 21302
/proc/meminfo: memFree=21055952/32770624 swapFree=67108796/67108860
[pid=21168] ppid=21165 vsize=858508 memory=833208 CPUtime=2441.81 cores=1,3,5,7
/proc/21168/stat : 21168 (nacre_mini_rele) R 21165 21168 24279 0 -1 4202496 1894149 0 0 0 243975 206 0 0 20 0 1 0 95498669 879112192 208302 33554432000 4194304 4933779 140732080464208 140732080461896 4437572 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 20709376 140732080469144 140732080469244 140732080469244 140732080472002 0
/proc/21168/statm: 214627 208302 612 181 0 208244 0
Current children cumulated CPU time: 2441.81 s
Current children cumulated vsize: 858508 KiB
Current children cumulated memory: 833208 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 21303
/proc/meminfo: memFree=21032976/32770624 swapFree=67108796/67108860
[pid=21168] ppid=21165 vsize=866692 memory=841176 CPUtime=2501.81 cores=1,3,5,7
/proc/21168/stat : 21168 (nacre_mini_rele) R 21165 21168 24279 0 -1 4202496 1901376 0 0 0 249973 208 0 0 20 0 1 0 95498669 887492608 210294 33554432000 4194304 4933779 140732080464208 140732080461720 4447758 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 20709376 140732080469144 140732080469244 140732080469244 140732080472002 0
/proc/21168/statm: 216673 210294 612 181 0 210290 0
Current children cumulated CPU time: 2501.81 s
Current children cumulated vsize: 866692 KiB
Current children cumulated memory: 841176 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.00 2.04 3/188 21303
/proc/meminfo: memFree=21025140/32770624 swapFree=67108796/67108860
[pid=21168] ppid=21165 vsize=869076 memory=843568 CPUtime=2519.52 cores=1,3,5,7
/proc/21168/stat : 21168 (nacre_mini_rele) R 21165 21168 24279 0 -1 4202496 1907377 0 0 0 251743 209 0 0 20 0 1 0 95498669 889933824 210892 33554432000 4194304 4933779 140732080464208 140732080461960 4437393 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 20709376 140732080469144 140732080469244 140732080469244 140732080472002 0
/proc/21168/statm: 217269 210892 612 181 0 210886 0
Current children cumulated CPU time: 2519.52 s
Current children cumulated vsize: 869076 KiB
Current children cumulated memory: 843568 KiB

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

[startup+2520.02 s]
# the end of solver process 21168 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.44 s, system=2.09988 s

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

Child status: 0
Real time (s): 2520.02
CPU time (s): 2519.54
CPU user time (s): 2517.44
CPU system time (s): 2.09988
CPU usage (%): 99.9811
Max. virtual memory (cumulated for all children) (KiB): 869076
Max. memory (cumulated for all children) (KiB): 843568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.44
system time used= 2.09988
maximum resident set size= 843672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1907420
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= 398
involuntary context switches= 2410


# summary of solver processes directly reported to runsolver:
#   pid: 21168
#   total CPU time (s): 2519.54
#   total CPU user time (s): 2517.44
#   total CPU system time (s): 2.09988

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.71893 second user time and 18.2913 second system time

The end

Launcher Data 

Begin job on node138 at 2018-07-28 14:02:35
IDJOB=4298791
IDBENCH=141234
IDSOLVER=2764
FILE ID=node138/4298791-1532779355
RUNJOBID= node138-1532773607-19388
PBS_JOBID= 21022455
Free space on /tmp= 53800 MiB

SOLVER NAME= NACRE 1.0.4
BENCH NAME= XCSP18/PseudoBoolean-dec/Pb-chnl15-16_c18.xml
COMMAND LINE= nacre_mini_release BENCHNAME -ca -l100 -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298791-1532779355/watcher-4298791-1532779355 -o /tmp/evaluation-result-4298791-1532779355/solver-4298791-1532779355 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532773607-19388 --watchdog 2580  nacre_mini_release HOME/instance-4298791-1532779355.xml -ca -l100 -cm

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

MD5SUM BENCH= 8b2f27ca9e664fd505b84cd8dff1749a
RANDOM SEED=628725002

node138.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.71
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.71
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.71
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.71
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:        20817808 kB
MemAvailable:   30473664 kB
Buffers:          210276 kB
Cached:          9649600 kB
SwapCached:           44 kB
Active:          3993144 kB
Inactive:        7374012 kB
Active(anon):    1451524 kB
Inactive(anon):    83488 kB
Active(file):    2541620 kB
Inactive(file):  7290524 kB
Unevictable:        7280 kB
Mlocked:            7280 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:               904 kB
Writeback:             0 kB
AnonPages:       1329660 kB
Mapped:            38632 kB
Shmem:             25164 kB
Slab:             280420 kB
SReclaimable:     252172 kB
SUnreclaim:        28248 kB
KernelStack:        3600 kB
PageTables:         8016 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1800796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    892928 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= 53800 MiB
End job on node138 at 2018-07-28 14:44:35