Trace number 3734705

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
PB07: bsolo 3.0.17OPT2 403.374 403.437

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.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho 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 Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3734705-1338700702.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.001 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.001 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      0 0.00
0.00/0.00	c Switching off LPR mode.
0.00/0.00	o 780	0.001
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      297     860      1      0 0.00
0.00/0.00	o 756	0.002
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        4     94       14      629   44      359     860      6   2000 0.00
0.00/0.00	c      105     94      115     4753   41      548     947    107  26250 0.00
0.00/0.00	o 740	0.004
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c      107     94      118     4883   41      625     860    110  26750 0.00
0.00/0.00	o 729	0.004
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c      120     94      132     5399   40      720     860    124  24000 0.01
0.00/0.00	o 723	0.005
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c      124     94      137     5640   41      785     860    129  24800 0.01
0.00/0.00	o 721	0.005
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c      126     94      140     5786   41      840     860    132  25200 0.01
0.00/0.00	o 715	0.005
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c      132     94      147     6124   41      918     860    139  22000 0.01
0.00/0.00	o 713	0.006
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c      139     94      155     6535   42      985     860    147  23166 0.01
0.00/0.00	o 336	0.006
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c      142     94      159     6727   42      948     860    151  23666 0.01
0.00/0.01	o 334	0.007
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c      167     94      185     7274   39      930     860    177  23857 0.01
0.00/0.01	o 318	0.007
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c      169     94      188     7431   39      979     860    180  24142 0.01
0.00/0.01	o 304	0.007
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c      171     94      191     7573   39     1062     860    183  24428 0.01
0.00/0.01	o 296	0.008
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c      180     94      201     7953   39     1108     860    193  22500 0.01
0.00/0.01	o 295	0.011
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c      233     94      255     9440   37     1260     860    247  21181 0.01
0.00/0.01	o 288	0.011
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c      233     94      256     9504   37     1274     860    248  21181 0.01
0.00/0.01	o 282	0.011
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c      234     94      258     9602   37     1327     860    250  21272 0.01
0.00/0.01	o 208	0.011
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c      234     94      259     9666   37     1372     860    251  21272 0.01
0.00/0.01	o 206	0.011
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c      235     94      261     9783   37     1446     860    253  21363 0.01
0.00/0.01	o 198	0.012
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c      239     94      266     9933   37     1514     860    258  19916 0.01
0.00/0.01	o 196	0.012
0.01/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.01	c      240     94      268    10049   37     1577     860    260  20000 0.01
0.01/0.01	o 188	0.013
0.01/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.01	c      247     94      276    10404   37     1634     860    268  19000 0.01
0.01/0.01	o 182	0.014
0.01/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.01	c      254     94      284    10756   37     1713     860    276  18142 0.01
0.01/0.01	o 178	0.015
0.01/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.02	c      285     94      316    11499   36     1839     860    308  19000 0.01
0.01/0.02	o 176	0.019
0.01/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.02	c      349     94      381    13430   35     2033     860    373  18368 0.02
0.01/0.02	o 172	0.02
0.01/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.02	c      355     94      388    13667   35     2102     860    380  17750 0.02
0.01/0.02	o 66	0.022
0.01/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.02	c      390     94      424    14812   34     2083     860    416  17727 0.02
0.01/0.02	o 64	0.022
0.01/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.02	c      393     93      428    14923   34     2151     858    420  17863 0.02
0.01/0.02	o 62	0.023
0.01/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.02	c      396     93      432    15093   34     2188     858    424  17217 0.02
0.01/0.02	o 60	0.023
0.01/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.03	c      405     90      442    15343   34     2251     852    434  17608 0.02
0.01/0.03	c      505     87      542    17585   32     2431     938    534  18035 0.03
0.01/0.03	o 45	0.029
0.01/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.03	c      511     87      549    17753   32     2487     846    541  17620 0.03
0.01/0.03	o 41	0.029
0.01/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.03	c      512     87      551    17857   32     2537     846    543  17655 0.03
0.01/0.03	c      612     85      651    20256   31     2689     931    643  18000 0.03
0.01/0.03	o 37	0.035
0.01/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.03	c      628     84      668    20581   30     2779     840    660  17942 0.04
0.01/0.03	o 25	0.036
0.01/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.07	c      629     84      670    20661   30     2818     840    662  17472 0.04
0.01/0.07	c      729     76      770    22653   29     3004     925    762  17780 0.04
0.01/0.07	c      979     71      541    12268   22     1340    1018    533  18129 0.05
0.01/0.07	o 23	0.068
0.01/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.07	c     1274     71      837    18632   22     1972     814    829  18735 0.07
0.01/0.07	c     1374     71      514    11074   21     1271     896    506  19083 0.07
0.01/0.07	o 15	0.074
0.01/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.07	c     1414     71      555    11885   21     1394     814    547  19108 0.07
0.01/0.07	o 13	0.074
0.19/0.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.28	c     1417     70      559    11996   21     1438     812    551  19148 0.07
0.19/0.28	c     1518     63      660    14034   21     1630     894    652  19461 0.08
0.19/0.28	c     1768     62      910    19538   21     2132     984    902  20090 0.09
0.19/0.28	c     2243     62      878    18833   21     1989    1083    870  20768 0.11
0.19/0.28	c     3057     62      583    12779   21     1393    1192    575  20655 0.15
0.19/0.28	c     4377     62      682    14877   21     1593    1312    674  20358 0.21
0.19/0.28	o 11	0.279
0.29/0.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.37	c     5610     62     1246    27284   21     2752     796   1238  20107 0.28
0.29/0.37	c     5711     62      540    11429   21     1303     876    532  20109 0.28
0.29/0.37	c     5961     62      790    16931   21     1805     964    782  20275 0.29
0.29/0.37	c     6438     62      773    16537   21     1771    1061    765  20309 0.32
0.29/0.37	c     7252     62     1047    22732   21     2320    1168   1039  20370 0.36
0.29/0.37	o 10	0.371
0.89/0.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.98	c     7547     62      745    15678   21     1742     796    737  20287 0.37
0.89/0.98	c     7648     62      439     8951   20     1104     876    431  20340 0.38
0.89/0.98	c     7899     62      690    14386   20     1603     964    682  20410 0.39
0.89/0.98	c     8374     62      667    14141   21     1555    1061    659  20424 0.41
0.89/0.98	c     9187     62      936    20281   21     2091    1168    928  20552 0.45
0.89/0.98	c    10507     62     1065    22952   21     2350    1285   1057  20561 0.51
0.89/0.98	c    12589     62     1183    26231   22     2592    1414   1175  20469 0.61
0.89/0.98	c    15813     62      801    17565   21     1826    1556    793  20016 0.79
0.89/0.98	o 8	0.983
1.00/1.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.06	c    19282     62     1092    24083   22     2438     796   1084  19615 0.98
1.00/1.06	c    19382     57      539    11556   21     1290     876    531  19617 0.99
1.00/1.06	c    19633     54      790    17009   21     1787     964    782  19652 1.00
1.00/1.06	c    20108     54      765    16276   21     1741    1061    757  19694 1.02
1.00/1.06	c    20921     54     1034    22602   21     2274    1168   1026  19792 1.06
1.00/1.06	o 6	1.057
5.40/5.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.40/5.47	c    20923     54     1037    22672   21     2305     780   1029  19794 1.06
5.40/5.47	c    21023     54      539    11376   21     1279     859    531  19795 1.06
5.40/5.47	c    21274     54      790    16824   21     1780     945    782  19845 1.07
5.40/5.47	c    21749     54      783    16376   20     1757    1040    775  19862 1.09
5.40/5.47	c    22562     54     1063    22430   21     2327    1145   1055  19895 1.13
5.40/5.47	c    23882     54      622    12752   20     1447    1260    614  19901 1.20
5.40/5.47	c    25963     54      775    16039   20     1747    1387    767  19879 1.31
5.40/5.47	c    29186     54     1174    24963   21     2551    1526   1166  19895 1.47
5.40/5.47	c    34122     54     1434    31383   21     3063    1679   1426  19712 1.73
5.40/5.47	c    41628     54     1238    26690   21     2674    1847   1230  19165 2.17
5.40/5.47	c    52989     54     1321    29155   22     2841    2032   1313  18743 2.83
5.40/5.47	c    70133     54     1925    42542   22     4052    2236   1917  18188 3.86
5.40/5.47	c    95952     54     1622    36007   22     3447    2460   1614  17677 5.43
5.40/5.47	o 5	5.467
7.70/7.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.70/7.75	c    96596     54     2267    50897   22     4758     780   2259  17668 5.47
7.70/7.75	c    96696     54      539    11655   21     1279     859    531  17664 5.47
7.70/7.75	c    96947     54      790    16880   21     1783     945    782  17681 5.48
7.70/7.75	c    97422     54      782    15638   19     1765    1040    774  17700 5.50
7.70/7.75	c    98236     54     1066    22830   21     2336    1145   1058  17728 5.54
7.70/7.75	c    99557     54      639    13082   20     1472    1260    631  17762 5.61
7.70/7.75	c   101638     54      792    15648   19     1789    1387    784  17796 5.71
7.70/7.75	c   104862     54     1194    26225   21     2593    1526   1186  17854 5.87
7.70/7.75	c   109798     54     1447    31785   21     3089    1679   1439  17920 6.13
7.70/7.75	c   117304     54     1230    27040   21     2662    1847   1222  17936 6.54
7.70/7.75	c   128665     54     1290    28044   21     2781    2032   1282  17872 7.20
7.70/7.75	o 4	7.749
14.69/14.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
14.69/14.77	c   137662     54     2007    44682   22     4239     780   1999  17765 7.75
14.69/14.77	c   137762     51      539    11445   21     1273     859    531  17764 7.75
14.69/14.77	c   138012     48      789    16956   21     1768     945    781  17773 7.76
14.69/14.77	c   138487     46      776    16527   21     1738    1040    768  17786 7.79
14.69/14.77	c   139301     46     1058    22492   21     2302    1145   1050  17811 7.82
14.69/14.77	c   140622     46      630    13209   20     1448    1260    622  17843 7.88
14.69/14.77	c   142703     46      776    16565   21     1738    1387    768  17889 7.98
14.69/14.77	c   145926     46     1172    25109   21     2527    1526   1164  17944 8.13
14.69/14.77	c   150864     46     1435    30417   21     3050    1679   1427  17964 8.40
14.69/14.77	c   158370     46     1238    26751   21     2658    1847   1230  18010 8.79
14.69/14.77	c   169731     46     1310    28121   21     2803    2032   1302  17959 9.45
14.69/14.77	c   186875     46     1912    41379   21     4010    2236   1904  17782 10.51
14.69/14.77	c   212695     46     1603    34952   21     3392    2460   1595  17573 12.10
14.69/14.77	c   251528     46     1725    37673   21     3633    2707   1717  17186 14.63
14.69/14.77	o 3	14.766
20.69/20.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
20.69/20.78	c   253552     46     2379    51145   21     4957     764   2371  17171 14.77
20.69/20.78	c   253652     46      539    10724   19     1256     841    531  17168 14.77
20.69/20.78	c   253902     46      789    16065   20     1753     926    781  17174 14.78
20.69/20.78	c   254377     46      791    16270   20     1758    1019    783  17181 14.80
20.69/20.78	c   255190     46      567    11561   20     1313    1121    559  17194 14.84
20.69/20.78	c   256510     46      747    15378   20     1675    1234    739  17215 14.90
20.69/20.78	c   258593     46      935    19919   21     2049    1358    927  17249 14.99
20.69/20.78	c   261817     46     1393    29913   21     2964    1494   1385  17278 15.15
20.69/20.78	c   266754     46      993    20617   20     2160    1644    985  17321 15.40
20.69/20.78	c   274260     46      961    20514   21     2100    1809    953  17350 15.81
20.69/20.78	c   285621     46     1272    26903   21     2718    1990   1264  17377 16.44
20.69/20.78	c   302767     46     1220    25872   21     2617    2190   1212  17356 17.44
20.69/20.78	c   328587     46     1484    32453   21     3147    2410   1476  17306 18.99
20.69/20.78	o 2	20.777
403.33/403.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
403.33/403.43	c   356550     46     1339    27112   20     2871     764   1331  17160 20.78
403.33/403.43	c   356650     43      539    10316   19     1246     841    531  17161 20.78
403.33/403.43	c   356900     41      789    15552   19     1743     926    781  17164 20.79
403.33/403.43	c   357376     40      791    15799   19     1748    1019    783  17169 20.82
403.33/403.43	c   358190     39     1079    22643   20     2326    1121   1071  17182 20.85
403.33/403.43	c   359510     38      680    13764   20     1521    1234    672  17194 20.91
403.33/403.43	c   361592     38      873    17831   20     1910    1358    865  17212 21.01
403.33/403.43	c   364817     38     1323    28304   21     2813    1494   1315  17235 21.17
403.33/403.43	c   369753     38      934    19905   21     2032    1644    926  17262 21.42
403.33/403.43	c   377259     38      890    17955   20     1938    1809    882  17279 21.83
403.33/403.43	c   388620     38     1205    25853   21     2572    1990   1197  17312 22.45
403.33/403.43	c   405764     38     1140    23517   20     2444    2190   1132  17312 23.44
403.33/403.43	c   431584     38     1364    28237   20     2888    2410   1356  17237 25.04
403.33/403.43	c   470417     38     2304    49988   21     4769    2652   2296  17078 27.55
403.33/403.43	c   528769     38     1556    32890   21     3272    2918   1548  16749 31.57
403.33/403.43	c   616403     38     2059    41969   20     4278    3210   2051  16191 38.07
403.33/403.43	c   747955     38     2227    46399   20     4613    3532   2219  15568 48.04
403.33/403.43	c   945387     38     3499    77354   22     7163    3886   3491  14755 64.07
403.33/403.43	c  1241639     38     3754    83463   22     7672    4275   3746  13790 90.04
403.33/403.43	c  1686121     38     2259    47807   21     4682    4703   2251  12916 130.54
403.33/403.43	c  2352951     38     3559    77073   21     7275    5174   3551  12108 194.33
403.33/403.43	c  3353296     37     4199    86463   20     8561    5692   4191  11067 302.99
403.33/403.43	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 
403.33/403.43	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
403.33/403.43	c  138  4255515   2893  4261394     5446    81584   5438  10549 403.37
403.33/403.43	c Objective: 2
403.33/403.43	s OPTIMUM FOUND
403.33/403.43	c Total time: 403.371 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-3734705-1338700702/watcher-3734705-1338700702 -o /tmp/evaluation-result-3734705-1338700702/solver-3734705-1338700702 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3734705-1338700702.opb 

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: 1.95 1.98 1.99 4/176 27015
/proc/meminfo: memFree=27981792/32873844 swapFree=7116/7116
[pid=27015] ppid=27013 vsize=20308 CPUtime=0 cores=1,3,5,7
/proc/27015/stat : 27015 (bsolo3.0.17) R 27013 27015 24661 0 -1 4202496 478 0 0 0 0 0 0 0 20 0 1 0 336198804 20795392 925 33554432000 134512640 135840783 4286946800 4286945152 10249511 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27015/statm: 5077 926 346 325 0 4013 0

