Trace number 453306

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)18 1800.29 1800.82

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_60_5.opb
MD5SUMe079962149860142627e0ca6e79ba5d1
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark17
Best CPU time to get the best result obtained on this benchmark1800.16
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 17
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 constraint61
Maximum length of a constraint112
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)37500
Sum of products size (including duplicates)75000
Number of different products37500
Sum of products size75000

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/453306-1178129840/instance-453306-1178129840.opb
0.00/0.00	c File size is 517047 bytes.
0.19/0.23	c Highest Coefficient sum: 500
0.19/0.23	c Parsing was ok!!
0.19/0.23	c Total parsing time: 0.233 s
0.19/0.29	c Var: 38000 Constr: 75500 38000/0/37500 Lit: 263000 Watch. Lit: 188500
0.19/0.29	c Obj. Vars: 500 (1.31579 % of total variables)
7.78/7.85	c Pre-processing Time: 7.845 s
7.78/7.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.78/7.85	c        0  38000    75500   263000    3   188500  237666      0      0 7.84
7.78/7.85	c Switching off LPR mode.
7.89/7.91	o 499	7.909
7.89/7.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.89/7.98	c        0  38000    75501   263500    3   188503  237999      1      0 7.93
7.89/7.98	o 498	7.979
7.99/8.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.99/8.05	c        0  38000    75502   264000    3   188507  238499      2      0 8.00
7.99/8.05	o 497	8.051
8.09/8.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.09/8.12	c        0  38000    75503   264500    3   188512  239166      3      0 8.07
8.09/8.12	o 496	8.12
8.09/8.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.09/8.19	c        0  38000    75504   265000    3   188518  239999      4      0 8.14
8.09/8.19	o 495	8.191
8.19/8.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.19/8.26	c        0  38000    75505   265500    3   188525  240999      5      0 8.21
8.19/8.26	o 494	8.262
8.29/8.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.29/8.33	c        0  38000    75506   266000    3   188533  241999      6      0 8.28
8.29/8.33	o 493	8.331
8.39/8.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.39/8.40	c        0  38000    75507   266500    3   188542  242999      7      0 8.35
8.39/8.40	o 492	8.402
8.39/8.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.39/8.48	c        0  38000    75508   267000    3   188552  243999      8      0 8.42
8.39/8.48	o 491	8.474
8.49/8.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.49/8.54	c        0  38000    75509   267500    3   188563  244999      9      0 8.49
8.49/8.54	o 490	8.543
8.59/8.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.59/8.62	c        0  38000    75510   268000    3   188575  245999     10      0 8.56
8.59/8.62	o 489	8.614
8.59/8.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.59/8.68	c        0  38000    75511   268500    3   188588  246999     11      0 8.63
8.59/8.68	o 488	8.682
8.70/8.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.70/8.75	c        0  38000    75512   269000    3   188602  247999     12      0 8.70
8.70/8.75	o 487	8.754
8.80/8.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.80/8.83	c        0  38000    75513   269500    3   188617  248999     13      0 8.78
8.80/8.83	o 486	8.824
8.80/8.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.80/8.90	c        0  38000    75514   270000    3   188633  249999     14      0 8.85
8.80/8.90	o 485	8.895
8.89/8.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.89/8.97	c        0  38000    75515   270500    3   188650  250999     15      0 8.92
8.89/8.97	o 484	8.966
8.99/9.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.99/9.04	c        0  38000    75516   271000    3   188668  251999     16      0 8.99
8.99/9.04	o 483	9.035
9.09/9.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.09/9.11	c        0  38000    75517   271500    3   188687  252999     17      0 9.06
9.09/9.11	o 482	9.106
9.09/9.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.09/9.18	c        0  38000    75518   272000    3   188707  253999     18      0 9.13
9.09/9.18	o 481	9.177
9.19/9.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.19/9.25	c        0  38000    75519   272500    3   188728  254999     19      0 9.20
9.19/9.25	o 480	9.245
9.29/9.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.29/9.32	c        0  38000    75520   273000    3   188750  255999     20      0 9.27
9.29/9.32	o 479	9.316
9.29/9.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.29/9.39	c        0  38000    75521   273500    3   188773  256999     21      0 9.34
9.29/9.39	o 478	9.384
9.39/9.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.39/9.46	c        0  38000    75522   274000    3   188797  257999     22      0 9.40
9.39/9.46	o 477	9.455
9.49/9.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.49/9.52	c        0  38000    75523   274500    3   188822  258999     23      0 9.48
9.49/9.52	o 476	9.524
9.49/9.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.49/9.60	c        0  38000    75524   275000    3   188848  259999     24      0 9.54
9.49/9.60	o 475	9.594
9.59/9.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.59/9.67	c        0  38000    75525   275500    3   188875  260999     25      0 9.62
9.59/9.67	o 474	9.665
9.69/9.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.69/9.73	c        0  38000    75526   276000    3   188903  261999     26      0 9.69
9.69/9.73	o 473	9.733
9.80/9.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.80/9.80	c        0  38000    75527   276500    3   188932  262999     27      0 9.75
9.80/9.80	o 472	9.803
9.80/9.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.80/9.88	c        0  38000    75528   277000    3   188962  263999     28      0 9.82
9.80/9.88	o 471	9.874
9.90/9.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.90/9.94	c        0  38000    75529   277500    3   188993  264999     29      0 9.89
9.90/9.94	o 470	9.942
9.99/10.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.99/10.01	c        0  38000    75530   278000    3   189025  265999     30      0 9.96
9.99/10.01	o 469	10.013
9.99/10.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.99/10.09	c        0  38000    75531   278500    3   189058  266999     31      0 10.03
9.99/10.09	o 468	10.084
10.09/10.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.09/10.15	c        0  38000    75532   279000    3   189092  267999     32      0 10.11
10.09/10.15	o 467	10.152
10.19/10.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.19/10.22	c        0  38000    75533   279500    3   189127  268999     33      0 10.17
10.19/10.22	o 466	10.223
10.19/10.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.19/10.30	c        0  38000    75534   280000    3   189163  269999     34      0 10.24
10.19/10.30	o 465	10.294
10.29/10.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.29/10.37	c        0  38000    75535   280500    3   189200  270999     35      0 10.31
10.29/10.37	o 464	10.365
10.39/10.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.39/10.44	c        0  38000    75536   281000    3   189238  271999     36      0 10.39
10.39/10.44	o 463	10.436
10.49/10.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.49/10.51	c        0  38000    75537   281500    3   189277  272999     37      0 10.46
10.49/10.51	o 462	10.507
10.49/10.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.49/10.58	c        0  38000    75538   282000    3   189317  273999     38      0 10.53
10.49/10.58	o 461	10.578
10.59/10.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.59/10.65	c        0  38000    75539   282500    3   189358  274999     39      0 10.60
10.59/10.65	o 460	10.649
10.69/10.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.69/10.73	c        0  38000    75540   283000    3   189400  275999     40      0 10.67
10.69/10.73	o 450	10.726
10.79/10.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.79/10.83	c        1  38000    75542   283960    3   189454  275999     42      0 10.75
10.79/10.83	o 19	10.83
10.90/10.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.90/10.97	c        1  38000    75543   284460    3   189937  275999     43      0 10.86
10.90/10.97	o 18	10.971
1800.07/1800.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.07/1800.60	c       44  38000    75587   299766    3   190507  275999     87      3 11.00
1800.07/1800.60	c      145  38000    75688   319334    4   190709  303599    188     12 11.22
1800.07/1800.60	c      395  38000    75938   397575    5   191209  333959    438     34 11.56
1800.07/1800.60	c      871  38000    76414   512507    6   192161  367355    914     71 12.11
1800.07/1800.60	c     1685  38000    77228   730872    9   193789  404091   1728    130 12.92
1800.07/1800.60	c     3006  38000    78549  1075482   13   196431  444501   3049    207 14.48
1800.07/1800.60	c     5088  38000    80631  1657473   20   200595  488952   5131    283 17.94
1800.07/1800.60	c     8312  38000    83855  2753105   32   207043  537848   8355    361 23.01
1800.07/1800.60	c    13248  38000    88791  4510300   50   216915  591633  13291    410 32.25
1800.07/1800.60	c    20755  38000    96298  6189832   64   231929  650797  20798    434 47.78
1800.07/1800.60	c    32116  38000   107659  8665496   80   254651  715877  32159    417 76.88
1800.07/1800.60	c    49263  38000   124806 14415638  115   288945  787465  49306    376 130.69
1800.07/1800.60	c    75083  38000   150626 25188377  167   340585  866212  75126    302 248.34
1800.07/1800.60	c   113916  38000   189459 40436200  213   418251  952834 113959    236 481.32
1800.07/1800.60	c   172269  38000   247812 60077673  242   534957  500000 172312    197 873.07
1800.07/1800.60	c   259901  38000   335444 86677368  258   710221  550001 259944    168 1544.46
1800.07/1800.60	c Caught signal: 15
1800.07/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
1800.07/1800.61	v -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 -x56 -x57
1800.07/1800.61	v x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84
1800.07/1800.61	v -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108
1800.07/1800.61	v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129
1800.07/1800.61	v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
1800.07/1800.61	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171
1800.07/1800.61	v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192
1800.07/1800.61	v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213
1800.07/1800.61	v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234
1800.07/1800.61	v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255
1800.07/1800.61	v -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276
1800.07/1800.61	v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297
1800.07/1800.61	v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318
1800.07/1800.61	v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339
1800.07/1800.61	v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360
1800.07/1800.61	v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381
1800.07/1800.61	v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402
1800.07/1800.61	v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423
1800.07/1800.61	v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444
1800.07/1800.61	v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465
1800.07/1800.61	v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486
1800.07/1800.61	v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
1800.07/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.07/1800.61	c   58   288402  98971   530612   363945 94546732 288445    160 1800.09
1800.07/1800.61	c Objective: 18
1800.07/1800.61	s SATISFIABLE
1800.07/1800.61	c Total time: 1800.09 s

