0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version 2.3.0.v20110206
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.18-164.el5
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		5997854704
0.00/0.08	c Max memory 		6029312000
0.00/0.08	c Total memory 		6029312000
0.00/0.08	c Number of processors 	8
0.07/0.10	c Explanation (MUS) enabled solver
0.07/0.10	c QuickXplain (AAAI 2004 version) minimization strategy
0.07/0.10	c --- Begin Solver configuration ---
0.07/0.10	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@aa470b8
0.07/0.10	c Learn all clauses as in MiniSAT
0.07/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.07/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.07/0.10	c Expensive reason simplification
0.07/0.10	c Armin Biere (Picosat) restarts strategy
0.07/0.10	c Glucose learned constraints deletion strategy
0.07/0.10	c timeout=2147483647s
0.07/0.10	c DB Simplification allowed=true
0.07/0.10	c --- End Solver configuration ---
0.07/0.10	c solving HOME/instance-3493748-1307810328.cnf
0.07/0.10	c reading problem ... 
0.11/0.19	c ... done. Wall clock time 0.085s.
0.11/0.19	c #vars     8907
0.11/0.19	c #constraints  7297
0.11/0.19	c constraints type 
0.11/0.19	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7290
0.11/0.19	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7
1.02/0.63	c Unsat detection wall clock time (in seconds) : 0.526
1.02/0.63	c Size of initial unsat subformula: 1104
1.02/0.63	c Computing MUS ...
1.02/0.63	c initial unsat core -230[?] -250[?] -200[?] 8907[?]  -199[?] -229[?] -249[?] 8906[?]  -198[?] -228[?] -248[?] 8905[?]  -197[?] -227[?] -247[?] 8904[?]  -226[?] -246[?] -196[?] 8903[?]  -195[?] -225[?] -245[?] 8902[?]  -194[?] -224[?] -244[?] 8901[?]  -193[?] -223[?] -243[?] 8900[?]  -192[?] -222[?] -242[?] 8899[?]  -221[?] -191[?] -241[?] 8898[?]  -230[?] -290[?] -250[?] 8897[?]  -229[?] -289[?] -249[?] 8896[?]  -228[?] -248[?] -288[?] 8895[?]  -226[?] -246[?] -286[?] 8893[?]  -225[?] -245[?] -285[?] 8892[?]  -224[?] -284[?] -244[?] 8891[?]  -283[?] -223[?] -243[?] 8890[?]  -282[?] -222[?] -242[?] 8889[?]  -281[?] -221[?] -241[?] 8888[?]  -204[?] -224[?] -244[?] 8881[?]  -203[?] -223[?] -243[?] 8880[?]  -202[?] -222[?] -242[?] 8879[?]  -201[?] -221[?] -241[?] 8878[?]  -230[?] -250[?] -270[?] 8877[?]  -269[?] -229[?] -249[?] 8876[?]  -268[?] -228[?] -248[?] 8875[?]  -265[?] -225[?] -245[?] 8872[?]  -264[?] -224[?] -244[?] 8871[?]  -263[?] -223[?] -243[?] 8870[?]  -262[?] -222[?] -242[?] 8869[?]  -221[?] -261[?] -241[?] 8868[?]  -215[?] -225[?] -245[?] 8862[?]  -213[?] -223[?] -243[?] 8860[?]  -212[?] -222[?] -242[?] 8859[?]  -211[?] -221[?] -241[?] 8858[?]  -274[?] -224[?] -244[?] 8851[?]  -273[?] -223[?] -243[?] 8850[?]  -272[?] -222[?] -242[?] 8849[?]  -271[?] -221[?] -241[?] 8848[?]  -254[?] -224[?] -244[?] 8841[?]  -253[?] -223[?] -243[?] 8840[?]  -252[?] -222[?] -242[?] 8839[?]  -251[?] -221[?] -241[?] 8838[?]  -234[?] -224[?] -244[?] 8831[?]  -233[?] -223[?] -243[?] 8830[?]  -232[?] -222[?] -242[?] 8829[?]  -231[?] -221[?] -241[?] 8828[?]  -230[?] -290[?] -200[?] 8827[?]  -199[?] -229[?] -289[?] 8826[?]  -198[?] -228[?] -288[?] 8825[?]  -197[?] -227[?] -287[?] 8824[?]  -195[?] -225[?] -285[?] 8822[?]  -194[?] -224[?] -284[?] 8821[?]  -193[?] -283[?] -223[?] 8820[?]  -192[?] -282[?] -222[?] 8819[?]  -281[?] -221[?] -191[?] 8818[?]  -209[?] -199[?] -229[?] 8816[?]  -208[?] -198[?] -228[?] 8815[?]  -268[?] -198[?] -228[?] 8805[?]  -194[?] -264[?] -224[?] 8801[?]  -193[?] -263[?] -223[?] 8800[?]  -220[?] -230[?] -200[?] 8797[?]  -218[?] -198[?] -228[?] 8795[?]  -214[?] -194[?] -224[?] 8791[?]  -279[?] -199[?] -229[?] 8786[?]  -278[?] -198[?] -228[?] 8785[?]  -259[?] -199[?] -229[?] 8776[?]  -258[?] -198[?] -228[?] 8775[?]  -239[?] -199[?] -229[?] 8766[?]  -238[?] -198[?] -228[?] 8765[?]  -210[?] -230[?] -290[?] 8757[?]  -230[?] -290[?] -270[?] 8747[?]  -269[?] -229[?] -289[?] 8746[?]  -268[?] -228[?] -288[?] 8745[?]  -267[?] -227[?] -287[?] 8744[?]  -226[?] -266[?] -286[?] 8743[?]  -265[?] -225[?] -285[?] 8742[?]  -264[?] -224[?] -284[?] 8741[?]  -263[?] -283[?] -223[?] 8740[?]  -282[?] -262[?] -222[?] 8739[?]  -281[?] -221[?] -261[?] 8738[?]  -210[?] -230[?] -270[?] 8697[?]  -290[?] -250[?] -200[?] 8647[?]  -199[?] -289[?] -249[?] 8646[?]  -198[?] -248[?] -288[?] 8645[?]  -197[?] -247[?] -287[?] 8644[?]  -246[?] -196[?] -286[?] 8643[?]  -195[?] -245[?] -285[?] 8642[?]  -194[?] -284[?] -244[?] 8641[?]  -193[?] -283[?] -243[?] 8640[?]  -192[?] -282[?] -242[?] 8639[?]  -281[?] -241[?] -191[?] 8638[?]  -208[?] -198[?] -248[?] 8635[?]  -207[?] -197[?] -247[?] 8634[?]  -205[?] -195[?] -245[?] 8632[?]  -204[?] -194[?] -244[?] 8631[?]  -250[?] -270[?] -200[?] 8627[?]  -199[?] -269[?] -249[?] 8626[?]  -268[?] -198[?] -248[?] 8625[?]  -267[?] -197[?] -247[?] 8624[?]  -195[?] -265[?] -245[?] 8622[?]  -194[?] -264[?] -244[?] 8621[?]  -193[?] -263[?] -243[?] 8620[?]  -192[?] -262[?] -242[?] 8619[?]  -241[?] -261[?] -191[?] 8618[?]  -219[?] -269[?] -249[?] -289[?] 8566[?]  -217[?] -267[?] -247[?] -287[?] 8564[?]  -215[?] -265[?] -245[?] -285[?] 8562[?]  -214[?] -264[?] -244[?] -284[?] 8561[?]  -263[?] -283[?] -213[?] -243[?] 8560[?]  -212[?] -282[?] -262[?] -242[?] 8559[?]  -211[?] -281[?] -261[?] -241[?] 8558[?]  -201[?] -211[?] -261[?] -241[?] 8508[?]  -206[?] -196[?] -286[?] 8463[?]  -205[?] -195[?] -285[?] 8462[?]  -219[?] -269[?] -289[?] -199[?] 8456[?]  -214[?] -194[?] -284[?] -264[?] 8451[?]  -193[?] -283[?] -213[?] -263[?] 8450[?]  -212[?] -192[?] -282[?] -262[?] 8449[?]  -211[?] -261[?] -191[?] -281[?] 8448[?]  1539[?] 1519[?] 1529[?] 1549[?] 1499[?] 1509[?] 1559[?] 1569[?] 1579[?] 1589[?] 1609[?] 7745[?]  1558[?] 1538[?] 1498[?] 1528[?] 1548[?] 1518[?] 1508[?] 1568[?] 1578[?] 1588[?] 1608[?] 7743[?]  1358[?] 1338[?] 1328[?] 1298[?] 1318[?] 1308[?] 1348[?] 1368[?] 1378[?] 1388[?] 1608[?] 7742[?]  1534[?] 1554[?] 1524[?] 1494[?] 1544[?] 1514[?] 1504[?] 1564[?] 1574[?] 1584[?] 1604[?] 7735[?]  1523[?] 1553[?] 1533[?] 1543[?] 1493[?] 1513[?] 1503[?] 1563[?] 1573[?] 1583[?] 1603[?] 7733[?]  1323[?] 1353[?] 1333[?] 1343[?] 1293[?] 1303[?] 1313[?] 1363[?] 1373[?] 1383[?] 1603[?] 7732[?]  1552[?] 1532[?] 1522[?] 1492[?] 1542[?] 1512[?] 1502[?] 1562[?] 1572[?] 1582[?] 1602[?] 7731[?]  1332[?] 1302[?] 1322[?] 1342[?] 1292[?] 1312[?] 1352[?] 1362[?] 1372[?] 1382[?] 1602[?] 7730[?]  1551[?] 1531[?] 1521[?] 1511[?] 1501[?] 1491[?] 1541[?] 1561[?] 1571[?] 1581[?] 1601[?] 7729[?]  -1609[?] -199[?] 7685[?]  -1608[?] -268[?] 7679[?]  -1608[?] -198[?] 7672[?]  -1607[?] 1608[?] 7669[?]  -1606[?] 1607[?] 7656[?]  -1606[?] -196[?] 7646[?]  -1605[?] 1606[?] 7643[?]  -1605[?] -265[?] 7640[?]  -1604[?] 1605[?] 7630[?]  -1604[?] -244[?] 7625[?]  -1603[?] 1604[?] 7617[?]  -1603[?] -243[?] 7612[?]  -1602[?] 1603[?] 7604[?]  -1601[?] 1602[?] 7591[?]  -1589[?] 289[?] 7447[?]  -1588[?] 288[?] 7441[?]  -1388[?] 288[?] 7431[?]  -1584[?] 284[?] 7417[?]  -1583[?] 283[?] 7411[?]  -1582[?] 282[?] 7405[?]  -1582[?] -283[?] 7404[?]  -282[?] 1582[?] 283[?] 7403[?]  -1383[?] 283[?] 7401[?]  281[?] -1581[?] 7399[?]  -282[?] -1581[?] 7398[?]  -1382[?] 282[?] 7395[?]  -1579[?] 279[?] 7389[?]  -1578[?] 278[?] 7383[?]  -1378[?] 278[?] 7373[?]  -1574[?] 274[?] 7359[?]  -1573[?] 273[?] 7353[?]  -1572[?] 272[?] 7347[?]  -1373[?] 273[?] 7343[?]  -1571[?] 271[?] 7341[?]  -1372[?] 272[?] 7337[?]  -1569[?] 269[?] 7331[?]  -1568[?] 268[?] 7325[?]  -1368[?] 268[?] 7315[?]  -1564[?] 264[?] 7301[?]  -1563[?] 263[?] 7295[?]  -1562[?] 262[?] 7289[?]  -1363[?] 263[?] 7285[?]  -1561[?] 261[?] 7283[?]  -1362[?] 262[?] 7279[?]  -1559[?] 259[?] 7273[?]  -1558[?] 258[?] 7267[?]  -1358[?] 258[?] 7257[?]  -1554[?] 254[?] 7243[?]  -1553[?] 253[?] 7237[?]  -1552[?] 252[?] 7231[?]  -1353[?] 253[?] 7227[?]  -1551[?] 251[?] 7225[?]  -1352[?] 252[?] 7221[?]  -1549[?] 249[?] 7215[?]  -1548[?] 248[?] 7209[?]  -1348[?] 248[?] 7199[?]  -1544[?] -245[?] 7184[?]  -1543[?] -244[?] 7178[?]  -1542[?] -243[?] 7172[?]  -1343[?] -242[?] 7170[?]  -1541[?] -242[?] 7166[?]  -1342[?] -241[?] 7164[?]  -1539[?] 239[?] 7157[?]  -1538[?] 238[?] 7151[?]  -1338[?] 238[?] 7141[?]  -1534[?] 234[?] 7127[?]  -1533[?] 233[?] 7121[?]  -1532[?] 232[?] 7115[?]  -1333[?] 233[?] 7111[?]  -1531[?] 231[?] 7109[?]  -1332[?] 232[?] 7105[?]  -1529[?] -230[?] 7098[?]  -1528[?] -229[?] 7092[?]  -227[?] -1328[?] 7084[?]  -1524[?] -225[?] 7068[?]  -224[?] -1523[?] 7062[?]  -1522[?] -223[?] 7056[?]  -1323[?] -222[?] 7054[?]  -1521[?] -222[?] 7050[?]  -1322[?] -221[?] 7048[?]  -1519[?] 219[?] 7041[?]  -1518[?] 218[?] 7035[?]  -1318[?] 218[?] 7025[?]  -1514[?] 214[?] 7011[?]  -1513[?] 213[?] 7005[?]  -1512[?] 212[?] 6999[?]  -1313[?] 213[?] 6995[?]  -1511[?] 211[?] 6993[?]  -1312[?] 212[?] 6989[?]  -1509[?] 209[?] 6983[?]  -1508[?] 208[?] 6977[?]  -1308[?] 208[?] 6967[?]  -1504[?] 204[?] 6953[?]  -1503[?] 203[?] 6947[?]  -1502[?] 202[?] 6941[?]  -1303[?] 203[?] 6937[?]  -1501[?] 201[?] 6935[?]  -1302[?] 202[?] 6931[?]  -1499[?] -200[?] 6924[?]  -1498[?] -199[?] 6918[?]  -197[?] -1298[?] 6910[?]  -1494[?] 194[?] 6895[?]  -1493[?] 193[?] 6889[?]  -1492[?] 192[?] 6883[?]  -1293[?] 193[?] 6879[?]  -1491[?] 191[?] 6877[?]  -1292[?] 192[?] 6873[?]  1178[?] 1179[?] 1174[?] 1175[?] 1180[?] 1171[?] 1173[?] 1177[?] 1176[?] 1172[?] -89[?] 6280[?]  1124[?] 1121[?] 1123[?] -84[?] 1125[?] 1128[?] 1127[?] 1129[?] 1122[?] 1126[?] 1130[?] 6225[?]  -1130[?] 84[?] 6224[?]  -1129[?] 84[?] 6223[?]  -1128[?] 84[?] 6222[?]  -1127[?] 84[?] 6221[?]  -1126[?] 84[?] 6220[?]  84[?] -1125[?] 6219[?]  84[?] -1124[?] 6218[?]  -1123[?] 84[?] 6217[?]  -1122[?] 84[?] 6216[?]  -1121[?] 84[?] 6215[?]  -82[?] 1103[?] 1101[?] 1102[?] 1105[?] 1110[?] 1109[?] 1107[?] 1104[?] 1108[?] 1106[?] 6203[?]  -1110[?] 82[?] 6202[?]  -1109[?] 82[?] 6201[?]  -1108[?] 82[?] 6200[?]  -1107[?] 82[?] 6199[?]  -1106[?] 82[?] 6198[?]  -1105[?] 82[?] 6197[?]  -1104[?] 82[?] 6196[?]  -1103[?] 82[?] 6195[?]  -1102[?] 82[?] 6194[?]  -1101[?] 82[?] 6193[?]  -75[?] 1038[?] 1035[?] 1031[?] 1034[?] 1040[?] 1037[?] 1039[?] 1032[?] 1036[?] 1033[?] 6126[?]  -1040[?] 75[?] 6125[?]  -1039[?] 75[?] 6124[?]  -1038[?] 75[?] 6123[?]  -1037[?] 75[?] 6122[?]  -1036[?] 75[?] 6121[?]  -1035[?] 75[?] 6120[?]  -1034[?] 75[?] 6119[?]  -1033[?] 75[?] 6118[?]  -1032[?] 75[?] 6117[?]  -1031[?] 75[?] 6116[?]  -73[?] 1017[?] 1011[?] 1020[?] 1012[?] 1019[?] 1013[?] 1018[?] 1014[?] 1015[?] 1016[?] 6104[?]  -1020[?] 73[?] 6103[?]  -1019[?] 73[?] 6102[?]  -1018[?] 73[?] 6101[?]  -1017[?] 73[?] 6100[?]  -1016[?] 73[?] 6099[?]  -1015[?] 73[?] 6098[?]  -1014[?] 73[?] 6097[?]  -1013[?] 73[?] 6096[?]  -1012[?] 73[?] 6095[?]  -1011[?] 73[?] 6094[?]  991[?] 992[?] 993[?] 994[?] 998[?] -71[?] 995[?] 1000[?] 999[?] 997[?] 996[?] 6082[?]  71[?] -1000[?] 6081[?]  71[?] -999[?] 6080[?]  71[?] -998[?] 6079[?]  71[?] -997[?] 6078[?]  71[?] -996[?] 6077[?]  71[?] -995[?] 6076[?]  71[?] -994[?] 6075[?]  71[?] -993[?] 6074[?]  71[?] -992[?] 6073[?]  71[?] -991[?] 6072[?]  978[?] 980[?] 971[?] 974[?] 975[?] 977[?] 976[?] 979[?] 972[?] 973[?] -69[?] 6060[?]  957[?] 959[?] 958[?] 956[?] 955[?] 951[?] 952[?] 960[?] 953[?] 954[?] -67[?] 6038[?]  934[?] 931[?] 933[?] 935[?] 938[?] 932[?] 940[?] 939[?] 936[?] 937[?] -65[?] 6016[?]  -920[?] 63[?] 5993[?]  -919[?] 63[?] 5992[?]  -918[?] 63[?] 5991[?]  -917[?] 63[?] 5990[?]  -916[?] 63[?] 5989[?]  -915[?] 63[?] 5988[?]  -914[?] 63[?] 5987[?]  -913[?] 63[?] 5986[?]  -912[?] 63[?] 5985[?]  -911[?] 63[?] 5984[?]  -62[?] 910[?] 901[?] 903[?] 905[?] 906[?] 909[?] 902[?] 907[?] 904[?] 908[?] 5983[?]  -60[?] 890[?] 885[?] 889[?] 883[?] 881[?] 882[?] 884[?] 887[?] 888[?] 886[?] 5961[?]  -58[?] 861[?] 863[?] 864[?] 870[?] 868[?] 869[?] 866[?] 865[?] 862[?] 867[?] 5939[?]  -844[?] 56[?] 5910[?]  -843[?] 56[?] 5909[?]  -842[?] 56[?] 5908[?]  -54[?] 828[?] 824[?] 823[?] 829[?] 827[?] 825[?] 826[?] 830[?] 822[?] 821[?] 5895[?]  -830[?] 54[?] 5894[?]  -829[?] 54[?] 5893[?]  -828[?] 54[?] 5892[?]  -827[?] 54[?] 5891[?]  -826[?] 54[?] 5890[?]  -825[?] 54[?] 5889[?]  -824[?] 54[?] 5888[?]  -823[?] 54[?] 5887[?]  -822[?] 54[?] 5886[?]  -821[?] 54[?] 5885[?]  810[?] 809[?] 805[?] -52[?] 807[?] 808[?] 804[?] 803[?] 806[?] 801[?] 802[?] 5873[?]  52[?] -810[?] 5872[?]  -809[?] 52[?] 5871[?]  -808[?] 52[?] 5870[?]  -807[?] 52[?] 5869[?]  -806[?] 52[?] 5868[?]  -805[?] 52[?] 5867[?]  -804[?] 52[?] 5866[?]  -803[?] 52[?] 5865[?]  -802[?] 52[?] 5864[?]  52[?] -801[?] 5863[?]  -50[?] 782[?] 781[?] 784[?] 783[?] 785[?] 789[?] 790[?] 787[?] 788[?] 786[?] 5851[?]  -790[?] 50[?] 5850[?]  -789[?] 50[?] 5849[?]  -788[?] 50[?] 5848[?]  -787[?] 50[?] 5847[?]  -786[?] 50[?] 5846[?]  -785[?] 50[?] 5845[?]  -784[?] 50[?] 5844[?]  -783[?] 50[?] 5843[?]  -782[?] 50[?] 5842[?]  -781[?] 50[?] 5841[?]  769[?] 770[?] -48[?] 764[?] 767[?] 765[?] 762[?] 763[?] 768[?] 766[?] 761[?] 5829[?]  -770[?] 48[?] 5828[?]  -769[?] 48[?] 5827[?]  -768[?] 48[?] 5826[?]  -767[?] 48[?] 5825[?]  -766[?] 48[?] 5824[?]  -765[?] 48[?] 5823[?]  -764[?] 48[?] 5822[?]  -763[?] 48[?] 5821[?]  -762[?] 48[?] 5820[?]  760[?] 759[?] 751[?] 758[?] 755[?] 754[?] 752[?] 756[?] 757[?] 753[?] -47[?] 5818[?]  -46[?] 750[?] 744[?] 749[?] 741[?] 745[?] 748[?] 747[?] 742[?] 746[?] 743[?] 5807[?]  -1180[?] 290[?] 5270[?]  -1180[?] 270[?] 5269[?]  -269[?] -289[?] 1179[?] 5268[?]  -1179[?] 289[?] 5267[?]  -1179[?] 269[?] 5266[?]  -268[?] -288[?] 1178[?] 5265[?]  -1178[?] 288[?] 5264[?]  268[?] -1178[?] 5263[?]  -267[?] -287[?] 1177[?] 5262[?]  -1177[?] 287[?] 5261[?]  -1177[?] 267[?] 5260[?]  1176[?] -286[?] -266[?] 5259[?]  286[?] -1176[?] 5258[?]  266[?] -1176[?] 5257[?]  -265[?] 1175[?] -285[?] 5256[?]  -1175[?] 285[?] 5255[?]  -1175[?] 265[?] 5254[?]  -264[?] -284[?] 1174[?] 5253[?]  -1174[?] 284[?] 5252[?]  -1174[?] 264[?] 5251[?]  -263[?] -283[?] 1173[?] 5250[?]  -1173[?] 283[?] 5249[?]  -1173[?] 263[?] 5248[?]  -282[?] -262[?] 1172[?] 5247[?]  -1172[?] 282[?] 5246[?]  -1172[?] 262[?] 5245[?]  -1171[?] 281[?] 5243[?]  -1171[?] 261[?] 5242[?]  -290[?] -250[?] 1130[?] 5121[?]  -1130[?] 290[?] 5120[?]  -1130[?] 250[?] 5119[?]  -289[?] -249[?] 1129[?] 5118[?]  -1129[?] 289[?] 5117[?]  -1129[?] 249[?] 5116[?]  -288[?] -248[?] 1128[?] 5115[?]  -1128[?] 288[?] 5114[?]  248[?] -1128[?] 5113[?]  -247[?] -287[?] 1127[?] 5112[?]  -1127[?] 287[?] 5111[?]  -1127[?] 247[?] 5110[?]  -246[?] 1126[?] -286[?] 5109[?]  -1126[?] 286[?] 5108[?]  -1126[?] 246[?] 5107[?]  -245[?] 1125[?] -285[?] 5106[?]  285[?] -1125[?] 5105[?]  -1125[?] 245[?] 5104[?]  1124[?] -284[?] -244[?] 5103[?]  284[?] -1124[?] 5102[?]  244[?] -1124[?] 5101[?]  -283[?] 1123[?] -243[?] 5100[?]  -1123[?] 283[?] 5099[?]  243[?] -1123[?] 5098[?]  -282[?] 1122[?] -242[?] 5097[?]  -1122[?] 282[?] 5096[?]  -1122[?] 242[?] 5095[?]  -281[?] -241[?] 1121[?] 5094[?]  -1121[?] 281[?] 5093[?]  -1121[?] 241[?] 5092[?]  -250[?] -270[?] 1110[?] 5061[?]  -1110[?] 270[?] 5060[?]  -1110[?] 250[?] 5059[?]  -269[?] -249[?] 1109[?] 5058[?]  -1109[?] 269[?] 5057[?]  -1109[?] 249[?] 5056[?]  -268[?] -248[?] 1108[?] 5055[?]  -1108[?] 268[?] 5054[?]  -1108[?] 248[?] 5053[?]  -267[?] -247[?] 1107[?] 5052[?]  -1107[?] 267[?] 5051[?]  -1107[?] 247[?] 5050[?]  -246[?] -266[?] 1106[?] 5049[?]  -1106[?] 266[?] 5048[?]  -1106[?] 246[?] 5047[?]  -265[?] -245[?] 1105[?] 5046[?]  -1105[?] 265[?] 5045[?]  -1105[?] 245[?] 5044[?]  -264[?] 1104[?] -244[?] 5043[?]  -1104[?] 264[?] 5042[?]  -1104[?] 244[?] 5041[?]  -263[?] 1103[?] -243[?] 5040[?]  -1103[?] 263[?] 5039[?]  -1103[?] 243[?] 5038[?]  -262[?] 1102[?] -242[?] 5037[?]  -1102[?] 262[?] 5036[?]  -1102[?] 242[?] 5035[?]  -241[?] 1101[?] -261[?] 5034[?]  -1101[?] 261[?] 5033[?]  -1101[?] 241[?] 5032[?]  -230[?] -290[?] 1040[?] 4851[?]  -1040[?] 290[?] 4850[?]  -1040[?] 230[?] 4849[?]  -229[?] -289[?] 1039[?] 4848[?]  -1039[?] 289[?] 4847[?]  -1039[?] 229[?] 4846[?]  -228[?] -288[?] 1038[?] 4845[?]  -1038[?] 288[?] 4844[?]  -1038[?] 228[?] 4843[?]  -227[?] -287[?] 1037[?] 4842[?]  -1037[?] 287[?] 4841[?]  -1037[?] 227[?] 4840[?]  -226[?] 1036[?] -286[?] 4839[?]  -1036[?] 286[?] 4838[?]  -1036[?] 226[?] 4837[?]  -225[?] 1035[?] -285[?] 4836[?]  285[?] -1035[?] 4835[?]  -1035[?] 225[?] 4834[?]  -224[?] -284[?] 1034[?] 4833[?]  -1034[?] 284[?] 4832[?]  -1034[?] 224[?] 4831[?]  -283[?] -223[?] 1033[?] 4830[?]  -1033[?] 283[?] 4829[?]  -1033[?] 223[?] 4828[?]  -282[?] -222[?] 1032[?] 4827[?]  -1032[?] 282[?] 4826[?]  -1032[?] 222[?] 4825[?]  -281[?] -221[?] 1031[?] 4824[?]  -1031[?] 281[?] 4823[?]  -1031[?] 221[?] 4822[?]  -230[?] -270[?] 1020[?] 4791[?]  -1020[?] 270[?] 4790[?]  -1020[?] 230[?] 4789[?]  -269[?] -229[?] 1019[?] 4788[?]  -1019[?] 269[?] 4787[?]  -1019[?] 229[?] 4786[?]  -268[?] -228[?] 1018[?] 4785[?]  -1018[?] 268[?] 4784[?]  -1018[?] 228[?] 4783[?]  -267[?] -227[?] 1017[?] 4782[?]  -1017[?] 267[?] 4781[?]  -1017[?] 227[?] 4780[?]  -226[?] 1016[?] -266[?] 4779[?]  -1016[?] 266[?] 4778[?]  -1016[?] 226[?] 4777[?]  -265[?] -225[?] 1015[?] 4776[?]  -1015[?] 265[?] 4775[?]  -1015[?] 225[?] 4774[?]  -264[?] -224[?] 1014[?] 4773[?]  -1014[?] 264[?] 4772[?]  -1014[?] 224[?] 4771[?]  -263[?] -223[?] 1013[?] 4770[?]  -1013[?] 263[?] 4769[?]  -1013[?] 223[?] 4768[?]  -262[?] -222[?] 1012[?] 4767[?]  -1012[?] 262[?] 4766[?]  -1012[?] 222[?] 4765[?]  -221[?] 1011[?] -261[?] 4764[?]  -1011[?] 261[?] 4763[?]  -1011[?] 221[?] 4762[?]  -230[?] -250[?] 1000[?] 4731[?]  -1000[?] 250[?] 4730[?]  -1000[?] 230[?] 4729[?]  -229[?] -249[?] 999[?] 4728[?]  -999[?] 249[?] 4727[?]  -999[?] 229[?] 4726[?]  -228[?] -248[?] 998[?] 4725[?]  -998[?] 248[?] 4724[?]  -998[?] 228[?] 4723[?]  -227[?] -247[?] 997[?] 4722[?]  -997[?] 247[?] 4721[?]  -997[?] 227[?] 4720[?]  -226[?] -246[?] 996[?] 4719[?]  -996[?] 246[?] 4718[?]  -996[?] 226[?] 4717[?]  -225[?] 995[?] -245[?] 4716[?]  -995[?] 245[?] 4715[?]  -995[?] 225[?] 4714[?]  -224[?] 994[?] -244[?] 4713[?]  244[?] -994[?] 4712[?]  -994[?] 224[?] 4711[?]  993[?] -223[?] -243[?] 4710[?]  243[?] -993[?] 4709[?]  223[?] -993[?] 4708[?]  -222[?] 992[?] -242[?] 4707[?]  242[?] -992[?] 4706[?]  222[?] -992[?] 4705[?]  -241[?] 991[?] -221[?] 4704[?]  241[?] -991[?] 4703[?]  221[?] -991[?] 4702[?]  -980[?] 290[?] 4670[?]  -980[?] 220[?] 4669[?]  -979[?] 289[?] 4667[?]  -979[?] 219[?] 4666[?]  -978[?] 288[?] 4664[?]  -978[?] 218[?] 4663[?]  -977[?] 287[?] 4661[?]  -977[?] 217[?] 4660[?]  -976[?] 286[?] 4658[?]  216[?] -976[?] 4657[?]  -975[?] 285[?] 4655[?]  -975[?] 215[?] 4654[?]  -974[?] 284[?] 4652[?]  -974[?] 214[?] 4651[?]  -973[?] 283[?] 4649[?]  -973[?] 213[?] 4648[?]  -972[?] 282[?] 4646[?]  -972[?] 212[?] 4645[?]  -971[?] 281[?] 4643[?]  -971[?] 211[?] 4642[?]  -960[?] 270[?] 4610[?]  -960[?] 220[?] 4609[?]  -959[?] 269[?] 4607[?]  -959[?] 219[?] 4606[?]  -958[?] 268[?] 4604[?]  -958[?] 218[?] 4603[?]  -957[?] 267[?] 4601[?]  -957[?] 217[?] 4600[?]  -956[?] 266[?] 4598[?]  216[?] -956[?] 4597[?]  -955[?] 265[?] 4595[?]  -955[?] 215[?] 4594[?]  -954[?] 264[?] 4592[?]  -954[?] 214[?] 4591[?]  -953[?] 263[?] 4589[?]  -953[?] 213[?] 4588[?]  -952[?] 262[?] 4586[?]  -952[?] 212[?] 4585[?]  -951[?] 261[?] 4583[?]  -951[?] 211[?] 4582[?]  -940[?] 250[?] 4550[?]  -939[?] 249[?] 4547[?]  -938[?] 248[?] 4544[?]  -937[?] 247[?] 4541[?]  -936[?] 246[?] 4538[?]  -936[?] 216[?] 4537[?]  -935[?] 245[?] 4535[?]  -935[?] 215[?] 4534[?]  -934[?] 244[?] 4532[?]  -934[?] 214[?] 4531[?]  243[?] -933[?] 4529[?]  -933[?] 213[?] 4528[?]  -932[?] 242[?] 4526[?]  -932[?] 212[?] 4525[?]  -931[?] 241[?] 4523[?]  -931[?] 211[?] 4522[?]  -220[?] -230[?] 920[?] 4491[?]  -219[?] -229[?] 919[?] 4488[?]  -218[?] -228[?] 918[?] 4485[?]  -217[?] -227[?] 917[?] 4482[?]  -226[?] -216[?] 916[?] 4479[?]  -215[?] -225[?] 915[?] 4476[?]  -915[?] 225[?] 4475[?]  -214[?] -224[?] 914[?] 4473[?]  -213[?] -223[?] 913[?] 4470[?]  -913[?] 223[?] 4469[?]  -212[?] -222[?] 912[?] 4467[?]  -211[?] -221[?] 911[?] 4464[?]  -910[?] 290[?] 4460[?]  -910[?] 210[?] 4459[?]  -909[?] 289[?] 4457[?]  -908[?] 288[?] 4454[?]  -907[?] 287[?] 4451[?]  -906[?] 286[?] 4448[?]  -906[?] 206[?] 4447[?]  -905[?] 285[?] 4445[?]  -904[?] 284[?] 4442[?]  -903[?] 283[?] 4439[?]  -902[?] 282[?] 4436[?]  -901[?] 281[?] 4433[?]  -890[?] 270[?] 4400[?]  -890[?] 210[?] 4399[?]  -889[?] 269[?] 4397[?]  -888[?] 268[?] 4394[?]  -887[?] 267[?] 4391[?]  -886[?] 266[?] 4388[?]  -885[?] 265[?] 4385[?]  -884[?] 264[?] 4382[?]  -883[?] 263[?] 4379[?]  -883[?] 203[?] 4378[?]  -882[?] 262[?] 4376[?]  -881[?] 261[?] 4373[?]  -881[?] 201[?] 4372[?]  -870[?] 250[?] 4340[?]  -869[?] 249[?] 4337[?]  -868[?] 248[?] 4334[?]  -867[?] 247[?] 4331[?]  -866[?] 246[?] 4328[?]  -865[?] 245[?] 4325[?]  -865[?] 205[?] 4324[?]  -864[?] 244[?] 4322[?]  -864[?] 204[?] 4321[?]  -863[?] 243[?] 4319[?]  -862[?] 242[?] 4316[?]  -861[?] 241[?] 4313[?]  -861[?] 201[?] 4312[?]  -204[?] -224[?] 844[?] 4263[?]  -203[?] 843[?] -223[?] 4260[?]  -202[?] -222[?] 842[?] 4257[?]  -842[?] 202[?] 4255[?]  -290[?] -200[?] 830[?] 4221[?]  -830[?] 290[?] 4220[?]  -830[?] 200[?] 4219[?]  -199[?] -289[?] 829[?] 4218[?]  -829[?] 289[?] 4217[?]  -829[?] 199[?] 4216[?]  -198[?] -288[?] 828[?] 4215[?]  -828[?] 288[?] 4214[?]  -828[?] 198[?] 4213[?]  -197[?] -287[?] 827[?] 4212[?]  -827[?] 287[?] 4211[?]  -827[?] 197[?] 4210[?]  -196[?] 826[?] -286[?] 4209[?]  -826[?] 286[?] 4208[?]  -826[?] 196[?] 4207[?]  -195[?] 825[?] -285[?] 4206[?]  -825[?] 285[?] 4205[?]  -825[?] 195[?] 4204[?]  -194[?] -284[?] 824[?] 4203[?]  -824[?] 284[?] 4202[?]  -824[?] 194[?] 4201[?]  -193[?] -283[?] 823[?] 4200[?]  -823[?] 283[?] 4199[?]  -823[?] 193[?] 4198[?]  -192[?] -282[?] 822[?] 4197[?]  -822[?] 282[?] 4196[?]  -822[?] 192[?] 4195[?]  -821[?] 281[?] 4193[?]  -821[?] 191[?] 4192[?]  810[?] -270[?] -200[?] 4161[?]  270[?] -810[?] 4160[?]  200[?] -810[?] 4159[?]  -199[?] -269[?] 809[?] 4158[?]  -809[?] 269[?] 4157[?]  -809[?] 199[?] 4156[?]  -198[?] -268[?] 808[?] 4155[?]  -808[?] 268[?] 4154[?]  -808[?] 198[?] 4153[?]  -267[?] -197[?] 807[?] 4152[?]  -807[?] 267[?] 4151[?]  -807[?] 197[?] 4150[?]  -196[?] 806[?] -266[?] 4149[?]  266[?] -806[?] 4148[?]  -806[?] 196[?] 4147[?]  -195[?] -265[?] 805[?] 4146[?]  -805[?] 265[?] 4145[?]  -805[?] 195[?] 4144[?]  -194[?] -264[?] 804[?] 4143[?]  -804[?] 264[?] 4142[?]  -804[?] 194[?] 4141[?]  -193[?] -263[?] 803[?] 4140[?]  -803[?] 263[?] 4139[?]  -803[?] 193[?] 4138[?]  -192[?] -262[?] 802[?] 4137[?]  -802[?] 262[?] 4136[?]  -802[?] 192[?] 4135[?]  261[?] -801[?] 4133[?]  191[?] -801[?] 4132[?]  -250[?] -200[?] 790[?] 4101[?]  -790[?] 250[?] 4100[?]  -790[?] 200[?] 4099[?]  -199[?] -249[?] 789[?] 4098[?]  -789[?] 249[?] 4097[?]  -789[?] 199[?] 4096[?]  -198[?] -248[?] 788[?] 4095[?]  -788[?] 248[?] 4094[?]  -788[?] 198[?] 4093[?]  -197[?] -247[?] 787[?] 4092[?]  -787[?] 247[?] 4091[?]  -787[?] 197[?] 4090[?]  -246[?] -196[?] 786[?] 4089[?]  -786[?] 246[?] 4088[?]  -786[?] 196[?] 4087[?]  -195[?] -245[?] 785[?] 4086[?]  -785[?] 245[?] 4085[?]  -785[?] 195[?] 4084[?]  -194[?] 784[?] -244[?] 4083[?]  -784[?] 244[?] 4082[?]  -784[?] 194[?] 4081[?]  -193[?] 783[?] -243[?] 4080[?]  -783[?] 243[?] 4079[?]  -783[?] 193[?] 4078[?]  -192[?] 782[?] -242[?] 4077[?]  -782[?] 242[?] 4076[?]  -782[?] 192[?] 4075[?]  -241[?] 781[?] -191[?] 4074[?]  -781[?] 241[?] 4073[?]  -781[?] 191[?] 4072[?]  -230[?] -200[?] 770[?] 4041[?]  -770[?] 230[?] 4040[?]  -770[?] 200[?] 4039[?]  -199[?] -229[?] 769[?] 4038[?]  -769[?] 229[?] 4037[?]  -769[?] 199[?] 4036[?]  -198[?] -228[?] 768[?] 4035[?]  -768[?] 228[?] 4034[?]  -768[?] 198[?] 4033[?]  -197[?] -227[?] 767[?] 4032[?]  -767[?] 227[?] 4031[?]  -767[?] 197[?] 4030[?]  -226[?] -196[?] 766[?] 4029[?]  -766[?] 226[?] 4028[?]  -766[?] 196[?] 4027[?]  -195[?] -225[?] 765[?] 4026[?]  -765[?] 225[?] 4025[?]  -765[?] 195[?] 4024[?]  -194[?] -224[?] 764[?] 4023[?]  -764[?] 224[?] 4022[?]  -764[?] 194[?] 4021[?]  -193[?] -223[?] 763[?] 4020[?]  -763[?] 223[?] 4019[?]  -763[?] 193[?] 4018[?]  -192[?] -222[?] 762[?] 4017[?]  -762[?] 222[?] 4016[?]  -762[?] 192[?] 4015[?]  -221[?] -191[?] 761[?] 4014[?]  -761[?] 221[?] 4013[?]  -761[?] 191[?] 4012[?]  -760[?] 220[?] 4010[?]  -760[?] 200[?] 4009[?]  -759[?] 219[?] 4007[?]  -759[?] 199[?] 4006[?]  -758[?] 218[?] 4004[?]  -758[?] 198[?] 4003[?]  -757[?] 217[?] 4001[?]  -757[?] 197[?] 4000[?]  -756[?] 216[?] 3998[?]  -756[?] 196[?] 3997[?]  -755[?] 215[?] 3995[?]  -755[?] 195[?] 3994[?]  -754[?] 214[?] 3992[?]  -754[?] 194[?] 3991[?]  -753[?] 213[?] 3989[?]  -753[?] 193[?] 3988[?]  -752[?] 192[?] 3985[?]  -751[?] 191[?] 3982[?]  -750[?] 200[?] 3979[?]  -749[?] 209[?] 3977[?]  -749[?] 199[?] 3976[?]  -748[?] 208[?] 3974[?]  -748[?] 198[?] 3973[?]  -747[?] 207[?] 3971[?]  -747[?] 197[?] 3970[?]  -746[?] 206[?] 3968[?]  -746[?] 196[?] 3967[?]  -745[?] 205[?] 3965[?]  -745[?] 195[?] 3964[?]  -744[?] 204[?] 3962[?]  -744[?] 194[?] 3961[?]  -743[?] 193[?] 3958[?]  -742[?] 192[?] 3955[?]  -741[?] 191[?] 3952[?]  69[?] 2601[?] 67[?] 2600[?] 65[?] 2599[?] 47[?] 2596[?] 89[?] 2592[?] 84[?] 50[?] 54[?] 2589[?]  71[?] 84[?] 75[?] 2588[?]  62[?] 58[?] 84[?] 2587[?]  48[?] 75[?] 54[?] 2577[?]  62[?] 46[?] 54[?] 2576[?]  52[?] 50[?] 82[?] 2572[?]  71[?] 73[?] 82[?] 2571[?]  52[?] 48[?] 73[?] 2560[?]  60[?] 46[?] 52[?] 2559[?]  5[?] 3[?] 26[?] 2543[?]  30[?] 39[?] 26[?] 2542[?]  28[?] 37[?] 26[?] 2540[?]  18[?] 26[?] 20[?] 2539[?]  9[?] 30[?] 3[?] 2535[?]  28[?] 3[?] 7[?] 2533[?]  18[?] 3[?] 2[?] 2532[?]  28[?] 30[?] 44[?] 2527[?]  11[?] 28[?] 15[?] 2522[?]  9[?] 5[?] 39[?] 2517[?]  37[?] 5[?] 7[?] 2515[?]  37[?] 39[?] 24[?] 22[?] 20[?] 44[?] 2509[?]  1[?] 17[?] 9[?] 2499[?]  9[?] 7[?] 2[?] 22[?] 24[?] 44[?] 2498[?]  -44[?] -89[?] 2484[?]  -39[?] -84[?] 2479[?]  -82[?] -37[?] 2477[?]  -75[?] -30[?] 2470[?]  -73[?] -28[?] 2468[?]  -26[?] -71[?] 2466[?]  -24[?] -69[?] 2464[?]  -22[?] -67[?] 2462[?]  -20[?] -65[?] 2460[?]  -63[?] -18[?] 2458[?]  -17[?] -62[?] 2457[?]  -15[?] -60[?] 2455[?]  -56[?] -11[?] 2451[?]  -54[?] -9[?] 2449[?]  -7[?] -52[?] 2447[?]  -50[?] -5[?] 2445[?]  -3[?] -48[?] 2443[?]  -2[?] -47[?] 2442[?]  -46[?] -1[?] 2441[?]  -290[?] -288[?] 289[?] 2440[?]  -290[?] -287[?] 288[?] 2439[?]  -289[?] -287[?] 288[?] 2438[?]  -290[?] 287[?] -286[?] 2437[?]  -289[?] 287[?] -286[?] 2436[?]  -288[?] 287[?] -286[?] 2435[?]  -290[?] 286[?] -285[?] 2434[?]  -289[?] 286[?] -285[?] 2433[?]  -288[?] 286[?] -285[?] 2432[?]  -287[?] 286[?] -285[?] 2431[?]  -290[?] 285[?] -284[?] 2430[?]  -289[?] 285[?] -284[?] 2429[?]  -288[?] 285[?] -284[?] 2428[?]  -287[?] 285[?] -284[?] 2427[?]  285[?] -284[?] -286[?] 2426[?]  -290[?] -283[?] 284[?] 2425[?]  -289[?] -283[?] 284[?] 2424[?]  -288[?] -283[?] 284[?] 2423[?]  -283[?] -287[?] 284[?] 2422[?]  -283[?] 284[?] -286[?] 2421[?]  -283[?] 284[?] -285[?] 2420[?]  -290[?] -282[?] 283[?] 2419[?]  -289[?] -282[?] 283[?] 2418[?]  -282[?] -288[?] 283[?] 2417[?]  -282[?] -287[?] 283[?] 2416[?]  -282[?] 283[?] -286[?] 2415[?]  -282[?] 283[?] -285[?] 2414[?]  -282[?] -284[?] 283[?] 2413[?]  -290[?] -281[?] 282[?] 2412[?]  -281[?] -289[?] 282[?] 2411[?]  -281[?] -288[?] 282[?] 2410[?]  -281[?] -287[?] 282[?] 2409[?]  -281[?] 282[?] -286[?] 2408[?]  -281[?] 282[?] -285[?] 2407[?]  -281[?] -284[?] 282[?] 2406[?]  -281[?] -283[?] 282[?] 2405[?]  -268[?] 269[?] -270[?] 2368[?]  -267[?] 268[?] -270[?] 2367[?]  -269[?] -267[?] 268[?] 2366[?]  267[?] -270[?] -266[?] 2365[?]  -269[?] 267[?] -266[?] 2364[?]  -268[?] 267[?] -266[?] 2363[?]  -265[?] 266[?] -270[?] 2362[?]  -269[?] -265[?] 266[?] 2361[?]  -268[?] -265[?] 266[?] 2360[?]  -267[?] -265[?] 266[?] 2359[?]  -264[?] -270[?] 265[?] 2358[?]  -269[?] -264[?] 265[?] 2357[?]  -268[?] -264[?] 265[?] 2356[?]  -267[?] -264[?] 265[?] 2355[?]  -264[?] 265[?] -266[?] 2354[?]  -263[?] -270[?] 264[?] 2353[?]  -269[?] -263[?] 264[?] 2352[?]  -268[?] -263[?] 264[?] 2351[?]  -267[?] -263[?] 264[?] 2350[?]  -263[?] -266[?] 264[?] 2349[?]  -265[?] -263[?] 264[?] 2348[?]  -262[?] -270[?] 263[?] 2347[?]  -269[?] -262[?] 263[?] 2346[?]  -268[?] -262[?] 263[?] 2345[?]  -267[?] -262[?] 263[?] 2344[?]  -262[?] -266[?] 263[?] 2343[?]  -265[?] -262[?] 263[?] 2342[?]  -262[?] -264[?] 263[?] 2341[?]  -270[?] 262[?] -261[?] 2340[?]  -269[?] 262[?] -261[?] 2339[?]  -268[?] 262[?] -261[?] 2338[?]  -267[?] 262[?] -261[?] 2337[?]  -266[?] 262[?] -261[?] 2336[?]  -265[?] 262[?] -261[?] 2335[?]  -264[?] 262[?] -261[?] 2334[?]  -263[?] 262[?] -261[?] 2333[?]  -250[?] -248[?] 249[?] 2296[?]  -250[?] -247[?] 248[?] 2295[?]  -249[?] -247[?] 248[?] 2294[?]  -250[?] -246[?] 247[?] 2293[?]  -249[?] -246[?] 247[?] 2292[?]  -246[?] -248[?] 247[?] 2291[?]  -250[?] -245[?] 246[?] 2290[?]  -249[?] -245[?] 246[?] 2289[?]  -248[?] -245[?] 246[?] 2288[?]  -247[?] -245[?] 246[?] 2287[?]  -250[?] 245[?] -244[?] 2286[?]  -249[?] 245[?] -244[?] 2285[?]  -248[?] 245[?] -244[?] 2284[?]  -247[?] 245[?] -244[?] 2283[?]  -246[?] 245[?] -244[?] 2282[?]  -250[?] 244[?] -243[?] 2281[?]  -249[?] 244[?] -243[?] 2280[?]  -248[?] 244[?] -243[?] 2279[?]  -247[?] 244[?] -243[?] 2278[?]  -246[?] 244[?] -243[?] 2277[?]  244[?] -245[?] -243[?] 2276[?]  -250[?] 243[?] -242[?] 2275[?]  -249[?] 243[?] -242[?] 2274[?]  243[?] -248[?] -242[?] 2273[?]  243[?] -247[?] -242[?] 2272[?]  -246[?] 243[?] -242[?] 2271[?]  243[?] -245[?] -242[?] 2270[?]  243[?] -242[?] -244[?] 2269[?]  -250[?] -241[?] 242[?] 2268[?]  -249[?] -241[?] 242[?] 2267[?]  -241[?] -248[?] 242[?] 2266[?]  -247[?] -241[?] 242[?] 2265[?]  -246[?] -241[?] 242[?] 2264[?]  -241[?] 242[?] -245[?] 2263[?]  -241[?] 242[?] -244[?] 2262[?]  -241[?] 242[?] -243[?] 2261[?]  -230[?] -228[?] 229[?] 2224[?]  -230[?] -227[?] 228[?] 2223[?]  -229[?] -227[?] 228[?] 2222[?]  -230[?] -226[?] 227[?] 2221[?]  -229[?] -226[?] 227[?] 2220[?]  -226[?] -228[?] 227[?] 2219[?]  -230[?] -225[?] 226[?] 2218[?]  -229[?] -225[?] 226[?] 2217[?]  -228[?] -225[?] 226[?] 2216[?]  -227[?] -225[?] 226[?] 2215[?]  -230[?] -224[?] 225[?] 2214[?]  -229[?] -224[?] 225[?] 2213[?]  -228[?] -224[?] 225[?] 2212[?]  -227[?] -224[?] 225[?] 2211[?]  -226[?] -224[?] 225[?] 2210[?]  -230[?] -223[?] 224[?] 2209[?]  -229[?] -223[?] 224[?] 2208[?]  -228[?] -223[?] 224[?] 2207[?]  -227[?] -223[?] 224[?] 2206[?]  -226[?] -223[?] 224[?] 2205[?]  -225[?] -223[?] 224[?] 2204[?]  -230[?] -222[?] 223[?] 2203[?]  -229[?] -222[?] 223[?] 2202[?]  -228[?] -222[?] 223[?] 2201[?]  -227[?] -222[?] 223[?] 2200[?]  -226[?] -222[?] 223[?] 2199[?]  -222[?] -225[?] 223[?] 2198[?]  -222[?] -224[?] 223[?] 2197[?]  -230[?] 222[?] -221[?] 2196[?]  -229[?] 222[?] -221[?] 2195[?]  -228[?] 222[?] -221[?] 2194[?]  -227[?] 222[?] -221[?] 2193[?]  -226[?] 222[?] -221[?] 2192[?]  222[?] -225[?] -221[?] 2191[?]  222[?] -224[?] -221[?] 2190[?]  222[?] -221[?] -223[?] 2189[?]  -220[?] -217[?] 218[?] 2187[?]  -217[?] -219[?] 218[?] 2186[?]  -218[?] -216[?] 217[?] 2183[?]  -220[?] 216[?] -215[?] 2182[?]  -219[?] 216[?] -215[?] 2181[?]  -218[?] 216[?] -215[?] 2180[?]  -217[?] 216[?] -215[?] 2179[?]  -220[?] -214[?] 215[?] 2178[?]  -214[?] -219[?] 215[?] 2177[?]  -218[?] -214[?] 215[?] 2176[?]  -214[?] -217[?] 215[?] 2175[?]  -214[?] -216[?] 215[?] 2174[?]  -220[?] -213[?] 214[?] 2173[?]  -219[?] -213[?] 214[?] 2172[?]  -218[?] -213[?] 214[?] 2171[?]  -217[?] -213[?] 214[?] 2170[?]  -216[?] -213[?] 214[?] 2169[?]  -215[?] -213[?] 214[?] 2168[?]  -212[?] -220[?] 213[?] 2167[?]  -212[?] -219[?] 213[?] 2166[?]  -212[?] -218[?] 213[?] 2165[?]  -212[?] -217[?] 213[?] 2164[?]  -212[?] -216[?] 213[?] 2163[?]  -212[?] -215[?] 213[?] 2162[?]  -212[?] -214[?] 213[?] 2161[?]  -220[?] -211[?] 212[?] 2160[?]  -211[?] -219[?] 212[?] 2159[?]  -218[?] -211[?] 212[?] 2158[?]  -217[?] -211[?] 212[?] 2157[?]  -211[?] -216[?] 212[?] 2156[?]  -211[?] -215[?] 212[?] 2155[?]  -214[?] -211[?] 212[?] 2154[?]  -211[?] 212[?] -213[?] 2153[?]  -198[?] -200[?] 199[?] 2116[?]  -197[?] -200[?] 198[?] 2115[?]  -199[?] -197[?] 198[?] 2114[?]  197[?] -196[?] -200[?] 2113[?]  -199[?] 197[?] -196[?] 2112[?]  -198[?] 197[?] -196[?] 2111[?]  -195[?] -200[?] 196[?] 2110[?]  -199[?] -195[?] 196[?] 2109[?]  -198[?] -195[?] 196[?] 2108[?]  -197[?] -195[?] 196[?] 2107[?]  -194[?] -200[?] 195[?] 2106[?]  -199[?] -194[?] 195[?] 2105[?]  -194[?] -198[?] 195[?] 2104[?]  -194[?] -197[?] 195[?] 2103[?]  -194[?] -196[?] 195[?] 2102[?]  -193[?] -200[?] 194[?] 2101[?]  -199[?] -193[?] 194[?] 2100[?]  -198[?] -193[?] 194[?] 2099[?]  -197[?] -193[?] 194[?] 2098[?]  -193[?] -196[?] 194[?] 2097[?]  -195[?] -193[?] 194[?] 2096[?]  -192[?] -200[?] 193[?] 2095[?]  -199[?] -192[?] 193[?] 2094[?]  -192[?] -198[?] 193[?] 2093[?]  -192[?] -197[?] 193[?] 2092[?]  -192[?] -196[?] 193[?] 2091[?]  -192[?] -195[?] 193[?] 2090[?]  -192[?] -194[?] 193[?] 2089[?]  -200[?] 192[?] -191[?] 2088[?]  -199[?] 192[?] -191[?] 2087[?]  -198[?] 192[?] -191[?] 2086[?]  -197[?] 192[?] -191[?] 2085[?]  -196[?] 192[?] -191[?] 2084[?]  -195[?] 192[?] -191[?] 2083[?]  -194[?] 192[?] -191[?] 2082[?]  -193[?] 192[?] -191[?] 2081[?]  288[?] 285[?] 290[?] 284[?] 281[?] 283[?] 287[?] 286[?] 289[?] 282[?] 1720[?]  243[?] 244[?] 245[?] 241[?] 250[?] 249[?] 242[?] 246[?] 247[?] 248[?] 1716[?]  200[?] 197[?] 195[?] 191[?] 199[?] 198[?] 194[?] 192[?] 193[?] 196[?] 1711[?]  -199[?] -250[?] 249[?] 1700[?]  -198[?] -250[?] 248[?] 1698[?]  -198[?] -249[?] 248[?] 1696[?]  -197[?] -250[?] 247[?] 1694[?]  -197[?] -249[?] 247[?] 1692[?]  -197[?] -248[?] 247[?] 1690[?]  -250[?] -196[?] 246[?] 1688[?]  -249[?] -196[?] 246[?] 1686[?]  -248[?] -196[?] 246[?] 1684[?]  -247[?] -196[?] 246[?] 1682[?]  -195[?] -250[?] 245[?] 1680[?]  -195[?] -249[?] 245[?] 1678[?]  -195[?] -248[?] 245[?] 1676[?]  -195[?] -247[?] 245[?] 1674[?]  -195[?] -246[?] 245[?] 1672[?]  -194[?] -250[?] 244[?] 1670[?]  -194[?] -249[?] 244[?] 1668[?]  -194[?] -248[?] 244[?] 1666[?]  -194[?] -247[?] 244[?] 1664[?]  -194[?] -246[?] 244[?] 1662[?]  -194[?] 244[?] -245[?] 1660[?]  -250[?] -193[?] 243[?] 1658[?]  -193[?] -249[?] 243[?] 1656[?]  -193[?] 243[?] -248[?] 1654[?]  -193[?] 243[?] -247[?] 1652[?]  -193[?] -246[?] 243[?] 1650[?]  -193[?] 243[?] -245[?] 1648[?]  -193[?] 243[?] -244[?] 1646[?]  -192[?] -250[?] 242[?] 1644[?]  -192[?] -249[?] 242[?] 1642[?]  -192[?] -248[?] 242[?] 1640[?]  -192[?] -247[?] 242[?] 1638[?]  -192[?] -246[?] 242[?] 1636[?]  -192[?] 242[?] -245[?] 1634[?]  -192[?] 242[?] -244[?] 1632[?]  -192[?] 242[?] -243[?] 1630[?]  -250[?] 241[?] -191[?] 1628[?]  -249[?] 241[?] -191[?] 1626[?]  -248[?] 241[?] -191[?] 1624[?]  -247[?] 241[?] -191[?] 1622[?]  -246[?] 241[?] -191[?] 1620[?]  241[?] -245[?] -191[?] 1618[?]  241[?] -244[?] -191[?] 1616[?]  241[?] -191[?] -243[?] 1614[?]  241[?] -242[?] -191[?] 1612[?]  
1.02/0.69	c qxplain 0/1103
1.18/0.70	c qxplain 552/1103
1.18/0.76	c qxplain 828/1103
1.18/0.77	c qxplain 966/1103
1.18/0.77	c qxplain 1035/1103
1.18/0.78	c qxplain 1070/1103
1.37/0.86	c qxplain 1035/1069
1.37/0.87	c qxplain 1053/1069
1.57/0.91	c qxplain 1062/1069
1.57/0.98	c qxplain 1053/1061
1.57/0.99	c qxplain 1058/1061
1.78/1.05	c qxplain 1053/1057
1.78/1.05	c qxplain 1056/1057
1.88/1.11	c qxplain 1053/1055
1.88/1.12	c qxplain 1055/1055
1.88/1.15	c qxplain 1053/1054
1.88/1.15	c qxplain 1054/1054
1.88/1.15	c 2082[?] -191[?] 192[?] -194[?]  is mandatory 
1.88/1.15	c qxplain 1053/1053
1.88/1.17	c 2083[?] -191[?] -195[?] 192[?]  is mandatory 
1.88/1.17	c qxplain 1035/1052
1.88/1.19	c qxplain 1044/1052
1.97/1.20	c qxplain 1049/1052
1.97/1.20	c qxplain 1051/1052
1.97/1.21	c qxplain 1052/1052
1.97/1.21	c 2084[?] -196[?] -191[?] 192[?]  is mandatory 
1.97/1.21	c qxplain 1051/1051
1.97/1.22	c 2085[?] -197[?] -191[?] 192[?]  is mandatory 
1.97/1.22	c qxplain 1049/1050
1.97/1.22	c qxplain 1050/1050
1.97/1.22	c 2086[?] -198[?] -191[?] 192[?]  is mandatory 
1.97/1.22	c qxplain 1049/1049
1.97/1.25	c 2087[?] -199[?] -191[?] 192[?]  is mandatory 
1.97/1.25	c qxplain 1044/1048
1.97/1.25	c qxplain 1047/1048
1.97/1.27	c qxplain 1048/1048
1.97/1.28	c 2088[?] -191[?] -200[?] 192[?]  is mandatory 
1.97/1.28	c qxplain 1047/1047
2.07/1.34	c qxplain 1044/1046
2.07/1.34	c qxplain 1046/1046
2.17/1.41	c qxplain 1044/1045
2.17/1.42	c qxplain 1045/1045
2.17/1.42	c 2091[?] -196[?] -192[?] 193[?]  is mandatory 
2.17/1.42	c qxplain 1044/1044
2.17/1.43	c 2092[?] -197[?] -192[?] 193[?]  is mandatory 
2.17/1.43	c qxplain 1035/1043
2.17/1.43	c qxplain 1040/1043
2.17/1.45	c qxplain 1042/1043
2.17/1.45	c qxplain 1043/1043
2.17/1.46	c 2093[?] -198[?] -192[?] 193[?]  is mandatory 
2.17/1.46	c qxplain 1042/1042
2.17/1.48	c 2094[?] -192[?] -199[?] 193[?]  is mandatory 
2.17/1.48	c qxplain 1040/1041
2.27/1.50	c qxplain 1041/1041
2.27/1.50	c 2095[?] -192[?] -200[?] 193[?]  is mandatory 
2.27/1.50	c qxplain 1040/1040
2.27/1.55	c qxplain 1035/1039
2.27/1.55	c qxplain 1038/1039
2.27/1.56	c qxplain 1039/1039
2.37/1.62	c qxplain 1038/1038
2.37/1.63	c 2098[?] -197[?] -193[?] 194[?]  is mandatory 
2.37/1.63	c qxplain 1035/1037
2.37/1.63	c qxplain 1037/1037
2.37/1.64	c 2099[?] -198[?] -193[?] 194[?]  is mandatory 
2.37/1.64	c qxplain 1035/1036
2.37/1.66	c qxplain 1036/1036
2.37/1.69	c 2100[?] -193[?] -199[?] 194[?]  is mandatory 
2.37/1.69	c qxplain 1035/1035
2.47/1.71	c 2101[?] -193[?] -200[?] 194[?]  is mandatory 
2.47/1.71	c qxplain 966/1034
2.47/1.71	c qxplain 1001/1034
2.47/1.71	c qxplain 1018/1034
2.47/1.72	c qxplain 1027/1034
2.47/1.72	c qxplain 1031/1034
2.47/1.72	c qxplain 1033/1034
2.47/1.78	c qxplain 1031/1032
2.47/1.79	c qxplain 1032/1032
2.47/1.79	c 2104[?] -198[?] 195[?] -194[?]  is mandatory 
2.47/1.79	c qxplain 1031/1031
2.57/1.81	c 2105[?] -194[?] 195[?] -199[?]  is mandatory 
2.57/1.81	c qxplain 1027/1030
2.57/1.84	c qxplain 1029/1030
2.57/1.87	c qxplain 1030/1030
2.57/1.89	c 2106[?] 195[?] -194[?] -200[?]  is mandatory 
2.57/1.89	c qxplain 1029/1029
2.67/1.95	c qxplain 1027/1028
2.67/1.98	c qxplain 1028/1028
2.77/2.10	c qxplain 1027/1027
2.87/2.13	c 2109[?] -195[?] -199[?] 196[?]  is mandatory 
2.87/2.13	c qxplain 1018/1026
2.87/2.16	c qxplain 1023/1026
2.87/2.19	c qxplain 1025/1026
2.98/2.22	c qxplain 1026/1026
2.98/2.24	c 2110[?] -195[?] -200[?] 196[?]  is mandatory 
2.98/2.24	c qxplain 1025/1025
3.07/2.32	c qxplain 1023/1024
3.07/2.35	c qxplain 1024/1024
3.19/2.44	c qxplain 1023/1023
3.19/2.46	c 2113[?] 197[?] -200[?] -196[?]  is mandatory 
3.19/2.46	c qxplain 1018/1022
3.29/2.58	c qxplain 1001/1017
3.40/2.61	c qxplain 966/1000
3.40/2.62	c qxplain 984/1000
3.40/2.66	c qxplain 993/1000
3.49/2.74	c qxplain 984/992
3.49/2.76	c qxplain 989/992
3.49/2.77	c qxplain 984/988
3.49/2.77	c qxplain 987/988
3.49/2.77	c qxplain 984/986
3.49/2.77	c qxplain 986/986
3.59/2.83	c 2189[?] -223[?] -221[?] 222[?]  is mandatory 
3.59/2.83	c qxplain 984/985
3.59/2.84	c qxplain 985/985
3.69/2.90	c 2190[?] -224[?] 222[?] -221[?]  is mandatory 
3.69/2.90	c qxplain 984/984
3.69/2.90	c 2191[?] -225[?] -221[?] 222[?]  is mandatory 
3.69/2.90	c qxplain 966/983
3.69/2.91	c qxplain 975/983
3.69/2.91	c qxplain 980/983
3.69/2.91	c qxplain 982/983
3.69/2.91	c qxplain 983/983
3.69/2.96	c 2192[?] -226[?] -221[?] 222[?]  is mandatory 
3.69/2.96	c qxplain 982/982
3.69/2.97	c 2193[?] -227[?] -221[?] 222[?]  is mandatory 
3.69/2.97	c qxplain 980/981
3.69/2.97	c qxplain 981/981
3.69/2.97	c 2194[?] -228[?] -221[?] 222[?]  is mandatory 
3.69/2.97	c qxplain 980/980
3.69/2.97	c 2195[?] -229[?] -221[?] 222[?]  is mandatory 
3.69/2.97	c qxplain 975/979
3.69/2.98	c qxplain 978/979
3.69/2.98	c qxplain 979/979
3.69/2.98	c 2196[?] -230[?] -221[?] 222[?]  is mandatory 
3.69/2.98	c qxplain 978/978
3.79/3.08	c 2197[?] -224[?] -222[?] 223[?]  is mandatory 
3.79/3.08	c qxplain 975/977
3.79/3.09	c qxplain 977/977
3.89/3.15	c 2198[?] -225[?] 223[?] -222[?]  is mandatory 
3.89/3.15	c qxplain 975/976
3.89/3.16	c qxplain 976/976
3.89/3.19	c 2199[?] -226[?] -222[?] 223[?]  is mandatory 
3.89/3.19	c qxplain 975/975
3.89/3.19	c 2200[?] -227[?] -222[?] 223[?]  is mandatory 
3.89/3.19	c qxplain 966/974
3.89/3.19	c qxplain 971/974
4.00/3.20	c qxplain 973/974
4.00/3.20	c qxplain 974/974
4.00/3.20	c 2201[?] -228[?] -222[?] 223[?]  is mandatory 
4.00/3.20	c qxplain 973/973
4.00/3.20	c 2202[?] -229[?] -222[?] 223[?]  is mandatory 
4.00/3.20	c qxplain 971/972
4.00/3.21	c qxplain 972/972
4.00/3.21	c 2203[?] -230[?] -222[?] 223[?]  is mandatory 
4.00/3.21	c qxplain 971/971
4.00/3.28	c 2204[?] -225[?] -223[?] 224[?]  is mandatory 
4.00/3.28	c qxplain 966/970
4.00/3.29	c qxplain 969/970
4.00/3.29	c qxplain 970/970
4.10/3.38	c 2205[?] -226[?] 224[?] -223[?]  is mandatory 
4.10/3.38	c qxplain 969/969
4.10/3.38	c 2206[?] -227[?] -223[?] 224[?]  is mandatory 
4.10/3.38	c qxplain 966/968
4.10/3.39	c qxplain 968/968
4.10/3.39	c 2207[?] -228[?] -223[?] 224[?]  is mandatory 
4.10/3.39	c qxplain 966/967
4.10/3.39	c qxplain 967/967
4.10/3.39	c 2208[?] -229[?] -223[?] 224[?]  is mandatory 
4.10/3.39	c qxplain 966/966
4.19/3.40	c 2209[?] -230[?] -223[?] 224[?]  is mandatory 
4.19/3.40	c qxplain 828/965
4.19/3.40	c qxplain 897/965
4.19/3.40	c qxplain 932/965
4.19/3.40	c qxplain 949/965
4.19/3.41	c qxplain 958/965
4.19/3.42	c qxplain 962/965
4.19/3.42	c qxplain 964/965
4.19/3.46	c qxplain 965/965
4.30/3.50	c 2210[?] -226[?] -224[?] 225[?]  is mandatory 
4.30/3.50	c qxplain 964/964
4.30/3.57	c 2211[?] -227[?] -224[?] 225[?]  is mandatory 
4.30/3.57	c qxplain 962/963
4.30/3.57	c qxplain 963/963
4.30/3.57	c 2212[?] -228[?] -224[?] 225[?]  is mandatory 
4.30/3.57	c qxplain 962/962
4.30/3.58	c 2213[?] -229[?] -224[?] 225[?]  is mandatory 
4.30/3.58	c qxplain 958/961
4.30/3.58	c qxplain 960/961
4.30/3.58	c qxplain 961/961
4.30/3.59	c 2214[?] -230[?] -224[?] 225[?]  is mandatory 
4.30/3.59	c qxplain 960/960
4.40/3.64	c 2215[?] -227[?] 226[?] -225[?]  is mandatory 
4.40/3.64	c qxplain 958/959
4.40/3.65	c qxplain 959/959
4.40/3.65	c 2216[?] -228[?] -225[?] 226[?]  is mandatory 
4.40/3.65	c qxplain 958/958
4.40/3.66	c 2217[?] -229[?] -225[?] 226[?]  is mandatory 
4.40/3.66	c qxplain 949/957
4.40/3.66	c qxplain 954/957
4.40/3.67	c qxplain 956/957
4.40/3.67	c qxplain 957/957
4.40/3.67	c 2218[?] -230[?] -225[?] 226[?]  is mandatory 
4.40/3.67	c qxplain 956/956
4.40/3.69	c 2219[?] -228[?] -226[?] 227[?]  is mandatory 
4.40/3.69	c qxplain 954/955
4.50/3.70	c qxplain 955/955
4.50/3.72	c 2220[?] -226[?] -229[?] 227[?]  is mandatory 
4.50/3.72	c qxplain 954/954
4.50/3.72	c 2221[?] -226[?] -230[?] 227[?]  is mandatory 
4.50/3.72	c qxplain 949/953
4.50/3.72	c qxplain 952/953
4.50/3.73	c qxplain 953/953
4.50/3.73	c 2222[?] -229[?] -227[?] 228[?]  is mandatory 
4.50/3.73	c qxplain 952/952
4.50/3.73	c 2223[?] -230[?] -227[?] 228[?]  is mandatory 
4.50/3.73	c qxplain 949/951
4.50/3.79	c qxplain 951/951
4.60/3.84	c 2224[?] -228[?] 229[?] -230[?]  is mandatory 
4.60/3.84	c qxplain 949/950
4.70/3.90	c qxplain 950/950
4.70/3.97	c 2261[?] -243[?] -241[?] 242[?]  is mandatory 
4.70/3.97	c qxplain 949/949
4.70/3.99	c 2262[?] -244[?] -241[?] 242[?]  is mandatory 
4.70/3.99	c qxplain 932/948
4.80/4.00	c qxplain 941/948
4.80/4.00	c qxplain 945/948
4.80/4.00	c qxplain 947/948
4.80/4.03	c qxplain 948/948
4.80/4.06	c 2263[?] -245[?] -241[?] 242[?]  is mandatory 
4.80/4.06	c qxplain 947/947
4.80/4.08	c 2264[?] -246[?] -241[?] 242[?]  is mandatory 
4.80/4.08	c qxplain 945/946
4.80/4.09	c qxplain 946/946
4.80/4.09	c 2265[?] -247[?] -241[?] 242[?]  is mandatory 
4.80/4.09	c qxplain 945/945
4.90/4.10	c 2266[?] -248[?] -241[?] 242[?]  is mandatory 
4.90/4.10	c qxplain 941/944
4.90/4.10	c qxplain 943/944
4.90/4.10	c qxplain 944/944
4.90/4.10	c 2267[?] -249[?] -241[?] 242[?]  is mandatory 
4.90/4.10	c qxplain 943/943
4.90/4.11	c 2268[?] -250[?] -241[?] 242[?]  is mandatory 
4.90/4.11	c qxplain 941/942
4.90/4.18	c qxplain 942/942
5.00/4.23	c 2269[?] -244[?] 243[?] -242[?]  is mandatory 
5.00/4.23	c qxplain 941/941
5.00/4.25	c 2270[?] -245[?] -242[?] 243[?]  is mandatory 
5.00/4.25	c qxplain 932/940
5.00/4.25	c qxplain 937/940
5.00/4.25	c qxplain 939/940
5.00/4.26	c qxplain 940/940
5.11/4.32	c 2271[?] -246[?] -242[?] 243[?]  is mandatory 
5.11/4.32	c qxplain 939/939
5.11/4.33	c 2272[?] -247[?] -242[?] 243[?]  is mandatory 
5.11/4.33	c qxplain 937/938
5.11/4.33	c qxplain 938/938
5.11/4.34	c 2273[?] -248[?] -242[?] 243[?]  is mandatory 
5.11/4.34	c qxplain 937/937
5.11/4.34	c 2274[?] -249[?] -242[?] 243[?]  is mandatory 
5.11/4.34	c qxplain 932/936
5.11/4.34	c qxplain 935/936
5.11/4.35	c qxplain 936/936
5.11/4.35	c 2275[?] -250[?] -242[?] 243[?]  is mandatory 
5.11/4.35	c qxplain 935/935
5.21/4.46	c 2276[?] -245[?] 244[?] -243[?]  is mandatory 
5.21/4.46	c qxplain 932/934
5.21/4.46	c qxplain 934/934
5.30/4.56	c 2277[?] -246[?] -243[?] 244[?]  is mandatory 
5.30/4.56	c qxplain 932/933
5.30/4.56	c qxplain 933/933
5.30/4.57	c 2278[?] -243[?] -247[?] 244[?]  is mandatory 
5.30/4.57	c qxplain 932/932
5.30/4.57	c 2279[?] -248[?] -243[?] 244[?]  is mandatory 
5.30/4.57	c qxplain 897/931
5.30/4.58	c qxplain 915/931
5.30/4.58	c qxplain 924/931
5.30/4.58	c qxplain 928/931
5.30/4.59	c qxplain 930/931
5.30/4.59	c qxplain 931/931
5.30/4.59	c 2280[?] -249[?] -243[?] 244[?]  is mandatory 
5.30/4.59	c qxplain 930/930
5.40/4.60	c 2281[?] -250[?] -243[?] 244[?]  is mandatory 
5.40/4.60	c qxplain 928/929
5.40/4.66	c qxplain 929/929
5.40/4.69	c 2282[?] -246[?] 245[?] -244[?]  is mandatory 
5.40/4.69	c qxplain 928/928
5.50/4.71	c 2283[?] -247[?] -244[?] 245[?]  is mandatory 
5.50/4.71	c qxplain 924/927
5.50/4.72	c qxplain 926/927
5.50/4.73	c qxplain 927/927
5.50/4.73	c 2284[?] -248[?] -244[?] 245[?]  is mandatory 
5.50/4.73	c qxplain 926/926
5.50/4.74	c 2285[?] -249[?] -244[?] 245[?]  is mandatory 
5.50/4.74	c qxplain 924/925
5.50/4.74	c qxplain 925/925
5.50/4.74	c 2286[?] -250[?] -244[?] 245[?]  is mandatory 
5.50/4.74	c qxplain 924/924
5.60/4.81	c 2287[?] -247[?] 246[?] -245[?]  is mandatory 
5.60/4.81	c qxplain 915/923
5.60/4.81	c qxplain 920/923
5.60/4.83	c qxplain 922/923
5.60/4.83	c qxplain 923/923
5.60/4.84	c 2288[?] -248[?] -245[?] 246[?]  is mandatory 
5.60/4.84	c qxplain 922/922
5.60/4.85	c 2289[?] -249[?] 246[?] -245[?]  is mandatory 
5.60/4.85	c qxplain 920/921
5.60/4.85	c qxplain 921/921
5.60/4.85	c 2290[?] -250[?] 246[?] -245[?]  is mandatory 
5.60/4.85	c qxplain 920/920
5.60/4.88	c 2291[?] -248[?] 247[?] -246[?]  is mandatory 
5.60/4.88	c qxplain 915/919
5.60/4.88	c qxplain 918/919
5.70/4.90	c qxplain 919/919
5.70/4.91	c 2292[?] -249[?] -246[?] 247[?]  is mandatory 
5.70/4.91	c qxplain 918/918
5.70/4.92	c 2293[?] -246[?] 247[?] -250[?]  is mandatory 
5.70/4.92	c qxplain 915/917
5.70/4.92	c qxplain 917/917
5.70/4.93	c 2294[?] -249[?] 248[?] -247[?]  is mandatory 
5.70/4.93	c qxplain 915/916
5.70/4.93	c qxplain 916/916
5.70/4.94	c 2295[?] -250[?] 248[?] -247[?]  is mandatory 
5.70/4.94	c qxplain 915/915
5.81/5.01	c 2296[?] -250[?] -248[?] 249[?]  is mandatory 
5.81/5.01	c qxplain 897/914
5.81/5.02	c qxplain 906/914
5.81/5.02	c qxplain 911/914
5.81/5.02	c qxplain 913/914
5.91/5.10	c qxplain 914/914
5.91/5.13	c 2333[?] -261[?] 262[?] -263[?]  is mandatory 
5.91/5.13	c qxplain 913/913
5.91/5.15	c 2334[?] -261[?] 262[?] -264[?]  is mandatory 
5.91/5.15	c qxplain 911/912
5.91/5.15	c qxplain 912/912
5.91/5.18	c 2335[?] -261[?] -265[?] 262[?]  is mandatory 
5.91/5.18	c qxplain 911/911
5.91/5.19	c 2336[?] -266[?] 262[?] -261[?]  is mandatory 
5.91/5.19	c qxplain 906/910
5.91/5.19	c qxplain 909/910
5.91/5.20	c qxplain 910/910
6.01/5.20	c 2337[?] -267[?] 262[?] -261[?]  is mandatory 
6.01/5.20	c qxplain 909/909
6.01/5.20	c 2338[?] -268[?] 262[?] -261[?]  is mandatory 
6.01/5.20	c qxplain 906/908
6.01/5.21	c qxplain 908/908
6.01/5.21	c 2339[?] -269[?] 262[?] -261[?]  is mandatory 
6.01/5.21	c qxplain 906/907
6.01/5.22	c qxplain 907/907
6.01/5.22	c 2340[?] -270[?] 262[?] -261[?]  is mandatory 
6.01/5.22	c qxplain 906/906
6.01/5.24	c 2341[?] 263[?] -264[?] -262[?]  is mandatory 
6.01/5.24	c qxplain 897/905
6.01/5.25	c qxplain 902/905
6.01/5.25	c qxplain 904/905
6.01/5.27	c qxplain 905/905
6.01/5.29	c 2342[?] -265[?] -262[?] 263[?]  is mandatory 
6.01/5.29	c qxplain 904/904
6.01/5.29	c 2343[?] -266[?] 263[?] -262[?]  is mandatory 
6.01/5.29	c qxplain 902/903
6.01/5.30	c qxplain 903/903
6.10/5.30	c 2344[?] -262[?] 263[?] -267[?]  is mandatory 
6.10/5.30	c qxplain 902/902
6.10/5.30	c 2345[?] -262[?] -268[?] 263[?]  is mandatory 
6.10/5.30	c qxplain 897/901
6.10/5.31	c qxplain 900/901
6.10/5.32	c qxplain 901/901
6.10/5.33	c 2346[?] 263[?] -269[?] -262[?]  is mandatory 
6.10/5.33	c qxplain 900/900
6.10/5.33	c 2347[?] 263[?] -270[?] -262[?]  is mandatory 
6.10/5.33	c qxplain 897/899
6.10/5.34	c qxplain 899/899
6.10/5.37	c 2348[?] -263[?] -265[?] 264[?]  is mandatory 
6.10/5.37	c qxplain 897/898
6.10/5.37	c qxplain 898/898
6.10/5.39	c 2349[?] -266[?] -263[?] 264[?]  is mandatory 
6.10/5.39	c qxplain 897/897
6.10/5.39	c 2350[?] -263[?] 264[?] -267[?]  is mandatory 
6.10/5.39	c qxplain 828/896
6.10/5.40	c qxplain 863/896
6.21/5.40	c qxplain 880/896
6.21/5.41	c qxplain 889/896
6.21/5.42	c qxplain 893/896
6.21/5.43	c qxplain 895/896
6.21/5.43	c qxplain 896/896
6.21/5.43	c 2351[?] -263[?] -268[?] 264[?]  is mandatory 
6.21/5.43	c qxplain 895/895
6.21/5.45	c 2352[?] -263[?] -269[?] 264[?]  is mandatory 
6.21/5.45	c qxplain 893/894
6.21/5.45	c qxplain 894/894
6.21/5.46	c 2353[?] -263[?] 264[?] -270[?]  is mandatory 
6.21/5.46	c qxplain 893/893
6.21/5.47	c 2354[?] -264[?] -266[?] 265[?]  is mandatory 
6.21/5.47	c qxplain 889/892
6.21/5.48	c qxplain 891/892
6.21/5.48	c qxplain 892/892
6.31/5.52	c 2355[?] -267[?] -264[?] 265[?]  is mandatory 
6.31/5.52	c qxplain 891/891
6.31/5.53	c 2356[?] -264[?] 265[?] -268[?]  is mandatory 
6.31/5.53	c qxplain 889/890
6.31/5.54	c qxplain 890/890
6.31/5.54	c 2357[?] -264[?] 265[?] -269[?]  is mandatory 
6.31/5.54	c qxplain 889/889
6.31/5.55	c 2358[?] -264[?] -270[?] 265[?]  is mandatory 
6.31/5.55	c qxplain 880/888
6.31/5.56	c qxplain 885/888
6.31/5.56	c qxplain 887/888
6.31/5.56	c qxplain 888/888
6.40/5.62	c 2359[?] -265[?] -267[?] 266[?]  is mandatory 
6.40/5.62	c qxplain 887/887
6.40/5.63	c 2360[?] -268[?] 266[?] -265[?]  is mandatory 
6.40/5.63	c qxplain 885/886
6.40/5.63	c qxplain 886/886
6.40/5.64	c 2361[?] -269[?] 266[?] -265[?]  is mandatory 
6.40/5.64	c qxplain 885/885
6.40/5.64	c 2362[?] -270[?] 266[?] -265[?]  is mandatory 
6.40/5.64	c qxplain 880/884
6.40/5.65	c qxplain 883/884
6.40/5.67	c qxplain 884/884
6.40/5.68	c 2363[?] -268[?] 267[?] -266[?]  is mandatory 
6.40/5.68	c qxplain 883/883
6.40/5.68	c 2364[?] -269[?] 267[?] -266[?]  is mandatory 
6.40/5.68	c qxplain 880/882
6.40/5.69	c qxplain 882/882
6.40/5.69	c 2365[?] 267[?] -270[?] -266[?]  is mandatory 
6.40/5.69	c qxplain 880/881
6.40/5.70	c qxplain 881/881
6.51/5.71	c 2366[?] -269[?] 268[?] -267[?]  is mandatory 
6.51/5.71	c qxplain 880/880
6.51/5.71	c 2367[?] -270[?] 268[?] -267[?]  is mandatory 
6.51/5.71	c qxplain 863/879
6.51/5.72	c qxplain 872/879
6.51/5.72	c qxplain 876/879
6.51/5.74	c qxplain 878/879
6.51/5.78	c qxplain 879/879
6.61/5.83	c 2368[?] -270[?] 269[?] -268[?]  is mandatory 
6.61/5.83	c qxplain 878/878
6.61/5.87	c 2405[?] -281[?] -283[?] 282[?]  is mandatory 
6.61/5.87	c qxplain 876/877
6.61/5.87	c qxplain 877/877
6.71/5.90	c 2406[?] -281[?] 282[?] -284[?]  is mandatory 
6.71/5.90	c qxplain 876/876
6.71/5.91	c 2407[?] -285[?] -281[?] 282[?]  is mandatory 
6.71/5.91	c qxplain 872/875
6.71/5.91	c qxplain 874/875
6.71/5.92	c qxplain 875/875
6.71/5.92	c 2408[?] -286[?] -281[?] 282[?]  is mandatory 
6.71/5.92	c qxplain 874/874
6.71/5.92	c 2409[?] -287[?] -281[?] 282[?]  is mandatory 
6.71/5.92	c qxplain 872/873
6.71/5.93	c qxplain 873/873
6.71/5.93	c 2410[?] -288[?] -281[?] 282[?]  is mandatory 
6.71/5.93	c qxplain 872/872
6.71/5.93	c 2411[?] -289[?] -281[?] 282[?]  is mandatory 
6.71/5.93	c qxplain 863/871
6.71/5.94	c qxplain 868/871
6.71/5.94	c qxplain 870/871
6.71/5.94	c qxplain 871/871
6.71/5.95	c 2412[?] -290[?] -281[?] 282[?]  is mandatory 
6.71/5.95	c qxplain 870/870
6.80/6.02	c 2413[?] -284[?] 283[?] -282[?]  is mandatory 
6.80/6.02	c qxplain 868/869
6.80/6.06	c qxplain 869/869
6.90/6.15	c 2414[?] -285[?] -282[?] 283[?]  is mandatory 
6.90/6.15	c qxplain 868/868
7.00/6.22	c 2415[?] -286[?] -282[?] 283[?]  is mandatory 
7.00/6.22	c qxplain 863/867
7.00/6.28	c qxplain 866/867
7.10/6.32	c qxplain 867/867
7.10/6.38	c 2416[?] -287[?] -282[?] 283[?]  is mandatory 
7.10/6.38	c qxplain 866/866
7.20/6.44	c 2417[?] -288[?] -282[?] 283[?]  is mandatory 
7.20/6.44	c qxplain 863/865
7.20/6.45	c qxplain 865/865
7.30/6.53	c 2418[?] -289[?] -282[?] 283[?]  is mandatory 
7.30/6.53	c qxplain 863/864
7.30/6.55	c qxplain 864/864
7.40/6.62	c 2419[?] -290[?] -282[?] 283[?]  is mandatory 
7.40/6.62	c qxplain 863/863
7.40/6.66	c 2420[?] -283[?] -285[?] 284[?]  is mandatory 
7.40/6.66	c qxplain 828/862
7.40/6.66	c qxplain 846/862
7.40/6.67	c qxplain 855/862
7.40/6.68	c qxplain 859/862
7.40/6.68	c qxplain 861/862
7.40/6.69	c qxplain 862/862
7.50/6.72	c 2421[?] -286[?] 284[?] -283[?]  is mandatory 
7.50/6.72	c qxplain 861/861
7.50/6.72	c 2422[?] -283[?] 284[?] -287[?]  is mandatory 
7.50/6.72	c qxplain 859/860
7.50/6.73	c qxplain 860/860
7.50/6.73	c 2423[?] -283[?] 284[?] -288[?]  is mandatory 
7.50/6.73	c qxplain 859/859
7.50/6.74	c 2424[?] -283[?] -289[?] 284[?]  is mandatory 
7.50/6.74	c qxplain 855/858
7.50/6.75	c qxplain 857/858
7.50/6.75	c qxplain 858/858
7.50/6.76	c 2425[?] -283[?] -290[?] 284[?]  is mandatory 
7.50/6.76	c qxplain 857/857
7.50/6.79	c 2426[?] -286[?] 285[?] -284[?]  is mandatory 
7.50/6.79	c qxplain 855/856
7.59/6.80	c qxplain 856/856
7.59/6.83	c 2427[?] -287[?] -284[?] 285[?]  is mandatory 
7.59/6.83	c qxplain 855/855
7.59/6.83	c 2428[?] -284[?] 285[?] -288[?]  is mandatory 
7.59/6.83	c qxplain 846/854
7.59/6.84	c qxplain 851/854
7.59/6.84	c qxplain 853/854
7.59/6.86	c qxplain 854/854
7.59/6.87	c 2429[?] -284[?] -289[?] 285[?]  is mandatory 
7.59/6.87	c qxplain 853/853
7.59/6.88	c 2430[?] -284[?] -290[?] 285[?]  is mandatory 
7.59/6.88	c qxplain 851/852
7.59/6.89	c qxplain 852/852
7.69/6.96	c 2431[?] 286[?] -287[?] -285[?]  is mandatory 
7.69/6.96	c qxplain 851/851
7.69/6.97	c 2432[?] -288[?] 286[?] -285[?]  is mandatory 
7.69/6.97	c qxplain 846/850
7.69/6.97	c qxplain 849/850
7.69/6.97	c qxplain 850/850
7.69/6.98	c 2433[?] -289[?] 286[?] -285[?]  is mandatory 
7.69/6.98	c qxplain 849/849
7.69/6.98	c 2434[?] -290[?] 286[?] -285[?]  is mandatory 
7.69/6.98	c qxplain 846/848
7.69/6.99	c qxplain 848/848
7.80/7.03	c 2435[?] -286[?] -288[?] 287[?]  is mandatory 
7.80/7.03	c qxplain 846/847
7.80/7.04	c qxplain 847/847
7.80/7.07	c 2436[?] -289[?] -286[?] 287[?]  is mandatory 
7.80/7.07	c qxplain 846/846
7.80/7.08	c 2437[?] -290[?] 287[?] -286[?]  is mandatory 
7.80/7.08	c qxplain 828/845
7.80/7.08	c qxplain 837/845
7.80/7.09	c qxplain 842/845
7.80/7.09	c qxplain 844/845
7.80/7.09	c qxplain 845/845
7.90/7.11	c 2438[?] -289[?] -287[?] 288[?]  is mandatory 
7.90/7.11	c qxplain 844/844
7.90/7.11	c 2439[?] -290[?] 288[?] -287[?]  is mandatory 
7.90/7.11	c qxplain 842/843
7.90/7.20	c qxplain 843/843
8.00/7.26	c 2440[?] -290[?] -288[?] 289[?]  is mandatory 
8.00/7.26	c qxplain 842/842
8.00/7.26	c qxplain 837/841
8.00/7.26	c qxplain 840/841
8.00/7.27	c qxplain 841/841
8.00/7.27	c 2442[?] -2[?] -47[?]  is mandatory 
8.00/7.27	c qxplain 840/840
8.00/7.28	c 2443[?] -3[?] -48[?]  is mandatory 
8.00/7.28	c qxplain 837/839
8.00/7.29	c qxplain 839/839
8.10/7.32	c 2445[?] -5[?] -50[?]  is mandatory 
8.10/7.32	c qxplain 837/838
8.10/7.32	c qxplain 838/838
8.10/7.32	c 2447[?] -7[?] -52[?]  is mandatory 
8.10/7.32	c qxplain 837/837
8.10/7.33	c 2449[?] -9[?] -54[?]  is mandatory 
8.10/7.33	c qxplain 828/836
8.10/7.33	c qxplain 833/836
8.20/7.44	c qxplain 828/832
8.20/7.45	c qxplain 831/832
8.20/7.45	c qxplain 832/832
8.20/7.45	c 2460[?] -20[?] -65[?]  is mandatory 
8.20/7.45	c qxplain 831/831
8.20/7.46	c 2462[?] -22[?] -67[?]  is mandatory 
8.20/7.46	c qxplain 828/830
8.20/7.46	c qxplain 830/830
8.20/7.46	c 2464[?] -24[?] -69[?]  is mandatory 
8.20/7.46	c qxplain 828/829
8.20/7.47	c qxplain 829/829
8.20/7.48	c 2466[?] -26[?] -71[?]  is mandatory 
8.20/7.48	c qxplain 828/828
8.20/7.48	c 2468[?] -73[?] -28[?]  is mandatory 
8.20/7.48	c qxplain 552/827
8.20/7.49	c qxplain 690/827
8.20/7.49	c qxplain 759/827
8.20/7.50	c qxplain 794/827
8.30/7.50	c qxplain 811/827
8.30/7.50	c qxplain 820/827
8.30/7.50	c qxplain 824/827
8.30/7.51	c qxplain 826/827
8.30/7.51	c qxplain 827/827
8.30/7.52	c 2470[?] -75[?] -30[?]  is mandatory 
8.30/7.52	c qxplain 826/826
8.30/7.52	c 2477[?] -37[?] -82[?]  is mandatory 
8.30/7.52	c qxplain 824/825
8.30/7.53	c qxplain 825/825
8.30/7.53	c 2479[?] -39[?] -84[?]  is mandatory 
8.30/7.53	c qxplain 824/824
8.30/7.54	c 2484[?] -44[?] -89[?]  is mandatory 
8.30/7.54	c qxplain 820/823
8.30/7.54	c qxplain 822/823
8.30/7.54	c qxplain 823/823
8.30/7.54	c 2498[?] 9[?] 7[?] 44[?] 2[?] 24[?] 22[?]  is mandatory 
8.30/7.54	c qxplain 822/822
8.30/7.54	c qxplain 820/821
8.30/7.55	c qxplain 821/821
8.30/7.55	c 2509[?] 37[?] 39[?] 20[?] 22[?] 24[?] 44[?]  is mandatory 
8.30/7.55	c qxplain 820/820
8.30/7.56	c 2515[?] 5[?] 37[?] 7[?]  is mandatory 
8.30/7.56	c qxplain 811/819
8.30/7.57	c qxplain 816/819
8.30/7.58	c qxplain 818/819
8.30/7.59	c qxplain 819/819
8.30/7.60	c 2517[?] 9[?] 39[?] 5[?]  is mandatory 
8.30/7.60	c qxplain 818/818
8.30/7.60	c qxplain 816/817
8.60/7.82	c qxplain 811/815
8.60/7.82	c qxplain 814/815
8.60/7.83	c qxplain 815/815
8.60/7.83	c 2533[?] 28[?] 3[?] 7[?]  is mandatory 
8.60/7.83	c qxplain 814/814
8.60/7.84	c 2535[?] 9[?] 30[?] 3[?]  is mandatory 
8.60/7.84	c qxplain 811/813
8.60/7.84	c qxplain 813/813
8.60/7.84	c qxplain 811/812
8.60/7.85	c qxplain 812/812
8.60/7.85	c 2540[?] 28[?] 26[?] 37[?]  is mandatory 
8.60/7.85	c qxplain 811/811
8.60/7.85	c 2542[?] 30[?] 39[?] 26[?]  is mandatory 
8.60/7.85	c qxplain 794/810
8.60/7.86	c qxplain 803/810
8.60/7.86	c qxplain 807/810
8.60/7.86	c qxplain 809/810
8.60/7.88	c qxplain 810/810
8.60/7.88	c 2543[?] 3[?] 5[?] 26[?]  is mandatory 
8.60/7.88	c qxplain 809/809
8.60/7.88	c qxplain 807/808
8.60/7.88	c qxplain 808/808
8.60/7.89	c 2560[?] 73[?] 52[?] 48[?]  is mandatory 
8.60/7.89	c qxplain 807/807
8.60/7.89	c 2571[?] 73[?] 71[?] 82[?]  is mandatory 
8.60/7.89	c qxplain 803/806
8.60/7.89	c qxplain 805/806
8.60/7.90	c qxplain 806/806
8.70/7.90	c 2572[?] 52[?] 50[?] 82[?]  is mandatory 
8.70/7.90	c qxplain 805/805
8.70/7.97	c qxplain 803/804
8.70/7.97	c qxplain 804/804
8.70/7.97	c 2577[?] 54[?] 48[?] 75[?]  is mandatory 
8.70/7.97	c qxplain 803/803
8.70/7.98	c qxplain 794/802
8.70/7.98	c qxplain 799/802
8.70/7.98	c qxplain 801/802
8.70/7.99	c qxplain 802/802
8.70/7.99	c 2588[?] 71[?] 75[?] 84[?]  is mandatory 
8.70/7.99	c qxplain 801/801
8.70/7.99	c 2589[?] 54[?] 50[?] 84[?]  is mandatory 
8.70/7.99	c qxplain 799/800
8.80/8.00	c qxplain 800/800
8.80/8.00	c 89[?] 2592[?] is mandatory 
8.80/8.00	c qxplain 799/799
8.80/8.00	c 47[?] 2596[?] is mandatory 
8.80/8.00	c qxplain 794/798
8.80/8.01	c qxplain 797/798
8.80/8.01	c qxplain 798/798
8.80/8.01	c 65[?] 2599[?] is mandatory 
8.80/8.01	c qxplain 797/797
8.80/8.02	c 67[?] 2600[?] is mandatory 
8.80/8.02	c qxplain 794/796
8.80/8.02	c qxplain 796/796
8.80/8.02	c 69[?] 2601[?] is mandatory 
8.80/8.02	c qxplain 794/795
8.80/8.02	c qxplain 759/793
8.80/8.03	c qxplain 777/793
8.80/8.03	c qxplain 759/776
8.80/8.03	c qxplain 768/776
8.80/8.03	c qxplain 759/767
8.80/8.03	c qxplain 764/767
8.80/8.03	c qxplain 759/763
8.80/8.04	c qxplain 762/763
8.80/8.04	c qxplain 759/761
8.80/8.04	c qxplain 761/761
8.80/8.07	c 4012[?] -761[?] 191[?]  is mandatory 
8.80/8.07	c qxplain 759/760
8.80/8.08	c qxplain 760/760
8.80/8.08	c 4013[?] -761[?] 221[?]  is mandatory 
8.80/8.08	c qxplain 759/759
8.90/8.16	c qxplain 690/758
8.90/8.17	c qxplain 725/758
8.90/8.17	c qxplain 742/758
8.90/8.18	c qxplain 751/758
8.90/8.18	c qxplain 755/758
8.90/8.18	c qxplain 757/758
8.90/8.19	c qxplain 758/758
9.00/8.22	c 4015[?] -762[?] 192[?]  is mandatory 
9.00/8.22	c qxplain 757/757
9.00/8.22	c 4016[?] -762[?] 222[?]  is mandatory 
9.00/8.22	c qxplain 755/756
9.00/8.26	c qxplain 756/756
9.10/8.33	c qxplain 755/755
9.10/8.36	c 4018[?] -763[?] 193[?]  is mandatory 
9.10/8.36	c qxplain 751/754
9.10/8.37	c qxplain 753/754
9.10/8.37	c qxplain 754/754
9.10/8.37	c 4019[?] -763[?] 223[?]  is mandatory 
9.10/8.37	c qxplain 753/753
9.20/8.44	c qxplain 751/752
9.20/8.45	c qxplain 752/752
9.20/8.48	c 4021[?] -764[?] 194[?]  is mandatory 
9.20/8.48	c qxplain 751/751
9.20/8.48	c 4022[?] -764[?] 224[?]  is mandatory 
9.20/8.48	c qxplain 742/750
9.20/8.48	c qxplain 747/750
9.20/8.49	c qxplain 749/750
9.30/8.52	c qxplain 750/750
9.30/8.56	c qxplain 749/749
9.30/8.59	c 4024[?] -765[?] 195[?]  is mandatory 
9.30/8.59	c qxplain 747/748
9.40/8.60	c qxplain 748/748
9.40/8.60	c 4025[?] -765[?] 225[?]  is mandatory 
9.40/8.60	c qxplain 747/747
9.40/8.69	c qxplain 742/746
9.40/8.69	c qxplain 745/746
9.40/8.70	c qxplain 746/746
9.50/8.73	c 4027[?] -766[?] 196[?]  is mandatory 
9.50/8.73	c qxplain 745/745
9.50/8.74	c 4028[?] -766[?] 226[?]  is mandatory 
9.50/8.74	c qxplain 742/744
9.50/8.74	c qxplain 744/744
9.60/8.80	c qxplain 742/743
9.60/8.81	c qxplain 743/743
9.60/8.81	c 4030[?] -767[?] 197[?]  is mandatory 
9.60/8.81	c qxplain 742/742
9.60/8.84	c 4031[?] -767[?] 227[?]  is mandatory 
9.60/8.84	c qxplain 725/741
9.60/8.84	c qxplain 734/741
9.60/8.85	c qxplain 738/741
9.60/8.85	c qxplain 740/741
9.60/8.85	c qxplain 741/741
9.69/8.92	c qxplain 740/740
9.69/8.92	c 4033[?] -768[?] 198[?]  is mandatory 
9.69/8.92	c qxplain 738/739
9.69/8.96	c qxplain 739/739
9.69/8.99	c 4034[?] -768[?] 228[?]  is mandatory 
9.69/8.99	c qxplain 738/738
9.79/9.06	c qxplain 734/737
9.79/9.07	c qxplain 736/737
9.79/9.07	c qxplain 737/737
9.79/9.07	c 4036[?] -769[?] 199[?]  is mandatory 
9.79/9.07	c qxplain 736/736
9.89/9.11	c 4037[?] 229[?] -769[?]  is mandatory 
9.89/9.11	c qxplain 734/735
9.89/9.11	c qxplain 735/735
9.99/9.20	c qxplain 734/734
9.99/9.20	c 4039[?] -770[?] 200[?]  is mandatory 
9.99/9.20	c qxplain 725/733
9.99/9.20	c qxplain 730/733
9.99/9.21	c qxplain 732/733
9.99/9.25	c qxplain 733/733
9.99/9.28	c 4040[?] 230[?] -770[?]  is mandatory 
9.99/9.28	c qxplain 732/732
10.09/9.34	c qxplain 730/731
10.09/9.35	c qxplain 731/731
10.09/9.39	c 4072[?] -781[?] 191[?]  is mandatory 
10.09/9.39	c qxplain 730/730
10.09/9.39	c 4073[?] -781[?] 241[?]  is mandatory 
10.09/9.39	c qxplain 725/729
10.09/9.39	c qxplain 728/729
10.19/9.43	c qxplain 729/729
10.29/9.51	c qxplain 728/728
10.29/9.54	c 4075[?] -782[?] 192[?]  is mandatory 
10.29/9.54	c qxplain 725/727
10.29/9.54	c qxplain 727/727
10.29/9.55	c 4076[?] -782[?] 242[?]  is mandatory 
10.29/9.55	c qxplain 725/726
10.29/9.57	c qxplain 726/726
10.40/9.62	c qxplain 725/725
10.40/9.63	c 4078[?] -783[?] 193[?]  is mandatory 
10.40/9.63	c qxplain 690/724
10.40/9.63	c qxplain 708/724
10.40/9.64	c qxplain 717/724
10.40/9.64	c qxplain 721/724
10.40/9.64	c qxplain 723/724
10.40/9.65	c qxplain 724/724
10.40/9.65	c 4079[?] -783[?] 243[?]  is mandatory 
10.40/9.65	c qxplain 723/723
10.40/9.69	c qxplain 721/722
10.50/9.70	c qxplain 722/722
10.50/9.71	c 4081[?] -784[?] 194[?]  is mandatory 
10.50/9.71	c qxplain 721/721
10.50/9.72	c 4082[?] -784[?] 244[?]  is mandatory 
10.50/9.72	c qxplain 717/720
10.50/9.72	c qxplain 719/720
10.50/9.75	c qxplain 720/720
10.60/9.81	c qxplain 719/719
10.60/9.84	c 4084[?] -785[?] 195[?]  is mandatory 
10.60/9.84	c qxplain 717/718
10.60/9.84	c qxplain 718/718
10.60/9.85	c 4085[?] -785[?] 245[?]  is mandatory 
10.60/9.85	c qxplain 717/717
10.60/9.86	c qxplain 708/716
10.60/9.87	c qxplain 713/716
10.60/9.87	c qxplain 715/716
10.60/9.87	c qxplain 716/716
10.70/9.91	c 4087[?] -786[?] 196[?]  is mandatory 
10.70/9.91	c qxplain 715/715
10.70/9.92	c 4088[?] -786[?] 246[?]  is mandatory 
10.70/9.92	c qxplain 713/714
10.70/9.93	c qxplain 714/714
10.70/9.99	c qxplain 713/713
10.70/9.99	c 4090[?] -787[?] 197[?]  is mandatory 
10.70/9.99	c qxplain 708/712
10.70/9.99	c qxplain 711/712
10.79/10.01	c qxplain 712/712
10.79/10.02	c 4091[?] 247[?] -787[?]  is mandatory 
10.79/10.02	c qxplain 711/711
10.79/10.08	c qxplain 708/710
10.79/10.08	c qxplain 710/710
10.79/10.08	c 4093[?] -788[?] 198[?]  is mandatory 
10.79/10.08	c qxplain 708/709
10.79/10.09	c qxplain 709/709
10.79/10.09	c 4094[?] 248[?] -788[?]  is mandatory 
10.79/10.09	c qxplain 708/708
10.90/10.16	c qxplain 690/707
10.90/10.16	c qxplain 699/707
10.90/10.16	c qxplain 704/707
10.90/10.17	c qxplain 706/707
10.90/10.17	c qxplain 707/707
10.90/10.17	c 4096[?] -789[?] 199[?]  is mandatory 
10.90/10.17	c qxplain 706/706
11.00/10.21	c 4097[?] 249[?] -789[?]  is mandatory 
11.00/10.21	c qxplain 704/705
11.00/10.22	c qxplain 705/705
11.10/10.30	c qxplain 704/704
11.10/10.30	c 4099[?] -790[?] 200[?]  is mandatory 
11.10/10.30	c qxplain 699/703
11.10/10.31	c qxplain 702/703
11.10/10.35	c qxplain 703/703
11.10/10.39	c 4100[?] 250[?] -790[?]  is mandatory 
11.10/10.39	c qxplain 702/702
11.20/10.44	c qxplain 699/701
11.20/10.45	c qxplain 701/701
11.29/10.52	c 4132[?] 191[?] -801[?]  is mandatory 
11.29/10.52	c qxplain 699/700
11.29/10.52	c qxplain 700/700
11.29/10.53	c 4133[?] -801[?] 261[?]  is mandatory 
11.29/10.53	c qxplain 699/699
11.29/10.54	c 4135[?] -802[?] 192[?]  is mandatory 
11.29/10.54	c qxplain 690/698
11.29/10.55	c qxplain 695/698
11.29/10.56	c qxplain 697/698
11.29/10.56	c qxplain 698/698
11.29/10.57	c 4136[?] -802[?] 262[?]  is mandatory 
11.29/10.57	c qxplain 697/697
11.39/10.60	c 4137[?] -192[?] -262[?] 802[?]  is mandatory 
11.39/10.60	c qxplain 695/696
11.39/10.60	c qxplain 696/696
11.39/10.61	c 4138[?] -803[?] 193[?]  is mandatory 
11.39/10.61	c qxplain 695/695
11.39/10.62	c 4139[?] -803[?] 263[?]  is mandatory 
11.39/10.62	c qxplain 690/694
11.39/10.62	c qxplain 693/694
11.39/10.64	c qxplain 694/694
11.39/10.65	c 4140[?] 803[?] -263[?] -193[?]  is mandatory 
11.39/10.65	c qxplain 693/693
11.39/10.67	c 4141[?] -804[?] 194[?]  is mandatory 
11.39/10.67	c qxplain 690/692
11.39/10.67	c qxplain 692/692
11.39/10.67	c 4142[?] -804[?] 264[?]  is mandatory 
11.39/10.67	c qxplain 690/691
11.39/10.69	c qxplain 691/691
11.39/10.69	c 4143[?] 804[?] -264[?] -194[?]  is mandatory 
11.39/10.69	c qxplain 690/690
11.49/10.71	c 4144[?] -805[?] 195[?]  is mandatory 
11.49/10.71	c qxplain 552/689
11.49/10.71	c qxplain 621/689
11.49/10.71	c qxplain 656/689
11.49/10.72	c qxplain 673/689
11.49/10.72	c qxplain 682/689
11.49/10.72	c qxplain 686/689
11.49/10.73	c qxplain 688/689
11.49/10.73	c qxplain 689/689
11.49/10.74	c 4145[?] -805[?] 265[?]  is mandatory 
11.49/10.74	c qxplain 688/688
11.49/10.75	c 4146[?] 805[?] -195[?] -265[?]  is mandatory 
11.49/10.75	c qxplain 686/687
11.49/10.75	c qxplain 687/687
11.49/10.79	c 4147[?] -806[?] 196[?]  is mandatory 
11.49/10.79	c qxplain 686/686
11.59/10.80	c 4148[?] -806[?] 266[?]  is mandatory 
11.59/10.80	c qxplain 682/685
11.59/10.82	c qxplain 684/685
11.59/10.82	c qxplain 685/685
11.59/10.88	c 4149[?] -196[?] -266[?] 806[?]  is mandatory 
11.59/10.88	c qxplain 684/684
11.59/10.89	c 4150[?] -807[?] 197[?]  is mandatory 
11.59/10.89	c qxplain 682/683
11.69/10.91	c qxplain 683/683
11.69/10.92	c 4151[?] -807[?] 267[?]  is mandatory 
11.69/10.92	c qxplain 682/682
11.69/10.93	c 4152[?] -267[?] 807[?] -197[?]  is mandatory 
11.69/10.93	c qxplain 673/681
11.69/10.94	c qxplain 678/681
11.69/10.94	c qxplain 680/681
11.69/10.95	c qxplain 681/681
11.69/10.95	c 4153[?] 198[?] -808[?]  is mandatory 
11.69/10.95	c qxplain 680/680
11.69/10.96	c 4154[?] -808[?] 268[?]  is mandatory 
11.69/10.96	c qxplain 678/679
11.69/10.97	c qxplain 679/679
11.69/10.98	c 4155[?] 808[?] -198[?] -268[?]  is mandatory 
11.69/10.98	c qxplain 678/678
11.69/10.98	c 4156[?] -809[?] 199[?]  is mandatory 
11.69/10.98	c qxplain 673/677
11.69/10.99	c qxplain 676/677
11.80/11.03	c qxplain 677/677
11.89/11.11	c 4157[?] -809[?] 269[?]  is mandatory 
11.89/11.11	c qxplain 676/676
11.89/11.14	c 4158[?] -269[?] -199[?] 809[?]  is mandatory 
11.89/11.14	c qxplain 673/675
11.89/11.15	c qxplain 675/675
11.89/11.15	c 4159[?] -810[?] 200[?]  is mandatory 
11.89/11.15	c qxplain 673/674
11.89/11.19	c qxplain 674/674
11.99/11.22	c 4160[?] -810[?] 270[?]  is mandatory 
11.99/11.22	c qxplain 673/673
11.99/11.26	c 4161[?] -270[?] 810[?] -200[?]  is mandatory 
11.99/11.26	c qxplain 656/672
11.99/11.27	c qxplain 665/672
11.99/11.28	c qxplain 669/672
11.99/11.29	c qxplain 671/672
11.99/11.29	c qxplain 672/672
12.09/11.30	c 4192[?] -821[?] 191[?]  is mandatory 
12.09/11.30	c qxplain 671/671
12.09/11.30	c 4193[?] -821[?] 281[?]  is mandatory 
12.09/11.30	c qxplain 669/670
12.09/11.31	c qxplain 670/670
12.09/11.32	c 4195[?] -822[?] 192[?]  is mandatory 
12.09/11.32	c qxplain 669/669
12.09/11.32	c 4196[?] -822[?] 282[?]  is mandatory 
12.09/11.32	c qxplain 665/668
12.09/11.33	c qxplain 667/668
12.09/11.35	c qxplain 668/668
12.19/11.41	c 4197[?] -192[?] 822[?] -282[?]  is mandatory 
12.19/11.41	c qxplain 667/667
12.19/11.42	c 4198[?] -823[?] 193[?]  is mandatory 
12.19/11.42	c qxplain 665/666
12.19/11.43	c qxplain 666/666
12.19/11.43	c 4199[?] -823[?] 283[?]  is mandatory 
12.19/11.43	c qxplain 665/665
12.19/11.46	c 4200[?] 823[?] -193[?] -283[?]  is mandatory 
12.19/11.46	c qxplain 656/664
12.19/11.46	c qxplain 661/664
12.19/11.47	c qxplain 663/664
12.19/11.48	c qxplain 664/664
12.29/11.50	c 4201[?] -824[?] 194[?]  is mandatory 
12.29/11.50	c qxplain 663/663
12.29/11.50	c 4202[?] -824[?] 284[?]  is mandatory 
12.29/11.50	c qxplain 661/662
12.29/11.52	c qxplain 662/662
12.29/11.52	c 4203[?] 824[?] -284[?] -194[?]  is mandatory 
12.29/11.52	c qxplain 661/661
12.29/11.55	c 4204[?] 195[?] -825[?]  is mandatory 
12.29/11.55	c qxplain 656/660
12.29/11.56	c qxplain 659/660
12.29/11.56	c qxplain 660/660
12.29/11.57	c 4205[?] -825[?] 285[?]  is mandatory 
12.29/11.57	c qxplain 659/659
12.29/11.58	c 4206[?] -195[?] 825[?] -285[?]  is mandatory 
12.29/11.58	c qxplain 656/658
12.29/11.58	c qxplain 658/658
12.39/11.62	c 4207[?] -826[?] 196[?]  is mandatory 
12.39/11.62	c qxplain 656/657
12.39/11.63	c qxplain 657/657
12.39/11.64	c 4208[?] -826[?] 286[?]  is mandatory 
12.39/11.64	c qxplain 656/656
12.39/11.69	c 4209[?] -196[?] -286[?] 826[?]  is mandatory 
12.39/11.69	c qxplain 621/655
12.49/11.70	c qxplain 639/655
12.49/11.70	c qxplain 648/655
12.49/11.71	c qxplain 652/655
12.49/11.71	c qxplain 654/655
12.49/11.71	c qxplain 655/655
12.49/11.72	c 4210[?] -827[?] 197[?]  is mandatory 
12.49/11.72	c qxplain 654/654
12.49/11.73	c 4211[?] -827[?] 287[?]  is mandatory 
12.49/11.73	c qxplain 652/653
12.49/11.73	c qxplain 653/653
12.49/11.75	c 4212[?] -287[?] 827[?] -197[?]  is mandatory 
12.49/11.75	c qxplain 652/652
12.49/11.75	c 4213[?] 198[?] -828[?]  is mandatory 
12.49/11.75	c qxplain 648/651
12.49/11.76	c qxplain 650/651
12.49/11.77	c qxplain 651/651
12.49/11.78	c 4214[?] -828[?] 288[?]  is mandatory 
12.49/11.78	c qxplain 650/650
12.49/11.79	c 4215[?] -198[?] 828[?] -288[?]  is mandatory 
12.49/11.79	c qxplain 648/649
12.49/11.79	c qxplain 649/649
12.59/11.80	c 4216[?] -829[?] 199[?]  is mandatory 
12.59/11.80	c qxplain 648/648
12.59/11.85	c 4217[?] 289[?] -829[?]  is mandatory 
12.59/11.85	c qxplain 639/647
12.59/11.86	c qxplain 644/647
12.59/11.86	c qxplain 646/647
12.59/11.86	c qxplain 647/647
12.69/11.91	c 4218[?] -289[?] -199[?] 829[?]  is mandatory 
12.69/11.91	c qxplain 646/646
12.69/11.92	c 4219[?] -830[?] 200[?]  is mandatory 
12.69/11.92	c qxplain 644/645
12.69/11.96	c qxplain 645/645
12.69/12.00	c 4220[?] 290[?] -830[?]  is mandatory 
12.69/12.00	c qxplain 644/644
12.79/12.04	c 4221[?] -290[?] -200[?] 830[?]  is mandatory 
12.79/12.04	c qxplain 639/643
12.79/12.05	c qxplain 621/638
12.79/12.05	c qxplain 552/620
12.90/12.18	c qxplain 0/551
12.90/12.19	c qxplain 276/551
12.90/12.19	c qxplain 414/551
12.90/12.19	c qxplain 483/551
12.90/12.20	c qxplain 518/551
12.99/12.20	c qxplain 535/551
12.99/12.20	c qxplain 518/534
12.99/12.20	c qxplain 527/534
12.99/12.21	c qxplain 531/534
12.99/12.21	c qxplain 533/534
12.99/12.21	c qxplain 534/534
12.99/12.21	c qxplain 533/533
12.99/12.21	c 4702[?] 221[?] -991[?]  is mandatory 
12.99/12.21	c qxplain 531/532
12.99/12.22	c qxplain 532/532
12.99/12.22	c 4703[?] 241[?] -991[?]  is mandatory 
12.99/12.22	c qxplain 531/531
13.09/12.31	c qxplain 527/530
13.09/12.32	c qxplain 529/530
13.09/12.32	c qxplain 530/530
13.09/12.32	c 4705[?] 222[?] -992[?]  is mandatory 
13.09/12.32	c qxplain 529/529
13.09/12.32	c 4706[?] 242[?] -992[?]  is mandatory 
13.09/12.32	c qxplain 527/528
13.09/12.33	c qxplain 528/528
13.09/12.38	c qxplain 527/527
13.09/12.39	c 4708[?] 223[?] -993[?]  is mandatory 
13.09/12.39	c qxplain 518/526
13.09/12.39	c qxplain 523/526
13.09/12.39	c qxplain 525/526
13.09/12.40	c qxplain 526/526
13.19/12.40	c 4709[?] 243[?] -993[?]  is mandatory 
13.19/12.40	c qxplain 525/525
13.19/12.45	c qxplain 523/524
13.19/12.45	c qxplain 524/524
13.19/12.46	c 4711[?] 224[?] -994[?]  is mandatory 
13.19/12.46	c qxplain 523/523
13.19/12.46	c 4712[?] -994[?] 244[?]  is mandatory 
13.19/12.46	c qxplain 518/522
13.19/12.47	c qxplain 521/522
13.19/12.48	c qxplain 522/522
13.29/12.53	c qxplain 521/521
13.29/12.54	c 4714[?] 225[?] -995[?]  is mandatory 
13.29/12.54	c qxplain 518/520
13.29/12.54	c qxplain 520/520
13.29/12.55	c 4715[?] 245[?] -995[?]  is mandatory 
13.29/12.55	c qxplain 518/519
13.29/12.55	c qxplain 519/519
13.38/12.63	c qxplain 518/518
13.38/12.63	c 4717[?] -996[?] 226[?]  is mandatory 
13.38/12.63	c qxplain 483/517
13.38/12.64	c qxplain 501/517
13.38/12.64	c qxplain 510/517
13.38/12.64	c qxplain 514/517
13.38/12.65	c qxplain 516/517
13.38/12.65	c qxplain 517/517
13.38/12.65	c 4718[?] -996[?] 246[?]  is mandatory 
13.38/12.65	c qxplain 516/516
13.48/12.70	c qxplain 514/515
13.48/12.71	c qxplain 515/515
13.48/12.71	c 4720[?] 227[?] -997[?]  is mandatory 
13.48/12.71	c qxplain 514/514
13.48/12.71	c 4721[?] 247[?] -997[?]  is mandatory 
13.48/12.71	c qxplain 510/513
13.48/12.72	c qxplain 512/513
13.48/12.72	c qxplain 513/513
13.48/12.76	c qxplain 512/512
13.48/12.77	c 4723[?] -998[?] 228[?]  is mandatory 
13.48/12.77	c qxplain 510/511
13.48/12.77	c qxplain 511/511
13.48/12.77	c 4724[?] 248[?] -998[?]  is mandatory 
13.48/12.77	c qxplain 510/510
13.58/12.83	c qxplain 501/509
13.58/12.83	c qxplain 506/509
13.58/12.83	c qxplain 508/509
13.58/12.84	c qxplain 509/509
13.58/12.84	c 4726[?] -999[?] 229[?]  is mandatory 
13.58/12.84	c qxplain 508/508
13.58/12.84	c 4727[?] 249[?] -999[?]  is mandatory 
13.58/12.84	c qxplain 506/507
13.58/12.84	c qxplain 507/507
13.69/12.90	c qxplain 506/506
13.69/12.91	c 4729[?] 230[?] -1000[?]  is mandatory 
13.69/12.91	c qxplain 501/505
13.69/12.91	c qxplain 504/505
13.69/12.91	c qxplain 505/505
13.69/12.92	c 4730[?] 250[?] -1000[?]  is mandatory 
13.69/12.92	c qxplain 504/504
13.69/12.98	c qxplain 501/503
13.69/12.98	c qxplain 503/503
13.69/12.99	c 4762[?] -1011[?] 221[?]  is mandatory 
13.69/12.99	c qxplain 501/502
13.69/12.99	c qxplain 502/502
13.79/13.00	c 4763[?] -1011[?] 261[?]  is mandatory 
13.79/13.00	c qxplain 501/501
13.79/13.04	c qxplain 483/500
13.79/13.04	c qxplain 492/500
13.79/13.05	c qxplain 497/500
13.79/13.05	c qxplain 499/500
13.79/13.05	c qxplain 500/500
13.79/13.05	c 4765[?] -1012[?] 222[?]  is mandatory 
13.79/13.05	c qxplain 499/499
13.79/13.06	c 4766[?] -1012[?] 262[?]  is mandatory 
13.79/13.06	c qxplain 497/498
13.79/13.06	c qxplain 498/498
13.89/13.13	c qxplain 497/497
13.89/13.14	c 4768[?] 223[?] -1013[?]  is mandatory 
13.89/13.14	c qxplain 492/496
13.89/13.14	c qxplain 495/496
13.89/13.14	c qxplain 496/496
13.89/13.14	c 4769[?] 263[?] -1013[?]  is mandatory 
13.89/13.14	c qxplain 495/495
13.89/13.20	c qxplain 492/494
13.99/13.20	c qxplain 494/494
13.99/13.21	c 4771[?] -1014[?] 224[?]  is mandatory 
13.99/13.21	c qxplain 492/493
13.99/13.21	c qxplain 493/493
13.99/13.21	c 4772[?] -1014[?] 264[?]  is mandatory 
13.99/13.21	c qxplain 492/492
13.99/13.26	c qxplain 483/491
13.99/13.26	c qxplain 488/491
13.99/13.27	c qxplain 490/491
13.99/13.27	c qxplain 491/491
13.99/13.27	c 4774[?] -1015[?] 225[?]  is mandatory 
13.99/13.27	c qxplain 490/490
13.99/13.27	c 4775[?] -1015[?] 265[?]  is mandatory 
13.99/13.27	c qxplain 488/489
13.99/13.28	c qxplain 489/489
14.08/13.33	c qxplain 488/488
14.08/13.33	c 4777[?] -1016[?] 226[?]  is mandatory 
14.08/13.33	c qxplain 483/487
14.08/13.34	c qxplain 486/487
14.08/13.34	c qxplain 487/487
14.08/13.34	c 4778[?] -1016[?] 266[?]  is mandatory 
14.08/13.34	c qxplain 486/486
14.08/13.35	c 4779[?] -226[?] 1016[?] -266[?]  is mandatory 
14.08/13.35	c qxplain 483/485
14.08/13.35	c qxplain 485/485
14.08/13.35	c 4780[?] 227[?] -1017[?]  is mandatory 
14.08/13.35	c qxplain 483/484
14.08/13.36	c qxplain 484/484
14.08/13.36	c 4781[?] -1017[?] 267[?]  is mandatory 
14.08/13.36	c qxplain 483/483
14.08/13.36	c 4782[?] 1017[?] -267[?] -227[?]  is mandatory 
14.08/13.36	c qxplain 414/482
14.08/13.37	c qxplain 449/482
14.08/13.37	c qxplain 466/482
14.08/13.37	c qxplain 475/482
14.08/13.37	c qxplain 479/482
14.08/13.38	c qxplain 481/482
14.08/13.38	c qxplain 482/482
14.08/13.38	c 4783[?] -1018[?] 228[?]  is mandatory 
14.08/13.38	c qxplain 481/481
14.08/13.38	c 4784[?] -1018[?] 268[?]  is mandatory 
14.08/13.38	c qxplain 479/480
14.08/13.39	c qxplain 480/480
14.18/13.47	c qxplain 479/479
14.18/13.48	c 4786[?] -1019[?] 229[?]  is mandatory 
14.18/13.48	c qxplain 475/478
14.18/13.48	c qxplain 477/478
14.18/13.48	c qxplain 478/478
14.18/13.49	c 4787[?] -1019[?] 269[?]  is mandatory 
14.18/13.49	c qxplain 477/477
14.28/13.55	c qxplain 475/476
14.28/13.55	c qxplain 476/476
14.28/13.56	c 4789[?] -1020[?] 230[?]  is mandatory 
14.28/13.56	c qxplain 475/475
14.28/13.56	c 4790[?] -1020[?] 270[?]  is mandatory 
14.28/13.56	c qxplain 466/474
14.28/13.56	c qxplain 471/474
14.28/13.57	c qxplain 473/474
14.28/13.57	c qxplain 474/474
14.39/13.62	c qxplain 473/473
14.39/13.63	c 4822[?] 221[?] -1031[?]  is mandatory 
14.39/13.63	c qxplain 471/472
14.39/13.63	c qxplain 472/472
14.39/13.63	c 4823[?] 281[?] -1031[?]  is mandatory 
14.39/13.63	c qxplain 471/471
14.39/13.68	c qxplain 466/470
14.39/13.68	c qxplain 469/470
14.39/13.69	c qxplain 470/470
14.39/13.69	c 4825[?] 222[?] -1032[?]  is mandatory 
14.39/13.69	c qxplain 469/469
14.39/13.69	c 4826[?] -1032[?] 282[?]  is mandatory 
14.39/13.69	c qxplain 466/468
14.39/13.69	c qxplain 468/468
14.49/13.73	c qxplain 466/467
14.49/13.74	c qxplain 467/467
14.49/13.74	c 4828[?] 223[?] -1033[?]  is mandatory 
14.49/13.74	c qxplain 466/466
14.49/13.74	c 4829[?] -1033[?] 283[?]  is mandatory 
14.49/13.74	c qxplain 449/465
14.49/13.75	c qxplain 458/465
14.49/13.75	c qxplain 462/465
14.49/13.75	c qxplain 464/465
14.49/13.75	c qxplain 465/465
14.59/13.80	c qxplain 464/464
14.59/13.80	c 4831[?] 224[?] -1034[?]  is mandatory 
14.59/13.80	c qxplain 462/463
14.59/13.80	c qxplain 463/463
14.59/13.81	c 4832[?] -1034[?] 284[?]  is mandatory 
14.59/13.81	c qxplain 462/462
14.59/13.88	c qxplain 458/461
14.59/13.88	c qxplain 460/461
14.59/13.88	c qxplain 461/461
14.59/13.89	c 4834[?] -1035[?] 225[?]  is mandatory 
14.59/13.89	c qxplain 460/460
14.59/13.89	c 4835[?] -1035[?] 285[?]  is mandatory 
14.59/13.89	c qxplain 458/459
14.59/13.89	c qxplain 459/459
14.69/13.97	c qxplain 458/458
14.69/13.98	c 4837[?] -1036[?] 226[?]  is mandatory 
14.69/13.98	c qxplain 449/457
14.69/13.98	c qxplain 454/457
14.69/13.98	c qxplain 456/457
14.69/13.98	c qxplain 457/457
14.69/13.99	c 4838[?] -1036[?] 286[?]  is mandatory 
14.69/13.99	c qxplain 456/456
14.79/14.09	c qxplain 454/455
14.79/14.09	c qxplain 455/455
14.79/14.09	c 4840[?] -1037[?] 227[?]  is mandatory 
14.79/14.09	c qxplain 454/454
14.89/14.10	c 4841[?] -1037[?] 287[?]  is mandatory 
14.89/14.10	c qxplain 449/453
14.89/14.10	c qxplain 452/453
14.89/14.10	c qxplain 453/453
14.89/14.11	c 4842[?] -227[?] -287[?] 1037[?]  is mandatory 
14.89/14.11	c qxplain 452/452
14.89/14.11	c 4843[?] -1038[?] 228[?]  is mandatory 
14.89/14.11	c qxplain 449/451
14.89/14.11	c qxplain 451/451
14.89/14.12	c 4844[?] -1038[?] 288[?]  is mandatory 
14.89/14.12	c qxplain 449/450
14.89/14.12	c qxplain 450/450
14.99/14.22	c qxplain 449/449
14.99/14.22	c 4846[?] -1039[?] 229[?]  is mandatory 
14.99/14.22	c qxplain 414/448
14.99/14.22	c qxplain 432/448
14.99/14.22	c qxplain 441/448
14.99/14.23	c qxplain 445/448
14.99/14.23	c qxplain 447/448
14.99/14.23	c qxplain 448/448
14.99/14.23	c 4847[?] -1039[?] 289[?]  is mandatory 
14.99/14.23	c qxplain 447/447
15.09/14.31	c qxplain 445/446
15.09/14.31	c qxplain 446/446
15.09/14.32	c 4849[?] -1040[?] 230[?]  is mandatory 
15.09/14.32	c qxplain 445/445
15.09/14.32	c 4850[?] -1040[?] 290[?]  is mandatory 
15.09/14.32	c qxplain 441/444
15.09/14.32	c qxplain 443/444
15.09/14.32	c qxplain 444/444
15.09/14.38	c qxplain 443/443
15.09/14.38	c 5032[?] 241[?] -1101[?]  is mandatory 
15.09/14.38	c qxplain 441/442
15.09/14.39	c qxplain 442/442
15.09/14.39	c 5033[?] 261[?] -1101[?]  is mandatory 
15.09/14.39	c qxplain 441/441
15.18/14.49	c qxplain 432/440
15.18/14.49	c qxplain 437/440
15.18/14.49	c qxplain 439/440
15.18/14.49	c qxplain 440/440
15.28/14.50	c 5035[?] -1102[?] 242[?]  is mandatory 
15.28/14.50	c qxplain 439/439
15.28/14.51	c 5036[?] 262[?] -1102[?]  is mandatory 
15.28/14.51	c qxplain 437/438
15.28/14.52	c qxplain 438/438
15.28/14.55	c 5037[?] -242[?] 1102[?] -262[?]  is mandatory 
15.28/14.55	c qxplain 437/437
15.28/14.56	c 5038[?] 243[?] -1103[?]  is mandatory 
15.28/14.56	c qxplain 432/436
15.28/14.56	c qxplain 435/436
15.28/14.56	c qxplain 436/436
15.28/14.57	c 5039[?] 263[?] -1103[?]  is mandatory 
15.28/14.57	c qxplain 435/435
15.28/14.58	c 5040[?] -243[?] -263[?] 1103[?]  is mandatory 
15.28/14.58	c qxplain 432/434
15.28/14.59	c qxplain 434/434
15.39/14.62	c 5041[?] 244[?] -1104[?]  is mandatory 
15.39/14.62	c qxplain 432/433
15.39/14.62	c qxplain 433/433
15.39/14.62	c 5042[?] 264[?] -1104[?]  is mandatory 
15.39/14.62	c qxplain 432/432
15.39/14.64	c 5043[?] -264[?] -244[?] 1104[?]  is mandatory 
15.39/14.64	c qxplain 414/431
15.39/14.64	c qxplain 423/431
15.39/14.65	c qxplain 428/431
15.39/14.65	c qxplain 430/431
15.39/14.65	c qxplain 431/431
15.39/14.65	c 5044[?] -1105[?] 245[?]  is mandatory 
15.39/14.65	c qxplain 430/430
15.39/14.66	c 5045[?] -1105[?] 265[?]  is mandatory 
15.39/14.66	c qxplain 428/429
15.39/14.66	c qxplain 429/429
15.39/14.68	c 5046[?] 1105[?] -245[?] -265[?]  is mandatory 
15.39/14.68	c qxplain 428/428
15.39/14.68	c 5047[?] -1106[?] 246[?]  is mandatory 
15.39/14.68	c qxplain 423/427
15.39/14.68	c qxplain 426/427
15.39/14.69	c qxplain 427/427
15.39/14.69	c 5048[?] -1106[?] 266[?]  is mandatory 
15.39/14.69	c qxplain 426/426
15.39/14.70	c 5049[?] -246[?] -266[?] 1106[?]  is mandatory 
15.39/14.70	c qxplain 423/425
15.49/14.70	c qxplain 425/425
15.49/14.70	c 5050[?] 247[?] -1107[?]  is mandatory 
15.49/14.70	c qxplain 423/424
15.49/14.71	c qxplain 424/424
15.49/14.71	c 5051[?] -1107[?] 267[?]  is mandatory 
15.49/14.71	c qxplain 423/423
15.49/14.71	c 5052[?] -247[?] -267[?] 1107[?]  is mandatory 
15.49/14.71	c qxplain 414/422
15.49/14.72	c qxplain 419/422
15.49/14.72	c qxplain 421/422
15.49/14.72	c qxplain 422/422
15.49/14.73	c 5053[?] 248[?] -1108[?]  is mandatory 
15.49/14.73	c qxplain 421/421
15.49/14.73	c 5054[?] -1108[?] 268[?]  is mandatory 
15.49/14.73	c qxplain 419/420
15.49/14.73	c qxplain 420/420
15.49/14.76	c 5055[?] -248[?] 1108[?] -268[?]  is mandatory 
15.49/14.76	c qxplain 419/419
15.49/14.77	c 5056[?] 249[?] -1109[?]  is mandatory 
15.49/14.77	c qxplain 414/418
15.49/14.77	c qxplain 417/418
15.49/14.77	c qxplain 418/418
15.49/14.78	c 5057[?] -1109[?] 269[?]  is mandatory 
15.49/14.78	c qxplain 417/417
15.58/14.80	c 5058[?] -249[?] 1109[?] -269[?]  is mandatory 
15.58/14.80	c qxplain 414/416
15.58/14.81	c qxplain 416/416
15.58/14.81	c 5059[?] 250[?] -1110[?]  is mandatory 
15.58/14.81	c qxplain 414/415
15.58/14.82	c qxplain 415/415
15.58/14.82	c 5060[?] -1110[?] 270[?]  is mandatory 
15.58/14.82	c qxplain 414/414
15.68/14.90	c qxplain 276/413
15.68/14.90	c qxplain 345/413
15.68/14.91	c qxplain 380/413
15.68/14.91	c qxplain 397/413
15.68/14.91	c qxplain 406/413
15.68/14.91	c qxplain 410/413
15.68/14.92	c qxplain 412/413
15.68/14.92	c qxplain 413/413
15.68/14.92	c 5092[?] -1121[?] 241[?]  is mandatory 
15.68/14.92	c qxplain 412/412
15.68/14.93	c 5093[?] 281[?] -1121[?]  is mandatory 
15.68/14.93	c qxplain 410/411
15.68/14.96	c qxplain 411/411
15.78/15.02	c qxplain 410/410
15.78/15.03	c 5095[?] 242[?] -1122[?]  is mandatory 
15.78/15.03	c qxplain 406/409
15.78/15.03	c qxplain 408/409
15.78/15.04	c qxplain 409/409
15.78/15.04	c 5096[?] -1122[?] 282[?]  is mandatory 
15.78/15.04	c qxplain 408/408
15.78/15.09	c qxplain 406/407
15.78/15.09	c qxplain 407/407
15.90/15.11	c 5098[?] -1123[?] 243[?]  is mandatory 
15.90/15.11	c qxplain 406/406
15.90/15.12	c 5099[?] -1123[?] 283[?]  is mandatory 
15.90/15.12	c qxplain 397/405
15.90/15.12	c qxplain 402/405
15.90/15.12	c qxplain 404/405
15.90/15.14	c qxplain 405/405
15.99/15.20	c 5100[?] -243[?] 1123[?] -283[?]  is mandatory 
15.99/15.20	c qxplain 404/404
15.99/15.21	c 5101[?] 244[?] -1124[?]  is mandatory 
15.99/15.21	c qxplain 402/403
15.99/15.21	c qxplain 403/403
15.99/15.21	c 5102[?] -1124[?] 284[?]  is mandatory 
15.99/15.21	c qxplain 402/402
15.99/15.22	c 5103[?] -284[?] -244[?] 1124[?]  is mandatory 
15.99/15.22	c qxplain 397/401
15.99/15.22	c qxplain 400/401
15.99/15.23	c qxplain 401/401
15.99/15.23	c 5104[?] -1125[?] 245[?]  is mandatory 
15.99/15.23	c qxplain 400/400
15.99/15.23	c 5105[?] -1125[?] 285[?]  is mandatory 
15.99/15.23	c qxplain 397/399
15.99/15.24	c qxplain 399/399
15.99/15.25	c 5106[?] -245[?] -285[?] 1125[?]  is mandatory 
15.99/15.25	c qxplain 397/398
15.99/15.25	c qxplain 398/398
15.99/15.25	c 5107[?] 246[?] -1126[?]  is mandatory 
15.99/15.25	c qxplain 397/397
15.99/15.26	c 5108[?] -1126[?] 286[?]  is mandatory 
15.99/15.26	c qxplain 380/396
15.99/15.26	c qxplain 389/396
15.99/15.26	c qxplain 393/396
15.99/15.27	c qxplain 395/396
15.99/15.27	c qxplain 396/396
15.99/15.28	c 5109[?] -246[?] -286[?] 1126[?]  is mandatory 
15.99/15.28	c qxplain 395/395
15.99/15.28	c 5110[?] 247[?] -1127[?]  is mandatory 
15.99/15.28	c qxplain 393/394
15.99/15.28	c qxplain 394/394
15.99/15.29	c 5111[?] -1127[?] 287[?]  is mandatory 
15.99/15.29	c qxplain 393/393
15.99/15.29	c 5112[?] -247[?] -287[?] 1127[?]  is mandatory 
15.99/15.29	c qxplain 389/392
15.99/15.29	c qxplain 391/392
15.99/15.30	c qxplain 392/392
15.99/15.30	c 5113[?] -1128[?] 248[?]  is mandatory 
16.10/15.30	c qxplain 391/391
16.10/15.30	c 5114[?] -1128[?] 288[?]  is mandatory 
16.10/15.30	c qxplain 389/390
16.10/15.31	c qxplain 390/390
16.10/15.34	c 5115[?] -248[?] 1128[?] -288[?]  is mandatory 
16.10/15.34	c qxplain 389/389
16.10/15.34	c 5116[?] 249[?] -1129[?]  is mandatory 
16.10/15.34	c qxplain 380/388
16.10/15.35	c qxplain 385/388
16.10/15.35	c qxplain 387/388
16.10/15.35	c qxplain 388/388
16.10/15.36	c 5117[?] -1129[?] 289[?]  is mandatory 
16.10/15.36	c qxplain 387/387
16.10/15.39	c 5118[?] -249[?] -289[?] 1129[?]  is mandatory 
16.10/15.39	c qxplain 385/386
16.10/15.40	c qxplain 386/386
16.10/15.40	c 5119[?] 250[?] -1130[?]  is mandatory 
16.10/15.40	c qxplain 385/385
16.20/15.41	c 5120[?] -1130[?] 290[?]  is mandatory 
16.20/15.41	c qxplain 380/384
16.20/15.41	c qxplain 383/384
16.20/15.41	c qxplain 384/384
16.20/15.49	c qxplain 383/383
16.20/15.49	c 5242[?] 261[?] -1171[?]  is mandatory 
16.20/15.49	c qxplain 380/382
16.29/15.50	c qxplain 382/382
16.29/15.50	c 5243[?] 281[?] -1171[?]  is mandatory 
16.29/15.50	c qxplain 380/381
16.29/15.50	c qxplain 381/381
16.29/15.51	c 5245[?] 262[?] -1172[?]  is mandatory 
16.29/15.51	c qxplain 380/380
16.29/15.51	c 5246[?] 282[?] -1172[?]  is mandatory 
16.29/15.51	c qxplain 345/379
16.29/15.51	c qxplain 363/379
16.29/15.52	c qxplain 372/379
16.29/15.52	c qxplain 376/379
16.29/15.52	c qxplain 378/379
16.29/15.52	c qxplain 379/379
16.29/15.59	c qxplain 378/378
16.29/15.59	c 5248[?] 263[?] -1173[?]  is mandatory 
16.29/15.59	c qxplain 376/377
16.39/15.60	c qxplain 377/377
16.39/15.60	c 5249[?] 283[?] -1173[?]  is mandatory 
16.39/15.60	c qxplain 376/376
16.39/15.65	c qxplain 372/375
16.39/15.66	c qxplain 374/375
16.39/15.66	c qxplain 375/375
16.39/15.66	c 5251[?] 264[?] -1174[?]  is mandatory 
16.39/15.67	c qxplain 374/374
16.39/15.67	c 5252[?] 284[?] -1174[?]  is mandatory 
16.39/15.67	c qxplain 372/373
16.39/15.67	c qxplain 373/373
16.49/15.73	c qxplain 372/372
16.49/15.74	c 5254[?] 265[?] -1175[?]  is mandatory 
16.49/15.74	c qxplain 363/371
16.49/15.74	c qxplain 368/371
16.49/15.75	c qxplain 370/371
16.49/15.75	c qxplain 371/371
16.49/15.75	c 5255[?] 285[?] -1175[?]  is mandatory 
16.49/15.75	c qxplain 370/370
16.59/15.84	c qxplain 368/369
16.59/15.85	c qxplain 369/369
16.59/15.85	c 5257[?] 266[?] -1176[?]  is mandatory 
16.59/15.85	c qxplain 368/368
16.59/15.86	c 5258[?] 286[?] -1176[?]  is mandatory 
16.59/15.86	c qxplain 363/367
16.59/15.86	c qxplain 366/367
16.59/15.87	c qxplain 367/367
16.69/15.93	c qxplain 366/366
16.69/15.93	c 5260[?] 267[?] -1177[?]  is mandatory 
16.69/15.93	c qxplain 363/365
16.69/15.94	c qxplain 365/365
16.69/15.94	c 5261[?] 287[?] -1177[?]  is mandatory 
16.69/15.94	c qxplain 363/364
16.69/15.95	c qxplain 364/364
16.79/16.00	c qxplain 363/363
16.79/16.01	c 5263[?] 268[?] -1178[?]  is mandatory 
16.79/16.01	c qxplain 345/362
16.79/16.01	c qxplain 354/362
16.79/16.02	c qxplain 359/362
16.79/16.02	c qxplain 361/362
16.79/16.03	c qxplain 362/362
16.79/16.03	c 5264[?] 288[?] -1178[?]  is mandatory 
16.79/16.03	c qxplain 361/361
16.79/16.08	c qxplain 359/360
16.79/16.09	c qxplain 360/360
16.79/16.09	c 5266[?] 269[?] -1179[?]  is mandatory 
16.79/16.09	c qxplain 359/359
16.79/16.09	c 5267[?] 289[?] -1179[?]  is mandatory 
16.79/16.09	c qxplain 354/358
16.89/16.10	c qxplain 357/358
16.89/16.11	c qxplain 358/358
16.89/16.16	c qxplain 357/357
16.89/16.16	c 5269[?] 270[?] -1180[?]  is mandatory 
16.89/16.16	c qxplain 354/356
16.89/16.17	c qxplain 356/356
16.89/16.17	c 5270[?] 290[?] -1180[?]  is mandatory 
16.89/16.17	c qxplain 354/355
16.89/16.17	c qxplain 345/353
16.99/16.24	c qxplain 276/344
16.99/16.24	c qxplain 311/344
16.99/16.24	c qxplain 328/344
16.99/16.24	c qxplain 337/344
16.99/16.25	c qxplain 341/344
16.99/16.25	c qxplain 343/344
16.99/16.25	c qxplain 344/344
16.99/16.26	c 5829[?] -48[?] 762[?] 761[?] 768[?] 770[?] 767[?] 769[?] 766[?] 765[?] 764[?] 763[?]  is mandatory 
16.99/16.26	c qxplain 343/343
17.09/16.32	c qxplain 341/342
17.09/16.33	c qxplain 337/340
17.09/16.38	c qxplain 328/336
17.09/16.39	c qxplain 333/336
17.09/16.39	c qxplain 335/336
17.19/16.45	c qxplain 333/334
17.19/16.45	c qxplain 334/334
17.19/16.50	c qxplain 333/333
17.30/16.51	c 5851[?] 782[?] 781[?] 786[?] -50[?] 788[?] 790[?] 785[?] 789[?] 787[?] 783[?] 784[?]  is mandatory 
17.30/16.51	c qxplain 328/332
17.30/16.51	c qxplain 331/332
17.30/16.51	c qxplain 332/332
17.30/16.58	c qxplain 331/331
17.30/16.59	c 5864[?] -802[?] 52[?]  is mandatory 
17.30/16.59	c qxplain 328/330
17.30/16.59	c qxplain 330/330
17.40/16.61	c 5865[?] 52[?] -803[?]  is mandatory 
17.40/16.61	c qxplain 328/329
17.40/16.62	c qxplain 329/329
17.40/16.62	c 5866[?] 52[?] -804[?]  is mandatory 
17.40/16.62	c qxplain 328/328
17.40/16.63	c 5867[?] -805[?] 52[?]  is mandatory 
17.40/16.63	c qxplain 311/327
17.40/16.63	c qxplain 320/327
17.40/16.64	c qxplain 324/327
17.40/16.64	c qxplain 326/327
17.40/16.66	c qxplain 327/327
17.40/16.69	c 5868[?] -806[?] 52[?]  is mandatory 
17.40/16.69	c qxplain 326/326
17.50/16.70	c 5869[?] -807[?] 52[?]  is mandatory 
17.50/16.70	c qxplain 324/325
17.50/16.70	c qxplain 325/325
17.50/16.71	c 5870[?] -808[?] 52[?]  is mandatory 
17.50/16.71	c qxplain 324/324
17.50/16.74	c 5871[?] -809[?] 52[?]  is mandatory 
17.50/16.74	c qxplain 320/323
17.50/16.74	c qxplain 322/323
17.50/16.75	c qxplain 323/323
17.50/16.77	c 5872[?] -810[?] 52[?]  is mandatory 
17.50/16.77	c qxplain 322/322
17.50/16.78	c 5873[?] 808[?] -52[?] 809[?] 810[?] 807[?] 805[?] 803[?] 801[?] 806[?] 802[?] 804[?]  is mandatory 
17.50/16.78	c qxplain 320/321
17.60/16.84	c qxplain 321/321
17.60/16.90	c qxplain 320/320
17.70/16.92	c 5886[?] -822[?] 54[?]  is mandatory 
17.70/16.92	c qxplain 311/319
17.70/16.93	c qxplain 316/319
17.70/16.93	c qxplain 318/319
17.70/16.94	c qxplain 319/319
17.70/16.97	c 5887[?] -823[?] 54[?]  is mandatory 
17.70/16.97	c qxplain 318/318
17.70/16.97	c 5888[?] 54[?] -824[?]  is mandatory 
17.70/16.97	c qxplain 316/317
17.70/16.98	c qxplain 317/317
17.70/16.98	c 5889[?] -825[?] 54[?]  is mandatory 
17.70/16.98	c qxplain 316/316
17.80/17.02	c 5890[?] -826[?] 54[?]  is mandatory 
17.80/17.02	c qxplain 311/315
17.80/17.03	c qxplain 314/315
17.80/17.04	c qxplain 315/315
17.80/17.04	c 5891[?] 54[?] -827[?]  is mandatory 
17.80/17.04	c qxplain 314/314
17.80/17.05	c 5892[?] 54[?] -828[?]  is mandatory 
17.80/17.05	c qxplain 311/313
17.80/17.05	c qxplain 313/313
17.80/17.08	c 5893[?] 54[?] -829[?]  is mandatory 
17.80/17.08	c qxplain 311/312
17.80/17.08	c qxplain 312/312
17.90/17.12	c 5894[?] -830[?] 54[?]  is mandatory 
17.90/17.12	c qxplain 311/311
17.90/17.12	c 5895[?] 821[?] 828[?] 825[?] 826[?] -54[?] 830[?] 827[?] 829[?] 824[?] 822[?] 823[?]  is mandatory 
17.90/17.12	c qxplain 276/310
17.90/17.13	c qxplain 294/310
17.90/17.13	c qxplain 276/293
17.90/17.13	c qxplain 285/293
18.00/17.20	c qxplain 276/284
18.00/17.20	c qxplain 281/284
18.00/17.21	c qxplain 283/284
18.00/17.26	c qxplain 281/282
18.00/17.27	c qxplain 282/282
18.00/17.30	c qxplain 281/281
18.10/17.30	c 6082[?] 999[?] 1000[?] 998[?] -71[?] 992[?] 997[?] 996[?] 991[?] 993[?] 995[?] 994[?]  is mandatory 
18.10/17.30	c qxplain 276/280
18.10/17.38	c qxplain 0/275
18.10/17.38	c qxplain 138/275
18.10/17.38	c qxplain 207/275
18.10/17.38	c qxplain 242/275
18.10/17.39	c qxplain 259/275
18.10/17.39	c qxplain 268/275
18.10/17.39	c qxplain 272/275
18.20/17.40	c qxplain 274/275
18.20/17.40	c qxplain 275/275
18.20/17.41	c 6099[?] -1016[?] 73[?]  is mandatory 
18.20/17.41	c qxplain 274/274
18.20/17.41	c 6100[?] -1017[?] 73[?]  is mandatory 
18.20/17.41	c qxplain 272/273
18.20/17.47	c qxplain 268/271
18.20/17.47	c qxplain 270/271
18.20/17.48	c qxplain 271/271
18.30/17.51	c qxplain 270/270
18.30/17.51	c 6104[?] 1019[?] 1018[?] -73[?] 1015[?] 1011[?] 1014[?] 1017[?] 1012[?] 1016[?] 1020[?] 1013[?]  is mandatory 
18.30/17.52	c qxplain 268/269
18.30/17.54	c qxplain 259/267
18.30/17.55	c qxplain 264/267
18.30/17.59	c qxplain 259/263
18.30/17.60	c qxplain 262/263
18.30/17.60	c qxplain 263/263
18.40/17.60	c 6122[?] -1037[?] 75[?]  is mandatory 
18.40/17.60	c qxplain 262/262
18.40/17.65	c qxplain 259/261
18.40/17.66	c qxplain 261/261
18.40/17.69	c qxplain 259/260
18.40/17.69	c qxplain 260/260
18.50/17.72	c qxplain 259/259
18.50/17.73	c 6126[?] 1035[?] 1036[?] 1038[?] 1039[?] -75[?] 1040[?] 1033[?] 1032[?] 1031[?] 1037[?] 1034[?]  is mandatory 
18.50/17.73	c qxplain 242/258
18.50/17.73	c qxplain 251/258
18.50/17.74	c qxplain 255/258
18.50/17.78	c qxplain 257/258
18.60/17.83	c qxplain 258/258
18.60/17.88	c qxplain 257/257
18.70/17.91	c 6194[?] 82[?] -1102[?]  is mandatory 
18.70/17.91	c qxplain 255/256
18.70/17.93	c qxplain 256/256
18.70/17.95	c 6195[?] 82[?] -1103[?]  is mandatory 
18.70/17.95	c qxplain 255/255
18.70/17.95	c 6196[?] 82[?] -1104[?]  is mandatory 
18.70/17.95	c qxplain 251/254
18.70/17.96	c qxplain 253/254
18.70/17.96	c qxplain 254/254
18.70/17.97	c 6197[?] -1105[?] 82[?]  is mandatory 
18.70/17.97	c qxplain 253/253
18.70/17.98	c 6198[?] 82[?] -1106[?]  is mandatory 
18.70/17.98	c qxplain 251/252
18.70/17.98	c qxplain 252/252
18.70/17.98	c 6199[?] 82[?] -1107[?]  is mandatory 
18.70/17.98	c qxplain 251/251
18.80/18.01	c 6200[?] -1108[?] 82[?]  is mandatory 
18.80/18.01	c qxplain 242/250
18.80/18.02	c qxplain 247/250
18.80/18.02	c qxplain 249/250
18.80/18.05	c qxplain 250/250
18.80/18.08	c 6201[?] -1109[?] 82[?]  is mandatory 
18.80/18.08	c qxplain 249/249
18.90/18.13	c qxplain 247/248
18.90/18.13	c qxplain 248/248
18.90/18.14	c 6203[?] 1110[?] 1108[?] -82[?] 1101[?] 1103[?] 1102[?] 1107[?] 1106[?] 1105[?] 1109[?] 1104[?]  is mandatory 
18.90/18.14	c qxplain 247/247
18.90/18.20	c qxplain 242/246
19.00/18.21	c qxplain 245/246
19.00/18.25	c qxplain 246/246
19.00/18.29	c qxplain 245/245
19.10/18.30	c 6217[?] 84[?] -1123[?]  is mandatory 
19.10/18.30	c qxplain 242/244
19.10/18.31	c qxplain 244/244
19.10/18.33	c 6218[?] -1124[?] 84[?]  is mandatory 
19.10/18.33	c qxplain 242/243
19.10/18.34	c qxplain 243/243
19.10/18.34	c 6219[?] 84[?] -1125[?]  is mandatory 
19.10/18.34	c qxplain 242/242
19.10/18.35	c 6220[?] 84[?] -1126[?]  is mandatory 
19.10/18.35	c qxplain 207/241
19.10/18.35	c qxplain 225/241
19.10/18.35	c qxplain 234/241
19.10/18.35	c qxplain 238/241
19.10/18.36	c qxplain 240/241
19.10/18.37	c qxplain 241/241
19.10/18.37	c 6221[?] 84[?] -1127[?]  is mandatory 
19.10/18.37	c qxplain 240/240
19.20/18.40	c 6222[?] -1128[?] 84[?]  is mandatory 
19.20/18.40	c qxplain 238/239
19.20/18.44	c qxplain 239/239
19.20/18.47	c 6223[?] -1129[?] 84[?]  is mandatory 
19.20/18.47	c qxplain 238/238
19.30/18.54	c qxplain 234/237
19.30/18.54	c qxplain 236/237
19.30/18.55	c qxplain 237/237
19.30/18.55	c 6225[?] 1130[?] -84[?] 1121[?] 1129[?] 1127[?] 1122[?] 1128[?] 1125[?] 1126[?] 1123[?] 1124[?]  is mandatory 
19.30/18.55	c qxplain 236/236
19.30/18.55	c 6280[?] 1171[?] 1175[?] 1174[?] 1178[?] 1177[?] 1179[?] 1180[?] 1176[?] 1172[?] 1173[?] -89[?]  is mandatory 
19.30/18.55	c qxplain 234/235
19.30/18.58	c qxplain 225/233
19.40/18.61	c qxplain 207/224
19.40/18.61	c qxplain 138/206
19.50/18.76	c qxplain 0/137
19.50/18.76	c qxplain 69/137
19.50/18.76	c qxplain 104/137
19.60/18.86	c qxplain 69/103
19.60/18.87	c qxplain 87/103
19.60/18.87	c qxplain 96/103
19.93/19.01	c qxplain 87/95
19.93/19.01	c qxplain 92/95
19.93/19.01	c qxplain 87/91
19.93/19.02	c qxplain 90/91
19.93/19.02	c qxplain 91/91
19.93/19.02	c 8638[?] -191[?] -241[?] -281[?]  is mandatory 
19.93/19.02	c qxplain 90/90
19.93/19.03	c 8639[?] -192[?] -242[?] -282[?]  is mandatory 
19.93/19.03	c qxplain 87/89
20.13/19.11	c qxplain 69/86
20.13/19.12	c qxplain 78/86
20.13/19.12	c qxplain 83/86
20.33/19.25	c qxplain 78/82
20.33/19.25	c qxplain 81/82
20.53/19.32	c qxplain 78/80
20.53/19.32	c qxplain 80/80
20.53/19.32	c 8738[?] -221[?] -281[?] -261[?]  is mandatory 
20.53/19.32	c qxplain 78/79
20.53/19.33	c qxplain 79/79
20.53/19.33	c 8739[?] -222[?] -262[?] -282[?]  is mandatory 
20.53/19.33	c qxplain 78/78
20.53/19.33	c 8740[?] -263[?] -223[?] -283[?]  is mandatory 
20.53/19.33	c qxplain 69/77
20.53/19.34	c qxplain 74/77
20.53/19.34	c qxplain 76/77
20.53/19.34	c qxplain 77/77
20.53/19.35	c 8741[?] -224[?] -284[?] -264[?]  is mandatory 
20.53/19.35	c qxplain 76/76
20.53/19.35	c 8742[?] -225[?] -265[?] -285[?]  is mandatory 
20.53/19.35	c qxplain 74/75
20.53/19.36	c qxplain 75/75
20.53/19.36	c 8743[?] -226[?] -286[?] -266[?]  is mandatory 
20.53/19.36	c qxplain 74/74
20.53/19.36	c 8744[?] -267[?] -227[?] -287[?]  is mandatory 
20.53/19.36	c qxplain 69/73
20.53/19.37	c qxplain 72/73
20.53/19.37	c qxplain 73/73
20.53/19.38	c 8745[?] -268[?] -228[?] -288[?]  is mandatory 
20.53/19.38	c qxplain 72/72
20.53/19.38	c 8746[?] -229[?] -269[?] -289[?]  is mandatory 
20.53/19.38	c qxplain 69/71
20.53/19.38	c qxplain 71/71
20.53/19.39	c 8747[?] -270[?] -230[?] -290[?]  is mandatory 
20.53/19.39	c qxplain 69/70
20.53/19.39	c qxplain 0/68
20.53/19.39	c qxplain 35/68
20.72/19.41	c qxplain 52/68
20.72/19.41	c qxplain 61/68
20.72/19.41	c qxplain 52/60
20.72/19.42	c qxplain 57/60
20.83/19.52	c qxplain 52/56
20.83/19.53	c qxplain 55/56
20.83/19.53	c qxplain 56/56
20.83/19.53	c qxplain 55/55
20.83/19.53	c 8818[?] -191[?] -281[?] -221[?]  is mandatory 
20.83/19.53	c qxplain 52/54
20.93/19.60	c qxplain 35/51
21.04/19.72	c qxplain 0/34
21.04/19.73	c qxplain 18/34
21.04/19.73	c qxplain 27/34
21.04/19.74	c qxplain 31/34
21.04/19.74	c qxplain 27/30
21.04/19.74	c qxplain 29/30
21.04/19.74	c qxplain 30/30
21.04/19.80	c qxplain 29/29
21.14/19.80	c 8869[?] -222[?] -242[?] -262[?]  is mandatory 
21.14/19.80	c qxplain 27/28
21.14/19.82	c qxplain 28/28
21.14/19.82	c 8870[?] -263[?] -223[?] -243[?]  is mandatory 
21.14/19.82	c qxplain 27/27
21.14/19.83	c 8871[?] -224[?] -244[?] -264[?]  is mandatory 
21.14/19.83	c qxplain 18/26
21.14/19.85	c qxplain 23/26
21.14/19.86	c qxplain 25/26
21.14/19.86	c qxplain 26/26
21.14/19.86	c 8872[?] -225[?] -245[?] -265[?]  is mandatory 
21.14/19.86	c qxplain 25/25
21.14/19.89	c 8875[?] -248[?] -228[?] -268[?]  is mandatory 
21.14/19.89	c qxplain 23/24
21.23/19.92	c qxplain 24/24
21.23/19.95	c 8876[?] -249[?] -229[?] -269[?]  is mandatory 
21.23/19.95	c qxplain 23/23
21.33/20.04	c qxplain 18/22
21.43/20.12	c qxplain 0/17
21.43/20.12	c qxplain 9/17
21.43/20.13	c qxplain 14/17
21.43/20.13	c qxplain 16/17
21.43/20.13	c qxplain 17/17
21.43/20.13	c 8889[?] -242[?] -222[?] -282[?]  is mandatory 
21.43/20.13	c qxplain 16/16
21.43/20.15	c 8890[?] -223[?] -243[?] -283[?]  is mandatory 
21.43/20.15	c qxplain 14/15
21.43/20.17	c qxplain 15/15
21.43/20.17	c 8891[?] -224[?] -244[?] -284[?]  is mandatory 
21.43/20.17	c qxplain 14/14
21.43/20.18	c 8892[?] -225[?] -245[?] -285[?]  is mandatory 
21.43/20.18	c qxplain 9/13
21.54/20.20	c qxplain 12/13
21.54/20.22	c qxplain 13/13
21.54/20.24	c 8893[?] -226[?] -246[?] -286[?]  is mandatory 
21.54/20.24	c qxplain 12/12
21.54/20.27	c 8895[?] -228[?] -248[?] -288[?]  is mandatory 
21.54/20.27	c qxplain 9/11
21.54/20.28	c qxplain 11/11
21.64/20.31	c 8896[?] -229[?] -249[?] -289[?]  is mandatory 
21.64/20.31	c qxplain 9/10
21.64/20.31	c qxplain 10/10
21.64/20.39	c qxplain 9/9
21.74/20.40	c 8898[?] -191[?] -241[?] -221[?]  is mandatory 
21.74/20.40	c qxplain 0/8
21.74/20.40	c qxplain 5/8
21.74/20.40	c qxplain 7/8
21.74/20.41	c qxplain 8/8
21.74/20.42	c 8899[?] -192[?] -242[?] -222[?]  is mandatory 
21.74/20.42	c qxplain 7/7
21.74/20.42	c 8900[?] -223[?] -243[?] -193[?]  is mandatory 
21.74/20.42	c qxplain 5/6
21.74/20.43	c qxplain 6/6
21.74/20.45	c 8901[?] -244[?] -194[?] -224[?]  is mandatory 
21.74/20.45	c qxplain 5/5
21.74/20.46	c 8902[?] -195[?] -245[?] -225[?]  is mandatory 
21.74/20.46	c qxplain 0/4
21.74/20.47	c qxplain 3/4
21.74/20.48	c qxplain 4/4
21.74/20.48	c 8903[?] -196[?] -226[?] -246[?]  is mandatory 
21.74/20.48	c qxplain 3/3
21.74/20.49	c 8904[?] -227[?] -247[?] -197[?]  is mandatory 
21.74/20.49	c qxplain 0/2
21.84/20.51	c qxplain 2/2
21.84/20.52	c 8905[?] -198[?] -228[?] -248[?]  is mandatory 
21.84/20.52	c qxplain 0/1
21.84/20.54	c qxplain 1/1
21.84/20.56	c 8906[?] -249[?] -229[?] -199[?]  is mandatory 
21.84/20.56	c qxplain 0/0
21.84/20.59	c 8907[?] -250[?] -200[?] -230[?]  is mandatory 
22.06/20.66	c Size of the MUS: 518
22.06/20.66	c Unsat core  computation wall clock time (in seconds) : 20.034
22.06/20.66	c starts		: 1713
22.06/20.66	c conflicts		: 66199
22.06/20.66	c decisions		: 1898159
22.06/20.66	c propagations		: 14919316
22.06/20.66	c inspects		: 119935357
22.06/20.66	c shortcuts		: 0
22.06/20.66	c learnt literals	: 0
22.06/20.66	c learnt binary clauses	: 0
22.06/20.66	c learnt ternary clauses	: 0
22.06/20.66	c learnt constraints	: 66078
22.06/20.66	c ignored constraints	: 0
22.06/20.66	c root simplifications	: 0
22.06/20.66	c removed literals (reason simplification)	: 545863
22.06/20.66	c reason swapping (by a shorter reason)	: 0
22.06/20.66	c Calls to reduceDB	: 0
22.06/20.66	c speed (assignments/second)	: 1.448477281553398E8
22.06/20.66	c non guided choices	1812112
22.06/20.69	c learnt constraints type 
22.06/20.69	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 66078
22.06/20.69	c constraints type 
22.06/20.69	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7290
22.06/20.69	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7
22.06/20.69	s UNSATISFIABLE
22.06/20.69	v 472 473 474 475 476 477 478 481 482 483 484 485 488 489 490 491 494 495 496 499 500 503 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 832 833 835 837 839 850 852 854 856 858 860 867 869 874 888 899 905 907 923 925 930 932 933 950 961 962 967 978 979 982 986 989 990 991 2402 2403 2405 2406 2408 2409 2411 2412 2414 2415 2417 2418 2420 2421 2423 2424 2426 2427 2429 2430 2462 2463 2465 2466 2468 2469 2471 2472 2474 2475 2477 2478 2480 2481 2483 2484 2486 2487 2489 2490 2522 2523 2525 2526 2527 2528 2529 2530 2531 2532 2533 2534 2535 2536 2537 2538 2539 2540 2541 2542 2543 2544 2545 2546 2547 2548 2549 2550 2551 2582 2583 2585 2586 2587 2588 2589 2590 2591 2592 2593 2594 2595 2596 2597 2598 2599 2600 2601 2602 2603 2604 2605 2606 2607 2608 2609 2610 2611 3092 3093 3095 3096 3098 3099 3101 3102 3104 3105 3107 3108 3110 3111 3113 3114 3116 3117 3119 3120 3152 3153 3155 3156 3158 3159 3161 3162 3164 3165 3167 3168 3169 3170 3171 3172 3173 3174 3176 3177 3179 3180 3212 3213 3215 3216 3218 3219 3221 3222 3224 3225 3227 3228 3230 3231 3232 3233 3234 3236 3237 3239 3240 3422 3423 3425 3426 3427 3428 3429 3430 3431 3432 3433 3434 3435 3436 3437 3438 3439 3440 3441 3442 3443 3444 3445 3446 3447 3448 3449 3450 3482 3483 3485 3486 3488 3489 3490 3491 3492 3493 3494 3495 3496 3497 3498 3499 3500 3501 3502 3503 3504 3505 3506 3507 3508 3509 3510 3632 3633 3635 3636 3638 3639 3641 3642 3644 3645 3647 3648 3650 3651 3653 3654 3656 3657 3659 3660 4219 4241 4254 4255 4256 4257 4258 4259 4260 4261 4262 4263 4276 4277 4278 4279 4280 4281 4282 4283 4284 4285 4472 4489 4490 4494 4512 4516 4584 4585 4586 4587 4588 4589 4590 4591 4593 4607 4608 4609 4610 4611 4612 4613 4615 4670 7028 7029 7128 7129 7130 7131 7132 7133 7134 7135 7136 7137 7208 7259 7260 7261 7262 7265 7266 7279 7280 7281 7282 7283 7285 7286 7288 7289 7290 7291 7292 7293 7294 7295 7296 7297 0
22.06/20.69	c Total wall clock time (in seconds) : 20.561

