Trace number 1877188

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 NameAnswerobjCPU timeWall clock time
bsolo 3.1SAT26 1798 1798.43

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 benchmark11
Best CPU time to get the best result obtained on this benchmark1802.14
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.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1877188-1245176580.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.02/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.03	c        0    172       15     1154   76      707    2308      1      0 0.00
0.02/0.03	c      101    172      126     9536   75     1086    2539    112   3156 0.03
0.02/0.03	o 647
0.02/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.04	c      105    172      131     9913   75     1170    2308    117   3181 0.03
0.02/0.04	o 635
0.02/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.06	c      163    172      192    14228   74     1327    2308    178   3468 0.05
0.02/0.06	o 627
0.02/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.07	c      235    172      268    18763   70     1635    2308    254   3560 0.07
0.02/0.07	o 447
0.10/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.10/0.10	c      248    172      282    19417   68     1727    2308    268   3542 0.07
0.10/0.10	c      348    172      385    26580   69     1970    2539    371   3587 0.10
0.10/0.10	o 442
0.10/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.10/0.14	c      371    172      409    28425   69     2060    2308    395   3567 0.10
0.10/0.14	c      472    172      513    34660   67     2307    2539    499   3630 0.13
0.10/0.14	o 439
0.10/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.10/0.15	c      523    172      565    37629   66     2491    2308    551   3606 0.14
0.10/0.15	o 383
0.10/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.10/0.18	c      550    172      593    38765   65     2649    2308    579   3594 0.15
0.10/0.18	o 382
0.19/0.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.26	c      639    172      685    44885   65     2952    2308    671   3549 0.18
0.19/0.26	c      739    172      787    51551   65     3162    2539    773   3485 0.21
0.19/0.26	o 310
0.99/1.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.10	c      910    172      962    59765   62     3593    2308    948   3421 0.27
0.99/1.10	c     1010    172     1062    63769   60     3845    2539   1048   3435 0.29
0.99/1.10	c     1262    172     1317    76637   58     4345    2793   1303   3338 0.38
0.99/1.10	c     1739    172     1797   100224   55     5314    3073   1783   3220 0.54
0.99/1.10	c     2553    172     2624   140736   53     6999    3381   2610   3042 0.84
0.99/1.10	o 306
1.09/1.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.09/1.18	c     3246    172     3338   183613   55     8632    2308   3324   2940 1.10
1.09/1.18	c     3348    172     1273    71333   56     3381    2539   1259   2926 1.14
1.09/1.18	o 304
1.19/1.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.21	c     3474    172     1403    80282   57     3780    2308   1389   2929 1.19
1.19/1.21	o 287
1.19/1.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.23	c     3554    172     1484    83723   56     4047    2308   1470   2942 1.21
1.19/1.23	o 282
1.19/1.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.29	c     3634    172     1566    87547   55     4318    2308   1552   2947 1.23
1.19/1.29	c     3734    172     1667    92845   55     4554    2539   1653   2944 1.27
1.19/1.29	o 280
1.99/2.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.05	c     3812    172     1747    96038   54     4791    2308   1733   2952 1.29
1.99/2.05	c     3913    172     1857   103487   55     5077    2539   1843   2948 1.33
1.99/2.05	c     4163    172     2110   115354   54     5612    2793   2096   2929 1.42
1.99/2.05	c     4638    172     2595   137097   52     6607    3073   2581   2918 1.59
1.99/2.05	c     5452    172     1806    89535   49     4492    3381   1792   2889 1.89
1.99/2.05	o 252
1.99/2.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.06	c     5938    172     2315   119211   51     5743    2308   2301   2890 2.05
1.99/2.06	o 240
1.99/2.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.06	c     5944    172     2322   119601   51     5883    2308   2308   2888 2.06
1.99/2.06	o 238
1.99/2.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.07	c     5950    172     1169    64429   55     3178    2308   1155   2881 2.06
1.99/2.07	o 234
1.99/2.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.08	c     5974    172     1194    66084   55     3337    2308   1180   2881 2.07
1.99/2.08	o 202
1.99/2.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.09	c     5997    172     1218    67371   55     3492    2308   1204   2880 2.08
1.99/2.09	o 200
1.99/2.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.09	c     6018    172     1240    68642   55     3647    2308   1226   2879 2.09
1.99/2.09	o 198
1.99/2.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.09	c     6020    172     1243    68874   55     3761    2308   1229   2877 2.09
1.99/2.09	o 196
1.99/2.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.09	c     6024    172     1248    69210   55     3880    2308   1234   2876 2.09
1.99/2.09	o 194
2.09/2.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.09/2.14	c     6028    172     1253    69599   55     3998    2308   1239   2875 2.10
2.09/2.14	c     6128    172     1354    73230   54     4204    2539   1340   2886 2.12
2.09/2.14	o 192
2.39/2.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.39/2.43	c     6186    172     1415    76233   53     4415    2308   1401   2883 2.15
2.39/2.43	c     6287    172     1517    79990   52     4629    2539   1503   2893 2.17
2.39/2.43	c     6537    172     1768    90764   51     5142    2793   1754   2888 2.26
2.39/2.43	o 180
2.39/2.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.39/2.48	c     7007    172     2245   111712   49     6199    2308   2231   2883 2.43
2.39/2.48	c     7107    172     1169    53117   45     3047    2539   1155   2871 2.48
2.39/2.48	o 178
2.59/2.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.59/2.63	c     7122    172     1188    54118   45     3195    2308   1174   2870 2.48
2.59/2.63	c     7222    172     1294    59247   45     3420    2539   1280   2872 2.51
2.59/2.63	c     7475    172     1560    71576   45     3944    2793   1546   2869 2.60
2.59/2.63	o 176
5.50/5.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.50/5.56	c     7557    172     1648    75760   45     4247    2308   1634   2865 2.64
5.50/5.56	c     7657    172     1748    80033   45     4448    2539   1734   2866 2.67
5.50/5.56	c     7907    172     2000    91547   45     4950    2793   1986   2863 2.76
5.50/5.56	c     8382    172     2478   112125   45     5921    3073   2464   2864 2.93
5.50/5.56	c     9195    172     1721    78302   45     4156    3381   1707   2822 3.26
5.50/5.56	c    10515    172     3067   135207   44     6874    3720   3053   2833 3.71
5.50/5.56	c    12596    172     3273   138363   42     7306    4093   3259   2821 4.46
5.50/5.56	o 174
5.59/5.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.59/5.69	c    15427    172     4042   177729   43     8930    2308   4028   2771 5.57
5.59/5.69	c    15527    172     1269    56773   44     3250    2539   1255   2755 5.63
5.59/5.69	o 122
5.59/5.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.59/5.69	c    15699    172     1444    65157   45     3709    2308   1430   2758 5.69
5.59/5.69	o 110
8.19/8.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.19/8.22	c    15702    171     1448    65337   45     3826    2306   1434   2758 5.69
8.19/8.22	c    15802    171     1551    73146   47     4055    2537   1537   2759 5.73
8.19/8.22	c    16052    170     1803    85764   47     4555    2791   1789   2769 5.80
8.19/8.22	c    16529    167     2284   105021   45     5518    3071   2270   2781 5.94
8.19/8.22	c    17342    167     1556    65148   41     3821    3379   1542   2789 6.22
8.19/8.22	c    18662    166     2893   117547   40     6494    3717   2879   2810 6.64
8.19/8.22	c    20743    164     3071   121007   39     6900    4089   3057   2806 7.39
8.19/8.22	o 107
10.89/10.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.89/10.99	c    22966    163     3220   136796   42     7387    2290   3206   2793 8.22
10.89/10.99	c    23069    163     1279    52770   41     3311    2520   1265   2791 8.26
10.89/10.99	c    23319    161     1529    60596   39     3810    2773   1515   2800 8.33
10.89/10.99	c    23794    160     2005    77522   38     4764    3051   1991   2811 8.46
10.89/10.99	c    24607    160     2824   106405   37     6397    3357   2810   2820 8.72
10.89/10.99	c    25927    160     2436    86387   35     5559    3693   2422   2835 9.14
10.89/10.99	c    28008    160     2634   100171   38     5961    4063   2620   2844 9.85
10.89/10.99	o 105
19.49/19.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
19.49/19.51	c    30962    160     3530   150354   42     7891    2284   3516   2817 10.99
19.49/19.51	c    31062    160     1270    56149   44     3256    2513   1256   2813 11.04
19.49/19.51	c    31312    160     1523    68468   44     3800    2765   1509   2814 11.13
19.49/19.51	c    31787    160     2011    88314   43     4824    3042   1997   2817 11.28
19.49/19.51	c    32600    159     2829   119343   42     6476    3347   2815   2822 11.55
19.49/19.51	c    33920    159     2448    90476   36     5577    3682   2434   2829 11.99
19.49/19.51	c    36001    159     2659   109804   41     6023    4051   2645   2816 12.78
19.49/19.51	c    39224    159     3805   154148   40     8280    4457   3791   2806 13.98
19.49/19.51	c    44160    159     4204   168189   40     9093    4903   4190   2793 15.81
19.49/19.51	c    51666    159     4236   153412   36     9167    5394   4222   2795 18.48
19.49/19.51	o 81
19.49/19.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
19.49/19.56	c    54369    159     4206   154694   36     9198    2282   4192   2786 19.51
19.49/19.56	o 79
19.49/19.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
19.49/19.58	c    54410    159     1211    45370   37     3203    2282   1197   2781 19.56
19.49/19.58	o 77
38.98/39.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
38.98/39.04	c    54458    159     1263    48532   38     3435    2282   1249   2781 19.58
38.98/39.04	c    54558    159     1363    51655   37     3633    2511   1349   2783 19.60
38.98/39.04	c    54808    159     1616    60258   37     4141    2763   1602   2788 19.66
38.98/39.04	c    55283    159     2094    75933   36     5103    3040   2080   2794 19.78
38.98/39.04	c    56099    159     2912   106306   36     6730    3345   2898   2797 20.05
38.98/39.04	c    57419    159     2523    91796   36     5733    3680   2509   2804 20.47
38.98/39.04	c    59500    159     2742   105278   38     6172    4049   2728   2812 21.16
38.98/39.04	c    62723    159     3906   149225   38     8491    4454   3892   2827 22.19
38.98/39.04	c    67660    158     4303   157815   36     9318    4900   4289   2842 23.80
38.98/39.04	c    75166    158     4329   172537   39     9340    5391   4315   2843 26.44
38.98/39.04	c    86527    158     4768   182785   38    10217    5931   4754   2843 30.43
38.98/39.04	c   103671    158     3901   152986   39     8499    6525   3887   2823 36.71
38.98/39.04	o 73
42.08/42.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
42.08/42.19	c   109798    158     3451   126936   36     7790    2280   3437   2812 39.04
42.08/42.19	c   109898    158     1269    51301   40     3258    2509   1255   2811 39.08
42.08/42.19	c   110148    158     1520    60094   39     3761    2760   1506   2813 39.15
42.08/42.19	c   110624    158     1996    78254   39     4706    3037   1982   2814 39.30
42.08/42.19	c   111437    158     2811   108503   38     6336    3341   2797   2817 39.55
42.08/42.19	c   112757    158     2420    92670   38     5522    3676   2406   2818 40.01
42.08/42.19	c   114838    158     2623   102598   39     5927    4044   2609   2821 40.70
42.08/42.19	c   118061    158     3789   150512   39     8261    4449   3775   2824 41.80
42.08/42.19	o 70
49.38/49.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
49.38/49.46	c   119052    158     2505   103503   41     5793    2280   2491   2821 42.19
49.38/49.46	c   119153    158     1271    51149   40     3226    2509   1257   2821 42.23
49.38/49.46	c   119404    158     1522    62329   40     3738    2760   1508   2822 42.30
49.38/49.46	c   119879    158     1997    80337   40     4667    3037   1983   2823 42.45
49.38/49.46	c   120693    158     2812   110953   39     6314    3341   2798   2826 42.71
49.38/49.46	c   122013    158     2401    97425   40     5481    3676   2387   2825 43.18
49.38/49.46	c   124094    158     2589   100299   38     5856    4044   2575   2824 43.94
49.38/49.46	c   127318    158     3751   145920   38     8186    4449   3737   2826 45.05
49.38/49.46	c   132254    158     4159   159993   38     8995    4894   4145   2824 46.83
49.38/49.46	o 69
134.46/134.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
134.46/134.59	c   139572    158     4019   154197   38     8828    2280   4005   2822 49.45
134.46/134.59	c   139672    158     1269    48776   38     3221    2509   1255   2821 49.49
134.46/134.59	c   139922    158     1519    58549   38     3731    2760   1505   2823 49.56
134.46/134.59	c   140397    158     1996    78226   39     4685    3037   1982   2824 49.70
134.46/134.59	c   141210    158     2816   111225   39     6324    3341   2802   2826 49.95
134.46/134.59	c   142530    158     2431    96767   39     5528    3676   2417   2828 50.38
134.46/134.59	c   144611    158     2624    98706   37     5923    4044   2610   2832 51.06
134.46/134.59	c   147834    158     3790   142299   37     8299    4449   3776   2837 52.11
134.46/134.59	c   152770    158     4201   173477   41     9079    4894   4187   2836 53.87
134.46/134.59	c   160276    158     4244   169083   39     9217    5384   4230   2828 56.66
134.46/134.59	c   171638    158     4687   185876   39    10056    5923   4673   2818 60.90
134.46/134.59	c   188782    158     3778   163939   43     8237    6516   3764   2762 68.35
134.46/134.59	c   214602    158     6519   256165   39    13742    7168   6505   2707 79.26
134.46/134.59	c   253434    158     5552   223345   40    11799    7885   5538   2653 95.52
134.46/134.59	c   311786    158     4304   162472   37     9297    8674   4290   2556 121.97
134.46/134.59	o 67
134.66/134.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
134.66/134.75	c   339309    158     5609   234774   41    12027    2280   5595   2521 134.56
134.66/134.75	c   339409    158     1270    54130   42     3226    2509   1256   2520 134.65
134.66/134.75	o 65
134.66/134.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
134.66/134.78	c   339631    158     1494    63702   42     3769    2280   1480   2521 134.72
134.66/134.78	c   339731    158     1594    67706   42     3963    2509   1580   2521 134.75
134.66/134.78	o 63
609.65/609.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
609.65/609.89	c   339755    158     1621    69839   43     4129    2280   1607   2521 134.75
609.65/609.89	c   339855    147     1723    73775   42     4331    2509   1709   2521 134.79
609.65/609.89	c   340106    147     1974    85594   43     4821    2760   1960   2521 134.87
609.65/609.89	c   340582    147     2450   108204   44     5765    3037   2436   2522 135.02
609.65/609.89	c   341395    147     1702    78456   46     4071    3341   1688   2523 135.29
609.65/609.89	c   342717    146     3024   139085   45     6730    3676   3010   2525 135.70
609.65/609.89	c   344799    146     3236   150713   46     7150    4044   3222   2528 136.36
609.65/609.89	c   348023    146     2330   105580   45     5323    4449   2316   2532 137.41
609.65/609.89	c   352959    146     2728   132522   48     6126    4894   2714   2538 139.06
609.65/609.89	c   360466    146     2755   132529   48     6177    5384   2741   2541 141.83
609.65/609.89	c   371827    145     3186   150802   47     7026    5923   3172   2543 146.18
609.65/609.89	c   388971    145     5296   247454   46    11266    6516   5282   2557 152.06
609.65/609.89	c   414790    145     4711   223023   47    10099    7168   4697   2563 161.81
609.65/609.89	c   453622    145     3626   171376   47     7914    7885   3612   2530 179.25
609.65/609.89	c   511974    145     6186   294910   47    13032    8674   6172   2496 205.11
609.65/609.89	c   599606    145     6276   288314   45    13216    9542   6262   2448 244.86
609.65/609.89	c   731159    145     7869   375408   47    16403   10497   7855   2368 308.68
609.65/609.89	c   928591    145     9615   474947   49    19907   11547   9601   2220 418.12
609.65/609.89	c  1224843    145     9381   439564   46    19439   12702   9367   2075 590.09
609.65/609.89	o 61
609.85/610.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
609.85/610.03	c  1254790    144     7357   359831   48    15477    2252   7343   2057 609.75
609.85/610.03	o 59
618.35/618.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
618.35/618.60	c  1254865    144     1246    58209   46     3253    2252   1232   2057 609.89
618.35/618.60	c  1254966    144     1348    62698   46     3460    2478   1334   2057 609.92
618.35/618.60	c  1255216    144     1603    74411   46     4007    2726   1589   2057 610.00
618.35/618.60	c  1255691    144     2078    94890   45     4948    2999   2064   2057 610.16
618.35/618.60	c  1256504    144     2891   132877   45     6583    3299   2877   2058 610.47
618.35/618.60	c  1257825    144     2513   116937   46     5690    3629   2499   2058 610.93
618.35/618.60	c  1259906    144     2749   120788   43     6154    3992   2735   2059 611.70
618.35/618.60	c  1263129    144     3947   172389   43     8562    4392   3933   2060 612.93
618.35/618.60	c  1268065    144     4410   191126   43     9512    4832   4396   2062 614.84
618.35/618.60	c  1275572    144     4566   207599   45     9842    5316   4552   2064 617.79
618.35/618.60	o 57
649.04/649.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
649.04/649.27	c  1277055    144     3357   145601   43     7460    2252   3343   2064 618.46
649.04/649.27	c  1277155    144     1272    53555   42     3203    2478   1258   2064 618.52
649.04/649.27	c  1277406    144     1523    64318   42     3710    2726   1509   2065 618.60
649.04/649.27	c  1277881    144     1998    84398   42     4662    2999   1984   2065 618.75
649.04/649.27	c  1278694    144     2811   120814   42     6280    3299   2797   2065 619.02
649.04/649.27	c  1280014    144     2428   102585   42     5516    3629   2414   2066 619.49
649.04/649.27	c  1282095    144     2659   115090   43     5978    3992   2645   2067 620.23
649.04/649.27	c  1285318    144     3850   174211   45     8355    4392   3836   2068 621.45
649.04/649.27	c  1290254    144     4320   195925   45     9307    4832   4306   2069 623.41
649.04/649.27	c  1297761    144     4429   207380   46     9521    5316   4415   2071 626.38
649.04/649.27	c  1309122    144     4996   227740   45    10652    5848   4982   2074 630.94
649.04/649.27	c  1326266    144     4341   208760   48     9351    6433   4327   2077 638.45
649.04/649.27	o 55
652.64/652.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
652.64/652.83	c  1351129    144     6398   290180   45    13562    2252   6384   2081 649.12
652.64/652.83	c  1351230    144     1272    58077   45     3242    2478   1258   2081 649.26
652.64/652.83	c  1351480    144     1522    67969   44     3737    2726   1508   2081 649.34
652.64/652.83	c  1351955    144     1997    87482   43     4681    2999   1983   2081 649.50
652.64/652.83	c  1352769    144     2812   122884   43     6328    3299   2798   2081 649.77
652.64/652.83	c  1354089    144     2438   104767   42     5555    3629   2424   2082 650.24
652.64/652.83	c  1356171    144     2668   121366   45     5991    3992   2654   2083 650.96
652.64/652.83	c  1359395    144     3853   170903   44     8370    4392   3839   2084 652.09
652.64/652.83	o 54
652.64/652.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
652.64/652.85	c  1361078    144     3293   147783   44     7333    2252   3279   2085 652.68
652.64/652.85	o 52
655.74/655.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
655.74/655.91	c  1361080    144     1172    50511   43     3091    2252   1158   2085 652.70
655.74/655.91	c  1361180    144     1273    55435   43     3298    2478   1259   2085 652.73
655.74/655.91	c  1361431    144     1524    66385   43     3796    2726   1510   2085 652.81
655.74/655.91	c  1361906    144     2001    87137   43     4752    2999   1987   2085 652.96
655.74/655.91	c  1362719    144     2815   122953   43     6375    3299   2801   2086 653.24
655.74/655.91	c  1364040    144     2439   107459   44     5541    3629   2425   2086 653.69
655.74/655.91	c  1366121    144     2672   120089   44     6016    3992   2658   2087 654.40
655.74/655.91	c  1369344    144     3855   172050   44     8373    4392   3841   2088 655.56
655.74/655.91	o 34
655.74/655.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
655.74/655.95	c  1369792    144     4304   190447   44     9349    2252   4290   2088 655.76
655.74/655.95	o 32
709.12/709.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
709.12/709.40	c  1369870    144     1252    54598   43     3302    2252   1238   2088 655.80
709.12/709.40	c  1369970    138     1352    59350   43     3484    2478   1338   2088 655.83
709.12/709.40	c  1370220    136     1602    70593   44     3977    2726   1588   2089 655.89
709.12/709.40	c  1370697    134     2080    93845   45     4942    2999   2066   2089 656.03
709.12/709.40	c  1371510    134     2893   129911   44     6550    3299   2879   2090 656.22
709.12/709.40	c  1372831    134     2513   112989   44     5661    3629   2499   2090 656.58
709.12/709.40	c  1374913    132     2729   126381   46     6110    3992   2715   2092 657.17
709.12/709.40	c  1378136    132     3906   178750   45     8454    4392   3892   2094 658.09
709.12/709.40	c  1383072    132     4356   207249   47     9349    4832   4342   2096 659.61
709.12/709.40	c  1390578    131     4483   222491   49     9608    5316   4469   2100 662.15
709.12/709.40	c  1401939    131     5039   249506   49    10716    5848   5025   2103 666.41
709.12/709.40	c  1419083    130     4377   216569   49     9393    6433   4363   2109 672.57
709.12/709.40	c  1444902    130     4130   204626   49     8901    7077   4116   2114 683.31
709.12/709.40	c  1483734    130     7129   351060   49    14909    7785   7115   2113 701.87
709.12/709.40	o 30
1503.84/1504.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1503.84/1504.20	c  1498889    130     6533   325676   49    13784    2224   6519   2113 709.24
1503.84/1504.20	c  1498989    130     1271    62123   48     3175    2447   1257   2113 709.37
1503.84/1504.20	c  1499239    130     1521    74182   48     3670    2692   1507   2113 709.44
1503.84/1504.20	c  1499715    130     1997    96611   48     4624    2962   1983   2113 709.59
1503.84/1504.20	c  1500528    130     2810   135972   48     6249    3259   2796   2113 709.86
1503.84/1504.20	c  1501848    130     2471   118877   48     5578    3585   2457   2114 710.30
1503.84/1504.20	c  1503929    130     2710   130527   48     6061    3944   2696   2115 710.97
1503.84/1504.20	c  1507153    130     3917   190987   48     8473    4339   3903   2116 712.00
1503.84/1504.20	c  1512089    130     2227   109410   49     5083    4773   2213   2118 713.75
1503.84/1504.20	c  1519596    130     2444   119993   49     5528    5251   2430   2121 716.41
1503.84/1504.20	c  1530957    130     3132   152035   48     6897    5777   3118   2124 720.50
1503.84/1504.20	c  1548101    130     5640   285393   50    11914    6355   5626   2128 727.32
1503.84/1504.20	c  1573922    130     5690   276417   48    12017    6991   5676   2133 737.64
1503.84/1504.20	c  1612754    130     5563   279920   50    11753    7691   5549   2136 754.83
1503.84/1504.20	c  1671106    130     5582   288709   51    11812    8461   5568   2130 784.37
1503.84/1504.20	c  1758739    130     7786   389866   50    16208    9308   7772   2124 827.88
1503.84/1504.20	c  1890291    130     7822   385039   49    16277   10239   7808   2113 894.48
1503.84/1504.20	c  2087723    130     9137   450629   49    18909   11263   9123   2098 994.72
1503.84/1504.20	c  2383976    130    10413   516284   49    21461   12390  10399   2048 1163.77
1503.84/1504.20	c  2828459    130    12117   577735   47    24859   13630  12103   1966 1438.30
1503.84/1504.20	o 27
1682.00/1682.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1682.00/1682.43	c  2921785    130     9413   475976   50    19529    2224   9399   1942 1503.85
1682.00/1682.43	c  2921885    130     1269    62895   49     3168    2447   1255   1942 1504.03
1682.00/1682.43	c  2922135    130     1519    74554   49     3660    2692   1505   1942 1504.09
1682.00/1682.43	c  2922610    130     1994    97263   48     4626    2962   1980   1942 1504.21
1682.00/1682.43	c  2923423    130     2808   134839   48     6244    3259   2794   1943 1504.43
1682.00/1682.43	c  2924743    130     2467   112693   45     5565    3585   2453   1943 1504.78
1682.00/1682.43	c  2926824    130     2719   126778   46     6055    3944   2705   1944 1505.35
1682.00/1682.43	c  2930047    130     3926   191662   48     8484    4339   3912   1945 1506.36
1682.00/1682.43	c  2934984    130     2231   103858   46     5088    4773   2217   1946 1507.86
1682.00/1682.43	c  2942490    130     2444   113728   46     5520    5251   2430   1948 1510.28
1682.00/1682.43	c  2953851    130     3135   152187   48     6894    5777   3121   1949 1514.96
1682.00/1682.43	c  2970995    130     5616   270674   48    11855    6355   5602   1952 1521.57
1682.00/1682.43	c  2996816    130     5663   287752   50    11958    6991   5649   1954 1533.12
1682.00/1682.43	c  3035648    130     5601   275209   49    11832    7691   5587   1960 1548.12
1682.00/1682.43	c  3094000    130     5636   276200   49    11909    8461   5622   1964 1574.67
1682.00/1682.43	c  3181633    130     7824   381845   48    16289    9308   7810   1965 1618.88
1682.00/1682.43	o 26
1797.98/1798.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.98/1798.42	c  3300637    130     9355   467997   50    19409    2224   9341   1962 1682.04
1797.98/1798.42	c  3300737    130     1269    62049   48     3169    2447   1255   1962 1682.19
1797.98/1798.42	c  3300987    130     1519    74369   48     3668    2692   1505   1962 1682.27
1797.98/1798.42	c  3301462    130     1994    97725   49     4620    2962   1980   1962 1682.40
1797.98/1798.42	c  3302275    130     2807   136995   48     6242    3259   2793   1962 1682.65
1797.98/1798.42	c  3303596    130     2450   115915   47     5532    3585   2436   1962 1683.00
1797.98/1798.42	c  3305677    130     2696   127498   47     6019    3944   2682   1963 1683.62
1797.98/1798.42	c  3308900    130     3897   182399   46     8412    4339   3883   1964 1684.57
1797.98/1798.42	c  3313836    130     2227   108085   48     5082    4773   2213   1965 1686.13
1797.98/1798.42	c  3321342    130     2444   121152   49     5520    5251   2430   1966 1688.92
1797.98/1798.42	c  3332703    130     3131   149217   47     6889    5777   3117   1968 1693.05
1797.98/1798.42	c  3349848    130     5606   282512   50    11840    6355   5592   1970 1699.77
1797.98/1798.42	c  3375667    130     5652   271558   48    11936    6991   5638   1974 1709.91
1797.98/1798.42	c  3414499    130     5590   267757   47    11792    7691   5576   1978 1726.23
1797.98/1798.42	c  3472851    130     5629   274677   48    11884    8461   5615   1981 1753.02
1797.98/1798.42	c  3560483    130     7813   368532   47    16266    9308   7799   1982 1795.90
1797.98/1798.42	c Resources Exceeded
1797.98/1798.42	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.98/1798.42	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.98/1798.42	c  257  3565308  71377  3661425     7939   368287   7925   1982 1798.00
1797.98/1798.42	c Objective: 26
1797.98/1798.42	s SATISFIABLE
1797.98/1798.42	c Total time: 1798 s

