Trace number 37044

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-9 1782.9 1783.35

General information on the benchmark

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

Verifier Data (download as text)

OK	-9

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/node4/watcher-37044-1149294646 -o ROOT/results/node4/solver-37044-1149294646 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node4/37044-1149294646/instance-37044-1149294646.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 2/64 7738
/proc/meminfo: memFree=1792360/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=172 CPUtime=0
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 38 0 0 0 0 0 0 0 19 0 1 0 195126489 176128 23 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 10588964 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 43 23 18 16 0 2 0

[startup+10.002 s]
/proc/loadavg: 0.93 0.98 0.99 2/64 7738
/proc/meminfo: memFree=1775016/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=19760 CPUtime=9.99
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 4672 0 0 0 997 2 0 0 25 0 1 0 195126489 20234240 4537 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134523654 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 4940 4537 206 16 0 4381 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 19760

[startup+20.0089 s]
/proc/loadavg: 0.94 0.98 0.99 2/64 7738
/proc/meminfo: memFree=1765672/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=29280 CPUtime=20
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 7033 0 0 0 1997 3 0 0 25 0 1 0 195126489 29982720 6898 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519132 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 7320 6898 206 16 0 6761 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 29280

[startup+30.0159 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 7738
/proc/meminfo: memFree=1757800/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=37212 CPUtime=30
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 9007 0 0 0 2996 4 0 0 25 0 1 0 195126489 38105088 8872 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517930 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 9303 8872 206 16 0 8744 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 37212

[startup+40.0209 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 7738
/proc/meminfo: memFree=1750120/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=44844 CPUtime=39.99
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 10922 0 0 0 3995 4 0 0 25 0 1 0 195126489 45920256 10787 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134556363 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 11211 10787 206 16 0 10652 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 44844

[startup+50.0268 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 7738
/proc/meminfo: memFree=1742248/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=52672 CPUtime=50
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 12904 0 0 0 4995 5 0 0 25 0 1 0 195126489 53936128 12769 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 13168 12769 206 16 0 12609 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 52672

[startup+60.0328 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 7738
/proc/meminfo: memFree=1734824/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=60156 CPUtime=60.01
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 14747 0 0 0 5994 7 0 0 25 0 1 0 195126489 61599744 14612 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522731 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 15039 14612 206 16 0 14480 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 60156

[startup+70.0388 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 7738
/proc/meminfo: memFree=1728232/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=66720 CPUtime=70.01
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 16390 0 0 0 6994 7 0 0 25 0 1 0 195126489 68321280 16255 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134523647 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 16680 16255 206 16 0 16121 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 66720

[startup+80.0447 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 7738
/proc/meminfo: memFree=1720936/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=73944 CPUtime=80.02
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 18217 0 0 0 7994 8 0 0 25 0 1 0 195126489 75718656 18082 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519082 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 18486 18082 206 16 0 17927 0
Current children cumulated CPU time (s) 80.02
Current children cumulated vsize (Kb) 73944

[startup+90.0507 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 7738
/proc/meminfo: memFree=1713896/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=81112 CPUtime=90.02
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 19974 0 0 0 8993 9 0 0 25 0 1 0 195126489 83058688 19839 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 20278 19839 206 16 0 19719 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 81112

[startup+100.057 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 7738
/proc/meminfo: memFree=1706856/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=88024 CPUtime=100.02
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 21732 0 0 0 9992 10 0 0 25 0 1 0 195126489 90136576 21597 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134524559 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 22006 21597 206 16 0 21447 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 88024

[startup+110.063 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 7738
/proc/meminfo: memFree=1699368/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=95596 CPUtime=110.03
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 23607 0 0 0 10991 12 0 0 25 0 1 0 195126489 97890304 23472 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532840 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 23899 23472 206 16 0 23340 0
Current children cumulated CPU time (s) 110.03
Current children cumulated vsize (Kb) 95596

[startup+120.069 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 7738
/proc/meminfo: memFree=1692520/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=102412 CPUtime=120.02
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 25299 0 0 0 11990 12 0 0 25 0 1 0 195126489 104869888 25164 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134523520 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 25603 25164 206 16 0 25044 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 102412

[startup+130.075 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 7738
/proc/meminfo: memFree=1685416/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=109484 CPUtime=130.04
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 27077 0 0 0 12990 14 0 0 25 0 1 0 195126489 112111616 26942 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519085 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 27371 26942 206 16 0 26812 0
Current children cumulated CPU time (s) 130.04
Current children cumulated vsize (Kb) 109484

[startup+140.082 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 7738
/proc/meminfo: memFree=1678760/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=116160 CPUtime=140.03
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 28744 0 0 0 13989 14 0 0 25 0 1 0 195126489 118947840 28609 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 29040 28609 206 16 0 28481 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 116160

[startup+150.088 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 7738
/proc/meminfo: memFree=1672488/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=122492 CPUtime=150.03
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 30303 0 0 0 14988 15 0 0 25 0 1 0 195126489 125431808 30168 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 30623 30168 206 16 0 30064 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 122492

[startup+160.093 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 7738
/proc/meminfo: memFree=1667048/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=127892 CPUtime=160.04
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 31660 0 0 0 15988 16 0 0 25 0 1 0 195126489 130961408 31525 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 31973 31525 206 16 0 31414 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 127892

[startup+170.099 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 7738
/proc/meminfo: memFree=1660392/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=134520 CPUtime=170.05
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 33316 0 0 0 16988 17 0 0 25 0 1 0 195126489 137748480 33181 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517805 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 33630 33181 206 16 0 33071 0
Current children cumulated CPU time (s) 170.05
Current children cumulated vsize (Kb) 134520

[startup+180.105 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 7738
/proc/meminfo: memFree=1652648/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=142220 CPUtime=180.05
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 35248 0 0 0 17987 18 0 0 25 0 1 0 195126489 145633280 35113 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134523674 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 35555 35113 206 16 0 34996 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 142220

[startup+190.111 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 7738
/proc/meminfo: memFree=1645672/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=149144 CPUtime=190.05
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 36994 0 0 0 18987 18 0 0 25 0 1 0 195126489 152723456 36859 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 37286 36859 206 16 0 36727 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 149144

[startup+200.117 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 7738
/proc/meminfo: memFree=1638440/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=156512 CPUtime=200.06
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 38800 0 0 0 19987 19 0 0 25 0 1 0 195126489 160268288 38665 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522706 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 39128 38665 206 16 0 38569 0
Current children cumulated CPU time (s) 200.06
Current children cumulated vsize (Kb) 156512

[startup+210.123 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 7738
/proc/meminfo: memFree=1632360/2055920 swapFree=4181448/4192956

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

/proc/7738/statm: 224082 222546 206 16 0 223523 0
Current children cumulated CPU time (s) 1590.54
Current children cumulated vsize (Kb) 896328

[startup+1600.94 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 7740
/proc/meminfo: memFree=898224/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=899392 CPUtime=1600.53
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 223430 0 0 0 159933 120 0 0 25 0 1 0 195126489 920977408 223295 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 224848 223295 206 16 0 224289 0
Current children cumulated CPU time (s) 1600.53
Current children cumulated vsize (Kb) 899392

[startup+1610.95 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 7740
/proc/meminfo: memFree=895856/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=902144 CPUtime=1610.54
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 224011 0 0 0 160934 120 0 0 25 0 1 0 195126489 923795456 223876 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 225536 223876 206 16 0 224977 0
Current children cumulated CPU time (s) 1610.54
Current children cumulated vsize (Kb) 902144

[startup+1620.96 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 7740
/proc/meminfo: memFree=895536/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=902396 CPUtime=1620.54
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 224099 0 0 0 161934 120 0 0 25 0 1 0 195126489 924053504 223964 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 225599 223964 206 16 0 225040 0
Current children cumulated CPU time (s) 1620.54
Current children cumulated vsize (Kb) 902396

[startup+1630.96 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 7740
/proc/meminfo: memFree=892016/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=906032 CPUtime=1630.55
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 224965 0 0 0 162934 121 0 0 25 0 1 0 195126489 927776768 224830 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 226508 224830 206 16 0 225949 0
Current children cumulated CPU time (s) 1630.55
Current children cumulated vsize (Kb) 906032

[startup+1640.97 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 7740
/proc/meminfo: memFree=887664/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=910332 CPUtime=1640.55
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 226053 0 0 0 163934 121 0 0 25 0 1 0 195126489 932179968 225918 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 227583 225918 206 16 0 227024 0
Current children cumulated CPU time (s) 1640.55
Current children cumulated vsize (Kb) 910332

[startup+1650.97 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 7740
/proc/meminfo: memFree=887088/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=911100 CPUtime=1650.55
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 226200 0 0 0 164934 121 0 0 25 0 1 0 195126489 932966400 226065 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 227775 226065 206 16 0 227216 0
Current children cumulated CPU time (s) 1650.55
Current children cumulated vsize (Kb) 911100

[startup+1660.98 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 7740
/proc/meminfo: memFree=883888/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=914548 CPUtime=1660.55
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 226993 0 0 0 165933 122 0 0 25 0 1 0 195126489 936497152 226858 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520080 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 228637 226858 206 16 0 228078 0
Current children cumulated CPU time (s) 1660.55
Current children cumulated vsize (Kb) 914548

[startup+1670.99 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 7740
/proc/meminfo: memFree=880368/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=918400 CPUtime=1670.56
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 227876 0 0 0 166933 123 0 0 25 0 1 0 195126489 940441600 227741 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 229600 227741 206 16 0 229041 0
Current children cumulated CPU time (s) 1670.56
Current children cumulated vsize (Kb) 918400

[startup+1680.99 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 7740
/proc/meminfo: memFree=875952/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=922712 CPUtime=1680.56
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 228984 0 0 0 167933 123 0 0 25 0 1 0 195126489 944857088 228849 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 230678 228849 206 16 0 230119 0
Current children cumulated CPU time (s) 1680.56
Current children cumulated vsize (Kb) 922712

[startup+1691 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 7740
/proc/meminfo: memFree=868976/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=929536 CPUtime=1690.57
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 230717 0 0 0 168933 124 0 0 25 0 1 0 195126489 951844864 230582 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 232384 230582 206 16 0 231825 0
Current children cumulated CPU time (s) 1690.57
Current children cumulated vsize (Kb) 929536

[startup+1701 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 7740
/proc/meminfo: memFree=864176/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=934400 CPUtime=1700.57
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 231924 0 0 0 169932 125 0 0 25 0 1 0 195126489 956825600 231789 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134524559 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 233600 231789 206 16 0 233041 0
Current children cumulated CPU time (s) 1700.57
Current children cumulated vsize (Kb) 934400

[startup+1711.01 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 7740
/proc/meminfo: memFree=858160/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=940288 CPUtime=1710.58
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 233408 0 0 0 170932 126 0 0 25 0 1 0 195126489 962854912 233273 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527841 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 235072 233273 206 16 0 234513 0
Current children cumulated CPU time (s) 1710.58
Current children cumulated vsize (Kb) 940288

[startup+1721.02 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 7740
/proc/meminfo: memFree=851504/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=946964 CPUtime=1720.58
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 235072 0 0 0 171931 127 0 0 25 0 1 0 195126489 969691136 234937 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 236741 234937 206 16 0 236182 0
Current children cumulated CPU time (s) 1720.58
Current children cumulated vsize (Kb) 946964

[startup+1731.02 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 7740
/proc/meminfo: memFree=847728/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=951148 CPUtime=1730.58
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 236037 0 0 0 172931 127 0 0 25 0 1 0 195126489 973975552 235902 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 237787 235902 206 16 0 237228 0
Current children cumulated CPU time (s) 1730.58
Current children cumulated vsize (Kb) 951148

[startup+1741.03 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 7740
/proc/meminfo: memFree=845296/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=953536 CPUtime=1740.58
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 236630 0 0 0 173931 127 0 0 25 0 1 0 195126489 976420864 236495 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 238384 236495 206 16 0 237825 0
Current children cumulated CPU time (s) 1740.58
Current children cumulated vsize (Kb) 953536

[startup+1751.03 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 7740
/proc/meminfo: memFree=841904/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=956964 CPUtime=1750.59
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 237474 0 0 0 174931 128 0 0 25 0 1 0 195126489 979931136 237339 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519103 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 239241 237339 206 16 0 238682 0
Current children cumulated CPU time (s) 1750.59
Current children cumulated vsize (Kb) 956964

[startup+1761.04 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 7740
/proc/meminfo: memFree=839344/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=959432 CPUtime=1760.59
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 238113 0 0 0 175931 128 0 0 25 0 1 0 195126489 982458368 237978 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 239858 237978 206 16 0 239299 0
Current children cumulated CPU time (s) 1760.59
Current children cumulated vsize (Kb) 959432

[startup+1771.04 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 7740
/proc/meminfo: memFree=837360/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=961572 CPUtime=1770.59
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 238614 0 0 0 176930 129 0 0 25 0 1 0 195126489 984649728 238479 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 240393 238479 206 16 0 239834 0
Current children cumulated CPU time (s) 1770.59
Current children cumulated vsize (Kb) 961572

[startup+1781.05 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 7740
/proc/meminfo: memFree=834864/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=964044 CPUtime=1780.6
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 239234 0 0 0 177931 129 0 0 25 0 1 0 195126489 987181056 239099 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 241011 239099 206 16 0 240452 0
Current children cumulated CPU time (s) 1780.6
Current children cumulated vsize (Kb) 964044

[startup+1782.06 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 7740
/proc/meminfo: memFree=834544/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=964296 CPUtime=1781.6
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 239319 0 0 0 178031 129 0 0 25 0 1 0 195126489 987439104 239184 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 241074 239184 206 16 0 240515 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (Kb) 964296

[startup+1783.06 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 7740
/proc/meminfo: memFree=833968/2055920 swapFree=4181448/4192956
[pid=7738] ppid=7736 vsize=964956 CPUtime=1782.6
/proc/7738/stat : 7738 (Pueblo) R 7736 7738 7692 0 -1 4194304 239459 0 0 0 178131 129 0 0 25 0 1 0 195126489 988114944 239324 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/7738/statm: 241239 239324 206 16 0 240680 0
Current children cumulated CPU time (s) 1782.6
Current children cumulated vsize (Kb) 964956

Child status: 10
Real time (s): 1783.35
CPU time (s): 1782.9
CPU user time (s): 1781.46
CPU system time (s): 1.44778
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (Kb): 964956

Launcher Data (download as text)

Begin job on node4 on Sat Jun  3 00:30:46 UTC 2006


FILE ID= 37044-1149294646

PBS_JOBID= 307028

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node4/37044-1149294646/instance-37044-1149294646.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node4/watcher-37044-1149294646 -o ROOT/results/node4/solver-37044-1149294646 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node4/37044-1149294646/instance-37044-1149294646.opb

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  09bf68c118cd38b954800f61edb04c4b

RANDOM SEED= 737374992


/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:       1792568 kB
Buffers:         21644 kB
Cached:         181540 kB
SwapCached:       3264 kB
Active:          49208 kB
Inactive:       162684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1792568 kB
SwapTotal:     4192956 kB
SwapFree:      4181448 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          14816 kB
Slab:            37416 kB
Committed_AS:   291492 kB
PageTables:       1500 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node4 on Sat Jun  3 01:00:29 UTC 2006