Trace number 2656629

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.2 CardSAT39 1798 1798.48

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_1.opb
MD5SUM7b9886d41278c23acb93039c546a310e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark1801.33
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 13
Optimality of the best value was proved NO
Number of variables172
Total number of constraints14
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 constraints14
Minimum length of a constraint73
Maximum length of a constraint75
Number of terms in the objective function 112
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 3570
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1488
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4975
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.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 Time Limit set to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2656629-1276614466.opb
0.00/0.00	c File size is 10188 bytes.
0.00/0.00	c Highest Coefficient sum: 4975
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.001 s
0.00/0.00	c Var: 172 Constr: 14 0/0/14 Lit: 1042 Watch. Lit: 300
0.00/0.00	c Obj. Vars: 112 (65.1163 % of total variables)
0.00/0.00	c Pre-processing Time: 0.003 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    172       14     1042   74      306    2084      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 1176
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c        0    172       15     1154   76      707    2308      1      0 0.00
0.00/0.04	c      101    172      130     9871   75      974    2539    116   2657 0.04
0.00/0.04	o 647
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      105    172      139    10512   75     1066    2308    125   2692 0.04
0.00/0.05	o 635
0.00/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.08	c      163    172      212    15695   74     1305    2308    198   2910 0.06
0.00/0.08	o 627
0.00/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.08	c      235    172      296    20770   70     1643    2308    282   3012 0.08
0.00/0.08	o 447
0.10/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.10/0.12	c      248    172      311    21490   69     1755    2308    297   3024 0.08
0.10/0.12	c      348    172      425    29372   69     2139    2539    411   3026 0.12
0.10/0.12	o 442
0.10/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.10/0.17	c      371    172      450    31295   69     2231    2308    436   3016 0.12
0.10/0.17	c      472    172      574    38819   67     2693    2539    560   3064 0.15
0.10/0.17	o 439
0.10/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.10/0.18	c      523    172      634    42319   66     2924    2308    620   3040 0.17
0.10/0.18	o 383
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c      550    172      663    43503   65     3084    2308    649   3038 0.18
0.19/0.21	o 382
0.29/0.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.31	c      639    172      764    50313   65     3445    2308    750   2985 0.21
0.29/0.31	c      739    172      883    58242   65     3729    2539    869   2956 0.25
0.29/0.31	o 310
2.79/2.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.79/2.87	c      910    172     1076    67399   62     4206    2308   1062   2926 0.31
2.79/2.87	c     1010    172     1186    71882   60     4481    2539   1172   2944 0.34
2.79/2.87	c     1262    172     1489    87371   58     5083    2793   1475   2868 0.44
2.79/2.87	c     1737    172     2045   115344   56     6208    3073   2031   2761 0.63
2.79/2.87	c     2550    172     2966   158331   53     8090    3381   2952   2575 0.99
2.79/2.87	c     3870    172     2733   131619   48     6278    3720   2719   2487 1.56
2.79/2.87	c     5951    172     3264   168208   51     7477    4093   3250   2356 2.52
2.79/2.87	o 307
3.19/3.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.19/3.24	c     6614    172     4051   206619   51     9180    2308   4037   2303 2.87
3.19/3.24	c     6714    172     1285    64822   50     3297    2539   1271   2295 2.92
3.19/3.24	c     6965    172     1577    78607   49     3980    2793   1563   2309 3.02
3.19/3.24	c     7442    172     2123   105591   49     5160    3073   2109   2322 3.20
3.19/3.24	o 305
3.29/3.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.29/3.37	c     7560    172     2253   112195   49     5505    2308   2239   2329 3.25
3.29/3.37	c     7660    172     1169    57179   48     3053    2539   1155   2327 3.29
3.29/3.37	o 299
3.29/3.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.29/3.39	c     7901    172     1438    70710   49     3702    2308   1424   2343 3.37
3.29/3.39	o 297
3.49/3.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.49/3.52	c     7950    172     1491    73146   49     3918    2308   1477   2345 3.39
3.49/3.52	c     8050    172     1594    77340   48     4133    2539   1580   2355 3.42
3.49/3.52	c     8300    172     1874    93639   49     4727    2793   1860   2363 3.51
3.49/3.52	o 212
3.49/3.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.49/3.54	c     8340    172     1918    95379   49     4916    2308   1904   2364 3.53
3.49/3.54	o 210
3.49/3.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.49/3.57	c     8376    172     1958    97443   49     5109    2308   1944   2364 3.54
3.49/3.57	o 209
3.89/3.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.89/3.98	c     8441    172     2027   101038   49     5379    2308   2013   2365 3.57
3.89/3.98	c     8541    172     2131   105646   49     5586    2539   2117   2366 3.61
3.89/3.98	c     8793    172     2415   118103   48     6294    2793   2401   2369 3.71
3.89/3.98	c     9268    172     1516    80613   53     4247    3073   1502   2366 3.92
3.89/3.98	o 205
4.29/4.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.29/4.32	c     9472    172     1742    91434   52     4940    2308   1728   2376 3.98
4.29/4.32	c     9572    172     1844    95248   51     5132    2539   1830   2385 4.01
4.29/4.32	c     9822    172     2128   107222   50     5727    2793   2114   2390 4.11
4.29/4.32	c    10298    172     2659   129974   48     6804    3073   2645   2405 4.28
4.29/4.32	o 203
4.29/4.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.29/4.36	c    10406    172     2785   135517   48     7244    2308   2771   2407 4.32
4.29/4.36	c    10506    172     1274    56573   44     3363    2539   1260   2411 4.36
4.29/4.36	o 184
4.29/4.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.29/4.37	c    10524    172     1300    57936   44     3577    2518   1286   2412 4.36
4.29/4.37	o 182
4.29/4.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.29/4.39	c    10559    172     1336    59295   44     3757    2518   1322   2415 4.37
4.29/4.39	o 176
7.18/7.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.18/7.26	c    10622    172     1410    64802   45     4094    2518   1396   2416 4.39
7.18/7.26	c    10723    172     1520    68716   45     4312    2770   1506   2422 4.43
7.18/7.26	c    10974    172     1803    80055   44     4894    3048   1789   2430 4.51
7.18/7.26	c    11451    172     2363   105762   44     6025    3353   2349   2439 4.69
7.18/7.26	c    12264    172     3293   145084   44     7923    3689   3279   2450 5.00
7.18/7.26	c    13584    172     2937   135315   46     6905    4058   2923   2444 5.56
7.18/7.26	c    15665    172     3327   153803   46     7442    4464   3313   2427 6.45
7.18/7.26	o 165
7.28/7.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.28/7.31	c    17488    172     3143   150161   47     7237    2308   3129   2409 7.26
7.28/7.31	c    17588    172     1279    62099   48     3313    2539   1265   2407 7.31
7.28/7.31	o 161
7.28/7.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.28/7.32	c    17607    172     1301    63354   48     3471    2686   1287   2407 7.31
7.28/7.32	o 155
7.38/7.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.38/7.40	c    17637    172     1336    65245   48     3671    2686   1322   2407 7.33
7.38/7.40	c    17737    172     1459    74163   50     3943    2955   1445   2408 7.37
7.38/7.40	o 151
7.38/7.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.38/7.41	c    17859    172     1584    78717   49     4277    2686   1570   2413 7.40
7.38/7.41	o 149
7.38/7.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.38/7.46	c    17895    172     1631    81847   50     4507    2686   1617   2414 7.41
7.38/7.46	c    17997    172     1735    85315   49     4736    2955   1721   2418 7.44
7.38/7.46	o 139
7.48/7.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.48/7.52	c    18060    172     1809    89085   49     5009    2686   1795   2419 7.46
7.48/7.52	c    18162    172     1917    93515   48     5227    2955   1903   2423 7.50
7.48/7.52	o 137
7.70/7.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.70/7.76	c    18234    172     2003    99202   49     5532    2686   1989   2424 7.52
7.70/7.76	c    18337    172     2108   102669   48     5738    2955   2094   2427 7.55
7.70/7.76	c    18587    172     2377   113130   47     6285    3251   2363   2432 7.64
7.70/7.76	o 131
7.70/7.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.70/7.78	c    18885    172     2714   128792   47     7176    2686   2700   2433 7.76
7.70/7.78	o 129
7.80/7.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.80/7.83	c    18922    172     1404    66272   47     3769    2308   1390   2431 7.78
7.80/7.83	c    19023    172     1516    70972   46     3992    2539   1502   2431 7.83
7.80/7.83	o 121
9.38/9.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.38/9.43	c    19033    172     1528    71693   46     4130    2308   1514   2431 7.83
9.38/9.43	c    19134    171     1654    80784   48     4478    2539   1640   2430 7.87
9.38/9.43	c    19385    169     1916    91302   47     5018    2793   1902   2435 7.96
9.38/9.43	c    19860    164     2410   109695   45     6085    3073   2396   2444 8.12
9.38/9.43	c    20674    164     1679    74421   44     4306    3381   1665   2433 8.50
9.38/9.43	c    21994    162     3058   128901   42     7124    3720   3044   2437 9.02
9.38/9.43	o 114
9.38/9.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.38/9.46	c    23028    161     2250    87142   38     5470    2286   2236   2442 9.43
9.38/9.46	o 112
131.36/131.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
131.36/131.41	c    23120    161     1169    43526   37     3045    2286   1155   2440 9.47
131.36/131.41	c    23220    161     1270    46971   36     3240    2515   1256   2443 9.50
131.36/131.41	c    23470    161     1529    55969   36     3772    2767   1515   2452 9.57
131.36/131.41	c    23945    161     2031    76171   37     4785    3044   2017   2458 9.74
131.36/131.41	c    24758    161     2883   112638   39     6492    3349   2869   2461 10.06
131.36/131.41	c    26078    161     2534   100515   39     5775    3684   2520   2472 10.55
131.36/131.41	c    28159    161     2819   106597   37     6335    4053   2805   2489 11.31
131.36/131.41	c    31382    161     2053    80680   39     4791    4459   2039   2500 12.55
131.36/131.41	c    36318    161     2611    98159   37     5917    4905   2597   2518 14.42
131.36/131.41	c    43825    161     2888   110345   38     6469    5396   2874   2530 17.32
131.36/131.41	c    55186    161     3513   133491   37     7715    5936   3499   2563 21.53
131.36/131.41	c    72331    161     5891   222486   37    12470    6530   5877   2530 28.58
131.36/131.41	c    98150    161     5744   216955   37    12168    7184   5730   2510 39.10
131.36/131.41	c   136982    161     4962   178809   36    10601    7903   4948   2442 56.08
131.36/131.41	c   195334    161     4311   169032   39     9323    8694   4297   2350 83.11
131.36/131.41	c   282968    159     6439   264772   41    13604    9564   6425   2242 126.20
131.36/131.41	o 108
131.55/131.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
131.55/131.62	c   293988    159     8144   313795   38    17149    2282   8130   2237 131.38
131.55/131.62	c   294088    159     1272    53538   42     3231    2511   1258   2236 131.52
131.55/131.62	o 106
131.55/131.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
131.55/131.64	c   294324    159     1515    62659   41     3817    2282   1501   2236 131.59
131.55/131.64	o 104
134.75/134.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
134.75/134.85	c   294372    159     1569    64780   41     4033    2282   1555   2236 131.61
134.75/134.85	c   294472    159     1676    69339   41     4245    2511   1662   2236 131.64
134.75/134.85	c   294722    159     1938    79406   40     4769    2763   1924   2237 131.73
134.75/134.85	c   295197    159     2438    98325   40     5777    3040   2424   2237 131.91
134.75/134.85	c   296010    159     1709    63303   37     4109    3345   1695   2238 132.21
134.75/134.85	c   297330    159     3074   119450   38     6875    3680   3060   2240 132.72
134.75/134.85	c   299411    159     3333   134757   40     7359    4049   3319   2241 133.59
134.75/134.85	c   302634    158     2498    94710   37     5688    4454   2484   2245 134.77
134.75/134.85	o 101
134.75/134.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
134.75/134.88	c   302765    158     2640   100595   38     6105    2280   2626   2245 134.82
134.75/134.88	o 97
161.04/161.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
161.04/161.17	c   302825    158     1236    49662   40     3321    2595   1222   2245 134.85
161.04/161.17	c   302925    158     1337    53553   40     3531    2855   1323   2245 134.88
161.04/161.17	c   303175    158     1606    64799   40     4180    3141   1592   2246 134.96
161.04/161.17	c   303651    158     2148    90550   42     5818    3456   2134   2247 135.12
161.04/161.17	c   304464    158     2985   121986   40     7495    3802   2971   2248 135.42
161.04/161.17	c   305784    158     2382    90357   37     5444    4183   2368   2249 135.92
161.04/161.17	c   307865    158     2374    92626   39     5431    4602   2360   2251 136.76
161.04/161.17	c   311088    158     3332   130490   39     7349    5063   3318   2253 138.02
161.04/161.17	c   316024    158     3181   127735   40     7051    5570   3167   2254 140.19
161.04/161.17	c   323530    158     5125   196803   38    10927    6128   5111   2258 143.28
161.04/161.17	c   334891    158     4276   169567   39     9349    6741   4262   2255 148.47
161.04/161.17	c   352035    158     4626   197970   42    10102    7416   4612   2244 156.83
161.04/161.17	o 89
161.85/161.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
161.85/161.95	c   360471    158     5735   229706   40    12291    2280   5721   2237 161.13
161.85/161.95	c   360573    158     1278    47513   37     3256    2509   1264   2236 161.21
161.85/161.95	c   360824    158     1545    58971   38     3870    2760   1531   2237 161.29
161.85/161.95	c   361299    158     2039    77879   38     4863    3037   2025   2237 161.45
161.85/161.95	c   362112    158     2875   110910   38     6556    3341   2861   2238 161.75
161.85/161.95	o 88
161.85/161.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
161.85/161.99	c   362536    158     3311   127239   38     7514    2280   3297   2239 161.91
161.85/161.99	o 86
162.25/162.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
162.25/162.35	c   362561    158     1202    45956   38     3240    2280   1188   2238 161.95
162.25/162.35	c   362662    158     1303    49073   37     3440    2509   1289   2239 161.97
162.25/162.35	c   362912    158     1561    58514   37     3963    2760   1547   2239 162.04
162.25/162.35	c   363387    158     2050    76771   37     4941    3037   2036   2240 162.19
162.25/162.35	o 84
799.38/799.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
799.38/799.64	c   363741    158     2421    93749   38     5939    2280   2407   2241 162.31
799.38/799.64	c   363842    158     1274    49906   39     3396    2509   1260   2241 162.35
799.38/799.64	c   364092    158     1538    60279   39     3928    2760   1524   2241 162.43
799.38/799.64	c   364567    158     2034    79456   39     4922    3037   2020   2242 162.60
799.38/799.64	c   365382    158     2874   112920   39     6600    3341   2860   2243 162.88
799.38/799.64	c   366703    158     2508    98085   39     5698    3676   2494   2244 163.35
799.38/799.64	c   368785    158     2763   104872   37     6217    4044   2749   2247 164.09
799.38/799.64	c   372010    158     4001   150395   37     8689    4449   3987   2251 165.21
799.38/799.64	c   376946    158     2254    81951   36     5195    4894   2240   2256 167.04
799.38/799.64	c   384453    158     4918   176457   35    10515    5384   4904   2265 169.71
799.38/799.64	c   395814    158     2829   104917   37     6334    5923   2815   2276 173.86
799.38/799.64	c   412958    158     5416   186087   34    11511    6516   5402   2286 180.64
799.38/799.64	c   438778    158     5528   199677   36    11739    7168   5514   2297 191.00
799.38/799.64	c   477610    158     5453   205436   37    11593    7885   5439   2301 207.56
799.38/799.64	c   535962    158     5288   191385   36    11264    8674   5274   2290 234.03
799.38/799.64	c   623594    158     7240   274345   37    15174    9542   7226   2269 274.81
799.38/799.64	c   755146    158     8028   311183   38    16767   10497   8014   2211 341.47
799.38/799.64	c   952578    158     8789   341770   38    18281   11547   8775   2149 443.08
799.38/799.64	c  1248830    158    10155   388715   38    21034   12702  10141   2040 611.89
799.38/799.64	o 77
1016.42/1016.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1016.42/1016.76	c  1566330    158     8453   324493   38    17742    2280   8439   1959 799.43
1016.42/1016.76	c  1566430    158     1270    49676   39     3244    2509   1256   1958 799.63
1016.42/1016.76	c  1566680    158     1523    58236   38     3754    2760   1509   1959 799.71
1016.42/1016.76	c  1567155    158     2019    79016   39     4738    3037   2005   1959 799.88
1016.42/1016.76	c  1567969    158     2860   111521   38     6430    3341   2846   1959 800.19
1016.42/1016.76	c  1569289    158     2495    97632   39     5661    3676   2481   1959 800.72
1016.42/1016.76	c  1571370    158     2738   106184   38     6162    4044   2724   1960 801.45
1016.42/1016.76	c  1574593    158     3964   157496   39     8615    4449   3950   1961 802.68
1016.42/1016.76	c  1579529    158     2254    87347   38     5195    4894   2240   1963 804.59
1016.42/1016.76	c  1587035    158     2476    87597   35     5643    5384   2462   1965 807.53
1016.42/1016.76	c  1598396    158     3072   110621   36     6826    5923   3058   1968 811.79
1016.42/1016.76	c  1615540    158     5633   226997   40    11978    6516   5619   1973 818.64
1016.42/1016.76	c  1641359    158     5898   247845   42    12552    7168   5884   1976 830.25
1016.42/1016.76	c  1680191    158     5744   212407   36    12191    7885   5730   1983 847.05
1016.42/1016.76	c  1738543    158     5579   210409   37    11853    8674   5565   1991 873.15
1016.42/1016.76	c  1826176    158     7459   283521   38    15635    9542   7445   1993 916.01
1016.42/1016.76	c  1957728    158     7102   267197   37    14915   10497   7088   1987 984.86
1016.42/1016.76	o 75
1024.52/1024.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1024.52/1024.82	c  2015385    158     7931   296526   37    16720    2280   7917   1982 1016.50
1024.52/1024.82	c  2015485    158     1276    50616   39     3357    2509   1262   1982 1016.62
1024.52/1024.82	c  2015735    158     1528    58952   38     3857    2760   1514   1982 1016.69
1024.52/1024.82	c  2016210    158     2014    76574   38     4828    3037   2000   1982 1016.86
1024.52/1024.82	c  2017023    158     2843   105711   37     6493    3341   2829   1983 1017.15
1024.52/1024.82	c  2018343    158     2466    90892   36     5615    3676   2452   1983 1017.61
1024.52/1024.82	c  2020425    158     2730   112105   41     6174    4044   2716   1983 1018.39
1024.52/1024.82	c  2023648    158     3971   148687   37     8644    4449   3957   1984 1019.66
1024.52/1024.82	c  2028586    158     2254    84310   37     5193    4894   2240   1985 1021.50
1024.52/1024.82	c  2036093    158     2506    93027   37     5700    5384   2492   1987 1024.46
1024.52/1024.82	o 73
1043.41/1043.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1043.41/1043.79	c  2036400    158     2828   105646   37     6486    2280   2814   1987 1024.56
1043.41/1043.79	c  2036500    158     1272    47852   37     3277    2509   1258   1987 1024.60
1043.41/1043.79	c  2036750    158     1531    57040   37     3798    2760   1517   1987 1024.67
1043.41/1043.79	c  2037225    158     2009    73345   36     4753    3037   1995   1987 1024.82
1043.41/1043.79	c  2038038    158     2842   100807   35     6423    3341   2828   1988 1025.08
1043.41/1043.79	c  2039358    158     2483    82567   33     5653    3676   2469   1988 1025.51
1043.41/1043.79	c  2041439    158     2739    95071   34     6162    4044   2725   1989 1026.20
1043.41/1043.79	c  2044662    158     3948   147560   37     8617    4449   3934   1990 1027.44
1043.41/1043.79	c  2049599    158     2257    87588   38     5199    4894   2243   1990 1029.52
1043.41/1043.79	c  2057105    158     2476    93508   37     5632    5384   2462   1992 1032.53
1043.41/1043.79	c  2068466    158     3151   123103   39     6989    5923   3137   1994 1037.28
1043.41/1043.79	o 72
1047.22/1047.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1047.22/1047.56	c  2082742    158     5745   228753   39    12394    2280   5731   1995 1043.51
1047.22/1047.56	c  2082842    158     1275    51326   40     3373    2509   1261   1995 1043.59
1047.22/1047.56	c  2083092    158     1529    59653   39     3879    2760   1515   1995 1043.66
1047.22/1047.56	c  2083568    158     2021    76818   38     4867    3037   2007   1996 1043.81
1047.22/1047.56	c  2084381    158     2849   106036   37     6511    3341   2835   1996 1044.09
1047.22/1047.56	c  2085703    158     2485    90842   36     5637    3676   2471   1996 1044.58
1047.22/1047.56	c  2087785    158     2738   106564   38     6169    4044   2724   1997 1045.32
1047.22/1047.56	c  2091008    158     3980   153315   38     8660    4449   3966   1997 1046.61
1047.22/1047.56	o 71
1047.22/1047.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1047.22/1047.59	c  2092639    158     3383   131552   38     7555    2280   3369   1998 1047.29
1047.22/1047.59	o 69
1047.32/1047.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1047.32/1047.60	c  2092642    158     1174    46320   39     3144    2280   1160   1998 1047.32
1047.32/1047.60	o 67
1047.32/1047.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1047.32/1047.67	c  2092678    158     1214    48916   40     3332    2280   1200   1998 1047.33
1047.32/1047.67	c  2092778    158     1316    52401   39     3529    2509   1302   1998 1047.36
1047.32/1047.67	o 65
1064.41/1064.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1064.41/1064.73	c  2092895    158     1438    58137   40     3900    2280   1424   1998 1047.40
1064.41/1064.73	c  2092995    158     1542    61756   40     4098    2509   1528   1998 1047.43
1064.41/1064.73	c  2093246    158     1802    72193   40     4641    2760   1788   1998 1047.52
1064.41/1064.73	c  2093721    158     2285    88246   38     5595    3037   2271   1998 1047.66
1064.41/1064.73	c  2094535    158     1548    54309   35     3778    3341   1534   1998 1047.98
1064.41/1064.73	c  2095855    158     2892   105875   36     6470    3676   2878   1998 1048.46
1064.41/1064.73	c  2097936    158     3125   123453   39     6937    4044   3111   1999 1049.30
1064.41/1064.73	c  2101159    158     2277    92557   40     5278    4449   2263   1999 1050.69
1064.41/1064.73	c  2106095    158     2758   112766   40     6251    4894   2744   2000 1052.74
1064.41/1064.73	c  2113602    158     2913   112436   38     6569    5384   2899   2001 1055.98
1064.41/1064.73	c  2124963    158     3495   125564   35     7709    5923   3481   2003 1060.61
1064.41/1064.73	o 45
1527.19/1527.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1527.19/1527.66	c  2133628    158     3260   124104   38     7327    2280   3246   2004 1064.46
1527.19/1527.66	c  2133728    150     1274    51448   40     3306    2509   1260   2004 1064.52
1527.19/1527.66	c  2133978    147     1527    61868   40     3803    2760   1513   2004 1064.61
1527.19/1527.66	c  2134453    147     2005    82967   41     4754    3037   1991   2004 1064.78
1527.19/1527.66	c  2135266    147     2823   117452   41     6391    3341   2809   2004 1065.06
1527.19/1527.66	c  2136586    147     2433   103412   42     5546    3676   2419   2005 1065.56
1527.19/1527.66	c  2138667    146     2650   107983   40     5976    4044   2636   2005 1066.33
1527.19/1527.66	c  2141890    146     3822   159523   41     8318    4449   3808   2006 1067.54
1527.19/1527.66	c  2146826    146     4243   182781   43     9156    4894   4229   2007 1069.48
1527.19/1527.66	c  2154332    145     4381   185588   42     9440    5384   4367   2008 1072.68
1527.19/1527.66	c  2165693    144     4964   212005   42    10610    5923   4950   2009 1077.65
1527.19/1527.66	c  2182837    144     4263   174974   41     9216    6516   4249   2010 1085.48
1527.19/1527.66	c  2208657    144     4022   173235   43     8728    7168   4008   2012 1097.41
1527.19/1527.66	c  2247489    144     6885   300066   43    14447    7885   6871   2013 1116.27
1527.19/1527.66	c  2305841    144     5887   255852   43    12455    8674   5873   2012 1145.96
1527.19/1527.66	c  2393473    144     6685   296059   44    14040    9542   6671   2007 1192.10
1527.19/1527.66	c  2525025    144     8657   379234   43    17981   10497   8643   1997 1263.82
1527.19/1527.66	c  2722458    144     6178   264925   42    13030   11547   6164   1964 1385.51
1527.19/1527.66	o 42
1527.39/1527.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1527.39/1527.88	c  2940260    144     9933   436024   43    20641    2252   9919   1925 1527.26
1527.39/1527.88	o 40
1756.33/1756.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1756.33/1756.85	c  2940301    144     1211    49175   40     3168    2252   1197   1924 1527.48
1756.33/1756.85	c  2940401    144     1313    53528   40     3365    2478   1299   1924 1527.51
1756.33/1756.85	c  2940652    144     1569    63386   40     3876    2726   1555   1925 1527.60
1756.33/1756.85	c  2941127    144     2054    83044   40     4850    2999   2040   1925 1527.78
1756.33/1756.85	c  2941940    144     2885   118295   41     6515    3299   2871   1925 1528.11
1756.33/1756.85	c  2943260    144     2514   104447   41     5695    3629   2500   1925 1528.62
1756.33/1756.85	c  2945342    144     2747   118131   43     6146    3992   2733   1925 1529.37
1756.33/1756.85	c  2948565    144     3941   162720   41     8533    4392   3927   1926 1530.55
1756.33/1756.85	c  2953501    144     4416   181681   41     9498    4832   4402   1927 1532.49
1756.33/1756.85	c  2961007    144     4584   184376   40     9837    5316   4570   1928 1535.64
1756.33/1756.85	c  2972368    144     5221   214292   41    11109    5848   5207   1929 1540.33
1756.33/1756.85	c  2989512    144     4681   192681   41    10020    6433   4667   1931 1547.52
1756.33/1756.85	c  3015331    144     4661   197357   42     9999    7077   4647   1933 1559.31
1756.33/1756.85	c  3054164    144     4314   183984   42     9293    7785   4300   1936 1577.49
1756.33/1756.85	c  3112516    144     4268   178155   41     9203    8564   4254   1937 1606.78
1756.33/1756.85	c  3200148    144     6137   267066   43    12952    9421   6123   1937 1651.52
1756.33/1756.85	c  3331700    144     5543   236169   42    11763   10364   5529   1933 1723.36
1756.33/1756.85	o 39
1797.92/1798.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.92/1798.47	c  3389358    144     5993   263568   43    12761    2252   5979   1929 1756.39
1797.92/1798.47	c  3389458    144     1272    55344   43     3252    2478   1258   1929 1756.53
1797.92/1798.47	c  3389709    144     1524    65273   42     3760    2726   1510   1929 1756.61
1797.92/1798.47	c  3390184    144     2003    83756   41     4716    2999   1989   1929 1756.77
1797.92/1798.47	c  3390998    144     2820   117660   41     6346    3299   2806   1929 1757.08
1797.92/1798.47	c  3392318    144     2457   100364   40     5587    3629   2443   1930 1757.55
1797.92/1798.47	c  3394399    144     2704   110674   40     6076    3992   2690   1930 1758.35
1797.92/1798.47	c  3397622    144     3901   165372   42     8460    4392   3887   1930 1759.55
1797.92/1798.47	c  3402558    144     4387   182372   41     9446    4832   4373   1931 1761.44
1797.92/1798.47	c  3410065    144     4552   181605   39     9773    5316   4538   1932 1764.46
1797.92/1798.47	c  3421426    144     5171   212862   41    11009    5848   5157   1933 1769.10
1797.92/1798.47	c  3438570    144     4703   191558   40    10082    6433   4689   1935 1776.65
1797.92/1798.47	c  3464389    144     4610   196752   42     9887    7077   4596   1936 1788.58
1797.92/1798.47	c Resources Exceeded
1797.92/1798.47	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 x128 x129 x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 x138 x139 -x140 x141 -x142 x143 -x144 -x145 x146 x147 -x148 -x149 x150 x151 -x152 x153 -x154 -x155 -x156 x157 x158 -x159 x160 -x161 x162 x163 x164 x165 -x166 x167 x168 -x169 x170 -x171 x172 x127 
1797.92/1798.47	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.92/1798.47	c  253  3485109 133412  3651425     3914   161645   3900   1938 1798.00
1797.92/1798.47	c Objective: 39
1797.92/1798.47	s SATISFIABLE
1797.92/1798.47	c Total time: 1798 s

