Trace number 3734574

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 NameAnswerobjective functionCPU timeWall clock time
PB07: SAT4JPseudoResolution 2007-03-23No Cert. 1664.37 1658.67

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-lin.rom.r.opb
MD5SUM3183c84355c854880486b3d148840656
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark120
Best CPU time to get the best result obtained on this benchmark0.184971
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 120
Optimality of the best value was proved YES
Number of variables1076
Total number of constraints1030
Number of constraints which are clauses1030
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint40
Number of terms in the objective function 1076
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1076
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1076
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.06	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.06	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.07	c no version file found!!!
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version	1.6.0_24
0.00/0.07	c os.name	Linux
0.00/0.07	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.07	c os.arch	amd64
0.00/0.07	c Free memory 1599470296
0.00/0.07	c Max memory 1607860224
0.00/0.07	c Total memory 1607860224
0.00/0.07	c Number of processors 8
0.07/0.09	--- Begin Solver configuration ---
0.07/0.09	c Stops conflict analysis at the first Unique Implication Point
0.07/0.09	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.07/0.09	c Learn all clauses as in MiniSAT
0.07/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.09	c VSIDS like heuristics from MiniSAT using a heap
0.07/0.09	c No reason simplification
0.07/0.09	c --- End Solver configuration ---
0.07/0.09	c solving HOME/instance-3734574-1338701021.opb
0.07/0.09	c reading problem ... 
0.29/0.27	c ... done. Wall clock time 0.181s.
0.29/0.27	c CPU time (experimental) 0.25s.
0.29/0.27	c #vars     1076
0.29/0.27	c #constraints  1030
0.29/0.29	c SATISFIABLE
0.29/0.29	c OPTIMIZING...
0.29/0.29	c Got one! Elapsed wall clock time (in seconds):0.205
0.54/0.32	o 177
274.81/272.57	c cleaning 853739 clauses out of 1707501 for limit 4.976542076295984E-5
306.31/304.00	c cleaning 427127 clauses out of 854262 for limit 1.6404139200300254E-4
312.43/310.12	c cleaning 213811 clauses out of 427634 for limit 5.398755777591576E-4
315.73/313.41	c cleaning 107151 clauses out of 214324 for limit 0.0017782200470099086
317.62/315.36	c cleaning 53831 clauses out of 107672 for limit 0.005831427803721061
318.32/316.09	c cleaning 27163 clauses out of 54342 for limit 0.019073590923462072
318.52/316.26	c cleaning 13831 clauses out of 27680 for limit 0.06181478956047748
318.62/316.32	c cleaning 7163 clauses out of 14347 for limit 0.19628370455405508
318.62/316.37	c cleaning 3834 clauses out of 7684 for limit 0.6043852754663257
318.72/316.42	c cleaning 2164 clauses out of 4351 for limit 1.7619863792037425
318.72/316.46	c cleaning 1332 clauses out of 2686 for limit 4.702263879683379
318.82/316.50	c cleaning 914 clauses out of 1855 for limit 11.239823465687662
318.82/316.54	c cleaning 711 clauses out of 1441 for limit 23.861366444219275
318.82/316.58	c cleaning 606 clauses out of 1229 for limit 46.09234283432247
318.92/316.61	c cleaning 551 clauses out of 1123 for limit 83.18725564807032
318.92/316.65	c cleaning 527 clauses out of 1073 for limit 143.72331648869044
318.92/316.68	c cleaning 515 clauses out of 1045 for limit 243.1263538059249
319.03/316.72	c cleaning 504 clauses out of 1031 for limit 406.7991725873648
319.03/316.76	c cleaning 500 clauses out of 1027 for limit 673.4791725014152
319.03/316.79	c cleaning 504 clauses out of 1026 for limit 1110.628024064222
319.13/316.83	c cleaning 502 clauses out of 1023 for limit 1838.7841583036316
319.13/316.86	c cleaning 503 clauses out of 1021 for limit 3038.3411260389566
319.22/316.90	c cleaning 499 clauses out of 1018 for limit 5025.397081923253
319.22/316.93	c cleaning 499 clauses out of 1018 for limit 8279.26452161171
319.22/316.97	c cleaning 499 clauses out of 1021 for limit 13640.764305382141
319.32/317.00	c cleaning 503 clauses out of 1020 for limit 22472.48704483141
319.32/317.04	c cleaning 499 clauses out of 1018 for limit 37170.11727002838
319.32/317.07	c cleaning 500 clauses out of 1018 for limit 61237.197411695386
319.42/317.11	c cleaning 504 clauses out of 1018 for limit 100988.33069759171
319.42/317.14	c cleaning 501 clauses out of 1014 for limit 167200.24271090876
319.42/317.18	c cleaning 500 clauses out of 1014 for limit 276011.5794580428
319.52/317.21	c cleaning 497 clauses out of 1013 for limit 455173.7279541786
319.52/317.25	c cleaning 500 clauses out of 1016 for limit 748425.9057590482
319.52/317.28	c cleaning 498 clauses out of 1016 for limit 1234254.441223078
319.62/317.32	c cleaning 501 clauses out of 1018 for limit 2031451.7683780717
319.62/317.35	c cleaning 502 clauses out of 1020 for limit 3353617.6306176577
319.62/317.39	c cleaning 498 clauses out of 1018 for limit 5541429.660181972
319.72/317.42	c cleaning 509 clauses out of 1018 for limit 9120290.84973844
319.72/317.45	c cleaning 495 clauses out of 1008 for limit 1.5174602010315416E7
319.72/317.49	c cleaning 506 clauses out of 1013 for limit 2.4901429740221247E7
319.82/317.53	c cleaning 503 clauses out of 1007 for limit 4.1310470854951166E7
319.82/317.56	c cleaning 493 clauses out of 1004 for limit 6.833005807343034E7
319.92/317.60	c cleaning 505 clauses out of 1011 for limit 1.1190519131740342E8
319.92/317.63	c cleaning 495 clauses out of 1006 for limit 1.8546386066686216E8
319.92/317.67	c cleaning 497 clauses out of 1011 for limit 3.043420825459517E8
320.02/317.71	c cleaning 501 clauses out of 1014 for limit 5.0041589463972557E8
320.02/317.74	c cleaning 506 clauses out of 1013 for limit 8.260674168483999E8
320.02/317.77	c cleaning 504 clauses out of 1009 for limit 1.3704357583069324E9
320.13/317.81	c cleaning 497 clauses out of 1004 for limit 2.2690157509654675E9
320.13/317.85	c cleaning 493 clauses out of 1006 for limit 3.730736859589513E9
320.13/317.88	c cleaning 494 clauses out of 1013 for limit 6.109969472393085E9
320.23/317.92	c cleaning 510 clauses out of 1020 for limit 1.0017023963719254E10
320.23/317.95	c cleaning 504 clauses out of 1009 for limit 1.6682805768321753E10
320.23/317.99	c cleaning 502 clauses out of 1005 for limit 2.7621679705741417E10
320.32/318.03	c cleaning 502 clauses out of 1004 for limit 4.5642858218731094E10
320.32/318.06	c cleaning 492 clauses out of 1002 for limit 7.542142106966023E10
320.32/318.09	c cleaning 495 clauses out of 1010 for limit 1.2339482481896107E11
320.42/318.13	c cleaning 507 clauses out of 1014 for limit 2.0248914182187564E11
320.42/318.17	c cleaning 503 clauses out of 1007 for limit 3.3625295625055804E11
320.52/318.20	c cleaning 489 clauses out of 1004 for limit 5.561830584947085E11
320.52/318.24	c cleaning 508 clauses out of 1016 for limit 9.072942522930085E11
320.52/318.27	c cleaning 494 clauses out of 1007 for limit 1.5081126133629133E12
320.62/318.31	c cleaning 507 clauses out of 1014 for limit 2.4723826462451562E12
320.62/318.34	c cleaning 503 clauses out of 1007 for limit 4.1056323628149097E12
320.62/318.37	c cleaning 493 clauses out of 1004 for limit 6.790968293833274E12
320.72/318.41	c cleaning 497 clauses out of 1011 for limit 1.1121673646686598E13
320.72/318.44	c cleaning 506 clauses out of 1013 for limit 1.8286611252326336E13
320.72/318.48	c cleaning 504 clauses out of 1008 for limit 3.033699392050475E13
320.84/318.52	c cleaning 501 clauses out of 1003 for limit 5.022888282847203E13
320.84/318.55	c cleaning 499 clauses out of 1002 for limit 8.291681609354317E13
320.84/318.59	c cleaning 502 clauses out of 1004 for limit 1.3660513501126748E14
320.94/318.63	c cleaning 493 clauses out of 1003 for limit 2.257304791441099E14
320.94/318.66	c cleaning 494 clauses out of 1008 for limit 3.696727751663311E14
321.04/318.70	c cleaning 507 clauses out of 1015 for limit 6.060414888483382E14
321.04/318.73	c cleaning 504 clauses out of 1008 for limit 1.0063840696817094E15
321.04/318.77	c cleaning 501 clauses out of 1003 for limit 1.6662675164501718E15
321.14/318.80	c cleaning 501 clauses out of 1003 for limit 2.7506486925992845E15
321.14/318.84	c cleaning 500 clauses out of 1001 for limit 4.540705730340222E15
321.14/318.88	c cleaning 487 clauses out of 1001 for limit 7.488231194076006E15
321.25/318.91	c cleaning 507 clauses out of 1014 for limit 1.2190773265951674E16
321.25/318.95	c cleaning 496 clauses out of 1007 for limit 2.0243967221029848E16
321.25/318.98	c cleaning 506 clauses out of 1012 for limit 3.325331775245638E16
321.35/319.02	c cleaning 497 clauses out of 1007 for limit 5.516662596791278E-4
321.35/319.05	c cleaning 497 clauses out of 1009 for limit 9.070601815454242E-4
321.35/319.09	c cleaning 498 clauses out of 1012 for limit 0.0014914292054959812
321.44/319.13	c cleaning 499 clauses out of 1014 for limit 0.0024547150641506324
321.44/319.16	c cleaning 496 clauses out of 1014 for limit 0.0040441053731639235
321.54/319.20	c cleaning 503 clauses out of 1018 for limit 0.006643065384951131
321.54/319.24	c cleaning 498 clauses out of 1015 for limit 0.010987683720600355
321.54/319.28	c cleaning 495 clauses out of 1018 for limit 0.018084845913418284
321.64/319.31	c cleaning 501 clauses out of 1022 for limit 0.029677893380705707
321.64/319.35	c cleaning 502 clauses out of 1022 for limit 0.04899180823056034
321.64/319.39	c cleaning 500 clauses out of 1019 for limit 0.08095087661569782
321.74/319.42	c cleaning 499 clauses out of 1020 for limit 0.13350144519807652
321.74/319.46	c cleaning 502 clauses out of 1020 for limit 0.21994158089281218
321.84/319.50	c cleaning 499 clauses out of 1018 for limit 0.3634256895417946
321.84/319.54	c cleaning 499 clauses out of 1020 for limit 0.598761169717043
321.84/319.57	c cleaning 500 clauses out of 1020 for limit 0.9864498324299275
321.94/319.61	c cleaning 500 clauses out of 1021 for limit 1.6268212319528912
321.94/319.65	c cleaning 502 clauses out of 1020 for limit 2.6827906086796425
321.94/319.68	c cleaning 499 clauses out of 1018 for limit 4.432972714380968
322.04/319.72	c cleaning 501 clauses out of 1019 for limit 7.303390784285634
322.04/319.76	c cleaning 500 clauses out of 1018 for limit 12.056099738370783
322.04/319.79	c cleaning 497 clauses out of 1018 for limit 19.882121304741624
322.14/319.83	c cleaning 501 clauses out of 1021 for limit 32.691936155510156
322.14/319.86	c cleaning 498 clauses out of 1020 for limit 53.96623242055753
322.24/319.90	c cleaning 501 clauses out of 1022 for limit 88.82337325793465
322.24/319.93	c cleaning 500 clauses out of 1021 for limit 146.62509386130688
322.24/319.97	c cleaning 499 clauses out of 1021 for limit 241.80439493142293
322.35/320.00	c cleaning 499 clauses out of 1022 for limit 398.37761150244586
322.35/320.04	c cleaning 500 clauses out of 1023 for limit 656.3357681613812
322.35/320.08	c cleaning 498 clauses out of 1024 for limit 1082.4108785299259
322.45/320.11	c cleaning 499 clauses out of 1025 for limit 1781.5155394225585
322.45/320.15	c cleaning 506 clauses out of 1027 for limit 2935.171186451936
322.45/320.19	c cleaning 501 clauses out of 1020 for limit 4868.835286293685
322.54/320.23	c cleaning 500 clauses out of 1019 for limit 8037.240375657046
322.54/320.26	c cleaning 499 clauses out of 1020 for limit 13254.744734246347
322.64/320.30	c cleaning 501 clauses out of 1021 for limit 21837.43800185619
322.64/320.34	c cleaning 499 clauses out of 1019 for limit 36047.4558270534
322.64/320.37	c cleaning 498 clauses out of 1020 for limit 59388.79555313595
322.74/320.41	c cleaning 499 clauses out of 1022 for limit 97748.40521840664
322.74/320.45	c cleaning 502 clauses out of 1025 for limit 161050.33091043308
322.74/320.48	c cleaning 508 clauses out of 1023 for limit 266112.7850577683
322.84/320.52	c cleaning 499 clauses out of 1014 for limit 442307.9996332919
322.84/320.56	c cleaning 498 clauses out of 1014 for limit 728695.6372385789
322.84/320.59	c cleaning 502 clauses out of 1016 for limit 1199351.0051281778
322.94/320.63	c cleaning 499 clauses out of 1014 for limit 1981791.417971939
322.94/320.66	c cleaning 499 clauses out of 1016 for limit 3265070.6965766284
323.04/320.70	c cleaning 502 clauses out of 1017 for limit 5379243.840658878
323.04/320.74	c cleaning 507 clauses out of 1015 for limit 8888572.701259473
323.04/320.77	c cleaning 493 clauses out of 1008 for limit 1.4760240236611675E7
323.14/320.81	c cleaning 507 clauses out of 1014 for limit 2.417337996260084E7
323.14/320.84	c cleaning 504 clauses out of 1008 for limit 4.01425724723311E7
323.14/320.88	c cleaning 496 clauses out of 1003 for limit 6.6463954023583695E7
323.24/320.92	c cleaning 503 clauses out of 1007 for limit 1.0917256745611343E8
323.24/320.95	c cleaning 494 clauses out of 1004 for limit 1.805781372111292E8
323.24/320.99	c cleaning 496 clauses out of 1010 for limit 2.960284114796486E8
323.34/321.03	c cleaning 500 clauses out of 1015 for limit 4.8627184527122504E8
323.34/321.06	c cleaning 507 clauses out of 1015 for limit 8.019273251358784E8
323.34/321.10	c cleaning 504 clauses out of 1008 for limit 1.3316693657274954E9
323.45/321.14	c cleaning 500 clauses out of 1003 for limit 2.204841544705008E9
323.45/321.17	c cleaning 494 clauses out of 1003 for limit 3.636078665643398E9
323.55/321.21	c cleaning 505 clauses out of 1010 for limit 5.960781857088768E9
323.55/321.25	c cleaning 502 clauses out of 1005 for limit 9.879032804462212E9
323.55/321.28	c cleaning 492 clauses out of 1002 for limit 1.632428404734609E10
323.64/321.32	c cleaning 493 clauses out of 1010 for limit 2.6707693142731506E10
323.64/321.35	c cleaning 500 clauses out of 1017 for limit 4.374140066122675E10
323.64/321.38	c cleaning 508 clauses out of 1017 for limit 7.213542131025377E10
323.74/321.42	c cleaning 505 clauses out of 1010 for limit 1.1990534709162914E11
323.74/321.45	c cleaning 495 clauses out of 1004 for limit 1.9872274922999164E11
323.74/321.49	c cleaning 498 clauses out of 1010 for limit 3.2609964392765607E11
323.84/321.52	c cleaning 495 clauses out of 1011 for limit 5.367127569596567E11
323.84/321.55	c cleaning 500 clauses out of 1017 for limit 8.807700117764402E11
323.84/321.59	c cleaning 497 clauses out of 1017 for limit 1.4525075767235105E12
323.94/321.62	c cleaning 509 clauses out of 1019 for limit 2.3882871977116143E12
323.94/321.66	c cleaning 506 clauses out of 1012 for limit 3.9737920144372104E12
323.94/321.69	c cleaning 493 clauses out of 1004 for limit 6.592327823662289E12
324.04/321.73	c cleaning 505 clauses out of 1011 for limit 1.0796357081113426E13
324.04/321.76	c cleaning 503 clauses out of 1007 for limit 1.789325387560332E13
324.14/321.80	c cleaning 501 clauses out of 1003 for limit 2.9596423743876215E13
324.14/321.83	c cleaning 493 clauses out of 1003 for limit 4.885731941179671E13
324.14/321.87	c cleaning 497 clauses out of 1010 for limit 8.001383415097573E13
324.24/321.90	c cleaning 500 clauses out of 1013 for limit 1.3156273616972377E14
324.24/321.94	c cleaning 498 clauses out of 1012 for limit 2.1696176499779153E14
324.24/321.97	c cleaning 497 clauses out of 1014 for limit 3.570932572073886E14
324.34/322.01	c cleaning 508 clauses out of 1017 for limit 5.871574001448395E14
324.34/322.04	c cleaning 505 clauses out of 1010 for limit 9.759880871698456E14
324.34/322.08	c cleaning 492 clauses out of 1004 for limit 1.6175345020259962E15
324.44/322.11	c cleaning 496 clauses out of 1013 for limit 2.646477580117253E15
324.44/322.15	c cleaning 498 clauses out of 1016 for limit 4.347157065685239E15
324.44/322.19	c cleaning 510 clauses out of 1021 for limit 7.155380284650213E15
324.55/322.22	c cleaning 504 clauses out of 1009 for limit 1.1916649322646712E16
324.55/322.25	c cleaning 501 clauses out of 1004 for limit 1.9730268163187748E16
324.55/322.28	c cleaning 502 clauses out of 1004 for limit 3.2570422091240748E16
324.65/322.32	c cleaning 495 clauses out of 1002 for limit 5.382019476492647E-4
324.65/322.35	c cleaning 492 clauses out of 1008 for limit 8.831670411126987E-4
324.65/322.39	c cleaning 499 clauses out of 1015 for limit 0.001444969626871363
324.74/322.42	c cleaning 497 clauses out of 1015 for limit 0.0023805652710699133
324.74/322.45	c cleaning 498 clauses out of 1018 for limit 0.003914301235062324
324.74/322.49	c cleaning 500 clauses out of 1021 for limit 0.006442681758499965
324.84/322.52	c cleaning 503 clauses out of 1021 for limit 0.010624844106312327
324.84/322.56	c cleaning 503 clauses out of 1018 for limit 0.017573425218833354
324.84/322.59	c cleaning 498 clauses out of 1014 for limit 0.029066157056095332
324.94/322.63	c cleaning 499 clauses out of 1017 for limit 0.047840423634879524
324.94/322.66	c cleaning 500 clauses out of 1018 for limit 0.07881775829731044
324.94/322.69	c cleaning 499 clauses out of 1018 for limit 0.1299810274833292
325.04/322.73	c cleaning 499 clauses out of 1018 for limit 0.21414174676790212
325.04/322.76	c cleaning 501 clauses out of 1020 for limit 0.35280874872015405
325.14/322.80	c cleaning 500 clauses out of 1019 for limit 0.5823998047502699
325.14/322.83	c cleaning 499 clauses out of 1019 for limit 0.9604551900851712
325.14/322.87	c cleaning 499 clauses out of 1020 for limit 1.582366233988371
325.24/322.90	c cleaning 498 clauses out of 1020 for limit 2.606924071409393
325.24/322.94	c cleaning 502 clauses out of 1022 for limit 4.2907533000522005
325.24/322.97	c cleaning 502 clauses out of 1020 for limit 7.08990075966667
325.34/323.01	c cleaning 500 clauses out of 1019 for limit 11.715384392339415
325.34/323.04	c cleaning 499 clauses out of 1018 for limit 19.319875525254478
325.34/323.07	c cleaning 497 clauses out of 1019 for limit 31.829792321289506
325.44/323.11	c cleaning 503 clauses out of 1023 for limit 52.33867863818471
325.44/323.14	c cleaning 501 clauses out of 1020 for limit 86.56734600228599
325.44/323.18	c cleaning 499 clauses out of 1018 for limit 142.8985664633747
325.54/323.21	c cleaning 500 clauses out of 1019 for limit 235.4275879051914
325.54/323.25	c cleaning 500 clauses out of 1020 for limit 388.2592077915234
325.54/323.28	c cleaning 503 clauses out of 1019 for limit 640.2788069823247
325.65/323.32	c cleaning 498 clauses out of 1016 for limit 1059.0232386084147
325.65/323.35	c cleaning 501 clauses out of 1018 for limit 1743.039813324604
325.65/323.39	c cleaning 500 clauses out of 1018 for limit 2877.38321508183
325.75/323.42	c cleaning 501 clauses out of 1018 for limit 4745.189851109794
325.75/323.45	c cleaning 500 clauses out of 1016 for limit 7833.016442094794
325.75/323.49	c cleaning 500 clauses out of 1016 for limit 12917.691995206587
325.84/323.52	c cleaning 497 clauses out of 1016 for limit 21303.00219801388
325.84/323.56	c cleaning 499 clauses out of 1020 for limit 35028.75865767683
325.84/323.59	c cleaning 499 clauses out of 1021 for limit 57710.53013888873
325.94/323.63	c cleaning 498 clauses out of 1021 for limit 95077.2121910508
325.94/323.66	c cleaning 498 clauses out of 1023 for limit 156488.50243317496
326.04/323.70	c cleaning 504 clauses out of 1025 for limit 257566.9230229529
326.04/323.74	c cleaning 498 clauses out of 1021 for limit 426426.4158375514
326.04/323.77	c cleaning 501 clauses out of 1023 for limit 701859.359088841
326.14/323.81	c cleaning 499 clauses out of 1023 for limit 1158618.5947975414
326.14/323.84	c cleaning 501 clauses out of 1024 for limit 1908851.1254147987
326.14/323.87	c cleaning 502 clauses out of 1023 for limit 3151028.0431673657
326.24/323.91	c cleaning 510 clauses out of 1021 for limit 5206645.951142982
326.24/323.95	c cleaning 505 clauses out of 1010 for limit 8671291.588732876
326.24/323.98	c cleaning 488 clauses out of 1005 for limit 1.4371264729353357E7
326.34/324.02	c cleaning 498 clauses out of 1017 for limit 2.3420490444998864E7
326.34/324.05	c cleaning 498 clauses out of 1020 for limit 3.854847175895225E7
326.34/324.08	c cleaning 510 clauses out of 1021 for limit 6.344581348802083E7
326.44/324.12	c cleaning 505 clauses out of 1011 for limit 1.0566555626737121E8
326.44/324.15	c cleaning 495 clauses out of 1006 for limit 1.751227246399464E8
326.44/324.18	c cleaning 506 clauses out of 1012 for limit 2.8737591863881767E8
326.54/324.22	c cleaning 502 clauses out of 1005 for limit 4.7674505663609374E8
326.54/324.25	c cleaning 501 clauses out of 1003 for limit 7.87784105769284E8
326.54/324.28	c cleaning 501 clauses out of 1003 for limit 1.3004618401258812E9
326.64/324.32	c cleaning 491 clauses out of 1001 for limit 2.1467716126148818E9
326.64/324.35	c cleaning 497 clauses out of 1011 for limit 3.508804445146839E9
326.64/324.39	c cleaning 506 clauses out of 1013 for limit 5.769288408130072E9
326.75/324.43	c cleaning 504 clauses out of 1008 for limit 9.57109356939028E9
326.75/324.46	c cleaning 502 clauses out of 1004 for limit 1.584689821062387E10
326.75/324.49	c cleaning 493 clauses out of 1003 for limit 2.6185896494571846E10
326.85/324.53	c cleaning 493 clauses out of 1008 for limit 4.288394311690029E10
326.85/324.56	c cleaning 507 clauses out of 1015 for limit 7.02336255999306E10
326.94/324.60	c cleaning 504 clauses out of 1008 for limit 1.1662898210826584E11
326.94/324.63	c cleaning 502 clauses out of 1005 for limit 1.9310403756329526E11
326.94/324.66	c cleaning 502 clauses out of 1004 for limit 3.1909066725344635E11
327.04/324.70	c cleaning 500 clauses out of 1001 for limit 5.272724896966681E11
327.04/324.73	c cleaning 495 clauses out of 1000 for limit 8.695420032186423E11
327.04/324.77	c cleaning 494 clauses out of 1006 for limit 1.42686532313187E12
327.14/324.80	c cleaning 496 clauses out of 1011 for limit 2.3391128990345347E12
327.14/324.84	c cleaning 499 clauses out of 1015 for limit 3.842308081220658E12
691.71/688.65	c cleaning 845749 clauses out of 1691517 for limit 13262.525604269294
719.59/716.59	c cleaning 423129 clauses out of 846268 for limit 43717.021987240914
770.99/767.95	c cleaning 211814 clauses out of 423639 for limit 144018.55263811786
781.69/778.69	c cleaning 106159 clauses out of 212325 for limit 473880.8191302177
783.29/780.28	c cleaning 53326 clauses out of 106665 for limit 1554066.8651456917
783.69/780.65	c cleaning 26910 clauses out of 53840 for limit 5082495.304057895
783.89/780.85	c cleaning 13704 clauses out of 27430 for limit 1.6451750579488548E7
783.99/780.96	c cleaning 7108 clauses out of 14226 for limit 5.231316630519002E7
784.09/781.03	c cleaning 3800 clauses out of 7617 for limit 1.6096491734723854E8
784.09/781.08	c cleaning 2148 clauses out of 4318 for limit 4.6873021246597147E8
784.18/781.12	c cleaning 1324 clauses out of 2670 for limit 1.2501157043091688E9
784.18/781.17	c cleaning 923 clauses out of 1846 for limit 2.981849106442914E9
784.28/781.21	c cleaning 703 clauses out of 1422 for limit 6.377333636951924E9
784.28/781.25	c cleaning 599 clauses out of 1220 for limit 1.2270698990243391E10
784.28/781.29	c cleaning 560 clauses out of 1121 for limit 2.202314852736638E10
784.38/781.34	c cleaning 523 clauses out of 1061 for limit 3.837297965969887E10
784.38/781.38	c cleaning 508 clauses out of 1037 for limit 6.468201283093871E10
784.48/781.42	c cleaning 502 clauses out of 1030 for limit 1.075017308309477E11
784.48/781.46	c cleaning 506 clauses out of 1028 for limit 1.7762964740119214E11
784.58/781.51	c cleaning 503 clauses out of 1023 for limit 2.946614580110932E11
784.58/781.55	c cleaning 509 clauses out of 1019 for limit 4.8735582181273724E11
784.58/781.59	c cleaning 504 clauses out of 1009 for limit 8.10868727388483E11
784.68/781.64	c cleaning 495 clauses out of 1005 for limit 1.3425533200090688E12
784.68/781.68	c cleaning 495 clauses out of 1010 for limit 2.203089384560584E12
784.78/781.72	c cleaning 500 clauses out of 1016 for limit 3.615348626537072E12
784.78/781.77	c cleaning 498 clauses out of 1016 for limit 5.962193537845992E12
784.88/781.81	c cleaning 509 clauses out of 1018 for limit 9.81313755198428E12
784.88/781.85	c cleaning 504 clauses out of 1009 for limit 1.6327526045689027E13
784.88/781.89	c cleaning 495 clauses out of 1005 for limit 2.7033443959261652E13
784.98/781.94	c cleaning 505 clauses out of 1010 for limit 4.436106374855976E13
784.98/781.98	c cleaning 502 clauses out of 1005 for limit 7.352129544745647E13
785.09/782.02	c cleaning 498 clauses out of 1002 for limit 1.2148785555920275E14
785.09/782.06	c cleaning 492 clauses out of 1005 for limit 1.9995161890648797E14
785.19/782.11	c cleaning 497 clauses out of 1013 for limit 3.2714284646490175E14
785.19/782.15	c cleaning 507 clauses out of 1015 for limit 5.3790082019310606E14
785.19/782.19	c cleaning 504 clauses out of 1009 for limit 8.932385981189304E14
785.28/782.24	c cleaning 502 clauses out of 1004 for limit 1.4789255433659168E15
785.28/782.28	c cleaning 488 clauses out of 1002 for limit 2.4438142239545775E15
785.38/782.32	c cleaning 507 clauses out of 1014 for limit 3.9824821854880155E15
785.38/782.36	c cleaning 503 clauses out of 1007 for limit 6.613299834435154E15
785.48/782.41	c cleaning 502 clauses out of 1005 for limit 1.0938858910030572E16
785.48/782.45	c cleaning 501 clauses out of 1002 for limit 1.807555896772858E16
785.48/782.49	c cleaning 501 clauses out of 1002 for limit 2.9838853696498096E16
785.58/782.53	c cleaning 500 clauses out of 1000 for limit 4.9257371360950128E16
785.58/782.58	c cleaning 488 clauses out of 1001 for limit 8.12320761395321E-4
785.68/782.62	c cleaning 500 clauses out of 1013 for limit 0.001323756398296173
785.68/782.66	c cleaning 497 clauses out of 1012 for limit 0.0021830233466028385
785.78/782.70	c cleaning 498 clauses out of 1015 for limit 0.0035894568558077163
785.78/782.74	c cleaning 499 clauses out of 1017 for limit 0.005907853453625157
785.78/782.79	c cleaning 505 clauses out of 1018 for limit 0.009733270113107133
785.88/782.83	c cleaning 495 clauses out of 1014 for limit 0.01613091481153315
785.88/782.87	c cleaning 500 clauses out of 1018 for limit 0.026471012303649934
785.98/782.91	c cleaning 499 clauses out of 1018 for limit 0.043654240517389545
785.98/782.95	c cleaning 499 clauses out of 1019 for limit 0.07192103322797305
785.98/782.99	c cleaning 501 clauses out of 1020 for limit 0.11849112344679864
786.08/783.04	c cleaning 500 clauses out of 1019 for limit 0.19559947821700233
786.08/783.08	c cleaning 502 clauses out of 1020 for limit 0.32257603763732084
786.19/783.12	c cleaning 498 clauses out of 1017 for limit 0.5330067353433544
786.19/783.16	c cleaning 501 clauses out of 1020 for limit 0.8772914099713967
786.29/783.21	c cleaning 500 clauses out of 1018 for limit 1.4481636626844798
786.29/783.25	c cleaning 497 clauses out of 1019 for limit 2.388260186236227
786.29/783.29	c cleaning 502 clauses out of 1021 for limit 3.9269145934926213
786.38/783.34	c cleaning 504 clauses out of 1019 for limit 6.4887180131119395
786.38/783.38	c cleaning 501 clauses out of 1016 for limit 10.743103896922912
786.48/783.42	c cleaning 502 clauses out of 1015 for limit 17.734270503405874
786.48/783.47	c cleaning 495 clauses out of 1012 for limit 29.303549801115754
786.58/783.51	c cleaning 500 clauses out of 1018 for limit 48.08873654220758
786.58/783.55	c cleaning 498 clauses out of 1017 for limit 79.30335613011393
786.58/783.60	c cleaning 500 clauses out of 1019 for limit 130.52515663136154
786.68/783.64	c cleaning 497 clauses out of 1020 for limit 215.25766950883119
786.68/783.68	c cleaning 500 clauses out of 1022 for limit 353.93970555955536
786.78/783.73	c cleaning 499 clauses out of 1022 for limit 583.6939236744066
786.78/783.77	c cleaning 503 clauses out of 1023 for limit 961.6484177440301
786.88/783.81	c cleaning 502 clauses out of 1020 for limit 1590.5512610833039
786.88/783.86	c cleaning 500 clauses out of 1019 for limit 2628.2341672984453
786.98/783.90	c cleaning 498 clauses out of 1019 for limit 4334.309740751686
786.98/783.95	c cleaning 501 clauses out of 1021 for limit 7133.85491812791
786.98/783.99	c cleaning 500 clauses out of 1020 for limit 11776.215111118127
787.08/784.03	c cleaning 498 clauses out of 1019 for limit 19420.172943232774
787.08/784.08	c cleaning 499 clauses out of 1021 for limit 31963.7276864179
787.18/784.12	c cleaning 502 clauses out of 1023 for limit 52662.07038768527
787.18/784.16	c cleaning 503 clauses out of 1021 for limit 87016.92013100376
787.29/784.21	c cleaning 497 clauses out of 1017 for limit 143922.89036595525
787.29/784.25	c cleaning 501 clauses out of 1020 for limit 236650.01722658574
787.29/784.29	c cleaning 499 clauses out of 1019 for limit 390650.52759287774
787.39/784.34	c cleaning 501 clauses out of 1021 for limit 643616.6283019898
787.39/784.38	c cleaning 502 clauses out of 1020 for limit 1062450.5195244132
787.48/784.42	c cleaning 500 clauses out of 1017 for limit 1755534.2517792773
787.48/784.47	c cleaning 497 clauses out of 1017 for limit 2895110.8323545745
787.58/784.51	c cleaning 510 clauses out of 1021 for limit 4760480.646788908
787.58/784.56	c cleaning 494 clauses out of 1011 for limit 7928321.948901807
787.68/784.60	c cleaning 508 clauses out of 1016 for limit 1.299750820613377E7
787.68/784.64	c cleaning 504 clauses out of 1009 for limit 2.1604938818276886E7
787.68/784.69	c cleaning 491 clauses out of 1005 for limit 3.57712430623483E7
787.78/784.73	c cleaning 496 clauses out of 1013 for limit 5.846716338013184E7
787.78/784.77	c cleaning 495 clauses out of 1018 for limit 9.604264015800042E7
787.88/784.81	c cleaning 500 clauses out of 1022 for limit 1.5760948410933238E8
787.88/784.86	c cleaning 497 clauses out of 1023 for limit 2.5992497349940696E8
787.98/784.90	c cleaning 502 clauses out of 1025 for limit 4.2738684648083866E8
787.98/784.94	c cleaning 512 clauses out of 1024 for limit 7.062125961432484E8
787.98/784.99	c cleaning 506 clauses out of 1012 for limit 1.178448995638737E9
788.08/785.03	c cleaning 499 clauses out of 1005 for limit 1.954999346603734E9
788.08/785.07	c cleaning 496 clauses out of 1007 for limit 3.220873042825857E9
788.18/785.11	c cleaning 501 clauses out of 1011 for limit 5.290635095949453E9
788.18/785.16	c cleaning 500 clauses out of 1009 for limit 8.733517063947521E9
788.28/785.20	c cleaning 497 clauses out of 1010 for limit 1.4402880731569962E10
788.28/785.24	c cleaning 500 clauses out of 1012 for limit 2.3681630514312218E10
788.28/785.28	c cleaning 502 clauses out of 1012 for limit 3.905417678995203E10
788.39/785.32	c cleaning 505 clauses out of 1010 for limit 6.453309786746701E10
788.39/785.36	c cleaning 494 clauses out of 1005 for limit 1.069531826681611E11
788.49/785.40	c cleaning 506 clauses out of 1012 for limit 1.7533542108452194E11
788.49/785.45	c cleaning 503 clauses out of 1006 for limit 2.9087612734117487E11
788.49/785.49	c cleaning 501 clauses out of 1002 for limit 4.8112698280373755E11
788.58/785.53	c cleaning 499 clauses out of 1001 for limit 7.942354087681547E11
788.58/785.57	c cleaning 492 clauses out of 1003 for limit 1.3084971715591335E12
788.68/785.61	c cleaning 505 clauses out of 1011 for limit 2.1408116163911538E12
788.68/785.65	c cleaning 502 clauses out of 1005 for limit 3.5480107066983965E12
788.78/785.70	c cleaning 491 clauses out of 1003 for limit 5.862811586465506E12
788.78/785.74	c cleaning 497 clauses out of 1012 for limit 9.582575396087621E12
788.78/785.79	c cleaning 498 clauses out of 1016 for limit 1.5756488917358371E13
788.88/785.84	c cleaning 504 clauses out of 1018 for limit 2.593350787774232E13
788.88/785.88	c cleaning 507 clauses out of 1014 for limit 4.293653317716621E13
788.98/785.93	c cleaning 503 clauses out of 1007 for limit 7.130029828795761E13
788.98/785.98	c cleaning 502 clauses out of 1004 for limit 1.1793507606764852E14
789.08/786.03	c cleaning 492 clauses out of 1001 for limit 1.9487853316425472E14
789.08/786.08	c cleaning 494 clauses out of 1009 for limit 3.188326584174195E14
789.18/786.13	c cleaning 507 clauses out of 1015 for limit 5.226895426186045E14
789.18/786.18	c cleaning 504 clauses out of 1008 for limit 8.679709867391955E14
789.28/786.23	c cleaning 502 clauses out of 1005 for limit 1.4371102190667002E15
789.28/786.28	c cleaning 497 clauses out of 1003 for limit 2.374712801025508E15
789.38/786.32	c cleaning 496 clauses out of 1006 for limit 3.904540506523713E15
789.38/786.36	c cleaning 497 clauses out of 1010 for limit 6.413608211043147E15
789.49/786.41	c cleaning 500 clauses out of 1012 for limit 1.0545438981839502E16
789.49/786.45	c cleaning 506 clauses out of 1012 for limit 1.7390839624641144E16
789.49/786.50	c cleaning 504 clauses out of 1008 for limit 2.885130361553722E16
789.59/786.54	c cleaning 501 clauses out of 1003 for limit 4.7769029210702368E16
789.59/786.58	c cleaning 492 clauses out of 1002 for limit 7.885613987388353E-4
789.68/786.63	c cleaning 500 clauses out of 1010 for limit 0.0012901426978749425
789.68/786.67	c cleaning 497 clauses out of 1009 for limit 0.0021275968145967037
789.78/786.72	c cleaning 498 clauses out of 1013 for limit 0.0034983354509775318
789.78/786.76	c cleaning 499 clauses out of 1015 for limit 0.005757855230201591
789.88/786.81	c cleaning 499 clauses out of 1016 for limit 0.009486127608164195
789.88/786.85	c cleaning 499 clauses out of 1017 for limit 0.015628511064530254
789.88/786.90	c cleaning 501 clauses out of 1018 for limit 0.025748187704861744
789.98/786.94	c cleaning 501 clauses out of 1017 for limit 0.04250395847124425
789.98/786.98	c cleaning 495 clauses out of 1016 for limit 0.07016370445675749
790.08/787.03	c cleaning 506 clauses out of 1020 for limit 0.11514031731079617
790.08/787.07	c cleaning 501 clauses out of 1014 for limit 0.19100534730809726
790.18/787.12	c cleaning 501 clauses out of 1013 for limit 0.315304320956128
790.18/787.16	c cleaning 499 clauses out of 1013 for limit 0.5204995054194909
790.28/787.21	c cleaning 496 clauses out of 1013 for limit 0.857514942299209
790.28/787.25	c cleaning 502 clauses out of 1017 for limit 1.4085947839507806
790.28/787.29	c cleaning 497 clauses out of 1016 for limit 2.3275751915357206
790.38/787.34	c cleaning 502 clauses out of 1018 for limit 3.827110702926404
790.38/787.38	c cleaning 498 clauses out of 1016 for limit 6.323841581093309
790.48/787.43	c cleaning 501 clauses out of 1019 for limit 10.408566100648335
790.48/787.47	c cleaning 502 clauses out of 1018 for limit 17.181979542001972
790.59/787.52	c cleaning 495 clauses out of 1015 for limit 28.39071359611933
790.59/787.56	c cleaning 502 clauses out of 1020 for limit 46.590574542295755
790.69/787.61	c cleaning 501 clauses out of 1019 for limit 76.98647813634545
790.69/787.65	c cleaning 499 clauses out of 1017 for limit 127.08346832039088
790.69/787.70	c cleaning 501 clauses out of 1019 for limit 209.37567603487838
790.78/787.74	c cleaning 500 clauses out of 1017 for limit 345.62156545614266
790.78/787.78	c cleaning 499 clauses out of 1017 for limit 569.9761978630037
790.88/787.83	c cleaning 500 clauses out of 1018 for limit 939.0436535690051
790.88/787.87	c cleaning 504 clauses out of 1018 for limit 1548.6086077477778
790.98/787.92	c cleaning 500 clauses out of 1015 for limit 2563.9751012777797
790.98/787.96	c cleaning 499 clauses out of 1015 for limit 4228.337944459555
791.08/788.01	c cleaning 501 clauses out of 1015 for limit 6966.121832416655
791.08/788.05	c cleaning 498 clauses out of 1014 for limit 11499.39626721169
791.08/788.09	c cleaning 495 clauses out of 1017 for limit 18927.02870582589
791.18/788.14	c cleaning 500 clauses out of 1022 for limit 31060.49587909222
791.18/788.18	c cleaning 499 clauses out of 1022 for limit 51222.912903422395
791.28/788.23	c cleaning 499 clauses out of 1022 for limit 84388.96242057969
791.28/788.27	c cleaning 501 clauses out of 1023 for limit 139032.64861136163
791.38/788.32	c cleaning 502 clauses out of 1023 for limit 229512.94996507477
791.38/788.36	c cleaning 501 clauses out of 1021 for limit 379238.98337297834
791.48/788.40	c cleaning 498 clauses out of 1019 for limit 626016.6829035571
791.48/788.45	c cleaning 502 clauses out of 1022 for limit 1030385.1571795078
791.48/788.49	c cleaning 498 clauses out of 1019 for limit 1702541.3990221801
791.58/788.54	c cleaning 499 clauses out of 1022 for limit 2802278.972661736
791.58/788.58	c cleaning 511 clauses out of 1022 for limit 4616711.575185168
791.69/788.62	c cleaning 505 clauses out of 1011 for limit 7696413.105942277
791.69/788.67	c cleaning 496 clauses out of 1007 for limit 1.2755587148655472E7
791.79/788.71	c cleaning 497 clauses out of 1011 for limit 2.0952442440547045E7
791.79/788.75	c cleaning 506 clauses out of 1013 for limit 3.445067548904174E7
791.88/788.80	c cleaning 503 clauses out of 1007 for limit 5.715228565469499E7
791.88/788.84	c cleaning 502 clauses out of 1005 for limit 9.453386430586232E7
791.88/788.89	c cleaning 490 clauses out of 1003 for limit 1.5620985413584366E8
791.98/788.93	c cleaning 497 clauses out of 1013 for limit 2.5506789702958977E8
791.98/788.97	c cleaning 498 clauses out of 1015 for limit 4.1939242291170454E8
792.08/789.02	c cleaning 508 clauses out of 1017 for limit 6.902740647555685E8
792.08/789.06	c cleaning 505 clauses out of 1010 for limit 1.147391251336616E9
792.18/789.10	c cleaning 495 clauses out of 1005 for limit 1.9016156073598385E9
792.18/789.15	c cleaning 504 clauses out of 1009 for limit 3.1204627593150377E9
792.18/789.19	c cleaning 494 clauses out of 1006 for limit 5.166573216350891E9
792.28/789.24	c cleaning 505 clauses out of 1011 for limit 8.469753843093282E9
792.28/789.28	c cleaning 503 clauses out of 1007 for limit 1.4037277077788692E10
792.38/789.32	c cleaning 501 clauses out of 1003 for limit 2.3218426536209156E10
792.38/789.37	c cleaning 501 clauses out of 1002 for limit 3.832850532747673E10
792.48/789.41	c cleaning 496 clauses out of 1002 for limit 6.327210488560286E10
792.48/789.46	c cleaning 503 clauses out of 1006 for limit 1.0392927800975252E11
792.58/789.50	c cleaning 501 clauses out of 1003 for limit 1.7190592477092807E11
792.58/789.54	c cleaning 492 clauses out of 1001 for limit 2.8377823012693304E11
792.58/789.59	c cleaning 491 clauses out of 1009 for limit 4.6427775313815857E11
792.68/789.63	c cleaning 497 clauses out of 1018 for limit 7.588870628835662E11
792.68/789.67	c cleaning 499 clauses out of 1021 for limit 1.247828993132409E12
792.79/789.72	c cleaning 499 clauses out of 1023 for limit 2.0558696692956926E12
792.79/789.76	c cleaning 512 clauses out of 1024 for limit 3.3870931724749146E12
792.89/789.80	c cleaning 505 clauses out of 1011 for limit 5.651937096541466E12
792.89/789.85	c cleaning 503 clauses out of 1007 for limit 9.367191599680516E12
792.89/789.89	c cleaning 489 clauses out of 1003 for limit 1.5493848899792365E13
792.98/789.93	c cleaning 499 clauses out of 1014 for limit 2.5274244432424215E13
792.98/789.98	c cleaning 500 clauses out of 1016 for limit 4.164020195368086E13
793.08/790.02	c cleaning 507 clauses out of 1015 for limit 6.8669181061263336E13
793.08/790.06	c cleaning 491 clauses out of 1009 for limit 1.140321054039622E14
793.18/790.11	c cleaning 508 clauses out of 1017 for limit 1.8638833612539628E14
793.18/790.15	c cleaning 504 clauses out of 1009 for limit 3.0981640135861706E14
793.18/790.19	c cleaning 495 clauses out of 1006 for limit 5.129653018506165E14
793.28/790.24	c cleaning 505 clauses out of 1011 for limit 8.41764684923997E14
793.28/790.28	c cleaning 503 clauses out of 1006 for limit 1.3950820904834128E15
793.38/790.32	c cleaning 487 clauses out of 1002 for limit 2.307551475926164E15
793.38/790.37	c cleaning 494 clauses out of 1015 for limit 3.756721186877723E15
793.48/790.41	c cleaning 510 clauses out of 1021 for limit 6.158928344138538E15
793.48/790.45	c cleaning 506 clauses out of 1012 for limit 1.02574823818556E16
793.48/790.50	c cleaning 503 clauses out of 1006 for limit 1.7016851090608694E16
793.58/790.54	c cleaning 501 clauses out of 1002 for limit 2.8146917029193132E16
793.58/790.58	c cleaning 501 clauses out of 1002 for limit 4.6464496104437936E16
793.68/790.62	c cleaning 491 clauses out of 1000 for limit 7.670264290294529E-4
793.68/790.67	c cleaning 495 clauses out of 1010 for limit 0.001253658799819087
793.78/790.71	c cleaning 498 clauses out of 1015 for limit 0.002057266584334178
793.78/790.75	c cleaning 498 clauses out of 1016 for limit 0.003385979165888219
793.78/790.80	c cleaning 499 clauses out of 1019 for limit 0.005573066230649086
793.89/790.84	c cleaning 499 clauses out of 1019 for limit 0.009181541034036449
793.89/790.88	c cleaning 503 clauses out of 1020 for limit 0.015126744754171799
1233.80/1229.85	c cleaning 695491 clauses out of 1391018 for limit 0.17142303664631514
1381.77/1377.86	c cleaning 348008 clauses out of 696027 for limit 0.5649782564499524
1419.47/1415.56	c cleaning 174254 clauses out of 348519 for limit 1.8607466625628732
1427.77/1423.89	c cleaning 87373 clauses out of 174765 for limit 6.1194886504992985
1430.47/1426.56	c cleaning 43939 clauses out of 87892 for limit 20.066708177490643
1430.97/1427.02	c cleaning 22212 clauses out of 44453 for limit 65.43050819609053
1431.07/1427.14	c cleaning 11361 clauses out of 22741 for limit 210.92482517022452
1431.17/1427.22	c cleaning 5929 clauses out of 11880 for limit 665.8504573179488
1431.17/1427.28	c cleaning 3213 clauses out of 6450 for limit 2020.4811525258947
1431.27/1427.34	c cleaning 1854 clauses out of 3737 for limit 5751.052171776747
1431.27/1427.39	c cleaning 1182 clauses out of 2383 for limit 14873.125752242477
1431.37/1427.43	c cleaning 836 clauses out of 1701 for limit 34361.95507167025
1431.37/1427.48	c cleaning 671 clauses out of 1365 for limit 70616.3741944108
1431.47/1427.53	c cleaning 585 clauses out of 1195 for limit 133155.94459127937
1431.47/1427.57	c cleaning 544 clauses out of 1109 for limit 236384.1180060172
1431.57/1427.61	c cleaning 518 clauses out of 1065 for limit 405934.6461448461
1431.57/1427.65	c cleaning 512 clauses out of 1047 for limit 680949.5428157055
1431.57/1427.69	c cleaning 506 clauses out of 1036 for limit 1136036.4281488187
1431.67/1427.73	c cleaning 499 clauses out of 1029 for limit 1884334.5604790535
1431.67/1427.77	c cleaning 503 clauses out of 1031 for limit 3104596.201813324
1431.77/1427.82	c cleaning 514 clauses out of 1028 for limit 5134835.788491258
1431.77/1427.86	c cleaning 506 clauses out of 1013 for limit 8584828.111753657
1431.87/1427.90	c cleaning 485 clauses out of 1007 for limit 1.4241884711243642E7
1431.87/1427.95	c cleaning 497 clauses out of 1023 for limit 2.3142576149981715E7
1431.87/1427.99	c cleaning 513 clauses out of 1026 for limit 3.805360986593852E7
1431.97/1428.04	c cleaning 505 clauses out of 1012 for limit 6.3560028736857936E7
1431.97/1428.08	c cleaning 491 clauses out of 1007 for limit 1.0533944208455536E8
1432.07/1428.12	c cleaning 495 clauses out of 1017 for limit 1.721828651466296E8
1432.07/1428.17	c cleaning 500 clauses out of 1022 for limit 2.8256337835483897E8
1432.17/1428.21	c cleaning 498 clauses out of 1021 for limit 4.659747707507379E8
1432.17/1428.25	c cleaning 512 clauses out of 1024 for limit 7.669703721012542E8
1432.17/1428.29	c cleaning 506 clauses out of 1012 for limit 1.279834811250036E9
1432.27/1428.34	c cleaning 489 clauses out of 1006 for limit 2.1232070007883756E9
1432.27/1428.38	c cleaning 508 clauses out of 1016 for limit 3.4635222785885158E9
1432.37/1428.42	c cleaning 487 clauses out of 1008 for limit 5.757143417042847E9
1432.37/1428.47	c cleaning 497 clauses out of 1021 for limit 9.373412408367834E9
1432.47/1428.51	c cleaning 500 clauses out of 1024 for limit 1.5412723872433636E10
1432.47/1428.56	c cleaning 511 clauses out of 1024 for limit 2.5417643542954273E10
1432.57/1428.60	c cleaning 507 clauses out of 1014 for limit 4.237285093987794E10
1432.57/1428.65	c cleaning 504 clauses out of 1008 for limit 7.036480799726463E10
1432.57/1428.69	c cleaning 490 clauses out of 1004 for limit 1.1650329629091461E11
1432.67/1428.73	c cleaning 495 clauses out of 1013 for limit 1.9023212355490918E11
1432.67/1428.77	c cleaning 502 clauses out of 1018 for limit 3.121773648401374E11
1432.77/1428.81	c cleaning 508 clauses out of 1016 for limit 5.1583566656241614E11
1432.77/1428.85	c cleaning 504 clauses out of 1008 for limit 8.574334660367694E11
1432.77/1428.89	c cleaning 498 clauses out of 1003 for limit 1.4196503849928936E12
1432.87/1428.94	c cleaning 502 clauses out of 1005 for limit 2.336534310936202E12
1432.87/1428.98	c cleaning 501 clauses out of 1003 for limit 3.8609411196163657E12
1432.97/1429.02	c cleaning 501 clauses out of 1003 for limit 6.37358199570539E12
1432.97/1429.07	c cleaning 493 clauses out of 1002 for limit 1.0521379262997602E13
1433.07/1429.11	c cleaning 498 clauses out of 1009 for limit 1.723078716895783E13
1433.07/1429.15	c cleaning 501 clauses out of 1011 for limit 2.835965973619668E13
1433.07/1429.19	c cleaning 504 clauses out of 1009 for limit 4.681471463103634E13
1433.17/1429.23	c cleaning 502 clauses out of 1005 for limit 7.751100570322431E13
1433.17/1429.27	c cleaning 494 clauses out of 1003 for limit 1.2808090501460997E14
1433.27/1429.31	c cleaning 499 clauses out of 1010 for limit 2.099685966820255E14
1433.27/1429.36	c cleaning 498 clauses out of 1010 for limit 3.459200387199656E14
1433.37/1429.40	c cleaning 507 clauses out of 1014 for limit 5.693561947158079E14
1433.37/1429.44	c cleaning 503 clauses out of 1006 for limit 9.454648766307192E14
1433.37/1429.48	c cleaning 499 clauses out of 1003 for limit 1.563861666973034E15
1433.47/1429.52	c cleaning 501 clauses out of 1003 for limit 2.5764380814109185E15
1433.47/1429.56	c cleaning 501 clauses out of 1003 for limit 4.25314421017692E15
1433.57/1429.60	c cleaning 499 clauses out of 1001 for limit 7.020989753825702E15
1433.57/1429.65	c cleaning 501 clauses out of 1003 for limit 1.1567030546617626E16
1433.57/1429.69	c cleaning 501 clauses out of 1002 for limit 1.90946182868042E16
1433.67/1429.73	c cleaning 500 clauses out of 1000 for limit 3.1521006588101228E16
1433.67/1429.77	c cleaning 496 clauses out of 1001 for limit 5.198240865100724E-4
1433.77/1429.82	c cleaning 495 clauses out of 1004 for limit 8.538432293006075E-4
1433.77/1429.86	c cleaning 497 clauses out of 1009 for limit 0.0014011240010517638
1433.87/1429.90	c cleaning 498 clauses out of 1013 for limit 0.0023038207852477855
1433.87/1429.94	c cleaning 499 clauses out of 1014 for limit 0.003791766259946369
1433.87/1429.98	c cleaning 501 clauses out of 1016 for limit 0.0062470675729781235
1433.97/1430.02	c cleaning 501 clauses out of 1014 for limit 0.010312247595434672
1433.97/1430.06	c cleaning 502 clauses out of 1014 for limit 0.017023299131805808
1434.07/1430.11	c cleaning 498 clauses out of 1011 for limit 0.02812884534288357
1434.07/1430.15	c cleaning 500 clauses out of 1013 for limit 0.04629664313800822
1434.07/1430.19	c cleaning 500 clauses out of 1014 for limit 0.0763504131770253
1434.17/1430.24	c cleaning 495 clauses out of 1013 for limit 0.12591030515772753
1434.17/1430.28	c cleaning 503 clauses out of 1019 for limit 0.20662693642392443
1434.27/1430.32	c cleaning 499 clauses out of 1015 for limit 0.34175624054215503
1434.27/1430.36	c cleaning 500 clauses out of 1016 for limit 0.5630470338442043
1434.27/1430.40	c cleaning 500 clauses out of 1016 for limit 0.9285398818936955
1434.37/1430.44	c cleaning 500 clauses out of 1016 for limit 1.531286483085756
1434.37/1430.49	c cleaning 502 clauses out of 1016 for limit 2.5252962624491753
1434.47/1430.53	c cleaning 502 clauses out of 1014 for limit 4.1727654701248476
1434.47/1430.58	c cleaning 494 clauses out of 1013 for limit 6.895136757263545
1434.57/1430.63	c cleaning 505 clauses out of 1020 for limit 11.304270903922923
1434.57/1430.68	c cleaning 502 clauses out of 1014 for limit 18.73381161575355
1434.67/1430.73	c cleaning 501 clauses out of 1012 for limit 30.955617964547947
1434.67/1430.78	c cleaning 496 clauses out of 1012 for limit 51.101056248270645
1434.77/1430.82	c cleaning 498 clauses out of 1014 for limit 83.9381316114205
1434.77/1430.87	c cleaning 497 clauses out of 1016 for limit 138.15271750251785
1434.87/1430.92	c cleaning 499 clauses out of 1021 for limit 227.1706959135632
1434.87/1430.97	c cleaning 507 clauses out of 1020 for limit 374.252527687808
1434.97/1431.01	c cleaning 495 clauses out of 1013 for limit 621.4573884105768
1434.97/1431.05	c cleaning 501 clauses out of 1019 for limit 1019.8516803245888
1434.97/1431.10	c cleaning 501 clauses out of 1017 for limit 1683.4941907394505
1435.07/1431.15	c cleaning 501 clauses out of 1016 for limit 2779.0397201151177
1435.07/1431.19	c cleaning 498 clauses out of 1015 for limit 4587.5235508377655
1435.17/1431.24	c cleaning 497 clauses out of 1017 for limit 7550.56208839844
1435.17/1431.29	c cleaning 504 clauses out of 1022 for limit 12415.786925727998
1435.27/1431.34	c cleaning 499 clauses out of 1016 for limit 20555.03885778774
1435.27/1431.38	c cleaning 499 clauses out of 1019 for limit 33865.90896525094
1435.37/1431.43	c cleaning 498 clauses out of 1018 for limit 55792.52363583493
1435.37/1431.48	c cleaning 500 clauses out of 1020 for limit 91828.92480446577
1435.47/1431.53	c cleaning 502 clauses out of 1021 for limit 151441.29956545198
1435.47/1431.58	c cleaning 502 clauses out of 1018 for limit 250232.47249565733
1435.57/1431.63	c cleaning 501 clauses out of 1016 for limit 413479.1589116611
1435.57/1431.68	c cleaning 502 clauses out of 1016 for limit 682565.0123099078
1435.67/1431.73	c cleaning 498 clauses out of 1013 for limit 1127845.62903718
1435.67/1431.78	c cleaning 501 clauses out of 1016 for limit 1856332.6229450214
1435.77/1431.83	c cleaning 498 clauses out of 1014 for limit 3064311.599588772
1435.77/1431.88	c cleaning 499 clauses out of 1017 for limit 5043596.39943733
1435.87/1431.92	c cleaning 509 clauses out of 1018 for limit 8309394.686676827
1435.87/1431.97	c cleaning 504 clauses out of 1008 for limit 1.382540967107059E7
1435.97/1432.02	c cleaning 499 clauses out of 1005 for limit 2.2890900530813616E7
1435.97/1432.07	c cleaning 502 clauses out of 1005 for limit 3.771240710793282E7
1436.07/1432.12	c cleaning 493 clauses out of 1003 for limit 6.2316817964633E7
1436.07/1432.17	c cleaning 496 clauses out of 1010 for limit 1.0205651062048994E8
1436.17/1432.21	c cleaning 495 clauses out of 1015 for limit 1.676433944070258E8
1436.17/1432.26	c cleaning 499 clauses out of 1020 for limit 2.751111569351904E8
1436.27/1432.30	c cleaning 510 clauses out of 1020 for limit 4.5324140639676094E8
1436.27/1432.34	c cleaning 493 clauses out of 1011 for limit 7.548644856060865E8
1436.27/1432.39	c cleaning 498 clauses out of 1018 for limit 1.2363124935723586E9
1436.37/1432.43	c cleaning 498 clauses out of 1020 for limit 2.0348469581354277E9
1436.37/1432.48	c cleaning 502 clauses out of 1021 for limit 3.3490956889242964E9
1436.47/1432.52	c cleaning 501 clauses out of 1020 for limit 5.534055691345907E9
1436.47/1432.57	c cleaning 509 clauses out of 1019 for limit 9.135354397556229E9
1436.57/1432.62	c cleaning 504 clauses out of 1009 for limit 1.5199517196771109E10
1436.57/1432.66	c cleaning 497 clauses out of 1006 for limit 2.5165952779241016E10
1436.67/1432.71	c cleaning 504 clauses out of 1008 for limit 4.1378257813127464E10
1436.67/1432.75	c cleaning 494 clauses out of 1004 for limit 6.8510148285944984E10
1436.67/1432.79	c cleaning 501 clauses out of 1010 for limit 1.1231121707502913E11
1436.77/1432.84	c cleaning 498 clauses out of 1010 for limit 1.8540162330584616E11
1436.77/1432.88	c cleaning 505 clauses out of 1011 for limit 3.0514420436273694E11
1436.87/1432.93	c cleaning 503 clauses out of 1007 for limit 5.057282448431527E11
1436.87/1432.98	c cleaning 502 clauses out of 1004 for limit 8.365056031639246E11
1436.97/1433.02	c cleaning 501 clauses out of 1002 for limit 1.3822631576009673E12
1436.97/1433.07	c cleaning 491 clauses out of 1000 for limit 2.281811840529958E12
1437.07/1433.11	c cleaning 498 clauses out of 1010 for limit 3.7294849110107075E12
1437.07/1433.16	c cleaning 506 clauses out of 1012 for limit 6.138264560494289E12
1437.07/1433.20	c cleaning 502 clauses out of 1005 for limit 1.0183133295932633E13
1437.17/1433.24	c cleaning 501 clauses out of 1003 for limit 1.6826835319635232E13
1437.17/1433.29	c cleaning 491 clauses out of 1002 for limit 2.7777396809702633E13
1437.27/1433.34	c cleaning 495 clauses out of 1012 for limit 4.540139014461964E13
1437.27/1433.39	c cleaning 498 clauses out of 1016 for limit 7.450361239036595E13
1437.37/1433.45	c cleaning 498 clauses out of 1019 for limit 1.2262732460292545E14
1437.37/1433.49	c cleaning 505 clauses out of 1021 for limit 2.0183272424912853E14
1437.47/1433.53	c cleaning 508 clauses out of 1016 for limit 3.3448720020501856E14
1437.47/1433.58	c cleaning 503 clauses out of 1007 for limit 5.559876130183233E14
1437.57/1433.62	c cleaning 496 clauses out of 1005 for limit 9.196422673691745E14
1437.57/1433.67	c cleaning 497 clauses out of 1009 for limit 1.5106007850004092E15
1437.67/1433.72	c cleaning 501 clauses out of 1012 for limit 2.4837978498364245E15
1437.67/1433.77	c cleaning 497 clauses out of 1010 for limit 4.1001218235374355E15
1437.77/1433.82	c cleaning 497 clauses out of 1013 for limit 6.74162476348728E15
1437.77/1433.86	c cleaning 501 clauses out of 1017 for limit 1.1085198323092552E16
1437.87/1433.91	c cleaning 502 clauses out of 1015 for limit 1.8298679615056904E16
1437.87/1433.95	c cleaning 507 clauses out of 1014 for limit 3.023696793279868E16
1437.87/1433.99	c cleaning 503 clauses out of 1006 for limit 5.02110830119976E16
1437.97/1434.04	c cleaning 490 clauses out of 1003 for limit 8.305246437021657E-4
1437.97/1434.08	c cleaning 497 clauses out of 1013 for limit 0.0013561255496477198
1438.07/1434.12	c cleaning 502 clauses out of 1016 for limit 0.002229828811473616
1438.07/1434.16	c cleaning 500 clauses out of 1015 for limit 0.0036845935467113198
1438.17/1434.20	c cleaning 497 clauses out of 1015 for limit 0.006076387674633016
1438.17/1434.25	c cleaning 498 clauses out of 1017 for limit 0.009991068549329834
1438.17/1434.29	c cleaning 503 clauses out of 1022 for limit 0.016445285525037996
1438.27/1434.34	c cleaning 499 clauses out of 1017 for limit 0.027199331145279493
1438.27/1434.38	c cleaning 498 clauses out of 1017 for limit 0.044810480384268186
1438.37/1434.42	c cleaning 498 clauses out of 1019 for limit 0.073753435621146
1438.37/1434.46	c cleaning 502 clauses out of 1022 for limit 0.12139364242267464
1438.47/1434.51	c cleaning 499 clauses out of 1019 for limit 0.20058295712298654
1438.47/1434.57	c cleaning 501 clauses out of 1020 for limit 0.33046382771569505
1438.57/1434.61	c cleaning 502 clauses out of 1019 for limit 0.5455138780906675
1438.57/1434.66	c cleaning 499 clauses out of 1017 for limit 0.9013945372667045
1438.67/1434.71	c cleaning 504 clauses out of 1019 for limit 1.4850876601711374
1438.67/1434.76	c cleaning 497 clauses out of 1014 for limit 2.4587235089294643
1438.77/1434.80	c cleaning 503 clauses out of 1017 for limit 4.0428030326531434
1438.77/1434.85	c cleaning 502 clauses out of 1014 for limit 6.686848253445654
1438.77/1434.89	c cleaning 498 clauses out of 1013 for limit 11.049442752697317
1438.87/1434.94	c cleaning 499 clauses out of 1014 for limit 18.18583480501956
1438.87/1434.98	c cleaning 498 clauses out of 1015 for limit 29.961326791374383
1439.03/1435.03	c cleaning 497 clauses out of 1018 for limit 49.313940240898255
1439.03/1435.07	c cleaning 502 clauses out of 1020 for limit 81.08465739265316
1439.19/1435.11	c cleaning 502 clauses out of 1019 for limit 133.984658160538
1439.19/1435.16	c cleaning 497 clauses out of 1017 for limit 221.39315569049978
1439.29/1435.21	c cleaning 505 clauses out of 1020 for limit 364.0330872648894
1439.29/1435.25	c cleaning 496 clauses out of 1015 for limit 603.2965966329539
1439.39/1435.30	c cleaning 497 clauses out of 1018 for limit 990.9928357627764
1439.39/1435.35	c cleaning 500 clauses out of 1021 for limit 1629.477761490081
1439.50/1435.40	c cleaning 498 clauses out of 1021 for limit 2687.226816332121
1439.50/1435.45	c cleaning 499 clauses out of 1024 for limit 4423.036354354929
1439.50/1435.49	c cleaning 503 clauses out of 1025 for limit 7287.062379693604
1439.60/1435.53	c cleaning 508 clauses out of 1022 for limit 12052.616661082391
1439.60/1435.57	c cleaning 500 clauses out of 1013 for limit 20032.91597844718
1439.69/1435.61	c cleaning 498 clauses out of 1013 for limit 33036.958404012694
1439.69/1435.66	c cleaning 501 clauses out of 1017 for limit 54376.77660575355
1439.79/1435.70	c cleaning 500 clauses out of 1014 for limit 89760.09858633818
1439.79/1435.74	c cleaning 503 clauses out of 1014 for limit 148026.41046003095
1439.79/1435.78	c cleaning 501 clauses out of 1012 for limit 244842.63751502894
1439.89/1435.82	c cleaning 498 clauses out of 1011 for limit 404177.64875274035
1439.89/1435.86	c cleaning 499 clauses out of 1013 for limit 665227.0344043423
1439.99/1435.91	c cleaning 500 clauses out of 1013 for limit 1095951.32384107
1439.99/1435.95	c cleaning 499 clauses out of 1013 for limit 1807370.3467590048
1440.09/1436.00	c cleaning 502 clauses out of 1014 for limit 2977656.044203317
1440.09/1436.06	c cleaning 506 clauses out of 1013 for limit 4920321.016809977
1440.19/1436.11	c cleaning 503 clauses out of 1007 for limit 8162614.760775031
1440.19/1436.15	c cleaning 502 clauses out of 1004 for limit 1.3501466555372115E7
1440.29/1436.20	c cleaning 500 clauses out of 1001 for limit 2.2310122531891275E7
1440.29/1436.24	c cleaning 500 clauses out of 1001 for limit 3.679237664988451E7
1642.77/1637.04	Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
1651.57/1645.83	c starts		: 27
1651.57/1645.83	c conflicts		: 6618351
1651.57/1645.83	c decisions		: 10088798
1651.57/1645.83	c propagations		: 363609888
1651.57/1645.83	c inspects		: 1166385310
1651.57/1645.83	c learnt literals	: 0
1651.57/1645.83	c learnt binary clauses	: 0
1651.57/1645.83	c learnt ternary clauses	: 0
1651.57/1645.83	c learnt clauses	: 6618350
1651.57/1645.83	c root simplifications	: 0
1651.57/1645.83	c removed literals (reason simplification)	: 0
1651.57/1645.83	c reason swapping (by a shorter reason)	: 0
1651.57/1645.83	c Calls to reduceDB	: 692
1651.57/1645.83	c speed (decisions/second)	: 6131.1629631205205
1653.86/1648.17	c non guided choices	3725
1653.86/1648.17	s SATISFIABLE
1663.17/1657.50	Exception in thread "Thread-0" java.lang.OutOfMemoryError: GC overhead limit exceeded
1663.27/1657.50		at java.lang.Integer.toString(Integer.java:308)
1663.27/1657.50		at java.lang.Integer.toString(Integer.java:118)
1663.27/1657.50		at java.lang.String.valueOf(String.java:2931)

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3734574-1338701021/watcher-3734574-1338701021 -o /tmp/evaluation-result-3734574-1338701021/solver-3734574-1338701021 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3734574-1338701021.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.03 2.01 2.00 2/194 19906
/proc/meminfo: memFree=27537452/32873844 swapFree=7108/7108
[pid=19906] ppid=19904 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/19906/stat : 19906 (java) R 19904 19906 15746 0 -1 4202496 984 0 0 0 0 0 0 0 20 0 1 0 336226629 23793664 711 33554432000 1073741824 1073778376 140734314214192 140734314203256 248780994640 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19906/statm: 5809 711 525 9 0 128 0

