Trace number 36467

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.74 1783.39

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

Verifier Data (download as text)

OK	-32343

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node59/watcher-36467-1149331234 -o ROOT/results/node59/solver-36467-1149331234 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node59/36467-1149331234/instance-36467-1149331234.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.97 0.96 2/64 5847
/proc/meminfo: memFree=1718000/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=2328 CPUtime=0
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 149 0 0 0 0 0 0 0 18 0 1 0 198791659 2383872 130 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 9255800 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 582 130 111 16 0 11 0

[startup+10.0027 s]
/proc/loadavg: 0.93 0.97 0.96 2/64 5847
/proc/meminfo: memFree=1716080/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=4320 CPUtime=9.99
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 701 0 0 0 989 10 0 0 25 0 1 0 198791659 4423680 672 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1080 672 205 16 0 521 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 4320

[startup+20.0086 s]
/proc/loadavg: 0.94 0.97 0.96 2/64 5847
/proc/meminfo: memFree=1715960/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=4448 CPUtime=20
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 741 0 0 0 1986 14 0 0 25 0 1 0 198791659 4554752 712 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1112 712 205 16 0 553 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 4448

[startup+30.0145 s]
/proc/loadavg: 0.95 0.97 0.96 2/64 5847
/proc/meminfo: memFree=1715704/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=4632 CPUtime=30
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 799 0 0 0 2971 29 0 0 25 0 1 0 198791659 4743168 770 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528586 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1158 770 205 16 0 599 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 4632

[startup+40.0205 s]
/proc/loadavg: 0.95 0.97 0.96 2/64 5847
/proc/meminfo: memFree=1715576/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=4760 CPUtime=39.99
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 824 0 0 0 3956 43 0 0 25 0 1 0 198791659 4874240 795 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1190 795 205 16 0 631 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 4760

[startup+50.0264 s]
/proc/loadavg: 0.96 0.97 0.96 2/64 5847
/proc/meminfo: memFree=1715640/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=4868 CPUtime=50
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 837 0 0 0 4950 50 0 0 25 0 1 0 198791659 4984832 808 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557299 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1217 808 205 16 0 658 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 4868

[startup+60.0323 s]
/proc/loadavg: 0.97 0.97 0.96 2/64 5847
/proc/meminfo: memFree=1715448/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=4996 CPUtime=60
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 880 0 0 0 5946 54 0 0 25 0 1 0 198791659 5115904 851 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1249 851 205 16 0 690 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 4996

[startup+70.0383 s]
/proc/loadavg: 0.97 0.97 0.96 2/64 5847
/proc/meminfo: memFree=1715256/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=5116 CPUtime=70.01
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 919 0 0 0 6941 60 0 0 25 0 1 0 198791659 5238784 890 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1279 890 205 16 0 720 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 5116

[startup+80.0442 s]
/proc/loadavg: 0.98 0.97 0.96 2/64 5847
/proc/meminfo: memFree=1715128/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=5352 CPUtime=80
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 959 0 0 0 7937 63 0 0 25 0 1 0 198791659 5480448 930 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1338 930 205 16 0 779 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 5352

[startup+90.0501 s]
/proc/loadavg: 0.98 0.97 0.96 2/64 5847
/proc/meminfo: memFree=1715128/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=5352 CPUtime=90.01
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 959 0 0 0 8926 75 0 0 25 0 1 0 198791659 5480448 930 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1338 930 205 16 0 779 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 5352

[startup+100.056 s]
/proc/loadavg: 0.98 0.97 0.96 2/64 5847
/proc/meminfo: memFree=1715128/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=5352 CPUtime=100.02
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 959 0 0 0 9913 89 0 0 25 0 1 0 198791659 5480448 930 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1338 930 205 16 0 779 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 5352

[startup+110.062 s]
/proc/loadavg: 0.98 0.97 0.96 2/64 5847
/proc/meminfo: memFree=1715000/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=5352 CPUtime=110.02
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 978 0 0 0 10906 96 0 0 25 0 1 0 198791659 5480448 949 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517940 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1338 949 205 16 0 779 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 5352

