Trace number 354728

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.4SAT37 1782.75 1783.33

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-bw.b.opb
MD5SUMacd1698068c8e97cbd0c7cd62fe047fc
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark27
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved NO
Number of variables2847
Total number of constraints4902
Number of constraints which are clauses4902
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 constraint860
Number of terms in the objective function 2847
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 2847
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2847
Number of bits of the biggest sum of numbers12
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/0.00	c Pueblo version 1.4 (September 2005)
0.00/0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00/0.00	c  by Hossein Sheini
1.09/1.19	c starting to Solve
1.09/1.19	c #variables read: 2847 - #constraints read: 4903
1.18/1.20	o 49
1.18/1.25	o 44
1.39/1.44	o 43
1.39/1.45	o 42
22.29/22.34	o 40
22.69/22.74	o 39
1716.63/1717.29	o 38
1757.13/1757.77	o 37
1782.72/1783.31	c total time              : 1783 s
1782.72/1783.31	s SATISFIABLE
1782.72/1783.31	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 x27 -x28 x29
1782.72/1783.31	v -x30 -x31 -x32 -x33 -x34 x35 x36 -x37 -x38 -x39 x40 -x41 x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56
1782.72/1783.31	v -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82
1782.72/1783.31	v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106
1782.72/1783.31	v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127
1782.72/1783.31	v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148
1782.72/1783.31	v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169
1782.72/1783.31	v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
1782.72/1783.31	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211
1782.72/1783.31	v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232
1782.72/1783.31	v -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253
1782.72/1783.31	v -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274
1782.72/1783.31	v -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295
1782.72/1783.31	v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316
1782.72/1783.31	v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337
1782.72/1783.31	v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358
1782.72/1783.31	v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379
1782.72/1783.31	v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400
1782.72/1783.31	v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421
1782.72/1783.31	v -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442
1782.72/1783.31	v -x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463
1782.72/1783.31	v -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484
1782.72/1783.31	v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505
1782.72/1783.31	v -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526
1782.72/1783.31	v -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547
1782.72/1783.31	v -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568
1782.72/1783.31	v -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589
1782.72/1783.31	v -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610
1782.72/1783.31	v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631
1782.72/1783.31	v -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652
1782.72/1783.31	v -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673
1782.72/1783.31	v -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694
1782.72/1783.31	v -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715
1782.72/1783.31	v -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736
1782.72/1783.31	v -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757
1782.72/1783.31	v -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778
1782.72/1783.31	v -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799
1782.72/1783.31	v -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820
1782.72/1783.31	v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841
1782.72/1783.31	v -x842 x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862
1782.72/1783.31	v -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883
1782.72/1783.31	v -x884 -x885 -x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 x902 -x903 -x904
1782.72/1783.31	v -x905 -x906 x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925
1782.72/1783.31	v -x926 -x927 -x928 x929 -x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946
1782.72/1783.31	v -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967
1782.72/1783.31	v -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988
1782.72/1783.31	v -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007
1782.72/1783.31	v -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024
1782.72/1783.31	v -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041
1782.72/1783.31	v -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058
1782.72/1783.31	v -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075
1782.72/1783.31	v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092
1782.72/1783.31	v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109
1782.72/1783.31	v -x1110 -x1111 -x1112 x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126
1782.72/1783.31	v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143
1782.72/1783.31	v -x1144 -x1145 -x1146 x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160
1782.72/1783.31	v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177
1782.72/1783.31	v -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194
1782.72/1783.31	v -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 x1206 -x1207 -x1208 -x1209 -x1210 -x1211
1782.72/1783.31	v -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228
1782.72/1783.31	v -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 x1243 -x1244 -x1245
1782.72/1783.31	v -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262
1782.72/1783.31	v -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279
1782.72/1783.31	v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296
1782.72/1783.31	v -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313
1782.72/1783.31	v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330
1782.72/1783.31	v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347
1782.72/1783.31	v -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364
1782.72/1783.31	v -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381
1782.72/1783.31	v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398
1782.72/1783.31	v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415
1782.72/1783.31	v -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432
1782.72/1783.31	v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449
1782.72/1783.31	v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466
1782.72/1783.31	v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 x1479 -x1480 -x1481 -x1482 -x1483
1782.72/1783.31	v -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500
1782.72/1783.31	v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517
1782.72/1783.31	v -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534
1782.72/1783.31	v -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551
1782.72/1783.31	v -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568
1782.72/1783.31	v -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585
1782.72/1783.31	v -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602
1782.72/1783.31	v -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619
1782.72/1783.31	v -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636
1782.72/1783.31	v -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653
1782.72/1783.31	v -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670
1782.72/1783.31	v -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687
1782.72/1783.31	v -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704
1782.72/1783.31	v -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721
1782.72/1783.31	v -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738
1782.72/1783.31	v -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755
1782.72/1783.31	v -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772
1782.72/1783.31	v -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789
1782.72/1783.31	v -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806
1782.72/1783.31	v -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823
1782.72/1783.31	v -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840
1782.72/1783.31	v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857
1782.72/1783.31	v -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874
1782.72/1783.31	v -x1875 -x1876 -x1877 -x1878 -x1879 x1880 -x1881 -x1882 -x1883 x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892
1782.72/1783.31	v -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909
1782.72/1783.31	v -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926
1782.72/1783.31	v -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943
1782.72/1783.31	v -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960
1782.72/1783.31	v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977
1782.72/1783.31	v -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994
1782.72/1783.31	v -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011
1782.72/1783.31	v -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028
1782.72/1783.31	v -x2029 -x2030 x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045
1782.72/1783.31	v -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062
1782.72/1783.31	v -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079
1782.72/1783.31	v -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096
1782.72/1783.31	v -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113
1782.72/1783.31	v -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130
1782.72/1783.31	v -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147
1782.72/1783.31	v -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164
1782.72/1783.31	v -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181
1782.72/1783.31	v -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198
1782.72/1783.31	v -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215
1782.72/1783.31	v -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232
1782.72/1783.31	v -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249
1782.72/1783.31	v -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266
1782.72/1783.31	v -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283
1782.72/1783.31	v -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300
1782.72/1783.31	v -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 x2314 -x2315 -x2316 -x2317
1782.72/1783.31	v -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334
1782.72/1783.31	v -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351
1782.72/1783.31	v -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 x2363 -x2364 -x2365 -x2366 -x2367 -x2368
1782.72/1783.31	v -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385
1782.72/1783.31	v -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402
1782.72/1783.31	v -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419
1782.72/1783.31	v -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436
1782.72/1783.31	v -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 x2453
1782.72/1783.31	v -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470
1782.72/1783.31	v -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487
1782.72/1783.31	v -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504
1782.72/1783.31	v -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521
1782.72/1783.31	v -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538
1782.72/1783.31	v -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 x2552 -x2553 -x2554 -x2555
1782.72/1783.31	v -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572
1782.72/1783.31	v -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589
1782.72/1783.31	v -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 x2604 -x2605 -x2606
1782.72/1783.31	v -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623
1782.72/1783.31	v -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640
1782.72/1783.31	v -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657
1782.72/1783.31	v -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674
1782.72/1783.31	v -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691
1782.72/1783.31	v -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708
1782.72/1783.31	v -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725
1782.72/1783.31	v -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742
1782.72/1783.31	v -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 x2759
1782.72/1783.31	v -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 x2771 -x2772 -x2773 -x2774 -x2775 -x2776
1782.72/1783.31	v -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793
1782.72/1783.31	v -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810
1782.72/1783.31	v -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827
1782.72/1783.31	v -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 x2842 -x2843 -x2844
1782.72/1783.31	v -x2845 x2846 -x2847