[startup+0.080649 s]
/proc/loadavg: 2.03 2.01 2.00 2/194 19906
/proc/meminfo: memFree=27537452/32873844 swapFree=7108/7108
[pid=19906] ppid=19904 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/19906/stat : 19906 (java) S 19904 19906 15746 0 -1 4202496 4412 0 1 0 7 0 0 0 20 0 18 0 336226629 3028844544 6130 33554432000 1073741824 1073778376 140734314214192 140734314205328 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19906/statm: 739464 6130 1952 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856

[startup+0.10027 s]
/proc/loadavg: 2.03 2.01 2.00 2/194 19906
/proc/meminfo: memFree=27537452/32873844 swapFree=7108/7108
[pid=19906] ppid=19904 vsize=2957856 CPUtime=0.1 cores=0,2,4,6
/proc/19906/stat : 19906 (java) S 19904 19906 15746 0 -1 4202496 4913 0 1 0 10 0 0 0 20 0 18 0 336226629 3028844544 7140 33554432000 1073741824 1073778376 140734314214192 140734314205328 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19906/statm: 739464 7140 2130 9 0 729885 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856

[startup+0.300162 s]
/proc/loadavg: 2.03 2.01 2.00 2/194 19906
/proc/meminfo: memFree=27537452/32873844 swapFree=7108/7108
[pid=19906] ppid=19904 vsize=3024420 CPUtime=0.54 cores=0,2,4,6
/proc/19906/stat : 19906 (java) S 19904 19906 15746 0 -1 4202496 7529 0 1 0 53 1 0 0 20 0 18 0 336226629 3097006080 10737 33554432000 1073741824 1073778376 140734314214192 140734314205328 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19906/statm: 756105 10737 2254 9 0 746526 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 3024420

