Trace number 354270

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)272676464333400 1800.03 1800.52

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-bell4.opb
MD5SUM7a334409ec63774b2ae9bf0271f87fd8
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark270074323092872
Best CPU time to get the best result obtained on this benchmark1800.28
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 212944791655785
Optimality of the best value was proved NO
Number of variables1996
Total number of constraints134
Number of constraints which are clauses18
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints116
Minimum length of a constraint2
Maximum length of a constraint135
Number of terms in the objective function 1527
Biggest coefficient in the objective function 4949278720000000
Number of bits for the biggest coefficient in the objective function 53
Sum of the numbers in the objective function 114314457147588882
Number of bits of the sum of numbers in the objective function 57
Biggest number in a constraint 4949278720000000
Number of bits of the biggest number in a constraint 53
Biggest sum of numbers in a constraint 114314457147588882
Number of bits of the biggest sum of numbers57
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/354270-1176703608/instance-354270-1176703608.opb
0.00/0.00	c File size is 101490 bytes.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Highest Coefficient sum: 1.14314e+17
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.015 s
0.00/0.01	c Var: 1996 Constr: 134 18/0/116 Lit: 5710 Watch. Lit: 2287
0.00/0.01	c Obj. Vars: 1527 (76.503 % of total variables)
0.03/0.04	c Pre-processing Time: 0.04 s
0.03/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.05	c        0   1525      113     5384   47     4777   10712      0      0 0.04
0.03/0.05	o 1030395250862080	0.05
0.03/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.06	c       53   1524      167     8198   49     6027   12960     54   1039 0.05
0.03/0.06	o 952970570739712	0.061
0.03/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.07	c      116   1524      231    10499   45     7172   12960    118   1870 0.06
0.03/0.07	o 864659927948400	0.068
0.03/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.07	c      121   1524      237    11678   49     8313   12960    124   1753 0.07
0.03/0.07	o 864157297623040	0.075
0.10/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.10/0.11	c      122   1524      239    12822   53     9433   12960    126   1605 0.08
0.10/0.11	o 729694792960000	0.115
0.10/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.10/0.13	c      197   1524      315    20122   63    10733   12960    202   1698 0.12
0.10/0.13	o 465823301570560	0.128
0.20/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.20/0.20	c      207   1513      326    21566   66    11954   12938    213   1604 0.13
0.20/0.20	c      308   1513      427    32798   76    12128   14232    314   1811 0.17
0.20/0.20	o 444647626396160	0.202
0.20/0.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.20/0.25	c      338   1513      458    35356   77    13266   12938    345   1665 0.20
0.20/0.25	o 444473200262772	0.248
0.29/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.30	c      422   1513      543    44376   81    14452   12938    430   1694 0.25
0.29/0.30	o 437545291011840	0.3
0.39/0.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.41	c      477   1513      599    47362   79    15797   12938    486   1584 0.30
0.39/0.41	c      577   1513      699    58873   84    15897   14232    586   1567 0.37
0.39/0.41	o 388112373800960	0.411
0.39/0.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.43	c      628   1513      751    63218   84    17129   12938    638   1520 0.41
0.39/0.43	o 388005816899584	0.432
0.59/0.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.60	c      650   1513      774    65181   84    18401   12938    661   1501 0.43
0.59/0.60	c      751   1513      875    72830   83    18567   14232    762   1493 0.50
0.59/0.60	o 382656951525120	0.601
0.90/0.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.90/0.92	c      902   1513     1027    84020   81    19964   12938    914   1498 0.60
0.90/0.92	c     1002   1513     1127    88768   78    20171   14232   1014   1441 0.69
0.90/0.92	c     1253   1513     1378   111373   80    20713   15656   1265   1403 0.89
0.90/0.92	o 338361620193280	0.925
0.90/0.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.90/0.95	c     1270   1513     1396   112841   80    21793   12938   1283   1371 0.93
0.90/0.95	o 298659122433280	0.955
1.49/1.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.56	c     1304   1513     1431   117001   81    22946   12938   1318   1364 0.96
1.49/1.56	c     1406   1513     1533   125739   82    23176   14232   1420   1335 1.05
1.49/1.56	c     1659   1513     1786   145286   81    23727   15656   1673   1292 1.28
1.49/1.56	c     2134   1513     2261   189188   83    24158   17222   2148   1385 1.54
1.49/1.56	o 297438819610280	1.562
5.59/5.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.59/5.70	c     2140   1513     2268   190627   84    25308   12938   2155   1369 1.56
5.59/5.70	c     2241   1513     2369   196374   82    25903   14232   2256   1290 1.74
5.59/5.70	c     2493   1513     2621   219142   83    26527   15656   2508   1240 2.01
5.59/5.70	c     2968   1513     3096   272729   88    27409   17222   2983   1248 2.38
5.59/5.70	c     3788   1513     3916   343077   87    29109   18945   3803   1218 3.11
5.59/5.70	c     5108   1513     5236   460207   87    31738   20840   5123   1064 4.80
5.59/5.70	o 297298083354240	5.696
12.49/12.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
12.49/12.58	c     5987   1513     6116   525450   85    34402   12938   6003   1050 5.70
12.49/12.58	c     6088   1513     6217   533305   85    34821   14232   6104   1046 5.82
12.49/12.58	c     6338   1513     6467   546810   84    35321   15656   6354   1042 6.08
12.49/12.58	c     6815   1513     6944   598177   86    36295   17222   6831   1029 6.62
12.49/12.58	c     7630   1513     7759   670243   86    37537   18945   7646   1011 7.55
12.49/12.58	c     8950   1513     9079   777283   85    40454   20840   8966   1000 8.95
12.49/12.58	c    11031   1513    11160   989681   88    44631   22925  11047    900 12.24
12.49/12.58	o 297286921579880	12.575
40.98/41.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
40.98/41.09	c    11418   1513    11548  1043009   90    46466   12938  11435    907 12.58
40.98/41.09	c    11519   1513    11649  1048909   90    46797   14232  11536    905 12.73
40.98/41.09	c    11769   1513    11899  1064028   89    47266   15656  11786    905 13.00
40.98/41.09	c    12244   1513    12374  1124231   90    48251   17222  12261    895 13.67
40.98/41.09	c    13059   1513    13189  1212332   91    49859   18945  13076    883 14.78
40.98/41.09	c    14379   1513    14509  1343339   92    52492   20840  14396    879 16.35
40.98/41.09	c    16460   1513    16590  1542455   92    56681   22925  16477    861 19.11
40.98/41.09	c    19684   1513    19814  1788638   90    63125   25218  19701    858 22.93
40.98/41.09	c    24623   1513    24753  2426201   98    72966   27740  24640    858 28.67
40.98/41.09	c    32129   1513    14840  1582535  106    36514   30515  14727    821 39.11
40.98/41.09	o 297256547730940	41.077
45.98/46.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
45.98/46.10	c    36421   1513    19133  2018906  105    46217   12938  19020    886 41.08
45.98/46.10	c    36521   1513     6689   667793   99    20200   14232   6576    878 41.56
45.98/46.10	c    36772   1513     6940   692741   99    20732   15656   6827    883 41.62
45.98/46.10	c    37247   1513     7415   745657  100    21669   17222   7302    891 41.78
45.98/46.10	c    38061   1513     8229   810561   98    23311   18945   8116    905 42.05
45.98/46.10	c    39381   1513     9549   947660   99    25940   20840   9436    927 42.44
45.98/46.10	c    41462   1513    11630  1137821   97    30114   22925  11517    956 43.33
45.98/46.10	c    44685   1513    14853  1670060  112    36568   25218  14740    990 45.09
45.98/46.10	o 297220370509050	46.09
46.28/46.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
46.28/46.36	c    46651   1513    16820  1935055  115    41576   12938  16707   1012 46.09
46.28/46.36	c    46753   1513     6693   925987  138    20212   14232   6580   1010 46.27
46.28/46.36	o 297031157737280	46.348
71.77/71.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
71.77/71.89	c    46967   1513     6908   948558  137    21772   12938   6795   1013 46.35
71.77/71.89	c    47067   1513     7008   954655  136    21976   14232   6895   1014 46.39
71.77/71.89	c    47317   1513     7258   974919  134    22479   15656   7145   1017 46.49
71.77/71.89	c    47792   1513     7733  1015760  131    23415   17222   7620   1023 46.68
71.77/71.89	c    48605   1513     8546  1091285  127    25041   18945   8433   1033 47.04
71.77/71.89	c    49925   1513     9866  1217384  123    27653   20840   9753   1040 47.97
71.77/71.89	c    52006   1513    11947  1381196  115    31806   22925  11834   1061 49.01
71.77/71.89	c    55230   1513    15171  1642399  108    38276   25218  15058   1094 50.46
71.77/71.89	c    60167   1513    20108  2317457  115    48181   27740  19995   1114 54.01
71.77/71.89	c    67675   1512    27616  3094399  112    63188   30515  27503   1139 59.41
71.77/71.89	c    79037   1512    19077  1589517   83    45006   33567  18964   1182 66.85
71.77/71.89	o 296870467160960	71.875
74.27/74.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
74.27/74.38	c    88483   1512    28524  2868861  100    65007   12936  28411   1231 71.88
74.27/74.38	c    88583   1512     6692   920344  137    20232   14230   6579   1217 72.78
74.27/74.38	c    88834   1512     6943   931295  134    20732   15654   6830   1219 72.84
74.27/74.38	c    89310   1512     7419   970238  130    21679   17220   7306   1223 73.00
74.27/74.38	c    90124   1512     8233  1040486  126    23305   18943   8120   1230 73.23
74.27/74.38	c    91444   1512     9553  1147002  120    25943   20838   9440   1241 73.64
74.27/74.38	c    93527   1512    11636  1363097  117    30096   22922  11523   1258 74.30
74.27/74.38	o 272800937448008	74.363
78.37/78.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
78.37/78.45	c    93653   1512    11763  1373025  116    31478   12936  11650   1259 74.36
78.37/78.45	c    93753   1512    11863  1380782  116    31674   14230  11750   1259 74.42
78.37/78.45	c    94003   1512    12113  1396796  115    32172   15654  12000   1261 74.52
78.37/78.45	c    94478   1512    12588  1445399  114    33141   17220  12475   1263 74.75
78.37/78.45	c    95291   1512    13401  1502251  112    34758   18943  13288   1269 75.08
78.37/78.45	c    96612   1511    14722  1593109  108    37396   20838  14609   1275 75.72
78.37/78.45	c    98694   1511    16804  1749753  104    41550   22922  16691   1288 76.61
78.37/78.45	c   101917   1511    20027  2018902  100    48002   25215  19914   1305 78.10
78.37/78.45	o 272676464333400	78.43
1799.91/1800.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.91/1800.48	c   102460   1511    20571  2101729  102    50201   12936  20458   1306 78.43
1799.91/1800.48	c   102561   1511     6694   555397   82    20225   14230   6581   1303 78.70
1799.91/1800.48	c   102812   1511     6945   577636   83    20735   15654   6832   1304 78.79
1799.91/1800.48	c   103287   1511     7420   612839   82    21676   17220   7307   1308 78.93
1799.91/1800.48	c   104103   1511     8236   664336   80    23321   18943   8123   1314 79.17
1799.91/1800.48	c   105424   1511     9557   766429   80    25953   20838   9444   1323 79.68
1799.91/1800.48	c   107506   1511    11639   886579   76    30084   22922  11526   1337 80.36
1799.91/1800.48	c   110729   1511    14862  1240399   83    36560   25215  14749   1353 81.79
1799.91/1800.48	c   115665   1511    19798  1801025   90    46433   27737  19685   1368 84.53
1799.91/1800.48	c   123172   1511    27305  2688935   98    61461   30511  27192   1387 88.78
1799.91/1800.48	c   134533   1511    18685  1972178  105    44196   33563  18572   1386 97.00
1799.91/1800.48	c   151677   1511    12870  1522708  118    32592   36920  12757   1408 107.69
1799.91/1800.48	c   177497   1511    12506  1191509   95    31846   40613  12393   1381 128.44
1799.91/1800.48	c   216329   1511    21491  2249920  104    49832   44675  21378   1296 166.83
1799.91/1800.48	c   274682   1511    12389  1762369  142    31635   49143  12276    992 276.74
1799.91/1800.48	c   362316   1511    25489  3322410  130    57802   54058  25376    850 426.02
1799.91/1800.48	c   493869   1511    29122  4046430  138    65058   59464  29009    661 746.33
1799.91/1800.48	c   691301   1511    34555  5212570  150    75936   65411  34442    574 1203.15
1799.91/1800.48	c Resources Exceeded
1799.91/1800.48	v -x1160 -x1167 -x1168 -x1169 -x1170 x1171 -x1172 -x1173 -x1174 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1811 x1812 -x1813
1799.91/1800.48	v -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1885 -x1886 -x1887 -x1888 x1889 -x1890
1799.91/1800.48	v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 x1903 -x1904 -x1905 -x1906 -x1907
1799.91/1800.48	v -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924
1799.91/1800.48	v -x1925 -x1926 -x1927 x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941
1799.91/1800.48	v x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958
1799.91/1800.48	v -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975
1799.91/1800.48	v -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992
1799.91/1800.48	v -x1993 -x1994 -x1995 -x1996 x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 x1835 -x1836 -x1837 -x1838
1799.91/1800.48	v -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855
1799.91/1800.48	v -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872
1799.91/1800.48	v -x1873 -x1874 -x1875 -x1876 x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 x1625 x1626 -x1627 x1628 x1629 -x1630
1799.91/1800.48	v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707
1799.91/1800.48	v -x1708 x1709 -x1710 -x1711 -x1712 x1713 -x1714 -x1715 x1716 x1717 x1718 x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725
1799.91/1800.48	v -x1726 x1727 -x1728 x1729 -x1730 x1731 x1732 x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 x1743
1799.91/1800.48	v -x1744 -x1745 x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 x1755 x1756 x1757 x1758 x1759 -x1760 -x1761
1799.91/1800.48	v -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 x1769 x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779
1799.91/1800.48	v -x1780 -x1781 -x1782 -x1783 x1784 x1785 -x1786 x1787 -x1788 x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 x1797
1799.91/1800.48	v x1798 x1799 x1800 -x1801 x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1639 -x1640 -x1641 x1642 -x1643
1799.91/1800.48	v x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 x1653 x1654 x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661
1799.91/1800.48	v x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679
1799.91/1800.48	v -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 x1686 x1687 -x1688 -x1689 x1690 x1691 -x1692 x1693 -x1694 x1695 x1696 -x1697
1799.91/1800.48	v -x1698 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.91/1800.48	v -x30 -x331 x332 x333 -x334 x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 x347 -x348 x349 x350 -x351
1799.91/1800.48	v -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372
1799.91/1800.48	v -x373 x374 x375 x376 -x377 -x378 -x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393
1799.91/1800.48	v -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414
1799.91/1800.48	v -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 x423 -x424 x425 x426 x427 x428 -x429 -x430 -x431 -x432 x433 x434 x435 -x436
1799.91/1800.48	v x437 -x438 x439 -x440 -x441 x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457
1799.91/1800.48	v -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 x466 x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478
1799.91/1800.48	v -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 x492 x493 x494 x495 -x496 x497 -x498 x499 x500
1799.91/1800.48	v -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521
1799.91/1800.48	v x522 -x523 -x524 -x525 x526 x527 x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 -x542 -x543
1799.91/1800.48	v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 -x564
1799.91/1800.48	v -x565 -x566 -x567 -x568 -x569 -x570 -x31 x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49
1799.91/1800.48	v -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 x74 x75 x76
1799.91/1800.48	v x77 x78 x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102
1799.91/1800.48	v -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123
1799.91/1800.48	v -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144
1799.91/1800.48	v -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 x165
1799.91/1800.48	v x166 x167 -x168 x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186
1799.91/1800.48	v -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207
1799.91/1800.48	v -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 x227 -x228
1799.91/1800.48	v -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249
1799.91/1800.48	v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
1799.91/1800.48	v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 x291
1799.91/1800.48	v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312
1799.91/1800.48	v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x571 -x572 -x573
1799.91/1800.48	v -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594
1799.91/1800.48	v -x595 -x596 -x597 -x598 -x599 -x600 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915
1799.91/1800.48	v -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936
1799.91/1800.48	v -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957
1799.91/1800.48	v -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978
1799.91/1800.48	v x979 x980 -x981 x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999
1799.91/1800.48	v -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016
1799.91/1800.48	v -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033
1799.91/1800.48	v -x1034 -x1035 -x1036 -x1037 x1038 -x1039 x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051
1799.91/1800.48	v -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 x1064 -x1065 x1066 -x1067 x1068 -x1069
1799.91/1800.48	v -x1070 x1071 x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087
1799.91/1800.48	v -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 x1094 -x1095 x1096 x1097 -x1098 -x1099 -x1100 x1101 x1102 -x1103 -x1104 -x1105
1799.91/1800.48	v -x1106 -x1107 -x1108 -x1109 -x1110 x1111 x1112 x1113 x1114 x1115 x1116 x1117 x1118 x1119 x1120 x1121 x1122 x1123 -x1124
1799.91/1800.48	v -x1125 x1126 x1127 -x1128 -x1129 -x1130 x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x601 -x602
1799.91/1800.48	v -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623
1799.91/1800.48	v -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 x636 x637 x638 x639 x640 x641 x642 -x643 x644 -x645
1799.91/1800.48	v x646 x647 x648 x649 x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667
1799.91/1800.48	v -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688
1799.91/1800.48	v -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 x709
1799.91/1800.48	v -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730
1799.91/1800.48	v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751
1799.91/1800.48	v -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 x771 -x772
1799.91/1800.48	v -x773 x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793
1799.91/1800.48	v -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814
1799.91/1800.48	v -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835
1799.91/1800.48	v -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856
1799.91/1800.48	v -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877
1799.91/1800.48	v -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898
1799.91/1800.48	v -x899 -x900 x1141 x1152 x1155 x1143 x1144 -x1145 -x1146 -x1147 -x1148 x1149 x1150 x1151 x1153 x1154 x1156 -x1157 -x1158
1799.91/1800.48	v -x1159 x1142 x1175 x1176 x1177 x1178 x1179 -x1180 x1181 x1182 x1183 x1184 x1185 x1186 x1187 x1188 x1189 x1190 x1191 -x1192
1799.91/1800.48	v -x1193 x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 x1206 x1207 -x1208 x1209 x1210
1799.91/1800.48	v x1211 x1212 x1213 x1214 x1215 x1216 -x1217 -x1218 -x1219 -x1220 -x1221 x1222 x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229
1799.91/1800.48	v -x1230 -x1231 -x1232 -x1233 -x1234 x1235 x1236 x1237 x1238 x1239 -x1240 x1241 x1242 x1243 x1244 x1245 x1246 -x1247 x1248
1799.91/1800.48	v -x1249 x1250 -x1251 -x1252 x1253 -x1254 -x1255 x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 x1265 -x1266
1799.91/1800.48	v x1267 x1268 x1269 x1270 x1271 x1272 x1273 x1274 x1275 x1276 -x1277 -x1278 x1279 x1280 -x1281 -x1282 -x1283 -x1284 -x1285
1799.91/1800.48	v -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302
1799.91/1800.48	v -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319
1799.91/1800.48	v -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336
1799.91/1800.48	v -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 x1345 -x1346 -x1347 x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354
1799.91/1800.48	v -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371
1799.91/1800.48	v -x1372 -x1373 -x1374 x1375 -x1376 x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 x1385 x1386 -x1387 x1388 -x1389
1799.91/1800.48	v x1390 x1391 x1392 x1393 x1394 x1395 x1396 x1397 x1398 x1399 x1400 x1401 x1402 x1403 x1404 -x1405 x1406 -x1407 x1408 -x1409
1799.91/1800.48	v -x1410 -x1411 -x1412 -x1413 -x1414 x1415 x1416 x1417 x1418 x1419 x1420 x1421 x1422 x1423 x1424 x1425 x1426 x1427 x1428 -x1429
1799.91/1800.48	v -x1430 x1431 -x1432 x1433 x1434 -x1435 x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447
1799.91/1800.48	v -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 x1459 x1460 x1461 x1462 -x1463 x1464 -x1465
1799.91/1800.48	v x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 x1481 -x1482 x1483
1799.91/1800.48	v x1484 x1485 x1486 x1487 x1488 -x1489 -x1490 x1491 -x1492 x1493 x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502
1799.91/1800.48	v -x1503 -x1504 -x1505 -x1506 x1507 x1508 x1509 x1510 x1511 x1512 x1513 x1514 -x1515 x1516 -x1517 -x1518 -x1519 x1520 x1521
1799.91/1800.48	v x1522 -x1523 x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539
1799.91/1800.48	v -x1540 -x1541 -x1542 -x1543 -x1544 x1545 x1546 x1547 x1548 x1549 x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557
1799.91/1800.48	v -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574
1799.91/1800.48	v -x1575 x1576 x1577 x1578 x1579 x1580 x1581 x1582 x1583 x1584 x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593
1799.91/1800.48	v -x1594 x1595 x1596 x1597 x1598 x1599 x1600 x1601 x1602 x1603 x1604 x1605 x1606 x1607 -x1608 -x1609 x1610 x1611 -x1612 -x1613
1799.91/1800.48	v -x1614 x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624
1799.91/1800.49	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.91/1800.49	c   99   929966 255834  1572813    56936  7440163  56823    516 1800.00
1799.91/1800.49	c Objective: 272676464333400
1799.91/1800.49	s SATISFIABLE
1799.91/1800.49	c Total time: 1800 s

