Trace number 3500746

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
pwbo 1.1OPT 222.523 111.269

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-222__neos-1330346.opb
MD5SUMbf0628fd43a26c492fc12f863e1d2dd3
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark222.523
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2664
Total number of constraints4248
Number of constraints which are clauses3888
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints360
Minimum length of a constraint2
Maximum length of a constraint16
Number of terms in the objective function 36
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 36
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 36
Number of bits of the biggest sum of numbers6
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 

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

Verifier Data 

OK	8

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3500746-1307997626/watcher-3500746-1307997626 -o /tmp/evaluation-result-3500746-1307997626/solver-3500746-1307997626 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500746-1307997626.opb 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.59 3.81 3.80 4/179 27114
/proc/meminfo: memFree=15857652/32951124 swapFree=67053176/67111528
[pid=27114] ppid=27112 vsize=3816 CPUtime=0 cores=1,3,5,7
/proc/27114/stat : 27114 (pwbo1.1) R 27112 27114 24477 0 -1 4202496 686 0 0 0 0 0 0 0 25 0 1 0 911360282 3907584 638 33554432000 4194304 5714118 140735387084688 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/27114/statm: 954 641 162 372 0 544 0

[startup+0.017868 s]
/proc/loadavg: 3.59 3.81 3.80 4/179 27114
/proc/meminfo: memFree=15857652/32951124 swapFree=67053176/67111528
[pid=27114] ppid=27112 vsize=137752 CPUtime=0.01 cores=1,3,5,7
/proc/27114/stat : 27114 (pwbo1.1) S 27112 27114 24477 0 -1 4202496 1657 0 0 0 1 0 0 0 18 0 3 0 911360282 141058048 1574 33554432000 4194304 5714118 140735387084688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/27114/statm: 34438 1574 171 372 0 34063 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 137752

[startup+0.100852 s]
/proc/loadavg: 3.59 3.81 3.80 4/179 27114
/proc/meminfo: memFree=15857652/32951124 swapFree=67053176/67111528
[pid=27114] ppid=27112 vsize=137924 CPUtime=0.17 cores=1,3,5,7
/proc/27114/stat : 27114 (pwbo1.1) S 27112 27114 24477 0 -1 4202496 2530 0 0 0 16 1 0 0 18 0 3 0 911360282 141234176 2447 33554432000 4194304 5714118 140735387084688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/27114/statm: 34481 2447 181 372 0 34106 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 137924

[startup+0.300815 s]
/proc/loadavg: 3.59 3.81 3.80 4/179 27114
/proc/meminfo: memFree=15857652/32951124 swapFree=67053176/67111528
[pid=27114] ppid=27112 vsize=137924 CPUtime=0.58 cores=1,3,5,7
/proc/27114/stat : 27114 (pwbo1.1) S 27112 27114 24477 0 -1 4202496 2723 0 0 0 56 2 0 0 18 0 3 0 911360282 141234176 2640 33554432000 4194304 5714118 140735387084688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/27114/statm: 34481 2640 181 372 0 34106 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 137924

[startup+0.700755 s]
/proc/loadavg: 3.59 3.81 3.80 4/179 27114
/proc/meminfo: memFree=15857652/32951124 swapFree=67053176/67111528
[pid=27114] ppid=27112 vsize=137924 CPUtime=1.37 cores=1,3,5,7
/proc/27114/stat : 27114 (pwbo1.1) S 27112 27114 24477 0 -1 4202496 2915 0 0 0 135 2 0 0 18 0 3 0 911360282 141234176 2832 33554432000 4194304 5714118 140735387084688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/27114/statm: 34481 2832 181 372 0 34106 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 137924