[startup+0.700104 s]
/proc/loadavg: 2.03 2.01 2.00 2/194 19906
/proc/meminfo: memFree=27537452/32873844 swapFree=7108/7108
[pid=19906] ppid=19904 vsize=3024420 CPUtime=1.23 cores=0,2,4,6
/proc/19906/stat : 19906 (java) S 19904 19906 15746 0 -1 4202496 9300 0 1 0 122 1 0 0 20 0 19 0 336226629 3097006080 11755 33554432000 1073741824 1073778376 140734314214192 140734314205328 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19906/statm: 756105 11755 2264 9 0 746526 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 3024420

[startup+1.50068 s]
/proc/loadavg: 2.03 2.01 2.00 3/213 19926
/proc/meminfo: memFree=27494852/32873844 swapFree=7108/7108
[pid=19906] ppid=19904 vsize=3024420 CPUtime=2.1 cores=0,2,4,6
/proc/19906/stat : 19906 (java) S 19904 19906 15746 0 -1 4202496 9319 0 1 0 209 1 0 0 20 0 19 0 336226629 3097006080 13815 33554432000 1073741824 1073778376 140734314214192 140734314205328 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19906/statm: 756105 13815 2267 9 0 746526 0
[pid=19906/tid=19908] ppid=19904 vsize=3024420 CPUtime=1.47 cores=0,2,4,6
/proc/19906/task/19908/stat : 19908 (java) R 19904 19906 15746 0 -1 4202560 3067 0 1 0 147 0 0 0 20 0 19 0 336226630 3097006080 13815 33554432000 1073741824 1073778376 140734314214192 139754456404408 139754293801530 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19906/tid=19909] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19909/stat : 19909 (java) S 19904 19906 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336226631 3097006080 13815 33554432000 1073741824 1073778376 140734314214192 139754439830312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=19910] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19910/stat : 19910 (java) S 19904 19906 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336226631 3097006080 13815 33554432000 1073741824 1073778376 140734314214192 139754438777512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19906/tid=19911] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19911/stat : 19911 (java) S 19904 19906 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336226631 3097006080 13815 33554432000 1073741824 1073778376 140734314214192 139754437725224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19906/tid=19912] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19912/stat : 19912 (java) S 19904 19906 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336226631 3097006080 13815 33554432000 1073741824 1073778376 140734314214192 139754436672424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19906/tid=19913] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19913/stat : 19913 (java) S 19904 19906 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336226631 3097006080 13815 33554432000 1073741824 1073778376 140734314214192 139754435619112 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=19914] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19914/stat : 19914 (java) S 19904 19906 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336226631 3097006080 13815 33554432000 1073741824 1073778376 140734314214192 139754434566312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19906/tid=19915] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19915/stat : 19915 (java) S 19904 19906 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336226631 3097006080 13815 33554432000 1073741824 1073778376 140734314214192 139754433514024 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=19916] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19916/stat : 19916 (java) S 19904 19906 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336226631 3097006080 13815 33554432000 1073741824 1073778376 140734314214192 139754432461224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=19917] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19917/stat : 19917 (java) S 19904 19906 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336226632 3097006080 13815 33554432000 1073741824 1073778376 140734314214192 139754420050664 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19906/tid=19918] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19918/stat : 19918 (java) S 19904 19906 15746 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336226632 3097006080 13815 33554432000 1073741824 1073778376 140734314214192 139754418996728 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=19919] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19919/stat : 19919 (java) S 19904 19906 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336226632 3097006080 13815 33554432000 1073741824 1073778376 140734314214192 139754417944328 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=19920] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19920/stat : 19920 (java) S 19904 19906 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336226634 3097006080 13815 33554432000 1073741824 1073778376 140734314214192 139754416892816 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=19921] ppid=19904 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/19906/task/19921/stat : 19921 (java) S 19904 19906 15746 0 -1 4202560 2152 0 0 0 29 0 0 0 20 0 19 0 336226634 3097006080 13815 33554432000 1073741824 1073778376 140734314214192 139754415839416 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=19922] ppid=19904 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/19906/task/19922/stat : 19922 (java) S 19904 19906 15746 0 -1 4202560 2896 0 0 0 30 0 0 0 20 0 19 0 336226634 3097006080 13815 33554432000 1073741824 1073778376 140734314214192 139754414786616 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19906/tid=19923] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19923/stat : 19923 (java) S 19904 19906 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336226634 3097006080 13815 33554432000 1073741824 1073778376 140734314214192 139754413734520 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19906/tid=19924] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19924/stat : 19924 (java) S 19904 19906 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336226634 3097006080 13815 33554432000 1073741824 1073778376 140734314214192 139754412681928 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19906/tid=19926] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19926/stat : 19926 (java) S 19904 19906 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336226663 3097006080 13815 33554432000 1073741824 1073778376 140734314214192 139754292081960 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 3024420