[startup+0.0158399 s]
/proc/loadavg: 1.95 1.98 1.99 4/176 27015
/proc/meminfo: memFree=27981792/32873844 swapFree=7116/7116
[pid=27015] ppid=27013 vsize=12628 CPUtime=0.01 cores=1,3,5,7
/proc/27015/stat : 27015 (bsolo3.0.17) R 27013 27015 24661 0 -1 4202496 514 0 0 0 1 0 0 0 20 0 1 0 336198804 12931072 450 33554432000 134512640 135840783 4286946800 4286944976 10249511 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27015/statm: 3157 450 348 325 0 2093 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12628

[startup+0.100255 s]
/proc/loadavg: 1.95 1.98 1.99 4/176 27015
/proc/meminfo: memFree=27981792/32873844 swapFree=7116/7116
[pid=27015] ppid=27013 vsize=12896 CPUtime=0.09 cores=1,3,5,7
/proc/27015/stat : 27015 (bsolo3.0.17) R 27013 27015 24661 0 -1 4202496 592 0 0 0 9 0 0 0 20 0 1 0 336198804 13205504 528 33554432000 134512640 135840783 4286946800 4286946112 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27015/statm: 3224 528 348 325 0 2160 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12896

[startup+0.300223 s]
/proc/loadavg: 1.95 1.98 1.99 4/176 27015
/proc/meminfo: memFree=27981792/32873844 swapFree=7116/7116
[pid=27015] ppid=27013 vsize=12896 CPUtime=0.29 cores=1,3,5,7
/proc/27015/stat : 27015 (bsolo3.0.17) R 27013 27015 24661 0 -1 4202496 607 0 0 0 29 0 0 0 20 0 1 0 336198804 13205504 543 33554432000 134512640 135840783 4286946800 4286946112 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27015/statm: 3224 543 348 325 0 2160 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12896

