Trace number 3711080

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
SAT4J PB specific settings 2.3.2 snapshotSAT (TO)550 1800.09 1787.26

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-neos-1109824.opb
MD5SUM6b78caa911ec8d23c05ac6a0b1089c62
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark378
Best CPU time to get the best result obtained on this benchmark84.4462
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1520
Total number of constraints28979
Number of constraints which are clauses28880
Number of constraints which are cardinality constraints (but not clauses)23
Number of constraints which are nor clauses,nor cardinality constraints76
Minimum length of a constraint2
Maximum length of a constraint76
Number of terms in the objective function 1512
Biggest coefficient in the objective function 83
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 54080
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 83
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 54080
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.02/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.02/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.08	c See www.sat4j.org for details.
0.02/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.02/0.08	c version 2.3.2.v20120418
0.02/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.08	c java.vm.version	19.1-b02
0.02/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.08	c sun.arch.data.model	64
0.02/0.08	c java.version		1.6.0_24
0.02/0.08	c os.name		Linux
0.02/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.02/0.08	c os.arch		amd64
0.02/0.08	c Free memory 		501472288
0.02/0.08	c Max memory 		7480803328
0.02/0.08	c Total memory 		504102912
0.02/0.08	c Number of processors 	8
0.09/0.11	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.11	c configuring ORDERS
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=true
0.09/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3711080-1338199693.opb
0.09/0.12	c reading problem ... 
0.72/0.47	c ... done. Wall clock time 0.351s.
0.72/0.47	c declared #vars     1520
0.72/0.47	c #constraints  29078
0.72/0.47	c constraints type 
0.72/0.47	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 27383
0.72/0.47	c org.sat4j.minisat.constraints.card.MinWatchCard => 175
0.72/0.47	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1520
0.72/0.47	c 29078 constraints processed.
0.89/0.55	c SATISFIABLE
0.89/0.55	c OPTIMIZING...
0.89/0.55	c Got one! Elapsed wall clock time (in seconds):0.438
0.89/0.55	o 733
1.66/0.92	c cleaning 2543 clauses out of 5086 with flag 5001/5086
1.97/1.18	c cleaning 4260 clauses out of 8543 with flag 11001/11086
2.10/1.22	c Got one! Elapsed wall clock time (in seconds):1.108
2.10/1.22	o 728
2.21/1.30	c Got one! Elapsed wall clock time (in seconds):1.185
2.21/1.30	o 723
2.21/1.31	c Got one! Elapsed wall clock time (in seconds):1.196
2.21/1.31	o 711
2.43/1.50	c cleaning 5127 clauses out of 10299 with flag 4006/17102
2.74/1.84	c cleaning 5566 clauses out of 11166 with flag 10000/23096
2.89/1.93	c Got one! Elapsed wall clock time (in seconds):1.816
2.89/1.93	o 698
3.13/2.15	c cleaning 5566 clauses out of 11196 with flag 4001/28692
3.13/2.20	c Got one! Elapsed wall clock time (in seconds):2.085
3.13/2.20	o 693
3.33/2.39	c Got one! Elapsed wall clock time (in seconds):2.273
3.33/2.39	o 691
3.43/2.44	c cleaning 5626 clauses out of 11284 with flag 1002/34346
3.64/2.63	c Got one! Elapsed wall clock time (in seconds):2.514
3.64/2.63	o 678
3.81/2.72	c cleaning 5563 clauses out of 11173 with flag 2000/39861
4.22/3.10	c cleaning 5782 clauses out of 11611 with flag 8001/45862
4.52/3.46	c cleaning 6396 clauses out of 12828 with flag 15000/52861
4.82/3.73	c Got one! Elapsed wall clock time (in seconds):3.615
4.82/3.73	o 665
4.82/3.74	c Got one! Elapsed wall clock time (in seconds):3.624
4.82/3.74	o 600
4.93/3.80	c cleaning 6213 clauses out of 12505 with flag 1000/58934
5.24/4.14	c cleaning 6121 clauses out of 12294 with flag 7002/64936
5.64/4.56	c cleaning 6540 clauses out of 13172 with flag 14001/71935
6.15/5.01	c cleaning 7317 clauses out of 14634 with flag 22003/79937
6.67/5.51	c cleaning 8144 clauses out of 16314 with flag 31000/88934
7.27/6.14	c cleaning 9073 clauses out of 18172 with flag 41002/98936
7.88/6.76	c cleaning 10036 clauses out of 20098 with flag 52001/109935
8.50/7.38	c cleaning 11018 clauses out of 22061 with flag 64000/121934
9.32/8.17	c cleaning 12002 clauses out of 24044 with flag 77001/134935
10.26/9.05	c cleaning 12990 clauses out of 26041 with flag 91000/148934
10.58/9.33	c Got one! Elapsed wall clock time (in seconds):9.21
10.58/9.33	o 583
10.58/9.38	c cleaning 9439 clauses out of 18948 with flag 1000/154831
10.98/9.76	c cleaning 7713 clauses out of 15509 with flag 7000/160831
11.41/10.18	c cleaning 7376 clauses out of 14799 with flag 14003/167834
11.83/10.58	c cleaning 7694 clauses out of 15420 with flag 22000/175831
12.34/11.05	c cleaning 8329 clauses out of 16726 with flag 31000/184831
12.94/11.68	c cleaning 9179 clauses out of 18398 with flag 41001/194832
13.64/12.31	c cleaning 10086 clauses out of 20218 with flag 52000/205831
14.24/12.98	c cleaning 11047 clauses out of 22132 with flag 64000/217831
15.35/14.05	c cleaning 12035 clauses out of 24085 with flag 77000/230831
16.36/15.01	c cleaning 13007 clauses out of 26050 with flag 91000/244831
17.56/16.25	c cleaning 14016 clauses out of 28043 with flag 106000/259831
18.59/17.25	c cleaning 15004 clauses out of 30027 with flag 122000/275831
19.70/18.34	c cleaning 15999 clauses out of 32023 with flag 139000/292831
20.90/19.51	c cleaning 16993 clauses out of 34024 with flag 157000/310831
22.01/20.69	c cleaning 18001 clauses out of 36031 with flag 176000/329831
23.34/21.98	c cleaning 18998 clauses out of 38030 with flag 196000/349831
25.04/23.60	c cleaning 19999 clauses out of 40032 with flag 217000/370831
26.56/25.19	c cleaning 21000 clauses out of 42033 with flag 239000/392831
28.09/26.67	c cleaning 21972 clauses out of 44035 with flag 262002/415833
29.90/28.47	c cleaning 23000 clauses out of 46061 with flag 286000/439831
31.62/30.16	c cleaning 23999 clauses out of 48063 with flag 311002/464833
33.64/32.16	c cleaning 25007 clauses out of 50063 with flag 337001/490832
35.59/34.02	c cleaning 26007 clauses out of 52055 with flag 364000/517831
37.71/36.20	c cleaning 26966 clauses out of 54048 with flag 392000/545831
40.12/38.59	c cleaning 27997 clauses out of 56084 with flag 421002/574833
42.43/40.81	c cleaning 29017 clauses out of 58086 with flag 451001/604832
44.35/42.77	c cleaning 30007 clauses out of 60070 with flag 482002/635833
46.47/44.83	c cleaning 31009 clauses out of 62061 with flag 514000/667831
48.90/47.26	c cleaning 31992 clauses out of 64052 with flag 547000/700831
51.50/49.82	c cleaning 32964 clauses out of 66060 with flag 581000/734831
55.31/53.63	c cleaning 33965 clauses out of 68098 with flag 616002/769833
59.13/57.45	c cleaning 35027 clauses out of 70131 with flag 652000/805831
63.65/61.92	c cleaning 35999 clauses out of 72106 with flag 689002/842833
68.19/66.49	c cleaning 36983 clauses out of 74107 with flag 727002/880833
71.24/69.47	c cleaning 38010 clauses out of 76122 with flag 766000/919831
74.17/72.39	c cleaning 39028 clauses out of 78112 with flag 806000/959831
77.19/75.34	c cleaning 40002 clauses out of 80084 with flag 847000/1000831
80.03/78.18	c cleaning 41023 clauses out of 82082 with flag 889000/1042831
83.25/81.36	c cleaning 42010 clauses out of 84062 with flag 932003/1085834
88.46/86.52	c cleaning 42908 clauses out of 86050 with flag 976001/1129832
93.80/91.80	c cleaning 44021 clauses out of 88141 with flag 1021000/1174831
94.14/92.19	c Got one! Elapsed wall clock time (in seconds):92.07
94.14/92.19	o 581
94.24/92.28	c cleaning 24993 clauses out of 50116 with flag 1000/1180827
94.64/92.69	c cleaning 15468 clauses out of 31123 with flag 7000/1186827
95.15/93.16	c cleaning 11241 clauses out of 22655 with flag 14000/1193827
95.67/93.66	c cleaning 9615 clauses out of 19414 with flag 22000/1201827
96.38/94.30	c cleaning 9280 clauses out of 18799 with flag 31000/1210827
96.99/94.99	c cleaning 9740 clauses out of 19521 with flag 41002/1220829
97.91/95.82	c cleaning 10371 clauses out of 20779 with flag 52000/1231827
98.82/96.70	c cleaning 11189 clauses out of 22410 with flag 64002/1243829
99.62/97.54	c cleaning 12096 clauses out of 24219 with flag 77000/1256827
100.53/98.44	c cleaning 13048 clauses out of 26123 with flag 91000/1270827
101.54/99.47	c cleaning 14031 clauses out of 28076 with flag 106001/1285828
102.75/100.70	c cleaning 15016 clauses out of 30049 with flag 122005/1301832
104.17/102.06	c cleaning 15986 clauses out of 32028 with flag 139000/1318827
105.39/103.20	c cleaning 17005 clauses out of 34044 with flag 157002/1336829
106.49/104.34	c cleaning 18000 clauses out of 36037 with flag 176000/1355827
107.83/105.61	c cleaning 18987 clauses out of 38037 with flag 196000/1375827
109.05/106.88	c cleaning 20010 clauses out of 40050 with flag 217000/1396827
110.45/108.22	c cleaning 20999 clauses out of 42041 with flag 239001/1418828
111.97/109.72	c cleaning 22000 clauses out of 44042 with flag 262001/1441828
113.59/111.33	c cleaning 22998 clauses out of 46042 with flag 286001/1465828
115.81/113.54	c cleaning 23990 clauses out of 48046 with flag 311003/1490830
118.42/116.15	c cleaning 25003 clauses out of 50053 with flag 337000/1516827
120.13/117.81	c cleaning 25998 clauses out of 52050 with flag 364000/1543827
121.65/119.36	c cleaning 27012 clauses out of 54055 with flag 392003/1571830
123.95/121.69	c cleaning 27986 clauses out of 56041 with flag 421001/1600828
126.18/123.81	c cleaning 29009 clauses out of 58056 with flag 451002/1630829
128.28/125.96	c cleaning 30001 clauses out of 60045 with flag 482000/1661827
130.59/128.20	c cleaning 30997 clauses out of 62046 with flag 514002/1693829
133.11/130.75	c cleaning 31988 clauses out of 64050 with flag 547003/1726830
135.72/133.39	c cleaning 33000 clauses out of 66059 with flag 581000/1760827
138.25/135.88	c cleaning 34007 clauses out of 68061 with flag 616002/1795829
141.37/138.91	c cleaning 34984 clauses out of 70052 with flag 652000/1831827
144.39/141.92	c cleaning 36013 clauses out of 72068 with flag 689000/1868827
148.31/145.84	c cleaning 36982 clauses out of 74055 with flag 727000/1906827
151.95/149.49	c cleaning 38013 clauses out of 76073 with flag 766000/1945827
155.39/152.86	c cleaning 38998 clauses out of 78061 with flag 806001/1985828
158.41/155.86	c cleaning 39954 clauses out of 80062 with flag 847000/2026827
160.71/158.11	c Got one! Elapsed wall clock time (in seconds):157.989
160.71/158.11	o 579
161.02/158.49	c cleaning 34820 clauses out of 69772 with flag 5000/2056491
161.56/158.93	c cleaning 20382 clauses out of 40954 with flag 11002/2062493
161.97/159.32	c cleaning 13691 clauses out of 27570 with flag 18000/2069491
162.48/159.81	c cleaning 10817 clauses out of 21879 with flag 26000/2077491
163.10/160.41	c Got one! Elapsed wall clock time (in seconds):160.294
163.10/160.41	o 566
163.40/160.79	c cleaning 12001 clauses out of 24097 with flag 5000/2090526
164.12/161.40	c cleaning 8972 clauses out of 18096 with flag 11000/2096526
164.62/161.94	c cleaning 7975 clauses out of 16124 with flag 18000/2103526
165.14/162.49	c cleaning 7948 clauses out of 16149 with flag 26000/2111526
165.79/163.07	c cleaning 8522 clauses out of 17201 with flag 35000/2120526
166.41/163.60	c cleaning 9309 clauses out of 18682 with flag 45003/2130529
167.02/164.21	c cleaning 10163 clauses out of 20370 with flag 56000/2141526
167.63/164.86	c cleaning 11086 clauses out of 22208 with flag 68001/2153527
168.45/165.62	c cleaning 12034 clauses out of 24122 with flag 81001/2166527
169.36/166.54	c cleaning 13032 clauses out of 26088 with flag 95001/2180527
170.39/167.52	c cleaning 14005 clauses out of 28056 with flag 110001/2195527
171.70/168.81	c cleaning 14983 clauses out of 30051 with flag 126001/2211527
173.60/170.79	c cleaning 16027 clauses out of 32067 with flag 143000/2228526
175.92/173.07	c cleaning 17003 clauses out of 34041 with flag 161001/2246527
177.44/174.50	c Got one! Elapsed wall clock time (in seconds):174.384
177.44/174.50	o 559
177.74/174.83	c cleaning 17549 clauses out of 35144 with flag 5000/2264633
178.15/175.25	c cleaning 11737 clauses out of 23598 with flag 11003/2270636
178.67/175.72	c cleaning 9360 clauses out of 18858 with flag 18000/2277633
179.20/176.22	c cleaning 8693 clauses out of 17500 with flag 26002/2285635
179.61/176.69	c cleaning 8890 clauses out of 17805 with flag 35000/2294633
180.23/177.27	c cleaning 9452 clauses out of 18915 with flag 45000/2304633
180.94/177.97	c cleaning 10212 clauses out of 20464 with flag 56001/2315634
181.86/178.80	c cleaning 11098 clauses out of 22252 with flag 68001/2327634
182.88/179.81	c cleaning 12056 clauses out of 24153 with flag 81000/2340633
183.72/180.66	c cleaning 13026 clauses out of 26097 with flag 95000/2354633
184.84/181.74	c cleaning 14014 clauses out of 28071 with flag 110000/2369633
186.15/183.08	c cleaning 15003 clauses out of 30058 with flag 126001/2385634
187.86/184.75	c cleaning 16014 clauses out of 32054 with flag 143000/2402633
189.57/186.42	c cleaning 17002 clauses out of 34041 with flag 161001/2420634
191.10/188.00	c cleaning 18012 clauses out of 36038 with flag 180000/2439633
192.83/189.61	c cleaning 19004 clauses out of 38028 with flag 200002/2459635
194.35/191.16	c cleaning 19995 clauses out of 40022 with flag 221000/2480633
195.96/192.78	c cleaning 20997 clauses out of 42027 with flag 243000/2502633
197.56/194.39	c cleaning 22003 clauses out of 44031 with flag 266001/2525634
199.40/196.12	c cleaning 22998 clauses out of 46029 with flag 290002/2549635
201.12/197.89	c cleaning 23988 clauses out of 48029 with flag 315000/2574633
203.24/199.97	c cleaning 24984 clauses out of 50041 with flag 341000/2600633
205.25/201.98	c cleaning 26017 clauses out of 52058 with flag 368001/2627634
207.38/204.07	c cleaning 27020 clauses out of 54045 with flag 396005/2655638
209.48/206.19	c cleaning 28002 clauses out of 56020 with flag 425000/2684633
211.90/208.51	c cleaning 28989 clauses out of 58018 with flag 455000/2714633
214.30/210.96	c cleaning 29976 clauses out of 60030 with flag 486001/2745634
217.51/214.19	c cleaning 30995 clauses out of 62053 with flag 518000/2777633
220.63/217.23	c cleaning 31994 clauses out of 64058 with flag 551000/2810633
223.63/220.26	c cleaning 33006 clauses out of 66064 with flag 585000/2844633
226.96/223.58	c cleaning 34018 clauses out of 68059 with flag 620001/2879634
230.77/227.32	c cleaning 34994 clauses out of 70041 with flag 656001/2915634
234.89/231.45	c cleaning 36004 clauses out of 72046 with flag 693000/2952633
239.21/235.79	c cleaning 37000 clauses out of 74042 with flag 731000/2990633
241.73/238.27	c cleaning 37988 clauses out of 76042 with flag 770000/3029633
244.94/241.41	c cleaning 39003 clauses out of 78054 with flag 810000/3069633
247.67/244.16	c cleaning 39999 clauses out of 80051 with flag 851000/3110633
250.90/247.37	c cleaning 40969 clauses out of 82056 with flag 893004/3152637
255.23/251.64	c cleaning 42004 clauses out of 84083 with flag 936000/3195633
260.77/257.19	c cleaning 42981 clauses out of 86079 with flag 980000/3239633
266.40/262.73	c cleaning 44034 clauses out of 88098 with flag 1025000/3284633
270.65/266.94	c cleaning 44979 clauses out of 90064 with flag 1071000/3330633
275.87/272.11	c cleaning 45963 clauses out of 92085 with flag 1118000/3377633
280.21/276.44	c cleaning 46991 clauses out of 94122 with flag 1166000/3425633
284.84/281.08	c cleaning 48031 clauses out of 96131 with flag 1215000/3474633
290.79/286.96	c cleaning 49026 clauses out of 98100 with flag 1265000/3524633
296.92/293.00	c cleaning 50020 clauses out of 100074 with flag 1316000/3575633
303.50/299.59	c cleaning 51007 clauses out of 102054 with flag 1368000/3627633
308.52/304.50	c cleaning 52015 clauses out of 104047 with flag 1421000/3680633
313.55/309.52	c cleaning 52993 clauses out of 106032 with flag 1475000/3734633
318.81/314.70	c cleaning 54005 clauses out of 108039 with flag 1530000/3789633
324.44/320.39	c cleaning 55009 clauses out of 110034 with flag 1586000/3845633
330.26/326.17	c cleaning 56002 clauses out of 112025 with flag 1643000/3902633
337.91/333.75	c cleaning 57003 clauses out of 114023 with flag 1701000/3960633
344.33/340.19	c cleaning 57991 clauses out of 116020 with flag 1760000/4019633
350.25/346.04	c cleaning 58992 clauses out of 118029 with flag 1820000/4079633
355.08/350.85	c cleaning 59991 clauses out of 120037 with flag 1881000/4140633
362.31/358.00	c cleaning 60960 clauses out of 122046 with flag 1943000/4202633
369.45/365.13	c cleaning 62011 clauses out of 124086 with flag 2006000/4265633
375.49/371.15	c cleaning 63010 clauses out of 126076 with flag 2070001/4329634
381.32/376.96	c cleaning 64001 clauses out of 128066 with flag 2135001/4394634
387.35/382.91	c cleaning 64991 clauses out of 130066 with flag 2201002/4460635
391.57/387.12	c Got one! Elapsed wall clock time (in seconds):387.006
391.57/387.12	o 558
391.96/387.56	c cleaning 62031 clauses out of 124128 with flag 5000/4519688
392.39/387.97	c cleaning 33985 clauses out of 68099 with flag 11002/4525690
392.90/388.43	c cleaning 20448 clauses out of 41112 with flag 18000/4532688
393.42/388.97	c cleaning 14217 clauses out of 28665 with flag 26001/4540689
394.04/389.57	c cleaning 11685 clauses out of 23447 with flag 35000/4549688
394.77/390.27	c cleaning 10811 clauses out of 21762 with flag 45000/4559688
395.50/390.99	c cleaning 10936 clauses out of 21953 with flag 56002/4570690
396.31/391.75	c cleaning 11494 clauses out of 23016 with flag 68001/4582689
397.13/392.59	c cleaning 12245 clauses out of 24521 with flag 81000/4595688
398.24/393.63	c cleaning 13105 clauses out of 26276 with flag 95000/4609688
399.05/394.45	c Got one! Elapsed wall clock time (in seconds):394.334
399.05/394.45	o 556
399.35/394.76	c cleaning 15258 clauses out of 30558 with flag 5001/4627075
399.77/395.19	c cleaning 10580 clauses out of 21300 with flag 11001/4633075
400.28/395.68	c cleaning 8766 clauses out of 17719 with flag 18000/4640074
400.83/396.18	c cleaning 8412 clauses out of 16953 with flag 26000/4648074
401.43/396.74	c cleaning 8723 clauses out of 17541 with flag 35000/4657074
402.15/397.47	c cleaning 9393 clauses out of 18819 with flag 45001/4667075
403.09/398.39	c cleaning 10199 clauses out of 20426 with flag 56001/4678075
403.90/399.14	c cleaning 11106 clauses out of 22226 with flag 68000/4690074
404.91/400.13	c cleaning 12048 clauses out of 24120 with flag 81000/4703074
405.91/401.17	c cleaning 13014 clauses out of 26073 with flag 95001/4717075
406.91/402.10	c cleaning 13996 clauses out of 28058 with flag 110000/4732074
408.12/403.33	c cleaning 15004 clauses out of 30062 with flag 126000/4748074
409.23/404.46	c cleaning 16010 clauses out of 32058 with flag 143000/4765074
410.34/405.56	c cleaning 17000 clauses out of 34048 with flag 161000/4783074
411.58/406.75	c cleaning 18016 clauses out of 36051 with flag 180003/4802077
413.00/408.18	c cleaning 18998 clauses out of 38032 with flag 200000/4822074
414.80/409.97	c cleaning 19993 clauses out of 40034 with flag 221000/4843074
416.72/411.86	c cleaning 20996 clauses out of 42041 with flag 243000/4865074
418.86/413.91	c cleaning 22000 clauses out of 44045 with flag 266000/4888074
421.07/416.15	c cleaning 23012 clauses out of 46048 with flag 290003/4912077
423.00/418.06	c cleaning 24001 clauses out of 48033 with flag 315000/4937074
425.60/420.65	c cleaning 24982 clauses out of 50032 with flag 341000/4963074
428.45/423.47	c cleaning 26010 clauses out of 52051 with flag 368001/4990075
431.06/426.03	c Got one! Elapsed wall clock time (in seconds):425.913
431.06/426.03	o 554
431.36/426.38	c cleaning 27545 clauses out of 55124 with flag 5000/5019158
431.78/426.79	c cleaning 16753 clauses out of 33579 with flag 11000/5025158
432.30/427.26	c cleaning 11837 clauses out of 23827 with flag 18001/5032159
432.82/427.79	c cleaning 9894 clauses out of 19989 with flag 26000/5040158
433.44/428.34	c cleaning 9453 clauses out of 19095 with flag 35000/5049158
434.17/429.09	c cleaning 9773 clauses out of 19643 with flag 45001/5059159
434.98/429.89	c cleaning 10414 clauses out of 20869 with flag 56000/5070158
435.99/430.86	c cleaning 11198 clauses out of 22457 with flag 68002/5082160
437.01/431.87	c cleaning 12112 clauses out of 24258 with flag 81001/5095159
438.33/433.16	c cleaning 13052 clauses out of 26147 with flag 95002/5109160
439.74/434.53	c cleaning 14025 clauses out of 28093 with flag 110000/5124158
440.95/435.73	c cleaning 15015 clauses out of 30068 with flag 126000/5140158
442.06/436.83	c cleaning 16021 clauses out of 32053 with flag 143000/5157158
443.17/437.98	c cleaning 17002 clauses out of 34033 with flag 161001/5175159
444.38/439.16	c cleaning 18003 clauses out of 36031 with flag 180001/5194159
445.69/440.44	c cleaning 18983 clauses out of 38027 with flag 200000/5214158
447.13/441.85	c cleaning 20002 clauses out of 40044 with flag 221000/5235158
448.65/443.38	c cleaning 20997 clauses out of 42042 with flag 243000/5257158
450.70/445.34	c cleaning 21994 clauses out of 44045 with flag 266000/5280158
452.61/447.28	c cleaning 23006 clauses out of 46051 with flag 290000/5304158
454.62/449.29	c cleaning 23992 clauses out of 48045 with flag 315000/5329158
456.73/451.35	c cleaning 24995 clauses out of 50053 with flag 341000/5355158
459.03/453.63	c cleaning 26022 clauses out of 52059 with flag 368001/5382159
461.24/455.85	c cleaning 26994 clauses out of 54036 with flag 396000/5410158
463.65/458.22	c cleaning 28005 clauses out of 56043 with flag 425001/5439159
466.68/461.27	c cleaning 28993 clauses out of 58037 with flag 455000/5469158
468.99/463.55	c cleaning 30016 clauses out of 60044 with flag 486000/5500158
471.52/466.04	c cleaning 30989 clauses out of 62030 with flag 518002/5532160
473.94/468.40	c cleaning 32007 clauses out of 64039 with flag 551000/5565158
476.55/471.00	c cleaning 32997 clauses out of 66033 with flag 585001/5599159
479.18/473.66	c cleaning 33999 clauses out of 68036 with flag 620001/5634159
481.68/476.16	c cleaning 34991 clauses out of 70036 with flag 656000/5670158
484.63/479.03	c cleaning 35996 clauses out of 72046 with flag 693001/5707159
488.25/482.66	c cleaning 37005 clauses out of 74050 with flag 731001/5745159
491.06/485.46	c cleaning 37994 clauses out of 76047 with flag 770003/5784161
494.87/489.24	c cleaning 38990 clauses out of 78050 with flag 810000/5824158
498.58/492.98	c cleaning 39979 clauses out of 80061 with flag 851001/5865159
503.90/498.25	c cleaning 41001 clauses out of 82081 with flag 893000/5907158
509.94/504.30	c cleaning 41995 clauses out of 84080 with flag 936000/5950158
514.16/508.48	c cleaning 43013 clauses out of 86085 with flag 980000/5994158
518.39/512.69	c cleaning 44007 clauses out of 88073 with flag 1025001/6039159
522.42/516.65	c cleaning 44992 clauses out of 90065 with flag 1071000/6085158
526.45/520.66	c cleaning 45998 clauses out of 92074 with flag 1118001/6132159
531.17/525.31	c cleaning 47007 clauses out of 94075 with flag 1166000/6180158
535.39/529.58	c cleaning 48004 clauses out of 96069 with flag 1215001/6229159
540.02/534.18	c cleaning 48980 clauses out of 98064 with flag 1265000/6279158
545.13/539.26	c cleaning 49969 clauses out of 100085 with flag 1316001/6330159
550.35/544.49	c cleaning 50983 clauses out of 102115 with flag 1368000/6382158
555.59/549.62	c cleaning 52032 clauses out of 104136 with flag 1421004/6435162
560.92/554.98	c cleaning 52994 clauses out of 106100 with flag 1475000/6489158
566.34/560.33	c cleaning 54000 clauses out of 108106 with flag 1530000/6544158
571.65/565.60	c cleaning 54992 clauses out of 110106 with flag 1586000/6600158
576.67/570.63	c cleaning 55995 clauses out of 112114 with flag 1643000/6657158
581.91/575.83	c cleaning 57012 clauses out of 114119 with flag 1701000/6715158
586.22/580.14	c cleaning 58004 clauses out of 116108 with flag 1760001/6774159
591.34/585.23	c cleaning 59006 clauses out of 118103 with flag 1820000/6834158
595.68/589.58	c cleaning 60032 clauses out of 120097 with flag 1881000/6895158
601.61/595.49	c cleaning 60957 clauses out of 122067 with flag 1943002/6957160
610.65/604.44	c cleaning 61961 clauses out of 124108 with flag 2006000/7020158
615.63/609.38	c cleaning 63036 clauses out of 126149 with flag 2070002/7084160
622.05/615.72	c cleaning 64002 clauses out of 128111 with flag 2135000/7149158
628.08/621.76	c cleaning 65042 clauses out of 130110 with flag 2201001/7215159
634.51/628.12	c cleaning 66017 clauses out of 132068 with flag 2268001/7282159
641.26/634.87	c cleaning 67013 clauses out of 134050 with flag 2336000/7350158
647.20/640.73	c cleaning 67982 clauses out of 136039 with flag 2405002/7419160
653.02/646.57	c cleaning 68990 clauses out of 138055 with flag 2475000/7489158
659.76/653.23	c cleaning 70000 clauses out of 140066 with flag 2546001/7560159
668.18/661.68	c cleaning 70989 clauses out of 142066 with flag 2618001/7632159
678.04/671.41	c cleaning 71994 clauses out of 144076 with flag 2691000/7705158
684.91/678.24	c cleaning 73016 clauses out of 146083 with flag 2765001/7779159
692.83/686.16	c cleaning 74014 clauses out of 148066 with flag 2840000/7854158
699.86/693.12	c cleaning 74997 clauses out of 150054 with flag 2916002/7930160
707.60/700.85	c cleaning 75987 clauses out of 152056 with flag 2993001/8007159
716.06/709.29	c cleaning 77020 clauses out of 154069 with flag 3071001/8085159
724.58/717.76	c cleaning 78009 clauses out of 156050 with flag 3150002/8164160
732.31/725.46	c cleaning 78992 clauses out of 158039 with flag 3230000/8244158
739.22/732.36	c cleaning 79987 clauses out of 160049 with flag 3311002/8325160
751.26/744.38	c cleaning 80958 clauses out of 162061 with flag 3393001/8407159
764.44/757.46	c cleaning 81978 clauses out of 164102 with flag 3476000/8490158
778.18/771.19	c cleaning 83012 clauses out of 166124 with flag 3560000/8574158
791.62/784.53	c cleaning 83961 clauses out of 168112 with flag 3645000/8659158
801.55/794.44	c Got one! Elapsed wall clock time (in seconds):794.328
801.55/794.44	o 553
802.15/795.09	c cleaning 76478 clauses out of 153055 with flag 5000/8728062
802.69/795.59	c cleaning 41162 clauses out of 82579 with flag 11002/8734064
803.20/796.09	c cleaning 24055 clauses out of 48415 with flag 18000/8741062
803.93/796.72	c cleaning 15994 clauses out of 32360 with flag 26000/8749062
804.76/797.50	c cleaning 12492 clauses out of 25366 with flag 35000/8758062
805.78/798.57	c cleaning 11245 clauses out of 22877 with flag 45003/8768065
806.78/799.55	c cleaning 11136 clauses out of 22631 with flag 56002/8779064
807.80/800.55	c cleaning 11719 clauses out of 23493 with flag 68000/8791062
809.01/801.70	c cleaning 12371 clauses out of 24774 with flag 81000/8804062
810.12/802.90	c cleaning 13175 clauses out of 26406 with flag 95003/8818065
812.14/804.81	c cleaning 14099 clauses out of 28230 with flag 110002/8833064
813.96/806.67	c cleaning 15048 clauses out of 30129 with flag 126000/8849062
815.97/808.64	c cleaning 16014 clauses out of 32081 with flag 143000/8866062
818.18/810.90	c cleaning 17021 clauses out of 34068 with flag 161001/8884063
820.61/813.23	c cleaning 17999 clauses out of 36048 with flag 180002/8903064
822.92/815.50	c cleaning 18987 clauses out of 38047 with flag 200000/8923062
825.93/818.50	c cleaning 20004 clauses out of 40060 with flag 221000/8944062
829.38/821.97	c cleaning 21004 clauses out of 42057 with flag 243001/8966063
831.29/823.84	c cleaning 22014 clauses out of 44052 with flag 266000/8989062
833.01/825.51	c cleaning 23005 clauses out of 46038 with flag 290000/9013062
835.83/828.31	c cleaning 23962 clauses out of 48035 with flag 315002/9038064
836.25/828.74	c Got one! Elapsed wall clock time (in seconds):828.625
836.25/828.74	o 551
836.35/828.86	c cleaning 14854 clauses out of 29767 with flag 2000/9043758
836.79/829.25	c cleaning 10426 clauses out of 20916 with flag 8003/9049761
837.20/829.69	c cleaning 8697 clauses out of 17488 with flag 15001/9056759
837.84/830.23	c cleaning 8344 clauses out of 16794 with flag 23004/9064762
838.45/830.89	c cleaning 8706 clauses out of 17446 with flag 32000/9073758
839.06/831.47	c cleaning 9355 clauses out of 18742 with flag 42002/9083760
839.88/832.23	c cleaning 10165 clauses out of 20385 with flag 53000/9094758
840.80/833.10	c cleaning 11084 clauses out of 22221 with flag 65001/9106759
841.72/834.06	c cleaning 12039 clauses out of 24136 with flag 78000/9119758
842.74/835.05	c cleaning 13007 clauses out of 26097 with flag 92000/9133758
843.84/836.20	c cleaning 14028 clauses out of 28090 with flag 107000/9148758
845.07/837.33	c cleaning 15015 clauses out of 30062 with flag 123000/9164758
846.18/838.40	c cleaning 15989 clauses out of 32047 with flag 140000/9181758
847.30/839.53	c cleaning 17010 clauses out of 34059 with flag 158001/9199759
848.51/840.72	c cleaning 17995 clauses out of 36048 with flag 177000/9218758
850.03/842.22	c cleaning 18987 clauses out of 38053 with flag 197000/9238758
851.34/843.51	c cleaning 20002 clauses out of 40066 with flag 218000/9259758
852.98/845.10	c cleaning 21008 clauses out of 42065 with flag 240001/9281759
854.60/846.74	c cleaning 21993 clauses out of 44056 with flag 263000/9304758
856.42/848.57	c cleaning 22987 clauses out of 46063 with flag 287000/9328758
858.25/850.35	c cleaning 24003 clauses out of 48077 with flag 312001/9353759
860.16/852.22	c cleaning 24994 clauses out of 50076 with flag 338003/9379761
861.97/854.08	c cleaning 26011 clauses out of 52079 with flag 365000/9406758
863.88/855.91	c cleaning 26992 clauses out of 54069 with flag 393001/9434759
865.99/858.04	c cleaning 28009 clauses out of 56076 with flag 422000/9463758
868.31/860.30	c cleaning 28999 clauses out of 58067 with flag 452000/9493758
870.53/862.56	c cleaning 30014 clauses out of 60068 with flag 483000/9524758
872.86/864.81	c cleaning 30994 clauses out of 62054 with flag 515000/9556758
876.38/868.32	c cleaning 32012 clauses out of 64061 with flag 548001/9589759
879.02/870.97	c cleaning 33000 clauses out of 66049 with flag 582001/9623759
881.85/873.75	c cleaning 34000 clauses out of 68051 with flag 617003/9658761
885.08/876.97	c cleaning 34977 clauses out of 70048 with flag 653000/9694758
888.40/880.24	c cleaning 35995 clauses out of 72071 with flag 690000/9731758
891.44/883.25	c cleaning 37007 clauses out of 74076 with flag 728000/9769758
894.45/886.25	c cleaning 37994 clauses out of 76069 with flag 767000/9808758
897.26/889.01	c cleaning 39005 clauses out of 78076 with flag 807001/9848759
900.49/892.28	c cleaning 39999 clauses out of 80071 with flag 848001/9889759
903.92/895.66	c cleaning 40996 clauses out of 82071 with flag 890000/9931758
908.09/899.70	c cleaning 42001 clauses out of 84075 with flag 933000/9974758
911.70/903.38	c cleaning 42979 clauses out of 86076 with flag 977002/10018760
915.92/907.57	c cleaning 43992 clauses out of 88095 with flag 1022000/10063758
919.73/911.39	c cleaning 45025 clauses out of 90103 with flag 1068000/10109758
923.55/915.12	c cleaning 46014 clauses out of 92079 with flag 1115001/10156759
926.89/918.45	c cleaning 47004 clauses out of 94065 with flag 1163001/10204759
930.30/921.80	c cleaning 47994 clauses out of 96060 with flag 1212000/10253758
933.82/925.31	c cleaning 49001 clauses out of 98068 with flag 1262002/10303760
938.65/930.11	c cleaning 49984 clauses out of 100065 with flag 1313000/10354758
943.07/934.55	c cleaning 51008 clauses out of 102084 with flag 1365003/10406761
947.21/938.69	c cleaning 52012 clauses out of 104075 with flag 1418002/10459760
951.44/942.89	c cleaning 53000 clauses out of 106061 with flag 1472000/10513758
955.26/946.66	c cleaning 53998 clauses out of 108061 with flag 1527000/10568758
959.71/951.08	c cleaning 54999 clauses out of 110063 with flag 1583000/10624758
964.92/956.25	c cleaning 55982 clauses out of 112065 with flag 1640001/10681759
970.84/962.17	c cleaning 57000 clauses out of 114082 with flag 1698000/10739758
975.38/966.69	c cleaning 57998 clauses out of 116085 with flag 1757003/10798761
981.41/972.63	c cleaning 58984 clauses out of 118084 with flag 1817000/10858758
987.63/978.80	c cleaning 59989 clauses out of 120103 with flag 1878003/10919761
993.65/984.80	c cleaning 61036 clauses out of 122113 with flag 1940002/10981760
999.09/990.23	c cleaning 61995 clauses out of 124075 with flag 2003000/11044758
1005.01/996.19	c cleaning 62998 clauses out of 126080 with flag 2067000/11108758
1011.14/1002.26	c cleaning 64001 clauses out of 128082 with flag 2132000/11173758
1019.47/1010.58	c cleaning 64986 clauses out of 130083 with flag 2198002/11239760
1026.62/1017.68	c cleaning 66006 clauses out of 132098 with flag 2265003/11306761
1035.45/1026.48	c cleaning 67018 clauses out of 134089 with flag 2333000/11374758
1042.92/1033.84	c cleaning 68005 clauses out of 136073 with flag 2402002/11443760
1051.24/1042.15	c cleaning 68988 clauses out of 138068 with flag 2472002/11513760
1059.48/1050.32	c cleaning 70008 clauses out of 140079 with flag 2543001/11584759
1065.01/1055.90	c cleaning 71025 clauses out of 142075 with flag 2615005/11656763
1071.45/1062.28	c cleaning 72003 clauses out of 144045 with flag 2688000/11729758
1078.01/1068.79	c cleaning 72988 clauses out of 146042 with flag 2762000/11803758
1085.14/1075.82	c cleaning 74009 clauses out of 148054 with flag 2837000/11878758
1093.08/1083.77	c cleaning 74977 clauses out of 150045 with flag 2913000/11954758
1101.00/1091.64	c cleaning 76007 clauses out of 152068 with flag 2990000/12031758
1109.34/1099.98	c cleaning 77021 clauses out of 154061 with flag 3068000/12109758
1117.67/1108.24	c cleaning 78003 clauses out of 156040 with flag 3147000/12188758
1125.99/1116.52	c cleaning 79002 clauses out of 158038 with flag 3227001/12268759
1136.10/1126.66	c cleaning 80001 clauses out of 160036 with flag 3308001/12349759
1145.04/1135.59	c cleaning 80989 clauses out of 162034 with flag 3390000/12431758
1155.71/1146.19	c cleaning 81961 clauses out of 164045 with flag 3473000/12514758
1167.05/1157.41	c cleaning 83014 clauses out of 166087 with flag 3557003/12598761
1182.33/1172.70	c cleaning 83999 clauses out of 168071 with flag 3642001/12683759
1200.27/1190.52	c cleaning 85007 clauses out of 170071 with flag 3728000/12769758
1218.61/1208.88	c cleaning 85998 clauses out of 172064 with flag 3815000/12856758
1239.76/1229.98	c cleaning 87002 clauses out of 174066 with flag 3903000/12944758
1255.42/1245.56	c cleaning 88007 clauses out of 176064 with flag 3992000/13033758
1266.15/1256.22	c cleaning 88983 clauses out of 178059 with flag 4082002/13123760
1276.77/1266.88	c cleaning 89971 clauses out of 180074 with flag 4173000/13214758
1290.44/1280.43	c cleaning 91003 clauses out of 182103 with flag 4265000/13306758
1307.96/1297.92	c cleaning 91983 clauses out of 184100 with flag 4358000/13399758
1320.59/1310.57	c cleaning 93037 clauses out of 186117 with flag 4452000/13493758
1329.54/1319.42	c cleaning 94013 clauses out of 188084 with flag 4547004/13588762
1339.01/1328.89	c cleaning 94997 clauses out of 190067 with flag 4643000/13684758
1348.54/1338.35	c cleaning 95995 clauses out of 192070 with flag 4740000/13781758
1358.38/1348.17	c cleaning 96996 clauses out of 194075 with flag 4838000/13879758
1367.32/1357.01	c cleaning 97988 clauses out of 196079 with flag 4937000/13978758
1380.25/1369.99	c cleaning 98982 clauses out of 198092 with flag 5037001/14078759
1391.49/1381.01	c cleaning 100021 clauses out of 200111 with flag 5138002/14179760
1400.93/1390.43	c cleaning 101016 clauses out of 202088 with flag 5240000/14281758
1414.44/1404.00	c cleaning 101972 clauses out of 204072 with flag 5343000/14384758
1426.86/1416.39	c cleaning 102987 clauses out of 206100 with flag 5447000/14488758
1442.81/1432.25	c cleaning 104013 clauses out of 208113 with flag 5552000/14593758
1456.63/1446.05	c cleaning 105018 clauses out of 210100 with flag 5658000/14699758
1469.37/1458.74	c cleaning 105999 clauses out of 212082 with flag 5765000/14806758
1480.49/1469.88	c cleaning 106976 clauses out of 214083 with flag 5873000/14914758
1492.44/1481.74	c cleaning 107998 clauses out of 216107 with flag 5982000/15023758
1506.69/1495.97	c cleaning 108993 clauses out of 218110 with flag 6092001/15133759
1516.72/1505.93	c cleaning 110018 clauses out of 220116 with flag 6203000/15244758
1527.55/1516.74	c cleaning 111006 clauses out of 222098 with flag 6315000/15356758
1538.21/1527.34	c cleaning 111991 clauses out of 224092 with flag 6428000/15469758
1551.86/1541.00	c cleaning 112964 clauses out of 226101 with flag 6542000/15583758
1566.72/1555.75	c cleaning 114031 clauses out of 228138 with flag 6657001/15698759
1581.09/1570.02	c cleaning 115032 clauses out of 230106 with flag 6773000/15814758
1593.18/1582.00	c cleaning 115999 clauses out of 232075 with flag 6890001/15931759
1606.83/1595.69	c cleaning 116976 clauses out of 234075 with flag 7008000/16049758
1620.98/1609.76	c cleaning 117986 clauses out of 236099 with flag 7127000/16168758
1640.95/1629.62	c Got one! Elapsed wall clock time (in seconds):1629.499
1640.95/1629.62	o 550
1641.95/1630.62	c cleaning 116129 clauses out of 232327 with flag 5001/16282972
1642.66/1631.26	c cleaning 60979 clauses out of 122198 with flag 11001/16288972
1643.30/1631.83	c cleaning 33935 clauses out of 68218 with flag 18000/16295971
1643.93/1632.41	c cleaning 20928 clauses out of 42284 with flag 26001/16303972
1644.55/1633.00	c cleaning 14965 clauses out of 30356 with flag 35001/16312972
1645.17/1633.65	c cleaning 12483 clauses out of 25390 with flag 45000/16322971
1645.89/1634.38	c cleaning 11734 clauses out of 23907 with flag 56000/16333971
1646.70/1635.19	c cleaning 11991 clauses out of 24175 with flag 68002/16345973
1647.75/1636.11	c cleaning 12570 clauses out of 25182 with flag 81000/16358971
1648.67/1637.03	c cleaning 13293 clauses out of 26613 with flag 95001/16372972
1649.88/1638.27	c cleaning 14146 clauses out of 28319 with flag 110000/16387971
1651.10/1639.40	c cleaning 15075 clauses out of 30173 with flag 126000/16403971
1652.32/1640.69	c cleaning 16034 clauses out of 32098 with flag 143000/16420971
1653.84/1642.10	c cleaning 17005 clauses out of 34064 with flag 161000/16438971
1655.26/1643.51	c cleaning 18013 clauses out of 36059 with flag 180000/16457971
1656.79/1645.02	c cleaning 19010 clauses out of 38047 with flag 200001/16477972
1658.40/1646.62	c cleaning 20001 clauses out of 40039 with flag 221003/16498974
1659.92/1648.16	c cleaning 20998 clauses out of 42036 with flag 243001/16520972
1661.76/1649.93	c cleaning 22009 clauses out of 44037 with flag 266000/16543971
1663.69/1651.81	c cleaning 22974 clauses out of 46028 with flag 290000/16567971
1665.80/1653.96	c cleaning 24008 clauses out of 48054 with flag 315000/16592971
1668.11/1656.27	c cleaning 25003 clauses out of 50049 with flag 341003/16618974
1670.76/1658.84	c cleaning 26007 clauses out of 52043 with flag 368000/16645971
1672.70/1660.71	c cleaning 26997 clauses out of 54041 with flag 396005/16673976
1674.73/1662.77	c cleaning 27999 clauses out of 56039 with flag 425000/16702971
1676.96/1664.91	c cleaning 29001 clauses out of 58041 with flag 455001/16732972
1679.09/1667.04	c cleaning 30007 clauses out of 60039 with flag 486000/16763971
1681.31/1669.24	c cleaning 31005 clauses out of 62032 with flag 518000/16795971
1683.74/1671.64	c cleaning 31995 clauses out of 64034 with flag 551007/16828978
1686.27/1674.12	c cleaning 32971 clauses out of 66032 with flag 585000/16862971
1688.90/1676.73	c cleaning 34000 clauses out of 68061 with flag 620000/16897971
1691.52/1679.31	c cleaning 34998 clauses out of 70061 with flag 656000/16933971
1694.45/1682.22	c cleaning 36013 clauses out of 72065 with flag 693002/16970973
1697.38/1685.19	c cleaning 36995 clauses out of 74050 with flag 731000/17008971
1700.50/1688.29	c cleaning 38011 clauses out of 76055 with flag 770000/17047971
1703.81/1691.51	c cleaning 38995 clauses out of 78045 with flag 810001/17087972
1707.12/1694.86	c cleaning 39987 clauses out of 80049 with flag 851000/17128971
1710.44/1698.14	c cleaning 41009 clauses out of 82064 with flag 893002/17170973
1713.86/1701.51	c cleaning 41983 clauses out of 84053 with flag 936000/17213971
1717.40/1705.08	c cleaning 43002 clauses out of 86070 with flag 980000/17257971
1721.11/1708.76	c cleaning 43981 clauses out of 88068 with flag 1025000/17302971
1724.74/1712.34	c cleaning 45005 clauses out of 90087 with flag 1071000/17348971
1728.28/1715.85	c cleaning 46018 clauses out of 92082 with flag 1118000/17395971
1732.24/1719.76	c cleaning 46994 clauses out of 94064 with flag 1166000/17443971
1736.07/1723.58	c cleaning 48013 clauses out of 96072 with flag 1215002/17492973
1740.10/1727.58	c cleaning 48996 clauses out of 98057 with flag 1265000/17542971
1744.32/1731.72	c cleaning 50009 clauses out of 100061 with flag 1316000/17593971
1748.85/1736.27	c cleaning 50990 clauses out of 102052 with flag 1368000/17645971
1753.47/1740.80	c cleaning 51996 clauses out of 104062 with flag 1421000/17698971
1758.32/1745.69	c cleaning 52996 clauses out of 106066 with flag 1475000/17752971
1763.12/1750.40	c cleaning 53989 clauses out of 108070 with flag 1530000/17807971
1768.37/1755.69	c cleaning 55004 clauses out of 110081 with flag 1586000/17863971
1774.38/1761.69	c cleaning 55985 clauses out of 112077 with flag 1643000/17920971
1781.09/1768.35	c cleaning 56999 clauses out of 114092 with flag 1701000/17978971
1787.62/1774.85	c cleaning 58014 clauses out of 116095 with flag 1760002/18037973
1794.46/1781.70	c cleaning 58988 clauses out of 118080 with flag 1820001/18097972
1800.09/1787.21	c starts		: 370
1800.09/1787.21	c conflicts		: 18156661
1800.09/1787.21	c decisions		: 37538675
1800.09/1787.21	c propagations		: 720325630
1800.09/1787.21	c inspects		: 7754890796
1800.09/1787.21	c shortcuts		: 0
1800.09/1787.21	c learnt literals	: 0
1800.09/1787.21	c learnt binary clauses	: 689
1800.09/1787.21	c learnt ternary clauses	: 1858
1800.09/1787.21	c learnt constraints	: 18156661
1800.09/1787.21	c ignored constraints	: 0
1800.09/1787.21	c root simplifications	: 370
1800.09/1787.21	c removed literals (reason simplification)	: 78188584
1800.09/1787.21	c reason swapping (by a shorter reason)	: 0
1800.09/1787.21	c Calls to reduceDB	: 483
1800.09/1787.21	c number of reductions to clauses (during analyze)	: 0
1800.09/1787.21	c number of learned constraints concerned by reduction	: 0
1800.09/1787.21	c number of learning phase by resolution	: 0
1800.09/1787.21	c number of learning phase by cutting planes	: 0
1800.09/1787.21	c speed (assignments/second)	: 403151.1144045101
1800.09/1787.21	c non guided choices	651
1800.09/1787.24	c learnt constraints type 
1800.09/1787.24	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 689
1800.09/1787.24	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 117267
1800.09/1787.24	c constraints type 
1800.09/1787.24	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 27383
1800.09/1787.24	c org.sat4j.minisat.constraints.card.MinWatchCard => 175
1800.09/1787.24	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1520
1800.09/1787.24	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.09/1787.24	c 29079 constraints processed.
1800.09/1787.24	s SATISFIABLE
1800.09/1787.24	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 x756 -x757 -x758 -x759 -x760 -x761 -x762 x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 
1800.09/1787.24	c objective function=550
1800.09/1787.24	c Total wall clock time (in seconds): 1787.128

