Trace number 362829

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
Pueblo 1.4SAT-32343 1782.73 1783.27

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-kb2.opb
MD5SUM396a97b3a9140f57450f18f44f605394
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-293850
Best CPU time to get the best result obtained on this benchmark7.71283
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -293850
Optimality of the best value was proved YES
Number of variables1096
Total number of constraints52
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 constraints52
Minimum length of a constraint13
Maximum length of a constraint300
Number of terms in the objective function 48
Biggest coefficient in the objective function 188062
Number of bits for the biggest coefficient in the objective function 18
Sum of the numbers in the objective function 524313
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262081
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524520
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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 Pueblo version 1.4 (September 2005)
0.00/0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00/0.00	c  by Hossein Sheini
0.00/0.03	c starting to Solve
0.00/0.03	c #variables read: 1096 - #constraints read: 69
0.00/0.04	o 376128
0.09/0.17	o 375061
0.09/0.18	o 374793
0.09/0.19	o 374258
0.09/0.19	o 373724
0.19/0.20	o 373457
0.19/0.20	o 373206
0.19/0.21	o 373198
0.19/0.21	o 373194
0.19/0.22	o 373192
0.19/0.22	o 373191
0.19/0.23	o 373189
0.19/0.26	o 373188
0.19/0.27	o 373186
0.19/0.27	o 373185
0.19/0.28	o 373180
0.19/0.28	o 373179
0.19/0.28	o 373169
0.19/0.29	o 373168
0.19/0.29	o 373146
0.29/0.30	o 373145
0.29/0.30	o 373100
0.29/0.31	o 373099
0.29/0.31	o 373008
0.29/0.32	o 373007
0.29/0.32	o 372824
0.29/0.33	o 372821
0.29/0.34	o 372454
0.29/0.35	o 371719
0.29/0.36	o 370251
0.29/0.38	o 370249
0.38/0.44	o 370246
0.38/0.44	o 370243
0.38/0.44	o 370242
0.38/0.44	o 370237
0.38/0.44	o 370236
0.38/0.44	o 370233
0.38/0.45	o 370226
0.38/0.45	o 370225
0.38/0.45	o 370222
0.38/0.45	o 370216
0.38/0.45	o 370203
0.38/0.45	o 370202
0.38/0.45	o 370199
0.38/0.45	o 370193
0.38/0.45	o 370182
0.38/0.45	o 370157
0.38/0.45	o 370156
0.38/0.45	o 370153
0.38/0.46	o 370147
0.38/0.46	o 370136
0.38/0.46	o 370113
0.38/0.46	o 370065
0.38/0.47	o 370064
0.38/0.48	o 370061
0.38/0.49	o 370055
0.49/0.50	o 370044
0.49/0.51	o 370021
0.49/0.52	o 369975
0.49/0.53	o 369881
0.49/0.54	o 369880
0.49/0.55	o 369877
0.49/0.56	o 369871
0.49/0.57	o 369860
0.49/0.58	o 369837
0.49/0.58	o 369791
0.49/0.59	o 369699
0.59/0.60	o 369514
0.59/0.61	o 369513
0.59/0.61	o 369510
0.59/0.62	o 369504
0.59/0.63	o 369493
0.59/0.64	o 369470
0.59/0.65	o 369424
0.59/0.65	o 369332
0.59/0.66	o 369148
0.59/0.67	o 367310
0.59/0.68	o 367309
0.59/0.68	o 367306
0.59/0.69	o 367300
0.69/0.70	o 367289
0.69/0.71	o 367266
0.69/0.72	o 367220
0.69/0.72	o 367128
0.69/0.73	o 366944
0.69/0.74	o 366577
0.69/0.75	o 365842
0.69/0.76	o 364374
0.79/0.80	o 364372
3.69/3.78	o 361452
3.79/3.84	o 361451
3.79/3.84	o 361442
3.79/3.87	o 361435
3.88/3.95	o 361434
3.88/3.96	o 360703
4.59/4.61	o 359970
29.98/30.06	o 359968
39.28/39.37	o 359967
39.28/39.38	o 359965
39.28/39.38	o 358499
39.28/39.38	o 358497
39.88/39.93	o 358494
39.88/39.94	o 358491
39.88/39.94	o 358490
39.88/39.94	o 358485
39.88/39.94	o 358484
39.88/39.94	o 358481
39.88/39.94	o 358474
39.88/39.95	o 358473
39.88/39.95	o 358470
39.88/39.95	o 358464
39.88/39.95	o 358451
39.88/39.95	o 358450
39.88/39.95	o 358447
39.88/39.95	o 358441
39.88/39.95	o 358430
39.88/39.95	o 358405
39.88/39.95	o 358403
39.88/39.95	o 358402
39.88/39.96	o 358399
39.88/39.96	o 358393
39.88/39.96	o 358382
39.88/39.96	o 358359
39.88/39.97	o 358311
39.88/39.97	o 358310
39.88/39.98	o 358307
39.88/39.99	o 358301
39.88/39.99	o 358290
39.98/40.00	o 358267
39.98/40.01	o 358221
39.98/40.01	o 358127
39.98/40.02	o 358126
39.98/40.03	o 358123
39.98/40.03	o 358117
39.98/40.04	o 358106
39.98/40.05	o 358083
39.98/40.05	o 358037
39.98/40.06	o 357945
39.98/40.07	o 357760
39.98/40.08	o 357759
39.98/40.08	o 357756
39.98/40.09	o 357750
39.98/40.10	o 357739
40.08/40.10	o 357716
40.08/40.11	o 357670
40.08/40.12	o 357578
40.08/40.12	o 357394
40.08/40.13	o 357025
40.08/40.14	o 357024
40.08/40.15	o 357021
40.18/40.21	o 357015
57.88/57.98	o 352620
58.48/58.50	o 352619
65.67/65.79	o 352617
65.67/65.79	o 352616
65.77/65.80	o 352614
65.77/65.80	o 352613
65.77/65.80	o 352610
65.77/65.80	o 352608
65.77/65.80	o 352607
65.77/65.80	o 352604
65.77/65.80	o 352599
65.77/65.80	o 352597
65.77/65.81	o 352596
65.77/65.81	o 352593
65.77/65.81	o 352587
65.77/65.81	o 352576
65.77/65.81	o 352574
65.77/65.81	o 352573
65.77/65.81	o 352570
65.77/65.81	o 352564
65.77/65.81	o 352553
65.77/65.81	o 352530
65.77/65.81	o 352528
65.77/65.81	o 352527
65.77/65.81	o 352524
65.77/65.82	o 352518
65.77/65.82	o 352507
65.77/65.82	o 352438
65.77/65.82	o 352436
65.77/65.82	o 352435
65.77/65.82	o 352432
65.77/65.82	o 352426
65.77/65.82	o 352415
65.77/65.82	o 352254
65.77/65.82	o 352252
65.77/65.82	o 352251
65.77/65.82	o 352248
65.77/65.83	o 352242
65.77/65.83	o 352231
65.77/65.83	o 352208
65.77/65.83	o 351885
65.77/65.83	o 351884
65.77/65.83	o 351881
65.77/65.83	o 351875
65.77/65.83	o 351841
65.77/65.83	o 351795
65.77/65.83	o 351150
65.77/65.84	o 351149
65.77/65.84	o 351146
65.77/65.84	o 351140
65.77/65.84	o 351106
65.77/65.84	o 351060
65.77/65.84	o 350968
65.77/65.84	o 349681
65.87/65.94	o 349679
65.98/66.02	o 349678
65.98/66.02	o 349675
65.98/66.02	o 349669
65.98/66.06	o 349658
65.98/66.06	o 349635
65.98/66.07	o 349497
65.98/66.09	o 346743
70.87/70.93	o 346742
70.87/70.93	o 346736
70.87/70.94	o 346733
70.87/70.95	o 346722
71.17/71.23	o 346720
71.17/71.24	o 346697
71.17/71.25	o 346651
71.17/71.26	o 346559
74.17/74.25	o 346375
74.17/74.26	o 346008
77.17/77.29	o 345275
77.37/77.47	o 345273
82.97/83.04	o 343804
208.84/208.97	o 343786
1214.28/1214.63	o 343785
1782.66/1783.26	c total time              : 1783 s
1782.66/1783.26	s SATISFIABLE
1782.66/1783.26	v -x615 -x616 -x617 -x618 x619 -x620 -x621 -x622 -x623 -x624 -x625 x626 x627 -x628 x629 -x630 -x631 -x632 x691 -x692 -x693 -x694
1782.66/1783.26	v -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731
1782.66/1783.26	v -x732 -x733 -x734 -x735 -x736 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x633 -x634 -x635
1782.66/1783.26	v -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656
1782.66/1783.26	v -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677
1782.66/1783.26	v -x678 -x679 -x680 -x681 -x682 -x683 x684 -x685 -x686 x687 x688 x689 -x690 -x708 x709 x710 x711 x712 x713 -x714 -x715 -x716
1782.66/1783.26	v -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x750
1782.66/1783.26	v x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x827 -x828 -x829 -x830 -x831
1782.66/1783.26	v -x832 -x833 -x834 -x835 x836 -x837 -x838 x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852
1782.66/1783.26	v -x853 -x854 -x855 -x856 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23
1782.66/1783.26	v -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179
1782.66/1783.26	v -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x255 -x256 -x257 -x258 -x259 -x260
1782.66/1783.26	v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281
1782.66/1783.26	v -x282 -x283 -x284 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362
1782.66/1783.26	v -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443
1782.66/1783.26	v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464
1782.66/1783.26	v -x525 -x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545
1782.66/1783.26	v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 x857 x858 x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868
1782.66/1783.26	v -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x31 -x32 -x33
1782.66/1783.26	v -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
1782.66/1783.26	v -x60 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
1782.66/1783.26	v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205
1782.66/1783.26	v -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x285 -x286
1782.66/1783.26	v -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 x297 x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307
1782.66/1783.26	v -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388
1782.66/1783.26	v -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x465 -x466 -x467 -x468 -x469
1782.66/1783.26	v -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490
1782.66/1783.26	v -x491 -x492 -x493 -x494 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571
1782.66/1783.26	v -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 x887 -x888 -x889 -x890 x891 -x892 x893 x894
1782.66/1783.26	v -x895 -x896 x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915
1782.66/1783.26	v -x916 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84
1782.66/1783.26	v -x85 -x86 -x87 -x88 -x89 -x90 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
1782.66/1783.26	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x225 -x226 -x227 -x228 -x229 -x230 -x231
1782.66/1783.26	v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252
1782.66/1783.26	v -x253 -x254 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333
1782.66/1783.26	v -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414
1782.66/1783.26	v -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x495
1782.66/1783.26	v x496 -x497 -x498 -x499 -x500 x501 -x502 -x503 x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516
1782.66/1783.26	v -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597
1782.66/1783.26	v -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x767 -x768 -x769 -x770
1782.66/1783.26	v -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791
1782.66/1783.26	v -x792 -x793 -x794 -x795 -x796 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932
1782.66/1783.26	v x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x797 -x798 -x799 -x800 -x801 -x802 -x803
1782.66/1783.26	v -x804 -x805 -x806 -x807 x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824
1782.66/1783.26	v -x825 -x826 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995
1782.66/1783.26	v x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013
1782.66/1783.26	v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 x1027 -x1028 -x1029 -x1030
1782.66/1783.26	v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077
1782.66/1783.26	v -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094
1782.66/1783.26	v -x1095 -x1096 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964
1782.66/1783.26	v -x965 -x966 x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044
1782.66/1783.26	v -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 x1057 x1058 -x1059 -x1060 -x1061 -x1062
1782.66/1783.26	v -x1063 -x1064 -x1065 -x1066

