Trace number 4260870

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)6 2519.6799 2520

General information on the benchmark

NameBinPacking/
BinPacking-tab-ft/BinPacking-tab-ft120-19.xml
MD5SUM90a7b6352cefaac33401a11faadaca46
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark2400.07
Satisfiable
(Un)Satisfiability was proved
Number of variables142
Number of constraints50
Number of domains2
Minimum domain size48
Maximum domain size88
Distribution of domain sizes[{"size":48,"count":1},{"size":88,"count":141}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":94},{"degree":4,"count":47}]
Minimum constraint arity3
Maximum constraint arity141
Distribution of constraint arities[{"arity":3,"count":47},{"arity":48,"count":1},{"arity":141,"count":2}]
Number of extensional constraints47
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":47},{"type":"lex","count":1},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problemYES
Type of objectivemax VAR

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.07	c 280717
1392.67/1392.99	o 0
1395.27/1395.52	o 1
1395.27/1395.57	o 2
1395.97/1396.29	o 3
1396.07/1396.34	o 4
1396.17/1396.48	o 5
1396.47/1396.71	o 6
2519.67/2520.00	s SATISFIABLE
2519.67/2520.00	v <instantiation type="solution">
2519.67/2520.00	v   <list> x b[0][0] b[0][1] b[0][2] b[1][0] b[1][1] b[1][2] b[2][0] b[2][1] b[2][2] b[3][0] b[3][1] b[3][2] b[4][0] b[4][1] b[4][2] b[5][0] b[5][1] b[5][2] b[6][0] b[6][1] b[6][2] b[7][0] b[7][1] b[7][2] b[8][0] b[8][1] b[8][2] b[9][0] b[9][1] b[9][2] b[10][0] b[10][1] b[10][2] b[11][0] b[11][1] b[11][2] b[12][0] b[12][1] b[12][2] b[13][0] b[13][1] b[13][2] b[14][0] b[14][1] b[14][2] b[15][0] b[15][1] b[15][2] b[16][0] b[16][1] b[16][2] b[17][0] b[17][1] b[17][2] b[18][0] b[18][1] b[18][2] b[19][0] b[19][1] b[19][2] b[20][0] b[20][1] b[20][2] b[21][0] b[21][1] b[21][2] b[22][0] b[22][1] b[22][2] b[23][0] b[23][1] b[23][2] b[24][0] b[24][1] b[24][2] b[25][0] b[25][1] b[25][2] b[26][0] b[26][1] b[26][2] b[27][0] b[27][1] b[27][2] b[28][0] b[28][1] b[28][2] b[29][0] b[29][1] b[29][2] b[30][0] b[30][1] b[30][2] b[31][0] b[31][1] b[31][2] b[32][0] b[32][1] b[32][2] b[33][0] b[33][1] b[33][2] b[34][0] b[34][1] b[34][2] b[35][0] b[35][1] b[35][2] b[36][0] b[36][1] b[36][2] b[37][0] b[37][1] b[37][2] b[38][0] b[38][1] b[38][2] b[39][0] b[39][1] b[39][2] b[40][0] b[40][1] b[40][2] b[41][0] b[41][1] b[41][2] b[42][0] b[42][1] b[42][2] b[43][0] b[43][1] b[43][2] b[44][0] b[44][1] b[44][2] b[45][0] b[45][1] b[45][2] b[46][0] b[46][1] b[46][2] </list>
2519.67/2520.00	v   <values> 6 499 251 250 497 253 250 496 251 251 492 254 254 491 255 254 486 260 253 484 258 256 479 265 256 476 265 253 472 270 257 469 268 259 468 273 259 467 272 261 460 271 0 456 250 0 450 442 0 434 271 271 430 269 269 426 253 253 418 305 276 418 291 291 416 296 288 410 309 274 407 331 260 405 309 282 399 326 275 395 309 296 390 309 301 390 273 267 386 315 276 381 340 279 380 333 281 380 330 275 379 320 298 374 369 257 371 352 276 367 333 300 364 358 277 350 337 292 345 321 309 341 330 319 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
2519.67/2520.00	v </instantiation>

Verifier Data 

OK	6

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

pid=788
running on 4 cores: 0,2,4,6

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.15 2.05 2.03 4/188 791
/proc/meminfo: memFree=31170028/32770624 swapFree=0/433432
[pid=791] ppid=788 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/791/stat : 791 (runsolver) D 788 791 4525 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 138608281 24240128 106 18446744073709551615 4194304 4338465 140731780163344 140731780160984 140281695498967 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 15523840 140731780165771 140731780166217 140731780166217 140731780169674 0
/proc/791/statm: 5918 106 53 36 0 2156 0

[startup+0.100197 s]
/proc/loadavg: 2.15 2.05 2.03 4/188 791
/proc/meminfo: memFree=31170028/32770624 swapFree=0/433432
[pid=791] ppid=788 vsize=29608 CPUtime=0.03 cores=0,2,4,6
/proc/791/stat : 791 (MistralXCSP) R 788 791 4525 0 -1 4202496 1140 0 0 0 3 0 0 0 20 0 1 0 138608281 30318592 934 18446744073709551615 4194304 7396336 140721837188112 140721837185112 5955129 0 0 1 0 0 0 0 17 4 0 0 6 0 0 9496464 9501696 33710080 140721837191603 140721837191752 140721837191752 140721837195209 0
/proc/791/statm: 7402 934 612 782 0 418 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29608

[startup+0.20034 s]
/proc/loadavg: 2.15 2.05 2.03 4/188 791
/proc/meminfo: memFree=31170028/32770624 swapFree=0/433432
[pid=791] ppid=788 vsize=30844 CPUtime=0.13 cores=0,2,4,6
/proc/791/stat : 791 (MistralXCSP) R 788 791 4525 0 -1 4202496 1622 0 0 0 13 0 0 0 20 0 1 0 138608281 31584256 1308 18446744073709551615 4194304 7396336 140721837188112 140721837185112 140152260111360 0 0 1 0 0 0 0 17 4 0 0 6 0 0 9496464 9501696 33710080 140721837191603 140721837191752 140721837191752 140721837195209 0
/proc/791/statm: 7711 1308 612 782 0 727 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 30844

[startup+0.30034 s]
/proc/loadavg: 2.15 2.05 2.03 4/188 791
/proc/meminfo: memFree=31170028/32770624 swapFree=0/433432
[pid=791] ppid=788 vsize=68364 CPUtime=0.22 cores=0,2,4,6
/proc/791/stat : 791 (MistralXCSP) R 788 791 4525 0 -1 4202496 11093 0 0 0 21 1 0 0 20 0 1 0 138608281 70004736 10574 18446744073709551615 4194304 7396336 140721837188112 140721837185112 140152259721120 0 0 1 0 0 0 0 17 4 0 0 6 0 0 9496464 9501696 33710080 140721837191603 140721837191752 140721837191752 140721837195209 0
/proc/791/statm: 17125 10574 641 782 0 10141 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 68364

[startup+0.700358 s]
/proc/loadavg: 2.15 2.05 2.03 4/188 791
/proc/meminfo: memFree=31170028/32770624 swapFree=0/433432
[pid=791] ppid=788 vsize=264472 CPUtime=0.62 cores=0,2,4,6
/proc/791/stat : 791 (MistralXCSP) R 788 791 4525 0 -1 4202496 60508 0 0 0 55 7 0 0 20 0 1 0 138608281 270819328 59735 18446744073709551615 4194304 7396336 140721837188112 140721837185112 4565880 0 0 1 0 0 0 0 17 4 0 0 6 0 0 9496464 9501696 33710080 140721837191603 140721837191752 140721837191752 140721837195209 0
/proc/791/statm: 66118 59735 659 782 0 59134 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 264472

[startup+1.50037 s]
/proc/loadavg: 2.15 2.05 2.03 3/189 792
/proc/meminfo: memFree=30927636/32770624 swapFree=0/433704
[pid=791] ppid=788 vsize=270564 CPUtime=1.42 cores=0,2,4,6
/proc/791/stat : 791 (MistralXCSP) R 788 791 4525 0 -1 4202496 62166 0 0 0 135 7 0 0 20 0 1 0 138608281 277057536 61385 18446744073709551615 4194304 7396336 140721837188112 140721837182648 5578112 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 33710080 140721837191603 140721837191752 140721837191752 140721837195209 0
/proc/791/statm: 67641 61385 762 782 0 60657 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 270564

[startup+3.10039 s]
/proc/loadavg: 2.15 2.05 2.03 3/189 792
/proc/meminfo: memFree=30927140/32770624 swapFree=0/433704
[pid=791] ppid=788 vsize=270968 CPUtime=3.02 cores=0,2,4,6
/proc/791/stat : 791 (MistralXCSP) R 788 791 4525 0 -1 4202496 98363 0 0 0 293 9 0 0 20 0 1 0 138608281 277471232 61504 18446744073709551615 4194304 7396336 140721837188112 140721837182680 5792030 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 33710080 140721837191603 140721837191752 140721837191752 140721837195209 0
/proc/791/statm: 67742 61504 762 782 0 60758 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 270968

[startup+6.30038 s]
/proc/loadavg: 2.14 2.05 2.03 3/189 792
/proc/meminfo: memFree=30925704/32770624 swapFree=0/433708
[pid=791] ppid=788 vsize=271964 CPUtime=6.22 cores=0,2,4,6
/proc/791/stat : 791 (MistralXCSP) R 788 791 4525 0 -1 4202496 137464 0 0 0 611 11 0 0 20 0 1 0 138608281 278491136 61732 18446744073709551615 4194304 7396336 140721837188112 140721837182648 5792030 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 33710080 140721837191603 140721837191752 140721837191752 140721837195209 0
/proc/791/statm: 67991 61732 762 782 0 61007 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 271964

[startup+12.7004 s]
/proc/loadavg: 2.13 2.05 2.03 3/187 792
/proc/meminfo: memFree=30924484/32770624 swapFree=0/433696
[pid=791] ppid=788 vsize=273020 CPUtime=12.62 cores=0,2,4,6
/proc/791/stat : 791 (MistralXCSP) R 788 791 4525 0 -1 4202496 177608 0 0 0 1249 13 0 0 20 0 1 0 138608281 279572480 62002 18446744073709551615 4194304 7396336 140721837188112 140721837182648 5649694 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 33710080 140721837191603 140721837191752 140721837191752 140721837195209 0
/proc/791/statm: 68255 62002 762 782 0 61271 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 273020

[startup+25.5004 s]
/proc/loadavg: 2.10 2.04 2.03 3/186 793
/proc/meminfo: memFree=30925904/32770624 swapFree=0/433688
[pid=791] ppid=788 vsize=273416 CPUtime=25.41 cores=0,2,4,6
/proc/791/stat : 791 (MistralXCSP) R 788 791 4525 0 -1 4202496 250256 0 0 0 2524 17 0 0 20 0 1 0 138608281 279977984 62091 18446744073709551615 4194304 7396336 140721837188112 140721837182648 4406356 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 33710080 140721837191603 140721837191752 140721837191752 140721837195209 0
/proc/791/statm: 68354 62091 762 782 0 61370 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 273416

[startup+51.1004 s]
/proc/loadavg: 2.06 2.04 2.03 3/186 793
/proc/meminfo: memFree=30921220/32770624 swapFree=0/433684
[pid=791] ppid=788 vsize=277964 CPUtime=51.01 cores=0,2,4,6
/proc/791/stat : 791 (MistralXCSP) R 788 791 4525 0 -1 4202496 283457 0 0 0 5082 19 0 0 20 0 1 0 138608281 284635136 63239 18446744073709551615 4194304 7396336 140721837188112 140721837182648 5576608 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 33710080 140721837191603 140721837191752 140721837191752 140721837195209 0
/proc/791/statm: 69491 63239 762 782 0 62507 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 277964

[startup+102.3 s]
/proc/loadavg: 2.03 2.04 2.03 3/186 795
/proc/meminfo: memFree=30921496/32770624 swapFree=0/433708
[pid=791] ppid=788 vsize=277964 CPUtime=102.21 cores=0,2,4,6
/proc/791/stat : 791 (MistralXCSP) R 788 791 4525 0 -1 4202496 301337 0 0 0 10201 20 0 0 20 0 1 0 138608281 284635136 63239 18446744073709551615 4194304 7396336 140721837188112 140721837182648 5792030 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 33710080 140721837191603 140721837191752 140721837191752 140721837195209 0
/proc/791/statm: 69491 63239 762 782 0 62507 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 277964

[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.03 3/185 797
/proc/meminfo: memFree=30921892/32770624 swapFree=0/433708
[pid=791] ppid=788 vsize=277964 CPUtime=162.19 cores=0,2,4,6
/proc/791/stat : 791 (MistralXCSP) R 788 791 4525 0 -1 4202496 314932 0 0 0 16198 21 0 0 20 0 1 0 138608281 284635136 63239 18446744073709551615 4194304 7396336 140721837188112 140721837182648 4249476 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 33710080 140721837191603 140721837191752 140721837191752 140721837195209 0
/proc/791/statm: 69491 63239 762 782 0 62507 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 277964

[startup+222.306 s]
/proc/loadavg: 1.95 2.01 2.03 3/184 799
/proc/meminfo: memFree=30922532/32770624 swapFree=0/433712
[pid=791] ppid=788 vsize=277964 CPUtime=222.19 cores=0,2,4,6
/proc/791/stat : 791 (MistralXCSP) R 788 791 4525 0 -1 4202496 315937 0 0 0 22198 21 0 0 20 0 1 0 138608281 284635136 63239 18446744073709551615 4194304 7396336 140721837188112 140721837182648 5792030 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 33710080 140721837191603 140721837191752 140721837191752 140721837195209 0
/proc/791/statm: 69491 63239 762 782 0 62507 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 277964

[startup+282.3 s]
/proc/loadavg: 2.11 2.04 2.04 3/184 801
/proc/meminfo: memFree=30922148/32770624 swapFree=0/433724
[pid=791] ppid=788 vsize=277964 CPUtime=282.18 cores=0,2,4,6
/proc/791/stat : 791 (MistralXCSP) R 788 791 4525 0 -1 4202496 316940 0 0 0 28197 21 0 0 20 0 1 0 138608281 284635136 63239 18446744073709551615 4194304 7396336 140721837188112 140721837182648 4582542 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 33710080 140721837191603 140721837191752 140721837191752 140721837195209 0
/proc/791/statm: 69491 63239 762 782 0 62507 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 277964

[startup+342.3 s]
/proc/loadavg: 2.04 2.03 2.04 3/185 804
/proc/meminfo: memFree=30922364/32770624 swapFree=0/433732
[pid=791] ppid=788 vsize=278096 CPUtime=342.17 cores=0,2,4,6
/proc/791/stat : 791 (MistralXCSP) R 788 791 4525 0 -1 4202496 317972 0 0 0 34196 21 0 0 20 0 1 0 138608281 284770304 63255 18446744073709551615 4194304 7396336 140721837188112 140721837182648 5628519 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 33710080 140721837191603 140721837191752 140721837191752 140721837195209 0
/proc/791/statm: 69524 63255 762 782 0 62540 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 278096

[startup+402.3 s]
/proc/loadavg: 2.02 2.03 2.04 3/185 806
/proc/meminfo: memFree=30922116/32770624 swapFree=0/433752
[pid=791] ppid=788 vsize=278096 CPUtime=402.17 cores=0,2,4,6
/proc/791/stat : 791 (MistralXCSP) R 788 791 4525 0 -1 4202496 319024 0 0 0 40196 21 0 0 20 0 1 0 138608281 284770304 63276 18446744073709551615 4194304 7396336 140721837188112 140721837182648 4246577 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 33710080 140721837191603 140721837191752 140721837191752 140721837195209 0
/proc/791/statm: 69524 63276 762 782 0 62540 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 278096

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.04 3/185 872
/proc/meminfo: memFree=30903288/32770624 swapFree=0/433788
[pid=791] ppid=788 vsize=278492 CPUtime=462.17 cores=0,2,4,6
/proc/791/stat : 791 (MistralXCSP) R 788 791 4525 0 -1 4202496 320162 0 0 0 46195 22 0 0 20 0 1 0 138608281 285175808 63340 18446744073709551615 4194304 7396336 140721837188112 140721837182648 5792027 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 33710080 140721837191603 140721837191752 140721837191752 140721837195209 0
/proc/791/statm: 69623 63340 762 782 0 62639 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 278492

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/189 889
/proc/meminfo: memFree=30897308/32770624 swapFree=0/433808
[pid=791] ppid=788 vsize=278624 CPUtime=522.16 cores=0,2,4,6
/proc/791/stat : 791 (MistralXCSP) R 788 791 4525 0 -1 4202496 321355 0 0 0 52194 22 0 0 20 0 1 0 138608281 285310976 63397 18446744073709551615 4194304 7396336 140721837188112 140721837182648 5792027 0 0 1 16386 0 0 0 17 0 0 0 6 0 0 9496464 9501696 33710080 140721837191603 140721837191752 140721837191752 140721837195209 0
/proc/791/statm: 69656 63397 762 782 0 62672 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 278624

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/189 891
/proc/meminfo: memFree=30896976/32770624 swapFree=0/433836
[pid=791] ppid=788 vsize=280604 CPUtime=582.15 cores=0,2,4,6
/proc/791/stat : 791 (MistralXCSP) R 788 791 4525 0 -1 4202496 323023 0 0 0 58193 22 0 0 20 0 1 0 138608281 287338496 63851 18446744073709551615 4194304 7396336 140721837188112 140721837182648 5792030 0 0 1 16386 0 0 0 17 0 0 0 6 0 0 9496464 9501696 33710080 140721837191603 140721837191752 140721837191752 140721837195209 0
/proc/791/statm: 70151 63851 762 782 0 63167 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 280604


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


[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 949
/proc/meminfo: memFree=30899128/32770624 swapFree=0/434008
[pid=791] ppid=788 vsize=281924 CPUtime=1602.06 cores=0,2,4,6
/proc/791/stat : 791 (MistralXCSP) R 788 791 4525 0 -1 4202496 337984 0 0 0 160182 24 0 0 20 0 1 0 138608281 288690176 64247 18446744073709551615 4194304 7396336 140721837188112 140721837183128 5792270 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 33710080 140721837191603 140721837191752 140721837191752 140721837195209 0
/proc/791/statm: 70481 64247 765 782 0 63497 0
Current children cumulated CPU time (s) 1602.06
Current children cumulated vsize (KiB) 281924

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 951
/proc/meminfo: memFree=30899332/32770624 swapFree=0/434020
[pid=791] ppid=788 vsize=281924 CPUtime=1662.05 cores=0,2,4,6
/proc/791/stat : 791 (MistralXCSP) R 788 791 4525 0 -1 4202496 338729 0 0 0 166181 24 0 0 20 0 1 0 138608281 288690176 64247 18446744073709551615 4194304 7396336 140721837188112 140721837183128 5792030 0 0 1 16386 0 0 0 17 0 0 0 6 0 0 9496464 9501696 33710080 140721837191603 140721837191752 140721837191752 140721837195209 0
/proc/791/statm: 70481 64247 765 782 0 63497 0
Current children cumulated CPU time (s) 1662.05
Current children cumulated vsize (KiB) 281924

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 971
/proc/meminfo: memFree=30894032/32770624 swapFree=0/434036
[pid=791] ppid=788 vsize=281924 CPUtime=1722.04 cores=0,2,4,6
/proc/791/stat : 791 (MistralXCSP) R 788 791 4525 0 -1 4202496 339476 0 0 0 172180 24 0 0 20 0 1 0 138608281 288690176 64247 18446744073709551615 4194304 7396336 140721837188112 140721837183128 4252486 0 0 1 16386 0 0 0 17 0 0 0 6 0 0 9496464 9501696 33710080 140721837191603 140721837191752 140721837191752 140721837195209 0
/proc/791/statm: 70481 64247 765 782 0 63497 0
Current children cumulated CPU time (s) 1722.04
Current children cumulated vsize (KiB) 281924

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 973
/proc/meminfo: memFree=30893540/32770624 swapFree=0/434048
[pid=791] ppid=788 vsize=281924 CPUtime=1782.03 cores=0,2,4,6
/proc/791/stat : 791 (MistralXCSP) R 788 791 4525 0 -1 4202496 340228 0 0 0 178179 24 0 0 20 0 1 0 138608281 288690176 64247 18446744073709551615 4194304 7396336 140721837188112 140721837183128 5576665 0 0 1 16386 0 0 0 17 0 0 0 6 0 0 9496464 9501696 33710080 140721837191603 140721837191752 140721837191752 140721837195209 0
/proc/791/statm: 70481 64247 765 782 0 63497 0
Current children cumulated CPU time (s) 1782.03
Current children cumulated vsize (KiB) 281924

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 974
/proc/meminfo: memFree=30896580/32770624 swapFree=0/434052
[pid=791] ppid=788 vsize=281924 CPUtime=1842.03 cores=0,2,4,6
/proc/791/stat : 791 (MistralXCSP) R 788 791 4525 0 -1 4202496 340976 0 0 0 184179 24 0 0 20 0 1 0 138608281 288690176 64247 18446744073709551615 4194304 7396336 140721837188112 140721837183128 5614053 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 33710080 140721837191603 140721837191752 140721837191752 140721837195209 0
/proc/791/statm: 70481 64247 765 782 0 63497 0
Current children cumulated CPU time (s) 1842.03
Current children cumulated vsize (KiB) 281924

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 978
/proc/meminfo: memFree=30897644/32770624 swapFree=0/434088
[pid=791] ppid=788 vsize=281924 CPUtime=1902.02 cores=0,2,4,6
/proc/791/stat : 791 (MistralXCSP) R 788 791 4525 0 -1 4202496 341724 0 0 0 190178 24 0 0 20 0 1 0 138608281 288690176 64247 18446744073709551615 4194304 7396336 140721837188112 140721837183128 5792030 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 33710080 140721837191603 140721837191752 140721837191752 140721837195209 0
/proc/791/statm: 70481 64247 765 782 0 63497 0
Current children cumulated CPU time (s) 1902.02
Current children cumulated vsize (KiB) 281924

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 979
/proc/meminfo: memFree=30897772/32770624 swapFree=0/434076
[pid=791] ppid=788 vsize=281924 CPUtime=1962.02 cores=0,2,4,6
/proc/791/stat : 791 (MistralXCSP) R 788 791 4525 0 -1 4202496 342468 0 0 0 196178 24 0 0 20 0 1 0 138608281 288690176 64247 18446744073709551615 4194304 7396336 140721837188112 140721837183128 5792074 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 33710080 140721837191603 140721837191752 140721837191752 140721837195209 0
/proc/791/statm: 70481 64247 765 782 0 63497 0
Current children cumulated CPU time (s) 1962.02
Current children cumulated vsize (KiB) 281924

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 981
/proc/meminfo: memFree=30898012/32770624 swapFree=0/434084
[pid=791] ppid=788 vsize=281924 CPUtime=2022.01 cores=0,2,4,6
/proc/791/stat : 791 (MistralXCSP) R 788 791 4525 0 -1 4202496 343223 0 0 0 202177 24 0 0 20 0 1 0 138608281 288690176 64247 18446744073709551615 4194304 7396336 140721837188112 140721837183128 5586494 0 0 1 16386 0 0 0 17 0 0 0 6 0 0 9496464 9501696 33710080 140721837191603 140721837191752 140721837191752 140721837195209 0
/proc/791/statm: 70481 64247 765 782 0 63497 0
Current children cumulated CPU time (s) 2022.01
Current children cumulated vsize (KiB) 281924

[startup+2082.3 s]
/proc/loadavg: 1.95 2.00 2.04 3/186 984
/proc/meminfo: memFree=30898120/32770624 swapFree=0/434084
[pid=791] ppid=788 vsize=281924 CPUtime=2082.01 cores=0,2,4,6
/proc/791/stat : 791 (MistralXCSP) R 788 791 4525 0 -1 4202496 343979 0 0 0 208177 24 0 0 20 0 1 0 138608281 288690176 64247 18446744073709551615 4194304 7396336 140721837188112 140721837183128 5575964 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 33710080 140721837191603 140721837191752 140721837191752 140721837195209 0
/proc/791/statm: 70481 64247 765 782 0 63497 0
Current children cumulated CPU time (s) 2082.01
Current children cumulated vsize (KiB) 281924

[startup+2142.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/185 985
/proc/meminfo: memFree=30898188/32770624 swapFree=0/434096
[pid=791] ppid=788 vsize=281924 CPUtime=2142 cores=0,2,4,6
/proc/791/stat : 791 (MistralXCSP) R 788 791 4525 0 -1 4202496 344729 0 0 0 214176 24 0 0 20 0 1 0 138608281 288690176 64247 18446744073709551615 4194304 7396336 140721837188112 140721837183128 5792030 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 33710080 140721837191603 140721837191752 140721837191752 140721837195209 0
/proc/791/statm: 70481 64247 765 782 0 63497 0
Current children cumulated CPU time (s) 2142
Current children cumulated vsize (KiB) 281924

[startup+2202.31 s]
/proc/loadavg: 2.03 2.04 2.05 3/184 987
/proc/meminfo: memFree=30898792/32770624 swapFree=0/434112
[pid=791] ppid=788 vsize=281924 CPUtime=2202 cores=0,2,4,6
/proc/791/stat : 791 (MistralXCSP) R 788 791 4525 0 -1 4202496 345476 0 0 0 220176 24 0 0 20 0 1 0 138608281 288690176 64247 18446744073709551615 4194304 7396336 140721837188112 140721837183128 5622477 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 33710080 140721837191603 140721837191752 140721837191752 140721837195209 0
/proc/791/statm: 70481 64247 765 782 0 63497 0
Current children cumulated CPU time (s) 2202
Current children cumulated vsize (KiB) 281924

[startup+2262.3 s]
/proc/loadavg: 2.17 2.07 2.06 3/184 989
/proc/meminfo: memFree=30898264/32770624 swapFree=0/434124
[pid=791] ppid=788 vsize=281924 CPUtime=2261.99 cores=0,2,4,6
/proc/791/stat : 791 (MistralXCSP) R 788 791 4525 0 -1 4202496 346223 0 0 0 226175 24 0 0 20 0 1 0 138608281 288690176 64247 18446744073709551615 4194304 7396336 140721837188112 140721837183128 5792270 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 33710080 140721837191603 140721837191752 140721837191752 140721837195209 0
/proc/791/statm: 70481 64247 765 782 0 63497 0
Current children cumulated CPU time (s) 2261.99
Current children cumulated vsize (KiB) 281924

[startup+2322.3 s]
/proc/loadavg: 2.10 2.07 2.06 3/186 1006
/proc/meminfo: memFree=30895360/32770624 swapFree=0/434120
[pid=791] ppid=788 vsize=281924 CPUtime=2321.99 cores=0,2,4,6
/proc/791/stat : 791 (MistralXCSP) R 788 791 4525 0 -1 4202496 346972 0 0 0 232175 24 0 0 20 0 1 0 138608281 288690176 64247 18446744073709551615 4194304 7396336 140721837188112 140721837183128 5792030 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 33710080 140721837191603 140721837191752 140721837191752 140721837195209 0
/proc/791/statm: 70481 64247 765 782 0 63497 0
Current children cumulated CPU time (s) 2321.99
Current children cumulated vsize (KiB) 281924

[startup+2382.3 s]
/proc/loadavg: 2.04 2.06 2.05 3/187 1009
/proc/meminfo: memFree=30893836/32770624 swapFree=0/434124
[pid=791] ppid=788 vsize=281924 CPUtime=2381.98 cores=0,2,4,6
/proc/791/stat : 791 (MistralXCSP) R 788 791 4525 0 -1 4202496 347717 0 0 0 238174 24 0 0 20 0 1 0 138608281 288690176 64247 18446744073709551615 4194304 7396336 140721837188112 140721837183128 4253024 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 33710080 140721837191603 140721837191752 140721837191752 140721837195209 0
/proc/791/statm: 70481 64247 765 782 0 63497 0
Current children cumulated CPU time (s) 2381.98
Current children cumulated vsize (KiB) 281924

[startup+2442.3 s]
/proc/loadavg: 1.95 2.03 2.04 3/185 1012
/proc/meminfo: memFree=30897108/32770624 swapFree=0/434140
[pid=791] ppid=788 vsize=281924 CPUtime=2441.98 cores=0,2,4,6
/proc/791/stat : 791 (MistralXCSP) R 788 791 4525 0 -1 4202496 348464 0 0 0 244174 24 0 0 20 0 1 0 138608281 288690176 64247 18446744073709551615 4194304 7396336 140721837188112 140721837183128 5792030 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 33710080 140721837191603 140721837191752 140721837191752 140721837195209 0
/proc/791/statm: 70481 64247 765 782 0 63497 0
Current children cumulated CPU time (s) 2441.98
Current children cumulated vsize (KiB) 281924

[startup+2502.3 s]
/proc/loadavg: 1.98 2.03 2.04 3/185 1014
/proc/meminfo: memFree=30897924/32770624 swapFree=0/434148
[pid=791] ppid=788 vsize=281924 CPUtime=2501.97 cores=0,2,4,6
/proc/791/stat : 791 (MistralXCSP) R 788 791 4525 0 -1 4202496 349209 0 0 0 250173 24 0 0 20 0 1 0 138608281 288690176 64247 18446744073709551615 4194304 7396336 140721837188112 140721837183128 5792030 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 33710080 140721837191603 140721837191752 140721837191752 140721837195209 0
/proc/791/statm: 70481 64247 765 782 0 63497 0
Current children cumulated CPU time (s) 2501.97
Current children cumulated vsize (KiB) 281924



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 1.98 2.03 2.04 3/185 1015
/proc/meminfo: memFree=30897924/32770624 swapFree=0/434156
[pid=791] ppid=788 vsize=281924 CPUtime=2519.67 cores=0,2,4,6
/proc/791/stat : 791 (MistralXCSP) R 788 791 4525 0 -1 4202496 349951 0 0 0 251943 24 0 0 20 0 1 0 138608281 288690176 64247 18446744073709551615 4194304 7396336 140721837188112 140721837183128 4249727 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 33710080 140721837191603 140721837191752 140721837191752 140721837195209 0
/proc/791/statm: 70481 64247 765 782 0 63497 0
Current children cumulated CPU time (s) 2519.67
Current children cumulated vsize (KiB) 281924

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 791 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.68
CPU user time (s): 2519.43
CPU system time (s): 0.247977
CPU usage (%): 99.9873
Max. virtual memory (cumulated for all children) (KiB): 281924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.43
system time used= 0.247977
maximum resident set size= 257008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 349992
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= 49
involuntary context switches= 3945

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.19098 second user time and 9.51181 second system time

The end

Launcher Data 

Begin job on node132 at 2017-08-10 20:11:30
IDJOB=4260870
IDBENCH=135990
IDSOLVER=2649
FILE ID=node132/4260870-1502389554
RUNJOBID= node132-1502333491-25567
PBS_JOBID= 
Free space on /tmp= 62024 MiB

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

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

MD5SUM BENCH= 90a7b6352cefaac33401a11faadaca46
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:        31170668 kB
MemAvailable:   31951656 kB
Buffers:          283436 kB
Cached:           801024 kB
SwapCached:            0 kB
Active:           694404 kB
Inactive:         474252 kB
Active(anon):      85304 kB
Inactive(anon):    40820 kB
Active(file):     609100 kB
Inactive(file):   433432 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              5728 kB
Writeback:             0 kB
AnonPages:         84516 kB
Mapped:            60140 kB
Shmem:             41660 kB
Slab:             135280 kB
SReclaimable:     108580 kB
SUnreclaim:        26700 kB
KernelStack:        3328 kB
PageTables:         5580 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     361312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     26624 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 20:53:30