Trace number 354869

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.16SAT (TO)28 1800.01 1800.68

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_3.opb
MD5SUM0278ee4f163393ac33163ff791a7f96d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark28
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 24
Optimality of the best value was proved NO
Number of variables198
Total number of constraints16
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 constraints16
Minimum length of a constraint82
Maximum length of a constraint86
Number of terms in the objective function 128
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 4080
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1782
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5856
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/354869-1176729497/instance-354869-1176729497.opb
0.00/0.00	c File size is 13159 bytes.
0.00/0.00	c Highest Coefficient sum: 5856
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.002 s
0.00/0.00	c Var: 198 Constr: 16 0/0/16 Lit: 1354 Watch. Lit: 388
0.00/0.00	c Obj. Vars: 128 (64.6465 % of total variables)
0.00/0.00	c Pre-processing Time: 0.005 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    198       16     1354   84      394    2708      0      0 0.01
0.00/0.00	c Switching off LPR mode.
0.00/0.01	o 1080	0.006
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0    198       17     1482   87      896    2964      1      0 0.01
0.00/0.02	c      100    198      117     9681   82     1095    3261    101   6250 0.02
0.00/0.02	o 907	0.017
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      116    198      134    10969   81     1205    2964    118   6823 0.02
0.00/0.04	c      216    198      234    19490   83     1412    3261    218   7448 0.03
0.00/0.04	o 898	0.042
0.00/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.09	c      318    198      337    27221   80     1735    2964    321   7571 0.04
0.00/0.09	c      418    198      437    35609   81     1939    3261    421   7464 0.06
0.00/0.09	o 748	0.087
0.00/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.09	c      619    198      639    52260   81     2368    2964    623   7034 0.09
0.00/0.09	o 695	0.088
0.00/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.09	c      622    198      643    52631   81     2463    2964    627   7068 0.09
0.00/0.09	o 691	0.089
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c      626    198      648    53095   81     2580    2964    632   6955 0.09
0.09/0.11	c      726    198      748    60777   81     2809    3261    732   6980 0.10
0.09/0.11	o 661	0.106
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c      727    198      750    60991   81     2903    2964    734   6858 0.11
0.09/0.11	o 657	0.109
0.59/0.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.69	c      744    198      768    62666   81     3056    2964    752   6825 0.11
0.59/0.69	c      844    198      868    70734   81     3218    3261    852   6752 0.12
0.59/0.69	c     1094    198     1118    87369   78     3786    3588   1102   6880 0.16
0.59/0.69	c     1569    198     1593   120250   75     4771    3947   1577   6821 0.23
0.59/0.69	c     2382    198     2406   172829   71     6398    4342   2390   6107 0.39
0.59/0.69	c     3703    198     3727   261039   70     8986    4777   3711   5723 0.65
0.59/0.69	o 643	0.686
0.89/0.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.95	c     3908    198     3933   272721   69     9438    2964   3917   5688 0.69
0.89/0.95	c     4009    198     1600   105431   65     4080    3261   1584   5662 0.71
0.89/0.95	c     4259    198     1850   119911   64     4580    3588   1834   5755 0.74
0.89/0.95	c     4734    198     2325   149368   64     5539    3947   2309   5773 0.82
0.89/0.95	o 574	0.952
0.89/0.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.97	c     5533    198     3125   202171   64     7229    2964   3109   5805 0.95
0.89/0.97	o 549	0.965
0.89/0.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.97	c     5555    198     1522    97097   63     4032    2964   1506   5756 0.96
0.89/0.97	o 471	0.966
0.89/0.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.97	c     5555    198     1523    97225   63     4121    2964   1507   5750 0.97
0.89/0.97	o 469	0.968
0.99/1.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.04	c     5568    198     1537    98617   64     4264    2964   1521   5752 0.97
0.99/1.04	c     5671    198     1640   106139   64     4492    3261   1624   5757 0.98
0.99/1.04	c     5922    198     1891   123336   65     5028    3588   1875   5705 1.04
0.99/1.04	o 466	1.043
1.19/1.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.24	c     5945    198     1915   125196   65     5175    2964   1899   5694 1.04
1.19/1.24	c     6045    198     2015   132588   65     5375    3261   1999   5713 1.06
1.19/1.24	c     6297    198     2267   151898   67     5900    3588   2251   5719 1.10
1.19/1.24	c     6772    198     2742   180522   65     6843    3947   2726   5763 1.18
1.19/1.24	o 462	1.237
1.19/1.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.25	c     7084    198     3055   205013   67     7548    2964   3039   5726 1.24
1.19/1.25	o 461	1.251
1.19/1.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.26	c     7131    198     1547   109084   70     4074    2964   1531   5700 1.25
1.19/1.26	o 449	1.255
1.19/1.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.26	c     7157    198     1574   110578   70     4267    2964   1558   5702 1.25
1.19/1.26	o 448	1.256
1.29/1.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.33	c     7158    198     1576   110751   70     4375    2964   1560   5699 1.26
1.29/1.33	c     7258    198     1676   119877   71     4596    3261   1660   5697 1.27
1.29/1.33	c     7508    198     1926   136144   70     5078    3588   1910   5726 1.31
1.29/1.33	o 441	1.333
1.39/1.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.42	c     7638    198     2057   144435   70     5411    2964   2041   5725 1.33
1.39/1.42	c     7739    198     2158   151558   70     5671    3261   2142   5728 1.35
1.39/1.42	c     7989    198     2408   167878   69     6191    3588   2392   5730 1.39
1.39/1.42	o 382	1.418
1.39/1.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.49	c     8121    198     2541   175658   69     6524    2964   2525   5727 1.42
1.39/1.49	c     8222    198     2642   183167   69     6744    3261   2626   5733 1.43
1.39/1.49	c     8472    198     2892   198172   68     7264    3588   2876   5751 1.47
1.39/1.49	o 367	1.492
1.68/1.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.68/1.70	c     8568    198     2989   205298   68     7531    2964   2973   5742 1.49
1.68/1.70	c     8668    198     1599   105872   66     4060    3261   1583   5744 1.51
1.68/1.70	c     8918    198     1849   123260   66     4576    3588   1833   5783 1.54
1.68/1.70	c     9394    198     2325   155023   66     5537    3947   2309   5823 1.61
1.68/1.70	o 357	1.697
1.68/1.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.68/1.72	c     9824    198     2756   187023   67     6482    2964   2740   5789 1.70
1.68/1.72	c     9924    198     2856   191971   67     6701    3261   2840   5789 1.71
1.68/1.72	o 349	1.72
1.68/1.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.68/1.75	c     9948    198     2881   193869   67     6841    2964   2865   5783 1.72
1.68/1.75	c    10049    198     1499   100121   66     3883    3261   1483   5775 1.74
1.68/1.75	o 345	1.75
1.68/1.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.68/1.79	c    10109    198     1560   104105   66     4085    2964   1544   5776 1.75
1.68/1.79	c    10209    198     1660   109241   65     4322    3261   1644   5784 1.76
1.68/1.79	o 341	1.787
1.78/1.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.78/1.83	c    10331    198     1783   117766   66     4647    2964   1767   5781 1.79
1.78/1.83	c    10431    198     1883   122867   65     4888    3261   1867   5788 1.80
1.78/1.83	o 339	1.829
1.98/2.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.98/2.03	c    10579    198     2032   134853   66     5306    2964   2016   5784 1.83
1.98/2.03	c    10679    198     2132   139681   65     5498    3261   2116   5788 1.84
1.98/2.03	c    10929    198     2382   158388   66     5983    3588   2366   5785 1.89
1.98/2.03	c    11404    198     2857   188040   65     6941    3947   2841   5788 1.97
1.98/2.03	o 337	2.032
2.09/2.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.09/2.20	c    11638    198     3092   207207   67     7533    2964   3076   5727 2.03
2.09/2.20	c    11738    198     1599   104802   65     4061    3261   1583   5723 2.05
2.09/2.20	c    11988    198     1849   121064   65     4561    3588   1833   5746 2.09
2.09/2.20	c    12463    198     2324   154713   66     5529    3947   2308   5788 2.15
2.09/2.20	o 335	2.197
2.39/2.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.39/2.45	c    12836    198     2698   177884   65     6385    2964   2682   5839 2.20
2.39/2.45	c    12936    198     2798   182824   65     6595    3261   2782   5853 2.21
2.39/2.45	c    13186    198     3048   198705   65     7072    3588   3032   5881 2.24
2.39/2.45	c    13661    198     3523   231121   65     8050    3947   3507   5901 2.31
2.39/2.45	o 294	2.453
2.69/2.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.69/2.79	c    14404    198     2239   143580   64     5471    2964   2223   5871 2.45
2.69/2.79	c    14504    198     2339   148823   63     5663    3261   2323   5876 2.47
2.69/2.79	c    14754    198     2589   163670   63     6177    3588   2573   5878 2.51
2.69/2.79	c    15232    198     3067   193790   63     7127    3947   3051   5908 2.58
2.69/2.79	c    16045    198     3880   241231   62     8776    4342   3864   5927 2.71
2.69/2.79	o 285	2.786
2.89/2.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.89/2.93	c    16514    198     4350   274963   63     9826    2964   4334   5925 2.79
2.89/2.93	c    16615    198     1600   102000   63     4062    3261   1584   5914 2.81
2.89/2.93	c    16866    198     1851   118361   63     4593    3588   1835   5932 2.84
2.89/2.93	c    17341    198     2326   147112   63     5528    3947   2310   5971 2.90
2.89/2.93	o 272	2.927
3.08/3.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.08/3.18	c    17494    198     2480   156971   63     5951    2964   2464   5976 2.93
3.08/3.18	c    17594    198     2580   162910   63     6157    3261   2564   5982 2.94
3.08/3.18	c    17844    198     2830   173698   61     6650    3588   2814   6010 2.97
3.08/3.18	c    18319    198     3305   204933   62     7612    3947   3289   6010 3.05
3.08/3.18	o 262	3.181
3.08/3.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.08/3.18	c    19059    198     1993   116466   58     5003    2964   1977   5991 3.18
3.08/3.18	o 234	3.184
3.08/3.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.08/3.19	c    19070    198     2005   117144   58     5142    2964   1989   5989 3.18
3.08/3.19	o 228	3.185
3.08/3.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.08/3.19	c    19071    198     2007   117362   58     5264    2964   1991   5987 3.19
3.08/3.19	o 226	3.187
3.19/3.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.19/3.22	c    19081    198     2018   118242   58     5415    2964   2002   5987 3.19
3.19/3.22	c    19181    198     2118   123390   58     5629    3261   2102   5980 3.21
3.19/3.22	o 224	3.222
16.79/16.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.79/16.83	c    19257    198     2195   127996   58     5898    2964   2179   5974 3.22
16.79/16.83	c    19358    198     2296   132342   57     6108    3261   2280   5978 3.24
16.79/16.83	c    19609    198     2547   147370   57     6588    3588   2531   5978 3.28
16.79/16.83	c    20084    198     3022   170325   56     7531    3947   3006   5979 3.36
16.79/16.83	c    20899    198     3837   214595   55     9155    4342   3821   5988 3.49
16.79/16.83	c    22219    198     2919   147500   50     6722    4777   2903   5992 3.71
16.79/16.83	c    24300    198     2525   148360   58     5914    5255   2509   5912 4.11
16.79/16.83	c    27523    198     3052   148183   48     6956    5781   3036   5802 4.74
16.79/16.83	c    32459    198     5012   257613   51    10898    6360   4996   5657 5.74
16.79/16.83	c    39965    198     6054   286591   47    12986    6997   6038   5536 7.22
16.79/16.83	c    51326    198     6704   385772   57    14288    7697   6688   4891 10.49
16.79/16.83	c    68470    198     4241   246554   58     9353    8467   4225   4393 15.59
16.79/16.83	o 223	16.827
17.09/17.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.09/17.19	c    72495    198     8267   500224   60    17543    2964   8251   4308 16.83
17.09/17.19	c    72595    198     1599   104733   65     4086    3261   1583   4286 16.94
17.09/17.19	c    72845    198     1849   116819   63     4576    3588   1833   4294 16.96
17.09/17.19	c    73320    198     2324   143783   61     5538    3947   2308   4306 17.03
17.09/17.19	c    74133    198     3137   195314   62     7123    4342   3121   4324 17.14
17.09/17.19	o 213	17.187
17.18/17.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.18/17.20	c    74423    198     3428   208261   60     7848    2964   3412   4329 17.19
17.18/17.20	o 211	17.198
20.88/20.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
20.88/20.96	c    74441    198     1518    89504   58     4024    2964   1502   4328 17.20
20.88/20.96	c    74541    198     1618    93540   57     4204    3261   1602   4331 17.21
20.88/20.96	c    74791    198     1868   103201   55     4711    3588   1852   4340 17.23
20.88/20.96	c    75267    198     2344   123444   52     5674    3947   2328   4355 17.28
20.88/20.96	c    76080    198     3157   157523   49     7277    4342   3141   4378 17.38
20.88/20.96	c    77401    198     2251   100958   44     5342    4777   2235   4401 17.59
20.88/20.96	c    79482    198     4332   213049   49     9526    5255   4316   4428 17.95
20.88/20.96	c    82706    198     4855   272414   56    10588    5781   4839   4437 18.64
20.88/20.96	c    87642    198     3889   184854   47     8663    6360   3873   4414 19.86
20.88/20.96	o 209	20.953
62.77/62.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
62.77/62.83	c    93054    198     6074   339421   55    13166    2964   6058   4441 20.95
62.77/62.83	c    93154    198     1599    89724   56     4046    3261   1583   4434 21.01
62.77/62.83	c    93404    198     1849   100428   54     4537    3588   1833   4441 21.03
62.77/62.83	c    93879    198     2324   121560   52     5520    3947   2308   4451 21.09
62.77/62.83	c    94692    198     3137   161786   51     7153    4342   3121   4461 21.23
62.77/62.83	c    96012    198     2236   113306   50     5323    4777   2220   4474 21.46
62.77/62.83	c    98095    198     4319   214376   49     9504    5255   4303   4501 21.79
62.77/62.83	c   101319    198     4851   246940   50    10545    5781   4835   4505 22.49
62.77/62.83	c   106255    198     3891   183256   47     8657    6360   3875   4540 23.40
62.77/62.83	c   113761    198     4942   255870   51    10741    6997   4926   4561 24.94
62.77/62.83	c   125122    198     5600   309747   55    12078    7697   5584   4497 27.82
62.77/62.83	c   142266    198     7099   342637   48    15025    8467   7083   4474 31.80
62.77/62.83	c   168085    198     7111   358914   50    15090    9314   7095   4240 39.64
62.77/62.83	c   206917    198     8193   415465   50    17246   10246   8177   4014 51.55
62.77/62.83	o 175	62.812
121.05/121.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
121.05/121.15	c   235365    198     5550   310756   55    12116    2964   5534   3747 62.81
121.05/121.15	c   235465    198     1599    93033   58     4044    3261   1583   3745 62.87
121.05/121.15	c   235715    198     1849   104275   56     4540    3588   1833   3747 62.89
121.05/121.15	c   236190    198     2324   124313   53     5495    3947   2308   3752 62.94
121.05/121.15	c   237004    198     3138   161499   51     7170    4342   3122   3758 63.05
121.05/121.15	c   238324    198     2216   106214   47     5321    4777   2200   3764 63.30
121.05/121.15	c   240405    198     4297   209938   48     9440    5255   4281   3774 63.69
121.05/121.15	c   243628    198     4853   229821   47    10548    5781   4837   3785 64.36
121.05/121.15	c   248565    198     3876   202093   52     8635    6360   3860   3797 65.45
121.05/121.15	c   256071    198     4914   240043   48    10669    6997   4898   3815 67.12
121.05/121.15	c   267432    198     5574   277072   49    12010    7697   5558   3837 69.69
121.05/121.15	c   284580    198     7093   375749   52    15075    8467   7077   3806 74.77
121.05/121.15	c   310401    198     7140   342878   48    15132    9314   7124   3763 82.48
121.05/121.15	c   349233    198     8292   404846   48    17439   10246   8276   3707 94.18
121.05/121.15	c   407585    198     9649   450158   46    20164   11271   9633   3528 115.53
121.05/121.15	o 173	121.118
121.86/121.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
121.86/121.91	c   421991    198     6980   370402   53    14980    2964   6964   3484 121.12
121.86/121.91	c   422091    198     1599    79045   49     4060    3261   1583   3482 121.22
121.86/121.91	c   422341    198     1849    91889   49     4568    3588   1833   3483 121.25
121.86/121.91	c   422817    198     2325   118891   51     5525    3947   2309   3485 121.32
121.86/121.91	c   423631    198     3139   166835   53     7162    4342   3123   3487 121.46
121.86/121.91	c   424953    198     2227   124570   55     5350    4777   2211   3491 121.72
121.86/121.91	o 169	121.87
126.95/127.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
126.95/127.01	c   425778    198     3053   171963   56     7131    2964   3037   3493 121.87
126.95/127.01	c   425878    198     1599    90593   56     4060    3261   1583   3493 121.90
126.95/127.01	c   426129    198     1850   102966   55     4594    3588   1834   3494 121.94
126.95/127.01	c   426604    198     2325   128742   55     5547    3947   2309   3495 122.03
126.95/127.01	c   427418    198     3139   168919   53     7186    4342   3123   3498 122.16
126.95/127.01	c   428738    198     2235   113424   50     5343    4777   2219   3502 122.42
126.95/127.01	c   430821    198     4318   229570   53     9520    5255   4302   3507 122.83
126.95/127.01	c   434044    198     4836   283174   58    10566    5781   4820   3514 123.51
126.95/127.01	c   438980    198     3869   215425   55     8627    6360   3853   3517 124.79
126.95/127.01	c   446486    198     4860   275536   56    10615    6997   4844   3520 126.83
126.95/127.01	o 166	126.972
127.05/127.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
127.05/127.17	c   447185    198     5560   310684   55    12138    2964   5544   3521 126.97
127.05/127.17	c   447285    198     1599    85277   53     4074    3261   1583   3520 127.04
127.05/127.17	c   447535    198     1849    98479   53     4592    3588   1833   3521 127.08
127.05/127.17	o 164	127.128
127.95/128.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
127.95/128.09	c   447825    198     2140   118510   55     5298    2964   2124   3522 127.13
127.95/128.09	c   447925    198     2240   122680   54     5452    3261   2224   3522 127.14
127.95/128.09	c   448175    198     2490   134915   54     5968    3588   2474   3523 127.19
127.95/128.09	c   448650    198     2965   156507   52     6912    3947   2949   3525 127.26
127.95/128.09	c   449464    198     3779   197095   52     8563    4342   3763   3527 127.40
127.95/128.09	c   450785    198     2884   149003   51     6626    4777   2868   3532 127.63
127.95/128.09	c   452866    198     2520   125014   49     5920    5255   2504   3537 128.02
127.95/128.09	o 155	128.054
128.05/128.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
128.05/128.11	c   453106    198     2761   137653   49     6531    2964   2745   3538 128.05
128.05/128.11	c   453206    198     2861   141474   49     6709    3261   2845   3538 128.07
128.05/128.11	o 153	128.072
128.15/128.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
128.15/128.22	c   453233    198     2889   143625   49     6917    2964   2873   3538 128.07
128.15/128.22	c   453333    198     1499    72778   48     3856    3261   1483   3539 128.09
128.15/128.22	c   453585    198     1751    87350   49     4391    3588   1735   3540 128.12
128.15/128.22	c   454060    198     2226   109745   49     5328    3947   2210   3542 128.18
128.15/128.22	o 151	128.182
128.35/128.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
128.35/128.46	c   454086    198     2253   112135   49     5518    2964   2237   3542 128.18
128.35/128.46	c   454186    198     2353   116256   49     5712    3261   2337   3542 128.19
128.35/128.46	c   454436    198     2603   129189   49     6219    3588   2587   3543 128.24
128.35/128.46	c   454911    198     3078   152974   49     7115    3947   3062   3545 128.32
128.35/128.46	o 147	128.423
128.45/128.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
128.45/128.50	c   455401    198     3569   179230   50     8275    2964   3553   3546 128.42
128.45/128.50	c   455502    198     1600    83635   52     4079    3261   1584   3546 128.45
128.45/128.50	o 146	128.464
129.15/129.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
129.15/129.22	c   455650    198     1749    92015   52     4509    2964   1733   3546 128.46
129.15/129.22	c   455751    198     1850    95953   51     4684    3261   1834   3547 128.47
129.15/129.22	c   456001    198     2100   116895   55     5213    3588   2084   3548 128.51
129.15/129.22	c   456477    198     2576   140934   54     6164    3947   2560   3550 128.59
129.15/129.22	c   457290    198     3389   184667   54     7784    4342   3373   3552 128.73
129.15/129.22	c   458610    198     2480   133308   53     5851    4777   2464   3554 129.02
129.15/129.22	o 96	129.179
190.23/190.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
190.23/190.34	c   459604    198     3475   194618   56     7965    2964   3459   3557 129.18
190.23/190.34	c   459704    192     1599    89978   56     4055    3261   1583   3557 129.21
190.23/190.34	c   459954    187     1849   100089   54     4563    3588   1833   3558 129.24
190.23/190.34	c   460429    186     2324   121149   52     5521    3947   2308   3560 129.30
190.23/190.34	c   461242    186     3137   157891   50     7148    4342   3121   3563 129.42
190.23/190.34	c   462562    185     2233   100700   45     5337    4777   2217   3567 129.67
190.23/190.34	c   464644    185     4315   195257   45     9498    5255   4299   3573 130.03
190.23/190.34	c   467867    184     4869   223358   45    10608    5781   4853   3580 130.66
190.23/190.34	c   472803    184     3927   176676   44     8723    6360   3911   3592 131.63
190.23/190.34	c   480309    183     4950   233893   47    10769    6997   4934   3606 133.17
190.23/190.34	c   491670    183     5666   259627   45    12200    7697   5650   3627 135.54
190.23/190.34	c   508814    182     7202   348310   48    15261    8467   7186   3627 140.28
190.23/190.34	c   534633    182     7304   335482   45    15468    9314   7288   3627 147.38
190.23/190.34	c   573465    182     8436   423357   50    17738   10246   8420   3605 159.03
190.23/190.34	c   631817    182     9886   463212   46    20643   11271   9870   3562 177.34
190.23/190.34	o 95	190.279
192.63/192.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
192.63/192.73	c   670609    182     8866   409890   46    18716    2932   8850   3524 190.28
192.63/192.73	c   670709    182     1599    72385   45     4055    3226   1583   3521 190.46
192.63/192.73	c   670959    182     1849    82952   44     4531    3549   1833   3522 190.49
192.63/192.73	c   671435    182     2325   102953   44     5500    3904   2309   3523 190.54
192.63/192.73	c   672248    182     3138   139262   44     7136    4295   3122   3526 190.64
192.63/192.73	c   673568    182     2268   100986   44     5383    4725   2252   3528 190.87
192.63/192.73	c   675649    182     4349   191457   44     9558    5198   4333   3534 191.15
192.63/192.73	c   678872    182     4919   218384   44    10688    5718   4903   3541 191.67
192.63/192.73	o 65	192.671
192.63/192.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
192.63/192.76	c   683748    182     3967   176604   44     8900    2932   3951   3548 192.67
192.63/192.76	o 63	192.702
192.63/192.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
192.63/192.77	c   683781    182     1533    72089   47     4036    2932   1517   3548 192.70
192.63/192.77	o 62	192.711
192.73/192.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
192.73/192.85	c   683849    180     1602    76867   47     4284    2928   1586   3548 192.71
192.73/192.85	c   683949    173     1702    82279   48     4475    3221   1686   3548 192.73
192.73/192.85	c   684199    170     1952    96083   49     4974    3544   1936   3549 192.77
192.73/192.85	o 60	192.789
368.08/368.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
368.08/368.25	c   684327    170     2081   104876   50     5332    2908   2065   3549 192.79
368.08/368.25	c   684427    169     2181   110063   50     5521    3199   2165   3549 192.81
368.08/368.25	c   684677    169     2431   123842   50     6041    3519   2415   3550 192.86
368.08/368.25	c   685152    167     2906   148112   50     6979    3871   2890   3550 192.95
368.08/368.25	c   685966    167     3720   190019   51     8606    4259   3704   3551 193.12
368.08/368.25	c   687286    167     2870   149579   52     6569    4685   2854   3552 193.44
368.08/368.25	c   689368    167     2567   133131   51     5977    5154   2551   3554 193.96
368.08/368.25	c   692591    167     3173   165227   52     7180    5670   3157   3555 194.80
368.08/368.25	c   697527    167     5216   279129   53    11267    6238   5200   3558 196.04
368.08/368.25	c   705035    166     3216   176322   54     7277    6862   3200   3553 198.43
368.08/368.25	c   716396    166     4137   225578   54     9114    7549   4121   3546 201.99
368.08/368.25	c   733541    166     5991   332498   55    12822    8304   5975   3527 207.93
368.08/368.25	c   759360    166     6561   352792   53    13954    9135   6545   3495 217.25
368.08/368.25	c   798192    166     8457   449453   53    17757   10049   8441   3420 233.35
368.08/368.25	c   856544    166     5918   334238   56    12665   11054   5902   3290 260.27
368.08/368.25	c   944176    166     9897   562463   56    20625   12160   9881   3097 304.85
368.08/368.25	o 58	368.139
368.28/368.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
368.28/368.40	c  1060187    166     9373   539045   57    19683    2900   9357   2879 368.14
368.28/368.40	o 57	368.293
420.27/420.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
420.27/420.43	c  1060277    166     1590    88190   55     4105    2900   1574   2878 368.29
420.27/420.43	c  1060377    166     1690    93651   55     4309    3191   1674   2879 368.31
420.27/420.43	c  1060627    166     1940   107717   55     4814    3511   1924   2879 368.35
420.27/420.43	c  1061102    166     2415   135628   56     5738    3863   2399   2880 368.43
420.27/420.43	c  1061915    166     3228   182117   56     7375    4250   3212   2880 368.60
420.27/420.43	c  1063235    166     2361   130300   55     5554    4676   2345   2881 368.93
420.27/420.43	c  1065316    166     4442   246838   55     9712    5144   4426   2883 369.41
420.27/420.43	c  1068540    166     5036   282855   56    10907    5659   5020   2885 370.25
420.27/420.43	c  1073476    166     4186   235801   56     9198    6225   4170   2887 371.80
420.27/420.43	c  1080983    166     5351   299866   56    11533    6848   5335   2889 374.11
420.27/420.43	c  1092344    166     6279   345038   54    13374    7533   6263   2889 378.07
420.27/420.43	c  1109490    166     4319   241137   55     9475    8287   4303   2887 384.25
420.27/420.43	c  1135309    166     4970   274057   55    10760    9116   4954   2880 394.13
420.27/420.43	c  1174141    166     6894   380986   55    14627   10028   6878   2867 409.52
420.27/420.43	o 54	420.304
420.37/420.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
420.37/420.57	c  1200502    166     7931   425741   53    16783    2900   7915   2856 420.30
420.37/420.57	c  1200602    166     1599    85091   53     4031    3191   1583   2855 420.44
420.37/420.57	o 52	420.45
420.87/421.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
420.87/421.03	c  1200720    166     1718    94176   54     4358    2900   1702   2855 420.45
420.87/421.03	c  1200822    166     1820    98930   54     4566    3191   1804   2855 420.47
420.87/421.03	c  1201072    166     2070   111629   53     5060    3511   2054   2856 420.51
420.87/421.03	c  1201547    166     2545   137062   53     6018    3863   2529   2856 420.61
420.87/421.03	c  1202360    166     3358   177094   52     7629    4250   3342   2857 420.78
420.87/421.03	o 51	420.902
564.92/565.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
564.92/565.14	c  1202963    166     3962   208384   52     8942    2900   3946   2858 420.90
564.92/565.14	c  1203063    166     1599    79341   49     4009    3191   1583   2857 420.95
564.92/565.14	c  1203314    166     1850    91601   49     4534    3511   1834   2858 420.98
564.92/565.14	c  1203789    166     2325   115975   49     5485    3863   2309   2858 421.06
564.92/565.14	c  1204602    166     3138   159731   50     7114    4250   3122   2859 421.21
564.92/565.14	c  1205923    166     2275   119291   52     5388    4676   2259   2861 421.49
564.92/565.14	c  1208005    166     4357   227267   52     9551    5144   4341   2863 421.93
564.92/565.14	c  1211229    166     4955   251821   50    10737    5659   4939   2865 422.75
564.92/565.14	c  1216165    166     4139   209448   50     9102    6225   4123   2868 424.01
564.92/565.14	c  1223671    166     5326   281523   52    11481    6848   5310   2871 426.12
564.92/565.14	c  1235032    166     6274   335166   53    13387    7533   6258   2874 429.68
564.92/565.14	c  1252176    166     4325   221902   51     9470    8287   4309   2875 435.43
564.92/565.14	c  1277995    166     4964   262802   52    10757    9116   4948   2875 444.44
564.92/565.14	c  1316827    166     6942   360572   51    14669   10028   6926   2861 460.24
564.92/565.14	c  1375179    166     9587   527338   55    20009   11031   9571   2834 485.14
564.92/565.14	c  1462811    166     8166   452449   55    17158   12135   8150   2780 526.02
564.92/565.14	o 49	564.973
569.92/570.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
569.92/570.18	c  1535805    166     7716   430883   55    16360    2900   7700   2718 564.97
569.92/570.18	c  1535905    166     1599    88458   55     4037    3191   1583   2717 565.11
569.92/570.18	c  1536156    166     1850   100994   54     4530    3511   1834   2718 565.16
569.92/570.18	c  1536631    166     2325   126663   54     5478    3863   2309   2718 565.27
569.92/570.18	c  1537444    166     3138   169864   54     7113    4250   3122   2718 565.45
569.92/570.18	c  1538764    166     2279   117982   51     5388    4676   2263   2719 565.80
569.92/570.18	c  1540845    166     4360   227693   52     9561    5144   4344   2720 566.30
569.92/570.18	c  1544068    166     4960   260360   52    10752    5659   4944   2722 567.20
569.92/570.18	c  1549004    166     4124   222756   54     9073    6225   4108   2724 568.60
569.92/570.18	o 47	570.007
637.00/637.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
637.00/637.21	c  1553514    166     5468   296621   54    11863    2900   5452   2725 570.01
637.00/637.21	c  1553614    166     1599    81593   51     4034    3191   1583   2725 570.08
637.00/637.21	c  1553864    166     1849    97254   52     4520    3511   1833   2725 570.12
637.00/637.21	c  1554339    166     2324   119713   51     5482    3863   2308   2725 570.21
637.00/637.21	c  1555152    166     3137   159022   50     7110    4250   3121   2726 570.35
637.00/637.21	c  1556472    166     2284   109395   47     5408    4676   2268   2727 570.60
637.00/637.21	c  1558553    166     4365   214713   49     9568    5144   4349   2729 570.98
637.00/637.21	c  1561776    166     4955   248684   50    10746    5659   4939   2731 571.72
637.00/637.21	c  1566712    166     4106   204221   49     9039    6225   4090   2735 572.84
637.00/637.21	c  1574218    166     5283   262670   49    11398    6848   5267   2739 574.61
637.00/637.21	c  1585579    166     6231   318333   51    13287    7533   6215   2745 577.60
637.00/637.21	c  1602723    166     4269   217107   50     9364    8287   4253   2749 582.90
637.00/637.21	c  1628542    166     4911   260197   52    10653    9116   4895   2755 591.03
637.00/637.21	c  1667374    166     6834   349360   51    14496   10028   6818   2757 604.68
637.00/637.21	c  1725726    166     9503   510927   53    19822   11031   9487   2749 627.61
637.00/637.21	o 32	637.022
637.10/637.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
637.10/637.36	c  1747818    166     9318   470910   50    19572    2900   9302   2743 637.02
637.10/637.36	o 30	637.175
637.10/637.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
637.10/637.37	c  1747844    163     1526    74564   48     3976    2894   1510   2743 637.18
637.10/637.37	o 28	637.18
1799.96/1800.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.96/1800.53	c  1747883    163     1566    77309   49     4150    2894   1550   2743 637.18
1799.96/1800.53	c  1747984    158     1667    82606   49     4342    3184   1651   2743 637.20
1799.96/1800.53	c  1748235    155     1918    96497   50     4847    3503   1902   2743 637.24
1799.96/1800.53	c  1748710    151     2393   122629   51     5793    3854   2377   2743 637.34
1799.96/1800.53	c  1749523    150     3206   168878   52     7412    4240   3190   2744 637.53
1799.96/1800.53	c  1750843    150     2357   131724   55     5539    4665   2341   2744 637.92
1799.96/1800.53	c  1752924    150     4438   251990   56     9694    5132   4422   2745 638.43
1799.96/1800.53	c  1756148    150     5049   284721   56    10906    5646   5033   2746 639.45
1799.96/1800.53	c  1761084    150     4215   240284   57     9234    6211   4199   2747 640.94
1799.96/1800.53	c  1768590    150     5408   313710   58    11636    6833   5392   2748 643.38
1799.96/1800.53	c  1779952    150     6352   358402   56    13517    7517   6336   2748 647.66
1799.96/1800.53	c  1797097    150     4436   252158   56     9691    8269   4420   2746 654.30
1799.96/1800.53	c  1822916    150     5147   301052   58    11095    9096   5131   2739 665.43
1799.96/1800.53	c  1861749    150     7183   414458   57    15178   10006   7167   2725 683.00
1799.96/1800.53	c  1920101    150     9953   583857   58    20707   11007   9937   2699 711.34
1799.96/1800.53	c  2007733    150     8691   500658   57    18189   12108   8675   2652 756.82
1799.96/1800.53	c  2139285    150    12027   683397   56    24870   13319  12011   2571 832.03
1799.96/1800.53	c  2336718    150     8145   481607   59    17094   14651   8129   2437 958.62
1799.96/1800.53	c  2632970    150     9341   551667   59    19494   16117   9325   2263 1163.47
1799.96/1800.53	c  3077454    150    16049   942113   58    32910   17729  16033   2055 1497.17
1799.96/1800.53	c Resources Exceeded
1799.96/1800.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
1799.96/1800.53	v -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
1799.96/1800.53	v -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
1799.96/1800.53	v -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
1799.96/1800.53	v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127
1799.96/1800.53	v -x128 -x129 x130 -x131 -x132 -x133 x134 -x135 -x136 x137 -x138 -x139 x140 -x141 x142 -x143 -x144 x145 x146 -x147 -x148 x149
1799.96/1800.53	v -x150 -x151 x152 -x153 -x154 -x155 -x156 x157 x158 x159 -x160 -x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 -x173
1799.96/1800.53	v x174 -x175 x177 -x178 x179 -x180 -x181 x182 -x183 x184 x185 x186 x187 x188 -x189 x190 -x191 x192 -x193 -x194 -x195 -x196 -x197
1799.96/1800.53	v x198 x176
1799.96/1800.53	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.96/1800.53	c  313  3423611  43862  3501179    14567   869585  14551   1902 1800.00
1799.96/1800.53	c Objective: 28
1799.96/1800.53	s SATISFIABLE
1799.96/1800.53	c Total time: 1800 s