[startup+0.700218 s]
/proc/loadavg: 1.95 1.98 1.99 4/176 27015
/proc/meminfo: memFree=27981792/32873844 swapFree=7116/7116
[pid=27015] ppid=27013 vsize=13024 CPUtime=0.69 cores=1,3,5,7
/proc/27015/stat : 27015 (bsolo3.0.17) R 27013 27015 24661 0 -1 4202496 619 0 0 0 69 0 0 0 20 0 1 0 336198804 13336576 555 33554432000 134512640 135840783 4286946800 4286946096 134572646 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27015/statm: 3256 555 348 325 0 2192 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13024

[startup+1.50022 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 27016
/proc/meminfo: memFree=27981248/32873844 swapFree=7116/7116
[pid=27015] ppid=27013 vsize=13024 CPUtime=1.49 cores=1,3,5,7
/proc/27015/stat : 27015 (bsolo3.0.17) R 27013 27015 24661 0 -1 4202496 633 0 0 0 149 0 0 0 20 0 1 0 336198804 13336576 569 33554432000 134512640 135840783 4286946800 4286946160 134551368 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27015/statm: 3256 569 348 325 0 2192 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13024

[startup+3.10023 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 27016
/proc/meminfo: memFree=27980612/32873844 swapFree=7116/7116
[pid=27015] ppid=27013 vsize=13276 CPUtime=3.09 cores=1,3,5,7
/proc/27015/stat : 27015 (bsolo3.0.17) R 27013 27015 24661 0 -1 4202496 684 0 0 0 309 0 0 0 20 0 1 0 336198804 13594624 620 33554432000 134512640 135840783 4286946800 4286946160 134551104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27015/statm: 3319 620 348 325 0 2255 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13276

[startup+6.30022 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 27016
/proc/meminfo: memFree=27980364/32873844 swapFree=7116/7116
[pid=27015] ppid=27013 vsize=13392 CPUtime=6.29 cores=1,3,5,7
/proc/27015/stat : 27015 (bsolo3.0.17) R 27013 27015 24661 0 -1 4202496 708 0 0 0 629 0 0 0 20 0 1 0 336198804 13713408 644 33554432000 134512640 135840783 4286946800 4286946080 10251872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27015/statm: 3348 644 348 325 0 2284 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13392

[startup+12.7002 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 27016
/proc/meminfo: memFree=27980248/32873844 swapFree=7116/7116
[pid=27015] ppid=27013 vsize=13472 CPUtime=12.69 cores=1,3,5,7
/proc/27015/stat : 27015 (bsolo3.0.17) R 27013 27015 24661 0 -1 4202496 735 0 0 0 1269 0 0 0 20 0 1 0 336198804 13795328 671 33554432000 134512640 135840783 4286946800 4286946112 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27015/statm: 3368 671 348 325 0 2304 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13472

[startup+25.5002 s]
/proc/loadavg: 1.97 1.98 1.99 3/177 27016
/proc/meminfo: memFree=27980504/32873844 swapFree=7116/7116
[pid=27015] ppid=27013 vsize=13472 CPUtime=25.49 cores=1,3,5,7
/proc/27015/stat : 27015 (bsolo3.0.17) R 27013 27015 24661 0 -1 4202496 747 0 0 0 2549 0 0 0 20 0 1 0 336198804 13795328 683 33554432000 134512640 135840783 4286946800 4286946160 134550887 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27015/statm: 3368 683 348 325 0 2304 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 13472

[startup+51.1002 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 27016
/proc/meminfo: memFree=27980132/32873844 swapFree=7116/7116
[pid=27015] ppid=27013 vsize=13880 CPUtime=51.08 cores=1,3,5,7
/proc/27015/stat : 27015 (bsolo3.0.17) R 27013 27015 24661 0 -1 4202496 845 0 0 0 5108 0 0 0 20 0 1 0 336198804 14213120 781 33554432000 134512640 135840783 4286946800 4286946096 134572603 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27015/statm: 3470 781 348 325 0 2406 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 13880

[startup+102.306 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 27019
/proc/meminfo: memFree=27973776/32873844 swapFree=7116/7116
[pid=27015] ppid=27013 vsize=14204 CPUtime=102.28 cores=1,3,5,7
/proc/27015/stat : 27015 (bsolo3.0.17) R 27013 27015 24661 0 -1 4202496 924 0 0 0 10228 0 0 0 20 0 1 0 336198804 14544896 860 33554432000 134512640 135840783 4286946800 4286946160 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27015/statm: 3551 860 348 325 0 2487 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 14204

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 27019
/proc/meminfo: memFree=27964936/32873844 swapFree=7116/7116
[pid=27015] ppid=27013 vsize=14376 CPUtime=162.27 cores=1,3,5,7
/proc/27015/stat : 27015 (bsolo3.0.17) R 27013 27015 24661 0 -1 4202496 978 0 0 0 16227 0 0 0 20 0 1 0 336198804 14721024 914 33554432000 134512640 135840783 4286946800 4286946080 10251915 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27015/statm: 3594 914 348 325 0 2530 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 14376

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 27020
/proc/meminfo: memFree=27956628/32873844 swapFree=7116/7116
[pid=27015] ppid=27013 vsize=14628 CPUtime=222.26 cores=1,3,5,7
/proc/27015/stat : 27015 (bsolo3.0.17) R 27013 27015 24661 0 -1 4202496 1030 0 0 0 22226 0 0 0 20 0 1 0 336198804 14979072 966 33554432000 134512640 135840783 4286946800 4286946112 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27015/statm: 3657 966 348 325 0 2593 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 14628

[startup+282.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/177 27059
/proc/meminfo: memFree=28178788/32873844 swapFree=7116/7116
[pid=27015] ppid=27013 vsize=14628 CPUtime=282.25 cores=1,3,5,7
/proc/27015/stat : 27015 (bsolo3.0.17) R 27013 27015 24661 0 -1 4202496 1041 0 0 0 28225 0 0 0 20 0 1 0 336198804 14979072 977 33554432000 134512640 135840783 4286946800 4286946104 3369143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27015/statm: 3657 977 348 325 0 2593 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 14628

[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 27059
/proc/meminfo: memFree=28177980/32873844 swapFree=7116/7116
[pid=27015] ppid=27013 vsize=14724 CPUtime=342.24 cores=1,3,5,7
/proc/27015/stat : 27015 (bsolo3.0.17) R 27013 27015 24661 0 -1 4202496 1064 0 0 0 34224 0 0 0 20 0 1 0 336198804 15077376 1000 33554432000 134512640 135840783 4286946800 4286946112 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27015/statm: 3681 1000 348 325 0 2617 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 14724

[startup+402.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 27059
/proc/meminfo: memFree=28177856/32873844 swapFree=7116/7116
[pid=27015] ppid=27013 vsize=14776 CPUtime=402.23 cores=1,3,5,7
/proc/27015/stat : 27015 (bsolo3.0.17) R 27013 27015 24661 0 -1 4202496 1070 0 0 0 40223 0 0 0 20 0 1 0 336198804 15130624 1006 33554432000 134512640 135840783 4286946800 4286946060 10246995 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27015/statm: 3694 1006 348 325 0 2630 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 14776

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

[startup+403.1 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 27059
/proc/meminfo: memFree=28177856/32873844 swapFree=7116/7116
[pid=27015] ppid=27013 vsize=14776 CPUtime=403.03 cores=1,3,5,7
/proc/27015/stat : 27015 (bsolo3.0.17) R 27013 27015 24661 0 -1 4202496 1070 0 0 0 40303 0 0 0 20 0 1 0 336198804 15130624 1006 33554432000 134512640 135840783 4286946800 4286946112 134551400 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27015/statm: 3694 1006 348 325 0 2630 0
Current children cumulated CPU time (s) 403.03
Current children cumulated vsize (KiB) 14776

[startup+403.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 27059
/proc/meminfo: memFree=28177856/32873844 swapFree=7116/7116
[pid=27015] ppid=27013 vsize=14776 CPUtime=403.23 cores=1,3,5,7
/proc/27015/stat : 27015 (bsolo3.0.17) R 27013 27015 24661 0 -1 4202496 1070 0 0 0 40323 0 0 0 20 0 1 0 336198804 15130624 1006 33554432000 134512640 135840783 4286946800 4286946160 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27015/statm: 3694 1006 348 325 0 2630 0
Current children cumulated CPU time (s) 403.23
Current children cumulated vsize (KiB) 14776

[startup+403.4 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 27059
/proc/meminfo: memFree=28177856/32873844 swapFree=7116/7116
[pid=27015] ppid=27013 vsize=14776 CPUtime=403.33 cores=1,3,5,7
/proc/27015/stat : 27015 (bsolo3.0.17) R 27013 27015 24661 0 -1 4202496 1070 0 0 0 40333 0 0 0 20 0 1 0 336198804 15130624 1006 33554432000 134512640 135840783 4286946800 4286946160 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27015/statm: 3694 1006 348 325 0 2630 0
Current children cumulated CPU time (s) 403.33
Current children cumulated vsize (KiB) 14776

Child status: 0
Real time (s): 403.437
CPU time (s): 403.374
CPU user time (s): 403.37
CPU system time (s): 0.003999
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 14848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 403.37
system time used= 0.003999
maximum resident set size= 4024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1073
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= 7
involuntary context switches= 417

runsolver used 0.604908 second user time and 1.38879 second system time

The end

Launcher Data 

Begin job on node108 at 2012-06-03 07:18:22
IDJOB=3734705
IDBENCH=2896
IDSOLVER=2318
FILE ID=node108/3734705-1338700702
RUNJOBID= node108-1338678627-24681
PBS_JOBID= 14636705
Free space on /tmp= 71468 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_3.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734705-1338700702/watcher-3734705-1338700702 -o /tmp/evaluation-result-3734705-1338700702/solver-3734705-1338700702 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3734705-1338700702.opb            

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

MD5SUM BENCH= d26b3b10be20d9248aac462b86b1f040
RANDOM SEED=2083698052

node108.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.273
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.54
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.273
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.273
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.91
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.273
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.273
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.273
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	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.273
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.90
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.273
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:        27982312 kB
Buffers:          322824 kB
Cached:          3547856 kB
SwapCached:          112 kB
Active:          2102736 kB
Inactive:        1987288 kB
Active(anon):     206644 kB
Inactive(anon):    13084 kB
Active(file):    1896092 kB
Inactive(file):  1974204 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108548 kB
Dirty:              6644 kB
Writeback:             0 kB
AnonPages:        223676 kB
Mapped:            15524 kB
Shmem:               172 kB
Slab:             663548 kB
SReclaimable:     105680 kB
SUnreclaim:       557868 kB
KernelStack:        1472 kB
PageTables:         4472 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     329524 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    202752 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71460 MiB
End job on node108 at 2012-06-03 07:25:06