Trace number 3731075

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)15681 1800.01 1800.31

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos5.opb
MD5SUM687e90f40c46b53feec9c54ee9b43fa6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark15360
Best CPU time to get the best result obtained on this benchmark1352.86
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 15360
Optimality of the best value was proved NO
Number of variables163
Total number of constraints73
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)3
Number of constraints which are nor clauses,nor cardinality constraints70
Minimum length of a constraint11
Maximum length of a constraint102
Number of terms in the objective function 163
Biggest coefficient in the objective function 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 74742
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 8192
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 74742
Number of bits of the biggest sum of numbers17
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-3731075-1338682680.opb
0.00/0.00	c File size is 50269 bytes.
0.00/0.00	c Highest Coefficient sum: 74742
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.004 s
0.00/0.00	c Var: 163 Constr: 73 0/3/70 Lit: 5326 Watch. Lit: 548
0.00/0.00	c Obj. Vars: 163 (100 % of total variables)
0.00/0.01	c Pre-processing Time: 0.007 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    163       73     5326   72      548   10705      0      0 0.01
0.00/0.01	c Initial Lower Bound: 13312
0.00/0.01	c Initial Path Cost: 0
0.00/0.01	o 20480	0.012
0.01/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.09	c        0    163       74     5489   74      693   11031      1      0 0.01
0.01/0.09	o 16897	0.093 * 
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c        0    163       75     5652   75      893   11357      2      0 0.09
0.09/0.16	o 16385	0.157 * 
0.28/0.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.36	c        0    163       76     5815   76      944   11683      3      0 0.16
0.28/0.36	o 16384	0.361 * 
0.68/0.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.68/0.72	c       66    163      207    15023   72     1691   11683    134    182 0.36
0.68/0.72	c      167    163      409    27034   66     1980   12852    336    271 0.61
0.68/0.72	o 16364	0.718 * 
1.29/1.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.35	c      168    163      412    27323   66     1979   11683    339    233 0.72
1.29/1.35	c      269    163      614    37458   61     2425   12852    541    269 1.00
1.29/1.35	o 16354	1.346 * 
2.19/2.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.19/2.22	c      413    163      903    53442   59     3332   11683    830    306 1.35
2.19/2.22	c      515    163     1107    66754   60     3628   12852   1034    320 1.61
2.19/2.22	c      766    163     1609    92263   57     4447   14138   1536    358 2.13
2.19/2.22	o 16129	2.214 * 
12.18/12.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
12.18/12.28	c      766    163     1610    92426   57     4693   11683   1537    345 2.21
12.18/12.28	c      867    163     1812   101073   55     4983   12852   1739    349 2.48
12.18/12.28	c     1119    163     2315   126327   54     5951   14138   2242    368 3.03
12.18/12.28	c     1596    163     3267   173152   53     7931   15552   3194    390 4.09
12.18/12.28	c     2409    163     4893   282212   57    10933   17108   4820    411 5.86
12.18/12.28	c     3731    163     7537   489962   65    16285   18819   7464    454 8.20
12.18/12.28	c     5812    163    11692   800324   68    24732   20701  11619    484 12.01
12.18/12.28	o 16001	12.279 * 
12.58/12.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
12.58/12.66	c     5923    163    11912   815826   68    25500   11683  11839    482 12.28
12.58/12.66	c     6029    163     6128   412634   67    12942   12852   6055    479 12.56
12.58/12.66	o 15875	12.657 * 
18.99/19.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.99/19.08	c     6030    163     6131   412873   67    13208   11031   6058    476 12.66
18.99/19.08	c     6130    163     6331   423727   66    13492   12135   6258    474 12.92
18.99/19.08	c     6381    163     6833   449294   65    14376   13349   6760    474 13.46
18.99/19.08	c     6858    163     7787   512853   65    16228   14684   7714    472 14.51
18.99/19.08	c     7674    163     9419   589198   62    19472   16153   9346    473 16.20
18.99/19.08	c     8995    163    12061   762968   63    24726   17769  11988    475 18.93
18.99/19.08	o 15873	19.08 * 
22.08/22.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
22.08/22.14	c     9034    163    12129   768712   63    25199   11031  12056    473 19.08
22.08/22.14	c     9136    163     5794   379419   65    12211   12135   5721    468 19.48
22.08/22.14	c     9387    163     6296   405676   64    13143   13349   6223    467 20.06
22.08/22.14	c     9863    163     7248   450577   62    15029   14684   7175    466 21.16
22.08/22.14	o 15872	22.133 * 
59.58/59.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
59.58/59.68	c    10270    163     8063   487357   60    16738   11031   7990    464 22.13
59.58/59.68	c    10370    163     8263   498630   60    17128   12135   8190    462 22.43
59.58/59.68	c    10623    163     8769   516453   58    18150   13349   8696    460 23.07
59.58/59.68	c    11098    163     9719   581644   59    20033   14684   9646    459 24.13
59.58/59.68	c    11911    163    11345   675232   59    23400   16153  11272    458 25.99
59.58/59.68	c    13231    163    13985   821180   58    28585   17769  13912    455 29.06
59.58/59.68	c    15316    163     9213   508577   55    18987   19546   9140    449 34.04
59.58/59.68	c    18540    163    13943   991565   71    28921   21501  13870    482 38.45
59.58/59.68	c    23476    163    12988   813317   62    26510   23652  12915    466 50.33
59.58/59.68	o 15812	59.669 * 
60.97/61.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
60.97/61.09	c    27435    163    20907  1173119   56    42812   11031  20834    459 59.67
60.97/61.09	c    27535    163     5790   264015   45    12210   12135   5717    456 60.33
60.97/61.09	c    27787    163     6294   292204   46    13187   13349   6221    456 60.93
60.97/61.09	o 15774	61.077 * 
91.37/91.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
91.37/91.40	c    27809    163     6337   294856   46    13489   11031   6264    455 61.08
91.37/91.40	c    27910    163     6539   306383   46    13761   12135   6466    454 61.37
91.37/91.40	c    28162    163     7043   328717   46    14741   13349   6970    454 62.01
91.37/91.40	c    28638    163     7995   380157   47    16588   14684   7922    453 63.12
91.37/91.40	c    29452    163     9623   452219   46    19821   16153   9550    452 65.05
91.37/91.40	c    30773    163    12240   616774   50    25273   17769  12167    452 67.95
91.37/91.40	c    32855    163    16400   938237   57    33526   19546  16327    456 71.93
91.37/91.40	c    36079    163    13007   769501   59    26547   21501  12934    455 79.17
91.37/91.40	c    41015    163    11999   705133   58    24515   23652  11926    451 90.79
91.37/91.40	o 15764	91.383 * 
368.51/368.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
368.51/368.66	c    41347    163    12639   775433   61    26372   11031  12566    452 91.38
368.51/368.66	c    41449    163     5793   307863   53    12376   12135   5720    451 91.70
368.51/368.66	c    41699    163     6293   340793   54    13219   13349   6220    452 92.24
368.51/368.66	c    42175    163     7245   380092   52    15107   14684   7172    451 93.40
368.51/368.66	c    42991    163     8877   460281   51    18270   16153   8804    451 95.24
368.51/368.66	c    44319    163    11533   573732   49    23575   17769  11460    450 98.32
368.51/368.66	c    46402    163    15699   791373   50    31889   19546  15626    451 102.86
368.51/368.66	c    49630    163    12319   683105   55    25172   21501  12246    450 110.12
368.51/368.66	c    54567    163    11310   610167   53    23105   23652  11237    446 122.20
368.51/368.66	c    62073    163    13389   692002   51    27269   26018  13316    444 139.50
368.51/368.66	c    73434    163    20917  1048781   50    42334   28620  20844    440 166.74
368.51/368.66	c    90578    163    19447  1008289   51    39402   31483  19374    434 208.35
368.51/368.66	c   116398    163    27616  2647521   95    56131   34632  27543    445 261.14
368.51/368.66	c   155232    163    11236   697677   62    22953   38096  11163    435 356.55
368.51/368.66	o 15748	368.585 * 
651.67/651.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
651.67/651.80	c   161012    163    21363  1271970   59    44246   11031  21290    436 368.58
651.67/651.80	c   161112    163     5790   311922   53    12498   12135   5717    436 369.46
651.67/651.80	c   161362    163     6290   336986   53    13256   13349   6217    435 370.11
651.67/651.80	c   161837    163     7240   380173   52    15013   14684   7167    435 371.25
651.67/651.80	c   162652    163     8870   458021   51    18259   16153   8797    435 373.21
651.67/651.80	c   163973    163    11512   591434   51    23546   17769  11439    435 376.11
651.67/651.80	c   166056    163    15678   838119   53    31858   19546  15605    436 380.49
651.67/651.80	c   169281    163    12273   796623   64    25090   21501  12200    436 387.93
651.67/651.80	c   174217    163    11249   770936   68    22978   23652  11176    436 399.33
651.67/651.80	c   181725    163    12732  1110084   87    26177   26018  12659    439 413.55
651.67/651.80	c   193086    163    20280  1334828   65    41065   28620  20207    440 438.20
651.67/651.80	c   210239    163    18937  1318232   69    39157   31483  18864    440 476.79
651.67/651.80	c   236058    163    29583  1797463   60    59651   34632  29510    441 535.08
651.67/651.80	c   274890    163    12755   795302   62    26001   38096  12682    438 627.15
651.67/651.80	o 15746	651.687 * 
1050.51/1050.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1050.51/1050.72	c   286039    163    35054  2007112   57    71391   11031  34981    438 651.69
1050.51/1050.72	c   286140    163     5792   345248   59    12479   12135   5719    438 653.03
1050.51/1050.72	c   286394    163     6300   375802   59    13308   13349   6227    438 653.64
1050.51/1050.72	c   286873    163     7258   434979   59    15075   14684   7185    438 654.72
1050.51/1050.72	c   287687    163     8886   519376   58    18284   16153   8813    438 656.67
1050.51/1050.72	c   289008    163    11528   646539   56    23571   17769  11455    438 659.68
1050.51/1050.72	c   291090    163    15692   898604   57    31877   19546  15619    438 664.17
1050.51/1050.72	c   294316    163    12297   758445   61    25105   21501  12224    438 671.00
1050.51/1050.72	c   299257    163    11300   711211   62    23352   23652  11227    438 682.34
1050.51/1050.72	c   306766    163    13328   828649   62    27219   26018  13255    438 699.21
1050.51/1050.72	c   318128    163    20851  1251520   60    42250   28620  20778    439 723.78
1050.51/1050.72	c   335272    163    19710  1106382   56    39908   31483  19637    438 765.30
1050.51/1050.72	c   361092    163    30364  2008588   66    61329   34632  30291    438 823.06
1050.51/1050.72	c   399924    163    13939   739182   53    28384   38096  13866    435 917.75
1050.51/1050.72	c   458277    163    22995  1833836   79    46492   41906  22922    436 1050.43
1050.51/1050.72	o 15694	1050.54 * 
1098.40/1098.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1098.40/1098.66	c   458281    163    23004  1834579   79    47246   11031  22931    436 1050.54
1098.40/1098.66	c   458381    163     5790   365911   63    12357   12135   5717    435 1051.55
1098.40/1098.66	c   458636    163     6300   400585   63    13235   13349   6227    435 1052.15
1098.40/1098.66	c   459113    163     7254   451654   62    15025   14684   7181    435 1053.37
1098.40/1098.66	c   459928    163     8880   533068   60    18307   16153   8807    435 1055.44
1098.40/1098.66	c   461249    163    11522   721350   62    23559   17769  11449    435 1058.28
1098.40/1098.66	c   463334    163    15677  1017012   64    31889   19546  15604    435 1063.17
1098.40/1098.66	c   466559    163    12285   752643   61    25079   21501  12212    435 1071.53
1098.40/1098.66	c   471497    163    11246   867863   77    23091   23652  11173    436 1080.38
1098.40/1098.66	c   479003    163    13250   960205   72    27612   26018  13177    436 1097.16
1098.40/1098.66	o 15681	1098.48 * 
1800.00/1800.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.00/1800.30	c   479555    163    14352  1031082   71    29643   11031  14279    436 1098.48
1800.00/1800.30	c   479655    163     5790   354784   61    12308   12135   5717    436 1098.91
1800.00/1800.30	c   479907    163     6294   377518   59    13108   13349   6221    436 1099.52
1800.00/1800.30	c   480384    163     7248   435456   60    14996   14684   7175    436 1100.67
1800.00/1800.30	c   481197    163     8874   519623   58    18237   16153   8801    436 1102.67
1800.00/1800.30	c   482517    163    11514   690849   60    23516   17769  11441    436 1105.51
1800.00/1800.30	c   484599    163    15419  1090514   70    31833   19546  15346    436 1109.04
1800.00/1800.30	c   487823    163    12029   816575   67    24591   21501  11956    436 1116.87
1800.00/1800.30	c   492768    163    11034   699693   63    22632   23652  10961    436 1128.59
1800.00/1800.30	c   500276    163    13086   812633   62    26670   26018  13013    436 1145.62
1800.00/1800.30	c   511638    163    20213  1293819   64    41028   28620  20140    437 1170.37
1800.00/1800.30	c   528783    163    19069  1288452   67    38677   31483  18996    437 1208.95
1800.00/1800.30	c   554603    163    29676  1754268   59    59917   34632  29603    435 1272.27
1800.00/1800.30	c   593440    163    12862   837044   65    26255   38096  12789    437 1357.76
1800.00/1800.30	c   651792    163    21987  1150071   52    44487   41906  21914    433 1505.27
1800.00/1800.30	c   739426    163    12895   884321   68    26351   46097  12822    429 1722.38
1800.00/1800.30	c Caught signal: 15
1800.00/1800.30	v -x1 -x12 -x23 x34 x45 x116 -x161 -x162 -x163 x2 x3 -x4 -x5 -x6 x7 -x8 x9 -x10 x11 -x13 -x14 -x15 -x16 x17 -x18 x19 -x20 -x21 x22 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 x56 -x57 x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 x66 -x67 x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 x94 x95 x96 x97 x98 x99 -x100 -x101 x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 x114 -x115 -x117 -x118 -x119 -x120 -x121 x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 
1800.00/1800.30	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.00/1800.30	c  119   773194   1073   781029    45700  4178289  45627    429 1800.01
1800.00/1800.30	c Objective: 15681
1800.00/1800.30	s SATISFIABLE
1800.00/1800.30	c Total time: 1800.01 s

