Trace number 4391524

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.5-Hybrid? (TO) 2400.07 2400.11

General information on the benchmark

NameRandom/Random-RB-3-28-28f/
rand-3-28-28-93-632f-36.xml
MD5SUMe0a8d3734b0eaa27800dfa1f13e1fbfb
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 variables28
Number of constraints93
Number of domains1
Minimum domain size28
Maximum domain size28
Distribution of domain sizes[{"size":28,"count":28}]
Minimum variable degree4
Maximum variable degree16
Distribution of variable degrees[{"degree":4,"count":2},{"degree":5,"count":1},{"degree":6,"count":1},{"degree":7,"count":3},{"degree":8,"count":2},{"degree":9,"count":2},{"degree":10,"count":5},{"degree":11,"count":4},{"degree":12,"count":2},{"degree":13,"count":1},{"degree":14,"count":2},{"degree":15,"count":2},{"degree":16,"count":1}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":93}]
Number of extensional constraints93
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":93}]
Optimization problemNO
Type of objective

Solver Data 

0.60/0.61	c NACRE 1.0.5
2400.06/2400.11	c
2400.06/2400.11	c # time = 2400.06
2400.06/2400.11	c # Dec = 430087
2400.06/2400.11	c # Propagate Calls = 58836991
2400.06/2400.11	c # assignAt Calls = 610173
2400.06/2400.11	c # removeAt Calls = 65744020
2400.06/2400.11	c # Run = 1020
2400.06/2400.11	c # Conflicts = 422764
2400.06/2400.11	c # Memory used = 139.196 Mb
2400.06/2400.11	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 (9791 MiB free)
  memory of node 1: 16384 MiB (11689 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391524-1568307622/watcher-4391524-1568307622 -o /tmp/evaluation-result-4391524-1568307622/solver-4391524-1568307622 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568307582-20541 --watchdog 2560 nacre_mini_release HOME/instance-4391524-1568307622.xml -ca -l100 -cm 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=20572, runsolver pid=20569
Current StackSize limit: 8192 KiB


[startup+0.100175 s]*
/proc/loadavg: 1.00 1.01 1.12 2/195 20581
/proc/meminfo: memFree=21989316/32770624 swapFree=66999144/67108860
[pid=20572] ppid=20569 vsize=35344 memory=11632 CPUtime=0.1 cores=0,2,4,6
/proc/20572/stat : 20572 (nacre_mini_rele) R 20569 20572 20510 0 -1 4202496 3202 0 0 0 10 0 0 0 20 0 1 0 406700648 36192256 2908 33554432000 4194304 4935366 140726650067360 140726650064360 4398356 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7843840 140726650070017 140726650070117 140726650070117 140726650073026 0
/proc/20572/statm: 8836 2908 568 181 0 2453 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35344 KiB
Current children cumulated memory: 11632 KiB

[startup+0.209598 s]*
/proc/loadavg: 1.00 1.01 1.12 3/195 20581
/proc/meminfo: memFree=21980860/32770624 swapFree=66999144/67108860
[pid=20572] ppid=20569 vsize=43768 memory=20080 CPUtime=0.21 cores=0,2,4,6
/proc/20572/stat : 20572 (nacre_mini_rele) R 20569 20572 20510 0 -1 4202496 5343 0 0 0 21 0 0 0 20 0 1 0 406700648 44818432 5020 33554432000 4194304 4935366 140726650067360 140726650064360 139721261378560 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7843840 140726650070017 140726650070117 140726650070117 140726650073026 0
/proc/20572/statm: 10942 5020 568 181 0 4559 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 43768 KiB
Current children cumulated memory: 20080 KiB

[startup+0.30966 s]*
/proc/loadavg: 1.00 1.01 1.12 2/195 20581
/proc/meminfo: memFree=21973296/32770624 swapFree=66999144/67108860
[pid=20572] ppid=20569 vsize=51372 memory=27736 CPUtime=0.31 cores=0,2,4,6
/proc/20572/stat : 20572 (nacre_mini_rele) R 20569 20572 20510 0 -1 4202496 7244 0 0 0 30 1 0 0 20 0 1 0 406700648 52604928 6934 33554432000 4194304 4935366 140726650067360 140726650064360 139721260949436 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7843840 140726650070017 140726650070117 140726650070117 140726650073026 0
/proc/20572/statm: 12843 6934 568 181 0 6460 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 51372 KiB
Current children cumulated memory: 27736 KiB

[startup+0.700368 s]
/proc/loadavg: 1.00 1.01 1.12 3/204 20593
/proc/meminfo: memFree=21947852/32770624 swapFree=66999144/67108860
[pid=20572] ppid=20569 vsize=74688 memory=51232 CPUtime=0.69 cores=0,2,4,6
/proc/20572/stat : 20572 (nacre_mini_rele) R 20569 20572 20510 0 -1 4202496 13091 0 0 0 67 2 0 0 20 0 1 0 406700648 76480512 12808 33554432000 4194304 4935366 140726650067360 140726650064360 139721260949528 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7843840 140726650070017 140726650070117 140726650070117 140726650073026 0
/proc/20572/statm: 18672 12808 568 181 0 12289 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 74688 KiB
Current children cumulated memory: 51232 KiB

[startup+1.50042 s]
/proc/loadavg: 1.00 1.01 1.12 3/200 20634
/proc/meminfo: memFree=21945808/32770624 swapFree=66999144/67108860
[pid=20572] ppid=20569 vsize=74688 memory=51232 CPUtime=1.49 cores=0,2,4,6
/proc/20572/stat : 20572 (nacre_mini_rele) R 20569 20572 20510 0 -1 4202496 13108 0 0 0 147 2 0 0 20 0 1 0 406700648 76480512 12808 33554432000 4194304 4935366 140726650067360 140726650065880 139721261803092 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7843840 140726650070017 140726650070117 140726650070117 140726650073026 0
/proc/20572/statm: 18672 12808 568 181 0 12289 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 74688 KiB
Current children cumulated memory: 51232 KiB

[startup+3.10957 s]
/proc/loadavg: 0.92 1.00 1.11 3/200 20634
/proc/meminfo: memFree=21933328/32770624 swapFree=66999144/67108860
[pid=20572] ppid=20569 vsize=74688 memory=51400 CPUtime=3.1 cores=0,2,4,6
/proc/20572/stat : 20572 (nacre_mini_rele) R 20569 20572 20510 0 -1 4202496 25080 0 0 0 308 2 0 0 20 0 1 0 406700648 76480512 12850 33554432000 4194304 4935366 140726650067360 140726650065880 4400891 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7843840 140726650070017 140726650070117 140726650070117 140726650073026 0
/proc/20572/statm: 18672 12850 603 181 0 12289 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 74688 KiB
Current children cumulated memory: 51400 KiB

[startup+6.30043 s]
/proc/loadavg: 0.92 1.00 1.11 3/200 20634
/proc/meminfo: memFree=21924140/32770624 swapFree=66999144/67108860
[pid=20572] ppid=20569 vsize=75084 memory=51576 CPUtime=6.28 cores=0,2,4,6
/proc/20572/stat : 20572 (nacre_mini_rele) R 20569 20572 20510 0 -1 4202496 36947 0 0 0 625 3 0 0 20 0 1 0 406700648 76886016 12894 33554432000 4194304 4935366 140726650067360 140726650065128 4400726 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7843840 140726650070017 140726650070117 140726650070117 140726650073026 0
/proc/20572/statm: 18771 12894 603 181 0 12388 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 75084 KiB
Current children cumulated memory: 51576 KiB

[startup+12.7004 s]
/proc/loadavg: 1.09 1.03 1.12 3/200 20634
/proc/meminfo: memFree=21913600/32770624 swapFree=66999144/67108860
[pid=20572] ppid=20569 vsize=77076 memory=53528 CPUtime=12.68 cores=0,2,4,6
/proc/20572/stat : 20572 (nacre_mini_rele) R 20569 20572 20510 0 -1 4202496 45667 0 0 0 1265 3 0 0 20 0 1 0 406700648 78925824 13382 33554432000 4194304 4935366 140726650067360 140726650065128 139721260932886 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7843840 140726650070017 140726650070117 140726650070117 140726650073026 0
/proc/20572/statm: 19269 13382 603 181 0 12886 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 77076 KiB
Current children cumulated memory: 53528 KiB

[startup+25.5004 s]
/proc/loadavg: 1.07 1.03 1.12 3/202 20828
/proc/meminfo: memFree=21915532/32770624 swapFree=66999144/67108860
[pid=20572] ppid=20569 vsize=80636 memory=57316 CPUtime=25.48 cores=0,2,4,6
/proc/20572/stat : 20572 (nacre_mini_rele) R 20569 20572 20510 0 -1 4202496 58293 0 0 0 2544 4 0 0 20 0 1 0 406700648 82571264 14329 33554432000 4194304 4935366 140726650067360 140726650065112 139721260932776 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7843840 140726650070017 140726650070117 140726650070117 140726650073026 0
/proc/20572/statm: 20159 14329 603 181 0 13776 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 80636 KiB
Current children cumulated memory: 57316 KiB

[startup+51.1097 s]
/proc/loadavg: 1.39 1.11 1.14 3/201 20828
/proc/meminfo: memFree=21750100/32770624 swapFree=66999144/67108860
[pid=20572] ppid=20569 vsize=87736 memory=64352 CPUtime=51.08 cores=0,2,4,6
/proc/20572/stat : 20572 (nacre_mini_rele) R 20569 20572 20510 0 -1 4202496 61445 0 0 0 5103 5 0 0 20 0 1 0 406700648 89841664 16088 33554432000 4194304 4935366 140726650067360 140726650065112 4400723 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7843840 140726650070017 140726650070117 140726650070117 140726650073026 0
/proc/20572/statm: 21934 16088 603 181 0 15551 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 87736 KiB
Current children cumulated memory: 64352 KiB

[startup+102.3 s]
/proc/loadavg: 1.80 1.27 1.20 3/202 20977
/proc/meminfo: memFree=21861616/32770624 swapFree=66999144/67108860
[pid=20572] ppid=20569 vsize=95604 memory=72148 CPUtime=102.28 cores=0,2,4,6
/proc/20572/stat : 20572 (nacre_mini_rele) R 20569 20572 20510 0 -1 4202496 66295 0 0 0 10222 6 0 0 20 0 1 0 406700648 97898496 18037 33554432000 4194304 4935366 140726650067360 140726650064872 139721260949388 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7843840 140726650070017 140726650070117 140726650070117 140726650073026 0
/proc/20572/statm: 23901 18037 603 181 0 17518 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 95604 KiB
Current children cumulated memory: 72148 KiB

[startup+162.3 s]
/proc/loadavg: 1.93 1.40 1.25 3/202 20983
/proc/meminfo: memFree=21798424/32770624 swapFree=66999144/67108860
[pid=20572] ppid=20569 vsize=101344 memory=77416 CPUtime=162.28 cores=0,2,4,6
/proc/20572/stat : 20572 (nacre_mini_rele) R 20569 20572 20510 0 -1 4202496 72013 0 0 0 16221 7 0 0 20 0 1 0 406700648 103776256 19354 33554432000 4194304 4935366 140726650067360 140726650065048 4400757 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7843840 140726650070017 140726650070117 140726650070117 140726650073026 0
/proc/20572/statm: 25336 19354 603 181 0 18953 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 101344 KiB
Current children cumulated memory: 77416 KiB

[startup+222.3 s]
/proc/loadavg: 1.97 1.51 1.29 3/202 20987
/proc/meminfo: memFree=21766612/32770624 swapFree=66999144/67108860
[pid=20572] ppid=20569 vsize=105216 memory=81468 CPUtime=222.28 cores=0,2,4,6
/proc/20572/stat : 20572 (nacre_mini_rele) R 20569 20572 20510 0 -1 4202496 78602 0 0 0 22221 7 0 0 20 0 1 0 406700648 107741184 20367 33554432000 4194304 4935366 140726650067360 140726650065064 4400847 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7843840 140726650070017 140726650070117 140726650070117 140726650073026 0
/proc/20572/statm: 26304 20367 603 181 0 19921 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 105216 KiB
Current children cumulated memory: 81468 KiB

[startup+282.3 s]
/proc/loadavg: 1.99 1.60 1.34 3/202 20991
/proc/meminfo: memFree=21742096/32770624 swapFree=66999144/67108860
[pid=20572] ppid=20569 vsize=108764 memory=85044 CPUtime=282.29 cores=0,2,4,6
/proc/20572/stat : 20572 (nacre_mini_rele) R 20569 20572 20510 0 -1 4202496 86136 0 0 0 28221 8 0 0 20 0 1 0 406700648 111374336 21261 33554432000 4194304 4935366 140726650067360 140726650065112 139721260932664 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7843840 140726650070017 140726650070117 140726650070117 140726650073026 0
/proc/20572/statm: 27191 21261 603 181 0 20808 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 108764 KiB
Current children cumulated memory: 85044 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.67 1.38 3/200 20997
/proc/meminfo: memFree=21722956/32770624 swapFree=66999144/67108860
[pid=20572] ppid=20569 vsize=111928 memory=88140 CPUtime=342.27 cores=0,2,4,6
/proc/20572/stat : 20572 (nacre_mini_rele) R 20569 20572 20510 0 -1 4202496 94364 0 0 0 34219 8 0 0 20 0 1 0 406700648 114614272 22035 33554432000 4194304 4935366 140726650067360 140726650064872 4400723 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7843840 140726650070017 140726650070117 140726650070117 140726650073026 0
/proc/20572/statm: 27982 22035 603 181 0 21599 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 111928 KiB
Current children cumulated memory: 88140 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.73 1.42 3/199 21001
/proc/meminfo: memFree=21708700/32770624 swapFree=66999144/67108860
[pid=20572] ppid=20569 vsize=114644 memory=90904 CPUtime=402.27 cores=0,2,4,6
/proc/20572/stat : 20572 (nacre_mini_rele) R 20569 20572 20510 0 -1 4202496 96152 0 0 0 40218 9 0 0 20 0 1 0 406700648 117395456 22726 33554432000 4194304 4935366 140726650067360 140726650065112 4400858 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7843840 140726650070017 140726650070117 140726650070117 140726650073026 0
/proc/20572/statm: 28661 22726 603 181 0 22278 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 114644 KiB
Current children cumulated memory: 90904 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.78 1.45 3/199 21005
/proc/meminfo: memFree=21695464/32770624 swapFree=66999144/67108860
[pid=20572] ppid=20569 vsize=117440 memory=93720 CPUtime=462.28 cores=0,2,4,6
/proc/20572/stat : 20572 (nacre_mini_rele) R 20569 20572 20510 0 -1 4202496 98576 0 0 0 46218 10 0 0 20 0 1 0 406700648 120258560 23430 33554432000 4194304 4935366 140726650067360 140726650065048 139721261805044 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7843840 140726650070017 140726650070117 140726650070117 140726650073026 0
/proc/20572/statm: 29360 23430 603 181 0 22977 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 117440 KiB
Current children cumulated memory: 93720 KiB


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

/proc/20572/statm: 37607 31531 603 181 0 31224 0
Current children cumulated CPU time: 1662.26 s
Current children cumulated vsize: 150428 KiB
Current children cumulated memory: 126124 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 1.88 3/199 21119
/proc/meminfo: memFree=21426016/32770624 swapFree=66999144/67108860
[pid=20572] ppid=20569 vsize=151068 memory=126912 CPUtime=1722.26 cores=0,2,4,6
/proc/20572/stat : 20572 (nacre_mini_rele) R 20569 20572 20510 0 -1 4202496 149927 0 0 0 172209 17 0 0 20 0 1 0 406700648 154693632 31728 33554432000 4194304 4935366 140726650067360 140726650065064 139721261805044 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7843840 140726650070017 140726650070117 140726650070117 140726650073026 0
/proc/20572/statm: 37767 31728 603 181 0 31384 0
Current children cumulated CPU time: 1722.26 s
Current children cumulated vsize: 151068 KiB
Current children cumulated memory: 126912 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.89 3/199 21125
/proc/meminfo: memFree=21419884/32770624 swapFree=66999144/67108860
[pid=20572] ppid=20569 vsize=151920 memory=127624 CPUtime=1782.25 cores=0,2,4,6
/proc/20572/stat : 20572 (nacre_mini_rele) R 20569 20572 20510 0 -1 4202496 152556 0 0 0 178208 17 0 0 20 0 1 0 406700648 155566080 31906 33554432000 4194304 4935366 140726650067360 140726650064872 4400723 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7843840 140726650070017 140726650070117 140726650070117 140726650073026 0
/proc/20572/statm: 37980 31906 603 181 0 31597 0
Current children cumulated CPU time: 1782.25 s
Current children cumulated vsize: 151920 KiB
Current children cumulated memory: 127624 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 1.90 3/199 21136
/proc/meminfo: memFree=21411096/32770624 swapFree=66999144/67108860
[pid=20572] ppid=20569 vsize=153032 memory=128868 CPUtime=1842.26 cores=0,2,4,6
/proc/20572/stat : 20572 (nacre_mini_rele) R 20569 20572 20510 0 -1 4202496 155324 0 0 0 184208 18 0 0 20 0 1 0 406700648 156704768 32217 33554432000 4194304 4935366 140726650067360 140726650065064 4401277 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7843840 140726650070017 140726650070117 140726650070117 140726650073026 0
/proc/20572/statm: 38258 32217 603 181 0 31875 0
Current children cumulated CPU time: 1842.26 s
Current children cumulated vsize: 153032 KiB
Current children cumulated memory: 128868 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.90 3/199 21140
/proc/meminfo: memFree=21404840/32770624 swapFree=66999144/67108860
[pid=20572] ppid=20569 vsize=154036 memory=129856 CPUtime=1902.26 cores=0,2,4,6
/proc/20572/stat : 20572 (nacre_mini_rele) R 20569 20572 20510 0 -1 4202496 156575 0 0 0 190208 18 0 0 20 0 1 0 406700648 157732864 32464 33554432000 4194304 4935366 140726650067360 140726650064872 139721267112096 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7843840 140726650070017 140726650070117 140726650070117 140726650073026 0
/proc/20572/statm: 38509 32464 603 181 0 32126 0
Current children cumulated CPU time: 1902.26 s
Current children cumulated vsize: 154036 KiB
Current children cumulated memory: 129856 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/199 21146
/proc/meminfo: memFree=21398152/32770624 swapFree=66999144/67108860
[pid=20572] ppid=20569 vsize=155184 memory=130916 CPUtime=1962.25 cores=0,2,4,6
/proc/20572/stat : 20572 (nacre_mini_rele) R 20569 20572 20510 0 -1 4202496 158032 0 0 0 196207 18 0 0 20 0 1 0 406700648 158908416 32729 33554432000 4194304 4935366 140726650067360 140726650064872 139721261805044 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7843840 140726650070017 140726650070117 140726650070117 140726650073026 0
/proc/20572/statm: 38796 32729 603 181 0 32413 0
Current children cumulated CPU time: 1962.25 s
Current children cumulated vsize: 155184 KiB
Current children cumulated memory: 130916 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/199 21150
/proc/meminfo: memFree=21392332/32770624 swapFree=66999144/67108860
[pid=20572] ppid=20569 vsize=156504 memory=132304 CPUtime=2022.25 cores=0,2,4,6
/proc/20572/stat : 20572 (nacre_mini_rele) R 20569 20572 20510 0 -1 4202496 159800 0 0 0 202207 18 0 0 20 0 1 0 406700648 160260096 33076 33554432000 4194304 4935366 140726650067360 140726650065064 4212032 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7843840 140726650070017 140726650070117 140726650070117 140726650073026 0
/proc/20572/statm: 39126 33076 603 181 0 32743 0
Current children cumulated CPU time: 2022.25 s
Current children cumulated vsize: 156504 KiB
Current children cumulated memory: 132304 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/199 21154
/proc/meminfo: memFree=21387776/32770624 swapFree=66999144/67108860
[pid=20572] ppid=20569 vsize=157324 memory=133172 CPUtime=2082.25 cores=0,2,4,6
/proc/20572/stat : 20572 (nacre_mini_rele) R 20569 20572 20510 0 -1 4202496 161762 0 0 0 208206 19 0 0 20 0 1 0 406700648 161099776 33293 33554432000 4194304 4935366 140726650067360 140726650065048 4400240 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7843840 140726650070017 140726650070117 140726650070117 140726650073026 0
/proc/20572/statm: 39331 33293 603 181 0 32948 0
Current children cumulated CPU time: 2082.25 s
Current children cumulated vsize: 157324 KiB
Current children cumulated memory: 133172 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/199 21160
/proc/meminfo: memFree=21374452/32770624 swapFree=66999144/67108860
[pid=20572] ppid=20569 vsize=159272 memory=135184 CPUtime=2142.25 cores=0,2,4,6
/proc/20572/stat : 20572 (nacre_mini_rele) R 20569 20572 20510 0 -1 4202496 164256 0 0 0 214206 19 0 0 20 0 1 0 406700648 163094528 33796 33554432000 4194304 4935366 140726650067360 140726650064872 139721260949425 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7843840 140726650070017 140726650070117 140726650070117 140726650073026 0
/proc/20572/statm: 39818 33796 603 181 0 33435 0
Current children cumulated CPU time: 2142.25 s
Current children cumulated vsize: 159272 KiB
Current children cumulated memory: 135184 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/199 21164
/proc/meminfo: memFree=21361192/32770624 swapFree=66999144/67108860
[pid=20572] ppid=20569 vsize=159880 memory=135760 CPUtime=2202.25 cores=0,2,4,6
/proc/20572/stat : 20572 (nacre_mini_rele) R 20569 20572 20510 0 -1 4202496 166874 0 0 0 220205 20 0 0 20 0 1 0 406700648 163717120 33940 33554432000 4194304 4935366 140726650067360 140726650065048 139721260932636 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7843840 140726650070017 140726650070117 140726650070117 140726650073026 0
/proc/20572/statm: 39970 33940 603 181 0 33587 0
Current children cumulated CPU time: 2202.25 s
Current children cumulated vsize: 159880 KiB
Current children cumulated memory: 135760 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/199 21168
/proc/meminfo: memFree=21345940/32770624 swapFree=66999144/67108860
[pid=20572] ppid=20569 vsize=161220 memory=137160 CPUtime=2262.26 cores=0,2,4,6
/proc/20572/stat : 20572 (nacre_mini_rele) R 20569 20572 20510 0 -1 4202496 169800 0 0 0 226205 21 0 0 20 0 1 0 406700648 165089280 34290 33554432000 4194304 4935366 140726650067360 140726650065048 139721261805044 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7843840 140726650070017 140726650070117 140726650070117 140726650073026 0
/proc/20572/statm: 40305 34290 603 181 0 33922 0
Current children cumulated CPU time: 2262.26 s
Current children cumulated vsize: 161220 KiB
Current children cumulated memory: 137160 KiB

[startup+2322.3 s]
/proc/loadavg: 2.11 2.04 1.95 3/199 21174
/proc/meminfo: memFree=21332900/32770624 swapFree=66999144/67108860
[pid=20572] ppid=20569 vsize=162464 memory=138344 CPUtime=2322.24 cores=0,2,4,6
/proc/20572/stat : 20572 (nacre_mini_rele) R 20569 20572 20510 0 -1 4202496 172937 0 0 0 232203 21 0 0 20 0 1 0 406700648 166363136 34586 33554432000 4194304 4935366 140726650067360 140726650065048 4400723 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7843840 140726650070017 140726650070117 140726650070117 140726650073026 0
/proc/20572/statm: 40616 34586 603 181 0 34233 0
Current children cumulated CPU time: 2322.24 s
Current children cumulated vsize: 162464 KiB
Current children cumulated memory: 138344 KiB

[startup+2382.3 s]
/proc/loadavg: 2.04 2.04 1.95 3/199 21178
/proc/meminfo: memFree=21322236/32770624 swapFree=66999144/67108860
[pid=20572] ppid=20569 vsize=162728 memory=138852 CPUtime=2382.24 cores=0,2,4,6
/proc/20572/stat : 20572 (nacre_mini_rele) R 20569 20572 20510 0 -1 4202496 174221 0 0 0 238203 21 0 0 20 0 1 0 406700648 166633472 34713 33554432000 4194304 4935366 140726650067360 140726650065112 139721261805044 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7843840 140726650070017 140726650070117 140726650070117 140726650073026 0
/proc/20572/statm: 40682 34713 603 181 0 34299 0
Current children cumulated CPU time: 2382.24 s
Current children cumulated vsize: 162728 KiB
Current children cumulated memory: 138852 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.11 s]
/proc/loadavg: 2.03 2.04 1.95 3/199 21178
/proc/meminfo: memFree=21319696/32770624 swapFree=66999144/67108860
[pid=20572] ppid=20569 vsize=163104 memory=139164 CPUtime=2400.06 cores=0,2,4,6
/proc/20572/stat : 20572 (nacre_mini_rele) R 20569 20572 20510 0 -1 4202496 175511 0 0 0 239984 22 0 0 20 0 1 0 406700648 167018496 34791 33554432000 4194304 4935366 140726650067360 140726650065048 139721260937758 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7843840 140726650070017 140726650070117 140726650070117 140726650073026 0
/proc/20572/statm: 40776 34791 603 181 0 34393 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 163104 KiB
Current children cumulated memory: 139164 KiB

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

[startup+2400.11 s]
# the end of solver process 20572 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.85 s, system=0.221999 s

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

[startup+2400.11 s]
/proc/loadavg: 2.03 2.04 1.95 3/199 21178
/proc/meminfo: memFree=21319696/32770624 swapFree=66999144/67108860
[pid=20572] ppid=20569 vsize=163104 memory=139164 CPUtime=2400.06 cores=0,2,4,6
/proc/20572/stat : 20572 (nacre_mini_rele) R 20569 20572 20510 0 -1 4202496 175511 0 0 0 239984 22 0 0 20 0 1 0 406700648 167018496 34791 33554432000 4194304 4935366 140726650067360 140726650065048 139721260937758 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7843840 140726650070017 140726650070117 140726650070117 140726650073026 0
/proc/20572/statm: 40776 34791 603 181 0 34393 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 163104 KiB
Current children cumulated memory: 139164 KiB

Child status: 0
Real time (s): 2400.11
CPU time (s): 2400.07
CPU user time (s): 2399.85
CPU system time (s): 0.221999
CPU usage (%): 99.9982
Max. virtual memory (cumulated for all children) (KiB): 163104
Max. memory (cumulated for all children) (KiB): 139164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.85
system time used= 0.221999
maximum resident set size= 139224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175611
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= 50
involuntary context switches= 2008


# summary of solver processes directly reported to runsolver:
#   pid: 20572
#   total CPU time (s): 2400.07
#   total CPU user time (s): 2399.85
#   total CPU system time (s): 0.221999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.10121 second user time and 18.0156 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-12 18:59:42
IDJOB=4391524
IDBENCH=122820
IDSOLVER=2834
FILE ID=node140/4391524-1568307622
RUNJOBID= node140-1568307582-20541
PBS_JOBID= 21701122
Free space on /tmp= 56860 MiB

SOLVER NAME= NACRE 1.0.5-Hybrid
BENCH NAME= XCSP17/Random/Random-RB-3-28-28f/rand-3-28-28-93-632f-36.xml
COMMAND LINE= nacre_mini_release BENCHNAME -ca -l100 -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391524-1568307622/watcher-4391524-1568307622 -o /tmp/evaluation-result-4391524-1568307622/solver-4391524-1568307622 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568307582-20541 --watchdog 2560  nacre_mini_release HOME/instance-4391524-1568307622.xml -ca -l100 -cm

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

MD5SUM BENCH= e0a8d3734b0eaa27800dfa1f13e1fbfb
RANDOM SEED=413019050

node140.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.43
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.43
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.43
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.43
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:        21996808 kB
MemAvailable:   31857676 kB
Buffers:          144128 kB
Cached:          9892456 kB
SwapCached:         2876 kB
Active:          1561272 kB
Inactive:        8482768 kB
Active(anon):       4180 kB
Inactive(anon):    44184 kB
Active(file):    1557092 kB
Inactive(file):  8438584 kB
Unevictable:      107728 kB
Mlocked:          107728 kB
SwapTotal:      67108860 kB
SwapFree:       66999144 kB
Dirty:              8652 kB
Writeback:             0 kB
AnonPages:        112420 kB
Mapped:            42376 kB
Shmem:             32120 kB
Slab:             323312 kB
SReclaimable:     293652 kB
SUnreclaim:        29660 kB
KernelStack:        3280 kB
PageTables:         5964 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     527480 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 56860 MiB
End job on node140 at 2019-09-12 19:39:42