Trace number 4300108

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.72 2520.02

General information on the benchmark

NameMagicHexagon/
MagicHexagon-08-m009_c18.xml
MD5SUM012ef72073aa4b47e82f6ff4769ae682
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 variables225
Number of constraints52
Number of domains1
Minimum domain size169
Maximum domain size169
Distribution of domain sizes[{"size":169,"count":169}]
Minimum variable degree0
Maximum variable degree9
Distribution of variable degrees[{"degree":0,"count":56},{"degree":4,"count":163},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}]
Minimum constraint arity2
Maximum constraint arity169
Distribution of constraint arities[{"arity":2,"count":6},{"arity":8,"count":6},{"arity":9,"count":6},{"arity":10,"count":6},{"arity":11,"count":6},{"arity":12,"count":6},{"arity":13,"count":6},{"arity":14,"count":6},{"arity":15,"count":3},{"arity":169,"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":45}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c NACRE 1.0.4
2519.69/2520.01	c
2519.69/2520.01	c # time = 2519.69
2519.69/2520.01	c # Dec = 1598106
2519.69/2520.01	c # Propagate Calls = 18260203058
2519.69/2520.01	c # assignAt Calls = 2893485
2519.69/2520.01	c # removeAt Calls = 538123738
2519.69/2520.01	c # Run = 3003
2519.69/2520.01	c # Conflicts = 1523663
2519.69/2520.01	c # Memory used = 1493.6 Mb
2519.69/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 (9087 MiB free)
  memory of node 1: 16384 MiB (11639 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300108-1532794361/watcher-4300108-1532794361 -o /tmp/evaluation-result-4300108-1532794361/solver-4300108-1532794361 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532773607-19387 --watchdog 2580 nacre_mini_release HOME/instance-4300108-1532794361.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=23077, runsolver pid=23074
Current StackSize limit: 8192 KiB


[startup+0.100199 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 23078
/proc/meminfo: memFree=21214448/32770624 swapFree=67108796/67108860
[pid=23077] ppid=23074 vsize=36932 memory=12048 CPUtime=0.1 cores=0,2,4,6
/proc/23077/stat : 23077 (nacre_mini_rele) R 23074 23077 24279 0 -1 4202496 3917 0 0 0 10 0 0 0 20 0 1 0 96999293 37818368 3012 33554432000 4194304 4933779 140722692076416 140722692073416 140564073941379 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39247872 140722692080792 140722692080892 140722692080892 140722692083650 0
/proc/23077/statm: 9233 3012 619 181 0 2850 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36932 KiB
Current children cumulated memory: 12048 KiB

[startup+0.209928 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 23078
/proc/meminfo: memFree=21213704/32770624 swapFree=67108796/67108860
[pid=23077] ppid=23074 vsize=37988 memory=13104 CPUtime=0.21 cores=0,2,4,6
/proc/23077/stat : 23077 (nacre_mini_rele) R 23074 23077 24279 0 -1 4202496 4178 0 0 0 21 0 0 0 20 0 1 0 96999293 38899712 3276 33554432000 4194304 4933779 140722692076416 140722692073416 4393121 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39247872 140722692080792 140722692080892 140722692080892 140722692083650 0
/proc/23077/statm: 9497 3276 619 181 0 3114 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 37988 KiB
Current children cumulated memory: 13104 KiB

[startup+0.309593 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 23078
/proc/meminfo: memFree=21212588/32770624 swapFree=67108796/67108860
[pid=23077] ppid=23074 vsize=38784 memory=14160 CPUtime=0.31 cores=0,2,4,6
/proc/23077/stat : 23077 (nacre_mini_rele) R 23074 23077 24279 0 -1 4202496 4391 0 0 0 31 0 0 0 20 0 1 0 96999293 39714816 3540 33554432000 4194304 4933779 140722692076416 140722692073416 140564073085925 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39247872 140722692080792 140722692080892 140722692080892 140722692083650 0
/proc/23077/statm: 9696 3540 619 181 0 3313 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38784 KiB
Current children cumulated memory: 14160 KiB

[startup+0.700386 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23078
/proc/meminfo: memFree=21210728/32770624 swapFree=67108796/67108860
[pid=23077] ppid=23074 vsize=42252 memory=17592 CPUtime=0.69 cores=0,2,4,6
/proc/23077/stat : 23077 (nacre_mini_rele) R 23074 23077 24279 0 -1 4202496 5252 0 0 0 69 0 0 0 20 0 1 0 96999293 43266048 4398 33554432000 4194304 4933779 140722692076416 140722692073416 4331904 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39247872 140722692080792 140722692080892 140722692080892 140722692083650 0
/proc/23077/statm: 10563 4398 619 181 0 4180 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 42252 KiB
Current children cumulated memory: 17592 KiB

[startup+1.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23078
/proc/meminfo: memFree=21206172/32770624 swapFree=67108796/67108860
[pid=23077] ppid=23074 vsize=49076 memory=24456 CPUtime=1.49 cores=0,2,4,6
/proc/23077/stat : 23077 (nacre_mini_rele) R 23074 23077 24279 0 -1 4202496 6966 0 0 0 148 1 0 0 20 0 1 0 96999293 50253824 6114 33554432000 4194304 4933779 140722692076416 140722692073416 4475923 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39247872 140722692080792 140722692080892 140722692080892 140722692083650 0
/proc/23077/statm: 12269 6114 619 181 0 5886 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 49076 KiB
Current children cumulated memory: 24456 KiB

[startup+3.10978 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23078
/proc/meminfo: memFree=21189344/32770624 swapFree=67108796/67108860
[pid=23077] ppid=23074 vsize=61828 memory=37064 CPUtime=3.1 cores=0,2,4,6
/proc/23077/stat : 23077 (nacre_mini_rele) R 23074 23077 24279 0 -1 4202496 15092 0 0 0 308 2 0 0 20 0 1 0 96999293 63311872 9266 33554432000 4194304 4933779 140722692076416 140722692073416 4332823 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39247872 140722692080792 140722692080892 140722692080892 140722692083650 0
/proc/23077/statm: 15457 9266 619 181 0 9074 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 61828 KiB
Current children cumulated memory: 37064 KiB

[startup+6.3004 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23078
/proc/meminfo: memFree=21167276/32770624 swapFree=67108796/67108860
[pid=23077] ppid=23074 vsize=84828 memory=59876 CPUtime=6.29 cores=0,2,4,6
/proc/23077/stat : 23077 (nacre_mini_rele) R 23074 23077 24279 0 -1 4202496 29499 0 0 0 626 3 0 0 20 0 1 0 96999293 86863872 14969 33554432000 4194304 4933779 140722692076416 140722692074184 4437796 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39247872 140722692080792 140722692080892 140722692080892 140722692083650 0
/proc/23077/statm: 21207 14969 619 181 0 14824 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 84828 KiB
Current children cumulated memory: 59876 KiB

[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23078
/proc/meminfo: memFree=21145688/32770624 swapFree=67108796/67108860
[pid=23077] ppid=23074 vsize=103960 memory=79180 CPUtime=12.69 cores=0,2,4,6
/proc/23077/stat : 23077 (nacre_mini_rele) R 23074 23077 24279 0 -1 4202496 49541 0 0 0 1263 6 0 0 20 0 1 0 96999293 106455040 19795 33554432000 4194304 4933779 140722692076416 140722692074120 4437558 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39247872 140722692080792 140722692080892 140722692080892 140722692083650 0
/proc/23077/statm: 25990 19795 619 181 0 19607 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 103960 KiB
Current children cumulated memory: 79180 KiB

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23078
/proc/meminfo: memFree=21120152/32770624 swapFree=67108796/67108860
[pid=23077] ppid=23074 vsize=125628 memory=100888 CPUtime=25.49 cores=0,2,4,6
/proc/23077/stat : 23077 (nacre_mini_rele) R 23074 23077 24279 0 -1 4202496 92175 0 0 0 2540 9 0 0 20 0 1 0 96999293 128643072 25222 33554432000 4194304 4933779 140722692076416 140722692074168 4388454 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39247872 140722692080792 140722692080892 140722692080892 140722692083650 0
/proc/23077/statm: 31407 25222 619 181 0 25024 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 125628 KiB
Current children cumulated memory: 100888 KiB

[startup+51.1098 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23078
/proc/meminfo: memFree=21047488/32770624 swapFree=67108796/67108860
[pid=23077] ppid=23074 vsize=178108 memory=153036 CPUtime=51.1 cores=0,2,4,6
/proc/23077/stat : 23077 (nacre_mini_rele) R 23074 23077 24279 0 -1 4202496 138040 0 0 0 5096 14 0 0 20 0 1 0 96999293 182382592 38259 33554432000 4194304 4933779 140722692076416 140722692074168 4393121 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39247872 140722692080792 140722692080892 140722692080892 140722692083650 0
/proc/23077/statm: 44527 38259 619 181 0 38144 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 178108 KiB
Current children cumulated memory: 153036 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23079
/proc/meminfo: memFree=20944692/32770624 swapFree=67108796/67108860
[pid=23077] ppid=23074 vsize=258872 memory=233692 CPUtime=102.28 cores=0,2,4,6
/proc/23077/stat : 23077 (nacre_mini_rele) R 23074 23077 24279 0 -1 4202496 200688 0 0 0 10206 22 0 0 20 0 1 0 96999293 265084928 58423 33554432000 4194304 4933779 140722692076416 140722692074168 4475920 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39247872 140722692080792 140722692080892 140722692080892 140722692083650 0
/proc/23077/statm: 64718 58423 619 181 0 58335 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 258872 KiB
Current children cumulated memory: 233692 KiB

[startup+162.3 s]
/proc/loadavg: 2.16 2.05 2.06 3/187 23080
/proc/meminfo: memFree=20848008/32770624 swapFree=67108796/67108860
[pid=23077] ppid=23074 vsize=333300 memory=308296 CPUtime=162.28 cores=0,2,4,6
/proc/23077/stat : 23077 (nacre_mini_rele) R 23074 23077 24279 0 -1 4202496 278051 0 0 0 16198 30 0 0 20 0 1 0 96999293 341299200 77074 33554432000 4194304 4933779 140722692076416 140722692074104 4437567 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39247872 140722692080792 140722692080892 140722692080892 140722692083650 0
/proc/23077/statm: 83325 77074 619 181 0 76942 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 333300 KiB
Current children cumulated memory: 308296 KiB

[startup+222.3 s]
/proc/loadavg: 2.40 2.16 2.09 3/187 23081
/proc/meminfo: memFree=20738516/32770624 swapFree=67108796/67108860
[pid=23077] ppid=23074 vsize=440284 memory=413960 CPUtime=222.28 cores=0,2,4,6
/proc/23077/stat : 23077 (nacre_mini_rele) R 23074 23077 24279 0 -1 4202496 317531 0 0 0 22192 36 0 0 20 0 1 0 96999293 450850816 103490 33554432000 4194304 4933779 140722692076416 140722692074120 4421272 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39247872 140722692080792 140722692080892 140722692080892 140722692083650 0
/proc/23077/statm: 110071 103490 619 181 0 103688 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 440284 KiB
Current children cumulated memory: 413960 KiB

[startup+282.3 s]
/proc/loadavg: 2.15 2.13 2.09 3/187 23082
/proc/meminfo: memFree=20696356/32770624 swapFree=67108796/67108860
[pid=23077] ppid=23074 vsize=481196 memory=454672 CPUtime=282.27 cores=0,2,4,6
/proc/23077/stat : 23077 (nacre_mini_rele) R 23074 23077 24279 0 -1 4202496 406196 0 0 0 28182 45 0 0 20 0 1 0 96999293 492744704 113668 33554432000 4194304 4933779 140722692076416 140722692073928 4388720 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39247872 140722692080792 140722692080892 140722692080892 140722692083650 0
/proc/23077/statm: 120299 113668 619 181 0 113916 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 481196 KiB
Current children cumulated memory: 454672 KiB

[startup+342.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/187 23083
/proc/meminfo: memFree=20645392/32770624 swapFree=67108796/67108860
[pid=23077] ppid=23074 vsize=530616 memory=503940 CPUtime=342.28 cores=0,2,4,6
/proc/23077/stat : 23077 (nacre_mini_rele) R 23074 23077 24279 0 -1 4202496 509175 0 0 0 34173 55 0 0 20 0 1 0 96999293 543350784 125985 33554432000 4194304 4933779 140722692076416 140722692074104 4388544 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39247872 140722692080792 140722692080892 140722692080892 140722692083650 0
/proc/23077/statm: 132654 125985 619 181 0 126271 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 530616 KiB
Current children cumulated memory: 503940 KiB

[startup+402.3 s]
/proc/loadavg: 2.02 2.09 2.08 3/187 23084
/proc/meminfo: memFree=20607728/32770624 swapFree=67108796/67108860
[pid=23077] ppid=23074 vsize=568040 memory=541348 CPUtime=402.27 cores=0,2,4,6
/proc/23077/stat : 23077 (nacre_mini_rele) R 23074 23077 24279 0 -1 4202496 617443 0 0 0 40162 65 0 0 20 0 1 0 96999293 581672960 135337 33554432000 4194304 4933779 140722692076416 140722692074120 4437570 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39247872 140722692080792 140722692080892 140722692080892 140722692083650 0
/proc/23077/statm: 142010 135337 619 181 0 135627 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 568040 KiB
Current children cumulated memory: 541348 KiB

[startup+462.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/187 23092
/proc/meminfo: memFree=20567336/32770624 swapFree=67108796/67108860
[pid=23077] ppid=23074 vsize=607204 memory=580496 CPUtime=462.26 cores=0,2,4,6
/proc/23077/stat : 23077 (nacre_mini_rele) R 23074 23077 24279 0 -1 4202496 679173 0 0 0 46153 73 0 0 20 0 1 0 96999293 621776896 145124 33554432000 4194304 4933779 140722692076416 140722692074168 4437570 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39247872 140722692080792 140722692080892 140722692080892 140722692083650 0
/proc/23077/statm: 151801 145124 619 181 0 145418 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 607204 KiB
Current children cumulated memory: 580496 KiB


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

/proc/23077/statm: 361906 355734 619 181 0 355523 0
Current children cumulated CPU time: 1722.01 s
Current children cumulated vsize: 1447624 KiB
Current children cumulated memory: 1422936 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23191
/proc/meminfo: memFree=20516236/32770624 swapFree=67108796/67108860
[pid=23077] ppid=23074 vsize=1447992 memory=1423316 CPUtime=1782.01 cores=0,2,4,6
/proc/23077/stat : 23077 (nacre_mini_rele) R 23074 23077 24279 0 -1 4202496 1680354 0 0 0 178017 184 0 0 20 0 1 0 96999293 1482743808 355829 33554432000 4194304 4933779 140722692076416 140722692074104 4437538 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39247872 140722692080792 140722692080892 140722692080892 140722692083650 0
/proc/23077/statm: 361998 355829 619 181 0 355615 0
Current children cumulated CPU time: 1782.01 s
Current children cumulated vsize: 1447992 KiB
Current children cumulated memory: 1423316 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23192
/proc/meminfo: memFree=20514064/32770624 swapFree=67108796/67108860
[pid=23077] ppid=23074 vsize=1447992 memory=1423344 CPUtime=1842 cores=0,2,4,6
/proc/23077/stat : 23077 (nacre_mini_rele) R 23074 23077 24279 0 -1 4202496 1682603 0 0 0 184016 184 0 0 20 0 1 0 96999293 1482743808 355836 33554432000 4194304 4933779 140722692076416 140722692074104 4437570 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39247872 140722692080792 140722692080892 140722692080892 140722692083650 0
/proc/23077/statm: 361998 355836 619 181 0 355615 0
Current children cumulated CPU time: 1842 s
Current children cumulated vsize: 1447992 KiB
Current children cumulated memory: 1423344 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23193
/proc/meminfo: memFree=19909472/32770624 swapFree=67108796/67108860
[pid=23077] ppid=23074 vsize=1450512 memory=1425708 CPUtime=1902 cores=0,2,4,6
/proc/23077/stat : 23077 (nacre_mini_rele) R 23074 23077 24279 0 -1 4202496 1684942 0 0 0 190016 184 0 0 20 0 1 0 96999293 1485324288 356427 33554432000 4194304 4933779 140722692076416 140722692074120 4437538 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39247872 140722692080792 140722692080892 140722692080892 140722692083650 0
/proc/23077/statm: 362628 356427 619 181 0 356245 0
Current children cumulated CPU time: 1902 s
Current children cumulated vsize: 1450512 KiB
Current children cumulated memory: 1425708 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23194
/proc/meminfo: memFree=19899676/32770624 swapFree=67108796/67108860
[pid=23077] ppid=23074 vsize=1459776 memory=1434828 CPUtime=1962 cores=0,2,4,6
/proc/23077/stat : 23077 (nacre_mini_rele) R 23074 23077 24279 0 -1 4202496 1690935 0 0 0 196014 186 0 0 20 0 1 0 96999293 1494810624 358707 33554432000 4194304 4933779 140722692076416 140722692074104 4437570 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39247872 140722692080792 140722692080892 140722692080892 140722692083650 0
/proc/23077/statm: 364944 358707 619 181 0 358561 0
Current children cumulated CPU time: 1962 s
Current children cumulated vsize: 1459776 KiB
Current children cumulated memory: 1434828 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23195
/proc/meminfo: memFree=19891740/32770624 swapFree=67108796/67108860
[pid=23077] ppid=23074 vsize=1467224 memory=1442308 CPUtime=2022 cores=0,2,4,6
/proc/23077/stat : 23077 (nacre_mini_rele) R 23074 23077 24279 0 -1 4202496 1697212 0 0 0 202014 186 0 0 20 0 1 0 96999293 1502437376 360577 33554432000 4194304 4933779 140722692076416 140722692074168 4437538 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39247872 140722692080792 140722692080892 140722692080892 140722692083650 0
/proc/23077/statm: 366806 360577 619 181 0 360423 0
Current children cumulated CPU time: 2022 s
Current children cumulated vsize: 1467224 KiB
Current children cumulated memory: 1442308 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23196
/proc/meminfo: memFree=19883060/32770624 swapFree=67108796/67108860
[pid=23077] ppid=23074 vsize=1475952 memory=1450884 CPUtime=2082 cores=0,2,4,6
/proc/23077/stat : 23077 (nacre_mini_rele) R 23074 23077 24279 0 -1 4202496 1705786 0 0 0 208012 188 0 0 20 0 1 0 96999293 1511374848 362721 33554432000 4194304 4933779 140722692076416 140722692074168 140564073941419 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39247872 140722692080792 140722692080892 140722692080892 140722692083650 0
/proc/23077/statm: 368988 362721 619 181 0 362605 0
Current children cumulated CPU time: 2082 s
Current children cumulated vsize: 1475952 KiB
Current children cumulated memory: 1450884 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23197
/proc/meminfo: memFree=19871032/32770624 swapFree=67108796/67108860
[pid=23077] ppid=23074 vsize=1485208 memory=1460380 CPUtime=2142 cores=0,2,4,6
/proc/23077/stat : 23077 (nacre_mini_rele) R 23074 23077 24279 0 -1 4202496 1716549 0 0 0 214011 189 0 0 20 0 1 0 96999293 1520852992 365095 33554432000 4194304 4933779 140722692076416 140722692074168 140564079287145 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39247872 140722692080792 140722692080892 140722692080892 140722692083650 0
/proc/23077/statm: 371302 365095 619 181 0 364919 0
Current children cumulated CPU time: 2142 s
Current children cumulated vsize: 1485208 KiB
Current children cumulated memory: 1460380 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23198
/proc/meminfo: memFree=19868216/32770624 swapFree=67108796/67108860
[pid=23077] ppid=23074 vsize=1489568 memory=1462364 CPUtime=2202 cores=0,2,4,6
/proc/23077/stat : 23077 (nacre_mini_rele) R 23074 23077 24279 0 -1 4202496 1725337 0 0 0 220010 190 0 0 20 0 1 0 96999293 1525317632 365591 33554432000 4194304 4933779 140722692076416 140722692074104 4388544 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39247872 140722692080792 140722692080892 140722692080892 140722692083650 0
/proc/23077/statm: 372392 365591 619 181 0 366009 0
Current children cumulated CPU time: 2202 s
Current children cumulated vsize: 1489568 KiB
Current children cumulated memory: 1462364 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23207
/proc/meminfo: memFree=19867028/32770624 swapFree=67108796/67108860
[pid=23077] ppid=23074 vsize=1490564 memory=1463244 CPUtime=2261.99 cores=0,2,4,6
/proc/23077/stat : 23077 (nacre_mini_rele) R 23074 23077 24279 0 -1 4202496 1735165 0 0 0 226008 191 0 0 20 0 1 0 96999293 1526337536 365811 33554432000 4194304 4933779 140722692076416 140722692074104 4437567 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39247872 140722692080792 140722692080892 140722692080892 140722692083650 0
/proc/23077/statm: 372641 365811 619 181 0 366258 0
Current children cumulated CPU time: 2261.99 s
Current children cumulated vsize: 1490564 KiB
Current children cumulated memory: 1463244 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23208
/proc/meminfo: memFree=19866348/32770624 swapFree=67108796/67108860
[pid=23077] ppid=23074 vsize=1491520 memory=1463972 CPUtime=2321.99 cores=0,2,4,6
/proc/23077/stat : 23077 (nacre_mini_rele) R 23074 23077 24279 0 -1 4202496 1743474 0 0 0 232007 192 0 0 20 0 1 0 96999293 1527316480 365993 33554432000 4194304 4933779 140722692076416 140722692073928 4475561 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39247872 140722692080792 140722692080892 140722692080892 140722692083650 0
/proc/23077/statm: 372880 365993 619 181 0 366497 0
Current children cumulated CPU time: 2321.99 s
Current children cumulated vsize: 1491520 KiB
Current children cumulated memory: 1463972 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23209
/proc/meminfo: memFree=19861264/32770624 swapFree=67108796/67108860
[pid=23077] ppid=23074 vsize=1496380 memory=1468732 CPUtime=2381.99 cores=0,2,4,6
/proc/23077/stat : 23077 (nacre_mini_rele) R 23074 23077 24279 0 -1 4202496 1755185 0 0 0 238005 194 0 0 20 0 1 0 96999293 1532293120 367183 33554432000 4194304 4933779 140722692076416 140722692074168 4437547 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39247872 140722692080792 140722692080892 140722692080892 140722692083650 0
/proc/23077/statm: 374095 367183 619 181 0 367712 0
Current children cumulated CPU time: 2381.99 s
Current children cumulated vsize: 1496380 KiB
Current children cumulated memory: 1468732 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23210
/proc/meminfo: memFree=19849236/32770624 swapFree=67108796/67108860
[pid=23077] ppid=23074 vsize=1508356 memory=1480776 CPUtime=2441.98 cores=0,2,4,6
/proc/23077/stat : 23077 (nacre_mini_rele) R 23074 23077 24279 0 -1 4202496 1770795 0 0 0 244003 195 0 0 20 0 1 0 96999293 1544556544 370194 33554432000 4194304 4933779 140722692076416 140722692074120 4475923 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39247872 140722692080792 140722692080892 140722692080892 140722692083650 0
/proc/23077/statm: 377089 370194 619 181 0 370706 0
Current children cumulated CPU time: 2441.98 s
Current children cumulated vsize: 1508356 KiB
Current children cumulated memory: 1480776 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23211
/proc/meminfo: memFree=19839068/32770624 swapFree=67108796/67108860
[pid=23077] ppid=23074 vsize=1518620 memory=1491072 CPUtime=2501.99 cores=0,2,4,6
/proc/23077/stat : 23077 (nacre_mini_rele) R 23074 23077 24279 0 -1 4202496 1787563 0 0 0 250001 198 0 0 20 0 1 0 96999293 1555066880 372768 33554432000 4194304 4933779 140722692076416 140722692074120 4437393 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39247872 140722692080792 140722692080892 140722692080892 140722692083650 0
/proc/23077/statm: 379655 372768 619 181 0 373272 0
Current children cumulated CPU time: 2501.99 s
Current children cumulated vsize: 1518620 KiB
Current children cumulated memory: 1491072 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 23211
/proc/meminfo: memFree=19836496/32770624 swapFree=67108796/67108860
[pid=23077] ppid=23074 vsize=1521076 memory=1493516 CPUtime=2519.69 cores=0,2,4,6
/proc/23077/stat : 23077 (nacre_mini_rele) R 23074 23077 24279 0 -1 4202496 1790437 0 0 0 251771 198 0 0 20 0 1 0 96999293 1557581824 373379 33554432000 4194304 4933779 140722692076416 140722692074168 4437572 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39247872 140722692080792 140722692080892 140722692080892 140722692083650 0
/proc/23077/statm: 380269 373379 619 181 0 373886 0
Current children cumulated CPU time: 2519.69 s
Current children cumulated vsize: 1521076 KiB
Current children cumulated memory: 1493516 KiB

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

[startup+2520.02 s]
# the end of solver process 23077 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.72 s, system=1.99995 s

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

Child status: 0
Real time (s): 2520.02
CPU time (s): 2519.72
CPU user time (s): 2517.72
CPU system time (s): 1.99995
CPU usage (%): 99.988
Max. virtual memory (cumulated for all children) (KiB): 1521076
Max. memory (cumulated for all children) (KiB): 1493516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.72
system time used= 1.99994
maximum resident set size= 1493660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1790483
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= 411
involuntary context switches= 1124


# summary of solver processes directly reported to runsolver:
#   pid: 23077
#   total CPU time (s): 2519.72
#   total CPU user time (s): 2517.72
#   total CPU system time (s): 1.99995

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.8663 second user time and 18.3024 second system time

The end

Launcher Data 

Begin job on node138 at 2018-07-28 18:12:41
IDJOB=4300108
IDBENCH=141557
IDSOLVER=2764
FILE ID=node138/4300108-1532794361
RUNJOBID= node138-1532773607-19387
PBS_JOBID= 21022455
Free space on /tmp= 53800 MiB

SOLVER NAME= NACRE 1.0.4
BENCH NAME= XCSP18/MagicHexagon/MagicHexagon-08-m009_c18.xml
COMMAND LINE= nacre_mini_release BENCHNAME -ca -l100 -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4300108-1532794361/watcher-4300108-1532794361 -o /tmp/evaluation-result-4300108-1532794361/solver-4300108-1532794361 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532773607-19387 --watchdog 2580  nacre_mini_release HOME/instance-4300108-1532794361.xml -ca -l100 -cm

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

MD5SUM BENCH= 012ef72073aa4b47e82f6ff4769ae682
RANDOM SEED=930703111

node138.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.71
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.71
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.71
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.71
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:        21223456 kB
MemAvailable:   30884860 kB
Buffers:          211500 kB
Cached:          9653968 kB
SwapCached:           44 kB
Active:          3584696 kB
Inactive:        7377700 kB
Active(anon):    1041300 kB
Inactive(anon):    83488 kB
Active(file):    2543396 kB
Inactive(file):  7294212 kB
Unevictable:        7280 kB
Mlocked:            7280 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:               856 kB
Writeback:             0 kB
AnonPages:       1112372 kB
Mapped:            38816 kB
Shmem:             25164 kB
Slab:             280356 kB
SReclaimable:     252256 kB
SUnreclaim:        28100 kB
KernelStack:        3584 kB
PageTables:         7196 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1392272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    839680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 53800 MiB
End job on node138 at 2018-07-28 18:54:41