Trace number 4102009

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-02OPT3089 0.153976 0.163794

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-p0033.opb
MD5SUMbdb886a987b9ca760f19a56a745e3c06
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3089
Best CPU time to get the best result obtained on this benchmark0.015997
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3089
Optimality of the best value was proved YES
Number of variables33
Total number of constraints15
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)3
Number of constraints which are nor clauses,nor cardinality constraints11
Minimum length of a constraint2
Maximum length of a constraint19
Number of terms in the objective function 33
Biggest coefficient in the objective function 517
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 7276
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1656
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 7276
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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-18T07:58:24+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-4102009-1466229504.opb"]
0.00/0.01	c use --random-gen="3986774559 3956054685 106635756 436607817 4232940863 1650492585 3358525242 1399687178 3627212591 1277221187 2185000394 2699573905 912857896 3053643317 4207197534 1569745211 886678387 1007949886 365744987 3707605390 338672102 2137739882 4128268907 1261414481 2597146585 3762285270 1302356577 3113371621 658764403 1542921797 3130615832 642591018 3057325929 2138272143 4011751629 2293654436 517593790 1745823022 3869627725 3216644021 3515764173 3563111980 4017529300 960251860 191443326 598324844 2778173278 2725999765 189277738 1516313889 2709391443 3189077487 4248539656 668101668 970077840 2723957762 3973181642 2483061814 2094920641 3551293499 3086808277 2996152889 2738020201 2174118421 983134753 2201011428 951489151 1386698373 600330947 704822339 493229552 1265433925 697135783 3386720894 2166623380 1375890041 3797785224 4007635056 49571074 1679588102 2557339464 2084150659 2243922340 2043880806 1903261310 1444349595 626502035 3899996250 1779747823 1647173845 3618294099 2953063086 105352992 1857440358 526691206 2258154241 4010020378 952473482 1385242103 3106083816 767439495 1816088029 1050889346 1558849633 1867576948 877915359 2669794397 278104316 326373519 965737425 619914776 1073733992 2772384075 3334093231 3433458846 1180806816 694811928 2653826743 43350368 3039149775 2503632377 1684787087 3740632195 1768791081 2483258584 594775497 3560284140 1329959398 809242556 28722673 224980743 1443076165 227388569 1796447462 1782123849 906025638 2587682864 1686300720 4256748405 1194851366 2960484435 3990925748 1997419412 2733106370 1921866306 2677195921 669280443 3880825671 4132093665 834329313 424850514 2403391224 303416531 686640565 4286199868 3630874312 1188506283 1163726383 1816401477 576968812 4074400594 939991881 1054629047 2450823588 1475159917 4141459550 2753065045 2019647398 2341423276 3062798492 2987168905 3152230194 387523652 3447555080 1015660650 3841180758 3264730499 2711519083 2537230104 1620372122 2953294165 1726415184 3716790697 2287041652 1837753593 887096039 2773269425 2567614843 3381661194 2685266672 34946478 3820242478 2312219517 1848125202 3651302734 2989214595 2826230161 2821468014 370901787 3848638245 3583171619 1247224588 3334253374 1045970252 3747754844 1149837879 591700855 3382829064 160547488 3191539647 445608986 3402520310 2379922047 3838533389 3737332801 1424646562 1028842614 3861924533 1468919500 3892878257 594242766 1670474080 958567150 4105879791 1415128461 893615958 1913413129 2805289077 1640105981 965544434 760577447 3700665691 2245237513 3326580879 4072610213 2889981311 3798235651 2208043231 2164438619 3039210232 3825609506 1108588330 1569337321 193398562 2368331437 2419165005 2973852981 2134483934 3080965358 2202592599 4026265618 322200434 2163760927 393525085 4276207418 744520760 255 362436" option to reproduce the execution
0.00/0.01	c #vars 33
0.00/0.01	c #constraints 15
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 |       16      0 |        0 |        0
0.00/0.01	c  0.0s |       1 |      119 |      100 |       16      6 |        0 |        0
0.00/0.02	c  0.0s |       1 |      179 |      145 |       18      9 |        0 |        0
0.00/0.02	c #cpu_time = 0.008s
0.00/0.02	c #wall_clock_time = 0.008s
0.00/0.02	c #decision = 179
0.00/0.02	c #random_decision = 0
0.00/0.02	c #conflict = 145
0.00/0.02	c #restart = 1
0.00/0.02	o 4769
0.00/0.02	c BCD2: updating upper bound: 7276 -> 4768
0.00/0.02	c BCD2: 0 <= obj <= 4768
0.00/0.02	c BCD2: #cores=0, #unrelaxed=33, #relaxed=0, #hardened=0
0.00/0.02	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |       18      0 |        0 |        0
0.00/0.02	c  0.0s |       0 |        6 |        1 |       18      1 |        0 |        0
0.00/0.02	c #cpu_time = 0.000s
0.00/0.02	c #wall_clock_time = 0.000s
0.00/0.02	c #decision = 6
0.00/0.02	c #random_decision = 0
0.00/0.02	c #conflict = 1
0.00/0.02	c #restart = 0
0.00/0.02	c BCD2: found a new core of size 3: cost of the new core is >=114
0.00/0.02	c lower bound updated to 114
0.00/0.02	c BCD2: 114 <= obj <= 4768
0.00/0.02	c BCD2: #cores=1, #unrelaxed=30, #relaxed=3, #hardened=0
0.00/0.02	c BCD2: #sat=1 #unsat=2 bias=2/3
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |       18      0 |        0 |        0
0.00/0.02	c  0.0s |       0 |        5 |        2 |       18      0 |        0 |        0
0.00/0.02	c #cpu_time = 0.000s
0.00/0.02	c #wall_clock_time = 0.000s
0.00/0.02	c #decision = 5
0.00/0.02	c #random_decision = 0
0.00/0.02	c #conflict = 2
0.00/0.02	c #restart = 0
0.00/0.02	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 4: cost of the new core is >=342
0.00/0.02	c BCD2: refineLB: 327 -> 342
0.00/0.02	c lower bound updated to 342
0.00/0.02	c BCD2: 342 <= obj <= 4768
0.00/0.02	c BCD2: #cores=1, #unrelaxed=29, #relaxed=4, #hardened=0
0.00/0.02	c BCD2: #sat=1 #unsat=3 bias=3/4
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |       18      0 |        1 |        0
0.00/0.02	c  0.0s |       0 |        4 |        1 |       18      0 |        1 |        1
0.00/0.02	c #cpu_time = 0.000s
0.00/0.02	c #wall_clock_time = 0.000s
0.00/0.02	c #decision = 4
0.00/0.02	c #random_decision = 0
0.00/0.02	c #conflict = 1
0.00/0.02	c #restart = 0
0.00/0.02	c BCD2: found a new core of size 2: cost of the new core is >=159
0.00/0.02	c lower bound updated to 501
0.00/0.02	c BCD2: 501 <= obj <= 4768
0.00/0.02	c BCD2: #cores=2, #unrelaxed=27, #relaxed=6, #hardened=0
0.00/0.02	c BCD2: #sat=1 #unsat=4 bias=4/5
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |       18      0 |        1 |        1
0.00/0.02	c  0.0s |       0 |        7 |        1 |       18      0 |        1 |        1
0.00/0.02	c #cpu_time = 0.000s
0.00/0.02	c #wall_clock_time = 0.000s
0.00/0.02	c #decision = 7
0.00/0.02	c #random_decision = 0
0.00/0.02	c #conflict = 1
0.00/0.02	c #restart = 0
0.00/0.02	c BCD2: found a new core of size 3: cost of the new core is >=159
0.00/0.02	c lower bound updated to 660
0.00/0.02	c BCD2: 660 <= obj <= 4768
0.00/0.02	c BCD2: #cores=3, #unrelaxed=24, #relaxed=9, #hardened=0
0.00/0.02	c BCD2: #sat=1 #unsat=5 bias=5/6
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |       18      0 |        1 |        1
0.00/0.02	c  0.0s |       0 |       11 |        1 |       18      0 |        1 |        1
0.00/0.02	c #cpu_time = 0.000s
0.00/0.02	c #wall_clock_time = 0.000s
0.00/0.02	c #decision = 11
0.00/0.02	c #random_decision = 0
0.00/0.02	c #conflict = 1
0.00/0.02	c #restart = 0
0.00/0.02	c BCD2: relaxing 4 and merging with 1 cores into a new core of size 7: cost of the new core is >=318
0.00/0.02	c lower bound updated to 819
0.00/0.02	c BCD2: 819 <= obj <= 4768
0.00/0.02	c BCD2: #cores=3, #unrelaxed=20, #relaxed=13, #hardened=0
0.00/0.02	c BCD2: #sat=1 #unsat=6 bias=6/7
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |       18      0 |        2 |        1
0.00/0.02	c  0.0s |       0 |        9 |        0 |       18      0 |        2 |        2
0.00/0.02	c #cpu_time = 0.000s
0.00/0.02	c #wall_clock_time = 0.000s
0.00/0.02	c #decision = 9
0.00/0.02	c #random_decision = 0
0.00/0.02	c #conflict = 0
0.00/0.02	c #restart = 0
0.00/0.02	c BCD2: found a new core of size 3: cost of the new core is >=183
0.00/0.02	c lower bound updated to 1002
0.00/0.02	c BCD2: 1002 <= obj <= 4768
0.00/0.02	c BCD2: #cores=4, #unrelaxed=17, #relaxed=16, #hardened=0
0.00/0.02	c BCD2: #sat=1 #unsat=7 bias=7/8
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |       18      0 |        2 |        3
0.00/0.02	c  0.0s |       0 |       15 |        1 |       18      0 |        2 |        3
0.00/0.02	c #cpu_time = 0.000s
0.00/0.02	c #wall_clock_time = 0.000s
0.00/0.02	c #decision = 15
0.00/0.02	c #random_decision = 0
0.00/0.02	c #conflict = 1
0.00/0.02	c #restart = 0
0.00/0.02	c BCD2: relaxing 3 and merging with 1 cores into a new core of size 5: cost of the new core is >=208
0.00/0.02	c lower bound updated to 1051
0.00/0.02	c BCD2: 1051 <= obj <= 4768
0.00/0.02	c BCD2: #cores=4, #unrelaxed=14, #relaxed=19, #hardened=0
0.00/0.02	c BCD2: #sat=1 #unsat=8 bias=8/9
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |       18      0 |        6 |        3
0.00/0.02	c  0.0s |       0 |       15 |        2 |       18      0 |        6 |       10
0.00/0.02	c #cpu_time = 0.000s
0.00/0.02	c #wall_clock_time = 0.000s
0.00/0.02	c #decision = 15
0.00/0.02	c #random_decision = 0
0.00/0.02	c #conflict = 2
0.00/0.02	c #restart = 0
0.00/0.02	c BCD2: relaxing 8 and merging with 2 cores into a new core of size 19: cost of the new core is >=729
0.00/0.02	c lower bound updated to 1120
0.00/0.02	c BCD2: 1120 <= obj <= 4768
0.00/0.02	c BCD2: #cores=3, #unrelaxed=6, #relaxed=27, #hardened=0
0.00/0.02	c BCD2: #sat=1 #unsat=9 bias=9/10
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |       18      0 |       15 |       10
0.00/0.03	c  0.0s |       0 |       25 |        5 |       18      0 |       15 |       26
0.00/0.03	c #cpu_time = 0.001s
0.00/0.03	c #wall_clock_time = 0.001s
0.00/0.03	c #decision = 25
0.00/0.03	c #random_decision = 0
0.00/0.03	c #conflict = 5
0.00/0.03	c #restart = 0
0.00/0.03	o 3683
0.00/0.03	c BCD2: updating upper bound: 4768 -> 3682
0.00/0.03	c BCD2: 1120 <= obj <= 3682
0.00/0.03	c BCD2: #cores=3, #unrelaxed=6, #relaxed=27, #hardened=0
0.00/0.03	c BCD2: #sat=2 #unsat=9 bias=9/11
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |       18      0 |       15 |       27
0.00/0.03	c  0.0s |       0 |        9 |        1 |       18      0 |       15 |       27
0.00/0.03	c #cpu_time = 0.000s
0.00/0.03	c #wall_clock_time = 0.000s
0.00/0.03	c #decision = 9
0.00/0.03	c #random_decision = 0
0.00/0.03	c #conflict = 1
0.00/0.03	c #restart = 0
0.00/0.03	c BCD2: relaxing 3 and merging with 1 cores into a new core of size 8: cost of the new core is >=379
0.00/0.03	c lower bound updated to 1291
0.00/0.03	c BCD2: 1291 <= obj <= 3682
0.00/0.03	c BCD2: #cores=3, #unrelaxed=3, #relaxed=30, #hardened=0
0.00/0.03	c BCD2: #sat=2 #unsat=10 bias=10/12
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |       18      0 |       18 |       27
0.00/0.03	c  0.0s |       0 |       24 |        8 |       18      0 |       19 |       33
0.00/0.03	c #cpu_time = 0.001s
0.00/0.03	c #wall_clock_time = 0.001s
0.00/0.03	c #decision = 24
0.00/0.03	c #random_decision = 0
0.00/0.03	c #conflict = 8
0.00/0.03	c #restart = 0
0.00/0.03	c BCD2: updating lower bound of a core
0.00/0.03	c BCD2: refineLB: 502 -> 513
0.00/0.03	c lower bound updated to 1425
0.00/0.03	c BCD2: 1425 <= obj <= 3682
0.00/0.03	c BCD2: #cores=3, #unrelaxed=3, #relaxed=30, #hardened=0
0.00/0.03	c BCD2: #sat=2 #unsat=11 bias=11/13
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |       18      0 |       19 |       34
0.00/0.03	c  0.0s |       0 |       23 |        6 |       18      0 |       20 |       35
0.00/0.03	c #cpu_time = 0.001s
0.00/0.03	c #wall_clock_time = 0.001s
0.00/0.03	c #decision = 23
0.00/0.03	c #random_decision = 0
0.00/0.03	c #conflict = 6
0.00/0.03	c #restart = 0
0.00/0.03	c BCD2: updating lower bound of a core
0.00/0.03	c lower bound updated to 1437
0.00/0.03	c BCD2: 1437 <= obj <= 3682
0.00/0.03	c BCD2: #cores=3, #unrelaxed=3, #relaxed=30, #hardened=0
0.00/0.03	c BCD2: #sat=2 #unsat=12 bias=12/14
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |       18      0 |       20 |       36
0.00/0.03	c  0.0s |       0 |       16 |        6 |       18      0 |       21 |       37
0.00/0.03	c #cpu_time = 0.001s
0.00/0.03	c #wall_clock_time = 0.001s
0.00/0.03	c #decision = 16
0.00/0.03	c #random_decision = 0
0.00/0.03	c #conflict = 6
0.00/0.03	c #restart = 0
0.00/0.03	c BCD2: updating lower bound of a core
0.00/0.03	c lower bound updated to 1438
0.00/0.03	c BCD2: 1438 <= obj <= 3682
0.00/0.03	c BCD2: #cores=3, #unrelaxed=3, #relaxed=30, #hardened=0
0.00/0.03	c BCD2: #sat=2 #unsat=13 bias=13/15
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |       18      0 |       21 |       38
0.00/0.03	c  0.0s |       0 |       30 |       11 |       18      0 |       21 |       38
0.00/0.03	c #cpu_time = 0.001s
0.00/0.03	c #wall_clock_time = 0.001s
0.00/0.03	c #decision = 30
0.00/0.03	c #random_decision = 0
0.00/0.03	c #conflict = 11
0.00/0.03	c #restart = 0
0.00/0.03	c BCD2: relaxing 1 and merging with 2 cores into a new core of size 28: cost of the new core is >=1256
0.00/0.03	c lower bound updated to 1439
0.00/0.03	c BCD2: 1439 <= obj <= 3682
0.00/0.03	c BCD2: #cores=2, #unrelaxed=2, #relaxed=31, #hardened=0
0.00/0.03	c BCD2: #sat=2 #unsat=14 bias=14/16
0.00/0.04	c Solving starts ...
0.00/0.04	c ============================[ Search Statistics ]============================
0.00/0.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.04	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.04	c =============================================================================
0.00/0.04	c  0.0s |       0 |        0 |        0 |       18      0 |       28 |       38
0.00/0.04	c  0.0s |       0 |       23 |        1 |       18      0 |       28 |       54
0.00/0.04	c #cpu_time = 0.001s
0.00/0.04	c #wall_clock_time = 0.001s
0.00/0.04	c #decision = 23
0.00/0.04	c #random_decision = 0
0.00/0.04	c #conflict = 1
0.00/0.04	c #restart = 0
0.00/0.04	o 3095
0.00/0.04	c BCD2: updating upper bound: 3682 -> 3094
0.00/0.04	c BCD2: 1439 <= obj <= 3094
0.00/0.04	c BCD2: #cores=2, #unrelaxed=2, #relaxed=31, #hardened=0
0.00/0.04	c BCD2: #sat=3 #unsat=14 bias=14/17
0.00/0.04	c Solving starts ...
0.00/0.04	c ============================[ Search Statistics ]============================
0.00/0.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.04	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.04	c =============================================================================
0.00/0.04	c  0.0s |       0 |        0 |        0 |       18      0 |       28 |       55
0.00/0.04	c  0.0s |       0 |       56 |       54 |       18      1 |       28 |       55
0.00/0.04	c #cpu_time = 0.004s
0.00/0.04	c #wall_clock_time = 0.004s
0.00/0.04	c #decision = 56
0.00/0.04	c #random_decision = 0
0.00/0.04	c #conflict = 54
0.00/0.04	c #restart = 0
0.00/0.04	c BCD2: relaxing 0 and merging with 2 cores into a new core of size 31: cost of the new core is >=1501
0.00/0.04	c lower bound updated to 1501
0.00/0.04	c BCD2: 1501 <= obj <= 3094
0.00/0.04	c BCD2: #cores=1, #unrelaxed=2, #relaxed=31, #hardened=0
0.00/0.04	c BCD2: #sat=3 #unsat=15 bias=15/18
0.00/0.04	c Solving starts ...
0.00/0.04	c ============================[ Search Statistics ]============================
0.00/0.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.04	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.04	c =============================================================================
0.00/0.04	c  0.0s |       0 |        0 |        0 |       18      0 |       40 |       55
0.00/0.05	c  0.0s |       1 |      114 |      100 |       20      2 |       41 |       84
0.00/0.06	c  0.0s |       2 |      283 |      250 |       22      6 |       41 |       84
0.00/0.07	c  0.0s |       2 |      509 |      457 |       22     12 |       42 |       85
0.00/0.07	c #cpu_time = 0.031s
0.00/0.07	c #wall_clock_time = 0.031s
0.00/0.07	c #decision = 509
0.00/0.07	c #random_decision = 1
0.00/0.07	c #conflict = 457
0.00/0.07	c #restart = 2
0.00/0.07	c BCD2: updating lower bound of a core
0.00/0.08	c lower bound updated to 2830
0.00/0.08	c BCD2: 2830 <= obj <= 3094
0.00/0.08	c BCD2: #cores=1, #unrelaxed=2, #relaxed=31, #hardened=0
0.00/0.08	c BCD2: #sat=3 #unsat=16 bias=16/19
0.00/0.08	c Solving starts ...
0.00/0.08	c ============================[ Search Statistics ]============================
0.00/0.08	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.08	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.08	c =============================================================================
0.00/0.08	c  0.0s |       0 |        0 |        0 |       22      0 |       42 |       86
0.00/0.08	c  0.0s |       1 |      110 |      100 |       22      2 |       43 |       86
0.00/0.09	c  0.0s |       2 |      278 |      250 |       25      5 |       43 |       86
0.09/0.11	c  0.0s |       3 |      555 |      475 |       25     11 |       43 |       86
0.09/0.12	c  0.0s |       3 |      734 |      615 |       25     15 |       44 |       87
0.09/0.12	c #cpu_time = 0.044s
0.09/0.12	c #wall_clock_time = 0.044s
0.09/0.12	c #decision = 734
0.09/0.12	c #random_decision = 2
0.09/0.12	c #conflict = 615
0.09/0.12	c #restart = 3
0.09/0.12	c BCD2: updating lower bound of a core
0.09/0.12	c lower bound updated to 3054
0.09/0.12	c BCD2: hardening fixes 2 literals
0.09/0.12	c BCD2: 3054 <= obj <= 3094
0.09/0.12	c BCD2: #cores=1, #unrelaxed=0, #relaxed=31, #hardened=2
0.09/0.12	c BCD2: #sat=3 #unsat=17 bias=17/20
0.09/0.12	c Solving starts ...
0.09/0.12	c ============================[ Search Statistics ]============================
0.09/0.12	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.12	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.12	c =============================================================================
0.09/0.12	c  0.0s |       0 |        0 |        0 |       25      0 |       46 |       88
0.09/0.13	c  0.0s |       1 |      112 |      100 |       28      2 |       46 |       88
0.09/0.14	c  0.0s |       2 |      273 |      250 |       28      6 |       46 |       88
0.09/0.15	c  0.0s |       2 |      436 |      393 |       28      9 |       47 |       89
0.09/0.15	c #cpu_time = 0.028s
0.09/0.15	c #wall_clock_time = 0.028s
0.09/0.15	c #decision = 436
0.09/0.15	c #random_decision = 2
0.09/0.15	c #conflict = 393
0.09/0.15	c #restart = 2
0.09/0.15	c BCD2: updating lower bound of a core
0.09/0.15	c lower bound updated to 3089
0.09/0.15	c BCD2: 3089 <= obj <= 3094
0.09/0.15	c BCD2: #cores=1, #unrelaxed=0, #relaxed=31, #hardened=2
0.09/0.15	c BCD2: #sat=3 #unsat=18 bias=18/21
0.09/0.15	c Solving starts ...
0.09/0.15	c ============================[ Search Statistics ]============================
0.09/0.15	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.15	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.15	c =============================================================================
0.09/0.15	c  0.0s |       0 |        0 |        0 |       28      0 |       47 |       90
0.09/0.15	c  0.0s |       0 |       15 |        2 |       28      0 |       47 |       90
0.09/0.15	c #cpu_time = 0.000s
0.09/0.15	c #wall_clock_time = 0.000s
0.09/0.15	c #decision = 15
0.09/0.15	c #random_decision = 0
0.09/0.15	c #conflict = 2
0.09/0.15	c #restart = 0
0.09/0.15	o 3089
0.09/0.15	s OPTIMUM FOUND
0.09/0.15	v x1 -x2 -x3 -x4 -x5 -x6 x7 x8 -x9 x10
0.09/0.15	v -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 x19 x20
0.09/0.15	v -x21 x22 -x23 x24 x25 x26 x27 x28 x29 x30
0.09/0.15	v -x31 -x32 -x33
0.09/0.15	c total CPU time = 0.154s
0.09/0.15	c total wall clock time = 0.154s

