Trace number 3493392

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 62.3365 60.4348

General information on the benchmark

Namemus/marques-silva/design-debugging/
c4_DD_s3_f1_e2_v1-bug-onevec-gate-0.dimacs.seq.filtered.cnf
MD5SUM960d1ca29b9bf3ceb99268b3bd5a797b
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.397939
Satisfiable
(Un)Satisfiability was proved
Number of variables131072
Number of clauses331754
Sum of the clauses size723902
Maximum clause length5
Minimum clause length1
Number of clauses of size 127158
Number of clauses of size 2221140
Number of clauses of size 380384
Number of clauses of size 42048
Number of clauses of size 51024
Number of clauses of size over 50

Solver Data 

0.01/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.01/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.07	c See www.sat4j.org for details.
0.01/0.08	c version 2.3.0.v20110206
0.01/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.08	c java.vm.version	19.1-b02
0.01/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.08	c sun.arch.data.model	64
0.01/0.08	c java.version		1.6.0_24
0.01/0.08	c os.name		Linux
0.01/0.08	c os.version		2.6.18-164.el5
0.01/0.08	c os.arch		amd64
0.01/0.08	c Free memory 		5997854704
0.01/0.08	c Max memory 		6029312000
0.01/0.08	c Total memory 		6029312000
0.01/0.08	c Number of processors 	8
0.08/0.10	c Explanation (MUS) enabled solver
0.08/0.10	c QuickXplain (AAAI 2004 version) minimization strategy
0.08/0.10	c --- Begin Solver configuration ---
0.08/0.10	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@aa470b8
0.08/0.10	c Learn all clauses as in MiniSAT
0.08/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.08/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.08/0.10	c Expensive reason simplification
0.08/0.10	c Armin Biere (Picosat) restarts strategy
0.08/0.10	c Glucose learned constraints deletion strategy
0.08/0.10	c timeout=2147483647s
0.08/0.10	c DB Simplification allowed=true
0.08/0.10	c --- End Solver configuration ---
0.08/0.10	c solving HOME/instance-3493392-1307799090.cnf
0.08/0.10	c reading problem ... 
0.77/0.60	c ... done. Wall clock time 0.501s.
0.77/0.60	c #vars     462826
0.77/0.60	c #constraints  331754
0.77/0.60	c constraints type 
0.77/0.60	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 304596
0.77/0.61	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 27158
1.22/0.97	c Unsat detection wall clock time (in seconds) : 0.87
1.22/0.97	c Size of initial unsat subformula: 248
1.22/0.97	c Computing MUS ...
1.22/0.97	c initial unsat core -130785[?] 462807[?] 131063[?]  130781[?] 462800[?] -131059[?]  -130529[?] 130807[?] 462763[?]  130525[?] -130803[?] 462756[?]  -130555[?] 130277[?] 462728[?]  -130551[?] 130273[?] 462720[?]  462712[?] 130269[?] -130547[?]  -130299[?] 462684[?] 130021[?]  -130295[?] 462676[?] 130017[?]  -130291[?] 462668[?] 130013[?]  -130288[?] 462662[?] 130010[?]  -130043[?] 462640[?] 129765[?]  -130039[?] 462632[?] 129761[?]  -130035[?] 462624[?] 129757[?]  -130032[?] 462618[?] 129754[?]  -129792[?] 462606[?] 129514[?]  -129791[?] 462604[?] 129513[?]  -129779[?] 129501[?] 462580[?]  -129776[?] 129498[?] 462574[?]  -129523[?] 129245[?] 462536[?]  -129520[?] 129242[?] 462530[?]  -129267[?] 128989[?] 462492[?]  -129264[?] 128986[?] 462486[?]  -129019[?] 128741[?] 462464[?]  -129011[?] 462448[?] 128733[?]  -129008[?] 462442[?] 128730[?]  -128768[?] 462430[?] 128490[?]  -128755[?] 462404[?] 128477[?]  -128752[?] 128474[?] 462398[?]  -128512[?] 462386[?] 128234[?]  -128511[?] 462384[?] 128233[?]  -130613[?] 440319[?] -130101[?] 440317[?] -129845[?] 440316[?] -129077[?] 440313[?] -129587[?] 439291[?] -129331[?] 439290[?] -128563[?] 439287[?] -128307[?] 439286[?] 130862[?] 436736[?] -130858[?] 434688[?] -129307[?] 427002[?] -128283[?] 426998[?] -128027[?] 426997[?] -129306[?] 426490[?] -128026[?] 426485[?] -128279[?] 424950[?] -128023[?] 424949[?] -129302[?] 424442[?] -129514[?] 129382[?] 413178[?]  -128490[?] 128358[?] 413174[?]  -128234[?] 128102[?] 413173[?]  -129513[?] 129381[?] 412154[?]  -128233[?] 128101[?] 412149[?]  -130277[?] 130163[?] 408061[?]  -130021[?] 129907[?] 408060[?]  -129765[?] 129651[?] 408059[?]  -128741[?] 128627[?] 408055[?]  -130679[?] 130785[?] 404479[?]  -130423[?] 130529[?] 404478[?]  -130273[?] 130167[?] 403965[?]  -130017[?] 129911[?] 403964[?]  -129761[?] 129655[?] 403963[?]  130683[?] -130781[?] 399871[?]  130427[?] -130525[?] 399870[?]  -130269[?] 130171[?] 399869[?]  -130013[?] 129915[?] 399868[?]  -129757[?] 129659[?] 399867[?]  -129501[?] 129403[?] 399866[?]  -129245[?] 129147[?] 399865[?]  -128989[?] 128891[?] 399864[?]  -128733[?] 128635[?] 399863[?]  -128477[?] 128379[?] 399862[?]  -130266[?] 130174[?] 396797[?]  -130010[?] 129918[?] 396796[?]  -129754[?] 129662[?] 396795[?]  -129498[?] 129406[?] 396794[?]  -129242[?] 129150[?] 396793[?]  -128986[?] 128894[?] 396792[?]  -128730[?] 128638[?] 396791[?]  -128474[?] 128382[?] 396790[?]  -128979[?] 129011[?] 128968[?] 390648[?]  -128976[?] 129008[?] 128969[?] 384504[?]  -128969[?] -128933[?] 369144[?]  -128968[?] -128932[?] 368120[?]  -128967[?] -128931[?] 366072[?]  -130502[?] -130466[?] 364030[?]  -128966[?] -128930[?] 364024[?]  -130755[?] -130622[?] 359423[?]  -130243[?] -130110[?] 359421[?]  -129987[?] -129854[?] 359420[?]  -129731[?] -129598[?] 359419[?]  -129475[?] -129342[?] 359418[?]  -129219[?] -129086[?] 359417[?]  -128707[?] -128574[?] 359415[?]  -128451[?] -128318[?] 359414[?]  130754[?] 130655[?] 130752[?] 358911[?]  -129730[?] -129728[?] 358395[?]  -128706[?] -128704[?] 358391[?]  -128450[?] -128448[?] 358390[?]  128573[?] 128768[?] 128705[?] 357367[?]  -130753[?] -130816[?] 356863[?]  -130241[?] -130304[?] 356861[?]  -129985[?] -130048[?] 356860[?]  -129217[?] -129280[?] 356857[?]  129728[?] 129792[?] 129791[?] 355835[?]  128704[?] 128767[?] 128768[?] 355831[?]  128448[?] 128512[?] 128511[?] 355830[?]  -130752[?] -130816[?] 354815[?]  -129468[?] -129389[?] 347642[?]  -128444[?] -128365[?] 347638[?]  -128188[?] -128109[?] 347637[?]  130485[?] -130467[?] 336894[?]  130484[?] -130372[?] 334846[?]  -129457[?] 129307[?] 129468[?] 331258[?]  -128433[?] 128283[?] 128444[?] 331254[?]  -128177[?] 128027[?] 128188[?] 331253[?]  -129455[?] 129306[?] 129468[?] 328186[?]  -128175[?] 128026[?] 128188[?] 328181[?]  128933[?] 128968[?] 311800[?]  128932[?] 128967[?] 310264[?]  130467[?] 130502[?] 308734[?]  128931[?] 128966[?] 308728[?]  130466[?] 130555[?] 306174[?]  128930[?] 129019[?] 306168[?]  130201[?] 130243[?] 292861[?]  129945[?] 129987[?] 292860[?]  129689[?] 129731[?] 292859[?]  128665[?] 128707[?] 292855[?]  129688[?] 129730[?] 291323[?]  128664[?] 128706[?] 291319[?]  130200[?] 130299[?] 290813[?]  129944[?] 130043[?] 290812[?]  -130499[?] -130409[?] -130449[?] 281086[?]  130193[?] 130243[?] 280573[?]  129937[?] 129987[?] 280572[?]  129681[?] 129731[?] 280571[?]  -130807[?] -130704[?] -130754[?] 279551[?]  129680[?] 129730[?] 279035[?]  130192[?] 130295[?] 278525[?]  129936[?] 130039[?] 278524[?]  130697[?] 130755[?] 268287[?]  130441[?] 130499[?] 268286[?]  130185[?] 130243[?] 268285[?]  129929[?] 129987[?] 268284[?]  129673[?] 129731[?] 268283[?]  129417[?] 129475[?] 268282[?]  129161[?] 129219[?] 268281[?]  128649[?] 128707[?] 268279[?]  128393[?] 128451[?] 268278[?]  128905[?] 128979[?] 267768[?]  128392[?] 128450[?] 266742[?]  130803[?] 130696[?] 266239[?]  130547[?] 130440[?] 266238[?]  130184[?] 130291[?] 266237[?]  129928[?] 130035[?] 266236[?]  129672[?] 129779[?] 266235[?]  129416[?] 129523[?] 266234[?]  129160[?] 129267[?] 266233[?]  128904[?] 129011[?] 266232[?]  128648[?] 128755[?] 266231[?]  130179[?] 130243[?] 259069[?]  129923[?] 129987[?] 259068[?]  129667[?] 129731[?] 259067[?]  129411[?] 129475[?] 259066[?]  129155[?] 129219[?] 259065[?]  128643[?] 128707[?] 259063[?]  128387[?] 128451[?] 259062[?]  128899[?] 128976[?] 258552[?]  128386[?] 128450[?] 257526[?]  130178[?] 130288[?] 257021[?]  129922[?] 130032[?] 257020[?]  129666[?] 129776[?] 257019[?]  129410[?] 129520[?] 257018[?]  129154[?] 129264[?] 257017[?]  128898[?] 129008[?] 257016[?]  128642[?] 128752[?] 257015[?]  -130174[?] -130178[?] -130179[?] 251901[?]  -129918[?] -129922[?] -129923[?] 251900[?]  -129662[?] -129666[?] -129667[?] 251899[?]  -129406[?] -129410[?] -129411[?] 251898[?]  -129150[?] -129154[?] -129155[?] 251897[?]  -128894[?] -128899[?] -128898[?] 251896[?]  -128638[?] -128642[?] -128643[?] 251895[?]  -128382[?] -128386[?] -128387[?] 251894[?]  -130696[?] -130683[?] -130697[?] 247295[?]  -130440[?] -130441[?] -130427[?] 247294[?]  -130171[?] -130184[?] -130185[?] 247293[?]  -129915[?] -129928[?] -129929[?] 247292[?]  -129659[?] -129672[?] -129673[?] 247291[?]  -129403[?] -129416[?] -129417[?] 247290[?]  -129147[?] -129160[?] -129161[?] 247289[?]  -128891[?] -128905[?] -128904[?] 247288[?]  -128635[?] -128648[?] -128649[?] 247287[?]  -128379[?] -128392[?] -128393[?] 247286[?]  -130167[?] -130192[?] -130193[?] 241149[?]  -129911[?] -129936[?] -129937[?] 241148[?]  -129655[?] -129680[?] -129681[?] 241147[?]  130704[?] 130679[?] 240639[?]  130449[?] 130423[?] 240126[?]  -130163[?] -130200[?] -130201[?] 235005[?]  -129907[?] -129944[?] -129945[?] 235004[?]  -129651[?] -129688[?] -129689[?] 235003[?]  -128627[?] -128664[?] -128665[?] 234999[?]  130816[?] 130671[?] 227839[?]  130304[?] 130159[?] 227837[?]  130048[?] 129903[?] 227836[?]  129280[?] 129135[?] 227833[?]  129389[?] 129302[?] 224250[?]  128365[?] 128279[?] 223734[?]  128109[?] 128023[?] 223733[?]  130409[?] -130484[?] -130485[?] 218622[?]  -129382[?] 129457[?] 213498[?]  -128358[?] 128433[?] 213494[?]  -128102[?] 128177[?] 213493[?]  -129381[?] 129455[?] 211962[?]  -128101[?] 128175[?] 211957[?]  -130655[?] 130753[?] 202751[?]  -130143[?] 130241[?] 202749[?]  -129887[?] 129985[?] 202748[?]  -129631[?] 129729[?] 202747[?]  -129375[?] 129473[?] 202746[?]  -129119[?] 129217[?] 202745[?]  -128607[?] 128705[?] 202743[?]  -128351[?] 128449[?] 202742[?]  130913[?] -130908[?] 198144[?]  131059[?] -130908[?] 197632[?]  -131063[?] -130913[?] 130897[?] 181760[?]  130372[?] 130551[?] 166398[?]  130622[?] 130655[?] 160255[?]  130110[?] 130143[?] 160253[?]  129854[?] 129887[?] 160252[?]  129598[?] 129631[?] 160251[?]  129342[?] 129375[?] 160250[?]  129086[?] 129119[?] 160249[?]  128574[?] 128607[?] 160247[?]  128318[?] 128351[?] 160246[?]  -128767[?] -128573[?] 159735[?]  -130671[?] 130613[?] 151551[?]  -130159[?] 130101[?] 151549[?]  -129903[?] 129845[?] 151548[?]  -129135[?] 129077[?] 151545[?]  -129729[?] 129587[?] 149499[?]  -129473[?] 129331[?] 149498[?]  -128705[?] 128563[?] 149495[?]  -128449[?] 128307[?] 149494[?]  130908[?] -130862[?] 143872[?]  -130897[?] 130858[?] 140288[?]  
1.37/1.07	c qxplain 0/247
1.78/1.36	c qxplain 124/247
2.01/1.53	c qxplain 186/247
2.25/1.73	c qxplain 217/247
2.51/1.91	c qxplain 233/247
2.60/2.08	c qxplain 241/247
2.81/2.26	c qxplain 245/247
3.00/2.43	c qxplain 247/247
3.21/2.60	c 140288[?] -130897[?] 130858[?]  is mandatory 
3.21/2.60	c qxplain 245/246
3.30/2.77	c qxplain 246/246
3.50/2.95	c 143872[?] 130908[?] -130862[?]  is mandatory 
3.50/2.95	c qxplain 245/245
3.73/3.14	c 149494[?] -128449[?] 128307[?]  is mandatory 
3.73/3.14	c qxplain 241/244
3.93/3.31	c qxplain 243/244
4.03/3.48	c qxplain 244/244
4.22/3.66	c 149495[?] -128705[?] 128563[?]  is mandatory 
4.22/3.66	c qxplain 243/243
4.43/3.83	c 149498[?] -129473[?] 129331[?]  is mandatory 
4.43/3.83	c qxplain 241/242
4.62/4.00	c qxplain 242/242
4.72/4.18	c 149499[?] -129729[?] 129587[?]  is mandatory 
4.72/4.18	c qxplain 241/241
4.93/4.35	c 151545[?] -129135[?] 129077[?]  is mandatory 
4.93/4.35	c qxplain 233/240
5.12/4.52	c qxplain 237/240
5.22/4.69	c qxplain 239/240
5.42/4.86	c qxplain 240/240
5.62/5.03	c 151548[?] -129903[?] 129845[?]  is mandatory 
5.62/5.03	c qxplain 239/239
5.82/5.21	c 151549[?] -130159[?] 130101[?]  is mandatory 
5.82/5.21	c qxplain 237/238
5.92/5.38	c qxplain 238/238
6.13/5.55	c 151551[?] -130671[?] 130613[?]  is mandatory 
6.13/5.55	c qxplain 237/237
6.32/5.72	c 159735[?] -128767[?] -128573[?]  is mandatory 
6.32/5.72	c qxplain 233/236
6.42/5.89	c qxplain 235/236
6.63/6.06	c qxplain 236/236
6.82/6.23	c 160246[?] 128318[?] 128351[?]  is mandatory 
6.82/6.23	c qxplain 235/235
7.02/6.41	c 160247[?] 128574[?] 128607[?]  is mandatory 
7.02/6.41	c qxplain 233/234
7.13/6.58	c qxplain 234/234
7.32/6.75	c 160249[?] 129086[?] 129119[?]  is mandatory 
7.32/6.75	c qxplain 233/233
7.52/6.92	c 160250[?] 129342[?] 129375[?]  is mandatory 
7.52/6.92	c qxplain 217/232
7.62/7.09	c qxplain 225/232
7.82/7.26	c qxplain 229/232
8.02/7.43	c qxplain 231/232
8.12/7.60	c qxplain 232/232
8.33/7.77	c 160251[?] 129598[?] 129631[?]  is mandatory 
8.33/7.77	c qxplain 231/231
8.53/7.94	c 160252[?] 129854[?] 129887[?]  is mandatory 
8.53/7.94	c qxplain 229/230
8.72/8.11	c qxplain 230/230
8.82/8.29	c 160253[?] 130110[?] 130143[?]  is mandatory 
8.82/8.29	c qxplain 229/229
9.03/8.46	c 160255[?] 130622[?] 130655[?]  is mandatory 
9.03/8.46	c qxplain 225/228
9.22/8.63	c qxplain 227/228
9.33/8.80	c qxplain 228/228
9.52/8.97	c 166398[?] 130372[?] 130551[?]  is mandatory 
9.52/8.97	c qxplain 227/227
9.72/9.15	c 181760[?] 130897[?] -131063[?] -130913[?]  is mandatory 
9.72/9.15	c qxplain 225/226
9.92/9.32	c qxplain 226/226
10.02/9.49	c 197632[?] 131059[?] -130908[?]  is mandatory 
10.02/9.49	c qxplain 225/225
10.22/9.66	c 198144[?] 130913[?] -130908[?]  is mandatory 
10.22/9.66	c qxplain 217/224
10.43/9.83	c qxplain 221/224
10.62/10.01	c qxplain 223/224
10.72/10.18	c qxplain 224/224
10.93/10.36	c 202742[?] -128351[?] 128449[?]  is mandatory 
10.93/10.36	c qxplain 223/223
11.13/10.53	c 202743[?] -128607[?] 128705[?]  is mandatory 
11.13/10.53	c qxplain 221/222
11.32/10.70	c qxplain 222/222
11.43/10.87	c 202745[?] -129119[?] 129217[?]  is mandatory 
11.43/10.87	c qxplain 221/221
11.63/11.04	c 202746[?] -129375[?] 129473[?]  is mandatory 
11.63/11.04	c qxplain 217/220
11.83/11.22	c qxplain 219/220
11.93/11.39	c qxplain 220/220
12.13/11.56	c 202747[?] -129631[?] 129729[?]  is mandatory 
12.13/11.56	c qxplain 219/219
12.32/11.73	c 202748[?] -129887[?] 129985[?]  is mandatory 
12.32/11.73	c qxplain 217/218
12.53/11.91	c qxplain 218/218
12.63/12.08	c 202749[?] -130143[?] 130241[?]  is mandatory 
12.63/12.08	c qxplain 217/217
12.82/12.25	c 202751[?] -130655[?] 130753[?]  is mandatory 
12.82/12.25	c qxplain 186/216
13.03/12.42	c qxplain 202/216
13.13/12.60	c qxplain 210/216
13.76/12.98	c qxplain 214/216
13.98/13.11	c qxplain 216/216
14.08/13.24	c 211957[?] -128101[?] 128175[?]  is mandatory 
14.08/13.24	c qxplain 214/215
14.17/13.37	c qxplain 215/215
14.37/13.50	c 211962[?] -129381[?] 129455[?]  is mandatory 
14.37/13.50	c qxplain 214/214
14.47/13.63	c 213493[?] -128102[?] 128177[?]  is mandatory 
14.47/13.63	c qxplain 210/213
14.57/13.75	c qxplain 212/213
14.67/13.89	c qxplain 213/213
14.89/14.02	c 213494[?] -128358[?] 128433[?]  is mandatory 
14.89/14.02	c qxplain 212/212
14.99/14.15	c 213498[?] -129382[?] 129457[?]  is mandatory 
14.99/14.15	c qxplain 210/211
15.09/14.28	c qxplain 211/211
15.29/14.40	c 218622[?] 130409[?] -130485[?] -130484[?]  is mandatory 
15.29/14.40	c qxplain 210/210
15.39/14.53	c 223733[?] 128109[?] 128023[?]  is mandatory 
15.39/14.53	c qxplain 202/209
15.49/14.66	c qxplain 206/209
15.59/14.79	c qxplain 208/209
15.79/14.92	c qxplain 209/209
15.89/15.05	c 223734[?] 128365[?] 128279[?]  is mandatory 
15.89/15.05	c qxplain 208/208
15.99/15.18	c 224250[?] 129389[?] 129302[?]  is mandatory 
15.99/15.18	c qxplain 206/207
16.19/15.30	c qxplain 207/207
16.29/15.43	c 227833[?] 129280[?] 129135[?]  is mandatory 
16.29/15.43	c qxplain 206/206
16.39/15.56	c 227836[?] 130048[?] 129903[?]  is mandatory 
16.39/15.56	c qxplain 202/205
16.49/15.69	c qxplain 204/205
16.70/15.82	c qxplain 205/205
16.80/15.95	c 227837[?] 130304[?] 130159[?]  is mandatory 
16.80/15.95	c qxplain 204/204
16.90/16.08	c 227839[?] 130816[?] 130671[?]  is mandatory 
16.90/16.08	c qxplain 202/203
17.10/16.21	c qxplain 203/203
17.20/16.34	c 234999[?] -128627[?] -128664[?] -128665[?]  is mandatory 
17.20/16.34	c qxplain 202/202
17.30/16.47	c 235003[?] -129651[?] -129689[?] -129688[?]  is mandatory 
17.30/16.47	c qxplain 186/201
17.50/16.60	c qxplain 194/201
17.60/16.73	c qxplain 198/201
17.70/16.86	c qxplain 200/201
17.80/16.99	c qxplain 201/201
18.00/17.12	c 235004[?] -129907[?] -129944[?] -129945[?]  is mandatory 
18.00/17.12	c qxplain 200/200
18.10/17.25	c 235005[?] -130163[?] -130200[?] -130201[?]  is mandatory 
18.10/17.25	c qxplain 198/199
18.20/17.38	c qxplain 199/199
18.40/17.51	c 240126[?] 130423[?] 130449[?]  is mandatory 
18.40/17.51	c qxplain 198/198
18.50/17.64	c 240639[?] 130679[?] 130704[?]  is mandatory 
18.50/17.64	c qxplain 194/197
18.59/17.77	c qxplain 196/197
18.69/17.90	c qxplain 197/197
18.89/18.03	c 241147[?] -129655[?] -129681[?] -129680[?]  is mandatory 
18.89/18.03	c qxplain 196/196
18.99/18.16	c 241148[?] -129911[?] -129936[?] -129937[?]  is mandatory 
18.99/18.16	c qxplain 194/195
19.09/18.29	c qxplain 195/195
19.29/18.42	c 241149[?] -130167[?] -130192[?] -130193[?]  is mandatory 
19.29/18.42	c qxplain 194/194
19.39/18.55	c 247286[?] -128379[?] -128393[?] -128392[?]  is mandatory 
19.39/18.55	c qxplain 186/193
19.50/18.68	c qxplain 190/193
19.69/18.80	c qxplain 192/193
19.79/18.93	c qxplain 193/193
19.89/19.07	c 247287[?] -128635[?] -128648[?] -128649[?]  is mandatory 
19.89/19.07	c qxplain 192/192
19.99/19.20	c 247288[?] -128891[?] -128905[?] -128904[?]  is mandatory 
19.99/19.20	c qxplain 190/191
20.19/19.33	c qxplain 191/191
20.29/19.46	c 247289[?] -129147[?] -129160[?] -129161[?]  is mandatory 
20.29/19.46	c qxplain 190/190
20.39/19.59	c 247290[?] -129403[?] -129416[?] -129417[?]  is mandatory 
20.39/19.59	c qxplain 186/189
20.60/19.72	c qxplain 188/189
20.70/19.85	c qxplain 189/189
20.79/19.98	c 247291[?] -129659[?] -129672[?] -129673[?]  is mandatory 
20.79/19.98	c qxplain 188/188
20.99/20.11	c 247292[?] -129915[?] -129928[?] -129929[?]  is mandatory 
20.99/20.11	c qxplain 186/187
21.09/20.23	c qxplain 187/187
21.19/20.36	c 247293[?] -130171[?] -130184[?] -130185[?]  is mandatory 
21.19/20.36	c qxplain 186/186
21.29/20.49	c 247294[?] -130441[?] -130440[?] -130427[?]  is mandatory 
21.29/20.49	c qxplain 124/185
21.49/20.62	c qxplain 155/185
21.59/20.75	c qxplain 171/185
21.70/20.87	c qxplain 179/185
21.89/21.00	c qxplain 183/185
21.99/21.13	c qxplain 185/185
22.09/21.26	c 247295[?] -130696[?] -130683[?] -130697[?]  is mandatory 
22.09/21.26	c qxplain 183/184
22.09/21.29	c qxplain 179/182
22.22/21.34	c qxplain 171/178
22.22/21.34	c qxplain 155/170
22.35/21.45	c qxplain 163/170
22.35/21.46	c qxplain 155/162
22.45/21.58	c qxplain 159/162
22.65/21.70	c qxplain 161/162
22.65/21.71	c qxplain 159/160
22.75/21.84	c qxplain 160/160
22.85/21.96	c 266231[?] 128648[?] 128755[?]  is mandatory 
22.85/21.96	c qxplain 159/159
22.95/22.09	c 266232[?] 128904[?] 129011[?]  is mandatory 
22.95/22.09	c qxplain 155/158
23.15/22.23	c qxplain 157/158
23.25/22.35	c qxplain 158/158
23.35/22.48	c 266233[?] 129160[?] 129267[?]  is mandatory 
23.35/22.48	c qxplain 157/157
23.96/22.83	c 266234[?] 129416[?] 129523[?]  is mandatory 
23.96/22.83	c qxplain 155/156
24.06/22.95	c qxplain 156/156
24.17/23.07	c 266235[?] 129672[?] 129779[?]  is mandatory 
24.17/23.07	c qxplain 155/155
24.36/23.20	c 266236[?] 129928[?] 130035[?]  is mandatory 
24.36/23.20	c qxplain 124/154
24.46/23.33	c qxplain 140/154
24.56/23.45	c qxplain 148/154
24.66/23.58	c qxplain 152/154
24.86/23.71	c qxplain 154/154
24.96/23.83	c 266237[?] 130184[?] 130291[?]  is mandatory 
24.96/23.83	c qxplain 152/153
25.06/23.96	c qxplain 153/153
25.16/24.09	c 266238[?] 130440[?] 130547[?]  is mandatory 
25.16/24.09	c qxplain 152/152
25.37/24.22	c 266239[?] 130803[?] 130696[?]  is mandatory 
25.37/24.22	c qxplain 148/151
25.46/24.34	c qxplain 150/151
25.56/24.47	c qxplain 151/151
25.76/24.60	c 266742[?] 128392[?] 128450[?]  is mandatory 
25.76/24.60	c qxplain 150/150
25.86/24.73	c 267768[?] 128905[?] 128979[?]  is mandatory 
25.86/24.73	c qxplain 148/149
25.96/24.85	c qxplain 149/149
26.06/24.98	c 268278[?] 128393[?] 128451[?]  is mandatory 
26.06/24.98	c qxplain 148/148
26.26/25.11	c 268279[?] 128649[?] 128707[?]  is mandatory 
26.26/25.11	c qxplain 140/147
26.37/25.24	c qxplain 144/147
26.47/25.36	c qxplain 146/147
26.56/25.49	c qxplain 147/147
26.76/25.61	c 268281[?] 129161[?] 129219[?]  is mandatory 
26.76/25.61	c qxplain 146/146
26.86/25.74	c 268282[?] 129417[?] 129475[?]  is mandatory 
26.86/25.74	c qxplain 144/145
26.96/25.87	c qxplain 145/145
27.16/26.00	c 268283[?] 129673[?] 129731[?]  is mandatory 
27.16/26.00	c qxplain 144/144
27.26/26.13	c 268284[?] 129929[?] 129987[?]  is mandatory 
27.26/26.13	c qxplain 140/143
27.36/26.25	c qxplain 142/143
27.46/26.38	c qxplain 143/143
27.66/26.51	c 268285[?] 130185[?] 130243[?]  is mandatory 
27.66/26.51	c qxplain 142/142
27.76/26.64	c 268286[?] 130499[?] 130441[?]  is mandatory 
27.76/26.64	c qxplain 140/141
27.86/26.76	c qxplain 141/141
27.96/26.89	c 268287[?] 130697[?] 130755[?]  is mandatory 
27.96/26.89	c qxplain 140/140
28.16/27.02	c 278524[?] 129936[?] 130039[?]  is mandatory 
28.16/27.02	c qxplain 124/139
28.26/27.14	c qxplain 132/139
28.36/27.27	c qxplain 136/139
28.46/27.39	c qxplain 138/139
28.66/27.52	c qxplain 139/139
28.76/27.65	c 278525[?] 130192[?] 130295[?]  is mandatory 
28.76/27.65	c qxplain 138/138
28.86/27.77	c 279035[?] 129680[?] 129730[?]  is mandatory 
28.86/27.77	c qxplain 136/137
29.06/27.90	c qxplain 137/137
29.16/28.03	c 279551[?] -130704[?] -130807[?] -130754[?]  is mandatory 
29.16/28.03	c qxplain 136/136
29.26/28.16	c 280571[?] 129681[?] 129731[?]  is mandatory 
29.26/28.16	c qxplain 132/135
29.36/28.28	c qxplain 134/135
29.56/28.41	c qxplain 135/135
29.66/28.54	c 280572[?] 129937[?] 129987[?]  is mandatory 
29.66/28.55	c qxplain 134/134
29.76/28.67	c 280573[?] 130193[?] 130243[?]  is mandatory 
29.76/28.67	c qxplain 132/133
29.95/28.80	c qxplain 133/133
30.05/28.93	c 281086[?] -130449[?] -130409[?] -130499[?]  is mandatory 
30.05/28.93	c qxplain 132/132
30.15/29.06	c 290812[?] 129944[?] 130043[?]  is mandatory 
30.15/29.06	c qxplain 124/131
30.25/29.19	c qxplain 128/131
30.45/29.31	c qxplain 130/131
30.55/29.44	c qxplain 131/131
30.65/29.57	c 290813[?] 130200[?] 130299[?]  is mandatory 
30.65/29.57	c qxplain 130/130
30.76/29.69	c 291319[?] 128664[?] 128706[?]  is mandatory 
30.76/29.69	c qxplain 128/129
30.95/29.82	c qxplain 129/129
31.05/29.96	c 291323[?] 129688[?] 129730[?]  is mandatory 
31.05/29.96	c qxplain 128/128
31.15/30.09	c 292855[?] 128665[?] 128707[?]  is mandatory 
31.15/30.09	c qxplain 124/127
31.35/30.21	c qxplain 126/127
31.45/30.34	c qxplain 127/127
31.55/30.47	c 292859[?] 129689[?] 129731[?]  is mandatory 
31.55/30.47	c qxplain 126/126
31.75/30.60	c 292860[?] 129945[?] 129987[?]  is mandatory 
31.75/30.60	c qxplain 124/125
31.86/30.73	c qxplain 125/125
31.96/30.85	c 292861[?] 130201[?] 130243[?]  is mandatory 
31.96/30.85	c qxplain 124/124
32.05/30.98	c 306168[?] 128930[?] 129019[?]  is mandatory 
32.05/30.98	c qxplain 0/123
32.25/31.11	c qxplain 62/123
32.35/31.24	c qxplain 93/123
32.45/31.37	c qxplain 109/123
32.55/31.49	c qxplain 117/123
32.75/31.62	c qxplain 121/123
32.85/31.75	c qxplain 123/123
32.96/31.88	c 306174[?] 130466[?] 130555[?]  is mandatory 
32.96/31.88	c qxplain 121/122
33.15/32.01	c qxplain 122/122
33.25/32.13	c 308728[?] 128931[?] 128966[?]  is mandatory 
33.25/32.13	c qxplain 121/121
33.35/32.27	c 308734[?] 130467[?] 130502[?]  is mandatory 
33.35/32.27	c qxplain 117/120
33.45/32.39	c qxplain 119/120
33.65/32.52	c qxplain 120/120
34.14/32.84	c 310264[?] 128932[?] 128967[?]  is mandatory 
34.14/32.84	c qxplain 119/119
34.14/32.85	c qxplain 117/118
34.24/32.98	c qxplain 118/118
34.44/33.11	c 328181[?] -128175[?] 128188[?] 128026[?]  is mandatory 
34.44/33.11	c qxplain 117/117
34.54/33.24	c 328186[?] -129455[?] 129468[?] 129306[?]  is mandatory 
34.54/33.24	c qxplain 109/116
34.64/33.36	c qxplain 113/116
34.74/33.49	c qxplain 115/116
34.94/33.61	c qxplain 116/116
35.04/33.74	c 331253[?] -128177[?] 128188[?] 128027[?]  is mandatory 
35.04/33.74	c qxplain 115/115
35.14/33.86	c 331254[?] -128433[?] 128444[?] 128283[?]  is mandatory 
35.14/33.86	c qxplain 113/114
35.24/33.99	c qxplain 114/114
35.44/34.11	c 331258[?] -129457[?] 129468[?] 129307[?]  is mandatory 
35.44/34.11	c qxplain 113/113
35.54/34.24	c 334846[?] 130484[?] -130372[?]  is mandatory 
35.54/34.24	c qxplain 109/112
35.64/34.37	c qxplain 111/112
35.74/34.50	c qxplain 112/112
35.94/34.62	c 336894[?] 130485[?] -130467[?]  is mandatory 
35.94/34.62	c qxplain 111/111
36.04/34.75	c 347637[?] -128188[?] -128109[?]  is mandatory 
36.04/34.75	c qxplain 109/110
36.14/34.88	c qxplain 110/110
36.34/35.00	c 347638[?] -128444[?] -128365[?]  is mandatory 
36.34/35.00	c qxplain 109/109
36.44/35.13	c 347642[?] -129468[?] -129389[?]  is mandatory 
36.44/35.13	c qxplain 93/108
36.54/35.26	c qxplain 101/108
36.64/35.38	c qxplain 105/108
36.84/35.51	c qxplain 107/108
36.94/35.63	c qxplain 108/108
37.04/35.76	c 354815[?] -130752[?] -130816[?]  is mandatory 
37.04/35.76	c qxplain 107/107
37.14/35.89	c 355830[?] 128448[?] 128511[?] 128512[?]  is mandatory 
37.14/35.89	c qxplain 105/106
37.34/36.01	c qxplain 106/106
37.44/36.14	c 355831[?] 128704[?] 128767[?] 128768[?]  is mandatory 
37.44/36.14	c qxplain 105/105
37.54/36.27	c 355835[?] 129728[?] 129791[?] 129792[?]  is mandatory 
37.54/36.27	c qxplain 101/104
37.64/36.40	c qxplain 103/104
37.84/36.53	c qxplain 104/104
37.94/36.65	c 356857[?] -129217[?] -129280[?]  is mandatory 
37.94/36.65	c qxplain 103/103
38.04/36.78	c 356860[?] -129985[?] -130048[?]  is mandatory 
38.04/36.78	c qxplain 101/102
38.24/36.91	c qxplain 102/102
38.34/37.03	c 356861[?] -130241[?] -130304[?]  is mandatory 
38.34/37.03	c qxplain 101/101
38.44/37.16	c 356863[?] -130753[?] -130816[?]  is mandatory 
38.44/37.16	c qxplain 93/100
38.54/37.29	c qxplain 97/100
38.74/37.41	c qxplain 99/100
38.84/37.54	c qxplain 100/100
38.94/37.67	c 357367[?] 128573[?] 128705[?] 128768[?]  is mandatory 
38.94/37.67	c qxplain 99/99
39.04/37.80	c 358390[?] -128450[?] -128448[?]  is mandatory 
39.04/37.80	c qxplain 97/98
39.24/37.92	c qxplain 98/98
39.34/38.05	c 358391[?] -128706[?] -128704[?]  is mandatory 
39.34/38.05	c qxplain 97/97
39.44/38.18	c 358395[?] -129730[?] -129728[?]  is mandatory 
39.44/38.18	c qxplain 93/96
39.64/38.31	c qxplain 95/96
39.74/38.44	c qxplain 96/96
39.84/38.57	c 358911[?] 130754[?] 130655[?] 130752[?]  is mandatory 
39.84/38.57	c qxplain 95/95
40.04/38.70	c 359414[?] -128451[?] -128318[?]  is mandatory 
40.04/38.70	c qxplain 93/94
40.14/38.83	c qxplain 94/94
40.24/38.95	c 359415[?] -128707[?] -128574[?]  is mandatory 
40.24/38.95	c qxplain 93/93
40.34/39.08	c 359417[?] -129219[?] -129086[?]  is mandatory 
40.34/39.08	c qxplain 62/92
40.54/39.21	c qxplain 78/92
40.64/39.34	c qxplain 86/92
40.74/39.46	c qxplain 90/92
40.83/39.59	c qxplain 92/92
41.04/39.71	c 359418[?] -129475[?] -129342[?]  is mandatory 
41.04/39.71	c qxplain 90/91
41.13/39.84	c qxplain 91/91
41.23/39.97	c 359419[?] -129731[?] -129598[?]  is mandatory 
41.23/39.97	c qxplain 90/90
41.44/40.10	c 359420[?] -129987[?] -129854[?]  is mandatory 
41.44/40.10	c qxplain 86/89
41.54/40.21	c qxplain 88/89
41.65/40.33	c qxplain 89/89
41.75/40.45	c 359421[?] -130243[?] -130110[?]  is mandatory 
41.75/40.45	c qxplain 88/88
41.85/40.57	c 359423[?] -130755[?] -130622[?]  is mandatory 
41.85/40.57	c qxplain 86/87
41.95/40.69	c qxplain 87/87
42.15/40.82	c 364024[?] -128966[?] -128930[?]  is mandatory 
42.15/40.82	c qxplain 86/86
42.25/40.95	c 364030[?] -130502[?] -130466[?]  is mandatory 
42.25/40.95	c qxplain 78/85
42.35/41.07	c qxplain 82/85
42.55/41.20	c qxplain 84/85
42.65/41.33	c qxplain 85/85
42.75/41.45	c 366072[?] -128967[?] -128931[?]  is mandatory 
42.75/41.45	c qxplain 84/84
42.85/41.58	c 368120[?] -128968[?] -128932[?]  is mandatory 
42.85/41.58	c qxplain 82/83
42.85/41.59	c qxplain 78/81
43.05/41.72	c qxplain 80/81
43.15/41.85	c qxplain 81/81
43.25/41.98	c 390648[?] -128979[?] 129011[?] 128968[?]  is mandatory 
43.25/41.98	c qxplain 80/80
43.25/41.99	c qxplain 78/79
43.35/42.01	c qxplain 62/77
43.45/42.14	c qxplain 70/77
43.94/42.45	c qxplain 74/77
43.94/42.46	c qxplain 70/73
44.04/42.59	c qxplain 72/73
44.23/42.71	c qxplain 73/73
44.23/42.72	c qxplain 72/72
44.33/42.85	c 399862[?] -128477[?] 128379[?]  is mandatory 
44.33/42.85	c qxplain 70/71
44.43/42.97	c qxplain 71/71
44.54/43.09	c 399863[?] -128733[?] 128635[?]  is mandatory 
44.54/43.09	c qxplain 70/70
44.73/43.21	c 399864[?] -128989[?] 128891[?]  is mandatory 
44.73/43.21	c qxplain 62/69
44.83/43.33	c qxplain 66/69
44.93/43.45	c qxplain 68/69
45.03/43.57	c qxplain 69/69
45.13/43.69	c 399865[?] -129245[?] 129147[?]  is mandatory 
45.13/43.69	c qxplain 68/68
45.33/43.82	c 399866[?] -129501[?] 129403[?]  is mandatory 
45.33/43.82	c qxplain 66/67
45.43/43.94	c qxplain 67/67
45.53/44.06	c 399867[?] -129757[?] 129659[?]  is mandatory 
45.53/44.06	c qxplain 66/66
45.64/44.18	c 399868[?] -130013[?] 129915[?]  is mandatory 
45.64/44.18	c qxplain 62/65
45.83/44.31	c qxplain 64/65
45.93/44.43	c qxplain 65/65
46.03/44.55	c 399869[?] -130269[?] 130171[?]  is mandatory 
46.03/44.55	c qxplain 64/64
46.13/44.67	c 399870[?] 130427[?] -130525[?]  is mandatory 
46.13/44.67	c qxplain 62/63
46.23/44.79	c qxplain 63/63
46.43/44.92	c 399871[?] 130683[?] -130781[?]  is mandatory 
46.43/44.92	c qxplain 62/62
46.53/45.04	c 403963[?] -129761[?] 129655[?]  is mandatory 
46.53/45.04	c qxplain 0/61
46.63/45.16	c qxplain 31/61
46.73/45.28	c qxplain 47/61
46.93/45.40	c qxplain 55/61
47.03/45.52	c qxplain 59/61
47.13/45.64	c qxplain 61/61
47.23/45.77	c 403964[?] -130017[?] 129911[?]  is mandatory 
47.23/45.77	c qxplain 59/60
47.33/45.89	c qxplain 60/60
47.53/46.01	c 403965[?] -130273[?] 130167[?]  is mandatory 
47.53/46.01	c qxplain 59/59
47.63/46.13	c 404478[?] 130529[?] -130423[?]  is mandatory 
47.63/46.13	c qxplain 55/58
47.73/46.25	c qxplain 57/58
47.83/46.37	c qxplain 58/58
47.93/46.49	c 404479[?] 130785[?] -130679[?]  is mandatory 
47.93/46.49	c qxplain 57/57
48.13/46.61	c 408055[?] -128741[?] 128627[?]  is mandatory 
48.13/46.61	c qxplain 55/56
48.23/46.73	c qxplain 56/56
48.33/46.85	c 408059[?] -129765[?] 129651[?]  is mandatory 
48.33/46.85	c qxplain 55/55
48.43/46.97	c 408060[?] -130021[?] 129907[?]  is mandatory 
48.43/46.97	c qxplain 47/54
48.53/47.09	c qxplain 51/54
48.73/47.21	c qxplain 53/54
48.83/47.33	c qxplain 54/54
48.93/47.44	c 408061[?] -130277[?] 130163[?]  is mandatory 
48.93/47.44	c qxplain 53/53
49.03/47.56	c 412149[?] -128233[?] 128101[?]  is mandatory 
49.03/47.56	c qxplain 51/52
49.13/47.68	c qxplain 52/52
49.33/47.80	c 412154[?] -129513[?] 129381[?]  is mandatory 
49.33/47.80	c qxplain 51/51
49.43/47.93	c 413173[?] -128234[?] 128102[?]  is mandatory 
49.43/47.93	c qxplain 47/50
49.53/48.05	c qxplain 49/50
49.63/48.17	c qxplain 50/50
49.73/48.29	c 413174[?] -128490[?] 128358[?]  is mandatory 
49.73/48.29	c qxplain 49/49
49.93/48.41	c 413178[?] -129514[?] 129382[?]  is mandatory 
49.93/48.41	c qxplain 47/48
50.03/48.54	c qxplain 48/48
50.13/48.66	c -129302[?] 424442[?] is mandatory 
50.13/48.66	c qxplain 47/47
50.23/48.78	c -128023[?] 424949[?] is mandatory 
50.23/48.78	c qxplain 31/46
50.43/48.90	c qxplain 39/46
50.53/49.03	c qxplain 43/46
50.63/49.15	c qxplain 45/46
50.73/49.27	c qxplain 46/46
50.83/49.39	c -128279[?] 424950[?] is mandatory 
50.83/49.39	c qxplain 45/45
51.03/49.51	c -128026[?] 426485[?] is mandatory 
51.03/49.51	c qxplain 43/44
51.13/49.63	c qxplain 44/44
51.23/49.75	c -129306[?] 426490[?] is mandatory 
51.23/49.75	c qxplain 43/43
51.33/49.87	c -128027[?] 426997[?] is mandatory 
51.33/49.87	c qxplain 39/42
51.43/50.00	c qxplain 41/42
51.63/50.12	c qxplain 42/42
51.73/50.24	c -128283[?] 426998[?] is mandatory 
51.73/50.24	c qxplain 41/41
51.83/50.36	c -129307[?] 427002[?] is mandatory 
51.83/50.36	c qxplain 39/40
51.93/50.48	c qxplain 40/40
52.13/50.61	c -130858[?] 434688[?] is mandatory 
52.13/50.61	c qxplain 39/39
52.23/50.73	c 130862[?] 436736[?] is mandatory 
52.23/50.73	c qxplain 31/38
52.33/50.85	c qxplain 35/38
52.43/50.97	c qxplain 37/38
52.53/51.09	c qxplain 38/38
52.73/51.22	c -128307[?] 439286[?] is mandatory 
52.73/51.22	c qxplain 37/37
52.83/51.34	c -128563[?] 439287[?] is mandatory 
52.83/51.34	c qxplain 35/36
52.93/51.46	c qxplain 36/36
53.41/51.78	c -129331[?] 439290[?] is mandatory 
53.41/51.78	c qxplain 35/35
53.62/51.91	c -129587[?] 439291[?] is mandatory 
53.62/51.91	c qxplain 31/34
53.71/52.03	c qxplain 33/34
53.81/52.16	c qxplain 34/34
53.91/52.29	c -129077[?] 440313[?] is mandatory 
53.91/52.29	c qxplain 33/33
54.11/52.42	c -129845[?] 440316[?] is mandatory 
54.11/52.42	c qxplain 31/32
54.21/52.55	c qxplain 32/32
54.31/52.68	c -130101[?] 440317[?] is mandatory 
54.31/52.68	c qxplain 31/31
54.52/52.80	c -130613[?] 440319[?] is mandatory 
54.52/52.80	c qxplain 0/30
54.62/52.92	c qxplain 16/30
54.72/53.05	c qxplain 24/30
54.81/53.17	c qxplain 28/30
55.01/53.30	c qxplain 30/30
55.11/53.43	c 462384[?] -128511[?] 128233[?]  is mandatory 
55.11/53.43	c qxplain 28/29
55.21/53.55	c qxplain 29/29
55.31/53.68	c 462386[?] -128512[?] 128234[?]  is mandatory 
55.31/53.68	c qxplain 28/28
55.31/53.70	c qxplain 24/27
55.51/53.82	c qxplain 26/27
55.61/53.95	c qxplain 27/27
55.72/54.07	c 462404[?] -128755[?] 128477[?]  is mandatory 
55.72/54.07	c qxplain 26/26
55.91/54.20	c 462430[?] -128768[?] 128490[?]  is mandatory 
55.91/54.20	c qxplain 24/25
56.01/54.33	c qxplain 25/25
56.01/54.34	c qxplain 24/24
56.11/54.47	c 462448[?] -129011[?] 128733[?]  is mandatory 
56.11/54.47	c qxplain 16/23
56.31/54.60	c qxplain 20/23
56.41/54.72	c qxplain 22/23
56.51/54.85	c qxplain 23/23
56.61/54.98	c 462464[?] -129019[?] 128741[?]  is mandatory 
56.61/54.98	c qxplain 22/22
56.71/55.00	c qxplain 20/21
56.82/55.13	c qxplain 21/21
56.92/55.25	c 462492[?] -129267[?] 128989[?]  is mandatory 
56.92/55.25	c qxplain 20/20
56.92/55.27	c qxplain 16/19
57.01/55.39	c qxplain 18/19
57.21/55.52	c qxplain 19/19
57.31/55.65	c 462536[?] -129523[?] 129245[?]  is mandatory 
57.31/55.65	c qxplain 18/18
57.31/55.67	c qxplain 16/17
57.41/55.80	c qxplain 17/17
57.61/55.92	c 462580[?] -129779[?] 129501[?]  is mandatory 
57.61/55.92	c qxplain 16/16
57.71/56.05	c 462604[?] -129791[?] 129513[?]  is mandatory 
57.71/56.05	c qxplain 0/15
57.81/56.18	c qxplain 8/15
58.02/56.31	c qxplain 12/15
58.11/56.44	c qxplain 14/15
58.21/56.57	c qxplain 15/15
58.31/56.69	c 462606[?] -129792[?] 129514[?]  is mandatory 
58.31/56.69	c qxplain 14/14
58.41/56.71	c qxplain 12/13
58.51/56.84	c qxplain 13/13
58.61/56.97	c 462624[?] -130035[?] 129757[?]  is mandatory 
58.61/56.97	c qxplain 12/12
58.71/57.09	c 462632[?] -130039[?] 129761[?]  is mandatory 
58.71/57.09	c qxplain 8/11
58.91/57.22	c qxplain 10/11
59.02/57.35	c qxplain 11/11
59.12/57.47	c 462640[?] -130043[?] 129765[?]  is mandatory 
59.12/57.47	c qxplain 10/10
59.12/57.49	c qxplain 8/9
59.31/57.62	c qxplain 9/9
59.41/57.74	c 462668[?] -130291[?] 130013[?]  is mandatory 
59.41/57.74	c qxplain 8/8
59.51/57.87	c 462676[?] -130295[?] 130017[?]  is mandatory 
59.51/57.87	c qxplain 0/7
59.71/58.00	c qxplain 4/7
59.81/58.13	c qxplain 6/7
59.91/58.26	c qxplain 7/7
60.01/58.39	c 462684[?] -130299[?] 130021[?]  is mandatory 
60.01/58.39	c qxplain 6/6
60.22/58.52	c 462712[?] -130547[?] 130269[?]  is mandatory 
60.22/58.52	c qxplain 4/5
60.31/58.65	c qxplain 5/5
60.41/58.77	c 462720[?] -130551[?] 130273[?]  is mandatory 
60.41/58.77	c qxplain 4/4
60.61/58.90	c 462728[?] -130555[?] 130277[?]  is mandatory 
60.61/58.90	c qxplain 0/3
60.71/59.03	c qxplain 2/3
60.81/59.16	c qxplain 3/3
60.91/59.29	c 462756[?] 130525[?] -130803[?]  is mandatory 
60.91/59.29	c qxplain 2/2
61.11/59.41	c 462763[?] 130807[?] -130529[?]  is mandatory 
61.11/59.41	c qxplain 0/1
61.22/59.54	c qxplain 1/1
61.32/59.66	c 462800[?] 130781[?] -131059[?]  is mandatory 
61.32/59.66	c qxplain 0/0
61.41/59.79	c 462807[?] 131063[?] -130785[?]  is mandatory 
62.20/60.35	c Size of the MUS: 206
62.20/60.35	c Unsat core  computation wall clock time (in seconds) : 59.378
62.20/60.35	c starts		: 429
62.20/60.35	c conflicts		: 2
62.20/60.35	c decisions		: 56145237
62.20/60.35	c propagations		: 199010665
62.20/60.35	c inspects		: 40008042
62.20/60.35	c shortcuts		: 0
62.20/60.35	c learnt literals	: 0
62.20/60.35	c learnt binary clauses	: 0
62.20/60.35	c learnt ternary clauses	: 0
62.20/60.35	c learnt constraints	: 2
62.20/60.35	c ignored constraints	: 0
62.20/60.35	c root simplifications	: 0
62.20/60.35	c removed literals (reason simplification)	: 0
62.20/60.35	c reason swapping (by a shorter reason)	: 0
62.20/60.35	c Calls to reduceDB	: 0
62.20/60.35	c speed (assignments/second)	: 2.888398621190131E8
62.20/60.35	c non guided choices	56145233
62.20/60.35	c learnt constraints type 
62.20/60.35	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 2
62.20/60.35	c constraints type 
62.20/60.35	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 304596
62.20/60.35	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 27158
62.20/60.35	s UNSATISFIABLE
62.20/60.35	v 9216 12800 18422 18423 18426 18427 20473 20476 20477 20479 28663 29174 29175 29177 29178 29179 29180 29181 29183 35326 50688 66560 67072 71670 71671 71673 71674 71675 71676 71677 71679 80885 80890 82421 82422 82426 87550 92661 92662 93178 96761 96764 96765 96767 103927 103931 103932 103933 109054 109567 110075 110076 110077 116214 116215 116216 116217 116218 116219 116220 116221 116222 116223 135159 135160 135161 135162 135163 135164 135165 135166 135167 135670 136696 137206 137207 137209 137210 137211 137212 137213 137214 137215 147452 147453 147963 148479 149499 149500 149501 150014 159740 159741 160247 160251 161783 161787 161788 161789 175096 175102 177656 177662 179192 197109 197114 200181 200182 200186 203774 205822 216565 216566 216570 223743 224758 224759 224763 225785 225788 225789 225791 226295 227318 227319 227323 227839 228342 228343 228345 228346 228347 228348 228349 228351 232952 232958 235000 237048 259576 268790 268791 268792 268793 268794 268795 268796 268797 268798 268799 272891 272892 272893 273406 273407 276983 276987 276988 276989 281077 281082 282101 282102 282106 293370 293877 293878 295413 295418 295925 295926 295930 303616 305664 308214 308215 308218 308219 309241 309244 309245 309247 331312 331314 331332 331358 331376 331392 331420 331464 331508 331532 331534 331552 331560 331568 331596 331604 331612 331640 331648 331656 331684 331691 331728 331735 0
62.20/60.35	c Total wall clock time (in seconds) : 60.25

