Trace number 455552

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.77 1783.36

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_2.opb
MD5SUMb5a23f46b7c8ffe564ae87cb51d69480
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.06
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)4984
Sum of products size (including duplicates)9968
Number of different products2492
Sum of products size4984

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

Verifier Data (download as text)

OK	-47

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/455552-1178045424/instance-455552-1178045424.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node11/watcher-455552-1178045424 -o ROOT/results/node11/solver-455552-1178045424 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/455552-1178045424/instance-455552-1178045424.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.71 0.91 0.96 3/77 2607
/proc/meminfo: memFree=1790536/2055920 swapFree=4147120/4192956
[pid=2607] ppid=2605 vsize=2552 CPUtime=0
/proc/2607/stat : 2607 (Pueblo) R 2605 2607 2456 0 -1 4194304 263 0 0 0 0 0 0 0 18 0 1 0 245591342 2613248 234 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 8244807 0 0 4096 0 0 0 0 17 1 0 0
/proc/2607/statm: 638 235 199 16 0 77 0

[startup+0.021494 s]
/proc/loadavg: 0.71 0.91 0.96 3/77 2607
/proc/meminfo: memFree=1790536/2055920 swapFree=4147120/4192956
[pid=2607] ppid=2605 vsize=2816 CPUtime=0.01
/proc/2607/stat : 2607 (Pueblo) R 2605 2607 2456 0 -1 4194304 347 0 0 0 1 0 0 0 18 0 1 0 245591342 2883584 318 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 8445655 0 0 4096 0 0 0 0 17 1 0 0
/proc/2607/statm: 704 318 199 16 0 143 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2816

[startup+0.101505 s]
/proc/loadavg: 0.71 0.91 0.96 3/77 2607
/proc/meminfo: memFree=1790536/2055920 swapFree=4147120/4192956
[pid=2607] ppid=2605 vsize=4408 CPUtime=0.09
/proc/2607/stat : 2607 (Pueblo) R 2605 2607 2456 0 -1 4194304 730 0 0 0 9 0 0 0 18 0 1 0 245591342 4513792 701 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 8414843 0 0 4096 0 0 0 0 17 1 0 0
/proc/2607/statm: 1102 701 203 16 0 541 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4408

[startup+0.301527 s]
/proc/loadavg: 0.71 0.91 0.96 3/77 2607
/proc/meminfo: memFree=1790536/2055920 swapFree=4147120/4192956
[pid=2607] ppid=2605 vsize=4808 CPUtime=0.29
/proc/2607/stat : 2607 (Pueblo) R 2605 2607 2456 0 -1 4194304 827 0 0 0 28 1 0 0 19 0 1 0 245591342 4923392 798 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2607/statm: 1202 798 205 16 0 641 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4808

[startup+0.701574 s]
/proc/loadavg: 0.71 0.91 0.96 3/77 2607
/proc/meminfo: memFree=1790536/2055920 swapFree=4147120/4192956
[pid=2607] ppid=2605 vsize=5076 CPUtime=0.69
/proc/2607/stat : 2607 (Pueblo) R 2605 2607 2456 0 -1 4194304 904 0 0 0 68 1 0 0 23 0 1 0 245591342 5197824 875 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2607/statm: 1269 875 205 16 0 708 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5076

[startup+1.50167 s]
/proc/loadavg: 0.71 0.91 0.96 2/78 2608
/proc/meminfo: memFree=1786944/2055920 swapFree=4147120/4192956
[pid=2607] ppid=2605 vsize=7936 CPUtime=1.49
/proc/2607/stat : 2607 (Pueblo) R 2605 2607 2456 0 -1 4194304 1599 0 0 0 148 1 0 0 25 0 1 0 245591342 8126464 1570 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2607/statm: 1984 1570 205 16 0 1423 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7936

[startup+3.10186 s]
/proc/loadavg: 0.71 0.91 0.96 2/78 2608
/proc/meminfo: memFree=1783104/2055920 swapFree=4147120/4192956
[pid=2607] ppid=2605 vsize=11172 CPUtime=3.09
/proc/2607/stat : 2607 (Pueblo) R 2605 2607 2456 0 -1 4194304 2408 0 0 0 307 2 0 0 25 0 1 0 245591342 11440128 2379 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/2607/statm: 2793 2379 205 16 0 2232 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11172