OK	518

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3493748-1307810328/watcher-3493748-1307810328 -o /tmp/evaluation-result-3493748-1307810328/solver-3493748-1307810328 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3493748-1307810328.cnf 

running on 2 cores: 0,2

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: 1.00 1.13 1.99 3/178 4040
/proc/meminfo: memFree=31321428/32950928 swapFree=67055156/67111528
[pid=4040] ppid=4038 vsize=23028 CPUtime=0 cores=0,2
/proc/4040/stat : 4040 (java) R 4038 4040 1663 0 -1 4202496 607 0 0 0 0 0 0 0 25 0 1 0 892632642 23580672 349 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248084735744 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4040/statm: 5757 361 276 9 0 124 0

[startup+0.093468 s]
/proc/loadavg: 1.00 1.13 1.99 3/178 4040
/proc/meminfo: memFree=31321428/32950928 swapFree=67055156/67111528
[pid=4040] ppid=4038 vsize=6364504 CPUtime=0.07 cores=0,2
/proc/4040/stat : 4040 (java) S 4038 4040 1663 0 -1 4202496 9244 0 1 0 7 0 0 0 25 0 18 0 892632642 6517252096 8939 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4040/statm: 1591126 8942 2014 9 0 1581864 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6364504

[startup+0.109467 s]
/proc/loadavg: 1.00 1.13 1.99 3/178 4040
/proc/meminfo: memFree=31321428/32950928 swapFree=67055156/67111528
[pid=4040] ppid=4038 vsize=6430624 CPUtime=0.11 cores=0,2
/proc/4040/stat : 4040 (java) S 4038 4040 1663 0 -1 4202496 9770 0 1 0 10 1 0 0 25 0 18 0 892632642 6584958976 9465 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4040/statm: 1607656 9465 2091 9 0 1598394 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 6430624