Verifier Data 

OK	550

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-3711080-1338199693/watcher-3711080-1338199693 -o /tmp/evaluation-result-3711080-1338199693/solver-3711080-1338199693 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711080-1338199693.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 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.00 2.02 2.00 3/194 14534
/proc/meminfo: memFree=23945244/32873660 swapFree=7120/7120
[pid=14534] ppid=14532 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/14534/stat : 14534 (java) R 14532 14534 13800 0 -1 4202496 251 0 0 0 0 0 0 0 20 0 1 0 286095028 9515008 184 33554432000 1073741824 1073778376 140734912055104 140734912046328 270329867703 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14534/statm: 2323 184 142 9 0 71 0

[startup+0.04746 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 14534
/proc/meminfo: memFree=23945244/32873660 swapFree=7120/7120
[pid=14534] ppid=14532 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/14534/stat : 14534 (java) S 14532 14534 13800 0 -1 4202496 3052 0 1 0 2 0 0 0 20 0 13 0 286095028 9446973440 3749 33554432000 1073741824 1073778376 140735629521056 140735629512192 270333411389 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14534/statm: 2306390 3749 1704 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560

[startup+0.100201 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 14534
/proc/meminfo: memFree=23945244/32873660 swapFree=7120/7120
[pid=14534] ppid=14532 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/14534/stat : 14534 (java) S 14532 14534 13800 0 -1 4202496 4284 0 1 0 9 0 0 0 20 0 18 0 286095028 9787842560 6002 33554432000 1073741824 1073778376 140735629521056 140735629512192 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14534/statm: 2389610 6002 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.300177 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 14534
/proc/meminfo: memFree=23945244/32873660 swapFree=7120/7120
[pid=14534] ppid=14532 vsize=9558440 CPUtime=0.51 cores=1,3,5,7
/proc/14534/stat : 14534 (java) S 14532 14534 13800 0 -1 4202496 5977 0 1 0 50 1 0 0 20 0 18 0 286095028 9787842560 9524 33554432000 1073741824 1073778376 140735629521056 140735629512192 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14534/statm: 2389610 9524 2224 9 0 2380296 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558440

[startup+0.700237 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 14534
/proc/meminfo: memFree=23945244/32873660 swapFree=7120/7120
[pid=14534] ppid=14532 vsize=9625004 CPUtime=1.42 cores=1,3,5,7
/proc/14534/stat : 14534 (java) S 14532 14534 13800 0 -1 4202496 8885 0 1 0 139 3 0 0 20 0 19 0 286095028 9856004096 26594 33554432000 1073741824 1073778376 140735629521056 140735629512192 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14534/statm: 2406251 26594 2262 9 0 2396937 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 9625004

[startup+1.50078 s]
/proc/loadavg: 2.00 2.02 2.00 5/213 14553
/proc/meminfo: memFree=23834752/32873660 swapFree=7120/7120
[pid=14534] ppid=14532 vsize=9625004 CPUtime=2.43 cores=1,3,5,7
/proc/14534/stat : 14534 (java) S 14532 14534 13800 0 -1 4202496 9344 0 1 0 239 4 0 0 20 0 19 0 286095028 9856004096 30770 33554432000 1073741824 1073778376 140735629521056 140735629512192 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14534/statm: 2406251 30770 2290 9 0 2396937 0
[pid=14534/tid=14536] ppid=14532 vsize=9625004 CPUtime=1.42 cores=1,3,5,7
/proc/14534/task/14536/stat : 14536 (java) R 14532 14534 13800 0 -1 4202560 2543 0 1 0 140 2 0 0 20 0 19 0 286095029 9856004096 30770 33554432000 1073741824 1073778376 140735629521056 140271865557768 140271703190859 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14534/tid=14537] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14537/stat : 14537 (java) S 14532 14534 13800 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 286095030 9856004096 30770 33554432000 1073741824 1073778376 140735629521056 140271827048744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14534/tid=14538] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14538/stat : 14538 (java) S 14532 14534 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286095030 9856004096 30770 33554432000 1073741824 1073778376 140735629521056 140271825995944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14534/tid=14539] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14539/stat : 14539 (java) S 14532 14534 13800 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 286095030 9856004096 30770 33554432000 1073741824 1073778376 140735629521056 140271824943656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14534/tid=14540] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14540/stat : 14540 (java) S 14532 14534 13800 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286095030 9856004096 30770 33554432000 1073741824 1073778376 140735629521056 140271823890856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14534/tid=14541] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14541/stat : 14541 (java) S 14532 14534 13800 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286095030 9856004096 30770 33554432000 1073741824 1073778376 140735629521056 140271822838568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14534/tid=14542] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14542/stat : 14542 (java) S 14532 14534 13800 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 286095030 9856004096 30770 33554432000 1073741824 1073778376 140735629521056 140271821785768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14534/tid=14543] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14543/stat : 14543 (java) S 14532 14534 13800 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 286095030 9856004096 30770 33554432000 1073741824 1073778376 140735629521056 140271702502440 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14534/tid=14544] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14544/stat : 14544 (java) S 14532 14534 13800 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 286095030 9856004096 30770 33554432000 1073741824 1073778376 140735629521056 140271701449640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14534/tid=14545] ppid=14532 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/14534/task/14545/stat : 14545 (java) S 14532 14534 13800 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 19 0 286095031 9856004096 30770 33554432000 1073741824 1073778376 140735629521056 140271689251048 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14534/tid=14546] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14546/stat : 14546 (java) S 14532 14534 13800 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286095032 9856004096 30770 33554432000 1073741824 1073778376 140735629521056 140271688197112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14534/tid=14547] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14547/stat : 14547 (java) S 14532 14534 13800 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286095032 9856004096 30770 33554432000 1073741824 1073778376 140735629521056 140271687144712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14534/tid=14548] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14548/stat : 14548 (java) S 14532 14534 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286095034 9856004096 30770 33554432000 1073741824 1073778376 140735629521056 140270947527056 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14534/tid=14549] ppid=14532 vsize=9625004 CPUtime=0.49 cores=1,3,5,7
/proc/14534/task/14549/stat : 14549 (java) S 14532 14534 13800 0 -1 4202560 2704 0 0 0 49 0 0 0 20 0 19 0 286095034 9856004096 30770 33554432000 1073741824 1073778376 140735629521056 140270946474680 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14534/tid=14550] ppid=14532 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/14534/task/14550/stat : 14550 (java) S 14532 14534 13800 0 -1 4202560 2835 0 0 0 44 0 0 0 20 0 19 0 286095034 9856004096 30770 33554432000 1073741824 1073778376 140735629521056 140270945421880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14534/tid=14551] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14551/stat : 14551 (java) S 14532 14534 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286095034 9856004096 30770 33554432000 1073741824 1073778376 140735629521056 140270944369784 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14534/tid=14552] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14552/stat : 14552 (java) S 14532 14534 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286095034 9856004096 30770 33554432000 1073741824 1073778376 140735629521056 140270943317192 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14534/tid=14553] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14553/stat : 14553 (java) S 14532 14534 13800 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 286095076 9856004096 30770 33554432000 1073741824 1073778376 140735629521056 140270942262184 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 9625004

