| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 | UNSAT | 7.12592 | 6.49379 |
| Name | mus/marques-silva/fpga-routing/ c499_gr_2pin_w5.shuffled.cnf |
| MD5SUM | a2e4cf209dd6d99c36adb18f47b69589 |
| Bench Category | MUS (MUS) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 0.054991 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2070 |
| Number of clauses | 19908 |
| Sum of the clauses size | 104856 |
| Maximum clause length | 6 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 3648 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 16260 |
0.01/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.01/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.01/0.07 c See www.sat4j.org for details. 0.01/0.08 c version 2.3.0.v20110206 0.01/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.01/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.01/0.08 c java.vm.version 19.1-b02 0.01/0.08 c java.vm.vendor Sun Microsystems Inc. 0.01/0.08 c sun.arch.data.model 64 0.01/0.08 c java.version 1.6.0_24 0.01/0.08 c os.name Linux 0.01/0.08 c os.version 2.6.18-164.el5 0.01/0.08 c os.arch amd64 0.01/0.08 c Free memory 5997854704 0.01/0.08 c Max memory 6029312000 0.01/0.08 c Total memory 6029312000 0.01/0.08 c Number of processors 8 0.08/0.11 c Explanation (MUS) enabled solver 0.08/0.11 c QuickXplain (AAAI 2004 version) minimization strategy 0.08/0.11 c --- Begin Solver configuration --- 0.08/0.11 c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@aa470b8 0.08/0.11 c Learn all clauses as in MiniSAT 0.08/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 0.08/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT 0.08/0.11 c Expensive reason simplification 0.08/0.11 c Armin Biere (Picosat) restarts strategy 0.08/0.11 c Glucose learned constraints deletion strategy 0.08/0.11 c timeout=2147483647s 0.08/0.11 c DB Simplification allowed=true 0.08/0.11 c --- End Solver configuration --- 0.08/0.11 c solving HOME/instance-3483144-1307606105.cnf 0.08/0.11 c reading problem ... 0.23/0.29 c ... done. Wall clock time 0.179s. 0.23/0.29 c #vars 21978 0.23/0.29 c #constraints 19908 0.23/0.29 c constraints type 0.23/0.29 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 19908 0.92/0.69 c Unsat detection wall clock time (in seconds) : 0.577 0.92/0.69 c Size of initial unsat subformula: 411 0.92/0.69 c Computing MUS ... 0.92/0.69 c initial unsat core 1512[?] -406[?] 124[?] 1543[?] 385[?] 1155[?] 21977[?] 1225[?] -2036[?] 21973[?] -1881[?] -1688[?] -388[?] -989[?] 1944[?] 571[?] 21914[?] -1100[?] -1586[?] 21874[?] -1245[?] 14[?] -2036[?] 1433[?] -1659[?] -1948[?] 21855[?] 2046[?] -1782[?] -1096[?] 1141[?] -1598[?] -1124[?] 21850[?] -683[?] -53[?] 21848[?] -1245[?] 1141[?] 21791[?] -1155[?] 1543[?] 21722[?] 1659[?] 2036[?] 1230[?] 119[?] -1948[?] 433[?] 21691[?] -1433[?] -1245[?] 14[?] 406[?] -385[?] -1512[?] 21564[?] 1798[?] 124[?] -1543[?] 1180[?] 1529[?] 1155[?] 21429[?] 14[?] 1245[?] -108[?] -41[?] 1433[?] 839[?] 21388[?] -406[?] -385[?] 21339[?] -1870[?] -1158[?] 1944[?] 989[?] 523[?] 571[?] 21231[?] 1659[?] -108[?] -2036[?] -41[?] 839[?] -1948[?] 21226[?] 463[?] -557[?] -1628[?] -798[?] -1187[?] 1877[?] 21194[?] -1656[?] 125[?] 21174[?] 1688[?] 1439[?] -369[?] 1170[?] -388[?] 1881[?] 21130[?] 1598[?] -1141[?] -1124[?] 1174[?] 4[?] -1611[?] 21092[?] 1798[?] -1180[?] -2036[?] 1529[?] -1659[?] -1948[?] 20928[?] -1944[?] 4[?] -989[?] -1174[?] -1611[?] 571[?] 20918[?] 733[?] 1782[?] 20905[?] 1096[?] -1782[?] -2046[?] 388[?] 1881[?] -1688[?] 20826[?] 119[?] 1230[?] 1180[?] -1798[?] 433[?] 1529[?] 20810[?] 2046[?] 1782[?] 989[?] 1944[?] -1096[?] 571[?] 20761[?] 961[?] -1221[?] 20750[?] 1948[?] -1433[?] -2036[?] -1659[?] -1245[?] 14[?] 20682[?] -424[?] -124[?] 20595[?] -1993[?] -1439[?] 20546[?] 1659[?] 1798[?] 1180[?] -2036[?] 1529[?] -1948[?] 20508[?] 950[?] 1613[?] 20334[?] 1512[?] -406[?] -41[?] 108[?] 385[?] 839[?] 20301[?] 1439[?] -1170[?] 20282[?] 1512[?] -406[?] 1180[?] -1798[?] 1529[?] 385[?] 20280[?] 463[?] 1628[?] 20178[?] 2046[?] -1782[?] -1881[?] -388[?] -1688[?] -1096[?] 20041[?] -1533[?] -20[?] 20029[?] 385[?] 1798[?] -1180[?] 1529[?] 406[?] -1512[?] 19875[?] 4[?] -1611[?] -388[?] 1881[?] -1688[?] -1174[?] 19859[?] -232[?] -733[?] -541[?] 390[?] -26[?] -1265[?] 19814[?] 1512[?] 385[?] -1180[?] -1798[?] 406[?] 1529[?] 19780[?] -406[?] 385[?] 124[?] -1543[?] 1155[?] -1512[?] 19756[?] 1728[?] -1898[?] 297[?] 1234[?] -637[?] 1100[?] 19714[?] -1141[?] 1439[?] -369[?] 1124[?] 1170[?] -1598[?] 19694[?] -1995[?] 68[?] 1514[?] -1586[?] -1419[?] -20[?] 19643[?] 1221[?] 1944[?] 19608[?] -1993[?] -793[?] 19575[?] -766[?] 863[?] -1300[?] 53[?] -317[?] 683[?] 19561[?] 1174[?] -4[?] 19524[?] -571[?] -1006[?] 19494[?] 1659[?] 2036[?] -41[?] 108[?] -1948[?] 839[?] 19417[?] -1939[?] -213[?] 390[?] -1641[?] 541[?] -1265[?] 19371[?] 1593[?] -1456[?] 19351[?] -297[?] 1898[?] 1728[?] 1234[?] 1100[?] -637[?] 19326[?] 1265[?] -1583[?] 19277[?] -1158[?] 841[?] 19275[?] 637[?] 953[?] 19216[?] -839[?] 571[?] 19187[?] 385[?] -1245[?] 14[?] 1433[?] 406[?] -1512[?] 19068[?] -1533[?] -1656[?] 18879[?] 1948[?] 1335[?] 18868[?] 385[?] -124[?] -1543[?] 406[?] 1155[?] -1512[?] 18816[?] 141[?] -727[?] 18700[?] -1059[?] -390[?] 18683[?] 2036[?] 41[?] 108[?] 839[?] -1659[?] -1948[?] 18627[?] 385[?] -1230[?] -119[?] 406[?] 433[?] -1512[?] 18602[?] 442[?] 1881[?] 18556[?] -1141[?] -1124[?] 1170[?] -369[?] -1439[?] -1598[?] 18374[?] 53[?] 1230[?] 18373[?] -68[?] -1419[?] 1995[?] 1514[?] -1586[?] -20[?] 18295[?] -1350[?] 1870[?] 18268[?] -925[?] -1628[?] 18221[?] -185[?] 1315[?] 18211[?] -433[?] -1230[?] 1798[?] -119[?] -1529[?] -1180[?] 18178[?] 1948[?] -1529[?] -2036[?] -1659[?] 1798[?] -1180[?] 18106[?] 1688[?] 388[?] 18065[?] -125[?] 1656[?] 18044[?] -1870[?] 369[?] 1158[?] -1439[?] 523[?] 1170[?] 18008[?] -1300[?] -119[?] 17989[?] 689[?] 679[?] -1466[?] 1225[?] -85[?] 1335[?] 17957[?] -406[?] 385[?] 1245[?] 14[?] 1433[?] -1512[?] 17945[?] -683[?] -1533[?] 53[?] 1656[?] 961[?] 1300[?] 17910[?] 1265[?] 390[?] 17872[?] -1141[?] 1245[?] 17851[?] -1335[?] 1776[?] -1225[?] -689[?] 882[?] -793[?] 17842[?] 41[?] 1944[?] 17811[?] -571[?] -1944[?] 388[?] -989[?] 1881[?] -1688[?] 17778[?] 20[?] 1533[?] 17759[?] 1512[?] -1456[?] -406[?] -1477[?] 385[?] -1593[?] 17708[?] 1659[?] -689[?] 17657[?] 369[?] -4[?] 1439[?] 1611[?] -1174[?] 1170[?] 17605[?] -925[?] 359[?] -961[?] -1656[?] 331[?] 1533[?] 17511[?] 607[?] 1553[?] 1141[?] 459[?] -1124[?] -1598[?] 17497[?] -1230[?] 1798[?] -1180[?] -119[?] 1529[?] 433[?] 17488[?] 119[?] 1300[?] 17436[?] -1782[?] -2046[?] -369[?] 1170[?] -1096[?] -1439[?] 17433[?] 1265[?] -541[?] 17402[?] 1948[?] -839[?] -2036[?] -1659[?] 41[?] -108[?] 17371[?] -953[?] -1583[?] 17192[?] -727[?] 541[?] 17175[?] 689[?] 679[?] 1466[?] -1225[?] -85[?] 1335[?] 17108[?] -1155[?] 124[?] 17048[?] -1141[?] -1124[?] -1688[?] -388[?] 1881[?] -1598[?] 17040[?] 1512[?] -406[?] 1230[?] 119[?] 433[?] 385[?] 17039[?] -1881[?] -1124[?] 1141[?] -388[?] -1688[?] -1598[?] 16961[?] 1245[?] 108[?] -41[?] -14[?] 839[?] 1433[?] 16945[?] 235[?] -863[?] 16927[?] 1598[?] 1433[?] 16891[?] 1512[?] 385[?] 2036[?] 406[?] -1659[?] -1948[?] 16873[?] -1813[?] 331[?] 16809[?] -1877[?] 928[?] 16769[?] 369[?] -1881[?] 1439[?] 1688[?] -388[?] 1170[?] 16767[?] 607[?] -1553[?] 369[?] 1439[?] 459[?] 1170[?] 16728[?] 26[?] -1096[?] 16725[?] -55[?] 1958[?] 16715[?] 2050[?] 925[?] 16671[?] 1593[?] -1477[?] 16639[?] 141[?] -1533[?] 424[?] 727[?] 961[?] 1656[?] 16625[?] 53[?] -1300[?] 1656[?] -961[?] 683[?] 1533[?] 16574[?] -542[?] 55[?] -132[?] -385[?] -1512[?] 406[?] 16538[?] -1529[?] 1180[?] 16515[?] -1944[?] -41[?] 16489[?] 388[?] 1754[?] 16485[?] -1993[?] -1690[?] 16479[?] -424[?] -1300[?] -53[?] -727[?] 683[?] -141[?] 16450[?] 132[?] 55[?] 1798[?] 1180[?] 542[?] 1529[?] 16429[?] 132[?] -1785[?] 16386[?] -406[?] 385[?] -41[?] -108[?] 839[?] -1512[?] 16373[?] 1553[?] -607[?] -989[?] -1944[?] 459[?] 571[?] 16224[?] 1006[?] 571[?] 16094[?] -1995[?] -961[?] 16016[?] -841[?] 1158[?] 16013[?] -571[?] 839[?] 15986[?] 989[?] 125[?] 15977[?] 1641[?] 459[?] 15938[?] 1221[?] -961[?] 15922[?] -1514[?] 1656[?] 15845[?] -1939[?] -607[?] 15790[?] -1230[?] -53[?] 15750[?] -1898[?] -1234[?] 297[?] -1728[?] -637[?] 1100[?] 15603[?] 1659[?] -406[?] -2036[?] 385[?] -1512[?] -1948[?] 15554[?] -1315[?] 542[?] 15431[?] -557[?] -1628[?] -463[?] 406[?] -1512[?] 385[?] 15337[?] 1096[?] -2046[?] -1170[?] -1782[?] -369[?] -1439[?] 15301[?] -607[?] -1553[?] 989[?] 459[?] -1944[?] 571[?] 15288[?] 1174[?] 4[?] 1881[?] 388[?] -1611[?] -1688[?] 15261[?] -607[?] -1553[?] -369[?] 1439[?] 459[?] 1170[?] 15155[?] 1586[?] 1100[?] 14976[?] 108[?] -989[?] 14947[?] -1433[?] -1598[?] 14941[?] -433[?] -1230[?] -119[?] -385[?] 406[?] -1512[?] 14925[?] -1881[?] 1688[?] 1141[?] 1124[?] -388[?] -1598[?] 14837[?] -53[?] 1300[?] 424[?] -727[?] -141[?] 683[?] 14766[?] -406[?] 385[?] -1230[?] 119[?] 433[?] -1512[?] 14738[?] -1881[?] 388[?] 14646[?] -1245[?] 14[?] 41[?] -108[?] 1433[?] 839[?] 14629[?] -541[?] 873[?] 14576[?] 1641[?] 213[?] 14537[?] -125[?] -989[?] 14498[?] -1180[?] -1798[?] -124[?] 1543[?] 1529[?] 1155[?] 14397[?] -433[?] 119[?] 14392[?] -1093[?] 523[?] 14318[?] 369[?] -4[?] 1170[?] -1611[?] -1439[?] -1174[?] 14285[?] -1100[?] 1234[?] 14224[?] 1948[?] -433[?] -2036[?] -1659[?] -1230[?] -119[?] 14192[?] 1728[?] -1278[?] 14163[?] -571[?] 1174[?] 4[?] -1944[?] -1611[?] -989[?] 14111[?] -839[?] 1798[?] 41[?] -108[?] -1529[?] -1180[?] 14085[?] 124[?] 424[?] 14067[?] -1776[?] -1690[?] 14046[?] -433[?] 1230[?] 14019[?] -1782[?] -2046[?] -1141[?] -1096[?] -1598[?] -1124[?] 13977[?] -1093[?] -1350[?] 13969[?] 1583[?] 953[?] 13936[?] -1245[?] 41[?] -14[?] 108[?] 1433[?] 839[?] 13919[?] 1598[?] -1141[?] -1124[?] -369[?] -1170[?] -1439[?] 13868[?] -1944[?] 1170[?] -369[?] -1439[?] -989[?] 571[?] 13848[?] 20[?] 1586[?] -1995[?] 68[?] -1419[?] 1514[?] 13840[?] -727[?] -1543[?] 13806[?] 53[?] 961[?] 683[?] 1300[?] 1656[?] 1533[?] 13774[?] -839[?] -41[?] 13770[?] 1628[?] 925[?] 13697[?] 1598[?] 1141[?] 13679[?] 369[?] -1881[?] 1170[?] -388[?] -1688[?] -1439[?] 13656[?] 989[?] -108[?] 13594[?] 1512[?] -406[?] 1245[?] -14[?] 385[?] 1433[?] 13581[?] 1187[?] -798[?] 13579[?] 1785[?] -132[?] 13521[?] -839[?] -1245[?] 41[?] -108[?] -1433[?] 14[?] 13483[?] -839[?] 108[?] 13456[?] -1155[?] -124[?] -1543[?] -385[?] 406[?] -1512[?] 13422[?] -960[?] 297[?] 13377[?] -960[?] 1059[?] 13371[?] -331[?] -463[?] 13215[?] -1230[?] 1798[?] 119[?] 1180[?] 1529[?] 433[?] 13209[?] 1659[?] 2036[?] 1245[?] -14[?] -1948[?] 1433[?] 13186[?] 369[?] -1124[?] 1141[?] -1439[?] -1598[?] 1170[?] 13135[?] 1785[?] 1252[?] 13133[?] -873[?] -1278[?] 13131[?] -68[?] 4[?] 13124[?] -2046[?] 1782[?] -369[?] 1439[?] 1170[?] -1096[?] 13057[?] -4[?] 68[?] 13010[?] 1688[?] 1881[?] -388[?] -1944[?] 989[?] 571[?] 12898[?] -670[?] 882[?] 12863[?] 1628[?] -557[?] 1798[?] 1180[?] -463[?] 1529[?] 12782[?] 1225[?] 882[?] 793[?] -1776[?] -689[?] 1335[?] 12769[?] 266[?] -1696[?] 297[?] -1728[?] 1020[?] -637[?] 12635[?] -1944[?] 1881[?] -388[?] -989[?] -1688[?] 571[?] 12601[?] 1898[?] 68[?] 12564[?] -1881[?] 1688[?] 989[?] 1944[?] -388[?] 571[?] 12553[?] 961[?] 1995[?] 12381[?] 1583[?] -1265[?] 12347[?] -1870[?] -1124[?] 1141[?] 1158[?] 523[?] -1598[?] 12318[?] 1096[?] 1782[?] 12293[?] 4[?] 1439[?] -369[?] 1611[?] 1170[?] -1174[?] 12288[?] 1798[?] 1180[?] -108[?] -41[?] 1529[?] 839[?] 12009[?] 1586[?] -68[?] 11981[?] 26[?] -232[?] 11945[?] -1419[?] 1234[?] 11573[?] 1553[?] -607[?] -1141[?] 459[?] -1124[?] -1598[?] 11512[?] -1093[?] -841[?] 11453[?] 798[?] 1877[?] -1512[?] 406[?] -1187[?] 385[?] 11406[?] -1944[?] -1221[?] 11396[?] -523[?] 1870[?] 1158[?] 388[?] 1881[?] -1688[?] 11366[?] -1911[?] 359[?] 11323[?] 26[?] -733[?] 11251[?] -297[?] 1898[?] -1234[?] -1728[?] 1100[?] -637[?] 11247[?] 1477[?] 766[?] 11096[?] 1948[?] 2036[?] 11070[?] 1439[?] 1993[?] 11055[?] -1754[?] -388[?] 10939[?] 1512[?] 385[?] -119[?] 1230[?] 406[?] 433[?] 10931[?] -424[?] 727[?] 1656[?] -961[?] -141[?] 1533[?] 10881[?] 1881[?] 388[?] -369[?] -1170[?] -1688[?] -1439[?] 10852[?] 1958[?] 961[?] 1656[?] -1785[?] 1315[?] 1533[?] 10851[?] 882[?] -1776[?] -793[?] -1225[?] -689[?] 1335[?] 10803[?] -359[?] 557[?] 10735[?] 1690[?] -1170[?] 10685[?] -1958[?] -2056[?] 10631[?] 1174[?] -1586[?] 10628[?] 2061[?] -317[?] 10617[?] -571[?] 989[?] 10514[?] 1141[?] -4[?] 1611[?] 1124[?] -1174[?] -1598[?] 10491[?] 793[?] 1993[?] 10426[?] 961[?] 424[?] 727[?] 1656[?] 1533[?] -141[?] 10372[?] -1141[?] 1688[?] 1124[?] -388[?] 1881[?] -1598[?] 10360[?] 369[?] -1170[?] 10348[?] -4[?] -1611[?] 1944[?] -989[?] -1174[?] 571[?] 10279[?] 355[?] 1466[?] 10257[?] 385[?] 41[?] -108[?] 406[?] 839[?] -1512[?] 10217[?] 369[?] 670[?] 10195[?] -1155[?] -141[?] 10127[?] -433[?] 683[?] 10111[?] -424[?] -1656[?] -727[?] -961[?] -141[?] 1533[?] 10072[?] 1174[?] 1611[?] 10068[?] -185[?] -1252[?] 10066[?] 1688[?] -355[?] 9867[?] 41[?] 108[?] -1798[?] -1180[?] 1529[?] 839[?] 9861[?] -1870[?] 1350[?] 9856[?] -882[?] 670[?] 9837[?] -1939[?] 2056[?] 213[?] -1252[?] 185[?] -1641[?] 9824[?] 85[?] 1754[?] 9691[?] 1512[?] -385[?] 9653[?] -1315[?] 185[?] 9584[?] -1958[?] -1785[?] -53[?] 1315[?] 1300[?] 683[?] 9517[?] -1533[?] -961[?] 9443[?] 14[?] 1124[?] 9432[?] 679[?] -442[?] 9401[?] -839[?] 41[?] -108[?] 406[?] -385[?] -1512[?] 9354[?] 1593[?] 1456[?] -1529[?] -1180[?] 1798[?] 1477[?] 9299[?] -1995[?] 68[?] 1419[?] -1514[?] -20[?] -1586[?] 9298[?] 1512[?] 385[?] 41[?] 108[?] 406[?] 839[?] 9285[?] 1948[?] -2036[?] -385[?] -1659[?] 406[?] -1512[?] 9272[?] 1170[?] -1690[?] 9194[?] -523[?] 1093[?] 9070[?] -1158[?] -1944[?] 1870[?] 989[?] 523[?] 571[?] 9067[?] -406[?] 385[?] 1798[?] 1180[?] 1529[?] -1512[?] 9051[?] 1598[?] 1124[?] 9034[?] -1466[?] 85[?] 8905[?] -459[?] -1641[?] 8782[?] -541[?] 727[?] 8608[?] 390[?] 1059[?] 8504[?] -1059[?] 960[?] 8439[?] 1953[?] -1729[?] 8384[?] 1690[?] 1776[?] 8343[?] 141[?] -424[?] 8307[?] -1335[?] -1948[?] 8277[?] 1948[?] 1659[?] 8263[?] 53[?] 1300[?] 727[?] 424[?] 683[?] -141[?] 8239[?] 689[?] -882[?] 793[?] 1225[?] 1335[?] -1776[?] 8204[?] 1696[?] 841[?] 8016[?] 689[?] -1659[?] 7746[?] 961[?] -727[?] 424[?] -1656[?] 1533[?] -141[?] 7711[?] -266[?] 1350[?] 7682[?] -68[?] -1898[?] 7608[?] 2036[?] -119[?] 1230[?] 433[?] -1659[?] -1948[?] 7600[?] -766[?] 554[?] 7596[?] 1543[?] 727[?] 7534[?] 2036[?] -1245[?] -14[?] 1433[?] -1659[?] -1948[?] 7476[?] 1278[?] -1728[?] 7475[?] -1656[?] -1300[?] -53[?] -961[?] 683[?] 1533[?] 7418[?] 1512[?] 385[?] -1245[?] -14[?] 406[?] 1433[?] 7312[?] 1659[?] 14[?] 1245[?] -2036[?] 1433[?] -1948[?] 7238[?] 637[?] -1100[?] 297[?] -1898[?] -1234[?] -1728[?] 7222[?] 369[?] 989[?] 1439[?] 1944[?] 1170[?] 571[?] 7221[?] -1180[?] -1798[?] 1230[?] -119[?] 1529[?] 433[?] 7181[?] 1096[?] -26[?] 7159[?] 141[?] -683[?] 727[?] 424[?] 53[?] 1300[?] 7094[?] -571[?] 1944[?] 7076[?] -1944[?] 1439[?] -369[?] 1170[?] 989[?] 571[?] 7039[?] -213[?] -1553[?] 7008[?] 369[?] 1170[?] -1439[?] -989[?] 1944[?] 571[?] 6982[?] -1335[?] 689[?] 6950[?] -1124[?] -14[?] 6931[?] -542[?] 1315[?] 6911[?] -1944[?] 4[?] 1611[?] 989[?] 571[?] -1174[?] 6891[?] 4[?] 1170[?] -369[?] -1439[?] -1174[?] -1611[?] 6830[?] -1529[?] 1798[?] -1180[?] 406[?] -385[?] -1512[?] 6825[?] -297[?] 960[?] 6726[?] -85[?] 1466[?] -679[?] -1225[?] -689[?] 1335[?] 6561[?] 1006[?] 1533[?] 6509[?] 1798[?] 41[?] -1180[?] -108[?] 1529[?] 839[?] 6463[?] -683[?] 433[?] 6430[?] -1782[?] -2046[?] -388[?] -1688[?] 1881[?] -1096[?] 6372[?] 2036[?] -1180[?] -1798[?] 1529[?] -1659[?] -1948[?] 6368[?] 1688[?] 4[?] 1611[?] 1881[?] -388[?] -1174[?] 6340[?] -1466[?] -355[?] 6290[?] 1170[?] 1881[?] -388[?] -369[?] -1688[?] -1439[?] 6246[?] -4[?] 989[?] 1611[?] 1944[?] -1174[?] 571[?] 6210[?] -1141[?] -1124[?] 4[?] -1174[?] -1611[?] -1598[?] 6207[?] 355[?] -1688[?] 6128[?] 1265[?] -141[?] 6105[?] 2036[?] -1225[?] 6104[?] 1641[?] -1939[?] 6024[?] -863[?] 766[?] -1656[?] 1533[?] 961[?] -317[?] 6020[?] -2046[?] 1782[?] 1688[?] -388[?] 1881[?] -1096[?] 5972[?] -1877[?] -798[?] 5950[?] 950[?] 20[?] 1128[?] 1514[?] -1613[?] -1995[?] 5861[?] 2046[?] -1782[?] -989[?] 1944[?] 571[?] -1096[?] 5778[?] -1020[?] 1093[?] 5611[?] 1911[?] -2050[?] 232[?] -733[?] -26[?] 1813[?] 5602[?] -873[?] 541[?] 5571[?] 1586[?] -1174[?] 5557[?] -424[?] -390[?] 5511[?] 1798[?] -1180[?] -1543[?] -124[?] 1529[?] 1155[?] 5428[?] 141[?] -1265[?] 5400[?] -1433[?] -14[?] 5390[?] 141[?] 1155[?] 5353[?] -1656[?] 1514[?] 5341[?] 369[?] 1141[?] 1439[?] 1124[?] 1170[?] -1598[?] 5189[?] 1096[?] 2046[?] 5169[?] -1881[?] 1688[?] 1611[?] -4[?] -388[?] -1174[?] 4982[?] 317[?] -1593[?] 4958[?] -1881[?] -4[?] -1688[?] -1611[?] -388[?] -1174[?] 4946[?] -1335[?] 85[?] -1225[?] -689[?] -679[?] 1466[?] 4778[?] 385[?] -2036[?] 406[?] -1659[?] -1512[?] -1948[?] 4724[?] -1870[?] -1158[?] 1141[?] 1124[?] 523[?] -1598[?] 4707[?] 1096[?] -950[?] 4635[?] 1583[?] -873[?] 4571[?] -1782[?] -2046[?] -989[?] -1096[?] -1944[?] 571[?] 4546[?] 1187[?] 798[?] 1877[?] 1798[?] 1180[?] 1529[?] 4418[?] -1611[?] 1419[?] 4401[?] 863[?] 1456[?] 4372[?] -1158[?] 1870[?] -369[?] 1439[?] 523[?] 1170[?] 4349[?] 1598[?] -1141[?] -1124[?] 388[?] 1881[?] -1688[?] 4332[?] -85[?] -1754[?] 4242[?] -459[?] -1553[?] 4104[?] 41[?] -108[?] -2036[?] 839[?] -1659[?] -1948[?] 4096[?] -1124[?] 1141[?] -4[?] -1611[?] -1174[?] -1598[?] 3995[?] 442[?] -679[?] 3873[?] 2046[?] 232[?] 3825[?] -1870[?] -1158[?] 1439[?] 369[?] 523[?] 1170[?] 3792[?] -1234[?] 1419[?] 3780[?] -571[?] -1944[?] -1170[?] -989[?] -369[?] -1439[?] 3668[?] -232[?] -2046[?] 3562[?] 1953[?] -928[?] -961[?] -1656[?] 1729[?] 1533[?] 3538[?] -68[?] -1514[?] 1419[?] 1995[?] -20[?] -1586[?] 3507[?] 1659[?] -1230[?] -2036[?] 119[?] 433[?] -1948[?] 3460[?] -1419[?] 1611[?] 3429[?] -1881[?] -442[?] 3385[?] -213[?] -235[?] 1939[?] -1641[?] -2061[?] -554[?] 3375[?] 1187[?] -1953[?] 3322[?] 1512[?] 1659[?] -406[?] 2036[?] 385[?] -1948[?] 3254[?] 689[?] -882[?] -1225[?] -793[?] -1776[?] 1335[?] 3225[?] -1141[?] 4[?] 1611[?] 1124[?] -1174[?] -1598[?] 3171[?] -1230[?] -119[?] -2036[?] 433[?] -1659[?] -1948[?] 3170[?] 1225[?] -1466[?] -679[?] -85[?] -689[?] 1335[?] 2921[?] 607[?] 1939[?] 2916[?] 53[?] -424[?] 727[?] -1300[?] 683[?] -141[?] 2803[?] 108[?] 1180[?] -1798[?] -41[?] 839[?] 1529[?] 2788[?] -459[?] 1553[?] -607[?] 388[?] 1881[?] -1688[?] 2754[?] 1278[?] 873[?] 2728[?] -953[?] -637[?] 2661[?] 961[?] -1656[?] -53[?] 1300[?] 683[?] 1533[?] 2587[?] 390[?] 424[?] 2581[?] -1533[?] -1006[?] 2571[?] 1553[?] 213[?] 2562[?] 1512[?] 385[?] -124[?] 406[?] 1543[?] 1155[?] 2512[?] 463[?] 557[?] 2497[?] -1529[?] -1798[?] 2412[?] 950[?] -1128[?] 2360[?] -1155[?] -1529[?] -124[?] 1798[?] -1543[?] -1180[?] 2353[?] 1659[?] 2036[?] 1180[?] -1798[?] 1529[?] -1948[?] 2338[?] -1877[?] 798[?] -1187[?] 1543[?] 1155[?] -124[?] 2268[?] 1174[?] 4[?] -1170[?] -1611[?] -369[?] -1439[?] 2253[?] 793[?] 1776[?] 2225[?] 124[?] 1180[?] -1798[?] 1543[?] 1155[?] 1529[?] 2198[?] 1586[?] 1419[?] 2162[?] -185[?] 2056[?] 2105[?] -670[?] -369[?] 2092[?] 1.04/0.75 c qxplain 0/410 1.04/0.77 c qxplain 206/410 1.04/0.79 c qxplain 309/410 1.23/0.81 c qxplain 360/410 1.23/0.82 c qxplain 386/410 1.23/0.82 c qxplain 399/410 1.23/0.83 c qxplain 405/410 1.23/0.84 c qxplain 408/410 1.23/0.85 c qxplain 410/410 1.23/0.86 c 2092[?] -670[?] -369[?] is mandatory 1.23/0.86 c qxplain 408/409 1.23/0.88 c qxplain 405/407 1.23/0.88 c qxplain 407/407 1.23/0.89 c 2198[?] 124[?] 1543[?] -1798[?] 1180[?] 1155[?] 1529[?] is mandatory 1.23/0.89 c qxplain 405/406 1.38/0.90 c qxplain 406/406 1.38/0.91 c qxplain 405/405 1.38/0.92 c 2253[?] 1174[?] -1611[?] -369[?] -1170[?] -1439[?] 4[?] is mandatory 1.38/0.92 c qxplain 399/404 1.38/0.93 c qxplain 402/404 1.38/0.94 c qxplain 404/404 1.38/0.94 c qxplain 402/403 1.38/0.95 c qxplain 403/403 1.38/0.95 c 2338[?] 1180[?] 1659[?] -1798[?] 2036[?] -1948[?] 1529[?] is mandatory 1.38/0.95 c qxplain 402/402 1.38/0.97 c 2353[?] -1155[?] -1529[?] -124[?] -1180[?] 1798[?] -1543[?] is mandatory 1.38/0.97 c qxplain 399/401 1.38/0.98 c qxplain 401/401 1.38/0.98 c qxplain 399/400 1.38/0.99 c qxplain 400/400 1.38/1.00 c 2412[?] -1798[?] -1529[?] is mandatory 1.38/1.00 c qxplain 399/399 1.38/1.00 c qxplain 386/398 1.38/1.01 c qxplain 393/398 1.38/1.02 c qxplain 396/398 1.52/1.02 c qxplain 398/398 1.52/1.03 c 2512[?] 406[?] 1512[?] 385[?] 1543[?] -124[?] 1155[?] is mandatory 1.52/1.03 c qxplain 396/397 1.52/1.04 c qxplain 397/397 1.52/1.05 c qxplain 396/396 1.52/1.06 c 2571[?] -1533[?] -1006[?] is mandatory 1.52/1.06 c qxplain 393/395 1.52/1.07 c qxplain 395/395 1.52/1.07 c 2581[?] 390[?] 424[?] is mandatory 1.52/1.07 c qxplain 393/394 1.52/1.08 c qxplain 394/394 1.52/1.09 c 2587[?] -53[?] 683[?] 1300[?] -1656[?] 961[?] 1533[?] is mandatory 1.52/1.09 c qxplain 393/393 1.52/1.10 c 2661[?] -637[?] -953[?] is mandatory 1.52/1.10 c qxplain 386/392 1.52/1.11 c qxplain 390/392 1.52/1.11 c qxplain 392/392 1.62/1.12 c 2728[?] 1278[?] 873[?] is mandatory 1.62/1.12 c qxplain 390/391 1.62/1.13 c qxplain 391/391 1.62/1.13 c qxplain 390/390 1.62/1.14 c 2788[?] 1180[?] -1798[?] 108[?] -41[?] 839[?] 1529[?] is mandatory 1.62/1.14 c qxplain 386/389 1.62/1.15 c qxplain 388/389 1.62/1.16 c qxplain 389/389 1.62/1.16 c 2803[?] 53[?] 683[?] -1300[?] -424[?] -141[?] 727[?] is mandatory 1.62/1.16 c qxplain 388/388 1.62/1.16 c qxplain 386/387 1.62/1.17 c qxplain 387/387 1.62/1.18 c 2921[?] -1466[?] -85[?] -679[?] 1335[?] -689[?] 1225[?] is mandatory 1.62/1.18 c qxplain 386/386 1.62/1.19 c 3170[?] -1230[?] -119[?] -1659[?] 433[?] -2036[?] -1948[?] is mandatory 1.62/1.19 c qxplain 360/385 1.62/1.20 c qxplain 373/385 1.70/1.20 c qxplain 380/385 1.70/1.21 c qxplain 383/385 1.70/1.22 c qxplain 385/385 1.70/1.23 c 3171[?] -1141[?] 1124[?] 4[?] 1611[?] -1598[?] -1174[?] is mandatory 1.70/1.23 c qxplain 383/384 1.70/1.23 c qxplain 384/384 1.70/1.25 c 3225[?] -882[?] -1776[?] 689[?] -1225[?] 1335[?] -793[?] is mandatory 1.70/1.25 c qxplain 383/383 1.70/1.25 c 3254[?] -406[?] 1512[?] 1659[?] 2036[?] -1948[?] 385[?] is mandatory 1.70/1.25 c qxplain 380/382 1.70/1.26 c qxplain 382/382 1.70/1.26 c qxplain 380/381 1.70/1.27 c qxplain 381/381 1.70/1.27 c qxplain 380/380 1.70/1.28 c 3385[?] -442[?] -1881[?] is mandatory 1.70/1.28 c qxplain 373/379 1.70/1.29 c qxplain 377/379 1.80/1.30 c qxplain 379/379 1.80/1.31 c 3429[?] 1611[?] -1419[?] is mandatory 1.80/1.31 c qxplain 377/378 1.80/1.31 c qxplain 378/378 1.80/1.32 c 3460[?] -1230[?] 119[?] 433[?] 1659[?] -2036[?] -1948[?] is mandatory 1.80/1.32 c qxplain 377/377 1.80/1.33 c qxplain 373/376 1.80/1.34 c qxplain 375/376 1.80/1.34 c qxplain 373/374 1.80/1.35 c qxplain 374/374 1.80/1.36 c 3668[?] -369[?] -1170[?] -1944[?] -571[?] -989[?] -1439[?] is mandatory 1.80/1.36 c qxplain 373/373 1.80/1.36 c 3780[?] 1419[?] -1234[?] is mandatory 1.80/1.36 c qxplain 360/372 1.80/1.37 c qxplain 367/372 1.80/1.38 c qxplain 370/372 1.80/1.39 c qxplain 372/372 1.89/1.40 c qxplain 370/371 1.89/1.41 c qxplain 371/371 1.89/1.42 c qxplain 370/370 1.89/1.42 c 3873[?] -679[?] 442[?] is mandatory 1.89/1.42 c qxplain 367/369 1.89/1.43 c qxplain 369/369 1.89/1.44 c 3995[?] -1611[?] 1141[?] -1124[?] -1598[?] -4[?] -1174[?] is mandatory 1.89/1.44 c qxplain 367/368 1.89/1.45 c qxplain 368/368 1.89/1.46 c 4096[?] -108[?] -1659[?] 41[?] -1948[?] -2036[?] 839[?] is mandatory 1.89/1.46 c qxplain 367/367 1.89/1.46 c qxplain 360/366 1.89/1.47 c qxplain 364/366 1.89/1.48 c qxplain 366/366 1.89/1.48 c 4242[?] -85[?] -1754[?] is mandatory 1.89/1.48 c qxplain 364/365 1.89/1.49 c qxplain 365/365 2.00/1.50 c 4332[?] -1688[?] 388[?] -1124[?] 1598[?] -1141[?] 1881[?] is mandatory 2.00/1.50 c qxplain 364/364 2.00/1.51 c qxplain 360/363 2.00/1.52 c qxplain 362/363 2.00/1.53 c qxplain 363/363 2.00/1.53 c qxplain 362/362 2.00/1.54 c 4401[?] 1419[?] -1611[?] is mandatory 2.00/1.54 c qxplain 360/361 2.00/1.54 c qxplain 309/359 2.00/1.54 c qxplain 335/359 2.00/1.55 c qxplain 348/359 2.00/1.56 c qxplain 354/359 2.00/1.57 c qxplain 357/359 2.00/1.58 c qxplain 354/356 2.00/1.59 c qxplain 356/356 2.00/1.60 c 4724[?] 406[?] -1659[?] -2036[?] 385[?] -1512[?] -1948[?] is mandatory 2.00/1.60 c qxplain 354/355 2.10/1.60 c qxplain 355/355 2.10/1.61 c 4778[?] -679[?] 85[?] -1335[?] -689[?] -1225[?] 1466[?] is mandatory 2.10/1.61 c qxplain 354/354 2.10/1.62 c 4946[?] -1611[?] -1688[?] -388[?] -1881[?] -4[?] -1174[?] is mandatory 2.10/1.62 c qxplain 348/353 2.10/1.63 c qxplain 351/353 2.10/1.64 c qxplain 353/353 2.10/1.64 c qxplain 351/352 2.10/1.64 c qxplain 352/352 2.10/1.65 c 4982[?] 1688[?] -1881[?] 1611[?] -4[?] -388[?] -1174[?] is mandatory 2.10/1.65 c qxplain 351/351 2.10/1.65 c qxplain 348/350 2.10/1.66 c qxplain 350/350 2.10/1.67 c 5189[?] 1141[?] 1124[?] 369[?] 1439[?] -1598[?] 1170[?] is mandatory 2.10/1.67 c qxplain 348/349 2.10/1.68 c qxplain 349/349 2.10/1.68 c qxplain 348/348 2.10/1.69 c 5353[?] 141[?] 1155[?] is mandatory 2.10/1.69 c qxplain 335/347 2.20/1.70 c qxplain 342/347 2.20/1.71 c qxplain 345/347 2.20/1.72 c qxplain 347/347 2.20/1.72 c qxplain 345/346 2.20/1.73 c qxplain 346/346 2.20/1.74 c 5400[?] 141[?] -1265[?] is mandatory 2.20/1.74 c qxplain 345/345 2.20/1.75 c 5428[?] -124[?] -1543[?] -1180[?] 1798[?] 1155[?] 1529[?] is mandatory 2.20/1.75 c qxplain 342/344 2.20/1.76 c qxplain 344/344 2.20/1.76 c 5511[?] -424[?] -390[?] is mandatory 2.20/1.76 c qxplain 342/343 2.20/1.78 c qxplain 343/343 2.20/1.79 c 5557[?] 1586[?] -1174[?] is mandatory 2.20/1.79 c qxplain 342/342 2.20/1.79 c 5571[?] -873[?] 541[?] is mandatory 2.20/1.79 c qxplain 335/341 2.20/1.79 c qxplain 309/334 2.30/1.80 c qxplain 322/334 2.30/1.81 c qxplain 329/334 2.30/1.82 c qxplain 332/334 2.30/1.83 c qxplain 334/334 2.30/1.83 c qxplain 332/333 2.30/1.83 c qxplain 333/333 2.30/1.84 c 6104[?] -1225[?] 2036[?] is mandatory 2.30/1.84 c qxplain 332/332 2.30/1.85 c 6105[?] 1265[?] -141[?] is mandatory 2.30/1.85 c qxplain 329/331 2.30/1.86 c qxplain 331/331 2.30/1.87 c 6128[?] 355[?] -1688[?] is mandatory 2.30/1.87 c qxplain 329/330 2.30/1.88 c qxplain 330/330 2.30/1.89 c 6207[?] -1141[?] 4[?] -1124[?] -1611[?] -1174[?] -1598[?] is mandatory 2.30/1.89 c qxplain 329/329 2.30/1.89 c 6210[?] 1611[?] 989[?] -4[?] 1944[?] -1174[?] 571[?] is mandatory 2.30/1.90 c qxplain 322/328 2.40/1.90 c qxplain 326/328 2.40/1.91 c qxplain 328/328 2.40/1.92 c 6246[?] -1688[?] -388[?] 1170[?] -369[?] 1881[?] -1439[?] is mandatory 2.40/1.92 c qxplain 326/327 2.40/1.93 c qxplain 327/327 2.40/1.94 c 6290[?] -355[?] -1466[?] is mandatory 2.40/1.94 c qxplain 326/326 2.40/1.94 c 6340[?] 1611[?] 1688[?] 1881[?] 4[?] -388[?] -1174[?] is mandatory 2.40/1.94 c qxplain 322/325 2.40/1.95 c qxplain 324/325 2.40/1.96 c qxplain 325/325 2.40/1.97 c 6368[?] -1659[?] -1180[?] -1798[?] 1529[?] 2036[?] -1948[?] is mandatory 2.40/1.97 c qxplain 324/324 2.40/1.97 c qxplain 322/323 2.40/1.98 c qxplain 323/323 2.40/1.98 c 6430[?] -683[?] 433[?] is mandatory 2.40/1.98 c qxplain 322/322 2.40/1.99 c 6463[?] -1180[?] 1798[?] 1529[?] 41[?] -108[?] 839[?] is mandatory 2.40/1.99 c qxplain 309/321 2.51/2.00 c qxplain 316/321 2.51/2.01 c qxplain 319/321 2.51/2.02 c qxplain 321/321 2.51/2.03 c 6509[?] 1533[?] 1006[?] is mandatory 2.51/2.03 c qxplain 319/320 2.51/2.03 c qxplain 320/320 2.51/2.04 c 6561[?] 1466[?] -1225[?] -689[?] -679[?] -85[?] 1335[?] is mandatory 2.51/2.04 c qxplain 319/319 2.51/2.05 c 6726[?] 960[?] -297[?] is mandatory 2.51/2.05 c qxplain 316/318 2.51/2.06 c qxplain 318/318 2.51/2.06 c 6825[?] 406[?] -1529[?] -385[?] 1798[?] -1512[?] -1180[?] is mandatory 2.51/2.06 c qxplain 316/317 2.51/2.07 c qxplain 317/317 2.51/2.08 c 6830[?] -1611[?] 1170[?] -369[?] 4[?] -1174[?] -1439[?] is mandatory 2.51/2.08 c qxplain 316/316 2.51/2.09 c 6891[?] 4[?] 1611[?] 989[?] -1944[?] -1174[?] 571[?] is mandatory 2.51/2.09 c qxplain 309/315 2.51/2.11 c qxplain 313/315 2.51/2.11 c qxplain 315/315 2.51/2.11 c qxplain 313/314 2.63/2.12 c qxplain 314/314 2.63/2.12 c 6931[?] -1124[?] -14[?] is mandatory 2.63/2.12 c qxplain 313/313 2.63/2.13 c qxplain 309/312 2.63/2.14 c qxplain 311/312 2.63/2.15 c qxplain 312/312 2.63/2.16 c 6982[?] 369[?] 1170[?] -989[?] -1439[?] 1944[?] 571[?] is mandatory 2.63/2.16 c qxplain 311/311 2.63/2.16 c qxplain 309/310 2.63/2.16 c qxplain 310/310 2.63/2.17 c 7039[?] -369[?] 989[?] 1170[?] 1439[?] -1944[?] 571[?] is mandatory 2.63/2.17 c qxplain 309/309 2.63/2.18 c qxplain 206/308 2.63/2.19 c qxplain 258/308 2.63/2.19 c qxplain 284/308 2.63/2.20 c qxplain 297/308 2.63/2.21 c qxplain 303/308 2.63/2.22 c qxplain 306/308 2.74/2.23 c qxplain 308/308 2.74/2.23 c 7094[?] 53[?] -683[?] 141[?] 727[?] 1300[?] 424[?] is mandatory 2.74/2.23 c qxplain 306/307 2.74/2.24 c qxplain 307/307 2.74/2.24 c qxplain 306/306 2.74/2.25 c 7181[?] 1230[?] -1798[?] -1180[?] 1529[?] -119[?] 433[?] is mandatory 2.74/2.25 c qxplain 303/305 2.74/2.26 c qxplain 305/305 2.74/2.27 c 7221[?] 989[?] 369[?] 1944[?] 1439[?] 571[?] 1170[?] is mandatory 2.74/2.27 c qxplain 303/304 2.74/2.28 c qxplain 304/304 2.74/2.28 c 7222[?] -1728[?] -1234[?] -1100[?] 637[?] 297[?] -1898[?] is mandatory 2.74/2.28 c qxplain 303/303 2.74/2.29 c 7238[?] 1245[?] 1433[?] 1659[?] 14[?] -1948[?] -2036[?] is mandatory 2.74/2.29 c qxplain 297/302 2.81/2.30 c qxplain 300/302 2.81/2.31 c qxplain 302/302 2.81/2.32 c qxplain 300/301 2.81/2.33 c qxplain 301/301 2.81/2.34 c 7418[?] -53[?] -1656[?] -1300[?] 683[?] -961[?] 1533[?] is mandatory 2.81/2.34 c qxplain 300/300 2.81/2.35 c 7475[?] 1278[?] -1728[?] is mandatory 2.81/2.35 c qxplain 297/299 2.81/2.36 c qxplain 299/299 2.81/2.36 c 7476[?] -1245[?] -14[?] -1659[?] 2036[?] 1433[?] -1948[?] is mandatory 2.81/2.36 c qxplain 297/298 2.81/2.37 c qxplain 298/298 2.81/2.38 c 7534[?] 1543[?] 727[?] is mandatory 2.81/2.38 c qxplain 297/297 2.81/2.38 c qxplain 284/296 2.81/2.39 c qxplain 291/296 2.81/2.39 c qxplain 294/296 2.92/2.40 c qxplain 296/296 2.92/2.41 c 7600[?] 1230[?] -119[?] 433[?] -1659[?] 2036[?] -1948[?] is mandatory 2.92/2.41 c qxplain 294/295 2.92/2.42 c qxplain 295/295 2.92/2.42 c 7608[?] -68[?] -1898[?] is mandatory 2.92/2.42 c qxplain 294/294 2.92/2.43 c qxplain 291/293 2.92/2.43 c qxplain 293/293 2.92/2.44 c 7711[?] 424[?] -1656[?] 961[?] -727[?] -141[?] 1533[?] is mandatory 2.92/2.44 c qxplain 291/292 2.92/2.45 c qxplain 292/292 2.92/2.46 c 7746[?] 689[?] -1659[?] is mandatory 2.92/2.46 c qxplain 291/291 2.92/2.46 c qxplain 284/290 2.92/2.47 c qxplain 288/290 2.92/2.47 c qxplain 290/290 2.92/2.48 c 8204[?] -882[?] 689[?] 793[?] 1225[?] -1776[?] 1335[?] is mandatory 2.92/2.48 c qxplain 288/289 2.92/2.49 c qxplain 289/289 3.01/2.50 c 8239[?] 53[?] 683[?] 727[?] 1300[?] -141[?] 424[?] is mandatory 3.01/2.50 c qxplain 288/288 3.01/2.51 c 8263[?] 1659[?] 1948[?] is mandatory 3.01/2.51 c qxplain 284/287 3.01/2.51 c qxplain 286/287 3.01/2.52 c qxplain 287/287 3.01/2.53 c 8277[?] -1335[?] -1948[?] is mandatory 3.01/2.53 c qxplain 286/286 3.01/2.54 c qxplain 284/285 3.01/2.55 c qxplain 285/285 3.01/2.56 c 8343[?] 1776[?] 1690[?] is mandatory 3.01/2.56 c qxplain 284/284 3.01/2.56 c qxplain 258/283 3.01/2.57 c qxplain 271/283 3.01/2.58 c qxplain 278/283 3.01/2.58 c qxplain 281/283 3.01/2.59 c qxplain 283/283 3.11/2.60 c 8439[?] -1059[?] 960[?] is mandatory 3.11/2.60 c qxplain 281/282 3.11/2.61 c qxplain 282/282 3.11/2.61 c 8504[?] 390[?] 1059[?] is mandatory 3.11/2.61 c qxplain 281/281 3.11/2.62 c 8608[?] -541[?] 727[?] is mandatory 3.11/2.62 c qxplain 278/280 3.11/2.63 c qxplain 280/280 3.11/2.63 c qxplain 278/279 3.11/2.64 c qxplain 279/279 3.11/2.65 c qxplain 278/278 3.11/2.66 c 9034[?] 1124[?] 1598[?] is mandatory 3.11/2.66 c qxplain 271/277 3.11/2.67 c qxplain 275/277 3.11/2.68 c qxplain 277/277 3.11/2.68 c 9051[?] 1180[?] -406[?] -1512[?] 1798[?] 1529[?] 385[?] is mandatory 3.11/2.68 c qxplain 275/276 3.11/2.69 c qxplain 271/274 3.11/2.69 c qxplain 273/274 3.22/2.70 c qxplain 274/274 3.22/2.71 c 9194[?] 1170[?] -1690[?] is mandatory 3.22/2.71 c qxplain 273/273 3.22/2.72 c 9272[?] 406[?] -385[?] 1948[?] -2036[?] -1659[?] -1512[?] is mandatory 3.22/2.72 c qxplain 271/272 3.22/2.73 c qxplain 272/272 3.22/2.73 c 9285[?] 406[?] 1512[?] 41[?] 839[?] 108[?] 385[?] is mandatory 3.22/2.73 c qxplain 271/271 3.22/2.73 c qxplain 258/270 3.22/2.74 c qxplain 265/270 3.22/2.75 c qxplain 268/270 3.22/2.76 c qxplain 270/270 3.22/2.76 c qxplain 268/269 3.22/2.77 c qxplain 269/269 3.22/2.77 c 9354[?] 406[?] -385[?] 41[?] -839[?] -108[?] -1512[?] is mandatory 3.22/2.77 c qxplain 268/268 3.22/2.78 c 9401[?] 679[?] -442[?] is mandatory 3.22/2.78 c qxplain 265/267 3.22/2.79 c qxplain 267/267 3.31/2.80 c 9432[?] 1124[?] 14[?] is mandatory 3.31/2.80 c qxplain 265/266 3.31/2.81 c qxplain 258/264 3.31/2.81 c qxplain 262/264 3.31/2.82 c qxplain 264/264 3.31/2.82 c qxplain 262/263 3.31/2.83 c qxplain 263/263 3.31/2.84 c 9653[?] -385[?] 1512[?] is mandatory 3.31/2.84 c qxplain 262/262 3.31/2.85 c 9691[?] 85[?] 1754[?] is mandatory 3.31/2.85 c qxplain 258/261 3.31/2.85 c qxplain 260/261 3.31/2.86 c qxplain 261/261 3.31/2.86 c qxplain 260/260 3.31/2.87 c 9837[?] -882[?] 670[?] is mandatory 3.31/2.87 c qxplain 258/259 3.31/2.88 c qxplain 259/259 3.31/2.88 c qxplain 258/258 3.31/2.89 c 9861[?] -1180[?] 108[?] -1798[?] 41[?] 1529[?] 839[?] is mandatory 3.31/2.89 c qxplain 206/257 3.31/2.90 c qxplain 232/257 3.41/2.90 c qxplain 245/257 3.41/2.91 c qxplain 252/257 3.41/2.92 c qxplain 255/257 3.41/2.92 c qxplain 257/257 3.41/2.93 c 9867[?] -355[?] 1688[?] is mandatory 3.41/2.93 c qxplain 255/256 3.41/2.95 c qxplain 252/254 3.41/2.95 c qxplain 254/254 3.41/2.96 c 10072[?] -424[?] -727[?] -1656[?] -961[?] -141[?] 1533[?] is mandatory 3.41/2.96 c qxplain 252/253 3.41/2.97 c qxplain 253/253 3.41/2.98 c 10111[?] -433[?] 683[?] is mandatory 3.41/2.98 c qxplain 252/252 3.41/2.99 c 10127[?] -1155[?] -141[?] is mandatory 3.41/2.99 c qxplain 245/251 3.41/2.99 c qxplain 249/251 3.51/3.00 c qxplain 251/251 3.51/3.01 c 10195[?] 369[?] 670[?] is mandatory 3.51/3.01 c qxplain 249/250 3.51/3.02 c qxplain 250/250 3.51/3.03 c 10217[?] 406[?] 41[?] -1512[?] 385[?] 839[?] -108[?] is mandatory 3.51/3.03 c qxplain 249/249 3.51/3.03 c 10257[?] 1466[?] 355[?] is mandatory 3.51/3.03 c qxplain 245/248 3.51/3.04 c qxplain 247/248 3.51/3.05 c qxplain 248/248 3.51/3.06 c qxplain 247/247 3.51/3.07 c 10348[?] 369[?] -1170[?] is mandatory 3.51/3.07 c qxplain 245/246 3.51/3.07 c qxplain 246/246 3.51/3.08 c 10360[?] -1141[?] 1124[?] 1688[?] 1881[?] -1598[?] -388[?] is mandatory 3.51/3.08 c qxplain 245/245 3.51/3.09 c 10372[?] 424[?] 727[?] -141[?] 961[?] 1533[?] 1656[?] is mandatory 3.51/3.09 c qxplain 232/244 3.62/3.10 c qxplain 239/244 3.62/3.11 c qxplain 242/244 3.62/3.11 c qxplain 244/244 3.62/3.12 c 10426[?] 793[?] 1993[?] is mandatory 3.62/3.12 c qxplain 242/243 3.62/3.13 c qxplain 243/243 3.62/3.14 c 10491[?] 1141[?] 1124[?] 1611[?] -4[?] -1598[?] -1174[?] is mandatory 3.62/3.14 c qxplain 242/242 3.62/3.14 c qxplain 239/241 3.62/3.15 c qxplain 241/241 3.62/3.15 c qxplain 239/240 3.62/3.16 c qxplain 240/240 3.62/3.16 c 10628[?] -1586[?] 1174[?] is mandatory 3.62/3.16 c qxplain 239/239 3.62/3.16 c qxplain 232/238 3.62/3.17 c qxplain 236/238 3.62/3.18 c qxplain 238/238 3.62/3.19 c 10685[?] -1170[?] 1690[?] is mandatory 3.62/3.19 c qxplain 236/237 3.62/3.19 c qxplain 237/237 3.62/3.20 c qxplain 236/236 3.74/3.22 c 10803[?] 882[?] -1776[?] 1335[?] -689[?] -1225[?] -793[?] is mandatory 3.74/3.22 c qxplain 232/235 3.74/3.22 c qxplain 234/235 3.74/3.22 c qxplain 235/235 3.74/3.22 c qxplain 234/234 3.74/3.23 c 10852[?] -1688[?] 388[?] -1170[?] -369[?] 1881[?] -1439[?] is mandatory 3.74/3.23 c qxplain 232/233 3.74/3.23 c qxplain 233/233 3.74/3.24 c 10881[?] -424[?] 727[?] -141[?] -961[?] 1656[?] 1533[?] is mandatory 3.74/3.24 c qxplain 232/232 3.74/3.25 c 10931[?] 406[?] 1230[?] 433[?] 1512[?] -119[?] 385[?] is mandatory 3.74/3.25 c qxplain 206/231 3.74/3.26 c qxplain 219/231 3.74/3.27 c qxplain 226/231 3.74/3.27 c qxplain 229/231 3.74/3.28 c qxplain 231/231 3.74/3.29 c 10939[?] -1754[?] -388[?] is mandatory 3.74/3.29 c qxplain 229/230 3.74/3.30 c qxplain 230/230 3.74/3.30 c 11055[?] 1439[?] 1993[?] is mandatory 3.74/3.30 c qxplain 229/229 3.74/3.31 c 11070[?] 1948[?] 2036[?] is mandatory 3.74/3.31 c qxplain 226/228 3.74/3.32 c qxplain 228/228 3.84/3.32 c qxplain 226/227 3.84/3.33 c qxplain 227/227 3.84/3.34 c 11247[?] -297[?] -1728[?] -1234[?] -637[?] 1898[?] 1100[?] is mandatory 3.84/3.34 c qxplain 226/226 3.84/3.34 c qxplain 219/225 3.84/3.35 c qxplain 223/225 3.84/3.35 c qxplain 225/225 3.84/3.35 c qxplain 223/224 3.84/3.36 c qxplain 224/224 3.84/3.36 c qxplain 223/223 3.84/3.37 c 11396[?] -1944[?] -1221[?] is mandatory 3.84/3.37 c qxplain 219/222 3.84/3.38 c qxplain 221/222 3.84/3.38 c qxplain 219/220 3.84/3.39 c qxplain 220/220 3.84/3.39 c qxplain 219/219 3.92/3.40 c 11573[?] 1234[?] -1419[?] is mandatory 3.92/3.40 c qxplain 206/218 3.92/3.40 c qxplain 213/218 3.92/3.41 c qxplain 216/218 3.92/3.42 c qxplain 218/218 3.92/3.42 c qxplain 216/217 3.92/3.43 c qxplain 217/217 3.92/3.44 c qxplain 216/216 3.92/3.44 c 12009[?] 1529[?] 1180[?] 1798[?] -108[?] -41[?] 839[?] is mandatory 3.92/3.44 c qxplain 213/215 3.92/3.45 c qxplain 215/215 3.92/3.46 c 12288[?] -369[?] 1611[?] 4[?] 1439[?] -1174[?] 1170[?] is mandatory 3.92/3.46 c qxplain 213/214 3.92/3.46 c qxplain 206/212 3.92/3.47 c qxplain 210/212 3.92/3.48 c qxplain 212/212 3.92/3.48 c 12347[?] 1583[?] -1265[?] is mandatory 3.92/3.48 c qxplain 210/211 3.92/3.49 c qxplain 211/211 4.02/3.50 c qxplain 210/210 4.02/3.51 c 12553[?] 1688[?] -1881[?] 989[?] 1944[?] -388[?] 571[?] is mandatory 4.02/3.51 c qxplain 206/209 4.02/3.51 c qxplain 208/209 4.02/3.52 c qxplain 209/209 4.02/3.53 c 12564[?] 68[?] 1898[?] is mandatory 4.02/3.53 c qxplain 208/208 4.02/3.54 c 12601[?] 1881[?] -388[?] -1944[?] -1688[?] -989[?] 571[?] is mandatory 4.02/3.54 c qxplain 206/207 4.02/3.55 c qxplain 207/207 4.02/3.55 c qxplain 206/206 4.02/3.56 c 12769[?] 882[?] -689[?] 793[?] -1776[?] 1225[?] 1335[?] is mandatory 4.02/3.56 c qxplain 0/205 4.02/3.56 c qxplain 103/205 4.02/3.57 c qxplain 155/205 4.02/3.58 c qxplain 181/205 4.02/3.59 c qxplain 194/205 4.02/3.60 c qxplain 200/205 4.12/3.60 c qxplain 203/205 4.12/3.61 c qxplain 205/205 4.12/3.61 c qxplain 203/204 4.12/3.62 c qxplain 204/204 4.12/3.63 c 12863[?] 882[?] -670[?] is mandatory 4.12/3.63 c qxplain 203/203 4.12/3.64 c 12898[?] 1688[?] 1881[?] 989[?] 571[?] -388[?] -1944[?] is mandatory 4.12/3.64 c qxplain 200/202 4.12/3.64 c qxplain 202/202 4.12/3.65 c 13010[?] -4[?] 68[?] is mandatory 4.12/3.65 c qxplain 200/201 4.12/3.66 c qxplain 201/201 4.12/3.66 c qxplain 200/200 4.12/3.67 c 13124[?] 4[?] -68[?] is mandatory 4.12/3.67 c qxplain 194/199 4.12/3.68 c qxplain 197/199 4.12/3.69 c qxplain 199/199 4.12/3.69 c 13131[?] -873[?] -1278[?] is mandatory 4.12/3.69 c qxplain 197/198 4.22/3.70 c qxplain 198/198 4.22/3.70 c qxplain 197/197 4.22/3.71 c 13135[?] 1141[?] -1124[?] 369[?] -1598[?] -1439[?] 1170[?] is mandatory 4.22/3.71 c qxplain 194/196 4.22/3.72 c qxplain 196/196 4.22/3.72 c 13186[?] 1245[?] -14[?] 1659[?] 2036[?] 1433[?] -1948[?] is mandatory 4.22/3.72 c qxplain 194/195 4.22/3.73 c qxplain 195/195 4.22/3.74 c 13209[?] -1230[?] 119[?] 433[?] 1180[?] 1798[?] 1529[?] is mandatory 4.22/3.74 c qxplain 194/194 4.22/3.74 c qxplain 181/193 4.22/3.75 c qxplain 188/193 4.22/3.76 c qxplain 191/193 4.22/3.76 c qxplain 193/193 4.22/3.77 c 13371[?] 1059[?] -960[?] is mandatory 4.22/3.77 c qxplain 191/192 4.22/3.78 c qxplain 192/192 4.22/3.79 c 13377[?] -960[?] 297[?] is mandatory 4.22/3.79 c qxplain 191/191 4.22/3.79 c 13422[?] 406[?] -385[?] -1543[?] -1155[?] -124[?] -1512[?] is mandatory 4.22/3.79 c qxplain 188/190 4.32/3.80 c qxplain 190/190 4.32/3.81 c qxplain 188/189 4.32/3.82 c qxplain 189/189 4.32/3.83 c 13483[?] -1245[?] -1433[?] -839[?] 14[?] 41[?] -108[?] is mandatory 4.32/3.83 c qxplain 188/188 4.32/3.83 c qxplain 181/187 4.32/3.83 c qxplain 185/187 4.32/3.84 c qxplain 187/187 4.32/3.84 c qxplain 185/186 4.32/3.85 c qxplain 186/186 4.32/3.86 c qxplain 185/185 4.32/3.87 c 13594[?] -108[?] 989[?] is mandatory 4.32/3.87 c qxplain 181/184 4.32/3.88 c qxplain 183/184 4.32/3.88 c qxplain 184/184 4.32/3.89 c 13656[?] 369[?] -1881[?] -1688[?] -1439[?] 1170[?] -388[?] is mandatory 4.32/3.89 c qxplain 183/183 4.42/3.90 c 13679[?] 1141[?] 1598[?] is mandatory 4.42/3.90 c qxplain 181/182 4.42/3.91 c qxplain 182/182 4.42/3.91 c qxplain 181/181 4.42/3.92 c 13770[?] -839[?] -41[?] is mandatory 4.42/3.92 c qxplain 155/180 4.42/3.93 c qxplain 168/180 4.42/3.93 c qxplain 175/180 4.42/3.94 c qxplain 178/180 4.42/3.95 c qxplain 180/180 4.42/3.96 c 13774[?] 683[?] 961[?] 1533[?] 1656[?] 53[?] 1300[?] is mandatory 4.42/3.96 c qxplain 178/179 4.42/3.96 c qxplain 179/179 4.42/3.97 c 13806[?] -1543[?] -727[?] is mandatory 4.42/3.97 c qxplain 178/178 4.42/3.97 c qxplain 175/177 4.42/3.98 c qxplain 177/177 4.42/3.99 c 13848[?] -369[?] -1944[?] 1170[?] 571[?] -989[?] -1439[?] is mandatory 4.42/3.99 c qxplain 175/176 4.42/4.00 c qxplain 176/176 4.52/4.00 c 13868[?] -1141[?] 1598[?] -1124[?] -369[?] -1170[?] -1439[?] is mandatory 4.52/4.00 c qxplain 175/175 4.52/4.01 c 13919[?] -1245[?] -14[?] 108[?] 41[?] 1433[?] 839[?] is mandatory 4.52/4.01 c qxplain 168/174 4.52/4.02 c qxplain 172/174 4.52/4.03 c qxplain 174/174 4.52/4.03 c 13936[?] 953[?] 1583[?] is mandatory 4.52/4.03 c qxplain 172/173 4.52/4.04 c qxplain 168/171 4.52/4.04 c qxplain 170/171 4.52/4.06 c qxplain 171/171 4.52/4.07 c qxplain 170/170 4.52/4.08 c 14046[?] -1690[?] -1776[?] is mandatory 4.52/4.08 c qxplain 168/169 4.52/4.09 c qxplain 169/169 4.52/4.09 c 14067[?] 124[?] 424[?] is mandatory 4.52/4.09 c qxplain 168/168 4.63/4.10 c 14085[?] -1180[?] -1529[?] -839[?] -108[?] 41[?] 1798[?] is mandatory 4.63/4.10 c qxplain 155/167 4.63/4.11 c qxplain 162/167 4.63/4.12 c qxplain 165/167 4.63/4.13 c qxplain 167/167 4.63/4.13 c 14111[?] -1611[?] 1174[?] 4[?] -571[?] -989[?] -1944[?] is mandatory 4.63/4.13 c qxplain 165/166 4.63/4.14 c qxplain 166/166 4.63/4.15 c 14163[?] 1728[?] -1278[?] is mandatory 4.63/4.15 c qxplain 165/165 4.63/4.16 c 14192[?] -433[?] -1230[?] -119[?] 1948[?] -2036[?] -1659[?] is mandatory 4.63/4.16 c qxplain 162/164 4.63/4.17 c qxplain 164/164 4.63/4.17 c 14224[?] 1234[?] -1100[?] is mandatory 4.63/4.17 c qxplain 162/163 4.63/4.18 c qxplain 163/163 4.63/4.19 c 14285[?] 369[?] -1611[?] -4[?] -1439[?] 1170[?] -1174[?] is mandatory 4.63/4.19 c qxplain 162/162 4.63/4.19 c qxplain 155/161 4.72/4.20 c qxplain 159/161 4.72/4.21 c qxplain 161/161 4.72/4.22 c 14392[?] -433[?] 119[?] is mandatory 4.72/4.22 c qxplain 159/160 4.72/4.22 c qxplain 160/160 4.72/4.23 c 14397[?] -124[?] -1798[?] 1529[?] -1180[?] 1543[?] 1155[?] is mandatory 4.72/4.23 c qxplain 159/159 4.72/4.24 c 14498[?] -125[?] -989[?] is mandatory 4.72/4.24 c qxplain 155/158 4.72/4.25 c qxplain 157/158 4.72/4.25 c qxplain 158/158 4.72/4.25 c qxplain 157/157 4.72/4.26 c 14576[?] -541[?] 873[?] is mandatory 4.72/4.26 c qxplain 155/156 4.72/4.27 c qxplain 156/156 4.72/4.28 c 14629[?] -1245[?] 14[?] 41[?] -108[?] 1433[?] 839[?] is mandatory 4.72/4.28 c qxplain 155/155 4.72/4.29 c 14646[?] 388[?] -1881[?] is mandatory 4.72/4.29 c qxplain 103/154 4.72/4.29 c qxplain 129/154 4.85/4.32 c qxplain 142/154 4.85/4.32 c qxplain 149/154 4.85/4.32 c qxplain 152/154 4.85/4.33 c qxplain 154/154 4.85/4.33 c 14738[?] -1230[?] 119[?] -1512[?] -406[?] 385[?] 433[?] is mandatory 4.85/4.33 c qxplain 152/153 4.85/4.34 c qxplain 153/153 4.85/4.35 c 14766[?] 683[?] -53[?] 1300[?] -727[?] -141[?] 424[?] is mandatory 4.85/4.35 c qxplain 152/152 4.85/4.36 c 14837[?] 1141[?] 1124[?] 1688[?] -1881[?] -388[?] -1598[?] is mandatory 4.85/4.36 c qxplain 149/151 4.85/4.37 c qxplain 151/151 4.85/4.37 c 14925[?] -433[?] 406[?] -385[?] -1230[?] -1512[?] -119[?] is mandatory 4.85/4.37 c qxplain 149/150 4.85/4.38 c qxplain 150/150 4.85/4.39 c 14941[?] -1433[?] -1598[?] is mandatory 4.85/4.39 c qxplain 149/149 4.85/4.40 c 14947[?] 108[?] -989[?] is mandatory 4.85/4.40 c qxplain 142/148 4.85/4.41 c qxplain 146/148 4.85/4.41 c qxplain 148/148 4.95/4.42 c 14976[?] 1100[?] 1586[?] is mandatory 4.95/4.42 c qxplain 146/147 4.95/4.43 c qxplain 147/147 4.95/4.43 c qxplain 146/146 4.95/4.44 c 15261[?] -1611[?] -1688[?] 388[?] 1174[?] 4[?] 1881[?] is mandatory 4.95/4.44 c qxplain 142/145 4.95/4.44 c qxplain 129/141 4.95/4.45 c qxplain 136/141 4.95/4.46 c qxplain 139/141 4.95/4.47 c qxplain 141/141 4.95/4.47 c 15554[?] -406[?] 385[?] -1512[?] 1659[?] -2036[?] -1948[?] is mandatory 4.95/4.47 c qxplain 139/140 4.95/4.48 c qxplain 140/140 4.95/4.49 c 15603[?] 297[?] -1728[?] -1234[?] -1898[?] 1100[?] -637[?] is mandatory 4.95/4.49 c qxplain 139/139 5.02/4.50 c 15750[?] -53[?] -1230[?] is mandatory 5.02/4.50 c qxplain 136/138 5.02/4.51 c qxplain 138/138 5.02/4.51 c qxplain 136/137 5.02/4.52 c qxplain 137/137 5.02/4.52 c 15845[?] -1514[?] 1656[?] is mandatory 5.02/4.52 c qxplain 136/136 5.02/4.53 c 15922[?] -961[?] 1221[?] is mandatory 5.02/4.53 c qxplain 129/135 5.02/4.54 c qxplain 133/135 5.02/4.55 c qxplain 135/135 5.02/4.55 c qxplain 133/134 5.02/4.56 c qxplain 134/134 5.02/4.56 c 15977[?] 989[?] 125[?] is mandatory 5.02/4.56 c qxplain 133/133 5.02/4.57 c 15986[?] -571[?] 839[?] is mandatory 5.02/4.57 c qxplain 129/132 5.02/4.58 c qxplain 131/132 5.02/4.59 c qxplain 132/132 5.02/4.59 c qxplain 131/131 5.02/4.60 c 16016[?] -961[?] -1995[?] is mandatory 5.12/4.60 c qxplain 129/130 5.12/4.61 c qxplain 130/130 5.12/4.61 c 16094[?] 1006[?] 571[?] is mandatory 5.12/4.61 c qxplain 129/129 5.12/4.61 c qxplain 103/128 5.12/4.62 c qxplain 116/128 5.12/4.63 c qxplain 123/128 5.12/4.64 c qxplain 126/128 5.12/4.65 c qxplain 128/128 5.12/4.65 c 16373[?] -406[?] 385[?] 839[?] -41[?] -1512[?] -108[?] is mandatory 5.12/4.65 c qxplain 126/127 5.12/4.65 c qxplain 123/125 5.12/4.66 c qxplain 125/125 5.12/4.67 c 16450[?] -424[?] -53[?] 683[?] -1300[?] -727[?] -141[?] is mandatory 5.12/4.67 c qxplain 123/124 5.12/4.68 c qxplain 124/124 5.12/4.69 c qxplain 123/123 5.22/4.70 c 16485[?] 1754[?] 388[?] is mandatory 5.22/4.70 c qxplain 116/122 5.22/4.71 c qxplain 120/122 5.22/4.71 c qxplain 122/122 5.22/4.72 c 16489[?] -41[?] -1944[?] is mandatory 5.22/4.72 c qxplain 120/121 5.22/4.73 c qxplain 121/121 5.22/4.74 c 16515[?] 1180[?] -1529[?] is mandatory 5.22/4.74 c qxplain 120/120 5.22/4.74 c qxplain 116/119 5.22/4.75 c qxplain 118/119 5.22/4.76 c qxplain 119/119 5.22/4.76 c 16574[?] 53[?] 683[?] -1300[?] -961[?] 1656[?] 1533[?] is mandatory 5.22/4.76 c qxplain 118/118 5.22/4.77 c 16625[?] 424[?] 141[?] -1533[?] 961[?] 1656[?] 727[?] is mandatory 5.22/4.77 c qxplain 116/117 5.22/4.77 c qxplain 103/115 5.22/4.78 c qxplain 110/115 5.22/4.79 c qxplain 113/115 5.22/4.79 c qxplain 110/112 5.32/4.80 c qxplain 112/112 5.32/4.80 c 16767[?] -1881[?] 1688[?] 1439[?] 369[?] -388[?] 1170[?] is mandatory 5.32/4.80 c qxplain 110/111 5.32/4.81 c qxplain 103/109 5.32/4.81 c qxplain 107/109 5.32/4.82 c qxplain 109/109 5.32/4.83 c 16873[?] 406[?] 1512[?] 385[?] -1659[?] 2036[?] -1948[?] is mandatory 5.32/4.83 c qxplain 107/108 5.32/4.84 c qxplain 108/108 5.32/4.84 c 16891[?] 1433[?] 1598[?] is mandatory 5.32/4.84 c qxplain 107/107 5.32/4.85 c qxplain 103/106 5.32/4.85 c qxplain 105/106 5.32/4.86 c qxplain 106/106 5.32/4.87 c 16945[?] 1245[?] -14[?] 108[?] -41[?] 839[?] 1433[?] is mandatory 5.32/4.87 c qxplain 105/105 5.32/4.88 c 16961[?] 1141[?] -1124[?] -1598[?] -1881[?] -1688[?] -388[?] is mandatory 5.32/4.88 c qxplain 103/104 5.32/4.88 c qxplain 104/104 5.32/4.89 c 17039[?] -406[?] 1512[?] 1230[?] 119[?] 433[?] 385[?] is mandatory 5.32/4.89 c qxplain 103/103 5.43/4.90 c 17040[?] -1141[?] -1124[?] -1598[?] 1881[?] -1688[?] -388[?] is mandatory 5.43/4.90 c qxplain 0/102 5.43/4.91 c qxplain 52/102 5.43/4.92 c qxplain 78/102 5.43/4.92 c qxplain 91/102 5.43/4.93 c qxplain 97/102 5.43/4.94 c qxplain 100/102 5.43/4.95 c qxplain 102/102 5.43/4.96 c qxplain 100/101 5.43/4.97 c qxplain 101/101 5.43/4.97 c 17108[?] 1466[?] 679[?] -1225[?] 689[?] -85[?] 1335[?] is mandatory 5.43/4.97 c qxplain 100/100 5.43/4.98 c 17175[?] 541[?] -727[?] is mandatory 5.43/4.98 c qxplain 97/99 5.43/4.99 c qxplain 99/99 5.52/5.00 c 17192[?] -953[?] -1583[?] is mandatory 5.52/5.00 c qxplain 97/98 5.52/5.01 c qxplain 98/98 5.52/5.02 c 17371[?] -108[?] -839[?] -1659[?] 1948[?] -2036[?] 41[?] is mandatory 5.52/5.02 c qxplain 97/97 5.52/5.02 c qxplain 91/96 5.52/5.03 c qxplain 94/96 5.52/5.04 c qxplain 96/96 5.52/5.04 c qxplain 94/95 5.52/5.05 c qxplain 95/95 5.52/5.05 c 17436[?] 119[?] 1300[?] is mandatory 5.52/5.05 c qxplain 94/94 5.52/5.06 c 17488[?] 433[?] -119[?] -1230[?] -1180[?] 1798[?] 1529[?] is mandatory 5.52/5.06 c qxplain 91/93 5.52/5.07 c qxplain 93/93 5.52/5.07 c qxplain 91/92 5.52/5.08 c qxplain 92/92 5.52/5.08 c qxplain 91/91 5.52/5.09 c 17605[?] -4[?] 1611[?] 369[?] 1439[?] -1174[?] 1170[?] is mandatory 5.52/5.09 c qxplain 78/90 5.52/5.09 c qxplain 85/90 5.63/5.10 c qxplain 88/90 5.63/5.11 c qxplain 90/90 5.63/5.12 c 17657[?] -689[?] 1659[?] is mandatory 5.63/5.12 c qxplain 88/89 5.63/5.12 c qxplain 89/89 5.63/5.13 c qxplain 88/88 5.63/5.13 c 17759[?] 20[?] 1533[?] is mandatory 5.63/5.13 c qxplain 85/87 5.63/5.14 c qxplain 87/87 5.63/5.15 c 17778[?] -1688[?] 388[?] -571[?] 1881[?] -989[?] -1944[?] is mandatory 5.63/5.15 c qxplain 85/86 5.63/5.16 c qxplain 86/86 5.63/5.16 c 17811[?] 41[?] 1944[?] is mandatory 5.63/5.16 c qxplain 85/85 5.63/5.17 c 17842[?] 882[?] 1776[?] -689[?] -1335[?] -1225[?] -793[?] is mandatory 5.63/5.17 c qxplain 78/84 5.63/5.18 c qxplain 82/84 5.63/5.19 c qxplain 84/84 5.63/5.20 c 17851[?] 1245[?] -1141[?] is mandatory 5.63/5.20 c qxplain 82/83 5.73/5.20 c qxplain 83/83 5.73/5.21 c 17872[?] 390[?] 1265[?] is mandatory 5.73/5.21 c qxplain 82/82 5.73/5.22 c 17910[?] -683[?] 53[?] -1533[?] 961[?] 1300[?] 1656[?] is mandatory 5.73/5.22 c qxplain 78/81 5.73/5.23 c qxplain 80/81 5.73/5.24 c qxplain 81/81 5.73/5.24 c qxplain 80/80 5.73/5.25 c 17957[?] 689[?] -1466[?] 679[?] -85[?] 1225[?] 1335[?] is mandatory 5.73/5.25 c qxplain 78/79 5.73/5.26 c qxplain 79/79 5.73/5.27 c 17989[?] -1300[?] -119[?] is mandatory 5.73/5.27 c qxplain 78/78 5.73/5.27 c qxplain 52/77 5.73/5.28 c qxplain 65/77 5.73/5.28 c qxplain 72/77 5.73/5.29 c qxplain 75/77 5.83/5.30 c qxplain 77/77 5.83/5.31 c 18044[?] -125[?] 1656[?] is mandatory 5.83/5.31 c qxplain 75/76 5.83/5.31 c qxplain 76/76 5.83/5.32 c 18065[?] 1688[?] 388[?] is mandatory 5.83/5.32 c qxplain 75/75 5.83/5.33 c 18106[?] -1180[?] -1529[?] 1948[?] -1659[?] 1798[?] -2036[?] is mandatory 5.83/5.33 c qxplain 72/74 5.83/5.34 c qxplain 74/74 5.83/5.34 c 18178[?] -433[?] -1230[?] -1529[?] 1798[?] -1180[?] -119[?] is mandatory 5.83/5.34 c qxplain 72/73 5.83/5.35 c qxplain 65/71 5.83/5.35 c qxplain 69/71 5.83/5.36 c qxplain 71/71 5.83/5.36 c qxplain 69/70 5.83/5.37 c qxplain 70/70 5.83/5.38 c 18295[?] -1419[?] 1514[?] -68[?] -20[?] -1586[?] 1995[?] is mandatory 5.83/5.38 c qxplain 69/69 5.83/5.39 c 18373[?] 1230[?] 53[?] is mandatory 5.83/5.39 c qxplain 65/68 5.83/5.39 c qxplain 67/68 5.95/5.42 c qxplain 68/68 5.95/5.42 c 18374[?] -1124[?] 1170[?] -1141[?] -369[?] -1439[?] -1598[?] is mandatory 5.95/5.42 c qxplain 67/67 5.95/5.42 c 18556[?] 442[?] 1881[?] is mandatory 5.95/5.42 c qxplain 65/66 5.95/5.42 c qxplain 66/66 5.95/5.43 c 18602[?] 433[?] 406[?] -119[?] 385[?] -1230[?] -1512[?] is mandatory 5.95/5.43 c qxplain 65/65 5.95/5.44 c 18627[?] -1659[?] 108[?] 41[?] 2036[?] -1948[?] 839[?] is mandatory 5.95/5.44 c qxplain 52/64 5.95/5.45 c qxplain 59/64 5.95/5.46 c qxplain 62/64 5.95/5.46 c qxplain 64/64 5.95/5.47 c 18683[?] -390[?] -1059[?] is mandatory 5.95/5.47 c qxplain 62/63 5.95/5.48 c qxplain 63/63 5.95/5.49 c qxplain 62/62 5.95/5.50 c 18816[?] 1155[?] 406[?] 385[?] -124[?] -1543[?] -1512[?] is mandatory 5.95/5.50 c qxplain 59/61 5.95/5.51 c qxplain 61/61 5.95/5.51 c 18868[?] 1335[?] 1948[?] is mandatory 5.95/5.51 c qxplain 59/60 6.05/5.52 c qxplain 60/60 6.05/5.53 c 18879[?] -1656[?] -1533[?] is mandatory 6.05/5.53 c qxplain 59/59 6.05/5.54 c qxplain 52/58 6.05/5.55 c qxplain 56/58 6.05/5.55 c qxplain 58/58 6.05/5.56 c 19187[?] -839[?] 571[?] is mandatory 6.05/5.56 c qxplain 56/57 6.05/5.57 c qxplain 57/57 6.05/5.58 c 19216[?] 953[?] 637[?] is mandatory 6.05/5.58 c qxplain 56/56 6.05/5.58 c qxplain 52/55 6.05/5.59 c qxplain 54/55 6.05/5.59 c qxplain 55/55 6.13/5.60 c 19277[?] -1583[?] 1265[?] is mandatory 6.13/5.60 c qxplain 54/54 6.13/5.61 c 19326[?] -297[?] -637[?] 1234[?] 1728[?] 1898[?] 1100[?] is mandatory 6.13/5.61 c qxplain 52/53 6.13/5.61 c qxplain 0/51 6.13/5.62 c qxplain 26/51 6.13/5.62 c qxplain 39/51 6.13/5.63 c qxplain 46/51 6.13/5.64 c qxplain 49/51 6.13/5.65 c qxplain 51/51 6.13/5.66 c 19417[?] 108[?] 1659[?] -41[?] 2036[?] 839[?] -1948[?] is mandatory 6.13/5.66 c qxplain 49/50 6.13/5.66 c qxplain 50/50 6.13/5.67 c 19494[?] -1006[?] -571[?] is mandatory 6.13/5.67 c qxplain 49/49 6.13/5.68 c 19524[?] 1174[?] -4[?] is mandatory 6.13/5.68 c qxplain 46/48 6.13/5.69 c qxplain 48/48 6.13/5.69 c qxplain 46/47 6.13/5.70 c qxplain 47/47 6.23/5.70 c 19575[?] -793[?] -1993[?] is mandatory 6.23/5.70 c qxplain 46/46 6.23/5.71 c 19608[?] 1221[?] 1944[?] is mandatory 6.23/5.71 c qxplain 39/45 6.23/5.72 c qxplain 43/45 6.23/5.73 c qxplain 45/45 6.23/5.74 c qxplain 43/44 6.23/5.74 c qxplain 44/44 6.23/5.75 c 19694[?] 1124[?] -369[?] -1141[?] 1439[?] -1598[?] 1170[?] is mandatory 6.23/5.75 c qxplain 43/43 6.23/5.76 c 19714[?] 297[?] 1234[?] -1898[?] -637[?] 1728[?] 1100[?] is mandatory 6.23/5.76 c qxplain 39/42 6.23/5.77 c qxplain 41/42 6.23/5.78 c qxplain 42/42 6.23/5.78 c 19756[?] -406[?] 124[?] -1543[?] -1512[?] 385[?] 1155[?] is mandatory 6.23/5.78 c qxplain 41/41 6.23/5.79 c 19780[?] 406[?] 1512[?] -1798[?] -1180[?] 385[?] 1529[?] is mandatory 6.23/5.79 c qxplain 39/40 6.34/5.80 c qxplain 40/40 6.34/5.80 c qxplain 39/39 6.34/5.81 c 19859[?] -1611[?] -1688[?] 1881[?] -1174[?] -388[?] 4[?] is mandatory 6.34/5.81 c qxplain 26/38 6.34/5.82 c qxplain 33/38 6.34/5.82 c qxplain 36/38 6.34/5.83 c qxplain 38/38 6.34/5.84 c 19875[?] 1529[?] 406[?] 385[?] -1512[?] 1798[?] -1180[?] is mandatory 6.34/5.84 c qxplain 36/37 6.34/5.84 c qxplain 33/35 6.34/5.85 c qxplain 35/35 6.34/5.85 c qxplain 33/34 6.34/5.86 c qxplain 34/34 6.34/5.86 c 20280[?] -406[?] 1180[?] -1798[?] 1512[?] 1529[?] 385[?] is mandatory 6.34/5.86 c qxplain 33/33 6.34/5.87 c 20282[?] -1170[?] 1439[?] is mandatory 6.34/5.87 c qxplain 26/32 6.34/5.88 c qxplain 30/32 6.34/5.89 c qxplain 32/32 6.34/5.90 c 20301[?] -406[?] 1512[?] 108[?] -41[?] 385[?] 839[?] is mandatory 6.34/5.90 c qxplain 30/31 6.43/5.91 c qxplain 31/31 6.43/5.91 c qxplain 30/30 6.43/5.91 c 20508[?] 1180[?] 1659[?] -2036[?] 1529[?] 1798[?] -1948[?] is mandatory 6.43/5.91 c qxplain 26/29 6.43/5.92 c qxplain 28/29 6.43/5.93 c qxplain 29/29 6.43/5.94 c 20546[?] -1439[?] -1993[?] is mandatory 6.43/5.94 c qxplain 28/28 6.43/5.95 c 20595[?] -124[?] -424[?] is mandatory 6.43/5.95 c qxplain 26/27 6.43/5.96 c qxplain 27/27 6.43/5.97 c 20682[?] -1245[?] -1433[?] 1948[?] -1659[?] -2036[?] 14[?] is mandatory 6.43/5.97 c qxplain 26/26 6.43/5.97 c 20750[?] 961[?] -1221[?] is mandatory 6.43/5.97 c qxplain 0/25 6.43/5.98 c qxplain 13/25 6.43/5.99 c qxplain 20/25 6.53/6.00 c qxplain 23/25 6.53/6.01 c qxplain 25/25 6.53/6.01 c qxplain 23/24 6.53/6.01 c qxplain 24/24 6.53/6.02 c 20810[?] 1230[?] 119[?] -1798[?] 1180[?] 433[?] 1529[?] is mandatory 6.53/6.02 c qxplain 23/23 6.53/6.02 c qxplain 20/22 6.53/6.03 c qxplain 22/22 6.53/6.03 c qxplain 20/21 6.53/6.04 c qxplain 21/21 6.53/6.05 c 20918[?] -1611[?] -989[?] 4[?] -1944[?] 571[?] -1174[?] is mandatory 6.53/6.05 c qxplain 20/20 6.53/6.06 c 20928[?] 1798[?] -1180[?] -2036[?] 1529[?] -1659[?] -1948[?] is mandatory 6.53/6.06 c qxplain 13/19 6.53/6.07 c qxplain 17/19 6.53/6.07 c qxplain 19/19 6.53/6.08 c 21092[?] -1124[?] 1598[?] 1174[?] 4[?] -1141[?] -1611[?] is mandatory 6.53/6.08 c qxplain 17/18 6.53/6.09 c qxplain 18/18 6.63/6.10 c 21130[?] -369[?] 1688[?] 1170[?] 1439[?] 1881[?] -388[?] is mandatory 6.63/6.10 c qxplain 17/17 6.63/6.10 c 21174[?] -1656[?] 125[?] is mandatory 6.63/6.10 c qxplain 13/16 6.63/6.11 c qxplain 15/16 6.63/6.12 c qxplain 16/16 6.63/6.12 c qxplain 15/15 6.63/6.13 c 21226[?] -108[?] 1659[?] -41[?] -2036[?] -1948[?] 839[?] is mandatory 6.63/6.13 c qxplain 13/14 6.63/6.14 c qxplain 14/14 6.63/6.14 c qxplain 13/13 6.63/6.15 c 21339[?] -406[?] -385[?] is mandatory 6.63/6.15 c qxplain 0/12 6.63/6.15 c qxplain 7/12 6.63/6.16 c qxplain 10/12 6.63/6.17 c qxplain 12/12 6.63/6.18 c 21388[?] 1245[?] 14[?] -108[?] 1433[?] -41[?] 839[?] is mandatory 6.63/6.18 c qxplain 10/11 6.63/6.19 c qxplain 11/11 6.63/6.19 c 21429[?] 124[?] 1180[?] 1529[?] -1543[?] 1798[?] 1155[?] is mandatory 6.63/6.19 c qxplain 10/10 6.73/6.20 c qxplain 7/9 6.73/6.21 c qxplain 9/9 6.73/6.22 c 21691[?] 1230[?] 119[?] 2036[?] 433[?] 1659[?] -1948[?] is mandatory 6.73/6.22 c qxplain 7/8 6.73/6.23 c qxplain 8/8 6.73/6.23 c 21722[?] -1155[?] 1543[?] is mandatory 6.73/6.23 c qxplain 7/7 6.73/6.24 c 21791[?] 1141[?] -1245[?] is mandatory 6.73/6.24 c qxplain 0/6 6.73/6.25 c qxplain 4/6 6.73/6.26 c qxplain 6/6 6.73/6.26 c 21848[?] -683[?] -53[?] is mandatory 6.73/6.26 c qxplain 4/5 6.73/6.27 c qxplain 5/5 6.73/6.27 c qxplain 4/4 6.73/6.28 c 21855[?] -1245[?] 14[?] -1659[?] -2036[?] 1433[?] -1948[?] is mandatory 6.73/6.28 c qxplain 0/3 6.73/6.29 c qxplain 2/3 6.83/6.30 c qxplain 3/3 6.83/6.31 c 21874[?] -1100[?] -1586[?] is mandatory 6.83/6.31 c qxplain 2/2 6.83/6.32 c 21914[?] -1688[?] -1881[?] 1944[?] -989[?] -388[?] 571[?] is mandatory 6.83/6.32 c qxplain 0/1 6.83/6.32 c qxplain 1/1 6.83/6.33 c 21973[?] 1225[?] -2036[?] is mandatory 6.83/6.33 c qxplain 0/0 6.83/6.34 c 21977[?] -406[?] 124[?] 1543[?] 1512[?] 385[?] 1155[?] is mandatory 6.99/6.43 c Size of the MUS: 265 6.99/6.43 c Unsat core computation wall clock time (in seconds) : 5.739 6.99/6.43 c starts : 705 6.99/6.43 c conflicts : 5959 6.99/6.43 c decisions : 1354320 6.99/6.43 c propagations : 15211784 6.99/6.43 c inspects : 4133547 6.99/6.43 c shortcuts : 0 6.99/6.43 c learnt literals : 0 6.99/6.43 c learnt binary clauses : 0 6.99/6.43 c learnt ternary clauses : 0 6.99/6.43 c learnt constraints : 5926 6.99/6.43 c ignored constraints : 0 6.99/6.43 c root simplifications : 0 6.99/6.43 c removed literals (reason simplification) : 5209 6.99/6.43 c reason swapping (by a shorter reason) : 0 6.99/6.43 c Calls to reduceDB : 0 6.99/6.43 c speed (assignments/second) : 1.552222857142857E8 6.99/6.43 c non guided choices 1332899 6.99/6.43 c learnt constraints type 6.99/6.43 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 5926 6.99/6.43 c constraints type 6.99/6.43 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 19908 6.99/6.43 s UNSATISFIABLE 6.99/6.43 v 22 128 183 268 283 342 442 501 511 517 591 658 718 733 851 1100 1101 1155 1184 1315 1359 1390 1598 1710 1803 1925 2026 2172 2262 2331 2654 2708 2876 2912 3119 3283 3330 3358 3441 3487 3501 4034 4035 4058 4137 4140 4176 4220 4270 4298 4360 4393 4439 4491 4656 4755 4760 4821 4861 4912 4969 5024 5111 5151 5152 5168 5348 5405 5406 5464 5530 5538 5641 5676 6134 6169 6193 6207 6273 6369 6434 6538 6964 6981 7124 7202 7215 7284 7331 7362 7583 7621 7767 7791 7797 8002 8041 8057 8125 8147 8187 8278 8290 8302 8356 8421 8558 8615 8733 8782 8811 8861 8869 8985 9000 9177 9326 9503 9939 10218 10277 10483 10494 10531 10699 10793 10828 10940 11054 11061 11065 11116 11139 11301 11307 11352 11413 11524 11586 11609 11700 11704 11736 11778 11798 11849 11866 11976 11997 12015 12041 12093 12122 12154 12215 12322 12327 12428 12506 12559 12576 12668 12696 12767 12855 12871 12877 12906 13191 13484 13533 13680 13775 13852 13907 13916 13946 14024 14303 14380 14415 14419 14445 14504 14555 14697 14803 14821 14875 14891 14969 14970 15038 15105 15122 15301 15366 15418 15535 15587 15689 15708 15741 15772 15781 15802 15840 15887 15919 15974 15995 16036 16108 16225 16303 16304 16486 16532 16557 16613 16746 16798 16809 17117 17146 17207 17256 17347 17424 17454 17505 17538 17624 17644 17686 17710 17789 17805 18210 18212 18231 18438 18476 18525 18612 18680 18740 18848 18858 19022 19060 19104 19156 19269 19318 19359 19621 19652 19721 19778 19785 19804 19844 19903 19907 0 6.99/6.43 c Total wall clock time (in seconds) : 6.317
OK 265
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3483144-1307606105/watcher-3483144-1307606105 -o /tmp/evaluation-result-3483144-1307606105/solver-3483144-1307606105 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3483144-1307606105.cnf running on 2 cores: 5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.60 4.52 3.98 4/885 31543 /proc/meminfo: memFree=2291216/32950928 swapFree=65670888/67111528 [pid=31543] ppid=31541 vsize=6343692 CPUtime=0 cores=5,7 /proc/31543/stat : 31543 (java) S 31541 31543 28111 0 -1 4202496 6643 0 1 0 0 0 0 0 17 0 10 0 872207562 6495940608 6345 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488497637 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 /proc/31543/statm: 1585923 6347 969 9 0 1577079 0 [pid=31543/tid=31544] ppid=31541 vsize=6343692 CPUtime=0 cores=5,7 /proc/31543/task/31544/stat : 31544 (java) R 31541 31543 28111 0 -1 4202560 5531 0 1 0 0 0 0 0 20 0 10 0 872207563 6495940608 6356 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 47739873756328 0 4 0 16784584 0 0 0 -1 5 0 0 0 [pid=31543/tid=31546] ppid=31541 vsize=6343692 CPUtime=0 cores=5,7 /proc/31543/task/31546/stat : 31546 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 10 0 872207565 6495940608 6359 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16784584 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31547] ppid=31541 vsize=6343692 CPUtime=0 cores=5,7 /proc/31543/task/31547/stat : 31547 (java) R 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 872207565 6495940608 6361 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16784584 0 0 0 -1 5 0 0 0 [pid=31543/tid=31548] ppid=31541 vsize=6343692 CPUtime=0 cores=5,7 /proc/31543/task/31548/stat : 31548 (java) R 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 872207565 6495940608 6361 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16784584 0 0 0 -1 5 0 0 0 [pid=31543/tid=31549] ppid=31541 vsize=6343692 CPUtime=0 cores=5,7 /proc/31543/task/31549/stat : 31549 (java) R 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 872207565 6495940608 6363 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16784584 0 0 0 -1 5 0 0 0 [pid=31543/tid=31550] ppid=31541 vsize=6343692 CPUtime=0 cores=5,7 /proc/31543/task/31550/stat : 31550 (java) R 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 872207565 6495940608 6364 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16784584 0 0 0 -1 5 0 0 0 [pid=31543/tid=31551] ppid=31541 vsize=6343692 CPUtime=0 cores=5,7 /proc/31543/task/31551/stat : 31551 (java) R 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 872207565 6495940608 6365 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16784584 0 0 0 -1 5 0 0 0 [pid=31543/tid=31552] ppid=31541 vsize=6343692 CPUtime=0 cores=5,7 /proc/31543/task/31552/stat : 31552 (java) R 31541 31543 28111 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 10 0 872207565 6495940608 6365 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16784584 0 0 0 -1 5 0 0 0 [pid=31543/tid=31553] ppid=31541 vsize=6343692 CPUtime=0 cores=5,7 /proc/31543/task/31553/stat : 31553 (java) R 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 10 0 872207565 6495940608 6366 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488520885 0 4 0 16784584 0 0 0 -1 5 0 0 0 [startup+0.0304571 s] /proc/loadavg: 4.60 4.52 3.98 4/885 31543 /proc/meminfo: memFree=2291216/32950928 swapFree=65670888/67111528 [pid=31543] ppid=31541 vsize=6345676 CPUtime=0.01 cores=5,7 /proc/31543/stat : 31543 (java) S 31541 31543 28111 0 -1 4202496 7404 0 1 0 0 1 0 0 17 0 10 0 872207562 6497972224 7103 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488497637 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 /proc/31543/statm: 1586419 7105 1515 9 0 1577167 0 [pid=31543/tid=31544] ppid=31541 vsize=6345676 CPUtime=0.01 cores=5,7 /proc/31543/task/31544/stat : 31544 (java) R 31541 31543 28111 0 -1 4202560 6283 0 1 0 0 1 0 0 21 0 10 0 872207563 6497972224 7105 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 47739874730755 0 4 0 16784584 0 0 0 -1 5 0 0 0 [pid=31543/tid=31546] ppid=31541 vsize=6345676 CPUtime=0 cores=5,7 /proc/31543/task/31546/stat : 31546 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 10 0 872207565 6497972224 7106 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16784584 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31547] ppid=31541 vsize=6345676 CPUtime=0 cores=5,7 /proc/31543/task/31547/stat : 31547 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 872207565 6497972224 7107 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16784584 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31548] ppid=31541 vsize=6345676 CPUtime=0 cores=5,7 /proc/31543/task/31548/stat : 31548 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 872207565 6497972224 7108 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16784584 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31549] ppid=31541 vsize=6345676 CPUtime=0 cores=5,7 /proc/31543/task/31549/stat : 31549 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 872207565 6497972224 7109 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16784584 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31550] ppid=31541 vsize=6345676 CPUtime=0 cores=5,7 /proc/31543/task/31550/stat : 31550 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 872207565 6497972224 7110 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16784584 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31551] ppid=31541 vsize=6345676 CPUtime=0 cores=5,7 /proc/31543/task/31551/stat : 31551 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 872207565 6497972224 7110 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16784584 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31552] ppid=31541 vsize=6345676 CPUtime=0 cores=5,7 /proc/31543/task/31552/stat : 31552 (java) S 31541 31543 28111 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 10 0 872207565 6497972224 7111 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16784584 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31553] ppid=31541 vsize=6345676 CPUtime=0 cores=5,7 /proc/31543/task/31553/stat : 31553 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 10 0 872207565 6497972224 7113 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16784584 18446604460144817344 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6345676 [startup+0.101427 s] /proc/loadavg: 4.60 4.52 3.98 4/885 31543 /proc/meminfo: memFree=2291216/32950928 swapFree=65670888/67111528 [pid=31543] ppid=31541 vsize=6365080 CPUtime=0.08 cores=5,7 /proc/31543/stat : 31543 (java) S 31541 31543 28111 0 -1 4202496 9367 0 1 0 7 1 0 0 17 0 18 0 872207562 6517841920 9065 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/31543/statm: 1591270 9065 2078 9 0 1582008 0 [pid=31543/tid=31544] ppid=31541 vsize=6365080 CPUtime=0.07 cores=5,7 /proc/31543/task/31544/stat : 31544 (java) R 31541 31543 28111 0 -1 4202560 7579 0 1 0 6 1 0 0 22 0 18 0 872207563 6517841920 9065 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 47739879226195 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=31543/tid=31546] ppid=31541 vsize=6365080 CPUtime=0 cores=5,7 /proc/31543/task/31546/stat : 31546 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 872207565 6517841920 9066 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31547] ppid=31541 vsize=6365080 CPUtime=0 cores=5,7 /proc/31543/task/31547/stat : 31547 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 872207565 6517841920 9067 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31548] ppid=31541 vsize=6365080 CPUtime=0 cores=5,7 /proc/31543/task/31548/stat : 31548 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 872207565 6517841920 9067 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31549] ppid=31541 vsize=6365080 CPUtime=0 cores=5,7 /proc/31543/task/31549/stat : 31549 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 872207565 6517841920 9067 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31550] ppid=31541 vsize=6365080 CPUtime=0 cores=5,7 /proc/31543/task/31550/stat : 31550 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 872207565 6517841920 9067 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31551] ppid=31541 vsize=6365080 CPUtime=0 cores=5,7 /proc/31543/task/31551/stat : 31551 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 872207565 6517841920 9067 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31552] ppid=31541 vsize=6365080 CPUtime=0 cores=5,7 /proc/31543/task/31552/stat : 31552 (java) S 31541 31543 28111 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 18 0 872207565 6517841920 9067 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31553] ppid=31541 vsize=6365080 CPUtime=0 cores=5,7 /proc/31543/task/31553/stat : 31553 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 872207565 6517841920 9067 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 6365080 [startup+0.30222 s] /proc/loadavg: 4.60 4.52 3.98 4/885 31543 /proc/meminfo: memFree=2291216/32950928 swapFree=65670888/67111528 [pid=31543] ppid=31541 vsize=6432780 CPUtime=0.39 cores=5,7 /proc/31543/stat : 31543 (java) S 31541 31543 28111 0 -1 4202496 13788 0 1 0 37 2 0 0 17 0 18 0 872207562 6587166720 12939 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/31543/statm: 1608195 12939 2195 9 0 1598933 0 [pid=31543/tid=31544] ppid=31541 vsize=6432780 CPUtime=0.19 cores=5,7 /proc/31543/task/31544/stat : 31544 (java) R 31541 31543 28111 0 -1 4202560 10461 0 1 0 18 1 0 0 22 0 18 0 872207563 6587166720 12939 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488520885 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=31543/tid=31546] ppid=31541 vsize=6432780 CPUtime=0 cores=5,7 /proc/31543/task/31546/stat : 31546 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 872207565 6587166720 12939 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31547] ppid=31541 vsize=6432780 CPUtime=0 cores=5,7 /proc/31543/task/31547/stat : 31547 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 872207565 6587166720 12939 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31548] ppid=31541 vsize=6432780 CPUtime=0 cores=5,7 /proc/31543/task/31548/stat : 31548 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 872207565 6587166720 12939 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31549] ppid=31541 vsize=6432780 CPUtime=0 cores=5,7 /proc/31543/task/31549/stat : 31549 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 872207565 6587166720 12939 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31550] ppid=31541 vsize=6432780 CPUtime=0 cores=5,7 /proc/31543/task/31550/stat : 31550 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 872207565 6587166720 12939 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31551] ppid=31541 vsize=6432780 CPUtime=0 cores=5,7 /proc/31543/task/31551/stat : 31551 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 872207565 6587166720 12939 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31552] ppid=31541 vsize=6432780 CPUtime=0 cores=5,7 /proc/31543/task/31552/stat : 31552 (java) S 31541 31543 28111 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 18 0 872207565 6587166720 12939 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31553] ppid=31541 vsize=6432780 CPUtime=0 cores=5,7 /proc/31543/task/31553/stat : 31553 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 872207565 6587166720 12939 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.39 Current children cumulated vsize (KiB) 6432780 [startup+0.701254 s] /proc/loadavg: 4.60 4.52 3.98 4/885 31543 /proc/meminfo: memFree=2291216/32950928 swapFree=65670888/67111528 [pid=31543] ppid=31541 vsize=6433808 CPUtime=1.04 cores=5,7 /proc/31543/stat : 31543 (java) S 31541 31543 28111 0 -1 4202496 15309 0 1 0 102 2 0 0 17 0 18 0 872207562 6588219392 13703 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/31543/statm: 1608452 13703 2227 9 0 1599190 0 [pid=31543/tid=31544] ppid=31541 vsize=6433808 CPUtime=0.5 cores=5,7 /proc/31543/task/31544/stat : 31544 (java) R 31541 31543 28111 0 -1 4202560 11109 0 1 0 49 1 0 0 24 0 18 0 872207563 6588219392 13704 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 47739879226164 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=31543/tid=31546] ppid=31541 vsize=6433808 CPUtime=0 cores=5,7 /proc/31543/task/31546/stat : 31546 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 872207565 6588219392 13704 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31547] ppid=31541 vsize=6433808 CPUtime=0 cores=5,7 /proc/31543/task/31547/stat : 31547 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 872207565 6588219392 13704 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31548] ppid=31541 vsize=6433808 CPUtime=0 cores=5,7 /proc/31543/task/31548/stat : 31548 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 872207565 6588219392 13704 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31549] ppid=31541 vsize=6433808 CPUtime=0 cores=5,7 /proc/31543/task/31549/stat : 31549 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 872207565 6588219392 13704 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31550] ppid=31541 vsize=6433808 CPUtime=0 cores=5,7 /proc/31543/task/31550/stat : 31550 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 872207565 6588219392 13704 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31551] ppid=31541 vsize=6433808 CPUtime=0 cores=5,7 /proc/31543/task/31551/stat : 31551 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 872207565 6588219392 13704 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31552] ppid=31541 vsize=6433808 CPUtime=0 cores=5,7 /proc/31543/task/31552/stat : 31552 (java) S 31541 31543 28111 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 18 0 872207565 6588219392 13704 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31553] ppid=31541 vsize=6433808 CPUtime=0 cores=5,7 /proc/31543/task/31553/stat : 31553 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 872207565 6588219392 13704 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1.04 Current children cumulated vsize (KiB) 6433808 [startup+1.50116 s] /proc/loadavg: 4.60 4.52 3.98 5/904 31614 /proc/meminfo: memFree=2220444/32950928 swapFree=65670888/67111528 [pid=31543] ppid=31541 vsize=6436892 CPUtime=2 cores=5,7 /proc/31543/stat : 31543 (java) S 31541 31543 28111 0 -1 4202496 33623 0 1 0 194 6 0 0 17 0 19 0 872207562 6591377408 31248 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/31543/statm: 1609223 31248 2229 9 0 1599961 0 [pid=31543/tid=31544] ppid=31541 vsize=6436892 CPUtime=1.3 cores=5,7 /proc/31543/task/31544/stat : 31544 (java) R 31541 31543 28111 0 -1 4202560 27873 0 1 0 125 5 0 0 23 0 19 0 872207563 6591377408 31248 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 46912505672575 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=31543/tid=31546] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31546/stat : 31546 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 872207565 6591377408 31248 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31547] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31547/stat : 31547 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 872207565 6591377408 31248 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31548] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31548/stat : 31548 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 872207565 6591377408 31248 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31549] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31549/stat : 31549 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 872207565 6591377408 31248 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31550] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31550/stat : 31550 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 872207565 6591377408 31248 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31551] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31551/stat : 31551 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 872207565 6591377408 31248 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31552] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31552/stat : 31552 (java) S 31541 31543 28111 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 872207565 6591377408 31248 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31553] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31553/stat : 31553 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 872207565 6591377408 31248 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31556] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31556/stat : 31556 (java) S 31541 31543 28111 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 872207566 6591377408 31248 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488511488 0 0 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31557] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31557/stat : 31557 (java) S 31541 31543 28111 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 872207566 6591377408 31248 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31558] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31558/stat : 31558 (java) S 31541 31543 28111 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 872207566 6591377408 31248 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31559] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31559/stat : 31559 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 872207569 6591377408 31248 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488518577 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31560] ppid=31541 vsize=6436892 CPUtime=0.33 cores=5,7 /proc/31543/task/31560/stat : 31560 (java) S 31541 31543 28111 0 -1 4202560 1796 0 0 0 33 0 0 0 17 0 19 0 872207569 6591377408 31248 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31561] ppid=31541 vsize=6436892 CPUtime=0.34 cores=5,7 /proc/31543/task/31561/stat : 31561 (java) S 31541 31543 28111 0 -1 4202560 2769 0 0 0 34 0 0 0 16 0 19 0 872207569 6591377408 31248 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31562] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31562/stat : 31562 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 872207569 6591377408 31248 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31563] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31563/stat : 31563 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 872207569 6591377408 31248 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488511488 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2 Current children cumulated vsize (KiB) 6436892 [startup+3.10085 s] /proc/loadavg: 4.60 4.52 3.98 5/904 31770 /proc/meminfo: memFree=2115292/32950928 swapFree=65670888/67111528 [pid=31543] ppid=31541 vsize=6436892 CPUtime=3.62 cores=5,7 /proc/31543/stat : 31543 (java) S 31541 31543 28111 0 -1 4202496 71891 0 1 0 349 13 0 0 17 0 19 0 872207562 6591377408 69516 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/31543/statm: 1609223 69516 2231 9 0 1599961 0 [pid=31543/tid=31544] ppid=31541 vsize=6436892 CPUtime=2.89 cores=5,7 /proc/31543/task/31544/stat : 31544 (java) R 31541 31543 28111 0 -1 4202560 66139 0 1 0 279 10 0 0 19 0 19 0 872207563 6591377408 69516 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 46912505713258 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=31543/tid=31546] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31546/stat : 31546 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 872207565 6591377408 69516 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31547] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31547/stat : 31547 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 872207565 6591377408 69516 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31548] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31548/stat : 31548 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 872207565 6591377408 69516 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31549] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31549/stat : 31549 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 872207565 6591377408 69516 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31550] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31550/stat : 31550 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 872207565 6591377408 69516 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31551] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31551/stat : 31551 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 872207565 6591377408 69516 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31552] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31552/stat : 31552 (java) S 31541 31543 28111 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 872207565 6591377408 69516 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31553] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31553/stat : 31553 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 872207565 6591377408 69516 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31556] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31556/stat : 31556 (java) S 31541 31543 28111 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 872207566 6591377408 69516 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488511488 0 0 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31557] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31557/stat : 31557 (java) S 31541 31543 28111 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 872207566 6591377408 69516 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31558] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31558/stat : 31558 (java) S 31541 31543 28111 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 872207566 6591377408 69516 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31559] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31559/stat : 31559 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 872207569 6591377408 69516 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488518577 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31560] ppid=31541 vsize=6436892 CPUtime=0.34 cores=5,7 /proc/31543/task/31560/stat : 31560 (java) S 31541 31543 28111 0 -1 4202560 1798 0 0 0 34 0 0 0 15 0 19 0 872207569 6591377408 69516 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31561] ppid=31541 vsize=6436892 CPUtime=0.35 cores=5,7 /proc/31543/task/31561/stat : 31561 (java) S 31541 31543 28111 0 -1 4202560 2769 0 0 0 35 0 0 0 15 0 19 0 872207569 6591377408 69516 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31562] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31562/stat : 31562 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 872207569 6591377408 69516 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31563] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31563/stat : 31563 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 872207569 6591377408 69516 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488511488 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3.62 Current children cumulated vsize (KiB) 6436892 [startup+6.30124 s] /proc/loadavg: 4.55 4.51 3.98 5/904 32236 /proc/meminfo: memFree=1789752/32950928 swapFree=65670888/67111528 [pid=31543] ppid=31541 vsize=6436892 CPUtime=6.83 cores=5,7 /proc/31543/stat : 31543 (java) S 31541 31543 28111 0 -1 4202496 151442 0 1 0 658 25 0 0 17 0 19 0 872207562 6591377408 148649 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/31543/statm: 1609223 148649 2232 9 0 1599961 0 [pid=31543/tid=31544] ppid=31541 vsize=6436892 CPUtime=6.07 cores=5,7 /proc/31543/task/31544/stat : 31544 (java) R 31541 31543 28111 0 -1 4202560 145616 0 1 0 585 22 0 0 19 0 19 0 872207563 6591377408 148649 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 46912505713153 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=31543/tid=31546] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31546/stat : 31546 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 872207565 6591377408 148649 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31547] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31547/stat : 31547 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 872207565 6591377408 148649 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31548] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31548/stat : 31548 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 872207565 6591377408 148649 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31549] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31549/stat : 31549 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 872207565 6591377408 148649 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31550] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31550/stat : 31550 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 872207565 6591377408 148649 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31551] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31551/stat : 31551 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 872207565 6591377408 148649 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31552] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31552/stat : 31552 (java) S 31541 31543 28111 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 872207565 6591377408 148649 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31553] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31553/stat : 31553 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 872207565 6591377408 148649 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31556] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31556/stat : 31556 (java) S 31541 31543 28111 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 872207566 6591377408 148649 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488511488 0 0 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31557] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31557/stat : 31557 (java) S 31541 31543 28111 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 872207566 6591377408 148649 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31558] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31558/stat : 31558 (java) S 31541 31543 28111 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 872207566 6591377408 148649 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31559] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31559/stat : 31559 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 872207569 6591377408 148649 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488518577 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31560] ppid=31541 vsize=6436892 CPUtime=0.34 cores=5,7 /proc/31543/task/31560/stat : 31560 (java) S 31541 31543 28111 0 -1 4202560 1798 0 0 0 34 0 0 0 15 0 19 0 872207569 6591377408 148649 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31561] ppid=31541 vsize=6436892 CPUtime=0.35 cores=5,7 /proc/31543/task/31561/stat : 31561 (java) S 31541 31543 28111 0 -1 4202560 2769 0 0 0 35 0 0 0 15 0 19 0 872207569 6591377408 148649 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31562] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31562/stat : 31562 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 872207569 6591377408 148649 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31563] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31563/stat : 31563 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 872207569 6591377408 148649 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488511488 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 6.83 Current children cumulated vsize (KiB) 6436892 Solver just ended. Dumping a history of the last processes samples [startup+6.40116 s] /proc/loadavg: 4.55 4.51 3.98 5/904 32236 /proc/meminfo: memFree=1789752/32950928 swapFree=65670888/67111528 [pid=31543] ppid=31541 vsize=6436892 CPUtime=6.99 cores=5,7 /proc/31543/stat : 31543 (java) S 31541 31543 28111 0 -1 4202496 154902 0 1 0 673 26 0 0 17 0 18 0 872207562 6591377408 151316 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/31543/statm: 1609223 151316 2232 9 0 1599961 0 [pid=31543/tid=31544] ppid=31541 vsize=6436892 CPUtime=6.16 cores=5,7 /proc/31543/task/31544/stat : 31544 (java) R 31541 31543 28111 0 -1 4202560 146622 0 1 0 594 22 0 0 21 0 18 0 872207563 6591377408 151316 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 46912505227952 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=31543/tid=31546] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31546/stat : 31546 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 872207565 6591377408 151316 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31547] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31547/stat : 31547 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 872207565 6591377408 151316 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31548] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31548/stat : 31548 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 872207565 6591377408 151316 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31549] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31549/stat : 31549 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 872207565 6591377408 151316 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31550] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31550/stat : 31550 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 872207565 6591377408 151316 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31551] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31551/stat : 31551 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 872207565 6591377408 151316 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31552] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31552/stat : 31552 (java) S 31541 31543 28111 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 18 0 872207565 6591377408 151316 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31553] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31553/stat : 31553 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 872207565 6591377408 151316 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31556] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31556/stat : 31556 (java) S 31541 31543 28111 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 18 0 872207566 6591377408 151316 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488511488 0 0 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31557] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31557/stat : 31557 (java) S 31541 31543 28111 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 872207566 6591377408 151316 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31558] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31558/stat : 31558 (java) S 31541 31543 28111 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 872207566 6591377408 151316 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31559] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31559/stat : 31559 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 872207569 6591377408 151316 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488518577 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31560] ppid=31541 vsize=6436892 CPUtime=0.35 cores=5,7 /proc/31543/task/31560/stat : 31560 (java) S 31541 31543 28111 0 -1 4202560 1851 0 0 0 35 0 0 0 15 0 18 0 872207569 6591377408 151316 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 7 0 0 0 [pid=31543/tid=31561] ppid=31541 vsize=6436892 CPUtime=0.4 cores=5,7 /proc/31543/task/31561/stat : 31561 (java) R 31541 31543 28111 0 -1 4202560 5170 0 0 0 40 0 0 0 15 0 18 0 872207569 6591377408 151316 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 47739878448448 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=31543/tid=31562] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31562/stat : 31562 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 872207569 6591377408 151316 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488510873 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 [pid=31543/tid=31563] ppid=31541 vsize=6436892 CPUtime=0 cores=5,7 /proc/31543/task/31563/stat : 31563 (java) S 31541 31543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 872207569 6591377408 151316 33554432000 1073741824 1073778376 140736755986864 18446744073709551615 239488511488 0 4 0 16800975 18446604460144817344 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 6.99 Current children cumulated vsize (KiB) 6436892 Child status: 20 Real time (s): 6.49379 CPU time (s): 7.12592 CPU user time (s): 6.83996 CPU system time (s): 0.285956 CPU usage (%): 109.734 Max. virtual memory (cumulated for all children) (KiB): 6436892 getrusage(RUSAGE_CHILDREN,...) data: user time used= 6.83996 system time used= 0.285956 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 155875 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3584 involuntary context switches= 2346 runsolver used 0.057991 second user time and 0.173973 second system time The end
Begin job on node148 at 2011-06-09 09:55:05 IDJOB=3483144 IDBENCH=89617 IDSOLVER=1972 FILE ID=node148/3483144-1307606105 RUNJOBID= node148-1307604136-28132 PBS_JOBID= 13547741 Free space on /tmp= 73420 MiB SOLVER NAME= SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 BENCH NAME= SAT11/mus/marques-silva/fpga-routing/c499_gr_2pin_w5.shuffled.cnf COMMAND LINE= java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3483144-1307606105/watcher-3483144-1307606105 -o /tmp/evaluation-result-3483144-1307606105/solver-3483144-1307606105 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3483144-1307606105.cnf TIME LIMIT= 1800 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= a2e4cf209dd6d99c36adb18f47b69589 RANDOM SEED=1647365251 node148.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 2291496 kB Buffers: 1740 kB Cached: 187180 kB SwapCached: 56560 kB Active: 19965876 kB Inactive: 10416728 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 2291496 kB SwapTotal: 67111528 kB SwapFree: 65670888 kB Dirty: 916 kB Writeback: 0 kB AnonPages: 30144284 kB Mapped: 121416 kB Slab: 87712 kB PageTables: 111212 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 208520220 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73420 MiB End job on node148 at 2011-06-09 09:55:12