Trace number 4101385

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-02OPT262571 2.19667 2.20025

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-misc02.opb
MD5SUM249ed436a6071ad98c057d483cdcc59d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark262571
Best CPU time to get the best result obtained on this benchmark0.040993
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 262571
Optimality of the best value was proved YES
Number of variables89
Total number of constraints39
Number of constraints which are clauses7
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints25
Minimum length of a constraint4
Maximum length of a constraint79
Number of terms in the objective function 31
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524318
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 524334
Number of bits of the biggest sum of numbers20
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-18T06:06:41+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-4101385-1466222801.opb"]
0.00/0.01	c use --random-gen="3982577692 4238978501 4122832574 1534788981 523909950 2166727713 1853897581 1896420867 1330993231 1211719558 3229566946 3587014448 2540126166 1984838585 719816098 4243992380 3192511746 2092511090 2287814083 2880217786 1199730365 1305695799 1806173842 3940307185 3853845690 407845139 3524285660 2288545565 2195490438 1026215157 1088137369 1211236814 3661908178 3779879730 1355300414 3555929109 4102211344 693424414 2074766285 52361222 2572138945 424008342 1304453107 1414209783 3863580687 144214836 2081881844 1530624758 2558724255 566851771 3944468183 1166798735 1967221402 4019038082 364565831 2307788522 3179288119 1917606992 2388943186 2495465609 3556098802 1208081617 3448740993 1796020913 4003584479 3395558448 616548218 902226150 2499430212 520644512 1749136730 30822546 2332265116 2675583870 3680825778 2552381687 403938219 4015093142 2967189937 2594289686 171817609 2047410800 4219040742 40532054 1755301756 550540314 399755872 1643498137 164322657 2750759478 3867903946 1186230481 1588706301 2111266625 3297959688 1943892752 467658733 3561850838 1558806608 677676046 899275797 2641483012 1610064978 2052066563 487826985 2599138816 3877007983 1880159076 4128189277 4264981192 1271712642 2796735671 254605011 3206866490 2488367000 2094469372 2826288974 1816538333 1993396367 2732487257 3234201822 881975687 326469739 2909567500 2222784263 3949049884 79082961 2995620028 4115174901 601143213 3274642316 1863313306 3932878582 776639908 3239983280 3055689733 1150464724 1750193469 3167992295 2853488905 490084241 1693996832 1717784371 3225505217 4238252300 1251149612 52709202 1380713757 2327352898 2942756726 132692327 4073452820 3537163549 3406551468 3530987313 4229605813 386492574 2696679540 1307817251 1821719920 302304958 2411038456 1280967956 956860808 2886859184 4247332072 3416954495 3034077342 4161137197 3803138517 679279705 991670129 1212118570 22020454 659072429 1097005290 3794023855 71981484 2493443772 4091712396 2605718563 2950088274 3446106386 2305971868 4104384279 3899016865 2951430927 4282308351 2722727727 136784542 1209459102 2815579410 2348254606 1659005121 1979291736 2388224966 2683582898 3134903717 3161316307 2966458394 2640756346 2934405845 1239382998 3734618463 1715730614 2649345056 190263798 1358114593 2369830176 380768120 625561397 3808345359 4176228725 2264511634 1083202867 493589019 2316264509 1592042626 2790627175 3229512036 648898528 3808614889 38441279 3283567098 2968412015 2719766605 2390381531 2097237180 2149745553 586488294 43060026 3805381719 4105730564 705821663 886276573 1680151881 2075745132 1488740167 981899375 291227305 2931368288 1029872802 1264531368 602259379 1111729435 3463874809 4279391002 3920506554 528424423 3839523012 3995446184 1871757675 146753452 3272627742 311488275 1962105727 255 362436" option to reproduce the execution
0.00/0.01	c #vars 89
0.00/0.01	c #constraints 39
0.28/0.33	c BCD2: Hardening is enabled.
0.28/0.33	c BCD2: BiasedSearch is enabled.
0.28/0.33	c Solving starts ...
0.28/0.33	c ============================[ Search Statistics ]============================
0.28/0.33	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.28/0.33	c       |         |          |          |    Limit     GC | Var      | Constra 
0.28/0.33	c =============================================================================
0.28/0.33	c  0.0s |       0 |        0 |        0 |       47      0 |        0 |        0
0.28/0.33	c  0.0s |       0 |       39 |        5 |       47      0 |        1 |        0
0.28/0.33	c #cpu_time = 0.001s
0.28/0.33	c #wall_clock_time = 0.001s
0.28/0.33	c #decision = 39
0.28/0.33	c #random_decision = 0
0.28/0.33	c #conflict = 5
0.28/0.33	c #restart = 0
0.28/0.33	o 262826
0.28/0.36	c BCD2: updating upper bound: 524318 -> 262825
0.28/0.39	c BCD2: 0 <= obj <= 262825
0.28/0.39	c BCD2: #cores=0, #unrelaxed=31, #relaxed=0, #hardened=0
0.28/0.39	c BCD2: #sat=1 #unsat=1 bias=1/2
0.28/0.39	c Solving starts ...
0.28/0.39	c ============================[ Search Statistics ]============================
0.28/0.39	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.28/0.39	c       |         |          |          |    Limit     GC | Var      | Constra 
0.28/0.39	c =============================================================================
0.28/0.39	c  0.0s |       0 |        0 |        0 |       47      0 |        1 |        0
0.28/0.39	c  0.0s |       0 |        1 |        1 |       47      0 |       10 |        0
0.28/0.39	c #cpu_time = 0.000s
0.28/0.39	c #wall_clock_time = 0.000s
0.28/0.39	c #decision = 1
0.28/0.39	c #random_decision = 0
0.28/0.39	c #conflict = 1
0.28/0.39	c #restart = 0
0.28/0.39	c BCD2: found a new core of size 1: cost of the new core is >=262145
0.28/0.39	c lower bound updated to 262145
0.39/0.42	c BCD2: hardening fixes 8 literals
0.39/0.42	c BCD2: 262145 <= obj <= 262825
0.39/0.42	c BCD2: #cores=1, #unrelaxed=22, #relaxed=1, #hardened=8
0.39/0.42	c BCD2: #sat=1 #unsat=2 bias=2/3
0.39/0.42	c Solving starts ...
0.39/0.42	c ============================[ Search Statistics ]============================
0.39/0.42	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.39/0.42	c       |         |          |          |    Limit     GC | Var      | Constra 
0.39/0.42	c =============================================================================
0.39/0.42	c  0.0s |       0 |        0 |        0 |       47      0 |       10 |        0
0.39/0.43	c  0.0s |       0 |        6 |        1 |       47      0 |       10 |        0
0.39/0.43	c #cpu_time = 0.000s
0.39/0.43	c #wall_clock_time = 0.000s
0.39/0.43	c #decision = 6
0.39/0.43	c #random_decision = 0
0.39/0.43	c #conflict = 1
0.39/0.43	c #restart = 0
0.39/0.43	c BCD2: found a new core of size 5: cost of the new core is >=33
0.39/0.43	c lower bound updated to 262178
0.39/0.46	c BCD2: 262178 <= obj <= 262825
0.39/0.46	c BCD2: #cores=2, #unrelaxed=17, #relaxed=6, #hardened=8
0.39/0.46	c BCD2: #sat=1 #unsat=3 bias=3/4
0.39/0.46	c Solving starts ...
0.39/0.46	c ============================[ Search Statistics ]============================
0.39/0.46	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.39/0.46	c       |         |          |          |    Limit     GC | Var      | Constra 
0.39/0.46	c =============================================================================
0.39/0.46	c  0.0s |       0 |        0 |        0 |       47      0 |       10 |        0
0.39/0.47	c  0.0s |       1 |      155 |      100 |       52      0 |       10 |        0
0.39/0.48	c  0.0s |       2 |      378 |      250 |       58      4 |       10 |        0
0.49/0.51	c  0.0s |       3 |      710 |      475 |       64      8 |       10 |        0
0.49/0.53	c  0.1s |       3 |      981 |      662 |       64     12 |       10 |        0
0.49/0.53	c #cpu_time = 0.070s
0.49/0.53	c #wall_clock_time = 0.070s
0.49/0.53	c #decision = 981
0.49/0.53	c #random_decision = 4
0.49/0.53	c #conflict = 662
0.49/0.53	c #restart = 3
0.49/0.53	c BCD2: relaxing 17 and merging with 1 cores into a new core of size 22: cost of the new core is >=34
0.49/0.53	c lower bound updated to 262179
0.49/0.56	c BCD2: 262179 <= obj <= 262825
0.49/0.56	c BCD2: #cores=2, #unrelaxed=0, #relaxed=23, #hardened=8
0.49/0.56	c BCD2: #sat=1 #unsat=4 bias=4/5
0.49/0.56	c Solving starts ...
0.49/0.56	c ============================[ Search Statistics ]============================
0.49/0.56	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.49/0.56	c       |         |          |          |    Limit     GC | Var      | Constra 
0.49/0.56	c =============================================================================
0.49/0.56	c  0.0s |       0 |        0 |        0 |       64      0 |       11 |        0
0.49/0.56	c  0.0s |       0 |       35 |        3 |       64      0 |       11 |        1
0.49/0.56	c #cpu_time = 0.001s
0.49/0.56	c #wall_clock_time = 0.001s
0.49/0.56	c #decision = 35
0.49/0.56	c #random_decision = 0
0.49/0.56	c #conflict = 3
0.49/0.56	c #restart = 0
0.49/0.56	o 262608
0.59/0.69	c BCD2: hardening fixes 1 literals
0.59/0.69	c BCD2: updating upper bound: 262825 -> 262607
0.59/0.69	c BCD2: 262179 <= obj <= 262607
0.59/0.69	c BCD2: #cores=2, #unrelaxed=0, #relaxed=22, #hardened=9
0.59/0.69	c BCD2: #sat=2 #unsat=4 bias=4/6
0.59/0.69	c Solving starts ...
0.59/0.69	c ============================[ Search Statistics ]============================
0.59/0.69	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.59/0.69	c       |         |          |          |    Limit     GC | Var      | Constra 
0.59/0.69	c =============================================================================
0.59/0.69	c  0.0s |       0 |        0 |        0 |       64      0 |       12 |        3
0.69/0.70	c  0.0s |       1 |      184 |      100 |       64      2 |       12 |        3
0.69/0.71	c  0.0s |       1 |      292 |      192 |       71      4 |       13 |        5
0.69/0.71	c #cpu_time = 0.018s
0.69/0.71	c #wall_clock_time = 0.018s
0.69/0.71	c #decision = 292
0.69/0.71	c #random_decision = 0
0.69/0.71	c #conflict = 192
0.69/0.71	c #restart = 1
0.69/0.71	c BCD2: updating lower bound of a core
0.69/0.71	c lower bound updated to 262466
0.78/0.84	c BCD2: 262466 <= obj <= 262607
0.78/0.84	c BCD2: #cores=2, #unrelaxed=0, #relaxed=22, #hardened=9
0.78/0.84	c BCD2: #sat=2 #unsat=5 bias=5/7
0.78/0.84	c Solving starts ...
0.78/0.84	c ============================[ Search Statistics ]============================
0.78/0.84	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.78/0.84	c       |         |          |          |    Limit     GC | Var      | Constra 
0.78/0.84	c =============================================================================
0.78/0.84	c  0.0s |       0 |        0 |        0 |       71      0 |       14 |        5
0.78/0.85	c  0.0s |       1 |      133 |      100 |       71      2 |       14 |        7
0.78/0.86	c  0.0s |       2 |      325 |      250 |       71      5 |       14 |        7
0.78/0.89	c  0.0s |       3 |      582 |      475 |       79      8 |       14 |        7
0.89/0.92	c  0.1s |       4 |     1004 |      813 |       79     14 |       14 |        7
0.89/0.97	c  0.1s |       5 |     1696 |     1320 |       87     21 |       14 |        7
0.99/1.02	c  0.2s |       5 |     2192 |     1746 |       87     27 |       15 |        9
0.99/1.02	c #cpu_time = 0.179s
0.99/1.02	c #wall_clock_time = 0.179s
0.99/1.02	c #decision = 2192
0.99/1.02	c #random_decision = 8
0.99/1.02	c #conflict = 1746
0.99/1.02	c #restart = 5
0.99/1.02	c BCD2: updating lower bound of a core
0.99/1.02	c lower bound updated to 262568
1.09/1.14	c BCD2: 262568 <= obj <= 262607
1.09/1.14	c BCD2: #cores=2, #unrelaxed=0, #relaxed=22, #hardened=9
1.09/1.14	c BCD2: #sat=2 #unsat=6 bias=6/8
1.09/1.14	c Solving starts ...
1.09/1.14	c ============================[ Search Statistics ]============================
1.09/1.14	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.09/1.14	c       |         |          |          |    Limit     GC | Var      | Constra 
1.09/1.14	c =============================================================================
1.09/1.14	c  0.0s |       0 |        0 |        0 |       87      0 |       16 |       10
1.09/1.15	c  0.0s |       0 |      104 |       61 |       87      0 |       16 |       10
1.09/1.15	c #cpu_time = 0.005s
1.09/1.15	c #wall_clock_time = 0.005s
1.09/1.15	c #decision = 104
1.09/1.15	c #random_decision = 0
1.09/1.15	c #conflict = 61
1.09/1.15	c #restart = 0
1.09/1.15	o 262571
1.29/1.31	c BCD2: updating upper bound: 262607 -> 262570
1.29/1.31	c BCD2: 262568 <= obj <= 262570
1.29/1.31	c BCD2: #cores=2, #unrelaxed=0, #relaxed=22, #hardened=9
1.29/1.31	c BCD2: #sat=3 #unsat=6 bias=6/9
1.29/1.31	c Solving starts ...
1.29/1.31	c ============================[ Search Statistics ]============================
1.29/1.31	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.29/1.31	c       |         |          |          |    Limit     GC | Var      | Constra 
1.29/1.31	c =============================================================================
1.29/1.31	c  0.0s |       0 |        0 |        0 |       87      0 |       17 |       12
1.29/1.32	c  0.0s |       1 |      117 |      100 |       87      1 |       17 |       12
1.29/1.33	c  0.0s |       2 |      282 |      250 |       87      3 |       17 |       12
1.29/1.35	c  0.0s |       3 |      516 |      475 |       87      6 |       17 |       12
1.29/1.38	c  0.1s |       4 |      891 |      813 |       96     10 |       17 |       12
1.39/1.42	c  0.1s |       5 |     1518 |     1320 |       96     16 |       17 |       12
1.39/1.47	c  0.2s |       6 |     2403 |     2081 |       96     26 |       17 |       12
1.49/1.56	c  0.2s |       7 |     3821 |     3223 |      106     41 |       17 |       12
1.59/1.68	c  0.4s |       8 |     5813 |     4936 |      117     62 |       17 |       12
1.79/1.88	c  0.6s |       9 |     8561 |     7506 |      117     90 |       17 |       12
1.89/1.95	c  0.6s |       9 |     9698 |     8534 |      117    101 |       18 |       14
1.89/1.95	c #cpu_time = 0.640s
1.89/1.95	c #wall_clock_time = 0.642s
1.89/1.95	c #decision = 9698
1.89/1.95	c #random_decision = 16
1.89/1.95	c #conflict = 8534
1.89/1.95	c #restart = 9
1.89/1.95	c BCD2: updating lower bound of a core
1.89/1.95	c lower bound updated to 262571
2.08/2.14	s OPTIMUM FOUND
2.08/2.14	v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10
2.08/2.14	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20
2.08/2.14	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30
2.08/2.14	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
2.08/2.14	v -x41 x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50
2.08/2.14	v -x51 x52 -x53 x54 -x55 x56 -x57 x58 x59 x60
2.08/2.14	v x61 x62 x63 x64 x65 x66 x67 x68 x69 -x70
2.08/2.14	v -x71 x72 -x73 x74 x75 -x76 -x77 x78 x79 -x80
2.08/2.14	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89
2.08/2.14	c total CPU time = 2.133s
2.08/2.14	c total wall clock time = 2.139s