[startup+0.300428 s]
/proc/loadavg: 1.00 1.13 1.99 3/178 4040
/proc/meminfo: memFree=31321428/32950928 swapFree=67055156/67111528
[pid=4040] ppid=4038 vsize=6432356 CPUtime=0.45 cores=0,2
/proc/4040/stat : 4040 (java) S 4038 4040 1663 0 -1 4202496 12710 0 1 0 44 1 0 0 25 0 19 0 892632642 6586732544 11621 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4040/statm: 1608089 11621 2199 9 0 1598827 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 6432356

[startup+0.700311 s]
/proc/loadavg: 1.00 1.13 1.99 3/178 4040
/proc/meminfo: memFree=31321428/32950928 swapFree=67055156/67111528
[pid=4040] ppid=4038 vsize=6442188 CPUtime=1.18 cores=0,2
/proc/4040/stat : 4040 (java) S 4038 4040 1663 0 -1 4202496 17458 0 1 0 116 2 0 0 25 0 19 0 892632642 6596800512 15078 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4040/statm: 1610547 15078 2212 9 0 1601285 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 6442188

[startup+1.50123 s]
/proc/loadavg: 1.72 1.28 2.03 13/263 4158
/proc/meminfo: memFree=31023140/32950928 swapFree=67055156/67111528
[pid=4040] ppid=4038 vsize=6447060 CPUtime=2.27 cores=0,2
/proc/4040/stat : 4040 (java) S 4038 4040 1663 0 -1 4202496 23731 0 1 0 225 2 0 0 25 0 19 0 892632642 6601789440 20973 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4040/statm: 1611765 20973 2223 9 0 1602503 0
[pid=4040/tid=4042] ppid=4038 vsize=6447060 CPUtime=1.46 cores=0,2
/proc/4040/task/4042/stat : 4042 (java) R 4038 4040 1663 0 -1 4202560 15264 0 1 0 145 1 0 0 25 0 19 0 892632643 6601789440 20973 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 46912505366054 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4040/tid=4048] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4048/stat : 4048 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6601789440 20973 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4049] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4049/stat : 4049 (java) S 4038 4040 1663 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 892632644 6601789440 20973 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4050] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4050/stat : 4050 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6601789440 20973 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4051] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4051/stat : 4051 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6601789440 20973 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4052] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4052/stat : 4052 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6601789440 20973 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4053] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4053/stat : 4053 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6601789440 20973 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4054] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4054/stat : 4054 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6601789440 20973 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4055] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4055/stat : 4055 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6601789440 20974 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4060] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4060/stat : 4060 (java) S 4038 4040 1663 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 892632645 6601789440 20974 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514752 0 0 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4062] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4062/stat : 4062 (java) S 4038 4040 1663 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 892632646 6601789440 20974 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
[pid=4040/tid=4063] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4063/stat : 4063 (java) S 4038 4040 1663 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 892632646 6601789440 20974 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
[pid=4040/tid=4074] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4074/stat : 4074 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632648 6601789440 20974 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101521841 0 4 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
[pid=4040/tid=4075] ppid=4038 vsize=6447060 CPUtime=0.37 cores=0,2
/proc/4040/task/4075/stat : 4075 (java) S 4038 4040 1663 0 -1 4202560 2663 0 0 0 37 0 0 0 25 0 19 0 892632648 6601789440 20974 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
[pid=4040/tid=4076] ppid=4038 vsize=6447060 CPUtime=0.41 cores=0,2
/proc/4040/task/4076/stat : 4076 (java) S 4038 4040 1663 0 -1 4202560 4610 0 0 0 41 0 0 0 25 0 19 0 892632648 6601789440 20974 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
[pid=4040/tid=4077] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4077/stat : 4077 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632648 6601789440 20974 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
[pid=4040/tid=4078] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4078/stat : 4078 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 892632648 6601789440 20974 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514752 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 6447060

