Trace number 37954

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.3SAT168 1782.75 1783.25

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ8_3.opb
MD5SUMd431323968e1ca4dc95d181076d01437
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark162
Best CPU time to get the best result obtained on this benchmark1800.43
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 154
Optimality of the best value was proved NO
Number of variables1344
Total number of constraints16096
Number of constraints which are clauses8208
Number of constraints which are cardinality constraints (but not clauses)496
Number of constraints which are nor clauses,nor cardinality constraints7392
Minimum length of a constraint2
Maximum length of a constraint28
Number of terms in the objective function 448
Biggest coefficient in the objective function 4
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 1024
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 24
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 1024
Number of bits of the biggest sum of numbers11
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.41	c starting to Solve
0.41	c #variables read: 1344 - #constraints read: 16377
0.43	o 192
0.43	o 190
0.47	o 188
4.28	o 182
5.76	o 176
6.02	o 174
6.72	o 172
6.73	o 170
6.73	o 168
1783.23	c total time              : 1783 s
1783.23	s SATISFIABLE
1783.23	v x897 -x898 x899 x900 -x901 x902 -x903 x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 x918
1783.23	v -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 -x939
1783.23	v -x940 -x941 -x942 -x943 x944 -x945 x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960
1783.23	v x961 x962 -x963 -x964 x965 x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 -x980 -x981 x982
1783.23	v -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 x992 -x993 -x994 x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002
1783.23	v -x1003 -x1004 -x1005 -x1006 x1007 -x1008 -x1009 x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 x1017 -x1018 -x1019 -x1020
1783.23	v -x1021 -x1022 -x1023 -x1024 x1025 -x1026 x1027 -x1028 x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 x1038
1783.23	v -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 x1048 -x1049 -x1050 x1051 -x1052 -x1053 -x1054 -x1055 -x1056
1783.23	v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 -x1074
1783.23	v x1075 -x1076 -x1077 -x1078 -x1079 x1080 -x1081 -x1082 -x1083 -x1084 -x1085 x1086 -x1087 x1088 -x1089 -x1090 -x1091 x1092
1783.23	v -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110
1783.23	v -x1111 x1112 -x1113 -x1114 -x1115 -x1116 x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 x1127 -x1128
1783.23	v -x1129 -x1130 x1131 -x1132 -x1133 -x1134 -x1135 x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146
1783.23	v -x1147 -x1148 x1149 -x1150 x1151 x1152 x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 x1161 -x1162 -x1163 -x1164
1783.23	v -x1165 -x1166 x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 x1181 -x1182
1783.23	v -x1183 -x1184 x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 x1195 -x1196 -x1197 -x1198 -x1199 -x1200
1783.23	v x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x1209 -x1210 -x1211 x1212 x1213 -x1214 x1215 -x1216 x1217 x1218
1783.23	v -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 -x1232 -x1233 -x1234 x1235 -x1236
1783.23	v -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 x1252 -x1253 -x1254
1783.23	v -x1255 x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272
1783.23	v x1273 -x1274 x1275 x1276 -x1277 -x1278 x1279 -x1280 x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 x1288 -x1289 x1290
1783.23	v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 x1302 -x1303 -x1304 -x1305 -x1306 -x1307
1783.23	v -x1308 x1309 -x1310 -x1311 -x1312 x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 -x1325
1783.23	v -x1326 x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 x1338 x1339 -x1340 -x1341 -x1342 x1343
1783.23	v x1344 -x2 -x66 -x130 -x194 -x258 -x322 x386 -x450 -x514 -x578 -x642 -x706 -x770 -x834 -x3 -x67 -x131 -x195 -x259 -x323 -x387
1783.23	v -x451 -x515 -x579 -x643 x707 -x771 -x835 -x4 -x68 -x132 -x196 -x260 -x324 -x388 -x452 -x516 -x580 -x644 -x708 -x772 x836 -x5
1783.23	v -x69 -x133 -x197 -x261 -x325 -x389 -x453 -x517 -x581 x645 -x709 -x773 -x837 -x6 -x70 x134 -x198 -x262 -x326 -x390 -x454 -x518
1783.23	v -x582 -x646 -x710 -x774 -x838 -x7 x71 -x135 -x199 -x263 -x327 -x391 -x455 -x519 -x583 -x647 -x711 -x775 -x839 -x8 -x72 -x136
1783.23	v x200 -x264 -x328 -x392 -x456 -x520 -x584 -x648 -x712 -x776 -x840 -x9 -x73 -x137 -x201 -x265 -x329 -x393 -x457 -x521 x585 -x649
1783.23	v -x713 -x777 -x841 -x11 -x75 -x139 -x203 -x267 x331 -x395 -x459 -x523 -x587 -x651 -x715 -x779 -x843 -x12 -x76 -x140 x204 -x268
1783.23	v -x332 -x396 -x460 -x524 -x588 -x652 -x716 -x780 -x844 -x13 -x77 -x141 -x205 -x269 -x333 -x397 -x461 -x525 -x589 -x653 -x717
1783.23	v -x781 x845 -x14 -x78 -x142 -x206 -x270 -x334 -x398 -x462 -x526 -x590 -x654 -x718 x782 -x846 -x15 -x79 -x143 -x207 -x271 -x335
1783.23	v -x399 -x463 x527 -x591 -x655 -x719 -x783 -x847 -x16 -x80 -x144 -x208 -x272 -x336 -x400 -x464 -x528 -x592 -x656 x720 -x784
1783.23	v -x848 -x17 -x81 -x145 -x209 x273 -x337 -x401 -x465 -x529 -x593 -x657 -x721 -x785 -x849 -x18 -x82 -x146 -x210 -x274 -x338 -x402
1783.23	v -x466 -x530 -x594 x658 -x722 -x786 -x850 -x20 -x84 -x148 -x212 -x276 -x340 -x404 -x468 -x532 -x596 -x660 -x724 x788 -x852
1783.23	v -x21 -x85 -x149 -x213 -x277 -x341 -x405 -x469 -x533 x597 -x661 -x725 -x789 -x853 -x22 -x86 -x150 -x214 -x278 -x342 -x406 -x470
1783.23	v x534 -x598 -x662 -x726 -x790 -x854 -x23 -x87 -x151 x215 -x279 -x343 -x407 -x471 -x535 -x599 -x663 -x727 -x791 -x855 -x24 -x88
1783.23	v x152 -x216 -x280 -x344 -x408 -x472 -x536 -x600 -x664 -x728 -x792 -x856 -x25 -x89 -x153 -x217 -x281 -x345 -x409 -x473 x537
1783.23	v -x601 -x665 -x729 -x793 -x857 -x26 x90 -x154 -x218 -x282 -x346 -x410 -x474 -x538 -x602 -x666 -x730 -x794 -x858 x27 -x91 -x155
1783.23	v -x219 -x283 -x347 -x411 -x475 -x539 -x603 -x667 -x731 -x795 -x859 -x29 -x93 x157 -x221 -x285 -x349 -x413 -x477 -x541 -x605
1783.23	v -x669 -x733 -x797 -x861 -x30 -x94 -x158 -x222 -x286 -x350 -x414 -x478 -x542 -x606 x670 -x734 -x798 -x862 -x31 -x95 -x159 -x223
1783.23	v -x287 -x351 -x415 -x479 -x543 x607 -x671 -x735 -x799 -x863 -x32 -x96 -x160 -x224 -x288 x352 -x416 -x480 -x544 -x608 -x672
1783.23	v -x736 -x800 -x864 x33 -x97 -x161 -x225 -x289 -x353 -x417 -x481 -x545 -x609 -x673 -x737 -x801 -x865 -x34 -x98 -x162 -x226 -x290
1783.23	v -x354 -x418 x482 -x546 -x610 -x674 -x738 -x802 -x866 -x35 -x99 -x163 -x227 -x291 -x355 x419 -x483 -x547 -x611 -x675 -x739
1783.23	v -x803 -x867 -x36 -x100 -x164 -x228 -x292 -x356 -x420 -x484 -x548 -x612 -x676 x740 -x804 -x868 -x38 -x102 -x166 x230 -x294
1783.23	v -x358 -x422 -x486 -x550 -x614 -x678 -x742 -x806 -x870 -x39 -x103 -x167 -x231 x295 -x359 -x423 -x487 -x551 -x615 -x679 -x743
1783.23	v -x807 -x871 -x40 x104 -x168 -x232 -x296 -x360 -x424 -x488 -x552 -x616 -x680 -x744 -x808 -x872 -x41 -x105 -x169 -x233 -x297
1783.23	v -x361 -x425 x489 -x553 -x617 -x681 -x745 -x809 -x873 x42 -x106 -x170 -x234 -x298 -x362 -x426 -x490 -x554 -x618 -x682 -x746
1783.23	v -x810 -x874 -x43 x107 -x171 -x235 -x299 -x363 -x427 -x491 -x555 -x619 -x683 -x747 -x811 -x875 -x44 -x108 -x172 -x236 x300
1783.23	v -x364 -x428 -x492 -x556 -x620 -x684 -x748 -x812 -x876 -x45 -x109 -x173 -x237 -x301 x365 -x429 -x493 -x557 -x621 -x685 -x749
1783.23	v -x813 -x877 -x47 -x111 -x175 -x239 -x303 -x367 -x431 -x495 -x559 -x623 -x687 x751 -x815 -x879 -x48 -x112 -x176 -x240 -x304
1783.23	v -x368 -x432 -x496 -x560 x624 -x688 -x752 -x816 -x880 -x49 -x113 -x177 -x241 -x305 x369 -x433 -x497 -x561 -x625 -x689 -x753
1783.23	v -x817 -x881 -x50 -x114 x178 -x242 -x306 -x370 -x434 -x498 -x562 -x626 -x690 -x754 -x818 -x882 -x51 -x115 -x179 -x243 -x307
1783.23	v -x371 -x435 x499 -x563 -x627 -x691 -x755 -x819 -x883 -x52 -x116 -x180 -x244 -x308 -x372 x436 -x500 -x564 -x628 -x692 -x756
1783.23	v -x820 -x884 -x53 -x117 -x181 -x245 -x309 -x373 -x437 -x501 -x565 -x629 -x693 -x757 x821 -x885 -x54 -x118 -x182 -x246 -x310
1783.23	v -x374 -x438 -x502 -x566 -x630 -x694 -x758 -x822 x886 -x56 -x120 -x184 -x248 -x312 -x376 -x440 -x504 -x568 -x632 x696 -x760
1783.23	v -x824 -x888 -x57 -x121 -x185 -x249 -x313 -x377 -x441 -x505 -x569 -x633 -x697 -x761 x825 -x889 -x58 -x122 -x186 -x250 x314
1783.23	v -x378 -x442 -x506 -x570 -x634 -x698 -x762 -x826 -x890 -x59 -x123 -x187 -x251 -x315 -x379 -x443 -x507 -x571 -x635 -x699 -x763
1783.23	v -x827 x891 -x60 -x124 -x188 -x252 -x316 -x380 -x444 x508 -x572 -x636 -x700 -x764 -x828 -x892 -x61 -x125 -x189 -x253 -x317
1783.23	v -x381 -x445 -x509 x573 -x637 -x701 -x765 -x829 -x893 -x62 -x126 -x190 -x254 -x318 -x382 x446 -x510 -x574 -x638 -x702 -x766
1783.23	v -x830 -x894 x63 -x127 -x191 -x255 -x319 -x383 -x447 -x511 -x575 -x639 -x703 -x767 -x831 -x895 x10 x74 x138 -x202 x266 -x330
1783.23	v x394 x458 -x522 -x586 x650 -x714 -x778 -x842 x19 x83 -x147 -x211 -x275 x339 x403 x467 -x531 -x595 -x659 x723 -x787 x851 -x28
1783.23	v -x92 -x156 x220 x284 -x348 x412 x476 -x540 -x604 -x668 x732 x796 x860 -x37 -x101 x165 -x229 -x293 x357 -x421 -x485 x549 x613
1783.23	v x677 -x741 x805 x869 -x46 -x110 x174 x238 -x302 -x366 x430 -x494 x558 -x622 x686 -x750 x814 x878 x55 x119 -x183 x247 x311 -x375
1783.23	v -x439 -x503 x567 x631 -x695 x759 -x823 -x887 -x64 x128 x192 x256 -x320 x384 -x448 -x512 -x576 x640 x704 x768 -x832 -x896 x1
1783.23	v -x65 -x129 -x193 x257 x321 -x385 x449 x513 x577 -x641 -x705 x769 -x833