Verifier Data 

OK	262571

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

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

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.09 2.14 2.19 3/179 1582
/proc/meminfo: memFree=29487588/32872528 swapFree=1200228/1314692
[pid=1582] ppid=1579 vsize=560572 CPUtime=0 cores=0,2,4,6
/proc/1582/stat : 1582 (toysat) R 1579 1582 31224 0 -1 4202496 2060 0 0 0 0 0 0 0 20 0 4 0 24326665 574025728 2933 33554432000 4194304 16246674 140733699016768 140733699016192 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1582/statm: 140655 2941 441 2943 0 137549 0
[pid=1582/tid=1583] ppid=1579 vsize=721340 CPUtime=0 cores=0,2,4,6
/proc/1582/task/1583/stat : 1583 (toysat) S 1579 1582 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24326665 738652160 3560 33554432000 4194304 16246674 140733699016768 140443304045808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1582/tid=1584] ppid=1579 vsize=725436 CPUtime=0 cores=0,2,4,6
/proc/1582/task/1584/stat : 1584 (toysat) S 1579 1582 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24326666 742846464 3578 33554432000 4194304 16246674 140733699016768 140443215965424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1582/tid=1585] ppid=1579 vsize=729532 CPUtime=0 cores=0,2,4,6
/proc/1582/task/1585/stat : 1585 (toysat) S 1579 1582 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24326666 747040768 3594 33554432000 4194304 16246674 140733699016768 140443205491888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.09 2.14 2.19 3/179 1582
/proc/meminfo: memFree=29487588/32872528 swapFree=1200228/1314692
[pid=1582] ppid=1579 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/1582/stat : 1582 (toysat) R 1579 1582 31224 0 -1 4202496 27293 0 0 0 6 3 0 0 20 0 4 0 24326665 1247350784 28157 33554432000 4194304 16246674 140733699016768 140733698998656 12449273 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1582/statm: 304529 28169 601 2943 0 301423 0
[pid=1582/tid=1583] ppid=1579 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1582/task/1583/stat : 1583 (toysat) S 1579 1582 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24326665 1247350784 28178 33554432000 4194304 16246674 140733699016768 140443304045808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1582/tid=1584] ppid=1579 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1582/task/1584/stat : 1584 (toysat) S 1579 1582 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24326666 1247350784 28187 33554432000 4194304 16246674 140733699016768 140443215965424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1582/tid=1585] ppid=1579 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1582/task/1585/stat : 1585 (toysat) S 1579 1582 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24326666 1247350784 28196 33554432000 4194304 16246674 140733699016768 140443205491888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200557 s]
/proc/loadavg: 2.09 2.14 2.19 3/179 1582
/proc/meminfo: memFree=29487588/32872528 swapFree=1200228/1314692
[pid=1582] ppid=1579 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/1582/stat : 1582 (toysat) R 1579 1582 31224 0 -1 4202496 50940 0 0 0 13 6 0 0 20 0 4 0 24326665 1247350784 51803 33554432000 4194304 16246674 140733699016768 140733698998656 12657333 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1582/statm: 304529 51808 608 2943 0 301423 0
[pid=1582/tid=1583] ppid=1579 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1582/task/1583/stat : 1583 (toysat) S 1579 1582 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24326665 1247350784 51811 33554432000 4194304 16246674 140733699016768 140443304045808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1582/tid=1584] ppid=1579 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1582/task/1584/stat : 1584 (toysat) S 1579 1582 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24326666 1247350784 51815 33554432000 4194304 16246674 140733699016768 140443215965424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1582/tid=1585] ppid=1579 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1582/task/1585/stat : 1585 (toysat) S 1579 1582 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24326666 1247350784 51819 33554432000 4194304 16246674 140733699016768 140443205491888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300464 s]
/proc/loadavg: 2.09 2.14 2.19 3/179 1582
/proc/meminfo: memFree=29487588/32872528 swapFree=1200228/1314692
[pid=1582] ppid=1579 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/1582/stat : 1582 (toysat) R 1579 1582 31224 0 -1 4202496 76626 0 0 0 20 8 0 0 20 0 4 0 24326665 1247350784 77490 33554432000 4194304 16246674 140733699016768 140733698998656 12449399 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1582/statm: 304529 77505 635 2943 0 301423 0
[pid=1582/tid=1583] ppid=1579 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1582/task/1583/stat : 1583 (toysat) S 1579 1582 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24326665 1247350784 77515 33554432000 4194304 16246674 140733699016768 140443304045808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1582/tid=1584] ppid=1579 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1582/task/1584/stat : 1584 (toysat) S 1579 1582 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24326666 1247350784 77524 33554432000 4194304 16246674 140733699016768 140443215965424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1582/tid=1585] ppid=1579 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1582/task/1585/stat : 1585 (toysat) S 1579 1582 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24326666 1247350784 77533 33554432000 4194304 16246674 140733699016768 140443205491888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700396 s]
/proc/loadavg: 2.09 2.14 2.19 3/179 1582
/proc/meminfo: memFree=29487588/32872528 swapFree=1200228/1314692
[pid=1582] ppid=1579 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/1582/stat : 1582 (toysat) R 1579 1582 31224 0 -1 4202496 169113 0 0 0 49 20 0 0 20 0 4 0 24326665 1247350784 169972 33554432000 4194304 16246674 140733699016768 140733698998656 5602147 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1582/statm: 304529 169977 795 2943 0 301423 0
[pid=1582/tid=1583] ppid=1579 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1582/task/1583/stat : 1583 (toysat) S 1579 1582 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24326665 1247350784 169982 33554432000 4194304 16246674 140733699016768 140443304045808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1582/tid=1584] ppid=1579 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1582/task/1584/stat : 1584 (toysat) S 1579 1582 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24326666 1247350784 169988 33554432000 4194304 16246674 140733699016768 140443215965424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1582/tid=1585] ppid=1579 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1582/task/1585/stat : 1585 (toysat) S 1579 1582 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24326666 1247350784 169992 33554432000 4194304 16246674 140733699016768 140443205491888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.09 2.14 2.19 3/183 1588
/proc/meminfo: memFree=28495536/32872528 swapFree=1200228/1314692
[pid=1582] ppid=1579 vsize=1229380 CPUtime=1.49 cores=0,2,4,6
/proc/1582/stat : 1582 (toysat) R 1579 1582 31224 0 -1 4202496 248356 0 0 0 118 31 0 0 20 0 4 0 24326665 1258885120 249193 33554432000 4194304 16246674 140733699016768 140733699016080 13950986 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1582/statm: 307345 249193 848 2943 0 304239 0
[pid=1582/tid=1583] ppid=1579 vsize=1229380 CPUtime=0 cores=0,2,4,6
/proc/1582/task/1583/stat : 1583 (toysat) S 1579 1582 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24326665 1258885120 249193 33554432000 4194304 16246674 140733699016768 140443304045808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1582/tid=1584] ppid=1579 vsize=1229380 CPUtime=0 cores=0,2,4,6
/proc/1582/task/1584/stat : 1584 (toysat) S 1579 1582 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24326666 1258885120 249193 33554432000 4194304 16246674 140733699016768 140443215965424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1582/tid=1585] ppid=1579 vsize=1229380 CPUtime=0 cores=0,2,4,6
/proc/1582/task/1585/stat : 1585 (toysat) S 1579 1582 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24326666 1258885120 249193 33554432000 4194304 16246674 140733699016768 140443205491888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1229380

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

