Trace number 453780

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.16SAT (TO)41 1800.16 1800.77

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_25_4.opb
MD5SUM3feaf3974ec1ffdea6d6674c11d1a071
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark36
Best CPU time to get the best result obtained on this benchmark1800.18
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 36
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint26
Maximum length of a constraint50
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)15754
Sum of products size (including duplicates)31508
Number of different products15754
Sum of products size31508

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/453780-1178156503/instance-453780-1178156503.opb
0.00/0.00	c File size is 223821 bytes.
0.00/0.09	c Highest Coefficient sum: 500
0.00/0.09	c Parsing was ok!!
0.00/0.09	c Total parsing time: 0.09 s
0.09/0.11	c Var: 16254 Constr: 32008 16254/0/15754 Lit: 110778 Watch. Lit: 79770
0.09/0.11	c Obj. Vars: 500 (3.07617 % of total variables)
1.29/1.30	c Pre-processing Time: 1.303 s
1.29/1.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.30	c        0  16254    32008   110778    3    79770   99942      0      0 1.30
1.29/1.30	c Switching off LPR mode.
1.29/1.32	o 499	1.323
1.29/1.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.35	c        0  16254    32009   111278    3    79773  100275      1      0 1.33
1.29/1.35	o 498	1.351
1.29/1.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.38	c        0  16254    32010   111778    3    79777  100775      2      0 1.36
1.29/1.38	o 497	1.383
1.39/1.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.41	c        0  16254    32011   112278    3    79782  101442      3      0 1.39
1.39/1.41	o 496	1.415
1.39/1.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.45	c        0  16254    32012   112778    3    79788  102275      4      0 1.42
1.39/1.45	o 495	1.446
1.39/1.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.48	c        0  16254    32013   113278    3    79795  103275      5      0 1.46
1.39/1.48	o 494	1.476
1.49/1.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.51	c        0  16254    32014   113778    3    79803  104275      6      0 1.49
1.49/1.51	o 493	1.508
1.49/1.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.54	c        0  16254    32015   114278    3    79812  105275      7      0 1.52
1.49/1.54	o 492	1.539
1.49/1.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.57	c        0  16254    32016   114778    3    79822  106275      8      0 1.55
1.49/1.57	o 491	1.571
1.59/1.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.60	c        0  16254    32017   115278    3    79833  107275      9      0 1.58
1.59/1.60	o 490	1.601
1.59/1.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.63	c        0  16254    32018   115778    3    79845  108275     10      0 1.61
1.59/1.63	o 489	1.632
1.59/1.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.66	c        0  16254    32019   116278    3    79858  109275     11      0 1.64
1.59/1.66	o 488	1.662
1.59/1.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.69	c        0  16254    32020   116778    3    79872  110275     12      0 1.67
1.59/1.69	o 487	1.691
1.69/1.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.72	c        0  16254    32021   117278    3    79887  111275     13      0 1.70
1.69/1.72	o 486	1.723
1.69/1.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.75	c        0  16254    32022   117778    3    79903  112275     14      0 1.73
1.69/1.75	o 485	1.754
1.69/1.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.78	c        0  16254    32023   118278    3    79920  113275     15      0 1.76
1.69/1.78	o 484	1.785
1.79/1.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.82	c        0  16254    32024   118778    3    79938  114275     16      0 1.79
1.79/1.82	o 483	1.816
1.79/1.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.85	c        0  16254    32025   119278    3    79957  115275     17      0 1.82
1.79/1.85	o 482	1.847
1.79/1.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.88	c        0  16254    32026   119778    3    79977  116275     18      0 1.86
1.79/1.88	o 481	1.878
1.89/1.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.91	c        0  16254    32027   120278    3    79998  117275     19      0 1.89
1.89/1.91	o 480	1.91
1.89/1.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.94	c        0  16254    32028   120778    3    80020  118275     20      0 1.92
1.89/1.94	o 479	1.94
1.89/1.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.97	c        0  16254    32029   121278    3    80043  119275     21      0 1.95
1.89/1.97	o 478	1.971
1.99/2.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.00	c        0  16254    32030   121778    3    80067  120275     22      0 1.98
1.99/2.00	o 477	2.001
1.99/2.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.03	c        0  16254    32031   122278    3    80092  121275     23      0 2.01
1.99/2.03	o 476	2.032
1.99/2.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.06	c        0  16254    32032   122778    3    80118  122275     24      0 2.04
1.99/2.06	o 475	2.064
1.99/2.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.09	c        0  16254    32033   123278    3    80145  123275     25      0 2.07
1.99/2.09	o 474	2.093
2.09/2.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.09/2.12	c        0  16254    32034   123778    3    80173  124275     26      0 2.10
2.09/2.12	o 473	2.125
2.09/2.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.09/2.16	c        0  16254    32035   124278    3    80202  125275     27      0 2.13
2.09/2.16	o 472	2.156
2.09/2.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.09/2.19	c        0  16254    32036   124778    3    80232  126275     28      0 2.17
2.09/2.19	o 471	2.187
2.19/2.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.19/2.22	c        0  16254    32037   125278    3    80263  127275     29      0 2.20
2.19/2.22	o 470	2.219
2.19/2.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.19/2.25	c        0  16254    32038   125778    3    80295  128275     30      0 2.23
2.19/2.25	o 469	2.247
2.19/2.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.19/2.28	c        0  16254    32039   126278    3    80328  129275     31      0 2.26
2.19/2.28	o 468	2.279
2.28/2.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.28/2.31	c        0  16254    32040   126778    3    80362  130275     32      0 2.29
2.28/2.31	o 467	2.311
2.28/2.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.28/2.35	c        1  16254    32042   127746    3    80399  130275     34      0 2.32
2.28/2.35	o 43	2.348
2.28/2.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.28/2.38	c        1  16254    32043   128246    4    80858  130275     35      0 2.36
2.28/2.38	o 42	2.385
2.38/2.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.38/2.43	c        1  16254    32044   128746    4    81318  130275     36      0 2.40
2.38/2.43	o 41	2.431
1799.99/1800.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.99/1800.60	c       23  16254    32067   132609    4    81823  130275     59      9 2.44
1799.99/1800.60	c      123  16254    32167   148181    4    82023  143303    159     48 2.52
1799.99/1800.60	c      373  16254    32417   189957    5    82523  157634    409    140 2.65
1799.99/1800.60	c      848  16254    32892   258104    7    83473  173398    884    293 2.89
1799.99/1800.60	c     1661  16254    33705   367328   10    85099  190738   1697    497 3.34
1799.99/1800.60	c     2981  16254    35025   589342   16    87739  209812   3017    718 4.15
1799.99/1800.60	c     5062  16254    37106   964095   25    91901  230794   5098    967 5.23
1799.99/1800.60	c     8286  16254    40330  1386743   34    98349  253874   8322   1146 7.23
1799.99/1800.60	c    13222  16254    45266  2373963   52   108221  279262  13258   1228 10.76
1799.99/1800.60	c    20728  16254    52772  3833250   72   123233  307189  20764   1105 18.75
1799.99/1800.60	c    32090  16254    64134  5629770   87   145957  337908  32126   1013 31.67
1799.99/1800.60	c    49234  16254    81278  8709894  107   180245  371699  49270    837 58.76
1799.99/1800.60	c    75053  16254   107097 13991979  130   231883  408869  75089    708 105.88
1799.99/1800.61	c   113885  16254   145929 21944791  150   309547  449756 113921    441 257.90
1799.99/1800.61	c   172237  16254   204281 35428393  173   426251  494732 172273    333 517.16
1799.99/1800.61	c   259869  16254   291913 57758713  197   601515  544206 259905    234 1110.54
1799.99/1800.61	c Resources Exceeded
1799.99/1800.61	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 -x30 x31
1799.99/1800.61	v -x32 x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 x43 -x44 x45 -x46 x47 -x48 x49 -x50 x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 x59
1799.99/1800.61	v 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
1799.99/1800.61	v -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108
1799.99/1800.61	v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129
1799.99/1800.61	v -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150
1799.99/1800.61	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171
1799.99/1800.61	v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192
1799.99/1800.61	v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213
1799.99/1800.61	v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234
1799.99/1800.61	v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 x250 x251 -x252 -x253 -x254 -x255
1799.99/1800.61	v -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276
1799.99/1800.61	v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297
1799.99/1800.61	v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 x314 -x315 -x316 -x317 -x318
1799.99/1800.61	v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339
1799.99/1800.61	v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360
1799.99/1800.61	v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 x381
1799.99/1800.61	v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402
1799.99/1800.61	v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423
1799.99/1800.61	v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444
1799.99/1800.61	v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465
1799.99/1800.61	v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 x477 -x478 -x479 x480 -x481 -x482 -x483 -x484 -x485 x486
1799.99/1800.61	v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
1799.99/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.99/1800.61	c   51   358886 114749   610815   390930 76613628 358922    199 1800.00
1799.99/1800.61	c Objective: 41
1799.99/1800.61	s SATISFIABLE
1799.99/1800.61	c Total time: 1800 s

