Trace number 453786

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)41 1800.27 1800.98

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.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/453786-1178156973/instance-453786-1178156973.opb
0.00/0.00	c File size is 223821 bytes.
0.03/0.09	c Highest Coefficient sum: 500
0.03/0.09	c Parsing was ok!!
0.03/0.09	c Total parsing time: 0.092 s
0.09/0.12	c Var: 16254 Constr: 32008 16254/0/15754 Lit: 110778 Watch. Lit: 79770
0.09/0.12	c Obj. Vars: 500 (3.07617 % of total variables)
1.29/1.31	c Pre-processing Time: 1.315 s
1.29/1.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.32	c        0  16254    32008   110778    3    79770   99942      0      0 1.31
1.29/1.32	c Switching off LPR mode.
1.29/1.33	o 499	1.334
1.29/1.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.36	c        0  16254    32009   111278    3    79773  100275      1      0 1.34
1.29/1.36	o 498	1.362
1.29/1.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.39	c        0  16254    32010   111778    3    79777  100775      2      0 1.37
1.29/1.39	o 497	1.392
1.39/1.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.42	c        0  16254    32011   112278    3    79782  101442      3      0 1.40
1.39/1.42	o 496	1.423
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.43
1.39/1.45	o 495	1.453
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.482
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.513
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.543
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.573
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.602
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.689
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.72
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.749
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.779
1.79/1.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.81	c        0  16254    32024   118778    3    79938  114275     16      0 1.79
1.79/1.81	o 483	1.81
1.79/1.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.84	c        0  16254    32025   119278    3    79957  115275     17      0 1.82
1.79/1.84	o 482	1.84
1.79/1.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.87	c        0  16254    32026   119778    3    79977  116275     18      0 1.85
1.79/1.87	o 481	1.87
1.89/1.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.90	c        0  16254    32027   120278    3    79998  117275     19      0 1.88
1.89/1.90	o 480	1.9
1.89/1.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.93	c        0  16254    32028   120778    3    80020  118275     20      0 1.91
1.89/1.93	o 479	1.929
1.89/1.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.96	c        0  16254    32029   121278    3    80043  119275     21      0 1.94
1.89/1.96	o 478	1.96
1.89/1.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.99	c        0  16254    32030   121778    3    80067  120275     22      0 1.97
1.89/1.99	o 477	1.988
1.99/2.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.02	c        0  16254    32031   122278    3    80092  121275     23      0 2.00
1.99/2.02	o 476	2.018
1.99/2.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.05	c        0  16254    32032   122778    3    80118  122275     24      0 2.03
1.99/2.05	o 475	2.048
1.99/2.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.08	c        0  16254    32033   123278    3    80145  123275     25      0 2.06
1.99/2.08	o 474	2.077
2.09/2.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.09/2.11	c        0  16254    32034   123778    3    80173  124275     26      0 2.09
2.09/2.11	o 473	2.107
2.09/2.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.09/2.14	c        0  16254    32035   124278    3    80202  125275     27      0 2.12
2.09/2.14	o 472	2.137
2.09/2.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.09/2.17	c        0  16254    32036   124778    3    80232  126275     28      0 2.15
2.09/2.17	o 471	2.168
2.09/2.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.09/2.20	c        0  16254    32037   125278    3    80263  127275     29      0 2.18
2.09/2.20	o 470	2.198
2.19/2.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.19/2.22	c        0  16254    32038   125778    3    80295  128275     30      0 2.21
2.19/2.22	o 469	2.225
2.19/2.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.19/2.25	c        0  16254    32039   126278    3    80328  129275     31      0 2.23
2.19/2.25	o 468	2.256
2.19/2.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.19/2.29	c        0  16254    32040   126778    3    80362  130275     32      0 2.26
2.19/2.29	o 467	2.287
2.29/2.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.32	c        1  16254    32042   127746    3    80399  130275     34      0 2.30
2.29/2.32	o 43	2.323
2.29/2.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.36	c        1  16254    32043   128246    4    80858  130275     35      0 2.33
2.29/2.36	o 42	2.36
2.39/2.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.39/2.41	c        1  16254    32044   128746    4    81318  130275     36      0 2.37
2.39/2.41	o 41	2.406
1800.09/1800.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.09/1800.80	c       23  16254    32067   132609    4    81823  130275     59      9 2.42
1800.09/1800.80	c      123  16254    32167   148181    4    82023  143303    159     49 2.49
1800.09/1800.80	c      373  16254    32417   189957    5    82523  157634    409    142 2.63
1800.09/1800.80	c      848  16254    32892   258104    7    83473  173398    884    295 2.87
1800.09/1800.80	c     1661  16254    33705   367328   10    85099  190738   1697    502 3.31
1800.09/1800.80	c     2981  16254    35025   589342   16    87739  209812   3017    725 4.11
1800.09/1800.80	c     5062  16254    37106   964095   25    91901  230794   5098    977 5.18
1800.09/1800.80	c     8286  16254    40330  1386743   34    98349  253874   8322   1157 7.16
1800.09/1800.80	c    13222  16254    45266  2373963   52   108221  279262  13258   1238 10.67
1800.09/1800.80	c    20728  16254    52772  3833250   72   123233  307189  20764   1114 18.60
1800.09/1800.80	c    32090  16254    64134  5629770   87   145957  337908  32126   1020 31.45
1800.09/1800.80	c    49234  16254    81278  8709894  107   180245  371699  49270    843 58.36
1800.09/1800.80	c    75053  16254   107097 13991979  130   231883  408869  75089    713 105.24
1800.09/1800.80	c   113885  16254   145929 21944791  150   309547  449756 113921    443 256.53
1800.09/1800.80	c   172237  16254   204281 35428393  173   426251  494732 172273    334 514.60
1800.09/1800.80	c   259869  16254   291913 57758713  197   601515  544206 259905    234 1106.46
1800.09/1800.80	c Caught signal: 15
1800.09/1800.80	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
1800.09/1800.80	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
1800.09/1800.80	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
1800.09/1800.80	v -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108
1800.09/1800.80	v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129
1800.09/1800.80	v -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150
1800.09/1800.80	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171
1800.09/1800.80	v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192
1800.09/1800.80	v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213
1800.09/1800.80	v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234
1800.09/1800.80	v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 x250 x251 -x252 -x253 -x254 -x255
1800.09/1800.80	v -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276
1800.09/1800.80	v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297
1800.09/1800.80	v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 x314 -x315 -x316 -x317 -x318
1800.09/1800.80	v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339
1800.09/1800.80	v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360
1800.09/1800.80	v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 x381
1800.09/1800.80	v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402
1800.09/1800.80	v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423
1800.09/1800.80	v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444
1800.09/1800.80	v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465
1800.09/1800.80	v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 x477 -x478 -x479 x480 -x481 -x482 -x483 -x484 -x485 x486
1800.09/1800.80	v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
1800.09/1800.80	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.09/1800.80	c   51   359696 115012   612021   391740 76718215 359732    199 1800.10
1800.09/1800.80	c Objective: 41
1800.09/1800.80	s SATISFIABLE
1800.09/1800.80	c Total time: 1800.1 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/node1/watcher-453786-1178156973 -o ROOT/results/node1/solver-453786-1178156973 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453786-1178156973/instance-453786-1178156973.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.92 0.98 0.98 3/77 27571
/proc/meminfo: memFree=1543016/2055920 swapFree=4145736/4192956
[pid=27571] ppid=27569 vsize=11956 CPUtime=0
/proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 291735216 12242944 333 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27571/statm: 2989 333 279 324 0 2004 0

