Trace number 3483101

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 55.4406 52.9503

General information on the benchmark

Namemus/marques-silva/design-debugging/
fpu1-problem.dimacs_13.filtered.cnf
MD5SUM62e30f06f0ec82ff4732e3b1ed253ee9
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.370943
Satisfiable
(Un)Satisfiability was proved
Number of variables119246
Number of clauses409139
Sum of the clauses size1057341
Maximum clause length4
Minimum clause length1
Number of clauses of size 1907
Number of clauses of size 2174082
Number of clauses of size 3228330
Number of clauses of size 45820
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version 2.3.0.v20110206
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.18-164.el5
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		5997854704
0.00/0.08	c Max memory 		6029312000
0.00/0.08	c Total memory 		6029312000
0.00/0.08	c Number of processors 	8
0.09/0.11	c Explanation (MUS) enabled solver
0.09/0.11	c QuickXplain (AAAI 2004 version) minimization strategy
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@31e4457d
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.09/0.11	c Expensive reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483647s
0.09/0.11	c DB Simplification allowed=true
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3483101-1307605152.cnf
0.09/0.11	c reading problem ... 
0.85/0.73	c ... done. Wall clock time 0.618s.
0.85/0.73	c #vars     528385
0.85/0.73	c #constraints  409139
0.85/0.73	c constraints type 
0.85/0.73	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 408232
0.85/0.73	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 907
1.31/1.07	c Unsat detection wall clock time (in seconds) : 0.964
1.31/1.07	c Size of initial unsat subformula: 411
1.31/1.07	c Computing MUS ...
1.31/1.07	c initial unsat core -68544[?] 383651[?] 77690[?]  -77690[?] 383647[?] 62935[?]  68587[?] 379940[?] -68352[?]  360795[?] 62830[?] -60156[?]  -71449[?] 360773[?] 62790[?] 62789[?]  -71171[?] 63009[?] 360061[?]  71168[?] 71171[?] 359800[?]  62772[?] 71167[?] -71168[?] 359792[?]  -71167[?] 71166[?] 70660[?] 359789[?]  -71166[?] 71165[?] 359786[?]  -71165[?] 71128[?] 71161[?] 359784[?]  -71161[?] 71139[?] 359776[?]  -71139[?] 71133[?] 359716[?]  -71133[?] 71131[?] 359702[?]  -71131[?] 71130[?] 359698[?]  -71130[?] 359695[?] 71129[?]  -71129[?] 359691[?] 60106[?]  -71128[?] 71127[?] 71109[?] 359690[?]  -71127[?] 71110[?] 359685[?]  -71110[?] 68586[?] 359640[?]  -71109[?] 71102[?] 359637[?]  -71102[?] 71100[?] 359617[?]  -71100[?] 359612[?] 60106[?]  -70660[?] 70659[?] 357999[?]  -70659[?] 70657[?] 357995[?]  -70657[?] 68542[?] 357990[?]  -68586[?] -68587[?] 351907[?]  -68543[?] 68544[?] 351818[?]  -68542[?] 68543[?] 351817[?]  68352[?] 351430[?] -60146[?]  -63098[?] -63099[?] 59680[?] 334760[?]  63099[?] 334757[?] 59753[?]  -63039[?] 63098[?] 334754[?]  -63050[?] -63051[?] 59712[?] 334568[?]  63051[?] 334565[?] 59753[?]  -63015[?] 334562[?] 63050[?]  -63046[?] -63047[?] 59716[?] 334552[?]  63047[?] 334549[?] 59753[?]  -63013[?] 334546[?] 63046[?]  -63007[?] 334519[?] 63039[?]  -62939[?] 334471[?] 63015[?]  -62933[?] 334467[?] 63013[?]  -63009[?] 63008[?] 334459[?]  -63008[?] 62920[?] 63007[?] 334453[?]  -62920[?] -62874[?] 62939[?] 334267[?]  -62935[?] 62934[?] 334255[?]  -62934[?] 62920[?] 62933[?] 334249[?]  62874[?] 334116[?] -59754[?]  -62776[?] 334044[?] 62834[?]  -62834[?] 334043[?] 62835[?] 62827[?]  -62830[?] -62829[?] 334032[?]  62829[?] -62775[?] 334030[?]  -62790[?] 333954[?] -60699[?]  -62789[?] 333952[?] -60702[?]  -62774[?] 333931[?] 62776[?]  62775[?] -62773[?] 333929[?]  62773[?] -62772[?] 62774[?] 333927[?]  -45351[?] 301520[?] -45310[?] -45005[?]  -45358[?] 301503[?] -45311[?] -45005[?]  45352[?] 301500[?] -52651[?]  52651[?] 301495[?] -45359[?] -45005[?]  45359[?] 301482[?] -52647[?]  52647[?] 301475[?] -45312[?] -45005[?]  45198[?] 301233[?] 45173[?] -45005[?]  45205[?] 301216[?] 45174[?] -45005[?]  -45199[?] 52597[?] 52596[?] 52598[?] 301213[?]  -52598[?] 301207[?] 45174[?]  -52597[?] 45206[?] 301205[?]  -52596[?] 301202[?] 45174[?]  -45206[?] 301196[?] 52594[?] 52593[?] 52595[?]  -52595[?] 301190[?] 45175[?]  -52594[?] 301187[?] 40283[?]  -52593[?] 301184[?] 40283[?]  -45129[?] 300962[?] 45018[?] 45012[?]  -45125[?] 300956[?] 45012[?]  -45124[?] 300953[?] 45018[?]  -45123[?] 300951[?] 45018[?]  -45136[?] 300949[?] 45019[?] 45013[?]  -45130[?] 52550[?] 52551[?] 52552[?] 300945[?]  -52552[?] 300939[?] 45013[?]  -52551[?] 300936[?] 45019[?]  -52550[?] 300934[?] 45019[?]  -45137[?] 300928[?] 52549[?] 52548[?] 52547[?]  -52549[?] 300922[?] 45014[?]  -52548[?] 300919[?] 45020[?]  -52547[?] 300916[?] 45014[?]  -45157[?] 300898[?] 45016[?] 45022[?]  -45164[?] 300881[?] 45017[?] 45023[?]  -45158[?] 300877[?] 52538[?] 52539[?] 52540[?]  -52540[?] 300871[?] 45017[?]  -52539[?] 300869[?] 45165[?]  -52538[?] 300866[?] 45023[?]  -45171[?] 300864[?] 45024[?] 45008[?]  -45165[?] 300860[?] 52537[?] 52536[?] 52535[?]  -52537[?] 300854[?] 45008[?]  -52536[?] 300851[?] 45024[?]  -52535[?] 300848[?] 45008[?]  45131[?] 300845[?] -45093[?] 45012[?]  45138[?] 300832[?] -45094[?] 45013[?]  45132[?] -52533[?] 300828[?]  52533[?] -45139[?] -45094[?] 300823[?]  45139[?] 300811[?] -52530[?]  52530[?] 300806[?] -45146[?] -45095[?]  45146[?] -52527[?] 300794[?]  52527[?] 300789[?] -45153[?] -45096[?]  45159[?] 300781[?] -45097[?] 45016[?]  45153[?] -52524[?] 300777[?]  52524[?] 300772[?] -45160[?] -45097[?]  45166[?] 300764[?] -45098[?] 45017[?]  45160[?] -52521[?] 300760[?]  52521[?] 300755[?] -45167[?] -45098[?]  45172[?] 300747[?] -45099[?] 45008[?]  45167[?] -52518[?] 300743[?]  52518[?] 300738[?] -45099[?] -45060[?]  -45036[?] 52427[?] 52428[?] 300444[?]  -52428[?] 300441[?] 45018[?] 45019[?]  -52427[?] 300438[?] 45021[?] 45020[?]  -45035[?] 52426[?] 45026[?] 300435[?]  -52426[?] 300432[?] 45022[?] 45023[?]  45122[?] 300412[?] -45001[?]  45469[?] -45249[?] -45496[?] 276664[?]  45496[?] -45495[?] 276657[?]  45495[?] -45250[?] -45494[?] 276655[?]  45494[?] -45493[?] -45492[?] 276652[?]  45493[?] 45018[?] 276649[?]  45492[?] 45012[?] 276647[?]  45480[?] -45373[?] -45485[?] 276611[?]  45478[?] -45372[?] -45485[?] 276605[?]  45485[?] -45037[?] 276577[?]  45479[?] -45480[?] 276558[?]  45404[?] -45479[?] -45440[?] 276554[?]  45477[?] -45478[?] 276550[?]  45399[?] -45477[?] -45440[?] 276546[?]  45440[?] -45469[?] 276516[?]  45405[?] -45448[?] -45456[?] 276446[?]  45400[?] -45447[?] -45455[?] 276440[?]  45456[?] -45249[?] -45311[?] 276395[?]  45455[?] -45249[?] -45310[?] 276389[?]  45448[?] -45373[?] -45249[?] 276347[?]  45447[?] -45372[?] -45249[?] 276341[?]  40822[?] -45432[?] -45433[?] 276285[?]  45433[?] 276282[?] 40283[?]  45432[?] -45421[?] 276279[?]  40819[?] -45430[?] -45431[?] 276277[?]  45431[?] 276274[?] 40283[?]  45430[?] -45420[?] 276271[?]  45421[?] -45401[?] 276240[?]  45420[?] -45396[?] 276238[?]  45403[?] -45405[?] 276208[?]  45402[?] -45404[?] 276206[?]  45401[?] -45402[?] -45403[?] 276205[?]  45398[?] -45400[?] 276198[?]  45397[?] -45399[?] 276196[?]  45396[?] -45397[?] -45398[?] 276195[?]  45373[?] -45355[?] 276144[?]  45372[?] -45348[?] 276142[?]  45356[?] 45358[?] -45359[?] 276107[?]  45355[?] -45356[?] 45120[?] 276100[?]  45349[?] -45352[?] 45351[?] 276093[?]  45348[?] -45349[?] 45120[?] 276086[?]  45312[?] -45297[?] 276003[?]  45311[?] -45296[?] 276001[?]  45310[?] -45295[?] 275999[?]  45297[?] 45180[?] 275965[?]  45296[?] 45179[?] 275963[?]  45295[?] 45178[?] 275961[?]  45250[?] -45202[?] 275873[?]  45249[?] -45195[?] 275871[?]  45203[?] 45206[?] -45205[?] 275775[?]  45202[?] -45203[?] 45120[?] 275767[?]  45196[?] 45199[?] -45198[?] 275761[?]  45195[?] -45196[?] 45120[?] 275753[?]  -45180[?] 45168[?] 275708[?]  -45179[?] 45161[?] 275706[?]  -45178[?] 45154[?] 275704[?]  -45175[?] 45133[?] 275698[?]  -45174[?] 45126[?] 275696[?]  -45173[?] 45119[?] 275694[?]  -45170[?] -45172[?] -45060[?] 275683[?]  -45169[?] 45171[?] 45108[?] 275682[?]  -45168[?] 45169[?] 45170[?] 275677[?]  -45163[?] -45166[?] -45167[?] 275669[?]  -45162[?] 45164[?] 45165[?] 275668[?]  -45161[?] 45162[?] 45163[?] 275663[?]  -45156[?] -45159[?] -45160[?] 275655[?]  -45155[?] 45157[?] 45158[?] 275654[?]  -45154[?] 45155[?] 45156[?] 275649[?]  -45135[?] -45138[?] -45139[?] 275613[?]  -45134[?] 45137[?] 45136[?] 275612[?]  -45133[?] 45134[?] 45135[?] 275607[?]  -45128[?] -45131[?] -45132[?] 275599[?]  -45127[?] 45129[?] 45130[?] 275598[?]  -45126[?] 45127[?] 45128[?] 275593[?]  -45121[?] 45123[?] 45124[?] 45125[?] 275588[?]  -45120[?] -45122[?] 275583[?]  -45119[?] 45121[?] 45120[?] 275578[?]  -45108[?] 45106[?] 45107[?] 45105[?] 275545[?]  -45107[?] 275539[?] 40283[?]  -45106[?] 275536[?] 40283[?]  -45105[?] 275534[?] 45025[?]  45099[?] 275526[?] 45024[?]  45098[?] 275524[?] 45023[?]  45097[?] 275522[?] 45022[?]  45096[?] 275520[?] 45021[?]  45095[?] 275518[?] 45020[?]  45094[?] 275516[?] 45019[?]  45093[?] 275514[?] 45018[?]  45060[?] -45059[?] 275444[?]  45059[?] 275441[?] -45005[?] -45009[?]  45037[?] -45033[?] 275399[?]  -45034[?] 45035[?] 45036[?] 275398[?]  45033[?] 45034[?] 275395[?]  -45026[?] 45025[?] 45024[?] 275383[?]  -45025[?] 275380[?] 40108[?]  -45024[?] 275378[?] 40104[?]  -45023[?] 275376[?] 40100[?]  -45022[?] 275374[?] 40096[?]  -45021[?] 275372[?] 40092[?]  -45020[?] 275370[?] 40088[?]  -45019[?] 275368[?] 40084[?]  -45018[?] 275366[?] 40080[?]  -45017[?] 275364[?] 39940[?]  -45016[?] 275362[?] 39936[?]  -45014[?] 275358[?] 39928[?]  -45013[?] 275356[?] 39924[?]  -45012[?] 275354[?] 39920[?]  45009[?] 275347[?] -39948[?]  -45008[?] 275346[?] 39944[?]  45005[?] 275339[?] 45001[?] 275326[?] -40235[?]  -43760[?] 271910[?] 43721[?]  -42947[?] 43758[?] 271907[?]  -43759[?] 43760[?] 271904[?]  -43758[?] 271902[?] 43759[?] 39876[?]  -43714[?] 271820[?] 39880[?]  -42955[?] 43712[?] 271817[?]  -43713[?] 43714[?] 271814[?]  -43712[?] 43713[?] 39876[?] 271812[?]  -40283[?] 264160[?] 40274[?] -40272[?] -40273[?] 264148[?]  40273[?] 264145[?] 39872[?]  40272[?] 264142[?] -40267[?]  40267[?] 264131[?] -40260[?]  40264[?] 264128[?] -40263[?] -40261[?]  40263[?] 264125[?] 39872[?]  40262[?] 264122[?] -40250[?]  40261[?] -40262[?] 264120[?]  -40224[?] 40221[?] 264046[?]  -40222[?] 264043[?] 40215[?]  -40221[?] 40222[?] 39872[?] 264041[?]  -39876[?] 263356[?] -39872[?] 263349[?] 23843[?] 230500[?] -23820[?]  -23721[?] 230102[?] 31807[?]  -31807[?] 230099[?] 22404[?]  23842[?] -23843[?] 204881[?]  -23837[?] -23842[?] 204879[?]  -23839[?] 23835[?] 204873[?]  -23836[?] 23837[?] 204870[?]  -23835[?] 23836[?] 19995[?] 204868[?]  23820[?] -20649[?] 204828[?]  -19996[?] 23721[?] 204613[?]  -22404[?] 201398[?] 20215[?]  20649[?] 197613[?] -20067[?]  20378[?] 197161[?] -20376[?] -20377[?]  20377[?] 197158[?] 19991[?]  20376[?] 197155[?] -20371[?]  20371[?] 197144[?] -20364[?]  20368[?] -20365[?] -20367[?] 197141[?]  20367[?] 197138[?] 19991[?]  20366[?] 197135[?] -20354[?]  20365[?] 197133[?] -20366[?]  20353[?] -20350[?] -20352[?] 197111[?]  20352[?] 197108[?] 19991[?]  20351[?] 197105[?] -19844[?]  20350[?] -20351[?] 197103[?]  -20333[?] 20330[?] 197069[?]  -20331[?] 197066[?] 20324[?]  -20330[?] 20331[?] 19991[?] 197064[?]  -20226[?] 196855[?] 20224[?]  -20224[?] 196852[?] 20172[?] 19991[?]  -20222[?] 196847[?] 20220[?]  -20220[?] 196844[?] 20171[?] 19991[?]  -20218[?] 196839[?] 20216[?]  -20216[?] 196836[?] 20170[?] 19991[?]  -20214[?] 20212[?] 196831[?]  -20212[?] 196828[?] 20169[?] 19991[?]  -20210[?] 20208[?] 196823[?]  -20208[?] 196820[?] 20168[?] 19991[?]  -20206[?] 20204[?] 196815[?]  -20204[?] 196812[?] 20167[?] 19991[?]  -20202[?] 20200[?] 196807[?]  -20200[?] 196804[?] 20166[?] 19991[?]  -20198[?] 196799[?] 20196[?]  -20196[?] 196796[?] 20165[?] 19991[?]  -20172[?] 196747[?] 19892[?]  -20171[?] 196745[?] 19893[?]  -20170[?] 196743[?] 19894[?]  -20169[?] 196741[?] 19895[?]  -20168[?] 196739[?] 19896[?]  -20167[?] 196737[?] 19897[?]  -20166[?] 196735[?] 19898[?]  -20165[?] 196733[?] 19900[?]  20066[?] -20065[?] -20064[?] 196537[?]  20065[?] 196534[?] 19991[?]  20064[?] 196531[?] -20012[?]  -20062[?] 196527[?] 20060[?]  -20060[?] 196524[?] 20011[?] 19991[?]  -20058[?] 196519[?] 20056[?]  -20056[?] 196516[?] 20010[?] 19991[?]  -20054[?] 20052[?] 196511[?]  -20052[?] 196508[?] 20009[?] 19991[?]  -20046[?] 20044[?] 196495[?]  -20044[?] 196492[?] 20007[?] 19991[?]  -20042[?] 20040[?] 196487[?]  -20040[?] 196484[?] 20006[?] 19991[?]  -20038[?] 196479[?] 20036[?]  -20036[?] 196476[?] 20005[?] 19991[?]  20012[?] 196426[?] -19860[?]  -20011[?] 196425[?] 19861[?]  -20010[?] 196423[?] 19862[?]  -20009[?] 196421[?] 19863[?]  -20007[?] 196417[?] 19865[?]  -20006[?] 196415[?] 19866[?]  -20005[?] 196413[?] 19868[?]  -19998[?] 19993[?] 196402[?]  -19995[?] 196399[?] -19994[?] 19996[?] 196398[?]  -19993[?] 19994[?] 19995[?] 196396[?]  -19991[?] 196392[?] 482[?] 127387[?] -481[?] -480[?]  481[?] 127384[?] 110[?]  480[?] 127381[?] -475[?]  475[?] 127370[?] -1[?]  472[?] -469[?] -471[?] 127367[?]  471[?] 127364[?] 110[?]  470[?] 127361[?] -3[?]  469[?] 127359[?] -470[?]  -442[?] 439[?] 127305[?]  -440[?] 127302[?] 69[?]  -439[?] 440[?] 110[?] 127300[?]  -333[?] 331[?] 127087[?]  -331[?] 288[?] 110[?] 127084[?]  -288[?] 126997[?] 54[?]  185[?] -183[?] -184[?] 126793[?]  184[?] 126790[?] 110[?]  183[?] -131[?] 126787[?]  131[?] 126682[?] -19[?]  -79596[?] 125204[?] -79592[?] 125202[?] -79560[?] 125186[?] -59716[?] 123792[?] 79596[?]  -59712[?] 123788[?] 79592[?]  -59680[?] 123756[?] 79560[?]  -62835[?] 42955[?] 123185[?]  -62827[?] 42947[?] 123183[?]  60702[?] -40822[?] 122690[?]  60699[?] -40819[?] 122688[?]  60156[?] -40274[?] 122556[?]  60146[?] -40264[?] 122552[?]  -60106[?] 40224[?] 122537[?]  -43721[?] 23839[?] 121734[?]  40260[?] -20378[?] 121051[?]  40250[?] -20368[?] 121047[?]  40235[?] -20353[?] 121041[?]  -40215[?] 20333[?] 121034[?]  -40108[?] 20226[?] 120982[?]  -40104[?] 20222[?] 120980[?]  -40100[?] 20218[?] 120978[?]  -40096[?] 20214[?] 120976[?]  -40092[?] 20210[?] 120974[?]  -40088[?] 20206[?] 120972[?]  -40084[?] 20202[?] 120970[?]  -40080[?] 20198[?] 120968[?]  39948[?] -20066[?] 120917[?]  -39944[?] 20062[?] 120916[?]  -39940[?] 20058[?] 120914[?]  -39936[?] 20054[?] 120912[?]  -39928[?] 20046[?] 120908[?]  -39924[?] 20042[?] 120906[?]  -39920[?] 20038[?] 120904[?]  -39880[?] 19998[?] 120902[?]  -19900[?] 120810[?] -19898[?] 120808[?] -19897[?] 120807[?] -19896[?] 120806[?] -19895[?] 120805[?] -19894[?] 120804[?] -19893[?] 120803[?] -19892[?] 120802[?] -19868[?] 120778[?] -19866[?] 120776[?] -19865[?] 120775[?] -19863[?] 120773[?] -19862[?] 120772[?] -19861[?] 120771[?] 19860[?] 120770[?] 19844[?] 120754[?] 20364[?] -482[?] 119546[?]  20354[?] -472[?] 119542[?]  -20324[?] 442[?] 119531[?]  -20215[?] 333[?] 119477[?]  20067[?] -185[?] 119418[?]  59754[?] 119319[?] -59753[?] 119318[?] -110[?] 119316[?] -69[?] 119315[?] -54[?] 119300[?] 19[?] 119265[?] 3[?] 119249[?] 1[?] 119247[?] 
1.61/1.22	c qxplain 0/410
1.99/1.55	c qxplain 206/410
2.22/1.74	c qxplain 309/410
2.48/1.96	c qxplain 360/410
2.75/2.15	c qxplain 386/410
2.97/2.33	c qxplain 399/410
3.14/2.51	c qxplain 405/410
3.35/2.70	c qxplain 408/410
3.44/2.88	c qxplain 410/410
3.64/3.07	c 1[?] 119247[?] is mandatory 
3.64/3.07	c qxplain 408/409
3.84/3.25	c qxplain 409/409
4.07/3.44	c 3[?] 119249[?] is mandatory 
4.07/3.44	c qxplain 408/408
4.24/3.63	c 19[?] 119265[?] is mandatory 
4.24/3.63	c qxplain 405/407
4.44/3.82	c qxplain 407/407
4.64/4.01	c -54[?] 119300[?] is mandatory 
4.64/4.01	c qxplain 405/406
4.84/4.20	c qxplain 406/406
4.94/4.39	c -69[?] 119315[?] is mandatory 
4.94/4.39	c qxplain 405/405
5.16/4.58	c -110[?] 119316[?] is mandatory 
5.16/4.58	c qxplain 399/404
5.35/4.77	c qxplain 402/404
5.54/4.96	c qxplain 404/404
5.75/5.15	c -59753[?] 119318[?] is mandatory 
5.75/5.15	c qxplain 402/403
5.95/5.35	c qxplain 403/403
6.16/5.54	c 59754[?] 119319[?] is mandatory 
6.16/5.54	c qxplain 402/402
6.34/5.73	c 119418[?] 20067[?] -185[?]  is mandatory 
6.34/5.73	c qxplain 399/401
6.55/5.93	c qxplain 401/401
6.74/6.12	c 119477[?] -20215[?] 333[?]  is mandatory 
6.74/6.12	c qxplain 399/400
6.95/6.31	c qxplain 400/400
7.05/6.50	c 119531[?] -20324[?] 442[?]  is mandatory 
7.05/6.50	c qxplain 399/399
7.27/6.69	c 119542[?] 20354[?] -472[?]  is mandatory 
7.27/6.69	c qxplain 386/398
7.45/6.88	c qxplain 393/398
7.65/7.06	c qxplain 396/398
7.85/7.25	c qxplain 398/398
8.05/7.44	c 119546[?] -482[?] 20364[?]  is mandatory 
8.05/7.44	c qxplain 396/397
8.05/7.48	c qxplain 393/395
8.19/7.51	c qxplain 386/392
8.19/7.54	c qxplain 360/385
8.44/7.72	c qxplain 373/385
8.63/7.91	c qxplain 380/385
8.83/8.10	c qxplain 383/385
8.83/8.12	c qxplain 380/382
9.02/8.32	c qxplain 382/382
9.02/8.33	c qxplain 380/381
9.22/8.53	c qxplain 381/381
9.42/8.72	c 120902[?] -39880[?] 19998[?]  is mandatory 
9.42/8.72	c qxplain 380/380
9.42/8.74	c qxplain 373/379
9.42/8.76	c qxplain 360/372
9.64/8.95	c qxplain 367/372
9.64/8.96	c qxplain 360/366
9.82/9.16	c qxplain 364/366
10.03/9.35	c qxplain 366/366
10.03/9.37	c qxplain 364/365
10.23/9.56	c qxplain 365/365
10.42/9.75	c 121034[?] -40215[?] 20333[?]  is mandatory 
10.42/9.75	c qxplain 364/364
10.42/9.77	c qxplain 360/363
10.65/9.96	c qxplain 362/363
10.82/10.15	c qxplain 363/363
11.02/10.34	c 121047[?] 40250[?] -20368[?]  is mandatory 
11.02/10.34	c qxplain 362/362
11.22/10.53	c 121051[?] -20378[?] 40260[?]  is mandatory 
11.22/10.53	c qxplain 360/361
11.43/10.72	c qxplain 361/361
11.62/10.92	c 121734[?] -43721[?] 23839[?]  is mandatory 
11.62/10.92	c qxplain 360/360
11.75/11.11	c 122537[?] -60106[?] 40224[?]  is mandatory 
11.75/11.11	c qxplain 309/359
12.02/11.30	c qxplain 335/359
12.13/11.49	c qxplain 348/359
12.33/11.68	c qxplain 354/359
12.52/11.88	c qxplain 357/359
12.73/12.07	c qxplain 359/359
13.55/12.55	c 122552[?] 60146[?] -40264[?]  is mandatory 
13.55/12.55	c qxplain 357/358
13.65/12.68	c qxplain 358/358
13.85/12.81	c 122556[?] -40274[?] 60156[?]  is mandatory 
13.85/12.81	c qxplain 357/357
13.85/12.83	c qxplain 354/356
13.95/12.96	c qxplain 356/356
13.95/12.97	c qxplain 354/355
14.16/13.11	c qxplain 355/355
14.28/13.25	c 123183[?] -62827[?] 42947[?]  is mandatory 
14.28/13.25	c qxplain 354/354
14.38/13.38	c 123185[?] -62835[?] 42955[?]  is mandatory 
14.38/13.38	c qxplain 348/353
14.56/13.52	c qxplain 351/353
14.66/13.65	c qxplain 353/353
14.76/13.78	c 123756[?] -59680[?] 79560[?]  is mandatory 
14.76/13.78	c qxplain 351/352
14.96/13.91	c qxplain 352/352
15.06/14.05	c 123788[?] -59712[?] 79592[?]  is mandatory 
15.06/14.05	c qxplain 351/351
15.16/14.18	c 123792[?] -59716[?] 79596[?]  is mandatory 
15.16/14.18	c qxplain 348/350
15.26/14.31	c qxplain 350/350
15.48/14.44	c -79560[?] 125186[?] is mandatory 
15.48/14.44	c qxplain 348/349
15.71/14.61	c qxplain 349/349
15.81/14.75	c -79592[?] 125202[?] is mandatory 
15.81/14.75	c qxplain 348/348
15.91/14.88	c -79596[?] 125204[?] is mandatory 
15.91/14.88	c qxplain 335/347
16.11/15.02	c qxplain 342/347
16.21/15.15	c qxplain 345/347
16.31/15.29	c qxplain 347/347
16.53/15.42	c 126682[?] 131[?] -19[?]  is mandatory 
16.53/15.42	c qxplain 345/346
16.63/15.56	c qxplain 346/346
16.71/15.69	c 126787[?] 183[?] -131[?]  is mandatory 
16.71/15.69	c qxplain 345/345
16.91/15.83	c 126790[?] 184[?] 110[?]  is mandatory 
16.91/15.83	c qxplain 342/344
17.01/15.96	c qxplain 344/344
17.11/16.10	c 126793[?] 185[?] -183[?] -184[?]  is mandatory 
17.11/16.10	c qxplain 342/343
17.31/16.23	c qxplain 343/343
17.41/16.36	c 126997[?] -288[?] 54[?]  is mandatory 
17.41/16.36	c qxplain 342/342
17.51/16.50	c 127084[?] -331[?] 288[?] 110[?]  is mandatory 
17.51/16.50	c qxplain 335/341
17.73/16.64	c qxplain 339/341
17.81/16.77	c qxplain 341/341
18.01/16.91	c 127087[?] -333[?] 331[?]  is mandatory 
18.01/16.91	c qxplain 339/340
18.11/17.04	c qxplain 340/340
18.21/17.18	c 127300[?] -439[?] 440[?] 110[?]  is mandatory 
18.21/17.18	c qxplain 339/339
18.41/17.31	c 127302[?] -440[?] 69[?]  is mandatory 
18.41/17.31	c qxplain 335/338
18.51/17.44	c qxplain 337/338
18.61/17.58	c qxplain 338/338
18.73/17.71	c 127305[?] -442[?] 439[?]  is mandatory 
18.73/17.71	c qxplain 337/337
18.91/17.85	c 127359[?] 469[?] -470[?]  is mandatory 
18.91/17.85	c qxplain 335/336
19.01/17.98	c qxplain 336/336
19.21/18.12	c 127361[?] 470[?] -3[?]  is mandatory 
19.21/18.12	c qxplain 335/335
19.31/18.25	c 127364[?] 471[?] 110[?]  is mandatory 
19.31/18.25	c qxplain 309/334
19.41/18.38	c qxplain 322/334
19.61/18.52	c qxplain 329/334
19.71/18.66	c qxplain 332/334
19.83/18.79	c qxplain 334/334
20.00/18.92	c 127367[?] 472[?] -469[?] -471[?]  is mandatory 
20.00/18.92	c qxplain 332/333
20.10/19.06	c qxplain 333/333
20.20/19.20	c 127370[?] -1[?] 475[?]  is mandatory 
20.20/19.20	c qxplain 332/332
20.40/19.33	c 127381[?] -475[?] 480[?]  is mandatory 
20.40/19.33	c qxplain 329/331
20.50/19.47	c qxplain 331/331
20.70/19.60	c 127384[?] 481[?] 110[?]  is mandatory 
20.70/19.60	c qxplain 329/330
20.80/19.74	c qxplain 330/330
20.92/19.87	c 127387[?] -480[?] 482[?] -481[?]  is mandatory 
20.92/19.87	c qxplain 329/329
21.11/20.01	c -19991[?] 196392[?] is mandatory 
21.11/20.01	c qxplain 322/328
21.21/20.14	c qxplain 326/328
21.31/20.28	c qxplain 328/328
21.51/20.41	c 196396[?] -19993[?] 19994[?] 19995[?]  is mandatory 
21.51/20.41	c qxplain 326/327
21.61/20.55	c qxplain 327/327
21.71/20.68	c 196398[?] -19994[?] 19996[?]  is mandatory 
21.71/20.68	c qxplain 326/326
21.91/20.82	c -19995[?] 196399[?] is mandatory 
21.91/20.82	c qxplain 322/325
22.03/20.95	c qxplain 324/325
22.13/21.09	c qxplain 325/325
22.31/21.22	c 196402[?] -19998[?] 19993[?]  is mandatory 
22.31/21.22	c qxplain 324/324
22.31/21.25	c qxplain 322/323
22.31/21.28	c qxplain 309/321
22.31/21.31	c qxplain 206/308
22.58/21.45	c qxplain 258/308
22.68/21.58	c qxplain 284/308
22.78/21.60	c qxplain 258/283
22.88/21.73	c qxplain 271/283
22.98/21.87	c qxplain 278/283
23.08/22.00	c qxplain 281/283
23.75/22.30	c qxplain 278/280
23.85/22.44	c qxplain 280/280
23.85/22.46	c qxplain 278/279
23.96/22.59	c qxplain 279/279
24.06/22.61	c qxplain 278/278
24.16/22.75	c 197064[?] -20330[?] 20331[?] 19991[?]  is mandatory 
24.16/22.75	c qxplain 271/277
24.26/22.88	c qxplain 275/277
24.47/23.02	c qxplain 277/277
24.59/23.15	c 197066[?] -20331[?] 20324[?]  is mandatory 
24.59/23.15	c qxplain 275/276
24.69/23.29	c qxplain 276/276
24.87/23.42	c 197069[?] -20333[?] 20330[?]  is mandatory 
24.87/23.42	c qxplain 275/275
24.87/23.44	c qxplain 271/274
24.97/23.58	c qxplain 273/274
24.97/23.60	c qxplain 271/272
25.17/23.74	c qxplain 272/272
25.17/23.75	c qxplain 271/271
25.27/23.89	c 197133[?] 20365[?] -20366[?]  is mandatory 
25.27/23.89	c qxplain 258/270
25.47/24.03	c qxplain 265/270
25.57/24.17	c qxplain 268/270
25.69/24.32	c qxplain 270/270
25.87/24.46	c 197135[?] 20366[?] -20354[?]  is mandatory 
25.87/24.46	c qxplain 268/269
25.97/24.59	c qxplain 269/269
26.17/24.73	c 197138[?] 20367[?] 19991[?]  is mandatory 
26.17/24.73	c qxplain 268/268
26.27/24.87	c 197141[?] 20368[?] -20367[?] -20365[?]  is mandatory 
26.27/24.87	c qxplain 265/267
26.47/25.01	c qxplain 267/267
26.57/25.14	c 197144[?] -20364[?] 20371[?]  is mandatory 
26.57/25.14	c qxplain 265/266
26.67/25.28	c qxplain 266/266
26.89/25.42	c 197155[?] -20371[?] 20376[?]  is mandatory 
26.89/25.42	c qxplain 265/265
26.97/25.56	c 197158[?] 20377[?] 19991[?]  is mandatory 
26.97/25.56	c qxplain 258/264
27.07/25.69	c qxplain 262/264
27.27/25.83	c qxplain 264/264
27.37/25.97	c 197161[?] -20376[?] 20378[?] -20377[?]  is mandatory 
27.37/25.97	c qxplain 262/263
27.57/26.11	c qxplain 263/263
27.67/26.25	c 197613[?] 20649[?] -20067[?]  is mandatory 
27.67/26.25	c qxplain 262/262
27.77/26.39	c 201398[?] -22404[?] 20215[?]  is mandatory 
27.77/26.39	c qxplain 258/261
27.99/26.52	c qxplain 260/261
28.07/26.66	c qxplain 261/261
28.27/26.80	c 204613[?] -19996[?] 23721[?]  is mandatory 
28.27/26.80	c qxplain 260/260
28.37/26.94	c 204828[?] 23820[?] -20649[?]  is mandatory 
28.37/26.94	c qxplain 258/259
28.47/27.07	c qxplain 259/259
28.67/27.21	c 204868[?] -23835[?] 23836[?] 19995[?]  is mandatory 
28.67/27.21	c qxplain 258/258
28.77/27.35	c 204870[?] -23836[?] 23837[?]  is mandatory 
28.77/27.35	c qxplain 206/257
28.87/27.49	c qxplain 232/257
29.09/27.62	c qxplain 245/257
29.17/27.76	c qxplain 252/257
29.37/27.90	c qxplain 255/257
29.47/28.04	c qxplain 257/257
29.57/28.17	c 204873[?] -23839[?] 23835[?]  is mandatory 
29.57/28.17	c qxplain 255/256
29.77/28.31	c qxplain 256/256
29.87/28.45	c 204879[?] -23837[?] -23842[?]  is mandatory 
29.87/28.45	c qxplain 255/255
29.97/28.58	c 204881[?] 23842[?] -23843[?]  is mandatory 
29.97/28.58	c qxplain 252/254
30.19/28.72	c qxplain 254/254
30.27/28.86	c 230099[?] -31807[?] 22404[?]  is mandatory 
30.27/28.86	c qxplain 252/253
30.37/28.99	c qxplain 253/253
30.57/29.13	c 230102[?] -23721[?] 31807[?]  is mandatory 
30.57/29.13	c qxplain 252/252
30.67/29.27	c 230500[?] 23843[?] -23820[?]  is mandatory 
30.67/29.27	c qxplain 245/251
30.87/29.41	c qxplain 249/251
30.97/29.54	c qxplain 251/251
31.07/29.68	c -39872[?] 263349[?] is mandatory 
31.07/29.68	c qxplain 249/250
31.29/29.82	c qxplain 250/250
31.37/29.96	c -39876[?] 263356[?] is mandatory 
31.37/29.96	c qxplain 249/249
31.47/30.09	c 264041[?] -40221[?] 40222[?] 39872[?]  is mandatory 
31.47/30.09	c qxplain 245/248
31.67/30.23	c qxplain 247/248
31.77/30.37	c qxplain 248/248
31.97/30.51	c 264043[?] -40222[?] 40215[?]  is mandatory 
31.97/30.51	c qxplain 247/247
32.07/30.65	c 264046[?] -40224[?] 40221[?]  is mandatory 
32.07/30.65	c qxplain 245/246
32.17/30.78	c qxplain 246/246
32.39/30.92	c 264120[?] 40261[?] -40262[?]  is mandatory 
32.39/30.92	c qxplain 245/245
32.47/31.06	c 264122[?] 40262[?] -40250[?]  is mandatory 
32.47/31.06	c qxplain 232/244
32.57/31.20	c qxplain 239/244
32.77/31.33	c qxplain 242/244
32.87/31.47	c qxplain 244/244
33.07/31.61	c 264125[?] 40263[?] 39872[?]  is mandatory 
33.07/31.61	c qxplain 242/243
33.17/31.75	c qxplain 243/243
33.27/31.88	c 264128[?] 40264[?] -40263[?] -40261[?]  is mandatory 
33.27/31.88	c qxplain 242/242
33.92/32.28	c 264131[?] -40260[?] 40267[?]  is mandatory 
33.92/32.28	c qxplain 239/241
34.12/32.42	c qxplain 241/241
34.22/32.55	c 264142[?] -40267[?] 40272[?]  is mandatory 
34.22/32.55	c qxplain 239/240
34.32/32.69	c qxplain 240/240
34.52/32.83	c 264145[?] 40273[?] 39872[?]  is mandatory 
34.52/32.83	c qxplain 239/239
34.62/32.97	c 264148[?] -40272[?] -40273[?] 40274[?]  is mandatory 
34.62/32.97	c qxplain 232/238
34.74/33.11	c qxplain 236/238
34.92/33.25	c qxplain 238/238
34.92/33.26	c qxplain 236/237
35.12/33.40	c qxplain 237/237
35.22/33.54	c 271812[?] -43712[?] 43713[?] 39876[?]  is mandatory 
35.22/33.54	c qxplain 236/236
35.32/33.68	c 271814[?] -43713[?] 43714[?]  is mandatory 
35.32/33.68	c qxplain 232/235
35.52/33.81	c qxplain 234/235
35.62/33.95	c qxplain 235/235
35.72/34.09	c 271817[?] -42955[?] 43712[?]  is mandatory 
35.72/34.09	c qxplain 234/234
35.94/34.23	c 271820[?] -43714[?] 39880[?]  is mandatory 
35.94/34.23	c qxplain 232/233
36.02/34.36	c qxplain 233/233
36.22/34.50	c 271902[?] -43758[?] 43759[?] 39876[?]  is mandatory 
36.22/34.50	c qxplain 232/232
36.32/34.64	c 271904[?] -43759[?] 43760[?]  is mandatory 
36.32/34.64	c qxplain 206/231
36.42/34.78	c qxplain 219/231
36.62/34.91	c qxplain 226/231
36.72/35.05	c qxplain 229/231
36.82/35.19	c qxplain 231/231
37.04/35.33	c 271907[?] -42947[?] 43758[?]  is mandatory 
37.04/35.33	c qxplain 229/230
37.12/35.46	c qxplain 230/230
37.32/35.60	c 271910[?] -43760[?] 43721[?]  is mandatory 
37.32/35.60	c qxplain 229/229
37.32/35.62	c qxplain 226/228
37.32/35.64	c qxplain 219/225
37.32/35.65	c qxplain 206/218
37.32/35.67	c qxplain 0/205
37.55/35.81	c qxplain 103/205
37.55/35.82	c qxplain 0/102
37.65/35.96	c qxplain 52/102
37.85/36.10	c qxplain 78/102
37.85/36.12	c qxplain 52/77
37.95/36.26	c qxplain 65/77
37.95/36.27	c qxplain 52/64
38.07/36.41	c qxplain 59/64
38.17/36.42	c qxplain 52/58
38.25/36.56	c qxplain 56/58
38.45/36.70	c qxplain 58/58
38.45/36.72	c qxplain 56/57
38.55/36.85	c qxplain 57/57
38.55/36.87	c qxplain 56/56
38.75/37.01	c 333927[?] 62773[?] -62772[?] 62774[?]  is mandatory 
38.75/37.01	c qxplain 52/55
38.85/37.14	c qxplain 54/55
38.95/37.28	c qxplain 55/55
39.05/37.41	c 333929[?] 62775[?] -62773[?]  is mandatory 
39.05/37.41	c qxplain 54/54
39.27/37.55	c 333931[?] -62774[?] 62776[?]  is mandatory 
39.27/37.55	c qxplain 52/53
39.27/37.57	c qxplain 0/51
39.45/37.70	c qxplain 26/51
39.55/37.84	c qxplain 39/51
39.65/37.98	c qxplain 46/51
39.85/38.12	c qxplain 49/51
39.95/38.26	c qxplain 51/51
40.05/38.39	c 334030[?] 62829[?] -62775[?]  is mandatory 
40.05/38.39	c qxplain 49/50
40.27/38.53	c qxplain 50/50
40.37/38.67	c 334032[?] -62830[?] -62829[?]  is mandatory 
40.37/38.67	c qxplain 49/49
40.55/38.81	c 334043[?] -62834[?] 62827[?] 62835[?]  is mandatory 
40.55/38.81	c qxplain 46/48
40.65/38.95	c qxplain 48/48
40.76/39.09	c 334044[?] -62776[?] 62834[?]  is mandatory 
40.76/39.09	c qxplain 46/47
40.96/39.23	c qxplain 47/47
41.06/39.36	c 334116[?] 62874[?] -59754[?]  is mandatory 
41.06/39.36	c qxplain 46/46
41.26/39.50	c 334249[?] -62934[?] 62920[?] 62933[?]  is mandatory 
41.26/39.50	c qxplain 39/45
41.38/39.64	c qxplain 43/45
41.48/39.78	c qxplain 45/45
41.66/39.92	c 334255[?] -62935[?] 62934[?]  is mandatory 
41.66/39.92	c qxplain 43/44
41.76/40.06	c qxplain 44/44
41.96/40.20	c 334267[?] -62920[?] 62939[?] -62874[?]  is mandatory 
41.96/40.20	c qxplain 43/43
42.06/40.34	c 334453[?] -63008[?] 62920[?] 63007[?]  is mandatory 
42.06/40.34	c qxplain 39/42
42.16/40.48	c qxplain 41/42
42.36/40.61	c qxplain 42/42
42.48/40.75	c 334459[?] -63009[?] 63008[?]  is mandatory 
42.48/40.76	c qxplain 41/41
42.58/40.89	c 334467[?] -62933[?] 63013[?]  is mandatory 
42.58/40.89	c qxplain 39/40
42.76/41.03	c qxplain 40/40
42.86/41.17	c 334471[?] -62939[?] 63015[?]  is mandatory 
42.86/41.17	c qxplain 39/39
43.06/41.31	c 334519[?] -63007[?] 63039[?]  is mandatory 
43.06/41.31	c qxplain 26/38
43.16/41.45	c qxplain 33/38
43.26/41.58	c qxplain 36/38
43.93/41.98	c qxplain 38/38
44.11/42.12	c 334546[?] -63013[?] 63046[?]  is mandatory 
44.11/42.12	c qxplain 36/37
44.21/42.26	c qxplain 37/37
44.41/42.40	c 334549[?] 63047[?] 59753[?]  is mandatory 
44.41/42.40	c qxplain 36/36
44.51/42.54	c 334552[?] -63046[?] -63047[?] 59716[?]  is mandatory 
44.51/42.54	c qxplain 33/35
44.61/42.67	c qxplain 35/35
44.82/42.81	c 334562[?] -63015[?] 63050[?]  is mandatory 
44.82/42.81	c qxplain 33/34
44.92/42.95	c qxplain 34/34
45.04/43.09	c 334565[?] 63051[?] 59753[?]  is mandatory 
45.04/43.09	c qxplain 33/33
45.22/43.23	c 334568[?] -63050[?] -63051[?] 59712[?]  is mandatory 
45.22/43.23	c qxplain 26/32
45.32/43.37	c qxplain 30/32
45.52/43.51	c qxplain 32/32
45.62/43.64	c 334754[?] -63039[?] 63098[?]  is mandatory 
45.62/43.64	c qxplain 30/31
45.72/43.78	c qxplain 31/31
45.92/43.92	c 334757[?] 63099[?] 59753[?]  is mandatory 
45.92/43.92	c qxplain 30/30
46.02/44.06	c 334760[?] -63098[?] -63099[?] 59680[?]  is mandatory 
46.02/44.06	c qxplain 26/29
46.14/44.20	c qxplain 28/29
46.32/44.34	c qxplain 29/29
46.42/44.48	c 351430[?] 68352[?] -60146[?]  is mandatory 
46.42/44.48	c qxplain 28/28
46.62/44.61	c 351817[?] -68542[?] 68543[?]  is mandatory 
46.62/44.61	c qxplain 26/27
46.72/44.76	c qxplain 27/27
46.82/44.89	c 351818[?] -68543[?] 68544[?]  is mandatory 
46.82/44.89	c qxplain 26/26
47.02/45.03	c 351907[?] -68586[?] -68587[?]  is mandatory 
47.02/45.03	c qxplain 0/25
47.12/45.17	c qxplain 13/25
47.24/45.31	c qxplain 20/25
47.42/45.44	c qxplain 23/25
47.52/45.58	c qxplain 25/25
47.72/45.72	c 357990[?] -70657[?] 68542[?]  is mandatory 
47.72/45.72	c qxplain 23/24
47.82/45.86	c qxplain 24/24
48.02/46.00	c 357995[?] -70659[?] 70657[?]  is mandatory 
48.02/46.00	c qxplain 23/23
48.13/46.14	c 357999[?] -70660[?] 70659[?]  is mandatory 
48.13/46.14	c qxplain 20/22
48.23/46.27	c qxplain 22/22
48.35/46.41	c 359612[?] -71100[?] 60106[?]  is mandatory 
48.35/46.41	c qxplain 20/21
48.53/46.55	c qxplain 21/21
48.63/46.69	c 359617[?] -71102[?] 71100[?]  is mandatory 
48.63/46.69	c qxplain 20/20
48.83/46.83	c 359637[?] -71109[?] 71102[?]  is mandatory 
48.83/46.83	c qxplain 13/19
48.93/46.96	c qxplain 17/19
49.13/47.10	c qxplain 19/19
49.23/47.24	c 359640[?] -71110[?] 68586[?]  is mandatory 
49.23/47.24	c qxplain 17/18
49.33/47.38	c qxplain 18/18
49.55/47.52	c 359685[?] -71127[?] 71110[?]  is mandatory 
49.55/47.52	c qxplain 17/17
49.63/47.66	c 359690[?] -71128[?] 71127[?] 71109[?]  is mandatory 
49.63/47.66	c qxplain 13/16
49.83/47.80	c qxplain 15/16
49.93/47.94	c qxplain 16/16
50.03/48.08	c 359691[?] -71129[?] 60106[?]  is mandatory 
50.03/48.08	c qxplain 15/15
50.23/48.22	c 359695[?] -71130[?] 71129[?]  is mandatory 
50.23/48.22	c qxplain 13/14
50.33/48.36	c qxplain 14/14
50.43/48.50	c 359698[?] -71131[?] 71130[?]  is mandatory 
50.43/48.50	c qxplain 13/13
50.65/48.64	c 359702[?] -71133[?] 71131[?]  is mandatory 
50.65/48.64	c qxplain 0/12
50.73/48.78	c qxplain 7/12
50.93/48.92	c qxplain 10/12
51.03/49.06	c qxplain 12/12
51.23/49.20	c 359716[?] -71139[?] 71133[?]  is mandatory 
51.23/49.20	c qxplain 10/11
51.33/49.34	c qxplain 11/11
51.43/49.48	c 359776[?] -71161[?] 71139[?]  is mandatory 
51.43/49.48	c qxplain 10/10
51.65/49.62	c 359784[?] -71165[?] 71161[?] 71128[?]  is mandatory 
51.65/49.62	c qxplain 7/9
51.75/49.76	c qxplain 9/9
51.93/49.91	c 359786[?] -71166[?] 71165[?]  is mandatory 
51.93/49.91	c qxplain 7/8
52.03/50.05	c qxplain 8/8
52.13/50.19	c 359789[?] -71167[?] 71166[?] 70660[?]  is mandatory 
52.13/50.19	c qxplain 7/7
52.33/50.33	c 359792[?] 62772[?] 71167[?] -71168[?]  is mandatory 
52.33/50.33	c qxplain 0/6
52.43/50.47	c qxplain 4/6
52.63/50.61	c qxplain 6/6
52.75/50.74	c 359800[?] 71168[?] 71171[?]  is mandatory 
52.75/50.74	c qxplain 4/5
52.85/50.89	c qxplain 5/5
53.03/51.02	c 360061[?] -71171[?] 63009[?]  is mandatory 
53.03/51.02	c qxplain 4/4
53.03/51.04	c qxplain 0/3
53.13/51.18	c qxplain 2/3
53.33/51.32	c qxplain 3/3
53.43/51.46	c 360795[?] -60156[?] 62830[?]  is mandatory 
53.43/51.46	c qxplain 2/2
53.63/51.60	c 379940[?] 68587[?] -68352[?]  is mandatory 
53.63/51.60	c qxplain 0/1
53.73/51.74	c qxplain 1/1
53.85/51.88	c 383647[?] -77690[?] 62935[?]  is mandatory 
53.85/51.88	c qxplain 0/0
54.48/52.27	c 383651[?] -68544[?] 77690[?]  is mandatory 
55.28/52.87	c Size of the MUS: 150
55.28/52.87	c Unsat core  computation wall clock time (in seconds) : 51.796
55.28/52.87	c starts		: 334
55.28/52.87	c conflicts		: 1
55.28/52.87	c decisions		: 39758015
55.28/52.87	c propagations		: 176796331
55.28/52.87	c inspects		: 3635935
55.28/52.87	c shortcuts		: 0
55.28/52.87	c learnt literals	: 0
55.28/52.87	c learnt binary clauses	: 0
55.28/52.87	c learnt ternary clauses	: 0
55.28/52.87	c learnt constraints	: 1
55.28/52.87	c ignored constraints	: 0
55.28/52.87	c root simplifications	: 0
55.28/52.87	c removed literals (reason simplification)	: 0
55.28/52.87	c reason swapping (by a shorter reason)	: 0
55.28/52.87	c Calls to reduceDB	: 0
55.28/52.87	c speed (assignments/second)	: 1.7858215252525252E8
55.28/52.87	c non guided choices	39758009
55.28/52.87	c learnt constraints type 
55.28/52.87	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 1
55.28/52.87	c constraints type 
55.28/52.87	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 408232
55.28/52.87	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 907
55.28/52.87	s UNSATISFIABLE
55.28/52.87	v 1 3 19 54 69 70 72 73 172 231 285 296 300 1656 1788 1801 1805 2488 3291 3306 3310 3937 3939 4510 4542 4546 5940 5956 5958 7436 7541 7544 7547 7751 7838 7841 8054 8056 8059 8113 8115 8118 8121 8124 8135 8138 8141 77146 77150 77152 77153 77156 77818 77820 77823 77887 77889 77892 77895 77898 77909 77912 77915 78367 82152 85367 85582 85622 85624 85627 85633 85635 110853 110856 111254 144103 144110 144795 144797 144800 144874 144876 144879 144882 144885 144896 144899 144902 152566 152568 152571 152574 152656 152658 152661 152664 214681 214683 214685 214784 214786 214797 214798 214870 215003 215009 215021 215207 215213 215221 215225 215273 215300 215303 215306 215316 215319 215322 215508 215511 215514 232184 232571 232572 232661 238744 238749 238753 240366 240371 240391 240394 240439 240444 240445 240449 240452 240456 240470 240530 240538 240540 240543 240546 240554 240815 241549 260694 264401 264405 0
55.28/52.87	c Total wall clock time (in seconds) : 52.761