[startup+1.5006 s]
/proc/loadavg: 3.59 3.81 3.80 5/182 27117
/proc/meminfo: memFree=15845712/32951124 swapFree=67053176/67111528
[pid=27114] ppid=27112 vsize=137924 CPUtime=2.98 cores=1,3,5,7
/proc/27114/stat : 27114 (pwbo1.1) S 27112 27114 24477 0 -1 4202496 3621 0 0 0 294 4 0 0 18 0 3 0 911360282 141234176 3538 33554432000 4194304 5714118 140735387084688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/27114/statm: 34481 3538 181 372 0 34106 0
[pid=27114/tid=27116] ppid=27112 vsize=137924 CPUtime=1.48 cores=1,3,5,7
/proc/27114/task/27116/stat : 27116 (pwbo1.1) R 27112 27114 24477 0 -1 4202560 1580 0 0 0 147 1 0 0 20 0 3 0 911360283 141234176 3538 33554432000 4194304 5714118 140735387084688 18446744073709551615 4322689 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=27114/tid=27117] ppid=27112 vsize=137924 CPUtime=1.47 cores=1,3,5,7
/proc/27114/task/27117/stat : 27117 (pwbo1.1) R 27112 27114 24477 0 -1 4202560 943 0 0 0 145 2 0 0 23 0 3 0 911360283 141234176 3538 33554432000 4194304 5714118 140735387084688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 137924

[startup+3.10031 s]
/proc/loadavg: 3.59 3.81 3.80 5/182 27117
/proc/meminfo: memFree=15840876/32951124 swapFree=67053176/67111528
[pid=27114] ppid=27112 vsize=138068 CPUtime=6.17 cores=1,3,5,7
/proc/27114/stat : 27114 (pwbo1.1) S 27112 27114 24477 0 -1 4202496 4295 0 0 0 610 7 0 0 18 0 3 0 911360282 141381632 4212 33554432000 4194304 5714118 140735387084688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/27114/statm: 34517 4212 181 372 0 34142 0
[pid=27114/tid=27116] ppid=27112 vsize=138068 CPUtime=3.07 cores=1,3,5,7
/proc/27114/task/27116/stat : 27116 (pwbo1.1) R 27112 27114 24477 0 -1 4202560 2016 0 0 0 305 2 0 0 25 0 3 0 911360283 141381632 4212 33554432000 4194304 5714118 140735387084688 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=27114/tid=27117] ppid=27112 vsize=138068 CPUtime=3.07 cores=1,3,5,7
/proc/27114/task/27117/stat : 27117 (pwbo1.1) R 27112 27114 24477 0 -1 4202560 1181 0 0 0 303 4 0 0 25 0 3 0 911360283 141381632 4212 33554432000 4194304 5714118 140735387084688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 138068

[startup+6.30073 s]
/proc/loadavg: 3.62 3.81 3.81 5/182 27118
/proc/meminfo: memFree=15834332/32951124 swapFree=67053176/67111528
[pid=27114] ppid=27112 vsize=138368 CPUtime=12.57 cores=1,3,5,7
/proc/27114/stat : 27114 (pwbo1.1) S 27112 27114 24477 0 -1 4202496 5891 0 0 0 1245 12 0 0 18 0 3 0 911360282 141688832 5808 33554432000 4194304 5714118 140735387084688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/27114/statm: 34592 5808 182 372 0 34217 0
[pid=27114/tid=27116] ppid=27112 vsize=138368 CPUtime=6.28 cores=1,3,5,7
/proc/27114/task/27116/stat : 27116 (pwbo1.1) R 27112 27114 24477 0 -1 4202560 3209 0 0 0 623 5 0 0 25 0 3 0 911360283 141688832 5808 33554432000 4194304 5714118 140735387084688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=27114/tid=27117] ppid=27112 vsize=138368 CPUtime=6.28 cores=1,3,5,7
/proc/27114/task/27117/stat : 27117 (pwbo1.1) R 27112 27114 24477 0 -1 4202560 1584 0 0 0 621 7 0 0 25 0 3 0 911360283 141688832 5808 33554432000 4194304 5714118 140735387084688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 138368

