Trace number 3736314

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
PB07: bsolo 3.0.17SAT (TO)59123 1800.02 1800.31

General information on the benchmark

Namenormalized-PB07/OPT-BIGINT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir07_trarea_ac.opb
MD5SUMbd686f1ac9d6c1a64cf0c9041039dd75
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark57179
Best CPU time to get the best result obtained on this benchmark1800.17
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
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 2162
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 1745862
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 2162
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 1745862
Number of bits of the biggest sum of numbers21
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 

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 15500 MB
0.00/0.00	c Instance file HOME/instance-3736314-1338709206.opb
0.00/0.00	c File size is 150807 bytes.
0.00/0.01	c Highest Coefficient sum: 1.74586e+06
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.012 s
0.00/0.01	c Var: 2278 Constr: 4879 4879/0/0 Lit: 12472 Watch. Lit: 9756
0.00/0.01	c Obj. Vars: 1076 (47.2344 % of total variables)
0.00/0.02	c Pre-processing Time: 0.025 s
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   2122     3870    10065    2     7740    1289      0      0 0.03
0.00/0.02	c Switching off LPR mode.
0.00/0.02	o 63335	0.026
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        0   2122     3871    11139    2     8777    3437      1      0 0.03
0.00/0.03	o 63309	0.027
43.58/43.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
43.58/43.65	c        1   2122     3873    12256    3     9816    3437      3     37 0.03
43.58/43.65	c      102   2122     3974    17450    4    10018    3781    104   2318 0.04
43.58/43.65	c      352   2122     4224    30715    7    10518    4160    354   4512 0.08
43.58/43.65	c      827   2122     4699    54581   11    11469    4577    829   5513 0.15
43.58/43.65	c     1640   2122     5512    96324   17    13094    5035   1642   5239 0.31
43.58/43.65	c     2960   2122     6832   174698   25    15734    5539   2962   5304 0.56
43.58/43.65	c     5041   2122     8913   289962   32    19894    6093   5043   5306 0.95
43.58/43.65	c     8264   2122     7873   244153   31    16781    6703   4003   4951 1.67
43.58/43.65	c    13200   2122     8213   328032   39    17461    7374   4343   4787 2.76
43.58/43.65	c    20707   2122    10769   418552   38    22573    8112   6899   5035 4.11
43.58/43.65	c    32068   2122    11183   517925   46    23401    8924   7313   5016 6.39
43.58/43.65	c    49213   2122    10950   581318   53    22935    9817   7080   4805 10.24
43.58/43.65	c    75032   2122    11197   423922   37    23429   10799   7327   4526 16.57
43.58/43.65	c   113865   2122     9271   390528   42    19577   11879   5401   4426 25.73
43.58/43.65	c   172217   2122     9811   311793   31    20657   13067   5941   3950 43.59
43.58/43.65	o 63206	43.643
61.17/61.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.17/61.24	c   172533   2122    10128   332742   32    22326    3437   6258   3953 43.64
61.17/61.24	c   172633   2122     5690   109743   19    12415    3781   1820   3951 43.69
61.17/61.24	c   172884   2122     5941   123105   20    12918    4160   2071   3953 43.73
61.17/61.24	c   173359   2122     6416   149544   23    13868    4577   2546   3957 43.81
61.17/61.24	c   174172   2122     7229   191462   26    15493    5035   3359   3964 43.93
61.17/61.24	c   175492   2122     8549   267420   31    18133    5539   4679   3975 44.14
61.17/61.24	c   177575   2122     6641   203618   30    14317    6093   2771   3983 44.57
61.17/61.24	c   180798   2122     9864   438453   44    20763    6703   5994   4008 45.10
61.17/61.24	c   185734   2122    10311   412979   40    21658    7374   6441   4032 46.06
61.17/61.24	c   193240   2122     7768   296326   38    16571    8112   3898   4079 47.37
61.17/61.24	c   204601   2122     8679   248699   28    18393    8924   4809   4137 49.45
61.17/61.24	c   221745   2122     9109   397424   43    19253    9817   5239   4082 54.32
61.17/61.24	c   247564   2122     9023   470073   52    19081   10799   5153   4043 61.23
61.17/61.24	o 63201	61.233
65.27/65.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
65.27/65.34	c   247573   2122     9033   471674   52    20136    3437   5163   4043 61.23
65.27/65.34	c   247674   2122     5691   155864   27    12416    3781   1821   4042 61.27
65.27/65.34	c   247924   2122     5941   169152   28    12917    4160   2071   4044 61.30
65.27/65.34	c   248399   2122     6416   199945   31    13866    4577   2546   4047 61.37
65.27/65.34	c   249213   2122     7230   249630   34    15495    5035   3360   4052 61.50
65.27/65.34	c   250533   2122     8550   319832   37    18135    5539   4680   4058 61.74
65.27/65.34	c   252614   2122     6654   167916   25    14343    6093   2784   4066 62.12
65.27/65.34	c   255838   2122     9878   341964   34    20790    6703   6008   4076 62.77
65.27/65.34	c   260774   2122    10088   400843   39    21211    7374   6218   4084 63.85
65.27/65.34	c   268281   2122     7558   224633   29    16151    8112   3688   4108 65.30
65.27/65.34	o 63031	65.335
146.77/146.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
146.77/146.85	c   268472   2122     7750   236637   30    17572    3437   3880   4109 65.33
146.77/146.85	c   268574   2122     5692   116953   20    12419    3781   1822   4109 65.36
146.77/146.85	c   268824   2122     5942   127932   21    12918    4160   2072   4111 65.38
146.77/146.85	c   269299   2122     6417   152152   23    13868    4577   2547   4115 65.44
146.77/146.85	c   270112   2122     7230   189379   26    15495    5035   3360   4121 65.54
146.77/146.85	c   271432   2122     8550   262585   30    18135    5539   4680   4131 65.70
146.77/146.85	c   273513   2122     6675   155692   23    14386    6093   2805   4147 65.94
146.77/146.85	c   276736   2122     9898   325620   32    20831    6703   6028   4167 66.40
146.77/146.85	c   281672   2122    10156   406755   40    21347    7374   6286   4183 67.33
146.77/146.85	c   289179   2122     7648   199356   26    16332    8112   3778   4217 68.57
146.77/146.85	c   300540   2122     8179   277881   33    17392    8924   4309   4231 71.02
146.77/146.85	c   317684   2122     8333   301597   36    17700    9817   4463   4210 75.45
146.77/146.85	c   343503   2122    10061   339277   33    21158   10799   6191   4223 81.33
146.77/146.85	c   382336   2122    14341   599071   41    29717   11879  10471   4065 94.06
146.77/146.85	c   440688   2122    15066   542362   35    31168   13067  11196   3947 111.64
146.77/146.85	c   528320   2122    16851  1055398   62    34737   14374  12981   3742 141.17
146.77/146.85	o 62978	146.828
169.06/169.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
169.06/169.14	c   542894   2122    13944   716746   51    29958    3437  10074   3697 146.83
169.06/169.14	c   542994   2122     5690   135379   23    12415    3781   1820   3694 146.97
169.06/169.14	c   543249   2122     5945   149636   25    12925    4160   2075   3695 147.01
169.06/169.14	c   543724   2122     6420   176851   27    13875    4577   2550   3696 147.07
169.06/169.14	c   544539   2122     7235   223181   30    15505    5035   3365   3699 147.19
169.06/169.14	c   545860   2122     8556   305719   35    18147    5539   4686   3702 147.44
169.06/169.14	c   547942   2122     6690   213523   31    14414    6093   2820   3706 147.81
169.06/169.14	c   551166   2122     9914   438966   44    20863    6703   6044   3709 148.57
169.06/169.14	c   556102   2122    10287   383920   37    21610    7374   6417   3715 149.65
169.06/169.14	c   563608   2122     7812   270092   34    16659    8112   3942   3724 151.34
169.06/169.14	c   574969   2122     8321   308852   37    17677    8924   4451   3751 153.28
169.06/169.14	c   592113   2122     8333   277255   33    17701    9817   4463   3746 158.03
169.06/169.14	c   617934   2122     9381   471009   50    19797   10799   5511   3654 169.11
169.06/169.14	o 61563	169.108
272.75/272.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
272.75/272.88	c   617934   2122     9382   472083   50    20835    3437   5512   3654 169.11
272.75/272.88	c   618035   2122     5691   145094   25    12418    3781   1821   3654 169.14
272.75/272.88	c   618285   2122     5941   163805   27    12918    4160   2071   3654 169.17
272.75/272.88	c   618760   2122     6416   190576   29    13868    4577   2546   3656 169.24
272.75/272.88	c   619573   2122     7229   236155   32    15494    5035   3359   3658 169.34
272.75/272.88	c   620893   2122     8549   307793   36    18134    5539   4679   3661 169.56
272.75/272.88	c   622974   2122     6641   146949   22    14318    6093   2771   3668 169.80
272.75/272.88	c   626197   2122     9864   305101   30    20764    6703   5994   3674 170.43
272.75/272.88	c   631133   2122    10257   354269   34    21550    7374   6387   3687 171.16
272.75/272.88	c   638639   2122     7862   240670   30    16760    8112   3992   3698 172.68
272.75/272.88	c   650000   2122     8401   251739   29    17839    8924   4531   3716 174.89
272.75/272.88	c   667145   2122     8333   264812   31    17702    9817   4463   3727 178.96
272.75/272.88	c   692965   2122     9593   431819   45    20222   10799   5723   3683 188.14
272.75/272.88	c   731797   2122    14499   575035   39    30034   11879  10629   3678 198.95
272.75/272.88	c   790149   2122    12144   571517   47    25324   13067   8274   3558 222.07
272.75/272.88	c   877781   2122    14591   571844   39    30218   14374  10721   3593 244.30
272.75/272.88	c  1009333   2122    13399   475116   35    27835   15812   9529   3699 272.83
272.75/272.88	o 59591	272.831
556.20/556.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
556.20/556.35	c  1009333   2122    13400   476190   35    28875    3437   9530   3699 272.83
556.20/556.35	c  1009433   2122     5690   106798   18    12417    3781   1820   3699 272.87
556.20/556.35	c  1009684   2122     5941   123524   20    12920    4160   2071   3699 272.90
556.20/556.35	c  1010159   2122     6416   146709   22    13869    4577   2546   3700 272.95
556.20/556.35	c  1010972   2122     7229   188141   26    15495    5035   3359   3702 273.06
556.20/556.35	c  1012292   2122     8549   255147   29    18136    5539   4679   3704 273.24
556.20/556.35	c  1014373   2122     6641   161775   24    14319    6093   2771   3708 273.52
556.20/556.35	c  1017596   2122     9864   325195   32    20765    6703   5994   3714 273.92
556.20/556.35	c  1022533   2122    10280   353186   34    21597    7374   6410   3722 274.69
556.20/556.35	c  1030039   2122     8166   223570   27    17369    8112   4296   3733 275.92
556.20/556.35	c  1041401   2122     9177   322298   35    19391    8924   5307   3746 277.95
556.20/556.35	c  1058545   2122     9391   358484   38    19818    9817   5521   3726 284.08
556.20/556.35	c  1084365   2122     9906   315656   31    20849   10799   6036   3749 289.21
556.20/556.35	c  1123197   2122    14340   659966   46    29717   11879  10470   3752 299.31
556.20/556.35	c  1181550   2122    12586   586844   46    26209   13067   8716   3687 320.46
556.20/556.35	c  1269182   2122    16751   756397   45    34540   14374  12881   3668 346.00
556.20/556.35	c  1400735   2122    11886   484963   40    24809   15812   8016   3534 396.35
556.20/556.35	c  1598167   2122    17872   764375   42    36780   17394  14002   3530 452.67
556.20/556.35	c  1894419   2122    15889   836538   52    32816   19134  12019   3405 556.25
556.20/556.35	o 59133	556.257
677.98/678.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
677.98/678.19	c  1894426   2122    15897   838036   52    33867    3437  12027   3405 556.26
677.98/678.19	c  1894527   2122     5691   139464   24    12419    3781   1821   3405 556.34
677.98/678.19	c  1894778   2122     5942   152253   25    12922    4160   2072   3405 556.38
677.98/678.19	c  1895253   2122     6417   174012   27    13872    4577   2547   3406 556.43
677.98/678.19	c  1896068   2122     7232   225038   31    15502    5035   3362   3406 556.55
677.98/678.19	c  1897388   2122     8552   292292   34    18141    5539   4682   3408 556.70
677.98/678.19	c  1899469   2122     6641   166817   25    14320    6093   2771   3409 557.04
677.98/678.19	c  1902693   2122     9865   366732   37    20767    6703   5995   3412 557.53
677.98/678.19	c  1907631   2122    10100   388293   38    21238    7374   6230   3416 558.42
677.98/678.19	c  1915137   2122     7893   274410   34    16823    8112   4023   3419 560.07
677.98/678.19	c  1926499   2122     8785   347643   39    18608    8924   4915   3423 562.80
677.98/678.19	c  1943643   2122     8983   324276   36    19003    9817   5113   3427 567.00
677.98/678.19	c  1969462   2122    10790   756610   70    22618   10799   6920   3438 572.85
677.98/678.19	c  2008294   2122     9387   349252   37    19811   11879   5517   3426 586.17
677.98/678.19	c  2066647   2122     9811   412365   42    20660   13067   5941   3415 605.12
677.98/678.19	c  2154279   2122    10405   330529   31    21848   14374   6535   3384 636.46
677.98/678.19	c  2285831   2122    11466   539330   47    23969   15812   7596   3377 676.77
677.98/678.19	o 59123	678.076
1800.01/1800.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.01/1800.30	c  2292523   2122    18159   957682   52    38394    3437  14289   3380 678.08
1800.01/1800.30	c  2292623   2122     5690   127263   22    12418    3781   1820   3380 678.18
1800.01/1800.30	c  2292873   2122     5940   142898   24    12918    4160   2070   3380 678.22
1800.01/1800.30	c  2293348   2122     6415   170622   26    13868    4577   2545   3381 678.28
1800.01/1800.30	c  2294161   2122     7228   224777   31    15494    5035   3358   3381 678.42
1800.01/1800.30	c  2295482   2122     8549   290270   33    18136    5539   4679   3382 678.62
1800.01/1800.30	c  2297563   2122     6718   150632   22    14473    6093   2848   3384 678.91
1800.01/1800.30	c  2300786   2122     9941   300597   30    20919    6703   6071   3387 679.29
1800.01/1800.30	c  2305725   2122    10394   432540   41    21825    7374   6524   3388 680.36
1800.01/1800.30	c  2313231   2122     8277   246962   29    17592    8112   4407   3393 681.67
1800.01/1800.30	c  2324592   2122     9066   320293   35    19169    8924   5196   3396 684.31
1800.01/1800.30	c  2341736   2122     9436   641416   67    19909    9817   5566   3390 690.59
1800.01/1800.30	c  2367555   2122    10624   532398   50    22285   10799   6754   3390 698.25
1800.01/1800.30	c  2406387   2122     9271   256863   27    19580   11879   5401   3412 705.22
1800.01/1800.30	c  2464739   2122    10312   365642   35    21662   13067   6442   3425 719.61
1800.01/1800.30	c  2552372   2122    10800   362846   33    22639   14374   6930   3450 739.71
1800.01/1800.30	c  2683924   2122    11283   399328   35    23604   15812   7413   3460 775.64
1800.01/1800.30	c  2881356   2122    15742   601460   38    32522   17394  11872   3471 830.09
1800.01/1800.30	c  3177609   2122    19299  1184354   61    39635   19134  15429   3307 960.77
1800.01/1800.30	c  3622091   2122    20754   851840   41    42546   21048  16884   3221 1124.28
1800.01/1800.30	c  4288918   2122    23374   934792   39    47785   23153  19504   2962 1447.90
1800.01/1800.30	c Caught signal: 15
1800.01/1800.30	v -x149 -x151 -x153 -x155 -x157 -x159 -x161 -x163 -x165 -x167 -x169 -x171 -x173 -x175 -x177 -x179 -x181 -x182 -x184 -x186 -x188 -x190 -x192 -x194 -x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214 -x216 x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x447 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1367 -x1369 -x1371 x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1502 x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1715 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 x1775 -x1777 x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 x1809 x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 x1924 -x1926 -x1928 x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2079 -x2081 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 x2184 x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 -x2204 -x2206 x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2238 x2240 -x2242 -x2244 -x2246 x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 x2272 -x2274 x2276 -x2278 -x148 -x1 -x150 -x2 -x152 -x154 -x156 -x3 -x158 -x160 -x162 -x4 -x164 -x166 -x168 -x170 -x172 -x174 -x176 -x5 -x178 -x180 -x6 -x183 -x185 -x187 -x189 -x191 -x193 -x195 -x7 -x197 -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215 x217 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x233 -x235 -x237 -x239 -x8 -x241 -x243 -x245 -x9 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x10 -x261 -x263 -x265 -x267 -x269 -x271 -x273 x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x11 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x12 -x327 -x329 -x331 -x13 -x333 -x335 -x337 -x14 -x339 -x341 -x343 -x345 -x347 -x15 -x349 -x16 -x351 -x17 -x353 -x355 -x357 x18 x359 -x361 -x363 -x19 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x20 -x379 -x381 -x383 -x21 -x385 -x387 -x389 x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x22 -x473 -x475 -x477 -x479 -x481 -x483 -x485 -x487 -x489 -x491 -x493 -x23 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x24 -x517 -x519 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x25 -x550 -x552 -x554 -x556 -x558 -x26 -x560 -x562 -x564 -x566 -x568 -x27 -x570 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x28 -x591 -x593 -x29 -x595 -x597 -x599 -x30 -x601 -x603 -x605 -x31 -x607 -x609 -x611 -x613 -x615 -x32 -x617 -x33 -x619 -x34 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x35 -x643 -x645 -x647 -x649 -x651 x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x36 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 x713 -x715 -x717 -x719 -x721 -x723 -x725 -x37 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x38 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x39 -x755 -x757 -x759 -x761 -x763 -x765 -x767 x40 x769 -x771 -x773 -x775 -x777 -x779 -x781 -x41 -x783 -x785 -x787 -x42 -x789 -x791 -x793 -x43 -x795 -x797 -x799 -x44 -x801 -x803 -x805 -x45 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 x833 -x835 -x837 -x839 -x841 -x46 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x860 -x862 -x47 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x48 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x49 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x50 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x51 -x1021 -x1023 -x1025 x1027 -x1029 -x1031 -x52 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x53 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x54 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x55 -x1083 -x1085 -x1087 -x56 -x1089 -x1091 -x1093 -x57 -x1095 -x1097 -x1099 -x1101 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x58 -x1124 -x1126 -x1128 x59 -x1130 x1132 -x1134 -x60 -x1136 -x1138 -x1140 -x61 -x1142 -x1144 -x1146 -x1148 -x1150 -x62 -x1152 -x63 -x1154 -x64 -x1156 -x1158 -x1160 -x1162 -x1164 -x65 -x1166 -x1168 -x1170 x66 -x1172 x1174 -x1176 -x67 -x1178 -x1180 -x1182 -x68 -x1184 -x1186 -x1188 -x69 -x1190 -x1192 -x1194 -x70 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x71 -x1218 -x1220 -x1222 -x72 -x1224 -x1226 -x1228 -x73 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x74 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x75 -x1266 -x1268 -x1270 -x76 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x77 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x78 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1368 -x1370 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1387 -x79 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x80 -x1444 -x1446 -x1448 -x1450 -x1452 -x81 -x1454 -x1456 -x1458 -x1460 -x1462 -x82 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 x1503 -x1505 -x83 -x1507 -x1509 -x1511 -x84 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x85 -x1527 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x86 -x1549 -x1551 -x87 -x1553 -x1555 -x1557 -x88 -x1559 -x1561 -x1563 -x89 -x1565 -x1567 -x1569 -x90 -x1571 -x1573 -x1575 -x1577 -x1579 -x91 -x1581 -x92 -x1583 -x93 -x1585 -x1587 -x1589 -x94 -x1591 -x1593 -x1595 -x95 -x1597 -x1599 -x1601 -x96 -x1603 -x1605 -x1607 -x97 -x1609 -x1611 -x1614 -x1616 -x1618 -x1620 -x1622 x1624 -x1626 -x98 -x1628 -x1630 -x1632 -x1634 -x1636 x99 x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x100 -x1653 -x1655 -x1657 -x1659 -x1661 x1663 x101 -x1665 -x1667 -x1669 -x102 -x1671 -x1673 -x1675 -x103 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x104 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x105 -x1705 -x1707 -x1709 -x106 -x1711 -x1713 -x107 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x108 -x1746 -x1748 -x1750 -x109 -x1752 -x1754 -x1756 -x110 -x1758 -x1760 -x1762 -x111 -x1764 -x1766 -x1768 -x1770 -x1772 -x112 x1774 x113 -x1776 x1778 -x1780 -x1782 -x1784 -x1786 -x114 -x1788 -x1790 -x1792 -x115 -x1794 -x1796 -x1798 -x116 -x1800 -x1802 -x1804 -x1806 x1808 x1810 -x1812 -x1814 -x1816 -x117 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x118 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1853 -x1855 -x1857 -x1859 -x119 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x120 -x1883 -x1885 -x1887 -x1889 -x1891 -x121 -x1893 -x1895 -x1897 -x1899 -x1901 -x122 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x123 -x1915 -x1917 -x1919 -x1921 x1923 -x1925 -x1927 x1929 -x1931 -x124 -x1933 -x1935 -x1937 -x125 -x1939 -x1941 -x1943 -x1945 -x1947 -x126 -x1949 -x127 -x1951 -x128 -x1953 -x1955 -x1957 -x1959 -x1961 -x129 -x1963 -x1965 -x1967 -x130 -x1969 -x1971 -x1973 -x1975 x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 x2061 -x2063 -x2065 -x2067 -x131 -x2069 -x2071 -x2073 -x2075 -x2077 -x132 -x2080 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x133 -x2157 -x2159 x2161 -x2163 -x2165 -x2167 -x134 -x2169 -x2171 -x2173 -x135 -x2175 -x2177 -x2179 -x2181 x2183 x2185 x136 -x2187 -x137 -x2189 -x2191 -x2193 -x2195 -x2197 -x138 -x2199 -x2201 -x2203 -x2205 x2207 -x2209 -x2211 -x2213 -x139 -x2215 -x2217 -x2219 -x2221 -x2223 -x140 -x2225 -x2227 -x141 -x2229 -x2231 -x2233 -x2235 -x2237 -x142 x2239 x143 -x2241 -x2243 -x2245 x2247 -x2249 -x2251 -x2253 -x2255 -x144 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x145 x2271 -x2273 -x146 x2275 -x2277 x147 
1800.01/1800.30	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.01/1800.30	c  142  5021740 3314172 21132898    26588  1615876  22718   2789 1800.01
1800.01/1800.30	c Objective: 59123
1800.01/1800.30	s SATISFIABLE
1800.01/1800.30	c Total time: 1800.01 s

