Trace number 3493576

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06UNSAT 123.282 120.07

General information on the benchmark

Nameindustrial/babic/hsatv17/
hsat_vc11944.cnf
MD5SUMeef911a782905fce2d6d67e1fb443023
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.48077
Satisfiable
(Un)Satisfiability was proved
Number of variables178730
Number of clauses508210
Sum of the clauses size1309303
Maximum clause length3
Minimum clause length1
Number of clauses of size 121343
Number of clauses of size 2172641
Number of clauses of size 3314226
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

0.00/0.27	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.27	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.27	c See www.sat4j.org for details.
0.00/0.27	c version 2.3.0.v20110206
0.00/0.27	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.27	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.27	c java.vm.version	19.1-b02
0.00/0.27	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.27	c sun.arch.data.model	64
0.00/0.27	c java.version		1.6.0_24
0.00/0.27	c os.name		Linux
0.00/0.27	c os.version		2.6.18-164.el5
0.00/0.27	c os.arch		amd64
0.00/0.27	c Free memory 		5997854704
0.00/0.27	c Max memory 		6029312000
0.00/0.27	c Total memory 		6029312000
0.00/0.27	c Number of processors 	8
0.09/0.30	c Explanation (MUS) enabled solver
0.09/0.30	c QuickXplain (AAAI 2004 version) minimization strategy
0.09/0.30	c --- Begin Solver configuration ---
0.09/0.30	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@1d73831b
0.09/0.30	c Learn all clauses as in MiniSAT
0.09/0.30	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.09/0.30	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.09/0.30	c Expensive reason simplification
0.09/0.30	c Armin Biere (Picosat) restarts strategy
0.09/0.30	c Glucose learned constraints deletion strategy
0.09/0.30	c timeout=2147483647s
0.09/0.30	c DB Simplification allowed=true
0.09/0.30	c --- End Solver configuration ---
0.09/0.30	c solving HOME/instance-3493576-1307800902.cnf
0.09/0.30	c reading problem ... 
1.14/1.09	c ... done. Wall clock time 0.79s.
1.14/1.09	c #vars     686981
1.14/1.09	c #constraints  508210
1.14/1.09	c constraints type 
1.14/1.09	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 486867
1.14/1.09	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 21343
6.58/5.96	c Unsat detection wall clock time (in seconds) : 5.662
6.58/5.96	c Size of initial unsat subformula: 328
6.58/5.96	c Computing MUS ...
6.58/5.96	c initial unsat core 159598[?] 686979[?] 178771[?]  96252[?] -159598[?] 628985[?]  37705[?] -96252[?] 457688[?]  37704[?] -37705[?] 294690[?]  36581[?] -37704[?] 294686[?]  36580[?] -36581[?] 292976[?]  36579[?] -36580[?] 292973[?]  36219[?] -36580[?] 292972[?]  -36438[?] -36579[?] 292968[?]  36439[?] 36438[?] 292781[?]  36455[?] -36439[?] 292779[?]  36454[?] -36455[?] 292778[?]  36453[?] -36454[?] 292776[?]  36452[?] -36453[?] 292774[?]  36451[?] -36452[?] 292772[?]  36450[?] -36451[?] 292770[?]  36449[?] -36450[?] 292768[?]  36448[?] -36449[?] 292766[?]  36440[?] -36448[?] 292764[?]  -36430[?] -36440[?] 292762[?]  -36236[?] 36430[?] 292760[?]  -36429[?] -36268[?] 36236[?] 292756[?]  36429[?] 36268[?] 36236[?] 292755[?]  -36429[?] -36428[?] -36424[?] 292754[?]  -36429[?] 36428[?] 36424[?] 292753[?]  36429[?] 36428[?] -36424[?] 292752[?]  -36268[?] -36424[?] -36425[?] 292750[?]  36425[?] -36268[?] 36424[?] 292749[?]  36425[?] 36268[?] -36424[?] 292748[?]  36428[?] -36426[?] 292746[?]  36426[?] -36428[?] 292745[?]  36425[?] -36426[?] 292743[?]  36426[?] -36424[?] -36425[?] 292742[?]  36300[?] -36425[?] 292741[?]  36424[?] -36422[?] 292735[?]  36422[?] -36420[?] -36421[?] 292731[?]  36421[?] -36299[?] 292729[?]  36420[?] -36418[?] 292724[?]  36418[?] -36416[?] -36417[?] 292720[?]  36417[?] -36298[?] 292718[?]  36416[?] -36414[?] 292713[?]  36414[?] -36412[?] -36413[?] 292709[?]  36413[?] -36297[?] 292707[?]  36412[?] -36410[?] 292702[?]  36410[?] -36408[?] -36409[?] 292698[?]  36409[?] -36296[?] 292696[?]  36408[?] -36406[?] 292691[?]  36406[?] -36404[?] -36405[?] 292687[?]  36405[?] -36295[?] 292685[?]  36404[?] -36402[?] 292680[?]  36402[?] -36400[?] -36401[?] 292676[?]  36401[?] -36294[?] 292674[?]  36400[?] -36398[?] 292669[?]  36398[?] -36396[?] -36397[?] 292665[?]  36397[?] -36293[?] 292663[?]  36396[?] -36394[?] 292658[?]  36394[?] -36392[?] -36393[?] 292654[?]  36393[?] -36292[?] 292652[?]  36392[?] -36390[?] 292647[?]  36390[?] -36388[?] -36389[?] 292643[?]  36389[?] -36291[?] 292641[?]  36388[?] -36386[?] 292636[?]  36386[?] -36384[?] -36385[?] 292632[?]  36385[?] -36290[?] 292630[?]  36384[?] -36382[?] 292625[?]  36382[?] -36380[?] -36381[?] 292621[?]  36381[?] -36289[?] 292619[?]  36380[?] -36378[?] 292614[?]  36378[?] -36376[?] -36377[?] 292610[?]  36377[?] -36288[?] 292608[?]  36376[?] -36374[?] 292603[?]  36374[?] -36372[?] -36373[?] 292599[?]  36373[?] -36287[?] 292597[?]  36372[?] -36370[?] 292592[?]  36370[?] -36368[?] -36369[?] 292588[?]  36369[?] -36286[?] 292586[?]  36368[?] -36366[?] 292581[?]  36366[?] -36364[?] -36365[?] 292577[?]  36365[?] -36285[?] 292575[?]  36364[?] -36362[?] 292570[?]  36362[?] -36360[?] -36361[?] 292566[?]  36361[?] -36284[?] 292564[?]  36360[?] -36358[?] 292559[?]  36358[?] -36356[?] -36357[?] 292555[?]  36357[?] -36283[?] 292553[?]  36356[?] -36354[?] 292548[?]  36354[?] -36352[?] -36353[?] 292544[?]  36353[?] -36282[?] 292542[?]  36352[?] -36350[?] 292537[?]  36350[?] -36348[?] -36349[?] 292533[?]  36349[?] -36281[?] 292531[?]  36348[?] -36346[?] 292526[?]  36346[?] -36344[?] -36345[?] 292522[?]  36345[?] -36280[?] 292520[?]  36344[?] -36342[?] 292515[?]  36342[?] -36340[?] -36341[?] 292511[?]  36341[?] -36279[?] 292509[?]  36340[?] -36338[?] 292504[?]  36338[?] -36336[?] -36337[?] 292500[?]  36337[?] -36278[?] 292498[?]  36336[?] -36334[?] 292493[?]  36334[?] -36332[?] -36333[?] 292489[?]  36333[?] -36277[?] 292487[?]  36332[?] -36330[?] 292482[?]  36330[?] -36328[?] -36329[?] 292478[?]  36329[?] -36276[?] 292476[?]  36328[?] -36326[?] 292471[?]  36326[?] -36324[?] -36325[?] 292467[?]  36325[?] -36275[?] 292465[?]  36324[?] -36322[?] 292460[?]  36322[?] -36320[?] -36321[?] 292456[?]  36321[?] -36274[?] 292454[?]  36320[?] -36318[?] 292449[?]  36318[?] -36316[?] -36317[?] 292445[?]  36317[?] -36273[?] 292443[?]  36316[?] -36314[?] 292438[?]  36314[?] -36312[?] -36313[?] 292434[?]  36313[?] -36272[?] 292432[?]  36312[?] -36310[?] 292427[?]  36310[?] -36308[?] -36309[?] 292423[?]  36309[?] -36271[?] 292421[?]  36308[?] -36306[?] 292416[?]  36306[?] -36304[?] -36305[?] 292412[?]  36305[?] -36270[?] 292410[?]  -36303[?] 36304[?] 292407[?]  -36302[?] 36304[?] 292406[?]  -36301[?] 36302[?] 292403[?]  -36269[?] 36303[?] 292401[?]  36269[?] 36301[?] 292399[?]  -36016[?] -36300[?] 292398[?]  36299[?] 36015[?] 292395[?]  36298[?] 36014[?] 292393[?]  36297[?] 36013[?] 292391[?]  36296[?] 36012[?] 292389[?]  36295[?] 36011[?] 292387[?]  36294[?] 36010[?] 292385[?]  36293[?] 36009[?] 292383[?]  36292[?] 36008[?] 292381[?]  36291[?] 36007[?] 292379[?]  36290[?] 36006[?] 292377[?]  36289[?] 36005[?] 292375[?]  36288[?] 36004[?] 292373[?]  36287[?] 36003[?] 292371[?]  36286[?] 36002[?] 292369[?]  36285[?] 36001[?] 292367[?]  36284[?] 36000[?] 292365[?]  36283[?] 35999[?] 292363[?]  36282[?] 35998[?] 292361[?]  36281[?] 35997[?] 292359[?]  36280[?] 35996[?] 292357[?]  36279[?] 35995[?] 292355[?]  36278[?] 35994[?] 292353[?]  36277[?] 35993[?] 292351[?]  36276[?] 35992[?] 292349[?]  36275[?] 35991[?] 292347[?]  36274[?] 35990[?] 292345[?]  36273[?] 35989[?] 292343[?]  36272[?] 35988[?] 292341[?]  36271[?] 35987[?] 292339[?]  36270[?] 35986[?] 292337[?]  36235[?] -36219[?] 292333[?]  36234[?] -36235[?] 292332[?]  36233[?] -36234[?] 292330[?]  36232[?] -36233[?] 292328[?]  36231[?] -36232[?] 292326[?]  36230[?] -36231[?] 292324[?]  36229[?] -36230[?] 292322[?]  36228[?] -36229[?] 292320[?]  36220[?] -36228[?] 292318[?]  -36211[?] -36220[?] 292316[?]  -36017[?] 36211[?] 292314[?]  -36049[?] 36210[?] 36017[?] 292310[?]  -36210[?] 36209[?] 36205[?] 292307[?]  36205[?] 36049[?] -36206[?] 292301[?]  36207[?] -36209[?] 292299[?]  36205[?] -36207[?] 292298[?]  36206[?] -36081[?] 292294[?]  36203[?] -36205[?] 292288[?]  36201[?] -36203[?] 292287[?]  36202[?] -36203[?] 292286[?]  36080[?] -36202[?] 292284[?]  36199[?] -36201[?] 292277[?]  36197[?] -36199[?] 292276[?]  36198[?] -36199[?] 292275[?]  36079[?] -36198[?] 292273[?]  36195[?] -36197[?] 292266[?]  36193[?] -36195[?] 292265[?]  36194[?] -36195[?] 292264[?]  36078[?] -36194[?] 292262[?]  36191[?] -36193[?] 292255[?]  36189[?] -36191[?] 292254[?]  36190[?] -36191[?] 292253[?]  36077[?] -36190[?] 292251[?]  36187[?] -36189[?] 292244[?]  36185[?] -36187[?] 292243[?]  36186[?] -36187[?] 292242[?]  36076[?] -36186[?] 292240[?]  36183[?] -36185[?] 292233[?]  36181[?] -36183[?] 292232[?]  36182[?] -36183[?] 292231[?]  36075[?] -36182[?] 292229[?]  36179[?] -36181[?] 292222[?]  36177[?] -36179[?] 292221[?]  36178[?] -36179[?] 292220[?]  36074[?] -36178[?] 292218[?]  36175[?] -36177[?] 292211[?]  36173[?] -36175[?] 292210[?]  36174[?] -36175[?] 292209[?]  36073[?] -36174[?] 292207[?]  36171[?] -36173[?] 292200[?]  36169[?] -36171[?] 292199[?]  36170[?] -36171[?] 292198[?]  36072[?] -36170[?] 292196[?]  36167[?] -36169[?] 292189[?]  36165[?] -36167[?] 292188[?]  36166[?] -36167[?] 292187[?]  36071[?] -36166[?] 292185[?]  36163[?] -36165[?] 292178[?]  36161[?] -36163[?] 292177[?]  36162[?] -36163[?] 292176[?]  36070[?] -36162[?] 292174[?]  36159[?] -36161[?] 292167[?]  36157[?] -36159[?] 292166[?]  36158[?] -36159[?] 292165[?]  36069[?] -36158[?] 292163[?]  36155[?] -36157[?] 292156[?]  36153[?] -36155[?] 292155[?]  36154[?] -36155[?] 292154[?]  36068[?] -36154[?] 292152[?]  36151[?] -36153[?] 292145[?]  36149[?] -36151[?] 292144[?]  36150[?] -36151[?] 292143[?]  36067[?] -36150[?] 292141[?]  36147[?] -36149[?] 292134[?]  36145[?] -36147[?] 292133[?]  36146[?] -36147[?] 292132[?]  36066[?] -36146[?] 292130[?]  36143[?] -36145[?] 292123[?]  36141[?] -36143[?] 292122[?]  36142[?] -36143[?] 292121[?]  36065[?] -36142[?] 292119[?]  36139[?] -36141[?] 292112[?]  36137[?] -36139[?] 292111[?]  36138[?] -36139[?] 292110[?]  36064[?] -36138[?] 292108[?]  36135[?] -36137[?] 292101[?]  36133[?] -36135[?] 292100[?]  36134[?] -36135[?] 292099[?]  36063[?] -36134[?] 292097[?]  36131[?] -36133[?] 292090[?]  36129[?] -36131[?] 292089[?]  36130[?] -36131[?] 292088[?]  36062[?] -36130[?] 292086[?]  36127[?] -36129[?] 292079[?]  36125[?] -36127[?] 292078[?]  36126[?] -36127[?] 292077[?]  36061[?] -36126[?] 292075[?]  36123[?] -36125[?] 292068[?]  36121[?] -36123[?] 292067[?]  36122[?] -36123[?] 292066[?]  36060[?] -36122[?] 292064[?]  36119[?] -36121[?] 292057[?]  36117[?] -36119[?] 292056[?]  36118[?] -36119[?] 292055[?]  36059[?] -36118[?] 292053[?]  36115[?] -36117[?] 292046[?]  36113[?] -36115[?] 292045[?]  36114[?] -36115[?] 292044[?]  36058[?] -36114[?] 292042[?]  36111[?] -36113[?] 292035[?]  36109[?] -36111[?] 292034[?]  36110[?] -36111[?] 292033[?]  36057[?] -36110[?] 292031[?]  36107[?] -36109[?] 292024[?]  36105[?] -36107[?] 292023[?]  36106[?] -36107[?] 292022[?]  36056[?] -36106[?] 292020[?]  36103[?] -36105[?] 292013[?]  36101[?] -36103[?] 292012[?]  36102[?] -36103[?] 292011[?]  36055[?] -36102[?] 292009[?]  36099[?] -36101[?] 292002[?]  36097[?] -36099[?] 292001[?]  36098[?] -36099[?] 292000[?]  36054[?] -36098[?] 291998[?]  36095[?] -36097[?] 291991[?]  36093[?] -36095[?] 291990[?]  36094[?] -36095[?] 291989[?]  36053[?] -36094[?] 291987[?]  36091[?] -36093[?] 291980[?]  36089[?] -36091[?] 291979[?]  36090[?] -36091[?] 291978[?]  36052[?] -36090[?] 291976[?]  36087[?] -36089[?] 291969[?]  36086[?] -36087[?] 291967[?]  36051[?] -36086[?] 291965[?]  36081[?] 36016[?] 291951[?]  -36015[?] -36080[?] 291950[?]  -36014[?] -36079[?] 291948[?]  -36013[?] -36078[?] 291946[?]  -36012[?] -36077[?] 291944[?]  -36011[?] -36076[?] 291942[?]  -36010[?] -36075[?] 291940[?]  -36009[?] -36074[?] 291938[?]  -36008[?] -36073[?] 291936[?]  -36007[?] -36072[?] 291934[?]  -36006[?] -36071[?] 291932[?]  -36005[?] -36070[?] 291930[?]  -36004[?] -36069[?] 291928[?]  -36003[?] -36068[?] 291926[?]  -36002[?] -36067[?] 291924[?]  -36001[?] -36066[?] 291922[?]  -36000[?] -36065[?] 291920[?]  -35999[?] -36064[?] 291918[?]  -35998[?] -36063[?] 291916[?]  -35997[?] -36062[?] 291914[?]  -35996[?] -36061[?] 291912[?]  -35995[?] -36060[?] 291910[?]  -35994[?] -36059[?] 291908[?]  -35993[?] -36058[?] 291906[?]  -35992[?] -36057[?] 291904[?]  -35991[?] -36056[?] 291902[?]  -35990[?] -36055[?] 291900[?]  -35989[?] -36054[?] 291898[?]  -35988[?] -36053[?] 291896[?]  -35987[?] -36052[?] 291894[?]  -35986[?] -36051[?] 291892[?]  -178771[?] 200114[?] 
6.70/6.09	c qxplain 0/327
7.17/6.42	c qxplain 164/327
7.43/6.66	c qxplain 246/327
7.63/6.89	c qxplain 287/327
7.93/7.12	c qxplain 308/327
8.13/7.36	c qxplain 318/327
8.43/7.60	c qxplain 323/327
8.63/7.84	c qxplain 326/327
8.82/8.07	c qxplain 327/327
9.12/8.30	c -178771[?] 200114[?] is mandatory 
9.12/8.30	c qxplain 326/326
9.33/8.53	c 291892[?] -35986[?] -36051[?]  is mandatory 
9.33/8.53	c qxplain 323/325
9.53/8.76	c qxplain 325/325
9.73/8.99	c 291894[?] -35987[?] -36052[?]  is mandatory 
9.73/8.99	c qxplain 323/324
10.03/9.23	c qxplain 324/324
10.22/9.46	c 291896[?] -35988[?] -36053[?]  is mandatory 
10.22/9.46	c qxplain 323/323
10.53/9.70	c 291898[?] -35989[?] -36054[?]  is mandatory 
10.53/9.70	c qxplain 318/322
10.73/9.93	c qxplain 321/322
10.93/10.16	c qxplain 322/322
11.13/10.40	c 291900[?] -35990[?] -36055[?]  is mandatory 
11.13/10.40	c qxplain 321/321
11.43/10.63	c 291902[?] -35991[?] -36056[?]  is mandatory 
11.43/10.63	c qxplain 318/320
11.62/10.86	c qxplain 320/320
11.83/11.09	c 291904[?] -35992[?] -36057[?]  is mandatory 
11.83/11.09	c qxplain 318/319
12.13/11.33	c qxplain 319/319
12.32/11.56	c 291906[?] -35993[?] -36058[?]  is mandatory 
12.32/11.56	c qxplain 318/318
12.53/11.79	c 291908[?] -35994[?] -36059[?]  is mandatory 
12.53/11.79	c qxplain 308/317
12.83/12.03	c qxplain 313/317
13.03/12.26	c qxplain 316/317
13.22/12.49	c qxplain 317/317
13.52/12.72	c 291910[?] -35995[?] -36060[?]  is mandatory 
13.52/12.72	c qxplain 316/316
13.72/12.95	c 291912[?] -35996[?] -36061[?]  is mandatory 
13.72/12.95	c qxplain 313/315
13.93/13.19	c qxplain 315/315
14.23/13.42	c 291914[?] -35997[?] -36062[?]  is mandatory 
14.23/13.42	c qxplain 313/314
14.43/13.65	c qxplain 314/314
14.62/13.88	c 291916[?] -35998[?] -36063[?]  is mandatory 
14.62/13.88	c qxplain 313/313
14.92/14.12	c 291918[?] -35999[?] -36064[?]  is mandatory 
14.92/14.12	c qxplain 308/312
15.13/14.35	c qxplain 311/312
15.32/14.59	c qxplain 312/312
15.63/14.82	c 291920[?] -36000[?] -36065[?]  is mandatory 
15.63/14.82	c qxplain 311/311
15.83/15.05	c 291922[?] -36001[?] -36066[?]  is mandatory 
15.83/15.05	c qxplain 308/310
16.03/15.28	c qxplain 310/310
16.33/15.51	c 291924[?] -36002[?] -36067[?]  is mandatory 
16.33/15.51	c qxplain 308/309
16.53/15.75	c qxplain 309/309
16.73/15.98	c 291926[?] -36003[?] -36068[?]  is mandatory 
16.73/15.98	c qxplain 308/308
17.70/16.54	c 291928[?] -36004[?] -36069[?]  is mandatory 
17.70/16.54	c qxplain 287/307
17.89/16.70	c qxplain 298/307
17.99/16.87	c qxplain 303/307
18.19/17.03	c qxplain 306/307
18.29/17.19	c qxplain 307/307
18.49/17.36	c 291930[?] -36005[?] -36070[?]  is mandatory 
18.49/17.36	c qxplain 306/306
18.70/17.52	c 291932[?] -36006[?] -36071[?]  is mandatory 
18.70/17.52	c qxplain 303/305
18.80/17.69	c qxplain 305/305
18.99/17.85	c 291934[?] -36007[?] -36072[?]  is mandatory 
18.99/17.85	c qxplain 303/304
19.19/18.01	c qxplain 304/304
19.29/18.18	c 291936[?] -36008[?] -36073[?]  is mandatory 
19.29/18.18	c qxplain 303/303
19.49/18.34	c 291938[?] -36009[?] -36074[?]  is mandatory 
19.49/18.34	c qxplain 298/302
19.69/18.50	c qxplain 301/302
19.80/18.67	c qxplain 302/302
19.99/18.83	c 291940[?] -36010[?] -36075[?]  is mandatory 
19.99/18.83	c qxplain 301/301
20.19/19.00	c 291942[?] -36011[?] -36076[?]  is mandatory 
20.19/19.00	c qxplain 298/300
20.29/19.16	c qxplain 300/300
20.49/19.33	c 291944[?] -36012[?] -36077[?]  is mandatory 
20.49/19.33	c qxplain 298/299
20.59/19.49	c qxplain 299/299
20.79/19.66	c 291946[?] -36013[?] -36078[?]  is mandatory 
20.79/19.66	c qxplain 298/298
21.00/19.82	c 291948[?] -36014[?] -36079[?]  is mandatory 
21.00/19.82	c qxplain 287/297
21.09/19.99	c qxplain 293/297
21.29/20.15	c qxplain 296/297
21.49/20.31	c qxplain 297/297
21.59/20.48	c 291950[?] -36015[?] -36080[?]  is mandatory 
21.59/20.48	c qxplain 296/296
21.79/20.64	c 291951[?] 36081[?] 36016[?]  is mandatory 
21.79/20.64	c qxplain 293/295
22.00/20.81	c qxplain 295/295
22.10/20.97	c 291965[?] 36051[?] -36086[?]  is mandatory 
22.10/20.97	c qxplain 293/294
22.29/21.14	c qxplain 294/294
22.49/21.30	c 291967[?] 36086[?] -36087[?]  is mandatory 
22.49/21.30	c qxplain 293/293
22.59/21.46	c 291969[?] 36087[?] -36089[?]  is mandatory 
22.59/21.46	c qxplain 287/292
22.79/21.63	c qxplain 290/292
22.89/21.79	c qxplain 292/292
23.10/21.96	c 291976[?] 36052[?] -36090[?]  is mandatory 
23.10/21.96	c qxplain 290/291
23.29/22.12	c qxplain 291/291
23.39/22.28	c 291978[?] 36090[?] -36091[?]  is mandatory 
23.39/22.28	c qxplain 290/290
23.59/22.45	c 291979[?] 36089[?] -36091[?]  is mandatory 
23.59/22.45	c qxplain 287/289
23.79/22.61	c qxplain 289/289
23.89/22.78	c 291980[?] 36091[?] -36093[?]  is mandatory 
23.89/22.78	c qxplain 287/288
24.09/22.94	c qxplain 288/288
24.30/23.11	c 291987[?] 36053[?] -36094[?]  is mandatory 
24.30/23.11	c qxplain 287/287
24.39/23.27	c 291989[?] 36094[?] -36095[?]  is mandatory 
24.39/23.27	c qxplain 246/286
24.59/23.43	c qxplain 267/286
24.69/23.60	c qxplain 277/286
24.89/23.76	c qxplain 282/286
25.09/23.92	c qxplain 285/286
25.19/24.09	c qxplain 286/286
25.40/24.25	c 291990[?] 36093[?] -36095[?]  is mandatory 
25.40/24.25	c qxplain 285/285
25.59/24.42	c 291991[?] 36095[?] -36097[?]  is mandatory 
25.59/24.42	c qxplain 282/284
25.69/24.58	c qxplain 284/284
25.89/24.75	c 291998[?] 36054[?] -36098[?]  is mandatory 
25.89/24.75	c qxplain 282/283
26.09/24.91	c qxplain 283/283
26.81/25.39	c 292000[?] 36098[?] -36099[?]  is mandatory 
26.81/25.39	c qxplain 282/282
27.00/25.56	c 292001[?] 36097[?] -36099[?]  is mandatory 
27.00/25.56	c qxplain 277/281
27.20/25.72	c qxplain 280/281
27.30/25.89	c qxplain 281/281
27.50/26.05	c 292002[?] 36099[?] -36101[?]  is mandatory 
27.50/26.05	c qxplain 280/280
27.70/26.22	c 292009[?] 36055[?] -36102[?]  is mandatory 
27.70/26.22	c qxplain 277/279
27.81/26.38	c qxplain 279/279
28.00/26.55	c 292011[?] 36102[?] -36103[?]  is mandatory 
28.00/26.55	c qxplain 277/278
28.20/26.71	c qxplain 278/278
28.30/26.88	c 292012[?] 36101[?] -36103[?]  is mandatory 
28.30/26.88	c qxplain 277/277
28.50/27.04	c 292013[?] 36103[?] -36105[?]  is mandatory 
28.50/27.04	c qxplain 267/276
28.70/27.21	c qxplain 272/276
28.80/27.38	c qxplain 275/276
29.01/27.54	c qxplain 276/276
29.20/27.70	c 292020[?] 36056[?] -36106[?]  is mandatory 
29.20/27.70	c qxplain 275/275
29.30/27.87	c 292022[?] 36106[?] -36107[?]  is mandatory 
29.30/27.87	c qxplain 272/274
29.50/28.03	c qxplain 274/274
29.60/28.20	c 292023[?] 36105[?] -36107[?]  is mandatory 
29.60/28.20	c qxplain 272/273
29.80/28.36	c qxplain 273/273
30.01/28.53	c 292024[?] 36107[?] -36109[?]  is mandatory 
30.01/28.53	c qxplain 272/272
30.11/28.69	c 292031[?] 36057[?] -36110[?]  is mandatory 
30.11/28.69	c qxplain 267/271
30.30/28.85	c qxplain 270/271
30.50/29.02	c qxplain 271/271
30.60/29.18	c 292033[?] 36110[?] -36111[?]  is mandatory 
30.60/29.18	c qxplain 270/270
30.80/29.35	c 292034[?] 36109[?] -36111[?]  is mandatory 
30.80/29.35	c qxplain 267/269
31.00/29.51	c qxplain 269/269
31.11/29.67	c 292035[?] 36111[?] -36113[?]  is mandatory 
31.11/29.67	c qxplain 267/268
31.30/29.84	c qxplain 268/268
31.50/30.01	c 292042[?] 36058[?] -36114[?]  is mandatory 
31.50/30.01	c qxplain 267/267
31.60/30.17	c 292044[?] 36114[?] -36115[?]  is mandatory 
31.60/30.17	c qxplain 246/266
31.80/30.34	c qxplain 257/266
32.00/30.50	c qxplain 262/266
32.10/30.67	c qxplain 265/266
32.31/30.83	c qxplain 266/266
32.40/31.00	c 292045[?] 36113[?] -36115[?]  is mandatory 
32.40/31.00	c qxplain 265/265
32.60/31.16	c 292046[?] 36115[?] -36117[?]  is mandatory 
32.60/31.16	c qxplain 262/264
32.80/31.32	c qxplain 264/264
32.90/31.49	c 292053[?] 36059[?] -36118[?]  is mandatory 
32.90/31.49	c qxplain 262/263
33.10/31.65	c qxplain 263/263
33.31/31.82	c 292055[?] 36118[?] -36119[?]  is mandatory 
33.31/31.82	c qxplain 262/262
33.41/31.98	c 292056[?] 36117[?] -36119[?]  is mandatory 
33.41/31.98	c qxplain 257/261
33.60/32.14	c qxplain 260/261
33.80/32.31	c qxplain 261/261
33.90/32.47	c 292057[?] 36119[?] -36121[?]  is mandatory 
33.90/32.47	c qxplain 260/260
34.10/32.64	c 292064[?] 36060[?] -36122[?]  is mandatory 
34.10/32.64	c qxplain 257/259
34.30/32.80	c qxplain 259/259
34.41/32.97	c 292066[?] 36122[?] -36123[?]  is mandatory 
34.41/32.97	c qxplain 257/258
34.60/33.13	c qxplain 258/258
34.70/33.29	c 292067[?] 36121[?] -36123[?]  is mandatory 
34.70/33.29	c qxplain 257/257
34.90/33.46	c 292068[?] 36123[?] -36125[?]  is mandatory 
34.90/33.46	c qxplain 246/256
35.10/33.63	c qxplain 252/256
35.20/33.79	c qxplain 255/256
35.40/33.96	c qxplain 256/256
36.18/34.40	c 292075[?] 36061[?] -36126[?]  is mandatory 
36.18/34.40	c qxplain 255/255
36.28/34.57	c 292077[?] 36126[?] -36127[?]  is mandatory 
36.28/34.57	c qxplain 252/254
36.48/34.73	c qxplain 254/254
36.58/34.89	c 292078[?] 36125[?] -36127[?]  is mandatory 
36.58/34.89	c qxplain 252/253
36.78/35.06	c qxplain 253/253
36.99/35.22	c 292079[?] 36127[?] -36129[?]  is mandatory 
36.99/35.22	c qxplain 252/252
37.08/35.39	c 292086[?] 36062[?] -36130[?]  is mandatory 
37.08/35.39	c qxplain 246/251
37.28/35.55	c qxplain 249/251
37.48/35.71	c qxplain 251/251
37.58/35.88	c 292088[?] 36130[?] -36131[?]  is mandatory 
37.58/35.88	c qxplain 249/250
37.78/36.04	c qxplain 250/250
37.99/36.20	c 292089[?] 36129[?] -36131[?]  is mandatory 
37.99/36.21	c qxplain 249/249
38.09/36.37	c 292090[?] 36131[?] -36133[?]  is mandatory 
38.09/36.37	c qxplain 246/248
38.28/36.54	c qxplain 248/248
38.48/36.70	c 292097[?] 36063[?] -36134[?]  is mandatory 
38.48/36.70	c qxplain 246/247
38.58/36.86	c qxplain 247/247
38.78/37.03	c 292099[?] 36134[?] -36135[?]  is mandatory 
38.78/37.03	c qxplain 246/246
38.88/37.19	c 292100[?] 36133[?] -36135[?]  is mandatory 
38.88/37.19	c qxplain 164/245
39.09/37.35	c qxplain 205/245
39.28/37.52	c qxplain 226/245
39.38/37.68	c qxplain 236/245
39.58/37.84	c qxplain 241/245
39.78/38.01	c qxplain 244/245
39.88/38.17	c qxplain 245/245
40.08/38.33	c 292101[?] 36135[?] -36137[?]  is mandatory 
40.08/38.33	c qxplain 244/244
40.18/38.50	c 292108[?] 36064[?] -36138[?]  is mandatory 
40.18/38.50	c qxplain 241/243
40.38/38.66	c qxplain 243/243
40.58/38.82	c 292110[?] 36138[?] -36139[?]  is mandatory 
40.58/38.82	c qxplain 241/242
40.68/38.99	c qxplain 242/242
40.88/39.16	c 292111[?] 36137[?] -36139[?]  is mandatory 
40.88/39.16	c qxplain 241/241
41.08/39.32	c 292112[?] 36139[?] -36141[?]  is mandatory 
41.08/39.32	c qxplain 236/240
41.18/39.48	c qxplain 239/240
41.40/39.65	c qxplain 240/240
41.59/39.81	c 292119[?] 36065[?] -36142[?]  is mandatory 
41.59/39.81	c qxplain 239/239
41.69/39.97	c 292121[?] 36142[?] -36143[?]  is mandatory 
41.69/39.97	c qxplain 236/238
41.89/40.14	c qxplain 238/238
42.09/40.30	c 292122[?] 36141[?] -36143[?]  is mandatory 
42.09/40.30	c qxplain 236/237
42.19/40.47	c qxplain 237/237
42.39/40.63	c 292123[?] 36143[?] -36145[?]  is mandatory 
42.39/40.63	c qxplain 236/236
42.59/40.80	c 292130[?] 36066[?] -36146[?]  is mandatory 
42.59/40.80	c qxplain 226/235
42.69/40.96	c qxplain 231/235
42.89/41.12	c qxplain 234/235
42.99/41.29	c qxplain 235/235
43.19/41.45	c 292132[?] 36146[?] -36147[?]  is mandatory 
43.19/41.45	c qxplain 234/234
43.39/41.61	c 292133[?] 36145[?] -36147[?]  is mandatory 
43.39/41.61	c qxplain 231/233
43.49/41.78	c qxplain 233/233
43.69/41.94	c 292134[?] 36147[?] -36149[?]  is mandatory 
43.69/41.94	c qxplain 231/232
43.89/42.11	c qxplain 232/232
43.99/42.27	c 292141[?] 36067[?] -36150[?]  is mandatory 
43.99/42.27	c qxplain 231/231
44.19/42.43	c 292143[?] 36150[?] -36151[?]  is mandatory 
44.19/42.43	c qxplain 226/230
44.39/42.60	c qxplain 229/230
44.49/42.76	c qxplain 230/230
45.27/43.21	c 292144[?] 36149[?] -36151[?]  is mandatory 
45.27/43.21	c qxplain 229/229
45.37/43.37	c 292145[?] 36151[?] -36153[?]  is mandatory 
45.37/43.37	c qxplain 226/228
45.57/43.54	c qxplain 228/228
45.77/43.70	c 292152[?] 36068[?] -36154[?]  is mandatory 
45.77/43.70	c qxplain 226/227
45.87/43.86	c qxplain 227/227
46.08/44.03	c 292154[?] 36154[?] -36155[?]  is mandatory 
46.08/44.03	c qxplain 226/226
46.18/44.19	c 292155[?] 36153[?] -36155[?]  is mandatory 
46.18/44.19	c qxplain 205/225
46.37/44.35	c qxplain 216/225
46.57/44.52	c qxplain 221/225
46.67/44.69	c qxplain 224/225
46.87/44.85	c qxplain 225/225
47.07/45.01	c 292156[?] 36155[?] -36157[?]  is mandatory 
47.07/45.01	c qxplain 224/224
47.18/45.18	c 292163[?] 36069[?] -36158[?]  is mandatory 
47.18/45.18	c qxplain 221/223
47.37/45.34	c qxplain 223/223
47.57/45.51	c 292165[?] 36158[?] -36159[?]  is mandatory 
47.57/45.51	c qxplain 221/222
47.67/45.67	c qxplain 222/222
47.87/45.83	c 292166[?] 36157[?] -36159[?]  is mandatory 
47.87/45.83	c qxplain 221/221
48.07/46.00	c 292167[?] 36159[?] -36161[?]  is mandatory 
48.07/46.00	c qxplain 216/220
48.17/46.16	c qxplain 219/220
48.38/46.33	c qxplain 220/220
48.47/46.49	c 292174[?] 36070[?] -36162[?]  is mandatory 
48.47/46.49	c qxplain 219/219
48.67/46.65	c 292176[?] 36162[?] -36163[?]  is mandatory 
48.67/46.65	c qxplain 216/218
48.87/46.82	c qxplain 218/218
48.97/46.98	c 292177[?] 36161[?] -36163[?]  is mandatory 
48.97/46.98	c qxplain 216/217
49.17/47.15	c qxplain 217/217
49.38/47.32	c 292178[?] 36163[?] -36165[?]  is mandatory 
49.38/47.32	c qxplain 216/216
49.48/47.48	c 292185[?] 36071[?] -36166[?]  is mandatory 
49.48/47.48	c qxplain 205/215
49.67/47.65	c qxplain 211/215
49.87/47.81	c qxplain 214/215
49.97/47.98	c qxplain 215/215
50.17/48.14	c 292187[?] 36166[?] -36167[?]  is mandatory 
50.17/48.14	c qxplain 214/214
50.37/48.31	c 292188[?] 36165[?] -36167[?]  is mandatory 
50.37/48.31	c qxplain 211/213
50.48/48.47	c qxplain 213/213
50.67/48.63	c 292189[?] 36167[?] -36169[?]  is mandatory 
50.67/48.63	c qxplain 211/212
50.87/48.80	c qxplain 212/212
50.97/48.96	c 292196[?] 36072[?] -36170[?]  is mandatory 
50.97/48.96	c qxplain 211/211
51.17/49.13	c 292198[?] 36170[?] -36171[?]  is mandatory 
51.17/49.13	c qxplain 205/210
51.27/49.29	c qxplain 208/210
51.47/49.45	c qxplain 210/210
51.68/49.62	c 292199[?] 36169[?] -36171[?]  is mandatory 
51.68/49.62	c qxplain 208/209
51.77/49.79	c qxplain 209/209
51.97/49.95	c 292200[?] 36171[?] -36173[?]  is mandatory 
51.97/49.95	c qxplain 208/208
52.17/50.11	c 292207[?] 36073[?] -36174[?]  is mandatory 
52.17/50.12	c qxplain 205/207
52.27/50.28	c qxplain 207/207
52.47/50.44	c 292209[?] 36174[?] -36175[?]  is mandatory 
52.47/50.44	c qxplain 205/206
52.68/50.61	c qxplain 206/206
52.78/50.77	c 292210[?] 36173[?] -36175[?]  is mandatory 
52.78/50.77	c qxplain 205/205
52.97/50.93	c 292211[?] 36175[?] -36177[?]  is mandatory 
52.97/50.93	c qxplain 164/204
53.17/51.10	c qxplain 185/204
53.27/51.26	c qxplain 195/204
53.47/51.43	c qxplain 200/204
53.57/51.59	c qxplain 203/204
53.78/51.75	c qxplain 204/204
54.44/52.19	c 292218[?] 36074[?] -36178[?]  is mandatory 
54.44/52.19	c qxplain 203/203
54.64/52.36	c 292220[?] 36178[?] -36179[?]  is mandatory 
54.64/52.36	c qxplain 200/202
54.84/52.52	c qxplain 202/202
54.94/52.68	c 292221[?] 36177[?] -36179[?]  is mandatory 
54.94/52.68	c qxplain 200/201
55.14/52.85	c qxplain 201/201
55.35/53.01	c 292222[?] 36179[?] -36181[?]  is mandatory 
55.35/53.01	c qxplain 200/200
55.44/53.17	c 292229[?] 36075[?] -36182[?]  is mandatory 
55.44/53.17	c qxplain 195/199
55.64/53.34	c qxplain 198/199
55.84/53.50	c qxplain 199/199
55.94/53.67	c 292231[?] 36182[?] -36183[?]  is mandatory 
55.94/53.67	c qxplain 198/198
56.14/53.83	c 292232[?] 36181[?] -36183[?]  is mandatory 
56.14/53.83	c qxplain 195/197
56.35/54.00	c qxplain 197/197
56.45/54.16	c 292233[?] 36183[?] -36185[?]  is mandatory 
56.45/54.16	c qxplain 195/196
56.64/54.33	c qxplain 196/196
56.74/54.49	c 292240[?] 36076[?] -36186[?]  is mandatory 
56.74/54.49	c qxplain 195/195
56.94/54.65	c 292242[?] 36186[?] -36187[?]  is mandatory 
56.94/54.65	c qxplain 185/194
57.14/54.82	c qxplain 190/194
57.24/54.98	c qxplain 193/194
57.45/55.15	c qxplain 194/194
57.64/55.31	c 292243[?] 36185[?] -36187[?]  is mandatory 
57.64/55.31	c qxplain 193/193
57.74/55.48	c 292244[?] 36187[?] -36189[?]  is mandatory 
57.74/55.48	c qxplain 190/192
57.94/55.64	c qxplain 192/192
58.14/55.80	c 292251[?] 36077[?] -36190[?]  is mandatory 
58.14/55.80	c qxplain 190/191
58.24/55.97	c qxplain 191/191
58.44/56.13	c 292253[?] 36190[?] -36191[?]  is mandatory 
58.44/56.13	c qxplain 190/190
58.55/56.29	c 292254[?] 36189[?] -36191[?]  is mandatory 
58.55/56.29	c qxplain 185/189
58.74/56.46	c qxplain 188/189
58.94/56.62	c qxplain 189/189
59.04/56.79	c 292255[?] 36191[?] -36193[?]  is mandatory 
59.04/56.79	c qxplain 188/188
59.24/56.95	c 292262[?] 36078[?] -36194[?]  is mandatory 
59.24/56.95	c qxplain 185/187
59.44/57.12	c qxplain 187/187
59.54/57.28	c 292264[?] 36194[?] -36195[?]  is mandatory 
59.54/57.28	c qxplain 185/186
59.75/57.45	c qxplain 186/186
59.94/57.61	c 292265[?] 36193[?] -36195[?]  is mandatory 
59.94/57.61	c qxplain 185/185
60.04/57.78	c 292266[?] 36195[?] -36197[?]  is mandatory 
60.04/57.78	c qxplain 164/184
60.24/57.95	c qxplain 175/184
60.45/58.11	c qxplain 180/184
60.55/58.27	c qxplain 183/184
60.75/58.44	c qxplain 184/184
60.95/58.60	c 292273[?] 36079[?] -36198[?]  is mandatory 
60.95/58.60	c qxplain 183/183
61.05/58.77	c 292275[?] 36198[?] -36199[?]  is mandatory 
61.05/58.77	c qxplain 180/182
61.25/58.93	c qxplain 182/182
61.45/59.10	c 292276[?] 36197[?] -36199[?]  is mandatory 
61.45/59.10	c qxplain 180/181
61.55/59.26	c qxplain 181/181
61.75/59.43	c 292277[?] 36199[?] -36201[?]  is mandatory 
61.75/59.43	c qxplain 180/180
61.85/59.60	c 292284[?] 36080[?] -36202[?]  is mandatory 
61.85/59.60	c qxplain 175/179
62.05/59.76	c qxplain 178/179
62.25/59.93	c qxplain 179/179
62.35/60.09	c 292286[?] 36202[?] -36203[?]  is mandatory 
62.35/60.09	c qxplain 178/178
62.55/60.26	c 292287[?] 36201[?] -36203[?]  is mandatory 
62.55/60.26	c qxplain 175/177
62.75/60.42	c qxplain 177/177
62.85/60.59	c 292288[?] 36203[?] -36205[?]  is mandatory 
62.85/60.59	c qxplain 175/176
63.64/61.04	c qxplain 176/176
63.84/61.20	c 292294[?] 36206[?] -36081[?]  is mandatory 
63.84/61.20	c qxplain 175/175
63.94/61.37	c 292298[?] -36207[?] 36205[?]  is mandatory 
63.94/61.37	c qxplain 164/174
64.14/61.53	c qxplain 170/174
64.34/61.70	c qxplain 173/174
64.44/61.86	c qxplain 174/174
64.64/62.03	c 292299[?] -36209[?] 36207[?]  is mandatory 
64.64/62.03	c qxplain 173/173
64.84/62.20	c 292301[?] 36049[?] 36205[?] -36206[?]  is mandatory 
64.84/62.20	c qxplain 170/172
64.94/62.36	c qxplain 172/172
65.14/62.53	c 292307[?] -36210[?] 36209[?] 36205[?]  is mandatory 
65.14/62.53	c qxplain 170/171
65.24/62.69	c qxplain 171/171
65.44/62.86	c 292310[?] 36210[?] 36017[?] -36049[?]  is mandatory 
65.44/62.86	c qxplain 170/170
65.64/63.02	c 292314[?] -36017[?] 36211[?]  is mandatory 
65.64/63.02	c qxplain 164/169
65.74/63.18	c qxplain 167/169
65.94/63.35	c qxplain 169/169
66.14/63.51	c 292316[?] -36211[?] -36220[?]  is mandatory 
66.14/63.51	c qxplain 167/168
66.24/63.68	c qxplain 168/168
66.43/63.84	c 292318[?] 36220[?] -36228[?]  is mandatory 
66.43/63.84	c qxplain 167/167
66.64/64.01	c 292320[?] 36228[?] -36229[?]  is mandatory 
66.64/64.01	c qxplain 164/166
66.74/64.17	c qxplain 166/166
66.93/64.34	c 292322[?] 36229[?] -36230[?]  is mandatory 
66.93/64.34	c qxplain 164/165
67.13/64.50	c qxplain 165/165
67.23/64.67	c 292324[?] 36230[?] -36231[?]  is mandatory 
67.23/64.67	c qxplain 164/164
67.43/64.83	c 292326[?] 36231[?] -36232[?]  is mandatory 
67.43/64.83	c qxplain 0/163
67.63/65.00	c qxplain 82/163
67.75/65.17	c qxplain 123/163
67.94/65.33	c qxplain 144/163
68.14/65.50	c qxplain 154/163
68.24/65.66	c qxplain 159/163
68.44/65.83	c qxplain 162/163
68.54/65.99	c qxplain 163/163
68.74/66.16	c 292328[?] 36232[?] -36233[?]  is mandatory 
68.74/66.16	c qxplain 162/162
68.95/66.32	c 292330[?] 36233[?] -36234[?]  is mandatory 
68.95/66.32	c qxplain 159/161
69.04/66.49	c qxplain 161/161
69.24/66.65	c 292332[?] 36234[?] -36235[?]  is mandatory 
69.24/66.65	c qxplain 159/160
69.44/66.82	c qxplain 160/160
69.54/66.98	c 292333[?] 36235[?] -36219[?]  is mandatory 
69.54/66.98	c qxplain 159/159
69.74/67.15	c 292337[?] 36270[?] 35986[?]  is mandatory 
69.74/67.15	c qxplain 154/158
69.95/67.32	c qxplain 157/158
70.05/67.48	c qxplain 158/158
70.24/67.65	c 292339[?] 36271[?] 35987[?]  is mandatory 
70.24/67.65	c qxplain 157/157
70.44/67.82	c 292341[?] 36272[?] 35988[?]  is mandatory 
70.44/67.82	c qxplain 154/156
70.54/67.98	c qxplain 156/156
70.74/68.15	c 292343[?] 36273[?] 35989[?]  is mandatory 
70.74/68.15	c qxplain 154/155
70.94/68.32	c qxplain 155/155
71.05/68.49	c 292345[?] 36274[?] 35990[?]  is mandatory 
71.05/68.49	c qxplain 154/154
71.24/68.66	c 292347[?] 36275[?] 35991[?]  is mandatory 
71.24/68.66	c qxplain 144/153
71.44/68.82	c qxplain 149/153
71.54/68.99	c qxplain 152/153
71.74/69.15	c qxplain 153/153
71.94/69.32	c 292349[?] 36276[?] 35992[?]  is mandatory 
71.94/69.32	c qxplain 152/152
72.04/69.49	c 292351[?] 36277[?] 35993[?]  is mandatory 
72.04/69.49	c qxplain 149/151
72.25/69.65	c qxplain 151/151
72.44/69.82	c 292353[?] 36278[?] 35994[?]  is mandatory 
72.44/69.82	c qxplain 149/150
73.27/70.31	c qxplain 150/150
73.37/70.48	c 292355[?] 36279[?] 35995[?]  is mandatory 
73.37/70.48	c qxplain 149/149
73.57/70.65	c 292357[?] 36280[?] 35996[?]  is mandatory 
73.57/70.65	c qxplain 144/148
73.77/70.82	c qxplain 147/148
73.87/70.98	c qxplain 148/148
74.07/71.15	c 292359[?] 36281[?] 35997[?]  is mandatory 
74.07/71.15	c qxplain 147/147
74.27/71.31	c 292361[?] 36282[?] 35998[?]  is mandatory 
74.27/71.31	c qxplain 144/146
74.37/71.48	c qxplain 146/146
74.57/71.65	c 292363[?] 36283[?] 35999[?]  is mandatory 
74.57/71.65	c qxplain 144/145
74.78/71.81	c qxplain 145/145
74.87/71.98	c 292365[?] 36284[?] 36000[?]  is mandatory 
74.87/71.98	c qxplain 144/144
75.07/72.15	c 292367[?] 36285[?] 36001[?]  is mandatory 
75.07/72.15	c qxplain 123/143
75.27/72.32	c qxplain 134/143
75.37/72.48	c qxplain 139/143
75.57/72.65	c qxplain 142/143
75.77/72.81	c qxplain 143/143
75.88/72.98	c 292369[?] 36286[?] 36002[?]  is mandatory 
75.88/72.98	c qxplain 142/142
76.07/73.14	c 292371[?] 36287[?] 36003[?]  is mandatory 
76.07/73.14	c qxplain 139/141
76.27/73.31	c qxplain 141/141
76.37/73.48	c 292373[?] 36288[?] 36004[?]  is mandatory 
76.37/73.48	c qxplain 139/140
76.57/73.64	c qxplain 140/140
76.77/73.81	c 292375[?] 36289[?] 36005[?]  is mandatory 
76.77/73.81	c qxplain 139/139
76.87/73.98	c 292377[?] 36290[?] 36006[?]  is mandatory 
76.87/73.98	c qxplain 134/138
77.07/74.15	c qxplain 137/138
77.27/74.32	c qxplain 138/138
77.37/74.48	c 292379[?] 36291[?] 36007[?]  is mandatory 
77.37/74.48	c qxplain 137/137
77.57/74.65	c 292381[?] 36292[?] 36008[?]  is mandatory 
77.57/74.65	c qxplain 134/136
77.77/74.81	c qxplain 136/136
77.87/74.98	c 292383[?] 36293[?] 36009[?]  is mandatory 
77.87/74.98	c qxplain 134/135
78.07/75.15	c qxplain 135/135
78.27/75.32	c 292385[?] 36294[?] 36010[?]  is mandatory 
78.27/75.32	c qxplain 134/134
78.37/75.49	c 292387[?] 36295[?] 36011[?]  is mandatory 
78.37/75.49	c qxplain 123/133
78.57/75.65	c qxplain 129/133
78.77/75.82	c qxplain 132/133
78.87/75.98	c qxplain 133/133
79.07/76.15	c 292389[?] 36296[?] 36012[?]  is mandatory 
79.07/76.15	c qxplain 132/132
79.27/76.31	c 292391[?] 36297[?] 36013[?]  is mandatory 
79.27/76.31	c qxplain 129/131
79.37/76.48	c qxplain 131/131
79.57/76.64	c 292393[?] 36298[?] 36014[?]  is mandatory 
79.57/76.64	c qxplain 129/130
79.77/76.80	c qxplain 130/130
79.87/76.97	c 292395[?] 36299[?] 36015[?]  is mandatory 
79.87/76.97	c qxplain 129/129
80.07/77.14	c 292398[?] -36016[?] -36300[?]  is mandatory 
80.07/77.14	c qxplain 123/128
80.28/77.30	c qxplain 126/128
80.37/77.47	c qxplain 128/128
80.57/77.63	c 292399[?] 36269[?] 36301[?]  is mandatory 
80.57/77.63	c qxplain 126/127
80.67/77.80	c qxplain 127/127
80.87/77.97	c 292401[?] -36269[?] 36303[?]  is mandatory 
80.87/77.97	c qxplain 126/126
81.07/78.13	c 292403[?] -36301[?] 36302[?]  is mandatory 
81.07/78.13	c qxplain 123/125
81.27/78.30	c qxplain 125/125
81.38/78.47	c 292406[?] -36302[?] 36304[?]  is mandatory 
81.38/78.47	c qxplain 123/124
81.57/78.63	c qxplain 124/124
81.77/78.80	c 292407[?] -36303[?] 36304[?]  is mandatory 
81.77/78.80	c qxplain 123/123
81.87/78.97	c 292410[?] 36305[?] -36270[?]  is mandatory 
81.87/78.97	c qxplain 82/122
82.08/79.14	c qxplain 103/122
82.28/79.30	c qxplain 113/122
82.38/79.47	c qxplain 118/122
82.58/79.63	c qxplain 121/122
82.78/79.80	c qxplain 122/122
82.88/79.97	c 292412[?] 36306[?] -36305[?] -36304[?]  is mandatory 
82.88/79.97	c qxplain 121/121
83.08/80.13	c 292416[?] 36308[?] -36306[?]  is mandatory 
83.08/80.13	c qxplain 118/120
83.28/80.30	c qxplain 120/120
83.38/80.46	c 292421[?] 36309[?] -36271[?]  is mandatory 
83.38/80.46	c qxplain 118/119
83.58/80.62	c qxplain 119/119
83.68/80.79	c 292423[?] 36310[?] -36309[?] -36308[?]  is mandatory 
83.68/80.79	c qxplain 118/118
83.88/80.96	c 292427[?] 36312[?] -36310[?]  is mandatory 
83.88/80.96	c qxplain 113/117
84.08/81.13	c qxplain 116/117
84.18/81.29	c qxplain 117/117
84.38/81.46	c 292432[?] 36313[?] -36272[?]  is mandatory 
84.38/81.46	c qxplain 116/116
84.58/81.63	c 292434[?] 36314[?] -36313[?] -36312[?]  is mandatory 
84.58/81.63	c qxplain 113/115
84.78/81.80	c qxplain 115/115
84.88/81.96	c 292438[?] 36316[?] -36314[?]  is mandatory 
84.88/81.96	c qxplain 113/114
85.08/82.13	c qxplain 114/114
85.18/82.29	c 292443[?] 36317[?] -36273[?]  is mandatory 
85.18/82.29	c qxplain 113/113
85.38/82.46	c 292445[?] 36318[?] -36317[?] -36316[?]  is mandatory 
85.38/82.46	c qxplain 103/112
85.58/82.63	c qxplain 108/112
85.68/82.79	c qxplain 111/112
85.88/82.96	c qxplain 112/112
86.08/83.12	c 292449[?] 36320[?] -36318[?]  is mandatory 
86.08/83.12	c qxplain 111/111
86.18/83.29	c 292454[?] 36321[?] -36274[?]  is mandatory 
86.18/83.29	c qxplain 108/110
86.38/83.45	c qxplain 110/110
86.58/83.62	c 292456[?] 36322[?] -36320[?] -36321[?]  is mandatory 
86.58/83.62	c qxplain 108/109
86.68/83.78	c qxplain 109/109
86.88/83.95	c 292460[?] 36324[?] -36322[?]  is mandatory 
86.88/83.95	c qxplain 108/108
87.08/84.12	c 292465[?] 36325[?] -36275[?]  is mandatory 
87.08/84.12	c qxplain 103/107
87.18/84.28	c qxplain 106/107
87.38/84.45	c qxplain 107/107
87.58/84.61	c 292467[?] 36326[?] -36324[?] -36325[?]  is mandatory 
87.58/84.61	c qxplain 106/106
87.68/84.78	c 292471[?] 36328[?] -36326[?]  is mandatory 
87.68/84.78	c qxplain 103/105
87.88/84.94	c qxplain 105/105
88.08/85.11	c 292476[?] 36329[?] -36276[?]  is mandatory 
88.08/85.11	c qxplain 103/104
88.18/85.27	c qxplain 104/104
88.38/85.44	c 292478[?] 36330[?] -36329[?] -36328[?]  is mandatory 
88.38/85.44	c qxplain 103/103
88.58/85.61	c 292482[?] 36332[?] -36330[?]  is mandatory 
88.58/85.61	c qxplain 82/102
88.68/85.77	c qxplain 93/102
88.88/85.94	c qxplain 98/102
89.09/86.11	c qxplain 101/102
89.19/86.27	c qxplain 102/102
89.39/86.43	c 292487[?] 36333[?] -36277[?]  is mandatory 
89.39/86.43	c qxplain 101/101
89.59/86.60	c 292489[?] 36334[?] -36333[?] -36332[?]  is mandatory 
89.59/86.60	c qxplain 98/100
89.69/86.77	c qxplain 100/100
89.90/86.94	c 292493[?] 36336[?] -36334[?]  is mandatory 
89.90/86.94	c qxplain 98/99
90.10/87.10	c qxplain 99/99
90.20/87.27	c 292498[?] 36337[?] -36278[?]  is mandatory 
90.20/87.27	c qxplain 98/98
90.40/87.44	c 292500[?] 36338[?] -36337[?] -36336[?]  is mandatory 
90.40/87.44	c qxplain 93/97
90.60/87.61	c qxplain 96/97
90.70/87.77	c qxplain 97/97
90.90/87.94	c 292504[?] 36340[?] -36338[?]  is mandatory 
90.90/87.94	c qxplain 96/96
91.10/88.10	c 292509[?] 36341[?] -36279[?]  is mandatory 
91.10/88.10	c qxplain 93/95
91.20/88.27	c qxplain 95/95
91.40/88.43	c 292511[?] 36342[?] -36340[?] -36341[?]  is mandatory 
91.40/88.43	c qxplain 93/94
91.60/88.60	c qxplain 94/94
91.70/88.76	c 292515[?] 36344[?] -36342[?]  is mandatory 
91.70/88.76	c qxplain 93/93
91.90/88.93	c 292520[?] 36345[?] -36280[?]  is mandatory 
91.90/88.93	c qxplain 82/92
92.00/89.10	c qxplain 88/92
92.20/89.26	c qxplain 91/92
92.40/89.43	c qxplain 92/92
92.50/89.59	c 292522[?] 36346[?] -36344[?] -36345[?]  is mandatory 
92.50/89.59	c qxplain 91/91
92.70/89.76	c 292526[?] 36348[?] -36346[?]  is mandatory 
92.70/89.76	c qxplain 88/90
92.90/89.92	c qxplain 90/90
93.00/90.09	c 292531[?] 36349[?] -36281[?]  is mandatory 
93.00/90.09	c qxplain 88/89
93.20/90.25	c qxplain 89/89
93.40/90.42	c 292533[?] 36350[?] -36349[?] -36348[?]  is mandatory 
93.40/90.42	c qxplain 88/88
93.50/90.59	c 292537[?] 36352[?] -36350[?]  is mandatory 
93.50/90.59	c qxplain 82/87
93.69/90.76	c qxplain 85/87
93.89/90.92	c qxplain 87/87
93.99/91.09	c 292542[?] 36353[?] -36282[?]  is mandatory 
93.99/91.09	c qxplain 85/86
94.19/91.25	c qxplain 86/86
94.39/91.42	c 292544[?] 36354[?] -36353[?] -36352[?]  is mandatory 
94.39/91.42	c qxplain 85/85
94.50/91.59	c 292548[?] 36356[?] -36354[?]  is mandatory 
94.50/91.59	c qxplain 82/84
94.69/91.76	c qxplain 84/84
94.89/91.92	c 292553[?] 36357[?] -36283[?]  is mandatory 
94.89/91.92	c qxplain 82/83
94.99/92.09	c qxplain 83/83
95.19/92.25	c 292555[?] 36358[?] -36357[?] -36356[?]  is mandatory 
95.19/92.25	c qxplain 82/82
95.39/92.42	c 292559[?] 36360[?] -36358[?]  is mandatory 
95.39/92.42	c qxplain 0/81
95.49/92.59	c qxplain 41/81
95.70/92.75	c qxplain 62/81
95.90/92.91	c qxplain 72/81
95.99/93.08	c qxplain 77/81
96.19/93.24	c qxplain 80/81
96.40/93.41	c qxplain 81/81
96.50/93.57	c 292564[?] 36361[?] -36284[?]  is mandatory 
96.50/93.57	c qxplain 80/80
96.70/93.74	c 292566[?] 36362[?] -36361[?] -36360[?]  is mandatory 
96.70/93.74	c qxplain 77/79
96.90/93.90	c qxplain 79/79
96.99/94.07	c 292570[?] 36364[?] -36362[?]  is mandatory 
96.99/94.07	c qxplain 77/78
97.19/94.23	c qxplain 78/78
97.39/94.40	c 292575[?] 36365[?] -36285[?]  is mandatory 
97.39/94.40	c qxplain 77/77
97.49/94.57	c 292577[?] 36366[?] -36365[?] -36364[?]  is mandatory 
97.49/94.57	c qxplain 72/76
97.69/94.74	c qxplain 75/76
97.91/94.91	c qxplain 76/76
98.00/95.07	c 292581[?] 36368[?] -36366[?]  is mandatory 
98.00/95.07	c qxplain 75/75
98.20/95.24	c 292586[?] 36369[?] -36286[?]  is mandatory 
98.20/95.24	c qxplain 72/74
98.40/95.40	c qxplain 74/74
98.50/95.57	c 292588[?] 36370[?] -36368[?] -36369[?]  is mandatory 
98.50/95.57	c qxplain 72/73
98.70/95.73	c qxplain 73/73
98.80/95.90	c 292592[?] 36372[?] -36370[?]  is mandatory 
98.80/95.90	c qxplain 72/72
99.01/96.07	c 292597[?] 36373[?] -36287[?]  is mandatory 
99.01/96.07	c qxplain 62/71
99.20/96.23	c qxplain 67/71
99.40/96.40	c qxplain 70/71
99.50/96.57	c qxplain 71/71
99.70/96.73	c 292599[?] 36374[?] -36372[?] -36373[?]  is mandatory 
99.70/96.73	c qxplain 70/70
99.80/96.89	c 292603[?] 36376[?] -36374[?]  is mandatory 
99.80/96.89	c qxplain 67/69
100.01/97.06	c qxplain 69/69
100.20/97.22	c 292608[?] 36377[?] -36288[?]  is mandatory 
100.20/97.22	c qxplain 67/68
100.30/97.39	c qxplain 68/68
100.50/97.56	c 292610[?] 36378[?] -36377[?] -36376[?]  is mandatory 
100.50/97.56	c qxplain 67/67
100.70/97.73	c 292614[?] 36380[?] -36378[?]  is mandatory 
100.70/97.73	c qxplain 62/66
100.80/97.90	c qxplain 65/66
101.00/98.06	c qxplain 66/66
101.21/98.22	c 292619[?] 36381[?] -36289[?]  is mandatory 
101.21/98.22	c qxplain 65/65
101.30/98.39	c 292621[?] 36382[?] -36381[?] -36380[?]  is mandatory 
101.30/98.39	c qxplain 62/64
101.50/98.56	c qxplain 64/64
101.70/98.72	c 292625[?] 36384[?] -36382[?]  is mandatory 
101.70/98.72	c qxplain 62/63
101.80/98.89	c qxplain 63/63
102.00/99.06	c 292630[?] 36385[?] -36290[?]  is mandatory 
102.00/99.06	c qxplain 62/62
102.21/99.23	c 292632[?] 36386[?] -36385[?] -36384[?]  is mandatory 
102.21/99.23	c qxplain 41/61
102.31/99.39	c qxplain 52/61
102.50/99.55	c qxplain 57/61
102.70/99.72	c qxplain 60/61
102.80/99.89	c qxplain 61/61
103.00/100.05	c 292636[?] 36388[?] -36386[?]  is mandatory 
103.00/100.05	c qxplain 60/60
103.20/100.21	c 292641[?] 36389[?] -36291[?]  is mandatory 
103.20/100.21	c qxplain 57/59
103.32/100.38	c qxplain 59/59
103.51/100.55	c 292643[?] 36390[?] -36388[?] -36389[?]  is mandatory 
103.51/100.55	c qxplain 57/58
103.71/100.71	c qxplain 58/58
103.81/100.88	c 292647[?] 36392[?] -36390[?]  is mandatory 
103.81/100.88	c qxplain 57/57
104.01/101.05	c 292652[?] 36393[?] -36292[?]  is mandatory 
104.01/101.05	c qxplain 52/56
104.21/101.21	c qxplain 55/56
104.31/101.38	c qxplain 56/56
104.52/101.54	c 292654[?] 36394[?] -36392[?] -36393[?]  is mandatory 
104.52/101.54	c qxplain 55/55
104.71/101.71	c 292658[?] 36396[?] -36394[?]  is mandatory 
104.71/101.71	c qxplain 52/54
104.81/101.87	c qxplain 54/54
105.01/102.04	c 292663[?] 36397[?] -36293[?]  is mandatory 
105.01/102.04	c qxplain 52/53
105.21/102.20	c qxplain 53/53
105.31/102.37	c 292665[?] 36398[?] -36397[?] -36396[?]  is mandatory 
105.31/102.37	c qxplain 52/52
105.53/102.55	c 292669[?] 36400[?] -36398[?]  is mandatory 
105.53/102.55	c qxplain 41/51
105.72/102.72	c qxplain 47/51
105.82/102.88	c qxplain 50/51
106.02/103.05	c qxplain 51/51
106.22/103.21	c 292674[?] 36401[?] -36294[?]  is mandatory 
106.22/103.21	c qxplain 50/50
106.32/103.38	c 292676[?] 36402[?] -36401[?] -36400[?]  is mandatory 
106.32/103.38	c qxplain 47/49
106.52/103.54	c qxplain 49/49
106.73/103.71	c 292680[?] 36404[?] -36402[?]  is mandatory 
106.73/103.71	c qxplain 47/48
106.82/103.87	c qxplain 48/48
107.02/104.04	c 292685[?] 36405[?] -36295[?]  is mandatory 
107.02/104.04	c qxplain 47/47
107.22/104.21	c 292687[?] 36406[?] -36405[?] -36404[?]  is mandatory 
107.22/104.21	c qxplain 41/46
107.32/104.38	c qxplain 44/46
107.52/104.54	c qxplain 46/46
107.72/104.71	c 292691[?] 36408[?] -36406[?]  is mandatory 
107.72/104.71	c qxplain 44/45
107.83/104.87	c qxplain 45/45
108.02/105.04	c 292696[?] 36409[?] -36296[?]  is mandatory 
108.02/105.04	c qxplain 44/44
108.22/105.21	c 292698[?] 36410[?] -36409[?] -36408[?]  is mandatory 
108.22/105.21	c qxplain 41/43
108.32/105.37	c qxplain 43/43
108.52/105.54	c 292702[?] 36412[?] -36410[?]  is mandatory 
108.52/105.54	c qxplain 41/42
108.72/105.70	c qxplain 42/42
108.82/105.87	c 292707[?] 36413[?] -36297[?]  is mandatory 
108.82/105.87	c qxplain 41/41
109.02/106.04	c 292709[?] 36414[?] -36413[?] -36412[?]  is mandatory 
109.02/106.04	c qxplain 0/40
109.22/106.20	c qxplain 21/40
109.32/106.37	c qxplain 31/40
109.52/106.53	c qxplain 36/40
109.72/106.70	c qxplain 39/40
109.82/106.86	c qxplain 40/40
110.02/107.03	c 292713[?] 36416[?] -36414[?]  is mandatory 
110.02/107.03	c qxplain 39/39
110.12/107.19	c 292718[?] 36417[?] -36298[?]  is mandatory 
110.12/107.19	c qxplain 36/38
110.32/107.36	c qxplain 38/38
110.52/107.53	c 292720[?] 36418[?] -36416[?] -36417[?]  is mandatory 
110.52/107.53	c qxplain 36/37
110.62/107.69	c qxplain 37/37
110.82/107.86	c 292724[?] 36420[?] -36418[?]  is mandatory 
110.82/107.86	c qxplain 36/36
111.02/108.03	c 292729[?] 36421[?] -36299[?]  is mandatory 
111.02/108.03	c qxplain 31/35
111.12/108.19	c qxplain 34/35
111.32/108.36	c qxplain 35/35
111.52/108.53	c 292731[?] 36422[?] -36420[?] -36421[?]  is mandatory 
111.52/108.53	c qxplain 34/34
111.62/108.69	c 292735[?] 36424[?] -36422[?]  is mandatory 
111.62/108.69	c qxplain 31/33
111.82/108.86	c qxplain 33/33
112.02/109.02	c 292741[?] 36300[?] -36425[?]  is mandatory 
112.02/109.02	c qxplain 31/32
112.12/109.19	c qxplain 32/32
112.32/109.36	c 292742[?] 36426[?] -36424[?] -36425[?]  is mandatory 
112.32/109.36	c qxplain 31/31
112.52/109.53	c 292743[?] 36425[?] -36426[?]  is mandatory 
112.52/109.53	c qxplain 21/30
112.62/109.69	c qxplain 26/30
112.82/109.86	c qxplain 29/30
113.02/110.02	c qxplain 30/30
113.13/110.20	c 292745[?] 36426[?] -36428[?]  is mandatory 
113.13/110.20	c qxplain 29/29
113.33/110.36	c 292746[?] 36428[?] -36426[?]  is mandatory 
113.33/110.36	c qxplain 26/28
113.53/110.53	c qxplain 28/28
113.73/110.71	c 292748[?] -36424[?] 36425[?] 36268[?]  is mandatory 
113.73/110.71	c qxplain 26/27
113.83/110.88	c qxplain 27/27
114.03/111.05	c 292749[?] 36425[?] 36424[?] -36268[?]  is mandatory 
114.03/111.05	c qxplain 26/26
114.23/111.22	c 292750[?] -36268[?] -36424[?] -36425[?]  is mandatory 
114.23/111.22	c qxplain 21/25
114.33/111.38	c qxplain 24/25
114.52/111.55	c qxplain 25/25
114.72/111.72	c 292752[?] -36424[?] 36428[?] 36429[?]  is mandatory 
114.72/111.72	c qxplain 24/24
114.93/111.90	c 292753[?] 36428[?] 36424[?] -36429[?]  is mandatory 
114.93/111.90	c qxplain 21/23
115.03/112.07	c qxplain 23/23
115.23/112.23	c 292754[?] -36428[?] -36424[?] -36429[?]  is mandatory 
115.23/112.23	c qxplain 21/22
115.43/112.40	c qxplain 22/22
115.53/112.57	c 292755[?] 36268[?] 36429[?] 36236[?]  is mandatory 
115.53/112.57	c qxplain 21/21
115.73/112.74	c 292756[?] -36268[?] -36429[?] 36236[?]  is mandatory 
115.73/112.74	c qxplain 0/20
115.93/112.90	c qxplain 11/20
116.03/113.07	c qxplain 16/20
116.23/113.23	c qxplain 19/20
116.43/113.40	c qxplain 20/20
116.53/113.57	c 292760[?] -36236[?] 36430[?]  is mandatory 
116.53/113.57	c qxplain 19/19
116.73/113.76	c 292762[?] -36430[?] -36440[?]  is mandatory 
116.73/113.76	c qxplain 16/18
116.93/113.92	c qxplain 18/18
117.03/114.09	c 292764[?] 36440[?] -36448[?]  is mandatory 
117.03/114.09	c qxplain 16/17
117.23/114.25	c qxplain 17/17
117.43/114.42	c 292766[?] 36448[?] -36449[?]  is mandatory 
117.43/114.42	c qxplain 16/16
117.53/114.59	c 292768[?] 36449[?] -36450[?]  is mandatory 
117.53/114.59	c qxplain 11/15
117.74/114.75	c qxplain 14/15
117.93/114.92	c qxplain 15/15
118.03/115.08	c 292770[?] 36450[?] -36451[?]  is mandatory 
118.03/115.08	c qxplain 14/14
118.24/115.25	c 292772[?] 36451[?] -36452[?]  is mandatory 
118.24/115.25	c qxplain 11/13
118.44/115.42	c qxplain 13/13
118.54/115.58	c 292774[?] 36452[?] -36453[?]  is mandatory 
118.54/115.58	c qxplain 11/12
118.74/115.74	c qxplain 12/12
118.94/115.91	c 292776[?] 36453[?] -36454[?]  is mandatory 
118.94/115.91	c qxplain 11/11
119.04/116.08	c 292778[?] 36454[?] -36455[?]  is mandatory 
119.04/116.08	c qxplain 0/10
119.23/116.24	c qxplain 6/10
119.43/116.41	c qxplain 9/10
119.53/116.58	c qxplain 10/10
119.73/116.74	c 292779[?] 36455[?] -36439[?]  is mandatory 
119.73/116.74	c qxplain 9/9
119.94/116.91	c 292781[?] 36439[?] 36438[?]  is mandatory 
119.94/116.91	c qxplain 6/8
120.03/117.08	c qxplain 8/8
120.23/117.24	c 292968[?] -36438[?] -36579[?]  is mandatory 
120.23/117.24	c qxplain 6/7
120.43/117.41	c qxplain 7/7
120.53/117.58	c 292972[?] 36219[?] -36580[?]  is mandatory 
120.53/117.58	c qxplain 6/6
120.73/117.74	c 292973[?] 36579[?] -36580[?]  is mandatory 
120.73/117.74	c qxplain 0/5
120.95/117.92	c qxplain 3/5
121.05/118.08	c qxplain 5/5
121.24/118.25	c 292976[?] -36581[?] 36580[?]  is mandatory 
121.24/118.25	c qxplain 3/4
121.44/118.41	c qxplain 4/4
121.54/118.58	c 294686[?] -37704[?] 36581[?]  is mandatory 
121.54/118.58	c qxplain 3/3
121.74/118.75	c 294690[?] -37705[?] 37704[?]  is mandatory 
121.74/118.75	c qxplain 0/2
121.94/118.92	c qxplain 2/2
122.05/119.09	c 457688[?] -96252[?] 37705[?]  is mandatory 
122.05/119.09	c qxplain 0/1
122.24/119.25	c qxplain 1/1
122.44/119.42	c 628985[?] -159598[?] 96252[?]  is mandatory 
122.44/119.42	c qxplain 0/0
122.54/119.59	c 686979[?] 178771[?] 159598[?]  is mandatory 
123.11/119.98	c Size of the MUS: 328
123.11/119.98	c Unsat core  computation wall clock time (in seconds) : 114.015
123.11/119.98	c starts		: 662
123.11/119.98	c conflicts		: 1058
123.11/119.98	c decisions		: 117384235
123.11/119.98	c propagations		: 457822882
123.11/119.98	c inspects		: 31201011
123.11/119.98	c shortcuts		: 0
123.11/119.98	c learnt literals	: 0
123.11/119.98	c learnt binary clauses	: 0
123.11/119.98	c learnt ternary clauses	: 2
123.11/119.98	c learnt constraints	: 1057
123.11/119.98	c ignored constraints	: 0
123.11/119.98	c root simplifications	: 0
123.11/119.98	c removed literals (reason simplification)	: 49
123.11/119.98	c reason swapping (by a shorter reason)	: 0
123.11/119.98	c Calls to reduceDB	: 0
123.11/119.98	c speed (assignments/second)	: 8.21944132854578E8
123.11/119.98	c non guided choices	117358182
123.11/119.98	c learnt constraints type 
123.11/119.98	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 1057
123.11/119.98	c constraints type 
123.11/119.98	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 486867
123.11/119.98	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 21343
123.11/119.98	s UNSATISFIABLE
123.11/119.98	v 21343 113121 113123 113125 113127 113129 113131 113133 113135 113137 113139 113141 113143 113145 113147 113149 113151 113153 113155 113157 113159 113161 113163 113165 113167 113169 113171 113173 113175 113177 113179 113180 113194 113196 113198 113205 113207 113208 113209 113216 113218 113219 113220 113227 113229 113230 113231 113238 113240 113241 113242 113249 113251 113252 113253 113260 113262 113263 113264 113271 113273 113274 113275 113282 113284 113285 113286 113293 113295 113296 113297 113304 113306 113307 113308 113315 113317 113318 113319 113326 113328 113329 113330 113337 113339 113340 113341 113348 113350 113351 113352 113359 113361 113362 113363 113370 113372 113373 113374 113381 113383 113384 113385 113392 113394 113395 113396 113403 113405 113406 113407 113414 113416 113417 113418 113425 113427 113428 113429 113436 113438 113439 113440 113447 113449 113450 113451 113458 113460 113461 113462 113469 113471 113472 113473 113480 113482 113483 113484 113491 113493 113494 113495 113502 113504 113505 113506 113513 113515 113516 113517 113523 113527 113528 113530 113536 113539 113543 113545 113547 113549 113551 113553 113555 113557 113559 113561 113562 113566 113568 113570 113572 113574 113576 113578 113580 113582 113584 113586 113588 113590 113592 113594 113596 113598 113600 113602 113604 113606 113608 113610 113612 113614 113616 113618 113620 113622 113624 113627 113628 113630 113632 113635 113636 113639 113641 113645 113650 113652 113656 113661 113663 113667 113672 113674 113678 113683 113685 113689 113694 113696 113700 113705 113707 113711 113716 113718 113722 113727 113729 113733 113738 113740 113744 113749 113751 113755 113760 113762 113766 113771 113773 113777 113782 113784 113788 113793 113795 113799 113804 113806 113810 113815 113817 113821 113826 113828 113832 113837 113839 113843 113848 113850 113854 113859 113861 113865 113870 113872 113876 113881 113883 113887 113892 113894 113898 113903 113905 113909 113914 113916 113920 113925 113927 113931 113936 113938 113942 113947 113949 113953 113958 113960 113964 113970 113971 113972 113974 113975 113977 113978 113979 113981 113982 113983 113984 113985 113989 113991 113993 113995 113997 113999 114001 114003 114005 114007 114008 114010 114197 114201 114202 114205 115915 115919 278917 450214 508208 0
123.11/119.98	c Total wall clock time (in seconds) : 119.678