Verifier Data (download as text)

OK	168

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/node25/watcher-37954-1149399085 -o ROOT/results/node25/solver-37954-1149399085 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node25/37954-1149399085/instance-37954-1149399085.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.02 1.00 2/64 29332
/proc/meminfo: memFree=1613392/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=916 CPUtime=0
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 44 0 0 0 0 0 0 0 18 0 1 0 205571920 937984 28 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 3765028 0 0 4096 0 0 0 0 17 1 0 0
/proc/29332/statm: 229 28 20 16 0 8 0

[startup+10.0025 s]
/proc/loadavg: 1.00 1.02 1.00 2/64 29332
/proc/meminfo: memFree=1596384/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=19448 CPUtime=9.99
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 4488 0 0 0 994 5 0 0 25 0 1 0 205571920 19914752 4459 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/29332/statm: 4862 4459 205 16 0 4303 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 19448

[startup+20.0094 s]
/proc/loadavg: 1.00 1.02 1.00 2/64 29332
/proc/meminfo: memFree=1592864/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=23216 CPUtime=19.99
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 5392 0 0 0 1991 8 0 0 25 0 1 0 205571920 23773184 5363 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/29332/statm: 5804 5363 205 16 0 5245 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 23216

[startup+30.0163 s]
/proc/loadavg: 1.00 1.02 1.00 2/64 29332
/proc/meminfo: memFree=1590368/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=25632 CPUtime=29.99
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 6016 0 0 0 2989 10 0 0 25 0 1 0 205571920 26247168 5987 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29332/statm: 6408 5987 205 16 0 5849 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 25632