[startup+3.10089 s]
/proc/loadavg: 1.72 1.28 2.03 5/261 4292
/proc/meminfo: memFree=30840876/32950928 swapFree=67055156/67111528
[pid=4040] ppid=4038 vsize=6447060 CPUtime=3.89 cores=0,2
/proc/4040/stat : 4040 (java) S 4038 4040 1663 0 -1 4202496 32843 0 1 0 385 4 0 0 25 0 19 0 892632642 6601789440 30084 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4040/statm: 1611765 30084 2225 9 0 1602503 0
[pid=4040/tid=4042] ppid=4038 vsize=6447060 CPUtime=3.06 cores=0,2
/proc/4040/task/4042/stat : 4042 (java) R 4038 4040 1663 0 -1 4202560 24373 0 1 0 303 3 0 0 25 0 19 0 892632643 6601789440 30084 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 46912505767653 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4040/tid=4048] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4048/stat : 4048 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6601789440 30084 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4049] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4049/stat : 4049 (java) S 4038 4040 1663 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 892632644 6601789440 30084 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4050] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4050/stat : 4050 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6601789440 30084 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4051] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4051/stat : 4051 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6601789440 30084 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4052] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4052/stat : 4052 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6601789440 30084 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4053] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4053/stat : 4053 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6601789440 30084 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4054] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4054/stat : 4054 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6601789440 30084 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4055] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4055/stat : 4055 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6601789440 30084 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4060] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4060/stat : 4060 (java) S 4038 4040 1663 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 892632645 6601789440 30084 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514752 0 0 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4062] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4062/stat : 4062 (java) S 4038 4040 1663 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 892632646 6601789440 30084 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
[pid=4040/tid=4063] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4063/stat : 4063 (java) S 4038 4040 1663 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 892632646 6601789440 30084 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
[pid=4040/tid=4074] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4074/stat : 4074 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632648 6601789440 30084 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101521841 0 4 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
[pid=4040/tid=4075] ppid=4038 vsize=6447060 CPUtime=0.37 cores=0,2
/proc/4040/task/4075/stat : 4075 (java) S 4038 4040 1663 0 -1 4202560 2663 0 0 0 37 0 0 0 18 0 19 0 892632648 6601789440 30084 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
[pid=4040/tid=4076] ppid=4038 vsize=6447060 CPUtime=0.44 cores=0,2
/proc/4040/task/4076/stat : 4076 (java) S 4038 4040 1663 0 -1 4202560 4612 0 0 0 44 0 0 0 15 0 19 0 892632648 6601789440 30084 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
[pid=4040/tid=4077] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4077/stat : 4077 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632648 6601789440 30084 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
[pid=4040/tid=4078] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4078/stat : 4078 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 892632648 6601789440 30084 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514752 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.89
Current children cumulated vsize (KiB) 6447060