[startup+3.10071 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 14553
/proc/meminfo: memFree=23830408/32873660 swapFree=7120/7120
[pid=14534] ppid=14532 vsize=9625004 CPUtime=4.22 cores=1,3,5,7
/proc/14534/stat : 14534 (java) S 14532 14534 13800 0 -1 4202496 9742 0 1 0 417 5 0 0 20 0 19 0 286095028 9856004096 30777 33554432000 1073741824 1073778376 140735629521056 140735629512192 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14534/statm: 2406251 30777 2292 9 0 2396937 0
[pid=14534/tid=14536] ppid=14532 vsize=9625004 CPUtime=2.92 cores=1,3,5,7
/proc/14534/task/14536/stat : 14536 (java) R 14532 14534 13800 0 -1 4202560 2546 0 1 0 290 2 0 0 20 0 19 0 286095029 9856004096 30777 33554432000 1073741824 1073778376 140735629521056 140271865557280 140271703286602 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14534/tid=14537] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14537/stat : 14537 (java) S 14532 14534 13800 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 286095030 9856004096 30777 33554432000 1073741824 1073778376 140735629521056 140271827048744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14534/tid=14538] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14538/stat : 14538 (java) S 14532 14534 13800 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 286095030 9856004096 30777 33554432000 1073741824 1073778376 140735629521056 140271825995944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14534/tid=14539] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14539/stat : 14539 (java) S 14532 14534 13800 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 286095030 9856004096 30777 33554432000 1073741824 1073778376 140735629521056 140271824943656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14534/tid=14540] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14540/stat : 14540 (java) S 14532 14534 13800 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 286095030 9856004096 30777 33554432000 1073741824 1073778376 140735629521056 140271823890856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14534/tid=14541] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14541/stat : 14541 (java) S 14532 14534 13800 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286095030 9856004096 30777 33554432000 1073741824 1073778376 140735629521056 140271822838568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14534/tid=14542] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14542/stat : 14542 (java) S 14532 14534 13800 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 286095030 9856004096 30777 33554432000 1073741824 1073778376 140735629521056 140271821785768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14534/tid=14543] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14543/stat : 14543 (java) S 14532 14534 13800 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 286095030 9856004096 30777 33554432000 1073741824 1073778376 140735629521056 140271702502440 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14534/tid=14544] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14544/stat : 14544 (java) S 14532 14534 13800 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 286095030 9856004096 30777 33554432000 1073741824 1073778376 140735629521056 140271701449640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14534/tid=14545] ppid=14532 vsize=9625004 CPUtime=0.1 cores=1,3,5,7
/proc/14534/task/14545/stat : 14545 (java) S 14532 14534 13800 0 -1 4202560 34 0 0 0 10 0 0 0 20 0 19 0 286095031 9856004096 30777 33554432000 1073741824 1073778376 140735629521056 140271689251048 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14534/tid=14546] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14546/stat : 14546 (java) S 14532 14534 13800 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286095032 9856004096 30777 33554432000 1073741824 1073778376 140735629521056 140271688197112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14534/tid=14547] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14547/stat : 14547 (java) S 14532 14534 13800 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286095032 9856004096 30777 33554432000 1073741824 1073778376 140735629521056 140271687144712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14534/tid=14548] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14548/stat : 14548 (java) S 14532 14534 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286095034 9856004096 30777 33554432000 1073741824 1073778376 140735629521056 140270947527056 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14534/tid=14549] ppid=14532 vsize=9625004 CPUtime=0.54 cores=1,3,5,7
/proc/14534/task/14549/stat : 14549 (java) S 14532 14534 13800 0 -1 4202560 2707 0 0 0 54 0 0 0 20 0 19 0 286095034 9856004096 30777 33554432000 1073741824 1073778376 140735629521056 140270946474680 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14534/tid=14550] ppid=14532 vsize=9625004 CPUtime=0.55 cores=1,3,5,7
/proc/14534/task/14550/stat : 14550 (java) S 14532 14534 13800 0 -1 4202560 3222 0 0 0 55 0 0 0 20 0 19 0 286095034 9856004096 30777 33554432000 1073741824 1073778376 140735629521056 140270945421880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14534/tid=14551] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14551/stat : 14551 (java) S 14532 14534 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286095034 9856004096 30777 33554432000 1073741824 1073778376 140735629521056 140270944369784 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14534/tid=14552] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14552/stat : 14552 (java) S 14532 14534 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286095034 9856004096 30777 33554432000 1073741824 1073778376 140735629521056 140270943317192 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14534/tid=14553] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14553/stat : 14553 (java) S 14532 14534 13800 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 286095076 9856004096 30777 33554432000 1073741824 1073778376 140735629521056 140270942262184 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.22
Current children cumulated vsize (KiB) 9625004

