Trace number 4106409

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-02OPT3 0.079987 0.083133

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=6-P0=59-P1=29-B.opb
MD5SUM2136726fbb803f220f38b254700007d3
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.008997
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables18
Total number of constraints3
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3
Minimum length of a constraint6
Maximum length of a constraint42
Number of terms in the objective function 6
Biggest coefficient in the objective function 32
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 63
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 2048
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 8048
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)36
Sum of products size (including duplicates)72
Number of different products36
Sum of products size72

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-18T19:28:28+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-4106409-1466270907.opb"]
0.00/0.01	c use --random-gen="2073326961 3070248967 1986663028 2258289306 3551148547 635690620 2199830537 829271043 1749180749 3885866090 3753595754 3428787742 2448073870 3380633843 117168554 1985713437 2759668430 677421548 1146871913 639987193 1884166937 2920846425 2489849630 56387235 3811591167 2299433148 1566222788 4191825551 386513606 163928429 2004413190 1108460010 2460715787 2525562410 3142805615 1809381570 1529313748 3707996974 2838142886 2078874091 1312373140 1659743731 2401296792 2594728200 3704838787 1429993388 2279559936 3707979904 4157556546 110221071 652734158 2531586704 2354223459 4289324288 1075952389 4286358477 3244651070 620783902 3425213664 1770945677 3800121568 3892580082 4064712511 3742932777 4122264556 3799738291 1031571199 336090287 1788377848 3566530948 3390288220 4365308 1559956231 3523304915 1430592378 852091687 120646383 2157694844 3172039721 180651998 3513501471 745716789 905034380 4138251078 3673841269 741158579 2410803938 2888058598 4267973527 718111097 2900980451 600322363 3289989520 2801813194 1765976460 87453524 200876287 2090235316 544922061 1421195725 4041062890 535444488 3370964197 903112593 3032732205 3846841562 3107731361 3100996 1031884976 3218649390 3290637693 3376373938 3396329934 4120127254 3995947924 3970046983 1697671923 581041954 1466248320 1312476598 1007930763 4132504435 3273019684 2768512684 2183678619 3046786995 1757706595 1954374162 2429102266 266011987 4251013738 461636681 54508455 3548689833 1195494863 2928380988 1973026324 312785985 3103824125 2053279603 1037154853 2957401964 675423934 2609423544 4185458655 428973875 304001809 880810576 1877449953 4226272 3517708527 2983201832 2819654467 1348690307 2385539694 3648559195 1999658797 3722945090 4051569472 3924248120 355135084 3829306547 1184986559 3868924735 2232692020 1709794641 1553565103 753815938 496167205 3842368282 1760819113 1523102143 4108777951 1755053682 526789073 3643695526 2954590750 2789425505 2926436305 540500175 1519415608 226920994 1983271067 1747700352 1781057111 4100786580 486408236 1884398116 3609676786 1358289046 255833920 2088420787 1356152671 3257497225 3507745661 1689061591 3856139921 2593684572 3852302186 1456145763 3910866362 3806912431 2721025714 3379659590 903809470 3707699761 2280522582 2198284242 245382678 1239100712 3562143494 2031640324 2946211495 224570828 782371495 2198020795 1397382234 1651868073 3807960859 948203597 3348252004 562572188 1947623003 1184087925 2686767684 1598527677 4014493318 2470905848 2558039788 4060746752 516844480 1727371808 3152690563 1093284358 3977199523 1881907999 3382857327 2839284171 2924935770 2972121850 581121324 1312712665 836330854 3474990420 8657440 2284795957 3951893663 496342914 165970326 3677478950 1886915854 3480566185 4010935031 2181952952 2119199381 2070748512 255 362436" option to reproduce the execution
0.00/0.01	c #vars 18
0.00/0.01	c #constraints 3
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 |       55      0 |        0 |        0
0.00/0.02	c  0.0s |       0 |       56 |       48 |       55      0 |        0 |        0
0.00/0.02	c #cpu_time = 0.006s
0.00/0.02	c #wall_clock_time = 0.007s
0.00/0.02	c #decision = 56
0.00/0.02	c #random_decision = 0
0.00/0.02	c #conflict = 48
0.00/0.02	c #restart = 0
0.00/0.02	o 57
0.00/0.02	c BCD2: updating upper bound: 63 -> 56
0.00/0.02	c BCD2: 0 <= obj <= 56
0.00/0.02	c BCD2: #cores=0, #unrelaxed=6, #relaxed=0, #hardened=0
0.00/0.02	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |       55      0 |        0 |        0
0.00/0.02	c  0.0s |       0 |        4 |        0 |       55      0 |        0 |        0
0.00/0.02	c #cpu_time = 0.000s
0.00/0.02	c #wall_clock_time = 0.000s
0.00/0.02	c #decision = 4
0.00/0.02	c #random_decision = 0
0.00/0.02	c #conflict = 0
0.00/0.02	c #restart = 0
0.00/0.02	c BCD2: found a new core of size 5: cost of the new core is >=2
0.00/0.02	c lower bound updated to 2
0.00/0.02	c BCD2: 2 <= obj <= 56
0.00/0.02	c BCD2: #cores=1, #unrelaxed=1, #relaxed=5, #hardened=0
0.00/0.02	c BCD2: #sat=1 #unsat=2 bias=2/3
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |       55      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      119 |      100 |       61      2 |        0 |        0
0.00/0.05	c  0.0s |       2 |      275 |      250 |       68      5 |        0 |        0
0.00/0.07	c  0.0s |       2 |      406 |      378 |       68      8 |        0 |        0
0.00/0.07	c #cpu_time = 0.048s
0.00/0.07	c #wall_clock_time = 0.049s
0.00/0.07	c #decision = 406
0.00/0.07	c #random_decision = 0
0.00/0.07	c #conflict = 378
0.00/0.07	c #restart = 2
0.00/0.07	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 6: cost of the new core is >=3
0.00/0.07	c lower bound updated to 3
0.00/0.07	c BCD2: 3 <= obj <= 56
0.00/0.07	c BCD2: #cores=1, #unrelaxed=0, #relaxed=6, #hardened=0
0.00/0.07	c BCD2: #sat=1 #unsat=3 bias=3/4
0.00/0.07	c Solving starts ...
0.00/0.07	c ============================[ Search Statistics ]============================
0.00/0.07	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.07	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.07	c =============================================================================
0.00/0.07	c  0.0s |       0 |        0 |        0 |       68      0 |        1 |        0
0.00/0.07	c  0.0s |       0 |       14 |        7 |       68      0 |        1 |        1
0.00/0.07	c #cpu_time = 0.002s
0.00/0.07	c #wall_clock_time = 0.002s
0.00/0.07	c #decision = 14
0.00/0.07	c #random_decision = 0
0.00/0.07	c #conflict = 7
0.00/0.07	c #restart = 0
0.00/0.07	o 23
0.00/0.07	c BCD2: hardening fixes 1 literals
0.00/0.07	c BCD2: updating upper bound: 56 -> 22
0.00/0.07	c BCD2: 3 <= obj <= 22
0.00/0.07	c BCD2: #cores=1, #unrelaxed=0, #relaxed=5, #hardened=1
0.00/0.07	c BCD2: #sat=2 #unsat=3 bias=3/5
0.00/0.07	c Solving starts ...
0.00/0.07	c ============================[ Search Statistics ]============================
0.00/0.07	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.07	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.07	c =============================================================================
0.00/0.07	c  0.0s |       0 |        0 |        0 |       68      0 |        9 |        2
0.00/0.07	c  0.0s |       0 |        8 |        3 |       68      0 |        9 |       21
0.00/0.07	c #cpu_time = 0.001s
0.00/0.07	c #wall_clock_time = 0.001s
0.00/0.07	c #decision = 8
0.00/0.07	c #random_decision = 0
0.00/0.07	c #conflict = 3
0.00/0.07	c #restart = 0
0.00/0.07	o 5
0.00/0.07	c BCD2: hardening fixes 2 literals
0.00/0.07	c BCD2: updating upper bound: 22 -> 4
0.00/0.07	c BCD2: 3 <= obj <= 4
0.00/0.07	c BCD2: #cores=1, #unrelaxed=0, #relaxed=3, #hardened=3
0.00/0.07	c BCD2: #sat=3 #unsat=3 bias=3/6
0.00/0.07	c Solving starts ...
0.00/0.07	c ============================[ Search Statistics ]============================
0.00/0.07	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.07	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.07	c =============================================================================
0.00/0.07	c  0.0s |       0 |        0 |        0 |       68      0 |       25 |       23
0.00/0.07	c  0.0s |       0 |       11 |        9 |       68      0 |       25 |       59
0.00/0.07	c #cpu_time = 0.001s
0.00/0.07	c #wall_clock_time = 0.001s
0.00/0.07	c #decision = 11
0.00/0.07	c #random_decision = 0
0.00/0.07	c #conflict = 9
0.00/0.07	c #restart = 0
0.00/0.07	o 3
0.00/0.07	s OPTIMUM FOUND
0.00/0.07	v x1 x2 -x3 -x4 -x5 -x6 x7 -x8 x9 -x10
0.00/0.07	v -x11 x12 x13 -x14 -x15 -x16 -x17 -x18
0.00/0.07	c total CPU time = 0.075s
0.00/0.07	c total wall clock time = 0.075s