[startup+12.7006 s]
/proc/loadavg: 3.65 3.82 3.81 5/182 27118
/proc/meminfo: memFree=15823848/32951124 swapFree=67053176/67111528
[pid=27114] ppid=27112 vsize=138584 CPUtime=25.38 cores=1,3,5,7
/proc/27114/stat : 27114 (pwbo1.1) S 27112 27114 24477 0 -1 4202496 8306 0 0 0 2517 21 0 0 18 0 3 0 911360282 141910016 8223 33554432000 4194304 5714118 140735387084688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/27114/statm: 34646 8223 182 372 0 34271 0
[pid=27114/tid=27116] ppid=27112 vsize=138584 CPUtime=12.67 cores=1,3,5,7
/proc/27114/task/27116/stat : 27116 (pwbo1.1) R 27112 27114 24477 0 -1 4202560 4673 0 0 0 1258 9 0 0 25 0 3 0 911360283 141910016 8223 33554432000 4194304 5714118 140735387084688 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=27114/tid=27117] ppid=27112 vsize=138584 CPUtime=12.68 cores=1,3,5,7
/proc/27114/task/27117/stat : 27117 (pwbo1.1) R 27112 27114 24477 0 -1 4202560 2535 0 0 0 1257 11 0 0 25 0 3 0 911360283 141910016 8223 33554432000 4194304 5714118 140735387084688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 138584

[startup+25.5003 s]
/proc/loadavg: 3.73 3.83 3.81 5/182 27118
/proc/meminfo: memFree=15809844/32951124 swapFree=67053176/67111528
[pid=27114] ppid=27112 vsize=138656 CPUtime=50.98 cores=1,3,5,7
/proc/27114/stat : 27114 (pwbo1.1) S 27112 27114 24477 0 -1 4202496 11144 0 0 0 5061 37 0 0 18 0 3 0 911360282 141983744 11061 33554432000 4194304 5714118 140735387084688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/27114/statm: 34664 11061 182 372 0 34289 0
[pid=27114/tid=27116] ppid=27112 vsize=138656 CPUtime=25.48 cores=1,3,5,7
/proc/27114/task/27116/stat : 27116 (pwbo1.1) R 27112 27114 24477 0 -1 4202560 6982 0 0 0 2530 18 0 0 25 0 3 0 911360283 141983744 11061 33554432000 4194304 5714118 140735387084688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=27114/tid=27117] ppid=27112 vsize=138656 CPUtime=25.48 cores=1,3,5,7
/proc/27114/task/27117/stat : 27117 (pwbo1.1) R 27112 27114 24477 0 -1 4202560 3064 0 0 0 2530 18 0 0 25 0 3 0 911360283 141983744 11061 33554432000 4194304 5714118 140735387084688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 138656

[startup+51.1006 s]
/proc/loadavg: 3.82 3.84 3.81 5/182 27119
/proc/meminfo: memFree=15768312/32951124 swapFree=67053176/67111528
[pid=27114] ppid=27112 vsize=139224 CPUtime=102.18 cores=1,3,5,7
/proc/27114/stat : 27114 (pwbo1.1) S 27112 27114 24477 0 -1 4202496 14933 0 0 0 10154 64 0 0 18 0 3 0 911360282 142565376 14850 33554432000 4194304 5714118 140735387084688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/27114/statm: 34806 14850 182 372 0 34431 0
[pid=27114/tid=27116] ppid=27112 vsize=139224 CPUtime=51.07 cores=1,3,5,7
/proc/27114/task/27116/stat : 27116 (pwbo1.1) R 27112 27114 24477 0 -1 4202560 10501 0 0 0 5076 31 0 0 25 0 3 0 911360283 142565376 14850 33554432000 4194304 5714118 140735387084688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=27114/tid=27117] ppid=27112 vsize=139224 CPUtime=51.07 cores=1,3,5,7
/proc/27114/task/27117/stat : 27117 (pwbo1.1) R 27112 27114 24477 0 -1 4202560 3334 0 0 0 5076 31 0 0 25 0 3 0 911360283 142565376 14850 33554432000 4194304 5714118 140735387084688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 139224

