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.06/0.07	c version 2.3.0.v20110206
0.06/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.07	c java.vm.version	19.1-b02
0.06/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.07	c sun.arch.data.model	64
0.06/0.07	c java.version		1.6.0_24
0.06/0.07	c os.name		Linux
0.06/0.07	c os.version		2.6.18-164.el5
0.06/0.07	c os.arch		amd64
0.06/0.07	c Free memory 		5997854704
0.06/0.07	c Max memory 		6029312000
0.06/0.07	c Total memory 		6029312000
0.06/0.07	c Number of processors 	8
0.09/0.10	c Explanation (MUS) enabled solver
0.09/0.10	c QuickXplain (AAAI 2004 version) minimization strategy
0.09/0.10	c --- Begin Solver configuration ---
0.09/0.10	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@aa470b8
0.09/0.10	c Learn all clauses as in MiniSAT
0.09/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.09/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.09/0.10	c Expensive reason simplification
0.09/0.10	c Armin Biere (Picosat) restarts strategy
0.09/0.10	c Glucose learned constraints deletion strategy
0.09/0.10	c timeout=2147483647s
0.09/0.10	c DB Simplification allowed=true
0.09/0.10	c --- End Solver configuration ---
0.09/0.10	c solving HOME/instance-3493352-1307799041.cnf
0.09/0.10	c reading problem ... 
1.25/1.17	c ... done. Wall clock time 1.062s.
1.25/1.17	c #vars     1134088
1.25/1.17	c #constraints  819830
1.25/1.17	c constraints type 
1.25/1.17	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 814318
1.25/1.17	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 5512
2.17/1.81	c Unsat detection wall clock time (in seconds) : 1.705
2.17/1.81	c Size of initial unsat subformula: 728
2.17/1.81	c Computing MUS ...
2.17/1.81	c initial unsat core 289953[?] -313852[?] 1133276[?]  289753[?] -313652[?] 1132876[?]  -289555[?] 313454[?] 1132479[?]  -289551[?] 313450[?] 1132471[?]  289476[?] -313375[?] 1132322[?]  -291407[?] 267508[?] 1130376[?]  267505[?] -291404[?] 1130370[?]  -291400[?] 267501[?] 1130362[?]  291187[?] -267288[?] 1129935[?]  -267271[?] 291170[?] 1129901[?]  -267108[?] 291007[?] 1129575[?]  -267107[?] 291006[?] 1129573[?]  -267103[?] 291002[?] 1129565[?]  -290927[?] 267028[?] 1129416[?]  245057[?] -268956[?] 1127464[?]  268739[?] -244840[?] 1127029[?]  244838[?] -268737[?] 1127026[?]  -244823[?] 268722[?] 1126995[?]  -268557[?] 244658[?] 1126666[?]  222609[?] -246508[?] 1124558[?]  -222412[?] 246311[?] 1124163[?]  246291[?] -222392[?] 1124123[?]  -222375[?] 246274[?] 1124089[?]  -224060[?] 200161[?] 1121652[?]  -199950[?] 223849[?] 1121229[?]  -223846[?] 199947[?] 1121224[?]  199944[?] -223843[?] 1121218[?]  -199928[?] 223827[?] 1121185[?]  199190[?] -223089[?] 1119710[?]  -201612[?] 177713[?] 1118746[?]  -177502[?] 201401[?] 1118323[?]  -201398[?] 177499[?] 1118318[?]  -177480[?] 201379[?] 1118279[?]  176742[?] -200641[?] 1116804[?]  -155677[?] 179576[?] 1116663[?]  -155094[?] 178993[?] 1115497[?]  -155054[?] 178953[?] 1115417[?]  -178950[?] 155051[?] 1115412[?]  155032[?] -178931[?] 1115374[?]  -132607[?] 1112513[?] 156506[?]  -156484[?] 132585[?] 1112470[?]  -132574[?] 156473[?] 1112447[?]  132573[?] -156472[?] 1112446[?]  -110783[?] 1110855[?] 134682[?]  110177[?] 1109644[?] -134076[?]  -110159[?] 134058[?] 1109607[?]  -134036[?] 110137[?] 1109564[?]  -110126[?] 134025[?] 1109541[?]  110125[?] -134024[?] 1109540[?]  -88336[?] 1107951[?] 112235[?]  87730[?] 1106740[?] -111629[?]  -87712[?] 111611[?] 1106703[?]  -111589[?] 87690[?] 1106660[?]  -89142[?] 1103756[?] 65243[?]  -66695[?] 42796[?] 1100852[?]  -66694[?] 1100850[?] 42795[?]  -44248[?] 1097948[?] 20349[?]  -44247[?] 1097946[?] 20348[?]  -43458[?] 19559[?] 1096368[?]  -43457[?] 19558[?] 1096366[?]  -21800[?] 1095689[?] -21799[?] 1095688[?] -21011[?] 1094900[?] -21010[?] 1094899[?] 157319[?] 1093478[?] 112425[?] 1093476[?] 89978[?] 1093475[?] -157312[?] 1093380[?] 134862[?] 1093337[?] 291986[?] 1093274[?] -157296[?] 1093156[?] -291917[?] 1092308[?] -269470[?] 1092307[?] -247023[?] 1092306[?] -291907[?] 1092168[?] -247013[?] 1092166[?] -224566[?] 1092165[?] -247008[?] 1092096[?] 291885[?] 1091860[?] -224544[?] 1091857[?] 112309[?] 1091852[?] 89862[?] 1091851[?] 291880[?] 1091790[?] -246985[?] 1091774[?] -157197[?] 1091770[?] 202089[?] 1091744[?] 246982[?] 1091732[?] 202088[?] 1091730[?] 179641[?] 1091729[?] -134747[?] 1091727[?] -202067[?] 1091436[?] -112236[?] 1090830[?] 89789[?] 1090829[?] 67342[?] 1090828[?] 44895[?] 1090827[?] 22448[?] 1090826[?] -1[?] 1090825[?] -137536[?] 1090817[?] 155677[?]  -92642[?] 110783[?] 1090815[?]  -70195[?] 88336[?] 1090814[?]  -267508[?] 268959[?] 1079496[?]  285460[?] -289953[?] 1079441[?]  268956[?] -267505[?] 1079412[?]  246508[?] -245057[?] 1079383[?]  218118[?] -222609[?] 1079354[?]  -200161[?] 195674[?] 1079325[?]  -267501[?] 268952[?] 1079300[?]  -177713[?] 179164[?] 1079296[?]  -151167[?] 155094[?] 1074493[?]  -217968[?] 222412[?] 1073852[?]  285309[?] -289753[?] 1073841[?]  105733[?] -110177[?] 1073833[?]  83286[?] -87730[?] 1073832[?]  -195526[?] 199950[?] 1073431[?]  -175394[?] 177502[?] 1073402[?]  -152946[?] 155054[?] 1073373[?]  -130499[?] 132607[?] 1073372[?]  267288[?] -265180[?] 1073350[?]  -108051[?] 110159[?] 1073343[?]  -85604[?] 87712[?] 1073342[?]  -199947[?] 197839[?] 1073333[?]  244840[?] -242773[?] 1073321[?]  -177499[?] 175432[?] 1073304[?]  222392[?] -223843[?] 1073292[?]  -155051[?] 156502[?] 1073275[?]  240424[?] -244838[?] 1073251[?]  195530[?] -199944[?] 1073249[?]  -263450[?] 267271[?] 1072874[?]  -241742[?] 244823[?] 1072845[?]  -218726[?] 222375[?] 1072816[?]  -196279[?] 199928[?] 1072815[?]  -175487[?] 177480[?] 1072786[?]  151384[?] -155032[?] 1072743[?]  -132585[?] 128937[?] 1072742[?]  -110137[?] 106489[?] 1072713[?]  -87690[?] 84042[?] 1072712[?]  -65243[?] 61595[?] 1072711[?]  -42796[?] 39148[?] 1072710[?]  -20349[?] 16701[?] 1072709[?]  -42795[?] 38979[?] 1072682[?]  -20348[?] 16532[?] 1072681[?]  -128540[?] 132574[?] 1072448[?]  -106092[?] 110126[?] 1072419[?]  128539[?] -132573[?] 1072406[?]  106098[?] -110125[?] 1072377[?]  -291006[?] 289555[?] 1068311[?]  -268559[?] 267108[?] 1068310[?]  -268558[?] 267107[?] 1068282[?]  -244658[?] 246109[?] 1068211[?]  -291002[?] 289551[?] 1068199[?]  -263027[?] 267103[?] 1068170[?]  285470[?] -289476[?] 1066085[?]  -267028[?] 265197[?] 1066056[?]  197643[?] -199190[?] 1052137[?]  173682[?] -176742[?] 1052108[?]  -19559[?] 5616[?] 1050589[?]  -19558[?] 5614[?] 1050561[?]  210314[?] 210185[?] 221019[?] 1026280[?]  -277526[?] -288360[?] 1026269[?]  -98079[?] -108784[?] 1026247[?]  -75632[?] -86337[?] 1026246[?]  -288335[?] -283300[?] 1025205[?]  -265847[?] -249534[?] 1023440[?]  -288236[?] -271668[?] 1021019[?]  -156473[?] -153113[?] 1001777[?]  -135362[?] -153113[?] 1001763[?]  -179576[?] -175530[?] 1000434[?]  -134682[?] -130636[?] 1000432[?]  -112235[?] -108189[?] 1000431[?]  -242865[?] -246291[?] 1000143[?]  -197971[?] -201396[?] 1000127[?]  166990[?] 175487[?] 168310[?] 998446[?]  -175432[?] 170678[?] 165576[?] 996136[?]  242773[?] -232917[?] 996125[?]  -265197[?] 260424[?] 256442[?] 995174[?]  -165579[?] 175394[?] 994526[?]  -120684[?] 130499[?] 994482[?]  -148192[?] 152946[?] 994469[?]  -197839[?] 188024[?] 193084[?] 994457[?]  265180[?] -255365[?] 994446[?]  -103296[?] 108051[?] 994425[?]  -80849[?] 85604[?] 994424[?]  -145701[?] 152860[?] 990857[?]  -100794[?] 107964[?] 990771[?]  -78347[?] 85517[?] 990770[?]  189982[?] -197643[?] 192791[?] 986225[?]  -234341[?] 241742[?] 951185[?]  -189438[?] 196279[?] 926893[?]  -213218[?] 218726[?] 926880[?]  145857[?] 144542[?] -151384[?] 926863[?]  -128937[?] 122095[?] 123410[?] 926862[?]  -106489[?] 100962[?] 99647[?] 926819[?]  -84042[?] 78515[?] 77200[?] 926818[?]  -61595[?] 56068[?] 54753[?] 926817[?]  -39148[?] 33621[?] 32306[?] 926816[?]  -16701[?] 9859[?] 11174[?] 926815[?]  167512[?] 168166[?] -173682[?] 920466[?]  -256789[?] 263450[?] 919616[?]  -38979[?] 33308[?] 32317[?] 919578[?]  -16532[?] 9870[?] 10861[?] 919577[?]  -145021[?] 151167[?] 917595[?]  -212328[?] 218420[?] 913748[?]  -212798[?] 218420[?] 913734[?]  145421[?] 144978[?] -151074[?] 913493[?]  -106179[?] 100083[?] 100526[?] 913449[?]  -83732[?] 77636[?] 78079[?] 913448[?]  -61285[?] 55189[?] 55632[?] 913447[?]  -38838[?] 32742[?] 33185[?] 913446[?]  100241[?] -106098[?] 99664[?] 909963[?]  -122102[?] 128540[?] 909740[?]  122087[?] -128539[?] 122672[?] 909712[?]  -100225[?] 106092[?] 909683[?]  -38626[?] 32750[?] 32754[?] 904402[?]  -257163[?] 263027[?] 901430[?]  279609[?] -285470[?] 278682[?] 901291[?]  -195674[?] 188600[?] 189772[?] 900951[?]  279551[?] -285460[?] 278386[?] 900871[?]  212204[?] -218118[?] 211044[?] 900826[?]  232915[?] -240424[?] 234124[?] 894625[?]  188021[?] -195530[?] 189230[?] 894623[?]  -188017[?] 195526[?] 894441[?]  278985[?] -285309[?] 277799[?] 894249[?]  99409[?] -105733[?] 98223[?] 894241[?]  76962[?] -83286[?] 75776[?] 894240[?]  -211644[?] 217968[?] 894218[?]  -92547[?] 105681[?] 892043[?]  -284329[?] -284330[?] -284328[?] 849155[?]  291404[?] 284329[?] 849085[?]  284328[?] 288335[?] 849043[?]  153113[?] 149628[?] 848183[?]  260920[?] 268558[?] 801764[?]  260914[?] 268560[?] 801470[?]  260903[?] 268559[?] 800980[?]  260897[?] 268557[?] 800686[?]  260889[?] 268556[?] 800336[?]  283300[?] 283299[?] 798769[?]  -283299[?] -270183[?] -283297[?] 798741[?]  283297[?] 291407[?] 798629[?]  135139[?] 148532[?] 794969[?]  90245[?] 103638[?] 794967[?]  67798[?] 81191[?] 794966[?]  260628[?] 268558[?] 788884[?]  -170678[?] 160434[?] 782020[?]  -152860[?] 148192[?] -138035[?] 780395[?]  -107964[?] 103296[?] -93124[?] 780309[?]  -85517[?] 80849[?] -70677[?] 780308[?]  -193084[?] 182912[?] 780299[?]  -260424[?] 251203[?] 780260[?]  -192791[?] 185526[?] 767657[?]  -218420[?] -206827[?] 213218[?] 675062[?]  -168310[?] 161927[?] 674458[?]  -123410[?] 117028[?] 674204[?]  151074[?] -145857[?] 674191[?]  -11174[?] 4792[?] 674157[?]  -100962[?] 106179[?] 674147[?]  -78515[?] 83732[?] 674146[?]  -56068[?] 61285[?] 674145[?]  -33621[?] 38838[?] 674144[?]  -168166[?] 159579[?] 668116[?]  -156506[?] -140552[?] 145701[?] 667359[?]  -111611[?] -95649[?] 100794[?] 666755[?]  -89164[?] 78347[?] -73202[?] 666754[?]  -10861[?] 4796[?] 660283[?]  -33308[?] 38626[?] 660270[?]  -206822[?] -202402[?] 212798[?] 656162[?]  139466[?] -145421[?] 654241[?]  -100526[?] 90167[?] 654183[?]  -78079[?] 67720[?] 654182[?]  -55632[?] 45273[?] 654181[?]  -33185[?] 22826[?] 654180[?]  99357[?] -100241[?] 641793[?]  -105681[?] 100225[?] -94560[?] 641149[?]  -122672[?] 117007[?] 641136[?]  179979[?] -189982[?] 639823[?]  161892[?] -167512[?] 638870[?]  -139522[?] 145021[?] -156545[?] 637035[?]  -100097[?] 91021[?] 635745[?]  -77650[?] 68574[?] 635744[?]  -32754[?] 26223[?] 635658[?]  -223827[?] -216975[?] 212328[?] 635610[?]  -32750[?] 26332[?] 635490[?]  -144978[?] 156484[?] 635201[?]  -100083[?] 111589[?] 635157[?]  -77636[?] 89142[?] 635156[?]  -55189[?] 66695[?] 635155[?]  -32742[?] 44248[?] 635154[?]  -251139[?] -255262[?] 257163[?] 633134[?]  273567[?] -279609[?] 633079[?]  -144906[?] 135915[?] 632177[?]  -189772[?] 183556[?] 631017[?]  284330[?] -279551[?] 630629[?]  205942[?] -212204[?] 630388[?]  -99664[?] 93779[?] 617461[?]  -268722[?] 256789[?] -250908[?] 617314[?]  -246274[?] 234341[?] -228461[?] 617271[?]  -32317[?] 26438[?] 617206[?]  -9870[?] 21799[?] 617191[?]  -134025[?] 122102[?] -116226[?] 617098[?]  -201379[?] 189438[?] -183567[?] 616891[?]  178931[?] -166990[?] 616820[?]  -144542[?] 138673[?] 616791[?]  -122095[?] 134036[?] 616776[?]  -99647[?] 93779[?] 616747[?]  -77200[?] 71332[?] 616746[?]  -54753[?] 48885[?] 616745[?]  -32306[?] 26438[?] 616744[?]  -9859[?] 379[?] 616729[?]  134024[?] -122087[?] 616440[?]  -234124[?] 242865[?] 608129[?]  -189230[?] 197971[?] 608127[?]  -221019[?] -205040[?] 211644[?] 606714[?]  288360[?] -278985[?] 606689[?]  108784[?] -99409[?] 606681[?]  86337[?] -76962[?] 606680[?]  90515[?] -99357[?] 604469[?]  -256442[?] 265847[?] 602600[?]  -278682[?] 288236[?] 593907[?]  -188600[?] 201612[?] 581555[?]  -278386[?] 272589[?] 581489[?]  -211044[?] 224060[?] 581430[?]  -178953[?] 165579[?] -159903[?] 556592[?]  -134058[?] 120684[?] -115009[?] 556548[?]  255365[?] -268739[?] -249691[?] 556512[?]  -188024[?] 201398[?] 556481[?]  232917[?] -227244[?] -246291[?] 556469[?]  -165576[?] 178950[?] 556438[?]  227244[?] -232915[?] 556371[?]  182350[?] -188021[?] 556369[?]  -201401[?] 188017[?] -182350[?] 556215[?]  -277799[?] 272138[?] 555953[?]  -98223[?] 92562[?] 555945[?]  -75776[?] 70115[?] 555944[?]  255262[?] -260889[?] -255261[?] -260897[?] -260920[?] 551934[?]  255261[?] -260628[?] -260903[?] -260914[?] 551864[?]  -90167[?] -91796[?] 98079[?] 549519[?]  -67720[?] -69349[?] 75632[?] 549518[?]  202402[?] -210314[?] 549496[?]  -269726[?] 277526[?] -270037[?] 543703[?]  -210185[?] 202696[?] 543686[?]  -185526[?] -184339[?] 480517[?]  140552[?] 144906[?] 478261[?]  95649[?] 100097[?] 478007[?]  73202[?] 77650[?] 478006[?]  -5616[?] -5615[?] 471157[?]  5615[?] 5058[?] 471115[?]  -5614[?] -5613[?] 471101[?]  5613[?] 5131[?] 471059[?]  -5131[?] -5130[?] 457577[?]  5130[?] 3885[?] 457535[?]  -5058[?] -5057[?] 455533[?]  5057[?] 3776[?] 455491[?]  -162098[?] -162099[?] 453076[?]  -117204[?] -117205[?] 453074[?]  -94757[?] -94758[?] 453073[?]  160942[?] 162098[?] 453034[?]  116048[?] 117204[?] 453032[?]  93601[?] 94757[?] 453031[?]  139521[?] 139522[?] 449421[?]  -139271[?] -139521[?] 449407[?]  206827[?] 206014[?] 448416[?]  216975[?] 206822[?] 448276[?]  -161927[?] -161120[?] 448260[?]  -4796[?] -3991[?] 448197[?]  -117028[?] -116226[?] 448118[?]  -4792[?] -3991[?] 448085[?]  -149628[?] -139466[?] 447867[?]  -117007[?] -116226[?] 447530[?]  94560[?] 93779[?] 447515[?]  -161891[?] -161892[?] 447280[?]  184339[?] 184338[?] 447267[?]  -184338[?] -183880[?] 447253[?]  161433[?] 161891[?] 447238[?]  139270[?] 139271[?] 442393[?]  -137597[?] -139270[?] 442379[?]  161630[?] 161631[?] 439958[?]  -160122[?] -161630[?] 439944[?]  -139089[?] -139090[?] 437339[?]  137945[?] 139089[?] 437297[?]  -161432[?] -161433[?] 434428[?]  183880[?] 183879[?] 434415[?]  -183879[?] -182494[?] 434401[?]  160047[?] 161432[?] 434386[?]  -251203[?] -249804[?] 433928[?]  250221[?] 251139[?] 432122[?]  -272661[?] -273567[?] 431605[?]  -206014[?] -206013[?] 425666[?]  -138673[?] -138672[?] 425663[?]  -93779[?] -93778[?] 425661[?]  -71332[?] -71331[?] 425660[?]  -48885[?] -48884[?] 425659[?]  -26438[?] -26437[?] 425658[?]  250908[?] 250907[?] 425654[?]  228461[?] 228460[?] 425653[?]  183567[?] 183566[?] 425651[?]  161120[?] 161119[?] 425650[?]  116226[?] 116225[?] 425648[?]  3991[?] 3990[?] 425643[?]  -250907[?] -249857[?] 425640[?]  -228460[?] -227410[?] 425639[?]  -183566[?] -182516[?] 425637[?]  -161119[?] -160069[?] 425636[?]  -116225[?] -115175[?] 425634[?]  -3990[?] -2940[?] 425629[?]  206013[?] 204963[?] 425624[?]  138672[?] 137622[?] 425621[?]  93778[?] 92728[?] 425619[?]  71331[?] 70281[?] 425618[?]  48884[?] 47834[?] 425617[?]  26437[?] 25387[?] 425616[?]  -183556[?] -182801[?] 425357[?]  -205248[?] -205942[?] 423650[?]  -26332[?] -25916[?] 422690[?]  -3885[?] -3469[?] 422689[?]  -160941[?] -160942[?] 420680[?]  -116047[?] -116048[?] 420678[?]  -93600[?] -93601[?] 420677[?]  160727[?] 160941[?] 420638[?]  115833[?] 116047[?] 420636[?]  93386[?] 93600[?] 420635[?]  -26223[?] -25780[?] 419638[?]  -3776[?] -3333[?] 419637[?]  -295566[?] -295567[?] 419090[?]  313852[?] 295566[?] 419048[?]  160738[?] 160739[?] 414982[?]  -160275[?] -160738[?] 414968[?]  -159630[?] -160727[?] 414660[?]  -114736[?] -115833[?] 414658[?]  -92289[?] -93386[?] 414657[?]  25916[?] 25915[?] 411028[?]  3469[?] 3468[?] 411027[?]  -25915[?] -24891[?] 411014[?]  -3468[?] -2444[?] 411013[?]  138035[?] 137456[?] 407785[?]  -182912[?] -182350[?] 407325[?]  93124[?] 92562[?] 407307[?]  70677[?] 70115[?] 407306[?]  25780[?] 25779[?] 407220[?]  3333[?] 3332[?] 407219[?]  -25779[?] -24835[?] 407206[?]  -3332[?] -2388[?] 407205[?]  -160434[?] -159903[?] 406456[?]  -250220[?] -250221[?] 406432[?]  249393[?] 250220[?] 406390[?]  272660[?] 272661[?] 406223[?]  -271835[?] -272660[?] 406209[?]  -137944[?] -137945[?] 405279[?]  137446[?] 137944[?] 405237[?]  -272589[?] -272588[?] 404221[?]  205247[?] 205248[?] 404204[?]  182801[?] 182800[?] 404203[?]  -204565[?] -205247[?] 404190[?]  -182800[?] -182118[?] 404189[?]  272588[?] 271906[?] 404179[?]  160274[?] 160275[?] 401990[?]  -159579[?] -160274[?] 401976[?]  205040[?] 204797[?] 398380[?]  160121[?] 160122[?] 397706[?]  -159925[?] -160121[?] 397692[?]  -204963[?] -204962[?] 396238[?]  -137622[?] -137621[?] 396235[?]  -92728[?] -92727[?] 396233[?]  -70281[?] -70280[?] 396232[?]  -47834[?] -47833[?] 396231[?]  -25387[?] -25386[?] 396230[?]  249857[?] 249856[?] 396226[?]  227410[?] 227409[?] 396225[?]  182516[?] 182515[?] 396223[?]  160069[?] 160068[?] 396222[?]  115175[?] 115174[?] 396220[?]  2940[?] 2939[?] 396215[?]  -249856[?] -249720[?] 396212[?]  -227409[?] -227273[?] 396211[?]  -182515[?] -182379[?] 396209[?]  -160068[?] -159932[?] 396208[?]  -115174[?] -115038[?] 396206[?]  -2939[?] -2803[?] 396201[?]  204962[?] 204826[?] 396196[?]  137621[?] 137485[?] 396193[?]  92727[?] 92591[?] 396191[?]  70280[?] 70144[?] 396190[?]  47833[?] 47697[?] 396189[?]  25386[?] 25250[?] 396188[?]  -160046[?] -160047[?] 395620[?]  182494[?] 182493[?] 395607[?]  -182493[?] -182159[?] 395593[?]  159712[?] 160046[?] 395578[?]  137596[?] 137597[?] 395521[?]  -137213[?] -137596[?] 395507[?]  249804[?] 249803[?] 394742[?]  -249803[?] -249534[?] 394728[?]  137535[?] 137536[?] 393813[?]  92641[?] 92642[?] 393811[?]  70194[?] 70195[?] 393810[?]  -137324[?] -137535[?] 393799[?]  -92430[?] -92641[?] 393797[?]  -69983[?] -70194[?] 393796[?]  -204826[?] -204825[?] 392402[?]  -137485[?] -137484[?] 392399[?]  -92591[?] -92590[?] 392397[?]  -70144[?] -70143[?] 392396[?]  -47697[?] -47696[?] 392395[?]  -25250[?] -25249[?] 392394[?]  249720[?] 249719[?] 392390[?]  227273[?] 227272[?] 392389[?]  182379[?] 182378[?] 392387[?]  159932[?] 159931[?] 392386[?]  115038[?] 115037[?] 392384[?]  2803[?] 2802[?] 392379[?]  -249719[?] -248755[?] 392376[?]  -227272[?] -226308[?] 392375[?]  -182378[?] -181414[?] 392373[?]  -159931[?] -158967[?] 392372[?]  -115037[?] -114073[?] 392370[?]  -2802[?] -1838[?] 392365[?]  204825[?] 203861[?] 392360[?]  137484[?] 136520[?] 392357[?]  92590[?] 91626[?] 392355[?]  70143[?] 69179[?] 392354[?]  47696[?] 46732[?] 392353[?]  25249[?] 24285[?] 392352[?]  159924[?] 159925[?] 392190[?]  -159312[?] -159924[?] 392176[?]  -272138[?] -272137[?] 391593[?]  -227243[?] -227244[?] 391591[?]  -204797[?] -204796[?] 391590[?]  -182349[?] -182350[?] 391589[?]  -137456[?] -137455[?] 391587[?]  -92562[?] -92561[?] 391585[?]  -70115[?] -70114[?] 391584[?]  249691[?] 249690[?] 391578[?]  159903[?] 159902[?] 391574[?]  115009[?] 115008[?] 391572[?]  -249690[?] -248755[?] 391564[?]  -159902[?] -158967[?] 391560[?]  -115008[?] -114073[?] 391558[?]  272137[?] 271202[?] 391551[?]  226308[?] 227243[?] 391549[?]  204796[?] 203861[?] 391548[?]  181414[?] 182349[?] 391547[?]  137455[?] 136520[?] 391545[?]  92561[?] 91626[?] 391543[?]  70114[?] 69179[?] 391542[?]  294580[?] 294581[?] 391468[?]  272133[?] 272134[?] 391467[?]  249686[?] 249687[?] 391466[?]  -313454[?] -294580[?] 391454[?]  -291007[?] -272133[?] 391453[?]  -268560[?] -249686[?] 391452[?]  -137445[?] -137446[?] 391307[?]  136837[?] 137445[?] 391265[?]  92546[?] 92547[?] 391151[?]  -91719[?] -92546[?] 391137[?]  137323[?] 137324[?] 387877[?]  92429[?] 92430[?] 387875[?]  69982[?] 69983[?] 387874[?]  -148532[?] -137323[?] 387863[?]  -103638[?] -92429[?] 387861[?]  -81191[?] -69982[?] 387860[?]  294448[?] 294449[?] 387772[?]  249554[?] 249555[?] 387770[?]  227107[?] 227108[?] 387769[?]  -313450[?] -294448[?] 387758[?]  -268556[?] -249554[?] 387756[?]  -246109[?] -227107[?] 387755[?]  249534[?] 249533[?] 387182[?]  -249533[?] -248755[?] 387168[?]  -159711[?] -159712[?] 386240[?]  182159[?] 182158[?] 386227[?]  -182158[?] -181414[?] 386213[?]  158967[?] 159711[?] 386198[?]  -271906[?] -271905[?] 385097[?]  204564[?] 204565[?] 385080[?]  182118[?] 182117[?] 385079[?]  -203861[?] -204564[?] 385066[?]  -182117[?] -181414[?] 385065[?]  271905[?] 271202[?] 385055[?]  137212[?] 137213[?] 384769[?]  -136520[?] -137212[?] 384755[?]  249421[?] 249422[?] 384046[?]  -268959[?] -249421[?] 384032[?]  159629[?] 159630[?] 383930[?]  114735[?] 114736[?] 383928[?]  92288[?] 92289[?] 383927[?]  -158958[?] -159629[?] 383916[?]  -114064[?] -114735[?] 383914[?]  -91617[?] -92288[?] 383913[?]  -249392[?] -249393[?] 383248[?]  248755[?] 249392[?] 383206[?]  271834[?] 271835[?] 383095[?]  -271202[?] -271834[?] 383081[?]  24891[?] 24890[?] 382328[?]  2444[?] 2443[?] 382327[?]  -24890[?] -24667[?] 382314[?]  -2443[?] -2220[?] 382313[?]  24835[?] 24834[?] 380760[?]  2388[?] 2387[?] 380759[?]  -24834[?] -24615[?] 380746[?]  -2387[?] -2168[?] 380745[?]  271668[?] 271145[?] 378419[?]  24667[?] 24666[?] 376056[?]  2220[?] 2219[?] 376055[?]  -24666[?] -24096[?] 376042[?]  -2219[?] -1649[?] 376041[?]  159311[?] 159312[?] 375026[?]  -158834[?] -159311[?] 375012[?]  24615[?] 24614[?] 374600[?]  2168[?] 2167[?] 374599[?]  -24614[?] -23890[?] 374586[?]  -2167[?] -1443[?] 374585[?]  -136836[?] -136837[?] 374255[?]  136330[?] 136836[?] 374213[?]  -293884[?] -293885[?] 371994[?]  -114308[?] -114309[?] 371986[?]  -91861[?] -91862[?] 371985[?]  226543[?] 226544[?] 371977[?]  -246311[?] -226543[?] 371963[?]  313652[?] 293884[?] 371952[?]  134076[?] 114308[?] 371944[?]  111629[?] 91861[?] 371943[?]  91796[?] 90461[?] 370123[?]  69349[?] 68014[?] 370122[?]  -293801[?] -293802[?] 369670[?]  313375[?] 293801[?] 369628[?]  91719[?] 91718[?] 367967[?]  -91718[?] -90515[?] 367953[?]  248777[?] 248778[?] 366014[?]  158989[?] 158990[?] 366010[?]  -268952[?] -248777[?] 366000[?]  -179164[?] -158989[?] 365996[?]  -91626[?] -91625[?] 365377[?]  -69179[?] -69178[?] 365376[?]  -46732[?] -46731[?] 365375[?]  -24285[?] -24284[?] 365374[?]  114073[?] 114072[?] 365364[?]  1838[?] 1837[?] 365359[?]  -114072[?] -112749[?] 365350[?]  -1837[?] -514[?] 365345[?]  91625[?] 90302[?] 365335[?]  69178[?] 67855[?] 365334[?]  46731[?] 45408[?] 365333[?]  24284[?] 22961[?] 365332[?]  175530[?] 158958[?] 365114[?]  130636[?] 114064[?] 365112[?]  108189[?] 91617[?] 365111[?]  -271145[?] -269815[?] 363789[?]  -203766[?] -203767[?] 362750[?]  223089[?] 203766[?] 362708[?]  158833[?] 158834[?] 361642[?]  -178993[?] -158833[?] 361628[?]  -248580[?] -248581[?] 360512[?]  -203686[?] -203687[?] 360510[?]  -181239[?] -181240[?] 360509[?]  136345[?] 136346[?] 360493[?]  -156502[?] -136345[?] 360479[?]  268737[?] 248580[?] 360470[?]  223843[?] 203686[?] 360468[?]  201396[?] 181239[?] 360467[?]  24096[?] 43457[?] 360068[?]  1649[?] 21010[?] 360067[?]  -136329[?] -136330[?] 360059[?]  156545[?] 136329[?] 360017[?]  23890[?] 43458[?] 354300[?]  1443[?] 21011[?] 354299[?]  -135915[?] -135914[?] 348439[?]  -91021[?] -91020[?] 348437[?]  -68574[?] -68573[?] 348436[?]  135914[?] 157127[?] 348397[?]  91020[?] 112233[?] 348395[?]  68573[?] 89786[?] 348394[?]  203154[?] 203155[?] 345600[?]  -223849[?] -203154[?] 345586[?]  270183[?] 291400[?] 336839[?]  156472[?] 135362[?] 332941[?]  -202696[?] -202695[?] 332762[?]  -90461[?] -90460[?] 332757[?]  -68014[?] -68013[?] 332756[?]  270037[?] 270036[?] 332751[?]  -270036[?] -291187[?] 332737[?]  202695[?] 223846[?] 332720[?]  90460[?] 111611[?] 332715[?]  68013[?] 89164[?] 332714[?]  -90302[?] -89789[?] 328305[?]  -67855[?] -67342[?] 328304[?]  -45408[?] -44895[?] 328303[?]  -22961[?] -22448[?] 328302[?]  112749[?] 112236[?] 328292[?]  514[?] 1[?] 328287[?]  -157127[?] -135139[?] 326711[?]  -112233[?] -90245[?] 326709[?]  -89786[?] -67798[?] 326708[?]  269815[?] 290927[?] 326535[?]  -179978[?] -179979[?] 325201[?]  200641[?] 179978[?] 325159[?]  -45273[?] -45272[?] 324523[?]  -22826[?] -22825[?] 324522[?]  -379[?] -378[?] 324521[?]  45272[?] 66694[?] 324481[?]  22825[?] 44247[?] 324480[?]  378[?] 21800[?] 324479[?]  269725[?] 269726[?] 324043[?]  -291170[?] -269725[?] 324029[?]  162099[?] -157319[?] 319222[?]  117205[?] -112425[?] 319220[?]  94758[?] -89978[?] 319219[?]  -161631[?] 157312[?] 319040[?]  139090[?] -134862[?] 318941[?]  295567[?] -291986[?] 318808[?]  -160739[?] 157296[?] 318592[?]  -294581[?] 291917[?] 316890[?]  -272134[?] 269470[?] 316889[?]  -249687[?] 247023[?] 316888[?]  -294449[?] 291907[?] 316610[?]  -249555[?] 247013[?] 316608[?]  -227108[?] 224566[?] 316607[?]  -249422[?] 247008[?] 316468[?]  -226544[?] 224544[?] 315991[?]  293885[?] -291885[?] 315980[?]  114309[?] -112309[?] 315972[?]  91862[?] -89862[?] 315971[?]  293802[?] -291880[?] 315840[?]  -248778[?] 246985[?] 315824[?]  -158990[?] 157197[?] 315820[?]  203767[?] -202089[?] 315752[?]  -136346[?] 134747[?] 315735[?]  248581[?] -246982[?] 315726[?]  203687[?] -202088[?] 315724[?]  181240[?] -179641[?] 315723[?]  -203155[?] 202067[?] 315150[?]  
2.51/2.17	c qxplain 0/727
3.28/2.84	c qxplain 364/727
3.70/3.25	c qxplain 546/727
4.14/3.69	c qxplain 637/727
4.69/4.11	c qxplain 683/727
5.09/4.51	c qxplain 706/727
5.49/4.92	c qxplain 717/727
5.89/5.33	c qxplain 723/727
6.29/5.74	c qxplain 726/727
6.69/6.15	c qxplain 727/727
7.25/6.67	c 315150[?] -203155[?] 202067[?]  is mandatory 
7.25/6.67	c qxplain 726/726
7.65/7.07	c 315723[?] 181240[?] -179641[?]  is mandatory 
7.65/7.07	c qxplain 723/725
8.04/7.48	c qxplain 725/725
8.44/7.89	c 315724[?] 203687[?] -202088[?]  is mandatory 
8.44/7.89	c qxplain 723/724
8.95/8.30	c qxplain 724/724
9.35/8.75	c 315726[?] 248581[?] -246982[?]  is mandatory 
9.35/8.75	c qxplain 723/723
9.75/9.15	c 315735[?] -136346[?] 134747[?]  is mandatory 
9.75/9.15	c qxplain 717/722
10.14/9.56	c qxplain 720/722
10.55/9.97	c qxplain 722/722
10.94/10.37	c 315752[?] 203767[?] -202089[?]  is mandatory 
10.94/10.37	c qxplain 720/721
11.35/10.78	c qxplain 721/721
11.84/11.22	c 315820[?] -158990[?] 157197[?]  is mandatory 
11.84/11.22	c qxplain 720/720
12.24/11.63	c 315824[?] -248778[?] 246985[?]  is mandatory 
12.24/11.63	c qxplain 717/719
12.65/12.04	c qxplain 719/719
13.05/12.45	c 315840[?] 293802[?] -291880[?]  is mandatory 
13.05/12.45	c qxplain 717/718
14.58/13.38	c qxplain 718/718
14.88/13.67	c 315971[?] 91862[?] -89862[?]  is mandatory 
14.88/13.67	c qxplain 717/717
15.18/13.96	c 315972[?] 114309[?] -112309[?]  is mandatory 
15.18/13.96	c qxplain 706/716
15.49/14.26	c qxplain 712/716
15.78/14.55	c qxplain 715/716
16.08/14.84	c qxplain 716/716
16.38/15.13	c 315980[?] 293885[?] -291885[?]  is mandatory 
16.38/15.13	c qxplain 715/715
16.69/15.43	c 315991[?] -226544[?] 224544[?]  is mandatory 
16.69/15.43	c qxplain 712/714
16.98/15.72	c qxplain 714/714
17.28/16.01	c 316468[?] -249422[?] 247008[?]  is mandatory 
17.28/16.01	c qxplain 712/713
17.58/16.30	c qxplain 713/713
17.79/16.59	c 316607[?] -227108[?] 224566[?]  is mandatory 
17.79/16.59	c qxplain 712/712
18.18/16.90	c 316608[?] -249555[?] 247013[?]  is mandatory 
18.18/16.90	c qxplain 706/711
18.38/17.19	c qxplain 709/711
18.68/17.48	c qxplain 711/711
18.99/17.77	c 316610[?] -294449[?] 291907[?]  is mandatory 
18.99/17.77	c qxplain 709/710
19.29/18.07	c qxplain 710/710
19.59/18.36	c 316888[?] -249687[?] 247023[?]  is mandatory 
19.59/18.36	c qxplain 709/709
19.89/18.65	c 316889[?] -272134[?] 269470[?]  is mandatory 
19.89/18.65	c qxplain 706/708
20.19/18.94	c qxplain 708/708
20.48/19.24	c 316890[?] -294581[?] 291917[?]  is mandatory 
20.48/19.24	c qxplain 706/707
20.78/19.53	c qxplain 707/707
21.09/19.82	c 318592[?] -160739[?] 157296[?]  is mandatory 
21.09/19.82	c qxplain 706/706
21.38/20.11	c 318808[?] 295567[?] -291986[?]  is mandatory 
21.38/20.11	c qxplain 683/705
21.68/20.40	c qxplain 695/705
21.88/20.69	c qxplain 701/705
22.19/20.98	c qxplain 704/705
22.48/21.27	c qxplain 705/705
22.78/21.57	c 318941[?] 139090[?] -134862[?]  is mandatory 
22.78/21.57	c qxplain 704/704
23.08/21.89	c 319040[?] -161631[?] 157312[?]  is mandatory 
23.08/21.89	c qxplain 701/703
23.38/22.18	c qxplain 703/703
23.69/22.47	c 319219[?] 94758[?] -89978[?]  is mandatory 
23.69/22.47	c qxplain 701/702
23.99/22.76	c qxplain 702/702
24.30/23.05	c 319220[?] 117205[?] -112425[?]  is mandatory 
24.30/23.05	c qxplain 701/701
24.59/23.34	c 319222[?] 162099[?] -157319[?]  is mandatory 
24.59/23.34	c qxplain 695/700
25.67/24.02	c qxplain 698/700
25.97/24.30	c qxplain 700/700
26.17/24.59	c 324029[?] -291170[?] -269725[?]  is mandatory 
26.17/24.59	c qxplain 698/699
26.47/24.88	c qxplain 699/699
26.77/25.17	c 324043[?] 269725[?] 269726[?]  is mandatory 
26.77/25.17	c qxplain 698/698
27.08/25.46	c 324479[?] 378[?] 21800[?]  is mandatory 
27.08/25.46	c qxplain 695/697
27.38/25.75	c qxplain 697/697
27.68/26.04	c 324480[?] 22825[?] 44247[?]  is mandatory 
27.68/26.04	c qxplain 695/696
27.98/26.34	c qxplain 696/696
28.28/26.62	c 324481[?] 45272[?] 66694[?]  is mandatory 
28.28/26.62	c qxplain 695/695
28.58/26.92	c 324521[?] -379[?] -378[?]  is mandatory 
28.58/26.92	c qxplain 683/694
28.88/27.21	c qxplain 689/694
29.18/27.50	c qxplain 692/694
29.38/27.78	c qxplain 694/694
29.68/28.07	c 324522[?] -22826[?] -22825[?]  is mandatory 
29.68/28.07	c qxplain 692/693
29.98/28.36	c qxplain 693/693
30.29/28.65	c 324523[?] -45273[?] -45272[?]  is mandatory 
30.29/28.65	c qxplain 692/692
30.58/28.94	c 325159[?] 200641[?] 179978[?]  is mandatory 
30.58/28.94	c qxplain 689/691
30.88/29.23	c qxplain 691/691
31.18/29.53	c 325201[?] -179978[?] -179979[?]  is mandatory 
31.18/29.53	c qxplain 689/690
31.49/29.81	c qxplain 690/690
31.78/30.10	c 326535[?] 269815[?] 290927[?]  is mandatory 
31.78/30.10	c qxplain 689/689
32.08/30.40	c 326708[?] -89786[?] -67798[?]  is mandatory 
32.08/30.40	c qxplain 683/688
32.28/30.69	c qxplain 686/688
32.59/30.98	c qxplain 688/688
32.88/31.27	c 326709[?] -112233[?] -90245[?]  is mandatory 
32.88/31.27	c qxplain 686/687
33.18/31.56	c qxplain 687/687
33.48/31.85	c 326711[?] -157127[?] -135139[?]  is mandatory 
33.48/31.85	c qxplain 686/686
33.78/32.14	c 328287[?] 514[?] 1[?]  is mandatory 
33.78/32.14	c qxplain 683/685
34.08/32.42	c qxplain 685/685
34.38/32.72	c 328292[?] 112749[?] 112236[?]  is mandatory 
34.38/32.72	c qxplain 683/684
34.69/33.01	c qxplain 684/684
34.98/33.30	c 328302[?] -22961[?] -22448[?]  is mandatory 
34.98/33.30	c qxplain 683/683
35.18/33.58	c 328303[?] -45408[?] -44895[?]  is mandatory 
35.18/33.58	c qxplain 637/682
35.48/33.88	c qxplain 660/682
36.54/34.53	c qxplain 672/682
36.84/34.82	c qxplain 678/682
37.14/35.11	c qxplain 681/682
37.44/35.40	c qxplain 682/682
37.64/35.69	c 328304[?] -67855[?] -67342[?]  is mandatory 
37.64/35.69	c qxplain 681/681
37.94/35.99	c 328305[?] -90302[?] -89789[?]  is mandatory 
37.94/35.99	c qxplain 678/680
38.24/36.28	c qxplain 680/680
38.54/36.57	c 332714[?] 68013[?] 89164[?]  is mandatory 
38.54/36.57	c qxplain 678/679
38.84/36.86	c qxplain 679/679
39.14/37.15	c 332715[?] 90460[?] 111611[?]  is mandatory 
39.14/37.15	c qxplain 678/678
39.44/37.44	c 332720[?] 202695[?] 223846[?]  is mandatory 
39.44/37.44	c qxplain 672/677
39.74/37.73	c qxplain 675/677
40.04/38.02	c qxplain 677/677
40.34/38.31	c 332737[?] -270036[?] -291187[?]  is mandatory 
40.34/38.31	c qxplain 675/676
40.64/38.61	c qxplain 676/676
40.84/38.89	c 332751[?] 270037[?] 270036[?]  is mandatory 
40.84/38.89	c qxplain 675/675
41.14/39.18	c 332756[?] -68014[?] -68013[?]  is mandatory 
41.14/39.18	c qxplain 672/674
41.44/39.47	c qxplain 674/674
41.75/39.77	c 332757[?] -90461[?] -90460[?]  is mandatory 
41.75/39.77	c qxplain 672/673
42.04/40.06	c qxplain 673/673
42.34/40.34	c 332762[?] -202696[?] -202695[?]  is mandatory 
42.34/40.34	c qxplain 672/672
42.64/40.63	c 332941[?] 156472[?] 135362[?]  is mandatory 
42.64/40.63	c qxplain 660/671
42.94/40.93	c qxplain 666/671
43.24/41.21	c qxplain 669/671
43.54/41.50	c qxplain 671/671
43.84/41.80	c 336839[?] 270183[?] 291400[?]  is mandatory 
43.84/41.80	c qxplain 669/670
44.04/42.09	c qxplain 670/670
44.34/42.38	c 345586[?] -203154[?] -223849[?]  is mandatory 
44.34/42.38	c qxplain 669/669
44.64/42.67	c 345600[?] 203155[?] 203154[?]  is mandatory 
44.64/42.67	c qxplain 666/668
44.94/42.96	c qxplain 668/668
45.24/43.26	c 348394[?] 68573[?] 89786[?]  is mandatory 
45.24/43.26	c qxplain 666/667
45.54/43.55	c qxplain 667/667
45.84/43.84	c 348395[?] 91020[?] 112233[?]  is mandatory 
45.84/43.84	c qxplain 666/666
46.14/44.13	c 348397[?] 135914[?] 157127[?]  is mandatory 
46.14/44.13	c qxplain 660/665
46.44/44.42	c qxplain 663/665
47.39/45.09	c qxplain 665/665
47.70/45.38	c 348436[?] -68574[?] -68573[?]  is mandatory 
47.70/45.38	c qxplain 663/664
47.99/45.67	c qxplain 664/664
48.29/45.96	c 348437[?] -91021[?] -91020[?]  is mandatory 
48.29/45.96	c qxplain 663/663
48.59/46.25	c 348439[?] -135915[?] -135914[?]  is mandatory 
48.59/46.25	c qxplain 660/662
48.89/46.55	c qxplain 662/662
49.19/46.83	c 354299[?] 1443[?] 21011[?]  is mandatory 
49.19/46.83	c qxplain 660/661
49.49/47.13	c qxplain 661/661
49.80/47.42	c 354300[?] 23890[?] 43458[?]  is mandatory 
49.80/47.42	c qxplain 660/660
50.09/47.72	c 360017[?] 156545[?] 136329[?]  is mandatory 
50.09/47.72	c qxplain 637/659
50.39/48.01	c qxplain 649/659
50.69/48.30	c qxplain 655/659
50.90/48.59	c qxplain 658/659
51.20/48.89	c qxplain 659/659
51.50/49.19	c 360059[?] -136329[?] -136330[?]  is mandatory 
51.50/49.19	c qxplain 658/658
51.80/49.48	c 360067[?] 1649[?] 21010[?]  is mandatory 
51.80/49.48	c qxplain 655/657
52.11/49.77	c qxplain 657/657
52.40/50.07	c 360068[?] 24096[?] 43457[?]  is mandatory 
52.40/50.07	c qxplain 655/656
52.70/50.36	c qxplain 656/656
53.00/50.65	c 360467[?] 201396[?] 181239[?]  is mandatory 
53.00/50.65	c qxplain 655/655
53.30/50.95	c 360468[?] 223843[?] 203686[?]  is mandatory 
53.30/50.95	c qxplain 649/654
53.60/51.24	c qxplain 652/654
53.90/51.53	c qxplain 654/654
54.21/51.82	c 360470[?] 268737[?] 248580[?]  is mandatory 
54.21/51.82	c qxplain 652/653
54.50/52.12	c qxplain 653/653
54.80/52.42	c 360479[?] -156502[?] -136345[?]  is mandatory 
54.80/52.42	c qxplain 652/652
55.10/52.71	c 360493[?] 136345[?] 136346[?]  is mandatory 
55.10/52.71	c qxplain 649/651
55.40/53.01	c qxplain 651/651
55.70/53.30	c 360509[?] -181239[?] -181240[?]  is mandatory 
55.70/53.30	c qxplain 649/650
55.90/53.59	c qxplain 650/650
56.20/53.88	c 360510[?] -203686[?] -203687[?]  is mandatory 
56.20/53.88	c qxplain 649/649
56.50/54.18	c 360512[?] -248580[?] -248581[?]  is mandatory 
56.50/54.18	c qxplain 637/648
56.80/54.47	c qxplain 643/648
57.10/54.76	c qxplain 646/648
57.40/55.06	c qxplain 648/648
58.47/55.73	c 361628[?] -178993[?] -158833[?]  is mandatory 
58.47/55.73	c qxplain 646/647
58.77/56.02	c qxplain 647/647
59.07/56.31	c 361642[?] 158833[?] 158834[?]  is mandatory 
59.07/56.31	c qxplain 646/646
59.37/56.61	c 362708[?] 223089[?] 203766[?]  is mandatory 
59.37/56.61	c qxplain 643/645
59.67/56.90	c qxplain 645/645
59.87/57.19	c 362750[?] -203766[?] -203767[?]  is mandatory 
59.87/57.19	c qxplain 643/644
60.17/57.49	c qxplain 644/644
60.47/57.79	c 363789[?] -271145[?] -269815[?]  is mandatory 
60.47/57.79	c qxplain 643/643
60.77/58.07	c 365111[?] 108189[?] 91617[?]  is mandatory 
60.77/58.07	c qxplain 637/642
61.07/58.36	c qxplain 640/642
61.37/58.66	c qxplain 642/642
61.67/58.95	c 365112[?] 130636[?] 114064[?]  is mandatory 
61.67/58.95	c qxplain 640/641
61.97/59.24	c qxplain 641/641
62.27/59.53	c 365114[?] 175530[?] 158958[?]  is mandatory 
62.27/59.53	c qxplain 640/640
62.57/59.83	c 365332[?] 24284[?] 22961[?]  is mandatory 
62.57/59.83	c qxplain 637/639
62.87/60.12	c qxplain 639/639
63.17/60.41	c 365333[?] 46731[?] 45408[?]  is mandatory 
63.17/60.41	c qxplain 637/638
63.47/60.70	c qxplain 638/638
63.67/60.99	c 365334[?] 69178[?] 67855[?]  is mandatory 
63.67/60.99	c qxplain 637/637
63.97/61.29	c 365335[?] 91625[?] 90302[?]  is mandatory 
63.97/61.29	c qxplain 546/636
64.27/61.58	c qxplain 592/636
64.57/61.86	c qxplain 615/636
64.87/62.16	c qxplain 626/636
65.17/62.46	c qxplain 632/636
65.47/62.75	c qxplain 635/636
65.77/63.04	c qxplain 636/636
66.07/63.33	c 365345[?] -1837[?] -514[?]  is mandatory 
66.07/63.33	c qxplain 635/635
66.37/63.63	c 365350[?] -114072[?] -112749[?]  is mandatory 
66.37/63.63	c qxplain 632/634
66.67/63.91	c qxplain 634/634
66.97/64.21	c 365359[?] 1838[?] 1837[?]  is mandatory 
66.97/64.21	c qxplain 632/633
67.26/64.50	c qxplain 633/633
67.46/64.79	c 365364[?] 114073[?] 114072[?]  is mandatory 
67.46/64.79	c qxplain 632/632
67.76/65.08	c 365374[?] -24285[?] -24284[?]  is mandatory 
67.76/65.08	c qxplain 626/631
68.07/65.37	c qxplain 629/631
68.36/65.66	c qxplain 631/631
69.43/66.32	c 365375[?] -46732[?] -46731[?]  is mandatory 
69.43/66.32	c qxplain 629/630
69.73/66.61	c qxplain 630/630
70.03/66.91	c 365376[?] -69179[?] -69178[?]  is mandatory 
70.03/66.91	c qxplain 629/629
70.23/67.19	c 365377[?] -91626[?] -91625[?]  is mandatory 
70.23/67.19	c qxplain 626/628
70.53/67.48	c qxplain 628/628
70.83/67.77	c 365996[?] -179164[?] -158989[?]  is mandatory 
70.83/67.77	c qxplain 626/627
71.13/68.07	c qxplain 627/627
71.43/68.35	c 366000[?] -268952[?] -248777[?]  is mandatory 
71.43/68.35	c qxplain 626/626
71.73/68.64	c 366010[?] 158989[?] 158990[?]  is mandatory 
71.73/68.64	c qxplain 615/625
72.03/68.93	c qxplain 621/625
72.33/69.22	c qxplain 624/625
72.63/69.51	c qxplain 625/625
72.83/69.79	c 366014[?] 248777[?] 248778[?]  is mandatory 
72.83/69.79	c qxplain 624/624
73.13/70.08	c 367953[?] -91718[?] -90515[?]  is mandatory 
73.13/70.08	c qxplain 621/623
73.43/70.37	c qxplain 623/623
73.73/70.67	c 367967[?] 91719[?] 91718[?]  is mandatory 
73.73/70.67	c qxplain 621/622
74.03/70.95	c qxplain 622/622
74.33/71.24	c 369628[?] 313375[?] 293801[?]  is mandatory 
74.33/71.24	c qxplain 621/621
74.63/71.53	c 369670[?] -293801[?] -293802[?]  is mandatory 
74.63/71.53	c qxplain 615/620
74.93/71.82	c qxplain 618/620
75.23/72.11	c qxplain 620/620
75.53/72.40	c 370122[?] 69349[?] 68014[?]  is mandatory 
75.53/72.40	c qxplain 618/619
75.73/72.69	c qxplain 619/619
76.03/72.98	c 370123[?] 91796[?] 90461[?]  is mandatory 
76.03/72.98	c qxplain 618/618
76.33/73.28	c 371943[?] 111629[?] 91861[?]  is mandatory 
76.33/73.28	c qxplain 615/617
76.63/73.56	c qxplain 617/617
76.93/73.86	c 371944[?] 134076[?] 114308[?]  is mandatory 
76.93/73.86	c qxplain 615/616
77.23/74.15	c qxplain 616/616
77.53/74.44	c 371952[?] 313652[?] 293884[?]  is mandatory 
77.53/74.44	c qxplain 615/615
78.65/75.14	c 371963[?] -246311[?] -226543[?]  is mandatory 
78.65/75.14	c qxplain 592/614
78.95/75.43	c qxplain 604/614
79.25/75.72	c qxplain 610/614
79.55/76.01	c qxplain 613/614
79.85/76.30	c qxplain 614/614
80.05/76.59	c 371977[?] 226543[?] 226544[?]  is mandatory 
80.05/76.59	c qxplain 613/613
80.35/76.88	c 371985[?] -91861[?] -91862[?]  is mandatory 
80.35/76.88	c qxplain 610/612
80.65/77.17	c qxplain 612/612
80.95/77.46	c 371986[?] -114308[?] -114309[?]  is mandatory 
80.95/77.46	c qxplain 610/611
81.25/77.74	c qxplain 611/611
81.55/78.03	c 371994[?] -293884[?] -293885[?]  is mandatory 
81.55/78.03	c qxplain 610/610
81.85/78.33	c 374213[?] 136330[?] 136836[?]  is mandatory 
81.85/78.33	c qxplain 604/609
82.15/78.62	c qxplain 607/609
82.45/78.91	c qxplain 609/609
82.75/79.21	c 374255[?] -136836[?] -136837[?]  is mandatory 
82.75/79.21	c qxplain 607/608
83.05/79.50	c qxplain 608/608
83.25/79.79	c 374585[?] -2167[?] -1443[?]  is mandatory 
83.25/79.79	c qxplain 607/607
83.55/80.08	c 374586[?] -24614[?] -23890[?]  is mandatory 
83.55/80.08	c qxplain 604/606
83.85/80.37	c qxplain 606/606
84.15/80.66	c 374599[?] 2168[?] 2167[?]  is mandatory 
84.15/80.66	c qxplain 604/605
84.45/80.95	c qxplain 605/605
84.75/81.23	c 374600[?] 24615[?] 24614[?]  is mandatory 
84.75/81.23	c qxplain 604/604
85.05/81.53	c 375012[?] -158834[?] -159311[?]  is mandatory 
85.05/81.53	c qxplain 592/603
85.35/81.82	c qxplain 598/603
85.65/82.11	c qxplain 601/603
85.95/82.40	c qxplain 603/603
86.15/82.69	c 375026[?] 159311[?] 159312[?]  is mandatory 
86.15/82.69	c qxplain 601/602
86.45/82.98	c qxplain 602/602
86.74/83.27	c 376041[?] -2219[?] -1649[?]  is mandatory 
86.74/83.27	c qxplain 601/601
87.05/83.58	c 376042[?] -24666[?] -24096[?]  is mandatory 
87.05/83.58	c qxplain 598/600
87.35/83.87	c qxplain 600/600
87.66/84.16	c 376055[?] 2220[?] 2219[?]  is mandatory 
87.66/84.16	c qxplain 598/599
87.95/84.45	c qxplain 599/599
88.25/84.73	c 376056[?] 24667[?] 24666[?]  is mandatory 
88.25/84.73	c qxplain 598/598
88.55/85.02	c 378419[?] 271668[?] 271145[?]  is mandatory 
88.55/85.02	c qxplain 592/597
88.85/85.32	c qxplain 595/597
89.15/85.60	c qxplain 597/597
89.35/85.89	c 380745[?] -2387[?] -2168[?]  is mandatory 
89.35/85.89	c qxplain 595/596
89.65/86.18	c qxplain 596/596
89.95/86.47	c 380746[?] -24834[?] -24615[?]  is mandatory 
89.95/86.47	c qxplain 595/595
90.25/86.76	c 380759[?] 2388[?] 2387[?]  is mandatory 
90.25/86.76	c qxplain 592/594
90.55/87.05	c qxplain 594/594
90.86/87.34	c 380760[?] 24835[?] 24834[?]  is mandatory 
90.86/87.34	c qxplain 592/593
91.15/87.63	c qxplain 593/593
91.45/87.92	c 382313[?] -2443[?] -2220[?]  is mandatory 
91.45/87.92	c qxplain 592/592
91.75/88.21	c 382314[?] -24890[?] -24667[?]  is mandatory 
91.75/88.21	c qxplain 546/591
91.96/88.50	c qxplain 569/591
92.25/88.79	c qxplain 581/591
92.55/89.08	c qxplain 587/591
92.85/89.37	c qxplain 590/591
93.16/89.66	c qxplain 591/591
93.45/89.95	c 382327[?] 2444[?] 2443[?]  is mandatory 
93.45/89.95	c qxplain 590/590
93.75/90.24	c 382328[?] 24891[?] 24890[?]  is mandatory 
93.75/90.24	c qxplain 587/589
94.05/90.53	c qxplain 589/589
94.35/90.82	c 383081[?] -271202[?] -271834[?]  is mandatory 
94.35/90.82	c qxplain 587/588
94.67/91.13	c qxplain 588/588
94.97/91.42	c 383095[?] 271834[?] 271835[?]  is mandatory 
94.97/91.42	c qxplain 587/587
95.27/91.71	c 383206[?] 248755[?] 249392[?]  is mandatory 
95.27/91.71	c qxplain 581/586
95.57/92.00	c qxplain 584/586
95.77/92.29	c qxplain 586/586
96.06/92.58	c 383248[?] -249392[?] -249393[?]  is mandatory 
96.06/92.58	c qxplain 584/585
96.37/92.87	c qxplain 585/585
96.66/93.16	c 383913[?] -91617[?] -92288[?]  is mandatory 
96.66/93.16	c qxplain 584/584
96.96/93.46	c 383914[?] -114064[?] -114735[?]  is mandatory 
96.96/93.46	c qxplain 581/583
97.26/93.74	c qxplain 583/583
97.57/94.03	c 383916[?] -158958[?] -159629[?]  is mandatory 
97.57/94.03	c qxplain 581/582
97.86/94.32	c qxplain 582/582
98.16/94.61	c 383927[?] 92288[?] 92289[?]  is mandatory 
98.16/94.61	c qxplain 581/581
98.46/94.90	c 383928[?] 114735[?] 114736[?]  is mandatory 
98.46/94.90	c qxplain 569/580
98.67/95.19	c qxplain 575/580
98.97/95.48	c qxplain 578/580
99.27/95.77	c qxplain 580/580
99.56/96.06	c 383930[?] 159629[?] 159630[?]  is mandatory 
99.56/96.06	c qxplain 578/579
99.86/96.35	c qxplain 579/579
100.16/96.64	c 384032[?] -268959[?] -249421[?]  is mandatory 
100.16/96.64	c qxplain 578/578
100.46/96.93	c 384046[?] 249421[?] 249422[?]  is mandatory 
100.46/96.93	c qxplain 575/577
100.77/97.22	c qxplain 577/577
101.06/97.51	c 384755[?] -136520[?] -137212[?]  is mandatory 
101.06/97.51	c qxplain 575/576
101.36/97.80	c qxplain 576/576
101.56/98.10	c 384769[?] 137212[?] 137213[?]  is mandatory 
101.56/98.10	c qxplain 575/575
101.87/98.38	c 385055[?] 271905[?] 271202[?]  is mandatory 
101.87/98.38	c qxplain 569/574
102.18/98.69	c qxplain 572/574
102.48/98.98	c qxplain 574/574
102.79/99.27	c 385065[?] -182117[?] -181414[?]  is mandatory 
102.79/99.27	c qxplain 572/573
103.10/99.56	c qxplain 573/573
103.39/99.85	c 385066[?] -203861[?] -204564[?]  is mandatory 
103.39/99.85	c qxplain 572/572
103.69/100.14	c 385079[?] 182118[?] 182117[?]  is mandatory 
103.69/100.14	c qxplain 569/571
103.99/100.43	c qxplain 571/571
104.29/100.72	c 385080[?] 204564[?] 204565[?]  is mandatory 
104.29/100.72	c qxplain 569/570
104.59/101.01	c qxplain 570/570
104.89/101.31	c 385097[?] -271906[?] -271905[?]  is mandatory 
104.89/101.31	c qxplain 569/569
105.09/101.59	c 386198[?] 158967[?] 159711[?]  is mandatory 
105.09/101.59	c qxplain 546/568
105.39/101.88	c qxplain 558/568
105.69/102.17	c qxplain 564/568
105.99/102.47	c qxplain 567/568
106.29/102.75	c qxplain 568/568
106.59/103.05	c 386213[?] -182158[?] -181414[?]  is mandatory 
106.59/103.05	c qxplain 567/567
106.89/103.34	c 386227[?] 182159[?] 182158[?]  is mandatory 
106.89/103.34	c qxplain 564/566
107.19/103.63	c qxplain 566/566
107.49/103.92	c 386240[?] -159711[?] -159712[?]  is mandatory 
107.49/103.92	c qxplain 564/565
107.79/104.22	c qxplain 565/565
108.09/104.51	c 387168[?] -249533[?] -248755[?]  is mandatory 
108.09/104.51	c qxplain 564/564
108.39/104.80	c 387182[?] 249534[?] 249533[?]  is mandatory 
108.39/104.80	c qxplain 558/563
108.59/105.09	c qxplain 561/563
108.89/105.38	c qxplain 563/563
109.19/105.67	c 387755[?] -246109[?] -227107[?]  is mandatory 
109.19/105.67	c qxplain 561/562
109.50/105.97	c qxplain 562/562
109.80/106.26	c 387756[?] -268556[?] -249554[?]  is mandatory 
109.80/106.26	c qxplain 561/561
110.10/106.55	c 387758[?] -313450[?] -294448[?]  is mandatory 
110.10/106.55	c qxplain 558/560
110.40/106.84	c qxplain 560/560
110.71/107.13	c 387769[?] 227107[?] 227108[?]  is mandatory 
110.71/107.13	c qxplain 558/559
111.00/107.42	c qxplain 559/559
111.30/107.71	c 387770[?] 249554[?] 249555[?]  is mandatory 
111.30/107.71	c qxplain 558/558
111.60/108.01	c 387772[?] 294448[?] 294449[?]  is mandatory 
111.60/108.01	c qxplain 546/557
111.81/108.30	c qxplain 552/557
112.10/108.58	c qxplain 555/557
112.40/108.87	c qxplain 557/557
112.70/109.16	c 387860[?] -81191[?] -69982[?]  is mandatory 
112.70/109.16	c qxplain 555/556
113.01/109.45	c qxplain 556/556
113.30/109.74	c 387861[?] -103638[?] -92429[?]  is mandatory 
113.30/109.74	c qxplain 555/555
113.60/110.03	c 387863[?] -148532[?] -137323[?]  is mandatory 
113.60/110.03	c qxplain 552/554
113.90/110.32	c qxplain 554/554
114.20/110.61	c 387874[?] 69982[?] 69983[?]  is mandatory 
114.20/110.61	c qxplain 552/553
114.50/110.90	c qxplain 553/553
114.70/111.19	c 387875[?] 92429[?] 92430[?]  is mandatory 
114.70/111.19	c qxplain 552/552
115.00/111.49	c 387877[?] 137323[?] 137324[?]  is mandatory 
115.00/111.49	c qxplain 546/551
115.30/111.78	c qxplain 549/551
115.60/112.07	c qxplain 551/551
115.90/112.36	c 391137[?] -91719[?] -92546[?]  is mandatory 
115.90/112.36	c qxplain 549/550
116.21/112.65	c qxplain 550/550
116.50/112.94	c 391151[?] 92546[?] 92547[?]  is mandatory 
116.50/112.94	c qxplain 549/549
116.82/113.25	c 391265[?] 136837[?] 137445[?]  is mandatory 
116.82/113.25	c qxplain 546/548
117.12/113.54	c qxplain 548/548
117.42/113.83	c 391307[?] -137445[?] -137446[?]  is mandatory 
117.42/113.83	c qxplain 546/547
117.72/114.12	c qxplain 547/547
118.02/114.41	c 391452[?] -268560[?] -249686[?]  is mandatory 
118.02/114.41	c qxplain 546/546
118.32/114.70	c 391453[?] -291007[?] -272133[?]  is mandatory 
118.32/114.70	c qxplain 364/545
118.52/114.99	c qxplain 455/545
118.82/115.28	c qxplain 501/545
119.12/115.57	c qxplain 524/545
119.42/115.87	c qxplain 535/545
119.72/116.16	c qxplain 541/545
120.02/116.45	c qxplain 544/545
120.32/116.73	c qxplain 545/545
120.62/117.04	c 391454[?] -313454[?] -294580[?]  is mandatory 
120.62/117.04	c qxplain 544/544
120.92/117.33	c 391466[?] 249686[?] 249687[?]  is mandatory 
120.92/117.33	c qxplain 541/543
121.22/117.62	c qxplain 543/543
121.52/117.91	c 391467[?] 272133[?] 272134[?]  is mandatory 
121.52/117.91	c qxplain 541/542
121.82/118.20	c qxplain 542/542
122.12/118.50	c 391468[?] 294580[?] 294581[?]  is mandatory 
122.12/118.50	c qxplain 541/541
122.32/118.78	c 391542[?] 70114[?] 69179[?]  is mandatory 
122.32/118.78	c qxplain 535/540
122.62/119.07	c qxplain 538/540
122.92/119.36	c qxplain 540/540
123.22/119.65	c 391543[?] 92561[?] 91626[?]  is mandatory 
123.22/119.65	c qxplain 538/539
123.52/119.94	c qxplain 539/539
123.82/120.23	c 391545[?] 137455[?] 136520[?]  is mandatory 
123.82/120.23	c qxplain 538/538
124.12/120.52	c 391547[?] 181414[?] 182349[?]  is mandatory 
124.12/120.52	c qxplain 535/537
124.43/120.83	c qxplain 537/537
124.73/121.12	c 391548[?] 204796[?] 203861[?]  is mandatory 
124.73/121.12	c qxplain 535/536
125.03/121.40	c qxplain 536/536
125.33/121.70	c 391549[?] 226308[?] 227243[?]  is mandatory 
125.33/121.70	c qxplain 535/535
125.53/121.98	c 391551[?] 272137[?] 271202[?]  is mandatory 
125.53/121.98	c qxplain 524/534
125.83/122.27	c qxplain 530/534
126.13/122.56	c qxplain 533/534
126.43/122.85	c qxplain 534/534
126.73/123.14	c 391558[?] -115008[?] -114073[?]  is mandatory 
126.73/123.14	c qxplain 533/533
127.03/123.43	c 391560[?] -159902[?] -158967[?]  is mandatory 
127.03/123.43	c qxplain 530/532
127.33/123.72	c qxplain 532/532
127.63/124.01	c 391564[?] -249690[?] -248755[?]  is mandatory 
127.63/124.01	c qxplain 530/531
127.93/124.30	c qxplain 531/531
128.13/124.58	c 391572[?] 115009[?] 115008[?]  is mandatory 
128.13/124.58	c qxplain 530/530
128.43/124.88	c 391574[?] 159903[?] 159902[?]  is mandatory 
128.43/124.88	c qxplain 524/529
128.73/125.17	c qxplain 527/529
129.03/125.46	c qxplain 529/529
129.33/125.75	c 391578[?] 249691[?] 249690[?]  is mandatory 
129.33/125.75	c qxplain 527/528
129.63/126.04	c qxplain 528/528
129.93/126.33	c 391584[?] -70115[?] -70114[?]  is mandatory 
129.93/126.33	c qxplain 527/527
130.23/126.62	c 391585[?] -92562[?] -92561[?]  is mandatory 
130.23/126.62	c qxplain 524/526
130.53/126.91	c qxplain 526/526
130.73/127.20	c 391587[?] -137456[?] -137455[?]  is mandatory 
130.73/127.20	c qxplain 524/525
131.03/127.49	c qxplain 525/525
131.33/127.77	c 391589[?] -182349[?] -182350[?]  is mandatory 
131.33/127.77	c qxplain 524/524
131.65/128.08	c 391590[?] -204797[?] -204796[?]  is mandatory 
131.65/128.08	c qxplain 501/523
131.94/128.37	c qxplain 513/523
132.24/128.66	c qxplain 519/523
132.54/128.96	c qxplain 522/523
132.85/129.24	c qxplain 523/523
133.14/129.53	c 391591[?] -227243[?] -227244[?]  is mandatory 
133.14/129.53	c qxplain 522/522
133.44/129.83	c 391593[?] -272138[?] -272137[?]  is mandatory 
133.44/129.83	c qxplain 519/521
133.74/130.11	c qxplain 521/521
134.04/130.40	c 392176[?] -159312[?] -159924[?]  is mandatory 
134.04/130.40	c qxplain 519/520
134.34/130.70	c qxplain 520/520
134.54/130.99	c 392190[?] 159924[?] 159925[?]  is mandatory 
134.54/130.99	c qxplain 519/519
134.84/131.28	c 392352[?] 25249[?] 24285[?]  is mandatory 
134.84/131.28	c qxplain 513/518
135.14/131.57	c qxplain 516/518
135.44/131.86	c qxplain 518/518
135.74/132.15	c 392353[?] 47696[?] 46732[?]  is mandatory 
135.74/132.15	c qxplain 516/517
136.05/132.44	c qxplain 517/517
136.34/132.73	c 392354[?] 70143[?] 69179[?]  is mandatory 
136.34/132.73	c qxplain 516/516
136.64/133.02	c 392355[?] 92590[?] 91626[?]  is mandatory 
136.64/133.02	c qxplain 513/515
136.94/133.31	c qxplain 515/515
137.25/133.60	c 392357[?] 137484[?] 136520[?]  is mandatory 
137.25/133.60	c qxplain 513/514
137.44/133.89	c qxplain 514/514
137.74/134.19	c 392360[?] 204825[?] 203861[?]  is mandatory 
137.74/134.19	c qxplain 513/513
138.04/134.48	c 392365[?] -2802[?] -1838[?]  is mandatory 
138.04/134.48	c qxplain 501/512
138.35/134.77	c qxplain 507/512
138.64/135.06	c qxplain 510/512
138.94/135.35	c qxplain 512/512
139.24/135.64	c 392370[?] -115037[?] -114073[?]  is mandatory 
139.24/135.64	c qxplain 510/511
139.55/135.94	c qxplain 511/511
139.85/136.24	c 392372[?] -159931[?] -158967[?]  is mandatory 
139.85/136.24	c qxplain 510/510
140.15/136.53	c 392373[?] -182378[?] -181414[?]  is mandatory 
140.15/136.53	c qxplain 507/509
140.46/136.82	c qxplain 509/509
140.75/137.10	c 392375[?] -227272[?] -226308[?]  is mandatory 
140.75/137.10	c qxplain 507/508
140.95/137.39	c qxplain 508/508
141.25/137.69	c 392376[?] -249719[?] -248755[?]  is mandatory 
141.25/137.69	c qxplain 507/507
141.56/137.97	c 392379[?] 2803[?] 2802[?]  is mandatory 
141.56/137.97	c qxplain 501/506
141.85/138.26	c qxplain 504/506
142.15/138.55	c qxplain 506/506
142.45/138.84	c 392384[?] 115038[?] 115037[?]  is mandatory 
142.45/138.84	c qxplain 504/505
142.76/139.13	c qxplain 505/505
143.05/139.42	c 392386[?] 159932[?] 159931[?]  is mandatory 
143.05/139.42	c qxplain 504/504
143.35/139.71	c 392387[?] 182379[?] 182378[?]  is mandatory 
143.35/139.71	c qxplain 501/503
143.65/140.01	c qxplain 503/503
143.86/140.29	c 392389[?] 227273[?] 227272[?]  is mandatory 
143.86/140.29	c qxplain 501/502
144.15/140.58	c qxplain 502/502
144.45/140.87	c 392390[?] 249720[?] 249719[?]  is mandatory 
144.45/140.87	c qxplain 501/501
144.75/141.16	c 392394[?] -25250[?] -25249[?]  is mandatory 
144.75/141.16	c qxplain 455/500
145.05/141.45	c qxplain 478/500
145.35/141.74	c qxplain 490/500
145.65/142.03	c qxplain 496/500
145.96/142.33	c qxplain 499/500
146.25/142.61	c qxplain 500/500
146.55/142.90	c 392395[?] -47697[?] -47696[?]  is mandatory 
146.55/142.90	c qxplain 499/499
146.75/143.19	c 392396[?] -70144[?] -70143[?]  is mandatory 
146.75/143.19	c qxplain 496/498
147.07/143.50	c qxplain 498/498
147.37/143.79	c 392397[?] -92591[?] -92590[?]  is mandatory 
147.37/143.79	c qxplain 496/497
147.67/144.08	c qxplain 497/497
147.98/144.37	c 392399[?] -137485[?] -137484[?]  is mandatory 
147.98/144.37	c qxplain 496/496
148.28/144.66	c 392402[?] -204826[?] -204825[?]  is mandatory 
148.28/144.66	c qxplain 490/495
148.58/144.95	c qxplain 493/495
148.88/145.24	c qxplain 495/495
149.17/145.53	c 393796[?] -69983[?] -70194[?]  is mandatory 
149.17/145.53	c qxplain 493/494
149.47/145.83	c qxplain 494/494
149.77/146.12	c 393797[?] -92430[?] -92641[?]  is mandatory 
149.77/146.12	c qxplain 493/493
150.07/146.41	c 393799[?] -137324[?] -137535[?]  is mandatory 
150.07/146.41	c qxplain 490/492
150.38/146.70	c qxplain 492/492
150.58/146.99	c 393810[?] 70194[?] 70195[?]  is mandatory 
150.58/146.99	c qxplain 490/491
150.88/147.28	c qxplain 491/491
151.18/147.56	c 393811[?] 92641[?] 92642[?]  is mandatory 
151.18/147.56	c qxplain 490/490
151.48/147.86	c 393813[?] 137535[?] 137536[?]  is mandatory 
151.48/147.86	c qxplain 478/489
151.78/148.15	c qxplain 484/489
152.07/148.44	c qxplain 487/489
152.37/148.73	c qxplain 489/489
152.68/149.02	c 394728[?] -249803[?] -249534[?]  is mandatory 
152.68/149.02	c qxplain 487/488
152.97/149.31	c qxplain 488/488
153.27/149.60	c 394742[?] 249804[?] 249803[?]  is mandatory 
153.27/149.60	c qxplain 487/487
153.47/149.89	c 395507[?] -137213[?] -137596[?]  is mandatory 
153.47/149.89	c qxplain 484/486
153.78/150.18	c qxplain 486/486
154.07/150.47	c 395521[?] 137596[?] 137597[?]  is mandatory 
154.07/150.47	c qxplain 484/485
154.37/150.76	c qxplain 485/485
154.67/151.05	c 395578[?] 159712[?] 160046[?]  is mandatory 
154.67/151.05	c qxplain 484/484
154.97/151.34	c 395593[?] -182493[?] -182159[?]  is mandatory 
154.97/151.34	c qxplain 478/483
155.29/151.65	c qxplain 481/483
155.59/151.94	c qxplain 483/483
155.89/152.22	c 395607[?] 182494[?] 182493[?]  is mandatory 
155.89/152.22	c qxplain 481/482
156.19/152.51	c qxplain 482/482
156.49/152.80	c 395620[?] -160046[?] -160047[?]  is mandatory 
156.49/152.80	c qxplain 481/481
156.69/153.09	c 396188[?] 25386[?] 25250[?]  is mandatory 
156.69/153.09	c qxplain 478/480
156.99/153.38	c qxplain 480/480
157.29/153.68	c 396189[?] 47833[?] 47697[?]  is mandatory 
157.29/153.68	c qxplain 478/479
157.59/153.97	c qxplain 479/479
157.89/154.26	c 396190[?] 70280[?] 70144[?]  is mandatory 
157.89/154.26	c qxplain 478/478
158.19/154.55	c 396191[?] 92727[?] 92591[?]  is mandatory 
158.19/154.55	c qxplain 455/477
158.49/154.84	c qxplain 467/477
158.79/155.14	c qxplain 473/477
159.09/155.43	c qxplain 476/477
159.39/155.72	c qxplain 477/477
159.69/156.01	c 396193[?] 137621[?] 137485[?]  is mandatory 
159.69/156.01	c qxplain 476/476
159.99/156.30	c 396196[?] 204962[?] 204826[?]  is mandatory 
159.99/156.30	c qxplain 473/475
160.19/156.59	c qxplain 475/475
160.49/156.87	c 396201[?] -2939[?] -2803[?]  is mandatory 
160.49/156.87	c qxplain 473/474
160.79/157.16	c qxplain 474/474
161.09/157.45	c 396206[?] -115174[?] -115038[?]  is mandatory 
161.09/157.45	c qxplain 473/473
161.39/157.74	c 396208[?] -160068[?] -159932[?]  is mandatory 
161.39/157.74	c qxplain 467/472
161.69/158.03	c qxplain 470/472
161.99/158.32	c qxplain 472/472
162.29/158.61	c 396209[?] -182515[?] -182379[?]  is mandatory 
162.29/158.61	c qxplain 470/471
162.59/158.90	c qxplain 471/471
162.79/159.19	c 396211[?] -227409[?] -227273[?]  is mandatory 
162.79/159.19	c qxplain 470/470
163.09/159.49	c 396212[?] -249856[?] -249720[?]  is mandatory 
163.09/159.49	c qxplain 467/469
163.40/159.79	c qxplain 469/469
163.70/160.08	c 396215[?] 2940[?] 2939[?]  is mandatory 
163.70/160.08	c qxplain 467/468
164.00/160.37	c qxplain 468/468
164.30/160.66	c 396220[?] 115175[?] 115174[?]  is mandatory 
164.30/160.66	c qxplain 467/467
164.60/160.95	c 396222[?] 160069[?] 160068[?]  is mandatory 
164.60/160.95	c qxplain 455/466
164.90/161.24	c qxplain 461/466
165.20/161.53	c qxplain 464/466
165.50/161.82	c qxplain 466/466
165.80/162.12	c 396223[?] 182516[?] 182515[?]  is mandatory 
165.80/162.12	c qxplain 464/465
166.10/162.41	c qxplain 465/465
166.40/162.70	c 396225[?] 227410[?] 227409[?]  is mandatory 
166.40/162.70	c qxplain 464/464
166.60/162.99	c 396226[?] 249857[?] 249856[?]  is mandatory 
166.60/162.99	c qxplain 461/463
166.90/163.28	c qxplain 463/463
167.20/163.57	c 396230[?] -25387[?] -25386[?]  is mandatory 
167.20/163.57	c qxplain 461/462
167.50/163.86	c qxplain 462/462
167.80/164.15	c 396231[?] -47834[?] -47833[?]  is mandatory 
167.80/164.15	c qxplain 461/461
168.10/164.44	c 396232[?] -70281[?] -70280[?]  is mandatory 
168.10/164.44	c qxplain 455/460
168.40/164.73	c qxplain 458/460
168.70/165.02	c qxplain 460/460
169.00/165.32	c 396233[?] -92728[?] -92727[?]  is mandatory 
169.00/165.32	c qxplain 458/459
169.30/165.61	c qxplain 459/459
169.50/165.89	c 396235[?] -137622[?] -137621[?]  is mandatory 
169.50/165.89	c qxplain 458/458
169.80/166.18	c 396238[?] -204963[?] -204962[?]  is mandatory 
169.80/166.18	c qxplain 455/457
170.10/166.48	c qxplain 457/457
170.40/166.77	c 397692[?] -159925[?] -160121[?]  is mandatory 
170.40/166.77	c qxplain 455/456
170.70/167.05	c qxplain 456/456
171.00/167.34	c 397706[?] 160121[?] 160122[?]  is mandatory 
171.00/167.34	c qxplain 455/455
171.30/167.64	c 398380[?] 205040[?] 204797[?]  is mandatory 
171.30/167.64	c qxplain 364/454
171.60/167.92	c qxplain 410/454
171.91/168.23	c qxplain 433/454
172.21/168.52	c qxplain 444/454
172.52/168.81	c qxplain 450/454
172.81/169.10	c qxplain 453/454
173.01/169.39	c qxplain 454/454
173.31/169.68	c 401976[?] -159579[?] -160274[?]  is mandatory 
173.31/169.68	c qxplain 453/453
173.62/169.97	c 401990[?] 160274[?] 160275[?]  is mandatory 
173.62/169.97	c qxplain 450/452
173.91/170.27	c qxplain 452/452
174.21/170.56	c 404179[?] 272588[?] 271906[?]  is mandatory 
174.21/170.56	c qxplain 450/451
174.51/170.86	c qxplain 451/451
174.81/171.15	c 404189[?] -182800[?] -182118[?]  is mandatory 
174.81/171.15	c qxplain 450/450
175.11/171.44	c 404190[?] -204565[?] -205247[?]  is mandatory 
175.11/171.44	c qxplain 444/449
175.41/171.73	c qxplain 447/449
175.72/172.02	c qxplain 449/449
176.01/172.31	c 404203[?] 182801[?] 182800[?]  is mandatory 
176.01/172.31	c qxplain 447/448
176.31/172.60	c qxplain 448/448
176.51/172.89	c 404204[?] 205247[?] 205248[?]  is mandatory 
176.51/172.89	c qxplain 447/447
176.82/173.18	c 404221[?] -272589[?] -272588[?]  is mandatory 
176.82/173.18	c qxplain 444/446
177.11/173.47	c qxplain 446/446
177.41/173.77	c 405237[?] 137446[?] 137944[?]  is mandatory 
177.41/173.77	c qxplain 444/445
177.71/174.05	c qxplain 445/445
178.02/174.35	c 405279[?] -137944[?] -137945[?]  is mandatory 
178.02/174.35	c qxplain 444/444
178.31/174.64	c 406209[?] -271835[?] -272660[?]  is mandatory 
178.31/174.64	c qxplain 433/443
178.61/174.93	c qxplain 439/443
178.91/175.22	c qxplain 442/443
179.21/175.51	c qxplain 443/443
179.51/175.80	c 406223[?] 272660[?] 272661[?]  is mandatory 
179.51/175.80	c qxplain 442/442
179.71/176.09	c 406390[?] 249393[?] 250220[?]  is mandatory 
179.71/176.09	c qxplain 439/441
180.02/176.37	c qxplain 441/441
180.33/176.68	c 406432[?] -250220[?] -250221[?]  is mandatory 
180.33/176.68	c qxplain 439/440
180.63/176.98	c qxplain 440/440
180.93/177.27	c 406456[?] -160434[?] -159903[?]  is mandatory 
180.93/177.27	c qxplain 439/439
181.24/177.56	c 407205[?] -3332[?] -2388[?]  is mandatory 
181.24/177.56	c qxplain 433/438
181.53/177.85	c qxplain 436/438
181.83/178.14	c qxplain 438/438
182.13/178.43	c 407206[?] -25779[?] -24835[?]  is mandatory 
182.13/178.43	c qxplain 436/437
182.44/178.72	c qxplain 437/437
182.73/179.01	c 407219[?] 3333[?] 3332[?]  is mandatory 
182.73/179.01	c qxplain 436/436
183.03/179.30	c 407220[?] 25780[?] 25779[?]  is mandatory 
183.03/179.30	c qxplain 433/435
183.23/179.58	c qxplain 435/435
183.54/179.87	c 407306[?] 70677[?] 70115[?]  is mandatory 
183.54/179.87	c qxplain 433/434
183.83/180.17	c qxplain 434/434
184.13/180.45	c 407307[?] 93124[?] 92562[?]  is mandatory 
184.13/180.45	c qxplain 433/433
184.43/180.74	c 407325[?] -182912[?] -182350[?]  is mandatory 
184.43/180.74	c qxplain 410/432
184.73/181.03	c qxplain 422/432
185.03/181.33	c qxplain 428/432
185.33/181.61	c qxplain 431/432
185.53/181.90	c qxplain 432/432
185.93/182.20	c 407785[?] 138035[?] 137456[?]  is mandatory 
185.93/182.20	c qxplain 431/431
186.13/182.49	c 411013[?] -3468[?] -2444[?]  is mandatory 
186.13/182.49	c qxplain 428/430
186.43/182.78	c qxplain 430/430
186.73/183.07	c 411014[?] -25915[?] -24891[?]  is mandatory 
186.73/183.07	c qxplain 428/429
187.03/183.36	c qxplain 429/429
187.33/183.65	c 411027[?] 3469[?] 3468[?]  is mandatory 
187.33/183.65	c qxplain 428/428
187.63/183.94	c 411028[?] 25916[?] 25915[?]  is mandatory 
187.63/183.94	c qxplain 422/427
187.93/184.23	c qxplain 425/427
188.23/184.52	c qxplain 427/427
188.53/184.81	c 414657[?] -92289[?] -93386[?]  is mandatory 
188.53/184.81	c qxplain 425/426
188.83/185.10	c qxplain 426/426
189.03/185.39	c 414658[?] -114736[?] -115833[?]  is mandatory 
189.03/185.39	c qxplain 425/425
189.44/185.70	c 414660[?] -159630[?] -160727[?]  is mandatory 
189.44/185.70	c qxplain 422/424
189.64/185.99	c qxplain 424/424
189.94/186.28	c 414968[?] -160275[?] -160738[?]  is mandatory 
189.94/186.28	c qxplain 422/423
190.24/186.57	c qxplain 423/423
190.54/186.86	c 414982[?] 160738[?] 160739[?]  is mandatory 
190.54/186.86	c qxplain 422/422
190.84/187.15	c 419048[?] 313852[?] 295566[?]  is mandatory 
190.84/187.15	c qxplain 410/421
191.14/187.44	c qxplain 416/421
191.44/187.73	c qxplain 419/421
191.74/188.02	c qxplain 421/421
192.04/188.31	c 419090[?] -295566[?] -295567[?]  is mandatory 
192.04/188.31	c qxplain 419/420
192.24/188.60	c qxplain 420/420
192.54/188.89	c 419637[?] -3776[?] -3333[?]  is mandatory 
192.54/188.89	c qxplain 419/419
192.84/189.18	c 419638[?] -26223[?] -25780[?]  is mandatory 
192.84/189.18	c qxplain 416/418
193.14/189.47	c qxplain 418/418
193.44/189.76	c 420635[?] 93386[?] 93600[?]  is mandatory 
193.44/189.76	c qxplain 416/417
193.74/190.05	c qxplain 417/417
194.04/190.35	c 420636[?] 115833[?] 116047[?]  is mandatory 
194.04/190.35	c qxplain 416/416
194.34/190.64	c 420638[?] 160727[?] 160941[?]  is mandatory 
194.34/190.64	c qxplain 410/415
194.64/190.92	c qxplain 413/415
194.94/191.21	c qxplain 415/415
195.24/191.50	c 420677[?] -93600[?] -93601[?]  is mandatory 
195.24/191.50	c qxplain 413/414
195.44/191.79	c qxplain 414/414
195.74/192.08	c 420678[?] -116047[?] -116048[?]  is mandatory 
195.74/192.08	c qxplain 413/413
196.04/192.37	c 420680[?] -160941[?] -160942[?]  is mandatory 
196.04/192.37	c qxplain 410/412
196.34/192.66	c qxplain 412/412
196.64/192.95	c 422689[?] -3885[?] -3469[?]  is mandatory 
196.64/192.95	c qxplain 410/411
196.94/193.24	c qxplain 411/411
197.24/193.53	c 422690[?] -26332[?] -25916[?]  is mandatory 
197.24/193.53	c qxplain 410/410
197.54/193.82	c 423650[?] -205248[?] -205942[?]  is mandatory 
197.54/193.82	c qxplain 364/409
197.84/194.11	c qxplain 387/409
198.04/194.39	c qxplain 399/409
198.45/194.71	c qxplain 405/409
198.75/195.00	c qxplain 408/409
198.95/195.28	c qxplain 409/409
199.25/195.57	c 425357[?] -183556[?] -182801[?]  is mandatory 
199.25/195.57	c qxplain 408/408
199.55/195.86	c 425616[?] 26437[?] 25387[?]  is mandatory 
199.55/195.86	c qxplain 405/407
199.85/196.15	c qxplain 407/407
200.15/196.44	c 425617[?] 48884[?] 47834[?]  is mandatory 
200.15/196.44	c qxplain 405/406
200.45/196.73	c qxplain 406/406
200.75/197.02	c 425618[?] 71331[?] 70281[?]  is mandatory 
200.75/197.02	c qxplain 405/405
201.05/197.32	c 425619[?] 93778[?] 92728[?]  is mandatory 
201.05/197.32	c qxplain 399/404
201.35/197.60	c qxplain 402/404
201.55/197.89	c qxplain 404/404
201.85/198.19	c 425621[?] 138672[?] 137622[?]  is mandatory 
201.85/198.19	c qxplain 402/403
202.15/198.48	c qxplain 403/403
202.45/198.77	c 425624[?] 206013[?] 204963[?]  is mandatory 
202.45/198.77	c qxplain 402/402
202.75/199.06	c 425629[?] -3990[?] -2940[?]  is mandatory 
202.75/199.06	c qxplain 399/401
203.05/199.35	c qxplain 401/401
203.35/199.64	c 425634[?] -116225[?] -115175[?]  is mandatory 
203.35/199.64	c qxplain 399/400
203.65/199.93	c qxplain 400/400
203.95/200.22	c 425636[?] -161119[?] -160069[?]  is mandatory 
203.95/200.22	c qxplain 399/399
204.25/200.51	c 425637[?] -183566[?] -182516[?]  is mandatory 
204.25/200.51	c qxplain 387/398
204.55/200.80	c qxplain 393/398
204.75/201.09	c qxplain 396/398
205.05/201.38	c qxplain 398/398
205.35/201.67	c 425639[?] -228460[?] -227410[?]  is mandatory 
205.35/201.67	c qxplain 396/397
205.65/201.97	c qxplain 397/397
205.95/202.25	c 425640[?] -250907[?] -249857[?]  is mandatory 
205.95/202.25	c qxplain 396/396
206.25/202.55	c 425643[?] 3991[?] 3990[?]  is mandatory 
206.25/202.55	c qxplain 393/395
206.55/202.84	c qxplain 395/395
206.85/203.13	c 425648[?] 116226[?] 116225[?]  is mandatory 
206.85/203.13	c qxplain 393/394
207.15/203.41	c qxplain 394/394
207.45/203.71	c 425650[?] 161120[?] 161119[?]  is mandatory 
207.45/203.71	c qxplain 393/393
207.65/204.00	c 425651[?] 183567[?] 183566[?]  is mandatory 
207.65/204.00	c qxplain 387/392
208.06/204.31	c qxplain 390/392
208.26/204.59	c qxplain 392/392
208.56/204.88	c 425653[?] 228461[?] 228460[?]  is mandatory 
208.56/204.88	c qxplain 390/391
208.86/205.17	c qxplain 391/391
209.15/205.47	c 425654[?] 250908[?] 250907[?]  is mandatory 
209.15/205.47	c qxplain 390/390
209.45/205.75	c 425658[?] -26438[?] -26437[?]  is mandatory 
209.45/205.75	c qxplain 387/389
209.75/206.04	c qxplain 389/389
210.05/206.34	c 425659[?] -48885[?] -48884[?]  is mandatory 
210.05/206.34	c qxplain 387/388
210.35/206.62	c qxplain 388/388
210.65/206.91	c 425660[?] -71332[?] -71331[?]  is mandatory 
210.65/206.91	c qxplain 387/387
210.96/207.21	c 425661[?] -93779[?] -93778[?]  is mandatory 
210.96/207.21	c qxplain 364/386
211.15/207.50	c qxplain 376/386
211.45/207.78	c qxplain 382/386
211.75/208.07	c qxplain 385/386
212.06/208.37	c qxplain 386/386
212.36/208.66	c 425663[?] -138673[?] -138672[?]  is mandatory 
212.36/208.66	c qxplain 385/385
212.66/208.94	c 425666[?] -206014[?] -206013[?]  is mandatory 
212.66/208.94	c qxplain 382/384
212.96/209.23	c qxplain 384/384
213.27/209.52	c 431605[?] -272661[?] -273567[?]  is mandatory 
213.27/209.52	c qxplain 382/383
213.56/209.81	c qxplain 383/383
213.86/210.10	c 432122[?] 250221[?] 251139[?]  is mandatory 
213.86/210.10	c qxplain 382/382
214.06/210.39	c 433928[?] -251203[?] -249804[?]  is mandatory 
214.06/210.39	c qxplain 376/381
214.37/210.68	c qxplain 379/381
214.66/210.97	c qxplain 381/381
214.96/211.26	c 434386[?] 160047[?] 161432[?]  is mandatory 
214.96/211.26	c qxplain 379/380
215.26/211.55	c qxplain 380/380
215.56/211.84	c 434401[?] -183879[?] -182494[?]  is mandatory 
215.56/211.84	c qxplain 379/379
215.86/212.13	c 434415[?] 183880[?] 183879[?]  is mandatory 
215.86/212.13	c qxplain 376/378
216.16/212.42	c qxplain 378/378
216.47/212.71	c 434428[?] -161432[?] -161433[?]  is mandatory 
216.47/212.71	c qxplain 376/377
216.76/213.01	c qxplain 377/377
216.96/213.29	c 437297[?] 137945[?] 139089[?]  is mandatory 
216.96/213.29	c qxplain 376/376
217.26/213.59	c 437339[?] -139089[?] -139090[?]  is mandatory 
217.26/213.59	c qxplain 364/375
217.58/213.88	c qxplain 370/375
217.87/214.18	c qxplain 373/375
218.17/214.46	c qxplain 375/375
218.47/214.75	c 439944[?] -160122[?] -161630[?]  is mandatory 
218.47/214.75	c qxplain 373/374
218.78/215.04	c qxplain 374/374
219.07/215.34	c 439958[?] 161630[?] 161631[?]  is mandatory 
219.07/215.34	c qxplain 373/373
219.37/215.62	c 442379[?] -137597[?] -139270[?]  is mandatory 
219.37/215.62	c qxplain 370/372
219.67/215.91	c qxplain 372/372
219.97/216.21	c 442393[?] 139270[?] 139271[?]  is mandatory 
219.97/216.21	c qxplain 370/371
220.27/216.50	c qxplain 371/371
220.47/216.79	c 447238[?] 161433[?] 161891[?]  is mandatory 
220.47/216.79	c qxplain 370/370
220.77/217.08	c 447253[?] -184338[?] -183880[?]  is mandatory 
220.77/217.08	c qxplain 364/369
221.07/217.37	c qxplain 367/369
221.37/217.66	c qxplain 369/369
221.67/217.95	c 447267[?] 184339[?] 184338[?]  is mandatory 
221.67/217.95	c qxplain 367/368
221.98/218.24	c qxplain 368/368
222.27/218.54	c 447280[?] -161891[?] -161892[?]  is mandatory 
222.27/218.54	c qxplain 367/367
222.57/218.83	c 447515[?] 94560[?] 93779[?]  is mandatory 
222.57/218.83	c qxplain 364/366
222.87/219.12	c qxplain 366/366
223.18/219.40	c 447530[?] -117007[?] -116226[?]  is mandatory 
223.18/219.40	c qxplain 364/365
223.47/219.70	c qxplain 365/365
223.67/219.99	c 447867[?] -139466[?] -149628[?]  is mandatory 
223.67/219.99	c qxplain 364/364
223.97/220.27	c 448085[?] -4792[?] -3991[?]  is mandatory 
223.97/220.27	c qxplain 0/363
224.28/220.56	c qxplain 182/363
224.57/220.85	c qxplain 273/363
224.87/221.14	c qxplain 319/363
225.17/221.43	c qxplain 342/363
225.47/221.72	c qxplain 353/363
225.77/222.01	c qxplain 359/363
226.07/222.30	c qxplain 362/363
226.27/222.59	c qxplain 363/363
226.57/222.88	c 448118[?] -117028[?] -116226[?]  is mandatory 
226.57/222.88	c qxplain 362/362
226.87/223.17	c 448197[?] -4796[?] -3991[?]  is mandatory 
226.87/223.17	c qxplain 359/361
227.18/223.48	c qxplain 361/361
227.49/223.77	c 448260[?] -161927[?] -161120[?]  is mandatory 
227.49/223.77	c qxplain 359/360
227.78/224.06	c qxplain 360/360
228.08/224.35	c 448276[?] 216975[?] 206822[?]  is mandatory 
228.08/224.35	c qxplain 359/359
228.38/224.65	c 448416[?] 206827[?] 206014[?]  is mandatory 
228.38/224.65	c qxplain 353/358
228.69/224.93	c qxplain 356/358
228.98/225.22	c qxplain 358/358
229.28/225.52	c 449407[?] -139271[?] -139521[?]  is mandatory 
229.28/225.52	c qxplain 356/357
229.58/225.80	c qxplain 357/357
229.79/226.09	c 449421[?] 139521[?] 139522[?]  is mandatory 
229.79/226.09	c qxplain 356/356
230.08/226.39	c 453031[?] 93601[?] 94757[?]  is mandatory 
230.08/226.39	c qxplain 353/355
230.38/226.68	c qxplain 355/355
230.68/226.97	c 453032[?] 116048[?] 117204[?]  is mandatory 
230.68/226.97	c qxplain 353/354
230.98/227.25	c qxplain 354/354
231.29/227.54	c 453034[?] 160942[?] 162098[?]  is mandatory 
231.29/227.54	c qxplain 353/353
231.59/227.84	c 453073[?] -94757[?] -94758[?]  is mandatory 
231.59/227.84	c qxplain 342/352
231.90/228.12	c qxplain 348/352
232.19/228.41	c qxplain 351/352
232.49/228.70	c qxplain 352/352
232.69/229.00	c 453074[?] -117204[?] -117205[?]  is mandatory 
232.69/229.00	c qxplain 351/351
233.00/229.28	c 453076[?] -162098[?] -162099[?]  is mandatory 
233.00/229.28	c qxplain 348/350
233.29/229.57	c qxplain 350/350
233.59/229.86	c 455491[?] 5057[?] 3776[?]  is mandatory 
233.59/229.86	c qxplain 348/349
233.89/230.15	c qxplain 349/349
234.20/230.44	c 455533[?] -5058[?] -5057[?]  is mandatory 
234.20/230.44	c qxplain 348/348
234.49/230.73	c 457535[?] 5130[?] 3885[?]  is mandatory 
234.49/230.73	c qxplain 342/347
234.79/231.02	c qxplain 345/347
235.09/231.31	c qxplain 347/347
235.39/231.60	c 457577[?] -5131[?] -5130[?]  is mandatory 
235.39/231.60	c qxplain 345/346
235.59/231.88	c qxplain 346/346
235.89/232.18	c 471059[?] 5613[?] 5131[?]  is mandatory 
235.89/232.18	c qxplain 345/345
236.19/232.47	c 471101[?] -5614[?] -5613[?]  is mandatory 
236.19/232.47	c qxplain 342/344
236.49/232.76	c qxplain 344/344
236.79/233.05	c 471115[?] 5615[?] 5058[?]  is mandatory 
236.79/233.05	c qxplain 342/343
237.09/233.34	c qxplain 343/343
237.42/233.65	c 471157[?] -5616[?] -5615[?]  is mandatory 
237.42/233.65	c qxplain 342/342
237.71/233.94	c 478006[?] 73202[?] 77650[?]  is mandatory 
237.71/233.94	c qxplain 319/341
238.01/234.23	c qxplain 331/341
238.31/234.52	c qxplain 337/341
238.61/234.81	c qxplain 340/341
238.81/235.10	c qxplain 341/341
239.11/235.39	c 478007[?] 95649[?] 100097[?]  is mandatory 
239.11/235.39	c qxplain 340/340
239.41/235.68	c 478261[?] 140552[?] 144906[?]  is mandatory 
239.41/235.68	c qxplain 337/339
239.71/235.97	c qxplain 339/339
240.00/236.26	c 480517[?] -185526[?] -184339[?]  is mandatory 
240.00/236.26	c qxplain 337/338
240.30/236.54	c qxplain 338/338
240.60/236.83	c 543686[?] -210185[?] 202696[?]  is mandatory 
240.60/236.83	c qxplain 337/337
240.90/237.13	c 543703[?] -269726[?] -270037[?] 277526[?]  is mandatory 
240.90/237.13	c qxplain 331/336
241.20/237.41	c qxplain 334/336
241.50/237.71	c qxplain 336/336
241.70/238.00	c 549496[?] 202402[?] -210314[?]  is mandatory 
241.70/238.00	c qxplain 334/335
242.01/238.28	c qxplain 335/335
242.30/238.57	c 549518[?] -67720[?] -69349[?] 75632[?]  is mandatory 
242.30/238.57	c qxplain 334/334
242.60/238.86	c 549519[?] -90167[?] -91796[?] 98079[?]  is mandatory 
242.60/238.86	c qxplain 331/333
242.91/239.15	c qxplain 333/333
243.20/239.44	c 551864[?] 255261[?] -260914[?] -260903[?] -260628[?]  is mandatory 
243.20/239.44	c qxplain 331/332
243.50/239.73	c qxplain 332/332
243.80/240.02	c 551934[?] 255262[?] -255261[?] -260897[?] -260920[?] -260889[?]  is mandatory 
243.80/240.02	c qxplain 331/331
244.11/240.31	c 555944[?] -75776[?] 70115[?]  is mandatory 
244.11/240.31	c qxplain 319/330
244.40/240.60	c qxplain 325/330
244.60/240.89	c qxplain 328/330
244.90/241.18	c qxplain 330/330
245.21/241.48	c 555945[?] -98223[?] 92562[?]  is mandatory 
245.21/241.48	c qxplain 328/329
245.50/241.77	c qxplain 329/329
245.80/242.05	c 555953[?] -277799[?] 272138[?]  is mandatory 
245.80/242.05	c qxplain 328/328
246.10/242.35	c 556215[?] 188017[?] -201401[?] -182350[?]  is mandatory 
246.10/242.35	c qxplain 325/327
246.40/242.64	c qxplain 327/327
246.70/242.93	c 556369[?] 182350[?] -188021[?]  is mandatory 
246.70/242.93	c qxplain 325/326
247.00/243.21	c qxplain 326/326
247.31/243.52	c 556371[?] 227244[?] -232915[?]  is mandatory 
247.31/243.52	c qxplain 325/325
247.62/243.82	c 556438[?] -165576[?] 178950[?]  is mandatory 
247.62/243.82	c qxplain 319/324
247.92/244.11	c qxplain 322/324
248.22/244.40	c qxplain 324/324
248.42/244.69	c 556469[?] 232917[?] -227244[?] -246291[?]  is mandatory 
248.42/244.69	c qxplain 322/323
248.72/244.98	c qxplain 323/323
249.02/245.27	c 556481[?] -188024[?] 201398[?]  is mandatory 
249.02/245.27	c qxplain 322/322
249.32/245.57	c 556512[?] 255365[?] -268739[?] -249691[?]  is mandatory 
249.32/245.57	c qxplain 319/321
249.62/245.86	c qxplain 321/321
249.92/246.15	c 556548[?] 120684[?] -134058[?] -115009[?]  is mandatory 
249.92/246.15	c qxplain 319/320
250.22/246.44	c qxplain 320/320
250.52/246.73	c 556592[?] 165579[?] -178953[?] -159903[?]  is mandatory 
250.52/246.73	c qxplain 319/319
250.81/247.02	c 581430[?] -211044[?] 224060[?]  is mandatory 
250.81/247.02	c qxplain 273/318
251.11/247.31	c qxplain 296/318
251.31/247.60	c qxplain 308/318
251.61/247.88	c qxplain 314/318
251.91/248.18	c qxplain 317/318
252.21/248.47	c qxplain 318/318
252.51/248.76	c 581489[?] -278386[?] 272589[?]  is mandatory 
252.51/248.76	c qxplain 317/317
252.82/249.05	c 581555[?] -188600[?] 201612[?]  is mandatory 
252.82/249.05	c qxplain 314/316
253.11/249.34	c qxplain 316/316
253.41/249.63	c 593907[?] -278682[?] 288236[?]  is mandatory 
253.41/249.63	c qxplain 314/315
253.71/249.91	c qxplain 315/315
254.02/250.21	c 602600[?] -256442[?] 265847[?]  is mandatory 
254.02/250.21	c qxplain 314/314
254.31/250.50	c 604469[?] 90515[?] -99357[?]  is mandatory 
254.31/250.50	c qxplain 308/313
254.51/250.79	c qxplain 311/313
254.81/251.08	c qxplain 313/313
255.12/251.36	c 606680[?] 86337[?] -76962[?]  is mandatory 
255.12/251.36	c qxplain 311/312
255.42/251.65	c qxplain 312/312
255.71/251.94	c 606681[?] 108784[?] -99409[?]  is mandatory 
255.71/251.94	c qxplain 311/311
256.01/252.23	c 606689[?] 288360[?] -278985[?]  is mandatory 
256.01/252.23	c qxplain 308/310
256.31/252.52	c qxplain 310/310
256.61/252.82	c 606714[?] -221019[?] -205040[?] 211644[?]  is mandatory 
256.61/252.82	c qxplain 308/309
256.91/253.10	c qxplain 309/309
257.11/253.39	c 608127[?] -189230[?] 197971[?]  is mandatory 
257.11/253.39	c qxplain 308/308
257.41/253.68	c 608129[?] -234124[?] 242865[?]  is mandatory 
257.41/253.68	c qxplain 296/307
257.72/253.97	c qxplain 302/307
258.04/254.27	c qxplain 305/307
258.34/254.56	c qxplain 307/307
258.64/254.85	c 616440[?] 134024[?] -122087[?]  is mandatory 
258.64/254.86	c qxplain 305/306
258.94/255.15	c qxplain 306/306
259.24/255.44	c 616729[?] -9859[?] 379[?]  is mandatory 
259.24/255.44	c qxplain 305/305
259.54/255.73	c 616744[?] -32306[?] 26438[?]  is mandatory 
259.54/255.73	c qxplain 302/304
259.84/256.02	c qxplain 304/304
260.14/256.31	c 616745[?] -54753[?] 48885[?]  is mandatory 
260.14/256.31	c qxplain 302/303
260.44/256.60	c qxplain 303/303
260.64/256.89	c 616746[?] -77200[?] 71332[?]  is mandatory 
260.64/256.89	c qxplain 302/302
260.94/257.19	c 616747[?] -99647[?] 93779[?]  is mandatory 
260.94/257.19	c qxplain 296/301
261.24/257.48	c qxplain 299/301
261.54/257.77	c qxplain 301/301
261.84/258.06	c 616776[?] 134036[?] -122095[?]  is mandatory 
261.84/258.06	c qxplain 299/300
262.14/258.35	c qxplain 300/300
262.44/258.64	c 616791[?] -144542[?] 138673[?]  is mandatory 
262.44/258.64	c qxplain 299/299
262.74/258.93	c 616820[?] 178931[?] -166990[?]  is mandatory 
262.74/258.93	c qxplain 296/298
263.04/259.22	c qxplain 298/298
263.34/259.51	c 616891[?] -201379[?] 189438[?] -183567[?]  is mandatory 
263.34/259.51	c qxplain 296/297
263.63/259.80	c qxplain 297/297
263.84/260.09	c 617098[?] -134025[?] 122102[?] -116226[?]  is mandatory 
263.84/260.09	c qxplain 296/296
264.13/260.38	c 617191[?] -9870[?] 21799[?]  is mandatory 
264.13/260.38	c qxplain 273/295
264.43/260.68	c qxplain 285/295
264.73/260.97	c qxplain 291/295
265.04/261.25	c qxplain 294/295
265.33/261.55	c qxplain 295/295
265.63/261.84	c 617206[?] -32317[?] 26438[?]  is mandatory 
265.63/261.84	c qxplain 294/294
265.93/262.13	c 617271[?] -246274[?] 234341[?] -228461[?]  is mandatory 
265.93/262.13	c qxplain 291/293
266.23/262.42	c qxplain 293/293
266.53/262.70	c 617314[?] -268722[?] 256789[?] -250908[?]  is mandatory 
266.53/262.70	c qxplain 291/292
266.83/263.00	c qxplain 292/292
267.03/263.28	c 617461[?] -99664[?] 93779[?]  is mandatory 
267.03/263.28	c qxplain 291/291
267.33/263.57	c 630388[?] 205942[?] -212204[?]  is mandatory 
267.33/263.57	c qxplain 285/290
267.63/263.87	c qxplain 288/290
267.93/264.16	c qxplain 290/290
268.24/264.45	c 630629[?] 284330[?] -279551[?]  is mandatory 
268.24/264.45	c qxplain 288/289
268.53/264.73	c qxplain 289/289
268.85/265.04	c 631017[?] -189772[?] 183556[?]  is mandatory 
268.85/265.04	c qxplain 288/288
269.15/265.33	c 632177[?] -144906[?] 135915[?]  is mandatory 
269.15/265.33	c qxplain 285/287
269.45/265.62	c qxplain 287/287
269.75/265.91	c 633079[?] 273567[?] -279609[?]  is mandatory 
269.75/265.91	c qxplain 285/286
270.05/266.21	c qxplain 286/286
270.35/266.50	c 633134[?] -251139[?] -255262[?] 257163[?]  is mandatory 
270.35/266.50	c qxplain 285/285
270.55/266.78	c 635154[?] -32742[?] 44248[?]  is mandatory 
270.55/266.78	c qxplain 273/284
270.85/267.07	c qxplain 279/284
271.15/267.36	c qxplain 282/284
271.44/267.65	c qxplain 284/284
271.74/267.94	c 635155[?] -55189[?] 66695[?]  is mandatory 
271.74/267.94	c qxplain 282/283
272.04/268.24	c qxplain 283/283
272.34/268.53	c 635156[?] -77636[?] 89142[?]  is mandatory 
272.34/268.53	c qxplain 282/282
272.65/268.82	c 635157[?] 111589[?] -100083[?]  is mandatory 
272.65/268.82	c qxplain 279/281
272.94/269.10	c qxplain 281/281
273.14/269.39	c 635201[?] 156484[?] -144978[?]  is mandatory 
273.14/269.39	c qxplain 279/280
273.44/269.69	c qxplain 280/280
273.75/269.98	c 635490[?] -32750[?] 26332[?]  is mandatory 
273.75/269.98	c qxplain 279/279
274.04/270.27	c 635610[?] -223827[?] -216975[?] 212328[?]  is mandatory 
274.04/270.27	c qxplain 273/278
274.34/270.55	c qxplain 276/278
274.64/270.84	c qxplain 278/278
274.95/271.14	c 635658[?] -32754[?] 26223[?]  is mandatory 
274.95/271.14	c qxplain 276/277
275.24/271.42	c qxplain 277/277
275.54/271.72	c 635744[?] -77650[?] 68574[?]  is mandatory 
275.54/271.72	c qxplain 276/276
275.84/272.01	c 635745[?] -100097[?] 91021[?]  is mandatory 
275.84/272.01	c qxplain 273/275
276.14/272.30	c qxplain 275/275
276.34/272.59	c 637035[?] -139522[?] -156545[?] 145021[?]  is mandatory 
276.34/272.59	c qxplain 273/274
276.64/272.88	c qxplain 274/274
276.94/273.17	c 638870[?] 161892[?] -167512[?]  is mandatory 
276.94/273.17	c qxplain 273/273
277.24/273.46	c 639823[?] 179979[?] -189982[?]  is mandatory 
277.24/273.46	c qxplain 182/272
277.54/273.75	c qxplain 228/272
277.84/274.04	c qxplain 251/272
278.15/274.33	c qxplain 262/272
278.44/274.62	c qxplain 268/272
278.74/274.90	c qxplain 271/272
278.94/275.19	c qxplain 272/272
279.25/275.49	c 641136[?] -122672[?] 117007[?]  is mandatory 
279.25/275.49	c qxplain 271/271
279.56/275.79	c 641149[?] -105681[?] 100225[?] -94560[?]  is mandatory 
279.56/275.79	c qxplain 268/270
279.86/276.08	c qxplain 270/270
280.16/276.37	c 641793[?] 99357[?] -100241[?]  is mandatory 
280.16/276.37	c qxplain 268/269
280.46/276.66	c qxplain 269/269
280.76/276.95	c 654180[?] -33185[?] 22826[?]  is mandatory 
280.76/276.95	c qxplain 268/268
281.06/277.24	c 654181[?] -55632[?] 45273[?]  is mandatory 
281.06/277.24	c qxplain 262/267
281.36/277.53	c qxplain 265/267
281.66/277.82	c qxplain 267/267
281.96/278.11	c 654182[?] -78079[?] 67720[?]  is mandatory 
281.96/278.11	c qxplain 265/266
282.26/278.40	c qxplain 266/266
282.46/278.69	c 654183[?] -100526[?] 90167[?]  is mandatory 
282.46/278.69	c qxplain 265/265
282.76/278.99	c 654241[?] -145421[?] 139466[?]  is mandatory 
282.76/278.99	c qxplain 262/264
283.06/279.27	c qxplain 264/264
283.36/279.57	c 656162[?] -206822[?] -202402[?] 212798[?]  is mandatory 
283.36/279.57	c qxplain 262/263
283.66/279.86	c qxplain 263/263
283.96/280.14	c 660270[?] -33308[?] 38626[?]  is mandatory 
283.96/280.14	c qxplain 262/262
284.26/280.43	c 660283[?] -10861[?] 4796[?]  is mandatory 
284.26/280.43	c qxplain 251/261
284.56/280.72	c qxplain 257/261
284.86/281.01	c qxplain 260/261
285.16/281.30	c qxplain 261/261
285.36/281.59	c 666754[?] -89164[?] 78347[?] -73202[?]  is mandatory 
285.36/281.59	c qxplain 260/260
285.66/281.88	c 666755[?] 100794[?] -111611[?] -95649[?]  is mandatory 
285.66/281.88	c qxplain 257/259
285.96/282.17	c qxplain 259/259
286.26/282.46	c 667359[?] 145701[?] -156506[?] -140552[?]  is mandatory 
286.26/282.46	c qxplain 257/258
286.56/282.74	c qxplain 258/258
286.86/283.04	c 668116[?] -168166[?] 159579[?]  is mandatory 
286.86/283.04	c qxplain 257/257
287.16/283.34	c 674144[?] -33621[?] 38838[?]  is mandatory 
287.16/283.34	c qxplain 251/256
287.46/283.62	c qxplain 254/256
287.76/283.91	c qxplain 256/256
287.96/284.20	c 674145[?] -56068[?] 61285[?]  is mandatory 
287.96/284.20	c qxplain 254/255
288.26/284.49	c qxplain 255/255
288.56/284.78	c 674146[?] 83732[?] -78515[?]  is mandatory 
288.56/284.78	c qxplain 254/254
288.86/285.07	c 674147[?] 106179[?] -100962[?]  is mandatory 
288.86/285.07	c qxplain 251/253
289.16/285.36	c qxplain 253/253
289.46/285.65	c 674157[?] -11174[?] 4792[?]  is mandatory 
289.46/285.65	c qxplain 251/252
289.76/285.94	c qxplain 252/252
290.06/286.23	c 674191[?] 151074[?] -145857[?]  is mandatory 
290.06/286.23	c qxplain 251/251
290.36/286.52	c 674204[?] -123410[?] 117028[?]  is mandatory 
290.36/286.52	c qxplain 228/250
290.67/286.83	c qxplain 240/250
290.97/287.11	c qxplain 246/250
291.27/287.40	c qxplain 249/250
291.47/287.69	c qxplain 250/250
291.77/287.99	c 674458[?] -168310[?] 161927[?]  is mandatory 
291.77/287.99	c qxplain 249/249
292.07/288.27	c 675062[?] -218420[?] -206827[?] 213218[?]  is mandatory 
292.07/288.27	c qxplain 246/248
292.37/288.56	c qxplain 248/248
292.67/288.86	c 767657[?] -192791[?] 185526[?]  is mandatory 
292.67/288.86	c qxplain 246/247
292.97/289.15	c qxplain 247/247
293.27/289.43	c 780260[?] -260424[?] 251203[?]  is mandatory 
293.27/289.43	c qxplain 246/246
293.58/289.72	c 780299[?] -193084[?] 182912[?]  is mandatory 
293.58/289.72	c qxplain 240/245
293.87/290.02	c qxplain 243/245
294.17/290.31	c qxplain 245/245
294.37/290.59	c 780308[?] -85517[?] 80849[?] -70677[?]  is mandatory 
294.37/290.59	c qxplain 243/244
294.68/290.88	c qxplain 244/244
294.97/291.17	c 780309[?] 103296[?] -107964[?] -93124[?]  is mandatory 
294.97/291.17	c qxplain 243/243
295.27/291.47	c 780395[?] 148192[?] -152860[?] -138035[?]  is mandatory 
295.27/291.47	c qxplain 240/242
295.57/291.75	c qxplain 242/242
295.88/292.05	c 782020[?] -170678[?] 160434[?]  is mandatory 
295.88/292.05	c qxplain 240/241
296.17/292.34	c qxplain 241/241
296.47/292.62	c 788884[?] 260628[?] 268558[?]  is mandatory 
296.47/292.62	c qxplain 240/240
296.77/292.91	c 794966[?] 67798[?] 81191[?]  is mandatory 
296.77/292.91	c qxplain 228/239
297.07/293.20	c qxplain 234/239
297.27/293.49	c qxplain 237/239
297.57/293.79	c qxplain 239/239
297.87/294.08	c 794967[?] 90245[?] 103638[?]  is mandatory 
297.87/294.08	c qxplain 237/238
298.17/294.37	c qxplain 238/238
298.47/294.66	c 794969[?] 135139[?] 148532[?]  is mandatory 
298.47/294.66	c qxplain 237/237
298.77/294.95	c 798629[?] 283297[?] 291407[?]  is mandatory 
298.77/294.95	c qxplain 234/236
299.07/295.23	c qxplain 236/236
299.37/295.53	c 798741[?] -283299[?] -270183[?] -283297[?]  is mandatory 
299.37/295.53	c qxplain 234/235
299.67/295.83	c qxplain 235/235
299.97/296.11	c 798769[?] 283300[?] 283299[?]  is mandatory 
299.97/296.11	c qxplain 234/234
300.18/296.40	c 800336[?] 260889[?] 268556[?]  is mandatory 
300.18/296.40	c qxplain 228/233
300.47/296.69	c qxplain 231/233
300.77/296.98	c qxplain 233/233
301.07/297.27	c 800686[?] 260897[?] 268557[?]  is mandatory 
301.07/297.27	c qxplain 231/232
301.37/297.56	c qxplain 232/232
301.68/297.87	c 800980[?] 260903[?] 268559[?]  is mandatory 
301.68/297.87	c qxplain 231/231
301.98/298.16	c 801470[?] 260914[?] 268560[?]  is mandatory 
301.98/298.16	c qxplain 228/230
302.28/298.45	c qxplain 230/230
302.58/298.74	c 801764[?] 260920[?] 268558[?]  is mandatory 
302.58/298.74	c qxplain 228/229
302.88/299.03	c qxplain 229/229
303.18/299.32	c 848183[?] 149628[?] 153113[?]  is mandatory 
303.18/299.32	c qxplain 228/228
303.49/299.61	c 849043[?] 284328[?] 288335[?]  is mandatory 
303.49/299.61	c qxplain 182/227
303.79/299.90	c qxplain 205/227
303.99/300.19	c qxplain 217/227
304.29/300.49	c qxplain 223/227
304.60/300.78	c qxplain 226/227
304.89/301.07	c qxplain 227/227
305.19/301.36	c 849085[?] 291404[?] 284329[?]  is mandatory 
305.19/301.36	c qxplain 226/226
305.49/301.65	c 849155[?] -284329[?] -284328[?] -284330[?]  is mandatory 
305.49/301.65	c qxplain 223/225
305.80/301.94	c qxplain 225/225
306.09/302.23	c 892043[?] -92547[?] 105681[?]  is mandatory 
306.09/302.23	c qxplain 223/224
306.39/302.52	c qxplain 224/224
306.69/302.81	c 894218[?] -211644[?] 217968[?]  is mandatory 
306.69/302.81	c qxplain 223/223
306.90/303.10	c 894240[?] 76962[?] -83286[?] 75776[?]  is mandatory 
306.90/303.10	c qxplain 217/222
307.19/303.39	c qxplain 220/222
307.49/303.68	c qxplain 222/222
307.79/303.97	c 894241[?] 99409[?] -105733[?] 98223[?]  is mandatory 
307.79/303.97	c qxplain 220/221
308.09/304.26	c qxplain 221/221
308.39/304.55	c 894249[?] 278985[?] 277799[?] -285309[?]  is mandatory 
308.39/304.55	c qxplain 220/220
308.69/304.84	c 894441[?] 195526[?] -188017[?]  is mandatory 
308.69/304.84	c qxplain 217/219
309.00/305.13	c qxplain 219/219
309.29/305.42	c 894623[?] 188021[?] 189230[?] -195530[?]  is mandatory 
309.29/305.42	c qxplain 217/218
309.59/305.71	c qxplain 218/218
309.89/306.00	c 894625[?] 232915[?] 234124[?] -240424[?]  is mandatory 
309.89/306.00	c qxplain 217/217
310.09/306.29	c 900826[?] 212204[?] 211044[?] -218118[?]  is mandatory 
310.09/306.29	c qxplain 205/216
310.39/306.58	c qxplain 211/216
310.69/306.88	c qxplain 214/216
310.99/307.17	c qxplain 216/216
311.29/307.46	c 900871[?] 279551[?] 278386[?] -285460[?]  is mandatory 
311.29/307.46	c qxplain 214/215
311.59/307.75	c qxplain 215/215
311.89/308.04	c 900951[?] -195674[?] 189772[?] 188600[?]  is mandatory 
311.89/308.04	c qxplain 214/214
312.19/308.33	c 901291[?] 279609[?] -285470[?] 278682[?]  is mandatory 
312.19/308.33	c qxplain 211/213
312.49/308.62	c qxplain 213/213
312.79/308.91	c 901430[?] -257163[?] 263027[?]  is mandatory 
312.79/308.91	c qxplain 211/212
313.09/309.20	c qxplain 212/212
313.41/309.51	c 904402[?] -38626[?] 32754[?] 32750[?]  is mandatory 
313.41/309.51	c qxplain 211/211
313.70/309.80	c 909683[?] -100225[?] 106092[?]  is mandatory 
313.70/309.80	c qxplain 205/210
313.90/310.08	c qxplain 208/210
314.20/310.38	c qxplain 210/210
314.51/310.67	c 909712[?] 122087[?] -128539[?] 122672[?]  is mandatory 
314.51/310.67	c qxplain 208/209
314.80/310.96	c qxplain 209/209
315.10/311.25	c 909740[?] -122102[?] 128540[?]  is mandatory 
315.10/311.25	c qxplain 208/208
315.40/311.54	c 909963[?] 100241[?] -106098[?] 99664[?]  is mandatory 
315.40/311.54	c qxplain 205/207
315.71/311.83	c qxplain 207/207
316.00/312.13	c 913446[?] -38838[?] 32742[?] 33185[?]  is mandatory 
316.00/312.13	c qxplain 205/206
316.30/312.42	c qxplain 206/206
316.60/312.71	c 913447[?] -61285[?] 55189[?] 55632[?]  is mandatory 
316.60/312.71	c qxplain 205/205
316.90/313.00	c 913448[?] 78079[?] 77636[?] -83732[?]  is mandatory 
316.90/313.00	c qxplain 182/204
317.10/313.29	c qxplain 194/204
317.40/313.58	c qxplain 200/204
317.70/313.87	c qxplain 203/204
318.00/314.16	c qxplain 204/204
318.30/314.44	c 913449[?] 100083[?] -106179[?] 100526[?]  is mandatory 
318.30/314.44	c qxplain 203/203
318.60/314.74	c 913493[?] 144978[?] -151074[?] 145421[?]  is mandatory 
318.60/314.74	c qxplain 200/202
318.91/315.03	c qxplain 202/202
319.20/315.32	c 913734[?] -212798[?] 218420[?]  is mandatory 
319.20/315.32	c qxplain 200/201
319.50/315.61	c qxplain 201/201
319.70/315.89	c 913748[?] -212328[?] 218420[?]  is mandatory 
319.70/315.89	c qxplain 200/200
320.01/316.18	c 917595[?] -145021[?] 151167[?]  is mandatory 
320.01/316.18	c qxplain 194/199
320.30/316.47	c qxplain 197/199
320.60/316.77	c qxplain 199/199
320.90/317.06	c 919577[?] -16532[?] 10861[?] 9870[?]  is mandatory 
320.90/317.06	c qxplain 197/198
321.21/317.35	c qxplain 198/198
321.50/317.63	c 919578[?] -38979[?] 32317[?] 33308[?]  is mandatory 
321.50/317.63	c qxplain 197/197
321.80/317.92	c 919616[?] -256789[?] 263450[?]  is mandatory 
321.80/317.92	c qxplain 194/196
322.10/318.22	c qxplain 196/196
322.40/318.51	c 920466[?] 167512[?] -173682[?] 168166[?]  is mandatory 
322.40/318.51	c qxplain 194/195
322.60/318.80	c qxplain 195/195
322.90/319.08	c 926815[?] -16701[?] 9859[?] 11174[?]  is mandatory 
322.90/319.08	c qxplain 194/194
323.20/319.38	c 926816[?] -39148[?] 33621[?] 32306[?]  is mandatory 
323.20/319.38	c qxplain 182/193
323.50/319.67	c qxplain 188/193
323.80/319.96	c qxplain 191/193
324.10/320.25	c qxplain 193/193
324.41/320.54	c 926817[?] -61595[?] 56068[?] 54753[?]  is mandatory 
324.41/320.54	c qxplain 191/192
324.72/320.85	c qxplain 192/192
325.02/321.14	c 926818[?] 78515[?] -84042[?] 77200[?]  is mandatory 
325.02/321.14	c qxplain 191/191
325.32/321.43	c 926819[?] 100962[?] -106489[?] 99647[?]  is mandatory 
325.32/321.43	c qxplain 188/190
325.62/321.72	c qxplain 190/190
325.92/322.02	c 926862[?] 122095[?] -128937[?] 123410[?]  is mandatory 
325.92/322.02	c qxplain 188/189
326.22/322.31	c qxplain 189/189
326.42/322.59	c 926863[?] 145857[?] -151384[?] 144542[?]  is mandatory 
326.42/322.59	c qxplain 188/188
326.72/322.89	c 926880[?] -213218[?] 218726[?]  is mandatory 
326.72/322.89	c qxplain 182/187
327.02/323.19	c qxplain 185/187
327.32/323.47	c qxplain 187/187
327.62/323.76	c 926893[?] -189438[?] 196279[?]  is mandatory 
327.62/323.76	c qxplain 185/186
327.92/324.05	c qxplain 186/186
328.22/324.35	c 951185[?] -234341[?] 241742[?]  is mandatory 
328.22/324.35	c qxplain 185/185
328.52/324.63	c 986225[?] 189982[?] 192791[?] -197643[?]  is mandatory 
328.52/324.63	c qxplain 182/184
328.82/324.93	c qxplain 184/184
329.12/325.22	c 990770[?] -78347[?] 85517[?]  is mandatory 
329.12/325.22	c qxplain 182/183
329.42/325.51	c qxplain 183/183
329.71/325.80	c 990771[?] 107964[?] -100794[?]  is mandatory 
329.71/325.80	c qxplain 182/182
329.92/326.09	c 990857[?] 152860[?] -145701[?]  is mandatory 
329.92/326.09	c qxplain 0/181
330.21/326.38	c qxplain 91/181
330.51/326.67	c qxplain 137/181
330.81/326.96	c qxplain 160/181
331.12/327.25	c qxplain 171/181
331.41/327.54	c qxplain 177/181
331.71/327.83	c qxplain 180/181
332.01/328.12	c qxplain 181/181
332.31/328.41	c 994424[?] -80849[?] 85604[?]  is mandatory 
332.31/328.41	c qxplain 180/180
332.61/328.70	c 994425[?] 108051[?] -103296[?]  is mandatory 
332.61/328.70	c qxplain 177/179
332.81/328.99	c qxplain 179/179
333.11/329.28	c 994446[?] 265180[?] -255365[?]  is mandatory 
333.11/329.28	c qxplain 177/178
333.41/329.57	c qxplain 178/178
333.71/329.86	c 994457[?] -197839[?] 188024[?] 193084[?]  is mandatory 
333.71/329.86	c qxplain 177/177
334.01/330.15	c 994469[?] 152946[?] -148192[?]  is mandatory 
334.01/330.15	c qxplain 171/176
334.32/330.44	c qxplain 174/176
334.61/330.73	c qxplain 176/176
334.91/331.02	c 994482[?] 130499[?] -120684[?]  is mandatory 
334.91/331.02	c qxplain 174/175
335.21/331.31	c qxplain 175/175
335.42/331.60	c 994526[?] 175394[?] -165579[?]  is mandatory 
335.42/331.60	c qxplain 174/174
335.71/331.89	c 995174[?] -265197[?] 260424[?] 256442[?]  is mandatory 
335.71/331.89	c qxplain 171/173
336.01/332.18	c qxplain 173/173
336.32/332.49	c 996125[?] 242773[?] -232917[?]  is mandatory 
336.32/332.49	c qxplain 171/172
336.63/332.77	c qxplain 172/172
336.92/333.07	c 996136[?] -175432[?] 170678[?] 165576[?]  is mandatory 
336.92/333.07	c qxplain 171/171
337.22/333.36	c 998446[?] 166990[?] 175487[?] 168310[?]  is mandatory 
337.22/333.36	c qxplain 160/170
337.52/333.66	c qxplain 166/170
337.82/333.95	c qxplain 169/170
338.12/334.24	c qxplain 170/170
338.42/334.53	c 1000127[?] -197971[?] -201396[?]  is mandatory 
338.42/334.53	c qxplain 169/169
338.73/334.81	c 1000143[?] -242865[?] -246291[?]  is mandatory 
338.73/334.81	c qxplain 166/168
339.02/335.10	c qxplain 168/168
339.32/335.40	c 1000431[?] -112235[?] -108189[?]  is mandatory 
339.32/335.40	c qxplain 166/167
339.52/335.69	c qxplain 167/167
339.83/335.98	c 1000432[?] -134682[?] -130636[?]  is mandatory 
339.83/335.98	c qxplain 166/166
340.12/336.27	c 1000434[?] -179576[?] -175530[?]  is mandatory 
340.12/336.27	c qxplain 160/165
340.42/336.56	c qxplain 163/165
340.72/336.85	c qxplain 165/165
341.03/337.14	c 1001763[?] -135362[?] -153113[?]  is mandatory 
341.03/337.14	c qxplain 163/164
341.32/337.43	c qxplain 164/164
341.62/337.72	c 1001777[?] -156473[?] -153113[?]  is mandatory 
341.62/337.72	c qxplain 163/163
341.92/338.01	c 1021019[?] -288236[?] -271668[?]  is mandatory 
341.92/338.01	c qxplain 160/162
342.22/338.30	c qxplain 162/162
342.42/338.59	c 1023440[?] -265847[?] -249534[?]  is mandatory 
342.42/338.59	c qxplain 160/161
342.72/338.88	c qxplain 161/161
343.02/339.17	c 1025205[?] -288335[?] -283300[?]  is mandatory 
343.02/339.17	c qxplain 160/160
343.32/339.46	c 1026246[?] -75632[?] -86337[?]  is mandatory 
343.32/339.46	c qxplain 137/159
343.62/339.75	c qxplain 149/159
343.92/340.04	c qxplain 155/159
344.23/340.33	c qxplain 158/159
344.52/340.61	c qxplain 159/159
344.82/340.90	c 1026247[?] -98079[?] -108784[?]  is mandatory 
344.82/340.90	c qxplain 158/158
345.13/341.20	c 1026269[?] -277526[?] -288360[?]  is mandatory 
345.13/341.20	c qxplain 155/157
345.34/341.48	c qxplain 157/157
345.63/341.77	c 1026280[?] 210314[?] 210185[?] 221019[?]  is mandatory 
345.63/341.77	c qxplain 155/156
345.93/342.07	c qxplain 156/156
346.23/342.36	c 1050561[?] -19558[?] 5614[?]  is mandatory 
346.23/342.36	c qxplain 155/155
346.54/342.65	c 1050589[?] -19559[?] 5616[?]  is mandatory 
346.54/342.65	c qxplain 149/154
346.83/342.94	c qxplain 152/154
347.13/343.23	c qxplain 154/154
347.43/343.52	c 1052108[?] 173682[?] -176742[?]  is mandatory 
347.43/343.52	c qxplain 152/153
347.73/343.81	c qxplain 153/153
348.03/344.10	c 1052137[?] 197643[?] -199190[?]  is mandatory 
348.03/344.10	c qxplain 152/152
348.34/344.41	c 1066056[?] -267028[?] 265197[?]  is mandatory 
348.34/344.41	c qxplain 149/151
348.54/344.69	c qxplain 151/151
348.84/344.98	c 1066085[?] 285470[?] -289476[?]  is mandatory 
348.84/344.98	c qxplain 149/150
349.14/345.27	c qxplain 150/150
349.44/345.56	c 1068170[?] -263027[?] 267103[?]  is mandatory 
349.44/345.56	c qxplain 149/149
349.75/345.85	c 1068199[?] -291002[?] 289551[?]  is mandatory 
349.75/345.85	c qxplain 137/148
350.04/346.14	c qxplain 143/148
350.34/346.43	c qxplain 146/148
350.64/346.72	c qxplain 148/148
350.95/347.02	c 1068211[?] -244658[?] 246109[?]  is mandatory 
350.95/347.02	c qxplain 146/147
351.24/347.30	c qxplain 147/147
351.44/347.59	c 1068282[?] -268558[?] 267107[?]  is mandatory 
351.44/347.59	c qxplain 146/146
351.74/347.89	c 1068310[?] -268559[?] 267108[?]  is mandatory 
351.74/347.89	c qxplain 143/145
352.05/348.18	c qxplain 145/145
352.34/348.47	c 1068311[?] -291006[?] 289555[?]  is mandatory 
352.34/348.47	c qxplain 143/144
352.64/348.75	c qxplain 144/144
352.94/349.05	c 1072377[?] 106098[?] -110125[?]  is mandatory 
352.94/349.05	c qxplain 143/143
353.24/349.34	c 1072406[?] 128539[?] -132573[?]  is mandatory 
353.24/349.34	c qxplain 137/142
353.54/349.62	c qxplain 140/142
353.84/349.91	c qxplain 142/142
354.15/350.20	c 1072419[?] -106092[?] 110126[?]  is mandatory 
354.15/350.20	c qxplain 140/141
354.34/350.49	c qxplain 141/141
354.64/350.78	c 1072448[?] -128540[?] 132574[?]  is mandatory 
354.64/350.78	c qxplain 140/140
354.94/351.07	c 1072681[?] -20348[?] 16532[?]  is mandatory 
354.94/351.07	c qxplain 137/139
355.25/351.36	c qxplain 139/139
355.54/351.65	c 1072682[?] -42795[?] 38979[?]  is mandatory 
355.54/351.65	c qxplain 137/138
355.84/351.94	c qxplain 138/138
356.14/352.23	c 1072709[?] -20349[?] 16701[?]  is mandatory 
356.14/352.23	c qxplain 137/137
356.45/352.52	c 1072710[?] -42796[?] 39148[?]  is mandatory 
356.45/352.52	c qxplain 91/136
356.74/352.81	c qxplain 114/136
356.94/353.09	c qxplain 126/136
357.24/353.39	c qxplain 132/136
357.55/353.68	c qxplain 135/136
357.84/353.97	c qxplain 136/136
358.14/354.25	c 1072711[?] -65243[?] 61595[?]  is mandatory 
358.14/354.25	c qxplain 135/135
358.44/354.55	c 1072712[?] 84042[?] -87690[?]  is mandatory 
358.44/354.55	c qxplain 132/134
358.74/354.84	c qxplain 134/134
359.04/355.13	c 1072713[?] 106489[?] -110137[?]  is mandatory 
359.04/355.13	c qxplain 132/133
359.34/355.42	c qxplain 133/133
359.65/355.71	c 1072742[?] 128937[?] -132585[?]  is mandatory 
359.65/355.71	c qxplain 132/132
359.94/356.00	c 1072743[?] 151384[?] -155032[?]  is mandatory 
359.94/356.00	c qxplain 126/131
360.26/356.30	c qxplain 129/131
360.56/356.60	c qxplain 131/131
360.76/356.89	c 1072786[?] -175487[?] 177480[?]  is mandatory 
360.76/356.89	c qxplain 129/130
361.06/357.18	c qxplain 130/130
361.36/357.47	c 1072815[?] -196279[?] 199928[?]  is mandatory 
361.36/357.47	c qxplain 129/129
361.66/357.76	c 1072816[?] -218726[?] 222375[?]  is mandatory 
361.66/357.76	c qxplain 126/128
361.97/358.05	c qxplain 128/128
362.26/358.34	c 1072845[?] -241742[?] 244823[?]  is mandatory 
362.26/358.34	c qxplain 126/127
362.56/358.63	c qxplain 127/127
362.86/358.92	c 1072874[?] -263450[?] 267271[?]  is mandatory 
362.86/358.92	c qxplain 126/126
363.16/359.21	c 1073249[?] 195530[?] -199944[?]  is mandatory 
363.16/359.21	c qxplain 114/125
363.46/359.50	c qxplain 120/125
363.66/359.79	c qxplain 123/125
363.96/360.08	c qxplain 125/125
364.26/360.37	c 1073251[?] 240424[?] -244838[?]  is mandatory 
364.26/360.37	c qxplain 123/124
364.56/360.66	c qxplain 124/124
364.86/360.94	c 1073275[?] -155051[?] 156502[?]  is mandatory 
364.86/360.94	c qxplain 123/123
365.16/361.23	c 1073292[?] 222392[?] -223843[?]  is mandatory 
365.16/361.23	c qxplain 120/122
365.46/361.53	c qxplain 122/122
365.76/361.82	c 1073304[?] -177499[?] 175432[?]  is mandatory 
365.76/361.82	c qxplain 120/121
366.06/362.10	c qxplain 121/121
366.26/362.39	c 1073321[?] 244840[?] -242773[?]  is mandatory 
366.26/362.39	c qxplain 120/120
366.56/362.69	c 1073333[?] -199947[?] 197839[?]  is mandatory 
366.56/362.69	c qxplain 114/119
366.86/362.98	c qxplain 117/119
367.16/363.26	c qxplain 119/119
367.46/363.55	c 1073342[?] -85604[?] 87712[?]  is mandatory 
367.46/363.55	c qxplain 117/118
367.76/363.84	c qxplain 118/118
368.06/364.13	c 1073343[?] 110159[?] -108051[?]  is mandatory 
368.06/364.13	c qxplain 117/117
368.36/364.42	c 1073350[?] 267288[?] -265180[?]  is mandatory 
368.36/364.42	c qxplain 114/116
368.66/364.71	c qxplain 116/116
368.96/365.00	c 1073372[?] 132607[?] -130499[?]  is mandatory 
368.96/365.00	c qxplain 114/115
369.16/365.29	c qxplain 115/115
369.45/365.58	c 1073373[?] 155054[?] -152946[?]  is mandatory 
369.45/365.58	c qxplain 114/114
369.75/365.87	c 1073402[?] 177502[?] -175394[?]  is mandatory 
369.75/365.87	c qxplain 91/113
370.05/366.16	c qxplain 103/113
370.35/366.45	c qxplain 109/113
370.66/366.74	c qxplain 112/113
370.95/367.03	c qxplain 113/113
371.25/367.32	c 1073431[?] 199950[?] -195526[?]  is mandatory 
371.25/367.32	c qxplain 112/112
371.55/367.61	c 1073832[?] 83286[?] -87730[?]  is mandatory 
371.55/367.61	c qxplain 109/111
371.76/367.89	c qxplain 111/111
372.17/368.20	c 1073833[?] 105733[?] -110177[?]  is mandatory 
372.17/368.20	c qxplain 109/110
372.37/368.49	c qxplain 110/110
372.67/368.78	c 1073841[?] 285309[?] -289753[?]  is mandatory 
372.67/368.78	c qxplain 109/109
372.97/369.07	c 1073852[?] -217968[?] 222412[?]  is mandatory 
372.97/369.07	c qxplain 103/108
373.27/369.36	c qxplain 106/108
373.57/369.65	c qxplain 108/108
373.87/369.94	c 1074493[?] -151167[?] 155094[?]  is mandatory 
373.87/369.94	c qxplain 106/107
374.17/370.24	c qxplain 107/107
374.47/370.53	c 1079296[?] -177713[?] 179164[?]  is mandatory 
374.47/370.53	c qxplain 106/106
374.77/370.82	c 1079300[?] -267501[?] 268952[?]  is mandatory 
374.77/370.82	c qxplain 103/105
375.07/371.11	c qxplain 105/105
375.37/371.40	c 1079325[?] -200161[?] 195674[?]  is mandatory 
375.37/371.40	c qxplain 103/104
375.57/371.69	c qxplain 104/104
375.87/371.98	c 1079354[?] 218118[?] -222609[?]  is mandatory 
375.87/371.98	c qxplain 103/103
376.17/372.27	c 1079383[?] 246508[?] -245057[?]  is mandatory 
376.17/372.27	c qxplain 91/102
376.47/372.56	c qxplain 97/102
376.77/372.85	c qxplain 100/102
377.07/373.14	c qxplain 102/102
377.37/373.43	c 1079412[?] 268956[?] -267505[?]  is mandatory 
377.37/373.43	c qxplain 100/101
377.67/373.72	c qxplain 101/101
377.97/374.01	c 1079441[?] 285460[?] -289953[?]  is mandatory 
377.97/374.01	c qxplain 100/100
378.27/374.30	c 1079496[?] -267508[?] 268959[?]  is mandatory 
378.27/374.30	c qxplain 97/99
378.47/374.59	c qxplain 99/99
378.77/374.88	c 1090814[?] -70195[?] 88336[?]  is mandatory 
378.77/374.88	c qxplain 97/98
379.07/375.17	c qxplain 98/98
379.37/375.46	c 1090815[?] -92642[?] 110783[?]  is mandatory 
379.37/375.46	c qxplain 97/97
379.67/375.74	c 1090817[?] -137536[?] 155677[?]  is mandatory 
379.67/375.74	c qxplain 91/96
379.97/376.04	c qxplain 94/96
380.27/376.33	c qxplain 96/96
380.57/376.62	c -1[?] 1090825[?] is mandatory 
380.57/376.62	c qxplain 94/95
380.87/376.90	c qxplain 95/95
381.07/377.19	c 22448[?] 1090826[?] is mandatory 
381.07/377.19	c qxplain 94/94
381.37/377.49	c 44895[?] 1090827[?] is mandatory 
381.37/377.49	c qxplain 91/93
381.67/377.77	c qxplain 93/93
381.97/378.06	c 67342[?] 1090828[?] is mandatory 
381.97/378.06	c qxplain 91/92
382.27/378.35	c qxplain 92/92
382.57/378.65	c 89789[?] 1090829[?] is mandatory 
382.57/378.65	c qxplain 91/91
382.87/378.94	c -112236[?] 1090830[?] is mandatory 
382.87/378.94	c qxplain 0/90
383.17/379.22	c qxplain 46/90
383.47/379.51	c qxplain 69/90
383.77/379.81	c qxplain 80/90
383.97/380.09	c qxplain 86/90
384.28/380.40	c qxplain 89/90
384.58/380.69	c qxplain 90/90
384.88/380.98	c -202067[?] 1091436[?] is mandatory 
384.88/380.98	c qxplain 89/89
385.18/381.27	c -134747[?] 1091727[?] is mandatory 
385.18/381.27	c qxplain 86/88
385.48/381.56	c qxplain 88/88
385.78/381.86	c 179641[?] 1091729[?] is mandatory 
385.78/381.86	c qxplain 86/87
386.09/382.14	c qxplain 87/87
386.38/382.43	c 202088[?] 1091730[?] is mandatory 
386.38/382.43	c qxplain 86/86
386.68/382.72	c 246982[?] 1091732[?] is mandatory 
386.68/382.72	c qxplain 80/85
386.98/383.01	c qxplain 83/85
387.29/383.31	c qxplain 85/85
387.48/383.59	c 202089[?] 1091744[?] is mandatory 
387.48/383.59	c qxplain 83/84
387.78/383.88	c qxplain 84/84
388.08/384.18	c -157197[?] 1091770[?] is mandatory 
388.08/384.18	c qxplain 83/83
388.38/384.47	c -246985[?] 1091774[?] is mandatory 
388.38/384.47	c qxplain 80/82
388.68/384.75	c qxplain 82/82
388.98/385.04	c 291880[?] 1091790[?] is mandatory 
388.98/385.04	c qxplain 80/81
389.28/385.34	c qxplain 81/81
389.58/385.63	c 89862[?] 1091851[?] is mandatory 
389.58/385.63	c qxplain 80/80
389.88/385.92	c 112309[?] 1091852[?] is mandatory 
389.88/385.92	c qxplain 69/79
390.18/386.21	c qxplain 75/79
390.48/386.50	c qxplain 78/79
390.68/386.79	c qxplain 79/79
390.98/387.08	c -224544[?] 1091857[?] is mandatory 
390.98/387.08	c qxplain 78/78
391.28/387.37	c 291885[?] 1091860[?] is mandatory 
391.28/387.37	c qxplain 75/77
391.59/387.66	c qxplain 77/77
391.88/387.95	c -247008[?] 1092096[?] is mandatory 
391.88/387.95	c qxplain 75/76
392.18/388.24	c qxplain 76/76
392.48/388.53	c -224566[?] 1092165[?] is mandatory 
392.48/388.53	c qxplain 75/75
392.79/388.83	c -247013[?] 1092166[?] is mandatory 
392.79/388.83	c qxplain 69/74
393.08/389.12	c qxplain 72/74
393.39/389.40	c qxplain 74/74
393.69/389.70	c -291907[?] 1092168[?] is mandatory 
393.69/389.70	c qxplain 72/73
393.89/389.99	c qxplain 73/73
394.19/390.27	c -247023[?] 1092306[?] is mandatory 
394.19/390.27	c qxplain 72/72
394.49/390.56	c -269470[?] 1092307[?] is mandatory 
394.49/390.56	c qxplain 69/71
394.79/390.86	c qxplain 71/71
395.09/391.15	c -291917[?] 1092308[?] is mandatory 
395.09/391.15	c qxplain 69/70
395.39/391.44	c qxplain 70/70
395.69/391.73	c -157296[?] 1093156[?] is mandatory 
395.69/391.73	c qxplain 69/69
395.99/392.02	c 291986[?] 1093274[?] is mandatory 
395.99/392.02	c qxplain 46/68
396.28/392.32	c qxplain 58/68
396.60/392.62	c qxplain 64/68
396.90/392.91	c qxplain 67/68
397.11/393.20	c qxplain 68/68
397.40/393.49	c 134862[?] 1093337[?] is mandatory 
397.40/393.49	c qxplain 67/67
397.70/393.78	c -157312[?] 1093380[?] is mandatory 
397.70/393.78	c qxplain 64/66
398.00/394.07	c qxplain 66/66
398.31/394.36	c 89978[?] 1093475[?] is mandatory 
398.31/394.36	c qxplain 64/65
398.60/394.65	c qxplain 65/65
398.90/394.94	c 112425[?] 1093476[?] is mandatory 
398.90/394.94	c qxplain 64/64
399.20/395.23	c 157319[?] 1093478[?] is mandatory 
399.20/395.23	c qxplain 58/63
399.50/395.52	c qxplain 61/63
399.80/395.81	c qxplain 63/63
400.00/396.10	c -21010[?] 1094899[?] is mandatory 
400.00/396.10	c qxplain 61/62
400.30/396.39	c qxplain 62/62
400.60/396.68	c -21011[?] 1094900[?] is mandatory 
400.60/396.68	c qxplain 61/61
400.90/396.97	c -21799[?] 1095688[?] is mandatory 
400.90/396.97	c qxplain 58/60
401.20/397.25	c qxplain 60/60
401.51/397.54	c -21800[?] 1095689[?] is mandatory 
401.51/397.54	c qxplain 58/59
401.80/397.84	c qxplain 59/59
402.10/398.12	c 1096366[?] -43457[?] 19558[?]  is mandatory 
402.10/398.12	c qxplain 58/58
402.40/398.41	c 1096368[?] -43458[?] 19559[?]  is mandatory 
402.40/398.41	c qxplain 46/57
402.60/398.70	c qxplain 52/57
402.90/398.99	c qxplain 55/57
403.20/399.28	c qxplain 57/57
403.50/399.57	c 1097946[?] -44247[?] 20348[?]  is mandatory 
403.50/399.57	c qxplain 55/56
403.80/399.86	c qxplain 56/56
404.10/400.15	c 1097948[?] -44248[?] 20349[?]  is mandatory 
404.10/400.15	c qxplain 55/55
404.40/400.43	c 1100850[?] -66694[?] 42795[?]  is mandatory 
404.40/400.43	c qxplain 52/54
404.70/400.72	c qxplain 54/54
405.00/401.01	c 1100852[?] -66695[?] 42796[?]  is mandatory 
405.00/401.01	c qxplain 52/53
405.30/401.31	c qxplain 53/53
405.50/401.59	c 1103756[?] -89142[?] 65243[?]  is mandatory 
405.50/401.59	c qxplain 52/52
405.80/401.88	c 1106660[?] 87690[?] -111589[?]  is mandatory 
405.80/401.88	c qxplain 46/51
406.10/402.17	c qxplain 49/51
406.40/402.46	c qxplain 51/51
406.70/402.75	c 1106703[?] -87712[?] 111611[?]  is mandatory 
406.70/402.75	c qxplain 49/50
407.01/403.04	c qxplain 50/50
407.30/403.33	c 1106740[?] 87730[?] -111629[?]  is mandatory 
407.30/403.33	c qxplain 49/49
407.60/403.62	c 1107951[?] -88336[?] 112235[?]  is mandatory 
407.60/403.62	c qxplain 46/48
407.91/403.91	c qxplain 48/48
408.11/404.20	c 1109540[?] 110125[?] -134024[?]  is mandatory 
408.11/404.20	c qxplain 46/47
408.41/404.49	c qxplain 47/47
408.82/404.80	c 1109541[?] -110126[?] 134025[?]  is mandatory 
408.82/404.80	c qxplain 46/46
409.02/405.09	c 1109564[?] 110137[?] -134036[?]  is mandatory 
409.02/405.09	c qxplain 0/45
409.32/405.38	c qxplain 23/45
409.62/405.67	c qxplain 35/45
409.92/405.96	c qxplain 41/45
410.22/406.25	c qxplain 44/45
410.51/406.54	c qxplain 45/45
410.81/406.83	c 1109607[?] 134058[?] -110159[?]  is mandatory 
410.81/406.83	c qxplain 44/44
411.11/407.13	c 1109644[?] 110177[?] -134076[?]  is mandatory 
411.11/407.13	c qxplain 41/43
411.42/407.41	c qxplain 43/43
411.71/407.70	c 1110855[?] -110783[?] 134682[?]  is mandatory 
411.71/407.70	c qxplain 41/42
412.01/408.00	c qxplain 42/42
412.21/408.29	c 1112446[?] 132573[?] -156472[?]  is mandatory 
412.21/408.29	c qxplain 41/41
412.52/408.57	c 1112447[?] -132574[?] 156473[?]  is mandatory 
412.52/408.57	c qxplain 35/40
412.81/408.86	c qxplain 38/40
413.11/409.16	c qxplain 40/40
413.41/409.44	c 1112470[?] 132585[?] -156484[?]  is mandatory 
413.41/409.44	c qxplain 38/39
413.72/409.73	c qxplain 39/39
414.01/410.02	c 1112513[?] 156506[?] -132607[?]  is mandatory 
414.01/410.02	c qxplain 38/38
414.31/410.31	c 1115374[?] 155032[?] -178931[?]  is mandatory 
414.31/410.31	c qxplain 35/37
414.61/410.60	c qxplain 37/37
414.82/410.89	c 1115412[?] -178950[?] 155051[?]  is mandatory 
414.82/410.89	c qxplain 35/36
415.12/411.18	c qxplain 36/36
415.42/411.48	c 1115417[?] 178953[?] -155054[?]  is mandatory 
415.42/411.48	c qxplain 35/35
415.72/411.77	c 1115497[?] -155094[?] 178993[?]  is mandatory 
415.72/411.77	c qxplain 23/34
416.02/412.05	c qxplain 29/34
416.32/412.34	c qxplain 32/34
416.62/412.64	c qxplain 34/34
416.93/412.92	c 1116663[?] -155677[?] 179576[?]  is mandatory 
416.93/412.92	c qxplain 32/33
417.22/413.21	c qxplain 33/33
417.52/413.51	c 1116804[?] 176742[?] -200641[?]  is mandatory 
417.52/413.51	c qxplain 32/32
417.82/413.80	c 1118279[?] -177480[?] 201379[?]  is mandatory 
417.82/413.80	c qxplain 29/31
418.03/414.09	c qxplain 31/31
418.32/414.37	c 1118318[?] -201398[?] 177499[?]  is mandatory 
418.32/414.37	c qxplain 29/30
418.62/414.67	c qxplain 30/30
418.92/414.95	c 1118323[?] 201401[?] -177502[?]  is mandatory 
418.92/414.95	c qxplain 29/29
419.23/415.24	c 1118746[?] -201612[?] 177713[?]  is mandatory 
419.23/415.24	c qxplain 23/28
419.52/415.53	c qxplain 26/28
419.82/415.82	c qxplain 28/28
420.12/416.12	c 1119710[?] 199190[?] -223089[?]  is mandatory 
420.12/416.12	c qxplain 26/27
420.42/416.41	c qxplain 27/27
420.62/416.70	c 1121185[?] -199928[?] 223827[?]  is mandatory 
420.62/416.70	c qxplain 26/26
420.92/416.99	c 1121218[?] 199944[?] -223843[?]  is mandatory 
420.92/416.99	c qxplain 23/25
421.23/417.29	c qxplain 25/25
421.53/417.58	c 1121224[?] -223846[?] 199947[?]  is mandatory 
421.53/417.58	c qxplain 23/24
421.83/417.87	c qxplain 24/24
422.13/418.16	c 1121229[?] 223849[?] -199950[?]  is mandatory 
422.13/418.16	c qxplain 23/23
422.44/418.46	c 1121652[?] -224060[?] 200161[?]  is mandatory 
422.44/418.46	c qxplain 0/22
422.73/418.74	c qxplain 12/22
423.03/419.04	c qxplain 18/22
423.33/419.33	c qxplain 21/22
423.64/419.62	c qxplain 22/22
423.93/419.90	c 1124089[?] -222375[?] 246274[?]  is mandatory 
423.93/419.90	c qxplain 21/21
424.23/420.20	c 1124123[?] 246291[?] -222392[?]  is mandatory 
424.23/420.20	c qxplain 18/20
424.43/420.49	c qxplain 20/20
424.74/420.78	c 1124163[?] -222412[?] 246311[?]  is mandatory 
424.74/420.78	c qxplain 18/19
425.03/421.06	c qxplain 19/19
425.33/421.36	c 1124558[?] 222609[?] -246508[?]  is mandatory 
425.33/421.36	c qxplain 18/18
425.63/421.65	c 1126666[?] -268557[?] 244658[?]  is mandatory 
425.63/421.65	c qxplain 12/17
425.93/421.94	c qxplain 15/17
426.23/422.22	c qxplain 17/17
426.53/422.51	c 1126995[?] -244823[?] 268722[?]  is mandatory 
426.53/422.51	c qxplain 15/16
426.84/422.81	c qxplain 16/16
427.03/423.09	c 1127026[?] 244838[?] -268737[?]  is mandatory 
427.03/423.10	c qxplain 15/15
427.33/423.38	c 1127029[?] 268739[?] -244840[?]  is mandatory 
427.33/423.38	c qxplain 12/14
427.63/423.68	c qxplain 14/14
427.94/423.97	c 1127464[?] 245057[?] -268956[?]  is mandatory 
427.94/423.97	c qxplain 12/13
428.23/424.26	c qxplain 13/13
428.53/424.55	c 1129416[?] -290927[?] 267028[?]  is mandatory 
428.53/424.55	c qxplain 12/12
428.83/424.84	c 1129565[?] -267103[?] 291002[?]  is mandatory 
428.83/424.84	c qxplain 0/11
429.14/425.13	c qxplain 6/11
429.43/425.42	c qxplain 9/11
429.73/425.71	c qxplain 11/11
430.03/426.00	c 1129573[?] -267107[?] 291006[?]  is mandatory 
430.03/426.00	c qxplain 9/10
430.24/426.29	c qxplain 10/10
430.53/426.58	c 1129575[?] -267108[?] 291007[?]  is mandatory 
430.53/426.58	c qxplain 9/9
430.83/426.86	c 1129901[?] -267271[?] 291170[?]  is mandatory 
430.83/426.86	c qxplain 6/8
431.13/427.16	c qxplain 8/8
431.43/427.45	c 1129935[?] 291187[?] -267288[?]  is mandatory 
431.43/427.45	c qxplain 6/7
431.73/427.74	c qxplain 7/7
432.03/428.03	c 1130362[?] -291400[?] 267501[?]  is mandatory 
432.03/428.03	c qxplain 6/6
432.34/428.32	c 1130370[?] 267505[?] -291404[?]  is mandatory 
432.34/428.32	c qxplain 0/5
432.63/428.61	c qxplain 3/5
432.93/428.90	c qxplain 5/5
433.13/429.19	c 1130376[?] -291407[?] 267508[?]  is mandatory 
433.13/429.19	c qxplain 3/4
433.44/429.48	c qxplain 4/4
433.74/429.79	c 1132322[?] 289476[?] -313375[?]  is mandatory 
433.74/429.79	c qxplain 3/3
434.04/430.08	c 1132471[?] -289551[?] 313450[?]  is mandatory 
434.04/430.08	c qxplain 0/2
434.34/430.36	c qxplain 2/2
434.65/430.65	c 1132479[?] -289555[?] 313454[?]  is mandatory 
434.65/430.65	c qxplain 0/1
434.94/430.95	c qxplain 1/1
435.24/431.23	c 1132876[?] 289753[?] -313652[?]  is mandatory 
435.24/431.23	c qxplain 0/0
435.54/431.53	c 1133276[?] 289953[?] -313852[?]  is mandatory 
437.42/433.25	c Size of the MUS: 728
437.42/433.25	c Unsat core  computation wall clock time (in seconds) : 431.437
437.42/433.25	c starts		: 1455
437.42/433.25	c conflicts		: 9
437.42/433.25	c decisions		: 456710985
437.42/433.25	c propagations		: 1651666351
437.42/433.25	c inspects		: 289342391
437.42/433.25	c shortcuts		: 0
437.42/433.25	c learnt literals	: 0
437.42/433.25	c learnt binary clauses	: 0
437.42/433.25	c learnt ternary clauses	: 0
437.42/433.25	c learnt constraints	: 9
437.42/433.25	c ignored constraints	: 0
437.42/433.25	c root simplifications	: 0
437.42/433.25	c removed literals (reason simplification)	: 0
437.42/433.25	c reason swapping (by a shorter reason)	: 0
437.42/433.25	c Calls to reduceDB	: 0
437.42/433.25	c speed (assignments/second)	: 8.217245527363185E8
437.42/433.25	c non guided choices	456710952
437.42/433.25	c learnt constraints type 
437.42/433.25	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 9
437.42/433.25	c constraints type 
437.42/433.25	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 814318
437.42/433.25	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 5512
437.42/433.25	s UNSATISFIABLE
437.42/433.25	v 892 1465 1466 1468 1477 1494 1562 1566 1582 1713 1714 1722 1733 2210 2349 2350 2352 2630 2631 2632 4334 4550 4683 4782 4961 4962 4964 9771 9785 10221 10222 10223 10263 10264 10265 10901 10943 12277 12450 12451 12453 14029 14034 14044 14045 14046 14047 18456 18457 18462 18479 18493 18498 18499 18504 18683 22581 31328 31342 34136 34137 34139 34178 34179 34181 40041 40042 45759 45801 45809 45810 46209 46210 46212 46221 46235 46251 46252 46254 47370 47384 48450 48492 49531 50853 50854 50856 51074 51075 51076 51077 51087 51092 51101 51106 51116 51117 51118 51119 51738 51742 51752 51756 53695 53709 55370 55412 55864 55865 57685 57686 57694 57705 57719 57727 57728 57736 59955 59997 60327 60328 60341 60342 60754 60768 61783 61784 61797 61798 64161 66487 66488 66501 66502 68055 68056 68069 68070 68823 68837 68948 68990 69655 69656 69658 69669 69670 69672 69774 69788 70497 70511 70797 70807 70808 70821 70822 70839 71940 71955 71969 71982 72910 72924 73497 73498 73500 73511 73512 73514 73602 73603 73605 73616 73617 73619 76879 76893 77007 77049 77194 77195 77196 77208 77209 77210 77284 77285 77287 77289 77290 77291 77293 77300 77302 77306 77314 77316 77320 77326 77327 77329 77331 77332 77333 77335 77918 77932 78094 78095 78096 78097 78099 78102 78107 78112 78114 78115 78117 78118 78121 78126 78128 78129 78131 78132 78136 78137 78138 78139 78141 78144 79538 79539 79541 79552 79553 79555 80470 80484 81249 81263 81320 81335 81349 81362 81930 81931 81932 81933 81935 81938 81943 81948 81950 81951 81953 81954 81957 81962 81964 81965 81967 81968 81972 81973 81974 81975 81977 81980 83434 83448 84122 87718 87732 89921 89931 89932 89945 89946 89963 90979 91021 91951 91965 92132 92174 92198 92947 92948 92961 92962 93048 93049 93067 93527 96755 96756 96769 96770 100399 100400 100402 100710 100724 104790 104832 105379 105380 106377 106378 106380 106419 106420 106422 108431 108432 109392 111099 111358 111359 111360 111361 111363 111366 111371 111376 111378 111379 111381 111382 111385 111390 111392 111393 111395 111396 111400 111401 111402 111403 111405 111408 117347 117864 119670 120128 120143 120157 120170 123039 123081 125686 125700 128121 128135 132980 132995 133009 133022 133257 133272 133609 133827 133860 133939 134002 134018 134158 135149 135163 138773 138774 138776 138815 138816 138818 141233 141275 143277 143319 156801 156843 156857 156899 163748 163749 164003 166259 229428 229445 235238 235260 235261 237606 237676 241686 241687 241695 241957 242111 242113 242180 242211 242223 242254 242290 242334 267172 267231 267297 279649 288342 290211 292422 292423 292431 292456 293869 293871 302182 302471 302486 302487 302488 302489 302518 302533 302562 302633 302840 302933 302948 303013 303056 303203 316130 316371 316759 317919 318821 318876 320896 320897 320898 320899 320943 321232 321352 321400 321486 321487 322777 324612 325565 326878 326891 327535 339922 339923 339924 339925 339983 341904 346012 346025 352496 352497 353101 353858 359886 359887 359888 359889 359899 359933 359946 360200 360804 453399 466002 466041 466050 466051 466137 467762 474626 480708 480709 480711 484371 484483 484511 486078 486428 486722 487212 487506 533925 534785 534827 534897 577785 579960 579982 579983 579991 580183 580365 580367 586568 586613 586693 587033 587172 590144 595425 595454 595482 595705 599188 599189 599190 599191 599235 599476 599490 603337 605319 605320 605358 606208 612557 612558 612559 612560 612561 612604 612605 612622 612635 636927 671967 676512 676513 676599 680166 680167 680188 680199 680211 680224 680268 680916 681867 681878 684188 685869 685885 686173 686174 686176 687505 687519 706761 709182 710947 711988 711989 712011 712022 736303 736331 737850 737879 751798 751827 753912 753941 753953 754024 754052 754053 758119 758148 758161 758190 758423 758424 758451 758452 758453 758454 758455 758484 758485 758528 758557 758558 758587 758616 758991 758993 759017 759034 759046 759063 759075 759084 759085 759092 759114 759115 759144 759173 759574 759575 759583 759594 760235 765038 765042 765067 765096 765125 765154 765183 765238 776556 776557 776559 776567 776568 776569 776570 776571 776572 777178 777469 777471 777472 777474 777486 777512 777516 777532 777593 777594 777599 777602 777838 777907 777908 777910 778048 778049 778050 778898 779016 779079 779122 779217 779218 779220 780641 780642 781430 781431 782108 782110 783688 783690 786592 786594 789498 792402 792445 792482 793693 795282 795283 795306 795349 795386 796597 798188 798189 798212 798255 801116 801154 801159 801239 802405 802546 804021 804060 804065 804488 805452 806927 806960 806966 806971 807394 809831 809865 809905 810300 812408 812737 812768 812771 813206 815158 815307 815315 815317 815643 815677 816104 816112 816118 818064 818213 818221 818618 819018 0
437.42/433.25	c Total wall clock time (in seconds) : 433.143