Verifier Data 

OK	3

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-4106409-1466270907/watcher-4106409-1466270907 -o /tmp/evaluation-result-4106409-1466270907/solver-4106409-1466270907 -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-4106409-1466270907.opb 

pid=9663
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.08 2.10 2.09 3/179 9666
/proc/meminfo: memFree=30190272/32872528 swapFree=526336/559040
[pid=9666] ppid=9663 vsize=604604 CPUtime=0 cores=1,3,5,7
/proc/9666/stat : 9666 (toysat) R 9663 9666 28898 0 -1 4202496 2236 0 0 0 0 0 0 0 20 0 4 0 29140872 619114496 2597 33554432000 4194304 16246674 140735537939424 140735537938848 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9666/statm: 151919 2608 441 2943 0 148813 0
[pid=9666/tid=9667] ppid=9663 vsize=648636 CPUtime=0 cores=1,3,5,7
/proc/9666/task/9667/stat : 9667 (toysat) S 9663 9666 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29140872 664203264 2769 33554432000 4194304 16246674 140735537939424 139798683561200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9666/tid=9668] ppid=9663 vsize=653756 CPUtime=0 cores=1,3,5,7
/proc/9666/task/9668/stat : 9668 (toysat) S 9663 9666 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29140872 669446144 2786 33554432000 4194304 16246674 140735537939424 139798673071344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9666/tid=9669] ppid=9663 vsize=657852 CPUtime=0 cores=1,3,5,7
/proc/9666/task/9669/stat : 9669 (toysat) S 9663 9666 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29140872 673640448 2802 33554432000 4194304 16246674 140735537939424 139798662597808 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 9666 sig 9
??? kill -9666 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0
Real time (s): 0.083133
CPU time (s): 0.079987
CPU user time (s): 0.047992
CPU system time (s): 0.031995
CPU usage (%): 96.2157
Max. virtual memory (cumulated for all children) (KiB): 0

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.047992
system time used= 0.031995
maximum resident set size= 70832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17369
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= 20
involuntary context switches= 2

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