Verifier Data 

OK	206

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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

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

running on 2 cores: 0,2

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


[startup+0 s]
/proc/loadavg: 1.40 1.43 0.84 9/244 11988
/proc/meminfo: memFree=31222096/32951124 swapFree=67054536/67111528
[pid=11988] ppid=11986 vsize=28384 CPUtime=0 cores=0,2
/proc/11988/stat : 11988 (java) S 11986 11988 11621 0 -1 4202496 1183 0 0 0 0 0 0 0 22 0 2 0 891506950 29065216 909 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562340325 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/11988/statm: 7109 915 696 9 0 381 0
[pid=11988/tid=11989] ppid=11986 vsize=30528 CPUtime=0 cores=0,2
/proc/11988/task/11989/stat : 11989 (java) R 11986 11988 11621 0 -1 4202560 116 0 0 0 0 0 0 0 24 0 2 0 891506951 31260672 949 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 47735276863252 0 0 4096 0 0 0 0 -1 0 0 0 0

[startup+0.0310149 s]
/proc/loadavg: 1.40 1.43 0.84 9/244 11988
/proc/meminfo: memFree=31222096/32951124 swapFree=67054536/67111528
[pid=11988] ppid=11986 vsize=6345676 CPUtime=0.01 cores=0,2
/proc/11988/stat : 11988 (java) S 11986 11988 11621 0 -1 4202496 7411 0 1 0 1 0 0 0 22 0 10 0 891506950 6497972224 7109 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562340325 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/11988/statm: 1586419 7111 1515 9 0 1577167 0
[pid=11988/tid=11989] ppid=11986 vsize=6345676 CPUtime=0.01 cores=0,2
/proc/11988/task/11989/stat : 11989 (java) R 11986 11988 11621 0 -1 4202560 6291 0 1 0 1 0 0 0 25 0 10 0 891506951 6497972224 7112 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 47735277054915 0 4 0 16784584 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 6345676