Verifier Data 

OK	150

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3483101-1307605152/watcher-3483101-1307605152 -o /tmp/evaluation-result-3483101-1307605152/solver-3483101-1307605152 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3483101-1307605152.cnf 

running on 2 cores: 5,7

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


[startup+0 s]
/proc/loadavg: 3.78 1.18 0.41 8/633 26884
/proc/meminfo: memFree=7670036/32951124 swapFree=51712240/67111528
[pid=26884] ppid=26882 vsize=6334980 CPUtime=0 cores=5,7
/proc/26884/stat : 26884 (java) S 26882 26884 26091 0 -1 4202496 6199 0 1 0 0 0 0 0 25 0 2 0 872117863 6487019520 5901 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646318053 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/26884/statm: 1583745 5913 917 9 0 1574901 0
[pid=26884/tid=26885] ppid=26882 vsize=6334980 CPUtime=0 cores=5,7
/proc/26884/task/26885/stat : 26885 (java) R 26882 26884 26091 0 -1 4202560 5162 0 1 0 0 0 0 0 25 0 2 0 872117864 6487019520 5978 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216634209339 0 4 0 16784584 0 0 0 -1 5 0 0 0

[startup+0.102025 s]
/proc/loadavg: 3.78 1.18 0.41 8/633 26884
/proc/meminfo: memFree=7670036/32951124 swapFree=51712240/67111528
[pid=26884] ppid=26882 vsize=6430796 CPUtime=0.09 cores=5,7
/proc/26884/stat : 26884 (java) S 26882 26884 26091 0 -1 4202496 9570 0 1 0 8 1 0 0 25 0 18 0 872117863 6585135104 9267 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26884/statm: 1607699 9267 2056 9 0 1598437 0
[pid=26884/tid=26885] ppid=26882 vsize=6430796 CPUtime=0.08 cores=5,7
/proc/26884/task/26885/stat : 26885 (java) R 26882 26884 26091 0 -1 4202560 7734 0 1 0 7 1 0 0 25 0 18 0 872117864 6585135104 9268 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216634558647 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6430796