[startup+1.60048 s]
/proc/loadavg: 2.09 2.14 2.19 3/183 1588
/proc/meminfo: memFree=28495536/32872528 swapFree=1200228/1314692
[pid=1582] ppid=1579 vsize=1229380 CPUtime=1.59 cores=0,2,4,6
/proc/1582/stat : 1582 (toysat) R 1579 1582 31224 0 -1 4202496 248356 0 0 0 128 31 0 0 20 0 4 0 24326665 1258885120 249193 33554432000 4194304 16246674 140733699016768 140733699016080 6021524 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1582/statm: 307345 249193 848 2943 0 304239 0
[pid=1582/tid=1583] ppid=1579 vsize=1229380 CPUtime=0 cores=0,2,4,6
/proc/1582/task/1583/stat : 1583 (toysat) S 1579 1582 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24326665 1258885120 249193 33554432000 4194304 16246674 140733699016768 140443304045808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1582/tid=1584] ppid=1579 vsize=1229380 CPUtime=0 cores=0,2,4,6
/proc/1582/task/1584/stat : 1584 (toysat) S 1579 1582 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24326666 1258885120 249193 33554432000 4194304 16246674 140733699016768 140443215965424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1582/tid=1585] ppid=1579 vsize=1229380 CPUtime=0 cores=0,2,4,6
/proc/1582/task/1585/stat : 1585 (toysat) S 1579 1582 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24326666 1258885120 249193 33554432000 4194304 16246674 140733699016768 140443205491888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 1229380