Verifier Data (download as text)

OK	272676464333400

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node68/watcher-354270-1176703608 -o ROOT/results/node68/solver-354270-1176703608 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354270-1176703608/instance-354270-1176703608.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.88 0.97 0.99 3/64 28787
/proc/meminfo: memFree=1908856/2055920 swapFree=4183804/4192956
[pid=28787] ppid=28785 vsize=11836 CPUtime=0
/proc/28787/stat : 28787 (bsolo3.0.16) R 28785 28787 27655 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 146350290 12120064 334 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10950267 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28787/statm: 2959 335 282 324 0 2003 0

[startup+0.0392301 s]
/proc/loadavg: 0.88 0.97 0.99 3/64 28787
/proc/meminfo: memFree=1908856/2055920 swapFree=4183804/4192956
[pid=28787] ppid=28785 vsize=4488 CPUtime=0.03
/proc/28787/stat : 28787 (bsolo3.0.16) R 28785 28787 27655 0 -1 4194304 559 0 0 0 3 0 0 0 18 0 1 0 146350290 4595712 502 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28787/statm: 1122 502 307 324 0 191 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4488

[startup+0.102235 s]
/proc/loadavg: 0.88 0.97 0.99 3/64 28787
/proc/meminfo: memFree=1908856/2055920 swapFree=4183804/4192956
[pid=28787] ppid=28785 vsize=4748 CPUtime=0.1
/proc/28787/stat : 28787 (bsolo3.0.16) R 28785 28787 27655 0 -1 4194304 613 0 0 0 9 1 0 0 18 0 1 0 146350290 4861952 556 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28787/statm: 1187 556 312 324 0 256 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 4748