OK	728

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

running on 2 cores: 1,3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 4.58 2.70 1.77 5/243 26277
/proc/meminfo: memFree=22467552/32951124 swapFree=67054712/67111528
[pid=26277] ppid=26275 vsize=23028 CPUtime=0 cores=1,3
/proc/26277/stat : 26277 (java) R 26275 26277 9030 0 -1 4202496 490 0 0 0 0 0 0 0 25 0 1 0 970134812 23580672 233 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216730216192 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26277/statm: 5757 246 191 9 0 124 0

[startup+0.074234 s]
/proc/loadavg: 4.58 2.70 1.77 5/243 26277
/proc/meminfo: memFree=22467552/32951124 swapFree=67054712/67111528
[pid=26277] ppid=26275 vsize=6363732 CPUtime=0.06 cores=1,3
/proc/26277/stat : 26277 (java) S 26275 26277 9030 0 -1 4202496 8608 0 1 0 5 1 0 0 25 0 18 0 970134812 6516461568 8303 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26277/statm: 1590933 8303 1751 9 0 1581671 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6363732

[startup+0.100233 s]
/proc/loadavg: 4.58 2.70 1.77 5/243 26277
/proc/meminfo: memFree=22467552/32951124 swapFree=67054712/67111528
[pid=26277] ppid=26275 vsize=6495748 CPUtime=0.09 cores=1,3
/proc/26277/stat : 26277 (java) S 26275 26277 9030 0 -1 4202496 9683 0 1 0 8 1 0 0 25 0 18 0 970134812 6651645952 9378 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26277/statm: 1623937 9379 2087 9 0 1614675 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6495748

