Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Hybrid-CASHWMaxSATDisjCad+ExactPRS 2025-06-01 | SAT | 1087997952 | 3585.01 | 3596.31 |
| 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 |
3584.90/3596.22 c Exit code from Second Program: 124 3584.90/3596.29 c 3038 constraints 3584.90/3596.29 c after presolve 4409 3584.90/3596.29 c Finish cloning data from SAT to LS 3584.90/3596.29 c intsize: 41 3584.90/3596.29 c Use LS-small 3584.90/3596.29 o 1610612736 3584.90/3596.29 o 1342177280 3584.90/3596.29 o 1207959552 3584.90/3596.29 o 1140850688 3584.90/3596.29 o 1119879168 3584.90/3596.29 o 1117323264 3584.90/3596.29 o 1117322240 3584.90/3596.29 o 1117321216 3584.90/3596.29 o 1116272640 3584.90/3596.29 o 1115748352 3584.90/3596.29 o 1115744256 3584.90/3596.29 o 1115736064 3584.90/3596.29 o 1115539456 3584.90/3596.29 o 1115487232 3584.90/3596.29 o 1115486208 3584.90/3596.29 o 1115482112 3584.90/3596.29 o 1115473920 3584.90/3596.29 o 1115409376 3584.90/3596.29 o 1115409344 3584.90/3596.29 o 1115409216 3584.90/3596.29 o 1115409088 3584.90/3596.29 o 1115409024 3584.90/3596.29 o 1115408960 3584.90/3596.29 o 1115408896 3584.90/3596.29 o 1115408384 3584.90/3596.29 o 1115277312 3584.90/3596.29 o 1115244544 3584.90/3596.29 o 1115228160 3584.90/3596.29 o 1115162624 3584.90/3596.29 o 1115160576 3584.90/3596.29 o 1110966272 3584.90/3596.29 o 1109917696 3584.90/3596.29 o 1109916672 3584.90/3596.29 o 1109915648 3584.90/3596.29 o 1109784576 3584.90/3596.29 o 1109719040 3584.90/3596.29 o 1109686272 3584.90/3596.29 o 1109669888 3584.90/3596.29 o 1109667840 3584.90/3596.29 o 1109405696 3584.90/3596.29 o 1109397504 3584.90/3596.29 o 1109393408 3584.90/3596.29 o 1109392384 3584.90/3596.29 o 1109391360 3584.90/3596.29 o 1109260288 3584.90/3596.29 o 1109194752 3584.90/3596.29 o 1109161984 3584.90/3596.29 o 1109145600 3584.90/3596.29 o 1109143552 3584.90/3596.29 o 1108881408 3584.90/3596.29 o 1108873216 3584.90/3596.29 o 1108869120 3584.90/3596.29 o 1108803584 3584.90/3596.29 o 1108770816 3584.90/3596.29 o 1108508672 3584.90/3596.29 o 1108377600 3584.90/3596.29 o 1108344832 3584.90/3596.29 o 1107296256 3584.90/3596.29 o 1104609280 3584.90/3596.29 o 1104576512 3584.90/3596.29 o 1104314368 3584.90/3596.29 o 1103265792 3584.90/3596.29 o 1096187904 3584.90/3596.29 o 1096183808 3584.90/3596.29 o 1096175616 3584.90/3596.29 o 1096159232 3584.90/3596.29 o 1096155136 3584.90/3596.29 o 1096114176 3584.90/3596.29 o 1096110080 3584.90/3596.29 o 1096093696 3584.90/3596.29 o 1096089600 3584.90/3596.29 o 1096085504 3584.90/3596.29 o 1096081408 3584.90/3596.29 o 1096078332 3584.90/3596.29 o 1096078328 3584.90/3596.29 o 1096078316 3584.90/3596.29 o 1096078312 3584.90/3596.29 o 1096078296 3584.90/3596.29 o 1096078280 3584.90/3596.29 o 1096078272 3584.90/3596.29 o 1096078016 3584.90/3596.29 o 1096077888 3584.90/3596.29 o 1096077376 3584.90/3596.29 o 1096077312 3584.90/3596.29 o 1096076288 3584.90/3596.29 o 1096074240 3584.90/3596.29 o 1096073216 3584.90/3596.29 o 1096072192 3584.90/3596.29 o 1096070144 3584.90/3596.29 o 1096069120 3584.90/3596.29 o 1095023616 3584.90/3596.29 o 1095022592 3584.90/3596.29 o 1095018496 3584.90/3596.29 o 1095010304 3584.90/3596.29 o 1095008256 3584.90/3596.29 o 1095007232 3584.90/3596.29 o 1095006208 3584.90/3596.29 o 1095002112 3584.90/3596.29 o 1094993920 3584.90/3596.29 o 1094991872 3584.90/3596.29 o 1094762496 3584.90/3596.29 o 1094758400 3584.90/3596.29 o 1094757380 3584.90/3596.29 o 1094757376 3584.90/3596.29 o 1094753280 3584.90/3596.29 o 1094720512 3584.90/3596.29 o 1094716416 3584.90/3596.29 o 1094714368 3584.90/3596.29 o 1094713344 3584.90/3596.29 o 1093648384 3584.90/3596.29 o 1093644288 3584.90/3596.29 o 1093643264 3584.90/3596.29 o 1093639168 3584.90/3596.29 o 1093377536 3584.90/3596.29 o 1093377024 3584.90/3596.29 o 1093372928 3584.90/3596.29 o 1093370880 3584.90/3596.29 o 1093369856 3584.90/3596.29 o 1093368832 3584.90/3596.29 o 1093366784 3584.90/3596.29 o 1093366780 3584.90/3596.29 o 1093366776 3584.90/3596.29 o 1093366760 3584.90/3596.29 o 1093366728 3584.90/3596.29 o 1093366720 3584.90/3596.29 o 1093366712 3584.90/3596.29 o 1093366696 3584.90/3596.29 o 1093366664 3584.90/3596.29 o 1093366656 3584.90/3596.29 o 1093366144 3584.90/3596.29 o 1093365888 3584.90/3596.29 o 1093365764 3584.90/3596.29 o 1093365760 3584.90/3596.29 o 1093361664 3584.90/3596.29 o 1093357500 3584.90/3596.29 o 1093357496 3584.90/3596.29 o 1093357464 3584.90/3596.29 o 1093357448 3584.90/3596.29 o 1093357440 3584.90/3596.29 o 1093356984 3584.90/3596.29 o 1093356952 3584.90/3596.29 o 1093356936 3584.90/3596.29 o 1093356928 3584.90/3596.29 o 1093356728 3584.90/3596.29 o 1093356696 3584.90/3596.29 o 1093356680 3584.90/3596.29 o 1093356672 3584.90/3596.29 o 1093356544 3584.90/3596.29 o 1093354496 3584.90/3596.29 o 1093353472 3584.90/3596.29 o 1093222400 3584.90/3596.29 o 1093156864 3584.90/3596.29 o 1093140480 3584.90/3596.29 o 1093009408 3584.90/3596.29 o 1092963840 3584.90/3596.29 o 1092963584 3584.90/3596.29 o 1092963512 3584.90/3596.29 o 1092963384 3584.90/3596.29 o 1092961336 3584.90/3596.29 o 1092960312 3584.90/3596.29 o 1092960280 3584.90/3596.29 o 1092960264 3584.90/3596.29 o 1092960256 3584.90/3596.29 o 1092947000 3584.90/3596.29 o 1092944952 3584.90/3596.29 o 1092943928 3584.90/3596.29 o 1092943896 3584.90/3596.29 o 1092943880 3584.90/3596.29 o 1092943872 3584.90/3596.29 o 1092938808 3584.90/3596.29 o 1092938776 3584.90/3596.29 o 1092938760 3584.90/3596.29 o 1092938752 3584.90/3596.29 o 1092936704 3584.90/3596.29 o 1092935680 3584.90/3596.29 o 1092934656 3584.90/3596.29 o 1092932608 3584.90/3596.29 o 1092931584 3584.90/3596.29 o 1092929536 3584.90/3596.29 o 1092928512 3584.90/3596.29 o 1092927488 3584.90/3596.29 o 1092924416 3584.90/3596.29 o 1092923392 3584.90/3596.29 o 1092920320 3584.90/3596.29 o 1092919296 3584.90/3596.29 o 1092912128 3584.90/3596.29 o 1092911104 3584.90/3596.29 o 1092903936 3584.90/3596.29 o 1092887552 3584.90/3596.29 o 1092879360 3584.90/3596.29 o 1092878336 3584.90/3596.29 o 1092874240 3584.90/3596.29 o 1092872192 3584.90/3596.29 o 1092871168 3584.90/3596.29 o 1092862976 3584.90/3596.29 o 1092858880 3584.90/3596.29 o 1092856832 3584.90/3596.29 o 1092855808 3584.90/3596.29 o 1092852736 3584.90/3596.29 o 1092851712 3584.90/3596.29 o 1092847616 3584.90/3596.29 o 1092845568 3584.90/3596.29 o 1092844544 3584.90/3596.29 o 1092843520 3584.90/3596.29 o 1092835328 3584.90/3596.29 o 1092831232 3584.90/3596.29 o 1092829184 3584.90/3596.29 o 1092812800 3584.90/3596.29 o 1092713472 3584.90/3596.29 o 1092697088 3584.90/3596.29 o 1092688896 3584.90/3596.29 o 1092684800 3584.90/3596.29 o 1092682752 3584.90/3596.29 o 1092681728 3584.90/3596.29 o 1092616192 3584.90/3596.29 o 1092091904 3584.90/3596.29 o 1091911680 3584.90/3596.29 o 1091910656 3584.90/3596.29 o 1091906560 3584.90/3596.29 o 1091904512 3584.90/3596.29 o 1091903488 3584.90/3596.29 o 1091899392 3584.90/3596.29 o 1091898368 3584.90/3596.29 o 1091896320 3584.90/3596.29 o 1091895296 3584.90/3596.29 o 1091886080 3584.90/3596.29 o 1091881984 3584.90/3596.29 o 1091879936 3584.90/3596.29 o 1091878912 3584.90/3596.29 o 1091846144 3584.90/3596.29 o 1091829760 3584.90/3596.29 o 1091620864 3584.90/3596.29 o 1091619840 3584.90/3596.29 o 1091617792 3584.90/3596.29 o 1091616768 3584.90/3596.29 o 1091588096 3584.90/3596.29 o 1091587072 3584.90/3596.29 o 1091585024 3584.90/3596.29 o 1091584000 3584.90/3596.29 o 1091567616 3584.90/3596.29 o 1091537920 3584.90/3596.29 o 1091535872 3584.90/3596.29 o 1091534848 3584.90/3596.29 o 1091518464 3584.90/3596.29 o 1091513344 3584.90/3596.29 o 1091511296 3584.90/3596.29 o 1091510272 3584.90/3596.29 o 1091447808 3584.90/3596.29 o 1091445760 3584.90/3596.29 o 1091444736 3584.90/3596.29 o 1091439616 3584.90/3596.29 o 1091437568 3584.90/3596.29 o 1091436544 3584.90/3596.29 o 1091435520 3584.90/3596.29 o 1091433472 3584.90/3596.29 o 1091432448 3584.90/3596.29 o 1091428352 3584.90/3596.29 o 1091427328 3584.90/3596.29 o 1091423232 3584.90/3596.29 o 1091422208 3584.90/3596.29 o 1091420160 3584.90/3596.29 o 1091416064 3584.90/3596.29 o 1091411968 3584.90/3596.29 o 1091403776 3584.90/3596.29 o 1091383296 3584.90/3596.29 o 1091375104 3584.90/3596.29 o 1091371008 3584.90/3596.29 o 1091369984 3584.90/3596.29 o 1091368960 3584.90/3596.29 o 1091366912 3584.90/3596.29 o 1091365888 3584.90/3596.29 o 1091364864 3584.90/3596.29 o 1091362816 3584.90/3596.29 o 1091354624 3584.90/3596.29 o 1091350528 3584.90/3596.29 o 1091342336 3584.90/3596.29 o 1091338240 3584.90/3596.29 o 1091334144 3584.90/3596.29 o 1091330048 3584.90/3596.29 o 1091313664 3584.90/3596.29 o 1091305472 3584.90/3596.29 o 1091198976 3584.90/3596.29 o 1091182592 3584.90/3596.29 o 1091051520 3584.90/3596.29 o 1091043328 3584.90/3596.29 o 1091014656 3584.90/3596.29 o 1091010560 3584.90/3596.29 o 1091005440 3584.90/3596.29 o 1091004416 3584.90/3596.29 o 1091002368 3584.90/3596.29 o 1090997248 3584.90/3596.29 o 1090996224 3584.90/3596.29 o 1090994176 3584.90/3596.29 o 1090977792 3584.90/3596.29 o 1090964480 3584.90/3596.29 o 1090963456 3584.90/3596.29 o 1090961408 3584.90/3596.29 o 1090956288 3584.90/3596.29 o 1090955264 3584.90/3596.29 o 1090953216 3584.90/3596.29 o 1090920448 3584.90/3596.29 o 1090912256 3584.90/3596.29 o 1090699264 3584.90/3596.29 o 1090694144 3584.90/3596.29 o 1090692096 3584.90/3596.29 o 1090691072 3584.90/3596.29 o 1090682880 3584.90/3596.29 o 1090654208 3584.90/3596.29 o 1090653184 3584.90/3596.29 o 1090651136 3584.90/3596.29 o 1090650112 3584.90/3596.29 o 1090644992 3584.90/3596.29 o 1090518016 3584.90/3596.29 o 1090255872 3584.90/3596.29 o 1090247680 3584.90/3596.29 o 1090246656 3584.90/3596.29 o 1090242560 3584.90/3596.29 o 1090241536 3584.90/3596.29 o 1090240512 3584.90/3596.29 o 1090224128 3584.90/3596.29 o 1090191360 3584.90/3596.29 o 1090162688 3584.90/3596.29 o 1090160640 3584.90/3596.29 o 1090159616 3584.90/3596.29 o 1090126848 3584.90/3596.29 o 1090125824 3584.90/3596.29 o 1090060288 3584.90/3596.29 o 1090027520 3584.90/3596.29 o 1089995776 3584.90/3596.29 o 1089994752 3584.90/3596.29 o 1089990656 3584.90/3596.29 o 1089987584 3584.90/3596.29 o 1089971200 3584.90/3596.29 o 1089963008 3584.90/3596.29 o 1089961984 3584.90/3596.29 o 1089953792 3584.90/3596.29 o 1089952768 3584.90/3596.29 o 1089948672 3584.90/3596.29 o 1089947648 3584.90/3596.29 o 1089945600 3584.90/3596.29 o 1089943552 3584.90/3596.29 o 1089939456 3584.90/3596.29 o 1089935360 3584.90/3596.29 o 1089931264 3584.90/3596.29 o 1089929216 3584.90/3596.29 o 1089863680 3584.90/3596.29 o 1089761280 3584.90/3596.29 o 1089757184 3584.90/3596.29 o 1089748992 3584.90/3596.29 o 1089732608 3584.90/3596.29 o 1089486848 3584.90/3596.29 o 1089478656 3584.90/3596.29 o 1089470464 3584.90/3596.29 o 1089437696 3584.90/3596.29 o 1089421312 3584.90/3596.29 o 1089409024 3584.90/3596.29 o 1089408000 3584.90/3596.29 o 1089406976 3584.90/3596.29 o 1089404928 3584.90/3596.29 o 1089375232 3584.90/3596.29 o 1089374208 3584.90/3596.29 o 1089372160 3584.90/3596.29 o 1089367040 3584.90/3596.29 o 1089366016 3584.90/3596.29 o 1089363968 3584.90/3596.29 o 1089357824 3584.90/3596.29 o 1089356800 3584.90/3596.29 o 1089355776 3584.90/3596.29 o 1089354752 3584.90/3596.29 o 1089353728 3584.90/3596.29 o 1089351680 3584.90/3596.29 o 1089347584 3584.90/3596.29 o 1089339392 3584.90/3596.29 o 1089290240 3584.90/3596.29 o 1089289216 3584.90/3596.29 o 1089288192 3584.90/3596.29 o 1089286144 3584.90/3596.29 o 1089285120 3584.90/3596.29 o 1089283072 3584.90/3596.29 o 1089274880 3584.90/3596.29 o 1089273856 3584.90/3596.29 o 1089269760 3584.90/3596.29 o 1089268736 3584.90/3596.29 o 1089252352 3584.90/3596.29 o 1089244160 3584.90/3596.29 o 1089243136 3584.90/3596.29 o 1089242112 3584.90/3596.29 o 1089241088 3584.90/3596.29 o 1089236992 3584.90/3596.29 o 1089235968 3584.90/3596.29 o 1089234944 3584.90/3596.29 o 1089232896 3584.90/3596.29 o 1089224704 3584.90/3596.29 o 1089208320 3584.90/3596.29 o 1089175552 3584.90/3596.29 o 1089171456 3584.90/3596.29 o 1089170432 3584.90/3596.29 o 1089169408 3584.90/3596.29 o 1089167360 3584.90/3596.29 o 1089159168 3584.90/3596.29 o 1089157120 3584.90/3596.29 o 1089153024 3584.90/3596.29 o 1089150976 3584.90/3596.29 o 1089149952 3584.90/3596.29 o 1089147904 3584.90/3596.29 o 1089146880 3584.90/3596.29 o 1089144832 3584.90/3596.29 o 1089143808 3584.90/3596.29 o 1089142784 3584.90/3596.29 o 1089138688 3584.90/3596.29 o 1089137664 3584.90/3596.29 o 1089129472 3584.90/3596.29 o 1089127424 3584.90/3596.29 o 1089126400 3584.90/3596.29 o 1089110016 3584.90/3596.29 o 1088978944 3584.90/3596.29 o 1088946176 3584.90/3596.29 o 1088880640 3584.90/3596.29 o 1088867328 3584.90/3596.29 o 1088865280 3584.90/3596.29 o 1088864256 3584.90/3596.29 o 1088863232 3584.90/3596.29 o 1088861200 3584.90/3596.29 o 1088861192 3584.90/3596.29 o 1088861184 3584.90/3596.29 o 1088860160 3584.90/3596.29 o 1088859136 3584.90/3596.29 o 1088858112 3584.90/3596.29 o 1088857088 3584.90/3596.29 o 1088856064 3584.90/3596.29 o 1088855040 3584.90/3596.29 o 1088854016 3584.90/3596.29 o 1088851968 3584.90/3596.29 o 1088847872 3584.90/3596.29 o 1088846848 3584.90/3596.29 o 1088844800 3584.90/3596.29 o 1088842752 3584.90/3596.29 o 1088840704 3584.90/3596.29 o 1088839680 3584.90/3596.29 o 1088838656 3584.90/3596.29 o 1088836608 3584.90/3596.29 o 1088832512 3584.90/3596.29 o 1088831488 3584.90/3596.29 o 1088822272 3584.90/3596.29 o 1088820224 3584.90/3596.29 o 1088816128 3584.90/3596.29 o 1088815104 3584.90/3596.29 o 1088814080 3584.90/3596.29 o 1088813056 3584.90/3596.29 o 1088811008 3584.90/3596.29 o 1088809984 3584.90/3596.29 o 1088808960 3584.90/3596.29 o 1088806912 3584.90/3596.29 o 1088801792 3584.90/3596.29 o 1088800768 3584.90/3596.29 o 1088798720 3584.90/3596.29 o 1088793600 3584.90/3596.29 o 1088791552 3584.90/3596.29 o 1088790528 3584.90/3596.29 o 1088784384 3584.90/3596.29 o 1088783360 3584.90/3596.29 o 1088782336 3584.90/3596.29 o 1088775168 3584.90/3596.29 o 1088774144 3584.90/3596.29 o 1088757760 3584.90/3596.29 o 1088716768 3584.90/3596.29 o 1088716256 3584.90/3596.29 o 1088716000 3584.90/3596.29 o 1088715872 3584.90/3596.29 o 1088715808 3584.90/3596.29 o 1088715776 3584.90/3596.29 o 1088714720 3584.90/3596.29 o 1088714688 3584.90/3596.29 o 1088714176 3584.90/3596.29 o 1088713920 3584.90/3596.29 o 1088713792 3584.90/3596.29 o 1088713728 3584.90/3596.29 o 1088712704 3584.90/3596.29 o 1088696320 3584.90/3596.29 o 1088692224 3584.90/3596.29 o 1088684032 3584.90/3596.29 o 1088651200 3584.90/3596.29 o 1088651072 3584.90/3596.29 o 1088651008 3584.90/3596.29 o 1088650496 3584.90/3596.29 o 1088650240 3584.90/3596.29 o 1088633856 3584.90/3596.29 o 1088625664 3584.90/3596.29 o 1088623616 3584.90/3596.29 o 1088622592 3584.90/3596.29 o 1088618496 3584.90/3596.29 o 1088593920 3584.90/3596.29 o 1088585728 3584.90/3596.29 o 1088583680 3584.90/3596.29 o 1088581632 3584.90/3596.29 o 1088575488 3584.90/3596.29 o 1088571392 3584.90/3596.29 o 1088569344 3584.90/3596.29 o 1088563200 3584.90/3596.29 o 1088562176 3584.90/3596.29 o 1088561152 3584.90/3596.29 o 1088560128 3584.90/3596.29 o 1088559328 3584.90/3596.29 o 1088559296 3584.90/3596.29 o 1088559168 3584.90/3596.29 o 1088559104 3584.90/3596.29 o 1088555008 3584.90/3596.29 o 1088552960 3584.90/3596.29 o 1088550912 3584.90/3596.29 o 1088548864 3584.90/3596.29 o 1088547840 3584.90/3596.29 o 1088546816 3584.90/3596.29 o 1088544768 3584.90/3596.29 o 1088540672 3584.90/3596.29 o 1088538624 3584.90/3596.29 o 1088537600 3584.90/3596.29 o 1088536576 3584.90/3596.29 o 1088521216 3584.90/3596.29 o 1088520192 3584.90/3596.29 o 1088487424 3584.90/3596.29 o 1088421888 3584.90/3596.29 o 1088290816 3584.90/3596.29 o 1088278528 3584.90/3596.29 o 1088274432 3584.90/3596.29 o 1088259072 3584.90/3596.29 o 1088250880 3584.90/3596.29 o 1088249856 3584.90/3596.29 o 1088248832 3584.90/3596.29 o 1088247808 3584.90/3596.29 o 1088246784 3584.90/3596.29 o 1088245760 3584.90/3596.29 o 1088243712 3584.90/3596.29 o 1088242688 3584.90/3596.29 o 1088241664 3584.90/3596.29 o 1088231424 3584.90/3596.29 o 1088230400 3584.90/3596.29 o 1088229376 3584.90/3596.29 o 1088225280 3584.90/3596.29 o 1088217088 3584.90/3596.29 o 1088216064 3584.90/3596.29 o 1088215040 3584.90/3596.29 o 1088214016 3584.90/3596.29 o 1088212992 3584.90/3596.29 o 1088208896 3584.90/3596.29 o 1088192512 3584.90/3596.29 o 1088180224 3584.90/3596.29 o 1088179200 3584.90/3596.29 o 1088178176 3584.90/3596.29 o 1088176128 3584.90/3596.29 o 1088175104 3584.90/3596.29 o 1088173056 3584.90/3596.29 o 1088172032 3584.90/3596.29 o 1088169984 3584.90/3596.29 o 1088168960 3584.90/3596.29 o 1088167936 3584.90/3596.29 o 1088166912 3584.90/3596.29 o 1088165888 3584.90/3596.29 o 1088164864 3584.90/3596.29 o 1088163840 3584.90/3596.29 o 1088159744 3584.90/3596.29 o 1088151552 3584.90/3596.29 o 1088150528 3584.90/3596.29 o 1088149504 3584.90/3596.29 o 1088147456 3584.90/3596.29 o 1088146432 3584.90/3596.29 o 1088145408 3584.90/3596.29 o 1088144384 3584.90/3596.29 o 1088143360 3584.90/3596.29 o 1088133120 3584.90/3596.29 o 1088132096 3584.90/3596.29 o 1088099328 3584.90/3596.29 o 1088098304 3584.90/3596.29 o 1088094208 3584.90/3596.29 o 1088081920 3584.90/3596.29 o 1088079872 3584.90/3596.29 o 1088078848 3584.90/3596.29 o 1088077824 3584.90/3596.29 o 1088061440 3584.90/3596.29 o 1088028672 3584.90/3596.29 o 1088019456 3584.90/3596.29 o 1088018432 3584.90/3596.29 o 1088015360 3584.90/3596.29 o 1088014336 3584.90/3596.29 o 1088013312 3584.90/3596.29 o 1088012288 3584.90/3596.29 o 1088006144 3584.90/3596.29 o 1088005120 3584.90/3596.29 o 1088004096 3584.90/3596.29 o 1087997952 3584.90/3596.29 c Program interrupted by user. 3584.90/3596.29 s SATISFIABLE 3584.90/3596.29 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 1087997952
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: 63837 MiB (62338 MiB free)
memory of node 1: 64465 MiB (62773 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485622-1751306828/watcher-4485622-1751306828 -o /tmp/evaluation-result-4485622-1751306828/solver-4485622-1751306828 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751303214-40450 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4485622-1751306828.opb 3600 HOME
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Starting watchdog thread
solver pid=41022, runsolver pid=41019
Current StackSize limit: 8192 KiB
[startup+0.100074 s]*
/proc/loadavg: 4.10 4.12 4.13 5/258 41026
/proc/meminfo: memFree=128114592/131382116 swapFree=33010684/33010684
[pid=41022] ppid=41019 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/41022/stat : 41022 (Hybrid-CASHWMax) S 41019 41022 40438 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 46362178 4427776 736 18446744073709551615 93943088967680 93943089862213 140728470250368 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93943090101264 93943090149008 93943107641344 140728470255959 140728470256113 140728470256113 140728470261715 0
/proc/41022/statm: 1081 736 672 219 0 143 0
[pid=41025] ppid=41022 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/41025/stat : 41025 (timeout) S 41022 41025 40438 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46362180 2723840 352 18446744073709551615 94225126637568 94225126654081 140720699540800 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94225126668848 94225126670936 94225156423680 140720699546006 140720699546146 140720699546146 140720699551719 0
/proc/41025/statm: 665 352 352 5 0 90 0
[pid=41026] ppid=41025 vsize=24704 memory=10276 CPUtime=0.07 cores=1,3
/proc/41026/stat : 41026 (CASHWMaxSAT-Dis) R 41025 41025 40438 0 -1 4194304 1962 0 0 0 7 0 0 0 20 0 1 0 46362180 25296896 2569 18446744073709551615 4198400 14817773 140727949246976 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 44888064 140727949253020 140727949253147 140727949253147 140727949258720 0
/proc/41026/statm: 6176 2569 864 2593 0 3069 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 31688 KiB
Current children cumulated memory: 14628 KiB
[startup+0.213888 s]*
/proc/loadavg: 4.10 4.12 4.13 5/258 41026
/proc/meminfo: memFree=128111328/131382116 swapFree=33010684/33010684
[pid=41022] ppid=41019 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/41022/stat : 41022 (Hybrid-CASHWMax) S 41019 41022 40438 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 46362178 4427776 736 18446744073709551615 93943088967680 93943089862213 140728470250368 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93943090101264 93943090149008 93943107641344 140728470255959 140728470256113 140728470256113 140728470261715 0
/proc/41022/statm: 1081 736 672 219 0 143 0
[pid=41025] ppid=41022 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/41025/stat : 41025 (timeout) S 41022 41025 40438 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46362180 2723840 352 18446744073709551615 94225126637568 94225126654081 140720699540800 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94225126668848 94225126670936 94225156423680 140720699546006 140720699546146 140720699546146 140720699551719 0
/proc/41025/statm: 665 352 352 5 0 90 0
[pid=41026] ppid=41025 vsize=28132 memory=13092 CPUtime=0.19 cores=1,3
/proc/41026/stat : 41026 (CASHWMaxSAT-Dis) R 41025 41025 40438 0 -1 4194304 2668 0 0 0 18 1 0 0 20 0 1 0 46362180 28807168 3273 18446744073709551615 4198400 14817773 140727949246976 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 44888064 140727949253020 140727949253147 140727949253147 140727949258720 0
/proc/41026/statm: 7033 3273 864 2593 0 3926 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 35116 KiB
Current children cumulated memory: 17444 KiB
[startup+0.313696 s]*
/proc/loadavg: 4.10 4.12 4.13 5/258 41026
/proc/meminfo: memFree=128107296/131382116 swapFree=33010684/33010684
[pid=41022] ppid=41019 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/41022/stat : 41022 (Hybrid-CASHWMax) S 41019 41022 40438 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 46362178 4427776 736 18446744073709551615 93943088967680 93943089862213 140728470250368 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93943090101264 93943090149008 93943107641344 140728470255959 140728470256113 140728470256113 140728470261715 0
/proc/41022/statm: 1081 736 672 219 0 143 0
[pid=41025] ppid=41022 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/41025/stat : 41025 (timeout) S 41022 41025 40438 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46362180 2723840 352 18446744073709551615 94225126637568 94225126654081 140720699540800 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94225126668848 94225126670936 94225156423680 140720699546006 140720699546146 140720699546146 140720699551719 0
/proc/41025/statm: 665 352 352 5 0 90 0
[pid=41026] ppid=41025 vsize=30876 memory=15268 CPUtime=0.29 cores=1,3
/proc/41026/stat : 41026 (CASHWMaxSAT-Dis) R 41025 41025 40438 0 -1 4194304 3239 0 0 0 28 1 0 0 20 0 1 0 46362180 31617024 3817 18446744073709551615 4198400 14817773 140727949246976 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 44888064 140727949253020 140727949253147 140727949253147 140727949258720 0
/proc/41026/statm: 7719 3817 864 2593 0 4612 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 37860 KiB
Current children cumulated memory: 19620 KiB
[startup+0.700482 s]
/proc/loadavg: 4.10 4.12 4.13 5/258 41026
/proc/meminfo: memFree=128099232/131382116 swapFree=33010684/33010684
[pid=41022] ppid=41019 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/41022/stat : 41022 (Hybrid-CASHWMax) S 41019 41022 40438 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 46362178 4427776 736 18446744073709551615 93943088967680 93943089862213 140728470250368 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93943090101264 93943090149008 93943107641344 140728470255959 140728470256113 140728470256113 140728470261715 0
/proc/41022/statm: 1081 736 672 219 0 143 0
[pid=41025] ppid=41022 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/41025/stat : 41025 (timeout) S 41022 41025 40438 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46362180 2723840 352 18446744073709551615 94225126637568 94225126654081 140720699540800 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94225126668848 94225126670936 94225156423680 140720699546006 140720699546146 140720699546146 140720699551719 0
/proc/41025/statm: 665 352 352 5 0 90 0
[pid=41026] ppid=41025 vsize=37420 memory=21924 CPUtime=0.66 cores=1,3
/proc/41026/stat : 41026 (CASHWMaxSAT-Dis) R 41025 41025 40438 0 -1 4194304 4866 0 0 0 64 2 0 0 20 0 1 0 46362180 38318080 5481 18446744073709551615 4198400 14817773 140727949246976 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 44888064 140727949253020 140727949253147 140727949253147 140727949258720 0
/proc/41026/statm: 9355 5481 896 2593 0 6248 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 44404 KiB
Current children cumulated memory: 26276 KiB
[startup+1.50047 s]
/proc/loadavg: 4.10 4.12 4.13 5/258 41026
/proc/meminfo: memFree=128099232/131382116 swapFree=33010684/33010684
[pid=41022] ppid=41019 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/41022/stat : 41022 (Hybrid-CASHWMax) S 41019 41022 40438 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 46362178 4427776 736 18446744073709551615 93943088967680 93943089862213 140728470250368 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93943090101264 93943090149008 93943107641344 140728470255959 140728470256113 140728470256113 140728470261715 0
/proc/41022/statm: 1081 736 672 219 0 143 0
[pid=41025] ppid=41022 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/41025/stat : 41025 (timeout) S 41022 41025 40438 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46362180 2723840 352 18446744073709551615 94225126637568 94225126654081 140720699540800 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94225126668848 94225126670936 94225156423680 140720699546006 140720699546146 140720699546146 140720699551719 0
/proc/41025/statm: 665 352 352 5 0 90 0
[pid=41026] ppid=41025 vsize=49756 memory=32832 CPUtime=1.45 cores=1,3
/proc/41026/stat : 41026 (CASHWMaxSAT-Dis) R 41025 41025 40438 0 -1 4194304 8245 0 0 0 143 2 0 0 20 0 1 0 46362180 50950144 8208 18446744073709551615 4198400 14817773 140727949246976 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 44888064 140727949253020 140727949253147 140727949253147 140727949258720 0
/proc/41026/statm: 12439 8208 896 2593 0 9332 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 56740 KiB
Current children cumulated memory: 37184 KiB
[startup+3.11336 s]
/proc/loadavg: 4.10 4.12 4.13 5/258 41026
/proc/meminfo: memFree=128041644/131382116 swapFree=33010684/33010684
[pid=41022] ppid=41019 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/41022/stat : 41022 (Hybrid-CASHWMax) S 41019 41022 40438 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 46362178 4427776 736 18446744073709551615 93943088967680 93943089862213 140728470250368 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93943090101264 93943090149008 93943107641344 140728470255959 140728470256113 140728470256113 140728470261715 0
/proc/41022/statm: 1081 736 672 219 0 143 0
[pid=41025] ppid=41022 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/41025/stat : 41025 (timeout) S 41022 41025 40438 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46362180 2723840 352 18446744073709551615 94225126637568 94225126654081 140720699540800 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94225126668848 94225126670936 94225156423680 140720699546006 140720699546146 140720699546146 140720699551719 0
/proc/41025/statm: 665 352 352 5 0 90 0
[pid=41026] ppid=41025 vsize=104796 memory=82104 CPUtime=3.07 cores=1,3
/proc/41026/stat : 41026 (CASHWMaxSAT-Dis) R 41025 41025 40438 0 -1 4194304 15453 0 0 0 302 5 0 0 20 0 1 0 46362180 107311104 20526 18446744073709551615 4198400 14817773 140727949246976 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 44888064 140727949253020 140727949253147 140727949253147 140727949258720 0
/proc/41026/statm: 26199 20526 896 2593 0 23092 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 111780 KiB
Current children cumulated memory: 86456 KiB
[startup+6.30048 s]
/proc/loadavg: 4.10 4.12 4.13 5/258 41026
/proc/meminfo: memFree=127745684/131382116 swapFree=33010684/33010684
[pid=41022] ppid=41019 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/41022/stat : 41022 (Hybrid-CASHWMax) S 41019 41022 40438 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 46362178 4427776 736 18446744073709551615 93943088967680 93943089862213 140728470250368 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93943090101264 93943090149008 93943107641344 140728470255959 140728470256113 140728470256113 140728470261715 0
/proc/41022/statm: 1081 736 672 219 0 143 0
[pid=41025] ppid=41022 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/41025/stat : 41025 (timeout) S 41022 41025 40438 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46362180 2723840 352 18446744073709551615 94225126637568 94225126654081 140720699540800 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94225126668848 94225126670936 94225156423680 140720699546006 140720699546146 140720699546146 140720699551719 0
/proc/41025/statm: 665 352 352 5 0 90 0
[pid=41026] ppid=41025 vsize=379180 memory=345512 CPUtime=6.24 cores=1,3
/proc/41026/stat : 41026 (CASHWMaxSAT-Dis) R 41025 41025 40438 0 -1 4194304 41660 0 0 0 609 15 0 0 20 0 1 0 46362180 388280320 86378 18446744073709551615 4198400 14817773 140727949246976 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 44888064 140727949253020 140727949253147 140727949253147 140727949258720 0
/proc/41026/statm: 94795 86378 1216 2593 0 91688 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 386164 KiB
Current children cumulated memory: 349864 KiB
[startup+12.7005 s]
/proc/loadavg: 4.23 4.15 4.14 5/258 41026
/proc/meminfo: memFree=127707772/131382116 swapFree=33010684/33010684
[pid=41022] ppid=41019 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/41022/stat : 41022 (Hybrid-CASHWMax) S 41019 41022 40438 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 46362178 4427776 736 18446744073709551615 93943088967680 93943089862213 140728470250368 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93943090101264 93943090149008 93943107641344 140728470255959 140728470256113 140728470256113 140728470261715 0
/proc/41022/statm: 1081 736 672 219 0 143 0
[pid=41025] ppid=41022 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/41025/stat : 41025 (timeout) S 41022 41025 40438 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46362180 2723840 352 18446744073709551615 94225126637568 94225126654081 140720699540800 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94225126668848 94225126670936 94225156423680 140720699546006 140720699546146 140720699546146 140720699551719 0
/proc/41025/statm: 665 352 352 5 0 90 0
[pid=41026] ppid=41025 vsize=457748 memory=416540 CPUtime=12.62 cores=1,3
/proc/41026/stat : 41026 (CASHWMaxSAT-Dis) R 41025 41025 40438 0 -1 4194304 45186 0 0 0 1242 20 0 0 20 0 1 0 46362180 468733952 104135 18446744073709551615 4198400 14817773 140727949246976 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 44888064 140727949253020 140727949253147 140727949253147 140727949258720 0
/proc/41026/statm: 114437 104135 1248 2593 0 111330 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 464732 KiB
Current children cumulated memory: 420892 KiB
[startup+25.5005 s]
/proc/loadavg: 4.50 4.21 4.16 5/257 41026
/proc/meminfo: memFree=127706448/131382116 swapFree=33010684/33010684
[pid=41022] ppid=41019 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/41022/stat : 41022 (Hybrid-CASHWMax) S 41019 41022 40438 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 46362178 4427776 736 18446744073709551615 93943088967680 93943089862213 140728470250368 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93943090101264 93943090149008 93943107641344 140728470255959 140728470256113 140728470256113 140728470261715 0
/proc/41022/statm: 1081 736 672 219 0 143 0
[pid=41025] ppid=41022 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/41025/stat : 41025 (timeout) S 41022 41025 40438 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46362180 2723840 352 18446744073709551615 94225126637568 94225126654081 140720699540800 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94225126668848 94225126670936 94225156423680 140720699546006 140720699546146 140720699546146 140720699551719 0
/proc/41025/statm: 665 352 352 5 0 90 0
[pid=41026] ppid=41025 vsize=452216 memory=415112 CPUtime=25.38 cores=1,3
/proc/41026/stat : 41026 (CASHWMaxSAT-Dis) R 41025 41025 40438 0 -1 4194304 48595 0 0 0 2513 25 0 0 20 0 1 0 46362180 463069184 103778 18446744073709551615 4198400 14817773 140727949246976 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 44888064 140727949253020 140727949253147 140727949253147 140727949258720 0
/proc/41026/statm: 113054 103778 1248 2593 0 109947 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 459200 KiB
Current children cumulated memory: 419464 KiB
[startup+51.1135 s]
/proc/loadavg: 4.67 4.27 4.18 5/259 41029
/proc/meminfo: memFree=127727720/131382116 swapFree=33010684/33010684
[pid=41022] ppid=41019 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/41022/stat : 41022 (Hybrid-CASHWMax) S 41019 41022 40438 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 46362178 4427776 736 18446744073709551615 93943088967680 93943089862213 140728470250368 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93943090101264 93943090149008 93943107641344 140728470255959 140728470256113 140728470256113 140728470261715 0
/proc/41022/statm: 1081 736 672 219 0 143 0
[pid=41025] ppid=41022 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/41025/stat : 41025 (timeout) S 41022 41025 40438 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46362180 2723840 352 18446744073709551615 94225126637568 94225126654081 140720699540800 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94225126668848 94225126670936 94225156423680 140720699546006 140720699546146 140720699546146 140720699551719 0
/proc/41025/statm: 665 352 352 5 0 90 0
[pid=41026] ppid=41025 vsize=401940 memory=369436 CPUtime=50.91 cores=1,3
/proc/41026/stat : 41026 (CASHWMaxSAT-Dis) R 41025 41025 40438 0 -1 4194304 52837 0 0 0 5059 32 0 0 20 0 1 0 46362180 411586560 92359 18446744073709551615 4198400 14817773 140727949246976 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 44888064 140727949253020 140727949253147 140727949253147 140727949258720 0
/proc/41026/statm: 100485 92359 1248 2593 0 97378 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 408924 KiB
Current children cumulated memory: 373788 KiB
[startup+102.301 s]
/proc/loadavg: 4.47 4.30 4.19 5/260 41032
/proc/meminfo: memFree=127740452/131382116 swapFree=33010684/33010684
[pid=41022] ppid=41019 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/41022/stat : 41022 (Hybrid-CASHWMax) S 41019 41022 40438 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 46362178 4427776 736 18446744073709551615 93943088967680 93943089862213 140728470250368 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93943090101264 93943090149008 93943107641344 140728470255959 140728470256113 140728470256113 140728470261715 0
/proc/41022/statm: 1081 736 672 219 0 143 0
[pid=41025] ppid=41022 vsize=2660 memory=1408 CPUtime=0 cores=1,3
################
# More data... #
################
/proc/41022/statm: 1081 736 672 219 0 143 0
[pid=41094] ppid=41022 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/41094/stat : 41094 (timeout) S 41022 41094 40438 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46481981 2723840 320 18446744073709551615 94424086634496 94424086651009 140730864669872 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94424086665776 94424086667864 94424109150208 140730864679302 140730864679458 140730864679458 140730864685031 0
/proc/41094/statm: 665 320 320 5 0 90 0
[pid=41095] ppid=41094 vsize=689012 memory=546268 CPUtime=2257.33 cores=1,3
/proc/41095/stat : 41095 (ExactPR-S) R 41094 41094 40438 0 -1 4194304 86308 0 0 0 225450 283 0 0 20 0 1 0 46481982 705548288 136567 18446744073709551615 94880756613120 94880765913157 140734258299024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94880767699264 94880767738344 94880782360576 140734258305438 140734258305575 140734258305575 140734258311148 0
/proc/41095/statm: 172253 136567 2048 2271 0 166891 0
Current children cumulated CPU time: 3451.43 s
Current children cumulated vsize: 695996 KiB
Current children cumulated memory: 550492 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/259 41220
/proc/meminfo: memFree=119717984/131382116 swapFree=33010684/33010684
[pid=41022] ppid=41019 vsize=4324 memory=2944 CPUtime=1194.1 cores=1,3
/proc/41022/stat : 41022 (Hybrid-CASHWMax) S 41019 41022 40438 0 -1 4194304 283 102917 0 0 0 0 119331 79 20 0 1 0 46362178 4427776 736 18446744073709551615 93943088967680 93943089862213 140728470250368 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93943090101264 93943090149008 93943107641344 140728470255959 140728470256113 140728470256113 140728470261715 0
/proc/41022/statm: 1081 736 672 219 0 143 0
[pid=41094] ppid=41022 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/41094/stat : 41094 (timeout) S 41022 41094 40438 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46481981 2723840 320 18446744073709551615 94424086634496 94424086651009 140730864669872 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94424086665776 94424086667864 94424109150208 140730864679302 140730864679458 140730864679458 140730864685031 0
/proc/41094/statm: 665 320 320 5 0 90 0
[pid=41095] ppid=41094 vsize=689012 memory=575340 CPUtime=2317.15 cores=1,3
/proc/41095/stat : 41095 (ExactPR-S) R 41094 41094 40438 0 -1 4194304 86433 0 0 0 231427 288 0 0 20 0 1 0 46481982 705548288 143835 18446744073709551615 94880756613120 94880765913157 140734258299024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94880767699264 94880767738344 94880782360576 140734258305438 140734258305575 140734258305575 140734258311148 0
/proc/41095/statm: 172253 143835 2048 2271 0 166891 0
Current children cumulated CPU time: 3511.25 s
Current children cumulated vsize: 695996 KiB
Current children cumulated memory: 579564 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 3/247 41271
/proc/meminfo: memFree=126403856/131382116 swapFree=33010684/33010684
[pid=41022] ppid=41019 vsize=4324 memory=2944 CPUtime=1194.1 cores=1,3
/proc/41022/stat : 41022 (Hybrid-CASHWMax) S 41019 41022 40438 0 -1 4194304 283 102917 0 0 0 0 119331 79 20 0 1 0 46362178 4427776 736 18446744073709551615 93943088967680 93943089862213 140728470250368 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93943090101264 93943090149008 93943107641344 140728470255959 140728470256113 140728470256113 140728470261715 0
/proc/41022/statm: 1081 736 672 219 0 143 0
[pid=41094] ppid=41022 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/41094/stat : 41094 (timeout) S 41022 41094 40438 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46481981 2723840 320 18446744073709551615 94424086634496 94424086651009 140730864669872 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94424086665776 94424086667864 94424109150208 140730864679302 140730864679458 140730864679458 140730864685031 0
/proc/41094/statm: 665 320 320 5 0 90 0
[pid=41095] ppid=41094 vsize=689012 memory=649212 CPUtime=2376.95 cores=1,3
/proc/41095/stat : 41095 (ExactPR-S) R 41094 41094 40438 0 -1 4194304 86494 0 0 0 237403 292 0 0 20 0 1 0 46481982 705548288 162303 18446744073709551615 94880756613120 94880765913157 140734258299024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94880767699264 94880767738344 94880782360576 140734258305438 140734258305575 140734258305575 140734258311148 0
/proc/41095/statm: 172253 162303 2048 2271 0 166891 0
Current children cumulated CPU time: 3571.05 s
Current children cumulated vsize: 695996 KiB
Current children cumulated memory: 653436 KiB
[startup+3596.31 s]
# the end of solver process 41022 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3581.16 s, system=3.85101 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.10 4.09 3/241 41371
/proc/meminfo: memFree=128764460/131382116 swapFree=33010684/33010684
[pid=41022] ppid=41019 vsize=4324 memory=2944 CPUtime=1194.1 cores=1,3
/proc/41022/stat : 41022 (Hybrid-CASHWMax) S 41019 41022 40438 0 -1 4194304 283 102917 0 0 0 0 119331 79 20 0 1 0 46362178 4427776 736 18446744073709551615 93943088967680 93943089862213 140728470250368 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93943090101264 93943090149008 93943107641344 140728470255959 140728470256113 140728470256113 140728470261715 0
/proc/41022/statm: 1081 736 672 219 0 143 0
[pid=41094] ppid=41022 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/41094/stat : 41094 (timeout) S 41022 41094 40438 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46481981 2723840 320 18446744073709551615 94424086634496 94424086651009 140730864669872 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94424086665776 94424086667864 94424109150208 140730864679302 140730864679458 140730864679458 140730864685031 0
/proc/41094/statm: 665 320 320 5 0 90 0
[pid=41095] ppid=41094 vsize=689012 memory=649212 CPUtime=2378.66 cores=1,3
/proc/41095/stat : 41095 (ExactPR-S) R 41094 41094 40438 0 -1 4194304 86494 0 0 0 237574 292 0 0 20 0 1 0 46481982 705548288 162303 18446744073709551615 94880756613120 94880765913157 140734258299024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94880767699264 94880767738344 94880782360576 140734258305438 140734258305575 140734258305575 140734258311148 0
/proc/41095/statm: 172253 162303 2048 2271 0 166891 0
Current children cumulated CPU time: 3572.76 s
Current children cumulated vsize: 695996 KiB
Current children cumulated memory: 653436 KiB
[startup+3590.4 s]
/proc/loadavg: 4.08 4.10 4.09 5/259 41472
/proc/meminfo: memFree=128464272/131382116 swapFree=33010684/33010684
[pid=41022] ppid=41019 vsize=4324 memory=2944 CPUtime=1194.1 cores=1,3
/proc/41022/stat : 41022 (Hybrid-CASHWMax) S 41019 41022 40438 0 -1 4194304 283 102917 0 0 0 0 119331 79 20 0 1 0 46362178 4427776 736 18446744073709551615 93943088967680 93943089862213 140728470250368 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93943090101264 93943090149008 93943107641344 140728470255959 140728470256113 140728470256113 140728470261715 0
/proc/41022/statm: 1081 736 672 219 0 143 0
[pid=41094] ppid=41022 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/41094/stat : 41094 (timeout) S 41022 41094 40438 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46481981 2723840 320 18446744073709551615 94424086634496 94424086651009 140730864669872 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94424086665776 94424086667864 94424109150208 140730864679302 140730864679458 140730864679458 140730864685031 0
/proc/41094/statm: 665 320 320 5 0 90 0
[pid=41095] ppid=41094 vsize=903264 memory=720360 CPUtime=2385.02 cores=1,3
/proc/41095/stat : 41095 (ExactPR-S) R 41094 41094 40438 0 -1 4194304 87723 0 0 0 238203 299 0 0 20 0 1 0 46481982 924942336 180090 18446744073709551615 94880756613120 94880765913157 140734258299024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94880767699264 94880767738344 94880782360576 140734258305438 140734258305575 140734258305575 140734258311148 0
/proc/41095/statm: 225816 180090 2048 2271 0 220454 0
Current children cumulated CPU time: 3579.12 s
Current children cumulated vsize: 910248 KiB
Current children cumulated memory: 724584 KiB
[startup+3593.6 s]
/proc/loadavg: 4.15 4.12 4.09 5/259 41472
/proc/meminfo: memFree=128440372/131382116 swapFree=33010684/33010684
[pid=41022] ppid=41019 vsize=4324 memory=2944 CPUtime=1194.1 cores=1,3
/proc/41022/stat : 41022 (Hybrid-CASHWMax) S 41019 41022 40438 0 -1 4194304 283 102917 0 0 0 0 119331 79 20 0 1 0 46362178 4427776 736 18446744073709551615 93943088967680 93943089862213 140728470250368 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93943090101264 93943090149008 93943107641344 140728470255959 140728470256113 140728470256113 140728470261715 0
/proc/41022/statm: 1081 736 672 219 0 143 0
[pid=41094] ppid=41022 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/41094/stat : 41094 (timeout) S 41022 41094 40438 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46481981 2723840 320 18446744073709551615 94424086634496 94424086651009 140730864669872 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94424086665776 94424086667864 94424109150208 140730864679302 140730864679458 140730864679458 140730864685031 0
/proc/41094/statm: 665 320 320 5 0 90 0
[pid=41095] ppid=41094 vsize=903264 memory=720360 CPUtime=2388.21 cores=1,3
/proc/41095/stat : 41095 (ExactPR-S) R 41094 41094 40438 0 -1 4194304 87724 0 0 0 238522 299 0 0 20 0 1 0 46481982 924942336 180090 18446744073709551615 94880756613120 94880765913157 140734258299024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94880767699264 94880767738344 94880782360576 140734258305438 140734258305575 140734258305575 140734258311148 0
/proc/41095/statm: 225816 180090 2048 2271 0 220454 0
Current children cumulated CPU time: 3582.31 s
Current children cumulated vsize: 910248 KiB
Current children cumulated memory: 724584 KiB
[startup+3595.2 s]
/proc/loadavg: 4.15 4.12 4.09 5/259 41522
/proc/meminfo: memFree=128591304/131382116 swapFree=33010684/33010684
[pid=41022] ppid=41019 vsize=4324 memory=2944 CPUtime=1194.1 cores=1,3
/proc/41022/stat : 41022 (Hybrid-CASHWMax) S 41019 41022 40438 0 -1 4194304 283 102917 0 0 0 0 119331 79 20 0 1 0 46362178 4427776 736 18446744073709551615 93943088967680 93943089862213 140728470250368 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93943090101264 93943090149008 93943107641344 140728470255959 140728470256113 140728470256113 140728470261715 0
/proc/41022/statm: 1081 736 672 219 0 143 0
[pid=41094] ppid=41022 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/41094/stat : 41094 (timeout) S 41022 41094 40438 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46481981 2723840 320 18446744073709551615 94424086634496 94424086651009 140730864669872 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94424086665776 94424086667864 94424109150208 140730864679302 140730864679458 140730864679458 140730864685031 0
/proc/41094/statm: 665 320 320 5 0 90 0
[pid=41095] ppid=41094 vsize=903264 memory=720360 CPUtime=2389.8 cores=1,3
/proc/41095/stat : 41095 (ExactPR-S) R 41094 41094 40438 0 -1 4194304 87724 0 0 0 238681 299 0 0 20 0 1 0 46481982 924942336 180090 18446744073709551615 94880756613120 94880765913157 140734258299024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94880767699264 94880767738344 94880782360576 140734258305438 140734258305575 140734258305575 140734258311148 0
/proc/41095/statm: 225816 180090 2048 2271 0 220454 0
Current children cumulated CPU time: 3583.9 s
Current children cumulated vsize: 910248 KiB
Current children cumulated memory: 724584 KiB
[startup+3596 s]*
/proc/loadavg: 4.15 4.12 4.09 5/259 41522
/proc/meminfo: memFree=128555020/131382116 swapFree=33010684/33010684
[pid=41022] ppid=41019 vsize=4324 memory=2944 CPUtime=1194.1 cores=1,3
/proc/41022/stat : 41022 (Hybrid-CASHWMax) S 41019 41022 40438 0 -1 4194304 283 102917 0 0 0 0 119331 79 20 0 1 0 46362178 4427776 736 18446744073709551615 93943088967680 93943089862213 140728470250368 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93943090101264 93943090149008 93943107641344 140728470255959 140728470256113 140728470256113 140728470261715 0
/proc/41022/statm: 1081 736 672 219 0 143 0
[pid=41094] ppid=41022 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/41094/stat : 41094 (timeout) S 41022 41094 40438 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46481981 2723840 320 18446744073709551615 94424086634496 94424086651009 140730864669872 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94424086665776 94424086667864 94424109150208 140730864679302 140730864679458 140730864679458 140730864685031 0
/proc/41094/statm: 665 320 320 5 0 90 0
[pid=41095] ppid=41094 vsize=903264 memory=720360 CPUtime=2390.61 cores=1,3
/proc/41095/stat : 41095 (ExactPR-S) R 41094 41094 40438 0 -1 4194304 87724 0 0 0 238762 299 0 0 20 0 1 0 46481982 924942336 180090 18446744073709551615 94880756613120 94880765913157 140734258299024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94880767699264 94880767738344 94880782360576 140734258305438 140734258305575 140734258305575 140734258311148 0
/proc/41095/statm: 225816 180090 2048 2271 0 220454 0
Current children cumulated CPU time: 3584.71 s
Current children cumulated vsize: 910248 KiB
Current children cumulated memory: 724584 KiB
[startup+3596.2 s]
/proc/loadavg: 4.15 4.12 4.09 5/259 41522
/proc/meminfo: memFree=128555020/131382116 swapFree=33010684/33010684
[pid=41022] ppid=41019 vsize=4324 memory=2944 CPUtime=1194.1 cores=1,3
/proc/41022/stat : 41022 (Hybrid-CASHWMax) S 41019 41022 40438 0 -1 4194304 283 102917 0 0 0 0 119331 79 20 0 1 0 46362178 4427776 736 18446744073709551615 93943088967680 93943089862213 140728470250368 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93943090101264 93943090149008 93943107641344 140728470255959 140728470256113 140728470256113 140728470261715 0
/proc/41022/statm: 1081 736 672 219 0 143 0
[pid=41094] ppid=41022 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/41094/stat : 41094 (timeout) S 41022 41094 40438 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 46481981 2723840 320 18446744073709551615 94424086634496 94424086651009 140730864669872 0 0 0 0 3293184 73735 1 0 0 17 3 0 0 0 0 0 94424086665776 94424086667864 94424109150208 140730864679302 140730864679458 140730864679458 140730864685031 0
/proc/41094/statm: 665 320 320 5 0 90 0
[pid=41095] ppid=41094 vsize=407044 memory=374784 CPUtime=2390.8 cores=1,3
/proc/41095/stat : 41095 (ExactPR-S) R 41094 41094 40438 0 -1 4194304 87725 0 0 0 238781 299 0 0 20 0 1 0 46481982 416813056 93696 18446744073709551615 94880756613120 94880765913157 140734258299024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94880767699264 94880767738344 94880782360576 140734258305438 140734258305575 140734258305575 140734258311148 0
/proc/41095/statm: 101761 93696 2080 2271 0 96399 0
Current children cumulated CPU time: 3584.9 s
Current children cumulated vsize: 414028 KiB
Current children cumulated memory: 379008 KiB
[startup+3596.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/259 41522
/proc/meminfo: memFree=128555020/131382116 swapFree=33010684/33010684
[pid=41022] ppid=41019 vsize=4324 memory=3072 CPUtime=3584.99 cores=1,3
/proc/41022/stat : 41022 (Hybrid-CASHWMax) S 41019 41022 40438 0 -1 4194304 506 193501 0 0 0 0 358115 384 20 0 1 0 46362178 4427776 768 18446744073709551615 93943088967680 93943089862213 140728470250368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93943090101264 93943090149008 93943107641344 140728470255959 140728470256113 140728470256113 140728470261715 0
/proc/41022/statm: 1081 768 672 219 0 143 0
Current children cumulated CPU time: 3584.99 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB
Child status: 0
Real time (s): 3596.31
CPU time (s): 3585.01
CPU user time (s): 3581.16
CPU system time (s): 3.85101
CPU usage (%): 99.6857
Max. virtual memory (cumulated for all children) (KiB): 910248
Max. memory (cumulated for all children) (KiB): 724584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.16
system time used= 3.85101
maximum resident set size= 938488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194235
page faults= 0
swaps= 0
block input operations= 0
block output operations= 400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1887
involuntary context switches= 20143
# summary of solver processes directly reported to runsolver:
# pid: 41022
# total CPU time (s): 3585.01
# total CPU user time (s): 3581.16
# total CPU system time (s): 3.85101
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.7807 second user time and 38.7219 second system time
The end
Begin job on nodeC010 at 2025-06-30 20:07:08 IDJOB=4485622 IDBENCH=146805 IDSOLVER=3327 FILE ID=nodeC010/4485622-1751306828 RUNJOBID= nodeC010-1751303214-40450 SLURM_JOB_ID= 9594291 Free space on /tmp= 432608 MiB SOLVER NAME= Hybrid-CASHWMaxSATDisjCad+ExactPRS 2025-06-01 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-CASHWMaxSATDisjCad+ExactPRS BENCHNAME TIMEOUT TMPDIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485622-1751306828/watcher-4485622-1751306828 -o /tmp/evaluation-result-4485622-1751306828/solver-4485622-1751306828 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751303214-40450 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4485622-1751306828.opb 3600 HOME TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9da0f014fb9cbd107dd1b5ea973ba0c7 RANDOM SEED=2016299994 nodeC010 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 : 0xb00001f cpu MHz : 3691.215 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36 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 : 0xb00001f cpu MHz : 1197.572 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36 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 : 0xb00001f cpu MHz : 3700.000 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36 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 : 0xb00001f cpu MHz : 1197.410 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36 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 : 0xb00001f cpu MHz : 3491.678 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36 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 : 0xb00001f cpu MHz : 3491.690 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36 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 : 0xb00001f cpu MHz : 1197.681 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36 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 : 0xb00001f 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 128114844 kB MemAvailable: 128606132 kB Buffers: 3280 kB Cached: 1298980 kB SwapCached: 0 kB Active: 1648892 kB Inactive: 993548 kB Active(anon): 1358140 kB Inactive(anon): 0 kB Active(file): 290752 kB Inactive(file): 993548 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 111564 kB Writeback: 0 kB AnonPages: 1343316 kB Mapped: 116588 kB Shmem: 17960 kB KReclaimable: 93228 kB Slab: 176820 kB SReclaimable: 93228 kB SUnreclaim: 83592 kB KernelStack: 4124 kB PageTables: 6152 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 1767456 kB VmallocTotal: 34359738367 kB VmallocUsed: 149432 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 528384 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: 205640 kB DirectMap2M: 12279808 kB DirectMap1G: 123731968 kB Free space on /tmp at the end= 432584 MiB End job on nodeC010 at 2025-06-30 21:07:04