Verifier Data 

OK	59123

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3736314-1338709206/watcher-3736314-1338709206 -o /tmp/evaluation-result-3736314-1338709206/solver-3736314-1338709206 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3736314-1338709206.opb 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.97 1.98 1.99 3/177 15072
/proc/meminfo: memFree=26823180/32873648 swapFree=7368/7368
[pid=15072] ppid=15070 vsize=4840 CPUtime=0 cores=1,3,5,7
/proc/15072/stat : 15072 (bsolo3.0.17) R 15070 15072 10459 0 -1 4202496 495 0 0 0 0 0 0 0 20 0 1 0 337044721 4956160 431 33554432000 134512640 135840783 4291441744 4291440416 3077415 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15072/statm: 1210 431 330 325 0 109 0

[startup+0.106119 s]
/proc/loadavg: 1.97 1.98 1.99 3/177 15072
/proc/meminfo: memFree=26823180/32873648 swapFree=7368/7368
[pid=15072] ppid=15070 vsize=6032 CPUtime=0.09 cores=1,3,5,7
/proc/15072/stat : 15072 (bsolo3.0.17) R 15070 15072 10459 0 -1 4202496 860 0 0 0 9 0 0 0 20 0 1 0 337044721 6176768 759 33554432000 134512640 135840783 4291441744 4291439920 3077415 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15072/statm: 1508 759 349 325 0 444 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6032

