Trace number 4118628

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02OPT13 0.020996 0.0236811

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-hmittelman.lin.opb
MD5SUM1af08f72e9ef17f436f69174d2a2f74f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark13
Best CPU time to get the best result obtained on this benchmark0.000999
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables26
Total number of constraints27
Number of constraints which are clauses10
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints17
Minimum length of a constraint5
Maximum length of a constraint8
Number of terms in the objective function 9
Biggest coefficient in the objective function 12
Number of bits for the biggest coefficient in the objective function 4
Sum of the numbers in the objective function 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 61
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)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-29T22:21:54+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-4118628-1467231714.opb"]
0.00/0.01	c use --random-gen="2696898532 2917834656 868505028 1978298627 2265793018 389734125 880368769 4223282073 4263277800 3869512712 2041114618 1030177068 1581987312 4164907181 245189821 4158843854 3288495984 160186139 2418428021 4147360918 124874671 1095102632 3846858936 4113853577 1923719991 3047568866 2547295366 2567116629 1096664218 2356286206 1019663423 2519093562 1771807914 1249473584 967445542 2652766320 2292830786 4229553844 1722792277 2884020081 997455574 2767569187 3083690312 597636539 1774813400 2003353572 3371175731 4254693940 3153613400 2005706829 3609971527 3734678175 1767120462 364175128 816016700 896260953 3824182001 3781203584 1010626834 1407136441 323653240 2038675405 2299770332 574517181 68521541 608995815 2238219772 1810448118 1195486388 1930357818 1469394669 678871497 3323392004 1025826107 1834601041 299513067 492917413 1275582876 1087177989 2537059534 1785420836 4270267481 3411004046 3705909392 1764377415 1486150049 946347588 3443965614 3179018510 1776229101 790757518 2699010594 3294912675 2560319152 3951146316 2301599552 1434832890 22289652 3024386692 1213830849 3021591515 3742426380 3321930688 1143515132 4451442 2672093938 2631846806 1234606284 388252501 13501725 4202881345 63698401 1819664034 3417054887 1202464761 3762658589 4129975905 2902646206 2917038458 4026684961 105438860 929787376 2234614511 971918503 3019176058 2162952600 2769524836 3604537254 2541121753 4185398095 1574427284 1177005216 3585556078 1758102895 4239513654 3355269262 3815081003 932199025 2748202515 2602743486 3384241355 2195749998 400613498 1144301887 2898474036 2721624877 4127588294 1127170540 1177401889 3762831279 2347665961 3714051026 3772282374 3081270973 3863371615 3239449324 2087392969 1021131554 3818230150 111354203 199656215 2682897621 1063427721 1990592850 1460670222 958969918 1161690747 1802853945 711821083 2019390427 1702426517 2559760799 1817551929 2237542198 3603933092 2436065662 2195418313 3265823592 2347571692 831839043 2515109009 860850859 4215407989 873839320 3110140599 2851793708 1750282827 1535302437 1235195763 52095807 221611899 687905632 3088839941 1244098595 661046973 652180028 2980560958 902818790 2263210786 4196770986 1499845989 208688263 360975141 2039050017 3348924271 3476407188 3465605574 868237317 1789044155 85122632 2556167976 2586642209 229582266 140102531 3286506237 675149824 2549380823 2540785638 3029697281 4074930421 2482106956 608799362 1910515698 243461107 80910096 4164682364 2632889043 591384343 463833710 2150081703 3173077669 17641951 207915773 1663161393 155801894 2981164717 2668604323 2698313831 449769509 124091863 1988517700 3573043390 325071356 2822090112 3906905243 987717998 3227053260 1737930283 281694164 683314481 2673494569 3898051966 3506117448 4215301839 291822394 1157291999 255 362436" option to reproduce the execution
0.00/0.01	c #vars 26
0.00/0.01	c #constraints 27
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 |       17      0 |        0 |        0
0.00/0.01	c  0.0s |       0 |        4 |        1 |       17      0 |        0 |        0
0.00/0.01	c #cpu_time = 0.000s
0.00/0.01	c #wall_clock_time = 0.000s
0.00/0.01	c #decision = 4
0.00/0.01	c #random_decision = 0
0.00/0.01	c #conflict = 1
0.00/0.01	c #restart = 0
0.00/0.01	o 16
0.00/0.01	c BCD2: updating upper bound: 50 -> 15
0.00/0.01	c BCD2: 0 <= obj <= 15
0.00/0.01	c BCD2: #cores=0, #unrelaxed=9, #relaxed=0, #hardened=0
0.00/0.01	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       17      0 |        0 |        0
0.00/0.01	c  0.0s |       0 |        3 |        0 |       17      0 |        0 |        0
0.00/0.01	c #cpu_time = 0.000s
0.00/0.01	c #wall_clock_time = 0.000s
0.00/0.01	c #decision = 3
0.00/0.01	c #random_decision = 0
0.00/0.01	c #conflict = 0
0.00/0.01	c #restart = 0
0.00/0.01	c BCD2: found a new core of size 4: cost of the new core is >=1
0.00/0.01	c lower bound updated to 1
0.00/0.01	c BCD2: 1 <= obj <= 15
0.00/0.01	c BCD2: #cores=1, #unrelaxed=5, #relaxed=4, #hardened=0
0.00/0.01	c BCD2: #sat=1 #unsat=2 bias=2/3
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       17      0 |        0 |        0
0.00/0.01	c  0.0s |       0 |        4 |        1 |       17      0 |        0 |        0
0.00/0.01	c #cpu_time = 0.000s
0.00/0.01	c #wall_clock_time = 0.000s
0.00/0.01	c #decision = 4
0.00/0.01	c #random_decision = 0
0.00/0.01	c #conflict = 1
0.00/0.01	c #restart = 0
0.00/0.01	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 5: cost of the new core is >=6
0.00/0.01	c lower bound updated to 6
0.00/0.01	c BCD2: hardening fixes 1 literals
0.00/0.01	c BCD2: 6 <= obj <= 15
0.00/0.01	c BCD2: #cores=1, #unrelaxed=3, #relaxed=5, #hardened=1
0.00/0.01	c BCD2: #sat=1 #unsat=3 bias=3/4
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       17      0 |        3 |        0
0.00/0.01	c  0.0s |       0 |        4 |        1 |       17      0 |        3 |        3
0.00/0.01	c #cpu_time = 0.000s
0.00/0.01	c #wall_clock_time = 0.000s
0.00/0.01	c #decision = 4
0.00/0.01	c #random_decision = 0
0.00/0.01	c #conflict = 1
0.00/0.01	c #restart = 0
0.00/0.01	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 6: cost of the new core is >=7
0.00/0.01	c lower bound updated to 7
0.00/0.01	c BCD2: 7 <= obj <= 15
0.00/0.01	c BCD2: #cores=1, #unrelaxed=2, #relaxed=6, #hardened=1
0.00/0.01	c BCD2: #sat=1 #unsat=4 bias=4/5
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       17      0 |        4 |        3
0.00/0.01	c  0.0s |       0 |       12 |        2 |       17      0 |        4 |        4
0.00/0.01	c #cpu_time = 0.000s
0.00/0.01	c #wall_clock_time = 0.000s
0.00/0.01	c #decision = 12
0.00/0.01	c #random_decision = 0
0.00/0.01	c #conflict = 2
0.00/0.01	c #restart = 0
0.00/0.01	o 13
0.00/0.01	c BCD2: hardening fixes 1 literals
0.00/0.01	c BCD2: updating upper bound: 15 -> 12
0.00/0.01	c BCD2: 7 <= obj <= 12
0.00/0.01	c BCD2: #cores=1, #unrelaxed=1, #relaxed=6, #hardened=2
0.00/0.01	c BCD2: #sat=2 #unsat=4 bias=4/6
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       17      0 |        4 |        5
0.00/0.02	c  0.0s |       0 |        1 |        1 |       17      0 |        5 |        7
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 = 1
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: updating lower bound of a core
0.00/0.02	c lower bound updated to 12
0.00/0.02	c BCD2: hardening fixes 1 literals
0.00/0.02	c BCD2: 12 <= obj <= 12
0.00/0.02	c BCD2: #cores=1, #unrelaxed=0, #relaxed=6, #hardened=3
0.00/0.02	c BCD2: #sat=2 #unsat=5 bias=5/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 |       17      0 |        6 |        7
0.00/0.02	c  0.0s |       0 |        2 |        2 |       17      0 |        7 |       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 = 2
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: updating lower bound of a core
0.00/0.02	c lower bound updated to 13
0.00/0.02	s OPTIMUM FOUND
0.00/0.02	v -x1 x2 x3 x4 x5 x6 x7 x8 x9 x10
0.00/0.02	v x11 -x12 x13 x14 x15 -x16 -x17 -x18 x19 x20
0.00/0.02	v -x21 -x22 -x23 -x24 -x25 -x26
0.00/0.02	c total CPU time = 0.017s
0.00/0.02	c total wall clock time = 0.017s