Verifier Data (download as text)

OK	28

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node11/watcher-354869-1176729497 -o ROOT/results/node11/solver-354869-1176729497 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354869-1176729497/instance-354869-1176729497.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.08 1.00 0.99 3/77 21772
/proc/meminfo: memFree=1518672/2055920 swapFree=4146520/4192956
[pid=21772] ppid=21770 vsize=11752 CPUtime=0
/proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 369 0 0 0 0 0 0 0 18 0 1 0 113998611 12034048 337 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21772/statm: 2938 337 282 324 0 2003 0

[startup+0.00996198 s]
/proc/loadavg: 1.08 1.00 0.99 3/77 21772
/proc/meminfo: memFree=1518672/2055920 swapFree=4146520/4192956
[pid=21772] ppid=21770 vsize=11868 CPUtime=0
/proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 416 0 0 0 0 0 0 0 18 0 1 0 113998611 12152832 380 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21772/statm: 2967 380 309 324 0 2036 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11868

[startup+0.101914 s]
/proc/loadavg: 1.08 1.00 0.99 3/77 21772
/proc/meminfo: memFree=1518672/2055920 swapFree=4146520/4192956
[pid=21772] ppid=21770 vsize=4836 CPUtime=0.09
/proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 612 0 0 0 9 0 0 0 18 0 1 0 113998611 4952064 576 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21772/statm: 1209 576 312 324 0 278 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4836