[startup+6.30139 s]
/proc/loadavg: 1.72 1.28 2.03 6/261 4738
/proc/meminfo: memFree=30462552/32950928 swapFree=67055156/67111528
[pid=4040] ppid=4038 vsize=6447060 CPUtime=7.1 cores=0,2
/proc/4040/stat : 4040 (java) S 4038 4040 1663 0 -1 4202496 56149 0 1 0 702 8 0 0 25 0 19 0 892632642 6601789440 52812 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4040/statm: 1611765 52812 2226 9 0 1602503 0
[pid=4040/tid=4042] ppid=4038 vsize=6447060 CPUtime=6.26 cores=0,2
/proc/4040/task/4042/stat : 4042 (java) R 4038 4040 1663 0 -1 4202560 47608 0 1 0 619 7 0 0 25 0 19 0 892632643 6601789440 52812 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 46912505753909 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4040/tid=4048] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4048/stat : 4048 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6601789440 52812 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4049] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4049/stat : 4049 (java) S 4038 4040 1663 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 892632644 6601789440 52812 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4050] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4050/stat : 4050 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6601789440 52812 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4051] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4051/stat : 4051 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6601789440 52812 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4052] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4052/stat : 4052 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6601789440 52812 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4053] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4053/stat : 4053 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6601789440 52812 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4054] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4054/stat : 4054 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6601789440 52812 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4055] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4055/stat : 4055 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6601789440 52812 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4060] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4060/stat : 4060 (java) S 4038 4040 1663 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 892632645 6601789440 52812 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514752 0 0 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
[pid=4040/tid=4062] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4062/stat : 4062 (java) S 4038 4040 1663 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 892632646 6601789440 52812 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
[pid=4040/tid=4063] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4063/stat : 4063 (java) S 4038 4040 1663 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 892632646 6601789440 52812 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
[pid=4040/tid=4074] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4074/stat : 4074 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632648 6601789440 52812 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101521841 0 4 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
[pid=4040/tid=4075] ppid=4038 vsize=6447060 CPUtime=0.37 cores=0,2
/proc/4040/task/4075/stat : 4075 (java) S 4038 4040 1663 0 -1 4202560 2663 0 0 0 37 0 0 0 15 0 19 0 892632648 6601789440 52812 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
[pid=4040/tid=4076] ppid=4038 vsize=6447060 CPUtime=0.44 cores=0,2
/proc/4040/task/4076/stat : 4076 (java) S 4038 4040 1663 0 -1 4202560 4612 0 0 0 44 0 0 0 15 0 19 0 892632648 6601789440 52812 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
[pid=4040/tid=4077] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4077/stat : 4077 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632648 6601789440 52812 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
[pid=4040/tid=4078] ppid=4038 vsize=6447060 CPUtime=0 cores=0,2
/proc/4040/task/4078/stat : 4078 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 892632648 6601789440 52812 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514752 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.1
Current children cumulated vsize (KiB) 6447060