Verifier Data 

OK	13

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4118628-1467231714/watcher-4118628-1467231714 -o /tmp/evaluation-result-4118628-1467231714/solver-4118628-1467231714 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1467215373-3684 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4118628-1467231714.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.35 2.27 2.26 3/179 5313
/proc/meminfo: memFree=27400800/32872528 swapFree=1631852/1795372
[pid=5313] ppid=5310 vsize=522684 CPUtime=0 cores=1,3,5,7
/proc/5313/stat : 5313 (toysat) R 5310 5313 1867 0 -1 4202496 1913 0 0 0 0 0 0 0 20 0 4 0 2197417 535228416 2784 33554432000 4194304 16246674 140733227880448 140733227879872 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5313/statm: 131439 2793 441 2943 0 128333 0
[pid=5313/tid=5314] ppid=5310 vsize=541116 CPUtime=0 cores=1,3,5,7
/proc/5313/task/5314/stat : 5314 (toysat) S 5310 5313 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2197417 554102784 2856 33554432000 4194304 16246674 140733227880448 139746036657392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5313/tid=5315] ppid=5310 vsize=545212 CPUtime=0 cores=1,3,5,7
/proc/5313/task/5315/stat : 5315 (toysat) S 5310 5313 1867 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 2197417 558297088 2872 33554432000 4194304 16246674 140733227880448 139745954868464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5313/tid=5316] ppid=5310 vsize=550332 CPUtime=0 cores=1,3,5,7
/proc/5313/task/5316/stat : 5316 (toysat) S 5310 5313 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2197417 563539968 2889 33554432000 4194304 16246674 140733227880448 139745944394928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

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