[startup+102.306 s]
/proc/loadavg: 3.93 3.86 3.82 5/182 27120
/proc/meminfo: memFree=15725968/32951124 swapFree=67053176/67111528
[pid=27114] ppid=27112 vsize=204812 CPUtime=204.6 cores=1,3,5,7
/proc/27114/stat : 27114 (pwbo1.1) S 27112 27114 24477 0 -1 4202496 22483 0 0 0 20335 125 0 0 18 0 3 0 911360282 209727488 22001 33554432000 4194304 5714118 140735387084688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/27114/statm: 51203 22001 182 372 0 50828 0
[pid=27114/tid=27116] ppid=27112 vsize=204812 CPUtime=102.29 cores=1,3,5,7
/proc/27114/task/27116/stat : 27116 (pwbo1.1) R 27112 27114 24477 0 -1 4202560 16547 0 0 0 10168 61 0 0 25 0 3 0 911360283 209727488 22001 33554432000 4194304 5714118 140735387084688 18446744073709551615 4323024 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=27114/tid=27117] ppid=27112 vsize=204812 CPUtime=102.28 cores=1,3,5,7
/proc/27114/task/27117/stat : 27117 (pwbo1.1) R 27112 27114 24477 0 -1 4202560 4838 0 0 0 10165 63 0 0 25 0 3 0 911360283 209727488 22001 33554432000 4194304 5714118 140735387084688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.6
Current children cumulated vsize (KiB) 204812

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

[startup+105.501 s]
/proc/loadavg: 3.93 3.86 3.82 5/182 27120
/proc/meminfo: memFree=15725100/32951124 swapFree=67053176/67111528
[pid=27114] ppid=27112 vsize=204812 CPUtime=210.99 cores=1,3,5,7
/proc/27114/stat : 27114 (pwbo1.1) S 27112 27114 24477 0 -1 4202496 22483 0 0 0 20971 128 0 0 18 0 3 0 911360282 209727488 22001 33554432000 4194304 5714118 140735387084688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/27114/statm: 51203 22001 182 372 0 50828 0
[pid=27114/tid=27116] ppid=27112 vsize=204812 CPUtime=105.49 cores=1,3,5,7
/proc/27114/task/27116/stat : 27116 (pwbo1.1) R 27112 27114 24477 0 -1 4202560 16547 0 0 0 10486 63 0 0 25 0 3 0 911360283 209727488 22001 33554432000 4194304 5714118 140735387084688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=27114/tid=27117] ppid=27112 vsize=204812 CPUtime=105.48 cores=1,3,5,7
/proc/27114/task/27117/stat : 27117 (pwbo1.1) R 27112 27114 24477 0 -1 4202560 4838 0 0 0 10484 64 0 0 25 0 3 0 911360283 209727488 22001 33554432000 4194304 5714118 140735387084688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 210.99
Current children cumulated vsize (KiB) 204812

[startup+108.701 s]
/proc/loadavg: 3.93 3.86 3.82 5/182 27120
/proc/meminfo: memFree=15724480/32951124 swapFree=67053176/67111528
[pid=27114] ppid=27112 vsize=204812 CPUtime=217.38 cores=1,3,5,7
/proc/27114/stat : 27114 (pwbo1.1) S 27112 27114 24477 0 -1 4202496 22490 0 0 0 21607 131 0 0 18 0 3 0 911360282 209727488 22008 33554432000 4194304 5714118 140735387084688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/27114/statm: 51203 22008 182 372 0 50828 0
[pid=27114/tid=27116] ppid=27112 vsize=204812 CPUtime=108.68 cores=1,3,5,7
/proc/27114/task/27116/stat : 27116 (pwbo1.1) R 27112 27114 24477 0 -1 4202560 16552 0 0 0 10804 64 0 0 25 0 3 0 911360283 209727488 22008 33554432000 4194304 5714118 140735387084688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=27114/tid=27117] ppid=27112 vsize=204812 CPUtime=108.68 cores=1,3,5,7
/proc/27114/task/27117/stat : 27117 (pwbo1.1) R 27112 27114 24477 0 -1 4202560 4840 0 0 0 10802 66 0 0 25 0 3 0 911360283 209727488 22008 33554432000 4194304 5714118 140735387084688 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 217.38
Current children cumulated vsize (KiB) 204812

