Trace number 39635

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
bsolo 2006/05SAT 238.183 238.393

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb
MD5SUM513c9c3498927a8710f266699385db2b
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark3.23351
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1600
Total number of constraints328901
Number of constraints which are clauses327070
Number of constraints which are cardinality constraints (but not clauses)61
Number of constraints which are nor clauses,nor cardinality constraints1770
Minimum length of a constraint2
Maximum length of a constraint700
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 302
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 891
Number of bits of the biggest sum of numbers10
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 Time Limit set via PBTIMEOUT to 1800
0.14	c INFO: OSL Context initialized.
6.24	c Initial problem consists of 1600 variables and 328962 constraints.
95.63	c Using non-optimization problem switches.
95.63	c No problem reductions applied in OPT. instance.
95.63	c	preprocess terminated. Elapsed time: 95.465
95.63	c After prepocess the problem consists of 1600 variables and 307962 constraints.
100.18	c Restart #1 #Var: 1600 LB: 0 @ 100.01
107.44	c Restart #2 #Var: 1600 LB: 0 @ 107.26
119.37	c Restart #3 #Var: 1600 LB: 0 @ 119.19
134.92	c Restart #4 #Var: 1600 LB: 0 @ 134.74
155.23	c Restart #5 #Var: 1600 LB: 0 @ 155.04
189.79	c Restart #6 #Var: 1600 LB: 0 @ 189.59
232.44	c Restart #7 #Var: 1600 LB: 0 @ 232.23
237.67	c Restart #8 #Var: 1600 LB: 0 @ 237.47
238.36	c Sol. found (all assignments made)...
238.36	o 0
238.36	c NEW SOLUTION FOUND: 0 @ 238.15
238.36	s SATISFIABLE
238.36	c Cost: 0
238.36	v -x3 -x901 -x4 -x902 -x5 -x903 -x6 -x904 -x7 -x905 -x8 -x906 -x11 x907 -x12 x908 -x13 -x909 -x14 -x910 -x15 -x911 -x17 -x912 -x18
238.36	v -x913 -x19 -x914 -x20 x915 x22 -x916 -x23 -x917 -x24 -x918 -x25 -x919 -x26 -x920 -x27 -x921 -x28 x922 -x30 -x923 -x924 -x925
238.36	v -x926 -x927 -x9 -x928 -x10 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944
238.36	v -x1 -x945 -x2 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x16 -x957 -x958 -x959 -x960 -x961 -x21 -x962
238.36	v -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x29 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 x981 -x982
238.36	v -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 x997 x998 -x999 -x1000 -x1001 -x1002
238.36	v -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 x1019
238.36	v -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036
238.36	v -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053
238.36	v -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 x1066 -x1067 -x1068 -x1069 -x1070
238.36	v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087
238.36	v -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104
238.36	v -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121
238.36	v -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138
238.36	v -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155
238.36	v -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 x1171 -x1172 x1173
238.36	v -x1174 -x1175 -x1176 -x1177 x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190
238.36	v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 x1204 -x1205 -x1206 -x1207
238.36	v -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224
238.36	v -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 x1236 -x1237 -x1238 -x1239 -x1240 -x1241
238.36	v -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258
238.36	v -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275
238.36	v -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292
238.36	v x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310
238.36	v -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327
238.36	v -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344
238.36	v -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361
238.36	v -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378
238.36	v -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395
238.36	v -x1396 -x1397 -x1398 -x1399 -x1400 x1401 -x1402 -x1403 x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413
238.36	v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 x1428 -x1429 x1430 -x1431
238.36	v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448
238.36	v -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465
238.36	v -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482
238.36	v -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 x1496 -x1497 -x1498 -x1499
238.36	v -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516
238.36	v -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 x1527 -x1528 -x1529 -x1530 x1531 -x1532 -x1533 x1534
238.36	v -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551
238.36	v -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568
238.36	v -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585
238.36	v -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 x31 -x32 -x33
238.36	v -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
238.36	v -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
238.36	v -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108
238.36	v -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129
238.36	v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150
238.36	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 x171
238.36	v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192
238.36	v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 -x211 -x212 -x213
238.36	v -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234
238.36	v -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255
238.36	v -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276
238.36	v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297
238.36	v -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318
238.36	v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 -x339
238.36	v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360
238.36	v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381
238.36	v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402
238.36	v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423
238.36	v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 x444
238.36	v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 -x465
238.36	v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 x483 -x484 -x485 -x486
238.36	v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507
238.36	v -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528
238.36	v -x529 -x530 -x531 -x532 -x533 -x534 -x535 x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549
238.36	v -x550 -x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570
238.36	v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 x588 -x589 -x590 -x591
238.36	v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 x607 -x608 -x609 -x610 -x611 -x612
238.36	v -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633
238.36	v -x634 -x635 -x636 -x637 -x638 x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654
238.36	v -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675
238.36	v x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696
238.36	v -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 x715 -x716 -x717
238.36	v -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738
238.36	v -x739 x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759
238.36	v -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 x780
238.36	v -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 x799 -x800 -x801
238.36	v -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 x820 -x821 -x822
238.36	v -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843
238.36	v -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864
238.36	v -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885
238.36	v -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 x899 -x900
238.36	c Exit Code: 10
238.36	c Total time: 238.15 s