Verifier Data (download as text)

OK	18

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node21/watcher-453306-1178129840 -o ROOT/results/node21/solver-453306-1178129840 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453306-1178129840/instance-453306-1178129840.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.95 1.02 0.99 3/77 28732
/proc/meminfo: memFree=1810880/2055920 swapFree=4156296/4192956
[pid=28732] ppid=28730 vsize=12244 CPUtime=0
/proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 260901294 12537856 333 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28732/statm: 3061 333 279 324 0 2004 0

[startup+0.0935909 s]
/proc/loadavg: 0.95 1.02 0.99 3/77 28732
/proc/meminfo: memFree=1810880/2055920 swapFree=4156296/4192956
[pid=28732] ppid=28730 vsize=8896 CPUtime=0.08
/proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 1544 0 0 0 8 0 0 0 18 0 1 0 260901294 9109504 1514 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28732/statm: 2224 1515 337 324 0 1167 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 8896

[startup+0.101591 s]
/proc/loadavg: 0.95 1.02 0.99 3/77 28732
/proc/meminfo: memFree=1810880/2055920 swapFree=4156296/4192956
[pid=28732] ppid=28730 vsize=9308 CPUtime=0.09
/proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 1651 0 0 0 9 0 0 0 18 0 1 0 260901294 9531392 1621 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 8873595 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28732/statm: 2327 1622 342 324 0 1270 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9308

