Trace number 433675

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)18032 1800.08 1800.62

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/reduced/
submittedPB07/aksoy/trarea_ac/normalized-reduced-fir07_trarea_ac.opb
MD5SUMc4de50562e099d54fade2e7e4191867f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark15079
Best CPU time to get the best result obtained on this benchmark2.37864
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 15079
Optimality of the best value was proved YES
Number of variables2278
Total number of constraints4879
Number of constraints which are clauses4879
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint43
Number of terms in the objective function 1076
Biggest coefficient in the objective function 650
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 524792
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 650
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 524792
Number of bits of the biggest sum of numbers20
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/433675-1177961904/instance-433675-1177961904.opb
0.00/0.00	c File size is 149868 bytes.
0.00/0.03	c Highest Coefficient sum: 524792
0.00/0.03	c Parsing was ok!!
0.00/0.03	c Total parsing time: 0.027 s
0.00/0.03	c Var: 2278 Constr: 4879 4879/0/0 Lit: 12472 Watch. Lit: 9756
0.00/0.03	c Obj. Vars: 1076 (47.2344 % of total variables)
0.00/0.06	c Pre-processing Time: 0.056 s
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c        0   2122     3870    10065    2     7740    1289      0      0 0.06
0.00/0.06	c Switching off LPR mode.
0.00/0.06	o 19036	0.057
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c        0   2122     3871    11139    2     8777    3437      1      0 0.06
0.00/0.06	o 19028	0.059
1.88/1.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.88/1.92	c        1   2122     3873    12256    3     9816    3437      3     16 0.06
1.88/1.92	c      101   2122     3973    16825    4    10016    3781    103   1262 0.08
1.88/1.92	c      352   2122     4224    32865    7    10516    4160    354   2427 0.14
1.88/1.92	c      827   2122     4699    61575   13    11468    4577    829   3051 0.27
1.88/1.92	c     1640   2122     5512    99642   18    13094    5035   1642   3299 0.50
1.88/1.92	c     2960   2122     6832   164550   24    15736    5539   2962   3583 0.83
1.88/1.92	c     5041   2122     8913   296433   33    19896    6093   5043   3621 1.39
1.88/1.92	o 18900	1.915
64.96/65.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
64.96/65.00	c     6465   2122     6918   203460   29    14871    3437   3048   3349 1.93
64.96/65.00	c     6567   2122     7020   208983   29    15076    3781   3150   3357 1.96
64.96/65.00	c     6817   2122     7270   221577   30    15575    4160   3400   3403 2.00
64.96/65.00	c     7292   2122     7745   251835   32    16525    4577   3875   3436 2.12
64.96/65.00	c     8105   2122     8558   297378   34    18152    5035   4688   3534 2.29
64.96/65.00	c     9426   2122     6389   153273   23    13814    5539   2519   3600 2.62
64.96/65.00	c    11507   2122     8470   261109   30    17975    6093   4600   3656 3.15
64.96/65.00	c    14730   2122     7454   206255   27    15943    6703   3584   3636 4.05
64.96/65.00	c    19666   2122     7721   206615   26    16478    7374   3851   3563 5.52
64.96/65.00	c    27172   2122    10280   416978   40    21596    8112   6410   3349 8.11
64.96/65.00	c    38533   2122    11090   403141   36    23216    8924   7220   3287 11.72
64.96/65.00	c    55677   2122    10954   364273   33    22943    9817   7084   2898 19.21
64.96/65.00	c    81497   2122    12037   646131   53    25109   10799   8167   2593 31.43
64.96/65.00	c   120329   2122     9271   368906   39    19577   11879   5401   1851 64.98
64.96/65.00	o 18709	64.981
64.96/65.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
64.96/65.09	c   120329   2122     9272   369980   39    20614    3437   5402   1851 64.98
64.96/65.09	c   120429   2122     5690   130374   22    12415    3781   1820   1850 65.07
64.96/65.09	o 18655	65.071
139.25/139.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
139.25/139.37	c   120430   2122     5692   131491   23    13454    3437   1822   1850 65.07
139.25/139.37	c   120531   2122     5793   137706   23    13657    3781   1923   1851 65.11
139.25/139.37	c   120781   2122     6043   153577   25    14160    4160   2173   1852 65.19
139.25/139.37	c   121257   2122     6519   181600   27    15109    4577   2649   1855 65.34
139.25/139.37	c   122070   2122     7332   226275   30    16736    5035   3462   1861 65.57
139.25/139.37	c   123391   2122     8653   290046   33    19378    5539   4783   1872 65.89
139.25/139.37	c   125472   2122     6682   150058   22    14399    6093   2812   1887 66.48
139.25/139.37	c   128695   2122     9905   326286   32    20846    6703   6035   1915 67.19
139.25/139.37	c   133631   2122    10236   315538   30    21508    7374   6366   1940 68.88
139.25/139.37	c   141137   2122     8110   236186   29    17256    8112   4240   1969 71.67
139.25/139.37	c   152498   2122     8700   274700   31    18436    8924   4830   2009 75.88
139.25/139.37	c   169642   2122     8559   264642   30    18153    9817   4689   2080 81.54
139.25/139.37	c   195462   2122    10088   359390   35    21212   10799   6218   2122 92.11
139.25/139.37	c   234294   2122     9271   248637   26    19578   11879   5401   2103 111.37
139.25/139.37	c   292647   2122     9811   305514   31    20657   13067   5941   2100 139.32
139.25/139.37	o 18516	139.329
170.94/171.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
170.94/171.00	c   292653   2122     9818   306818   31    21710    3437   5948   2100 139.33
170.94/171.00	c   292754   2122     5691   106034   18    12418    3781   1821   2099 139.43
170.94/171.00	c   293004   2122     5941   119464   20    12918    4160   2071   2100 139.50
170.94/171.00	c   293479   2122     6416   147516   22    13868    4577   2546   2102 139.60
170.94/171.00	c   294292   2122     7229   185037   25    15494    5035   3359   2105 139.78
170.94/171.00	c   295612   2122     8549   315360   36    18134    5539   4679   2105 140.42
170.94/171.00	c   297693   2122     6641   206214   31    14318    6093   2771   2111 140.99
170.94/171.00	c   300917   2122     9865   372406   37    20765    6703   5995   2120 141.94
170.94/171.00	c   305854   2122    10351   366884   35    21738    7374   6481   2128 143.70
170.94/171.00	c   313361   2122     7817   275211   35    16671    8112   3947   2137 146.62
170.94/171.00	c   324723   2122     8244   227093   27    17524    8924   4374   2159 150.39
170.94/171.00	c   341867   2122     8333   300205   36    17701    9817   4463   2153 158.77
170.94/171.00	c   367686   2122     8780   321410   36    18596   10799   4910   2150 170.94
170.94/171.00	o 18433	170.95
258.82/258.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
258.82/258.91	c   367686   2122     8781   322484   36    19633    3437   4911   2150 170.95
258.82/258.91	c   367787   2122     5691   121602   21    12418    3781   1821   2150 171.02
258.82/258.91	c   368037   2122     5941   135709   22    12918    4160   2071   2151 171.07
258.82/258.91	c   368513   2122     6417   163311   25    13870    4577   2547   2152 171.19
258.82/258.91	c   369326   2122     7230   219836   30    15496    5035   3360   2154 171.43
258.82/258.91	c   370646   2122     8550   283063   33    18137    5539   4680   2157 171.75
258.82/258.91	c   372727   2122     6684   159737   23    14404    6093   2814   2163 172.28
258.82/258.91	c   375951   2122     9908   323254   32    20852    6703   6038   2171 173.13
258.82/258.91	c   380887   2122    10278   404464   39    21592    7374   6408   2180 174.64
258.82/258.91	c   388393   2122     7825   259937   33    16686    8112   3955   2190 177.29
258.82/258.91	c   399754   2122     8585   277469   32    18206    8924   4715   2189 182.56
258.82/258.91	c   416898   2122     8333   269588   32    17702    9817   4463   2186 190.71
258.82/258.92	c   442717   2122     9663   333516   34    20363   10799   5793   2164 204.55
258.82/258.92	c   481551   2122    13923   748401   53    28881   11879  10053   2129 226.14
258.82/258.92	c   539904   2122    14316   496955   34    29668   13067  10446   2085 258.84
258.82/258.92	o 18414	258.843
293.91/294.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
293.91/294.04	c   539911   2122    14324   498445   34    30720    3437  10454   2085 258.84
293.91/294.04	c   540013   2122     5692    97531   17    12421    3781   1822   2083 259.18
293.91/294.04	c   540264   2122     5943   112201   18    12922    4160   2073   2083 259.25
293.91/294.04	c   540739   2122     6418   132179   20    13872    4577   2548   2085 259.33
293.91/294.04	c   541552   2122     7231   177830   24    15497    5035   3361   2086 259.50
293.91/294.04	c   542872   2122     8551   254435   29    18138    5539   4681   2089 259.79
293.91/294.04	c   544953   2122     6641   154032   23    14319    6093   2771   2093 260.34
293.91/294.04	c   548176   2122     9864   358218   36    20764    6703   5994   2096 261.51
293.91/294.04	c   553112   2122    10408   368830   35    21852    7374   6538   2103 262.96
293.91/294.04	c   560618   2122     8055   277743   34    17146    8112   4185   2114 265.10
293.91/294.04	c   571979   2122     8990   321313   35    19016    8924   5120   2118 270.02
293.91/294.04	c   589123   2122     9107   332354   36    19251    9817   5237   2114 278.62
293.91/294.04	c   614942   2122     9593   304126   31    20223   10799   5723   2092 293.89
293.91/294.04	o 18394	293.96
1314.95/1315.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1314.95/1315.32	c   615202   2122     9854   321951   32    21782    3437   5984   2092 293.96
1314.95/1315.32	c   615303   2122     5691   108004   18    12419    3781   1821   2091 294.13
1314.95/1315.32	c   615554   2122     5942   119205   20    12920    4160   2072   2092 294.18
1314.95/1315.32	c   616030   2122     6418   142170   22    13872    4577   2548   2093 294.29
1314.95/1315.32	c   616843   2122     7231   183926   25    15498    5035   3361   2094 294.50
1314.95/1315.32	c   618163   2122     8551   254961   29    18140    5539   4681   2097 294.76
1314.95/1315.32	c   620244   2122     6641   157269   23    14318    6093   2771   2100 295.26
1314.95/1315.32	c   623467   2122     9864   309326   31    20764    6703   5994   2106 295.93
1314.95/1315.32	c   628403   2122    10214   312692   30    21464    7374   6344   2114 297.20
1314.95/1315.32	c   635909   2122     7929   234315   29    16894    8112   4059   2120 299.85
1314.95/1315.32	c   647271   2122     8696   275896   31    18429    8924   4826   2128 304.08
1314.95/1315.32	c   664415   2122     8961   315146   35    18959    9817   5091   2124 312.80
1314.95/1315.32	c   690234   2122     9532   382282   40    20100   10799   5662   2108 327.41
1314.95/1315.32	c   729066   2122     9271   332843   35    19579   11879   5401   2074 351.46
1314.95/1315.32	c   787419   2122    15177   684321   45    31390   13067  11307   2042 385.58
1314.95/1315.32	c   875051   2122    16746   704200   42    34528   14374  12876   2040 428.84
1314.95/1315.32	c  1006606   2122    14310   665604   46    29657   15812  10440   2016 499.16
1314.95/1315.32	c  1204039   2122    15891   913887   57    32818   17394  12021   1891 636.41
1314.95/1315.32	c  1500291   2122    13399   581727   43    27834   19134   9529   1681 892.46
1314.95/1315.32	c  1944775   2122    13438   797485   59    27912   21048   9568   1478 1314.98
1314.95/1315.32	o 18032	1314.98
1800.06/1800.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.06/1800.60	c  1944776   2122    13440   798602   59    28953    3437   9570   1478 1314.99
1800.06/1800.60	c  1944876   2122     5690   210642   37    12416    3781   1820   1478 1315.24
1800.06/1800.60	c  1945126   2122     5940   225194   37    12917    4160   2070   1478 1315.31
1800.06/1800.60	c  1945601   2122     6415   254560   39    13867    4577   2545   1478 1315.49
1800.06/1800.60	c  1946414   2122     7228   296490   41    15493    5035   3358   1479 1315.68
1800.06/1800.60	c  1947735   2122     8549   387162   45    18135    5539   4679   1479 1316.07
1800.06/1800.60	c  1949817   2122     6678   178690   26    14393    6093   2808   1480 1316.74
1800.06/1800.60	c  1953040   2122     9901   427707   43    20839    6703   6031   1481 1317.86
1800.06/1800.60	c  1957976   2122    10290   362790   35    21617    7374   6420   1484 1319.03
1800.06/1800.60	c  1965482   2122     8178   308874   37    17393    8112   4308   1485 1322.80
1800.06/1800.60	c  1976843   2122     8971   589626   65    18979    8924   5101   1486 1330.01
1800.06/1800.60	c  1993987   2122     9442   395160   41    19922    9817   5572   1490 1337.48
1800.06/1800.60	c  2019806   2122    10550   314689   29    22138   10799   6680   1497 1348.74
1800.06/1800.60	c  2058638   2122    14734   604484   41    30504   11879  10864   1503 1369.43
1800.06/1800.60	c  2116990   2122    14550   752941   51    30137   13067  10680   1511 1400.69
1800.06/1800.60	c  2204623   2122    10405   360137   34    21847   14374   6535   1513 1456.40
1800.06/1800.60	c  2336175   2122    16792   702284   41    34621   15812  12922   1498 1559.12
1800.06/1800.60	c  2533607   2122    11777   434696   36    24590   17394   7907   1510 1677.37
1800.06/1800.60	c Caught signal: 15
1800.06/1800.61	v -x149 -x151 -x153 -x155 -x157 -x159 -x161 -x163 -x165 -x167 -x169 -x171 -x173 -x175 -x177 x179 -x181 -x182 -x184 -x186 -x188
1800.06/1800.61	v -x190 -x192 -x194 -x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x230
1800.06/1800.61	v -x232 -x234 -x236 x238 -x240 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272
1800.06/1800.61	v -x274 -x276 -x278 -x280 -x282 -x284 -x286 x288 -x290 -x292 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314
1800.06/1800.61	v -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356
1800.06/1800.61	v -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398
1800.06/1800.61	v x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439
1800.06/1800.61	v -x441 -x443 -x445 -x447 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x472 -x474 -x476 -x478 -x480
1800.06/1800.61	v -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x521
1800.06/1800.61	v -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563
1800.06/1800.61	v -x565 -x567 -x569 -x571 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604
1800.06/1800.61	v -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646
1800.06/1800.61	v -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688
1800.06/1800.61	v -x690 -x692 -x694 -x696 x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730
1800.06/1800.61	v -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772
1800.06/1800.61	v -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814
1800.06/1800.61	v -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856
1800.06/1800.61	v -x858 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897
1800.06/1800.61	v -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938
1800.06/1800.61	v -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 x980
1800.06/1800.61	v -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018
1800.06/1800.61	v -x1020 -x1022 -x1024 x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052
1800.06/1800.61	v -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 x1080 -x1082 -x1084 -x1086
1800.06/1800.61	v -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119
1800.06/1800.61	v -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153
1800.06/1800.61	v -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187
1800.06/1800.61	v -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221
1800.06/1800.61	v -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255
1800.06/1800.61	v -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289
1800.06/1800.61	v -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1318 -x1320 -x1322
1800.06/1800.61	v -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356
1800.06/1800.61	v -x1358 -x1360 -x1362 -x1364 -x1366 x1367 -x1369 -x1371 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388
1800.06/1800.61	v -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 x1413 -x1415 -x1417 -x1419 -x1421
1800.06/1800.61	v -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455
1800.06/1800.61	v -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 x1489
1800.06/1800.61	v -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522
1800.06/1800.61	v -x1524 -x1526 -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556
1800.06/1800.61	v -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590
1800.06/1800.61	v -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1613 x1615 -x1617 -x1619 -x1621 -x1623
1800.06/1800.61	v -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1652 -x1654 -x1656
1800.06/1800.61	v -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690
1800.06/1800.61	v -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1715 -x1717 -x1719 -x1721 -x1723
1800.06/1800.61	v -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757
1800.06/1800.61	v -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 x1783 -x1785 -x1787 -x1789 -x1791
1800.06/1800.61	v -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 x1809 -x1811 x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827
1800.06/1800.61	v -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1852 -x1854 -x1856 -x1858 -x1860
1800.06/1800.61	v -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894
1800.06/1800.61	v -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 x1924 -x1926 -x1928
1800.06/1800.61	v x1930 -x1932 x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964
1800.06/1800.61	v -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1991 -x1993 x1995 -x1997 -x1999
1800.06/1800.61	v -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2028 -x2030 -x2032
1800.06/1800.61	v -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 x2056 x2058 -x2060 -x2062 -x2064 -x2066 x2068
1800.06/1800.61	v -x2070 -x2072 -x2074 -x2076 -x2078 -x2079 -x2081 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100
1800.06/1800.61	v -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134
1800.06/1800.61	v -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 x2166 -x2168
1800.06/1800.61	v -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 x2182 x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 x2204
1800.06/1800.61	v -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 x2238 x2240
1800.06/1800.61	v -x2242 -x2244 -x2246 -x2248 -x2250 x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 x2272 -x2274 x2276
1800.06/1800.61	v -x2278 -x148 -x1 -x150 -x2 -x152 -x154 -x156 -x3 -x158 -x160 -x162 -x4 -x164 -x166 -x168 -x170 -x172 -x174 -x176 x5 x178 -x180
1800.06/1800.61	v -x6 -x183 -x185 -x187 -x189 -x191 -x193 -x195 -x7 -x197 -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217 -x219
1800.06/1800.61	v -x221 -x223 -x225 -x227 -x229 -x231 -x233 -x235 x237 -x239 -x8 -x241 -x243 -x245 -x9 -x247 -x249 -x251 -x253 -x255 -x257 -x259
1800.06/1800.61	v -x10 -x261 -x263 -x265 -x267 -x269 -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x285 x287 -x289 -x291 -x293 -x295 -x297 -x299
1800.06/1800.61	v -x301 -x303 -x11 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x12 -x327 -x329 -x331 -x13 -x333 -x335
1800.06/1800.61	v -x337 -x14 -x339 -x341 -x343 -x345 -x347 -x15 -x349 -x16 -x351 -x17 -x353 -x355 -x357 -x18 -x359 -x361 -x363 -x19 -x365 -x367
1800.06/1800.61	v -x369 -x371 -x373 -x375 x377 x20 -x379 -x381 -x383 -x21 -x385 -x387 -x389 -x391 -x393 -x395 -x397 x399 -x401 -x403 -x405 -x407
1800.06/1800.61	v -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450
1800.06/1800.61	v -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x22 -x473 -x475 -x477 -x479 -x481 -x483 -x485 -x487 -x489 -x491
1800.06/1800.61	v -x493 -x23 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x24 -x517 -x519 -x522 -x524 -x526 -x528 -x530
1800.06/1800.61	v -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x25 -x550 -x552 -x554 -x556 -x558 -x26 -x560 -x562 -x564 -x566 -x568
1800.06/1800.61	v -x27 -x570 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x28 -x591 -x593 -x29 -x595 -x597 -x599 -x30 -x601 -x603
1800.06/1800.61	v -x605 -x31 -x607 -x609 -x611 -x613 -x615 -x32 -x617 -x33 -x619 -x34 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637
1800.06/1800.61	v -x639 -x641 -x35 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 x665 -x667 -x669 -x671 -x673 -x675 -x677
1800.06/1800.61	v -x679 -x681 -x36 -x683 -x685 -x687 -x689 -x691 -x693 -x695 x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717
1800.06/1800.61	v -x719 -x721 -x723 -x725 -x37 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x38 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x39
1800.06/1800.61	v -x755 -x757 -x759 -x761 -x763 -x765 -x767 -x40 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x41 -x783 -x785 -x787 -x42 -x789
1800.06/1800.61	v -x791 -x793 -x43 -x795 -x797 -x799 -x44 -x801 -x803 -x805 -x45 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825
1800.06/1800.61	v -x827 -x829 -x831 x833 -x835 -x837 -x839 -x841 -x46 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x860 -x862 -x47 -x864
1800.06/1800.61	v -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906
1800.06/1800.61	v -x908 -x910 -x912 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949
1800.06/1800.61	v -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 x48 -x971 -x973 -x975 -x977 x979 -x981 -x983 -x49 -x985 -x987
1800.06/1800.61	v -x989 -x991 -x993 -x995 -x997 -x50 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x51 -x1021
1800.06/1800.61	v -x1023 x1025 -x1027 -x1029 -x1031 -x52 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x53
1800.06/1800.61	v -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 x54 -x1069 -x1071 -x1073 -x1075 -x1077 x1079 -x1081 -x55 -x1083 -x1085
1800.06/1800.61	v -x1087 -x56 -x1089 -x1091 -x1093 -x57 -x1095 -x1097 -x1099 -x1101 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118
1800.06/1800.61	v -x1120 -x1122 -x58 -x1124 -x1126 -x1128 -x59 -x1130 -x1132 -x1134 -x60 -x1136 -x1138 -x1140 -x61 -x1142 -x1144 -x1146 -x1148
1800.06/1800.61	v -x1150 -x62 -x1152 -x63 -x1154 -x64 -x1156 -x1158 -x1160 -x1162 -x1164 -x65 -x1166 -x1168 -x1170 -x66 -x1172 -x1174 -x1176
1800.06/1800.61	v -x67 -x1178 -x1180 -x1182 -x68 -x1184 -x1186 -x1188 -x69 -x1190 -x1192 -x1194 -x70 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206
1800.06/1800.61	v -x1208 -x1210 -x1212 -x1214 -x1216 -x71 -x1218 -x1220 -x1222 -x72 -x1224 -x1226 -x1228 -x73 -x1230 -x1232 -x1234 -x1236
1800.06/1800.61	v -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x74 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x75 -x1266 -x1268
1800.06/1800.61	v -x1270 -x76 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x77 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x78
1800.06/1800.61	v -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333
1800.06/1800.61	v -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1368
1800.06/1800.61	v -x1370 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1387 -x79 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403
1800.06/1800.61	v -x1405 -x1407 -x1409 -x1411 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438
1800.06/1800.61	v -x1440 -x1442 -x80 -x1444 -x1446 -x1448 -x1450 -x1452 -x81 -x1454 -x1456 -x1458 -x1460 -x1462 -x82 -x1464 -x1466 -x1468
1800.06/1800.61	v -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1503
1800.06/1800.61	v -x1505 -x83 -x1507 -x1509 -x1511 -x84 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x85 -x1527 -x1529 -x1531 -x1533
1800.06/1800.61	v -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x86 -x1549 -x1551 -x87 -x1553 -x1555 -x1557 -x88 -x1559 -x1561 -x1563
1800.06/1800.61	v -x89 -x1565 -x1567 -x1569 -x90 -x1571 -x1573 -x1575 -x1577 -x1579 -x91 -x1581 -x92 -x1583 -x93 -x1585 -x1587 -x1589 -x94
1800.06/1800.61	v -x1591 -x1593 -x1595 -x95 -x1597 -x1599 -x1601 -x96 -x1603 -x1605 -x1607 -x97 -x1609 -x1611 x1614 -x1616 -x1618 -x1620
1800.06/1800.61	v -x1622 -x1624 -x1626 -x98 -x1628 -x1630 -x1632 -x1634 -x1636 -x99 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x100
1800.06/1800.61	v -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x101 -x1665 -x1667 -x1669 -x102 -x1671 -x1673 -x1675 -x103 -x1677 -x1679 -x1681
1800.06/1800.61	v -x1683 -x1685 -x1687 -x1689 -x104 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x105 -x1705 -x1707 -x1709 -x106 -x1711
1800.06/1800.61	v -x1713 -x107 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744
1800.06/1800.61	v -x108 -x1746 -x1748 -x1750 -x109 -x1752 -x1754 -x1756 -x110 -x1758 -x1760 -x1762 -x111 -x1764 -x1766 -x1768 -x1770 -x1772
1800.06/1800.61	v -x112 -x1774 -x113 -x1776 -x1778 -x1780 x1782 -x1784 -x1786 -x114 -x1788 -x1790 -x1792 -x115 -x1794 -x1796 -x1798 -x116
1800.06/1800.61	v -x1800 -x1802 -x1804 -x1806 x1808 -x1810 x1812 -x1814 -x1816 -x117 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x118
1800.06/1800.61	v -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1853 -x1855 -x1857 -x1859 -x119 -x1861 -x1863
1800.06/1800.61	v -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x120 -x1883 -x1885 -x1887 -x1889 -x1891 -x121 -x1893 -x1895
1800.06/1800.61	v -x1897 -x1899 -x1901 -x122 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x123 -x1915 -x1917 -x1919 -x1921 x1923 -x1925 -x1927
1800.06/1800.61	v x1929 -x1931 x124 x1933 -x1935 -x1937 -x125 -x1939 -x1941 -x1943 -x1945 -x1947 -x126 -x1949 -x127 -x1951 -x128 -x1953 -x1955
1800.06/1800.61	v -x1957 -x1959 -x1961 -x129 -x1963 -x1965 -x1967 -x130 -x1969 -x1971 -x1973 -x1975 x1977 -x1979 -x1981 -x1983 -x1985 -x1987
1800.06/1800.61	v -x1989 -x1992 x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022
1800.06/1800.61	v -x2024 -x2026 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 x2055 x2057 -x2059
1800.06/1800.61	v -x2061 -x2063 -x2065 x2067 x131 -x2069 -x2071 -x2073 -x2075 -x2077 -x132 -x2080 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093
1800.06/1800.61	v -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 x2119 -x2121 -x2123 -x2125 -x2127
1800.06/1800.61	v -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x133 -x2157 -x2159
1800.06/1800.61	v -x2161 -x2163 x2165 -x2167 -x134 -x2169 -x2171 -x2173 x135 -x2175 -x2177 -x2179 x2181 x2183 -x2185 -x136 -x2187 -x137 -x2189
1800.06/1800.61	v -x2191 -x2193 -x2195 -x2197 -x138 -x2199 -x2201 x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x139 -x2215 -x2217 -x2219 -x2221
1800.06/1800.61	v x2223 x140 -x2225 -x2227 -x141 -x2229 -x2231 -x2233 -x2235 x2237 x142 x2239 x143 -x2241 -x2243 -x2245 -x2247 -x2249 x2251
1800.06/1800.61	v -x2253 -x2255 -x144 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x145 x2271 -x2273 -x146 x2275 -x2277 x147
1800.06/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.06/1800.61	c  118  2653131 1701016 10708223    19662   879990  15792   1473 1800.07
1800.06/1800.61	c Objective: 18032
1800.06/1800.61	s SATISFIABLE
1800.06/1800.61	c Total time: 1800.07 s