Verifier Data (download as text)

OK	41

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node15/watcher-453780-1178156503 -o ROOT/results/node15/solver-453780-1178156503 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453780-1178156503/instance-453780-1178156503.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.85 0.97 0.99 3/77 6784
/proc/meminfo: memFree=1712192/2055920 swapFree=4169108/4192956
[pid=6784] ppid=6782 vsize=11956 CPUtime=0
/proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 263567887 12242944 335 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6784/statm: 2989 335 281 324 0 2003 0

[startup+0.0958589 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 6784
/proc/meminfo: memFree=1712192/2055920 swapFree=4169108/4192956
[pid=6784] ppid=6782 vsize=8808 CPUtime=0.08
/proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 1640 0 0 0 8 0 0 0 18 0 1 0 263567887 9019392 1555 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134523468 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6784/statm: 2202 1555 300 324 0 1271 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 8808

[startup+0.101859 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 6784
/proc/meminfo: memFree=1712192/2055920 swapFree=4169108/4192956
[pid=6784] ppid=6782 vsize=9064 CPUtime=0.09
/proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 1645 0 0 0 9 0 0 0 18 0 1 0 263567887 9281536 1560 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134560917 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6784/statm: 2266 1569 301 324 0 1335 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9064

[startup+0.301875 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 6784
/proc/meminfo: memFree=1712192/2055920 swapFree=4169108/4192956
[pid=6784] ppid=6782 vsize=12160 CPUtime=0.29
/proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 2427 0 0 0 29 0 0 0 19 0 1 0 263567887 12451840 2342 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6784/statm: 3040 2342 306 324 0 2109 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12160

[startup+0.701913 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 6784
/proc/meminfo: memFree=1712192/2055920 swapFree=4169108/4192956
[pid=6784] ppid=6782 vsize=12160 CPUtime=0.69
/proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 2427 0 0 0 68 1 0 0 23 0 1 0 263567887 12451840 2342 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6784/statm: 3040 2342 306 324 0 2109 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12160

[startup+1.50199 s]
/proc/loadavg: 0.85 0.97 0.99 2/78 6785
/proc/meminfo: memFree=1703864/2055920 swapFree=4169108/4192956
[pid=6784] ppid=6782 vsize=12584 CPUtime=1.49
/proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 3070 0 0 0 144 5 0 0 25 0 1 0 263567887 12886016 2457 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6784/statm: 3146 2457 311 324 0 2215 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12584

[startup+3.10113 s]
/proc/loadavg: 0.85 0.97 0.99 2/78 6785
/proc/meminfo: memFree=1703288/2055920 swapFree=4169108/4192956
[pid=6784] ppid=6782 vsize=15300 CPUtime=3.09
/proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 3748 0 0 0 301 8 0 0 25 0 1 0 263567887 15667200 3135 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6784/statm: 3825 3135 312 324 0 2894 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15300

[startup+6.30143 s]
/proc/loadavg: 0.86 0.97 0.99 2/78 6785
/proc/meminfo: memFree=1691256/2055920 swapFree=4169108/4192956
[pid=6784] ppid=6782 vsize=27392 CPUtime=6.29
/proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 6783 0 0 0 618 11 0 0 25 0 1 0 263567887 28049408 6170 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6784/statm: 6848 6170 312 324 0 5917 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27392

[startup+12.702 s]
/proc/loadavg: 0.87 0.97 0.99 2/78 6785
/proc/meminfo: memFree=1668544/2055920 swapFree=4169108/4192956
[pid=6784] ppid=6782 vsize=49556 CPUtime=12.69
/proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 12341 0 0 0 1255 14 0 0 25 0 1 0 263567887 50745344 11728 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6784/statm: 12389 11728 312 324 0 11458 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49556

[startup+25.5012 s]
/proc/loadavg: 0.90 0.97 0.99 2/78 6785
/proc/meminfo: memFree=1639488/2055920 swapFree=4169108/4192956
[pid=6784] ppid=6782 vsize=76764 CPUtime=25.48
/proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 19130 0 0 0 2527 21 0 0 25 0 1 0 263567887 78606336 18517 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6784/statm: 19191 18517 312 324 0 18260 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 76764

[startup+51.1015 s]
/proc/loadavg: 0.93 0.97 0.99 2/78 6785
/proc/meminfo: memFree=1598336/2055920 swapFree=4169108/4192956
[pid=6784] ppid=6782 vsize=118188 CPUtime=51.07
/proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 29479 0 0 0 5076 31 0 0 25 0 1 0 263567887 121024512 28866 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6784/statm: 29547 28866 312 324 0 28616 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 118188

[startup+102.305 s]
/proc/loadavg: 0.97 0.97 0.99 2/78 6785
/proc/meminfo: memFree=1523008/2055920 swapFree=4169108/4192956
[pid=6784] ppid=6782 vsize=192820 CPUtime=102.26
/proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 48152 0 0 0 10176 50 0 0 25 0 1 0 263567887 197447680 47539 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6784/statm: 48205 47539 312 324 0 47274 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 192820

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6785
/proc/meminfo: memFree=1462912/2055920 swapFree=4169108/4192956
[pid=6784] ppid=6782 vsize=252920 CPUtime=162.24
/proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 63181 0 0 0 16158 66 0 0 25 0 1 0 263567887 258990080 62568 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6784/statm: 63230 62568 312 324 0 62299 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 252920

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6785
/proc/meminfo: memFree=1427904/2055920 swapFree=4169108/4192956
[pid=6784] ppid=6782 vsize=287564 CPUtime=222.23
/proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 71819 0 0 0 22148 75 0 0 25 0 1 0 263567887 294465536 71206 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6784/statm: 71891 71206 312 324 0 70960 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 287564

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6785
/proc/meminfo: memFree=1385280/2055920 swapFree=4169108/4192956
[pid=6784] ppid=6782 vsize=330652 CPUtime=282.22
/proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 82616 0 0 0 28135 87 0 0 25 0 1 0 263567887 338587648 82003 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6784/statm: 82663 82003 312 324 0 81732 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 330652

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6785
/proc/meminfo: memFree=1338752/2055920 swapFree=4169108/4192956
[pid=6784] ppid=6782 vsize=376564 CPUtime=342.2
/proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 94088 0 0 0 34120 100 0 0 25 0 1 0 263567887 385601536 93475 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6784/statm: 94141 93475 312 324 0 93210 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 376564

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6785
/proc/meminfo: memFree=1295872/2055920 swapFree=4169108/4192956
[pid=6784] ppid=6782 vsize=419732 CPUtime=402.18
/proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 104887 0 0 0 40108 110 0 0 25 0 1 0 263567887 429805568 104274 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6784/statm: 104933 104274 312 324 0 104002 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 419732

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6785
/proc/meminfo: memFree=1259072/2055920 swapFree=4169108/4192956
[pid=6784] ppid=6782 vsize=456048 CPUtime=462.16
/proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 113963 0 0 0 46097 119 0 0 25 0 1 0 263567887 466993152 113350 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6784/statm: 114012 113350 312 324 0 113081 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 456048

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6785
/proc/meminfo: memFree=1231616/2055920 swapFree=4169108/4192956
[pid=6784] ppid=6782 vsize=484044 CPUtime=522.15
/proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 120954 0 0 0 52087 128 0 0 25 0 1 0 263567887 495661056 120341 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134587020 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6784/statm: 121011 120341 312 324 0 120080 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 484044

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6785
/proc/meminfo: memFree=1194688/2055920 swapFree=4169108/4192956
[pid=6784] ppid=6782 vsize=520428 CPUtime=582.14
/proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 130061 0 0 0 58076 138 0 0 25 0 1 0 263567887 532918272 129448 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6784/statm: 130107 129448 312 324 0 129176 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 520428

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6785
/proc/meminfo: memFree=1161536/2055920 swapFree=4169108/4192956
[pid=6784] ppid=6782 vsize=553336 CPUtime=642.12
/proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 138277 0 0 0 64066 146 0 0 25 0 1 0 263567887 566616064 137664 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6784/statm: 138334 137664 312 324 0 137403 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 553336


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6785
/proc/meminfo: memFree=1039744/2055920 swapFree=4169108/4192956
[pid=6784] ppid=6782 vsize=674908 CPUtime=882.05
/proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 168658 0 0 0 88027 178 0 0 25 0 1 0 263567887 691105792 168045 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6784/statm: 168727 168045 312 324 0 167796 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 674908

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6785
/proc/meminfo: memFree=1019456/2055920 swapFree=4169108/4192956
[pid=6784] ppid=6782 vsize=695152 CPUtime=942.04
/proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 173734 0 0 0 94018 186 0 0 25 0 1 0 263567887 711835648 173121 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6784/statm: 173788 173121 312 324 0 172857 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 695152

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6785
/proc/meminfo: memFree=1000448/2055920 swapFree=4169108/4192956
[pid=6784] ppid=6782 vsize=714108 CPUtime=1002.02
/proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 178469 0 0 0 100009 193 0 0 25 0 1 0 263567887 731246592 177856 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6784/statm: 178527 177856 312 324 0 177596 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 714108

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6785
/proc/meminfo: memFree=965760/2055920 swapFree=4169108/4192956
[pid=6784] ppid=6782 vsize=749284 CPUtime=1062.01
/proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 187271 0 0 0 106000 201 0 0 25 0 1 0 263567887 767266816 186658 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 7946390 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6784/statm: 187321 186658 312 324 0 186390 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 749284

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6785
/proc/meminfo: memFree=932480/2055920 swapFree=4169108/4192956
[pid=6784] ppid=6782 vsize=782000 CPUtime=1121.99
/proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 195439 0 0 0 111990 209 0 0 25 0 1 0 263567887 800768000 194826 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6784/statm: 195500 194826 312 324 0 194569 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 782000

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/84 6907
/proc/meminfo: memFree=897808/2055920 swapFree=4169108/4192956
[pid=6784] ppid=6782 vsize=815648 CPUtime=1181.92
/proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 203846 0 0 0 117972 220 0 0 25 0 1 0 263567887 835223552 203233 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6784/statm: 203912 203233 312 324 0 202981 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 815648

[startup+1242.3 s]
/proc/loadavg: 1.17 1.02 1.00 2/78 7459
/proc/meminfo: memFree=870136/2055920 swapFree=4169108/4192956
[pid=6784] ppid=6782 vsize=843336 CPUtime=1241.84
/proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 210760 0 0 0 123954 230 0 0 25 0 1 0 263567887 863576064 210147 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6784/statm: 210834 210147 312 324 0 209903 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 843336

[startup+1302.3 s]
/proc/loadavg: 1.06 1.01 1.00 2/78 7459
/proc/meminfo: memFree=847864/2055920 swapFree=4169108/4192956
[pid=6784] ppid=6782 vsize=865324 CPUtime=1301.82
/proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 216265 0 0 0 129944 238 0 0 25 0 1 0 263567887 886091776 215652 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6784/statm: 216331 215652 312 324 0 215400 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 865324

[startup+1362.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 7459
/proc/meminfo: memFree=824440/2055920 swapFree=4169108/4192956
[pid=6784] ppid=6782 vsize=889072 CPUtime=1361.8
/proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 222220 0 0 0 135936 244 0 0 25 0 1 0 263567887 910409728 221607 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6784/statm: 222268 221607 312 324 0 221337 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 889072

[startup+1422.31 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 7459
/proc/meminfo: memFree=804600/2055920 swapFree=4169108/4192956
[pid=6784] ppid=6782 vsize=908512 CPUtime=1421.79
/proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 227081 0 0 0 141929 250 0 0 25 0 1 0 263567887 930316288 226468 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6784/statm: 227128 226468 312 324 0 226197 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 908512

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7459
/proc/meminfo: memFree=781048/2055920 swapFree=4169108/4192956
[pid=6784] ppid=6782 vsize=932092 CPUtime=1481.77
/proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 232973 0 0 0 147922 255 0 0 25 0 1 0 263567887 954462208 232360 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6784/statm: 233023 232360 312 324 0 232092 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 932092

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7459
/proc/meminfo: memFree=756224/2055920 swapFree=4169108/4192956
[pid=6784] ppid=6782 vsize=956876 CPUtime=1541.75
/proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 239146 0 0 0 153914 261 0 0 25 0 1 0 263567887 979841024 238533 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6784/statm: 239219 238533 312 324 0 238288 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 956876

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7459
/proc/meminfo: memFree=740800/2055920 swapFree=4169108/4192956
[pid=6784] ppid=6782 vsize=972536 CPUtime=1601.73
/proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 243075 0 0 0 159905 268 0 0 25 0 1 0 263567887 995876864 242462 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6784/statm: 243134 242462 312 324 0 242203 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 972536

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 7459
/proc/meminfo: memFree=723072/2055920 swapFree=4169108/4192956
[pid=6784] ppid=6782 vsize=990004 CPUtime=1661.72
/proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 247445 0 0 0 165899 273 0 0 25 0 1 0 263567887 1013764096 246832 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6784/statm: 247501 246832 312 324 0 246570 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 990004

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7459
/proc/meminfo: memFree=705664/2055920 swapFree=4169108/4192956
[pid=6784] ppid=6782 vsize=1007460 CPUtime=1721.71
/proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 251814 0 0 0 171891 280 0 0 25 0 1 0 263567887 1031639040 251201 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6784/statm: 251865 251201 312 324 0 250934 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 1007460

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7459
/proc/meminfo: memFree=690240/2055920 swapFree=4169108/4192956
[pid=6784] ppid=6782 vsize=1022724 CPUtime=1781.69
/proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 255629 0 0 0 177883 286 0 0 25 0 1 0 263567887 1047269376 255016 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6784/statm: 255681 255016 312 324 0 254750 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 1022724



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7459
/proc/meminfo: memFree=1291520/2055920 swapFree=4169108/4192956
[pid=6784] ppid=6782 vsize=0 CPUtime=1800.09
/proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194308 256551 0 0 0 179712 297 0 0 25 0 1 0 263567887 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6784/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 0

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7459
/proc/meminfo: memFree=1291520/2055920 swapFree=4169108/4192956
[pid=6784] ppid=6782 vsize=0 CPUtime=1800.09
/proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194308 256551 0 0 0 179712 297 0 0 25 0 1 0 263567887 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6784/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.77
CPU time (s): 1800.16
CPU user time (s): 1797.12
CPU system time (s): 3.03754
CPU usage (%): 99.9662
Max. virtual memory (cumulated for all children) (KiB): 1026464

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

runsolver used 1.3378 second user time and 3.9524 second system time

The end

Launcher Data (download as text)

Begin job on node15 on Thu May  3 01:41:43 UTC 2007

IDJOB= 453780
IDBENCH= 48153
IDSOLVER= 163
FILE ID= node15/453780-1178156503

PBS_JOBID= 4751090

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_25_4.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453780-1178156503/instance-453780-1178156503.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node15/watcher-453780-1178156503 -o ROOT/results/node15/solver-453780-1178156503 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453780-1178156503/instance-453780-1178156503.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  3feaf3974ec1ffdea6d6674c11d1a071

RANDOM SEED= 710367427

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node15.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:       1712600 kB
Buffers:        118480 kB
Cached:         128088 kB
SwapCached:       2380 kB
Active:         161804 kB
Inactive:       115944 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1712600 kB
SwapTotal:     4192956 kB
SwapFree:      4169108 kB
Dirty:            6924 kB
Writeback:           0 kB
Mapped:          35128 kB
Slab:            50948 kB
Committed_AS: 10535040 kB
PageTables:       1880 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 node15 on Thu May  3 02:11:46 UTC 2007