Trace number 4300274

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

General information on the benchmark

NameFrb/
frb-59-26-3-mgd_c18.xml
MD5SUM4c66b19dbffc4da62838f27d220d1d7d
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 variables59
Number of constraints547
Number of domains1
Minimum domain size26
Maximum domain size26
Distribution of domain sizes[{"size":26,"count":59}]
Minimum variable degree11
Maximum variable degree27
Distribution of variable degrees[{"degree":11,"count":1},{"degree":12,"count":1},{"degree":13,"count":2},{"degree":14,"count":2},{"degree":15,"count":4},{"degree":16,"count":6},{"degree":17,"count":9},{"degree":18,"count":3},{"degree":19,"count":8},{"degree":20,"count":9},{"degree":21,"count":2},{"degree":22,"count":4},{"degree":23,"count":3},{"degree":24,"count":4},{"degree":27,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":547}]
Number of extensional constraints547
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":547}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.08	c NACRE 1.0.4
2519.73/2520.01	c
2519.73/2520.01	c # time = 2519.73
2519.73/2520.01	c # Dec = 2495224
2519.73/2520.01	c # Propagate Calls = 1307148087
2519.73/2520.01	c # assignAt Calls = 4535303
2519.73/2520.01	c # removeAt Calls = 422795330
2519.73/2520.01	c # Run = 4095
2519.73/2520.01	c # Conflicts = 2449014
2519.73/2520.01	c # Memory used = 273.724 Mb
2519.73/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 (8928 MiB free)
  memory of node 1: 16384 MiB (12642 MiB free)
  node distances:
     10  21
     21  10

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

[startup+0.10016 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 30087
/proc/meminfo: memFree=22082004/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=33728 memory=10328 CPUtime=0.1 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 2766 0 0 0 10 0 0 0 20 0 1 0 97245437 34537472 2582 33554432000 4194304 4933779 140731958786368 140731958783368 140275571321829 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 8432 2582 599 181 0 2049 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33728 KiB
Current children cumulated memory: 10328 KiB

[startup+0.209617 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 30087
/proc/meminfo: memFree=22080888/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=34780 memory=11336 CPUtime=0.21 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 3041 0 0 0 21 0 0 0 20 0 1 0 97245437 35614720 2834 33554432000 4194304 4933779 140731958786368 140731958783368 140275571321829 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 8695 2834 600 181 0 2312 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34780 KiB
Current children cumulated memory: 11336 KiB

[startup+0.30906 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 30087
/proc/meminfo: memFree=22079772/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=35704 memory=12388 CPUtime=0.31 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 3281 0 0 0 31 0 0 0 20 0 1 0 97245437 36560896 3097 33554432000 4194304 4933779 140731958786368 140731958783368 140275571321829 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 8926 3097 600 181 0 2543 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 35704 KiB
Current children cumulated memory: 12388 KiB

[startup+0.700303 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30087
/proc/meminfo: memFree=22077772/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=39268 memory=15804 CPUtime=0.69 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 4153 0 0 0 69 0 0 0 20 0 1 0 97245437 40210432 3951 33554432000 4194304 4933779 140731958786368 140731958784136 4336062 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 9817 3951 600 181 0 3434 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39268 KiB
Current children cumulated memory: 15804 KiB

[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30087
/proc/meminfo: memFree=22073680/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=45052 memory=21740 CPUtime=1.48 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 5607 0 0 0 148 0 0 0 20 0 1 0 97245437 46133248 5435 33554432000 4194304 4933779 140731958786368 140731958784136 4437839 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 11263 5435 600 181 0 4880 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 45052 KiB
Current children cumulated memory: 21740 KiB

[startup+3.10947 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30087
/proc/meminfo: memFree=22052972/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=52508 memory=29040 CPUtime=3.09 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 12213 0 0 0 308 1 0 0 20 0 1 0 97245437 53768192 7260 33554432000 4194304 4933779 140731958786368 140731958784136 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 13127 7260 600 181 0 6744 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 52508 KiB
Current children cumulated memory: 29040 KiB

[startup+6.30033 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30087
/proc/meminfo: memFree=22043176/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=60096 memory=36560 CPUtime=6.29 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 20505 0 0 0 627 2 0 0 20 0 1 0 97245437 61538304 9140 33554432000 4194304 4933779 140731958786368 140731958784120 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 15024 9140 600 181 0 8641 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 60096 KiB
Current children cumulated memory: 36560 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30087
/proc/meminfo: memFree=22034480/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=69716 memory=45836 CPUtime=12.69 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 31079 0 0 0 1265 4 0 0 20 0 1 0 97245437 71389184 11459 33554432000 4194304 4933779 140731958786368 140731958784056 4335134 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 17429 11459 600 181 0 11046 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 69716 KiB
Current children cumulated memory: 45836 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30087
/proc/meminfo: memFree=22022312/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=82140 memory=58268 CPUtime=25.48 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 56907 0 0 0 2543 5 0 0 20 0 1 0 97245437 84111360 14567 33554432000 4194304 4933779 140731958786368 140731958784120 4380182 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 20535 14567 600 181 0 14152 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 82140 KiB
Current children cumulated memory: 58268 KiB

[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30087
/proc/meminfo: memFree=22006372/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=96996 memory=73628 CPUtime=51.09 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 76051 0 0 0 5102 7 0 0 20 0 1 0 97245437 99323904 18407 33554432000 4194304 4933779 140731958786368 140731958784056 4380267 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 24249 18407 600 181 0 17866 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 96996 KiB
Current children cumulated memory: 73628 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30089
/proc/meminfo: memFree=21988000/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=117028 memory=92588 CPUtime=102.28 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 99805 0 0 0 10219 9 0 0 20 0 1 0 97245437 119836672 23147 33554432000 4194304 4933779 140731958786368 140731958784072 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 29257 23147 600 181 0 22874 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 117028 KiB
Current children cumulated memory: 92588 KiB

[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 30090
/proc/meminfo: memFree=21957488/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=133260 memory=108864 CPUtime=162.28 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 126615 0 0 0 16216 12 0 0 20 0 1 0 97245437 136458240 27216 33554432000 4194304 4933779 140731958786368 140731958784120 4437581 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 33315 27216 600 181 0 26932 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 133260 KiB
Current children cumulated memory: 108864 KiB

[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 30091
/proc/meminfo: memFree=21940708/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=143780 memory=119428 CPUtime=222.28 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 155597 0 0 0 22213 15 0 0 20 0 1 0 97245437 147230720 29857 33554432000 4194304 4933779 140731958786368 140731958784056 4437564 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 35945 29857 600 181 0 29562 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 143780 KiB
Current children cumulated memory: 119428 KiB

[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 30093
/proc/meminfo: memFree=21866436/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=152736 memory=128456 CPUtime=282.27 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 186752 0 0 0 28210 17 0 0 20 0 1 0 97245437 156401664 32114 33554432000 4194304 4933779 140731958786368 140731958784056 4437445 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 38184 32114 600 181 0 31801 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 152736 KiB
Current children cumulated memory: 128456 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30095
/proc/meminfo: memFree=21819800/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=161608 memory=137568 CPUtime=342.27 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 220132 0 0 0 34207 20 0 0 20 0 1 0 97245437 165486592 34392 33554432000 4194304 4933779 140731958786368 140731958784056 4437564 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 40402 34392 600 181 0 34019 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 161608 KiB
Current children cumulated memory: 137568 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30103
/proc/meminfo: memFree=21752836/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=169536 memory=145464 CPUtime=402.27 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 255509 0 0 0 40204 23 0 0 20 0 1 0 97245437 173604864 36366 33554432000 4194304 4933779 140731958786368 140731958784120 4380793 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 42384 36366 600 181 0 36001 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 169536 KiB
Current children cumulated memory: 145464 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30126
/proc/meminfo: memFree=21692020/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=176280 memory=152320 CPUtime=462.26 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 292384 0 0 0 46200 26 0 0 20 0 1 0 97245437 180510720 38080 33554432000 4194304 4933779 140731958786368 140731958784072 4437796 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 44070 38080 600 181 0 37687 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 176280 KiB
Current children cumulated memory: 152320 KiB


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

/proc/30086/statm: 66285 60006 600 181 0 59902 0
Current children cumulated CPU time: 1722.08 s
Current children cumulated vsize: 265140 KiB
Current children cumulated memory: 240024 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30223
/proc/meminfo: memFree=23471664/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=267812 memory=242764 CPUtime=1782.07 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 681020 0 0 0 178143 64 0 0 20 0 1 0 97245437 274239488 60691 33554432000 4194304 4933779 140731958786368 140731958784120 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 66953 60691 600 181 0 60570 0
Current children cumulated CPU time: 1782.07 s
Current children cumulated vsize: 267812 KiB
Current children cumulated memory: 242764 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30224
/proc/meminfo: memFree=23465700/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=270744 memory=245668 CPUtime=1842.07 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 683200 0 0 0 184142 65 0 0 20 0 1 0 97245437 277241856 61417 33554432000 4194304 4933779 140731958786368 140731958784072 4437538 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 67686 61417 600 181 0 61303 0
Current children cumulated CPU time: 1842.07 s
Current children cumulated vsize: 270744 KiB
Current children cumulated memory: 245668 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30226
/proc/meminfo: memFree=23459276/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=273012 memory=247904 CPUtime=1902.07 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 685848 0 0 0 190142 65 0 0 20 0 1 0 97245437 279564288 61976 33554432000 4194304 4933779 140731958786368 140731958783880 4437824 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 68253 61976 600 181 0 61870 0
Current children cumulated CPU time: 1902.07 s
Current children cumulated vsize: 273012 KiB
Current children cumulated memory: 247904 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30227
/proc/meminfo: memFree=23453664/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=275508 memory=250600 CPUtime=1962.06 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 689166 0 0 0 196141 65 0 0 20 0 1 0 97245437 282120192 62650 33554432000 4194304 4933779 140731958786368 140731958784120 4437538 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 68877 62650 600 181 0 62494 0
Current children cumulated CPU time: 1962.06 s
Current children cumulated vsize: 275508 KiB
Current children cumulated memory: 250600 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30228
/proc/meminfo: memFree=23448288/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=277772 memory=252644 CPUtime=2022.07 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 692982 0 0 0 202141 66 0 0 20 0 1 0 97245437 284438528 63161 33554432000 4194304 4933779 140731958786368 140731958784072 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 69443 63161 600 181 0 63060 0
Current children cumulated CPU time: 2022.07 s
Current children cumulated vsize: 277772 KiB
Current children cumulated memory: 252644 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30230
/proc/meminfo: memFree=23443268/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=280476 memory=255532 CPUtime=2082.06 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 697575 0 0 0 208140 66 0 0 20 0 1 0 97245437 287207424 63883 33554432000 4194304 4933779 140731958786368 140731958784072 4380451 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 70119 63883 600 181 0 63736 0
Current children cumulated CPU time: 2082.06 s
Current children cumulated vsize: 280476 KiB
Current children cumulated memory: 255532 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30231
/proc/meminfo: memFree=23437612/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=282864 memory=257940 CPUtime=2142.06 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 700168 0 0 0 214139 67 0 0 20 0 1 0 97245437 289652736 64485 33554432000 4194304 4933779 140731958786368 140731958784072 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 70716 64485 600 181 0 64333 0
Current children cumulated CPU time: 2142.06 s
Current children cumulated vsize: 282864 KiB
Current children cumulated memory: 257940 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30239
/proc/meminfo: memFree=23431160/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=286656 memory=261628 CPUtime=2202.05 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 702753 0 0 0 220137 68 0 0 20 0 1 0 97245437 293535744 65407 33554432000 4194304 4933779 140731958786368 140731958784072 4437370 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 71664 65407 600 181 0 65281 0
Current children cumulated CPU time: 2202.05 s
Current children cumulated vsize: 286656 KiB
Current children cumulated memory: 261628 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30240
/proc/meminfo: memFree=23425316/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=289588 memory=264464 CPUtime=2262.05 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 706023 0 0 0 226137 68 0 0 20 0 1 0 97245437 296538112 66116 33554432000 4194304 4933779 140731958786368 140731958783880 4437567 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 72397 66116 600 181 0 66014 0
Current children cumulated CPU time: 2262.05 s
Current children cumulated vsize: 289588 KiB
Current children cumulated memory: 264464 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30241
/proc/meminfo: memFree=23421696/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=291236 memory=266004 CPUtime=2322.04 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 706420 0 0 0 232136 68 0 0 20 0 1 0 97245437 298225664 66501 33554432000 4194304 4933779 140731958786368 140731958783880 4437536 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 72809 66501 600 181 0 66426 0
Current children cumulated CPU time: 2322.04 s
Current children cumulated vsize: 291236 KiB
Current children cumulated memory: 266004 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30242
/proc/meminfo: memFree=23417744/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=293164 memory=267660 CPUtime=2382.05 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 710175 0 0 0 238136 69 0 0 20 0 1 0 97245437 300199936 66915 33554432000 4194304 4933779 140731958786368 140731958783928 4437538 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 73291 66915 600 181 0 66908 0
Current children cumulated CPU time: 2382.05 s
Current children cumulated vsize: 293164 KiB
Current children cumulated memory: 267660 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30243
/proc/meminfo: memFree=23411460/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=295828 memory=271212 CPUtime=2442.04 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 714848 0 0 0 244134 70 0 0 20 0 1 0 97245437 302927872 67803 33554432000 4194304 4933779 140731958786368 140731958784072 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 73957 67803 600 181 0 67574 0
Current children cumulated CPU time: 2442.04 s
Current children cumulated vsize: 295828 KiB
Current children cumulated memory: 271212 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30244
/proc/meminfo: memFree=23408252/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=297588 memory=272788 CPUtime=2502.03 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 716722 0 0 0 250133 70 0 0 20 0 1 0 97245437 304730112 68197 33554432000 4194304 4933779 140731958786368 140731958784072 4475748 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 74397 68197 600 181 0 68014 0
Current children cumulated CPU time: 2502.03 s
Current children cumulated vsize: 297588 KiB
Current children cumulated memory: 272788 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 30244
/proc/meminfo: memFree=23407128/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=298460 memory=273508 CPUtime=2519.73 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 717200 0 0 0 251903 70 0 0 20 0 1 0 97245437 305623040 68377 33554432000 4194304 4933779 140731958786368 140731958784056 4437678 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 74615 68377 600 181 0 68232 0
Current children cumulated CPU time: 2519.73 s
Current children cumulated vsize: 298460 KiB
Current children cumulated memory: 273508 KiB

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

[startup+2520.01 s]
# the end of solver process 30086 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.04 s, system=0.710961 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.75
CPU user time (s): 2519.04
CPU system time (s): 0.710961
CPU usage (%): 99.9896
Max. virtual memory (cumulated for all children) (KiB): 298460
Max. memory (cumulated for all children) (KiB): 273508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.04
system time used= 0.710961
maximum resident set size= 273792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 717244
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= 137
involuntary context switches= 2514


# summary of solver processes directly reported to runsolver:
#   pid: 30086
#   total CPU time (s): 2519.75
#   total CPU user time (s): 2519.04
#   total CPU system time (s): 0.710961

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0195 second user time and 18.5962 second system time

The end

Launcher Data 

Begin job on node139 at 2018-07-28 18:53:43
IDJOB=4300274
IDBENCH=141579
IDSOLVER=2764
FILE ID=node139/4300274-1532796823
RUNJOBID= node139-1532774055-27430
PBS_JOBID= 21022456
Free space on /tmp= 38716 MiB

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

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

MD5SUM BENCH= 4c66b19dbffc4da62838f27d220d1d7d
RANDOM SEED=1372893245

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:        22089712 kB
MemAvailable:   30143812 kB
Buffers:          238340 kB
Cached:          7914872 kB
SwapCached:            0 kB
Active:          4860880 kB
Inactive:        5129160 kB
Active(anon):    1791204 kB
Inactive(anon):    73544 kB
Active(file):    3069676 kB
Inactive(file):  5055616 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1552 kB
Writeback:             0 kB
AnonPages:       1780836 kB
Mapped:            43912 kB
Shmem:             25228 kB
Slab:             385852 kB
SReclaimable:     357268 kB
SUnreclaim:        28584 kB
KernelStack:        3360 kB
PageTables:         8680 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2138172 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1398784 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 19:35:43