Trace number 3710909

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)30538 1800.02 1791.43

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/
submittedPB07/aksoy/trarea_ac/normalized-fir02_trarea_ac.opb
MD5SUMaa73e48897f9c10e5003e2188d9e7ab9
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24890
Best CPU time to get the best result obtained on this benchmark0.028994
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24890
Optimality of the best value was proved YES
Number of variables644
Total number of constraints1034
Number of constraints which are clauses1034
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint31
Number of terms in the objective function 353
Biggest coefficient in the objective function 2034
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 561307
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 2034
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 561307
Number of bits of the biggest sum of numbers20
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.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.08	c version 2.3.2.v20120418
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.09/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.12	c configuring ORDERS
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
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-3710909-1338162834.opb
0.09/0.12	c reading problem ... 
0.24/0.22	c ... done. Wall clock time 0.099s.
0.24/0.22	c declared #vars     644
0.24/0.22	c #constraints  1034
0.24/0.22	c constraints type 
0.24/0.22	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 292
0.24/0.22	c org.sat4j.minisat.constraints.cnf.UnitClause => 4
0.24/0.22	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 738
0.24/0.22	c 1034 constraints processed.
0.24/0.23	c SATISFIABLE
0.24/0.23	c OPTIMIZING...
0.24/0.23	c Got one! Elapsed wall clock time (in seconds):0.11
0.24/0.23	o 31651
0.24/0.24	c Got one! Elapsed wall clock time (in seconds):0.121
0.24/0.24	o 31537
1.10/0.70	c cleaning 2497 clauses out of 5003 with flag 5001/5003
1.44/1.08	c cleaning 4249 clauses out of 8506 with flag 11001/11003
1.95/1.50	c cleaning 5619 clauses out of 11256 with flag 18000/18002
2.36/1.98	c cleaning 6810 clauses out of 13638 with flag 26001/26003
2.99/2.53	c cleaning 7910 clauses out of 15827 with flag 35000/35002
3.59/3.11	c cleaning 8953 clauses out of 17917 with flag 45000/45002
4.19/3.78	c cleaning 9971 clauses out of 19964 with flag 56000/56002
4.99/4.53	c cleaning 10991 clauses out of 21994 with flag 68001/68003
5.79/5.34	c cleaning 11995 clauses out of 24003 with flag 81001/81003
6.60/6.18	c cleaning 12996 clauses out of 26008 with flag 95001/95003
7.61/7.10	c cleaning 14000 clauses out of 28011 with flag 110000/110002
8.61/8.12	c cleaning 14995 clauses out of 30011 with flag 126000/126002
9.63/9.19	c cleaning 15996 clauses out of 32016 with flag 143000/143002
10.83/10.34	c cleaning 17005 clauses out of 34020 with flag 161000/161002
12.16/11.64	c cleaning 17998 clauses out of 36015 with flag 180000/180002
13.46/12.94	c cleaning 19000 clauses out of 38017 with flag 200000/200002
14.79/14.29	c cleaning 20004 clauses out of 40019 with flag 221002/221004
16.18/15.63	c cleaning 20998 clauses out of 42015 with flag 243002/243004
17.68/17.15	c cleaning 21997 clauses out of 44015 with flag 266000/266002
19.21/18.70	c cleaning 22978 clauses out of 46018 with flag 290000/290002
20.91/20.34	c cleaning 24009 clauses out of 48042 with flag 315002/315004
22.62/22.06	c cleaning 24999 clauses out of 50031 with flag 341000/341002
24.41/23.87	c cleaning 26004 clauses out of 52033 with flag 368001/368003
26.41/25.86	c cleaning 27009 clauses out of 54028 with flag 396000/396002
28.32/27.75	c cleaning 27999 clauses out of 56019 with flag 425000/425002
30.33/29.78	c cleaning 28998 clauses out of 58020 with flag 455000/455002
32.54/31.91	c cleaning 30001 clauses out of 60022 with flag 486000/486002
34.75/34.19	c cleaning 30987 clauses out of 62021 with flag 518000/518002
36.97/36.38	c cleaning 31995 clauses out of 64034 with flag 551000/551002
39.30/38.70	c cleaning 33009 clauses out of 66039 with flag 585000/585002
41.71/41.02	c cleaning 34004 clauses out of 68030 with flag 620000/620002
44.12/43.48	c cleaning 34990 clauses out of 70026 with flag 656000/656002
46.74/46.08	c cleaning 36006 clauses out of 72036 with flag 693000/693002
49.56/48.82	c cleaning 36995 clauses out of 74031 with flag 731001/731003
52.37/51.63	c cleaning 38002 clauses out of 76035 with flag 770000/770002
55.07/54.39	c cleaning 38993 clauses out of 78035 with flag 810002/810004
58.37/57.60	c cleaning 40004 clauses out of 80040 with flag 851000/851002
61.58/60.84	c cleaning 41012 clauses out of 82038 with flag 893002/893004
64.59/63.89	c cleaning 41989 clauses out of 84024 with flag 936000/936002
67.59/66.88	c cleaning 43006 clauses out of 86035 with flag 980000/980002
70.91/70.12	c cleaning 44008 clauses out of 88029 with flag 1025000/1025002
74.31/73.55	c cleaning 44998 clauses out of 90021 with flag 1071000/1071002
77.72/76.98	c cleaning 46000 clauses out of 92023 with flag 1118000/1118002
81.62/80.84	c cleaning 46990 clauses out of 94023 with flag 1166000/1166002
84.93/84.18	c cleaning 48002 clauses out of 96034 with flag 1215001/1215003
88.65/87.86	c cleaning 48991 clauses out of 98031 with flag 1265000/1265002
92.16/91.31	c cleaning 50007 clauses out of 100040 with flag 1316000/1316002
95.79/94.98	c cleaning 50999 clauses out of 102033 with flag 1368000/1368002
99.60/98.73	c cleaning 52007 clauses out of 104035 with flag 1421001/1421003
103.32/102.42	c cleaning 53004 clauses out of 106028 with flag 1475001/1475003
107.46/106.59	c cleaning 54004 clauses out of 108023 with flag 1530000/1530002
111.89/110.94	c cleaning 54998 clauses out of 110019 with flag 1586000/1586002
116.11/115.16	c cleaning 55994 clauses out of 112021 with flag 1643000/1643002
120.73/119.71	c cleaning 57007 clauses out of 114027 with flag 1701000/1701002
125.55/124.53	c cleaning 57993 clauses out of 116020 with flag 1760000/1760002
130.36/129.36	c cleaning 59001 clauses out of 118027 with flag 1820000/1820002
135.18/134.20	c cleaning 60005 clauses out of 120027 with flag 1881001/1881003
139.98/138.93	c cleaning 61003 clauses out of 122021 with flag 1943000/1943002
145.00/143.99	c cleaning 61997 clauses out of 124018 with flag 2006000/2006002
149.72/148.62	c cleaning 63005 clauses out of 126021 with flag 2070000/2070002
154.64/153.55	c cleaning 63983 clauses out of 128016 with flag 2135000/2135002
159.76/158.64	c cleaning 65008 clauses out of 130033 with flag 2201000/2201002
165.77/164.64	c cleaning 65999 clauses out of 132025 with flag 2268000/2268002
170.79/169.60	c cleaning 66993 clauses out of 134027 with flag 2336001/2336003
176.19/175.06	c cleaning 67992 clauses out of 136033 with flag 2405000/2405002
181.32/180.17	c cleaning 69007 clauses out of 138041 with flag 2475000/2475002
187.74/186.57	c cleaning 69996 clauses out of 140034 with flag 2546000/2546002
190.85/189.64	c Got one! Elapsed wall clock time (in seconds):189.521
190.85/189.64	o 31195
191.56/190.33	c cleaning 59379 clauses out of 118771 with flag 5001/2594735
192.05/190.84	c cleaning 32682 clauses out of 65391 with flag 11000/2600734
192.58/191.32	c cleaning 19849 clauses out of 39711 with flag 18002/2607736
193.08/191.84	c cleaning 13913 clauses out of 27860 with flag 26000/2615734
193.70/192.41	c cleaning 11464 clauses out of 22947 with flag 35000/2624734
194.30/193.05	c cleaning 10702 clauses out of 21483 with flag 45000/2634734
195.00/193.75	c cleaning 10881 clauses out of 21784 with flag 56003/2645737
195.72/194.49	c cleaning 11441 clauses out of 22900 with flag 68000/2657734
196.54/195.25	c cleaning 12221 clauses out of 24463 with flag 81004/2670738
197.34/196.10	c cleaning 13108 clauses out of 26238 with flag 95000/2684734
198.38/197.04	c cleaning 14052 clauses out of 28130 with flag 110000/2699734
199.29/198.00	c cleaning 15028 clauses out of 30079 with flag 126001/2715735
200.39/199.06	c cleaning 16005 clauses out of 32050 with flag 143000/2732734
201.50/200.18	c cleaning 17009 clauses out of 34045 with flag 161000/2750734
202.70/201.35	c cleaning 17993 clauses out of 36036 with flag 180000/2769734
203.90/202.59	c cleaning 19005 clauses out of 38045 with flag 200002/2789736
205.31/203.91	c cleaning 19995 clauses out of 40038 with flag 221000/2810734
206.62/205.25	c cleaning 20976 clauses out of 42043 with flag 243000/2832734
208.04/206.70	c cleaning 22018 clauses out of 44068 with flag 266001/2855735
209.66/208.21	c cleaning 23002 clauses out of 46052 with flag 290003/2879737
211.26/209.82	c cleaning 24001 clauses out of 48048 with flag 315001/2904735
212.86/211.43	c cleaning 25006 clauses out of 50046 with flag 341000/2930734
214.57/213.11	c cleaning 26000 clauses out of 52040 with flag 368000/2957734
216.27/214.87	c cleaning 27009 clauses out of 54040 with flag 396000/2985734
218.18/216.73	c cleaning 28010 clauses out of 56031 with flag 425000/3014734
220.09/218.69	c cleaning 28993 clauses out of 58021 with flag 455000/3044734
222.20/220.70	c cleaning 30002 clauses out of 60028 with flag 486000/3075734
224.30/222.83	c cleaning 31002 clauses out of 62026 with flag 518000/3107734
226.40/224.98	c cleaning 32001 clauses out of 64025 with flag 551001/3140735
228.81/227.38	c cleaning 33001 clauses out of 66023 with flag 585000/3174734
231.22/229.73	c cleaning 34001 clauses out of 68022 with flag 620000/3209734
233.82/232.35	c cleaning 35005 clauses out of 70022 with flag 656001/3245735
236.43/234.98	c cleaning 35999 clauses out of 72016 with flag 693000/3282734
239.33/237.87	c cleaning 37001 clauses out of 74021 with flag 731004/3320738
242.36/240.84	c cleaning 37999 clauses out of 76019 with flag 770003/3359737
245.36/243.84	c cleaning 38999 clauses out of 78017 with flag 810000/3399734
248.16/246.69	c cleaning 39992 clauses out of 80018 with flag 851000/3440734
251.07/249.54	c cleaning 40996 clauses out of 82026 with flag 893000/3482734
253.99/252.49	c cleaning 41988 clauses out of 84030 with flag 936000/3525734
257.09/255.53	c cleaning 43010 clauses out of 86045 with flag 980003/3569737
260.20/258.63	c cleaning 43991 clauses out of 88032 with flag 1025000/3614734
263.34/261.72	c cleaning 45014 clauses out of 90041 with flag 1071000/3660734
266.98/265.32	c cleaning 46008 clauses out of 92027 with flag 1118000/3707734
270.78/269.11	c cleaning 46988 clauses out of 94020 with flag 1166001/3755735
274.39/272.71	c cleaning 48007 clauses out of 96031 with flag 1215000/3804734
278.31/276.68	c cleaning 49005 clauses out of 98026 with flag 1265002/3854736
282.03/280.37	c cleaning 50001 clauses out of 100021 with flag 1316002/3905736
285.93/284.25	c cleaning 51000 clauses out of 102018 with flag 1368000/3957734
289.75/288.05	c cleaning 51995 clauses out of 104018 with flag 1421000/4010734
294.06/292.33	c cleaning 52993 clauses out of 106023 with flag 1475000/4064734
298.37/296.62	c cleaning 53987 clauses out of 108030 with flag 1530000/4119734
302.97/301.23	c cleaning 55012 clauses out of 110043 with flag 1586000/4175734
307.18/305.49	c cleaning 56010 clauses out of 112031 with flag 1643000/4232734
311.79/310.04	c cleaning 56998 clauses out of 114021 with flag 1701000/4290734
312.10/310.39	c Got one! Elapsed wall clock time (in seconds):310.27
312.10/310.39	o 31150
312.60/310.83	c cleaning 33762 clauses out of 67551 with flag 5002/4301262
313.01/311.25	c cleaning 19879 clauses out of 39787 with flag 11000/4307260
313.53/311.70	c cleaning 13438 clauses out of 26908 with flag 18000/4314260
314.04/312.21	c cleaning 10728 clauses out of 21471 with flag 26001/4322261
314.66/312.80	c cleaning 9866 clauses out of 19742 with flag 35000/4331260
315.27/313.43	c cleaning 9932 clauses out of 19876 with flag 45000/4341260
315.96/314.12	c cleaning 10455 clauses out of 20944 with flag 56000/4352260
316.70/314.88	c cleaning 11227 clauses out of 22489 with flag 68000/4364260
317.62/315.72	c cleaning 12113 clauses out of 24262 with flag 81000/4377260
318.52/316.63	c cleaning 13061 clauses out of 26149 with flag 95000/4391260
319.54/317.63	c cleaning 14030 clauses out of 28088 with flag 110000/4406260
320.55/318.65	c cleaning 15011 clauses out of 30058 with flag 126000/4422260
321.66/319.76	c cleaning 16016 clauses out of 32047 with flag 143000/4439260
322.87/320.96	c cleaning 16999 clauses out of 34031 with flag 161000/4457260
324.07/322.18	c cleaning 18000 clauses out of 36032 with flag 180000/4476260
325.40/323.43	c cleaning 19007 clauses out of 38033 with flag 200001/4496261
326.72/324.76	c cleaning 20000 clauses out of 40026 with flag 221001/4517261
328.12/326.10	c cleaning 20991 clauses out of 42025 with flag 243000/4539260
329.54/327.55	c cleaning 22007 clauses out of 44035 with flag 266001/4562261
331.16/329.13	c cleaning 23004 clauses out of 46028 with flag 290001/4586261
332.56/330.56	c Got one! Elapsed wall clock time (in seconds):330.442
332.56/330.56	o 31060
333.06/330.95	c cleaning 25209 clauses out of 50437 with flag 5000/4613674
333.47/331.36	c cleaning 15606 clauses out of 31229 with flag 11001/4619675
333.89/331.79	c cleaning 11297 clauses out of 22622 with flag 18000/4626674
334.50/332.32	c cleaning 9637 clauses out of 19325 with flag 26000/4634674
335.02/332.89	c cleaning 9330 clauses out of 18688 with flag 35000/4643674
335.72/333.51	c cleaning 9659 clauses out of 19358 with flag 45000/4653674
336.32/334.17	c cleaning 10337 clauses out of 20700 with flag 56001/4664675
337.12/334.91	c cleaning 11154 clauses out of 22362 with flag 68000/4676674
337.93/335.71	c cleaning 12091 clauses out of 24208 with flag 81000/4689674
338.75/336.59	c cleaning 13043 clauses out of 26117 with flag 95000/4703674
339.77/337.58	c cleaning 14022 clauses out of 28074 with flag 110000/4718674
340.87/338.64	c cleaning 15012 clauses out of 30052 with flag 126000/4734674
341.98/339.75	c cleaning 16006 clauses out of 32040 with flag 143000/4751674
343.18/340.94	c cleaning 17008 clauses out of 34035 with flag 161001/4769675
344.48/342.20	c cleaning 18001 clauses out of 36026 with flag 180000/4788674
345.89/343.60	c cleaning 18997 clauses out of 38028 with flag 200003/4808677
347.30/345.08	c cleaning 20000 clauses out of 40028 with flag 221000/4829674
348.90/346.66	c cleaning 20998 clauses out of 42030 with flag 243002/4851676
350.62/348.31	c cleaning 22005 clauses out of 44031 with flag 266001/4874675
352.23/349.96	c cleaning 23003 clauses out of 46026 with flag 290001/4898675
353.93/351.65	c cleaning 23993 clauses out of 48022 with flag 315000/4923674
355.65/353.35	c cleaning 24999 clauses out of 50030 with flag 341001/4949675
357.56/355.21	c cleaning 26003 clauses out of 52030 with flag 368000/4976674
359.37/357.07	c cleaning 27005 clauses out of 54027 with flag 396000/5004674
361.48/359.12	c cleaning 27996 clauses out of 56023 with flag 425001/5033675
363.58/361.20	c cleaning 29001 clauses out of 58026 with flag 455000/5063674
365.79/363.41	c cleaning 29993 clauses out of 60025 with flag 486000/5094674
368.09/365.70	c cleaning 31004 clauses out of 62033 with flag 518001/5126675
370.29/367.96	c cleaning 32001 clauses out of 64028 with flag 551000/5159674
372.70/370.35	c cleaning 32993 clauses out of 66027 with flag 585000/5193674
375.22/372.84	c cleaning 33992 clauses out of 68034 with flag 620000/5228674
377.91/375.56	c cleaning 35011 clauses out of 70043 with flag 656001/5264675
380.74/378.40	c cleaning 36001 clauses out of 72035 with flag 693004/5301678
383.83/381.44	c cleaning 37001 clauses out of 74030 with flag 731000/5339674
386.84/384.46	c cleaning 38007 clauses out of 76030 with flag 770001/5378675
389.94/387.55	c cleaning 38995 clauses out of 78022 with flag 810000/5418674
393.25/390.82	c cleaning 39997 clauses out of 80027 with flag 851000/5459674
396.26/393.81	c cleaning 40990 clauses out of 82030 with flag 893000/5501674
399.57/397.10	c cleaning 41992 clauses out of 84040 with flag 936000/5544674
402.67/400.29	c cleaning 43009 clauses out of 86048 with flag 980000/5588674
405.79/403.31	c cleaning 44011 clauses out of 88039 with flag 1025000/5633674
409.00/406.57	c cleaning 44992 clauses out of 90028 with flag 1071000/5679674
412.30/409.82	c cleaning 45994 clauses out of 92036 with flag 1118000/5726674
415.82/413.32	c cleaning 47006 clauses out of 94043 with flag 1166001/5774675
419.35/416.90	c cleaning 48001 clauses out of 96036 with flag 1215000/5823674
423.05/420.54	c cleaning 49004 clauses out of 98037 with flag 1265002/5873676
426.85/424.36	c cleaning 49998 clauses out of 100033 with flag 1316002/5924676
430.75/428.26	c cleaning 51000 clauses out of 102034 with flag 1368001/5976675
434.76/432.25	c cleaning 52009 clauses out of 104035 with flag 1421002/6029676
438.97/436.49	c cleaning 52987 clauses out of 106025 with flag 1475001/6083675
443.38/440.83	c cleaning 54004 clauses out of 108037 with flag 1530000/6138674
447.81/445.23	c cleaning 54997 clauses out of 110033 with flag 1586000/6194674
452.33/449.78	c cleaning 55999 clauses out of 112036 with flag 1643000/6251674
457.15/454.55	c cleaning 57001 clauses out of 114039 with flag 1701002/6309676
461.95/459.36	c cleaning 58004 clauses out of 116036 with flag 1760000/6368674
466.97/464.36	c cleaning 58996 clauses out of 118032 with flag 1820000/6428674
472.00/469.39	c cleaning 59992 clauses out of 120036 with flag 1881000/6489674
477.03/474.30	c cleaning 61010 clauses out of 122045 with flag 1943001/6551675
482.15/479.41	c cleaning 61991 clauses out of 124034 with flag 2006000/6614674
482.15/479.50	c Got one! Elapsed wall clock time (in seconds):479.376
482.15/479.50	o 30956
482.69/479.97	c cleaning 33831 clauses out of 67707 with flag 5000/6620338
483.19/480.40	c cleaning 19927 clauses out of 39876 with flag 11000/6626338
483.59/480.85	c cleaning 13467 clauses out of 26950 with flag 18001/6633339
484.13/481.35	c cleaning 10728 clauses out of 21482 with flag 26000/6641338
484.65/481.89	c cleaning 9874 clauses out of 19756 with flag 35002/6650340
485.35/482.50	c cleaning 9911 clauses out of 19880 with flag 45000/6660338
485.98/483.18	c cleaning 10472 clauses out of 20970 with flag 56001/6671339
486.80/483.90	c cleaning 11237 clauses out of 22497 with flag 68000/6683338
487.61/484.70	c cleaning 12120 clauses out of 24261 with flag 81001/6696339
488.41/485.55	c cleaning 13050 clauses out of 26140 with flag 95000/6710338
489.33/486.47	c cleaning 14033 clauses out of 28090 with flag 110000/6725338
490.33/487.43	c cleaning 15025 clauses out of 30057 with flag 126000/6741338
491.35/488.47	c cleaning 16005 clauses out of 32032 with flag 143000/6758338
492.45/489.55	c cleaning 17000 clauses out of 34027 with flag 161000/6776338
493.55/490.69	c cleaning 18005 clauses out of 36027 with flag 180000/6795338
494.95/492.05	c cleaning 19006 clauses out of 38024 with flag 200002/6815340
496.26/493.38	c cleaning 20000 clauses out of 40018 with flag 221002/6836340
497.69/494.74	c cleaning 21003 clauses out of 42019 with flag 243003/6858341
499.20/496.27	c cleaning 21988 clauses out of 44013 with flag 266000/6881338
500.91/497.93	c cleaning 22995 clauses out of 46027 with flag 290002/6905340
502.63/499.63	c cleaning 24004 clauses out of 48031 with flag 315001/6930339
504.33/501.33	c cleaning 24988 clauses out of 50026 with flag 341000/6956338
506.14/503.18	c cleaning 26013 clauses out of 52038 with flag 368000/6983338
508.04/505.04	c cleaning 26998 clauses out of 54026 with flag 396001/7011339
509.95/506.91	c cleaning 28001 clauses out of 56027 with flag 425000/7040338
512.05/509.00	c cleaning 28994 clauses out of 58026 with flag 455000/7070338
514.15/511.13	c cleaning 30003 clauses out of 60032 with flag 486000/7101338
516.46/513.41	c cleaning 31003 clauses out of 62030 with flag 518001/7133339
518.87/515.81	c cleaning 31991 clauses out of 64026 with flag 551000/7166338
521.17/518.14	c cleaning 33006 clauses out of 66036 with flag 585001/7200339
523.89/520.84	c cleaning 34002 clauses out of 68029 with flag 620000/7235338
526.49/523.45	c cleaning 35006 clauses out of 70029 with flag 656002/7271340
528.10/525.08	c Got one! Elapsed wall clock time (in seconds):524.961
528.10/525.08	o 30847
528.50/525.48	c cleaning 32345 clauses out of 64704 with flag 5001/7301021
529.01/525.91	c cleaning 19166 clauses out of 38358 with flag 11000/7307020
529.43/526.35	c cleaning 13091 clauses out of 26193 with flag 18001/7314021
529.95/526.84	c cleaning 10542 clauses out of 21102 with flag 26001/7322021
530.45/527.39	c cleaning 9771 clauses out of 19559 with flag 35000/7331020
531.15/528.01	c cleaning 9880 clauses out of 19788 with flag 45000/7341020
531.75/528.68	c cleaning 10441 clauses out of 20908 with flag 56000/7352020
532.56/529.42	c cleaning 11219 clauses out of 22467 with flag 68000/7364020
533.37/530.27	c cleaning 12108 clauses out of 24248 with flag 81000/7377020
534.26/531.20	c cleaning 13056 clauses out of 26140 with flag 95000/7391020
535.17/532.08	c cleaning 14022 clauses out of 28084 with flag 110000/7406020
536.18/533.08	c cleaning 15024 clauses out of 30064 with flag 126002/7422022
537.28/534.14	c cleaning 15994 clauses out of 32040 with flag 143002/7439022
538.39/535.25	c cleaning 17011 clauses out of 34045 with flag 161001/7457021
539.61/536.44	c cleaning 18010 clauses out of 36034 with flag 180001/7476021
540.82/537.69	c cleaning 18984 clauses out of 38023 with flag 200000/7496020
542.23/539.01	c cleaning 19997 clauses out of 40040 with flag 221001/7517021
543.63/540.44	c cleaning 21010 clauses out of 42042 with flag 243000/7539020
545.14/541.93	c cleaning 21979 clauses out of 44032 with flag 266000/7562020
546.75/543.52	c cleaning 23017 clauses out of 46053 with flag 290000/7586020
548.45/545.27	c cleaning 23999 clauses out of 48036 with flag 315000/7611020
550.15/546.96	c cleaning 24999 clauses out of 50037 with flag 341000/7637020
551.86/548.69	c cleaning 26002 clauses out of 52038 with flag 368000/7664020
553.66/550.48	c cleaning 26985 clauses out of 54036 with flag 396000/7692020
555.67/552.40	c cleaning 28012 clauses out of 56051 with flag 425000/7721020
557.59/554.34	c cleaning 29009 clauses out of 58041 with flag 455002/7751022
559.69/556.48	c cleaning 30007 clauses out of 60032 with flag 486002/7782022
562.12/558.86	c cleaning 31002 clauses out of 62023 with flag 518000/7814020
564.52/561.21	c cleaning 32002 clauses out of 64021 with flag 551000/7847020
567.02/563.72	c cleaning 33001 clauses out of 66019 with flag 585000/7881020
569.64/566.36	c cleaning 33991 clauses out of 68019 with flag 620001/7916021
572.15/568.87	c cleaning 35001 clauses out of 70027 with flag 656000/7952020
574.87/571.54	c cleaning 36000 clauses out of 72026 with flag 693000/7989020
577.59/574.24	c cleaning 36991 clauses out of 74028 with flag 731002/8027022
580.39/577.05	c cleaning 37997 clauses out of 76035 with flag 770000/8066020
583.19/579.87	c cleaning 39009 clauses out of 78038 with flag 810000/8106020
586.09/582.78	c cleaning 39989 clauses out of 80029 with flag 851000/8147020
589.13/585.79	c cleaning 41005 clauses out of 82042 with flag 893002/8189022
592.24/588.87	c cleaning 42010 clauses out of 84037 with flag 936002/8232022
595.44/592.03	c cleaning 42996 clauses out of 86025 with flag 980000/8276020
598.64/595.27	c cleaning 43974 clauses out of 88029 with flag 1025000/8321020
602.05/598.65	c cleaning 45007 clauses out of 90055 with flag 1071000/8367020
605.45/602.04	c cleaning 45997 clauses out of 92050 with flag 1118002/8414022
608.76/605.33	c cleaning 47010 clauses out of 94051 with flag 1166000/8462020
612.16/608.73	c cleaning 47999 clauses out of 96041 with flag 1215000/8511020
615.67/612.23	c cleaning 48989 clauses out of 98042 with flag 1265000/8561020
619.38/615.98	c cleaning 49999 clauses out of 100053 with flag 1316000/8612020
623.38/619.90	c cleaning 50999 clauses out of 102054 with flag 1368000/8664020
627.09/623.65	c cleaning 52005 clauses out of 104055 with flag 1421000/8717020
630.80/627.36	c cleaning 52987 clauses out of 106050 with flag 1475000/8771020
634.83/631.36	c cleaning 54001 clauses out of 108063 with flag 1530000/8826020
638.93/635.49	c cleaning 55006 clauses out of 110062 with flag 1586000/8882020
643.03/639.59	c cleaning 56004 clauses out of 112056 with flag 1643000/8939020
647.24/643.73	c cleaning 57019 clauses out of 114053 with flag 1701001/8997021
652.27/648.73	c cleaning 58005 clauses out of 116033 with flag 1760000/9056020
656.90/653.36	c cleaning 59008 clauses out of 118030 with flag 1820002/9116022
661.72/658.17	c cleaning 59994 clauses out of 120021 with flag 1881001/9177021
666.64/663.05	c cleaning 60997 clauses out of 122027 with flag 1943001/9239021
672.26/668.61	c cleaning 62005 clauses out of 124030 with flag 2006001/9302021
677.57/673.96	c cleaning 62994 clauses out of 126024 with flag 2070000/9366020
682.98/679.39	c cleaning 63996 clauses out of 128030 with flag 2135000/9431020
688.70/685.08	c cleaning 65000 clauses out of 130034 with flag 2201000/9497020
694.72/691.04	c cleaning 66005 clauses out of 132035 with flag 2268001/9564021
700.54/696.89	c cleaning 66995 clauses out of 134030 with flag 2336001/9632021
706.45/702.71	c cleaning 68001 clauses out of 136034 with flag 2405000/9701020
712.46/708.70	c cleaning 69011 clauses out of 138034 with flag 2475001/9771021
718.67/714.95	c cleaning 70004 clauses out of 140022 with flag 2546000/9842020
725.21/721.45	c cleaning 70997 clauses out of 142018 with flag 2618000/9914020
731.73/727.97	c cleaning 71991 clauses out of 144021 with flag 2691000/9987020
738.47/734.65	c cleaning 72988 clauses out of 146030 with flag 2765000/10061020
744.59/740.71	c cleaning 74014 clauses out of 148043 with flag 2840001/10136021
750.31/746.50	c cleaning 74990 clauses out of 150028 with flag 2916000/10212020
754.43/750.50	c Got one! Elapsed wall clock time (in seconds):750.379
754.43/750.50	o 30821
755.03/751.19	c cleaning 69179 clauses out of 138365 with flag 5000/10275347
755.85/751.91	c cleaning 37583 clauses out of 75187 with flag 11001/10281348
756.36/752.43	c cleaning 22292 clauses out of 44603 with flag 18000/10288347
756.86/752.95	c cleaning 15145 clauses out of 30311 with flag 26000/10296347
757.37/753.50	c cleaning 12068 clauses out of 24167 with flag 35001/10305348
758.09/754.10	c cleaning 11042 clauses out of 22099 with flag 45001/10315348
758.70/754.75	c cleaning 11017 clauses out of 22056 with flag 56000/10326347
759.41/755.47	c cleaning 11503 clauses out of 23041 with flag 68002/10338349
760.36/756.30	c cleaning 12256 clauses out of 24539 with flag 81003/10351350
761.17/757.14	c cleaning 13119 clauses out of 26281 with flag 95001/10365348
762.07/758.06	c cleaning 14062 clauses out of 28162 with flag 110001/10380348
763.10/759.05	c cleaning 15039 clauses out of 30100 with flag 126001/10396348
764.20/760.14	c cleaning 16013 clauses out of 32060 with flag 143000/10413347
765.41/761.35	c cleaning 17011 clauses out of 34047 with flag 161000/10431347
766.72/762.61	c cleaning 17996 clauses out of 36036 with flag 180000/10450347
768.03/763.94	c cleaning 18999 clauses out of 38040 with flag 200000/10470347
769.45/765.32	c cleaning 20008 clauses out of 40041 with flag 221000/10491347
770.88/766.79	c cleaning 21005 clauses out of 42033 with flag 243000/10513347
772.47/768.31	c cleaning 22003 clauses out of 44029 with flag 266001/10536348
773.98/769.80	c cleaning 22978 clauses out of 46025 with flag 290000/10560347
775.58/771.40	c cleaning 24016 clauses out of 48047 with flag 315000/10585347
777.29/773.20	c cleaning 24994 clauses out of 50031 with flag 341000/10611347
779.11/774.93	c cleaning 25998 clauses out of 52037 with flag 368000/10638347
780.91/776.73	c cleaning 26986 clauses out of 54039 with flag 396000/10666347
782.82/778.63	c cleaning 28011 clauses out of 56053 with flag 425000/10695347
784.83/780.61	c cleaning 29008 clauses out of 58042 with flag 455000/10725347
786.85/782.68	c cleaning 29987 clauses out of 60034 with flag 486000/10756347
789.07/784.89	c cleaning 31019 clauses out of 62047 with flag 518000/10788347
791.38/787.18	c cleaning 32001 clauses out of 64029 with flag 551001/10821348
793.90/789.67	c cleaning 33003 clauses out of 66028 with flag 585001/10855348
794.62/790.34	c Got one! Elapsed wall clock time (in seconds):790.224
794.62/790.34	o 30802
795.02/790.71	c cleaning 24306 clauses out of 48645 with flag 5000/10870968
795.43/791.10	c cleaning 15157 clauses out of 30342 with flag 11003/10876971
795.85/791.54	c cleaning 11087 clauses out of 22184 with flag 18002/10883970
796.39/792.03	c cleaning 9538 clauses out of 19096 with flag 26001/10891969
796.89/792.57	c cleaning 9269 clauses out of 18557 with flag 35000/10900968
797.50/793.18	c cleaning 9636 clauses out of 19288 with flag 45000/10910968
798.21/793.86	c cleaning 10318 clauses out of 20652 with flag 56000/10921968
798.93/794.59	c cleaning 11149 clauses out of 22334 with flag 68000/10933968
799.77/795.40	c cleaning 12072 clauses out of 24185 with flag 81000/10946968
800.67/796.27	c cleaning 13046 clauses out of 26113 with flag 95000/10960968
801.69/797.21	c cleaning 14021 clauses out of 28067 with flag 110000/10975968
802.69/798.20	c cleaning 15013 clauses out of 30046 with flag 126000/10991968
803.70/799.26	c cleaning 16006 clauses out of 32033 with flag 143000/11008968
804.80/800.36	c cleaning 17005 clauses out of 34027 with flag 161000/11026968
806.01/801.54	c cleaning 18001 clauses out of 36022 with flag 180000/11045968
807.32/802.80	c cleaning 18991 clauses out of 38021 with flag 200000/11065968
808.63/804.15	c cleaning 20004 clauses out of 40031 with flag 221001/11086969
810.02/805.55	c cleaning 21010 clauses out of 42027 with flag 243001/11108969
811.73/807.21	c cleaning 21996 clauses out of 44016 with flag 266000/11131968
813.44/808.98	c cleaning 23001 clauses out of 46021 with flag 290001/11155969
815.25/810.71	c cleaning 23997 clauses out of 48019 with flag 315000/11180968
816.95/812.42	c cleaning 25002 clauses out of 50023 with flag 341001/11206969
818.88/814.38	c cleaning 26000 clauses out of 52022 with flag 368002/11233970
820.81/816.29	c cleaning 26990 clauses out of 54020 with flag 396000/11261968
823.01/818.41	c cleaning 27987 clauses out of 56030 with flag 425000/11290968
825.14/820.54	c cleaning 29010 clauses out of 58043 with flag 455000/11320968
827.54/822.93	c cleaning 30004 clauses out of 60033 with flag 486000/11351968
829.74/825.17	c cleaning 31005 clauses out of 62029 with flag 518000/11383968
832.24/827.63	c cleaning 31994 clauses out of 64024 with flag 551000/11416968
834.80/830.18	c cleaning 32999 clauses out of 66031 with flag 585001/11450969
837.42/832.74	c cleaning 34001 clauses out of 68032 with flag 620001/11485969
840.03/835.39	c cleaning 35002 clauses out of 70030 with flag 656000/11521968
843.05/838.39	c cleaning 35990 clauses out of 72028 with flag 693000/11558968
845.86/841.11	c cleaning 36997 clauses out of 74038 with flag 731000/11596968
848.37/843.68	c cleaning 38002 clauses out of 76045 with flag 770004/11635972
851.08/846.37	c cleaning 39001 clauses out of 78039 with flag 810000/11675968
853.79/849.07	c cleaning 39994 clauses out of 80038 with flag 851000/11716968
856.60/851.89	c cleaning 40984 clauses out of 82044 with flag 893000/11758968
859.52/854.77	c cleaning 41998 clauses out of 84060 with flag 936000/11801968
862.44/857.65	c cleaning 43016 clauses out of 86062 with flag 980000/11845968
865.75/860.93	c cleaning 44006 clauses out of 88047 with flag 1025001/11890969
868.87/864.01	c cleaning 45005 clauses out of 90041 with flag 1071001/11936969
872.19/867.31	c cleaning 45999 clauses out of 92036 with flag 1118001/11983969
875.49/870.69	c cleaning 47003 clauses out of 94036 with flag 1166000/12031968
879.10/874.20	c cleaning 48003 clauses out of 96035 with flag 1215002/12080970
882.90/878.08	c cleaning 48989 clauses out of 98031 with flag 1265001/12130969
886.92/882.04	c cleaning 50013 clauses out of 100041 with flag 1316000/12181968
891.03/886.19	c cleaning 50999 clauses out of 102028 with flag 1368000/12233968
894.93/890.08	c cleaning 52007 clauses out of 104030 with flag 1421001/12286969
898.75/893.81	c cleaning 53008 clauses out of 106025 with flag 1475003/12340971
903.05/898.19	c cleaning 53991 clauses out of 108014 with flag 1530000/12395968
907.58/902.65	c cleaning 55003 clauses out of 110023 with flag 1586000/12451968
912.10/907.19	c cleaning 55997 clauses out of 112021 with flag 1643001/12508969
916.93/911.90	c cleaning 57000 clauses out of 114024 with flag 1701001/12566969
921.63/916.65	c cleaning 57995 clauses out of 116023 with flag 1760000/12625968
926.76/921.71	c cleaning 58993 clauses out of 118028 with flag 1820000/12685968
931.96/926.97	c cleaning 59997 clauses out of 120035 with flag 1881000/12746968
937.17/932.18	c cleaning 61009 clauses out of 122038 with flag 1943000/12808968
942.60/937.54	c cleaning 61997 clauses out of 124029 with flag 2006000/12871968
947.83/942.76	c cleaning 62987 clauses out of 126032 with flag 2070000/12935968
953.14/948.10	c cleaning 64002 clauses out of 128045 with flag 2135000/13000968
958.87/953.73	c cleaning 65000 clauses out of 130043 with flag 2201000/13066968
964.59/959.47	c cleaning 65998 clauses out of 132043 with flag 2268000/13133968
970.80/965.63	c cleaning 66995 clauses out of 134045 with flag 2336000/13201968
976.71/971.58	c cleaning 68016 clauses out of 136052 with flag 2405002/13270970
982.41/977.29	c cleaning 68992 clauses out of 138034 with flag 2475000/13340968
988.53/983.39	c cleaning 69999 clauses out of 140042 with flag 2546000/13411968
994.15/988.96	c cleaning 71006 clauses out of 142043 with flag 2618000/13483968
1000.35/995.17	c cleaning 72011 clauses out of 144037 with flag 2691000/13556968
1006.76/1001.59	c cleaning 73001 clauses out of 146026 with flag 2765000/13630968
1013.18/1007.94	c cleaning 74002 clauses out of 148027 with flag 2840002/13705970
1019.50/1014.21	c cleaning 74997 clauses out of 150023 with flag 2916000/13781968
1026.30/1021.04	c cleaning 76002 clauses out of 152027 with flag 2993001/13858969
1033.32/1028.04	c cleaning 76993 clauses out of 154024 with flag 3071000/13936968
1040.34/1035.04	c cleaning 78001 clauses out of 156031 with flag 3150000/14015968
1047.06/1041.75	c cleaning 79000 clauses out of 158031 with flag 3230001/14095969
1054.28/1048.95	c cleaning 80000 clauses out of 160030 with flag 3311000/14176968
1061.62/1056.27	c cleaning 81003 clauses out of 162030 with flag 3393000/14258968
1069.23/1063.81	c cleaning 81995 clauses out of 164027 with flag 3476000/14341968
1077.07/1071.61	c cleaning 82999 clauses out of 166033 with flag 3560001/14425969
1085.49/1080.10	c cleaning 83980 clauses out of 168033 with flag 3645000/14510968
1093.30/1087.82	c cleaning 85009 clauses out of 170053 with flag 3731000/14596968
1101.72/1096.27	c cleaning 86010 clauses out of 172045 with flag 3818001/14683969
1110.63/1105.16	c cleaning 87000 clauses out of 174035 with flag 3906001/14771969
1118.34/1112.87	c cleaning 88004 clauses out of 176034 with flag 3995000/14860968
1126.27/1120.75	c cleaning 89001 clauses out of 178030 with flag 4085000/14950968
1134.48/1128.92	c cleaning 90002 clauses out of 180030 with flag 4176001/15041969
1143.10/1137.53	c cleaning 90997 clauses out of 182027 with flag 4268000/15133968
1148.02/1142.49	c Got one! Elapsed wall clock time (in seconds):1142.371
1148.02/1142.49	o 30772
1149.02/1143.42	c cleaning 81382 clauses out of 162791 with flag 5000/15205729
1149.64/1144.05	c cleaning 43669 clauses out of 87409 with flag 11000/15211729
1150.15/1144.58	c cleaning 25354 clauses out of 50740 with flag 18000/15218729
1150.67/1145.10	c cleaning 16680 clauses out of 33387 with flag 26001/15226730
1151.27/1145.65	c cleaning 12849 clauses out of 25706 with flag 35000/15235729
1151.89/1146.28	c cleaning 11421 clauses out of 22858 with flag 45001/15245730
1152.60/1146.96	c cleaning 11208 clauses out of 22436 with flag 56000/15256729
1153.42/1147.71	c cleaning 11600 clauses out of 23228 with flag 68000/15268729
1154.23/1148.52	c cleaning 12303 clauses out of 24628 with flag 81000/15281729
1155.06/1149.38	c cleaning 13150 clauses out of 26325 with flag 95000/15295729
1156.07/1150.31	c cleaning 14078 clauses out of 28176 with flag 110001/15310730
1157.08/1151.31	c cleaning 15035 clauses out of 30097 with flag 126000/15326729
1158.10/1152.34	c cleaning 16024 clauses out of 32062 with flag 143000/15343729
1159.10/1153.39	c cleaning 17009 clauses out of 34038 with flag 161000/15361729
1160.21/1154.48	c cleaning 18004 clauses out of 36029 with flag 180000/15380729
1161.43/1155.68	c cleaning 18996 clauses out of 38026 with flag 200001/15400730
1162.84/1157.00	c cleaning 20000 clauses out of 40029 with flag 221000/15421729
1164.17/1158.35	c cleaning 21006 clauses out of 42031 with flag 243002/15443731
1165.68/1159.88	c cleaning 22004 clauses out of 44024 with flag 266001/15466730
1167.29/1161.49	c cleaning 23004 clauses out of 46019 with flag 290000/15490729
1168.99/1163.18	c cleaning 23998 clauses out of 48016 with flag 315001/15515730
1170.82/1164.96	c cleaning 24984 clauses out of 50017 with flag 341000/15541729
1172.62/1166.73	c cleaning 26005 clauses out of 52033 with flag 368000/15568729
1174.45/1168.56	c cleaning 27006 clauses out of 54028 with flag 396000/15596729
1176.55/1170.61	c cleaning 27988 clauses out of 56022 with flag 425000/15625729
1178.75/1172.83	c cleaning 29005 clauses out of 58036 with flag 455002/15655731
1180.87/1174.99	c cleaning 30003 clauses out of 60029 with flag 486000/15686729
1183.19/1177.27	c cleaning 30989 clauses out of 62026 with flag 518000/15718729
1185.71/1179.71	c cleaning 32008 clauses out of 64037 with flag 551000/15751729
1188.13/1182.14	c cleaning 32987 clauses out of 66029 with flag 585000/15785729
1190.54/1184.56	c cleaning 34013 clauses out of 68042 with flag 620000/15820729
1192.96/1186.97	c cleaning 35000 clauses out of 70029 with flag 656000/15856729
1195.47/1189.45	c cleaning 36005 clauses out of 72030 with flag 693001/15893730
1198.09/1192.00	c cleaning 36983 clauses out of 74024 with flag 731000/15931729
1200.80/1194.74	c cleaning 38000 clauses out of 76041 with flag 770000/15970729
1203.72/1197.60	c cleaning 39011 clauses out of 78042 with flag 810001/16010730
1206.75/1200.67	c cleaning 39982 clauses out of 80030 with flag 851000/16051729
1209.68/1203.57	c cleaning 41012 clauses out of 82048 with flag 893000/16093729
1212.69/1206.51	c cleaning 41985 clauses out of 84036 with flag 936000/16136729
1215.80/1209.69	c cleaning 43008 clauses out of 86052 with flag 980001/16180730
1219.63/1213.47	c cleaning 44012 clauses out of 88043 with flag 1025000/16225729
1223.34/1217.11	c cleaning 44999 clauses out of 90031 with flag 1071000/16271729
1227.26/1221.00	c cleaning 45998 clauses out of 92032 with flag 1118000/16318729
1231.28/1225.02	c cleaning 46998 clauses out of 94034 with flag 1166000/16366729
1235.70/1229.40	c cleaning 48002 clauses out of 96036 with flag 1215000/16415729
1239.81/1233.56	c cleaning 49003 clauses out of 98035 with flag 1265001/16465730
1244.22/1237.93	c cleaning 49995 clauses out of 100031 with flag 1316000/16516729
1248.33/1242.10	c cleaning 50997 clauses out of 102037 with flag 1368001/16568730
1252.74/1246.40	c cleaning 52001 clauses out of 104039 with flag 1421000/16621729
1256.55/1250.29	c cleaning 52996 clauses out of 106038 with flag 1475000/16675729
1260.56/1254.22	c cleaning 54006 clauses out of 108042 with flag 1530000/16730729
1264.46/1258.19	c cleaning 54985 clauses out of 110036 with flag 1586000/16786729
1268.67/1262.39	c cleaning 55988 clauses out of 112051 with flag 1643000/16843729
1272.98/1266.63	c cleaning 57007 clauses out of 114064 with flag 1701001/16901730
1277.48/1271.16	c cleaning 58011 clauses out of 116057 with flag 1760001/16960730
1281.80/1275.49	c cleaning 59014 clauses out of 118046 with flag 1820001/17020730
1286.22/1279.86	c cleaning 60003 clauses out of 120032 with flag 1881001/17081730
1290.86/1284.47	c cleaning 60983 clauses out of 122028 with flag 1943000/17143729
1295.57/1289.13	c cleaning 61997 clauses out of 124048 with flag 2006003/17206732
1300.38/1293.94	c cleaning 63007 clauses out of 126048 with flag 2070000/17270729
1305.32/1298.85	c cleaning 63991 clauses out of 128041 with flag 2135000/17335729
1310.13/1303.69	c cleaning 65014 clauses out of 130050 with flag 2201000/17401729
1315.75/1309.26	c cleaning 66005 clauses out of 132036 with flag 2268000/17468729
1321.77/1315.22	c cleaning 66982 clauses out of 134031 with flag 2336000/17536729
1327.49/1320.97	c cleaning 68011 clauses out of 136050 with flag 2405001/17605730
1333.51/1326.91	c cleaning 69011 clauses out of 138038 with flag 2475000/17675729
1339.52/1332.91	c cleaning 70000 clauses out of 140027 with flag 2546000/17746729
1345.64/1339.06	c cleaning 70992 clauses out of 142027 with flag 2618000/17818729
1351.79/1345.12	c cleaning 71990 clauses out of 144035 with flag 2691000/17891729
1358.02/1351.38	c cleaning 73003 clauses out of 146045 with flag 2765000/17965729
1364.35/1357.67	c cleaning 73997 clauses out of 148042 with flag 2840000/18040729
1370.77/1364.01	c cleaning 74999 clauses out of 150045 with flag 2916000/18116729
1377.89/1371.10	c cleaning 76008 clauses out of 152047 with flag 2993001/18193730
1384.30/1377.58	c cleaning 76986 clauses out of 154038 with flag 3071000/18271729
1391.21/1384.46	c cleaning 77994 clauses out of 156053 with flag 3150001/18350730
1398.04/1391.23	c cleaning 78995 clauses out of 158058 with flag 3230000/18430729
1405.26/1398.42	c cleaning 80014 clauses out of 160064 with flag 3311001/18511730
1412.39/1405.54	c cleaning 81007 clauses out of 162049 with flag 3393000/18593729
1420.01/1413.12	c cleaning 82000 clauses out of 164042 with flag 3476000/18676729
1426.84/1419.94	c cleaning 82997 clauses out of 166042 with flag 3560000/18760729
1434.14/1427.26	c cleaning 84009 clauses out of 168045 with flag 3645000/18845729
1442.17/1435.20	c cleaning 84991 clauses out of 170036 with flag 3731000/18931729
1450.20/1443.24	c cleaning 86012 clauses out of 172046 with flag 3818001/19018730
1458.30/1451.34	c cleaning 86968 clauses out of 174033 with flag 3906000/19106729
1466.50/1459.52	c cleaning 88005 clauses out of 176065 with flag 3995000/19195729
1474.62/1467.69	c cleaning 89019 clauses out of 178061 with flag 4085001/19285730
1483.02/1476.09	c cleaning 90012 clauses out of 180042 with flag 4176001/19376730
1491.63/1484.63	c cleaning 91002 clauses out of 182030 with flag 4268001/19468730
1499.46/1492.41	c cleaning 91994 clauses out of 184029 with flag 4361002/19561731
1507.27/1500.25	c cleaning 92979 clauses out of 186033 with flag 4455000/19655729
1515.69/1508.68	c cleaning 93987 clauses out of 188054 with flag 4550000/19750729
1523.92/1516.88	c cleaning 95008 clauses out of 190067 with flag 4646000/19846729
1532.42/1525.34	c cleaning 96009 clauses out of 192059 with flag 4743000/19943729
1540.93/1533.86	c cleaning 97014 clauses out of 194050 with flag 4841000/20041729
1549.95/1542.82	c cleaning 97984 clauses out of 196036 with flag 4940000/20140729
1558.27/1551.18	c cleaning 99002 clauses out of 198053 with flag 5040001/20240730
1563.86/1556.63	c Got one! Elapsed wall clock time (in seconds):1556.512
1563.86/1556.63	o 30623
1564.77/1557.51	c cleaning 85840 clauses out of 171706 with flag 5000/20313385
1565.38/1558.11	c cleaning 45923 clauses out of 91866 with flag 11000/20319385
1565.89/1558.61	c cleaning 26467 clauses out of 52943 with flag 18000/20326385
1566.42/1559.13	c cleaning 17226 clauses out of 34476 with flag 26000/20334385
1566.94/1559.69	c cleaning 13111 clauses out of 26250 with flag 35000/20343385
1567.57/1560.29	c cleaning 11564 clauses out of 23139 with flag 45000/20353385
1568.28/1560.95	c cleaning 11272 clauses out of 22575 with flag 56000/20364385
1568.99/1561.65	c cleaning 11641 clauses out of 23303 with flag 68000/20376385
1569.82/1562.43	c cleaning 12326 clauses out of 24662 with flag 81000/20389385
1570.74/1563.30	c cleaning 13160 clauses out of 26338 with flag 95002/20403387
1571.66/1564.22	c cleaning 14073 clauses out of 28177 with flag 110001/20418386
1572.57/1565.19	c cleaning 15037 clauses out of 30103 with flag 126000/20434385
1573.67/1566.23	c cleaning 16014 clauses out of 32066 with flag 143000/20451385
1574.80/1567.34	c cleaning 17021 clauses out of 34053 with flag 161001/20469386
1576.01/1568.56	c cleaning 18001 clauses out of 36031 with flag 180000/20488385
1577.43/1569.92	c cleaning 18999 clauses out of 38031 with flag 200001/20508386
1578.85/1571.31	c cleaning 20002 clauses out of 40031 with flag 221000/20529385
1580.35/1572.82	c cleaning 21001 clauses out of 42030 with flag 243001/20551386
1581.86/1574.35	c cleaning 21995 clauses out of 44029 with flag 266001/20574386
1583.48/1575.92	c cleaning 23005 clauses out of 46034 with flag 290001/20598386
1585.08/1577.57	c cleaning 23991 clauses out of 48028 with flag 315000/20623385
1586.80/1579.28	c cleaning 25008 clauses out of 50040 with flag 341003/20649388
1588.71/1581.11	c cleaning 26006 clauses out of 52030 with flag 368001/20676386
1590.62/1583.02	c cleaning 27000 clauses out of 54023 with flag 396000/20704385
1592.65/1585.08	c cleaning 28000 clauses out of 56023 with flag 425000/20733385
1594.76/1587.12	c cleaning 28991 clauses out of 58025 with flag 455002/20763387
1596.77/1589.11	c cleaning 29991 clauses out of 60032 with flag 486000/20794385
1598.99/1591.34	c cleaning 31004 clauses out of 62041 with flag 518000/20826385
1601.23/1593.58	c cleaning 32000 clauses out of 64037 with flag 551000/20859385
1603.64/1595.92	c cleaning 33002 clauses out of 66038 with flag 585001/20893386
1606.14/1598.45	c cleaning 34000 clauses out of 68035 with flag 620000/20928385
1608.76/1601.07	c cleaning 35002 clauses out of 70035 with flag 656000/20964385
1611.38/1603.67	c cleaning 36001 clauses out of 72034 with flag 693001/21001386
1613.99/1606.29	c cleaning 37001 clauses out of 74033 with flag 731001/21039386
1616.90/1609.13	c cleaning 37996 clauses out of 76031 with flag 770000/21078385
1619.62/1611.88	c cleaning 38996 clauses out of 78035 with flag 810000/21118385
1622.64/1614.87	c cleaning 40015 clauses out of 80045 with flag 851006/21159391
1625.65/1617.85	c cleaning 40998 clauses out of 82025 with flag 893001/21201386
1628.65/1620.87	c cleaning 42002 clauses out of 84027 with flag 936001/21244386
1631.77/1623.95	c cleaning 42996 clauses out of 86024 with flag 980000/21288385
1634.91/1627.02	c cleaning 43987 clauses out of 88028 with flag 1025000/21333385
1637.94/1630.10	c cleaning 45000 clauses out of 90042 with flag 1071001/21379386
1641.14/1633.29	c cleaning 46003 clauses out of 92041 with flag 1118000/21426385
1644.45/1636.55	c cleaning 46997 clauses out of 94038 with flag 1166000/21474385
1647.85/1639.90	c cleaning 48007 clauses out of 96041 with flag 1215000/21523385
1651.37/1643.44	c cleaning 49001 clauses out of 98034 with flag 1265000/21573385
1655.17/1647.28	c cleaning 50000 clauses out of 100035 with flag 1316002/21624387
1658.78/1650.89	c cleaning 50987 clauses out of 102034 with flag 1368001/21676386
1662.68/1654.72	c cleaning 52012 clauses out of 104046 with flag 1421000/21729385
1666.49/1658.53	c cleaning 52992 clauses out of 106034 with flag 1475000/21783385
1670.52/1662.55	c cleaning 54003 clauses out of 108042 with flag 1530000/21838385
1674.56/1666.54	c cleaning 55000 clauses out of 110039 with flag 1586000/21894385
1678.67/1670.66	c cleaning 55997 clauses out of 112039 with flag 1643000/21951385
1683.30/1675.27	c cleaning 57002 clauses out of 114042 with flag 1701000/22009385
1687.83/1679.75	c cleaning 58005 clauses out of 116040 with flag 1760000/22068385
1692.44/1684.38	c cleaning 58996 clauses out of 118035 with flag 1820000/22128385
1697.16/1689.07	c cleaning 59992 clauses out of 120040 with flag 1881001/22189386
1701.89/1693.72	c cleaning 60990 clauses out of 122047 with flag 1943000/22251385
1706.50/1698.38	c cleaning 62006 clauses out of 124059 with flag 2006002/22314387
1711.50/1703.37	c cleaning 63010 clauses out of 126052 with flag 2070001/22378386
1716.42/1708.21	c cleaning 64004 clauses out of 128041 with flag 2135000/22443385
1721.62/1713.49	c cleaning 65009 clauses out of 130037 with flag 2201000/22509385
1727.12/1718.90	c cleaning 66003 clauses out of 132028 with flag 2268000/22576385
1732.93/1724.73	c cleaning 66992 clauses out of 134025 with flag 2336000/22644385
1738.93/1730.72	c cleaning 68003 clauses out of 136034 with flag 2405001/22713386
1744.24/1736.05	c cleaning 69011 clauses out of 138032 with flag 2475002/22783387
1749.85/1741.61	c cleaning 70005 clauses out of 140019 with flag 2546000/22854385
1755.26/1747.06	c cleaning 70997 clauses out of 142014 with flag 2618000/22926385
1761.69/1753.46	c cleaning 71989 clauses out of 144019 with flag 2691002/22999387
1767.72/1759.49	c cleaning 73006 clauses out of 146029 with flag 2765001/23073386
1774.74/1766.46	c cleaning 73997 clauses out of 148022 with flag 2840000/23148385
1780.47/1772.13	c cleaning 74993 clauses out of 150025 with flag 2916000/23224385
1786.99/1778.65	c cleaning 76003 clauses out of 152032 with flag 2993000/23301385
1788.89/1780.56	c Got one! Elapsed wall clock time (in seconds):1780.442
1788.89/1780.56	o 30585
1789.49/1781.16	c cleaning 55140 clauses out of 110302 with flag 5000/23335658
1790.00/1781.66	c cleaning 30571 clauses out of 61162 with flag 11000/23341658
1790.51/1782.14	c cleaning 18784 clauses out of 37591 with flag 18000/23348658
1791.02/1782.63	c cleaning 13392 clauses out of 26808 with flag 26001/23356659
1791.53/1783.18	c cleaning 11194 clauses out of 22417 with flag 35002/23365660
1792.24/1783.80	c cleaning 10596 clauses out of 21221 with flag 45000/23375658
1792.85/1784.46	c cleaning 10799 clauses out of 21625 with flag 56000/23386658
1793.56/1785.19	c cleaning 11378 clauses out of 22826 with flag 68000/23398658
1794.39/1785.99	c cleaning 12201 clauses out of 24448 with flag 81000/23411658
1795.29/1786.85	c cleaning 13101 clauses out of 26247 with flag 95000/23425658
1796.21/1787.79	c cleaning 14066 clauses out of 28148 with flag 110002/23440660
1797.22/1788.79	c cleaning 15019 clauses out of 30080 with flag 126000/23456658
1798.35/1789.87	c cleaning 16021 clauses out of 32062 with flag 143001/23473659
1799.05/1790.57	c Got one! Elapsed wall clock time (in seconds):1790.454
1799.05/1790.57	o 30538
1799.37/1790.88	c cleaning 16428 clauses out of 32873 with flag 5000/23490491
1799.78/1791.26	c cleaning 11216 clauses out of 22447 with flag 11002/23496493
1800.02/1791.41	c starts		: 385
1800.02/1791.41	c conflicts		: 23498593
1800.02/1791.41	c decisions		: 70963219
1800.02/1791.41	c propagations		: 4913000597
1800.02/1791.41	c inspects		: 11518761322
1800.02/1791.41	c shortcuts		: 0
1800.02/1791.41	c learnt literals	: 0
1800.02/1791.41	c learnt binary clauses	: 0
1800.02/1791.41	c learnt ternary clauses	: 0
1800.02/1791.41	c learnt constraints	: 23498595
1800.02/1791.41	c ignored constraints	: 0
1800.02/1791.41	c root simplifications	: 385
1800.02/1791.41	c removed literals (reason simplification)	: 17879412
1800.02/1791.41	c reason swapping (by a shorter reason)	: 0
1800.02/1791.41	c Calls to reduceDB	: 606
1800.02/1791.41	c number of reductions to clauses (during analyze)	: 0
1800.02/1791.41	c number of learned constraints concerned by reduction	: 0
1800.02/1791.41	c number of learning phase by resolution	: 0
1800.02/1791.41	c number of learning phase by cutting planes	: 0
1800.02/1791.41	c speed (assignments/second)	: 2742876.301511959
1800.02/1791.41	c non guided choices	789
1800.02/1791.42	c learnt constraints type 
1800.02/1791.42	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 13489
1800.02/1791.42	c constraints type 
1800.02/1791.42	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 292
1800.02/1791.42	c org.sat4j.minisat.constraints.cnf.UnitClause => 4
1800.02/1791.42	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 738
1800.02/1791.42	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.02/1791.42	c 1035 constraints processed.
1800.02/1791.42	s SATISFIABLE
1800.02/1791.42	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 
1800.02/1791.42	c objective function=30538
1800.02/1791.42	c Total wall clock time (in seconds): 1791.301

