Trace number 4119396

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
toysat 2016-05-02OPT13 0.019996 0.0208439

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-hmittelman.opb
MD5SUM58c1ba6be131fc995f3330dab5e6923b
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark13
Best CPU time to get the best result obtained on this benchmark0.003998
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables16
Total number of constraints7
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints7
Minimum length of a constraint5
Maximum length of a constraint7
Number of terms in the objective function 9
Biggest coefficient in the objective function 12
Number of bits for the biggest coefficient in the objective function 4
Sum of the numbers in the objective function 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 61
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)51
Sum of products size (including duplicates)250
Number of different products10
Sum of products size48

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.00	c 2016-06-30T05:31:35+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4119396-1467257495.opb"]
0.00/0.01	c use --random-gen="1752422112 4106275828 1667525984 666756188 3312663735 4011549627 1479926154 3063475754 710144107 3686798304 3854665720 128124813 4233366500 2095325574 2152998375 2861846953 2568613480 349966043 1518178450 597965378 1636566560 281022634 3624608851 3872600389 1605704447 3545885059 2712603616 121596826 2073395204 3243779022 2658336761 543353778 508036723 3736145760 4091481901 789554495 2781068809 1234743996 1565116367 2027264456 3496436589 2657727883 1680743978 1023197198 1727882771 2201777536 1417470671 1794849123 3460838217 2615928794 4198987643 2055930912 1795895379 1058027275 3675307001 2204077217 3727550360 3269092125 1679786735 2305585360 210228100 2229896240 3094389370 3822144799 1304682653 2096881057 1687134142 4182862196 3496731129 704935067 2985876848 1270087316 3352721030 1472581575 4031416000 2903083079 1154424199 1219678342 4209469876 4006266644 1812078522 1682053253 3964116166 2848860482 3723202604 394650658 1003933041 2173536610 2906346231 1962590684 2225743096 3903109568 216639446 3566008765 1284524715 4130268197 3259203942 1994552538 3053914411 2640938690 2646874055 188440217 2445157277 2174754344 1907540041 3205791895 1087510016 1752364382 4123570235 1291458126 1327492119 501459597 812192303 4043172340 4025078518 1882390779 4016119980 1439897682 4180489930 1126423159 2070297629 290760883 2441786650 977926180 1405727696 535835127 3361592421 287963331 4183503323 216825151 2886486953 1236385023 2379614297 135614402 2893668507 1516198488 869505212 3383215528 3249500171 1303191099 3426521520 1684504130 3389581845 669992846 4227430892 1932092191 670300758 627103837 3114218292 1041788747 448063345 1685745029 95468074 3048762329 3636436663 3612480822 890214008 1354920569 929452572 2763010067 3630253544 3029372051 830424420 3990827761 4076905077 2513827298 1938092837 3198784638 68148421 3078830912 1368930213 1357038286 3723428991 2754827895 3071586578 3243078291 2367424152 4199160709 24569129 1225529046 1047122126 2278209648 2723646361 2107986927 1566933825 1009116304 2933457165 572441432 3192965282 10058551 3285973358 3743495931 1330138273 3586147078 2524640199 834325613 1525610330 1219406351 3757795087 597284960 1848760981 1760923058 4011929771 1822979078 4184869912 2705226979 1688180259 842808206 2290125897 3030176310 1063115722 2930519383 4177480660 626387524 3165600557 3016177267 3597735165 1035294201 3548479673 2494061119 3740973719 1915986788 498049344 3303193228 2669993115 1077117626 455807342 400479450 3145322668 1362499686 1702493537 2273872603 509412166 164450026 371145429 2903645565 2439241349 2863055534 531760544 2392219535 1018985559 2380390766 337332998 1380282328 961267872 509166702 4078705382 3554773512 611089553 3663114899 59026798 4015828583 3144330488 2659120242 3104449019 1643194352 255 362436" option to reproduce the execution
0.00/0.01	c #vars 16
0.00/0.01	c #constraints 7
0.00/0.01	c BCD2: Hardening is enabled.
0.00/0.01	c BCD2: BiasedSearch is enabled.
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       30      0 |        0 |        0
0.00/0.01	c  0.0s |       0 |        3 |        0 |       30      0 |        0 |        0
0.00/0.01	c #cpu_time = 0.000s
0.00/0.01	c #wall_clock_time = 0.000s
0.00/0.01	c #decision = 3
0.00/0.01	c #random_decision = 0
0.00/0.01	c #conflict = 0
0.00/0.01	c #restart = 0
0.00/0.01	o 50
0.00/0.01	c BCD2: updating upper bound: 50 -> 49
0.00/0.01	c BCD2: 0 <= obj <= 49
0.00/0.01	c BCD2: #cores=0, #unrelaxed=9, #relaxed=0, #hardened=0
0.00/0.01	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       30      0 |        0 |        0
0.00/0.01	c  0.0s |       0 |        4 |        0 |       30      0 |        0 |        0
0.00/0.01	c #cpu_time = 0.000s
0.00/0.01	c #wall_clock_time = 0.000s
0.00/0.01	c #decision = 4
0.00/0.01	c #random_decision = 0
0.00/0.01	c #conflict = 0
0.00/0.01	c #restart = 0
0.00/0.01	c BCD2: found a new core of size 4: cost of the new core is >=1
0.00/0.01	c lower bound updated to 1
0.00/0.01	c BCD2: 1 <= obj <= 49
0.00/0.01	c BCD2: #cores=1, #unrelaxed=5, #relaxed=4, #hardened=0
0.00/0.01	c BCD2: #sat=1 #unsat=2 bias=2/3
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       30      0 |        0 |        0
0.00/0.01	c  0.0s |       0 |        4 |        1 |       30      0 |        0 |        0
0.00/0.01	c #cpu_time = 0.000s
0.00/0.01	c #wall_clock_time = 0.000s
0.00/0.01	c #decision = 4
0.00/0.01	c #random_decision = 0
0.00/0.01	c #conflict = 1
0.00/0.01	c #restart = 0
0.00/0.01	c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.01	c lower bound updated to 2
0.00/0.01	c BCD2: 2 <= obj <= 49
0.00/0.01	c BCD2: #cores=2, #unrelaxed=3, #relaxed=6, #hardened=0
0.00/0.01	c BCD2: #sat=1 #unsat=3 bias=3/4
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       30      0 |        0 |        0
0.00/0.01	c  0.0s |       0 |       11 |        0 |       30      0 |        0 |        0
0.00/0.01	c #cpu_time = 0.000s
0.00/0.01	c #wall_clock_time = 0.000s
0.00/0.01	c #decision = 11
0.00/0.01	c #random_decision = 0
0.00/0.01	c #conflict = 0
0.00/0.01	c #restart = 0
0.00/0.01	o 13
0.00/0.01	c BCD2: hardening fixes 1 literals
0.00/0.01	c BCD2: updating upper bound: 49 -> 12
0.00/0.01	c BCD2: 2 <= obj <= 12
0.00/0.01	c BCD2: #cores=2, #unrelaxed=3, #relaxed=5, #hardened=1
0.00/0.01	c BCD2: #sat=2 #unsat=3 bias=3/5
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       30      0 |        1 |        0
0.00/0.01	c  0.0s |       0 |        1 |        1 |       30      0 |        9 |       31
0.00/0.01	c #cpu_time = 0.000s
0.00/0.01	c #wall_clock_time = 0.000s
0.00/0.01	c #decision = 1
0.00/0.01	c #random_decision = 0
0.00/0.01	c #conflict = 1
0.00/0.01	c #restart = 0
0.00/0.01	c BCD2: updating lower bound of a core
0.00/0.01	c BCD2: refineLB: 2 -> 3
0.00/0.01	c lower bound updated to 4
0.00/0.01	c BCD2: hardening fixes 1 literals
0.00/0.01	c BCD2: 4 <= obj <= 12
0.00/0.01	c BCD2: #cores=2, #unrelaxed=2, #relaxed=5, #hardened=2
0.00/0.01	c BCD2: #sat=2 #unsat=4 bias=4/6
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       30      0 |        9 |       31
0.00/0.01	c  0.0s |       0 |        1 |        2 |       30      0 |       17 |       31
0.00/0.01	c #cpu_time = 0.000s
0.00/0.01	c #wall_clock_time = 0.000s
0.00/0.01	c #decision = 1
0.00/0.01	c #random_decision = 0
0.00/0.01	c #conflict = 2
0.00/0.01	c #restart = 0
0.00/0.01	c lower bound updated to 13
0.00/0.01	s OPTIMUM FOUND
0.00/0.01	v x1 -x2 x3 x4 -x5 x6 x7 x8 -x9 x10
0.00/0.01	v x11 -x12 -x13 x14 x15 x16
0.00/0.01	c total CPU time = 0.016s
0.00/0.01	c total wall clock time = 0.016s