[startup+0.300161 s]
/proc/loadavg: 4.58 2.70 1.77 5/243 26277
/proc/meminfo: memFree=22467552/32951124 swapFree=67054712/67111528
[pid=26277] ppid=26275 vsize=6497140 CPUtime=0.43 cores=1,3
/proc/26277/stat : 26277 (java) S 26275 26277 9030 0 -1 4202496 24340 0 1 0 40 3 0 0 25 0 18 0 970134812 6653071360 23651 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26277/statm: 1624285 23655 2195 9 0 1615023 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 6497140

[startup+0.701124 s]
/proc/loadavg: 4.58 2.70 1.77 5/243 26277
/proc/meminfo: memFree=22467552/32951124 swapFree=67054712/67111528
[pid=26277] ppid=26275 vsize=6497140 CPUtime=0.84 cores=1,3
/proc/26277/stat : 26277 (java) S 26275 26277 9030 0 -1 4202496 68286 0 1 0 75 9 0 0 25 0 18 0 970134812 6653071360 67577 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26277/statm: 1624285 67580 2195 9 0 1615023 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 6497140

[startup+1.50098 s]
/proc/loadavg: 4.54 2.72 1.78 5/261 26366
/proc/meminfo: memFree=22103944/32951124 swapFree=67054712/67111528
[pid=26277] ppid=26275 vsize=6497524 CPUtime=1.83 cores=1,3
/proc/26277/stat : 26277 (java) S 26275 26277 9030 0 -1 4202496 122223 0 1 0 168 15 0 0 25 0 18 0 970134812 6653464576 121201 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26277/statm: 1624381 121202 2210 9 0 1615119 0
[pid=26277/tid=26280] ppid=26275 vsize=6497524 CPUtime=1.47 cores=1,3
/proc/26277/task/26280/stat : 26280 (java) R 26275 26277 9030 0 -1 4202560 118803 0 1 0 133 14 0 0 25 0 18 0 970134813 6653464576 121202 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 46912505693558 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26277/tid=26281] ppid=26275 vsize=6497524 CPUtime=0 cores=1,3
/proc/26277/task/26281/stat : 26281 (java) S 26275 26277 9030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970134814 6653464576 121202 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26282] ppid=26275 vsize=6497524 CPUtime=0 cores=1,3
/proc/26277/task/26282/stat : 26282 (java) S 26275 26277 9030 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 970134814 6653464576 121202 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26283] ppid=26275 vsize=6497524 CPUtime=0 cores=1,3
/proc/26277/task/26283/stat : 26283 (java) S 26275 26277 9030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970134814 6653464576 121202 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26284] ppid=26275 vsize=6497524 CPUtime=0 cores=1,3
/proc/26277/task/26284/stat : 26284 (java) S 26275 26277 9030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970134814 6653464576 121202 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26285] ppid=26275 vsize=6497524 CPUtime=0 cores=1,3
/proc/26277/task/26285/stat : 26285 (java) S 26275 26277 9030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970134814 6653464576 121202 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26286] ppid=26275 vsize=6497524 CPUtime=0 cores=1,3
/proc/26277/task/26286/stat : 26286 (java) S 26275 26277 9030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970134814 6653464576 121202 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26287] ppid=26275 vsize=6497524 CPUtime=0 cores=1,3
/proc/26277/task/26287/stat : 26287 (java) S 26275 26277 9030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970134814 6653464576 121202 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26288] ppid=26275 vsize=6497524 CPUtime=0 cores=1,3
/proc/26277/task/26288/stat : 26288 (java) S 26275 26277 9030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970134814 6653464576 121202 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26291] ppid=26275 vsize=6497524 CPUtime=0 cores=1,3
/proc/26277/task/26291/stat : 26291 (java) S 26275 26277 9030 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 970134815 6653464576 121202 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746995200 0 0 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26292] ppid=26275 vsize=6497524 CPUtime=0 cores=1,3
/proc/26277/task/26292/stat : 26292 (java) S 26275 26277 9030 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 970134815 6653464576 121202 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26293] ppid=26275 vsize=6497524 CPUtime=0 cores=1,3
/proc/26277/task/26293/stat : 26293 (java) S 26275 26277 9030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 970134815 6653464576 121202 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26294] ppid=26275 vsize=6497524 CPUtime=0 cores=1,3
/proc/26277/task/26294/stat : 26294 (java) S 26275 26277 9030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970134817 6653464576 121202 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216747002289 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26295] ppid=26275 vsize=6497524 CPUtime=0.12 cores=1,3
/proc/26277/task/26295/stat : 26295 (java) S 26275 26277 9030 0 -1 4202560 763 0 0 0 12 0 0 0 15 0 18 0 970134817 6653464576 121202 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26296] ppid=26275 vsize=6497524 CPUtime=0.22 cores=1,3
/proc/26277/task/26296/stat : 26296 (java) S 26275 26277 9030 0 -1 4202560 1504 0 0 0 22 0 0 0 15 0 18 0 970134817 6653464576 121202 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26297] ppid=26275 vsize=6497524 CPUtime=0 cores=1,3
/proc/26277/task/26297/stat : 26297 (java) S 26275 26277 9030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970134817 6653464576 121202 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26298] ppid=26275 vsize=6497524 CPUtime=0 cores=1,3
/proc/26277/task/26298/stat : 26298 (java) S 26275 26277 9030 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 970134817 6653464576 121202 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746995200 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 6497524