Verifier Data

OK	328

Watcher Data

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-3493576-1307800902/watcher-3493576-1307800902 -o /tmp/evaluation-result-3493576-1307800902/solver-3493576-1307800902 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3493576-1307800902.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: 2.15 2.09 1.95 2/194 17713
/proc/meminfo: memFree=29320532/32951124 swapFree=67076880/67111528
[pid=17713] ppid=17711 vsize=11804 CPUtime=0 cores=1,3
/proc/17713/stat : 17713 (runsolver) S 17711 17713 30365 0 -1 4202560 41 0 0 0 0 0 0 0 23 0 1 0 891687947 12087296 51 33554432000 4194304 5436572 140735880552224 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699960631 0 0 17 1 0 0 0
/proc/17713/statm: 2951 51 31 304 0 2643 0

[startup+0.0676081 s]
/proc/loadavg: 2.15 2.09 1.95 2/194 17713
/proc/meminfo: memFree=29320532/32951124 swapFree=67076880/67111528
[pid=17713] ppid=17711 vsize=11804 CPUtime=0 cores=1,3
/proc/17713/stat : 17713 (runsolver) S 17711 17713 30365 0 -1 4202560 41 0 0 0 0 0 0 0 23 0 1 0 891687947 12087296 51 33554432000 4194304 5436572 140735880552224 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699960631 0 0 17 1 0 0 0
/proc/17713/statm: 2951 51 31 304 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11804

