Trace number 37382

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 NameAnswerCPU timeWall clock time
Pueblo 1.3SAT 511.569 511.701

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga30_30_sat_pb.cnf.cr.opb
MD5SUM09dd38397cb073c3f8ce1c2b987fae03
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.021995
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1350
Total number of constraints990
Number of constraints which are clauses930
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint15
Maximum length of a constraint30
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 31
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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

Verifier Data (download as text)

OK	0

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.99 0.99 3/64 20699
/proc/meminfo: memFree=1406040/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=2328 CPUtime=0
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 146 0 0 0 0 0 0 0 18 0 1 0 188947015 2383872 127 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 6896929 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 582 127 108 16 0 11 0

[startup+10.0027 s]
/proc/loadavg: 0.93 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1401320/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=7208 CPUtime=9.99
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 1427 0 0 0 999 0 0 0 25 0 1 0 188947015 7380992 1398 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 7360564 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 1802 1398 205 16 0 1243 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 7208

[startup+20.0086 s]
/proc/loadavg: 0.94 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1401256/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=7328 CPUtime=19.99
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 1472 0 0 0 1999 0 0 0 25 0 1 0 188947015 7503872 1443 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 1832 1443 205 16 0 1273 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 7328

[startup+30.0156 s]
/proc/loadavg: 0.95 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1400872/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=7720 CPUtime=30
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 1553 0 0 0 3000 0 0 0 25 0 1 0 188947015 7905280 1524 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 1930 1524 205 16 0 1371 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 7720

[startup+40.0205 s]
/proc/loadavg: 0.96 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1400680/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=7968 CPUtime=40
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 1616 0 0 0 3999 1 0 0 25 0 1 0 188947015 8159232 1587 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 1992 1587 205 16 0 1433 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 7968

[startup+50.0265 s]
/proc/loadavg: 0.96 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1400488/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=8096 CPUtime=50.01
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 1672 0 0 0 5000 1 0 0 25 0 1 0 188947015 8290304 1643 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 2024 1643 205 16 0 1465 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (Kb) 8096

[startup+60.0324 s]
/proc/loadavg: 0.97 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1400488/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=8088 CPUtime=60.01
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 1672 0 0 0 6000 1 0 0 25 0 1 0 188947015 8282112 1643 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 2022 1643 205 16 0 1463 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 8088

[startup+70.0384 s]
/proc/loadavg: 0.97 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1400360/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=8204 CPUtime=70.01
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 1702 0 0 0 7000 1 0 0 25 0 1 0 188947015 8400896 1672 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 2051 1672 205 16 0 1492 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 8204

[startup+80.0443 s]
/proc/loadavg: 0.98 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1400424/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=8096 CPUtime=80.02
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 1702 0 0 0 8001 1 0 0 25 0 1 0 188947015 8290304 1645 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 2024 1645 205 16 0 1465 0
Current children cumulated CPU time (s) 80.02
Current children cumulated vsize (Kb) 8096

[startup+90.0503 s]
/proc/loadavg: 0.98 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1399976/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=8616 CPUtime=90.02
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 1828 0 0 0 9001 1 0 0 25 0 1 0 188947015 8822784 1771 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 2154 1771 205 16 0 1595 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 8616

[startup+100.056 s]
/proc/loadavg: 0.98 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1399976/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=8616 CPUtime=100.02
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 1828 0 0 0 10001 1 0 0 25 0 1 0 188947015 8822784 1771 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 2154 1771 205 16 0 1595 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 8616

[startup+110.062 s]
/proc/loadavg: 0.98 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1399976/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=8616 CPUtime=110.03
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 1828 0 0 0 11002 1 0 0 25 0 1 0 188947015 8822784 1771 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 2154 1771 205 16 0 1595 0
Current children cumulated CPU time (s) 110.03
Current children cumulated vsize (Kb) 8616

