Trace number 4104097

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-02OPT29 0.064989 0.0673901

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=29-Q=71.opb
MD5SUM305a19f44ef33f27f023f68720dedcbe
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark29
Best CPU time to get the best result obtained on this benchmark0.013997
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 29
Optimality of the best value was proved YES
Number of variables99
Total number of constraints244
Number of constraints which are clauses243
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint81
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 65536
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 263180
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T11:39: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-4104097-1466242781.opb"]
0.00/0.01	c use --random-gen="341993556 3168287436 431350240 1798150406 2398991780 994125995 2311758400 2050791465 4139236980 234464639 3146850625 4212110797 3622151247 519894218 2764498895 1126638839 2767692165 91353102 2232305315 1453330324 678999856 1775497714 3563469277 3184053624 1428052535 1631013802 2963345627 1786505399 1096866355 1003554418 3137068622 3170715627 874673454 334505976 2324901787 3822456606 1546037956 927605250 3894257924 2334030716 1559952629 3963432875 489056413 1864407629 4174842868 2724371679 3414959695 725866798 3568624029 3485103127 681035654 1502036602 3972021007 2106293244 2967363229 3859985248 2716417045 799256429 2994990384 1055385555 4005255151 2766406890 487068559 2879278215 1236276991 3689371142 103790119 3333001549 433530196 3327673812 2170750051 1625607899 3770441699 2544224679 2345122653 2532896724 3030979338 1170727726 1102070613 766607685 3262757540 2113166461 3465844125 2319009607 4070230447 1051431157 447652588 2308440935 1766466771 1867707745 2706108528 2204355930 1697073284 2484489428 3231516804 664352304 978480256 492503414 240473426 3117451358 2347161539 4017205642 322566847 3017442783 3152101330 2188439470 1153293686 2953204066 3378323573 1269007749 662193584 2193275785 372086400 110491586 1541155562 1201301553 604910225 4209352121 3323431694 26966547 1166446741 3597890660 4230906471 1907487695 215657665 3435832382 3007351388 14093096 1136433154 29512548 1096290136 2209023897 1876143326 3213017461 4191621645 1814956731 2110941310 4132681447 4057482160 3689662371 1606055728 468072651 1393929389 4144008266 2055851621 69743710 3513342679 498110102 677204880 630156304 1829232706 41370221 224129031 2955417952 357723613 1493754356 669492419 525148754 3918139690 456109868 503721019 2031630404 1773100604 809542339 2067763475 3336535372 1613220651 1126902050 1924834322 2431008497 3552628750 1502530628 3017708024 3723168348 1779936187 3353640625 2326912197 1268420000 1482366921 4265667553 448648427 2923831067 1603519238 108954400 2219575026 916957339 3009016060 3716572105 625742277 3318851820 3069698652 2458805888 1742582864 1751737272 2039700459 1005941136 1776974058 2611190259 3400361644 2004180286 3543343359 2526737015 1726796199 661548284 2627509164 1952479400 2572118012 3977952087 1974068093 2974027287 3371473905 3444083701 463165124 480073496 1352480297 3001427192 2519489205 4147788805 3845982579 2073579564 1219590684 2526543381 1448546022 1831980506 72467632 2794380308 1354379351 2534538144 4264489626 1565059450 2131809490 3834971521 850889388 1433294373 417740696 1158437098 3355699520 4068779107 2395758206 2497893396 2362020289 1022597028 2215538883 1066878255 3002731303 3396125387 1593329936 2048850478 1187670892 3378213804 2596708197 2864243407 2994580808 2691816929 438471715 1309251728 255 362436" option to reproduce the execution
0.00/0.01	c #vars 99
0.00/0.01	c #constraints 244
0.00/0.03	c BCD2: Hardening is enabled.
0.00/0.03	c BCD2: BiasedSearch is enabled.
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 |      114      0 |       15 |        0
0.00/0.04	c  0.0s |       0 |      146 |       66 |      114      0 |       15 |       30
0.00/0.04	c #cpu_time = 0.012s
0.00/0.04	c #wall_clock_time = 0.012s
0.00/0.04	c #decision = 146
0.00/0.04	c #random_decision = 0
0.00/0.04	c #conflict = 66
0.00/0.04	c #restart = 0
0.00/0.04	o 29
0.00/0.04	c BCD2: hardening fixes 4 literals
0.00/0.04	c BCD2: updating upper bound: 511 -> 28
0.00/0.04	c BCD2: 0 <= obj <= 28
0.00/0.04	c BCD2: #cores=0, #unrelaxed=5, #relaxed=0, #hardened=4
0.00/0.04	c BCD2: #sat=1 #unsat=1 bias=1/2
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 |      114      0 |       41 |       30
0.00/0.04	c  0.0s |       0 |        2 |        0 |      114      0 |       41 |      110
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 = 2
0.00/0.04	c #random_decision = 0
0.00/0.04	c #conflict = 0
0.00/0.04	c #restart = 0
0.00/0.04	c BCD2: found a new core of size 3: cost of the new core is >=4
0.00/0.04	c lower bound updated to 4
0.00/0.04	c BCD2: 4 <= obj <= 28
0.00/0.04	c BCD2: #cores=1, #unrelaxed=2, #relaxed=3, #hardened=4
0.00/0.04	c BCD2: #sat=1 #unsat=2 bias=2/3
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 |      114      0 |       41 |      110
0.00/0.05	c  0.0s |       0 |       15 |       14 |      114      0 |       41 |      110
0.00/0.05	c #cpu_time = 0.003s
0.00/0.05	c #wall_clock_time = 0.003s
0.00/0.05	c #decision = 15
0.00/0.05	c #random_decision = 0
0.00/0.05	c #conflict = 14
0.00/0.05	c #restart = 0
0.00/0.05	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 4: cost of the new core is >=6
0.00/0.05	c lower bound updated to 6
0.00/0.05	c BCD2: 6 <= obj <= 28
0.00/0.05	c BCD2: #cores=1, #unrelaxed=1, #relaxed=4, #hardened=4
0.00/0.05	c BCD2: #sat=1 #unsat=3 bias=3/4
0.00/0.05	c Solving starts ...
0.00/0.05	c ============================[ Search Statistics ]============================
0.00/0.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.05	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.05	c =============================================================================
0.00/0.05	c  0.0s |       0 |        0 |        0 |      114      0 |       42 |      110
0.00/0.05	c  0.0s |       0 |       28 |       26 |      126      0 |       42 |      111
0.00/0.05	c #cpu_time = 0.004s
0.00/0.05	c #wall_clock_time = 0.004s
0.00/0.05	c #decision = 28
0.00/0.05	c #random_decision = 1
0.00/0.05	c #conflict = 26
0.00/0.05	c #restart = 0
0.00/0.05	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 5: cost of the new core is >=7
0.00/0.05	c lower bound updated to 7
0.00/0.05	c BCD2: 7 <= obj <= 28
0.00/0.05	c BCD2: #cores=1, #unrelaxed=0, #relaxed=5, #hardened=4
0.00/0.05	c BCD2: #sat=1 #unsat=4 bias=4/5
0.00/0.05	c Solving starts ...
0.00/0.05	c ============================[ Search Statistics ]============================
0.00/0.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.05	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.05	c =============================================================================
0.00/0.05	c  0.0s |       0 |        0 |        0 |      126      0 |       43 |      111
0.00/0.05	c  0.0s |       0 |       15 |       15 |      126      0 |       45 |      115
0.00/0.05	c #cpu_time = 0.003s
0.00/0.05	c #wall_clock_time = 0.003s
0.00/0.05	c #decision = 15
0.00/0.05	c #random_decision = 0
0.00/0.05	c #conflict = 15
0.00/0.05	c #restart = 0
0.00/0.05	c BCD2: updating lower bound of a core
0.00/0.05	c lower bound updated to 25
0.00/0.05	c BCD2: 25 <= obj <= 28
0.00/0.05	c BCD2: #cores=1, #unrelaxed=0, #relaxed=5, #hardened=4
0.00/0.05	c BCD2: #sat=1 #unsat=5 bias=5/6
0.00/0.05	c Solving starts ...
0.00/0.05	c ============================[ Search Statistics ]============================
0.00/0.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.05	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.05	c =============================================================================
0.00/0.05	c  0.0s |       0 |        0 |        0 |      126      0 |       51 |      115
0.00/0.06	c  0.0s |       0 |       15 |       13 |      126      0 |       67 |      179
0.00/0.06	c #cpu_time = 0.003s
0.00/0.06	c #wall_clock_time = 0.003s
0.00/0.06	c #decision = 15
0.00/0.06	c #random_decision = 0
0.00/0.06	c #conflict = 13
0.00/0.06	c #restart = 0
0.00/0.06	c BCD2: updating lower bound of a core
0.00/0.06	c lower bound updated to 29
0.00/0.06	s OPTIMUM FOUND
0.00/0.06	v x1 -x2 x3 x4 x5 -x6 -x7 -x8 -x9 x10
0.00/0.06	v x11 x12 -x13 -x14 -x15 x16 -x17 -x18 x19 x20
0.00/0.06	v x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30
0.00/0.06	v -x31 -x32 -x33 -x34 -x35 -x36 x37 x38 x39 -x40
0.00/0.06	v -x41 -x42 x43 -x44 -x45 x46 x47 x48 -x49 -x50
0.00/0.06	v -x51 x52 -x53 -x54 x55 x56 x57 -x58 -x59 -x60
0.00/0.06	v x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
0.00/0.06	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
0.00/0.06	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
0.00/0.06	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99
0.00/0.06	c total CPU time = 0.060s
0.00/0.06	c total wall clock time = 0.061s