[startup+6.30072 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 14553
/proc/meminfo: memFree=23830048/32873660 swapFree=7120/7120
[pid=14534] ppid=14532 vsize=9625004 CPUtime=7.48 cores=1,3,5,7
/proc/14534/stat : 14534 (java) S 14532 14534 13800 0 -1 4202496 9763 0 1 0 743 5 0 0 20 0 19 0 286095028 9856004096 31661 33554432000 1073741824 1073778376 140735629521056 140735629512192 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14534/statm: 2406251 31661 2292 9 0 2396937 0
[pid=14534/tid=14536] ppid=14532 vsize=9625004 CPUtime=5.94 cores=1,3,5,7
/proc/14534/task/14536/stat : 14536 (java) R 14532 14534 13800 0 -1 4202560 2555 0 1 0 592 2 0 0 20 0 19 0 286095029 9856004096 31661 33554432000 1073741824 1073778376 140735629521056 140271865557400 140271703390861 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14534/tid=14537] ppid=14532 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/14534/task/14537/stat : 14537 (java) S 14532 14534 13800 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 286095030 9856004096 31661 33554432000 1073741824 1073778376 140735629521056 140271827048744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14534/tid=14538] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14538/stat : 14538 (java) S 14532 14534 13800 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 286095030 9856004096 31661 33554432000 1073741824 1073778376 140735629521056 140271825995944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14534/tid=14539] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14539/stat : 14539 (java) S 14532 14534 13800 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 286095030 9856004096 31661 33554432000 1073741824 1073778376 140735629521056 140271824943656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14534/tid=14540] ppid=14532 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/14534/task/14540/stat : 14540 (java) S 14532 14534 13800 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 286095030 9856004096 31661 33554432000 1073741824 1073778376 140735629521056 140271823890856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14534/tid=14541] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14541/stat : 14541 (java) S 14532 14534 13800 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 286095030 9856004096 31661 33554432000 1073741824 1073778376 140735629521056 140271822838568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14534/tid=14542] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14542/stat : 14542 (java) S 14532 14534 13800 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 286095030 9856004096 31661 33554432000 1073741824 1073778376 140735629521056 140271821785768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14534/tid=14543] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14543/stat : 14543 (java) S 14532 14534 13800 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 286095030 9856004096 31661 33554432000 1073741824 1073778376 140735629521056 140271702502440 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14534/tid=14544] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14544/stat : 14544 (java) S 14532 14534 13800 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 286095030 9856004096 31661 33554432000 1073741824 1073778376 140735629521056 140271701449640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14534/tid=14545] ppid=14532 vsize=9625004 CPUtime=0.24 cores=1,3,5,7
/proc/14534/task/14545/stat : 14545 (java) S 14532 14534 13800 0 -1 4202560 34 0 0 0 24 0 0 0 20 0 19 0 286095031 9856004096 31661 33554432000 1073741824 1073778376 140735629521056 140271689251048 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14534/tid=14546] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14546/stat : 14546 (java) S 14532 14534 13800 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286095032 9856004096 31661 33554432000 1073741824 1073778376 140735629521056 140271688197112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14534/tid=14547] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14547/stat : 14547 (java) S 14532 14534 13800 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286095032 9856004096 31661 33554432000 1073741824 1073778376 140735629521056 140271687144712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14534/tid=14548] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14548/stat : 14548 (java) S 14532 14534 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286095034 9856004096 31661 33554432000 1073741824 1073778376 140735629521056 140270947527056 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14534/tid=14549] ppid=14532 vsize=9625004 CPUtime=0.54 cores=1,3,5,7
/proc/14534/task/14549/stat : 14549 (java) S 14532 14534 13800 0 -1 4202560 2707 0 0 0 54 0 0 0 20 0 19 0 286095034 9856004096 31661 33554432000 1073741824 1073778376 140735629521056 140270946474680 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14534/tid=14550] ppid=14532 vsize=9625004 CPUtime=0.57 cores=1,3,5,7
/proc/14534/task/14550/stat : 14550 (java) S 14532 14534 13800 0 -1 4202560 3222 0 0 0 57 0 0 0 20 0 19 0 286095034 9856004096 31661 33554432000 1073741824 1073778376 140735629521056 140270945421880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14534/tid=14551] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14551/stat : 14551 (java) S 14532 14534 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286095034 9856004096 31661 33554432000 1073741824 1073778376 140735629521056 140270944369784 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14534/tid=14552] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14552/stat : 14552 (java) S 14532 14534 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286095034 9856004096 31661 33554432000 1073741824 1073778376 140735629521056 140270943317192 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14534/tid=14553] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14553/stat : 14553 (java) S 14532 14534 13800 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 286095076 9856004096 31661 33554432000 1073741824 1073778376 140735629521056 140270942262184 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.48
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