[startup+110.301 s]
/proc/loadavg: 3.93 3.86 3.82 5/182 27120
/proc/meminfo: memFree=15724104/32951124 swapFree=67053176/67111528
[pid=27114] ppid=27112 vsize=204812 CPUtime=220.58 cores=1,3,5,7
/proc/27114/stat : 27114 (pwbo1.1) S 27112 27114 24477 0 -1 4202496 22493 0 0 0 21925 133 0 0 18 0 3 0 911360282 209727488 22011 33554432000 4194304 5714118 140735387084688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/27114/statm: 51203 22011 182 372 0 50828 0
[pid=27114/tid=27116] ppid=27112 vsize=204812 CPUtime=110.28 cores=1,3,5,7
/proc/27114/task/27116/stat : 27116 (pwbo1.1) R 27112 27114 24477 0 -1 4202560 16552 0 0 0 10963 65 0 0 25 0 3 0 911360283 209727488 22011 33554432000 4194304 5714118 140735387084688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=27114/tid=27117] ppid=27112 vsize=204812 CPUtime=110.28 cores=1,3,5,7
/proc/27114/task/27117/stat : 27117 (pwbo1.1) R 27112 27114 24477 0 -1 4202560 4843 0 0 0 10961 67 0 0 25 0 3 0 911360283 209727488 22011 33554432000 4194304 5714118 140735387084688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 220.58
Current children cumulated vsize (KiB) 204812

[startup+110.701 s]
/proc/loadavg: 3.93 3.86 3.82 5/182 27120
/proc/meminfo: memFree=15724104/32951124 swapFree=67053176/67111528
[pid=27114] ppid=27112 vsize=204812 CPUtime=221.38 cores=1,3,5,7
/proc/27114/stat : 27114 (pwbo1.1) S 27112 27114 24477 0 -1 4202496 22494 0 0 0 22005 133 0 0 18 0 3 0 911360282 209727488 22012 33554432000 4194304 5714118 140735387084688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/27114/statm: 51203 22012 182 372 0 50828 0
[pid=27114/tid=27116] ppid=27112 vsize=204812 CPUtime=110.68 cores=1,3,5,7
/proc/27114/task/27116/stat : 27116 (pwbo1.1) R 27112 27114 24477 0 -1 4202560 16552 0 0 0 11003 65 0 0 25 0 3 0 911360283 209727488 22012 33554432000 4194304 5714118 140735387084688 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=27114/tid=27117] ppid=27112 vsize=204812 CPUtime=110.68 cores=1,3,5,7
/proc/27114/task/27117/stat : 27117 (pwbo1.1) R 27112 27114 24477 0 -1 4202560 4844 0 0 0 11001 67 0 0 25 0 3 0 911360283 209727488 22012 33554432000 4194304 5714118 140735387084688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 221.38
Current children cumulated vsize (KiB) 204812

