Trace number 453632

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.23

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_25_4.opb
MD5SUM4c6ab7a9b1b11dc4bf8c6231156cc585
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 benchmark40.2319
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 constraint41
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)3070
Sum of products size (including duplicates)6140
Number of different products3070
Sum of products size6140

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: 3170 - #constraints read: 6241
0.09/0.13	o 10
0.09/0.14	o 9
0.09/0.14	o 8
0.29/0.38	o 7
5.89/5.90	o 6
1410.31/1410.71	o 5
1782.71/1783.21	c total time              : 1783 s
1782.71/1783.21	s SATISFIABLE
1782.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/1783.21	v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006
1782.71/1783.21	v x1007 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024
1782.71/1783.21	v -x1025 -x1026 -x1027 x1028 -x1029 -x1030 x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042
1782.71/1783.21	v -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 x1057 -x1058 -x1059
1782.71/1783.21	v -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 x1071 -x1072 -x1073 -x1074 -x1075 -x1076
1782.71/1783.21	v -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 x1092 -x1093 -x1094
1782.71/1783.21	v -x1095 -x1096 -x1097 -x1098 x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111
1782.71/1783.21	v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128
1782.71/1783.21	v -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145
1782.71/1783.21	v -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 x1153 x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163
1782.71/1783.21	v -x1164 -x1165 -x1166 -x1167 x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180
1782.71/1783.21	v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197
1782.71/1783.21	v -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214
1782.71/1783.21	v -x1215 x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232
1782.71/1783.21	v -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249
1782.71/1783.21	v x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266
1782.71/1783.21	v -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283
1782.71/1783.21	v -x1284 x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300
1782.71/1783.21	v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317
1782.71/1783.21	v -x1318 x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334
1782.71/1783.21	v -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351
1782.71/1783.21	v -x1352 -x1353 -x1354 -x1355 x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368
1782.71/1783.21	v -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 x1381 -x1382 -x1383 -x1384 -x1385
1782.71/1783.21	v -x1386 -x1387 -x1388 -x1389 x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402
1782.71/1783.21	v -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 x1412 -x1413 x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420
1782.71/1783.21	v -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437
1782.71/1783.21	v -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454
1782.71/1783.21	v -x1455 -x1456 x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471
1782.71/1783.21	v -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 x1485 x1486 -x1487 -x1488 -x1489
1782.71/1783.21	v -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506
1782.71/1783.21	v -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 x1517 x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524
1782.71/1783.21	v -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 x1537 -x1538 -x1539 -x1540 -x1541
1782.71/1783.21	v -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558
1782.71/1783.21	v -x1559 x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575
1782.71/1783.21	v -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 x1592
1782.71/1783.21	v -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 x1606 -x1607 -x1608 -x1609
1782.71/1783.21	v -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 x1626
1782.71/1783.21	v -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643
1782.71/1783.21	v -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660
1782.71/1783.21	v -x1661 -x1662 -x1663 -x1664 x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677
1782.71/1783.21	v x1678 -x1679 -x1680 x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695
1782.71/1783.21	v -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 x1705 -x1706 x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713
1782.71/1783.21	v -x1714 -x1715 -x1716 -x1717 x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730
1782.71/1783.21	v -x1731 -x1732 -x1733 -x1734 x1735 -x1736 -x1737 x1738 x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748
1782.71/1783.21	v -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765
1782.71/1783.21	v x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782
1782.71/1783.21	v -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 x1795 -x1796 -x1797 -x1798 -x1799
1782.71/1783.21	v -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816
1782.71/1783.21	v -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833
1782.71/1783.21	v -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850
1782.71/1783.21	v -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867
1782.71/1783.21	v -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 x1879 -x1880 -x1881 -x1882 -x1883 -x1884
1782.71/1783.21	v -x1885 -x1886 -x1887 -x1888 -x1889 x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901
1782.71/1783.21	v -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918
1782.71/1783.21	v -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935
1782.71/1783.21	v -x1936 -x1937 x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952
1782.71/1783.21	v -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969
1782.71/1783.21	v x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986
1782.71/1783.21	v -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 x2003
1782.71/1783.21	v -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020
1782.71/1783.21	v -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 x2032 -x2033 -x2034 -x2035 -x2036 -x2037
1782.71/1783.21	v -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054
1782.71/1783.21	v -x2055 -x2056 -x2057 -x2058 -x2059 x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071
1782.71/1783.21	v x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088
1782.71/1783.21	v -x2089 x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106
1782.71/1783.21	v -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123
1782.71/1783.21	v -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140
1782.71/1783.21	v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157
1782.71/1783.21	v -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174
1782.71/1783.21	v -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191
1782.71/1783.21	v x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208
1782.71/1783.21	v x2209 x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226
1782.71/1783.21	v -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 x2235 x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244
1782.71/1783.21	v -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261
1782.71/1783.21	v -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278
1782.71/1783.21	v -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 x2293 -x2294 -x2295
1782.71/1783.21	v -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312
1782.71/1783.21	v -x2313 -x2314 -x2315 -x2316 -x2317 x2318 -x2319 -x2320 x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330
1782.71/1783.21	v -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 x2346 -x2347 -x2348
1782.71/1783.21	v -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365
1782.71/1783.21	v -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 x2373 x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 x2383
1782.71/1783.21	v -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400
1782.71/1783.21	v x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417
1782.71/1783.21	v -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 x2432 -x2433 -x2434
1782.71/1783.21	v -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451
1782.71/1783.21	v -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468
1782.71/1783.21	v -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 x2484 -x2485
1782.71/1783.21	v -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502
1782.71/1783.21	v -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519
1782.71/1783.21	v -x2520 x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 x2532 -x2533 -x2534 -x2535 -x2536 -x2537
1782.71/1783.21	v -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554
1782.71/1783.21	v -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 x2562 x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572
1782.71/1783.21	v -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589
1782.71/1783.21	v -x2590 -x2591 x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606
1782.71/1783.21	v -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 x2618 -x2619 -x2620 -x2621 -x2622 -x2623
1782.71/1783.21	v -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640
1782.71/1783.21	v -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657
1782.71/1783.21	v -x2658 x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 x2671 -x2672 -x2673 -x2674 -x2675
1782.71/1783.21	v -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692
1782.71/1783.21	v -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709
1782.71/1783.21	v x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726
1782.71/1783.21	v -x2727 x2728 x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 x2739 -x2740 -x2741 -x2742 -x2743 -x2744
1782.71/1783.21	v -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 x2756 x2757 -x2758 -x2759 -x2760 -x2761 -x2762
1782.71/1783.21	v -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779
1782.71/1783.21	v -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 x2796
1782.71/1783.21	v -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 x2808 -x2809 -x2810 x2811 -x2812 -x2813 -x2814
1782.71/1783.21	v -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831
1782.71/1783.21	v -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 x2847 -x2848
1782.71/1783.21	v -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 x2863 -x2864 -x2865
1782.71/1783.21	v -x2866 -x2867 -x2868 -x2869 x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882
1782.71/1783.21	v -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899
1782.71/1783.21	v -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916
1782.71/1783.21	v -x2917 -x2918 -x2919 -x2920 x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933
1782.71/1783.21	v -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 x2944 x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951
1782.71/1783.21	v -x2952 -x2953 -x2954 x2955 -x2956 -x2957 -x2958 x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 x2967 x2968 x2969
1782.71/1783.21	v -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986
1782.71/1783.21	v -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003
1782.71/1783.21	v -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 x3019 -x3020
1782.71/1783.21	v -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037
1782.71/1783.21	v -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 x3053 -x3054
1782.71/1783.21	v -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071
1782.71/1783.21	v -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088
1782.71/1783.21	v -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 x3103 -x3104 -x3105
1782.71/1783.21	v -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122
1782.71/1783.21	v -x3123 -x3124 x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139
1782.71/1783.21	v -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156
1782.71/1783.21	v -x3157 -x3158 -x3159 x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170