[startup+3.10066 s]
/proc/loadavg: 1.95 1.99 1.99 3/213 19926
/proc/meminfo: memFree=27484736/32873844 swapFree=7108/7108
[pid=19906] ppid=19904 vsize=3024420 CPUtime=3.71 cores=0,2,4,6
/proc/19906/stat : 19906 (java) S 19904 19906 15746 0 -1 4202496 9328 0 1 0 369 2 0 0 20 0 19 0 336226629 3097006080 17911 33554432000 1073741824 1073778376 140734314214192 140734314205328 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19906/statm: 756105 17911 2267 9 0 746526 0
[pid=19906/tid=19908] ppid=19904 vsize=3024420 CPUtime=3.06 cores=0,2,4,6
/proc/19906/task/19908/stat : 19908 (java) R 19904 19906 15746 0 -1 4202560 3076 0 1 0 305 1 0 0 20 0 19 0 336226630 3097006080 17911 33554432000 1073741824 1073778376 140734314214192 139754456404496 139754293792868 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19906/tid=19909] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19909/stat : 19909 (java) S 19904 19906 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336226631 3097006080 17911 33554432000 1073741824 1073778376 140734314214192 139754439830312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=19910] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19910/stat : 19910 (java) S 19904 19906 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336226631 3097006080 17911 33554432000 1073741824 1073778376 140734314214192 139754438777512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19906/tid=19911] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19911/stat : 19911 (java) S 19904 19906 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336226631 3097006080 17911 33554432000 1073741824 1073778376 140734314214192 139754437725224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19906/tid=19912] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19912/stat : 19912 (java) S 19904 19906 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336226631 3097006080 17911 33554432000 1073741824 1073778376 140734314214192 139754436672424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19906/tid=19913] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19913/stat : 19913 (java) S 19904 19906 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336226631 3097006080 17911 33554432000 1073741824 1073778376 140734314214192 139754435619112 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=19914] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19914/stat : 19914 (java) S 19904 19906 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336226631 3097006080 17911 33554432000 1073741824 1073778376 140734314214192 139754434566312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19906/tid=19915] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19915/stat : 19915 (java) S 19904 19906 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336226631 3097006080 17911 33554432000 1073741824 1073778376 140734314214192 139754433514024 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=19916] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19916/stat : 19916 (java) S 19904 19906 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336226631 3097006080 17911 33554432000 1073741824 1073778376 140734314214192 139754432461224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=19917] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19917/stat : 19917 (java) S 19904 19906 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336226632 3097006080 17911 33554432000 1073741824 1073778376 140734314214192 139754420050664 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19906/tid=19918] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19918/stat : 19918 (java) S 19904 19906 15746 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336226632 3097006080 17911 33554432000 1073741824 1073778376 140734314214192 139754418996728 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=19919] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19919/stat : 19919 (java) S 19904 19906 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336226632 3097006080 17911 33554432000 1073741824 1073778376 140734314214192 139754417944328 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=19920] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19920/stat : 19920 (java) S 19904 19906 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336226634 3097006080 17911 33554432000 1073741824 1073778376 140734314214192 139754416892816 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=19921] ppid=19904 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/19906/task/19921/stat : 19921 (java) S 19904 19906 15746 0 -1 4202560 2152 0 0 0 29 0 0 0 20 0 19 0 336226634 3097006080 17911 33554432000 1073741824 1073778376 140734314214192 139754415839416 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=19922] ppid=19904 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/19906/task/19922/stat : 19922 (java) S 19904 19906 15746 0 -1 4202560 2896 0 0 0 30 0 0 0 20 0 19 0 336226634 3097006080 17911 33554432000 1073741824 1073778376 140734314214192 139754414786616 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19906/tid=19923] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19923/stat : 19923 (java) S 19904 19906 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336226634 3097006080 17911 33554432000 1073741824 1073778376 140734314214192 139754413734520 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19906/tid=19924] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19924/stat : 19924 (java) S 19904 19906 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336226634 3097006080 17911 33554432000 1073741824 1073778376 140734314214192 139754412681928 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19906/tid=19926] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19926/stat : 19926 (java) S 19904 19906 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336226663 3097006080 17911 33554432000 1073741824 1073778376 140734314214192 139754292081960 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.71
Current children cumulated vsize (KiB) 3024420