Verifier Data (download as text)

OK	-32343

Conversion Script Data (download as text)

/tmp/evaluation/362829-1177018714/instance-362829-1177018714.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node27/watcher-362829-1177018714 -o ROOT/results/node27/solver-362829-1177018714 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/362829-1177018714/instance-362829-1177018714.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.95 0.96 3/65 29068
/proc/meminfo: memFree=1853088/2055920 swapFree=4179984/4192956
[pid=29068] ppid=29066 vsize=2552 CPUtime=0
/proc/29068/stat : 29068 (Pueblo) R 29066 29068 28413 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 114567322 2613248 234 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 1933015 0 0 4096 0 0 0 0 17 1 0 0
/proc/29068/statm: 638 234 199 16 0 77 0

[startup+0.103495 s]
/proc/loadavg: 0.92 0.95 0.96 3/65 29068
/proc/meminfo: memFree=1853088/2055920 swapFree=4179984/4192956
[pid=29068] ppid=29066 vsize=3264 CPUtime=0.09
/proc/29068/stat : 29068 (Pueblo) R 29066 29068 28413 0 -1 4194304 447 0 0 0 9 0 0 0 18 0 1 0 114567322 3342336 417 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527989 0 0 4096 0 0 0 0 17 1 0 0
/proc/29068/statm: 816 417 205 16 0 255 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3264

