Trace number 1877192

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.1SAT10 1798 1798.53

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 benchmark5
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7
Optimality of the best value was proved NO
Number of variables146
Total number of constraints12
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints12
Minimum length of a constraint64
Maximum length of a constraint66
Number of terms in the objective function 96
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3060
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1270
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4321
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c bsolo beta version 3.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-1877192-1245175785.opb
0.00/0.00	c File size is 7734 bytes.
0.00/0.00	c Highest Coefficient sum: 4321
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 146 Constr: 12 0/0/12 Lit: 784 Watch. Lit: 220
0.00/0.00	c Obj. Vars: 96 (65.7534 % of total variables)
0.00/0.00	c Pre-processing Time: 0.001 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    146       12      784   65      226    1568      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 1114
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 950
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       34    146       51     3461   67      741    1760     39   3400 0.01
0.00/0.01	o 452
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c       59    146       77     5103   66      818    1760     65   4538 0.01
0.00/0.02	o 400
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      113    146      132     7341   55     1009    1760    120   4913 0.02
0.00/0.03	o 293
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      159    146      179     9345   52     1165    1760    167   4676 0.03
0.00/0.04	o 292
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c      211    146      233    12011   51     1326    1760    221   4586 0.05
0.00/0.06	o 291
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c      284    146      307    14710   47     1583    1760    295   4655 0.06
0.09/0.15	c      384    146      414    20187   48     1844    1937    402   4571 0.08
0.09/0.15	c      634    146      669    32174   48     2378    2131    657   4255 0.15
0.09/0.15	o 283
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c      653    146      689    33036   47     2467    1760    677   4212 0.15
0.09/0.16	o 281
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c      677    146      714    34026   47     2589    1760    702   4179 0.16
0.09/0.16	o 279
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c      690    146      729    34802   47     2702    1760    717   4181 0.17
0.19/0.23	c      790    146      831    39089   47     2990    1937    819   4136 0.19
0.19/0.23	o 271
0.19/0.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.26	c      940    146      984    45641   46     3360    1760    972   4069 0.23
0.19/0.26	c     1041    146     1086    49141   45     3560    1937   1074   4066 0.26
0.19/0.26	o 265
0.29/0.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.31	c     1050    146     1097    49873   45     3678    1760   1085   4054 0.26
0.29/0.31	c     1150    146     1203    55466   46     3984    1937   1191   4006 0.29
0.29/0.31	o 260
0.29/0.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.32	c     1277    146     1331    59496   44     4269    1760   1319   4028 0.32
0.29/0.32	o 258
0.29/0.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.35	c     1306    146     1361    60837   44     4408    1760   1349   4006 0.33
0.29/0.35	o 256
0.39/0.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.47	c     1385    146     1442    64768   44     4696    1760   1430   3945 0.35
0.39/0.47	c     1485    146     1546    69456   44     4942    1937   1534   3887 0.38
0.39/0.47	c     1735    146     1799    78021   43     5445    2131   1787   3855 0.45
0.39/0.47	o 253
0.39/0.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.48	c     1783    146     1852    80971   43     5694    1760   1840   3809 0.47
0.39/0.48	o 250
0.39/0.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.48	c     1830    146      941    39148   41     2582    1760    929   3804 0.48
0.39/0.48	o 243
0.49/0.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.52	c     1839    146      951    39589   41     2687    1760    939   3799 0.48
0.49/0.52	c     1939    146     1055    46052   43     2941    1937   1043   3801 0.51
0.49/0.52	o 241
0.49/0.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.54	c     1990    146     1107    48019   43     3131    1760   1095   3797 0.52
0.49/0.54	o 230
0.49/0.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.56	c     2088    146     1206    51476   42     3394    1760   1194   3817 0.55
0.49/0.56	o 226
0.49/0.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.56	c     2126    146     1245    53335   42     3589    1760   1233   3796 0.56
0.49/0.56	o 220
0.59/0.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.65	c     2134    146     1254    53853   42     3706    1760   1242   3790 0.56
0.59/0.65	c     2236    146     1358    57960   42     3912    1937   1346   3770 0.59
0.59/0.65	o 213
0.59/0.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.65	c     2438    146     1563    65880   42     4404    1760   1551   3739 0.65
0.59/0.65	o 211
0.59/0.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.65	c     2439    146     1565    66055   42     4499    1760   1553   3735 0.65
0.59/0.65	o 209
0.59/0.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.65	c     2446    146     1573    66391   42     4605    1760   1561   3728 0.66
0.59/0.65	o 205
0.59/0.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.66	c     2451    146     1579    66735   42     4701    1760   1567   3730 0.66
0.59/0.66	o 203
0.59/0.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.66	c     2457    146     1586    67068   42     4808    1760   1574   3728 0.66
0.59/0.66	o 201
0.59/0.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.68	c     2466    146     1597    67798   42     4943    1760   1585   3719 0.66
0.59/0.68	o 199
0.59/0.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.69	c     2509    146     1642    69874   42     5129    1760   1630   3695 0.68
0.59/0.69	o 181
0.59/0.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.69	c     2561    146     1697    71680   42     5327    1760   1685   3684 0.69
0.59/0.69	o 177
0.59/0.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.69	c     2561    146     1698    71776   42     5419    1760   1686   3679 0.70
0.59/0.69	o 173
0.69/0.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.76	c     2564    146     1702    72121   42     5521    1760   1690   3678 0.70
0.69/0.76	c     2664    146      893    39564   44     2419    1937    881   3619 0.74
0.69/0.76	o 140
0.69/0.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.78	c     2783    146     1013    43434   42     2753    1760   1001   3652 0.76
0.69/0.78	o 134
0.69/0.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.78	c     2860    146     1091    45759   41     3003    1760   1079   3676 0.78
0.69/0.78	o 132
0.79/0.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.82	c     2870    146     1102    46458   42     3119    1760   1090   3674 0.78
0.79/0.82	c     2970    146     1204    50586   42     3337    1937   1192   3680 0.81
0.79/0.82	o 123
0.79/0.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.84	c     3016    146     1252    52282   41     3530    1760   1240   3673 0.82
0.79/0.84	o 109
0.79/0.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.84	c     3093    145     1331    55427   41     3780    1758   1319   3677 0.84
0.79/0.84	o 101
0.99/1.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.05	c     3112    145     1351    56114   41     3907    1758   1339   3678 0.85
0.99/1.05	c     3212    144     1452    60202   41     4112    1934   1440   3679 0.87
0.99/1.05	c     3462    142     1703    69708   40     4616    2128   1691   3644 0.95
0.99/1.05	o 83
1.39/1.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.46	c     3801    142     2048    83187   40     5441    1752   2036   3606 1.05
1.39/1.46	c     3901    140      994    37419   37     2568    1928    982   3615 1.08
1.39/1.46	c     4151    139     1246    45692   36     3078    2121   1234   3634 1.14
1.39/1.46	c     4626    138     1722    59870   34     4031    2334   1710   3697 1.25
1.39/1.46	o 64
1.39/1.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.46	c     5426    135     1323    41626   31     3272    1738   1311   3706 1.46
1.39/1.46	o 62
1.39/1.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.47	c     5427    135     1325    41782   31     3358    1738   1313   3706 1.46
1.39/1.47	o 60
2.10/2.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.10/2.15	c     5460    135     1360    43793   32     3511    1738   1348   3706 1.47
2.10/2.15	c     5560    129     1461    48065   32     3710    1912   1449   3704 1.50
2.10/2.15	c     5810    127     1711    58066   33     4209    2104   1699   3717 1.56
2.10/2.15	c     6285    126     1098    41149   37     2722    2315   1086   3707 1.70
2.10/2.15	c     7099    126     1912    69610   36     4353    2547   1900   3736 1.90
2.10/2.15	o 59
2.49/2.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.49/2.50	c     7951    123     1453    49436   34     3509    1714   1441   3698 2.15
2.49/2.50	c     8051    123     1553    53043   34     3704    1886   1541   3694 2.18
2.49/2.50	c     8301    123     1803    61615   34     4199    2075   1791   3684 2.25
2.49/2.50	c     8776    123     1204    41670   34     2923    2283   1192   3671 2.39
2.49/2.50	o 58
2.49/2.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.49/2.51	c     9223    123     1652    58064   35     3891    1714   1640   3686 2.50
2.49/2.51	o 54
3.58/3.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.58/3.63	c     9260    123     1690    59919   35     4040    1714   1678   3687 2.51
3.58/3.63	c     9361    123      908    32385   35     2331    1886    896   3681 2.54
3.58/3.63	c     9611    123     1160    40647   35     2832    2075   1148   3686 2.61
3.58/3.63	c    10086    123     1635    58610   35     3788    2283   1623   3704 2.72
3.58/3.63	c    10899    123     1272    45937   36     3060    2512   1260   3702 2.94
3.58/3.63	c    12219    122     1293    45523   35     3098    2764   1281   3710 3.29
3.58/3.63	o 53
3.99/4.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.99/4.03	c    13490    122     2565    90948   35     5716    1712   2553   3715 3.63
3.99/4.03	c    13591    122      999    34646   34     2512    1884    987   3703 3.67
3.99/4.03	c    13841    122     1254    43373   34     3020    2073   1242   3705 3.73
3.99/4.03	c    14316    122     1729    60818   35     3970    2281   1717   3701 3.87
3.99/4.03	o 47
3.99/4.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.99/4.04	c    14862    122     2280    80705   35     5149    1712   2268   3689 4.03
3.99/4.04	o 43
3.99/4.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.99/4.09	c    14864    122      896    31468   35     2372    1712    884   3679 4.04
3.99/4.09	c    14964    122      999    37212   37     2589    1884    987   3682 4.06
3.99/4.09	o 41
10.29/10.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.29/10.34	c    15104    122     1140    41972   36     2937    1712   1128   3687 4.10
10.29/10.34	c    15204    122     1241    47386   38     3148    1884   1229   3691 4.12
10.29/10.34	c    15455    122     1494    56374   37     3669    2073   1482   3693 4.18
10.29/10.34	c    15930    122     1969    73055   37     4624    2281   1957   3699 4.31
10.29/10.34	c    16743    122     1599    55303   34     3711    2510   1587   3709 4.51
10.29/10.34	c    18063    122     1639    58544   35     3791    2762   1627   3729 4.84
10.29/10.34	c    20144    122     2295    82533   35     5099    3039   2283   3763 5.35
10.29/10.34	c    23368    122     2411    82931   34     5334    3343   2399   3735 6.25
10.29/10.34	c    28307    122     2230    79682   35     4970    3678   2218   3683 7.68
10.29/10.34	c    35813    122     2239    77216   34     4990    4046   2227   3626 9.88
10.29/10.34	o 40
10.29/10.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.29/10.39	c    37327    122     3754   129228   34     8092    1712   3742   3611 10.34
10.29/10.39	o 38
34.18/34.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
34.18/34.25	c    37396    122      970    33463   34     2565    1712    958   3598 10.39
34.18/34.25	c    37496    122     1071    36975   34     2768    1884   1059   3599 10.42
34.18/34.25	c    37746    122     1322    45191   34     3273    2073   1310   3603 10.48
34.18/34.25	c    38221    122     1797    60594   33     4222    2281   1785   3605 10.60
34.18/34.25	c    39035    122     1443    47389   32     3401    2510   1431   3608 10.82
34.18/34.25	c    40355    122     1473    49490   33     3462    2762   1461   3609 11.18
34.18/34.25	c    42437    122     2140    74705   34     4793    3039   2128   3612 11.75
34.18/34.25	c    45660    122     2247    78594   34     5010    3343   2235   3603 12.67
34.18/34.25	c    50596    122     2060    78259   37     4626    3678   2048   3606 14.03
34.18/34.25	c    58102    122     2050    75374   36     4611    4046   2038   3605 16.11
34.18/34.25	c    69463    122     3124   115615   37     6763    4451   3112   3581 19.39
34.18/34.25	c    86607    122     4440   160307   36     9393    4897   4428   3526 24.56
34.18/34.25	c   112426    122     2938   107807   36     6382    5387   2926   3491 32.20
34.18/34.25	o 32
34.28/34.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
34.28/34.35	c   118786    122     3829   131582   34     8243    1712   3817   3469 34.24
34.28/34.35	c   118887    111      994    32528   32     2486    1884    982   3465 34.30
34.28/34.35	o 30
44.37/44.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
44.37/44.47	c   119010    111     1118    37746   33     2800    1690   1106   3466 34.34
44.37/44.47	c   119110    110     1218    41533   34     3000    1860   1206   3466 34.36
44.37/44.47	c   119360    110     1468    51629   35     3504    2047   1456   3466 34.43
44.37/44.47	c   119835    110     1943    70141   36     4444    2252   1931   3467 34.56
44.37/44.47	c   120648    110     1594    62076   38     3683    2478   1582   3468 34.78
44.37/44.47	c   121968    110     1637    64310   39     3761    2726   1625   3470 35.14
44.37/44.47	c   124049    110     2318    89879   38     5115    2999   2306   3473 35.71
44.37/44.47	c   127272    110     2478   100670   40     5460    3299   2466   3478 36.59
44.37/44.47	c   132208    110     2358    96929   41     5202    3629   2346   3483 37.95
44.37/44.47	c   139715    110     2466   101261   41     5427    3992   2454   3486 40.07
44.37/44.47	c   151078    110     3670   152543   41     7837    4392   3658   3477 43.45
44.37/44.47	o 28
44.37/44.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
44.37/44.48	c   154203    110     2321    96326   41     5193    1688   2309   3468 44.45
44.37/44.48	o 26
55.37/55.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
55.37/55.47	c   154223    110      915    37651   41     2378    1688    903   3468 44.47
55.37/55.47	c   154324    110     1016    41618   40     2579    1857   1004   3468 44.49
55.37/55.47	c   154574    110     1266    51374   40     3071    2043   1254   3470 44.54
55.37/55.47	c   155050    110     1742    69647   39     4022    2248   1730   3472 44.65
55.37/55.47	c   155865    110     1395    52923   37     3277    2473   1383   3475 44.85
55.37/55.47	c   157186    110     1454    54551   37     3389    2721   1442   3479 45.17
55.37/55.47	c   159268    110     2142    87169   40     4775    2994   2130   3485 45.69
55.37/55.47	c   162491    110     2297    94909   41     5082    3294   2285   3491 46.54
55.37/55.47	c   167427    110     2180    87566   40     4850    3624   2168   3493 47.92
55.37/55.47	c   174933    110     2296    91476   39     5088    3987   2284   3487 50.16
55.37/55.47	c   186294    110     3534   143382   40     7561    4386   3522   3464 53.77
55.37/55.47	o 25
70.67/70.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
70.67/70.72	c   191594    110     4377   178540   40     9302    1688   4365   3455 55.45
70.67/70.72	c   191694    110      994    39725   39     2478    1857    982   3453 55.51
70.67/70.72	c   191944    110     1244    49389   39     2971    2043   1232   3453 55.58
70.67/70.72	c   192419    110     1719    68772   40     3923    2248   1707   3454 55.70
70.67/70.72	c   193233    110     1367    53994   39     3225    2473   1355   3454 55.94
70.67/70.72	c   194553    110     1422    56786   39     3336    2721   1410   3455 56.31
70.67/70.72	c   196634    110     2108    85638   40     4702    2994   2096   3457 56.87
70.67/70.72	c   199857    110     2258    90272   39     4997    3294   2246   3459 57.77
70.67/70.72	c   204793    110     2138    86833   40     4767    3624   2126   3462 59.14
70.67/70.72	c   212299    110     2252    92180   40     4992    3987   2240   3461 61.33
70.67/70.72	c   223661    110     3462   136202   39     7407    4386   3450   3455 64.73
70.67/70.72	c   240805    110     2793   115688   41     6068    4825   2781   3428 70.23
70.67/70.72	o 24
107.16/107.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
107.16/107.21	c   242192    110     4183   173226   41     8913    1688   4171   3425 70.70
107.16/107.21	c   242292    110      995    40132   40     2474    1857    983   3424 70.75
107.16/107.21	c   242542    110     1246    50052   40     2978    2043   1234   3424 70.82
107.16/107.21	c   243017    110     1721    68784   39     3923    2248   1709   3425 70.93
107.16/107.21	c   243830    110     1373    53879   39     3234    2473   1361   3426 71.16
107.16/107.21	c   245150    110     1417    56069   39     3328    2721   1405   3427 71.53
107.16/107.21	c   247232    110     2106    81282   38     4701    2994   2094   3428 72.11
107.16/107.21	c   250455    110     2271    89963   39     5025    3294   2259   3430 73.02
107.16/107.21	c   255391    110     2147    81905   38     4780    3624   2135   3431 74.43
107.16/107.21	c   262898    110     2260    88481   39     5012    3987   2248   3428 76.67
107.16/107.21	c   274259    110     3474   143444   41     7437    4386   3462   3426 80.05
107.16/107.21	c   291403    110     2775   112974   40     6026    4825   2763   3423 85.12
107.16/107.21	c   317222    110     4111   164901   40     8712    5308   4099   3401 93.26
107.16/107.21	c   356056    110     5299   218354   41    11086    5839   5287   3337 106.68
107.16/107.21	o 18
143.15/143.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
143.15/143.22	c   357498    110     3781   151543   40     8115    1688   3769   3335 107.17
143.15/143.22	c   357598    110      993    37925   38     2472    1857    981   3335 107.22
143.15/143.22	c   357848    110     1243    47099   37     2966    2043   1231   3335 107.27
143.15/143.22	c   358323    110     1718    65060   37     3918    2248   1706   3337 107.37
143.15/143.22	c   359137    110     1371    49584   36     3226    2473   1359   3339 107.54
143.15/143.22	c   360457    110     1418    52728   37     3318    2721   1406   3342 107.83
143.15/143.22	c   362538    110     2101    82381   39     4692    2994   2089   3347 108.31
143.15/143.22	c   365762    110     2258    88298   39     5007    3294   2246   3349 109.19
143.15/143.22	c   370699    110     2143    81864   38     4767    3624   2131   3351 110.61
143.15/143.22	c   378205    110     2261    82414   36     5013    3987   2249   3352 112.80
143.15/143.22	c   389566    110     3498   128774   36     7474    4386   3486   3348 116.34
143.15/143.22	c   406710    110     2789   106594   38     6074    4825   2777   3343 121.66
143.15/143.22	c   432529    110     4134   160315   38     8758    5308   4122   3313 130.52
143.15/143.22	o 17
420.67/420.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
420.67/420.89	c   470054    110     3993   158269   39     8537    1688   3981   3282 143.18
420.67/420.89	c   470154    110      993    37835   38     2474    1857    981   3282 143.24
420.67/420.89	c   470404    110     1243    47509   38     2982    2043   1231   3282 143.30
420.67/420.89	c   470880    110     1719    65775   38     3930    2248   1707   3283 143.42
420.67/420.89	c   471693    110     1363    51500   37     3222    2473   1351   3284 143.63
420.67/420.89	c   473013    110     1425    54633   38     3340    2721   1413   3285 143.97
420.67/420.89	c   475094    110     2107    80462   38     4702    2994   2095   3287 144.51
420.67/420.89	c   478317    110     2265    88801   39     5016    3294   2253   3289 145.39
420.67/420.89	c   483254    110     2163    83108   38     4813    3624   2151   3291 146.84
420.67/420.89	c   490761    110     2275    89306   39     5042    3987   2263   3291 149.10
420.67/420.89	c   502123    110     3489   138672   39     7465    4386   3477   3290 152.61
420.67/420.89	c   519267    110     2850   112782   39     6203    4825   2838   3288 157.89
420.67/420.89	c   545086    110     4229   165896   39     8946    5308   4217   3286 165.87
420.67/420.89	c   583919    110     2750   107120   38     5988    5839   2738   3261 179.03
420.67/420.89	c   642271    110     4995   196010   39    10472    6423   4983   3218 199.58
420.67/420.89	c   729903    110     4960   194354   39    10406    7066   4948   3150 231.69
420.67/420.89	c   861456    110     4542   178384   39     9574    7773   4530   3049 282.51
420.67/420.89	c  1058888    110     5946   236773   39    12393    8551   5934   2899 365.14
420.67/420.89	o 14
1207.14/1207.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1207.14/1207.57	c  1185175    110     7268   285723   39    15102    1688   7256   2816 420.77
1207.14/1207.57	c  1185275    105      993    38393   38     2464    1857    981   2816 420.90
1207.14/1207.57	c  1185525    101     1243    48064   38     2964    2043   1231   2816 420.96
1207.14/1207.57	c  1186000    101     1718    66791   38     3910    2248   1706   2816 421.07
1207.14/1207.57	c  1186813     99     1365    52506   38     3202    2473   1353   2817 421.28
1207.14/1207.57	c  1188134     99     1416    55573   39     3303    2721   1404   2818 421.62
1207.14/1207.57	c  1190215     98     2099    81446   38     4661    2994   2087   2819 422.12
1207.14/1207.57	c  1193438     98     2258    88222   39     4990    3294   2246   2821 422.93
1207.14/1207.57	c  1198375     98     2169    84671   39     4809    3624   2157   2825 424.18
1207.14/1207.57	c  1205881     98     2275    90796   39     5020    3987   2263   2828 426.32
1207.14/1207.57	c  1217243     98     3500   141167   40     7471    4386   3488   2833 429.58
1207.14/1207.57	c  1234387     98     2855   113531   39     6182    4825   2843   2837 435.04
1207.14/1207.57	c  1260206     98     4203   160143   38     8877    5308   4191   2847 442.61
1207.14/1207.57	c  1299039     98     2715   110559   40     5900    5839   2703   2850 455.65
1207.14/1207.57	c  1357391     98     4937   199581   40    10345    6423   4925   2844 477.23
1207.14/1207.57	c  1445023     98     4925   197143   40    10317    7066   4913   2838 509.14
1207.14/1207.57	c  1576577     98     4505   180010   39     9474    7773   4493   2810 560.96
1207.14/1207.57	c  1774009     98     5945   241162   40    12355    8551   5933   2737 647.95
1207.14/1207.57	c  2070261     98     4959   197892   39    10387    9407   4947   2610 793.17
1207.14/1207.57	c  2514743     98     8939   368993   41    18352   10348   8927   2487 1011.07
1207.14/1207.57	o 11
1535.34/1535.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1535.34/1535.87	c  2877552     98     7169   294454   41    14857    1664   7157   2383 1207.22
1535.34/1535.87	c  2877652     98      993    39947   40     2442    1831    981   2383 1207.35
1535.34/1535.87	c  2877902     98     1243    49528   39     2941    2015   1231   2383 1207.41
1535.34/1535.87	c  2878379     98     1720    68376   39     3900    2217   1708   2383 1207.52
1535.34/1535.87	c  2879193     98     1386    52612   37     3227    2439   1374   2383 1207.72
1535.34/1535.87	c  2880514     98     1450    54812   37     3353    2683   1438   2384 1208.05
1535.34/1535.87	c  2882595     98     2148    80737   37     4752    2952   2136   2385 1208.59
1535.34/1535.87	c  2885818     98     2343    91339   38     5142    3248   2331   2385 1209.51
1535.34/1535.87	c  2890754     98     2310    89486   38     5078    3573   2298   2387 1210.86
1535.34/1535.87	c  2898260     98     2551    98695   38     5561    3931   2539   2389 1213.03
1535.34/1535.87	c  2909621     98     3929   149057   37     8312    4325   3917   2392 1216.33
1535.34/1535.87	c  2926765     98     3512   137135   39     7481    4758   3500   2396 1221.18
1535.34/1535.87	c  2952584     98     2806   107370   38     6054    5234   2794   2401 1229.25
1535.34/1535.87	c  2991416     98     4540   182007   40     9545    5758   4528   2409 1241.73
1535.34/1535.87	c  3049768     98     4630   184463   39     9718    6334   4618   2413 1263.43
1535.34/1535.87	c  3137400     98     5857   232365   39    12165    6968   5845   2422 1295.32
1535.34/1535.87	c  3268952     98     3776   146517   38     8010    7665   3764   2427 1346.90
1535.34/1535.87	c  3466385     98     4071   163635   40     8596    8432   4059   2422 1430.79
1535.34/1535.87	o 10
1797.97/1798.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.97/1798.53	c  3700193     98     8337   336872   40    17173    1664   8325   2409 1535.42
1797.97/1798.53	c  3700293     98      993    38943   39     2442    1831    981   2409 1535.59
1797.97/1798.53	c  3700543     98     1243    48827   39     2949    2015   1231   2409 1535.65
1797.97/1798.53	c  3701019     98     1719    67523   39     3896    2217   1707   2409 1535.78
1797.97/1798.53	c  3701832     98     1389    52423   37     3225    2439   1377   2410 1535.99
1797.97/1798.53	c  3703152     98     1453    54092   37     3366    2683   1441   2410 1536.33
1797.97/1798.53	c  3705234     98     2161    81638   37     4774    2952   2149   2410 1536.86
1797.97/1798.53	c  3708459     98     2358    88355   37     5174    3248   2346   2411 1537.73
1797.97/1798.53	c  3713395     98     2306    91942   39     5070    3573   2294   2412 1539.06
1797.97/1798.53	c  3720902     98     2508    99717   39     5474    3931   2496   2414 1541.14
1797.97/1798.53	c  3732263     98     3864   151058   39     8191    4325   3852   2416 1544.51
1797.97/1798.53	c  3749407     98     3417   137691   40     7294    4758   3405   2419 1549.68
1797.97/1798.53	c  3775226     98     2703   107325   39     5869    5234   2691   2423 1557.84
1797.97/1798.53	c  3814058     98     4374   173876   39     9203    5758   4362   2428 1570.71
1797.97/1798.53	c  3872411     98     4465   174489   39     9387    6334   4453   2435 1589.73
1797.97/1798.53	c  3960044     98     5639   224850   39    11733    6968   5627   2443 1620.34
1797.97/1798.53	c  4091596     98     7015   282329   40    14489    7665   7003   2444 1673.48
1797.97/1798.53	c  4289030     98     7232   293681   40    14921    8432   7220   2440 1757.76
1797.97/1798.53	c Resources Exceeded
1797.97/1798.53	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 x102 -x103 x104 x105 -x106 -x107 -x108 x109 x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 x118 x119 -x120 -x121 x122 x123 x124 x125 x126 -x127 x128 x129 x130 x131 -x132 x133 x134 -x135 x136 x137 -x138 -x139 -x140 x141 -x142 x143 x144 -x145 -x146 
1797.97/1798.53	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.97/1798.53	c  242  4381347  46392  4440719     6069   239565   6057   2436 1798.00
1797.97/1798.53	c Objective: 10
1797.97/1798.53	s SATISFIABLE
1797.97/1798.53	c Total time: 1798 s

