Trace number 3734707

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
PB09: bsolo 3.1OPT2 680.275 680.378

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_3.opb
MD5SUMd26b3b10be20d9248aac462b86b1f040
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark52.396
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
Optimality of the best value was proved YES
Number of variables94
Total number of constraints8
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 constraints8
Minimum length of a constraint45
Maximum length of a constraint46
Number of terms in the objective function 64
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 2040
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 940
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 3331
Number of bits of the biggest sum of numbers12
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 bsolo beta version 3.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3734707-1338715710.opb
0.00/0.00	c File size is 3596 bytes.
0.00/0.00	c Highest Coefficient sum: 3331
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 94 Constr: 8 0/0/8 Lit: 366 Watch. Lit: 108
0.00/0.00	c Obj. Vars: 64 (68.0851 % of total variables)
0.00/0.00	c Pre-processing Time: 0 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0     94        8      366   45      112     732      0 -2147483648 0.00
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 780
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0     94        9      430   47      302     860      1 -2147483648 0.00
0.00/0.00	o 550
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       48     94       60     2436   40      453     860     52  16000 0.00
0.00/0.00	o 394
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       49     94       62     2520   40      508     860     54  12250 0.00
0.00/0.00	o 390
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       61     94       75     2955   39      576     860     67  15250 0.00
0.00/0.00	o 382
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       68     94       83     3170   38      636     860     75  17000 0.00
0.00/0.00	o 380
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       68     94       84     3234   38      692     860     76  17000 0.00
0.00/0.00	o 372
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       69     94       86     3352   38      751     860     78  13800 0.01
0.00/0.00	o 325
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       98     94      116     4200   36      847     860    108  12250 0.01
0.00/0.01	o 302
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c      156     94      176     5860   33     1024     860    168  12000 0.01
0.00/0.01	o 281
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c      164     94      185     6174   33     1095     860    177  11714 0.01
0.00/0.01	o 275
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      173     94      195     6461   33     1163     860    187  11533 0.01
0.00/0.02	o 126
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      210     94      234     7709   32     1272     860    226  11052 0.02
0.00/0.02	o 124
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      211     94      236     7825   33     1329     860    228  11105 0.02
0.00/0.02	o 115
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      211     94      237     7889   33     1344     860    229  11105 0.02
0.00/0.02	o 103
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      213     94      240     8045   33     1400     860    232  10650 0.02
0.00/0.02	o 101
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      250     92      278     8931   32     1477     856    270  10869 0.02
0.00/0.04	c      351     90      382    11539   30     1729     942    374  10968 0.03
0.00/0.04	o 99
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      424     89      457    13049   28     1899     850    449  10871 0.04
0.00/0.04	o 69
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      463     89      498    14024   28     2009     850    490  10767 0.04
0.00/0.04	o 65
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      493     89      531    15410   29     2092     850    523  10717 0.05
0.00/0.05	o 46
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      557     89      596    16527   27     2395     850    588  10921 0.05
0.00/0.05	o 44
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      558     89      598    16634   27     2453     850    590  10730 0.05
0.00/0.05	o 42
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c      570     86      611    16962   27     2504     844    603  10754 0.05
0.09/0.11	c      670     81      711    18934   26     2680     929    703  10634 0.06
0.09/0.11	c      920     80      488    10607   21     1242    1022    480  10697 0.09
0.09/0.11	o 37
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c     1227     78      799    16960   21     1914     828    791  11154 0.11
0.09/0.11	o 35
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c     1228     78      801    17039   21     1964     828    793  11063 0.11
0.09/0.13	c     1328     78      462     9176   19     1187     911    454  11066 0.12
0.09/0.13	o 32
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c     1530     78      665    13146   19     1639     828    657  11250 0.14
0.09/0.14	o 26
0.09/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.18	c     1580     70      716    14216   19     1765     812    708  11205 0.14
0.09/0.18	c     1680     70      816    16574   20     1965     894    808  11275 0.15
0.09/0.18	c     1930     70      604    12928   21     1455     984    596  11286 0.17
0.09/0.18	o 23
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c     2076     70      751    16289   21     1782     812    743  11221 0.18
0.19/0.20	c     2176     70      439     9631   21     1119     894    431  11158 0.20
0.19/0.20	o 20
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c     2228     70      493    10763   21     1265     812    485  11195 0.20
0.19/0.21	c     2328     70      593    13016   21     1468     894    585  11246 0.21
0.19/0.21	o 18
0.19/0.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.28	c     2405     70      671    14836   22     1659     812    663  11238 0.21
0.19/0.28	c     2505     70      771    17018   22     1860     894    763  11283 0.22
0.19/0.28	c     2755     70      559    11848   21     1361     984    551  11244 0.24
0.19/0.28	o 14
0.29/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.30	c     3228     70      525    11292   21     1296     812    517  11286 0.29
0.29/0.30	c     3328     65      628    13303   21     1489     894    620  11358 0.29
0.29/0.30	o 11
0.69/0.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.76	c     3408     65      709    15130   21     1688     802    701  11360 0.30
0.69/0.76	c     3508     63      809    17314   21     1883     883    801  11389 0.31
0.69/0.76	c     3758     62      606    12759   21     1434     972    598  11422 0.33
0.69/0.76	c     4234     62      584    12569   21     1393    1070    576  11412 0.37
0.69/0.76	c     5049     62      851    18413   21     1928    1178    843  11527 0.44
0.69/0.76	c     6369     62      968    20729   21     2160    1296    960  11729 0.54
0.69/0.76	c     8451     62     1069    23573   22     2364    1426   1061  11672 0.72
0.69/0.76	o 9
0.79/0.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.80	c     8833     62     1452    32191   22     3162     796   1444  11637 0.76
0.79/0.80	c     8933     62      539    11573   21     1302     876    531  11631 0.77
0.79/0.80	c     9184     62      790    17201   21     1801     964    782  11654 0.79
0.79/0.80	o 6
0.89/0.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.99	c     9433     62      545    11660   21     1343     796    537  11674 0.81
0.89/0.99	c     9533     58      645    13758   21     1533     876    637  11682 0.82
0.89/0.99	c     9783     57      895    19093   21     2035     964    887  11702 0.84
0.89/0.99	c    10258     57      869    18350   21     1957    1061    861  11723 0.88
0.89/0.99	c    11071     55      601    12591   20     1407    1168    593  11702 0.95
0.89/0.99	o 3
44.29/44.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
44.29/44.35	c    11598     55     1132    24415   21     2497     782   1124  11726 0.99
44.29/44.35	c    11698     53      542    11123   20     1280     861    534  11721 1.00
44.29/44.35	c    11948     52      792    16685   21     1783     948    784  11748 1.02
44.29/44.35	c    12424     52      783    16344   20     1763    1043    775  11787 1.05
44.29/44.35	c    13237     52     1063    23046   21     2321    1148   1055  11829 1.12
44.29/44.35	c    14557     51      626    13422   21     1443    1263    618  11825 1.23
44.29/44.35	c    16638     50      780    16639   21     1755    1390    772  11858 1.40
44.29/44.35	c    19861     50     1167    24891   21     2522    1530   1159  11857 1.68
44.29/44.35	c    24797     48     1419    30656   21     3028    1684   1411  11741 2.11
44.29/44.35	c    32303     48     1183    25454   21     2558    1853   1175  11528 2.80
44.29/44.35	c    43664     48     1215    26516   21     2623    2039   1207  11338 3.85
44.29/44.35	c    60808     48     1756    38315   21     3703    2243   1748  10978 5.54
44.29/44.35	c    86627     48     1362    29760   21     2909    2468   1354  10730 8.07
44.29/44.35	c   125459     46     1373    29765   21     2930    2715   1365  10412 12.05
44.29/44.35	c   183813     46     1958    42663   21     4101    2987   1950   9840 18.68
44.29/44.35	c   271447     46     1974    43665   22     4132    3286   1966   9461 28.69
44.29/44.35	o 2
680.18/680.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
680.18/680.37	c   396522     46     2472    54294   21     5142     764   2464   8941 44.35
680.18/680.37	c   396622     46      539    11054   20     1254     841    531   8941 44.36
680.18/680.37	c   396872     45      789    16380   20     1752     926    781   8943 44.38
680.18/680.37	c   397348     45      787    16109   20     1751    1019    779   8946 44.41
680.18/680.37	c   398161     45      568    11385   20     1307    1121    560   8951 44.48
680.18/680.37	c   399481     45      749    15512   20     1676    1234    741   8960 44.58
680.18/680.37	c   401563     44      944    19678   20     2061    1358    936   8971 44.76
680.18/680.37	c   404786     44     1405    29478   20     2982    1494   1397   8988 45.03
680.18/680.37	c   409724     44      998    20816   20     2163    1644    990   9012 45.46
680.18/680.37	c   417230     44      944    19721   20     2058    1809    936   9048 46.11
680.18/680.37	c   428591     44     1250    26746   21     2671    1990   1242   9086 47.17
680.18/680.37	c   445737     44     1180    25499   21     2534    2190   1172   9135 48.79
680.18/680.37	c   471556     44     1419    30865   21     3013    2410   1411   9181 51.36
680.18/680.37	c   510388     43     2326    48683   20     4826    2652   2318   9245 55.20
680.18/680.37	c   568740     42     1571    34262   21     3311    2918   1563   9275 61.32
680.18/680.37	c   656372     41     2030    43917   21     4231    3210   2022   9216 71.22
680.18/680.37	c   787924     39     2088    45831   21     4340    3532   2080   9116 86.43
680.18/680.37	c   985358     38     3297    72793   22     6750    3886   3289   8939 110.23
680.18/680.37	c  1281610     38     3475    76716   22     7111    4275   3467   8602 148.97
680.18/680.37	c  1726093     38     4158    91764   22     8478    4703   4150   8319 207.48
680.18/680.37	c  2392920     38     3024    65726   21     6212    5174   3016   7923 302.01
680.18/680.37	c  3393265     38     3479    74877   21     7121    5692   3471   7534 450.38
680.18/680.37	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 x73 -x74 x75 x76 x77 x78 -x79 x80 x81 x82 -x83 x84 -x85 -x86 x87 x88 x89 -x90 -x91 -x92 x93 -x94 
680.18/680.37	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
680.18/680.37	c   94  4830181  15805  4848792     4090    59254   4082   7100 680.27
680.18/680.37	c Objective: 2
680.18/680.37	s OPTIMUM FOUND
680.18/680.37	c Total time: 680.273 s

