Trace number 4241219

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)628 2400.06 2401.81

General information on the benchmark

NameGolombRuler/GolombRuler-a4-s1/
GolombRuler-23-a4.xml
MD5SUM85d0173ff868c492d6a47734653fba18
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark532
Best CPU time to get the best result obtained on this benchmark2520.1201
Satisfiable
(Un)Satisfiability was proved
Number of variables23
Number of constraints30109
Number of domains1
Minimum domain size1001
Maximum domain size1001
Distribution of domain sizes[{"size":1001,"count":23}]
Minimum variable degree5083
Maximum variable degree5084
Distribution of variable degrees[{"degree":5083,"count":21},{"degree":5084,"count":2}]
Minimum constraint arity1
Maximum constraint arity23
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":3542},{"arity":4,"count":26565},{"arity":23,"count":1}]
Number of extensional constraints0
Number of intensional constraints30108
Distribution of constraint types[{"type":"intension","count":30108},{"type":"ordered","count":1}]
Optimization problemYES
Type of objectivemin VAR

Solver Data 

0.00/0.01	c Mistral-2017-06-28
696.02/696.62	o 628
2400.04/2401.80	s SATISFIABLE
2400.04/2401.80	v <instantiation type="solution">
2400.04/2401.80	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] </list>
2400.04/2401.80	v   <values> 0 1 4 9 11 23 29 44 60 86 99 131 165 192 238 276 306 354 395 478 528 575 628 </values>
2400.04/2401.80	v </instantiation>

Verifier Data 

OK	628

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-4241219-1500650584/watcher-4241219-1500650584 -o /tmp/evaluation-result-4241219-1500650584/solver-4241219-1500650584 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1500648174-9868 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 42691432 HOME/instance-4241219-1500650584.xml 

pid=10199
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.95 2.02 1.86 3/248 10202
/proc/meminfo: memFree=32034324/32770624 swapFree=6476/184776
[pid=10202] ppid=10199 vsize=28672 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10202/stat : 10202 (MistralXCSP) R 10199 10202 9836 0 -1 4202496 958 0 0 0 0 0 0 0 20 0 1 0 324654 29360128 737 33554432000 4194304 7402444 140724791970912 140724791967960 5885954 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 36347904 140724791977130 140724791977278 140724791977278 140724791979977 0
/proc/10202/statm: 7168 737 583 784 0 182 0

[startup+0.100152 s]
/proc/loadavg: 1.95 2.02 1.86 3/248 10202
/proc/meminfo: memFree=32034324/32770624 swapFree=6476/184776
[pid=10202] ppid=10199 vsize=29004 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/10202/stat : 10202 (MistralXCSP) R 10199 10202 9836 0 -1 4202496 1019 0 0 0 9 0 0 0 20 0 1 0 324654 29700096 803 33554432000 4194304 7402444 140724791970912 140724791964152 5911358 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 36347904 140724791977130 140724791977278 140724791977278 140724791979977 0
/proc/10202/statm: 7251 803 631 784 0 265 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29004

[startup+0.200289 s]
/proc/loadavg: 1.95 2.02 1.86 3/248 10202
/proc/meminfo: memFree=32034324/32770624 swapFree=6476/184776
[pid=10202] ppid=10199 vsize=29524 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/10202/stat : 10202 (MistralXCSP) R 10199 10202 9836 0 -1 4202496 1158 0 0 0 19 0 0 0 20 0 1 0 324654 30232576 938 33554432000 4194304 7402444 140724791970912 140724791964152 6143796 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 36347904 140724791977130 140724791977278 140724791977278 140724791979977 0
/proc/10202/statm: 7381 938 631 784 0 395 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 29524

[startup+0.300234 s]
/proc/loadavg: 1.95 2.02 1.86 3/248 10202
/proc/meminfo: memFree=32034324/32770624 swapFree=6476/184776
[pid=10202] ppid=10199 vsize=29788 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/10202/stat : 10202 (MistralXCSP) R 10199 10202 9836 0 -1 4202496 1272 0 0 0 29 0 0 0 20 0 1 0 324654 30502912 1003 33554432000 4194304 7402444 140724791970912 140724791964152 6143807 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 36347904 140724791977130 140724791977278 140724791977278 140724791979977 0
/proc/10202/statm: 7447 1003 631 784 0 461 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29788