[pid=14534/tid=14549] ppid=14532 vsize=9625004 CPUtime=0.54 cores=1,3,5,7
/proc/14534/task/14549/stat : 14549 (java) S 14532 14534 13800 0 -1 4202560 2707 0 0 0 54 0 0 0 20 0 19 0 286095034 9856004096 84591 33554432000 1073741824 1073778376 140735629521056 140270946474680 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14534/tid=14550] ppid=14532 vsize=9625004 CPUtime=0.59 cores=1,3,5,7
/proc/14534/task/14550/stat : 14550 (java) S 14532 14534 13800 0 -1 4202560 3540 0 0 0 59 0 0 0 20 0 19 0 286095034 9856004096 84591 33554432000 1073741824 1073778376 140735629521056 140270945421880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14534/tid=14551] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14551/stat : 14551 (java) S 14532 14534 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286095034 9856004096 84591 33554432000 1073741824 1073778376 140735629521056 140270944369784 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14534/tid=14552] ppid=14532 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/14534/task/14552/stat : 14552 (java) S 14532 14534 13800 0 -1 4202560 95 0 0 0 16 17 0 0 20 0 19 0 286095034 9856004096 84591 33554432000 1073741824 1073778376 140735629521056 140270943317192 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14534/tid=14553] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14553/stat : 14553 (java) S 14532 14534 13800 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 286095076 9856004096 84591 33554432000 1073741824 1073778376 140735629521056 140270942262184 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1674.33
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/213 14628
/proc/meminfo: memFree=24947588/32873660 swapFree=7120/7120
[pid=14534] ppid=14532 vsize=9625004 CPUtime=1734.87 cores=1,3,5,7
/proc/14534/stat : 14534 (java) S 14532 14534 13800 0 -1 4202496 13287 0 1 0 173428 59 0 0 20 0 19 0 286095028 9856004096 84764 33554432000 1073741824 1073778376 140735629521056 140735629512192 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14534/statm: 2406251 84764 2293 9 0 2396937 0
[pid=14534/tid=14536] ppid=14532 vsize=9625004 CPUtime=1693.54 cores=1,3,5,7
/proc/14534/task/14536/stat : 14536 (java) R 14532 14534 13800 0 -1 4202560 3027 0 1 0 169326 28 0 0 20 0 19 0 286095029 9856004096 84764 33554432000 1073741824 1073778376 140735629521056 140271865557280 140271703150532 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14534/tid=14537] ppid=14532 vsize=9625004 CPUtime=2.11 cores=1,3,5,7
/proc/14534/task/14537/stat : 14537 (java) S 14532 14534 13800 0 -1 4202560 272 0 0 0 206 5 0 0 20 0 19 0 286095030 9856004096 84764 33554432000 1073741824 1073778376 140735629521056 140271827048744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14534/tid=14538] ppid=14532 vsize=9625004 CPUtime=2 cores=1,3,5,7
/proc/14534/task/14538/stat : 14538 (java) S 14532 14534 13800 0 -1 4202560 412 0 0 0 196 4 0 0 20 0 19 0 286095030 9856004096 84764 33554432000 1073741824 1073778376 140735629521056 140271825995944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14534/tid=14539] ppid=14532 vsize=9625004 CPUtime=1.92 cores=1,3,5,7
/proc/14534/task/14539/stat : 14539 (java) S 14532 14534 13800 0 -1 4202560 258 0 0 0 188 4 0 0 20 0 19 0 286095030 9856004096 84764 33554432000 1073741824 1073778376 140735629521056 140271824943656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14534/tid=14540] ppid=14532 vsize=9625004 CPUtime=1.97 cores=1,3,5,7
/proc/14534/task/14540/stat : 14540 (java) S 14532 14534 13800 0 -1 4202560 386 0 0 0 193 4 0 0 20 0 19 0 286095030 9856004096 84764 33554432000 1073741824 1073778376 140735629521056 140271823890856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14534/tid=14541] ppid=14532 vsize=9625004 CPUtime=1.94 cores=1,3,5,7
/proc/14534/task/14541/stat : 14541 (java) S 14532 14534 13800 0 -1 4202560 198 0 0 0 190 4 0 0 20 0 19 0 286095030 9856004096 84764 33554432000 1073741824 1073778376 140735629521056 140271822838568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14534/tid=14542] ppid=14532 vsize=9625004 CPUtime=2.01 cores=1,3,5,7
/proc/14534/task/14542/stat : 14542 (java) S 14532 14534 13800 0 -1 4202560 331 0 0 0 198 3 0 0 20 0 19 0 286095030 9856004096 84764 33554432000 1073741824 1073778376 140735629521056 140271821785768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14534/tid=14543] ppid=14532 vsize=9625004 CPUtime=1.96 cores=1,3,5,7
/proc/14534/task/14543/stat : 14543 (java) S 14532 14534 13800 0 -1 4202560 299 0 0 0 192 4 0 0 20 0 19 0 286095030 9856004096 84764 33554432000 1073741824 1073778376 140735629521056 140271702502440 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14534/tid=14544] ppid=14532 vsize=9625004 CPUtime=1.99 cores=1,3,5,7
/proc/14534/task/14544/stat : 14544 (java) S 14532 14534 13800 0 -1 4202560 435 0 0 0 196 3 0 0 20 0 19 0 286095030 9856004096 84764 33554432000 1073741824 1073778376 140735629521056 140271701449640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14534/tid=14545] ppid=14532 vsize=9625004 CPUtime=19.61 cores=1,3,5,7
/proc/14534/task/14545/stat : 14545 (java) S 14532 14534 13800 0 -1 4202560 138 0 0 0 1958 3 0 0 20 0 19 0 286095031 9856004096 84764 33554432000 1073741824 1073778376 140735629521056 140271689251048 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14534/tid=14546] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14546/stat : 14546 (java) S 14532 14534 13800 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286095032 9856004096 84764 33554432000 1073741824 1073778376 140735629521056 140271688197112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14534/tid=14547] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14547/stat : 14547 (java) S 14532 14534 13800 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286095032 9856004096 84764 33554432000 1073741824 1073778376 140735629521056 140271687144712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14534/tid=14548] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14548/stat : 14548 (java) S 14532 14534 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286095034 9856004096 84764 33554432000 1073741824 1073778376 140735629521056 140270947527056 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14534/tid=14549] ppid=14532 vsize=9625004 CPUtime=0.54 cores=1,3,5,7
/proc/14534/task/14549/stat : 14549 (java) S 14532 14534 13800 0 -1 4202560 2707 0 0 0 54 0 0 0 20 0 19 0 286095034 9856004096 84764 33554432000 1073741824 1073778376 140735629521056 140270946474680 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14534/tid=14550] ppid=14532 vsize=9625004 CPUtime=0.59 cores=1,3,5,7
/proc/14534/task/14550/stat : 14550 (java) S 14532 14534 13800 0 -1 4202560 3540 0 0 0 59 0 0 0 20 0 19 0 286095034 9856004096 84764 33554432000 1073741824 1073778376 140735629521056 140270945421880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14534/tid=14551] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14551/stat : 14551 (java) S 14532 14534 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286095034 9856004096 84764 33554432000 1073741824 1073778376 140735629521056 140270944369784 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14534/tid=14552] ppid=14532 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/14534/task/14552/stat : 14552 (java) S 14532 14534 13800 0 -1 4202560 99 0 0 0 16 18 0 0 20 0 19 0 286095034 9856004096 84764 33554432000 1073741824 1073778376 140735629521056 140270943317192 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14534/tid=14553] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14553/stat : 14553 (java) S 14532 14534 13800 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 286095076 9856004096 84764 33554432000 1073741824 1073778376 140735629521056 140270942262184 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1734.87
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/213 14628
/proc/meminfo: memFree=24662992/32873660 swapFree=7120/7120
[pid=14534] ppid=14532 vsize=9625004 CPUtime=1795.18 cores=1,3,5,7
/proc/14534/stat : 14534 (java) S 14532 14534 13800 0 -1 4202496 13350 0 1 0 179458 60 0 0 20 0 19 0 286095028 9856004096 84807 33554432000 1073741824 1073778376 140735629521056 140735629512192 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14534/statm: 2406251 84807 2293 9 0 2396937 0
[pid=14534/tid=14536] ppid=14532 vsize=9625004 CPUtime=1752.53 cores=1,3,5,7
/proc/14534/task/14536/stat : 14536 (java) R 14532 14534 13800 0 -1 4202560 3039 0 1 0 175224 29 0 0 20 0 19 0 286095029 9856004096 84807 33554432000 1073741824 1073778376 140735629521056 140271865557400 140271703282617 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14534/tid=14537] ppid=14532 vsize=9625004 CPUtime=2.18 cores=1,3,5,7
/proc/14534/task/14537/stat : 14537 (java) S 14532 14534 13800 0 -1 4202560 295 0 0 0 213 5 0 0 20 0 19 0 286095030 9856004096 84807 33554432000 1073741824 1073778376 140735629521056 140271827048744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14534/tid=14538] ppid=14532 vsize=9625004 CPUtime=2.06 cores=1,3,5,7
/proc/14534/task/14538/stat : 14538 (java) S 14532 14534 13800 0 -1 4202560 412 0 0 0 202 4 0 0 20 0 19 0 286095030 9856004096 84807 33554432000 1073741824 1073778376 140735629521056 140271825995944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14534/tid=14539] ppid=14532 vsize=9625004 CPUtime=1.97 cores=1,3,5,7
/proc/14534/task/14539/stat : 14539 (java) S 14532 14534 13800 0 -1 4202560 258 0 0 0 193 4 0 0 20 0 19 0 286095030 9856004096 84807 33554432000 1073741824 1073778376 140735629521056 140271824943656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14534/tid=14540] ppid=14532 vsize=9625004 CPUtime=2.02 cores=1,3,5,7
/proc/14534/task/14540/stat : 14540 (java) S 14532 14534 13800 0 -1 4202560 386 0 0 0 198 4 0 0 20 0 19 0 286095030 9856004096 84807 33554432000 1073741824 1073778376 140735629521056 140271823890856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14534/tid=14541] ppid=14532 vsize=9625004 CPUtime=1.99 cores=1,3,5,7
/proc/14534/task/14541/stat : 14541 (java) S 14532 14534 13800 0 -1 4202560 198 0 0 0 195 4 0 0 20 0 19 0 286095030 9856004096 84807 33554432000 1073741824 1073778376 140735629521056 140271822838568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14534/tid=14542] ppid=14532 vsize=9625004 CPUtime=2.06 cores=1,3,5,7
/proc/14534/task/14542/stat : 14542 (java) S 14532 14534 13800 0 -1 4202560 351 0 0 0 203 3 0 0 20 0 19 0 286095030 9856004096 84807 33554432000 1073741824 1073778376 140735629521056 140271821785768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14534/tid=14543] ppid=14532 vsize=9625004 CPUtime=2 cores=1,3,5,7
/proc/14534/task/14543/stat : 14543 (java) S 14532 14534 13800 0 -1 4202560 299 0 0 0 196 4 0 0 20 0 19 0 286095030 9856004096 84807 33554432000 1073741824 1073778376 140735629521056 140271702502440 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14534/tid=14544] ppid=14532 vsize=9625004 CPUtime=2.05 cores=1,3,5,7
/proc/14534/task/14544/stat : 14544 (java) S 14532 14534 13800 0 -1 4202560 435 0 0 0 202 3 0 0 20 0 19 0 286095030 9856004096 84807 33554432000 1073741824 1073778376 140735629521056 140271701449640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14534/tid=14545] ppid=14532 vsize=9625004 CPUtime=20.33 cores=1,3,5,7
/proc/14534/task/14545/stat : 14545 (java) S 14532 14534 13800 0 -1 4202560 142 0 0 0 2030 3 0 0 20 0 19 0 286095031 9856004096 84807 33554432000 1073741824 1073778376 140735629521056 140271689251048 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14534/tid=14546] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14546/stat : 14546 (java) S 14532 14534 13800 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286095032 9856004096 84807 33554432000 1073741824 1073778376 140735629521056 140271688197112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14534/tid=14547] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14547/stat : 14547 (java) S 14532 14534 13800 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286095032 9856004096 84807 33554432000 1073741824 1073778376 140735629521056 140271687144712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14534/tid=14548] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14548/stat : 14548 (java) S 14532 14534 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286095034 9856004096 84807 33554432000 1073741824 1073778376 140735629521056 140270947527056 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14534/tid=14549] ppid=14532 vsize=9625004 CPUtime=0.54 cores=1,3,5,7
/proc/14534/task/14549/stat : 14549 (java) S 14532 14534 13800 0 -1 4202560 2707 0 0 0 54 0 0 0 20 0 19 0 286095034 9856004096 84807 33554432000 1073741824 1073778376 140735629521056 140270946474680 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14534/tid=14550] ppid=14532 vsize=9625004 CPUtime=0.59 cores=1,3,5,7
/proc/14534/task/14550/stat : 14550 (java) S 14532 14534 13800 0 -1 4202560 3540 0 0 0 59 0 0 0 20 0 19 0 286095034 9856004096 84807 33554432000 1073741824 1073778376 140735629521056 140270945421880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14534/tid=14551] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14551/stat : 14551 (java) S 14532 14534 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286095034 9856004096 84807 33554432000 1073741824 1073778376 140735629521056 140270944369784 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14534/tid=14552] ppid=14532 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/14534/task/14552/stat : 14552 (java) S 14532 14534 13800 0 -1 4202560 103 0 0 0 17 18 0 0 20 0 19 0 286095034 9856004096 84807 33554432000 1073741824 1073778376 140735629521056 140270943317192 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14534/tid=14553] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14553/stat : 14553 (java) S 14532 14534 13800 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 286095076 9856004096 84807 33554432000 1073741824 1073778376 140735629521056 140270942262184 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1795.18
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1787.2 s]
/proc/loadavg: 1.99 2.00 2.00 4/213 14628
/proc/meminfo: memFree=24662868/32873660 swapFree=7120/7120
[pid=14534] ppid=14532 vsize=9625004 CPUtime=1800.09 cores=1,3,5,7
/proc/14534/stat : 14534 (java) S 14532 14534 13800 0 -1 4202496 13350 0 1 0 179949 60 0 0 20 0 19 0 286095028 9856004096 84807 33554432000 1073741824 1073778376 140735629521056 140735629512192 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14534/statm: 2406251 84807 2293 9 0 2396937 0
[pid=14534/tid=14536] ppid=14532 vsize=9625004 CPUtime=1757.43 cores=1,3,5,7
/proc/14534/task/14536/stat : 14536 (java) R 14532 14534 13800 0 -1 4202560 3039 0 1 0 175714 29 0 0 20 0 19 0 286095029 9856004096 84807 33554432000 1073741824 1073778376 140735629521056 140271865557280 140271702738451 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14534/tid=14537] ppid=14532 vsize=9625004 CPUtime=2.18 cores=1,3,5,7
/proc/14534/task/14537/stat : 14537 (java) S 14532 14534 13800 0 -1 4202560 295 0 0 0 213 5 0 0 20 0 19 0 286095030 9856004096 84807 33554432000 1073741824 1073778376 140735629521056 140271827048744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14534/tid=14538] ppid=14532 vsize=9625004 CPUtime=2.06 cores=1,3,5,7
/proc/14534/task/14538/stat : 14538 (java) S 14532 14534 13800 0 -1 4202560 412 0 0 0 202 4 0 0 20 0 19 0 286095030 9856004096 84807 33554432000 1073741824 1073778376 140735629521056 140271825995944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14534/tid=14539] ppid=14532 vsize=9625004 CPUtime=1.97 cores=1,3,5,7
/proc/14534/task/14539/stat : 14539 (java) S 14532 14534 13800 0 -1 4202560 258 0 0 0 193 4 0 0 20 0 19 0 286095030 9856004096 84807 33554432000 1073741824 1073778376 140735629521056 140271824943656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14534/tid=14540] ppid=14532 vsize=9625004 CPUtime=2.02 cores=1,3,5,7
/proc/14534/task/14540/stat : 14540 (java) S 14532 14534 13800 0 -1 4202560 386 0 0 0 198 4 0 0 20 0 19 0 286095030 9856004096 84807 33554432000 1073741824 1073778376 140735629521056 140271823890856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14534/tid=14541] ppid=14532 vsize=9625004 CPUtime=1.99 cores=1,3,5,7
/proc/14534/task/14541/stat : 14541 (java) S 14532 14534 13800 0 -1 4202560 198 0 0 0 195 4 0 0 20 0 19 0 286095030 9856004096 84807 33554432000 1073741824 1073778376 140735629521056 140271822838568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14534/tid=14542] ppid=14532 vsize=9625004 CPUtime=2.06 cores=1,3,5,7
/proc/14534/task/14542/stat : 14542 (java) S 14532 14534 13800 0 -1 4202560 351 0 0 0 203 3 0 0 20 0 19 0 286095030 9856004096 84807 33554432000 1073741824 1073778376 140735629521056 140271821785768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14534/tid=14543] ppid=14532 vsize=9625004 CPUtime=2 cores=1,3,5,7
/proc/14534/task/14543/stat : 14543 (java) S 14532 14534 13800 0 -1 4202560 299 0 0 0 196 4 0 0 20 0 19 0 286095030 9856004096 84807 33554432000 1073741824 1073778376 140735629521056 140271702502440 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14534/tid=14544] ppid=14532 vsize=9625004 CPUtime=2.05 cores=1,3,5,7
/proc/14534/task/14544/stat : 14544 (java) S 14532 14534 13800 0 -1 4202560 435 0 0 0 202 3 0 0 20 0 19 0 286095030 9856004096 84807 33554432000 1073741824 1073778376 140735629521056 140271701449640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14534/tid=14545] ppid=14532 vsize=9625004 CPUtime=20.33 cores=1,3,5,7
/proc/14534/task/14545/stat : 14545 (java) S 14532 14534 13800 0 -1 4202560 142 0 0 0 2030 3 0 0 20 0 19 0 286095031 9856004096 84807 33554432000 1073741824 1073778376 140735629521056 140271689251048 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14534/tid=14546] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14546/stat : 14546 (java) S 14532 14534 13800 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286095032 9856004096 84807 33554432000 1073741824 1073778376 140735629521056 140271688197112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14534/tid=14547] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14547/stat : 14547 (java) S 14532 14534 13800 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286095032 9856004096 84807 33554432000 1073741824 1073778376 140735629521056 140271687144712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14534/tid=14548] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14548/stat : 14548 (java) S 14532 14534 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286095034 9856004096 84807 33554432000 1073741824 1073778376 140735629521056 140270947527056 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14534/tid=14549] ppid=14532 vsize=9625004 CPUtime=0.54 cores=1,3,5,7
/proc/14534/task/14549/stat : 14549 (java) S 14532 14534 13800 0 -1 4202560 2707 0 0 0 54 0 0 0 20 0 19 0 286095034 9856004096 84807 33554432000 1073741824 1073778376 140735629521056 140270946474680 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14534/tid=14550] ppid=14532 vsize=9625004 CPUtime=0.59 cores=1,3,5,7
/proc/14534/task/14550/stat : 14550 (java) S 14532 14534 13800 0 -1 4202560 3540 0 0 0 59 0 0 0 20 0 19 0 286095034 9856004096 84807 33554432000 1073741824 1073778376 140735629521056 140270945421880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14534/tid=14551] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14551/stat : 14551 (java) S 14532 14534 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286095034 9856004096 84807 33554432000 1073741824 1073778376 140735629521056 140270944369784 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14534/tid=14552] ppid=14532 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/14534/task/14552/stat : 14552 (java) S 14532 14534 13800 0 -1 4202560 103 0 0 0 17 18 0 0 20 0 19 0 286095034 9856004096 84807 33554432000 1073741824 1073778376 140735629521056 140270943317192 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14534/tid=14553] ppid=14532 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14534/task/14553/stat : 14553 (java) S 14532 14534 13800 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 286095076 9856004096 84807 33554432000 1073741824 1073778376 140735629521056 140270942262184 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625004

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14534 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=971122
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=949855
# CPU time returned by wait4() is 1795.92
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1787.26
CPU time (s): 1800.09
CPU user time (s): 1799.49
CPU system time (s): 0.6
CPU usage (%): 100.718
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.97
system time used= 0.949855
maximum resident set size= 339344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13383
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51301
involuntary context switches= 36776

