Trace number 4300282

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.86 2520.01

General information on the benchmark

NameFrb/
frb-53-24-3-mgd_c18.xml
MD5SUM2687d075c2954ad7539e74b041f9986e
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 variables53
Number of constraints470
Number of domains1
Minimum domain size24
Maximum domain size24
Distribution of domain sizes[{"size":24,"count":53}]
Minimum variable degree11
Maximum variable degree26
Distribution of variable degrees[{"degree":11,"count":1},{"degree":13,"count":2},{"degree":14,"count":5},{"degree":15,"count":4},{"degree":16,"count":6},{"degree":17,"count":7},{"degree":18,"count":12},{"degree":19,"count":4},{"degree":20,"count":3},{"degree":21,"count":2},{"degree":22,"count":3},{"degree":23,"count":1},{"degree":24,"count":1},{"degree":25,"count":1},{"degree":26,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":470}]
Number of extensional constraints470
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":470}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.06	c NACRE 1.0.4
2519.85/2520.01	c
2519.85/2520.01	c # time = 2519.85
2519.85/2520.01	c # Dec = 2598840
2519.85/2520.01	c # Propagate Calls = 1204509459
2519.85/2520.01	c # assignAt Calls = 4656632
2519.85/2520.01	c # removeAt Calls = 395292276
2519.85/2520.01	c # Run = 4350
2519.85/2520.01	c # Conflicts = 2553057
2519.85/2520.01	c # Memory used = 240.408 Mb
2519.85/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 (9085 MiB free)
  memory of node 1: 16384 MiB (11743 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.100198 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 23272
/proc/meminfo: memFree=21323808/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=32244 memory=8744 CPUtime=0.1 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 2394 0 0 0 10 0 0 0 20 0 1 0 97251347 33017856 2186 33554432000 4194304 4933779 140733267549072 140733267546072 140714730843109 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 8061 2186 600 181 0 1678 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32244 KiB
Current children cumulated memory: 8744 KiB

[startup+0.209612 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 23272
/proc/meminfo: memFree=21322692/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=33428 memory=10064 CPUtime=0.21 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 2683 0 0 0 21 0 0 0 20 0 1 0 97251347 34230272 2516 33554432000 4194304 4933779 140733267549072 140733267546072 4380275 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 8357 2516 600 181 0 1974 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33428 KiB
Current children cumulated memory: 10064 KiB

[startup+0.309241 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 23272
/proc/meminfo: memFree=21321516/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=34352 memory=10856 CPUtime=0.31 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 2927 0 0 0 31 0 0 0 20 0 1 0 97251347 35176448 2714 33554432000 4194304 4933779 140733267549072 140733267546072 140714730843109 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 8588 2714 600 181 0 2205 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 34352 KiB
Current children cumulated memory: 10856 KiB

[startup+0.700345 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23272
/proc/meminfo: memFree=21320028/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=37884 memory=14488 CPUtime=0.69 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 3787 0 0 0 69 0 0 0 20 0 1 0 97251347 38793216 3622 33554432000 4194304 4933779 140733267549072 140733267546072 140714730843109 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 9471 3622 600 181 0 3088 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 37884 KiB
Current children cumulated memory: 14488 KiB

[startup+1.50036 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23272
/proc/meminfo: memFree=21315936/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=43596 memory=20028 CPUtime=1.49 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 5238 0 0 0 148 1 0 0 20 0 1 0 97251347 44642304 5007 33554432000 4194304 4933779 140733267549072 140733267546072 140714730843109 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 10899 5007 600 181 0 4516 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 43596 KiB
Current children cumulated memory: 20028 KiB

[startup+3.10948 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23272
/proc/meminfo: memFree=21306760/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=49456 memory=25884 CPUtime=3.09 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 11277 0 0 0 308 1 0 0 20 0 1 0 97251347 50642944 6471 33554432000 4194304 4933779 140733267549072 140733267546840 4437572 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 12364 6471 600 181 0 5981 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 49456 KiB
Current children cumulated memory: 25884 KiB

[startup+6.30036 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23272
/proc/meminfo: memFree=21299880/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=55880 memory=32560 CPUtime=6.29 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 18831 0 0 0 627 2 0 0 20 0 1 0 97251347 57221120 8140 33554432000 4194304 4933779 140733267549072 140733267546840 4380182 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 13970 8140 600 181 0 7587 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 55880 KiB
Current children cumulated memory: 32560 KiB

[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23272
/proc/meminfo: memFree=21292440/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=64792 memory=40808 CPUtime=12.69 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 28423 0 0 0 1266 3 0 0 20 0 1 0 97251347 66347008 10202 33554432000 4194304 4933779 140733267549072 140733267546824 4437792 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 16198 10202 600 181 0 9815 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 64792 KiB
Current children cumulated memory: 40808 KiB

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23273
/proc/meminfo: memFree=21281700/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=75428 memory=51640 CPUtime=25.49 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 51497 0 0 0 2544 5 0 0 20 0 1 0 97251347 77238272 12910 33554432000 4194304 4933779 140733267549072 140733267546760 4380629 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 18857 12910 600 181 0 12474 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 75428 KiB
Current children cumulated memory: 51640 KiB

[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23273
/proc/meminfo: memFree=21267196/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=89036 memory=65464 CPUtime=51.09 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 68741 0 0 0 5103 6 0 0 20 0 1 0 97251347 91172864 16366 33554432000 4194304 4933779 140733267549072 140733267546776 4437393 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 22259 16366 600 181 0 15876 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 89036 KiB
Current children cumulated memory: 65464 KiB

[startup+102.3 s]
/proc/loadavg: 2.53 2.15 2.09 3/187 23274
/proc/meminfo: memFree=21250084/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=107756 memory=83204 CPUtime=102.29 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 90248 0 0 0 10220 9 0 0 20 0 1 0 97251347 110342144 20801 33554432000 4194304 4933779 140733267549072 140733267546760 4437445 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 26939 20801 600 181 0 20556 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 107756 KiB
Current children cumulated memory: 83204 KiB

[startup+162.3 s]
/proc/loadavg: 2.19 2.12 2.08 3/187 23275
/proc/meminfo: memFree=21237564/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=119980 memory=95368 CPUtime=162.28 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 113655 0 0 0 16216 12 0 0 20 0 1 0 97251347 122859520 23842 33554432000 4194304 4933779 140733267549072 140733267546760 4437393 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 29995 23842 600 181 0 23612 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 119980 KiB
Current children cumulated memory: 95368 KiB

[startup+222.3 s]
/proc/loadavg: 2.07 2.10 2.08 3/187 23277
/proc/meminfo: memFree=21225940/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=129560 memory=105176 CPUtime=222.28 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 139380 0 0 0 22214 14 0 0 20 0 1 0 97251347 132669440 26294 33554432000 4194304 4933779 140733267549072 140733267546760 4437585 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 32390 26294 600 181 0 26007 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 129560 KiB
Current children cumulated memory: 105176 KiB

[startup+282.3 s]
/proc/loadavg: 2.03 2.08 2.07 3/186 23278
/proc/meminfo: memFree=21217924/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=137984 memory=113660 CPUtime=282.28 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 167179 0 0 0 28211 17 0 0 20 0 1 0 97251347 141295616 28415 33554432000 4194304 4933779 140733267549072 140733267546776 4437792 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 34496 28415 600 181 0 28113 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 137984 KiB
Current children cumulated memory: 113660 KiB

[startup+342.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/188 23288
/proc/meminfo: memFree=21207396/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=146284 memory=121976 CPUtime=342.27 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 196942 0 0 0 34208 19 0 0 20 0 1 0 97251347 149794816 30494 33554432000 4194304 4933779 140733267549072 140733267546760 4437389 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 36571 30494 600 181 0 30188 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 146284 KiB
Current children cumulated memory: 121976 KiB

[startup+402.3 s]
/proc/loadavg: 2.40 2.15 2.09 3/189 23312
/proc/meminfo: memFree=21200568/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=152636 memory=128536 CPUtime=402.27 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 228260 0 0 0 40205 22 0 0 20 0 1 0 97251347 156299264 32134 33554432000 4194304 4933779 140733267549072 140733267546776 4437547 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 38159 32134 600 181 0 31776 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 152636 KiB
Current children cumulated memory: 128536 KiB

[startup+462.3 s]
/proc/loadavg: 2.29 2.18 2.11 3/189 23313
/proc/meminfo: memFree=21194600/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=158604 memory=134396 CPUtime=462.26 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 260959 0 0 0 46202 24 0 0 20 0 1 0 97251347 162410496 33599 33554432000 4194304 4933779 140733267549072 140733267546776 4437839 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 39651 33599 600 181 0 33268 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 158604 KiB
Current children cumulated memory: 134396 KiB


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

/proc/23271/statm: 59683 53535 600 181 0 53300 0
Current children cumulated CPU time: 1722.16 s
Current children cumulated vsize: 238732 KiB
Current children cumulated memory: 214140 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 23475
/proc/meminfo: memFree=21858608/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=240784 memory=216116 CPUtime=1782.16 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 415704 0 0 0 178171 45 0 0 20 0 1 0 97251347 246562816 54029 33554432000 4194304 4933779 140733267549072 140733267546776 4437389 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 60196 54029 600 181 0 53813 0
Current children cumulated CPU time: 1782.16 s
Current children cumulated vsize: 240784 KiB
Current children cumulated memory: 216116 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 23477
/proc/meminfo: memFree=21854336/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=242868 memory=218212 CPUtime=1842.16 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 418603 0 0 0 184170 46 0 0 20 0 1 0 97251347 248696832 54553 33554432000 4194304 4933779 140733267549072 140733267546760 4437393 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 60717 54553 600 181 0 54334 0
Current children cumulated CPU time: 1842.16 s
Current children cumulated vsize: 242868 KiB
Current children cumulated memory: 218212 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 23478
/proc/meminfo: memFree=21848944/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=245396 memory=220816 CPUtime=1902.16 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 422060 0 0 0 190169 47 0 0 20 0 1 0 97251347 251285504 55204 33554432000 4194304 4933779 140733267549072 140733267546776 4437389 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 61349 55204 600 181 0 54966 0
Current children cumulated CPU time: 1902.16 s
Current children cumulated vsize: 245396 KiB
Current children cumulated memory: 220816 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 23479
/proc/meminfo: memFree=21843848/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=247092 memory=222552 CPUtime=1962.15 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 425872 0 0 0 196168 47 0 0 20 0 1 0 97251347 253022208 55638 33554432000 4194304 4933779 140733267549072 140733267546776 4437393 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 61773 55638 600 181 0 55390 0
Current children cumulated CPU time: 1962.15 s
Current children cumulated vsize: 247092 KiB
Current children cumulated memory: 222552 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23481
/proc/meminfo: memFree=21839368/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=249476 memory=224856 CPUtime=2022.15 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 427302 0 0 0 202168 47 0 0 20 0 1 0 97251347 255463424 56214 33554432000 4194304 4933779 140733267549072 140733267546760 4437389 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 62369 56214 600 181 0 55986 0
Current children cumulated CPU time: 2022.15 s
Current children cumulated vsize: 249476 KiB
Current children cumulated memory: 224856 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23482
/proc/meminfo: memFree=21833696/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=251152 memory=226380 CPUtime=2082.15 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 429035 0 0 0 208167 48 0 0 20 0 1 0 97251347 257179648 56595 33554432000 4194304 4933779 140733267549072 140733267546760 4437389 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 62788 56595 600 181 0 56405 0
Current children cumulated CPU time: 2082.15 s
Current children cumulated vsize: 251152 KiB
Current children cumulated memory: 226380 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23490
/proc/meminfo: memFree=21829168/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=253064 memory=228376 CPUtime=2142.15 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 431304 0 0 0 214167 48 0 0 20 0 1 0 97251347 259137536 57094 33554432000 4194304 4933779 140733267549072 140733267546776 4437393 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 63266 57094 600 181 0 56883 0
Current children cumulated CPU time: 2142.15 s
Current children cumulated vsize: 253064 KiB
Current children cumulated memory: 228376 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23491
/proc/meminfo: memFree=21825744/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=255364 memory=230236 CPUtime=2202.14 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 434063 0 0 0 220166 48 0 0 20 0 1 0 97251347 261492736 57559 33554432000 4194304 4933779 140733267549072 140733267546632 4437389 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 63841 57559 600 181 0 57458 0
Current children cumulated CPU time: 2202.14 s
Current children cumulated vsize: 255364 KiB
Current children cumulated memory: 230236 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23492
/proc/meminfo: memFree=21821900/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=256472 memory=231564 CPUtime=2262.14 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 436917 0 0 0 226166 48 0 0 20 0 1 0 97251347 262627328 57891 33554432000 4194304 4933779 140733267549072 140733267546760 4437792 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 64118 57891 600 181 0 57735 0
Current children cumulated CPU time: 2262.14 s
Current children cumulated vsize: 256472 KiB
Current children cumulated memory: 231564 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23493
/proc/meminfo: memFree=21817932/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=258196 memory=233528 CPUtime=2322.14 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 438543 0 0 0 232165 49 0 0 20 0 1 0 97251347 264392704 58382 33554432000 4194304 4933779 140733267549072 140733267546584 4437538 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 64549 58382 600 181 0 58166 0
Current children cumulated CPU time: 2322.14 s
Current children cumulated vsize: 258196 KiB
Current children cumulated memory: 233528 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23494
/proc/meminfo: memFree=21813868/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=259836 memory=235140 CPUtime=2382.14 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 440507 0 0 0 238165 49 0 0 20 0 1 0 97251347 266072064 58785 33554432000 4194304 4933779 140733267549072 140733267546776 4437389 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 64959 58785 600 181 0 58576 0
Current children cumulated CPU time: 2382.14 s
Current children cumulated vsize: 259836 KiB
Current children cumulated memory: 235140 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23495
/proc/meminfo: memFree=21809660/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=262052 memory=237212 CPUtime=2442.14 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 443034 0 0 0 244164 50 0 0 20 0 1 0 97251347 268341248 59303 33554432000 4194304 4933779 140733267549072 140733267546760 4437445 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 65513 59303 600 181 0 59130 0
Current children cumulated CPU time: 2442.14 s
Current children cumulated vsize: 262052 KiB
Current children cumulated memory: 237212 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23496
/proc/meminfo: memFree=21805568/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=264168 memory=239352 CPUtime=2502.14 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 445994 0 0 0 250164 50 0 0 20 0 1 0 97251347 270508032 59838 33554432000 4194304 4933779 140733267549072 140733267546776 4437393 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 66042 59838 600 181 0 59659 0
Current children cumulated CPU time: 2502.14 s
Current children cumulated vsize: 264168 KiB
Current children cumulated memory: 239352 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 23496
/proc/meminfo: memFree=21804452/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=265120 memory=240408 CPUtime=2519.85 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 449062 0 0 0 251934 51 0 0 20 0 1 0 97251347 271482880 60102 33554432000 4194304 4933779 140733267549072 140733267546760 4437393 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 66280 60102 600 181 0 59897 0
Current children cumulated CPU time: 2519.85 s
Current children cumulated vsize: 265120 KiB
Current children cumulated memory: 240408 KiB

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

[startup+2520.01 s]
# the end of solver process 23271 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.35 s, system=0.512983 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.86
CPU user time (s): 2519.35
CPU system time (s): 0.512983
CPU usage (%): 99.9939
Max. virtual memory (cumulated for all children) (KiB): 265120
Max. memory (cumulated for all children) (KiB): 240408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.35
system time used= 0.512983
maximum resident set size= 240484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 449104
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= 116
involuntary context switches= 1489


# summary of solver processes directly reported to runsolver:
#   pid: 23271
#   total CPU time (s): 2519.86
#   total CPU user time (s): 2519.35
#   total CPU system time (s): 0.512983

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.65591 second user time and 19.0304 second system time

The end

Launcher Data 

Begin job on node138 at 2018-07-28 18:54:42
IDJOB=4300282
IDBENCH=141580
IDSOLVER=2764
FILE ID=node138/4300282-1532796882
RUNJOBID= node138-1532773607-19387
PBS_JOBID= 21022455
Free space on /tmp= 53800 MiB

SOLVER NAME= NACRE 1.0.4
BENCH NAME= XCSP18/Frb/frb-53-24-3-mgd_c18.xml
COMMAND LINE= nacre_mini_release BENCHNAME -ca -l100 -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4300282-1532796882/watcher-4300282-1532796882 -o /tmp/evaluation-result-4300282-1532796882/solver-4300282-1532796882 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532773607-19387 --watchdog 2580  nacre_mini_release HOME/instance-4300282-1532796882.xml -ca -l100 -cm

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

MD5SUM BENCH= 2687d075c2954ad7539e74b041f9986e
RANDOM SEED=818740513

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:        21330648 kB
MemAvailable:   30993444 kB
Buffers:          211696 kB
Cached:          9655024 kB
SwapCached:           44 kB
Active:          3477652 kB
Inactive:        7378296 kB
Active(anon):     933472 kB
Inactive(anon):    83488 kB
Active(file):    2544180 kB
Inactive(file):  7294808 kB
Unevictable:        7280 kB
Mlocked:            7280 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:              1180 kB
Writeback:             0 kB
AnonPages:        996440 kB
Mapped:            39216 kB
Shmem:             25164 kB
Slab:             280648 kB
SReclaimable:     252268 kB
SUnreclaim:        28380 kB
KernelStack:        3360 kB
PageTables:         7052 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1283868 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    327680 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:36:42