[startup+0.0474 s]
/proc/loadavg: 0.92 0.98 0.98 3/77 27571
/proc/meminfo: memFree=1543016/2055920 swapFree=4145736/4192956
[pid=27571] ppid=27569 vsize=6472 CPUtime=0.03
/proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 957 0 0 0 3 0 0 0 18 0 1 0 291735216 6627328 927 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 6263164 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27571/statm: 1618 928 314 324 0 633 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6472

[startup+0.101406 s]
/proc/loadavg: 0.92 0.98 0.98 3/77 27571
/proc/meminfo: memFree=1543016/2055920 swapFree=4145736/4192956
[pid=27571] ppid=27569 vsize=8808 CPUtime=0.09
/proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 1639 0 0 0 9 0 0 0 18 0 1 0 291735216 9019392 1554 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 6262871 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27571/statm: 2202 1554 299 324 0 1272 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8808

[startup+0.30143 s]
/proc/loadavg: 0.92 0.98 0.98 3/77 27571
/proc/meminfo: memFree=1543016/2055920 swapFree=4145736/4192956
[pid=27571] ppid=27569 vsize=12160 CPUtime=0.29
/proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 2425 0 0 0 28 1 0 0 19 0 1 0 291735216 12451840 2340 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27571/statm: 3040 2340 304 324 0 2110 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12160