runsolver used 6.32904 second user time and 14.3558 second system time

The end

Launcher Data 

Begin job on node117 at 2012-05-28 12:08:13
IDJOB=3711080
IDBENCH=89828
IDSOLVER=2289
FILE ID=node117/3711080-1338199693
RUNJOBID= node117-1338194296-13817
PBS_JOBID= 14624597
Free space on /tmp= 69816 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-1109824.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3711080-1338199693/watcher-3711080-1338199693 -o /tmp/evaluation-result-3711080-1338199693/solver-3711080-1338199693 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711080-1338199693.opb

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

MD5SUM BENCH= 6b78caa911ec8d23c05ac6a0b1089c62
RANDOM SEED=7746089

node117.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		: 2667.148
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	: 5334.29
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		: 2667.148
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		: 2667.148
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.91
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		: 2667.148
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.95
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		: 2667.148
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.91
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		: 2667.148
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		: 2667.148
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		: 2667.148
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:       32873660 kB
MemFree:        23945136 kB
Buffers:          583636 kB
Cached:          4336840 kB
SwapCached:            0 kB
Active:          5800440 kB
Inactive:        2209336 kB
Active(anon):    3073456 kB
Inactive(anon):    11352 kB
Active(file):    2726984 kB
Inactive(file):  2197984 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1612 kB
Writeback:             0 kB
AnonPages:       3089276 kB
Mapped:            22572 kB
Shmem:               200 kB
Slab:             773504 kB
SReclaimable:     217348 kB
SUnreclaim:       556156 kB
KernelStack:        1600 kB
PageTables:        10300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:    3345828 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3045376 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70048 MiB
End job on node117 at 2012-05-28 12:38:02