Trace number 433545

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)23 1800.02 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_3.opb
MD5SUM474916db0f2f0be5831d97827cee8e55
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark16
Best CPU time to get the best result obtained on this benchmark1782.73
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 16
Optimality of the best value was proved NO
Number of variables172
Total number of constraints14
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints14
Minimum length of a constraint75
Maximum length of a constraint76
Number of terms in the objective function 112
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3570
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1901
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6214
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.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/433545-1177961173/instance-433545-1177961173.opb
0.00/0.00	c File size is 10386 bytes.
0.00/0.00	c Highest Coefficient sum: 6214
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: 172 Constr: 14 0/0/14 Lit: 1060 Watch. Lit: 314
0.00/0.00	c Obj. Vars: 112 (65.1163 % of total variables)
0.00/0.00	c Pre-processing Time: 0.004 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    172       14     1060   75      316    2120      0      0 0.00
0.00/0.00	c Switching off LPR mode.
0.00/0.00	o 907	0.004
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    172       15     1172   78      731    2344      1      0 0.01
0.00/0.01	o 805	0.01
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       65    172       81     5873   72      936    2344     67   6500 0.01
0.00/0.01	o 794	0.013
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      114    172      131     9467   72     1114    2344    117   8769 0.01
0.00/0.02	o 656	0.019
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      192    172      210    13823   65     1347    2344    196   9600 0.02
0.00/0.02	o 650	0.021
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      208    172      227    14676   64     1471    2344    213   9454 0.02
0.00/0.02	o 648	0.025
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      235    172      255    16950   66     1585    2344    241   9400 0.03
0.00/0.03	o 646	0.032
0.04/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.06	c      291    172      312    20947   67     1814    2344    298   8818 0.03
0.04/0.06	c      391    172      412    26649   64     2015    2579    398   8688 0.04
0.04/0.06	o 507	0.06
0.04/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.08	c      490    172      512    34251   66     2257    2344    498   8166 0.06
0.04/0.08	c      592    172      614    40291   65     2508    2579    600   8457 0.07
0.04/0.08	o 481	0.084
0.04/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.08	c      712    172      735    47155   64     2730    2344    721   8476 0.08
0.04/0.08	o 455	0.084
0.04/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.09	c      715    172      739    47465   64     2763    2344    725   8411 0.09
0.04/0.09	o 454	0.09
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c      768    172      793    50583   63     3039    2344    779   8533 0.09
0.09/0.13	c      868    172      893    56512   63     3261    2579    879   8427 0.10
0.09/0.13	o 450	0.127
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c     1068    172     1094    66494   60     3708    2344   1080   8409 0.13
0.09/0.13	o 448	0.13
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c     1088    172     1115    67791   60     3852    2344   1101   8369 0.13
0.09/0.13	o 446	0.133
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c     1109    172     1137    69216   60     3980    2344   1123   8338 0.13
0.09/0.15	o 440	0.146
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c     1204    172     1233    74225   60     4238    2344   1219   8246 0.15
0.09/0.15	o 439	0.153
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c     1235    172     1265    75908   60     4422    2344   1251   8071 0.15
0.19/0.20	c     1336    172     1366    82207   60     4680    2579   1352   7722 0.17
0.19/0.20	o 396	0.2
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c     1506    172     1537    92002   59     5009    2344   1523   7530 0.20
0.19/0.23	c     1606    172     1637    96233   58     5362    2579   1623   7539 0.21
0.19/0.23	o 394	0.227
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c     1676    172     1708   100649   58     5491    2344   1694   7383 0.23
0.19/0.24	o 393	0.238
0.29/0.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.31	c     1753    172     1786   104369   58     5599    2344   1772   7365 0.24
0.29/0.31	c     1854    172     1887   110013   58     5927    2579   1873   7270 0.26
0.29/0.31	c     2104    172     2137   126254   59     6453    2837   2123   7036 0.30
0.29/0.31	o 374	0.306
0.29/0.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.31	c     2151    172     2185   128193   58     6546    2344   2171   7029 0.31
0.29/0.31	o 324	0.315
0.69/0.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.79	c     2207    172     2242   130559   58     6677    2344   2228   7006 0.32
0.69/0.79	c     2307    172     2342   135099   57     7109    2579   2328   6990 0.33
0.69/0.79	c     2558    172     2593   146043   56     7526    2837   2579   6970 0.37
0.69/0.79	c     3033    172     1614    79867   49     3930    3121   1600   6908 0.44
0.69/0.79	c     3846    172     2427   122507   50     5554    3434   2413   7043 0.55
0.69/0.79	c     5167    172     1967   101840   51     4650    3778   1953   6834 0.76
0.69/0.79	o 319	0.786
0.79/0.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.84	c     5371    172     2172   111684   51     5154    2344   2158   6833 0.79
0.79/0.84	c     5471    172     2272   116897   51     5352    2579   2258   6847 0.80
0.79/0.84	o 301	0.838
0.79/0.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.85	c     5720    172     2522   132424   52     5959    2344   2508   6825 0.84
0.79/0.85	o 221	0.851
0.89/0.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.91	c     5776    172     1244    65221   52     3305    2344   1230   6787 0.85
0.89/0.91	c     5876    172     1344    70414   52     3495    2579   1330   6808 0.86
0.89/0.91	c     6126    172     1594    82072   51     4008    2837   1580   6890 0.89
0.89/0.91	o 220	0.913
1.00/1.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.02	c     6322    172     1791    93262   52     4509    2344   1777   6924 0.91
1.00/1.02	c     6422    172     1891    97361   51     4698    2579   1877   6942 0.93
1.00/1.02	c     6672    172     2141   106685   49     5198    2837   2127   7001 0.95
1.00/1.02	c     7147    172     2616   126814   48     6166    3121   2602   7041 1.01
1.00/1.02	o 215	1.018
1.00/1.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.03	c     7159    172     2629   127486   48     6302    2344   2615   7032 1.02
1.00/1.03	o 213	1.027
1.39/1.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.41	c     7192    172     1221    56107   45     3272    2344   1207   6996 1.03
1.39/1.41	c     7292    172     1321    60842   46     3476    2579   1307   7011 1.04
1.39/1.41	c     7543    172     1572    72827   46     3975    2837   1558   7056 1.07
1.39/1.41	c     8018    172     2047    95315   46     4900    3121   2033   7051 1.14
1.39/1.41	c     8831    172     2860   132007   46     6547    3434   2846   7139 1.24
1.39/1.41	o 211	1.411
1.39/1.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.44	c     9849    172     2071   106770   51     4967    2344   2057   6980 1.41
1.39/1.44	c     9949    172     2171   110461   50     5171    2579   2157   6986 1.42
1.39/1.44	o 205	1.445
72.77/72.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
72.77/72.81	c    10062    172     2285   117591   51     5503    2344   2271   6963 1.45
72.77/72.81	c    10162    172     1187    66150   55     3072    2579   1173   6950 1.46
72.77/72.81	c    10413    172     1438    75967   52     3580    2837   1424   6997 1.49
72.77/72.81	c    10888    172     1913    98486   51     4532    3121   1899   7033 1.55
72.77/72.81	c    11702    172     2727   134384   49     6140    3434   2713   7040 1.66
72.77/72.81	c    13022    172     2289    98799   43     5288    3778   2275   7127 1.83
72.77/72.81	c    15103    172     2417   103316   42     5552    4156   2403   7090 2.13
72.77/72.81	c    18326    172     3508   158159   45     7732    4572   3494   6915 2.65
72.77/72.81	c    23262    172     3771   163913   43     8241    5030   3757   6684 3.48
72.77/72.81	c    30768    172     3565   163585   45     7820    5534   3551   6368 4.83
72.77/72.81	c    42129    172     3641   182452   50     7985    6088   3627   5752 7.32
72.77/72.81	c    59273    172     5304   231105   43    11302    6697   5290   5483 10.81
72.77/72.81	c    85092    172     3911   198224   50     8492    7367   3897   4870 17.47
72.77/72.81	c   123924    172     5348   245136   45    11390    8104   5334   4509 27.48
72.77/72.81	c   182276    172     6154   266416   43    13016    8915   6140   4138 44.04
72.77/72.81	o 200	72.782
77.87/78.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
77.87/78.00	c   262471    172     5132   250854   48    11092    2344   5118   3606 72.78
77.87/78.00	c   262571    172     1287    67337   52     3269    2579   1273   3604 72.84
77.87/78.00	c   262821    172     1537    76070   49     3766    2837   1523   3607 72.86
77.87/78.00	c   263296    172     2012    95763   47     4726    3121   1998   3611 72.91
77.87/78.00	c   264109    172     2825   135272   47     6341    3434   2811   3617 73.01
77.87/78.00	c   265429    172     2375   107508   45     5420    3778   2361   3625 73.22
77.87/78.00	c   267510    172     2514   102802   40     5715    4156   2500   3638 73.53
77.87/78.00	c   270734    172     3611   149920   41     7893    4572   3597   3655 74.07
77.87/78.00	c   275670    172     3850   173366   45     8381    5030   3836   3680 74.89
77.87/78.00	c   283176    172     3649   157835   43     7996    5534   3635   3715 76.21
77.87/78.00	o 196	77.969
78.07/78.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
78.07/78.14	c   291802    172     3825   178114   46     8476    2344   3811   3742 77.97
78.07/78.14	c   291902    172     1287    59194   45     3281    2579   1273   3742 78.01
78.07/78.14	c   292152    172     1537    69606   45     3783    2837   1523   3743 78.03
78.07/78.14	c   292628    172     2013    90270   44     4722    3121   1999   3746 78.10
78.07/78.14	o 186	78.114
78.07/78.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
78.07/78.15	c   292732    172     2118    94961   44     5048    2344   2104   3747 78.11
78.07/78.15	o 184	78.121
78.07/78.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
78.07/78.16	c   292789    172     2176    98222   45     5290    2344   2162   3747 78.12
78.07/78.16	o 175	78.13
78.07/78.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
78.07/78.17	c   292837    172     2225   100606   45     5476    2344   2211   3748 78.13
78.07/78.17	o 173	78.142
78.07/78.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
78.07/78.17	c   292931    172     2320   104816   45     5782    2344   2306   3748 78.14
78.07/78.17	o 171	78.145
78.07/78.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
78.07/78.18	c   292949    172     2339   106135   45     5931    2344   2325   3748 78.14
78.07/78.18	o 169	78.153
78.17/78.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
78.17/78.22	c   292994    172     1187    53587   45     3081    2344   1173   3748 78.16
78.17/78.22	c   293095    172     1288    56925   44     3266    2579   1274   3749 78.17
78.17/78.22	c   293345    172     1538    70237   45     3793    2837   1524   3751 78.19
78.17/78.22	o 167	78.198
95.76/95.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
95.76/95.84	c   293371    172     1565    71613   45     3954    2344   1551   3751 78.20
95.76/95.84	c   293472    172     1666    75136   45     4146    2579   1652   3752 78.21
95.76/95.84	c   293722    172     1916    94390   49     4656    2837   1902   3753 78.25
95.76/95.84	c   294199    172     2393   114894   48     5595    3121   2379   3757 78.29
95.76/95.84	c   295012    172     1591    80565   50     3874    3434   1577   3761 78.42
95.76/95.84	c   296332    172     2911   137428   47     6539    3778   2897   3769 78.61
95.76/95.84	c   298414    172     3054   138129   45     6823    4156   3040   3780 78.94
95.76/95.84	c   301637    172     4145   172260   41     8963    4572   4131   3798 79.41
95.76/95.84	c   306573    172     4394   192914   43     9475    5030   4380   3815 80.36
95.76/95.84	c   314080    172     4131   201340   48     8943    5534   4117   3833 81.93
95.76/95.84	c   325441    172     4220   196191   46     9112    6088   4206   3849 84.55
95.76/95.84	c   342586    172     5874   277246   47    12471    6697   5860   3859 88.76
95.76/95.84	c   368405    172     4485   172895   38     9671    7367   4471   3850 95.67
95.76/95.84	o 164	95.805
95.86/95.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
95.86/95.98	c   369014    172     5095   202737   39    11016    2344   5081   3851 95.81
95.86/95.98	c   369115    172     1288    59056   45     3289    2579   1274   3850 95.86
95.86/95.98	c   369367    172     1540    69095   44     3786    2837   1526   3852 95.89
95.86/95.98	o 162	95.95
95.96/96.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
95.96/96.04	c   369838    172     2012    91382   45     4843    2344   1998   3854 95.95
95.96/96.04	c   369938    172     2112    94893   44     5018    2579   2098   3855 95.96
95.96/96.04	c   370188    172     2362   104122   44     5517    2837   2348   3856 95.99
95.96/96.04	o 160	96.004
95.96/96.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
95.96/96.05	c   370345    172     2520   110407   43     5966    2344   2506   3857 96.00
95.96/96.05	o 158	96.016
96.06/96.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
96.06/96.11	c   370378    172     1221    53201   43     3273    2344   1207   3857 96.02
96.06/96.11	c   370478    172     1321    56637   42     3445    2579   1307   3858 96.03
96.06/96.11	c   370728    172     1571    67410   42     3957    2837   1557   3859 96.05
96.06/96.11	o 156	96.074
96.26/96.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
96.26/96.32	c   370921    172     1765    76291   43     4467    2344   1751   3860 96.07
96.26/96.32	c   371021    172     1865    80358   43     4646    2579   1851   3861 96.09
96.26/96.32	c   371273    172     2117    95013   44     5169    2837   2103   3862 96.12
96.26/96.32	c   371748    172     2592   123189   47     6114    3121   2578   3864 96.19
96.26/96.32	o 120	96.286
96.76/96.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
96.76/96.84	c   372365    172     1576    87053   55     3858    2344   1562   3866 96.30
96.76/96.84	c   372465    168     1676    90756   54     4044    2579   1662   3867 96.31
96.76/96.84	c   372715    165     1926   100185   52     4562    2837   1912   3868 96.34
96.76/96.84	c   373190    164     2401   119017   49     5489    3121   2387   3871 96.40
96.76/96.84	c   374004    161     1640    69534   42     3988    3434   1626   3874 96.54
96.76/96.84	c   375324    158     2960   129866   43     6626    3778   2946   3881 96.69
96.76/96.84	o 119	96.81
98.86/98.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
98.86/98.91	c   376238    158     1918    85726   44     4522    2316   1904   3885 96.83
98.86/98.91	c   376338    158     2018    90666   44     4725    2548   2004   3886 96.84
98.86/98.91	c   376588    158     2268   103459   45     5225    2803   2254   3887 96.88
98.86/98.91	c   377063    158     2743   126201   46     6172    3084   2729   3889 96.94
98.86/98.91	c   377879    158     1966    90910   46     4622    3393   1952   3893 97.06
98.86/98.91	c   379199    158     3286   142950   43     7254    3733   3272   3899 97.25
98.86/98.91	c   381280    158     3453   136785   39     7588    4107   3439   3907 97.56
98.86/98.91	c   384503    158     2475   102085   41     5637    4518   2461   3918 98.13
98.86/98.91	o 112	98.874
98.86/98.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
98.86/98.93	c   389010    158     2368   107293   45     5518    2316   2354   3934 98.87
98.86/98.93	o 109	98.895
99.46/99.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
99.46/99.57	c   389109    158     1287    56612   43     3352    2316   1273   3934 98.89
99.46/99.57	c   389210    158     1388    62069   44     3557    2548   1374   3935 98.91
99.46/99.57	c   389460    158     1638    72378   44     4054    2803   1624   3936 98.94
99.46/99.57	c   389936    158     2114    91878   43     5010    3084   2100   3938 99.00
99.46/99.57	c   390749    158     2927   124304   42     6623    3393   2913   3943 99.09
99.46/99.57	c   392069    158     2498   100170   40     5675    3733   2484   3949 99.27
99.46/99.57	o 108	99.539
99.56/99.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
99.56/99.61	c   393538    158     2047    92824   45     4888    2316   2033   3953 99.54
99.56/99.61	c   393638    158     2147    97615   45     5079    2548   2133   3954 99.55
99.56/99.61	o 105	99.575
99.56/99.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
99.56/99.61	c   393824    158     2334   104945   44     5536    2316   2320   3955 99.58
99.56/99.61	o 103	99.576
99.56/99.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
99.56/99.62	c   393826    158     2337   105119   44     5629    2316   2323   3955 99.58
99.56/99.62	o 101	99.585
100.86/100.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
100.86/100.97	c   393901    158     1187    56877   47     3058    2316   1173   3955 99.59
100.86/100.97	c   394002    158     1288    62377   48     3261    2548   1274   3955 99.60
100.86/100.97	c   394252    158     1538    81171   52     3762    2803   1524   3956 99.64
100.86/100.97	c   394728    158     2014   101428   50     4711    3084   2000   3959 99.69
100.86/100.97	c   395541    158     2827   145744   51     6337    3393   2813   3962 99.82
100.86/100.97	c   396861    158     2400   113002   47     5477    3733   2386   3967 100.03
100.86/100.97	c   398942    158     2548   105640   41     5782    4107   2534   3975 100.35
100.86/100.97	c   402165    158     3659   148582   40     8003    4518   3645   3989 100.81
100.86/100.97	o 99	100.939
103.76/103.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
103.76/103.88	c   403082    158     2288    97314   42     5259    2316   2274   3992 100.96
103.76/103.88	c   403182    158     1187    50167   42     3062    2548   1173   3992 100.98
103.76/103.88	c   403432    158     1437    60799   42     3561    2803   1423   3993 101.01
103.76/103.88	c   403909    158     1914    80908   42     4516    3084   1900   3996 101.06
103.76/103.88	c   404722    158     2727   116427   42     6119    3393   2713   4000 101.17
103.76/103.88	c   406042    158     2287    95818   41     5263    3733   2273   4006 101.35
103.76/103.88	c   408124    158     2447   103318   42     5573    4107   2433   4014 101.66
103.76/103.88	c   411348    158     3563   141611   39     7815    4518   3549   4030 102.07
103.76/103.88	c   416284    158     3898   155806   39     8478    4970   3884   4046 102.87
103.76/103.88	o 95	103.85
129.85/129.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
129.85/129.98	c   422262    158     4816   200069   41    10415    2316   4802   4066 103.85
129.85/129.98	c   422362    158     1287    54324   42     3262    2548   1273   4065 103.89
129.85/129.98	c   422612    158     1537    63977   41     3757    2803   1523   4066 103.92
129.85/129.98	c   423087    158     2012    81851   40     4701    3084   1998   4069 103.98
129.85/129.98	c   423900    158     2825   112445   39     6339    3393   2811   4073 104.07
129.85/129.98	c   425220    158     2394    93592   39     5461    3733   2380   4077 104.27
129.85/129.98	c   427301    158     2570   101773   39     5825    4107   2556   4086 104.57
129.85/129.98	c   430524    158     3693   143563   38     8063    4518   3679   4100 104.99
129.85/129.98	c   435460    158     4033   154843   38     8745    4970   4019   4120 105.68
129.85/129.98	c   442966    158     3945   150977   38     8581    5468   3931   4147 106.81
129.85/129.98	c   454327    158     4198   162538   38     9078    6015   4184   4178 108.74
129.85/129.98	c   471471    158     3060   127323   41     6792    6617   3046   4207 112.05
129.85/129.98	c   497291    158     5432   217178   39    11546    7279   5418   4251 116.98
129.85/129.98	c   536123    158     3732   146107   39     8144    8007   3718   4259 125.87
129.85/129.98	o 93	129.941
129.95/130.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
129.95/130.05	c   554113    158     5513   227231   41    11810    2316   5499   4264 129.94
129.95/130.05	c   554214    158     1288    59922   46     3258    2548   1274   4263 129.99
129.95/130.05	o 91	130.005
129.95/130.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
129.95/130.06	c   554363    158     1438    67869   47     3648    2316   1424   4264 130.00
129.95/130.06	o 89	130.016
130.25/130.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
130.25/130.39	c   554414    158     1490    71354   47     3856    2316   1476   4264 130.02
130.25/130.39	c   554515    158     1591    76353   47     4061    2548   1577   4264 130.03
130.25/130.39	c   554766    158     1842    84877   46     4567    2803   1828   4265 130.06
130.25/130.39	c   555241    158     2317   101777   43     5501    3084   2303   4267 130.12
130.25/130.39	c   556054    158     1571    57193   36     3827    3393   1557   4269 130.24
130.25/130.39	o 81	130.346
130.35/130.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
130.35/130.40	c   557091    158     2609    95227   36     6000    2316   2595   4273 130.35
130.35/130.40	o 75	130.362
130.35/130.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
130.35/130.40	c   557093    158     1190    42993   36     3161    2316   1176   4273 130.36
130.35/130.40	o 73	130.363
166.04/166.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
166.04/166.19	c   557100    158     1198    43612   36     3271    2316   1184   4273 130.36
166.04/166.19	c   557200    158     1298    50593   38     3476    2548   1284   4273 130.38
166.04/166.19	c   557450    158     1548    59202   38     3963    2803   1534   4274 130.40
166.04/166.19	c   557925    158     2023    77322   38     4934    3084   2009   4276 130.45
166.04/166.19	c   558738    158     2836   111182   39     6533    3393   2822   4279 130.57
166.04/166.19	c   560058    158     2420    94204   38     5518    3733   2406   4283 130.75
166.04/166.19	c   562139    158     2590    96354   37     5858    4107   2576   4290 131.02
166.04/166.19	c   565362    158     3710   139861   37     8086    4518   3696   4301 131.44
166.04/166.19	c   570298    158     4045   151138   37     8764    4970   4031   4313 132.21
166.04/166.19	c   577804    158     3958   158389   40     8589    5468   3944   4330 133.43
166.04/166.19	c   589166    158     4197   176171   41     9060    6015   4183   4355 135.27
166.04/166.19	c   606311    158     3037   122644   40     6753    6617   3023   4381 138.39
166.04/166.19	c   632130    158     5429   214719   39    11533    7279   5415   4415 143.17
166.04/166.19	c   670962    158     3738   153722   41     8148    8007   3724   4429 151.46
166.04/166.19	c   729314    158     5444   227375   41    11569    8808   5430   4429 164.64
166.04/166.19	o 72	166.142
166.24/166.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
166.24/166.32	c   736236    158     7911   298061   37    16606    2316   7897   4431 166.14
166.24/166.32	o 70	166.265
175.94/176.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
175.94/176.08	c   736249    158     1201    42137   35     3188    2316   1187   4428 166.26
175.94/176.08	c   736350    158     1302    46246   35     3378    2548   1288   4428 166.28
175.94/176.08	c   736600    158     1552    54430   35     3882    2803   1538   4429 166.30
175.94/176.08	c   737075    158     2027    71408   35     4831    3084   2013   4430 166.35
175.94/176.08	c   737888    158     2840   102508   36     6460    3393   2826   4432 166.46
175.94/176.08	c   739208    158     2421    92453   38     5525    3733   2407   4435 166.66
175.94/176.08	c   741289    158     2596    95905   36     5876    4107   2582   4440 166.93
175.94/176.08	c   744513    158     3712   134953   36     8113    4518   3698   4448 167.36
175.94/176.08	c   749449    158     4045   159043   39     8778    4970   4031   4457 168.14
175.94/176.08	c   756955    158     3944   158386   40     8567    5468   3930   4470 169.34
175.94/176.08	c   768316    158     4172   159105   38     9020    6015   4158   4489 171.15
175.94/176.08	c   785460    158     6041   247780   41    12756    6617   6027   4507 174.25
175.94/176.08	o 68	176.022
176.04/176.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
176.04/176.13	c   794535    158     5071   206143   40    10930    2316   5057   4513 176.02
176.04/176.13	o 66	176.075
176.04/176.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
176.04/176.13	c   794571    158     1224    51672   42     3235    2316   1210   4512 176.07
176.04/176.13	o 64	176.082
176.04/176.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
176.04/176.14	c   794637    158     1291    56763   43     3464    2316   1277   4512 176.08
176.04/176.14	o 56	176.089
176.24/176.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
176.24/176.35	c   794678    154     1333    58392   43     3638    2308   1319   4512 176.09
176.24/176.35	c   794778    152     1433    64437   44     3835    2539   1419   4513 176.10
176.24/176.35	c   795028    145     1683    74965   44     4325    2793   1669   4513 176.14
176.24/176.35	c   795503    145     2158    97589   45     5276    3073   2144   4514 176.21
176.24/176.35	o 52	176.294
177.54/177.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
177.54/177.63	c   796068    145     2724   129458   47     6503    2290   2710   4515 176.29
177.54/177.63	c   796170    145     1289    67397   52     3249    2520   1275   4515 176.31
177.54/177.63	c   796420    144     1539    81872   53     3740    2773   1525   4516 176.34
177.54/177.63	c   796896    144     2015   103184   51     4700    3051   2001   4517 176.41
177.54/177.63	c   797709    144     2828   140448   49     6326    3357   2814   4518 176.55
177.54/177.63	c   799029    144     2419   110495   45     5505    3693   2405   4520 176.77
177.54/177.63	c   801110    144     2609   118476   45     5882    4063   2595   4521 177.19
177.54/177.63	o 45	177.575
177.54/177.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
177.54/177.64	c   802944    144     2367   107850   45     5488    2288   2353   4521 177.58
177.54/177.64	o 43	177.59
177.54/177.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
177.54/177.64	c   802980    144     1224    54486   44     3199    2288   1210   4521 177.59
177.54/177.64	o 41	177.592
177.94/178.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
177.94/178.04	c   803003    144     1248    56076   44     3328    2288   1234   4521 177.59
177.94/178.04	c   803104    144     1349    60985   45     3525    2517   1335   4521 177.60
177.94/178.04	c   803354    144     1599    71860   44     4022    2769   1585   4522 177.64
177.94/178.04	c   803829    144     2074    92988   44     4976    3046   2060   4523 177.71
177.94/178.04	c   804642    144     2887   129107   44     6600    3351   2873   4524 177.84
177.94/178.04	o 37	177.987
535.74/535.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
535.74/535.90	c   805478    144     2000    90090   45     4749    2288   1986   4525 177.99
535.74/535.90	c   805578    144     2100    95110   45     4944    2517   2086   4525 178.00
535.74/535.90	c   805829    144     2351   106482   45     5443    2769   2337   4526 178.04
535.74/535.90	c   806304    144     1428    66014   46     3519    3046   1414   4526 178.12
535.74/535.90	c   807117    144     2241   102190   45     5144    3351   2227   4528 178.24
535.74/535.90	c   808438    144     1836    82297   44     4341    3687   1822   4529 178.47
535.74/535.90	c   810519    144     2043    88298   43     4750    4056   2029   4531 178.86
535.74/535.90	c   813742    144     3198   146011   45     7041    4462   3184   4534 179.47
535.74/535.90	c   818678    144     3570   159301   44     7805    4909   3556   4535 180.52
535.74/535.90	c   826184    144     3584   163901   45     7830    5400   3570   4532 182.28
535.74/535.90	c   837546    144     3956   176116   44     8571    5941   3942   4529 184.89
535.74/535.90	c   854690    144     3028   137184   45     6727    6536   3014   4521 189.03
535.74/535.90	c   880509    144     5678   254533   44    11992    7190   5664   4499 195.71
535.74/535.90	c   919341    144     4488   198443   44     9629    7910   4474   4431 207.44
535.74/535.90	c   977693    144     6864   307915   44    14369    8702   6850   4339 225.28
535.74/535.90	c  1065325    144     6595   293297   44    13786    9573   6581   4175 255.13
535.74/535.90	c  1196877    144     7832   324394   41    16284   10531   7818   4079 293.36
535.74/535.90	c  1394309    144     9022   403420   44    18695   11585   9008   3835 363.56
535.74/535.90	c  1690563    144     7707   346131   44    16089   12744   7693   3383 499.69
535.74/535.90	o 36	535.754
535.84/536.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
535.84/536.05	c  1768735    144     8880   410399   46    18513    2288   8866   3301 535.75
535.84/536.05	o 34	535.905
535.84/536.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
535.84/536.06	c  1768751    144     1204    53746   44     3163    2288   1190   3300 535.90
535.84/536.06	o 32	535.911
535.84/536.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
535.84/536.06	c  1768786    144     1240    55452   44     3318    2288   1226   3300 535.91
535.84/536.06	o 30	535.912
539.04/539.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
539.04/539.20	c  1768788    144     1243    55691   44     3406    2288   1229   3300 535.91
539.04/539.20	c  1768888    133     1343    59549   44     3585    2517   1329   3300 535.93
539.04/539.20	c  1769138    132     1593    71495   44     4081    2769   1579   3300 535.97
539.04/539.20	c  1769613    131     2068    93839   45     5027    3046   2054   3301 536.05
539.04/539.20	c  1770427    130     2882   134186   46     6650    3351   2868   3301 536.20
539.04/539.20	c  1771747    130     2474   119205   48     5591    3687   2460   3302 536.45
539.04/539.20	c  1773828    130     2672   132190   49     5991    4056   2658   3303 536.92
539.04/539.20	c  1777051    130     3815   187449   49     8282    4462   3801   3305 537.59
539.04/539.20	c  1781987    130     4200   212860   50     9044    4909   4186   3307 538.74
539.04/539.20	o 27	539.048
539.04/539.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
539.04/539.22	c  1783109    130     2814   142954   50     6348    2260   2800   3307 539.05
539.04/539.22	o 25	539.075
539.04/539.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
539.04/539.23	c  1783193    130     1272    63354   49     3249    2260   1258   3307 539.08
539.04/539.23	o 23	539.078
1800.01/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.01/1800.50	c  1783214    130     1294    64744   50     3360    2260   1280   3307 539.08
1800.01/1800.50	c  1783314    130     1394    70097   50     3561    2487   1380   3307 539.09
1800.01/1800.50	c  1783564    130     1644    82272   50     4048    2736   1630   3308 539.13
1800.01/1800.50	c  1784039    130     2119   105579   49     4995    3010   2105   3308 539.23
1800.01/1800.50	c  1784852    130     2932   145735   49     6633    3312   2918   3308 539.40
1800.01/1800.50	c  1786172    130     2554   125452   49     5745    3644   2540   3309 539.64
1800.01/1800.50	c  1788253    130     2761   131704   47     6154    4009   2747   3311 540.05
1800.01/1800.50	c  1791476    130     3932   185755   47     8496    4410   3918   3313 540.69
1800.01/1800.50	c  1796412    130     4366   206224   47     9359    4852   4352   3316 541.70
1800.01/1800.50	c  1803918    130     4464   218734   48     9551    5338   4450   3320 543.31
1800.01/1800.50	c  1815279    130     4956   239474   48    10522    5872   4942   3324 545.96
1800.01/1800.50	c  1832423    130     4232   209729   49     9091    6460   4218   3329 550.29
1800.01/1800.50	c  1858242    130     3863   183816   47     8361    7107   3849   3331 557.85
1800.01/1800.50	c  1897074    130     6705   328405   48    14033    7818   6691   3331 569.49
1800.01/1800.50	c  1955427    130     5763   290772   50    12155    8600   5749   3317 589.48
1800.01/1800.50	c  2043059    130     6545   331768   50    13705    9461   6531   3280 622.83
1800.01/1800.50	c  2174611    130     9223   439174   47    19062   10408   9209   3203 678.90
1800.01/1800.50	c  2372043    130     7327   357885   48    15264   11449   7313   3072 772.00
1800.01/1800.50	c  2668295    130     9478   468426   49    19581   12594   9464   2881 926.00
1800.01/1800.50	c  3112777    130    10274   512471   49    21183   13854  10260   2612 1191.65
1800.01/1800.50	c  3779604    130     7980   386962   48    16585   15240   7966   2335 1618.44
1800.01/1800.50	c Caught signal: 15
1800.01/1800.50	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
1800.01/1800.50	v -x29 -x30 -x31 -x32 x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54
1800.01/1800.50	v -x55 -x56 x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
1800.01/1800.50	v -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105
1800.01/1800.50	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 x126
1800.01/1800.50	v -x127 -x128 -x129 x130 x131 -x132 x133 x134 -x135 x136 -x137 x138 x139 -x140 x141 x142 x143 x144 x145 -x146 -x147 x148 x149
1800.01/1800.50	v -x150 -x151 x152 x153 x154 x155 -x156 -x157 x158 x159 -x160 -x161 x162 x163 x164 x165 -x166 x167 -x168 -x169 -x170 -x171 x172
1800.01/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.01/1800.50	c  284  4028607  31601  4085549    11789   572316  11775   2238 1800.02
1800.01/1800.50	c Objective: 23
1800.01/1800.50	s SATISFIABLE
1800.01/1800.50	c Total time: 1800.02 s

