Trace number 3708066

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
bsolo 3.2SAT2 1798 1798.28

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_1.opb
MD5SUM5bf563c7058af01702ea80887f1d43ad
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1789.91
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved NO
Number of variables120
Total number of constraints10
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 constraints10
Minimum length of a constraint55
Maximum length of a constraint56
Number of terms in the objective function 80
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 2550
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1086
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3768
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.2 - 23/05/2010 : 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 Instance file HOME/instance-3708066-1338312547.opb
0.00/0.00	c File size is 5459 bytes.
0.00/0.00	c Highest Coefficient sum: 3768
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 120 Constr: 10 0/0/10 Lit: 558 Watch. Lit: 162
0.00/0.00	c Obj. Vars: 80 (66.6667 % 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    120       10      558   55      164    1116      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 1090
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    120       11      638   58      427    1276      1      0 0.00
0.00/0.00	o 1016
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       15    120       36     2072   57      617    1276     26   5000 0.00
0.00/0.00	o 1013
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       22    120       50     2766   55      763    1276     40   7333 0.00
0.00/0.00	o 995
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       23    120       52     2880   55      825    1276     42   5750 0.00
0.00/0.00	o 993
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       37    120       68     3908   57      939    1276     58   6166 0.01
0.00/0.00	o 971
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       39    120       73     4177   57     1025    1276     63   5571 0.01
0.00/0.00	o 969
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       40    120       75     4327   57     1097    1276     65   5714 0.01
0.00/0.01	o 967
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c       71    120      121     6944   57     1352    1276    111   5916 0.01
0.00/0.02	o 774
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c       96    120      155     8737   56     1418    1276    145   5647 0.02
0.00/0.02	o 770
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c       99    120      160     9016   56     1513    1276    150   5500 0.02
0.00/0.02	o 768
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      109    120      173     9741   56     1564    1276    163   5450 0.02
0.00/0.02	o 290
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      109    120      174     9821   56     1524    1276    164   5450 0.02
0.00/0.02	o 277
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      112    120      179    10060   56     1555    1276    169   5600 0.02
0.00/0.02	o 253
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      113    120      181    10167   56     1628    1276    171   5380 0.02
0.00/0.02	o 245
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      114    120      183    10300   56     1703    1276    173   5428 0.02
0.00/0.02	o 237
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      121    120      192    10607   55     1786    1276    182   5500 0.02
0.00/0.02	o 235
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      125    120      197    10920   55     1855    1276    187   5681 0.02
0.00/0.03	o 116
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      184    120      265    13059   49     1998    1276    255   6344 0.03
0.00/0.03	o 114
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      199    120      282    13773   48     2085    1276    272   6419 0.03
0.00/0.04	o 112
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      283    116      373    16692   44     2283    1268    363   6902 0.04
0.00/0.04	o 110
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      292    116      383    17037   44     2371    1268    373   6790 0.04
0.00/0.05	o 108
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      347    116      440    18646   42     2539    1268    430   6940 0.05
0.00/0.05	o 106
0.19/0.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.29	c      348    116      442    18791   42     2616    1268    432   6960 0.05
0.19/0.29	c      449    115      546    21478   39     2877    1395    536   7241 0.06
0.19/0.29	c      700    115      807    27989   34     3383    1535    797   7692 0.09
0.19/0.29	c     1177    115     1311    41251   31     4419    1689   1301   7952 0.15
0.19/0.29	c     1995    115     1291    35744   27     3064    1858   1281   7916 0.25
0.19/0.29	o 98
0.29/0.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.32	c     2279    115     1598    45847   28     3788    1266   1588   7804 0.29
0.29/0.32	c     2379    115      762    23944   31     2034    1393    752   7749 0.31
0.29/0.32	o 91
0.29/0.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.32	c     2482    115      876    28185   32     2385    1266    866   7756 0.32
0.29/0.32	o 89
0.29/0.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.32	c     2517    115      915    29272   31     2533    1266    905   7768 0.32
0.29/0.32	o 87
0.39/0.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.40	c     2532    115      931    30036   32     2638    1266    921   7743 0.33
0.39/0.40	c     2632    114     1031    32660   31     2836    1393   1021   7764 0.34
0.39/0.40	c     2882    113     1290    39368   30     3353    1533   1280   7810 0.37
0.39/0.40	o 85
0.39/0.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.42	c     3094    113     1512    45864   30     3874    1262   1502   7773 0.40
0.39/0.42	c     3196    113      763    22263   29     1979    1389    753   7738 0.41
0.39/0.42	o 83
1.49/1.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.58	c     3271    113      845    24736   29     2225    1262    835   7769 0.42
1.49/1.58	c     3372    113      952    27522   28     2467    1389    942   7805 0.43
1.49/1.58	c     3623    113     1212    34289   28     2979    1528   1202   7876 0.46
1.49/1.58	c     4098    113      914    23646   25     2227    1681    904   7911 0.52
1.49/1.58	c     4911    113      875    22042   25     2148    1850    865   8024 0.61
1.49/1.58	c     6231    113     1282    33464   26     2965    2036   1272   8113 0.77
1.49/1.58	c     8313    113     1305    34448   26     3012    2240   1295   8182 1.02
1.49/1.58	c    11537    113     1195    32605   27     2796    2465   1185   8084 1.43
1.49/1.58	o 73
1.49/1.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.59	c    12743    113     2444    69103   28     5415    1262   2434   8039 1.58
1.49/1.59	o 71
1.49/1.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.59	c    12764    113      673    19436   28     1822    1262    663   8002 1.59
1.49/1.59	o 69
1.49/1.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.59	c    12771    113      682    19781   29     1919    1262    672   8001 1.60
1.49/1.59	o 67
1.59/1.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.60	c    12778    113      690    20145   29     2006    1262    680   8001 1.60
1.59/1.60	o 65
1.68/1.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.68/1.78	c    12801    113      715    21463   30     2137    1262    705   8000 1.60
1.68/1.78	c    12902    113      820    24526   29     2348    1389    810   7988 1.61
1.68/1.78	c    13154    113     1076    32395   30     2846    1528   1066   7962 1.65
1.68/1.78	c    13629    113      782    22693   29     1967    1681    772   7905 1.72
1.68/1.78	o 56
1.68/1.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.68/1.78	c    14001    113     1174    35651   30     2849    1262   1164   7874 1.78
1.68/1.78	o 54
1.68/1.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.68/1.78	c    14002    113     1176    35784   30     2922    1262   1166   7870 1.78
1.68/1.78	o 52
1.89/1.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.91	c    14007    113     1184    36197   30     3021    1262   1174   7869 1.78
1.89/1.91	c    14107    107      655    20595   31     1710    1389    645   7859 1.79
1.89/1.91	c    14357    107      909    27391   30     2218    1528    899   7849 1.83
1.89/1.91	c    14832    103     1389    40939   29     3187    1681   1379   7822 1.90
1.89/1.91	o 47
1.89/1.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.91	c    14931    102     1489    43514   29     3445    1240   1479   7817 1.91
1.89/1.91	o 45
1.89/1.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.91	c    14964    102      685    18691   27     1815    1240    675   7810 1.92
1.89/1.91	o 41
1.89/1.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.96	c    14970    102      692    19034   27     1889    1240    682   7809 1.92
1.89/1.96	c    15070    100      793    21669   27     2087    1365    783   7808 1.93
1.89/1.96	c    15320    100     1048    28544   27     2602    1502   1038   7812 1.96
1.89/1.96	o 34
1.89/1.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.99	c    15331    100     1060    28853   27     2688    1236   1050   7813 1.96
1.89/1.99	c    15432    100     1162    31571   27     2886    1360   1152   7813 1.98
1.89/1.99	o 29
1.99/2.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.00	c    15595    100     1326    35991   27     3273    1236   1316   7817 2.00
1.99/2.00	o 25
4.49/4.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.49/4.51	c    15605     95      660    17042   25     1753    1226    650   7810 2.00
4.49/4.51	c    15706     90      763    19967   26     1954    1349    753   7810 2.01
4.49/4.51	c    15956     90     1014    27645   27     2452    1484   1004   7817 2.04
4.49/4.51	c    16431     90     1489    42296   28     3409    1633   1479   7824 2.10
4.49/4.51	c    17244     90     1457    43107   29     3281    1797   1447   7823 2.20
4.49/4.51	c    18564     90      940    28801   30     2249    1977    930   7799 2.38
4.49/4.51	c    20645     90     2009    59234   29     4382    2175   1999   7778 2.65
4.49/4.51	c    23868     90     1884    58928   31     4139    2393   1874   7701 3.10
4.49/4.51	c    28804     90     1926    58954   30     4215    2633   1916   7676 3.75
4.49/4.51	o 23
4.59/4.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.59/4.67	c    34450     90     2214    68081   30     4858    1216   2204   7640 4.51
4.59/4.67	o 21
6.60/6.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.60/6.69	c    34500     90      701    21987   31     1816    1216    691   7634 4.52
6.60/6.69	c    34600     90      801    24988   31     2008    1338    791   7636 4.53
6.60/6.69	c    34850     90     1052    32756   31     2518    1472   1042   7639 4.56
6.60/6.69	c    35326     90      777    23310   30     1920    1620    767   7641 4.62
6.60/6.69	c    36139     90     1595    48219   30     3556    1783   1585   7650 4.72
6.60/6.69	c    37460     90     1090    30670   28     2546    1962   1080   7651 4.90
6.60/6.69	c    39541     90     1159    34204   29     2686    2159   1149   7676 5.15
6.60/6.69	c    42764     90     2178    65288   29     4717    2375   2168   7699 5.55
6.60/6.69	c    47700     90     2266    67805   29     4895    2613   2256   7663 6.22
6.60/6.69	o 19
7.79/7.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.79/7.85	c    51009     90     1566    45979   29     3546    1216   1556   7626 6.69
7.79/7.85	c    51109     90      749    21537   28     1859    1338    739   7628 6.70
7.79/7.85	c    51360     90     1000    28796   28     2360    1472    990   7638 6.72
7.79/7.85	c    51835     90     1477    42471   28     3321    1620   1467   7646 6.78
7.79/7.85	c    52648     90     1455    41805   28     3273    1783   1445   7650 6.88
7.79/7.85	c    53968     90      942    27124   28     2253    1962    932   7636 7.07
7.79/7.85	c    56049     90     1022    28982   28     2414    2159   1012   7613 7.36
7.79/7.85	c    59272     90     2036    58625   28     4441    2375   2026   7605 7.79
7.79/7.85	o 15
8.99/9.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.99/9.08	c    59657     90     1229    35236   28     2824    1216   1219   7593 7.86
8.99/9.08	c    59758     84      717    20458   28     1784    1338    707   7594 7.87
8.99/9.08	c    60008     80      967    28048   29     2279    1472    957   7594 7.90
8.99/9.08	c    60483     80     1442    43044   29     3228    1620   1432   7599 7.96
8.99/9.08	c    61297     80     1419    43377   30     3182    1783   1409   7603 8.06
8.99/9.08	c    62617     80     1825    57572   31     3999    1962   1815   7603 8.23
8.99/9.08	c    64698     80     1886    59564   31     4116    2159   1876   7599 8.51
8.99/9.08	c    67921     80     1795    56614   31     3940    2375   1785   7594 8.94
8.99/9.08	o 14
10.69/10.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.69/10.77	c    68849     80     1509    46125   30     3400    1196   1499   7583 9.08
10.69/10.77	c    68949     80      749    21678   28     1839    1316    739   7582 9.09
10.69/10.77	c    69199     80      999    29148   29     2335    1448    989   7585 9.12
10.69/10.77	c    69674     80     1474    43460   29     3289    1593   1464   7588 9.18
10.69/10.77	c    70488     80     1468    43333   29     3277    1753   1458   7591 9.29
10.69/10.77	c    71809     80      985    28877   29     2315    1929    975   7591 9.46
10.69/10.77	c    73890     80     1090    33392   30     2512    2122   1080   7598 9.72
10.69/10.77	c    77114     80     2145    67575   31     4625    2335   2135   7603 10.14
10.69/10.77	o 13
17.28/17.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.28/17.35	c    81551     80     1809    56707   31     3996    1196   1799   7571 10.77
17.28/17.35	c    81651     80      749    23197   30     1836    1316    739   7570 10.79
17.28/17.35	c    81901     80      999    30984   31     2337    1448    989   7572 10.82
17.28/17.35	c    82376     80     1475    46314   31     3286    1593   1465   7574 10.88
17.28/17.35	c    83189     80     1467    45959   31     3275    1753   1457   7576 10.98
17.28/17.35	c    84510     80      988    30324   30     2316    1929    978   7571 11.16
17.28/17.35	c    86592     80     1100    33989   30     2541    2122   1090   7579 11.43
17.28/17.35	c    89815     80     2148    65424   30     4638    2335   2138   7574 11.86
17.28/17.35	c    94751     80     2332    73292   31     5005    2569   2322   7568 12.52
17.28/17.35	c   102260     80     1967    61421   31     4273    2826   1957   7571 13.51
17.28/17.35	c   113621     80     1803    56955   31     3947    3109   1793   7507 15.13
17.28/17.35	o 12
17.49/17.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.49/17.51	c   128272     80     2240    71487   31     4863    1196   2230   7393 17.35
17.49/17.51	c   128372     80      749    22689   30     1838    1316    739   7392 17.36
17.49/17.51	c   128622     80      999    30452   30     2335    1448    989   7393 17.40
17.49/17.51	c   129097     80     1474    45648   30     3289    1593   1464   7396 17.45
17.49/17.51	o 9
56.58/56.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
56.58/56.64	c   129504     80     1059    32359   30     2506    1196   1049   7396 17.51
56.58/56.64	c   129604     80     1160    35458   30     2704    1316   1150   7396 17.52
56.58/56.64	c   129855     80      736    21884   29     1812    1448    726   7396 17.56
56.58/56.64	c   130331     80     1212    36834   30     2768    1593   1202   7399 17.61
56.58/56.64	c   131146     80     1208    36185   29     2755    1753   1198   7402 17.72
56.58/56.64	c   132466     80     1624    49622   30     3584    1929   1614   7407 17.88
56.58/56.64	c   134548     80     1722    53068   30     3785    2122   1712   7410 18.16
56.58/56.64	c   137773     80     1698    52694   31     3737    2335   1688   7407 18.60
56.58/56.64	c   142710     80     1855    58673   31     4049    2569   1845   7406 19.27
56.58/56.64	c   150216     80     1499    47470   31     3335    2826   1489   7394 20.32
56.58/56.64	c   161581     80     2799    86186   30     5939    3109   2789   7360 21.95
56.58/56.64	c   178725     80     2559    79654   31     5454    3420   2549   7314 24.43
56.58/56.64	c   204545     80     2322    72128   31     4985    3763   2312   7181 28.48
56.58/56.64	c   243377     80     3025    94831   31     6392    4140   3015   7036 34.59
56.58/56.64	c   301730     80     2681    80733   30     5702    4555   2671   6856 44.01
56.58/56.64	o 8
72.17/72.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
72.17/72.29	c   376549     80     3812   118109   30     8003    1196   3802   6649 56.63
72.17/72.29	c   376649     75      749    22482   30     1829    1316    739   6648 56.65
72.17/72.29	c   376899     73      999    29880   29     2321    1448    989   6649 56.69
72.17/72.29	c   377375     73     1475    44472   30     3275    1593   1465   6650 56.75
72.17/72.29	c   378188     71     1466    43174   29     3254    1753   1456   6651 56.85
72.17/72.29	c   379508     70      983    29241   29     2285    1929    973   6654 57.03
72.17/72.29	c   381589     70     1081    31401   29     2482    2122   1071   6661 57.29
72.17/72.29	c   384813     70     2135    60916   28     4595    2335   2125   6669 57.70
72.17/72.29	c   389750     70     2308    70513   30     4939    2569   2298   6678 58.36
72.17/72.29	c   397256     70     1949    57638   29     4226    2826   1939   6689 59.39
72.17/72.29	c   408617     70     1797    55113   30     3917    3109   1787   6698 61.00
72.17/72.29	c   425762     70     3162    96388   30     6650    3420   3152   6698 63.56
72.17/72.29	c   451582     70     2942    92706   31     6207    3763   2932   6690 67.50
72.17/72.29	o 7
92.08/92.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
92.08/92.17	c   482102     70     3015    93756   31     6381    1176   3005   6670 72.28
92.08/92.17	c   482202     70      749    22352   29     1805    1294    739   6669 72.30
92.08/92.17	c   482452     70      999    29836   29     2314    1424    989   6670 72.33
92.08/92.17	c   482928     70     1475    44190   29     3262    1567   1465   6671 72.39
92.08/92.17	c   483741     70     1487    44117   29     3283    1724   1477   6673 72.49
92.08/92.17	c   485061     70     1037    29896   28     2381    1897   1027   6676 72.65
92.08/92.17	c   487143     70     1176    33839   28     2657    2087   1166   6680 72.92
92.08/92.17	c   490366     70     1186    35571   29     2684    2296   1176   6685 73.35
92.08/92.17	c   495302     70     1438    40657   28     3191    2526   1428   6694 73.98
92.08/92.17	c   502808     70     2505    75196   30     5321    2779   2495   6700 75.04
92.08/92.17	c   514169     70     2546    75643   29     5398    3057   2536   6703 76.70
92.08/92.17	c   531313     70     2611    77997   29     5535    3363   2601   6705 79.23
92.08/92.17	c   557133     70     2828    82197   29     5969    3700   2818   6704 83.10
92.08/92.17	c   595965     70     2279    66170   29     4872    4071   2269   6696 88.99
92.08/92.17	o 4
1303.79/1304.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1303.79/1304.00	c   616162     70     3949   113153   28     8241    1176   3939   6686 92.16
1303.79/1304.00	c   616262     70      749    20628   27     1809    1294    739   6685 92.18
1303.79/1304.00	c   616512     70      999    27157   27     2309    1424    989   6686 92.21
1303.79/1304.00	c   616988     70     1475    39670   26     3261    1567   1465   6687 92.26
1303.79/1304.00	c   617801     69     1476    39194   26     3258    1724   1466   6689 92.35
1303.79/1304.00	c   619121     67     1020    29289   28     2348    1897   1010   6692 92.51
1303.79/1304.00	c   621202     67     1160    31418   27     2625    2087   1150   6696 92.76
1303.79/1304.00	c   624425     66     1182    31435   26     2669    2296   1172   6702 93.17
1303.79/1304.00	c   629362     66     1426    40384   28     3157    2526   1416   6708 93.82
1303.79/1304.00	c   636868     64     2484    71418   28     5268    2779   2474   6716 94.82
1303.79/1304.00	c   648230     64     2523    73949   29     5352    3057   2513   6727 96.35
1303.79/1304.00	c   665374     62     2565    74706   29     5430    3363   2555   6732 98.84
1303.79/1304.00	c   691193     62     2806    81139   28     5908    3700   2796   6737 102.59
1303.79/1304.00	c   730027     61     2264    67878   29     4823    4071   2254   6721 108.61
1303.79/1304.00	c   788380     61     2957    86075   29     6214    4479   2947   6677 118.07
1303.79/1304.00	c   876012     61     4541   140063   30     9370    4927   4531   6584 133.05
1303.79/1304.00	c  1007567     61     4227   127898   30     8751    5420   4217   6468 155.75
1303.79/1304.00	c  1205001     61     4752   144746   30     9800    5963   4742   6254 192.68
1303.79/1304.00	c  1501253     61     3441   104709   30     7177    6560   3431   6057 247.85
1303.79/1304.00	c  1945735     60     5053   154823   30    10399    7217   5043   5883 330.73
1303.79/1304.00	c  2612562     60     7137   208734   29    14567    7939   7127   5617 465.05
1303.79/1304.00	c  3612908     60     5248   155424   29    10790    8733   5238   5374 672.25
1303.79/1304.00	c  5113530     60     4500   140511   31     9287    9607   4490   5103 1002.00
1303.79/1304.00	o 3
1441.97/1442.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1441.97/1442.25	c  6467192     60     6546   191780   29    13405    1156   6536   4960 1303.80
1441.97/1442.25	c  6467292     60      749    20828   27     1781    1272    739   4960 1303.83
1441.97/1442.25	c  6467543     60     1000    27822   27     2284    1400    990   4960 1303.86
1441.97/1442.25	c  6468018     60      771    20733   26     1821    1541    761   4960 1303.92
1441.97/1442.25	c  6468831     60     1584    44131   27     3450    1696   1574   4960 1304.02
1441.97/1442.25	c  6470151     60     1160    33305   28     2600    1866   1150   4961 1304.18
1441.97/1442.25	c  6472232     60     1330    38241   28     2944    2053   1320   4961 1304.44
1441.97/1442.25	c  6475455     60     1409    37996   26     3092    2259   1399   4962 1304.82
1441.97/1442.25	c  6480391     60     1721    46909   27     3718    2485   1711   4964 1305.41
1441.97/1442.25	c  6487899     60     1643    48379   29     3572    2734   1633   4966 1306.45
1441.97/1442.25	c  6499261     60     1869    55852   29     4019    3008   1859   4968 1308.01
1441.97/1442.25	c  6516406     60     2200    66641   30     4688    3309   2190   4972 1310.47
1441.97/1442.25	c  6542226     60     2819    86411   30     5923    3640   2809   4977 1314.36
1441.97/1442.25	c  6581059     60     2933    86915   29     6149    4005   2923   4985 1320.13
1441.97/1442.25	c  6639411     60     2500    74376   29     5286    4406   2490   4994 1329.28
1441.97/1442.25	c  6727044     60     3252    98926   30     6788    4847   3242   5007 1343.38
1441.97/1442.25	c  6858596     60     2620    79916   30     5518    5332   2610   5023 1365.36
1441.97/1442.25	c  7056028     60     3588   109090   30     7462    5866   3578   5040 1399.78
1441.97/1442.25	o 2
1797.92/1798.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.92/1798.27	c  7302878     60     4922   142859   29    10145    1156   4912   5064 1442.03
1797.92/1798.27	c  7302978     60      749    20658   27     1785    1272    739   5064 1442.05
1797.92/1798.27	c  7303228     60      999    28142   28     2279    1400    989   5064 1442.08
1797.92/1798.27	c  7303703     60      771    20881   27     1827    1541    761   5064 1442.14
1797.92/1798.27	c  7304517     60     1585    44506   28     3454    1696   1575   5064 1442.23
1797.92/1798.27	c  7305837     60     1164    32820   28     2612    1866   1154   5065 1442.39
1797.92/1798.27	c  7307918     60     1338    38058   28     2956    2053   1328   5065 1442.66
1797.92/1798.27	c  7311142     60     1403    41234   29     3094    2259   1393   5066 1443.08
1797.92/1798.27	c  7316078     60     1712    49040   28     3707    2485   1702   5067 1443.75
1797.92/1798.27	c  7323584     60     1602    46382   28     3489    2734   1592   5068 1444.78
1797.92/1798.27	c  7334946     60     1818    52364   28     3917    3008   1808   5071 1446.25
1797.92/1798.27	c  7352091     60     2145    61823   28     4574    3309   2135   5075 1448.64
1797.92/1798.27	c  7377912     59     2783    84381   30     5850    3640   2773   5079 1452.42
1797.92/1798.27	c  7416744     58     2866    83278   29     6010    4005   2856   5085 1458.32
1797.92/1798.27	c  7475096     57     2454    73454   29     5184    4406   2444   5094 1467.25
1797.92/1798.27	c  7562728     56     3233    96707   29     6739    4847   3223   5106 1481.04
1797.92/1798.27	c  7694280     56     2557    76943   30     5393    5332   2547   5118 1503.11
1797.92/1798.27	c  7891712     54     3513    96352   27     7296    5866   3503   5137 1535.99
1797.92/1798.27	c  8187965     54     4100   123954   30     8475    6453   4090   5148 1590.47
1797.92/1798.27	c  8632447     54     6417   194886   30    13100    7099   6407   5153 1674.96
1797.92/1798.27	c Resources Exceeded
1797.92/1798.27	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 x91 x92 x93 -x94 -x95 x96 x97 -x98 -x99 x100 -x101 x102 x103 -x104 x105 -x106 x107 -x108 x109 x110 -x111 x112 x113 -x114 -x115 -x116 -x117 x118 x119 -x120 x90 
1797.92/1798.27	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.92/1798.27	c  227  9255777  24354  9286836     4367   133190   4357   5147 1798.00
1797.92/1798.27	c Objective: 2
1797.92/1798.27	s SATISFIABLE
1797.92/1798.27	c Total time: 1798 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-3708066-1338312547/watcher-3708066-1338312547 -o /tmp/evaluation-result-3708066-1338312547/solver-3708066-1338312547 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708066-1338312547.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: 2.03 2.01 1.91 3/173 10454
/proc/meminfo: memFree=29914444/32873844 swapFree=7116/7116
[pid=10454] ppid=10452 vsize=18604 CPUtime=0 cores=1,3,5,7
/proc/10454/stat : 10454 (bsolo) R 10452 10454 10328 0 -1 4202496 296 0 0 0 0 0 0 0 20 0 1 0 297379656 19050496 247 33554432000 134512640 137138936 4288668288 4288665284 136500388 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10454/statm: 4651 247 192 642 0 4007 0

[startup+0.059686 s]
/proc/loadavg: 2.03 2.01 1.91 3/173 10454
/proc/meminfo: memFree=29914444/32873844 swapFree=7116/7116
[pid=10454] ppid=10452 vsize=11048 CPUtime=0.05 cores=1,3,5,7
/proc/10454/stat : 10454 (bsolo) R 10452 10454 10328 0 -1 4202496 372 0 0 0 5 0 0 0 20 0 1 0 297379656 11313152 323 33554432000 134512640 137138936 4288668288 4288667404 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10454/statm: 2762 323 192 642 0 2118 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11048

[startup+0.100256 s]
/proc/loadavg: 2.03 2.01 1.91 3/173 10454
/proc/meminfo: memFree=29914444/32873844 swapFree=7116/7116
[pid=10454] ppid=10452 vsize=11176 CPUtime=0.09 cores=1,3,5,7
/proc/10454/stat : 10454 (bsolo) R 10452 10454 10328 0 -1 4202496 411 0 0 0 9 0 0 0 20 0 1 0 297379656 11444224 362 33554432000 134512640 137138936 4288668288 4288667404 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10454/statm: 2794 362 192 642 0 2150 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11176

[startup+0.300226 s]
/proc/loadavg: 2.03 2.01 1.91 3/173 10454
/proc/meminfo: memFree=29914444/32873844 swapFree=7116/7116
[pid=10454] ppid=10452 vsize=11684 CPUtime=0.29 cores=1,3,5,7
/proc/10454/stat : 10454 (bsolo) R 10452 10454 10328 0 -1 4202496 513 0 0 0 29 0 0 0 20 0 1 0 297379656 11964416 464 33554432000 134512640 137138936 4288668288 4288667404 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10454/statm: 2921 464 192 642 0 2277 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11684

[startup+0.70023 s]
/proc/loadavg: 2.03 2.01 1.91 3/173 10454
/proc/meminfo: memFree=29914444/32873844 swapFree=7116/7116
[pid=10454] ppid=10452 vsize=11684 CPUtime=0.69 cores=1,3,5,7
/proc/10454/stat : 10454 (bsolo) R 10452 10454 10328 0 -1 4202496 513 0 0 0 69 0 0 0 20 0 1 0 297379656 11964416 464 33554432000 134512640 137138936 4288668288 4288667404 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10454/statm: 2921 464 192 642 0 2277 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11684

[startup+1.50023 s]
/proc/loadavg: 2.03 2.01 1.91 3/174 10455
/proc/meminfo: memFree=29913676/32873844 swapFree=7116/7116
[pid=10454] ppid=10452 vsize=11812 CPUtime=1.49 cores=1,3,5,7
/proc/10454/stat : 10454 (bsolo) R 10452 10454 10328 0 -1 4202496 555 0 0 0 149 0 0 0 20 0 1 0 297379656 12095488 506 33554432000 134512640 137138936 4288668288 4288667404 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10454/statm: 2953 506 192 642 0 2309 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11812

[startup+3.10023 s]
/proc/loadavg: 2.03 2.01 1.91 3/177 10486
/proc/meminfo: memFree=29917828/32873844 swapFree=7116/7116
[pid=10454] ppid=10452 vsize=11940 CPUtime=3.09 cores=1,3,5,7
/proc/10454/stat : 10454 (bsolo) R 10452 10454 10328 0 -1 4202496 579 0 0 0 308 1 0 0 20 0 1 0 297379656 12226560 530 33554432000 134512640 137138936 4288668288 4288667404 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10454/statm: 2985 530 192 642 0 2341 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11940

[startup+6.30023 s]
/proc/loadavg: 2.03 2.01 1.91 3/177 10486
/proc/meminfo: memFree=29915844/32873844 swapFree=7116/7116
[pid=10454] ppid=10452 vsize=12064 CPUtime=6.29 cores=1,3,5,7
/proc/10454/stat : 10454 (bsolo) R 10452 10454 10328 0 -1 4202496 630 0 0 0 626 3 0 0 20 0 1 0 297379656 12353536 581 33554432000 134512640 137138936 4288668288 4288667404 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10454/statm: 3016 581 192 642 0 2372 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12064

[startup+12.7002 s]
/proc/loadavg: 2.03 2.01 1.91 3/177 10486
/proc/meminfo: memFree=29915024/32873844 swapFree=7116/7116
[pid=10454] ppid=10452 vsize=12064 CPUtime=12.69 cores=1,3,5,7
/proc/10454/stat : 10454 (bsolo) R 10452 10454 10328 0 -1 4202496 630 0 0 0 1264 5 0 0 20 0 1 0 297379656 12353536 581 33554432000 134512640 137138936 4288668288 4288667404 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10454/statm: 3016 581 192 642 0 2372 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12064

[startup+25.5002 s]
/proc/loadavg: 2.02 2.01 1.91 3/177 10487
/proc/meminfo: memFree=29914676/32873844 swapFree=7116/7116
[pid=10454] ppid=10452 vsize=12564 CPUtime=25.49 cores=1,3,5,7
/proc/10454/stat : 10454 (bsolo) R 10452 10454 10328 0 -1 4202496 744 0 0 0 2540 9 0 0 20 0 1 0 297379656 12865536 695 33554432000 134512640 137138936 4288668288 4288667216 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10454/statm: 3141 695 192 642 0 2497 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 12564

[startup+51.1002 s]
/proc/loadavg: 2.01 2.00 1.91 3/177 10487
/proc/meminfo: memFree=29913808/32873844 swapFree=7116/7116
[pid=10454] ppid=10452 vsize=13184 CPUtime=51.08 cores=1,3,5,7
/proc/10454/stat : 10454 (bsolo) R 10452 10454 10328 0 -1 4202496 898 0 0 0 5091 17 0 0 20 0 1 0 297379656 13500416 849 33554432000 134512640 137138936 4288668288 4288667404 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10454/statm: 3296 849 192 642 0 2652 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 13184

[startup+102.306 s]
/proc/loadavg: 2.05 2.02 1.92 3/178 10490
/proc/meminfo: memFree=29912684/32873844 swapFree=7116/7116
[pid=10454] ppid=10452 vsize=13068 CPUtime=102.28 cores=1,3,5,7
/proc/10454/stat : 10454 (bsolo) R 10452 10454 10328 0 -1 4202496 898 0 0 0 10192 36 0 0 20 0 1 0 297379656 13381632 840 33554432000 134512640 137138936 4288668288 4288666568 136504280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10454/statm: 3267 840 192 642 0 2623 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 13068

[startup+162.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/177 10490
/proc/meminfo: memFree=29912072/32873844 swapFree=7116/7116
[pid=10454] ppid=10452 vsize=13452 CPUtime=162.26 cores=1,3,5,7
/proc/10454/stat : 10454 (bsolo) R 10452 10454 10328 0 -1 4202496 985 0 0 0 16168 58 0 0 20 0 1 0 297379656 13774848 927 33554432000 134512640 137138936 4288668288 4288667404 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10454/statm: 3363 927 192 642 0 2719 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 13452

[startup+222.3 s]
/proc/loadavg: 2.04 2.02 1.93 3/177 10490
/proc/meminfo: memFree=29911388/32873844 swapFree=7116/7116
[pid=10454] ppid=10452 vsize=13804 CPUtime=222.25 cores=1,3,5,7
/proc/10454/stat : 10454 (bsolo) R 10452 10454 10328 0 -1 4202496 1076 0 0 0 22152 73 0 0 20 0 1 0 297379656 14135296 1017 33554432000 134512640 137138936 4288668288 4288667184 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10454/statm: 3451 1017 192 642 0 2807 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 13804

[startup+282.3 s]
/proc/loadavg: 2.05 2.03 1.93 3/177 10490
/proc/meminfo: memFree=29910768/32873844 swapFree=7116/7116
[pid=10454] ppid=10452 vsize=14164 CPUtime=282.25 cores=1,3,5,7
/proc/10454/stat : 10454 (bsolo) R 10452 10454 10328 0 -1 4202496 1154 0 0 0 28127 98 0 0 20 0 1 0 297379656 14503936 1095 33554432000 134512640 137138936 4288668288 4288667404 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10454/statm: 3541 1095 192 642 0 2897 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 14164

[startup+342.3 s]
/proc/loadavg: 2.05 2.03 1.94 3/177 10491
/proc/meminfo: memFree=29910332/32873844 swapFree=7116/7116
[pid=10454] ppid=10452 vsize=14424 CPUtime=342.24 cores=1,3,5,7
/proc/10454/stat : 10454 (bsolo) R 10452 10454 10328 0 -1 4202496 1236 0 0 0 34108 116 0 0 20 0 1 0 297379656 14770176 1177 33554432000 134512640 137138936 4288668288 4288667404 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10454/statm: 3606 1177 192 642 0 2962 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 14424

[startup+402.3 s]
/proc/loadavg: 2.14 2.07 1.95 3/178 10492
/proc/meminfo: memFree=29910208/32873844 swapFree=7116/7116
[pid=10454] ppid=10452 vsize=14500 CPUtime=402.23 cores=1,3,5,7
/proc/10454/stat : 10454 (bsolo) R 10452 10454 10328 0 -1 4202496 1246 0 0 0 40089 134 0 0 20 0 1 0 297379656 14848000 1187 33554432000 134512640 137138936 4288668288 4288667404 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10454/statm: 3625 1187 192 642 0 2981 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 14500

[startup+462.3 s]
/proc/loadavg: 2.09 2.07 1.96 3/177 10492
/proc/meminfo: memFree=29909968/32873844 swapFree=7116/7116
[pid=10454] ppid=10452 vsize=14492 CPUtime=462.22 cores=1,3,5,7
/proc/10454/stat : 10454 (bsolo) R 10452 10454 10328 0 -1 4202496 1246 0 0 0 46070 152 0 0 20 0 1 0 297379656 14839808 1187 33554432000 134512640 137138936 4288668288 4288667328 134540740 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10454/statm: 3623 1187 192 642 0 2979 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 14492

[startup+522.3 s]
/proc/loadavg: 2.06 2.07 1.96 3/177 10492
/proc/meminfo: memFree=29909968/32873844 swapFree=7116/7116
[pid=10454] ppid=10452 vsize=14844 CPUtime=522.21 cores=1,3,5,7
/proc/10454/stat : 10454 (bsolo) R 10452 10454 10328 0 -1 4202496 1334 0 0 0 52054 167 0 0 20 0 1 0 297379656 15200256 1275 33554432000 134512640 137138936 4288668288 4288667404 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10454/statm: 3711 1275 192 642 0 3067 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 14844

[startup+582.3 s]
/proc/loadavg: 2.06 2.07 1.97 3/177 10492
/proc/meminfo: memFree=29909844/32873844 swapFree=7116/7116
[pid=10454] ppid=10452 vsize=14844 CPUtime=582.2 cores=1,3,5,7
/proc/10454/stat : 10454 (bsolo) R 10452 10454 10328 0 -1 4202496 1338 0 0 0 58034 186 0 0 20 0 1 0 297379656 15200256 1279 33554432000 134512640 137138936 4288668288 4288667404 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10454/statm: 3711 1279 192 642 0 3067 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 14844

[startup+642.3 s]

################
# More data... #
################

/proc/meminfo: memFree=29908540/32873844 swapFree=7116/7116
[pid=10454] ppid=10452 vsize=15748 CPUtime=1122.12 cores=1,3,5,7
/proc/10454/stat : 10454 (bsolo) R 10452 10454 10328 0 -1 4202496 1554 0 0 0 111879 333 0 0 20 0 1 0 297379656 16125952 1494 33554432000 134512640 137138936 4288668288 4288666708 136500294 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10454/statm: 3937 1494 192 642 0 3293 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 15748

[startup+1182.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 10497
/proc/meminfo: memFree=29908416/32873844 swapFree=7116/7116
[pid=10454] ppid=10452 vsize=15736 CPUtime=1182.11 cores=1,3,5,7
/proc/10454/stat : 10454 (bsolo) R 10452 10454 10328 0 -1 4202496 1554 0 0 0 117863 348 0 0 20 0 1 0 297379656 16113664 1494 33554432000 134512640 137138936 4288668288 4288667404 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10454/statm: 3934 1494 192 642 0 3290 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 15736

[startup+1242.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/177 10498
/proc/meminfo: memFree=29908168/32873844 swapFree=7116/7116
[pid=10454] ppid=10452 vsize=15720 CPUtime=1242.1 cores=1,3,5,7
/proc/10454/stat : 10454 (bsolo) R 10452 10454 10328 0 -1 4202496 1554 0 0 0 123846 364 0 0 20 0 1 0 297379656 16097280 1494 33554432000 134512640 137138936 4288668288 4288667040 134575364 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10454/statm: 3930 1494 192 642 0 3286 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 15720

[startup+1302.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/178 10501
/proc/meminfo: memFree=29908036/32873844 swapFree=7116/7116
[pid=10454] ppid=10452 vsize=15716 CPUtime=1302.09 cores=1,3,5,7
/proc/10454/stat : 10454 (bsolo) R 10452 10454 10328 0 -1 4202496 1554 0 0 0 129830 379 0 0 20 0 1 0 297379656 16093184 1494 33554432000 134512640 137138936 4288668288 4288667216 134542805 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10454/statm: 3929 1494 192 642 0 3285 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 15716

[startup+1362.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 10501
/proc/meminfo: memFree=29908044/32873844 swapFree=7116/7116
[pid=10454] ppid=10452 vsize=15244 CPUtime=1362.08 cores=1,3,5,7
/proc/10454/stat : 10454 (bsolo) R 10452 10454 10328 0 -1 4202496 1554 0 0 0 135806 402 0 0 20 0 1 0 297379656 15609856 1384 33554432000 134512640 137138936 4288668288 4288667404 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10454/statm: 3811 1384 192 642 0 3167 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 15244

[startup+1422.31 s]
/proc/loadavg: 2.05 2.06 2.00 3/177 10501
/proc/meminfo: memFree=29908044/32873844 swapFree=7116/7116
[pid=10454] ppid=10452 vsize=15244 CPUtime=1422.07 cores=1,3,5,7
/proc/10454/stat : 10454 (bsolo) R 10452 10454 10328 0 -1 4202496 1554 0 0 0 141782 425 0 0 20 0 1 0 297379656 15609856 1384 33554432000 134512640 137138936 4288668288 4288667184 134542237 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10454/statm: 3811 1384 192 642 0 3167 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 15244

[startup+1482.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/176 10501
/proc/meminfo: memFree=29910656/32873844 swapFree=7116/7116
[pid=10454] ppid=10452 vsize=13744 CPUtime=1482.06 cores=1,3,5,7
/proc/10454/stat : 10454 (bsolo) R 10452 10454 10328 0 -1 4202496 1554 0 0 0 147758 448 0 0 20 0 1 0 297379656 14073856 1009 33554432000 134512640 137138936 4288668288 4288667404 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10454/statm: 3436 1009 192 642 0 2792 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 13744

[startup+1542.3 s]
/proc/loadavg: 2.07 2.07 2.01 3/176 10502
/proc/meminfo: memFree=29910904/32873844 swapFree=7116/7116
[pid=10454] ppid=10452 vsize=13744 CPUtime=1542.06 cores=1,3,5,7
/proc/10454/stat : 10454 (bsolo) R 10452 10454 10328 0 -1 4202496 1554 0 0 0 153736 470 0 0 20 0 1 0 297379656 14073856 1009 33554432000 134512640 137138936 4288668288 4288667404 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10454/statm: 3436 1009 192 642 0 2792 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 13744

[startup+1602.3 s]
/proc/loadavg: 2.08 2.07 2.00 3/177 10503
/proc/meminfo: memFree=29910772/32873844 swapFree=7116/7116
[pid=10454] ppid=10452 vsize=14076 CPUtime=1602.04 cores=1,3,5,7
/proc/10454/stat : 10454 (bsolo) R 10452 10454 10328 0 -1 4202496 1621 0 0 0 159716 488 0 0 20 0 1 0 297379656 14413824 1076 33554432000 134512640 137138936 4288668288 4288667404 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10454/statm: 3519 1076 192 642 0 2875 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 14076

[startup+1662.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 10503
/proc/meminfo: memFree=29910400/32873844 swapFree=7116/7116
[pid=10454] ppid=10452 vsize=14076 CPUtime=1662.03 cores=1,3,5,7
/proc/10454/stat : 10454 (bsolo) R 10452 10454 10328 0 -1 4202496 1626 0 0 0 165695 508 0 0 20 0 1 0 297379656 14413824 1081 33554432000 134512640 137138936 4288668288 4288667404 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10454/statm: 3519 1081 192 642 0 2875 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 14076

[startup+1722.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/177 10503
/proc/meminfo: memFree=29910524/32873844 swapFree=7116/7116
[pid=10454] ppid=10452 vsize=14440 CPUtime=1722.03 cores=1,3,5,7
/proc/10454/stat : 10454 (bsolo) R 10452 10454 10328 0 -1 4202496 1721 0 0 0 171674 529 0 0 20 0 1 0 297379656 14786560 1176 33554432000 134512640 137138936 4288668288 4288666804 134551166 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10454/statm: 3610 1176 192 642 0 2966 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 14440

[startup+1782.3 s]
/proc/loadavg: 2.07 2.07 2.01 3/177 10503
/proc/meminfo: memFree=29909780/32873844 swapFree=7116/7116
[pid=10454] ppid=10452 vsize=14440 CPUtime=1782.02 cores=1,3,5,7
/proc/10454/stat : 10454 (bsolo) R 10452 10454 10328 0 -1 4202496 1721 0 0 0 177656 546 0 0 20 0 1 0 297379656 14786560 1176 33554432000 134512640 137138936 4288668288 4288667404 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10454/statm: 3610 1176 192 642 0 2966 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 14440

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

[startup+1791.91 s]
/proc/loadavg: 2.14 2.08 2.01 3/177 10503
/proc/meminfo: memFree=29909780/32873844 swapFree=7116/7116
[pid=10454] ppid=10452 vsize=14440 CPUtime=1791.62 cores=1,3,5,7
/proc/10454/stat : 10454 (bsolo) R 10452 10454 10328 0 -1 4202496 1721 0 0 0 178613 549 0 0 20 0 1 0 297379656 14786560 1176 33554432000 134512640 137138936 4288668288 4288667404 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10454/statm: 3610 1176 192 642 0 2966 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 14440

[startup+1795.1 s]
/proc/loadavg: 2.13 2.08 2.01 3/177 10503
/proc/meminfo: memFree=29909780/32873844 swapFree=7116/7116
[pid=10454] ppid=10452 vsize=14440 CPUtime=1794.82 cores=1,3,5,7
/proc/10454/stat : 10454 (bsolo) R 10452 10454 10328 0 -1 4202496 1721 0 0 0 178932 550 0 0 20 0 1 0 297379656 14786560 1176 33554432000 134512640 137138936 4288668288 4288667404 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10454/statm: 3610 1176 192 642 0 2966 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 14440

[startup+1796.7 s]
/proc/loadavg: 2.13 2.08 2.01 3/177 10503
/proc/meminfo: memFree=29909780/32873844 swapFree=7116/7116
[pid=10454] ppid=10452 vsize=14440 CPUtime=1796.42 cores=1,3,5,7
/proc/10454/stat : 10454 (bsolo) R 10452 10454 10328 0 -1 4202496 1721 0 0 0 179091 551 0 0 20 0 1 0 297379656 14786560 1176 33554432000 134512640 137138936 4288668288 4288667404 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10454/statm: 3610 1176 192 642 0 2966 0
Current children cumulated CPU time (s) 1796.42
Current children cumulated vsize (KiB) 14440

[startup+1797.5 s]
/proc/loadavg: 2.13 2.08 2.01 3/177 10503
/proc/meminfo: memFree=29909780/32873844 swapFree=7116/7116
[pid=10454] ppid=10452 vsize=14440 CPUtime=1797.22 cores=1,3,5,7
/proc/10454/stat : 10454 (bsolo) R 10452 10454 10328 0 -1 4202496 1721 0 0 0 179171 551 0 0 20 0 1 0 297379656 14786560 1176 33554432000 134512640 137138936 4288668288 4288667404 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10454/statm: 3610 1176 192 642 0 2966 0
Current children cumulated CPU time (s) 1797.22
Current children cumulated vsize (KiB) 14440

[startup+1797.9 s]
/proc/loadavg: 2.13 2.08 2.01 3/177 10503
/proc/meminfo: memFree=29909780/32873844 swapFree=7116/7116
[pid=10454] ppid=10452 vsize=14440 CPUtime=1797.62 cores=1,3,5,7
/proc/10454/stat : 10454 (bsolo) R 10452 10454 10328 0 -1 4202496 1721 0 0 0 179211 551 0 0 20 0 1 0 297379656 14786560 1176 33554432000 134512640 137138936 4288668288 4288667404 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10454/statm: 3610 1176 192 642 0 2966 0
Current children cumulated CPU time (s) 1797.62
Current children cumulated vsize (KiB) 14440

[startup+1798.1 s]
/proc/loadavg: 2.13 2.08 2.01 3/177 10503
/proc/meminfo: memFree=29909780/32873844 swapFree=7116/7116
[pid=10454] ppid=10452 vsize=14440 CPUtime=1797.82 cores=1,3,5,7
/proc/10454/stat : 10454 (bsolo) R 10452 10454 10328 0 -1 4202496 1721 0 0 0 179231 551 0 0 20 0 1 0 297379656 14786560 1176 33554432000 134512640 137138936 4288668288 4288667096 136504020 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10454/statm: 3610 1176 192 642 0 2966 0
Current children cumulated CPU time (s) 1797.82
Current children cumulated vsize (KiB) 14440

[startup+1798.2 s]
/proc/loadavg: 2.13 2.08 2.01 3/177 10503
/proc/meminfo: memFree=29909780/32873844 swapFree=7116/7116
[pid=10454] ppid=10452 vsize=14440 CPUtime=1797.92 cores=1,3,5,7
/proc/10454/stat : 10454 (bsolo) R 10452 10454 10328 0 -1 4202496 1721 0 0 0 179241 551 0 0 20 0 1 0 297379656 14786560 1176 33554432000 134512640 137138936 4288668288 4288667404 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10454/statm: 3610 1176 192 642 0 2966 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 14440

Child status: 0
Real time (s): 1798.28
CPU time (s): 1798
CPU user time (s): 1792.49
CPU system time (s): 5.51316
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 15772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.49
system time used= 5.51316
maximum resident set size= 5976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1722
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= 5
involuntary context switches= 1853

runsolver used 2.83757 second user time and 7.37288 second system time

The end

Launcher Data 

Begin job on node146 at 2012-05-29 19:29:07
IDJOB=3708066
IDBENCH=2923
IDSOLVER=2286
FILE ID=node146/3708066-1338312547
RUNJOBID= node146-1338310748-10345
PBS_JOBID= 14632082
Free space on /tmp= 71120 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_1.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3708066-1338312547/watcher-3708066-1338312547 -o /tmp/evaluation-result-3708066-1338312547/solver-3708066-1338312547 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3708066-1338312547.opb

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

MD5SUM BENCH= 5bf563c7058af01702ea80887f1d43ad
RANDOM SEED=649378599

node146.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.034
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.06
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.034
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.92
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.034
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		: 2667.034
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		: 2667.034
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		: 2667.034
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	: 5331.91
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.034
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		: 2667.034
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29915336 kB
Buffers:          443844 kB
Cached:          1636712 kB
SwapCached:         2180 kB
Active:          1095564 kB
Inactive:         990488 kB
Active(anon):       4764 kB
Inactive(anon):     2672 kB
Active(file):    1090800 kB
Inactive(file):   987816 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100344 kB
Dirty:              3896 kB
Writeback:             0 kB
AnonPages:         88824 kB
Mapped:             9260 kB
Shmem:                 0 kB
Slab:             731648 kB
SReclaimable:     173188 kB
SUnreclaim:       558460 kB
KernelStack:        1472 kB
PageTables:         4252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     104060 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     77824 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= 71120 MiB
End job on node146 at 2012-05-29 19:59:06