Verifier Data 

OK	29

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

pid=29358
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.12 2.03 1.90 3/179 29361
/proc/meminfo: memFree=30029960/32872528 swapFree=526336/559040
[pid=29361] ppid=29358 vsize=715196 CPUtime=0 cores=1,3,5,7
/proc/29361/stat : 29361 (toysat) R 29358 29361 28898 0 -1 4202496 2669 0 0 0 0 0 0 0 20 0 4 0 26328233 732360704 2518 33554432000 4194304 16246674 140733859986944 140733859986368 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29361/statm: 179567 2528 441 2943 0 176461 0
[pid=29361/tid=29362] ppid=29358 vsize=732604 CPUtime=0 cores=1,3,5,7
/proc/29361/task/29362/stat : 29362 (toysat) S 29358 29361 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26328233 750186496 2586 33554432000 4194304 16246674 140733859986944 139900153212144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29361/tid=29363] ppid=29358 vsize=736700 CPUtime=0 cores=1,3,5,7
/proc/29361/task/29363/stat : 29363 (toysat) S 29358 29361 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26328233 754380800 2602 33554432000 4194304 16246674 140733859986944 139900142722288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29361/tid=29364] ppid=29358 vsize=740796 CPUtime=0 cores=1,3,5,7
/proc/29361/task/29364/stat : 29364 (toysat) S 29358 29361 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26328233 758575104 2618 33554432000 4194304 16246674 140733859986944 139900132248752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

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