Verifier Data 

OK	2

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3734707-1338715710/watcher-3734707-1338715710 -o /tmp/evaluation-result-3734707-1338715710/solver-3734707-1338715710 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3734707-1338715710.opb 

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.00 2.00 1.85 3/176 30639
/proc/meminfo: memFree=31604288/32873844 swapFree=7116/7116
[pid=30639] ppid=30637 vsize=26412 CPUtime=0 cores=0,2,4,6
/proc/30639/stat : 30639 (bsolo) R 30637 30639 30350 0 -1 4202496 299 0 0 0 0 0 0 0 20 0 1 0 337699625 27045888 251 33554432000 134512640 137136520 4289362736 4289361372 134614736 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30639/statm: 6603 251 197 641 0 5959 0

[startup+0.0653789 s]
/proc/loadavg: 2.00 2.00 1.85 3/176 30639
/proc/meminfo: memFree=31604288/32873844 swapFree=7116/7116
[pid=30639] ppid=30637 vsize=18852 CPUtime=0.06 cores=0,2,4,6
/proc/30639/stat : 30639 (bsolo) R 30637 30639 30350 0 -1 4202496 373 0 0 0 6 0 0 0 20 0 1 0 337699625 19304448 325 33554432000 134512640 137136520 4289362736 4289361852 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30639/statm: 4713 325 197 641 0 4069 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 18852

