Trace number 4300346

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

General information on the benchmark

NameFrb/
frb-50-23-2-mgd_c18.xml
MD5SUM747f749c43313802f4a8e2c3a16b0378
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 variables50
Number of constraints445
Number of domains1
Minimum domain size23
Maximum domain size23
Distribution of domain sizes[{"size":23,"count":50}]
Minimum variable degree10
Maximum variable degree27
Distribution of variable degrees[{"degree":10,"count":1},{"degree":11,"count":1},{"degree":12,"count":1},{"degree":14,"count":2},{"degree":15,"count":4},{"degree":16,"count":10},{"degree":17,"count":5},{"degree":18,"count":8},{"degree":19,"count":5},{"degree":20,"count":3},{"degree":21,"count":3},{"degree":22,"count":4},{"degree":23,"count":1},{"degree":24,"count":1},{"degree":27,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":445}]
Number of extensional constraints445
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":445}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.05	c NACRE 1.0.4
2519.79/2520.01	c
2519.79/2520.01	c # time = 2519.79
2519.79/2520.01	c # Dec = 2622818
2519.79/2520.01	c # Propagate Calls = 1180944040
2519.79/2520.01	c # assignAt Calls = 4697611
2519.79/2520.01	c # removeAt Calls = 382327277
2519.79/2520.01	c # Run = 4413
2519.79/2520.01	c # Conflicts = 2580765
2519.79/2520.01	c # Memory used = 218.236 Mb
2519.79/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 (10481 MiB free)
  memory of node 1: 16384 MiB (12643 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300346-1532799343/watcher-4300346-1532799343 -o /tmp/evaluation-result-4300346-1532799343/solver-4300346-1532799343 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532774055-27430 --watchdog 2580 nacre_mini_release HOME/instance-4300346-1532799343.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=30304, runsolver pid=30301

[startup+0.100162 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 30305
/proc/meminfo: memFree=23674048/32770624 swapFree=67108860/67108860
[pid=30304] ppid=30301 vsize=31572 memory=8216 CPUtime=0.1 cores=1,3,5,7
/proc/30304/stat : 30304 (nacre_mini_rele) R 30301 30304 27398 0 -1 4202496 2243 0 0 0 10 0 0 0 20 0 1 0 97497493 32329728 2054 33554432000 4194304 4933779 140734654718336 140734654715336 140368913222629 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 26775552 140734654727320 140734654727420 140734654727420 140734654730178 0
/proc/30304/statm: 7893 2054 600 181 0 1510 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31572 KiB
Current children cumulated memory: 8216 KiB

[startup+0.20952 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 30305
/proc/meminfo: memFree=23672932/32770624 swapFree=67108860/67108860
[pid=30304] ppid=30301 vsize=32760 memory=9272 CPUtime=0.21 cores=1,3,5,7
/proc/30304/stat : 30304 (nacre_mini_rele) R 30301 30304 27398 0 -1 4202496 2530 0 0 0 21 0 0 0 20 0 1 0 97497493 33546240 2318 33554432000 4194304 4933779 140734654718336 140734654715336 140368913222629 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 26775552 140734654727320 140734654727420 140734654727420 140734654730178 0
/proc/30304/statm: 8190 2318 600 181 0 1807 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32760 KiB
Current children cumulated memory: 9272 KiB

[startup+0.308871 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 30305
/proc/meminfo: memFree=23672188/32770624 swapFree=67108860/67108860
[pid=30304] ppid=30301 vsize=33692 memory=10328 CPUtime=0.31 cores=1,3,5,7
/proc/30304/stat : 30304 (nacre_mini_rele) R 30301 30304 27398 0 -1 4202496 2764 0 0 0 31 0 0 0 20 0 1 0 97497493 34500608 2582 33554432000 4194304 4933779 140734654718336 140734654715336 140368913222629 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 26775552 140734654727320 140734654727420 140734654727420 140734654730178 0
/proc/30304/statm: 8423 2582 600 181 0 2040 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 33692 KiB
Current children cumulated memory: 10328 KiB

[startup+0.70029 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30305
/proc/meminfo: memFree=23670328/32770624 swapFree=67108860/67108860
[pid=30304] ppid=30301 vsize=36920 memory=13500 CPUtime=0.69 cores=1,3,5,7
/proc/30304/stat : 30304 (nacre_mini_rele) R 30301 30304 27398 0 -1 4202496 3545 0 0 0 69 0 0 0 20 0 1 0 97497493 37806080 3375 33554432000 4194304 4933779 140734654718336 140734654715336 4380674 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 26775552 140734654727320 140734654727420 140734654727420 140734654730178 0
/proc/30304/statm: 9230 3375 600 181 0 2847 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 36920 KiB
Current children cumulated memory: 13500 KiB

[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30305
/proc/meminfo: memFree=23666648/32770624 swapFree=67108860/67108860
[pid=30304] ppid=30301 vsize=42384 memory=18800 CPUtime=1.49 cores=1,3,5,7
/proc/30304/stat : 30304 (nacre_mini_rele) R 30301 30304 27398 0 -1 4202496 4913 0 0 0 149 0 0 0 20 0 1 0 97497493 43401216 4700 33554432000 4194304 4933779 140734654718336 140734654716088 140368913222629 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 26775552 140734654727320 140734654727420 140734654727420 140734654730178 0
/proc/30304/statm: 10596 4700 600 181 0 4213 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 42384 KiB
Current children cumulated memory: 18800 KiB

[startup+3.10939 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30305
/proc/meminfo: memFree=23658092/32770624 swapFree=67108860/67108860
[pid=30304] ppid=30301 vsize=47744 memory=24376 CPUtime=3.1 cores=1,3,5,7
/proc/30304/stat : 30304 (nacre_mini_rele) R 30301 30304 27398 0 -1 4202496 10527 0 0 0 309 1 0 0 20 0 1 0 97497493 48889856 6094 33554432000 4194304 4933779 140734654718336 140734654716088 4475761 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 26775552 140734654727320 140734654727420 140734654727420 140734654730178 0
/proc/30304/statm: 11936 6094 600 181 0 5553 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 47744 KiB
Current children cumulated memory: 24376 KiB

[startup+6.30031 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30305
/proc/meminfo: memFree=23652444/32770624 swapFree=67108860/67108860
[pid=30304] ppid=30301 vsize=54496 memory=30396 CPUtime=6.29 cores=1,3,5,7
/proc/30304/stat : 30304 (nacre_mini_rele) R 30301 30304 27398 0 -1 4202496 17711 0 0 0 627 2 0 0 20 0 1 0 97497493 55803904 7599 33554432000 4194304 4933779 140734654718336 140734654715848 4380664 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 26775552 140734654727320 140734654727420 140734654727420 140734654730178 0
/proc/30304/statm: 13624 7599 600 181 0 7241 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 54496 KiB
Current children cumulated memory: 30396 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30305
/proc/meminfo: memFree=23644252/32770624 swapFree=67108860/67108860
[pid=30304] ppid=30301 vsize=62180 memory=38272 CPUtime=12.69 cores=1,3,5,7
/proc/30304/stat : 30304 (nacre_mini_rele) R 30301 30304 27398 0 -1 4202496 26544 0 0 0 1267 2 0 0 20 0 1 0 97497493 63672320 9568 33554432000 4194304 4933779 140734654718336 140734654716024 4437824 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 26775552 140734654727320 140734654727420 140734654727420 140734654730178 0
/proc/30304/statm: 15545 9568 600 181 0 9162 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 62180 KiB
Current children cumulated memory: 38272 KiB

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30305
/proc/meminfo: memFree=23633612/32770624 swapFree=67108860/67108860
[pid=30304] ppid=30301 vsize=71612 memory=47772 CPUtime=25.49 cores=1,3,5,7
/proc/30304/stat : 30304 (nacre_mini_rele) R 30301 30304 27398 0 -1 4202496 48074 0 0 0 2545 4 0 0 20 0 1 0 97497493 73330688 11943 33554432000 4194304 4933779 140734654718336 140734654716088 4380364 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 26775552 140734654727320 140734654727420 140734654727420 140734654730178 0
/proc/30304/statm: 17903 11943 600 181 0 11520 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 71612 KiB
Current children cumulated memory: 47772 KiB

[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30305
/proc/meminfo: memFree=23619076/32770624 swapFree=67108860/67108860
[pid=30304] ppid=30301 vsize=84304 memory=60780 CPUtime=51.09 cores=1,3,5,7
/proc/30304/stat : 30304 (nacre_mini_rele) R 30301 30304 27398 0 -1 4202496 62647 0 0 0 5103 6 0 0 20 0 1 0 97497493 86327296 15195 33554432000 4194304 4933779 140734654718336 140734654716040 4437800 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 26775552 140734654727320 140734654727420 140734654727420 140734654730178 0
/proc/30304/statm: 21076 15195 600 181 0 14693 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 84304 KiB
Current children cumulated memory: 60780 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30306
/proc/meminfo: memFree=23599948/32770624 swapFree=67108860/67108860
[pid=30304] ppid=30301 vsize=103008 memory=78624 CPUtime=102.25 cores=1,3,5,7
/proc/30304/stat : 30304 (nacre_mini_rele) R 30301 30304 27398 0 -1 4202496 69274 0 0 0 10217 8 0 0 20 0 1 0 97497493 105480192 19656 33554432000 4194304 4933779 140734654718336 140734654716040 4437567 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 26775552 140734654727320 140734654727420 140734654727420 140734654730178 0
/proc/30304/statm: 25752 19656 600 181 0 19369 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 103008 KiB
Current children cumulated memory: 78624 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30307
/proc/meminfo: memFree=23584924/32770624 swapFree=67108860/67108860
[pid=30304] ppid=30301 vsize=116140 memory=91884 CPUtime=162.25 cores=1,3,5,7
/proc/30304/stat : 30304 (nacre_mini_rele) R 30301 30304 27398 0 -1 4202496 76193 0 0 0 16216 9 0 0 20 0 1 0 97497493 118927360 22971 33554432000 4194304 4933779 140734654718336 140734654716040 4437389 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 26775552 140734654727320 140734654727420 140734654727420 140734654730178 0
/proc/30304/statm: 29035 22971 600 181 0 22652 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 116140 KiB
Current children cumulated memory: 91884 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30308
/proc/meminfo: memFree=23573360/32770624 swapFree=67108860/67108860
[pid=30304] ppid=30301 vsize=125108 memory=100988 CPUtime=222.25 cores=1,3,5,7
/proc/30304/stat : 30304 (nacre_mini_rele) R 30301 30304 27398 0 -1 4202496 85027 0 0 0 22215 10 0 0 20 0 1 0 97497493 128110592 25247 33554432000 4194304 4933779 140734654718336 140734654716040 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 26775552 140734654727320 140734654727420 140734654727420 140734654730178 0
/proc/30304/statm: 31277 25247 600 181 0 24894 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 125108 KiB
Current children cumulated memory: 100988 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30316
/proc/meminfo: memFree=23561600/32770624 swapFree=67108860/67108860
[pid=30304] ppid=30301 vsize=133028 memory=108968 CPUtime=282.24 cores=1,3,5,7
/proc/30304/stat : 30304 (nacre_mini_rele) R 30301 30304 27398 0 -1 4202496 95598 0 0 0 28213 11 0 0 20 0 1 0 97497493 136220672 27242 33554432000 4194304 4933779 140734654718336 140734654716088 140368913222629 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 26775552 140734654727320 140734654727420 140734654727420 140734654730178 0
/proc/30304/statm: 33257 27242 600 181 0 26874 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 133028 KiB
Current children cumulated memory: 108968 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30317
/proc/meminfo: memFree=23552208/32770624 swapFree=67108860/67108860
[pid=30304] ppid=30301 vsize=140484 memory=116716 CPUtime=342.22 cores=1,3,5,7
/proc/30304/stat : 30304 (nacre_mini_rele) R 30301 30304 27398 0 -1 4202496 107474 0 0 0 34210 12 0 0 20 0 1 0 97497493 143855616 29179 33554432000 4194304 4933779 140734654718336 140734654716040 4380282 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 26775552 140734654727320 140734654727420 140734654727420 140734654730178 0
/proc/30304/statm: 35121 29179 600 181 0 28738 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 140484 KiB
Current children cumulated memory: 116716 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30318
/proc/meminfo: memFree=23544008/32770624 swapFree=67108860/67108860
[pid=30304] ppid=30301 vsize=146540 memory=122612 CPUtime=402.22 cores=1,3,5,7
/proc/30304/stat : 30304 (nacre_mini_rele) R 30301 30304 27398 0 -1 4202496 110789 0 0 0 40208 14 0 0 20 0 1 0 97497493 150056960 30653 33554432000 4194304 4933779 140734654718336 140734654716040 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 26775552 140734654727320 140734654727420 140734654727420 140734654730178 0
/proc/30304/statm: 36635 30653 600 181 0 30252 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 146540 KiB
Current children cumulated memory: 122612 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30319
/proc/meminfo: memFree=23537852/32770624 swapFree=67108860/67108860
[pid=30304] ppid=30301 vsize=151836 memory=127844 CPUtime=462.21 cores=1,3,5,7
/proc/30304/stat : 30304 (nacre_mini_rele) R 30301 30304 27398 0 -1 4202496 115358 0 0 0 46206 15 0 0 20 0 1 0 97497493 155480064 31961 33554432000 4194304 4933779 140734654718336 140734654716040 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 26775552 140734654727320 140734654727420 140734654727420 140734654730178 0
/proc/30304/statm: 37959 31961 600 181 0 31576 0
Current children cumulated CPU time: 462.21 s
Current children cumulated vsize: 151836 KiB
Current children cumulated memory: 127844 KiB


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

/proc/30304/statm: 54638 48344 600 181 0 48255 0
Current children cumulated CPU time: 1722.13 s
Current children cumulated vsize: 218552 KiB
Current children cumulated memory: 193376 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30632
/proc/meminfo: memFree=23284980/32770624 swapFree=67108860/67108860
[pid=30304] ppid=30301 vsize=220868 memory=195672 CPUtime=1782.12 cores=1,3,5,7
/proc/30304/stat : 30304 (nacre_mini_rele) R 30301 30304 27398 0 -1 4202496 196262 0 0 0 178182 30 0 0 20 0 1 0 97497493 226168832 48918 33554432000 4194304 4933779 140734654718336 140734654716040 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 26775552 140734654727320 140734654727420 140734654727420 140734654730178 0
/proc/30304/statm: 55217 48918 600 181 0 48834 0
Current children cumulated CPU time: 1782.12 s
Current children cumulated vsize: 220868 KiB
Current children cumulated memory: 195672 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30633
/proc/meminfo: memFree=23273852/32770624 swapFree=67108860/67108860
[pid=30304] ppid=30301 vsize=222192 memory=197160 CPUtime=1842.12 cores=1,3,5,7
/proc/30304/stat : 30304 (nacre_mini_rele) R 30301 30304 27398 0 -1 4202496 199915 0 0 0 184181 31 0 0 20 0 1 0 97497493 227524608 49290 33554432000 4194304 4933779 140734654718336 140734654716088 4437445 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 26775552 140734654727320 140734654727420 140734654727420 140734654730178 0
/proc/30304/statm: 55548 49290 600 181 0 49165 0
Current children cumulated CPU time: 1842.12 s
Current children cumulated vsize: 222192 KiB
Current children cumulated memory: 197160 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30634
/proc/meminfo: memFree=23253676/32770624 swapFree=67108860/67108860
[pid=30304] ppid=30301 vsize=224764 memory=199608 CPUtime=1902.13 cores=1,3,5,7
/proc/30304/stat : 30304 (nacre_mini_rele) R 30301 30304 27398 0 -1 4202496 204304 0 0 0 190181 32 0 0 20 0 1 0 97497493 230158336 49902 33554432000 4194304 4933779 140734654718336 140734654716024 4437839 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 26775552 140734654727320 140734654727420 140734654727420 140734654730178 0
/proc/30304/statm: 56191 49902 600 181 0 49808 0
Current children cumulated CPU time: 1902.13 s
Current children cumulated vsize: 224764 KiB
Current children cumulated memory: 199608 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30635
/proc/meminfo: memFree=23237092/32770624 swapFree=67108860/67108860
[pid=30304] ppid=30301 vsize=225888 memory=200984 CPUtime=1962.12 cores=1,3,5,7
/proc/30304/stat : 30304 (nacre_mini_rele) R 30301 30304 27398 0 -1 4202496 208794 0 0 0 196179 33 0 0 20 0 1 0 97497493 231309312 50246 33554432000 4194304 4933779 140734654718336 140734654716024 4437570 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 26775552 140734654727320 140734654727420 140734654727420 140734654730178 0
/proc/30304/statm: 56472 50246 600 181 0 50089 0
Current children cumulated CPU time: 1962.12 s
Current children cumulated vsize: 225888 KiB
Current children cumulated memory: 200984 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30636
/proc/meminfo: memFree=23225196/32770624 swapFree=67108860/67108860
[pid=30304] ppid=30301 vsize=227428 memory=202620 CPUtime=2022.11 cores=1,3,5,7
/proc/30304/stat : 30304 (nacre_mini_rele) R 30301 30304 27398 0 -1 4202496 210281 0 0 0 202178 33 0 0 20 0 1 0 97497493 232886272 50655 33554432000 4194304 4933779 140734654718336 140734654715848 4437678 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 26775552 140734654727320 140734654727420 140734654727420 140734654730178 0
/proc/30304/statm: 56857 50655 600 181 0 50474 0
Current children cumulated CPU time: 2022.11 s
Current children cumulated vsize: 227428 KiB
Current children cumulated memory: 202620 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 30645
/proc/meminfo: memFree=23213652/32770624 swapFree=67108860/67108860
[pid=30304] ppid=30301 vsize=229640 memory=204472 CPUtime=2082.11 cores=1,3,5,7
/proc/30304/stat : 30304 (nacre_mini_rele) R 30301 30304 27398 0 -1 4202496 212367 0 0 0 208177 34 0 0 20 0 1 0 97497493 235151360 51118 33554432000 4194304 4933779 140734654718336 140734654716024 4437445 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 26775552 140734654727320 140734654727420 140734654727420 140734654730178 0
/proc/30304/statm: 57410 51118 600 181 0 51027 0
Current children cumulated CPU time: 2082.11 s
Current children cumulated vsize: 229640 KiB
Current children cumulated memory: 204472 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 30646
/proc/meminfo: memFree=23205940/32770624 swapFree=67108860/67108860
[pid=30304] ppid=30301 vsize=231516 memory=206272 CPUtime=2142.1 cores=1,3,5,7
/proc/30304/stat : 30304 (nacre_mini_rele) R 30301 30304 27398 0 -1 4202496 214676 0 0 0 214176 34 0 0 20 0 1 0 97497493 237072384 51568 33554432000 4194304 4933779 140734654718336 140734654715848 4437412 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 26775552 140734654727320 140734654727420 140734654727420 140734654730178 0
/proc/30304/statm: 57879 51568 600 181 0 51496 0
Current children cumulated CPU time: 2142.1 s
Current children cumulated vsize: 231516 KiB
Current children cumulated memory: 206272 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 30647
/proc/meminfo: memFree=23196972/32770624 swapFree=67108860/67108860
[pid=30304] ppid=30301 vsize=233464 memory=208152 CPUtime=2202.1 cores=1,3,5,7
/proc/30304/stat : 30304 (nacre_mini_rele) R 30301 30304 27398 0 -1 4202496 217450 0 0 0 220175 35 0 0 20 0 1 0 97497493 239067136 52038 33554432000 4194304 4933779 140734654718336 140734654715848 4437389 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 26775552 140734654727320 140734654727420 140734654727420 140734654730178 0
/proc/30304/statm: 58366 52038 600 181 0 51983 0
Current children cumulated CPU time: 2202.1 s
Current children cumulated vsize: 233464 KiB
Current children cumulated memory: 208152 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 30648
/proc/meminfo: memFree=23184316/32770624 swapFree=67108860/67108860
[pid=30304] ppid=30301 vsize=235252 memory=210044 CPUtime=2262.09 cores=1,3,5,7
/proc/30304/stat : 30304 (nacre_mini_rele) R 30301 30304 27398 0 -1 4202496 220672 0 0 0 226174 35 0 0 20 0 1 0 97497493 240898048 52511 33554432000 4194304 4933779 140734654718336 140734654716024 4437389 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 26775552 140734654727320 140734654727420 140734654727420 140734654730178 0
/proc/30304/statm: 58813 52511 600 181 0 52430 0
Current children cumulated CPU time: 2262.09 s
Current children cumulated vsize: 235252 KiB
Current children cumulated memory: 210044 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 30649
/proc/meminfo: memFree=23174388/32770624 swapFree=67108860/67108860
[pid=30304] ppid=30301 vsize=236924 memory=211696 CPUtime=2322.09 cores=1,3,5,7
/proc/30304/stat : 30304 (nacre_mini_rele) R 30301 30304 27398 0 -1 4202496 224294 0 0 0 232173 36 0 0 20 0 1 0 97497493 242610176 52924 33554432000 4194304 4933779 140734654718336 140734654716040 4380175 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 26775552 140734654727320 140734654727420 140734654727420 140734654730178 0
/proc/30304/statm: 59231 52924 600 181 0 52848 0
Current children cumulated CPU time: 2322.09 s
Current children cumulated vsize: 236924 KiB
Current children cumulated memory: 211696 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30650
/proc/meminfo: memFree=23164108/32770624 swapFree=67108860/67108860
[pid=30304] ppid=30301 vsize=238872 memory=213600 CPUtime=2382.09 cores=1,3,5,7
/proc/30304/stat : 30304 (nacre_mini_rele) R 30301 30304 27398 0 -1 4202496 228380 0 0 0 238173 36 0 0 20 0 1 0 97497493 244604928 53400 33554432000 4194304 4933779 140734654718336 140734654716040 4437581 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 26775552 140734654727320 140734654727420 140734654727420 140734654730178 0
/proc/30304/statm: 59718 53400 600 181 0 53335 0
Current children cumulated CPU time: 2382.09 s
Current children cumulated vsize: 238872 KiB
Current children cumulated memory: 213600 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30651
/proc/meminfo: memFree=23152880/32770624 swapFree=67108860/67108860
[pid=30304] ppid=30301 vsize=241184 memory=216500 CPUtime=2442.08 cores=1,3,5,7
/proc/30304/stat : 30304 (nacre_mini_rele) R 30301 30304 27398 0 -1 4202496 232814 0 0 0 244171 37 0 0 20 0 1 0 97497493 246972416 54125 33554432000 4194304 4933779 140734654718336 140734654716024 4437792 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 26775552 140734654727320 140734654727420 140734654727420 140734654730178 0
/proc/30304/statm: 60296 54125 600 181 0 53913 0
Current children cumulated CPU time: 2442.08 s
Current children cumulated vsize: 241184 KiB
Current children cumulated memory: 216500 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30652
/proc/meminfo: memFree=23142468/32770624 swapFree=67108860/67108860
[pid=30304] ppid=30301 vsize=242696 memory=217888 CPUtime=2502.07 cores=1,3,5,7
/proc/30304/stat : 30304 (nacre_mini_rele) R 30301 30304 27398 0 -1 4202496 234598 0 0 0 250170 37 0 0 20 0 1 0 97497493 248520704 54472 33554432000 4194304 4933779 140734654718336 140734654716024 4437538 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 26775552 140734654727320 140734654727420 140734654727420 140734654730178 0
/proc/30304/statm: 60674 54472 600 181 0 54291 0
Current children cumulated CPU time: 2502.07 s
Current children cumulated vsize: 242696 KiB
Current children cumulated memory: 217888 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 30653
/proc/meminfo: memFree=23138608/32770624 swapFree=67108860/67108860
[pid=30304] ppid=30301 vsize=242828 memory=218212 CPUtime=2519.79 cores=1,3,5,7
/proc/30304/stat : 30304 (nacre_mini_rele) R 30301 30304 27398 0 -1 4202496 236327 0 0 0 251941 38 0 0 20 0 1 0 97497493 248655872 54553 33554432000 4194304 4933779 140734654718336 140734654716040 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 26775552 140734654727320 140734654727420 140734654727420 140734654730178 0
/proc/30304/statm: 60707 54553 600 181 0 54324 0
Current children cumulated CPU time: 2519.79 s
Current children cumulated vsize: 242828 KiB
Current children cumulated memory: 218212 KiB

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

[startup+2520.01 s]
# the end of solver process 30304 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.41 s, system=0.383983 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.8
CPU user time (s): 2519.41
CPU system time (s): 0.383983
CPU usage (%): 99.9915
Max. virtual memory (cumulated for all children) (KiB): 242828
Max. memory (cumulated for all children) (KiB): 218212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.41
system time used= 0.383983
maximum resident set size= 218292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 236372
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= 110
involuntary context switches= 2010


# summary of solver processes directly reported to runsolver:
#   pid: 30304
#   total CPU time (s): 2519.8
#   total CPU user time (s): 2519.41
#   total CPU system time (s): 0.383983

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.53322 second user time and 18.6893 second system time

The end

Launcher Data 

Begin job on node139 at 2018-07-28 19:35:43
IDJOB=4300346
IDBENCH=141588
IDSOLVER=2764
FILE ID=node139/4300346-1532799343
RUNJOBID= node139-1532774055-27430
PBS_JOBID= 21022456
Free space on /tmp= 38716 MiB

SOLVER NAME= NACRE 1.0.4
BENCH NAME= XCSP18/Frb/frb-50-23-2-mgd_c18.xml
COMMAND LINE= nacre_mini_release BENCHNAME -ca -l100 -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4300346-1532799343/watcher-4300346-1532799343 -o /tmp/evaluation-result-4300346-1532799343/solver-4300346-1532799343 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532774055-27430 --watchdog 2580  nacre_mini_release HOME/instance-4300346-1532799343.xml -ca -l100 -cm

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

MD5SUM BENCH= 747f749c43313802f4a8e2c3a16b0378
RANDOM SEED=322659069

node139.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.80
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.80
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.80
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.80
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:        23679884 kB
MemAvailable:   31735180 kB
Buffers:          238668 kB
Cached:          7915612 kB
SwapCached:            0 kB
Active:          3273924 kB
Inactive:        5129744 kB
Active(anon):     203636 kB
Inactive(anon):    73544 kB
Active(file):    3070288 kB
Inactive(file):  5056200 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1232 kB
Writeback:             0 kB
AnonPages:        266532 kB
Mapped:            44416 kB
Shmem:             25228 kB
Slab:             385756 kB
SReclaimable:     357268 kB
SUnreclaim:        28488 kB
KernelStack:        3568 kB
PageTables:         5176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     550780 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    198656 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 38716 MiB
End job on node139 at 2018-07-28 20:17:43