Verifier Data 

OK	30538

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-3710909-1338162834/watcher-3710909-1338162834 -o /tmp/evaluation-result-3710909-1338162834/solver-3710909-1338162834 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710909-1338162834.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.10 2.05 2.01 3/194 5235
/proc/meminfo: memFree=28572184/32873648 swapFree=6844/6844
[pid=5235] ppid=5233 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/5235/stat : 5235 (java) R 5233 5235 3132 0 -1 4202496 215 0 0 0 0 0 0 0 20 0 1 0 282409257 9515008 150 33554432000 1073741824 1073778376 140735080492032 140735080489160 259112057603 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5235/statm: 2323 155 114 9 0 71 0

[startup+0.019938 s]
/proc/loadavg: 2.10 2.05 2.01 3/194 5235
/proc/meminfo: memFree=28572184/32873648 swapFree=6844/6844
[pid=5235] ppid=5233 vsize=102664 CPUtime=0 cores=1,3,5,7
/proc/5235/stat : 5235 (java) S 5233 5235 3132 0 -1 4202496 1428 0 1 0 0 0 0 0 20 0 2 0 282409257 105127936 1109 33554432000 1073741824 1073778376 140734352734048 140734352725184 259115745341 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5235/statm: 25666 1109 856 9 0 16775 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 102664