Verifier Data 

OK	26

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1877188-1245176580/watcher-1877188-1245176580 -o /tmp/evaluation-result-1877188-1245176580/solver-1877188-1245176580 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877188-1245176580.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/64 1528
/proc/meminfo: memFree=1855472/2055920 swapFree=4191900/4192956
[pid=1528] ppid=1526 vsize=18520 CPUtime=0
/proc/1528/stat : 1528 (bsolo) R 1526 1528 1197 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 185258992 18964480 241 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 4630 241 191 640 0 3986 0

[startup+0.0256891 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1528
/proc/meminfo: memFree=1855472/2055920 swapFree=4191900/4192956
[pid=1528] ppid=1526 vsize=18520 CPUtime=0.02
/proc/1528/stat : 1528 (bsolo) R 1526 1528 1197 0 -1 4194304 287 0 0 0 2 0 0 0 18 0 1 0 185258992 18964480 268 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 4630 268 196 640 0 3986 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18520

[startup+0.101693 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1528
/proc/meminfo: memFree=1855472/2055920 swapFree=4191900/4192956
[pid=1528] ppid=1526 vsize=11076 CPUtime=0.1
/proc/1528/stat : 1528 (bsolo) R 1526 1528 1197 0 -1 4194304 364 0 0 0 10 0 0 0 18 0 1 0 185258992 11341824 345 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 2769 345 197 640 0 2125 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11076

[startup+0.30171 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1528
/proc/meminfo: memFree=1855472/2055920 swapFree=4191900/4192956
[pid=1528] ppid=1526 vsize=11572 CPUtime=0.29
/proc/1528/stat : 1528 (bsolo) R 1526 1528 1197 0 -1 4194304 505 0 0 0 29 0 0 0 19 0 1 0 185258992 11849728 486 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 2893 486 197 640 0 2249 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11572

[startup+0.701742 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1528
/proc/meminfo: memFree=1855472/2055920 swapFree=4191900/4192956
[pid=1528] ppid=1526 vsize=12448 CPUtime=0.69
/proc/1528/stat : 1528 (bsolo) R 1526 1528 1197 0 -1 4194304 722 0 0 0 69 0 0 0 22 0 1 0 185258992 12746752 703 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 3112 703 197 640 0 2468 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12448

[startup+1.50281 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1529
/proc/meminfo: memFree=1852840/2055920 swapFree=4191900/4192956
[pid=1528] ppid=1526 vsize=13452 CPUtime=1.49
/proc/1528/stat : 1528 (bsolo) R 1526 1528 1197 0 -1 4194304 955 0 0 0 149 0 0 0 25 0 1 0 185258992 13774848 936 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 3363 936 197 640 0 2719 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13452

[startup+3.10194 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1529
/proc/meminfo: memFree=1852456/2055920 swapFree=4191900/4192956
[pid=1528] ppid=1526 vsize=13452 CPUtime=3.09
/proc/1528/stat : 1528 (bsolo) R 1526 1528 1197 0 -1 4194304 955 0 0 0 309 0 0 0 25 0 1 0 185258992 13774848 936 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 3363 936 197 640 0 2719 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13452

[startup+6.3012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1529
/proc/meminfo: memFree=1852264/2055920 swapFree=4191900/4192956
[pid=1528] ppid=1526 vsize=13456 CPUtime=6.29
/proc/1528/stat : 1528 (bsolo) R 1526 1528 1197 0 -1 4194304 962 0 0 0 627 2 0 0 25 0 1 0 185258992 13778944 943 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 3364 943 197 640 0 2720 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13456

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1529
/proc/meminfo: memFree=1852200/2055920 swapFree=4191900/4192956
[pid=1528] ppid=1526 vsize=13456 CPUtime=12.69
/proc/1528/stat : 1528 (bsolo) R 1526 1528 1197 0 -1 4194304 962 0 0 0 1265 4 0 0 25 0 1 0 185258992 13778944 943 1992294400 134512640 137136520 4294956256 18446744073709551615 134616658 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 3364 943 197 640 0 2720 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13456

[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1529
/proc/meminfo: memFree=1851816/2055920 swapFree=4191900/4192956
[pid=1528] ppid=1526 vsize=13832 CPUtime=25.49
/proc/1528/stat : 1528 (bsolo) R 1526 1528 1197 0 -1 4194304 1064 0 0 0 2541 8 0 0 25 0 1 0 185258992 14163968 1045 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 3458 1045 197 640 0 2814 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 13832

[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1529
/proc/meminfo: memFree=1850984/2055920 swapFree=4191900/4192956
[pid=1528] ppid=1526 vsize=14520 CPUtime=51.08
/proc/1528/stat : 1528 (bsolo) R 1526 1528 1197 0 -1 4194304 1275 0 0 0 5092 16 0 0 25 0 1 0 185258992 14868480 1229 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 3630 1229 197 640 0 2986 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 14520

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1529
/proc/meminfo: memFree=1849960/2055920 swapFree=4191900/4192956
[pid=1528] ppid=1526 vsize=15720 CPUtime=102.27
/proc/1528/stat : 1528 (bsolo) R 1526 1528 1197 0 -1 4194304 1628 0 0 0 10198 29 0 0 25 0 1 0 185258992 16097280 1507 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 3930 1507 197 640 0 3286 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 15720

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1529
/proc/meminfo: memFree=1849448/2055920 swapFree=4191900/4192956
[pid=1528] ppid=1526 vsize=16100 CPUtime=162.25
/proc/1528/stat : 1528 (bsolo) R 1526 1528 1197 0 -1 4194304 1747 0 0 0 16180 45 0 0 25 0 1 0 185258992 16486400 1624 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 4025 1624 197 640 0 3381 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 16100

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1529
/proc/meminfo: memFree=1848552/2055920 swapFree=4191900/4192956
[pid=1528] ppid=1526 vsize=17044 CPUtime=222.24
/proc/1528/stat : 1528 (bsolo) R 1526 1528 1197 0 -1 4194304 1960 0 0 0 22166 58 0 0 25 0 1 0 185258992 17453056 1837 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 4261 1837 197 640 0 3617 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 17044

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1529
/proc/meminfo: memFree=1847848/2055920 swapFree=4191900/4192956
[pid=1528] ppid=1526 vsize=17792 CPUtime=282.23
/proc/1528/stat : 1528 (bsolo) R 1526 1528 1197 0 -1 4194304 2148 0 0 0 28154 69 0 0 25 0 1 0 185258992 18219008 2025 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 4448 2025 197 640 0 3804 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 17792

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1529
/proc/meminfo: memFree=1847016/2055920 swapFree=4191900/4192956
[pid=1528] ppid=1526 vsize=18520 CPUtime=342.21
/proc/1528/stat : 1528 (bsolo) R 1526 1528 1197 0 -1 4194304 2344 0 0 0 34141 80 0 0 25 0 1 0 185258992 18964480 2221 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 4630 2221 197 640 0 3986 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 18520

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1529
/proc/meminfo: memFree=1846952/2055920 swapFree=4191900/4192956
[pid=1528] ppid=1526 vsize=18612 CPUtime=402.2
/proc/1528/stat : 1528 (bsolo) R 1526 1528 1197 0 -1 4194304 2355 0 0 0 40131 89 0 0 25 0 1 0 185258992 19058688 2232 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 4653 2232 197 640 0 4009 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 18612

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1529
/proc/meminfo: memFree=1846184/2055920 swapFree=4191900/4192956
[pid=1528] ppid=1526 vsize=19336 CPUtime=462.19
/proc/1528/stat : 1528 (bsolo) R 1526 1528 1197 0 -1 4194304 2536 0 0 0 46117 102 0 0 25 0 1 0 185258992 19800064 2413 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 4834 2413 197 640 0 4190 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 19336

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1529
/proc/meminfo: memFree=1846056/2055920 swapFree=4191900/4192956
[pid=1528] ppid=1526 vsize=19360 CPUtime=522.17
/proc/1528/stat : 1528 (bsolo) R 1526 1528 1197 0 -1 4194304 2564 0 0 0 52105 112 0 0 25 0 1 0 185258992 19824640 2439 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 4840 2439 197 640 0 4196 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 19360

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1529
/proc/meminfo: memFree=1846056/2055920 swapFree=4191900/4192956
[pid=1528] ppid=1526 vsize=19308 CPUtime=582.15
/proc/1528/stat : 1528 (bsolo) R 1526 1528 1197 0 -1 4194304 2564 0 0 0 58092 123 0 0 25 0 1 0 185258992 19771392 2426 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 4827 2426 197 640 0 4183 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 19308

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1529
/proc/meminfo: memFree=1845224/2055920 swapFree=4191900/4192956
[pid=1528] ppid=1526 vsize=20008 CPUtime=642.14
/proc/1528/stat : 1528 (bsolo) R 1526 1528 1197 0 -1 4194304 2816 0 0 0 64080 134 0 0 25 0 1 0 185258992 20488192 2601 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 5002 2601 197 640 0 4358 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 20008

[startup+702.302 s]

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

/proc/meminfo: memFree=1845096/2055920 swapFree=4191900/4192956
[pid=1528] ppid=1526 vsize=20008 CPUtime=1122.03
/proc/1528/stat : 1528 (bsolo) R 1526 1528 1197 0 -1 4194304 2816 0 0 0 111971 232 0 0 25 0 1 0 185258992 20488192 2601 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 5002 2601 197 640 0 4358 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 20008

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1529
/proc/meminfo: memFree=1845096/2055920 swapFree=4191900/4192956
[pid=1528] ppid=1526 vsize=20008 CPUtime=1182.01
/proc/1528/stat : 1528 (bsolo) R 1526 1528 1197 0 -1 4194304 2816 0 0 0 117958 243 0 0 25 0 1 0 185258992 20488192 2601 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 5002 2601 197 640 0 4358 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 20008

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1529
/proc/meminfo: memFree=1845032/2055920 swapFree=4191900/4192956
[pid=1528] ppid=1526 vsize=20008 CPUtime=1242
/proc/1528/stat : 1528 (bsolo) R 1526 1528 1197 0 -1 4194304 2816 0 0 0 123946 254 0 0 25 0 1 0 185258992 20488192 2601 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 5002 2601 197 640 0 4358 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 20008

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1529
/proc/meminfo: memFree=1845032/2055920 swapFree=4191900/4192956
[pid=1528] ppid=1526 vsize=20008 CPUtime=1301.99
/proc/1528/stat : 1528 (bsolo) R 1526 1528 1197 0 -1 4194304 2816 0 0 0 129934 265 0 0 25 0 1 0 185258992 20488192 2601 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 5002 2601 197 640 0 4358 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 20008

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1529
/proc/meminfo: memFree=1845032/2055920 swapFree=4191900/4192956
[pid=1528] ppid=1526 vsize=20008 CPUtime=1361.97
/proc/1528/stat : 1528 (bsolo) R 1526 1528 1197 0 -1 4194304 2816 0 0 0 135919 278 0 0 25 0 1 0 185258992 20488192 2601 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 5002 2601 197 640 0 4358 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 20008

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1529
/proc/meminfo: memFree=1845032/2055920 swapFree=4191900/4192956
[pid=1528] ppid=1526 vsize=20108 CPUtime=1421.96
/proc/1528/stat : 1528 (bsolo) R 1526 1528 1197 0 -1 4194304 2822 0 0 0 141908 288 0 0 25 0 1 0 185258992 20590592 2607 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 5027 2607 197 640 0 4383 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 20108

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1529
/proc/meminfo: memFree=1843816/2055920 swapFree=4191900/4192956
[pid=1528] ppid=1526 vsize=21268 CPUtime=1481.94
/proc/1528/stat : 1528 (bsolo) R 1526 1528 1197 0 -1 4194304 3117 0 0 0 147895 299 0 0 25 0 1 0 185258992 21778432 2902 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 5317 2902 197 640 0 4673 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 21268

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1529
/proc/meminfo: memFree=1843816/2055920 swapFree=4191900/4192956
[pid=1528] ppid=1526 vsize=21128 CPUtime=1541.93
/proc/1528/stat : 1528 (bsolo) R 1526 1528 1197 0 -1 4194304 3117 0 0 0 153881 312 0 0 25 0 1 0 185258992 21635072 2881 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 5282 2881 197 640 0 4638 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 21128

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1529
/proc/meminfo: memFree=1843816/2055920 swapFree=4191900/4192956
[pid=1528] ppid=1526 vsize=21120 CPUtime=1601.91
/proc/1528/stat : 1528 (bsolo) R 1526 1528 1197 0 -1 4194304 3117 0 0 0 159864 327 0 0 25 0 1 0 185258992 21626880 2879 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 5280 2879 197 640 0 4636 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 21120

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1531
/proc/meminfo: memFree=1843560/2055920 swapFree=4191900/4192956
[pid=1528] ppid=1526 vsize=21120 CPUtime=1661.9
/proc/1528/stat : 1528 (bsolo) R 1526 1528 1197 0 -1 4194304 3117 0 0 0 165852 338 0 0 25 0 1 0 185258992 21626880 2879 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 5280 2879 197 640 0 4636 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 21120

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1531
/proc/meminfo: memFree=1843560/2055920 swapFree=4191900/4192956
[pid=1528] ppid=1526 vsize=21120 CPUtime=1721.88
/proc/1528/stat : 1528 (bsolo) R 1526 1528 1197 0 -1 4194304 3117 0 0 0 171836 352 0 0 25 0 1 0 185258992 21626880 2879 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 5280 2879 197 640 0 4636 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 21120

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1531
/proc/meminfo: memFree=1843560/2055920 swapFree=4191900/4192956
[pid=1528] ppid=1526 vsize=21120 CPUtime=1781.87
/proc/1528/stat : 1528 (bsolo) R 1526 1528 1197 0 -1 4194304 3117 0 0 0 177823 364 0 0 25 0 1 0 185258992 21626880 2879 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 5280 2879 197 640 0 4636 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 21120

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1531
/proc/meminfo: memFree=1843560/2055920 swapFree=4191900/4192956
[pid=1528] ppid=1526 vsize=21120 CPUtime=1791.47
/proc/1528/stat : 1528 (bsolo) R 1526 1528 1197 0 -1 4194304 3117 0 0 0 178781 366 0 0 25 0 1 0 185258992 21626880 2879 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 5280 2879 197 640 0 4636 0
Current children cumulated CPU time (s) 1791.47
Current children cumulated vsize (KiB) 21120

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1531
/proc/meminfo: memFree=1843560/2055920 swapFree=4191900/4192956
[pid=1528] ppid=1526 vsize=21120 CPUtime=1794.67
/proc/1528/stat : 1528 (bsolo) R 1526 1528 1197 0 -1 4194304 3117 0 0 0 179100 367 0 0 25 0 1 0 185258992 21626880 2879 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 5280 2879 197 640 0 4636 0
Current children cumulated CPU time (s) 1794.67
Current children cumulated vsize (KiB) 21120

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1531
/proc/meminfo: memFree=1843560/2055920 swapFree=4191900/4192956
[pid=1528] ppid=1526 vsize=21120 CPUtime=1796.26
/proc/1528/stat : 1528 (bsolo) R 1526 1528 1197 0 -1 4194304 3117 0 0 0 179259 367 0 0 25 0 1 0 185258992 21626880 2879 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 5280 2879 197 640 0 4636 0
Current children cumulated CPU time (s) 1796.26
Current children cumulated vsize (KiB) 21120

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1531
/proc/meminfo: memFree=1843560/2055920 swapFree=4191900/4192956
[pid=1528] ppid=1526 vsize=21120 CPUtime=1797.07
/proc/1528/stat : 1528 (bsolo) R 1526 1528 1197 0 -1 4194304 3117 0 0 0 179339 368 0 0 25 0 1 0 185258992 21626880 2879 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 5280 2879 197 640 0 4636 0
Current children cumulated CPU time (s) 1797.07
Current children cumulated vsize (KiB) 21120

[startup+1797.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1531
/proc/meminfo: memFree=1843560/2055920 swapFree=4191900/4192956
[pid=1528] ppid=1526 vsize=21120 CPUtime=1797.47
/proc/1528/stat : 1528 (bsolo) R 1526 1528 1197 0 -1 4194304 3117 0 0 0 179379 368 0 0 25 0 1 0 185258992 21626880 2879 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 5280 2879 197 640 0 4636 0
Current children cumulated CPU time (s) 1797.47
Current children cumulated vsize (KiB) 21120

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1531
/proc/meminfo: memFree=1843560/2055920 swapFree=4191900/4192956
[pid=1528] ppid=1526 vsize=21120 CPUtime=1797.87
/proc/1528/stat : 1528 (bsolo) R 1526 1528 1197 0 -1 4194304 3117 0 0 0 179419 368 0 0 25 0 1 0 185258992 21626880 2879 1992294400 134512640 137136520 4294956256 18446744073709551615 134543840 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 5280 2879 197 640 0 4636 0
Current children cumulated CPU time (s) 1797.87
Current children cumulated vsize (KiB) 21120

[startup+1798.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1531
/proc/meminfo: memFree=1843560/2055920 swapFree=4191900/4192956
[pid=1528] ppid=1526 vsize=21120 CPUtime=1797.98
/proc/1528/stat : 1528 (bsolo) R 1526 1528 1197 0 -1 4194304 3117 0 0 0 179430 368 0 0 25 0 1 0 185258992 21626880 2879 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 5280 2879 197 640 0 4636 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 21120

Child status: 0
Real time (s): 1798.43
CPU time (s): 1798
CPU user time (s): 1794.32
CPU system time (s): 3.68444
CPU usage (%): 99.9764
Max. virtual memory (cumulated for all children) (KiB): 21268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.32
system time used= 3.68444
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3119
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= 2
involuntary context switches= 1353

runsolver used 1.47378 second user time and 3.58745 second system time

The end

Launcher Data 

Begin job on node3 at 2009-06-16 20:23:00
IDJOB=1877188
IDBENCH=2918
IDSOLVER=699
FILE ID=node3/1877188-1245176580
PBS_JOBID= 9363879
Free space on /tmp= 66320 MiB

SOLVER NAME= bsolo 3.1
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_1.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877188-1245176580/watcher-1877188-1245176580 -o /tmp/evaluation-result-1877188-1245176580/solver-1877188-1245176580 -C 1800 -W 2000 -M 1800  bsolo -l2 -t1800 -m1800 HOME/instance-1877188-1245176580.opb

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

MD5SUM BENCH= 7b9886d41278c23acb93039c546a310e
RANDOM SEED=2051194677

node3.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.236
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.236
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1855952 kB
Buffers:         41148 kB
Cached:          88200 kB
SwapCached:        260 kB
Active:          29928 kB
Inactive:       112640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1855952 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            3944 kB
Writeback:           0 kB
Mapped:          21756 kB
Slab:            43320 kB
Committed_AS:   154168 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1877188-1245176580.opb

Free space on /tmp at the end= 66316 MiB
End job on node3 at 2009-06-16 20:52:59