Verifier Data (download as text)

OK	5

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/453632-1178144551/instance-453632-1178144551.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node14/watcher-453632-1178144551 -o ROOT/results/node14/solver-453632-1178144551 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/453632-1178144551/instance-453632-1178144551.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.99 0.97 0.98 3/77 26856
/proc/meminfo: memFree=1779968/2055920 swapFree=4148808/4192956
[pid=26856] ppid=26854 vsize=2552 CPUtime=0
/proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 265 0 0 0 0 0 0 0 18 0 1 0 262372851 2613248 236 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 7392983 0 0 4096 0 0 0 0 17 1 0 0
/proc/26856/statm: 638 237 199 16 0 77 0

[startup+0.016385 s]
/proc/loadavg: 0.99 0.97 0.98 3/77 26856
/proc/meminfo: memFree=1779968/2055920 swapFree=4148808/4192956
[pid=26856] ppid=26854 vsize=2816 CPUtime=0.01
/proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 347 0 0 0 1 0 0 0 18 0 1 0 262372851 2883584 318 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26856/statm: 704 320 199 16 0 143 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2816

[startup+0.101392 s]
/proc/loadavg: 0.99 0.97 0.98 3/77 26856
/proc/meminfo: memFree=1779968/2055920 swapFree=4148808/4192956
[pid=26856] ppid=26854 vsize=4144 CPUtime=0.09
/proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 670 0 0 0 9 0 0 0 18 0 1 0 262372851 4243456 641 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134532452 0 0 4096 0 0 0 0 17 1 0 0
/proc/26856/statm: 1036 641 203 16 0 475 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4144