[startup+0.301938 s]
/proc/loadavg: 1.08 1.00 0.99 3/77 21772
/proc/meminfo: memFree=1518672/2055920 swapFree=4146520/4192956
[pid=21772] ppid=21770 vsize=6028 CPUtime=0.29
/proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 923 0 0 0 29 0 0 0 19 0 1 0 113998611 6172672 887 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21772/statm: 1507 887 312 324 0 576 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6028

[startup+0.701985 s]
/proc/loadavg: 1.08 1.00 0.99 3/77 21772
/proc/meminfo: memFree=1518672/2055920 swapFree=4146520/4192956
[pid=21772] ppid=21770 vsize=7980 CPUtime=0.69
/proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 1401 0 0 0 68 1 0 0 23 0 1 0 113998611 8171520 1365 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21772/statm: 1995 1365 312 324 0 1064 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7980

[startup+1.50108 s]
/proc/loadavg: 1.08 1.00 0.99 2/78 21773
/proc/meminfo: memFree=1514376/2055920 swapFree=4146520/4192956
[pid=21772] ppid=21770 vsize=7980 CPUtime=1.49
/proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 1401 0 0 0 148 1 0 0 25 0 1 0 113998611 8171520 1365 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21772/statm: 1995 1365 312 324 0 1064 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7980

