Trace number 433325

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.17SAT (TO)257546671029920 1800.07 1800.64

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-bell3a.opb
MD5SUMefa7fb1a840e9d48ac9b28aadc8f53ba
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark257546671029920
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 257546671029920
Optimality of the best value was proved NO
Number of variables2219
Total number of constraints151
Number of constraints which are clauses22
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints129
Minimum length of a constraint2
Maximum length of a constraint191
Number of terms in the objective function 1716
Biggest coefficient in the objective function 5134096531456000
Number of bits for the biggest coefficient in the objective function 53
Sum of the numbers in the objective function 216401520151185266
Number of bits of the sum of numbers in the objective function 58
Biggest number in a constraint 5134096531456000
Number of bits of the biggest number in a constraint 53
Biggest sum of numbers in a constraint 216401520151185266
Number of bits of the biggest sum of numbers58
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.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/433325-1177957747/instance-433325-1177957747.opb
0.00/0.00	c File size is 114606 bytes.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Highest Coefficient sum: 2.16402e+17
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.015 s
0.00/0.02	c Var: 2219 Constr: 151 22/0/129 Lit: 6315 Watch. Lit: 2557
0.00/0.02	c Obj. Vars: 1716 (77.3321 % of total variables)
0.06/0.08	c Pre-processing Time: 0.079 s
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0   1623      126     6048   48     5248   12033      0      0 0.08
0.09/0.13	c      101   1623      227    20396   89     5582   13237    101   1063 0.10
0.09/0.13	c      251   1623      377    36003   95     5942   14561    251   1992 0.13
0.09/0.13	o 3303458816122880	0.131
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c      262   1623      389    37751   97     7088   14457    263   1969 0.13
0.09/0.14	o 2404055073587200	0.138
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c      276   1623      404    39844   98     8206   14457    278   1985 0.14
0.09/0.14	o 2367414209576000	0.142
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c      279   1623      408    41230  101     9300   14457    282   1937 0.14
0.09/0.15	o 2198734606069760	0.147
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c      284   1623      414    42581  102    10452   14457    288   1918 0.15
0.09/0.15	o 2158908428636160	0.153
0.39/0.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.46	c      289   1623      420    44051  104    11557   14457    294   1876 0.15
0.39/0.46	c      389   1623      520    53371  102    11244   15903    394   2315 0.17
0.39/0.46	c      639   1623      770    85043  110    11385   17494    644   2840 0.23
0.39/0.46	c     1114   1623     1245   122026   98    11931   19244   1119   3640 0.31
0.39/0.46	o 2158072570900000	0.461
0.69/0.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.73	c     1468   1623     1600   173496  108    14503   14457   1474   3177 0.46
0.69/0.73	c     1568   1623     1700   181998  107    14214   15903   1574   3213 0.49
0.69/0.73	c     1820   1623     1952   212919  109    14279   17494   1826   3267 0.56
0.69/0.73	c     2295   1623     2427   257390  106    13900   19244   2301   3608 0.64
0.69/0.73	o 2155307443506130	0.726
0.78/0.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.78/0.80	c     2882   1623     3015   309547  102    18188   14457   2889   3964 0.73
0.78/0.80	c     2983   1623     3116   319051  102    17768   15903   2990   3977 0.75
0.78/0.80	c     3233   1623     3366   336079   99    17382   17494   3240   4076 0.79
0.78/0.80	o 1008560546050220	0.801
0.78/0.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.78/0.87	c     3245   1623     3379   337707   99    18221   14457   3253   4046 0.80
0.78/0.87	c     3345   1623     3479   343464   98    18235   15903   3353   4079 0.82
0.78/0.87	c     3596   1623     3730   361231   96    18324   17494   3604   4157 0.86
0.78/0.87	o 698988960636290	0.872
1.29/1.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.31	c     3600   1623     3735   362600   97    19480   14457   3609   4123 0.87
1.29/1.31	c     3701   1623     3836   374828   97    19429   15903   3710   4058 0.91
1.29/1.31	c     3951   1623     4086   397589   97    19475   17494   3960   4098 0.96
1.29/1.31	c     4426   1623     4561   439180   96    20124   19244   4435   4187 1.06
1.29/1.31	c     5239   1623     5374   513704   95    21909   21169   5248   4067 1.29
1.29/1.31	o 695222836886760	1.308
1.29/1.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.38	c     5306   1623     5442   519655   95    22816   14457   5316   4053 1.31
1.29/1.38	c     5407   1623     5543   534999   96    23040   15903   5417   3964 1.36
1.29/1.38	o 691045694237235	1.378
1.39/1.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.40	c     5419   1623     5556   536627   96    24026   14457   5430   3926 1.38
1.39/1.40	o 689032018834760	1.396
23.09/23.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
23.09/23.14	c     5436   1623     5574   538590   96    25383   14457   5448   3888 1.40
23.09/23.14	c     5536   1623     5674   549997   96    25530   15903   5548   3763 1.47
23.09/23.14	c     5786   1623     5924   564337   95    25610   17494   5798   3652 1.58
23.09/23.14	c     6261   1623     6399   608665   95    26647   19244   6273   3217 1.95
23.09/23.14	c     7076   1623     7214   713921   98    27195   21169   7088   3257 2.17
23.09/23.14	c     8397   1623     8535   821281   96    29816   23286   8409   3406 2.46
23.09/23.14	c    10478   1623    10616  1088290  102    34689   25615  10490   2771 3.78
23.09/23.14	c    13701   1623    13839  1520366  109    41251   28177  13713   2293 5.97
23.09/23.14	c    18637   1623    18775  2141155  114    50185   30995  18649   2238 8.32
23.09/23.14	c    26144   1623    26282  3234705  123    65253   34095  26156   2063 12.67
23.09/23.14	c    37507   1623    13165  2401098  182    32655   37505  13039   1628 23.04
23.09/23.14	o 399556237342720	23.13
23.09/23.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
23.09/23.15	c    37726   1623    13385  2419352  180    34321   14457  13259   1630 23.13
23.09/23.15	o 335421889592520	23.141
27.38/27.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
27.38/27.46	c    37734   1623    13394  2420845  180    35544   14457  13268   1630 23.14
27.38/27.46	c    37834   1623    13494  2428739  179    35783   15903  13368   1631 23.18
27.38/27.46	c    38084   1623    13744  2464116  179    36265   17494  13618   1632 23.33
27.38/27.46	c    38559   1623    14219  2537273  178    37221   19244  14093   1632 23.62
27.38/27.46	c    39372   1623    15032  2627735  174    38867   21169  14906   1642 23.97
27.38/27.46	c    40693   1623    16353  2775267  169    41497   23286  16227   1657 24.55
27.38/27.46	c    42774   1623    18434  3011093  163    45663   25615  18308   1665 25.68
27.38/27.46	o 297525351647800	27.451
39.57/39.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
39.57/39.66	c    45617   1623    21278  3294466  154    52498   14457  21152   1661 27.45
39.57/39.66	c    45718   1623     7457   785797  105    21302   15903   7331   1614 28.32
39.57/39.66	c    45969   1623     7708   803427  104    21807   17494   7582   1618 28.39
39.57/39.66	c    46445   1623     8184   838965  102    22761   19244   8058   1626 28.55
39.57/39.66	c    47260   1623     8999   918453  102    24388   21169   8873   1634 28.91
39.57/39.66	c    48582   1623    10321  1023828   99    27020   23286  10195   1656 29.33
39.57/39.66	c    50664   1623    12403  1302297  104    31194   25615  12277   1681 30.13
39.57/39.66	c    53887   1623    15626  1656578  106    37623   28177  15500   1644 32.76
39.57/39.66	c    58824   1621    20563  2514367  122    47515   30995  20437   1679 35.03
39.57/39.66	c    66330   1621    28069  3612949  128    62500   34095  27943   1680 39.47
39.57/39.66	o 296214995773440	39.643
40.17/40.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
40.17/40.21	c    66629   1621    28369  3664004  129    64311   14455  28243   1680 39.65
40.17/40.21	c    66729   1621     7456  1082000  145    21266   15901   7330   1665 40.07
40.17/40.21	c    66979   1621     7706  1102892  143    21817   17492   7580   1667 40.16
40.17/40.21	o 274075192156180	40.189
41.97/42.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
41.97/42.04	c    67075   1621     7803  1109138  142    23215   14455   7677   1668 40.19
41.97/42.04	c    67176   1621     7904  1117120  141    23399   15901   7778   1668 40.26
41.97/42.04	c    67426   1621     8154  1140721  139    23911   17492   8028   1670 40.37
41.97/42.04	c    67902   1621     8630  1187914  137    24862   19242   8504   1675 40.53
41.97/42.04	c    68715   1621     9443  1289328  136    26491   21167   9317   1678 40.94
41.97/42.04	c    70035   1621    10763  1452642  134    29103   23284  10637   1684 41.57
41.97/42.04	o 269924230019820	42.023
47.97/48.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
47.97/48.08	c    71139   1621    11868  1597495  134    32555   14455  11742   1692 42.02
47.97/48.08	c    71240   1621    11969  1605299  134    32720   15901  11843   1692 42.10
47.97/48.08	c    71490   1621    12219  1621719  132    33251   17492  12093   1692 42.23
47.97/48.08	c    71965   1621    12694  1686283  132    34185   19242  12568   1692 42.52
47.97/48.08	c    72778   1621    13507  1800038  133    35827   21167  13381   1689 43.09
47.97/48.08	c    74098   1621    14827  1952908  131    38457   23284  14701   1686 43.94
47.97/48.08	c    76179   1621    16908  2143683  126    42632   25613  16782   1690 45.07
47.97/48.08	c    79402   1621    20131  2521703  125    49068   28175  20005   1691 46.93
47.97/48.08	o 260878093056050	48.055
174.63/174.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
174.63/174.73	c    81157   1621    21887  2697652  123    53778   14455  21761   1688 48.06
174.63/174.73	c    81258   1621     7457   770462  103    21295   15901   7331   1675 48.50
174.63/174.73	c    81508   1621     7707   799759  103    21787   17492   7581   1677 48.60
174.63/174.73	c    81983   1621     8182   843594  103    22734   19242   8056   1681 48.75
174.63/174.73	c    82796   1621     8995   918228  102    24385   21167   8869   1691 48.96
174.63/174.73	c    84117   1621    10316  1037638  100    27009   23284  10190   1703 49.38
174.63/174.73	c    86199   1621    12398  1339644  108    31192   25613  12272   1715 50.25
174.63/174.73	c    89423   1621    15622  1642692  105    37631   28175  15496   1742 51.32
174.63/174.73	c    94359   1621    20558  2168472  105    47497   30993  20432   1761 53.58
174.63/174.73	c   101866   1621    28065  2889316  102    62478   34093  27939   1768 57.60
174.63/174.73	c   113227   1621    15386  1598648  103    37155   37503  15260   1803 62.78
174.63/174.73	c   130371   1621    32530  3997480  122    71444   41254  32404   1746 74.66
174.63/174.73	c   156191   1621    27341  3733846  136    61076   45380  27215   1581 98.75
174.63/174.73	c   195023   1621    30905  5043416  163    68198   49919  30779   1135 171.75
174.63/174.73	o 260641316442910	174.664
298.18/298.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
298.18/298.31	c   200632   1621    36515  5731215  156    80614   14455  36389   1148 174.67
298.18/298.31	c   200732   1621     7458   960019  128    21287   15901   7332   1132 177.27
298.18/298.31	c   200982   1621     7708   986000  127    21793   17492   7582   1133 177.38
298.18/298.31	c   201459   1621     8185  1025335  125    22748   19242   8059   1134 177.53
298.18/298.31	c   202272   1621     8998  1087525  120    24392   21167   8872   1137 177.77
298.18/298.31	c   203592   1621    10318  1255330  121    27027   23284  10192   1142 178.24
298.18/298.31	c   205673   1621    12399  1447394  116    31203   25613  12273   1149 178.97
298.18/298.31	c   208897   1621    15623  1986089  127    37640   28175  15497   1159 180.11
298.18/298.31	c   213835   1617    20561  2574256  125    47478   30993  20435   1165 183.42
298.18/298.31	c   221342   1617    28068  3958108  141    62520   34093  27942   1177 187.98
298.18/298.31	c   232704   1617    15634  2305840  147    37619   37503  15508   1176 197.82
298.18/298.31	c   249849   1617    32779  4197980  128    71934   41254  32653   1168 213.78
298.18/298.31	c   275668   1617    27641  4245235  153    61643   45380  27515   1173 234.96
298.18/298.31	c   314503   1617    32544  4389083  134    71438   49919  32418   1058 297.19
298.18/298.31	o 260640860020480	298.204
306.18/306.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
306.18/306.32	c   316708   1617    34750  4662456  134    77092   14451  34624   1062 298.21
306.18/306.32	c   316808   1617     7458   947270  127    21298   15897   7332   1050 301.59
306.18/306.32	c   317059   1617     7709   969992  125    21797   17487   7583   1050 301.69
306.18/306.32	c   317534   1617     8184  1022807  124    22742   19236   8058   1051 301.86
306.18/306.32	c   318348   1617     8998  1096395  121    24368   21160   8872   1053 302.13
306.18/306.32	c   319669   1617    10319  1250637  121    27019   23277  10193   1055 302.81
306.18/306.32	c   321750   1617    12400  1450761  116    31194   25605  12274   1060 303.51
306.18/306.32	c   324973   1617    15623  1781192  114    37642   28166  15497   1066 304.71
306.18/306.32	o 260513739391700	306.212
310.38/310.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
310.38/310.59	c   328359   1617    19010  2321944  122    45585   14451  18884   1072 306.21
310.38/310.59	c   328459   1617     7458   949350  127    21266   15897   7332   1071 306.51
310.38/310.59	c   328709   1617     7708   977686  126    21786   17487   7582   1072 306.62
310.38/310.59	c   329184   1617     8183  1021248  124    22750   19236   8057   1072 306.80
310.38/310.59	c   329997   1617     8996  1093597  121    24376   21160   8870   1074 307.08
310.38/310.59	c   331317   1617    10316  1262835  122    27015   23277  10190   1076 307.67
310.38/310.59	c   333400   1617    12399  1674549  135    31176   25605  12273   1080 308.65
310.38/310.59	c   336624   1617    15623  2170073  138    37612   28166  15497   1084 310.45
310.38/310.59	o 258981250378350	310.481
311.28/311.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
311.28/311.43	c   336662   1617    15662  2174849  138    38901   14451  15536   1084 310.48
311.28/311.43	c   336762   1617     7458  1140267  152    21278   15897   7332   1084 310.60
311.28/311.43	c   337012   1617     7708  1159015  150    21804   17487   7582   1084 310.68
311.28/311.43	c   337487   1617     8183  1213878  148    22747   19236   8057   1085 310.90
311.28/311.43	c   338301   1617     8997  1303461  144    24372   21160   8871   1086 311.27
311.28/311.43	o 258981006504840	311.326
841.42/841.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
841.42/841.79	c   338421   1617     9118  1313586  144    25831   14451   8992   1087 311.33
841.42/841.79	c   338522   1617     9219  1321722  143    26034   15897   9093   1087 311.38
841.42/841.79	c   338773   1617     9470  1350821  142    26512   17487   9344   1087 311.50
841.42/841.79	c   339249   1617     9946  1413685  142    27466   19236   9820   1088 311.75
841.42/841.79	c   340063   1617    10760  1547130  143    29100   21160  10634   1089 312.16
841.42/841.79	c   341384   1617    12081  1713062  141    31739   23277  11955   1091 312.88
841.42/841.79	c   343465   1617    14162  2067441  145    35926   25605  14036   1094 313.94
841.42/841.79	c   346689   1617    17386  2528097  145    42354   28166  17260   1095 316.43
841.42/841.79	c   351627   1617    22324  3188969  142    52217   30983  22198   1103 318.75
841.42/841.79	c   359135   1613    29832  4474869  150    67247   34082  29706   1106 324.60
841.42/841.79	c   370496   1613    17068  3244422  190    40522   37491  16942   1106 334.94
841.42/841.79	c   387641   1613    34213  6476173  189    74802   41241  34087   1087 356.55
841.42/841.79	c   413460   1613    29156  4805472  164    64685   45366  29030   1050 393.47
841.42/841.79	c   452293   1613    33372  5151954  154    73132   49903  33246   1027 440.17
841.42/841.79	c   510645   1613    12756  2470479  193    31862   54894  12630    822 621.15
841.42/841.79	c   598280   1613    12687  1729020  136    31741   60384  12561    717 833.97
841.42/841.79	o 257577492773440	841.514
1121.33/1121.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1121.33/1121.72	c   606019   1613    20427  3026647  148    48447   14447  20301    720 841.51
1121.33/1121.72	c   606120   1613     7459  1248015  167    21305   15892   7333    718 843.15
1121.33/1121.72	c   606371   1613     7710  1276207  165    21808   17482   7584    719 843.28
1121.33/1121.72	c   606846   1613     8185  1326394  162    22761   19231   8059    719 843.47
1121.33/1121.72	c   607659   1613     8998  1459128  162    24384   21155   8872    720 843.83
1121.33/1121.72	c   608979   1613    10318  1611267  156    27008   23271  10192    721 844.43
1121.33/1121.72	c   611062   1613    12401  1944553  156    31183   25599  12275    722 845.54
1121.33/1121.72	c   614285   1613    15624  2372979  151    37637   28159  15498    725 847.06
1121.33/1121.72	c   619222   1609    20561  3046003  148    47485   30975  20435    728 849.44
1121.33/1121.72	c   626730   1609    28069  4151638  147    62519   34073  27943    733 854.79
1121.33/1121.72	c   638092   1609    15606  2919251  187    37580   37481  15480    734 868.79
1121.33/1121.72	c   655237   1609    32751  5199898  158    71846   41230  32625    737 887.93
1121.33/1121.72	c   681056   1609    27416  5442711  198    61213   45354  27290    729 933.21
1121.33/1121.72	c   719889   1609    31194  4659826  149    68755   49890  31068    744 967.30
1121.33/1121.72	c   778241   1609    12828  1463162  114    32027   54880  12702    694 1121.19
1121.33/1121.72	o 257546671029920	1121.36
1800.03/1800.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.03/1800.60	c   778646   1609    13234  1494506  112    34044   14443  13108    694 1121.36
1800.03/1800.60	c   778747   1609    13335  1505827  112    34255   15888  13209    694 1121.47
1800.03/1800.60	c   778998   1609    13586  1528355  112    34757   17477  13460    694 1121.55
1800.03/1800.60	c   779475   1609    14063  1562853  111    35709   19225  13937    694 1121.80
1800.03/1800.60	c   780290   1609    14878  1637341  110    37348   21148  14752    695 1122.37
1800.03/1800.60	c   781611   1609    16199  1848052  114    39989   23263  16073    695 1123.23
1800.03/1800.60	c   783693   1609    18281  2061732  112    44140   25590  18155    697 1124.35
1800.03/1800.60	c   786917   1609    21505  2484812  115    50570   28150  21379    698 1126.36
1800.03/1800.60	c   791854   1609    26442  3239582  122    60474   30966  26316    701 1128.94
1800.03/1800.60	c   799361   1609    12867  2100824  163    32088   34063  12741    703 1136.59
1800.03/1800.60	c   810723   1607    24229  3654179  150    54845   37470  24103    708 1144.45
1800.03/1800.60	c   827867   1607    14160  1417658  100    34709   41218  14034    718 1152.48
1800.03/1800.61	c   853686   1607    39979  6684561  167    86334   45340  39853    712 1198.43
1800.03/1800.61	c   892518   1607    44869  5628433  125    96095   49875  44743    724 1232.32
1800.03/1800.61	c   950873   1607    25031  3674531  146    56405   54863  24905    698 1362.05
1800.03/1800.61	c  1038506   1607    25509  3915927  153    57401   60350  25383    666 1558.33
1800.03/1800.61	c Caught signal: 15
1800.03/1800.61	v -x1404 x1411 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1412 -x1413 -x2060
1800.03/1800.61	v -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137
1800.03/1800.61	v -x2138 -x2139 -x2160 -x2161 x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174
1800.03/1800.61	v -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191
1800.03/1800.61	v -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208
1800.03/1800.61	v -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075
1800.03/1800.61	v -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092
1800.03/1800.61	v -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109
1800.03/1800.61	v -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126
1800.03/1800.61	v -x2127 -x2128 -x2129 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153
1800.03/1800.61	v -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1970
1800.03/1800.61	v -x1971 -x1972 -x1973 x1974 -x1975 -x1976 -x1977 -x1978 -x1979 x2000 x2001 x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008
1800.03/1800.61	v -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 x2016 -x2017 -x2018 -x2019 -x2020 -x2021 x2022 -x2023 -x2024 -x2025 -x2026
1800.03/1800.61	v -x2027 -x2028 -x2029 -x2030 -x2031 x2032 x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 x2040 x2041 x2042 -x2043 -x2044
1800.03/1800.61	v -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 x2055 -x2056 -x2057 -x2058 -x2059 -x1910 -x1911
1800.03/1800.61	v -x1912 x1913 x1914 -x1915 -x1916 -x1917 -x1918 -x1919 x1920 x1921 x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929
1800.03/1800.61	v -x1930 -x1931 x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 x1942 x1943 -x1944 -x1945 -x1946 -x1947
1800.03/1800.61	v -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964
1800.03/1800.61	v -x1965 -x1966 -x1967 -x1968 -x1969 x1980 x1981 -x1982 x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 x1990 -x1991 -x1992
1800.03/1800.61	v x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18
1800.03/1800.61	v -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341
1800.03/1800.61	v -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x481 -x482
1800.03/1800.61	v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 x497 -x498 -x499 -x500 -x501 -x502 -x503
1800.03/1800.61	v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524
1800.03/1800.61	v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545
1800.03/1800.61	v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 x559 x560 -x561 -x562 -x563 -x564 -x565 -x566
1800.03/1800.61	v -x567 -x568 -x569 -x570 -x571 x572 -x573 -x574 x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 x583 x584 x585 x586 x587 x588
1800.03/1800.61	v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609
1800.03/1800.61	v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630
1800.03/1800.61	v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 -x643 x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651
1800.03/1800.61	v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672
1800.03/1800.61	v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x31 -x32 -x33
1800.03/1800.61	v -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
1800.03/1800.61	v -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
1800.03/1800.61	v -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
1800.03/1800.61	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131
1800.03/1800.61	v -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152
1800.03/1800.61	v -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 x171 -x172 -x173
1800.03/1800.61	v -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 -x194
1800.03/1800.61	v -x195 x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215
1800.03/1800.61	v -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236
1800.03/1800.61	v -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257
1800.03/1800.61	v -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278
1800.03/1800.61	v -x279 -x280 -x281 -x282 x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299
1800.03/1800.61	v -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 x315 -x316 x317 -x318 x319 -x320 -x321
1800.03/1800.61	v -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372
1800.03/1800.61	v -x373 x374 x375 -x376 x377 -x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393
1800.03/1800.61	v -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414
1800.03/1800.61	v -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 -x434 -x435
1800.03/1800.61	v x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456
1800.03/1800.61	v -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477
1800.03/1800.61	v -x478 -x479 -x480 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708
1800.03/1800.61	v -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027
1800.03/1800.61	v -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044
1800.03/1800.61	v -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181
1800.03/1800.61	v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198
1800.03/1800.61	v -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215
1800.03/1800.61	v -x1216 -x1217 -x1218 -x1219 -x1220 x1221 -x1222 x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233
1800.03/1800.61	v -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250
1800.03/1800.61	v -x1251 -x1252 x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267
1800.03/1800.61	v -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 x1282 -x1283 -x1284
1800.03/1800.61	v -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301
1800.03/1800.61	v -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318
1800.03/1800.61	v -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335
1800.03/1800.61	v -x1336 -x1337 -x1338 -x1339 x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352
1800.03/1800.61	v -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369
1800.03/1800.61	v x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728
1800.03/1800.61	v -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749
1800.03/1800.61	v -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 x770
1800.03/1800.61	v -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 x790 x791
1800.03/1800.61	v x792 x793 x794 x795 x796 x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813
1800.03/1800.61	v -x814 -x815 -x816 -x817 -x818 -x819 x820 x821 x822 -x823 x824 x825 -x826 x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835
1800.03/1800.61	v -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856
1800.03/1800.61	v -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 x875 x876 x877
1800.03/1800.61	v x878 x879 x880 x881 x882 x883 x884 x885 x886 x887 x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900
1800.03/1800.61	v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921
1800.03/1800.61	v -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942
1800.03/1800.61	v -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963
1800.03/1800.61	v -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984
1800.03/1800.61	v -x985 -x986 -x987 -x988 -x989 -x990 x991 x992 x993 x994 x995 x996 x997 x998 x999 x1000 x1001 x1002 x1003 x1004 x1005 x1006
1800.03/1800.61	v x1007 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1051 x1052 x1053 x1054
1800.03/1800.61	v x1055 x1056 x1057 x1058 x1059 x1060 x1061 x1062 x1063 x1064 x1065 x1066 x1067 x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074
1800.03/1800.61	v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091
1800.03/1800.61	v -x1092 -x1093 x1094 -x1095 -x1096 x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109
1800.03/1800.61	v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126
1800.03/1800.61	v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143
1800.03/1800.61	v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160
1800.03/1800.61	v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 x1381 x1392 -x1382 -x1383 -x1384 -x1385 -x1386 -x1399
1800.03/1800.61	v -x1387 -x1388 -x1389 -x1390 -x1400 -x1391 -x1393 x1397 -x1401 -x1394 -x1395 -x1396 -x1398 -x1402 -x1403 -x1420 -x1421
1800.03/1800.61	v -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438
1800.03/1800.61	v -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455
1800.03/1800.61	v -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 x1466 -x1467 -x1468 x1469 -x1470 -x1471 -x1472 -x1473
1800.03/1800.61	v -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 x1487 -x1488 x1489 x1490 x1491
1800.03/1800.61	v -x1492 -x1493 -x1494 x1495 -x1496 x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509
1800.03/1800.61	v -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 x1519 x1520 x1521 -x1522 x1523 x1524 -x1525 x1526 -x1527
1800.03/1800.61	v -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 x1544
1800.03/1800.61	v x1545 x1546 x1547 x1548 x1549 x1550 x1551 x1552 x1553 x1554 x1555 x1556 x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563
1800.03/1800.61	v -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580
1800.03/1800.61	v -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597
1800.03/1800.61	v -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614
1800.03/1800.61	v -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631
1800.03/1800.61	v -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 x1643 x1644 x1645 x1646 -x1647 -x1648 -x1649
1800.03/1800.61	v -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 x1660 x1661 x1662 x1663 x1664 x1665 x1666 x1667 x1668
1800.03/1800.61	v x1669 x1670 x1671 x1672 x1673 x1674 x1675 x1676 x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687
1800.03/1800.61	v -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 x1703 -x1704
1800.03/1800.61	v -x1705 x1706 x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722
1800.03/1800.61	v -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 x1735 -x1736 x1737 -x1738 -x1739 -x1740
1800.03/1800.61	v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757
1800.03/1800.61	v -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 x1765 -x1766 -x1767 x1768 x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775
1800.03/1800.61	v -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 x1787 -x1788 -x1789 -x1790 -x1791 -x1792
1800.03/1800.61	v -x1793 x1794 -x1795 x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810
1800.03/1800.61	v -x1811 -x1812 -x1813 x1814 x1815 x1816 x1817 x1818 x1819 x1820 x1821 x1822 x1823 x1824 x1825 x1826 x1827 -x1828 -x1829 -x1830
1800.03/1800.61	v -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 x1840 x1841 x1842 x1843 x1844 x1845 x1846 x1847 x1848 x1849
1800.03/1800.61	v x1850 x1851 x1852 x1853 x1854 -x1855 -x1856 x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867
1800.03/1800.61	v -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884
1800.03/1800.61	v -x1885 -x1886 -x1887 -x1888 x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899
1800.03/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.03/1800.61	c  170  1112978 329472  2058481    52812 13385390  52686    618 1800.03
1800.03/1800.61	c Objective: 257546671029920
1800.03/1800.61	s SATISFIABLE
1800.03/1800.61	c Total time: 1800.03 s