Verifier Data (download as text)

OK	18032

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node60/watcher-433675-1177961904 -o ROOT/results/node60/solver-433675-1177961904 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433675-1177961904/instance-433675-1177961904.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.73 0.93 0.93 2/64 1626
/proc/meminfo: memFree=1826832/2055920 swapFree=4183296/4192956
[pid=1626] ppid=1624 vsize=19696 CPUtime=0
/proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 360 0 0 0 0 0 0 0 18 0 1 0 244100449 20168704 330 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1626/statm: 2971 331 279 324 0 2004 0

[startup+0.011723 s]
/proc/loadavg: 0.73 0.93 0.93 2/64 1626
/proc/meminfo: memFree=1826832/2055920 swapFree=4183296/4192956
[pid=1626] ppid=1624 vsize=4356 CPUtime=0
/proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 429 0 0 0 0 0 0 0 18 0 1 0 244100449 4460544 399 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1626/statm: 1089 400 290 324 0 122 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4356

[startup+0.101731 s]
/proc/loadavg: 0.73 0.93 0.93 2/64 1626
/proc/meminfo: memFree=1826832/2055920 swapFree=4183296/4192956
[pid=1626] ppid=1624 vsize=5164 CPUtime=0.09
/proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 731 0 0 0 9 0 0 0 18 0 1 0 244100449 5287936 664 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1626/statm: 1291 664 310 324 0 361 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5164

