Trace number 453285

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)20 1800.23 1800.82

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_60_1.opb
MD5SUM7931a71f4daac58a32a56f6c89bc3525
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark16
Best CPU time to get the best result obtained on this benchmark1800.21
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 16
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 constraint104
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)37366
Sum of products size (including duplicates)74732
Number of different products37366
Sum of products size74732

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/453285-1178128100/instance-453285-1178128100.opb
0.00/0.00	c File size is 515297 bytes.
0.19/0.22	c Highest Coefficient sum: 500
0.19/0.22	c Parsing was ok!!
0.19/0.22	c Total parsing time: 0.22 s
0.19/0.28	c Var: 37866 Constr: 75232 37866/0/37366 Lit: 262062 Watch. Lit: 187830
0.19/0.28	c Obj. Vars: 500 (1.32045 % of total variables)
7.59/7.67	c Pre-processing Time: 7.667 s
7.59/7.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.59/7.67	c        0  37866    75232   262062    3   187830  236817      0      0 7.67
7.59/7.67	c Switching off LPR mode.
7.70/7.73	o 499	7.732
7.79/7.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.79/7.80	c        0  37866    75233   262562    3   187833  237151      1      0 7.75
7.79/7.80	o 498	7.802
7.79/7.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.79/7.88	c        0  37866    75234   263062    3   187837  237651      2      0 7.82
7.79/7.88	o 497	7.875
7.89/7.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.89/7.95	c        0  37866    75235   263562    3   187842  238317      3      0 7.90
7.89/7.95	o 496	7.948
7.99/8.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.99/8.02	c        0  37866    75236   264062    3   187848  239151      4      0 7.97
7.99/8.02	o 495	8.021
7.99/8.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.99/8.09	c        0  37866    75237   264562    3   187855  240151      5      0 8.04
7.99/8.09	o 494	8.093
8.09/8.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.09/8.17	c        0  37866    75238   265062    3   187863  241151      6      0 8.12
8.09/8.17	o 493	8.165
8.19/8.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.19/8.24	c        0  37866    75239   265562    3   187872  242151      7      0 8.19
8.19/8.24	o 492	8.234
8.29/8.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.29/8.31	c        0  37866    75240   266062    3   187882  243151      8      0 8.26
8.29/8.31	o 491	8.305
8.29/8.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.29/8.38	c        0  37866    75241   266562    3   187893  244151      9      0 8.33
8.29/8.38	o 490	8.377
8.39/8.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.39/8.45	c        0  37866    75242   267062    3   187905  245151     10      0 8.40
8.39/8.45	o 489	8.449
8.48/8.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.48/8.52	c        0  37866    75243   267562    3   187918  246151     11      0 8.47
8.48/8.52	o 488	8.521
8.48/8.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.48/8.59	c        0  37866    75244   268062    3   187932  247151     12      0 8.54
8.48/8.59	o 487	8.593
8.59/8.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.59/8.67	c        0  37866    75245   268562    3   187947  248151     13      0 8.62
8.59/8.67	o 486	8.665
8.70/8.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.70/8.74	c        0  37866    75246   269062    3   187963  249151     14      0 8.69
8.70/8.74	o 485	8.737
8.79/8.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.79/8.81	c        0  37866    75247   269562    3   187980  250151     15      0 8.76
8.79/8.81	o 484	8.809
8.79/8.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.79/8.88	c        0  37866    75248   270062    3   187998  251151     16      0 8.83
8.79/8.88	o 483	8.879
8.89/8.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.89/8.95	c        0  37866    75249   270562    3   188017  252151     17      0 8.90
8.89/8.95	o 482	8.949
8.99/9.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.99/9.02	c        0  37866    75250   271062    3   188037  253151     18      0 8.97
8.99/9.02	o 481	9.021
8.99/9.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.99/9.09	c        0  37866    75251   271562    3   188058  254151     19      0 9.04
8.99/9.09	o 480	9.09
9.09/9.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.09/9.16	c        0  37866    75252   272062    3   188080  255151     20      0 9.11
9.09/9.16	o 479	9.16
9.19/9.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.19/9.23	c        0  37866    75253   272562    3   188103  256151     21      0 9.18
9.19/9.23	o 478	9.232
9.29/9.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.29/9.30	c        0  37866    75254   273062    3   188127  257151     22      0 9.25
9.29/9.30	o 477	9.302
9.29/9.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.29/9.37	c        0  37866    75255   273562    3   188152  258151     23      0 9.32
9.29/9.37	o 476	9.372
9.38/9.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.38/9.45	c        0  37866    75256   274062    3   188178  259151     24      0 9.39
9.38/9.45	o 475	9.444
9.49/9.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.49/9.52	c        0  37866    75257   274562    3   188205  260151     25      0 9.46
9.49/9.52	o 474	9.516
9.49/9.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.49/9.59	c        0  37866    75258   275062    3   188233  261151     26      0 9.54
9.49/9.59	o 473	9.588
9.59/9.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.59/9.66	c        0  37866    75259   275562    3   188262  262151     27      0 9.61
9.59/9.66	o 472	9.658
9.69/9.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.69/9.73	c        0  37866    75260   276062    3   188292  263151     28      0 9.68
9.69/9.73	o 471	9.73
9.80/9.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.80/9.80	c        0  37866    75261   276562    3   188323  264151     29      0 9.75
9.80/9.80	o 470	9.802
9.80/9.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.80/9.88	c        0  37866    75262   277062    3   188355  265151     30      0 9.82
9.80/9.88	o 469	9.874
9.90/9.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.90/9.98	c        1  37866    75264   278032    3   188390  265151     32      0 9.90
9.90/9.98	o 21	9.977
10.09/10.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.09/10.12	c        1  37866    75265   278532    3   188871  265151     33      0 10.01
10.09/10.12	o 20	10.119
1799.90/1800.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.90/1800.59	c       42  37866    75307   288322    3   189435  265151     75      4 10.15
1799.90/1800.59	c      142  37866    75407   313396    4   189635  291667    175     13 10.33
1799.90/1800.59	c      393  37866    75658   385235    5   190137  320834    426     36 10.68
1799.90/1800.59	c      868  37866    76133   499586    6   191087  352918    901     77 11.22
1799.90/1800.59	c     1683  37866    76948   737924    9   192717  388210   1716    135 12.41
1799.90/1800.59	c     3004  37866    78269  1216146   15   195359  427032   3037    215 13.97
1799.90/1800.59	c     5085  37866    80350  1864255   23   199521  469736   5118    294 17.28
1799.90/1800.59	c     8308  37866    83573  2495947   29   205967  516710   8341    369 22.49
1799.90/1800.59	c    13244  37866    88509  3968984   44   215839  568382  13277    429 30.86
1799.90/1800.59	c    20751  37866    96016  6269105   65   230853  625221  20784    463 44.78
1799.90/1800.59	c    32112  37866   107377  8894646   82   253575  687744  32145    403 79.52
1799.90/1800.59	c    49257  37866   124522 12965149  104   287865  756519  49290    371 132.66
1799.90/1800.59	c    75076  37866   150341 20885405  138   339503  832171  75109    339 221.30
1799.90/1800.59	c   113909  37866   189174 34270969  181   417169  915389 113942    278 408.83
1799.90/1800.59	c   172261  37866   247526 61094408  246   533873  500000 172294    205 838.10
1799.90/1800.59	c   259894  37866   335159 96294201  287   709139  550001 259927    158 1641.35
1799.90/1800.59	c Resources Exceeded
1799.90/1800.59	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
1799.90/1800.59	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 -x58
1799.90/1800.59	v 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
1799.90/1800.59	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
1799.90/1800.59	v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129
1799.90/1800.59	v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
1799.90/1800.59	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171
1799.90/1800.59	v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192
1799.90/1800.59	v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213
1799.90/1800.59	v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234
1799.90/1800.59	v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255
1799.90/1800.59	v -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276
1799.90/1800.59	v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297
1799.90/1800.59	v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318
1799.90/1800.59	v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 x339
1799.90/1800.59	v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360
1799.90/1800.59	v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381
1799.90/1800.59	v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402
1799.90/1800.59	v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423
1799.90/1800.59	v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444
1799.90/1800.59	v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465
1799.90/1800.59	v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486
1799.90/1800.59	v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
1799.90/1800.59	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.90/1800.59	c   48   277167  82037   463471   352432 102579348 277200    153 1800.00
1799.90/1800.59	c Objective: 20
1799.90/1800.59	s SATISFIABLE
1799.90/1800.59	c Total time: 1800 s