[startup+6.30124 s]
/proc/loadavg: 0.73 0.91 0.96 2/78 2608
/proc/meminfo: memFree=1781056/2055920 swapFree=4147120/4192956
[pid=2607] ppid=2605 vsize=13392 CPUtime=6.29
/proc/2607/stat : 2607 (Pueblo) R 2605 2607 2456 0 -1 4194304 2981 0 0 0 626 3 0 0 25 0 1 0 245591342 13713408 2952 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2607/statm: 3348 2952 205 16 0 2787 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13392

[startup+12.702 s]
/proc/loadavg: 0.76 0.91 0.96 2/78 2608
/proc/meminfo: memFree=1777408/2055920 swapFree=4147120/4192956
[pid=2607] ppid=2605 vsize=15968 CPUtime=12.68
/proc/2607/stat : 2607 (Pueblo) R 2605 2607 2456 0 -1 4194304 3599 0 0 0 1265 3 0 0 25 0 1 0 245591342 16351232 3570 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2607/statm: 3992 3570 205 16 0 3431 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 15968

[startup+25.5015 s]
/proc/loadavg: 0.81 0.91 0.96 2/78 2608
/proc/meminfo: memFree=1775744/2055920 swapFree=4147120/4192956
[pid=2607] ppid=2605 vsize=16908 CPUtime=25.48
/proc/2607/stat : 2607 (Pueblo) R 2605 2607 2456 0 -1 4194304 3856 0 0 0 2543 5 0 0 25 0 1 0 245591342 17313792 3827 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134557279 0 0 4096 0 0 0 0 17 1 0 0
/proc/2607/statm: 4227 3827 205 16 0 3666 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 16908

[startup+51.1015 s]
/proc/loadavg: 0.87 0.92 0.96 2/78 2608
/proc/meminfo: memFree=1774464/2055920 swapFree=4147120/4192956
[pid=2607] ppid=2605 vsize=18200 CPUtime=51.08
/proc/2607/stat : 2607 (Pueblo) R 2605 2607 2456 0 -1 4194304 4174 0 0 0 5099 9 0 0 25 0 1 0 245591342 18636800 4145 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/2607/statm: 4550 4145 205 16 0 3989 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 18200

[startup+102.305 s]
/proc/loadavg: 0.94 0.93 0.96 2/78 2608
/proc/meminfo: memFree=1771776/2055920 swapFree=4147120/4192956
[pid=2607] ppid=2605 vsize=20940 CPUtime=102.27
/proc/2607/stat : 2607 (Pueblo) R 2605 2607 2456 0 -1 4194304 4843 0 0 0 10213 14 0 0 25 0 1 0 245591342 21442560 4814 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517890 0 0 4096 0 0 0 0 17 1 0 0
/proc/2607/statm: 5235 4814 205 16 0 4674 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 20940

[startup+162.302 s]
/proc/loadavg: 0.98 0.94 0.96 2/78 2608
/proc/meminfo: memFree=1770112/2055920 swapFree=4147120/4192956
[pid=2607] ppid=2605 vsize=22604 CPUtime=162.24
/proc/2607/stat : 2607 (Pueblo) R 2605 2607 2456 0 -1 4194304 5253 0 0 0 16206 18 0 0 25 0 1 0 245591342 23146496 5224 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2607/statm: 5651 5224 205 16 0 5090 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 22604

[startup+222.302 s]
/proc/loadavg: 0.99 0.95 0.96 2/78 2608
/proc/meminfo: memFree=1769600/2055920 swapFree=4147120/4192956
[pid=2607] ppid=2605 vsize=23028 CPUtime=222.24
/proc/2607/stat : 2607 (Pueblo) R 2605 2607 2456 0 -1 4194304 5370 0 0 0 22197 27 0 0 25 0 1 0 245591342 23580672 5341 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0
/proc/2607/statm: 5757 5341 205 16 0 5196 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 23028

[startup+282.302 s]
/proc/loadavg: 0.99 0.95 0.96 2/78 2608
/proc/meminfo: memFree=1768128/2055920 swapFree=4147120/4192956
[pid=2607] ppid=2605 vsize=24556 CPUtime=282.22
/proc/2607/stat : 2607 (Pueblo) R 2605 2607 2456 0 -1 4194304 5741 0 0 0 28184 38 0 0 25 0 1 0 245591342 25145344 5712 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2607/statm: 6139 5712 205 16 0 5578 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 24556