[startup+0.700206 s]
/proc/loadavg: 1.95 2.02 1.86 3/248 10202
/proc/meminfo: memFree=32034324/32770624 swapFree=6476/184776
[pid=10202] ppid=10199 vsize=31652 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/10202/stat : 10202 (MistralXCSP) R 10199 10202 9836 0 -1 4202496 1915 0 0 0 68 0 0 0 20 0 1 0 324654 32411648 1543 33554432000 4194304 7402444 140724791970912 140724791959720 140156459714564 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 36347904 140724791977130 140724791977278 140724791977278 140724791979977 0
/proc/10202/statm: 7913 1543 727 784 0 927 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 31652

[startup+1.50021 s]
/proc/loadavg: 1.95 2.02 1.86 3/249 10203
/proc/meminfo: memFree=32028768/32770624 swapFree=6476/184776
[pid=10202] ppid=10199 vsize=36520 CPUtime=1.48 cores=1,3,5,7,9,11,13,15
/proc/10202/stat : 10202 (MistralXCSP) R 10199 10202 9836 0 -1 4202496 3157 0 0 0 148 0 0 0 20 0 1 0 324654 37396480 2797 33554432000 4194304 7402444 140724791970912 140724791961496 4222704 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 36347904 140724791977130 140724791977278 140724791977278 140724791979977 0
/proc/10202/statm: 9130 2797 727 784 0 2144 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 36520

[startup+3.10021 s]
/proc/loadavg: 1.95 2.02 1.86 3/249 10203
/proc/meminfo: memFree=32022512/32770624 swapFree=6476/184776
[pid=10202] ppid=10199 vsize=41936 CPUtime=3.08 cores=1,3,5,7,9,11,13,15
/proc/10202/stat : 10202 (MistralXCSP) R 10199 10202 9836 0 -1 4202496 4834 0 0 0 308 0 0 0 20 0 1 0 324654 42942464 4171 33554432000 4194304 7402444 140724791970912 140724791961656 4775174 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 36347904 140724791977130 140724791977278 140724791977278 140724791979977 0
/proc/10202/statm: 10484 4171 727 784 0 3498 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 41936

[startup+6.3002 s]
/proc/loadavg: 1.95 2.02 1.87 3/249 10203
/proc/meminfo: memFree=32006924/32770624 swapFree=6476/185224
[pid=10202] ppid=10199 vsize=56108 CPUtime=6.28 cores=1,3,5,7,9,11,13,15
/proc/10202/stat : 10202 (MistralXCSP) R 10199 10202 9836 0 -1 4202496 10634 0 0 0 627 1 0 0 20 0 1 0 324654 57454592 7696 33554432000 4194304 7402444 140724791970912 140724791961576 5905174 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 36347904 140724791977130 140724791977278 140724791977278 140724791979977 0
/proc/10202/statm: 14027 7696 727 784 0 7041 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 56108

[startup+12.7002 s]
/proc/loadavg: 1.96 2.02 1.87 3/249 10203
/proc/meminfo: memFree=31979160/32770624 swapFree=6476/185224
[pid=10202] ppid=10199 vsize=82972 CPUtime=12.68 cores=1,3,5,7,9,11,13,15
/proc/10202/stat : 10202 (MistralXCSP) R 10199 10202 9836 0 -1 4202496 24192 0 0 0 1265 3 0 0 20 0 1 0 324654 84963328 14400 33554432000 4194304 7402444 140724791970912 140724791961416 6030106 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 36347904 140724791977130 140724791977278 140724791977278 140724791979977 0
/proc/10202/statm: 20743 14400 727 784 0 13757 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 82972