Verifier Data (download as text)

OK	23

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node68/watcher-433545-1177961173 -o ROOT/results/node68/solver-433545-1177961173 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433545-1177961173/instance-433545-1177961173.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.91 3/64 29254
/proc/meminfo: memFree=1812096/2055920 swapFree=4183876/4192956
[pid=29254] ppid=29252 vsize=11748 CPUtime=0
/proc/29254/stat : 29254 (bsolo3.0.17) R 29252 29254 28548 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 272106880 12029952 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10950267 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29254/statm: 2937 332 279 324 0 2004 0

[startup+0.045859 s]
/proc/loadavg: 0.91 0.95 0.91 3/64 29254
/proc/meminfo: memFree=1812096/2055920 swapFree=4183876/4192956
[pid=29254] ppid=29252 vsize=4316 CPUtime=0.04
/proc/29254/stat : 29254 (bsolo3.0.17) R 29252 29254 28548 0 -1 4194304 497 0 0 0 4 0 0 0 18 0 1 0 272106880 4419584 464 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10950267 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29254/statm: 1079 464 310 324 0 149 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4316

[startup+0.102864 s]
/proc/loadavg: 0.91 0.95 0.91 3/64 29254
/proc/meminfo: memFree=1812096/2055920 swapFree=4183876/4192956
[pid=29254] ppid=29252 vsize=4832 CPUtime=0.09
/proc/29254/stat : 29254 (bsolo3.0.17) R 29252 29254 28548 0 -1 4194304 606 0 0 0 9 0 0 0 18 0 1 0 272106880 4947968 573 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10950267 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29254/statm: 1208 573 310 324 0 278 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4832