[startup+0.100606 s]
/proc/loadavg: 2.15 2.09 1.95 2/194 17713
/proc/meminfo: memFree=29320532/32951124 swapFree=67076880/67111528
[pid=17713] ppid=17711 vsize=11804 CPUtime=0 cores=1,3
/proc/17713/stat : 17713 (runsolver) S 17711 17713 30365 0 -1 4202560 41 0 0 0 0 0 0 0 23 0 1 0 891687947 12087296 51 33554432000 4194304 5436572 140735880552224 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699960631 0 0 17 1 0 0 0
/proc/17713/statm: 2951 51 31 304 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11804

[startup+0.300567 s]
/proc/loadavg: 2.15 2.09 1.95 2/194 17713
/proc/meminfo: memFree=29320532/32951124 swapFree=67076880/67111528
[pid=17713] ppid=17711 vsize=6364156 CPUtime=0.09 cores=1,3
/proc/17713/stat : 17713 (java) S 17711 17713 30365 0 -1 4202496 8963 0 1 0 8 1 0 0 23 0 18 0 891687947 6516895744 8659 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17713/statm: 1591039 8659 1751 9 0 1581777 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6364156

[startup+0.700493 s]
/proc/loadavg: 2.15 2.09 1.95 2/194 17713
/proc/meminfo: memFree=29320532/32951124 swapFree=67076880/67111528
[pid=17713] ppid=17711 vsize=6438644 CPUtime=0.84 cores=1,3
/proc/17713/stat : 17713 (java) S 17711 17713 30365 0 -1 4202496 30682 0 1 0 80 4 0 0 23 0 18 0 891687947 6593171456 29869 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17713/statm: 1609661 29874 2204 9 0 1600399 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 6438644