[startup+25.5002 s]
/proc/loadavg: 1.89 2.00 1.86 3/249 10269
/proc/meminfo: memFree=31842400/32770624 swapFree=6476/184904
[pid=10202] ppid=10199 vsize=126948 CPUtime=25.47 cores=1,3,5,7,9,11,13,15
/proc/10202/stat : 10202 (MistralXCSP) R 10199 10202 9836 0 -1 4202496 37507 0 0 0 2544 3 0 0 20 0 1 0 324654 129994752 25241 33554432000 4194304 7402444 140724791970912 140724791961416 6029908 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 36347904 140724791977130 140724791977278 140724791977278 140724791979977 0
/proc/10202/statm: 31737 25241 727 784 0 24751 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 126948

[startup+51.1002 s]
/proc/loadavg: 1.99 2.01 1.87 3/249 10269
/proc/meminfo: memFree=31764332/32770624 swapFree=6476/184916
[pid=10202] ppid=10199 vsize=205060 CPUtime=51.07 cores=1,3,5,7,9,11,13,15
/proc/10202/stat : 10202 (MistralXCSP) R 10199 10202 9836 0 -1 4202496 72999 0 0 0 5099 8 0 0 20 0 1 0 324654 209981440 44868 33554432000 4194304 7402444 140724791970912 140724791961576 4731639 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 36347904 140724791977130 140724791977278 140724791977278 140724791979977 0
/proc/10202/statm: 51265 44868 727 784 0 44279 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 205060

[startup+102.3 s]
/proc/loadavg: 1.99 2.01 1.88 3/249 10270
/proc/meminfo: memFree=31179312/32770624 swapFree=6476/184960
[pid=10202] ppid=10199 vsize=786024 CPUtime=102.23 cores=1,3,5,7,9,11,13,15
/proc/10202/stat : 10202 (MistralXCSP) R 10199 10202 9836 0 -1 4202496 252516 0 0 0 10195 28 0 0 20 0 1 0 324654 804888576 190195 33554432000 4194304 7402444 140724791970912 140724791965192 5750775 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 36347904 140724791977130 140724791977278 140724791977278 140724791979977 0
/proc/10202/statm: 196506 190195 765 784 0 189520 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 786024

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.88 3/249 10272
/proc/meminfo: memFree=30889556/32770624 swapFree=6476/185004
[pid=10202] ppid=10199 vsize=1076236 CPUtime=162.16 cores=1,3,5,7,9,11,13,15
/proc/10202/stat : 10202 (MistralXCSP) R 10199 10202 9836 0 -1 4202496 352013 0 0 0 16179 37 0 0 20 0 1 0 324654 1102065664 262757 33554432000 4194304 7402444 140724791970912 140724791965208 4747422 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 36347904 140724791977130 140724791977278 140724791977278 140724791979977 0
/proc/10202/statm: 269059 262757 765 784 0 262073 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 1076236

[startup+222.309 s]
/proc/loadavg: 2.05 2.03 1.89 3/249 10273
/proc/meminfo: memFree=30852160/32770624 swapFree=6472/185044
[pid=10202] ppid=10199 vsize=1113460 CPUtime=222.11 cores=1,3,5,7,9,11,13,15
/proc/10202/stat : 10202 (MistralXCSP) R 10199 10202 9836 0 -1 4202496 491215 0 0 0 22167 44 0 0 20 0 1 0 324654 1140183040 272112 33554432000 4194304 7402444 140724791970912 140724791965208 5758679 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 36347904 140724791977130 140724791977278 140724791977278 140724791979977 0
/proc/10202/statm: 278365 272112 765 784 0 271379 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 1113460

[startup+282.3 s]
/proc/loadavg: 2.07 2.04 1.90 3/249 10274
/proc/meminfo: memFree=30845724/32770624 swapFree=6476/185068
[pid=10202] ppid=10199 vsize=1119928 CPUtime=282.05 cores=1,3,5,7,9,11,13,15
/proc/10202/stat : 10202 (MistralXCSP) R 10199 10202 9836 0 -1 4202496 550566 0 0 0 28158 47 0 0 20 0 1 0 324654 1146806272 273734 33554432000 4194304 7402444 140724791970912 140724791965192 5872864 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 36347904 140724791977130 140724791977278 140724791977278 140724791979977 0
/proc/10202/statm: 279982 273734 765 784 0 272996 0
Current children cumulated CPU time (s) 282.05
Current children cumulated vsize (KiB) 1119928