Verifier Data (download as text)

OK	37

Conversion Script Data (download as text)

/tmp/evaluation/354728-1176723473/instance-354728-1176723473.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node9/watcher-354728-1176723473 -o ROOT/results/node9/solver-354728-1176723473 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/354728-1176723473/instance-354728-1176723473.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.98 0.99 3/77 32183
/proc/meminfo: memFree=1664944/2055920 swapFree=4158684/4192956
[pid=32183] ppid=32181 vsize=2552 CPUtime=0
/proc/32183/stat : 32183 (Pueblo) R 32181 32183 31459 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 148384908 2613248 230 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134542775 0 0 4096 0 0 0 0 17 1 0 0
/proc/32183/statm: 638 230 193 16 0 77 0

[startup+0.0450851 s]
/proc/loadavg: 0.91 0.98 0.99 3/77 32183
/proc/meminfo: memFree=1664944/2055920 swapFree=4158684/4192956
[pid=32183] ppid=32181 vsize=2952 CPUtime=0.04
/proc/32183/stat : 32183 (Pueblo) R 32181 32183 31459 0 -1 4194304 377 0 0 0 4 0 0 0 18 0 1 0 148384908 3022848 347 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134534790 0 0 4096 0 0 0 0 17 1 0 0
/proc/32183/statm: 738 347 199 16 0 177 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2952

