Trace number 4241180

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 NameAnswerobjective functionCPU timeWall clock time
R1: Mistral-2.0 2017-06-28SAT (TO)715 2400.04 2401.32

General information on the benchmark

NameGolombRuler/GolombRuler-a4-s1/
GolombRuler-24-a4.xml
MD5SUM703fa8ddaec9a7a194d23a6d05243a88
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark599
Best CPU time to get the best result obtained on this benchmark2520.1101
Satisfiable
(Un)Satisfiability was proved
Number of variables24
Number of constraints35928
Number of domains1
Minimum domain size1001
Maximum domain size1001
Distribution of domain sizes[{"size":1001,"count":24}]
Minimum variable degree5820
Maximum variable degree5821
Distribution of variable degrees[{"degree":5820,"count":22},{"degree":5821,"count":2}]
Minimum constraint arity1
Maximum constraint arity24
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":4048},{"arity":4,"count":31878},{"arity":24,"count":1}]
Number of extensional constraints0
Number of intensional constraints35927
Distribution of constraint types[{"type":"intension","count":35927},{"type":"ordered","count":1}]
Optimization problemYES
Type of objectivemin VAR

Solver Data 

0.00/0.01	c Mistral-2017-06-28
186.32/186.44	o 715
2400.02/2401.30	s SATISFIABLE
2400.02/2401.30	v <instantiation type="solution">
2400.02/2401.30	v   <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] </list>
2400.02/2401.30	v   <values> 0 1 4 6 13 21 31 45 64 80 102 130 164 212 241 252 306 359 396 442 465 533 645 715 </values>
2400.02/2401.30	v </instantiation>

Verifier Data 

OK	715

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4241180-1500650579/watcher-4241180-1500650579 -o /tmp/evaluation-result-4241180-1500650579/solver-4241180-1500650579 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1500648174-9874 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 435707687 HOME/instance-4241180-1500650579.xml 

pid=10125
running on 8 cores: 1,3,5,7,9,11,13,15

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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.84 1.98 1.86 3/237 10128
/proc/meminfo: memFree=32038156/32770624 swapFree=5956/185968
[pid=10128] ppid=10125 vsize=28672 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10128/stat : 10128 (MistralXCSP) R 10125 10128 9841 0 -1 4202496 959 0 0 0 0 0 0 0 20 0 1 0 324607 29360128 736 33554432000 4194304 7402444 140736727634400 140736727631448 5889021 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 35602432 140736727639209 140736727639358 140736727639358 140736727642057 0
/proc/10128/statm: 7168 736 582 784 0 182 0

[startup+0.100117 s]
/proc/loadavg: 1.84 1.98 1.86 3/237 10128
/proc/meminfo: memFree=32038156/32770624 swapFree=5956/185968
[pid=10128] ppid=10125 vsize=29200 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/10128/stat : 10128 (MistralXCSP) R 10125 10128 9841 0 -1 4202496 1058 0 0 0 9 0 0 0 20 0 1 0 324607 29900800 868 33554432000 4194304 7402444 140736727634400 140736727627640 140295878252864 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 35602432 140736727639209 140736727639358 140736727639358 140736727642057 0
/proc/10128/statm: 7300 868 631 784 0 314 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29200

[startup+0.200241 s]
/proc/loadavg: 1.84 1.98 1.86 3/237 10128
/proc/meminfo: memFree=32038156/32770624 swapFree=5956/185968
[pid=10128] ppid=10125 vsize=29524 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/10128/stat : 10128 (MistralXCSP) R 10125 10128 9841 0 -1 4202496 1195 0 0 0 19 0 0 0 20 0 1 0 324607 30232576 938 33554432000 4194304 7402444 140736727634400 140736727627640 140295861259237 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 35602432 140736727639209 140736727639358 140736727639358 140736727642057 0
/proc/10128/statm: 7381 938 631 784 0 395 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 29524