Verifier Data 

OK	39

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656629-1276614466/watcher-2656629-1276614466 -o /tmp/evaluation-result-2656629-1276614466/solver-2656629-1276614466 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656629-1276614466.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11688
/proc/meminfo: memFree=1401968/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=18604 CPUtime=0
/proc/11688/stat : 11688 (bsolo_pb10) R 11686 11688 11079 0 -1 4202496 332 0 0 0 0 0 0 0 20 0 1 0 2737242 19050496 248 1992294400 134512640 137138936 4294687776 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11688/statm: 4651 248 192 642 0 4007 0

[startup+0.10466 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11688
/proc/meminfo: memFree=1401968/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=11164 CPUtime=0.1
/proc/11688/stat : 11688 (bsolo_pb10) R 11686 11688 11079 0 -1 4202496 424 0 0 0 10 0 0 0 20 0 1 0 2737242 11431936 340 1992294400 134512640 137138936 4294687776 18446744073709551615 134599744 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11688/statm: 2791 340 192 642 0 2147 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11164

[startup+0.200671 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11688
/proc/meminfo: memFree=1401968/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=11412 CPUtime=0.19
/proc/11688/stat : 11688 (bsolo_pb10) R 11686 11688 11079 0 -1 4202496 502 0 0 0 19 0 0 0 20 0 1 0 2737242 11685888 418 1992294400 134512640 137138936 4294687776 18446744073709551615 136504016 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11688/statm: 2853 419 192 642 0 2209 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11412

[startup+0.300684 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11688
/proc/meminfo: memFree=1401968/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=11668 CPUtime=0.29
/proc/11688/stat : 11688 (bsolo_pb10) R 11686 11688 11079 0 -1 4202496 571 0 0 0 29 0 0 0 20 0 1 0 2737242 11948032 487 1992294400 134512640 137138936 4294687776 18446744073709551615 134618492 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11688/statm: 2917 488 192 642 0 2273 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11668

[startup+0.700727 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11688
/proc/meminfo: memFree=1401968/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=12548 CPUtime=0.69
/proc/11688/stat : 11688 (bsolo_pb10) R 11686 11688 11079 0 -1 4202496 793 0 0 0 69 0 0 0 20 0 1 0 2737242 12849152 709 1992294400 134512640 137138936 4294687776 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11688/statm: 3137 709 192 642 0 2493 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12548

[startup+1.50082 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11689
/proc/meminfo: memFree=1398860/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=13548 CPUtime=1.49
/proc/11688/stat : 11688 (bsolo_pb10) R 11686 11688 11079 0 -1 4202496 1020 0 0 0 149 0 0 0 22 0 1 0 2737242 13873152 936 1992294400 134512640 137138936 4294687776 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11688/statm: 3387 936 192 642 0 2743 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13548

[startup+3.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11689
/proc/meminfo: memFree=1398364/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=13808 CPUtime=3.09
/proc/11688/stat : 11688 (bsolo_pb10) R 11686 11688 11079 0 -1 4202496 1107 0 0 0 308 1 0 0 25 0 1 0 2737242 14139392 1023 1992294400 134512640 137138936 4294687776 18446744073709551615 134606686 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11688/statm: 3452 1023 192 642 0 2808 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13808

[startup+6.30137 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11689
/proc/meminfo: memFree=1398116/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=13808 CPUtime=6.29
/proc/11688/stat : 11688 (bsolo_pb10) R 11686 11688 11079 0 -1 4202496 1108 0 0 0 627 2 0 0 25 0 1 0 2737242 14139392 1024 1992294400 134512640 137138936 4294687776 18446744073709551615 134575044 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11688/statm: 3452 1024 192 642 0 2808 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13808

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11689
/proc/meminfo: memFree=1397868/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=13932 CPUtime=12.69
/proc/11688/stat : 11688 (bsolo_pb10) R 11686 11688 11079 0 -1 4202496 1129 0 0 0 1265 4 0 0 25 0 1 0 2737242 14266368 1045 1992294400 134512640 137138936 4294687776 18446744073709551615 134607628 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11688/statm: 3483 1045 192 642 0 2839 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13932

[startup+25.5006 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11689
/proc/meminfo: memFree=1397620/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=14424 CPUtime=25.49
/proc/11688/stat : 11688 (bsolo_pb10) R 11686 11688 11079 0 -1 4202496 1255 0 0 0 2539 10 0 0 25 0 1 0 2737242 14770176 1171 1992294400 134512640 137138936 4294687776 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11688/statm: 3606 1171 192 642 0 2962 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 14424

[startup+51.1005 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11689
/proc/meminfo: memFree=1396752/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=15292 CPUtime=51.08
/proc/11688/stat : 11688 (bsolo_pb10) R 11686 11688 11079 0 -1 4202496 1468 0 0 0 5090 18 0 0 25 0 1 0 2737242 15659008 1384 1992294400 134512640 137138936 4294687776 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11688/statm: 3823 1384 192 642 0 3179 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 15292

[startup+102.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11691
/proc/meminfo: memFree=1395636/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=16280 CPUtime=102.27
/proc/11688/stat : 11688 (bsolo_pb10) R 11686 11688 11079 0 -1 4202496 1705 0 0 0 10191 36 0 0 25 0 1 0 2737242 16670720 1621 1992294400 134512640 137138936 4294687776 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11688/statm: 4070 1621 192 642 0 3426 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 16280

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11693
/proc/meminfo: memFree=1394892/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=16656 CPUtime=162.25
/proc/11688/stat : 11688 (bsolo_pb10) R 11686 11688 11079 0 -1 4202496 1847 0 0 0 16169 56 0 0 25 0 1 0 2737242 17055744 1739 1992294400 134512640 137138936 4294687776 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11688/statm: 4164 1739 192 642 0 3520 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 16656

[startup+222.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11695
/proc/meminfo: memFree=1394768/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=16592 CPUtime=222.24
/proc/11688/stat : 11688 (bsolo_pb10) R 11686 11688 11079 0 -1 4202496 1847 0 0 0 22145 79 0 0 25 0 1 0 2737242 16990208 1723 1992294400 134512640 137138936 4294687776 18446744073709551615 134598992 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11688/statm: 4148 1723 192 642 0 3504 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 16592

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11695
/proc/meminfo: memFree=1394768/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=16592 CPUtime=282.22
/proc/11688/stat : 11688 (bsolo_pb10) R 11686 11688 11079 0 -1 4202496 1847 0 0 0 28124 98 0 0 25 0 1 0 2737242 16990208 1723 1992294400 134512640 137138936 4294687776 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11688/statm: 4148 1723 192 642 0 3504 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 16592

[startup+342.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11697
/proc/meminfo: memFree=1394644/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=17076 CPUtime=342.2
/proc/11688/stat : 11688 (bsolo_pb10) R 11686 11688 11079 0 -1 4202496 1948 0 0 0 34106 114 0 0 25 0 1 0 2737242 17485824 1824 1992294400 134512640 137138936 4294687776 18446744073709551615 134600080 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11688/statm: 4269 1824 192 642 0 3625 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 17076

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11699
/proc/meminfo: memFree=1394272/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=17304 CPUtime=402.19
/proc/11688/stat : 11688 (bsolo_pb10) R 11686 11688 11079 0 -1 4202496 2007 0 0 0 40087 132 0 0 25 0 1 0 2737242 17719296 1883 1992294400 134512640 137138936 4294687776 18446744073709551615 136504489 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11688/statm: 4326 1883 192 642 0 3682 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 17304

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11701
/proc/meminfo: memFree=1393404/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=18176 CPUtime=462.17
/proc/11688/stat : 11688 (bsolo_pb10) R 11686 11688 11079 0 -1 4202496 2229 0 0 0 46070 147 0 0 25 0 1 0 2737242 18612224 2105 1992294400 134512640 137138936 4294687776 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11688/statm: 4544 2105 192 642 0 3900 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 18176

[startup+522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11703
/proc/meminfo: memFree=1393280/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=18176 CPUtime=522.15
/proc/11688/stat : 11688 (bsolo_pb10) R 11686 11688 11079 0 -1 4202496 2229 0 0 0 52051 164 0 0 25 0 1 0 2737242 18612224 2105 1992294400 134512640 137138936 4294687776 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11688/statm: 4544 2105 192 642 0 3900 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 18176

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11703
/proc/meminfo: memFree=1393156/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=18412 CPUtime=582.14
/proc/11688/stat : 11688 (bsolo_pb10) R 11686 11688 11079 0 -1 4202496 2283 0 0 0 58033 181 0 0 25 0 1 0 2737242 18853888 2159 1992294400 134512640 137138936 4294687776 18446744073709551615 134618280 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11688/statm: 4603 2159 192 642 0 3959 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 18412

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11705
/proc/meminfo: memFree=1392784/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=18632 CPUtime=642.12
/proc/11688/stat : 11688 (bsolo_pb10) R 11686 11688 11079 0 -1 4202496 2347 0 0 0 64012 200 0 0 25 0 1 0 2737242 19079168 2223 1992294400 134512640 137138936 4294687776 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11688/statm: 4658 2223 192 642 0 4014 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 18632

[startup+702.3 s]

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

/proc/meminfo: memFree=1391916/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=18648 CPUtime=1062.01
/proc/11688/stat : 11688 (bsolo_pb10) R 11686 11688 11079 0 -1 4202496 2397 0 0 0 105873 328 0 0 25 0 1 0 2737242 19095552 2237 1992294400 134512640 137138936 4294687776 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11688/statm: 4662 2237 192 642 0 4018 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 18648

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11719
/proc/meminfo: memFree=1391792/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=18648 CPUtime=1122
/proc/11688/stat : 11688 (bsolo_pb10) R 11686 11688 11079 0 -1 4202496 2397 0 0 0 111851 349 0 0 25 0 1 0 2737242 19095552 2237 1992294400 134512640 137138936 4294687776 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11688/statm: 4662 2237 192 642 0 4018 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 18648

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11719
/proc/meminfo: memFree=1391668/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=18648 CPUtime=1181.98
/proc/11688/stat : 11688 (bsolo_pb10) R 11686 11688 11079 0 -1 4202496 2397 0 0 0 117833 365 0 0 25 0 1 0 2737242 19095552 2237 1992294400 134512640 137138936 4294687776 18446744073709551615 136502594 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11688/statm: 4662 2237 192 642 0 4018 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 18648

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11721
/proc/meminfo: memFree=1391544/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=18648 CPUtime=1241.97
/proc/11688/stat : 11688 (bsolo_pb10) R 11686 11688 11079 0 -1 4202496 2397 0 0 0 123814 383 0 0 25 0 1 0 2737242 19095552 2237 1992294400 134512640 137138936 4294687776 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11688/statm: 4662 2237 192 642 0 4018 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 18648

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11723
/proc/meminfo: memFree=1391420/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=18648 CPUtime=1301.95
/proc/11688/stat : 11688 (bsolo_pb10) R 11686 11688 11079 0 -1 4202496 2397 0 0 0 129796 399 0 0 25 0 1 0 2737242 19095552 2237 1992294400 134512640 137138936 4294687776 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11688/statm: 4662 2237 192 642 0 4018 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 18648

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11725
/proc/meminfo: memFree=1391544/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=18648 CPUtime=1361.93
/proc/11688/stat : 11688 (bsolo_pb10) R 11686 11688 11079 0 -1 4202496 2397 0 0 0 135780 413 0 0 25 0 1 0 2737242 19095552 2237 1992294400 134512640 137138936 4294687776 18446744073709551615 134606670 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11688/statm: 4662 2237 192 642 0 4018 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 18648

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11727
/proc/meminfo: memFree=1391544/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=18888 CPUtime=1421.92
/proc/11688/stat : 11688 (bsolo_pb10) R 11686 11688 11079 0 -1 4202496 2447 0 0 0 141765 427 0 0 25 0 1 0 2737242 19341312 2287 1992294400 134512640 137138936 4294687776 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11688/statm: 4722 2287 192 642 0 4078 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 18888

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11727
/proc/meminfo: memFree=1391420/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=18816 CPUtime=1481.91
/proc/11688/stat : 11688 (bsolo_pb10) R 11686 11688 11079 0 -1 4202496 2447 0 0 0 147749 442 0 0 25 0 1 0 2737242 19267584 2279 1992294400 134512640 137138936 4294687776 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11688/statm: 4704 2279 192 642 0 4060 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 18816

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11732
/proc/meminfo: memFree=1390676/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=18916 CPUtime=1541.9
/proc/11688/stat : 11688 (bsolo_pb10) R 11686 11688 11079 0 -1 4202496 2465 0 0 0 153733 457 0 0 25 0 1 0 2737242 19369984 2296 1992294400 134512640 137138936 4294687776 18446744073709551615 136505205 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11688/statm: 4729 2296 192 642 0 4085 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 18916

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11734
/proc/meminfo: memFree=1390800/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=18916 CPUtime=1601.87
/proc/11688/stat : 11688 (bsolo_pb10) R 11686 11688 11079 0 -1 4202496 2465 0 0 0 159712 475 0 0 25 0 1 0 2737242 19369984 2296 1992294400 134512640 137138936 4294687776 18446744073709551615 134609268 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11688/statm: 4729 2296 192 642 0 4085 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 18916

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11736
/proc/meminfo: memFree=1390924/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=18916 CPUtime=1661.85
/proc/11688/stat : 11688 (bsolo_pb10) R 11686 11688 11079 0 -1 4202496 2465 0 0 0 165692 493 0 0 25 0 1 0 2737242 19369984 2296 1992294400 134512640 137138936 4294687776 18446744073709551615 134618512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11688/statm: 4729 2296 192 642 0 4085 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 18916

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11738
/proc/meminfo: memFree=1390924/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=18916 CPUtime=1721.84
/proc/11688/stat : 11688 (bsolo_pb10) R 11686 11688 11079 0 -1 4202496 2465 0 0 0 171674 510 0 0 25 0 1 0 2737242 19369984 2296 1992294400 134512640 137138936 4294687776 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11688/statm: 4729 2296 192 642 0 4085 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 18916

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11738
/proc/meminfo: memFree=1391048/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=18712 CPUtime=1781.83
/proc/11688/stat : 11688 (bsolo_pb10) R 11686 11688 11079 0 -1 4202496 2465 0 0 0 177656 527 0 0 25 0 1 0 2737242 19161088 2253 1992294400 134512640 137138936 4294687776 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11688/statm: 4678 2253 192 642 0 4034 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 18712

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

[startup+1792.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11738
/proc/meminfo: memFree=1391048/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=18712 CPUtime=1791.53
/proc/11688/stat : 11688 (bsolo_pb10) R 11686 11688 11079 0 -1 4202496 2465 0 0 0 178623 530 0 0 25 0 1 0 2737242 19161088 2253 1992294400 134512640 137138936 4294687776 18446744073709551615 134600089 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11688/statm: 4678 2253 192 642 0 4034 0
Current children cumulated CPU time (s) 1791.53
Current children cumulated vsize (KiB) 18712

[startup+1795.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11740
/proc/meminfo: memFree=1391048/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=18712 CPUtime=1794.73
/proc/11688/stat : 11688 (bsolo_pb10) R 11686 11688 11079 0 -1 4202496 2465 0 0 0 178942 531 0 0 25 0 1 0 2737242 19161088 2253 1992294400 134512640 137138936 4294687776 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11688/statm: 4678 2253 192 642 0 4034 0
Current children cumulated CPU time (s) 1794.73
Current children cumulated vsize (KiB) 18712

[startup+1796.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11740
/proc/meminfo: memFree=1391048/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=18712 CPUtime=1796.32
/proc/11688/stat : 11688 (bsolo_pb10) R 11686 11688 11079 0 -1 4202496 2465 0 0 0 179101 531 0 0 25 0 1 0 2737242 19161088 2253 1992294400 134512640 137138936 4294687776 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11688/statm: 4678 2253 192 642 0 4034 0
Current children cumulated CPU time (s) 1796.32
Current children cumulated vsize (KiB) 18712

[startup+1797.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11740
/proc/meminfo: memFree=1391048/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=18712 CPUtime=1797.12
/proc/11688/stat : 11688 (bsolo_pb10) R 11686 11688 11079 0 -1 4202496 2465 0 0 0 179180 532 0 0 25 0 1 0 2737242 19161088 2253 1992294400 134512640 137138936 4294687776 18446744073709551615 136297620 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11688/statm: 4678 2253 192 642 0 4034 0
Current children cumulated CPU time (s) 1797.12
Current children cumulated vsize (KiB) 18712

[startup+1798 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11740
/proc/meminfo: memFree=1391048/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=18712 CPUtime=1797.52
/proc/11688/stat : 11688 (bsolo_pb10) R 11686 11688 11079 0 -1 4202496 2465 0 0 0 179220 532 0 0 25 0 1 0 2737242 19161088 2253 1992294400 134512640 137138936 4294687776 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11688/statm: 4678 2253 192 642 0 4034 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (KiB) 18712

[startup+1798.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11740
/proc/meminfo: memFree=1391048/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=18712 CPUtime=1797.92
/proc/11688/stat : 11688 (bsolo_pb10) R 11686 11688 11079 0 -1 4202496 2465 0 0 0 179260 532 0 0 25 0 1 0 2737242 19161088 2253 1992294400 134512640 137138936 4294687776 18446744073709551615 134542369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11688/statm: 4678 2253 192 642 0 4034 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 18712

Child status: 0
Real time (s): 1798.48
CPU time (s): 1798
CPU user time (s): 1792.68
CPU system time (s): 5.32419
CPU usage (%): 99.9736
Max. virtual memory (cumulated for all children) (KiB): 18940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.68
system time used= 5.32419
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2466
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 4805

runsolver used 2.95855 second user time and 8.50171 second system time

The end

Launcher Data 

Begin job on node059 at 2010-06-15 17:07:46
IDJOB=2656629
IDBENCH=2918
IDSOLVER=1162
FILE ID=node059/2656629-1276614466
PBS_JOBID= 11172256
Free space on /tmp= 62556 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_1.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656629-1276614466/watcher-2656629-1276614466 -o /tmp/evaluation-result-2656629-1276614466/solver-2656629-1276614466 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2656629-1276614466.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 7b9886d41278c23acb93039c546a310e
RANDOM SEED=1991574671

node059.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.244
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.244
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1402372 kB
Buffers:         78416 kB
Cached:         437432 kB
SwapCached:          0 kB
Active:         222540 kB
Inactive:       352556 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1402372 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3904 kB
Writeback:           0 kB
AnonPages:       59156 kB
Mapped:          15396 kB
Slab:            59904 kB
PageTables:       3872 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182324 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62552 MiB
End job on node059 at 2010-06-15 17:37:44