[startup+342.302 s]
/proc/loadavg: 0.99 0.96 0.96 2/78 2608
/proc/meminfo: memFree=1768072/2055920 swapFree=4147120/4192956
[pid=2607] ppid=2605 vsize=24492 CPUtime=342.2
/proc/2607/stat : 2607 (Pueblo) R 2605 2607 2456 0 -1 4194304 5742 0 0 0 34167 53 0 0 25 0 1 0 245591342 25079808 5713 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2607/statm: 6123 5713 205 16 0 5562 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 24492

[startup+402.301 s]
/proc/loadavg: 0.99 0.96 0.96 2/78 2608
/proc/meminfo: memFree=1768072/2055920 swapFree=4147120/4192956
[pid=2607] ppid=2605 vsize=24492 CPUtime=402.18
/proc/2607/stat : 2607 (Pueblo) R 2605 2607 2456 0 -1 4194304 5742 0 0 0 40154 64 0 0 25 0 1 0 245591342 25079808 5713 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/2607/statm: 6123 5713 205 16 0 5562 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 24492

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 2608
/proc/meminfo: memFree=1768200/2055920 swapFree=4147120/4192956
[pid=2607] ppid=2605 vsize=24492 CPUtime=462.16
/proc/2607/stat : 2607 (Pueblo) R 2605 2607 2456 0 -1 4194304 5742 0 0 0 46140 76 0 0 25 0 1 0 245591342 25079808 5713 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528061 0 0 4096 0 0 0 0 17 1 0 0
/proc/2607/statm: 6123 5713 205 16 0 5562 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 24492

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 2608
/proc/meminfo: memFree=1767112/2055920 swapFree=4147120/4192956
[pid=2607] ppid=2605 vsize=25540 CPUtime=522.15
/proc/2607/stat : 2607 (Pueblo) R 2605 2607 2456 0 -1 4194304 5994 0 0 0 52129 86 0 0 25 0 1 0 245591342 26152960 5965 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2607/statm: 6385 5965 205 16 0 5824 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 25540

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 2608
/proc/meminfo: memFree=1766152/2055920 swapFree=4147120/4192956
[pid=2607] ppid=2605 vsize=26576 CPUtime=582.13
/proc/2607/stat : 2607 (Pueblo) R 2605 2607 2456 0 -1 4194304 6238 0 0 0 58119 94 0 0 25 0 1 0 245591342 27213824 6209 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2607/statm: 6644 6209 205 16 0 6083 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 26576

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/84 2674
/proc/meminfo: memFree=1763024/2055920 swapFree=4147120/4192956
[pid=2607] ppid=2605 vsize=28388 CPUtime=642.09
/proc/2607/stat : 2607 (Pueblo) R 2605 2607 2456 0 -1 4194304 6708 0 0 0 64104 105 0 0 25 0 1 0 245591342 29069312 6679 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2607/statm: 7097 6679 205 16 0 6536 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 28388


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