[startup+0.701477 s]
/proc/loadavg: 0.92 0.98 0.98 3/77 27571
/proc/meminfo: memFree=1543016/2055920 swapFree=4145736/4192956
[pid=27571] ppid=27569 vsize=12160 CPUtime=0.69
/proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 2425 0 0 0 68 1 0 0 22 0 1 0 291735216 12451840 2340 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27571/statm: 3040 2340 304 324 0 2110 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12160

[startup+1.50157 s]
/proc/loadavg: 0.92 0.98 0.98 2/78 27572
/proc/meminfo: memFree=1534496/2055920 swapFree=4145736/4192956
[pid=27571] ppid=27569 vsize=12584 CPUtime=1.49
/proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 3068 0 0 0 145 4 0 0 25 0 1 0 291735216 12886016 2455 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 6262871 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27571/statm: 3146 2455 309 324 0 2216 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12584

[startup+3.10176 s]
/proc/loadavg: 0.92 0.98 0.98 2/78 27572
/proc/meminfo: memFree=1533792/2055920 swapFree=4145736/4192956
[pid=27571] ppid=27569 vsize=15300 CPUtime=3.09
/proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 3768 0 0 0 304 5 0 0 25 0 1 0 291735216 15667200 3155 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551781 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27571/statm: 3825 3155 310 324 0 2895 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15300

[startup+6.30113 s]
/proc/loadavg: 0.93 0.98 0.98 2/78 27572
/proc/meminfo: memFree=1521768/2055920 swapFree=4145736/4192956
[pid=27571] ppid=27569 vsize=27524 CPUtime=6.29
/proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 6823 0 0 0 622 7 0 0 25 0 1 0 291735216 28184576 6210 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27571/statm: 6881 6210 310 324 0 5951 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27524

[startup+12.7019 s]
/proc/loadavg: 0.93 0.98 0.98 2/78 27572
/proc/meminfo: memFree=1498984/2055920 swapFree=4145736/4192956
[pid=27571] ppid=27569 vsize=49816 CPUtime=12.68
/proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 12406 0 0 0 1259 9 0 0 25 0 1 0 291735216 51011584 11793 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134586822 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27571/statm: 12454 11793 310 324 0 11524 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49816