[startup+0.201502 s]
/proc/loadavg: 0.92 0.95 0.96 3/65 29068
/proc/meminfo: memFree=1853088/2055920 swapFree=4179984/4192956
[pid=29068] ppid=29066 vsize=3396 CPUtime=0.19
/proc/29068/stat : 29068 (Pueblo) R 29066 29068 28413 0 -1 4194304 467 0 0 0 19 0 0 0 18 0 1 0 114567322 3477504 437 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29068/statm: 849 437 205 16 0 288 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 3396

[startup+0.301513 s]
/proc/loadavg: 0.92 0.95 0.96 3/65 29068
/proc/meminfo: memFree=1853088/2055920 swapFree=4179984/4192956
[pid=29068] ppid=29066 vsize=3396 CPUtime=0.29
/proc/29068/stat : 29068 (Pueblo) R 29066 29068 28413 0 -1 4194304 473 0 0 0 29 0 0 0 19 0 1 0 114567322 3477504 443 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29068/statm: 849 443 205 16 0 288 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3396

[startup+0.701553 s]
/proc/loadavg: 0.92 0.95 0.96 3/65 29068
/proc/meminfo: memFree=1853088/2055920 swapFree=4179984/4192956
[pid=29068] ppid=29066 vsize=3528 CPUtime=0.69
/proc/29068/stat : 29068 (Pueblo) R 29066 29068 28413 0 -1 4194304 496 0 0 0 67 2 0 0 22 0 1 0 114567322 3612672 466 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29068/statm: 882 466 205 16 0 321 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3528