[startup+0.300205 s]
/proc/loadavg: 1.84 1.98 1.86 3/237 10128
/proc/meminfo: memFree=32038156/32770624 swapFree=5956/185968
[pid=10128] ppid=10125 vsize=30304 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/10128/stat : 10128 (MistralXCSP) R 10125 10128 9841 0 -1 4202496 1403 0 0 0 29 0 0 0 20 0 1 0 324607 31031296 1082 33554432000 4194304 7402444 140736727634400 140736727627640 140295861259237 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 35602432 140736727639209 140736727639358 140736727639358 140736727642057 0
/proc/10128/statm: 7576 1082 631 784 0 590 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30304

[startup+0.700182 s]
/proc/loadavg: 1.84 1.98 1.86 3/237 10128
/proc/meminfo: memFree=32038156/32770624 swapFree=5956/185968
[pid=10128] ppid=10125 vsize=32260 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/10128/stat : 10128 (MistralXCSP) R 10125 10128 9841 0 -1 4202496 2110 0 0 0 68 0 0 0 20 0 1 0 324607 33034240 1567 33554432000 4194304 7402444 140736727634400 140736727623208 6048157 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 35602432 140736727639209 140736727639358 140736727639358 140736727642057 0
/proc/10128/statm: 8065 1567 726 784 0 1079 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 32260

[startup+1.50018 s]
/proc/loadavg: 1.84 1.98 1.86 3/244 10139
/proc/meminfo: memFree=32027320/32770624 swapFree=5956/184880
[pid=10128] ppid=10125 vsize=35072 CPUtime=1.48 cores=1,3,5,7,9,11,13,15
/proc/10128/stat : 10128 (MistralXCSP) R 10125 10128 9841 0 -1 4202496 2815 0 0 0 148 0 0 0 20 0 1 0 324607 35913728 2293 33554432000 4194304 7402444 140736727634400 140736727625064 140295861259237 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 35602432 140736727639209 140736727639358 140736727639358 140736727642057 0
/proc/10128/statm: 8768 2293 727 784 0 1782 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 35072

[startup+3.10021 s]
/proc/loadavg: 1.84 1.98 1.86 3/244 10139
/proc/meminfo: memFree=32017684/32770624 swapFree=5956/185112
[pid=10128] ppid=10125 vsize=40948 CPUtime=3.08 cores=1,3,5,7,9,11,13,15
/proc/10128/stat : 10128 (MistralXCSP) R 10125 10128 9841 0 -1 4202496 4661 0 0 0 308 0 0 0 20 0 1 0 324607 41930752 3778 33554432000 4194304 7402444 140736727634400 140736727624824 140295861996149 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 35602432 140736727639209 140736727639358 140736727639358 140736727642057 0
/proc/10128/statm: 10237 3778 727 784 0 3251 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 40948

[startup+6.30021 s]
/proc/loadavg: 1.78 1.97 1.86 3/244 10139
/proc/meminfo: memFree=31991196/32770624 swapFree=5956/185116
[pid=10128] ppid=10125 vsize=53156 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/10128/stat : 10128 (MistralXCSP) R 10125 10128 9841 0 -1 4202496 11373 0 0 0 628 1 0 0 20 0 1 0 324607 54431744 6779 33554432000 4194304 7402444 140736727634400 140736727625064 6011255 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 35602432 140736727639209 140736727639358 140736727639358 140736727642057 0
/proc/10128/statm: 13289 6779 727 784 0 6303 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 53156

[startup+12.7002 s]
/proc/loadavg: 1.79 1.97 1.86 3/244 10139
/proc/meminfo: memFree=31884540/32770624 swapFree=5956/185116
[pid=10128] ppid=10125 vsize=80952 CPUtime=12.68 cores=1,3,5,7,9,11,13,15
/proc/10128/stat : 10128 (MistralXCSP) R 10125 10128 9841 0 -1 4202496 23607 0 0 0 1267 1 0 0 20 0 1 0 324607 82894848 13772 33554432000 4194304 7402444 140736727634400 140736727625448 4221808 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 35602432 140736727639209 140736727639358 140736727639358 140736727642057 0
/proc/10128/statm: 20238 13772 727 784 0 13252 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 80952