[startup+0.301612 s]
/proc/loadavg: 0.95 1.02 0.99 3/77 28732
/proc/meminfo: memFree=1810880/2055920 swapFree=4156296/4192956
[pid=28732] ppid=28730 vsize=23268 CPUtime=0.29
/proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 5238 0 0 0 27 2 0 0 19 0 1 0 260901294 23826432 5041 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28732/statm: 5817 5041 304 324 0 4887 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23268

[startup+0.701656 s]
/proc/loadavg: 0.95 1.02 0.99 3/77 28732
/proc/meminfo: memFree=1810880/2055920 swapFree=4156296/4192956
[pid=28732] ppid=28730 vsize=23268 CPUtime=0.69
/proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 5239 0 0 0 67 2 0 0 22 0 1 0 260901294 23826432 5042 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28732/statm: 5817 5042 304 324 0 4887 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23268

[startup+1.50174 s]
/proc/loadavg: 0.95 1.02 0.99 2/78 28733
/proc/meminfo: memFree=1791608/2055920 swapFree=4156296/4192956
[pid=28732] ppid=28730 vsize=23268 CPUtime=1.49
/proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 5239 0 0 0 147 2 0 0 25 0 1 0 260901294 23826432 5042 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28732/statm: 5817 5042 304 324 0 4887 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23268

