Trace number 4391545

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.08 2400.41

General information on the benchmark

NameMagicHexagon/MagicHexagon-m1-s1/
MagicHexagon-07-m167.xml
MD5SUMae02566aa5dbc1451df4d54b8d104dd0
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 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.07/2400.40	c
2400.07/2400.40	c # time = 2400.07
2400.07/2400.40	c # Dec = 2299473
2400.07/2400.40	c # Propagate Calls = 11564889321
2400.07/2400.40	c # assignAt Calls = 4050965
2400.07/2400.40	c # removeAt Calls = 2283317415
2400.07/2400.40	c # Run = 4095
2400.07/2400.40	c # Conflicts = 2278821
2400.07/2400.40	c # Memory used = 549.18 Mb
2400.07/2400.40	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 (15227 MiB free)
  memory of node 1: 16384 MiB (14130 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391545-1568312853/watcher-4391545-1568312853 -o /tmp/evaluation-result-4391545-1568312853/solver-4391545-1568312853 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568306240-27781 --watchdog 2560 nacre_mini_release HOME/instance-4391545-1568312853.xml -ca -l100 -cm 

running on 4 cores: 0,2,4,6

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=29339, runsolver pid=29336

[startup+0.100195 s]*
/proc/loadavg: 2.00 2.01 2.03 3/203 29340
/proc/meminfo: memFree=30053584/32770624 swapFree=66965900/67108860
[pid=29339] ppid=29336 vsize=32172 memory=8356 CPUtime=0.1 cores=0,2,4,6
/proc/29339/stat : 29339 (nacre_mini_rele) R 29336 29339 25882 0 -1 4202496 2578 0 0 0 10 0 0 0 20 0 1 0 407534837 32944128 2089 33554432000 4194304 4935366 140733555062896 140733555059896 4450346 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13783040 140733555069953 140733555070053 140733555070053 140733555072962 0
/proc/29339/statm: 8043 2089 622 181 0 1660 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32172 KiB
Current children cumulated memory: 8356 KiB

[startup+0.210037 s]*
/proc/loadavg: 2.00 2.01 2.03 3/203 29340
/proc/meminfo: memFree=30052468/32770624 swapFree=66965900/67108860
[pid=29339] ppid=29336 vsize=33364 memory=9676 CPUtime=0.21 cores=0,2,4,6
/proc/29339/stat : 29339 (nacre_mini_rele) R 29336 29339 25882 0 -1 4202496 2877 0 0 0 21 0 0 0 20 0 1 0 407534837 34164736 2419 33554432000 4194304 4935366 140733555062896 140733555059896 139931264981989 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13783040 140733555069953 140733555070053 140733555070053 140733555072962 0
/proc/29339/statm: 8341 2419 622 181 0 1958 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33364 KiB
Current children cumulated memory: 9676 KiB

[startup+0.30961 s]*
/proc/loadavg: 2.00 2.01 2.03 3/203 29340
/proc/meminfo: memFree=30051352/32770624 swapFree=66965900/67108860
[pid=29339] ppid=29336 vsize=34460 memory=10468 CPUtime=0.31 cores=0,2,4,6
/proc/29339/stat : 29339 (nacre_mini_rele) R 29336 29339 25882 0 -1 4202496 3131 0 0 0 31 0 0 0 20 0 1 0 407534837 35287040 2617 33554432000 4194304 4935366 140733555062896 140733555059896 139931265837475 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13783040 140733555069953 140733555070053 140733555070053 140733555072962 0
/proc/29339/statm: 8615 2617 622 181 0 2232 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 34460 KiB
Current children cumulated memory: 10468 KiB

[startup+0.700359 s]
/proc/loadavg: 2.00 2.01 2.03 3/203 29340
/proc/meminfo: memFree=30045792/32770624 swapFree=66965900/67108860
[pid=29339] ppid=29336 vsize=42724 memory=18916 CPUtime=0.69 cores=0,2,4,6
/proc/29339/stat : 29339 (nacre_mini_rele) R 29336 29339 25882 0 -1 4202496 5215 0 0 0 68 1 0 0 20 0 1 0 407534837 43749376 4729 33554432000 4194304 4935366 140733555062896 140733555060648 4430273 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13783040 140733555069953 140733555070053 140733555070053 140733555072962 0
/proc/29339/statm: 10681 4729 622 181 0 4298 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 42724 KiB
Current children cumulated memory: 18916 KiB

[startup+1.50036 s]
/proc/loadavg: 2.00 2.01 2.03 3/203 29340
/proc/meminfo: memFree=30038724/32770624 swapFree=66965900/67108860
[pid=29339] ppid=29336 vsize=52008 memory=28156 CPUtime=1.49 cores=0,2,4,6
/proc/29339/stat : 29339 (nacre_mini_rele) R 29336 29339 25882 0 -1 4202496 7515 0 0 0 148 1 0 0 20 0 1 0 407534837 53256192 7039 33554432000 4194304 4935366 140733555062896 140733555060648 139931265837483 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13783040 140733555069953 140733555070053 140733555070053 140733555072962 0
/proc/29339/statm: 13002 7039 622 181 0 6619 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 52008 KiB
Current children cumulated memory: 28156 KiB

[startup+3.10982 s]
/proc/loadavg: 2.00 2.01 2.03 3/203 29340
/proc/meminfo: memFree=30017320/32770624 swapFree=66965900/67108860
[pid=29339] ppid=29336 vsize=68464 memory=44508 CPUtime=3.1 cores=0,2,4,6
/proc/29339/stat : 29339 (nacre_mini_rele) R 29336 29339 25882 0 -1 4202496 16844 0 0 0 307 3 0 0 20 0 1 0 407534837 70107136 11127 33554432000 4194304 4935366 140733555062896 140733555060456 4430256 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13783040 140733555069953 140733555070053 140733555070053 140733555072962 0
/proc/29339/statm: 17116 11127 622 181 0 10733 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 68464 KiB
Current children cumulated memory: 44508 KiB

[startup+6.30038 s]
/proc/loadavg: 2.00 2.01 2.03 3/203 29340
/proc/meminfo: memFree=29988864/32770624 swapFree=66965900/67108860
[pid=29339] ppid=29336 vsize=97740 memory=73652 CPUtime=6.29 cores=0,2,4,6
/proc/29339/stat : 29339 (nacre_mini_rele) R 29336 29339 25882 0 -1 4202496 34417 0 0 0 625 4 0 0 20 0 1 0 407534837 100085760 18413 33554432000 4194304 4935366 140733555062896 140733555060408 139931264981989 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13783040 140733555069953 140733555070053 140733555070053 140733555072962 0
/proc/29339/statm: 24435 18413 622 181 0 18052 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 97740 KiB
Current children cumulated memory: 73652 KiB

[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.03 3/203 29340
/proc/meminfo: memFree=29969272/32770624 swapFree=66965900/67108860
[pid=29339] ppid=29336 vsize=118420 memory=94440 CPUtime=12.69 cores=0,2,4,6
/proc/29339/stat : 29339 (nacre_mini_rele) R 29336 29339 25882 0 -1 4202496 56888 0 0 0 1263 6 0 0 20 0 1 0 407534837 121262080 23610 33554432000 4194304 4935366 140733555062896 140733555060648 4420576 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13783040 140733555069953 140733555070053 140733555070053 140733555072962 0
/proc/29339/statm: 29605 23610 622 181 0 23222 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 118420 KiB
Current children cumulated memory: 94440 KiB

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.03 3/203 29342
/proc/meminfo: memFree=29945040/32770624 swapFree=66965900/67108860
[pid=29339] ppid=29336 vsize=138992 memory=114608 CPUtime=25.49 cores=0,2,4,6
/proc/29339/stat : 29339 (nacre_mini_rele) R 29336 29339 25882 0 -1 4202496 105663 0 0 0 2540 9 0 0 20 0 1 0 407534837 142327808 28652 33554432000 4194304 4935366 140733555062896 140733555060600 4461517 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13783040 140733555069953 140733555070053 140733555070053 140733555072962 0
/proc/29339/statm: 34748 28652 622 181 0 28365 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 138992 KiB
Current children cumulated memory: 114608 KiB

[startup+51.11 s]
/proc/loadavg: 2.00 2.01 2.03 3/202 29343
/proc/meminfo: memFree=29917012/32770624 swapFree=66965900/67108860
[pid=29339] ppid=29336 vsize=165240 memory=140364 CPUtime=51.09 cores=0,2,4,6
/proc/29339/stat : 29339 (nacre_mini_rele) R 29336 29339 25882 0 -1 4202496 146190 0 0 0 5096 13 0 0 20 0 1 0 407534837 169205760 35091 33554432000 4194304 4935366 140733555062896 140733555060648 4461069 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13783040 140733555069953 140733555070053 140733555070053 140733555072962 0
/proc/29339/statm: 41310 35091 622 181 0 34927 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 165240 KiB
Current children cumulated memory: 140364 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/202 29348
/proc/meminfo: memFree=29874248/32770624 swapFree=66965908/67108860
[pid=29339] ppid=29336 vsize=195576 memory=170324 CPUtime=102.29 cores=0,2,4,6
/proc/29339/stat : 29339 (nacre_mini_rele) R 29336 29339 25882 0 -1 4202496 189282 0 0 0 10211 18 0 0 20 0 1 0 407534837 200269824 42581 33554432000 4194304 4935366 140733555062896 140733555060648 4461073 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13783040 140733555069953 140733555070053 140733555070053 140733555072962 0
/proc/29339/statm: 48894 42581 622 181 0 42511 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 195576 KiB
Current children cumulated memory: 170324 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/202 29354
/proc/meminfo: memFree=29831884/32770624 swapFree=66965908/67108860
[pid=29339] ppid=29336 vsize=216440 memory=191440 CPUtime=162.28 cores=0,2,4,6
/proc/29339/stat : 29339 (nacre_mini_rele) R 29336 29339 25882 0 -1 4202496 236534 0 0 0 16206 22 0 0 20 0 1 0 407534837 221634560 47860 33554432000 4194304 4935366 140733555062896 140733555060648 4430273 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13783040 140733555069953 140733555070053 140733555070053 140733555072962 0
/proc/29339/statm: 54110 47860 622 181 0 47727 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 216440 KiB
Current children cumulated memory: 191440 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/202 29365
/proc/meminfo: memFree=29797284/32770624 swapFree=66965916/67108860
[pid=29339] ppid=29336 vsize=241668 memory=215872 CPUtime=222.28 cores=0,2,4,6
/proc/29339/stat : 29339 (nacre_mini_rele) R 29336 29339 25882 0 -1 4202496 288880 0 0 0 22200 28 0 0 20 0 1 0 407534837 247468032 53968 33554432000 4194304 4935366 140733555062896 140733555060648 139931265837459 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13783040 140733555069953 140733555070053 140733555070053 140733555072962 0
/proc/29339/statm: 60417 53968 622 181 0 54034 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 241668 KiB
Current children cumulated memory: 215872 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/203 29370
/proc/meminfo: memFree=29762920/32770624 swapFree=66965916/67108860
[pid=29339] ppid=29336 vsize=258216 memory=232432 CPUtime=282.27 cores=0,2,4,6
/proc/29339/stat : 29339 (nacre_mini_rele) R 29336 29339 25882 0 -1 4202496 344711 0 0 0 28193 34 0 0 20 0 1 0 407534837 264413184 58108 33554432000 4194304 4935366 140733555062896 140733555060600 4461247 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13783040 140733555069953 140733555070053 140733555070053 140733555072962 0
/proc/29339/statm: 64554 58108 622 181 0 58171 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 258216 KiB
Current children cumulated memory: 232432 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/203 29376
/proc/meminfo: memFree=29735980/32770624 swapFree=66965916/67108860
[pid=29339] ppid=29336 vsize=271580 memory=245688 CPUtime=342.26 cores=0,2,4,6
/proc/29339/stat : 29339 (nacre_mini_rele) R 29336 29339 25882 0 -1 4202496 402844 0 0 0 34188 38 0 0 20 0 1 0 407534837 278097920 61422 33554432000 4194304 4935366 140733555062896 140733555060600 4461261 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13783040 140733555069953 140733555070053 140733555070053 140733555072962 0
/proc/29339/statm: 67895 61422 622 181 0 61512 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 271580 KiB
Current children cumulated memory: 245688 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/203 29380
/proc/meminfo: memFree=29713240/32770624 swapFree=66965916/67108860
[pid=29339] ppid=29336 vsize=289692 memory=262508 CPUtime=402.26 cores=0,2,4,6
/proc/29339/stat : 29339 (nacre_mini_rele) R 29336 29339 25882 0 -1 4202496 465943 0 0 0 40182 44 0 0 20 0 1 0 407534837 296644608 65627 33554432000 4194304 4935366 140733555062896 140733555060600 4430232 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13783040 140733555069953 140733555070053 140733555070053 140733555072962 0
/proc/29339/statm: 72423 65627 622 181 0 66040 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 289692 KiB
Current children cumulated memory: 262508 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/203 29384
/proc/meminfo: memFree=29682572/32770624 swapFree=66965916/67108860
[pid=29339] ppid=29336 vsize=307748 memory=280568 CPUtime=462.25 cores=0,2,4,6
/proc/29339/stat : 29339 (nacre_mini_rele) R 29336 29339 25882 0 -1 4202496 530960 0 0 0 46174 51 0 0 20 0 1 0 407534837 315133952 70142 33554432000 4194304 4935366 140733555062896 140733555060408 4450144 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13783040 140733555069953 140733555070053 140733555070053 140733555072962 0
/proc/29339/statm: 76937 70142 622 181 0 70554 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 307748 KiB
Current children cumulated memory: 280568 KiB


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

/proc/29339/statm: 116479 110442 622 181 0 110096 0
Current children cumulated CPU time: 1602.04 s
Current children cumulated vsize: 465916 KiB
Current children cumulated memory: 441768 KiB

[startup+1662.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/203 29745
/proc/meminfo: memFree=30430608/32770624 swapFree=66965932/67108860
[pid=29339] ppid=29336 vsize=475628 memory=451472 CPUtime=1662.04 cores=0,2,4,6
/proc/29339/stat : 29339 (nacre_mini_rele) R 29336 29339 25882 0 -1 4202496 1144699 0 0 0 166088 116 0 0 20 0 1 0 407534837 487043072 112868 33554432000 4194304 4935366 140733555062896 140733555060584 4450164 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13783040 140733555069953 140733555070053 140733555070053 140733555072962 0
/proc/29339/statm: 118907 112868 622 181 0 112524 0
Current children cumulated CPU time: 1662.04 s
Current children cumulated vsize: 475628 KiB
Current children cumulated memory: 451472 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/202 29750
/proc/meminfo: memFree=30415156/32770624 swapFree=66965936/67108860
[pid=29339] ppid=29336 vsize=482464 memory=458036 CPUtime=1722.03 cores=0,2,4,6
/proc/29339/stat : 29339 (nacre_mini_rele) R 29336 29339 25882 0 -1 4202496 1150984 0 0 0 172086 117 0 0 20 0 1 0 407534837 494043136 114509 33554432000 4194304 4935366 140733555062896 140733555060600 4450164 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13783040 140733555069953 140733555070053 140733555070053 140733555072962 0
/proc/29339/statm: 120616 114509 622 181 0 114233 0
Current children cumulated CPU time: 1722.03 s
Current children cumulated vsize: 482464 KiB
Current children cumulated memory: 458036 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/203 29757
/proc/meminfo: memFree=30401756/32770624 swapFree=66965936/67108860
[pid=29339] ppid=29336 vsize=488564 memory=464004 CPUtime=1782.03 cores=0,2,4,6
/proc/29339/stat : 29339 (nacre_mini_rele) R 29336 29339 25882 0 -1 4202496 1158205 0 0 0 178085 118 0 0 20 0 1 0 407534837 500289536 116001 33554432000 4194304 4935366 140733555062896 140733555060648 4430273 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13783040 140733555069953 140733555070053 140733555070053 140733555072962 0
/proc/29339/statm: 122141 116001 622 181 0 115758 0
Current children cumulated CPU time: 1782.03 s
Current children cumulated vsize: 488564 KiB
Current children cumulated memory: 464004 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/203 29761
/proc/meminfo: memFree=30394616/32770624 swapFree=66965936/67108860
[pid=29339] ppid=29336 vsize=494108 memory=469572 CPUtime=1842.02 cores=0,2,4,6
/proc/29339/stat : 29339 (nacre_mini_rele) R 29336 29339 25882 0 -1 4202496 1167340 0 0 0 184083 119 0 0 20 0 1 0 407534837 505966592 117393 33554432000 4194304 4935366 140733555062896 140733555060648 4461252 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13783040 140733555069953 140733555070053 140733555070053 140733555072962 0
/proc/29339/statm: 123527 117393 622 181 0 117144 0
Current children cumulated CPU time: 1842.02 s
Current children cumulated vsize: 494108 KiB
Current children cumulated memory: 469572 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/203 29766
/proc/meminfo: memFree=30377828/32770624 swapFree=66965944/67108860
[pid=29339] ppid=29336 vsize=499096 memory=474568 CPUtime=1902.02 cores=0,2,4,6
/proc/29339/stat : 29339 (nacre_mini_rele) R 29336 29339 25882 0 -1 4202496 1176435 0 0 0 190082 120 0 0 20 0 1 0 407534837 511074304 118642 33554432000 4194304 4935366 140733555062896 140733555060648 4461227 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13783040 140733555069953 140733555070053 140733555070053 140733555072962 0
/proc/29339/statm: 124774 118642 622 181 0 118391 0
Current children cumulated CPU time: 1902.02 s
Current children cumulated vsize: 499096 KiB
Current children cumulated memory: 474568 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/203 29772
/proc/meminfo: memFree=30358844/32770624 swapFree=66965944/67108860
[pid=29339] ppid=29336 vsize=509284 memory=484472 CPUtime=1962.01 cores=0,2,4,6
/proc/29339/stat : 29339 (nacre_mini_rele) R 29336 29339 25882 0 -1 4202496 1189292 0 0 0 196079 122 0 0 20 0 1 0 407534837 521506816 121118 33554432000 4194304 4935366 140733555062896 140733555060408 4461238 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13783040 140733555069953 140733555070053 140733555070053 140733555072962 0
/proc/29339/statm: 127321 121118 622 181 0 120938 0
Current children cumulated CPU time: 1962.01 s
Current children cumulated vsize: 509284 KiB
Current children cumulated memory: 484472 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 29783
/proc/meminfo: memFree=30355044/32770624 swapFree=66965948/67108860
[pid=29339] ppid=29336 vsize=512944 memory=487808 CPUtime=2022.01 cores=0,2,4,6
/proc/29339/stat : 29339 (nacre_mini_rele) R 29336 29339 25882 0 -1 4202496 1201743 0 0 0 202077 124 0 0 20 0 1 0 407534837 525254656 121952 33554432000 4194304 4935366 140733555062896 140733555060408 4461250 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13783040 140733555069953 140733555070053 140733555070053 140733555072962 0
/proc/29339/statm: 128236 121952 622 181 0 121853 0
Current children cumulated CPU time: 2022.01 s
Current children cumulated vsize: 512944 KiB
Current children cumulated memory: 487808 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 29810
/proc/meminfo: memFree=30347044/32770624 swapFree=66965952/67108860
[pid=29339] ppid=29336 vsize=520932 memory=494400 CPUtime=2082.01 cores=0,2,4,6
/proc/29339/stat : 29339 (nacre_mini_rele) R 29336 29339 25882 0 -1 4202496 1215812 0 0 0 208075 126 0 0 20 0 1 0 407534837 533434368 123600 33554432000 4194304 4935366 140733555062896 140733555060600 4461073 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13783040 140733555069953 140733555070053 140733555070053 140733555072962 0
/proc/29339/statm: 130233 123600 622 181 0 123850 0
Current children cumulated CPU time: 2082.01 s
Current children cumulated vsize: 520932 KiB
Current children cumulated memory: 494400 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 29817
/proc/meminfo: memFree=30338896/32770624 swapFree=66965952/67108860
[pid=29339] ppid=29336 vsize=525008 memory=500348 CPUtime=2141.99 cores=0,2,4,6
/proc/29339/stat : 29339 (nacre_mini_rele) R 29336 29339 25882 0 -1 4202496 1219449 0 0 0 214072 127 0 0 20 0 1 0 407534837 537608192 125087 33554432000 4194304 4935366 140733555062896 140733555060584 4461247 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13783040 140733555069953 140733555070053 140733555070053 140733555072962 0
/proc/29339/statm: 131252 125087 622 181 0 124869 0
Current children cumulated CPU time: 2141.99 s
Current children cumulated vsize: 525008 KiB
Current children cumulated memory: 500348 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 29821
/proc/meminfo: memFree=30316676/32770624 swapFree=66965952/67108860
[pid=29339] ppid=29336 vsize=529404 memory=504708 CPUtime=2201.98 cores=0,2,4,6
/proc/29339/stat : 29339 (nacre_mini_rele) R 29336 29339 25882 0 -1 4202496 1222731 0 0 0 220071 127 0 0 20 0 1 0 407534837 542109696 126177 33554432000 4194304 4935366 140733555062896 140733555060600 4461216 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13783040 140733555069953 140733555070053 140733555070053 140733555072962 0
/proc/29339/statm: 132351 126177 622 181 0 125968 0
Current children cumulated CPU time: 2201.98 s
Current children cumulated vsize: 529404 KiB
Current children cumulated memory: 504708 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 29825
/proc/meminfo: memFree=30297148/32770624 swapFree=66965952/67108860
[pid=29339] ppid=29336 vsize=545896 memory=520928 CPUtime=2261.98 cores=0,2,4,6
/proc/29339/stat : 29339 (nacre_mini_rele) R 29336 29339 25882 0 -1 4202496 1230884 0 0 0 226068 130 0 0 20 0 1 0 407534837 558997504 130232 33554432000 4194304 4935366 140733555062896 140733555060600 4430232 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13783040 140733555069953 140733555070053 140733555070053 140733555072962 0
/proc/29339/statm: 136474 130232 622 181 0 130091 0
Current children cumulated CPU time: 2261.98 s
Current children cumulated vsize: 545896 KiB
Current children cumulated memory: 520928 KiB

[startup+2322.3 s]
/proc/loadavg: 2.16 2.05 2.06 3/204 29832
/proc/meminfo: memFree=30286604/32770624 swapFree=66965952/67108860
[pid=29339] ppid=29336 vsize=555000 memory=530000 CPUtime=2321.97 cores=0,2,4,6
/proc/29339/stat : 29339 (nacre_mini_rele) R 29336 29339 25882 0 -1 4202496 1240742 0 0 0 232066 131 0 0 20 0 1 0 407534837 568320000 132500 33554432000 4194304 4935366 140733555062896 140733555060408 4461250 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13783040 140733555069953 140733555070053 140733555070053 140733555072962 0
/proc/29339/statm: 138750 132500 622 181 0 132367 0
Current children cumulated CPU time: 2321.97 s
Current children cumulated vsize: 555000 KiB
Current children cumulated memory: 530000 KiB

[startup+2382.3 s]
/proc/loadavg: 2.14 2.06 2.06 3/203 29836
/proc/meminfo: memFree=30263688/32770624 swapFree=66965952/67108860
[pid=29339] ppid=29336 vsize=573592 memory=548508 CPUtime=2381.97 cores=0,2,4,6
/proc/29339/stat : 29339 (nacre_mini_rele) R 29336 29339 25882 0 -1 4202496 1253637 0 0 0 238064 133 0 0 20 0 1 0 407534837 587358208 137127 33554432000 4194304 4935366 140733555062896 140733555060600 4450339 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13783040 140733555069953 140733555070053 140733555070053 140733555072962 0
/proc/29339/statm: 143398 137127 622 181 0 137015 0
Current children cumulated CPU time: 2381.97 s
Current children cumulated vsize: 573592 KiB
Current children cumulated memory: 548508 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.4 s]
/proc/loadavg: 2.39 2.12 2.08 3/203 29837
/proc/meminfo: memFree=30259460/32770624 swapFree=66965952/67108860
[pid=29339] ppid=29336 vsize=574424 memory=549084 CPUtime=2400.07 cores=0,2,4,6
/proc/29339/stat : 29339 (nacre_mini_rele) R 29336 29339 25882 0 -1 4202496 1258360 0 0 0 239874 133 0 0 20 0 1 0 407534837 588210176 137271 33554432000 4194304 4935366 140733555062896 140733555060408 4430232 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13783040 140733555069953 140733555070053 140733555070053 140733555072962 0
/proc/29339/statm: 143606 137271 622 181 0 137223 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 574424 KiB
Current children cumulated memory: 549084 KiB

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

[startup+2400.41 s]
# the end of solver process 29339 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.74 s, system=1.3439 s

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

Child status: 0
Real time (s): 2400.41
CPU time (s): 2400.08
CPU user time (s): 2398.74
CPU system time (s): 1.3439
CPU usage (%): 99.9866
Max. virtual memory (cumulated for all children) (KiB): 574424
Max. memory (cumulated for all children) (KiB): 549084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.74
system time used= 1.3439
maximum resident set size= 549216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1258404
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= 219
involuntary context switches= 3027


# summary of solver processes directly reported to runsolver:
#   pid: 29339
#   total CPU time (s): 2400.08
#   total CPU user time (s): 2398.74
#   total CPU system time (s): 1.3439

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.73908 second user time and 17.7235 second system time

The end

Launcher Data 

Begin job on node135 at 2019-09-12 20:26:53
IDJOB=4391545
IDBENCH=133654
IDSOLVER=2834
FILE ID=node135/4391545-1568312853
RUNJOBID= node135-1568306240-27781
PBS_JOBID= 21701112
Free space on /tmp= 59128 MiB

SOLVER NAME= NACRE 1.0.5-Hybrid
BENCH NAME= XCSP17/MagicHexagon/MagicHexagon-m1-s1/MagicHexagon-07-m167.xml
COMMAND LINE= nacre_mini_release BENCHNAME -ca -l100 -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391545-1568312853/watcher-4391545-1568312853 -o /tmp/evaluation-result-4391545-1568312853/solver-4391545-1568312853 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568306240-27781 --watchdog 2560  nacre_mini_release HOME/instance-4391545-1568312853.xml -ca -l100 -cm

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

MD5SUM BENCH= ae02566aa5dbc1451df4d54b8d104dd0
RANDOM SEED=1796417273

node135.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.76
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.76
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.76
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.76
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:        30062424 kB
MemAvailable:   30856788 kB
Buffers:          112316 kB
Cached:           949208 kB
SwapCached:        36116 kB
Active:          1430432 kB
Inactive:         679920 kB
Active(anon):    1020096 kB
Inactive(anon):    59684 kB
Active(file):     410336 kB
Inactive(file):   620236 kB
Unevictable:      109772 kB
Mlocked:          109772 kB
SwapTotal:      67108860 kB
SwapFree:       66965900 kB
Dirty:               820 kB
Writeback:             0 kB
AnonPages:       1123124 kB
Mapped:            33968 kB
Shmem:             22336 kB
Slab:             189888 kB
SReclaimable:     159256 kB
SUnreclaim:        30632 kB
KernelStack:        3568 kB
PageTables:         7992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1538108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1073152 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 59124 MiB
End job on node135 at 2019-09-12 21:06:53