/proc/meminfo: memFree=1761672/2055920 swapFree=4147120/4192956
[pid=2607] ppid=2605 vsize=30728 CPUtime=821.97
/proc/2607/stat : 2607 (Pueblo) R 2605 2607 2456 0 -1 4194304 7300 0 0 0 82065 132 0 0 25 0 1 0 245591342 31465472 7271 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/2607/statm: 7682 7271 205 16 0 7121 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 30728

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 2806
/proc/meminfo: memFree=1761672/2055920 swapFree=4147120/4192956
[pid=2607] ppid=2605 vsize=30728 CPUtime=881.95
/proc/2607/stat : 2607 (Pueblo) R 2605 2607 2456 0 -1 4194304 7300 0 0 0 88052 143 0 0 25 0 1 0 245591342 31465472 7271 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2607/statm: 7682 7271 205 16 0 7121 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 30728

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 2806
/proc/meminfo: memFree=1761800/2055920 swapFree=4147120/4192956
[pid=2607] ppid=2605 vsize=30728 CPUtime=941.93
/proc/2607/stat : 2607 (Pueblo) R 2605 2607 2456 0 -1 4194304 7301 0 0 0 94039 154 0 0 25 0 1 0 245591342 31465472 7272 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0
/proc/2607/statm: 7682 7272 205 16 0 7121 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 30728

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 2806
/proc/meminfo: memFree=1761800/2055920 swapFree=4147120/4192956
[pid=2607] ppid=2605 vsize=30728 CPUtime=1001.91
/proc/2607/stat : 2607 (Pueblo) R 2605 2607 2456 0 -1 4194304 7301 0 0 0 100026 165 0 0 25 0 1 0 245591342 31465472 7272 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527613 0 0 4096 0 0 0 0 17 1 0 0
/proc/2607/statm: 7682 7272 205 16 0 7121 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 30728

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 2806
/proc/meminfo: memFree=1761800/2055920 swapFree=4147120/4192956
[pid=2607] ppid=2605 vsize=30728 CPUtime=1061.9
/proc/2607/stat : 2607 (Pueblo) R 2605 2607 2456 0 -1 4194304 7301 0 0 0 106014 176 0 0 25 0 1 0 245591342 31465472 7272 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2607/statm: 7682 7272 205 16 0 7121 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 30728

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 2806
/proc/meminfo: memFree=1761800/2055920 swapFree=4147120/4192956
[pid=2607] ppid=2605 vsize=30728 CPUtime=1121.89
/proc/2607/stat : 2607 (Pueblo) R 2605 2607 2456 0 -1 4194304 7301 0 0 0 112006 183 0 0 25 0 1 0 245591342 31465472 7272 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2607/statm: 7682 7272 205 16 0 7121 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 30728

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 2806
/proc/meminfo: memFree=1761800/2055920 swapFree=4147120/4192956
[pid=2607] ppid=2605 vsize=30728 CPUtime=1181.86
/proc/2607/stat : 2607 (Pueblo) R 2605 2607 2456 0 -1 4194304 7302 0 0 0 117995 191 0 0 25 0 1 0 245591342 31465472 7273 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0
/proc/2607/statm: 7682 7273 205 16 0 7121 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 30728

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 2806
/proc/meminfo: memFree=1759624/2055920 swapFree=4147120/4192956
[pid=2607] ppid=2605 vsize=33100 CPUtime=1241.85
/proc/2607/stat : 2607 (Pueblo) R 2605 2607 2456 0 -1 4194304 7872 0 0 0 123988 197 0 0 25 0 1 0 245591342 33894400 7843 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559243 0 0 4096 0 0 0 0 17 1 0 0
/proc/2607/statm: 8275 7843 205 16 0 7714 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 33100

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 2806
/proc/meminfo: memFree=1759560/2055920 swapFree=4147120/4192956
[pid=2607] ppid=2605 vsize=33084 CPUtime=1301.83
/proc/2607/stat : 2607 (Pueblo) R 2605 2607 2456 0 -1 4194304 7872 0 0 0 129977 206 0 0 25 0 1 0 245591342 33878016 7843 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528256 0 0 4096 0 0 0 0 17 1 0 0
/proc/2607/statm: 8271 7843 205 16 0 7710 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 33084

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 2806
/proc/meminfo: memFree=1759624/2055920 swapFree=4147120/4192956
[pid=2607] ppid=2605 vsize=33076 CPUtime=1361.82
/proc/2607/stat : 2607 (Pueblo) R 2605 2607 2456 0 -1 4194304 7872 0 0 0 135963 219 0 0 25 0 1 0 245591342 33869824 7843 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0
/proc/2607/statm: 8269 7843 205 16 0 7708 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 33076

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 2806
/proc/meminfo: memFree=1759560/2055920 swapFree=4147120/4192956
[pid=2607] ppid=2605 vsize=33076 CPUtime=1421.8
/proc/2607/stat : 2607 (Pueblo) R 2605 2607 2456 0 -1 4194304 7872 0 0 0 141953 227 0 0 25 0 1 0 245591342 33869824 7843 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519949 0 0 4096 0 0 0 0 17 1 0 0
/proc/2607/statm: 8269 7843 205 16 0 7708 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 33076

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 2806
/proc/meminfo: memFree=1759624/2055920 swapFree=4147120/4192956
[pid=2607] ppid=2605 vsize=33076 CPUtime=1481.78
/proc/2607/stat : 2607 (Pueblo) R 2605 2607 2456 0 -1 4194304 7872 0 0 0 147943 235 0 0 25 0 1 0 245591342 33869824 7843 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2607/statm: 8269 7843 205 16 0 7708 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 33076

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 2806
/proc/meminfo: memFree=1759560/2055920 swapFree=4147120/4192956
[pid=2607] ppid=2605 vsize=33076 CPUtime=1541.77
/proc/2607/stat : 2607 (Pueblo) R 2605 2607 2456 0 -1 4194304 7872 0 0 0 153934 243 0 0 25 0 1 0 245591342 33869824 7843 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2607/statm: 8269 7843 205 16 0 7708 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 33076

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 2806
/proc/meminfo: memFree=1759624/2055920 swapFree=4147120/4192956
[pid=2607] ppid=2605 vsize=33076 CPUtime=1601.75
/proc/2607/stat : 2607 (Pueblo) R 2605 2607 2456 0 -1 4194304 7872 0 0 0 159924 251 0 0 25 0 1 0 245591342 33869824 7843 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2607/statm: 8269 7843 205 16 0 7708 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 33076

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 2806
/proc/meminfo: memFree=1759624/2055920 swapFree=4147120/4192956
[pid=2607] ppid=2605 vsize=33076 CPUtime=1661.73
/proc/2607/stat : 2607 (Pueblo) R 2605 2607 2456 0 -1 4194304 7872 0 0 0 165910 263 0 0 25 0 1 0 245591342 33869824 7843 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2607/statm: 8269 7843 205 16 0 7708 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 33076

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.96 3/78 2806
/proc/meminfo: memFree=1759624/2055920 swapFree=4147120/4192956
[pid=2607] ppid=2605 vsize=33076 CPUtime=1721.72
/proc/2607/stat : 2607 (Pueblo) R 2605 2607 2456 0 -1 4194304 7872 0 0 0 171900 272 0 0 25 0 1 0 245591342 33869824 7843 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2607/statm: 8269 7843 205 16 0 7708 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 33076

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 2806
/proc/meminfo: memFree=1759624/2055920 swapFree=4147120/4192956
[pid=2607] ppid=2605 vsize=33076 CPUtime=1781.7
/proc/2607/stat : 2607 (Pueblo) R 2605 2607 2456 0 -1 4194304 7873 0 0 0 177889 281 0 0 25 0 1 0 245591342 33869824 7844 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2607/statm: 8269 7844 205 16 0 7708 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 33076

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

