Trace number 453797

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.74 1783.48

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_25_3.opb
MD5SUMcdb29f44159b0b72729019e0c0db0b8a
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 benchmark133.502
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 constraint46
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)3090
Sum of products size (including duplicates)6180
Number of different products3090
Sum of products size6180

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

Verifier Data (download as text)

OK	5

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/453797-1178157234/instance-453797-1178157234.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node6/watcher-453797-1178157234 -o ROOT/results/node6/solver-453797-1178157234 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/453797-1178157234/instance-453797-1178157234.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.92 0.97 0.96 3/77 25374
/proc/meminfo: memFree=1801392/2055924 swapFree=4146580/4192956
[pid=25374] ppid=25372 vsize=2552 CPUtime=0
/proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 267 0 0 0 0 0 0 0 18 0 1 0 291761121 2613248 238 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134546570 0 0 4096 0 0 0 0 17 1 0 0
/proc/25374/statm: 638 238 199 16 0 77 0

[startup+0.0777601 s]
/proc/loadavg: 0.92 0.97 0.96 3/77 25374
/proc/meminfo: memFree=1801392/2055924 swapFree=4146580/4192956
[pid=25374] ppid=25372 vsize=3616 CPUtime=0.07
/proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 529 0 0 0 7 0 0 0 18 0 1 0 291761121 3702784 500 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 2653911 0 0 4096 0 0 0 0 17 1 0 0
/proc/25374/statm: 904 500 199 16 0 343 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3616

[startup+0.101762 s]
/proc/loadavg: 0.92 0.97 0.96 3/77 25374
/proc/meminfo: memFree=1801392/2055924 swapFree=4146580/4192956
[pid=25374] ppid=25372 vsize=4256 CPUtime=0.09
/proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 674 0 0 0 9 0 0 0 18 0 1 0 291761121 4358144 645 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134532444 0 0 4096 0 0 0 0 17 1 0 0
/proc/25374/statm: 1064 645 203 16 0 503 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4256

[startup+0.301786 s]
/proc/loadavg: 0.92 0.97 0.96 3/77 25374
/proc/meminfo: memFree=1801392/2055924 swapFree=4146580/4192956
[pid=25374] ppid=25372 vsize=4920 CPUtime=0.29
/proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 852 0 0 0 29 0 0 0 19 0 1 0 291761121 5038080 823 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25374/statm: 1230 823 205 16 0 669 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4920

[startup+0.701833 s]
/proc/loadavg: 0.92 0.97 0.96 3/77 25374
/proc/meminfo: memFree=1801392/2055924 swapFree=4146580/4192956
[pid=25374] ppid=25372 vsize=5692 CPUtime=0.69
/proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 1063 0 0 0 69 0 0 0 22 0 1 0 291761121 5828608 1034 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25374/statm: 1423 1034 205 16 0 862 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5692

[startup+1.50193 s]
/proc/loadavg: 0.92 0.97 0.96 2/78 25375
/proc/meminfo: memFree=1797416/2055924 swapFree=4146580/4192956
[pid=25374] ppid=25372 vsize=7240 CPUtime=1.48
/proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 1443 0 0 0 148 0 0 0 25 0 1 0 291761121 7413760 1414 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25374/statm: 1810 1414 205 16 0 1249 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 7240

[startup+3.10111 s]
/proc/loadavg: 0.92 0.97 0.96 2/78 25375
/proc/meminfo: memFree=1795432/2055924 swapFree=4146580/4192956
[pid=25374] ppid=25372 vsize=8940 CPUtime=3.09
/proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 1860 0 0 0 308 1 0 0 25 0 1 0 291761121 9154560 1831 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25374/statm: 2235 1831 205 16 0 1674 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8940

[startup+6.30149 s]
/proc/loadavg: 0.93 0.97 0.96 2/78 25375
/proc/meminfo: memFree=1793704/2055924 swapFree=4146580/4192956
[pid=25374] ppid=25372 vsize=10000 CPUtime=6.29
/proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 2124 0 0 0 627 2 0 0 25 0 1 0 291761121 10240000 2095 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134557228 0 0 4096 0 0 0 0 17 1 0 0
/proc/25374/statm: 2500 2095 205 16 0 1939 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10000