[startup+0.301749 s]
/proc/loadavg: 0.73 0.93 0.93 2/64 1626
/proc/meminfo: memFree=1826832/2055920 swapFree=4183296/4192956
[pid=1626] ppid=1624 vsize=5808 CPUtime=0.28
/proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 891 0 0 0 28 0 0 0 19 0 1 0 244100449 5947392 824 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5963845 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1626/statm: 1452 824 311 324 0 522 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5808

[startup+0.701789 s]
/proc/loadavg: 0.73 0.93 0.93 2/64 1626
/proc/meminfo: memFree=1826832/2055920 swapFree=4183296/4192956
[pid=1626] ppid=1624 vsize=6844 CPUtime=0.69
/proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 1165 0 0 0 68 1 0 0 22 0 1 0 244100449 7008256 1098 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1626/statm: 1711 1098 311 324 0 781 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6844

[startup+1.50287 s]
/proc/loadavg: 0.75 0.94 0.93 2/65 1627
/proc/meminfo: memFree=1822792/2055920 swapFree=4183296/4192956
[pid=1626] ppid=1624 vsize=9444 CPUtime=1.49
/proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 1813 0 0 0 148 1 0 0 25 0 1 0 244100449 9670656 1746 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1626/statm: 2361 1746 311 324 0 1431 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9444

