Trace number 3734837

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.17SAT (TO)11 1800.03 1800.31

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_3.opb
MD5SUM8d16c34d0eecf3c16ca4b890652c15ca
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark1791.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7
Optimality of the best value was proved NO
Number of variables146
Total number of constraints12
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 constraints12
Minimum length of a constraint64
Maximum length of a constraint66
Number of terms in the objective function 96
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 3060
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1270
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4321
Number of bits of the biggest sum of numbers13
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-3734837-1338701155.opb
0.00/0.00	c File size is 7734 bytes.
0.00/0.00	c Highest Coefficient sum: 4321
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 146 Constr: 12 0/0/12 Lit: 784 Watch. Lit: 220
0.00/0.00	c Obj. Vars: 96 (65.7534 % 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    146       12      784   65      226    1568      0      0 0.00
0.00/0.00	c Switching off LPR mode.
0.00/0.00	o 1114	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    146       13      880   67      564    1760      1      0 0.00
0.00/0.00	o 954	0.004
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       41    146       55     3457   62      722    1760     43  10250 0.00
0.00/0.00	o 477	0.004
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       42    146       57     3617   63      776    1760     45  10500 0.00
0.00/0.01	o 336	0.005
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       60    146       76     4518   59      857    1760     64  12000 0.01
0.00/0.01	c      160    146      176     8161   46     1067    1937    164  16000 0.01
0.00/0.01	o 328	0.01
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c      161    146      178     8320   46     1154    1760    166  16100 0.01
0.09/0.11	c      261    146      278    13091   47     1348    1937    266  16312 0.02
0.09/0.11	c      512    146      529    22617   42     1854    2131    517  17066 0.03
0.09/0.11	c      987    146     1004    41865   41     2788    2345    992  16728 0.06
0.09/0.11	c     1801    146     1818    71606   39     4411    2580   1806  16522 0.11
0.09/0.11	o 318	0.112
0.39/0.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.40	c     1832    146     1850    73228   39     4559    1760   1838  16212 0.11
0.39/0.40	c     1932    146      993    37200   37     2535    1937    981  15966 0.12
0.39/0.40	c     2182    146     1243    47389   38     3038    2131   1231  16044 0.14
0.39/0.40	c     2657    146     1718    64969   37     3979    2345   1706  15910 0.17
0.39/0.40	c     3470    146     1313    53793   40     3170    2580   1301  14956 0.23
0.39/0.40	c     4790    146     1303    51652   39     3145    2839   1291  13965 0.34
0.39/0.40	o 302	0.398
0.39/0.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.44	c     5543    146     2057    85285   41     4749    1760   2045  13927 0.40
0.39/0.44	c     5643    146      993    42838   43     2535    1937    981  13933 0.41
0.39/0.44	c     5893    146     1243    51559   41     3030    2131   1231  13997 0.42
0.39/0.44	o 244	0.438
0.39/0.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.44	c     6128    146     1479    61042   41     3596    1760   1467  13990 0.44
0.39/0.44	o 242	0.438
0.39/0.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.44	c     6129    146     1481    61171   41     3687    1760   1469  13993 0.44
0.39/0.44	o 240	0.439
0.39/0.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.44	c     6130    146     1483    61347   41     3778    1760   1471  13963 0.44
0.39/0.44	o 238	0.44
0.49/0.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.52	c     6146    146     1500    62497   41     3916    1760   1488  13968 0.44
0.49/0.52	c     6246    146     1600    65687   41     4110    1937   1588  13973 0.45
0.49/0.52	c     6496    146     1850    74003   40     4632    2131   1838  13939 0.47
0.49/0.52	c     6972    146     1227    44176   36     3009    2345   1215  13916 0.50
0.49/0.52	o 237	0.516
0.49/0.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.56	c     7158    146     1414    52336   37     3476    1760   1402  13872 0.52
0.49/0.56	c     7258    146     1514    56085   37     3670    1937   1502  13877 0.52
0.49/0.56	c     7508    146     1764    66340   37     4179    2131   1752  13801 0.54
0.49/0.56	o 229	0.561
0.49/0.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.56	c     7699    146     1956    74173   37     4639    1760   1944  13723 0.56
0.49/0.56	o 225	0.565
0.49/0.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.57	c     7728    146      923    36139   39     2479    1760    911  13677 0.56
0.49/0.57	o 223	0.566
0.49/0.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.59	c     7742    146      938    36902   39     2609    1760    926  13678 0.57
0.49/0.59	c     7842    146     1038    40547   39     2794    1937   1026  13709 0.57
0.49/0.59	o 217	0.589
0.59/0.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.60	c     8075    146     1272    50311   39     3370    1760   1260  13709 0.59
0.59/0.60	c     8176    146     1373    53899   39     3568    1937   1361  13672 0.60
0.59/0.60	o 209	0.601
0.59/0.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.60	c     8214    146     1412    55151   39     3731    1760   1400  13667 0.60
0.59/0.60	o 201	0.601
0.59/0.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.65	c     8214    146     1413    55247   39     3830    1760   1401  13667 0.60
0.59/0.65	c     8314    146     1513    59937   39     4020    1937   1501  13629 0.61
0.59/0.65	c     8564    146     1763    71813   40     4498    2131   1751  13550 0.63
0.59/0.65	o 185	0.654
0.59/0.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.66	c     8821    146     2021    82424   40     5135    1760   2009  13487 0.65
0.59/0.66	c     8922    146      994    42305   42     2538    1937    982  13457 0.66
0.59/0.66	o 183	0.664
0.59/0.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.67	c     8930    146     1003    42716   42     2649    1760    991  13448 0.66
0.59/0.67	o 181	0.666
0.69/0.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.75	c     8946    146     1020    43602   42     2775    1760   1008  13432 0.67
0.69/0.75	c     9048    146     1122    48781   43     2983    1937   1110  13404 0.68
0.69/0.75	c     9298    146     1372    59060   43     3482    2131   1360  13417 0.69
0.69/0.75	c     9773    146     1847    80511   43     4440    2345   1835  13260 0.74
0.69/0.75	o 161	0.745
0.79/0.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.82	c     9846    146     1921    83422   43     4674    1760   1909  13216 0.74
0.79/0.82	c     9946    146      993    41995   42     2500    1937    981  13173 0.76
0.79/0.82	c    10196    146     1243    51336   41     3039    2131   1231  13207 0.77
0.79/0.82	c    10671    146     1718    70135   40     3993    2345   1706  13239 0.81
0.79/0.82	o 134	0.823
0.79/0.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.84	c    10905    146     1953    77934   39     4553    1760   1941  13250 0.82
0.79/0.84	c    11006    146      994    36786   37     2522    1937    982  13260 0.83
0.79/0.84	o 132	0.835
6.39/6.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.39/6.47	c    11110    146     1099    42000   38     2844    1760   1087  13305 0.83
6.39/6.47	c    11215    146     1204    46485   38     3053    1937   1192  13335 0.84
6.39/6.47	c    11465    146     1454    52810   36     3488    2131   1442  13440 0.85
6.39/6.47	c    11940    146     1929    66626   34     4452    2345   1917  13476 0.89
6.39/6.47	c    12753    146     1542    45114   29     3569    2580   1530  13581 0.94
6.39/6.47	c    14073    146     1528    46664   30     3580    2839   1516  13636 1.03
6.39/6.47	c    16156    146     2156    70431   32     4835    3123   2144  13656 1.18
6.39/6.47	c    19379    146     2173    63997   29     4856    3436   2161  13532 1.43
6.39/6.47	c    24316    146     1851    56276   30     4207    3780   1839  13419 1.81
6.39/6.47	c    31822    146     3586   125059   34     7667    4159   3574  12688 2.51
6.39/6.47	c    43183    146     2181    83096   38     4904    4575   2169  11674 3.70
6.39/6.47	c    60328    146     3039   120661   39     6605    5033   3027  10994 5.49
6.39/6.47	o 130	6.468
6.39/6.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.39/6.49	c    69973    146     4991   178195   35    10629    1760   4979  10818 6.47
6.39/6.49	o 128	6.495
6.49/6.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.49/6.50	c    70011    146      932    32024   34     2508    1760    920  10779 6.50
6.49/6.50	o 126	6.496
9.09/9.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.09/9.16	c    70030    145      952    33274   34     2645    1758    940  10780 6.50
9.09/9.16	c    70132    143     1054    37059   35     2850    1934   1042  10782 6.50
9.09/9.16	c    70382    140     1304    45724   35     3330    2128   1292  10796 6.52
9.09/9.16	c    70857    140     1779    61111   34     4273    2341   1767  10814 6.55
9.09/9.16	c    71670    140     1376    46174   33     3285    2576   1364  10842 6.61
9.09/9.16	c    72990    140     1372    48098   35     3272    2834   1360  10895 6.70
9.09/9.16	c    75072    140     2001    68705   34     4556    3118   1989  10948 6.86
9.09/9.16	c    78295    139     2017    72410   35     4565    3430   2005  11001 7.12
9.09/9.16	c    83231    139     3442   123579   35     7421    3774   3430  11007 7.56
9.09/9.16	c    90737    138     3242   120812   37     7037    4152   3230  11041 8.22
9.09/9.16	o 119	9.158
9.29/9.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.29/9.33	c   100140    138     2097    76540   36     4733    1744   2085  10923 9.17
9.29/9.33	c   100240    137      993    37076   37     2523    1919    981  10924 9.18
9.29/9.33	c   100490    137     1243    46437   37     3023    2111   1231  10933 9.19
9.29/9.33	c   100965    135     1718    61856   36     3964    2323   1706  10953 9.22
9.29/9.33	c   101778    135     1332    43846   32     3192    2556   1320  10976 9.27
9.29/9.33	o 101	9.332
9.29/9.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.29/9.34	c   102651    134     2206    74557   33     5032    1736   2194  10999 9.33
9.29/9.34	o 97	9.338
9.29/9.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.29/9.34	c   102673    134      916    32409   35     2447    1736    904  10995 9.34
9.29/9.34	o 95	9.338
9.29/9.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.29/9.34	c   102675    134      919    32605   35     2536    1736    907  10995 9.34
9.29/9.34	o 93	9.339
9.29/9.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.29/9.34	c   102679    134      924    32932   35     2625    1736    912  10994 9.34
9.29/9.34	o 91	9.339
9.29/9.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.29/9.36	c   102681    134      927    33151   35     2713    1736    915  10994 9.34
9.29/9.36	c   102781    134     1027    36171   35     2909    1910   1015  10999 9.34
9.29/9.36	c   103031    134     1277    43614   34     3406    2102   1265  11012 9.36
9.29/9.36	o 90	9.359
9.39/9.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.39/9.43	c   103073    134     1320    45293   34     3559    1736   1308  11013 9.36
9.39/9.43	c   103173    134     1420    49249   34     3767    1910   1408  11015 9.37
9.39/9.43	c   103423    134     1670    57241   34     4270    2102   1658  11024 9.38
9.39/9.43	c   103898    134     1076    36423   33     2672    2313   1064  11034 9.42
9.39/9.43	o 73	9.429
9.39/9.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.39/9.43	c   104075    134     1254    42983   34     3122    1736   1242  11037 9.43
9.39/9.43	o 69	9.429
9.59/9.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.59/9.61	c   104076    134     1256    43138   34     3206    1736   1244  11036 9.43
9.59/9.61	c   104177    134     1357    46810   34     3406    1910   1345  11040 9.44
9.59/9.61	c   104427    134     1607    55145   34     3903    2102   1595  11049 9.45
9.59/9.61	c   104902    134     2082    71699   34     4856    2313   2070  11060 9.48
9.59/9.61	c   105715    134     1694    58000   34     3902    2545   1682  11082 9.54
9.59/9.61	o 68	9.612
9.59/9.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.59/9.66	c   106668    134     1330    47107   35     3275    1736   1318  11097 9.61
9.59/9.66	c   106768    134     1430    50782   35     3459    1910   1418  11102 9.62
9.59/9.66	c   107020    134     1682    58761   34     3975    2102   1670  11113 9.63
9.59/9.66	c   107499    134     1076    36507   33     2680    2313   1064  11128 9.66
9.59/9.66	o 64	9.661
9.59/9.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.59/9.66	c   107514    134     1092    37255   34     2794    1736   1080  11128 9.66
9.59/9.66	o 62	9.661
9.59/9.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.59/9.67	c   107516    134     1095    37446   34     2882    1736   1083  11128 9.66
9.59/9.67	o 60	9.666
9.59/9.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.59/9.67	c   107583    127     1163    40040   34     3093    1722   1151  11130 9.67
9.59/9.67	o 58	9.671
9.59/9.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.59/9.67	c   107636    126     1217    42118   34     3278    1720   1205  11129 9.67
9.59/9.67	o 56	9.673
9.69/9.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.69/9.79	c   107660    126     1242    43483   35     3402    1720   1230  11129 9.67
9.69/9.79	c   107761    124     1343    46792   34     3596    1893   1331  11130 9.68
9.69/9.79	c   108011    123     1593    55935   35     4094    2083   1581  11131 9.70
9.69/9.79	c   108487    122     2069    73411   35     5049    2292   2057  11130 9.75
9.69/9.79	o 55	9.784
9.79/9.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.79/9.80	c   108851    122     1262    45231   35     3101    1712   1250  11125 9.78
9.79/9.80	c   108951    122     1362    49647   36     3309    1884   1350  11127 9.79
9.79/9.80	o 46	9.803
9.79/9.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.79/9.81	c   109097    122     1509    55559   36     3670    1712   1497  11128 9.80
9.79/9.81	o 44	9.805
9.79/9.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.79/9.90	c   109121    122     1534    56883   37     3786    1712   1522  11129 9.80
9.79/9.90	c   109222    122     1635    60783   37     3990    1884   1623  11131 9.81
9.79/9.90	c   109472    122     1885    69342   36     4490    2073   1873  11133 9.83
9.79/9.90	c   109947    122     1285    46375   36     3072    2281   1273  11139 9.87
9.79/9.90	o 41	9.895
9.79/9.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.79/9.90	c   110295    122     1634    58553   35     3845    1712   1622  11146 9.89
9.79/9.90	o 39	9.896
9.89/9.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.89/9.98	c   110308    122     1648    59360   36     3944    1712   1636  11146 9.90
9.89/9.98	c   110408    122     1748    62534   35     4146    1884   1736  11147 9.90
9.89/9.98	c   110658    122     1012    34134   33     2530    2073   1000  11149 9.93
9.89/9.98	c   111133    122     1487    50246   33     3489    2281   1475  11160 9.96
9.89/9.98	o 36	9.976
9.89/9.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.89/9.98	c   111373    122     1728    58494   33     4036    1712   1716  11164 9.98
9.89/9.98	o 34	9.977
19.99/20.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
19.99/20.01	c   111383    122     1739    59086   33     4128    1712   1727  11163 9.98
19.99/20.01	c   111483    122      936    31367   33     2385    1884    924  11162 9.99
19.99/20.01	c   111734    122     1187    39848   33     2879    2073   1175  11170 10.00
19.99/20.01	c   112210    122     1663    56450   33     3835    2281   1651  11177 10.04
19.99/20.01	c   113023    122     1306    45132   34     3130    2510   1294  11180 10.11
19.99/20.01	c   114343    122     1332    47745   35     3177    2762   1320  11194 10.21
19.99/20.01	c   116424    122     1990    70611   35     4485    3039   1978  11212 10.38
19.99/20.01	c   119647    122     2092    74812   35     4693    3343   2080  11217 10.67
19.99/20.01	c   124583    122     1896    66684   35     4303    3678   1884  11201 11.12
19.99/20.01	c   132090    122     1924    71148   36     4358    4046   1912  11177 11.82
19.99/20.01	c   143451    122     2992   108278   36     6490    4451   2980  11104 12.92
19.99/20.01	c   160595    122     4319   158297   36     9145    4897   4307  10986 14.62
19.99/20.01	c   186414    122     2831   103813   36     6172    5387   2819  10690 17.44
19.99/20.01	o 32	20.008
19.99/20.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
19.99/20.02	c   208641    122     3245   118111   36     7073    1712   3233  10427 20.01
19.99/20.02	o 30	20.018
22.99/23.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
22.99/23.00	c   208701    119      954    35463   37     2479    1706    942  10425 20.02
22.99/23.00	c   208801    112     1054    39176   37     2674    1877   1042  10427 20.02
22.99/23.00	c   209051    110     1304    48554   37     3169    2065   1292  10428 20.05
22.99/23.00	c   209527    110     1780    67224   37     4117    2272   1768  10430 20.09
22.99/23.00	c   210340    110     1425    55160   38     3339    2500   1413  10428 20.17
22.99/23.00	c   211660    110     1460    57238   39     3420    2751   1448  10424 20.30
22.99/23.00	c   213741    110     2128    84688   39     4742    3027   2116  10426 20.50
22.99/23.00	c   216966    110     2250    89645   39     4985    3330   2238  10425 20.81
22.99/23.00	c   221903    110     2090    85148   40     4677    3664   2078  10401 21.33
22.99/23.00	c   229411    110     2127    85906   40     4740    4031   2115  10335 22.20
22.99/23.00	o 28	23
22.99/23.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
22.99/23.01	c   236343    110     2912   115565   39     6381    1688   2900  10275 23.00
22.99/23.01	o 26	23.009
25.09/25.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
25.09/25.13	c   236423    110      974    38846   39     2494    1688    962  10275 23.01
25.09/25.13	c   236523    110     1074    42750   39     2690    1857   1062  10276 23.02
25.09/25.13	c   236773    110     1324    52684   39     3192    2043   1312  10277 23.04
25.09/25.13	c   237249    110     1800    71028   39     4139    2248   1788  10278 23.08
25.09/25.13	c   238062    110     1450    55584   38     3389    2473   1438  10281 23.15
25.09/25.13	c   239383    110     1498    57681   38     3488    2721   1486  10283 23.28
25.09/25.13	c   241465    110     2183    85057   38     4854    2994   2171  10290 23.46
25.09/25.13	c   244689    110     2340    91920   39     5168    3294   2328  10287 23.78
25.09/25.13	c   249626    110     2221    87642   39     4930    3624   2209  10270 24.30
25.09/25.13	c   257132    110     2340    91734   39     5169    3987   2328  10254 25.08
25.09/25.13	o 25	25.121
29.69/29.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.69/29.73	c   257593    110     2802   110042   39     6152    1688   2790  10254 25.12
29.69/29.73	c   257693    110      993    37890   38     2470    1857    981  10253 25.13
29.69/29.73	c   257943    110     1243    47305   38     2952    2043   1231  10254 25.15
29.69/29.73	c   258418    110     1718    66334   38     3927    2248   1706  10255 25.20
29.69/29.73	c   259231    110     1370    53246   38     3229    2473   1358  10255 25.28
29.69/29.73	c   260551    110     1426    55324   38     3347    2721   1414  10256 25.40
29.69/29.73	c   262633    110     2106    81371   38     4700    2994   2094  10255 25.61
29.69/29.73	c   265856    110     2260    87931   38     5004    3294   2248  10255 25.92
29.69/29.73	c   270792    110     2148    83219   38     4779    3624   2136  10251 26.41
29.69/29.73	c   278298    110     2267    89411   39     5021    3987   2255  10231 27.20
29.69/29.73	c   289659    110     3493   136127   38     7465    4386   3481  10164 28.50
29.69/29.73	o 24	29.723
29.69/29.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.69/29.73	c   299654    110     2331    92375   39     5210    1688   2319  10081 29.72
29.69/29.73	o 22	29.726
58.39/58.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
58.39/58.47	c   299661    110      901    35186   39     2353    1688    889  10080 29.73
58.39/58.47	c   299761    110     1001    39397   39     2552    1857    989  10081 29.73
58.39/58.47	c   300011    110     1251    49249   39     3051    2043   1239  10084 29.75
58.39/58.47	c   300486    110     1726    68092   39     3998    2248   1714  10087 29.79
58.39/58.47	c   301299    110     1378    53421   38     3244    2473   1366  10089 29.86
58.39/58.47	c   302619    110     1432    55340   38     3351    2721   1420  10092 29.99
58.39/58.47	c   304700    110     2117    79827   37     4709    2994   2105  10101 30.16
58.39/58.47	c   307923    110     2269    88709   39     5031    3294   2257  10107 30.46
58.39/58.47	c   312859    110     2169    83192   38     4826    3624   2157  10113 30.93
58.39/58.47	c   320365    110     2297    89115   38     5080    3987   2285  10113 31.68
58.39/58.47	c   331727    110     3515   133644   38     7498    4386   3503  10097 32.85
58.39/58.47	c   348872    110     2862   110383   38     6193    4825   2850  10018 34.82
58.39/58.47	c   374692    110     4237   161929   38     8961    5308   4225   9879 37.93
58.39/58.47	c   413525    110     2743   106424   38     5974    5839   2731   9609 43.03
58.39/58.47	c   471878    110     4981   201132   40    10451    6423   4969   9260 50.95
58.39/58.47	o 15	58.458
58.78/58.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
58.78/58.89	c   522989    110     4179   165252   39     8905    1688   4167   8946 58.46
58.78/58.89	c   523089    102      993    38323   38     2459    1857    981   8945 58.47
58.78/58.89	c   523340    100     1244    47962   38     2959    2043   1232   8947 58.49
58.78/58.89	c   523816     99     1720    67307   39     3912    2248   1708   8949 58.53
58.78/58.89	c   524630     98     1385    53619   38     3242    2473   1373   8950 58.61
58.78/58.89	c   525950     98     1438    55157   38     3342    2721   1426   8953 58.74
58.78/58.89	o 13	58.879
653.18/653.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
653.18/653.34	c   527390     98     1492    57502   38     3502    1664   1480   8957 58.88
653.18/653.34	c   527490     98     1592    61498   38     3693    1831   1580   8957 58.89
653.18/653.34	c   527740     98     1842    71212   38     4199    2015   1830   8958 58.91
653.18/653.34	c   528217     98     1280    49193   38     3016    2217   1268   8960 58.95
653.18/653.34	c   529031     98     2094    80810   38     4637    2439   2082   8965 59.01
653.18/653.34	c   530351     98     2164    83642   38     4779    2683   2152   8970 59.12
653.18/653.34	c   532432     98     1497    58313   38     3451    2952   1485   8976 59.32
653.18/653.34	c   535656     98     1702    66917   39     3862    3248   1690   8980 59.65
653.18/653.34	c   540592     98     1685    66709   39     3825    3573   1673   8988 60.14
653.18/653.34	c   548098     98     1905    75159   39     4262    3931   1893   8985 61.00
653.18/653.34	c   559459     98     3275   128656   39     7006    4325   3263   8978 62.31
653.18/653.34	c   576603     98     2843   109300   38     6136    4758   2831   8951 64.42
653.18/653.34	c   602422     98     4511   178619   39     9481    5234   4499   8897 67.70
653.18/653.34	c   641254     98     3585   141757   39     7623    5758   3573   8784 73.00
653.18/653.34	c   699606     98     3689   148741   40     7832    6334   3677   8623 81.12
653.18/653.34	c   787238     98     4892   189043   38    10230    6968   4880   8335 94.44
653.18/653.34	c   918791     98     6287   248559   39    13036    7665   6275   8065 113.92
653.18/653.34	c  1116223     98     6538   253324   38    13520    8432   6526   7717 144.63
653.18/653.34	c  1412477     98     5385   207576   38    11230    9276   5373   7266 194.38
653.18/653.34	c  1856959     98     6119   238532   38    12683   10204   6107   6692 277.48
653.18/653.34	c  2523787     98     5423   211348   38    11301   11225   5411   6217 405.91
653.18/653.34	c  3524132     98     6701   259696   38    13854   12348   6689   5789 608.73
653.18/653.34	o 11	653.235
1800.02/1800.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.02/1800.30	c  3748804     98     7897   315592   39    16302    1664   7885   5738 653.24
1800.02/1800.30	c  3748904     98      993    37599   37     2439    1831    981   5738 653.27
1800.02/1800.30	c  3749154     98     1243    47191   37     2944    2015   1231   5738 653.29
1800.02/1800.30	c  3749629     98     1718    65543   38     3886    2217   1706   5739 653.32
1800.02/1800.30	c  3750442     98     1384    51098   36     3216    2439   1372   5739 653.39
1800.02/1800.30	c  3751762     98     1448    53199   36     3352    2683   1436   5741 653.50
1800.02/1800.30	c  3753844     98     2163    80519   37     4781    2952   2151   5742 653.67
1800.02/1800.30	c  3757068     98     2371    89963   37     5206    3248   2359   5745 653.96
1800.02/1800.30	c  3762004     98     2335    90370   38     5110    3573   2323   5748 654.45
1800.02/1800.30	c  3769510     98     2576    97819   37     5606    3931   2564   5753 655.19
1800.02/1800.30	c  3780871     98     3945   149809   37     8334    4325   3933   5760 656.35
1800.02/1800.30	c  3798016     98     3532   134300   38     7507    4758   3520   5770 658.22
1800.02/1800.30	c  3823835     98     2812   103871   36     6056    5234   2800   5783 661.18
1800.02/1800.30	c  3862667     98     4548   171195   37     9538    5758   4536   5802 665.70
1800.02/1800.30	c  3921021     98     4659   179288   38     9778    6334   4647   5825 673.08
1800.02/1800.30	c  4008653     98     5896   229827   38    12245    6968   5884   5848 685.36
1800.02/1800.30	c  4140205     98     3835   147605   38     8112    7665   3823   5873 704.94
1800.02/1800.30	c  4337637     98     4137   163415   39     8733    8432   4125   5885 736.97
1800.02/1800.30	c  4633890     98     7159   285758   39    14772    9276   7147   5874 788.85
1800.02/1800.30	c  5078372     98     7916   316349   39    16289   10204   7904   5839 869.59
1800.02/1800.30	c  5745199     98     7220   284893   39    14906   11225   7208   5744 1000.03
1800.02/1800.30	c  6745544     98     8377   328400   39    17201   12348   8365   5599 1204.75
1800.02/1800.30	c  8246167     98     7003   275246   39    14460   13583   6991   5371 1535.11
1800.02/1800.30	c Caught signal: 15
1800.02/1800.30	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 -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 -x121 -x122 x123 x124 x125 -x126 x127 -x128 -x129 -x130 x131 x132 x133 -x134 x135 -x136 -x137 x138 x139 -x140 -x141 x142 x143 x144 -x145 -x146 
1800.02/1800.30	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.02/1800.30	c  236  9371166  33795  9418045    12786   511438  12774   5206 1800.03
1800.02/1800.30	c Objective: 11
1800.02/1800.30	s SATISFIABLE
1800.02/1800.30	c Total time: 1800.03 s

Verifier Data 

OK	11

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-3734837-1338701155/watcher-3734837-1338701155 -o /tmp/evaluation-result-3734837-1338701155/solver-3734837-1338701155 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3734837-1338701155.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.93 2.00 1.99 3/178 30127
/proc/meminfo: memFree=28170772/32873844 swapFree=7124/7124
[pid=30127] ppid=30125 vsize=12500 CPUtime=0 cores=1,3,5,7
/proc/30127/stat : 30127 (bsolo3.0.17) R 30125 30127 27204 0 -1 4202496 481 0 0 0 0 0 0 0 20 0 1 0 336240933 12800000 415 33554432000 134512640 135840783 4291459840 4291459200 134551186 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30127/statm: 3125 415 349 325 0 2061 0

[startup+0.102104 s]
/proc/loadavg: 1.93 2.00 1.99 3/178 30127
/proc/meminfo: memFree=28170772/32873844 swapFree=7124/7124
[pid=30127] ppid=30125 vsize=5600 CPUtime=0.09 cores=1,3,5,7
/proc/30127/stat : 30127 (bsolo3.0.17) R 30125 30127 27204 0 -1 4202496 730 0 0 0 9 0 0 0 20 0 1 0 336240933 5734400 664 33554432000 134512640 135840783 4291459840 4291458112 2499879 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30127/statm: 1400 664 350 325 0 336 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5600

[startup+0.200246 s]
/proc/loadavg: 1.93 2.00 1.99 3/178 30127
/proc/meminfo: memFree=28170772/32873844 swapFree=7124/7124
[pid=30127] ppid=30125 vsize=5864 CPUtime=0.19 cores=1,3,5,7
/proc/30127/stat : 30127 (bsolo3.0.17) R 30125 30127 27204 0 -1 4202496 799 0 0 0 19 0 0 0 20 0 1 0 336240933 6004736 733 33554432000 134512640 135840783 4291459840 4291458096 2499879 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30127/statm: 1466 733 350 325 0 402 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5864

[startup+0.300211 s]
/proc/loadavg: 1.93 2.00 1.99 3/178 30127
/proc/meminfo: memFree=28170772/32873844 swapFree=7124/7124
[pid=30127] ppid=30125 vsize=6124 CPUtime=0.29 cores=1,3,5,7
/proc/30127/stat : 30127 (bsolo3.0.17) R 30125 30127 27204 0 -1 4202496 850 0 0 0 29 0 0 0 20 0 1 0 336240933 6270976 784 33554432000 134512640 135840783 4291459840 4291459152 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30127/statm: 1531 784 350 325 0 467 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6124

[startup+0.700183 s]
/proc/loadavg: 1.93 2.00 1.99 3/178 30127
/proc/meminfo: memFree=28170772/32873844 swapFree=7124/7124
[pid=30127] ppid=30125 vsize=6252 CPUtime=0.69 cores=1,3,5,7
/proc/30127/stat : 30127 (bsolo3.0.17) R 30125 30127 27204 0 -1 4202496 891 0 0 0 69 0 0 0 20 0 1 0 336240933 6402048 825 33554432000 134512640 135840783 4291459840 4291459200 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30127/statm: 1563 825 350 325 0 499 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6252

[startup+1.50019 s]
/proc/loadavg: 1.93 2.00 1.99 3/179 30128
/proc/meminfo: memFree=28169144/32873844 swapFree=7124/7124
[pid=30127] ppid=30125 vsize=6376 CPUtime=1.49 cores=1,3,5,7
/proc/30127/stat : 30127 (bsolo3.0.17) R 30125 30127 27204 0 -1 4202496 907 0 0 0 149 0 0 0 20 0 1 0 336240933 6529024 841 33554432000 134512640 135840783 4291459840 4291459200 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30127/statm: 1594 841 350 325 0 530 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6376

[startup+3.10018 s]
/proc/loadavg: 1.93 2.00 1.99 3/179 30128
/proc/meminfo: memFree=28168028/32873844 swapFree=7124/7124
[pid=30127] ppid=30125 vsize=7384 CPUtime=3.09 cores=1,3,5,7
/proc/30127/stat : 30127 (bsolo3.0.17) R 30125 30127 27204 0 -1 4202496 1160 0 0 0 309 0 0 0 20 0 1 0 336240933 7561216 1094 33554432000 134512640 135840783 4291459840 4291459152 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30127/statm: 1846 1094 350 325 0 782 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7384

[startup+6.30018 s]
/proc/loadavg: 1.94 2.00 1.99 3/179 30128
/proc/meminfo: memFree=28167532/32873844 swapFree=7124/7124
[pid=30127] ppid=30125 vsize=7648 CPUtime=6.29 cores=1,3,5,7
/proc/30127/stat : 30127 (bsolo3.0.17) R 30125 30127 27204 0 -1 4202496 1240 0 0 0 629 0 0 0 20 0 1 0 336240933 7831552 1174 33554432000 134512640 135840783 4291459840 4291459152 134550887 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30127/statm: 1912 1174 350 325 0 848 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7648

[startup+12.7002 s]
/proc/loadavg: 1.94 2.00 1.99 3/179 30128
/proc/meminfo: memFree=28166792/32873844 swapFree=7124/7124
[pid=30127] ppid=30125 vsize=7648 CPUtime=12.69 cores=1,3,5,7
/proc/30127/stat : 30127 (bsolo3.0.17) R 30125 30127 27204 0 -1 4202496 1241 0 0 0 1269 0 0 0 20 0 1 0 336240933 7831552 1174 33554432000 134512640 135840783 4291459840 4291459200 134551186 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30127/statm: 1912 1174 350 325 0 848 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 7648

[startup+25.5002 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 30128
/proc/meminfo: memFree=28166304/32873844 swapFree=7124/7124
[pid=30127] ppid=30125 vsize=7884 CPUtime=25.49 cores=1,3,5,7
/proc/30127/stat : 30127 (bsolo3.0.17) R 30125 30127 27204 0 -1 4202496 1288 0 0 0 2549 0 0 0 20 0 1 0 336240933 8073216 1221 33554432000 134512640 135840783 4291459840 4291459152 134550782 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30127/statm: 1971 1221 350 325 0 907 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 7884

[startup+51.1002 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 30129
/proc/meminfo: memFree=28165436/32873844 swapFree=7124/7124
[pid=30127] ppid=30125 vsize=8360 CPUtime=51.08 cores=1,3,5,7
/proc/30127/stat : 30127 (bsolo3.0.17) R 30125 30127 27204 0 -1 4202496 1419 0 0 0 5108 0 0 0 20 0 1 0 336240933 8560640 1352 33554432000 134512640 135840783 4291459840 4291459200 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30127/statm: 2090 1352 350 325 0 1026 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 8360

[startup+102.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 30129
/proc/meminfo: memFree=28163264/32873844 swapFree=7124/7124
[pid=30127] ppid=30125 vsize=8960 CPUtime=102.28 cores=1,3,5,7
/proc/30127/stat : 30127 (bsolo3.0.17) R 30125 30127 27204 0 -1 4202496 1580 0 0 0 10228 0 0 0 20 0 1 0 336240933 9175040 1513 33554432000 134512640 135840783 4291459840 4291459200 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30127/statm: 2240 1513 350 325 0 1176 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 8960

[startup+162.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/179 30129
/proc/meminfo: memFree=28162084/32873844 swapFree=7124/7124
[pid=30127] ppid=30125 vsize=9956 CPUtime=162.26 cores=1,3,5,7
/proc/30127/stat : 30127 (bsolo3.0.17) R 30125 30127 27204 0 -1 4202496 1815 0 0 0 16226 0 0 0 20 0 1 0 336240933 10194944 1747 33554432000 134512640 135840783 4291459840 4291459200 134550782 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30127/statm: 2489 1747 350 325 0 1425 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 9956

[startup+222.307 s]
/proc/loadavg: 2.17 2.08 2.02 3/179 30129
/proc/meminfo: memFree=28160596/32873844 swapFree=7124/7124
[pid=30127] ppid=30125 vsize=10476 CPUtime=222.26 cores=1,3,5,7
/proc/30127/stat : 30127 (bsolo3.0.17) R 30125 30127 27204 0 -1 4202496 1945 0 0 0 22226 0 0 0 20 0 1 0 336240933 10727424 1877 33554432000 134512640 135840783 4291459840 4291459196 134520488 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30127/statm: 2619 1877 350 325 0 1555 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 10476

[startup+282.3 s]
/proc/loadavg: 2.09 2.08 2.02 3/180 30132
/proc/meminfo: memFree=28159720/32873844 swapFree=7124/7124
[pid=30127] ppid=30125 vsize=10948 CPUtime=282.24 cores=1,3,5,7
/proc/30127/stat : 30127 (bsolo3.0.17) R 30125 30127 27204 0 -1 4202496 2069 0 0 0 28224 0 0 0 20 0 1 0 336240933 11210752 2001 33554432000 134512640 135840783 4291459840 4291459200 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30127/statm: 2737 2001 350 325 0 1673 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 10948

[startup+342.3 s]
/proc/loadavg: 2.09 2.08 2.02 3/179 30132
/proc/meminfo: memFree=28158920/32873844 swapFree=7124/7124
[pid=30127] ppid=30125 vsize=11084 CPUtime=342.23 cores=1,3,5,7
/proc/30127/stat : 30127 (bsolo3.0.17) R 30125 30127 27204 0 -1 4202496 2108 0 0 0 34223 0 0 0 20 0 1 0 336240933 11350016 2040 33554432000 134512640 135840783 4291459840 4291459200 134551071 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30127/statm: 2771 2040 350 325 0 1707 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 11084

[startup+402.3 s]
/proc/loadavg: 2.03 2.06 2.01 3/179 30133
/proc/meminfo: memFree=28159044/32873844 swapFree=7124/7124
[pid=30127] ppid=30125 vsize=11184 CPUtime=402.22 cores=1,3,5,7
/proc/30127/stat : 30127 (bsolo3.0.17) R 30125 30127 27204 0 -1 4202496 2118 0 0 0 40222 0 0 0 20 0 1 0 336240933 11452416 2050 33554432000 134512640 135840783 4291459840 4291459152 134550994 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30127/statm: 2796 2050 350 325 0 1732 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 11184

[startup+462.3 s]
/proc/loadavg: 2.10 2.08 2.02 3/179 30133
/proc/meminfo: memFree=28158236/32873844 swapFree=7124/7124
[pid=30127] ppid=30125 vsize=11768 CPUtime=462.21 cores=1,3,5,7
/proc/30127/stat : 30127 (bsolo3.0.17) R 30125 30127 27204 0 -1 4202496 2284 0 0 0 46221 0 0 0 20 0 1 0 336240933 12050432 2215 33554432000 134512640 135840783 4291459840 4291459200 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30127/statm: 2942 2215 350 325 0 1878 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 11768

[startup+522.3 s]
/proc/loadavg: 2.03 2.06 2.01 3/179 30133
/proc/meminfo: memFree=28157368/32873844 swapFree=7124/7124
[pid=30127] ppid=30125 vsize=11768 CPUtime=522.2 cores=1,3,5,7
/proc/30127/stat : 30127 (bsolo3.0.17) R 30125 30127 27204 0 -1 4202496 2284 0 0 0 52220 0 0 0 20 0 1 0 336240933 12050432 2215 33554432000 134512640 135840783 4291459840 4291459152 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30127/statm: 2942 2215 350 325 0 1878 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 11768

[startup+582.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/179 30133
/proc/meminfo: memFree=28157492/32873844 swapFree=7124/7124
[pid=30127] ppid=30125 vsize=11832 CPUtime=582.2 cores=1,3,5,7
/proc/30127/stat : 30127 (bsolo3.0.17) R 30125 30127 27204 0 -1 4202496 2298 0 0 0 58220 0 0 0 20 0 1 0 336240933 12115968 2225 33554432000 134512640 135840783 4291459840 4291459200 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30127/statm: 2958 2225 350 325 0 1894 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 11832

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.07 2.07 2.01 3/179 30134
/proc/meminfo: memFree=28154948/32873844 swapFree=7124/7124
[pid=30127] ppid=30125 vsize=12348 CPUtime=822.16 cores=1,3,5,7
/proc/30127/stat : 30127 (bsolo3.0.17) R 30125 30127 27204 0 -1 4202496 2466 0 0 0 82216 0 0 0 20 0 1 0 336240933 12644352 2363 33554432000 134512640 135840783 4291459840 4291459200 134551368 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30127/statm: 3087 2363 350 325 0 2023 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 12348

[startup+882.307 s]
/proc/loadavg: 2.02 2.05 2.00 3/180 30137
/proc/meminfo: memFree=28155188/32873844 swapFree=7124/7124
[pid=30127] ppid=30125 vsize=12348 CPUtime=882.16 cores=1,3,5,7
/proc/30127/stat : 30127 (bsolo3.0.17) R 30125 30127 27204 0 -1 4202496 2466 0 0 0 88216 0 0 0 20 0 1 0 336240933 12644352 2363 33554432000 134512640 135840783 4291459840 4291458100 2486572 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30127/statm: 3087 2363 350 325 0 2023 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 12348

[startup+942.3 s]
/proc/loadavg: 2.04 2.06 2.00 3/179 30137
/proc/meminfo: memFree=28155380/32873844 swapFree=7124/7124
[pid=30127] ppid=30125 vsize=12348 CPUtime=942.14 cores=1,3,5,7
/proc/30127/stat : 30127 (bsolo3.0.17) R 30125 30127 27204 0 -1 4202496 2466 0 0 0 94214 0 0 0 20 0 1 0 336240933 12644352 2363 33554432000 134512640 135840783 4291459840 4291459200 134551356 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30127/statm: 3087 2363 350 325 0 2023 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 12348

[startup+1002.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/179 30138
/proc/meminfo: memFree=28155876/32873844 swapFree=7124/7124
[pid=30127] ppid=30125 vsize=12348 CPUtime=1002.13 cores=1,3,5,7
/proc/30127/stat : 30127 (bsolo3.0.17) R 30125 30127 27204 0 -1 4202496 2466 0 0 0 100213 0 0 0 20 0 1 0 336240933 12644352 2363 33554432000 134512640 135840783 4291459840 4291458976 2497237 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30127/statm: 3087 2363 350 325 0 2023 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 12348

[startup+1062.3 s]
/proc/loadavg: 2.12 2.09 2.01 3/179 30138
/proc/meminfo: memFree=28155876/32873844 swapFree=7124/7124
[pid=30127] ppid=30125 vsize=12348 CPUtime=1062.12 cores=1,3,5,7
/proc/30127/stat : 30127 (bsolo3.0.17) R 30125 30127 27204 0 -1 4202496 2466 0 0 0 106212 0 0 0 20 0 1 0 336240933 12644352 2363 33554432000 134512640 135840783 4291459840 4291459136 134572594 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30127/statm: 3087 2363 350 325 0 2023 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 12348

[startup+1122.3 s]
/proc/loadavg: 2.08 2.08 2.01 3/179 30138
/proc/meminfo: memFree=28155876/32873844 swapFree=7124/7124
[pid=30127] ppid=30125 vsize=12348 CPUtime=1122.11 cores=1,3,5,7
/proc/30127/stat : 30127 (bsolo3.0.17) R 30125 30127 27204 0 -1 4202496 2466 0 0 0 112211 0 0 0 20 0 1 0 336240933 12644352 2363 33554432000 134512640 135840783 4291459840 4291459200 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30127/statm: 3087 2363 350 325 0 2023 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 12348

[startup+1182.3 s]
/proc/loadavg: 2.06 2.08 2.01 3/179 30138
/proc/meminfo: memFree=28156000/32873844 swapFree=7124/7124
[pid=30127] ppid=30125 vsize=12348 CPUtime=1182.1 cores=1,3,5,7
/proc/30127/stat : 30127 (bsolo3.0.17) R 30125 30127 27204 0 -1 4202496 2466 0 0 0 118210 0 0 0 20 0 1 0 336240933 12644352 2363 33554432000 134512640 135840783 4291459840 4291459200 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30127/statm: 3087 2363 350 325 0 2023 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 12348

[startup+1242.3 s]
/proc/loadavg: 2.07 2.08 2.01 3/179 30138
/proc/meminfo: memFree=28154512/32873844 swapFree=7124/7124
[pid=30127] ppid=30125 vsize=12428 CPUtime=1242.09 cores=1,3,5,7
/proc/30127/stat : 30127 (bsolo3.0.17) R 30125 30127 27204 0 -1 4202496 2470 0 0 0 124209 0 0 0 20 0 1 0 336240933 12726272 2367 33554432000 134512640 135840783 4291459840 4291459200 134551052 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30127/statm: 3107 2367 350 325 0 2043 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 12428

[startup+1302.3 s]
/proc/loadavg: 2.11 2.09 2.01 3/179 30139
/proc/meminfo: memFree=28154388/32873844 swapFree=7124/7124
[pid=30127] ppid=30125 vsize=12496 CPUtime=1302.09 cores=1,3,5,7
/proc/30127/stat : 30127 (bsolo3.0.17) R 30125 30127 27204 0 -1 4202496 2490 0 0 0 130209 0 0 0 20 0 1 0 336240933 12795904 2387 33554432000 134512640 135840783 4291459840 4291459200 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30127/statm: 3124 2387 350 325 0 2060 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 12496

[startup+1362.3 s]
/proc/loadavg: 2.13 2.10 2.02 3/179 30139
/proc/meminfo: memFree=28154264/32873844 swapFree=7124/7124
[pid=30127] ppid=30125 vsize=12496 CPUtime=1362.08 cores=1,3,5,7
/proc/30127/stat : 30127 (bsolo3.0.17) R 30125 30127 27204 0 -1 4202496 2496 0 0 0 136208 0 0 0 20 0 1 0 336240933 12795904 2393 33554432000 134512640 135840783 4291459840 4291459264 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30127/statm: 3124 2393 350 325 0 2060 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 12496

[startup+1422.3 s]
/proc/loadavg: 2.10 2.09 2.02 3/179 30139
/proc/meminfo: memFree=28154264/32873844 swapFree=7124/7124
[pid=30127] ppid=30125 vsize=12504 CPUtime=1422.07 cores=1,3,5,7
/proc/30127/stat : 30127 (bsolo3.0.17) R 30125 30127 27204 0 -1 4202496 2507 0 0 0 142207 0 0 0 20 0 1 0 336240933 12804096 2402 33554432000 134512640 135840783 4291459840 4291459200 134551076 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30127/statm: 3126 2402 350 325 0 2062 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 12504

[startup+1482.3 s]
/proc/loadavg: 2.11 2.10 2.02 3/180 30142
/proc/meminfo: memFree=28154256/32873844 swapFree=7124/7124
[pid=30127] ppid=30125 vsize=12492 CPUtime=1482.06 cores=1,3,5,7
/proc/30127/stat : 30127 (bsolo3.0.17) R 30125 30127 27204 0 -1 4202496 2507 0 0 0 148206 0 0 0 20 0 1 0 336240933 12791808 2399 33554432000 134512640 135840783 4291459840 4291459152 134550782 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30127/statm: 3123 2399 350 325 0 2059 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 12492

[startup+1542.31 s]
/proc/loadavg: 2.09 2.10 2.02 3/179 30142
/proc/meminfo: memFree=28153892/32873844 swapFree=7124/7124
[pid=30127] ppid=30125 vsize=13044 CPUtime=1542.05 cores=1,3,5,7
/proc/30127/stat : 30127 (bsolo3.0.17) R 30125 30127 27204 0 -1 4202496 2639 0 0 0 154205 0 0 0 20 0 1 0 336240933 13357056 2531 33554432000 134512640 135840783 4291459840 4291458112 2497856 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30127/statm: 3261 2531 350 325 0 2197 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 13044

[startup+1602.3 s]
/proc/loadavg: 2.08 2.09 2.02 3/179 30143
/proc/meminfo: memFree=28153520/32873844 swapFree=7124/7124
[pid=30127] ppid=30125 vsize=13260 CPUtime=1602.04 cores=1,3,5,7
/proc/30127/stat : 30127 (bsolo3.0.17) R 30125 30127 27204 0 -1 4202496 2693 0 0 0 160204 0 0 0 20 0 1 0 336240933 13578240 2585 33554432000 134512640 135840783 4291459840 4291459200 134551532 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30127/statm: 3315 2585 350 325 0 2251 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 13260

[startup+1662.3 s]
/proc/loadavg: 2.06 2.08 2.02 3/179 30143
/proc/meminfo: memFree=28153644/32873844 swapFree=7124/7124
[pid=30127] ppid=30125 vsize=13260 CPUtime=1662.03 cores=1,3,5,7
/proc/30127/stat : 30127 (bsolo3.0.17) R 30125 30127 27204 0 -1 4202496 2693 0 0 0 166203 0 0 0 20 0 1 0 336240933 13578240 2585 33554432000 134512640 135840783 4291459840 4291459136 134572583 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30127/statm: 3315 2585 350 325 0 2251 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 13260

[startup+1722.3 s]
/proc/loadavg: 2.17 2.11 2.03 3/179 30143
/proc/meminfo: memFree=28153520/32873844 swapFree=7124/7124
[pid=30127] ppid=30125 vsize=13260 CPUtime=1722.02 cores=1,3,5,7
/proc/30127/stat : 30127 (bsolo3.0.17) R 30125 30127 27204 0 -1 4202496 2693 0 0 0 172202 0 0 0 20 0 1 0 336240933 13578240 2585 33554432000 134512640 135840783 4291459840 4291459200 134550887 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30127/statm: 3315 2585 350 325 0 2251 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 13260

[startup+1782.3 s]
/proc/loadavg: 2.12 2.10 2.03 3/179 30182
/proc/meminfo: memFree=28160760/32873844 swapFree=7124/7124
[pid=30127] ppid=30125 vsize=13220 CPUtime=1782.01 cores=1,3,5,7
/proc/30127/stat : 30127 (bsolo3.0.17) R 30125 30127 27204 0 -1 4202496 2693 0 0 0 178201 0 0 0 20 0 1 0 336240933 13537280 2581 33554432000 134512640 135840783 4291459840 4291459200 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30127/statm: 3305 2581 350 325 0 2241 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 13220



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.09 2.10 2.03 3/179 30220
/proc/meminfo: memFree=28142780/32873844 swapFree=7124/7124
[pid=30127] ppid=30125 vsize=13308 CPUtime=1800.02 cores=1,3,5,7
/proc/30127/stat : 30127 (bsolo3.0.17) R 30125 30127 27204 0 -1 4202496 2697 0 0 0 180002 0 0 0 20 0 1 0 336240933 13627392 2585 33554432000 134512640 135840783 4291459840 4291459200 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30127/statm: 3327 2585 350 325 0 2263 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 13308

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 15
Real time (s): 1800.31
CPU time (s): 1800.03
CPU user time (s): 1800.02
CPU system time (s): 0.007998
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 13312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.007998
maximum resident set size= 10340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2700
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= 10
involuntary context switches= 1855

runsolver used 3.20251 second user time and 8.5427 second system time

The end

Launcher Data 

Begin job on node134 at 2012-06-03 07:25:55
IDJOB=3734837
IDBENCH=2910
IDSOLVER=2318
FILE ID=node134/3734837-1338701155
RUNJOBID= node134-1338678625-27224
PBS_JOBID= 14636679
Free space on /tmp= 70352 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_6_50_3.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734837-1338701155/watcher-3734837-1338701155 -o /tmp/evaluation-result-3734837-1338701155/solver-3734837-1338701155 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3734837-1338701155.opb            

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

MD5SUM BENCH= 8d16c34d0eecf3c16ca4b890652c15ca
RANDOM SEED=2082070055

node134.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.278
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.55
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.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
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.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.59
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.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.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		: 2667.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.57
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.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28171788 kB
Buffers:          477088 kB
Cached:          3307160 kB
SwapCached:           76 kB
Active:          1761364 kB
Inactive:        2039580 kB
Active(anon):       8092 kB
Inactive(anon):    10496 kB
Active(file):    1753272 kB
Inactive(file):  2029084 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67107756 kB
Dirty:             13324 kB
Writeback:             0 kB
AnonPages:         20964 kB
Mapped:            12484 kB
Shmem:                96 kB
Slab:             760748 kB
SReclaimable:     202500 kB
SUnreclaim:       558248 kB
KernelStack:        1472 kB
PageTables:         4044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     140976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 70344 MiB
End job on node134 at 2012-06-03 07:55:58