[startup+12.7012 s]
/proc/loadavg: 0.93 0.97 0.96 2/78 25375
/proc/meminfo: memFree=1792104/2055924 swapFree=4146580/4192956
[pid=25374] ppid=25372 vsize=12184 CPUtime=12.68
/proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 2663 0 0 0 1266 2 0 0 25 0 1 0 291761121 12476416 2634 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0
/proc/25374/statm: 3046 2634 205 16 0 2485 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 12184

[startup+25.5017 s]
/proc/loadavg: 0.95 0.97 0.96 2/78 25375
/proc/meminfo: memFree=1788392/2055924 swapFree=4146580/4192956
[pid=25374] ppid=25372 vsize=14964 CPUtime=25.48
/proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 3378 0 0 0 2544 4 0 0 25 0 1 0 291761121 15323136 3349 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134557388 0 0 4096 0 0 0 0 17 1 0 0
/proc/25374/statm: 3741 3349 205 16 0 3180 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 14964

[startup+51.1017 s]
/proc/loadavg: 0.96 0.97 0.96 2/78 25375
/proc/meminfo: memFree=1788520/2055924 swapFree=4146580/4192956
[pid=25374] ppid=25372 vsize=14964 CPUtime=51.07
/proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 3378 0 0 0 5099 8 0 0 25 0 1 0 291761121 15323136 3349 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25374/statm: 3741 3349 205 16 0 3180 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 14964

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.96 2/78 25375
/proc/meminfo: memFree=1788456/2055924 swapFree=4146580/4192956
[pid=25374] ppid=25372 vsize=14964 CPUtime=102.27
/proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 3378 0 0 0 10211 16 0 0 25 0 1 0 291761121 15323136 3349 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/25374/statm: 3741 3349 205 16 0 3180 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 14964

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 25375
/proc/meminfo: memFree=1788456/2055924 swapFree=4146580/4192956
[pid=25374] ppid=25372 vsize=14964 CPUtime=162.24
/proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 3378 0 0 0 16200 24 0 0 25 0 1 0 291761121 15323136 3349 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527607 0 0 4096 0 0 0 0 17 1 0 0
/proc/25374/statm: 3741 3349 205 16 0 3180 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 14964

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 25375
/proc/meminfo: memFree=1786600/2055924 swapFree=4146580/4192956
[pid=25374] ppid=25372 vsize=16712 CPUtime=222.23
/proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 3819 0 0 0 22190 33 0 0 25 0 1 0 291761121 17113088 3790 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25374/statm: 4178 3790 205 16 0 3617 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 16712

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 25375
/proc/meminfo: memFree=1785320/2055924 swapFree=4146580/4192956
[pid=25374] ppid=25372 vsize=17844 CPUtime=282.22
/proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 4151 0 0 0 28179 43 0 0 25 0 1 0 291761121 18272256 4076 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25374/statm: 4461 4076 205 16 0 3900 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 17844

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 25375
/proc/meminfo: memFree=1782824/2055924 swapFree=4146580/4192956
[pid=25374] ppid=25372 vsize=20784 CPUtime=342.2
/proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 4864 0 0 0 34169 51 0 0 25 0 1 0 291761121 21282816 4789 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25374/statm: 5196 4789 205 16 0 4635 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 20784

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 25375
/proc/meminfo: memFree=1777960/2055924 swapFree=4146580/4192956
[pid=25374] ppid=25372 vsize=25328 CPUtime=402.18
/proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 6018 0 0 0 40159 59 0 0 25 0 1 0 291761121 25935872 5943 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/25374/statm: 6332 5943 205 16 0 5771 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 25328

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/84 25541
/proc/meminfo: memFree=1776696/2055924 swapFree=4146580/4192956
[pid=25374] ppid=25372 vsize=25328 CPUtime=462.08
/proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 6018 0 0 0 46142 66 0 0 25 0 1 0 291761121 25935872 5943 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 2621492 0 0 4096 0 0 0 0 17 1 0 0
/proc/25374/statm: 6332 5943 205 16 0 5771 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 25328