[startup+3.10102 s]
/proc/loadavg: 0.75 0.94 0.93 2/65 1627
/proc/meminfo: memFree=1819912/2055920 swapFree=4183296/4192956
[pid=1626] ppid=1624 vsize=10492 CPUtime=3.08
/proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 2076 0 0 0 307 1 0 0 25 0 1 0 244100449 10743808 2009 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1626/statm: 2623 2009 311 324 0 1693 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 10492

[startup+6.30134 s]
/proc/loadavg: 0.75 0.94 0.93 2/65 1627
/proc/meminfo: memFree=1819336/2055920 swapFree=4183296/4192956
[pid=1626] ppid=1624 vsize=11132 CPUtime=6.28
/proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 2219 0 0 0 627 1 0 0 25 0 1 0 244100449 11399168 2152 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1626/statm: 2783 2152 311 324 0 1853 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 11132

[startup+12.702 s]
/proc/loadavg: 0.79 0.94 0.93 2/65 1627
/proc/meminfo: memFree=1817096/2055920 swapFree=4183296/4192956
[pid=1626] ppid=1624 vsize=13468 CPUtime=12.69
/proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 2803 0 0 0 1267 2 0 0 25 0 1 0 244100449 13791232 2736 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550832 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1626/statm: 3367 2736 311 324 0 2437 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13468