[startup+3.10067 s]
/proc/loadavg: 4.54 2.72 1.78 7/261 26416
/proc/meminfo: memFree=21975260/32951124 swapFree=67054712/67111528
[pid=26277] ppid=26275 vsize=6499072 CPUtime=3.59 cores=1,3
/proc/26277/stat : 26277 (java) S 26275 26277 9030 0 -1 4202496 154214 0 1 0 340 19 0 0 25 0 19 0 970134812 6655049728 152604 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26277/statm: 1624768 152604 2225 9 0 1615506 0
[pid=26277/tid=26280] ppid=26275 vsize=6499072 CPUtime=3.02 cores=1,3
/proc/26277/task/26280/stat : 26280 (java) R 26275 26277 9030 0 -1 4202560 150076 0 1 0 284 18 0 0 18 0 19 0 970134813 6655049728 152604 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 46912505657563 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26277/tid=26281] ppid=26275 vsize=6499072 CPUtime=0 cores=1,3
/proc/26277/task/26281/stat : 26281 (java) S 26275 26277 9030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970134814 6655049728 152604 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26282] ppid=26275 vsize=6499072 CPUtime=0 cores=1,3
/proc/26277/task/26282/stat : 26282 (java) S 26275 26277 9030 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 970134814 6655049728 152604 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26283] ppid=26275 vsize=6499072 CPUtime=0 cores=1,3
/proc/26277/task/26283/stat : 26283 (java) S 26275 26277 9030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970134814 6655049728 152604 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26284] ppid=26275 vsize=6499072 CPUtime=0 cores=1,3
/proc/26277/task/26284/stat : 26284 (java) S 26275 26277 9030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970134814 6655049728 152604 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26285] ppid=26275 vsize=6499072 CPUtime=0 cores=1,3
/proc/26277/task/26285/stat : 26285 (java) S 26275 26277 9030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970134814 6655049728 152604 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26286] ppid=26275 vsize=6499072 CPUtime=0 cores=1,3
/proc/26277/task/26286/stat : 26286 (java) S 26275 26277 9030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970134814 6655049728 152604 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26287] ppid=26275 vsize=6499072 CPUtime=0 cores=1,3
/proc/26277/task/26287/stat : 26287 (java) S 26275 26277 9030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970134814 6655049728 152604 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26288] ppid=26275 vsize=6499072 CPUtime=0 cores=1,3
/proc/26277/task/26288/stat : 26288 (java) S 26275 26277 9030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970134814 6655049728 152604 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26291] ppid=26275 vsize=6499072 CPUtime=0 cores=1,3
/proc/26277/task/26291/stat : 26291 (java) S 26275 26277 9030 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 970134815 6655049728 152604 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746995200 0 0 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26292] ppid=26275 vsize=6499072 CPUtime=0 cores=1,3
/proc/26277/task/26292/stat : 26292 (java) S 26275 26277 9030 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 970134815 6655049728 152604 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26293] ppid=26275 vsize=6499072 CPUtime=0 cores=1,3
/proc/26277/task/26293/stat : 26293 (java) S 26275 26277 9030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 970134815 6655049728 152604 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26294] ppid=26275 vsize=6499072 CPUtime=0 cores=1,3
/proc/26277/task/26294/stat : 26294 (java) S 26275 26277 9030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970134817 6655049728 152604 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216747002289 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26295] ppid=26275 vsize=6499072 CPUtime=0.27 cores=1,3
/proc/26277/task/26295/stat : 26295 (java) S 26275 26277 9030 0 -1 4202560 1395 0 0 0 27 0 0 0 15 0 19 0 970134817 6655049728 152604 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26296] ppid=26275 vsize=6499072 CPUtime=0.27 cores=1,3
/proc/26277/task/26296/stat : 26296 (java) S 26275 26277 9030 0 -1 4202560 1579 0 0 0 27 0 0 0 15 0 19 0 970134817 6655049728 152604 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26297] ppid=26275 vsize=6499072 CPUtime=0 cores=1,3
/proc/26277/task/26297/stat : 26297 (java) S 26275 26277 9030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970134817 6655049728 152604 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26298] ppid=26275 vsize=6499072 CPUtime=0 cores=1,3
/proc/26277/task/26298/stat : 26298 (java) S 26275 26277 9030 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 970134817 6655049728 152604 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746995200 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.59
Current children cumulated vsize (KiB) 6499072

