Trace number 3724849

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 NameAnswerCPU timeWall clock time
toysat 2012-06-01OPT 17.9583 17.9715

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/IC/
normalized-minisat15_5_3_5_ic.opb
MD5SUMe4dab1f67f0e50360b112cfb031bdd87
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2624620
Best CPU time to get the best result obtained on this benchmark2.02269
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3435
Total number of constraints6802
Number of constraints which are clauses2970
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints3825
Minimum length of a constraint2
Maximum length of a constraint105
Number of terms in the objective function 645
Biggest coefficient in the objective function 64481201
Number of bits for the biggest coefficient in the objective function 26
Sum of the numbers in the objective function 2758714973
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 64481201
Number of bits of the biggest number in a constraint 26
Biggest sum of numbers in a constraint 2758714973
Number of bits of the biggest sum of numbers32
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	2624620

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-3724849-1338649619/watcher-3724849-1338649619 -o /tmp/evaluation-result-3724849-1338649619/solver-3724849-1338649619 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724849-1338649619.opb 

running on 4 cores: 0,2,4,6

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: 1.94 2.01 1.99 3/176 5127
/proc/meminfo: memFree=29024588/32873844 swapFree=6872/6872
[pid=5127] ppid=5125 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/5127/stat : 5127 (toysat) R 5125 5127 3386 0 -1 4202496 810 0 0 0 0 0 0 0 20 0 1 0 331090414 6373376 731 33554432000 4194304 8989770 140736333862416 140735790159480 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/5127/statm: 1556 731 429 1171 0 333 0

[startup+0.045042 s]
/proc/loadavg: 1.94 2.01 1.99 3/176 5127
/proc/meminfo: memFree=29024588/32873844 swapFree=6872/6872
[pid=5127] ppid=5125 vsize=9296 CPUtime=0.03 cores=0,2,4,6
/proc/5127/stat : 5127 (toysat) R 5125 5127 3386 0 -1 4202496 1368 0 0 0 3 0 0 0 20 0 1 0 331090414 9519104 1289 33554432000 4194304 8989770 140736333862416 140735790159480 4213859 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/5127/statm: 2324 1294 431 1171 0 1101 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9296

[startup+0.100224 s]
/proc/loadavg: 1.94 2.01 1.99 3/176 5127
/proc/meminfo: memFree=29024588/32873844 swapFree=6872/6872
[pid=5127] ppid=5125 vsize=12368 CPUtime=0.09 cores=0,2,4,6
/proc/5127/stat : 5127 (toysat) R 5125 5127 3386 0 -1 4202496 2185 0 0 0 9 0 0 0 20 0 1 0 331090414 12664832 2106 33554432000 4194304 8989770 140736333862416 140735790159480 7857787 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/5127/statm: 3092 2106 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368

[startup+0.300224 s]
/proc/loadavg: 1.94 2.01 1.99 3/176 5127
/proc/meminfo: memFree=29024588/32873844 swapFree=6872/6872
[pid=5127] ppid=5125 vsize=19536 CPUtime=0.28 cores=0,2,4,6
/proc/5127/stat : 5127 (toysat) R 5125 5127 3386 0 -1 4202496 4199 0 0 0 28 0 0 0 20 0 1 0 331090414 20004864 4120 33554432000 4194304 8989770 140736333862416 140736333861912 4378576 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/5127/statm: 4884 4120 462 1171 0 3661 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 19536

[startup+0.70023 s]
/proc/loadavg: 1.94 2.01 1.99 3/176 5127
/proc/meminfo: memFree=29024588/32873844 swapFree=6872/6872
[pid=5127] ppid=5125 vsize=20560 CPUtime=0.69 cores=0,2,4,6
/proc/5127/stat : 5127 (toysat) R 5125 5127 3386 0 -1 4202496 4466 0 0 0 68 1 0 0 20 0 1 0 331090414 21053440 4387 33554432000 4194304 8989770 140736333862416 140736333861912 7704702 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/5127/statm: 5140 4387 473 1171 0 3917 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20560

[startup+1.50024 s]
/proc/loadavg: 1.94 2.01 1.99 3/177 5128
/proc/meminfo: memFree=29007848/32873844 swapFree=6872/6872
[pid=5127] ppid=5125 vsize=22608 CPUtime=1.48 cores=0,2,4,6
/proc/5127/stat : 5127 (toysat) R 5125 5127 3386 0 -1 4202496 4978 0 0 0 147 1 0 0 20 0 1 0 331090414 23150592 4899 33554432000 4194304 8989770 140736333862416 140736333861912 7857787 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/5127/statm: 5652 4899 473 1171 0 4429 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 22608

[startup+3.1002 s]
/proc/loadavg: 1.94 2.01 1.99 3/177 5128
/proc/meminfo: memFree=29006616/32873844 swapFree=6872/6872
[pid=5127] ppid=5125 vsize=22608 CPUtime=3.09 cores=0,2,4,6
/proc/5127/stat : 5127 (toysat) R 5125 5127 3386 0 -1 4202496 4978 0 0 0 307 2 0 0 20 0 1 0 331090414 23150592 4899 33554432000 4194304 8989770 140736333862416 140736333861912 4425680 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/5127/statm: 5652 4899 473 1171 0 4429 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22608

[startup+6.30019 s]
/proc/loadavg: 1.94 2.01 1.99 3/177 5128
/proc/meminfo: memFree=29005608/32873844 swapFree=6872/6872
[pid=5127] ppid=5125 vsize=22608 CPUtime=6.28 cores=0,2,4,6
/proc/5127/stat : 5127 (toysat) R 5125 5127 3386 0 -1 4202496 4978 0 0 0 624 4 0 0 20 0 1 0 331090414 23150592 4899 33554432000 4194304 8989770 140736333862416 140736333861912 4445188 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/5127/statm: 5652 4899 473 1171 0 4429 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 22608