Verifier Data 

OK	3089

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

pid=20855
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: 1.83 1.97 1.99 3/179 20858
/proc/meminfo: memFree=30624908/32872528 swapFree=163656/177964
[pid=20858] ppid=20855 vsize=722364 CPUtime=0 cores=1,3,5,7
/proc/20858/stat : 20858 (toysat) R 20855 20858 20760 0 -1 4202496 2697 0 0 0 0 0 0 0 20 0 4 0 25000295 739700736 3057 33554432000 4194304 16246674 140734952522352 140734952521776 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20858/statm: 181359 3066 441 2943 0 178253 0
[pid=20858/tid=20859] ppid=20855 vsize=740796 CPUtime=0 cores=1,3,5,7
/proc/20858/task/20859/stat : 20859 (toysat) S 20855 20858 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25000296 758575104 3127 33554432000 4194304 16246674 140734952522352 140023429049584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20858/tid=20860] ppid=20855 vsize=744892 CPUtime=0 cores=1,3,5,7
/proc/20858/task/20860/stat : 20860 (toysat) S 20855 20858 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25000296 762769408 3144 33554432000 4194304 16246674 140734952522352 140023418559728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20858/tid=20861] ppid=20855 vsize=748988 CPUtime=0 cores=1,3,5,7
/proc/20858/task/20861/stat : 20861 (toysat) S 20855 20858 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25000296 766963712 3160 33554432000 4194304 16246674 140734952522352 140023408086192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 1.83 1.97 1.99 3/179 20858
/proc/meminfo: memFree=30624908/32872528 swapFree=163656/177964
[pid=20858] ppid=20855 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/20858/stat : 20858 (toysat) R 20855 20858 20760 0 -1 4202496 20087 0 0 0 6 3 0 0 20 0 4 0 25000295 1247350784 20435 33554432000 4194304 16246674 140734952522352 140734952521776 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20858/statm: 304529 20441 792 2943 0 301423 0
[pid=20858/tid=20859] ppid=20855 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20858/task/20859/stat : 20859 (toysat) S 20855 20858 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25000296 1247350784 20447 33554432000 4194304 16246674 140734952522352 140023429049584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20858/tid=20860] ppid=20855 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20858/task/20860/stat : 20860 (toysat) S 20855 20858 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25000296 1247350784 20451 33554432000 4194304 16246674 140734952522352 140023418559728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20858/tid=20861] ppid=20855 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20858/task/20861/stat : 20861 (toysat) S 20855 20858 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25000296 1247350784 20456 33554432000 4194304 16246674 140734952522352 140023408086192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

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

