Trace number 4300132

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
NACRE 1.0.4? (TO) 2519.63 2520.01

General information on the benchmark

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

Solver Data 

0.00/0.00	c NACRE 1.0.4
2519.61/2520.01	c
2519.61/2520.01	c # time = 2519.61
2519.61/2520.01	c # Dec = 1997179
2519.61/2520.01	c # Propagate Calls = 10075378820
2519.61/2520.01	c # assignAt Calls = 3884416
2519.61/2520.01	c # removeAt Calls = 638748571
2519.61/2520.01	c # Run = 3835
2519.61/2520.01	c # Conflicts = 1955767
2519.61/2520.01	c # Memory used = 936.644 Mb
2519.61/2520.01	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (8486 MiB free)
  memory of node 1: 16384 MiB (12654 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300132-1532795021/watcher-4300132-1532795021 -o /tmp/evaluation-result-4300132-1532795021/solver-4300132-1532795021 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532773607-19388 --watchdog 2580 nacre_mini_release HOME/instance-4300132-1532795021.xml -ca -l100 -cm 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=23155, runsolver pid=23152

[startup+0.100238 s]*
/proc/loadavg: 2.00 2.04 2.05 3/187 23156
/proc/meminfo: memFree=21644448/32770624 swapFree=67108796/67108860
[pid=23155] ppid=23152 vsize=29780 memory=6232 CPUtime=0.1 cores=1,3,5,7
/proc/23155/stat : 23155 (nacre_mini_rele) R 23152 23155 24279 0 -1 4202496 1858 0 0 0 10 0 0 0 20 0 1 0 97065253 30494720 1558 33554432000 4194304 4933779 140727481920944 140727481917944 139816304073701 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39419904 140727481926808 140727481926908 140727481926908 140727481929666 0
/proc/23155/statm: 7445 1558 619 181 0 1062 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29780 KiB
Current children cumulated memory: 6232 KiB

[startup+0.209513 s]*
/proc/loadavg: 2.00 2.04 2.05 3/187 23156
/proc/meminfo: memFree=21642108/32770624 swapFree=67108796/67108860
[pid=23155] ppid=23152 vsize=31536 memory=8080 CPUtime=0.21 cores=1,3,5,7
/proc/23155/stat : 23155 (nacre_mini_rele) R 23152 23155 24279 0 -1 4202496 2289 0 0 0 21 0 0 0 20 0 1 0 97065253 32292864 2020 33554432000 4194304 4933779 140727481920944 140727481918696 139816304073701 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39419904 140727481926808 140727481926908 140727481926908 140727481929666 0
/proc/23155/statm: 7884 2020 619 181 0 1501 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31536 KiB
Current children cumulated memory: 8080 KiB

[startup+0.309035 s]*
/proc/loadavg: 2.00 2.04 2.05 3/187 23156
/proc/meminfo: memFree=21640992/32770624 swapFree=67108796/67108860
[pid=23155] ppid=23152 vsize=33016 memory=9400 CPUtime=0.31 cores=1,3,5,7
/proc/23155/stat : 23155 (nacre_mini_rele) R 23152 23155 24279 0 -1 4202496 2635 0 0 0 31 0 0 0 20 0 1 0 97065253 33808384 2350 33554432000 4194304 4933779 140727481920944 140727481918696 139816304073701 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39419904 140727481926808 140727481926908 140727481926908 140727481929666 0
/proc/23155/statm: 8254 2350 619 181 0 1871 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 33016 KiB
Current children cumulated memory: 9400 KiB

[startup+0.700301 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 23156
/proc/meminfo: memFree=21638760/32770624 swapFree=67108796/67108860
[pid=23155] ppid=23152 vsize=37180 memory=13624 CPUtime=0.69 cores=1,3,5,7
/proc/23155/stat : 23155 (nacre_mini_rele) R 23152 23155 24279 0 -1 4202496 3669 0 0 0 69 0 0 0 20 0 1 0 97065253 38072320 3406 33554432000 4194304 4933779 140727481920944 140727481918696 139816304073701 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39419904 140727481926808 140727481926908 140727481926908 140727481929666 0
/proc/23155/statm: 9295 3406 619 181 0 2912 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 37180 KiB
Current children cumulated memory: 13624 KiB

[startup+1.50031 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 23156
/proc/meminfo: memFree=21633180/32770624 swapFree=67108796/67108860
[pid=23155] ppid=23152 vsize=45024 memory=21280 CPUtime=1.49 cores=1,3,5,7
/proc/23155/stat : 23155 (nacre_mini_rele) R 23152 23155 24279 0 -1 4202496 5641 0 0 0 149 0 0 0 20 0 1 0 97065253 46104576 5320 33554432000 4194304 4933779 140727481920944 140727481918696 139816304073701 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39419904 140727481926808 140727481926908 140727481926908 140727481929666 0
/proc/23155/statm: 11256 5320 619 181 0 4873 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 45024 KiB
Current children cumulated memory: 21280 KiB

[startup+3.10944 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 23156
/proc/meminfo: memFree=21614456/32770624 swapFree=67108796/67108860
[pid=23155] ppid=23152 vsize=59420 memory=35796 CPUtime=3.1 cores=1,3,5,7
/proc/23155/stat : 23155 (nacre_mini_rele) R 23152 23155 24279 0 -1 4202496 14826 0 0 0 310 0 0 0 20 0 1 0 97065253 60846080 8949 33554432000 4194304 4933779 140727481920944 140727481918696 4475783 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39419904 140727481926808 140727481926908 140727481926908 140727481929666 0
/proc/23155/statm: 14855 8949 619 181 0 8472 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 59420 KiB
Current children cumulated memory: 35796 KiB

[startup+6.30146 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 23156
/proc/meminfo: memFree=21601008/32770624 swapFree=67108796/67108860
[pid=23155] ppid=23152 vsize=71480 memory=47688 CPUtime=6.29 cores=1,3,5,7
/proc/23155/stat : 23155 (nacre_mini_rele) R 23152 23155 24279 0 -1 4202496 27285 0 0 0 628 1 0 0 20 0 1 0 97065253 73195520 11922 33554432000 4194304 4933779 140727481920944 140727481918696 139816304820980 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39419904 140727481926808 140727481926908 140727481926908 140727481929666 0
/proc/23155/statm: 17870 11922 619 181 0 11487 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 71480 KiB
Current children cumulated memory: 47688 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 23156
/proc/meminfo: memFree=21581780/32770624 swapFree=67108796/67108860
[pid=23155] ppid=23152 vsize=88928 memory=64656 CPUtime=12.69 cores=1,3,5,7
/proc/23155/stat : 23155 (nacre_mini_rele) R 23152 23155 24279 0 -1 4202496 43699 0 0 0 1266 3 0 0 20 0 1 0 97065253 91062272 16164 33554432000 4194304 4933779 140727481920944 140727481918648 139816304820990 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39419904 140727481926808 140727481926908 140727481926908 140727481929666 0
/proc/23155/statm: 22232 16164 619 181 0 15849 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 88928 KiB
Current children cumulated memory: 64656 KiB

[startup+25.5004 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 23156
/proc/meminfo: memFree=21561924/32770624 swapFree=67108796/67108860
[pid=23155] ppid=23152 vsize=109252 memory=85228 CPUtime=25.49 cores=1,3,5,7
/proc/23155/stat : 23155 (nacre_mini_rele) R 23152 23155 24279 0 -1 4202496 83727 0 0 0 2543 6 0 0 20 0 1 0 97065253 111874048 21307 33554432000 4194304 4933779 140727481920944 140727481918696 4437536 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39419904 140727481926808 140727481926908 140727481926908 140727481929666 0
/proc/23155/statm: 27313 21307 619 181 0 20930 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 109252 KiB
Current children cumulated memory: 85228 KiB

[startup+51.1095 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 23156
/proc/meminfo: memFree=21536776/32770624 swapFree=67108796/67108860
[pid=23155] ppid=23152 vsize=133108 memory=109044 CPUtime=51.1 cores=1,3,5,7
/proc/23155/stat : 23155 (nacre_mini_rele) R 23152 23155 24279 0 -1 4202496 113654 0 0 0 5101 9 0 0 20 0 1 0 97065253 136302592 27261 33554432000 4194304 4933779 140727481920944 140727481918648 4434712 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39419904 140727481926808 140727481926908 140727481926908 140727481929666 0
/proc/23155/statm: 33277 27261 619 181 0 26894 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 133108 KiB
Current children cumulated memory: 109044 KiB

[startup+102.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/187 23158
/proc/meminfo: memFree=21504556/32770624 swapFree=67108796/67108860
[pid=23155] ppid=23152 vsize=165232 memory=141152 CPUtime=102.29 cores=1,3,5,7
/proc/23155/stat : 23155 (nacre_mini_rele) R 23152 23155 24279 0 -1 4202496 151126 0 0 0 10215 14 0 0 20 0 1 0 97065253 169197568 35288 33554432000 4194304 4933779 140727481920944 140727481918648 4437393 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39419904 140727481926808 140727481926908 140727481926908 140727481929666 0
/proc/23155/statm: 41308 35288 619 181 0 34925 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 165232 KiB
Current children cumulated memory: 141152 KiB

[startup+162.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 23159
/proc/meminfo: memFree=21477660/32770624 swapFree=67108796/67108860
[pid=23155] ppid=23152 vsize=191140 memory=165756 CPUtime=162.29 cores=1,3,5,7
/proc/23155/stat : 23155 (nacre_mini_rele) R 23152 23155 24279 0 -1 4202496 192599 0 0 0 16211 18 0 0 20 0 1 0 97065253 195727360 41439 33554432000 4194304 4933779 140727481920944 140727481918648 4437462 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39419904 140727481926808 140727481926908 140727481926908 140727481929666 0
/proc/23155/statm: 47785 41439 619 181 0 41402 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 191140 KiB
Current children cumulated memory: 165756 KiB

[startup+222.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 23160
/proc/meminfo: memFree=21457884/32770624 swapFree=67108796/67108860
[pid=23155] ppid=23152 vsize=209008 memory=183636 CPUtime=222.29 cores=1,3,5,7
/proc/23155/stat : 23155 (nacre_mini_rele) R 23152 23155 24279 0 -1 4202496 237914 0 0 0 22208 21 0 0 20 0 1 0 97065253 214024192 45909 33554432000 4194304 4933779 140727481920944 140727481918648 4437536 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39419904 140727481926808 140727481926908 140727481926908 140727481929666 0
/proc/23155/statm: 52252 45909 619 181 0 45869 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 209008 KiB
Current children cumulated memory: 183636 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 23162
/proc/meminfo: memFree=21438824/32770624 swapFree=67108796/67108860
[pid=23155] ppid=23152 vsize=222816 memory=197164 CPUtime=282.28 cores=1,3,5,7
/proc/23155/stat : 23155 (nacre_mini_rele) R 23152 23155 24279 0 -1 4202496 286467 0 0 0 28203 25 0 0 20 0 1 0 97065253 228163584 49291 33554432000 4194304 4933779 140727481920944 140727481918648 4437839 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39419904 140727481926808 140727481926908 140727481926908 140727481929666 0
/proc/23155/statm: 55704 49291 619 181 0 49321 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 222816 KiB
Current children cumulated memory: 197164 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 23163
/proc/meminfo: memFree=21428256/32770624 swapFree=67108796/67108860
[pid=23155] ppid=23152 vsize=227708 memory=202152 CPUtime=342.28 cores=1,3,5,7
/proc/23155/stat : 23155 (nacre_mini_rele) R 23152 23155 24279 0 -1 4202496 336382 0 0 0 34199 29 0 0 20 0 1 0 97065253 233172992 50538 33554432000 4194304 4933779 140727481920944 140727481918632 4437393 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39419904 140727481926808 140727481926908 140727481926908 140727481929666 0
/proc/23155/statm: 56927 50538 619 181 0 50544 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 227708 KiB
Current children cumulated memory: 202152 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23172
/proc/meminfo: memFree=20627232/32770624 swapFree=67108796/67108860
[pid=23155] ppid=23152 vsize=242080 memory=216616 CPUtime=402.28 cores=1,3,5,7
/proc/23155/stat : 23155 (nacre_mini_rele) R 23152 23155 24279 0 -1 4202496 389184 0 0 0 40194 34 0 0 20 0 1 0 97065253 247889920 54154 33554432000 4194304 4933779 140727481920944 140727481918696 4437393 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39419904 140727481926808 140727481926908 140727481926908 140727481929666 0
/proc/23155/statm: 60520 54154 619 181 0 54137 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 242080 KiB
Current children cumulated memory: 216616 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23173
/proc/meminfo: memFree=20620548/32770624 swapFree=67108796/67108860
[pid=23155] ppid=23152 vsize=248600 memory=222984 CPUtime=462.29 cores=1,3,5,7
/proc/23155/stat : 23155 (nacre_mini_rele) R 23152 23155 24279 0 -1 4202496 444131 0 0 0 46191 38 0 0 20 0 1 0 97065253 254566400 55746 33554432000 4194304 4933779 140727481920944 140727481918632 4388743 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39419904 140727481926808 140727481926908 140727481926908 140727481929666 0
/proc/23155/statm: 62150 55746 619 181 0 55767 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 248600 KiB
Current children cumulated memory: 222984 KiB


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

/proc/23155/statm: 239322 232816 619 181 0 232939 0
Current children cumulated CPU time: 1722.12 s
Current children cumulated vsize: 957288 KiB
Current children cumulated memory: 931264 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23210
/proc/meminfo: memFree=19849236/32770624 swapFree=67108796/67108860
[pid=23155] ppid=23152 vsize=957288 memory=931284 CPUtime=1782.11 cores=1,3,5,7
/proc/23155/stat : 23155 (nacre_mini_rele) R 23152 23155 24279 0 -1 4202496 1465387 0 0 0 178070 141 0 0 20 0 1 0 97065253 980262912 232821 33554432000 4194304 4933779 140727481920944 140727481918632 4437389 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39419904 140727481926808 140727481926908 140727481926908 140727481929666 0
/proc/23155/statm: 239322 232821 619 181 0 232939 0
Current children cumulated CPU time: 1782.11 s
Current children cumulated vsize: 957288 KiB
Current children cumulated memory: 931284 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23211
/proc/meminfo: memFree=19839068/32770624 swapFree=67108796/67108860
[pid=23155] ppid=23152 vsize=957288 memory=931332 CPUtime=1842.12 cores=1,3,5,7
/proc/23155/stat : 23155 (nacre_mini_rele) R 23152 23155 24279 0 -1 4202496 1508777 0 0 0 184065 147 0 0 20 0 1 0 97065253 980262912 232833 33554432000 4194304 4933779 140727481920944 140727481918632 4437581 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39419904 140727481926808 140727481926908 140727481926908 140727481929666 0
/proc/23155/statm: 239322 232833 619 181 0 232939 0
Current children cumulated CPU time: 1842.12 s
Current children cumulated vsize: 957288 KiB
Current children cumulated memory: 931332 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23273
/proc/meminfo: memFree=21272140/32770624 swapFree=67108796/67108860
[pid=23155] ppid=23152 vsize=957424 memory=931440 CPUtime=1902.12 cores=1,3,5,7
/proc/23155/stat : 23155 (nacre_mini_rele) R 23152 23155 24279 0 -1 4202496 1552555 0 0 0 190060 152 0 0 20 0 1 0 97065253 980402176 232860 33554432000 4194304 4933779 140727481920944 140727481918632 4437393 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39419904 140727481926808 140727481926908 140727481926908 140727481929666 0
/proc/23155/statm: 239356 232860 619 181 0 232973 0
Current children cumulated CPU time: 1902.12 s
Current children cumulated vsize: 957424 KiB
Current children cumulated memory: 931440 KiB

[startup+1962.3 s]
/proc/loadavg: 2.53 2.15 2.09 3/187 23274
/proc/meminfo: memFree=21250084/32770624 swapFree=67108796/67108860
[pid=23155] ppid=23152 vsize=957424 memory=931456 CPUtime=1962.11 cores=1,3,5,7
/proc/23155/stat : 23155 (nacre_mini_rele) R 23152 23155 24279 0 -1 4202496 1592139 0 0 0 196055 156 0 0 20 0 1 0 97065253 980402176 232864 33554432000 4194304 4933779 140727481920944 140727481918632 4437393 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39419904 140727481926808 140727481926908 140727481926908 140727481929666 0
/proc/23155/statm: 239356 232864 619 181 0 232973 0
Current children cumulated CPU time: 1962.11 s
Current children cumulated vsize: 957424 KiB
Current children cumulated memory: 931456 KiB

[startup+2022.3 s]
/proc/loadavg: 2.19 2.12 2.08 3/187 23275
/proc/meminfo: memFree=21237564/32770624 swapFree=67108796/67108860
[pid=23155] ppid=23152 vsize=957716 memory=931772 CPUtime=2022.12 cores=1,3,5,7
/proc/23155/stat : 23155 (nacre_mini_rele) R 23152 23155 24279 0 -1 4202496 1635445 0 0 0 202050 162 0 0 20 0 1 0 97065253 980701184 232943 33554432000 4194304 4933779 140727481920944 140727481918632 4437538 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39419904 140727481926808 140727481926908 140727481926908 140727481929666 0
/proc/23155/statm: 239429 232943 619 181 0 233046 0
Current children cumulated CPU time: 2022.12 s
Current children cumulated vsize: 957716 KiB
Current children cumulated memory: 931772 KiB

[startup+2082.3 s]
/proc/loadavg: 2.07 2.10 2.08 3/187 23277
/proc/meminfo: memFree=21226312/32770624 swapFree=67108796/67108860
[pid=23155] ppid=23152 vsize=958296 memory=933020 CPUtime=2082.09 cores=1,3,5,7
/proc/23155/stat : 23155 (nacre_mini_rele) R 23152 23155 24279 0 -1 4202496 1678744 0 0 0 208043 166 0 0 20 0 1 0 97065253 981295104 233255 33554432000 4194304 4933779 140727481920944 140727481918632 4437564 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39419904 140727481926808 140727481926908 140727481926908 140727481929666 0
/proc/23155/statm: 239574 233255 619 181 0 233191 0
Current children cumulated CPU time: 2082.09 s
Current children cumulated vsize: 958296 KiB
Current children cumulated memory: 933020 KiB

[startup+2142.3 s]
/proc/loadavg: 2.03 2.08 2.07 3/186 23278
/proc/meminfo: memFree=21218172/32770624 swapFree=67108796/67108860
[pid=23155] ppid=23152 vsize=959196 memory=933644 CPUtime=2142.06 cores=1,3,5,7
/proc/23155/stat : 23155 (nacre_mini_rele) R 23152 23155 24279 0 -1 4202496 1711215 0 0 0 214036 170 0 0 20 0 1 0 97065253 982216704 233411 33554432000 4194304 4933779 140727481920944 140727481918632 4393171 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39419904 140727481926808 140727481926908 140727481926908 140727481929666 0
/proc/23155/statm: 239799 233411 619 181 0 233416 0
Current children cumulated CPU time: 2142.06 s
Current children cumulated vsize: 959196 KiB
Current children cumulated memory: 933644 KiB

[startup+2202.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/188 23288
/proc/meminfo: memFree=21207892/32770624 swapFree=67108796/67108860
[pid=23155] ppid=23152 vsize=959196 memory=933656 CPUtime=2202.03 cores=1,3,5,7
/proc/23155/stat : 23155 (nacre_mini_rele) R 23152 23155 24279 0 -1 4202496 1738614 0 0 0 220028 175 0 0 20 0 1 0 97065253 982216704 233414 33554432000 4194304 4933779 140727481920944 140727481918632 4335693 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39419904 140727481926808 140727481926908 140727481926908 140727481929666 0
/proc/23155/statm: 239799 233414 619 181 0 233416 0
Current children cumulated CPU time: 2202.03 s
Current children cumulated vsize: 959196 KiB
Current children cumulated memory: 933656 KiB

[startup+2262.3 s]
/proc/loadavg: 2.35 2.14 2.09 3/189 23312
/proc/meminfo: memFree=21200568/32770624 swapFree=67108796/67108860
[pid=23155] ppid=23152 vsize=959456 memory=933932 CPUtime=2262 cores=1,3,5,7
/proc/23155/stat : 23155 (nacre_mini_rele) R 23152 23155 24279 0 -1 4202496 1761131 0 0 0 226023 177 0 0 20 0 1 0 97065253 982482944 233483 33554432000 4194304 4933779 140727481920944 140727481918632 4437564 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39419904 140727481926808 140727481926908 140727481926908 140727481929666 0
/proc/23155/statm: 239864 233483 619 181 0 233481 0
Current children cumulated CPU time: 2262 s
Current children cumulated vsize: 959456 KiB
Current children cumulated memory: 933932 KiB

[startup+2322.3 s]
/proc/loadavg: 2.31 2.18 2.11 3/189 23313
/proc/meminfo: memFree=21194848/32770624 swapFree=67108796/67108860
[pid=23155] ppid=23152 vsize=959652 memory=934140 CPUtime=2321.96 cores=1,3,5,7
/proc/23155/stat : 23155 (nacre_mini_rele) R 23152 23155 24279 0 -1 4202496 1775418 0 0 0 232017 179 0 0 20 0 1 0 97065253 982683648 233535 33554432000 4194304 4933779 140727481920944 140727481918632 4437536 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39419904 140727481926808 140727481926908 140727481926908 140727481929666 0
/proc/23155/statm: 239913 233535 619 181 0 233530 0
Current children cumulated CPU time: 2321.96 s
Current children cumulated vsize: 959652 KiB
Current children cumulated memory: 934140 KiB

[startup+2382.3 s]
/proc/loadavg: 2.12 2.15 2.10 3/189 23314
/proc/meminfo: memFree=21189368/32770624 swapFree=67108796/67108860
[pid=23155] ppid=23152 vsize=959912 memory=934268 CPUtime=2381.93 cores=1,3,5,7
/proc/23155/stat : 23155 (nacre_mini_rele) R 23152 23155 24279 0 -1 4202496 1785885 0 0 0 238013 180 0 0 20 0 1 0 97065253 982949888 233567 33554432000 4194304 4933779 140727481920944 140727481918504 4437570 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39419904 140727481926808 140727481926908 140727481926908 140727481929666 0
/proc/23155/statm: 239978 233567 619 181 0 233595 0
Current children cumulated CPU time: 2381.93 s
Current children cumulated vsize: 959912 KiB
Current children cumulated memory: 934268 KiB

[startup+2442.3 s]
/proc/loadavg: 2.04 2.12 2.10 3/189 23315
/proc/meminfo: memFree=21182264/32770624 swapFree=67108796/67108860
[pid=23155] ppid=23152 vsize=960604 memory=935808 CPUtime=2441.9 cores=1,3,5,7
/proc/23155/stat : 23155 (nacre_mini_rele) R 23152 23155 24279 0 -1 4202496 1790916 0 0 0 244009 181 0 0 20 0 1 0 97065253 983658496 233952 33554432000 4194304 4933779 140727481920944 140727481918632 4362465 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39419904 140727481926808 140727481926908 140727481926908 140727481929666 0
/proc/23155/statm: 240151 233952 619 181 0 233768 0
Current children cumulated CPU time: 2441.9 s
Current children cumulated vsize: 960604 KiB
Current children cumulated memory: 935808 KiB

[startup+2502.3 s]
/proc/loadavg: 2.06 2.12 2.10 3/188 23316
/proc/meminfo: memFree=21176908/32770624 swapFree=67108796/67108860
[pid=23155] ppid=23152 vsize=961756 memory=936644 CPUtime=2501.9 cores=1,3,5,7
/proc/23155/stat : 23155 (nacre_mini_rele) R 23152 23155 24279 0 -1 4202496 1792292 0 0 0 250009 181 0 0 20 0 1 0 97065253 984838144 234161 33554432000 4194304 4933779 140727481920944 140727481918632 4437462 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39419904 140727481926808 140727481926908 140727481926908 140727481929666 0
/proc/23155/statm: 240439 234161 619 181 0 234056 0
Current children cumulated CPU time: 2501.9 s
Current children cumulated vsize: 961756 KiB
Current children cumulated memory: 936644 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.05 2.11 2.09 3/188 23316
/proc/meminfo: memFree=21174976/32770624 swapFree=67108796/67108860
[pid=23155] ppid=23152 vsize=961756 memory=936644 CPUtime=2519.61 cores=1,3,5,7
/proc/23155/stat : 23155 (nacre_mini_rele) R 23152 23155 24279 0 -1 4202496 1793242 0 0 0 251780 181 0 0 20 0 1 0 97065253 984838144 234161 33554432000 4194304 4933779 140727481920944 140727481918632 4437824 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39419904 140727481926808 140727481926908 140727481926908 140727481929666 0
/proc/23155/statm: 240439 234161 619 181 0 234056 0
Current children cumulated CPU time: 2519.61 s
Current children cumulated vsize: 961756 KiB
Current children cumulated memory: 936644 KiB

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

[startup+2520.01 s]
# the end of solver process 23155 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.81 s, system=1.81994 s

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

Child status: 0
Real time (s): 2520.01
CPU time (s): 2519.63
CPU user time (s): 2517.81
CPU system time (s): 1.81994
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 961756
Max. memory (cumulated for all children) (KiB): 936644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.81
system time used= 1.81994
maximum resident set size= 936700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1793299
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= 454
involuntary context switches= 956


# summary of solver processes directly reported to runsolver:
#   pid: 23155
#   total CPU time (s): 2519.63
#   total CPU user time (s): 2517.81
#   total CPU system time (s): 1.81994

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.4913 second user time and 18.5961 second system time

The end

Launcher Data 

Begin job on node138 at 2018-07-28 18:23:41
IDJOB=4300132
IDBENCH=141560
IDSOLVER=2764
FILE ID=node138/4300132-1532795021
RUNJOBID= node138-1532773607-19388
PBS_JOBID= 21022455
Free space on /tmp= 53800 MiB

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

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

MD5SUM BENCH= a4a3304b5e9aae9c2bcc59fc5ef6ae6f
RANDOM SEED=1186194579

node138.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        21648376 kB
MemAvailable:   31309936 kB
Buffers:          211520 kB
Cached:          9654092 kB
SwapCached:           44 kB
Active:          3162272 kB
Inactive:        7377804 kB
Active(anon):     618836 kB
Inactive(anon):    83488 kB
Active(file):    2543436 kB
Inactive(file):  7294316 kB
Unevictable:        7280 kB
Mlocked:            7280 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:               784 kB
Writeback:             0 kB
AnonPages:        682180 kB
Mapped:            38812 kB
Shmem:             25164 kB
Slab:             280396 kB
SReclaimable:     252268 kB
SUnreclaim:        28128 kB
KernelStack:        3360 kB
PageTables:         6444 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     970700 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

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