[startup+6.30114 s]
/proc/loadavg: 4.54 2.72 1.78 6/261 26666
/proc/meminfo: memFree=21617424/32951124 swapFree=67054712/67111528
[pid=26277] ppid=26275 vsize=6498232 CPUtime=6.89 cores=1,3
/proc/26277/stat : 26277 (java) S 26275 26277 9030 0 -1 4202496 242136 0 1 0 660 29 0 0 25 0 18 0 970134812 6654189568 239686 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26277/statm: 1624558 239686 2227 9 0 1615296 0
[pid=26277/tid=26280] ppid=26275 vsize=6498232 CPUtime=6.22 cores=1,3
/proc/26277/task/26280/stat : 26280 (java) R 26275 26277 9030 0 -1 4202560 236902 0 1 0 594 28 0 0 18 0 18 0 970134813 6654189568 239686 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 46912505643063 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26277/tid=26281] ppid=26275 vsize=6498232 CPUtime=0 cores=1,3
/proc/26277/task/26281/stat : 26281 (java) S 26275 26277 9030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970134814 6654189568 239686 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26282] ppid=26275 vsize=6498232 CPUtime=0 cores=1,3
/proc/26277/task/26282/stat : 26282 (java) S 26275 26277 9030 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 970134814 6654189568 239686 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26283] ppid=26275 vsize=6498232 CPUtime=0 cores=1,3
/proc/26277/task/26283/stat : 26283 (java) S 26275 26277 9030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970134814 6654189568 239686 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26284] ppid=26275 vsize=6498232 CPUtime=0 cores=1,3
/proc/26277/task/26284/stat : 26284 (java) S 26275 26277 9030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970134814 6654189568 239686 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26285] ppid=26275 vsize=6498232 CPUtime=0 cores=1,3
/proc/26277/task/26285/stat : 26285 (java) S 26275 26277 9030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970134814 6654189568 239686 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26286] ppid=26275 vsize=6498232 CPUtime=0 cores=1,3
/proc/26277/task/26286/stat : 26286 (java) S 26275 26277 9030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970134814 6654189568 239686 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26287] ppid=26275 vsize=6498232 CPUtime=0 cores=1,3
/proc/26277/task/26287/stat : 26287 (java) S 26275 26277 9030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970134814 6654189568 239686 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26288] ppid=26275 vsize=6498232 CPUtime=0 cores=1,3
/proc/26277/task/26288/stat : 26288 (java) S 26275 26277 9030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970134814 6654189568 239686 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26291] ppid=26275 vsize=6498232 CPUtime=0 cores=1,3
/proc/26277/task/26291/stat : 26291 (java) S 26275 26277 9030 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 18 0 970134815 6654189568 239686 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746995200 0 0 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26292] ppid=26275 vsize=6498232 CPUtime=0 cores=1,3
/proc/26277/task/26292/stat : 26292 (java) S 26275 26277 9030 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 970134815 6654189568 239686 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26293] ppid=26275 vsize=6498232 CPUtime=0 cores=1,3
/proc/26277/task/26293/stat : 26293 (java) S 26275 26277 9030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 970134815 6654189568 239686 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26294] ppid=26275 vsize=6498232 CPUtime=0 cores=1,3
/proc/26277/task/26294/stat : 26294 (java) S 26275 26277 9030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970134817 6654189568 239686 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216747002289 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26295] ppid=26275 vsize=6498232 CPUtime=0.37 cores=1,3
/proc/26277/task/26295/stat : 26295 (java) S 26275 26277 9030 0 -1 4202560 2483 0 0 0 37 0 0 0 15 0 18 0 970134817 6654189568 239686 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26296] ppid=26275 vsize=6498232 CPUtime=0.27 cores=1,3
/proc/26277/task/26296/stat : 26296 (java) S 26275 26277 9030 0 -1 4202560 1579 0 0 0 27 0 0 0 15 0 18 0 970134817 6654189568 239686 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26297] ppid=26275 vsize=6498232 CPUtime=0 cores=1,3
/proc/26277/task/26297/stat : 26297 (java) S 26275 26277 9030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970134817 6654189568 239686 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26298] ppid=26275 vsize=6498232 CPUtime=0 cores=1,3
/proc/26277/task/26298/stat : 26298 (java) S 26275 26277 9030 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 970134817 6654189568 239686 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746995200 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.89
Current children cumulated vsize (KiB) 6498232