Verifier Data (download as text)

OK	0

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node66/watcher-39635-1149227221 -o ROOT/results/node66/solver-39635-1149227221 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node66/39635-1149227221/instance-39635-1149227221.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.45 0.80 0.89 2/64 10206
/proc/meminfo: memFree=1312296/2055920 swapFree=4182232/4192956
[pid=10206] ppid=10204 vsize=2900 CPUtime=0
/proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 43 0 0 0 0 0 0 0 18 0 1 0 188390804 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9841293 0 0 4096 0 0 0 0 17 1 0 0
/proc/10206/statm: 737 34 26 55 0 38 0

[startup+10.0025 s]
/proc/loadavg: 0.54 0.81 0.89 2/64 10206
/proc/meminfo: memFree=1141552/2055920 swapFree=4182232/4192956
[pid=10206] ppid=10204 vsize=175388 CPUtime=9.85
/proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 43078 0 0 0 964 21 0 0 25 0 1 0 188390804 179597312 42993 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644856 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10206/statm: 43847 42993 288 55 0 42739 0
Current children cumulated CPU time (s) 9.85
Current children cumulated vsize (Kb) 175388

[startup+20.0097 s]
/proc/loadavg: 0.61 0.81 0.89 2/64 10206
/proc/meminfo: memFree=1141552/2055920 swapFree=4182232/4192956
[pid=10206] ppid=10204 vsize=175388 CPUtime=19.85
/proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 43078 0 0 0 1964 21 0 0 25 0 1 0 188390804 179597312 42993 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557720 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10206/statm: 43847 42993 288 55 0 42739 0
Current children cumulated CPU time (s) 19.85
Current children cumulated vsize (Kb) 175388

[startup+30.0169 s]
/proc/loadavg: 0.67 0.82 0.89 2/64 10206
/proc/meminfo: memFree=1141616/2055920 swapFree=4182232/4192956
[pid=10206] ppid=10204 vsize=175388 CPUtime=29.86
/proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 43078 0 0 0 2965 21 0 0 25 0 1 0 188390804 179597312 42993 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644871 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10206/statm: 43847 42993 288 55 0 42739 0
Current children cumulated CPU time (s) 29.86
Current children cumulated vsize (Kb) 175388

[startup+40.0222 s]
/proc/loadavg: 0.72 0.82 0.89 2/64 10206
/proc/meminfo: memFree=1141680/2055920 swapFree=4182232/4192956
[pid=10206] ppid=10204 vsize=175388 CPUtime=39.86
/proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 43078 0 0 0 3965 21 0 0 25 0 1 0 188390804 179597312 42993 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645256 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10206/statm: 43847 42993 288 55 0 42739 0
Current children cumulated CPU time (s) 39.86
Current children cumulated vsize (Kb) 175388

