Trace number 3720447

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
PB07: Pueblo 1.4SAT-84 1783 1783.3

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_10_1.opb
MD5SUM6a7c5d2366cf8704587c2ca2c97e69d0
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-120
Best CPU time to get the best result obtained on this benchmark1800.14
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -111
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
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 constraints500
Minimum length of a constraint10
Maximum length of a constraint22
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6318
Sum of products size (including duplicates)12636
Number of different products3159
Sum of products size6318

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

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

Verifier Data 

OK	-84

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3720447-1338511418/watcher-3720447-1338511418 -o /tmp/evaluation-result-3720447-1338511418/solver-3720447-1338511418 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720447-1338511418.opb 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 23497
/proc/meminfo: memFree=27587056/32873844 swapFree=6608/6608
[pid=23497] ppid=23495 vsize=3236 CPUtime=0 cores=1,3,5,7
/proc/23497/stat : 23497 (Pueblo) R 23495 23497 22740 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 317266629 3313664 299 33554432000 134512640 134579096 4291932336 4291799684 12079940 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23497/statm: 809 299 219 17 0 115 0

[startup+0.053309 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 23497
/proc/meminfo: memFree=27587056/32873844 swapFree=6608/6608
[pid=23497] ppid=23495 vsize=4952 CPUtime=0.04 cores=1,3,5,7
/proc/23497/stat : 23497 (Pueblo) R 23495 23497 22740 0 -1 4202496 775 0 0 0 4 0 0 0 20 0 1 0 317266629 5070848 713 33554432000 134512640 134579096 4291932336 4291931324 134558652 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23497/statm: 1238 713 226 17 0 544 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4952

[startup+0.100211 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 23497
/proc/meminfo: memFree=27587056/32873844 swapFree=6608/6608
[pid=23497] ppid=23495 vsize=5996 CPUtime=0.09 cores=1,3,5,7
/proc/23497/stat : 23497 (Pueblo) R 23495 23497 22740 0 -1 4202496 1042 0 0 0 9 0 0 0 20 0 1 0 317266629 6139904 980 33554432000 134512640 134579096 4291932336 4291931152 11330855 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23497/statm: 1499 980 226 17 0 805 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5996

[startup+0.300176 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 23497
/proc/meminfo: memFree=27587056/32873844 swapFree=6608/6608
[pid=23497] ppid=23495 vsize=6132 CPUtime=0.29 cores=1,3,5,7
/proc/23497/stat : 23497 (Pueblo) R 23495 23497 22740 0 -1 4202496 1091 0 0 0 29 0 0 0 20 0 1 0 317266629 6279168 1029 33554432000 134512640 134579096 4291932336 4291931328 8057904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23497/statm: 1533 1029 227 17 0 839 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6132

[startup+0.700173 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 23497
/proc/meminfo: memFree=27587056/32873844 swapFree=6608/6608
[pid=23497] ppid=23495 vsize=7348 CPUtime=0.69 cores=1,3,5,7
/proc/23497/stat : 23497 (Pueblo) R 23495 23497 22740 0 -1 4202496 1387 0 0 0 69 0 0 0 20 0 1 0 317266629 7524352 1325 33554432000 134512640 134579096 4291932336 4291930992 134524561 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23497/statm: 1837 1325 227 17 0 1143 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7348

[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 23498
/proc/meminfo: memFree=27580880/32873844 swapFree=6608/6608
[pid=23497] ppid=23495 vsize=9080 CPUtime=1.49 cores=1,3,5,7
/proc/23497/stat : 23497 (Pueblo) R 23495 23497 22740 0 -1 4202496 1838 0 0 0 148 1 0 0 20 0 1 0 317266629 9297920 1776 33554432000 134512640 134579096 4291932336 4291930992 134522706 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23497/statm: 2270 1776 227 17 0 1576 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9080

[startup+3.10017 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 23498
/proc/meminfo: memFree=27575656/32873844 swapFree=6608/6608
[pid=23497] ppid=23495 vsize=13492 CPUtime=3.09 cores=1,3,5,7
/proc/23497/stat : 23497 (Pueblo) R 23495 23497 22740 0 -1 4202496 2928 0 0 0 308 1 0 0 20 0 1 0 317266629 13815808 2866 33554432000 134512640 134579096 4291932336 4291931184 134528344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23497/statm: 3373 2866 227 17 0 2679 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13492

[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 23498
/proc/meminfo: memFree=27563264/32873844 swapFree=6608/6608
[pid=23497] ppid=23495 vsize=21364 CPUtime=6.29 cores=1,3,5,7
/proc/23497/stat : 23497 (Pueblo) R 23495 23497 22740 0 -1 4202496 4878 0 0 0 627 2 0 0 20 0 1 0 317266629 21876736 4816 33554432000 134512640 134579096 4291932336 4291931184 134527759 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23497/statm: 5341 4816 227 17 0 4647 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21364

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 23498
/proc/meminfo: memFree=27555692/32873844 swapFree=6608/6608
[pid=23497] ppid=23495 vsize=22388 CPUtime=12.69 cores=1,3,5,7
/proc/23497/stat : 23497 (Pueblo) R 23495 23497 22740 0 -1 4202496 5138 0 0 0 1267 2 0 0 20 0 1 0 317266629 22925312 5076 33554432000 134512640 134579096 4291932336 4291931184 134527815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23497/statm: 5597 5076 227 17 0 4903 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22388

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 23498
/proc/meminfo: memFree=27552956/32873844 swapFree=6608/6608
[pid=23497] ppid=23495 vsize=25288 CPUtime=25.49 cores=1,3,5,7
/proc/23497/stat : 23497 (Pueblo) R 23495 23497 22740 0 -1 4202496 5868 0 0 0 2546 3 0 0 20 0 1 0 317266629 25894912 5806 33554432000 134512640 134579096 4291932336 4291931308 8057904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23497/statm: 6322 5806 227 17 0 5628 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25288

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 23498
/proc/meminfo: memFree=27533152/32873844 swapFree=6608/6608
[pid=23497] ppid=23495 vsize=29772 CPUtime=51.07 cores=1,3,5,7
/proc/23497/stat : 23497 (Pueblo) R 23495 23497 22740 0 -1 4202496 7019 0 0 0 5103 4 0 0 20 0 1 0 317266629 30486528 6954 33554432000 134512640 134579096 4291932336 4291931308 8057904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23497/statm: 7443 6954 227 17 0 6749 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 29772

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 23498
/proc/meminfo: memFree=27510444/32873844 swapFree=6608/6608
[pid=23497] ppid=23495 vsize=32392 CPUtime=102.26 cores=1,3,5,7
/proc/23497/stat : 23497 (Pueblo) R 23495 23497 22740 0 -1 4202496 7661 0 0 0 10220 6 0 0 20 0 1 0 317266629 33169408 7596 33554432000 134512640 134579096 4291932336 4291929024 134533487 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23497/statm: 8098 7596 227 17 0 7404 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 32392

[startup+162.3 s]
/proc/loadavg: 2.06 2.01 1.93 3/177 23498
/proc/meminfo: memFree=27505104/32873844 swapFree=6608/6608
[pid=23497] ppid=23495 vsize=32692 CPUtime=162.24 cores=1,3,5,7
/proc/23497/stat : 23497 (Pueblo) R 23495 23497 22740 0 -1 4202496 7741 0 0 0 16215 9 0 0 20 0 1 0 317266629 33476608 7674 33554432000 134512640 134579096 4291932336 4291931308 8057904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23497/statm: 8173 7674 227 17 0 7479 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 32692

[startup+222.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/177 23498
/proc/meminfo: memFree=27492372/32873844 swapFree=6608/6608
[pid=23497] ppid=23495 vsize=34780 CPUtime=222.23 cores=1,3,5,7
/proc/23497/stat : 23497 (Pueblo) R 23495 23497 22740 0 -1 4202496 8267 0 0 0 22210 13 0 0 20 0 1 0 317266629 35614720 8204 33554432000 134512640 134579096 4291932336 4291931200 134519943 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23497/statm: 8695 8204 227 17 0 8001 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 34780

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 23498
/proc/meminfo: memFree=27476168/32873844 swapFree=6608/6608
[pid=23497] ppid=23495 vsize=37340 CPUtime=282.23 cores=1,3,5,7
/proc/23497/stat : 23497 (Pueblo) R 23495 23497 22740 0 -1 4202496 8897 0 0 0 28206 17 0 0 20 0 1 0 317266629 38236160 8834 33554432000 134512640 134579096 4291932336 4291931308 8057904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23497/statm: 9335 8834 227 17 0 8641 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 37340

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 23499
/proc/meminfo: memFree=27462524/32873844 swapFree=6608/6608
[pid=23497] ppid=23495 vsize=40504 CPUtime=342.22 cores=1,3,5,7
/proc/23497/stat : 23497 (Pueblo) R 23495 23497 22740 0 -1 4202496 9658 0 0 0 34201 21 0 0 20 0 1 0 317266629 41476096 9593 33554432000 134512640 134579096 4291932336 4291931308 8057904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23497/statm: 10126 9593 227 17 0 9432 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 40504

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23502
/proc/meminfo: memFree=27451336/32873844 swapFree=6608/6608
[pid=23497] ppid=23495 vsize=41052 CPUtime=402.2 cores=1,3,5,7
/proc/23497/stat : 23497 (Pueblo) R 23495 23497 22740 0 -1 4202496 9782 0 0 0 40195 25 0 0 20 0 1 0 317266629 42037248 9717 33554432000 134512640 134579096 4291932336 4291931184 134527750 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23497/statm: 10263 9717 227 17 0 9569 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 41052

[startup+462.3 s]
/proc/loadavg: 2.06 2.02 1.94 3/177 23502
/proc/meminfo: memFree=27451092/32873844 swapFree=6608/6608
[pid=23497] ppid=23495 vsize=41312 CPUtime=462.19 cores=1,3,5,7
/proc/23497/stat : 23497 (Pueblo) R 23495 23497 22740 0 -1 4202496 9857 0 0 0 46191 28 0 0 20 0 1 0 317266629 42303488 9827 33554432000 134512640 134579096 4291932336 4291931168 134517919 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23497/statm: 10328 9827 227 17 0 9634 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 41312

[startup+522.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/177 23502
/proc/meminfo: memFree=27436260/32873844 swapFree=6608/6608
[pid=23497] ppid=23495 vsize=41816 CPUtime=522.19 cores=1,3,5,7
/proc/23497/stat : 23497 (Pueblo) R 23495 23497 22740 0 -1 4202496 9983 0 0 0 52188 31 0 0 20 0 1 0 317266629 42819584 9953 33554432000 134512640 134579096 4291932336 4291931308 8057904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23497/statm: 10454 9953 227 17 0 9760 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 41816

[startup+582.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/177 23502
/proc/meminfo: memFree=27431920/32873844 swapFree=6608/6608
[pid=23497] ppid=23495 vsize=41760 CPUtime=582.17 cores=1,3,5,7
/proc/23497/stat : 23497 (Pueblo) R 23495 23497 22740 0 -1 4202496 9989 0 0 0 58183 34 0 0 20 0 1 0 317266629 42762240 9939 33554432000 134512640 134579096 4291932336 4291931184 134528236 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23497/statm: 10440 9939 227 17 0 9746 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 41760

[startup+642.3 s]

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

/proc/meminfo: memFree=27390584/32873844 swapFree=6608/6608
[pid=23497] ppid=23495 vsize=45428 CPUtime=822.13 cores=1,3,5,7
/proc/23497/stat : 23497 (Pueblo) R 23495 23497 22740 0 -1 4202496 10870 0 0 0 82166 47 0 0 20 0 1 0 317266629 46518272 10829 33554432000 134512640 134579096 4291932336 4291931308 8057904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23497/statm: 11357 10829 227 17 0 10663 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 45428

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 23503
/proc/meminfo: memFree=27390520/32873844 swapFree=6608/6608
[pid=23497] ppid=23495 vsize=45428 CPUtime=882.12 cores=1,3,5,7
/proc/23497/stat : 23497 (Pueblo) R 23495 23497 22740 0 -1 4202496 10871 0 0 0 88162 50 0 0 20 0 1 0 317266629 46518272 10829 33554432000 134512640 134579096 4291932336 4291931308 8057904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23497/statm: 11357 10829 227 17 0 10663 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 45428

[startup+942.3 s]
/proc/loadavg: 2.07 2.02 1.94 3/177 23504
/proc/meminfo: memFree=27390644/32873844 swapFree=6608/6608
[pid=23497] ppid=23495 vsize=45428 CPUtime=942.12 cores=1,3,5,7
/proc/23497/stat : 23497 (Pueblo) R 23495 23497 22740 0 -1 4202496 10875 0 0 0 94158 54 0 0 20 0 1 0 317266629 46518272 10833 33554432000 134512640 134579096 4291932336 4291931184 134527765 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23497/statm: 11357 10833 227 17 0 10663 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 45428

[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/178 23507
/proc/meminfo: memFree=27387288/32873844 swapFree=6608/6608
[pid=23497] ppid=23495 vsize=48884 CPUtime=1002.11 cores=1,3,5,7
/proc/23497/stat : 23497 (Pueblo) R 23495 23497 22740 0 -1 4202496 11741 0 0 0 100154 57 0 0 20 0 1 0 317266629 50057216 11699 33554432000 134512640 134579096 4291932336 4291931308 8057904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23497/statm: 12221 11699 227 17 0 11527 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 48884

[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/179 23530
/proc/meminfo: memFree=27387024/32873844 swapFree=6608/6608
[pid=23497] ppid=23495 vsize=49184 CPUtime=1062.1 cores=1,3,5,7
/proc/23497/stat : 23497 (Pueblo) R 23495 23497 22740 0 -1 4202496 11792 0 0 0 106151 59 0 0 20 0 1 0 317266629 50364416 11750 33554432000 134512640 134579096 4291932336 4291931184 134528360 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23497/statm: 12296 11750 227 17 0 11602 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 49184

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23530
/proc/meminfo: memFree=27387032/32873844 swapFree=6608/6608
[pid=23497] ppid=23495 vsize=49184 CPUtime=1122.09 cores=1,3,5,7
/proc/23497/stat : 23497 (Pueblo) R 23495 23497 22740 0 -1 4202496 11795 0 0 0 112148 61 0 0 20 0 1 0 317266629 50364416 11753 33554432000 134512640 134579096 4291932336 4291931184 134527712 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23497/statm: 12296 11753 227 17 0 11602 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 49184

[startup+1182.3 s]
/proc/loadavg: 2.06 2.02 1.95 3/178 23530
/proc/meminfo: memFree=27386160/32873844 swapFree=6608/6608
[pid=23497] ppid=23495 vsize=49564 CPUtime=1182.08 cores=1,3,5,7
/proc/23497/stat : 23497 (Pueblo) R 23495 23497 22740 0 -1 4202496 11919 0 0 0 118144 64 0 0 20 0 1 0 317266629 50753536 11900 33554432000 134512640 134579096 4291932336 4291931308 8057904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23497/statm: 12391 11900 227 17 0 11697 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 49564

[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/178 23531
/proc/meminfo: memFree=27386160/32873844 swapFree=6608/6608
[pid=23497] ppid=23495 vsize=49564 CPUtime=1242.07 cores=1,3,5,7
/proc/23497/stat : 23497 (Pueblo) R 23495 23497 22740 0 -1 4202496 11919 0 0 0 124140 67 0 0 20 0 1 0 317266629 50753536 11900 33554432000 134512640 134579096 4291932336 4291931308 8057904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23497/statm: 12391 11900 227 17 0 11697 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 49564

[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 1.95 3/178 23531
/proc/meminfo: memFree=27385416/32873844 swapFree=6608/6608
[pid=23497] ppid=23495 vsize=50072 CPUtime=1302.07 cores=1,3,5,7
/proc/23497/stat : 23497 (Pueblo) R 23495 23497 22740 0 -1 4202496 12038 0 0 0 130137 70 0 0 20 0 1 0 317266629 51273728 12019 33554432000 134512640 134579096 4291932336 4291931184 134528357 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23497/statm: 12518 12019 227 17 0 11824 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 50072

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 23531
/proc/meminfo: memFree=27381944/32873844 swapFree=6608/6608
[pid=23497] ppid=23495 vsize=53400 CPUtime=1362.05 cores=1,3,5,7
/proc/23497/stat : 23497 (Pueblo) R 23495 23497 22740 0 -1 4202496 12879 0 0 0 136132 73 0 0 20 0 1 0 317266629 54681600 12860 33554432000 134512640 134579096 4291932336 4291931200 134520067 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23497/statm: 13350 12860 227 17 0 12656 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 53400

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 23531
/proc/meminfo: memFree=27382068/32873844 swapFree=6608/6608
[pid=23497] ppid=23495 vsize=53332 CPUtime=1422.06 cores=1,3,5,7
/proc/23497/stat : 23497 (Pueblo) R 23495 23497 22740 0 -1 4202496 12879 0 0 0 142130 76 0 0 20 0 1 0 317266629 54611968 12844 33554432000 134512640 134579096 4291932336 4291931184 134528256 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23497/statm: 13333 12844 227 17 0 12639 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 53332

[startup+1482.3 s]
/proc/loadavg: 2.06 2.01 1.95 3/178 23531
/proc/meminfo: memFree=27382004/32873844 swapFree=6608/6608
[pid=23497] ppid=23495 vsize=53284 CPUtime=1482.04 cores=1,3,5,7
/proc/23497/stat : 23497 (Pueblo) R 23495 23497 22740 0 -1 4202496 12880 0 0 0 148125 79 0 0 20 0 1 0 317266629 54562816 12832 33554432000 134512640 134579096 4291932336 4291931308 8057904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23497/statm: 13321 12832 227 17 0 12627 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 53284

[startup+1542.3 s]
/proc/loadavg: 2.08 2.03 1.96 3/177 23531
/proc/meminfo: memFree=27382384/32873844 swapFree=6608/6608
[pid=23497] ppid=23495 vsize=53260 CPUtime=1542.03 cores=1,3,5,7
/proc/23497/stat : 23497 (Pueblo) R 23495 23497 22740 0 -1 4202496 12880 0 0 0 154120 83 0 0 20 0 1 0 317266629 54538240 12826 33554432000 134512640 134579096 4291932336 4291931308 8057904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23497/statm: 13315 12826 227 17 0 12621 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 53260

[startup+1602.3 s]
/proc/loadavg: 2.08 2.03 1.97 3/179 23535
/proc/meminfo: memFree=27381880/32873844 swapFree=6608/6608
[pid=23497] ppid=23495 vsize=54252 CPUtime=1602.02 cores=1,3,5,7
/proc/23497/stat : 23497 (Pueblo) R 23495 23497 22740 0 -1 4202496 13140 0 0 0 160116 86 0 0 20 0 1 0 317266629 55554048 13073 33554432000 134512640 134579096 4291932336 4291931308 8057904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23497/statm: 13563 13073 227 17 0 12869 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 54252

[startup+1662.3 s]
/proc/loadavg: 2.10 2.04 1.97 3/178 23535
/proc/meminfo: memFree=27370788/32873844 swapFree=6608/6608
[pid=23497] ppid=23495 vsize=54236 CPUtime=1662.01 cores=1,3,5,7
/proc/23497/stat : 23497 (Pueblo) R 23495 23497 22740 0 -1 4202496 13141 0 0 0 166112 89 0 0 20 0 1 0 317266629 55537664 13070 33554432000 134512640 134579096 4291932336 4291931308 8057904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23497/statm: 13559 13070 227 17 0 12865 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 54236

[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 1.97 3/178 23535
/proc/meminfo: memFree=27360496/32873844 swapFree=6608/6608
[pid=23497] ppid=23495 vsize=54176 CPUtime=1722 cores=1,3,5,7
/proc/23497/stat : 23497 (Pueblo) R 23495 23497 22740 0 -1 4202496 13141 0 0 0 172109 91 0 0 20 0 1 0 317266629 55476224 13055 33554432000 134512640 134579096 4291932336 4291929040 134533511 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23497/statm: 13544 13055 227 17 0 12850 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 54176

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/178 23583
/proc/meminfo: memFree=27542840/32873844 swapFree=6608/6608
[pid=23497] ppid=23495 vsize=54092 CPUtime=1781.99 cores=1,3,5,7
/proc/23497/stat : 23497 (Pueblo) R 23495 23497 22740 0 -1 4202496 13141 0 0 0 178105 94 0 0 20 0 1 0 317266629 55390208 13034 33554432000 134512640 134579096 4291932336 4291931308 8057904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23497/statm: 13523 13034 227 17 0 12829 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 54092

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

[startup+1783.11 s]
/proc/loadavg: 2.01 2.02 1.97 3/178 23583
/proc/meminfo: memFree=27542716/32873844 swapFree=6608/6608
[pid=23497] ppid=23495 vsize=54092 CPUtime=1782.8 cores=1,3,5,7
/proc/23497/stat : 23497 (Pueblo) R 23495 23497 22740 0 -1 4202496 13141 0 0 0 178186 94 0 0 20 0 1 0 317266629 55390208 13034 33554432000 134512640 134579096 4291932336 4291931308 8057904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23497/statm: 13523 13034 227 17 0 12829 0
Current children cumulated CPU time (s) 1782.8
Current children cumulated vsize (KiB) 54092

[startup+1783.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/178 23583
/proc/meminfo: memFree=27542716/32873844 swapFree=6608/6608
[pid=23497] ppid=23495 vsize=54092 CPUtime=1782.99 cores=1,3,5,7
/proc/23497/stat : 23497 (Pueblo) R 23495 23497 22740 0 -1 4202496 13141 0 0 0 178205 94 0 0 20 0 1 0 317266629 55390208 13034 33554432000 134512640 134579096 4291932336 4291929008 134533511 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23497/statm: 13523 13034 227 17 0 12829 0
Current children cumulated CPU time (s) 1782.99
Current children cumulated vsize (KiB) 54092

Child status: 10
Real time (s): 1783.3
CPU time (s): 1783
CPU user time (s): 1782.06
CPU system time (s): 0.942856
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 54252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.06
system time used= 0.942856
maximum resident set size= 52292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13146
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= 29
involuntary context switches= 1834

runsolver used 2.87356 second user time and 8.99263 second system time

The end

Launcher Data 

Begin job on node140 at 2012-06-01 02:43:38
IDJOB=3720447
IDBENCH=48176
IDSOLVER=2305
FILE ID=node140/3720447-1338511418
RUNJOBID= node140-1338505991-22757
PBS_JOBID= 14635751
Free space on /tmp= 70624 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_1.opb
COMMAND LINE= Pueblo BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3720447-1338511418/watcher-3720447-1338511418 -o /tmp/evaluation-result-3720447-1338511418/solver-3720447-1338511418 -C 1800 -W 1900 -M 15500  Pueblo HOME/instance-3720447-1338511418.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 6a7c5d2366cf8704587c2ca2c97e69d0
RANDOM SEED=1697007141

node140.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.88
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27587468 kB
Buffers:          333464 kB
Cached:          4018772 kB
SwapCached:         1664 kB
Active:          1220060 kB
Inactive:        3187704 kB
Active(anon):      47908 kB
Inactive(anon):     9416 kB
Active(file):    1172152 kB
Inactive(file):  3178288 kB
Unevictable:        6608 kB
Mlocked:            6608 kB
SwapTotal:      67108856 kB
SwapFree:       67105156 kB
Dirty:              5828 kB
Writeback:             0 kB
AnonPages:         59828 kB
Mapped:            11296 kB
Shmem:                 8 kB
Slab:             739784 kB
SReclaimable:     181828 kB
SUnreclaim:       557956 kB
KernelStack:        1448 kB
PageTables:         3716 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     170372 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3720447-1338511418.opb

Free space on /tmp at the end= 70616 MiB
End job on node140 at 2012-06-01 03:13:21