Verifier Data (download as text)

OK	257546671029920

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node69/watcher-433325-1177957747 -o ROOT/results/node69/solver-433325-1177957747 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433325-1177957747/instance-433325-1177957747.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: 0.91 0.95 0.92 3/64 25181
/proc/meminfo: memFree=1866076/2055920 swapFree=4182916/4192956
[pid=25181] ppid=25179 vsize=11848 CPUtime=0
/proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 271764173 12132352 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12387963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25181/statm: 2962 334 280 324 0 2004 0

[startup+0.0728421 s]
/proc/loadavg: 0.91 0.95 0.92 3/64 25181
/proc/meminfo: memFree=1866076/2055920 swapFree=4182916/4192956
[pid=25181] ppid=25179 vsize=4492 CPUtime=0.06
/proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 545 0 0 0 6 0 0 0 18 0 1 0 271764173 4599808 487 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25181/statm: 1123 487 303 324 0 193 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4492

[startup+0.101847 s]
/proc/loadavg: 0.91 0.95 0.92 3/64 25181
/proc/meminfo: memFree=1866076/2055920 swapFree=4182916/4192956
[pid=25181] ppid=25179 vsize=4684 CPUtime=0.09
/proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 610 0 0 0 9 0 0 0 18 0 1 0 271764173 4796416 552 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12385962 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25181/statm: 1171 552 309 324 0 241 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4684