[startup+0.100968 s]
/proc/loadavg: 1.40 1.43 0.84 9/244 11988
/proc/meminfo: memFree=31222096/32951124 swapFree=67054536/67111528
[pid=11988] ppid=11986 vsize=6364156 CPUtime=0.08 cores=0,2
/proc/11988/stat : 11988 (java) S 11986 11988 11621 0 -1 4202496 8916 0 1 0 7 1 0 0 22 0 18 0 891506950 6516895744 8612 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11988/statm: 1591039 8612 1751 9 0 1581777 0
[pid=11988/tid=11989] ppid=11986 vsize=6364156 CPUtime=0.07 cores=0,2
/proc/11988/task/11989/stat : 11989 (java) R 11986 11988 11621 0 -1 4202560 7741 0 1 0 6 1 0 0 25 0 18 0 891506951 6516895744 8612 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 46912496203582 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6364156

[startup+0.300965 s]
/proc/loadavg: 1.40 1.43 0.84 9/244 11988
/proc/meminfo: memFree=31222096/32951124 swapFree=67054536/67111528
[pid=11988] ppid=11986 vsize=6430444 CPUtime=0.44 cores=0,2
/proc/11988/stat : 11988 (java) S 11986 11988 11621 0 -1 4202496 21238 0 1 0 41 3 0 0 22 0 18 0 891506950 6584774656 20463 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11988/statm: 1607611 20466 2196 9 0 1598349 0
[pid=11988/tid=11989] ppid=11986 vsize=6430444 CPUtime=0.28 cores=0,2
/proc/11988/task/11989/stat : 11989 (java) R 11986 11988 11621 0 -1 4202560 18155 0 1 0 25 3 0 0 25 0 18 0 891506951 6584774656 20468 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 46912505520760 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 6430444