[startup+0.301411 s]
/proc/loadavg: 0.99 0.97 0.98 3/77 26856
/proc/meminfo: memFree=1779968/2055920 swapFree=4148808/4192956
[pid=26856] ppid=26854 vsize=4940 CPUtime=0.29
/proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 848 0 0 0 29 0 0 0 19 0 1 0 262372851 5058560 819 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26856/statm: 1235 819 205 16 0 674 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4940

[startup+0.701447 s]
/proc/loadavg: 0.99 0.97 0.98 3/77 26856
/proc/meminfo: memFree=1779968/2055920 swapFree=4148808/4192956
[pid=26856] ppid=26854 vsize=5444 CPUtime=0.69
/proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 1000 0 0 0 69 0 0 0 22 0 1 0 262372851 5574656 971 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26856/statm: 1361 973 205 16 0 800 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5444

[startup+1.50152 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26857
/proc/meminfo: memFree=1776184/2055920 swapFree=4148808/4192956
[pid=26856] ppid=26854 vsize=6736 CPUtime=1.49
/proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 1326 0 0 0 148 1 0 0 25 0 1 0 262372851 6897664 1297 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26856/statm: 1684 1297 205 16 0 1123 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6736

[startup+3.10168 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26857
/proc/meminfo: memFree=1774520/2055920 swapFree=4148808/4192956
[pid=26856] ppid=26854 vsize=7516 CPUtime=3.09
/proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 1514 0 0 0 308 1 0 0 25 0 1 0 262372851 7696384 1485 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/26856/statm: 1879 1485 205 16 0 1318 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7516

[startup+6.30198 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26857
/proc/meminfo: memFree=1774200/2055920 swapFree=4148808/4192956
[pid=26856] ppid=26854 vsize=8408 CPUtime=6.29
/proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 1736 0 0 0 627 2 0 0 25 0 1 0 262372851 8609792 1707 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26856/statm: 2102 1707 205 16 0 1541 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8408

[startup+12.7016 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26857
/proc/meminfo: memFree=1771384/2055920 swapFree=4148808/4192956
[pid=26856] ppid=26854 vsize=11180 CPUtime=12.68
/proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 2423 0 0 0 1265 3 0 0 25 0 1 0 262372851 11448320 2394 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/26856/statm: 2795 2394 205 16 0 2234 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 11180

[startup+25.5018 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26857
/proc/meminfo: memFree=1769592/2055920 swapFree=4148808/4192956
[pid=26856] ppid=26854 vsize=12616 CPUtime=25.49
/proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 2770 0 0 0 2543 6 0 0 25 0 1 0 262372851 12918784 2741 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26856/statm: 3154 2741 205 16 0 2593 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 12616

[startup+51.1012 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26857
/proc/meminfo: memFree=1769016/2055920 swapFree=4148808/4192956
[pid=26856] ppid=26854 vsize=13136 CPUtime=51.08
/proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 2927 0 0 0 5099 9 0 0 25 0 1 0 262372851 13451264 2888 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26856/statm: 3284 2888 205 16 0 2723 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 13136

[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26857
/proc/meminfo: memFree=1768952/2055920 swapFree=4148808/4192956
[pid=26856] ppid=26854 vsize=13136 CPUtime=102.26
/proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 2928 0 0 0 10210 16 0 0 25 0 1 0 262372851 13451264 2889 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26856/statm: 3284 2889 205 16 0 2723 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 13136

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26857
/proc/meminfo: memFree=1766264/2055920 swapFree=4148808/4192956
[pid=26856] ppid=26854 vsize=16744 CPUtime=162.25
/proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 3834 0 0 0 16199 26 0 0 25 0 1 0 262372851 17145856 3795 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/26856/statm: 4186 3795 205 16 0 3625 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 16744

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26857
/proc/meminfo: memFree=1761528/2055920 swapFree=4148808/4192956
[pid=26856] ppid=26854 vsize=20284 CPUtime=222.23
/proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 4778 0 0 0 22189 34 0 0 25 0 1 0 262372851 20770816 4685 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134558862 0 0 4096 0 0 0 0 17 1 0 0
/proc/26856/statm: 5071 4685 205 16 0 4510 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 20284

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26857
/proc/meminfo: memFree=1761528/2055920 swapFree=4148808/4192956
[pid=26856] ppid=26854 vsize=20284 CPUtime=282.22
/proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 4778 0 0 0 28178 44 0 0 25 0 1 0 262372851 20770816 4685 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26856/statm: 5071 4685 205 16 0 4510 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 20284

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26857
/proc/meminfo: memFree=1761528/2055920 swapFree=4148808/4192956
[pid=26856] ppid=26854 vsize=20284 CPUtime=342.2
/proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 4779 0 0 0 34168 52 0 0 25 0 1 0 262372851 20770816 4686 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26856/statm: 5071 4686 205 16 0 4510 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 20284

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26857
/proc/meminfo: memFree=1761592/2055920 swapFree=4148808/4192956
[pid=26856] ppid=26854 vsize=20284 CPUtime=402.18
/proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 4779 0 0 0 40157 61 0 0 25 0 1 0 262372851 20770816 4686 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26856/statm: 5071 4686 205 16 0 4510 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 20284

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26857
/proc/meminfo: memFree=1761656/2055920 swapFree=4148808/4192956
[pid=26856] ppid=26854 vsize=20284 CPUtime=462.16
/proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 4779 0 0 0 46145 71 0 0 25 0 1 0 262372851 20770816 4686 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26856/statm: 5071 4686 205 16 0 4510 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 20284

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26857
/proc/meminfo: memFree=1761656/2055920 swapFree=4148808/4192956
[pid=26856] ppid=26854 vsize=20284 CPUtime=522.15
/proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 4779 0 0 0 52134 81 0 0 25 0 1 0 262372851 20770816 4686 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528006 0 0 4096 0 0 0 0 17 1 0 0
/proc/26856/statm: 5071 4686 205 16 0 4510 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 20284

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26857
/proc/meminfo: memFree=1761592/2055920 swapFree=4148808/4192956
[pid=26856] ppid=26854 vsize=20284 CPUtime=582.13
/proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 4779 0 0 0 58123 90 0 0 25 0 1 0 262372851 20770816 4686 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134533479 0 0 4096 0 0 0 0 17 1 0 0
/proc/26856/statm: 5071 4686 205 16 0 4510 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 20284

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26857
/proc/meminfo: memFree=1761656/2055920 swapFree=4148808/4192956
[pid=26856] ppid=26854 vsize=20284 CPUtime=642.12
/proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 4779 0 0 0 64113 99 0 0 25 0 1 0 262372851 20770816 4686 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26856/statm: 5071 4686 205 16 0 4510 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 20284


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

/proc/meminfo: memFree=1756984/2055920 swapFree=4148808/4192956
[pid=26856] ppid=26854 vsize=25284 CPUtime=882.05
/proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 6016 0 0 0 88072 133 0 0 25 0 1 0 262372851 25890816 5923 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26856/statm: 6321 5923 205 16 0 5760 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 25284

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26857
/proc/meminfo: memFree=1748856/2055920 swapFree=4148808/4192956
[pid=26856] ppid=26854 vsize=32876 CPUtime=942.04
/proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 7987 0 0 0 94063 141 0 0 25 0 1 0 262372851 33665024 7834 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134559592 0 0 4096 0 0 0 0 17 1 0 0
/proc/26856/statm: 8219 7834 205 16 0 7658 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 32876

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26857
/proc/meminfo: memFree=1748920/2055920 swapFree=4148808/4192956
[pid=26856] ppid=26854 vsize=32800 CPUtime=1002.02
/proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 7987 0 0 0 100053 149 0 0 25 0 1 0 262372851 33587200 7815 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26856/statm: 8200 7815 205 16 0 7639 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 32800

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26857
/proc/meminfo: memFree=1748920/2055920 swapFree=4148808/4192956
[pid=26856] ppid=26854 vsize=32800 CPUtime=1062
/proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 7987 0 0 0 106044 156 0 0 25 0 1 0 262372851 33587200 7815 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528006 0 0 4096 0 0 0 0 17 1 0 0
/proc/26856/statm: 8200 7815 205 16 0 7639 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 32800

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26859
/proc/meminfo: memFree=1748920/2055920 swapFree=4148808/4192956
[pid=26856] ppid=26854 vsize=32800 CPUtime=1121.99
/proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 7987 0 0 0 112034 165 0 0 25 0 1 0 262372851 33587200 7815 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26856/statm: 8200 7815 205 16 0 7639 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 32800

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26859
/proc/meminfo: memFree=1748920/2055920 swapFree=4148808/4192956
[pid=26856] ppid=26854 vsize=32800 CPUtime=1181.97
/proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 7987 0 0 0 118024 173 0 0 25 0 1 0 262372851 33587200 7815 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26856/statm: 8200 7815 205 16 0 7639 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 32800

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26859
/proc/meminfo: memFree=1748920/2055920 swapFree=4148808/4192956
[pid=26856] ppid=26854 vsize=32800 CPUtime=1241.95
/proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 7987 0 0 0 124013 182 0 0 25 0 1 0 262372851 33587200 7815 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26856/statm: 8200 7815 205 16 0 7639 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 32800

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26859
/proc/meminfo: memFree=1748984/2055920 swapFree=4148808/4192956
[pid=26856] ppid=26854 vsize=32800 CPUtime=1301.94
/proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 7987 0 0 0 130003 191 0 0 25 0 1 0 262372851 33587200 7815 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527324 0 0 4096 0 0 0 0 17 1 0 0
/proc/26856/statm: 8200 7815 205 16 0 7639 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 32800

[startup+1362.3 s]
/proc/loadavg: 1.11 1.00 0.99 2/78 26859
/proc/meminfo: memFree=1748920/2055920 swapFree=4148808/4192956
[pid=26856] ppid=26854 vsize=32800 CPUtime=1361.92
/proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 7987 0 0 0 135993 199 0 0 25 0 1 0 262372851 33587200 7815 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26856/statm: 8200 7815 205 16 0 7639 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 32800

[startup+1422.31 s]
/proc/loadavg: 1.11 1.02 1.00 2/78 26859
/proc/meminfo: memFree=1748856/2055920 swapFree=4148808/4192956
[pid=26856] ppid=26854 vsize=32800 CPUtime=1421.91
/proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 7987 0 0 0 141985 206 0 0 25 0 1 0 262372851 33587200 7815 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/26856/statm: 8200 7815 205 16 0 7639 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 32800

[startup+1482.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 26859
/proc/meminfo: memFree=1748856/2055920 swapFree=4148808/4192956
[pid=26856] ppid=26854 vsize=32800 CPUtime=1481.89
/proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 7987 0 0 0 147972 217 0 0 25 0 1 0 262372851 33587200 7815 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0
/proc/26856/statm: 8200 7815 205 16 0 7639 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 32800

[startup+1542.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 26859
/proc/meminfo: memFree=1748856/2055920 swapFree=4148808/4192956
[pid=26856] ppid=26854 vsize=32800 CPUtime=1541.87
/proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 7987 0 0 0 153962 225 0 0 25 0 1 0 262372851 33587200 7815 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528392 0 0 4096 0 0 0 0 17 1 0 0
/proc/26856/statm: 8200 7815 205 16 0 7639 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 32800

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26859
/proc/meminfo: memFree=1748856/2055920 swapFree=4148808/4192956
[pid=26856] ppid=26854 vsize=32800 CPUtime=1601.86
/proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 7987 0 0 0 159954 232 0 0 25 0 1 0 262372851 33587200 7815 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134559236 0 0 4096 0 0 0 0 17 1 0 0
/proc/26856/statm: 8200 7815 205 16 0 7639 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 32800

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26859
/proc/meminfo: memFree=1748856/2055920 swapFree=4148808/4192956
[pid=26856] ppid=26854 vsize=32800 CPUtime=1661.84
/proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 7987 0 0 0 165944 240 0 0 25 0 1 0 262372851 33587200 7815 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134559236 0 0 4096 0 0 0 0 17 1 0 0
/proc/26856/statm: 8200 7815 205 16 0 7639 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 32800

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26859
/proc/meminfo: memFree=1748792/2055920 swapFree=4148808/4192956
[pid=26856] ppid=26854 vsize=32800 CPUtime=1721.82
/proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 7987 0 0 0 171935 247 0 0 25 0 1 0 262372851 33587200 7815 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134519937 0 0 4096 0 0 0 0 17 1 0 0
/proc/26856/statm: 8200 7815 205 16 0 7639 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 32800

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26859
/proc/meminfo: memFree=1748728/2055920 swapFree=4148808/4192956
[pid=26856] ppid=26854 vsize=32800 CPUtime=1781.81
/proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 7987 0 0 0 177926 255 0 0 25 0 1 0 262372851 33587200 7815 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/26856/statm: 8200 7815 205 16 0 7639 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 32800

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

[startup+1782.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26859
/proc/meminfo: memFree=1748728/2055920 swapFree=4148808/4192956
[pid=26856] ppid=26854 vsize=32800 CPUtime=1782.21
/proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 7987 0 0 0 177966 255 0 0 25 0 1 0 262372851 33587200 7815 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/26856/statm: 8200 7815 205 16 0 7639 0
Current children cumulated CPU time (s) 1782.21
Current children cumulated vsize (KiB) 32800

[startup+1783.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26859
/proc/meminfo: memFree=1748728/2055920 swapFree=4148808/4192956
[pid=26856] ppid=26854 vsize=32800 CPUtime=1782.61
/proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 7987 0 0 0 178006 255 0 0 25 0 1 0 262372851 33587200 7815 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26856/statm: 8200 7815 205 16 0 7639 0
Current children cumulated CPU time (s) 1782.61
Current children cumulated vsize (KiB) 32800

[startup+1783.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26859
/proc/meminfo: memFree=1748728/2055920 swapFree=4148808/4192956
[pid=26856] ppid=26854 vsize=32800 CPUtime=1782.71
/proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 7987 0 0 0 178016 255 0 0 25 0 1 0 262372851 33587200 7815 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528357 0 0 4096 0 0 0 0 17 1 0 0
/proc/26856/statm: 8200 7815 205 16 0 7639 0
Current children cumulated CPU time (s) 1782.71
Current children cumulated vsize (KiB) 32800

Child status: 10
Real time (s): 1783.23
CPU time (s): 1782.74
CPU user time (s): 1780.18
CPU system time (s): 2.56061
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 33176

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

runsolver used 1.37979 second user time and 3.81942 second system time

The end

Launcher Data (download as text)

Begin job on node14 on Wed May  2 22:22:31 UTC 2007

IDJOB= 453632
IDBENCH= 48143
IDSOLVER= 165
FILE ID= node14/453632-1178144551

PBS_JOBID= 4751059

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

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

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  4c6ab7a9b1b11dc4bf8c6231156cc585

RANDOM SEED= 355181008

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node14.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.227
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.227
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:       1780376 kB
Buffers:        114120 kB
Cached:          75396 kB
SwapCached:      11220 kB
Active:         101288 kB
Inactive:       115060 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1780376 kB
SwapTotal:     4192956 kB
SwapFree:      4148808 kB
Dirty:            2512 kB
Writeback:           0 kB
Mapped:          32456 kB
Slab:            44700 kB
Committed_AS:  9227620 kB
PageTables:       1796 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 node14 on Wed May  2 22:52:14 UTC 2007