[startup+0.200489 s]
/proc/loadavg: 3.78 1.18 0.41 8/633 26884
/proc/meminfo: memFree=7670036/32951124 swapFree=51712240/67111528
[pid=26884] ppid=26882 vsize=6430828 CPUtime=0.25 cores=5,7
/proc/26884/stat : 26884 (java) S 26882 26884 26091 0 -1 4202496 13189 0 1 0 23 2 0 0 25 0 18 0 872117863 6585167872 12772 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26884/statm: 1607707 12772 2181 9 0 1598445 0
[pid=26884/tid=26885] ppid=26882 vsize=6430828 CPUtime=0.18 cores=5,7
/proc/26884/task/26885/stat : 26885 (java) R 26882 26884 26091 0 -1 4202560 11058 0 1 0 16 2 0 0 25 0 18 0 872117864 6585167872 12772 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 46912505495546 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 6430828

[startup+0.300471 s]
/proc/loadavg: 3.78 1.18 0.41 8/633 26884
/proc/meminfo: memFree=7670036/32951124 swapFree=51712240/67111528
[pid=26884] ppid=26882 vsize=6432760 CPUtime=0.44 cores=5,7
/proc/26884/stat : 26884 (java) S 26882 26884 26091 0 -1 4202496 17622 0 1 0 41 3 0 0 25 0 18 0 872117863 6587146240 16754 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26884/statm: 1608190 16754 2196 9 0 1598928 0
[pid=26884/tid=26885] ppid=26882 vsize=6432760 CPUtime=0.25 cores=5,7
/proc/26884/task/26885/stat : 26885 (java) R 26882 26884 26091 0 -1 4202560 14257 0 1 0 23 2 0 0 25 0 18 0 872117864 6587146240 16754 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 46912505558510 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 6432760