Verifier Data 

OK	13

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-4119396-1467257495/watcher-4119396-1467257495 -o /tmp/evaluation-result-4119396-1467257495/solver-4119396-1467257495 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1467248489-5466 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119396-1467257495.opb 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.07 2.05 2.01 3/179 6460
/proc/meminfo: memFree=30361980/32872528 swapFree=170020/176152
[pid=6460] ppid=6457 vsize=729532 CPUtime=0 cores=1,3,5,7
/proc/6460/stat : 6460 (toysat) R 6457 6460 5284 0 -1 4202496 2724 0 0 0 0 0 0 0 20 0 4 0 4780861 747040768 3084 33554432000 4194304 16246674 140735563494256 140735563493680 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6460/statm: 182895 3093 441 2943 0 179789 0
[pid=6460/tid=6461] ppid=6457 vsize=746940 CPUtime=0 cores=1,3,5,7
/proc/6460/task/6461/stat : 6461 (toysat) S 6457 6460 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4780862 764866560 3152 33554432000 4194304 16246674 140735563494256 140076273085680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6460/tid=6462] ppid=6457 vsize=751036 CPUtime=0 cores=1,3,5,7
/proc/6460/task/6462/stat : 6462 (toysat) S 6457 6460 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4780862 769060864 3170 33554432000 4194304 16246674 140735563494256 140076262595824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6460/tid=6463] ppid=6457 vsize=755132 CPUtime=0 cores=1,3,5,7
/proc/6460/task/6463/stat : 6463 (toysat) S 6457 6460 5284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4780862 773255168 3186 33554432000 4194304 16246674 140735563494256 140076252122288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

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