[startup+6.30075 s]
/proc/loadavg: 1.95 1.99 1.99 3/213 19926
/proc/meminfo: memFree=27452216/32873844 swapFree=7108/7108
[pid=19906] ppid=19904 vsize=3024420 CPUtime=6.91 cores=0,2,4,6
/proc/19906/stat : 19906 (java) S 19904 19906 15746 0 -1 4202496 9345 0 1 0 689 2 0 0 20 0 19 0 336226629 3097006080 25375 33554432000 1073741824 1073778376 140734314214192 140734314205328 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19906/statm: 756105 25375 2268 9 0 746526 0
[pid=19906/tid=19908] ppid=19904 vsize=3024420 CPUtime=6.26 cores=0,2,4,6
/proc/19906/task/19908/stat : 19908 (java) R 19904 19906 15746 0 -1 4202560 3092 0 1 0 625 1 0 0 20 0 19 0 336226630 3097006080 25375 33554432000 1073741824 1073778376 140734314214192 139754456404392 139754293750674 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19906/tid=19909] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19909/stat : 19909 (java) S 19904 19906 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336226631 3097006080 25375 33554432000 1073741824 1073778376 140734314214192 139754439830312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=19910] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19910/stat : 19910 (java) S 19904 19906 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336226631 3097006080 25375 33554432000 1073741824 1073778376 140734314214192 139754438777512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19906/tid=19911] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19911/stat : 19911 (java) S 19904 19906 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336226631 3097006080 25375 33554432000 1073741824 1073778376 140734314214192 139754437725224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19906/tid=19912] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19912/stat : 19912 (java) S 19904 19906 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336226631 3097006080 25375 33554432000 1073741824 1073778376 140734314214192 139754436672424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19906/tid=19913] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19913/stat : 19913 (java) S 19904 19906 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336226631 3097006080 25375 33554432000 1073741824 1073778376 140734314214192 139754435619112 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=19914] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19914/stat : 19914 (java) S 19904 19906 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336226631 3097006080 25375 33554432000 1073741824 1073778376 140734314214192 139754434566312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19906/tid=19915] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19915/stat : 19915 (java) S 19904 19906 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336226631 3097006080 25375 33554432000 1073741824 1073778376 140734314214192 139754433514024 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=19916] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19916/stat : 19916 (java) S 19904 19906 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336226631 3097006080 25375 33554432000 1073741824 1073778376 140734314214192 139754432461224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=19917] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19917/stat : 19917 (java) S 19904 19906 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336226632 3097006080 25375 33554432000 1073741824 1073778376 140734314214192 139754420050664 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19906/tid=19918] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19918/stat : 19918 (java) S 19904 19906 15746 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336226632 3097006080 25375 33554432000 1073741824 1073778376 140734314214192 139754418996728 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=19919] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19919/stat : 19919 (java) S 19904 19906 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336226632 3097006080 25375 33554432000 1073741824 1073778376 140734314214192 139754417944328 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=19920] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19920/stat : 19920 (java) S 19904 19906 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336226634 3097006080 25375 33554432000 1073741824 1073778376 140734314214192 139754416892816 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=19921] ppid=19904 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/19906/task/19921/stat : 19921 (java) S 19904 19906 15746 0 -1 4202560 2152 0 0 0 29 0 0 0 20 0 19 0 336226634 3097006080 25375 33554432000 1073741824 1073778376 140734314214192 139754415839416 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=19922] ppid=19904 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/19906/task/19922/stat : 19922 (java) S 19904 19906 15746 0 -1 4202560 2896 0 0 0 30 0 0 0 20 0 19 0 336226634 3097006080 25375 33554432000 1073741824 1073778376 140734314214192 139754414786616 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19906/tid=19923] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19923/stat : 19923 (java) S 19904 19906 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336226634 3097006080 25375 33554432000 1073741824 1073778376 140734314214192 139754413734520 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19906/tid=19924] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19924/stat : 19924 (java) S 19904 19906 15746 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336226634 3097006080 25375 33554432000 1073741824 1073778376 140734314214192 139754412681928 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19906/tid=19926] ppid=19904 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19926/stat : 19926 (java) S 19904 19906 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336226663 3097006080 25375 33554432000 1073741824 1073778376 140734314214192 139754292081960 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.91
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]

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

