Trace number 4299333

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.73 2520.01

General information on the benchmark

NameLangford/
LangfordBin-13_c18.xml
MD5SUMaf26c9d63c7c51246c3bfb55117cf2b4
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.615449
Satisfiable
(Un)Satisfiability was proved
Number of variables52
Number of constraints39
Number of domains2
Minimum domain size13
Maximum domain size26
Distribution of domain sizes[{"size":13,"count":26},{"size":26,"count":26}]
Minimum variable degree2
Maximum variable degree26
Distribution of variable degrees[{"degree":2,"count":26},{"degree":26,"count":26}]
Minimum constraint arity2
Maximum constraint arity27
Distribution of constraint arities[{"arity":2,"count":13},{"arity":27,"count":26}]
Number of extensional constraints0
Number of intensional constraints13
Distribution of constraint types[{"type":"intension","count":13},{"type":"element","count":26}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c NACRE 1.0.4
2519.72/2520.01	c
2519.72/2520.01	c # time = 2519.72
2519.72/2520.01	c # Dec = 15299254
2519.72/2520.01	c # Propagate Calls = 1604041894
2519.72/2520.01	c # assignAt Calls = 108832783
2519.72/2520.01	c # removeAt Calls = 724562826
2519.72/2520.01	c # Run = 22525
2519.72/2520.01	c # Conflicts = 15052541
2519.72/2520.01	c # Memory used = 410.584 Mb
2519.72/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 (10676 MiB free)
  memory of node 1: 16384 MiB (12424 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299333-1532784922/watcher-4299333-1532784922 -o /tmp/evaluation-result-4299333-1532784922/solver-4299333-1532784922 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532774055-27429 --watchdog 2580 nacre_mini_release HOME/instance-4299333-1532784922.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=28838, runsolver pid=28835

[startup+0.100197 s]*
/proc/loadavg: 2.08 2.03 2.05 3/187 28839
/proc/meminfo: memFree=23653200/32770624 swapFree=67108860/67108860
[pid=28838] ppid=28835 vsize=27560 memory=4180 CPUtime=0.1 cores=0,2,4,6
/proc/28838/stat : 28838 (nacre_mini_rele) R 28835 28838 27398 0 -1 4202496 1245 0 0 0 10 0 0 0 20 0 1 0 96055410 28221440 1045 33554432000 4194304 4933779 140722721504240 140722721501240 4447751 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 19521536 140722721506456 140722721506556 140722721506556 140722721509314 0
/proc/28838/statm: 6890 1045 610 181 0 507 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27560 KiB
Current children cumulated memory: 4180 KiB

[startup+0.2095 s]*
/proc/loadavg: 2.08 2.03 2.05 3/187 28839
/proc/meminfo: memFree=23652208/32770624 swapFree=67108860/67108860
[pid=28838] ppid=28835 vsize=28744 memory=5360 CPUtime=0.21 cores=0,2,4,6
/proc/28838/stat : 28838 (nacre_mini_rele) R 28835 28838 27398 0 -1 4202496 1536 0 0 0 21 0 0 0 20 0 1 0 96055410 29433856 1340 33554432000 4194304 4933779 140722721504240 140722721501240 139801215196133 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 19521536 140722721506456 140722721506556 140722721506556 140722721509314 0
/proc/28838/statm: 7186 1340 610 181 0 803 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28744 KiB
Current children cumulated memory: 5360 KiB

[startup+0.309008 s]*
/proc/loadavg: 2.08 2.03 2.05 3/187 28839
/proc/meminfo: memFree=23651092/32770624 swapFree=67108860/67108860
[pid=28838] ppid=28835 vsize=29696 memory=6412 CPUtime=0.31 cores=0,2,4,6
/proc/28838/stat : 28838 (nacre_mini_rele) R 28835 28838 27398 0 -1 4202496 1793 0 0 0 31 0 0 0 20 0 1 0 96055410 30408704 1603 33554432000 4194304 4933779 140722721504240 140722721501240 139801215196133 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 19521536 140722721506456 140722721506556 140722721506556 140722721509314 0
/proc/28838/statm: 7424 1603 610 181 0 1041 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 29696 KiB
Current children cumulated memory: 6412 KiB

[startup+0.700322 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 28839
/proc/meminfo: memFree=23648860/32770624 swapFree=67108860/67108860
[pid=28838] ppid=28835 vsize=33592 memory=10352 CPUtime=0.69 cores=0,2,4,6
/proc/28838/stat : 28838 (nacre_mini_rele) R 28835 28838 27398 0 -1 4202496 2752 0 0 0 69 0 0 0 20 0 1 0 96055410 34398208 2588 33554432000 4194304 4933779 140722721504240 140722721501240 139801215193854 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 19521536 140722721506456 140722721506556 140722721506556 140722721509314 0
/proc/28838/statm: 8398 2588 610 181 0 2015 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33592 KiB
Current children cumulated memory: 10352 KiB

[startup+1.50032 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 28839
/proc/meminfo: memFree=23643928/32770624 swapFree=67108860/67108860
[pid=28838] ppid=28835 vsize=41308 memory=17840 CPUtime=1.49 cores=0,2,4,6
/proc/28838/stat : 28838 (nacre_mini_rele) R 28835 28838 27398 0 -1 4202496 4683 0 0 0 148 1 0 0 20 0 1 0 96055410 42299392 4460 33554432000 4194304 4933779 140722721504240 140722721501240 4437400 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 19521536 140722721506456 140722721506556 140722721506556 140722721509314 0
/proc/28838/statm: 10327 4460 610 181 0 3944 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 41308 KiB
Current children cumulated memory: 17840 KiB

[startup+3.1097 s]
/proc/loadavg: 2.07 2.03 2.05 4/187 28839
/proc/meminfo: memFree=23633916/32770624 swapFree=67108860/67108860
[pid=28838] ppid=28835 vsize=47188 memory=23744 CPUtime=3.1 cores=0,2,4,6
/proc/28838/stat : 28838 (nacre_mini_rele) R 28835 28838 27398 0 -1 4202496 10761 0 0 0 309 1 0 0 20 0 1 0 96055410 48320512 5936 33554432000 4194304 4933779 140722721504240 140722721501992 139801215196133 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 19521536 140722721506456 140722721506556 140722721506556 140722721509314 0
/proc/28838/statm: 11797 5936 610 181 0 5414 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 47188 KiB
Current children cumulated memory: 23744 KiB

[startup+6.30033 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 28839
/proc/meminfo: memFree=23626724/32770624 swapFree=67108860/67108860
[pid=28838] ppid=28835 vsize=53508 memory=29564 CPUtime=6.29 cores=0,2,4,6
/proc/28838/stat : 28838 (nacre_mini_rele) R 28835 28838 27398 0 -1 4202496 18006 0 0 0 628 1 0 0 20 0 1 0 96055410 54792192 7391 33554432000 4194304 4933779 140722721504240 140722721501992 4437538 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 19521536 140722721506456 140722721506556 140722721506556 140722721509314 0
/proc/28838/statm: 13377 7391 610 181 0 6994 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 53508 KiB
Current children cumulated memory: 29564 KiB

[startup+12.7003 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 28839
/proc/meminfo: memFree=23617892/32770624 swapFree=67108860/67108860
[pid=28838] ppid=28835 vsize=62084 memory=38348 CPUtime=12.69 cores=0,2,4,6
/proc/28838/stat : 28838 (nacre_mini_rele) R 28835 28838 27398 0 -1 4202496 27416 0 0 0 1267 2 0 0 20 0 1 0 96055410 63574016 9587 33554432000 4194304 4933779 140722721504240 140722721501928 139801221490794 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 19521536 140722721506456 140722721506556 140722721506556 140722721509314 0
/proc/28838/statm: 15521 9587 610 181 0 9138 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 62084 KiB
Current children cumulated memory: 38348 KiB

[startup+25.5004 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 28839
/proc/meminfo: memFree=23605372/32770624 swapFree=67108860/67108860
[pid=28838] ppid=28835 vsize=72660 memory=48756 CPUtime=25.49 cores=0,2,4,6
/proc/28838/stat : 28838 (nacre_mini_rele) R 28835 28838 27398 0 -1 4202496 49626 0 0 0 2546 3 0 0 20 0 1 0 96055410 74403840 12189 33554432000 4194304 4933779 140722721504240 140722721501944 4437800 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 19521536 140722721506456 140722721506556 140722721506556 140722721509314 0
/proc/28838/statm: 18165 12189 610 181 0 11782 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 72660 KiB
Current children cumulated memory: 48756 KiB

[startup+51.1096 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 28839
/proc/meminfo: memFree=23580116/32770624 swapFree=67108860/67108860
[pid=28838] ppid=28835 vsize=93764 memory=68632 CPUtime=51.1 cores=0,2,4,6
/proc/28838/stat : 28838 (nacre_mini_rele) R 28835 28838 27398 0 -1 4202496 68993 0 0 0 5105 5 0 0 20 0 1 0 96055410 96014336 17158 33554432000 4194304 4933779 140722721504240 140722721501928 4437389 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 19521536 140722721506456 140722721506556 140722721506556 140722721509314 0
/proc/28838/statm: 23441 17158 610 181 0 17058 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 93764 KiB
Current children cumulated memory: 68632 KiB

[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 28840
/proc/meminfo: memFree=23545288/32770624 swapFree=67108860/67108860
[pid=28838] ppid=28835 vsize=119912 memory=94304 CPUtime=102.28 cores=0,2,4,6
/proc/28838/stat : 28838 (nacre_mini_rele) R 28835 28838 27398 0 -1 4202496 93775 0 0 0 10222 6 0 0 20 0 1 0 96055410 122789888 23576 33554432000 4194304 4933779 140722721504240 140722721501944 139801215206275 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 19521536 140722721506456 140722721506556 140722721506556 140722721509314 0
/proc/28838/statm: 29978 23576 610 181 0 23595 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 119912 KiB
Current children cumulated memory: 94304 KiB

[startup+162.3 s]
/proc/loadavg: 2.09 2.03 2.05 3/186 28841
/proc/meminfo: memFree=23517220/32770624 swapFree=67108860/67108860
[pid=28838] ppid=28835 vsize=135668 memory=110396 CPUtime=162.27 cores=0,2,4,6
/proc/28838/stat : 28838 (nacre_mini_rele) R 28835 28838 27398 0 -1 4202496 122171 0 0 0 16218 9 0 0 20 0 1 0 96055410 138924032 27599 33554432000 4194304 4933779 140722721504240 140722721501944 4437547 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 19521536 140722721506456 140722721506556 140722721506556 140722721509314 0
/proc/28838/statm: 33917 27599 610 181 0 27534 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 135668 KiB
Current children cumulated memory: 110396 KiB

[startup+222.3 s]
/proc/loadavg: 2.59 2.18 2.10 3/187 28843
/proc/meminfo: memFree=23488360/32770624 swapFree=67108860/67108860
[pid=28838] ppid=28835 vsize=159764 memory=134124 CPUtime=222.23 cores=0,2,4,6
/proc/28838/stat : 28838 (nacre_mini_rele) R 28835 28838 27398 0 -1 4202496 145500 0 0 0 22212 11 0 0 20 0 1 0 96055410 163598336 33531 33554432000 4194304 4933779 140722721504240 140722721501928 4437839 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 19521536 140722721506456 140722721506556 140722721506556 140722721509314 0
/proc/28838/statm: 39941 33531 610 181 0 33558 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 159764 KiB
Current children cumulated memory: 134124 KiB

[startup+282.3 s]
/proc/loadavg: 2.22 2.15 2.09 3/188 28852
/proc/meminfo: memFree=23461640/32770624 swapFree=67108860/67108860
[pid=28838] ppid=28835 vsize=174348 memory=150080 CPUtime=282.21 cores=0,2,4,6
/proc/28838/stat : 28838 (nacre_mini_rele) R 28835 28838 27398 0 -1 4202496 150920 0 0 0 28209 12 0 0 20 0 1 0 96055410 178532352 37520 33554432000 4194304 4933779 140722721504240 140722721501944 4475895 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 19521536 140722721506456 140722721506556 140722721506556 140722721509314 0
/proc/28838/statm: 43587 37520 610 181 0 37204 0
Current children cumulated CPU time: 282.21 s
Current children cumulated vsize: 174348 KiB
Current children cumulated memory: 150080 KiB

[startup+342.3 s]
/proc/loadavg: 2.08 2.12 2.09 3/188 28853
/proc/meminfo: memFree=23444676/32770624 swapFree=67108860/67108860
[pid=28838] ppid=28835 vsize=187148 memory=162016 CPUtime=342.21 cores=0,2,4,6
/proc/28838/stat : 28838 (nacre_mini_rele) R 28835 28838 27398 0 -1 4202496 159740 0 0 0 34207 14 0 0 20 0 1 0 96055410 191639552 40504 33554432000 4194304 4933779 140722721504240 140722721501928 4437393 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 19521536 140722721506456 140722721506556 140722721506556 140722721509314 0
/proc/28838/statm: 46787 40504 610 181 0 40404 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 187148 KiB
Current children cumulated memory: 162016 KiB

[startup+402.3 s]
/proc/loadavg: 2.03 2.10 2.08 3/188 28854
/proc/meminfo: memFree=23430044/32770624 swapFree=67108860/67108860
[pid=28838] ppid=28835 vsize=198484 memory=172488 CPUtime=402.21 cores=0,2,4,6
/proc/28838/stat : 28838 (nacre_mini_rele) R 28835 28838 27398 0 -1 4202496 170319 0 0 0 40206 15 0 0 20 0 1 0 96055410 203247616 43122 33554432000 4194304 4933779 140722721504240 140722721501992 139801215188763 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 19521536 140722721506456 140722721506556 140722721506556 140722721509314 0
/proc/28838/statm: 49621 43122 610 181 0 43238 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 198484 KiB
Current children cumulated memory: 172488 KiB

[startup+462.3 s]
/proc/loadavg: 2.01 2.08 2.08 3/188 28855
/proc/meminfo: memFree=23415836/32770624 swapFree=67108860/67108860
[pid=28838] ppid=28835 vsize=211376 memory=185528 CPUtime=462.21 cores=0,2,4,6
/proc/28838/stat : 28838 (nacre_mini_rele) R 28835 28838 27398 0 -1 4202496 183890 0 0 0 46204 17 0 0 20 0 1 0 96055410 216449024 46382 33554432000 4194304 4933779 140722721504240 140722721501944 4437393 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 19521536 140722721506456 140722721506556 140722721506556 140722721509314 0
/proc/28838/statm: 52844 46382 610 181 0 46461 0
Current children cumulated CPU time: 462.21 s
Current children cumulated vsize: 211376 KiB
Current children cumulated memory: 185528 KiB


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

/proc/28838/statm: 94873 88609 610 181 0 88490 0
Current children cumulated CPU time: 1722.07 s
Current children cumulated vsize: 379492 KiB
Current children cumulated memory: 354436 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28976
/proc/meminfo: memFree=23448980/32770624 swapFree=67108860/67108860
[pid=28838] ppid=28835 vsize=383004 memory=357804 CPUtime=1782.07 cores=0,2,4,6
/proc/28838/stat : 28838 (nacre_mini_rele) R 28835 28838 27398 0 -1 4202496 378435 0 0 0 178167 40 0 0 20 0 1 0 96055410 392196096 89451 33554432000 4194304 4933779 140722721504240 140722721501928 4437547 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 19521536 140722721506456 140722721506556 140722721506556 140722721509314 0
/proc/28838/statm: 95751 89451 610 181 0 89368 0
Current children cumulated CPU time: 1782.07 s
Current children cumulated vsize: 383004 KiB
Current children cumulated memory: 357804 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28977
/proc/meminfo: memFree=23433532/32770624 swapFree=67108860/67108860
[pid=28838] ppid=28835 vsize=384784 memory=359568 CPUtime=1842.06 cores=0,2,4,6
/proc/28838/stat : 28838 (nacre_mini_rele) R 28835 28838 27398 0 -1 4202496 386163 0 0 0 184166 40 0 0 20 0 1 0 96055410 394018816 89892 33554432000 4194304 4933779 140722721504240 140722721501928 139801215193854 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 19521536 140722721506456 140722721506556 140722721506556 140722721509314 0
/proc/28838/statm: 96196 89892 610 181 0 89813 0
Current children cumulated CPU time: 1842.06 s
Current children cumulated vsize: 384784 KiB
Current children cumulated memory: 359568 KiB

[startup+1902.3 s]
/proc/loadavg: 2.56 2.17 2.09 3/187 28978
/proc/meminfo: memFree=23422744/32770624 swapFree=67108860/67108860
[pid=28838] ppid=28835 vsize=387020 memory=361824 CPUtime=1902.07 cores=0,2,4,6
/proc/28838/stat : 28838 (nacre_mini_rele) R 28835 28838 27398 0 -1 4202496 394274 0 0 0 190166 41 0 0 20 0 1 0 96055410 396308480 90456 33554432000 4194304 4933779 140722721504240 140722721501928 139801215193854 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 19521536 140722721506456 140722721506556 140722721506556 140722721509314 0
/proc/28838/statm: 96755 90456 610 181 0 90372 0
Current children cumulated CPU time: 1902.07 s
Current children cumulated vsize: 387020 KiB
Current children cumulated memory: 361824 KiB

[startup+1962.3 s]
/proc/loadavg: 2.13 2.12 2.08 3/187 28979
/proc/meminfo: memFree=23403156/32770624 swapFree=67108860/67108860
[pid=28838] ppid=28835 vsize=392176 memory=367980 CPUtime=1962.05 cores=0,2,4,6
/proc/28838/stat : 28838 (nacre_mini_rele) R 28835 28838 27398 0 -1 4202496 398910 0 0 0 196163 42 0 0 20 0 1 0 96055410 401588224 91995 33554432000 4194304 4933779 140722721504240 140722721501928 4357274 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 19521536 140722721506456 140722721506556 140722721506556 140722721509314 0
/proc/28838/statm: 98044 91995 610 181 0 91661 0
Current children cumulated CPU time: 1962.05 s
Current children cumulated vsize: 392176 KiB
Current children cumulated memory: 367980 KiB

[startup+2022.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/187 28980
/proc/meminfo: memFree=23384772/32770624 swapFree=67108860/67108860
[pid=28838] ppid=28835 vsize=400656 memory=376636 CPUtime=2022.05 cores=0,2,4,6
/proc/28838/stat : 28838 (nacre_mini_rele) R 28835 28838 27398 0 -1 4202496 404129 0 0 0 202163 42 0 0 20 0 1 0 96055410 410271744 94159 33554432000 4194304 4933779 140722721504240 140722721501928 4212032 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 19521536 140722721506456 140722721506556 140722721506556 140722721509314 0
/proc/28838/statm: 100164 94159 610 181 0 93781 0
Current children cumulated CPU time: 2022.05 s
Current children cumulated vsize: 400656 KiB
Current children cumulated memory: 376636 KiB

[startup+2082.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/188 28989
/proc/meminfo: memFree=23372388/32770624 swapFree=67108860/67108860
[pid=28838] ppid=28835 vsize=406968 memory=382512 CPUtime=2082.04 cores=0,2,4,6
/proc/28838/stat : 28838 (nacre_mini_rele) R 28835 28838 27398 0 -1 4202496 410128 0 0 0 208162 42 0 0 20 0 1 0 96055410 416735232 95628 33554432000 4194304 4933779 140722721504240 140722721501944 4437581 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 19521536 140722721506456 140722721506556 140722721506556 140722721509314 0
/proc/28838/statm: 101742 95628 610 181 0 95359 0
Current children cumulated CPU time: 2082.04 s
Current children cumulated vsize: 406968 KiB
Current children cumulated memory: 382512 KiB

[startup+2142.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/188 28990
/proc/meminfo: memFree=23358532/32770624 swapFree=67108860/67108860
[pid=28838] ppid=28835 vsize=415848 memory=391032 CPUtime=2142.04 cores=0,2,4,6
/proc/28838/stat : 28838 (nacre_mini_rele) R 28835 28838 27398 0 -1 4202496 418861 0 0 0 214161 43 0 0 20 0 1 0 96055410 425828352 97758 33554432000 4194304 4933779 140722721504240 140722721501928 139801215939998 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 19521536 140722721506456 140722721506556 140722721506556 140722721509314 0
/proc/28838/statm: 103962 97758 610 181 0 97579 0
Current children cumulated CPU time: 2142.04 s
Current children cumulated vsize: 415848 KiB
Current children cumulated memory: 391032 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/188 28991
/proc/meminfo: memFree=23351704/32770624 swapFree=67108860/67108860
[pid=28838] ppid=28835 vsize=420340 memory=395036 CPUtime=2202.04 cores=0,2,4,6
/proc/28838/stat : 28838 (nacre_mini_rele) R 28835 28838 27398 0 -1 4202496 427202 0 0 0 220160 44 0 0 20 0 1 0 96055410 430428160 98759 33554432000 4194304 4933779 140722721504240 140722721501944 4437517 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 19521536 140722721506456 140722721506556 140722721506556 140722721509314 0
/proc/28838/statm: 105085 98759 610 181 0 98702 0
Current children cumulated CPU time: 2202.04 s
Current children cumulated vsize: 420340 KiB
Current children cumulated memory: 395036 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 28992
/proc/meminfo: memFree=23343504/32770624 swapFree=67108860/67108860
[pid=28838] ppid=28835 vsize=425360 memory=399944 CPUtime=2262.04 cores=0,2,4,6
/proc/28838/stat : 28838 (nacre_mini_rele) R 28835 28838 27398 0 -1 4202496 437023 0 0 0 226159 45 0 0 20 0 1 0 96055410 435568640 99986 33554432000 4194304 4933779 140722721504240 140722721501752 139801221387491 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 19521536 140722721506456 140722721506556 140722721506556 140722721509314 0
/proc/28838/statm: 106340 99986 610 181 0 99957 0
Current children cumulated CPU time: 2262.04 s
Current children cumulated vsize: 425360 KiB
Current children cumulated memory: 399944 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 28993
/proc/meminfo: memFree=23335540/32770624 swapFree=67108860/67108860
[pid=28838] ppid=28835 vsize=429104 memory=404300 CPUtime=2322.03 cores=0,2,4,6
/proc/28838/stat : 28838 (nacre_mini_rele) R 28835 28838 27398 0 -1 4202496 446712 0 0 0 232157 46 0 0 20 0 1 0 96055410 439402496 101075 33554432000 4194304 4933779 140722721504240 140722721501928 4437572 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 19521536 140722721506456 140722721506556 140722721506556 140722721509314 0
/proc/28838/statm: 107276 101075 610 181 0 100893 0
Current children cumulated CPU time: 2322.03 s
Current children cumulated vsize: 429104 KiB
Current children cumulated memory: 404300 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 28994
/proc/meminfo: memFree=23329552/32770624 swapFree=67108860/67108860
[pid=28838] ppid=28835 vsize=430384 memory=406344 CPUtime=2382.02 cores=0,2,4,6
/proc/28838/stat : 28838 (nacre_mini_rele) R 28835 28838 27398 0 -1 4202496 448267 0 0 0 238156 46 0 0 20 0 1 0 96055410 440713216 101586 33554432000 4194304 4933779 140722721504240 140722721501928 4437400 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 19521536 140722721506456 140722721506556 140722721506556 140722721509314 0
/proc/28838/statm: 107596 101586 610 181 0 101213 0
Current children cumulated CPU time: 2382.02 s
Current children cumulated vsize: 430384 KiB
Current children cumulated memory: 406344 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 28995
/proc/meminfo: memFree=23325036/32770624 swapFree=67108860/67108860
[pid=28838] ppid=28835 vsize=432464 memory=408424 CPUtime=2442.01 cores=0,2,4,6
/proc/28838/stat : 28838 (nacre_mini_rele) R 28835 28838 27398 0 -1 4202496 450153 0 0 0 244155 46 0 0 20 0 1 0 96055410 442843136 102106 33554432000 4194304 4933779 140722721504240 140722721501928 4437389 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 19521536 140722721506456 140722721506556 140722721506556 140722721509314 0
/proc/28838/statm: 108116 102106 610 181 0 101733 0
Current children cumulated CPU time: 2442.01 s
Current children cumulated vsize: 432464 KiB
Current children cumulated memory: 408424 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 28996
/proc/meminfo: memFree=23317832/32770624 swapFree=67108860/67108860
[pid=28838] ppid=28835 vsize=434052 memory=409792 CPUtime=2502.01 cores=0,2,4,6
/proc/28838/stat : 28838 (nacre_mini_rele) R 28835 28838 27398 0 -1 4202496 452230 0 0 0 250155 46 0 0 20 0 1 0 96055410 444469248 102448 33554432000 4194304 4933779 140722721504240 140722721501928 4437581 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 19521536 140722721506456 140722721506556 140722721506556 140722721509314 0
/proc/28838/statm: 108513 102448 610 181 0 102130 0
Current children cumulated CPU time: 2502.01 s
Current children cumulated vsize: 434052 KiB
Current children cumulated memory: 409792 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.02 2.05 3/187 28997
/proc/meminfo: memFree=23315692/32770624 swapFree=67108860/67108860
[pid=28838] ppid=28835 vsize=434612 memory=410584 CPUtime=2519.72 cores=0,2,4,6
/proc/28838/stat : 28838 (nacre_mini_rele) R 28835 28838 27398 0 -1 4202496 452976 0 0 0 251926 46 0 0 20 0 1 0 96055410 445042688 102646 33554432000 4194304 4933779 140722721504240 140722721501928 4437581 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 19521536 140722721506456 140722721506556 140722721506556 140722721509314 0
/proc/28838/statm: 108653 102646 610 181 0 102270 0
Current children cumulated CPU time: 2519.72 s
Current children cumulated vsize: 434612 KiB
Current children cumulated memory: 410584 KiB

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

[startup+2520.01 s]
# the end of solver process 28838 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.26 s, system=0.469983 s

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

Child status: 0
Real time (s): 2520.01
CPU time (s): 2519.73
CPU user time (s): 2519.26
CPU system time (s): 0.469983
CPU usage (%): 99.9889
Max. virtual memory (cumulated for all children) (KiB): 434612
Max. memory (cumulated for all children) (KiB): 410584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.26
system time used= 0.469983
maximum resident set size= 410660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 453018
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= 199
involuntary context switches= 1689


# summary of solver processes directly reported to runsolver:
#   pid: 28838
#   total CPU time (s): 2519.73
#   total CPU user time (s): 2519.26
#   total CPU system time (s): 0.469983

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.8178 second user time and 18.5568 second system time

The end

Launcher Data 

Begin job on node139 at 2018-07-28 15:35:22
IDJOB=4299333
IDBENCH=141347
IDSOLVER=2764
FILE ID=node139/4299333-1532784922
RUNJOBID= node139-1532774055-27429
PBS_JOBID= 21022456
Free space on /tmp= 38716 MiB

SOLVER NAME= NACRE 1.0.4
BENCH NAME= XCSP18/Langford/LangfordBin-13_c18.xml
COMMAND LINE= nacre_mini_release BENCHNAME -ca -l100 -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4299333-1532784922/watcher-4299333-1532784922 -o /tmp/evaluation-result-4299333-1532784922/solver-4299333-1532784922 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532774055-27429 --watchdog 2580  nacre_mini_release HOME/instance-4299333-1532784922.xml -ca -l100 -cm

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

MD5SUM BENCH= af26c9d63c7c51246c3bfb55117cf2b4
RANDOM SEED=1372893245

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:        23655324 kB
MemAvailable:   31702908 kB
Buffers:          236604 kB
Cached:          7910200 kB
SwapCached:            0 kB
Active:          3300436 kB
Inactive:        5126584 kB
Active(anon):     234488 kB
Inactive(anon):    73552 kB
Active(file):    3065948 kB
Inactive(file):  5053032 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:               892 kB
Writeback:             0 kB
AnonPages:        286360 kB
Mapped:            44328 kB
Shmem:             25228 kB
Slab:             385832 kB
SReclaimable:     357064 kB
SUnreclaim:        28768 kB
KernelStack:        3344 kB
PageTables:         5504 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     580980 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    215040 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 16:17:23