[startup+0.301878 s]
/proc/loadavg: 0.91 0.95 0.92 3/64 25181
/proc/meminfo: memFree=1866076/2055920 swapFree=4182916/4192956
[pid=25181] ppid=25179 vsize=6124 CPUtime=0.29
/proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 968 0 0 0 29 0 0 0 19 0 1 0 271764173 6270976 910 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12387963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25181/statm: 1531 910 311 324 0 601 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6124

[startup+0.701944 s]
/proc/loadavg: 0.91 0.95 0.92 3/64 25181
/proc/meminfo: memFree=1866076/2055920 swapFree=4182916/4192956
[pid=25181] ppid=25179 vsize=8576 CPUtime=0.69
/proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 1576 0 0 0 69 0 0 0 22 0 1 0 271764173 8781824 1518 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12387963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25181/statm: 2144 1518 311 324 0 1214 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8576

[startup+1.50107 s]
/proc/loadavg: 0.91 0.95 0.92 2/65 25182
/proc/meminfo: memFree=1859540/2055920 swapFree=4182916/4192956
[pid=25181] ppid=25179 vsize=12332 CPUtime=1.49
/proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 2506 0 0 0 148 1 0 0 25 0 1 0 271764173 12627968 2448 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25181/statm: 3083 2448 311 324 0 2153 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12332