[startup+1.50163 s]
/proc/loadavg: 0.92 0.95 0.96 2/66 29069
/proc/meminfo: memFree=1851928/2055920 swapFree=4179984/4192956
[pid=29068] ppid=29066 vsize=3784 CPUtime=1.48
/proc/29068/stat : 29068 (Pueblo) R 29066 29068 28413 0 -1 4194304 585 0 0 0 145 3 0 0 25 0 1 0 114567322 3874816 555 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29068/statm: 946 555 205 16 0 385 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 3784

[startup+3.1018 s]
/proc/loadavg: 0.92 0.95 0.96 2/66 29069
/proc/meminfo: memFree=1851544/2055920 swapFree=4179984/4192956
[pid=29068] ppid=29066 vsize=3784 CPUtime=3.09
/proc/29068/stat : 29068 (Pueblo) R 29066 29068 28413 0 -1 4194304 585 0 0 0 303 6 0 0 25 0 1 0 114567322 3874816 555 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29068/statm: 946 555 205 16 0 385 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3784

[startup+6.30112 s]
/proc/loadavg: 0.93 0.95 0.96 2/66 29069
/proc/meminfo: memFree=1851096/2055920 swapFree=4179984/4192956
[pid=29068] ppid=29066 vsize=4300 CPUtime=6.29
/proc/29068/stat : 29068 (Pueblo) R 29066 29068 28413 0 -1 4194304 695 0 0 0 620 9 0 0 25 0 1 0 114567322 4403200 665 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29068/statm: 1075 665 205 16 0 514 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 4300

[startup+12.7018 s]
/proc/loadavg: 0.93 0.96 0.96 2/66 29069
/proc/meminfo: memFree=1851032/2055920 swapFree=4179984/4192956
[pid=29068] ppid=29066 vsize=4300 CPUtime=12.68
/proc/29068/stat : 29068 (Pueblo) R 29066 29068 28413 0 -1 4194304 695 0 0 0 1255 13 0 0 25 0 1 0 114567322 4403200 665 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0
/proc/29068/statm: 1075 665 205 16 0 514 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 4300

[startup+25.5011 s]
/proc/loadavg: 1.02 0.97 0.97 2/66 29069
/proc/meminfo: memFree=1850712/2055920 swapFree=4179984/4192956
[pid=29068] ppid=29066 vsize=4544 CPUtime=25.49
/proc/29068/stat : 29068 (Pueblo) R 29066 29068 28413 0 -1 4194304 779 0 0 0 2527 22 0 0 25 0 1 0 114567322 4653056 749 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29068/statm: 1136 749 205 16 0 575 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 4544

[startup+51.1017 s]
/proc/loadavg: 1.01 0.97 0.97 2/66 29069
/proc/meminfo: memFree=1850584/2055920 swapFree=4179984/4192956
[pid=29068] ppid=29066 vsize=4848 CPUtime=51.08
/proc/29068/stat : 29068 (Pueblo) R 29066 29068 28413 0 -1 4194304 831 0 0 0 5058 50 0 0 25 0 1 0 114567322 4964352 801 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29068/statm: 1212 801 205 16 0 651 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 4848