[startup+342.3 s]
/proc/loadavg: 2.07 2.05 1.91 3/243 10276
/proc/meminfo: memFree=30826212/32770624 swapFree=6476/185116
[pid=10202] ppid=10199 vsize=1139860 CPUtime=342 cores=1,3,5,7,9,11,13,15
/proc/10202/stat : 10202 (MistralXCSP) R 10199 10202 9836 0 -1 4202496 556259 0 0 0 34153 47 0 0 20 0 1 0 324654 1167216640 278694 33554432000 4194304 7402444 140724791970912 140724791965192 5878553 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 36347904 140724791977130 140724791977278 140724791977278 140724791979977 0
/proc/10202/statm: 284965 278694 765 784 0 277979 0
Current children cumulated CPU time (s) 342
Current children cumulated vsize (KiB) 1139860

[startup+402.3 s]
/proc/loadavg: 2.08 2.05 1.93 3/243 10277
/proc/meminfo: memFree=30802832/32770624 swapFree=6476/185148
[pid=10202] ppid=10199 vsize=1163752 CPUtime=401.95 cores=1,3,5,7,9,11,13,15
/proc/10202/stat : 10202 (MistralXCSP) R 10199 10202 9836 0 -1 4202496 618953 0 0 0 40143 52 0 0 20 0 1 0 324654 1191682048 284651 33554432000 4194304 7402444 140724791970912 140724791965192 5821630 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 36347904 140724791977130 140724791977278 140724791977278 140724791979977 0
/proc/10202/statm: 290938 284651 765 784 0 283952 0
Current children cumulated CPU time (s) 401.95
Current children cumulated vsize (KiB) 1163752

[startup+462.3 s]
/proc/loadavg: 2.03 2.04 1.93 3/243 10285
/proc/meminfo: memFree=30798280/32770624 swapFree=6476/185192
[pid=10202] ppid=10199 vsize=1166920 CPUtime=461.9 cores=1,3,5,7,9,11,13,15
/proc/10202/stat : 10202 (MistralXCSP) R 10199 10202 9836 0 -1 4202496 722714 0 0 0 46134 56 0 0 20 0 1 0 324654 1194926080 285463 33554432000 4194304 7402444 140724791970912 140724791965192 5878232 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 36347904 140724791977130 140724791977278 140724791977278 140724791979977 0
/proc/10202/statm: 291730 285463 765 784 0 284744 0
Current children cumulated CPU time (s) 461.9
Current children cumulated vsize (KiB) 1166920

[startup+522.3 s]
/proc/loadavg: 2.09 2.05 1.94 3/243 10286
/proc/meminfo: memFree=30798132/32770624 swapFree=6476/185232
[pid=10202] ppid=10199 vsize=1167052 CPUtime=521.86 cores=1,3,5,7,9,11,13,15
/proc/10202/stat : 10202 (MistralXCSP) R 10199 10202 9836 0 -1 4202496 799482 0 0 0 52127 59 0 0 20 0 1 0 324654 1195061248 285534 33554432000 4194304 7402444 140724791970912 140724791965208 5877690 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 36347904 140724791977130 140724791977278 140724791977278 140724791979977 0
/proc/10202/statm: 291763 285534 765 784 0 284777 0
Current children cumulated CPU time (s) 521.86
Current children cumulated vsize (KiB) 1167052

