Trace number 4241222

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)465 2400.09 2402.01

General information on the benchmark

NameGolombRuler/GolombRuler-a4-s1/
GolombRuler-21-a4.xml
MD5SUM982ba5645f5cd940fa49e525f3796150
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark416
Best CPU time to get the best result obtained on this benchmark2520.03
Satisfiable
(Un)Satisfiability was proved
Number of variables21
Number of constraints20617
Number of domains1
Minimum domain size1001
Maximum domain size1001
Distribution of domain sizes[{"size":1001,"count":21}]
Minimum variable degree3801
Maximum variable degree3802
Distribution of variable degrees[{"degree":3801,"count":19},{"degree":3802,"count":2}]
Minimum constraint arity1
Maximum constraint arity21
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":2660},{"arity":4,"count":17955},{"arity":21,"count":1}]
Number of extensional constraints0
Number of intensional constraints20616
Distribution of constraint types[{"type":"intension","count":20616},{"type":"ordered","count":1}]
Optimization problemYES
Type of objectivemin VAR

Solver Data 

0.00/0.00	c Mistral-2017-06-28
232.89/233.14	o 465
2400.07/2402.00	s SATISFIABLE
2400.07/2402.00	v <instantiation type="solution">
2400.07/2402.00	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] </list>
2400.07/2402.00	v   <values> 0 1 4 6 13 21 31 45 64 80 102 130 164 212 241 252 306 359 396 442 465 </values>
2400.07/2402.00	v </instantiation>

Verifier Data 

OK	465

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-4241222-1500650585/watcher-4241222-1500650585 -o /tmp/evaluation-result-4241222-1500650585/solver-4241222-1500650585 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node113-1500648178-9856 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 209483419 HOME/instance-4241222-1500650585.xml 

pid=10114
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: 2.00 2.01 1.87 3/242 10117
/proc/meminfo: memFree=32029304/32770624 swapFree=5956/185344
[pid=10117] ppid=10114 vsize=28672 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10117/stat : 10117 (MistralXCSP) R 10114 10117 9824 0 -1 4202496 960 0 0 0 0 0 0 0 20 0 1 0 327437 29360128 736 33554432000 4194304 7402444 140723864261808 140723864261256 5896397 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 28315648 140723864269993 140723864270142 140723864270142 140723864272841 0
/proc/10117/statm: 7168 736 582 784 0 182 0

[startup+0.100145 s]
/proc/loadavg: 2.00 2.01 1.87 3/242 10117
/proc/meminfo: memFree=32029304/32770624 swapFree=5956/185344
[pid=10117] ppid=10114 vsize=29000 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/10117/stat : 10117 (MistralXCSP) R 10114 10117 9824 0 -1 4202496 1022 0 0 0 9 0 0 0 20 0 1 0 327437 29696000 802 33554432000 4194304 7402444 140723864261808 140723864255048 139773446171621 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 28315648 140723864269993 140723864270142 140723864270142 140723864272841 0
/proc/10117/statm: 7250 802 631 784 0 264 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29000

[startup+0.200284 s]
/proc/loadavg: 2.00 2.01 1.87 3/242 10117
/proc/meminfo: memFree=32029304/32770624 swapFree=5956/185344
[pid=10117] ppid=10114 vsize=29520 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/10117/stat : 10117 (MistralXCSP) R 10114 10117 9824 0 -1 4202496 1161 0 0 0 19 0 0 0 20 0 1 0 327437 30228480 937 33554432000 4194304 7402444 140723864261808 140723864255048 5886920 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 28315648 140723864269993 140723864270142 140723864270142 140723864272841 0
/proc/10117/statm: 7380 937 631 784 0 394 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 29520