[startup+0.100183 s]
/proc/loadavg: 2.10 2.05 2.01 3/194 5235
/proc/meminfo: memFree=28572184/32873648 swapFree=6844/6844
[pid=5235] ppid=5233 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/5235/stat : 5235 (java) S 5233 5235 3132 0 -1 4202496 4340 0 1 0 8 1 0 0 20 0 18 0 282409257 9787842560 5034 33554432000 1073741824 1073778376 140734352734048 140734352725184 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5235/statm: 2389610 5034 2115 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.300181 s]
/proc/loadavg: 2.10 2.05 2.01 3/194 5235
/proc/meminfo: memFree=28572184/32873648 swapFree=6844/6844
[pid=5235] ppid=5233 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/5235/stat : 5235 (java) S 5233 5235 3132 0 -1 4202496 6453 0 1 0 44 2 0 0 20 0 19 0 282409257 9856004096 8035 33554432000 1073741824 1073778376 140734352734048 140734352725184 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5235/statm: 2406251 8035 2233 9 0 2396937 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9625004

[startup+0.700168 s]
/proc/loadavg: 2.10 2.05 2.01 3/194 5235
/proc/meminfo: memFree=28572184/32873648 swapFree=6844/6844
[pid=5235] ppid=5233 vsize=9625004 CPUtime=1.1 cores=1,3,5,7
/proc/5235/stat : 5235 (java) S 5233 5235 3132 0 -1 4202496 7323 0 1 0 108 2 0 0 20 0 19 0 282409257 9856004096 8733 33554432000 1073741824 1073778376 140734352734048 140734352725184 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5235/statm: 2406251 8733 2256 9 0 2396937 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 9625004

