Trace number 85256

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
glpPB 0.2OPT65 232.168 232.238

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-ex5.pi.opb
MD5SUMf97e3571862917880e13c63c8ac169f9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark65
Best CPU time to get the best result obtained on this benchmark28.7656
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 65
Optimality of the best value was proved YES
Number of variables2459
Total number of constraints873
Number of constraints which are clauses873
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 constraint1
Maximum length of a constraint146
Number of terms in the objective function 2459
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 2459
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 2459
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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	65

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

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

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node44/watcher-85256-1154167869 -o ROOT/results/node44/solver-85256-1154167869 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node44/85256-1154167869/instance-85256-1154167869.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.66 0.89 0.88 2/64 12765
/proc/meminfo: memFree=1322104/2055920 swapFree=4183124/4192956
[pid=12765] ppid=12763 vsize=2424 CPUtime=0
/proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 142 0 0 0 0 0 0 0 18 0 1 0 163657836 2482176 123 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 11249334 0 0 4096 0 0 0 0 17 1 0 0
/proc/12765/statm: 606 127 108 40 0 11 0

[startup+10.0017 s]
/proc/loadavg: 0.71 0.89 0.89 2/64 12765
/proc/meminfo: memFree=1316040/2055920 swapFree=4183124/4192956
[pid=12765] ppid=12763 vsize=8708 CPUtime=9.99
/proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 7351 0 0 0 996 3 0 0 25 0 1 0 163657836 8916992 1802 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134640047 0 0 4096 0 0 0 0 17 1 0 0
/proc/12765/statm: 2177 1802 227 40 0 1594 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 8708

[startup+20.0078 s]
/proc/loadavg: 0.75 0.90 0.89 2/64 12765
/proc/meminfo: memFree=1316680/2055920 swapFree=4183124/4192956
[pid=12765] ppid=12763 vsize=7748 CPUtime=19.99
/proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 21031 0 0 0 1991 8 0 0 25 0 1 0 163657836 7933952 1562 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0
/proc/12765/statm: 1937 1562 227 40 0 1354 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 7748

[startup+30.0138 s]
/proc/loadavg: 0.79 0.90 0.89 2/64 12765
/proc/meminfo: memFree=1315912/2055920 swapFree=4183124/4192956
[pid=12765] ppid=12763 vsize=8840 CPUtime=30
/proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 32898 0 0 0 2987 13 0 0 25 0 1 0 163657836 9052160 1822 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12765/statm: 2210 1822 227 40 0 1627 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 8840

[startup+40.0198 s]
/proc/loadavg: 0.82 0.90 0.89 2/64 12765
/proc/meminfo: memFree=1316744/2055920 swapFree=4183124/4192956
[pid=12765] ppid=12763 vsize=7748 CPUtime=40
/proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 45067 0 0 0 3981 19 0 0 25 0 1 0 163657836 7933952 1563 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/12765/statm: 1937 1563 227 40 0 1354 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 7748

[startup+50.0259 s]
/proc/loadavg: 0.85 0.91 0.89 2/64 12765
/proc/meminfo: memFree=1316680/2055920 swapFree=4183124/4192956
[pid=12765] ppid=12763 vsize=7800 CPUtime=50
/proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 56846 0 0 0 4976 24 0 0 25 0 1 0 163657836 7987200 1576 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632679 0 0 4096 0 0 0 0 17 1 0 0
/proc/12765/statm: 1950 1576 227 40 0 1367 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 7800

[startup+60.0319 s]
/proc/loadavg: 0.87 0.91 0.89 2/64 12765
/proc/meminfo: memFree=1316616/2055920 swapFree=4183124/4192956
[pid=12765] ppid=12763 vsize=7856 CPUtime=60
/proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 68618 0 0 0 5970 30 0 0 25 0 1 0 163657836 8044544 1590 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629267 0 0 4096 0 0 0 0 17 1 0 0
/proc/12765/statm: 1964 1590 227 40 0 1381 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 7856

[startup+70.0379 s]
/proc/loadavg: 0.89 0.91 0.89 2/64 12765
/proc/meminfo: memFree=1316488/2055920 swapFree=4183124/4192956
[pid=12765] ppid=12763 vsize=8892 CPUtime=70.07
/proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 80395 0 0 0 6972 35 0 0 25 0 1 0 163657836 9105408 1849 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 11747031 0 0 4096 0 0 0 0 17 1 0 0
/proc/12765/statm: 2223 1849 227 40 0 1640 0
Current children cumulated CPU time (s) 70.07
Current children cumulated vsize (Kb) 8892

[startup+80.108 s]
/proc/loadavg: 0.91 0.91 0.89 2/64 12765
/proc/meminfo: memFree=1315528/2055920 swapFree=4183124/4192956
[pid=12765] ppid=12763 vsize=9192 CPUtime=80.08
/proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 94103 0 0 0 7966 42 0 0 25 0 1 0 163657836 9412608 1897 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12765/statm: 2298 1897 227 40 0 1715 0
Current children cumulated CPU time (s) 80.08
Current children cumulated vsize (Kb) 9192