[startup+25.5013 s]
/proc/loadavg: 0.82 0.94 0.93 2/65 1627
/proc/meminfo: memFree=1816264/2055920 swapFree=4183296/4192956
[pid=1626] ppid=1624 vsize=14364 CPUtime=25.48
/proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 3028 0 0 0 2546 2 0 0 25 0 1 0 244100449 14708736 2961 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1626/statm: 3591 2961 311 324 0 2661 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 14364

[startup+51.1017 s]
/proc/loadavg: 0.88 0.94 0.93 2/65 1627
/proc/meminfo: memFree=1810824/2055920 swapFree=4183296/4192956
[pid=1626] ppid=1624 vsize=19724 CPUtime=51.06
/proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 4389 0 0 0 5104 2 0 0 25 0 1 0 244100449 20197376 4322 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550808 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1626/statm: 4931 4322 311 324 0 4001 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 19724

[startup+102.306 s]
/proc/loadavg: 0.95 0.95 0.93 2/65 1627
/proc/meminfo: memFree=1810056/2055920 swapFree=4183296/4192956
[pid=1626] ppid=1624 vsize=20496 CPUtime=102.26
/proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 4568 0 0 0 10223 3 0 0 25 0 1 0 244100449 20987904 4501 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1626/statm: 5124 4501 311 324 0 4194 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 20496