[startup+102.302 s]
/proc/loadavg: 1.00 0.97 0.97 2/66 29069
/proc/meminfo: memFree=1850072/2055920 swapFree=4179984/4192956
[pid=29068] ppid=29066 vsize=5332 CPUtime=102.27
/proc/29068/stat : 29068 (Pueblo) R 29066 29068 28413 0 -1 4194304 953 0 0 0 10136 91 0 0 25 0 1 0 114567322 5459968 923 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29068/statm: 1333 923 205 16 0 772 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 5332

[startup+162.302 s]
/proc/loadavg: 1.00 0.97 0.97 2/66 29069
/proc/meminfo: memFree=1850008/2055920 swapFree=4179984/4192956
[pid=29068] ppid=29066 vsize=5332 CPUtime=162.25
/proc/29068/stat : 29068 (Pueblo) R 29066 29068 28413 0 -1 4194304 972 0 0 0 16104 121 0 0 25 0 1 0 114567322 5459968 942 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29068/statm: 1333 942 205 16 0 772 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 5332

[startup+222.306 s]
/proc/loadavg: 1.00 0.97 0.97 2/66 29069
/proc/meminfo: memFree=1849880/2055920 swapFree=4179984/4192956
[pid=29068] ppid=29066 vsize=5416 CPUtime=222.23
/proc/29068/stat : 29068 (Pueblo) R 29066 29068 28413 0 -1 4194304 1002 0 0 0 22083 140 0 0 25 0 1 0 114567322 5545984 966 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528646 0 0 4096 0 0 0 0 17 1 0 0
/proc/29068/statm: 1354 966 205 16 0 793 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 5416

[startup+282.301 s]
/proc/loadavg: 1.00 0.97 0.97 2/66 29069
/proc/meminfo: memFree=1849880/2055920 swapFree=4179984/4192956
[pid=29068] ppid=29066 vsize=5404 CPUtime=282.22
/proc/29068/stat : 29068 (Pueblo) R 29066 29068 28413 0 -1 4194304 1051 0 0 0 28060 162 0 0 25 0 1 0 114567322 5533696 960 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29068/statm: 1351 960 205 16 0 790 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 5404

[startup+342.301 s]
/proc/loadavg: 1.00 0.97 0.97 2/66 29069
/proc/meminfo: memFree=1849880/2055920 swapFree=4179984/4192956
[pid=29068] ppid=29066 vsize=5356 CPUtime=342.21
/proc/29068/stat : 29068 (Pueblo) R 29066 29068 28413 0 -1 4194304 1051 0 0 0 34035 186 0 0 25 0 1 0 114567322 5484544 952 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29068/statm: 1339 952 205 16 0 778 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 5356

[startup+402.301 s]
/proc/loadavg: 1.00 0.97 0.97 2/66 29069
/proc/meminfo: memFree=1849880/2055920 swapFree=4179984/4192956
[pid=29068] ppid=29066 vsize=5356 CPUtime=402.19
/proc/29068/stat : 29068 (Pueblo) R 29066 29068 28413 0 -1 4194304 1051 0 0 0 39991 228 0 0 25 0 1 0 114567322 5484544 952 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29068/statm: 1339 952 205 16 0 778 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 5356

[startup+462.301 s]
/proc/loadavg: 1.00 0.97 0.97 2/66 29069
/proc/meminfo: memFree=1849880/2055920 swapFree=4179984/4192956
[pid=29068] ppid=29066 vsize=5356 CPUtime=462.17
/proc/29068/stat : 29068 (Pueblo) R 29066 29068 28413 0 -1 4194304 1051 0 0 0 45891 326 0 0 25 0 1 0 114567322 5484544 952 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/29068/statm: 1339 952 205 16 0 778 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 5356

[startup+522.301 s]
/proc/loadavg: 1.00 0.97 0.97 2/66 29069
/proc/meminfo: memFree=1849816/2055920 swapFree=4179984/4192956
[pid=29068] ppid=29066 vsize=5360 CPUtime=522.16
/proc/29068/stat : 29068 (Pueblo) R 29066 29068 28413 0 -1 4194304 1065 0 0 0 51851 365 0 0 25 0 1 0 114567322 5488640 953 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/29068/statm: 1340 953 205 16 0 779 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 5360