[startup+12.701 s]
/proc/loadavg: 4.45 2.76 1.81 6/261 27080
/proc/meminfo: memFree=20942824/32951124 swapFree=67054712/67111528
[pid=26277] ppid=26275 vsize=6498232 CPUtime=13.59 cores=1,3
/proc/26277/stat : 26277 (java) S 26275 26277 9030 0 -1 4202496 442068 0 1 0 1309 50 0 0 25 0 18 0 970134812 6654189568 439450 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26277/statm: 1624558 439453 2235 9 0 1615296 0
[pid=26277/tid=26280] ppid=26275 vsize=6498232 CPUtime=12.35 cores=1,3

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

[pid=26277/tid=26283] ppid=26275 vsize=6498232 CPUtime=0.5 cores=1,3
/proc/26277/task/26283/stat : 26283 (java) S 26275 26277 9030 0 -1 4202560 2274 0 0 0 50 0 0 0 15 0 19 0 970134814 6654189568 621179 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26284] ppid=26275 vsize=6498232 CPUtime=0.99 cores=1,3
/proc/26277/task/26284/stat : 26284 (java) S 26275 26277 9030 0 -1 4202560 2453 0 0 0 99 0 0 0 15 0 19 0 970134814 6654189568 621179 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26285] ppid=26275 vsize=6498232 CPUtime=1.03 cores=1,3
/proc/26277/task/26285/stat : 26285 (java) S 26275 26277 9030 0 -1 4202560 14521 0 0 0 102 1 0 0 15 0 19 0 970134814 6654189568 621179 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26286] ppid=26275 vsize=6498232 CPUtime=0.95 cores=1,3
/proc/26277/task/26286/stat : 26286 (java) S 26275 26277 9030 0 -1 4202560 37629 0 0 0 92 3 0 0 16 0 19 0 970134814 6654189568 621179 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26287] ppid=26275 vsize=6498232 CPUtime=1.03 cores=1,3
/proc/26277/task/26287/stat : 26287 (java) S 26275 26277 9030 0 -1 4202560 69155 0 0 0 96 7 0 0 16 0 19 0 970134814 6654189568 621179 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26288] ppid=26275 vsize=6498232 CPUtime=0.7 cores=1,3
/proc/26277/task/26288/stat : 26288 (java) S 26275 26277 9030 0 -1 4202560 39145 0 0 0 65 5 0 0 15 0 19 0 970134814 6654189568 621179 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26291] ppid=26275 vsize=6498232 CPUtime=0.01 cores=1,3
/proc/26277/task/26291/stat : 26291 (java) S 26275 26277 9030 0 -1 4202560 41 0 0 0 1 0 0 0 15 0 19 0 970134815 6654189568 621179 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746995200 0 0 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26292] ppid=26275 vsize=6498232 CPUtime=0 cores=1,3
/proc/26277/task/26292/stat : 26292 (java) S 26275 26277 9030 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 970134815 6654189568 621179 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26293] ppid=26275 vsize=6498232 CPUtime=0.01 cores=1,3
/proc/26277/task/26293/stat : 26293 (java) S 26275 26277 9030 0 -1 4202560 46 0 0 0 1 0 0 0 15 0 19 0 970134815 6654189568 621179 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26294] ppid=26275 vsize=6498232 CPUtime=0 cores=1,3
/proc/26277/task/26294/stat : 26294 (java) S 26275 26277 9030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970134817 6654189568 621179 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216747002289 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26295] ppid=26275 vsize=6498232 CPUtime=0.41 cores=1,3
/proc/26277/task/26295/stat : 26295 (java) S 26275 26277 9030 0 -1 4202560 2649 0 0 0 41 0 0 0 15 0 19 0 970134817 6654189568 621179 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26296] ppid=26275 vsize=6498232 CPUtime=0.3 cores=1,3
/proc/26277/task/26296/stat : 26296 (java) S 26275 26277 9030 0 -1 4202560 1593 0 0 0 30 0 0 0 15 0 19 0 970134817 6654189568 621179 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26297] ppid=26275 vsize=6498232 CPUtime=0 cores=1,3
/proc/26277/task/26297/stat : 26297 (java) S 26275 26277 9030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970134817 6654189568 621179 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26298] ppid=26275 vsize=6498232 CPUtime=0 cores=1,3
/proc/26277/task/26298/stat : 26298 (java) S 26275 26277 9030 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 19 0 970134817 6654189568 621179 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746995200 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 434.84
Current children cumulated vsize (KiB) 6498232