Child status: 0
Real time (s): 0.0236811
CPU time (s): 0.020996
CPU user time (s): 0.004999
CPU system time (s): 0.015997
CPU usage (%): 88.6615
Max. virtual memory (cumulated for all children) (KiB): 0

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.004999
system time used= 0.015997
maximum resident set size= 28848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6363
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= 18
involuntary context switches= 2

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

The end

Launcher Data 

Begin job on node123 at 2016-06-29 22:21:54
IDJOB=4118628
IDBENCH=111515
IDSOLVER=2542
FILE ID=node123/4118628-1467231714
RUNJOBID= node123-1467215373-3684
PBS_JOBID= 19997595
Free space on /tmp= 71716 MiB

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

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

MD5SUM BENCH= 1af08f72e9ef17f436f69174d2a2f74f
RANDOM SEED=1320257586

node123.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.387
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.77
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.387
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.387
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.387
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.387
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.387
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.387
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.387
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:        27401064 kB
Buffers:           95776 kB
Cached:          1757852 kB
SwapCached:            0 kB
Active:          1251024 kB
Inactive:        1711312 kB
Active(anon):    1111140 kB
Inactive(anon):        0 kB
Active(file):     139884 kB
Inactive(file):  1711312 kB
Unevictable:     1795372 kB
Mlocked:         1631852 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16344 kB
Writeback:             0 kB
AnonPages:       2903592 kB
Mapped:            17304 kB
Shmem:               204 kB
Slab:             578248 kB
SReclaimable:      22764 kB
SUnreclaim:       555484 kB
KernelStack:        1488 kB
PageTables:         9512 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3037340 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    169984 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= 71700 MiB
End job on node123 at 2016-06-29 22:21:54