[startup+0.700857 s]
/proc/loadavg: 1.40 1.43 0.84 9/244 11988
/proc/meminfo: memFree=31222096/32951124 swapFree=67054536/67111528
[pid=11988] ppid=11986 vsize=6430512 CPUtime=0.94 cores=0,2
/proc/11988/stat : 11988 (java) S 11986 11988 11621 0 -1 4202496 53666 0 1 0 86 8 0 0 22 0 18 0 891506950 6584844288 52751 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11988/statm: 1607628 52751 2209 9 0 1598366 0
[pid=11988/tid=11989] ppid=11986 vsize=6430512 CPUtime=0.68 cores=0,2
/proc/11988/task/11989/stat : 11989 (java) R 11986 11988 11621 0 -1 4202560 50391 0 1 0 60 8 0 0 25 0 18 0 891506951 6584844288 52751 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 46912505628861 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 6430512

[startup+1.50074 s]
/proc/loadavg: 1.40 1.43 0.84 10/265 12013
/proc/meminfo: memFree=30762172/32951124 swapFree=67054536/67111528
[pid=11988] ppid=11986 vsize=6432748 CPUtime=2.01 cores=0,2
/proc/11988/stat : 11988 (java) S 11986 11988 11621 0 -1 4202496 70875 0 1 0 191 10 0 0 22 0 19 0 891506950 6587133952 69300 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11988/statm: 1608187 69300 2224 9 0 1598925 0
[pid=11988/tid=11989] ppid=11986 vsize=6432748 CPUtime=1.47 cores=0,2
/proc/11988/task/11989/stat : 11989 (java) R 11986 11988 11621 0 -1 4202560 66528 0 1 0 137 10 0 0 25 0 19 0 891506951 6587133952 69300 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 46912505688320 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11988/tid=11991] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/11991/stat : 11991 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 891506953 6587133952 69300 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=11992] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/11992/stat : 11992 (java) S 11986 11988 11621 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 891506953 6587133952 69300 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=11993] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/11993/stat : 11993 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891506953 6587133952 69300 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=11994] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/11994/stat : 11994 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891506953 6587133952 69300 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=11995] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/11995/stat : 11995 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891506953 6587133952 69300 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=11996] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/11996/stat : 11996 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891506953 6587133952 69300 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=11997] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/11997/stat : 11997 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891506953 6587133952 69300 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=11998] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/11998/stat : 11998 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891506953 6587133952 69300 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=11999] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/11999/stat : 11999 (java) S 11986 11988 11621 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 891506954 6587133952 69300 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562354176 0 0 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=12000] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/12000/stat : 12000 (java) S 11986 11988 11621 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 891506954 6587133952 69300 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=12001] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/12001/stat : 12001 (java) S 11986 11988 11621 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 891506954 6587133952 69300 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=12002] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/12002/stat : 12002 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891506957 6587133952 69300 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562361265 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=12003] ppid=11986 vsize=6432748 CPUtime=0.24 cores=0,2
/proc/11988/task/12003/stat : 12003 (java) S 11986 11988 11621 0 -1 4202560 1128 0 0 0 24 0 0 0 17 0 19 0 891506957 6587133952 69300 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 2 0 0 0
[pid=11988/tid=12004] ppid=11986 vsize=6432748 CPUtime=0.29 cores=0,2
/proc/11988/task/12004/stat : 12004 (java) S 11986 11988 11621 0 -1 4202560 2058 0 0 0 29 0 0 0 18 0 19 0 891506957 6587133952 69300 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 2 0 0 0
[pid=11988/tid=12005] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/12005/stat : 12005 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891506957 6587133952 69300 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=12006] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/12006/stat : 12006 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 891506957 6587133952 69300 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562354176 0 4 0 16800975 18446604453908327488 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 6432748