[startup+0.200258 s]
/proc/loadavg: 1.97 1.98 1.99 3/177 15072
/proc/meminfo: memFree=26823180/32873648 swapFree=7368/7368
[pid=15072] ppid=15070 vsize=6420 CPUtime=0.19 cores=1,3,5,7
/proc/15072/stat : 15072 (bsolo3.0.17) R 15070 15072 10459 0 -1 4202496 964 0 0 0 19 0 0 0 20 0 1 0 337044721 6574080 863 33554432000 134512640 135840783 4291441744 4291439520 3077415 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15072/statm: 1605 863 349 325 0 541 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 6420

[startup+0.300251 s]
/proc/loadavg: 1.97 1.98 1.99 3/177 15072
/proc/meminfo: memFree=26823180/32873648 swapFree=7368/7368
[pid=15072] ppid=15070 vsize=6816 CPUtime=0.29 cores=1,3,5,7
/proc/15072/stat : 15072 (bsolo3.0.17) R 15070 15072 10459 0 -1 4202496 1064 0 0 0 29 0 0 0 20 0 1 0 337044721 6979584 963 33554432000 134512640 135840783 4291441744 4291439328 3077415 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15072/statm: 1704 963 349 325 0 640 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6816

[startup+0.700229 s]
/proc/loadavg: 1.97 1.98 1.99 3/177 15072
/proc/meminfo: memFree=26823180/32873648 swapFree=7368/7368
[pid=15072] ppid=15070 vsize=8644 CPUtime=0.69 cores=1,3,5,7
/proc/15072/stat : 15072 (bsolo3.0.17) R 15070 15072 10459 0 -1 4202496 1521 0 0 0 69 0 0 0 20 0 1 0 337044721 8851456 1420 33554432000 134512640 135840783 4291441744 4291440832 3077415 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15072/statm: 2161 1420 349 325 0 1097 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8644