[startup+582.302 s]
/proc/loadavg: 1.00 0.97 0.97 2/66 29069
/proc/meminfo: memFree=1849816/2055920 swapFree=4179984/4192956
[pid=29068] ppid=29066 vsize=5360 CPUtime=582.15
/proc/29068/stat : 29068 (Pueblo) R 29066 29068 28413 0 -1 4194304 1069 0 0 0 57828 387 0 0 25 0 1 0 114567322 5488640 953 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29068/statm: 1340 953 205 16 0 779 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 5360

[startup+642.302 s]
/proc/loadavg: 1.00 0.97 0.97 2/66 29069
/proc/meminfo: memFree=1849816/2055920 swapFree=4179984/4192956
[pid=29068] ppid=29066 vsize=5360 CPUtime=642.13
/proc/29068/stat : 29068 (Pueblo) R 29066 29068 28413 0 -1 4194304 1074 0 0 0 63755 458 0 0 25 0 1 0 114567322 5488640 953 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29068/statm: 1340 953 205 16 0 779 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 5360


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

/proc/meminfo: memFree=1849752/2055920 swapFree=4179984/4192956
[pid=29068] ppid=29066 vsize=5360 CPUtime=882.07
/proc/29068/stat : 29068 (Pueblo) R 29066 29068 28413 0 -1 4194304 1088 0 0 0 87626 581 0 0 25 0 1 0 114567322 5488640 953 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527821 0 0 4096 0 0 0 0 17 1 0 0
/proc/29068/statm: 1340 953 205 16 0 779 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 5360

[startup+942.301 s]
/proc/loadavg: 1.00 0.97 0.97 2/66 29069
/proc/meminfo: memFree=1849496/2055920 swapFree=4179984/4192956
[pid=29068] ppid=29066 vsize=5708 CPUtime=942.05
/proc/29068/stat : 29068 (Pueblo) R 29066 29068 28413 0 -1 4194304 1182 0 0 0 93597 608 0 0 25 0 1 0 114567322 5844992 1031 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527372 0 0 4096 0 0 0 0 17 1 0 0
/proc/29068/statm: 1427 1031 205 16 0 866 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 5708

[startup+1002.3 s]
/proc/loadavg: 1.00 0.97 0.97 2/66 29069
/proc/meminfo: memFree=1849432/2055920 swapFree=4179984/4192956
[pid=29068] ppid=29066 vsize=5708 CPUtime=1002.03
/proc/29068/stat : 29068 (Pueblo) R 29066 29068 28413 0 -1 4194304 1191 0 0 0 99582 621 0 0 25 0 1 0 114567322 5844992 1040 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0
/proc/29068/statm: 1427 1040 205 16 0 866 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 5708

[startup+1062.3 s]
/proc/loadavg: 1.00 0.97 0.97 2/66 29069
/proc/meminfo: memFree=1849432/2055920 swapFree=4179984/4192956
[pid=29068] ppid=29066 vsize=5804 CPUtime=1062.02
/proc/29068/stat : 29068 (Pueblo) R 29066 29068 28413 0 -1 4194304 1202 0 0 0 105573 629 0 0 25 0 1 0 114567322 5943296 1051 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527987 0 0 4096 0 0 0 0 17 1 0 0
/proc/29068/statm: 1451 1051 205 16 0 890 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 5804

[startup+1122.3 s]
/proc/loadavg: 1.00 0.97 0.97 2/66 29069
/proc/meminfo: memFree=1849432/2055920 swapFree=4179984/4192956
[pid=29068] ppid=29066 vsize=5804 CPUtime=1122.01
/proc/29068/stat : 29068 (Pueblo) R 29066 29068 28413 0 -1 4194304 1202 0 0 0 111568 633 0 0 25 0 1 0 114567322 5943296 1051 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528252 0 0 4096 0 0 0 0 17 1 0 0
/proc/29068/statm: 1451 1051 205 16 0 890 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 5804

[startup+1182.3 s]
/proc/loadavg: 1.07 0.99 0.97 2/66 29069
/proc/meminfo: memFree=1849368/2055920 swapFree=4179984/4192956
[pid=29068] ppid=29066 vsize=5804 CPUtime=1181.99
/proc/29068/stat : 29068 (Pueblo) R 29066 29068 28413 0 -1 4194304 1205 0 0 0 117563 636 0 0 25 0 1 0 114567322 5943296 1054 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/29068/statm: 1451 1054 205 16 0 890 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 5804