[startup+12.7012 s]
/proc/loadavg: 2.14 1.38 2.06 5/262 5534
/proc/meminfo: memFree=29295984/32950928 swapFree=67055156/67111528
[pid=4040] ppid=4038 vsize=6447060 CPUtime=13.48 cores=0,2
/proc/4040/stat : 4040 (java) S 4038 4040 1663 0 -1 4202496 100676 0 1 0 1333 15 0 0 25 0 19 0 892632642 6601789440 97339 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4040/statm: 1611765 97339 2226 9 0 1602503 0
[pid=4040/tid=4042] ppid=4038 vsize=6447060 CPUtime=12.61 cores=0,2

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


[startup+19.1011 s]
/proc/loadavg: 2.29 1.42 2.07 5/262 6323
/proc/meminfo: memFree=28372292/32950928 swapFree=67055156/67111528
[pid=4040] ppid=4038 vsize=6499476 CPUtime=20.13 cores=0,2
/proc/4040/stat : 4040 (java) S 4038 4040 1663 0 -1 4202496 169855 0 1 0 1988 25 0 0 25 0 19 0 892632642 6655463424 158362 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4040/statm: 1624869 158362 2229 9 0 1615607 0
[pid=4040/tid=4042] ppid=4038 vsize=6499476 CPUtime=19 cores=0,2
/proc/4040/task/4042/stat : 4042 (java) R 4038 4040 1663 0 -1 4202560 142971 0 1 0 1880 20 0 0 25 0 19 0 892632643 6655463424 158362 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 46912505767653 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4040/tid=4048] ppid=4038 vsize=6499476 CPUtime=0 cores=0,2
/proc/4040/task/4048/stat : 4048 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6655463424 158362 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4049] ppid=4038 vsize=6499476 CPUtime=0 cores=0,2
/proc/4040/task/4049/stat : 4049 (java) S 4038 4040 1663 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 892632644 6655463424 158362 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4050] ppid=4038 vsize=6499476 CPUtime=0 cores=0,2
/proc/4040/task/4050/stat : 4050 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6655463424 158362 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4051] ppid=4038 vsize=6499476 CPUtime=0 cores=0,2
/proc/4040/task/4051/stat : 4051 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6655463424 158362 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4052] ppid=4038 vsize=6499476 CPUtime=0 cores=0,2
/proc/4040/task/4052/stat : 4052 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6655463424 158362 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4053] ppid=4038 vsize=6499476 CPUtime=0 cores=0,2
/proc/4040/task/4053/stat : 4053 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6655463424 158362 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4054] ppid=4038 vsize=6499476 CPUtime=0 cores=0,2
/proc/4040/task/4054/stat : 4054 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6655463424 158362 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4055] ppid=4038 vsize=6499476 CPUtime=0 cores=0,2
/proc/4040/task/4055/stat : 4055 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6655463424 158362 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4060] ppid=4038 vsize=6499476 CPUtime=0 cores=0,2
/proc/4040/task/4060/stat : 4060 (java) S 4038 4040 1663 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 892632645 6655463424 158362 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514752 0 0 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
[pid=4040/tid=4062] ppid=4038 vsize=6499476 CPUtime=0 cores=0,2
/proc/4040/task/4062/stat : 4062 (java) S 4038 4040 1663 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 892632646 6655463424 158363 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
[pid=4040/tid=4063] ppid=4038 vsize=6499476 CPUtime=0 cores=0,2
/proc/4040/task/4063/stat : 4063 (java) S 4038 4040 1663 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 892632646 6655463424 158363 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
[pid=4040/tid=4074] ppid=4038 vsize=6499476 CPUtime=0 cores=0,2
/proc/4040/task/4074/stat : 4074 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632648 6655463424 158363 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101521841 0 4 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
[pid=4040/tid=4075] ppid=4038 vsize=6499476 CPUtime=0.61 cores=0,2
/proc/4040/task/4075/stat : 4075 (java) R 4038 4040 1663 0 -1 4202560 21000 0 0 0 59 2 0 0 16 0 19 0 892632648 6655463424 158363 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 47737694161420 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4040/tid=4076] ppid=4038 vsize=6499476 CPUtime=0.44 cores=0,2
/proc/4040/task/4076/stat : 4076 (java) S 4038 4040 1663 0 -1 4202560 4612 0 0 0 44 0 0 0 15 0 19 0 892632648 6655463424 158363 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
[pid=4040/tid=4077] ppid=4038 vsize=6499476 CPUtime=0 cores=0,2
/proc/4040/task/4077/stat : 4077 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632648 6655463424 158363 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
[pid=4040/tid=4078] ppid=4038 vsize=6499476 CPUtime=0 cores=0,2
/proc/4040/task/4078/stat : 4078 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 892632648 6655463424 158363 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514752 0 4 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 20.13
Current children cumulated vsize (KiB) 6499476