[startup+0.30188 s]
/proc/loadavg: 0.91 0.95 0.91 3/64 29254
/proc/meminfo: memFree=1812096/2055920 swapFree=4183876/4192956
[pid=29254] ppid=29252 vsize=5868 CPUtime=0.29
/proc/29254/stat : 29254 (bsolo3.0.17) R 29252 29254 28548 0 -1 4194304 875 0 0 0 29 0 0 0 19 0 1 0 272106880 6008832 842 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10950267 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29254/statm: 1467 842 310 324 0 537 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5868

[startup+0.702916 s]
/proc/loadavg: 0.91 0.95 0.91 3/64 29254
/proc/meminfo: memFree=1812096/2055920 swapFree=4183876/4192956
[pid=29254] ppid=29252 vsize=6644 CPUtime=0.69
/proc/29254/stat : 29254 (bsolo3.0.17) R 29252 29254 28548 0 -1 4194304 1060 0 0 0 69 0 0 0 22 0 1 0 272106880 6803456 1027 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10950267 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29254/statm: 1661 1027 310 324 0 731 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6644

[startup+1.50199 s]
/proc/loadavg: 0.91 0.95 0.91 2/65 29255
/proc/meminfo: memFree=1809016/2055920 swapFree=4183876/4192956
[pid=29254] ppid=29252 vsize=6644 CPUtime=1.49
/proc/29254/stat : 29254 (bsolo3.0.17) R 29252 29254 28548 0 -1 4194304 1080 0 0 0 149 0 0 0 25 0 1 0 272106880 6803456 1047 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547653 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29254/statm: 1661 1047 310 324 0 731 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6644

