Trace number 37617

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.3SAT-32343 1782.73 1783.43

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.97 0.99 2/68 3597
/proc/meminfo: memFree=1684720/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=172 CPUtime=0
/proc/3597/stat : 3597 (Pueblo13) D 3595 3597 3551 0 -1 4194304 37 0 0 0 0 0 0 0 20 0 1 0 198753297 176128 23 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 9540532 0 2147483391 4096 0 18446744072100015398 0 0 17 1 0 0
/proc/3597/statm: 43 23 18 16 0 2 0

[startup+10.0026 s]
/proc/loadavg: 0.93 0.97 0.99 2/68 3597
/proc/meminfo: memFree=1683056/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=4320 CPUtime=9.98
/proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 699 0 0 0 989 9 0 0 25 0 1 0 198753297 4423680 671 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3597/statm: 1080 671 205 16 0 520 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 4320

[startup+20.0086 s]
/proc/loadavg: 0.94 0.97 0.99 2/68 3597
/proc/meminfo: memFree=1682864/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=4448 CPUtime=19.99
/proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 751 0 0 0 1985 14 0 0 25 0 1 0 198753297 4554752 723 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559226 0 0 4096 0 0 0 0 17 1 0 0
/proc/3597/statm: 1112 723 205 16 0 552 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 4448

[startup+30.0146 s]
/proc/loadavg: 0.95 0.97 0.99 2/68 3597
/proc/meminfo: memFree=1682608/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=4756 CPUtime=29.99
/proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 804 0 0 0 2972 27 0 0 25 0 1 0 198753297 4870144 776 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3597/statm: 1189 776 205 16 0 629 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 4756

[startup+40.0206 s]
/proc/loadavg: 0.95 0.97 0.99 2/68 3597
/proc/meminfo: memFree=1682480/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=4756 CPUtime=40
/proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 831 0 0 0 3962 38 0 0 25 0 1 0 198753297 4870144 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3597/statm: 1189 803 205 16 0 629 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 4756

[startup+50.0266 s]
/proc/loadavg: 0.96 0.97 0.99 2/68 3597
/proc/meminfo: memFree=1682480/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=4872 CPUtime=49.99
/proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 836 0 0 0 4954 45 0 0 25 0 1 0 198753297 4988928 808 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528579 0 0 4096 0 0 0 0 17 1 0 0
/proc/3597/statm: 1218 808 205 16 0 658 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 4872

[startup+60.0326 s]
/proc/loadavg: 0.97 0.97 0.99 2/68 3597
/proc/meminfo: memFree=1682160/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=5124 CPUtime=60
/proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 906 0 0 0 5950 50 0 0 25 0 1 0 198753297 5246976 878 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3597/statm: 1281 878 205 16 0 721 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 5124

[startup+70.0387 s]
/proc/loadavg: 0.97 0.97 0.99 2/68 3597
/proc/meminfo: memFree=1681968/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=5252 CPUtime=70.01
/proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 954 0 0 0 6946 55 0 0 25 0 1 0 198753297 5378048 926 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3597/statm: 1313 926 205 16 0 753 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 5252

[startup+80.0447 s]
/proc/loadavg: 0.98 0.97 0.99 2/68 3597
/proc/meminfo: memFree=1681968/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=5252 CPUtime=80
/proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 955 0 0 0 7939 61 0 0 25 0 1 0 198753297 5378048 927 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3597/statm: 1313 927 205 16 0 753 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 5252

[startup+90.0507 s]
/proc/loadavg: 0.98 0.97 0.99 2/68 3597
/proc/meminfo: memFree=1681968/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=5252 CPUtime=90
/proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 955 0 0 0 8924 76 0 0 25 0 1 0 198753297 5378048 927 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3597/statm: 1313 927 205 16 0 753 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 5252

[startup+100.057 s]
/proc/loadavg: 0.98 0.97 0.99 2/68 3597
/proc/meminfo: memFree=1681904/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=5364 CPUtime=100.01
/proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 978 0 0 0 9915 86 0 0 25 0 1 0 198753297 5492736 950 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3597/statm: 1341 950 205 16 0 781 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 5364