[startup+0.700401 s]
/proc/loadavg: 3.78 1.18 0.41 8/633 26884
/proc/meminfo: memFree=7670036/32951124 swapFree=51712240/67111528
[pid=26884] ppid=26882 vsize=6431780 CPUtime=0.85 cores=5,7
/proc/26884/stat : 26884 (java) S 26882 26884 26091 0 -1 4202496 59324 0 1 0 77 8 0 0 25 0 18 0 872117863 6586142720 58303 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26884/statm: 1607945 58303 2196 9 0 1598683 0
[pid=26884/tid=26885] ppid=26882 vsize=6431780 CPUtime=0.65 cores=5,7
/proc/26884/task/26885/stat : 26885 (java) R 26882 26884 26091 0 -1 4202560 55922 0 1 0 58 7 0 0 25 0 18 0 872117864 6586142720 58303 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 46912505582499 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 6431780

[startup+1.50129 s]
/proc/loadavg: 3.78 1.18 0.41 7/652 26906
/proc/meminfo: memFree=7400648/32951124 swapFree=51712240/67111528
[pid=26884] ppid=26882 vsize=6432976 CPUtime=1.99 cores=5,7
/proc/26884/stat : 26884 (java) S 26882 26884 26091 0 -1 4202496 81254 0 1 0 189 10 0 0 25 0 19 0 872117863 6587367424 78849 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26884/statm: 1608244 78849 2220 9 0 1598982 0
[pid=26884/tid=26885] ppid=26882 vsize=6432976 CPUtime=1.44 cores=5,7
/proc/26884/task/26885/stat : 26885 (java) R 26882 26884 26091 0 -1 4202560 76249 0 1 0 134 10 0 0 19 0 19 0 872117864 6587367424 78849 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 46912505681753 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26884/tid=26887] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26887/stat : 26887 (java) S 26882 26884 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872117865 6587367424 78849 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26888] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26888/stat : 26888 (java) S 26882 26884 26091 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 872117865 6587367424 78849 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26889] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26889/stat : 26889 (java) S 26882 26884 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872117865 6587367424 78849 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26890] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26890/stat : 26890 (java) S 26882 26884 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872117865 6587367424 78849 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26891] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26891/stat : 26891 (java) S 26882 26884 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872117865 6587367424 78849 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26892] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26892/stat : 26892 (java) S 26882 26884 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872117865 6587367424 78849 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26893] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26893/stat : 26893 (java) S 26882 26884 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872117865 6587367424 78849 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26894] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26894/stat : 26894 (java) S 26882 26884 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872117865 6587367424 78849 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26895] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26895/stat : 26895 (java) S 26882 26884 26091 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 872117866 6587367424 78849 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331904 0 0 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26896] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26896/stat : 26896 (java) S 26882 26884 26091 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 872117867 6587367424 78849 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26897] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26897/stat : 26897 (java) S 26882 26884 26091 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 872117867 6587367424 78849 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26898] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26898/stat : 26898 (java) S 26882 26884 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872117869 6587367424 78849 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646338993 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26899] ppid=26882 vsize=6432976 CPUtime=0.17 cores=5,7
/proc/26884/task/26899/stat : 26899 (java) S 26882 26884 26091 0 -1 4202560 1052 0 0 0 17 0 0 0 17 0 19 0 872117869 6587367424 78849 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26900] ppid=26882 vsize=6432976 CPUtime=0.37 cores=5,7
/proc/26884/task/26900/stat : 26900 (java) S 26882 26884 26091 0 -1 4202560 2792 0 0 0 37 0 0 0 18 0 19 0 872117869 6587367424 78849 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26901] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26901/stat : 26901 (java) S 26882 26884 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872117869 6587367424 78849 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26902] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26902/stat : 26902 (java) S 26882 26884 26091 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 872117869 6587367424 78849 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331904 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 6432976

