Trace number 4391504

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.5-Hybrid? (TO) 2400.04 2400.11

General information on the benchmark

NameMagicHexagon/MagicHexagon-m1-s1/
MagicHexagon-07-0080.xml
MD5SUM9b203975fed1c25a0b87c4f345706814
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 benchmark1154.64
Satisfiable
(Un)Satisfiability was proved
Number of variables169
Number of constraints46
Number of domains1
Minimum domain size127
Maximum domain size127
Distribution of domain sizes[{"size":127,"count":127}]
Minimum variable degree0
Maximum variable degree9
Distribution of variable degrees[{"degree":0,"count":42},{"degree":4,"count":121},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}]
Minimum constraint arity2
Maximum constraint arity127
Distribution of constraint arities[{"arity":2,"count":6},{"arity":7,"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":3},{"arity":127,"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":39}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c NACRE 1.0.5
2400.02/2400.11	c
2400.02/2400.11	c # time = 2400.02
2400.02/2400.11	c # Dec = 1884951
2400.02/2400.11	c # Propagate Calls = 20653597390
2400.02/2400.11	c # assignAt Calls = 4124917
2400.02/2400.11	c # removeAt Calls = 1640051579
2400.02/2400.11	c # Run = 3581
2400.02/2400.11	c # Conflicts = 1865766
2400.02/2400.11	c # Memory used = 242.388 Mb
2400.02/2400.11	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 (9573 MiB free)
  memory of node 1: 16384 MiB (11690 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391504-1568312569/watcher-4391504-1568312569 -o /tmp/evaluation-result-4391504-1568312569/solver-4391504-1568312569 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568307582-20542 --watchdog 2560 nacre_mini_release HOME/instance-4391504-1568312569.xml -ca -l100 -cm 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=22503, runsolver pid=22500

[startup+0.101089 s]*
/proc/loadavg: 2.00 2.01 2.03 3/200 22504
/proc/meminfo: memFree=21768056/32770624 swapFree=66999156/67108860
[pid=22503] ppid=22500 vsize=31768 memory=7828 CPUtime=0.1 cores=1,3,5,7
/proc/22503/stat : 22503 (nacre_mini_rele) R 22500 22503 20510 0 -1 4202496 2470 0 0 0 10 0 0 0 20 0 1 0 407195329 32530432 1957 33554432000 4194304 4935366 140721108608560 140721108606312 4430273 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 34697216 140721108612097 140721108612197 140721108612197 140721108615106 0
/proc/22503/statm: 7942 1957 622 181 0 1559 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31768 KiB
Current children cumulated memory: 7828 KiB

[startup+0.209751 s]*
/proc/loadavg: 2.00 2.01 2.03 3/200 22504
/proc/meminfo: memFree=21767684/32770624 swapFree=66999156/67108860
[pid=22503] ppid=22500 vsize=32172 memory=8356 CPUtime=0.21 cores=1,3,5,7
/proc/22503/stat : 22503 (nacre_mini_rele) R 22500 22503 20510 0 -1 4202496 2572 0 0 0 21 0 0 0 20 0 1 0 407195329 32944128 2089 33554432000 4194304 4935366 140721108608560 140721108606312 140059364971736 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 34697216 140721108612097 140721108612197 140721108612197 140721108615106 0
/proc/22503/statm: 8043 2089 622 181 0 1660 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32172 KiB
Current children cumulated memory: 8356 KiB

[startup+0.309134 s]*
/proc/loadavg: 2.00 2.01 2.03 3/200 22504
/proc/meminfo: memFree=21767376/32770624 swapFree=66999156/67108860
[pid=22503] ppid=22500 vsize=32568 memory=8620 CPUtime=0.31 cores=1,3,5,7
/proc/22503/stat : 22503 (nacre_mini_rele) R 22500 22503 20510 0 -1 4202496 2657 0 0 0 31 0 0 0 20 0 1 0 407195329 33349632 2155 33554432000 4194304 4935366 140721108608560 140721108606312 4450992 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 34697216 140721108612097 140721108612197 140721108612197 140721108615106 0
/proc/22503/statm: 8142 2155 622 181 0 1759 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32568 KiB
Current children cumulated memory: 8620 KiB

[startup+0.700285 s]
/proc/loadavg: 2.00 2.01 2.03 3/200 22504
/proc/meminfo: memFree=21766632/32770624 swapFree=66999156/67108860
[pid=22503] ppid=22500 vsize=34036 memory=10204 CPUtime=0.69 cores=1,3,5,7
/proc/22503/stat : 22503 (nacre_mini_rele) R 22500 22503 20510 0 -1 4202496 3023 0 0 0 69 0 0 0 20 0 1 0 407195329 34852864 2551 33554432000 4194304 4935366 140721108608560 140721108606248 4420944 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 34697216 140721108612097 140721108612197 140721108612197 140721108615106 0
/proc/22503/statm: 8509 2551 622 181 0 2126 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 34036 KiB
Current children cumulated memory: 10204 KiB

[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.03 3/200 22504
/proc/meminfo: memFree=21764772/32770624 swapFree=66999156/67108860
[pid=22503] ppid=22500 vsize=36964 memory=13108 CPUtime=1.48 cores=1,3,5,7
/proc/22503/stat : 22503 (nacre_mini_rele) R 22500 22503 20510 0 -1 4202496 3748 0 0 0 148 0 0 0 20 0 1 0 407195329 37851136 3277 33554432000 4194304 4935366 140721108608560 140721108606248 140059358780389 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 34697216 140721108612097 140721108612197 140721108612197 140721108615106 0
/proc/22503/statm: 9241 3277 622 181 0 2858 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 36964 KiB
Current children cumulated memory: 13108 KiB

[startup+3.10963 s]
/proc/loadavg: 2.00 2.01 2.03 3/200 22504
/proc/meminfo: memFree=21756804/32770624 swapFree=66999156/67108860
[pid=22503] ppid=22500 vsize=42504 memory=18640 CPUtime=3.1 cores=1,3,5,7
/proc/22503/stat : 22503 (nacre_mini_rele) R 22500 22503 20510 0 -1 4202496 7981 0 0 0 309 1 0 0 20 0 1 0 407195329 43524096 4660 33554432000 4194304 4935366 140721108608560 140721108606328 140059358780389 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 34697216 140721108612097 140721108612197 140721108612197 140721108615106 0
/proc/22503/statm: 10626 4660 622 181 0 4243 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 42504 KiB
Current children cumulated memory: 18640 KiB

[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.03 3/200 22504
/proc/meminfo: memFree=21748332/32770624 swapFree=66999156/67108860
[pid=22503] ppid=22500 vsize=50452 memory=26448 CPUtime=6.28 cores=1,3,5,7
/proc/22503/stat : 22503 (nacre_mini_rele) R 22500 22503 20510 0 -1 4202496 14326 0 0 0 627 1 0 0 20 0 1 0 407195329 51662848 6612 33554432000 4194304 4935366 140721108608560 140721108606312 4450346 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 34697216 140721108612097 140721108612197 140721108612197 140721108615106 0
/proc/22503/statm: 12613 6612 622 181 0 6230 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 50452 KiB
Current children cumulated memory: 26448 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.03 3/200 22505
/proc/meminfo: memFree=21739604/32770624 swapFree=66999156/67108860
[pid=22503] ppid=22500 vsize=58332 memory=34360 CPUtime=12.68 cores=1,3,5,7
/proc/22503/stat : 22503 (nacre_mini_rele) R 22500 22503 20510 0 -1 4202496 22481 0 0 0 1266 2 0 0 20 0 1 0 407195329 59731968 8590 33554432000 4194304 4935366 140721108608560 140721108606312 4420619 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 34697216 140721108612097 140721108612197 140721108612197 140721108615106 0
/proc/22503/statm: 14583 8590 622 181 0 8200 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 58332 KiB
Current children cumulated memory: 34360 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.03 3/200 22507
/proc/meminfo: memFree=21729648/32770624 swapFree=66999156/67108860
[pid=22503] ppid=22500 vsize=67032 memory=42664 CPUtime=25.49 cores=1,3,5,7
/proc/22503/stat : 22503 (nacre_mini_rele) R 22500 22503 20510 0 -1 4202496 41493 0 0 0 2546 3 0 0 20 0 1 0 407195329 68640768 10666 33554432000 4194304 4935366 140721108608560 140721108606328 4420768 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 34697216 140721108612097 140721108612197 140721108612197 140721108615106 0
/proc/22503/statm: 16758 10666 622 181 0 10375 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 67032 KiB
Current children cumulated memory: 42664 KiB

[startup+51.1097 s]
/proc/loadavg: 2.00 2.01 2.03 3/200 22507
/proc/meminfo: memFree=21721080/32770624 swapFree=66999156/67108860
[pid=22503] ppid=22500 vsize=75152 memory=50688 CPUtime=51.09 cores=1,3,5,7
/proc/22503/stat : 22503 (nacre_mini_rele) R 22500 22503 20510 0 -1 4202496 54316 0 0 0 5105 4 0 0 20 0 1 0 407195329 76955648 12672 33554432000 4194304 4935366 140721108608560 140721108606248 4430273 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 34697216 140721108612097 140721108612197 140721108612197 140721108615106 0
/proc/22503/statm: 18788 12672 622 181 0 12405 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 75152 KiB
Current children cumulated memory: 50688 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/200 22572
/proc/meminfo: memFree=21651400/32770624 swapFree=66999156/67108860
[pid=22503] ppid=22500 vsize=87628 memory=63780 CPUtime=102.25 cores=1,3,5,7
/proc/22503/stat : 22503 (nacre_mini_rele) R 22500 22503 20510 0 -1 4202496 70472 0 0 0 10220 5 0 0 20 0 1 0 407195329 89731072 15945 33554432000 4194304 4935366 140721108608560 140721108606264 140059359527672 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 34697216 140721108612097 140721108612197 140721108612197 140721108615106 0
/proc/22503/statm: 21907 15945 622 181 0 15524 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 87628 KiB
Current children cumulated memory: 63780 KiB

[startup+162.3 s]
/proc/loadavg: 2.08 2.03 2.03 3/201 22578
/proc/meminfo: memFree=21455432/32770624 swapFree=66999156/67108860
[pid=22503] ppid=22500 vsize=100916 memory=77100 CPUtime=162.25 cores=1,3,5,7
/proc/22503/stat : 22503 (nacre_mini_rele) R 22500 22503 20510 0 -1 4202496 76337 0 0 0 16219 6 0 0 20 0 1 0 407195329 103337984 19275 33554432000 4194304 4935366 140721108608560 140721108606264 4365360 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 34697216 140721108612097 140721108612197 140721108612197 140721108615106 0
/proc/22503/statm: 25229 19275 622 181 0 18846 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 100916 KiB
Current children cumulated memory: 77100 KiB

[startup+222.3 s]
/proc/loadavg: 2.03 2.03 2.03 3/199 22583
/proc/meminfo: memFree=21363828/32770624 swapFree=66999156/67108860
[pid=22503] ppid=22500 vsize=118068 memory=93004 CPUtime=222.25 cores=1,3,5,7
/proc/22503/stat : 22503 (nacre_mini_rele) R 22500 22503 20510 0 -1 4202496 85801 0 0 0 22217 8 0 0 20 0 1 0 407195329 120901632 23251 33554432000 4194304 4935366 140721108608560 140721108606312 4430283 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 34697216 140721108612097 140721108612197 140721108612197 140721108615106 0
/proc/22503/statm: 29517 23251 622 181 0 23134 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 118068 KiB
Current children cumulated memory: 93004 KiB

[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.03 3/199 22587
/proc/meminfo: memFree=21277760/32770624 swapFree=66999156/67108860
[pid=22503] ppid=22500 vsize=129400 memory=104400 CPUtime=282.24 cores=1,3,5,7
/proc/22503/stat : 22503 (nacre_mini_rele) R 22500 22503 20510 0 -1 4202496 99080 0 0 0 28214 10 0 0 20 0 1 0 407195329 132505600 26100 33554432000 4194304 4935366 140721108608560 140721108606248 4420791 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 34697216 140721108612097 140721108612197 140721108612197 140721108615106 0
/proc/22503/statm: 32350 26100 622 181 0 25967 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 129400 KiB
Current children cumulated memory: 104400 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/200 22593
/proc/meminfo: memFree=21222604/32770624 swapFree=66999156/67108860
[pid=22503] ppid=22500 vsize=133848 memory=108808 CPUtime=342.23 cores=1,3,5,7
/proc/22503/stat : 22503 (nacre_mini_rele) R 22500 22503 20510 0 -1 4202496 111565 0 0 0 34213 10 0 0 20 0 1 0 407195329 137060352 27202 33554432000 4194304 4935366 140721108608560 140721108606264 4461073 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 34697216 140721108612097 140721108612197 140721108612197 140721108615106 0
/proc/22503/statm: 33462 27202 622 181 0 27079 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 133848 KiB
Current children cumulated memory: 108808 KiB

[startup+402.3 s]
/proc/loadavg: 2.49 2.14 2.08 3/199 22598
/proc/meminfo: memFree=21162576/32770624 swapFree=66999156/67108860
[pid=22503] ppid=22500 vsize=146968 memory=122024 CPUtime=402.24 cores=1,3,5,7
/proc/22503/stat : 22503 (nacre_mini_rele) R 22500 22503 20510 0 -1 4202496 128119 0 0 0 40212 12 0 0 20 0 1 0 407195329 150495232 30506 33554432000 4194304 4935366 140721108608560 140721108606072 4461048 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 34697216 140721108612097 140721108612197 140721108612197 140721108615106 0
/proc/22503/statm: 36742 30506 622 181 0 30359 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 146968 KiB
Current children cumulated memory: 122024 KiB

[startup+462.3 s]
/proc/loadavg: 2.21 2.13 2.07 3/199 22602
/proc/meminfo: memFree=21096704/32770624 swapFree=66999156/67108860
[pid=22503] ppid=22500 vsize=157424 memory=132332 CPUtime=462.24 cores=1,3,5,7
/proc/22503/stat : 22503 (nacre_mini_rele) R 22500 22503 20510 0 -1 4202496 147071 0 0 0 46210 14 0 0 20 0 1 0 407195329 161202176 33083 33554432000 4194304 4935366 140721108608560 140721108606312 4450346 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 34697216 140721108612097 140721108612197 140721108612197 140721108615106 0
/proc/22503/statm: 39356 33083 622 181 0 32973 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 157424 KiB
Current children cumulated memory: 132332 KiB


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

/proc/22503/statm: 59024 52684 622 181 0 52641 0
Current children cumulated CPU time: 1662.22 s
Current children cumulated vsize: 236096 KiB
Current children cumulated memory: 210736 KiB

[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/199 22721
/proc/meminfo: memFree=20341524/32770624 swapFree=66999160/67108860
[pid=22503] ppid=22500 vsize=242560 memory=215944 CPUtime=1722.22 cores=1,3,5,7
/proc/22503/stat : 22503 (nacre_mini_rele) R 22500 22503 20510 0 -1 4202496 398294 0 0 0 172181 41 0 0 20 0 1 0 407195329 248381440 53986 33554432000 4194304 4935366 140721108608560 140721108606248 4430232 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 34697216 140721108612097 140721108612197 140721108612197 140721108615106 0
/proc/22503/statm: 60640 53986 622 181 0 54257 0
Current children cumulated CPU time: 1722.22 s
Current children cumulated vsize: 242560 KiB
Current children cumulated memory: 215944 KiB

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 22727
/proc/meminfo: memFree=20310860/32770624 swapFree=66999160/67108860
[pid=22503] ppid=22500 vsize=245196 memory=218392 CPUtime=1782.23 cores=1,3,5,7
/proc/22503/stat : 22503 (nacre_mini_rele) R 22500 22503 20510 0 -1 4202496 412068 0 0 0 178180 43 0 0 20 0 1 0 407195329 251080704 54598 33554432000 4194304 4935366 140721108608560 140721108606264 4461073 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 34697216 140721108612097 140721108612197 140721108612197 140721108615106 0
/proc/22503/statm: 61299 54598 622 181 0 54916 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 245196 KiB
Current children cumulated memory: 218392 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 22731
/proc/meminfo: memFree=20284592/32770624 swapFree=66999160/67108860
[pid=22503] ppid=22500 vsize=246792 memory=220096 CPUtime=1842.23 cores=1,3,5,7
/proc/22503/stat : 22503 (nacre_mini_rele) R 22500 22503 20510 0 -1 4202496 426260 0 0 0 184179 44 0 0 20 0 1 0 407195329 252715008 55024 33554432000 4194304 4935366 140721108608560 140721108606248 4430273 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 34697216 140721108612097 140721108612197 140721108612197 140721108615106 0
/proc/22503/statm: 61698 55024 622 181 0 55315 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 246792 KiB
Current children cumulated memory: 220096 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 22735
/proc/meminfo: memFree=20263208/32770624 swapFree=66999160/67108860
[pid=22503] ppid=22500 vsize=248620 memory=221652 CPUtime=1902.22 cores=1,3,5,7
/proc/22503/stat : 22503 (nacre_mini_rele) R 22500 22503 20510 0 -1 4202496 440784 0 0 0 190177 45 0 0 20 0 1 0 407195329 254586880 55413 33554432000 4194304 4935366 140721108608560 140721108606072 4461073 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 34697216 140721108612097 140721108612197 140721108612197 140721108615106 0
/proc/22503/statm: 62155 55413 622 181 0 55772 0
Current children cumulated CPU time: 1902.22 s
Current children cumulated vsize: 248620 KiB
Current children cumulated memory: 221652 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 22741
/proc/meminfo: memFree=20254984/32770624 swapFree=66999160/67108860
[pid=22503] ppid=22500 vsize=250228 memory=223228 CPUtime=1962.22 cores=1,3,5,7
/proc/22503/stat : 22503 (nacre_mini_rele) R 22500 22503 20510 0 -1 4202496 455417 0 0 0 196175 47 0 0 20 0 1 0 407195329 256233472 55807 33554432000 4194304 4935366 140721108608560 140721108606072 140059358780389 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 34697216 140721108612097 140721108612197 140721108612197 140721108615106 0
/proc/22503/statm: 62557 55807 622 181 0 56174 0
Current children cumulated CPU time: 1962.22 s
Current children cumulated vsize: 250228 KiB
Current children cumulated memory: 223228 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 22746
/proc/meminfo: memFree=20250464/32770624 swapFree=66999160/67108860
[pid=22503] ppid=22500 vsize=251900 memory=227460 CPUtime=2022.21 cores=1,3,5,7
/proc/22503/stat : 22503 (nacre_mini_rele) R 22500 22503 20510 0 -1 4202496 469482 0 0 0 202172 49 0 0 20 0 1 0 407195329 257945600 56865 33554432000 4194304 4935366 140721108608560 140721108606248 4461261 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 34697216 140721108612097 140721108612197 140721108612197 140721108615106 0
/proc/22503/statm: 62975 56865 622 181 0 56592 0
Current children cumulated CPU time: 2022.21 s
Current children cumulated vsize: 251900 KiB
Current children cumulated memory: 227460 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 22750
/proc/meminfo: memFree=20247520/32770624 swapFree=66999160/67108860
[pid=22503] ppid=22500 vsize=253748 memory=229112 CPUtime=2082.21 cores=1,3,5,7
/proc/22503/stat : 22503 (nacre_mini_rele) R 22500 22503 20510 0 -1 4202496 471254 0 0 0 208172 49 0 0 20 0 1 0 407195329 259837952 57278 33554432000 4194304 4935366 140721108608560 140721108606072 4461250 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 34697216 140721108612097 140721108612197 140721108612197 140721108615106 0
/proc/22503/statm: 63437 57278 622 181 0 57054 0
Current children cumulated CPU time: 2082.21 s
Current children cumulated vsize: 253748 KiB
Current children cumulated memory: 229112 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 22756
/proc/meminfo: memFree=20245132/32770624 swapFree=66999160/67108860
[pid=22503] ppid=22500 vsize=255944 memory=231296 CPUtime=2142.22 cores=1,3,5,7
/proc/22503/stat : 22503 (nacre_mini_rele) R 22500 22503 20510 0 -1 4202496 473740 0 0 0 214172 50 0 0 20 0 1 0 407195329 262086656 57824 33554432000 4194304 4935366 140721108608560 140721108606248 4430273 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 34697216 140721108612097 140721108612197 140721108612197 140721108615106 0
/proc/22503/statm: 63986 57824 622 181 0 57603 0
Current children cumulated CPU time: 2142.22 s
Current children cumulated vsize: 255944 KiB
Current children cumulated memory: 231296 KiB

[startup+2202.3 s]
/proc/loadavg: 2.53 2.15 2.09 3/199 22761
/proc/meminfo: memFree=20242484/32770624 swapFree=66999160/67108860
[pid=22503] ppid=22500 vsize=258152 memory=233180 CPUtime=2202.21 cores=1,3,5,7
/proc/22503/stat : 22503 (nacre_mini_rele) R 22500 22503 20510 0 -1 4202496 476568 0 0 0 220171 50 0 0 20 0 1 0 407195329 264347648 58295 33554432000 4194304 4935366 140721108608560 140721108606264 4461146 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 34697216 140721108612097 140721108612197 140721108612197 140721108615106 0
/proc/22503/statm: 64538 58295 622 181 0 58155 0
Current children cumulated CPU time: 2202.21 s
Current children cumulated vsize: 258152 KiB
Current children cumulated memory: 233180 KiB

[startup+2262.3 s]
/proc/loadavg: 2.23 2.14 2.09 3/199 22765
/proc/meminfo: memFree=20239764/32770624 swapFree=66999160/67108860
[pid=22503] ppid=22500 vsize=259988 memory=234872 CPUtime=2262.22 cores=1,3,5,7
/proc/22503/stat : 22503 (nacre_mini_rele) R 22500 22503 20510 0 -1 4202496 479860 0 0 0 226171 51 0 0 20 0 1 0 407195329 266227712 58718 33554432000 4194304 4935366 140721108608560 140721108606248 4461250 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 34697216 140721108612097 140721108612197 140721108612197 140721108615106 0
/proc/22503/statm: 64997 58718 622 181 0 58614 0
Current children cumulated CPU time: 2262.22 s
Current children cumulated vsize: 259988 KiB
Current children cumulated memory: 234872 KiB

[startup+2322.3 s]
/proc/loadavg: 2.08 2.11 2.08 3/200 22778
/proc/meminfo: memFree=20219508/32770624 swapFree=66999160/67108860
[pid=22503] ppid=22500 vsize=263760 memory=238172 CPUtime=2322.22 cores=1,3,5,7
/proc/22503/stat : 22503 (nacre_mini_rele) R 22500 22503 20510 0 -1 4202496 483777 0 0 0 232171 51 0 0 20 0 1 0 407195329 270090240 59543 33554432000 4194304 4935366 140721108608560 140721108606264 4461069 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 34697216 140721108612097 140721108612197 140721108612197 140721108615106 0
/proc/22503/statm: 65940 59543 622 181 0 59557 0
Current children cumulated CPU time: 2322.22 s
Current children cumulated vsize: 263760 KiB
Current children cumulated memory: 238172 KiB

[startup+2382.3 s]
/proc/loadavg: 2.12 2.12 2.09 3/200 22805
/proc/meminfo: memFree=20205068/32770624 swapFree=66999160/67108860
[pid=22503] ppid=22500 vsize=266096 memory=240456 CPUtime=2382.22 cores=1,3,5,7
/proc/22503/stat : 22503 (nacre_mini_rele) R 22500 22503 20510 0 -1 4202496 488089 0 0 0 238170 52 0 0 20 0 1 0 407195329 272482304 60114 33554432000 4194304 4935366 140721108608560 140721108606248 4430265 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 34697216 140721108612097 140721108612197 140721108612197 140721108615106 0
/proc/22503/statm: 66524 60114 622 181 0 60141 0
Current children cumulated CPU time: 2382.22 s
Current children cumulated vsize: 266096 KiB
Current children cumulated memory: 240456 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.11 s]
/proc/loadavg: 2.10 2.12 2.09 3/200 22805
/proc/meminfo: memFree=20198124/32770624 swapFree=66999160/67108860
[pid=22503] ppid=22500 vsize=267812 memory=242352 CPUtime=2400.02 cores=1,3,5,7
/proc/22503/stat : 22503 (nacre_mini_rele) R 22500 22503 20510 0 -1 4202496 492723 0 0 0 239950 52 0 0 20 0 1 0 407195329 274239488 60588 33554432000 4194304 4935366 140721108608560 140721108606312 4420768 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 34697216 140721108612097 140721108612197 140721108612197 140721108615106 0
/proc/22503/statm: 66953 60588 622 181 0 60570 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 267812 KiB
Current children cumulated memory: 242352 KiB

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

[startup+2400.11 s]
# the end of solver process 22503 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.51 s, system=0.531999 s

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

[startup+2400.11 s]
/proc/loadavg: 2.10 2.12 2.09 3/200 22805
/proc/meminfo: memFree=20198124/32770624 swapFree=66999160/67108860
[pid=22503] ppid=22500 vsize=267812 memory=242352 CPUtime=2400.02 cores=1,3,5,7
/proc/22503/stat : 22503 (nacre_mini_rele) R 22500 22503 20510 0 -1 4202496 492723 0 0 0 239950 52 0 0 20 0 1 0 407195329 274239488 60588 33554432000 4194304 4935366 140721108608560 140721108606312 4420768 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 34697216 140721108612097 140721108612197 140721108612197 140721108615106 0
/proc/22503/statm: 66953 60588 622 181 0 60570 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 267812 KiB
Current children cumulated memory: 242352 KiB

Child status: 0
Real time (s): 2400.11
CPU time (s): 2400.04
CPU user time (s): 2399.51
CPU system time (s): 0.531999
CPU usage (%): 99.9969
Max. virtual memory (cumulated for all children) (KiB): 267812
Max. memory (cumulated for all children) (KiB): 242352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.51
system time used= 0.531999
maximum resident set size= 242424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 492771
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= 112
involuntary context switches= 1712


# summary of solver processes directly reported to runsolver:
#   pid: 22503
#   total CPU time (s): 2400.04
#   total CPU user time (s): 2399.51
#   total CPU system time (s): 0.531999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.14871 second user time and 17.8964 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-12 20:22:09
IDJOB=4391504
IDBENCH=133594
IDSOLVER=2834
FILE ID=node140/4391504-1568312569
RUNJOBID= node140-1568307582-20542
PBS_JOBID= 21701122
Free space on /tmp= 56868 MiB

SOLVER NAME= NACRE 1.0.5-Hybrid
BENCH NAME= XCSP17/MagicHexagon/MagicHexagon-m1-s1/MagicHexagon-07-0080.xml
COMMAND LINE= nacre_mini_release BENCHNAME -ca -l100 -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391504-1568312569/watcher-4391504-1568312569 -o /tmp/evaluation-result-4391504-1568312569/solver-4391504-1568312569 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568307582-20542 --watchdog 2560  nacre_mini_release HOME/instance-4391504-1568312569.xml -ca -l100 -cm

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

MD5SUM BENCH= 9b203975fed1c25a0b87c4f345706814
RANDOM SEED=646280379

node140.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.43
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.43
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.43
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.43
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:        21773528 kB
MemAvailable:   31632052 kB
Buffers:          145784 kB
Cached:          9888028 kB
SwapCached:         2864 kB
Active:          1783888 kB
Inactive:        8485260 kB
Active(anon):     232020 kB
Inactive(anon):    43968 kB
Active(file):    1551868 kB
Inactive(file):  8441292 kB
Unevictable:      107728 kB
Mlocked:          107728 kB
SwapTotal:      67108860 kB
SwapFree:       66999156 kB
Dirty:               776 kB
Writeback:             0 kB
AnonPages:        314556 kB
Mapped:            44312 kB
Shmem:             32132 kB
Slab:             323360 kB
SReclaimable:     293824 kB
SUnreclaim:        29536 kB
KernelStack:        3584 kB
PageTables:         5952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     758716 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     43008 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 56868 MiB
End job on node140 at 2019-09-12 21:02:09