[startup+1242.3 s]
/proc/loadavg: 1.08 1.00 0.98 2/66 29069
/proc/meminfo: memFree=1848728/2055920 swapFree=4179984/4192956
[pid=29068] ppid=29066 vsize=6344 CPUtime=1241.98
/proc/29068/stat : 29068 (Pueblo) R 29066 29068 28413 0 -1 4194304 1343 0 0 0 123531 667 0 0 25 0 1 0 114567322 6496256 1192 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/29068/statm: 1586 1192 205 16 0 1025 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 6344

[startup+1302.3 s]
/proc/loadavg: 1.09 1.02 0.98 2/66 29069
/proc/meminfo: memFree=1848600/2055920 swapFree=4179984/4192956
[pid=29068] ppid=29066 vsize=6420 CPUtime=1301.96
/proc/29068/stat : 29068 (Pueblo) R 29066 29068 28413 0 -1 4194304 1364 0 0 0 129496 700 0 0 25 0 1 0 114567322 6574080 1213 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29068/statm: 1605 1213 205 16 0 1044 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 6420

[startup+1362.3 s]
/proc/loadavg: 1.15 1.04 0.99 2/72 29177
/proc/meminfo: memFree=1847256/2055920 swapFree=4179984/4192956
[pid=29068] ppid=29066 vsize=6420 CPUtime=1361.91
/proc/29068/stat : 29068 (Pueblo) R 29066 29068 28413 0 -1 4194304 1364 0 0 0 135421 770 0 0 25 0 1 0 114567322 6574080 1213 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520442 0 0 4096 0 0 0 0 17 1 0 0
/proc/29068/statm: 1605 1213 205 16 0 1044 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 6420

[startup+1422.3 s]
/proc/loadavg: 1.13 1.06 1.00 2/66 29267
/proc/meminfo: memFree=1848216/2055920 swapFree=4179984/4192956
[pid=29068] ppid=29066 vsize=6420 CPUtime=1421.85
/proc/29068/stat : 29068 (Pueblo) R 29066 29068 28413 0 -1 4194304 1364 0 0 0 141357 828 0 0 25 0 1 0 114567322 6574080 1213 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517930 0 0 4096 0 0 0 0 17 1 0 0
/proc/29068/statm: 1605 1213 205 16 0 1044 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 6420

[startup+1482.3 s]
/proc/loadavg: 1.05 1.05 1.00 2/66 29267
/proc/meminfo: memFree=1848216/2055920 swapFree=4179984/4192956
[pid=29068] ppid=29066 vsize=6420 CPUtime=1481.84
/proc/29068/stat : 29068 (Pueblo) R 29066 29068 28413 0 -1 4194304 1364 0 0 0 147323 861 0 0 25 0 1 0 114567322 6574080 1213 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527987 0 0 4096 0 0 0 0 17 1 0 0
/proc/29068/statm: 1605 1213 205 16 0 1044 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 6420

[startup+1542.31 s]
/proc/loadavg: 1.02 1.04 1.00 2/66 29267
/proc/meminfo: memFree=1848216/2055920 swapFree=4179984/4192956
[pid=29068] ppid=29066 vsize=6420 CPUtime=1541.83
/proc/29068/stat : 29068 (Pueblo) R 29066 29068 28413 0 -1 4194304 1364 0 0 0 153259 924 0 0 25 0 1 0 114567322 6574080 1213 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0
/proc/29068/statm: 1605 1213 205 16 0 1044 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 6420

