Trace number 455466

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.17SAT (TO)-14 1800.08 1800.54

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_10_5.opb
MD5SUMae2bd1e13f1871c16ad2ebb51fc6f92a
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-29
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -29
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2504
Sum of products size (including duplicates)5008
Number of different products1252
Sum of products size2504

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/455466-1178043992/instance-455466-1178043992.opb
0.00/0.00	c File size is 36113 bytes.
0.00/0.01	c Highest Coefficient sum: 200
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.014 s
0.00/0.02	c Var: 2704 Constr: 5310 2604/202/2504 Lit: 18128 Watch. Lit: 15426
0.00/0.02	c Obj. Vars: 100 (3.69822 % of total variables)
0.89/0.97	c Pre-processing Time: 0.973 s
0.89/0.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.97	c        0   2704     5310    18128    3    15426   27834      0      0 0.97
0.89/0.97	c Switching off LPR mode.
0.89/0.97	o -1	0.975
0.89/0.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.98	c        0   2704     5311    18228    3    15429   27901      1      0 0.98
0.89/0.98	o -2	0.977
0.89/0.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.98	c        0   2704     5312    18328    3    15433   28001      2      0 0.98
0.89/0.98	o -3	0.979
0.89/0.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.98	c        0   2704     5313    18428    3    15438   28134      3      0 0.98
0.89/0.98	o -4	0.981
0.89/0.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.98	c        0   2704     5314    18528    3    15444   28301      4      0 0.98
0.89/0.98	o -5	0.983
0.89/0.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.99	c        0   2704     5315    18628    3    15451   28501      5      0 0.98
0.89/0.99	o -6	0.986
0.99/1.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.05	c        4   2704     5320    19183    3    15467   28534     10      4 0.99
0.99/1.05	c      104   2704     5420    31552    5    15667   31388    110    102 1.02
0.99/1.05	o -7	1.053
1.79/1.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.89	c      323   2704     5640    61174   10    16114   28568    330    306 1.05
1.79/1.89	c      423   2704     5740    75006   13    16314   31425    430    385 1.10
1.79/1.89	c      673   2704     5990   110249   18    16814   34568    680    568 1.18
1.79/1.89	c     1148   2704     6465   169548   26    17764   38025   1155    888 1.29
1.79/1.89	c     1961   2704     7278   281452   38    19390   41828   1968   1303 1.50
1.79/1.89	o -8	1.885
121.35/121.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
121.35/121.45	c     3212   2704     8530   483588   56    21902   28601   3220   1702 1.89
121.35/121.45	c     3312   2704     8630   493601   57    22102   31462   3320   1736 1.91
121.35/121.45	c     3562   2704     8880   518646   58    22602   34609   3570   1826 1.95
121.35/121.45	c     4037   2704     9355   566286   60    23552   38070   4045   1984 2.03
121.35/121.45	c     4850   2704    10168   649587   63    25178   41878   4858   2228 2.18
121.35/121.45	c     6170   2704    11488   787931   68    27818   46066   6178   2559 2.41
121.35/121.45	c     8251   2704    13569   999141   73    31980   50673   8259   2952 2.79
121.35/121.45	c    11474   2704    16792  1352933   80    38426   55741  11482   3121 3.68
121.35/121.45	c    16410   2704    21728  1951471   89    48298   61316  16418   2694 6.09
121.35/121.45	c    23916   2704    29234  2918326   99    63310   67448  23924   2073 11.54
121.35/121.45	c    35277   2704    40595  4582154  112    86032   74193  35285   1549 22.77
121.35/121.45	c    52421   2704    57739  7211257  124   120320   81613  52429   1066 49.13
121.35/121.45	c    78240   2704    83558 10933270  130   171958   89775  78248    727 107.59
121.35/121.45	o -9	121.409
201.63/201.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
201.63/201.79	c    83762   2704    89081 11665057  130   183013   28634  83771    689 121.41
201.63/201.79	c    83862   2704    17551  1756375  100    39917   31498  12241    520 161.01
201.63/201.79	c    84112   2704    17801  1787342  100    40417   34648  12491    521 161.31
201.63/201.79	c    84587   2704    18276  1850058  101    41367   38113  12966    522 161.77
201.63/201.79	c    85400   2704    19089  1957526  102    42993   41925  13779    525 162.37
201.63/201.79	c    86720   2704    20409  2131763  104    45633   46118  15099    531 163.14
201.63/201.79	c    88801   2704    22490  2386082  106    49795   50730  17180    537 165.10
201.63/201.79	c    92025   2704    25714  2804968  109    56243   55804  20404    548 167.84
201.63/201.79	c    96961   2704    30650  3428770  111    66115   61385  25340    564 171.85
201.63/201.79	c   104467   2704    38156  4401965  115    81127   67524  32846    579 180.19
201.63/201.79	c   115829   2704    49518  6031645  121   103851   74277  44208    597 193.97
201.63/201.79	o -10	201.734
389.78/389.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
389.78/389.95	c   120432   2704    54122  6654426  122   113069   28201  48812    596 201.74
389.78/389.95	c   120532   2704    17011  1711548  100    38838   31022  11701    575 209.49
389.78/389.95	c   120782   2704    17261  1736824  100    39338   34125  11951    576 209.63
389.78/389.95	c   121257   2704    17736  1789695  100    40288   37538  12426    577 209.94
389.78/389.95	c   122070   2704    18549  1890643  101    41914   41292  13239    579 210.59
389.78/389.95	c   123390   2704    19869  2056333  103    44554   45422  14559    583 211.52
389.78/389.95	c   125471   2704    21950  2320006  105    48716   49965  16640    589 212.99
389.78/389.95	c   128694   2704    25173  2705893  107    55162   54962  19863    598 215.09
389.78/389.95	c   133630   2704    30109  3241851  107    65034   60459  24799    612 218.05
389.78/389.95	c   141136   2704    37615  4072239  108    80046   66505  32305    632 223.24
389.78/389.95	c   152497   2704    48976  5489497  112   102768   73156  43666    656 232.46
389.78/389.95	c   169641   2704    66120  7566672  114   137056   80472  60810    669 253.44
389.78/389.95	c   195460   2704    21022  2375594  113    46860   88520  15712    620 315.20
389.78/389.95	c   234292   2704    59854  7400945  123   124524   97373  54544    646 362.32
389.78/389.95	o -11	389.843
451.77/451.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
451.77/451.98	c   257172   2704    82735 10159315  122   170297   28234  77425    659 389.85
451.77/451.98	c   257272   2704    17460  1477659   84    39737   31058  12150    574 448.03
451.77/451.98	c   257522   2704    17710  1509028   85    40237   34164  12400    574 448.17
451.77/451.98	c   257997   2704    18185  1578183   86    41187   37581  12875    575 448.45
451.77/451.98	c   258810   2704    18998  1677356   88    42813   41340  13688    576 449.02
451.77/451.98	c   260130   2704    20318  1838926   90    45453   45475  15008    578 449.74
451.77/451.98	c   262211   2704    22399  2077845   92    49615   50023  17089    581 451.02
451.77/451.98	o -12	451.865
1108.40/1108.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1108.40/1108.73	c   264635   2704    24824  2347663   94    54477   28268  19514    585 451.87
1108.40/1108.73	c   264735   2704    24924  2359315   94    54677   31095  19614    585 451.95
1108.40/1108.73	c   264985   2704    25174  2387872   94    55177   34205  19864    586 452.13
1108.40/1108.73	c   265460   2704    25649  2442071   95    56127   37626  20339    586 452.41
1108.40/1108.73	c   266273   2704    26462  2545092   96    57753   41389  21152    587 452.85
1108.40/1108.73	c   267593   2704    27782  2691619   96    60393   45528  22472    589 453.59
1108.40/1108.73	c   269674   2704    29863  2935835   98    64555   50081  24553    592 454.90
1108.40/1108.73	c   272897   2704    33086  3277462   99    71001   55090  27776    597 456.59
1108.40/1108.73	c   277833   2704    38022  3837757  100    80873   60600  32712    603 460.38
1108.40/1108.73	c   285339   2704    45528  4739937  104    95885   66661  40218    608 469.13
1108.40/1108.73	c   296700   2704    56889  6091961  107   118607   73328  51579    620 478.10
1108.40/1108.73	c   313844   2704    74033  8267364  111   152895   80661  68723    628 499.28
1108.40/1108.73	c   339663   2704    28756  2820146   98    62330   88728  23446    601 564.82
1108.40/1108.73	c   378495   2704    67588  7457821  110   139994   97601  62278    624 605.98
1108.40/1108.73	c   436847   2704    38099  3629957   95    81016  107362  32789    538 811.66
1108.40/1108.73	c   524479   2704    28464  2814986   98    61746  118099  23154    495 1058.25
1108.40/1108.73	o -13	1108.45
1164.29/1164.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1164.29/1164.63	c   569821   2704    73807  8042951  108   152445   28301  68497    514 1108.45
1164.29/1164.63	c   569921   2704    17393  1531263   88    39605   31132  12083    495 1151.33
1164.29/1164.63	c   570172   2704    17644  1564085   88    40107   34246  12334    495 1151.50
1164.29/1164.63	c   570647   2704    18119  1628549   89    41057   37671  12809    495 1151.73
1164.29/1164.63	c   571460   2704    18932  1713101   90    42683   41439  13622    496 1152.11
1164.29/1164.63	c   572780   2704    20252  1850778   91    45323   45583  14942    496 1152.71
1164.29/1164.63	c   574861   2704    22333  2080100   93    49485   50142  17023    498 1154.11
1164.29/1164.63	c   578084   2704    25556  2433238   95    55931   55157  20246    500 1155.90
1164.29/1164.63	c   583020   2704    30492  2936897   96    65803   60673  25182    503 1158.19
1164.29/1164.63	c   590526   2704    37998  3778354   99    80815   66741  32688    507 1163.85
1164.29/1164.63	o -14	1164.34
1800.05/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.05/1800.50	c   591081   2704    38554  3844213   99    81941   28334  33244    507 1164.34
1800.05/1800.50	c   591181   2704    16627  1253997   75    38074   31168  11317    505 1170.03
1800.05/1800.50	c   591431   2704    16877  1280315   75    38574   34285  11567    505 1170.14
1800.05/1800.50	c   591906   2704    17352  1330561   76    39524   37714  12042    505 1170.35
1800.05/1800.50	c   592719   2704    18165  1418213   78    41150   41486  12855    506 1170.70
1800.05/1800.50	c   594039   2704    19485  1559056   80    43790   45635  14175    507 1171.21
1800.05/1800.50	c   596120   2704    21566  1771786   82    47952   50199  16256    508 1171.89
1800.05/1800.50	c   599343   2704    24789  2113242   85    54398   55219  19479    510 1173.14
1800.05/1800.50	c   604279   2704    29725  2668940   89    64270   60741  24415    514 1175.38
1800.05/1800.50	c   611785   2704    37231  3448120   92    79282   66816  31921    519 1178.40
1800.05/1800.50	c   623146   2704    48592  4615558   94   102004   73498  43282    526 1183.78
1800.05/1800.50	c   640290   2704    65736  6431500   97   136292   80848  60426    534 1196.88
1800.05/1800.50	c   666109   2704    20408  1760644   86    45636   88933  15098    530 1256.72
1800.05/1800.50	c   704941   2704    59240  6048934  102   123300   97827  53930    548 1285.72
1800.05/1800.50	c   763293   2704    29556  2780475   94    63932  107610  24246    513 1487.51
1800.05/1800.50	c   850925   2704    19458  1730427   88    43736  118372  14148    495 1715.85
1800.05/1800.50	c Caught signal: 15
1800.05/1800.50	v x1 -x2 -x3 -x4 x5 -x6 -x7 x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29
1800.05/1800.50	v -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 x54 -x55
1800.05/1800.50	v -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
1800.05/1800.50	v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 x98 -x99 x100 -x176 -x166 -x111 -x173 -x177 -x133
1800.05/1800.50	v -x121 -x150 -x174 -x182 -x112 -x123 -x132 -x149 -x152 -x155 -x167 -x189 -x101 x127 -x161 -x199 x129 -x187 x115 -x106 -x105
1800.05/1800.50	v -x110 -x114 x135 -x171 -x102 -x180 -x184 -x153 -x168 -x147 -x128 x185 -x137 -x141 -x146 -x178 -x194 -x103 -x109 -x200 -x162
1800.05/1800.50	v -x172 -x154 -x138 -x108 -x140 -x179 -x193 -x104 -x136 -x124 -x116 -x186 x190 -x143 -x117 -x134 x169 -x151 -x191 -x145 -x188
1800.05/1800.50	v x118 -x181 -x107 -x175 -x164 -x120 -x142 -x144 -x195 x192 -x159 -x119 -x125 -x126 x130 -x158 x163 x113 -x170 -x197 -x198 -x122
1800.05/1800.50	v x165 -x196 -x156 -x131 -x183 x157 -x160 -x139 -x148
1800.05/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.05/1800.50	c   99   917286    154   940658    85819 10518486  80509    509 1800.05
1800.05/1800.50	c Objective: -14
1800.05/1800.50	s SATISFIABLE
1800.05/1800.50	c Total time: 1800.05 s