[startup+0.302254 s]
/proc/loadavg: 0.88 0.97 0.99 3/64 28787
/proc/meminfo: memFree=1908856/2055920 swapFree=4183804/4192956
[pid=28787] ppid=28785 vsize=5268 CPUtime=0.29
/proc/28787/stat : 28787 (bsolo3.0.16) R 28785 28787 27655 0 -1 4194304 745 0 0 0 28 1 0 0 20 0 1 0 146350290 5394432 688 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28787/statm: 1317 688 313 324 0 386 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5268

[startup+0.70129 s]
/proc/loadavg: 0.88 0.97 0.99 3/64 28787
/proc/meminfo: memFree=1908856/2055920 swapFree=4183804/4192956
[pid=28787] ppid=28785 vsize=5924 CPUtime=0.69
/proc/28787/stat : 28787 (bsolo3.0.16) R 28785 28787 27655 0 -1 4194304 922 0 0 0 68 1 0 0 23 0 1 0 146350290 6066176 865 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28787/statm: 1481 865 313 324 0 550 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5924

[startup+1.50136 s]
/proc/loadavg: 0.88 0.97 0.99 2/65 28788
/proc/meminfo: memFree=1906096/2055920 swapFree=4183804/4192956
[pid=28787] ppid=28785 vsize=7236 CPUtime=1.49
/proc/28787/stat : 28787 (bsolo3.0.16) R 28785 28787 27655 0 -1 4194304 1248 0 0 0 147 2 0 0 25 0 1 0 146350290 7409664 1191 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28787/statm: 1809 1191 313 324 0 878 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7236