/proc/19906/task/19920/stat : 19920 (java) S 19904 19906 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336226634 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754416892816 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=19921] ppid=19904 vsize=3090984 CPUtime=0.49 cores=0,2,4,6
/proc/19906/task/19921/stat : 19921 (java) S 19904 19906 15746 0 -1 4202560 6997 0 0 0 48 1 0 0 20 0 20 0 336226634 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754415839416 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=19922] ppid=19904 vsize=3090984 CPUtime=0.35 cores=0,2,4,6
/proc/19906/task/19922/stat : 19922 (java) S 19904 19906 15746 0 -1 4202560 2902 0 0 0 35 0 0 0 20 0 20 0 336226634 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754414786616 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19906/tid=19923] ppid=19904 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19923/stat : 19923 (java) S 19904 19906 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336226634 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754413734520 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19906/tid=19924] ppid=19904 vsize=3090984 CPUtime=0.32 cores=0,2,4,6
/proc/19906/task/19924/stat : 19924 (java) S 19904 19906 15746 0 -1 4202560 96 0 0 0 15 17 0 0 20 0 20 0 336226634 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754412681928 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19906/tid=19926] ppid=19904 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19926/stat : 19926 (java) S 19904 19906 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 336226663 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754292081960 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=20001] ppid=19904 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/19906/task/20001/stat : 20001 (java) R 19904 19906 15746 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 20 0 336391056 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754291028120 248793588909 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1663.27
Current children cumulated vsize (KiB) 3090984