[startup+3.10148 s]
/proc/loadavg: 1.40 1.43 0.84 5/265 12082
/proc/meminfo: memFree=30388188/32951124 swapFree=67054536/67111528
[pid=11988] ppid=11986 vsize=6432748 CPUtime=3.73 cores=0,2
/proc/11988/stat : 11988 (java) S 11986 11988 11621 0 -1 4202496 117200 0 1 0 357 16 0 0 22 0 19 0 891506950 6587133952 114276 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11988/statm: 1608187 114276 2226 9 0 1598925 0
[pid=11988/tid=11989] ppid=11986 vsize=6432748 CPUtime=3.07 cores=0,2
/proc/11988/task/11989/stat : 11989 (java) R 11986 11988 11621 0 -1 4202560 111485 0 1 0 292 15 0 0 25 0 19 0 891506951 6587133952 114276 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 46912505688231 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11988/tid=11991] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/11991/stat : 11991 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 891506953 6587133952 114276 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=11992] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/11992/stat : 11992 (java) S 11986 11988 11621 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 891506953 6587133952 114276 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=11993] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/11993/stat : 11993 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891506953 6587133952 114276 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=11994] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/11994/stat : 11994 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891506953 6587133952 114276 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=11995] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/11995/stat : 11995 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891506953 6587133952 114276 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=11996] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/11996/stat : 11996 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891506953 6587133952 114276 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=11997] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/11997/stat : 11997 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891506953 6587133952 114276 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=11998] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/11998/stat : 11998 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891506953 6587133952 114276 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=11999] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/11999/stat : 11999 (java) S 11986 11988 11621 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 891506954 6587133952 114276 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562354176 0 0 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=12000] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/12000/stat : 12000 (java) S 11986 11988 11621 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 891506954 6587133952 114276 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=12001] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/12001/stat : 12001 (java) S 11986 11988 11621 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 891506954 6587133952 114276 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=12002] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/12002/stat : 12002 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891506957 6587133952 114276 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562361265 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=12003] ppid=11986 vsize=6432748 CPUtime=0.24 cores=0,2
/proc/11988/task/12003/stat : 12003 (java) S 11986 11988 11621 0 -1 4202560 1128 0 0 0 24 0 0 0 17 0 19 0 891506957 6587133952 114276 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 2 0 0 0
[pid=11988/tid=12004] ppid=11986 vsize=6432748 CPUtime=0.39 cores=0,2
/proc/11988/task/12004/stat : 12004 (java) S 11986 11988 11621 0 -1 4202560 3424 0 0 0 39 0 0 0 15 0 19 0 891506957 6587133952 114276 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 2 0 0 0
[pid=11988/tid=12005] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/12005/stat : 12005 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891506957 6587133952 114276 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=12006] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/12006/stat : 12006 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 891506957 6587133952 114276 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562354176 0 4 0 16800975 18446604453908327488 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 6432748

