Trace number 2699042

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
PB/CT 0.1 fixedMSAT (TO) 1800.07 1800.02

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6010_2-unsat--soft-33-100-0.wbo
MD5SUMc0c0bebc7e31a6df8b165cc7ff9f27e8
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark0.072988
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables7564
Total number of constraints23412
Number of soft constraints15681
Number of constraints which are clauses23168
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints244
Minimum length of a constraint1
Maximum length of a constraint50
Top cost 793815
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 793814
Biggest number in a constraint 44
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 333
Number of bits of the biggest sum of numbers9
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.00/0.00	c PB/CT 0.1.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.19/0.26	c constraints 82/162 clauses 6443/13732 units 400
0.19/0.26	c vars 7564
2.99/3.01	c 1.9647 152.969 227 639321
2.99/3.01	o 78967
3.09/3.10	c 1.9927 155.809 243 669457
3.09/3.10	o 78939
3.09/3.18	c 2.01569 155.809 256 703772
3.09/3.18	o 69070
3.19/3.22	c 2.03669 155.809 260 717492
3.19/3.22	o 67115
3.39/3.44	c 2.15267 156.324 374 756838
3.39/3.44	o 44641
3.69/3.73	c 2.27265 156.582 490 781234
3.69/3.73	o 38281
3.89/3.94	c 2.37464 156.84 616 818624
3.89/3.94	o 34689
3.89/3.99	c 2.39963 156.84 623 835483
3.89/3.99	o 34084
3.99/4.05	c 2.42263 156.84 632 847218
3.99/4.05	o 34081
4.09/4.14	c 2.45963 156.969 655 873739
4.09/4.14	o 32954
4.09/4.19	c 2.48062 156.969 661 890367
4.09/4.19	o 31078
4.59/4.67	c 2.67259 157.355 852 916375
4.59/4.67	o 31075
4.69/4.72	c 2.69259 157.355 858 934292
4.69/4.72	o 25691
4.79/4.80	c 2.72358 157.355 869 951714
4.79/4.80	o 25685
4.79/4.89	c 2.75558 157.355 887 979595
4.79/4.89	o 24279
4.99/5.05	c 2.80857 157.484 938 995777
4.99/5.05	o 24271
5.09/5.11	c 2.83557 157.484 945 1016547
5.09/5.11	o 20282
5.09/5.16	c 2.85656 157.484 951 1027578
5.09/5.16	o 20280
5.40/5.50	c 2.97755 157.613 1063 1056312
5.40/5.50	o 20278
5.49/5.55	c 3.00254 157.613 1067 1072855
5.49/5.55	o 18948
5.59/5.61	c 3.02554 157.613 1072 1083969
5.59/5.61	o 18946
5.79/5.83	c 3.12053 157.742 1188 1107872
5.79/5.83	o 18944
5.89/5.90	c 3.15052 157.742 1201 1133385
5.89/5.90	o 17787
6.19/6.25	c 3.2815 158.043 1322 1157598
6.19/6.25	o 17786
6.39/6.48	c 3.38948 158.172 1435 1193531
6.39/6.48	o 17163
6.50/6.53	c 3.40948 158.172 1438 1203327
6.50/6.53	o 17161
6.50/6.59	c 3.43948 158.172 1443 1220980
6.50/6.59	o 17149
7.19/7.25	c 3.77942 158.816 1945 1244580
7.19/7.25	o 17147
7.29/7.32	c 3.81642 158.816 1957 1252856
7.29/7.32	o 17146
7.29/7.38	c 3.84442 158.816 1963 1266016
7.29/7.38	o 17145
7.39/7.45	c 3.87141 158.816 1970 1280344
7.39/7.45	o 17144
7.49/7.50	c 3.89141 158.816 1974 1297996
7.49/7.50	o 16100
7.49/7.56	c 3.9194 158.816 1979 1309248
7.49/7.56	o 16094
7.59/7.63	c 3.9494 158.816 1990 1332592
7.59/7.63	o 14772
9.30/9.30	c 4.69429 160.492 3402 1400300
9.30/9.30	o 14771
9.69/9.73	c 4.88926 160.879 3716 1444273
9.69/9.73	o 14769
25.79/25.82	c 10.5844 171.77 12725 1615412
25.79/25.82	o 14106
25.79/25.87	c 10.6124 171.77 12729 1630003
25.79/25.87	o 14024
25.89/25.92	c 10.6344 171.77 12730 1641993
25.89/25.92	o 14022
25.89/25.98	c 10.6624 171.77 12738 1656643
25.89/25.98	o 14020
25.99/26.06	c 10.7134 171.77 12747 1674602
25.99/26.06	o 14019
32.09/32.19	c 13.078 173.961 9239 1779521
32.09/32.19	o 14018
40.70/40.76	c 16.2185 173.961 13823 1966077
40.70/40.76	o 14017
92.80/92.87	c 33.9768 177.664 11953 2341095
92.80/92.87	o 14016
107.70/107.71	c 39.342 177.664 14282 2560144
107.70/107.71	o 14015
123.40/123.43	c 44.9742 177.664 8182 2810000
123.40/123.43	o 14014
294.81/294.89	c 104.24 187.203 15937 4444512
294.81/294.89	o 14013
296.90/296.99	c 105.207 187.203 9806 4543050
296.90/296.99	o 14012
410.70/410.73	c 145.142 187.203 12585 5233474
410.70/410.73	o 14010
413.70/413.75	c 146.285 187.203 14047 5304315
413.70/413.75	o 14009
482.20/482.21	c 171.078 187.203 11397 6150812
482.20/482.21	o 14008
484.10/484.15	c 171.678 187.203 12051 6204717
484.10/484.15	o 14007
485.01/485.02	c 171.952 187.203 12276 6225279
485.01/485.02	o 14006
490.61/490.68	c 174.149 187.203 8565 6333002
490.61/490.68	o 14005
493.10/493.11	c 175.086 187.203 10108 6388231
493.10/493.11	o 14004
494.11/494.17	c 175.505 187.203 10943 6448024
494.11/494.17	o 14002
639.71/639.79	c 228.345 187.203 13318 7823896
639.71/639.79	o 14001
646.61/646.62	c 230.973 187.203 10178 7953207
646.61/646.62	o 14000
867.92/867.98	c 338.929 194.426 15171 9001911
867.92/867.98	o 13997
880.72/880.73	c 348.312 194.426 8034 9212156
880.72/880.73	o 13996
922.22/922.28	c 378.64 194.426 7960 9648581
922.22/922.28	o 13995
922.72/922.76	c 379.013 194.426 8151 9675300
922.72/922.76	o 13994
1059.83/1059.83	c 477.918 194.426 12641 11057634
1059.83/1059.83	o 13993
1129.12/1129.11	c 527.803 194.426 10037 11694975
1129.12/1129.11	o 13992
1237.13/1237.13	c 607.532 194.426 14085 12726850
1237.13/1237.13	o 13990
1242.53/1242.53	c 611.483 194.426 10109 12829758
1242.53/1242.53	o 13989
1259.44/1259.49	c 623.812 194.426 12946 13026889
1259.44/1259.49	o 13988
1286.13/1286.18	c 643.152 194.426 13023 13376048
1286.13/1286.18	o 13987
1380.54/1380.56	c 711.412 194.426 10825 14268909
1380.54/1380.57	o 13985
1447.94/1447.95	c 759.821 194.426 13851 15003411
1447.94/1447.95	o 13984
1479.64/1479.67	c 782.959 194.426 11092 15402519
1479.64/1479.67	o 13983
1762.25/1762.24	c 984.208 200.355 9276 16054803
1762.25/1762.24	o 13982
1765.14/1765.14	c 986.36 200.355 10929 16168889
1765.14/1765.14	o 13981
1774.14/1774.18	c 993.043 200.355 9713 16278301
1774.14/1774.18	o 13980
1776.65/1776.69	c 994.911 200.355 11832 16338251
1776.65/1776.69	o 13979
1785.64/1785.61	c 1001.34 200.355 9784 16502693
1785.64/1785.61	o 13978
1800.05/1800.00	s SATISFIABLE
1800.05/1800.00	v x1 -x2 -x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 -x64 -x65 -x66 -x67 -x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 -x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x230 x231 x232 x233 x234 x235 x236 x237 x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 x296 x297 x298 x299 x300 x301 x302 x303 x304 x305 x306 x307 x308 x309 x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 x321 x322 x323 x324 x325 -x326 x327 x328 x329 x330 x331 x332 x333 x334 x335 x336 x337 x338 x339 x340 x341 x342 x343 x344 x345 x346 x347 x348 x349 x350 x351 x352 x353 x354 x355 x356 x357 x358 x359 x360 x361 x362 x363 x364 x365 x366 x367 x368 x369 x370 x371 x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 x385 x386 x387 x388 x389 x390 x391 x392 x393 x394 x395 x396 x397 x398 x399 x400 x401 x402 x403 x404 x405 x406 x407 x408 x409 x410 x411 x412 x413 x414 x415 x416 x417 x418 x419 x420 x421 x422 x423 x424 x425 x426 x427 x428 x429 x430 x431 x432 x433 x434 x435 -x436 -x437 -x438 -x439 x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 x454 x455 x456 -x457 -x458 -x459 -x460 x461 x462 x463 x464 x465 x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 x474 x475 x476 x477 x478 x479 x480 x481 x482 x483 x484 -x485 -x486 -x487 x488 x489 x490 x491 -x492 -x493 -x494 -x495 x496 x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 x509 x510 x511 x512 x513 x514 x515 x516 x517 x518 x519 x520 x521 x522 x523 x524 x525 x526 x527 x528 x529 x530 x531 x532 x533 x534 x535 x536 x537 x538 x539 x540 -x541 x542 x543 x544 x545 x546 x547 x548 x549 x550 x551 x552 x553 x554 x555 x556 x557 x558 x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 x582 x583 x584 x585 x586 x587 x588 x589 x590 x591 x592 x593 x594 x595 x596 x597 x598 x599 x600 x601 x602 x603 x604 x605 x606 x607 x608 x609 x610 x611 x612 x613 x614 x615 x616 x617 x618 x619 x620 x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 x632 x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 x649 x650 x651 x652 x653 x654 x655 x656 x657 x658 x659 x660 x661 x662 x663 x664 x665 x666 x667 x668 x669 x670 x671 x672 x673 x674 x675 x676 x677 x678 x679 x680 x681 x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 x703 x704 x705 x706 x707 x708 x709 x710 x711 x712 x713 x714 x715 x716 x717 x718 x719 x720 x721 -x722 -x723 x724 x725 x726 x727 x728 x729 x730 x731 x732 x733 x734 x735 x736 x737 x738 x739 x740 x741 x742 x743 x744 x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 x779 x780 -x781 -x782 -x783 -x784 x785 x786 x787 x788 x789 x790 x791 x792 x793 x794 x795 x796 x797 x798 x799 x800 x801 x802 x803 x804 x805 x806 x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 x830 x831 x832 x833 x834 x835 x836 x837 x838 x839 x840 x841 x842 x843 x844 x845 x846 x847 x848 x849 x850 x851 x852 x853 x854 x855 x856 x857 x858 x859 x860 x861 x862 x863 x864 x865 x866 x867 x868 x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 x897 x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 x916 x917 x918 -x919 -x920 x921 x922 x923 x924 x925 x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 x946 x947 x948 x949 x950 x951 x952 x953 x954 x955 x956 x957 x958 x959 x960 x961 x962 x963 x964 x965 x966 x967 x968 x969 x970 x971 x972 x973 x974 x975 x976 x977 x978 x979 x980 x981 x982 x983 x984 x985 x986 x987 x988 x989 x990 x991 x992 x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 x1020 x1021 x1022 x1023 x1024 x1025 x1026 x1027 x1028 x1029 x1030 x1031 x1032 x1033 x1034 x1035 x1036 x1037 x1038 x1039 x1040 x1041 x1042 x1043 x1044 x1045 x1046 x1047 x1048 x1049 x1050 x1051 x1052 x1053 x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 x1076 x1077 x1078 x1079 x1080 x1081 x1082 x1083 x1084 x1085 x1086 x1087 x1088 x1089 x1090 x1091 x1092 x1093 x1094 x1095 x1096 x1097 x1098 x1099 x1100 x1101 x1102 x1103 x1104 x1105 x1106 x1107 x1108 x1109 x1110 x1111 x1112 x1113 x1114 x1115 x1116 x1117 x1118 x1119 x1120 x1121 x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 x1149 x1150 x1151 x1152 x1153 x1154 x1155 x1156 x1157 x1158 x1159 x1160 x1161 x1162 x1163 x1164 x1165 x1166 x1167 x1168 x1169 x1170 x1171 x1172 x1173 -x1174 x1175 x1176 x1177 x1178 x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 x1218 x1219 x1220 x1221 x1222 x1223 x1224 x1225 x1226 x1227 x1228 x1229 x1230 x1231 x1232 x1233 x1234 x1235 x1236 x1237 x1238 x1239 x1240 x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 x1268 x1269 x1270 x1271 x1272 x1273 x1274 x1275 x1276 x1277 x1278 x1279 x1280 x1281 x1282 x1283 x1284 x1285 x1286 x1287 x1288 x1289 x1290 -x1291 x1292 x1293 x1294 x1295 x1296 x1297 x1298 x1299 x1300 x1301 x1302 x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 x1342 x1343 x1344 x1345 x1346 x1347 x1348 x1349 x1350 x1351 x1352 x1353 x1354 x1355 x1356 x1357 x1358 x1359 x1360 x1361 x1362 x1363 x1364 x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 x1394 x1395 x1396 x1397 x1398 x1399 x1400 x1401 x1402 x1403 x1404 x1405 x1406 x1407 x1408 x1409 x1410 x1411 x1412 x1413 x1414 x1415 x1416 x1417 x1418 x1419 x1420 x1421 x1422 x1423 x1424 x1425 x1426 x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 x1468 x1469 x1470 x1471 x1472 x1473 x1474 x1475 x1476 x1477 x1478 x1479 x1480 x1481 x1482 x1483 x1484 x1485 x1486 x1487 x1488 x1489 -x1490 x1491 x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 x1520 -x1521 -x1522 -x1523 x1524 x1525 x1526 x1527 x1528 x1529 x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 x1538 x1539 x1540 x1541 x1542 x1543 x1544 x1545 x1546 -x1547 -x1548 x1549 x1550 x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 x1579 -x1580 -x1581 x1582 x1583 x1584 x1585 x1586 x1587 x1588 x1589 x1590 x1591 x1592 x1593 x1594 x1595 x1596 x1597 x1598 x1599 x1600 x1601 x1602 x1603 x1604 x1605 x1606 x1607 x1608 x1609 x1610 x1611 x1612 x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 x1647 x1648 x1649 x1650 x1651 x1652 x1653 x1654 x1655 x1656 x1657 x1658 x1659 x1660 x1661 x1662 x1663 x1664 x1665 x1666 x1667 x1668 x1669 x1670 x1671 x1672 x1673 x1674 x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 x1708 -x1709 -x1710 -x1711 x1712 x1713 x1714 x1715 x1716 x1717 x1718 x1719 x1720 -x1721 -x1722 -x1723 -x1724 x1725 x1726 x1727 x1728 x1729 x1730 -x1731 -x1732 -x1733 x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 x1781 -x1782 -x1783 -x1784 -x1785 -x1786 x1787 x1788 x1789 x1790 x1791 -x1792 x1793 x1794 x1795 x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 x1815 x1816 x1817 x1818 x1819 x1820 x1821 x1822 x1823 x1824 x1825 x1826 x1827 x1828 x1829 x1830 x1831 x1832 x1833 x1834 x1835 x1836 x1837 x1838 x1839 x1840 x1841 x1842 x1843 x1844 x1845 x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 x1855 x1856 x1857 x1858 x1859 x1860 x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 x1895 x1896 x1897 x1898 x1899 x1900 x1901 -x1902 x1903 x1904 x1905 x1906 x1907 x1908 x1909 x1910 x1911 x1912 x1913 x1914 x1915 x1916 x1917 x1918 x1919 x1920 x1921 x1922 x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 x1960 x1961 x1962 x1963 x1964 x1965 x1966 x1967 x1968 x1969 x1970 x1971 x1972 -x1973 -x1974 -x1975 -x1976 x1977 x1978 x1979 x1980 -x1981 x1982 x1983 x1984 x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 x2008 x2009 x2010 x2011 x2012 x2013 x2014 x2015 x2016 x2017 x2018 x2019 x2020 x2021 x2022 x2023 x2024 x2025 -x2026 -x2027 -x2028 x2029 -x2030 -x2031 x2032 x2033 x2034 x2035 x2036 x2037 x2038 x2039 x2040 x2041 x2042 x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 x2083 x2084 x2085 x2086 x2087 x2088 x2089 x2090 x2091 x2092 x2093 x2094 x2095 x2096 x2097 x2098 x2099 x2100 x2101 x2102 x2103 x2104 x2105 x2106 x2107 x2108 x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 x2149 x2150 x2151 x2152 x2153 x2154 x2155 x2156 x2157 x2158 x2159 x2160 x2161 x2162 x2163 x2164 x2165 x2166 x2167 x2168 x2169 x2170 x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 x2210 x2211 -x2212 x2213 -x2214 x2215 x2216 x2217 x2218 x2219 x2220 x2221 x2222 x2223 x2224 x2225 x2226 x2227 x2228 x2229 x2230 x2231 x2232 x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 x2268 x2269 x2270 x2271 x2272 x2273 -x2274 -x2275 -x2276 -x2277 x2278 x2279 x2280 x2281 x2282 x2283 x2284 x2285 x2286 x2287 x2288 x2289 x2290 x2291 x2292 x2293 x2294 x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 x2317 x2318 x2319 x2320 x2321 x2322 x2323 x2324 x2325 x2326 x2327 x2328 x2329 x2330 x2331 x2332 x2333 x2334 x2335 x2336 x2337 x2338 x2339 x2340 x2341 x2342 x2343 x2344 x2345 x2346 x2347 x2348 x2349 x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 x2393 x2394 x2395 x2396 -x2397 x2398 x2399 x2400 x2401 x2402 x2403 x2404 x2405 x2406 x2407 x2408 x2409 x2410 x2411 x2412 x2413 x2414 x2415 x2416 x2417 x2418 x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 x2451 x2452 x2453 x2454 x2455 x2456 x2457 x2458 x2459 x2460 x2461 x2462 x2463 x2464 x2465 x2466 x2467 x2468 x2469 x2470 x2471 x2472 x2473 x2474 x2475 x2476 x2477 x2478 x2479 x2480 x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 x2515 x2516 x2517 -x2518 -x2519 -x2520 -x2521 x2522 x2523 x2524 x2525 x2526 x2527 x2528 x2529 x2530 x2531 x2532 x2533 x2534 x2535 x2536 x2537 x2538 x2539 x2540 x2541 x2542 x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 x2585 -x2586 x2587 x2588 x2589 x2590 x2591 x2592 x2593 x2594 x2595 -x2596 -x2597 -x2598 x2599 x2600 x2601 x2602 x2603 x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 x2639 x2640 x2641 x2642 x2643 x2644 x2645 x2646 x2647 x2648 x2649 x2650 x2651 x2652 x2653 x2654 x2655 x2656 x2657 x2658 x2659 x2660 x2661 x2662 x2663 x2664 x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 x2699 x2700 x2701 x2702 x2703 x2704 x2705 x2706 x2707 x2708 x2709 x2710 x2711 -x2712 -x2713 -x2714 x2715 x2716 x2717 x2718 -x2719 x2720 x2721 x2722 x2723 x2724 x2725 x2726 x2727 x2728 x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 x2777 x2778 x2779 x2780 x2781 x2782 x2783 x2784 x2785 x2786 x2787 x2788 x2789 x2790 x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 x2838 x2839 x2840 x2841 x2842 x2843 x2844 x2845 x2846 x2847 x2848 x2849 x2850 x2851 x2852 x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 x2895 x2896 x2897 x2898 x2899 x2900 x2901 x2902 x2903 x2904 x2905 x2906 x2907 x2908 x2909 x2910 x2911 x2912 x2913 x2914 x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 x2952 -x2953 -x2954 x2955 x2956 x2957 x2958 x2959 x2960 x2961 x2962 x2963 x2964 x2965 x2966 x2967 x2968 x2969 x2970 x2971 x2972 x2973 x2974 x2975 x2976 -x2977 -x2978 -x2979 -x2980 -x2981 x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 x3024 x3025 x3026 x3027 x3028 x3029 x3030 x3031 x3032 x3033 -x3034 -x3035 -x3036 x3037 x3038 x3039 -x3040 -x3041 -x3042 -x3043 -x3044 x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 x3075 x3076 x3077 x3078 x3079 x3080 x3081 x3082 x3083 x3084 x3085 x3086 x3087 x3088 x3089 x3090 -x3091 -x3092 x3093 x3094 x3095 x3096 x3097 x3098 x3099 x3100 x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 x3140 x3141 -x3142 x3143 x3144 x3145 -x3146 x3147 x3148 x3149 x3150 x3151 x3152 x3153 x3154 x3155 x3156 x3157 x3158 x3159 x3160 x3161 x3162 x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 x3212 x3213 -x3214 x3215 x3216 x3217 x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 x3272 x3273 x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 x3282 x3283 x3284 x3285 x3286 x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 x3330 x3331 x3332 x3333 x3334 x3335 x3336 x3337 x3338 x3339 x3340 x3341 x3342 x3343 x3344 x3345 x3346 x3347 x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 x3408 x3409 x3410 x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 x3457 -x3458 -x3459 -x3460 x3461 x3462 x3463 x3464 x3465 x3466 x3467 x3468 x3469 x3470 x3471 x3472 x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 x3525 x3526 x3527 x3528 x3529 x3530 x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 x3592 x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 x3651 x3652 x3653 x3654 x3655 x3656 x3657 x3658 x3659 -x3660 -x3661 -x3662 x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 x3785 x3786 x3787 x3788 x3789 x3790 x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 x3846 -x3847 -x3848 -x3849 x3850 x3851 x3852 x3853 x3854 x3855 x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 x3908 x3909 x3910 x3911 x3912 x3913 x3914 x3915 x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 x3981 x3982 x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 x4031 x4032 -x4033 x4034 -x4035 -x4036 -x4037 -x4038 -x4039 x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 x4071 -x4072 -x4073 -x4074 -x4075 x4076 x4077 x4078 -x4079 -x4080 x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 x4103 -x4104 -x4105 -x4106 -x4107 -x4108 x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 x4166 x4167 x4168 x4169 x4170 -x4171 x4172 x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 x4235 x4236 x4237 -x4238 -x4239 -x4240 -x4241 x4242 -x4243 -x4244 -x4245 x4246 x4247 x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 x4258 x4259 x4260 x4261 x4262 x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 x4277 -x4278 -x4279 x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 x4290 x4291 x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 x4360 -x4361 x4362 x4363 x4364 x4365 x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 x4413 x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 x4424 -x4425 -x4426 -x4427 -x4428 x4429 x4430 x4431 x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 x4478 -x4479 -x4480 -x4481 -x4482 -x4483 x4484 x4485 x4486 x4487 x4488 x4489 x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 x4510 x4511 x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 x4560 x4561 -x4562 -x4563 -x4564 -x4565 x4566 x4567 x4568 x4569 -x4570 -x4571 x4572 x4573 x4574 x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 x4610 x4611 x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 x4670 -x4671 -x4672 x4673 -x4674 -x4675 x4676 -x4677 x4678 x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 x4697 -x4698 x4699 -x4700 -x4701 x4702 x4703 x4704 x4705 x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 x4722 -x4723 -x4724 -x4725 -x4726 x4727 x4728 x4729 x4730 x4731 x4732 x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 x4801 x4802 x4803 x4804 x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 x4857 x4858 -x4859 -x4860 x4861 x4862 x4863 x4864 x4865 -x4866 -x4867 -x4868 -x4869 x4870 -x4871 -x4872 -x4873 x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 x4899 -x4900 x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 x4930 x4931 x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 x4954 -x4955 -x4956 -x4957 x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 x5049 x5050 x5051 x5052 x5053 x5054 x5055 x5056 x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 x5123 x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 x5168 -x5169 -x5170 -x5171 -x5172 x5173 -x5174 x5175 -x5176 x5177 x5178 x5179 x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 x5210 -x5211 -x5212 -x5213 x5214 -x5215 -x5216 -x5217 x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 x5249 x5250 x5251 x5252 x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 x5272 x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 x5301 x5302 -x5303 -x5304 x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 x5319 x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 x5330 x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 x5360 -x5361 -x5362 -x5363 x5364 x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 x5424 x5425 -x5426 -x5427 x5428 x5429 -x5430 x5431 x5432 x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 x5486 -x5487 -x5488 x5489 -x5490 -x5491 -x5492 x5493 x5494 x5495 x5496 x5497 x5498 -x5499 x5500 x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 x5570 x5571 x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 x5596 x5597 x5598 x5599 x5600 x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 x5636 x5637 x5638 x5639 x5640 x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 x5676 -x5677 -x5678 -x5679 -x5680 -x5681 x5682 -x5683 x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 x5758 x5759 -x5760 -x5761 -x5762 -x5763 x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 x5789 x5790 x5791 x5792 x5793 x5794 x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 x5814 x5815 x5816 -x5817 x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 x5864 x5865 x5866 x5867 x5868 x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 x5930 x5931 x5932 x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 x5991 -x5992 -x5993 -x5994 -x5995 -x5996 x5997 -x5998 -x5999 x6000 -x6001 x6002 -x6003 -x6004 -x6005 -x6006 -x6007 x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 x6049 x6050 x6051 -x6052 x6053 x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 x6064 x6065 x6066 x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 x6094 -x6095 -x6096 -x6097 x6098 x6099 x6100 x6101 x6102 x6103 x6104 x6105 x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 x6174 x6175 x6176 x6177 -x6178 -x6179 -x6180 x6181 x6182 x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 x6232 x6233 x6234 x6235 x6236 x6237 x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 x6279 x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 x6296 x6297 x6298 -x6299 -x6300 -x6301 -x6302 x6303 x6304 -x6305 -x6306 -x6307 x6308 -x6309 x6310 x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 x6368 x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 x6380 x6381 x6382 x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 x6420 x6421 x6422 x6423 x6424 x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 x6463 -x6464 x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 x6480 x6481 x6482 x6483 x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 x6499 -x6500 -x6501 -x6502 -x6503 -x6504 x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 x6551 -x6552 -x6553 x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 x6619 x6620 x6621 -x6622 x6623 x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 x6636 -x6637 x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 x6676 x6677 x6678 x6679 x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 x6687 x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 x6733 -x6734 -x6735 x6736 -x6737 x6738 -x6739 x6740 x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 x6805 x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 x6818 x6819 -x6820 x6821 -x6822 -x6823 -x6824 -x6825 x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 x6856 -x6857 x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 x6875 x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 x6921 x6922 -x6923 x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 x6994 -x6995 x6996 x6997 x6998 x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 x7047 -x7048 -x7049 -x7050 -x7051 -x7052 x7053 x7054 x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 x7063 -x7064 x7065 x7066 x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 x7114 x7115 x7116 x7117 x7118 x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 x7189 x7190 x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 x7200 x7201 -x7202 x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 x7211 x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 x7238 -x7239 -x7240 -x7241 -x7242 x7243 x7244 x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 x7306 x7307 x7308 x7309 x7310 x7311 x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 x7339 -x7340 x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 x7373 x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 x7432 x7433 -x7434 x7435 -x7436 x7437 x7438 x7439 -x7440 -x7441 -x7442 -x7443 x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 x7465 -x7466 -x7467 -x7468 -x7469 -x7470 x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564