[startup+120.068 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1399912/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=8748 CPUtime=120.03
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 1852 0 0 0 12002 1 0 0 25 0 1 0 188947015 8957952 1795 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 2187 1795 205 16 0 1628 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 8748

[startup+130.074 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1399912/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=8720 CPUtime=130.03
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 1852 0 0 0 13002 1 0 0 25 0 1 0 188947015 8929280 1795 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 2180 1795 205 16 0 1621 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 8720

[startup+140.08 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1399720/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=8888 CPUtime=140.03
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 1895 0 0 0 14002 1 0 0 25 0 1 0 188947015 9101312 1838 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 2222 1838 205 16 0 1663 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 8888

[startup+150.086 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1399720/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=8888 CPUtime=150.04
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 1899 0 0 0 15003 1 0 0 25 0 1 0 188947015 9101312 1842 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 2222 1842 205 16 0 1663 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 8888

[startup+160.091 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1399272/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=9400 CPUtime=160.04
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 2012 0 0 0 16003 1 0 0 25 0 1 0 188947015 9625600 1955 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528235 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 2350 1955 205 16 0 1791 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 9400

[startup+170.097 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1399336/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=9332 CPUtime=170.04
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 2092 0 0 0 17003 1 0 0 25 0 1 0 188947015 9555968 1934 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520080 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 2333 1934 205 16 0 1774 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 9332

[startup+180.103 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1398952/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=9724 CPUtime=180.05
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 2185 0 0 0 18004 1 0 0 25 0 1 0 188947015 9957376 2027 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 2431 2027 205 16 0 1872 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 9724

[startup+190.109 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1399016/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=9384 CPUtime=190.05
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 2185 0 0 0 19004 1 0 0 25 0 1 0 188947015 9609216 1966 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 2346 1966 205 16 0 1787 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 9384

[startup+200.115 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1398696/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=9912 CPUtime=200.05
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 2311 0 0 0 20004 1 0 0 25 0 1 0 188947015 10149888 2092 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 2478 2092 205 16 0 1919 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 9912

[startup+210.121 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1398568/2055920 swapFree=4181448/4192956

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

/proc/20699/statm: 2492 2113 205 16 0 1933 0
Current children cumulated CPU time (s) 300.08
Current children cumulated vsize (Kb) 9968

[startup+310.179 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1398568/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=9968 CPUtime=310.1
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 2338 0 0 0 31008 2 0 0 25 0 1 0 188947015 10207232 2113 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 2492 2113 205 16 0 1933 0
Current children cumulated CPU time (s) 310.1
Current children cumulated vsize (Kb) 9968

[startup+320.185 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1398568/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=9968 CPUtime=320.1
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 2338 0 0 0 32008 2 0 0 25 0 1 0 188947015 10207232 2113 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134558877 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 2492 2113 205 16 0 1933 0
Current children cumulated CPU time (s) 320.1
Current children cumulated vsize (Kb) 9968

[startup+330.19 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1397544/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=11120 CPUtime=330.1
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 2598 0 0 0 33008 2 0 0 25 0 1 0 188947015 11386880 2373 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 2780 2373 205 16 0 2221 0
Current children cumulated CPU time (s) 330.1
Current children cumulated vsize (Kb) 11120

[startup+340.196 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1397224/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=11376 CPUtime=340.1
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 2680 0 0 0 34008 2 0 0 25 0 1 0 188947015 11649024 2455 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 2844 2455 205 16 0 2285 0
Current children cumulated CPU time (s) 340.1
Current children cumulated vsize (Kb) 11376

[startup+350.202 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1396520/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=11996 CPUtime=350.1
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 2860 0 0 0 35008 2 0 0 25 0 1 0 188947015 12283904 2617 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520080 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 2999 2617 205 16 0 2440 0
Current children cumulated CPU time (s) 350.1
Current children cumulated vsize (Kb) 11996

[startup+360.208 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1396520/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=11996 CPUtime=360.11
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 2860 0 0 0 36009 2 0 0 25 0 1 0 188947015 12283904 2617 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 2999 2617 205 16 0 2440 0
Current children cumulated CPU time (s) 360.11
Current children cumulated vsize (Kb) 11996

[startup+370.214 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1396264/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=12048 CPUtime=370.11
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 3030 0 0 0 37009 2 0 0 25 0 1 0 188947015 12337152 2632 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 3012 2632 205 16 0 2453 0
Current children cumulated CPU time (s) 370.11
Current children cumulated vsize (Kb) 12048

[startup+380.221 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1396200/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=12364 CPUtime=380.12
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 3120 0 0 0 38010 2 0 0 25 0 1 0 188947015 12660736 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 3091 2711 205 16 0 2532 0
Current children cumulated CPU time (s) 380.12
Current children cumulated vsize (Kb) 12364

[startup+390.226 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1395944/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=12664 CPUtime=390.12
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 3215 0 0 0 39010 2 0 0 25 0 1 0 188947015 12967936 2785 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 3166 2785 205 16 0 2607 0
Current children cumulated CPU time (s) 390.12
Current children cumulated vsize (Kb) 12664

[startup+400.232 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1396136/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=12412 CPUtime=400.12
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 3224 0 0 0 40010 2 0 0 25 0 1 0 188947015 12709888 2700 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 3103 2700 205 16 0 2544 0
Current children cumulated CPU time (s) 400.12
Current children cumulated vsize (Kb) 12412

[startup+410.238 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1395688/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=12924 CPUtime=410.12
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 3367 0 0 0 41010 2 0 0 25 0 1 0 188947015 13234176 2843 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 3231 2843 205 16 0 2672 0
Current children cumulated CPU time (s) 410.12
Current children cumulated vsize (Kb) 12924

[startup+420.244 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1395688/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=12924 CPUtime=420.13
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 3367 0 0 0 42011 2 0 0 25 0 1 0 188947015 13234176 2843 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559562 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 3231 2843 205 16 0 2672 0
Current children cumulated CPU time (s) 420.13
Current children cumulated vsize (Kb) 12924

[startup+430.25 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1395752/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=12788 CPUtime=430.13
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 3385 0 0 0 43011 2 0 0 25 0 1 0 188947015 13094912 2803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 3197 2803 205 16 0 2638 0
Current children cumulated CPU time (s) 430.13
Current children cumulated vsize (Kb) 12788

[startup+440.256 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1395752/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=12788 CPUtime=440.13
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 3385 0 0 0 44011 2 0 0 25 0 1 0 188947015 13094912 2803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517940 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 3197 2803 205 16 0 2638 0
Current children cumulated CPU time (s) 440.13
Current children cumulated vsize (Kb) 12788

[startup+450.262 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1395752/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=12616 CPUtime=450.14
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 3385 0 0 0 45012 2 0 0 25 0 1 0 188947015 12918784 2774 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 3154 2774 205 16 0 2595 0
Current children cumulated CPU time (s) 450.14
Current children cumulated vsize (Kb) 12616

[startup+460.267 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1396072/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=12284 CPUtime=460.14
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 3385 0 0 0 46012 2 0 0 25 0 1 0 188947015 12578816 2691 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 3071 2691 205 16 0 2512 0
Current children cumulated CPU time (s) 460.14
Current children cumulated vsize (Kb) 12284

[startup+470.273 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1396072/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=12284 CPUtime=470.14
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 3385 0 0 0 47012 2 0 0 25 0 1 0 188947015 12578816 2691 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520163 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 3071 2691 205 16 0 2512 0
Current children cumulated CPU time (s) 470.14
Current children cumulated vsize (Kb) 12284

[startup+480.279 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1396072/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=12284 CPUtime=480.15
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 3385 0 0 0 48013 2 0 0 25 0 1 0 188947015 12578816 2691 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520116 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 3071 2691 205 16 0 2512 0
Current children cumulated CPU time (s) 480.15
Current children cumulated vsize (Kb) 12284

[startup+490.285 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1396072/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=12284 CPUtime=490.15
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 3385 0 0 0 49013 2 0 0 25 0 1 0 188947015 12578816 2691 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520076 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 3071 2691 205 16 0 2512 0
Current children cumulated CPU time (s) 490.15
Current children cumulated vsize (Kb) 12284

[startup+500.291 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1396072/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=12284 CPUtime=500.15
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 3385 0 0 0 50013 2 0 0 25 0 1 0 188947015 12578816 2691 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 3071 2691 205 16 0 2512 0
Current children cumulated CPU time (s) 500.15
Current children cumulated vsize (Kb) 12284

[startup+510.297 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 20699
/proc/meminfo: memFree=1396072/2055920 swapFree=4181448/4192956
[pid=20699] ppid=20697 vsize=12284 CPUtime=510.16
/proc/20699/stat : 20699 (Pueblo13) R 20697 20699 20654 0 -1 4194304 3385 0 0 0 51014 2 0 0 25 0 1 0 188947015 12578816 2691 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/20699/statm: 3071 2691 205 16 0 2512 0
Current children cumulated CPU time (s) 510.16
Current children cumulated vsize (Kb) 12284

Child status: 10
Real time (s): 511.701
CPU time (s): 511.569
CPU user time (s): 511.539
CPU system time (s): 0.029995
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (Kb): 12924

Launcher Data (download as text)

Begin job on node14 on Fri Jun  2 07:20:43 UTC 2006


FILE ID= 37382-1149232843

PBS_JOBID= 296614

BENCH NAME= ROOT/tmp/node14/37382-1149232843/instance-37382-1149232843.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node14/37382-1149232843/instance-37382-1149232843.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-37382-1149232843 -o ROOT/results/node14/solver-37382-1149232843 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node14/37382-1149232843/instance-37382-1149232843.opb

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  09dd38397cb073c3f8ce1c2b987fae03

RANDOM SEED= 624697680


/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.241
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.241
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:       1406312 kB
Buffers:         29288 kB
Cached:         549064 kB
SwapCached:       3320 kB
Active:         253952 kB
Inactive:       333160 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1406312 kB
SwapTotal:     4192956 kB
SwapFree:      4181448 kB
Dirty:             208 kB
Writeback:           0 kB
Mapped:          14728 kB
Slab:            48496 kB
Committed_AS:   231880 kB
PageTables:       1484 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node14 on Fri Jun  2 07:29:15 UTC 2006