[startup+0.100255 s]
/proc/loadavg: 2.00 2.00 1.85 3/176 30639
/proc/meminfo: memFree=31604288/32873844 swapFree=7116/7116
[pid=30639] ppid=30637 vsize=18980 CPUtime=0.09 cores=0,2,4,6
/proc/30639/stat : 30639 (bsolo) R 30637 30639 30350 0 -1 4202496 396 0 0 0 9 0 0 0 20 0 1 0 337699625 19435520 348 33554432000 134512640 137136520 4289362736 4289361852 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30639/statm: 4745 348 197 641 0 4101 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18980

[startup+0.300224 s]
/proc/loadavg: 2.00 2.00 1.85 3/176 30639
/proc/meminfo: memFree=31604288/32873844 swapFree=7116/7116
[pid=30639] ppid=30637 vsize=18984 CPUtime=0.29 cores=0,2,4,6
/proc/30639/stat : 30639 (bsolo) R 30637 30639 30350 0 -1 4202496 397 0 0 0 29 0 0 0 20 0 1 0 337699625 19439616 349 33554432000 134512640 137136520 4289362736 4289361852 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30639/statm: 4746 349 197 641 0 4102 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18984

[startup+0.700222 s]
/proc/loadavg: 2.00 2.00 1.85 3/176 30639
/proc/meminfo: memFree=31604288/32873844 swapFree=7116/7116
[pid=30639] ppid=30637 vsize=19112 CPUtime=0.69 cores=0,2,4,6
/proc/30639/stat : 30639 (bsolo) R 30637 30639 30350 0 -1 4202496 423 0 0 0 69 0 0 0 20 0 1 0 337699625 19570688 375 33554432000 134512640 137136520 4289362736 4289361852 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30639/statm: 4778 375 197 641 0 4134 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19112