[startup+1658.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 20001
/proc/meminfo: memFree=25710496/32873844 swapFree=7108/7108
[pid=19906] ppid=19904 vsize=3090984 CPUtime=1664.07 cores=0,2,4,6
/proc/19906/stat : 19906 (java) S 19904 19906 15746 0 -1 4202496 19064 0 1 0 166269 138 0 0 20 0 20 0 336226629 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 140734314205328 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19906/statm: 772746 420150 2297 9 0 763167 0
[pid=19906/tid=19908] ppid=19904 vsize=3090984 CPUtime=1617.09 cores=0,2,4,6
/proc/19906/task/19908/stat : 19908 (java) S 19904 19906 15746 0 -1 4202560 3299 0 1 0 161677 32 0 0 20 0 20 0 336226630 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754456405176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19906/tid=19909] ppid=19904 vsize=3090984 CPUtime=0.95 cores=0,2,4,6
/proc/19906/task/19909/stat : 19909 (java) S 19904 19906 15746 0 -1 4202560 739 0 0 0 85 10 0 0 20 0 20 0 336226631 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754439830312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=19910] ppid=19904 vsize=3090984 CPUtime=0.82 cores=0,2,4,6
/proc/19906/task/19910/stat : 19910 (java) S 19904 19906 15746 0 -1 4202560 851 0 0 0 71 11 0 0 20 0 20 0 336226631 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754438777512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19906/tid=19911] ppid=19904 vsize=3090984 CPUtime=0.75 cores=0,2,4,6
/proc/19906/task/19911/stat : 19911 (java) S 19904 19906 15746 0 -1 4202560 359 0 0 0 62 13 0 0 20 0 20 0 336226631 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754437725224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19906/tid=19912] ppid=19904 vsize=3090984 CPUtime=0.96 cores=0,2,4,6
/proc/19906/task/19912/stat : 19912 (java) S 19904 19906 15746 0 -1 4202560 657 0 0 0 78 18 0 0 20 0 20 0 336226631 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754436672424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19906/tid=19913] ppid=19904 vsize=3090984 CPUtime=0.81 cores=0,2,4,6
/proc/19906/task/19913/stat : 19913 (java) S 19904 19906 15746 0 -1 4202560 551 0 0 0 61 20 0 0 20 0 20 0 336226631 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754435619112 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19906/tid=19914] ppid=19904 vsize=3090984 CPUtime=0.76 cores=0,2,4,6
/proc/19906/task/19914/stat : 19914 (java) S 19904 19906 15746 0 -1 4202560 451 0 0 0 64 12 0 0 20 0 20 0 336226631 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754434566312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19906/tid=19915] ppid=19904 vsize=3090984 CPUtime=0.66 cores=0,2,4,6
/proc/19906/task/19915/stat : 19915 (java) S 19904 19906 15746 0 -1 4202560 370 0 0 0 54 12 0 0 20 0 20 0 336226631 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754433514024 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19906/tid=19916] ppid=19904 vsize=3090984 CPUtime=0.88 cores=0,2,4,6
/proc/19906/task/19916/stat : 19916 (java) S 19904 19906 15746 0 -1 4202560 330 0 0 0 76 12 0 0 20 0 20 0 336226631 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754432461224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19906/tid=19917] ppid=19904 vsize=3090984 CPUtime=35.11 cores=0,2,4,6
/proc/19906/task/19917/stat : 19917 (java) R 19904 19906 15746 0 -1 4202560 236 0 0 0 3505 6 0 0 20 0 20 0 336226632 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754420050664 139754462530672 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19906/tid=19918] ppid=19904 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19918/stat : 19918 (java) S 19904 19906 15746 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 336226632 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754418996728 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=19919] ppid=19904 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19919/stat : 19919 (java) S 19904 19906 15746 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 20 0 336226632 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754417944328 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=19920] ppid=19904 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19920/stat : 19920 (java) S 19904 19906 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336226634 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754416892816 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=19921] ppid=19904 vsize=3090984 CPUtime=0.49 cores=0,2,4,6
/proc/19906/task/19921/stat : 19921 (java) S 19904 19906 15746 0 -1 4202560 6997 0 0 0 48 1 0 0 20 0 20 0 336226634 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754415839416 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=19922] ppid=19904 vsize=3090984 CPUtime=0.35 cores=0,2,4,6
/proc/19906/task/19922/stat : 19922 (java) S 19904 19906 15746 0 -1 4202560 2902 0 0 0 35 0 0 0 20 0 20 0 336226634 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754414786616 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19906/tid=19923] ppid=19904 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19923/stat : 19923 (java) S 19904 19906 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336226634 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754413734520 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19906/tid=19924] ppid=19904 vsize=3090984 CPUtime=0.32 cores=0,2,4,6
/proc/19906/task/19924/stat : 19924 (java) S 19904 19906 15746 0 -1 4202560 96 0 0 0 15 17 0 0 20 0 20 0 336226634 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754412681928 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19906/tid=19926] ppid=19904 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19926/stat : 19926 (java) S 19904 19906 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 336226663 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754292081960 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=20001] ppid=19904 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/19906/task/20001/stat : 20001 (java) S 19904 19906 15746 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 20 0 336391056 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754291028600 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1664.07
Current children cumulated vsize (KiB) 3090984

