Trace number 354856

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, and are wall clock time (not CPU 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.0.16SAT11 1800.01 1800.45

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_3.opb
MD5SUM8d16c34d0eecf3c16ca4b890652c15ca
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark1782.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7
Optimality of the best value was proved NO
Number of variables146
Total number of constraints12
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints12
Minimum length of a constraint64
Maximum length of a constraint66
Number of terms in the objective function 96
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3060
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1270
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4321
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/354856-1176729003/instance-354856-1176729003.opb
0.00/0.00	c File size is 7734 bytes.
0.00/0.00	c Highest Coefficient sum: 4321
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.002 s
0.00/0.00	c Var: 146 Constr: 12 0/0/12 Lit: 784 Watch. Lit: 220
0.00/0.00	c Obj. Vars: 96 (65.7534 % of total variables)
0.00/0.00	c Pre-processing Time: 0.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    146       12      784   65      226    1568      0      0 0.00
0.00/0.00	c Switching off LPR mode.
0.00/0.00	o 1114	0.004
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    146       13      880   67      564    1760      1      0 0.00
0.00/0.01	o 954	0.008
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       41    146       55     3457   62      722    1760     43   5125 0.01
0.00/0.01	o 477	0.008
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       42    146       57     3617   63      776    1760     45   5250 0.01
0.00/0.01	o 336	0.01
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c       60    146       76     4518   59      857    1760     64   6000 0.01
0.00/0.02	c      160    146      176     8161   46     1067    1937    164   8888 0.02
0.00/0.02	o 328	0.018
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c      161    146      178     8320   46     1154    1760    166   8944 0.02
0.09/0.19	c      261    146      278    13091   47     1348    1937    266   9321 0.03
0.09/0.19	c      512    146      529    22617   42     1854    2131    517  10240 0.05
0.09/0.19	c      987    146     1004    41865   41     2788    2345    992   9969 0.10
0.09/0.19	c     1801    146     1818    71606   39     4411    2580   1806   9895 0.18
0.09/0.19	o 318	0.187
0.59/0.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.67	c     1832    146     1850    73228   39     4559    1760   1838   9796 0.19
0.59/0.67	c     1932    146      993    37200   37     2535    1937    981   9564 0.20
0.59/0.67	c     2182    146     1243    47389   38     3038    2131   1231   9570 0.23
0.59/0.67	c     2657    146     1718    64969   37     3979    2345   1706   9455 0.28
0.59/0.67	c     3470    146     1313    53793   40     3170    2580   1301   8784 0.40
0.59/0.67	c     4790    146     1303    51652   39     3145    2839   1291   8188 0.58
0.59/0.67	o 302	0.675
0.69/0.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.75	c     5543    146     2057    85285   41     4749    1760   2045   8199 0.68
0.69/0.75	c     5643    146      993    42838   43     2535    1937    981   8166 0.69
0.69/0.75	c     5893    146     1243    51559   41     3030    2131   1231   8207 0.72
0.69/0.75	o 244	0.747
0.69/0.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.75	c     6128    146     1479    61042   41     3596    1760   1467   8203 0.75
0.69/0.75	o 242	0.748
0.69/0.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.75	c     6129    146     1481    61171   41     3687    1760   1469   8193 0.75
0.69/0.75	o 240	0.748
0.69/0.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.75	c     6130    146     1483    61347   41     3778    1760   1471   8195 0.75
0.69/0.75	o 238	0.75
0.79/0.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.88	c     6146    146     1500    62497   41     3916    1760   1488   8194 0.75
0.79/0.88	c     6246    146     1600    65687   41     4110    1937   1588   8186 0.76
0.79/0.88	c     6496    146     1850    74003   40     4632    2131   1838   8160 0.80
0.79/0.88	c     6972    146     1227    44176   36     3009    2345   1215   8116 0.86
0.79/0.88	o 237	0.884
0.89/0.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.96	c     7158    146     1414    52336   37     3476    1760   1402   8097 0.88
0.89/0.96	c     7258    146     1514    56085   37     3670    1937   1502   8091 0.90
0.89/0.96	c     7508    146     1764    66340   37     4179    2131   1752   8047 0.93
0.89/0.96	o 229	0.961
0.89/0.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.97	c     7699    146     1956    74173   37     4639    1760   1944   8003 0.96
0.89/0.97	o 225	0.969
0.89/0.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.97	c     7728    146      923    36139   39     2479    1760    911   7975 0.97
0.89/0.97	o 223	0.971
0.99/1.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.01	c     7742    146      938    36902   39     2609    1760    926   7973 0.97
0.99/1.01	c     7842    146     1038    40547   39     2794    1937   1026   7985 0.98
0.99/1.01	o 217	1.011
0.99/1.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.03	c     8075    146     1272    50311   39     3370    1760   1260   7987 1.01
0.99/1.03	c     8176    146     1373    53899   39     3568    1937   1361   7968 1.03
0.99/1.03	o 209	1.031
0.99/1.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.03	c     8214    146     1412    55151   39     3731    1760   1400   7967 1.03
0.99/1.03	o 201	1.032
1.09/1.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.09/1.12	c     8214    146     1413    55247   39     3830    1760   1401   7959 1.03
1.09/1.12	c     8314    146     1513    59937   39     4020    1937   1501   7948 1.05
1.09/1.12	c     8564    146     1763    71813   40     4498    2131   1751   7900 1.08
1.09/1.12	o 185	1.12
1.09/1.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.09/1.14	c     8821    146     2021    82424   40     5135    1760   2009   7875 1.12
1.09/1.14	c     8922    146      994    42305   42     2538    1937    982   7846 1.14
1.09/1.14	o 183	1.139
1.09/1.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.09/1.14	c     8930    146     1003    42716   42     2649    1760    991   7840 1.14
1.09/1.14	o 181	1.142
1.19/1.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.28	c     8946    146     1020    43602   42     2775    1760   1008   7833 1.14
1.19/1.28	c     9048    146     1122    48781   43     2983    1937   1110   7820 1.16
1.19/1.28	c     9298    146     1372    59060   43     3482    2131   1360   7826 1.19
1.19/1.28	c     9773    146     1847    80511   43     4440    2345   1835   7744 1.26
1.19/1.28	o 161	1.277
1.39/1.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.41	c     9846    146     1921    83422   43     4674    1760   1909   7710 1.28
1.39/1.41	c     9946    146      993    41995   42     2500    1937    981   7686 1.29
1.39/1.41	c    10196    146     1243    51336   41     3039    2131   1231   7706 1.32
1.39/1.41	c    10671    146     1718    70135   40     3993    2345   1706   7715 1.38
1.39/1.41	o 134	1.413
1.39/1.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.43	c    10905    146     1953    77934   39     4553    1760   1941   7717 1.41
1.39/1.43	c    11006    146      994    36786   37     2522    1937    982   7723 1.43
1.39/1.43	o 132	1.434
11.29/11.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.29/11.38	c    11110    146     1099    42000   38     2844    1760   1087   7742 1.44
11.29/11.38	c    11215    146     1204    46485   38     3053    1937   1192   7761 1.45
11.29/11.38	c    11465    146     1454    52810   36     3488    2131   1442   7815 1.47
11.29/11.38	c    11940    146     1929    66626   34     4452    2345   1917   7819 1.53
11.29/11.38	c    12753    146     1542    45114   29     3569    2580   1530   7857 1.62
11.29/11.38	c    14073    146     1528    46664   30     3580    2839   1516   7848 1.79
11.29/11.38	c    16156    146     2156    70431   32     4835    3123   2144   7842 2.06
11.29/11.38	c    19379    146     2173    63997   29     4856    3436   2161   7736 2.50
11.29/11.38	c    24316    146     1851    56276   30     4207    3780   1839   7610 3.19
11.29/11.38	c    31822    146     3586   125059   34     7667    4159   3574   7189 4.43
11.29/11.38	c    43183    146     2181    83096   38     4904    4575   2169   6647 6.50
11.29/11.38	c    60328    146     3039   120661   39     6605    5033   3027   6247 9.66
11.29/11.38	o 130	11.38
11.39/11.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.39/11.45	c    69973    146     4991   178195   35    10629    1760   4979   6148 11.38
11.39/11.45	o 128	11.448
11.39/11.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.39/11.45	c    70011    146      932    32024   34     2508    1760    920   6115 11.45
11.39/11.45	o 126	11.45
15.99/16.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.99/16.08	c    70030    145      952    33274   34     2645    1758    940   6116 11.45
15.99/16.08	c    70132    143     1054    37059   35     2850    1934   1042   6118 11.46
15.99/16.08	c    70382    140     1304    45724   35     3330    2128   1292   6126 11.49
15.99/16.08	c    70857    140     1779    61111   34     4273    2341   1767   6137 11.54
15.99/16.08	c    71670    140     1376    46174   33     3285    2576   1364   6152 11.65
15.99/16.08	c    72990    140     1372    48098   35     3272    2834   1360   6184 11.80
15.99/16.08	c    75072    140     2001    68705   34     4556    3118   1989   6218 12.07
15.99/16.08	c    78295    139     2017    72410   35     4565    3430   2005   6251 12.52
15.99/16.08	c    83231    139     3442   123579   35     7421    3774   3430   6265 13.29
15.99/16.08	c    90737    138     3242   120812   37     7037    4152   3230   6287 14.43
15.99/16.08	o 119	16.074
16.28/16.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.28/16.38	c   100140    138     2097    76540   36     4733    1744   2085   6221 16.10
16.28/16.38	c   100240    137      993    37076   37     2523    1919    981   6219 16.12
16.28/16.38	c   100490    137     1243    46437   37     3023    2111   1231   6225 16.14
16.28/16.38	c   100965    135     1718    61856   36     3964    2323   1706   6237 16.19
16.28/16.38	c   101778    135     1332    43846   32     3192    2556   1320   6251 16.28
16.28/16.38	o 101	16.381
16.28/16.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.28/16.40	c   102651    134     2206    74557   33     5032    1736   2194   6266 16.38
16.28/16.40	o 97	16.395
16.28/16.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.28/16.40	c   102673    134      916    32409   35     2447    1736    904   6262 16.39
16.28/16.40	o 95	16.396
16.28/16.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.28/16.40	c   102675    134      919    32605   35     2536    1736    907   6262 16.40
16.28/16.40	o 93	16.396
16.28/16.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.28/16.40	c   102679    134      924    32932   35     2625    1736    912   6262 16.40
16.28/16.40	o 91	16.397
16.39/16.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.39/16.43	c   102681    134      927    33151   35     2713    1736    915   6262 16.40
16.39/16.43	c   102781    134     1027    36171   35     2909    1910   1015   6264 16.41
16.39/16.43	c   103031    134     1277    43614   34     3406    2102   1265   6272 16.43
16.39/16.43	o 90	16.431
16.49/16.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.49/16.56	c   103073    134     1320    45293   34     3559    1736   1308   6273 16.43
16.49/16.56	c   103173    134     1420    49249   34     3767    1910   1408   6274 16.44
16.49/16.56	c   103423    134     1670    57241   34     4270    2102   1658   6280 16.47
16.49/16.56	c   103898    134     1076    36423   33     2672    2313   1064   6285 16.53
16.49/16.56	o 73	16.553
16.49/16.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.49/16.56	c   104075    134     1254    42983   34     3122    1736   1242   6287 16.55
16.49/16.56	o 69	16.554
16.79/16.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.79/16.87	c   104076    134     1256    43138   34     3206    1736   1244   6287 16.55
16.79/16.87	c   104177    134     1357    46810   34     3406    1910   1345   6289 16.56
16.79/16.87	c   104427    134     1607    55145   34     3903    2102   1595   6294 16.59
16.79/16.87	c   104902    134     2082    71699   34     4856    2313   2070   6302 16.64
16.79/16.87	c   105715    134     1694    58000   34     3902    2545   1682   6314 16.74
16.79/16.87	o 68	16.867
16.89/16.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.89/16.96	c   106668    134     1330    47107   35     3275    1736   1318   6324 16.87
16.89/16.96	c   106768    134     1430    50782   35     3459    1910   1418   6326 16.88
16.89/16.96	c   107020    134     1682    58761   34     3975    2102   1670   6333 16.90
16.89/16.96	c   107499    134     1076    36507   33     2680    2313   1064   6341 16.95
16.89/16.96	o 64	16.953
16.89/16.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.89/16.96	c   107514    134     1092    37255   34     2794    1736   1080   6341 16.95
16.89/16.96	o 62	16.954
16.89/16.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.89/16.97	c   107516    134     1095    37446   34     2882    1736   1083   6341 16.95
16.89/16.97	o 60	16.963
16.89/16.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.89/16.97	c   107583    127     1163    40040   34     3093    1722   1151   6342 16.96
16.89/16.97	o 58	16.971
16.89/16.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.89/16.98	c   107636    126     1217    42118   34     3278    1720   1205   6342 16.97
16.89/16.98	o 56	16.974
17.09/17.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.09/17.16	c   107660    126     1242    43483   35     3402    1720   1230   6342 16.97
17.09/17.16	c   107761    124     1343    46792   34     3596    1893   1331   6342 16.99
17.09/17.16	c   108011    123     1593    55935   35     4094    2083   1581   6345 17.02
17.09/17.16	c   108487    122     2069    73411   35     5049    2292   2057   6346 17.09
17.09/17.16	o 55	17.159
17.09/17.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.09/17.19	c   108851    122     1262    45231   35     3101    1712   1250   6343 17.16
17.09/17.19	c   108951    122     1362    49647   36     3309    1884   1350   6345 17.17
17.09/17.19	o 46	17.191
17.19/17.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.19/17.20	c   109097    122     1509    55559   36     3670    1712   1497   6346 17.19
17.19/17.20	o 44	17.193
17.29/17.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.29/17.35	c   109121    122     1534    56883   37     3786    1712   1522   6346 17.19
17.29/17.35	c   109222    122     1635    60783   37     3990    1884   1623   6347 17.21
17.29/17.35	c   109472    122     1885    69342   36     4490    2073   1873   6349 17.24
17.29/17.35	c   109947    122     1285    46375   36     3072    2281   1273   6353 17.31
17.29/17.35	o 41	17.349
17.29/17.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.29/17.35	c   110295    122     1634    58553   35     3845    1712   1622   6357 17.35
17.29/17.35	o 39	17.35
17.39/17.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.39/17.49	c   110308    122     1648    59360   36     3944    1712   1636   6357 17.35
17.39/17.49	c   110408    122     1748    62534   35     4146    1884   1736   6358 17.36
17.39/17.49	c   110658    122     1012    34134   33     2530    2073   1000   6358 17.40
17.39/17.49	c   111133    122     1487    50246   33     3489    2281   1475   6365 17.46
17.39/17.49	o 36	17.487
17.39/17.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.39/17.49	c   111373    122     1728    58494   33     4036    1712   1716   6368 17.49
17.39/17.49	o 34	17.488
35.58/35.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
35.58/35.65	c   111383    122     1739    59086   33     4128    1712   1727   6369 17.49
35.58/35.65	c   111483    122      936    31367   33     2385    1884    924   6367 17.51
35.58/35.65	c   111734    122     1187    39848   33     2879    2073   1175   6372 17.54
35.58/35.65	c   112210    122     1663    56450   33     3835    2281   1651   6377 17.59
35.58/35.65	c   113023    122     1306    45132   34     3130    2510   1294   6380 17.71
35.58/35.65	c   114343    122     1332    47745   35     3177    2762   1320   6389 17.89
35.58/35.65	c   116424    122     1990    70611   35     4485    3039   1978   6403 18.18
35.58/35.65	c   119647    122     2092    74812   35     4693    3343   2080   6406 18.68
35.58/35.65	c   124583    122     1896    66684   35     4303    3678   1884   6399 19.47
35.58/35.65	c   132090    122     1924    71148   36     4358    4046   1912   6381 20.70
35.58/35.65	c   143451    122     2992   108278   36     6490    4451   2980   6329 22.66
35.58/35.65	c   160595    122     4319   158297   36     9145    4897   4307   6237 25.75
35.58/35.65	c   186414    122     2831   103813   36     6172    5387   2819   6028 30.92
35.58/35.65	o 32	35.635
35.58/35.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
35.58/35.67	c   208641    122     3245   118111   36     7073    1712   3233   5854 35.63
35.58/35.67	o 30	35.663
40.77/40.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
40.77/40.88	c   208701    119      954    35463   37     2479    1706    942   5852 35.66
40.77/40.88	c   208801    112     1054    39176   37     2674    1877   1042   5852 35.68
40.77/40.88	c   209051    110     1304    48554   37     3169    2065   1292   5854 35.71
40.77/40.88	c   209527    110     1780    67224   37     4117    2272   1768   5855 35.78
40.77/40.88	c   210340    110     1425    55160   38     3339    2500   1413   5855 35.92
40.77/40.88	c   211660    110     1460    57238   39     3420    2751   1448   5853 36.16
40.77/40.88	c   213741    110     2128    84688   39     4742    3027   2116   5857 36.49
40.77/40.88	c   216966    110     2250    89645   39     4985    3330   2238   5859 37.03
40.77/40.88	c   221903    110     2090    85148   40     4677    3664   2078   5848 37.94
40.77/40.88	c   229411    110     2127    85906   40     4740    4031   2115   5815 39.45
40.77/40.88	o 28	40.873
40.88/40.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
40.88/40.91	c   236343    110     2912   115565   39     6381    1688   2900   5782 40.87
40.88/40.91	o 26	40.896
44.57/44.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
44.57/44.62	c   236423    110      974    38846   39     2494    1688    962   5781 40.90
44.57/44.62	c   236523    110     1074    42750   39     2690    1857   1062   5781 40.91
44.57/44.62	c   236773    110     1324    52684   39     3192    2043   1312   5782 40.95
44.57/44.62	c   237249    110     1800    71028   39     4139    2248   1788   5783 41.02
44.57/44.62	c   238062    110     1450    55584   38     3389    2473   1438   5785 41.15
44.57/44.62	c   239383    110     1498    57681   38     3488    2721   1486   5786 41.37
44.57/44.62	c   241465    110     2183    85057   38     4854    2994   2171   5792 41.69
44.57/44.62	c   244689    110     2340    91920   39     5168    3294   2328   5792 42.24
44.57/44.62	c   249626    110     2221    87642   39     4930    3624   2209   5784 43.16
44.57/44.62	c   257132    110     2340    91734   39     5169    3987   2328   5774 44.53
44.57/44.62	o 25	44.604
52.78/52.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
52.78/52.83	c   257593    110     2802   110042   39     6152    1688   2790   5775 44.60
52.78/52.83	c   257693    110      993    37890   38     2470    1857    981   5774 44.63
52.78/52.83	c   257943    110     1243    47305   38     2952    2043   1231   5774 44.67
52.78/52.83	c   258418    110     1718    66334   38     3927    2248   1706   5775 44.74
52.78/52.83	c   259231    110     1370    53246   38     3229    2473   1358   5775 44.88
52.78/52.83	c   260551    110     1426    55324   38     3347    2721   1414   5777 45.10
52.78/52.83	c   262633    110     2106    81371   38     4700    2994   2094   5778 45.45
52.78/52.83	c   265856    110     2260    87931   38     5004    3294   2248   5778 46.01
52.78/52.83	c   270792    110     2148    83219   38     4779    3624   2136   5776 46.88
52.78/52.83	c   278298    110     2267    89411   39     5021    3987   2255   5763 48.28
52.78/52.83	c   289659    110     3493   136127   38     7465    4386   3481   5723 50.61
52.78/52.83	o 24	52.818
52.78/52.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
52.78/52.84	c   299654    110     2331    92375   39     5210    1688   2319   5673 52.82
52.78/52.84	o 22	52.828
105.76/105.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
105.76/105.83	c   299661    110      901    35186   39     2353    1688    889   5672 52.83
105.76/105.83	c   299761    110     1001    39397   39     2552    1857    989   5673 52.84
105.76/105.83	c   300011    110     1251    49249   39     3051    2043   1239   5674 52.87
105.76/105.83	c   300486    110     1726    68092   39     3998    2248   1714   5676 52.93
105.76/105.83	c   301299    110     1378    53421   38     3244    2473   1366   5678 53.06
105.76/105.83	c   302619    110     1432    55340   38     3351    2721   1420   5680 53.28
105.76/105.83	c   304700    110     2117    79827   37     4709    2994   2105   5686 53.58
105.76/105.83	c   307923    110     2269    88709   39     5031    3294   2257   5691 54.10
105.76/105.83	c   312859    110     2169    83192   38     4826    3624   2157   5696 54.93
105.76/105.83	c   320365    110     2297    89115   38     5080    3987   2285   5697 56.23
105.76/105.83	c   331727    110     3515   133644   38     7498    4386   3503   5691 58.28
105.76/105.83	c   348872    110     2862   110383   38     6193    4825   2850   5643 61.81
105.76/105.83	c   374692    110     4237   161929   38     8961    5308   4225   5554 67.46
105.76/105.83	c   413525    110     2743   106424   38     5974    5839   2731   5379 76.87
105.76/105.83	c   471878    110     4981   201132   40    10451    6423   4969   5154 91.55
105.76/105.83	o 15	105.803
106.46/106.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
106.46/106.58	c   522989    110     4179   165252   39     8905    1688   4167   4943 105.80
106.46/106.58	c   523089    102      993    38323   38     2459    1857    981   4941 105.85
106.46/106.58	c   523340    100     1244    47962   38     2959    2043   1232   4942 105.88
106.46/106.58	c   523816     99     1720    67307   39     3912    2248   1708   4944 105.95
106.46/106.58	c   524630     98     1385    53619   38     3242    2473   1373   4945 106.09
106.46/106.58	c   525950     98     1438    55157   38     3342    2721   1426   4946 106.32
106.46/106.58	o 13	106.553
1461.73/1462.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1461.73/1462.17	c   527390     98     1492    57502   38     3502    1664   1480   4949 106.55
1461.73/1462.17	c   527490     98     1592    61498   38     3693    1831   1580   4949 106.56
1461.73/1462.17	c   527740     98     1842    71212   38     4199    2015   1830   4950 106.60
1461.73/1462.17	c   528217     98     1280    49193   38     3016    2217   1268   4951 106.67
1461.73/1462.17	c   529031     98     2094    80810   38     4637    2439   2082   4954 106.78
1461.73/1462.17	c   530351     98     2164    83642   38     4779    2683   2152   4957 106.97
1461.73/1462.17	c   532432     98     1497    58313   38     3451    2952   1485   4961 107.31
1461.73/1462.17	c   535656     98     1702    66917   39     3862    3248   1690   4964 107.89
1461.73/1462.17	c   540592     98     1685    66709   39     3825    3573   1673   4970 108.76
1461.73/1462.17	c   548098     98     1905    75159   39     4262    3931   1893   4970 110.27
1461.73/1462.17	c   559459     98     3275   128656   39     7006    4325   3263   4969 112.58
1461.73/1462.17	c   576603     98     2843   109300   38     6136    4758   2831   4956 116.34
1461.73/1462.17	c   602422     98     4511   178619   39     9481    5234   4499   4925 122.30
1461.73/1462.17	c   641254     98     3585   141757   39     7623    5758   3573   4856 132.04
1461.73/1462.17	c   699606     98     3689   148741   40     7832    6334   3677   4753 147.17
1461.73/1462.17	c   787238     98     4892   189043   38    10230    6968   4880   4564 172.49
1461.73/1462.17	c   918791     98     6287   248559   39    13036    7665   6275   4375 210.00
1461.73/1462.17	c  1116223     98     6538   253324   38    13520    8432   6526   4122 270.74
1461.73/1462.17	c  1412477     98     5385   207576   38    11230    9276   5373   3759 375.68
1461.73/1462.17	c  1856959     98     6119   238532   38    12683   10204   6107   3318 559.64
1461.73/1462.17	c  2523787     98     5423   211348   38    11301   11225   5411   2953 854.40
1461.73/1462.17	c  3524132     98     6701   259696   38    13854   12348   6689   2610 1350.13
1461.73/1462.17	o 11	1461.81
1799.95/1800.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.95/1800.44	c  3748804     98     7897   315592   39    16302    1664   7885   2564 1461.81
1799.95/1800.44	c  3748904     98      993    37599   37     2439    1831    981   2564 1461.95
1799.95/1800.44	c  3749154     98     1243    47191   37     2944    2015   1231   2564 1461.98
1799.95/1800.44	c  3749629     98     1718    65543   38     3886    2217   1706   2564 1462.03
1799.95/1800.44	c  3750442     98     1384    51098   36     3216    2439   1372   2565 1462.15
1799.95/1800.44	c  3751762     98     1448    53199   36     3352    2683   1436   2565 1462.36
1799.95/1800.44	c  3753844     98     2163    80519   37     4781    2952   2151   2566 1462.65
1799.95/1800.44	c  3757068     98     2371    89963   37     5206    3248   2359   2567 1463.18
1799.95/1800.44	c  3762004     98     2335    90370   38     5110    3573   2323   2569 1464.05
1799.95/1800.44	c  3769510     98     2576    97819   37     5606    3931   2564   2572 1465.38
1799.95/1800.44	c  3780871     98     3945   149809   37     8334    4325   3933   2576 1467.48
1799.95/1800.44	c  3798016     98     3532   134300   38     7507    4758   3520   2582 1470.90
1799.95/1800.44	c  3823835     98     2812   103871   36     6056    5234   2800   2590 1476.37
1799.95/1800.44	c  3862667     98     4548   171195   37     9538    5758   4536   2601 1484.84
1799.95/1800.44	c  3921021     98     4659   179288   38     9778    6334   4647   2615 1498.93
1799.95/1800.44	c  4008653     98     5896   229827   38    12245    6968   5884   2632 1522.89
1799.95/1800.44	c  4140205     98     3835   147605   38     8112    7665   3823   2650 1562.27
1799.95/1800.44	c  4337637     98     4137   163415   39     8733    8432   4125   2663 1628.55
1799.95/1800.44	c  4633890     98     7159   285758   39    14772    9276   7147   2664 1739.29
1799.95/1800.44	c Resources Exceeded
1799.95/1800.44	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
1799.95/1800.44	v -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
1799.95/1800.44	v -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
1799.95/1800.44	v -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
1799.95/1800.44	v -x106 -x107 x108 x109 x110 -x111 -x112 x113 x114 -x115 -x116 x117 x118 -x119 -x120 -x121 -x122 x123 x124 x125 -x126 x127 -x128
1799.95/1800.44	v -x129 -x130 x131 x132 x133 -x134 x135 -x136 -x137 x138 x139 -x140 -x141 x142 x143 x144 -x145 -x146
1799.95/1800.44	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.95/1800.44	c  232  4783294  19757  4815348     7132   285049   7120   2657 1800.00
1799.95/1800.44	c Objective: 11
1799.95/1800.44	s SATISFIABLE
1799.95/1800.44	c Total time: 1800 s

Verifier Data (download as text)

OK	11

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node26/watcher-354856-1176729003 -o ROOT/results/node26/solver-354856-1176729003 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354856-1176729003/instance-354856-1176729003.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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 2209
/proc/meminfo: memFree=1849232/2055920 swapFree=4170260/4192956
[pid=2209] ppid=2207 vsize=11744 CPUtime=0
/proc/2209/stat : 2209 (bsolo3.0.16) R 2207 2209 1493 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 120817076 12025856 336 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2209/statm: 2936 336 282 324 0 2003 0

[startup+0.029524 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 2209
/proc/meminfo: memFree=1849232/2055920 swapFree=4170260/4192956
[pid=2209] ppid=2207 vsize=4184 CPUtime=0.02
/proc/2209/stat : 2209 (bsolo3.0.16) R 2207 2209 1493 0 -1 4194304 452 0 0 0 2 0 0 0 18 0 1 0 120817076 4284416 418 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2209/statm: 1046 418 312 324 0 115 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4184

[startup+0.10153 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 2209
/proc/meminfo: memFree=1849232/2055920 swapFree=4170260/4192956
[pid=2209] ppid=2207 vsize=4576 CPUtime=0.09
/proc/2209/stat : 2209 (bsolo3.0.16) R 2207 2209 1493 0 -1 4194304 566 0 0 0 9 0 0 0 18 0 1 0 120817076 4685824 532 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2209/statm: 1144 532 312 324 0 213 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4576

[startup+0.301548 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 2209
/proc/meminfo: memFree=1849232/2055920 swapFree=4170260/4192956
[pid=2209] ppid=2207 vsize=5100 CPUtime=0.29
/proc/2209/stat : 2209 (bsolo3.0.16) R 2207 2209 1493 0 -1 4194304 695 0 0 0 29 0 0 0 19 0 1 0 120817076 5222400 661 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2209/statm: 1275 661 312 324 0 344 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5100

[startup+0.701585 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 2209
/proc/meminfo: memFree=1849232/2055920 swapFree=4170260/4192956
[pid=2209] ppid=2207 vsize=5620 CPUtime=0.69
/proc/2209/stat : 2209 (bsolo3.0.16) R 2207 2209 1493 0 -1 4194304 819 0 0 0 69 0 0 0 22 0 1 0 120817076 5754880 785 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2209/statm: 1405 785 312 324 0 474 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5620

[startup+1.50166 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2210
/proc/meminfo: memFree=1847048/2055920 swapFree=4170260/4192956
[pid=2209] ppid=2207 vsize=5620 CPUtime=1.49
/proc/2209/stat : 2209 (bsolo3.0.16) R 2207 2209 1493 0 -1 4194304 819 0 0 0 149 0 0 0 25 0 1 0 120817076 5754880 785 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2209/statm: 1405 785 312 324 0 474 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5620

[startup+3.10181 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2210
/proc/meminfo: memFree=1846920/2055920 swapFree=4170260/4192956
[pid=2209] ppid=2207 vsize=5744 CPUtime=3.09
/proc/2209/stat : 2209 (bsolo3.0.16) R 2207 2209 1493 0 -1 4194304 838 0 0 0 308 1 0 0 25 0 1 0 120817076 5881856 804 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2209/statm: 1436 804 312 324 0 505 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5744

[startup+6.30111 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2210
/proc/meminfo: memFree=1845832/2055920 swapFree=4170260/4192956
[pid=2209] ppid=2207 vsize=6752 CPUtime=6.29
/proc/2209/stat : 2209 (bsolo3.0.16) R 2207 2209 1493 0 -1 4194304 1100 0 0 0 626 3 0 0 25 0 1 0 120817076 6914048 1066 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2209/statm: 1688 1066 312 324 0 757 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6752

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2210
/proc/meminfo: memFree=1845576/2055920 swapFree=4170260/4192956
[pid=2209] ppid=2207 vsize=7012 CPUtime=12.69
/proc/2209/stat : 2209 (bsolo3.0.16) R 2207 2209 1493 0 -1 4194304 1168 0 0 0 1264 5 0 0 25 0 1 0 120817076 7180288 1134 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2209/statm: 1753 1134 312 324 0 822 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 7012

[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2210
/proc/meminfo: memFree=1845640/2055920 swapFree=4170260/4192956
[pid=2209] ppid=2207 vsize=6988 CPUtime=25.48
/proc/2209/stat : 2209 (bsolo3.0.16) R 2207 2209 1493 0 -1 4194304 1168 0 0 0 2539 9 0 0 25 0 1 0 120817076 7155712 1134 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2209/statm: 1747 1134 312 324 0 816 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 6988

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 2210
/proc/meminfo: memFree=1845512/2055920 swapFree=4170260/4192956
[pid=2209] ppid=2207 vsize=7200 CPUtime=51.07
/proc/2209/stat : 2209 (bsolo3.0.16) R 2207 2209 1493 0 -1 4194304 1215 0 0 0 5089 18 0 0 25 0 1 0 120817076 7372800 1181 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2209/statm: 1800 1181 312 324 0 869 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 7200

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2210
/proc/meminfo: memFree=1844680/2055920 swapFree=4170260/4192956
[pid=2209] ppid=2207 vsize=8092 CPUtime=102.26
/proc/2209/stat : 2209 (bsolo3.0.16) R 2207 2209 1493 0 -1 4194304 1432 0 0 0 10193 33 0 0 25 0 1 0 120817076 8286208 1398 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2209/statm: 2023 1398 312 324 0 1092 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 8092

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2210
/proc/meminfo: memFree=1844552/2055920 swapFree=4170260/4192956
[pid=2209] ppid=2207 vsize=8092 CPUtime=162.24
/proc/2209/stat : 2209 (bsolo3.0.16) R 2207 2209 1493 0 -1 4194304 1432 0 0 0 16175 49 0 0 25 0 1 0 120817076 8286208 1398 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2209/statm: 2023 1398 312 324 0 1092 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 8092

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2210
/proc/meminfo: memFree=1843720/2055920 swapFree=4170260/4192956
[pid=2209] ppid=2207 vsize=8832 CPUtime=222.24
/proc/2209/stat : 2209 (bsolo3.0.16) R 2207 2209 1493 0 -1 4194304 1629 0 0 0 22157 67 0 0 25 0 1 0 120817076 9043968 1595 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2209/statm: 2208 1595 312 324 0 1277 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 8832

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2210
/proc/meminfo: memFree=1843464/2055920 swapFree=4170260/4192956
[pid=2209] ppid=2207 vsize=9216 CPUtime=282.22
/proc/2209/stat : 2209 (bsolo3.0.16) R 2207 2209 1493 0 -1 4194304 1710 0 0 0 28139 83 0 0 25 0 1 0 120817076 9437184 1676 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2209/statm: 2304 1676 312 324 0 1373 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 9216

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2210
/proc/meminfo: memFree=1843336/2055920 swapFree=4170260/4192956
[pid=2209] ppid=2207 vsize=9324 CPUtime=342.2
/proc/2209/stat : 2209 (bsolo3.0.16) R 2207 2209 1493 0 -1 4194304 1741 0 0 0 34124 96 0 0 25 0 1 0 120817076 9547776 1707 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2209/statm: 2331 1707 312 324 0 1400 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 9324

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2210
/proc/meminfo: memFree=1842760/2055920 swapFree=4170260/4192956
[pid=2209] ppid=2207 vsize=9844 CPUtime=402.19
/proc/2209/stat : 2209 (bsolo3.0.16) R 2207 2209 1493 0 -1 4194304 1871 0 0 0 40109 110 0 0 25 0 1 0 120817076 10080256 1837 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2209/statm: 2461 1837 312 324 0 1530 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 9844

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2210
/proc/meminfo: memFree=1842760/2055920 swapFree=4170260/4192956
[pid=2209] ppid=2207 vsize=9844 CPUtime=462.18
/proc/2209/stat : 2209 (bsolo3.0.16) R 2207 2209 1493 0 -1 4194304 1871 0 0 0 46096 122 0 0 25 0 1 0 120817076 10080256 1837 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2209/statm: 2461 1837 312 324 0 1530 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 9844

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2210
/proc/meminfo: memFree=1842632/2055920 swapFree=4170260/4192956
[pid=2209] ppid=2207 vsize=9928 CPUtime=522.15
/proc/2209/stat : 2209 (bsolo3.0.16) R 2207 2209 1493 0 -1 4194304 1890 0 0 0 52081 134 0 0 25 0 1 0 120817076 10166272 1856 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2209/statm: 2482 1856 312 324 0 1551 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 9928

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2210
/proc/meminfo: memFree=1842120/2055920 swapFree=4170260/4192956
[pid=2209] ppid=2207 vsize=10316 CPUtime=582.14
/proc/2209/stat : 2209 (bsolo3.0.16) R 2207 2209 1493 0 -1 4194304 2003 0 0 0 58070 144 0 0 25 0 1 0 120817076 10563584 1969 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2209/statm: 2579 1969 312 324 0 1648 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 10316

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2210
/proc/meminfo: memFree=1841992/2055920 swapFree=4170260/4192956
[pid=2209] ppid=2207 vsize=10492 CPUtime=642.14
/proc/2209/stat : 2209 (bsolo3.0.16) R 2207 2209 1493 0 -1 4194304 2034 0 0 0 64060 154 0 0 25 0 1 0 120817076 10743808 2000 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2209/statm: 2623 2000 312 324 0 1692 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 10492


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

/proc/meminfo: memFree=1841096/2055920 swapFree=4170260/4192956
[pid=2209] ppid=2207 vsize=11164 CPUtime=1122.01
/proc/2209/stat : 2209 (bsolo3.0.16) R 2207 2209 1493 0 -1 4194304 2209 0 0 0 111956 245 0 0 25 0 1 0 120817076 11431936 2175 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 13024708 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2209/statm: 2791 2175 312 324 0 1860 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 11164

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2210
/proc/meminfo: memFree=1841032/2055920 swapFree=4170260/4192956
[pid=2209] ppid=2207 vsize=11164 CPUtime=1182
/proc/2209/stat : 2209 (bsolo3.0.16) R 2207 2209 1493 0 -1 4194304 2209 0 0 0 117945 255 0 0 25 0 1 0 120817076 11431936 2175 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551026 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2209/statm: 2791 2175 312 324 0 1860 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 11164

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2210
/proc/meminfo: memFree=1840968/2055920 swapFree=4170260/4192956
[pid=2209] ppid=2207 vsize=11164 CPUtime=1241.98
/proc/2209/stat : 2209 (bsolo3.0.16) R 2207 2209 1493 0 -1 4194304 2219 0 0 0 123930 268 0 0 25 0 1 0 120817076 11431936 2185 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2209/statm: 2791 2185 312 324 0 1860 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 11164

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2210
/proc/meminfo: memFree=1840968/2055920 swapFree=4170260/4192956
[pid=2209] ppid=2207 vsize=11164 CPUtime=1301.98
/proc/2209/stat : 2209 (bsolo3.0.16) R 2207 2209 1493 0 -1 4194304 2219 0 0 0 129921 277 0 0 25 0 1 0 120817076 11431936 2185 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2209/statm: 2791 2185 312 324 0 1860 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 11164

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2210
/proc/meminfo: memFree=1840520/2055920 swapFree=4170260/4192956
[pid=2209] ppid=2207 vsize=11640 CPUtime=1361.95
/proc/2209/stat : 2209 (bsolo3.0.16) R 2207 2209 1493 0 -1 4194304 2329 0 0 0 135909 286 0 0 25 0 1 0 120817076 11919360 2295 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2209/statm: 2910 2295 312 324 0 1979 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 11640

[startup+1422.31 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 2210
/proc/meminfo: memFree=1840328/2055920 swapFree=4170260/4192956
[pid=2209] ppid=2207 vsize=11844 CPUtime=1421.94
/proc/2209/stat : 2209 (bsolo3.0.16) R 2207 2209 1493 0 -1 4194304 2379 0 0 0 141897 297 0 0 25 0 1 0 120817076 12128256 2345 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 13025005 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2209/statm: 2961 2345 312 324 0 2030 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 11844

[startup+1482.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 2210
/proc/meminfo: memFree=1840264/2055920 swapFree=4170260/4192956
[pid=2209] ppid=2207 vsize=11816 CPUtime=1481.92
/proc/2209/stat : 2209 (bsolo3.0.16) R 2207 2209 1493 0 -1 4194304 2387 0 0 0 147879 313 0 0 25 0 1 0 120817076 12099584 2348 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2209/statm: 2954 2348 312 324 0 2023 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 11816

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2210
/proc/meminfo: memFree=1840392/2055920 swapFree=4170260/4192956
[pid=2209] ppid=2207 vsize=11568 CPUtime=1541.91
/proc/2209/stat : 2209 (bsolo3.0.16) R 2207 2209 1493 0 -1 4194304 2387 0 0 0 153862 329 0 0 25 0 1 0 120817076 11845632 2286 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2209/statm: 2892 2286 312 324 0 1961 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 11568

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2210
/proc/meminfo: memFree=1840392/2055920 swapFree=4170260/4192956
[pid=2209] ppid=2207 vsize=11560 CPUtime=1601.9
/proc/2209/stat : 2209 (bsolo3.0.16) R 2207 2209 1493 0 -1 4194304 2387 0 0 0 159844 346 0 0 25 0 1 0 120817076 11837440 2284 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2209/statm: 2890 2284 312 324 0 1959 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 11560

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2212
/proc/meminfo: memFree=1840456/2055920 swapFree=4170260/4192956
[pid=2209] ppid=2207 vsize=11552 CPUtime=1661.88
/proc/2209/stat : 2209 (bsolo3.0.16) R 2207 2209 1493 0 -1 4194304 2387 0 0 0 165827 361 0 0 25 0 1 0 120817076 11829248 2282 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2209/statm: 2888 2282 312 324 0 1957 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 11552

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2212
/proc/meminfo: memFree=1840456/2055920 swapFree=4170260/4192956
[pid=2209] ppid=2207 vsize=11552 CPUtime=1721.87
/proc/2209/stat : 2209 (bsolo3.0.16) R 2207 2209 1493 0 -1 4194304 2387 0 0 0 171811 376 0 0 25 0 1 0 120817076 11829248 2282 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2209/statm: 2888 2282 312 324 0 1957 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 11552

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2212
/proc/meminfo: memFree=1840456/2055920 swapFree=4170260/4192956
[pid=2209] ppid=2207 vsize=11552 CPUtime=1781.85
/proc/2209/stat : 2209 (bsolo3.0.16) R 2207 2209 1493 0 -1 4194304 2387 0 0 0 177797 388 0 0 25 0 1 0 120817076 11829248 2282 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546310 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2209/statm: 2888 2282 312 324 0 1957 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 11552

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2212
/proc/meminfo: memFree=1840456/2055920 swapFree=4170260/4192956
[pid=2209] ppid=2207 vsize=11552 CPUtime=1791.45
/proc/2209/stat : 2209 (bsolo3.0.16) R 2207 2209 1493 0 -1 4194304 2387 0 0 0 178756 389 0 0 25 0 1 0 120817076 11829248 2282 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2209/statm: 2888 2282 312 324 0 1957 0
Current children cumulated CPU time (s) 1791.45
Current children cumulated vsize (KiB) 11552

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2212
/proc/meminfo: memFree=1840456/2055920 swapFree=4170260/4192956
[pid=2209] ppid=2207 vsize=11552 CPUtime=1794.65
/proc/2209/stat : 2209 (bsolo3.0.16) R 2207 2209 1493 0 -1 4194304 2387 0 0 0 179075 390 0 0 25 0 1 0 120817076 11829248 2282 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2209/statm: 2888 2282 312 324 0 1957 0
Current children cumulated CPU time (s) 1794.65
Current children cumulated vsize (KiB) 11552

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2212
/proc/meminfo: memFree=1840456/2055920 swapFree=4170260/4192956
[pid=2209] ppid=2207 vsize=11552 CPUtime=1797.85
/proc/2209/stat : 2209 (bsolo3.0.16) R 2207 2209 1493 0 -1 4194304 2387 0 0 0 179394 391 0 0 25 0 1 0 120817076 11829248 2282 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2209/statm: 2888 2282 312 324 0 1957 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 11552

[startup+1799.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2212
/proc/meminfo: memFree=1840456/2055920 swapFree=4170260/4192956
[pid=2209] ppid=2207 vsize=11552 CPUtime=1798.65
/proc/2209/stat : 2209 (bsolo3.0.16) R 2207 2209 1493 0 -1 4194304 2387 0 0 0 179474 391 0 0 25 0 1 0 120817076 11829248 2282 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2209/statm: 2888 2282 312 324 0 1957 0
Current children cumulated CPU time (s) 1798.65
Current children cumulated vsize (KiB) 11552

[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2212
/proc/meminfo: memFree=1840456/2055920 swapFree=4170260/4192956
[pid=2209] ppid=2207 vsize=11552 CPUtime=1799.45
/proc/2209/stat : 2209 (bsolo3.0.16) R 2207 2209 1493 0 -1 4194304 2387 0 0 0 179554 391 0 0 25 0 1 0 120817076 11829248 2282 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2209/statm: 2888 2282 312 324 0 1957 0
Current children cumulated CPU time (s) 1799.45
Current children cumulated vsize (KiB) 11552

[startup+1800.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2212
/proc/meminfo: memFree=1840456/2055920 swapFree=4170260/4192956
[pid=2209] ppid=2207 vsize=11552 CPUtime=1799.85
/proc/2209/stat : 2209 (bsolo3.0.16) R 2207 2209 1493 0 -1 4194304 2387 0 0 0 179594 391 0 0 25 0 1 0 120817076 11829248 2282 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2209/statm: 2888 2282 312 324 0 1957 0
Current children cumulated CPU time (s) 1799.85
Current children cumulated vsize (KiB) 11552

[startup+1800.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2212
/proc/meminfo: memFree=1840456/2055920 swapFree=4170260/4192956
[pid=2209] ppid=2207 vsize=11552 CPUtime=1799.95
/proc/2209/stat : 2209 (bsolo3.0.16) R 2207 2209 1493 0 -1 4194304 2387 0 0 0 179604 391 0 0 25 0 1 0 120817076 11829248 2282 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2209/statm: 2888 2282 312 324 0 1957 0
Current children cumulated CPU time (s) 1799.95
Current children cumulated vsize (KiB) 11552

Child status: 0
Real time (s): 1800.45
CPU time (s): 1800.01
CPU user time (s): 1796.09
CPU system time (s): 3.9144
CPU usage (%): 99.9753
Max. virtual memory (cumulated for all children) (KiB): 11844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.09
system time used= 3.9144
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2388
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= 11
involuntary context switches= 2848

runsolver used 2.18867 second user time and 4.27135 second system time

The end

Launcher Data (download as text)

Begin job on node26 on Mon Apr 16 13:10:03 UTC 2007

IDJOB= 354856
IDBENCH= 2910
IDSOLVER= 163
FILE ID= node26/354856-1176729003

PBS_JOBID= 4559503

Free space on /tmp= 66520 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_3.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354856-1176729003/instance-354856-1176729003.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node26/watcher-354856-1176729003 -o ROOT/results/node26/solver-354856-1176729003 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354856-1176729003/instance-354856-1176729003.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  8d16c34d0eecf3c16ca4b890652c15ca

RANDOM SEED= 180239034

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

/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.213
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.213
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:       1849640 kB
Buffers:         22096 kB
Cached:         107392 kB
SwapCached:       3384 kB
Active:          91608 kB
Inactive:        61776 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1849640 kB
SwapTotal:     4192956 kB
SwapFree:      4170260 kB
Dirty:            4388 kB
Writeback:           0 kB
Mapped:          31320 kB
Slab:            38528 kB
Committed_AS:   949212 kB
PageTables:       1720 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66520 MiB

End job on node26 on Mon Apr 16 13:40:03 UTC 2007