[startup+1602.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/66 29267
/proc/meminfo: memFree=1848216/2055920 swapFree=4179984/4192956
[pid=29068] ppid=29066 vsize=6420 CPUtime=1601.8
/proc/29068/stat : 29068 (Pueblo) R 29066 29068 28413 0 -1 4194304 1364 0 0 0 159217 963 0 0 25 0 1 0 114567322 6574080 1213 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134557374 0 0 4096 0 0 0 0 17 1 0 0
/proc/29068/statm: 1605 1213 205 16 0 1044 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 6420

[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 29267
/proc/meminfo: memFree=1848344/2055920 swapFree=4179984/4192956
[pid=29068] ppid=29066 vsize=6420 CPUtime=1661.79
/proc/29068/stat : 29068 (Pueblo) R 29066 29068 28413 0 -1 4194304 1364 0 0 0 165188 991 0 0 25 0 1 0 114567322 6574080 1213 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29068/statm: 1605 1213 205 16 0 1044 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 6420

[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 29267
/proc/meminfo: memFree=1848344/2055920 swapFree=4179984/4192956
[pid=29068] ppid=29066 vsize=6508 CPUtime=1721.77
/proc/29068/stat : 29068 (Pueblo) R 29066 29068 28413 0 -1 4194304 1371 0 0 0 171131 1046 0 0 25 0 1 0 114567322 6664192 1220 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29068/statm: 1627 1220 205 16 0 1066 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 6508

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 29267
/proc/meminfo: memFree=1848280/2055920 swapFree=4179984/4192956
[pid=29068] ppid=29066 vsize=6488 CPUtime=1781.75
/proc/29068/stat : 29068 (Pueblo) R 29066 29068 28413 0 -1 4194304 1377 0 0 0 177093 1082 0 0 25 0 1 0 114567322 6643712 1226 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29068/statm: 1622 1226 205 16 0 1061 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 6488

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

[startup+1782.4 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 29267
/proc/meminfo: memFree=1848280/2055920 swapFree=4179984/4192956
[pid=29068] ppid=29066 vsize=6488 CPUtime=1781.85
/proc/29068/stat : 29068 (Pueblo) R 29066 29068 28413 0 -1 4194304 1377 0 0 0 177103 1082 0 0 25 0 1 0 114567322 6643712 1226 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134557307 0 0 4096 0 0 0 0 17 1 0 0
/proc/29068/statm: 1622 1226 205 16 0 1061 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 6488

[startup+1782.8 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 29267
/proc/meminfo: memFree=1848280/2055920 swapFree=4179984/4192956
[pid=29068] ppid=29066 vsize=6488 CPUtime=1782.25
/proc/29068/stat : 29068 (Pueblo) R 29066 29068 28413 0 -1 4194304 1377 0 0 0 177143 1082 0 0 25 0 1 0 114567322 6643712 1226 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520215 0 0 4096 0 0 0 0 17 1 0 0
/proc/29068/statm: 1622 1226 205 16 0 1061 0
Current children cumulated CPU time (s) 1782.25
Current children cumulated vsize (KiB) 6488

[startup+1783.21 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 29267
/proc/meminfo: memFree=1848280/2055920 swapFree=4179984/4192956
[pid=29068] ppid=29066 vsize=6488 CPUtime=1782.66
/proc/29068/stat : 29068 (Pueblo) R 29066 29068 28413 0 -1 4194304 1377 0 0 0 177184 1082 0 0 25 0 1 0 114567322 6643712 1226 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29068/statm: 1622 1226 205 16 0 1061 0
Current children cumulated CPU time (s) 1782.66
Current children cumulated vsize (KiB) 6488

Child status: 10
Real time (s): 1783.27
CPU time (s): 1782.73
CPU user time (s): 1771.9
CPU system time (s): 10.8304
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 6548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1771.9
system time used= 10.8304
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1384
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= 16
involuntary context switches= 1163

runsolver used 1.2908 second user time and 3.68044 second system time

The end

Launcher Data (download as text)

Begin job on node27 on Thu Apr 19 21:38:34 UTC 2007

IDJOB= 362829
IDBENCH= 1669
IDSOLVER= 165
FILE ID= node27/362829-1177018714

PBS_JOBID= 4630579

Free space on /tmp= 66375 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-kb2.opb
COMMAND LINE= Pueblo /tmp/evaluation/362829-1177018714/instance-362829-1177018714.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node27/convwatcher-362829-1177018714 -o ROOT/results/node27/conversion-362829-1177018714 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/362829-1177018714/instance-362829-1177018714.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node27/watcher-362829-1177018714 -o ROOT/results/node27/solver-362829-1177018714 -C 1800 -W 3600 -M 1800 --output-limit 1,15  Pueblo /tmp/evaluation/362829-1177018714/instance-362829-1177018714.opb

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  396a97b3a9140f57450f18f44f605394

RANDOM SEED= 239668731

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node27.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.213
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	: 5931.00
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.213
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:       1853560 kB
Buffers:         18624 kB
Cached:         114220 kB
SwapCached:       6488 kB
Active:          45652 kB
Inactive:       100060 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1853560 kB
SwapTotal:     4192956 kB
SwapFree:      4179984 kB
Dirty:            2520 kB
Writeback:           0 kB
Mapped:          16112 kB
Slab:            42676 kB
Committed_AS:  1720368 kB
PageTables:       1416 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= 66375 MiB

End job on node27 on Thu Apr 19 22:08:18 UTC 2007