[startup+0.300232 s]
/proc/loadavg: 2.00 2.01 1.87 3/242 10117
/proc/meminfo: memFree=32029304/32770624 swapFree=5956/185344
[pid=10117] ppid=10114 vsize=29784 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/10117/stat : 10117 (MistralXCSP) R 10114 10117 9824 0 -1 4202496 1272 0 0 0 29 0 0 0 20 0 1 0 327437 30498816 1002 33554432000 4194304 7402444 140723864261808 140723864255048 139773446171621 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 28315648 140723864269993 140723864270142 140723864270142 140723864272841 0
/proc/10117/statm: 7446 1002 631 784 0 460 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29784

[startup+0.700209 s]
/proc/loadavg: 2.00 2.01 1.87 3/242 10117
/proc/meminfo: memFree=32029304/32770624 swapFree=5956/185344
[pid=10117] ppid=10114 vsize=32068 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/10117/stat : 10117 (MistralXCSP) R 10114 10117 9824 0 -1 4202496 1990 0 0 0 69 0 0 0 20 0 1 0 327437 32837632 1674 33554432000 4194304 7402444 140723864261808 140723864252296 6047705 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 28315648 140723864269993 140723864270142 140723864270142 140723864272841 0
/proc/10117/statm: 8017 1674 727 784 0 1031 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32068

[startup+1.50019 s]
/proc/loadavg: 2.00 2.01 1.87 4/261 10152
/proc/meminfo: memFree=32016032/32770624 swapFree=5956/184568
[pid=10117] ppid=10114 vsize=36112 CPUtime=1.48 cores=1,3,5,7,9,11,13,15
/proc/10117/stat : 10117 (MistralXCSP) R 10114 10117 9824 0 -1 4202496 2987 0 0 0 148 0 0 0 20 0 1 0 327437 36978688 2664 33554432000 4194304 7402444 140723864261808 140723864252392 6029550 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 28315648 140723864269993 140723864270142 140723864270142 140723864272841 0
/proc/10117/statm: 9028 2664 727 784 0 2042 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 36112

[startup+3.10022 s]
/proc/loadavg: 2.08 2.03 1.87 2/237 10169
/proc/meminfo: memFree=32033780/32770624 swapFree=5956/184784
[pid=10117] ppid=10114 vsize=41616 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/10117/stat : 10117 (MistralXCSP) R 10114 10117 9824 0 -1 4202496 4711 0 0 0 308 1 0 0 20 0 1 0 327437 42614784 4043 33554432000 4194304 7402444 140723864261808 140723864252472 4223648 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 28315648 140723864269993 140723864270142 140723864270142 140723864272841 0
/proc/10117/statm: 10404 4043 727 784 0 3418 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41616

[startup+6.30018 s]
/proc/loadavg: 2.08 2.03 1.87 2/237 10315
/proc/meminfo: memFree=32018000/32770624 swapFree=5956/184864
[pid=10117] ppid=10114 vsize=55476 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/10117/stat : 10117 (MistralXCSP) R 10114 10117 9824 0 -1 4202496 8959 0 0 0 627 2 0 0 20 0 1 0 327437 56807424 7478 33554432000 4194304 7402444 140723864261808 140723864252472 6075829 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 28315648 140723864269993 140723864270142 140723864270142 140723864272841 0
/proc/10117/statm: 13869 7478 727 784 0 6883 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 55476

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 1.87 3/243 10403
/proc/meminfo: memFree=31961700/32770624 swapFree=5956/184940
[pid=10117] ppid=10114 vsize=81568 CPUtime=12.68 cores=1,3,5,7,9,11,13,15
/proc/10117/stat : 10117 (MistralXCSP) R 10114 10117 9824 0 -1 4202496 19784 0 0 0 1266 2 0 0 20 0 1 0 327437 83525632 14009 33554432000 4194304 7402444 140723864261808 140723864252456 6069367 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 28315648 140723864269993 140723864270142 140723864270142 140723864272841 0
/proc/10117/statm: 20392 14009 727 784 0 13406 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 81568

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 1.87 3/243 10403
/proc/meminfo: memFree=31920164/32770624 swapFree=5956/184956
[pid=10117] ppid=10114 vsize=125352 CPUtime=25.48 cores=1,3,5,7,9,11,13,15
/proc/10117/stat : 10117 (MistralXCSP) R 10114 10117 9824 0 -1 4202496 33178 0 0 0 2544 4 0 0 20 0 1 0 327437 128360448 24788 33554432000 4194304 7402444 140723864261808 140723864252472 4731639 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 28315648 140723864269993 140723864270142 140723864270142 140723864272841 0
/proc/10117/statm: 31338 24788 727 784 0 24352 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 125352