[startup+1.50104 s]
/proc/loadavg: 2.10 2.05 2.01 3/213 5254
/proc/meminfo: memFree=28539572/32873648 swapFree=6844/6844
[pid=5235] ppid=5233 vsize=9625004 CPUtime=1.95 cores=1,3,5,7
/proc/5235/stat : 5235 (java) S 5233 5235 3132 0 -1 4202496 7390 0 1 0 193 2 0 0 20 0 19 0 282409257 9856004096 10325 33554432000 1073741824 1073778376 140734352734048 140734352725184 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5235/statm: 2406251 10325 2280 9 0 2396937 0
[pid=5235/tid=5237] ppid=5233 vsize=9625004 CPUtime=1.43 cores=1,3,5,7
/proc/5235/task/5237/stat : 5237 (java) R 5233 5235 3132 0 -1 4202560 2570 0 1 0 142 1 0 0 20 0 19 0 282409258 9856004096 10325 33554432000 1073741824 1073778376 140734352734048 140007552512536 140007425188578 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5235/tid=5238] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5238/stat : 5238 (java) S 5233 5235 3132 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282409259 9856004096 10325 33554432000 1073741824 1073778376 140734352734048 140007396166312 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5235/tid=5239] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5239/stat : 5239 (java) S 5233 5235 3132 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 282409259 9856004096 10325 33554432000 1073741824 1073778376 140734352734048 140007395113768 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5235/tid=5240] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5240/stat : 5240 (java) S 5233 5235 3132 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282409259 9856004096 10325 33554432000 1073741824 1073778376 140734352734048 140007394061224 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5235/tid=5241] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5241/stat : 5241 (java) S 5233 5235 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282409259 9856004096 10325 33554432000 1073741824 1073778376 140734352734048 140007393008680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5235/tid=5242] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5242/stat : 5242 (java) S 5233 5235 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282409259 9856004096 10325 33554432000 1073741824 1073778376 140734352734048 140007391955112 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5235/tid=5243] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5243/stat : 5243 (java) S 5233 5235 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282409259 9856004096 10325 33554432000 1073741824 1073778376 140734352734048 140007390902568 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5235/tid=5244] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5244/stat : 5244 (java) S 5233 5235 3132 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 282409259 9856004096 10325 33554432000 1073741824 1073778376 140734352734048 140007389850024 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5235/tid=5245] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5245/stat : 5245 (java) S 5233 5235 3132 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282409259 9856004096 10325 33554432000 1073741824 1073778376 140734352734048 140007388797480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5235/tid=5246] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5246/stat : 5246 (java) S 5233 5235 3132 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 282409260 9856004096 10325 33554432000 1073741824 1073778376 140734352734048 140007376599656 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5235/tid=5247] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5247/stat : 5247 (java) S 5233 5235 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282409261 9856004096 10325 33554432000 1073741824 1073778376 140734352734048 140007375545976 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5235/tid=5248] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5248/stat : 5248 (java) S 5233 5235 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282409261 9856004096 10325 33554432000 1073741824 1073778376 140734352734048 140007374493320 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5235/tid=5249] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5249/stat : 5249 (java) S 5233 5235 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282409263 9856004096 10325 33554432000 1073741824 1073778376 140734352734048 140007373442064 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5235/tid=5250] ppid=5233 vsize=9625004 CPUtime=0.2 cores=1,3,5,7
/proc/5235/task/5250/stat : 5250 (java) S 5233 5235 3132 0 -1 4202560 1752 0 0 0 20 0 0 0 20 0 19 0 282409263 9856004096 10325 33554432000 1073741824 1073778376 140734352734048 140007372388408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5235/tid=5251] ppid=5233 vsize=9625004 CPUtime=0.24 cores=1,3,5,7
/proc/5235/task/5251/stat : 5251 (java) S 5233 5235 3132 0 -1 4202560 1822 0 0 0 24 0 0 0 20 0 19 0 282409263 9856004096 10325 33554432000 1073741824 1073778376 140734352734048 140007371335864 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5235/tid=5252] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5252/stat : 5252 (java) S 5233 5235 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282409263 9856004096 10325 33554432000 1073741824 1073778376 140734352734048 140007370283512 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5235/tid=5253] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5253/stat : 5253 (java) S 5233 5235 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282409263 9856004096 10325 33554432000 1073741824 1073778376 140734352734048 140007369231176 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5235/tid=5254] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5254/stat : 5254 (java) S 5233 5235 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282409280 9856004096 10325 33554432000 1073741824 1073778376 140734352734048 140007368176936 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 9625004