[startup+2.0004 s]
/proc/loadavg: 2.09 2.14 2.19 3/183 1588
/proc/meminfo: memFree=28495536/32872528 swapFree=1200228/1314692
[pid=1582] ppid=1579 vsize=1229380 CPUtime=1.99 cores=0,2,4,6
/proc/1582/stat : 1582 (toysat) R 1579 1582 31224 0 -1 4202496 248431 0 0 0 168 31 0 0 20 0 4 0 24326665 1258885120 249268 33554432000 4194304 16246674 140733699016768 140733699016080 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1582/statm: 307345 249268 848 2943 0 304239 0
[pid=1582/tid=1583] ppid=1579 vsize=1229380 CPUtime=0 cores=0,2,4,6
/proc/1582/task/1583/stat : 1583 (toysat) S 1579 1582 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24326665 1258885120 249268 33554432000 4194304 16246674 140733699016768 140443304045808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1582/tid=1584] ppid=1579 vsize=1229380 CPUtime=0 cores=0,2,4,6
/proc/1582/task/1584/stat : 1584 (toysat) S 1579 1582 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24326666 1258885120 249268 33554432000 4194304 16246674 140733699016768 140443215965424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1582/tid=1585] ppid=1579 vsize=1229380 CPUtime=0 cores=0,2,4,6
/proc/1582/task/1585/stat : 1585 (toysat) S 1579 1582 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24326666 1258885120 249268 33554432000 4194304 16246674 140733699016768 140443205491888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 1229380