[startup+1.50131 s]
/proc/loadavg: 2.15 2.09 1.95 3/213 17740
/proc/meminfo: memFree=29088772/32951124 swapFree=67076880/67111528
[pid=17713] ppid=17711 vsize=6439672 CPUtime=1.93 cores=1,3
/proc/17713/stat : 17713 (java) S 17711 17713 30365 0 -1 4202496 80848 0 1 0 183 10 0 0 23 0 19 0 891687947 6594224128 80033 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17713/statm: 1609918 80033 2216 9 0 1600656 0
[pid=17713/tid=17717] ppid=17711 vsize=6439672 CPUtime=1.28 cores=1,3
/proc/17713/task/17717/stat : 17717 (java) R 17711 17713 30365 0 -1 4202560 76476 0 1 0 119 9 0 0 20 0 19 0 891687968 6594224128 80033 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 46912505227952 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17713/tid=17718] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17718/stat : 17718 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 80033 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17719] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17719/stat : 17719 (java) S 17711 17713 30365 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 80033 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17720] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17720/stat : 17720 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 80033 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17721] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17721/stat : 17721 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 80033 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17722] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17722/stat : 17722 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 80033 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17723] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17723/stat : 17723 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 80033 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17724] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17724/stat : 17724 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 80033 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17725] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17725/stat : 17725 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 80033 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17726] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17726/stat : 17726 (java) S 17711 17713 30365 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 891687970 6594224128 80033 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491840 0 0 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17727] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17727/stat : 17727 (java) S 17711 17713 30365 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 891687971 6594224128 80033 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17728] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17728/stat : 17728 (java) S 17711 17713 30365 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 891687971 6594224128 80033 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17729] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17729/stat : 17729 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687973 6594224128 80033 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699498929 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17730] ppid=17711 vsize=6439672 CPUtime=0.24 cores=1,3
/proc/17713/task/17730/stat : 17730 (java) R 17711 17713 30365 0 -1 4202560 290 0 0 0 24 0 0 0 20 0 19 0 891687973 6594224128 80034 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17713/tid=17731] ppid=17711 vsize=6439672 CPUtime=0.38 cores=1,3
/proc/17713/task/17731/stat : 17731 (java) R 17711 17713 30365 0 -1 4202560 2920 0 0 0 38 0 0 0 20 0 19 0 891687973 6594224128 80034 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 47872752652560 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17713/tid=17732] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17732/stat : 17732 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687973 6594224128 80034 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17733] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17733/stat : 17733 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 891687973 6594224128 80034 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491840 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 6439672