[startup+6.3009 s]
/proc/loadavg: 1.61 1.47 0.86 8/265 12304
/proc/meminfo: memFree=29216880/32951124 swapFree=67054536/67111528
[pid=11988] ppid=11986 vsize=6432748 CPUtime=6.93 cores=0,2
/proc/11988/stat : 11988 (java) S 11986 11988 11621 0 -1 4202496 210977 0 1 0 666 27 0 0 22 0 18 0 891506950 6587133952 207926 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11988/statm: 1608187 207956 2227 9 0 1598925 0
[pid=11988/tid=11989] ppid=11986 vsize=6432748 CPUtime=6.27 cores=0,2
/proc/11988/task/11989/stat : 11989 (java) R 11986 11988 11621 0 -1 4202560 205283 0 1 0 601 26 0 0 25 0 18 0 891506951 6587133952 207970 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 47735280692314 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11988/tid=11991] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/11991/stat : 11991 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 891506953 6587133952 207985 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=11992] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/11992/stat : 11992 (java) S 11986 11988 11621 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 891506953 6587133952 208002 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=11993] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/11993/stat : 11993 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891506953 6587133952 208017 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=11994] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/11994/stat : 11994 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891506953 6587133952 208033 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=11995] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/11995/stat : 11995 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891506953 6587133952 208048 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=11996] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/11996/stat : 11996 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891506953 6587133952 208064 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=11997] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/11997/stat : 11997 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891506953 6587133952 208079 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=11998] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/11998/stat : 11998 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891506953 6587133952 208095 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=11999] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/11999/stat : 11999 (java) S 11986 11988 11621 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 18 0 891506954 6587133952 208110 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562354176 0 0 0 16800975 18446604453908327488 0 0 -1 2 0 0 0
[pid=11988/tid=12000] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/12000/stat : 12000 (java) S 11986 11988 11621 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 891506954 6587133952 208126 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=12001] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/12001/stat : 12001 (java) S 11986 11988 11621 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 891506954 6587133952 208141 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=12002] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/12002/stat : 12002 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891506957 6587133952 208157 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562361265 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=12003] ppid=11986 vsize=6432748 CPUtime=0.24 cores=0,2
/proc/11988/task/12003/stat : 12003 (java) S 11986 11988 11621 0 -1 4202560 1128 0 0 0 24 0 0 0 17 0 18 0 891506957 6587133952 208172 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 2 0 0 0
[pid=11988/tid=12004] ppid=11986 vsize=6432748 CPUtime=0.39 cores=0,2
/proc/11988/task/12004/stat : 12004 (java) S 11986 11988 11621 0 -1 4202560 3424 0 0 0 39 0 0 0 15 0 18 0 891506957 6587133952 208188 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 2 0 0 0
[pid=11988/tid=12005] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/12005/stat : 12005 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891506957 6587133952 208203 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=12006] ppid=11986 vsize=6432748 CPUtime=0 cores=0,2
/proc/11988/task/12006/stat : 12006 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 891506957 6587133952 208219 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562354176 0 4 0 16800975 18446604453908327488 0 0 -1 2 0 0 0

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