[startup+110.063 s]
/proc/loadavg: 0.98 0.97 0.99 2/68 3597
/proc/meminfo: memFree=1681904/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=5364 CPUtime=110.01
/proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 978 0 0 0 10910 91 0 0 25 0 1 0 198753297 5492736 950 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0
/proc/3597/statm: 1341 950 205 16 0 781 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 5364

[startup+120.069 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 3597
/proc/meminfo: memFree=1681904/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=5364 CPUtime=120.02
/proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 978 0 0 0 11905 97 0 0 25 0 1 0 198753297 5492736 950 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3597/statm: 1341 950 205 16 0 781 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 5364

[startup+130.075 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 3597
/proc/meminfo: memFree=1681904/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=5364 CPUtime=130.02
/proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 978 0 0 0 12900 102 0 0 25 0 1 0 198753297 5492736 950 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3597/statm: 1341 950 205 16 0 781 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 5364

[startup+140.081 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 3597
/proc/meminfo: memFree=1681904/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=5364 CPUtime=140.02
/proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 978 0 0 0 13895 107 0 0 25 0 1 0 198753297 5492736 950 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3597/statm: 1341 950 205 16 0 781 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 5364

[startup+150.087 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 3597
/proc/meminfo: memFree=1681904/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=5364 CPUtime=150.03
/proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 978 0 0 0 14893 110 0 0 25 0 1 0 198753297 5492736 950 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3597/statm: 1341 950 205 16 0 781 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 5364

[startup+160.093 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 3597
/proc/meminfo: memFree=1681840/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=5364 CPUtime=160.03
/proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 978 0 0 0 15891 112 0 0 25 0 1 0 198753297 5492736 950 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3597/statm: 1341 950 205 16 0 781 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 5364

[startup+170.099 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 3597
/proc/meminfo: memFree=1681840/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=5364 CPUtime=170.02
/proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 978 0 0 0 16888 114 0 0 25 0 1 0 198753297 5492736 950 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3597/statm: 1341 950 205 16 0 781 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 5364

[startup+180.105 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 3597
/proc/meminfo: memFree=1681840/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=5364 CPUtime=180.03
/proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 978 0 0 0 17886 117 0 0 25 0 1 0 198753297 5492736 950 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3597/statm: 1341 950 205 16 0 781 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 5364

[startup+190.111 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 3597
/proc/meminfo: memFree=1681840/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=5364 CPUtime=190.04
/proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 978 0 0 0 18884 120 0 0 25 0 1 0 198753297 5492736 950 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/3597/statm: 1341 950 205 16 0 781 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 5364

[startup+200.117 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 3597
/proc/meminfo: memFree=1681840/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=5368 CPUtime=200.03
/proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 990 0 0 0 19877 126 0 0 25 0 1 0 198753297 5496832 956 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528670 0 0 4096 0 0 0 0 17 1 0 0
/proc/3597/statm: 1342 956 205 16 0 782 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 5368

[startup+210.123 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 3597
/proc/meminfo: memFree=1681776/2055888 swapFree=4085336/4096564

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

/proc/3597/statm: 1613 1226 205 16 0 1053 0
Current children cumulated CPU time (s) 1590.33
Current children cumulated vsize (Kb) 6452

[startup+1600.97 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 3794
/proc/meminfo: memFree=1680112/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=6452 CPUtime=1600.33
/proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1288 0 0 0 159068 965 0 0 25 0 1 0 198753297 6606848 1226 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3597/statm: 1613 1226 205 16 0 1053 0
Current children cumulated CPU time (s) 1600.33
Current children cumulated vsize (Kb) 6452

[startup+1610.98 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 3794
/proc/meminfo: memFree=1680048/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=6532 CPUtime=1610.34
/proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1294 0 0 0 160064 970 0 0 25 0 1 0 198753297 6688768 1232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3597/statm: 1633 1232 205 16 0 1073 0
Current children cumulated CPU time (s) 1610.34
Current children cumulated vsize (Kb) 6532

[startup+1620.99 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 3794
/proc/meminfo: memFree=1680048/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=6512 CPUtime=1620.34
/proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1294 0 0 0 161058 976 0 0 25 0 1 0 198753297 6668288 1232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528562 0 0 4096 0 0 0 0 17 1 0 0
/proc/3597/statm: 1628 1232 205 16 0 1068 0
Current children cumulated CPU time (s) 1620.34
Current children cumulated vsize (Kb) 6512

[startup+1630.99 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 3794
/proc/meminfo: memFree=1680048/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=6512 CPUtime=1630.34
/proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1294 0 0 0 162053 981 0 0 25 0 1 0 198753297 6668288 1232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528057 0 0 4096 0 0 0 0 17 1 0 0
/proc/3597/statm: 1628 1232 205 16 0 1068 0
Current children cumulated CPU time (s) 1630.34
Current children cumulated vsize (Kb) 6512

[startup+1641 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 3794
/proc/meminfo: memFree=1680048/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=6512 CPUtime=1640.35
/proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1294 0 0 0 163053 982 0 0 25 0 1 0 198753297 6668288 1232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/3597/statm: 1628 1232 205 16 0 1068 0
Current children cumulated CPU time (s) 1640.35
Current children cumulated vsize (Kb) 6512

[startup+1651 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 3794
/proc/meminfo: memFree=1680048/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=6512 CPUtime=1650.35
/proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1294 0 0 0 164048 987 0 0 25 0 1 0 198753297 6668288 1232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/3597/statm: 1628 1232 205 16 0 1068 0
Current children cumulated CPU time (s) 1650.35
Current children cumulated vsize (Kb) 6512

[startup+1661.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 3794
/proc/meminfo: memFree=1680048/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=6512 CPUtime=1660.36
/proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1294 0 0 0 165038 998 0 0 25 0 1 0 198753297 6668288 1232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3597/statm: 1628 1232 205 16 0 1068 0
Current children cumulated CPU time (s) 1660.36
Current children cumulated vsize (Kb) 6512

[startup+1671.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 3794
/proc/meminfo: memFree=1680048/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=6512 CPUtime=1670.36
/proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1294 0 0 0 166034 1002 0 0 25 0 1 0 198753297 6668288 1232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3597/statm: 1628 1232 205 16 0 1068 0
Current children cumulated CPU time (s) 1670.36
Current children cumulated vsize (Kb) 6512

[startup+1681.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 3794
/proc/meminfo: memFree=1680048/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=6512 CPUtime=1680.36
/proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1294 0 0 0 167021 1015 0 0 25 0 1 0 198753297 6668288 1232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3597/statm: 1628 1232 205 16 0 1068 0
Current children cumulated CPU time (s) 1680.36
Current children cumulated vsize (Kb) 6512

[startup+1691.03 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 3794
/proc/meminfo: memFree=1680048/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=6512 CPUtime=1690.36
/proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1294 0 0 0 168010 1026 0 0 25 0 1 0 198753297 6668288 1232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3597/statm: 1628 1232 205 16 0 1068 0
Current children cumulated CPU time (s) 1690.36
Current children cumulated vsize (Kb) 6512

[startup+1701.03 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 3794
/proc/meminfo: memFree=1680048/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=6512 CPUtime=1700.36
/proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1294 0 0 0 169001 1035 0 0 25 0 1 0 198753297 6668288 1232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3597/statm: 1628 1232 205 16 0 1068 0
Current children cumulated CPU time (s) 1700.36
Current children cumulated vsize (Kb) 6512

[startup+1711.04 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 3794
/proc/meminfo: memFree=1680048/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=6512 CPUtime=1710.37
/proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1294 0 0 0 169996 1041 0 0 25 0 1 0 198753297 6668288 1232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517501 0 0 4096 0 0 0 0 17 1 0 0
/proc/3597/statm: 1628 1232 205 16 0 1068 0
Current children cumulated CPU time (s) 1710.37
Current children cumulated vsize (Kb) 6512

[startup+1721.05 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 3794
/proc/meminfo: memFree=1680048/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=6512 CPUtime=1720.37
/proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1294 0 0 0 170989 1048 0 0 25 0 1 0 198753297 6668288 1232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3597/statm: 1628 1232 205 16 0 1068 0
Current children cumulated CPU time (s) 1720.37
Current children cumulated vsize (Kb) 6512

[startup+1731.05 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 3794
/proc/meminfo: memFree=1680048/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=6512 CPUtime=1730.37
/proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1294 0 0 0 171982 1055 0 0 25 0 1 0 198753297 6668288 1232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528312 0 0 4096 0 0 0 0 17 1 0 0
/proc/3597/statm: 1628 1232 205 16 0 1068 0
Current children cumulated CPU time (s) 1730.37
Current children cumulated vsize (Kb) 6512

[startup+1741.06 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 3794
/proc/meminfo: memFree=1680048/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=6512 CPUtime=1740.37
/proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1294 0 0 0 172974 1063 0 0 25 0 1 0 198753297 6668288 1232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528579 0 0 4096 0 0 0 0 17 1 0 0
/proc/3597/statm: 1628 1232 205 16 0 1068 0
Current children cumulated CPU time (s) 1740.37
Current children cumulated vsize (Kb) 6512

[startup+1751.06 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 3794
/proc/meminfo: memFree=1679984/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=6512 CPUtime=1750.37
/proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1294 0 0 0 173966 1071 0 0 25 0 1 0 198753297 6668288 1232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527841 0 0 4096 0 0 0 0 17 1 0 0
/proc/3597/statm: 1628 1232 205 16 0 1068 0
Current children cumulated CPU time (s) 1750.37
Current children cumulated vsize (Kb) 6512

[startup+1761.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 3794
/proc/meminfo: memFree=1679984/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=6512 CPUtime=1760.38
/proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1294 0 0 0 174961 1077 0 0 25 0 1 0 198753297 6668288 1232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3597/statm: 1628 1232 205 16 0 1068 0
Current children cumulated CPU time (s) 1760.38
Current children cumulated vsize (Kb) 6512

[startup+1771.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 3794
/proc/meminfo: memFree=1680048/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=6512 CPUtime=1770.38
/proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1294 0 0 0 175955 1083 0 0 25 0 1 0 198753297 6668288 1232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/3597/statm: 1628 1232 205 16 0 1068 0
Current children cumulated CPU time (s) 1770.38
Current children cumulated vsize (Kb) 6512

[startup+1781.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 3794
/proc/meminfo: memFree=1680112/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=6512 CPUtime=1780.39
/proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1294 0 0 0 176950 1089 0 0 25 0 1 0 198753297 6668288 1232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3597/statm: 1628 1232 205 16 0 1068 0
Current children cumulated CPU time (s) 1780.39
Current children cumulated vsize (Kb) 6512

[startup+1782.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 3794
/proc/meminfo: memFree=1680112/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=6512 CPUtime=1781.39
/proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1294 0 0 0 177049 1090 0 0 25 0 1 0 198753297 6668288 1232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3597/statm: 1628 1232 205 16 0 1068 0
Current children cumulated CPU time (s) 1781.39
Current children cumulated vsize (Kb) 6512

[startup+1783.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 3794
/proc/meminfo: memFree=1680112/2055888 swapFree=4085336/4096564
[pid=3597] ppid=3595 vsize=6512 CPUtime=1782.39
/proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1294 0 0 0 177149 1090 0 0 25 0 1 0 198753297 6668288 1232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3597/statm: 1628 1232 205 16 0 1068 0
Current children cumulated CPU time (s) 1782.39
Current children cumulated vsize (Kb) 6512

Child status: 10
Real time (s): 1783.43
CPU time (s): 1782.73
CPU user time (s): 1771.82
CPU system time (s): 10.9093
CPU usage (%): 99.9609
Max. virtual memory (cumulated for all children) (Kb): 6532

Launcher Data (download as text)

Begin job on node88 on Sat Jun  3 10:39:02 UTC 2006


FILE ID= 37617-1149331142

PBS_JOBID= 309867

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

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  396a97b3a9140f57450f18f44f605394

RANDOM SEED= 713357570


/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.261
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	: 6006.16
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.261
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	: 5999.38
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1685120 kB
Buffers:         14732 kB
Cached:         288560 kB
SwapCached:       2300 kB
Active:          28732 kB
Inactive:       283144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1685120 kB
SwapTotal:     4096564 kB
SwapFree:      4085336 kB
Dirty:             172 kB
Writeback:           0 kB
Mapped:          16796 kB
Slab:            45440 kB
Committed_AS:   326968 kB
PageTables:       1280 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node88 on Sat Jun  3 11:08:45 UTC 2006