[startup+3.10106 s]
/proc/loadavg: 2.15 2.09 1.95 3/213 17750
/proc/meminfo: memFree=29006684/32951124 swapFree=67076880/67111528
[pid=17713] ppid=17711 vsize=6439672 CPUtime=3.73 cores=1,3
/proc/17713/stat : 17713 (java) S 17711 17713 30365 0 -1 4202496 81327 0 1 0 363 10 0 0 23 0 19 0 891687947 6594224128 80511 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17713/statm: 1609918 80511 2225 9 0 1600656 0
[pid=17713/tid=17717] ppid=17711 vsize=6439672 CPUtime=2.88 cores=1,3
/proc/17713/task/17717/stat : 17717 (java) R 17711 17713 30365 0 -1 4202560 76912 0 1 0 279 9 0 0 25 0 19 0 891687968 6594224128 80511 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 46912505644487 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17713/tid=17718] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17718/stat : 17718 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 80511 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17719] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17719/stat : 17719 (java) S 17711 17713 30365 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 80511 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17720] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17720/stat : 17720 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 80511 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17721] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17721/stat : 17721 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 80511 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17722] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17722/stat : 17722 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 80511 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17723] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17723/stat : 17723 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 80511 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17724] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17724/stat : 17724 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 80511 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17725] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17725/stat : 17725 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 80511 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17726] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17726/stat : 17726 (java) S 17711 17713 30365 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 891687970 6594224128 80511 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491840 0 0 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17727] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17727/stat : 17727 (java) S 17711 17713 30365 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 891687971 6594224128 80511 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17728] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17728/stat : 17728 (java) S 17711 17713 30365 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 891687971 6594224128 80511 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17729] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17729/stat : 17729 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687973 6594224128 80511 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699498929 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17730] ppid=17711 vsize=6439672 CPUtime=0.37 cores=1,3
/proc/17713/task/17730/stat : 17730 (java) S 17711 17713 30365 0 -1 4202560 313 0 0 0 37 0 0 0 15 0 19 0 891687973 6594224128 80511 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0
[pid=17713/tid=17731] ppid=17711 vsize=6439672 CPUtime=0.46 cores=1,3
/proc/17713/task/17731/stat : 17731 (java) S 17711 17713 30365 0 -1 4202560 2939 0 0 0 46 0 0 0 15 0 19 0 891687973 6594224128 80511 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0
[pid=17713/tid=17732] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17732/stat : 17732 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687973 6594224128 80511 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17733] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17733/stat : 17733 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 891687973 6594224128 80511 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491840 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0
[pid=17713/tid=17744] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17744/stat : 17744 (java) S 17711 17713 30365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 891688086 6594224128 80511 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491840 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 6439672