[startup+432.402 s]
/proc/loadavg: 3.28 3.51 2.56 5/236 16246
/proc/meminfo: memFree=20943888/32951124 swapFree=67054712/67111528
[pid=26277] ppid=26275 vsize=6511012 CPUtime=436.62 cores=1,3
/proc/26277/stat : 26277 (java) S 26275 26277 9030 0 -1 4202496 629842 0 1 0 43578 84 0 0 25 0 18 0 970134812 6667276288 624050 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26277/statm: 1627753 624050 2240 9 0 1618491 0
[pid=26277/tid=26280] ppid=26275 vsize=6511012 CPUtime=428.77 cores=1,3
/proc/26277/task/26280/stat : 26280 (java) R 26275 26277 9030 0 -1 4202560 391718 0 1 0 42827 50 0 0 25 0 18 0 970134813 6667276288 624050 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 46912505681919 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26277/tid=26281] ppid=26275 vsize=6511012 CPUtime=0.45 cores=1,3
/proc/26277/task/26281/stat : 26281 (java) S 26275 26277 9030 0 -1 4202560 25181 0 0 0 43 2 0 0 16 0 18 0 970134814 6667276288 624050 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26282] ppid=26275 vsize=6511012 CPUtime=1.02 cores=1,3
/proc/26277/task/26282/stat : 26282 (java) S 26275 26277 9030 0 -1 4202560 38219 0 0 0 98 4 0 0 15 0 18 0 970134814 6667276288 624050 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26283] ppid=26275 vsize=6511012 CPUtime=0.5 cores=1,3
/proc/26277/task/26283/stat : 26283 (java) S 26275 26277 9030 0 -1 4202560 2274 0 0 0 50 0 0 0 15 0 18 0 970134814 6667276288 624050 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26284] ppid=26275 vsize=6511012 CPUtime=0.99 cores=1,3
/proc/26277/task/26284/stat : 26284 (java) S 26275 26277 9030 0 -1 4202560 2453 0 0 0 99 0 0 0 15 0 18 0 970134814 6667276288 624050 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26285] ppid=26275 vsize=6511012 CPUtime=1.03 cores=1,3
/proc/26277/task/26285/stat : 26285 (java) S 26275 26277 9030 0 -1 4202560 14521 0 0 0 102 1 0 0 15 0 18 0 970134814 6667276288 624050 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26286] ppid=26275 vsize=6511012 CPUtime=0.95 cores=1,3
/proc/26277/task/26286/stat : 26286 (java) S 26275 26277 9030 0 -1 4202560 37629 0 0 0 92 3 0 0 16 0 18 0 970134814 6667276288 624050 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26287] ppid=26275 vsize=6511012 CPUtime=1.03 cores=1,3
/proc/26277/task/26287/stat : 26287 (java) S 26275 26277 9030 0 -1 4202560 69155 0 0 0 96 7 0 0 16 0 18 0 970134814 6667276288 624050 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26288] ppid=26275 vsize=6511012 CPUtime=0.7 cores=1,3
/proc/26277/task/26288/stat : 26288 (java) S 26275 26277 9030 0 -1 4202560 39145 0 0 0 65 5 0 0 15 0 18 0 970134814 6667276288 624050 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26291] ppid=26275 vsize=6511012 CPUtime=0.01 cores=1,3
/proc/26277/task/26291/stat : 26291 (java) S 26275 26277 9030 0 -1 4202560 41 0 0 0 1 0 0 0 15 0 18 0 970134815 6667276288 624050 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746995200 0 0 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26292] ppid=26275 vsize=6511012 CPUtime=0 cores=1,3
/proc/26277/task/26292/stat : 26292 (java) S 26275 26277 9030 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 18 0 970134815 6667276288 624050 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26293] ppid=26275 vsize=6511012 CPUtime=0.01 cores=1,3
/proc/26277/task/26293/stat : 26293 (java) S 26275 26277 9030 0 -1 4202560 46 0 0 0 1 0 0 0 15 0 18 0 970134815 6667276288 624050 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26294] ppid=26275 vsize=6511012 CPUtime=0 cores=1,3
/proc/26277/task/26294/stat : 26294 (java) S 26275 26277 9030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970134817 6667276288 624050 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216747002289 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26295] ppid=26275 vsize=6511012 CPUtime=0.42 cores=1,3
/proc/26277/task/26295/stat : 26295 (java) S 26275 26277 9030 0 -1 4202560 2649 0 0 0 42 0 0 0 15 0 18 0 970134817 6667276288 624050 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26296] ppid=26275 vsize=6511012 CPUtime=0.48 cores=1,3
/proc/26277/task/26296/stat : 26296 (java) S 26275 26277 9030 0 -1 4202560 5577 0 0 0 48 0 0 0 16 0 18 0 970134817 6667276288 624050 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26297] ppid=26275 vsize=6511012 CPUtime=0 cores=1,3
/proc/26277/task/26297/stat : 26297 (java) S 26275 26277 9030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970134817 6667276288 624050 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26298] ppid=26275 vsize=6511012 CPUtime=0 cores=1,3
/proc/26277/task/26298/stat : 26298 (java) S 26275 26277 9030 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 18 0 970134817 6667276288 624050 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746995200 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 436.62
Current children cumulated vsize (KiB) 6511012