[startup+3.10101 s]
/proc/loadavg: 3.88 1.24 0.43 5/653 26914
/proc/meminfo: memFree=7284576/32951124 swapFree=51712240/67111528
[pid=26884] ppid=26882 vsize=6432976 CPUtime=3.75 cores=5,7
/proc/26884/stat : 26884 (java) S 26882 26884 26091 0 -1 4202496 126931 0 1 0 359 16 0 0 25 0 18 0 872117863 6587367424 123954 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26884/statm: 1608244 123954 2225 9 0 1598982 0
[pid=26884/tid=26885] ppid=26882 vsize=6432976 CPUtime=3.04 cores=5,7
/proc/26884/task/26885/stat : 26885 (java) R 26882 26884 26091 0 -1 4202560 120952 0 1 0 289 15 0 0 25 0 18 0 872117864 6587367424 123954 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 46912505634823 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26884/tid=26887] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26887/stat : 26887 (java) S 26882 26884 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872117865 6587367424 123954 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26888] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26888/stat : 26888 (java) S 26882 26884 26091 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 872117865 6587367424 123954 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26889] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26889/stat : 26889 (java) S 26882 26884 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872117865 6587367424 123954 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26890] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26890/stat : 26890 (java) S 26882 26884 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872117865 6587367424 123954 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26891] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26891/stat : 26891 (java) S 26882 26884 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872117865 6587367424 123954 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26892] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26892/stat : 26892 (java) S 26882 26884 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872117865 6587367424 123954 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26893] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26893/stat : 26893 (java) S 26882 26884 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872117865 6587367424 123954 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26894] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26894/stat : 26894 (java) S 26882 26884 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872117865 6587367424 123954 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26895] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26895/stat : 26895 (java) S 26882 26884 26091 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 18 0 872117866 6587367424 123954 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331904 0 0 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26896] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26896/stat : 26896 (java) S 26882 26884 26091 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 872117867 6587367424 123954 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26897] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26897/stat : 26897 (java) S 26882 26884 26091 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 872117867 6587367424 123954 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26898] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26898/stat : 26898 (java) S 26882 26884 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872117869 6587367424 123954 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646338993 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26899] ppid=26882 vsize=6432976 CPUtime=0.17 cores=5,7
/proc/26884/task/26899/stat : 26899 (java) S 26882 26884 26091 0 -1 4202560 1052 0 0 0 17 0 0 0 17 0 18 0 872117869 6587367424 123954 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26900] ppid=26882 vsize=6432976 CPUtime=0.52 cores=5,7
/proc/26884/task/26900/stat : 26900 (java) S 26882 26884 26091 0 -1 4202560 3765 0 0 0 52 0 0 0 15 0 18 0 872117869 6587367424 123954 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26901] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26901/stat : 26901 (java) S 26882 26884 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872117869 6587367424 123954 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26902] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26902/stat : 26902 (java) S 26882 26884 26091 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 872117869 6587367424 123954 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331904 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.75
Current children cumulated vsize (KiB) 6432976