[startup+2.10041 s]
/proc/loadavg: 2.09 2.14 2.19 3/183 1588
/proc/meminfo: memFree=28495536/32872528 swapFree=1200228/1314692
[pid=1582] ppid=1579 vsize=1283652 CPUtime=2.08 cores=0,2,4,6
/proc/1582/stat : 1582 (toysat) R 1579 1582 31224 0 -1 4202496 261991 0 0 0 176 32 0 0 20 0 4 0 24326665 1314459648 262828 33554432000 4194304 16246674 140733699016768 140733698998656 12449441 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1582/statm: 320913 262828 848 2943 0 317807 0
[pid=1582/tid=1583] ppid=1579 vsize=1283652 CPUtime=0 cores=0,2,4,6
/proc/1582/task/1583/stat : 1583 (toysat) S 1579 1582 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24326665 1314459648 262828 33554432000 4194304 16246674 140733699016768 140443304045808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1582/tid=1584] ppid=1579 vsize=1283652 CPUtime=0 cores=0,2,4,6
/proc/1582/task/1584/stat : 1584 (toysat) S 1579 1582 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24326666 1314459648 262828 33554432000 4194304 16246674 140733699016768 140443215965424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1582/tid=1585] ppid=1579 vsize=1283652 CPUtime=0 cores=0,2,4,6
/proc/1582/task/1585/stat : 1585 (toysat) S 1579 1582 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24326666 1314459648 262828 33554432000 4194304 16246674 140733699016768 140443205491888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 1283652

