Trace number 4391546

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.06 2400.51

General information on the benchmark

NameMagicHexagon/MagicHexagon-m1-s1/
MagicHexagon-07-m102.xml
MD5SUMbbadb8bb150fe08b457e14a3e1d53e02
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.04/2400.50	c
2400.04/2400.50	c # time = 2400.04
2400.04/2400.50	c # Dec = 2571908
2400.04/2400.50	c # Propagate Calls = 12852789933
2400.04/2400.50	c # assignAt Calls = 4624999
2400.04/2400.50	c # removeAt Calls = 1882789567
2400.04/2400.50	c # Run = 4348
2400.04/2400.50	c # Conflicts = 2541751
2400.04/2400.50	c # Memory used = 1159.06 Mb
2400.04/2400.50	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 (13823 MiB free)
  memory of node 1: 16384 MiB (13924 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391546-1568311946/watcher-4391546-1568311946 -o /tmp/evaluation-result-4391546-1568311946/solver-4391546-1568311946 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568301555-23461 --watchdog 2560 nacre_mini_release HOME/instance-4391546-1568311946.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
solver pid=26270, runsolver pid=26267
Current StackSize limit: 8192 KiB


[startup+0.100196 s]*
/proc/loadavg: 2.03 2.13 2.11 3/200 26271
/proc/meminfo: memFree=28408528/32770624 swapFree=67004752/67108860
[pid=26270] ppid=26267 vsize=32300 memory=8356 CPUtime=0.1 cores=0,2,4,6
/proc/26270/stat : 26270 (nacre_mini_rele) R 26267 26270 11220 0 -1 4202496 2592 0 0 0 10 0 0 0 20 0 1 0 407462430 33075200 2089 33554432000 4194304 4935366 140736629462528 140736629459528 4450346 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27250688 140736629466113 140736629466213 140736629466213 140736629469122 0
/proc/26270/statm: 8075 2089 622 181 0 1692 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32300 KiB
Current children cumulated memory: 8356 KiB

[startup+0.209882 s]*
/proc/loadavg: 2.03 2.13 2.11 3/200 26271
/proc/meminfo: memFree=28407040/32770624 swapFree=67004752/67108860
[pid=26270] ppid=26267 vsize=33364 memory=9412 CPUtime=0.21 cores=0,2,4,6
/proc/26270/stat : 26270 (nacre_mini_rele) R 26267 26270 11220 0 -1 4202496 2853 0 0 0 21 0 0 0 20 0 1 0 407462430 34164736 2353 33554432000 4194304 4935366 140736629462528 140736629459528 140343189175269 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27250688 140736629466113 140736629466213 140736629466213 140736629469122 0
/proc/26270/statm: 8341 2353 622 181 0 1958 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33364 KiB
Current children cumulated memory: 9412 KiB

[startup+0.309538 s]*
/proc/loadavg: 2.03 2.13 2.11 3/200 26271
/proc/meminfo: memFree=28406296/32770624 swapFree=67004752/67108860
[pid=26270] ppid=26267 vsize=34308 memory=10468 CPUtime=0.31 cores=0,2,4,6
/proc/26270/stat : 26270 (nacre_mini_rele) R 26267 26270 11220 0 -1 4202496 3105 0 0 0 31 0 0 0 20 0 1 0 407462430 35131392 2617 33554432000 4194304 4935366 140736629462528 140736629459528 4430273 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27250688 140736629466113 140736629466213 140736629466213 140736629469122 0
/proc/26270/statm: 8577 2617 622 181 0 2194 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 34308 KiB
Current children cumulated memory: 10468 KiB

[startup+0.700358 s]
/proc/loadavg: 1.86 2.10 2.10 3/200 26271
/proc/meminfo: memFree=28403072/32770624 swapFree=67004752/67108860
[pid=26270] ppid=26267 vsize=40160 memory=16276 CPUtime=0.69 cores=0,2,4,6
/proc/26270/stat : 26270 (nacre_mini_rele) R 26267 26270 11220 0 -1 4202496 4565 0 0 0 69 0 0 0 20 0 1 0 407462430 41123840 4069 33554432000 4194304 4935366 140736629462528 140736629459528 4420649 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27250688 140736629466113 140736629466213 140736629466213 140736629469122 0
/proc/26270/statm: 10040 4069 622 181 0 3657 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40160 KiB
Current children cumulated memory: 16276 KiB

[startup+1.5004 s]
/proc/loadavg: 1.86 2.10 2.10 3/200 26271
/proc/meminfo: memFree=28395756/32770624 swapFree=67004752/67108860
[pid=26270] ppid=26267 vsize=51860 memory=27892 CPUtime=1.49 cores=0,2,4,6
/proc/26270/stat : 26270 (nacre_mini_rele) R 26267 26270 11220 0 -1 4202496 7467 0 0 0 149 0 0 0 20 0 1 0 407462430 53104640 6973 33554432000 4194304 4935366 140736629462528 140736629460280 4430269 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27250688 140736629466113 140736629466213 140736629466213 140736629469122 0
/proc/26270/statm: 12965 6973 622 181 0 6582 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 51860 KiB
Current children cumulated memory: 27892 KiB

[startup+3.10977 s]
/proc/loadavg: 1.86 2.10 2.10 3/200 26271
/proc/meminfo: memFree=28366664/32770624 swapFree=67004752/67108860
[pid=26270] ppid=26267 vsize=73436 memory=49572 CPUtime=3.1 cores=0,2,4,6
/proc/26270/stat : 26270 (nacre_mini_rele) R 26267 26270 11220 0 -1 4202496 19133 0 0 0 309 1 0 0 20 0 1 0 407462430 75198464 12393 33554432000 4194304 4935366 140736629462528 140736629460280 4420768 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27250688 140736629466113 140736629466213 140736629466213 140736629469122 0
/proc/26270/statm: 18359 12393 622 181 0 11976 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 73436 KiB
Current children cumulated memory: 49572 KiB

[startup+6.30042 s]
/proc/loadavg: 1.95 2.11 2.10 3/201 26273
/proc/meminfo: memFree=28331316/32770624 swapFree=67004752/67108860
[pid=26270] ppid=26267 vsize=108572 memory=84596 CPUtime=6.29 cores=0,2,4,6
/proc/26270/stat : 26270 (nacre_mini_rele) R 26267 26270 11220 0 -1 4202496 40142 0 0 0 626 3 0 0 20 0 1 0 407462430 111177728 21149 33554432000 4194304 4935366 140736629462528 140736629460280 4416367 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27250688 140736629466113 140736629466213 140736629466213 140736629469122 0
/proc/26270/statm: 27143 21149 622 181 0 20760 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 108572 KiB
Current children cumulated memory: 84596 KiB

[startup+12.7004 s]
/proc/loadavg: 1.96 2.11 2.10 3/200 26273
/proc/meminfo: memFree=28302920/32770624 swapFree=67004752/67108860
[pid=26270] ppid=26267 vsize=133616 memory=109752 CPUtime=12.68 cores=0,2,4,6
/proc/26270/stat : 26270 (nacre_mini_rele) R 26267 26270 11220 0 -1 4202496 66638 0 0 0 1264 4 0 0 20 0 1 0 407462430 136822784 27438 33554432000 4194304 4935366 140736629462528 140736629460296 4461238 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27250688 140736629466113 140736629466213 140736629466213 140736629469122 0
/proc/26270/statm: 33404 27438 622 181 0 27021 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 133616 KiB
Current children cumulated memory: 109752 KiB

[startup+25.5004 s]
/proc/loadavg: 1.96 2.10 2.10 3/200 26273
/proc/meminfo: memFree=28269840/32770624 swapFree=67004752/67108860
[pid=26270] ppid=26267 vsize=161664 memory=137360 CPUtime=25.49 cores=0,2,4,6
/proc/26270/stat : 26270 (nacre_mini_rele) R 26267 26270 11220 0 -1 4202496 123669 0 0 0 2540 9 0 0 20 0 1 0 407462430 165543936 34340 33554432000 4194304 4935366 140736629462528 140736629460280 140343190030723 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27250688 140736629466113 140736629466213 140736629466213 140736629469122 0
/proc/26270/statm: 40416 34340 622 181 0 34033 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 161664 KiB
Current children cumulated memory: 137360 KiB

[startup+51.1099 s]
/proc/loadavg: 1.98 2.10 2.10 3/200 26276
/proc/meminfo: memFree=28229532/32770624 swapFree=67004752/67108860
[pid=26270] ppid=26267 vsize=191832 memory=167492 CPUtime=51.09 cores=0,2,4,6
/proc/26270/stat : 26270 (nacre_mini_rele) R 26267 26270 11220 0 -1 4202496 174418 0 0 0 5095 14 0 0 20 0 1 0 407462430 196435968 41873 33554432000 4194304 4935366 140736629462528 140736629460280 4450144 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27250688 140736629466113 140736629466213 140736629466213 140736629469122 0
/proc/26270/statm: 47958 41873 622 181 0 41575 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 191832 KiB
Current children cumulated memory: 167492 KiB

[startup+102.3 s]
/proc/loadavg: 2.03 2.10 2.10 3/199 26279
/proc/meminfo: memFree=28171020/32770624 swapFree=67004752/67108860
[pid=26270] ppid=26267 vsize=231212 memory=206664 CPUtime=102.27 cores=0,2,4,6
/proc/26270/stat : 26270 (nacre_mini_rele) R 26267 26270 11220 0 -1 4202496 228701 0 0 0 10207 20 0 0 20 0 1 0 407462430 236761088 51666 33554432000 4194304 4935366 140736629462528 140736629460280 4461261 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27250688 140736629466113 140736629466213 140736629466213 140736629469122 0
/proc/26270/statm: 57803 51666 622 181 0 51420 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 231212 KiB
Current children cumulated memory: 206664 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.08 2.10 3/200 26284
/proc/meminfo: memFree=28118504/32770624 swapFree=67004752/67108860
[pid=26270] ppid=26267 vsize=263660 memory=238984 CPUtime=162.27 cores=0,2,4,6
/proc/26270/stat : 26270 (nacre_mini_rele) R 26267 26270 11220 0 -1 4202496 288238 0 0 0 16201 26 0 0 20 0 1 0 407462430 269987840 59746 33554432000 4194304 4935366 140736629462528 140736629460280 4450992 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27250688 140736629466113 140736629466213 140736629466213 140736629469122 0
/proc/26270/statm: 65915 59746 622 181 0 59532 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 263660 KiB
Current children cumulated memory: 238984 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.06 2.09 3/200 26288
/proc/meminfo: memFree=28075368/32770624 swapFree=67004752/67108860
[pid=26270] ppid=26267 vsize=290280 memory=265536 CPUtime=222.26 cores=0,2,4,6
/proc/26270/stat : 26270 (nacre_mini_rele) R 26267 26270 11220 0 -1 4202496 354707 0 0 0 22194 32 0 0 20 0 1 0 407462430 297246720 66384 33554432000 4194304 4935366 140736629462528 140736629460216 4420768 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27250688 140736629466113 140736629466213 140736629466213 140736629469122 0
/proc/26270/statm: 72570 66384 622 181 0 66187 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 290280 KiB
Current children cumulated memory: 265536 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.05 2.08 3/200 26294
/proc/meminfo: memFree=28040868/32770624 swapFree=67004752/67108860
[pid=26270] ppid=26267 vsize=312072 memory=286172 CPUtime=282.21 cores=0,2,4,6
/proc/26270/stat : 26270 (nacre_mini_rele) R 26267 26270 11220 0 -1 4202496 412727 0 0 0 28184 37 0 0 20 0 1 0 407462430 319561728 71543 33554432000 4194304 4935366 140736629462528 140736629460280 4420962 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27250688 140736629466113 140736629466213 140736629466213 140736629469122 0
/proc/26270/statm: 78018 71543 622 181 0 71635 0
Current children cumulated CPU time: 282.21 s
Current children cumulated vsize: 312072 KiB
Current children cumulated memory: 286172 KiB

[startup+342.3 s]
/proc/loadavg: 1.95 2.03 2.07 3/200 26298
/proc/meminfo: memFree=28000996/32770624 swapFree=67004752/67108860
[pid=26270] ppid=26267 vsize=336404 memory=310572 CPUtime=342.17 cores=0,2,4,6
/proc/26270/stat : 26270 (nacre_mini_rele) R 26267 26270 11220 0 -1 4202496 425881 0 0 0 34177 40 0 0 20 0 1 0 407462430 344477696 77643 33554432000 4194304 4935366 140736629462528 140736629460280 4418762 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27250688 140736629466113 140736629466213 140736629466213 140736629469122 0
/proc/26270/statm: 84101 77643 622 181 0 77718 0
Current children cumulated CPU time: 342.17 s
Current children cumulated vsize: 336404 KiB
Current children cumulated memory: 310572 KiB

[startup+402.3 s]
/proc/loadavg: 1.98 2.02 2.07 3/200 26302
/proc/meminfo: memFree=27761576/32770624 swapFree=67004752/67108860
[pid=26270] ppid=26267 vsize=564388 memory=539444 CPUtime=402.13 cores=0,2,4,6
/proc/26270/stat : 26270 (nacre_mini_rele) R 26267 26270 11220 0 -1 4202496 495160 0 0 0 40165 48 0 0 20 0 1 0 407462430 577933312 134861 33554432000 4194304 4935366 140736629462528 140736629460232 4420870 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27250688 140736629466113 140736629466213 140736629466213 140736629469122 0
/proc/26270/statm: 141097 134861 622 181 0 134714 0
Current children cumulated CPU time: 402.13 s
Current children cumulated vsize: 564388 KiB
Current children cumulated memory: 539444 KiB

[startup+462.3 s]
/proc/loadavg: 1.99 2.02 2.06 3/199 26308
/proc/meminfo: memFree=27642396/32770624 swapFree=67004752/67108860
[pid=26270] ppid=26267 vsize=668248 memory=643652 CPUtime=462.11 cores=0,2,4,6
/proc/26270/stat : 26270 (nacre_mini_rele) R 26267 26270 11220 0 -1 4202496 529820 0 0 0 46157 54 0 0 20 0 1 0 407462430 684285952 160913 33554432000 4194304 4935366 140736629462528 140736629460216 4461216 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27250688 140736629466113 140736629466213 140736629466213 140736629469122 0
/proc/26270/statm: 167062 160913 622 181 0 160679 0
Current children cumulated CPU time: 462.11 s
Current children cumulated vsize: 668248 KiB
Current children cumulated memory: 643652 KiB


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

/proc/26270/statm: 271320 264744 622 181 0 264937 0
Current children cumulated CPU time: 1661.84 s
Current children cumulated vsize: 1085280 KiB
Current children cumulated memory: 1058976 KiB

[startup+1722.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/200 26431
/proc/meminfo: memFree=27022228/32770624 swapFree=67004752/67108860
[pid=26270] ppid=26267 vsize=1085544 memory=1059336 CPUtime=1721.83 cores=0,2,4,6
/proc/26270/stat : 26270 (nacre_mini_rele) R 26267 26270 11220 0 -1 4202496 1230433 0 0 0 172054 129 0 0 20 0 1 0 407462430 1111597056 264834 33554432000 4194304 4935366 140736629462528 140736629460216 4461250 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 27250688 140736629466113 140736629466213 140736629466213 140736629469122 0
/proc/26270/statm: 271386 264834 622 181 0 265003 0
Current children cumulated CPU time: 1721.83 s
Current children cumulated vsize: 1085544 KiB
Current children cumulated memory: 1059336 KiB

[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/200 26435
/proc/meminfo: memFree=27009448/32770624 swapFree=67004752/67108860
[pid=26270] ppid=26267 vsize=1091928 memory=1065724 CPUtime=1781.83 cores=0,2,4,6
/proc/26270/stat : 26270 (nacre_mini_rele) R 26267 26270 11220 0 -1 4202496 1234827 0 0 0 178054 129 0 0 20 0 1 0 407462430 1118134272 266431 33554432000 4194304 4935366 140736629462528 140736629460280 4461261 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 27250688 140736629466113 140736629466213 140736629466213 140736629469122 0
/proc/26270/statm: 272982 266431 622 181 0 266599 0
Current children cumulated CPU time: 1781.83 s
Current children cumulated vsize: 1091928 KiB
Current children cumulated memory: 1065724 KiB

[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 26439
/proc/meminfo: memFree=26992752/32770624 swapFree=67004752/67108860
[pid=26270] ppid=26267 vsize=1102652 memory=1076488 CPUtime=1841.83 cores=0,2,4,6
/proc/26270/stat : 26270 (nacre_mini_rele) R 26267 26270 11220 0 -1 4202496 1243208 0 0 0 184052 131 0 0 20 0 1 0 407462430 1129115648 269122 33554432000 4194304 4935366 140736629462528 140736629460280 4476224 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 27250688 140736629466113 140736629466213 140736629466213 140736629469122 0
/proc/26270/statm: 275663 269122 622 181 0 269280 0
Current children cumulated CPU time: 1841.83 s
Current children cumulated vsize: 1102652 KiB
Current children cumulated memory: 1076488 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 26445
/proc/meminfo: memFree=26978176/32770624 swapFree=67004752/67108860
[pid=26270] ppid=26267 vsize=1110628 memory=1084532 CPUtime=1901.83 cores=0,2,4,6
/proc/26270/stat : 26270 (nacre_mini_rele) R 26267 26270 11220 0 -1 4202496 1252377 0 0 0 190051 132 0 0 20 0 1 0 407462430 1137283072 271133 33554432000 4194304 4935366 140736629462528 140736629460280 4461244 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 27250688 140736629466113 140736629466213 140736629466213 140736629469122 0
/proc/26270/statm: 277657 271133 622 181 0 271274 0
Current children cumulated CPU time: 1901.83 s
Current children cumulated vsize: 1110628 KiB
Current children cumulated memory: 1084532 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 26449
/proc/meminfo: memFree=26962000/32770624 swapFree=67004752/67108860
[pid=26270] ppid=26267 vsize=1120924 memory=1094588 CPUtime=1961.83 cores=0,2,4,6
/proc/26270/stat : 26270 (nacre_mini_rele) R 26267 26270 11220 0 -1 4202496 1263183 0 0 0 196049 134 0 0 20 0 1 0 407462430 1147826176 273647 33554432000 4194304 4935366 140736629462528 140736629460280 4461073 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 27250688 140736629466113 140736629466213 140736629466213 140736629469122 0
/proc/26270/statm: 280231 273647 622 181 0 273848 0
Current children cumulated CPU time: 1961.83 s
Current children cumulated vsize: 1120924 KiB
Current children cumulated memory: 1094588 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 26453
/proc/meminfo: memFree=26900500/32770624 swapFree=67004752/67108860
[pid=26270] ppid=26267 vsize=1175644 memory=1149328 CPUtime=2021.83 cores=0,2,4,6
/proc/26270/stat : 26270 (nacre_mini_rele) R 26267 26270 11220 0 -1 4202496 1292595 0 0 0 202043 140 0 0 20 0 1 0 407462430 1203859456 287332 33554432000 4194304 4935366 140736629462528 140736629460280 4450992 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 27250688 140736629466113 140736629466213 140736629466213 140736629469122 0
/proc/26270/statm: 293911 287332 622 181 0 287528 0
Current children cumulated CPU time: 2021.83 s
Current children cumulated vsize: 1175644 KiB
Current children cumulated memory: 1149328 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 26520
/proc/meminfo: memFree=23063128/32770624 swapFree=67004752/67108860
[pid=26270] ppid=26267 vsize=1178760 memory=1152096 CPUtime=2081.83 cores=0,2,4,6
/proc/26270/stat : 26270 (nacre_mini_rele) R 26267 26270 11220 0 -1 4202496 1315421 0 0 0 208041 142 0 0 20 0 1 0 407462430 1207050240 288024 33554432000 4194304 4935366 140736629462528 140736629460216 4430273 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 27250688 140736629466113 140736629466213 140736629466213 140736629469122 0
/proc/26270/statm: 294690 288024 622 181 0 288307 0
Current children cumulated CPU time: 2081.83 s
Current children cumulated vsize: 1178760 KiB
Current children cumulated memory: 1152096 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 26524
/proc/meminfo: memFree=22795704/32770624 swapFree=67004752/67108860
[pid=26270] ppid=26267 vsize=1181668 memory=1154572 CPUtime=2141.83 cores=0,2,4,6
/proc/26270/stat : 26270 (nacre_mini_rele) R 26267 26270 11220 0 -1 4202496 1338256 0 0 0 214039 144 0 0 20 0 1 0 407462430 1210028032 288643 33554432000 4194304 4935366 140736629462528 140736629460040 4461250 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 27250688 140736629466113 140736629466213 140736629466213 140736629469122 0
/proc/26270/statm: 295417 288643 622 181 0 289034 0
Current children cumulated CPU time: 2141.83 s
Current children cumulated vsize: 1181668 KiB
Current children cumulated memory: 1154572 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 26528
/proc/meminfo: memFree=22793152/32770624 swapFree=67004752/67108860
[pid=26270] ppid=26267 vsize=1184624 memory=1156908 CPUtime=2201.83 cores=0,2,4,6
/proc/26270/stat : 26270 (nacre_mini_rele) R 26267 26270 11220 0 -1 4202496 1359545 0 0 0 220037 146 0 0 20 0 1 0 407462430 1213054976 289227 33554432000 4194304 4935366 140736629462528 140736629460216 4420870 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 27250688 140736629466113 140736629466213 140736629466213 140736629469122 0
/proc/26270/statm: 296156 289227 622 181 0 289773 0
Current children cumulated CPU time: 2201.83 s
Current children cumulated vsize: 1184624 KiB
Current children cumulated memory: 1156908 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 26534
/proc/meminfo: memFree=22792020/32770624 swapFree=67004752/67108860
[pid=26270] ppid=26267 vsize=1185136 memory=1157456 CPUtime=2261.83 cores=0,2,4,6
/proc/26270/stat : 26270 (nacre_mini_rele) R 26267 26270 11220 0 -1 4202496 1374611 0 0 0 226034 149 0 0 20 0 1 0 407462430 1213579264 289364 33554432000 4194304 4935366 140736629462528 140736629460216 4461073 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 27250688 140736629466113 140736629466213 140736629466213 140736629469122 0
/proc/26270/statm: 296284 289364 622 181 0 289901 0
Current children cumulated CPU time: 2261.83 s
Current children cumulated vsize: 1185136 KiB
Current children cumulated memory: 1157456 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 26547
/proc/meminfo: memFree=22791216/32770624 swapFree=67004752/67108860
[pid=26270] ppid=26267 vsize=1185908 memory=1158252 CPUtime=2321.83 cores=0,2,4,6
/proc/26270/stat : 26270 (nacre_mini_rele) R 26267 26270 11220 0 -1 4202496 1405317 0 0 0 232032 151 0 0 20 0 1 0 407462430 1214369792 289563 33554432000 4194304 4935366 140736629462528 140736629460216 4461252 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 27250688 140736629466113 140736629466213 140736629466213 140736629469122 0
/proc/26270/statm: 296477 289563 622 181 0 290094 0
Current children cumulated CPU time: 2321.83 s
Current children cumulated vsize: 1185908 KiB
Current children cumulated memory: 1158252 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 26551
/proc/meminfo: memFree=22790628/32770624 swapFree=67004752/67108860
[pid=26270] ppid=26267 vsize=1186936 memory=1159032 CPUtime=2381.83 cores=0,2,4,6
/proc/26270/stat : 26270 (nacre_mini_rele) R 26267 26270 11220 0 -1 4202496 1424232 0 0 0 238030 153 0 0 20 0 1 0 407462430 1215422464 289758 33554432000 4194304 4935366 140736629462528 140736629460216 4461261 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 27250688 140736629466113 140736629466213 140736629466213 140736629469122 0
/proc/26270/statm: 296734 289758 622 181 0 290351 0
Current children cumulated CPU time: 2381.83 s
Current children cumulated vsize: 1186936 KiB
Current children cumulated memory: 1159032 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.5 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 26554
/proc/meminfo: memFree=22789816/32770624 swapFree=67004752/67108860
[pid=26270] ppid=26267 vsize=1186936 memory=1159032 CPUtime=2400.04 cores=0,2,4,6
/proc/26270/stat : 26270 (nacre_mini_rele) R 26267 26270 11220 0 -1 4202496 1427910 0 0 0 239850 154 0 0 20 0 1 0 407462430 1215422464 289758 33554432000 4194304 4935366 140736629462528 140736629460216 4461073 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 27250688 140736629466113 140736629466213 140736629466213 140736629469122 0
/proc/26270/statm: 296734 289758 622 181 0 290351 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 1186936 KiB
Current children cumulated memory: 1159032 KiB

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

[startup+2400.51 s]
# the end of solver process 26270 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.5 s, system=1.55389 s

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

[startup+2400.5 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 26554
/proc/meminfo: memFree=22789816/32770624 swapFree=67004752/67108860
[pid=26270] ppid=26267 vsize=1186936 memory=1159032 CPUtime=2400.04 cores=0,2,4,6
/proc/26270/stat : 26270 (nacre_mini_rele) R 26267 26270 11220 0 -1 4202496 1427910 0 0 0 239850 154 0 0 20 0 1 0 407462430 1215422464 289758 33554432000 4194304 4935366 140736629462528 140736629460216 4461073 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 27250688 140736629466113 140736629466213 140736629466213 140736629469122 0
/proc/26270/statm: 296734 289758 622 181 0 290351 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 1186936 KiB
Current children cumulated memory: 1159032 KiB

Child status: 0
Real time (s): 2400.51
CPU time (s): 2400.06
CPU user time (s): 2398.5
CPU system time (s): 1.55389
CPU usage (%): 99.9809
Max. virtual memory (cumulated for all children) (KiB): 1186936
Max. memory (cumulated for all children) (KiB): 1159032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.5
system time used= 1.55389
maximum resident set size= 1159092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1427954
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= 476
involuntary context switches= 1887


# summary of solver processes directly reported to runsolver:
#   pid: 26270
#   total CPU time (s): 2400.06
#   total CPU user time (s): 2398.5
#   total CPU system time (s): 1.55389

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1125 second user time and 17.6623 second system time

The end

Launcher Data 

Begin job on node126 at 2019-09-12 20:11:49
IDJOB=4391546
IDBENCH=133555
IDSOLVER=2834
FILE ID=node126/4391546-1568311946
RUNJOBID= node126-1568301555-23461
PBS_JOBID= 21701113
Free space on /tmp= 55388 MiB

SOLVER NAME= NACRE 1.0.5-Hybrid
BENCH NAME= XCSP17/MagicHexagon/MagicHexagon-m1-s1/MagicHexagon-07-m102.xml
COMMAND LINE= nacre_mini_release BENCHNAME -ca -l100 -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391546-1568311946/watcher-4391546-1568311946 -o /tmp/evaluation-result-4391546-1568311946/solver-4391546-1568311946 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568301555-23461 --watchdog 2560  nacre_mini_release HOME/instance-4391546-1568311946.xml -ca -l100 -cm

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

MD5SUM BENCH= bbadb8bb150fe08b457e14a3e1d53e02
RANDOM SEED=122198619

node126.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.45
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.56
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.45
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.56
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.45
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.56
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.45
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28413784 kB
MemAvailable:   31572548 kB
Buffers:          113092 kB
Cached:          3296444 kB
SwapCached:         2860 kB
Active:          2120948 kB
Inactive:        1587736 kB
Active(anon):     297300 kB
Inactive(anon):    43292 kB
Active(file):    1823648 kB
Inactive(file):  1544444 kB
Unevictable:      109112 kB
Mlocked:          109112 kB
SwapTotal:      67108860 kB
SwapFree:       67004752 kB
Dirty:               924 kB
Writeback:             0 kB
AnonPages:        406992 kB
Mapped:            44212 kB
Shmem:             32816 kB
Slab:             242448 kB
SReclaimable:     213012 kB
SUnreclaim:        29436 kB
KernelStack:        3600 kB
PageTables:         6700 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     823276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    241664 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 55316 MiB
End job on node126 at 2019-09-12 20:51:49