Trace number 4298823

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

General information on the benchmark

NamePseudoBoolean-dec/
Pb-robin18_c18.xml
MD5SUMf09386fa05f6191f12fed212ce37b406
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 variables23409
Number of constraints1386
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":23409}]
Minimum variable degree10
Maximum variable degree10
Distribution of variable degrees[{"degree":10,"count":23409}]
Minimum constraint arity153
Maximum constraint arity289
Distribution of constraint arities[{"arity":153,"count":1224},{"arity":289,"count":162}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":1386}]
Optimization problemNO
Type of objective

Solver Data 

0.41/0.48	c NACRE 1.0.4
2519.78/2520.01	c
2519.78/2520.01	c # time = 2519.78
2519.78/2520.01	c # Dec = 2120157
2519.78/2520.01	c # Propagate Calls = 217978391
2519.78/2520.01	c # assignAt Calls = 2927515
2519.78/2520.01	c # removeAt Calls = 119662685
2519.78/2520.01	c # Run = 451
2519.78/2520.01	c # Conflicts = 167901
2519.78/2520.01	c # Memory used = 2998.88 Mb
2519.78/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 (8973 MiB free)
  memory of node 1: 16384 MiB (10164 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298823-1532780393/watcher-4298823-1532780393 -o /tmp/evaluation-result-4298823-1532780393/solver-4298823-1532780393 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532775163-27028 --watchdog 2580 nacre_mini_release HOME/instance-4298823-1532780393.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=27685, runsolver pid=27682
Current StackSize limit: 8192 KiB


[startup+0.100157 s]*
/proc/loadavg: 2.00 2.01 1.98 3/187 27686
/proc/meminfo: memFree=19564280/32770624 swapFree=67108860/67108860
[pid=27685] ppid=27682 vsize=59660 memory=35144 CPUtime=0.1 cores=1,3,5,7
/proc/27685/stat : 27685 (nacre_mini_rele) R 27682 27685 26996 0 -1 4202496 9650 0 0 0 9 1 0 0 20 0 1 0 95602462 61091840 8786 33554432000 4194304 4933779 140737265819536 140737265817112 140651733074810 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39124992 140737265820824 140737265820924 140737265820924 140737265823682 0
/proc/27685/statm: 14915 8786 560 181 0 8532 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 59660 KiB
Current children cumulated memory: 35144 KiB

[startup+0.209593 s]*
/proc/loadavg: 2.00 2.01 1.98 3/187 27686
/proc/meminfo: memFree=19562512/32770624 swapFree=67108860/67108860
[pid=27685] ppid=27682 vsize=60452 memory=35936 CPUtime=0.21 cores=1,3,5,7
/proc/27685/stat : 27685 (nacre_mini_rele) R 27682 27685 26996 0 -1 4202496 9874 0 0 0 20 1 0 0 20 0 1 0 95602462 61902848 8984 33554432000 4194304 4933779 140737265819536 140737265817112 140651733064677 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39124992 140737265820824 140737265820924 140737265820924 140737265823682 0
/proc/27685/statm: 15113 8984 578 181 0 8730 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 60452 KiB
Current children cumulated memory: 35936 KiB

[startup+0.309365 s]*
/proc/loadavg: 2.00 2.01 1.98 3/187 27686
/proc/meminfo: memFree=19562140/32770624 swapFree=67108860/67108860
[pid=27685] ppid=27682 vsize=60980 memory=36464 CPUtime=0.31 cores=1,3,5,7
/proc/27685/stat : 27685 (nacre_mini_rele) R 27682 27685 26996 0 -1 4202496 9990 0 0 0 30 1 0 0 20 0 1 0 95602462 62443520 9116 33554432000 4194304 4933779 140737265819536 140737265817112 140651733064677 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39124992 140737265820824 140737265820924 140737265820924 140737265823682 0
/proc/27685/statm: 15245 9116 580 181 0 8862 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 60980 KiB
Current children cumulated memory: 36464 KiB

[startup+0.700337 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 27686
/proc/meminfo: memFree=19555568/32770624 swapFree=67108860/67108860
[pid=27685] ppid=27682 vsize=67232 memory=42800 CPUtime=0.69 cores=1,3,5,7
/proc/27685/stat : 27685 (nacre_mini_rele) R 27682 27685 26996 0 -1 4202496 11550 0 0 0 68 1 0 0 20 0 1 0 95602462 68845568 10700 33554432000 4194304 4933779 140737265819536 140737265817112 4314256 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39124992 140737265820824 140737265820924 140737265820924 140737265823682 0
/proc/27685/statm: 16808 10700 596 181 0 10425 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 67232 KiB
Current children cumulated memory: 42800 KiB

[startup+1.5004 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 27686
/proc/meminfo: memFree=19555196/32770624 swapFree=67108860/67108860
[pid=27685] ppid=27682 vsize=67488 memory=42800 CPUtime=1.49 cores=1,3,5,7
/proc/27685/stat : 27685 (nacre_mini_rele) R 27682 27685 26996 0 -1 4202496 11601 0 0 0 148 1 0 0 20 0 1 0 95602462 69107712 10700 33554432000 4194304 4933779 140737265819536 140737265817656 4475930 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39124992 140737265820824 140737265820924 140737265820924 140737265823682 0
/proc/27685/statm: 16872 10700 596 181 0 10489 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 67488 KiB
Current children cumulated memory: 42800 KiB

[startup+3.10975 s]
/proc/loadavg: 1.92 2.00 1.97 3/187 27686
/proc/meminfo: memFree=19548252/32770624 swapFree=67108860/67108860
[pid=27685] ppid=27682 vsize=67884 memory=43516 CPUtime=3.09 cores=1,3,5,7
/proc/27685/stat : 27685 (nacre_mini_rele) R 27682 27685 26996 0 -1 4202496 20656 0 0 0 308 1 0 0 20 0 1 0 95602462 69513216 10879 33554432000 4194304 4933779 140737265819536 140737265817224 4447741 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39124992 140737265820824 140737265820924 140737265820924 140737265823682 0
/proc/27685/statm: 16971 10879 613 181 0 10588 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 67884 KiB
Current children cumulated memory: 43516 KiB

[startup+6.30039 s]
/proc/loadavg: 1.92 2.00 1.97 3/187 27686
/proc/meminfo: memFree=19539696/32770624 swapFree=67108860/67108860
[pid=27685] ppid=27682 vsize=68952 memory=44320 CPUtime=6.29 cores=1,3,5,7
/proc/27685/stat : 27685 (nacre_mini_rele) R 27682 27685 26996 0 -1 4202496 30019 0 0 0 627 2 0 0 20 0 1 0 95602462 70606848 11080 33554432000 4194304 4933779 140737265819536 140737265817288 4447785 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39124992 140737265820824 140737265820924 140737265820924 140737265823682 0
/proc/27685/statm: 17238 11080 613 181 0 10855 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 68952 KiB
Current children cumulated memory: 44320 KiB

[startup+12.7004 s]
/proc/loadavg: 1.93 2.00 1.97 3/188 27694
/proc/meminfo: memFree=19519580/32770624 swapFree=67108860/67108860
[pid=27685] ppid=27682 vsize=77836 memory=53284 CPUtime=12.69 cores=1,3,5,7
/proc/27685/stat : 27685 (nacre_mini_rele) R 27682 27685 26996 0 -1 4202496 41569 0 0 0 1266 3 0 0 20 0 1 0 95602462 79704064 13321 33554432000 4194304 4933779 140737265819536 140737265817224 4447776 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39124992 140737265820824 140737265820924 140737265820924 140737265823682 0
/proc/27685/statm: 19459 13321 613 181 0 13076 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 77836 KiB
Current children cumulated memory: 53284 KiB

[startup+25.5004 s]
/proc/loadavg: 1.95 2.00 1.97 3/188 27694
/proc/meminfo: memFree=19487200/32770624 swapFree=67108860/67108860
[pid=27685] ppid=27682 vsize=84808 memory=60484 CPUtime=25.49 cores=1,3,5,7
/proc/27685/stat : 27685 (nacre_mini_rele) R 27682 27685 26996 0 -1 4202496 63764 0 0 0 2544 5 0 0 20 0 1 0 95602462 86843392 15121 33554432000 4194304 4933779 140737265819536 140737265817288 4391982 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39124992 140737265820824 140737265820924 140737265820924 140737265823682 0
/proc/27685/statm: 21202 15121 613 181 0 14819 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 84808 KiB
Current children cumulated memory: 60484 KiB

[startup+51.1098 s]
/proc/loadavg: 1.96 2.00 1.97 3/188 27694
/proc/meminfo: memFree=19401592/32770624 swapFree=67108860/67108860
[pid=27685] ppid=27682 vsize=112320 memory=87776 CPUtime=51.1 cores=1,3,5,7
/proc/27685/stat : 27685 (nacre_mini_rele) R 27682 27685 26996 0 -1 4202496 83374 0 0 0 5103 7 0 0 20 0 1 0 95602462 115015680 21944 33554432000 4194304 4933779 140737265819536 140737265817288 4391982 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39124992 140737265820824 140737265820924 140737265820924 140737265823682 0
/proc/27685/statm: 28080 21944 613 181 0 21697 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 112320 KiB
Current children cumulated memory: 87776 KiB

[startup+102.3 s]
/proc/loadavg: 2.03 2.01 1.98 3/188 27695
/proc/meminfo: memFree=19255420/32770624 swapFree=67108860/67108860
[pid=27685] ppid=27682 vsize=169752 memory=145012 CPUtime=102.29 cores=1,3,5,7
/proc/27685/stat : 27685 (nacre_mini_rele) R 27682 27685 26996 0 -1 4202496 113214 0 0 0 10217 12 0 0 20 0 1 0 95602462 173826048 36253 33554432000 4194304 4933779 140737265819536 140737265817224 4391982 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39124992 140737265820824 140737265820924 140737265820924 140737265823682 0
/proc/27685/statm: 42438 36253 613 181 0 36055 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 169752 KiB
Current children cumulated memory: 145012 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/188 27696
/proc/meminfo: memFree=19072896/32770624 swapFree=67108860/67108860
[pid=27685] ppid=27682 vsize=244832 memory=220448 CPUtime=162.28 cores=1,3,5,7
/proc/27685/stat : 27685 (nacre_mini_rele) R 27682 27685 26996 0 -1 4202496 153854 0 0 0 16210 18 0 0 20 0 1 0 95602462 250707968 55112 33554432000 4194304 4933779 140737265819536 140737265817288 4392079 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39124992 140737265820824 140737265820924 140737265820924 140737265823682 0
/proc/27685/statm: 61208 55112 613 181 0 54825 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 244832 KiB
Current children cumulated memory: 220448 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 27697
/proc/meminfo: memFree=18818204/32770624 swapFree=67108860/67108860
[pid=27685] ppid=27682 vsize=420264 memory=395352 CPUtime=222.28 cores=1,3,5,7
/proc/27685/stat : 27685 (nacre_mini_rele) R 27682 27685 26996 0 -1 4202496 225779 0 0 0 22198 30 0 0 20 0 1 0 95602462 430350336 98838 33554432000 4194304 4933779 140737265819536 140737265817224 4392478 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39124992 140737265820824 140737265820924 140737265820924 140737265823682 0
/proc/27685/statm: 105066 98838 613 181 0 98683 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 420264 KiB
Current children cumulated memory: 395352 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 27698
/proc/meminfo: memFree=18602944/32770624 swapFree=67108860/67108860
[pid=27685] ppid=27682 vsize=565816 memory=540868 CPUtime=282.28 cores=1,3,5,7
/proc/27685/stat : 27685 (nacre_mini_rele) R 27682 27685 26996 0 -1 4202496 273015 0 0 0 28191 37 0 0 20 0 1 0 95602462 579395584 135217 33554432000 4194304 4933779 140737265819536 140737265817288 4392379 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39124992 140737265820824 140737265820924 140737265820924 140737265823682 0
/proc/27685/statm: 141454 135217 613 181 0 135071 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 565816 KiB
Current children cumulated memory: 540868 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 27700
/proc/meminfo: memFree=18377488/32770624 swapFree=67108860/67108860
[pid=27685] ppid=27682 vsize=727220 memory=702500 CPUtime=342.28 cores=1,3,5,7
/proc/27685/stat : 27685 (nacre_mini_rele) R 27682 27685 26996 0 -1 4202496 348876 0 0 0 34181 47 0 0 20 0 1 0 95602462 744673280 175625 33554432000 4194304 4933779 140737265819536 140737265817224 4447741 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39124992 140737265820824 140737265820924 140737265820924 140737265823682 0
/proc/27685/statm: 181805 175625 613 181 0 175422 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 727220 KiB
Current children cumulated memory: 702500 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 27701
/proc/meminfo: memFree=18186308/32770624 swapFree=67108860/67108860
[pid=27685] ppid=27682 vsize=864840 memory=840068 CPUtime=402.28 cores=1,3,5,7
/proc/27685/stat : 27685 (nacre_mini_rele) R 27682 27685 26996 0 -1 4202496 418447 0 0 0 40171 57 0 0 20 0 1 0 95602462 885596160 210017 33554432000 4194304 4933779 140737265819536 140737265817224 4447741 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39124992 140737265820824 140737265820924 140737265820924 140737265823682 0
/proc/27685/statm: 216210 210017 613 181 0 209827 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 864840 KiB
Current children cumulated memory: 840068 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 27702
/proc/meminfo: memFree=17935104/32770624 swapFree=67108860/67108860
[pid=27685] ppid=27682 vsize=1059420 memory=1034584 CPUtime=462.28 cores=1,3,5,7
/proc/27685/stat : 27685 (nacre_mini_rele) R 27682 27685 26996 0 -1 4202496 499248 0 0 0 46159 69 0 0 20 0 1 0 95602462 1084846080 258646 33554432000 4194304 4933779 140737265819536 140737265817224 4437547 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39124992 140737265820824 140737265820924 140737265820924 140737265823682 0
/proc/27685/statm: 264855 258646 613 181 0 258472 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 1059420 KiB
Current children cumulated memory: 1034584 KiB


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

/proc/27685/statm: 643053 637013 613 181 0 636670 0
Current children cumulated CPU time: 1722.16 s
Current children cumulated vsize: 2572212 KiB
Current children cumulated memory: 2548052 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 27741
/proc/meminfo: memFree=15513212/32770624 swapFree=67108860/67108860
[pid=27685] ppid=27682 vsize=2664168 memory=2639980 CPUtime=1782.15 cores=1,3,5,7
/proc/27685/stat : 27685 (nacre_mini_rele) R 27682 27685 26996 0 -1 4202496 2390405 0 0 0 177938 277 0 0 20 0 1 0 95602462 2728108032 659995 33554432000 4194304 4933779 140737265819536 140737265817224 4437581 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39124992 140737265820824 140737265820924 140737265820924 140737265823682 0
/proc/27685/statm: 666042 659995 613 181 0 659659 0
Current children cumulated CPU time: 1782.15 s
Current children cumulated vsize: 2664168 KiB
Current children cumulated memory: 2639980 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 27750
/proc/meminfo: memFree=15450560/32770624 swapFree=67108860/67108860
[pid=27685] ppid=27682 vsize=2708472 memory=2683252 CPUtime=1842.15 cores=1,3,5,7
/proc/27685/stat : 27685 (nacre_mini_rele) R 27682 27685 26996 0 -1 4202496 2449587 0 0 0 183932 283 0 0 20 0 1 0 95602462 2773475328 670813 33554432000 4194304 4933779 140737265819536 140737265817224 4391887 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39124992 140737265820824 140737265820924 140737265820924 140737265823682 0
/proc/27685/statm: 677118 670813 613 181 0 670735 0
Current children cumulated CPU time: 1842.15 s
Current children cumulated vsize: 2708472 KiB
Current children cumulated memory: 2683252 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 27751
/proc/meminfo: memFree=15403352/32770624 swapFree=67108860/67108860
[pid=27685] ppid=27682 vsize=2726180 memory=2701032 CPUtime=1902.14 cores=1,3,5,7
/proc/27685/stat : 27685 (nacre_mini_rele) R 27682 27685 26996 0 -1 4202496 2505099 0 0 0 189925 289 0 0 20 0 1 0 95602462 2791608320 675258 33554432000 4194304 4933779 140737265819536 140737265817288 4437536 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39124992 140737265820824 140737265820924 140737265820924 140737265823682 0
/proc/27685/statm: 681545 675258 613 181 0 675162 0
Current children cumulated CPU time: 1902.14 s
Current children cumulated vsize: 2726180 KiB
Current children cumulated memory: 2701032 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 27752
/proc/meminfo: memFree=15335964/32770624 swapFree=67108860/67108860
[pid=27685] ppid=27682 vsize=2768644 memory=2743396 CPUtime=1962.14 cores=1,3,5,7
/proc/27685/stat : 27685 (nacre_mini_rele) R 27682 27685 26996 0 -1 4202496 2564533 0 0 0 195917 297 0 0 20 0 1 0 95602462 2835091456 685849 33554432000 4194304 4933779 140737265819536 140737265817288 4447728 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39124992 140737265820824 140737265820924 140737265820924 140737265823682 0
/proc/27685/statm: 692161 685849 613 181 0 685778 0
Current children cumulated CPU time: 1962.14 s
Current children cumulated vsize: 2768644 KiB
Current children cumulated memory: 2743396 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 27753
/proc/meminfo: memFree=15313052/32770624 swapFree=67108860/67108860
[pid=27685] ppid=27682 vsize=2778356 memory=2753116 CPUtime=2022.12 cores=1,3,5,7
/proc/27685/stat : 27685 (nacre_mini_rele) R 27682 27685 26996 0 -1 4202496 2626979 0 0 0 201910 302 0 0 20 0 1 0 95602462 2845036544 688279 33554432000 4194304 4933779 140737265819536 140737265817288 4332874 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39124992 140737265820824 140737265820924 140737265820924 140737265823682 0
/proc/27685/statm: 694589 688279 613 181 0 688206 0
Current children cumulated CPU time: 2022.12 s
Current children cumulated vsize: 2778356 KiB
Current children cumulated memory: 2753116 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 27754
/proc/meminfo: memFree=15265836/32770624 swapFree=67108860/67108860
[pid=27685] ppid=27682 vsize=2806376 memory=2781276 CPUtime=2082.11 cores=1,3,5,7
/proc/27685/stat : 27685 (nacre_mini_rele) R 27682 27685 26996 0 -1 4202496 2682810 0 0 0 207902 309 0 0 20 0 1 0 95602462 2873729024 695319 33554432000 4194304 4933779 140737265819536 140737265817288 4475930 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39124992 140737265820824 140737265820924 140737265820924 140737265823682 0
/proc/27685/statm: 701594 695319 613 181 0 695211 0
Current children cumulated CPU time: 2082.11 s
Current children cumulated vsize: 2806376 KiB
Current children cumulated memory: 2781276 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 27756
/proc/meminfo: memFree=15192848/32770624 swapFree=67108860/67108860
[pid=27685] ppid=27682 vsize=2848412 memory=2823364 CPUtime=2142.11 cores=1,3,5,7
/proc/27685/stat : 27685 (nacre_mini_rele) R 27682 27685 26996 0 -1 4202496 2743035 0 0 0 213893 318 0 0 20 0 1 0 95602462 2916773888 705841 33554432000 4194304 4933779 140737265819536 140737265817288 4335693 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39124992 140737265820824 140737265820924 140737265820924 140737265823682 0
/proc/27685/statm: 712103 705841 613 181 0 705720 0
Current children cumulated CPU time: 2142.11 s
Current children cumulated vsize: 2848412 KiB
Current children cumulated memory: 2823364 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 27757
/proc/meminfo: memFree=15139308/32770624 swapFree=67108860/67108860
[pid=27685] ppid=27682 vsize=2880680 memory=2855668 CPUtime=2202.1 cores=1,3,5,7
/proc/27685/stat : 27685 (nacre_mini_rele) R 27682 27685 26996 0 -1 4202496 2797784 0 0 0 219886 324 0 0 20 0 1 0 95602462 2949816320 713917 33554432000 4194304 4933779 140737265819536 140737265817288 4391883 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39124992 140737265820824 140737265820924 140737265820924 140737265823682 0
/proc/27685/statm: 720170 713917 613 181 0 713787 0
Current children cumulated CPU time: 2202.1 s
Current children cumulated vsize: 2880680 KiB
Current children cumulated memory: 2855668 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 27758
/proc/meminfo: memFree=15097672/32770624 swapFree=67108860/67108860
[pid=27685] ppid=27682 vsize=2907812 memory=2882760 CPUtime=2262.1 cores=1,3,5,7
/proc/27685/stat : 27685 (nacre_mini_rele) R 27682 27685 26996 0 -1 4202496 2840338 0 0 0 225880 330 0 0 20 0 1 0 95602462 2977599488 720690 33554432000 4194304 4933779 140737265819536 140737265817224 4437567 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39124992 140737265820824 140737265820924 140737265820924 140737265823682 0
/proc/27685/statm: 726953 720690 613 181 0 720570 0
Current children cumulated CPU time: 2262.1 s
Current children cumulated vsize: 2907812 KiB
Current children cumulated memory: 2882760 KiB

[startup+2322.3 s]
/proc/loadavg: 2.44 2.12 2.02 3/187 27760
/proc/meminfo: memFree=15051072/32770624 swapFree=67108860/67108860
[pid=27685] ppid=27682 vsize=2943996 memory=2918940 CPUtime=2322.09 cores=1,3,5,7
/proc/27685/stat : 27685 (nacre_mini_rele) R 27682 27685 26996 0 -1 4202496 2889844 0 0 0 231874 335 0 0 20 0 1 0 95602462 3014651904 729735 33554432000 4194304 4933779 140737265819536 140737265817224 4362479 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39124992 140737265820824 140737265820924 140737265820924 140737265823682 0
/proc/27685/statm: 735999 729735 613 181 0 729616 0
Current children cumulated CPU time: 2322.09 s
Current children cumulated vsize: 2943996 KiB
Current children cumulated memory: 2918940 KiB

[startup+2382.3 s]
/proc/loadavg: 2.19 2.12 2.02 3/187 27821
/proc/meminfo: memFree=17137312/32770624 swapFree=67108860/67108860
[pid=27685] ppid=27682 vsize=2970548 memory=2945484 CPUtime=2382.08 cores=1,3,5,7
/proc/27685/stat : 27685 (nacre_mini_rele) R 27682 27685 26996 0 -1 4202496 2924772 0 0 0 237867 341 0 0 20 0 1 0 95602462 3041841152 736371 33554432000 4194304 4933779 140737265819536 140737265817288 4437564 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39124992 140737265820824 140737265820924 140737265820924 140737265823682 0
/proc/27685/statm: 742637 736371 613 181 0 736254 0
Current children cumulated CPU time: 2382.08 s
Current children cumulated vsize: 2970548 KiB
Current children cumulated memory: 2945484 KiB

[startup+2442.3 s]
/proc/loadavg: 2.07 2.09 2.02 3/187 27829
/proc/meminfo: memFree=17028548/32770624 swapFree=67108860/67108860
[pid=27685] ppid=27682 vsize=2995072 memory=2970004 CPUtime=2442.08 cores=1,3,5,7
/proc/27685/stat : 27685 (nacre_mini_rele) R 27682 27685 26996 0 -1 4202496 2958084 0 0 0 243864 344 0 0 20 0 1 0 95602462 3066953728 742501 33554432000 4194304 4933779 140737265819536 140737265817288 4392100 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39124992 140737265820824 140737265820924 140737265820924 140737265823682 0
/proc/27685/statm: 748768 742501 613 181 0 742385 0
Current children cumulated CPU time: 2442.08 s
Current children cumulated vsize: 2995072 KiB
Current children cumulated memory: 2970004 KiB

[startup+2502.3 s]
/proc/loadavg: 2.03 2.08 2.02 3/188 27853
/proc/meminfo: memFree=16950856/32770624 swapFree=67108860/67108860
[pid=27685] ppid=27682 vsize=3017860 memory=2992944 CPUtime=2502.07 cores=1,3,5,7
/proc/27685/stat : 27685 (nacre_mini_rele) R 27682 27685 26996 0 -1 4202496 2981297 0 0 0 249860 347 0 0 20 0 1 0 95602462 3090288640 748236 33554432000 4194304 4933779 140737265819536 140737265817224 4437558 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39124992 140737265820824 140737265820924 140737265820924 140737265823682 0
/proc/27685/statm: 754465 748236 613 181 0 748082 0
Current children cumulated CPU time: 2502.07 s
Current children cumulated vsize: 3017860 KiB
Current children cumulated memory: 2992944 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.02 2.07 2.02 3/188 27854
/proc/meminfo: memFree=16934928/32770624 swapFree=67108860/67108860
[pid=27685] ppid=27682 vsize=3023644 memory=2998880 CPUtime=2519.78 cores=1,3,5,7
/proc/27685/stat : 27685 (nacre_mini_rele) R 27682 27685 26996 0 -1 4202496 2992730 0 0 0 251629 349 0 0 20 0 1 0 95602462 3096211456 749720 33554432000 4194304 4933779 140737265819536 140737265817224 4391982 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39124992 140737265820824 140737265820924 140737265820924 140737265823682 0
/proc/27685/statm: 755911 749720 613 181 0 749528 0
Current children cumulated CPU time: 2519.78 s
Current children cumulated vsize: 3023644 KiB
Current children cumulated memory: 2998880 KiB

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

[startup+2520.04 s]
# the end of solver process 27685 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.3 s, system=3.51598 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.82
CPU user time (s): 2516.3
CPU system time (s): 3.51598
CPU usage (%): 99.9914
Max. virtual memory (cumulated for all children) (KiB): 3023644
Max. memory (cumulated for all children) (KiB): 2998880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.3
system time used= 3.51598
maximum resident set size= 2998936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2992773
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= 331
involuntary context switches= 2289


# summary of solver processes directly reported to runsolver:
#   pid: 27685
#   total CPU time (s): 2519.82
#   total CPU user time (s): 2516.3
#   total CPU system time (s): 3.51598

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1019 second user time and 18.5966 second system time

The end

Launcher Data 

Begin job on node103 at 2018-07-28 14:19:53
IDJOB=4298823
IDBENCH=141238
IDSOLVER=2764
FILE ID=node103/4298823-1532780393
RUNJOBID= node103-1532775163-27028
PBS_JOBID= 21022463
Free space on /tmp= 56536 MiB

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

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

MD5SUM BENCH= f09386fa05f6191f12fed212ce37b406
RANDOM SEED=35666324

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:        19596820 kB
MemAvailable:   31294156 kB
Buffers:          302268 kB
Cached:         11579144 kB
SwapCached:            0 kB
Active:          4550316 kB
Inactive:        8020664 kB
Active(anon):     692384 kB
Inactive(anon):    25184 kB
Active(file):    3857932 kB
Inactive(file):  7995480 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1948 kB
Writeback:             0 kB
AnonPages:        696624 kB
Mapped:            44592 kB
Shmem:             25228 kB
Slab:             300244 kB
SReclaimable:     272384 kB
SUnreclaim:        27860 kB
KernelStack:        3360 kB
PageTables:         6456 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     988912 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    194560 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 15:01:53