[startup+3.10127 s]
/proc/loadavg: 1.08 1.00 0.99 2/78 21773
/proc/meminfo: memFree=1514248/2055920 swapFree=4146520/4192956
[pid=21772] ppid=21770 vsize=7984 CPUtime=3.08
/proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 1420 0 0 0 306 2 0 0 25 0 1 0 113998611 8175616 1384 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21772/statm: 1996 1384 312 324 0 1065 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 7984

[startup+6.30165 s]
/proc/loadavg: 1.07 1.00 0.99 2/78 21773
/proc/meminfo: memFree=1513608/2055920 swapFree=4146520/4192956
[pid=21772] ppid=21770 vsize=8888 CPUtime=6.29
/proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 1637 0 0 0 625 4 0 0 25 0 1 0 113998611 9101312 1601 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21772/statm: 2222 1601 312 324 0 1291 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8888

[startup+12.7014 s]
/proc/loadavg: 1.07 1.00 0.99 2/78 21773
/proc/meminfo: memFree=1511432/2055920 swapFree=4146520/4192956
[pid=21772] ppid=21770 vsize=10572 CPUtime=12.69
/proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 2071 0 0 0 1263 6 0 0 25 0 1 0 113998611 10825728 2035 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21772/statm: 2643 2035 312 324 0 1712 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10572