[startup+3.10133 s]
/proc/loadavg: 0.91 0.95 0.92 2/65 25182
/proc/meminfo: memFree=1855572/2055920 swapFree=4182916/4192956
[pid=25181] ppid=25179 vsize=17764 CPUtime=3.09
/proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 3885 0 0 0 307 2 0 0 25 0 1 0 271764173 18190336 3827 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25181/statm: 4441 3827 311 324 0 3511 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17764

[startup+6.30185 s]
/proc/loadavg: 0.92 0.95 0.92 2/65 25182
/proc/meminfo: memFree=1845780/2055920 swapFree=4182916/4192956
[pid=25181] ppid=25179 vsize=26936 CPUtime=6.29
/proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 6173 0 0 0 626 3 0 0 25 0 1 0 271764173 27582464 6115 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12387963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25181/statm: 6734 6115 311 324 0 5804 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26936

[startup+12.7019 s]
/proc/loadavg: 0.93 0.95 0.92 2/65 25182
/proc/meminfo: memFree=1822164/2055920 swapFree=4182916/4192956
[pid=25181] ppid=25179 vsize=48732 CPUtime=12.69
/proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 11613 0 0 0 1263 6 0 0 25 0 1 0 271764173 49901568 11555 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134552425 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25181/statm: 12183 11555 311 324 0 11253 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 48732