[startup+25.5003 s]
/proc/loadavg: 1.84 1.97 1.86 3/244 10139
/proc/meminfo: memFree=31835444/32770624 swapFree=5956/185128
[pid=10128] ppid=10125 vsize=114908 CPUtime=25.48 cores=1,3,5,7,9,11,13,15
/proc/10128/stat : 10128 (MistralXCSP) R 10125 10128 9841 0 -1 4202496 34289 0 0 0 2546 2 0 0 20 0 1 0 324607 117665792 22208 33554432000 4194304 7402444 140736727634400 140736727625064 140295861269367 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 35602432 140736727639209 140736727639358 140736727639358 140736727642057 0
/proc/10128/statm: 28727 22208 727 784 0 21741 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 114908

[startup+51.1003 s]
/proc/loadavg: 1.89 1.97 1.86 3/244 10139
/proc/meminfo: memFree=31750320/32770624 swapFree=5956/185144
[pid=10128] ppid=10125 vsize=191212 CPUtime=51.08 cores=1,3,5,7,9,11,13,15
/proc/10128/stat : 10128 (MistralXCSP) R 10125 10128 9841 0 -1 4202496 74806 0 0 0 5101 7 0 0 20 0 1 0 324607 195801088 41254 33554432000 4194304 7402444 140736727634400 140736727625144 6063766 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 35602432 140736727639209 140736727639358 140736727639358 140736727642057 0
/proc/10128/statm: 47803 41254 727 784 0 40817 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 191212

[startup+102.3 s]
/proc/loadavg: 1.95 1.97 1.87 3/244 10140
/proc/meminfo: memFree=31601136/32770624 swapFree=5956/185180
[pid=10128] ppid=10125 vsize=330560 CPUtime=102.28 cores=1,3,5,7,9,11,13,15
/proc/10128/stat : 10128 (MistralXCSP) R 10125 10128 9841 0 -1 4202496 128279 0 0 0 10218 10 0 0 20 0 1 0 324607 338493440 76398 33554432000 4194304 7402444 140736727634400 140736727628968 140295861259237 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 35602432 140736727639209 140736727639358 140736727639358 140736727642057 0
/proc/10128/statm: 82640 76398 763 784 0 75654 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 330560

[startup+162.3 s]
/proc/loadavg: 2.05 2.00 1.88 3/244 10142
/proc/meminfo: memFree=30898852/32770624 swapFree=5956/185224
[pid=10128] ppid=10125 vsize=1027872 CPUtime=162.24 cores=1,3,5,7,9,11,13,15
/proc/10128/stat : 10128 (MistralXCSP) R 10125 10128 9841 0 -1 4202496 320143 0 0 0 16190 34 0 0 20 0 1 0 324607 1052540928 250734 33554432000 4194304 7402444 140736727634400 140736727628680 5878252 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 35602432 140736727639209 140736727639358 140736727639358 140736727642057 0
/proc/10128/statm: 256968 250734 765 784 0 249982 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1027872

[startup+222.308 s]
/proc/loadavg: 2.02 2.00 1.89 3/244 10143
/proc/meminfo: memFree=30433756/32770624 swapFree=5956/185260
[pid=10128] ppid=10125 vsize=1491924 CPUtime=222.2 cores=1,3,5,7,9,11,13,15
/proc/10128/stat : 10128 (MistralXCSP) R 10125 10128 9841 0 -1 4202496 567007 0 0 0 22165 55 0 0 20 0 1 0 324607 1527730176 366674 33554432000 4194304 7402444 140736727634400 140736727629096 5871010 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 35602432 140736727639209 140736727639358 140736727639358 140736727642057 0
/proc/10128/statm: 372981 366674 765 784 0 365995 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 1491924