[startup+50.0284 s]
/proc/loadavg: 0.76 0.83 0.89 2/64 10206
/proc/meminfo: memFree=1141680/2055920 swapFree=4182232/4192956
[pid=10206] ppid=10204 vsize=175388 CPUtime=49.86
/proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 43078 0 0 0 4965 21 0 0 25 0 1 0 188390804 179597312 42993 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542092 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10206/statm: 43847 42993 288 55 0 42739 0
Current children cumulated CPU time (s) 49.86
Current children cumulated vsize (Kb) 175388

[startup+60.0347 s]
/proc/loadavg: 0.80 0.83 0.90 2/64 10206
/proc/meminfo: memFree=1141680/2055920 swapFree=4182232/4192956
[pid=10206] ppid=10204 vsize=175388 CPUtime=59.86
/proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 43078 0 0 0 5965 21 0 0 25 0 1 0 188390804 179597312 42993 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541640 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10206/statm: 43847 42993 288 55 0 42739 0
Current children cumulated CPU time (s) 59.86
Current children cumulated vsize (Kb) 175388

[startup+70.0409 s]
/proc/loadavg: 0.83 0.84 0.90 2/64 10206
/proc/meminfo: memFree=1141680/2055920 swapFree=4182232/4192956
[pid=10206] ppid=10204 vsize=175388 CPUtime=69.87
/proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 43078 0 0 0 6966 21 0 0 25 0 1 0 188390804 179597312 42993 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541672 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10206/statm: 43847 42993 288 55 0 42739 0
Current children cumulated CPU time (s) 69.87
Current children cumulated vsize (Kb) 175388

[startup+80.0471 s]
/proc/loadavg: 0.85 0.84 0.90 2/64 10206
/proc/meminfo: memFree=1141680/2055920 swapFree=4182232/4192956
[pid=10206] ppid=10204 vsize=175388 CPUtime=79.87
/proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 43078 0 0 0 7966 21 0 0 25 0 1 0 188390804 179597312 42993 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540883 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10206/statm: 43847 42993 288 55 0 42739 0
Current children cumulated CPU time (s) 79.87
Current children cumulated vsize (Kb) 175388

[startup+90.0534 s]
/proc/loadavg: 0.88 0.85 0.90 2/64 10206
/proc/meminfo: memFree=1141680/2055920 swapFree=4182232/4192956
[pid=10206] ppid=10204 vsize=175388 CPUtime=89.88
/proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 43078 0 0 0 8967 21 0 0 25 0 1 0 188390804 179597312 42993 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10206/statm: 43847 42993 288 55 0 42739 0
Current children cumulated CPU time (s) 89.88
Current children cumulated vsize (Kb) 175388

[startup+100.059 s]
/proc/loadavg: 0.89 0.85 0.90 2/64 10206
/proc/meminfo: memFree=1132976/2055920 swapFree=4182232/4192956
[pid=10206] ppid=10204 vsize=184076 CPUtime=99.88
/proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 45259 0 0 0 9965 23 0 0 25 0 1 0 188390804 188493824 45174 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10206/statm: 46019 45174 297 55 0 44911 0
Current children cumulated CPU time (s) 99.88
Current children cumulated vsize (Kb) 184076

[startup+110.065 s]
/proc/loadavg: 0.91 0.86 0.90 2/64 10206
/proc/meminfo: memFree=1132784/2055920 swapFree=4182232/4192956
[pid=10206] ppid=10204 vsize=184208 CPUtime=109.88
/proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 45295 0 0 0 10965 23 0 0 25 0 1 0 188390804 188628992 45210 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10206/statm: 46052 45210 297 55 0 44944 0
Current children cumulated CPU time (s) 109.88
Current children cumulated vsize (Kb) 184208