[startup+1658.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 20001
/proc/meminfo: memFree=25710496/32873844 swapFree=7108/7108
[pid=19906] ppid=19904 vsize=3090984 CPUtime=1664.27 cores=0,2,4,6
/proc/19906/stat : 19906 (java) S 19904 19906 15746 0 -1 4202496 19064 0 1 0 166289 138 0 0 20 0 20 0 336226629 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 140734314205328 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19906/statm: 772746 420150 2297 9 0 763167 0
[pid=19906/tid=19908] ppid=19904 vsize=3090984 CPUtime=1617.09 cores=0,2,4,6
/proc/19906/task/19908/stat : 19908 (java) S 19904 19906 15746 0 -1 4202560 3299 0 1 0 161677 32 0 0 20 0 20 0 336226630 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754456405176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19906/tid=19909] ppid=19904 vsize=3090984 CPUtime=0.95 cores=0,2,4,6
/proc/19906/task/19909/stat : 19909 (java) S 19904 19906 15746 0 -1 4202560 739 0 0 0 85 10 0 0 20 0 20 0 336226631 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754439830312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=19910] ppid=19904 vsize=3090984 CPUtime=0.82 cores=0,2,4,6
/proc/19906/task/19910/stat : 19910 (java) S 19904 19906 15746 0 -1 4202560 851 0 0 0 71 11 0 0 20 0 20 0 336226631 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754438777512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19906/tid=19911] ppid=19904 vsize=3090984 CPUtime=0.75 cores=0,2,4,6
/proc/19906/task/19911/stat : 19911 (java) S 19904 19906 15746 0 -1 4202560 359 0 0 0 62 13 0 0 20 0 20 0 336226631 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754437725224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19906/tid=19912] ppid=19904 vsize=3090984 CPUtime=0.96 cores=0,2,4,6
/proc/19906/task/19912/stat : 19912 (java) S 19904 19906 15746 0 -1 4202560 657 0 0 0 78 18 0 0 20 0 20 0 336226631 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754436672424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19906/tid=19913] ppid=19904 vsize=3090984 CPUtime=0.81 cores=0,2,4,6
/proc/19906/task/19913/stat : 19913 (java) S 19904 19906 15746 0 -1 4202560 551 0 0 0 61 20 0 0 20 0 20 0 336226631 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754435619112 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19906/tid=19914] ppid=19904 vsize=3090984 CPUtime=0.76 cores=0,2,4,6
/proc/19906/task/19914/stat : 19914 (java) S 19904 19906 15746 0 -1 4202560 451 0 0 0 64 12 0 0 20 0 20 0 336226631 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754434566312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19906/tid=19915] ppid=19904 vsize=3090984 CPUtime=0.66 cores=0,2,4,6
/proc/19906/task/19915/stat : 19915 (java) S 19904 19906 15746 0 -1 4202560 370 0 0 0 54 12 0 0 20 0 20 0 336226631 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754433514024 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19906/tid=19916] ppid=19904 vsize=3090984 CPUtime=0.88 cores=0,2,4,6
/proc/19906/task/19916/stat : 19916 (java) S 19904 19906 15746 0 -1 4202560 330 0 0 0 76 12 0 0 20 0 20 0 336226631 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754432461224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19906/tid=19917] ppid=19904 vsize=3090984 CPUtime=35.31 cores=0,2,4,6
/proc/19906/task/19917/stat : 19917 (java) R 19904 19906 15746 0 -1 4202560 236 0 0 0 3525 6 0 0 20 0 20 0 336226632 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754420050824 139754462912547 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19906/tid=19918] ppid=19904 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19918/stat : 19918 (java) S 19904 19906 15746 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 336226632 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754418996728 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=19919] ppid=19904 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19919/stat : 19919 (java) S 19904 19906 15746 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 20 0 336226632 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754417944328 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=19920] ppid=19904 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19920/stat : 19920 (java) S 19904 19906 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336226634 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754416892816 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=19921] ppid=19904 vsize=3090984 CPUtime=0.49 cores=0,2,4,6
/proc/19906/task/19921/stat : 19921 (java) S 19904 19906 15746 0 -1 4202560 6997 0 0 0 48 1 0 0 20 0 20 0 336226634 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754415839416 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=19922] ppid=19904 vsize=3090984 CPUtime=0.35 cores=0,2,4,6
/proc/19906/task/19922/stat : 19922 (java) S 19904 19906 15746 0 -1 4202560 2902 0 0 0 35 0 0 0 20 0 20 0 336226634 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754414786616 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19906/tid=19923] ppid=19904 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19923/stat : 19923 (java) S 19904 19906 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336226634 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754413734520 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19906/tid=19924] ppid=19904 vsize=3090984 CPUtime=0.32 cores=0,2,4,6
/proc/19906/task/19924/stat : 19924 (java) S 19904 19906 15746 0 -1 4202560 96 0 0 0 15 17 0 0 20 0 20 0 336226634 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754412681928 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19906/tid=19926] ppid=19904 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19926/stat : 19926 (java) S 19904 19906 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 336226663 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754292081960 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=20001] ppid=19904 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/19906/task/20001/stat : 20001 (java) S 19904 19906 15746 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 20 0 336391056 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754291028600 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1664.27
Current children cumulated vsize (KiB) 3090984

[startup+1658.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 20001
/proc/meminfo: memFree=25710496/32873844 swapFree=7108/7108
[pid=19906] ppid=19904 vsize=3090984 CPUtime=1664.37 cores=0,2,4,6
/proc/19906/stat : 19906 (java) S 19904 19906 15746 0 -1 4202496 19064 0 1 0 166299 138 0 0 20 0 20 0 336226629 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 140734314205328 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19906/statm: 772746 420150 2297 9 0 763167 0
[pid=19906/tid=19908] ppid=19904 vsize=3090984 CPUtime=1617.09 cores=0,2,4,6
/proc/19906/task/19908/stat : 19908 (java) S 19904 19906 15746 0 -1 4202560 3299 0 1 0 161677 32 0 0 20 0 20 0 336226630 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754456405176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19906/tid=19909] ppid=19904 vsize=3090984 CPUtime=0.95 cores=0,2,4,6
/proc/19906/task/19909/stat : 19909 (java) S 19904 19906 15746 0 -1 4202560 739 0 0 0 85 10 0 0 20 0 20 0 336226631 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754439830312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=19910] ppid=19904 vsize=3090984 CPUtime=0.82 cores=0,2,4,6
/proc/19906/task/19910/stat : 19910 (java) S 19904 19906 15746 0 -1 4202560 851 0 0 0 71 11 0 0 20 0 20 0 336226631 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754438777512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19906/tid=19911] ppid=19904 vsize=3090984 CPUtime=0.75 cores=0,2,4,6
/proc/19906/task/19911/stat : 19911 (java) S 19904 19906 15746 0 -1 4202560 359 0 0 0 62 13 0 0 20 0 20 0 336226631 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754437725224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19906/tid=19912] ppid=19904 vsize=3090984 CPUtime=0.96 cores=0,2,4,6
/proc/19906/task/19912/stat : 19912 (java) S 19904 19906 15746 0 -1 4202560 657 0 0 0 78 18 0 0 20 0 20 0 336226631 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754436672424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19906/tid=19913] ppid=19904 vsize=3090984 CPUtime=0.81 cores=0,2,4,6
/proc/19906/task/19913/stat : 19913 (java) S 19904 19906 15746 0 -1 4202560 551 0 0 0 61 20 0 0 20 0 20 0 336226631 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754435619112 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19906/tid=19914] ppid=19904 vsize=3090984 CPUtime=0.76 cores=0,2,4,6
/proc/19906/task/19914/stat : 19914 (java) S 19904 19906 15746 0 -1 4202560 451 0 0 0 64 12 0 0 20 0 20 0 336226631 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754434566312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19906/tid=19915] ppid=19904 vsize=3090984 CPUtime=0.66 cores=0,2,4,6
/proc/19906/task/19915/stat : 19915 (java) S 19904 19906 15746 0 -1 4202560 370 0 0 0 54 12 0 0 20 0 20 0 336226631 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754433514024 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19906/tid=19916] ppid=19904 vsize=3090984 CPUtime=0.88 cores=0,2,4,6
/proc/19906/task/19916/stat : 19916 (java) S 19904 19906 15746 0 -1 4202560 330 0 0 0 76 12 0 0 20 0 20 0 336226631 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754432461224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19906/tid=19917] ppid=19904 vsize=3090984 CPUtime=35.41 cores=0,2,4,6
/proc/19906/task/19917/stat : 19917 (java) R 19904 19906 15746 0 -1 4202560 236 0 0 0 3535 6 0 0 20 0 20 0 336226632 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754420050824 139754462912584 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19906/tid=19918] ppid=19904 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19918/stat : 19918 (java) S 19904 19906 15746 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 336226632 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754418996728 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=19919] ppid=19904 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19919/stat : 19919 (java) S 19904 19906 15746 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 20 0 336226632 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754417944328 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=19920] ppid=19904 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19920/stat : 19920 (java) S 19904 19906 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336226634 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754416892816 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=19921] ppid=19904 vsize=3090984 CPUtime=0.49 cores=0,2,4,6
/proc/19906/task/19921/stat : 19921 (java) S 19904 19906 15746 0 -1 4202560 6997 0 0 0 48 1 0 0 20 0 20 0 336226634 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754415839416 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=19922] ppid=19904 vsize=3090984 CPUtime=0.35 cores=0,2,4,6
/proc/19906/task/19922/stat : 19922 (java) S 19904 19906 15746 0 -1 4202560 2902 0 0 0 35 0 0 0 20 0 20 0 336226634 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754414786616 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19906/tid=19923] ppid=19904 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19923/stat : 19923 (java) S 19904 19906 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336226634 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754413734520 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19906/tid=19924] ppid=19904 vsize=3090984 CPUtime=0.32 cores=0,2,4,6
/proc/19906/task/19924/stat : 19924 (java) S 19904 19906 15746 0 -1 4202560 96 0 0 0 15 17 0 0 20 0 20 0 336226634 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754412681928 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19906/tid=19926] ppid=19904 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/19906/task/19926/stat : 19926 (java) S 19904 19906 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 336226663 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754292081960 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19906/tid=20001] ppid=19904 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/19906/task/20001/stat : 20001 (java) S 19904 19906 15746 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 20 0 336391056 3165167616 420150 33554432000 1073741824 1073778376 140734314214192 139754291028600 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1664.37
Current children cumulated vsize (KiB) 3090984

Child status: 1

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19906 and gives
#  childrusage.ru_utime.tv_sec=1658
#  childrusage.ru_utime.tv_usec=790825
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=780729
# CPU time returned by wait4() is 1660.57
# while last known CPU time is 1664.37
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1658.67
CPU time (s): 1664.37
CPU user time (s): 1662.99
CPU system time (s): 1.38
CPU usage (%): 100.343
Max. virtual memory (cumulated for all children) (KiB): 3090984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1658.79
system time used= 1.78073
maximum resident set size= 1689112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19069
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35502
involuntary context switches= 18998

runsolver used 6.74997 second user time and 18.1912 second system time

The end

Launcher Data 

Begin job on node139 at 2012-06-03 07:23:41
IDJOB=3734574
IDBENCH=2871
IDSOLVER=2319
FILE ID=node139/3734574-1338701021
RUNJOBID= node139-1338678624-15765
PBS_JOBID= 14636674
Free space on /tmp= 71092 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-lin.rom.r.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734574-1338701021/watcher-3734574-1338701021 -o /tmp/evaluation-result-3734574-1338701021/solver-3734574-1338701021 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3734574-1338701021.opb           

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 3183c84355c854880486b3d148840656
RANDOM SEED=970726395

node139.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.750
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.750
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.750
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.750
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.750
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.750
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.750
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.750
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27537452 kB
Buffers:          498560 kB
Cached:          3290016 kB
SwapCached:          828 kB
Active:          2357388 kB
Inactive:        2102588 kB
Active(anon):     665200 kB
Inactive(anon):     7952 kB
Active(file):    1692188 kB
Inactive(file):  2094636 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67104688 kB
Dirty:              3792 kB
Writeback:             0 kB
AnonPages:        709460 kB
Mapped:            19876 kB
Shmem:                 8 kB
Slab:             733588 kB
SReclaimable:     175112 kB
SUnreclaim:       558476 kB
KernelStack:        1760 kB
PageTables:         5868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1826740 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    673792 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71092 MiB
End job on node139 at 2012-06-03 07:51:19