Trace number 4260845

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
Mistral-2.0 2017-07-28SAT (TO)0 2519.8101 2520

General information on the benchmark

NameBinPacking/BinPacking-mdd-sw120/
BinPacking-mdd-sw120-30.xml
MD5SUM1730b431530ce221acf4898e37ce65f9
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark2400.08
Satisfiable
(Un)Satisfiability was proved
Number of variables133
Number of constraints25
Number of domains2
Minimum domain size23
Maximum domain size45
Distribution of domain sizes[{"size":23,"count":1},{"size":45,"count":132}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":110},{"degree":4,"count":22}]
Minimum constraint arity6
Maximum constraint arity132
Distribution of constraint arities[{"arity":6,"count":22},{"arity":23,"count":1},{"arity":132,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"mdd","count":22},{"type":"lex","count":1},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problemYES
Type of objectivemax VAR

Solver Data 

0.00/0.10	c 280717
1735.61/1735.82	o 0
2519.80/2520.00	s SATISFIABLE
2519.80/2520.00	v <instantiation type="solution">
2519.80/2520.00	v   <list> x b[0][0] b[0][1] b[0][2] b[0][3] b[0][4] b[0][5] b[1][0] b[1][1] b[1][2] b[1][3] b[1][4] b[1][5] b[2][0] b[2][1] b[2][2] b[2][3] b[2][4] b[2][5] b[3][0] b[3][1] b[3][2] b[3][3] b[3][4] b[3][5] b[4][0] b[4][1] b[4][2] b[4][3] b[4][4] b[4][5] b[5][0] b[5][1] b[5][2] b[5][3] b[5][4] b[5][5] b[6][0] b[6][1] b[6][2] b[6][3] b[6][4] b[6][5] b[7][0] b[7][1] b[7][2] b[7][3] b[7][4] b[7][5] b[8][0] b[8][1] b[8][2] b[8][3] b[8][4] b[8][5] b[9][0] b[9][1] b[9][2] b[9][3] b[9][4] b[9][5] b[10][0] b[10][1] b[10][2] b[10][3] b[10][4] b[10][5] b[11][0] b[11][1] b[11][2] b[11][3] b[11][4] b[11][5] b[12][0] b[12][1] b[12][2] b[12][3] b[12][4] b[12][5] b[13][0] b[13][1] b[13][2] b[13][3] b[13][4] b[13][5] b[14][0] b[14][1] b[14][2] b[14][3] b[14][4] b[14][5] b[15][0] b[15][1] b[15][2] b[15][3] b[15][4] b[15][5] b[16][0] b[16][1] b[16][2] b[16][3] b[16][4] b[16][5] b[17][0] b[17][1] b[17][2] b[17][3] b[17][4] b[17][5] b[18][0] b[18][1] b[18][2] b[18][3] b[18][4] b[18][5] b[19][0] b[19][1] b[19][2] b[19][3] b[19][4] b[19][5] b[20][0] b[20][1] b[20][2] b[20][3] b[20][4] b[20][5] b[21][0] b[21][1] b[21][2] b[21][3] b[21][4] b[21][5] </list>
2519.80/2520.00	v   <values> 0 200 200 198 194 181 0 199 199 194 180 172 0 198 198 186 185 180 0 196 185 155 155 155 154 195 193 193 189 181 0 195 185 182 173 171 0 194 190 189 181 168 0 194 183 157 156 155 155 193 190 190 184 170 0 193 187 186 183 171 0 193 174 150 150 150 0 190 174 166 160 157 153 189 175 160 155 155 0 188 177 162 161 161 151 188 175 168 153 151 0 184 177 160 160 150 150 184 175 171 154 154 154 180 180 159 159 159 158 180 175 163 162 162 158 180 164 164 164 162 162 177 176 176 176 172 0 169 167 167 167 167 163 </values>
2519.80/2520.00	v </instantiation>

Verifier Data 

OK	0

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-4260845-1502392533/watcher-4260845-1502392533 -o /tmp/evaluation-result-4260845-1502392533/solver-4260845-1502392533 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502333491-25568 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 319929224 HOME/instance-4260845-1502392533.xml 

pid=1212
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.06 2.07 2.05 2/188 1215
/proc/meminfo: memFree=29074740/32770624 swapFree=0/433980
[pid=1215] ppid=1212 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/1215/stat : 1215 (runsolver) D 1212 1215 4525 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 138906252 24240128 108 18446744073709551615 4194304 4338465 140737254514400 140737254512040 140092776456919 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 8945664 140737254523019 140737254523465 140737254523465 140737254526922 0
/proc/1215/statm: 5918 108 54 36 0 2156 0

[startup+0.100133 s]
/proc/loadavg: 2.06 2.07 2.05 2/188 1215
/proc/meminfo: memFree=29074740/32770624 swapFree=0/433980
[pid=1215] ppid=1212 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/1215/stat : 1215 (runsolver) D 1212 1215 4525 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 138906252 24240128 108 18446744073709551615 4194304 4338465 140737254514400 140737254512040 140092776456919 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 8945664 140737254523019 140737254523465 140737254523465 140737254526922 0
/proc/1215/statm: 5918 108 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.200318 s]
/proc/loadavg: 2.06 2.07 2.05 2/188 1215
/proc/meminfo: memFree=29074740/32770624 swapFree=0/433980
[pid=1215] ppid=1212 vsize=31348 CPUtime=0.09 cores=1,3,5,7
/proc/1215/stat : 1215 (MistralXCSP) R 1212 1215 4525 0 -1 4202496 2008 0 0 0 9 0 0 0 20 0 1 0 138906252 32100352 1299 18446744073709551615 4194304 7396336 140726476836464 140726476829704 139975955557828 0 0 1 0 0 0 0 17 1 0 0 10 0 0 9496464 9501696 20271104 140726476837299 140726476837448 140726476837448 140726476840905 0
/proc/1215/statm: 7837 1299 615 782 0 853 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31348

[startup+0.300271 s]
/proc/loadavg: 2.06 2.07 2.05 2/188 1215
/proc/meminfo: memFree=29074740/32770624 swapFree=0/433980
[pid=1215] ppid=1212 vsize=40340 CPUtime=0.19 cores=1,3,5,7
/proc/1215/stat : 1215 (MistralXCSP) R 1212 1215 4525 0 -1 4202496 4544 0 0 0 19 0 0 0 20 0 1 0 138906252 41308160 3121 18446744073709551615 4194304 7396336 140726476836464 140726476829704 139975948774373 0 0 1 0 0 0 0 17 1 0 0 10 0 0 9496464 9501696 20271104 140726476837299 140726476837448 140726476837448 140726476840905 0
/proc/1215/statm: 10085 3121 627 782 0 3101 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 40340

[startup+0.700276 s]
/proc/loadavg: 2.06 2.07 2.05 2/188 1215
/proc/meminfo: memFree=29074740/32770624 swapFree=0/433980
[pid=1215] ppid=1212 vsize=73868 CPUtime=0.59 cores=1,3,5,7
/proc/1215/stat : 1215 (MistralXCSP) R 1212 1215 4525 0 -1 4202496 12965 0 0 0 58 1 0 0 20 0 1 0 138906252 75640832 11569 18446744073709551615 4194304 7396336 140726476836464 140726476829704 6354648 0 0 1 0 0 0 0 17 1 0 0 10 0 0 9496464 9501696 20271104 140726476837299 140726476837448 140726476837448 140726476840905 0
/proc/1215/statm: 18467 11569 646 782 0 11483 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 73868

[startup+1.50028 s]
/proc/loadavg: 1.98 2.06 2.05 3/189 1216
/proc/meminfo: memFree=29000908/32770624 swapFree=0/434248
[pid=1215] ppid=1212 vsize=139472 CPUtime=1.38 cores=1,3,5,7
/proc/1215/stat : 1215 (MistralXCSP) R 1212 1215 4525 0 -1 4202496 29356 0 0 0 135 3 0 0 20 0 1 0 138906252 142819328 27937 18446744073709551615 4194304 7396336 140726476836464 140726476826920 139975948783500 0 0 1 0 0 0 0 17 1 0 0 10 0 0 9496464 9501696 20271104 140726476837299 140726476837448 140726476837448 140726476840905 0
/proc/1215/statm: 34868 27937 664 782 0 27884 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 139472

[startup+3.10032 s]
/proc/loadavg: 1.98 2.06 2.05 3/189 1216
/proc/meminfo: memFree=28936480/32770624 swapFree=0/434248
[pid=1215] ppid=1212 vsize=173988 CPUtime=2.99 cores=1,3,5,7
/proc/1215/stat : 1215 (MistralXCSP) R 1212 1215 4525 0 -1 4202496 58191 0 0 0 293 6 0 0 20 0 1 0 138906252 178163712 37020 18446744073709551615 4194304 7396336 140726476836464 140726476831000 139975948770110 0 0 1 16386 0 0 0 17 1 0 0 10 0 0 9496464 9501696 20271104 140726476837299 140726476837448 140726476837448 140726476840905 0
/proc/1215/statm: 43497 37020 767 782 0 36513 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 173988

[startup+6.30031 s]
/proc/loadavg: 1.98 2.05 2.05 3/189 1216
/proc/meminfo: memFree=28928872/32770624 swapFree=0/434244
[pid=1215] ppid=1212 vsize=175044 CPUtime=6.19 cores=1,3,5,7
/proc/1215/stat : 1215 (MistralXCSP) R 1212 1215 4525 0 -1 4202496 82610 0 0 0 611 8 0 0 20 0 1 0 138906252 179245056 37326 18446744073709551615 4194304 7396336 140726476836464 140726476831000 4253019 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 20271104 140726476837299 140726476837448 140726476837448 140726476840905 0
/proc/1215/statm: 43761 37326 767 782 0 36777 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 175044

[startup+12.7003 s]
/proc/loadavg: 2.06 2.07 2.05 3/189 1216
/proc/meminfo: memFree=28926164/32770624 swapFree=0/434252
[pid=1215] ppid=1212 vsize=179280 CPUtime=12.59 cores=1,3,5,7
/proc/1215/stat : 1215 (MistralXCSP) R 1212 1215 4525 0 -1 4202496 107950 0 0 0 1249 10 0 0 20 0 1 0 138906252 183582720 38370 18446744073709551615 4194304 7396336 140726476836464 140726476831000 4547368 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 20271104 140726476837299 140726476837448 140726476837448 140726476840905 0
/proc/1215/statm: 44820 38370 767 782 0 37836 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 179280

[startup+25.5004 s]
/proc/loadavg: 2.05 2.07 2.05 3/189 1216
/proc/meminfo: memFree=28924644/32770624 swapFree=0/434260
[pid=1215] ppid=1212 vsize=179544 CPUtime=25.38 cores=1,3,5,7
/proc/1215/stat : 1215 (MistralXCSP) R 1212 1215 4525 0 -1 4202496 158281 0 0 0 2526 12 0 0 20 0 1 0 138906252 183853056 38457 18446744073709551615 4194304 7396336 140726476836464 140726476831000 4249471 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 20271104 140726476837299 140726476837448 140726476837448 140726476840905 0
/proc/1215/statm: 44886 38457 767 782 0 37902 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 179544

[startup+51.1004 s]
/proc/loadavg: 2.03 2.06 2.05 3/189 1217
/proc/meminfo: memFree=28923088/32770624 swapFree=0/434260
[pid=1215] ppid=1212 vsize=181260 CPUtime=50.98 cores=1,3,5,7
/proc/1215/stat : 1215 (MistralXCSP) R 1212 1215 4525 0 -1 4202496 184370 0 0 0 5085 13 0 0 20 0 1 0 138906252 185610240 38886 18446744073709551615 4194304 7396336 140726476836464 140726476831000 5792027 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 20271104 140726476837299 140726476837448 140726476837448 140726476840905 0
/proc/1215/statm: 45315 38886 767 782 0 38331 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 181260

[startup+102.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/186 1218
/proc/meminfo: memFree=28923780/32770624 swapFree=0/434268
[pid=1215] ppid=1212 vsize=183504 CPUtime=102.19 cores=1,3,5,7
/proc/1215/stat : 1215 (MistralXCSP) R 1212 1215 4525 0 -1 4202496 210970 0 0 0 10204 15 0 0 20 0 1 0 138906252 187908096 39410 18446744073709551615 4194304 7396336 140726476836464 140726476831000 4379138 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 20271104 140726476837299 140726476837448 140726476837448 140726476840905 0
/proc/1215/statm: 45876 39410 767 782 0 38892 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 183504

[startup+162.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/186 1220
/proc/meminfo: memFree=28923148/32770624 swapFree=0/434280
[pid=1215] ppid=1212 vsize=183900 CPUtime=162.18 cores=1,3,5,7
/proc/1215/stat : 1215 (MistralXCSP) R 1212 1215 4525 0 -1 4202496 237281 0 0 0 16201 17 0 0 20 0 1 0 138906252 188313600 39482 18446744073709551615 4194304 7396336 140726476836464 140726476831000 4581576 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 20271104 140726476837299 140726476837448 140726476837448 140726476840905 0
/proc/1215/statm: 45975 39482 767 782 0 38991 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 183900

[startup+222.306 s]
/proc/loadavg: 2.04 2.05 2.05 3/185 1222
/proc/meminfo: memFree=28922220/32770624 swapFree=0/434288
[pid=1215] ppid=1212 vsize=184692 CPUtime=222.18 cores=1,3,5,7
/proc/1215/stat : 1215 (MistralXCSP) R 1212 1215 4525 0 -1 4202496 263781 0 0 0 22200 18 0 0 20 0 1 0 138906252 189124608 39717 18446744073709551615 4194304 7396336 140726476836464 140726476831000 5792027 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 20271104 140726476837299 140726476837448 140726476837448 140726476840905 0
/proc/1215/statm: 46173 39717 767 782 0 39189 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 184692

[startup+282.3 s]
/proc/loadavg: 1.98 2.03 2.04 3/184 1224
/proc/meminfo: memFree=28921772/32770624 swapFree=0/434296
[pid=1215] ppid=1212 vsize=185220 CPUtime=282.18 cores=1,3,5,7
/proc/1215/stat : 1215 (MistralXCSP) R 1212 1215 4525 0 -1 4202496 290248 0 0 0 28199 19 0 0 20 0 1 0 138906252 189665280 39834 18446744073709551615 4194304 7396336 140726476836464 140726476831000 4581738 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 20271104 140726476837299 140726476837448 140726476837448 140726476840905 0
/proc/1215/statm: 46305 39834 767 782 0 39321 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 185220

[startup+342.3 s]
/proc/loadavg: 1.99 2.02 2.04 3/184 1226
/proc/meminfo: memFree=28921896/32770624 swapFree=0/434304
[pid=1215] ppid=1212 vsize=185352 CPUtime=342.18 cores=1,3,5,7
/proc/1215/stat : 1215 (MistralXCSP) R 1212 1215 4525 0 -1 4202496 316753 0 0 0 34197 21 0 0 20 0 1 0 138906252 189800448 39866 18446744073709551615 4194304 7396336 140726476836464 140726476831000 4547381 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 20271104 140726476837299 140726476837448 140726476837448 140726476840905 0
/proc/1215/statm: 46338 39866 767 782 0 39354 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 185352

[startup+402.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/184 1228
/proc/meminfo: memFree=28921928/32770624 swapFree=0/434312
[pid=1215] ppid=1212 vsize=185484 CPUtime=402.18 cores=1,3,5,7
/proc/1215/stat : 1215 (MistralXCSP) R 1212 1215 4525 0 -1 4202496 343255 0 0 0 40196 22 0 0 20 0 1 0 138906252 189935616 39924 18446744073709551615 4194304 7396336 140726476836464 140726476831000 5792074 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 20271104 140726476837299 140726476837448 140726476837448 140726476840905 0
/proc/1215/statm: 46371 39924 767 782 0 39387 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 185484

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 1231
/proc/meminfo: memFree=28921776/32770624 swapFree=0/434316
[pid=1215] ppid=1212 vsize=185616 CPUtime=462.17 cores=1,3,5,7
/proc/1215/stat : 1215 (MistralXCSP) R 1212 1215 4525 0 -1 4202496 369801 0 0 0 46195 22 0 0 20 0 1 0 138906252 190070784 39948 18446744073709551615 4194304 7396336 140726476836464 140726476831000 5792086 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 20271104 140726476837299 140726476837448 140726476837448 140726476840905 0
/proc/1215/statm: 46404 39948 767 782 0 39420 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 185616

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 1233
/proc/meminfo: memFree=28921560/32770624 swapFree=0/434328
[pid=1215] ppid=1212 vsize=185616 CPUtime=522.17 cores=1,3,5,7
/proc/1215/stat : 1215 (MistralXCSP) R 1212 1215 4525 0 -1 4202496 396337 0 0 0 52193 24 0 0 20 0 1 0 138906252 190070784 39979 18446744073709551615 4194304 7396336 140726476836464 140726476831000 5792030 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 20271104 140726476837299 140726476837448 140726476837448 140726476840905 0
/proc/1215/statm: 46404 39979 767 782 0 39420 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 185616

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1249
/proc/meminfo: memFree=28917016/32770624 swapFree=0/434352
[pid=1215] ppid=1212 vsize=186012 CPUtime=582.17 cores=1,3,5,7
/proc/1215/stat : 1215 (MistralXCSP) R 1212 1215 4525 0 -1 4202496 422970 0 0 0 58192 25 0 0 20 0 1 0 138906252 190476288 40051 18446744073709551615 4194304 7396336 140726476836464 140726476831000 5792030 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 20271104 140726476837299 140726476837448 140726476837448 140726476840905 0
/proc/1215/statm: 46503 40051 767 782 0 39519 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 186012


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


[startup+1602.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/185 1301
/proc/meminfo: memFree=28916876/32770624 swapFree=0/434496
[pid=1215] ppid=1212 vsize=187200 CPUtime=1602.11 cores=1,3,5,7
/proc/1215/stat : 1215 (MistralXCSP) R 1212 1215 4525 0 -1 4202496 583826 0 0 0 160176 35 0 0 20 0 1 0 138906252 191692800 40369 18446744073709551615 4194304 7396336 140726476836464 140726476831000 5792027 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 20271104 140726476837299 140726476837448 140726476837448 140726476840905 0
/proc/1215/statm: 46800 40369 767 782 0 39816 0
Current children cumulated CPU time (s) 1602.11
Current children cumulated vsize (KiB) 187200

[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/185 1304
/proc/meminfo: memFree=28916720/32770624 swapFree=0/434520
[pid=1215] ppid=1212 vsize=187200 CPUtime=1662.11 cores=1,3,5,7
/proc/1215/stat : 1215 (MistralXCSP) R 1212 1215 4525 0 -1 4202496 584823 0 0 0 166176 35 0 0 20 0 1 0 138906252 191692800 40374 18446744073709551615 4194304 7396336 140726476836464 140726476831000 4581738 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 20271104 140726476837299 140726476837448 140726476837448 140726476840905 0
/proc/1215/statm: 46800 40374 767 782 0 39816 0
Current children cumulated CPU time (s) 1662.11
Current children cumulated vsize (KiB) 187200

[startup+1722.3 s]
/proc/loadavg: 2.13 2.05 2.05 3/185 1306
/proc/meminfo: memFree=28916848/32770624 swapFree=0/434532
[pid=1215] ppid=1212 vsize=187200 CPUtime=1722.11 cores=1,3,5,7
/proc/1215/stat : 1215 (MistralXCSP) R 1212 1215 4525 0 -1 4202496 585819 0 0 0 172176 35 0 0 20 0 1 0 138906252 191692800 40374 18446744073709551615 4194304 7396336 140726476836464 140726476831000 4246639 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 20271104 140726476837299 140726476837448 140726476837448 140726476840905 0
/proc/1215/statm: 46800 40374 767 782 0 39816 0
Current children cumulated CPU time (s) 1722.11
Current children cumulated vsize (KiB) 187200

[startup+1782.3 s]
/proc/loadavg: 1.97 2.01 2.04 3/188 1323
/proc/meminfo: memFree=28912588/32770624 swapFree=0/434572
[pid=1215] ppid=1212 vsize=187376 CPUtime=1782.1 cores=1,3,5,7
/proc/1215/stat : 1215 (MistralXCSP) R 1212 1215 4525 0 -1 4202496 586836 0 0 0 178175 35 0 0 20 0 1 0 138906252 191873024 40385 18446744073709551615 4194304 7396336 140726476836464 140726476831096 4253024 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 20271104 140726476837299 140726476837448 140726476837448 140726476840905 0
/proc/1215/statm: 46844 40385 770 782 0 39860 0
Current children cumulated CPU time (s) 1782.1
Current children cumulated vsize (KiB) 187376

[startup+1842.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/185 1325
/proc/meminfo: memFree=28916084/32770624 swapFree=0/434584
[pid=1215] ppid=1212 vsize=187376 CPUtime=1842.1 cores=1,3,5,7
/proc/1215/stat : 1215 (MistralXCSP) R 1212 1215 4525 0 -1 4202496 587771 0 0 0 184175 35 0 0 20 0 1 0 138906252 191873024 40392 18446744073709551615 4194304 7396336 140726476836464 140726476831096 5792027 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 20271104 140726476837299 140726476837448 140726476837448 140726476840905 0
/proc/1215/statm: 46844 40392 770 782 0 39860 0
Current children cumulated CPU time (s) 1842.1
Current children cumulated vsize (KiB) 187376

[startup+1902.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/185 1327
/proc/meminfo: memFree=28916044/32770624 swapFree=0/434592
[pid=1215] ppid=1212 vsize=187376 CPUtime=1902.1 cores=1,3,5,7
/proc/1215/stat : 1215 (MistralXCSP) R 1212 1215 4525 0 -1 4202496 588706 0 0 0 190175 35 0 0 20 0 1 0 138906252 191873024 40393 18446744073709551615 4194304 7396336 140726476836464 140726476831096 4252992 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 20271104 140726476837299 140726476837448 140726476837448 140726476840905 0
/proc/1215/statm: 46844 40393 770 782 0 39860 0
Current children cumulated CPU time (s) 1902.1
Current children cumulated vsize (KiB) 187376

[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 1329
/proc/meminfo: memFree=28916172/32770624 swapFree=0/434600
[pid=1215] ppid=1212 vsize=187508 CPUtime=1962.1 cores=1,3,5,7
/proc/1215/stat : 1215 (MistralXCSP) R 1212 1215 4525 0 -1 4202496 589700 0 0 0 196175 35 0 0 20 0 1 0 138906252 192008192 40423 18446744073709551615 4194304 7396336 140726476836464 140726476831000 5792007 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 20271104 140726476837299 140726476837448 140726476837448 140726476840905 0
/proc/1215/statm: 46877 40423 770 782 0 39893 0
Current children cumulated CPU time (s) 1962.1
Current children cumulated vsize (KiB) 187508

[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 1332
/proc/meminfo: memFree=28916500/32770624 swapFree=0/434612
[pid=1215] ppid=1212 vsize=187640 CPUtime=2022.1 cores=1,3,5,7
/proc/1215/stat : 1215 (MistralXCSP) R 1212 1215 4525 0 -1 4202496 590705 0 0 0 202175 35 0 0 20 0 1 0 138906252 192143360 40456 18446744073709551615 4194304 7396336 140726476836464 140726476831000 4264062 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 20271104 140726476837299 140726476837448 140726476837448 140726476840905 0
/proc/1215/statm: 46910 40456 770 782 0 39926 0
Current children cumulated CPU time (s) 2022.1
Current children cumulated vsize (KiB) 187640

[startup+2082.3 s]
/proc/loadavg: 1.96 2.00 2.04 3/185 1395
/proc/meminfo: memFree=30804992/32770624 swapFree=0/434636
[pid=1215] ppid=1212 vsize=187640 CPUtime=2082.11 cores=1,3,5,7
/proc/1215/stat : 1215 (MistralXCSP) R 1212 1215 4525 0 -1 4202496 591707 0 0 0 208175 36 0 0 20 0 1 0 138906252 192143360 40460 18446744073709551615 4194304 7396336 140726476836464 140726476831000 5792137 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 20271104 140726476837299 140726476837448 140726476837448 140726476840905 0
/proc/1215/statm: 46910 40460 770 782 0 39926 0
Current children cumulated CPU time (s) 2082.11
Current children cumulated vsize (KiB) 187640

[startup+2142.3 s]
/proc/loadavg: 1.94 1.98 2.03 3/185 1397
/proc/meminfo: memFree=30546252/32770624 swapFree=0/434652
[pid=1215] ppid=1212 vsize=187640 CPUtime=2142.1 cores=1,3,5,7
/proc/1215/stat : 1215 (MistralXCSP) R 1212 1215 4525 0 -1 4202496 592707 0 0 0 214174 36 0 0 20 0 1 0 138906252 192143360 40461 18446744073709551615 4194304 7396336 140726476836464 140726476831000 4581523 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 20271104 140726476837299 140726476837448 140726476837448 140726476840905 0
/proc/1215/statm: 46910 40461 770 782 0 39926 0
Current children cumulated CPU time (s) 2142.1
Current children cumulated vsize (KiB) 187640

[startup+2202.31 s]
/proc/loadavg: 1.98 1.99 2.03 3/185 1399
/proc/meminfo: memFree=30411656/32770624 swapFree=0/434652
[pid=1215] ppid=1212 vsize=187640 CPUtime=2202.11 cores=1,3,5,7
/proc/1215/stat : 1215 (MistralXCSP) R 1212 1215 4525 0 -1 4202496 593266 0 0 0 220175 36 0 0 20 0 1 0 138906252 192143360 40461 18446744073709551615 4194304 7396336 140726476836464 140726476831000 4379153 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 20271104 140726476837299 140726476837448 140726476837448 140726476840905 0
/proc/1215/statm: 46910 40461 770 782 0 39926 0
Current children cumulated CPU time (s) 2202.11
Current children cumulated vsize (KiB) 187640

[startup+2262.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/185 1401
/proc/meminfo: memFree=30331648/32770624 swapFree=0/434668
[pid=1215] ppid=1212 vsize=187640 CPUtime=2262.1 cores=1,3,5,7
/proc/1215/stat : 1215 (MistralXCSP) R 1212 1215 4525 0 -1 4202496 593825 0 0 0 226174 36 0 0 20 0 1 0 138906252 192143360 40461 18446744073709551615 4194304 7396336 140726476836464 140726476831000 5792030 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 20271104 140726476837299 140726476837448 140726476837448 140726476840905 0
/proc/1215/statm: 46910 40461 770 782 0 39926 0
Current children cumulated CPU time (s) 2262.1
Current children cumulated vsize (KiB) 187640

[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/184 1403
/proc/meminfo: memFree=30254560/32770624 swapFree=0/434680
[pid=1215] ppid=1212 vsize=187640 CPUtime=2322.1 cores=1,3,5,7
/proc/1215/stat : 1215 (MistralXCSP) R 1212 1215 4525 0 -1 4202496 594379 0 0 0 232174 36 0 0 20 0 1 0 138906252 192143360 40463 18446744073709551615 4194304 7396336 140726476836464 140726476831000 4249727 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 20271104 140726476837299 140726476837448 140726476837448 140726476840905 0
/proc/1215/statm: 46910 40463 770 782 0 39926 0
Current children cumulated CPU time (s) 2322.1
Current children cumulated vsize (KiB) 187640

[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 1420
/proc/meminfo: memFree=30088288/32770624 swapFree=0/434664
[pid=1215] ppid=1212 vsize=187904 CPUtime=2382.1 cores=1,3,5,7
/proc/1215/stat : 1215 (MistralXCSP) R 1212 1215 4525 0 -1 4202496 595009 0 0 0 238174 36 0 0 20 0 1 0 138906252 192413696 40466 18446744073709551615 4194304 7396336 140726476836464 140726476831000 5792027 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 20271104 140726476837299 140726476837448 140726476837448 140726476840905 0
/proc/1215/statm: 46976 40466 770 782 0 39992 0
Current children cumulated CPU time (s) 2382.1
Current children cumulated vsize (KiB) 187904

[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 1422
/proc/meminfo: memFree=30091668/32770624 swapFree=0/434676
[pid=1215] ppid=1212 vsize=187904 CPUtime=2442.1 cores=1,3,5,7
/proc/1215/stat : 1215 (MistralXCSP) R 1212 1215 4525 0 -1 4202496 595633 0 0 0 244174 36 0 0 20 0 1 0 138906252 192413696 40526 18446744073709551615 4194304 7396336 140726476836464 140726476831000 5165805 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 20271104 140726476837299 140726476837448 140726476837448 140726476840905 0
/proc/1215/statm: 46976 40526 770 782 0 39992 0
Current children cumulated CPU time (s) 2442.1
Current children cumulated vsize (KiB) 187904

[startup+2502.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/186 1425
/proc/meminfo: memFree=30091808/32770624 swapFree=0/434684
[pid=1215] ppid=1212 vsize=188036 CPUtime=2502.1 cores=1,3,5,7
/proc/1215/stat : 1215 (MistralXCSP) R 1212 1215 4525 0 -1 4202496 596298 0 0 0 250174 36 0 0 20 0 1 0 138906252 192548864 40539 18446744073709551615 4194304 7396336 140726476836464 140726476831000 5792027 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 20271104 140726476837299 140726476837448 140726476837448 140726476840905 0
/proc/1215/statm: 47009 40539 770 782 0 40025 0
Current children cumulated CPU time (s) 2502.1
Current children cumulated vsize (KiB) 188036



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.00 1.99 2.03 3/186 1426
/proc/meminfo: memFree=30091900/32770624 swapFree=0/434676
[pid=1215] ppid=1212 vsize=188036 CPUtime=2519.8 cores=1,3,5,7
/proc/1215/stat : 1215 (MistralXCSP) R 1212 1215 4525 0 -1 4202496 596953 0 0 0 251944 36 0 0 20 0 1 0 138906252 192548864 40567 18446744073709551615 4194304 7396336 140726476836464 140726476831000 5792027 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 20271104 140726476837299 140726476837448 140726476837448 140726476840905 0
/proc/1215/statm: 47009 40567 770 782 0 40025 0
Current children cumulated CPU time (s) 2519.8
Current children cumulated vsize (KiB) 188036

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

Child status: 0
Real time (s): 2520
CPU time (s): 2519.81
CPU user time (s): 2519.44
CPU system time (s): 0.364993
CPU usage (%): 99.9922
Max. virtual memory (cumulated for all children) (KiB): 188036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.44
system time used= 0.364993
maximum resident set size= 162268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 596993
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= 74
involuntary context switches= 941

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.99256 second user time and 11.4954 second system time

The end

Launcher Data 

Begin job on node132 at 2017-08-10 21:01:10
IDJOB=4260845
IDBENCH=137104
IDSOLVER=2649
FILE ID=node132/4260845-1502392533
RUNJOBID= node132-1502333491-25568
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= Mistral-2.0 2017-07-28
BENCH NAME= XCSP17/BinPacking/BinPacking-mdd-sw120/BinPacking-mdd-sw120-30.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-4260845-1502392533/watcher-4260845-1502392533 -o /tmp/evaluation-result-4260845-1502392533/solver-4260845-1502392533 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502333491-25568 --watchdog 2580  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 319929224 HOME/instance-4260845-1502392533.xml

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

MD5SUM BENCH= 1730b431530ce221acf4898e37ce65f9
RANDOM SEED=319929224

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29074844 kB
MemAvailable:   29858632 kB
Buffers:          283712 kB
Cached:           803308 kB
SwapCached:            0 kB
Active:          2781760 kB
Inactive:         475060 kB
Active(anon):    2170632 kB
Inactive(anon):    40820 kB
Active(file):     611128 kB
Inactive(file):   434240 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              6324 kB
Writeback:             4 kB
AnonPages:       2169516 kB
Mapped:            60476 kB
Shmem:             41660 kB
Slab:             135208 kB
SReclaimable:     108508 kB
SUnreclaim:        26700 kB
KernelStack:        3360 kB
PageTables:         9604 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2447000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    704512 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= 62020 MiB
End job on node132 at 2017-08-10 21:43:10