Trace number 39627

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 234.185 234.262

General information on the benchmark

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.86 0.94 0.90 2/64 16509
/proc/meminfo: memFree=1385936/2055920 swapFree=4180900/4192956
[pid=16509] ppid=16507 vsize=4932 CPUtime=0
/proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 361 0 0 0 0 0 0 0 18 0 1 0 188315621 5050368 325 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1737312 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16509/statm: 1233 330 226 55 0 125 0

[startup+10.0023 s]
/proc/loadavg: 0.88 0.94 0.90 2/64 16509
/proc/meminfo: memFree=1215064/2055920 swapFree=4180900/4192956
[pid=16509] ppid=16507 vsize=175172 CPUtime=9.98
/proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 43024 0 0 0 977 21 0 0 25 0 1 0 188315621 179376128 42939 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645354 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16509/statm: 43793 42939 288 55 0 42685 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 175172

[startup+20.0093 s]
/proc/loadavg: 0.90 0.94 0.90 2/64 16509
/proc/meminfo: memFree=1215136/2055920 swapFree=4180900/4192956
[pid=16509] ppid=16507 vsize=175172 CPUtime=19.99
/proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 43024 0 0 0 1978 21 0 0 25 0 1 0 188315621 179376128 42939 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16509/statm: 43793 42939 288 55 0 42685 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 175172

[startup+30.0153 s]
/proc/loadavg: 0.91 0.94 0.90 2/64 16509
/proc/meminfo: memFree=1215264/2055920 swapFree=4180900/4192956
[pid=16509] ppid=16507 vsize=175172 CPUtime=29.99
/proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 43024 0 0 0 2978 21 0 0 25 0 1 0 188315621 179376128 42939 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644871 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16509/statm: 43793 42939 288 55 0 42685 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 175172

[startup+40.0213 s]
/proc/loadavg: 0.93 0.94 0.90 2/64 16509
/proc/meminfo: memFree=1215264/2055920 swapFree=4180900/4192956
[pid=16509] ppid=16507 vsize=175172 CPUtime=39.99
/proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 43024 0 0 0 3978 21 0 0 25 0 1 0 188315621 179376128 42939 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16509/statm: 43793 42939 288 55 0 42685 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 175172

[startup+50.0274 s]
/proc/loadavg: 0.94 0.95 0.91 2/64 16509
/proc/meminfo: memFree=1215328/2055920 swapFree=4180900/4192956
[pid=16509] ppid=16507 vsize=175172 CPUtime=50
/proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 43024 0 0 0 4979 21 0 0 25 0 1 0 188315621 179376128 42939 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16509/statm: 43793 42939 288 55 0 42685 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 175172

[startup+60.0334 s]
/proc/loadavg: 0.95 0.95 0.91 2/64 16509
/proc/meminfo: memFree=1215328/2055920 swapFree=4180900/4192956
[pid=16509] ppid=16507 vsize=175172 CPUtime=60
/proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 43024 0 0 0 5979 21 0 0 25 0 1 0 188315621 179376128 42939 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644871 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16509/statm: 43793 42939 288 55 0 42685 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 175172

[startup+70.0404 s]
/proc/loadavg: 0.95 0.95 0.91 2/64 16509
/proc/meminfo: memFree=1215328/2055920 swapFree=4180900/4192956
[pid=16509] ppid=16507 vsize=175172 CPUtime=70
/proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 43024 0 0 0 6979 21 0 0 25 0 1 0 188315621 179376128 42939 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644958 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16509/statm: 43793 42939 288 55 0 42685 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 175172

[startup+80.0475 s]
/proc/loadavg: 0.96 0.95 0.91 2/64 16509
/proc/meminfo: memFree=1215328/2055920 swapFree=4180900/4192956
[pid=16509] ppid=16507 vsize=175172 CPUtime=80.01
/proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 43024 0 0 0 7980 21 0 0 25 0 1 0 188315621 179376128 42939 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644856 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16509/statm: 43793 42939 288 55 0 42685 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 175172

[startup+90.0535 s]
/proc/loadavg: 0.97 0.95 0.91 2/64 16509
/proc/meminfo: memFree=1215328/2055920 swapFree=4180900/4192956
[pid=16509] ppid=16507 vsize=175172 CPUtime=90.01
/proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 43024 0 0 0 8980 21 0 0 25 0 1 0 188315621 179376128 42939 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555909 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16509/statm: 43793 42939 288 55 0 42685 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 175172

[startup+100.06 s]
/proc/loadavg: 0.97 0.95 0.91 2/64 16509
/proc/meminfo: memFree=1206560/2055920 swapFree=4180900/4192956
[pid=16509] ppid=16507 vsize=183860 CPUtime=100.01
/proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 45210 0 0 0 9979 22 0 0 25 0 1 0 188315621 188272640 45125 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529320 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16509/statm: 45965 45125 297 55 0 44857 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 183860

[startup+110.067 s]
/proc/loadavg: 0.97 0.95 0.91 2/64 16509
/proc/meminfo: memFree=1206432/2055920 swapFree=4180900/4192956
[pid=16509] ppid=16507 vsize=183992 CPUtime=110.02
/proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 45247 0 0 0 10979 23 0 0 25 0 1 0 188315621 188407808 45162 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16509/statm: 45998 45162 297 55 0 44890 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 183992