[startup+25.502 s]
/proc/loadavg: 0.94 0.96 0.92 2/65 25182
/proc/meminfo: memFree=1796180/2055920 swapFree=4182916/4192956
[pid=25181] ppid=25179 vsize=73244 CPUtime=25.48
/proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 17785 0 0 0 2538 10 0 0 25 0 1 0 271764173 75001856 17692 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25181/statm: 18311 17692 311 324 0 17381 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 73244

[startup+51.1012 s]
/proc/loadavg: 0.96 0.96 0.92 2/65 25182
/proc/meminfo: memFree=1796244/2055920 swapFree=4182916/4192956
[pid=25181] ppid=25179 vsize=73180 CPUtime=51.07
/proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 17785 0 0 0 5097 10 0 0 25 0 1 0 271764173 74936320 17686 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551030 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25181/statm: 18295 17686 311 324 0 17365 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 73180

[startup+102.304 s]
/proc/loadavg: 0.98 0.96 0.92 2/65 25182
/proc/meminfo: memFree=1793748/2055920 swapFree=4182916/4192956
[pid=25181] ppid=25179 vsize=75652 CPUtime=102.25
/proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 18433 0 0 0 10215 10 0 0 25 0 1 0 271764173 77467648 18292 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25181/statm: 18913 18292 311 324 0 17983 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 75652

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 25182
/proc/meminfo: memFree=1769620/2055920 swapFree=4182916/4192956
[pid=25181] ppid=25179 vsize=99748 CPUtime=162.23
/proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 24490 0 0 0 16208 15 0 0 25 0 1 0 271764173 102141952 24303 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25181/statm: 24937 24303 311 324 0 24007 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 99748

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 25182
/proc/meminfo: memFree=1769620/2055920 swapFree=4182916/4192956
[pid=25181] ppid=25179 vsize=99728 CPUtime=222.21
/proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 24490 0 0 0 22206 15 0 0 25 0 1 0 271764173 102121472 24303 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25181/statm: 24932 24303 311 324 0 24002 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 99728

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 25182
/proc/meminfo: memFree=1769620/2055920 swapFree=4182916/4192956
[pid=25181] ppid=25179 vsize=99688 CPUtime=282.19
/proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 24490 0 0 0 28204 15 0 0 25 0 1 0 271764173 102080512 24303 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25181/statm: 24922 24303 311 324 0 23992 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 99688

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 25182
/proc/meminfo: memFree=1769620/2055920 swapFree=4182916/4192956
[pid=25181] ppid=25179 vsize=99660 CPUtime=342.17
/proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 24490 0 0 0 34202 15 0 0 25 0 1 0 271764173 102051840 24303 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25181/statm: 24915 24303 311 324 0 23985 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 99660

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 25182
/proc/meminfo: memFree=1761172/2055920 swapFree=4182916/4192956
[pid=25181] ppid=25179 vsize=108036 CPUtime=402.15
/proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 26618 0 0 0 40199 16 0 0 25 0 1 0 271764173 110628864 26389 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25181/statm: 27009 26389 311 324 0 26079 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 108036

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 25182
/proc/meminfo: memFree=1757204/2055920 swapFree=4182916/4192956
[pid=25181] ppid=25179 vsize=111916 CPUtime=462.14
/proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 27630 0 0 0 46197 17 0 0 25 0 1 0 271764173 114601984 27350 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25181/statm: 27979 27350 311 324 0 27049 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 111916

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 25182
/proc/meminfo: memFree=1757268/2055920 swapFree=4182916/4192956
[pid=25181] ppid=25179 vsize=111916 CPUtime=522.12
/proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 27630 0 0 0 52195 17 0 0 25 0 1 0 271764173 114601984 27350 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25181/statm: 27979 27350 311 324 0 27049 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 111916

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 25182
/proc/meminfo: memFree=1749396/2055920 swapFree=4182916/4192956
[pid=25181] ppid=25179 vsize=120180 CPUtime=582.1
/proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 29689 0 0 0 58191 19 0 0 25 0 1 0 271764173 123064320 29409 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25181/statm: 30045 29409 311 324 0 29115 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 120180

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 25182
/proc/meminfo: memFree=1733524/2055920 swapFree=4182916/4192956
[pid=25181] ppid=25179 vsize=135520 CPUtime=642.09
/proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 33596 0 0 0 64187 22 0 0 25 0 1 0 271764173 138772480 33265 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25181/statm: 33880 33265 311 324 0 32950 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 135520


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 25184
/proc/meminfo: memFree=1733652/2055920 swapFree=4182916/4192956
[pid=25181] ppid=25179 vsize=135484 CPUtime=822.02
/proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 33600 0 0 0 82180 22 0 0 25 0 1 0 271764173 138735616 33262 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25181/statm: 33871 33262 311 324 0 32941 0
Current children cumulated CPU time (s) 822.02
Current children cumulated vsize (KiB) 135484

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 25184
/proc/meminfo: memFree=1733844/2055920 swapFree=4182916/4192956
[pid=25181] ppid=25179 vsize=135060 CPUtime=882
/proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 33600 0 0 0 88178 22 0 0 25 0 1 0 271764173 138301440 33156 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25181/statm: 33765 33156 311 324 0 32835 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 135060

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 25184
/proc/meminfo: memFree=1733908/2055920 swapFree=4182916/4192956
[pid=25181] ppid=25179 vsize=135060 CPUtime=941.98
/proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 33600 0 0 0 94176 22 0 0 25 0 1 0 271764173 138301440 33156 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572606 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25181/statm: 33765 33156 311 324 0 32835 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 135060

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 25184
/proc/meminfo: memFree=1733972/2055920 swapFree=4182916/4192956
[pid=25181] ppid=25179 vsize=135060 CPUtime=1001.97
/proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 33600 0 0 0 100174 23 0 0 25 0 1 0 271764173 138301440 33156 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25181/statm: 33765 33156 311 324 0 32835 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 135060

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 25184
/proc/meminfo: memFree=1733972/2055920 swapFree=4182916/4192956
[pid=25181] ppid=25179 vsize=134888 CPUtime=1061.95
/proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 33600 0 0 0 106172 23 0 0 25 0 1 0 271764173 138125312 33113 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25181/statm: 33722 33113 311 324 0 32792 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 134888

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 25184
/proc/meminfo: memFree=1734036/2055920 swapFree=4182916/4192956
[pid=25181] ppid=25179 vsize=134888 CPUtime=1121.93
/proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 33600 0 0 0 112170 23 0 0 25 0 1 0 271764173 138125312 33113 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25181/statm: 33722 33113 311 324 0 32792 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 134888

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 25184
/proc/meminfo: memFree=1734036/2055920 swapFree=4182916/4192956
[pid=25181] ppid=25179 vsize=134804 CPUtime=1181.91
/proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 33600 0 0 0 118168 23 0 0 25 0 1 0 271764173 138039296 33092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572639 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25181/statm: 33701 33092 311 324 0 32771 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 134804

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 25184
/proc/meminfo: memFree=1734100/2055920 swapFree=4182916/4192956
[pid=25181] ppid=25179 vsize=134804 CPUtime=1241.89
/proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 33600 0 0 0 124166 23 0 0 25 0 1 0 271764173 138039296 33092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25181/statm: 33701 33092 311 324 0 32771 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 134804

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 25184
/proc/meminfo: memFree=1734100/2055920 swapFree=4182916/4192956
[pid=25181] ppid=25179 vsize=134804 CPUtime=1301.88
/proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 33600 0 0 0 130165 23 0 0 25 0 1 0 271764173 138039296 33092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25181/statm: 33701 33092 311 324 0 32771 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 134804

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 25184
/proc/meminfo: memFree=1734164/2055920 swapFree=4182916/4192956
[pid=25181] ppid=25179 vsize=134804 CPUtime=1361.85
/proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 33600 0 0 0 136162 23 0 0 25 0 1 0 271764173 138039296 33092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25181/statm: 33701 33092 311 324 0 32771 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 134804