[startup+0.10109 s]
/proc/loadavg: 0.91 0.98 0.99 3/77 32183
/proc/meminfo: memFree=1664944/2055920 swapFree=4158684/4192956
[pid=32183] ppid=32181 vsize=3216 CPUtime=0.09
/proc/32183/stat : 32183 (Pueblo) R 32181 32183 31459 0 -1 4194304 450 0 0 0 9 0 0 0 18 0 1 0 148384908 3293184 420 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134546730 0 0 4096 0 0 0 0 17 1 0 0
/proc/32183/statm: 804 420 199 16 0 243 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3216

[startup+0.301113 s]
/proc/loadavg: 0.91 0.98 0.99 3/77 32183
/proc/meminfo: memFree=1664944/2055920 swapFree=4158684/4192956
[pid=32183] ppid=32181 vsize=4284 CPUtime=0.29
/proc/32183/stat : 32183 (Pueblo) R 32181 32183 31459 0 -1 4194304 716 0 0 0 29 0 0 0 19 0 1 0 148384908 4386816 686 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 9123610 0 0 4096 0 0 0 0 17 1 0 0
/proc/32183/statm: 1071 686 199 16 0 510 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4284

[startup+0.701159 s]
/proc/loadavg: 0.91 0.98 0.99 3/77 32183
/proc/meminfo: memFree=1664944/2055920 swapFree=4158684/4192956
[pid=32183] ppid=32181 vsize=6416 CPUtime=0.69
/proc/32183/stat : 32183 (Pueblo) R 32181 32183 31459 0 -1 4194304 1251 0 0 0 69 0 0 0 22 0 1 0 148384908 6569984 1221 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 8831520 0 0 4096 0 0 0 0 17 1 0 0
/proc/32183/statm: 1604 1221 199 16 0 1043 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6416

[startup+1.50125 s]
/proc/loadavg: 0.91 0.98 0.99 2/78 32184
/proc/meminfo: memFree=1659176/2055920 swapFree=4158684/4192956
[pid=32183] ppid=32181 vsize=9956 CPUtime=1.49
/proc/32183/stat : 32183 (Pueblo) R 32181 32183 31459 0 -1 4194304 2110 0 0 0 148 1 0 0 25 0 1 0 148384908 10194944 2080 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32183/statm: 2489 2080 205 16 0 1928 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9956

[startup+3.10143 s]
/proc/loadavg: 0.91 0.98 0.99 2/78 32184
/proc/meminfo: memFree=1657256/2055920 swapFree=4158684/4192956
[pid=32183] ppid=32181 vsize=9956 CPUtime=3.09
/proc/32183/stat : 32183 (Pueblo) R 32181 32183 31459 0 -1 4194304 2110 0 0 0 306 3 0 0 25 0 1 0 148384908 10194944 2080 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32183/statm: 2489 2080 205 16 0 1928 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9956