[pid=11988/tid=11992] ppid=11986 vsize=6432012 CPUtime=0.39 cores=0,2
/proc/11988/task/11992/stat : 11992 (java) S 11986 11988 11621 0 -1 4202560 12691 0 0 0 38 1 0 0 16 0 19 0 891506953 6586380288 476686 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=11993] ppid=11986 vsize=6432012 CPUtime=0.14 cores=0,2
/proc/11988/task/11993/stat : 11993 (java) S 11986 11988 11621 0 -1 4202560 11747 0 0 0 13 1 0 0 15 0 19 0 891506953 6586380288 476686 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 2 0 0 0
[pid=11988/tid=11994] ppid=11986 vsize=6432012 CPUtime=0.01 cores=0,2
/proc/11988/task/11994/stat : 11994 (java) S 11986 11988 11621 0 -1 4202560 1451 0 0 0 1 0 0 0 15 0 19 0 891506953 6586380288 476686 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 2 0 0 0
[pid=11988/tid=11995] ppid=11986 vsize=6432012 CPUtime=0.29 cores=0,2
/proc/11988/task/11995/stat : 11995 (java) S 11986 11988 11621 0 -1 4202560 24472 0 0 0 26 3 0 0 15 0 19 0 891506953 6586380288 476686 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=11996] ppid=11986 vsize=6432012 CPUtime=0 cores=0,2
/proc/11988/task/11996/stat : 11996 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 891506953 6586380288 476686 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=11997] ppid=11986 vsize=6432012 CPUtime=0.24 cores=0,2
/proc/11988/task/11997/stat : 11997 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 24 0 0 0 16 0 19 0 891506953 6586380288 476686 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=11998] ppid=11986 vsize=6432012 CPUtime=0.6 cores=0,2
/proc/11988/task/11998/stat : 11998 (java) S 11986 11988 11621 0 -1 4202560 16971 0 0 0 58 2 0 0 16 0 19 0 891506953 6586380288 476686 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 2 0 0 0
[pid=11988/tid=11999] ppid=11986 vsize=6432012 CPUtime=0 cores=0,2
/proc/11988/task/11999/stat : 11999 (java) S 11986 11988 11621 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 19 0 891506954 6586380288 476686 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562354176 0 0 0 16800975 18446604453908327488 0 0 -1 2 0 0 0
[pid=11988/tid=12000] ppid=11986 vsize=6432012 CPUtime=0 cores=0,2
/proc/11988/task/12000/stat : 12000 (java) S 11986 11988 11621 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 891506954 6586380288 476686 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=12001] ppid=11986 vsize=6432012 CPUtime=0 cores=0,2
/proc/11988/task/12001/stat : 12001 (java) S 11986 11988 11621 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 19 0 891506954 6586380288 476686 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 2 0 0 0
[pid=11988/tid=12002] ppid=11986 vsize=6432012 CPUtime=0 cores=0,2
/proc/11988/task/12002/stat : 12002 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891506957 6586380288 476686 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562361265 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=12003] ppid=11986 vsize=6432012 CPUtime=0.3 cores=0,2
/proc/11988/task/12003/stat : 12003 (java) S 11986 11988 11621 0 -1 4202560 1456 0 0 0 30 0 0 0 15 0 19 0 891506957 6586380288 476686 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=12004] ppid=11986 vsize=6432012 CPUtime=0.44 cores=0,2
/proc/11988/task/12004/stat : 12004 (java) S 11986 11988 11621 0 -1 4202560 4495 0 0 0 44 0 0 0 15 0 19 0 891506957 6586380288 476686 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 2 0 0 0
[pid=11988/tid=12005] ppid=11986 vsize=6432012 CPUtime=0 cores=0,2
/proc/11988/task/12005/stat : 12005 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891506957 6586380288 476686 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=12006] ppid=11986 vsize=6432012 CPUtime=0 cores=0,2
/proc/11988/task/12006/stat : 12006 (java) S 11986 11988 11621 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 891506957 6586380288 476686 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562354176 0 4 0 16800975 18446604453908327488 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 59.41
Current children cumulated vsize (KiB) 6432012

[startup+59.3012 s]
/proc/loadavg: 3.65 2.06 1.10 6/265 17771
/proc/meminfo: memFree=24974468/32951124 swapFree=67054536/67111528
[pid=11988] ppid=11986 vsize=6432012 CPUtime=61.01 cores=0,2
/proc/11988/stat : 11988 (java) S 11986 11988 11621 0 -1 4202496 481603 0 1 0 6039 62 0 0 22 0 18 0 891506950 6586380288 476686 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11988/statm: 1608003 476686 2241 9 0 1598741 0
[pid=11988/tid=11989] ppid=11986 vsize=6432012 CPUtime=58.17 cores=0,2
/proc/11988/task/11989/stat : 11989 (java) R 11986 11988 11621 0 -1 4202560 391583 0 1 0 5768 49 0 0 25 0 18 0 891506951 6586380288 476686 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 46912505720598 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11988/tid=11991] ppid=11986 vsize=6432012 CPUtime=0.3 cores=0,2
/proc/11988/task/11991/stat : 11991 (java) S 11986 11988 11621 0 -1 4202560 15413 0 0 0 29 1 0 0 16 0 18 0 891506953 6586380288 476686 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 2 0 0 0
[pid=11988/tid=11992] ppid=11986 vsize=6432012 CPUtime=0.39 cores=0,2
/proc/11988/task/11992/stat : 11992 (java) S 11986 11988 11621 0 -1 4202560 12691 0 0 0 38 1 0 0 16 0 18 0 891506953 6586380288 476686 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=11993] ppid=11986 vsize=6432012 CPUtime=0.14 cores=0,2
/proc/11988/task/11993/stat : 11993 (java) S 11986 11988 11621 0 -1 4202560 11747 0 0 0 13 1 0 0 15 0 18 0 891506953 6586380288 476686 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 2 0 0 0
[pid=11988/tid=11994] ppid=11986 vsize=6432012 CPUtime=0.01 cores=0,2
/proc/11988/task/11994/stat : 11994 (java) S 11986 11988 11621 0 -1 4202560 1451 0 0 0 1 0 0 0 15 0 18 0 891506953 6586380288 476686 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 2 0 0 0
[pid=11988/tid=11995] ppid=11986 vsize=6432012 CPUtime=0.29 cores=0,2
/proc/11988/task/11995/stat : 11995 (java) S 11986 11988 11621 0 -1 4202560 24472 0 0 0 26 3 0 0 15 0 18 0 891506953 6586380288 476686 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=11996] ppid=11986 vsize=6432012 CPUtime=0 cores=0,2
/proc/11988/task/11996/stat : 11996 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 891506953 6586380288 476686 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=11997] ppid=11986 vsize=6432012 CPUtime=0.24 cores=0,2
/proc/11988/task/11997/stat : 11997 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 24 0 0 0 16 0 18 0 891506953 6586380288 476686 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=11998] ppid=11986 vsize=6432012 CPUtime=0.6 cores=0,2
/proc/11988/task/11998/stat : 11998 (java) S 11986 11988 11621 0 -1 4202560 16971 0 0 0 58 2 0 0 16 0 18 0 891506953 6586380288 476686 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 2 0 0 0
[pid=11988/tid=11999] ppid=11986 vsize=6432012 CPUtime=0 cores=0,2
/proc/11988/task/11999/stat : 11999 (java) S 11986 11988 11621 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 18 0 891506954 6586380288 476686 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562354176 0 0 0 16800975 18446604453908327488 0 0 -1 2 0 0 0
[pid=11988/tid=12000] ppid=11986 vsize=6432012 CPUtime=0 cores=0,2
/proc/11988/task/12000/stat : 12000 (java) S 11986 11988 11621 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 18 0 891506954 6586380288 476686 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=12001] ppid=11986 vsize=6432012 CPUtime=0 cores=0,2
/proc/11988/task/12001/stat : 12001 (java) S 11986 11988 11621 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 18 0 891506954 6586380288 476686 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 2 0 0 0
[pid=11988/tid=12002] ppid=11986 vsize=6432012 CPUtime=0 cores=0,2
/proc/11988/task/12002/stat : 12002 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891506957 6586380288 476686 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562361265 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=12003] ppid=11986 vsize=6432012 CPUtime=0.3 cores=0,2
/proc/11988/task/12003/stat : 12003 (java) S 11986 11988 11621 0 -1 4202560 1456 0 0 0 30 0 0 0 15 0 18 0 891506957 6586380288 476686 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=12004] ppid=11986 vsize=6432012 CPUtime=0.44 cores=0,2
/proc/11988/task/12004/stat : 12004 (java) S 11986 11988 11621 0 -1 4202560 4495 0 0 0 44 0 0 0 15 0 18 0 891506957 6586380288 476686 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 2 0 0 0
[pid=11988/tid=12005] ppid=11986 vsize=6432012 CPUtime=0 cores=0,2
/proc/11988/task/12005/stat : 12005 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891506957 6586380288 476686 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=12006] ppid=11986 vsize=6432012 CPUtime=0 cores=0,2
/proc/11988/task/12006/stat : 12006 (java) S 11986 11988 11621 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 18 0 891506957 6586380288 476686 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562354176 0 4 0 16800975 18446604453908327488 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 61.01
Current children cumulated vsize (KiB) 6432012