[startup+282.3 s]
/proc/loadavg: 2.01 2.00 1.89 3/244 10144
/proc/meminfo: memFree=30363160/32770624 swapFree=5956/185308
[pid=10128] ppid=10125 vsize=1561492 CPUtime=282.16 cores=1,3,5,7,9,11,13,15
/proc/10128/stat : 10128 (MistralXCSP) R 10125 10128 9841 0 -1 4202496 649699 0 0 0 28156 60 0 0 20 0 1 0 324607 1598967808 384090 33554432000 4194304 7402444 140736727634400 140736727628856 4747338 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 35602432 140736727639209 140736727639358 140736727639358 140736727642057 0
/proc/10128/statm: 390373 384090 765 784 0 383387 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 1561492

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/243 10146
/proc/meminfo: memFree=30294416/32770624 swapFree=5956/185340
[pid=10128] ppid=10125 vsize=1629736 CPUtime=342.13 cores=1,3,5,7,9,11,13,15
/proc/10128/stat : 10128 (MistralXCSP) R 10125 10128 9841 0 -1 4202496 732298 0 0 0 34148 65 0 0 20 0 1 0 324607 1668849664 401175 33554432000 4194304 7402444 140736727634400 140736727628840 4747176 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 35602432 140736727639209 140736727639358 140736727639358 140736727642057 0
/proc/10128/statm: 407434 401175 765 784 0 400448 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 1629736

[startup+402.3 s]
/proc/loadavg: 2.08 2.01 1.91 3/243 10147
/proc/meminfo: memFree=30227896/32770624 swapFree=5956/185372
[pid=10128] ppid=10125 vsize=1696528 CPUtime=402.09 cores=1,3,5,7,9,11,13,15
/proc/10128/stat : 10128 (MistralXCSP) R 10125 10128 9841 0 -1 4202496 809943 0 0 0 40140 69 0 0 20 0 1 0 324607 1737244672 417860 33554432000 4194304 7402444 140736727634400 140736727628696 5877736 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 35602432 140736727639209 140736727639358 140736727639358 140736727642057 0
/proc/10128/statm: 424132 417860 765 784 0 417146 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 1696528

[startup+462.3 s]
/proc/loadavg: 2.08 2.03 1.92 3/244 10156
/proc/meminfo: memFree=30219664/32770624 swapFree=5956/185404
[pid=10128] ppid=10125 vsize=1702864 CPUtime=462.06 cores=1,3,5,7,9,11,13,15
/proc/10128/stat : 10128 (MistralXCSP) R 10125 10128 9841 0 -1 4202496 812940 0 0 0 46136 70 0 0 20 0 1 0 324607 1743732736 419470 33554432000 4194304 7402444 140736727634400 140736727628696 4747338 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 35602432 140736727639209 140736727639358 140736727639358 140736727642057 0
/proc/10128/statm: 425716 419470 765 784 0 418730 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 1702864

[startup+522.3 s]
/proc/loadavg: 2.03 2.02 1.93 3/244 10157
/proc/meminfo: memFree=30186828/32770624 swapFree=5956/185432
[pid=10128] ppid=10125 vsize=1736128 CPUtime=522.02 cores=1,3,5,7,9,11,13,15
/proc/10128/stat : 10128 (MistralXCSP) R 10125 10128 9841 0 -1 4202496 1050051 0 0 0 52120 82 0 0 20 0 1 0 324607 1777795072 427781 33554432000 4194304 7402444 140736727634400 140736727628680 5877676 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 35602432 140736727639209 140736727639358 140736727639358 140736727642057 0
/proc/10128/statm: 434032 427781 765 784 0 427046 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 1736128