[startup+120.071 s]
/proc/loadavg: 0.92 0.86 0.90 2/64 10206
/proc/meminfo: memFree=1132720/2055920 swapFree=4182232/4192956
[pid=10206] ppid=10204 vsize=184336 CPUtime=119.88
/proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 45319 0 0 0 11965 23 0 0 25 0 1 0 188390804 188760064 45234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10206/statm: 46084 45234 297 55 0 44976 0
Current children cumulated CPU time (s) 119.88
Current children cumulated vsize (Kb) 184336

[startup+130.077 s]
/proc/loadavg: 0.93 0.86 0.90 2/64 10206
/proc/meminfo: memFree=1132528/2055920 swapFree=4182232/4192956
[pid=10206] ppid=10204 vsize=184468 CPUtime=129.9
/proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 45361 0 0 0 12966 24 0 0 25 0 1 0 188390804 188895232 45276 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541593 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10206/statm: 46117 45276 297 55 0 45009 0
Current children cumulated CPU time (s) 129.9
Current children cumulated vsize (Kb) 184468

[startup+140.084 s]
/proc/loadavg: 0.94 0.87 0.90 2/64 10206
/proc/meminfo: memFree=1132400/2055920 swapFree=4182232/4192956
[pid=10206] ppid=10204 vsize=184588 CPUtime=139.9
/proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 45386 0 0 0 13966 24 0 0 25 0 1 0 188390804 189018112 45301 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10206/statm: 46147 45301 297 55 0 45039 0
Current children cumulated CPU time (s) 139.9
Current children cumulated vsize (Kb) 184588

[startup+150.09 s]
/proc/loadavg: 0.95 0.87 0.90 2/64 10206
/proc/meminfo: memFree=1132208/2055920 swapFree=4182232/4192956
[pid=10206] ppid=10204 vsize=184720 CPUtime=149.9
/proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 45434 0 0 0 14966 24 0 0 25 0 1 0 188390804 189153280 45349 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541588 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10206/statm: 46180 45349 297 55 0 45072 0
Current children cumulated CPU time (s) 149.9
Current children cumulated vsize (Kb) 184720

[startup+160.096 s]
/proc/loadavg: 0.96 0.88 0.91 2/64 10206
/proc/meminfo: memFree=1132144/2055920 swapFree=4182232/4192956
[pid=10206] ppid=10204 vsize=184848 CPUtime=159.9
/proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 45444 0 0 0 15966 24 0 0 25 0 1 0 188390804 189284352 45359 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10206/statm: 46212 45359 297 55 0 45104 0
Current children cumulated CPU time (s) 159.9
Current children cumulated vsize (Kb) 184848

[startup+170.102 s]
/proc/loadavg: 0.96 0.88 0.91 2/64 10206
/proc/meminfo: memFree=1132144/2055920 swapFree=4182232/4192956
[pid=10206] ppid=10204 vsize=184848 CPUtime=169.91
/proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 45448 0 0 0 16966 25 0 0 25 0 1 0 188390804 189284352 45363 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537786 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10206/statm: 46212 45363 297 55 0 45104 0
Current children cumulated CPU time (s) 169.91
Current children cumulated vsize (Kb) 184848

[startup+180.109 s]
/proc/loadavg: 0.97 0.88 0.91 2/64 10206
/proc/meminfo: memFree=1132144/2055920 swapFree=4182232/4192956
[pid=10206] ppid=10204 vsize=184848 CPUtime=179.91
/proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 45457 0 0 0 17966 25 0 0 25 0 1 0 188390804 189284352 45372 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10206/statm: 46212 45372 297 55 0 45104 0
Current children cumulated CPU time (s) 179.91
Current children cumulated vsize (Kb) 184848

