Trace number 4298815

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.62 2520.06

General information on the benchmark

NamePseudoBoolean-dec/
Pb-chnl30-31_c18.xml
MD5SUM986923daef9243229e6ae2459781d9f0
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 variables1860
Number of constraints122
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":1860}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":1860}]
Minimum constraint arity30
Maximum constraint arity31
Distribution of constraint arities[{"arity":30,"count":62},{"arity":31,"count":60}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":122}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c NACRE 1.0.4
2519.56/2520.01	c
2519.56/2520.01	c # time = 2519.56
2519.56/2520.01	c # Dec = 4434634
2519.56/2520.01	c # Propagate Calls = 50990327
2519.56/2520.01	c # assignAt Calls = 18090201
2519.56/2520.01	c # removeAt Calls = 24472068
2519.56/2520.01	c # Run = 4092
2519.56/2520.01	c # Conflicts = 2087059
2519.56/2520.01	c # Memory used = 2262.06 Mb
2519.56/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 (9594 MiB free)
  memory of node 1: 16384 MiB (10139 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298815-1532780210/watcher-4298815-1532780210 -o /tmp/evaluation-result-4298815-1532780210/solver-4298815-1532780210 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532775163-27027 --watchdog 2580 nacre_mini_release HOME/instance-4298815-1532780210.xml -ca -l100 -cm 

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

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

solver pid=27621, runsolver pid=27618

[startup+0.100107 s]*
/proc/loadavg: 2.01 2.02 1.98 3/187 27622
/proc/meminfo: memFree=20203864/32770624 swapFree=67108860/67108860
[pid=27621] ppid=27618 vsize=29712 memory=6364 CPUtime=0.1 cores=0,2,4,6
/proc/27621/stat : 27621 (nacre_mini_rele) R 27618 27621 26996 0 -1 4202496 1810 0 0 0 10 0 0 0 20 0 1 0 95584197 30425088 1591 33554432000 4194304 4933779 140730188086544 140730188083544 4447741 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 22024192 140730188092568 140730188092668 140730188092668 140730188095426 0
/proc/27621/statm: 7428 1591 613 181 0 1045 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29712 KiB
Current children cumulated memory: 6364 KiB

[startup+0.209534 s]*
/proc/loadavg: 2.01 2.02 1.98 3/187 27622
/proc/meminfo: memFree=20202516/32770624 swapFree=67108860/67108860
[pid=27621] ppid=27618 vsize=31032 memory=7684 CPUtime=0.21 cores=0,2,4,6
/proc/27621/stat : 27621 (nacre_mini_rele) R 27618 27621 26996 0 -1 4202496 2134 0 0 0 21 0 0 0 20 0 1 0 95584197 31776768 1921 33554432000 4194304 4933779 140730188086544 140730188083544 140443667098597 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 22024192 140730188092568 140730188092668 140730188092668 140730188095426 0
/proc/27621/statm: 7758 1921 613 181 0 1375 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31032 KiB
Current children cumulated memory: 7684 KiB

[startup+0.308998 s]*
/proc/loadavg: 2.01 2.02 1.98 3/187 27622
/proc/meminfo: memFree=20200748/32770624 swapFree=67108860/67108860
[pid=27621] ppid=27618 vsize=32352 memory=9004 CPUtime=0.31 cores=0,2,4,6
/proc/27621/stat : 27621 (nacre_mini_rele) R 27618 27621 26996 0 -1 4202496 2459 0 0 0 31 0 0 0 20 0 1 0 95584197 33128448 2251 33554432000 4194304 4933779 140730188086544 140730188083544 140443667098597 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 22024192 140730188092568 140730188092668 140730188092668 140730188095426 0
/proc/27621/statm: 8088 2251 613 181 0 1705 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32352 KiB
Current children cumulated memory: 9004 KiB

[startup+0.700238 s]
/proc/loadavg: 2.01 2.02 1.98 3/187 27622
/proc/meminfo: memFree=20197772/32770624 swapFree=67108860/67108860
[pid=27621] ppid=27618 vsize=36064 memory=12776 CPUtime=0.69 cores=0,2,4,6
/proc/27621/stat : 27621 (nacre_mini_rele) R 27618 27621 26996 0 -1 4202496 3371 0 0 0 69 0 0 0 20 0 1 0 95584197 36929536 3194 33554432000 4194304 4933779 140730188086544 140730188083544 4475930 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 22024192 140730188092568 140730188092668 140730188092668 140730188095426 0
/proc/27621/statm: 9016 3194 613 181 0 2633 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 36064 KiB
Current children cumulated memory: 12776 KiB

[startup+1.50025 s]
/proc/loadavg: 2.01 2.02 1.98 3/187 27622
/proc/meminfo: memFree=20191424/32770624 swapFree=67108860/67108860
[pid=27621] ppid=27618 vsize=43040 memory=19736 CPUtime=1.49 cores=0,2,4,6
/proc/27621/stat : 27621 (nacre_mini_rele) R 27618 27621 26996 0 -1 4202496 5125 0 0 0 148 1 0 0 20 0 1 0 95584197 44072960 4934 33554432000 4194304 4933779 140730188086544 140730188084296 140443667098597 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 22024192 140730188092568 140730188092668 140730188092668 140730188095426 0
/proc/27621/statm: 10760 4934 613 181 0 4377 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 43040 KiB
Current children cumulated memory: 19736 KiB

[startup+3.10923 s]
/proc/loadavg: 2.01 2.02 1.98 3/187 27622
/proc/meminfo: memFree=20164640/32770624 swapFree=67108860/67108860
[pid=27621] ppid=27618 vsize=59780 memory=36316 CPUtime=3.09 cores=0,2,4,6
/proc/27621/stat : 27621 (nacre_mini_rele) R 27618 27621 26996 0 -1 4202496 14288 0 0 0 308 1 0 0 20 0 1 0 95584197 61214720 9079 33554432000 4194304 4933779 140730188086544 140730188084232 4447741 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 22024192 140730188092568 140730188092668 140730188092668 140730188095426 0
/proc/27621/statm: 14945 9079 613 181 0 8562 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 59780 KiB
Current children cumulated memory: 36316 KiB

[startup+6.30028 s]
/proc/loadavg: 2.01 2.02 1.98 3/187 27622
/proc/meminfo: memFree=20122356/32770624 swapFree=67108860/67108860
[pid=27621] ppid=27618 vsize=95960 memory=72636 CPUtime=6.29 cores=0,2,4,6
/proc/27621/stat : 27621 (nacre_mini_rele) R 27618 27621 26996 0 -1 4202496 31963 0 0 0 626 3 0 0 20 0 1 0 95584197 98263040 18159 33554432000 4194304 4933779 140730188086544 140730188084232 4437570 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 22024192 140730188092568 140730188092668 140730188092668 140730188095426 0
/proc/27621/statm: 23990 18159 613 181 0 17607 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 95960 KiB
Current children cumulated memory: 72636 KiB

[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 1.98 3/187 27622
/proc/meminfo: memFree=20063928/32770624 swapFree=67108860/67108860
[pid=27621] ppid=27618 vsize=148420 memory=124476 CPUtime=12.68 cores=0,2,4,6
/proc/27621/stat : 27621 (nacre_mini_rele) R 27618 27621 26996 0 -1 4202496 58987 0 0 0 1262 6 0 0 20 0 1 0 95584197 151982080 31119 33554432000 4194304 4933779 140730188086544 140730188084232 4437536 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 22024192 140730188092568 140730188092668 140730188092668 140730188095426 0
/proc/27621/statm: 37105 31119 613 181 0 30722 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 148420 KiB
Current children cumulated memory: 124476 KiB

[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 1.98 3/187 27622
/proc/meminfo: memFree=19957660/32770624 swapFree=67108860/67108860
[pid=27621] ppid=27618 vsize=230876 memory=206964 CPUtime=25.48 cores=0,2,4,6
/proc/27621/stat : 27621 (nacre_mini_rele) R 27618 27621 26996 0 -1 4202496 126302 0 0 0 2536 12 0 0 20 0 1 0 95584197 236417024 51741 33554432000 4194304 4933779 140730188086544 140730188084232 4437567 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 22024192 140730188092568 140730188092668 140730188092668 140730188095426 0
/proc/27621/statm: 57719 51741 613 181 0 51336 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 230876 KiB
Current children cumulated memory: 206964 KiB

[startup+51.1096 s]
/proc/loadavg: 2.01 2.02 1.98 3/187 27622
/proc/meminfo: memFree=19813028/32770624 swapFree=67108860/67108860
[pid=27621] ppid=27618 vsize=343604 memory=319624 CPUtime=51.08 cores=0,2,4,6
/proc/27621/stat : 27621 (nacre_mini_rele) R 27618 27621 26996 0 -1 4202496 196932 0 0 0 5089 19 0 0 20 0 1 0 95584197 351850496 79906 33554432000 4194304 4933779 140730188086544 140730188084232 4447793 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 22024192 140730188092568 140730188092668 140730188092668 140730188095426 0
/proc/27621/statm: 85901 79906 613 181 0 79518 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 343604 KiB
Current children cumulated memory: 319624 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 27623
/proc/meminfo: memFree=19631232/32770624 swapFree=67108860/67108860
[pid=27621] ppid=27618 vsize=495728 memory=470592 CPUtime=102.25 cores=0,2,4,6
/proc/27621/stat : 27621 (nacre_mini_rele) R 27618 27621 26996 0 -1 4202496 283625 0 0 0 10196 29 0 0 20 0 1 0 95584197 507625472 117648 33554432000 4194304 4933779 140730188086544 140730188084296 140443667108752 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 22024192 140730188092568 140730188092668 140730188092668 140730188095426 0
/proc/27621/statm: 123932 117648 613 181 0 117549 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 495728 KiB
Current children cumulated memory: 470592 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 27624
/proc/meminfo: memFree=19479860/32770624 swapFree=67108860/67108860
[pid=27621] ppid=27618 vsize=619012 memory=594208 CPUtime=162.21 cores=0,2,4,6
/proc/27621/stat : 27621 (nacre_mini_rele) R 27618 27621 26996 0 -1 4202496 372567 0 0 0 16181 40 0 0 20 0 1 0 95584197 633868288 148552 33554432000 4194304 4933779 140730188086544 140730188084232 4437547 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 22024192 140730188092568 140730188092668 140730188092668 140730188095426 0
/proc/27621/statm: 154753 148552 613 181 0 148370 0
Current children cumulated CPU time: 162.21 s
Current children cumulated vsize: 619012 KiB
Current children cumulated memory: 594208 KiB

[startup+222.3 s]
/proc/loadavg: 1.96 2.00 1.97 3/188 27694
/proc/meminfo: memFree=19445752/32770624 swapFree=67108860/67108860
[pid=27621] ppid=27618 vsize=743748 memory=718988 CPUtime=222.19 cores=0,2,4,6
/proc/27621/stat : 27621 (nacre_mini_rele) R 27618 27621 26996 0 -1 4202496 468056 0 0 0 22168 51 0 0 20 0 1 0 95584197 761597952 179747 33554432000 4194304 4933779 140730188086544 140730188084232 4437547 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 22024192 140730188092568 140730188092668 140730188092668 140730188095426 0
/proc/27621/statm: 185937 179747 613 181 0 179554 0
Current children cumulated CPU time: 222.19 s
Current children cumulated vsize: 743748 KiB
Current children cumulated memory: 718988 KiB

[startup+282.3 s]
/proc/loadavg: 2.04 2.01 1.98 3/188 27695
/proc/meminfo: memFree=19261620/32770624 swapFree=67108860/67108860
[pid=27621] ppid=27618 vsize=856852 memory=832276 CPUtime=282.17 cores=0,2,4,6
/proc/27621/stat : 27621 (nacre_mini_rele) R 27618 27621 26996 0 -1 4202496 535399 0 0 0 28157 60 0 0 20 0 1 0 95584197 877416448 208069 33554432000 4194304 4933779 140730188086544 140730188084232 4437567 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 22024192 140730188092568 140730188092668 140730188092668 140730188095426 0
/proc/27621/statm: 214213 208069 613 181 0 207830 0
Current children cumulated CPU time: 282.17 s
Current children cumulated vsize: 856852 KiB
Current children cumulated memory: 832276 KiB

[startup+342.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/188 27696
/proc/meminfo: memFree=19082196/32770624 swapFree=67108860/67108860
[pid=27621] ppid=27618 vsize=962188 memory=937964 CPUtime=342.15 cores=0,2,4,6
/proc/27621/stat : 27621 (nacre_mini_rele) R 27618 27621 26996 0 -1 4202496 625023 0 0 0 34144 71 0 0 20 0 1 0 95584197 985280512 234491 33554432000 4194304 4933779 140730188086544 140730188084296 4437536 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 22024192 140730188092568 140730188092668 140730188092668 140730188095426 0
/proc/27621/statm: 240547 234491 613 181 0 234164 0
Current children cumulated CPU time: 342.15 s
Current children cumulated vsize: 962188 KiB
Current children cumulated memory: 937964 KiB

[startup+402.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/188 27697
/proc/meminfo: memFree=18822668/32770624 swapFree=67108860/67108860
[pid=27621] ppid=27618 vsize=1044264 memory=1019772 CPUtime=402.12 cores=0,2,4,6
/proc/27621/stat : 27621 (nacre_mini_rele) R 27618 27621 26996 0 -1 4202496 717912 0 0 0 40132 80 0 0 20 0 1 0 95584197 1069326336 254943 33554432000 4194304 4933779 140730188086544 140730188084232 140443667096159 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 22024192 140730188092568 140730188092668 140730188092668 140730188095426 0
/proc/27621/statm: 261066 254943 613 181 0 254683 0
Current children cumulated CPU time: 402.12 s
Current children cumulated vsize: 1044264 KiB
Current children cumulated memory: 1019772 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 27698
/proc/meminfo: memFree=18624024/32770624 swapFree=67108860/67108860
[pid=27621] ppid=27618 vsize=1113124 memory=1088912 CPUtime=462.1 cores=0,2,4,6
/proc/27621/stat : 27621 (nacre_mini_rele) R 27618 27621 26996 0 -1 4202496 801097 0 0 0 46122 88 0 0 20 0 1 0 95584197 1139838976 272228 33554432000 4194304 4933779 140730188086544 140730188084232 4437570 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 22024192 140730188092568 140730188092668 140730188092668 140730188095426 0
/proc/27621/statm: 278281 272228 613 181 0 271898 0
Current children cumulated CPU time: 462.1 s
Current children cumulated vsize: 1113124 KiB
Current children cumulated memory: 1088912 KiB


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

/proc/27621/statm: 501011 494644 613 181 0 494628 0
Current children cumulated CPU time: 1721.88 s
Current children cumulated vsize: 2004044 KiB
Current children cumulated memory: 1978576 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 27738
/proc/meminfo: memFree=15842312/32770624 swapFree=67108860/67108860
[pid=27621] ppid=27618 vsize=2033488 memory=2008016 CPUtime=1781.88 cores=0,2,4,6
/proc/27621/stat : 27621 (nacre_mini_rele) R 27618 27621 26996 0 -1 4202496 1755176 0 0 0 177980 208 0 0 20 0 1 0 95584197 2082291712 502004 33554432000 4194304 4933779 140730188086544 140730188084296 4437536 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 22024192 140730188092568 140730188092668 140730188092668 140730188095426 0
/proc/27621/statm: 508372 502004 613 181 0 501989 0
Current children cumulated CPU time: 1781.88 s
Current children cumulated vsize: 2033488 KiB
Current children cumulated memory: 2008016 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 27739
/proc/meminfo: memFree=15749836/32770624 swapFree=67108860/67108860
[pid=27621] ppid=27618 vsize=2059840 memory=2034280 CPUtime=1841.87 cores=0,2,4,6
/proc/27621/stat : 27621 (nacre_mini_rele) R 27618 27621 26996 0 -1 4202496 1825974 0 0 0 183972 215 0 0 20 0 1 0 95584197 2109276160 508570 33554432000 4194304 4933779 140730188086544 140730188084296 4437570 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 22024192 140730188092568 140730188092668 140730188092668 140730188095426 0
/proc/27621/statm: 514960 508570 613 181 0 508577 0
Current children cumulated CPU time: 1841.87 s
Current children cumulated vsize: 2059840 KiB
Current children cumulated memory: 2034280 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 27740
/proc/meminfo: memFree=15633528/32770624 swapFree=67108860/67108860
[pid=27621] ppid=27618 vsize=2079620 memory=2054088 CPUtime=1901.87 cores=0,2,4,6
/proc/27621/stat : 27621 (nacre_mini_rele) R 27618 27621 26996 0 -1 4202496 1890749 0 0 0 189966 221 0 0 20 0 1 0 95584197 2129530880 513522 33554432000 4194304 4933779 140730188086544 140730188084296 4437572 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 22024192 140730188092568 140730188092668 140730188092668 140730188095426 0
/proc/27621/statm: 519905 513522 613 181 0 513522 0
Current children cumulated CPU time: 1901.87 s
Current children cumulated vsize: 2079620 KiB
Current children cumulated memory: 2054088 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 27741
/proc/meminfo: memFree=15514080/32770624 swapFree=67108860/67108860
[pid=27621] ppid=27618 vsize=2099916 memory=2074460 CPUtime=1961.87 cores=0,2,4,6
/proc/27621/stat : 27621 (nacre_mini_rele) R 27618 27621 26996 0 -1 4202496 1965804 0 0 0 195959 228 0 0 20 0 1 0 95584197 2150313984 518615 33554432000 4194304 4933779 140730188086544 140730188084296 4362479 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 22024192 140730188092568 140730188092668 140730188092668 140730188095426 0
/proc/27621/statm: 524979 518615 613 181 0 518596 0
Current children cumulated CPU time: 1961.87 s
Current children cumulated vsize: 2099916 KiB
Current children cumulated memory: 2074460 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 27750
/proc/meminfo: memFree=15452792/32770624 swapFree=67108860/67108860
[pid=27621] ppid=27618 vsize=2119172 memory=2093688 CPUtime=2021.87 cores=0,2,4,6
/proc/27621/stat : 27621 (nacre_mini_rele) R 27618 27621 26996 0 -1 4202496 2037197 0 0 0 201954 233 0 0 20 0 1 0 95584197 2170032128 523422 33554432000 4194304 4933779 140730188086544 140730188084232 4437567 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 22024192 140730188092568 140730188092668 140730188092668 140730188095426 0
/proc/27621/statm: 529793 523422 613 181 0 523410 0
Current children cumulated CPU time: 2021.87 s
Current children cumulated vsize: 2119172 KiB
Current children cumulated memory: 2093688 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 27751
/proc/meminfo: memFree=15404468/32770624 swapFree=67108860/67108860
[pid=27621] ppid=27618 vsize=2149032 memory=2123296 CPUtime=2081.86 cores=0,2,4,6
/proc/27621/stat : 27621 (nacre_mini_rele) R 27618 27621 26996 0 -1 4202496 2119633 0 0 0 207947 239 0 0 20 0 1 0 95584197 2200608768 530824 33554432000 4194304 4933779 140730188086544 140730188084232 4437536 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 22024192 140730188092568 140730188092668 140730188092668 140730188095426 0
/proc/27621/statm: 537258 530824 613 181 0 530875 0
Current children cumulated CPU time: 2081.86 s
Current children cumulated vsize: 2149032 KiB
Current children cumulated memory: 2123296 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 27752
/proc/meminfo: memFree=15337080/32770624 swapFree=67108860/67108860
[pid=27621] ppid=27618 vsize=2172892 memory=2147204 CPUtime=2141.87 cores=0,2,4,6
/proc/27621/stat : 27621 (nacre_mini_rele) R 27618 27621 26996 0 -1 4202496 2196192 0 0 0 213941 246 0 0 20 0 1 0 95584197 2225041408 536801 33554432000 4194304 4933779 140730188086544 140730188084296 4437572 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 22024192 140730188092568 140730188092668 140730188092668 140730188095426 0
/proc/27621/statm: 543223 536801 613 181 0 536840 0
Current children cumulated CPU time: 2141.87 s
Current children cumulated vsize: 2172892 KiB
Current children cumulated memory: 2147204 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 27753
/proc/meminfo: memFree=15316400/32770624 swapFree=67108860/67108860
[pid=27621] ppid=27618 vsize=2186236 memory=2160468 CPUtime=2201.86 cores=0,2,4,6
/proc/27621/stat : 27621 (nacre_mini_rele) R 27618 27621 26996 0 -1 4202496 2267109 0 0 0 219936 250 0 0 20 0 1 0 95584197 2238705664 540117 33554432000 4194304 4933779 140730188086544 140730188084232 4437558 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 22024192 140730188092568 140730188092668 140730188092668 140730188095426 0
/proc/27621/statm: 546559 540117 613 181 0 540176 0
Current children cumulated CPU time: 2201.86 s
Current children cumulated vsize: 2186236 KiB
Current children cumulated memory: 2160468 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 27754
/proc/meminfo: memFree=15266580/32770624 swapFree=67108860/67108860
[pid=27621] ppid=27618 vsize=2204776 memory=2178840 CPUtime=2261.86 cores=0,2,4,6
/proc/27621/stat : 27621 (nacre_mini_rele) R 27618 27621 26996 0 -1 4202496 2350095 0 0 0 225929 257 0 0 20 0 1 0 95584197 2257690624 544710 33554432000 4194304 4933779 140730188086544 140730188084296 4437581 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 22024192 140730188092568 140730188092668 140730188092668 140730188095426 0
/proc/27621/statm: 551194 544710 613 181 0 544811 0
Current children cumulated CPU time: 2261.86 s
Current children cumulated vsize: 2204776 KiB
Current children cumulated memory: 2178840 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 27756
/proc/meminfo: memFree=15193964/32770624 swapFree=67108860/67108860
[pid=27621] ppid=27618 vsize=2236212 memory=2210184 CPUtime=2321.86 cores=0,2,4,6
/proc/27621/stat : 27621 (nacre_mini_rele) R 27618 27621 26996 0 -1 4202496 2455239 0 0 0 231920 266 0 0 20 0 1 0 95584197 2289881088 552546 33554432000 4194304 4933779 140730188086544 140730188084296 140443667091203 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 22024192 140730188092568 140730188092668 140730188092668 140730188095426 0
/proc/27621/statm: 559053 552546 613 181 0 552670 0
Current children cumulated CPU time: 2321.86 s
Current children cumulated vsize: 2236212 KiB
Current children cumulated memory: 2210184 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 27757
/proc/meminfo: memFree=15143400/32770624 swapFree=67108860/67108860
[pid=27621] ppid=27618 vsize=2256856 memory=2230796 CPUtime=2381.85 cores=0,2,4,6
/proc/27621/stat : 27621 (nacre_mini_rele) R 27618 27621 26996 0 -1 4202496 2555674 0 0 0 237910 275 0 0 20 0 1 0 95584197 2311020544 557699 33554432000 4194304 4933779 140730188086544 140730188084296 4437393 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 22024192 140730188092568 140730188092668 140730188092668 140730188095426 0
/proc/27621/statm: 564214 557699 613 181 0 557831 0
Current children cumulated CPU time: 2381.85 s
Current children cumulated vsize: 2256856 KiB
Current children cumulated memory: 2230796 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 27758
/proc/meminfo: memFree=15098788/32770624 swapFree=67108860/67108860
[pid=27621] ppid=27618 vsize=2272308 memory=2246252 CPUtime=2441.86 cores=0,2,4,6
/proc/27621/stat : 27621 (nacre_mini_rele) R 27618 27621 26996 0 -1 4202496 2649217 0 0 0 243903 283 0 0 20 0 1 0 95584197 2326843392 561563 33554432000 4194304 4933779 140730188086544 140730188084248 4437570 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 22024192 140730188092568 140730188092668 140730188092668 140730188095426 0
/proc/27621/statm: 568077 561563 613 181 0 561694 0
Current children cumulated CPU time: 2441.86 s
Current children cumulated vsize: 2272308 KiB
Current children cumulated memory: 2246252 KiB

[startup+2502.3 s]
/proc/loadavg: 2.44 2.12 2.02 3/187 27760
/proc/meminfo: memFree=15052932/32770624 swapFree=67108860/67108860
[pid=27621] ppid=27618 vsize=2283280 memory=2257272 CPUtime=2501.85 cores=0,2,4,6
/proc/27621/stat : 27621 (nacre_mini_rele) R 27618 27621 26996 0 -1 4202496 2724730 0 0 0 249896 289 0 0 20 0 1 0 95584197 2338078720 564318 33554432000 4194304 4933779 140730188086544 140730188084232 4437572 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 22024192 140730188092568 140730188092668 140730188092668 140730188095426 0
/proc/27621/statm: 570820 564318 613 181 0 564437 0
Current children cumulated CPU time: 2501.85 s
Current children cumulated vsize: 2283280 KiB
Current children cumulated memory: 2257272 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.38 2.13 2.02 3/187 27760
/proc/meminfo: memFree=15040888/32770624 swapFree=67108860/67108860
[pid=27621] ppid=27618 vsize=2288160 memory=2262060 CPUtime=2519.56 cores=0,2,4,6
/proc/27621/stat : 27621 (nacre_mini_rele) R 27618 27621 26996 0 -1 4202496 2773899 0 0 0 251663 293 0 0 20 0 1 0 95584197 2343075840 565515 33554432000 4194304 4933779 140730188086544 140730188084296 4437572 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 22024192 140730188092568 140730188092668 140730188092668 140730188095426 0
/proc/27621/statm: 572040 565515 613 181 0 565657 0
Current children cumulated CPU time: 2519.56 s
Current children cumulated vsize: 2288160 KiB
Current children cumulated memory: 2262060 KiB

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

[startup+2520.06 s]
# the end of solver process 27621 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.63 s, system=2.98184 s

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

Child status: 0
Real time (s): 2520.06
CPU time (s): 2519.62
CPU user time (s): 2516.63
CPU system time (s): 2.98184
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 2288160
Max. memory (cumulated for all children) (KiB): 2262060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.63
system time used= 2.98184
maximum resident set size= 2262136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2773946
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= 617
involuntary context switches= 3291


# summary of solver processes directly reported to runsolver:
#   pid: 27621
#   total CPU time (s): 2519.62
#   total CPU user time (s): 2516.63
#   total CPU system time (s): 2.98184

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.1738 second user time and 21.6954 second system time

The end

Launcher Data 

Begin job on node103 at 2018-07-28 14:16:50
IDJOB=4298815
IDBENCH=141237
IDSOLVER=2764
FILE ID=node103/4298815-1532780210
RUNJOBID= node103-1532775163-27027
PBS_JOBID= 21022463
Free space on /tmp= 56536 MiB

SOLVER NAME= NACRE 1.0.4
BENCH NAME= XCSP18/PseudoBoolean-dec/Pb-chnl30-31_c18.xml
COMMAND LINE= nacre_mini_release BENCHNAME -ca -l100 -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298815-1532780210/watcher-4298815-1532780210 -o /tmp/evaluation-result-4298815-1532780210/solver-4298815-1532780210 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532775163-27027 --watchdog 2580  nacre_mini_release HOME/instance-4298815-1532780210.xml -ca -l100 -cm

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

MD5SUM BENCH= 986923daef9243229e6ae2459781d9f0
RANDOM SEED=904875757

node103.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.48
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.48
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.48
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.48
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:        20207956 kB
MemAvailable:   31904212 kB
Buffers:          302260 kB
Cached:         11577964 kB
SwapCached:            0 kB
Active:          3940148 kB
Inactive:        8020628 kB
Active(anon):      83244 kB
Inactive(anon):    25184 kB
Active(file):    3856904 kB
Inactive(file):  7995444 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1016 kB
Writeback:             0 kB
AnonPages:         95784 kB
Mapped:            44068 kB
Shmem:             25228 kB
Slab:             300248 kB
SReclaimable:     272368 kB
SUnreclaim:        27880 kB
KernelStack:        3568 kB
PageTables:         5308 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     379264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 56536 MiB
End job on node103 at 2018-07-28 14:58:50