Trace number 454787

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.4SAT-90 1782.74 1783.32

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_10_2.opb
MD5SUM8d62286ae12c02f1d9e42b05c51333f2
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-131
Best CPU time to get the best result obtained on this benchmark1800.12
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -131
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 constraint21
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)6328
Sum of products size (including duplicates)12656
Number of different products3164
Sum of products size6328

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

Verifier Data (download as text)

OK	-90

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/454787-1178031113/instance-454787-1178031113.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node47/watcher-454787-1178031113 -o ROOT/results/node47/solver-454787-1178031113 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/454787-1178031113/instance-454787-1178031113.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.85 0.97 0.99 3/77 11586
/proc/meminfo: memFree=1775152/2055920 swapFree=4157776/4192956
[pid=11586] ppid=11584 vsize=2552 CPUtime=0
/proc/11586/stat : 11586 (Pueblo) R 11584 11586 5841 0 -1 4194304 257 0 0 0 0 0 0 0 18 0 1 0 157956674 2613248 228 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 10985175 0 0 4096 0 0 0 0 17 1 0 0
/proc/11586/statm: 638 228 193 16 0 77 0

[startup+0.042467 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 11586
/proc/meminfo: memFree=1775152/2055920 swapFree=4157776/4192956
[pid=11586] ppid=11584 vsize=3084 CPUtime=0.03
/proc/11586/stat : 11586 (Pueblo) R 11584 11586 5841 0 -1 4194304 417 0 0 0 3 0 0 0 18 0 1 0 157956674 3158016 388 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 10979100 0 0 4096 0 0 0 0 17 1 0 0
/proc/11586/statm: 771 390 199 16 0 210 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3084

[startup+0.101467 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 11586
/proc/meminfo: memFree=1775152/2055920 swapFree=4157776/4192956
[pid=11586] ppid=11584 vsize=3748 CPUtime=0.09
/proc/11586/stat : 11586 (Pueblo) R 11584 11586 5841 0 -1 4194304 582 0 0 0 9 0 0 0 18 0 1 0 157956674 3837952 553 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134534244 0 0 4096 0 0 0 0 17 1 0 0
/proc/11586/statm: 937 554 200 16 0 376 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3748

[startup+0.301489 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 11586
/proc/meminfo: memFree=1775152/2055920 swapFree=4157776/4192956
[pid=11586] ppid=11584 vsize=5588 CPUtime=0.29
/proc/11586/stat : 11586 (Pueblo) R 11584 11586 5841 0 -1 4194304 1030 0 0 0 29 0 0 0 19 0 1 0 157956674 5722112 1001 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522729 0 0 4096 0 0 0 0 17 1 0 0
/proc/11586/statm: 1397 1001 205 16 0 836 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5588

[startup+0.701532 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 11586
/proc/meminfo: memFree=1775152/2055920 swapFree=4157776/4192956
[pid=11586] ppid=11584 vsize=5856 CPUtime=0.69
/proc/11586/stat : 11586 (Pueblo) R 11584 11586 5841 0 -1 4194304 1099 0 0 0 69 0 0 0 23 0 1 0 157956674 5996544 1070 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519111 0 0 4096 0 0 0 0 17 1 0 0
/proc/11586/statm: 1464 1070 205 16 0 903 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5856

[startup+1.50162 s]
/proc/loadavg: 0.85 0.97 0.99 2/78 11587
/proc/meminfo: memFree=1771304/2055920 swapFree=4157776/4192956
[pid=11586] ppid=11584 vsize=6944 CPUtime=1.49
/proc/11586/stat : 11586 (Pueblo) R 11584 11586 5841 0 -1 4194304 1388 0 0 0 149 0 0 0 25 0 1 0 157956674 7110656 1359 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0
/proc/11586/statm: 1736 1359 205 16 0 1175 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6944

[startup+3.10179 s]
/proc/loadavg: 0.85 0.97 0.99 2/78 11587
/proc/meminfo: memFree=1769832/2055920 swapFree=4157776/4192956
[pid=11586] ppid=11584 vsize=9072 CPUtime=3.09
/proc/11586/stat : 11586 (Pueblo) R 11584 11586 5841 0 -1 4194304 1896 0 0 0 309 0 0 0 25 0 1 0 157956674 9289728 1867 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522729 0 0 4096 0 0 0 0 17 1 0 0
/proc/11586/statm: 2268 1867 205 16 0 1707 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9072

[startup+6.30114 s]
/proc/loadavg: 0.86 0.97 0.99 2/78 11587
/proc/meminfo: memFree=1764840/2055920 swapFree=4157776/4192956
[pid=11586] ppid=11584 vsize=13812 CPUtime=6.29
/proc/11586/stat : 11586 (Pueblo) R 11584 11586 5841 0 -1 4194304 3076 0 0 0 628 1 0 0 25 0 1 0 157956674 14143488 3047 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 10954363 0 0 4096 0 0 0 0 17 1 0 0
/proc/11586/statm: 3453 3047 205 16 0 2892 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13812

[startup+12.7018 s]
/proc/loadavg: 0.87 0.97 0.99 2/78 11587
/proc/meminfo: memFree=1756264/2055920 swapFree=4157776/4192956
[pid=11586] ppid=11584 vsize=21092 CPUtime=12.69
/proc/11586/stat : 11586 (Pueblo) R 11584 11586 5841 0 -1 4194304 4906 0 0 0 1266 3 0 0 25 0 1 0 157956674 21598208 4877 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11586/statm: 5273 4877 205 16 0 4712 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21092

[startup+25.5013 s]
/proc/loadavg: 0.90 0.97 0.99 2/78 11587
/proc/meminfo: memFree=1755112/2055920 swapFree=4157776/4192956
[pid=11586] ppid=11584 vsize=22304 CPUtime=25.48
/proc/11586/stat : 11586 (Pueblo) R 11584 11586 5841 0 -1 4194304 5198 0 0 0 2545 3 0 0 25 0 1 0 157956674 22839296 5169 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134533479 0 0 4096 0 0 0 0 17 1 0 0
/proc/11586/statm: 5576 5169 205 16 0 5015 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22304

[startup+51.103 s]
/proc/loadavg: 0.93 0.97 0.99 2/78 11587
/proc/meminfo: memFree=1753256/2055920 swapFree=4157776/4192956
[pid=11586] ppid=11584 vsize=25196 CPUtime=51.08
/proc/11586/stat : 11586 (Pueblo) R 11584 11586 5841 0 -1 4194304 5913 0 0 0 5103 5 0 0 25 0 1 0 157956674 25800704 5884 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 10954309 0 0 4096 0 0 0 0 17 1 0 0
/proc/11586/statm: 6299 5884 205 16 0 5738 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 25196

[startup+102.306 s]
/proc/loadavg: 0.97 0.97 0.99 2/78 11587
/proc/meminfo: memFree=1747880/2055920 swapFree=4157776/4192956
[pid=11586] ppid=11584 vsize=29552 CPUtime=102.27
/proc/11586/stat : 11586 (Pueblo) R 11584 11586 5841 0 -1 4194304 7012 0 0 0 10218 9 0 0 25 0 1 0 157956674 30261248 6983 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0
/proc/11586/statm: 7388 6983 205 16 0 6827 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 29552

[startup+162.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11587
/proc/meminfo: memFree=1746024/2055920 swapFree=4157776/4192956
[pid=11586] ppid=11584 vsize=31504 CPUtime=162.25
/proc/11586/stat : 11586 (Pueblo) R 11584 11586 5841 0 -1 4194304 7480 0 0 0 16212 13 0 0 25 0 1 0 157956674 32260096 7451 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528357 0 0 4096 0 0 0 0 17 1 0 0
/proc/11586/statm: 7876 7451 205 16 0 7315 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 31504

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11587
/proc/meminfo: memFree=1743272/2055920 swapFree=4157776/4192956
[pid=11586] ppid=11584 vsize=34288 CPUtime=222.24
/proc/11586/stat : 11586 (Pueblo) R 11584 11586 5841 0 -1 4194304 8163 0 0 0 22206 18 0 0 25 0 1 0 157956674 35110912 8134 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/11586/statm: 8572 8134 205 16 0 8011 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 34288

[startup+282.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11587
/proc/meminfo: memFree=1742568/2055920 swapFree=4157776/4192956
[pid=11586] ppid=11584 vsize=34872 CPUtime=282.22
/proc/11586/stat : 11586 (Pueblo) R 11584 11586 5841 0 -1 4194304 8327 0 0 0 28200 22 0 0 25 0 1 0 157956674 35708928 8298 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0
/proc/11586/statm: 8718 8298 205 16 0 8157 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 34872

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11587
/proc/meminfo: memFree=1740584/2055920 swapFree=4157776/4192956
[pid=11586] ppid=11584 vsize=36960 CPUtime=342.21
/proc/11586/stat : 11586 (Pueblo) R 11584 11586 5841 0 -1 4194304 8821 0 0 0 34194 27 0 0 25 0 1 0 157956674 37847040 8792 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528841 0 0 4096 0 0 0 0 17 1 0 0
/proc/11586/statm: 9240 8792 205 16 0 8679 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 36960

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11587
/proc/meminfo: memFree=1740072/2055920 swapFree=4157776/4192956
[pid=11586] ppid=11584 vsize=37340 CPUtime=402.19
/proc/11586/stat : 11586 (Pueblo) R 11584 11586 5841 0 -1 4194304 8930 0 0 0 40188 31 0 0 25 0 1 0 157956674 38236160 8901 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/11586/statm: 9335 8901 205 16 0 8774 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 37340

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11587
/proc/meminfo: memFree=1739880/2055920 swapFree=4157776/4192956
[pid=11586] ppid=11584 vsize=37596 CPUtime=462.17
/proc/11586/stat : 11586 (Pueblo) R 11584 11586 5841 0 -1 4194304 8987 0 0 0 46182 35 0 0 25 0 1 0 157956674 38498304 8958 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528061 0 0 4096 0 0 0 0 17 1 0 0
/proc/11586/statm: 9399 8958 205 16 0 8838 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 37596

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11587
/proc/meminfo: memFree=1737128/2055920 swapFree=4157776/4192956
[pid=11586] ppid=11584 vsize=40376 CPUtime=522.16
/proc/11586/stat : 11586 (Pueblo) R 11584 11586 5841 0 -1 4194304 9680 0 0 0 52176 40 0 0 25 0 1 0 157956674 41345024 9651 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519093 0 0 4096 0 0 0 0 17 1 0 0
/proc/11586/statm: 10094 9651 205 16 0 9533 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 40376

[startup+582.301 s]
/proc/loadavg: 1.07 0.99 0.99 2/84 11753
/proc/meminfo: memFree=1735656/2055920 swapFree=4157776/4192956
[pid=11586] ppid=11584 vsize=40668 CPUtime=582.05
/proc/11586/stat : 11586 (Pueblo) R 11584 11586 5841 0 -1 4194304 9719 0 0 0 58160 45 0 0 25 0 1 0 157956674 41644032 9690 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0
/proc/11586/statm: 10167 9690 205 16 0 9606 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 40668

[startup+642.302 s]
/proc/loadavg: 1.10 1.00 1.00 2/78 11785
/proc/meminfo: memFree=1736680/2055920 swapFree=4157776/4192956
[pid=11586] ppid=11584 vsize=40668 CPUtime=642.02
/proc/11586/stat : 11586 (Pueblo) R 11584 11586 5841 0 -1 4194304 9719 0 0 0 64152 50 0 0 25 0 1 0 157956674 41644032 9690 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11586/statm: 10167 9690 205 16 0 9606 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 40668


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

/proc/meminfo: memFree=1736168/2055920 swapFree=4157776/4192956
[pid=11586] ppid=11584 vsize=41312 CPUtime=821.97
/proc/11586/stat : 11586 (Pueblo) R 11584 11586 5841 0 -1 4194304 9881 0 0 0 82134 63 0 0 25 0 1 0 157956674 42303488 9852 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/11586/statm: 10328 9852 205 16 0 9767 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 41312

[startup+882.302 s]
/proc/loadavg: 1.08 1.04 1.00 2/78 11785
/proc/meminfo: memFree=1735784/2055920 swapFree=4157776/4192956
[pid=11586] ppid=11584 vsize=41704 CPUtime=881.95
/proc/11586/stat : 11586 (Pueblo) R 11584 11586 5841 0 -1 4194304 9972 0 0 0 88128 67 0 0 25 0 1 0 157956674 42704896 9943 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0
/proc/11586/statm: 10426 9943 205 16 0 9865 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 41704

[startup+942.301 s]
/proc/loadavg: 1.11 1.06 1.01 2/78 11785
/proc/meminfo: memFree=1735784/2055920 swapFree=4157776/4192956
[pid=11586] ppid=11584 vsize=41704 CPUtime=941.94
/proc/11586/stat : 11586 (Pueblo) R 11584 11586 5841 0 -1 4194304 9972 0 0 0 94122 72 0 0 25 0 1 0 157956674 42704896 9943 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 10953055 0 0 4096 0 0 0 0 17 1 0 0
/proc/11586/statm: 10426 9943 205 16 0 9865 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 41704

[startup+1002.3 s]
/proc/loadavg: 1.12 1.08 1.01 2/78 11785
/proc/meminfo: memFree=1735912/2055920 swapFree=4157776/4192956
[pid=11586] ppid=11584 vsize=41704 CPUtime=1001.92
/proc/11586/stat : 11586 (Pueblo) R 11584 11586 5841 0 -1 4194304 9972 0 0 0 100116 76 0 0 25 0 1 0 157956674 42704896 9943 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528311 0 0 4096 0 0 0 0 17 1 0 0
/proc/11586/statm: 10426 9943 205 16 0 9865 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 41704

[startup+1062.3 s]
/proc/loadavg: 1.04 1.06 1.01 2/78 11785
/proc/meminfo: memFree=1735848/2055920 swapFree=4157776/4192956
[pid=11586] ppid=11584 vsize=41704 CPUtime=1061.9
/proc/11586/stat : 11586 (Pueblo) R 11584 11586 5841 0 -1 4194304 9972 0 0 0 106110 80 0 0 25 0 1 0 157956674 42704896 9943 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0
/proc/11586/statm: 10426 9943 205 16 0 9865 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 41704

[startup+1122.3 s]
/proc/loadavg: 1.01 1.05 1.00 2/78 11787
/proc/meminfo: memFree=1735848/2055920 swapFree=4157776/4192956
[pid=11586] ppid=11584 vsize=41704 CPUtime=1121.89
/proc/11586/stat : 11586 (Pueblo) R 11584 11586 5841 0 -1 4194304 9972 0 0 0 112104 85 0 0 25 0 1 0 157956674 42704896 9943 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/11586/statm: 10426 9943 205 16 0 9865 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 41704

[startup+1182.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/78 11787
/proc/meminfo: memFree=1735656/2055920 swapFree=4157776/4192956
[pid=11586] ppid=11584 vsize=41932 CPUtime=1181.88
/proc/11586/stat : 11586 (Pueblo) R 11584 11586 5841 0 -1 4194304 10015 0 0 0 118099 89 0 0 25 0 1 0 157956674 42938368 9986 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11586/statm: 10483 9986 205 16 0 9922 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 41932

[startup+1242.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/78 11787
/proc/meminfo: memFree=1735528/2055920 swapFree=4157776/4192956
[pid=11586] ppid=11584 vsize=42060 CPUtime=1241.86
/proc/11586/stat : 11586 (Pueblo) R 11584 11586 5841 0 -1 4194304 10053 0 0 0 124093 93 0 0 25 0 1 0 157956674 43069440 10024 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0
/proc/11586/statm: 10515 10024 205 16 0 9954 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 42060

[startup+1302.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 11787
/proc/meminfo: memFree=1732776/2055920 swapFree=4157776/4192956
[pid=11586] ppid=11584 vsize=44776 CPUtime=1301.85
/proc/11586/stat : 11586 (Pueblo) R 11584 11586 5841 0 -1 4194304 10723 0 0 0 130086 99 0 0 25 0 1 0 157956674 45850624 10694 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 10953055 0 0 4096 0 0 0 0 17 1 0 0
/proc/11586/statm: 11194 10694 205 16 0 10633 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 44776

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 11787
/proc/meminfo: memFree=1732456/2055920 swapFree=4157776/4192956
[pid=11586] ppid=11584 vsize=45048 CPUtime=1361.83
/proc/11586/stat : 11586 (Pueblo) R 11584 11586 5841 0 -1 4194304 10794 0 0 0 136079 104 0 0 25 0 1 0 157956674 46129152 10765 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528247 0 0 4096 0 0 0 0 17 1 0 0
/proc/11586/statm: 11262 10765 205 16 0 10701 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 45048

[startup+1422.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 11787
/proc/meminfo: memFree=1732456/2055920 swapFree=4157776/4192956
[pid=11586] ppid=11584 vsize=45048 CPUtime=1421.82
/proc/11586/stat : 11586 (Pueblo) R 11584 11586 5841 0 -1 4194304 10794 0 0 0 142074 108 0 0 25 0 1 0 157956674 46129152 10765 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522733 0 0 4096 0 0 0 0 17 1 0 0
/proc/11586/statm: 11262 10765 205 16 0 10701 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 45048

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11787
/proc/meminfo: memFree=1732392/2055920 swapFree=4157776/4192956
[pid=11586] ppid=11584 vsize=45048 CPUtime=1481.79
/proc/11586/stat : 11586 (Pueblo) R 11584 11586 5841 0 -1 4194304 10794 0 0 0 148068 111 0 0 25 0 1 0 157956674 46129152 10765 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528832 0 0 4096 0 0 0 0 17 1 0 0
/proc/11586/statm: 11262 10765 205 16 0 10701 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 45048

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11787
/proc/meminfo: memFree=1732392/2055920 swapFree=4157776/4192956
[pid=11586] ppid=11584 vsize=45028 CPUtime=1541.78
/proc/11586/stat : 11586 (Pueblo) R 11584 11586 5841 0 -1 4194304 10794 0 0 0 154063 115 0 0 25 0 1 0 157956674 46108672 10765 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527981 0 0 4096 0 0 0 0 17 1 0 0
/proc/11586/statm: 11257 10765 205 16 0 10696 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 45028

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11787
/proc/meminfo: memFree=1732136/2055920 swapFree=4157776/4192956
[pid=11586] ppid=11584 vsize=45240 CPUtime=1601.77
/proc/11586/stat : 11586 (Pueblo) R 11584 11586 5841 0 -1 4194304 10852 0 0 0 160058 119 0 0 25 0 1 0 157956674 46325760 10817 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/11586/statm: 11310 10817 205 16 0 10749 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 45240

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11787
/proc/meminfo: memFree=1731880/2055920 swapFree=4157776/4192956
[pid=11586] ppid=11584 vsize=45484 CPUtime=1661.75
/proc/11586/stat : 11586 (Pueblo) R 11584 11586 5841 0 -1 4194304 10902 0 0 0 166052 123 0 0 25 0 1 0 157956674 46575616 10867 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522742 0 0 4096 0 0 0 0 17 1 0 0
/proc/11586/statm: 11371 10867 205 16 0 10810 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 45484

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11787
/proc/meminfo: memFree=1731880/2055920 swapFree=4157776/4192956
[pid=11586] ppid=11584 vsize=45484 CPUtime=1721.73
/proc/11586/stat : 11586 (Pueblo) R 11584 11586 5841 0 -1 4194304 10902 0 0 0 172046 127 0 0 25 0 1 0 157956674 46575616 10867 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527981 0 0 4096 0 0 0 0 17 1 0 0
/proc/11586/statm: 11371 10867 205 16 0 10810 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 45484

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11787
/proc/meminfo: memFree=1731624/2055920 swapFree=4157776/4192956
[pid=11586] ppid=11584 vsize=45760 CPUtime=1781.71
/proc/11586/stat : 11586 (Pueblo) R 11584 11586 5841 0 -1 4194304 10982 0 0 0 178039 132 0 0 25 0 1 0 157956674 46858240 10947 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0
/proc/11586/statm: 11440 10947 205 16 0 10879 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 45760

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

[startup+1783.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11787
/proc/meminfo: memFree=1731624/2055920 swapFree=4157776/4192956
[pid=11586] ppid=11584 vsize=45760 CPUtime=1782.52
/proc/11586/stat : 11586 (Pueblo) R 11584 11586 5841 0 -1 4194304 10982 0 0 0 178120 132 0 0 25 0 1 0 157956674 46858240 10947 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11586/statm: 11440 10947 205 16 0 10879 0
Current children cumulated CPU time (s) 1782.52
Current children cumulated vsize (KiB) 45760

[startup+1783.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11787
/proc/meminfo: memFree=1731624/2055920 swapFree=4157776/4192956
[pid=11586] ppid=11584 vsize=45760 CPUtime=1782.71
/proc/11586/stat : 11586 (Pueblo) R 11584 11586 5841 0 -1 4194304 10982 0 0 0 178139 132 0 0 25 0 1 0 157956674 46858240 10947 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528344 0 0 4096 0 0 0 0 17 1 0 0
/proc/11586/statm: 11440 10947 205 16 0 10879 0
Current children cumulated CPU time (s) 1782.71
Current children cumulated vsize (KiB) 45760

Child status: 10
Real time (s): 1783.32
CPU time (s): 1782.74
CPU user time (s): 1781.41
CPU system time (s): 1.3368
CPU usage (%): 99.9677
Max. virtual memory (cumulated for all children) (KiB): 45760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.41
system time used= 1.3368
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10989
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16
involuntary context switches= 37253

runsolver used 1.38979 second user time and 4.21236 second system time

The end

Launcher Data (download as text)

Begin job on node47 on Tue May  1 14:51:53 UTC 2007

IDJOB= 454787
IDBENCH= 48220
IDSOLVER= 165
FILE ID= node47/454787-1178031113

PBS_JOBID= 4728356

Free space on /tmp= 66562 MiB

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

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

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  8d62286ae12c02f1d9e42b05c51333f2

RANDOM SEED= 121492062

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node47.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.221
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.221
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:       1775624 kB
Buffers:         74732 kB
Cached:         119284 kB
SwapCached:       3524 kB
Active:         116676 kB
Inactive:       105372 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1775624 kB
SwapTotal:     4192956 kB
SwapFree:      4157776 kB
Dirty:            2740 kB
Writeback:           0 kB
Mapped:          33628 kB
Slab:            43724 kB
Committed_AS:  5412416 kB
PageTables:       1792 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 node47 on Tue May  1 15:21:37 UTC 2007