[startup+3.10145 s]
/proc/loadavg: 2.10 2.05 2.01 3/213 5254
/proc/meminfo: memFree=28536904/32873648 swapFree=6844/6844
[pid=5235] ppid=5233 vsize=9625004 CPUtime=3.59 cores=1,3,5,7
/proc/5235/stat : 5235 (java) S 5233 5235 3132 0 -1 4202496 7410 0 1 0 356 3 0 0 20 0 19 0 282409257 9856004096 11361 33554432000 1073741824 1073778376 140734352734048 140734352725184 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5235/statm: 2406251 11361 2280 9 0 2396937 0
[pid=5235/tid=5237] ppid=5233 vsize=9625004 CPUtime=2.99 cores=1,3,5,7
/proc/5235/task/5237/stat : 5237 (java) R 5233 5235 3132 0 -1 4202560 2573 0 1 0 298 1 0 0 20 0 19 0 282409258 9856004096 11361 33554432000 1073741824 1073778376 140734352734048 140007552512248 140007424787594 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5235/tid=5238] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5238/stat : 5238 (java) S 5233 5235 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282409259 9856004096 11361 33554432000 1073741824 1073778376 140734352734048 140007396166312 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5235/tid=5239] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5239/stat : 5239 (java) S 5233 5235 3132 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282409259 9856004096 11361 33554432000 1073741824 1073778376 140734352734048 140007395113768 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5235/tid=5240] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5240/stat : 5240 (java) S 5233 5235 3132 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282409259 9856004096 11361 33554432000 1073741824 1073778376 140734352734048 140007394061224 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5235/tid=5241] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5241/stat : 5241 (java) S 5233 5235 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282409259 9856004096 11361 33554432000 1073741824 1073778376 140734352734048 140007393008680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5235/tid=5242] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5242/stat : 5242 (java) S 5233 5235 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282409259 9856004096 11361 33554432000 1073741824 1073778376 140734352734048 140007391955112 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5235/tid=5243] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5243/stat : 5243 (java) S 5233 5235 3132 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 282409259 9856004096 11361 33554432000 1073741824 1073778376 140734352734048 140007390902568 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5235/tid=5244] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5244/stat : 5244 (java) S 5233 5235 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282409259 9856004096 11361 33554432000 1073741824 1073778376 140734352734048 140007389850024 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5235/tid=5245] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5245/stat : 5245 (java) S 5233 5235 3132 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282409259 9856004096 11361 33554432000 1073741824 1073778376 140734352734048 140007388797480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5235/tid=5246] ppid=5233 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/5235/task/5246/stat : 5246 (java) S 5233 5235 3132 0 -1 4202560 31 0 0 0 3 0 0 0 20 0 19 0 282409260 9856004096 11361 33554432000 1073741824 1073778376 140734352734048 140007376599656 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5235/tid=5247] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5247/stat : 5247 (java) S 5233 5235 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282409261 9856004096 11361 33554432000 1073741824 1073778376 140734352734048 140007375545976 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5235/tid=5248] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5248/stat : 5248 (java) S 5233 5235 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282409261 9856004096 11361 33554432000 1073741824 1073778376 140734352734048 140007374493320 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5235/tid=5249] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5249/stat : 5249 (java) S 5233 5235 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282409263 9856004096 11361 33554432000 1073741824 1073778376 140734352734048 140007373442064 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5235/tid=5250] ppid=5233 vsize=9625004 CPUtime=0.22 cores=1,3,5,7
/proc/5235/task/5250/stat : 5250 (java) S 5233 5235 3132 0 -1 4202560 1757 0 0 0 22 0 0 0 20 0 19 0 282409263 9856004096 11361 33554432000 1073741824 1073778376 140734352734048 140007372388408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5235/tid=5251] ppid=5233 vsize=9625004 CPUtime=0.24 cores=1,3,5,7
/proc/5235/task/5251/stat : 5251 (java) S 5233 5235 3132 0 -1 4202560 1823 0 0 0 24 0 0 0 20 0 19 0 282409263 9856004096 11361 33554432000 1073741824 1073778376 140734352734048 140007371335864 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5235/tid=5252] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5252/stat : 5252 (java) S 5233 5235 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282409263 9856004096 11361 33554432000 1073741824 1073778376 140734352734048 140007370283512 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5235/tid=5253] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5253/stat : 5253 (java) S 5233 5235 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282409263 9856004096 11361 33554432000 1073741824 1073778376 140734352734048 140007369231176 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5235/tid=5254] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5254/stat : 5254 (java) S 5233 5235 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282409280 9856004096 11361 33554432000 1073741824 1073778376 140734352734048 140007368176936 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.59
Current children cumulated vsize (KiB) 9625004