The end

Launcher Data 

Begin job on node106 at 2016-06-18 19:28:27
IDJOB=4106409
IDBENCH=48050
IDSOLVER=2542
FILE ID=node106/4106409-1466270907
RUNJOBID= node106-1466241787-28915
PBS_JOBID= 19918214
Free space on /tmp= 71684 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=6-P0=59-P1=29-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106409-1466270907/watcher-4106409-1466270907 -o /tmp/evaluation-result-4106409-1466270907/solver-4106409-1466270907 -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-4106409-1466270907.opb

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

MD5SUM BENCH= 2136726fbb803f220f38b254700007d3
RANDOM SEED=1174078279

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:        30190428 kB
Buffers:           92148 kB
Cached:           197388 kB
SwapCached:         1736 kB
Active:          1179920 kB
Inactive:         192684 kB
Active(anon):    1081420 kB
Inactive(anon):     4000 kB
Active(file):      98500 kB
Inactive(file):   188684 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099160 kB
Dirty:             16448 kB
Writeback:             0 kB
AnonPages:       1645856 kB
Mapped:            10424 kB
Shmem:                 0 kB
Slab:             613156 kB
SReclaimable:      56816 kB
SUnreclaim:       556340 kB
KernelStack:        1464 kB
PageTables:         7132 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1785240 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    256000 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 19:28:28