[startup+1783.11 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 2806
/proc/meminfo: memFree=1759624/2055920 swapFree=4147120/4192956
[pid=2607] ppid=2605 vsize=33076 CPUtime=1782.5
/proc/2607/stat : 2607 (Pueblo) R 2605 2607 2456 0 -1 4194304 7873 0 0 0 177969 281 0 0 25 0 1 0 245591342 33869824 7844 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2607/statm: 8269 7844 205 16 0 7708 0
Current children cumulated CPU time (s) 1782.5
Current children cumulated vsize (KiB) 33076

[startup+1783.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 2806
/proc/meminfo: memFree=1759624/2055920 swapFree=4147120/4192956
[pid=2607] ppid=2605 vsize=33076 CPUtime=1782.71
/proc/2607/stat : 2607 (Pueblo) R 2605 2607 2456 0 -1 4194304 7873 0 0 0 177989 282 0 0 25 0 1 0 245591342 33869824 7844 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0
/proc/2607/statm: 8269 7844 205 16 0 7708 0
Current children cumulated CPU time (s) 1782.71
Current children cumulated vsize (KiB) 33076

Child status: 10
Real time (s): 1783.36
CPU time (s): 1782.77
CPU user time (s): 1779.94
CPU system time (s): 2.82657
CPU usage (%): 99.9669
Max. virtual memory (cumulated for all children) (KiB): 33104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1779.94
system time used= 2.82657
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7880
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16
involuntary context switches= 37990

runsolver used 1.39079 second user time and 3.82242 second system time

The end

Launcher Data (download as text)

Begin job on node11 on Tue May  1 18:50:24 UTC 2007

IDJOB= 455552
IDBENCH= 48271
IDSOLVER= 165
FILE ID= node11/455552-1178045424

PBS_JOBID= 4728469

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_2.opb
COMMAND LINE= Pueblo /tmp/evaluation/455552-1178045424/instance-455552-1178045424.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node11/convwatcher-455552-1178045424 -o ROOT/results/node11/conversion-455552-1178045424 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/455552-1178045424/instance-455552-1178045424.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  b5a23f46b7c8ffe564ae87cb51d69480

RANDOM SEED= 629727430

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node11.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.235
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.235
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:       1791008 kB
Buffers:         63668 kB
Cached:         109716 kB
SwapCached:      14160 kB
Active:         123604 kB
Inactive:        74432 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1791008 kB
SwapTotal:     4192956 kB
SwapFree:      4147120 kB
Dirty:            2796 kB
Writeback:           0 kB
Mapped:          29776 kB
Slab:            52312 kB
Committed_AS:  7133584 kB
PageTables:       1848 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 node11 on Tue May  1 19:20:08 UTC 2007