[startup+90.114 s]
/proc/loadavg: 0.92 0.92 0.89 2/64 12765
/proc/meminfo: memFree=1315592/2055920 swapFree=4183124/4192956
[pid=12765] ppid=12763 vsize=9208 CPUtime=90.08
/proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 107812 0 0 0 8959 49 0 0 25 0 1 0 163657836 9428992 1901 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12765/statm: 2302 1901 227 40 0 1719 0
Current children cumulated CPU time (s) 90.08
Current children cumulated vsize (Kb) 9208

[startup+100.12 s]
/proc/loadavg: 0.93 0.92 0.89 2/64 12765
/proc/meminfo: memFree=1315592/2055920 swapFree=4183124/4192956
[pid=12765] ppid=12763 vsize=9216 CPUtime=100.08
/proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 124304 0 0 0 9951 57 0 0 25 0 1 0 163657836 9437184 1903 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12765/statm: 2304 1903 227 40 0 1721 0
Current children cumulated CPU time (s) 100.08
Current children cumulated vsize (Kb) 9216

[startup+110.126 s]
/proc/loadavg: 0.94 0.92 0.90 2/64 12765
/proc/meminfo: memFree=1315592/2055920 swapFree=4183124/4192956
[pid=12765] ppid=12763 vsize=9236 CPUtime=110.08
/proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 140498 0 0 0 10943 65 0 0 25 0 1 0 163657836 9457664 1903 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 11716165 0 0 4096 0 0 0 0 17 1 0 0
/proc/12765/statm: 2309 1903 227 40 0 1726 0
Current children cumulated CPU time (s) 110.08
Current children cumulated vsize (Kb) 9236

[startup+120.132 s]
/proc/loadavg: 0.95 0.92 0.90 2/64 12765
/proc/meminfo: memFree=1315592/2055920 swapFree=4183124/4192956
[pid=12765] ppid=12763 vsize=9216 CPUtime=120.09
/proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 156657 0 0 0 11935 74 0 0 25 0 1 0 163657836 9437184 1903 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134585705 0 0 4096 0 0 0 0 17 1 0 0
/proc/12765/statm: 2304 1903 227 40 0 1721 0
Current children cumulated CPU time (s) 120.09
Current children cumulated vsize (Kb) 9216

[startup+130.138 s]
/proc/loadavg: 0.96 0.92 0.90 2/64 12765
/proc/meminfo: memFree=1316488/2055920 swapFree=4183124/4192956
[pid=12765] ppid=12763 vsize=8004 CPUtime=130.09
/proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 170061 0 0 0 12930 79 0 0 25 0 1 0 163657836 8196096 1627 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0
/proc/12765/statm: 2001 1627 227 40 0 1418 0
Current children cumulated CPU time (s) 130.09
Current children cumulated vsize (Kb) 8004

[startup+140.144 s]
/proc/loadavg: 0.96 0.93 0.90 2/64 12765
/proc/meminfo: memFree=1316488/2055920 swapFree=4183124/4192956
[pid=12765] ppid=12763 vsize=8004 CPUtime=140.09
/proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 185994 0 0 0 13922 87 0 0 25 0 1 0 163657836 8196096 1627 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0
/proc/12765/statm: 2001 1627 227 40 0 1418 0
Current children cumulated CPU time (s) 140.09
Current children cumulated vsize (Kb) 8004

[startup+150.15 s]
/proc/loadavg: 0.97 0.93 0.90 2/64 12765
/proc/meminfo: memFree=1315592/2055920 swapFree=4183124/4192956
[pid=12765] ppid=12763 vsize=9216 CPUtime=150.09
/proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 201947 0 0 0 14914 95 0 0 25 0 1 0 163657836 9437184 1903 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12765/statm: 2304 1903 227 40 0 1721 0
Current children cumulated CPU time (s) 150.09
Current children cumulated vsize (Kb) 9216

[startup+160.156 s]
/proc/loadavg: 0.97 0.93 0.90 2/64 12765
/proc/meminfo: memFree=1315528/2055920 swapFree=4183124/4192956
[pid=12765] ppid=12763 vsize=9216 CPUtime=160.1
/proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 219506 0 0 0 15905 105 0 0 25 0 1 0 163657836 9437184 1903 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134586458 0 0 4096 0 0 0 0 17 1 0 0
/proc/12765/statm: 2304 1903 227 40 0 1721 0
Current children cumulated CPU time (s) 160.1
Current children cumulated vsize (Kb) 9216