[startup+6.30144 s]
/proc/loadavg: 2.21 2.10 1.95 3/213 17779
/proc/meminfo: memFree=29005416/32951124 swapFree=67076880/67111528
[pid=17713] ppid=17711 vsize=6439672 CPUtime=7.06 cores=1,3
/proc/17713/stat : 17713 (java) S 17711 17713 30365 0 -1 4202496 90454 0 1 0 695 11 0 0 23 0 19 0 891687947 6594224128 89636 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17713/statm: 1609918 89636 2229 9 0 1600656 0
[pid=17713/tid=17717] ppid=17711 vsize=6439672 CPUtime=6.07 cores=1,3
/proc/17713/task/17717/stat : 17717 (java) R 17711 17713 30365 0 -1 4202560 86018 0 1 0 597 10 0 0 25 0 19 0 891687968 6594224128 89636 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 46912505923397 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17713/tid=17718] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17718/stat : 17718 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 89636 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17719] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17719/stat : 17719 (java) S 17711 17713 30365 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 89636 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17720] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17720/stat : 17720 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 89636 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17721] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17721/stat : 17721 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 89636 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17722] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17722/stat : 17722 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 89636 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17723] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17723/stat : 17723 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 89636 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17724] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17724/stat : 17724 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 89636 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17725] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17725/stat : 17725 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 89636 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17726] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17726/stat : 17726 (java) S 17711 17713 30365 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 891687970 6594224128 89636 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491840 0 0 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17727] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17727/stat : 17727 (java) S 17711 17713 30365 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 891687971 6594224128 89636 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17728] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17728/stat : 17728 (java) S 17711 17713 30365 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 891687971 6594224128 89636 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17729] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17729/stat : 17729 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687973 6594224128 89636 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699498929 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17730] ppid=17711 vsize=6439672 CPUtime=0.45 cores=1,3
/proc/17713/task/17730/stat : 17730 (java) S 17711 17713 30365 0 -1 4202560 324 0 0 0 45 0 0 0 15 0 19 0 891687973 6594224128 89636 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17731] ppid=17711 vsize=6439672 CPUtime=0.52 cores=1,3
/proc/17713/task/17731/stat : 17731 (java) S 17711 17713 30365 0 -1 4202560 2948 0 0 0 52 0 0 0 15 0 19 0 891687973 6594224128 89636 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0
[pid=17713/tid=17732] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17732/stat : 17732 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687973 6594224128 89636 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17733] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17733/stat : 17733 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 891687973 6594224128 89636 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491840 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.06
Current children cumulated vsize (KiB) 6439672