Verifier Data 

OK	13978

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699042-1278462068/watcher-2699042-1278462068 -o /tmp/evaluation-result-2699042-1278462068/solver-2699042-1278462068 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699042-1278462068.wbo 

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 12261
/proc/meminfo: memFree=31129568/32951124 swapFree=67111528/67111528
[pid=12261] ppid=12259 vsize=2136 CPUtime=0
/proc/12261/stat : 12261 (pbct) R 12259 12261 11947 0 -1 4202496 256 0 0 0 0 0 0 0 23 0 1 0 14419090 2187264 175 4089446400 134512640 136422188 4291987552 18446744073709551615 135873822 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12261/statm: 534 175 144 467 0 65 0

[startup+0.0941009 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 12261
/proc/meminfo: memFree=31129568/32951124 swapFree=67111528/67111528
[pid=12261] ppid=12259 vsize=3188 CPUtime=0.09
/proc/12261/stat : 12261 (pbct) R 12259 12261 11947 0 -1 4202496 530 0 0 0 9 0 0 0 23 0 1 0 14419090 3264512 416 4089446400 134512640 136422188 4291987552 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12261/statm: 797 416 144 467 0 328 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3188

[startup+0.101099 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 12261
/proc/meminfo: memFree=31129568/32951124 swapFree=67111528/67111528
[pid=12261] ppid=12259 vsize=3188 CPUtime=0.1
/proc/12261/stat : 12261 (pbct) R 12259 12261 11947 0 -1 4202496 547 0 0 0 10 0 0 0 23 0 1 0 14419090 3264512 433 4089446400 134512640 136422188 4291987552 18446744073709551615 135153616 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12261/statm: 797 433 144 467 0 328 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3188

[startup+0.301067 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 12261
/proc/meminfo: memFree=31129568/32951124 swapFree=67111528/67111528
[pid=12261] ppid=12259 vsize=17928 CPUtime=0.29
/proc/12261/stat : 12261 (pbct) R 12259 12261 11947 0 -1 4202496 4172 0 0 0 29 0 0 0 24 0 1 0 14419090 18358272 4058 4089446400 134512640 136422188 4291987552 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12261/statm: 4482 4061 187 467 0 4013 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17928

[startup+0.700994 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 12261
/proc/meminfo: memFree=31129568/32951124 swapFree=67111528/67111528
[pid=12261] ppid=12259 vsize=103080 CPUtime=0.69
/proc/12261/stat : 12261 (pbct) R 12259 12261 11947 0 -1 4202496 26839 0 0 0 66 3 0 0 25 0 1 0 14419090 105553920 25155 4089446400 134512640 136422188 4291987552 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12261/statm: 25770 25156 193 467 0 25301 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 103080

[startup+1.50084 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 12262
/proc/meminfo: memFree=30984040/32951124 swapFree=67111528/67111528
[pid=12261] ppid=12259 vsize=154320 CPUtime=1.49
/proc/12261/stat : 12261 (pbct) R 12259 12261 11947 0 -1 4202496 39765 0 0 0 144 5 0 0 25 0 1 0 14419090 158023680 36713 4089446400 134512640 136422188 4291987552 18446744073709551615 135017800 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12261/statm: 38580 36713 207 467 0 38111 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 154320

[startup+3.10055 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 12262
/proc/meminfo: memFree=30981560/32951124 swapFree=67111528/67111528
[pid=12261] ppid=12259 vsize=159544 CPUtime=3.09
/proc/12261/stat : 12261 (pbct) R 12259 12261 11947 0 -1 4202496 41200 0 0 0 199 110 0 0 25 0 1 0 14419090 163373056 37442 4089446400 134512640 136422188 4291987552 18446744073709551615 135873646 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12261/statm: 39886 37442 237 467 0 39417 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 159544

[startup+6.30096 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 12262
/proc/meminfo: memFree=30979276/32951124 swapFree=67111528/67111528
[pid=12261] ppid=12259 vsize=161832 CPUtime=6.29
/proc/12261/stat : 12261 (pbct) R 12259 12261 11947 0 -1 4202496 41775 0 0 0 329 300 0 0 25 0 1 0 14419090 165715968 37994 4089446400 134512640 136422188 4291987552 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12261/statm: 40458 37994 237 467 0 39989 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 161832

[startup+12.7008 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 12262
/proc/meminfo: memFree=30975060/32951124 swapFree=67111528/67111528
[pid=12261] ppid=12259 vsize=165660 CPUtime=12.69
/proc/12261/stat : 12261 (pbct) R 12259 12261 11947 0 -1 4202496 42774 0 0 0 581 688 0 0 25 0 1 0 14419090 169635840 38981 4089446400 134512640 136422188 4291987552 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12261/statm: 41415 38981 237 467 0 40946 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 165660

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 12262
/proc/meminfo: memFree=30966044/32951124 swapFree=67111528/67111528
[pid=12261] ppid=12259 vsize=175624 CPUtime=25.49
/proc/12261/stat : 12261 (pbct) R 12259 12261 11947 0 -1 4202496 45234 0 0 0 1045 1504 0 0 25 0 1 0 14419090 179838976 41441 4089446400 134512640 136422188 4291987552 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12261/statm: 43906 41441 237 467 0 43437 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 175624

[startup+51.1007 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 12263
/proc/meminfo: memFree=30962996/32951124 swapFree=67111528/67111528
[pid=12261] ppid=12259 vsize=178132 CPUtime=51.09
/proc/12261/stat : 12261 (pbct) R 12259 12261 11947 0 -1 4202496 45886 0 0 0 1989 3120 0 0 25 0 1 0 14419090 182407168 42086 4089446400 134512640 136422188 4291987552 18446744073709551615 135006280 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12261/statm: 44533 42086 237 467 0 44064 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 178132

[startup+102.305 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 12264
/proc/meminfo: memFree=30958976/32951124 swapFree=67111528/67111528
[pid=12261] ppid=12259 vsize=181924 CPUtime=102.3
/proc/12261/stat : 12261 (pbct) R 12259 12261 11947 0 -1 4202496 46820 0 0 0 3739 6491 0 0 25 0 1 0 14419090 186290176 43019 4089446400 134512640 136422188 4291987552 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12261/statm: 45481 43019 237 467 0 45012 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 181924

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 12266
/proc/meminfo: memFree=30956204/32951124 swapFree=67111528/67111528
[pid=12261] ppid=12259 vsize=184696 CPUtime=162.29
/proc/12261/stat : 12261 (pbct) R 12259 12261 11947 0 -1 4202496 47529 0 0 0 5704 10525 0 0 25 0 1 0 14419090 189128704 43726 4089446400 134512640 136422188 4291987552 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12261/statm: 46174 43726 237 467 0 45705 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 184696

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 12268
/proc/meminfo: memFree=30948468/32951124 swapFree=67111528/67111528
[pid=12261] ppid=12259 vsize=191692 CPUtime=222.3
/proc/12261/stat : 12261 (pbct) R 12259 12261 11947 0 -1 4202496 49288 0 0 0 7758 14472 0 0 25 0 1 0 14419090 196292608 45485 4089446400 134512640 136422188 4291987552 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12261/statm: 47923 45485 237 467 0 47454 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 191692

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 12269
/proc/meminfo: memFree=30948796/32951124 swapFree=67111528/67111528
[pid=12261] ppid=12259 vsize=191692 CPUtime=282.3
/proc/12261/stat : 12261 (pbct) R 12259 12261 11947 0 -1 4202496 49288 0 0 0 9971 18259 0 0 25 0 1 0 14419090 196292608 45485 4089446400 134512640 136422188 4291987552 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12261/statm: 47923 45485 237 467 0 47454 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 191692

[startup+342.301 s]
/proc/loadavg: 2.08 2.02 1.93 3/179 12271
/proc/meminfo: memFree=30948996/32951124 swapFree=67111528/67111528
[pid=12261] ppid=12259 vsize=191692 CPUtime=342.3
/proc/12261/stat : 12261 (pbct) R 12259 12261 11947 0 -1 4202496 49291 0 0 0 12066 22164 0 0 25 0 1 0 14419090 196292608 45486 4089446400 134512640 136422188 4291987552 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12261/statm: 47923 45486 237 467 0 47454 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 191692

[startup+402.301 s]
/proc/loadavg: 2.03 2.01 1.93 3/179 12272
/proc/meminfo: memFree=30948944/32951124 swapFree=67111528/67111528
[pid=12261] ppid=12259 vsize=191692 CPUtime=402.3
/proc/12261/stat : 12261 (pbct) R 12259 12261 11947 0 -1 4202496 49291 0 0 0 14186 26044 0 0 25 0 1 0 14419090 196292608 45486 4089446400 134512640 136422188 4291987552 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12261/statm: 47923 45486 237 467 0 47454 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 191692

[startup+462.301 s]
/proc/loadavg: 2.01 2.00 1.93 3/179 12274
/proc/meminfo: memFree=30948900/32951124 swapFree=67111528/67111528
[pid=12261] ppid=12259 vsize=191692 CPUtime=462.3
/proc/12261/stat : 12261 (pbct) R 12259 12261 11947 0 -1 4202496 49293 0 0 0 16380 29850 0 0 25 0 1 0 14419090 196292608 45486 4089446400 134512640 136422188 4291987552 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12261/statm: 47923 45486 237 467 0 47454 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 191692

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12276
/proc/meminfo: memFree=30948948/32951124 swapFree=67111528/67111528
[pid=12261] ppid=12259 vsize=191692 CPUtime=522.31
/proc/12261/stat : 12261 (pbct) R 12259 12261 11947 0 -1 4202496 49300 0 0 0 18608 33623 0 0 25 0 1 0 14419090 196292608 45487 4089446400 134512640 136422188 4291987552 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12261/statm: 47923 45487 237 467 0 47454 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 191692

[startup+582.301 s]
/proc/loadavg: 2.03 2.01 1.94 3/179 12277
/proc/meminfo: memFree=30948780/32951124 swapFree=67111528/67111528
[pid=12261] ppid=12259 vsize=191692 CPUtime=582.31
/proc/12261/stat : 12261 (pbct) R 12259 12261 11947 0 -1 4202496 49300 0 0 0 20720 37511 0 0 25 0 1 0 14419090 196292608 45487 4089446400 134512640 136422188 4291987552 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12261/statm: 47923 45487 237 467 0 47454 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 191692

[startup+642.301 s]
/proc/loadavg: 2.01 2.01 1.94 3/179 12279
/proc/meminfo: memFree=30948864/32951124 swapFree=67111528/67111528
[pid=12261] ppid=12259 vsize=191692 CPUtime=642.31
/proc/12261/stat : 12261 (pbct) R 12259 12261 11947 0 -1 4202496 49301 0 0 0 22934 41297 0 0 25 0 1 0 14419090 196292608 45487 4089446400 134512640 136422188 4291987552 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12261/statm: 47923 45487 237 467 0 47454 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 191692

[startup+702.301 s]

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

[startup+822.3 s]
/proc/loadavg: 1.96 1.98 1.93 3/179 12312
/proc/meminfo: memFree=30529016/32951124 swapFree=67111528/67111528
[pid=12261] ppid=12259 vsize=199088 CPUtime=822.31
/proc/12261/stat : 12261 (pbct) R 12259 12261 11947 0 -1 4202496 51127 0 0 0 30554 51677 0 0 25 0 1 0 14419090 203866112 47312 4089446400 134512640 136422188 4291987552 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12261/statm: 49772 47312 237 467 0 49303 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 199088

[startup+882.3 s]
/proc/loadavg: 2.05 2.00 1.94 3/179 12313
/proc/meminfo: memFree=30436712/32951124 swapFree=67111528/67111528
[pid=12261] ppid=12259 vsize=199088 CPUtime=882.31
/proc/12261/stat : 12261 (pbct) R 12259 12261 11947 0 -1 4202496 51130 0 0 0 34947 53284 0 0 25 0 1 0 14419090 203866112 47313 4089446400 134512640 136422188 4291987552 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12261/statm: 49772 47313 237 467 0 49303 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 199088

[startup+942.3 s]
/proc/loadavg: 2.02 2.00 1.94 3/179 12315
/proc/meminfo: memFree=30393020/32951124 swapFree=67111528/67111528
[pid=12261] ppid=12259 vsize=199088 CPUtime=942.32
/proc/12261/stat : 12261 (pbct) R 12259 12261 11947 0 -1 4202496 51132 0 0 0 39329 54903 0 0 25 0 1 0 14419090 203866112 47313 4089446400 134512640 136422188 4291987552 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12261/statm: 49772 47313 237 467 0 49303 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 199088

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 12316
/proc/meminfo: memFree=30356648/32951124 swapFree=67111528/67111528
[pid=12261] ppid=12259 vsize=199088 CPUtime=1002.32
/proc/12261/stat : 12261 (pbct) R 12259 12261 11947 0 -1 4202496 51132 0 0 0 43620 56612 0 0 25 0 1 0 14419090 203866112 47313 4089446400 134512640 136422188 4291987552 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12261/statm: 49772 47313 237 467 0 49303 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 199088

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 12318
/proc/meminfo: memFree=30340848/32951124 swapFree=67111528/67111528
[pid=12261] ppid=12259 vsize=199088 CPUtime=1062.33
/proc/12261/stat : 12261 (pbct) R 12259 12261 11947 0 -1 4202496 51133 0 0 0 47975 58258 0 0 25 0 1 0 14419090 203866112 47313 4089446400 134512640 136422188 4291987552 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12261/statm: 49772 47313 237 467 0 49303 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 199088

[startup+1122.3 s]
/proc/loadavg: 2.04 2.01 1.94 3/179 12320
/proc/meminfo: memFree=30321592/32951124 swapFree=67111528/67111528
[pid=12261] ppid=12259 vsize=199088 CPUtime=1122.33
/proc/12261/stat : 12261 (pbct) R 12259 12261 11947 0 -1 4202496 51133 0 0 0 52291 59942 0 0 25 0 1 0 14419090 203866112 47313 4089446400 134512640 136422188 4291987552 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12261/statm: 49772 47313 237 467 0 49303 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 199088

[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/179 12321
/proc/meminfo: memFree=30286588/32951124 swapFree=67111528/67111528
[pid=12261] ppid=12259 vsize=199088 CPUtime=1182.33
/proc/12261/stat : 12261 (pbct) R 12259 12261 11947 0 -1 4202496 51134 0 0 0 56654 61579 0 0 25 0 1 0 14419090 203866112 47313 4089446400 134512640 136422188 4291987552 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12261/statm: 49772 47313 237 467 0 49303 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 199088

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 12323
/proc/meminfo: memFree=30286444/32951124 swapFree=67111528/67111528
[pid=12261] ppid=12259 vsize=199088 CPUtime=1242.33
/proc/12261/stat : 12261 (pbct) R 12259 12261 11947 0 -1 4202496 51135 0 0 0 61130 63103 0 0 25 0 1 0 14419090 203866112 47313 4089446400 134512640 136422188 4291987552 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12261/statm: 49772 47313 237 467 0 49303 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 199088

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 12324
/proc/meminfo: memFree=30286276/32951124 swapFree=67111528/67111528
[pid=12261] ppid=12259 vsize=199088 CPUtime=1302.34
/proc/12261/stat : 12261 (pbct) R 12259 12261 11947 0 -1 4202496 51138 0 0 0 65489 64745 0 0 25 0 1 0 14419090 203866112 47313 4089446400 134512640 136422188 4291987552 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12261/statm: 49772 47313 237 467 0 49303 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 199088

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 12326
/proc/meminfo: memFree=30286244/32951124 swapFree=67111528/67111528
[pid=12261] ppid=12259 vsize=199088 CPUtime=1362.34
/proc/12261/stat : 12261 (pbct) R 12259 12261 11947 0 -1 4202496 51138 0 0 0 69852 66382 0 0 25 0 1 0 14419090 203866112 47313 4089446400 134512640 136422188 4291987552 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12261/statm: 49772 47313 237 467 0 49303 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 199088

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 12328
/proc/meminfo: memFree=30286320/32951124 swapFree=67111528/67111528
[pid=12261] ppid=12259 vsize=199088 CPUtime=1422.34
/proc/12261/stat : 12261 (pbct) R 12259 12261 11947 0 -1 4202496 51139 0 0 0 74116 68118 0 0 25 0 1 0 14419090 203866112 47313 4089446400 134512640 136422188 4291987552 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12261/statm: 49772 47313 237 467 0 49303 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 199088

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 12329
/proc/meminfo: memFree=30286036/32951124 swapFree=67111528/67111528
[pid=12261] ppid=12259 vsize=199088 CPUtime=1482.34
/proc/12261/stat : 12261 (pbct) R 12259 12261 11947 0 -1 4202496 51141 0 0 0 78493 69741 0 0 25 0 1 0 14419090 203866112 47313 4089446400 134512640 136422188 4291987552 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12261/statm: 49772 47313 237 467 0 49303 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 199088

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 12331
/proc/meminfo: memFree=30262188/32951124 swapFree=67111528/67111528
[pid=12261] ppid=12259 vsize=200144 CPUtime=1542.34
/proc/12261/stat : 12261 (pbct) R 12259 12261 11947 0 -1 4202496 51404 0 0 0 82756 71478 0 0 25 0 1 0 14419090 204947456 47576 4089446400 134512640 136422188 4291987552 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12261/statm: 50036 47576 237 467 0 49567 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 200144

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 12332
/proc/meminfo: memFree=30261404/32951124 swapFree=67111528/67111528
[pid=12261] ppid=12259 vsize=200804 CPUtime=1602.34
/proc/12261/stat : 12261 (pbct) R 12259 12261 11947 0 -1 4202496 51581 0 0 0 86994 73240 0 0 25 0 1 0 14419090 205623296 47753 4089446400 134512640 136422188 4291987552 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12261/statm: 50201 47753 237 467 0 49732 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 200804

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 12334
/proc/meminfo: memFree=30257664/32951124 swapFree=67111528/67111528
[pid=12261] ppid=12259 vsize=204500 CPUtime=1662.34
/proc/12261/stat : 12261 (pbct) R 12259 12261 11947 0 -1 4202496 52503 0 0 0 91265 74969 0 0 25 0 1 0 14419090 209408000 48675 4089446400 134512640 136422188 4291987552 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12261/statm: 51125 48675 237 467 0 50656 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 204500

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 12336
/proc/meminfo: memFree=30257112/32951124 swapFree=67111528/67111528
[pid=12261] ppid=12259 vsize=205160 CPUtime=1722.34
/proc/12261/stat : 12261 (pbct) R 12259 12261 11947 0 -1 4202496 52675 0 0 0 95526 76708 0 0 25 0 1 0 14419090 210083840 48847 4089446400 134512640 136422188 4291987552 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12261/statm: 51290 48847 237 467 0 50821 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 205160

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 12337
/proc/meminfo: memFree=30256796/32951124 swapFree=67111528/67111528
[pid=12261] ppid=12259 vsize=205160 CPUtime=1782.34
/proc/12261/stat : 12261 (pbct) R 12259 12261 11947 0 -1 4202496 52679 0 0 0 99892 78342 0 0 25 0 1 0 14419090 210083840 48847 4089446400 134512640 136422188 4291987552 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12261/statm: 51290 48847 237 467 0 50821 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 205160



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 12338
/proc/meminfo: memFree=30256660/32951124 swapFree=67111528/67111528
[pid=12261] ppid=12259 vsize=205160 CPUtime=1800.05
/proc/12261/stat : 12261 (pbct) R 12259 12261 11947 0 -1 4202496 52680 0 0 0 101181 78824 0 0 25 0 1 0 14419090 210083840 48847 4089446400 134512640 136422188 4291987552 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12261/statm: 51290 48847 237 467 0 50821 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 205160

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

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

Child status: 0
Real time (s): 1800.02
CPU time (s): 1800.07
CPU user time (s): 1011.82
CPU system time (s): 788.252
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 205160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1011.82
system time used= 788.252
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52681
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= 1
involuntary context switches= 2847

runsolver used 2.48562 second user time and 5.71113 second system time

The end

Launcher Data 

Begin job on node147 at 2010-07-07 02:21:08
IDJOB=2699042
IDBENCH=79088
IDSOLVER=1212
FILE ID=node147/2699042-1278462068
PBS_JOBID= 11233699
Free space on /tmp= 73864 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/normalized-j6010_2-unsat--soft-33-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699042-1278462068/watcher-2699042-1278462068 -o /tmp/evaluation-result-2699042-1278462068/solver-2699042-1278462068 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2699042-1278462068.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= c0c0bebc7e31a6df8b165cc7ff9f27e8
RANDOM SEED=293162443

node147.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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		: 2666.821
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.821
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.821
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.821
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.821
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.821
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.821
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.821
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31130096 kB
Buffers:        108048 kB
Cached:        1497680 kB
SwapCached:          0 kB
Active:         505288 kB
Inactive:      1182216 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31130096 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2768 kB
Writeback:           0 kB
AnonPages:       82360 kB
Mapped:          15620 kB
Slab:            69140 kB
PageTables:       4500 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   224196 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73860 MiB
End job on node147 at 2010-07-07 02:51:10