Trace number 4298759

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.34 2520.04

General information on the benchmark

NamePseudoBoolean-dec/
Pb-chnl50-51_c18.xml
MD5SUMa87da95f210b3c94235cbc017ff62562
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 variables5100
Number of constraints202
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":5100}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":5100}]
Minimum constraint arity50
Maximum constraint arity51
Distribution of constraint arities[{"arity":50,"count":102},{"arity":51,"count":100}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":202}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.03	c NACRE 1.0.4
2519.30/2520.01	c
2519.30/2520.01	c # time = 2519.3
2519.30/2520.01	c # Dec = 4964449
2519.30/2520.01	c # Propagate Calls = 30538838
2519.30/2520.01	c # assignAt Calls = 10495841
2519.30/2520.01	c # removeAt Calls = 12837409
2519.30/2520.01	c # Run = 1753
2519.30/2520.01	c # Conflicts = 814450
2519.30/2520.01	c # Memory used = 3846.31 Mb
2519.30/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 (10691 MiB free)
  memory of node 1: 16384 MiB (12650 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298759-1532779096/watcher-4298759-1532779096 -o /tmp/evaluation-result-4298759-1532779096/solver-4298759-1532779096 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532774055-27430 --watchdog 2580 nacre_mini_release HOME/instance-4298759-1532779096.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
Current StackSize limit: 8192 KiB

solver pid=27826, runsolver pid=27823

[startup+0.100121 s]*
/proc/loadavg: 2.00 2.01 1.98 2/181 27827
/proc/meminfo: memFree=23887096/32770624 swapFree=67108860/67108860
[pid=27826] ppid=27823 vsize=34208 memory=10568 CPUtime=0.1 cores=1,3,5,7
/proc/27826/stat : 27826 (nacre_mini_rele) R 27823 27826 27398 0 -1 4202496 2910 0 0 0 10 0 0 0 20 0 1 0 95472786 35028992 2642 33554432000 4194304 4933779 140730516245024 140730516243144 4447776 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 33357824 140730516251800 140730516251900 140730516251900 140730516254658 0
/proc/27826/statm: 8552 2642 598 181 0 2169 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34208 KiB
Current children cumulated memory: 10568 KiB

[startup+0.210295 s]*
/proc/loadavg: 2.00 2.01 1.98 2/181 27827
/proc/meminfo: memFree=23881636/32770624 swapFree=67108860/67108860
[pid=27826] ppid=27823 vsize=34604 memory=10832 CPUtime=0.21 cores=1,3,5,7
/proc/27826/stat : 27826 (nacre_mini_rele) R 27823 27826 27398 0 -1 4202496 3016 0 0 0 21 0 0 0 20 0 1 0 95472786 35434496 2708 33554432000 4194304 4933779 140730516245024 140730516243144 4447776 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 33357824 140730516251800 140730516251900 140730516251900 140730516254658 0
/proc/27826/statm: 8651 2708 613 181 0 2268 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34604 KiB
Current children cumulated memory: 10832 KiB

[startup+0.309851 s]*
/proc/loadavg: 2.00 2.01 1.98 5/197 27846
/proc/meminfo: memFree=23869092/32770624 swapFree=67108860/67108860
[pid=27826] ppid=27823 vsize=35264 memory=11624 CPUtime=0.31 cores=1,3,5,7
/proc/27826/stat : 27826 (nacre_mini_rele) R 27823 27826 27398 0 -1 4202496 3190 0 0 0 31 0 0 0 20 0 1 0 95472786 36110336 2906 33554432000 4194304 4933779 140730516245024 140730516242776 4447728 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 33357824 140730516251800 140730516251900 140730516251900 140730516254658 0
/proc/27826/statm: 8816 2906 613 181 0 2433 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 35264 KiB
Current children cumulated memory: 11624 KiB

[startup+0.70037 s]
/proc/loadavg: 2.00 2.01 1.98 4/183 27860
/proc/meminfo: memFree=23877856/32770624 swapFree=67108860/67108860
[pid=27826] ppid=27823 vsize=37644 memory=14000 CPUtime=0.68 cores=1,3,5,7
/proc/27826/stat : 27826 (nacre_mini_rele) R 27823 27826 27398 0 -1 4202496 3781 0 0 0 68 0 0 0 20 0 1 0 95472786 38547456 3500 33554432000 4194304 4933779 140730516245024 140730516242776 4333008 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 33357824 140730516251800 140730516251900 140730516251900 140730516254658 0
/proc/27826/statm: 9411 3500 613 181 0 3028 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 37644 KiB
Current children cumulated memory: 14000 KiB

[startup+1.50031 s]
/proc/loadavg: 2.00 2.01 1.98 4/186 27880
/proc/meminfo: memFree=23847168/32770624 swapFree=67108860/67108860
[pid=27826] ppid=27823 vsize=44496 memory=20864 CPUtime=1.48 cores=1,3,5,7
/proc/27826/stat : 27826 (nacre_mini_rele) R 27823 27826 27398 0 -1 4202496 5486 0 0 0 148 0 0 0 20 0 1 0 95472786 45563904 5216 33554432000 4194304 4933779 140730516245024 140730516242776 4447785 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 33357824 140730516251800 140730516251900 140730516251900 140730516254658 0
/proc/27826/statm: 11124 5216 613 181 0 4741 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 44496 KiB
Current children cumulated memory: 20864 KiB

[startup+3.10935 s]
/proc/loadavg: 2.00 2.01 1.98 3/186 27880
/proc/meminfo: memFree=23827404/32770624 swapFree=67108860/67108860
[pid=27826] ppid=27823 vsize=59824 memory=36220 CPUtime=3.09 cores=1,3,5,7
/proc/27826/stat : 27826 (nacre_mini_rele) R 27823 27826 27398 0 -1 4202496 13203 0 0 0 308 1 0 0 20 0 1 0 95472786 61259776 9055 33554432000 4194304 4933779 140730516245024 140730516242776 4392633 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 33357824 140730516251800 140730516251900 140730516251900 140730516254658 0
/proc/27826/statm: 14956 9055 613 181 0 8573 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 59824 KiB
Current children cumulated memory: 36220 KiB

[startup+6.30037 s]
/proc/loadavg: 2.00 2.01 1.98 3/186 27880
/proc/meminfo: memFree=23805552/32770624 swapFree=67108860/67108860
[pid=27826] ppid=27823 vsize=76568 memory=52564 CPUtime=6.28 cores=1,3,5,7
/proc/27826/stat : 27826 (nacre_mini_rele) R 27823 27826 27398 0 -1 4202496 23679 0 0 0 626 2 0 0 20 0 1 0 95472786 78405632 13141 33554432000 4194304 4933779 140730516245024 140730516242776 139674505251813 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 33357824 140730516251800 140730516251900 140730516251900 140730516254658 0
/proc/27826/statm: 19142 13141 613 181 0 12759 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 76568 KiB
Current children cumulated memory: 52564 KiB

[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 1.98 3/186 27880
/proc/meminfo: memFree=23730524/32770624 swapFree=67108860/67108860
[pid=27826] ppid=27823 vsize=139888 memory=116232 CPUtime=12.69 cores=1,3,5,7
/proc/27826/stat : 27826 (nacre_mini_rele) R 27823 27826 27398 0 -1 4202496 48130 0 0 0 1263 6 0 0 20 0 1 0 95472786 143245312 29058 33554432000 4194304 4933779 140730516245024 140730516242776 4437581 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 33357824 140730516251800 140730516251900 140730516251900 140730516254658 0
/proc/27826/statm: 34972 29058 613 181 0 28589 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 139888 KiB
Current children cumulated memory: 116232 KiB

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 1.98 3/186 27880
/proc/meminfo: memFree=23555596/32770624 swapFree=67108860/67108860
[pid=27826] ppid=27823 vsize=281132 memory=257060 CPUtime=25.47 cores=1,3,5,7
/proc/27826/stat : 27826 (nacre_mini_rele) R 27823 27826 27398 0 -1 4202496 118016 0 0 0 2534 13 0 0 20 0 1 0 95472786 287879168 64265 33554432000 4194304 4933779 140730516245024 140730516242712 4437570 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 33357824 140730516251800 140730516251900 140730516251900 140730516254658 0
/proc/27826/statm: 70283 64265 613 181 0 63900 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 281132 KiB
Current children cumulated memory: 257060 KiB

[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 27881
/proc/meminfo: memFree=23299000/32770624 swapFree=67108860/67108860
[pid=27826] ppid=27823 vsize=463088 memory=439208 CPUtime=51.07 cores=1,3,5,7
/proc/27826/stat : 27826 (nacre_mini_rele) R 27823 27826 27398 0 -1 4202496 186515 0 0 0 5084 23 0 0 20 0 1 0 95472786 474202112 109802 33554432000 4194304 4933779 140730516245024 140730516242776 139674506107315 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 33357824 140730516251800 140730516251900 140730516251900 140730516254658 0
/proc/27826/statm: 115772 109802 613 181 0 109389 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 463088 KiB
Current children cumulated memory: 439208 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 27882
/proc/meminfo: memFree=22943532/32770624 swapFree=67108860/67108860
[pid=27826] ppid=27823 vsize=696300 memory=672584 CPUtime=102.24 cores=1,3,5,7
/proc/27826/stat : 27826 (nacre_mini_rele) R 27823 27826 27398 0 -1 4202496 289401 0 0 0 10186 38 0 0 20 0 1 0 95472786 713011200 168146 33554432000 4194304 4933779 140730516245024 140730516242712 4437547 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 33357824 140730516251800 140730516251900 140730516251900 140730516254658 0
/proc/27826/statm: 174075 168146 613 181 0 167692 0
Current children cumulated CPU time: 102.24 s
Current children cumulated vsize: 696300 KiB
Current children cumulated memory: 672584 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 27890
/proc/meminfo: memFree=22621160/32770624 swapFree=67108860/67108860
[pid=27826] ppid=27823 vsize=891700 memory=867992 CPUtime=162.22 cores=1,3,5,7
/proc/27826/stat : 27826 (nacre_mini_rele) R 27823 27826 27398 0 -1 4202496 399646 0 0 0 16171 51 0 0 20 0 1 0 95472786 913100800 216998 33554432000 4194304 4933779 140730516245024 140730516242712 4437393 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 33357824 140730516251800 140730516251900 140730516251900 140730516254658 0
/proc/27826/statm: 222925 216998 613 181 0 216542 0
Current children cumulated CPU time: 162.22 s
Current children cumulated vsize: 891700 KiB
Current children cumulated memory: 867992 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/189 27915
/proc/meminfo: memFree=22279736/32770624 swapFree=67108860/67108860
[pid=27826] ppid=27823 vsize=1092472 memory=1068836 CPUtime=222.18 cores=1,3,5,7
/proc/27826/stat : 27826 (nacre_mini_rele) R 27823 27826 27398 0 -1 4202496 487033 0 0 0 22154 64 0 0 20 0 1 0 95472786 1118691328 267209 33554432000 4194304 4933779 140730516245024 140730516242776 4362508 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 33357824 140730516251800 140730516251900 140730516251900 140730516254658 0
/proc/27826/statm: 273118 267209 613 181 0 266735 0
Current children cumulated CPU time: 222.18 s
Current children cumulated vsize: 1092472 KiB
Current children cumulated memory: 1068836 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/189 27916
/proc/meminfo: memFree=21842832/32770624 swapFree=67108860/67108860
[pid=27826] ppid=27823 vsize=1271664 memory=1246864 CPUtime=282.16 cores=1,3,5,7
/proc/27826/stat : 27826 (nacre_mini_rele) R 27823 27826 27398 0 -1 4202496 610276 0 0 0 28138 78 0 0 20 0 1 0 95472786 1302183936 311716 33554432000 4194304 4933779 140730516245024 140730516242712 4437558 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 33357824 140730516251800 140730516251900 140730516251900 140730516254658 0
/proc/27826/statm: 317916 311716 613 181 0 311533 0
Current children cumulated CPU time: 282.16 s
Current children cumulated vsize: 1271664 KiB
Current children cumulated memory: 1246864 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/189 27917
/proc/meminfo: memFree=21546500/32770624 swapFree=67108860/67108860
[pid=27826] ppid=27823 vsize=1402992 memory=1378232 CPUtime=342.14 cores=1,3,5,7
/proc/27826/stat : 27826 (nacre_mini_rele) R 27823 27826 27398 0 -1 4202496 720379 0 0 0 34123 91 0 0 20 0 1 0 95472786 1436663808 344558 33554432000 4194304 4933779 140730516245024 140730516242776 139674505260988 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 33357824 140730516251800 140730516251900 140730516251900 140730516254658 0
/proc/27826/statm: 350748 344558 613 181 0 344365 0
Current children cumulated CPU time: 342.14 s
Current children cumulated vsize: 1402992 KiB
Current children cumulated memory: 1378232 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/189 27918
/proc/meminfo: memFree=21315436/32770624 swapFree=67108860/67108860
[pid=27826] ppid=27823 vsize=1523464 memory=1498748 CPUtime=402.11 cores=1,3,5,7
/proc/27826/stat : 27826 (nacre_mini_rele) R 27823 27826 27398 0 -1 4202496 802244 0 0 0 40110 101 0 0 20 0 1 0 95472786 1560027136 374687 33554432000 4194304 4933779 140730516245024 140730516242776 4437536 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 33357824 140730516251800 140730516251900 140730516251900 140730516254658 0
/proc/27826/statm: 380866 374687 613 181 0 374483 0
Current children cumulated CPU time: 402.11 s
Current children cumulated vsize: 1523464 KiB
Current children cumulated memory: 1498748 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/189 27919
/proc/meminfo: memFree=21144740/32770624 swapFree=67108860/67108860
[pid=27826] ppid=27823 vsize=1634248 memory=1609452 CPUtime=462.09 cores=1,3,5,7
/proc/27826/stat : 27826 (nacre_mini_rele) R 27823 27826 27398 0 -1 4202496 904678 0 0 0 46097 112 0 0 20 0 1 0 95472786 1673469952 402363 33554432000 4194304 4933779 140730516245024 140730516242776 4437564 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 33357824 140730516251800 140730516251900 140730516251900 140730516254658 0
/proc/27826/statm: 408562 402363 613 181 0 402179 0
Current children cumulated CPU time: 462.09 s
Current children cumulated vsize: 1634248 KiB
Current children cumulated memory: 1609452 KiB


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

/proc/27826/statm: 799437 793446 613 181 0 793054 0
Current children cumulated CPU time: 1721.7 s
Current children cumulated vsize: 3197748 KiB
Current children cumulated memory: 3173784 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 27956
/proc/meminfo: memFree=18499572/32770624 swapFree=67108860/67108860
[pid=27826] ppid=27823 vsize=3257440 memory=3233512 CPUtime=1781.69 cores=1,3,5,7
/proc/27826/stat : 27826 (nacre_mini_rele) R 27823 27826 27398 0 -1 4202496 2588649 0 0 0 177859 310 0 0 20 0 1 0 95472786 3335618560 808378 33554432000 4194304 4933779 140730516245024 140730516242712 4437558 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 33357824 140730516251800 140730516251900 140730516251900 140730516254658 0
/proc/27826/statm: 814360 808378 613 181 0 807977 0
Current children cumulated CPU time: 1781.69 s
Current children cumulated vsize: 3257440 KiB
Current children cumulated memory: 3233512 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 27958
/proc/meminfo: memFree=18414796/32770624 swapFree=67108860/67108860
[pid=27826] ppid=27823 vsize=3305564 memory=3281468 CPUtime=1841.67 cores=1,3,5,7
/proc/27826/stat : 27826 (nacre_mini_rele) R 27823 27826 27398 0 -1 4202496 2627417 0 0 0 183851 316 0 0 20 0 1 0 95472786 3384897536 820367 33554432000 4194304 4933779 140730516245024 140730516242712 4447758 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 33357824 140730516251800 140730516251900 140730516251900 140730516254658 0
/proc/27826/statm: 826391 820367 613 181 0 820008 0
Current children cumulated CPU time: 1841.67 s
Current children cumulated vsize: 3305564 KiB
Current children cumulated memory: 3281468 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 27959
/proc/meminfo: memFree=18319224/32770624 swapFree=67108860/67108860
[pid=27826] ppid=27823 vsize=3369116 memory=3345124 CPUtime=1901.66 cores=1,3,5,7
/proc/27826/stat : 27826 (nacre_mini_rele) R 27823 27826 27398 0 -1 4202496 2673318 0 0 0 189842 324 0 0 20 0 1 0 95472786 3449974784 836281 33554432000 4194304 4933779 140730516245024 140730516242776 4437564 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 33357824 140730516251800 140730516251900 140730516251900 140730516254658 0
/proc/27826/statm: 842279 836281 613 181 0 835896 0
Current children cumulated CPU time: 1901.66 s
Current children cumulated vsize: 3369116 KiB
Current children cumulated memory: 3345124 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 27968
/proc/meminfo: memFree=18202488/32770624 swapFree=67108860/67108860
[pid=27826] ppid=27823 vsize=3416892 memory=3392724 CPUtime=1961.65 cores=1,3,5,7
/proc/27826/stat : 27826 (nacre_mini_rele) R 27823 27826 27398 0 -1 4202496 2704625 0 0 0 195837 328 0 0 20 0 1 0 95472786 3498897408 848181 33554432000 4194304 4933779 140730516245024 140730516242776 139674511545243 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 33357824 140730516251800 140730516251900 140730516251900 140730516254658 0
/proc/27826/statm: 854223 848181 613 181 0 847840 0
Current children cumulated CPU time: 1961.65 s
Current children cumulated vsize: 3416892 KiB
Current children cumulated memory: 3392724 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 27969
/proc/meminfo: memFree=17741884/32770624 swapFree=67108860/67108860
[pid=27826] ppid=27823 vsize=3474840 memory=3450956 CPUtime=2021.64 cores=1,3,5,7
/proc/27826/stat : 27826 (nacre_mini_rele) R 27823 27826 27398 0 -1 4202496 2738741 0 0 0 201831 333 0 0 20 0 1 0 95472786 3558236160 862739 33554432000 4194304 4933779 140730516245024 140730516242712 4437564 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 33357824 140730516251800 140730516251900 140730516251900 140730516254658 0
/proc/27826/statm: 868710 862739 613 181 0 862327 0
Current children cumulated CPU time: 2021.64 s
Current children cumulated vsize: 3474840 KiB
Current children cumulated memory: 3450956 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 27970
/proc/meminfo: memFree=17437996/32770624 swapFree=67108860/67108860
[pid=27826] ppid=27823 vsize=3523104 memory=3499232 CPUtime=2081.63 cores=1,3,5,7
/proc/27826/stat : 27826 (nacre_mini_rele) R 27823 27826 27398 0 -1 4202496 2761256 0 0 0 207827 336 0 0 20 0 1 0 95472786 3607658496 874808 33554432000 4194304 4933779 140730516245024 140730516242712 4423394 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 33357824 140730516251800 140730516251900 140730516251900 140730516254658 0
/proc/27826/statm: 880776 874808 613 181 0 874393 0
Current children cumulated CPU time: 2081.63 s
Current children cumulated vsize: 3523104 KiB
Current children cumulated memory: 3499232 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 27971
/proc/meminfo: memFree=17192888/32770624 swapFree=67108860/67108860
[pid=27826] ppid=27823 vsize=3586768 memory=3562988 CPUtime=2141.62 cores=1,3,5,7
/proc/27826/stat : 27826 (nacre_mini_rele) R 27823 27826 27398 0 -1 4202496 2785586 0 0 0 213821 341 0 0 20 0 1 0 95472786 3672850432 890747 33554432000 4194304 4933779 140730516245024 140730516242712 4437564 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 33357824 140730516251800 140730516251900 140730516251900 140730516254658 0
/proc/27826/statm: 896692 890747 613 181 0 890309 0
Current children cumulated CPU time: 2141.62 s
Current children cumulated vsize: 3586768 KiB
Current children cumulated memory: 3562988 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 27972
/proc/meminfo: memFree=17006548/32770624 swapFree=67108860/67108860
[pid=27826] ppid=27823 vsize=3628096 memory=3604228 CPUtime=2201.62 cores=1,3,5,7
/proc/27826/stat : 27826 (nacre_mini_rele) R 27823 27826 27398 0 -1 4202496 2800928 0 0 0 219817 345 0 0 20 0 1 0 95472786 3715170304 901057 33554432000 4194304 4933779 140730516245024 140730516242776 4437389 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 33357824 140730516251800 140730516251900 140730516251900 140730516254658 0
/proc/27826/statm: 907024 901057 613 181 0 900641 0
Current children cumulated CPU time: 2201.62 s
Current children cumulated vsize: 3628096 KiB
Current children cumulated memory: 3604228 KiB

[startup+2262.3 s]
/proc/loadavg: 2.04 2.03 1.99 3/187 27973
/proc/meminfo: memFree=16876400/32770624 swapFree=67108860/67108860
[pid=27826] ppid=27823 vsize=3681672 memory=3657884 CPUtime=2261.61 cores=1,3,5,7
/proc/27826/stat : 27826 (nacre_mini_rele) R 27823 27826 27398 0 -1 4202496 2820755 0 0 0 225812 349 0 0 20 0 1 0 95472786 3770032128 914471 33554432000 4194304 4933779 140730516245024 140730516242776 4361932 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 33357824 140730516251800 140730516251900 140730516251900 140730516254658 0
/proc/27826/statm: 920418 914471 613 181 0 914035 0
Current children cumulated CPU time: 2261.61 s
Current children cumulated vsize: 3681672 KiB
Current children cumulated memory: 3657884 KiB

[startup+2322.3 s]
/proc/loadavg: 2.02 2.02 1.99 3/187 27974
/proc/meminfo: memFree=16742132/32770624 swapFree=67108860/67108860
[pid=27826] ppid=27823 vsize=3730336 memory=3706456 CPUtime=2321.61 cores=1,3,5,7
/proc/27826/stat : 27826 (nacre_mini_rele) R 27823 27826 27398 0 -1 4202496 2842254 0 0 0 231808 353 0 0 20 0 1 0 95472786 3819864064 926614 33554432000 4194304 4933779 140730516245024 140730516242776 4392708 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 33357824 140730516251800 140730516251900 140730516251900 140730516254658 0
/proc/27826/statm: 932584 926614 613 181 0 926201 0
Current children cumulated CPU time: 2321.61 s
Current children cumulated vsize: 3730336 KiB
Current children cumulated memory: 3706456 KiB

[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/187 27975
/proc/meminfo: memFree=16535332/32770624 swapFree=67108860/67108860
[pid=27826] ppid=27823 vsize=3773560 memory=3749708 CPUtime=2381.6 cores=1,3,5,7
/proc/27826/stat : 27826 (nacre_mini_rele) R 27823 27826 27398 0 -1 4202496 2866654 0 0 0 237803 357 0 0 20 0 1 0 95472786 3864125440 937427 33554432000 4194304 4933779 140730516245024 140730516242712 4437572 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 33357824 140730516251800 140730516251900 140730516251900 140730516254658 0
/proc/27826/statm: 943390 937427 613 181 0 937007 0
Current children cumulated CPU time: 2381.6 s
Current children cumulated vsize: 3773560 KiB
Current children cumulated memory: 3749708 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 27976
/proc/meminfo: memFree=16466792/32770624 swapFree=67108860/67108860
[pid=27826] ppid=27823 vsize=3822280 memory=3798392 CPUtime=2441.6 cores=1,3,5,7
/proc/27826/stat : 27826 (nacre_mini_rele) R 27823 27826 27398 0 -1 4202496 2897523 0 0 0 243798 362 0 0 20 0 1 0 95472786 3914014720 949598 33554432000 4194304 4933779 140730516245024 140730516242776 4437393 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 33357824 140730516251800 140730516251900 140730516251900 140730516254658 0
/proc/27826/statm: 955570 949598 613 181 0 949187 0
Current children cumulated CPU time: 2441.6 s
Current children cumulated vsize: 3822280 KiB
Current children cumulated memory: 3798392 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 27977
/proc/meminfo: memFree=16426144/32770624 swapFree=67108860/67108860
[pid=27826] ppid=27823 vsize=3862940 memory=3838948 CPUtime=2501.59 cores=1,3,5,7
/proc/27826/stat : 27826 (nacre_mini_rele) R 27823 27826 27398 0 -1 4202496 2929951 0 0 0 249793 366 0 0 20 0 1 0 95472786 3955650560 959737 33554432000 4194304 4933779 140730516245024 140730516242776 4437572 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 33357824 140730516251800 140730516251900 140730516251900 140730516254658 0
/proc/27826/statm: 965735 959737 613 181 0 959352 0
Current children cumulated CPU time: 2501.59 s
Current children cumulated vsize: 3862940 KiB
Current children cumulated memory: 3838948 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 1.99 3/189 27986
/proc/meminfo: memFree=16417252/32770624 swapFree=67108860/67108860
[pid=27826] ppid=27823 vsize=3870096 memory=3846136 CPUtime=2519.3 cores=1,3,5,7
/proc/27826/stat : 27826 (nacre_mini_rele) R 27823 27826 27398 0 -1 4202496 2941711 0 0 0 251562 368 0 0 20 0 1 0 95472786 3962978304 961534 33554432000 4194304 4933779 140730516245024 140730516242712 4437564 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 33357824 140730516251800 140730516251900 140730516251900 140730516254658 0
/proc/27826/statm: 967524 961534 613 181 0 961141 0
Current children cumulated CPU time: 2519.3 s
Current children cumulated vsize: 3870096 KiB
Current children cumulated memory: 3846136 KiB

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

[startup+2520.04 s]
# the end of solver process 27826 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.62 s, system=3.72082 s

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

Child status: 0
Real time (s): 2520.04
CPU time (s): 2519.34
CPU user time (s): 2515.62
CPU system time (s): 3.72082
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 3870096
Max. memory (cumulated for all children) (KiB): 3846136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.62
system time used= 3.72082
maximum resident set size= 3846364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2941755
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= 924
involuntary context switches= 2320


# summary of solver processes directly reported to runsolver:
#   pid: 27826
#   total CPU time (s): 2519.34
#   total CPU user time (s): 2515.62
#   total CPU system time (s): 3.72082

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1259 second user time and 18.3882 second system time

The end

Launcher Data 

Begin job on node139 at 2018-07-28 13:58:16
IDJOB=4298759
IDBENCH=141230
IDSOLVER=2764
FILE ID=node139/4298759-1532779096
RUNJOBID= node139-1532774055-27430
PBS_JOBID= 21022456
Free space on /tmp= 38716 MiB

SOLVER NAME= NACRE 1.0.4
BENCH NAME= XCSP18/PseudoBoolean-dec/Pb-chnl50-51_c18.xml
COMMAND LINE= nacre_mini_release BENCHNAME -ca -l100 -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298759-1532779096/watcher-4298759-1532779096 -o /tmp/evaluation-result-4298759-1532779096/solver-4298759-1532779096 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532774055-27430 --watchdog 2580  nacre_mini_release HOME/instance-4298759-1532779096.xml -ca -l100 -cm

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

MD5SUM BENCH= a87da95f210b3c94235cbc017ff62562
RANDOM SEED=698989834

node139.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.80
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.80
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.80
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.80
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:        23903388 kB
MemAvailable:   31934352 kB
Buffers:          236044 kB
Cached:          7907768 kB
SwapCached:            0 kB
Active:          3068932 kB
Inactive:        5125356 kB
Active(anon):       4864 kB
Inactive(anon):    73552 kB
Active(file):    3064068 kB
Inactive(file):  5051804 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:               836 kB
Writeback:             0 kB
AnonPages:         57548 kB
Mapped:            42552 kB
Shmem:             25228 kB
Slab:             370696 kB
SReclaimable:     343552 kB
SUnreclaim:        27144 kB
KernelStack:        3328 kB
PageTables:         4372 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     325120 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 38716 MiB
End job on node139 at 2018-07-28 14:40:16