[startup+170.162 s]
/proc/loadavg: 0.98 0.93 0.90 2/64 12765
/proc/meminfo: memFree=1316488/2055920 swapFree=4183124/4192956
[pid=12765] ppid=12763 vsize=8004 CPUtime=170.11
/proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 235715 0 0 0 16899 112 0 0 25 0 1 0 163657836 8196096 1627 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542153 0 0 4096 0 0 0 0 17 1 0 0
/proc/12765/statm: 2001 1627 227 40 0 1418 0
Current children cumulated CPU time (s) 170.11
Current children cumulated vsize (Kb) 8004

[startup+180.168 s]
/proc/loadavg: 0.98 0.93 0.90 2/64 12765
/proc/meminfo: memFree=1315528/2055920 swapFree=4183124/4192956
[pid=12765] ppid=12763 vsize=9216 CPUtime=180.11
/proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 249435 0 0 0 17892 119 0 0 25 0 1 0 163657836 9437184 1903 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643620 0 0 4096 0 0 0 0 17 1 0 0
/proc/12765/statm: 2304 1903 227 40 0 1721 0
Current children cumulated CPU time (s) 180.11
Current children cumulated vsize (Kb) 9216

[startup+190.174 s]
/proc/loadavg: 0.98 0.94 0.90 2/64 12765
/proc/meminfo: memFree=1315592/2055920 swapFree=4183124/4192956
[pid=12765] ppid=12763 vsize=9104 CPUtime=190.11
/proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 265092 0 0 0 18885 126 0 0 25 0 1 0 163657836 9322496 1898 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12765/statm: 2276 1900 227 40 0 1693 0
Current children cumulated CPU time (s) 190.11
Current children cumulated vsize (Kb) 9104

[startup+200.18 s]
/proc/loadavg: 0.98 0.94 0.90 2/64 12765
/proc/meminfo: memFree=1315528/2055920 swapFree=4183124/4192956
[pid=12765] ppid=12763 vsize=9104 CPUtime=200.11
/proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 280187 0 0 0 19876 135 0 0 25 0 1 0 163657836 9322496 1898 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12765/statm: 2276 1898 227 40 0 1693 0
Current children cumulated CPU time (s) 200.11
Current children cumulated vsize (Kb) 9104

[startup+210.186 s]
/proc/loadavg: 0.99 0.94 0.91 2/64 12765
/proc/meminfo: memFree=1316424/2055920 swapFree=4183124/4192956
[pid=12765] ppid=12763 vsize=8004 CPUtime=210.12
/proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 295287 0 0 0 20869 143 0 0 25 0 1 0 163657836 8196096 1627 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0
/proc/12765/statm: 2001 1627 227 40 0 1418 0
Current children cumulated CPU time (s) 210.12
Current children cumulated vsize (Kb) 8004

[startup+220.192 s]
/proc/loadavg: 0.99 0.94 0.91 2/64 12765
/proc/meminfo: memFree=1315528/2055920 swapFree=4183124/4192956
[pid=12765] ppid=12763 vsize=9216 CPUtime=220.12
/proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 310357 0 0 0 21862 150 0 0 25 0 1 0 163657836 9437184 1903 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12765/statm: 2304 1903 227 40 0 1721 0
Current children cumulated CPU time (s) 220.12
Current children cumulated vsize (Kb) 9216

[startup+230.199 s]
/proc/loadavg: 0.99 0.94 0.91 2/64 12765
/proc/meminfo: memFree=1316424/2055920 swapFree=4183124/4192956
[pid=12765] ppid=12763 vsize=8004 CPUtime=230.12
/proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 327108 0 0 0 22854 158 0 0 25 0 1 0 163657836 8196096 1627 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0
/proc/12765/statm: 2001 1627 227 40 0 1418 0
Current children cumulated CPU time (s) 230.12
Current children cumulated vsize (Kb) 8004

Child status: 30
Real time (s): 232.238
CPU time (s): 232.168
CPU user time (s): 230.567
CPU system time (s): 1.60076
CPU usage (%): 99.9698
Max. virtual memory (cumulated for all children) (Kb): 9236
The end

Launcher Data (download as text)

Begin job on node44 on Sat Jul 29 10:11:09 UTC 2006


FILE ID= 85256-1154167869

PBS_JOBID= 893030

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-ex5.pi.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node44/85256-1154167869/instance-85256-1154167869.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node44/watcher-85256-1154167869 -o ROOT/results/node44/solver-85256-1154167869 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node44/85256-1154167869/instance-85256-1154167869.opb

MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff
MD5SUM BENCH=  f97e3571862917880e13c63c8ac169f9

RANDOM SEED= 318351395

TIMEOUT= 1800 seconds


/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.238
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.238
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:       1322504 kB
Buffers:         38016 kB
Cached:         619564 kB
SwapCached:       3516 kB
Active:         230832 kB
Inactive:       435152 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1322504 kB
SwapTotal:     4192956 kB
SwapFree:      4183124 kB
Dirty:             312 kB
Writeback:           0 kB
Mapped:          14476 kB
Slab:            53456 kB
Committed_AS:   709452 kB
PageTables:       1408 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node44 on Sat Jul 29 10:15:02 UTC 2006