Trace number 357233

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
oree 0.1.2 alphaSAT (TO)4540416 1800.31 1800.79

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran12x12.opb
MD5SUM56c71282ea86eaaf05df174b87b01c4e
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3416057
Best CPU time to get the best result obtained on this benchmark1800.41
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3039236
Optimality of the best value was proved NO
Number of variables4464
Total number of constraints168
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 constraints168
Minimum length of a constraint31
Maximum length of a constraint360
Number of terms in the objective function 4464
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 856864234722
Number of bits of the sum of numbers in the objective function 40
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 856864234722
Number of bits of the biggest sum of numbers40
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 (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.01/0.06	c ...done
0.01/0.06	c #vars=4464 #constraints=193 hasObjective=yes
0.09/0.12	c res. mode=mod
0.09/0.12	c VSIDS like heuristics
0.09/0.12	c complete search running
0.09/0.14	c restart after 401 decisions
0.09/0.14	c nbDecision=500 #constraints=193
0.09/0.15	c restart after 801 decisions
0.09/0.16	c nbDecision=1000 #constraints=193
0.09/0.17	c nbDecision=1500 #constraints=193
0.19/0.21	c restart after 1601 decisions
0.19/0.23	c nbDecision=2000 #constraints=204
0.19/0.24	c nbDecision=2500 #constraints=204
0.19/0.26	c nbDecision=3000 #constraints=204
0.19/0.26	c nbDecision=3044 #constraints=204
0.19/0.26	c linear search for optimum
0.19/0.26	o 4794368
0.19/0.27	c nbDecision=3060 #constraints=206
0.19/0.27	o 4725760
0.29/0.30	c nbDecision=3086 #constraints=209
0.29/0.30	o 4643840
2.10/2.16	c restart after 3201 decisions
2.10/2.19	c nbDecision=3500 #constraints=330
2.20/2.21	c nbDecision=4000 #constraints=330
2.20/2.23	c nbDecision=4500 #constraints=330
13.88/13.95	c nbDecision=5000 #constraints=806
31.78/31.89	c nbDecision=5500 #constraints=1311
49.58/49.63	c nbDecision=6000 #constraints=1813
52.48/52.54	c nbDecision=6119 #constraints=1878
52.48/52.54	o 4540416
62.97/63.02	c restart after 6401 decisions
63.37/63.50	c nbDecision=6500 #constraints=2163
63.57/63.63	c nbDecision=7000 #constraints=2163
63.78/63.83	c nbDecision=7500 #constraints=2163
74.58/74.70	c nbDecision=8000 #constraints=2445
95.46/95.57	c nbDecision=8500 #constraints=2936
119.16/119.20	c nbDecision=9000 #constraints=3435
142.65/142.78	c nbDecision=9500 #constraints=3934
173.35/173.43	c nbDecision=10000 #constraints=4440
207.04/207.14	c nbDecision=10500 #constraints=4935
243.73/243.89	c nbDecision=11000 #constraints=5437
281.61/281.70	c nbDecision=11500 #constraints=5937
330.70/330.86	c nbDecision=12000 #constraints=6435
375.59/375.78	c nbDecision=12500 #constraints=6933
399.69/399.81	c restart after 12801 decisions
402.09/402.29	c nbDecision=13000 #constraints=7236
402.59/402.79	c nbDecision=13500 #constraints=7236
403.49/403.64	c nbDecision=14000 #constraints=7236
438.78/438.92	c nbDecision=14500 #constraints=7621
500.86/501.09	c nbDecision=15000 #constraints=8117
548.25/548.41	c nbDecision=15500 #constraints=8615
607.93/608.12	c nbDecision=16000 #constraints=9117
669.62/669.84	c nbDecision=16500 #constraints=9618
746.70/746.99	c nbDecision=17000 #constraints=10107
814.27/814.50	c nbDecision=17500 #constraints=10612
877.16/877.40	c nbDecision=18000 #constraints=11110
968.24/968.57	c nbDecision=18500 #constraints=11611
1037.02/1037.36	c nbDecision=19000 #constraints=12108
1118.10/1118.40	c nbDecision=19500 #constraints=12613
1200.07/1200.47	c nbDecision=20000 #constraints=13115
1294.15/1294.59	c nbDecision=20500 #constraints=13601
1380.22/1380.68	c nbDecision=21000 #constraints=14101
1467.80/1468.21	c nbDecision=21500 #constraints=14602
1576.07/1576.53	c nbDecision=22000 #constraints=15100
1671.85/1672.33	c nbDecision=22500 #constraints=15598
1770.72/1771.27	c nbDecision=23000 #constraints=16101
1800.02/1800.50	Received signal 15
1800.12/1800.64	
1800.12/1800.64	s SATISFIABLE
1800.12/1800.64	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
1800.12/1800.64	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
1800.12/1800.64	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
1800.12/1800.64	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
1800.12/1800.64	v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125
1800.12/1800.64	v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146
1800.12/1800.64	v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167
1800.12/1800.64	v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188
1800.12/1800.64	v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209
1800.12/1800.64	v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
1800.12/1800.64	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251
1800.12/1800.64	v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272
1800.12/1800.64	v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293
1800.12/1800.64	v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314
1800.12/1800.64	v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335
1800.12/1800.64	v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356
1800.12/1800.64	v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377
1800.12/1800.64	v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398
1800.12/1800.64	v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419
1800.12/1800.64	v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
1800.12/1800.64	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461
1800.12/1800.64	v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482
1800.12/1800.64	v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503
1800.12/1800.64	v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524
1800.12/1800.64	v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545
1800.12/1800.64	v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566
1800.12/1800.64	v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587
1800.12/1800.64	v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608
1800.12/1800.64	v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629
1800.12/1800.64	v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
1800.12/1800.64	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671
1800.12/1800.64	v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692
1800.12/1800.64	v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 x701 -x702 -x703 -x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713
1800.12/1800.64	v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734
1800.12/1800.64	v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755
1800.12/1800.64	v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776
1800.12/1800.64	v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797
1800.12/1800.64	v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818
1800.12/1800.64	v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839
1800.12/1800.64	v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860
1800.12/1800.64	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881
1800.12/1800.64	v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902
1800.12/1800.64	v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923
1800.12/1800.64	v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944
1800.12/1800.64	v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965
1800.12/1800.64	v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986
1800.12/1800.64	v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005
1800.12/1800.64	v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022
1800.12/1800.64	v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039
1800.12/1800.64	v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056
1800.12/1800.64	v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073
1800.12/1800.64	v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090
1800.12/1800.64	v -x1091 -x1092 -x1093 -x1094 x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107
1800.12/1800.64	v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 x1121 x1122 -x1123 -x1124 -x1125
1800.12/1800.64	v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142
1800.12/1800.64	v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159
1800.12/1800.64	v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176
1800.12/1800.64	v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193
1800.12/1800.64	v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210
1800.12/1800.64	v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227
1800.12/1800.64	v -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244
1800.12/1800.64	v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261
1800.12/1800.64	v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278
1800.12/1800.64	v -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295
1800.12/1800.64	v -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312
1800.12/1800.64	v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329
1800.12/1800.64	v -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346
1800.12/1800.64	v -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363
1800.12/1800.64	v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380
1800.12/1800.64	v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397
1800.12/1800.64	v -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414
1800.12/1800.64	v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431
1800.12/1800.64	v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448
1800.12/1800.64	v -x1449 -x1450 -x1451 -x1452 -x1453 x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465
1800.12/1800.64	v -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 x1482
1800.12/1800.64	v -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499
1800.12/1800.64	v -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 x1513 -x1514 -x1515 -x1516
1800.12/1800.64	v -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533
1800.12/1800.64	v -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550
1800.12/1800.64	v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567
1800.12/1800.64	v -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584
1800.12/1800.64	v -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601
1800.12/1800.64	v -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618
1800.12/1800.64	v -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635
1800.12/1800.64	v -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652
1800.12/1800.64	v -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669
1800.12/1800.64	v -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686
1800.12/1800.64	v -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703
1800.12/1800.64	v -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720
1800.12/1800.64	v -x1721 -x1722 x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737
1800.12/1800.64	v -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754
1800.12/1800.64	v -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771
1800.12/1800.64	v -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788
1800.12/1800.64	v -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805
1800.12/1800.64	v -x1806 -x1807 -x1808 -x1809 -x1810 x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822
1800.12/1800.64	v -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839
1800.12/1800.64	v -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856
1800.12/1800.64	v -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873
1800.12/1800.64	v -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890
1800.12/1800.64	v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907
1800.12/1800.64	v -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924
1800.12/1800.64	v -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941
1800.12/1800.64	v -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958
1800.12/1800.64	v -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975
1800.12/1800.64	v -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992
1800.12/1800.64	v -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009
1800.12/1800.64	v -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026
1800.12/1800.64	v -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043
1800.12/1800.64	v -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060
1800.12/1800.64	v -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077
1800.12/1800.64	v -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094
1800.12/1800.64	v -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111
1800.12/1800.64	v -x2112 -x2113 -x2114 x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128
1800.12/1800.64	v -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 x2142 -x2143 -x2144 -x2145
1800.12/1800.64	v -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162
1800.12/1800.64	v -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179
1800.12/1800.64	v -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196
1800.12/1800.64	v -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213
1800.12/1800.64	v -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230
1800.12/1800.64	v -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247
1800.12/1800.64	v -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264
1800.12/1800.64	v -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281
1800.12/1800.64	v -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298
1800.12/1800.64	v -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315
1800.12/1800.64	v -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332
1800.12/1800.64	v -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349
1800.12/1800.64	v -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366
1800.12/1800.64	v -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383
1800.12/1800.64	v -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400
1800.12/1800.64	v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417
1800.12/1800.64	v -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434
1800.12/1800.64	v -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451
1800.12/1800.64	v -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468
1800.12/1800.64	v -x2469 -x2470 -x2471 x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485
1800.12/1800.64	v -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502
1800.12/1800.64	v -x2503 x2504 x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520
1800.12/1800.64	v -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537
1800.12/1800.64	v -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554
1800.12/1800.64	v -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571
1800.12/1800.64	v -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588
1800.12/1800.64	v -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605
1800.12/1800.64	v -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622
1800.12/1800.64	v -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639
1800.12/1800.64	v -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656
1800.12/1800.64	v -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673
1800.12/1800.64	v -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 x2685 -x2686 -x2687 -x2688 -x2689 -x2690
1800.12/1800.64	v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707
1800.12/1800.64	v -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724
1800.12/1800.64	v -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741
1800.12/1800.64	v -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758
1800.12/1800.64	v -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775
1800.12/1800.64	v -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792
1800.12/1800.64	v -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809
1800.12/1800.64	v -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826
1800.12/1800.64	v -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843
1800.12/1800.64	v -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860
1800.12/1800.64	v -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877
1800.12/1800.64	v -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894
1800.12/1800.64	v -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911
1800.12/1800.64	v -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928
1800.12/1800.64	v -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945
1800.12/1800.64	v -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962
1800.12/1800.64	v -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979
1800.12/1800.64	v -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996
1800.12/1800.64	v -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 x3012 x3013 -x3014
1800.12/1800.64	v -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031
1800.12/1800.64	v -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048
1800.12/1800.64	v -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065
1800.12/1800.64	v -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082
1800.12/1800.64	v -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099
1800.12/1800.64	v -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116
1800.12/1800.64	v -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133
1800.12/1800.64	v -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150
1800.12/1800.64	v -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 x3165 -x3166 -x3167
1800.12/1800.64	v -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184
1800.12/1800.64	v -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201
1800.12/1800.64	v -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218
1800.12/1800.64	v -x3219 -x3220 x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235
1800.12/1800.64	v -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252
1800.12/1800.64	v -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269
1800.12/1800.64	v -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286
1800.12/1800.64	v -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303
1800.12/1800.64	v -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320
1800.12/1800.64	v -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337
1800.12/1800.64	v -x3338 -x3339 -x3340 x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354
1800.12/1800.64	v -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371
1800.12/1800.64	v -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388
1800.12/1800.64	v -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405
1800.12/1800.64	v -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422
1800.12/1800.64	v -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439
1800.12/1800.64	v -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456
1800.12/1800.64	v -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473
1800.12/1800.64	v -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490
1800.12/1800.64	v -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507
1800.12/1800.64	v -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524
1800.12/1800.64	v -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541
1800.12/1800.64	v -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 x3553 x3554 -x3555 -x3556 -x3557 -x3558 -x3559
1800.12/1800.64	v -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576
1800.12/1800.64	v -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593
1800.12/1800.64	v -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610
1800.12/1800.64	v -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627
1800.12/1800.64	v -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644
1800.12/1800.64	v -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661
1800.12/1800.64	v -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678
1800.12/1800.64	v -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695
1800.12/1800.64	v -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712
1800.12/1800.64	v -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729
1800.12/1800.64	v -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746
1800.12/1800.64	v -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763
1800.12/1800.64	v -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780
1800.12/1800.64	v -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797
1800.12/1800.64	v -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814
1800.12/1800.64	v -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831
1800.12/1800.64	v -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848
1800.12/1800.64	v -x3849 -x3850 -x3851 x3852 x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866
1800.12/1800.64	v -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883
1800.12/1800.64	v -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900
1800.12/1800.64	v -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 x3912 x3913 -x3914 -x3915 -x3916 -x3917 -x3918
1800.12/1800.64	v -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935
1800.12/1800.64	v -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952
1800.12/1800.64	v -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969
1800.12/1800.64	v -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986
1800.12/1800.64	v -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003
1800.12/1800.64	v -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020
1800.12/1800.64	v -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037
1800.12/1800.64	v -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054
1800.12/1800.64	v -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071
1800.12/1800.64	v -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088
1800.12/1800.64	v -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105
1800.12/1800.64	v -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122
1800.12/1800.64	v -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139
1800.12/1800.64	v -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156
1800.12/1800.64	v -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173
1800.12/1800.64	v -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190
1800.12/1800.64	v -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207
1800.12/1800.64	v -x4208 -x4209 -x4210 x4211 x4212 x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225
1800.12/1800.64	v -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242
1800.12/1800.64	v -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259
1800.12/1800.64	v -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 x4271 -x4272 -x4273 -x4274 x4275 -x4276 -x4277
1800.12/1800.64	v -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294
1800.12/1800.64	v -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311
1800.12/1800.64	v -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328
1800.12/1800.64	v -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 x4344 -x4345
1800.12/1800.64	v -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 x4357 x4358 -x4359 -x4360 -x4361 -x4362 -x4363
1800.12/1800.64	v -x4364 -x4365 -x4366 -x4367 -x4368 x4369 x4370 x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 x4378 -x4379 -x4380 x4381
1800.12/1800.64	v -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 x4391 x4392 x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399
1800.12/1800.64	v -x4400 -x4401 -x4402 x4403 x4404 -x4405 -x4406 -x4407 -x4408 -x4409 x4410 -x4411 -x4412 -x4413 -x4414 x4415 -x4416 -x4417
1800.12/1800.64	v -x4418 -x4419 -x4420 x4421 -x4422 -x4423 -x4424 -x4425 x4426 x4427 x4428 -x4429 -x4430 -x4431 x4432 -x4433 -x4434 -x4435
1800.12/1800.64	v -x4436 -x4437 -x4438 x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 x4449 -x4450 x4451 x4452 -x4453
1800.12/1800.64	v -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 x4461 -x4462 x4463 -x4464
1800.12/1800.64	
1800.12/1800.64	c user time= 1799.36 s
1800.12/1800.64	c system time= 0.807877 s
1800.12/1800.64	c wall clock time=1800.65

Verifier Data (download as text)

OK	4540416

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node57/watcher-357233-1176991862 -o ROOT/results/node57/solver-357233-1176991862 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357233-1176991862/instance-357233-1176991862.opb mod 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 20218
/proc/meminfo: memFree=1623376/2055920 swapFree=4183112/4192956
[pid=20218] ppid=20216 vsize=1468 CPUtime=0
/proc/20218/stat : 20218 (oree) R 20216 20218 19209 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 140322186 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272576 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20218/statm: 367 161 127 317 0 46 0

[startup+0.0174459 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 20218
/proc/meminfo: memFree=1623376/2055920 swapFree=4183112/4192956
[pid=20218] ppid=20216 vsize=1752 CPUtime=0.01
/proc/20218/stat : 20218 (oree) R 20216 20218 19209 0 -1 4194304 229 0 0 0 1 0 0 0 18 0 1 0 140322186 1794048 211 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135273438 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20218/statm: 438 211 130 317 0 117 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1752

[startup+0.101454 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 20218
/proc/meminfo: memFree=1623376/2055920 swapFree=4183112/4192956
[pid=20218] ppid=20216 vsize=3132 CPUtime=0.09
/proc/20218/stat : 20218 (oree) R 20216 20218 19209 0 -1 4194304 571 0 0 0 9 0 0 0 18 0 1 0 140322186 3207168 553 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20218/statm: 783 553 137 317 0 462 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3132

[startup+0.301471 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 20218
/proc/meminfo: memFree=1623376/2055920 swapFree=4183112/4192956
[pid=20218] ppid=20216 vsize=3664 CPUtime=0.29
/proc/20218/stat : 20218 (oree) R 20216 20218 19209 0 -1 4194304 742 0 0 0 29 0 0 0 19 0 1 0 140322186 3751936 724 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284242 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20218/statm: 916 724 170 317 0 595 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3664

[startup+0.701505 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 20218
/proc/meminfo: memFree=1623376/2055920 swapFree=4183112/4192956
[pid=20218] ppid=20216 vsize=5836 CPUtime=0.69
/proc/20218/stat : 20218 (oree) R 20216 20218 19209 0 -1 4194304 1202 0 0 0 69 0 0 0 23 0 1 0 140322186 5976064 1184 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279003 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20218/statm: 1459 1184 170 317 0 1138 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5836

[startup+1.50157 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 20219
/proc/meminfo: memFree=1618184/2055920 swapFree=4183112/4192956
[pid=20218] ppid=20216 vsize=9440 CPUtime=1.49
/proc/20218/stat : 20218 (oree) R 20216 20218 19209 0 -1 4194304 1966 0 0 0 149 0 0 0 25 0 1 0 140322186 9666560 1948 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593398 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20218/statm: 2360 1948 170 317 0 2039 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9440

[startup+3.10171 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 20219
/proc/meminfo: memFree=1614344/2055920 swapFree=4183112/4192956
[pid=20218] ppid=20216 vsize=14908 CPUtime=3.09
/proc/20218/stat : 20218 (oree) R 20216 20218 19209 0 -1 4194304 3165 0 0 0 308 1 0 0 25 0 1 0 140322186 15265792 3147 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270603 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20218/statm: 3727 3147 170 317 0 3406 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14908

[startup+6.30199 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 20219
/proc/meminfo: memFree=1603976/2055920 swapFree=4183112/4192956
[pid=20218] ppid=20216 vsize=24640 CPUtime=6.29
/proc/20218/stat : 20218 (oree) R 20216 20218 19209 0 -1 4194304 5401 0 0 0 628 1 0 0 25 0 1 0 140322186 25231360 5383 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20218/statm: 6160 5383 170 317 0 5839 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24640

[startup+12.7015 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 20219
/proc/meminfo: memFree=1587144/2055920 swapFree=4183112/4192956
[pid=20218] ppid=20216 vsize=42480 CPUtime=12.69
/proc/20218/stat : 20218 (oree) R 20216 20218 19209 0 -1 4194304 9449 0 0 0 1266 3 0 0 25 0 1 0 140322186 43499520 9431 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20218/statm: 10620 9431 170 317 0 10299 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42480

[startup+25.5017 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 20219
/proc/meminfo: memFree=1563592/2055920 swapFree=4183112/4192956
[pid=20218] ppid=20216 vsize=67856 CPUtime=25.48
/proc/20218/stat : 20218 (oree) R 20216 20218 19209 0 -1 4194304 15119 0 0 0 2543 5 0 0 25 0 1 0 140322186 69484544 15101 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20218/statm: 16964 15101 170 317 0 16643 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 67856

[startup+51.1019 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 20219
/proc/meminfo: memFree=1518728/2055920 swapFree=4183112/4192956
[pid=20218] ppid=20216 vsize=117552 CPUtime=51.08
/proc/20218/stat : 20218 (oree) R 20216 20218 19209 0 -1 4194304 26349 0 0 0 5097 11 0 0 25 0 1 0 140322186 120373248 26331 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564037 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20218/statm: 29388 26331 170 317 0 29067 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 117552

[startup+102.304 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 20219
/proc/meminfo: memFree=1453384/2055920 swapFree=4183112/4192956
[pid=20218] ppid=20216 vsize=194904 CPUtime=102.27
/proc/20218/stat : 20218 (oree) R 20216 20218 19209 0 -1 4194304 42532 0 0 0 10210 17 0 0 25 0 1 0 140322186 199581696 42514 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20218/statm: 48726 42514 170 317 0 48405 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 194904

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 20219
/proc/meminfo: memFree=1398024/2055920 swapFree=4183112/4192956
[pid=20218] ppid=20216 vsize=260624 CPUtime=162.25
/proc/20218/stat : 20218 (oree) R 20216 20218 19209 0 -1 4194304 56422 0 0 0 16204 21 0 0 25 0 1 0 140322186 266878976 56404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606624 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20218/statm: 65156 56404 170 317 0 64835 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 260624

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 20219
/proc/meminfo: memFree=1345032/2055920 swapFree=4183112/4192956
[pid=20218] ppid=20216 vsize=325856 CPUtime=222.23
/proc/20218/stat : 20218 (oree) R 20216 20218 19209 0 -1 4194304 69542 0 0 0 22198 25 0 0 25 0 1 0 140322186 333676544 69524 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20218/statm: 81464 69524 170 317 0 81143 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 325856

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 20219
/proc/meminfo: memFree=1309960/2055920 swapFree=4183112/4192956
[pid=20218] ppid=20216 vsize=366916 CPUtime=282.21
/proc/20218/stat : 20218 (oree) R 20216 20218 19209 0 -1 4194304 78359 0 0 0 28193 28 0 0 25 0 1 0 140322186 375721984 78341 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20218/statm: 91729 78341 170 317 0 91408 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 366916

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 20219
/proc/meminfo: memFree=1275272/2055920 swapFree=4183112/4192956
[pid=20218] ppid=20216 vsize=406740 CPUtime=342.2
/proc/20218/stat : 20218 (oree) R 20216 20218 19209 0 -1 4194304 86967 0 0 0 34188 32 0 0 25 0 1 0 140322186 416501760 86949 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20218/statm: 101685 86949 170 317 0 101364 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 406740

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 20219
/proc/meminfo: memFree=1246728/2055920 swapFree=4183112/4192956
[pid=20218] ppid=20216 vsize=439388 CPUtime=402.19
/proc/20218/stat : 20218 (oree) R 20216 20218 19209 0 -1 4194304 94033 0 0 0 40183 36 0 0 25 0 1 0 140322186 449933312 94015 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20218/statm: 109847 94015 170 317 0 109526 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 439388

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 20219
/proc/meminfo: memFree=1219656/2055920 swapFree=4183112/4192956
[pid=20218] ppid=20216 vsize=469588 CPUtime=462.16
/proc/20218/stat : 20218 (oree) R 20216 20218 19209 0 -1 4194304 100812 0 0 0 46178 38 0 0 25 0 1 0 140322186 480858112 100794 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20218/statm: 117397 100794 170 317 0 117076 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 469588

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 20219
/proc/meminfo: memFree=1191688/2055920 swapFree=4183112/4192956
[pid=20218] ppid=20216 vsize=504148 CPUtime=522.15
/proc/20218/stat : 20218 (oree) R 20216 20218 19209 0 -1 4194304 107850 0 0 0 52174 41 0 0 25 0 1 0 140322186 516247552 107832 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272599 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20218/statm: 126037 107832 170 317 0 125716 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 504148

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 20219
/proc/meminfo: memFree=1145608/2055920 swapFree=4183112/4192956
[pid=20218] ppid=20216 vsize=577348 CPUtime=582.14
/proc/20218/stat : 20218 (oree) R 20216 20218 19209 0 -1 4194304 119357 0 0 0 58169 45 0 0 25 0 1 0 140322186 591204352 119281 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134554578 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20218/statm: 144337 119281 170 317 0 144016 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 577348

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 20219
/proc/meminfo: memFree=1120520/2055920 swapFree=4183112/4192956
[pid=20218] ppid=20216 vsize=604372 CPUtime=642.13
/proc/20218/stat : 20218 (oree) R 20216 20218 19209 0 -1 4194304 125560 0 0 0 64164 49 0 0 25 0 1 0 140322186 618876928 125484 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20218/statm: 151093 125484 170 317 0 150772 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 604372


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

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 20219
/proc/meminfo: memFree=1025480/2055920 swapFree=4183112/4192956
[pid=20218] ppid=20216 vsize=709224 CPUtime=942.04
/proc/20218/stat : 20218 (oree) R 20216 20218 19209 0 -1 4194304 149284 0 0 0 94146 58 0 0 25 0 1 0 140322186 726245376 149208 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20218/statm: 177306 149208 170 317 0 176985 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 709224

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 20219
/proc/meminfo: memFree=1009928/2055920 swapFree=4183112/4192956
[pid=20218] ppid=20216 vsize=725884 CPUtime=1002.03
/proc/20218/stat : 20218 (oree) R 20216 20218 19209 0 -1 4194304 153117 0 0 0 100143 60 0 0 25 0 1 0 140322186 743305216 153041 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20218/statm: 181471 153041 170 317 0 181150 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 725884

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 20221
/proc/meminfo: memFree=993096/2055920 swapFree=4183112/4192956
[pid=20218] ppid=20216 vsize=744928 CPUtime=1062.01
/proc/20218/stat : 20218 (oree) R 20216 20218 19209 0 -1 4194304 157357 0 0 0 106140 61 0 0 25 0 1 0 140322186 762806272 157281 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20218/statm: 186232 157281 170 317 0 185911 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 744928

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 20221
/proc/meminfo: memFree=974472/2055920 swapFree=4183112/4192956
[pid=20218] ppid=20216 vsize=765304 CPUtime=1122
/proc/20218/stat : 20218 (oree) R 20216 20218 19209 0 -1 4194304 161971 0 0 0 112137 63 0 0 25 0 1 0 140322186 783671296 161895 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20218/statm: 191326 161895 170 317 0 191005 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 765304

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 20221
/proc/meminfo: memFree=955656/2055920 swapFree=4183112/4192956
[pid=20218] ppid=20216 vsize=786276 CPUtime=1181.98
/proc/20218/stat : 20218 (oree) R 20216 20218 19209 0 -1 4194304 166704 0 0 0 118134 64 0 0 25 0 1 0 140322186 805146624 166628 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20218/statm: 196569 166628 170 317 0 196248 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 786276

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 20221
/proc/meminfo: memFree=932616/2055920 swapFree=4183112/4192956
[pid=20218] ppid=20216 vsize=820784 CPUtime=1241.96
/proc/20218/stat : 20218 (oree) R 20216 20218 19209 0 -1 4194304 172398 0 0 0 124130 66 0 0 25 0 1 0 140322186 840482816 172322 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604372 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20218/statm: 205196 172322 170 317 0 204875 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 820784

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 20221
/proc/meminfo: memFree=917064/2055920 swapFree=4183112/4192956
[pid=20218] ppid=20216 vsize=836312 CPUtime=1301.95
/proc/20218/stat : 20218 (oree) R 20216 20218 19209 0 -1 4194304 176246 0 0 0 130127 68 0 0 25 0 1 0 140322186 856383488 176170 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20218/statm: 209078 176170 170 317 0 208757 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 836312

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 20221
/proc/meminfo: memFree=903560/2055920 swapFree=4183112/4192956
[pid=20218] ppid=20216 vsize=853224 CPUtime=1361.93
/proc/20218/stat : 20218 (oree) R 20216 20218 19209 0 -1 4194304 179623 0 0 0 136124 69 0 0 25 0 1 0 140322186 873701376 179547 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20218/statm: 213306 179547 170 317 0 212985 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 853224

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 20221
/proc/meminfo: memFree=889032/2055920 swapFree=4183112/4192956
[pid=20218] ppid=20216 vsize=868420 CPUtime=1421.92
/proc/20218/stat : 20218 (oree) R 20216 20218 19209 0 -1 4194304 183231 0 0 0 142121 71 0 0 25 0 1 0 140322186 889262080 183155 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20218/statm: 217105 183155 170 317 0 216784 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 868420

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 20221
/proc/meminfo: memFree=871688/2055920 swapFree=4183112/4192956
[pid=20218] ppid=20216 vsize=886944 CPUtime=1481.9
/proc/20218/stat : 20218 (oree) R 20216 20218 19209 0 -1 4194304 187599 0 0 0 148117 73 0 0 25 0 1 0 140322186 908230656 187523 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20218/statm: 221736 187523 170 317 0 221415 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 886944

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 20221
/proc/meminfo: memFree=857736/2055920 swapFree=4183112/4192956
[pid=20218] ppid=20216 vsize=901940 CPUtime=1541.88
/proc/20218/stat : 20218 (oree) R 20216 20218 19209 0 -1 4194304 191048 0 0 0 154114 74 0 0 25 0 1 0 140322186 923586560 190972 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20218/statm: 225485 190972 170 317 0 225164 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 901940

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 20221
/proc/meminfo: memFree=843144/2055920 swapFree=4183112/4192956
[pid=20218] ppid=20216 vsize=917228 CPUtime=1601.87
/proc/20218/stat : 20218 (oree) R 20216 20218 19209 0 -1 4194304 194714 0 0 0 160111 76 0 0 25 0 1 0 140322186 939241472 194638 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20218/statm: 229307 194638 170 317 0 228986 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 917228

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 20221
/proc/meminfo: memFree=830472/2055920 swapFree=4183112/4192956
[pid=20218] ppid=20216 vsize=932444 CPUtime=1661.85
/proc/20218/stat : 20218 (oree) R 20216 20218 19209 0 -1 4194304 197842 0 0 0 166108 77 0 0 25 0 1 0 140322186 954822656 197766 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20218/statm: 233111 197766 170 317 0 232790 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 932444

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 20221
/proc/meminfo: memFree=816648/2055920 swapFree=4183112/4192956
[pid=20218] ppid=20216 vsize=948220 CPUtime=1721.83
/proc/20218/stat : 20218 (oree) R 20216 20218 19209 0 -1 4194304 201305 0 0 0 172105 78 0 0 25 0 1 0 140322186 970977280 201229 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20218/statm: 237055 201229 170 317 0 236734 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 948220

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 20221
/proc/meminfo: memFree=801864/2055920 swapFree=4183112/4192956
[pid=20218] ppid=20216 vsize=964164 CPUtime=1781.82
/proc/20218/stat : 20218 (oree) R 20216 20218 19209 0 -1 4194304 204966 0 0 0 178102 80 0 0 25 0 1 0 140322186 987303936 204890 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20218/statm: 241041 204890 170 317 0 240720 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 964164



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 20221
/proc/meminfo: memFree=797704/2055920 swapFree=4183112/4192956
[pid=20218] ppid=20216 vsize=969268 CPUtime=1800.02
/proc/20218/stat : 20218 (oree) R 20216 20218 19209 0 -1 4194304 205980 0 0 0 179922 80 0 0 25 0 1 0 140322186 992530432 205904 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712551 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20218/statm: 242317 205904 170 317 0 241996 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 969268

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.61 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 20222
/proc/meminfo: memFree=797696/2055920 swapFree=4183112/4192956
[pid=20218] ppid=20216 vsize=969268 CPUtime=1800.12
/proc/20218/stat : 20218 (oree) R 20216 20218 19209 0 -1 4194304 205980 0 0 0 179932 80 0 0 25 0 1 0 140322186 992530432 205904 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20218/statm: 242317 205904 170 317 0 241996 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 969268

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 20222
/proc/meminfo: memFree=797696/2055920 swapFree=4183112/4192956
[pid=20218] ppid=20216 vsize=0 CPUtime=1800.22
/proc/20218/stat : 20218 (oree) R 20216 20218 19209 0 -1 4194308 205996 0 0 0 179936 86 0 0 25 0 1 0 140322186 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20218/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.79
CPU time (s): 1800.31
CPU user time (s): 1799.37
CPU system time (s): 0.940856
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 969268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.37
system time used= 0.940856
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 205996
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= 9
involuntary context switches= 1746

runsolver used 1.24981 second user time and 3.69444 second system time

The end

Launcher Data (download as text)

Begin job on node57 on Thu Apr 19 14:11:02 UTC 2007

IDJOB= 357233
IDBENCH= 2294
IDSOLVER= 172
FILE ID= node57/357233-1176991862

PBS_JOBID= 4630425

Free space on /tmp= 66455 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x12.opb
COMMAND LINE= oree /tmp/evaluation/357233-1176991862/instance-357233-1176991862.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node57/watcher-357233-1176991862 -o ROOT/results/node57/solver-357233-1176991862 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357233-1176991862/instance-357233-1176991862.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  56c71282ea86eaaf05df174b87b01c4e

RANDOM SEED= 202510903

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node57.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.239
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.239
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1623784 kB
Buffers:          9216 kB
Cached:         374840 kB
SwapCached:       3544 kB
Active:         142728 kB
Inactive:       251492 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1623784 kB
SwapTotal:     4192956 kB
SwapFree:      4183112 kB
Dirty:            1596 kB
Writeback:           0 kB
Mapped:          16164 kB
Slab:            23968 kB
Committed_AS:   914668 kB
PageTables:       1408 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= 66455 MiB

End job on node57 on Thu Apr 19 14:41:05 UTC 2007