[startup+12.7013 s]
/proc/loadavg: 2.20 2.10 1.95 3/214 17860
/proc/meminfo: memFree=28264136/32951124 swapFree=67076880/67111528
[pid=17713] ppid=17711 vsize=6439672 CPUtime=13.52 cores=1,3
/proc/17713/stat : 17713 (java) S 17711 17713 30365 0 -1 4202496 287564 0 1 0 1320 32 0 0 23 0 19 0 891687947 6594224128 286689 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0

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

[pid=17713/tid=17719] ppid=17711 vsize=6439672 CPUtime=0.5 cores=1,3
/proc/17713/task/17719/stat : 17719 (java) S 17711 17713 30365 0 -1 4202560 19556 0 0 0 48 2 0 0 16 0 19 0 891687969 6594224128 577533 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17720] ppid=17711 vsize=6439672 CPUtime=0.71 cores=1,3
/proc/17713/task/17720/stat : 17720 (java) S 17711 17713 30365 0 -1 4202560 18695 0 0 0 69 2 0 0 15 0 19 0 891687969 6594224128 577533 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17721] ppid=17711 vsize=6439672 CPUtime=0.79 cores=1,3
/proc/17713/task/17721/stat : 17721 (java) S 17711 17713 30365 0 -1 4202560 34940 0 0 0 75 4 0 0 15 0 19 0 891687969 6594224128 577533 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17722] ppid=17711 vsize=6439672 CPUtime=0.45 cores=1,3
/proc/17713/task/17722/stat : 17722 (java) S 17711 17713 30365 0 -1 4202560 3026 0 0 0 45 0 0 0 15 0 19 0 891687969 6594224128 577533 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17723] ppid=17711 vsize=6439672 CPUtime=0.3 cores=1,3
/proc/17713/task/17723/stat : 17723 (java) S 17711 17713 30365 0 -1 4202560 18450 0 0 0 28 2 0 0 16 0 19 0 891687969 6594224128 577533 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0
[pid=17713/tid=17724] ppid=17711 vsize=6439672 CPUtime=0.45 cores=1,3
/proc/17713/task/17724/stat : 17724 (java) S 17711 17713 30365 0 -1 4202560 20435 0 0 0 43 2 0 0 15 0 19 0 891687969 6594224128 577533 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17725] ppid=17711 vsize=6439672 CPUtime=0.51 cores=1,3
/proc/17713/task/17725/stat : 17725 (java) S 17711 17713 30365 0 -1 4202560 42178 0 0 0 47 4 0 0 16 0 19 0 891687969 6594224128 577533 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17726] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17726/stat : 17726 (java) S 17711 17713 30365 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 891687970 6594224128 577533 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491840 0 0 0 16800975 18446604471161680896 0 0 -1 3 0 0 0
[pid=17713/tid=17727] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17727/stat : 17727 (java) S 17711 17713 30365 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 891687971 6594224128 577533 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0
[pid=17713/tid=17728] ppid=17711 vsize=6439672 CPUtime=0.04 cores=1,3
/proc/17713/task/17728/stat : 17728 (java) S 17711 17713 30365 0 -1 4202560 49 0 0 0 4 0 0 0 16 0 19 0 891687971 6594224128 577533 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0
[pid=17713/tid=17729] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17729/stat : 17729 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687973 6594224128 577533 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699498929 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17730] ppid=17711 vsize=6439672 CPUtime=0.54 cores=1,3
/proc/17713/task/17730/stat : 17730 (java) S 17711 17713 30365 0 -1 4202560 336 0 0 0 54 0 0 0 15 0 19 0 891687973 6594224128 577533 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17731] ppid=17711 vsize=6439672 CPUtime=0.52 cores=1,3
/proc/17713/task/17731/stat : 17731 (java) S 17711 17713 30365 0 -1 4202560 2948 0 0 0 52 0 0 0 15 0 19 0 891687973 6594224128 577533 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0
[pid=17713/tid=17732] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17732/stat : 17732 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687973 6594224128 577533 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17733] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17733/stat : 17733 (java) S 17711 17713 30365 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 891687973 6594224128 577533 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491840 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 118.44
Current children cumulated vsize (KiB) 6439672

[startup+118.601 s]
/proc/loadavg: 2.03 2.07 1.95 3/214 19083
/proc/meminfo: memFree=28548968/32951124 swapFree=67076880/67111528
[pid=17713] ppid=17711 vsize=6439672 CPUtime=121.64 cores=1,3
/proc/17713/stat : 17713 (java) S 17711 17713 30365 0 -1 4202496 581500 0 1 0 12092 72 0 0 23 0 18 0 891687947 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17713/statm: 1609918 577535 2243 9 0 1600656 0
[pid=17713/tid=17717] ppid=17711 vsize=6439672 CPUtime=116.15 cores=1,3
/proc/17713/task/17717/stat : 17717 (java) R 17711 17713 30365 0 -1 4202560 391656 0 1 0 11569 46 0 0 20 0 18 0 891687968 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 46912505366054 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17713/tid=17718] ppid=17711 vsize=6439672 CPUtime=0.51 cores=1,3
/proc/17713/task/17718/stat : 17718 (java) S 17711 17713 30365 0 -1 4202560 27962 0 0 0 47 4 0 0 16 0 18 0 891687969 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17719] ppid=17711 vsize=6439672 CPUtime=0.51 cores=1,3
/proc/17713/task/17719/stat : 17719 (java) S 17711 17713 30365 0 -1 4202560 19556 0 0 0 49 2 0 0 16 0 18 0 891687969 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0
[pid=17713/tid=17720] ppid=17711 vsize=6439672 CPUtime=0.71 cores=1,3
/proc/17713/task/17720/stat : 17720 (java) S 17711 17713 30365 0 -1 4202560 18695 0 0 0 69 2 0 0 15 0 18 0 891687969 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17721] ppid=17711 vsize=6439672 CPUtime=0.79 cores=1,3
/proc/17713/task/17721/stat : 17721 (java) S 17711 17713 30365 0 -1 4202560 34940 0 0 0 75 4 0 0 15 0 18 0 891687969 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17722] ppid=17711 vsize=6439672 CPUtime=0.45 cores=1,3
/proc/17713/task/17722/stat : 17722 (java) S 17711 17713 30365 0 -1 4202560 3026 0 0 0 45 0 0 0 15 0 18 0 891687969 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17723] ppid=17711 vsize=6439672 CPUtime=0.3 cores=1,3
/proc/17713/task/17723/stat : 17723 (java) S 17711 17713 30365 0 -1 4202560 18450 0 0 0 28 2 0 0 15 0 18 0 891687969 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0
[pid=17713/tid=17724] ppid=17711 vsize=6439672 CPUtime=0.45 cores=1,3
/proc/17713/task/17724/stat : 17724 (java) S 17711 17713 30365 0 -1 4202560 20435 0 0 0 43 2 0 0 15 0 18 0 891687969 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17725] ppid=17711 vsize=6439672 CPUtime=0.51 cores=1,3
/proc/17713/task/17725/stat : 17725 (java) S 17711 17713 30365 0 -1 4202560 42178 0 0 0 47 4 0 0 15 0 18 0 891687969 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17726] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17726/stat : 17726 (java) S 17711 17713 30365 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 18 0 891687970 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491840 0 0 0 16800975 18446604471161680896 0 0 -1 3 0 0 0
[pid=17713/tid=17727] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17727/stat : 17727 (java) S 17711 17713 30365 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 891687971 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0
[pid=17713/tid=17728] ppid=17711 vsize=6439672 CPUtime=0.05 cores=1,3
/proc/17713/task/17728/stat : 17728 (java) S 17711 17713 30365 0 -1 4202560 49 0 0 0 5 0 0 0 16 0 18 0 891687971 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0
[pid=17713/tid=17729] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17729/stat : 17729 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891687973 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699498929 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17730] ppid=17711 vsize=6439672 CPUtime=0.54 cores=1,3
/proc/17713/task/17730/stat : 17730 (java) S 17711 17713 30365 0 -1 4202560 336 0 0 0 54 0 0 0 15 0 18 0 891687973 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17731] ppid=17711 vsize=6439672 CPUtime=0.52 cores=1,3
/proc/17713/task/17731/stat : 17731 (java) S 17711 17713 30365 0 -1 4202560 2948 0 0 0 52 0 0 0 15 0 18 0 891687973 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0
[pid=17713/tid=17732] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17732/stat : 17732 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891687973 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17733] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17733/stat : 17733 (java) S 17711 17713 30365 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 18 0 891687973 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491840 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 121.64
Current children cumulated vsize (KiB) 6439672