[startup+1.50022 s]
/proc/loadavg: 1.97 1.98 1.99 3/178 15073
/proc/meminfo: memFree=26817344/32873648 swapFree=7368/7368
[pid=15072] ppid=15070 vsize=11632 CPUtime=1.48 cores=1,3,5,7
/proc/15072/stat : 15072 (bsolo3.0.17) R 15070 15072 10459 0 -1 4202496 2284 0 0 0 148 0 0 0 20 0 1 0 337044721 11911168 2183 33554432000 134512640 135840783 4291441744 4291441104 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15072/statm: 2908 2183 349 325 0 1844 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 11632

[startup+3.10022 s]
/proc/loadavg: 1.98 1.98 1.99 3/178 15073
/proc/meminfo: memFree=26815492/32873648 swapFree=7368/7368
[pid=15072] ppid=15070 vsize=13192 CPUtime=3.08 cores=1,3,5,7
/proc/15072/stat : 15072 (bsolo3.0.17) R 15070 15072 10459 0 -1 4202496 2671 0 0 0 308 0 0 0 20 0 1 0 337044721 13508608 2570 33554432000 134512640 135840783 4291441744 4291441040 134572558 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15072/statm: 3298 2570 349 325 0 2234 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 13192

[startup+6.30024 s]
/proc/loadavg: 1.98 1.98 1.99 3/178 15073
/proc/meminfo: memFree=26813664/32873648 swapFree=7368/7368
[pid=15072] ppid=15070 vsize=13836 CPUtime=6.28 cores=1,3,5,7
/proc/15072/stat : 15072 (bsolo3.0.17) R 15070 15072 10459 0 -1 4202496 2819 0 0 0 628 0 0 0 20 0 1 0 337044721 14168064 2718 33554432000 134512640 135840783 4291441744 4291441104 134551353 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15072/statm: 3459 2718 349 325 0 2395 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 13836