[startup+190.115 s]
/proc/loadavg: 0.97 0.89 0.91 2/64 10206
/proc/meminfo: memFree=1132080/2055920 swapFree=4182232/4192956
[pid=10206] ppid=10204 vsize=184848 CPUtime=189.91
/proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 45467 0 0 0 18965 26 0 0 25 0 1 0 188390804 189284352 45382 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534109 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10206/statm: 46212 45382 297 55 0 45104 0
Current children cumulated CPU time (s) 189.91
Current children cumulated vsize (Kb) 184848

[startup+200.121 s]
/proc/loadavg: 0.98 0.89 0.91 2/64 10206
/proc/meminfo: memFree=1132080/2055920 swapFree=4182232/4192956
[pid=10206] ppid=10204 vsize=184980 CPUtime=199.92
/proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 45478 0 0 0 19965 27 0 0 25 0 1 0 188390804 189419520 45393 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10206/statm: 46245 45393 297 55 0 45137 0
Current children cumulated CPU time (s) 199.92
Current children cumulated vsize (Kb) 184980

[startup+210.127 s]
/proc/loadavg: 0.98 0.89 0.91 2/64 10206
/proc/meminfo: memFree=1132016/2055920 swapFree=4182232/4192956
[pid=10206] ppid=10204 vsize=184980 CPUtime=209.92
/proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 45489 0 0 0 20965 27 0 0 25 0 1 0 188390804 189419520 45404 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528802 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10206/statm: 46245 45404 297 55 0 45137 0
Current children cumulated CPU time (s) 209.92
Current children cumulated vsize (Kb) 184980

[startup+220.134 s]
/proc/loadavg: 0.98 0.90 0.91 2/64 10206
/proc/meminfo: memFree=1131952/2055920 swapFree=4182232/4192956
[pid=10206] ppid=10204 vsize=185112 CPUtime=219.92
/proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 45502 0 0 0 21964 28 0 0 25 0 1 0 188390804 189554688 45417 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541428 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10206/statm: 46278 45417 297 55 0 45170 0
Current children cumulated CPU time (s) 219.92
Current children cumulated vsize (Kb) 185112

[startup+230.14 s]
/proc/loadavg: 0.98 0.90 0.91 2/64 10206
/proc/meminfo: memFree=1131952/2055920 swapFree=4182232/4192956
[pid=10206] ppid=10204 vsize=185112 CPUtime=229.92
/proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 45514 0 0 0 22963 29 0 0 25 0 1 0 188390804 189554688 45429 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541373 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10206/statm: 46278 45429 297 55 0 45170 0
Current children cumulated CPU time (s) 229.92
Current children cumulated vsize (Kb) 185112

Child status: 10
Real time (s): 238.393
CPU time (s): 238.183
CPU user time (s): 237.847
CPU system time (s): 0.335948
CPU usage (%): 99.9116
Max. virtual memory (cumulated for all children) (Kb): 185112

Launcher Data (download as text)

Begin job on node66 on Fri Jun  2 05:47:03 UTC 2006


FILE ID= 39635-1149227221

PBS_JOBID= 296008

BENCH NAME= ROOT/tmp/node66/39635-1149227221/instance-39635-1149227221.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node66/39635-1149227221/instance-39635-1149227221.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node66/watcher-39635-1149227221 -o ROOT/results/node66/solver-39635-1149227221 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node66/39635-1149227221/instance-39635-1149227221.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  513c9c3498927a8710f266699385db2b

RANDOM SEED= 630276732


/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.225
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.225
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:       1312632 kB
Buffers:         35692 kB
Cached:         633544 kB
SwapCached:       2536 kB
Active:         119004 kB
Inactive:       559064 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1312632 kB
SwapTotal:     4192956 kB
SwapFree:      4182232 kB
Dirty:             160 kB
Writeback:           0 kB
Mapped:          15184 kB
Slab:            51312 kB
Committed_AS:   211528 kB
PageTables:       1400 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node66 on Fri Jun  2 05:51:05 UTC 2006