Trace number 4300148

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.72 2520.02

General information on the benchmark

NameMagicHexagon/
MagicHexagon-08-0006_c18.xml
MD5SUMe0f43de676a90a3e6f61e2deb5ab7ad8
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 variables225
Number of constraints52
Number of domains1
Minimum domain size169
Maximum domain size169
Distribution of domain sizes[{"size":169,"count":169}]
Minimum variable degree0
Maximum variable degree9
Distribution of variable degrees[{"degree":0,"count":56},{"degree":4,"count":163},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}]
Minimum constraint arity2
Maximum constraint arity169
Distribution of constraint arities[{"arity":2,"count":6},{"arity":8,"count":6},{"arity":9,"count":6},{"arity":10,"count":6},{"arity":11,"count":6},{"arity":12,"count":6},{"arity":13,"count":6},{"arity":14,"count":6},{"arity":15,"count":3},{"arity":169,"count":1}]
Number of extensional constraints0
Number of intensional constraints6
Distribution of constraint types[{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":45}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c NACRE 1.0.4
2519.69/2520.01	c
2519.69/2520.01	c # time = 2519.69
2519.69/2520.01	c # Dec = 1943847
2519.69/2520.01	c # Propagate Calls = 19726014649
2519.69/2520.01	c # assignAt Calls = 3325088
2519.69/2520.01	c # removeAt Calls = 736383942
2519.69/2520.01	c # Run = 3581
2519.69/2520.01	c # Conflicts = 1863092
2519.69/2520.01	c # Memory used = 934.388 Mb
2519.69/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 (9593 MiB free)
  memory of node 1: 16384 MiB (9263 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300148-1532795364/watcher-4300148-1532795364 -o /tmp/evaluation-result-4300148-1532795364/solver-4300148-1532795364 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532775163-27027 --watchdog 2580 nacre_mini_release HOME/instance-4300148-1532795364.xml -ca -l100 -cm 

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

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


[startup+0.10011 s]*
/proc/loadavg: 2.49 2.14 2.08 3/187 29878
/proc/meminfo: memFree=19301128/32770624 swapFree=67108860/67108860
[pid=29877] ppid=29874 vsize=36932 memory=12312 CPUtime=0.1 cores=0,2,4,6
/proc/29877/stat : 29877 (nacre_mini_rele) R 29874 29877 26996 0 -1 4202496 3925 0 0 0 10 0 0 0 20 0 1 0 97099544 37818368 3078 33554432000 4194304 4933779 140724820397520 140724820394520 139866814474643 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 17338368 140724820399256 140724820399356 140724820399356 140724820402114 0
/proc/29877/statm: 9233 3078 619 181 0 2850 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36932 KiB
Current children cumulated memory: 12312 KiB

[startup+0.209739 s]*
/proc/loadavg: 2.49 2.14 2.08 3/187 29878
/proc/meminfo: memFree=19300012/32770624 swapFree=67108860/67108860
[pid=29877] ppid=29874 vsize=37992 memory=13368 CPUtime=0.21 cores=0,2,4,6
/proc/29877/stat : 29877 (nacre_mini_rele) R 29874 29877 26996 0 -1 4202496 4196 0 0 0 21 0 0 0 20 0 1 0 97099544 38903808 3342 33554432000 4194304 4933779 140724820397520 140724820394520 4388544 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 17338368 140724820399256 140724820399356 140724820399356 140724820402114 0
/proc/29877/statm: 9498 3342 619 181 0 3115 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 37992 KiB
Current children cumulated memory: 13368 KiB

[startup+0.309272 s]*
/proc/loadavg: 2.49 2.14 2.08 3/187 29878
/proc/meminfo: memFree=19299268/32770624 swapFree=67108860/67108860
[pid=29877] ppid=29874 vsize=38796 memory=14160 CPUtime=0.31 cores=0,2,4,6
/proc/29877/stat : 29877 (nacre_mini_rele) R 29874 29877 26996 0 -1 4202496 4411 0 0 0 31 0 0 0 20 0 1 0 97099544 39727104 3540 33554432000 4194304 4933779 140724820397520 140724820395272 4442100 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 17338368 140724820399256 140724820399356 140724820399356 140724820402114 0
/proc/29877/statm: 9699 3540 619 181 0 3316 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38796 KiB
Current children cumulated memory: 14160 KiB

[startup+0.700263 s]
/proc/loadavg: 2.49 2.14 2.08 3/187 29878
/proc/meminfo: memFree=19297408/32770624 swapFree=67108860/67108860
[pid=29877] ppid=29874 vsize=42260 memory=17592 CPUtime=0.69 cores=0,2,4,6
/proc/29877/stat : 29877 (nacre_mini_rele) R 29874 29877 26996 0 -1 4202496 5245 0 0 0 69 0 0 0 20 0 1 0 97099544 43274240 4398 33554432000 4194304 4933779 140724820397520 140724820395272 4388432 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 17338368 140724820399256 140724820399356 140724820399356 140724820402114 0
/proc/29877/statm: 10565 4398 619 181 0 4182 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 42260 KiB
Current children cumulated memory: 17592 KiB

[startup+1.50027 s]
/proc/loadavg: 2.49 2.14 2.08 3/187 29878
/proc/meminfo: memFree=19292944/32770624 swapFree=67108860/67108860
[pid=29877] ppid=29874 vsize=48008 memory=23400 CPUtime=1.49 cores=0,2,4,6
/proc/29877/stat : 29877 (nacre_mini_rele) R 29874 29877 26996 0 -1 4202496 6695 0 0 0 148 1 0 0 20 0 1 0 97099544 49160192 5850 33554432000 4194304 4933779 140724820397520 140724820395288 4388401 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 17338368 140724820399256 140724820399356 140724820399356 140724820402114 0
/proc/29877/statm: 12002 5850 619 181 0 5619 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 48008 KiB
Current children cumulated memory: 23400 KiB

[startup+3.10965 s]
/proc/loadavg: 2.49 2.14 2.08 3/187 29878
/proc/meminfo: memFree=19278068/32770624 swapFree=67108860/67108860
[pid=29877] ppid=29874 vsize=59484 memory=34780 CPUtime=3.09 cores=0,2,4,6
/proc/29877/stat : 29877 (nacre_mini_rele) R 29874 29877 26996 0 -1 4202496 14817 0 0 0 308 1 0 0 20 0 1 0 97099544 60911616 8695 33554432000 4194304 4933779 140724820397520 140724820395272 4437547 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17338368 140724820399256 140724820399356 140724820399356 140724820402114 0
/proc/29877/statm: 14871 8695 619 181 0 8488 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 59484 KiB
Current children cumulated memory: 34780 KiB

[startup+6.3004 s]
/proc/loadavg: 2.53 2.15 2.09 3/187 29878
/proc/meminfo: memFree=19254012/32770624 swapFree=67108860/67108860
[pid=29877] ppid=29874 vsize=83432 memory=58420 CPUtime=6.29 cores=0,2,4,6
/proc/29877/stat : 29877 (nacre_mini_rele) R 29874 29877 26996 0 -1 4202496 29451 0 0 0 626 3 0 0 20 0 1 0 97099544 85434368 14605 33554432000 4194304 4933779 140724820397520 140724820395288 4437564 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17338368 140724820399256 140724820399356 140724820399356 140724820402114 0
/proc/29877/statm: 20858 14605 619 181 0 14475 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 83432 KiB
Current children cumulated memory: 58420 KiB

[startup+12.7004 s]
/proc/loadavg: 2.49 2.15 2.09 3/187 29878
/proc/meminfo: memFree=19230428/32770624 swapFree=67108860/67108860
[pid=29877] ppid=29874 vsize=103796 memory=78996 CPUtime=12.69 cores=0,2,4,6
/proc/29877/stat : 29877 (nacre_mini_rele) R 29874 29877 26996 0 -1 4202496 49359 0 0 0 1263 6 0 0 20 0 1 0 97099544 106287104 19749 33554432000 4194304 4933779 140724820397520 140724820395272 139866813619173 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17338368 140724820399256 140724820399356 140724820399356 140724820402114 0
/proc/29877/statm: 25949 19749 619 181 0 19566 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 103796 KiB
Current children cumulated memory: 78996 KiB

[startup+25.5005 s]
/proc/loadavg: 2.38 2.14 2.09 3/187 29878
/proc/meminfo: memFree=19173624/32770624 swapFree=67108860/67108860
[pid=29877] ppid=29874 vsize=122712 memory=98064 CPUtime=25.49 cores=0,2,4,6
/proc/29877/stat : 29877 (nacre_mini_rele) R 29874 29877 26996 0 -1 4202496 92633 0 0 0 2540 9 0 0 20 0 1 0 97099544 125657088 24516 33554432000 4194304 4933779 140724820397520 140724820395032 4437453 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17338368 140724820399256 140724820399356 140724820399356 140724820402114 0
/proc/29877/statm: 30678 24516 619 181 0 24295 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 122712 KiB
Current children cumulated memory: 98064 KiB

[startup+51.1099 s]
/proc/loadavg: 2.25 2.13 2.09 3/189 29887
/proc/meminfo: memFree=18981728/32770624 swapFree=67108860/67108860
[pid=29877] ppid=29874 vsize=155244 memory=129936 CPUtime=51.1 cores=0,2,4,6
/proc/29877/stat : 29877 (nacre_mini_rele) R 29874 29877 26996 0 -1 4202496 129669 0 0 0 5097 13 0 0 20 0 1 0 97099544 158969856 32484 33554432000 4194304 4933779 140724820397520 140724820395272 4437558 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17338368 140724820399256 140724820399356 140724820399356 140724820402114 0
/proc/29877/statm: 38811 32484 619 181 0 32428 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 155244 KiB
Current children cumulated memory: 129936 KiB

[startup+102.3 s]
/proc/loadavg: 2.11 2.11 2.08 3/189 29888
/proc/meminfo: memFree=18328652/32770624 swapFree=67108860/67108860
[pid=29877] ppid=29874 vsize=191360 memory=166240 CPUtime=102.29 cores=0,2,4,6
/proc/29877/stat : 29877 (nacre_mini_rele) R 29874 29877 26996 0 -1 4202496 173079 0 0 0 10211 18 0 0 20 0 1 0 97099544 195952640 41560 33554432000 4194304 4933779 140724820397520 140724820395208 4475748 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17338368 140724820399256 140724820399356 140724820399356 140724820402114 0
/proc/29877/statm: 47840 41560 619 181 0 41457 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 191360 KiB
Current children cumulated memory: 166240 KiB

[startup+162.3 s]
/proc/loadavg: 2.04 2.09 2.07 3/189 29889
/proc/meminfo: memFree=18058480/32770624 swapFree=67108860/67108860
[pid=29877] ppid=29874 vsize=305532 memory=280176 CPUtime=162.29 cores=0,2,4,6
/proc/29877/stat : 29877 (nacre_mini_rele) R 29874 29877 26996 0 -1 4202496 251946 0 0 0 16202 27 0 0 20 0 1 0 97099544 312864768 70044 33554432000 4194304 4933779 140724820397520 140724820395272 4335643 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17338368 140724820399256 140724820399356 140724820399356 140724820402114 0
/proc/29877/statm: 76383 70044 619 181 0 70000 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 305532 KiB
Current children cumulated memory: 280176 KiB

[startup+222.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/189 29890
/proc/meminfo: memFree=17974936/32770624 swapFree=67108860/67108860
[pid=29877] ppid=29874 vsize=387636 memory=362264 CPUtime=222.28 cores=0,2,4,6
/proc/29877/stat : 29877 (nacre_mini_rele) R 29874 29877 26996 0 -1 4202496 326667 0 0 0 22193 35 0 0 20 0 1 0 97099544 396939264 90566 33554432000 4194304 4933779 140724820397520 140724820395208 4472608 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17338368 140724820399256 140724820399356 140724820399356 140724820402114 0
/proc/29877/statm: 96909 90566 619 181 0 90526 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 387636 KiB
Current children cumulated memory: 362264 KiB

[startup+282.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/189 29891
/proc/meminfo: memFree=17934420/32770624 swapFree=67108860/67108860
[pid=29877] ppid=29874 vsize=429444 memory=402964 CPUtime=282.28 cores=0,2,4,6
/proc/29877/stat : 29877 (nacre_mini_rele) R 29874 29877 26996 0 -1 4202496 363662 0 0 0 28188 40 0 0 20 0 1 0 97099544 439750656 100741 33554432000 4194304 4933779 140724820397520 140724820395224 4472608 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17338368 140724820399256 140724820399356 140724820399356 140724820402114 0
/proc/29877/statm: 107361 100741 619 181 0 100978 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 429444 KiB
Current children cumulated memory: 402964 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 29892
/proc/meminfo: memFree=17908304/32770624 swapFree=67108860/67108860
[pid=29877] ppid=29874 vsize=455528 memory=429156 CPUtime=342.28 cores=0,2,4,6
/proc/29877/stat : 29877 (nacre_mini_rele) R 29874 29877 26996 0 -1 4202496 443604 0 0 0 34179 49 0 0 20 0 1 0 97099544 466460672 107289 33554432000 4194304 4933779 140724820397520 140724820395272 4393117 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17338368 140724820399256 140724820399356 140724820399356 140724820402114 0
/proc/29877/statm: 113882 107289 619 181 0 107499 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 455528 KiB
Current children cumulated memory: 429156 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 29893
/proc/meminfo: memFree=17885016/32770624 swapFree=67108860/67108860
[pid=29877] ppid=29874 vsize=478476 memory=451840 CPUtime=402.28 cores=0,2,4,6
/proc/29877/stat : 29877 (nacre_mini_rele) R 29874 29877 26996 0 -1 4202496 533482 0 0 0 40171 57 0 0 20 0 1 0 97099544 489959424 112960 33554432000 4194304 4933779 140724820397520 140724820395208 4475930 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17338368 140724820399256 140724820399356 140724820399356 140724820402114 0
/proc/29877/statm: 119619 112960 619 181 0 113236 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 478476 KiB
Current children cumulated memory: 451840 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 29894
/proc/meminfo: memFree=17875104/32770624 swapFree=67108860/67108860
[pid=29877] ppid=29874 vsize=487780 memory=461048 CPUtime=462.27 cores=0,2,4,6
/proc/29877/stat : 29877 (nacre_mini_rele) R 29874 29877 26996 0 -1 4202496 637314 0 0 0 46159 68 0 0 20 0 1 0 97099544 499486720 115262 33554432000 4194304 4933779 140724820397520 140724820395208 4437547 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17338368 140724820399256 140724820399356 140724820399356 140724820402114 0
/proc/29877/statm: 121945 115262 619 181 0 115562 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 487780 KiB
Current children cumulated memory: 461048 KiB


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

/proc/29877/statm: 210627 203568 619 181 0 204244 0
Current children cumulated CPU time: 1722.18 s
Current children cumulated vsize: 842508 KiB
Current children cumulated memory: 814272 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/186 29932
/proc/meminfo: memFree=16538468/32770624 swapFree=67108860/67108860
[pid=29877] ppid=29874 vsize=855000 memory=826988 CPUtime=1782.14 cores=0,2,4,6
/proc/29877/stat : 29877 (nacre_mini_rele) R 29874 29877 26996 0 -1 4202496 3034524 0 0 0 177928 286 0 0 20 0 1 0 97099544 875520000 206747 33554432000 4194304 4933779 140724820397520 140724820395032 4388608 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17338368 140724820399256 140724820399356 140724820399356 140724820402114 0
/proc/29877/statm: 213750 206747 619 181 0 207367 0
Current children cumulated CPU time: 1782.14 s
Current children cumulated vsize: 855000 KiB
Current children cumulated memory: 826988 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/189 29943
/proc/meminfo: memFree=16496932/32770624 swapFree=67108860/67108860
[pid=29877] ppid=29874 vsize=893216 memory=865272 CPUtime=1842.12 cores=0,2,4,6
/proc/29877/stat : 29877 (nacre_mini_rele) R 29874 29877 26996 0 -1 4202496 3114368 0 0 0 183918 294 0 0 20 0 1 0 97099544 914653184 216318 33554432000 4194304 4933779 140724820397520 140724820395224 4388559 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17338368 140724820399256 140724820399356 140724820399356 140724820402114 0
/proc/29877/statm: 223304 216318 619 181 0 216921 0
Current children cumulated CPU time: 1842.12 s
Current children cumulated vsize: 893216 KiB
Current children cumulated memory: 865272 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/190 29967
/proc/meminfo: memFree=16493940/32770624 swapFree=67108860/67108860
[pid=29877] ppid=29874 vsize=895060 memory=867520 CPUtime=1902.1 cores=0,2,4,6
/proc/29877/stat : 29877 (nacre_mini_rele) R 29874 29877 26996 0 -1 4202496 3185192 0 0 0 189909 301 0 0 20 0 1 0 97099544 916541440 216880 33554432000 4194304 4933779 140724820397520 140724820395208 4388352 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17338368 140724820399256 140724820399356 140724820399356 140724820402114 0
/proc/29877/statm: 223765 216880 619 181 0 217382 0
Current children cumulated CPU time: 1902.1 s
Current children cumulated vsize: 895060 KiB
Current children cumulated memory: 867520 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/190 29968
/proc/meminfo: memFree=16491860/32770624 swapFree=67108860/67108860
[pid=29877] ppid=29874 vsize=897880 memory=869240 CPUtime=1962.07 cores=0,2,4,6
/proc/29877/stat : 29877 (nacre_mini_rele) R 29874 29877 26996 0 -1 4202496 3238695 0 0 0 195901 306 0 0 20 0 1 0 97099544 919429120 217310 33554432000 4194304 4933779 140724820397520 140724820395208 4472608 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17338368 140724820399256 140724820399356 140724820399356 140724820402114 0
/proc/29877/statm: 224470 217310 619 181 0 218087 0
Current children cumulated CPU time: 1962.07 s
Current children cumulated vsize: 897880 KiB
Current children cumulated memory: 869240 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/190 29969
/proc/meminfo: memFree=16490896/32770624 swapFree=67108860/67108860
[pid=29877] ppid=29874 vsize=897880 memory=870156 CPUtime=2022.05 cores=0,2,4,6
/proc/29877/stat : 29877 (nacre_mini_rele) R 29874 29877 26996 0 -1 4202496 3285434 0 0 0 201894 311 0 0 20 0 1 0 97099544 919429120 217539 33554432000 4194304 4933779 140724820397520 140724820395208 4334994 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17338368 140724820399256 140724820399356 140724820399356 140724820402114 0
/proc/29877/statm: 224470 217539 619 181 0 218087 0
Current children cumulated CPU time: 2022.05 s
Current children cumulated vsize: 897880 KiB
Current children cumulated memory: 870156 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 29970
/proc/meminfo: memFree=16488932/32770624 swapFree=67108860/67108860
[pid=29877] ppid=29874 vsize=899584 memory=872620 CPUtime=2082.02 cores=0,2,4,6
/proc/29877/stat : 29877 (nacre_mini_rele) R 29874 29877 26996 0 -1 4202496 3307406 0 0 0 207890 312 0 0 20 0 1 0 97099544 921174016 218155 33554432000 4194304 4933779 140724820397520 140724820395032 139866819810546 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17338368 140724820399256 140724820399356 140724820399356 140724820402114 0
/proc/29877/statm: 224896 218155 619 181 0 218513 0
Current children cumulated CPU time: 2082.02 s
Current children cumulated vsize: 899584 KiB
Current children cumulated memory: 872620 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 29971
/proc/meminfo: memFree=16470456/32770624 swapFree=67108860/67108860
[pid=29877] ppid=29874 vsize=914524 memory=890748 CPUtime=2142 cores=0,2,4,6
/proc/29877/stat : 29877 (nacre_mini_rele) R 29874 29877 26996 0 -1 4202496 3317252 0 0 0 213886 314 0 0 20 0 1 0 97099544 936472576 222687 33554432000 4194304 4933779 140724820397520 140724820395032 4475923 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17338368 140724820399256 140724820399356 140724820399356 140724820402114 0
/proc/29877/statm: 228631 222687 619 181 0 222248 0
Current children cumulated CPU time: 2142 s
Current children cumulated vsize: 914524 KiB
Current children cumulated memory: 890748 KiB

[startup+2202.3 s]
/proc/loadavg: 1.96 2.00 2.04 3/187 30032
/proc/meminfo: memFree=19272524/32770624 swapFree=67108860/67108860
[pid=29877] ppid=29874 vsize=917360 memory=893072 CPUtime=2201.99 cores=0,2,4,6
/proc/29877/stat : 29877 (nacre_mini_rele) R 29874 29877 26996 0 -1 4202496 3321445 0 0 0 219885 314 0 0 20 0 1 0 97099544 939376640 223268 33554432000 4194304 4933779 140724820397520 140724820395208 4437567 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17338368 140724820399256 140724820399356 140724820399356 140724820402114 0
/proc/29877/statm: 229340 223268 619 181 0 222957 0
Current children cumulated CPU time: 2201.99 s
Current children cumulated vsize: 917360 KiB
Current children cumulated memory: 893072 KiB

[startup+2262.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 30033
/proc/meminfo: memFree=19251564/32770624 swapFree=67108860/67108860
[pid=29877] ppid=29874 vsize=919088 memory=894716 CPUtime=2262 cores=0,2,4,6
/proc/29877/stat : 29877 (nacre_mini_rele) R 29874 29877 26996 0 -1 4202496 3324934 0 0 0 225885 315 0 0 20 0 1 0 97099544 941146112 223679 33554432000 4194304 4933779 140724820397520 140724820395224 4447741 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17338368 140724820399256 140724820399356 140724820399356 140724820402114 0
/proc/29877/statm: 229772 223679 619 181 0 223389 0
Current children cumulated CPU time: 2262 s
Current children cumulated vsize: 919088 KiB
Current children cumulated memory: 894716 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 30034
/proc/meminfo: memFree=19230608/32770624 swapFree=67108860/67108860
[pid=29877] ppid=29874 vsize=926764 memory=902364 CPUtime=2321.99 cores=0,2,4,6
/proc/29877/stat : 29877 (nacre_mini_rele) R 29874 29877 26996 0 -1 4202496 3330528 0 0 0 231883 316 0 0 20 0 1 0 97099544 949006336 225591 33554432000 4194304 4933779 140724820397520 140724820395208 4393117 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17338368 140724820399256 140724820399356 140724820399356 140724820402114 0
/proc/29877/statm: 231691 225591 619 181 0 225308 0
Current children cumulated CPU time: 2321.99 s
Current children cumulated vsize: 926764 KiB
Current children cumulated memory: 902364 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 30035
/proc/meminfo: memFree=19221220/32770624 swapFree=67108860/67108860
[pid=29877] ppid=29874 vsize=926896 memory=902496 CPUtime=2381.99 cores=0,2,4,6
/proc/29877/stat : 29877 (nacre_mini_rele) R 29874 29877 26996 0 -1 4202496 3335430 0 0 0 237883 316 0 0 20 0 1 0 97099544 949141504 225624 33554432000 4194304 4933779 140724820397520 140724820395208 4437572 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17338368 140724820399256 140724820399356 140724820399356 140724820402114 0
/proc/29877/statm: 231724 225624 619 181 0 225341 0
Current children cumulated CPU time: 2381.99 s
Current children cumulated vsize: 926896 KiB
Current children cumulated memory: 902496 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 30044
/proc/meminfo: memFree=19198916/32770624 swapFree=67108860/67108860
[pid=29877] ppid=29874 vsize=939912 memory=915564 CPUtime=2441.99 cores=0,2,4,6
/proc/29877/stat : 29877 (nacre_mini_rele) R 29874 29877 26996 0 -1 4202496 3344314 0 0 0 243882 317 0 0 20 0 1 0 97099544 962469888 228891 33554432000 4194304 4933779 140724820397520 140724820395224 4388736 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17338368 140724820399256 140724820399356 140724820399356 140724820402114 0
/proc/29877/statm: 234978 228891 619 181 0 228595 0
Current children cumulated CPU time: 2441.99 s
Current children cumulated vsize: 939912 KiB
Current children cumulated memory: 915564 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 30045
/proc/meminfo: memFree=19181624/32770624 swapFree=67108860/67108860
[pid=29877] ppid=29874 vsize=951388 memory=926860 CPUtime=2501.98 cores=0,2,4,6
/proc/29877/stat : 29877 (nacre_mini_rele) R 29874 29877 26996 0 -1 4202496 3355192 0 0 0 249880 318 0 0 20 0 1 0 97099544 974221312 231715 33554432000 4194304 4933779 140724820397520 140724820395272 139866819914177 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17338368 140724820399256 140724820399356 140724820399356 140724820402114 0
/proc/29877/statm: 237847 231715 619 181 0 231464 0
Current children cumulated CPU time: 2501.98 s
Current children cumulated vsize: 951388 KiB
Current children cumulated memory: 926860 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.00 2.04 3/188 30046
/proc/meminfo: memFree=19171952/32770624 swapFree=67108860/67108860
[pid=29877] ppid=29874 vsize=959280 memory=934388 CPUtime=2519.69 cores=0,2,4,6
/proc/29877/stat : 29877 (nacre_mini_rele) R 29874 29877 26996 0 -1 4202496 3359709 0 0 0 251650 319 0 0 20 0 1 0 97099544 982302720 233597 33554432000 4194304 4933779 140724820397520 140724820395224 4437393 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17338368 140724820399256 140724820399356 140724820399356 140724820402114 0
/proc/29877/statm: 239820 233597 619 181 0 233437 0
Current children cumulated CPU time: 2519.69 s
Current children cumulated vsize: 959280 KiB
Current children cumulated memory: 934388 KiB

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

[startup+2520.02 s]
# the end of solver process 29877 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.51 s, system=3.20691 s

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

Child status: 0
Real time (s): 2520.02
CPU time (s): 2519.72
CPU user time (s): 2516.51
CPU system time (s): 3.20691
CPU usage (%): 99.988
Max. virtual memory (cumulated for all children) (KiB): 959280
Max. memory (cumulated for all children) (KiB): 934388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.51
system time used= 3.20691
maximum resident set size= 934496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3359757
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= 369
involuntary context switches= 3154


# summary of solver processes directly reported to runsolver:
#   pid: 29877
#   total CPU time (s): 2519.72
#   total CPU user time (s): 2516.51
#   total CPU system time (s): 3.20691

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.749 second user time and 16.3595 second system time

The end

Launcher Data 

Begin job on node103 at 2018-07-28 18:29:24
IDJOB=4300148
IDBENCH=141562
IDSOLVER=2764
FILE ID=node103/4300148-1532795364
RUNJOBID= node103-1532775163-27027
PBS_JOBID= 21022463
Free space on /tmp= 56536 MiB

SOLVER NAME= NACRE 1.0.4
BENCH NAME= XCSP18/MagicHexagon/MagicHexagon-08-0006_c18.xml
COMMAND LINE= nacre_mini_release BENCHNAME -ca -l100 -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4300148-1532795364/watcher-4300148-1532795364 -o /tmp/evaluation-result-4300148-1532795364/solver-4300148-1532795364 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532775163-27027 --watchdog 2580  nacre_mini_release HOME/instance-4300148-1532795364.xml -ca -l100 -cm

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

MD5SUM BENCH= e0f43de676a90a3e6f61e2deb5ab7ad8
RANDOM SEED=1561906262

node103.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.48
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.48
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.48
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.48
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:        19310076 kB
MemAvailable:   31012460 kB
Buffers:          303036 kB
Cached:         11582956 kB
SwapCached:            0 kB
Active:          4832116 kB
Inactive:        8024212 kB
Active(anon):     972900 kB
Inactive(anon):    25184 kB
Active(file):    3859216 kB
Inactive(file):  7999028 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:               776 kB
Writeback:             0 kB
AnonPages:        970416 kB
Mapped:            44580 kB
Shmem:             25228 kB
Slab:             300636 kB
SReclaimable:     272600 kB
SUnreclaim:        28036 kB
KernelStack:        3360 kB
PageTables:         7232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1269104 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 56536 MiB
End job on node103 at 2018-07-28 19:11:24