Trace number 4300140

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

General information on the benchmark

NameMagicHexagon/
MagicHexagon-06-m001_c18.xml
MD5SUM6b753b1e1a3070adcb3424354b76057b
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark810.179
Satisfiable
(Un)Satisfiability was proved
Number of variables121
Number of constraints40
Number of domains1
Minimum domain size91
Maximum domain size91
Distribution of domain sizes[{"size":91,"count":91}]
Minimum variable degree0
Maximum variable degree9
Distribution of variable degrees[{"degree":0,"count":30},{"degree":4,"count":85},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}]
Minimum constraint arity2
Maximum constraint arity91
Distribution of constraint arities[{"arity":2,"count":6},{"arity":6,"count":6},{"arity":7,"count":6},{"arity":8,"count":6},{"arity":9,"count":6},{"arity":10,"count":6},{"arity":11,"count":3},{"arity":91,"count":1}]
Number of extensional constraints0
Number of intensional constraints6
Distribution of constraint types[{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":33}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c NACRE 1.0.4
2519.55/2520.01	c
2519.55/2520.01	c # time = 2519.55
2519.55/2520.01	c # Dec = 3183278
2519.55/2520.01	c # Propagate Calls = 15817352320
2519.55/2520.01	c # assignAt Calls = 3745817
2519.55/2520.01	c # removeAt Calls = 4082304470
2519.55/2520.01	c # Run = 5373
2519.55/2520.01	c # Conflicts = 3063208
2519.55/2520.01	c # Memory used = 2076.2 Mb
2519.55/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 (10674 MiB free)
  memory of node 1: 16384 MiB (12030 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300140-1532795176/watcher-4300140-1532795176 -o /tmp/evaluation-result-4300140-1532795176/solver-4300140-1532795176 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532774055-27429 --watchdog 2580 nacre_mini_release HOME/instance-4300140-1532795176.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
solver pid=29975, runsolver pid=29972
Current StackSize limit: 8192 KiB


[startup+0.1002 s]*
/proc/loadavg: 2.06 2.04 2.05 3/187 29976
/proc/meminfo: memFree=23246572/32770624 swapFree=67108860/67108860
[pid=29975] ppid=29972 vsize=29780 memory=6228 CPUtime=0.1 cores=0,2,4,6
/proc/29975/stat : 29975 (nacre_mini_rele) R 29972 29975 27398 0 -1 4202496 1847 0 0 0 10 0 0 0 20 0 1 0 97080785 30494720 1557 33554432000 4194304 4933779 140725159081728 140725159078728 4475780 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 21254144 140725159089304 140725159089404 140725159089404 140725159092162 0
/proc/29975/statm: 7445 1557 619 181 0 1062 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29780 KiB
Current children cumulated memory: 6228 KiB

[startup+0.209819 s]*
/proc/loadavg: 2.06 2.04 2.05 3/187 29976
/proc/meminfo: memFree=23244712/32770624 swapFree=67108860/67108860
[pid=29975] ppid=29972 vsize=31992 memory=8340 CPUtime=0.21 cores=0,2,4,6
/proc/29975/stat : 29975 (nacre_mini_rele) R 29972 29975 27398 0 -1 4202496 2383 0 0 0 21 0 0 0 20 0 1 0 97080785 32759808 2085 33554432000 4194304 4933779 140725159081728 140725159078728 140521923045755 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 21254144 140725159089304 140725159089404 140725159089404 140725159092162 0
/proc/29975/statm: 7998 2085 619 181 0 1615 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31992 KiB
Current children cumulated memory: 8340 KiB

[startup+0.309287 s]*
/proc/loadavg: 2.06 2.04 2.05 3/187 29976
/proc/meminfo: memFree=23240372/32770624 swapFree=67108860/67108860
[pid=29975] ppid=29972 vsize=36772 memory=13092 CPUtime=0.31 cores=0,2,4,6
/proc/29975/stat : 29975 (nacre_mini_rele) R 29972 29975 27398 0 -1 4202496 3569 0 0 0 31 0 0 0 20 0 1 0 97080785 37654528 3273 33554432000 4194304 4933779 140725159081728 140725159079480 140521923045755 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 21254144 140725159089304 140725159089404 140725159089404 140725159092162 0
/proc/29975/statm: 9193 3273 619 181 0 2810 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 36772 KiB
Current children cumulated memory: 13092 KiB

[startup+0.700366 s]
/proc/loadavg: 2.06 2.04 2.05 3/187 29976
/proc/meminfo: memFree=23237520/32770624 swapFree=67108860/67108860
[pid=29975] ppid=29972 vsize=42880 memory=19164 CPUtime=0.69 cores=0,2,4,6
/proc/29975/stat : 29975 (nacre_mini_rele) R 29972 29975 27398 0 -1 4202496 5116 0 0 0 69 0 0 0 20 0 1 0 97080785 43909120 4791 33554432000 4194304 4933779 140725159081728 140725159079480 140521922190309 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 21254144 140725159089304 140725159089404 140725159089404 140725159092162 0
/proc/29975/statm: 10720 4791 619 181 0 4337 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 42880 KiB
Current children cumulated memory: 19164 KiB

[startup+1.50035 s]
/proc/loadavg: 2.06 2.04 2.05 3/187 29976
/proc/meminfo: memFree=23230088/32770624 swapFree=67108860/67108860
[pid=29975] ppid=29972 vsize=50416 memory=26820 CPUtime=1.49 cores=0,2,4,6
/proc/29975/stat : 29975 (nacre_mini_rele) R 29972 29975 27398 0 -1 4202496 6988 0 0 0 148 1 0 0 20 0 1 0 97080785 51625984 6705 33554432000 4194304 4933779 140725159081728 140725159079480 140521922190309 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 21254144 140725159089304 140725159089404 140725159089404 140725159092162 0
/proc/29975/statm: 12604 6705 619 181 0 6221 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 50416 KiB
Current children cumulated memory: 26820 KiB

[startup+3.10959 s]
/proc/loadavg: 2.05 2.04 2.05 3/187 29976
/proc/meminfo: memFree=23201196/32770624 swapFree=67108860/67108860
[pid=29975] ppid=29972 vsize=76044 memory=52232 CPUtime=3.1 cores=0,2,4,6
/proc/29975/stat : 29975 (nacre_mini_rele) R 29972 29975 27398 0 -1 4202496 18546 0 0 0 308 2 0 0 20 0 1 0 97080785 77869056 13058 33554432000 4194304 4933779 140725159081728 140725159079480 140521922190309 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 21254144 140725159089304 140725159089404 140725159089404 140725159092162 0
/proc/29975/statm: 19011 13058 619 181 0 12628 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 76044 KiB
Current children cumulated memory: 52232 KiB

[startup+6.3004 s]
/proc/loadavg: 2.05 2.04 2.05 3/187 29976
/proc/meminfo: memFree=23124308/32770624 swapFree=67108860/67108860
[pid=29975] ppid=29972 vsize=155580 memory=132056 CPUtime=6.29 cores=0,2,4,6
/proc/29975/stat : 29975 (nacre_mini_rele) R 29972 29975 27398 0 -1 4202496 49409 0 0 0 624 5 0 0 20 0 1 0 97080785 159313920 33014 33554432000 4194304 4933779 140725159081728 140725159079416 140521923045803 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 21254144 140725159089304 140725159089404 140725159089404 140725159092162 0
/proc/29975/statm: 38895 33014 619 181 0 32512 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 155580 KiB
Current children cumulated memory: 132056 KiB

[startup+12.7004 s]
/proc/loadavg: 2.04 2.04 2.05 3/187 29976
/proc/meminfo: memFree=23007384/32770624 swapFree=67108860/67108860
[pid=29975] ppid=29972 vsize=265884 memory=241936 CPUtime=12.69 cores=0,2,4,6
/proc/29975/stat : 29975 (nacre_mini_rele) R 29972 29975 27398 0 -1 4202496 106359 0 0 0 1258 11 0 0 20 0 1 0 97080785 272265216 60484 33554432000 4194304 4933779 140725159081728 140725159079480 4393117 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 21254144 140725159089304 140725159089404 140725159089404 140725159092162 0
/proc/29975/statm: 66471 60484 619 181 0 60088 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 265884 KiB
Current children cumulated memory: 241936 KiB

[startup+25.5004 s]
/proc/loadavg: 2.04 2.04 2.05 3/187 29976
/proc/meminfo: memFree=22908928/32770624 swapFree=67108860/67108860
[pid=29975] ppid=29972 vsize=355376 memory=331664 CPUtime=25.49 cores=0,2,4,6
/proc/29975/stat : 29975 (nacre_mini_rele) R 29972 29975 27398 0 -1 4202496 196301 0 0 0 2531 18 0 0 20 0 1 0 97080785 363905024 82916 33554432000 4194304 4933779 140725159081728 140725159079432 140521923045668 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 21254144 140725159089304 140725159089404 140725159089404 140725159092162 0
/proc/29975/statm: 88844 82916 619 181 0 82461 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 355376 KiB
Current children cumulated memory: 331664 KiB

[startup+51.1098 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 29976
/proc/meminfo: memFree=22770420/32770624 swapFree=67108860/67108860
[pid=29975] ppid=29972 vsize=483096 memory=459368 CPUtime=51.1 cores=0,2,4,6
/proc/29975/stat : 29975 (nacre_mini_rele) R 29972 29975 27398 0 -1 4202496 291230 0 0 0 5084 26 0 0 20 0 1 0 97080785 494690304 114842 33554432000 4194304 4933779 140725159081728 140725159079432 4475748 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 21254144 140725159089304 140725159089404 140725159089404 140725159092162 0
/proc/29975/statm: 120774 114842 619 181 0 114391 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 483096 KiB
Current children cumulated memory: 459368 KiB

[startup+102.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 29977
/proc/meminfo: memFree=22602152/32770624 swapFree=67108860/67108860
[pid=29975] ppid=29972 vsize=631932 memory=607144 CPUtime=102.28 cores=0,2,4,6
/proc/29975/stat : 29975 (nacre_mini_rele) R 29972 29975 27398 0 -1 4202496 409937 0 0 0 10190 38 0 0 20 0 1 0 97080785 647098368 151786 33554432000 4194304 4933779 140725159081728 140725159079480 4475930 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 21254144 140725159089304 140725159089404 140725159089404 140725159092162 0
/proc/29975/statm: 157983 151786 619 181 0 151600 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 631932 KiB
Current children cumulated memory: 607144 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 29979
/proc/meminfo: memFree=22455464/32770624 swapFree=67108860/67108860
[pid=29975] ppid=29972 vsize=776964 memory=752456 CPUtime=162.28 cores=0,2,4,6
/proc/29975/stat : 29975 (nacre_mini_rele) R 29972 29975 27398 0 -1 4202496 568615 0 0 0 16176 52 0 0 20 0 1 0 97080785 795611136 188114 33554432000 4194304 4933779 140725159081728 140725159079480 4365268 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 21254144 140725159089304 140725159089404 140725159089404 140725159092162 0
/proc/29975/statm: 194241 188114 619 181 0 187858 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 776964 KiB
Current children cumulated memory: 752456 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 29980
/proc/meminfo: memFree=22388656/32770624 swapFree=67108860/67108860
[pid=29975] ppid=29972 vsize=838380 memory=813980 CPUtime=222.27 cores=0,2,4,6
/proc/29975/stat : 29975 (nacre_mini_rele) R 29972 29975 27398 0 -1 4202496 706988 0 0 0 22165 62 0 0 20 0 1 0 97080785 858501120 203495 33554432000 4194304 4933779 140725159081728 140725159079480 140521923045755 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 21254144 140725159089304 140725159089404 140725159089404 140725159092162 0
/proc/29975/statm: 209595 203495 619 181 0 203212 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 838380 KiB
Current children cumulated memory: 813980 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29989
/proc/meminfo: memFree=22287076/32770624 swapFree=67108860/67108860
[pid=29975] ppid=29972 vsize=919600 memory=895368 CPUtime=282.25 cores=0,2,4,6
/proc/29975/stat : 29975 (nacre_mini_rele) R 29972 29975 27398 0 -1 4202496 813922 0 0 0 28154 71 0 0 20 0 1 0 97080785 941670400 223842 33554432000 4194304 4933779 140725159081728 140725159079432 4388388 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 21254144 140725159089304 140725159089404 140725159089404 140725159092162 0
/proc/29975/statm: 229900 223842 619 181 0 223517 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 919600 KiB
Current children cumulated memory: 895368 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29990
/proc/meminfo: memFree=22236800/32770624 swapFree=67108860/67108860
[pid=29975] ppid=29972 vsize=966568 memory=942164 CPUtime=342.22 cores=0,2,4,6
/proc/29975/stat : 29975 (nacre_mini_rele) R 29972 29975 27398 0 -1 4202496 941448 0 0 0 34142 80 0 0 20 0 1 0 97080785 989765632 235541 33554432000 4194304 4933779 140725159081728 140725159079416 4437393 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 21254144 140725159089304 140725159089404 140725159089404 140725159092162 0
/proc/29975/statm: 241642 235541 619 181 0 235259 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 966568 KiB
Current children cumulated memory: 942164 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29991
/proc/meminfo: memFree=22130368/32770624 swapFree=67108860/67108860
[pid=29975] ppid=29972 vsize=1062584 memory=1038268 CPUtime=402.2 cores=0,2,4,6
/proc/29975/stat : 29975 (nacre_mini_rele) R 29972 29975 27398 0 -1 4202496 1071974 0 0 0 40126 94 0 0 20 0 1 0 97080785 1088086016 259567 33554432000 4194304 4933779 140725159081728 140725159079480 4423397 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 21254144 140725159089304 140725159089404 140725159089404 140725159092162 0
/proc/29975/statm: 265646 259567 619 181 0 259263 0
Current children cumulated CPU time: 402.2 s
Current children cumulated vsize: 1062584 KiB
Current children cumulated memory: 1038268 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29992
/proc/meminfo: memFree=22035276/32770624 swapFree=67108860/67108860
[pid=29975] ppid=29972 vsize=1146148 memory=1121908 CPUtime=462.17 cores=0,2,4,6
/proc/29975/stat : 29975 (nacre_mini_rele) R 29972 29975 27398 0 -1 4202496 1195131 0 0 0 46111 106 0 0 20 0 1 0 97080785 1173655552 280477 33554432000 4194304 4933779 140725159081728 140725159079432 4437393 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 21254144 140725159089304 140725159089404 140725159089404 140725159092162 0
/proc/29975/statm: 286537 280477 619 181 0 280154 0
Current children cumulated CPU time: 462.17 s
Current children cumulated vsize: 1146148 KiB
Current children cumulated memory: 1121908 KiB


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

/proc/29975/statm: 456134 449995 619 181 0 449751 0
Current children cumulated CPU time: 1721.88 s
Current children cumulated vsize: 1824536 KiB
Current children cumulated memory: 1799980 KiB

[startup+1782.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 30090
/proc/meminfo: memFree=21970516/32770624 swapFree=67108860/67108860
[pid=29975] ppid=29972 vsize=1831280 memory=1806784 CPUtime=1781.87 cores=0,2,4,6
/proc/29975/stat : 29975 (nacre_mini_rele) R 29972 29975 27398 0 -1 4202496 2640968 0 0 0 177960 227 0 0 20 0 1 0 97080785 1875230720 451696 33554432000 4194304 4933779 140725159081728 140725159079480 4393121 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 21254144 140725159089304 140725159089404 140725159089404 140725159092162 0
/proc/29975/statm: 457820 451696 619 181 0 451437 0
Current children cumulated CPU time: 1781.87 s
Current children cumulated vsize: 1831280 KiB
Current children cumulated memory: 1806784 KiB

[startup+1842.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 30091
/proc/meminfo: memFree=21945668/32770624 swapFree=67108860/67108860
[pid=29975] ppid=29972 vsize=1843828 memory=1819172 CPUtime=1841.87 cores=0,2,4,6
/proc/29975/stat : 29975 (nacre_mini_rele) R 29972 29975 27398 0 -1 4202496 2707616 0 0 0 183955 232 0 0 20 0 1 0 97080785 1888079872 454793 33554432000 4194304 4933779 140725159081728 140725159079416 4388544 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 21254144 140725159089304 140725159089404 140725159089404 140725159092162 0
/proc/29975/statm: 460957 454793 619 181 0 454574 0
Current children cumulated CPU time: 1841.87 s
Current children cumulated vsize: 1843828 KiB
Current children cumulated memory: 1819172 KiB

[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 30092
/proc/meminfo: memFree=21896812/32770624 swapFree=67108860/67108860
[pid=29975] ppid=29972 vsize=1883700 memory=1859008 CPUtime=1901.87 cores=0,2,4,6
/proc/29975/stat : 29975 (nacre_mini_rele) R 29972 29975 27398 0 -1 4202496 2785984 0 0 0 189949 238 0 0 20 0 1 0 97080785 1928908800 464752 33554432000 4194304 4933779 140725159081728 140725159079432 140521923045771 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 21254144 140725159089304 140725159089404 140725159089404 140725159092162 0
/proc/29975/statm: 470925 464752 619 181 0 464542 0
Current children cumulated CPU time: 1901.87 s
Current children cumulated vsize: 1883700 KiB
Current children cumulated memory: 1859008 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 30094
/proc/meminfo: memFree=21838544/32770624 swapFree=67108860/67108860
[pid=29975] ppid=29972 vsize=1932572 memory=1907720 CPUtime=1961.86 cores=0,2,4,6
/proc/29975/stat : 29975 (nacre_mini_rele) R 29972 29975 27398 0 -1 4202496 2875820 0 0 0 195941 245 0 0 20 0 1 0 97080785 1978953728 476930 33554432000 4194304 4933779 140725159081728 140725159079480 4363934 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 21254144 140725159089304 140725159089404 140725159089404 140725159092162 0
/proc/29975/statm: 483143 476930 619 181 0 476760 0
Current children cumulated CPU time: 1961.86 s
Current children cumulated vsize: 1932572 KiB
Current children cumulated memory: 1907720 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30096
/proc/meminfo: memFree=21771880/32770624 swapFree=67108860/67108860
[pid=29975] ppid=29972 vsize=1989796 memory=1964940 CPUtime=2021.87 cores=0,2,4,6
/proc/29975/stat : 29975 (nacre_mini_rele) R 29972 29975 27398 0 -1 4202496 2975754 0 0 0 201933 254 0 0 20 0 1 0 97080785 2037551104 491235 33554432000 4194304 4933779 140725159081728 140725159079480 140521923045755 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 21254144 140725159089304 140725159089404 140725159089404 140725159092162 0
/proc/29975/statm: 497449 491235 619 181 0 491066 0
Current children cumulated CPU time: 2021.87 s
Current children cumulated vsize: 1989796 KiB
Current children cumulated memory: 1964940 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30104
/proc/meminfo: memFree=21716248/32770624 swapFree=67108860/67108860
[pid=29975] ppid=29972 vsize=2036784 memory=2011964 CPUtime=2081.86 cores=0,2,4,6
/proc/29975/stat : 29975 (nacre_mini_rele) R 29972 29975 27398 0 -1 4202496 3086448 0 0 0 207925 261 0 0 20 0 1 0 97080785 2085666816 502991 33554432000 4194304 4933779 140725159081728 140725159079432 4331904 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 21254144 140725159089304 140725159089404 140725159089404 140725159092162 0
/proc/29975/statm: 509196 502991 619 181 0 502813 0
Current children cumulated CPU time: 2081.86 s
Current children cumulated vsize: 2036784 KiB
Current children cumulated memory: 2011964 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30127
/proc/meminfo: memFree=21681224/32770624 swapFree=67108860/67108860
[pid=29975] ppid=29972 vsize=2065796 memory=2040820 CPUtime=2141.85 cores=0,2,4,6
/proc/29975/stat : 29975 (nacre_mini_rele) R 29972 29975 27398 0 -1 4202496 3177058 0 0 0 213917 268 0 0 20 0 1 0 97080785 2115375104 510205 33554432000 4194304 4933779 140725159081728 140725159079416 140521923045763 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 21254144 140725159089304 140725159089404 140725159089404 140725159092162 0
/proc/29975/statm: 516449 510205 619 181 0 510066 0
Current children cumulated CPU time: 2141.85 s
Current children cumulated vsize: 2065796 KiB
Current children cumulated memory: 2040820 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30128
/proc/meminfo: memFree=21672084/32770624 swapFree=67108860/67108860
[pid=29975] ppid=29972 vsize=2069300 memory=2044228 CPUtime=2201.85 cores=0,2,4,6
/proc/29975/stat : 29975 (nacre_mini_rele) R 29972 29975 27398 0 -1 4202496 3275426 0 0 0 219909 276 0 0 20 0 1 0 97080785 2118963200 511057 33554432000 4194304 4933779 140725159081728 140725159079416 4333216 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 21254144 140725159089304 140725159089404 140725159089404 140725159092162 0
/proc/29975/statm: 517325 511057 619 181 0 510942 0
Current children cumulated CPU time: 2201.85 s
Current children cumulated vsize: 2069300 KiB
Current children cumulated memory: 2044228 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30129
/proc/meminfo: memFree=21662468/32770624 swapFree=67108860/67108860
[pid=29975] ppid=29972 vsize=2073944 memory=2048952 CPUtime=2261.85 cores=0,2,4,6
/proc/29975/stat : 29975 (nacre_mini_rele) R 29972 29975 27398 0 -1 4202496 3389050 0 0 0 225902 283 0 0 20 0 1 0 97080785 2123718656 512238 33554432000 4194304 4933779 140725159081728 140725159079480 4388381 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 21254144 140725159089304 140725159089404 140725159089404 140725159092162 0
/proc/29975/statm: 518486 512238 619 181 0 512103 0
Current children cumulated CPU time: 2261.85 s
Current children cumulated vsize: 2073944 KiB
Current children cumulated memory: 2048952 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30130
/proc/meminfo: memFree=21637084/32770624 swapFree=67108860/67108860
[pid=29975] ppid=29972 vsize=2094124 memory=2069060 CPUtime=2321.85 cores=0,2,4,6
/proc/29975/stat : 29975 (nacre_mini_rele) R 29972 29975 27398 0 -1 4202496 3504149 0 0 0 231892 293 0 0 20 0 1 0 97080785 2144382976 517265 33554432000 4194304 4933779 140725159081728 140725159079416 4475561 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 21254144 140725159089304 140725159089404 140725159089404 140725159092162 0
/proc/29975/statm: 523531 517265 619 181 0 517148 0
Current children cumulated CPU time: 2321.85 s
Current children cumulated vsize: 2094124 KiB
Current children cumulated memory: 2069060 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30131
/proc/meminfo: memFree=21632848/32770624 swapFree=67108860/67108860
[pid=29975] ppid=29972 vsize=2094268 memory=2069212 CPUtime=2381.84 cores=0,2,4,6
/proc/29975/stat : 29975 (nacre_mini_rele) R 29972 29975 27398 0 -1 4202496 3607849 0 0 0 237883 301 0 0 20 0 1 0 97080785 2144530432 517303 33554432000 4194304 4933779 140725159081728 140725159079416 140521923045755 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 21254144 140725159089304 140725159089404 140725159089404 140725159092162 0
/proc/29975/statm: 523567 517303 619 181 0 517184 0
Current children cumulated CPU time: 2381.84 s
Current children cumulated vsize: 2094268 KiB
Current children cumulated memory: 2069212 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30132
/proc/meminfo: memFree=21628336/32770624 swapFree=67108860/67108860
[pid=29975] ppid=29972 vsize=2094720 memory=2069688 CPUtime=2441.84 cores=0,2,4,6
/proc/29975/stat : 29975 (nacre_mini_rele) R 29972 29975 27398 0 -1 4202496 3688876 0 0 0 243877 307 0 0 20 0 1 0 97080785 2144993280 517422 33554432000 4194304 4933779 140725159081728 140725159079416 4333246 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 21254144 140725159089304 140725159089404 140725159089404 140725159092162 0
/proc/29975/statm: 523680 517422 619 181 0 517297 0
Current children cumulated CPU time: 2441.84 s
Current children cumulated vsize: 2094720 KiB
Current children cumulated memory: 2069688 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30133
/proc/meminfo: memFree=21622756/32770624 swapFree=67108860/67108860
[pid=29975] ppid=29972 vsize=2096092 memory=2071032 CPUtime=2501.83 cores=0,2,4,6
/proc/29975/stat : 29975 (nacre_mini_rele) R 29972 29975 27398 0 -1 4202496 3776704 0 0 0 249870 313 0 0 20 0 1 0 97080785 2146398208 517758 33554432000 4194304 4933779 140725159081728 140725159079432 4437564 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 21254144 140725159089304 140725159089404 140725159089404 140725159092162 0
/proc/29975/statm: 524023 517758 619 181 0 517640 0
Current children cumulated CPU time: 2501.83 s
Current children cumulated vsize: 2096092 KiB
Current children cumulated memory: 2071032 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 30133
/proc/meminfo: memFree=21616660/32770624 swapFree=67108860/67108860
[pid=29975] ppid=29972 vsize=2101320 memory=2076196 CPUtime=2519.55 cores=0,2,4,6
/proc/29975/stat : 29975 (nacre_mini_rele) R 29972 29975 27398 0 -1 4202496 3790987 0 0 0 251640 315 0 0 20 0 1 0 97080785 2151751680 519049 33554432000 4194304 4933779 140725159081728 140725159079432 4388423 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 21254144 140725159089304 140725159089404 140725159089404 140725159092162 0
/proc/29975/statm: 525330 519049 619 181 0 518947 0
Current children cumulated CPU time: 2519.55 s
Current children cumulated vsize: 2101320 KiB
Current children cumulated memory: 2076196 KiB

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

[startup+2520.06 s]
# the end of solver process 29975 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.4 s, system=3.2048 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.61
CPU user time (s): 2516.4
CPU system time (s): 3.2048
CPU usage (%): 99.9819
Max. virtual memory (cumulated for all children) (KiB): 2101320
Max. memory (cumulated for all children) (KiB): 2076196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.4
system time used= 3.2048
maximum resident set size= 2076252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3791051
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= 579
involuntary context switches= 3156


# summary of solver processes directly reported to runsolver:
#   pid: 29975
#   total CPU time (s): 2519.61
#   total CPU user time (s): 2516.4
#   total CPU system time (s): 3.2048

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.66995 second user time and 19.6508 second system time

The end

Launcher Data 

Begin job on node139 at 2018-07-28 18:26:16
IDJOB=4300140
IDBENCH=141561
IDSOLVER=2764
FILE ID=node139/4300140-1532795176
RUNJOBID= node139-1532774055-27429
PBS_JOBID= 21022456
Free space on /tmp= 38716 MiB

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

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

MD5SUM BENCH= 6b753b1e1a3070adcb3424354b76057b
RANDOM SEED=444493499

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:        23250140 kB
MemAvailable:   31302692 kB
Buffers:          238116 kB
Cached:          7913516 kB
SwapCached:            0 kB
Active:          3703192 kB
Inactive:        5128732 kB
Active(anon):     634636 kB
Inactive(anon):    73544 kB
Active(file):    3068556 kB
Inactive(file):  5055188 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:               724 kB
Writeback:             0 kB
AnonPages:        687964 kB
Mapped:            44488 kB
Shmem:             25228 kB
Slab:             386024 kB
SReclaimable:     357268 kB
SUnreclaim:        28756 kB
KernelStack:        3312 kB
PageTables:         6188 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     981324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    509952 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 19:08:16