[startup+6.30144 s]
/proc/loadavg: 3.88 1.24 0.43 5/652 26942
/proc/meminfo: memFree=6715232/32951124 swapFree=51712240/67111528
[pid=26884] ppid=26882 vsize=6432976 CPUtime=6.95 cores=5,7
/proc/26884/stat : 26884 (java) S 26882 26884 26091 0 -1 4202496 213916 0 1 0 671 24 0 0 25 0 19 0 872117863 6587367424 210741 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26884/statm: 1608244 210741 2227 9 0 1598982 0
[pid=26884/tid=26885] ppid=26882 vsize=6432976 CPUtime=6.23 cores=5,7
/proc/26884/task/26885/stat : 26885 (java) R 26882 26884 26091 0 -1 4202560 207924 0 1 0 600 23 0 0 25 0 19 0 872117864 6587367424 210741 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 46912505681989 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26884/tid=26887] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26887/stat : 26887 (java) S 26882 26884 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872117865 6587367424 210741 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26888] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26888/stat : 26888 (java) S 26882 26884 26091 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 872117865 6587367424 210741 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26889] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26889/stat : 26889 (java) S 26882 26884 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872117865 6587367424 210741 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26890] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26890/stat : 26890 (java) S 26882 26884 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872117865 6587367424 210741 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26891] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26891/stat : 26891 (java) S 26882 26884 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872117865 6587367424 210741 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26892] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26892/stat : 26892 (java) S 26882 26884 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872117865 6587367424 210741 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26893] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26893/stat : 26893 (java) S 26882 26884 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872117865 6587367424 210741 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26894] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26894/stat : 26894 (java) S 26882 26884 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872117865 6587367424 210741 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26895] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26895/stat : 26895 (java) S 26882 26884 26091 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 872117866 6587367424 210741 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331904 0 0 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26896] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26896/stat : 26896 (java) S 26882 26884 26091 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 872117867 6587367424 210741 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26897] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26897/stat : 26897 (java) S 26882 26884 26091 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 872117867 6587367424 210741 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26898] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26898/stat : 26898 (java) S 26882 26884 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872117869 6587367424 210741 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646338993 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26899] ppid=26882 vsize=6432976 CPUtime=0.17 cores=5,7
/proc/26884/task/26899/stat : 26899 (java) S 26882 26884 26091 0 -1 4202560 1052 0 0 0 17 0 0 0 17 0 19 0 872117869 6587367424 210741 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26900] ppid=26882 vsize=6432976 CPUtime=0.53 cores=5,7
/proc/26884/task/26900/stat : 26900 (java) S 26882 26884 26091 0 -1 4202560 3765 0 0 0 53 0 0 0 15 0 19 0 872117869 6587367424 210741 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26901] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26901/stat : 26901 (java) S 26882 26884 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872117869 6587367424 210741 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26902] ppid=26882 vsize=6432976 CPUtime=0 cores=5,7
/proc/26884/task/26902/stat : 26902 (java) S 26882 26884 26091 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 872117869 6587367424 210741 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331904 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0

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