Verifier Data (download as text)

OK	20

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-453285-1178128100 -o ROOT/results/node1/solver-453285-1178128100 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453285-1178128100/instance-453285-1178128100.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.91 0.95 0.98 3/77 23366
/proc/meminfo: memFree=1561904/2055920 swapFree=4145736/4192956
[pid=23366] ppid=23364 vsize=12240 CPUtime=0
/proc/23366/stat : 23366 (bsolo3.0.16) R 23364 23366 23153 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 288847834 12533760 336 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23366/statm: 3060 336 281 324 0 2003 0

[startup+0.028207 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 23366
/proc/meminfo: memFree=1561904/2055920 swapFree=4145736/4192956
[pid=23366] ppid=23364 vsize=5668 CPUtime=0.02
/proc/23366/stat : 23366 (bsolo3.0.16) R 23364 23366 23153 0 -1 4194304 707 0 0 0 2 0 0 0 18 0 1 0 288847834 5804032 677 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23366/statm: 1417 678 305 324 0 360 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5668

[startup+0.101216 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 23366
/proc/meminfo: memFree=1561904/2055920 swapFree=4145736/4192956
[pid=23366] ppid=23364 vsize=9708 CPUtime=0.09
/proc/23366/stat : 23366 (bsolo3.0.16) R 23364 23366 23153 0 -1 4194304 1731 0 0 0 9 0 0 0 18 0 1 0 288847834 9940992 1701 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23366/statm: 2427 1702 348 324 0 1370 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9708

[startup+0.30124 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 23366
/proc/meminfo: memFree=1561904/2055920 swapFree=4145736/4192956
[pid=23366] ppid=23364 vsize=23220 CPUtime=0.29
/proc/23366/stat : 23366 (bsolo3.0.16) R 23364 23366 23153 0 -1 4194304 5213 0 0 0 28 1 0 0 19 0 1 0 288847834 23777280 5017 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23366/statm: 5805 5017 306 324 0 4874 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23220

[startup+0.701286 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 23366
/proc/meminfo: memFree=1561904/2055920 swapFree=4145736/4192956
[pid=23366] ppid=23364 vsize=23220 CPUtime=0.69
/proc/23366/stat : 23366 (bsolo3.0.16) R 23364 23366 23153 0 -1 4194304 5213 0 0 0 67 2 0 0 22 0 1 0 288847834 23777280 5017 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23366/statm: 5805 5017 306 324 0 4874 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23220

[startup+1.50138 s]
/proc/loadavg: 0.91 0.95 0.98 2/78 23367
/proc/meminfo: memFree=1542952/2055920 swapFree=4145736/4192956
[pid=23366] ppid=23364 vsize=23220 CPUtime=1.49
/proc/23366/stat : 23366 (bsolo3.0.16) R 23364 23366 23153 0 -1 4194304 5213 0 0 0 147 2 0 0 25 0 1 0 288847834 23777280 5017 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23366/statm: 5805 5017 306 324 0 4874 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23220

[startup+3.10157 s]
/proc/loadavg: 0.91 0.95 0.98 2/78 23367
/proc/meminfo: memFree=1542824/2055920 swapFree=4145736/4192956
[pid=23366] ppid=23364 vsize=23220 CPUtime=3.09
/proc/23366/stat : 23366 (bsolo3.0.16) R 23364 23366 23153 0 -1 4194304 5213 0 0 0 307 2 0 0 25 0 1 0 288847834 23777280 5017 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23366/statm: 5805 5017 306 324 0 4874 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23220

[startup+6.30194 s]
/proc/loadavg: 0.92 0.95 0.98 2/78 23367
/proc/meminfo: memFree=1542568/2055920 swapFree=4145736/4192956
[pid=23366] ppid=23364 vsize=27968 CPUtime=6.29
/proc/23366/stat : 23366 (bsolo3.0.16) R 23364 23366 23153 0 -1 4194304 6478 0 0 0 624 5 0 0 25 0 1 0 288847834 28639232 6208 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23366/statm: 6992 6208 308 324 0 6061 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27968

[startup+12.7017 s]
/proc/loadavg: 0.93 0.95 0.98 2/78 23367
/proc/meminfo: memFree=1536560/2055920 swapFree=4145736/4192956
[pid=23366] ppid=23364 vsize=31316 CPUtime=12.69
/proc/23366/stat : 23366 (bsolo3.0.16) R 23364 23366 23153 0 -1 4194304 8645 0 0 0 1253 16 0 0 25 0 1 0 288847834 32067584 7070 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23366/statm: 7829 7070 312 324 0 6898 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31316

[startup+25.5012 s]
/proc/loadavg: 0.94 0.96 0.98 2/78 23367
/proc/meminfo: memFree=1504112/2055920 swapFree=4145736/4192956
[pid=23366] ppid=23364 vsize=62572 CPUtime=25.48
/proc/23366/stat : 23366 (bsolo3.0.16) R 23364 23366 23153 0 -1 4194304 16475 0 0 0 2525 23 0 0 25 0 1 0 288847834 64073728 14900 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23366/statm: 15643 14900 312 324 0 14712 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 62572

[startup+51.1012 s]
/proc/loadavg: 0.96 0.96 0.98 2/78 23367
/proc/meminfo: memFree=1456752/2055920 swapFree=4145736/4192956
[pid=23366] ppid=23364 vsize=110004 CPUtime=51.08
/proc/23366/stat : 23366 (bsolo3.0.16) R 23364 23366 23153 0 -1 4194304 28328 0 0 0 5076 32 0 0 25 0 1 0 288847834 112644096 26753 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23366/statm: 27501 26753 312 324 0 26570 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 110004

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.98 2/78 23367
/proc/meminfo: memFree=1399216/2055920 swapFree=4145736/4192956
[pid=23366] ppid=23364 vsize=166464 CPUtime=102.27
/proc/23366/stat : 23366 (bsolo3.0.16) R 23364 23366 23153 0 -1 4194304 42439 0 0 0 10182 45 0 0 25 0 1 0 288847834 170459136 40864 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23366/statm: 41616 40864 312 324 0 40685 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 166464

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23367
/proc/meminfo: memFree=1330416/2055920 swapFree=4145736/4192956
[pid=23366] ppid=23364 vsize=235744 CPUtime=162.25
/proc/23366/stat : 23366 (bsolo3.0.16) R 23364 23366 23153 0 -1 4194304 59762 0 0 0 16163 62 0 0 25 0 1 0 288847834 241401856 58187 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23366/statm: 58936 58187 312 324 0 58005 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 235744

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23367
/proc/meminfo: memFree=1268976/2055920 swapFree=4145736/4192956
[pid=23366] ppid=23364 vsize=296528 CPUtime=222.23
/proc/23366/stat : 23366 (bsolo3.0.16) R 23364 23366 23153 0 -1 4194304 74957 0 0 0 22148 75 0 0 25 0 1 0 288847834 303644672 73382 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23366/statm: 74132 73382 312 324 0 73201 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 296528

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23367
/proc/meminfo: memFree=1191088/2055920 swapFree=4145736/4192956
[pid=23366] ppid=23364 vsize=374884 CPUtime=282.22
/proc/23366/stat : 23366 (bsolo3.0.16) R 23364 23366 23153 0 -1 4194304 94556 0 0 0 28130 92 0 0 25 0 1 0 288847834 383881216 92981 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23366/statm: 93721 92981 312 324 0 92790 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 374884

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23367
/proc/meminfo: memFree=1141744/2055920 swapFree=4145736/4192956
[pid=23366] ppid=23364 vsize=423332 CPUtime=342.2
/proc/23366/stat : 23366 (bsolo3.0.16) R 23364 23366 23153 0 -1 4194304 106657 0 0 0 34117 103 0 0 25 0 1 0 288847834 433491968 105082 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134547962 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23366/statm: 105833 105082 312 324 0 104902 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 423332

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23367
/proc/meminfo: memFree=1098608/2055920 swapFree=4145736/4192956
[pid=23366] ppid=23364 vsize=466724 CPUtime=402.19
/proc/23366/stat : 23366 (bsolo3.0.16) R 23364 23366 23153 0 -1 4194304 117492 0 0 0 40107 112 0 0 25 0 1 0 288847834 477925376 115917 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551970 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23366/statm: 116681 115917 312 324 0 115750 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 466724

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23367
/proc/meminfo: memFree=1046320/2055920 swapFree=4145736/4192956
[pid=23366] ppid=23364 vsize=518720 CPUtime=462.17
/proc/23366/stat : 23366 (bsolo3.0.16) R 23364 23366 23153 0 -1 4194304 130492 0 0 0 46095 122 0 0 25 0 1 0 288847834 531169280 128917 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23366/statm: 129680 128919 312 324 0 128749 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 518720

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23367
/proc/meminfo: memFree=996592/2055920 swapFree=4145736/4192956
[pid=23366] ppid=23364 vsize=568556 CPUtime=522.15
/proc/23366/stat : 23366 (bsolo3.0.16) R 23364 23366 23153 0 -1 4194304 142976 0 0 0 52085 130 0 0 25 0 1 0 288847834 582201344 141401 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23366/statm: 142139 141401 312 324 0 141208 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 568556

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23367
/proc/meminfo: memFree=942256/2055920 swapFree=4145736/4192956
[pid=23366] ppid=23364 vsize=622520 CPUtime=582.13
/proc/23366/stat : 23366 (bsolo3.0.16) R 23364 23366 23153 0 -1 4194304 156466 0 0 0 58074 139 0 0 25 0 1 0 288847834 637460480 154891 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23366/statm: 155630 154891 312 324 0 154699 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 622520

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23367
/proc/meminfo: memFree=901488/2055920 swapFree=4145736/4192956
[pid=23366] ppid=23364 vsize=662556 CPUtime=642.12
/proc/23366/stat : 23366 (bsolo3.0.16) R 23364 23366 23153 0 -1 4194304 166469 0 0 0 64063 149 0 0 25 0 1 0 288847834 678457344 164894 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134547451 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23366/statm: 165639 164894 312 324 0 164708 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 662556


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23565
/proc/meminfo: memFree=707432/2055920 swapFree=4145736/4192956
[pid=23366] ppid=23364 vsize=856060 CPUtime=881.95
/proc/23366/stat : 23366 (bsolo3.0.16) R 23364 23366 23153 0 -1 4194304 214850 0 0 0 88008 187 0 0 25 0 1 0 288847834 876605440 213275 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23366/statm: 214015 213275 312 324 0 213084 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 856060

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23565
/proc/meminfo: memFree=662056/2055920 swapFree=4145736/4192956
[pid=23366] ppid=23364 vsize=901708 CPUtime=941.94
/proc/23366/stat : 23366 (bsolo3.0.16) R 23364 23366 23153 0 -1 4194304 226245 0 0 0 93996 198 0 0 25 0 1 0 288847834 923348992 224670 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23366/statm: 225427 224670 312 324 0 224496 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 901708

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23565
/proc/meminfo: memFree=614248/2055920 swapFree=4145736/4192956
[pid=23366] ppid=23364 vsize=949076 CPUtime=1001.92
/proc/23366/stat : 23366 (bsolo3.0.16) R 23364 23366 23153 0 -1 4194304 238097 0 0 0 99987 205 0 0 25 0 1 0 288847834 971853824 236522 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23366/statm: 237269 236522 312 324 0 236338 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 949076

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23565
/proc/meminfo: memFree=578984/2055920 swapFree=4145736/4192956
[pid=23366] ppid=23364 vsize=984540 CPUtime=1061.9
/proc/23366/stat : 23366 (bsolo3.0.16) R 23364 23366 23153 0 -1 4194304 246978 0 0 0 105978 212 0 0 25 0 1 0 288847834 1008168960 245403 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23366/statm: 246135 245403 312 324 0 245204 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 984540

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23565
/proc/meminfo: memFree=546088/2055920 swapFree=4145736/4192956
[pid=23366] ppid=23364 vsize=1017004 CPUtime=1121.89
/proc/23366/stat : 23366 (bsolo3.0.16) R 23364 23366 23153 0 -1 4194304 255095 0 0 0 111970 219 0 0 25 0 1 0 288847834 1041412096 253520 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134572232 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23366/statm: 254251 253520 312 324 0 253320 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 1017004

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23565
/proc/meminfo: memFree=512816/2055920 swapFree=4145736/4192956
[pid=23366] ppid=23364 vsize=1050548 CPUtime=1181.87
/proc/23366/stat : 23366 (bsolo3.0.16) R 23364 23366 23153 0 -1 4194304 263455 0 0 0 117960 227 0 0 25 0 1 0 288847834 1075761152 261880 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23366/statm: 262637 261880 312 324 0 261706 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 1050548

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23565
/proc/meminfo: memFree=474800/2055920 swapFree=4145736/4192956
[pid=23366] ppid=23364 vsize=1087860 CPUtime=1241.85
/proc/23366/stat : 23366 (bsolo3.0.16) R 23364 23366 23153 0 -1 4194304 272801 0 0 0 123951 234 0 0 25 0 1 0 288847834 1113968640 271226 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23366/statm: 271965 271226 312 324 0 271034 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1087860

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23565
/proc/meminfo: memFree=439472/2055920 swapFree=4145736/4192956
[pid=23366] ppid=23364 vsize=1123016 CPUtime=1301.84
/proc/23366/stat : 23366 (bsolo3.0.16) R 23364 23366 23153 0 -1 4194304 281590 0 0 0 129943 241 0 0 25 0 1 0 288847834 1149968384 280015 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23366/statm: 280754 280015 312 324 0 279823 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1123016

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23565
/proc/meminfo: memFree=408944/2055920 swapFree=4145736/4192956
[pid=23366] ppid=23364 vsize=1153824 CPUtime=1361.82
/proc/23366/stat : 23366 (bsolo3.0.16) R 23364 23366 23153 0 -1 4194304 289283 0 0 0 135934 248 0 0 25 0 1 0 288847834 1181515776 287708 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23366/statm: 288456 287708 312 324 0 287525 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1153824

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23565
/proc/meminfo: memFree=377456/2055920 swapFree=4145736/4192956
[pid=23366] ppid=23364 vsize=1185032 CPUtime=1421.81
/proc/23366/stat : 23366 (bsolo3.0.16) R 23364 23366 23153 0 -1 4194304 297084 0 0 0 141928 253 0 0 25 0 1 0 288847834 1213472768 295509 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23366/statm: 296258 295509 312 324 0 295327 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1185032

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23565
/proc/meminfo: memFree=348784/2055920 swapFree=4145736/4192956
[pid=23366] ppid=23364 vsize=1213884 CPUtime=1481.79
/proc/23366/stat : 23366 (bsolo3.0.16) R 23364 23366 23153 0 -1 4194304 304314 0 0 0 147919 260 0 0 25 0 1 0 288847834 1243017216 302739 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23366/statm: 303471 302739 312 324 0 302540 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1213884

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23565
/proc/meminfo: memFree=324592/2055920 swapFree=4145736/4192956
[pid=23366] ppid=23364 vsize=1237784 CPUtime=1541.77
/proc/23366/stat : 23366 (bsolo3.0.16) R 23364 23366 23153 0 -1 4194304 310275 0 0 0 153912 265 0 0 25 0 1 0 288847834 1267490816 308700 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23366/statm: 309446 308700 312 324 0 308515 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 1237784

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23565
/proc/meminfo: memFree=303408/2055920 swapFree=4145736/4192956
[pid=23366] ppid=23364 vsize=1259168 CPUtime=1601.75
/proc/23366/stat : 23366 (bsolo3.0.16) R 23364 23366 23153 0 -1 4194304 315615 0 0 0 159906 269 0 0 25 0 1 0 288847834 1289388032 314040 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23366/statm: 314792 314040 312 324 0 313861 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 1259168

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23565
/proc/meminfo: memFree=277360/2055920 swapFree=4145736/4192956
[pid=23366] ppid=23364 vsize=1284928 CPUtime=1661.74
/proc/23366/stat : 23366 (bsolo3.0.16) R 23364 23366 23153 0 -1 4194304 322078 0 0 0 165899 275 0 0 25 0 1 0 288847834 1315766272 320503 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23366/statm: 321232 320503 312 324 0 320301 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 1284928

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23565
/proc/meminfo: memFree=245168/2055920 swapFree=4145736/4192956
[pid=23366] ppid=23364 vsize=1317196 CPUtime=1721.72
/proc/23366/stat : 23366 (bsolo3.0.16) R 23364 23366 23153 0 -1 4194304 330137 0 0 0 171890 282 0 0 25 0 1 0 288847834 1348808704 328562 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23366/statm: 329299 328562 312 324 0 328368 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 1317196

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23565
/proc/meminfo: memFree=213616/2055920 swapFree=4145736/4192956
[pid=23366] ppid=23364 vsize=1348476 CPUtime=1781.7
/proc/23366/stat : 23366 (bsolo3.0.16) R 23364 23366 23153 0 -1 4194304 337961 0 0 0 177879 291 0 0 25 0 1 0 288847834 1380839424 336386 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23366/statm: 337119 336386 312 324 0 336188 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 1348476



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23565
/proc/meminfo: memFree=253232/2055920 swapFree=4145736/4192956
[pid=23366] ppid=23364 vsize=0 CPUtime=1800.01
/proc/23366/stat : 23366 (bsolo3.0.16) R 23364 23366 23153 0 -1 4194308 339921 0 0 0 179706 295 0 0 25 0 1 0 288847834 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23366/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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.8 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23565
/proc/meminfo: memFree=253232/2055920 swapFree=4145736/4192956
[pid=23366] ppid=23364 vsize=0 CPUtime=1800.2
/proc/23366/stat : 23366 (bsolo3.0.16) R 23364 23366 23153 0 -1 4194308 339921 0 0 0 179706 314 0 0 25 0 1 0 288847834 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23366/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.82
CPU time (s): 1800.23
CPU user time (s): 1797.06
CPU system time (s): 3.16752
CPU usage (%): 99.9672
Max. virtual memory (cumulated for all children) (KiB): 1356292

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

runsolver used 1.38979 second user time and 4.00439 second system time

The end

Launcher Data (download as text)

Begin job on node1 on Wed May  2 17:48:20 UTC 2007

IDJOB= 453285
IDBENCH= 48120
IDSOLVER= 163
FILE ID= node1/453285-1178128100

PBS_JOBID= 4751053

Free space on /tmp= 54608 MiB

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  7931a71f4daac58a32a56f6c89bc3525

RANDOM SEED= 415960942

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:       1562312 kB
Buffers:         29408 kB
Cached:         355780 kB
SwapCached:      14788 kB
Active:          60652 kB
Inactive:       347976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1562312 kB
SwapTotal:     4192956 kB
SwapFree:      4145736 kB
Dirty:            7240 kB
Writeback:           0 kB
Mapped:          29620 kB
Slab:            70424 kB
Committed_AS:  9402460 kB
PageTables:       1832 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 Wed May  2 18:18:23 UTC 2007