Verifier Data 

OK	15681

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-3731075-1338682680/watcher-3731075-1338682680 -o /tmp/evaluation-result-3731075-1338682680/solver-3731075-1338682680 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3731075-1338682680.opb 

running on 4 cores: 0,2,4,6

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: 2.00 2.00 1.92 3/178 7640
/proc/meminfo: memFree=28560068/32873844 swapFree=7380/7380
[pid=7640] ppid=7638 vsize=12420 CPUtime=0 cores=0,2,4,6
/proc/7640/stat : 7640 (bsolo3.0.17) R 7638 7640 7079 0 -1 4202496 453 0 0 0 0 0 0 0 20 0 1 0 334392770 12718080 390 33554432000 134512640 135840783 4294131632 4294129264 7734567 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7640/statm: 3105 390 327 325 0 2028 0

[startup+0.0162859 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 7640
/proc/meminfo: memFree=28560068/32873844 swapFree=7380/7380
[pid=7640] ppid=7638 vsize=12716 CPUtime=0.01 cores=0,2,4,6
/proc/7640/stat : 7640 (bsolo3.0.17) R 7638 7640 7079 0 -1 4202496 685 0 0 0 1 0 0 0 20 0 1 0 334392770 13021184 563 33554432000 134512640 135840783 4294131632 4294131024 134578700 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7640/statm: 3179 564 428 325 0 2115 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12716

[startup+0.100188 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 7640
/proc/meminfo: memFree=28560068/32873844 swapFree=7380/7380
[pid=7640] ppid=7638 vsize=13448 CPUtime=0.09 cores=0,2,4,6
/proc/7640/stat : 7640 (bsolo3.0.17) R 7638 7640 7079 0 -1 4202496 2454 0 0 0 9 0 0 0 20 0 1 0 334392770 13770752 606 33554432000 134512640 135840783 4294131632 4294129952 134694777 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7640/statm: 3362 606 428 325 0 2298 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13448

[startup+0.300189 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 7640
/proc/meminfo: memFree=28560068/32873844 swapFree=7380/7380
[pid=7640] ppid=7638 vsize=5816 CPUtime=0.28 cores=0,2,4,6
/proc/7640/stat : 7640 (bsolo3.0.17) R 7638 7640 7079 0 -1 4202496 7169 0 0 0 28 0 0 0 20 0 1 0 334392770 5955584 597 33554432000 134512640 135840783 4294131632 4294128560 7734567 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7640/statm: 1454 599 429 325 0 390 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5816

[startup+0.700193 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 7640
/proc/meminfo: memFree=28560068/32873844 swapFree=7380/7380
[pid=7640] ppid=7638 vsize=6408 CPUtime=0.68 cores=0,2,4,6
/proc/7640/stat : 7640 (bsolo3.0.17) R 7638 7640 7079 0 -1 4202496 7494 0 0 0 68 0 0 0 20 0 1 0 334392770 6561792 863 33554432000 134512640 135840783 4294131632 4294130048 134706515 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7640/statm: 1602 863 429 325 0 538 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6408

[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 7641
/proc/meminfo: memFree=28558060/32873844 swapFree=7380/7380
[pid=7640] ppid=7638 vsize=5972 CPUtime=1.49 cores=0,2,4,6
/proc/7640/stat : 7640 (bsolo3.0.17) R 7638 7640 7079 0 -1 4202496 9368 0 0 0 148 1 0 0 20 0 1 0 334392770 6115328 845 33554432000 134512640 135840783 4294131632 4294130288 15610928 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7640/statm: 1493 845 429 325 0 429 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5972

[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 7641
/proc/meminfo: memFree=28557192/32873844 swapFree=7380/7380
[pid=7640] ppid=7638 vsize=7668 CPUtime=3.09 cores=0,2,4,6
/proc/7640/stat : 7640 (bsolo3.0.17) R 7638 7640 7079 0 -1 4202496 21374 0 0 0 306 3 0 0 20 0 1 0 334392770 7852032 1199 33554432000 134512640 135840783 4294131632 4294130016 135244327 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7640/statm: 1917 1199 429 325 0 853 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7668

[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 7641
/proc/meminfo: memFree=28554836/32873844 swapFree=7380/7380
[pid=7640] ppid=7638 vsize=10276 CPUtime=6.29 cores=0,2,4,6
/proc/7640/stat : 7640 (bsolo3.0.17) R 7638 7640 7079 0 -1 4202496 37697 0 0 0 622 7 0 0 20 0 1 0 334392770 10522624 1870 33554432000 134512640 135840783 4294131632 4294128656 135188124 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7640/statm: 2569 1870 429 325 0 1505 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10276

[startup+12.7002 s]
/proc/loadavg: 2.07 2.02 1.93 3/179 7641
/proc/meminfo: memFree=28546164/32873844 swapFree=7380/7380
[pid=7640] ppid=7638 vsize=17596 CPUtime=12.68 cores=0,2,4,6
/proc/7640/stat : 7640 (bsolo3.0.17) R 7638 7640 7079 0 -1 4202496 71135 0 0 0 1256 12 0 0 20 0 1 0 334392770 18018304 3688 33554432000 134512640 135840783 4294131632 4294130208 134689047 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7640/statm: 4399 3688 429 325 0 3335 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 17596

[startup+25.5002 s]
/proc/loadavg: 2.06 2.02 1.93 3/179 7641
/proc/meminfo: memFree=28546024/32873844 swapFree=7380/7380
[pid=7640] ppid=7638 vsize=17164 CPUtime=25.48 cores=0,2,4,6
/proc/7640/stat : 7640 (bsolo3.0.17) R 7638 7640 7079 0 -1 4202496 130745 0 0 0 2519 29 0 0 20 0 1 0 334392770 17575936 3641 33554432000 134512640 135840783 4294131632 4294130288 15610928 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7640/statm: 4291 3641 429 325 0 3227 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17164

[startup+51.1002 s]
/proc/loadavg: 2.04 2.01 1.93 3/179 7641
/proc/meminfo: memFree=28538412/32873844 swapFree=7380/7380
[pid=7640] ppid=7638 vsize=25788 CPUtime=51.08 cores=0,2,4,6
/proc/7640/stat : 7640 (bsolo3.0.17) R 7638 7640 7079 0 -1 4202496 510385 0 0 0 5012 96 0 0 20 0 1 0 334392770 26406912 5695 33554432000 134512640 135840783 4294131632 4294129972 135322747 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7640/statm: 6447 5695 429 325 0 5383 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 25788

[startup+102.306 s]
/proc/loadavg: 2.01 2.01 1.93 3/179 7641
/proc/meminfo: memFree=28476208/32873844 swapFree=7380/7380
[pid=7640] ppid=7638 vsize=25788 CPUtime=102.27 cores=0,2,4,6
/proc/7640/stat : 7640 (bsolo3.0.17) R 7638 7640 7079 0 -1 4202496 510411 0 0 0 10131 96 0 0 20 0 1 0 334392770 26406912 5719 33554432000 134512640 135840783 4294131632 4294130240 134688433 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7640/statm: 6447 5719 429 325 0 5383 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 25788

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 7644
/proc/meminfo: memFree=28425636/32873844 swapFree=7380/7380
[pid=7640] ppid=7638 vsize=25804 CPUtime=162.26 cores=0,2,4,6
/proc/7640/stat : 7640 (bsolo3.0.17) R 7638 7640 7079 0 -1 4202496 510454 0 0 0 16130 96 0 0 20 0 1 0 334392770 26423296 5762 33554432000 134512640 135840783 4294131632 4294130128 135445165 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7640/statm: 6451 5762 429 325 0 5387 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 25804

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 7645
/proc/meminfo: memFree=28390084/32873844 swapFree=7380/7380
[pid=7640] ppid=7638 vsize=37312 CPUtime=222.25 cores=0,2,4,6
/proc/7640/stat : 7640 (bsolo3.0.17) R 7638 7640 7079 0 -1 4202496 658934 0 0 0 22104 121 0 0 20 0 1 0 334392770 38207488 8610 33554432000 134512640 135840783 4294131632 4294129568 135301804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7640/statm: 9328 8610 429 325 0 8264 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 37312

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 7645
/proc/meminfo: memFree=28378456/32873844 swapFree=7380/7380
[pid=7640] ppid=7638 vsize=49060 CPUtime=282.24 cores=0,2,4,6
/proc/7640/stat : 7640 (bsolo3.0.17) R 7638 7640 7079 0 -1 4202496 1427707 0 0 0 27948 276 0 0 20 0 1 0 334392770 50237440 11435 33554432000 134512640 135840783 4294131632 4294129872 135316026 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7640/statm: 12265 11436 429 325 0 11201 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 49060

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 7645
/proc/meminfo: memFree=28378356/32873844 swapFree=7380/7380
[pid=7640] ppid=7638 vsize=48888 CPUtime=342.22 cores=0,2,4,6
/proc/7640/stat : 7640 (bsolo3.0.17) R 7638 7640 7079 0 -1 4202496 1941950 0 0 0 33820 402 0 0 20 0 1 0 334392770 50061312 11471 33554432000 134512640 135840783 4294131632 4294129888 134948382 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7640/statm: 12222 11471 429 325 0 11158 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 48888

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 7645
/proc/meminfo: memFree=28378480/32873844 swapFree=7380/7380
[pid=7640] ppid=7638 vsize=48884 CPUtime=402.2 cores=0,2,4,6
/proc/7640/stat : 7640 (bsolo3.0.17) R 7638 7640 7079 0 -1 4202496 1942523 0 0 0 39818 402 0 0 20 0 1 0 334392770 50057216 11482 33554432000 134512640 135840783 4294131632 4294129760 134700373 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7640/statm: 12221 11482 429 325 0 11157 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 48884

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 7645
/proc/meminfo: memFree=28378480/32873844 swapFree=7380/7380
[pid=7640] ppid=7638 vsize=48884 CPUtime=462.2 cores=0,2,4,6
/proc/7640/stat : 7640 (bsolo3.0.17) R 7638 7640 7079 0 -1 4202496 1942523 0 0 0 45818 402 0 0 20 0 1 0 334392770 50057216 11482 33554432000 134512640 135840783 4294131632 4294130048 134706982 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7640/statm: 12221 11482 429 325 0 11157 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 48884

[startup+522.3 s]
/proc/loadavg: 2.05 2.01 1.93 3/179 7646
/proc/meminfo: memFree=28378852/32873844 swapFree=7380/7380
[pid=7640] ppid=7638 vsize=48884 CPUtime=522.2 cores=0,2,4,6
/proc/7640/stat : 7640 (bsolo3.0.17) R 7638 7640 7079 0 -1 4202496 1942523 0 0 0 51817 403 0 0 20 0 1 0 334392770 50057216 11482 33554432000 134512640 135840783 4294131632 4294129760 134700546 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7640/statm: 12221 11482 429 325 0 11157 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 48884

[startup+582.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/179 7646
/proc/meminfo: memFree=28378976/32873844 swapFree=7380/7380
[pid=7640] ppid=7638 vsize=48348 CPUtime=582.19 cores=0,2,4,6
/proc/7640/stat : 7640 (bsolo3.0.17) R 7638 7640 7079 0 -1 4202496 1942523 0 0 0 57816 403 0 0 20 0 1 0 334392770 49508352 11425 33554432000 134512640 135840783 4294131632 4294130048 134708653 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7640/statm: 12087 11425 429 325 0 11023 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 48348

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 7650
/proc/meminfo: memFree=28378728/32873844 swapFree=7380/7380
[pid=7640] ppid=7638 vsize=48352 CPUtime=882.14 cores=0,2,4,6
/proc/7640/stat : 7640 (bsolo3.0.17) R 7638 7640 7079 0 -1 4202496 1942524 0 0 0 87811 403 0 0 20 0 1 0 334392770 49512448 11426 33554432000 134512640 135840783 4294131632 4294129920 134694783 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7640/statm: 12088 11426 429 325 0 11024 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 48352

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 7650
/proc/meminfo: memFree=28378852/32873844 swapFree=7380/7380
[pid=7640] ppid=7638 vsize=48356 CPUtime=942.13 cores=0,2,4,6
/proc/7640/stat : 7640 (bsolo3.0.17) R 7638 7640 7079 0 -1 4202496 1942525 0 0 0 93810 403 0 0 20 0 1 0 334392770 49516544 11427 33554432000 134512640 135840783 4294131632 4294129860 7721314 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7640/statm: 12089 11427 429 325 0 11025 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 48356

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 7650
/proc/meminfo: memFree=28379728/32873844 swapFree=7380/7380
[pid=7640] ppid=7638 vsize=48364 CPUtime=1002.12 cores=0,2,4,6
/proc/7640/stat : 7640 (bsolo3.0.17) R 7638 7640 7079 0 -1 4202496 1942527 0 0 0 99809 403 0 0 20 0 1 0 334392770 49524736 11429 33554432000 134512640 135840783 4294131632 4294130944 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7640/statm: 12091 11429 429 325 0 11027 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 48364

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 7652
/proc/meminfo: memFree=28374132/32873844 swapFree=7380/7380
[pid=7640] ppid=7638 vsize=54076 CPUtime=1062.11 cores=0,2,4,6
/proc/7640/stat : 7640 (bsolo3.0.17) R 7638 7640 7079 0 -1 4202496 2481782 0 0 0 105694 517 0 0 20 0 1 0 334392770 55373824 12670 33554432000 134512640 135840783 4294131632 4294128432 135267334 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7640/statm: 13519 12670 429 325 0 12455 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 54076

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 7653
/proc/meminfo: memFree=28374140/32873844 swapFree=7380/7380
[pid=7640] ppid=7638 vsize=53860 CPUtime=1122.1 cores=0,2,4,6
/proc/7640/stat : 7640 (bsolo3.0.17) R 7638 7640 7079 0 -1 4202496 3280987 0 0 0 111507 703 0 0 20 0 1 0 334392770 55152640 12659 33554432000 134512640 135840783 4294131632 4294129804 135313361 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7640/statm: 13465 12660 429 325 0 12401 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 53860

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 7653
/proc/meminfo: memFree=28374388/32873844 swapFree=7380/7380
[pid=7640] ppid=7638 vsize=53676 CPUtime=1182.09 cores=0,2,4,6
/proc/7640/stat : 7640 (bsolo3.0.17) R 7638 7640 7079 0 -1 4202496 3394896 0 0 0 117475 734 0 0 20 0 1 0 334392770 54964224 12687 33554432000 134512640 135840783 4294131632 4294130048 134707833 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7640/statm: 13419 12687 429 325 0 12355 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 53676

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 7653
/proc/meminfo: memFree=28373644/32873844 swapFree=7380/7380
[pid=7640] ppid=7638 vsize=53676 CPUtime=1242.08 cores=0,2,4,6
/proc/7640/stat : 7640 (bsolo3.0.17) R 7638 7640 7079 0 -1 4202496 3394898 0 0 0 123474 734 0 0 20 0 1 0 334392770 54964224 12689 33554432000 134512640 135840783 4294131632 4294129856 5359912 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7640/statm: 13419 12689 429 325 0 12355 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 53676

[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/179 7653
/proc/meminfo: memFree=28370728/32873844 swapFree=7380/7380
[pid=7640] ppid=7638 vsize=53676 CPUtime=1302.08 cores=0,2,4,6
/proc/7640/stat : 7640 (bsolo3.0.17) R 7638 7640 7079 0 -1 4202496 3394898 0 0 0 129474 734 0 0 20 0 1 0 334392770 54964224 12689 33554432000 134512640 135840783 4294131632 4294130320 134801064 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7640/statm: 13419 12689 429 325 0 12355 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 53676

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/180 7656
/proc/meminfo: memFree=28361292/32873844 swapFree=7380/7380
[pid=7640] ppid=7638 vsize=53676 CPUtime=1362.06 cores=0,2,4,6
/proc/7640/stat : 7640 (bsolo3.0.17) R 7638 7640 7079 0 -1 4202496 3394900 0 0 0 135472 734 0 0 20 0 1 0 334392770 54964224 12689 33554432000 134512640 135840783 4294131632 4294128656 134689055 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7640/statm: 13419 12689 429 325 0 12355 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 53676

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 7657
/proc/meminfo: memFree=28349892/32873844 swapFree=7380/7380
[pid=7640] ppid=7638 vsize=53676 CPUtime=1422.06 cores=0,2,4,6
/proc/7640/stat : 7640 (bsolo3.0.17) R 7638 7640 7079 0 -1 4202496 3394900 0 0 0 141472 734 0 0 20 0 1 0 334392770 54964224 12689 33554432000 134512640 135840783 4294131632 4294131056 134546112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7640/statm: 13419 12689 429 325 0 12355 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 53676

[startup+1482.3 s]
/proc/loadavg: 1.93 1.98 1.93 3/179 7696
/proc/meminfo: memFree=28784588/32873844 swapFree=7380/7380
[pid=7640] ppid=7638 vsize=53676 CPUtime=1482.04 cores=0,2,4,6
/proc/7640/stat : 7640 (bsolo3.0.17) R 7638 7640 7079 0 -1 4202496 3394900 0 0 0 147470 734 0 0 20 0 1 0 334392770 54964224 12689 33554432000 134512640 135840783 4294131632 4294128432 135267290 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7640/statm: 13419 12689 429 325 0 12355 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 53676

[startup+1542.3 s]
/proc/loadavg: 1.97 1.98 1.93 3/179 7696
/proc/meminfo: memFree=28263336/32873844 swapFree=7380/7380
[pid=7640] ppid=7638 vsize=53692 CPUtime=1542.04 cores=0,2,4,6
/proc/7640/stat : 7640 (bsolo3.0.17) R 7638 7640 7079 0 -1 4202496 3394904 0 0 0 153470 734 0 0 20 0 1 0 334392770 54980608 12693 33554432000 134512640 135840783 4294131632 4294129804 7755905 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7640/statm: 13423 12693 429 325 0 12359 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 53692

[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 7696
/proc/meminfo: memFree=28025656/32873844 swapFree=7380/7380
[pid=7640] ppid=7638 vsize=53692 CPUtime=1602.03 cores=0,2,4,6
/proc/7640/stat : 7640 (bsolo3.0.17) R 7638 7640 7079 0 -1 4202496 3394904 0 0 0 159469 734 0 0 20 0 1 0 334392770 54980608 12693 33554432000 134512640 135840783 4294131632 4294128400 135279516 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7640/statm: 13423 12693 429 325 0 12359 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 53692

[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 7696
/proc/meminfo: memFree=27892012/32873844 swapFree=7380/7380
[pid=7640] ppid=7638 vsize=53692 CPUtime=1662.02 cores=0,2,4,6
/proc/7640/stat : 7640 (bsolo3.0.17) R 7638 7640 7079 0 -1 4202496 3394904 0 0 0 165468 734 0 0 20 0 1 0 334392770 54980608 12693 33554432000 134512640 135840783 4294131632 4294130240 134688396 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7640/statm: 13423 12693 429 325 0 12359 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 53692

[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 7697
/proc/meminfo: memFree=27716456/32873844 swapFree=7380/7380
[pid=7640] ppid=7638 vsize=53692 CPUtime=1722.01 cores=0,2,4,6
/proc/7640/stat : 7640 (bsolo3.0.17) R 7638 7640 7079 0 -1 4202496 3394904 0 0 0 171467 734 0 0 20 0 1 0 334392770 54980608 12693 33554432000 134512640 135840783 4294131632 4294130048 134705549 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7640/statm: 13423 12693 429 325 0 12359 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 53692

[startup+1782.3 s]
/proc/loadavg: 2.03 2.00 1.94 3/179 7697
/proc/meminfo: memFree=27472080/32873844 swapFree=7380/7380
[pid=7640] ppid=7638 vsize=61520 CPUtime=1782 cores=0,2,4,6
/proc/7640/stat : 7640 (bsolo3.0.17) R 7638 7640 7079 0 -1 4202496 3902362 0 0 0 177368 832 0 0 20 0 1 0 334392770 62996480 14734 33554432000 134512640 135840783 4294131632 4294130288 15610928 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7640/statm: 15380 14734 429 325 0 14316 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 61520



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.02 2.00 1.94 3/179 7697
/proc/meminfo: memFree=27360820/32873844 swapFree=7380/7380
[pid=7640] ppid=7638 vsize=64300 CPUtime=1800 cores=0,2,4,6
/proc/7640/stat : 7640 (bsolo3.0.17) R 7638 7640 7079 0 -1 4202496 4153413 0 0 0 179116 884 0 0 20 0 1 0 334392770 65843200 15364 33554432000 134512640 135840783 4294131632 4294130208 134689053 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7640/statm: 16075 15364 429 325 0 15011 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 64300

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

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

[startup+1800.3 s]
/proc/loadavg: 2.02 2.00 1.94 3/179 7697
/proc/meminfo: memFree=27360820/32873844 swapFree=7380/7380
[pid=7640] ppid=7638 vsize=64300 CPUtime=1800 cores=0,2,4,6
/proc/7640/stat : 7640 (bsolo3.0.17) R 7638 7640 7079 0 -1 4202496 4153413 0 0 0 179116 884 0 0 20 0 1 0 334392770 65843200 15364 33554432000 134512640 135840783 4294131632 4294130208 134689053 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7640/statm: 16075 15364 429 325 0 15011 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 64300

Child status: 15
Real time (s): 1800.31
CPU time (s): 1800.01
CPU user time (s): 1791.17
CPU system time (s): 8.84466
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 64300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.17
system time used= 8.84465
maximum resident set size= 61460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4153416
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= 31
involuntary context switches= 2030

runsolver used 3.03054 second user time and 8.65468 second system time

The end

Launcher Data 

Begin job on node133 at 2012-06-03 02:18:00
IDJOB=3731075
IDBENCH=1848
IDSOLVER=2318
FILE ID=node133/3731075-1338682680
RUNJOBID= node133-1338678627-7098
PBS_JOBID= 14636680
Free space on /tmp= 70476 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos5.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3731075-1338682680/watcher-3731075-1338682680 -o /tmp/evaluation-result-3731075-1338682680/solver-3731075-1338682680 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3731075-1338682680.opb            

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

MD5SUM BENCH= 687e90f40c46b53feec9c54ee9b43fa6
RANDOM SEED=1188927969

node133.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.540
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	: 5333.08
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.540
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.92
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.540
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	: 5331.92
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.540
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.540
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.540
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	: 5331.90
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.540
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.540
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:       32873844 kB
MemFree:        28560316 kB
Buffers:          368792 kB
Cached:          2718112 kB
SwapCached:          676 kB
Active:          1699488 kB
Inactive:        1741300 kB
Active(anon):     345064 kB
Inactive(anon):    10240 kB
Active(file):    1354424 kB
Inactive(file):  1731060 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108856 kB
SwapFree:       67107040 kB
Dirty:              6320 kB
Writeback:             0 kB
AnonPages:        347680 kB
Mapped:            11688 kB
Shmem:                 0 kB
Slab:             733080 kB
SReclaimable:     174908 kB
SUnreclaim:       558172 kB
KernelStack:        1488 kB
PageTables:         4460 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     467964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70472 MiB
End job on node133 at 2012-06-03 02:48:02