[startup+40.0222 s]
/proc/loadavg: 1.00 1.02 1.00 2/64 29332
/proc/meminfo: memFree=1588832/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=27292 CPUtime=40.01
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 6422 0 0 0 3988 13 0 0 25 0 1 0 205571920 27947008 6393 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/29332/statm: 6823 6393 205 16 0 6264 0
Current children cumulated CPU time (s) 40.01
Current children cumulated vsize (Kb) 27292

[startup+50.0321 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 29332
/proc/meminfo: memFree=1585888/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=30132 CPUtime=50.01
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 7153 0 0 0 4986 15 0 0 25 0 1 0 205571920 30855168 7124 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/29332/statm: 7533 7124 205 16 0 6974 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (Kb) 30132

[startup+60.038 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 29332
/proc/meminfo: memFree=1579424/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=36652 CPUtime=60.01
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 8767 0 0 0 5984 17 0 0 25 0 1 0 205571920 37531648 8738 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/29332/statm: 9163 8738 205 16 0 8604 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 36652

[startup+70.044 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 29332
/proc/meminfo: memFree=1578016/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=37912 CPUtime=70.01
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 9102 0 0 0 6982 19 0 0 25 0 1 0 205571920 38821888 9073 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29332/statm: 9478 9073 205 16 0 8919 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 37912

[startup+80.0499 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 29332
/proc/meminfo: memFree=1578080/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=37912 CPUtime=80.02
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 9102 0 0 0 7981 21 0 0 25 0 1 0 205571920 38821888 9073 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29332/statm: 9478 9073 205 16 0 8919 0
Current children cumulated CPU time (s) 80.02
Current children cumulated vsize (Kb) 37912

[startup+90.0558 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 29332
/proc/meminfo: memFree=1578080/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=37912 CPUtime=90.02
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 9102 0 0 0 8980 22 0 0 25 0 1 0 205571920 38821888 9073 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527457 0 0 4096 0 0 0 0 17 1 0 0
/proc/29332/statm: 9478 9073 205 16 0 8919 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 37912

[startup+100.062 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 29332
/proc/meminfo: memFree=1577952/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=38168 CPUtime=100.02
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 9145 0 0 0 9979 23 0 0 25 0 1 0 205571920 39084032 9116 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/29332/statm: 9542 9116 205 16 0 8983 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 38168

[startup+110.068 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 29332
/proc/meminfo: memFree=1576928/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=39188 CPUtime=110.02
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 9392 0 0 0 10978 24 0 0 25 0 1 0 205571920 40128512 9363 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/29332/statm: 9797 9363 205 16 0 9238 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 39188

[startup+120.074 s]
/proc/loadavg: 1.00 1.01 1.00 3/64 29332
/proc/meminfo: memFree=1576864/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=39188 CPUtime=120.03
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 9406 0 0 0 11978 25 0 0 25 0 1 0 205571920 40128512 9377 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/29332/statm: 9797 9377 205 16 0 9238 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 39188

[startup+130.079 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 29332
/proc/meminfo: memFree=1575584/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=40448 CPUtime=130.04
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 9728 0 0 0 12977 27 0 0 25 0 1 0 205571920 41418752 9699 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/29332/statm: 10112 9699 205 16 0 9553 0
Current children cumulated CPU time (s) 130.04
Current children cumulated vsize (Kb) 40448

[startup+140.086 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 29332
/proc/meminfo: memFree=1574432/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=41572 CPUtime=140.06
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 10002 0 0 0 13978 28 0 0 25 0 1 0 205571920 42569728 9973 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29332/statm: 10393 9973 205 16 0 9834 0
Current children cumulated CPU time (s) 140.06
Current children cumulated vsize (Kb) 41572

[startup+150.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29332
/proc/meminfo: memFree=1573088/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=42852 CPUtime=150.06
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 10338 0 0 0 14977 29 0 0 25 0 1 0 205571920 43880448 10309 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29332/statm: 10713 10309 205 16 0 10154 0
Current children cumulated CPU time (s) 150.06
Current children cumulated vsize (Kb) 42852

[startup+160.126 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29332
/proc/meminfo: memFree=1573152/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=42852 CPUtime=160.08
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 10338 0 0 0 15977 31 0 0 25 0 1 0 205571920 43880448 10309 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/29332/statm: 10713 10309 205 16 0 10154 0
Current children cumulated CPU time (s) 160.08
Current children cumulated vsize (Kb) 42852

[startup+170.132 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29332
/proc/meminfo: memFree=1566240/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=49820 CPUtime=170.07
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 12072 0 0 0 16975 32 0 0 25 0 1 0 205571920 51015680 12043 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/29332/statm: 12455 12043 205 16 0 11896 0
Current children cumulated CPU time (s) 170.07
Current children cumulated vsize (Kb) 49820

[startup+180.138 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29332
/proc/meminfo: memFree=1566240/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=49820 CPUtime=180.07
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 12072 0 0 0 17974 33 0 0 25 0 1 0 205571920 51015680 12043 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29332/statm: 12455 12043 205 16 0 11896 0
Current children cumulated CPU time (s) 180.07
Current children cumulated vsize (Kb) 49820

[startup+190.144 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29332
/proc/meminfo: memFree=1566176/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=49820 CPUtime=190.08
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 12074 0 0 0 18974 34 0 0 25 0 1 0 205571920 51015680 12045 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134558670 0 0 4096 0 0 0 0 17 1 0 0
/proc/29332/statm: 12455 12045 205 16 0 11896 0
Current children cumulated CPU time (s) 190.08
Current children cumulated vsize (Kb) 49820

[startup+200.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29332
/proc/meminfo: memFree=1566176/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=49820 CPUtime=200.09
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 12074 0 0 0 19973 36 0 0 25 0 1 0 205571920 51015680 12045 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29332/statm: 12455 12045 205 16 0 11896 0
Current children cumulated CPU time (s) 200.09
Current children cumulated vsize (Kb) 49820

[startup+210.156 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29333
/proc/meminfo: memFree=1566176/2055920 swapFree=4181452/4192956

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

/proc/29332/statm: 21953 21503 205 16 0 21394 0
Current children cumulated CPU time (s) 1590.53
Current children cumulated vsize (Kb) 87812

[startup+1600.97 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29334
/proc/meminfo: memFree=1527968/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=87812 CPUtime=1600.53
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 21575 0 0 0 159883 170 0 0 25 0 1 0 205571920 89919488 21503 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519958 0 0 4096 0 0 0 0 17 1 0 0
/proc/29332/statm: 21953 21503 205 16 0 21394 0
Current children cumulated CPU time (s) 1600.53
Current children cumulated vsize (Kb) 87812

[startup+1610.98 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29334
/proc/meminfo: memFree=1527968/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=87812 CPUtime=1610.53
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 21576 0 0 0 160882 171 0 0 25 0 1 0 205571920 89919488 21504 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520198 0 0 4096 0 0 0 0 17 1 0 0
/proc/29332/statm: 21953 21504 205 16 0 21394 0
Current children cumulated CPU time (s) 1610.53
Current children cumulated vsize (Kb) 87812

[startup+1620.98 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29334
/proc/meminfo: memFree=1527968/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=87812 CPUtime=1620.54
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 21576 0 0 0 161882 172 0 0 25 0 1 0 205571920 89919488 21504 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29332/statm: 21953 21504 205 16 0 21394 0
Current children cumulated CPU time (s) 1620.54
Current children cumulated vsize (Kb) 87812

[startup+1630.99 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29334
/proc/meminfo: memFree=1527968/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=87812 CPUtime=1630.54
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 21576 0 0 0 162881 173 0 0 25 0 1 0 205571920 89919488 21504 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/29332/statm: 21953 21504 205 16 0 21394 0
Current children cumulated CPU time (s) 1630.54
Current children cumulated vsize (Kb) 87812

[startup+1641 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29334
/proc/meminfo: memFree=1527968/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=87812 CPUtime=1640.54
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 21576 0 0 0 163881 173 0 0 25 0 1 0 205571920 89919488 21504 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527420 0 0 4096 0 0 0 0 17 1 0 0
/proc/29332/statm: 21953 21504 205 16 0 21394 0
Current children cumulated CPU time (s) 1640.54
Current children cumulated vsize (Kb) 87812

[startup+1651 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29334
/proc/meminfo: memFree=1527968/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=87812 CPUtime=1650.55
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 21576 0 0 0 164881 174 0 0 25 0 1 0 205571920 89919488 21504 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0
/proc/29332/statm: 21953 21504 205 16 0 21394 0
Current children cumulated CPU time (s) 1650.55
Current children cumulated vsize (Kb) 87812

[startup+1661.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29334
/proc/meminfo: memFree=1527968/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=87812 CPUtime=1660.55
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 21576 0 0 0 165881 174 0 0 25 0 1 0 205571920 89919488 21504 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557904 0 0 4096 0 0 0 0 17 1 0 0
/proc/29332/statm: 21953 21504 205 16 0 21394 0
Current children cumulated CPU time (s) 1660.55
Current children cumulated vsize (Kb) 87812

[startup+1671.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29334
/proc/meminfo: memFree=1527968/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=87812 CPUtime=1670.55
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 21576 0 0 0 166881 174 0 0 25 0 1 0 205571920 89919488 21504 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/29332/statm: 21953 21504 205 16 0 21394 0
Current children cumulated CPU time (s) 1670.55
Current children cumulated vsize (Kb) 87812

[startup+1681.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29334
/proc/meminfo: memFree=1527968/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=87812 CPUtime=1680.56
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 21576 0 0 0 167881 175 0 0 25 0 1 0 205571920 89919488 21504 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/29332/statm: 21953 21504 205 16 0 21394 0
Current children cumulated CPU time (s) 1680.56
Current children cumulated vsize (Kb) 87812

[startup+1691.03 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29334
/proc/meminfo: memFree=1527904/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=87812 CPUtime=1690.56
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 21576 0 0 0 168880 176 0 0 25 0 1 0 205571920 89919488 21504 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559496 0 0 4096 0 0 0 0 17 1 0 0
/proc/29332/statm: 21953 21504 205 16 0 21394 0
Current children cumulated CPU time (s) 1690.56
Current children cumulated vsize (Kb) 87812

[startup+1701.03 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29334
/proc/meminfo: memFree=1527904/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=87812 CPUtime=1700.56
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 21576 0 0 0 169880 176 0 0 25 0 1 0 205571920 89919488 21504 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557287 0 0 4096 0 0 0 0 17 1 0 0
/proc/29332/statm: 21953 21504 205 16 0 21394 0
Current children cumulated CPU time (s) 1700.56
Current children cumulated vsize (Kb) 87812

[startup+1711.04 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29334
/proc/meminfo: memFree=1527968/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=87812 CPUtime=1710.57
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 21576 0 0 0 170880 177 0 0 25 0 1 0 205571920 89919488 21504 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/29332/statm: 21953 21504 205 16 0 21394 0
Current children cumulated CPU time (s) 1710.57
Current children cumulated vsize (Kb) 87812

[startup+1721.04 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29334
/proc/meminfo: memFree=1527968/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=87812 CPUtime=1720.57
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 21576 0 0 0 171880 177 0 0 25 0 1 0 205571920 89919488 21504 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/29332/statm: 21953 21504 205 16 0 21394 0
Current children cumulated CPU time (s) 1720.57
Current children cumulated vsize (Kb) 87812

[startup+1731.05 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29334
/proc/meminfo: memFree=1527968/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=87812 CPUtime=1730.58
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 21576 0 0 0 172880 178 0 0 25 0 1 0 205571920 89919488 21504 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/29332/statm: 21953 21504 205 16 0 21394 0
Current children cumulated CPU time (s) 1730.58
Current children cumulated vsize (Kb) 87812

[startup+1741.06 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29334
/proc/meminfo: memFree=1527968/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=87812 CPUtime=1740.57
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 21576 0 0 0 173879 178 0 0 25 0 1 0 205571920 89919488 21504 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0
/proc/29332/statm: 21953 21504 205 16 0 21394 0
Current children cumulated CPU time (s) 1740.57
Current children cumulated vsize (Kb) 87812

[startup+1751.06 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29334
/proc/meminfo: memFree=1527968/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=87812 CPUtime=1750.58
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 21576 0 0 0 174879 179 0 0 25 0 1 0 205571920 89919488 21504 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519973 0 0 4096 0 0 0 0 17 1 0 0
/proc/29332/statm: 21953 21504 205 16 0 21394 0
Current children cumulated CPU time (s) 1750.58
Current children cumulated vsize (Kb) 87812

[startup+1761.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29334
/proc/meminfo: memFree=1527968/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=87812 CPUtime=1760.59
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 21576 0 0 0 175879 180 0 0 25 0 1 0 205571920 89919488 21504 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29332/statm: 21953 21504 205 16 0 21394 0
Current children cumulated CPU time (s) 1760.59
Current children cumulated vsize (Kb) 87812

[startup+1771.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29334
/proc/meminfo: memFree=1527904/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=87812 CPUtime=1770.59
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 21576 0 0 0 176878 181 0 0 25 0 1 0 205571920 89919488 21504 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/29332/statm: 21953 21504 205 16 0 21394 0
Current children cumulated CPU time (s) 1770.59
Current children cumulated vsize (Kb) 87812

[startup+1781.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 29389
/proc/meminfo: memFree=1526704/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=87812 CPUtime=1780.58
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 21576 0 0 0 177875 183 0 0 25 0 1 0 205571920 89919488 21504 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520080 0 0 4096 0 0 0 0 17 0 0 0
/proc/29332/statm: 21953 21504 205 16 0 21394 0
Current children cumulated CPU time (s) 1780.58
Current children cumulated vsize (Kb) 87812

[startup+1782.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 29397
/proc/meminfo: memFree=1526704/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=87812 CPUtime=1781.58
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 21576 0 0 0 177975 183 0 0 25 0 1 0 205571920 89919488 21504 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/29332/statm: 21953 21504 205 16 0 21394 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (Kb) 87812

[startup+1783.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 29397
/proc/meminfo: memFree=1526704/2055920 swapFree=4181452/4192956
[pid=29332] ppid=29330 vsize=87792 CPUtime=1782.59
/proc/29332/stat : 29332 (Pueblo13) R 29330 29332 29286 0 -1 4194304 21576 0 0 0 178076 183 0 0 25 0 1 0 205571920 89899008 21502 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/29332/statm: 21948 21502 205 16 0 21389 0
Current children cumulated CPU time (s) 1782.59
Current children cumulated vsize (Kb) 87792

Child status: 10
Real time (s): 1783.25
CPU time (s): 1782.75
CPU user time (s): 1780.9
CPU system time (s): 1.85072
CPU usage (%): 99.972
Max. virtual memory (cumulated for all children) (Kb): 87812

Launcher Data (download as text)

Begin job on node25 on Sun Jun  4 05:31:25 UTC 2006


FILE ID= 37954-1149399085

PBS_JOBID= 313905

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ8_3.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node25/37954-1149399085/instance-37954-1149399085.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node25/watcher-37954-1149399085 -o ROOT/results/node25/solver-37954-1149399085 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node25/37954-1149399085/instance-37954-1149399085.opb

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  d431323968e1ca4dc95d181076d01437

RANDOM SEED= 459008123


/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.236
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.236
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:       1613600 kB
Buffers:         27284 kB
Cached:         353632 kB
SwapCached:       3080 kB
Active:         108864 kB
Inactive:       280676 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1613600 kB
SwapTotal:     4192956 kB
SwapFree:      4181452 kB
Dirty:             188 kB
Writeback:           0 kB
Mapped:          14716 kB
Slab:            38736 kB
Committed_AS:   384124 kB
PageTables:       1428 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node25 on Sun Jun  4 06:01:09 UTC 2006