Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Hybrid-CASHWMaxSATDisjCom+ExactPRS9 2025-06-02 | SAT | 1088392192 | 3586.63 | 3596.2 |
| Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-roll3000.opb |
| MD5SUM | 9da0f014fb9cbd107dd1b5ea973ba0c7 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 1086940160 |
| Best CPU time to get the best result obtained on this benchmark | 2471.28 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 8902 |
| Total number of constraints | 2864 |
| Number of constraints which are clauses | 143 |
| Number of constraints which are cardinality constraints (but not clauses) | 31 |
| Number of constraints which are nor clauses,nor cardinality constraints | 2690 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2407 |
| Number of terms in the objective function | 31 |
| Biggest coefficient in the objective function | 1073741824 |
| Number of bits for the biggest coefficient in the objective function | 31 |
| Sum of the numbers in the objective function | 2147483647 |
| Number of bits of the sum of numbers in the objective function | 31 |
| Biggest number in a constraint | 1024000000000 |
| Number of bits of the biggest number in a constraint | 40 |
| Biggest sum of numbers in a constraint | 2123511627775 |
| Number of bits of the biggest sum of numbers | 41 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
3586.55/3596.11 c Exit code from Second Program: 124 3586.55/3596.18 c 3038 constraints 3586.55/3596.18 c after presolve 4409 3586.55/3596.18 c Finish cloning data from SAT to LS 3586.55/3596.18 c intsize: 41 3586.55/3596.18 c Use LS-small 3586.55/3596.18 o 1610612736 3586.55/3596.18 o 1342177280 3586.55/3596.18 o 1207959552 3586.55/3596.18 o 1140850688 3586.55/3596.18 o 1119879168 3586.55/3596.18 o 1117323264 3586.55/3596.18 o 1117322240 3586.55/3596.18 o 1117321216 3586.55/3596.18 o 1116272640 3586.55/3596.18 o 1115748352 3586.55/3596.18 o 1115744256 3586.55/3596.18 o 1115736064 3586.55/3596.18 o 1115539456 3586.55/3596.18 o 1115487232 3586.55/3596.18 o 1115486208 3586.55/3596.18 o 1115482112 3586.55/3596.18 o 1115473920 3586.55/3596.18 o 1115409376 3586.55/3596.18 o 1115409344 3586.55/3596.18 o 1115409216 3586.55/3596.18 o 1115409088 3586.55/3596.18 o 1115409024 3586.55/3596.18 o 1115408960 3586.55/3596.18 o 1115408896 3586.55/3596.18 o 1115408384 3586.55/3596.18 o 1115277312 3586.55/3596.18 o 1115244544 3586.55/3596.18 o 1115228160 3586.55/3596.18 o 1115162624 3586.55/3596.18 o 1115160576 3586.55/3596.18 o 1110966272 3586.55/3596.18 o 1109917696 3586.55/3596.18 o 1109916672 3586.55/3596.18 o 1109915648 3586.55/3596.18 o 1109784576 3586.55/3596.18 o 1109719040 3586.55/3596.18 o 1109686272 3586.55/3596.18 o 1109669888 3586.55/3596.18 o 1109667840 3586.55/3596.18 o 1109405696 3586.55/3596.18 o 1109397504 3586.55/3596.18 o 1109393408 3586.55/3596.18 o 1109392384 3586.55/3596.18 o 1109391360 3586.55/3596.18 o 1109260288 3586.55/3596.18 o 1109194752 3586.55/3596.18 o 1109161984 3586.55/3596.18 o 1109145600 3586.55/3596.18 o 1109143552 3586.55/3596.18 o 1108881408 3586.55/3596.18 o 1108873216 3586.55/3596.18 o 1108869120 3586.55/3596.18 o 1108803584 3586.55/3596.18 o 1108770816 3586.55/3596.18 o 1108508672 3586.55/3596.18 o 1108377600 3586.55/3596.18 o 1108344832 3586.55/3596.18 o 1107296256 3586.55/3596.18 o 1104609280 3586.55/3596.18 o 1104576512 3586.55/3596.18 o 1104314368 3586.55/3596.18 o 1103265792 3586.55/3596.18 o 1096187904 3586.55/3596.18 o 1096183808 3586.55/3596.18 o 1096175616 3586.55/3596.18 o 1096159232 3586.55/3596.18 o 1096155136 3586.55/3596.18 o 1096114176 3586.55/3596.18 o 1096110080 3586.55/3596.18 o 1096093696 3586.55/3596.18 o 1096089600 3586.55/3596.18 o 1096085504 3586.55/3596.18 o 1096081408 3586.55/3596.18 o 1096078332 3586.55/3596.18 o 1096078328 3586.55/3596.18 o 1096078316 3586.55/3596.18 o 1096078312 3586.55/3596.18 o 1096078296 3586.55/3596.18 o 1096078280 3586.55/3596.18 o 1096078272 3586.55/3596.18 o 1096078016 3586.55/3596.18 o 1096077888 3586.55/3596.18 o 1096077376 3586.55/3596.18 o 1096077312 3586.55/3596.18 o 1096076288 3586.55/3596.18 o 1096074240 3586.55/3596.18 o 1096073216 3586.55/3596.18 o 1096072192 3586.55/3596.18 o 1096070144 3586.55/3596.18 o 1096069120 3586.55/3596.18 o 1095023616 3586.55/3596.18 o 1095022592 3586.55/3596.18 o 1095018496 3586.55/3596.18 o 1095010304 3586.55/3596.18 o 1095008256 3586.55/3596.18 o 1095007232 3586.55/3596.18 o 1095006208 3586.55/3596.18 o 1095002112 3586.55/3596.18 o 1094993920 3586.55/3596.18 o 1094991872 3586.55/3596.18 o 1094762496 3586.55/3596.18 o 1094758400 3586.55/3596.18 o 1094757380 3586.55/3596.18 o 1094757376 3586.55/3596.18 o 1094753280 3586.55/3596.18 o 1094720512 3586.55/3596.18 o 1094716416 3586.55/3596.18 o 1094714368 3586.55/3596.18 o 1094713344 3586.55/3596.18 o 1093648384 3586.55/3596.18 o 1093644288 3586.55/3596.18 o 1093643264 3586.55/3596.18 o 1093639168 3586.55/3596.18 o 1093377536 3586.55/3596.18 o 1093377024 3586.55/3596.18 o 1093372928 3586.55/3596.18 o 1093370880 3586.55/3596.18 o 1093369856 3586.55/3596.18 o 1093368832 3586.55/3596.18 o 1093366784 3586.55/3596.18 o 1093366780 3586.55/3596.18 o 1093366776 3586.55/3596.18 o 1093366760 3586.55/3596.18 o 1093366728 3586.55/3596.18 o 1093366720 3586.55/3596.18 o 1093366712 3586.55/3596.18 o 1093366696 3586.55/3596.18 o 1093366664 3586.55/3596.18 o 1093366656 3586.55/3596.18 o 1093366144 3586.55/3596.18 o 1093365888 3586.55/3596.18 o 1093365764 3586.55/3596.18 o 1093365760 3586.55/3596.18 o 1093361664 3586.55/3596.18 o 1093357500 3586.55/3596.18 o 1093357496 3586.55/3596.18 o 1093357464 3586.55/3596.18 o 1093357448 3586.55/3596.18 o 1093357440 3586.55/3596.18 o 1093356984 3586.55/3596.18 o 1093356952 3586.55/3596.18 o 1093356936 3586.55/3596.18 o 1093356928 3586.55/3596.18 o 1093356728 3586.55/3596.18 o 1093356696 3586.55/3596.18 o 1093356680 3586.55/3596.18 o 1093356672 3586.55/3596.18 o 1093356544 3586.55/3596.18 o 1093354496 3586.55/3596.18 o 1093353472 3586.55/3596.18 o 1093222400 3586.55/3596.18 o 1093156864 3586.55/3596.18 o 1093140480 3586.55/3596.18 o 1093009408 3586.55/3596.18 o 1092963840 3586.55/3596.18 o 1092963584 3586.55/3596.18 o 1092963512 3586.55/3596.18 o 1092963384 3586.55/3596.18 o 1092961336 3586.55/3596.18 o 1092960312 3586.55/3596.18 o 1092960280 3586.55/3596.18 o 1092960264 3586.55/3596.18 o 1092960256 3586.55/3596.18 o 1092947000 3586.55/3596.18 o 1092944952 3586.55/3596.18 o 1092943928 3586.55/3596.18 o 1092943896 3586.55/3596.18 o 1092943880 3586.55/3596.18 o 1092943872 3586.55/3596.18 o 1092938808 3586.55/3596.18 o 1092938776 3586.55/3596.18 o 1092938760 3586.55/3596.18 o 1092938752 3586.55/3596.18 o 1092936704 3586.55/3596.18 o 1092935680 3586.55/3596.18 o 1092934656 3586.55/3596.18 o 1092932608 3586.55/3596.18 o 1092931584 3586.55/3596.18 o 1092929536 3586.55/3596.18 o 1092928512 3586.55/3596.18 o 1092927488 3586.55/3596.18 o 1092924416 3586.55/3596.18 o 1092923392 3586.55/3596.18 o 1092920320 3586.55/3596.18 o 1092919296 3586.55/3596.18 o 1092912128 3586.55/3596.18 o 1092911104 3586.55/3596.18 o 1092903936 3586.55/3596.18 o 1092887552 3586.55/3596.18 o 1092879360 3586.55/3596.18 o 1092878336 3586.55/3596.18 o 1092874240 3586.55/3596.18 o 1092872192 3586.55/3596.18 o 1092871168 3586.55/3596.18 o 1092862976 3586.55/3596.18 o 1092858880 3586.55/3596.18 o 1092856832 3586.55/3596.18 o 1092855808 3586.55/3596.18 o 1092852736 3586.55/3596.18 o 1092851712 3586.55/3596.18 o 1092847616 3586.55/3596.18 o 1092845568 3586.55/3596.18 o 1092844544 3586.55/3596.18 o 1092843520 3586.55/3596.18 o 1092835328 3586.55/3596.18 o 1092831232 3586.55/3596.18 o 1092829184 3586.55/3596.18 o 1092812800 3586.55/3596.18 o 1092713472 3586.55/3596.18 o 1092697088 3586.55/3596.18 o 1092688896 3586.55/3596.18 o 1092684800 3586.55/3596.18 o 1092682752 3586.55/3596.18 o 1092681728 3586.55/3596.18 o 1092616192 3586.55/3596.18 o 1092091904 3586.55/3596.18 o 1091911680 3586.55/3596.18 o 1091910656 3586.55/3596.18 o 1091906560 3586.55/3596.18 o 1091904512 3586.55/3596.18 o 1091903488 3586.55/3596.18 o 1091899392 3586.55/3596.18 o 1091898368 3586.55/3596.18 o 1091896320 3586.55/3596.18 o 1091895296 3586.55/3596.18 o 1091886080 3586.55/3596.18 o 1091881984 3586.55/3596.18 o 1091879936 3586.55/3596.18 o 1091878912 3586.55/3596.18 o 1091846144 3586.55/3596.18 o 1091829760 3586.55/3596.18 o 1091620864 3586.55/3596.18 o 1091619840 3586.55/3596.18 o 1091617792 3586.55/3596.18 o 1091616768 3586.55/3596.18 o 1091588096 3586.55/3596.18 o 1091587072 3586.55/3596.18 o 1091585024 3586.55/3596.18 o 1091584000 3586.55/3596.18 o 1091567616 3586.55/3596.18 o 1091537920 3586.55/3596.18 o 1091535872 3586.55/3596.18 o 1091534848 3586.55/3596.18 o 1091518464 3586.55/3596.18 o 1091513344 3586.55/3596.18 o 1091511296 3586.55/3596.18 o 1091510272 3586.55/3596.18 o 1091447808 3586.55/3596.18 o 1091445760 3586.55/3596.18 o 1091444736 3586.55/3596.18 o 1091439616 3586.55/3596.18 o 1091437568 3586.55/3596.18 o 1091436544 3586.55/3596.18 o 1091435520 3586.55/3596.18 o 1091433472 3586.55/3596.18 o 1091432448 3586.55/3596.18 o 1091428352 3586.55/3596.18 o 1091427328 3586.55/3596.18 o 1091423232 3586.55/3596.18 o 1091422208 3586.55/3596.18 o 1091420160 3586.55/3596.18 o 1091416064 3586.55/3596.18 o 1091411968 3586.55/3596.18 o 1091403776 3586.55/3596.18 o 1091383296 3586.55/3596.18 o 1091375104 3586.55/3596.18 o 1091371008 3586.55/3596.18 o 1091369984 3586.55/3596.18 o 1091368960 3586.55/3596.18 o 1091366912 3586.55/3596.18 o 1091365888 3586.55/3596.18 o 1091364864 3586.55/3596.18 o 1091362816 3586.55/3596.18 o 1091354624 3586.55/3596.18 o 1091350528 3586.55/3596.18 o 1091342336 3586.55/3596.18 o 1091338240 3586.55/3596.18 o 1091334144 3586.55/3596.18 o 1091330048 3586.55/3596.18 o 1091313664 3586.55/3596.18 o 1091305472 3586.55/3596.18 o 1091198976 3586.55/3596.18 o 1091182592 3586.55/3596.18 o 1091051520 3586.55/3596.18 o 1091043328 3586.55/3596.18 o 1091014656 3586.55/3596.18 o 1091010560 3586.55/3596.18 o 1091005440 3586.55/3596.18 o 1091004416 3586.55/3596.18 o 1091002368 3586.55/3596.18 o 1090997248 3586.55/3596.18 o 1090996224 3586.55/3596.18 o 1090994176 3586.55/3596.18 o 1090977792 3586.55/3596.18 o 1090964480 3586.55/3596.18 o 1090963456 3586.55/3596.18 o 1090961408 3586.55/3596.18 o 1090956288 3586.55/3596.18 o 1090955264 3586.55/3596.18 o 1090953216 3586.55/3596.18 o 1090920448 3586.55/3596.18 o 1090912256 3586.55/3596.18 o 1090699264 3586.55/3596.18 o 1090694144 3586.55/3596.18 o 1090692096 3586.55/3596.18 o 1090691072 3586.55/3596.18 o 1090682880 3586.55/3596.18 o 1090654208 3586.55/3596.18 o 1090653184 3586.55/3596.18 o 1090651136 3586.55/3596.18 o 1090650112 3586.55/3596.18 o 1090644992 3586.55/3596.18 o 1090518016 3586.55/3596.18 o 1090255872 3586.55/3596.18 o 1090247680 3586.55/3596.18 o 1090246656 3586.55/3596.18 o 1090242560 3586.55/3596.18 o 1090241536 3586.55/3596.18 o 1090240512 3586.55/3596.18 o 1090224128 3586.55/3596.18 o 1090191360 3586.55/3596.18 o 1090162688 3586.55/3596.18 o 1090160640 3586.55/3596.18 o 1090159616 3586.55/3596.18 o 1090126848 3586.55/3596.18 o 1090125824 3586.55/3596.18 o 1090060288 3586.55/3596.18 o 1090027520 3586.55/3596.18 o 1089995776 3586.55/3596.18 o 1089994752 3586.55/3596.18 o 1089990656 3586.55/3596.18 o 1089987584 3586.55/3596.18 o 1089971200 3586.55/3596.18 o 1089963008 3586.55/3596.18 o 1089961984 3586.55/3596.18 o 1089953792 3586.55/3596.18 o 1089952768 3586.55/3596.18 o 1089948672 3586.55/3596.18 o 1089947648 3586.55/3596.18 o 1089945600 3586.55/3596.18 o 1089943552 3586.55/3596.18 o 1089939456 3586.55/3596.18 o 1089935360 3586.55/3596.18 o 1089931264 3586.55/3596.18 o 1089929216 3586.55/3596.18 o 1089667072 3586.55/3596.18 o 1089609728 3586.55/3596.18 o 1089478656 3586.55/3596.18 o 1089477632 3586.55/3596.18 o 1089476608 3586.55/3596.18 o 1089474560 3586.55/3596.18 o 1089470464 3586.55/3596.18 o 1089469440 3586.55/3596.18 o 1089468416 3586.55/3596.18 o 1089466368 3586.55/3596.18 o 1089462272 3586.55/3596.18 o 1089454080 3586.55/3596.18 o 1089436672 3586.55/3596.18 o 1089428480 3586.55/3596.18 o 1089424384 3586.55/3596.18 o 1089422336 3586.55/3596.18 o 1089421312 3586.55/3596.18 o 1089408000 3586.55/3596.18 o 1089405952 3586.55/3596.18 o 1089404928 3586.55/3596.18 o 1089396736 3586.55/3596.18 o 1089395712 3586.55/3596.18 o 1089393664 3586.55/3596.18 o 1089392640 3586.55/3596.18 o 1089390592 3586.55/3596.18 o 1089389568 3586.55/3596.18 o 1089388544 3586.55/3596.18 o 1089383424 3586.55/3596.18 o 1089382400 3586.55/3596.18 o 1089374208 3586.55/3596.18 o 1089372160 3586.55/3596.18 o 1089370112 3586.55/3596.18 o 1089361920 3586.55/3596.18 o 1089360896 3586.55/3596.18 o 1089359872 3586.55/3596.18 o 1089355776 3586.55/3596.18 o 1089346560 3586.55/3596.18 o 1089345536 3586.55/3596.18 o 1089341440 3586.55/3596.18 o 1089339392 3586.55/3596.18 o 1088822272 3586.55/3596.18 o 1088821248 3586.55/3596.18 o 1088819200 3586.55/3596.18 o 1088815104 3586.55/3596.18 o 1088814040 3586.55/3596.18 o 1088814032 3586.55/3596.18 o 1088814016 3586.55/3596.18 o 1088813952 3586.55/3596.18 o 1088813824 3586.55/3596.18 o 1088813568 3586.55/3596.18 o 1088813056 3586.55/3596.18 o 1088811008 3586.55/3596.18 o 1088809936 3586.55/3596.18 o 1088809920 3586.55/3596.18 o 1088809856 3586.55/3596.18 o 1088809728 3586.55/3596.18 o 1088809472 3586.55/3596.18 o 1088808960 3586.55/3596.18 o 1088806912 3586.55/3596.18 o 1088801744 3586.55/3596.18 o 1088801728 3586.55/3596.18 o 1088801664 3586.55/3596.18 o 1088801536 3586.55/3596.18 o 1088801472 3586.55/3596.18 o 1088801408 3586.55/3596.18 o 1088801344 3586.55/3596.18 o 1088801280 3586.55/3596.18 o 1088800768 3586.55/3596.18 o 1088798720 3586.55/3596.18 o 1088768000 3586.55/3596.18 o 1088765952 3586.55/3596.18 o 1088764928 3586.55/3596.18 o 1088763904 3586.55/3596.18 o 1088759808 3586.55/3596.18 o 1088757760 3586.55/3596.18 o 1088749568 3586.55/3596.18 o 1088745472 3586.55/3596.18 o 1088744448 3586.55/3596.18 o 1088743424 3586.55/3596.18 o 1088735232 3586.55/3596.18 o 1088733184 3586.55/3596.18 o 1088726016 3586.55/3596.18 o 1088723968 3586.55/3596.18 o 1088691200 3586.55/3596.18 o 1088690184 3586.55/3596.18 o 1088690176 3586.55/3596.18 o 1088686080 3586.55/3596.18 o 1088684032 3586.55/3596.18 o 1088683016 3586.55/3596.18 o 1088683008 3586.55/3596.18 o 1088681984 3586.55/3596.18 o 1088677888 3586.55/3596.18 o 1088675840 3586.55/3596.18 o 1088649216 3586.55/3596.18 o 1088645120 3586.55/3596.18 o 1088643072 3586.55/3596.18 o 1088642048 3586.55/3596.18 o 1088641032 3586.55/3596.18 o 1088641024 3586.55/3596.18 o 1088636928 3586.55/3596.18 o 1088635904 3586.55/3596.18 o 1088634880 3586.55/3596.18 o 1088633856 3586.55/3596.18 o 1088629760 3586.55/3596.18 o 1088627712 3586.55/3596.18 o 1088626688 3586.55/3596.18 o 1088623616 3586.55/3596.18 o 1088622592 3586.55/3596.18 o 1088621568 3586.55/3596.18 o 1088620544 3586.55/3596.18 o 1088618496 3586.55/3596.18 o 1088617472 3586.55/3596.18 o 1088616448 3586.55/3596.18 o 1088615432 3586.55/3596.18 o 1088615424 3586.55/3596.18 o 1088614400 3586.55/3596.18 o 1088607232 3586.55/3596.18 o 1088606208 3586.55/3596.18 o 1088603136 3586.55/3596.18 o 1088602112 3586.55/3596.18 o 1088593920 3586.55/3596.18 o 1088589824 3586.55/3596.18 o 1088587776 3586.55/3596.18 o 1088586752 3586.55/3596.18 o 1088585728 3586.55/3596.18 o 1088570368 3586.55/3596.18 o 1088568320 3586.55/3596.18 o 1088566280 3586.55/3596.18 o 1088566272 3586.55/3596.18 o 1088562176 3586.55/3596.18 o 1088560128 3586.55/3596.18 o 1088558080 3586.55/3596.18 o 1088557056 3586.55/3596.18 o 1088556032 3586.55/3596.18 o 1088553984 3586.55/3596.18 o 1088552960 3586.55/3596.18 o 1088551936 3586.55/3596.18 o 1088550912 3586.55/3596.18 o 1088546816 3586.55/3596.18 o 1088535552 3586.55/3596.18 o 1088531456 3586.55/3596.18 o 1088530432 3586.55/3596.18 o 1088529664 3586.55/3596.18 o 1088529408 3586.55/3596.18 o 1088528384 3586.55/3596.18 o 1088525320 3586.55/3596.18 o 1088525312 3586.55/3596.18 o 1088524288 3586.55/3596.18 o 1088520192 3586.55/3596.18 o 1088492552 3586.55/3596.18 o 1088492544 3586.55/3596.18 o 1088491520 3586.55/3596.18 o 1088487424 3586.55/3596.18 o 1088437248 3586.55/3596.18 o 1088433152 3586.55/3596.18 o 1088432128 3586.55/3596.18 o 1088430088 3586.55/3596.18 o 1088430080 3586.55/3596.18 o 1088425992 3586.55/3596.18 o 1088425984 3586.55/3596.18 o 1088421888 3586.55/3596.18 o 1088420864 3586.55/3596.18 o 1088416768 3586.55/3596.18 o 1088415744 3586.55/3596.18 o 1088413696 3586.55/3596.18 o 1088412672 3586.55/3596.18 o 1088411648 3586.55/3596.18 o 1088410632 3586.55/3596.18 o 1088410624 3586.55/3596.18 o 1088406528 3586.55/3596.18 o 1088405504 3586.55/3596.18 o 1088404480 3586.55/3596.18 o 1088403456 3586.55/3596.18 o 1088401408 3586.55/3596.18 o 1088398336 3586.55/3596.18 o 1088397312 3586.55/3596.18 o 1088395264 3586.55/3596.18 o 1088394240 3586.55/3596.18 o 1088393216 3586.55/3596.18 o 1088392192 3586.55/3596.18 c Program interrupted by user. 3586.55/3596.18 s SATISFIABLE 3586.55/3596.18 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 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 x7736 x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 x7796 -x7797 x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 x7811 x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 x7841 x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 x7901 x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 x8471 x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 x8486 x8487 x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 x8516 -x8517 x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 x8531 -x8532 x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 x8561 -x8562 x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 x8591 x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 x8606 x8607 x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 x8633 -x8634 -x8635 -x8636 x8637 -x8638 -x8639 -x8640 -x8641 x8642 -x8643 -x8644 -x8645 x8646 -x8647 -x8648 -x8649 -x8650 -x8651 x8652 -x8653 -x8654 -x8655 x8656 -x8657 -x8658 x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 x8678 -x8679 x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 x8693 -x8694 x8695 -x8696 -x8697 -x8698 -x8699 x8700 -x8701 -x8702 -x8703 -x8704 -x8705 x8706 -x8707 x8708 -x8709 -x8710 -x8711 x8712 -x8713 -x8714 x8715 -x8716 x8717 -x8718 -x8719 x8720 -x8721 x8722 x8723 -x8724 -x8725 -x8726 -x8727 -x8728 x8729 -x8730 -x8731 x8732 x8733 -x8734 -x8735 x8736 -x8737 -x8738 -x8739 x8740 -x8741 -x8742 -x8743 -x8744 -x8745 x8746 -x8747 -x8748 -x8749 -x8750 x8751 -x8752 x8753 x8754 -x8755 x8756 -x8757 -x8758 -x8759 x8760 -x8761 -x8762 -x8763 x8764 -x8765 x8766 x8767 -x8768 x8769 -x8770 -x8771 -x8772 x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 x8780 -x8781 -x8782 x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 x8803 x8804 -x8805 x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 x8829 x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 x8850 -x8851 -x8852 x8853 -x8854 -x8855 -x8856 -x8857 -x8858 x8859 x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 x8868 -x8869 -x8870 x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 x8882 x8883 -x8884 -x8885 -x8886 x8887 x8888 x8889 x8890 x8891 x8892 -x8893 x8894 x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 x8902
OK 1088392192
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62425 MiB free)
memory of node 1: 64465 MiB (63192 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485624-1751306875/watcher-4485624-1751306875 -o /tmp/evaluation-result-4485624-1751306875/solver-4485624-1751306875 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751303274-41991 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4485624-1751306875.opb 3600 HOME
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Current StackSize limit: 8192 KiB
solver pid=42565, runsolver pid=42562
[startup+0.100031 s]*
/proc/loadavg: 4.10 4.18 4.10 5/271 42569
/proc/meminfo: memFree=128608200/131249988 swapFree=33010684/33010684
[pid=42565] ppid=42562 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/42565/stat : 42565 (Hybrid-CASHWMax) S 42562 42565 41981 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 46366064 4427776 768 18446744073709551615 94711752626176 94711753520709 140736063691168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94711753759760 94711753807504 94711779491840 140736063699285 140736063699440 140736063699440 140736063705042 0
/proc/42565/statm: 1081 768 704 219 0 143 0
[pid=42568] ppid=42565 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42568/stat : 42568 (timeout) S 42565 42568 41981 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 46366066 2723840 352 18446744073709551615 94175252025344 94175252041857 140731096101552 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94175252056624 94175252058712 94175283613696 140731096103320 140731096103458 140731096103458 140731096109031 0
/proc/42568/statm: 665 352 352 5 0 90 0
[pid=42569] ppid=42568 vsize=32404 memory=12928 CPUtime=0.07 cores=0,2
/proc/42569/stat : 42569 (CASHWMaxSAT-Dis) R 42568 42568 41981 0 -1 4194304 2575 0 0 0 7 0 0 0 20 0 1 0 46366066 33181696 3232 18446744073709551615 4198400 14093885 140728914293680 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 15976432 16051504 21528576 140728914295197 140728914295323 140728914295323 140728914300896 0
/proc/42569/statm: 8101 3232 736 2416 0 5203 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 39388 KiB
Current children cumulated memory: 17408 KiB
[startup+0.205934 s]*
/proc/loadavg: 4.10 4.18 4.10 5/271 42569
/proc/meminfo: memFree=128571776/131249988 swapFree=33010684/33010684
[pid=42565] ppid=42562 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/42565/stat : 42565 (Hybrid-CASHWMax) S 42562 42565 41981 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 46366064 4427776 768 18446744073709551615 94711752626176 94711753520709 140736063691168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94711753759760 94711753807504 94711779491840 140736063699285 140736063699440 140736063699440 140736063705042 0
/proc/42565/statm: 1081 768 704 219 0 143 0
[pid=42568] ppid=42565 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42568/stat : 42568 (timeout) S 42565 42568 41981 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 46366066 2723840 352 18446744073709551615 94175252025344 94175252041857 140731096101552 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94175252056624 94175252058712 94175283613696 140731096103320 140731096103458 140731096103458 140731096109031 0
/proc/42568/statm: 665 352 352 5 0 90 0
[pid=42569] ppid=42568 vsize=40384 memory=20608 CPUtime=0.17 cores=0,2
/proc/42569/stat : 42569 (CASHWMaxSAT-Dis) R 42568 42568 41981 0 -1 4194304 4485 0 0 0 17 0 0 0 20 0 1 0 46366066 41353216 5152 18446744073709551615 4198400 14093885 140728914293680 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 21528576 140728914295197 140728914295323 140728914295323 140728914300896 0
/proc/42569/statm: 10096 5152 736 2416 0 7198 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 47368 KiB
Current children cumulated memory: 25088 KiB
[startup+0.305897 s]*
/proc/loadavg: 4.10 4.18 4.10 5/271 42569
/proc/meminfo: memFree=128555520/131249988 swapFree=33010684/33010684
[pid=42565] ppid=42562 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/42565/stat : 42565 (Hybrid-CASHWMax) S 42562 42565 41981 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 46366064 4427776 768 18446744073709551615 94711752626176 94711753520709 140736063691168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94711753759760 94711753807504 94711779491840 140736063699285 140736063699440 140736063699440 140736063705042 0
/proc/42565/statm: 1081 768 704 219 0 143 0
[pid=42568] ppid=42565 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42568/stat : 42568 (timeout) S 42565 42568 41981 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 46366066 2723840 352 18446744073709551615 94175252025344 94175252041857 140731096101552 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94175252056624 94175252058712 94175283613696 140731096103320 140731096103458 140731096103458 140731096109031 0
/proc/42568/statm: 665 352 352 5 0 90 0
[pid=42569] ppid=42568 vsize=42000 memory=22080 CPUtime=0.27 cores=0,2
/proc/42569/stat : 42569 (CASHWMaxSAT-Dis) R 42568 42568 41981 0 -1 4194304 5068 0 0 0 27 0 0 0 20 0 1 0 46366066 43008000 5520 18446744073709551615 4198400 14093885 140728914293680 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 21528576 140728914295197 140728914295323 140728914295323 140728914300896 0
/proc/42569/statm: 10500 5520 736 2416 0 7602 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 48984 KiB
Current children cumulated memory: 26560 KiB
[startup+0.700252 s]
/proc/loadavg: 4.10 4.18 4.10 5/271 42569
/proc/meminfo: memFree=128502716/131249988 swapFree=33010684/33010684
[pid=42565] ppid=42562 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/42565/stat : 42565 (Hybrid-CASHWMax) S 42562 42565 41981 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 46366064 4427776 768 18446744073709551615 94711752626176 94711753520709 140736063691168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94711753759760 94711753807504 94711779491840 140736063699285 140736063699440 140736063699440 140736063705042 0
/proc/42565/statm: 1081 768 704 219 0 143 0
[pid=42568] ppid=42565 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42568/stat : 42568 (timeout) S 42565 42568 41981 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 46366066 2723840 352 18446744073709551615 94175252025344 94175252041857 140731096101552 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94175252056624 94175252058712 94175283613696 140731096103320 140731096103458 140731096103458 140731096109031 0
/proc/42568/statm: 665 352 352 5 0 90 0
[pid=42569] ppid=42568 vsize=52884 memory=31948 CPUtime=0.67 cores=0,2
/proc/42569/stat : 42569 (CASHWMaxSAT-Dis) R 42568 42568 41981 0 -1 4194304 8078 0 0 0 66 1 0 0 20 0 1 0 46366066 54153216 7987 18446744073709551615 4198400 14093885 140728914293680 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 21528576 140728914295197 140728914295323 140728914295323 140728914300896 0
/proc/42569/statm: 13221 7987 768 2416 0 10323 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 59868 KiB
Current children cumulated memory: 36428 KiB
[startup+1.50023 s]
/proc/loadavg: 4.10 4.18 4.10 5/271 42569
/proc/meminfo: memFree=128458104/131249988 swapFree=33010684/33010684
[pid=42565] ppid=42562 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/42565/stat : 42565 (Hybrid-CASHWMax) S 42562 42565 41981 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 46366064 4427776 768 18446744073709551615 94711752626176 94711753520709 140736063691168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94711753759760 94711753807504 94711779491840 140736063699285 140736063699440 140736063699440 140736063705042 0
/proc/42565/statm: 1081 768 704 219 0 143 0
[pid=42568] ppid=42565 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42568/stat : 42568 (timeout) S 42565 42568 41981 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 46366066 2723840 352 18446744073709551615 94175252025344 94175252041857 140731096101552 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94175252056624 94175252058712 94175283613696 140731096103320 140731096103458 140731096103458 140731096109031 0
/proc/42568/statm: 665 352 352 5 0 90 0
[pid=42569] ppid=42568 vsize=66640 memory=43120 CPUtime=1.46 cores=0,2
/proc/42569/stat : 42569 (CASHWMaxSAT-Dis) R 42568 42568 41981 0 -1 4194304 10001 0 0 0 145 1 0 0 20 0 1 0 46366066 68239360 10780 18446744073709551615 4198400 14093885 140728914293680 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 21528576 140728914295197 140728914295323 140728914295323 140728914300896 0
/proc/42569/statm: 16660 10780 768 2416 0 13762 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 73624 KiB
Current children cumulated memory: 47600 KiB
[startup+3.10578 s]
/proc/loadavg: 4.09 4.18 4.10 5/271 42569
/proc/meminfo: memFree=128063728/131249988 swapFree=33010684/33010684
[pid=42565] ppid=42562 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/42565/stat : 42565 (Hybrid-CASHWMax) S 42562 42565 41981 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 46366064 4427776 768 18446744073709551615 94711752626176 94711753520709 140736063691168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94711753759760 94711753807504 94711779491840 140736063699285 140736063699440 140736063699440 140736063705042 0
/proc/42565/statm: 1081 768 704 219 0 143 0
[pid=42568] ppid=42565 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42568/stat : 42568 (timeout) S 42565 42568 41981 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 46366066 2723840 352 18446744073709551615 94175252025344 94175252041857 140731096101552 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94175252056624 94175252058712 94175283613696 140731096103320 140731096103458 140731096103458 140731096109031 0
/proc/42568/statm: 665 352 352 5 0 90 0
[pid=42569] ppid=42568 vsize=174096 memory=151508 CPUtime=3.06 cores=0,2
/proc/42569/stat : 42569 (CASHWMaxSAT-Dis) R 42568 42568 41981 0 -1 4194304 21593 0 0 0 301 5 0 0 20 0 1 0 46366066 178274304 37877 18446744073709551615 4198400 14093885 140728914293680 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 21528576 140728914295197 140728914295323 140728914295323 140728914300896 0
/proc/42569/statm: 43524 37877 992 2416 0 40626 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 181080 KiB
Current children cumulated memory: 155988 KiB
[startup+6.30023 s]
/proc/loadavg: 4.09 4.18 4.10 5/271 42569
/proc/meminfo: memFree=127900276/131249988 swapFree=33010684/33010684
[pid=42565] ppid=42562 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/42565/stat : 42565 (Hybrid-CASHWMax) S 42562 42565 41981 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 46366064 4427776 768 18446744073709551615 94711752626176 94711753520709 140736063691168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94711753759760 94711753807504 94711779491840 140736063699285 140736063699440 140736063699440 140736063705042 0
/proc/42565/statm: 1081 768 704 219 0 143 0
[pid=42568] ppid=42565 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42568/stat : 42568 (timeout) S 42565 42568 41981 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 46366066 2723840 352 18446744073709551615 94175252025344 94175252041857 140731096101552 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94175252056624 94175252058712 94175283613696 140731096103320 140731096103458 140731096103458 140731096109031 0
/proc/42568/statm: 665 352 352 5 0 90 0
[pid=42569] ppid=42568 vsize=301504 memory=262316 CPUtime=6.25 cores=0,2
/proc/42569/stat : 42569 (CASHWMaxSAT-Dis) R 42568 42568 41981 0 -1 4194304 36841 0 0 0 613 12 0 0 20 0 1 0 46366066 308740096 65579 18446744073709551615 4198400 14093885 140728914293680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 21528576 140728914295197 140728914295323 140728914295323 140728914300896 0
/proc/42569/statm: 75376 65579 992 2416 0 72478 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 308488 KiB
Current children cumulated memory: 266796 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.17 4.10 5/271 42569
/proc/meminfo: memFree=128007920/131249988 swapFree=33010684/33010684
[pid=42565] ppid=42562 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/42565/stat : 42565 (Hybrid-CASHWMax) S 42562 42565 41981 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 46366064 4427776 768 18446744073709551615 94711752626176 94711753520709 140736063691168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94711753759760 94711753807504 94711779491840 140736063699285 140736063699440 140736063699440 140736063705042 0
/proc/42565/statm: 1081 768 704 219 0 143 0
[pid=42568] ppid=42565 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42568/stat : 42568 (timeout) S 42565 42568 41981 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 46366066 2723840 352 18446744073709551615 94175252025344 94175252041857 140731096101552 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94175252056624 94175252058712 94175283613696 140731096103320 140731096103458 140731096103458 140731096109031 0
/proc/42568/statm: 665 352 352 5 0 90 0
[pid=42569] ppid=42568 vsize=333004 memory=281844 CPUtime=12.63 cores=0,2
/proc/42569/stat : 42569 (CASHWMaxSAT-Dis) R 42568 42568 41981 0 -1 4194304 40778 0 0 0 1249 14 0 0 20 0 1 0 46366066 340996096 70461 18446744073709551615 4198400 14093885 140728914293680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 21528576 140728914295197 140728914295323 140728914295323 140728914300896 0
/proc/42569/statm: 83251 70461 1024 2416 0 80353 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 339988 KiB
Current children cumulated memory: 286324 KiB
[startup+25.5003 s]
/proc/loadavg: 4.13 4.18 4.10 5/271 42569
/proc/meminfo: memFree=128060492/131249988 swapFree=33010684/33010684
[pid=42565] ppid=42562 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/42565/stat : 42565 (Hybrid-CASHWMax) S 42562 42565 41981 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 46366064 4427776 768 18446744073709551615 94711752626176 94711753520709 140736063691168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94711753759760 94711753807504 94711779491840 140736063699285 140736063699440 140736063699440 140736063705042 0
/proc/42565/statm: 1081 768 704 219 0 143 0
[pid=42568] ppid=42565 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42568/stat : 42568 (timeout) S 42565 42568 41981 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 46366066 2723840 352 18446744073709551615 94175252025344 94175252041857 140731096101552 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94175252056624 94175252058712 94175283613696 140731096103320 140731096103458 140731096103458 140731096109031 0
/proc/42568/statm: 665 352 352 5 0 90 0
[pid=42569] ppid=42568 vsize=333004 memory=286080 CPUtime=25.39 cores=0,2
/proc/42569/stat : 42569 (CASHWMaxSAT-Dis) R 42568 42568 41981 0 -1 4194304 40818 0 0 0 2525 14 0 0 20 0 1 0 46366066 340996096 71520 18446744073709551615 4198400 14093885 140728914293680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 21528576 140728914295197 140728914295323 140728914295323 140728914300896 0
/proc/42569/statm: 83251 71520 1024 2416 0 80353 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 339988 KiB
Current children cumulated memory: 290560 KiB
[startup+51.1059 s]
/proc/loadavg: 4.08 4.16 4.10 5/271 42570
/proc/meminfo: memFree=128041320/131249988 swapFree=33010684/33010684
[pid=42565] ppid=42562 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/42565/stat : 42565 (Hybrid-CASHWMax) S 42562 42565 41981 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 46366064 4427776 768 18446744073709551615 94711752626176 94711753520709 140736063691168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94711753759760 94711753807504 94711779491840 140736063699285 140736063699440 140736063699440 140736063705042 0
/proc/42565/statm: 1081 768 704 219 0 143 0
[pid=42568] ppid=42565 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42568/stat : 42568 (timeout) S 42565 42568 41981 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 46366066 2723840 352 18446744073709551615 94175252025344 94175252041857 140731096101552 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94175252056624 94175252058712 94175283613696 140731096103320 140731096103458 140731096103458 140731096109031 0
/proc/42568/statm: 665 352 352 5 0 90 0
[pid=42569] ppid=42568 vsize=333004 memory=286280 CPUtime=50.93 cores=0,2
/proc/42569/stat : 42569 (CASHWMaxSAT-Dis) R 42568 42568 41981 0 -1 4194304 41346 0 0 0 5078 15 0 0 20 0 1 0 46366066 340996096 71570 18446744073709551615 4198400 14093885 140728914293680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 21528576 140728914295197 140728914295323 140728914295323 140728914300896 0
/proc/42569/statm: 83251 71570 1024 2416 0 80353 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 339988 KiB
Current children cumulated memory: 290760 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.15 4.10 5/271 42571
/proc/meminfo: memFree=128054764/131249988 swapFree=33010684/33010684
[pid=42565] ppid=42562 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/42565/stat : 42565 (Hybrid-CASHWMax) S 42562 42565 41981 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 46366064 4427776 768 18446744073709551615 94711752626176 94711753520709 140736063691168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94711753759760 94711753807504 94711779491840 140736063699285 140736063699440 140736063699440 140736063705042 0
/proc/42565/statm: 1081 768 704 219 0 143 0
[pid=42568] ppid=42565 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42568/stat : 42568 (timeout) S 42565 42568 41981 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 46366066 2723840 352 18446744073709551615 94175252025344 94175252041857 140731096101552 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94175252056624 94175252058712 94175283613696 140731096103320 140731096103458 140731096103458 140731096109031 0
################
# More data... #
################
/proc/42616/statm: 213882 197898 1984 2271 0 208520 0
Current children cumulated CPU time: 3453.12 s
Current children cumulated vsize: 862512 KiB
Current children cumulated memory: 796072 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.18 4.13 5/272 42754
/proc/meminfo: memFree=119731556/131249988 swapFree=33010684/33010684
[pid=42565] ppid=42562 vsize=4324 memory=3072 CPUtime=896.33 cores=0,2
/proc/42565/stat : 42565 (Hybrid-CASHWMax) S 42562 42565 41981 0 -1 4194304 283 68219 0 0 0 0 89571 62 20 0 1 0 46366064 4427776 768 18446744073709551615 94711752626176 94711753520709 140736063691168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94711753759760 94711753807504 94711779491840 140736063699285 140736063699440 140736063699440 140736063705042 0
/proc/42565/statm: 1081 768 704 219 0 143 0
[pid=42615] ppid=42565 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42615/stat : 42615 (timeout) S 42565 42615 41981 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46455967 2723840 352 18446744073709551615 94799136362496 94799136379009 140731090583216 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94799136393776 94799136395864 94799168954368 140731090590085 140731090590242 140731090590242 140731090595815 0
/proc/42615/statm: 665 352 352 5 0 90 0
[pid=42616] ppid=42615 vsize=859220 memory=795688 CPUtime=2616.64 cores=0,2
/proc/42616/stat : 42616 (ExactPR-S9) R 42615 42615 41981 0 -1 4194304 74877 0 0 0 260110 1554 0 0 20 0 1 0 46455967 879841280 198922 18446744073709551615 94143162138624 94143171438725 140724987300864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94143173224768 94143173263848 94143192371200 140724987304348 140724987304486 140724987304486 140724987310059 0
/proc/42616/statm: 214805 198922 1984 2271 0 209443 0
Current children cumulated CPU time: 3512.97 s
Current children cumulated vsize: 866204 KiB
Current children cumulated memory: 800168 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.16 4.13 5/272 42756
/proc/meminfo: memFree=119727976/131249988 swapFree=33010684/33010684
[pid=42565] ppid=42562 vsize=4324 memory=3072 CPUtime=896.33 cores=0,2
/proc/42565/stat : 42565 (Hybrid-CASHWMax) S 42562 42565 41981 0 -1 4194304 283 68219 0 0 0 0 89571 62 20 0 1 0 46366064 4427776 768 18446744073709551615 94711752626176 94711753520709 140736063691168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94711753759760 94711753807504 94711779491840 140736063699285 140736063699440 140736063699440 140736063705042 0
/proc/42565/statm: 1081 768 704 219 0 143 0
[pid=42615] ppid=42565 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42615/stat : 42615 (timeout) S 42565 42615 41981 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46455967 2723840 352 18446744073709551615 94799136362496 94799136379009 140731090583216 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94799136393776 94799136395864 94799168954368 140731090590085 140731090590242 140731090590242 140731090595815 0
/proc/42615/statm: 665 352 352 5 0 90 0
[pid=42616] ppid=42615 vsize=859220 memory=795816 CPUtime=2676.48 cores=0,2
/proc/42616/stat : 42616 (ExactPR-S9) R 42615 42615 41981 0 -1 4194304 74909 0 0 0 266087 1561 0 0 20 0 1 0 46455967 879841280 198954 18446744073709551615 94143162138624 94143171438725 140724987300864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94143173224768 94143173263848 94143192371200 140724987304348 140724987304486 140724987304486 140724987310059 0
/proc/42616/statm: 214805 198954 1984 2271 0 209443 0
Current children cumulated CPU time: 3572.81 s
Current children cumulated vsize: 866204 KiB
Current children cumulated memory: 800296 KiB
[startup+3596.2 s]
# the end of solver process 42565 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3570.32 s, system=16.3088 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.16 4.13 5/272 42756
/proc/meminfo: memFree=119728836/131249988 swapFree=33010684/33010684
[pid=42565] ppid=42562 vsize=4324 memory=3072 CPUtime=896.33 cores=0,2
/proc/42565/stat : 42565 (Hybrid-CASHWMax) S 42562 42565 41981 0 -1 4194304 283 68219 0 0 0 0 89571 62 20 0 1 0 46366064 4427776 768 18446744073709551615 94711752626176 94711753520709 140736063691168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94711753759760 94711753807504 94711779491840 140736063699285 140736063699440 140736063699440 140736063705042 0
/proc/42565/statm: 1081 768 704 219 0 143 0
[pid=42615] ppid=42565 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42615/stat : 42615 (timeout) S 42565 42615 41981 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46455967 2723840 352 18446744073709551615 94799136362496 94799136379009 140731090583216 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94799136393776 94799136395864 94799168954368 140731090590085 140731090590242 140731090590242 140731090595815 0
/proc/42615/statm: 665 352 352 5 0 90 0
[pid=42616] ppid=42615 vsize=859220 memory=795816 CPUtime=2678.18 cores=0,2
/proc/42616/stat : 42616 (ExactPR-S9) R 42615 42615 41981 0 -1 4194304 74909 0 0 0 266257 1561 0 0 20 0 1 0 46455967 879841280 198954 18446744073709551615 94143162138624 94143171438725 140724987300864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94143173224768 94143173263848 94143192371200 140724987304348 140724987304486 140724987304486 140724987310059 0
/proc/42616/statm: 214805 198954 1984 2271 0 209443 0
Current children cumulated CPU time: 3574.51 s
Current children cumulated vsize: 866204 KiB
Current children cumulated memory: 800296 KiB
[startup+3590.4 s]
/proc/loadavg: 4.16 4.17 4.13 5/272 42756
/proc/meminfo: memFree=119728852/131249988 swapFree=33010684/33010684
[pid=42565] ppid=42562 vsize=4324 memory=3072 CPUtime=896.33 cores=0,2
/proc/42565/stat : 42565 (Hybrid-CASHWMax) S 42562 42565 41981 0 -1 4194304 283 68219 0 0 0 0 89571 62 20 0 1 0 46366064 4427776 768 18446744073709551615 94711752626176 94711753520709 140736063691168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94711753759760 94711753807504 94711779491840 140736063699285 140736063699440 140736063699440 140736063705042 0
/proc/42565/statm: 1081 768 704 219 0 143 0
[pid=42615] ppid=42565 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42615/stat : 42615 (timeout) S 42565 42615 41981 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46455967 2723840 352 18446744073709551615 94799136362496 94799136379009 140731090583216 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94799136393776 94799136395864 94799168954368 140731090590085 140731090590242 140731090590242 140731090595815 0
/proc/42615/statm: 665 352 352 5 0 90 0
[pid=42616] ppid=42615 vsize=859220 memory=795816 CPUtime=2684.56 cores=0,2
/proc/42616/stat : 42616 (ExactPR-S9) R 42615 42615 41981 0 -1 4194304 74909 0 0 0 266895 1561 0 0 20 0 1 0 46455967 879841280 198954 18446744073709551615 94143162138624 94143171438725 140724987300864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94143173224768 94143173263848 94143192371200 140724987304348 140724987304486 140724987304486 140724987310059 0
/proc/42616/statm: 214805 198954 1984 2271 0 209443 0
Current children cumulated CPU time: 3580.89 s
Current children cumulated vsize: 866204 KiB
Current children cumulated memory: 800296 KiB
[startup+3593.6 s]
/proc/loadavg: 4.14 4.17 4.13 4/268 42778
/proc/meminfo: memFree=126419016/131249988 swapFree=33010684/33010684
[pid=42565] ppid=42562 vsize=4324 memory=3072 CPUtime=896.33 cores=0,2
/proc/42565/stat : 42565 (Hybrid-CASHWMax) S 42562 42565 41981 0 -1 4194304 283 68219 0 0 0 0 89571 62 20 0 1 0 46366064 4427776 768 18446744073709551615 94711752626176 94711753520709 140736063691168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94711753759760 94711753807504 94711779491840 140736063699285 140736063699440 140736063699440 140736063705042 0
/proc/42565/statm: 1081 768 704 219 0 143 0
[pid=42615] ppid=42565 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42615/stat : 42615 (timeout) S 42565 42615 41981 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46455967 2723840 352 18446744073709551615 94799136362496 94799136379009 140731090583216 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94799136393776 94799136395864 94799168954368 140731090590085 140731090590242 140731090590242 140731090595815 0
/proc/42615/statm: 665 352 352 5 0 90 0
[pid=42616] ppid=42615 vsize=859220 memory=795816 CPUtime=2687.74 cores=0,2
/proc/42616/stat : 42616 (ExactPR-S9) R 42615 42615 41981 0 -1 4194304 74909 0 0 0 267212 1562 0 0 20 0 1 0 46455967 879841280 198954 18446744073709551615 94143162138624 94143171438725 140724987300864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94143173224768 94143173263848 94143192371200 140724987304348 140724987304486 140724987304486 140724987310059 0
/proc/42616/statm: 214805 198954 1984 2271 0 209443 0
Current children cumulated CPU time: 3584.07 s
Current children cumulated vsize: 866204 KiB
Current children cumulated memory: 800296 KiB
[startup+3595.2 s]
/proc/loadavg: 4.14 4.17 4.13 4/263 42962
/proc/meminfo: memFree=128786832/131249988 swapFree=33010684/33010684
[pid=42565] ppid=42562 vsize=4324 memory=3072 CPUtime=896.33 cores=0,2
/proc/42565/stat : 42565 (Hybrid-CASHWMax) S 42562 42565 41981 0 -1 4194304 283 68219 0 0 0 0 89571 62 20 0 1 0 46366064 4427776 768 18446744073709551615 94711752626176 94711753520709 140736063691168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94711753759760 94711753807504 94711779491840 140736063699285 140736063699440 140736063699440 140736063705042 0
/proc/42565/statm: 1081 768 704 219 0 143 0
[pid=42615] ppid=42565 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42615/stat : 42615 (timeout) S 42565 42615 41981 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46455967 2723840 352 18446744073709551615 94799136362496 94799136379009 140731090583216 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94799136393776 94799136395864 94799168954368 140731090590085 140731090590242 140731090590242 140731090595815 0
/proc/42615/statm: 665 352 352 5 0 90 0
[pid=42616] ppid=42615 vsize=859220 memory=795816 CPUtime=2689.32 cores=0,2
/proc/42616/stat : 42616 (ExactPR-S9) R 42615 42615 41981 0 -1 4194304 74909 0 0 0 267369 1563 0 0 20 0 1 0 46455967 879841280 198954 18446744073709551615 94143162138624 94143171438725 140724987300864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94143173224768 94143173263848 94143192371200 140724987304348 140724987304486 140724987304486 140724987310059 0
/proc/42616/statm: 214805 198954 1984 2271 0 209443 0
Current children cumulated CPU time: 3585.65 s
Current children cumulated vsize: 866204 KiB
Current children cumulated memory: 800296 KiB
[startup+3595.6 s]
/proc/loadavg: 4.14 4.17 4.13 4/263 42962
/proc/meminfo: memFree=128786832/131249988 swapFree=33010684/33010684
[pid=42565] ppid=42562 vsize=4324 memory=3072 CPUtime=896.33 cores=0,2
/proc/42565/stat : 42565 (Hybrid-CASHWMax) S 42562 42565 41981 0 -1 4194304 283 68219 0 0 0 0 89571 62 20 0 1 0 46366064 4427776 768 18446744073709551615 94711752626176 94711753520709 140736063691168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94711753759760 94711753807504 94711779491840 140736063699285 140736063699440 140736063699440 140736063705042 0
/proc/42565/statm: 1081 768 704 219 0 143 0
[pid=42615] ppid=42565 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42615/stat : 42615 (timeout) S 42565 42615 41981 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46455967 2723840 352 18446744073709551615 94799136362496 94799136379009 140731090583216 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94799136393776 94799136395864 94799168954368 140731090590085 140731090590242 140731090590242 140731090595815 0
/proc/42615/statm: 665 352 352 5 0 90 0
[pid=42616] ppid=42615 vsize=859220 memory=795816 CPUtime=2689.72 cores=0,2
/proc/42616/stat : 42616 (ExactPR-S9) R 42615 42615 41981 0 -1 4194304 74909 0 0 0 267408 1564 0 0 20 0 1 0 46455967 879841280 198954 18446744073709551615 94143162138624 94143171438725 140724987300864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94143173224768 94143173263848 94143192371200 140724987304348 140724987304486 140724987304486 140724987310059 0
/proc/42616/statm: 214805 198954 1984 2271 0 209443 0
Current children cumulated CPU time: 3586.05 s
Current children cumulated vsize: 866204 KiB
Current children cumulated memory: 800296 KiB
[startup+3596 s]*
/proc/loadavg: 4.14 4.17 4.13 5/272 43005
/proc/meminfo: memFree=128630448/131249988 swapFree=33010684/33010684
[pid=42565] ppid=42562 vsize=4324 memory=3072 CPUtime=896.33 cores=0,2
/proc/42565/stat : 42565 (Hybrid-CASHWMax) S 42562 42565 41981 0 -1 4194304 283 68219 0 0 0 0 89571 62 20 0 1 0 46366064 4427776 768 18446744073709551615 94711752626176 94711753520709 140736063691168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94711753759760 94711753807504 94711779491840 140736063699285 140736063699440 140736063699440 140736063705042 0
/proc/42565/statm: 1081 768 704 219 0 143 0
[pid=42615] ppid=42565 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42615/stat : 42615 (timeout) S 42565 42615 41981 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46455967 2723840 352 18446744073709551615 94799136362496 94799136379009 140731090583216 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94799136393776 94799136395864 94799168954368 140731090590085 140731090590242 140731090590242 140731090595815 0
/proc/42615/statm: 665 352 352 5 0 90 0
[pid=42616] ppid=42615 vsize=859220 memory=795816 CPUtime=2690.13 cores=0,2
/proc/42616/stat : 42616 (ExactPR-S9) R 42615 42615 41981 0 -1 4194304 74909 0 0 0 267449 1564 0 0 20 0 1 0 46455967 879841280 198954 18446744073709551615 94143162138624 94143171438725 140724987300864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94143173224768 94143173263848 94143192371200 140724987304348 140724987304486 140724987304486 140724987310059 0
/proc/42616/statm: 214805 198954 1984 2271 0 209443 0
Current children cumulated CPU time: 3586.46 s
Current children cumulated vsize: 866204 KiB
Current children cumulated memory: 800296 KiB
[startup+3596.11 s]
/proc/loadavg: 4.14 4.17 4.13 5/272 43005
/proc/meminfo: memFree=128630448/131249988 swapFree=33010684/33010684
[pid=42565] ppid=42562 vsize=4324 memory=3072 CPUtime=896.33 cores=0,2
/proc/42565/stat : 42565 (Hybrid-CASHWMax) S 42562 42565 41981 0 -1 4194304 283 68219 0 0 0 0 89571 62 20 0 1 0 46366064 4427776 768 18446744073709551615 94711752626176 94711753520709 140736063691168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94711753759760 94711753807504 94711779491840 140736063699285 140736063699440 140736063699440 140736063705042 0
/proc/42565/statm: 1081 768 704 219 0 143 0
[pid=42615] ppid=42565 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42615/stat : 42615 (timeout) S 42565 42615 41981 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 46455967 2723840 352 18446744073709551615 94799136362496 94799136379009 140731090583216 0 0 0 0 3293184 73735 1 0 0 17 2 0 0 0 0 0 94799136393776 94799136395864 94799168954368 140731090590085 140731090590242 140731090590242 140731090595815 0
/proc/42615/statm: 665 352 352 5 0 90 0
[pid=42616] ppid=42615 vsize=363000 memory=329232 CPUtime=2690.22 cores=0,2
/proc/42616/stat : 42616 (ExactPR-S9) R 42615 42615 41981 0 -1 4194304 74912 0 0 0 267458 1564 0 0 20 0 1 0 46455967 371712000 82308 18446744073709551615 94143162138624 94143171438725 140724987300864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94143173224768 94143173263848 94143192371200 140724987304348 140724987304486 140724987304486 140724987310059 0
/proc/42616/statm: 90750 82308 2016 2271 0 85388 0
Current children cumulated CPU time: 3586.55 s
Current children cumulated vsize: 369984 KiB
Current children cumulated memory: 333712 KiB
Child status: 0
Real time (s): 3596.2
CPU time (s): 3586.63
CPU user time (s): 3570.32
CPU system time (s): 16.3088
CPU usage (%): 99.7339
Max. virtual memory (cumulated for all children) (KiB): 1117592
Max. memory (cumulated for all children) (KiB): 800296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.32
system time used= 16.3088
maximum resident set size= 870200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146720
page faults= 0
swaps= 0
block input operations= 0
block output operations= 480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1908
involuntary context switches= 7962
# summary of solver processes directly reported to runsolver:
# pid: 42565
# total CPU time (s): 3586.63
# total CPU user time (s): 3570.32
# total CPU system time (s): 16.3088
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.04086 second user time and 17.2723 second system time
The end
Begin job on nodeC031 at 2025-06-30 20:07:55 IDJOB=4485624 IDBENCH=146805 IDSOLVER=3330 FILE ID=nodeC031/4485624-1751306875 RUNJOBID= nodeC031-1751303274-41991 SLURM_JOB_ID= 9594293 Free space on /tmp= 432980 MiB SOLVER NAME= Hybrid-CASHWMaxSATDisjCom+ExactPRS9 2025-06-02 BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-roll3000.opb COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 BENCHNAME TIMEOUT TMPDIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485624-1751306875/watcher-4485624-1751306875 -o /tmp/evaluation-result-4485624-1751306875/solver-4485624-1751306875 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751303274-41991 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4485624-1751306875.opb 3600 HOME TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9da0f014fb9cbd107dd1b5ea973ba0c7 RANDOM SEED=204650881 nodeC031 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.852 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.895 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3570.998 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3607.264 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.949 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.885 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.758 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249988 kB MemFree: 128632332 kB MemAvailable: 128758340 kB Buffers: 3280 kB Cached: 933276 kB SwapCached: 0 kB Active: 1338968 kB Inactive: 666720 kB Active(anon): 1087208 kB Inactive(anon): 0 kB Active(file): 251760 kB Inactive(file): 666720 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 107860 kB Writeback: 8 kB AnonPages: 1072588 kB Mapped: 113680 kB Shmem: 18064 kB KReclaimable: 93536 kB Slab: 180516 kB SReclaimable: 93536 kB SUnreclaim: 86980 kB KernelStack: 4360 kB PageTables: 5512 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635676 kB Committed_AS: 1515596 kB VmallocTotal: 34359738367 kB VmallocUsed: 150552 kB VmallocChunk: 0 kB Percpu: 3808 kB HardwareCorrupted: 0 kB AnonHugePages: 346112 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 191188 kB DirectMap2M: 9017344 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432896 MiB End job on nodeC031 at 2025-06-30 21:07:51