Child status: 0
Real time (s): 2.20025
CPU time (s): 2.19667
CPU user time (s): 1.80872
CPU system time (s): 0.387941
CPU usage (%): 99.8369
Max. virtual memory (cumulated for all children) (KiB): 1283652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.80872
system time used= 0.387941
maximum resident set size= 1051532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 262048
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= 4

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.012998 second user time and 0.029995 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-18 06:06:41
IDJOB=4101385
IDBENCH=1740
IDSOLVER=2542
FILE ID=node131/4101385-1466222801
RUNJOBID= node131-1466206062-31240
PBS_JOBID= 19918146
Free space on /tmp= 71692 MiB

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

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

MD5SUM BENCH= 249ed436a6071ad98c057d483cdcc59d
RANDOM SEED=313382077

node131.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.752
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.50
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.752
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.752
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.57
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.752
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.56
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.752
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.752
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.56
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.752
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.57
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.752
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29488192 kB
Buffers:          110192 kB
Cached:           130668 kB
SwapCached:         1508 kB
Active:          1188404 kB
Inactive:         146668 kB
Active(anon):    1093764 kB
Inactive(anon):     2684 kB
Active(file):      94640 kB
Inactive(file):   143984 kB
Unevictable:     1314692 kB
Mlocked:         1200228 kB
SwapTotal:      67108856 kB
SwapFree:       67099856 kB
Dirty:             16332 kB
Writeback:             0 kB
AnonPages:       2408320 kB
Mapped:            10520 kB
Shmem:                 0 kB
Slab:             601012 kB
SReclaimable:      45200 kB
SUnreclaim:       555812 kB
KernelStack:        1520 kB
PageTables:         8908 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2550884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    116736 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= 71672 MiB
End job on node131 at 2016-06-18 06:06:44