[startup+19.9009 s]
/proc/loadavg: 2.29 1.42 2.07 5/262 6416
/proc/meminfo: memFree=28185924/32950928 swapFree=67055156/67111528
[pid=4040] ppid=4038 vsize=6498444 CPUtime=21.23 cores=0,2
/proc/4040/stat : 4040 (java) S 4038 4040 1663 0 -1 4202496 177126 0 1 0 2097 26 0 0 25 0 19 0 892632642 6654406656 165224 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4040/statm: 1624611 165225 2229 9 0 1615349 0
[pid=4040/tid=4042] ppid=4038 vsize=6498444 CPUtime=19.8 cores=0,2
/proc/4040/task/4042/stat : 4042 (java) R 4038 4040 1663 0 -1 4202560 148578 0 1 0 1959 21 0 0 25 0 19 0 892632643 6654406656 165225 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 46912505767653 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4040/tid=4048] ppid=4038 vsize=6498444 CPUtime=0 cores=0,2
/proc/4040/task/4048/stat : 4048 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6654406656 165225 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4049] ppid=4038 vsize=6498444 CPUtime=0 cores=0,2
/proc/4040/task/4049/stat : 4049 (java) S 4038 4040 1663 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 892632644 6654406656 165225 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4050] ppid=4038 vsize=6498444 CPUtime=0 cores=0,2
/proc/4040/task/4050/stat : 4050 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6654406656 165225 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4051] ppid=4038 vsize=6498444 CPUtime=0 cores=0,2
/proc/4040/task/4051/stat : 4051 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6654406656 165225 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4052] ppid=4038 vsize=6498444 CPUtime=0 cores=0,2
/proc/4040/task/4052/stat : 4052 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6654406656 165225 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4053] ppid=4038 vsize=6498444 CPUtime=0 cores=0,2
/proc/4040/task/4053/stat : 4053 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6654406656 165225 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4054] ppid=4038 vsize=6498444 CPUtime=0 cores=0,2
/proc/4040/task/4054/stat : 4054 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6654406656 165225 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4055] ppid=4038 vsize=6498444 CPUtime=0 cores=0,2
/proc/4040/task/4055/stat : 4055 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6654406656 165225 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4060] ppid=4038 vsize=6498444 CPUtime=0 cores=0,2
/proc/4040/task/4060/stat : 4060 (java) S 4038 4040 1663 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 892632645 6654406656 165225 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514752 0 0 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
[pid=4040/tid=4062] ppid=4038 vsize=6498444 CPUtime=0 cores=0,2
/proc/4040/task/4062/stat : 4062 (java) S 4038 4040 1663 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 892632646 6654406656 165225 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
[pid=4040/tid=4063] ppid=4038 vsize=6498444 CPUtime=0 cores=0,2
/proc/4040/task/4063/stat : 4063 (java) S 4038 4040 1663 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 892632646 6654406656 165225 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
[pid=4040/tid=4074] ppid=4038 vsize=6498444 CPUtime=0 cores=0,2
/proc/4040/task/4074/stat : 4074 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632648 6654406656 165225 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101521841 0 4 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
[pid=4040/tid=4075] ppid=4038 vsize=6498444 CPUtime=0.93 cores=0,2
/proc/4040/task/4075/stat : 4075 (java) S 4038 4040 1663 0 -1 4202560 22664 0 0 0 90 3 0 0 15 0 19 0 892632648 6654406656 165225 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
[pid=4040/tid=4076] ppid=4038 vsize=6498444 CPUtime=0.44 cores=0,2
/proc/4040/task/4076/stat : 4076 (java) S 4038 4040 1663 0 -1 4202560 4612 0 0 0 44 0 0 0 15 0 19 0 892632648 6654406656 165225 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
[pid=4040/tid=4077] ppid=4038 vsize=6498444 CPUtime=0 cores=0,2
/proc/4040/task/4077/stat : 4077 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632648 6654406656 165225 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
[pid=4040/tid=4078] ppid=4038 vsize=6498444 CPUtime=0 cores=0,2
/proc/4040/task/4078/stat : 4078 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 892632648 6654406656 165225 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514752 0 4 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 21.23
Current children cumulated vsize (KiB) 6498444

