Trace number 455477

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
Pueblo 1.4SAT-47 1782.74 1783.9

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_5.opb
MD5SUM996170804397234947041ed4d87d3aa0
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-59
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -59
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)5056
Sum of products size (including duplicates)10112
Number of different products2528
Sum of products size5056

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

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

Verifier Data (download as text)

OK	-47

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/455477-1178044137/instance-455477-1178044137.opb

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 3970
/proc/meminfo: memFree=1837048/2055920 swapFree=4163572/4192956
[pid=3970] ppid=3968 vsize=2288 CPUtime=0
/proc/3970/stat : 3970 (Pueblo) D 3968 3970 21874 0 -1 4194304 158 0 1 0 0 0 0 0 18 0 1 0 252331446 2342912 131 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4160225324 0 0 4096 0 18446744071563479169 0 0 17 0 0 0
/proc/3970/statm: 572 131 110 16 0 11 0

[startup+0.088807 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 3970
/proc/meminfo: memFree=1837048/2055920 swapFree=4163572/4192956
[pid=3970] ppid=3968 vsize=3616 CPUtime=0.07
/proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 528 0 3 0 7 0 0 0 18 0 1 0 252331446 3702784 502 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/3970/statm: 904 503 200 16 0 343 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3616

[startup+0.101807 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 3970
/proc/meminfo: memFree=1837048/2055920 swapFree=4163572/4192956
[pid=3970] ppid=3968 vsize=4420 CPUtime=0.08
/proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 726 0 3 0 8 0 0 0 18 0 1 0 252331446 4526080 700 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 5113467 0 0 4096 0 0 0 0 17 0 0 0
/proc/3970/statm: 1105 700 203 16 0 544 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4420

[startup+0.301838 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 3970
/proc/meminfo: memFree=1837048/2055920 swapFree=4163572/4192956
[pid=3970] ppid=3968 vsize=4820 CPUtime=0.29
/proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 834 0 3 0 28 1 0 0 19 0 1 0 252331446 4935680 808 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527184 0 0 4096 0 0 0 0 17 0 0 0
/proc/3970/statm: 1205 808 205 16 0 644 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4820

[startup+0.701899 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 3970
/proc/meminfo: memFree=1837048/2055920 swapFree=4163572/4192956
[pid=3970] ppid=3968 vsize=5336 CPUtime=0.69
/proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 946 0 3 0 68 1 0 0 22 0 1 0 252331446 5464064 920 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/3970/statm: 1334 920 205 16 0 773 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5336

[startup+1.50302 s]
/proc/loadavg: 0.85 0.97 0.99 2/78 3971
/proc/meminfo: memFree=1832752/2055920 swapFree=4163572/4192956
[pid=3970] ppid=3968 vsize=7148 CPUtime=1.49
/proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 1399 0 3 0 147 2 0 0 25 0 1 0 252331446 7319552 1373 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 0 0 0
/proc/3970/statm: 1787 1373 205 16 0 1226 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7148

[startup+3.10127 s]
/proc/loadavg: 0.85 0.97 0.99 2/78 3971
/proc/meminfo: memFree=1830448/2055920 swapFree=4163572/4192956
[pid=3970] ppid=3968 vsize=9136 CPUtime=3.08
/proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 1925 0 3 0 306 2 0 0 25 0 1 0 252331446 9355264 1888 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 0 0 0
/proc/3970/statm: 2284 1888 205 16 0 1723 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 9136

[startup+6.30275 s]
/proc/loadavg: 0.86 0.97 0.99 2/78 3971
/proc/meminfo: memFree=1828016/2055920 swapFree=4163572/4192956
[pid=3970] ppid=3968 vsize=10432 CPUtime=6.28
/proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 2256 0 3 0 624 4 0 0 25 0 1 0 252331446 10682368 2219 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 0 0 0
/proc/3970/statm: 2608 2219 205 16 0 2047 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 10432

[startup+12.7017 s]
/proc/loadavg: 0.87 0.97 0.99 2/78 3971
/proc/meminfo: memFree=1825136/2055920 swapFree=4163572/4192956
[pid=3970] ppid=3968 vsize=13352 CPUtime=12.68
/proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 2960 0 3 0 1263 5 0 0 25 0 1 0 252331446 13672448 2923 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 0 0 0
/proc/3970/statm: 3338 2923 205 16 0 2777 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 13352

[startup+25.5017 s]
/proc/loadavg: 0.90 0.97 0.99 2/78 3971
/proc/meminfo: memFree=1821360/2055920 swapFree=4163572/4192956
[pid=3970] ppid=3968 vsize=17308 CPUtime=25.48
/proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 3947 0 3 0 2541 7 0 0 25 0 1 0 252331446 17723392 3910 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 0 0 0
/proc/3970/statm: 4327 3910 205 16 0 3766 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17308

[startup+51.1016 s]
/proc/loadavg: 0.93 0.97 0.99 2/78 3971
/proc/meminfo: memFree=1819056/2055920 swapFree=4163572/4192956
[pid=3970] ppid=3968 vsize=19676 CPUtime=51.04
/proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 4543 0 3 0 5094 10 0 0 25 0 1 0 252331446 20148224 4506 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522742 0 0 4096 0 0 0 0 17 1 0 0
/proc/3970/statm: 4919 4506 205 16 0 4358 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 19676

[startup+102.306 s]
/proc/loadavg: 0.97 0.97 0.99 2/78 3971
/proc/meminfo: memFree=1817584/2055920 swapFree=4163572/4192956
[pid=3970] ppid=3968 vsize=21112 CPUtime=102.21
/proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 4893 0 3 0 10207 14 0 0 25 0 1 0 252331446 21618688 4856 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134533479 0 0 4096 0 0 0 0 17 0 0 0
/proc/3970/statm: 5278 4856 205 16 0 4717 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 21112

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 3971
/proc/meminfo: memFree=1815856/2055920 swapFree=4163572/4192956
[pid=3970] ppid=3968 vsize=22840 CPUtime=162.17
/proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 5320 0 3 0 16199 18 0 0 25 0 1 0 252331446 23388160 5283 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522733 0 0 4096 0 0 0 0 17 0 0 0
/proc/3970/statm: 5710 5283 205 16 0 5149 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 22840

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 3971
/proc/meminfo: memFree=1814128/2055920 swapFree=4163572/4192956
[pid=3970] ppid=3968 vsize=24560 CPUtime=222.14
/proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 5756 0 3 0 22188 26 0 0 25 0 1 0 252331446 25149440 5719 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520078 0 0 4096 0 0 0 0 17 0 0 0
/proc/3970/statm: 6140 5719 205 16 0 5579 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 24560

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 3971
/proc/meminfo: memFree=1812336/2055920 swapFree=4163572/4192956
[pid=3970] ppid=3968 vsize=26248 CPUtime=282.1
/proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 6197 0 3 0 28179 31 0 0 25 0 1 0 252331446 26877952 6160 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527344 0 0 4096 0 0 0 0 17 0 0 0
/proc/3970/statm: 6562 6160 205 16 0 6001 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 26248

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 3971
/proc/meminfo: memFree=1810992/2055920 swapFree=4163572/4192956
[pid=3970] ppid=3968 vsize=27828 CPUtime=342.06
/proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 6590 0 3 0 34171 35 0 0 25 0 1 0 252331446 28495872 6553 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522706 0 0 4096 0 0 0 0 17 0 0 0
/proc/3970/statm: 6957 6553 205 16 0 6396 0
Current children cumulated CPU time (s) 342.06
Current children cumulated vsize (KiB) 27828

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 3971
/proc/meminfo: memFree=1810480/2055920 swapFree=4163572/4192956
[pid=3970] ppid=3968 vsize=28092 CPUtime=402.03
/proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 6662 0 3 0 40163 40 0 0 25 0 1 0 252331446 28766208 6625 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 0 0 0
/proc/3970/statm: 7023 6625 205 16 0 6462 0
Current children cumulated CPU time (s) 402.03
Current children cumulated vsize (KiB) 28092

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 3971
/proc/meminfo: memFree=1810032/2055920 swapFree=4163572/4192956
[pid=3970] ppid=3968 vsize=28620 CPUtime=461.98
/proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 6760 0 3 0 46153 45 0 0 25 0 1 0 252331446 29306880 6723 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 0 0 0
/proc/3970/statm: 7155 6723 205 16 0 6594 0
Current children cumulated CPU time (s) 461.98
Current children cumulated vsize (KiB) 28620

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 3971
/proc/meminfo: memFree=1808048/2055920 swapFree=4163572/4192956
[pid=3970] ppid=3968 vsize=30464 CPUtime=521.95
/proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 7247 0 3 0 52144 51 0 0 25 0 1 0 252331446 31195136 7210 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528357 0 0 4096 0 0 0 0 17 0 0 0
/proc/3970/statm: 7616 7210 205 16 0 7055 0
Current children cumulated CPU time (s) 521.95
Current children cumulated vsize (KiB) 30464

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 3971
/proc/meminfo: memFree=1807920/2055920 swapFree=4163572/4192956
[pid=3970] ppid=3968 vsize=30632 CPUtime=581.92
/proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 7275 0 3 0 58134 58 0 0 25 0 1 0 252331446 31367168 7238 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/3970/statm: 7658 7238 205 16 0 7097 0
Current children cumulated CPU time (s) 581.92
Current children cumulated vsize (KiB) 30632

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 3973
/proc/meminfo: memFree=1807472/2055920 swapFree=4163572/4192956
[pid=3970] ppid=3968 vsize=30904 CPUtime=641.88
/proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 7325 0 3 0 64125 63 0 0 25 0 1 0 252331446 31645696 7288 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 0 0 0
/proc/3970/statm: 7726 7288 205 16 0 7165 0
Current children cumulated CPU time (s) 641.88
Current children cumulated vsize (KiB) 30904


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

/proc/meminfo: memFree=1803952/2055920 swapFree=4163572/4192956
[pid=3970] ppid=3968 vsize=34552 CPUtime=941.65
/proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 8212 0 3 0 94078 87 0 0 25 0 1 0 252331446 35381248 8175 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 0 0 0
/proc/3970/statm: 8638 8175 205 16 0 8077 0
Current children cumulated CPU time (s) 941.65
Current children cumulated vsize (KiB) 34552

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3973
/proc/meminfo: memFree=1803824/2055920 swapFree=4163572/4192956
[pid=3970] ppid=3968 vsize=34544 CPUtime=1001.62
/proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 8226 0 3 0 100071 91 0 0 25 0 1 0 252331446 35373056 8189 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 0 0 0
/proc/3970/statm: 8636 8189 205 16 0 8075 0
Current children cumulated CPU time (s) 1001.62
Current children cumulated vsize (KiB) 34544

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3973
/proc/meminfo: memFree=1803568/2055920 swapFree=4163572/4192956
[pid=3970] ppid=3968 vsize=34800 CPUtime=1061.58
/proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 8275 0 3 0 106063 95 0 0 25 0 1 0 252331446 35635200 8238 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 0 0 0
/proc/3970/statm: 8700 8238 205 16 0 8139 0
Current children cumulated CPU time (s) 1061.58
Current children cumulated vsize (KiB) 34800

[startup+1122.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 3973
/proc/meminfo: memFree=1801328/2055920 swapFree=4163572/4192956
[pid=3970] ppid=3968 vsize=37024 CPUtime=1121.55
/proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 8832 0 3 0 112054 101 0 0 25 0 1 0 252331446 37912576 8795 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 0 0 0
/proc/3970/statm: 9256 8795 205 16 0 8695 0
Current children cumulated CPU time (s) 1121.55
Current children cumulated vsize (KiB) 37024

[startup+1182.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 3973
/proc/meminfo: memFree=1800944/2055920 swapFree=4163572/4192956
[pid=3970] ppid=3968 vsize=37600 CPUtime=1181.51
/proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 8938 0 3 0 118046 105 0 0 25 0 1 0 252331446 38502400 8901 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527830 0 0 4096 0 0 0 0 17 0 0 0
/proc/3970/statm: 9400 8901 205 16 0 8839 0
Current children cumulated CPU time (s) 1181.51
Current children cumulated vsize (KiB) 37600

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3973
/proc/meminfo: memFree=1800752/2055920 swapFree=4163572/4192956
[pid=3970] ppid=3968 vsize=37600 CPUtime=1241.48
/proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 8938 0 3 0 124036 112 0 0 25 0 1 0 252331446 38502400 8901 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/3970/statm: 9400 8901 205 16 0 8839 0
Current children cumulated CPU time (s) 1241.48
Current children cumulated vsize (KiB) 37600

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3973
/proc/meminfo: memFree=1800624/2055920 swapFree=4163572/4192956
[pid=3970] ppid=3968 vsize=37600 CPUtime=1301.44
/proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 8938 0 3 0 130028 116 0 0 25 0 1 0 252331446 38502400 8901 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 0 0 0
/proc/3970/statm: 9400 8901 205 16 0 8839 0
Current children cumulated CPU time (s) 1301.44
Current children cumulated vsize (KiB) 37600

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3973
/proc/meminfo: memFree=1800624/2055920 swapFree=4163572/4192956
[pid=3970] ppid=3968 vsize=37600 CPUtime=1361.41
/proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 8940 0 3 0 136020 121 0 0 25 0 1 0 252331446 38502400 8903 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 5112159 0 0 4096 0 0 0 0 17 0 0 0
/proc/3970/statm: 9400 8903 205 16 0 8839 0
Current children cumulated CPU time (s) 1361.41
Current children cumulated vsize (KiB) 37600

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 3973
/proc/meminfo: memFree=1800560/2055920 swapFree=4163572/4192956
[pid=3970] ppid=3968 vsize=37724 CPUtime=1421.38
/proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 8979 0 3 0 142012 126 0 0 25 0 1 0 252331446 38629376 8942 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 0 0 0
/proc/3970/statm: 9431 8942 205 16 0 8870 0
Current children cumulated CPU time (s) 1421.38
Current children cumulated vsize (KiB) 37724

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3973
/proc/meminfo: memFree=1800560/2055920 swapFree=4163572/4192956
[pid=3970] ppid=3968 vsize=37724 CPUtime=1481.34
/proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 8984 0 3 0 148003 131 0 0 25 0 1 0 252331446 38629376 8947 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 0 0 0
/proc/3970/statm: 9431 8947 205 16 0 8870 0
Current children cumulated CPU time (s) 1481.34
Current children cumulated vsize (KiB) 37724

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3973
/proc/meminfo: memFree=1800304/2055920 swapFree=4163572/4192956
[pid=3970] ppid=3968 vsize=37856 CPUtime=1541.3
/proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 9026 0 3 0 153994 136 0 0 25 0 1 0 252331446 38764544 8989 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 0 0 0
/proc/3970/statm: 9464 8989 205 16 0 8903 0
Current children cumulated CPU time (s) 1541.3
Current children cumulated vsize (KiB) 37856

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3973
/proc/meminfo: memFree=1800112/2055920 swapFree=4163572/4192956
[pid=3970] ppid=3968 vsize=38144 CPUtime=1601.26
/proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 9065 0 3 0 159986 140 0 0 25 0 1 0 252331446 39059456 9028 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527841 0 0 4096 0 0 0 0 17 0 0 0
/proc/3970/statm: 9536 9028 205 16 0 8975 0
Current children cumulated CPU time (s) 1601.26
Current children cumulated vsize (KiB) 38144

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3973
/proc/meminfo: memFree=1799728/2055920 swapFree=4163572/4192956
[pid=3970] ppid=3968 vsize=38396 CPUtime=1661.22
/proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 9141 0 3 0 165977 145 0 0 25 0 1 0 252331446 39317504 9104 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134518193 0 0 4096 0 0 0 0 17 0 0 0
/proc/3970/statm: 9599 9104 205 16 0 9038 0
Current children cumulated CPU time (s) 1661.22
Current children cumulated vsize (KiB) 38396

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3973
/proc/meminfo: memFree=1799664/2055920 swapFree=4163572/4192956
[pid=3970] ppid=3968 vsize=38384 CPUtime=1721.17
/proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 9141 0 3 0 171966 151 0 0 25 0 1 0 252331446 39305216 9104 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528320 0 0 4096 0 0 0 0 17 0 0 0
/proc/3970/statm: 9596 9104 205 16 0 9035 0
Current children cumulated CPU time (s) 1721.17
Current children cumulated vsize (KiB) 38384

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3973
/proc/meminfo: memFree=1797808/2055920 swapFree=4163572/4192956
[pid=3970] ppid=3968 vsize=40072 CPUtime=1781.13
/proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 9567 0 3 0 177957 156 0 0 25 0 1 0 252331446 41033728 9530 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517916 0 0 4096 0 0 0 0 17 0 0 0
/proc/3970/statm: 10018 9530 205 16 0 9457 0
Current children cumulated CPU time (s) 1781.13
Current children cumulated vsize (KiB) 40072

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

[startup+1783.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3973
/proc/meminfo: memFree=1797808/2055920 swapFree=4163572/4192956
[pid=3970] ppid=3968 vsize=40072 CPUtime=1781.94
/proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 9567 0 3 0 178037 157 0 0 25 0 1 0 252331446 41033728 9530 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 0 0 0
/proc/3970/statm: 10018 9530 205 16 0 9457 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 40072

[startup+1783.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3973
/proc/meminfo: memFree=1797808/2055920 swapFree=4163572/4192956
[pid=3970] ppid=3968 vsize=40072 CPUtime=1782.34
/proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 9567 0 3 0 178077 157 0 0 25 0 1 0 252331446 41033728 9530 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 0 0 0
/proc/3970/statm: 10018 9530 205 16 0 9457 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 40072

[startup+1783.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3973
/proc/meminfo: memFree=1797808/2055920 swapFree=4163572/4192956
[pid=3970] ppid=3968 vsize=40072 CPUtime=1782.54
/proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 9567 0 3 0 178097 157 0 0 25 0 1 0 252331446 41033728 9530 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 0 0 0
/proc/3970/statm: 10018 9530 205 16 0 9457 0
Current children cumulated CPU time (s) 1782.54
Current children cumulated vsize (KiB) 40072

[startup+1783.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3973
/proc/meminfo: memFree=1797808/2055920 swapFree=4163572/4192956
[pid=3970] ppid=3968 vsize=40072 CPUtime=1782.64
/proc/3970/stat : 3970 (Pueblo) R 3968 3970 21874 0 -1 4194304 9567 0 3 0 178107 157 0 0 25 0 1 0 252331446 41033728 9530 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134557290 0 0 4096 0 0 0 0 17 0 0 0
/proc/3970/statm: 10018 9530 205 16 0 9457 0
Current children cumulated CPU time (s) 1782.64
Current children cumulated vsize (KiB) 40072

Child status: 10
Real time (s): 1783.9
CPU time (s): 1782.74
CPU user time (s): 1781.16
CPU system time (s): 1.57776
CPU usage (%): 99.9349
Max. virtual memory (cumulated for all children) (KiB): 40072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.16
system time used= 1.57776
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9574
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22
involuntary context switches= 35116

runsolver used 1.68474 second user time and 4.81127 second system time

The end

Launcher Data (download as text)

Begin job on node22 on Tue May  1 18:28:57 UTC 2007

IDJOB= 455477
IDBENCH= 48266
IDSOLVER= 165
FILE ID= node22/455477-1178044137

PBS_JOBID= 4728411

Free space on /tmp= 66562 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_5.opb
COMMAND LINE= Pueblo /tmp/evaluation/455477-1178044137/instance-455477-1178044137.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node22/convwatcher-455477-1178044137 -o ROOT/results/node22/conversion-455477-1178044137 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/455477-1178044137/instance-455477-1178044137.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  996170804397234947041ed4d87d3aa0

RANDOM SEED= 931940731

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.265
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.265
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:       1837392 kB
Buffers:         61124 kB
Cached:          59772 kB
SwapCached:       7080 kB
Active:          64444 kB
Inactive:        86892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1837392 kB
SwapTotal:     4192956 kB
SwapFree:      4163572 kB
Dirty:            2680 kB
Writeback:           0 kB
Mapped:          35304 kB
Slab:            52804 kB
Committed_AS:  4081608 kB
PageTables:       1696 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66562 MiB

End job on node22 on Tue May  1 18:58:42 UTC 2007