[startup+120.073 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 16509
/proc/meminfo: memFree=1206304/2055920 swapFree=4180900/4192956
[pid=16509] ppid=16507 vsize=184124 CPUtime=120.02
/proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 45267 0 0 0 11979 23 0 0 25 0 1 0 188315621 188542976 45182 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16509/statm: 46031 45182 297 55 0 44923 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 184124

[startup+130.079 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 16509
/proc/meminfo: memFree=1206304/2055920 swapFree=4180900/4192956
[pid=16509] ppid=16507 vsize=184256 CPUtime=130.03
/proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 45293 0 0 0 12980 23 0 0 25 0 1 0 188315621 188678144 45208 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16509/statm: 46064 45208 297 55 0 44956 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 184256

[startup+140.084 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 16509
/proc/meminfo: memFree=1206112/2055920 swapFree=4180900/4192956
[pid=16509] ppid=16507 vsize=184384 CPUtime=140.03
/proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 45329 0 0 0 13979 24 0 0 25 0 1 0 188315621 188809216 45244 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537637 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16509/statm: 46096 45244 297 55 0 44988 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 184384

[startup+150.09 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 16509
/proc/meminfo: memFree=1205920/2055920 swapFree=4180900/4192956
[pid=16509] ppid=16507 vsize=184516 CPUtime=150.03
/proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 45372 0 0 0 14979 24 0 0 25 0 1 0 188315621 188944384 45287 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16509/statm: 46129 45287 297 55 0 45021 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 184516

[startup+160.096 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 16509
/proc/meminfo: memFree=1205856/2055920 swapFree=4180900/4192956
[pid=16509] ppid=16507 vsize=184516 CPUtime=160.03
/proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 45383 0 0 0 15979 24 0 0 25 0 1 0 188315621 188944384 45298 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541526 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16509/statm: 46129 45298 297 55 0 45021 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 184516

[startup+170.102 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 16509
/proc/meminfo: memFree=1205856/2055920 swapFree=4180900/4192956
[pid=16509] ppid=16507 vsize=184648 CPUtime=170.04
/proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 45390 0 0 0 16979 25 0 0 25 0 1 0 188315621 189079552 45305 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16509/statm: 46162 45305 297 55 0 45054 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 184648

[startup+180.108 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 16509
/proc/meminfo: memFree=1205792/2055920 swapFree=4180900/4192956
[pid=16509] ppid=16507 vsize=184648 CPUtime=180.04
/proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 45401 0 0 0 17979 25 0 0 25 0 1 0 188315621 189079552 45316 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134590381 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16509/statm: 46162 45316 297 55 0 45054 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 184648

[startup+190.115 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 16509
/proc/meminfo: memFree=1205728/2055920 swapFree=4180900/4192956
[pid=16509] ppid=16507 vsize=184648 CPUtime=190.05
/proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 45410 0 0 0 18979 26 0 0 25 0 1 0 188315621 189079552 45325 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16509/statm: 46162 45325 297 55 0 45054 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 184648

[startup+200.12 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 16509
/proc/meminfo: memFree=1205664/2055920 swapFree=4180900/4192956
[pid=16509] ppid=16507 vsize=184780 CPUtime=200.05
/proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 45422 0 0 0 19978 27 0 0 25 0 1 0 188315621 189214720 45337 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16509/statm: 46195 45337 297 55 0 45087 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 184780

[startup+210.126 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 16509
/proc/meminfo: memFree=1205728/2055920 swapFree=4180900/4192956
[pid=16509] ppid=16507 vsize=184780 CPUtime=210.05
/proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 45428 0 0 0 20978 27 0 0 25 0 1 0 188315621 189214720 45343 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16509/statm: 46195 45343 297 55 0 45087 0
Current children cumulated CPU time (s) 210.05
Current children cumulated vsize (Kb) 184780

[startup+220.132 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 16509
/proc/meminfo: memFree=1205664/2055920 swapFree=4180900/4192956
[pid=16509] ppid=16507 vsize=184780 CPUtime=220.06
/proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 45437 0 0 0 21978 28 0 0 25 0 1 0 188315621 189214720 45352 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541593 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16509/statm: 46195 45352 297 55 0 45087 0
Current children cumulated CPU time (s) 220.06
Current children cumulated vsize (Kb) 184780

[startup+230.138 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 16509
/proc/meminfo: memFree=1205536/2055920 swapFree=4180900/4192956
[pid=16509] ppid=16507 vsize=184912 CPUtime=230.05
/proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 45469 0 0 0 22977 28 0 0 25 0 1 0 188315621 189349888 45384 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540561 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16509/statm: 46228 45384 297 55 0 45120 0
Current children cumulated CPU time (s) 230.05
Current children cumulated vsize (Kb) 184912

Child status: 10
Real time (s): 234.262
CPU time (s): 234.185
CPU user time (s): 233.859
CPU system time (s): 0.32595
CPU usage (%): 99.9674
Max. virtual memory (cumulated for all children) (Kb): 184912

Launcher Data (download as text)

Begin job on node27 on Fri Jun  2 05:35:21 UTC 2006


FILE ID= 39627-1149226521

PBS_JOBID= 295904

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  2882e17c9be8b3b8a5ac8492f26b9dcd

RANDOM SEED= 731355839


/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.234
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.234
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:       1386144 kB
Buffers:         35204 kB
Cached:         560640 kB
SwapCached:       3916 kB
Active:         163880 kB
Inactive:       440820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1386144 kB
SwapTotal:     4192956 kB
SwapFree:      4180900 kB
Dirty:             256 kB
Writeback:           0 kB
Mapped:          14764 kB
Slab:            51168 kB
Committed_AS:   260100 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node27 on Fri Jun  2 05:39:16 UTC 2006