Trace number 4300002

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.03

General information on the benchmark

NameMagicSquare/
MagicSquare-16-sum_c18.xml
MD5SUMdc0956070aead6ed741b5a9522bbec89
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 variables256
Number of constraints35
Number of domains1
Minimum domain size256
Maximum domain size256
Distribution of domain sizes[{"size":256,"count":256}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":224},{"degree":4,"count":32}]
Minimum constraint arity16
Maximum constraint arity256
Distribution of constraint arities[{"arity":16,"count":34},{"arity":256,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":1},{"type":"sum","count":34}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.02	c NACRE 1.0.4
2519.73/2520.01	c
2519.73/2520.01	c # time = 2519.73
2519.73/2520.01	c # Dec = 1330008
2519.73/2520.01	c # Propagate Calls = 25400897024
2519.73/2520.01	c # assignAt Calls = 2560174
2519.73/2520.01	c # removeAt Calls = 571443404
2519.73/2520.01	c # Run = 2537
2519.73/2520.01	c # Conflicts = 1303812
2519.73/2520.01	c # Memory used = 949.632 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 (9712 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-4300002-1532794302/watcher-4300002-1532794302 -o /tmp/evaluation-result-4300002-1532794302/solver-4300002-1532794302 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532774055-27430 --watchdog 2580 nacre_mini_release HOME/instance-4300002-1532794302.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=29831, runsolver pid=29828

[startup+0.100174 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 29832
/proc/meminfo: memFree=22876056/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=43184 memory=19732 CPUtime=0.1 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 5836 0 0 0 10 0 0 0 20 0 1 0 96993381 44220416 4933 33554432000 4194304 4933779 140728046249104 140728046246104 139757106432427 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 10796 4933 612 181 0 4413 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43184 KiB
Current children cumulated memory: 19732 KiB

[startup+0.209932 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 29832
/proc/meminfo: memFree=22874940/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=44324 memory=21052 CPUtime=0.21 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 6141 0 0 0 21 0 0 0 20 0 1 0 96993381 45387776 5263 33554432000 4194304 4933779 140728046249104 140728046246104 4388720 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 11081 5263 612 181 0 4698 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 44324 KiB
Current children cumulated memory: 21052 KiB

[startup+0.309792 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 29832
/proc/meminfo: memFree=22873824/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=45320 memory=22108 CPUtime=0.31 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 6382 0 0 0 31 0 0 0 20 0 1 0 96993381 46407680 5527 33554432000 4194304 4933779 140728046249104 140728046246104 139757106432403 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 11330 5527 612 181 0 4947 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 45320 KiB
Current children cumulated memory: 22108 KiB

[startup+0.700412 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29832
/proc/meminfo: memFree=22871220/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=49600 memory=26332 CPUtime=0.69 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 7455 0 0 0 69 0 0 0 20 0 1 0 96993381 50790400 6583 33554432000 4194304 4933779 140728046249104 140728046246104 139757106432427 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 12400 6583 612 181 0 6017 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 49600 KiB
Current children cumulated memory: 26332 KiB

[startup+1.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29832
/proc/meminfo: memFree=22866172/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=58864 memory=35572 CPUtime=1.49 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 9766 0 0 0 148 1 0 0 20 0 1 0 96993381 60276736 8893 33554432000 4194304 4933779 140728046249104 140728046246872 4388395 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 14716 8893 612 181 0 8333 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 58864 KiB
Current children cumulated memory: 35572 KiB

[startup+3.10969 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29832
/proc/meminfo: memFree=22843308/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=76780 memory=53388 CPUtime=3.1 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 19665 0 0 0 308 2 0 0 20 0 1 0 96993381 78622720 13347 33554432000 4194304 4933779 140728046249104 140728046246856 4475575 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 19195 13347 612 181 0 12812 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 76780 KiB
Current children cumulated memory: 53388 KiB

[startup+6.3004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29832
/proc/meminfo: memFree=22810104/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=111432 memory=88056 CPUtime=6.29 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 36764 0 0 0 624 5 0 0 20 0 1 0 96993381 114106368 22014 33554432000 4194304 4933779 140728046249104 140728046246872 139757106432387 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 27858 22014 612 181 0 21475 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 111432 KiB
Current children cumulated memory: 88056 KiB

[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29832
/proc/meminfo: memFree=22747360/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=177212 memory=153592 CPUtime=12.69 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 64175 0 0 0 1259 10 0 0 20 0 1 0 96993381 181465088 38398 33554432000 4194304 4933779 140728046249104 140728046246872 4475561 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 44303 38398 612 181 0 37920 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 177212 KiB
Current children cumulated memory: 153592 KiB

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29832
/proc/meminfo: memFree=22682828/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=236372 memory=212868 CPUtime=25.49 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 125069 0 0 0 2533 16 0 0 20 0 1 0 96993381 242044928 53217 33554432000 4194304 4933779 140728046249104 140728046246856 139757106432435 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 59093 53217 612 181 0 52710 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 236372 KiB
Current children cumulated memory: 212868 KiB

[startup+51.1097 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29832
/proc/meminfo: memFree=22628392/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=289516 memory=266036 CPUtime=51.1 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 196802 0 0 0 5084 26 0 0 20 0 1 0 96993381 296464384 66509 33554432000 4194304 4933779 140728046249104 140728046246808 4388395 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 72379 66509 612 181 0 65996 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 289516 KiB
Current children cumulated memory: 266036 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29833
/proc/meminfo: memFree=22569536/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=347712 memory=323688 CPUtime=102.29 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 295749 0 0 0 10188 41 0 0 20 0 1 0 96993381 356057088 80922 33554432000 4194304 4933779 140728046249104 140728046246856 4388388 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 86928 80922 612 181 0 80545 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 347712 KiB
Current children cumulated memory: 323688 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29834
/proc/meminfo: memFree=22513640/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=395616 memory=371660 CPUtime=162.29 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 380703 0 0 0 16177 52 0 0 20 0 1 0 96993381 405110784 92915 33554432000 4194304 4933779 140728046249104 140728046246856 4475761 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 98904 92915 612 181 0 92521 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 395616 KiB
Current children cumulated memory: 371660 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29835
/proc/meminfo: memFree=22477948/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=425344 memory=401292 CPUtime=222.27 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 473682 0 0 0 22162 65 0 0 20 0 1 0 96993381 435552256 100323 33554432000 4194304 4933779 140728046249104 140728046246856 4475930 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 106336 100323 612 181 0 99953 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 425344 KiB
Current children cumulated memory: 401292 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29836
/proc/meminfo: memFree=22442644/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=452828 memory=428812 CPUtime=282.23 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 546660 0 0 0 28146 77 0 0 20 0 1 0 96993381 463695872 107203 33554432000 4194304 4933779 140728046249104 140728046246856 4437456 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 113207 107203 612 181 0 106824 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 452828 KiB
Current children cumulated memory: 428812 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29837
/proc/meminfo: memFree=22403984/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=478320 memory=454304 CPUtime=342.2 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 610353 0 0 0 34133 87 0 0 20 0 1 0 96993381 489799680 113576 33554432000 4194304 4933779 140728046249104 140728046246856 4393121 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 119580 113576 612 181 0 113197 0
Current children cumulated CPU time: 342.2 s
Current children cumulated vsize: 478320 KiB
Current children cumulated memory: 454304 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29838
/proc/meminfo: memFree=22347816/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=511308 memory=487660 CPUtime=402.17 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 656390 0 0 0 40124 93 0 0 20 0 1 0 96993381 523579392 121915 33554432000 4194304 4933779 140728046249104 140728046246808 4437572 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 127827 121915 612 181 0 121444 0
Current children cumulated CPU time: 402.17 s
Current children cumulated vsize: 511308 KiB
Current children cumulated memory: 487660 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29839
/proc/meminfo: memFree=22318192/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=526796 memory=503500 CPUtime=462.15 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 678098 0 0 0 46118 97 0 0 20 0 1 0 96993381 539439104 125875 33554432000 4194304 4933779 140728046249104 140728046246856 4437570 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 131699 125875 612 181 0 125316 0
Current children cumulated CPU time: 462.15 s
Current children cumulated vsize: 526796 KiB
Current children cumulated memory: 503500 KiB


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

/proc/29831/statm: 205029 198980 612 181 0 198646 0
Current children cumulated CPU time: 1722.07 s
Current children cumulated vsize: 820116 KiB
Current children cumulated memory: 795920 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30007
/proc/meminfo: memFree=21677244/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=831052 memory=806648 CPUtime=1782.06 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 1105596 0 0 0 178027 179 0 0 20 0 1 0 96993381 850997248 201662 33554432000 4194304 4933779 140728046249104 140728046246856 4437564 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 207763 201662 612 181 0 201380 0
Current children cumulated CPU time: 1782.06 s
Current children cumulated vsize: 831052 KiB
Current children cumulated memory: 806648 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30008
/proc/meminfo: memFree=21629176/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=845412 memory=821060 CPUtime=1842.06 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 1133644 0 0 0 184022 184 0 0 20 0 1 0 96993381 865701888 205265 33554432000 4194304 4933779 140728046249104 140728046246856 4388395 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 211353 205265 612 181 0 204970 0
Current children cumulated CPU time: 1842.06 s
Current children cumulated vsize: 845412 KiB
Current children cumulated memory: 821060 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30009
/proc/meminfo: memFree=21599312/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=863952 memory=839484 CPUtime=1902.06 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 1166324 0 0 0 190017 189 0 0 20 0 1 0 96993381 884686848 209871 33554432000 4194304 4933779 140728046249104 140728046246616 4393171 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 215988 209871 612 181 0 209605 0
Current children cumulated CPU time: 1902.06 s
Current children cumulated vsize: 863952 KiB
Current children cumulated memory: 839484 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30010
/proc/meminfo: memFree=21566488/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=891256 memory=866488 CPUtime=1962.05 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 1214015 0 0 0 196008 197 0 0 20 0 1 0 96993381 912646144 216622 33554432000 4194304 4933779 140728046249104 140728046246856 4335693 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 222814 216622 612 181 0 216431 0
Current children cumulated CPU time: 1962.05 s
Current children cumulated vsize: 891256 KiB
Current children cumulated memory: 866488 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30011
/proc/meminfo: memFree=21524956/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=907052 memory=882300 CPUtime=2022.05 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 1252176 0 0 0 202004 201 0 0 20 0 1 0 96993381 928821248 220575 33554432000 4194304 4933779 140728046249104 140728046246808 4475930 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 226763 220575 612 181 0 220380 0
Current children cumulated CPU time: 2022.05 s
Current children cumulated vsize: 907052 KiB
Current children cumulated memory: 882300 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30012
/proc/meminfo: memFree=21410756/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=921368 memory=896684 CPUtime=2082.04 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 1301398 0 0 0 207995 209 0 0 20 0 1 0 96993381 943480832 224171 33554432000 4194304 4933779 140728046249104 140728046246856 4388399 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 230342 224171 612 181 0 223959 0
Current children cumulated CPU time: 2082.04 s
Current children cumulated vsize: 921368 KiB
Current children cumulated memory: 896684 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30013
/proc/meminfo: memFree=21359548/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=945504 memory=920504 CPUtime=2142.04 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 1358626 0 0 0 213986 218 0 0 20 0 1 0 96993381 968196096 230126 33554432000 4194304 4933779 140728046249104 140728046246872 4388736 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 236376 230126 612 181 0 229993 0
Current children cumulated CPU time: 2142.04 s
Current children cumulated vsize: 945504 KiB
Current children cumulated memory: 920504 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30014
/proc/meminfo: memFree=21338108/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=962768 memory=937744 CPUtime=2202.04 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 1417308 0 0 0 219977 227 0 0 20 0 1 0 96993381 985874432 234436 33554432000 4194304 4933779 140728046249104 140728046246856 4393121 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 240692 234436 612 181 0 234309 0
Current children cumulated CPU time: 2202.04 s
Current children cumulated vsize: 962768 KiB
Current children cumulated memory: 937744 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30015
/proc/meminfo: memFree=21307396/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=963208 memory=938144 CPUtime=2262.03 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 1468775 0 0 0 225969 234 0 0 20 0 1 0 96993381 986324992 234536 33554432000 4194304 4933779 140728046249104 140728046246792 4388630 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 240802 234536 612 181 0 234419 0
Current children cumulated CPU time: 2262.03 s
Current children cumulated vsize: 963208 KiB
Current children cumulated memory: 938144 KiB

[startup+2322.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 30023
/proc/meminfo: memFree=21223492/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=963532 memory=938436 CPUtime=2322.03 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 1523483 0 0 0 231960 243 0 0 20 0 1 0 96993381 986656768 234609 33554432000 4194304 4933779 140728046249104 140728046246792 4475935 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 240883 234609 612 181 0 234500 0
Current children cumulated CPU time: 2322.03 s
Current children cumulated vsize: 963532 KiB
Current children cumulated memory: 938436 KiB

[startup+2382.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/187 30024
/proc/meminfo: memFree=21191664/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=968364 memory=943376 CPUtime=2382.03 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 1577094 0 0 0 237951 252 0 0 20 0 1 0 96993381 991604736 235844 33554432000 4194304 4933779 140728046249104 140728046246856 4437564 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 242091 235844 612 181 0 235708 0
Current children cumulated CPU time: 2382.03 s
Current children cumulated vsize: 968364 KiB
Current children cumulated memory: 943376 KiB

[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 30025
/proc/meminfo: memFree=21157936/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=968844 memory=943712 CPUtime=2442.02 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 1631552 0 0 0 243942 260 0 0 20 0 1 0 96993381 992096256 235928 33554432000 4194304 4933779 140728046249104 140728046246792 4388743 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 242211 235928 612 181 0 235828 0
Current children cumulated CPU time: 2442.02 s
Current children cumulated vsize: 968844 KiB
Current children cumulated memory: 943712 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30026
/proc/meminfo: memFree=21153976/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=972376 memory=947372 CPUtime=2502.02 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 1685775 0 0 0 249932 270 0 0 20 0 1 0 96993381 995713024 236843 33554432000 4194304 4933779 140728046249104 140728046246856 4437547 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 243094 236843 612 181 0 236711 0
Current children cumulated CPU time: 2502.02 s
Current children cumulated vsize: 972376 KiB
Current children cumulated memory: 947372 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 30026
/proc/meminfo: memFree=21141420/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=974548 memory=949632 CPUtime=2519.73 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 1699274 0 0 0 251701 272 0 0 20 0 1 0 96993381 997937152 237408 33554432000 4194304 4933779 140728046249104 140728046246792 4388738 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 243637 237408 612 181 0 237254 0
Current children cumulated CPU time: 2519.73 s
Current children cumulated vsize: 974548 KiB
Current children cumulated memory: 949632 KiB

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

[startup+2520.03 s]
# the end of solver process 29831 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.01 s, system=2.7409 s

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

Child status: 0
Real time (s): 2520.03
CPU time (s): 2519.75
CPU user time (s): 2517.01
CPU system time (s): 2.7409
CPU usage (%): 99.9891
Max. virtual memory (cumulated for all children) (KiB): 974548
Max. memory (cumulated for all children) (KiB): 949632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.01
system time used= 2.7409
maximum resident set size= 949688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1699318
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= 238
involuntary context switches= 1799


# summary of solver processes directly reported to runsolver:
#   pid: 29831
#   total CPU time (s): 2519.75
#   total CPU user time (s): 2517.01
#   total CPU system time (s): 2.7409

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.7104 second user time and 18.1952 second system time

The end

Launcher Data 

Begin job on node139 at 2018-07-28 18:11:42
IDJOB=4300002
IDBENCH=141518
IDSOLVER=2764
FILE ID=node139/4300002-1532794302
RUNJOBID= node139-1532774055-27430
PBS_JOBID= 21022456
Free space on /tmp= 38716 MiB

SOLVER NAME= NACRE 1.0.4
BENCH NAME= XCSP18/MagicSquare/MagicSquare-16-sum_c18.xml
COMMAND LINE= nacre_mini_release BENCHNAME -ca -l100 -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4300002-1532794302/watcher-4300002-1532794302 -o /tmp/evaluation-result-4300002-1532794302/solver-4300002-1532794302 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532774055-27430 --watchdog 2580  nacre_mini_release HOME/instance-4300002-1532794302.xml -ca -l100 -cm

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

MD5SUM BENCH= dc0956070aead6ed741b5a9522bbec89
RANDOM SEED=1574309705

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:        22893876 kB
MemAvailable:   30945724 kB
Buffers:          237920 kB
Cached:          7913384 kB
SwapCached:            0 kB
Active:          4059116 kB
Inactive:        5128420 kB
Active(anon):     990868 kB
Inactive(anon):    73544 kB
Active(file):    3068248 kB
Inactive(file):  5054876 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:               820 kB
Writeback:             0 kB
AnonPages:       1043312 kB
Mapped:            44484 kB
Shmem:             25228 kB
Slab:             385664 kB
SReclaimable:     357184 kB
SUnreclaim:        28480 kB
KernelStack:        3568 kB
PageTables:         6756 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1341912 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    837632 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 18:53:42