[startup+3.10192 s]
/proc/loadavg: 0.95 1.02 0.99 2/78 28733
/proc/meminfo: memFree=1791608/2055920 swapFree=4156296/4192956
[pid=28732] ppid=28730 vsize=23268 CPUtime=3.09
/proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 5239 0 0 0 306 3 0 0 25 0 1 0 260901294 23826432 5042 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28732/statm: 5817 5042 304 324 0 4887 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23268

[startup+6.30127 s]
/proc/loadavg: 0.95 1.02 0.99 2/78 28733
/proc/meminfo: memFree=1791608/2055920 swapFree=4156296/4192956
[pid=28732] ppid=28730 vsize=28024 CPUtime=6.29
/proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 6511 0 0 0 625 4 0 0 25 0 1 0 260901294 28696576 6239 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28732/statm: 7006 6239 306 324 0 6076 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28024

[startup+12.702 s]
/proc/loadavg: 0.96 1.02 0.99 2/78 28733
/proc/meminfo: memFree=1787704/2055920 swapFree=4156296/4192956
[pid=28732] ppid=28730 vsize=29724 CPUtime=12.69
/proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 8250 0 0 0 1258 11 0 0 25 0 1 0 260901294 30437376 6666 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 8873595 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28732/statm: 7431 6666 310 324 0 6501 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29724

[startup+25.5014 s]
/proc/loadavg: 0.97 1.01 0.99 2/78 28733
/proc/meminfo: memFree=1750712/2055920 swapFree=4156296/4192956
[pid=28732] ppid=28730 vsize=64884 CPUtime=25.49
/proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 17050 0 0 0 2533 16 0 0 25 0 1 0 260901294 66441216 15466 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28732/statm: 16221 15466 310 324 0 15291 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 64884

[startup+51.1012 s]
/proc/loadavg: 0.98 1.01 0.99 2/78 28733
/proc/meminfo: memFree=1709304/2055920 swapFree=4156296/4192956
[pid=28732] ppid=28730 vsize=106388 CPUtime=51.07
/proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 27439 0 0 0 5086 21 0 0 25 0 1 0 260901294 108941312 25855 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 8873595 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28732/statm: 26597 25855 310 324 0 25667 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 106388

[startup+102.306 s]
/proc/loadavg: 0.99 1.01 0.99 2/78 28733
/proc/meminfo: memFree=1643256/2055920 swapFree=4156296/4192956
[pid=28732] ppid=28730 vsize=171688 CPUtime=102.26
/proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 43751 0 0 0 10194 32 0 0 25 0 1 0 260901294 175808512 42167 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 8871420 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28732/statm: 42922 42167 310 324 0 41992 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 171688

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 28733
/proc/meminfo: memFree=1553272/2055920 swapFree=4156296/4192956
[pid=28732] ppid=28730 vsize=262092 CPUtime=162.23
/proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 66364 0 0 0 16177 46 0 0 25 0 1 0 260901294 268382208 64780 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28732/statm: 65523 64780 310 324 0 64593 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 262092