[startup+6.3007 s]
/proc/loadavg: 2.09 2.05 2.01 3/213 5254
/proc/meminfo: memFree=28534820/32873648 swapFree=6844/6844
[pid=5235] ppid=5233 vsize=9625004 CPUtime=6.81 cores=1,3,5,7
/proc/5235/stat : 5235 (java) S 5233 5235 3132 0 -1 4202496 7444 0 1 0 678 3 0 0 20 0 19 0 282409257 9856004096 11249 33554432000 1073741824 1073778376 140734352734048 140734352725184 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5235/statm: 2406251 11249 2280 9 0 2396937 0
[pid=5235/tid=5237] ppid=5233 vsize=9625004 CPUtime=6.11 cores=1,3,5,7
/proc/5235/task/5237/stat : 5237 (java) R 5233 5235 3132 0 -1 4202560 2578 0 1 0 610 1 0 0 20 0 19 0 282409258 9856004096 11249 33554432000 1073741824 1073778376 140734352734048 140007552512304 140007425037395 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5235/tid=5238] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5238/stat : 5238 (java) S 5233 5235 3132 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 282409259 9856004096 11249 33554432000 1073741824 1073778376 140734352734048 140007396166312 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5235/tid=5239] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5239/stat : 5239 (java) S 5233 5235 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282409259 9856004096 11249 33554432000 1073741824 1073778376 140734352734048 140007395113768 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5235/tid=5240] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5240/stat : 5240 (java) S 5233 5235 3132 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 282409259 9856004096 11249 33554432000 1073741824 1073778376 140734352734048 140007394061224 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5235/tid=5241] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5241/stat : 5241 (java) S 5233 5235 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282409259 9856004096 11249 33554432000 1073741824 1073778376 140734352734048 140007393008680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5235/tid=5242] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5242/stat : 5242 (java) S 5233 5235 3132 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282409259 9856004096 11249 33554432000 1073741824 1073778376 140734352734048 140007391955112 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5235/tid=5243] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5243/stat : 5243 (java) S 5233 5235 3132 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 282409259 9856004096 11249 33554432000 1073741824 1073778376 140734352734048 140007390902568 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5235/tid=5244] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5244/stat : 5244 (java) S 5233 5235 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282409259 9856004096 11249 33554432000 1073741824 1073778376 140734352734048 140007389850024 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5235/tid=5245] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5245/stat : 5245 (java) S 5233 5235 3132 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 282409259 9856004096 11249 33554432000 1073741824 1073778376 140734352734048 140007388797480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5235/tid=5246] ppid=5233 vsize=9625004 CPUtime=0.09 cores=1,3,5,7
/proc/5235/task/5246/stat : 5246 (java) S 5233 5235 3132 0 -1 4202560 31 0 0 0 9 0 0 0 20 0 19 0 282409260 9856004096 11249 33554432000 1073741824 1073778376 140734352734048 140007376599656 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5235/tid=5247] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5247/stat : 5247 (java) S 5233 5235 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282409261 9856004096 11249 33554432000 1073741824 1073778376 140734352734048 140007375545976 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5235/tid=5248] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5248/stat : 5248 (java) S 5233 5235 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282409261 9856004096 11249 33554432000 1073741824 1073778376 140734352734048 140007374493320 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5235/tid=5249] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5249/stat : 5249 (java) S 5233 5235 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282409263 9856004096 11249 33554432000 1073741824 1073778376 140734352734048 140007373442064 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5235/tid=5250] ppid=5233 vsize=9625004 CPUtime=0.23 cores=1,3,5,7
/proc/5235/task/5250/stat : 5250 (java) S 5233 5235 3132 0 -1 4202560 1758 0 0 0 23 0 0 0 20 0 19 0 282409263 9856004096 11249 33554432000 1073741824 1073778376 140734352734048 140007372388408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5235/tid=5251] ppid=5233 vsize=9625004 CPUtime=0.24 cores=1,3,5,7
/proc/5235/task/5251/stat : 5251 (java) S 5233 5235 3132 0 -1 4202560 1823 0 0 0 24 0 0 0 20 0 19 0 282409263 9856004096 11249 33554432000 1073741824 1073778376 140734352734048 140007371335864 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5235/tid=5252] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5252/stat : 5252 (java) S 5233 5235 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282409263 9856004096 11249 33554432000 1073741824 1073778376 140734352734048 140007370283512 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5235/tid=5253] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5253/stat : 5253 (java) S 5233 5235 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282409263 9856004096 11249 33554432000 1073741824 1073778376 140734352734048 140007369231176 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5235/tid=5254] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5254/stat : 5254 (java) S 5233 5235 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282409280 9856004096 11249 33554432000 1073741824 1073778376 140734352734048 140007368176936 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.81
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