Child status: 0
Real time (s): 0.0208439
CPU time (s): 0.019996
CPU user time (s): 0.004999
CPU system time (s): 0.014997
CPU usage (%): 95.9322
Max. virtual memory (cumulated for all children) (KiB): 0

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.004999
system time used= 0.014997
maximum resident set size= 26212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6215
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= 19
involuntary context switches= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.001999 second user time and 0.007998 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-30 05:31:35
IDJOB=4119396
IDBENCH=111720
IDSOLVER=2542
FILE ID=node105/4119396-1467257495
RUNJOBID= node105-1467248489-5466
PBS_JOBID= 20004478
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-hmittelman.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119396-1467257495/watcher-4119396-1467257495 -o /tmp/evaluation-result-4119396-1467257495/solver-4119396-1467257495 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1467248489-5466 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119396-1467257495.opb

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

MD5SUM BENCH= 58c1ba6be131fc995f3330dab5e6923b
RANDOM SEED=911238180

node105.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.487
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.97
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
cpu MHz		: 2666.487
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 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 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 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
cpu MHz		: 2666.487
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 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 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 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	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.487
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 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 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 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
cpu MHz		: 2666.487
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 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 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 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	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.487
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 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 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 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
cpu MHz		: 2666.487
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 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 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 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	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.487
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30362640 kB
Buffers:          116864 kB
Cached:           307616 kB
SwapCached:            0 kB
Active:          1319336 kB
Inactive:         275112 kB
Active(anon):    1163904 kB
Inactive(anon):     8512 kB
Active(file):     155432 kB
Inactive(file):   266600 kB
Unevictable:      176152 kB
Mlocked:          170020 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16328 kB
Writeback:             0 kB
AnonPages:       1448304 kB
Mapped:            17556 kB
Shmem:               204 kB
Slab:             608008 kB
SReclaimable:      52112 kB
SUnreclaim:       555896 kB
KernelStack:        1520 kB
PageTables:         7144 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1476604 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1261568 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71696 MiB
End job on node105 at 2016-06-30 05:31:35