[startup+432.808 s]
/proc/loadavg: 3.28 3.51 2.56 4/236 16284
/proc/meminfo: memFree=20941284/32951124 swapFree=67054712/67111528
[pid=26277] ppid=26275 vsize=6511012 CPUtime=437.02 cores=1,3
/proc/26277/stat : 26277 (java) S 26275 26277 9030 0 -1 4202496 629842 0 1 0 43618 84 0 0 25 0 18 0 970134812 6667276288 624050 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26277/statm: 1627753 624050 2240 9 0 1618491 0
[pid=26277/tid=26280] ppid=26275 vsize=6511012 CPUtime=429.17 cores=1,3
/proc/26277/task/26280/stat : 26280 (java) R 26275 26277 9030 0 -1 4202560 391718 0 1 0 42867 50 0 0 25 0 18 0 970134813 6667276288 624050 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 46912505681879 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26277/tid=26281] ppid=26275 vsize=6511012 CPUtime=0.45 cores=1,3
/proc/26277/task/26281/stat : 26281 (java) S 26275 26277 9030 0 -1 4202560 25181 0 0 0 43 2 0 0 16 0 18 0 970134814 6667276288 624050 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26282] ppid=26275 vsize=6511012 CPUtime=1.02 cores=1,3
/proc/26277/task/26282/stat : 26282 (java) S 26275 26277 9030 0 -1 4202560 38219 0 0 0 98 4 0 0 15 0 18 0 970134814 6667276288 624050 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26283] ppid=26275 vsize=6511012 CPUtime=0.5 cores=1,3
/proc/26277/task/26283/stat : 26283 (java) S 26275 26277 9030 0 -1 4202560 2274 0 0 0 50 0 0 0 15 0 18 0 970134814 6667276288 624050 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26284] ppid=26275 vsize=6511012 CPUtime=0.99 cores=1,3
/proc/26277/task/26284/stat : 26284 (java) S 26275 26277 9030 0 -1 4202560 2453 0 0 0 99 0 0 0 15 0 18 0 970134814 6667276288 624050 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26285] ppid=26275 vsize=6511012 CPUtime=1.03 cores=1,3
/proc/26277/task/26285/stat : 26285 (java) S 26275 26277 9030 0 -1 4202560 14521 0 0 0 102 1 0 0 15 0 18 0 970134814 6667276288 624050 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26286] ppid=26275 vsize=6511012 CPUtime=0.95 cores=1,3
/proc/26277/task/26286/stat : 26286 (java) S 26275 26277 9030 0 -1 4202560 37629 0 0 0 92 3 0 0 16 0 18 0 970134814 6667276288 624050 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26287] ppid=26275 vsize=6511012 CPUtime=1.03 cores=1,3
/proc/26277/task/26287/stat : 26287 (java) S 26275 26277 9030 0 -1 4202560 69155 0 0 0 96 7 0 0 16 0 18 0 970134814 6667276288 624050 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26288] ppid=26275 vsize=6511012 CPUtime=0.7 cores=1,3
/proc/26277/task/26288/stat : 26288 (java) S 26275 26277 9030 0 -1 4202560 39145 0 0 0 65 5 0 0 15 0 18 0 970134814 6667276288 624050 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26291] ppid=26275 vsize=6511012 CPUtime=0.01 cores=1,3
/proc/26277/task/26291/stat : 26291 (java) S 26275 26277 9030 0 -1 4202560 41 0 0 0 1 0 0 0 16 0 18 0 970134815 6667276288 624050 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746995200 0 0 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26292] ppid=26275 vsize=6511012 CPUtime=0 cores=1,3
/proc/26277/task/26292/stat : 26292 (java) S 26275 26277 9030 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 18 0 970134815 6667276288 624050 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26293] ppid=26275 vsize=6511012 CPUtime=0.01 cores=1,3
/proc/26277/task/26293/stat : 26293 (java) S 26275 26277 9030 0 -1 4202560 46 0 0 0 1 0 0 0 15 0 18 0 970134815 6667276288 624050 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26294] ppid=26275 vsize=6511012 CPUtime=0 cores=1,3
/proc/26277/task/26294/stat : 26294 (java) S 26275 26277 9030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970134817 6667276288 624050 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216747002289 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26295] ppid=26275 vsize=6511012 CPUtime=0.42 cores=1,3
/proc/26277/task/26295/stat : 26295 (java) S 26275 26277 9030 0 -1 4202560 2649 0 0 0 42 0 0 0 15 0 18 0 970134817 6667276288 624050 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26296] ppid=26275 vsize=6511012 CPUtime=0.48 cores=1,3
/proc/26277/task/26296/stat : 26296 (java) S 26275 26277 9030 0 -1 4202560 5577 0 0 0 48 0 0 0 16 0 18 0 970134817 6667276288 624050 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26297] ppid=26275 vsize=6511012 CPUtime=0 cores=1,3
/proc/26277/task/26297/stat : 26297 (java) S 26275 26277 9030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970134817 6667276288 624050 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26298] ppid=26275 vsize=6511012 CPUtime=0 cores=1,3
/proc/26277/task/26298/stat : 26298 (java) S 26275 26277 9030 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 18 0 970134817 6667276288 624050 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746995200 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 437.02
Current children cumulated vsize (KiB) 6511012

[startup+433.201 s]
/proc/loadavg: 3.28 3.51 2.56 4/236 16284
/proc/meminfo: memFree=20941284/32951124 swapFree=67054712/67111528
[pid=26277] ppid=26275 vsize=6507168 CPUtime=437.42 cores=1,3
/proc/26277/stat : 26277 (java) S 26275 26277 9030 0 -1 4202496 629842 0 1 0 43658 84 0 0 25 0 18 0 970134812 6663340032 623121 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26277/statm: 1626792 623121 2240 9 0 1617530 0
[pid=26277/tid=26280] ppid=26275 vsize=6507168 CPUtime=429.57 cores=1,3
/proc/26277/task/26280/stat : 26280 (java) R 26275 26277 9030 0 -1 4202560 391718 0 1 0 42907 50 0 0 25 0 18 0 970134813 6663340032 623121 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 46912505681879 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26277/tid=26281] ppid=26275 vsize=6507168 CPUtime=0.45 cores=1,3
/proc/26277/task/26281/stat : 26281 (java) S 26275 26277 9030 0 -1 4202560 25181 0 0 0 43 2 0 0 16 0 18 0 970134814 6663340032 623121 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26282] ppid=26275 vsize=6507168 CPUtime=1.02 cores=1,3
/proc/26277/task/26282/stat : 26282 (java) S 26275 26277 9030 0 -1 4202560 38219 0 0 0 98 4 0 0 15 0 18 0 970134814 6663340032 623121 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26283] ppid=26275 vsize=6507168 CPUtime=0.5 cores=1,3
/proc/26277/task/26283/stat : 26283 (java) S 26275 26277 9030 0 -1 4202560 2274 0 0 0 50 0 0 0 15 0 18 0 970134814 6663340032 623121 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26284] ppid=26275 vsize=6507168 CPUtime=0.99 cores=1,3
/proc/26277/task/26284/stat : 26284 (java) S 26275 26277 9030 0 -1 4202560 2453 0 0 0 99 0 0 0 15 0 18 0 970134814 6663340032 623121 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26285] ppid=26275 vsize=6507168 CPUtime=1.03 cores=1,3
/proc/26277/task/26285/stat : 26285 (java) S 26275 26277 9030 0 -1 4202560 14521 0 0 0 102 1 0 0 15 0 18 0 970134814 6663340032 623121 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26286] ppid=26275 vsize=6507168 CPUtime=0.95 cores=1,3
/proc/26277/task/26286/stat : 26286 (java) S 26275 26277 9030 0 -1 4202560 37629 0 0 0 92 3 0 0 16 0 18 0 970134814 6663340032 623121 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26287] ppid=26275 vsize=6507168 CPUtime=1.03 cores=1,3
/proc/26277/task/26287/stat : 26287 (java) S 26275 26277 9030 0 -1 4202560 69155 0 0 0 96 7 0 0 16 0 18 0 970134814 6663340032 623121 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26288] ppid=26275 vsize=6507168 CPUtime=0.7 cores=1,3
/proc/26277/task/26288/stat : 26288 (java) S 26275 26277 9030 0 -1 4202560 39145 0 0 0 65 5 0 0 15 0 18 0 970134814 6663340032 623121 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26291] ppid=26275 vsize=6507168 CPUtime=0.01 cores=1,3
/proc/26277/task/26291/stat : 26291 (java) S 26275 26277 9030 0 -1 4202560 41 0 0 0 1 0 0 0 16 0 18 0 970134815 6663340032 623121 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746995200 0 0 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26292] ppid=26275 vsize=6507168 CPUtime=0 cores=1,3
/proc/26277/task/26292/stat : 26292 (java) S 26275 26277 9030 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 18 0 970134815 6663340032 623121 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26293] ppid=26275 vsize=6507168 CPUtime=0.01 cores=1,3
/proc/26277/task/26293/stat : 26293 (java) S 26275 26277 9030 0 -1 4202560 46 0 0 0 1 0 0 0 15 0 18 0 970134815 6663340032 623121 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26294] ppid=26275 vsize=6507168 CPUtime=0 cores=1,3
/proc/26277/task/26294/stat : 26294 (java) S 26275 26277 9030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970134817 6663340032 623121 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216747002289 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26295] ppid=26275 vsize=6507168 CPUtime=0.42 cores=1,3
/proc/26277/task/26295/stat : 26295 (java) S 26275 26277 9030 0 -1 4202560 2649 0 0 0 42 0 0 0 15 0 18 0 970134817 6663340032 623121 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26296] ppid=26275 vsize=6507168 CPUtime=0.48 cores=1,3
/proc/26277/task/26296/stat : 26296 (java) S 26275 26277 9030 0 -1 4202560 5577 0 0 0 48 0 0 0 16 0 18 0 970134817 6663340032 623121 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
[pid=26277/tid=26297] ppid=26275 vsize=6507168 CPUtime=0 cores=1,3
/proc/26277/task/26297/stat : 26297 (java) S 26275 26277 9030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970134817 6663340032 623121 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746994585 0 4 0 16800975 18446604471124422784 0 0 -1 1 0 0 0
[pid=26277/tid=26298] ppid=26275 vsize=6507168 CPUtime=0 cores=1,3
/proc/26277/task/26298/stat : 26298 (java) S 26275 26277 9030 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 18 0 970134817 6663340032 623121 33554432000 1073741824 1073778376 140737280910000 18446744073709551615 216746995200 0 4 0 16800975 18446604471124422784 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 437.42
Current children cumulated vsize (KiB) 6507168

[startup+433.301 s]
/proc/loadavg: 3.28 3.51 2.56 4/236 16284
/proc/meminfo: memFree=20941284/32951124 swapFree=67054712/67111528
[pid=26277] ppid=26275 vsize=0 CPUtime=437.52 cores=1,3
/proc/26277/stat : 26277 (java) Z 26275 26277 9030 0 -1 4203548 629853 0 1 0 43663 89 0 0 18 0 2 0 970134812 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26277/statm: 0 0 0 0 0 0 0
[pid=26277/tid=26280] ppid=26275 vsize=0 CPUtime=429.67 cores=1,3
/proc/26277/task/26280/stat : 26280 (java) R 26275 26277 9030 0 -1 4203588 391721 0 1 0 42912 55 0 0 18 0 2 0 970134813 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 437.52
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 433.337
CPU time (s): 437.565
CPU user time (s): 436.632
CPU system time (s): 0.933858
CPU usage (%): 100.976
Max. virtual memory (cumulated for all children) (KiB): 6511012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 436.632
system time used= 0.933858
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 629853
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= 15845
involuntary context switches= 7418

runsolver used 0.71789 second user time and 1.77573 second system time

The end

Begin job on node119 at 2011-06-11 15:30:42
IDJOB=3493352
IDBENCH=89432
IDSOLVER=1972
FILE ID=node119/3493352-1307799041
RUNJOBID= node119-1307798811-9050
PBS_JOBID= 13551033
Free space on /tmp= 74004 MiB

SOLVER NAME= SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06
BENCH NAME= SAT11/mus/marques-silva/design-debugging/s38584-bug-onevec-gate-0.dimacs.seq.filtered.cnf
COMMAND LINE= java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493352-1307799041/watcher-3493352-1307799041 -o /tmp/evaluation-result-3493352-1307799041/solver-3493352-1307799041 -C 1800 -W 1850 -M 7680  java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3493352-1307799041.cnf

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

MD5SUM BENCH= 06612cef79ba498076fdb87b528897ec
RANDOM SEED=1959343319

node119.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.815
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.63
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.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
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.815
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.74
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.815
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.83
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.815
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.67
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.815
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.83
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.815
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.815
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:     32951124 kB
MemFree:      22467864 kB
Buffers:        269668 kB
Cached:         748136 kB
SwapCached:      11012 kB
Active:        9759976 kB
Inactive:       488204 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22467864 kB
SwapTotal:    67111528 kB
SwapFree:     67054712 kB
Dirty:           44876 kB
Writeback:           0 kB
AnonPages:     9227608 kB
Mapped:          21624 kB
Slab:           151496 kB
PageTables:      23632 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 18998060 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= 74004 MiB
End job on node119 at 2011-06-11 15:37:55