[pid=5235/tid=5250] ppid=5233 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/5235/task/5250/stat : 5250 (java) S 5233 5235 3132 0 -1 4202560 5135 0 0 0 35 0 0 0 20 0 19 0 282409263 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007372388408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5235/tid=5251] ppid=5233 vsize=9625004 CPUtime=0.25 cores=1,3,5,7
/proc/5235/task/5251/stat : 5251 (java) S 5233 5235 3132 0 -1 4202560 1823 0 0 0 25 0 0 0 20 0 19 0 282409263 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007371335864 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5235/tid=5252] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5252/stat : 5252 (java) S 5233 5235 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282409263 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007370283512 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5235/tid=5253] ppid=5233 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/5235/task/5253/stat : 5253 (java) S 5233 5235 3132 0 -1 4202560 95 0 0 0 12 17 0 0 20 0 19 0 282409263 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007369231176 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5235/tid=5254] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5254/stat : 5254 (java) S 5233 5235 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282409280 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007368176936 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1670.32
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 5351
/proc/meminfo: memFree=28767288/32873648 swapFree=6844/6844
[pid=5235] ppid=5233 vsize=9625004 CPUtime=1730.53 cores=1,3,5,7
/proc/5235/stat : 5235 (java) S 5233 5235 3132 0 -1 4202496 12543 0 1 0 173011 42 0 0 20 0 19 0 282409257 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140734352725184 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5235/statm: 2406251 30222 2281 9 0 2396937 0
[pid=5235/tid=5237] ppid=5233 vsize=9625004 CPUtime=1700.26 cores=1,3,5,7
/proc/5235/task/5237/stat : 5237 (java) R 5233 5235 3132 0 -1 4202560 3156 0 1 0 169997 29 0 0 20 0 19 0 282409258 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007552512304 140007425195601 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5235/tid=5238] ppid=5233 vsize=9625004 CPUtime=1.42 cores=1,3,5,7
/proc/5235/task/5238/stat : 5238 (java) S 5233 5235 3132 0 -1 4202560 257 0 0 0 139 3 0 0 20 0 19 0 282409259 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007396166312 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5235/tid=5239] ppid=5233 vsize=9625004 CPUtime=1.39 cores=1,3,5,7
/proc/5235/task/5239/stat : 5239 (java) S 5233 5235 3132 0 -1 4202560 228 0 0 0 136 3 0 0 20 0 19 0 282409259 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007395113768 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5235/tid=5240] ppid=5233 vsize=9625004 CPUtime=1.39 cores=1,3,5,7
/proc/5235/task/5240/stat : 5240 (java) S 5233 5235 3132 0 -1 4202560 89 0 0 0 137 2 0 0 20 0 19 0 282409259 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007394061224 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5235/tid=5241] ppid=5233 vsize=9625004 CPUtime=1.35 cores=1,3,5,7
/proc/5235/task/5241/stat : 5241 (java) S 5233 5235 3132 0 -1 4202560 104 0 0 0 133 2 0 0 20 0 19 0 282409259 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007393008680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5235/tid=5242] ppid=5233 vsize=9625004 CPUtime=1.33 cores=1,3,5,7
/proc/5235/task/5242/stat : 5242 (java) S 5233 5235 3132 0 -1 4202560 70 0 0 0 130 3 0 0 20 0 19 0 282409259 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007391955112 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5235/tid=5243] ppid=5233 vsize=9625004 CPUtime=1.35 cores=1,3,5,7
/proc/5235/task/5243/stat : 5243 (java) S 5233 5235 3132 0 -1 4202560 94 0 0 0 133 2 0 0 20 0 19 0 282409259 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007390902568 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5235/tid=5244] ppid=5233 vsize=9625004 CPUtime=1.45 cores=1,3,5,7
/proc/5235/task/5244/stat : 5244 (java) S 5233 5235 3132 0 -1 4202560 62 0 0 0 142 3 0 0 20 0 19 0 282409259 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007389850024 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5235/tid=5245] ppid=5233 vsize=9625004 CPUtime=1.47 cores=1,3,5,7
/proc/5235/task/5245/stat : 5245 (java) S 5233 5235 3132 0 -1 4202560 102 0 0 0 145 2 0 0 20 0 19 0 282409259 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007388797480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5235/tid=5246] ppid=5233 vsize=9625004 CPUtime=13.93 cores=1,3,5,7
/proc/5235/task/5246/stat : 5246 (java) S 5233 5235 3132 0 -1 4202560 143 0 0 0 1389 4 0 0 20 0 19 0 282409260 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007376599656 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5235/tid=5247] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5247/stat : 5247 (java) S 5233 5235 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282409261 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007375545976 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5235/tid=5248] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5248/stat : 5248 (java) S 5233 5235 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282409261 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007374493320 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5235/tid=5249] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5249/stat : 5249 (java) S 5233 5235 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282409263 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007373442064 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5235/tid=5250] ppid=5233 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/5235/task/5250/stat : 5250 (java) S 5233 5235 3132 0 -1 4202560 5135 0 0 0 35 0 0 0 20 0 19 0 282409263 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007372388408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5235/tid=5251] ppid=5233 vsize=9625004 CPUtime=0.25 cores=1,3,5,7
/proc/5235/task/5251/stat : 5251 (java) S 5233 5235 3132 0 -1 4202560 1823 0 0 0 25 0 0 0 20 0 19 0 282409263 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007371335864 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5235/tid=5252] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5252/stat : 5252 (java) S 5233 5235 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282409263 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007370283512 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5235/tid=5253] ppid=5233 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/5235/task/5253/stat : 5253 (java) S 5233 5235 3132 0 -1 4202560 99 0 0 0 13 18 0 0 20 0 19 0 282409263 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007369231176 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5235/tid=5254] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5254/stat : 5254 (java) S 5233 5235 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282409280 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007368176936 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1730.53
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 5351
/proc/meminfo: memFree=28765620/32873648 swapFree=6844/6844
[pid=5235] ppid=5233 vsize=9625004 CPUtime=1790.72 cores=1,3,5,7
/proc/5235/stat : 5235 (java) S 5233 5235 3132 0 -1 4202496 12564 0 1 0 179029 43 0 0 20 0 19 0 282409257 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140734352725184 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5235/statm: 2406251 30222 2281 9 0 2396937 0
[pid=5235/tid=5237] ppid=5233 vsize=9625004 CPUtime=1759.59 cores=1,3,5,7
/proc/5235/task/5237/stat : 5237 (java) R 5233 5235 3132 0 -1 4202560 3169 0 1 0 175929 30 0 0 20 0 19 0 282409258 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007552512424 140007425021843 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5235/tid=5238] ppid=5233 vsize=9625004 CPUtime=1.45 cores=1,3,5,7
/proc/5235/task/5238/stat : 5238 (java) S 5233 5235 3132 0 -1 4202560 257 0 0 0 142 3 0 0 20 0 19 0 282409259 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007396166312 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5235/tid=5239] ppid=5233 vsize=9625004 CPUtime=1.42 cores=1,3,5,7
/proc/5235/task/5239/stat : 5239 (java) S 5233 5235 3132 0 -1 4202560 228 0 0 0 139 3 0 0 20 0 19 0 282409259 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007395113768 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5235/tid=5240] ppid=5233 vsize=9625004 CPUtime=1.43 cores=1,3,5,7
/proc/5235/task/5240/stat : 5240 (java) S 5233 5235 3132 0 -1 4202560 89 0 0 0 141 2 0 0 20 0 19 0 282409259 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007394061224 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5235/tid=5241] ppid=5233 vsize=9625004 CPUtime=1.38 cores=1,3,5,7
/proc/5235/task/5241/stat : 5241 (java) S 5233 5235 3132 0 -1 4202560 104 0 0 0 136 2 0 0 20 0 19 0 282409259 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007393008680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5235/tid=5242] ppid=5233 vsize=9625004 CPUtime=1.36 cores=1,3,5,7
/proc/5235/task/5242/stat : 5242 (java) S 5233 5235 3132 0 -1 4202560 70 0 0 0 133 3 0 0 20 0 19 0 282409259 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007391955112 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5235/tid=5243] ppid=5233 vsize=9625004 CPUtime=1.39 cores=1,3,5,7
/proc/5235/task/5243/stat : 5243 (java) S 5233 5235 3132 0 -1 4202560 94 0 0 0 137 2 0 0 20 0 19 0 282409259 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007390902568 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5235/tid=5244] ppid=5233 vsize=9625004 CPUtime=1.47 cores=1,3,5,7
/proc/5235/task/5244/stat : 5244 (java) S 5233 5235 3132 0 -1 4202560 62 0 0 0 144 3 0 0 20 0 19 0 282409259 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007389850024 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5235/tid=5245] ppid=5233 vsize=9625004 CPUtime=1.5 cores=1,3,5,7
/proc/5235/task/5245/stat : 5245 (java) S 5233 5235 3132 0 -1 4202560 102 0 0 0 148 2 0 0 20 0 19 0 282409259 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007388797480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5235/tid=5246] ppid=5233 vsize=9625004 CPUtime=14.37 cores=1,3,5,7
/proc/5235/task/5246/stat : 5246 (java) S 5233 5235 3132 0 -1 4202560 147 0 0 0 1433 4 0 0 20 0 19 0 282409260 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007376599656 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5235/tid=5247] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5247/stat : 5247 (java) S 5233 5235 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282409261 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007375545976 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5235/tid=5248] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5248/stat : 5248 (java) S 5233 5235 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282409261 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007374493320 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5235/tid=5249] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5249/stat : 5249 (java) S 5233 5235 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282409263 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007373442064 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5235/tid=5250] ppid=5233 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/5235/task/5250/stat : 5250 (java) S 5233 5235 3132 0 -1 4202560 5135 0 0 0 35 0 0 0 20 0 19 0 282409263 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007372388408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5235/tid=5251] ppid=5233 vsize=9625004 CPUtime=0.25 cores=1,3,5,7
/proc/5235/task/5251/stat : 5251 (java) S 5233 5235 3132 0 -1 4202560 1823 0 0 0 25 0 0 0 20 0 19 0 282409263 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007371335864 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5235/tid=5252] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5252/stat : 5252 (java) S 5233 5235 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282409263 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007370283512 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5235/tid=5253] ppid=5233 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/5235/task/5253/stat : 5253 (java) S 5233 5235 3132 0 -1 4202560 103 0 0 0 13 18 0 0 20 0 19 0 282409263 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007369231176 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5235/tid=5254] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5254/stat : 5254 (java) S 5233 5235 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282409280 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007368176936 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1790.72
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1791.4 s]
/proc/loadavg: 2.00 2.00 2.00 4/213 5351
/proc/meminfo: memFree=28765904/32873648 swapFree=6844/6844
[pid=5235] ppid=5233 vsize=9625004 CPUtime=1800.02 cores=1,3,5,7
/proc/5235/stat : 5235 (java) S 5233 5235 3132 0 -1 4202496 12577 0 1 0 179959 43 0 0 20 0 19 0 282409257 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140734352725184 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5235/statm: 2406251 30222 2281 9 0 2396937 0
[pid=5235/tid=5237] ppid=5233 vsize=9625004 CPUtime=1768.34 cores=1,3,5,7
/proc/5235/task/5237/stat : 5237 (java) R 5233 5235 3132 0 -1 4202560 3181 0 1 0 176804 30 0 0 20 0 19 0 282409258 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007552512304 140007425015712 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5235/tid=5238] ppid=5233 vsize=9625004 CPUtime=1.49 cores=1,3,5,7
/proc/5235/task/5238/stat : 5238 (java) S 5233 5235 3132 0 -1 4202560 257 0 0 0 146 3 0 0 20 0 19 0 282409259 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007396166312 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5235/tid=5239] ppid=5233 vsize=9625004 CPUtime=1.46 cores=1,3,5,7
/proc/5235/task/5239/stat : 5239 (java) S 5233 5235 3132 0 -1 4202560 228 0 0 0 143 3 0 0 20 0 19 0 282409259 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007395113768 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5235/tid=5240] ppid=5233 vsize=9625004 CPUtime=1.47 cores=1,3,5,7
/proc/5235/task/5240/stat : 5240 (java) S 5233 5235 3132 0 -1 4202560 89 0 0 0 145 2 0 0 20 0 19 0 282409259 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007394061224 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5235/tid=5241] ppid=5233 vsize=9625004 CPUtime=1.42 cores=1,3,5,7
/proc/5235/task/5241/stat : 5241 (java) S 5233 5235 3132 0 -1 4202560 104 0 0 0 140 2 0 0 20 0 19 0 282409259 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007393008680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5235/tid=5242] ppid=5233 vsize=9625004 CPUtime=1.39 cores=1,3,5,7
/proc/5235/task/5242/stat : 5242 (java) S 5233 5235 3132 0 -1 4202560 70 0 0 0 136 3 0 0 20 0 19 0 282409259 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007391955112 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5235/tid=5243] ppid=5233 vsize=9625004 CPUtime=1.43 cores=1,3,5,7
/proc/5235/task/5243/stat : 5243 (java) S 5233 5235 3132 0 -1 4202560 94 0 0 0 141 2 0 0 20 0 19 0 282409259 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007390902568 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5235/tid=5244] ppid=5233 vsize=9625004 CPUtime=1.49 cores=1,3,5,7
/proc/5235/task/5244/stat : 5244 (java) S 5233 5235 3132 0 -1 4202560 62 0 0 0 146 3 0 0 20 0 19 0 282409259 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007389850024 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5235/tid=5245] ppid=5233 vsize=9625004 CPUtime=1.53 cores=1,3,5,7
/proc/5235/task/5245/stat : 5245 (java) S 5233 5235 3132 0 -1 4202560 102 0 0 0 151 2 0 0 20 0 19 0 282409259 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007388797480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5235/tid=5246] ppid=5233 vsize=9625004 CPUtime=14.61 cores=1,3,5,7
/proc/5235/task/5246/stat : 5246 (java) S 5233 5235 3132 0 -1 4202560 147 0 0 0 1457 4 0 0 20 0 19 0 282409260 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007376599656 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5235/tid=5247] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5247/stat : 5247 (java) S 5233 5235 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282409261 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007375545976 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5235/tid=5248] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5248/stat : 5248 (java) S 5233 5235 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282409261 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007374493320 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5235/tid=5249] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5249/stat : 5249 (java) S 5233 5235 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282409263 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007373442064 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5235/tid=5250] ppid=5233 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/5235/task/5250/stat : 5250 (java) S 5233 5235 3132 0 -1 4202560 5136 0 0 0 35 0 0 0 20 0 19 0 282409263 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007372388408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5235/tid=5251] ppid=5233 vsize=9625004 CPUtime=0.25 cores=1,3,5,7
/proc/5235/task/5251/stat : 5251 (java) S 5233 5235 3132 0 -1 4202560 1823 0 0 0 25 0 0 0 20 0 19 0 282409263 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007371335864 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5235/tid=5252] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5252/stat : 5252 (java) S 5233 5235 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282409263 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007370283512 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5235/tid=5253] ppid=5233 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/5235/task/5253/stat : 5253 (java) S 5233 5235 3132 0 -1 4202560 103 0 0 0 13 18 0 0 20 0 19 0 282409263 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007369231176 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5235/tid=5254] ppid=5233 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5235/task/5254/stat : 5254 (java) S 5233 5235 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282409280 9856004096 30222 33554432000 1073741824 1073778376 140734352734048 140007368176936 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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 5235 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=978121
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=863868
# CPU time returned by wait4() is 1795.84
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1791.43
CPU time (s): 1800.02
CPU user time (s): 1799.59
CPU system time (s): 0.43
CPU usage (%): 100.48
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.98
system time used= 0.863868
maximum resident set size= 121008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12609
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54225
involuntary context switches= 49514