[pid=26884/tid=26889] ppid=26882 vsize=6434020 CPUtime=0 cores=5,7
/proc/26884/task/26889/stat : 26889 (java) S 26882 26884 26091 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 872117865 6588436480 496720 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26890] ppid=26882 vsize=6434020 CPUtime=0.29 cores=5,7
/proc/26884/task/26890/stat : 26890 (java) S 26882 26884 26091 0 -1 4202560 12866 0 0 0 28 1 0 0 16 0 19 0 872117865 6588436480 496720 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26891] ppid=26882 vsize=6434020 CPUtime=0.06 cores=5,7
/proc/26884/task/26891/stat : 26891 (java) S 26882 26884 26091 0 -1 4202560 5277 0 0 0 6 0 0 0 15 0 19 0 872117865 6588436480 496720 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26892] ppid=26882 vsize=6434020 CPUtime=0.43 cores=5,7
/proc/26884/task/26892/stat : 26892 (java) S 26882 26884 26091 0 -1 4202560 7907 0 0 0 43 0 0 0 16 0 19 0 872117865 6588436480 496720 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26893] ppid=26882 vsize=6434020 CPUtime=0.6 cores=5,7
/proc/26884/task/26893/stat : 26893 (java) S 26882 26884 26091 0 -1 4202560 34789 0 0 0 56 4 0 0 16 0 19 0 872117865 6588436480 496720 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26894] ppid=26882 vsize=6434020 CPUtime=0.49 cores=5,7
/proc/26884/task/26894/stat : 26894 (java) S 26882 26884 26091 0 -1 4202560 18061 0 0 0 46 3 0 0 18 0 19 0 872117865 6588436480 496720 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26895] ppid=26882 vsize=6434020 CPUtime=0 cores=5,7
/proc/26884/task/26895/stat : 26895 (java) S 26882 26884 26091 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 19 0 872117866 6588436480 496720 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331904 0 0 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26896] ppid=26882 vsize=6434020 CPUtime=0 cores=5,7
/proc/26884/task/26896/stat : 26896 (java) S 26882 26884 26091 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 19 0 872117867 6588436480 496720 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26897] ppid=26882 vsize=6434020 CPUtime=0 cores=5,7
/proc/26884/task/26897/stat : 26897 (java) S 26882 26884 26091 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 19 0 872117867 6588436480 496720 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26898] ppid=26882 vsize=6434020 CPUtime=0 cores=5,7
/proc/26884/task/26898/stat : 26898 (java) S 26882 26884 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872117869 6588436480 496720 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646338993 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26899] ppid=26882 vsize=6434020 CPUtime=0.25 cores=5,7
/proc/26884/task/26899/stat : 26899 (java) S 26882 26884 26091 0 -1 4202560 1673 0 0 0 25 0 0 0 15 0 19 0 872117869 6588436480 496720 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26900] ppid=26882 vsize=6434020 CPUtime=0.7 cores=5,7
/proc/26884/task/26900/stat : 26900 (java) S 26882 26884 26091 0 -1 4202560 5841 0 0 0 70 0 0 0 15 0 19 0 872117869 6588436480 496720 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26901] ppid=26882 vsize=6434020 CPUtime=0 cores=5,7
/proc/26884/task/26901/stat : 26901 (java) S 26882 26884 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872117869 6588436480 496720 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26902] ppid=26882 vsize=6434020 CPUtime=0 cores=5,7
/proc/26884/task/26902/stat : 26902 (java) S 26882 26884 26091 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 872117869 6588436480 496720 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331904 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 53.33
Current children cumulated vsize (KiB) 6434020

[startup+52.1913 s]
/proc/loadavg: 4.07 1.70 0.63 5/653 27395
/proc/meminfo: memFree=5223816/32951124 swapFree=51712240/67111528
[pid=26884] ppid=26882 vsize=6434020 CPUtime=54.47 cores=5,7
/proc/26884/stat : 26884 (java) S 26882 26884 26091 0 -1 4202496 502278 0 1 0 5381 66 0 0 25 0 18 0 872117863 6588436480 496725 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26884/statm: 1608505 496725 2241 9 0 1599243 0
[pid=26884/tid=26885] ppid=26882 vsize=6434020 CPUtime=50.71 cores=5,7
/proc/26884/task/26885/stat : 26885 (java) S 26882 26884 26091 0 -1 4202560 391662 0 1 0 5024 47 0 0 25 0 18 0 872117864 6588436480 496725 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26887] ppid=26882 vsize=6434020 CPUtime=0.39 cores=5,7
/proc/26884/task/26887/stat : 26887 (java) R 26882 26884 26091 0 -1 4202560 22900 0 0 0 36 3 0 0 15 0 18 0 872117865 6588436480 496725 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216634468663 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26884/tid=26888] ppid=26882 vsize=6434020 CPUtime=0.02 cores=5,7
/proc/26884/task/26888/stat : 26888 (java) R 26882 26884 26091 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 18 0 872117865 6588436480 496725 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216634468663 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=26884/tid=26889] ppid=26882 vsize=6434020 CPUtime=0 cores=5,7
/proc/26884/task/26889/stat : 26889 (java) R 26882 26884 26091 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 872117865 6588436480 496725 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216634468663 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26884/tid=26890] ppid=26882 vsize=6434020 CPUtime=0.49 cores=5,7
/proc/26884/task/26890/stat : 26890 (java) R 26882 26884 26091 0 -1 4202560 12866 0 0 0 48 1 0 0 16 0 18 0 872117865 6588436480 496725 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 47663323506863 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=26884/tid=26891] ppid=26882 vsize=6434020 CPUtime=0.19 cores=5,7
/proc/26884/task/26891/stat : 26891 (java) R 26882 26884 26091 0 -1 4202560 5277 0 0 0 19 0 0 0 16 0 18 0 872117865 6588436480 496725 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 47663323506960 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26884/tid=26892] ppid=26882 vsize=6434020 CPUtime=0.46 cores=5,7
/proc/26884/task/26892/stat : 26892 (java) R 26882 26884 26091 0 -1 4202560 7910 0 0 0 46 0 0 0 15 0 18 0 872117865 6588436480 496725 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216634468663 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=26884/tid=26893] ppid=26882 vsize=6434020 CPUtime=0.6 cores=5,7
/proc/26884/task/26893/stat : 26893 (java) R 26882 26884 26091 0 -1 4202560 34789 0 0 0 56 4 0 0 15 0 18 0 872117865 6588436480 496725 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216634468663 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26884/tid=26894] ppid=26882 vsize=6434020 CPUtime=0.49 cores=5,7
/proc/26884/task/26894/stat : 26894 (java) R 26882 26884 26091 0 -1 4202560 18061 0 0 0 46 3 0 0 15 0 18 0 872117865 6588436480 496725 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216634468663 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26884/tid=26895] ppid=26882 vsize=6434020 CPUtime=0 cores=5,7
/proc/26884/task/26895/stat : 26895 (java) S 26882 26884 26091 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 18 0 872117866 6588436480 496725 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 0 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26896] ppid=26882 vsize=6434020 CPUtime=0 cores=5,7
/proc/26884/task/26896/stat : 26896 (java) S 26882 26884 26091 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 18 0 872117867 6588436480 496725 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26897] ppid=26882 vsize=6434020 CPUtime=0 cores=5,7
/proc/26884/task/26897/stat : 26897 (java) S 26882 26884 26091 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 18 0 872117867 6588436480 496725 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26898] ppid=26882 vsize=6434020 CPUtime=0 cores=5,7
/proc/26884/task/26898/stat : 26898 (java) S 26882 26884 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872117869 6588436480 496725 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646338993 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26899] ppid=26882 vsize=6434020 CPUtime=0.25 cores=5,7
/proc/26884/task/26899/stat : 26899 (java) S 26882 26884 26091 0 -1 4202560 1673 0 0 0 25 0 0 0 15 0 18 0 872117869 6588436480 496725 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26900] ppid=26882 vsize=6434020 CPUtime=0.7 cores=5,7
/proc/26884/task/26900/stat : 26900 (java) S 26882 26884 26091 0 -1 4202560 5841 0 0 0 70 0 0 0 15 0 18 0 872117869 6588436480 496725 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26901] ppid=26882 vsize=6434020 CPUtime=0 cores=5,7
/proc/26884/task/26901/stat : 26901 (java) S 26882 26884 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872117869 6588436480 496725 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26902] ppid=26882 vsize=6434020 CPUtime=0 cores=5,7
/proc/26884/task/26902/stat : 26902 (java) S 26882 26884 26091 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 18 0 872117869 6588436480 496725 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331904 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 54.47
Current children cumulated vsize (KiB) 6434020