[startup+3.10113 s]
/proc/loadavg: 0.91 0.95 0.91 2/65 29255
/proc/meminfo: memFree=1808888/2055920 swapFree=4183876/4192956
[pid=29254] ppid=29252 vsize=7152 CPUtime=3.09
/proc/29254/stat : 29254 (bsolo3.0.17) R 29252 29254 28548 0 -1 4194304 1185 0 0 0 309 0 0 0 25 0 1 0 272106880 7323648 1152 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29254/statm: 1788 1152 310 324 0 858 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7152

[startup+6.30142 s]
/proc/loadavg: 0.92 0.95 0.91 2/65 29255
/proc/meminfo: memFree=1807480/2055920 swapFree=4183876/4192956
[pid=29254] ppid=29252 vsize=7928 CPUtime=6.29
/proc/29254/stat : 29254 (bsolo3.0.17) R 29252 29254 28548 0 -1 4194304 1387 0 0 0 629 0 0 0 25 0 1 0 272106880 8118272 1354 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29254/statm: 1982 1354 310 324 0 1052 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7928

[startup+12.702 s]
/proc/loadavg: 0.93 0.95 0.91 2/65 29255
/proc/meminfo: memFree=1806536/2055920 swapFree=4183876/4192956
[pid=29254] ppid=29252 vsize=8948 CPUtime=12.68
/proc/29254/stat : 29254 (bsolo3.0.17) R 29252 29254 28548 0 -1 4194304 1650 0 0 0 1268 0 0 0 25 0 1 0 272106880 9162752 1617 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29254/statm: 2237 1617 310 324 0 1307 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 8948