[startup+0.100167 s]
/proc/loadavg: 1.83 1.97 1.99 3/179 20858
/proc/meminfo: memFree=30624908/32872528 swapFree=163656/177964
[pid=20858] ppid=20855 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/20858/stat : 20858 (toysat) R 20855 20858 20760 0 -1 4202496 20087 0 0 0 6 3 0 0 20 0 4 0 25000295 1247350784 20435 33554432000 4194304 16246674 140734952522352 140734952521776 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20858/statm: 304529 20441 792 2943 0 301423 0
[pid=20858/tid=20859] ppid=20855 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20858/task/20859/stat : 20859 (toysat) S 20855 20858 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25000296 1247350784 20447 33554432000 4194304 16246674 140734952522352 140023429049584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20858/tid=20860] ppid=20855 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20858/task/20860/stat : 20860 (toysat) S 20855 20858 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25000296 1247350784 20451 33554432000 4194304 16246674 140734952522352 140023418559728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20858/tid=20861] ppid=20855 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20858/task/20861/stat : 20861 (toysat) S 20855 20858 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25000296 1247350784 20456 33554432000 4194304 16246674 140734952522352 140023408086192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

Child status: 0
Real time (s): 0.163794
CPU time (s): 0.153976
CPU user time (s): 0.107983
CPU system time (s): 0.045993
CPU usage (%): 94.0059
Max. virtual memory (cumulated for all children) (KiB): 1218116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.107983
system time used= 0.045993
maximum resident set size= 117392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29009
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= 23
involuntary context switches= 4

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.003999 second user time and 0.005999 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-18 07:58:24
IDJOB=4102009
IDBENCH=1863
IDSOLVER=2542
FILE ID=node105/4102009-1466229504
RUNJOBID= node105-1466229502-20777
PBS_JOBID= 19918174
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0033.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4102009-1466229504/watcher-4102009-1466229504 -o /tmp/evaluation-result-4102009-1466229504/solver-4102009-1466229504 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20777 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4102009-1466229504.opb

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

MD5SUM BENCH= bdb886a987b9ca760f19a56a745e3c06
RANDOM SEED=2143555386

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.561
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	: 5333.12
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.561
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.561
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.561
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.561
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.54
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.561
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.561
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.561
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.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30625288 kB
Buffers:           97268 kB
Cached:           168444 kB
SwapCached:         1764 kB
Active:          1172088 kB
Inactive:         157024 kB
Active(anon):    1064192 kB
Inactive(anon):     1440 kB
Active(file):     107896 kB
Inactive(file):   155584 kB
Unevictable:      177964 kB
Mlocked:          163656 kB
SwapTotal:      67108856 kB
SwapFree:       67097160 kB
Dirty:             33204 kB
Writeback:             0 kB
AnonPages:       1241172 kB
Mapped:            10604 kB
Shmem:                 0 kB
Slab:             604240 kB
SReclaimable:      47140 kB
SUnreclaim:       557100 kB
KernelStack:        1480 kB
PageTables:         6604 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1388028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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= 71716 MiB
End job on node105 at 2016-06-18 07:58:24