[startup+12.7002 s]
/proc/loadavg: 1.95 2.01 1.99 3/177 5128
/proc/meminfo: memFree=29003640/32873844 swapFree=6872/6872
[pid=5127] ppid=5125 vsize=24656 CPUtime=12.68 cores=0,2,4,6
/proc/5127/stat : 5127 (toysat) R 5125 5127 3386 0 -1 4202496 5490 0 0 0 1260 8 0 0 20 0 1 0 331090414 25247744 5411 33554432000 4194304 8989770 140736333862416 140736333861912 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/5127/statm: 6164 5411 473 1171 0 4941 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 24656

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

[startup+15.9002 s]
/proc/loadavg: 1.95 2.01 1.99 3/177 5128
/proc/meminfo: memFree=29003252/32873844 swapFree=6872/6872
[pid=5127] ppid=5125 vsize=24656 CPUtime=15.87 cores=0,2,4,6
/proc/5127/stat : 5127 (toysat) R 5125 5127 3386 0 -1 4202496 5490 0 0 0 1578 9 0 0 20 0 1 0 331090414 25247744 5411 33554432000 4194304 8989770 140736333862416 140736333861912 4446179 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/5127/statm: 6164 5411 473 1171 0 4941 0
Current children cumulated CPU time (s) 15.87
Current children cumulated vsize (KiB) 24656

[startup+16.7003 s]
/proc/loadavg: 1.95 2.01 1.99 3/177 5128
/proc/meminfo: memFree=29002508/32873844 swapFree=6872/6872
[pid=5127] ppid=5125 vsize=25680 CPUtime=16.68 cores=0,2,4,6
/proc/5127/stat : 5127 (toysat) R 5125 5127 3386 0 -1 4202496 5746 0 0 0 1658 10 0 0 20 0 1 0 331090414 26296320 5667 33554432000 4194304 8989770 140736333862416 140736333861912 7416272 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/5127/statm: 6420 5667 473 1171 0 5197 0
Current children cumulated CPU time (s) 16.68
Current children cumulated vsize (KiB) 25680

[startup+17.5002 s]
/proc/loadavg: 1.95 2.01 1.99 3/177 5128
/proc/meminfo: memFree=29002384/32873844 swapFree=6872/6872
[pid=5127] ppid=5125 vsize=25680 CPUtime=17.48 cores=0,2,4,6
/proc/5127/stat : 5127 (toysat) R 5125 5127 3386 0 -1 4202496 5746 0 0 0 1738 10 0 0 20 0 1 0 331090414 26296320 5667 33554432000 4194304 8989770 140736333862416 140736333861912 7857787 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/5127/statm: 6420 5667 473 1171 0 5197 0
Current children cumulated CPU time (s) 17.48
Current children cumulated vsize (KiB) 25680

[startup+17.9002 s]
/proc/loadavg: 1.95 2.01 1.99 3/177 5128
/proc/meminfo: memFree=29002384/32873844 swapFree=6872/6872
[pid=5127] ppid=5125 vsize=25680 CPUtime=17.88 cores=0,2,4,6
/proc/5127/stat : 5127 (toysat) R 5125 5127 3386 0 -1 4202496 5746 0 0 0 1778 10 0 0 20 0 1 0 331090414 26296320 5667 33554432000 4194304 8989770 140736333862416 140736333861912 4446228 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/5127/statm: 6420 5667 473 1171 0 5197 0
Current children cumulated CPU time (s) 17.88
Current children cumulated vsize (KiB) 25680

Child status: 0
Real time (s): 17.9715
CPU time (s): 17.9583
CPU user time (s): 17.8503
CPU system time (s): 0.107983
CPU usage (%): 99.9263
Max. virtual memory (cumulated for all children) (KiB): 25680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.8503
system time used= 0.107983
maximum resident set size= 22688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5751
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= 3
involuntary context switches= 51

runsolver used 0.036994 second user time and 0.066989 second system time

The end

Launcher Data 

Begin job on node106 at 2012-06-02 17:06:59
IDJOB=3724849
IDBENCH=92779
IDSOLVER=2308
FILE ID=node106/3724849-1338649619
RUNJOBID= node106-1338631508-3402
PBS_JOBID= 14636474
Free space on /tmp= 70860 MiB

SOLVER NAME= toysat 2012-06-01
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/IC/normalized-minisat15_5_3_5_ic.opb
COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3724849-1338649619/watcher-3724849-1338649619 -o /tmp/evaluation-result-3724849-1338649619/solver-3724849-1338649619 -C 1800 -W 1900 -M 15500  HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724849-1338649619.opb

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

MD5SUM BENCH= e4dab1f67f0e50360b112cfb031bdd87
RANDOM SEED=1592596665

node106.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.065
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.13
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.065
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.065
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.065
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.92
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.065
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.91
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.065
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.91
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.065
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.91
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.065
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:        29025496 kB
Buffers:          261440 kB
Cached:          2606236 kB
SwapCached:         1936 kB
Active:          1055540 kB
Inactive:        1954988 kB
Active(anon):     140512 kB
Inactive(anon):     4868 kB
Active(file):     915028 kB
Inactive(file):  1950120 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67100520 kB
Dirty:              7772 kB
Writeback:             0 kB
AnonPages:        147576 kB
Mapped:            10712 kB
Shmem:                 0 kB
Slab:             698364 kB
SReclaimable:     140748 kB
SUnreclaim:       557616 kB
KernelStack:        1456 kB
PageTables:         4288 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     263116 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     38912 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70852 MiB
End job on node106 at 2012-06-02 17:07:17