[startup+25.5012 s]
/proc/loadavg: 0.94 0.96 0.91 2/65 29255
/proc/meminfo: memFree=1806152/2055920 swapFree=4183876/4192956
[pid=29254] ppid=29252 vsize=9328 CPUtime=25.48
/proc/29254/stat : 29254 (bsolo3.0.17) R 29252 29254 28548 0 -1 4194304 1748 0 0 0 2548 0 0 0 25 0 1 0 272106880 9551872 1715 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10948022 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29254/statm: 2332 1715 310 324 0 1402 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 9328

[startup+51.1015 s]
/proc/loadavg: 0.96 0.96 0.91 2/65 29255
/proc/meminfo: memFree=1804808/2055920 swapFree=4183876/4192956
[pid=29254] ppid=29252 vsize=10740 CPUtime=51.06
/proc/29254/stat : 29254 (bsolo3.0.17) R 29252 29254 28548 0 -1 4194304 2094 0 0 0 5106 0 0 0 25 0 1 0 272106880 10997760 2061 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29254/statm: 2685 2061 310 324 0 1755 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 10740

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.91 2/65 29255
/proc/meminfo: memFree=1804360/2055920 swapFree=4183876/4192956
[pid=29254] ppid=29252 vsize=10868 CPUtime=102.26
/proc/29254/stat : 29254 (bsolo3.0.17) R 29252 29254 28548 0 -1 4194304 2209 0 0 0 10225 1 0 0 25 0 1 0 272106880 11128832 2109 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521881 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29254/statm: 2717 2109 310 324 0 1787 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 10868

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 29255
/proc/meminfo: memFree=1804360/2055920 swapFree=4183876/4192956
[pid=29254] ppid=29252 vsize=10868 CPUtime=162.24
/proc/29254/stat : 29254 (bsolo3.0.17) R 29252 29254 28548 0 -1 4194304 2209 0 0 0 16223 1 0 0 25 0 1 0 272106880 11128832 2109 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134584864 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29254/statm: 2717 2109 310 324 0 1787 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 10868

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 29255
/proc/meminfo: memFree=1804424/2055920 swapFree=4183876/4192956
[pid=29254] ppid=29252 vsize=10868 CPUtime=222.23
/proc/29254/stat : 29254 (bsolo3.0.17) R 29252 29254 28548 0 -1 4194304 2209 0 0 0 22222 1 0 0 25 0 1 0 272106880 11128832 2109 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10948136 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29254/statm: 2717 2109 310 324 0 1787 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 10868

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 29255
/proc/meminfo: memFree=1804424/2055920 swapFree=4183876/4192956
[pid=29254] ppid=29252 vsize=10872 CPUtime=282.21
/proc/29254/stat : 29254 (bsolo3.0.17) R 29252 29254 28548 0 -1 4194304 2210 0 0 0 28220 1 0 0 25 0 1 0 272106880 11132928 2110 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10948959 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29254/statm: 2718 2110 310 324 0 1788 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 10872

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 29255
/proc/meminfo: memFree=1804232/2055920 swapFree=4183876/4192956
[pid=29254] ppid=29252 vsize=11188 CPUtime=342.19
/proc/29254/stat : 29254 (bsolo3.0.17) R 29252 29254 28548 0 -1 4194304 2268 0 0 0 34218 1 0 0 25 0 1 0 272106880 11456512 2168 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29254/statm: 2797 2168 310 324 0 1867 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 11188

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 29255
/proc/meminfo: memFree=1803208/2055920 swapFree=4183876/4192956
[pid=29254] ppid=29252 vsize=12148 CPUtime=402.17
/proc/29254/stat : 29254 (bsolo3.0.17) R 29252 29254 28548 0 -1 4194304 2511 0 0 0 40216 1 0 0 25 0 1 0 272106880 12439552 2411 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160036204 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29254/statm: 3037 2411 310 324 0 2107 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 12148

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 29255
/proc/meminfo: memFree=1802952/2055920 swapFree=4183876/4192956
[pid=29254] ppid=29252 vsize=12436 CPUtime=462.15
/proc/29254/stat : 29254 (bsolo3.0.17) R 29252 29254 28548 0 -1 4194304 2589 0 0 0 46214 1 0 0 25 0 1 0 272106880 12734464 2489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29254/statm: 3109 2489 310 324 0 2179 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 12436

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 29255
/proc/meminfo: memFree=1802120/2055920 swapFree=4183876/4192956
[pid=29254] ppid=29252 vsize=13208 CPUtime=522.15
/proc/29254/stat : 29254 (bsolo3.0.17) R 29252 29254 28548 0 -1 4194304 2789 0 0 0 52213 2 0 0 25 0 1 0 272106880 13524992 2689 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29254/statm: 3302 2689 310 324 0 2372 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 13208

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 29255
/proc/meminfo: memFree=1802184/2055920 swapFree=4183876/4192956
[pid=29254] ppid=29252 vsize=12904 CPUtime=582.13
/proc/29254/stat : 29254 (bsolo3.0.17) R 29252 29254 28548 0 -1 4194304 2789 0 0 0 58211 2 0 0 25 0 1 0 272106880 13213696 2618 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551109 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29254/statm: 3226 2618 310 324 0 2296 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 12904