[startup+222.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 28733
/proc/meminfo: memFree=1484984/2055920 swapFree=4156296/4192956
[pid=28732] ppid=28730 vsize=329456 CPUtime=222.22
/proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 83193 0 0 0 22164 58 0 0 25 0 1 0 260901294 337362944 81609 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28732/statm: 82364 81609 310 324 0 81434 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 329456

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 28733
/proc/meminfo: memFree=1424312/2055920 swapFree=4156296/4192956
[pid=28732] ppid=28730 vsize=391116 CPUtime=282.2
/proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 98625 0 0 0 28153 67 0 0 25 0 1 0 260901294 400502784 97041 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28732/statm: 97779 97041 310 324 0 96849 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 391116

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 28733
/proc/meminfo: memFree=1363768/2055920 swapFree=4156296/4192956
[pid=28732] ppid=28730 vsize=450484 CPUtime=342.19
/proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 113455 0 0 0 34142 77 0 0 25 0 1 0 260901294 461295616 111871 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28732/statm: 112621 111871 310 324 0 111691 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 450484

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 28733
/proc/meminfo: memFree=1320888/2055920 swapFree=4156296/4192956
[pid=28732] ppid=28730 vsize=494192 CPUtime=402.17
/proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 124369 0 0 0 40133 84 0 0 25 0 1 0 260901294 506052608 122785 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28732/statm: 123548 122785 310 324 0 122618 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 494192

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 28733
/proc/meminfo: memFree=1275448/2055920 swapFree=4156296/4192956
[pid=28732] ppid=28730 vsize=538800 CPUtime=462.15
/proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 135517 0 0 0 46125 90 0 0 25 0 1 0 260901294 551731200 133933 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28732/statm: 134700 133933 310 324 0 133770 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 538800

[startup+522.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 28733
/proc/meminfo: memFree=1229112/2055920 swapFree=4156296/4192956
[pid=28732] ppid=28730 vsize=585344 CPUtime=522.13
/proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 147172 0 0 0 52115 98 0 0 25 0 1 0 260901294 599392256 145588 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28732/statm: 146336 145588 310 324 0 145406 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 585344

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 28733
/proc/meminfo: memFree=1186104/2055920 swapFree=4156296/4192956
[pid=28732] ppid=28730 vsize=627972 CPUtime=582.12
/proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 157815 0 0 0 58108 104 0 0 25 0 1 0 260901294 643043328 156231 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28732/statm: 156993 156231 310 324 0 156063 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 627972

[startup+642.302 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 28733
/proc/meminfo: memFree=1147192/2055920 swapFree=4156296/4192956
[pid=28732] ppid=28730 vsize=666632 CPUtime=642.1
/proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 167486 0 0 0 64100 110 0 0 25 0 1 0 260901294 682631168 165902 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28732/statm: 166658 165902 310 324 0 165728 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 666632


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28733
/proc/meminfo: memFree=1003512/2055920 swapFree=4156296/4192956
[pid=28732] ppid=28730 vsize=809996 CPUtime=882.03
/proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 203352 0 0 0 88068 135 0 0 25 0 1 0 260901294 829435904 201768 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4160091710 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28732/statm: 202499 201768 310 324 0 201569 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 809996

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28733
/proc/meminfo: memFree=968312/2055920 swapFree=4156296/4192956
[pid=28732] ppid=28730 vsize=845408 CPUtime=942.02
/proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 212196 0 0 0 94061 141 0 0 25 0 1 0 260901294 865697792 210612 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28732/statm: 211352 210612 310 324 0 210422 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 845408

[startup+1002.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 28733
/proc/meminfo: memFree=929016/2055920 swapFree=4156296/4192956
[pid=28732] ppid=28730 vsize=884440 CPUtime=1002
/proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 221947 0 0 0 100053 147 0 0 25 0 1 0 260901294 905666560 220363 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28732/statm: 221110 220363 310 324 0 220180 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 884440

[startup+1062.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 28733
/proc/meminfo: memFree=898040/2055920 swapFree=4156296/4192956
[pid=28732] ppid=28730 vsize=915856 CPUtime=1061.98
/proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 229798 0 0 0 106047 151 0 0 25 0 1 0 260901294 937836544 228214 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28732/statm: 228964 228214 310 324 0 228034 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 915856

[startup+1122.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/78 28733
/proc/meminfo: memFree=861624/2055920 swapFree=4156296/4192956
[pid=28732] ppid=28730 vsize=951708 CPUtime=1121.96
/proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 238785 0 0 0 112037 159 0 0 25 0 1 0 260901294 974548992 237201 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28732/statm: 237927 237201 310 324 0 236997 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 951708

[startup+1182.3 s]
/proc/loadavg: 1.05 1.04 1.00 2/78 28733
/proc/meminfo: memFree=831224/2055920 swapFree=4156296/4192956
[pid=28732] ppid=28730 vsize=982304 CPUtime=1181.95
/proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 246423 0 0 0 118030 165 0 0 25 0 1 0 260901294 1005879296 244839 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551368 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28732/statm: 245576 244839 310 324 0 244646 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 982304

[startup+1242.3 s]
/proc/loadavg: 1.16 1.07 1.01 2/78 28733
/proc/meminfo: memFree=796088/2055920 swapFree=4156296/4192956
[pid=28732] ppid=28730 vsize=1017336 CPUtime=1241.93
/proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 255164 0 0 0 124023 170 0 0 25 0 1 0 260901294 1041752064 253580 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28732/statm: 254334 253580 310 324 0 253404 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 1017336

[startup+1302.3 s]
/proc/loadavg: 1.13 1.07 1.01 2/78 28733
/proc/meminfo: memFree=762168/2055920 swapFree=4156296/4192956
[pid=28732] ppid=28730 vsize=1050816 CPUtime=1301.92
/proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 263534 0 0 0 130017 175 0 0 25 0 1 0 260901294 1076035584 261950 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 8873595 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28732/statm: 262704 261950 310 324 0 261774 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1050816

[startup+1362.3 s]
/proc/loadavg: 1.11 1.07 1.01 2/78 28733
/proc/meminfo: memFree=734584/2055920 swapFree=4156296/4192956
[pid=28732] ppid=28730 vsize=1078420 CPUtime=1361.89
/proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 270453 0 0 0 136010 179 0 0 25 0 1 0 260901294 1104302080 268869 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28732/statm: 269605 268869 310 324 0 268675 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1078420

[startup+1422.31 s]
/proc/loadavg: 1.10 1.07 1.01 2/78 28733
/proc/meminfo: memFree=708600/2055920 swapFree=4156296/4192956
[pid=28732] ppid=28730 vsize=1104104 CPUtime=1421.88
/proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 276880 0 0 0 142004 184 0 0 25 0 1 0 260901294 1130602496 275296 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28732/statm: 276026 275296 310 324 0 275096 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1104104

[startup+1482.3 s]
/proc/loadavg: 1.09 1.07 1.01 2/78 28735
/proc/meminfo: memFree=681976/2055920 swapFree=4156296/4192956
[pid=28732] ppid=28730 vsize=1130844 CPUtime=1481.85
/proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 283568 0 0 0 147996 189 0 0 25 0 1 0 260901294 1157984256 281984 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28732/statm: 282711 281984 310 324 0 281781 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1130844

[startup+1542.3 s]
/proc/loadavg: 1.03 1.05 1.00 2/78 28735
/proc/meminfo: memFree=661176/2055920 swapFree=4156296/4192956
[pid=28732] ppid=28730 vsize=1151700 CPUtime=1541.84
/proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 288768 0 0 0 153991 193 0 0 25 0 1 0 260901294 1179340800 287184 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28732/statm: 287925 287184 310 324 0 286995 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1151700

[startup+1602.3 s]
/proc/loadavg: 1.01 1.04 1.00 2/78 28735
/proc/meminfo: memFree=635256/2055920 swapFree=4156296/4192956
[pid=28732] ppid=28730 vsize=1177776 CPUtime=1601.82
/proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 295288 0 0 0 159985 197 0 0 25 0 1 0 260901294 1206042624 293704 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 8879744 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28732/statm: 294444 293704 310 324 0 293514 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1177776

[startup+1662.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/78 28735
/proc/meminfo: memFree=610424/2055920 swapFree=4156296/4192956
[pid=28732] ppid=28730 vsize=1202412 CPUtime=1661.8
/proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 301452 0 0 0 165978 202 0 0 25 0 1 0 260901294 1231269888 299868 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28732/statm: 300603 299868 310 324 0 299673 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1202412

[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 28735
/proc/meminfo: memFree=587704/2055920 swapFree=4156296/4192956
[pid=28732] ppid=28730 vsize=1225260 CPUtime=1721.79
/proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 307158 0 0 0 171972 207 0 0 25 0 1 0 260901294 1254666240 305574 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28732/statm: 306315 305574 310 324 0 305385 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1225260

[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 28735
/proc/meminfo: memFree=565624/2055920 swapFree=4156296/4192956
[pid=28732] ppid=28730 vsize=1247024 CPUtime=1781.77
/proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 312600 0 0 0 177965 212 0 0 25 0 1 0 260901294 1276952576 311016 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28732/statm: 311756 311016 310 324 0 310826 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1247024



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 28735
/proc/meminfo: memFree=556856/2055920 swapFree=4156296/4192956
[pid=28732] ppid=28730 vsize=1255700 CPUtime=1800.07
/proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 314758 0 0 0 179793 214 0 0 25 0 1 0 260901294 1285836800 313174 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28732/statm: 313925 313174 310 324 0 312995 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1255700

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

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

[startup+1800.8 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 28735
/proc/meminfo: memFree=556856/2055920 swapFree=4156296/4192956
[pid=28732] ppid=28730 vsize=0 CPUtime=1800.27
/proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194308 314762 0 0 0 179794 233 0 0 25 0 1 0 260901294 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/28732/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.82
CPU time (s): 1800.29
CPU user time (s): 1797.94
CPU system time (s): 2.35164
CPU usage (%): 99.9708
Max. virtual memory (cumulated for all children) (KiB): 1255700

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

runsolver used 1.52277 second user time and 4.16537 second system time

The end

Launcher Data (download as text)

Begin job on node21 on Wed May  2 18:17:20 UTC 2007

IDJOB= 453306
IDBENCH= 48121
IDSOLVER= 199
FILE ID= node21/453306-1178129840

PBS_JOBID= 4751039

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/mds/normalized-mds_500_60_5.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/453306-1178129840/instance-453306-1178129840.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node21/watcher-453306-1178129840 -o ROOT/results/node21/solver-453306-1178129840 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/453306-1178129840/instance-453306-1178129840.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  e079962149860142627e0ca6e79ba5d1

RANDOM SEED= 554668807

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node21.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.232
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.232
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:       1811288 kB
Buffers:         69740 kB
Cached:          81116 kB
SwapCached:      15540 kB
Active:          98420 kB
Inactive:        81996 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1811288 kB
SwapTotal:     4192956 kB
SwapFree:      4156296 kB
Dirty:            7108 kB
Writeback:           0 kB
Mapped:          35452 kB
Slab:            49772 kB
Committed_AS:  4783404 kB
PageTables:       1800 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 node21 on Wed May  2 18:47:23 UTC 2007