[startup+25.5019 s]
/proc/loadavg: 1.05 1.00 0.99 2/78 21773
/proc/meminfo: memFree=1510664/2055920 swapFree=4146520/4192956
[pid=21772] ppid=21770 vsize=11348 CPUtime=25.48
/proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 2255 0 0 0 2538 10 0 0 25 0 1 0 113998611 11620352 2219 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21772/statm: 2837 2219 312 324 0 1906 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 11348

[startup+51.102 s]
/proc/loadavg: 1.03 1.00 0.99 2/78 21773
/proc/meminfo: memFree=1510408/2055920 swapFree=4146520/4192956
[pid=21772] ppid=21770 vsize=11708 CPUtime=51.07
/proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 2335 0 0 0 5092 15 0 0 25 0 1 0 113998611 11988992 2299 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21772/statm: 2927 2299 312 324 0 1996 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 11708

[startup+102.305 s]
/proc/loadavg: 1.01 1.00 0.99 2/78 21773
/proc/meminfo: memFree=1508104/2055920 swapFree=4146520/4192956
[pid=21772] ppid=21770 vsize=13960 CPUtime=102.26
/proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 2912 0 0 0 10195 31 0 0 25 0 1 0 113998611 14295040 2876 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551000 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21772/statm: 3490 2876 312 324 0 2559 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 13960

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 21773
/proc/meminfo: memFree=1508360/2055920 swapFree=4146520/4192956
[pid=21772] ppid=21770 vsize=13500 CPUtime=162.24
/proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 2913 0 0 0 16179 45 0 0 25 0 1 0 113998611 13824000 2769 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21772/statm: 3375 2769 312 324 0 2444 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 13500

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 21773
/proc/meminfo: memFree=1508360/2055920 swapFree=4146520/4192956
[pid=21772] ppid=21770 vsize=13460 CPUtime=222.22
/proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 2913 0 0 0 22162 60 0 0 25 0 1 0 113998611 13783040 2759 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21772/statm: 3365 2759 312 324 0 2434 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 13460

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 21773
/proc/meminfo: memFree=1508360/2055920 swapFree=4146520/4192956
[pid=21772] ppid=21770 vsize=13576 CPUtime=282.21
/proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 2938 0 0 0 28149 72 0 0 25 0 1 0 113998611 13901824 2781 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21772/statm: 3394 2781 312 324 0 2463 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 13576

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 21773
/proc/meminfo: memFree=1507528/2055920 swapFree=4146520/4192956
[pid=21772] ppid=21770 vsize=14316 CPUtime=342.18
/proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 3129 0 0 0 34136 82 0 0 25 0 1 0 113998611 14659584 2972 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21772/statm: 3579 2972 312 324 0 2648 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 14316

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 21773
/proc/meminfo: memFree=1507272/2055920 swapFree=4146520/4192956
[pid=21772] ppid=21770 vsize=14648 CPUtime=402.17
/proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 3195 0 0 0 40125 92 0 0 25 0 1 0 113998611 14999552 3038 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21772/statm: 3662 3038 312 324 0 2731 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 14648

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 21773
/proc/meminfo: memFree=1507272/2055920 swapFree=4146520/4192956
[pid=21772] ppid=21770 vsize=14632 CPUtime=462.15
/proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 3195 0 0 0 46112 103 0 0 25 0 1 0 113998611 14983168 3038 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21772/statm: 3658 3038 312 324 0 2727 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 14632

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 21773
/proc/meminfo: memFree=1507272/2055920 swapFree=4146520/4192956
[pid=21772] ppid=21770 vsize=14632 CPUtime=522.14
/proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 3195 0 0 0 52101 113 0 0 25 0 1 0 113998611 14983168 3038 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134560215 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21772/statm: 3658 3038 312 324 0 2727 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 14632

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 21773
/proc/meminfo: memFree=1507208/2055920 swapFree=4146520/4192956
[pid=21772] ppid=21770 vsize=14632 CPUtime=582.12
/proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 3195 0 0 0 58088 124 0 0 25 0 1 0 113998611 14983168 3038 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21772/statm: 3658 3038 312 324 0 2727 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 14632

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 21773
/proc/meminfo: memFree=1507208/2055920 swapFree=4146520/4192956
[pid=21772] ppid=21770 vsize=14632 CPUtime=642.1
/proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 3195 0 0 0 64074 136 0 0 25 0 1 0 113998611 14983168 3038 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21772/statm: 3658 3038 312 324 0 2727 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 14632


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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 21773
/proc/meminfo: memFree=1507208/2055920 swapFree=4146520/4192956
[pid=21772] ppid=21770 vsize=14632 CPUtime=822.04
/proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 3195 0 0 0 82038 166 0 0 25 0 1 0 113998611 14983168 3038 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21772/statm: 3658 3038 312 324 0 2727 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 14632

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 21773
/proc/meminfo: memFree=1506184/2055920 swapFree=4146520/4192956
[pid=21772] ppid=21770 vsize=15684 CPUtime=882.03
/proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 3458 0 0 0 88027 176 0 0 25 0 1 0 113998611 16060416 3301 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21772/statm: 3921 3301 312 324 0 2990 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 15684

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 21773
/proc/meminfo: memFree=1506120/2055920 swapFree=4146520/4192956
[pid=21772] ppid=21770 vsize=15684 CPUtime=942.01
/proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 3471 0 0 0 94016 185 0 0 25 0 1 0 113998611 16060416 3314 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21772/statm: 3921 3314 312 324 0 2990 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 15684

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 21773
/proc/meminfo: memFree=1504968/2055920 swapFree=4146520/4192956
[pid=21772] ppid=21770 vsize=16816 CPUtime=1002
/proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 3752 0 0 0 100005 195 0 0 25 0 1 0 113998611 17219584 3595 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21772/statm: 4204 3595 312 324 0 3273 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 16816

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 21773
/proc/meminfo: memFree=1504840/2055920 swapFree=4146520/4192956
[pid=21772] ppid=21770 vsize=16944 CPUtime=1061.97
/proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 3776 0 0 0 105996 201 0 0 25 0 1 0 113998611 17350656 3619 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21772/statm: 4236 3619 312 324 0 3305 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 16944

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 21773
/proc/meminfo: memFree=1504712/2055920 swapFree=4146520/4192956
[pid=21772] ppid=21770 vsize=17104 CPUtime=1121.96
/proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 3811 0 0 0 111986 210 0 0 25 0 1 0 113998611 17514496 3654 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21772/statm: 4276 3654 312 324 0 3345 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 17104

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 21773
/proc/meminfo: memFree=1503752/2055920 swapFree=4146520/4192956
[pid=21772] ppid=21770 vsize=17996 CPUtime=1181.94
/proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 4049 0 0 0 117976 218 0 0 25 0 1 0 113998611 18427904 3892 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21772/statm: 4499 3892 312 324 0 3568 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 17996

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 21773
/proc/meminfo: memFree=1503624/2055920 swapFree=4146520/4192956
[pid=21772] ppid=21770 vsize=18124 CPUtime=1241.92
/proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 4081 0 0 0 123967 225 0 0 25 0 1 0 113998611 18558976 3924 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21772/statm: 4531 3924 312 324 0 3600 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 18124

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 21773
/proc/meminfo: memFree=1503560/2055920 swapFree=4146520/4192956
[pid=21772] ppid=21770 vsize=18192 CPUtime=1301.91
/proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 4101 0 0 0 129958 233 0 0 25 0 1 0 113998611 18628608 3942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21772/statm: 4548 3942 312 324 0 3617 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 18192

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 21773
/proc/meminfo: memFree=1503496/2055920 swapFree=4146520/4192956
[pid=21772] ppid=21770 vsize=18192 CPUtime=1361.88
/proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 4101 0 0 0 135947 241 0 0 25 0 1 0 113998611 18628608 3942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21772/statm: 4548 3942 312 324 0 3617 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 18192

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 21773
/proc/meminfo: memFree=1503560/2055920 swapFree=4146520/4192956
[pid=21772] ppid=21770 vsize=18192 CPUtime=1421.87
/proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 4101 0 0 0 141936 251 0 0 25 0 1 0 113998611 18628608 3942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21772/statm: 4548 3942 312 324 0 3617 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 18192

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 21775
/proc/meminfo: memFree=1503496/2055920 swapFree=4146520/4192956
[pid=21772] ppid=21770 vsize=18192 CPUtime=1481.85
/proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 4101 0 0 0 147926 259 0 0 25 0 1 0 113998611 18628608 3942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21772/statm: 4548 3942 312 324 0 3617 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 18192

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 21775
/proc/meminfo: memFree=1502280/2055920 swapFree=4146520/4192956
[pid=21772] ppid=21770 vsize=19480 CPUtime=1541.84
/proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 4412 0 0 0 153914 270 0 0 25 0 1 0 113998611 19947520 4253 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21772/statm: 4870 4253 312 324 0 3939 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 19480

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 21775
/proc/meminfo: memFree=1502280/2055920 swapFree=4146520/4192956
[pid=21772] ppid=21770 vsize=19480 CPUtime=1601.82
/proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 4412 0 0 0 159904 278 0 0 25 0 1 0 113998611 19947520 4253 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21772/statm: 4870 4253 312 324 0 3939 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 19480

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 21775
/proc/meminfo: memFree=1502280/2055920 swapFree=4146520/4192956
[pid=21772] ppid=21770 vsize=19480 CPUtime=1661.8
/proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 4412 0 0 0 165893 287 0 0 25 0 1 0 113998611 19947520 4253 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21772/statm: 4870 4253 312 324 0 3939 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 19480

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 21775
/proc/meminfo: memFree=1502152/2055920 swapFree=4146520/4192956
[pid=21772] ppid=21770 vsize=19696 CPUtime=1721.78
/proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 4462 0 0 0 171884 294 0 0 25 0 1 0 113998611 20168704 4303 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21772/statm: 4924 4303 312 324 0 3993 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 19696

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 21775
/proc/meminfo: memFree=1502088/2055920 swapFree=4146520/4192956
[pid=21772] ppid=21770 vsize=19644 CPUtime=1781.76
/proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 4462 0 0 0 177872 304 0 0 25 0 1 0 113998611 20115456 4303 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21772/statm: 4911 4303 312 324 0 3980 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 19644



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.99 1/77 21775
/proc/meminfo: memFree=1517904/2055920 swapFree=4146520/4192956
[pid=21772] ppid=21770 vsize=0 CPUtime=1800
/proc/21772/stat : 21772 (bsolo3.0.16) D 21770 21772 20703 0 -1 4194308 4463 0 0 0 179693 307 0 0 24 0 1 0 113998611 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 18446744072100051646 0 0 17 1 0 0
/proc/21772/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 0

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

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