[startup+3.10151 s]
/proc/loadavg: 0.88 0.97 0.99 2/65 28788
/proc/meminfo: memFree=1904432/2055920 swapFree=4183804/4192956
[pid=28787] ppid=28785 vsize=9580 CPUtime=3.09
/proc/28787/stat : 28787 (bsolo3.0.16) R 28785 28787 27655 0 -1 4194304 1823 0 0 0 306 3 0 0 25 0 1 0 146350290 9809920 1766 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28787/statm: 2395 1766 313 324 0 1464 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9580

[startup+6.3018 s]
/proc/loadavg: 0.89 0.97 0.99 2/65 28788
/proc/meminfo: memFree=1900400/2055920 swapFree=4183804/4192956
[pid=28787] ppid=28785 vsize=12704 CPUtime=6.29
/proc/28787/stat : 28787 (bsolo3.0.16) R 28785 28787 27655 0 -1 4194304 2609 0 0 0 626 3 0 0 25 0 1 0 146350290 13008896 2552 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10950267 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28787/statm: 3176 2552 313 324 0 2245 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12704

[startup+12.7014 s]
/proc/loadavg: 0.90 0.97 0.99 2/65 28788
/proc/meminfo: memFree=1893824/2055920 swapFree=4183804/4192956
[pid=28787] ppid=28785 vsize=19464 CPUtime=12.69
/proc/28787/stat : 28787 (bsolo3.0.16) R 28785 28787 27655 0 -1 4194304 4310 0 0 0 1264 5 0 0 25 0 1 0 146350290 19931136 4253 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28787/statm: 4866 4253 313 324 0 3935 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19464