[startup+111.107 s]
/proc/loadavg: 3.93 3.86 3.82 5/182 27120
/proc/meminfo: memFree=15723856/32951124 swapFree=67053176/67111528
[pid=27114] ppid=27112 vsize=204812 CPUtime=222.19 cores=1,3,5,7
/proc/27114/stat : 27114 (pwbo1.1) S 27112 27114 24477 0 -1 4202496 22494 0 0 0 22085 134 0 0 18 0 3 0 911360282 209727488 22012 33554432000 4194304 5714118 140735387084688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/27114/statm: 51203 22012 182 372 0 50828 0
[pid=27114/tid=27116] ppid=27112 vsize=204812 CPUtime=111.08 cores=1,3,5,7
/proc/27114/task/27116/stat : 27116 (pwbo1.1) R 27112 27114 24477 0 -1 4202560 16552 0 0 0 11043 65 0 0 25 0 3 0 911360283 209727488 22012 33554432000 4194304 5714118 140735387084688 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=27114/tid=27117] ppid=27112 vsize=204812 CPUtime=111.09 cores=1,3,5,7
/proc/27114/task/27117/stat : 27117 (pwbo1.1) R 27112 27114 24477 0 -1 4202560 4844 0 0 0 11041 68 0 0 25 0 3 0 911360283 209727488 22012 33554432000 4194304 5714118 140735387084688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 204812

[startup+111.201 s]
/proc/loadavg: 3.93 3.86 3.82 5/182 27120
/proc/meminfo: memFree=15723856/32951124 swapFree=67053176/67111528
[pid=27114] ppid=27112 vsize=204812 CPUtime=222.38 cores=1,3,5,7
/proc/27114/stat : 27114 (pwbo1.1) S 27112 27114 24477 0 -1 4202496 22494 0 0 0 22104 134 0 0 18 0 3 0 911360282 209727488 22012 33554432000 4194304 5714118 140735387084688 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/27114/statm: 51203 22012 182 372 0 50828 0
[pid=27114/tid=27116] ppid=27112 vsize=204812 CPUtime=111.17 cores=1,3,5,7
/proc/27114/task/27116/stat : 27116 (pwbo1.1) R 27112 27114 24477 0 -1 4202560 16552 0 0 0 11052 65 0 0 25 0 3 0 911360283 209727488 22012 33554432000 4194304 5714118 140735387084688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=27114/tid=27117] ppid=27112 vsize=204812 CPUtime=111.18 cores=1,3,5,7
/proc/27114/task/27117/stat : 27117 (pwbo1.1) R 27112 27114 24477 0 -1 4202560 4844 0 0 0 11050 68 0 0 25 0 3 0 911360283 209727488 22012 33554432000 4194304 5714118 140735387084688 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 222.38
Current children cumulated vsize (KiB) 204812

Child status: 0
Real time (s): 111.269
CPU time (s): 222.523
CPU user time (s): 221.172
CPU system time (s): 1.35079
CPU usage (%): 199.986
Max. virtual memory (cumulated for all children) (KiB): 206720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 221.172
system time used= 1.35079
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22499
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= 120
involuntary context switches= 1451

runsolver used 0.197969 second user time and 0.415936 second system time

The end

Launcher Data 

Begin job on node137 at 2011-06-13 22:40:26
IDJOB=3500746
IDBENCH=89831
IDSOLVER=1954
FILE ID=node137/3500746-1307997626
RUNJOBID= node137-1307996682-25979
PBS_JOBID= 13559729
Free space on /tmp= 3496 MiB

SOLVER NAME= pwbo 1.1
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-222__neos-1330346.opb
COMMAND LINE= pwbo1.1 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3500746-1307997626/watcher-3500746-1307997626 -o /tmp/evaluation-result-3500746-1307997626/solver-3500746-1307997626 -C 1800 -W 1900 -M 15500  pwbo1.1 -file-format=opb HOME/instance-3500746-1307997626.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= bf0628fd43a26c492fc12f863e1d2dd3
RANDOM SEED=2108567575

node137.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      15857832 kB
Buffers:        151236 kB
Cached:       15926828 kB
SwapCached:      11996 kB
Active:        1106200 kB
Inactive:     15396892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      15857832 kB
SwapTotal:    67111528 kB
SwapFree:     67053176 kB
Dirty:            4568 kB
Writeback:           0 kB
AnonPages:      422032 kB
Mapped:          10008 kB
Slab:           524880 kB
PageTables:       5060 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   624116 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 3492 MiB
End job on node137 at 2011-06-13 22:42:17