[startup+20.3009 s]
/proc/loadavg: 2.29 1.42 2.07 5/262 6416
/proc/meminfo: memFree=28185924/32950928 swapFree=67055156/67111528
[pid=4040] ppid=4038 vsize=6498444 CPUtime=21.64 cores=0,2
/proc/4040/stat : 4040 (java) S 4038 4040 1663 0 -1 4202496 179296 0 1 0 2137 27 0 0 25 0 19 0 892632642 6654406656 167393 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4040/statm: 1624611 167394 2229 9 0 1615349 0
[pid=4040/tid=4042] ppid=4038 vsize=6498444 CPUtime=20.19 cores=0,2
/proc/4040/task/4042/stat : 4042 (java) R 4038 4040 1663 0 -1 4202560 150748 0 1 0 1998 21 0 0 25 0 19 0 892632643 6654406656 167394 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 46912505767653 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4040/tid=4048] ppid=4038 vsize=6498444 CPUtime=0 cores=0,2
/proc/4040/task/4048/stat : 4048 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6654406656 167394 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4049] ppid=4038 vsize=6498444 CPUtime=0 cores=0,2
/proc/4040/task/4049/stat : 4049 (java) S 4038 4040 1663 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 892632644 6654406656 167394 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4050] ppid=4038 vsize=6498444 CPUtime=0 cores=0,2
/proc/4040/task/4050/stat : 4050 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6654406656 167394 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4051] ppid=4038 vsize=6498444 CPUtime=0 cores=0,2
/proc/4040/task/4051/stat : 4051 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6654406656 167394 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4052] ppid=4038 vsize=6498444 CPUtime=0 cores=0,2
/proc/4040/task/4052/stat : 4052 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6654406656 167394 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4053] ppid=4038 vsize=6498444 CPUtime=0 cores=0,2
/proc/4040/task/4053/stat : 4053 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6654406656 167394 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4054] ppid=4038 vsize=6498444 CPUtime=0 cores=0,2
/proc/4040/task/4054/stat : 4054 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6654406656 167394 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4055] ppid=4038 vsize=6498444 CPUtime=0 cores=0,2
/proc/4040/task/4055/stat : 4055 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632644 6654406656 167394 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4060] ppid=4038 vsize=6498444 CPUtime=0 cores=0,2
/proc/4040/task/4060/stat : 4060 (java) S 4038 4040 1663 0 -1 4202560 7 0 0 0 0 0 0 0 16 0 19 0 892632645 6654406656 167394 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514752 0 0 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
[pid=4040/tid=4062] ppid=4038 vsize=6498444 CPUtime=0 cores=0,2
/proc/4040/task/4062/stat : 4062 (java) S 4038 4040 1663 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 892632646 6654406656 167394 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
[pid=4040/tid=4063] ppid=4038 vsize=6498444 CPUtime=0 cores=0,2
/proc/4040/task/4063/stat : 4063 (java) S 4038 4040 1663 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 892632646 6654406656 167394 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
[pid=4040/tid=4074] ppid=4038 vsize=6498444 CPUtime=0 cores=0,2
/proc/4040/task/4074/stat : 4074 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632648 6654406656 167394 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101521841 0 4 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
[pid=4040/tid=4075] ppid=4038 vsize=6498444 CPUtime=0.93 cores=0,2
/proc/4040/task/4075/stat : 4075 (java) S 4038 4040 1663 0 -1 4202560 22664 0 0 0 90 3 0 0 15 0 19 0 892632648 6654406656 167394 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
[pid=4040/tid=4076] ppid=4038 vsize=6498444 CPUtime=0.44 cores=0,2
/proc/4040/task/4076/stat : 4076 (java) S 4038 4040 1663 0 -1 4202560 4612 0 0 0 44 0 0 0 15 0 19 0 892632648 6654406656 167394 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
[pid=4040/tid=4077] ppid=4038 vsize=6498444 CPUtime=0 cores=0,2
/proc/4040/task/4077/stat : 4077 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892632648 6654406656 167394 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
[pid=4040/tid=4078] ppid=4038 vsize=6498444 CPUtime=0 cores=0,2
/proc/4040/task/4078/stat : 4078 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 892632648 6654406656 167394 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514752 0 4 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 21.64
Current children cumulated vsize (KiB) 6498444

[startup+20.7048 s]
/proc/loadavg: 2.29 1.42 2.07 5/262 6416
/proc/meminfo: memFree=28185924/32950928 swapFree=67055156/67111528
[pid=4040] ppid=4038 vsize=6499736 CPUtime=22.14 cores=0,2
/proc/4040/stat : 4040 (java) S 4038 4040 1663 0 -1 4202496 181899 0 1 0 2187 27 0 0 25 0 17 0 892632642 6655729664 169995 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4040/statm: 1624934 169995 2239 9 0 1615672 0
[pid=4040/tid=4042] ppid=4038 vsize=6499736 CPUtime=20.55 cores=0,2
/proc/4040/task/4042/stat : 4042 (java) S 4038 4040 1663 0 -1 4202560 152912 0 1 0 2034 21 0 0 25 0 17 0 892632643 6655729664 169995 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4048] ppid=4038 vsize=6499736 CPUtime=0 cores=0,2
/proc/4040/task/4048/stat : 4048 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 17 0 892632644 6655729664 169995 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4049] ppid=4038 vsize=6499736 CPUtime=0 cores=0,2
/proc/4040/task/4049/stat : 4049 (java) S 4038 4040 1663 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 17 0 892632644 6655729664 169995 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4050] ppid=4038 vsize=6499736 CPUtime=0 cores=0,2
/proc/4040/task/4050/stat : 4050 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 17 0 892632644 6655729664 169995 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4051] ppid=4038 vsize=6499736 CPUtime=0 cores=0,2
/proc/4040/task/4051/stat : 4051 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 17 0 892632644 6655729664 169995 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4052] ppid=4038 vsize=6499736 CPUtime=0 cores=0,2
/proc/4040/task/4052/stat : 4052 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 17 0 892632644 6655729664 169995 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4053] ppid=4038 vsize=6499736 CPUtime=0 cores=0,2
/proc/4040/task/4053/stat : 4053 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 17 0 892632644 6655729664 169995 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4054] ppid=4038 vsize=6499736 CPUtime=0 cores=0,2
/proc/4040/task/4054/stat : 4054 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 17 0 892632644 6655729664 169995 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4055] ppid=4038 vsize=6499736 CPUtime=0 cores=0,2
/proc/4040/task/4055/stat : 4055 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 17 0 892632644 6655729664 169995 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4060] ppid=4038 vsize=6499736 CPUtime=0 cores=0,2
/proc/4040/task/4060/stat : 4060 (java) S 4038 4040 1663 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 17 0 892632645 6655729664 169995 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514752 0 0 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4062] ppid=4038 vsize=6499736 CPUtime=0 cores=0,2
/proc/4040/task/4062/stat : 4062 (java) S 4038 4040 1663 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 17 0 892632646 6655729664 169995 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
[pid=4040/tid=4063] ppid=4038 vsize=6499736 CPUtime=0 cores=0,2
/proc/4040/task/4063/stat : 4063 (java) S 4038 4040 1663 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 17 0 892632646 6655729664 169995 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
[pid=4040/tid=4074] ppid=4038 vsize=6499736 CPUtime=0 cores=0,2
/proc/4040/task/4074/stat : 4074 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 17 0 892632648 6655729664 169995 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4075] ppid=4038 vsize=6499736 CPUtime=0.95 cores=0,2
/proc/4040/task/4075/stat : 4075 (java) S 4038 4040 1663 0 -1 4202560 22674 0 0 0 92 3 0 0 15 0 17 0 892632648 6655729664 169995 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 0 0 0 0
[pid=4040/tid=4076] ppid=4038 vsize=6499736 CPUtime=0.54 cores=0,2
/proc/4040/task/4076/stat : 4076 (java) R 4038 4040 1663 0 -1 4202560 5028 0 0 0 54 0 0 0 15 0 17 0 892632648 6655729664 169995 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 47737692103414 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4040/tid=4077] ppid=4038 vsize=6499736 CPUtime=0 cores=0,2
/proc/4040/task/4077/stat : 4077 (java) S 4038 4040 1663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 17 0 892632648 6655729664 169995 33554432000 1073741824 1073778376 140733764090192 18446744073709551615 248101514137 0 4 0 16800975 18446604453831709632 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 22.14
Current children cumulated vsize (KiB) 6499736

Child status: 20
Real time (s): 20.7489
CPU time (s): 22.1866
CPU user time (s): 21.8857
CPU system time (s): 0.300954
CPU usage (%): 106.929
Max. virtual memory (cumulated for all children) (KiB): 6504016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.8857
system time used= 0.300954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181899
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= 5680
involuntary context switches= 3784

runsolver used 0.053991 second user time and 0.120981 second system time

The end

Begin job on node123 at 2011-06-11 18:38:48
IDJOB=3493748
IDBENCH=83449
IDSOLVER=1972
FILE ID=node123/3493748-1307810328
RUNJOBID= node123-1307810328-4016
PBS_JOBID= 13551056
Free space on /tmp= 74180 MiB

SOLVER NAME= SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E15N10.cnf
COMMAND LINE= java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493748-1307810328/watcher-3493748-1307810328 -o /tmp/evaluation-result-3493748-1307810328/solver-3493748-1307810328 -C 1800 -W 1850 -M 7680  java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3493748-1307810328.cnf

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 547a8d0add65ddb9f00c988671f12940
RANDOM SEED=225765758

node123.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.838
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.67
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.838
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	: 5226.15
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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
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.82
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.838
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.74
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.838
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.80
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.838
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.74
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.838
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31325952 kB
Buffers:        300336 kB
Cached:        1113616 kB
SwapCached:      10356 kB
Active:         466828 kB
Inactive:       965716 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31325952 kB
SwapTotal:    67111528 kB
SwapFree:     67055156 kB
Dirty:             412 kB
Writeback:           0 kB
AnonPages:       15656 kB
Mapped:          12504 kB
Slab:           127896 kB
PageTables:       5172 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   192788 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= 74172 MiB
End job on node123 at 2011-06-11 18:39:09