Trace number 453152

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.4SAT5 1782.73 1783.22

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_25_1.opb
MD5SUMaa10899bd7f711370f6ef9f1251ce7f2
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark61.3037
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint26
Maximum length of a constraint44
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)3038
Sum of products size (including duplicates)6076
Number of different products3038
Sum of products size6076

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

Verifier Data (download as text)

OK	5

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/453152-1178119168/instance-453152-1178119168.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-453152-1178119168 -o ROOT/results/node11/solver-453152-1178119168 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/453152-1178119168/instance-453152-1178119168.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.97 0.98 0.99 3/77 19386
/proc/meminfo: memFree=1838256/2055920 swapFree=4147120/4192956
[pid=19386] ppid=19384 vsize=2552 CPUtime=0
/proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 267 0 0 0 0 0 0 0 18 0 1 0 252965722 2613248 238 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 8445655 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 638 238 199 16 0 77 0

[startup+0.022325 s]
/proc/loadavg: 0.97 0.98 0.99 3/77 19386
/proc/meminfo: memFree=1838256/2055920 swapFree=4147120/4192956
[pid=19386] ppid=19384 vsize=2952 CPUtime=0.01
/proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 364 0 0 0 1 0 0 0 18 0 1 0 252965722 3022848 335 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 738 335 199 16 0 177 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2952

[startup+0.102335 s]
/proc/loadavg: 0.97 0.98 0.99 3/77 19386
/proc/meminfo: memFree=1838256/2055920 swapFree=4147120/4192956
[pid=19386] ppid=19384 vsize=4136 CPUtime=0.09
/proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 670 0 0 0 9 0 0 0 18 0 1 0 252965722 4235264 641 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 8414843 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 1034 641 203 16 0 473 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4136

[startup+0.302358 s]
/proc/loadavg: 0.97 0.98 0.99 3/77 19386
/proc/meminfo: memFree=1838256/2055920 swapFree=4147120/4192956
[pid=19386] ppid=19384 vsize=4932 CPUtime=0.29
/proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 842 0 0 0 29 0 0 0 19 0 1 0 252965722 5050368 813 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 1233 813 205 16 0 672 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4932

[startup+0.702415 s]
/proc/loadavg: 0.97 0.98 0.99 3/77 19386
/proc/meminfo: memFree=1838256/2055920 swapFree=4147120/4192956
[pid=19386] ppid=19384 vsize=5464 CPUtime=0.69
/proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 1005 0 0 0 69 0 0 0 22 0 1 0 252965722 5595136 976 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 1366 976 205 16 0 805 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5464

[startup+1.5015 s]
/proc/loadavg: 0.97 0.98 0.99 2/78 19387
/proc/meminfo: memFree=1834600/2055920 swapFree=4147120/4192956
[pid=19386] ppid=19384 vsize=6764 CPUtime=1.5
/proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 1326 0 0 0 149 1 0 0 25 0 1 0 252965722 6926336 1297 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 8414843 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 1691 1297 205 16 0 1130 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 6764

[startup+3.10169 s]
/proc/loadavg: 0.97 0.98 0.99 2/78 19387
/proc/meminfo: memFree=1832616/2055920 swapFree=4147120/4192956
[pid=19386] ppid=19384 vsize=8700 CPUtime=3.09
/proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 1799 0 0 0 308 1 0 0 25 0 1 0 252965722 8908800 1770 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 2175 1770 205 16 0 1614 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8700

[startup+6.30107 s]
/proc/loadavg: 0.97 0.98 0.99 2/78 19387
/proc/meminfo: memFree=1831720/2055920 swapFree=4147120/4192956
[pid=19386] ppid=19384 vsize=8700 CPUtime=6.29
/proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 1800 0 0 0 627 2 0 0 25 0 1 0 252965722 8908800 1771 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 2175 1771 205 16 0 1614 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8700

[startup+12.7018 s]
/proc/loadavg: 0.97 0.98 0.99 2/78 19387
/proc/meminfo: memFree=1830320/2055920 swapFree=4147120/4192956
[pid=19386] ppid=19384 vsize=10112 CPUtime=12.69
/proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 2148 0 0 0 1266 3 0 0 25 0 1 0 252965722 10354688 2119 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527737 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 2528 2119 205 16 0 1967 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10112