[startup+12.7002 s]
/proc/loadavg: 1.98 1.98 1.99 3/178 15073
/proc/meminfo: memFree=26810072/32873648 swapFree=7368/7368
[pid=15072] ppid=15070 vsize=17336 CPUtime=12.68 cores=1,3,5,7
/proc/15072/stat : 15072 (bsolo3.0.17) R 15070 15072 10459 0 -1 4202496 3695 0 0 0 1268 0 0 0 20 0 1 0 337044721 17752064 3594 33554432000 134512640 135840783 4291441744 4291441104 134551347 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15072/statm: 4334 3594 349 325 0 3270 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 17336

[startup+25.5003 s]
/proc/loadavg: 1.98 1.98 1.99 3/178 15073
/proc/meminfo: memFree=26810652/32873648 swapFree=7368/7368
[pid=15072] ppid=15070 vsize=17336 CPUtime=25.48 cores=1,3,5,7
/proc/15072/stat : 15072 (bsolo3.0.17) R 15070 15072 10459 0 -1 4202496 3696 0 0 0 2548 0 0 0 20 0 1 0 337044721 17752064 3595 33554432000 134512640 135840783 4291441744 4291441104 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15072/statm: 4334 3595 349 325 0 3270 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17336

[startup+51.1003 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 15073
/proc/meminfo: memFree=26809412/32873648 swapFree=7368/7368
[pid=15072] ppid=15070 vsize=18700 CPUtime=51.08 cores=1,3,5,7
/proc/15072/stat : 15072 (bsolo3.0.17) R 15070 15072 10459 0 -1 4202496 4071 0 0 0 5108 0 0 0 20 0 1 0 337044721 19148800 3955 33554432000 134512640 135840783 4291441744 4291441040 134572040 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15072/statm: 4675 3955 349 325 0 3611 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 18700

[startup+102.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 15074
/proc/meminfo: memFree=26797020/32873648 swapFree=7368/7368
[pid=15072] ppid=15070 vsize=18804 CPUtime=102.28 cores=1,3,5,7
/proc/15072/stat : 15072 (bsolo3.0.17) R 15070 15072 10459 0 -1 4202496 4079 0 0 0 10228 0 0 0 20 0 1 0 337044721 19255296 3963 33554432000 134512640 135840783 4291441744 4291440976 3079852 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15072/statm: 4701 3963 349 325 0 3637 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 18804

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 15074
/proc/meminfo: memFree=26790124/32873648 swapFree=7368/7368
[pid=15072] ppid=15070 vsize=24236 CPUtime=162.27 cores=1,3,5,7
/proc/15072/stat : 15072 (bsolo3.0.17) R 15070 15072 10459 0 -1 4202496 5459 0 0 0 16226 1 0 0 20 0 1 0 337044721 24817664 5340 33554432000 134512640 135840783 4291441744 4291441104 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15072/statm: 6059 5340 349 325 0 4995 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 24236

[startup+222.306 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 15074
/proc/meminfo: memFree=26784728/32873648 swapFree=7368/7368
[pid=15072] ppid=15070 vsize=24228 CPUtime=222.26 cores=1,3,5,7
/proc/15072/stat : 15072 (bsolo3.0.17) R 15070 15072 10459 0 -1 4202496 5467 0 0 0 22225 1 0 0 20 0 1 0 337044721 24809472 5338 33554432000 134512640 135840783 4291441744 4291441104 134550863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15072/statm: 6057 5338 349 325 0 4993 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 24228

[startup+282.3 s]
/proc/loadavg: 2.06 2.00 2.00 3/177 15074
/proc/meminfo: memFree=26677100/32873648 swapFree=7368/7368
[pid=15072] ppid=15070 vsize=24192 CPUtime=282.24 cores=1,3,5,7
/proc/15072/stat : 15072 (bsolo3.0.17) R 15070 15072 10459 0 -1 4202496 5467 0 0 0 28223 1 0 0 20 0 1 0 337044721 24772608 5329 33554432000 134512640 135840783 4291441744 4291441040 134571483 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15072/statm: 6048 5329 349 325 0 4984 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 24192

[startup+342.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 15074
/proc/meminfo: memFree=26622172/32873648 swapFree=7368/7368
[pid=15072] ppid=15070 vsize=24192 CPUtime=342.23 cores=1,3,5,7
/proc/15072/stat : 15072 (bsolo3.0.17) R 15070 15072 10459 0 -1 4202496 5467 0 0 0 34222 1 0 0 20 0 1 0 337044721 24772608 5329 33554432000 134512640 135840783 4291441744 4291441104 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15072/statm: 6048 5329 349 325 0 4984 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 24192

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15075
/proc/meminfo: memFree=26622048/32873648 swapFree=7368/7368
[pid=15072] ppid=15070 vsize=24196 CPUtime=402.22 cores=1,3,5,7
/proc/15072/stat : 15072 (bsolo3.0.17) R 15070 15072 10459 0 -1 4202496 5468 0 0 0 40221 1 0 0 20 0 1 0 337044721 24776704 5330 33554432000 134512640 135840783 4291441744 4291441104 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15072/statm: 6049 5330 349 325 0 4985 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 24196

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15075
/proc/meminfo: memFree=26621288/32873648 swapFree=7368/7368
[pid=15072] ppid=15070 vsize=24956 CPUtime=462.21 cores=1,3,5,7
/proc/15072/stat : 15072 (bsolo3.0.17) R 15070 15072 10459 0 -1 4202496 5682 0 0 0 46220 1 0 0 20 0 1 0 337044721 25554944 5520 33554432000 134512640 135840783 4291441744 4291440544 134573442 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15072/statm: 6239 5520 349 325 0 5175 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 24956

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15075
/proc/meminfo: memFree=26619656/32873648 swapFree=7368/7368
[pid=15072] ppid=15070 vsize=26628 CPUtime=522.2 cores=1,3,5,7
/proc/15072/stat : 15072 (bsolo3.0.17) R 15070 15072 10459 0 -1 4202496 6100 0 0 0 52219 1 0 0 20 0 1 0 337044721 27267072 5937 33554432000 134512640 135840783 4291441744 4291441104 134550913 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15072/statm: 6657 5937 349 325 0 5593 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 26628

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15075
/proc/meminfo: memFree=26595972/32873648 swapFree=7368/7368
[pid=15072] ppid=15070 vsize=31772 CPUtime=582.19 cores=1,3,5,7
/proc/15072/stat : 15072 (bsolo3.0.17) R 15070 15072 10459 0 -1 4202496 7412 0 0 0 58218 1 0 0 20 0 1 0 337044721 32534528 7224 33554432000 134512640 135840783 4291441744 4291441104 134551182 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15072/statm: 7943 7224 349 325 0 6879 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 31772

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 15118
/proc/meminfo: memFree=27129648/32873648 swapFree=7368/7368
[pid=15072] ppid=15070 vsize=31772 CPUtime=822.15 cores=1,3,5,7
/proc/15072/stat : 15072 (bsolo3.0.17) R 15070 15072 10459 0 -1 4202496 7414 0 0 0 82214 1 0 0 20 0 1 0 337044721 32534528 7224 33554432000 134512640 135840783 4291441744 4291441104 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15072/statm: 7943 7224 349 325 0 6879 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 31772

[startup+882.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15118
/proc/meminfo: memFree=27129896/32873648 swapFree=7368/7368
[pid=15072] ppid=15070 vsize=31772 CPUtime=882.15 cores=1,3,5,7
/proc/15072/stat : 15072 (bsolo3.0.17) R 15070 15072 10459 0 -1 4202496 7414 0 0 0 88214 1 0 0 20 0 1 0 337044721 32534528 7224 33554432000 134512640 135840783 4291441744 4291441104 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15072/statm: 7943 7224 349 325 0 6879 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 31772

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15118
/proc/meminfo: memFree=27127540/32873648 swapFree=7368/7368
[pid=15072] ppid=15070 vsize=31772 CPUtime=942.14 cores=1,3,5,7
/proc/15072/stat : 15072 (bsolo3.0.17) R 15070 15072 10459 0 -1 4202496 7414 0 0 0 94213 1 0 0 20 0 1 0 337044721 32534528 7224 33554432000 134512640 135840783 4291441744 4291441104 134551294 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15072/statm: 7943 7224 349 325 0 6879 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 31772

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15119
/proc/meminfo: memFree=27106572/32873648 swapFree=7368/7368
[pid=15072] ppid=15070 vsize=32932 CPUtime=1002.13 cores=1,3,5,7
/proc/15072/stat : 15072 (bsolo3.0.17) R 15070 15072 10459 0 -1 4202496 7696 0 0 0 100212 1 0 0 20 0 1 0 337044721 33722368 7506 33554432000 134512640 135840783 4291441744 4291441104 134551104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15072/statm: 8233 7506 349 325 0 7169 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 32932

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15119
/proc/meminfo: memFree=27096264/32873648 swapFree=7368/7368
[pid=15072] ppid=15070 vsize=42900 CPUtime=1062.11 cores=1,3,5,7
/proc/15072/stat : 15072 (bsolo3.0.17) R 15070 15072 10459 0 -1 4202496 11586 0 0 0 106209 2 0 0 20 0 1 0 337044721 43929600 10006 33554432000 134512640 135840783 4291441744 4291441104 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15072/statm: 10725 10006 349 325 0 9661 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 42900

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15119
/proc/meminfo: memFree=27096552/32873648 swapFree=7368/7368
[pid=15072] ppid=15070 vsize=42732 CPUtime=1122.1 cores=1,3,5,7
/proc/15072/stat : 15072 (bsolo3.0.17) R 15070 15072 10459 0 -1 4202496 11586 0 0 0 112208 2 0 0 20 0 1 0 337044721 43757568 9964 33554432000 134512640 135840783 4291441744 4291441104 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15072/statm: 10683 9964 349 325 0 9619 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 42732

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15119
/proc/meminfo: memFree=27096436/32873648 swapFree=7368/7368
[pid=15072] ppid=15070 vsize=42736 CPUtime=1182.09 cores=1,3,5,7
/proc/15072/stat : 15072 (bsolo3.0.17) R 15070 15072 10459 0 -1 4202496 11588 0 0 0 118207 2 0 0 20 0 1 0 337044721 43761664 9965 33554432000 134512640 135840783 4291441744 4291441104 134551186 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15072/statm: 10684 9965 349 325 0 9620 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 42736

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15122
/proc/meminfo: memFree=27096320/32873648 swapFree=7368/7368
[pid=15072] ppid=15070 vsize=42728 CPUtime=1242.08 cores=1,3,5,7
/proc/15072/stat : 15072 (bsolo3.0.17) R 15070 15072 10459 0 -1 4202496 11588 0 0 0 124206 2 0 0 20 0 1 0 337044721 43753472 9963 33554432000 134512640 135840783 4291441744 4291441056 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15072/statm: 10682 9963 349 325 0 9618 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 42728

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15146
/proc/meminfo: memFree=27096252/32873648 swapFree=7368/7368
[pid=15072] ppid=15070 vsize=42708 CPUtime=1302.08 cores=1,3,5,7
/proc/15072/stat : 15072 (bsolo3.0.17) R 15070 15072 10459 0 -1 4202496 11588 0 0 0 130206 2 0 0 20 0 1 0 337044721 43732992 9958 33554432000 134512640 135840783 4291441744 4291441096 7022777 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15072/statm: 10677 9958 349 325 0 9613 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 42708

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15146
/proc/meminfo: memFree=27096892/32873648 swapFree=7368/7368
[pid=15072] ppid=15070 vsize=42696 CPUtime=1362.07 cores=1,3,5,7
/proc/15072/stat : 15072 (bsolo3.0.17) R 15070 15072 10459 0 -1 4202496 11588 0 0 0 136205 2 0 0 20 0 1 0 337044721 43720704 9955 33554432000 134512640 135840783 4291441744 4291440880 3074974 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15072/statm: 10674 9955 349 325 0 9610 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 42696

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15146
/proc/meminfo: memFree=27097016/32873648 swapFree=7368/7368
[pid=15072] ppid=15070 vsize=42696 CPUtime=1422.06 cores=1,3,5,7
/proc/15072/stat : 15072 (bsolo3.0.17) R 15070 15072 10459 0 -1 4202496 11588 0 0 0 142204 2 0 0 20 0 1 0 337044721 43720704 9955 33554432000 134512640 135840783 4291441744 4291441104 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15072/statm: 10674 9955 349 325 0 9610 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 42696

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15146
/proc/meminfo: memFree=27097388/32873648 swapFree=7368/7368
[pid=15072] ppid=15070 vsize=42704 CPUtime=1482.05 cores=1,3,5,7
/proc/15072/stat : 15072 (bsolo3.0.17) R 15070 15072 10459 0 -1 4202496 11590 0 0 0 148203 2 0 0 20 0 1 0 337044721 43728896 9957 33554432000 134512640 135840783 4291441744 4291441104 134551646 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15072/statm: 10676 9957 349 325 0 9612 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 42704

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15146
/proc/meminfo: memFree=27097388/32873648 swapFree=7368/7368
[pid=15072] ppid=15070 vsize=42704 CPUtime=1542.05 cores=1,3,5,7
/proc/15072/stat : 15072 (bsolo3.0.17) R 15070 15072 10459 0 -1 4202496 11590 0 0 0 154203 2 0 0 20 0 1 0 337044721 43728896 9957 33554432000 134512640 135840783 4291441744 4291441104 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15072/statm: 10676 9957 349 325 0 9612 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 42704

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15147
/proc/meminfo: memFree=27098016/32873648 swapFree=7368/7368
[pid=15072] ppid=15070 vsize=42704 CPUtime=1602.03 cores=1,3,5,7
/proc/15072/stat : 15072 (bsolo3.0.17) R 15070 15072 10459 0 -1 4202496 11590 0 0 0 160201 2 0 0 20 0 1 0 337044721 43728896 9957 33554432000 134512640 135840783 4291441744 4291440980 3071947 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15072/statm: 10676 9957 349 325 0 9612 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 42704

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15148
/proc/meminfo: memFree=27099124/32873648 swapFree=7368/7368
[pid=15072] ppid=15070 vsize=42704 CPUtime=1662.02 cores=1,3,5,7
/proc/15072/stat : 15072 (bsolo3.0.17) R 15070 15072 10459 0 -1 4202496 11590 0 0 0 166200 2 0 0 20 0 1 0 337044721 43728896 9957 33554432000 134512640 135840783 4291441744 4291441104 134551058 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15072/statm: 10676 9957 349 325 0 9612 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 42704

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15148
/proc/meminfo: memFree=27099124/32873648 swapFree=7368/7368
[pid=15072] ppid=15070 vsize=42704 CPUtime=1722.01 cores=1,3,5,7
/proc/15072/stat : 15072 (bsolo3.0.17) R 15070 15072 10459 0 -1 4202496 11590 0 0 0 172199 2 0 0 20 0 1 0 337044721 43728896 9957 33554432000 134512640 135840783 4291441744 4291441104 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15072/statm: 10676 9957 349 325 0 9612 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 42704

[startup+1782.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/177 15148
/proc/meminfo: memFree=27098752/32873648 swapFree=7368/7368
[pid=15072] ppid=15070 vsize=42704 CPUtime=1782 cores=1,3,5,7
/proc/15072/stat : 15072 (bsolo3.0.17) R 15070 15072 10459 0 -1 4202496 11590 0 0 0 178198 2 0 0 20 0 1 0 337044721 43728896 9957 33554432000 134512640 135840783 4291441744 4291441168 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15072/statm: 10676 9957 349 325 0 9612 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 42704



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/178 15151
/proc/meminfo: memFree=27097828/32873648 swapFree=7368/7368
[pid=15072] ppid=15070 vsize=42704 CPUtime=1800.01 cores=1,3,5,7
/proc/15072/stat : 15072 (bsolo3.0.17) R 15070 15072 10459 0 -1 4202496 11590 0 0 0 179999 2 0 0 20 0 1 0 337044721 43728896 9957 33554432000 134512640 135840783 4291441744 4291441104 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15072/statm: 10676 9957 349 325 0 9612 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 42704

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.31
CPU time (s): 1800.02
CPU user time (s): 1799.99
CPU system time (s): 0.024996
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 48452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.024996
maximum resident set size= 45564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11593
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= 24
involuntary context switches= 1854

runsolver used 2.98255 second user time and 9.32258 second system time

The end

Launcher Data 

Begin job on node149 at 2012-06-03 09:40:06
IDJOB=3736314
IDBENCH=25043
IDSOLVER=2318
FILE ID=node149/3736314-1338709206
RUNJOBID= node149-1338678596-10476
PBS_JOBID= 14636664
Free space on /tmp= 71048 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB07/normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir07_trarea_ac.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736314-1338709206/watcher-3736314-1338709206 -o /tmp/evaluation-result-3736314-1338709206/solver-3736314-1338709206 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3736314-1338709206.opb            

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= bd686f1ac9d6c1a64cf0c9041039dd75
RANDOM SEED=1615277359

node149.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        26823716 kB
Buffers:          721884 kB
Cached:          4051076 kB
SwapCached:         2468 kB
Active:          2290300 kB
Inactive:        2867308 kB
Active(anon):     367792 kB
Inactive(anon):     9368 kB
Active(file):    1922508 kB
Inactive(file):  2857940 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104892 kB
Dirty:              6844 kB
Writeback:             4 kB
AnonPages:        379988 kB
Mapped:            15724 kB
Shmem:                96 kB
Slab:             752676 kB
SReclaimable:     196744 kB
SUnreclaim:       555932 kB
KernelStack:        1464 kB
PageTables:         4596 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     489488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    362496 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71044 MiB
End job on node149 at 2012-06-03 10:10:09