[startup+119.401 s]
/proc/loadavg: 2.03 2.07 1.95 3/213 19089
/proc/meminfo: memFree=28548976/32951124 swapFree=67076880/67111528
[pid=17713] ppid=17711 vsize=6439672 CPUtime=122.44 cores=1,3
/proc/17713/stat : 17713 (java) S 17711 17713 30365 0 -1 4202496 581503 0 1 0 12172 72 0 0 23 0 19 0 891687947 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17713/statm: 1609918 577535 2243 9 0 1600656 0
[pid=17713/tid=17717] ppid=17711 vsize=6439672 CPUtime=116.95 cores=1,3
/proc/17713/task/17717/stat : 17717 (java) R 17711 17713 30365 0 -1 4202560 391657 0 1 0 11649 46 0 0 25 0 19 0 891687968 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 46912505837756 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17713/tid=17718] ppid=17711 vsize=6439672 CPUtime=0.51 cores=1,3
/proc/17713/task/17718/stat : 17718 (java) S 17711 17713 30365 0 -1 4202560 27962 0 0 0 47 4 0 0 16 0 19 0 891687969 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17719] ppid=17711 vsize=6439672 CPUtime=0.51 cores=1,3
/proc/17713/task/17719/stat : 17719 (java) S 17711 17713 30365 0 -1 4202560 19556 0 0 0 49 2 0 0 16 0 19 0 891687969 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0
[pid=17713/tid=17720] ppid=17711 vsize=6439672 CPUtime=0.71 cores=1,3
/proc/17713/task/17720/stat : 17720 (java) S 17711 17713 30365 0 -1 4202560 18695 0 0 0 69 2 0 0 15 0 19 0 891687969 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17721] ppid=17711 vsize=6439672 CPUtime=0.79 cores=1,3
/proc/17713/task/17721/stat : 17721 (java) S 17711 17713 30365 0 -1 4202560 34940 0 0 0 75 4 0 0 15 0 19 0 891687969 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17722] ppid=17711 vsize=6439672 CPUtime=0.45 cores=1,3
/proc/17713/task/17722/stat : 17722 (java) S 17711 17713 30365 0 -1 4202560 3026 0 0 0 45 0 0 0 15 0 19 0 891687969 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17723] ppid=17711 vsize=6439672 CPUtime=0.3 cores=1,3
/proc/17713/task/17723/stat : 17723 (java) S 17711 17713 30365 0 -1 4202560 18450 0 0 0 28 2 0 0 15 0 19 0 891687969 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0
[pid=17713/tid=17724] ppid=17711 vsize=6439672 CPUtime=0.45 cores=1,3
/proc/17713/task/17724/stat : 17724 (java) S 17711 17713 30365 0 -1 4202560 20435 0 0 0 43 2 0 0 15 0 19 0 891687969 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17725] ppid=17711 vsize=6439672 CPUtime=0.51 cores=1,3
/proc/17713/task/17725/stat : 17725 (java) S 17711 17713 30365 0 -1 4202560 42178 0 0 0 47 4 0 0 15 0 19 0 891687969 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17726] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17726/stat : 17726 (java) S 17711 17713 30365 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 891687970 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491840 0 0 0 16800975 18446604471161680896 0 0 -1 3 0 0 0
[pid=17713/tid=17727] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17727/stat : 17727 (java) S 17711 17713 30365 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 891687971 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0
[pid=17713/tid=17728] ppid=17711 vsize=6439672 CPUtime=0.05 cores=1,3
/proc/17713/task/17728/stat : 17728 (java) S 17711 17713 30365 0 -1 4202560 49 0 0 0 5 0 0 0 16 0 19 0 891687971 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0
[pid=17713/tid=17729] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17729/stat : 17729 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687973 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699498929 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17730] ppid=17711 vsize=6439672 CPUtime=0.54 cores=1,3
/proc/17713/task/17730/stat : 17730 (java) S 17711 17713 30365 0 -1 4202560 336 0 0 0 54 0 0 0 15 0 19 0 891687973 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17731] ppid=17711 vsize=6439672 CPUtime=0.52 cores=1,3
/proc/17713/task/17731/stat : 17731 (java) S 17711 17713 30365 0 -1 4202560 2948 0 0 0 52 0 0 0 15 0 19 0 891687973 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0
[pid=17713/tid=17732] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17732/stat : 17732 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687973 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17733] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3
/proc/17713/task/17733/stat : 17733 (java) S 17711 17713 30365 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 891687973 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491840 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 122.44
Current children cumulated vsize (KiB) 6439672

[startup+119.801 s]
/proc/loadavg: 2.03 2.07 1.95 3/213 19089
/proc/meminfo: memFree=28548976/32951124 swapFree=67076880/67111528
[pid=17713] ppid=17711 vsize=6446840 CPUtime=123 cores=1,3
/proc/17713/stat : 17713 (java) S 17711 17713 30365 0 -1 4202496 583856 0 1 0 12228 72 0 0 23 0 18 0 891687947 6601564160 579042 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17713/statm: 1611710 579042 2243 9 0 1602448 0
[pid=17713/tid=17717] ppid=17711 vsize=6446840 CPUtime=117.35 cores=1,3
/proc/17713/task/17717/stat : 17717 (java) R 17711 17713 30365 0 -1 4202560 391659 0 1 0 11689 46 0 0 25 0 18 0 891687968 6601564160 579042 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 46912506081525 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17713/tid=17718] ppid=17711 vsize=6446840 CPUtime=0.51 cores=1,3
/proc/17713/task/17718/stat : 17718 (java) S 17711 17713 30365 0 -1 4202560 27962 0 0 0 47 4 0 0 16 0 18 0 891687969 6601564160 579042 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17719] ppid=17711 vsize=6446840 CPUtime=0.51 cores=1,3
/proc/17713/task/17719/stat : 17719 (java) S 17711 17713 30365 0 -1 4202560 19556 0 0 0 49 2 0 0 16 0 18 0 891687969 6601564160 579042 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0
[pid=17713/tid=17720] ppid=17711 vsize=6446840 CPUtime=0.71 cores=1,3
/proc/17713/task/17720/stat : 17720 (java) S 17711 17713 30365 0 -1 4202560 18695 0 0 0 69 2 0 0 15 0 18 0 891687969 6601564160 579042 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17721] ppid=17711 vsize=6446840 CPUtime=0.79 cores=1,3
/proc/17713/task/17721/stat : 17721 (java) S 17711 17713 30365 0 -1 4202560 34940 0 0 0 75 4 0 0 15 0 18 0 891687969 6601564160 579042 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17722] ppid=17711 vsize=6446840 CPUtime=0.45 cores=1,3
/proc/17713/task/17722/stat : 17722 (java) S 17711 17713 30365 0 -1 4202560 3026 0 0 0 45 0 0 0 15 0 18 0 891687969 6601564160 579042 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17723] ppid=17711 vsize=6446840 CPUtime=0.3 cores=1,3
/proc/17713/task/17723/stat : 17723 (java) S 17711 17713 30365 0 -1 4202560 18450 0 0 0 28 2 0 0 15 0 18 0 891687969 6601564160 579042 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0
[pid=17713/tid=17724] ppid=17711 vsize=6446840 CPUtime=0.45 cores=1,3
/proc/17713/task/17724/stat : 17724 (java) S 17711 17713 30365 0 -1 4202560 20435 0 0 0 43 2 0 0 15 0 18 0 891687969 6601564160 579042 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17725] ppid=17711 vsize=6446840 CPUtime=0.51 cores=1,3
/proc/17713/task/17725/stat : 17725 (java) S 17711 17713 30365 0 -1 4202560 42178 0 0 0 47 4 0 0 15 0 18 0 891687969 6601564160 579042 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17726] ppid=17711 vsize=6446840 CPUtime=0 cores=1,3
/proc/17713/task/17726/stat : 17726 (java) S 17711 17713 30365 0 -1 4202560 65 0 0 0 0 0 0 0 16 0 18 0 891687970 6601564160 579042 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491840 0 0 0 16800975 18446604471161680896 0 0 -1 3 0 0 0
[pid=17713/tid=17727] ppid=17711 vsize=6446840 CPUtime=0 cores=1,3
/proc/17713/task/17727/stat : 17727 (java) S 17711 17713 30365 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 891687971 6601564160 579042 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0
[pid=17713/tid=17728] ppid=17711 vsize=6446840 CPUtime=0.05 cores=1,3
/proc/17713/task/17728/stat : 17728 (java) S 17711 17713 30365 0 -1 4202560 49 0 0 0 5 0 0 0 16 0 18 0 891687971 6601564160 579042 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0
[pid=17713/tid=17729] ppid=17711 vsize=6446840 CPUtime=0 cores=1,3
/proc/17713/task/17729/stat : 17729 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891687973 6601564160 579042 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699498929 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17730] ppid=17711 vsize=6446840 CPUtime=0.69 cores=1,3
/proc/17713/task/17730/stat : 17730 (java) S 17711 17713 30365 0 -1 4202560 2687 0 0 0 69 0 0 0 16 0 18 0 891687973 6601564160 579042 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17731] ppid=17711 vsize=6446840 CPUtime=0.52 cores=1,3
/proc/17713/task/17731/stat : 17731 (java) S 17711 17713 30365 0 -1 4202560 2948 0 0 0 52 0 0 0 15 0 18 0 891687973 6601564160 579042 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0
[pid=17713/tid=17732] ppid=17711 vsize=6446840 CPUtime=0 cores=1,3
/proc/17713/task/17732/stat : 17732 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891687973 6601564160 579042 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0
[pid=17713/tid=17733] ppid=17711 vsize=6446840 CPUtime=0 cores=1,3
/proc/17713/task/17733/stat : 17733 (java) S 17711 17713 30365 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 18 0 891687973 6601564160 579042 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491840 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 123
Current children cumulated vsize (KiB) 6446840

[startup+120.001 s]
/proc/loadavg: 2.03 2.07 1.95 3/213 19089
/proc/meminfo: memFree=28548976/32951124 swapFree=67076880/67111528
[pid=17713] ppid=17711 vsize=0 CPUtime=123.2 cores=1,3
/proc/17713/stat : 17713 (java) R 17711 17713 30365 0 -1 4203524 583864 0 1 0 12247 73 0 0 18 0 1 0 891687947 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17713/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 123.2
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 120.07
CPU time (s): 123.282
CPU user time (s): 122.473
CPU system time (s): 0.808877
CPU usage (%): 102.675
Max. virtual memory (cumulated for all children) (KiB): 6446840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 122.473
system time used= 0.808877
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 583864
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= 7938
involuntary context switches= 3991

runsolver used 0.170974 second user time and 0.52592 second system time

The end

Launcher Data

Begin job on node139 at 2011-06-11 16:01:42
IDJOB=3493576
IDBENCH=20464
IDSOLVER=1972
FILE ID=node139/3493576-1307800902
RUNJOBID= node139-1307799074-30853
PBS_JOBID= 13551009
Free space on /tmp= 74116 MiB

SOLVER NAME= SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06
BENCH NAME= SAT07/industrial/babic/hsatv17/hsat_vc11944.cnf
COMMAND LINE= java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493576-1307800902/watcher-3493576-1307800902 -o /tmp/evaluation-result-3493576-1307800902/solver-3493576-1307800902 -C 1800 -W 1850 -M 7680  java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3493576-1307800902.cnf

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

MD5SUM BENCH= eef911a782905fce2d6d67e1fb443023
RANDOM SEED=950888528

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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	: 5321.49
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.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29320952 kB
Buffers:        291516 kB
Cached:        1098688 kB
SwapCached:       3520 kB
Active:        2574680 kB
Inactive:       836856 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29320952 kB
SwapTotal:    67111528 kB
SwapFree:     67076880 kB
Dirty:           13012 kB
Writeback:         128 kB
AnonPages:     2019664 kB
Mapped:          22388 kB
Slab:           148108 kB
PageTables:       8432 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  6441180 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= 74120 MiB
End job on node139 at 2011-06-11 16:03:42