Child status: 0
Real time (s): 0.0673901
CPU time (s): 0.064989
CPU user time (s): 0.036994
CPU system time (s): 0.027995
CPU usage (%): 96.4371
Max. virtual memory (cumulated for all children) (KiB): 0

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.036994
system time used= 0.027995
maximum resident set size= 66632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16830
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= 17
involuntary context switches= 1

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

The end

Launcher Data 

Begin job on node106 at 2016-06-18 11:39:41
IDJOB=4104097
IDBENCH=2654
IDSOLVER=2542
FILE ID=node106/4104097-1466242781
RUNJOBID= node106-1466241787-28915
PBS_JOBID= 19918214
Free space on /tmp= 71684 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=29-Q=71.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4104097-1466242781/watcher-4104097-1466242781 -o /tmp/evaluation-result-4104097-1466242781/solver-4104097-1466242781 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28915 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4104097-1466242781.opb

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

MD5SUM BENCH= 305a19f44ef33f27f023f68720dedcbe
RANDOM SEED=926149912

node106.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		: 2667.073
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	: 5334.14
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		: 2667.073
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		: 2667.073
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		: 2667.073
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		: 2667.073
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		: 2667.073
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		: 2667.073
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.38
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		: 2667.073
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:        30031224 kB
Buffers:           78764 kB
Cached:           205424 kB
SwapCached:         1868 kB
Active:          1335824 kB
Inactive:         202080 kB
Active(anon):    1253036 kB
Inactive(anon):     3048 kB
Active(file):      82788 kB
Inactive(file):   199032 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099160 kB
Dirty:             16648 kB
Writeback:             0 kB
AnonPages:       1814452 kB
Mapped:            10668 kB
Shmem:                 0 kB
Slab:             609948 kB
SReclaimable:      53092 kB
SUnreclaim:       556856 kB
KernelStack:        1520 kB
PageTables:         7840 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1955528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    106496 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= 71668 MiB
End job on node106 at 2016-06-18 11:39:41