Verifier Data 

OK	10

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1877192-1245175785/watcher-1877192-1245175785 -o /tmp/evaluation-result-1877192-1245175785/solver-1877192-1245175785 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877192-1245175785.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 3690
/proc/meminfo: memFree=1857192/2055920 swapFree=4181384/4192956
[pid=3690] ppid=3688 vsize=18520 CPUtime=0
/proc/3690/stat : 3690 (bsolo) R 3688 3690 3260 0 -1 4194304 263 0 0 0 0 0 0 0 18 0 1 0 185171389 18964480 245 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3690/statm: 4630 245 196 640 0 3986 0

[startup+0.0876821 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3690
/proc/meminfo: memFree=1857192/2055920 swapFree=4181384/4192956
[pid=3690] ppid=3688 vsize=10960 CPUtime=0.08
/proc/3690/stat : 3690 (bsolo) R 3688 3690 3260 0 -1 4194304 340 0 0 0 8 0 0 0 18 0 1 0 185171389 11223040 322 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3690/statm: 2740 322 197 640 0 2096 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10960

[startup+0.101682 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3690
/proc/meminfo: memFree=1857192/2055920 swapFree=4181384/4192956
[pid=3690] ppid=3688 vsize=10960 CPUtime=0.09
/proc/3690/stat : 3690 (bsolo) R 3688 3690 3260 0 -1 4194304 349 0 0 0 9 0 0 0 18 0 1 0 185171389 11223040 331 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3690/statm: 2740 331 197 640 0 2096 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10960

[startup+0.301703 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3690
/proc/meminfo: memFree=1857192/2055920 swapFree=4181384/4192956
[pid=3690] ppid=3688 vsize=11584 CPUtime=0.29
/proc/3690/stat : 3690 (bsolo) R 3688 3690 3260 0 -1 4194304 485 0 0 0 29 0 0 0 19 0 1 0 185171389 11862016 467 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3690/statm: 2896 467 197 640 0 2252 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11584

[startup+0.70176 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3690
/proc/meminfo: memFree=1857192/2055920 swapFree=4181384/4192956
[pid=3690] ppid=3688 vsize=11960 CPUtime=0.69
/proc/3690/stat : 3690 (bsolo) R 3688 3690 3260 0 -1 4194304 581 0 0 0 69 0 0 0 23 0 1 0 185171389 12247040 563 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3690/statm: 2990 563 197 640 0 2346 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11960

[startup+1.50187 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3691
/proc/meminfo: memFree=1855648/2055920 swapFree=4181384/4192956
[pid=3690] ppid=3688 vsize=11964 CPUtime=1.49
/proc/3690/stat : 3690 (bsolo) R 3688 3690 3260 0 -1 4194304 590 0 0 0 148 1 0 0 25 0 1 0 185171389 12251136 572 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3690/statm: 2991 572 197 640 0 2347 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11964

[startup+3.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3691
/proc/meminfo: memFree=1855328/2055920 swapFree=4181384/4192956
[pid=3690] ppid=3688 vsize=12088 CPUtime=3.09
/proc/3690/stat : 3690 (bsolo) R 3688 3690 3260 0 -1 4194304 636 0 0 0 308 1 0 0 25 0 1 0 185171389 12378112 618 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3690/statm: 3022 618 197 640 0 2378 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12088

[startup+6.30155 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3691
/proc/meminfo: memFree=1855136/2055920 swapFree=4181384/4192956
[pid=3690] ppid=3688 vsize=12460 CPUtime=6.29
/proc/3690/stat : 3690 (bsolo) R 3688 3690 3260 0 -1 4194304 703 0 0 0 626 3 0 0 25 0 1 0 185171389 12759040 685 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3690/statm: 3115 685 197 640 0 2471 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12460

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3691
/proc/meminfo: memFree=1854496/2055920 swapFree=4181384/4192956
[pid=3690] ppid=3688 vsize=12844 CPUtime=12.69
/proc/3690/stat : 3690 (bsolo) R 3688 3690 3260 0 -1 4194304 803 0 0 0 1264 5 0 0 25 0 1 0 185171389 13152256 785 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3690/statm: 3211 785 197 640 0 2567 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12844

[startup+25.5023 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3691
/proc/meminfo: memFree=1853792/2055920 swapFree=4181384/4192956
[pid=3690] ppid=3688 vsize=13476 CPUtime=25.48
/proc/3690/stat : 3690 (bsolo) R 3688 3690 3260 0 -1 4194304 973 0 0 0 2539 9 0 0 25 0 1 0 185171389 13799424 955 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3690/statm: 3369 955 197 640 0 2725 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 13476

[startup+51.1029 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3691
/proc/meminfo: memFree=1853472/2055920 swapFree=4181384/4192956
[pid=3690] ppid=3688 vsize=13740 CPUtime=51.08
/proc/3690/stat : 3690 (bsolo) R 3688 3690 3260 0 -1 4194304 1049 0 0 0 5090 18 0 0 25 0 1 0 185171389 14069760 1031 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3690/statm: 3435 1031 197 640 0 2791 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 13740

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3691
/proc/meminfo: memFree=1853216/2055920 swapFree=4181384/4192956
[pid=3690] ppid=3688 vsize=14044 CPUtime=102.26
/proc/3690/stat : 3690 (bsolo) R 3688 3690 3260 0 -1 4194304 1140 0 0 0 10194 32 0 0 25 0 1 0 185171389 14381056 1106 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3690/statm: 3511 1106 197 640 0 2867 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 14044

[startup+162.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3691
/proc/meminfo: memFree=1852768/2055920 swapFree=4181384/4192956
[pid=3690] ppid=3688 vsize=14424 CPUtime=162.25
/proc/3690/stat : 3690 (bsolo) R 3688 3690 3260 0 -1 4194304 1231 0 0 0 16176 49 0 0 25 0 1 0 185171389 14770176 1197 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3690/statm: 3606 1197 197 640 0 2962 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 14424

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3691
/proc/meminfo: memFree=1852448/2055920 swapFree=4181384/4192956
[pid=3690] ppid=3688 vsize=14680 CPUtime=222.22
/proc/3690/stat : 3690 (bsolo) R 3688 3690 3260 0 -1 4194304 1303 0 0 0 22160 62 0 0 25 0 1 0 185171389 15032320 1269 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3690/statm: 3670 1269 197 640 0 3026 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 14680

[startup+282.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3691
/proc/meminfo: memFree=1852000/2055920 swapFree=4181384/4192956
[pid=3690] ppid=3688 vsize=15132 CPUtime=282.21
/proc/3690/stat : 3690 (bsolo) R 3688 3690 3260 0 -1 4194304 1406 0 0 0 28144 77 0 0 25 0 1 0 185171389 15495168 1372 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3690/statm: 3783 1372 197 640 0 3139 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 15132

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3691
/proc/meminfo: memFree=1851488/2055920 swapFree=4181384/4192956
[pid=3690] ppid=3688 vsize=15620 CPUtime=342.19
/proc/3690/stat : 3690 (bsolo) R 3688 3690 3260 0 -1 4194304 1525 0 0 0 34126 93 0 0 25 0 1 0 185171389 15994880 1491 1992294400 134512640 137136520 4294956256 18446744073709551615 134544616 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3690/statm: 3905 1491 197 640 0 3261 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 15620

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3691
/proc/meminfo: memFree=1851040/2055920 swapFree=4181384/4192956
[pid=3690] ppid=3688 vsize=16104 CPUtime=402.17
/proc/3690/stat : 3690 (bsolo) R 3688 3690 3260 0 -1 4194304 1642 0 0 0 40110 107 0 0 25 0 1 0 185171389 16490496 1608 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3690/statm: 4026 1608 197 640 0 3382 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 16104

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3691
/proc/meminfo: memFree=1850912/2055920 swapFree=4181384/4192956
[pid=3690] ppid=3688 vsize=16088 CPUtime=462.15
/proc/3690/stat : 3690 (bsolo) R 3688 3690 3260 0 -1 4194304 1656 0 0 0 46094 121 0 0 25 0 1 0 185171389 16474112 1621 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3690/statm: 4022 1621 197 640 0 3378 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 16088

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3691
/proc/meminfo: memFree=1850912/2055920 swapFree=4181384/4192956
[pid=3690] ppid=3688 vsize=16088 CPUtime=522.13
/proc/3690/stat : 3690 (bsolo) R 3688 3690 3260 0 -1 4194304 1656 0 0 0 52078 135 0 0 25 0 1 0 185171389 16474112 1621 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3690/statm: 4022 1621 197 640 0 3378 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 16088

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3691
/proc/meminfo: memFree=1850912/2055920 swapFree=4181384/4192956
[pid=3690] ppid=3688 vsize=16088 CPUtime=582.12
/proc/3690/stat : 3690 (bsolo) R 3688 3690 3260 0 -1 4194304 1656 0 0 0 58064 148 0 0 25 0 1 0 185171389 16474112 1621 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3690/statm: 4022 1621 197 640 0 3378 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 16088

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3691
/proc/meminfo: memFree=1850848/2055920 swapFree=4181384/4192956
[pid=3690] ppid=3688 vsize=16088 CPUtime=642.11
/proc/3690/stat : 3690 (bsolo) R 3688 3690 3260 0 -1 4194304 1656 0 0 0 64050 161 0 0 25 0 1 0 185171389 16474112 1621 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3690/statm: 4022 1621 197 640 0 3378 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 16088

[startup+702.301 s]

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

/proc/meminfo: memFree=1849440/2055920 swapFree=4181384/4192956
[pid=3690] ppid=3688 vsize=17472 CPUtime=1061.98
/proc/3690/stat : 3690 (bsolo) R 3688 3690 3260 0 -1 4194304 1981 0 0 0 105964 234 0 0 25 0 1 0 185171389 17891328 1946 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3690/statm: 4368 1946 197 640 0 3724 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 17472

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3691
/proc/meminfo: memFree=1849440/2055920 swapFree=4181384/4192956
[pid=3690] ppid=3688 vsize=17472 CPUtime=1121.95
/proc/3690/stat : 3690 (bsolo) R 3688 3690 3260 0 -1 4194304 1983 0 0 0 111950 245 0 0 25 0 1 0 185171389 17891328 1948 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3690/statm: 4368 1948 197 640 0 3724 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 17472

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3691
/proc/meminfo: memFree=1849440/2055920 swapFree=4181384/4192956
[pid=3690] ppid=3688 vsize=17468 CPUtime=1181.94
/proc/3690/stat : 3690 (bsolo) R 3688 3690 3260 0 -1 4194304 1983 0 0 0 117938 256 0 0 25 0 1 0 185171389 17887232 1948 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3690/statm: 4367 1948 197 640 0 3723 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 17468

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3691
/proc/meminfo: memFree=1849376/2055920 swapFree=4181384/4192956
[pid=3690] ppid=3688 vsize=17400 CPUtime=1241.92
/proc/3690/stat : 3690 (bsolo) R 3688 3690 3260 0 -1 4194304 1983 0 0 0 123922 270 0 0 25 0 1 0 185171389 17817600 1948 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3690/statm: 4350 1948 197 640 0 3706 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 17400

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3691
/proc/meminfo: memFree=1849312/2055920 swapFree=4181384/4192956
[pid=3690] ppid=3688 vsize=17400 CPUtime=1301.91
/proc/3690/stat : 3690 (bsolo) R 3688 3690 3260 0 -1 4194304 1983 0 0 0 129906 285 0 0 25 0 1 0 185171389 17817600 1948 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3690/statm: 4350 1948 197 640 0 3706 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 17400

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3691
/proc/meminfo: memFree=1849312/2055920 swapFree=4181384/4192956
[pid=3690] ppid=3688 vsize=17400 CPUtime=1361.89
/proc/3690/stat : 3690 (bsolo) R 3688 3690 3260 0 -1 4194304 1983 0 0 0 135891 298 0 0 25 0 1 0 185171389 17817600 1948 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3690/statm: 4350 1948 197 640 0 3706 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 17400

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3691
/proc/meminfo: memFree=1849440/2055920 swapFree=4181384/4192956
[pid=3690] ppid=3688 vsize=17400 CPUtime=1421.87
/proc/3690/stat : 3690 (bsolo) R 3688 3690 3260 0 -1 4194304 1983 0 0 0 141876 311 0 0 25 0 1 0 185171389 17817600 1948 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3690/statm: 4350 1948 197 640 0 3706 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 17400

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3691
/proc/meminfo: memFree=1849376/2055920 swapFree=4181384/4192956
[pid=3690] ppid=3688 vsize=17400 CPUtime=1481.85
/proc/3690/stat : 3690 (bsolo) R 3688 3690 3260 0 -1 4194304 1983 0 0 0 147864 321 0 0 25 0 1 0 185171389 17817600 1948 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3690/statm: 4350 1948 197 640 0 3706 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 17400

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3691
/proc/meminfo: memFree=1849312/2055920 swapFree=4181384/4192956
[pid=3690] ppid=3688 vsize=17360 CPUtime=1541.83
/proc/3690/stat : 3690 (bsolo) R 3688 3690 3260 0 -1 4194304 1983 0 0 0 153847 336 0 0 25 0 1 0 185171389 17776640 1939 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3690/statm: 4340 1939 197 640 0 3696 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 17360

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3691
/proc/meminfo: memFree=1849376/2055920 swapFree=4181384/4192956
[pid=3690] ppid=3688 vsize=17360 CPUtime=1601.82
/proc/3690/stat : 3690 (bsolo) R 3688 3690 3260 0 -1 4194304 1983 0 0 0 159830 352 0 0 25 0 1 0 185171389 17776640 1939 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3690/statm: 4340 1939 197 640 0 3696 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 17360

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3691
/proc/meminfo: memFree=1849312/2055920 swapFree=4181384/4192956
[pid=3690] ppid=3688 vsize=17360 CPUtime=1661.8
/proc/3690/stat : 3690 (bsolo) R 3688 3690 3260 0 -1 4194304 1983 0 0 0 165815 365 0 0 25 0 1 0 185171389 17776640 1939 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3690/statm: 4340 1939 197 640 0 3696 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 17360

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3691
/proc/meminfo: memFree=1849312/2055920 swapFree=4181384/4192956
[pid=3690] ppid=3688 vsize=17360 CPUtime=1721.79
/proc/3690/stat : 3690 (bsolo) R 3688 3690 3260 0 -1 4194304 1983 0 0 0 171801 378 0 0 25 0 1 0 185171389 17776640 1939 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3690/statm: 4340 1939 197 640 0 3696 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 17360

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3691
/proc/meminfo: memFree=1849312/2055920 swapFree=4181384/4192956
[pid=3690] ppid=3688 vsize=17360 CPUtime=1781.77
/proc/3690/stat : 3690 (bsolo) R 3688 3690 3260 0 -1 4194304 1983 0 0 0 177787 390 0 0 25 0 1 0 185171389 17776640 1939 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3690/statm: 4340 1939 197 640 0 3696 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 17360

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 3691
/proc/meminfo: memFree=1849312/2055920 swapFree=4181384/4192956
[pid=3690] ppid=3688 vsize=17360 CPUtime=1791.37
/proc/3690/stat : 3690 (bsolo) R 3688 3690 3260 0 -1 4194304 1983 0 0 0 178745 392 0 0 25 0 1 0 185171389 17776640 1939 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3690/statm: 4340 1939 197 640 0 3696 0
Current children cumulated CPU time (s) 1791.37
Current children cumulated vsize (KiB) 17360

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3691
/proc/meminfo: memFree=1849312/2055920 swapFree=4181384/4192956
[pid=3690] ppid=3688 vsize=17360 CPUtime=1794.56
/proc/3690/stat : 3690 (bsolo) R 3688 3690 3260 0 -1 4194304 1983 0 0 0 179063 393 0 0 25 0 1 0 185171389 17776640 1939 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3690/statm: 4340 1939 197 640 0 3696 0
Current children cumulated CPU time (s) 1794.56
Current children cumulated vsize (KiB) 17360

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3691
/proc/meminfo: memFree=1849312/2055920 swapFree=4181384/4192956
[pid=3690] ppid=3688 vsize=17360 CPUtime=1796.16
/proc/3690/stat : 3690 (bsolo) R 3688 3690 3260 0 -1 4194304 1983 0 0 0 179223 393 0 0 25 0 1 0 185171389 17776640 1939 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3690/statm: 4340 1939 197 640 0 3696 0
Current children cumulated CPU time (s) 1796.16
Current children cumulated vsize (KiB) 17360

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3691
/proc/meminfo: memFree=1849248/2055920 swapFree=4181384/4192956
[pid=3690] ppid=3688 vsize=17360 CPUtime=1796.96
/proc/3690/stat : 3690 (bsolo) R 3688 3690 3260 0 -1 4194304 1983 0 0 0 179302 394 0 0 25 0 1 0 185171389 17776640 1939 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3690/statm: 4340 1939 197 640 0 3696 0
Current children cumulated CPU time (s) 1796.96
Current children cumulated vsize (KiB) 17360

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3691
/proc/meminfo: memFree=1849248/2055920 swapFree=4181384/4192956
[pid=3690] ppid=3688 vsize=17360 CPUtime=1797.76
/proc/3690/stat : 3690 (bsolo) R 3688 3690 3260 0 -1 4194304 1983 0 0 0 179382 394 0 0 25 0 1 0 185171389 17776640 1939 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3690/statm: 4340 1939 197 640 0 3696 0
Current children cumulated CPU time (s) 1797.76
Current children cumulated vsize (KiB) 17360

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3691
/proc/meminfo: memFree=1849248/2055920 swapFree=4181384/4192956
[pid=3690] ppid=3688 vsize=17360 CPUtime=1797.97
/proc/3690/stat : 3690 (bsolo) R 3688 3690 3260 0 -1 4194304 1983 0 0 0 179403 394 0 0 25 0 1 0 185171389 17776640 1939 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3690/statm: 4340 1939 197 640 0 3696 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 17360

Child status: 0
Real time (s): 1798.53
CPU time (s): 1798
CPU user time (s): 1794.06
CPU system time (s): 3.9424
CPU usage (%): 99.9704
Max. virtual memory (cumulated for all children) (KiB): 17476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.06
system time used= 3.9424
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1985
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= 1937

runsolver used 1.2778 second user time and 3.9664 second system time

The end

Launcher Data 

Begin job on node49 at 2009-06-16 20:09:45
IDJOB=1877192
IDBENCH=2910
IDSOLVER=699
FILE ID=node49/1877192-1245175785
PBS_JOBID= 9363886
Free space on /tmp= 66028 MiB

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

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

MD5SUM BENCH= 8d16c34d0eecf3c16ca4b890652c15ca
RANDOM SEED=873652448

node49.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.232
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.232
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:       1857608 kB
Buffers:         46616 kB
Cached:          83580 kB
SwapCached:       4580 kB
Active:          16908 kB
Inactive:       121360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1857608 kB
SwapTotal:     4192956 kB
SwapFree:      4181384 kB
Dirty:            3948 kB
Writeback:           0 kB
Mapped:          13852 kB
Slab:            45784 kB
Committed_AS:   172040 kB
PageTables:       1388 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1877192-1245175785.opb

Free space on /tmp at the end= 66024 MiB
End job on node49 at 2009-06-16 20:39:43