[startup+52.6023 s]
/proc/loadavg: 4.07 1.70 0.63 5/653 27395
/proc/meminfo: memFree=5223816/32951124 swapFree=51712240/67111528
[pid=26884] ppid=26882 vsize=6434020 CPUtime=55.08 cores=5,7
/proc/26884/stat : 26884 (java) S 26882 26884 26091 0 -1 4202496 505810 0 1 0 5441 67 0 0 25 0 18 0 872117863 6588436480 499022 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26884/statm: 1608505 499022 2241 9 0 1599243 0
[pid=26884/tid=26885] ppid=26882 vsize=6434020 CPUtime=51.1 cores=5,7
/proc/26884/task/26885/stat : 26885 (java) R 26882 26884 26091 0 -1 4202560 391666 0 1 0 5063 47 0 0 25 0 18 0 872117864 6588436480 499022 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 46912505216048 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26884/tid=26887] ppid=26882 vsize=6434020 CPUtime=0.39 cores=5,7
/proc/26884/task/26887/stat : 26887 (java) S 26882 26884 26091 0 -1 4202560 22900 0 0 0 36 3 0 0 16 0 18 0 872117865 6588436480 499022 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26888] ppid=26882 vsize=6434020 CPUtime=0.02 cores=5,7
/proc/26884/task/26888/stat : 26888 (java) S 26882 26884 26091 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 18 0 872117865 6588436480 499022 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26889] ppid=26882 vsize=6434020 CPUtime=0 cores=5,7
/proc/26884/task/26889/stat : 26889 (java) S 26882 26884 26091 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 872117865 6588436480 499022 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26890] ppid=26882 vsize=6434020 CPUtime=0.49 cores=5,7
/proc/26884/task/26890/stat : 26890 (java) S 26882 26884 26091 0 -1 4202560 12866 0 0 0 48 1 0 0 16 0 18 0 872117865 6588436480 499022 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26891] ppid=26882 vsize=6434020 CPUtime=0.19 cores=5,7
/proc/26884/task/26891/stat : 26891 (java) S 26882 26884 26091 0 -1 4202560 5277 0 0 0 19 0 0 0 16 0 18 0 872117865 6588436480 499022 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26892] ppid=26882 vsize=6434020 CPUtime=0.46 cores=5,7
/proc/26884/task/26892/stat : 26892 (java) S 26882 26884 26091 0 -1 4202560 7910 0 0 0 46 0 0 0 16 0 18 0 872117865 6588436480 499022 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26893] ppid=26882 vsize=6434020 CPUtime=0.6 cores=5,7
/proc/26884/task/26893/stat : 26893 (java) S 26882 26884 26091 0 -1 4202560 34789 0 0 0 56 4 0 0 15 0 18 0 872117865 6588436480 499022 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26894] ppid=26882 vsize=6434020 CPUtime=0.49 cores=5,7
/proc/26884/task/26894/stat : 26894 (java) S 26882 26884 26091 0 -1 4202560 18061 0 0 0 46 3 0 0 15 0 18 0 872117865 6588436480 499022 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26895] ppid=26882 vsize=6434020 CPUtime=0 cores=5,7
/proc/26884/task/26895/stat : 26895 (java) S 26882 26884 26091 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 18 0 872117866 6588436480 499022 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331904 0 0 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26896] ppid=26882 vsize=6434020 CPUtime=0 cores=5,7
/proc/26884/task/26896/stat : 26896 (java) S 26882 26884 26091 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 18 0 872117867 6588436480 499022 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26897] ppid=26882 vsize=6434020 CPUtime=0.01 cores=5,7
/proc/26884/task/26897/stat : 26897 (java) S 26882 26884 26091 0 -1 4202560 47 0 0 0 1 0 0 0 15 0 18 0 872117867 6588436480 499022 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26898] ppid=26882 vsize=6434020 CPUtime=0 cores=5,7
/proc/26884/task/26898/stat : 26898 (java) S 26882 26884 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872117869 6588436480 499022 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646338993 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26899] ppid=26882 vsize=6434020 CPUtime=0.27 cores=5,7
/proc/26884/task/26899/stat : 26899 (java) S 26882 26884 26091 0 -1 4202560 1673 0 0 0 27 0 0 0 15 0 18 0 872117869 6588436480 499022 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26900] ppid=26882 vsize=6434020 CPUtime=0.91 cores=5,7
/proc/26884/task/26900/stat : 26900 (java) S 26882 26884 26091 0 -1 4202560 9369 0 0 0 90 1 0 0 15 0 18 0 872117869 6588436480 499022 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26901] ppid=26882 vsize=6434020 CPUtime=0 cores=5,7
/proc/26884/task/26901/stat : 26901 (java) S 26882 26884 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872117869 6588436480 499022 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26902] ppid=26882 vsize=6434020 CPUtime=0 cores=5,7
/proc/26884/task/26902/stat : 26902 (java) S 26882 26884 26091 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 18 0 872117869 6588436480 499022 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331904 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 55.08
Current children cumulated vsize (KiB) 6434020

[startup+52.8012 s]
/proc/loadavg: 4.07 1.70 0.63 5/653 27395
/proc/meminfo: memFree=5223816/32951124 swapFree=51712240/67111528
[pid=26884] ppid=26882 vsize=6434020 CPUtime=55.28 cores=5,7
/proc/26884/stat : 26884 (java) S 26882 26884 26091 0 -1 4202496 505810 0 1 0 5461 67 0 0 25 0 18 0 872117863 6588436480 499022 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26884/statm: 1608505 499022 2241 9 0 1599243 0
[pid=26884/tid=26885] ppid=26882 vsize=6434020 CPUtime=51.29 cores=5,7
/proc/26884/task/26885/stat : 26885 (java) R 26882 26884 26091 0 -1 4202560 391666 0 1 0 5082 47 0 0 25 0 18 0 872117864 6588436480 499022 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 46912505835543 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26884/tid=26887] ppid=26882 vsize=6434020 CPUtime=0.39 cores=5,7
/proc/26884/task/26887/stat : 26887 (java) S 26882 26884 26091 0 -1 4202560 22900 0 0 0 36 3 0 0 16 0 18 0 872117865 6588436480 499022 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26888] ppid=26882 vsize=6434020 CPUtime=0.02 cores=5,7
/proc/26884/task/26888/stat : 26888 (java) S 26882 26884 26091 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 18 0 872117865 6588436480 499022 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26889] ppid=26882 vsize=6434020 CPUtime=0 cores=5,7
/proc/26884/task/26889/stat : 26889 (java) S 26882 26884 26091 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 872117865 6588436480 499022 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26890] ppid=26882 vsize=6434020 CPUtime=0.49 cores=5,7
/proc/26884/task/26890/stat : 26890 (java) S 26882 26884 26091 0 -1 4202560 12866 0 0 0 48 1 0 0 16 0 18 0 872117865 6588436480 499022 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26891] ppid=26882 vsize=6434020 CPUtime=0.19 cores=5,7
/proc/26884/task/26891/stat : 26891 (java) S 26882 26884 26091 0 -1 4202560 5277 0 0 0 19 0 0 0 16 0 18 0 872117865 6588436480 499022 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26892] ppid=26882 vsize=6434020 CPUtime=0.46 cores=5,7
/proc/26884/task/26892/stat : 26892 (java) S 26882 26884 26091 0 -1 4202560 7910 0 0 0 46 0 0 0 16 0 18 0 872117865 6588436480 499022 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26893] ppid=26882 vsize=6434020 CPUtime=0.6 cores=5,7
/proc/26884/task/26893/stat : 26893 (java) S 26882 26884 26091 0 -1 4202560 34789 0 0 0 56 4 0 0 15 0 18 0 872117865 6588436480 499022 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26894] ppid=26882 vsize=6434020 CPUtime=0.49 cores=5,7
/proc/26884/task/26894/stat : 26894 (java) S 26882 26884 26091 0 -1 4202560 18061 0 0 0 46 3 0 0 15 0 18 0 872117865 6588436480 499022 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26895] ppid=26882 vsize=6434020 CPUtime=0 cores=5,7
/proc/26884/task/26895/stat : 26895 (java) S 26882 26884 26091 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 18 0 872117866 6588436480 499022 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331904 0 0 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26896] ppid=26882 vsize=6434020 CPUtime=0 cores=5,7
/proc/26884/task/26896/stat : 26896 (java) S 26882 26884 26091 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 18 0 872117867 6588436480 499022 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26897] ppid=26882 vsize=6434020 CPUtime=0.01 cores=5,7
/proc/26884/task/26897/stat : 26897 (java) S 26882 26884 26091 0 -1 4202560 47 0 0 0 1 0 0 0 15 0 18 0 872117867 6588436480 499022 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26898] ppid=26882 vsize=6434020 CPUtime=0 cores=5,7
/proc/26884/task/26898/stat : 26898 (java) S 26882 26884 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872117869 6588436480 499022 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646338993 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26899] ppid=26882 vsize=6434020 CPUtime=0.27 cores=5,7
/proc/26884/task/26899/stat : 26899 (java) S 26882 26884 26091 0 -1 4202560 1673 0 0 0 27 0 0 0 15 0 18 0 872117869 6588436480 499022 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=26884/tid=26900] ppid=26882 vsize=6434020 CPUtime=0.91 cores=5,7
/proc/26884/task/26900/stat : 26900 (java) S 26882 26884 26091 0 -1 4202560 9369 0 0 0 90 1 0 0 15 0 18 0 872117869 6588436480 499022 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26901] ppid=26882 vsize=6434020 CPUtime=0 cores=5,7
/proc/26884/task/26901/stat : 26901 (java) S 26882 26884 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872117869 6588436480 499022 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=26884/tid=26902] ppid=26882 vsize=6434020 CPUtime=0 cores=5,7
/proc/26884/task/26902/stat : 26902 (java) S 26882 26884 26091 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 18 0 872117869 6588436480 499022 33554432000 1073741824 1073778376 140734163150400 18446744073709551615 216646331904 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 55.28
Current children cumulated vsize (KiB) 6434020

[startup+52.9012 s]
/proc/loadavg: 4.07 1.70 0.63 5/653 27395
/proc/meminfo: memFree=5223816/32951124 swapFree=51712240/67111528
[pid=26884] ppid=26882 vsize=0 CPUtime=55.38 cores=5,7
/proc/26884/stat : 26884 (java) Z 26882 26884 26091 0 -1 4203548 505820 0 1 0 5469 69 0 0 18 0 2 0 872117863 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26884/statm: 0 0 0 0 0 0 0
[pid=26884/tid=26885] ppid=26882 vsize=0 CPUtime=51.4 cores=5,7
/proc/26884/task/26885/stat : 26885 (java) R 26882 26884 26091 0 -1 4203588 391670 0 1 0 5090 50 0 0 25 0 2 0 872117864 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 55.38
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 52.9503
CPU time (s): 55.4406
CPU user time (s): 54.6937
CPU system time (s): 0.746886
CPU usage (%): 104.703
Max. virtual memory (cumulated for all children) (KiB): 6435152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 54.6937
system time used= 0.746886
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 505820
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= 3619
involuntary context switches= 3708

runsolver used 0.283956 second user time and 0.771882 second system time

The end

Launcher Data 

Begin job on node103 at 2011-06-09 09:39:12
IDJOB=3483101
IDBENCH=89420
IDSOLVER=1972
FILE ID=node103/3483101-1307605152
RUNJOBID= node103-1307605081-26442
PBS_JOBID= 13547792
Free space on /tmp= 73496 MiB

SOLVER NAME= SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06
BENCH NAME= SAT11/mus/marques-silva/design-debugging/fpu1-problem.dimacs_13.filtered.cnf
COMMAND LINE= java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3483101-1307605152/watcher-3483101-1307605152 -o /tmp/evaluation-result-3483101-1307605152/solver-3483101-1307605152 -C 1800 -W 1850 -M 7680  java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3483101-1307605152.cnf

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

MD5SUM BENCH= 62e30f06f0ec82ff4732e3b1ed253ee9
RANDOM SEED=484220992

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       7670316 kB
Buffers:        189724 kB
Cached:         822528 kB
SwapCached:      23516 kB
Active:       24690144 kB
Inactive:       249684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       7670316 kB
SwapTotal:    67111528 kB
SwapFree:     51712240 kB
Dirty:          131344 kB
Writeback:           0 kB
AnonPages:    23924772 kB
Mapped:          67884 kB
Slab:           151632 kB
PageTables:     119728 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 195726944 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= 73496 MiB
End job on node103 at 2011-06-09 09:40:06