Child status: 0
Real time (s): 1800.68
CPU time (s): 1800.01
CPU user time (s): 1796.93
CPU system time (s): 3.07453
CPU usage (%): 99.9626
Max. virtual memory (cumulated for all children) (KiB): 19696

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

runsolver used 2.17567 second user time and 4.26335 second system time

The end

Launcher Data (download as text)

Begin job on node11 on Mon Apr 16 13:18:17 UTC 2007

IDJOB= 354869
IDBENCH= 2912
IDSOLVER= 163
FILE ID= node11/354869-1176729497

PBS_JOBID= 4559465

Free space on /tmp= 66374 MiB

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  0278ee4f163393ac33163ff791a7f96d

RANDOM SEED= 841262743

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node11.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.235
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.235
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:       1519144 kB
Buffers:         35152 kB
Cached:         431668 kB
SwapCached:      15504 kB
Active:         274112 kB
Inactive:       217792 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1519144 kB
SwapTotal:     4192956 kB
SwapFree:      4146520 kB
Dirty:            4416 kB
Writeback:           0 kB
Mapped:          31636 kB
Slab:            30340 kB
Committed_AS:  6123864 kB
PageTables:       1852 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= 66374 MiB

End job on node11 on Mon Apr 16 13:48:20 UTC 2007