Trace number 453827

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.4SAT6 1782.74 1783.2

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_25_2.opb
MD5SUM1e64c526f9351931db225cdff75c2df5
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 benchmark70.5713
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)3074
Sum of products size (including duplicates)6148
Number of different products3074
Sum of products size6148

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

Verifier Data (download as text)

OK	6

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/453827-1178158738/instance-453827-1178158738.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node12/watcher-453827-1178158738 -o ROOT/results/node12/solver-453827-1178158738 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/453827-1178158738/instance-453827-1178158738.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.99 0.99 3/77 11772
/proc/meminfo: memFree=1704208/2055920 swapFree=4160052/4192956
[pid=11772] ppid=11770 vsize=2552 CPUtime=0
/proc/11772/stat : 11772 (Pueblo) R 11770 11772 10269 0 -1 4194304 268 0 0 0 0 0 0 0 18 0 1 0 291911213 2613248 239 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 10131067 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 638 239 199 16 0 77 0

[startup+0.097056 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 11772
/proc/meminfo: memFree=1704208/2055920 swapFree=4160052/4192956
[pid=11772] ppid=11770 vsize=4144 CPUtime=0.09
/proc/11772/stat : 11772 (Pueblo) R 11770 11772 10269 0 -1 4194304 670 0 0 0 9 0 0 0 18 0 1 0 291911213 4243456 641 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134520988 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 1036 641 203 16 0 475 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4144

[startup+0.101057 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 11772
/proc/meminfo: memFree=1704208/2055920 swapFree=4160052/4192956
[pid=11772] ppid=11770 vsize=4144 CPUtime=0.09
/proc/11772/stat : 11772 (Pueblo) R 11770 11772 10269 0 -1 4194304 670 0 0 0 9 0 0 0 18 0 1 0 291911213 4243456 641 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134532044 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 1036 641 203 16 0 475 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4144

[startup+0.301077 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 11772
/proc/meminfo: memFree=1704208/2055920 swapFree=4160052/4192956
[pid=11772] ppid=11770 vsize=4940 CPUtime=0.29
/proc/11772/stat : 11772 (Pueblo) R 11770 11772 10269 0 -1 4194304 849 0 0 0 29 0 0 0 19 0 1 0 291911213 5058560 820 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 1235 820 205 16 0 674 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4940

[startup+0.701117 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 11772
/proc/meminfo: memFree=1704208/2055920 swapFree=4160052/4192956
[pid=11772] ppid=11770 vsize=5584 CPUtime=0.69
/proc/11772/stat : 11772 (Pueblo) R 11770 11772 10269 0 -1 4194304 1017 0 0 0 69 0 0 0 22 0 1 0 291911213 5718016 988 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 10131067 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 1396 988 205 16 0 835 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5584

[startup+1.5012 s]
/proc/loadavg: 0.92 0.99 0.99 2/78 11773
/proc/meminfo: memFree=1700552/2055920 swapFree=4160052/4192956
[pid=11772] ppid=11770 vsize=6628 CPUtime=1.48
/proc/11772/stat : 11772 (Pueblo) R 11770 11772 10269 0 -1 4194304 1297 0 0 0 148 0 0 0 25 0 1 0 291911213 6787072 1268 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134519949 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 1657 1268 205 16 0 1096 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 6628

[startup+3.10236 s]
/proc/loadavg: 0.92 0.99 0.99 2/78 11773
/proc/meminfo: memFree=1699144/2055920 swapFree=4160052/4192956
[pid=11772] ppid=11770 vsize=7904 CPUtime=3.09
/proc/11772/stat : 11772 (Pueblo) R 11770 11772 10269 0 -1 4194304 1611 0 0 0 308 1 0 0 25 0 1 0 291911213 8093696 1582 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134558847 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 1976 1582 205 16 0 1415 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7904

[startup+6.30168 s]
/proc/loadavg: 0.93 0.99 0.99 2/78 11773
/proc/meminfo: memFree=1697480/2055920 swapFree=4160052/4192956
[pid=11772] ppid=11770 vsize=8912 CPUtime=6.29
/proc/11772/stat : 11772 (Pueblo) R 11770 11772 10269 0 -1 4194304 1867 0 0 0 627 2 0 0 25 0 1 0 291911213 9125888 1838 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527989 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 2228 1838 205 16 0 1667 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8912

[startup+12.7013 s]
/proc/loadavg: 0.93 0.99 0.99 2/78 11773
/proc/meminfo: memFree=1696464/2055920 swapFree=4160052/4192956
[pid=11772] ppid=11770 vsize=9916 CPUtime=12.69
/proc/11772/stat : 11772 (Pueblo) R 11770 11772 10269 0 -1 4194304 2104 0 0 0 1266 3 0 0 25 0 1 0 291911213 10153984 2075 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528569 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 2479 2075 205 16 0 1918 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9916

[startup+25.5016 s]
/proc/loadavg: 0.95 0.99 0.99 2/78 11773
/proc/meminfo: memFree=1694992/2055920 swapFree=4160052/4192956
[pid=11772] ppid=11770 vsize=11372 CPUtime=25.49
/proc/11772/stat : 11772 (Pueblo) R 11770 11772 10269 0 -1 4194304 2474 0 0 0 2544 5 0 0 25 0 1 0 291911213 11644928 2445 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 2843 2445 205 16 0 2282 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 11372

[startup+51.1012 s]
/proc/loadavg: 0.96 0.99 0.99 2/78 11773
/proc/meminfo: memFree=1692560/2055920 swapFree=4160052/4192956
[pid=11772] ppid=11770 vsize=13800 CPUtime=51.07
/proc/11772/stat : 11772 (Pueblo) R 11770 11772 10269 0 -1 4194304 3096 0 0 0 5098 9 0 0 25 0 1 0 291911213 14131200 3042 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134533007 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 3450 3042 205 16 0 2889 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 13800

[startup+102.305 s]
/proc/loadavg: 0.98 0.99 0.99 2/78 11773
/proc/meminfo: memFree=1689104/2055920 swapFree=4160052/4192956
[pid=11772] ppid=11770 vsize=17288 CPUtime=102.26
/proc/11772/stat : 11772 (Pueblo) R 11770 11772 10269 0 -1 4194304 3984 0 0 0 10209 17 0 0 25 0 1 0 291911213 17702912 3930 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 10134477 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 4322 3930 205 16 0 3761 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 17288

[startup+162.301 s]
/proc/loadavg: 1.06 1.01 1.00 2/78 11773
/proc/meminfo: memFree=1684112/2055920 swapFree=4160052/4192956
[pid=11772] ppid=11770 vsize=22128 CPUtime=162.25
/proc/11772/stat : 11772 (Pueblo) R 11770 11772 10269 0 -1 4194304 5200 0 0 0 16199 26 0 0 25 0 1 0 291911213 22659072 5144 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527552 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 5532 5144 205 16 0 4971 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 22128

[startup+222.301 s]
/proc/loadavg: 1.02 1.00 1.00 2/78 11773
/proc/meminfo: memFree=1684112/2055920 swapFree=4160052/4192956
[pid=11772] ppid=11770 vsize=22128 CPUtime=222.23
/proc/11772/stat : 11772 (Pueblo) R 11770 11772 10269 0 -1 4194304 5201 0 0 0 22187 36 0 0 25 0 1 0 291911213 22659072 5145 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 5532 5145 205 16 0 4971 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 22128

[startup+282.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 11773
/proc/meminfo: memFree=1684048/2055920 swapFree=4160052/4192956
[pid=11772] ppid=11770 vsize=22128 CPUtime=282.22
/proc/11772/stat : 11772 (Pueblo) R 11770 11772 10269 0 -1 4194304 5202 0 0 0 28179 43 0 0 25 0 1 0 291911213 22659072 5146 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 5532 5146 205 16 0 4971 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 22128

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11773
/proc/meminfo: memFree=1684048/2055920 swapFree=4160052/4192956
[pid=11772] ppid=11770 vsize=22128 CPUtime=342.2
/proc/11772/stat : 11772 (Pueblo) R 11770 11772 10269 0 -1 4194304 5202 0 0 0 34171 49 0 0 25 0 1 0 291911213 22659072 5146 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134558818 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 5532 5146 205 16 0 4971 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 22128

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11773
/proc/meminfo: memFree=1684048/2055920 swapFree=4160052/4192956
[pid=11772] ppid=11770 vsize=22128 CPUtime=402.18
/proc/11772/stat : 11772 (Pueblo) R 11770 11772 10269 0 -1 4194304 5203 0 0 0 40159 59 0 0 25 0 1 0 291911213 22659072 5147 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 5532 5147 205 16 0 4971 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 22128

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11773
/proc/meminfo: memFree=1683856/2055920 swapFree=4160052/4192956
[pid=11772] ppid=11770 vsize=22376 CPUtime=462.17
/proc/11772/stat : 11772 (Pueblo) R 11770 11772 10269 0 -1 4194304 5257 0 0 0 46151 66 0 0 25 0 1 0 291911213 22913024 5201 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 5594 5201 205 16 0 5033 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 22376

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11773
/proc/meminfo: memFree=1676816/2055920 swapFree=4160052/4192956
[pid=11772] ppid=11770 vsize=29212 CPUtime=522.16
/proc/11772/stat : 11772 (Pueblo) R 11770 11772 10269 0 -1 4194304 7008 0 0 0 52142 74 0 0 25 0 1 0 291911213 29913088 6918 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 7303 6918 205 16 0 6742 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 29212

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11773
/proc/meminfo: memFree=1677136/2055920 swapFree=4160052/4192956
[pid=11772] ppid=11770 vsize=28876 CPUtime=582.14
/proc/11772/stat : 11772 (Pueblo) R 11770 11772 10269 0 -1 4194304 7008 0 0 0 58130 84 0 0 25 0 1 0 291911213 29569024 6834 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 7219 6834 205 16 0 6658 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 28876

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11773
/proc/meminfo: memFree=1677136/2055920 swapFree=4160052/4192956
[pid=11772] ppid=11770 vsize=28876 CPUtime=642.13
/proc/11772/stat : 11772 (Pueblo) R 11770 11772 10269 0 -1 4194304 7008 0 0 0 64121 92 0 0 25 0 1 0 291911213 29569024 6834 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528267 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 7219 6834 205 16 0 6658 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 28876


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

/proc/meminfo: memFree=1677200/2055920 swapFree=4160052/4192956
[pid=11772] ppid=11770 vsize=28876 CPUtime=822.08
/proc/11772/stat : 11772 (Pueblo) R 11770 11772 10269 0 -1 4194304 7008 0 0 0 82095 113 0 0 25 0 1 0 291911213 29569024 6834 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 7219 6834 205 16 0 6658 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 28876

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11773
/proc/meminfo: memFree=1677264/2055920 swapFree=4160052/4192956
[pid=11772] ppid=11770 vsize=28876 CPUtime=882.06
/proc/11772/stat : 11772 (Pueblo) R 11770 11772 10269 0 -1 4194304 7008 0 0 0 88085 121 0 0 25 0 1 0 291911213 29569024 6834 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134516822 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 7219 6834 205 16 0 6658 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 28876

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11773
/proc/meminfo: memFree=1677264/2055920 swapFree=4160052/4192956
[pid=11772] ppid=11770 vsize=28876 CPUtime=942.05
/proc/11772/stat : 11772 (Pueblo) R 11770 11772 10269 0 -1 4194304 7008 0 0 0 94075 130 0 0 25 0 1 0 291911213 29569024 6834 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 7219 6834 205 16 0 6658 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 28876

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11775
/proc/meminfo: memFree=1677136/2055920 swapFree=4160052/4192956
[pid=11772] ppid=11770 vsize=28876 CPUtime=1002.04
/proc/11772/stat : 11772 (Pueblo) R 11770 11772 10269 0 -1 4194304 7008 0 0 0 100068 136 0 0 25 0 1 0 291911213 29569024 6834 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 7219 6834 205 16 0 6658 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 28876

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11775
/proc/meminfo: memFree=1677136/2055920 swapFree=4160052/4192956
[pid=11772] ppid=11770 vsize=28876 CPUtime=1062.02
/proc/11772/stat : 11772 (Pueblo) R 11770 11772 10269 0 -1 4194304 7008 0 0 0 106059 143 0 0 25 0 1 0 291911213 29569024 6834 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 7219 6834 205 16 0 6658 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 28876

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11775
/proc/meminfo: memFree=1677200/2055920 swapFree=4160052/4192956
[pid=11772] ppid=11770 vsize=28876 CPUtime=1122.01
/proc/11772/stat : 11772 (Pueblo) R 11770 11772 10269 0 -1 4194304 7008 0 0 0 112050 151 0 0 25 0 1 0 291911213 29569024 6834 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 7219 6834 205 16 0 6658 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 28876

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11775
/proc/meminfo: memFree=1677200/2055920 swapFree=4160052/4192956
[pid=11772] ppid=11770 vsize=28876 CPUtime=1181.99
/proc/11772/stat : 11772 (Pueblo) R 11770 11772 10269 0 -1 4194304 7008 0 0 0 118041 158 0 0 25 0 1 0 291911213 29569024 6834 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527987 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 7219 6834 205 16 0 6658 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 28876

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11775
/proc/meminfo: memFree=1677264/2055920 swapFree=4160052/4192956
[pid=11772] ppid=11770 vsize=28876 CPUtime=1241.97
/proc/11772/stat : 11772 (Pueblo) R 11770 11772 10269 0 -1 4194304 7008 0 0 0 124032 165 0 0 25 0 1 0 291911213 29569024 6834 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 7219 6834 205 16 0 6658 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 28876

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11775
/proc/meminfo: memFree=1677264/2055920 swapFree=4160052/4192956
[pid=11772] ppid=11770 vsize=28876 CPUtime=1301.97
/proc/11772/stat : 11772 (Pueblo) R 11770 11772 10269 0 -1 4194304 7008 0 0 0 130024 173 0 0 25 0 1 0 291911213 29569024 6834 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 7219 6834 205 16 0 6658 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 28876

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11775
/proc/meminfo: memFree=1677264/2055920 swapFree=4160052/4192956
[pid=11772] ppid=11770 vsize=28876 CPUtime=1361.95
/proc/11772/stat : 11772 (Pueblo) R 11770 11772 10269 0 -1 4194304 7008 0 0 0 136014 181 0 0 25 0 1 0 291911213 29569024 6834 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 7219 6834 205 16 0 6658 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 28876

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11775
/proc/meminfo: memFree=1677328/2055920 swapFree=4160052/4192956
[pid=11772] ppid=11770 vsize=28876 CPUtime=1421.93
/proc/11772/stat : 11772 (Pueblo) R 11770 11772 10269 0 -1 4194304 7008 0 0 0 142003 190 0 0 25 0 1 0 291911213 29569024 6834 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134559236 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 7219 6834 205 16 0 6658 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 28876

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11775
/proc/meminfo: memFree=1677264/2055920 swapFree=4160052/4192956
[pid=11772] ppid=11770 vsize=28876 CPUtime=1481.91
/proc/11772/stat : 11772 (Pueblo) R 11770 11772 10269 0 -1 4194304 7008 0 0 0 147994 197 0 0 25 0 1 0 291911213 29569024 6834 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134559599 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 7219 6834 205 16 0 6658 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 28876

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11775
/proc/meminfo: memFree=1675856/2055920 swapFree=4160052/4192956
[pid=11772] ppid=11770 vsize=30360 CPUtime=1541.9
/proc/11772/stat : 11772 (Pueblo) R 11770 11772 10269 0 -1 4194304 7383 0 0 0 153986 204 0 0 25 0 1 0 291911213 31088640 7202 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 7590 7202 205 16 0 7029 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 30360

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11775
/proc/meminfo: memFree=1675856/2055920 swapFree=4160052/4192956
[pid=11772] ppid=11770 vsize=30360 CPUtime=1601.88
/proc/11772/stat : 11772 (Pueblo) R 11770 11772 10269 0 -1 4194304 7383 0 0 0 159977 211 0 0 25 0 1 0 291911213 31088640 7202 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 7590 7202 205 16 0 7029 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 30360

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11775
/proc/meminfo: memFree=1672208/2055920 swapFree=4160052/4192956
[pid=11772] ppid=11770 vsize=33956 CPUtime=1661.86
/proc/11772/stat : 11772 (Pueblo) R 11770 11772 10269 0 -1 4194304 8353 0 0 0 165968 218 0 0 25 0 1 0 291911213 34770944 8104 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 8489 8104 205 16 0 7928 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 33956

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11775
/proc/meminfo: memFree=1672272/2055920 swapFree=4160052/4192956
[pid=11772] ppid=11770 vsize=33848 CPUtime=1721.85
/proc/11772/stat : 11772 (Pueblo) R 11770 11772 10269 0 -1 4194304 8353 0 0 0 171958 227 0 0 25 0 1 0 291911213 34660352 8077 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527416 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 8462 8077 205 16 0 7901 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 33848

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11775
/proc/meminfo: memFree=1672464/2055920 swapFree=4160052/4192956
[pid=11772] ppid=11770 vsize=33604 CPUtime=1781.84
/proc/11772/stat : 11772 (Pueblo) R 11770 11772 10269 0 -1 4194304 8353 0 0 0 177949 235 0 0 25 0 1 0 291911213 34410496 8016 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 8401 8016 205 16 0 7840 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 33604

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 11775
/proc/meminfo: memFree=1672464/2055920 swapFree=4160052/4192956
[pid=11772] ppid=11770 vsize=33604 CPUtime=1782.24
/proc/11772/stat : 11772 (Pueblo) R 11770 11772 10269 0 -1 4194304 8353 0 0 0 177989 235 0 0 25 0 1 0 291911213 34410496 8016 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 8401 8016 205 16 0 7840 0
Current children cumulated CPU time (s) 1782.24
Current children cumulated vsize (KiB) 33604

[startup+1783.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11775
/proc/meminfo: memFree=1672464/2055920 swapFree=4160052/4192956
[pid=11772] ppid=11770 vsize=33604 CPUtime=1782.64
/proc/11772/stat : 11772 (Pueblo) R 11770 11772 10269 0 -1 4194304 8353 0 0 0 178029 235 0 0 25 0 1 0 291911213 34410496 8016 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 8401 8016 205 16 0 7840 0
Current children cumulated CPU time (s) 1782.64
Current children cumulated vsize (KiB) 33604

Child status: 10
Real time (s): 1783.2
CPU time (s): 1782.74
CPU user time (s): 1780.38
CPU system time (s): 2.36064
CPU usage (%): 99.9744
Max. virtual memory (cumulated for all children) (KiB): 34176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.38
system time used= 2.36064
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8360
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= 15
involuntary context switches= 2151

runsolver used 1.34679 second user time and 3.85541 second system time

The end

Launcher Data (download as text)

Begin job on node12 on Thu May  3 02:18:58 UTC 2007

IDJOB= 453827
IDBENCH= 48156
IDSOLVER= 165
FILE ID= node12/453827-1178158738

PBS_JOBID= 4751094

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

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

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  1e64c526f9351931db225cdff75c2df5

RANDOM SEED= 891559164

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node12.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.239
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.239
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:       1704680 kB
Buffers:        108552 kB
Cached:         133784 kB
SwapCached:      11848 kB
Active:         144732 kB
Inactive:       121332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1704680 kB
SwapTotal:     4192956 kB
SwapFree:      4160052 kB
Dirty:            2560 kB
Writeback:           0 kB
Mapped:          30352 kB
Slab:            70744 kB
Committed_AS: 10621040 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 node12 on Thu May  3 02:48:42 UTC 2007