[startup+582.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/244 10158
/proc/meminfo: memFree=30166292/32770624 swapFree=5956/185456
[pid=10128] ppid=10125 vsize=1756852 CPUtime=581.97 cores=1,3,5,7,9,11,13,15
/proc/10128/stat : 10128 (MistralXCSP) R 10125 10128 9841 0 -1 4202496 1260177 0 0 0 58103 94 0 0 20 0 1 0 324607 1799016448 432951 33554432000 4194304 7402444 140736727634400 140736727628856 5871081 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 35602432 140736727639209 140736727639358 140736727639358 140736727642057 0
/proc/10128/statm: 439213 432951 765 784 0 432227 0
Current children cumulated CPU time (s) 581.97
Current children cumulated vsize (KiB) 1756852


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

[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 1.97 3/243 10182
/proc/meminfo: memFree=29744668/32770624 swapFree=5956/185908
[pid=10128] ppid=10125 vsize=2175556 CPUtime=1541.4 cores=1,3,5,7,9,11,13,15
/proc/10128/stat : 10128 (MistralXCSP) R 10125 10128 9841 0 -1 4202496 2422110 0 0 0 153978 162 0 0 20 0 1 0 324607 2227769344 537614 33554432000 4194304 7402444 140736727634400 140736727628840 4747338 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 35602432 140736727639209 140736727639358 140736727639358 140736727642057 0
/proc/10128/statm: 543889 537614 765 784 0 536903 0
Current children cumulated CPU time (s) 1541.4
Current children cumulated vsize (KiB) 2175556

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/243 10183
/proc/meminfo: memFree=29737184/32770624 swapFree=5956/185940
[pid=10128] ppid=10125 vsize=2182288 CPUtime=1601.36 cores=1,3,5,7,9,11,13,15
/proc/10128/stat : 10128 (MistralXCSP) R 10125 10128 9841 0 -1 4202496 2449008 0 0 0 159973 163 0 0 20 0 1 0 324607 2234662912 539337 33554432000 4194304 7402444 140736727634400 140736727628840 4262848 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 35602432 140736727639209 140736727639358 140736727639358 140736727642057 0
/proc/10128/statm: 545572 539337 765 784 0 538586 0
Current children cumulated CPU time (s) 1601.36
Current children cumulated vsize (KiB) 2182288

[startup+1662.3 s]
/proc/loadavg: 2.08 2.03 1.98 3/244 10192
/proc/meminfo: memFree=29736356/32770624 swapFree=5956/185976
[pid=10128] ppid=10125 vsize=2182288 CPUtime=1661.34 cores=1,3,5,7,9,11,13,15
/proc/10128/stat : 10128 (MistralXCSP) R 10125 10128 9841 0 -1 4202496 2461547 0 0 0 165970 164 0 0 20 0 1 0 324607 2234662912 539348 33554432000 4194304 7402444 140736727634400 140736727628840 5878157 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 35602432 140736727639209 140736727639358 140736727639358 140736727642057 0
/proc/10128/statm: 545572 539348 765 784 0 538586 0
Current children cumulated CPU time (s) 1661.34
Current children cumulated vsize (KiB) 2182288

[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 1.98 3/244 10193
/proc/meminfo: memFree=29735868/32770624 swapFree=5956/186000
[pid=10128] ppid=10125 vsize=2182816 CPUtime=1721.31 cores=1,3,5,7,9,11,13,15
/proc/10128/stat : 10128 (MistralXCSP) R 10125 10128 9841 0 -1 4202496 2482206 0 0 0 171966 165 0 0 20 0 1 0 324607 2235203584 539464 33554432000 4194304 7402444 140736727634400 140736727628840 4238492 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 35602432 140736727639209 140736727639358 140736727639358 140736727642057 0
/proc/10128/statm: 545704 539464 765 784 0 538718 0
Current children cumulated CPU time (s) 1721.31
Current children cumulated vsize (KiB) 2182816

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/244 10194
/proc/meminfo: memFree=29735404/32770624 swapFree=5956/186028
[pid=10128] ppid=10125 vsize=2184004 CPUtime=1781.29 cores=1,3,5,7,9,11,13,15
/proc/10128/stat : 10128 (MistralXCSP) R 10125 10128 9841 0 -1 4202496 2497310 0 0 0 177963 166 0 0 20 0 1 0 324607 2236420096 539763 33554432000 4194304 7402444 140736727634400 140736727628760 5758825 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 35602432 140736727639209 140736727639358 140736727639358 140736727642057 0
/proc/10128/statm: 546001 539763 765 784 0 539015 0
Current children cumulated CPU time (s) 1781.29
Current children cumulated vsize (KiB) 2184004

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/244 10195
/proc/meminfo: memFree=29735048/32770624 swapFree=5956/186052
[pid=10128] ppid=10125 vsize=2184004 CPUtime=1841.26 cores=1,3,5,7,9,11,13,15
/proc/10128/stat : 10128 (MistralXCSP) R 10125 10128 9841 0 -1 4202496 2512310 0 0 0 183959 167 0 0 20 0 1 0 324607 2236420096 539763 33554432000 4194304 7402444 140736727634400 140736727628760 5877653 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 35602432 140736727639209 140736727639358 140736727639358 140736727642057 0
/proc/10128/statm: 546001 539763 765 784 0 539015 0
Current children cumulated CPU time (s) 1841.26
Current children cumulated vsize (KiB) 2184004

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/244 10196
/proc/meminfo: memFree=29731224/32770624 swapFree=5956/186088
[pid=10128] ppid=10125 vsize=2188492 CPUtime=1901.24 cores=1,3,5,7,9,11,13,15
/proc/10128/stat : 10128 (MistralXCSP) R 10125 10128 9841 0 -1 4202496 2546698 0 0 0 189955 169 0 0 20 0 1 0 324607 2241015808 540896 33554432000 4194304 7402444 140736727634400 140736727628680 4238492 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 35602432 140736727639209 140736727639358 140736727639358 140736727642057 0
/proc/10128/statm: 547123 540896 765 784 0 540137 0
Current children cumulated CPU time (s) 1901.24
Current children cumulated vsize (KiB) 2188492

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/243 10198
/proc/meminfo: memFree=29724444/32770624 swapFree=5956/186128
[pid=10128] ppid=10125 vsize=2195356 CPUtime=1961.2 cores=1,3,5,7,9,11,13,15
/proc/10128/stat : 10128 (MistralXCSP) R 10125 10128 9841 0 -1 4202496 2570856 0 0 0 195950 170 0 0 20 0 1 0 324607 2248044544 542585 33554432000 4194304 7402444 140736727634400 140736727628840 5821520 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 35602432 140736727639209 140736727639358 140736727639358 140736727642057 0
/proc/10128/statm: 548839 542585 765 784 0 541853 0
Current children cumulated CPU time (s) 1961.2
Current children cumulated vsize (KiB) 2195356

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/243 10199
/proc/meminfo: memFree=29724632/32770624 swapFree=5956/186148
[pid=10128] ppid=10125 vsize=2195356 CPUtime=2021.18 cores=1,3,5,7,9,11,13,15
/proc/10128/stat : 10128 (MistralXCSP) R 10125 10128 9841 0 -1 4202496 2577161 0 0 0 201947 171 0 0 20 0 1 0 324607 2248044544 542589 33554432000 4194304 7402444 140736727634400 140736727628840 5878236 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 35602432 140736727639209 140736727639358 140736727639358 140736727642057 0
/proc/10128/statm: 548839 542589 765 784 0 541853 0
Current children cumulated CPU time (s) 2021.18
Current children cumulated vsize (KiB) 2195356

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/243 10200
/proc/meminfo: memFree=29725740/32770624 swapFree=5956/186184
[pid=10128] ppid=10125 vsize=2195488 CPUtime=2081.16 cores=1,3,5,7,9,11,13,15
/proc/10128/stat : 10128 (MistralXCSP) R 10125 10128 9841 0 -1 4202496 2606356 0 0 0 207944 172 0 0 20 0 1 0 324607 2248179712 542641 33554432000 4194304 7402444 140736727634400 140736727628840 5758736 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 35602432 140736727639209 140736727639358 140736727639358 140736727642057 0
/proc/10128/statm: 548872 542641 765 784 0 541886 0
Current children cumulated CPU time (s) 2081.16
Current children cumulated vsize (KiB) 2195488

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/243 10202
/proc/meminfo: memFree=29725896/32770624 swapFree=5956/186212
[pid=10128] ppid=10125 vsize=2195488 CPUtime=2141.13 cores=1,3,5,7,9,11,13,15
/proc/10128/stat : 10128 (MistralXCSP) R 10125 10128 9841 0 -1 4202496 2636998 0 0 0 213938 175 0 0 20 0 1 0 324607 2248179712 542641 33554432000 4194304 7402444 140736727634400 140736727628840 4248787 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 35602432 140736727639209 140736727639358 140736727639358 140736727642057 0
/proc/10128/statm: 548872 542641 765 784 0 541886 0
Current children cumulated CPU time (s) 2141.13
Current children cumulated vsize (KiB) 2195488

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 1.98 3/243 10203
/proc/meminfo: memFree=29725996/32770624 swapFree=5956/186248
[pid=10128] ppid=10125 vsize=2195488 CPUtime=2201.11 cores=1,3,5,7,9,11,13,15
/proc/10128/stat : 10128 (MistralXCSP) R 10125 10128 9841 0 -1 4202496 2648991 0 0 0 219935 176 0 0 20 0 1 0 324607 2248179712 542641 33554432000 4194304 7402444 140736727634400 140736727628840 4248787 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 35602432 140736727639209 140736727639358 140736727639358 140736727642057 0
/proc/10128/statm: 548872 542641 765 784 0 541886 0
Current children cumulated CPU time (s) 2201.11
Current children cumulated vsize (KiB) 2195488

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/244 10212
/proc/meminfo: memFree=29719564/32770624 swapFree=5956/186288
[pid=10128] ppid=10125 vsize=2200636 CPUtime=2261.07 cores=1,3,5,7,9,11,13,15
/proc/10128/stat : 10128 (MistralXCSP) R 10125 10128 9841 0 -1 4202496 2674009 0 0 0 225930 177 0 0 20 0 1 0 324607 2253451264 543906 33554432000 4194304 7402444 140736727634400 140736727628856 4248742 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 35602432 140736727639209 140736727639358 140736727639358 140736727642057 0
/proc/10128/statm: 550159 543906 765 784 0 543173 0
Current children cumulated CPU time (s) 2261.07
Current children cumulated vsize (KiB) 2200636

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/245 10236
/proc/meminfo: memFree=29718292/32770624 swapFree=5796/186316
[pid=10128] ppid=10125 vsize=2200636 CPUtime=2321.05 cores=1,3,5,7,9,11,13,15
/proc/10128/stat : 10128 (MistralXCSP) R 10125 10128 9841 0 -1 4202496 2693148 0 0 0 231926 179 0 0 20 0 1 0 324607 2253451264 543906 33554432000 4194304 7402444 140736727634400 140736727628856 4297584 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 35602432 140736727639209 140736727639358 140736727639358 140736727642057 0
/proc/10128/statm: 550159 543906 765 784 0 543173 0
Current children cumulated CPU time (s) 2321.05
Current children cumulated vsize (KiB) 2200636

[startup+2382.3 s]
/proc/loadavg: 2.05 2.03 1.98 3/245 10237
/proc/meminfo: memFree=29713612/32770624 swapFree=5648/186336
[pid=10128] ppid=10125 vsize=2204332 CPUtime=2381.02 cores=1,3,5,7,9,11,13,15
/proc/10128/stat : 10128 (MistralXCSP) R 10125 10128 9841 0 -1 4202496 2708954 0 0 0 237922 180 0 0 20 0 1 0 324607 2257235968 544857 33554432000 4194304 7402444 140736727634400 140736727628840 5877690 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 35602432 140736727639209 140736727639358 140736727639358 140736727642057 0
/proc/10128/statm: 551083 544857 765 784 0 544097 0
Current children cumulated CPU time (s) 2381.02
Current children cumulated vsize (KiB) 2204332



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2401.3 s]
/proc/loadavg: 2.04 2.03 1.98 4/243 10251
/proc/meminfo: memFree=29852236/32770624 swapFree=5648/186344
[pid=10128] ppid=10125 vsize=2204728 CPUtime=2400.02 cores=1,3,5,7,9,11,13,15
/proc/10128/stat : 10128 (MistralXCSP) R 10125 10128 9841 0 -1 4202496 2716004 0 0 0 239822 180 0 0 20 0 1 0 324607 2257641472 544957 33554432000 4194304 7402444 140736727634400 140736727628840 5758845 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 35602432 140736727639209 140736727639358 140736727639358 140736727642057 0
/proc/10128/statm: 551182 544957 765 784 0 544196 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 2204728

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10128 sig 9
??? kill -10128 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2401.3 s]
/proc/loadavg: 2.04 2.03 1.98 4/243 10251
/proc/meminfo: memFree=29852236/32770624 swapFree=5648/186344
[pid=10128] ppid=10125 vsize=2204728 CPUtime=2400.02 cores=1,3,5,7,9,11,13,15
/proc/10128/stat : 10128 (MistralXCSP) R 10125 10128 9841 0 -1 4202496 2716004 0 0 0 239822 180 0 0 20 0 1 0 324607 2257641472 544957 33554432000 4194304 7402444 140736727634400 140736727628840 5758845 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 35602432 140736727639209 140736727639358 140736727639358 140736727642057 0
/proc/10128/statm: 551182 544957 765 784 0 544196 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 2204728

Child status: 0
Real time (s): 2401.32
CPU time (s): 2400.04
CPU user time (s): 2398.23
CPU system time (s): 1.81621
CPU usage (%): 99.9467
Max. virtual memory (cumulated for all children) (KiB): 2204728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.23
system time used= 1.81621
maximum resident set size= 2179852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2716032
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= 424
involuntary context switches= 121511

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.34922 second user time and 13.4564 second system time

The end

Launcher Data 

Begin job on node137 at 2017-07-21 17:22:59
IDJOB=4241180
IDBENCH=126230
IDSOLVER=2622
FILE ID=node137/4241180-1500650579
RUNJOBID= node137-1500648174-9874
PBS_JOBID= 20623283
Free space on /tmp= 62016 MiB

SOLVER NAME= Mistral-2.0 2017-06-28
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-24-a4.xml
COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241180-1500650579/watcher-4241180-1500650579 -o /tmp/evaluation-result-4241180-1500650579/solver-4241180-1500650579 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1500648174-9874 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 435707687 HOME/instance-4241180-1500650579.xml

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

MD5SUM BENCH= 703fa8ddaec9a7a194d23a6d05243a88
RANDOM SEED=435707687

node137.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5332.93
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		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5332.93
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5332.93
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		: 2400.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5332.93
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		: 1867.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        32040580 kB
MemAvailable:   32031240 kB
Buffers:           30700 kB
Cached:           270280 kB
SwapCached:            0 kB
Active:           158384 kB
Inactive:         196212 kB
Active(anon):      56496 kB
Inactive(anon):     8548 kB
Active(file):     101888 kB
Inactive(file):   187664 kB
Unevictable:        5956 kB
Mlocked:            5956 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             10308 kB
Writeback:             0 kB
AnonPages:         59120 kB
Mapped:            29368 kB
Shmem:              8852 kB
Slab:              65692 kB
SReclaimable:      33888 kB
SUnreclaim:        31804 kB
KernelStack:        4160 kB
PageTables:         4960 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     309508 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 62004 MiB
End job on node137 at 2017-07-21 18:03:01