[startup+120.068 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 5847
/proc/meminfo: memFree=1715000/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=5352 CPUtime=120.02
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 978 0 0 0 11902 100 0 0 25 0 1 0 198791659 5480448 949 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134558602 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1338 949 205 16 0 779 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 5352

[startup+130.074 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 5847
/proc/meminfo: memFree=1715000/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=5352 CPUtime=130.02
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 978 0 0 0 12896 106 0 0 25 0 1 0 198791659 5480448 949 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528344 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1338 949 205 16 0 779 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 5352

[startup+140.08 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 5847
/proc/meminfo: memFree=1715000/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=5352 CPUtime=140.02
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 978 0 0 0 13889 113 0 0 25 0 1 0 198791659 5480448 949 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528239 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1338 949 205 16 0 779 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 5352

[startup+150.086 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 5847
/proc/meminfo: memFree=1715000/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=5352 CPUtime=150.03
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 978 0 0 0 14884 119 0 0 25 0 1 0 198791659 5480448 949 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1338 949 205 16 0 779 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 5352

[startup+160.092 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 5847
/proc/meminfo: memFree=1715000/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=5352 CPUtime=160.03
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 978 0 0 0 15881 122 0 0 25 0 1 0 198791659 5480448 949 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1338 949 205 16 0 779 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 5352

[startup+170.098 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 5847
/proc/meminfo: memFree=1715000/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=5352 CPUtime=170.03
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 978 0 0 0 16879 124 0 0 25 0 1 0 198791659 5480448 949 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1338 949 205 16 0 779 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 5352

[startup+180.104 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 5847
/proc/meminfo: memFree=1715000/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=5352 CPUtime=180.03
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 978 0 0 0 17876 127 0 0 25 0 1 0 198791659 5480448 949 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1338 949 205 16 0 779 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 5352

[startup+190.111 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 5847
/proc/meminfo: memFree=1715064/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=5352 CPUtime=190.04
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 978 0 0 0 18873 131 0 0 25 0 1 0 198791659 5480448 949 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1338 949 205 16 0 779 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 5352

[startup+200.117 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 5847
/proc/meminfo: memFree=1715000/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=5352 CPUtime=200.04
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 978 0 0 0 19870 134 0 0 25 0 1 0 198791659 5480448 949 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1338 949 205 16 0 779 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 5352

[startup+210.124 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 5847
/proc/meminfo: memFree=1715000/2055920 swapFree=4180876/4192956

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

/proc/5847/statm: 1610 1220 205 16 0 1051 0
Current children cumulated CPU time (s) 1590.38
Current children cumulated vsize (Kb) 6440

[startup+1600.98 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 6042
/proc/meminfo: memFree=1713400/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=6440 CPUtime=1600.38
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1370 0 0 0 159066 972 0 0 25 0 1 0 198791659 6594560 1220 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1610 1220 205 16 0 1051 0
Current children cumulated CPU time (s) 1600.38
Current children cumulated vsize (Kb) 6440

[startup+1610.98 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 6042
/proc/meminfo: memFree=1713400/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=6440 CPUtime=1610.38
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1370 0 0 0 160060 978 0 0 25 0 1 0 198791659 6594560 1220 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1610 1220 205 16 0 1051 0
Current children cumulated CPU time (s) 1610.38
Current children cumulated vsize (Kb) 6440

[startup+1620.99 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 6042
/proc/meminfo: memFree=1713400/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=6440 CPUtime=1620.38
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1370 0 0 0 161052 986 0 0 25 0 1 0 198791659 6594560 1220 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1610 1220 205 16 0 1051 0
Current children cumulated CPU time (s) 1620.38
Current children cumulated vsize (Kb) 6440

[startup+1630.99 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 6042
/proc/meminfo: memFree=1713400/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=6440 CPUtime=1630.39
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1370 0 0 0 162049 990 0 0 25 0 1 0 198791659 6594560 1220 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528055 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1610 1220 205 16 0 1051 0
Current children cumulated CPU time (s) 1630.39
Current children cumulated vsize (Kb) 6440

[startup+1641 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 6042
/proc/meminfo: memFree=1713400/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=6440 CPUtime=1640.39
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1370 0 0 0 163047 992 0 0 25 0 1 0 198791659 6594560 1220 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1610 1220 205 16 0 1051 0
Current children cumulated CPU time (s) 1640.39
Current children cumulated vsize (Kb) 6440

[startup+1651.01 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 6042
/proc/meminfo: memFree=1713400/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=6440 CPUtime=1650.39
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1370 0 0 0 164044 995 0 0 25 0 1 0 198791659 6594560 1220 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1610 1220 205 16 0 1051 0
Current children cumulated CPU time (s) 1650.39
Current children cumulated vsize (Kb) 6440

[startup+1661.01 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 6042
/proc/meminfo: memFree=1713528/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=6440 CPUtime=1660.39
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1370 0 0 0 165040 999 0 0 25 0 1 0 198791659 6594560 1220 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1610 1220 205 16 0 1051 0
Current children cumulated CPU time (s) 1660.39
Current children cumulated vsize (Kb) 6440

[startup+1671.02 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 6042
/proc/meminfo: memFree=1713528/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=6440 CPUtime=1670.39
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1370 0 0 0 166029 1010 0 0 25 0 1 0 198791659 6594560 1220 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1610 1220 205 16 0 1051 0
Current children cumulated CPU time (s) 1670.39
Current children cumulated vsize (Kb) 6440

[startup+1681.02 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 6042
/proc/meminfo: memFree=1713528/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=6440 CPUtime=1680.4
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1370 0 0 0 167014 1026 0 0 25 0 1 0 198791659 6594560 1220 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1610 1220 205 16 0 1051 0
Current children cumulated CPU time (s) 1680.4
Current children cumulated vsize (Kb) 6440

[startup+1691.03 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 6042
/proc/meminfo: memFree=1713528/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=6440 CPUtime=1690.41
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1370 0 0 0 168005 1036 0 0 25 0 1 0 198791659 6594560 1220 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528604 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1610 1220 205 16 0 1051 0
Current children cumulated CPU time (s) 1690.41
Current children cumulated vsize (Kb) 6440

[startup+1701.04 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 6042
/proc/meminfo: memFree=1713464/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=6440 CPUtime=1700.4
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1375 0 0 0 168998 1042 0 0 25 0 1 0 198791659 6594560 1225 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1610 1225 205 16 0 1051 0
Current children cumulated CPU time (s) 1700.4
Current children cumulated vsize (Kb) 6440

[startup+1711.04 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 6042
/proc/meminfo: memFree=1713464/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=6528 CPUtime=1710.4
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1377 0 0 0 169988 1052 0 0 25 0 1 0 198791659 6684672 1227 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557297 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1632 1227 205 16 0 1073 0
Current children cumulated CPU time (s) 1710.4
Current children cumulated vsize (Kb) 6528

[startup+1721.05 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 6042
/proc/meminfo: memFree=1713464/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=6508 CPUtime=1720.41
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1377 0 0 0 170980 1061 0 0 25 0 1 0 198791659 6664192 1227 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1627 1227 205 16 0 1068 0
Current children cumulated CPU time (s) 1720.41
Current children cumulated vsize (Kb) 6508

[startup+1731.05 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 6042
/proc/meminfo: memFree=1713464/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=6508 CPUtime=1730.41
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1377 0 0 0 171971 1070 0 0 25 0 1 0 198791659 6664192 1227 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528344 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1627 1227 205 16 0 1068 0
Current children cumulated CPU time (s) 1730.41
Current children cumulated vsize (Kb) 6508

[startup+1741.06 s]
/proc/loadavg: 0.99 0.97 0.96 3/64 6042
/proc/meminfo: memFree=1713464/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=6508 CPUtime=1740.41
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1383 0 0 0 172967 1074 0 0 25 0 1 0 198791659 6664192 1233 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1627 1233 205 16 0 1068 0
Current children cumulated CPU time (s) 1740.41
Current children cumulated vsize (Kb) 6508

[startup+1751.07 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 6042
/proc/meminfo: memFree=1713464/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=6508 CPUtime=1750.42
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1383 0 0 0 173962 1080 0 0 25 0 1 0 198791659 6664192 1233 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1627 1233 205 16 0 1068 0
Current children cumulated CPU time (s) 1750.42
Current children cumulated vsize (Kb) 6508

[startup+1761.07 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 6042
/proc/meminfo: memFree=1713464/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=6508 CPUtime=1760.42
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1383 0 0 0 174957 1085 0 0 25 0 1 0 198791659 6664192 1233 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528672 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1627 1233 205 16 0 1068 0
Current children cumulated CPU time (s) 1760.42
Current children cumulated vsize (Kb) 6508

[startup+1771.08 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 6042
/proc/meminfo: memFree=1713400/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=6508 CPUtime=1770.42
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1383 0 0 0 175956 1086 0 0 25 0 1 0 198791659 6664192 1233 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1627 1233 205 16 0 1068 0
Current children cumulated CPU time (s) 1770.42
Current children cumulated vsize (Kb) 6508

[startup+1781.08 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 6042
/proc/meminfo: memFree=1713400/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=6508 CPUtime=1780.42
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1383 0 0 0 176952 1090 0 0 25 0 1 0 198791659 6664192 1233 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1627 1233 205 16 0 1068 0
Current children cumulated CPU time (s) 1780.42
Current children cumulated vsize (Kb) 6508

[startup+1782.09 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 6042
/proc/meminfo: memFree=1713400/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=6508 CPUtime=1781.43
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1383 0 0 0 177052 1091 0 0 25 0 1 0 198791659 6664192 1233 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1627 1233 205 16 0 1068 0
Current children cumulated CPU time (s) 1781.43
Current children cumulated vsize (Kb) 6508

[startup+1783.09 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 6042
/proc/meminfo: memFree=1713400/2055920 swapFree=4180876/4192956
[pid=5847] ppid=5845 vsize=6508 CPUtime=1782.44
/proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1383 0 0 0 177151 1093 0 0 25 0 1 0 198791659 6664192 1233 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1627 1233 205 16 0 1068 0
Current children cumulated CPU time (s) 1782.44
Current children cumulated vsize (Kb) 6508

Child status: 10
Real time (s): 1783.39
CPU time (s): 1782.74
CPU user time (s): 1771.8
CPU system time (s): 10.9403
CPU usage (%): 99.9632
Max. virtual memory (cumulated for all children) (Kb): 6528

Launcher Data (download as text)

Begin job on node59 on Sat Jun  3 10:40:34 UTC 2006


FILE ID= 36467-1149331234

PBS_JOBID= 309871

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= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node59/36467-1149331234/instance-36467-1149331234.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node59/watcher-36467-1149331234 -o ROOT/results/node59/solver-36467-1149331234 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node59/36467-1149331234/instance-36467-1149331234.opb

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  396a97b3a9140f57450f18f44f605394

RANDOM SEED= 994710788


/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.272
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.272
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:       1718208 kB
Buffers:         16684 kB
Cached:         250484 kB
SwapCached:       3744 kB
Active:          41400 kB
Inactive:       234464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1718208 kB
SwapTotal:     4192956 kB
SwapFree:      4180876 kB
Dirty:             220 kB
Writeback:           0 kB
Mapped:          14732 kB
Slab:            47836 kB
Committed_AS:   327600 kB
PageTables:       1492 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node59 on Sat Jun  3 11:10:18 UTC 2006