[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 30640
/proc/meminfo: memFree=31603428/32873844 swapFree=7116/7116
[pid=30639] ppid=30637 vsize=19112 CPUtime=1.49 cores=0,2,4,6
/proc/30639/stat : 30639 (bsolo) R 30637 30639 30350 0 -1 4202496 432 0 0 0 149 0 0 0 20 0 1 0 337699625 19570688 384 33554432000 134512640 137136520 4289362736 4289361852 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30639/statm: 4778 384 197 641 0 4134 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19112

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 30640
/proc/meminfo: memFree=31602288/32873844 swapFree=7116/7116
[pid=30639] ppid=30637 vsize=19240 CPUtime=3.09 cores=0,2,4,6
/proc/30639/stat : 30639 (bsolo) R 30637 30639 30350 0 -1 4202496 478 0 0 0 308 1 0 0 20 0 1 0 337699625 19701760 430 33554432000 134512640 137136520 4289362736 4289361852 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30639/statm: 4810 430 197 641 0 4166 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19240

[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 30640
/proc/meminfo: memFree=31602288/32873844 swapFree=7116/7116
[pid=30639] ppid=30637 vsize=19496 CPUtime=6.29 cores=0,2,4,6
/proc/30639/stat : 30639 (bsolo) R 30637 30639 30350 0 -1 4202496 522 0 0 0 627 2 0 0 20 0 1 0 337699625 19963904 474 33554432000 134512640 137136520 4289362736 4289361852 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30639/statm: 4874 474 197 641 0 4230 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19496

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 30640
/proc/meminfo: memFree=31602056/32873844 swapFree=7116/7116
[pid=30639] ppid=30637 vsize=19624 CPUtime=12.69 cores=0,2,4,6
/proc/30639/stat : 30639 (bsolo) R 30637 30639 30350 0 -1 4202496 571 0 0 0 1264 5 0 0 20 0 1 0 337699625 20094976 523 33554432000 134512640 137136520 4289362736 4289361852 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30639/statm: 4906 523 197 641 0 4262 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19624

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.86 3/177 30640
/proc/meminfo: memFree=31601932/32873844 swapFree=7116/7116
[pid=30639] ppid=30637 vsize=19756 CPUtime=25.49 cores=0,2,4,6
/proc/30639/stat : 30639 (bsolo) R 30637 30639 30350 0 -1 4202496 600 0 0 0 2539 10 0 0 20 0 1 0 337699625 20230144 552 33554432000 134512640 137136520 4289362736 4289361852 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30639/statm: 4939 552 197 641 0 4295 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19756

[startup+51.1002 s]
/proc/loadavg: 2.07 2.02 1.86 3/177 30640
/proc/meminfo: memFree=31600132/32873844 swapFree=7116/7116
[pid=30639] ppid=30637 vsize=19884 CPUtime=51.08 cores=0,2,4,6
/proc/30639/stat : 30639 (bsolo) R 30637 30639 30350 0 -1 4202496 630 0 0 0 5086 22 0 0 20 0 1 0 337699625 20361216 582 33554432000 134512640 137136520 4289362736 4289361852 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30639/statm: 4971 582 197 641 0 4327 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 19884

[startup+102.306 s]
/proc/loadavg: 2.03 2.01 1.87 3/177 30643
/proc/meminfo: memFree=31599256/32873844 swapFree=7116/7116
[pid=30639] ppid=30637 vsize=20000 CPUtime=102.28 cores=0,2,4,6
/proc/30639/stat : 30639 (bsolo) R 30637 30639 30350 0 -1 4202496 653 0 0 0 10178 50 0 0 20 0 1 0 337699625 20480000 605 33554432000 134512640 137136520 4289362736 4289361852 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30639/statm: 5000 605 197 641 0 4356 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 20000

[startup+162.3 s]
/proc/loadavg: 2.01 2.00 1.87 3/177 30644
/proc/meminfo: memFree=31596968/32873844 swapFree=7116/7116
[pid=30639] ppid=30637 vsize=20260 CPUtime=162.27 cores=0,2,4,6
/proc/30639/stat : 30639 (bsolo) R 30637 30639 30350 0 -1 4202496 731 0 0 0 16149 78 0 0 20 0 1 0 337699625 20746240 683 33554432000 134512640 137136520 4289362736 4289361852 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30639/statm: 5065 683 197 641 0 4421 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 20260

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 30644
/proc/meminfo: memFree=31597092/32873844 swapFree=7116/7116
[pid=30639] ppid=30637 vsize=20504 CPUtime=222.25 cores=0,2,4,6
/proc/30639/stat : 30639 (bsolo) R 30637 30639 30350 0 -1 4202496 775 0 0 0 22124 101 0 0 20 0 1 0 337699625 20996096 727 33554432000 134512640 137136520 4289362736 4289361852 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30639/statm: 5126 727 197 641 0 4482 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 20504

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/177 30644
/proc/meminfo: memFree=31596160/32873844 swapFree=7116/7116
[pid=30639] ppid=30637 vsize=20496 CPUtime=282.25 cores=0,2,4,6
/proc/30639/stat : 30639 (bsolo) R 30637 30639 30350 0 -1 4202496 775 0 0 0 28105 120 0 0 20 0 1 0 337699625 20987904 727 33554432000 134512640 137136520 4289362736 4289361852 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30639/statm: 5124 727 197 641 0 4480 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 20496

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/177 30644
/proc/meminfo: memFree=31596160/32873844 swapFree=7116/7116
[pid=30639] ppid=30637 vsize=20628 CPUtime=342.23 cores=0,2,4,6
/proc/30639/stat : 30639 (bsolo) R 30637 30639 30350 0 -1 4202496 824 0 0 0 34081 142 0 0 20 0 1 0 337699625 21123072 776 33554432000 134512640 137136520 4289362736 4289361852 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30639/statm: 5157 776 197 641 0 4513 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 20628

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 30644
/proc/meminfo: memFree=31595416/32873844 swapFree=7116/7116
[pid=30639] ppid=30637 vsize=20628 CPUtime=402.23 cores=0,2,4,6
/proc/30639/stat : 30639 (bsolo) R 30637 30639 30350 0 -1 4202496 824 0 0 0 40058 165 0 0 20 0 1 0 337699625 21123072 776 33554432000 134512640 137136520 4289362736 4289361852 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30639/statm: 5157 776 197 641 0 4513 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 20628

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 30645
/proc/meminfo: memFree=31594796/32873844 swapFree=7116/7116
[pid=30639] ppid=30637 vsize=20864 CPUtime=462.22 cores=0,2,4,6
/proc/30639/stat : 30639 (bsolo) R 30637 30639 30350 0 -1 4202496 876 0 0 0 46038 184 0 0 20 0 1 0 337699625 21364736 828 33554432000 134512640 137136520 4289362736 4289361852 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30639/statm: 5216 828 197 641 0 4572 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 20864

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30645
/proc/meminfo: memFree=31594920/32873844 swapFree=7116/7116
[pid=30639] ppid=30637 vsize=20864 CPUtime=522.21 cores=0,2,4,6
/proc/30639/stat : 30639 (bsolo) R 30637 30639 30350 0 -1 4202496 876 0 0 0 52019 202 0 0 20 0 1 0 337699625 21364736 828 33554432000 134512640 137136520 4289362736 4289361852 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30639/statm: 5216 828 197 641 0 4572 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 20864

[startup+582.3 s]
/proc/loadavg: 2.03 2.01 1.91 3/177 30645
/proc/meminfo: memFree=31595044/32873844 swapFree=7116/7116
[pid=30639] ppid=30637 vsize=20864 CPUtime=582.2 cores=0,2,4,6
/proc/30639/stat : 30639 (bsolo) R 30637 30639 30350 0 -1 4202496 876 0 0 0 57997 223 0 0 20 0 1 0 337699625 21364736 828 33554432000 134512640 137136520 4289362736 4289361852 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30639/statm: 5216 828 197 641 0 4572 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 20864

[startup+642.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/177 30645
/proc/meminfo: memFree=31593244/32873844 swapFree=7116/7116
[pid=30639] ppid=30637 vsize=20864 CPUtime=642.2 cores=0,2,4,6
/proc/30639/stat : 30639 (bsolo) R 30637 30639 30350 0 -1 4202496 876 0 0 0 63974 246 0 0 20 0 1 0 337699625 21364736 828 33554432000 134512640 137136520 4289362736 4289361852 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30639/statm: 5216 828 197 641 0 4572 0
Current children cumulated CPU time (s) 642.2
Current children cumulated vsize (KiB) 20864

Solver just ended. Dumping a history of the last processes samples

[startup+665.506 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30645
/proc/meminfo: memFree=31592624/32873844 swapFree=7116/7116
[pid=30639] ppid=30637 vsize=20864 CPUtime=665.39 cores=0,2,4,6
/proc/30639/stat : 30639 (bsolo) R 30637 30639 30350 0 -1 4202496 876 0 0 0 66286 253 0 0 20 0 1 0 337699625 21364736 828 33554432000 134512640 137136520 4289362736 4289361852 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30639/statm: 5216 828 197 641 0 4572 0
Current children cumulated CPU time (s) 665.39
Current children cumulated vsize (KiB) 20864

[startup+671.9 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30645
/proc/meminfo: memFree=31592500/32873844 swapFree=7116/7116
[pid=30639] ppid=30637 vsize=20864 CPUtime=671.79 cores=0,2,4,6
/proc/30639/stat : 30639 (bsolo) R 30637 30639 30350 0 -1 4202496 876 0 0 0 66924 255 0 0 20 0 1 0 337699625 21364736 828 33554432000 134512640 137136520 4289362736 4289361852 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30639/statm: 5216 828 197 641 0 4572 0
Current children cumulated CPU time (s) 671.79
Current children cumulated vsize (KiB) 20864

[startup+675.1 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30645
/proc/meminfo: memFree=31592128/32873844 swapFree=7116/7116
[pid=30639] ppid=30637 vsize=20864 CPUtime=674.98 cores=0,2,4,6
/proc/30639/stat : 30639 (bsolo) R 30637 30639 30350 0 -1 4202496 876 0 0 0 67242 256 0 0 20 0 1 0 337699625 21364736 828 33554432000 134512640 137136520 4289362736 4289361852 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30639/statm: 5216 828 197 641 0 4572 0
Current children cumulated CPU time (s) 674.98
Current children cumulated vsize (KiB) 20864

[startup+678.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30645
/proc/meminfo: memFree=31592252/32873844 swapFree=7116/7116
[pid=30639] ppid=30637 vsize=20864 CPUtime=678.19 cores=0,2,4,6
/proc/30639/stat : 30639 (bsolo) R 30637 30639 30350 0 -1 4202496 876 0 0 0 67561 258 0 0 20 0 1 0 337699625 21364736 828 33554432000 134512640 137136520 4289362736 4289361852 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30639/statm: 5216 828 197 641 0 4572 0
Current children cumulated CPU time (s) 678.19
Current children cumulated vsize (KiB) 20864

[startup+679.1 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30645
/proc/meminfo: memFree=31592252/32873844 swapFree=7116/7116
[pid=30639] ppid=30637 vsize=20864 CPUtime=678.99 cores=0,2,4,6
/proc/30639/stat : 30639 (bsolo) R 30637 30639 30350 0 -1 4202496 876 0 0 0 67641 258 0 0 20 0 1 0 337699625 21364736 828 33554432000 134512640 137136520 4289362736 4289361852 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30639/statm: 5216 828 197 641 0 4572 0
Current children cumulated CPU time (s) 678.99
Current children cumulated vsize (KiB) 20864

[startup+679.9 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30645
/proc/meminfo: memFree=31592252/32873844 swapFree=7116/7116
[pid=30639] ppid=30637 vsize=20864 CPUtime=679.79 cores=0,2,4,6
/proc/30639/stat : 30639 (bsolo) R 30637 30639 30350 0 -1 4202496 876 0 0 0 67721 258 0 0 20 0 1 0 337699625 21364736 828 33554432000 134512640 137136520 4289362736 4289361852 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30639/statm: 5216 828 197 641 0 4572 0
Current children cumulated CPU time (s) 679.79
Current children cumulated vsize (KiB) 20864

[startup+680.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30645
/proc/meminfo: memFree=31592252/32873844 swapFree=7116/7116
[pid=30639] ppid=30637 vsize=20864 CPUtime=680.18 cores=0,2,4,6
/proc/30639/stat : 30639 (bsolo) R 30637 30639 30350 0 -1 4202496 876 0 0 0 67760 258 0 0 20 0 1 0 337699625 21364736 828 33554432000 134512640 137136520 4289362736 4289361852 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30639/statm: 5216 828 197 641 0 4572 0
Current children cumulated CPU time (s) 680.18
Current children cumulated vsize (KiB) 20864

Child status: 0
Real time (s): 680.378
CPU time (s): 680.275
CPU user time (s): 677.688
CPU system time (s): 2.58661
CPU usage (%): 99.9848
Max. virtual memory (cumulated for all children) (KiB): 20888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 677.688
system time used= 2.58661
maximum resident set size= 3316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 878
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= 1
involuntary context switches= 725

runsolver used 1.15282 second user time and 2.56061 second system time

The end

Launcher Data 

Begin job on node103 at 2012-06-03 11:28:30
IDJOB=3734707
IDBENCH=2896
IDSOLVER=2320
FILE ID=node103/3734707-1338715710
RUNJOBID= node103-1338713869-30366
PBS_JOBID= 14636745
Free space on /tmp= 71124 MiB

SOLVER NAME= PB09: bsolo 3.1
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_3.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734707-1338715710/watcher-3734707-1338715710 -o /tmp/evaluation-result-3734707-1338715710/solver-3734707-1338715710 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 -m15500 HOME/instance-3734707-1338715710.opb

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

MD5SUM BENCH= d26b3b10be20d9248aac462b86b1f040
RANDOM SEED=1483490608

node103.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.189
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.37
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.189
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	: 5331.91
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.189
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	: 5331.92
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.189
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	: 5331.91
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.189
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	: 5331.91
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.189
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	: 5411.36
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.189
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	: 5331.91
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.189
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31604668 kB
Buffers:          165972 kB
Cached:           326536 kB
SwapCached:         5648 kB
Active:           152260 kB
Inactive:         358196 kB
Active(anon):      15592 kB
Inactive(anon):     4740 kB
Active(file):     136668 kB
Inactive(file):   353456 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67096352 kB
Dirty:              3896 kB
Writeback:             0 kB
AnonPages:         22208 kB
Mapped:             9608 kB
Shmem:                 0 kB
Slab:             622828 kB
SReclaimable:      63432 kB
SUnreclaim:       559396 kB
KernelStack:        1472 kB
PageTables:         4040 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     150272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3734707-1338715710.opb

Free space on /tmp at the end= 71120 MiB
End job on node103 at 2012-06-03 11:39:51