[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 25184
/proc/meminfo: memFree=1734100/2055920 swapFree=4182916/4192956
[pid=25181] ppid=25179 vsize=134792 CPUtime=1421.83
/proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 33600 0 0 0 142160 23 0 0 25 0 1 0 271764173 138027008 33089 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25181/statm: 33698 33089 311 324 0 32768 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 134792

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 25184
/proc/meminfo: memFree=1734164/2055920 swapFree=4182916/4192956
[pid=25181] ppid=25179 vsize=134788 CPUtime=1481.81
/proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 33600 0 0 0 148158 23 0 0 25 0 1 0 271764173 138022912 33088 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25181/statm: 33697 33088 311 324 0 32767 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 134788

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 25184
/proc/meminfo: memFree=1734164/2055920 swapFree=4182916/4192956
[pid=25181] ppid=25179 vsize=134788 CPUtime=1541.8
/proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 33600 0 0 0 154156 24 0 0 25 0 1 0 271764173 138022912 33088 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25181/statm: 33697 33088 311 324 0 32767 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 134788

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 25184
/proc/meminfo: memFree=1732500/2055920 swapFree=4182916/4192956
[pid=25181] ppid=25179 vsize=137580 CPUtime=1601.78
/proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 34293 0 0 0 160154 24 0 0 25 0 1 0 271764173 140881920 33775 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12386059 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25181/statm: 34395 33775 311 324 0 33465 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 137580

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 25184
/proc/meminfo: memFree=1699156/2055920 swapFree=4182916/4192956
[pid=25181] ppid=25179 vsize=169580 CPUtime=1661.76
/proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 42352 0 0 0 166146 30 0 0 25 0 1 0 271764173 173649920 41773 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25181/statm: 42395 41773 311 324 0 41465 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 169580

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 25184
/proc/meminfo: memFree=1699220/2055920 swapFree=4182916/4192956
[pid=25181] ppid=25179 vsize=169580 CPUtime=1721.74
/proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 42352 0 0 0 172144 30 0 0 25 0 1 0 271764173 173649920 41773 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25181/statm: 42395 41773 311 324 0 41465 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 169580

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 25184
/proc/meminfo: memFree=1699220/2055920 swapFree=4182916/4192956
[pid=25181] ppid=25179 vsize=169580 CPUtime=1781.73
/proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 42352 0 0 0 178142 31 0 0 25 0 1 0 271764173 173649920 41773 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25181/statm: 42395 41773 311 324 0 41465 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 169580



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 25184
/proc/meminfo: memFree=1688340/2055920 swapFree=4182916/4192956
[pid=25181] ppid=25179 vsize=180580 CPUtime=1800.03
/proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 45086 0 0 0 179970 33 0 0 25 0 1 0 271764173 184913920 44507 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25181/statm: 45145 44507 311 324 0 44215 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 180580

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

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

Child status: 15
Real time (s): 1800.64
CPU time (s): 1800.07
CPU user time (s): 1799.7
CPU system time (s): 0.360945
CPU usage (%): 99.968
Max. virtual memory (cumulated for all children) (KiB): 180580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.7
system time used= 0.360945
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45090
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= 12
involuntary context switches= 1940

runsolver used 1.41578 second user time and 3.50847 second system time

The end

Launcher Data (download as text)

Begin job on node69 on Mon Apr 30 18:29:07 UTC 2007

IDJOB= 433325
IDBENCH= 2483
IDSOLVER= 199
FILE ID= node69/433325-1177957747

PBS_JOBID= 4727700

Free space on /tmp= 66556 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell3a.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433325-1177957747/instance-433325-1177957747.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node69/watcher-433325-1177957747 -o ROOT/results/node69/solver-433325-1177957747 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433325-1177957747/instance-433325-1177957747.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  efa7fb1a840e9d48ac9b28aadc8f53ba

RANDOM SEED= 382407111

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node69.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.264
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	: 5931.00
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.264
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:       1866484 kB
Buffers:         13876 kB
Cached:         102380 kB
SwapCached:       3900 kB
Active:          30544 kB
Inactive:        96120 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1866484 kB
SwapTotal:     4192956 kB
SwapFree:      4182916 kB
Dirty:            6808 kB
Writeback:           0 kB
Mapped:          16280 kB
Slab:            48692 kB
Committed_AS:  2420044 kB
PageTables:       1472 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= 66556 MiB

End job on node69 on Mon Apr 30 18:59:10 UTC 2007