[startup+60.1011 s]
/proc/loadavg: 3.65 2.06 1.10 5/266 17910
/proc/meminfo: memFree=24869308/32951124 swapFree=67054536/67111528
[pid=11988] ppid=11986 vsize=6445492 CPUtime=62 cores=0,2
/proc/11988/stat : 11988 (java) S 11986 11988 11621 0 -1 4202496 485758 0 1 0 6137 63 0 0 22 0 18 0 891506950 6600183808 479724 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11988/statm: 1611373 479724 2241 9 0 1602111 0
[pid=11988/tid=11989] ppid=11986 vsize=6445492 CPUtime=58.96 cores=0,2
/proc/11988/task/11989/stat : 11989 (java) R 11986 11988 11621 0 -1 4202560 391587 0 1 0 5847 49 0 0 25 0 18 0 891506951 6600183808 479724 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 46912505574271 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11988/tid=11991] ppid=11986 vsize=6445492 CPUtime=0.3 cores=0,2
/proc/11988/task/11991/stat : 11991 (java) S 11986 11988 11621 0 -1 4202560 15413 0 0 0 29 1 0 0 16 0 18 0 891506953 6600183808 479724 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 2 0 0 0
[pid=11988/tid=11992] ppid=11986 vsize=6445492 CPUtime=0.39 cores=0,2
/proc/11988/task/11992/stat : 11992 (java) S 11986 11988 11621 0 -1 4202560 12691 0 0 0 38 1 0 0 16 0 18 0 891506953 6600183808 479724 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=11993] ppid=11986 vsize=6445492 CPUtime=0.14 cores=0,2
/proc/11988/task/11993/stat : 11993 (java) S 11986 11988 11621 0 -1 4202560 11747 0 0 0 13 1 0 0 15 0 18 0 891506953 6600183808 479724 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 2 0 0 0
[pid=11988/tid=11994] ppid=11986 vsize=6445492 CPUtime=0.01 cores=0,2
/proc/11988/task/11994/stat : 11994 (java) S 11986 11988 11621 0 -1 4202560 1451 0 0 0 1 0 0 0 15 0 18 0 891506953 6600183808 479724 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 2 0 0 0
[pid=11988/tid=11995] ppid=11986 vsize=6445492 CPUtime=0.29 cores=0,2
/proc/11988/task/11995/stat : 11995 (java) S 11986 11988 11621 0 -1 4202560 24472 0 0 0 26 3 0 0 15 0 18 0 891506953 6600183808 479724 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=11996] ppid=11986 vsize=6445492 CPUtime=0 cores=0,2
/proc/11988/task/11996/stat : 11996 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 891506953 6600183808 479724 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=11997] ppid=11986 vsize=6445492 CPUtime=0.24 cores=0,2
/proc/11988/task/11997/stat : 11997 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 24 0 0 0 16 0 18 0 891506953 6600183808 479724 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=11998] ppid=11986 vsize=6445492 CPUtime=0.6 cores=0,2
/proc/11988/task/11998/stat : 11998 (java) S 11986 11988 11621 0 -1 4202560 16971 0 0 0 58 2 0 0 16 0 18 0 891506953 6600183808 479724 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 2 0 0 0
[pid=11988/tid=11999] ppid=11986 vsize=6445492 CPUtime=0 cores=0,2
/proc/11988/task/11999/stat : 11999 (java) S 11986 11988 11621 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 18 0 891506954 6600183808 479724 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562354176 0 0 0 16800975 18446604453908327488 0 0 -1 2 0 0 0
[pid=11988/tid=12000] ppid=11986 vsize=6445492 CPUtime=0 cores=0,2
/proc/11988/task/12000/stat : 12000 (java) S 11986 11988 11621 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 18 0 891506954 6600183808 479724 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=12001] ppid=11986 vsize=6445492 CPUtime=0 cores=0,2
/proc/11988/task/12001/stat : 12001 (java) S 11986 11988 11621 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 18 0 891506954 6600183808 479724 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 2 0 0 0
[pid=11988/tid=12002] ppid=11986 vsize=6445492 CPUtime=0 cores=0,2
/proc/11988/task/12002/stat : 12002 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891506957 6600183808 479724 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562361265 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=12003] ppid=11986 vsize=6445492 CPUtime=0.48 cores=0,2
/proc/11988/task/12003/stat : 12003 (java) S 11986 11988 11621 0 -1 4202560 5607 0 0 0 48 0 0 0 16 0 18 0 891506957 6600183808 479724 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=12004] ppid=11986 vsize=6445492 CPUtime=0.45 cores=0,2
/proc/11988/task/12004/stat : 12004 (java) S 11986 11988 11621 0 -1 4202560 4495 0 0 0 45 0 0 0 15 0 18 0 891506957 6600183808 479724 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 2 0 0 0
[pid=11988/tid=12005] ppid=11986 vsize=6445492 CPUtime=0 cores=0,2
/proc/11988/task/12005/stat : 12005 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891506957 6600183808 479724 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=12006] ppid=11986 vsize=6445492 CPUtime=0 cores=0,2
/proc/11988/task/12006/stat : 12006 (java) S 11986 11988 11621 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 18 0 891506957 6600183808 479724 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562354176 0 4 0 16800975 18446604453908327488 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 62
Current children cumulated vsize (KiB) 6445492

[startup+60.301 s]
/proc/loadavg: 3.65 2.06 1.10 5/266 17910
/proc/meminfo: memFree=24869308/32951124 swapFree=67054536/67111528
[pid=11988] ppid=11986 vsize=6445492 CPUtime=62.2 cores=0,2
/proc/11988/stat : 11988 (java) S 11986 11988 11621 0 -1 4202496 485758 0 1 0 6157 63 0 0 22 0 18 0 891506950 6600183808 479724 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11988/statm: 1611373 479724 2241 9 0 1602111 0
[pid=11988/tid=11989] ppid=11986 vsize=6445492 CPUtime=59.16 cores=0,2
/proc/11988/task/11989/stat : 11989 (java) R 11986 11988 11621 0 -1 4202560 391587 0 1 0 5867 49 0 0 25 0 18 0 891506951 6600183808 479724 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 46912505574231 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11988/tid=11991] ppid=11986 vsize=6445492 CPUtime=0.3 cores=0,2
/proc/11988/task/11991/stat : 11991 (java) S 11986 11988 11621 0 -1 4202560 15413 0 0 0 29 1 0 0 16 0 18 0 891506953 6600183808 479724 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 2 0 0 0
[pid=11988/tid=11992] ppid=11986 vsize=6445492 CPUtime=0.39 cores=0,2
/proc/11988/task/11992/stat : 11992 (java) S 11986 11988 11621 0 -1 4202560 12691 0 0 0 38 1 0 0 16 0 18 0 891506953 6600183808 479724 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=11993] ppid=11986 vsize=6445492 CPUtime=0.14 cores=0,2
/proc/11988/task/11993/stat : 11993 (java) S 11986 11988 11621 0 -1 4202560 11747 0 0 0 13 1 0 0 15 0 18 0 891506953 6600183808 479724 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 2 0 0 0
[pid=11988/tid=11994] ppid=11986 vsize=6445492 CPUtime=0.01 cores=0,2
/proc/11988/task/11994/stat : 11994 (java) S 11986 11988 11621 0 -1 4202560 1451 0 0 0 1 0 0 0 15 0 18 0 891506953 6600183808 479724 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 2 0 0 0
[pid=11988/tid=11995] ppid=11986 vsize=6445492 CPUtime=0.29 cores=0,2
/proc/11988/task/11995/stat : 11995 (java) S 11986 11988 11621 0 -1 4202560 24472 0 0 0 26 3 0 0 15 0 18 0 891506953 6600183808 479724 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=11996] ppid=11986 vsize=6445492 CPUtime=0 cores=0,2
/proc/11988/task/11996/stat : 11996 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 891506953 6600183808 479724 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=11997] ppid=11986 vsize=6445492 CPUtime=0.24 cores=0,2
/proc/11988/task/11997/stat : 11997 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 24 0 0 0 16 0 18 0 891506953 6600183808 479724 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=11998] ppid=11986 vsize=6445492 CPUtime=0.6 cores=0,2
/proc/11988/task/11998/stat : 11998 (java) S 11986 11988 11621 0 -1 4202560 16971 0 0 0 58 2 0 0 16 0 18 0 891506953 6600183808 479724 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 2 0 0 0
[pid=11988/tid=11999] ppid=11986 vsize=6445492 CPUtime=0 cores=0,2
/proc/11988/task/11999/stat : 11999 (java) S 11986 11988 11621 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 18 0 891506954 6600183808 479724 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562354176 0 0 0 16800975 18446604453908327488 0 0 -1 2 0 0 0
[pid=11988/tid=12000] ppid=11986 vsize=6445492 CPUtime=0 cores=0,2
/proc/11988/task/12000/stat : 12000 (java) S 11986 11988 11621 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 18 0 891506954 6600183808 479724 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=12001] ppid=11986 vsize=6445492 CPUtime=0 cores=0,2
/proc/11988/task/12001/stat : 12001 (java) S 11986 11988 11621 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 18 0 891506954 6600183808 479724 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 2 0 0 0
[pid=11988/tid=12002] ppid=11986 vsize=6445492 CPUtime=0 cores=0,2
/proc/11988/task/12002/stat : 12002 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891506957 6600183808 479724 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562361265 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=12003] ppid=11986 vsize=6445492 CPUtime=0.48 cores=0,2
/proc/11988/task/12003/stat : 12003 (java) S 11986 11988 11621 0 -1 4202560 5607 0 0 0 48 0 0 0 16 0 18 0 891506957 6600183808 479724 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=12004] ppid=11986 vsize=6445492 CPUtime=0.45 cores=0,2
/proc/11988/task/12004/stat : 12004 (java) S 11986 11988 11621 0 -1 4202560 4495 0 0 0 45 0 0 0 15 0 18 0 891506957 6600183808 479724 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 2 0 0 0
[pid=11988/tid=12005] ppid=11986 vsize=6445492 CPUtime=0 cores=0,2
/proc/11988/task/12005/stat : 12005 (java) S 11986 11988 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891506957 6600183808 479724 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562353561 0 4 0 16800975 18446604453908327488 0 0 -1 0 0 0 0
[pid=11988/tid=12006] ppid=11986 vsize=6445492 CPUtime=0 cores=0,2
/proc/11988/task/12006/stat : 12006 (java) S 11986 11988 11621 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 18 0 891506957 6600183808 479724 33554432000 1073741824 1073778376 140734820319536 18446744073709551615 271562354176 0 4 0 16800975 18446604453908327488 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 62.2
Current children cumulated vsize (KiB) 6445492

[startup+60.4011 s]
/proc/loadavg: 3.65 2.06 1.10 5/266 17910
/proc/meminfo: memFree=24869308/32951124 swapFree=67054536/67111528
[pid=11988] ppid=11986 vsize=0 CPUtime=62.29 cores=0,2
/proc/11988/stat : 11988 (java) R 11986 11988 11621 0 -1 4203524 485769 0 1 0 6162 67 0 0 18 0 1 0 891506950 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11988/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 62.29
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 60.4348
CPU time (s): 62.3365
CPU user time (s): 61.6296
CPU system time (s): 0.706892
CPU usage (%): 103.147
Max. virtual memory (cumulated for all children) (KiB): 6445492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 61.6296
system time used= 0.706892
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 485769
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= 3813
involuntary context switches= 3214

runsolver used 0.12898 second user time and 0.234964 second system time

The end

Launcher Data 

Begin job on node133 at 2011-06-11 15:31:31
IDJOB=3493392
IDBENCH=89473
IDSOLVER=1972
FILE ID=node133/3493392-1307799090
RUNJOBID= node133-1307799090-11879
PBS_JOBID= 13551015
Free space on /tmp= 74076 MiB

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

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

MD5SUM BENCH= 960d1ca29b9bf3ceb99268b3bd5a797b
RANDOM SEED=1360235174

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.834
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:      31226036 kB
Buffers:        278772 kB
Cached:        1124832 kB
SwapCached:      10420 kB
Active:         693620 kB
Inactive:       828536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31226036 kB
SwapTotal:    67111528 kB
SwapFree:     67054536 kB
Dirty:           12032 kB
Writeback:           4 kB
AnonPages:      116272 kB
Mapped:          20888 kB
Slab:           136464 kB
PageTables:       5828 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 18907964 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74076 MiB
End job on node133 at 2011-06-11 15:32:31