[startup+522.302 s]
/proc/loadavg: 1.04 0.99 0.96 2/78 26049
/proc/meminfo: memFree=1747560/2055924 swapFree=4146580/4192956
[pid=25374] ppid=25372 vsize=26884 CPUtime=521.89
/proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 6392 0 0 0 52113 76 0 0 25 0 1 0 291761121 27529216 6317 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134559236 0 0 4096 0 0 0 0 17 1 0 0
/proc/25374/statm: 6721 6317 205 16 0 6160 0
Current children cumulated CPU time (s) 521.89
Current children cumulated vsize (KiB) 26884

[startup+582.302 s]
/proc/loadavg: 1.01 0.99 0.96 2/78 26049
/proc/meminfo: memFree=1746024/2055924 swapFree=4146580/4192956
[pid=25374] ppid=25372 vsize=28468 CPUtime=581.88
/proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 6834 0 0 0 58105 83 0 0 25 0 1 0 291761121 29151232 6731 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527978 0 0 4096 0 0 0 0 17 1 0 0
/proc/25374/statm: 7117 6731 205 16 0 6556 0
Current children cumulated CPU time (s) 581.88
Current children cumulated vsize (KiB) 28468

[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 26049
/proc/meminfo: memFree=1746280/2055924 swapFree=4146580/4192956
[pid=25374] ppid=25372 vsize=28132 CPUtime=641.86
/proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 6834 0 0 0 64095 91 0 0 25 0 1 0 291761121 28807168 6647 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0
/proc/25374/statm: 7033 6647 205 16 0 6472 0
Current children cumulated CPU time (s) 641.86
Current children cumulated vsize (KiB) 28132


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

/proc/meminfo: memFree=1744296/2055924 swapFree=4146580/4192956
[pid=25374] ppid=25372 vsize=30296 CPUtime=881.79
/proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 7368 0 0 0 88058 121 0 0 25 0 1 0 291761121 31023104 7181 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0
/proc/25374/statm: 7574 7181 205 16 0 7013 0
Current children cumulated CPU time (s) 881.79
Current children cumulated vsize (KiB) 30296

[startup+942.301 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 26049
/proc/meminfo: memFree=1740776/2055924 swapFree=4146580/4192956
[pid=25374] ppid=25372 vsize=33740 CPUtime=941.78
/proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 8249 0 0 0 94047 131 0 0 25 0 1 0 291761121 34549760 8047 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527998 0 0 4096 0 0 0 0 17 1 0 0
/proc/25374/statm: 8435 8047 205 16 0 7874 0
Current children cumulated CPU time (s) 941.78
Current children cumulated vsize (KiB) 33740

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 26049
/proc/meminfo: memFree=1740840/2055924 swapFree=4146580/4192956
[pid=25374] ppid=25372 vsize=33740 CPUtime=1001.76
/proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 8249 0 0 0 100039 137 0 0 25 0 1 0 291761121 34549760 8047 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25374/statm: 8435 8047 205 16 0 7874 0
Current children cumulated CPU time (s) 1001.76
Current children cumulated vsize (KiB) 33740

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 26049
/proc/meminfo: memFree=1741032/2055924 swapFree=4146580/4192956
[pid=25374] ppid=25372 vsize=33740 CPUtime=1061.74
/proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 8249 0 0 0 106030 144 0 0 25 0 1 0 291761121 34549760 8047 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25374/statm: 8435 8047 205 16 0 7874 0
Current children cumulated CPU time (s) 1061.74
Current children cumulated vsize (KiB) 33740

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 26049
/proc/meminfo: memFree=1741096/2055924 swapFree=4146580/4192956
[pid=25374] ppid=25372 vsize=33740 CPUtime=1121.73
/proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 8249 0 0 0 112021 152 0 0 25 0 1 0 291761121 34549760 8047 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527978 0 0 4096 0 0 0 0 17 1 0 0
/proc/25374/statm: 8435 8047 205 16 0 7874 0
Current children cumulated CPU time (s) 1121.73
Current children cumulated vsize (KiB) 33740

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 26049
/proc/meminfo: memFree=1741032/2055924 swapFree=4146580/4192956
[pid=25374] ppid=25372 vsize=33740 CPUtime=1181.71
/proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 8249 0 0 0 118013 158 0 0 25 0 1 0 291761121 34549760 8047 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/25374/statm: 8435 8047 205 16 0 7874 0
Current children cumulated CPU time (s) 1181.71
Current children cumulated vsize (KiB) 33740

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 26049
/proc/meminfo: memFree=1741032/2055924 swapFree=4146580/4192956
[pid=25374] ppid=25372 vsize=33740 CPUtime=1241.69
/proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 8249 0 0 0 124004 165 0 0 25 0 1 0 291761121 34549760 8047 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/25374/statm: 8435 8047 205 16 0 7874 0
Current children cumulated CPU time (s) 1241.69
Current children cumulated vsize (KiB) 33740

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 26049
/proc/meminfo: memFree=1741032/2055924 swapFree=4146580/4192956
[pid=25374] ppid=25372 vsize=33740 CPUtime=1301.69
/proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 8249 0 0 0 129995 174 0 0 25 0 1 0 291761121 34549760 8047 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25374/statm: 8435 8047 205 16 0 7874 0
Current children cumulated CPU time (s) 1301.69
Current children cumulated vsize (KiB) 33740

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 26049
/proc/meminfo: memFree=1741032/2055924 swapFree=4146580/4192956
[pid=25374] ppid=25372 vsize=33740 CPUtime=1361.66
/proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 8249 0 0 0 135985 181 0 0 25 0 1 0 291761121 34549760 8047 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/25374/statm: 8435 8047 205 16 0 7874 0
Current children cumulated CPU time (s) 1361.66
Current children cumulated vsize (KiB) 33740

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 26049
/proc/meminfo: memFree=1741032/2055924 swapFree=4146580/4192956
[pid=25374] ppid=25372 vsize=33740 CPUtime=1421.65
/proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 8249 0 0 0 141978 187 0 0 25 0 1 0 291761121 34549760 8047 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527395 0 0 4096 0 0 0 0 17 1 0 0
/proc/25374/statm: 8435 8047 205 16 0 7874 0
Current children cumulated CPU time (s) 1421.65
Current children cumulated vsize (KiB) 33740

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 26049
/proc/meminfo: memFree=1741032/2055924 swapFree=4146580/4192956
[pid=25374] ppid=25372 vsize=33740 CPUtime=1481.63
/proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 8249 0 0 0 147966 197 0 0 25 0 1 0 291761121 34549760 8047 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/25374/statm: 8435 8047 205 16 0 7874 0
Current children cumulated CPU time (s) 1481.63
Current children cumulated vsize (KiB) 33740

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 26049
/proc/meminfo: memFree=1741096/2055924 swapFree=4146580/4192956
[pid=25374] ppid=25372 vsize=33740 CPUtime=1541.61
/proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 8249 0 0 0 153957 204 0 0 25 0 1 0 291761121 34549760 8047 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527478 0 0 4096 0 0 0 0 17 1 0 0
/proc/25374/statm: 8435 8047 205 16 0 7874 0
Current children cumulated CPU time (s) 1541.61
Current children cumulated vsize (KiB) 33740

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 26049
/proc/meminfo: memFree=1741096/2055924 swapFree=4146580/4192956
[pid=25374] ppid=25372 vsize=33740 CPUtime=1601.6
/proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 8249 0 0 0 159950 210 0 0 25 0 1 0 291761121 34549760 8047 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25374/statm: 8435 8047 205 16 0 7874 0
Current children cumulated CPU time (s) 1601.6
Current children cumulated vsize (KiB) 33740

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 26049
/proc/meminfo: memFree=1741032/2055924 swapFree=4146580/4192956
[pid=25374] ppid=25372 vsize=33740 CPUtime=1661.58
/proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 8249 0 0 0 165941 217 0 0 25 0 1 0 291761121 34549760 8047 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134559599 0 0 4096 0 0 0 0 17 1 0 0
/proc/25374/statm: 8435 8047 205 16 0 7874 0
Current children cumulated CPU time (s) 1661.58
Current children cumulated vsize (KiB) 33740

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 26049
/proc/meminfo: memFree=1741032/2055924 swapFree=4146580/4192956
[pid=25374] ppid=25372 vsize=33740 CPUtime=1721.57
/proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 8249 0 0 0 171932 225 0 0 25 0 1 0 291761121 34549760 8047 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/25374/statm: 8435 8047 205 16 0 7874 0
Current children cumulated CPU time (s) 1721.57
Current children cumulated vsize (KiB) 33740

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 26049
/proc/meminfo: memFree=1740968/2055924 swapFree=4146580/4192956
[pid=25374] ppid=25372 vsize=33740 CPUtime=1781.55
/proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 8249 0 0 0 177923 232 0 0 25 0 1 0 291761121 34549760 8047 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134557553 0 0 4096 0 0 0 0 17 1 0 0
/proc/25374/statm: 8435 8047 205 16 0 7874 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (KiB) 33740

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

[startup+1783.11 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 26049
/proc/meminfo: memFree=1740968/2055924 swapFree=4146580/4192956
[pid=25374] ppid=25372 vsize=33740 CPUtime=1782.35
/proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 8249 0 0 0 178003 232 0 0 25 0 1 0 291761121 34549760 8047 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25374/statm: 8435 8047 205 16 0 7874 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 33740

[startup+1783.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 26049
/proc/meminfo: memFree=1740968/2055924 swapFree=4146580/4192956
[pid=25374] ppid=25372 vsize=33740 CPUtime=1782.55
/proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 8249 0 0 0 178023 232 0 0 25 0 1 0 291761121 34549760 8047 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25374/statm: 8435 8047 205 16 0 7874 0
Current children cumulated CPU time (s) 1782.55
Current children cumulated vsize (KiB) 33740

[startup+1783.4 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 26049
/proc/meminfo: memFree=1740968/2055924 swapFree=4146580/4192956
[pid=25374] ppid=25372 vsize=33740 CPUtime=1782.65
/proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 8249 0 0 0 178033 232 0 0 25 0 1 0 291761121 34549760 8047 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25374/statm: 8435 8047 205 16 0 7874 0
Current children cumulated CPU time (s) 1782.65
Current children cumulated vsize (KiB) 33740

Child status: 10
Real time (s): 1783.48
CPU time (s): 1782.74
CPU user time (s): 1780.4
CPU system time (s): 2.33564
CPU usage (%): 99.9584
Max. virtual memory (cumulated for all children) (KiB): 33856

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

runsolver used 1.36179 second user time and 3.85841 second system time

The end

Launcher Data (download as text)

Begin job on node6 on Thu May  3 01:53:54 UTC 2007

IDJOB= 453797
IDBENCH= 48154
IDSOLVER= 165
FILE ID= node6/453797-1178157234

PBS_JOBID= 4751087

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

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

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  cdb29f44159b0b72729019e0c0db0b8a

RANDOM SEED= 338045811

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node6.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.232
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.232
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:      2055924 kB
MemFree:       1801800 kB
Buffers:         86832 kB
Cached:          78348 kB
SwapCached:      14272 kB
Active:         107684 kB
Inactive:        82296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1801800 kB
SwapTotal:     4192956 kB
SwapFree:      4146580 kB
Dirty:            2576 kB
Writeback:           0 kB
Mapped:          31184 kB
Slab:            49636 kB
Committed_AS: 12405976 kB
PageTables:       1788 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 node6 on Thu May  3 02:23:38 UTC 2007