[startup+6.3018 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 32184
/proc/meminfo: memFree=1657064/2055920 swapFree=4158684/4192956
[pid=32183] ppid=32181 vsize=9956 CPUtime=6.29
/proc/32183/stat : 32183 (Pueblo) R 32181 32183 31459 0 -1 4194304 2110 0 0 0 617 12 0 0 25 0 1 0 148384908 10194944 2080 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32183/statm: 2489 2080 205 16 0 1928 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9956

[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 32184
/proc/meminfo: memFree=1656936/2055920 swapFree=4158684/4192956
[pid=32183] ppid=32181 vsize=11796 CPUtime=12.68
/proc/32183/stat : 32183 (Pueblo) R 32181 32183 31459 0 -1 4194304 2583 0 0 0 1250 18 0 0 25 0 1 0 148384908 12079104 2553 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32183/statm: 2949 2553 205 16 0 2388 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 11796

[startup+25.502 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 32184
/proc/meminfo: memFree=1651688/2055920 swapFree=4158684/4192956
[pid=32183] ppid=32181 vsize=16096 CPUtime=25.49
/proc/32183/stat : 32183 (Pueblo) R 32181 32183 31459 0 -1 4194304 3653 0 0 0 2514 35 0 0 25 0 1 0 148384908 16482304 3623 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528563 0 0 4096 0 0 0 0 17 1 0 0
/proc/32183/statm: 4024 3623 205 16 0 3463 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16096

[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 32184
/proc/meminfo: memFree=1649384/2055920 swapFree=4158684/4192956
[pid=32183] ppid=32181 vsize=17712 CPUtime=51.08
/proc/32183/stat : 32183 (Pueblo) R 32181 32183 31459 0 -1 4194304 4067 0 0 0 5047 61 0 0 25 0 1 0 148384908 18137088 4027 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32183/statm: 4428 4027 205 16 0 3867 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 17712

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 32184
/proc/meminfo: memFree=1646056/2055920 swapFree=4158684/4192956
[pid=32183] ppid=32181 vsize=21204 CPUtime=102.27
/proc/32183/stat : 32183 (Pueblo) R 32181 32183 31459 0 -1 4194304 4954 0 0 0 10127 100 0 0 25 0 1 0 148384908 21712896 4901 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32183/statm: 5301 4901 205 16 0 4740 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 21204

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32184
/proc/meminfo: memFree=1645416/2055920 swapFree=4158684/4192956
[pid=32183] ppid=32181 vsize=21776 CPUtime=162.24
/proc/32183/stat : 32183 (Pueblo) R 32181 32183 31459 0 -1 4194304 5087 0 0 0 16069 155 0 0 25 0 1 0 148384908 22298624 5034 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527656 0 0 4096 0 0 0 0 17 1 0 0
/proc/32183/statm: 5444 5034 205 16 0 4883 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 21776

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32184
/proc/meminfo: memFree=1637992/2055920 swapFree=4158684/4192956
[pid=32183] ppid=32181 vsize=29244 CPUtime=222.23
/proc/32183/stat : 32183 (Pueblo) R 32181 32183 31459 0 -1 4194304 6936 0 0 0 22035 188 0 0 25 0 1 0 148384908 29945856 6883 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32183/statm: 7311 6883 205 16 0 6750 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 29244

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32184
/proc/meminfo: memFree=1628904/2055920 swapFree=4158684/4192956
[pid=32183] ppid=32181 vsize=38280 CPUtime=282.22
/proc/32183/stat : 32183 (Pueblo) R 32181 32183 31459 0 -1 4194304 9199 0 0 0 27996 226 0 0 25 0 1 0 148384908 39198720 9146 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/32183/statm: 9570 9146 205 16 0 9009 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 38280

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32184
/proc/meminfo: memFree=1628904/2055920 swapFree=4158684/4192956
[pid=32183] ppid=32181 vsize=38280 CPUtime=342.2
/proc/32183/stat : 32183 (Pueblo) R 32181 32183 31459 0 -1 4194304 9199 0 0 0 33958 262 0 0 25 0 1 0 148384908 39198720 9146 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520076 0 0 4096 0 0 0 0 17 1 0 0
/proc/32183/statm: 9570 9146 205 16 0 9009 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 38280

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32184
/proc/meminfo: memFree=1628840/2055920 swapFree=4158684/4192956
[pid=32183] ppid=32181 vsize=38280 CPUtime=402.19
/proc/32183/stat : 32183 (Pueblo) R 32181 32183 31459 0 -1 4194304 9199 0 0 0 39925 294 0 0 25 0 1 0 148384908 39198720 9146 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528586 0 0 4096 0 0 0 0 17 1 0 0
/proc/32183/statm: 9570 9146 205 16 0 9009 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 38280

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32184
/proc/meminfo: memFree=1628840/2055920 swapFree=4158684/4192956
[pid=32183] ppid=32181 vsize=38280 CPUtime=462.17
/proc/32183/stat : 32183 (Pueblo) R 32181 32183 31459 0 -1 4194304 9200 0 0 0 45860 357 0 0 25 0 1 0 148384908 39198720 9147 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0
/proc/32183/statm: 9570 9147 205 16 0 9009 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 38280

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32184
/proc/meminfo: memFree=1628840/2055920 swapFree=4158684/4192956
[pid=32183] ppid=32181 vsize=38280 CPUtime=522.15
/proc/32183/stat : 32183 (Pueblo) R 32181 32183 31459 0 -1 4194304 9200 0 0 0 51791 424 0 0 25 0 1 0 148384908 39198720 9147 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/32183/statm: 9570 9147 205 16 0 9009 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 38280

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32184
/proc/meminfo: memFree=1628840/2055920 swapFree=4158684/4192956
[pid=32183] ppid=32181 vsize=38280 CPUtime=582.13
/proc/32183/stat : 32183 (Pueblo) R 32181 32183 31459 0 -1 4194304 9200 0 0 0 57766 447 0 0 25 0 1 0 148384908 39198720 9147 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/32183/statm: 9570 9147 205 16 0 9009 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 38280

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32184
/proc/meminfo: memFree=1626280/2055920 swapFree=4158684/4192956
[pid=32183] ppid=32181 vsize=40780 CPUtime=642.13
/proc/32183/stat : 32183 (Pueblo) R 32181 32183 31459 0 -1 4194304 9840 0 0 0 63729 484 0 0 25 0 1 0 148384908 41758720 9787 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528609 0 0 4096 0 0 0 0 17 1 0 0
/proc/32183/statm: 10195 9787 205 16 0 9634 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 40780


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

/proc/meminfo: memFree=1586664/2055920 swapFree=4158684/4192956
[pid=32183] ppid=32181 vsize=80332 CPUtime=822.07
/proc/32183/stat : 32183 (Pueblo) R 32181 32183 31459 0 -1 4194304 19704 0 0 0 81534 673 0 0 25 0 1 0 148384908 82259968 19651 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32183/statm: 20083 19651 205 16 0 19522 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 80332

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32184
/proc/meminfo: memFree=1586664/2055920 swapFree=4158684/4192956
[pid=32183] ppid=32181 vsize=80332 CPUtime=882.05
/proc/32183/stat : 32183 (Pueblo) R 32181 32183 31459 0 -1 4194304 19705 0 0 0 87469 736 0 0 25 0 1 0 148384908 82259968 19652 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32183/statm: 20083 19652 205 16 0 19522 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 80332

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32184
/proc/meminfo: memFree=1586664/2055920 swapFree=4158684/4192956
[pid=32183] ppid=32181 vsize=80332 CPUtime=942.04
/proc/32183/stat : 32183 (Pueblo) R 32181 32183 31459 0 -1 4194304 19705 0 0 0 93436 768 0 0 25 0 1 0 148384908 82259968 19652 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32183/statm: 20083 19652 205 16 0 19522 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 80332

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32184
/proc/meminfo: memFree=1586664/2055920 swapFree=4158684/4192956
[pid=32183] ppid=32181 vsize=80332 CPUtime=1002.02
/proc/32183/stat : 32183 (Pueblo) R 32181 32183 31459 0 -1 4194304 19705 0 0 0 99383 819 0 0 25 0 1 0 148384908 82259968 19652 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32183/statm: 20083 19652 205 16 0 19522 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 80332

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32184
/proc/meminfo: memFree=1586600/2055920 swapFree=4158684/4192956
[pid=32183] ppid=32181 vsize=80332 CPUtime=1062
/proc/32183/stat : 32183 (Pueblo) R 32181 32183 31459 0 -1 4194304 19705 0 0 0 105331 869 0 0 25 0 1 0 148384908 82259968 19652 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32183/statm: 20083 19652 205 16 0 19522 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 80332

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32184
/proc/meminfo: memFree=1586600/2055920 swapFree=4158684/4192956
[pid=32183] ppid=32181 vsize=80332 CPUtime=1121.99
/proc/32183/stat : 32183 (Pueblo) R 32181 32183 31459 0 -1 4194304 19705 0 0 0 111271 928 0 0 25 0 1 0 148384908 82259968 19652 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134516685 0 0 4096 0 0 0 0 17 1 0 0
/proc/32183/statm: 20083 19652 205 16 0 19522 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 80332

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32184
/proc/meminfo: memFree=1586600/2055920 swapFree=4158684/4192956
[pid=32183] ppid=32181 vsize=80332 CPUtime=1181.97
/proc/32183/stat : 32183 (Pueblo) R 32181 32183 31459 0 -1 4194304 19705 0 0 0 117232 965 0 0 25 0 1 0 148384908 82259968 19652 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32183/statm: 20083 19652 205 16 0 19522 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 80332

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32184
/proc/meminfo: memFree=1586600/2055920 swapFree=4158684/4192956
[pid=32183] ppid=32181 vsize=80332 CPUtime=1241.95
/proc/32183/stat : 32183 (Pueblo) R 32181 32183 31459 0 -1 4194304 19705 0 0 0 123202 993 0 0 25 0 1 0 148384908 82259968 19652 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32183/statm: 20083 19652 205 16 0 19522 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 80332

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32184
/proc/meminfo: memFree=1582504/2055920 swapFree=4158684/4192956
[pid=32183] ppid=32181 vsize=84140 CPUtime=1301.95
/proc/32183/stat : 32183 (Pueblo) R 32181 32183 31459 0 -1 4194304 20716 0 0 0 129192 1003 0 0 25 0 1 0 148384908 86159360 20628 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0
/proc/32183/statm: 21035 20628 205 16 0 20474 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 84140

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32184
/proc/meminfo: memFree=1582696/2055920 swapFree=4158684/4192956
[pid=32183] ppid=32181 vsize=83928 CPUtime=1361.92
/proc/32183/stat : 32183 (Pueblo) R 32181 32183 31459 0 -1 4194304 20716 0 0 0 135179 1013 0 0 25 0 1 0 148384908 85942272 20575 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32183/statm: 20982 20575 205 16 0 20421 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 83928

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/84 32352
/proc/meminfo: memFree=1581616/2055920 swapFree=4158684/4192956
[pid=32183] ppid=32181 vsize=83728 CPUtime=1421.83
/proc/32183/stat : 32183 (Pueblo) R 32181 32183 31459 0 -1 4194304 20716 0 0 0 141133 1050 0 0 25 0 1 0 148384908 85737472 20525 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32183/statm: 20932 20525 205 16 0 20371 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 83728

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32381
/proc/meminfo: memFree=1582696/2055920 swapFree=4158684/4192956
[pid=32183] ppid=32181 vsize=83728 CPUtime=1481.8
/proc/32183/stat : 32183 (Pueblo) R 32181 32183 31459 0 -1 4194304 20716 0 0 0 147107 1073 0 0 25 0 1 0 148384908 85737472 20525 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519949 0 0 4096 0 0 0 0 17 1 0 0
/proc/32183/statm: 20932 20525 205 16 0 20371 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 83728

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32381
/proc/meminfo: memFree=1582696/2055920 swapFree=4158684/4192956
[pid=32183] ppid=32181 vsize=83728 CPUtime=1541.78
/proc/32183/stat : 32183 (Pueblo) R 32181 32183 31459 0 -1 4194304 20716 0 0 0 153076 1102 0 0 25 0 1 0 148384908 85737472 20525 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/32183/statm: 20932 20525 205 16 0 20371 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 83728

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32381
/proc/meminfo: memFree=1582696/2055920 swapFree=4158684/4192956
[pid=32183] ppid=32181 vsize=83728 CPUtime=1601.76
/proc/32183/stat : 32183 (Pueblo) R 32181 32183 31459 0 -1 4194304 20716 0 0 0 159026 1150 0 0 25 0 1 0 148384908 85737472 20525 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134529052 0 0 4096 0 0 0 0 17 1 0 0
/proc/32183/statm: 20932 20525 205 16 0 20371 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 83728

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32381
/proc/meminfo: memFree=1582696/2055920 swapFree=4158684/4192956
[pid=32183] ppid=32181 vsize=83728 CPUtime=1661.75
/proc/32183/stat : 32183 (Pueblo) R 32181 32183 31459 0 -1 4194304 20716 0 0 0 164981 1194 0 0 25 0 1 0 148384908 85737472 20525 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32183/statm: 20932 20525 205 16 0 20371 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 83728

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32381
/proc/meminfo: memFree=1582696/2055920 swapFree=4158684/4192956
[pid=32183] ppid=32181 vsize=83728 CPUtime=1721.73
/proc/32183/stat : 32183 (Pueblo) R 32181 32183 31459 0 -1 4194304 20716 0 0 0 170939 1234 0 0 25 0 1 0 148384908 85737472 20525 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32183/statm: 20932 20525 205 16 0 20371 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 83728

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32381
/proc/meminfo: memFree=1582696/2055920 swapFree=4158684/4192956
[pid=32183] ppid=32181 vsize=83728 CPUtime=1781.72
/proc/32183/stat : 32183 (Pueblo) R 32181 32183 31459 0 -1 4194304 20716 0 0 0 176894 1278 0 0 25 0 1 0 148384908 85737472 20525 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528023 0 0 4096 0 0 0 0 17 1 0 0
/proc/32183/statm: 20932 20525 205 16 0 20371 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 83728

Solver just ended. Dumping a history of the last processes samples

[startup+1783.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32381
/proc/meminfo: memFree=1582696/2055920 swapFree=4158684/4192956
[pid=32183] ppid=32181 vsize=83728 CPUtime=1782.52
/proc/32183/stat : 32183 (Pueblo) R 32181 32183 31459 0 -1 4194304 20716 0 0 0 176973 1279 0 0 25 0 1 0 148384908 85737472 20525 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32183/statm: 20932 20525 205 16 0 20371 0
Current children cumulated CPU time (s) 1782.52
Current children cumulated vsize (KiB) 83728

[startup+1783.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32381
/proc/meminfo: memFree=1582696/2055920 swapFree=4158684/4192956
[pid=32183] ppid=32181 vsize=83728 CPUtime=1782.72
/proc/32183/stat : 32183 (Pueblo) R 32181 32183 31459 0 -1 4194304 20716 0 0 0 176993 1279 0 0 25 0 1 0 148384908 85737472 20525 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32183/statm: 20932 20525 205 16 0 20371 0
Current children cumulated CPU time (s) 1782.72
Current children cumulated vsize (KiB) 83728

Child status: 10
Real time (s): 1783.33
CPU time (s): 1782.75
CPU user time (s): 1769.94
CPU system time (s): 12.8091
CPU usage (%): 99.9677
Max. virtual memory (cumulated for all children) (KiB): 84368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1769.94
system time used= 12.8091
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20723
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16
involuntary context switches= 1613

runsolver used 2.21266 second user time and 4.15737 second system time

The end

Launcher Data (download as text)

Begin job on node9 on Mon Apr 16 11:37:53 UTC 2007

IDJOB= 354728
IDBENCH= 2888
IDSOLVER= 165
FILE ID= node9/354728-1176723473

PBS_JOBID= 4559454

Free space on /tmp= 66515 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-bw.b.opb
COMMAND LINE= Pueblo /tmp/evaluation/354728-1176723473/instance-354728-1176723473.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node9/convwatcher-354728-1176723473 -o ROOT/results/node9/conversion-354728-1176723473 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/354728-1176723473/instance-354728-1176723473.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node9/watcher-354728-1176723473 -o ROOT/results/node9/solver-354728-1176723473 -C 1800 -W 3600 -M 1800 --output-limit 1,15  Pueblo /tmp/evaluation/354728-1176723473/instance-354728-1176723473.opb

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  acd1698068c8e97cbd0c7cd62fe047fc

RANDOM SEED= 31516296

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node9.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.221
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.221
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:       1665416 kB
Buffers:         35740 kB
Cached:         271856 kB
SwapCached:       3232 kB
Active:         157484 kB
Inactive:       174532 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1665416 kB
SwapTotal:     4192956 kB
SwapFree:      4158684 kB
Dirty:            4996 kB
Writeback:           0 kB
Mapped:          31116 kB
Slab:            44016 kB
Committed_AS:  5948152 kB
PageTables:       1784 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66515 MiB

End job on node9 on Mon Apr 16 12:07:37 UTC 2007