[startup+582.3 s]
/proc/loadavg: 2.03 2.04 1.95 3/243 10287
/proc/meminfo: memFree=30780800/32770624 swapFree=6476/185268
[pid=10202] ppid=10199 vsize=1184476 CPUtime=581.82 cores=1,3,5,7,9,11,13,15
/proc/10202/stat : 10202 (MistralXCSP) R 10199 10202 9836 0 -1 4202496 875900 0 0 0 58119 63 0 0 20 0 1 0 324654 1212903424 289847 33554432000 4194304 7402444 140724791970912 140724791965192 5871081 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 36347904 140724791977130 140724791977278 140724791977278 140724791979977 0
/proc/10202/statm: 296119 289847 765 784 0 289133 0
Current children cumulated CPU time (s) 581.82
Current children cumulated vsize (KiB) 1184476


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


[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/243 10309
/proc/meminfo: memFree=30179460/32770624 swapFree=6476/185828
[pid=10202] ppid=10199 vsize=1783696 CPUtime=1481.15 cores=1,3,5,7,9,11,13,15
/proc/10202/stat : 10202 (MistralXCSP) R 10199 10202 9836 0 -1 4202496 1328815 0 0 0 148013 102 0 0 20 0 1 0 324654 1826504704 439623 33554432000 4194304 7402444 140724791970912 140724791965192 5878232 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 36347904 140724791977130 140724791977278 140724791977278 140724791979977 0
/proc/10202/statm: 445924 439623 765 784 0 438938 0
Current children cumulated CPU time (s) 1481.15
Current children cumulated vsize (KiB) 1783696

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 1.97 3/243 10310
/proc/meminfo: memFree=30151408/32770624 swapFree=6476/185864
[pid=10202] ppid=10199 vsize=1811548 CPUtime=1541.11 cores=1,3,5,7,9,11,13,15
/proc/10202/stat : 10202 (MistralXCSP) R 10199 10202 9836 0 -1 4202496 1360686 0 0 0 154008 103 0 0 20 0 1 0 324654 1855025152 446637 33554432000 4194304 7402444 140724791970912 140724791965352 5877690 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 36347904 140724791977130 140724791977278 140724791977278 140724791979977 0
/proc/10202/statm: 452887 446637 765 784 0 445901 0
Current children cumulated CPU time (s) 1541.11
Current children cumulated vsize (KiB) 1811548

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/243 10311
/proc/meminfo: memFree=30148096/32770624 swapFree=6476/185900
[pid=10202] ppid=10199 vsize=1815244 CPUtime=1601.07 cores=1,3,5,7,9,11,13,15
/proc/10202/stat : 10202 (MistralXCSP) R 10199 10202 9836 0 -1 4202496 1377859 0 0 0 160002 105 0 0 20 0 1 0 324654 1858809856 447552 33554432000 4194304 7402444 140724791970912 140724791965208 4747723 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 36347904 140724791977130 140724791977278 140724791977278 140724791979977 0
/proc/10202/statm: 453811 447552 765 784 0 446825 0
Current children cumulated CPU time (s) 1601.07
Current children cumulated vsize (KiB) 1815244

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/244 10320
/proc/meminfo: memFree=30146912/32770624 swapFree=6476/185924
[pid=10202] ppid=10199 vsize=1816168 CPUtime=1661.03 cores=1,3,5,7,9,11,13,15
/proc/10202/stat : 10202 (MistralXCSP) R 10199 10202 9836 0 -1 4202496 1413521 0 0 0 165996 107 0 0 20 0 1 0 324654 1859756032 447795 33554432000 4194304 7402444 140724791970912 140724791965192 5750768 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 36347904 140724791977130 140724791977278 140724791977278 140724791979977 0
/proc/10202/statm: 454042 447795 765 784 0 447056 0
Current children cumulated CPU time (s) 1661.03
Current children cumulated vsize (KiB) 1816168

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/244 10321
/proc/meminfo: memFree=30141012/32770624 swapFree=6476/185960
[pid=10202] ppid=10199 vsize=1822504 CPUtime=1721 cores=1,3,5,7,9,11,13,15
/proc/10202/stat : 10202 (MistralXCSP) R 10199 10202 9836 0 -1 4202496 1442260 0 0 0 171991 109 0 0 20 0 1 0 324654 1866244096 449322 33554432000 4194304 7402444 140724791970912 140724791965192 5877640 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 36347904 140724791977130 140724791977278 140724791977278 140724791979977 0
/proc/10202/statm: 455626 449322 765 784 0 448640 0
Current children cumulated CPU time (s) 1721
Current children cumulated vsize (KiB) 1822504

[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 1.98 3/244 10322
/proc/meminfo: memFree=30140064/32770624 swapFree=6476/186000
[pid=10202] ppid=10199 vsize=1822504 CPUtime=1780.96 cores=1,3,5,7,9,11,13,15
/proc/10202/stat : 10202 (MistralXCSP) R 10199 10202 9836 0 -1 4202496 1450460 0 0 0 177987 109 0 0 20 0 1 0 324654 1866244096 449378 33554432000 4194304 7402444 140724791970912 140724791965192 5750503 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 36347904 140724791977130 140724791977278 140724791977278 140724791979977 0
/proc/10202/statm: 455626 449378 765 784 0 448640 0
Current children cumulated CPU time (s) 1780.96
Current children cumulated vsize (KiB) 1822504

[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/244 10323
/proc/meminfo: memFree=30124056/32770624 swapFree=6476/186036
[pid=10202] ppid=10199 vsize=1838344 CPUtime=1840.92 cores=1,3,5,7,9,11,13,15
/proc/10202/stat : 10202 (MistralXCSP) R 10199 10202 9836 0 -1 4202496 1501719 0 0 0 183979 113 0 0 20 0 1 0 324654 1882464256 453331 33554432000 4194304 7402444 140724791970912 140724791965208 5877690 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 36347904 140724791977130 140724791977278 140724791977278 140724791979977 0
/proc/10202/statm: 459586 453331 765 784 0 452600 0
Current children cumulated CPU time (s) 1840.92
Current children cumulated vsize (KiB) 1838344

[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/244 10324
/proc/meminfo: memFree=30114348/32770624 swapFree=6368/186084
[pid=10202] ppid=10199 vsize=1849036 CPUtime=1900.88 cores=1,3,5,7,9,11,13,15
/proc/10202/stat : 10202 (MistralXCSP) R 10199 10202 9836 0 -1 4202496 1529073 0 0 0 189974 114 0 0 20 0 1 0 324654 1893412864 456000 33554432000 4194304 7402444 140724791970912 140724791965352 4747338 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 36347904 140724791977130 140724791977278 140724791977278 140724791979977 0
/proc/10202/statm: 462259 456000 765 784 0 455273 0
Current children cumulated CPU time (s) 1900.88
Current children cumulated vsize (KiB) 1849036

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/243 10326
/proc/meminfo: memFree=30108620/32770624 swapFree=6368/186116
[pid=10202] ppid=10199 vsize=1854712 CPUtime=1960.84 cores=1,3,5,7,9,11,13,15
/proc/10202/stat : 10202 (MistralXCSP) R 10199 10202 9836 0 -1 4202496 1572234 0 0 0 195967 117 0 0 20 0 1 0 324654 1899225088 457444 33554432000 4194304 7402444 140724791970912 140724791965192 5877690 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 36347904 140724791977130 140724791977278 140724791977278 140724791979977 0
/proc/10202/statm: 463678 457444 765 784 0 456692 0
Current children cumulated CPU time (s) 1960.84
Current children cumulated vsize (KiB) 1854712

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/243 10327
/proc/meminfo: memFree=30106936/32770624 swapFree=6368/186148
[pid=10202] ppid=10199 vsize=1856560 CPUtime=2020.81 cores=1,3,5,7,9,11,13,15
/proc/10202/stat : 10202 (MistralXCSP) R 10199 10202 9836 0 -1 4202496 1605955 0 0 0 201962 119 0 0 20 0 1 0 324654 1901117440 457911 33554432000 4194304 7402444 140724791970912 140724791965192 5877690 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 36347904 140724791977130 140724791977278 140724791977278 140724791979977 0
/proc/10202/statm: 464140 457911 765 784 0 457154 0
Current children cumulated CPU time (s) 2020.81
Current children cumulated vsize (KiB) 1856560

[startup+2082.3 s]
/proc/loadavg: 2.08 2.04 1.99 3/243 10328
/proc/meminfo: memFree=30103664/32770624 swapFree=6368/186188
[pid=10202] ppid=10199 vsize=1859596 CPUtime=2080.77 cores=1,3,5,7,9,11,13,15
/proc/10202/stat : 10202 (MistralXCSP) R 10199 10202 9836 0 -1 4202496 1641942 0 0 0 207957 120 0 0 20 0 1 0 324654 1904226304 458668 33554432000 4194304 7402444 140724791970912 140724791965192 5758845 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 36347904 140724791977130 140724791977278 140724791977278 140724791979977 0
/proc/10202/statm: 464899 458668 765 784 0 457913 0
Current children cumulated CPU time (s) 2080.77
Current children cumulated vsize (KiB) 1859596

[startup+2142.3 s]
/proc/loadavg: 2.03 2.04 1.99 3/243 10330
/proc/meminfo: memFree=30102748/32770624 swapFree=6368/186224
[pid=10202] ppid=10199 vsize=1860124 CPUtime=2140.72 cores=1,3,5,7,9,11,13,15
/proc/10202/stat : 10202 (MistralXCSP) R 10199 10202 9836 0 -1 4202496 1674487 0 0 0 213951 121 0 0 20 0 1 0 324654 1904766976 458790 33554432000 4194304 7402444 140724791970912 140724791965192 5877690 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 36347904 140724791977130 140724791977278 140724791977278 140724791979977 0
/proc/10202/statm: 465031 458790 765 784 0 458045 0
Current children cumulated CPU time (s) 2140.72
Current children cumulated vsize (KiB) 1860124

[startup+2202.31 s]
/proc/loadavg: 2.01 2.03 1.99 3/243 10331
/proc/meminfo: memFree=30101232/32770624 swapFree=6368/186264
[pid=10202] ppid=10199 vsize=1861048 CPUtime=2200.7 cores=1,3,5,7,9,11,13,15
/proc/10202/stat : 10202 (MistralXCSP) R 10199 10202 9836 0 -1 4202496 1713762 0 0 0 219947 123 0 0 20 0 1 0 324654 1905713152 459019 33554432000 4194304 7402444 140724791970912 140724791965208 5878710 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 36347904 140724791977130 140724791977278 140724791977278 140724791979977 0
/proc/10202/statm: 465262 459019 765 784 0 458276 0
Current children cumulated CPU time (s) 2200.7
Current children cumulated vsize (KiB) 1861048

[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/243 10339
/proc/meminfo: memFree=30100008/32770624 swapFree=6368/186316
[pid=10202] ppid=10199 vsize=1861708 CPUtime=2260.64 cores=1,3,5,7,9,11,13,15
/proc/10202/stat : 10202 (MistralXCSP) R 10199 10202 9836 0 -1 4202496 1733682 0 0 0 225940 124 0 0 20 0 1 0 324654 1906388992 459186 33554432000 4194304 7402444 140724791970912 140724791965192 5758845 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 36347904 140724791977130 140724791977278 140724791977278 140724791979977 0
/proc/10202/statm: 465427 459186 765 784 0 458441 0
Current children cumulated CPU time (s) 2260.64
Current children cumulated vsize (KiB) 1861708

[startup+2322.3 s]
/proc/loadavg: 2.05 2.03 1.99 3/243 10362
/proc/meminfo: memFree=30095464/32770624 swapFree=6368/186352
[pid=10202] ppid=10199 vsize=1866856 CPUtime=2320.59 cores=1,3,5,7,9,11,13,15
/proc/10202/stat : 10202 (MistralXCSP) R 10199 10202 9836 0 -1 4202496 1737824 0 0 0 231935 124 0 0 20 0 1 0 324654 1911660544 460452 33554432000 4194304 7402444 140724791970912 140724791965192 5758807 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 36347904 140724791977130 140724791977278 140724791977278 140724791979977 0
/proc/10202/statm: 466714 460452 765 784 0 459728 0
Current children cumulated CPU time (s) 2320.59
Current children cumulated vsize (KiB) 1866856

[startup+2382.3 s]
/proc/loadavg: 2.02 2.03 1.99 3/243 10363
/proc/meminfo: memFree=30088192/32770624 swapFree=6368/186388
[pid=10202] ppid=10199 vsize=1873324 CPUtime=2380.55 cores=1,3,5,7,9,11,13,15
/proc/10202/stat : 10202 (MistralXCSP) R 10199 10202 9836 0 -1 4202496 1743705 0 0 0 237931 124 0 0 20 0 1 0 324654 1918283776 462074 33554432000 4194304 7402444 140724791970912 140724791965192 5877736 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 36347904 140724791977130 140724791977278 140724791977278 140724791979977 0
/proc/10202/statm: 468331 462074 765 784 0 461345 0
Current children cumulated CPU time (s) 2380.55
Current children cumulated vsize (KiB) 1873324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2401.8 s]
/proc/loadavg: 2.01 2.03 1.99 3/243 10363
/proc/meminfo: memFree=30086232/32770624 swapFree=6368/186388
[pid=10202] ppid=10199 vsize=1873456 CPUtime=2400.04 cores=1,3,5,7,9,11,13,15
/proc/10202/stat : 10202 (MistralXCSP) R 10199 10202 9836 0 -1 4202496 1743996 0 0 0 239880 124 0 0 20 0 1 0 324654 1918418944 462074 33554432000 4194304 7402444 140724791970912 140724791965192 4747338 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 36347904 140724791977130 140724791977278 140724791977278 140724791979977 0
/proc/10202/statm: 468364 462074 765 784 0 461378 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 1873456

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

Child status: 0
Real time (s): 2401.81
CPU time (s): 2400.06
CPU user time (s): 2398.8
CPU system time (s): 1.2552
CPU usage (%): 99.9271
Max. virtual memory (cumulated for all children) (KiB): 1873456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.8
system time used= 1.2552
maximum resident set size= 1848444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1744026
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= 356
involuntary context switches= 121085

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.97925 second user time and 13.3239 second system time

The end

Launcher Data 

Begin job on node141 at 2017-07-21 17:23:04
IDJOB=4241219
IDBENCH=126248
IDSOLVER=2622
FILE ID=node141/4241219-1500650584
RUNJOBID= node141-1500648174-9868
PBS_JOBID= 20623279
Free space on /tmp= 61980 MiB

SOLVER NAME= Mistral-2.0 2017-06-28
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-23-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-4241219-1500650584/watcher-4241219-1500650584 -o /tmp/evaluation-result-4241219-1500650584/solver-4241219-1500650584 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1500648174-9868 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 42691432 HOME/instance-4241219-1500650584.xml

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

MD5SUM BENCH= 85d0173ff868c492d6a47734653fba18
RANDOM SEED=42691432

node141.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.56
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.56
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.56
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.56
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		: 1867.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.56
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		: 1600.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.56
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.56
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.56
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:        32034436 kB
MemAvailable:   32027216 kB
Buffers:           30244 kB
Cached:           273940 kB
SwapCached:            0 kB
Active:           168380 kB
Inactive:         193324 kB
Active(anon):      61356 kB
Inactive(anon):     8548 kB
Active(file):     107024 kB
Inactive(file):   184776 kB
Unevictable:        6476 kB
Mlocked:            6476 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              6980 kB
Writeback:             4 kB
AnonPages:         64780 kB
Mapped:            31576 kB
Shmem:              8852 kB
Slab:              65212 kB
SReclaimable:      33632 kB
SUnreclaim:        31580 kB
KernelStack:        4336 kB
PageTables:         4588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     329916 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:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61972 MiB
End job on node141 at 2017-07-21 18:03:06