[startup+162.302 s]
/proc/loadavg: 0.98 0.95 0.93 2/65 1627
/proc/meminfo: memFree=1810056/2055920 swapFree=4183296/4192956
[pid=1626] ppid=1624 vsize=20472 CPUtime=162.24
/proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 4568 0 0 0 16221 3 0 0 25 0 1 0 244100449 20963328 4501 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1626/statm: 5118 4501 311 324 0 4188 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 20472

[startup+222.302 s]
/proc/loadavg: 0.99 0.96 0.93 2/65 1629
/proc/meminfo: memFree=1810120/2055920 swapFree=4183296/4192956
[pid=1626] ppid=1624 vsize=20408 CPUtime=222.23
/proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 4568 0 0 0 22220 3 0 0 25 0 1 0 244100449 20897792 4493 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1626/statm: 5102 4493 311 324 0 4172 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 20408

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 1629
/proc/meminfo: memFree=1810184/2055920 swapFree=4183296/4192956
[pid=1626] ppid=1624 vsize=20368 CPUtime=282.21
/proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 4568 0 0 0 28218 3 0 0 25 0 1 0 244100449 20856832 4483 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1626/statm: 5092 4483 311 324 0 4162 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 20368

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 1629
/proc/meminfo: memFree=1810184/2055920 swapFree=4183296/4192956
[pid=1626] ppid=1624 vsize=20356 CPUtime=342.2
/proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 4568 0 0 0 34217 3 0 0 25 0 1 0 244100449 20844544 4480 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1626/statm: 5089 4480 311 324 0 4159 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 20356

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 1629
/proc/meminfo: memFree=1810184/2055920 swapFree=4183296/4192956
[pid=1626] ppid=1624 vsize=20348 CPUtime=402.18
/proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 4569 0 0 0 40215 3 0 0 25 0 1 0 244100449 20836352 4478 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1626/statm: 5087 4478 311 324 0 4157 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 20348

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 1629
/proc/meminfo: memFree=1810184/2055920 swapFree=4183296/4192956
[pid=1626] ppid=1624 vsize=20348 CPUtime=462.16
/proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 4571 0 0 0 46213 3 0 0 25 0 1 0 244100449 20836352 4478 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1626/statm: 5087 4478 311 324 0 4157 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 20348

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 1629
/proc/meminfo: memFree=1808712/2055920 swapFree=4183296/4192956
[pid=1626] ppid=1624 vsize=21772 CPUtime=522.15
/proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 4927 0 0 0 52212 3 0 0 25 0 1 0 244100449 22294528 4834 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1626/statm: 5443 4834 311 324 0 4513 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 21772

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 1629
/proc/meminfo: memFree=1805256/2055920 swapFree=4183296/4192956
[pid=1626] ppid=1624 vsize=26156 CPUtime=582.14
/proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 5993 0 0 0 58210 4 0 0 25 0 1 0 244100449 26783744 5900 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5967557 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1626/statm: 6539 5900 311 324 0 5609 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 26156

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 1629
/proc/meminfo: memFree=1801672/2055920 swapFree=4183296/4192956
[pid=1626] ppid=1624 vsize=28844 CPUtime=642.13
/proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 6690 0 0 0 64208 5 0 0 25 0 1 0 244100449 29536256 6597 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1626/statm: 7211 6597 311 324 0 6281 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 28844


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 1629
/proc/meminfo: memFree=1801544/2055920 swapFree=4183296/4192956
[pid=1626] ppid=1624 vsize=28840 CPUtime=822.08
/proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 6690 0 0 0 82203 5 0 0 25 0 1 0 244100449 29532160 6597 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527345 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1626/statm: 7210 6597 311 324 0 6280 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 28840

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 1629
/proc/meminfo: memFree=1801544/2055920 swapFree=4183296/4192956
[pid=1626] ppid=1624 vsize=28840 CPUtime=882.06
/proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 6690 0 0 0 88201 5 0 0 25 0 1 0 244100449 29532160 6597 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1626/statm: 7210 6597 311 324 0 6280 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 28840

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 1629
/proc/meminfo: memFree=1801544/2055920 swapFree=4183296/4192956
[pid=1626] ppid=1624 vsize=28844 CPUtime=942.05
/proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 6691 0 0 0 94200 5 0 0 25 0 1 0 244100449 29536256 6598 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1626/statm: 7211 6598 311 324 0 6281 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 28844

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 1629
/proc/meminfo: memFree=1801480/2055920 swapFree=4183296/4192956
[pid=1626] ppid=1624 vsize=28844 CPUtime=1002.03
/proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 6691 0 0 0 100198 5 0 0 25 0 1 0 244100449 29536256 6598 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572653 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1626/statm: 7211 6598 311 324 0 6281 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 28844

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 1629
/proc/meminfo: memFree=1801480/2055920 swapFree=4183296/4192956
[pid=1626] ppid=1624 vsize=28844 CPUtime=1062.02
/proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 6691 0 0 0 106197 5 0 0 25 0 1 0 244100449 29536256 6598 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574498 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1626/statm: 7211 6598 311 324 0 6281 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 28844

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 1629
/proc/meminfo: memFree=1801480/2055920 swapFree=4183296/4192956
[pid=1626] ppid=1624 vsize=28844 CPUtime=1122
/proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 6691 0 0 0 112195 5 0 0 25 0 1 0 244100449 29536256 6598 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1626/statm: 7211 6598 311 324 0 6281 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 28844

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 1629
/proc/meminfo: memFree=1801480/2055920 swapFree=4183296/4192956
[pid=1626] ppid=1624 vsize=28844 CPUtime=1181.99
/proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 6691 0 0 0 118194 5 0 0 25 0 1 0 244100449 29536256 6598 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1626/statm: 7211 6598 311 324 0 6281 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 28844

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 1629
/proc/meminfo: memFree=1801416/2055920 swapFree=4183296/4192956
[pid=1626] ppid=1624 vsize=28844 CPUtime=1241.97
/proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 6691 0 0 0 124192 5 0 0 25 0 1 0 244100449 29536256 6598 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5651569 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1626/statm: 7211 6598 311 324 0 6281 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 28844

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 1629
/proc/meminfo: memFree=1801352/2055920 swapFree=4183296/4192956
[pid=1626] ppid=1624 vsize=28844 CPUtime=1301.96
/proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 6691 0 0 0 130191 5 0 0 25 0 1 0 244100449 29536256 6598 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1626/statm: 7211 6598 311 324 0 6281 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 28844

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/71 1700
/proc/meminfo: memFree=1799952/2055920 swapFree=4183296/4192956
[pid=1626] ppid=1624 vsize=28816 CPUtime=1361.93
/proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 6691 0 0 0 136187 6 0 0 25 0 1 0 244100449 29507584 6595 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5967591 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1626/statm: 7204 6595 311 324 0 6274 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 28816