[startup+25.5013 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 19387
/proc/meminfo: memFree=1828976/2055920 swapFree=4147120/4192956
[pid=19386] ppid=19384 vsize=11476 CPUtime=25.48
/proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 2497 0 0 0 2544 4 0 0 25 0 1 0 252965722 11751424 2468 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 2869 2468 205 16 0 2308 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 11476

[startup+51.1014 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 19387
/proc/meminfo: memFree=1829040/2055920 swapFree=4147120/4192956
[pid=19386] ppid=19384 vsize=11476 CPUtime=51.07
/proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 2498 0 0 0 5097 10 0 0 25 0 1 0 252965722 11751424 2469 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 2869 2469 205 16 0 2308 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 11476

[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19387
/proc/meminfo: memFree=1826096/2055920 swapFree=4147120/4192956
[pid=19386] ppid=19384 vsize=14532 CPUtime=102.27
/proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 3243 0 0 0 10208 19 0 0 25 0 1 0 252965722 14880768 3214 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528560 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 3633 3214 205 16 0 3072 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 14532

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19387
/proc/meminfo: memFree=1821744/2055920 swapFree=4147120/4192956
[pid=19386] ppid=19384 vsize=18716 CPUtime=162.25
/proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 4317 0 0 0 16198 27 0 0 25 0 1 0 252965722 19165184 4288 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527841 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 4679 4288 205 16 0 4118 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 18716

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19387
/proc/meminfo: memFree=1821872/2055920 swapFree=4147120/4192956
[pid=19386] ppid=19384 vsize=18348 CPUtime=222.23
/proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 4318 0 0 0 22187 36 0 0 25 0 1 0 252965722 18788352 4197 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 4587 4197 205 16 0 4026 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 18348

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19387
/proc/meminfo: memFree=1821872/2055920 swapFree=4147120/4192956
[pid=19386] ppid=19384 vsize=18348 CPUtime=282.21
/proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 4318 0 0 0 28175 46 0 0 25 0 1 0 252965722 18788352 4197 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134557723 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 4587 4197 205 16 0 4026 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 18348

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19387
/proc/meminfo: memFree=1821872/2055920 swapFree=4147120/4192956
[pid=19386] ppid=19384 vsize=18348 CPUtime=342.2
/proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 4319 0 0 0 34166 54 0 0 25 0 1 0 252965722 18788352 4198 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 4587 4198 205 16 0 4026 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 18348

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19387
/proc/meminfo: memFree=1821872/2055920 swapFree=4147120/4192956
[pid=19386] ppid=19384 vsize=18348 CPUtime=402.18
/proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 4319 0 0 0 40155 63 0 0 25 0 1 0 252965722 18788352 4198 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134524561 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 4587 4198 205 16 0 4026 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 18348

[startup+462.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19387
/proc/meminfo: memFree=1821872/2055920 swapFree=4147120/4192956
[pid=19386] ppid=19384 vsize=18348 CPUtime=462.17
/proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 4319 0 0 0 46145 72 0 0 25 0 1 0 252965722 18788352 4198 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 4587 4198 205 16 0 4026 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 18348

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19387
/proc/meminfo: memFree=1821872/2055920 swapFree=4147120/4192956
[pid=19386] ppid=19384 vsize=18348 CPUtime=522.15
/proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 4319 0 0 0 52134 81 0 0 25 0 1 0 252965722 18788352 4198 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 4587 4198 205 16 0 4026 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 18348

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 3/78 19387
/proc/meminfo: memFree=1821872/2055920 swapFree=4147120/4192956
[pid=19386] ppid=19384 vsize=18452 CPUtime=582.13
/proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 4323 0 0 0 58125 88 0 0 25 0 1 0 252965722 18894848 4202 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 4613 4202 205 16 0 4052 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 18452

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19387
/proc/meminfo: memFree=1811760/2055920 swapFree=4147120/4192956
[pid=19386] ppid=19384 vsize=28236 CPUtime=642.12
/proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 6876 0 0 0 64115 97 0 0 25 0 1 0 252965722 28913664 6671 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 7059 6671 205 16 0 6498 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 28236


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

/proc/meminfo: memFree=1811696/2055920 swapFree=4147120/4192956
[pid=19386] ppid=19384 vsize=28236 CPUtime=882.05
/proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 6902 0 0 0 88076 129 0 0 25 0 1 0 252965722 28913664 6671 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528630 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 7059 6671 205 16 0 6498 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 28236

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19387
/proc/meminfo: memFree=1810096/2055920 swapFree=4147120/4192956
[pid=19386] ppid=19384 vsize=29896 CPUtime=942.03
/proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 7309 0 0 0 94066 137 0 0 25 0 1 0 252965722 30613504 7078 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134557734 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 7474 7078 205 16 0 6913 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 29896

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19387
/proc/meminfo: memFree=1810096/2055920 swapFree=4147120/4192956
[pid=19386] ppid=19384 vsize=29824 CPUtime=1002.02
/proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 7309 0 0 0 100055 147 0 0 25 0 1 0 252965722 30539776 7068 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 7456 7068 205 16 0 6895 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 29824

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19387
/proc/meminfo: memFree=1810032/2055920 swapFree=4147120/4192956
[pid=19386] ppid=19384 vsize=29824 CPUtime=1062
/proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 7309 0 0 0 106044 156 0 0 25 0 1 0 252965722 30539776 7068 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 7456 7068 205 16 0 6895 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 29824

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19387
/proc/meminfo: memFree=1810032/2055920 swapFree=4147120/4192956
[pid=19386] ppid=19384 vsize=29824 CPUtime=1121.98
/proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 7309 0 0 0 112033 165 0 0 25 0 1 0 252965722 30539776 7068 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 7456 7068 205 16 0 6895 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 29824

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19387
/proc/meminfo: memFree=1810032/2055920 swapFree=4147120/4192956
[pid=19386] ppid=19384 vsize=29824 CPUtime=1181.97
/proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 7309 0 0 0 118024 173 0 0 25 0 1 0 252965722 30539776 7068 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 7456 7068 205 16 0 6895 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 29824

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19387
/proc/meminfo: memFree=1809968/2055920 swapFree=4147120/4192956
[pid=19386] ppid=19384 vsize=29824 CPUtime=1241.96
/proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 7309 0 0 0 124015 181 0 0 25 0 1 0 252965722 30539776 7068 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 7456 7068 205 16 0 6895 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 29824

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19387
/proc/meminfo: memFree=1809968/2055920 swapFree=4147120/4192956
[pid=19386] ppid=19384 vsize=29824 CPUtime=1301.94
/proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 7309 0 0 0 130006 188 0 0 25 0 1 0 252965722 30539776 7068 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528055 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 7456 7068 205 16 0 6895 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 29824

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19387
/proc/meminfo: memFree=1809904/2055920 swapFree=4147120/4192956
[pid=19386] ppid=19384 vsize=29824 CPUtime=1361.92
/proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 7309 0 0 0 135994 198 0 0 25 0 1 0 252965722 30539776 7068 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 7456 7068 205 16 0 6895 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 29824

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19387
/proc/meminfo: memFree=1809904/2055920 swapFree=4147120/4192956
[pid=19386] ppid=19384 vsize=29824 CPUtime=1421.91
/proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 7309 0 0 0 141984 207 0 0 25 0 1 0 252965722 30539776 7068 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 7456 7068 205 16 0 6895 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 29824

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19387
/proc/meminfo: memFree=1809840/2055920 swapFree=4147120/4192956
[pid=19386] ppid=19384 vsize=29824 CPUtime=1481.89
/proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 7309 0 0 0 147974 215 0 0 25 0 1 0 252965722 30539776 7068 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 7456 7068 205 16 0 6895 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 29824

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19387
/proc/meminfo: memFree=1809840/2055920 swapFree=4147120/4192956
[pid=19386] ppid=19384 vsize=29824 CPUtime=1541.87
/proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 7309 0 0 0 153964 223 0 0 25 0 1 0 252965722 30539776 7068 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 7456 7068 205 16 0 6895 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 29824

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19388
/proc/meminfo: memFree=1809648/2055920 swapFree=4147120/4192956
[pid=19386] ppid=19384 vsize=29824 CPUtime=1601.86
/proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 7309 0 0 0 159956 230 0 0 25 0 1 0 252965722 30539776 7068 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 7456 7068 205 16 0 6895 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 29824

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19389
/proc/meminfo: memFree=1809648/2055920 swapFree=4147120/4192956
[pid=19386] ppid=19384 vsize=29824 CPUtime=1661.84
/proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 7309 0 0 0 165945 239 0 0 25 0 1 0 252965722 30539776 7068 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 7456 7068 205 16 0 6895 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 29824

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19389
/proc/meminfo: memFree=1809584/2055920 swapFree=4147120/4192956
[pid=19386] ppid=19384 vsize=29824 CPUtime=1721.83
/proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 7309 0 0 0 171936 247 0 0 25 0 1 0 252965722 30539776 7068 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 7456 7068 205 16 0 6895 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 29824

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19389
/proc/meminfo: memFree=1809584/2055920 swapFree=4147120/4192956
[pid=19386] ppid=19384 vsize=29824 CPUtime=1781.81
/proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 7310 0 0 0 177928 253 0 0 25 0 1 0 252965722 30539776 7069 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 7456 7069 205 16 0 6895 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 29824

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

[startup+1782.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19389
/proc/meminfo: memFree=1809584/2055920 swapFree=4147120/4192956
[pid=19386] ppid=19384 vsize=29824 CPUtime=1782.2
/proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 7310 0 0 0 177967 253 0 0 25 0 1 0 252965722 30539776 7069 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 8418253 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 7456 7069 205 16 0 6895 0
Current children cumulated CPU time (s) 1782.2
Current children cumulated vsize (KiB) 29824

[startup+1783.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19389
/proc/meminfo: memFree=1809584/2055920 swapFree=4147120/4192956
[pid=19386] ppid=19384 vsize=29824 CPUtime=1782.61
/proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 7310 0 0 0 178008 253 0 0 25 0 1 0 252965722 30539776 7069 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 7456 7069 205 16 0 6895 0
Current children cumulated CPU time (s) 1782.61
Current children cumulated vsize (KiB) 29824

[startup+1783.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19389
/proc/meminfo: memFree=1809584/2055920 swapFree=4147120/4192956
[pid=19386] ppid=19384 vsize=29824 CPUtime=1782.7
/proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 7310 0 0 0 178017 253 0 0 25 0 1 0 252965722 30539776 7069 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134559221 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 7456 7069 205 16 0 6895 0
Current children cumulated CPU time (s) 1782.7
Current children cumulated vsize (KiB) 29824

Child status: 10
Real time (s): 1783.22
CPU time (s): 1782.73
CPU user time (s): 1780.19
CPU system time (s): 2.54461
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 29896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.19
system time used= 2.54461
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7317
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= 3932

runsolver used 1.3438 second user time and 3.80342 second system time

The end

Launcher Data (download as text)

Begin job on node11 on Wed May  2 15:19:28 UTC 2007

IDJOB= 453152
IDBENCH= 48111
IDSOLVER= 165
FILE ID= node11/453152-1178119168

PBS_JOBID= 4751015

Free space on /tmp= 66562 MiB

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

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

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  aa10899bd7f711370f6ef9f1251ce7f2

RANDOM SEED= 154345964

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:       1838728 kB
Buffers:         75416 kB
Cached:          55144 kB
SwapCached:      14280 kB
Active:          67104 kB
Inactive:        92084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1838728 kB
SwapTotal:     4192956 kB
SwapFree:      4147120 kB
Dirty:            2504 kB
Writeback:           0 kB
Mapped:          35280 kB
Slab:            43456 kB
Committed_AS:  7292636 kB
PageTables:       1864 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 Wed May  2 15:49:11 UTC 2007