[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 1.87 3/243 10403
/proc/meminfo: memFree=31615044/32770624 swapFree=5956/184972
[pid=10117] ppid=10114 vsize=428164 CPUtime=51.07 cores=1,3,5,7,9,11,13,15
/proc/10117/stat : 10117 (MistralXCSP) R 10114 10117 9824 0 -1 4202496 146530 0 0 0 5092 15 0 0 20 0 1 0 327437 438439936 100696 33554432000 4194304 7402444 140723864261808 140723864256088 139773446171621 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 28315648 140723864269993 140723864270142 140723864270142 140723864272841 0
/proc/10117/statm: 107041 100696 765 784 0 100055 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 428164

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 1.88 3/243 10404
/proc/meminfo: memFree=31361388/32770624 swapFree=5956/185020
[pid=10117] ppid=10114 vsize=677496 CPUtime=102.22 cores=1,3,5,7,9,11,13,15
/proc/10117/stat : 10117 (MistralXCSP) R 10114 10117 9824 0 -1 4202496 326291 0 0 0 10194 28 0 0 20 0 1 0 327437 693755904 163011 33554432000 4194304 7402444 140723864261808 140723864256248 4238492 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 28315648 140723864269993 140723864270142 140723864270142 140723864272841 0
/proc/10117/statm: 169374 163011 765 784 0 162388 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 677496

[startup+162.3 s]
/proc/loadavg: 2.10 2.04 1.89 3/243 10406
/proc/meminfo: memFree=31273964/32770624 swapFree=5956/185064
[pid=10117] ppid=10114 vsize=765276 CPUtime=162.16 cores=1,3,5,7,9,11,13,15
/proc/10117/stat : 10117 (MistralXCSP) R 10114 10117 9824 0 -1 4202496 371458 0 0 0 16184 32 0 0 20 0 1 0 327437 783642624 185073 33554432000 4194304 7402444 140723864261808 140723864256088 4747338 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 28315648 140723864269993 140723864270142 140723864270142 140723864272841 0
/proc/10117/statm: 191319 185073 765 784 0 184333 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 765276

[startup+222.308 s]
/proc/loadavg: 2.04 2.04 1.90 3/243 10407
/proc/meminfo: memFree=31258856/32770624 swapFree=5956/185096
[pid=10117] ppid=10114 vsize=780060 CPUtime=222.1 cores=1,3,5,7,9,11,13,15
/proc/10117/stat : 10117 (MistralXCSP) R 10114 10117 9824 0 -1 4202496 502457 0 0 0 22173 37 0 0 20 0 1 0 327437 798781440 188712 33554432000 4194304 7402444 140723864261808 140723864256264 4747338 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 28315648 140723864269993 140723864270142 140723864270142 140723864272841 0
/proc/10117/statm: 195015 188712 765 784 0 188029 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 780060

[startup+282.3 s]
/proc/loadavg: 2.05 2.04 1.91 3/243 10408
/proc/meminfo: memFree=31110500/32770624 swapFree=5956/185132
[pid=10117] ppid=10114 vsize=928900 CPUtime=282.04 cores=1,3,5,7,9,11,13,15
/proc/10117/stat : 10117 (MistralXCSP) R 10114 10117 9824 0 -1 4202496 656443 0 0 0 28156 48 0 0 20 0 1 0 327437 951193600 225983 33554432000 4194304 7402444 140723864261808 140723864256088 5877690 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 28315648 140723864269993 140723864270142 140723864270142 140723864272841 0
/proc/10117/statm: 232225 225983 765 784 0 225239 0
Current children cumulated CPU time (s) 282.04
Current children cumulated vsize (KiB) 928900

[startup+342.3 s]
/proc/loadavg: 2.02 2.04 1.92 3/243 10410
/proc/meminfo: memFree=31049864/32770624 swapFree=5956/185172
[pid=10117] ppid=10114 vsize=988432 CPUtime=341.99 cores=1,3,5,7,9,11,13,15
/proc/10117/stat : 10117 (MistralXCSP) R 10114 10117 9824 0 -1 4202496 705987 0 0 0 34147 52 0 0 20 0 1 0 327437 1012154368 240860 33554432000 4194304 7402444 140723864261808 140723864256248 5871010 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 28315648 140723864269993 140723864270142 140723864270142 140723864272841 0
/proc/10117/statm: 247108 240860 765 784 0 240122 0
Current children cumulated CPU time (s) 341.99
Current children cumulated vsize (KiB) 988432

[startup+402.3 s]
/proc/loadavg: 2.01 2.03 1.92 3/243 10411
/proc/meminfo: memFree=31003472/32770624 swapFree=5956/185216
[pid=10117] ppid=10114 vsize=1035028 CPUtime=401.93 cores=1,3,5,7,9,11,13,15
/proc/10117/stat : 10117 (MistralXCSP) R 10114 10117 9824 0 -1 4202496 818517 0 0 0 40135 58 0 0 20 0 1 0 327437 1059868672 252482 33554432000 4194304 7402444 140723864261808 140723864256088 5878640 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 28315648 140723864269993 140723864270142 140723864270142 140723864272841 0
/proc/10117/statm: 258757 252482 765 784 0 251771 0
Current children cumulated CPU time (s) 401.93
Current children cumulated vsize (KiB) 1035028

[startup+462.3 s]
/proc/loadavg: 2.00 2.03 1.93 3/243 10419
/proc/meminfo: memFree=30922916/32770624 swapFree=5956/185256
[pid=10117] ppid=10114 vsize=1115812 CPUtime=461.88 cores=1,3,5,7,9,11,13,15
/proc/10117/stat : 10117 (MistralXCSP) R 10114 10117 9824 0 -1 4202496 947141 0 0 0 46123 65 0 0 20 0 1 0 327437 1142591488 272688 33554432000 4194304 7402444 140723864261808 140723864256104 5877644 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 28315648 140723864269993 140723864270142 140723864270142 140723864272841 0
/proc/10117/statm: 278953 272688 765 784 0 271967 0
Current children cumulated CPU time (s) 461.88
Current children cumulated vsize (KiB) 1115812

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 1.93 3/243 10420
/proc/meminfo: memFree=30903828/32770624 swapFree=5956/185292
[pid=10117] ppid=10114 vsize=1134952 CPUtime=521.81 cores=1,3,5,7,9,11,13,15
/proc/10117/stat : 10117 (MistralXCSP) R 10114 10117 9824 0 -1 4202496 1037790 0 0 0 52111 70 0 0 20 0 1 0 327437 1162190848 277486 33554432000 4194304 7402444 140723864261808 140723864256104 5758845 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 28315648 140723864269993 140723864270142 140723864270142 140723864272841 0
/proc/10117/statm: 283738 277486 765 784 0 276752 0
Current children cumulated CPU time (s) 521.81
Current children cumulated vsize (KiB) 1134952

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/243 10421
/proc/meminfo: memFree=30903272/32770624 swapFree=5956/185324
[pid=10117] ppid=10114 vsize=1135612 CPUtime=581.74 cores=1,3,5,7,9,11,13,15
/proc/10117/stat : 10117 (MistralXCSP) R 10114 10117 9824 0 -1 4202496 1097760 0 0 0 58101 73 0 0 20 0 1 0 327437 1162866688 277673 33554432000 4194304 7402444 140723864261808 140723864256104 5878467 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 28315648 140723864269993 140723864270142 140723864270142 140723864272841 0
/proc/10117/statm: 283903 277673 765 784 0 276917 0
Current children cumulated CPU time (s) 581.74
Current children cumulated vsize (KiB) 1135612


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


[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/243 10443
/proc/meminfo: memFree=30786116/32770624 swapFree=5956/185864
[pid=10117] ppid=10114 vsize=1250716 CPUtime=1481.05 cores=1,3,5,7,9,11,13,15
/proc/10117/stat : 10117 (MistralXCSP) R 10114 10117 9824 0 -1 4202496 1432299 0 0 0 148011 94 0 0 20 0 1 0 327437 1280733184 306434 33554432000 4194304 7402444 140723864261808 140723864256248 5758615 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 28315648 140723864269993 140723864270142 140723864270142 140723864272841 0
/proc/10117/statm: 312679 306434 765 784 0 305693 0
Current children cumulated CPU time (s) 1481.05
Current children cumulated vsize (KiB) 1250716

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 1.97 3/243 10444
/proc/meminfo: memFree=30785384/32770624 swapFree=5956/185908
[pid=10117] ppid=10114 vsize=1251772 CPUtime=1541.01 cores=1,3,5,7,9,11,13,15
/proc/10117/stat : 10117 (MistralXCSP) R 10114 10117 9824 0 -1 4202496 1434106 0 0 0 154006 95 0 0 20 0 1 0 327437 1281814528 306689 33554432000 4194304 7402444 140723864261808 140723864256248 5758807 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 28315648 140723864269993 140723864270142 140723864270142 140723864272841 0
/proc/10117/statm: 312943 306689 765 784 0 305957 0
Current children cumulated CPU time (s) 1541.01
Current children cumulated vsize (KiB) 1251772

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/243 10445
/proc/meminfo: memFree=30777708/32770624 swapFree=5956/185948
[pid=10117] ppid=10114 vsize=1258240 CPUtime=1600.95 cores=1,3,5,7,9,11,13,15
/proc/10117/stat : 10117 (MistralXCSP) R 10114 10117 9824 0 -1 4202496 1438271 0 0 0 160000 95 0 0 20 0 1 0 327437 1288437760 308330 33554432000 4194304 7402444 140723864261808 140723864256088 5758796 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 28315648 140723864269993 140723864270142 140723864270142 140723864272841 0
/proc/10117/statm: 314560 308330 765 784 0 307574 0
Current children cumulated CPU time (s) 1600.95
Current children cumulated vsize (KiB) 1258240

[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 1.97 3/243 10453
/proc/meminfo: memFree=30767740/32770624 swapFree=5956/185984
[pid=10117] ppid=10114 vsize=1268008 CPUtime=1660.91 cores=1,3,5,7,9,11,13,15
/proc/10117/stat : 10117 (MistralXCSP) R 10114 10117 9824 0 -1 4202496 1445695 0 0 0 165995 96 0 0 20 0 1 0 327437 1298440192 310754 33554432000 4194304 7402444 140723864261808 140723864256088 4238492 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 28315648 140723864269993 140723864270142 140723864270142 140723864272841 0
/proc/10117/statm: 317002 310754 765 784 0 310016 0
Current children cumulated CPU time (s) 1660.91
Current children cumulated vsize (KiB) 1268008

[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 1.97 3/243 10454
/proc/meminfo: memFree=30760476/32770624 swapFree=5956/186020
[pid=10117] ppid=10114 vsize=1274872 CPUtime=1720.87 cores=1,3,5,7,9,11,13,15
/proc/10117/stat : 10117 (MistralXCSP) R 10114 10117 9824 0 -1 4202496 1454283 0 0 0 171990 97 0 0 20 0 1 0 327437 1305468928 312485 33554432000 4194304 7402444 140723864261808 140723864256088 5877724 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 28315648 140723864269993 140723864270142 140723864270142 140723864272841 0
/proc/10117/statm: 318718 312485 765 784 0 311732 0
Current children cumulated CPU time (s) 1720.87
Current children cumulated vsize (KiB) 1274872

[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 1.98 3/243 10455
/proc/meminfo: memFree=30758372/32770624 swapFree=5956/186048
[pid=10117] ppid=10114 vsize=1277512 CPUtime=1780.82 cores=1,3,5,7,9,11,13,15
/proc/10117/stat : 10117 (MistralXCSP) R 10114 10117 9824 0 -1 4202496 1462454 0 0 0 177985 97 0 0 20 0 1 0 327437 1308172288 313126 33554432000 4194304 7402444 140723864261808 140723864256088 5877521 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 28315648 140723864269993 140723864270142 140723864270142 140723864272841 0
/proc/10117/statm: 319378 313126 765 784 0 312392 0
Current children cumulated CPU time (s) 1780.82
Current children cumulated vsize (KiB) 1277512

[startup+1842.3 s]
/proc/loadavg: 2.02 2.03 1.98 3/243 10456
/proc/meminfo: memFree=30756392/32770624 swapFree=5956/186084
[pid=10117] ppid=10114 vsize=1279624 CPUtime=1840.78 cores=1,3,5,7,9,11,13,15
/proc/10117/stat : 10117 (MistralXCSP) R 10114 10117 9824 0 -1 4202496 1471006 0 0 0 183980 98 0 0 20 0 1 0 327437 1310334976 313659 33554432000 4194304 7402444 140723864261808 140723864256248 5877690 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 28315648 140723864269993 140723864270142 140723864270142 140723864272841 0
/proc/10117/statm: 319906 313659 765 784 0 312920 0
Current children cumulated CPU time (s) 1840.78
Current children cumulated vsize (KiB) 1279624

[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/243 10457
/proc/meminfo: memFree=30757504/32770624 swapFree=5956/186124
[pid=10117] ppid=10114 vsize=1279624 CPUtime=1900.74 cores=1,3,5,7,9,11,13,15
/proc/10117/stat : 10117 (MistralXCSP) R 10114 10117 9824 0 -1 4202496 1479034 0 0 0 189976 98 0 0 20 0 1 0 327437 1310334976 313659 33554432000 4194304 7402444 140723864261808 140723864256248 5758736 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 28315648 140723864269993 140723864270142 140723864270142 140723864272841 0
/proc/10117/statm: 319906 313659 765 784 0 312920 0
Current children cumulated CPU time (s) 1900.74
Current children cumulated vsize (KiB) 1279624

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/243 10459
/proc/meminfo: memFree=30757236/32770624 swapFree=5956/186168
[pid=10117] ppid=10114 vsize=1279624 CPUtime=1960.7 cores=1,3,5,7,9,11,13,15
/proc/10117/stat : 10117 (MistralXCSP) R 10114 10117 9824 0 -1 4202496 1487065 0 0 0 195971 99 0 0 20 0 1 0 327437 1310334976 313659 33554432000 4194304 7402444 140723864261808 140723864256248 5758845 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 28315648 140723864269993 140723864270142 140723864270142 140723864272841 0
/proc/10117/statm: 319906 313659 765 784 0 312920 0
Current children cumulated CPU time (s) 1960.7
Current children cumulated vsize (KiB) 1279624

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/243 10460
/proc/meminfo: memFree=30757424/32770624 swapFree=5956/186200
[pid=10117] ppid=10114 vsize=1279624 CPUtime=2020.65 cores=1,3,5,7,9,11,13,15
/proc/10117/stat : 10117 (MistralXCSP) R 10114 10117 9824 0 -1 4202496 1495092 0 0 0 201966 99 0 0 20 0 1 0 327437 1310334976 313659 33554432000 4194304 7402444 140723864261808 140723864256248 4747338 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 28315648 140723864269993 140723864270142 140723864270142 140723864272841 0
/proc/10117/statm: 319906 313659 765 784 0 312920 0
Current children cumulated CPU time (s) 2020.65
Current children cumulated vsize (KiB) 1279624

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/243 10461
/proc/meminfo: memFree=30757468/32770624 swapFree=5956/186240
[pid=10117] ppid=10114 vsize=1279624 CPUtime=2080.62 cores=1,3,5,7,9,11,13,15
/proc/10117/stat : 10117 (MistralXCSP) R 10114 10117 9824 0 -1 4202496 1503121 0 0 0 207962 100 0 0 20 0 1 0 327437 1310334976 313660 33554432000 4194304 7402444 140723864261808 140723864256248 5878648 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 28315648 140723864269993 140723864270142 140723864270142 140723864272841 0
/proc/10117/statm: 319906 313660 765 784 0 312920 0
Current children cumulated CPU time (s) 2080.62
Current children cumulated vsize (KiB) 1279624

[startup+2142.3 s]
/proc/loadavg: 2.06 2.03 1.98 3/243 10463
/proc/meminfo: memFree=30756924/32770624 swapFree=5956/186276
[pid=10117] ppid=10114 vsize=1279756 CPUtime=2140.57 cores=1,3,5,7,9,11,13,15
/proc/10117/stat : 10117 (MistralXCSP) R 10114 10117 9824 0 -1 4202496 1509323 0 0 0 213957 100 0 0 20 0 1 0 327437 1310470144 313693 33554432000 4194304 7402444 140723864261808 140723864256088 5877736 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 28315648 140723864269993 140723864270142 140723864270142 140723864272841 0
/proc/10117/statm: 319939 313693 765 784 0 312953 0
Current children cumulated CPU time (s) 2140.57
Current children cumulated vsize (KiB) 1279756

[startup+2202.31 s]
/proc/loadavg: 2.05 2.04 1.99 3/243 10464
/proc/meminfo: memFree=30745712/32770624 swapFree=5956/186316
[pid=10117] ppid=10114 vsize=1291240 CPUtime=2200.53 cores=1,3,5,7,9,11,13,15
/proc/10117/stat : 10117 (MistralXCSP) R 10114 10117 9824 0 -1 4202496 1520277 0 0 0 219952 101 0 0 20 0 1 0 327437 1322229760 316568 33554432000 4194304 7402444 140723864261808 140723864256216 4238492 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 28315648 140723864269993 140723864270142 140723864270142 140723864272841 0
/proc/10117/statm: 322810 316568 765 784 0 315824 0
Current children cumulated CPU time (s) 2200.53
Current children cumulated vsize (KiB) 1291240

[startup+2262.3 s]
/proc/loadavg: 2.07 2.05 1.99 3/244 10473
/proc/meminfo: memFree=30743076/32770624 swapFree=5956/186372
[pid=10117] ppid=10114 vsize=1293616 CPUtime=2260.48 cores=1,3,5,7,9,11,13,15
/proc/10117/stat : 10117 (MistralXCSP) R 10114 10117 9824 0 -1 4202496 1532407 0 0 0 225947 101 0 0 20 0 1 0 327437 1324662784 317162 33554432000 4194304 7402444 140723864261808 140723864256104 5871010 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 28315648 140723864269993 140723864270142 140723864270142 140723864272841 0
/proc/10117/statm: 323404 317162 765 784 0 316418 0
Current children cumulated CPU time (s) 2260.48
Current children cumulated vsize (KiB) 1293616

[startup+2322.3 s]
/proc/loadavg: 2.02 2.04 1.99 3/244 10496
/proc/meminfo: memFree=30742324/32770624 swapFree=5956/186404
[pid=10117] ppid=10114 vsize=1293880 CPUtime=2320.44 cores=1,3,5,7,9,11,13,15
/proc/10117/stat : 10117 (MistralXCSP) R 10114 10117 9824 0 -1 4202496 1544039 0 0 0 231942 102 0 0 20 0 1 0 327437 1324933120 317230 33554432000 4194304 7402444 140723864261808 140723864256088 4747723 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 28315648 140723864269993 140723864270142 140723864270142 140723864272841 0
/proc/10117/statm: 323470 317230 765 784 0 316484 0
Current children cumulated CPU time (s) 2320.44
Current children cumulated vsize (KiB) 1293880

[startup+2382.3 s]
/proc/loadavg: 2.01 2.03 1.99 3/244 10497
/proc/meminfo: memFree=30740608/32770624 swapFree=5956/186440
[pid=10117] ppid=10114 vsize=1295200 CPUtime=2380.38 cores=1,3,5,7,9,11,13,15
/proc/10117/stat : 10117 (MistralXCSP) R 10114 10117 9824 0 -1 4202496 1549643 0 0 0 237936 102 0 0 20 0 1 0 327437 1326284800 317547 33554432000 4194304 7402444 140723864261808 140723864256088 4747338 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 28315648 140723864269993 140723864270142 140723864270142 140723864272841 0
/proc/10117/statm: 323800 317547 765 784 0 316814 0
Current children cumulated CPU time (s) 2380.38
Current children cumulated vsize (KiB) 1295200



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2402 s]
/proc/loadavg: 2.01 2.03 1.99 3/244 10497
/proc/meminfo: memFree=30740608/32770624 swapFree=5956/186452
[pid=10117] ppid=10114 vsize=1295200 CPUtime=2400.07 cores=1,3,5,7,9,11,13,15
/proc/10117/stat : 10117 (MistralXCSP) R 10114 10117 9824 0 -1 4202496 1549772 0 0 0 239905 102 0 0 20 0 1 0 327437 1326284800 317547 33554432000 4194304 7402444 140723864261808 140723864256088 5746100 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 28315648 140723864269993 140723864270142 140723864270142 140723864272841 0
/proc/10117/statm: 323800 317547 765 784 0 316814 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 1295200

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 10117 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0
Real time (s): 2402.01
CPU time (s): 2400.09
CPU user time (s): 2399.05
CPU system time (s): 1.03226
CPU usage (%): 99.9202
Max. virtual memory (cumulated for all children) (KiB): 1295200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.05
system time used= 1.03226
maximum resident set size= 1270212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1549810
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= 366
involuntary context switches= 121535

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.58849 second user time and 16.0853 second system time

The end

Launcher Data 

Begin job on node113 at 2017-07-21 17:23:05
IDJOB=4241222
IDBENCH=126250
IDSOLVER=2622
FILE ID=node113/4241222-1500650585
RUNJOBID= node113-1500648178-9856
PBS_JOBID= 20623305
Free space on /tmp= 62012 MiB

SOLVER NAME= Mistral-2.0 2017-06-28
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-21-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-4241222-1500650585/watcher-4241222-1500650585 -o /tmp/evaluation-result-4241222-1500650585/solver-4241222-1500650585 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node113-1500648178-9856 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 209483419 HOME/instance-4241222-1500650585.xml

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

MD5SUM BENCH= 982ba5645f5cd940fa49e525f3796150
RANDOM SEED=209483419

node113.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	: 5333.79
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		: 1600.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	: 5333.79
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	: 5333.79
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		: 1600.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	: 5333.79
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		: 1600.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		: 1600.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	: 5333.79
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		: 1867.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	: 5333.79
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		: 1600.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		: 2668.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	: 5333.79
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		: 1600.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	: 5333.79
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:        32029320 kB
MemAvailable:   32022288 kB
Buffers:           30424 kB
Cached:           273304 kB
SwapCached:            0 kB
Active:           175052 kB
Inactive:         193892 kB
Active(anon):      68528 kB
Inactive(anon):     8548 kB
Active(file):     106524 kB
Inactive(file):   185344 kB
Unevictable:        5956 kB
Mlocked:            5956 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              6864 kB
Writeback:             0 kB
AnonPages:         90616 kB
Mapped:            31600 kB
Shmem:              8848 kB
Slab:              65612 kB
SReclaimable:      33872 kB
SUnreclaim:        31740 kB
KernelStack:        4544 kB
PageTables:         5016 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     336060 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      148864 kB
DirectMap2M:    33396736 kB

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