Verifier Data (download as text)

OK	-14

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node14/watcher-455466-1178043992 -o ROOT/results/node14/solver-455466-1178043992 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455466-1178043992/instance-455466-1178043992.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 19328
/proc/meminfo: memFree=1843184/2055920 swapFree=4148768/4192956
[pid=19328] ppid=19326 vsize=3960 CPUtime=0
/proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 376 0 0 0 0 0 0 0 18 0 1 0 252317000 4055040 346 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19328/statm: 990 347 289 324 0 51 0

[startup+0.106059 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 19328
/proc/meminfo: memFree=1843184/2055920 swapFree=4148768/4192956
[pid=19328] ppid=19326 vsize=5308 CPUtime=0.1
/proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 739 0 0 0 10 0 0 0 18 0 1 0 252317000 5435392 700 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19328/statm: 1327 700 304 324 0 397 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5308

[startup+0.201066 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 19328
/proc/meminfo: memFree=1843184/2055920 swapFree=4148768/4192956
[pid=19328] ppid=19326 vsize=5308 CPUtime=0.19
/proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 739 0 0 0 19 0 0 0 18 0 1 0 252317000 5435392 700 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19328/statm: 1327 700 304 324 0 397 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5308

[startup+0.301076 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 19328
/proc/meminfo: memFree=1843184/2055920 swapFree=4148768/4192956
[pid=19328] ppid=19326 vsize=5308 CPUtime=0.29
/proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 739 0 0 0 29 0 0 0 19 0 1 0 252317000 5435392 700 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19328/statm: 1327 700 304 324 0 397 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5308

[startup+0.701113 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 19328
/proc/meminfo: memFree=1843184/2055920 swapFree=4148768/4192956
[pid=19328] ppid=19326 vsize=5308 CPUtime=0.69
/proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 739 0 0 0 69 0 0 0 23 0 1 0 252317000 5435392 700 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19328/statm: 1327 700 304 324 0 397 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5308

[startup+1.50119 s]
/proc/loadavg: 0.78 0.95 0.98 2/78 19329
/proc/meminfo: memFree=1840744/2055920 swapFree=4148768/4192956
[pid=19328] ppid=19326 vsize=9024 CPUtime=1.48
/proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 1703 0 0 0 148 0 0 0 25 0 1 0 252317000 9240576 1617 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19328/statm: 2256 1618 311 324 0 1326 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9024

[startup+3.10134 s]
/proc/loadavg: 0.78 0.95 0.98 2/78 19329
/proc/meminfo: memFree=1832616/2055920 swapFree=4148768/4192956
[pid=19328] ppid=19326 vsize=20388 CPUtime=3.08
/proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 4570 0 0 0 306 2 0 0 25 0 1 0 252317000 20877312 4484 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19328/statm: 5097 4484 311 324 0 4167 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 20388

[startup+6.30164 s]
/proc/loadavg: 0.80 0.95 0.98 2/78 19329
/proc/meminfo: memFree=1816360/2055920 swapFree=4148768/4192956
[pid=19328] ppid=19326 vsize=32356 CPUtime=6.29
/proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 7546 0 0 0 625 4 0 0 25 0 1 0 252317000 33132544 7460 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550942 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19328/statm: 8089 7460 311 324 0 7159 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32356

[startup+12.7012 s]
/proc/loadavg: 0.81 0.95 0.98 2/78 19329
/proc/meminfo: memFree=1800624/2055920 swapFree=4148768/4192956
[pid=19328] ppid=19326 vsize=47068 CPUtime=12.68
/proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 11233 0 0 0 1262 6 0 0 25 0 1 0 252317000 48197632 11147 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19328/statm: 11767 11147 311 324 0 10837 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 47068

[startup+25.5015 s]
/proc/loadavg: 0.85 0.95 0.98 2/78 19329
/proc/meminfo: memFree=1774448/2055920 swapFree=4148768/4192956
[pid=19328] ppid=19326 vsize=72460 CPUtime=25.48
/proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 17581 0 0 0 2537 11 0 0 25 0 1 0 252317000 74199040 17495 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572383 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19328/statm: 18115 17495 311 324 0 17185 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 72460

[startup+51.1019 s]
/proc/loadavg: 0.90 0.96 0.98 2/78 19329
/proc/meminfo: memFree=1742384/2055920 swapFree=4148768/4192956
[pid=19328] ppid=19326 vsize=104688 CPUtime=51.07
/proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 25649 0 0 0 5090 17 0 0 25 0 1 0 252317000 107200512 25563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19328/statm: 26172 25563 311 324 0 25242 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 104688

[startup+102.302 s]
/proc/loadavg: 0.96 0.96 0.98 2/78 19329
/proc/meminfo: memFree=1697840/2055920 swapFree=4148768/4192956
[pid=19328] ppid=19326 vsize=148608 CPUtime=102.26
/proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 36606 0 0 0 10197 29 0 0 25 0 1 0 252317000 152174592 36520 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19328/statm: 37152 36520 311 324 0 36222 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 148608

[startup+162.301 s]
/proc/loadavg: 0.98 0.97 0.98 2/78 19329
/proc/meminfo: memFree=1683312/2055920 swapFree=4148768/4192956
[pid=19328] ppid=19326 vsize=162924 CPUtime=162.24
/proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 40264 0 0 0 16191 33 0 0 25 0 1 0 252317000 166834176 40096 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19328/statm: 40731 40096 311 324 0 39801 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 162924

[startup+222.305 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 19329
/proc/meminfo: memFree=1683312/2055920 swapFree=4148768/4192956
[pid=19328] ppid=19326 vsize=162924 CPUtime=222.23
/proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 40312 0 0 0 22189 34 0 0 25 0 1 0 252317000 166834176 40096 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551203 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19328/statm: 40731 40096 311 324 0 39801 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 162924

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 19329
/proc/meminfo: memFree=1683312/2055920 swapFree=4148768/4192956
[pid=19328] ppid=19326 vsize=162924 CPUtime=282.21
/proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 40312 0 0 0 28187 34 0 0 25 0 1 0 252317000 166834176 40096 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19328/statm: 40731 40096 311 324 0 39801 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 162924

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 19329
/proc/meminfo: memFree=1683320/2055920 swapFree=4148768/4192956
[pid=19328] ppid=19326 vsize=162924 CPUtime=342.2
/proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 40312 0 0 0 34185 35 0 0 25 0 1 0 252317000 166834176 40096 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7361427 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19328/statm: 40731 40096 311 324 0 39801 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 162924

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 19329
/proc/meminfo: memFree=1683320/2055920 swapFree=4148768/4192956
[pid=19328] ppid=19326 vsize=162924 CPUtime=402.18
/proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 40312 0 0 0 40183 35 0 0 25 0 1 0 252317000 166834176 40096 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19328/statm: 40731 40096 311 324 0 39801 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 162924

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 19329
/proc/meminfo: memFree=1683320/2055920 swapFree=4148768/4192956
[pid=19328] ppid=19326 vsize=162924 CPUtime=462.17
/proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 40312 0 0 0 46181 36 0 0 25 0 1 0 252317000 166834176 40096 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7368334 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19328/statm: 40731 40096 311 324 0 39801 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 162924

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 19329
/proc/meminfo: memFree=1683320/2055920 swapFree=4148768/4192956
[pid=19328] ppid=19326 vsize=162924 CPUtime=522.15
/proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 40312 0 0 0 52179 36 0 0 25 0 1 0 252317000 166834176 40096 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19328/statm: 40731 40096 311 324 0 39801 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 162924

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 19329
/proc/meminfo: memFree=1683320/2055920 swapFree=4148768/4192956
[pid=19328] ppid=19326 vsize=162916 CPUtime=582.14
/proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 40312 0 0 0 58177 37 0 0 25 0 1 0 252317000 166825984 40096 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19328/statm: 40729 40096 311 324 0 39799 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 162916

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 19329
/proc/meminfo: memFree=1683320/2055920 swapFree=4148768/4192956
[pid=19328] ppid=19326 vsize=162916 CPUtime=642.12
/proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 40312 0 0 0 64175 37 0 0 25 0 1 0 252317000 166825984 40096 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19328/statm: 40729 40096 311 324 0 39799 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 162916


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 19331
/proc/meminfo: memFree=1675192/2055920 swapFree=4148768/4192956
[pid=19328] ppid=19326 vsize=170828 CPUtime=822.08
/proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 42382 0 0 0 82167 41 0 0 25 0 1 0 252317000 174927872 42068 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19328/statm: 42707 42068 311 324 0 41777 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 170828

[startup+882.305 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 19331
/proc/meminfo: memFree=1675192/2055920 swapFree=4148768/4192956
[pid=19328] ppid=19326 vsize=170828 CPUtime=882.07
/proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 42382 0 0 0 88166 41 0 0 25 0 1 0 252317000 174927872 42068 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19328/statm: 42707 42068 311 324 0 41777 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 170828

[startup+942.301 s]
/proc/loadavg: 1.05 0.99 0.99 2/78 19331
/proc/meminfo: memFree=1665720/2055920 swapFree=4148768/4192956
[pid=19328] ppid=19326 vsize=180128 CPUtime=942.05
/proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 44823 0 0 0 94161 44 0 0 25 0 1 0 252317000 184451072 44401 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19328/statm: 45032 44401 311 324 0 44102 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 180128

[startup+1002.3 s]
/proc/loadavg: 1.02 0.99 0.99 2/78 19331
/proc/meminfo: memFree=1665720/2055920 swapFree=4148768/4192956
[pid=19328] ppid=19326 vsize=180128 CPUtime=1002.04
/proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 44823 0 0 0 100159 45 0 0 25 0 1 0 252317000 184451072 44401 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19328/statm: 45032 44401 311 324 0 44102 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 180128

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 19331
/proc/meminfo: memFree=1665720/2055920 swapFree=4148768/4192956
[pid=19328] ppid=19326 vsize=180128 CPUtime=1062.02
/proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 44823 0 0 0 106157 45 0 0 25 0 1 0 252317000 184451072 44401 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19328/statm: 45032 44401 311 324 0 44102 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 180128

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 19331
/proc/meminfo: memFree=1665720/2055920 swapFree=4148768/4192956
[pid=19328] ppid=19326 vsize=180128 CPUtime=1122.01
/proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 44890 0 0 0 112155 46 0 0 25 0 1 0 252317000 184451072 44401 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19328/statm: 45032 44401 311 324 0 44102 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 180128

[startup+1182.3 s]
/proc/loadavg: 1.11 1.02 1.00 2/78 19331
/proc/meminfo: memFree=1665720/2055920 swapFree=4148768/4192956
[pid=19328] ppid=19326 vsize=180092 CPUtime=1181.99
/proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 44890 0 0 0 118153 46 0 0 25 0 1 0 252317000 184414208 44401 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19328/statm: 45023 44401 311 324 0 44093 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 180092

[startup+1242.3 s]
/proc/loadavg: 1.11 1.03 1.00 2/78 19331
/proc/meminfo: memFree=1665720/2055920 swapFree=4148768/4192956
[pid=19328] ppid=19326 vsize=180092 CPUtime=1241.97
/proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 44890 0 0 0 124151 46 0 0 25 0 1 0 252317000 184414208 44401 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19328/statm: 45023 44401 311 324 0 44093 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 180092

[startup+1302.3 s]
/proc/loadavg: 1.04 1.02 1.00 2/78 19331
/proc/meminfo: memFree=1665720/2055920 swapFree=4148768/4192956
[pid=19328] ppid=19326 vsize=180092 CPUtime=1301.96
/proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 44890 0 0 0 130149 47 0 0 25 0 1 0 252317000 184414208 44401 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19328/statm: 45023 44401 311 324 0 44093 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 180092

[startup+1362.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 19331
/proc/meminfo: memFree=1665720/2055920 swapFree=4148768/4192956
[pid=19328] ppid=19326 vsize=180092 CPUtime=1361.94
/proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 44890 0 0 0 136147 47 0 0 25 0 1 0 252317000 184414208 44401 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19328/statm: 45023 44401 311 324 0 44093 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 180092

[startup+1422.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 19331
/proc/meminfo: memFree=1665720/2055920 swapFree=4148768/4192956
[pid=19328] ppid=19326 vsize=180092 CPUtime=1421.94
/proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 44890 0 0 0 142146 48 0 0 25 0 1 0 252317000 184414208 44401 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19328/statm: 45023 44401 311 324 0 44093 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 180092

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 19331
/proc/meminfo: memFree=1665720/2055920 swapFree=4148768/4192956
[pid=19328] ppid=19326 vsize=180092 CPUtime=1481.91
/proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 44890 0 0 0 148143 48 0 0 25 0 1 0 252317000 184414208 44401 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7373624 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19328/statm: 45023 44401 311 324 0 44093 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 180092

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 19331
/proc/meminfo: memFree=1665720/2055920 swapFree=4148768/4192956
[pid=19328] ppid=19326 vsize=180092 CPUtime=1541.91
/proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 44890 0 0 0 154142 49 0 0 25 0 1 0 252317000 184414208 44401 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571991 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19328/statm: 45023 44401 311 324 0 44093 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 180092

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 19331
/proc/meminfo: memFree=1665720/2055920 swapFree=4148768/4192956
[pid=19328] ppid=19326 vsize=180072 CPUtime=1601.89
/proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 44890 0 0 0 160140 49 0 0 25 0 1 0 252317000 184393728 44401 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19328/statm: 45018 44401 311 324 0 44088 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 180072

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 19331
/proc/meminfo: memFree=1661112/2055920 swapFree=4148768/4192956
[pid=19328] ppid=19326 vsize=184584 CPUtime=1661.88
/proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 46112 0 0 0 166137 51 0 0 25 0 1 0 252317000 189014016 45515 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19328/statm: 46146 45515 311 324 0 45216 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 184584

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 19331
/proc/meminfo: memFree=1661112/2055920 swapFree=4148768/4192956
[pid=19328] ppid=19326 vsize=184584 CPUtime=1721.86
/proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 46112 0 0 0 172135 51 0 0 25 0 1 0 252317000 189014016 45515 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551400 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19328/statm: 46146 45515 311 324 0 45216 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 184584

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 19331
/proc/meminfo: memFree=1661048/2055920 swapFree=4148768/4192956
[pid=19328] ppid=19326 vsize=184584 CPUtime=1781.84
/proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 46112 0 0 0 178133 51 0 0 25 0 1 0 252317000 189014016 45515 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19328/statm: 46146 45515 311 324 0 45216 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 184584



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 19331
/proc/meminfo: memFree=1661048/2055920 swapFree=4148768/4192956
[pid=19328] ppid=19326 vsize=184584 CPUtime=1800.05
/proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 46112 0 0 0 179953 52 0 0 25 0 1 0 252317000 189014016 45515 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19328/statm: 46146 45515 311 324 0 45216 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 184584

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.54
CPU time (s): 1800.08
CPU user time (s): 1799.53
CPU system time (s): 0.549916
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 185016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.549916
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46116
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 36367

runsolver used 1.36879 second user time and 3.98739 second system time

The end

Launcher Data (download as text)

Begin job on node14 on Tue May  1 18:26:32 UTC 2007

IDJOB= 455466
IDBENCH= 48265
IDSOLVER= 199
FILE ID= node14/455466-1178043992

PBS_JOBID= 4728455

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_5.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/455466-1178043992/instance-455466-1178043992.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-455466-1178043992 -o ROOT/results/node14/solver-455466-1178043992 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/455466-1178043992/instance-455466-1178043992.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  ae2bd1e13f1871c16ad2ebb51fc6f92a

RANDOM SEED= 765949592

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node14.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.227
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.227
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1843656 kB
Buffers:         49708 kB
Cached:          74536 kB
SwapCached:      11212 kB
Active:         103268 kB
Inactive:        45084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1843656 kB
SwapTotal:     4192956 kB
SwapFree:      4148768 kB
Dirty:            6808 kB
Writeback:           0 kB
Mapped:          29480 kB
Slab:            49440 kB
Committed_AS:  8573556 kB
PageTables:       1784 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node14 on Tue May  1 18:56:35 UTC 2007