[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.98 2/78 27572
/proc/meminfo: memFree=1469992/2055920 swapFree=4145736/4192956
[pid=27571] ppid=27569 vsize=77024 CPUtime=25.48
/proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 19186 0 0 0 2534 14 0 0 25 0 1 0 291735216 78872576 18573 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27571/statm: 19256 18573 310 324 0 18326 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 77024

[startup+51.1024 s]
/proc/loadavg: 0.96 0.98 0.98 2/78 27572
/proc/meminfo: memFree=1428584/2055920 swapFree=4145736/4192956
[pid=27571] ppid=27569 vsize=118828 CPUtime=51.07
/proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 29645 0 0 0 5085 22 0 0 25 0 1 0 291735216 121679872 29032 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134573442 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27571/statm: 29707 29032 310 324 0 28777 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 118828

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.98 2/78 27572
/proc/meminfo: memFree=1352616/2055920 swapFree=4145736/4192956
[pid=27571] ppid=27569 vsize=193960 CPUtime=102.27
/proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 48419 0 0 0 10191 36 0 0 25 0 1 0 291735216 198615040 47806 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27571/statm: 48490 47806 310 324 0 47560 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 193960

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 27572
/proc/meminfo: memFree=1293096/2055920 swapFree=4145736/4192956
[pid=27571] ppid=27569 vsize=253676 CPUtime=162.24
/proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 63354 0 0 0 16177 47 0 0 25 0 1 0 291735216 259764224 62741 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27571/statm: 63419 62741 310 324 0 62489 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 253676

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 27572
/proc/meminfo: memFree=1258280/2055920 swapFree=4145736/4192956
[pid=27571] ppid=27569 vsize=287952 CPUtime=222.23
/proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 71918 0 0 0 22168 55 0 0 25 0 1 0 291735216 294862848 71305 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27571/statm: 71988 71305 310 324 0 71058 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 287952

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 27572
/proc/meminfo: memFree=1214632/2055920 swapFree=4145736/4192956
[pid=27571] ppid=27569 vsize=332196 CPUtime=282.21
/proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 82994 0 0 0 28158 63 0 0 25 0 1 0 291735216 340168704 82381 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27571/statm: 83049 82381 310 324 0 82119 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 332196

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 27572
/proc/meminfo: memFree=1168296/2055920 swapFree=4145736/4192956
[pid=27571] ppid=27569 vsize=377840 CPUtime=342.2
/proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 94409 0 0 0 34148 72 0 0 25 0 1 0 291735216 386908160 93796 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27571/statm: 94460 93796 310 324 0 93530 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 377840

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 27572
/proc/meminfo: memFree=1125608/2055920 swapFree=4145736/4192956
[pid=27571] ppid=27569 vsize=420532 CPUtime=402.18
/proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 105076 0 0 0 40140 78 0 0 25 0 1 0 291735216 430624768 104463 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27571/statm: 105133 104463 310 324 0 104203 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 420532

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 27572
/proc/meminfo: memFree=1088616/2055920 swapFree=4145736/4192956
[pid=27571] ppid=27569 vsize=457444 CPUtime=462.17
/proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 114289 0 0 0 46133 84 0 0 25 0 1 0 291735216 468422656 113676 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27571/statm: 114361 113676 310 324 0 113431 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 457444

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 27572
/proc/meminfo: memFree=1060584/2055920 swapFree=4145736/4192956
[pid=27571] ppid=27569 vsize=485716 CPUtime=522.15
/proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 121376 0 0 0 52125 90 0 0 25 0 1 0 291735216 497373184 120763 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27571/statm: 121429 120763 310 324 0 120499 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 485716

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 27572
/proc/meminfo: memFree=1023976/2055920 swapFree=4145736/4192956
[pid=27571] ppid=27569 vsize=521848 CPUtime=582.13
/proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 130414 0 0 0 58116 97 0 0 25 0 1 0 291735216 534372352 129801 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27571/statm: 130462 129801 310 324 0 129532 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 521848

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 27572
/proc/meminfo: memFree=991016/2055920 swapFree=4145736/4192956
[pid=27571] ppid=27569 vsize=554496 CPUtime=642.12
/proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 138571 0 0 0 64109 103 0 0 25 0 1 0 291735216 567803904 137958 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27571/statm: 138624 137958 310 324 0 137694 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 554496


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

[startup+882.302 s]
/proc/loadavg: 1.14 1.12 1.03 2/78 29839
/proc/meminfo: memFree=670816/2055920 swapFree=4145736/4192956
[pid=27571] ppid=27569 vsize=676068 CPUtime=881.83
/proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 168953 0 0 0 88043 140 0 0 25 0 1 0 291735216 692293632 168340 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27571/statm: 169017 168340 310 324 0 168087 0
Current children cumulated CPU time (s) 881.83
Current children cumulated vsize (KiB) 676068

[startup+942.302 s]
/proc/loadavg: 1.05 1.10 1.02 2/78 29839
/proc/meminfo: memFree=651040/2055920 swapFree=4145736/4192956
[pid=27571] ppid=27569 vsize=696056 CPUtime=941.81
/proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 173952 0 0 0 94036 145 0 0 25 0 1 0 291735216 712761344 173339 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27571/statm: 174014 173339 310 324 0 173084 0
Current children cumulated CPU time (s) 941.81
Current children cumulated vsize (KiB) 696056

[startup+1002.3 s]
/proc/loadavg: 1.02 1.08 1.02 2/78 29839
/proc/meminfo: memFree=630816/2055920 swapFree=4145736/4192956
[pid=27571] ppid=27569 vsize=716172 CPUtime=1001.8
/proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 178975 0 0 0 100030 150 0 0 25 0 1 0 291735216 733360128 178362 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27571/statm: 179043 178362 310 324 0 178113 0
Current children cumulated CPU time (s) 1001.8
Current children cumulated vsize (KiB) 716172

[startup+1062.3 s]
/proc/loadavg: 1.00 1.06 1.01 3/78 29839
/proc/meminfo: memFree=595744/2055920 swapFree=4145736/4192956
[pid=27571] ppid=27569 vsize=751540 CPUtime=1061.78
/proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 187828 0 0 0 106022 156 0 0 25 0 1 0 291735216 769576960 187215 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134572903 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27571/statm: 187885 187215 310 324 0 186955 0
Current children cumulated CPU time (s) 1061.78
Current children cumulated vsize (KiB) 751540

[startup+1122.3 s]
/proc/loadavg: 1.00 1.05 1.01 2/78 29839
/proc/meminfo: memFree=562600/2055920 swapFree=4145736/4192956
[pid=27571] ppid=27569 vsize=784336 CPUtime=1121.76
/proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 196018 0 0 0 112014 162 0 0 25 0 1 0 291735216 803160064 195405 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 6262351 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27571/statm: 196084 195405 310 324 0 195154 0
Current children cumulated CPU time (s) 1121.76
Current children cumulated vsize (KiB) 784336

[startup+1182.3 s]
/proc/loadavg: 1.00 1.04 1.00 2/78 29839
/proc/meminfo: memFree=529640/2055920 swapFree=4145736/4192956
[pid=27571] ppid=27569 vsize=817072 CPUtime=1181.75
/proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 204219 0 0 0 118006 169 0 0 25 0 1 0 291735216 836681728 203606 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27571/statm: 204268 203606 310 324 0 203338 0
Current children cumulated CPU time (s) 1181.75
Current children cumulated vsize (KiB) 817072

[startup+1242.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/78 29839
/proc/meminfo: memFree=501736/2055920 swapFree=4145736/4192956
[pid=27571] ppid=27569 vsize=844996 CPUtime=1241.73
/proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 211199 0 0 0 123998 175 0 0 25 0 1 0 291735216 865275904 210586 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27571/statm: 211249 210586 310 324 0 210319 0
Current children cumulated CPU time (s) 1241.73
Current children cumulated vsize (KiB) 844996

[startup+1302.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 29839
/proc/meminfo: memFree=479976/2055920 swapFree=4145736/4192956
[pid=27571] ppid=27569 vsize=866496 CPUtime=1301.72
/proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 216577 0 0 0 129993 179 0 0 25 0 1 0 291735216 887291904 215964 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 6270626 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27571/statm: 216624 215964 310 324 0 215694 0
Current children cumulated CPU time (s) 1301.72
Current children cumulated vsize (KiB) 866496

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 29839
/proc/meminfo: memFree=455272/2055920 swapFree=4145736/4192956
[pid=27571] ppid=27569 vsize=891376 CPUtime=1361.7
/proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 222783 0 0 0 135986 184 0 0 25 0 1 0 291735216 912769024 222170 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27571/statm: 222844 222170 310 324 0 221914 0
Current children cumulated CPU time (s) 1361.7
Current children cumulated vsize (KiB) 891376

[startup+1422.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 29839
/proc/meminfo: memFree=435816/2055920 swapFree=4145736/4192956
[pid=27571] ppid=27569 vsize=910680 CPUtime=1421.69
/proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 227606 0 0 0 141980 189 0 0 25 0 1 0 291735216 932536320 226993 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27571/statm: 227670 226993 310 324 0 226740 0
Current children cumulated CPU time (s) 1421.69
Current children cumulated vsize (KiB) 910680

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29839
/proc/meminfo: memFree=412840/2055920 swapFree=4145736/4192956
[pid=27571] ppid=27569 vsize=933884 CPUtime=1481.67
/proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 233407 0 0 0 147974 193 0 0 25 0 1 0 291735216 956297216 232794 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27571/statm: 233471 232794 310 324 0 232541 0
Current children cumulated CPU time (s) 1481.67
Current children cumulated vsize (KiB) 933884

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29839
/proc/meminfo: memFree=388072/2055920 swapFree=4145736/4192956
[pid=27571] ppid=27569 vsize=958420 CPUtime=1541.65
/proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 239536 0 0 0 153967 198 0 0 25 0 1 0 291735216 981422080 238923 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27571/statm: 239605 238923 310 324 0 238675 0
Current children cumulated CPU time (s) 1541.65
Current children cumulated vsize (KiB) 958420

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29839
/proc/meminfo: memFree=371880/2055920 swapFree=4145736/4192956
[pid=27571] ppid=27569 vsize=974724 CPUtime=1601.64
/proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 243626 0 0 0 159962 202 0 0 25 0 1 0 291735216 998117376 243013 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27571/statm: 243681 243013 310 324 0 242751 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 974724

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29839
/proc/meminfo: memFree=354664/2055920 swapFree=4145736/4192956
[pid=27571] ppid=27569 vsize=991684 CPUtime=1661.62
/proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 247870 0 0 0 165956 206 0 0 25 0 1 0 291735216 1015484416 247257 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27571/statm: 247921 247257 310 324 0 246991 0
Current children cumulated CPU time (s) 1661.62
Current children cumulated vsize (KiB) 991684

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29839
/proc/meminfo: memFree=337512/2055920 swapFree=4145736/4192956
[pid=27571] ppid=27569 vsize=1008888 CPUtime=1721.6
/proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 252167 0 0 0 171950 210 0 0 25 0 1 0 291735216 1033101312 251554 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27571/statm: 252222 251554 310 324 0 251292 0
Current children cumulated CPU time (s) 1721.6
Current children cumulated vsize (KiB) 1008888

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29839
/proc/meminfo: memFree=322280/2055920 swapFree=4145736/4192956
[pid=27571] ppid=27569 vsize=1024028 CPUtime=1781.59
/proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 255943 0 0 0 177945 214 0 0 25 0 1 0 291735216 1048604672 255330 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27571/statm: 256007 255330 310 324 0 255077 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 1024028



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29839
/proc/meminfo: memFree=318312/2055920 swapFree=4145736/4192956
[pid=27571] ppid=27569 vsize=1027892 CPUtime=1800.09
/proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 256902 0 0 0 179793 216 0 0 25 0 1 0 291735216 1052561408 256289 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27571/statm: 256973 256289 310 324 0 256043 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1027892

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

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

[startup+1800.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29839
/proc/meminfo: memFree=318312/2055920 swapFree=4145736/4192956
[pid=27571] ppid=27569 vsize=0 CPUtime=1800.19
/proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194308 256906 0 0 0 179794 225 0 0 25 0 1 0 291735216 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/27571/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.98
CPU time (s): 1800.27
CPU user time (s): 1797.94
CPU system time (s): 2.33065
CPU usage (%): 99.9607
Max. virtual memory (cumulated for all children) (KiB): 1027892

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

runsolver used 1.54377 second user time and 4.34434 second system time

The end

Launcher Data (download as text)

Begin job on node1 on Thu May  3 01:49:34 UTC 2007

IDJOB= 453786
IDBENCH= 48153
IDSOLVER= 199
FILE ID= node1/453786-1178156973

PBS_JOBID= 4751081

Free space on /tmp= 54608 MiB

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  3feaf3974ec1ffdea6d6674c11d1a071

RANDOM SEED= 244727391

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node1.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.234
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.234
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:       1543360 kB
Buffers:         41616 kB
Cached:         361288 kB
SwapCached:      14820 kB
Active:          94788 kB
Inactive:       332632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1543360 kB
SwapTotal:     4192956 kB
SwapFree:      4145736 kB
Dirty:            6904 kB
Writeback:           0 kB
Mapped:          30620 kB
Slab:            70532 kB
Committed_AS:  9417424 kB
PageTables:       1836 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= 54608 MiB

End job on node1 on Thu May  3 02:19:37 UTC 2007