runsolver used 6.03208 second user time and 13.8609 second system time

The end

Launcher Data 

Begin job on node124 at 2012-05-28 01:53:54
IDJOB=3710909
IDBENCH=25022
IDSOLVER=2289
FILE ID=node124/3710909-1338162834
RUNJOBID= node124-1338143409-3149
PBS_JOBID= 14624516
Free space on /tmp= 71420 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir02_trarea_ac.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-3710909-1338162834/watcher-3710909-1338162834 -o /tmp/evaluation-result-3710909-1338162834/solver-3710909-1338162834 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710909-1338162834.opb

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

MD5SUM BENCH= aa73e48897f9c10e5003e2188d9e7ab9
RANDOM SEED=112072431

node124.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.325
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.65
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.325
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	: 5385.03
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.325
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	: 5385.04
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.325
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	: 5357.53
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.325
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	: 5385.03
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.325
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	: 5385.04
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.325
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	: 5385.03
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.325
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	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28572720 kB
Buffers:          356628 kB
Cached:          2706348 kB
SwapCached:            0 kB
Active:          1353720 kB
Inactive:        2137692 kB
Active(anon):     430944 kB
Inactive(anon):        0 kB
Active(file):     922776 kB
Inactive(file):  2137692 kB
Unevictable:        6844 kB
Mlocked:            6844 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               528 kB
Writeback:             0 kB
AnonPages:        437460 kB
Mapped:            22616 kB
Shmem:               200 kB
Slab:             669196 kB
SReclaimable:     113476 kB
SUnreclaim:       555720 kB
KernelStack:        1600 kB
PageTables:         4676 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1083096 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    407552 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= 71432 MiB
End job on node124 at 2012-05-28 02:23:47