[startup+642.303 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 29255
/proc/meminfo: memFree=1802184/2055920 swapFree=4183876/4192956
[pid=29254] ppid=29252 vsize=12904 CPUtime=642.12
/proc/29254/stat : 29254 (bsolo3.0.17) R 29252 29254 28548 0 -1 4194304 2789 0 0 0 64210 2 0 0 25 0 1 0 272106880 13213696 2618 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10946433 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29254/statm: 3226 2618 310 324 0 2296 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 12904


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 29255
/proc/meminfo: memFree=1802248/2055920 swapFree=4183876/4192956
[pid=29254] ppid=29252 vsize=12904 CPUtime=882.04
/proc/29254/stat : 29254 (bsolo3.0.17) R 29252 29254 28548 0 -1 4194304 2789 0 0 0 88202 2 0 0 25 0 1 0 272106880 13213696 2618 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10948327 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29254/statm: 3226 2618 310 324 0 2296 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 12904

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 29257
/proc/meminfo: memFree=1801672/2055920 swapFree=4183876/4192956
[pid=29254] ppid=29252 vsize=13524 CPUtime=942.03
/proc/29254/stat : 29254 (bsolo3.0.17) R 29252 29254 28548 0 -1 4194304 2925 0 0 0 94201 2 0 0 25 0 1 0 272106880 13848576 2754 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29254/statm: 3381 2754 310 324 0 2451 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 13524

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 29257
/proc/meminfo: memFree=1801544/2055920 swapFree=4183876/4192956
[pid=29254] ppid=29252 vsize=13652 CPUtime=1002.02
/proc/29254/stat : 29254 (bsolo3.0.17) R 29252 29254 28548 0 -1 4194304 2972 0 0 0 100199 3 0 0 25 0 1 0 272106880 13979648 2801 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29254/statm: 3413 2801 310 324 0 2483 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 13652

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 29257
/proc/meminfo: memFree=1801480/2055920 swapFree=4183876/4192956
[pid=29254] ppid=29252 vsize=13652 CPUtime=1062
/proc/29254/stat : 29254 (bsolo3.0.17) R 29252 29254 28548 0 -1 4194304 2972 0 0 0 106197 3 0 0 25 0 1 0 272106880 13979648 2801 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29254/statm: 3413 2801 310 324 0 2483 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 13652

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 29257
/proc/meminfo: memFree=1801480/2055920 swapFree=4183876/4192956
[pid=29254] ppid=29252 vsize=13652 CPUtime=1121.99
/proc/29254/stat : 29254 (bsolo3.0.17) R 29252 29254 28548 0 -1 4194304 2972 0 0 0 112196 3 0 0 25 0 1 0 272106880 13979648 2801 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10948048 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29254/statm: 3413 2801 310 324 0 2483 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 13652

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 29257
/proc/meminfo: memFree=1801416/2055920 swapFree=4183876/4192956
[pid=29254] ppid=29252 vsize=13612 CPUtime=1181.97
/proc/29254/stat : 29254 (bsolo3.0.17) R 29252 29254 28548 0 -1 4194304 2972 0 0 0 118194 3 0 0 25 0 1 0 272106880 13938688 2795 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29254/statm: 3403 2795 310 324 0 2473 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 13612

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 29257
/proc/meminfo: memFree=1800648/2055920 swapFree=4183876/4192956
[pid=29254] ppid=29252 vsize=14516 CPUtime=1241.95
/proc/29254/stat : 29254 (bsolo3.0.17) R 29252 29254 28548 0 -1 4194304 3182 0 0 0 124192 3 0 0 25 0 1 0 272106880 14864384 3005 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521828 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29254/statm: 3629 3005 310 324 0 2699 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 14516

[startup+1302.3 s]
/proc/loadavg: 1.05 0.99 0.92 2/65 29257
/proc/meminfo: memFree=1800520/2055920 swapFree=4183876/4192956
[pid=29254] ppid=29252 vsize=14512 CPUtime=1301.94
/proc/29254/stat : 29254 (bsolo3.0.17) R 29252 29254 28548 0 -1 4194304 3196 0 0 0 130191 3 0 0 25 0 1 0 272106880 14860288 3019 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134552319 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29254/statm: 3628 3019 310 324 0 2698 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 14512

[startup+1362.3 s]
/proc/loadavg: 1.07 1.00 0.93 2/65 29257
/proc/meminfo: memFree=1800456/2055920 swapFree=4183876/4192956
[pid=29254] ppid=29252 vsize=14512 CPUtime=1361.92
/proc/29254/stat : 29254 (bsolo3.0.17) R 29252 29254 28548 0 -1 4194304 3196 0 0 0 136189 3 0 0 25 0 1 0 272106880 14860288 3019 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29254/statm: 3628 3019 310 324 0 2698 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 14512

[startup+1422.3 s]
/proc/loadavg: 1.07 1.01 0.93 2/65 29257
/proc/meminfo: memFree=1800520/2055920 swapFree=4183876/4192956
[pid=29254] ppid=29252 vsize=14504 CPUtime=1421.91
/proc/29254/stat : 29254 (bsolo3.0.17) R 29252 29254 28548 0 -1 4194304 3196 0 0 0 142188 3 0 0 25 0 1 0 272106880 14852096 3018 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29254/statm: 3626 3018 310 324 0 2696 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 14504

[startup+1482.3 s]
/proc/loadavg: 1.02 1.01 0.93 2/65 29257
/proc/meminfo: memFree=1800456/2055920 swapFree=4183876/4192956
[pid=29254] ppid=29252 vsize=14500 CPUtime=1481.89
/proc/29254/stat : 29254 (bsolo3.0.17) R 29252 29254 28548 0 -1 4194304 3196 0 0 0 148186 3 0 0 25 0 1 0 272106880 14848000 3017 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29254/statm: 3625 3017 310 324 0 2695 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 14500

[startup+1542.3 s]
/proc/loadavg: 1.01 1.00 0.93 2/65 29257
/proc/meminfo: memFree=1800520/2055920 swapFree=4183876/4192956
[pid=29254] ppid=29252 vsize=14492 CPUtime=1541.87
/proc/29254/stat : 29254 (bsolo3.0.17) R 29252 29254 28548 0 -1 4194304 3196 0 0 0 154184 3 0 0 25 0 1 0 272106880 14839808 3015 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29254/statm: 3623 3015 310 324 0 2693 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 14492

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 29257
/proc/meminfo: memFree=1800456/2055920 swapFree=4183876/4192956
[pid=29254] ppid=29252 vsize=14492 CPUtime=1601.85
/proc/29254/stat : 29254 (bsolo3.0.17) R 29252 29254 28548 0 -1 4194304 3196 0 0 0 160182 3 0 0 25 0 1 0 272106880 14839808 3015 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29254/statm: 3623 3015 310 324 0 2693 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 14492

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 29257
/proc/meminfo: memFree=1799368/2055920 swapFree=4183876/4192956
[pid=29254] ppid=29252 vsize=15620 CPUtime=1661.83
/proc/29254/stat : 29254 (bsolo3.0.17) R 29252 29254 28548 0 -1 4194304 3460 0 0 0 166180 3 0 0 25 0 1 0 272106880 15994880 3279 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29254/statm: 3905 3279 310 324 0 2975 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 15620

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 29257
/proc/meminfo: memFree=1799368/2055920 swapFree=4183876/4192956
[pid=29254] ppid=29252 vsize=15608 CPUtime=1721.83
/proc/29254/stat : 29254 (bsolo3.0.17) R 29252 29254 28548 0 -1 4194304 3460 0 0 0 172179 4 0 0 25 0 1 0 272106880 15982592 3279 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29254/statm: 3902 3279 310 324 0 2972 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 15608

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 29257
/proc/meminfo: memFree=1799368/2055920 swapFree=4183876/4192956
[pid=29254] ppid=29252 vsize=15604 CPUtime=1781.81
/proc/29254/stat : 29254 (bsolo3.0.17) R 29252 29254 28548 0 -1 4194304 3460 0 0 0 178177 4 0 0 25 0 1 0 272106880 15978496 3279 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29254/statm: 3901 3279 310 324 0 2971 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 15604



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 29257
/proc/meminfo: memFree=1799368/2055920 swapFree=4183876/4192956
[pid=29254] ppid=29252 vsize=15604 CPUtime=1800.01
/proc/29254/stat : 29254 (bsolo3.0.17) R 29252 29254 28548 0 -1 4194304 3460 0 0 0 179997 4 0 0 25 0 1 0 272106880 15978496 3279 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29254/statm: 3901 3279 310 324 0 2971 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 15604

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 29257
/proc/meminfo: memFree=1799368/2055920 swapFree=4183876/4192956
[pid=29254] ppid=29252 vsize=15604 CPUtime=1800.01
/proc/29254/stat : 29254 (bsolo3.0.17) R 29252 29254 28548 0 -1 4194304 3460 0 0 0 179997 4 0 0 25 0 1 0 272106880 15978496 3279 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29254/statm: 3901 3279 310 324 0 2971 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 15604

Child status: 15
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.98
CPU system time (s): 0.043993
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 15620

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

runsolver used 1.2898 second user time and 3.63845 second system time

The end

Launcher Data (download as text)

Begin job on node68 on Mon Apr 30 19:26:14 UTC 2007

IDJOB= 433545
IDBENCH= 2932
IDSOLVER= 199
FILE ID= node68/433545-1177961173

PBS_JOBID= 4727686

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_3.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433545-1177961173/instance-433545-1177961173.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node68/watcher-433545-1177961173 -o ROOT/results/node68/solver-433545-1177961173 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433545-1177961173/instance-433545-1177961173.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  474916db0f2f0be5831d97827cee8e55

RANDOM SEED= 993830842

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node68.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.216
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.216
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:       1812504 kB
Buffers:          9108 kB
Cached:         147256 kB
SwapCached:       2824 kB
Active:         118704 kB
Inactive:        59048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1812504 kB
SwapTotal:     4192956 kB
SwapFree:      4183876 kB
Dirty:            6588 kB
Writeback:           0 kB
Mapped:          27380 kB
Slab:            51704 kB
Committed_AS:  3061260 kB
PageTables:       1420 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= 66558 MiB

End job on node68 on Mon Apr 30 19:56:16 UTC 2007