[startup+25.5025 s]
/proc/loadavg: 0.92 0.97 0.99 2/65 28788
/proc/meminfo: memFree=1878912/2055920 swapFree=4183804/4192956
[pid=28787] ppid=28785 vsize=33788 CPUtime=25.48
/proc/28787/stat : 28787 (bsolo3.0.16) R 28785 28787 27655 0 -1 4194304 7896 0 0 0 2540 8 0 0 25 0 1 0 146350290 34598912 7839 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28787/statm: 8447 7839 313 324 0 7516 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 33788

[startup+51.1018 s]
/proc/loadavg: 0.95 0.97 0.99 2/65 28788
/proc/meminfo: memFree=1867904/2055920 swapFree=4183804/4192956
[pid=28787] ppid=28785 vsize=44316 CPUtime=51.08
/proc/28787/stat : 28787 (bsolo3.0.16) R 28785 28787 27655 0 -1 4194304 10528 0 0 0 5091 17 0 0 25 0 1 0 146350290 45379584 10471 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28787/statm: 11079 10471 313 324 0 10148 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 44316

[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 28788
/proc/meminfo: memFree=1861760/2055920 swapFree=4183804/4192956
[pid=28787] ppid=28785 vsize=50568 CPUtime=102.27
/proc/28787/stat : 28787 (bsolo3.0.16) R 28785 28787 27655 0 -1 4194304 12099 0 0 0 10195 32 0 0 25 0 1 0 146350290 51781632 12037 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28787/statm: 12642 12037 313 324 0 11711 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 50568

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 28788
/proc/meminfo: memFree=1850240/2055920 swapFree=4183804/4192956
[pid=28787] ppid=28785 vsize=61864 CPUtime=162.25
/proc/28787/stat : 28787 (bsolo3.0.16) R 28785 28787 27655 0 -1 4194304 15035 0 0 0 16181 44 0 0 25 0 1 0 146350290 63348736 14860 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551374 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28787/statm: 15466 14860 313 324 0 14535 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 61864

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 28788
/proc/meminfo: memFree=1831360/2055920 swapFree=4183804/4192956
[pid=28787] ppid=28785 vsize=80740 CPUtime=222.23
/proc/28787/stat : 28787 (bsolo3.0.16) R 28785 28787 27655 0 -1 4194304 19783 0 0 0 22169 54 0 0 25 0 1 0 146350290 82677760 19563 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28787/statm: 20185 19563 313 324 0 19254 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 80740

[startup+282.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 28788
/proc/meminfo: memFree=1817984/2055920 swapFree=4183804/4192956
[pid=28787] ppid=28785 vsize=94056 CPUtime=282.22
/proc/28787/stat : 28787 (bsolo3.0.16) R 28785 28787 27655 0 -1 4194304 23149 0 0 0 28158 64 0 0 25 0 1 0 146350290 96313344 22884 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28787/statm: 23514 22884 313 324 0 22583 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 94056

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 28788
/proc/meminfo: memFree=1816256/2055920 swapFree=4183804/4192956
[pid=28787] ppid=28785 vsize=95760 CPUtime=342.2
/proc/28787/stat : 28787 (bsolo3.0.16) R 28785 28787 27655 0 -1 4194304 23619 0 0 0 34149 71 0 0 25 0 1 0 146350290 98058240 23305 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28787/statm: 23940 23305 313 324 0 23009 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 95760

[startup+402.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 28788
/proc/meminfo: memFree=1816320/2055920 swapFree=4183804/4192956
[pid=28787] ppid=28785 vsize=95760 CPUtime=402.19
/proc/28787/stat : 28787 (bsolo3.0.16) R 28785 28787 27655 0 -1 4194304 23619 0 0 0 40141 78 0 0 25 0 1 0 146350290 98058240 23305 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28787/statm: 23940 23305 313 324 0 23009 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 95760

[startup+462.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 28788
/proc/meminfo: memFree=1809792/2055920 swapFree=4183804/4192956
[pid=28787] ppid=28785 vsize=102880 CPUtime=462.17
/proc/28787/stat : 28787 (bsolo3.0.16) R 28785 28787 27655 0 -1 4194304 25451 0 0 0 46131 86 0 0 25 0 1 0 146350290 105349120 25088 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10948333 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28787/statm: 25720 25088 313 324 0 24789 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 102880

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 28788
/proc/meminfo: memFree=1805760/2055920 swapFree=4183804/4192956
[pid=28787] ppid=28785 vsize=106232 CPUtime=522.15
/proc/28787/stat : 28787 (bsolo3.0.16) R 28785 28787 27655 0 -1 4194304 26340 0 0 0 52122 93 0 0 25 0 1 0 146350290 108781568 25923 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28787/statm: 26558 25923 313 324 0 25627 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 106232

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 28788
/proc/meminfo: memFree=1802176/2055920 swapFree=4183804/4192956
[pid=28787] ppid=28785 vsize=110228 CPUtime=582.13
/proc/28787/stat : 28787 (bsolo3.0.16) R 28785 28787 27655 0 -1 4194304 27361 0 0 0 58116 97 0 0 25 0 1 0 146350290 112873472 26944 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28787/statm: 27557 26944 313 324 0 26626 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 110228

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 28788
/proc/meminfo: memFree=1792256/2055920 swapFree=4183804/4192956
[pid=28787] ppid=28785 vsize=119660 CPUtime=642.12
/proc/28787/stat : 28787 (bsolo3.0.16) R 28785 28787 27655 0 -1 4194304 29764 0 0 0 64109 103 0 0 25 0 1 0 146350290 122531840 29293 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28787/statm: 29915 29293 313 324 0 28984 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 119660


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 28788
/proc/meminfo: memFree=1791680/2055920 swapFree=4183804/4192956
[pid=28787] ppid=28785 vsize=120204 CPUtime=882.06
/proc/28787/stat : 28787 (bsolo3.0.16) R 28785 28787 27655 0 -1 4194304 29963 0 0 0 88082 124 0 0 25 0 1 0 146350290 123088896 29438 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28787/statm: 30051 29438 313 324 0 29120 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 120204

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 28788
/proc/meminfo: memFree=1791744/2055920 swapFree=4183804/4192956
[pid=28787] ppid=28785 vsize=120204 CPUtime=942.04
/proc/28787/stat : 28787 (bsolo3.0.16) R 28785 28787 27655 0 -1 4194304 29963 0 0 0 94076 128 0 0 25 0 1 0 146350290 123088896 29438 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28787/statm: 30051 29438 313 324 0 29120 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 120204

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 28788
/proc/meminfo: memFree=1792064/2055920 swapFree=4183804/4192956
[pid=28787] ppid=28785 vsize=119680 CPUtime=1002.02
/proc/28787/stat : 28787 (bsolo3.0.16) R 28785 28787 27655 0 -1 4194304 29963 0 0 0 100066 136 0 0 25 0 1 0 146350290 122552320 29315 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28787/statm: 29920 29315 313 324 0 28989 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 119680

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 28788
/proc/meminfo: memFree=1792064/2055920 swapFree=4183804/4192956
[pid=28787] ppid=28785 vsize=119676 CPUtime=1062.01
/proc/28787/stat : 28787 (bsolo3.0.16) R 28785 28787 27655 0 -1 4194304 29963 0 0 0 106058 143 0 0 25 0 1 0 146350290 122548224 29314 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28787/statm: 29919 29314 313 324 0 28988 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 119676

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 28788
/proc/meminfo: memFree=1792128/2055920 swapFree=4183804/4192956
[pid=28787] ppid=28785 vsize=119676 CPUtime=1121.99
/proc/28787/stat : 28787 (bsolo3.0.16) R 28785 28787 27655 0 -1 4194304 29963 0 0 0 112052 147 0 0 25 0 1 0 146350290 122548224 29314 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28787/statm: 29919 29314 313 324 0 28988 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 119676

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 28788
/proc/meminfo: memFree=1788032/2055920 swapFree=4183804/4192956
[pid=28787] ppid=28785 vsize=123684 CPUtime=1181.98
/proc/28787/stat : 28787 (bsolo3.0.16) R 28785 28787 27655 0 -1 4194304 31005 0 0 0 118045 153 0 0 25 0 1 0 146350290 126652416 30297 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28787/statm: 30921 30297 313 324 0 29990 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 123684

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 28788
/proc/meminfo: memFree=1788032/2055920 swapFree=4183804/4192956
[pid=28787] ppid=28785 vsize=123684 CPUtime=1241.96
/proc/28787/stat : 28787 (bsolo3.0.16) R 28785 28787 27655 0 -1 4194304 31005 0 0 0 124035 161 0 0 25 0 1 0 146350290 126652416 30297 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551548 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28787/statm: 30921 30297 313 324 0 29990 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 123684

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 28788
/proc/meminfo: memFree=1777856/2055920 swapFree=4183804/4192956
[pid=28787] ppid=28785 vsize=133768 CPUtime=1301.95
/proc/28787/stat : 28787 (bsolo3.0.16) R 28785 28787 27655 0 -1 4194304 33608 0 0 0 130025 170 0 0 25 0 1 0 146350290 136978432 32835 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28787/statm: 33442 32835 313 324 0 32511 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 133768

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 28788
/proc/meminfo: memFree=1777856/2055920 swapFree=4183804/4192956
[pid=28787] ppid=28785 vsize=133768 CPUtime=1361.93
/proc/28787/stat : 28787 (bsolo3.0.16) R 28785 28787 27655 0 -1 4194304 33608 0 0 0 136018 175 0 0 25 0 1 0 146350290 136978432 32835 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28787/statm: 33442 32835 313 324 0 32511 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 133768

[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 28788
/proc/meminfo: memFree=1771712/2055920 swapFree=4183804/4192956
[pid=28787] ppid=28785 vsize=139960 CPUtime=1421.92
/proc/28787/stat : 28787 (bsolo3.0.16) R 28785 28787 27655 0 -1 4194304 35192 0 0 0 142008 184 0 0 25 0 1 0 146350290 143319040 34354 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28787/statm: 34990 34354 313 324 0 34059 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 139960

[startup+1482.3 s]
/proc/loadavg: 1.04 0.99 0.99 2/65 28788
/proc/meminfo: memFree=1771712/2055920 swapFree=4183804/4192956
[pid=28787] ppid=28785 vsize=139960 CPUtime=1481.9
/proc/28787/stat : 28787 (bsolo3.0.16) R 28785 28787 27655 0 -1 4194304 35192 0 0 0 148002 188 0 0 25 0 1 0 146350290 143319040 34354 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28787/statm: 34990 34354 313 324 0 34059 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 139960

[startup+1542.3 s]
/proc/loadavg: 1.09 1.02 1.00 2/65 28788
/proc/meminfo: memFree=1761856/2055920 swapFree=4183804/4192956
[pid=28787] ppid=28785 vsize=149760 CPUtime=1541.88
/proc/28787/stat : 28787 (bsolo3.0.16) R 28785 28787 27655 0 -1 4194304 37725 0 0 0 153991 197 0 0 25 0 1 0 146350290 153354240 36822 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28787/statm: 37440 36822 313 324 0 36509 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 149760

[startup+1602.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 28788
/proc/meminfo: memFree=1761856/2055920 swapFree=4183804/4192956
[pid=28787] ppid=28785 vsize=149760 CPUtime=1601.85
/proc/28787/stat : 28787 (bsolo3.0.16) R 28785 28787 27655 0 -1 4194304 37725 0 0 0 159983 202 0 0 25 0 1 0 146350290 153354240 36822 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134572825 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28787/statm: 37440 36822 313 324 0 36509 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 149760

[startup+1662.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 28788
/proc/meminfo: memFree=1761856/2055920 swapFree=4183804/4192956
[pid=28787] ppid=28785 vsize=149696 CPUtime=1661.84
/proc/28787/stat : 28787 (bsolo3.0.16) R 28785 28787 27655 0 -1 4194304 37726 0 0 0 165979 205 0 0 25 0 1 0 146350290 153288704 36819 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10948175 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28787/statm: 37424 36819 313 324 0 36493 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 149696

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28788
/proc/meminfo: memFree=1761856/2055920 swapFree=4183804/4192956
[pid=28787] ppid=28785 vsize=149696 CPUtime=1721.83
/proc/28787/stat : 28787 (bsolo3.0.16) R 28785 28787 27655 0 -1 4194304 37726 0 0 0 171975 208 0 0 25 0 1 0 146350290 153288704 36819 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28787/statm: 37424 36819 313 324 0 36493 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 149696

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28788
/proc/meminfo: memFree=1761856/2055920 swapFree=4183804/4192956
[pid=28787] ppid=28785 vsize=149696 CPUtime=1781.81
/proc/28787/stat : 28787 (bsolo3.0.16) R 28785 28787 27655 0 -1 4194304 37726 0 0 0 177971 210 0 0 25 0 1 0 146350290 153288704 36819 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28787/statm: 37424 36819 313 324 0 36493 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 149696



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28788
/proc/meminfo: memFree=1831780/2055920 swapFree=4183804/4192956
[pid=28787] ppid=28785 vsize=0 CPUtime=1800.01
/proc/28787/stat : 28787 (bsolo3.0.16) R 28785 28787 27655 0 -1 4194308 37727 0 0 0 179789 212 0 0 25 0 1 0 146350290 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28787/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28788
/proc/meminfo: memFree=1831780/2055920 swapFree=4183804/4192956
[pid=28787] ppid=28785 vsize=0 CPUtime=1800.01
/proc/28787/stat : 28787 (bsolo3.0.16) R 28785 28787 27655 0 -1 4194308 37727 0 0 0 179789 212 0 0 25 0 1 0 146350290 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28787/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.03
CPU user time (s): 1797.89
CPU system time (s): 2.13867
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 150020

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

runsolver used 1.2848 second user time and 3.64345 second system time

The end

Launcher Data (download as text)

Begin job on node68 on Mon Apr 16 06:06:48 UTC 2007

IDJOB= 354270
IDBENCH= 2465
IDSOLVER= 163
FILE ID= node68/354270-1176703608

PBS_JOBID= 4560043

Free space on /tmp= 66406 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell4.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354270-1176703608/instance-354270-1176703608.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node68/watcher-354270-1176703608 -o ROOT/results/node68/solver-354270-1176703608 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354270-1176703608/instance-354270-1176703608.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  7a334409ec63774b2ae9bf0271f87fd8

RANDOM SEED= 565695321

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:       1909328 kB
Buffers:          7320 kB
Cached:          87620 kB
SwapCached:       3456 kB
Active:          58660 kB
Inactive:        51000 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1909328 kB
SwapTotal:     4192956 kB
SwapFree:      4183804 kB
Dirty:            4484 kB
Writeback:           0 kB
Mapped:          20168 kB
Slab:            23020 kB
Committed_AS:  2641920 kB
PageTables:       1392 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= 66406 MiB

End job on node68 on Mon Apr 16 06:36:50 UTC 2007