[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 1840
/proc/meminfo: memFree=1800904/2055920 swapFree=4183296/4192956
[pid=1626] ppid=1624 vsize=28816 CPUtime=1421.85
/proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 6691 0 0 0 142179 6 0 0 25 0 1 0 244100449 29507584 6595 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550910 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1626/statm: 7204 6595 311 324 0 6274 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 28816

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 1840
/proc/meminfo: memFree=1800904/2055920 swapFree=4183296/4192956
[pid=1626] ppid=1624 vsize=28816 CPUtime=1481.83
/proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 6691 0 0 0 148177 6 0 0 25 0 1 0 244100449 29507584 6595 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1626/statm: 7204 6595 311 324 0 6274 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 28816

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 1840
/proc/meminfo: memFree=1800904/2055920 swapFree=4183296/4192956
[pid=1626] ppid=1624 vsize=28816 CPUtime=1541.81
/proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 6691 0 0 0 154175 6 0 0 25 0 1 0 244100449 29507584 6595 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5967579 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1626/statm: 7204 6595 311 324 0 6274 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 28816

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 1840
/proc/meminfo: memFree=1800904/2055920 swapFree=4183296/4192956
[pid=1626] ppid=1624 vsize=28732 CPUtime=1601.8
/proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 6691 0 0 0 160174 6 0 0 25 0 1 0 244100449 29421568 6574 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1626/statm: 7183 6574 311 324 0 6253 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 28732

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 1840
/proc/meminfo: memFree=1800968/2055920 swapFree=4183296/4192956
[pid=1626] ppid=1624 vsize=28732 CPUtime=1661.78
/proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 6691 0 0 0 166172 6 0 0 25 0 1 0 244100449 29421568 6574 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1626/statm: 7183 6574 311 324 0 6253 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 28732

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 1840
/proc/meminfo: memFree=1801096/2055920 swapFree=4183296/4192956
[pid=1626] ppid=1624 vsize=28732 CPUtime=1721.77
/proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 6691 0 0 0 172171 6 0 0 25 0 1 0 244100449 29421568 6574 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1626/statm: 7183 6574 311 324 0 6253 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 28732

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 1840
/proc/meminfo: memFree=1801096/2055920 swapFree=4183296/4192956
[pid=1626] ppid=1624 vsize=28732 CPUtime=1781.75
/proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 6691 0 0 0 178169 6 0 0 25 0 1 0 244100449 29421568 6574 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550834 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1626/statm: 7183 6574 311 324 0 6253 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 28732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 1840
/proc/meminfo: memFree=1801096/2055920 swapFree=4183296/4192956
[pid=1626] ppid=1624 vsize=28732 CPUtime=1800.06
/proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 6691 0 0 0 180000 6 0 0 25 0 1 0 244100449 29421568 6574 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1626/statm: 7183 6574 311 324 0 6253 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 28732

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

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

Child status: 15
Real time (s): 1800.62
CPU time (s): 1800.08
CPU user time (s): 1800
CPU system time (s): 0.071989
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 28876

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

runsolver used 1.35779 second user time and 3.61745 second system time

The end

Launcher Data (download as text)

Begin job on node60 on Mon Apr 30 19:38:25 UTC 2007

IDJOB= 433675
IDBENCH= 24962
IDSOLVER= 199
FILE ID= node60/433675-1177961904

PBS_JOBID= 4727708

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir07_trarea_ac.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433675-1177961904/instance-433675-1177961904.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node60/watcher-433675-1177961904 -o ROOT/results/node60/solver-433675-1177961904 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433675-1177961904/instance-433675-1177961904.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  c4de50562e099d54fade2e7e4191867f

RANDOM SEED= 544446224

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node60.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.214
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.214
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:       1827432 kB
Buffers:          9864 kB
Cached:         144588 kB
SwapCached:       3580 kB
Active:          33892 kB
Inactive:       130272 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1827432 kB
SwapTotal:     4192956 kB
SwapFree:      4183296 kB
Dirty:            6900 kB
Writeback:           0 kB
Mapped:          15840 kB
Slab:            50332 kB
Committed_AS:  2710260 kB
PageTables:       1464 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 node60 on Mon Apr 30 20:08:28 UTC 2007