Trace number 3731050

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
PB11: Sat4j Res//CP 2.3.0SAT (TO)116 1800.15 936.357

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos16.opb
MD5SUM49459e9c72edb2754f1d384319cf8731
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark114
Best CPU time to get the best result obtained on this benchmark1076.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 114
Optimality of the best value was proved NO
Number of variables464
Total number of constraints1059
Number of constraints which are clauses336
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints723
Minimum length of a constraint2
Maximum length of a constraint128
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 138
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 535
Number of bits of the biggest sum of numbers10
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.04/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.09	c See www.sat4j.org for details.
0.04/0.09	c version 2.3.1.v20110525
0.04/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.09	c java.vm.version	19.1-b02
0.04/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.09	c sun.arch.data.model	64
0.04/0.09	c java.version		1.6.0_24
0.04/0.09	c os.name		Linux
0.04/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.04/0.09	c os.arch		amd64
0.04/0.09	c Free memory 		9996466904
0.04/0.09	c Max memory 		10048897024
0.04/0.09	c Total memory 		10048897024
0.04/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
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 lightweight component caching from RSAT taking into account the objective function
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=false
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
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 taking into account the objective function
0.09/0.12	c No 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=false
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3731050-1338679758.opb
0.09/0.12	c reading problem ... 
0.24/0.29	c ... done. Wall clock time 0.17s.
0.24/0.29	c #vars     464
0.24/0.29	c #constraints  1069
0.24/0.29	c constraints type 
0.24/0.29	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 40
0.24/0.29	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 336
0.24/0.29	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 693
0.24/0.29	c constraints type 
0.24/0.29	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 336
0.24/0.29	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 40
0.24/0.29	c org.sat4j.pb.constraints.pb.MaxWatchPb => 693
1.31/0.55	c  And the winner is Resolution
1.63/0.79	c SATISFIABLE
1.63/0.79	c OPTIMIZING...
1.63/0.79	c Got one! Elapsed wall clock time (in seconds):0.672
1.63/0.79	o 126
2.04/0.96	c  And the winner is Resolution
2.55/1.29	c Got one! Elapsed wall clock time (in seconds):1.173
2.55/1.29	o 125
2.56/1.36	c cleaning 2954 clauses out of 5909 with flag 1002/5909
3.82/1.70	c cleaning 4474 clauses out of 8954 with flag 7001/11908
4.48/2.07	c cleaning 5734 clauses out of 11479 with flag 14000/18907
4.70/2.12	c  And the winner is Resolution
4.75/2.29	c Got one! Elapsed wall clock time (in seconds):2.174
4.75/2.29	o 123
5.15/2.53	c cleaning 5656 clauses out of 11317 with flag 5002/24479
5.77/2.84	c cleaning 5827 clauses out of 11662 with flag 11003/30480
6.35/3.13	c  And the winner is Resolution
6.44/3.29	c Got one! Elapsed wall clock time (in seconds):3.175
6.44/3.29	o 122
6.85/3.52	c cleaning 8203 clauses out of 16412 with flag 5000/41057
7.43/3.88	c cleaning 7104 clauses out of 14209 with flag 11000/47057
8.21/4.30	c cleaning 7048 clauses out of 14106 with flag 18001/54058
9.58/4.97	c cleaning 7512 clauses out of 15057 with flag 26000/62057
11.36/5.89	c cleaning 8261 clauses out of 16547 with flag 35002/71059
11.73/6.07	c  And the winner is Resolution
11.87/6.29	c Got one! Elapsed wall clock time (in seconds):6.176
11.87/6.29	o 121
12.09/6.46	c cleaning 6864 clauses out of 13740 with flag 4000/76513
12.67/6.77	c cleaning 6435 clauses out of 12876 with flag 10000/82513
13.44/7.20	c cleaning 6715 clauses out of 13441 with flag 17000/89513
15.21/8.03	c cleaning 7357 clauses out of 14728 with flag 25002/97515
16.99/8.98	c cleaning 8159 clauses out of 16369 with flag 34000/106513
19.56/10.22	c cleaning 9089 clauses out of 18210 with flag 44000/116513
21.51/11.26	c cleaning 9553 clauses out of 19122 with flag 54001/126514
24.08/12.56	c cleaning 9771 clauses out of 19568 with flag 64000/136513
26.45/13.78	c cleaning 9880 clauses out of 19798 with flag 74001/146514
28.01/14.58	c cleaning 0 clauses out of 7591 with flag 0/7593
29.86/15.32	c cleaning 9938 clauses out of 19917 with flag 84000/156513
32.73/16.70	c cleaning 9980 clauses out of 19980 with flag 94001/166514
35.48/18.17	c cleaning 9984 clauses out of 19999 with flag 104000/176513
37.46/19.17	c cleaning 9995 clauses out of 20015 with flag 114000/186513
39.60/20.20	c cleaning 10006 clauses out of 20021 with flag 124001/196514
41.76/21.37	c cleaning 9996 clauses out of 20014 with flag 134000/206513
44.54/22.75	c cleaning 9995 clauses out of 20018 with flag 144000/216513
46.70/23.84	c  And the winner is Resolution
46.70/23.87	c Got one! Elapsed wall clock time (in seconds):23.755
46.70/23.87	o 120
47.20/24.13	c cleaning 11784 clauses out of 23568 with flag 5001/230058
47.72/24.48	c cleaning 8886 clauses out of 17785 with flag 11002/236059
48.48/24.86	c cleaning 7935 clauses out of 15898 with flag 18001/243058
48.84/25.03	c  And the winner is Resolution
48.91/25.41	c Got one! Elapsed wall clock time (in seconds):25.297
48.91/25.41	o 119
49.29/25.60	c cleaning 6871 clauses out of 13756 with flag 4001/248851
49.84/25.96	c cleaning 6434 clauses out of 12884 with flag 10000/254850
50.60/26.37	c cleaning 6719 clauses out of 13450 with flag 17000/261850
51.55/26.83	c cleaning 7358 clauses out of 14731 with flag 25000/269850
52.72/27.49	c cleaning 8166 clauses out of 16373 with flag 34000/278850
55.10/28.69	c cleaning 9087 clauses out of 18209 with flag 44002/288852
57.83/30.03	c cleaning 9555 clauses out of 19121 with flag 54001/298851
60.59/31.40	c cleaning 9770 clauses out of 19565 with flag 64000/308850
62.96/32.68	c cleaning 9886 clauses out of 19795 with flag 74000/318850
65.93/34.13	c cleaning 9938 clauses out of 19910 with flag 84001/328851
68.44/35.48	c cleaning 9974 clauses out of 19972 with flag 94001/338851
70.80/36.63	c  And the winner is CuttingPlanes
70.81/36.97	c Got one! Elapsed wall clock time (in seconds):36.857
70.81/36.97	o 117
71.47/37.40	c cleaning 11695 clauses out of 23403 with flag 5000/352256
73.00/38.18	c cleaning 8845 clauses out of 17708 with flag 11000/358256
74.37/38.87	c cleaning 7916 clauses out of 15864 with flag 18001/365257
76.12/39.78	c cleaning 7956 clauses out of 15948 with flag 26001/373257
78.28/40.86	c cleaning 8483 clauses out of 16991 with flag 35000/382256
80.43/41.98	c cleaning 9242 clauses out of 18508 with flag 45000/392256
82.98/43.28	c cleaning 9619 clauses out of 19266 with flag 55000/402256
85.90/44.76	c cleaning 9813 clauses out of 19648 with flag 65001/412257
88.86/46.23	c cleaning 9911 clauses out of 19835 with flag 75001/422257
91.01/47.32	c cleaning 9947 clauses out of 19923 with flag 85000/432256
93.54/48.60	c cleaning 9982 clauses out of 19977 with flag 95001/442257
95.68/49.78	c cleaning 9979 clauses out of 19994 with flag 105000/452256
98.22/51.02	c cleaning 10001 clauses out of 20016 with flag 115001/462257
100.98/52.40	c cleaning 10004 clauses out of 20014 with flag 125000/472256
103.54/53.76	c cleaning 9977 clauses out of 20010 with flag 135000/482256
106.28/55.18	c cleaning 9995 clauses out of 20035 with flag 145002/492258
107.43/55.78	c cleaning 0 clauses out of 13585 with flag 0/13589
109.17/56.66	c cleaning 10004 clauses out of 20038 with flag 155000/502256
111.93/58.09	c cleaning 10010 clauses out of 20037 with flag 165003/512259
114.48/59.34	c cleaning 10004 clauses out of 20024 with flag 175000/522256
116.82/60.58	c cleaning 9988 clauses out of 20020 with flag 185000/532256
119.59/61.92	c cleaning 10002 clauses out of 20032 with flag 195000/542256
121.94/63.18	c cleaning 10002 clauses out of 20030 with flag 205000/552256
124.67/64.51	c cleaning 9993 clauses out of 20028 with flag 215000/562256
127.21/65.88	c cleaning 9993 clauses out of 20035 with flag 225000/572256
129.76/67.13	c cleaning 10005 clauses out of 20048 with flag 235006/582262
132.50/68.51	c cleaning 10006 clauses out of 20038 with flag 245001/592257
135.21/70.00	c cleaning 9994 clauses out of 20032 with flag 255001/602257
137.55/71.19	c cleaning 10001 clauses out of 20038 with flag 265001/612257
140.08/72.40	c cleaning 10003 clauses out of 20037 with flag 275001/622257
142.23/73.58	c cleaning 10002 clauses out of 20033 with flag 285000/632256
145.15/75.05	c cleaning 9980 clauses out of 20032 with flag 295001/642257
147.69/76.31	c cleaning 10015 clauses out of 20052 with flag 305001/652257
150.23/77.68	c cleaning 9989 clauses out of 20036 with flag 315000/662256
152.97/79.02	c cleaning 9989 clauses out of 20047 with flag 325000/672256
155.88/80.52	c cleaning 10021 clauses out of 20059 with flag 335001/682257
158.62/81.99	c cleaning 9984 clauses out of 20038 with flag 345001/692257
161.16/83.28	c cleaning 9995 clauses out of 20054 with flag 355001/702257
163.92/84.61	c cleaning 10009 clauses out of 20060 with flag 365002/712258
166.62/86.06	c cleaning 10000 clauses out of 20049 with flag 375000/722256
169.35/87.41	c cleaning 10015 clauses out of 20050 with flag 385001/732257
171.69/88.65	c cleaning 10001 clauses out of 20034 with flag 395000/742256
174.04/89.87	c cleaning 10000 clauses out of 20033 with flag 405000/752256
176.96/91.34	c cleaning 10012 clauses out of 20033 with flag 415000/762256
179.69/92.75	c cleaning 10002 clauses out of 20021 with flag 425000/772256
182.23/94.07	c cleaning 9997 clauses out of 20020 with flag 435001/782257
184.97/95.42	c cleaning 10000 clauses out of 20023 with flag 445001/792257
187.69/96.81	c cleaning 10003 clauses out of 20022 with flag 455000/802256
190.61/98.36	c cleaning 9992 clauses out of 20019 with flag 465000/812256
193.54/99.89	c cleaning 9999 clauses out of 20027 with flag 475000/822256
196.88/101.53	c cleaning 9991 clauses out of 20029 with flag 485001/832257
199.98/103.18	c cleaning 10001 clauses out of 20037 with flag 495000/842256
203.11/104.74	c cleaning 9997 clauses out of 20036 with flag 505000/852256
206.26/106.35	c cleaning 10011 clauses out of 20039 with flag 515000/862256
209.38/107.91	c cleaning 9987 clauses out of 20029 with flag 525001/872257
212.28/109.46	c cleaning 10004 clauses out of 20042 with flag 535001/882257
215.22/110.94	c cleaning 9994 clauses out of 20039 with flag 545002/892258
218.34/112.55	c cleaning 10000 clauses out of 20044 with flag 555001/902257
221.47/114.18	c cleaning 10006 clauses out of 20043 with flag 565000/912256
224.77/115.80	c cleaning 10001 clauses out of 20037 with flag 575000/922256
227.70/117.35	c cleaning 10000 clauses out of 20038 with flag 585002/932258
230.03/118.58	c cleaning 9994 clauses out of 20036 with flag 595000/942256
232.96/120.08	c cleaning 10012 clauses out of 20042 with flag 605000/952256
236.27/121.72	c cleaning 9997 clauses out of 20030 with flag 615000/962256
239.40/123.33	c cleaning 9995 clauses out of 20033 with flag 625000/972256
242.13/124.70	c cleaning 9993 clauses out of 20039 with flag 635001/982257
245.07/126.26	c cleaning 10005 clauses out of 20046 with flag 645001/992257
248.37/127.90	c cleaning 9993 clauses out of 20041 with flag 655001/1002257
251.49/129.51	c cleaning 10002 clauses out of 20047 with flag 665000/1012256
254.44/131.03	c cleaning 10008 clauses out of 20045 with flag 675000/1022256
257.56/132.62	c cleaning 10001 clauses out of 20037 with flag 685000/1032256
260.47/134.14	c cleaning 10003 clauses out of 20036 with flag 695000/1042256
263.61/135.71	c cleaning 10004 clauses out of 20034 with flag 705001/1052257
266.33/137.17	c cleaning 10002 clauses out of 20029 with flag 715000/1062256
269.46/138.71	c cleaning 9992 clauses out of 20028 with flag 725001/1072257
272.35/140.27	c cleaning 9991 clauses out of 20036 with flag 735001/1082257
275.28/141.73	c cleaning 10008 clauses out of 20044 with flag 745000/1092256
278.01/143.18	c cleaning 10011 clauses out of 20037 with flag 755001/1102257
279.94/144.12	c cleaning 0 clauses out of 19585 with flag 0/19589
281.01/144.70	c cleaning 10001 clauses out of 20026 with flag 765001/1112257
283.95/146.23	c cleaning 9989 clauses out of 20024 with flag 775000/1122256
286.68/147.68	c cleaning 9999 clauses out of 20035 with flag 785000/1132256
290.02/149.33	c cleaning 9997 clauses out of 20036 with flag 795000/1142256
292.91/150.89	c cleaning 10000 clauses out of 20040 with flag 805001/1152257
296.03/152.42	c cleaning 10003 clauses out of 20039 with flag 815000/1162256
299.16/154.01	c cleaning 10006 clauses out of 20036 with flag 825000/1172256
302.09/155.51	c cleaning 9998 clauses out of 20030 with flag 835000/1182256
304.97/157.00	c cleaning 9990 clauses out of 20032 with flag 845000/1192256
308.09/158.69	c cleaning 10004 clauses out of 20043 with flag 855001/1202257
311.21/160.29	c cleaning 10003 clauses out of 20039 with flag 865001/1212257
314.34/161.88	c cleaning 9993 clauses out of 20035 with flag 875000/1222256
317.22/163.33	c cleaning 10002 clauses out of 20042 with flag 885000/1232256
319.75/164.67	c cleaning 9998 clauses out of 20040 with flag 895000/1242256
322.49/166.09	c cleaning 10005 clauses out of 20044 with flag 905002/1252258
325.80/167.73	c cleaning 9997 clauses out of 20039 with flag 915002/1262258
328.68/169.28	c cleaning 10005 clauses out of 20041 with flag 925001/1272257
331.42/170.69	c cleaning 9995 clauses out of 20036 with flag 935001/1282257
334.34/172.10	c cleaning 10004 clauses out of 20040 with flag 945000/1292256
337.27/173.70	c cleaning 9994 clauses out of 20036 with flag 955000/1302256
340.36/175.24	c cleaning 10008 clauses out of 20042 with flag 965000/1312256
343.09/176.60	c cleaning 9999 clauses out of 20036 with flag 975002/1322258
346.04/178.17	c cleaning 9992 clauses out of 20036 with flag 985001/1332257
348.96/179.68	c cleaning 10005 clauses out of 20044 with flag 995001/1342257
352.05/181.26	c cleaning 9989 clauses out of 20041 with flag 1005003/1352259
354.78/182.67	c cleaning 10013 clauses out of 20051 with flag 1015002/1362258
357.89/184.28	c cleaning 10005 clauses out of 20038 with flag 1025002/1372258
361.01/185.85	c cleaning 9996 clauses out of 20031 with flag 1035000/1382256
364.29/187.54	c cleaning 10011 clauses out of 20037 with flag 1045002/1392258
367.22/189.10	c cleaning 9990 clauses out of 20026 with flag 1055002/1402258
370.55/190.79	c cleaning 10000 clauses out of 20035 with flag 1065001/1412257
373.89/192.44	c cleaning 9993 clauses out of 20036 with flag 1075002/1422258
376.75/193.99	c cleaning 9999 clauses out of 20041 with flag 1085000/1432256
379.86/195.53	c cleaning 10001 clauses out of 20042 with flag 1095000/1442256
382.60/196.99	c cleaning 10006 clauses out of 20041 with flag 1105000/1452256
385.52/198.49	c cleaning 10005 clauses out of 20036 with flag 1115001/1462257
388.61/200.06	c cleaning 10008 clauses out of 20031 with flag 1125001/1472257
391.54/201.55	c cleaning 9995 clauses out of 20026 with flag 1135004/1482260
394.46/203.05	c cleaning 10007 clauses out of 20030 with flag 1145003/1492259
397.39/204.56	c cleaning 9994 clauses out of 20021 with flag 1155001/1502257
400.26/206.09	c cleaning 9993 clauses out of 20026 with flag 1165000/1512256
403.38/207.63	c cleaning 9994 clauses out of 20033 with flag 1175000/1522256
406.49/209.21	c cleaning 10008 clauses out of 20040 with flag 1185001/1532257
409.61/210.82	c cleaning 9997 clauses out of 20031 with flag 1195000/1542256
412.49/212.40	c cleaning 10000 clauses out of 20034 with flag 1205000/1552256
415.79/214.03	c cleaning 9996 clauses out of 20035 with flag 1215001/1562257
418.93/215.69	c cleaning 9995 clauses out of 20039 with flag 1225001/1572257
422.03/217.29	c cleaning 10004 clauses out of 20043 with flag 1235000/1582256
425.32/218.93	c cleaning 9987 clauses out of 20039 with flag 1245000/1592256
428.41/220.53	c cleaning 10016 clauses out of 20053 with flag 1255001/1602257
431.74/222.22	c cleaning 9999 clauses out of 20037 with flag 1265001/1612257
434.85/223.85	c cleaning 10001 clauses out of 20038 with flag 1275001/1622257
437.94/225.49	c cleaning 10001 clauses out of 20036 with flag 1285000/1632256
441.25/227.13	c cleaning 9999 clauses out of 20037 with flag 1295002/1642258
444.17/228.69	c cleaning 9994 clauses out of 20038 with flag 1305002/1652258
447.49/230.32	c cleaning 10007 clauses out of 20044 with flag 1315002/1662258
450.56/231.95	c cleaning 9999 clauses out of 20036 with flag 1325001/1672257
453.09/233.29	c cleaning 9998 clauses out of 20036 with flag 1335000/1682256
455.78/234.63	c cleaning 10005 clauses out of 20038 with flag 1345000/1692256
458.50/236.03	c cleaning 10012 clauses out of 20033 with flag 1355000/1702256
461.38/237.59	c cleaning 9995 clauses out of 20021 with flag 1365000/1712256
464.67/239.26	c cleaning 9998 clauses out of 20028 with flag 1375002/1722258
467.59/240.80	c cleaning 10002 clauses out of 20029 with flag 1385001/1732257
470.49/242.24	c cleaning 10004 clauses out of 20026 with flag 1395000/1742256
473.16/243.61	c cleaning 10001 clauses out of 20024 with flag 1405002/1752258
475.46/244.85	c cleaning 9994 clauses out of 20022 with flag 1415001/1762257
478.39/246.33	c cleaning 9997 clauses out of 20029 with flag 1425002/1772258
481.09/247.71	c cleaning 10000 clauses out of 20031 with flag 1435001/1782257
484.16/249.32	c cleaning 10002 clauses out of 20031 with flag 1445001/1792257
487.27/250.92	c cleaning 9988 clauses out of 20028 with flag 1455000/1802256
489.98/252.35	c cleaning 10013 clauses out of 20040 with flag 1465000/1812256
492.90/253.85	c cleaning 10000 clauses out of 20029 with flag 1475002/1822258
495.76/255.34	c cleaning 10001 clauses out of 20027 with flag 1485000/1832256
498.67/256.80	c cleaning 9996 clauses out of 20028 with flag 1495002/1842258
501.39/258.24	c cleaning 9995 clauses out of 20030 with flag 1505000/1852256
504.11/259.69	c cleaning 9985 clauses out of 20036 with flag 1515001/1862257
506.95/261.16	c cleaning 10002 clauses out of 20051 with flag 1525001/1872257
509.87/262.68	c cleaning 9997 clauses out of 20050 with flag 1535002/1882258
512.98/264.21	c cleaning 10013 clauses out of 20051 with flag 1545000/1892256
515.90/265.77	c cleaning 10004 clauses out of 20039 with flag 1555001/1902257
519.17/267.45	c cleaning 9998 clauses out of 20035 with flag 1565001/1912257
522.30/269.06	c cleaning 9993 clauses out of 20036 with flag 1575000/1922256
525.26/270.56	c cleaning 10004 clauses out of 20043 with flag 1585000/1932256
528.35/272.12	c cleaning 9997 clauses out of 20039 with flag 1595000/1942256
531.62/273.88	c cleaning 9997 clauses out of 20043 with flag 1605001/1952257
534.91/275.53	c cleaning 9992 clauses out of 20045 with flag 1615000/1962256
537.83/277.09	c cleaning 10001 clauses out of 20053 with flag 1625000/1972256
541.13/278.70	c cleaning 10011 clauses out of 20052 with flag 1635000/1982256
544.19/280.36	c cleaning 10001 clauses out of 20042 with flag 1645001/1992257
547.31/281.94	c cleaning 10005 clauses out of 20040 with flag 1655000/2002256
550.43/283.58	c cleaning 10000 clauses out of 20037 with flag 1665002/2012258
553.75/285.24	c cleaning 10004 clauses out of 20036 with flag 1675001/2022257
557.01/286.90	c cleaning 10004 clauses out of 20032 with flag 1685001/2032257
559.91/288.49	c cleaning 10007 clauses out of 20028 with flag 1695001/2042257
563.02/290.06	c cleaning 9982 clauses out of 20020 with flag 1705000/2052256
565.74/291.49	c cleaning 9998 clauses out of 20038 with flag 1715000/2062256
568.78/293.03	c cleaning 9991 clauses out of 20040 with flag 1725000/2072256
571.49/294.44	c cleaning 10008 clauses out of 20050 with flag 1735001/2082257
574.21/295.83	c cleaning 10000 clauses out of 20042 with flag 1745001/2092257
577.30/297.46	c cleaning 10005 clauses out of 20041 with flag 1755000/2102256
580.57/299.18	c cleaning 9996 clauses out of 20036 with flag 1765000/2112256
583.47/300.64	c cleaning 10000 clauses out of 20041 with flag 1775001/2122257
586.38/302.14	c cleaning 10000 clauses out of 20041 with flag 1785001/2132257
589.10/303.56	c cleaning 10005 clauses out of 20040 with flag 1795000/2142256
592.15/305.17	c cleaning 10000 clauses out of 20036 with flag 1805001/2152257
595.25/306.72	c cleaning 10006 clauses out of 20036 with flag 1815001/2162257
598.16/308.25	c cleaning 10002 clauses out of 20029 with flag 1825000/2172256
601.26/309.84	c cleaning 9996 clauses out of 20028 with flag 1835001/2182257
604.51/311.50	c cleaning 9990 clauses out of 20034 with flag 1845003/2192259
607.22/312.98	c cleaning 10006 clauses out of 20042 with flag 1855001/2202257
610.54/314.64	c cleaning 10013 clauses out of 20039 with flag 1865004/2212260
612.02/315.44	c  And the winner is CuttingPlanes
610.81/315.63	c Got one! Elapsed wall clock time (in seconds):315.51
610.81/315.63	o 116
611.74/316.15	c cleaning 10341 clauses out of 20710 with flag 5001/2222944
613.20/316.96	c cleaning 8170 clauses out of 16370 with flag 11002/2228945
614.93/317.82	c cleaning 7581 clauses out of 15199 with flag 18001/2235944
616.64/318.76	c cleaning 7795 clauses out of 15617 with flag 26000/2243943
618.74/319.89	c cleaning 8394 clauses out of 16822 with flag 35000/2252943
621.99/321.51	c cleaning 9208 clauses out of 18429 with flag 45001/2262944
624.70/322.97	c cleaning 9595 clauses out of 19220 with flag 55000/2272943
627.63/324.43	c cleaning 9798 clauses out of 19626 with flag 65001/2282944
630.54/325.96	c cleaning 9900 clauses out of 19827 with flag 75000/2292943
633.00/327.29	c cleaning 9948 clauses out of 19928 with flag 85001/2302944
635.71/328.62	c cleaning 9972 clauses out of 19979 with flag 95000/2312943
638.82/330.20	c cleaning 9989 clauses out of 20008 with flag 105001/2322944
641.92/331.88	c cleaning 10005 clauses out of 20018 with flag 115000/2332943
644.59/333.21	c cleaning 9989 clauses out of 20014 with flag 125001/2342944
647.69/334.81	c cleaning 9996 clauses out of 20024 with flag 135000/2352943
650.40/336.23	c cleaning 10000 clauses out of 20028 with flag 145000/2362943
652.89/337.58	c cleaning 10006 clauses out of 20030 with flag 155002/2372945
656.15/339.29	c cleaning 9993 clauses out of 20024 with flag 165002/2382945
659.06/340.76	c cleaning 10007 clauses out of 20029 with flag 175000/2392943
661.36/341.95	c cleaning 9992 clauses out of 20024 with flag 185002/2402945
664.06/343.32	c cleaning 9990 clauses out of 20031 with flag 195001/2412944
666.72/344.77	c cleaning 9990 clauses out of 20040 with flag 205000/2422943
669.20/346.03	c cleaning 10012 clauses out of 20050 with flag 215000/2432943
671.52/347.23	c cleaning 9988 clauses out of 20039 with flag 225001/2442944
674.24/348.70	c cleaning 10013 clauses out of 20051 with flag 235001/2452944
677.47/350.30	c cleaning 9999 clauses out of 20039 with flag 245002/2462945
680.97/352.11	c cleaning 10004 clauses out of 20039 with flag 255001/2472944
683.48/353.47	c cleaning 10009 clauses out of 20034 with flag 265000/2482943
685.99/354.70	c cleaning 9986 clauses out of 20025 with flag 275000/2492943
688.64/356.16	c cleaning 10008 clauses out of 20040 with flag 285001/2502944
691.53/357.60	c cleaning 9987 clauses out of 20031 with flag 295000/2512943
694.24/359.00	c cleaning 9993 clauses out of 20044 with flag 305000/2522943
696.94/360.43	c cleaning 9999 clauses out of 20052 with flag 315001/2532944
699.59/361.85	c cleaning 10008 clauses out of 20053 with flag 325001/2542944
702.27/363.23	c cleaning 10000 clauses out of 20044 with flag 335000/2552943
705.18/364.74	c cleaning 10004 clauses out of 20044 with flag 345000/2562943
707.90/366.18	c cleaning 10001 clauses out of 20040 with flag 355000/2572943
710.56/367.57	c cleaning 10001 clauses out of 20039 with flag 365000/2582943
713.27/368.93	c cleaning 10000 clauses out of 20039 with flag 375001/2592944
716.17/370.44	c cleaning 9985 clauses out of 20039 with flag 385001/2602944
718.88/371.84	c cleaning 10005 clauses out of 20053 with flag 395000/2612943
721.32/373.18	c cleaning 10013 clauses out of 20050 with flag 405002/2622945
724.03/374.56	c cleaning 10006 clauses out of 20037 with flag 415002/2632945
727.15/376.16	c cleaning 9997 clauses out of 20029 with flag 425000/2642943
730.43/377.82	c cleaning 10009 clauses out of 20034 with flag 435002/2652945
733.87/379.60	c cleaning 9994 clauses out of 20023 with flag 445000/2662943
736.78/381.13	c cleaning 9997 clauses out of 20029 with flag 455000/2672943
739.69/382.70	c cleaning 9993 clauses out of 20032 with flag 465000/2682943
742.79/384.26	c cleaning 10007 clauses out of 20039 with flag 475000/2692943
746.03/385.91	c cleaning 9995 clauses out of 20034 with flag 485002/2702945
749.33/387.65	c cleaning 9985 clauses out of 20037 with flag 495000/2712943
752.42/389.27	c cleaning 9997 clauses out of 20052 with flag 505000/2722943
755.72/390.96	c cleaning 10007 clauses out of 20055 with flag 515000/2732943
758.75/392.57	c cleaning 10022 clauses out of 20048 with flag 525000/2742943
761.64/394.04	c cleaning 9999 clauses out of 20027 with flag 535001/2752944
764.34/395.44	c cleaning 9993 clauses out of 20028 with flag 545001/2762944
767.45/397.09	c cleaning 9993 clauses out of 20034 with flag 555000/2772943
770.48/398.60	c cleaning 9998 clauses out of 20041 with flag 565000/2782943
773.39/400.15	c cleaning 10000 clauses out of 20044 with flag 575001/2792944
776.10/401.51	c cleaning 10005 clauses out of 20044 with flag 585001/2802944
778.37/402.79	c cleaning 9994 clauses out of 20038 with flag 595000/2812943
781.23/404.26	c cleaning 10014 clauses out of 20046 with flag 605002/2822945
784.13/405.70	c cleaning 10003 clauses out of 20032 with flag 615002/2832945
787.03/407.24	c cleaning 9986 clauses out of 20028 with flag 625001/2842944
790.12/408.86	c cleaning 10003 clauses out of 20042 with flag 635001/2852944
793.55/410.60	c cleaning 9999 clauses out of 20039 with flag 645001/2862944
796.44/412.20	c cleaning 10008 clauses out of 20040 with flag 655001/2872944
799.73/413.86	c cleaning 9991 clauses out of 20031 with flag 665000/2882943
803.22/415.64	c cleaning 10008 clauses out of 20040 with flag 675000/2892943
806.66/417.47	c cleaning 9993 clauses out of 20032 with flag 685000/2902943
809.97/419.16	c cleaning 9994 clauses out of 20039 with flag 695000/2912943
813.25/420.82	c cleaning 10007 clauses out of 20045 with flag 705000/2922943
816.54/422.52	c cleaning 9996 clauses out of 20038 with flag 715000/2932943
819.77/424.24	c cleaning 10002 clauses out of 20043 with flag 725001/2942944
822.88/425.89	c cleaning 9998 clauses out of 20041 with flag 735001/2952944
826.17/427.54	c cleaning 10009 clauses out of 20042 with flag 745000/2962943
829.26/429.18	c cleaning 10001 clauses out of 20034 with flag 755001/2972944
832.50/430.88	c cleaning 9992 clauses out of 20032 with flag 765000/2982943
835.81/432.53	c cleaning 10007 clauses out of 20041 with flag 775001/2992944
838.69/434.07	c cleaning 9994 clauses out of 20034 with flag 785001/3002944
841.98/435.78	c cleaning 10006 clauses out of 20041 with flag 795002/3012945
845.23/437.48	c cleaning 10004 clauses out of 20033 with flag 805000/3022943
848.52/439.13	c cleaning 10003 clauses out of 20030 with flag 815001/3032944
851.81/440.83	c cleaning 10003 clauses out of 20028 with flag 825002/3042945
855.11/442.59	c cleaning 9990 clauses out of 20023 with flag 835000/3052943
858.75/444.41	c cleaning 9988 clauses out of 20033 with flag 845000/3062943
862.01/446.16	c cleaning 9998 clauses out of 20045 with flag 855000/3072943
865.50/447.96	c cleaning 10013 clauses out of 20048 with flag 865001/3082944
868.81/449.70	c cleaning 9998 clauses out of 20038 with flag 875004/3092947
871.64/451.16	c cleaning 10010 clauses out of 20037 with flag 885001/3102944
874.33/452.53	c cleaning 10006 clauses out of 20028 with flag 895002/3112945
877.22/454.04	c cleaning 9996 clauses out of 20021 with flag 905001/3122944
880.11/455.50	c cleaning 10000 clauses out of 20027 with flag 915003/3132946
882.93/457.00	c cleaning 9998 clauses out of 20025 with flag 925001/3142944
885.82/458.51	c cleaning 10000 clauses out of 20026 with flag 935000/3152943
888.32/459.88	c cleaning 9990 clauses out of 20026 with flag 945000/3162943
891.20/461.37	c cleaning 9992 clauses out of 20036 with flag 955000/3172943
894.23/462.95	c cleaning 10002 clauses out of 20044 with flag 965000/3182943
897.12/464.40	c cleaning 9998 clauses out of 20042 with flag 975000/3192943
900.22/466.02	c cleaning 10001 clauses out of 20044 with flag 985000/3202943
903.31/467.65	c cleaning 10007 clauses out of 20043 with flag 995000/3212943
906.13/469.18	c cleaning 9989 clauses out of 20036 with flag 1005000/3222943
909.63/470.90	c cleaning 10004 clauses out of 20047 with flag 1015000/3232943
912.73/472.53	c cleaning 9999 clauses out of 20045 with flag 1025002/3242945
915.83/474.11	c cleaning 10008 clauses out of 20044 with flag 1035000/3252943
919.25/475.92	c cleaning 10003 clauses out of 20039 with flag 1045003/3262946
922.34/477.51	c cleaning 9997 clauses out of 20034 with flag 1055001/3272944
925.42/479.16	c cleaning 9991 clauses out of 20036 with flag 1065000/3282943
928.33/480.62	c cleaning 10006 clauses out of 20046 with flag 1075001/3292944
931.13/482.11	c cleaning 10005 clauses out of 20040 with flag 1085001/3302944
934.02/483.68	c cleaning 9988 clauses out of 20034 with flag 1095000/3312943
936.73/485.03	c cleaning 10005 clauses out of 20046 with flag 1105000/3322943
939.19/486.36	c cleaning 9997 clauses out of 20042 with flag 1115001/3332944
942.21/487.90	c cleaning 10010 clauses out of 20044 with flag 1125000/3342943
944.90/489.36	c cleaning 10001 clauses out of 20034 with flag 1135000/3352943
948.19/491.05	c cleaning 9996 clauses out of 20033 with flag 1145000/3362943
951.49/492.73	c cleaning 10000 clauses out of 20039 with flag 1155002/3372945
954.49/494.38	c cleaning 10006 clauses out of 20037 with flag 1165000/3382943
957.80/496.04	c cleaning 9990 clauses out of 20031 with flag 1175000/3392943
960.68/497.58	c cleaning 10013 clauses out of 20041 with flag 1185000/3402943
963.97/499.22	c cleaning 9997 clauses out of 20030 with flag 1195002/3412945
966.98/500.82	c cleaning 9997 clauses out of 20031 with flag 1205000/3422943
969.67/502.29	c cleaning 9998 clauses out of 20034 with flag 1215000/3432943
972.56/503.76	c cleaning 9997 clauses out of 20036 with flag 1225000/3442943
975.84/505.40	c cleaning 10016 clauses out of 20040 with flag 1235001/3452944
978.86/507.06	c cleaning 10009 clauses out of 20025 with flag 1245002/3462945
981.94/508.62	c cleaning 9989 clauses out of 20014 with flag 1255000/3472943
985.03/510.29	c cleaning 9995 clauses out of 20025 with flag 1265000/3482943
988.54/512.08	c cleaning 9994 clauses out of 20032 with flag 1275002/3492945
991.97/513.82	c cleaning 9994 clauses out of 20039 with flag 1285003/3502946
995.26/515.56	c cleaning 9979 clauses out of 20042 with flag 1295000/3512943
998.74/517.35	c cleaning 10017 clauses out of 20064 with flag 1305001/3522944
1002.03/519.00	c cleaning 10016 clauses out of 20047 with flag 1315001/3532944
1004.84/520.56	c cleaning 10008 clauses out of 20030 with flag 1325000/3542943
1007.32/521.80	c cleaning 10002 clauses out of 20023 with flag 1335001/3552944
1010.22/523.35	c cleaning 9990 clauses out of 20022 with flag 1345002/3562945
1013.31/524.98	c cleaning 9997 clauses out of 20030 with flag 1355000/3572943
1016.54/526.69	c cleaning 10008 clauses out of 20035 with flag 1365002/3582945
1017.63/527.20	c cleaning 0 clauses out of 31574 with flag 0/31578
1019.92/528.48	c cleaning 10001 clauses out of 20027 with flag 1375002/3592945
1023.22/530.12	c cleaning 10003 clauses out of 20024 with flag 1385000/3602943
1026.04/531.69	c cleaning 9995 clauses out of 20022 with flag 1395001/3612944
1029.13/533.25	c cleaning 9992 clauses out of 20027 with flag 1405001/3622944
1031.82/534.62	c cleaning 10000 clauses out of 20034 with flag 1415000/3632943
1034.09/535.89	c cleaning 10007 clauses out of 20034 with flag 1425000/3642943
1036.90/537.31	c cleaning 10000 clauses out of 20028 with flag 1435001/3652944
1039.20/538.59	c cleaning 9995 clauses out of 20027 with flag 1445000/3662943
1041.90/539.93	c cleaning 9998 clauses out of 20033 with flag 1455001/3672944
1044.79/541.45	c cleaning 9998 clauses out of 20035 with flag 1465001/3682944
1048.21/543.27	c cleaning 10001 clauses out of 20036 with flag 1475000/3692943
1051.49/544.93	c cleaning 9991 clauses out of 20036 with flag 1485001/3702944
1054.81/546.62	c cleaning 10003 clauses out of 20047 with flag 1495003/3712946
1057.67/548.12	c cleaning 10003 clauses out of 20043 with flag 1505002/3722945
1060.69/549.77	c cleaning 9988 clauses out of 20038 with flag 1515000/3732943
1063.58/551.26	c cleaning 10006 clauses out of 20050 with flag 1525000/3742943
1066.86/552.91	c cleaning 10002 clauses out of 20044 with flag 1535000/3752943
1069.94/554.52	c cleaning 10004 clauses out of 20044 with flag 1545002/3762945
1072.95/556.18	c cleaning 9990 clauses out of 20039 with flag 1555001/3772944
1076.04/557.79	c cleaning 10018 clauses out of 20053 with flag 1565005/3782948
1079.11/559.38	c cleaning 9985 clauses out of 20032 with flag 1575002/3792945
1082.22/560.97	c cleaning 10006 clauses out of 20045 with flag 1585000/3802943
1085.64/562.70	c cleaning 9996 clauses out of 20039 with flag 1595000/3812943
1088.74/564.30	c cleaning 9996 clauses out of 20043 with flag 1605000/3822943
1091.81/565.93	c cleaning 9995 clauses out of 20047 with flag 1615000/3832943
1094.30/567.27	c cleaning 10002 clauses out of 20052 with flag 1625000/3842943
1097.14/568.79	c cleaning 10010 clauses out of 20051 with flag 1635001/3852944
1100.20/570.36	c cleaning 9996 clauses out of 20040 with flag 1645000/3862943
1103.30/571.91	c cleaning 10005 clauses out of 20045 with flag 1655001/3872944
1106.18/573.43	c cleaning 10006 clauses out of 20039 with flag 1665000/3882943
1109.38/575.12	c cleaning 10000 clauses out of 20034 with flag 1675001/3892944
1112.27/576.65	c cleaning 9992 clauses out of 20034 with flag 1685001/3902944
1115.36/578.22	c cleaning 10000 clauses out of 20041 with flag 1695000/3912943
1118.26/579.75	c cleaning 9997 clauses out of 20043 with flag 1705002/3922945
1121.26/581.39	c cleaning 10006 clauses out of 20044 with flag 1715000/3932943
1124.14/582.80	c cleaning 9996 clauses out of 20039 with flag 1725001/3942944
1126.83/584.24	c cleaning 9995 clauses out of 20042 with flag 1735000/3952943
1129.70/585.72	c cleaning 10002 clauses out of 20047 with flag 1745000/3962943
1132.95/587.48	c cleaning 10012 clauses out of 20045 with flag 1755000/3972943
1136.21/589.19	c cleaning 10003 clauses out of 20033 with flag 1765000/3982943
1138.50/590.36	c cleaning 10006 clauses out of 20030 with flag 1775000/3992943
1140.78/591.54	c cleaning 9987 clauses out of 20024 with flag 1785000/4002943
1143.22/592.83	c cleaning 9979 clauses out of 20037 with flag 1795000/4012943
1145.70/594.16	c cleaning 10008 clauses out of 20059 with flag 1805001/4022944
1148.19/595.46	c cleaning 9990 clauses out of 20050 with flag 1815000/4032943
1151.07/596.97	c cleaning 10004 clauses out of 20062 with flag 1825002/4042945
1154.09/598.55	c cleaning 9994 clauses out of 20056 with flag 1835000/4052943
1157.17/600.10	c cleaning 10009 clauses out of 20062 with flag 1845000/4062943
1160.07/601.64	c cleaning 10001 clauses out of 20056 with flag 1855003/4072946
1162.93/603.10	c cleaning 10016 clauses out of 20052 with flag 1865000/4082943
1165.75/604.63	c cleaning 10011 clauses out of 20036 with flag 1875000/4092943
1168.64/606.11	c cleaning 9984 clauses out of 20026 with flag 1885001/4102944
1171.51/607.64	c cleaning 9996 clauses out of 20042 with flag 1895001/4112944
1174.39/609.15	c cleaning 10009 clauses out of 20048 with flag 1905003/4122946
1177.21/610.68	c cleaning 9994 clauses out of 20039 with flag 1915003/4132946
1180.29/612.28	c cleaning 9995 clauses out of 20044 with flag 1925002/4142945
1183.41/613.86	c cleaning 10006 clauses out of 20048 with flag 1935001/4152944
1186.27/615.30	c cleaning 10004 clauses out of 20041 with flag 1945000/4162943
1189.29/616.94	c cleaning 9999 clauses out of 20037 with flag 1955000/4172943
1192.18/618.44	c cleaning 9984 clauses out of 20038 with flag 1965000/4182943
1195.06/619.97	c cleaning 9998 clauses out of 20054 with flag 1975000/4192943
1198.16/621.52	c cleaning 10003 clauses out of 20056 with flag 1985000/4202943
1200.96/623.01	c cleaning 10004 clauses out of 20053 with flag 1995000/4212943
1203.44/624.33	c cleaning 9997 clauses out of 20049 with flag 2005000/4222943
1205.94/625.69	c cleaning 9997 clauses out of 20052 with flag 2015000/4232943
1208.82/627.16	c cleaning 10002 clauses out of 20055 with flag 2025000/4242943
1211.43/628.57	c cleaning 9995 clauses out of 20055 with flag 2035002/4252945
1213.93/629.89	c cleaning 9989 clauses out of 20058 with flag 2045000/4262943
1216.62/631.28	c cleaning 10015 clauses out of 20070 with flag 2055001/4272944
1219.30/632.65	c cleaning 10005 clauses out of 20054 with flag 2065000/4282943
1222.09/634.14	c cleaning 9999 clauses out of 20051 with flag 2075002/4292945
1224.57/635.49	c cleaning 10002 clauses out of 20050 with flag 2085000/4302943
1227.46/636.94	c cleaning 9995 clauses out of 20048 with flag 2095000/4312943
1230.32/638.41	c cleaning 10002 clauses out of 20054 with flag 2105001/4322944
1232.92/639.84	c cleaning 9997 clauses out of 20051 with flag 2115000/4332943
1235.81/641.31	c cleaning 10021 clauses out of 20054 with flag 2125000/4342943
1238.47/642.74	c cleaning 9985 clauses out of 20033 with flag 2135000/4352943
1241.36/644.24	c cleaning 10017 clauses out of 20049 with flag 2145001/4362944
1244.59/645.91	c cleaning 9982 clauses out of 20032 with flag 2155001/4372944
1247.26/647.36	c cleaning 10007 clauses out of 20049 with flag 2165000/4382943
1250.35/648.95	c cleaning 9997 clauses out of 20042 with flag 2175000/4392943
1253.21/650.44	c cleaning 9990 clauses out of 20045 with flag 2185000/4402943
1255.81/651.81	c cleaning 10002 clauses out of 20055 with flag 2195000/4412943
1258.90/653.47	c cleaning 9992 clauses out of 20053 with flag 2205000/4422943
1261.96/655.06	c cleaning 9995 clauses out of 20061 with flag 2215000/4432943
1265.05/656.69	c cleaning 10018 clauses out of 20066 with flag 2225000/4442943
1268.04/658.26	c cleaning 9997 clauses out of 20049 with flag 2235001/4452944
1271.11/659.89	c cleaning 9994 clauses out of 20051 with flag 2245000/4462943
1274.18/661.49	c cleaning 9995 clauses out of 20058 with flag 2255001/4472944
1277.45/663.17	c cleaning 9998 clauses out of 20063 with flag 2265001/4482944
1280.66/664.84	c cleaning 9998 clauses out of 20064 with flag 2275000/4492943
1283.55/666.37	c cleaning 10014 clauses out of 20066 with flag 2285000/4502943
1286.64/667.95	c cleaning 10010 clauses out of 20053 with flag 2295001/4512944
1289.74/669.52	c cleaning 10005 clauses out of 20043 with flag 2305001/4522944
1292.74/671.17	c cleaning 9992 clauses out of 20039 with flag 2315002/4532945
1296.01/672.81	c cleaning 9998 clauses out of 20047 with flag 2325002/4542945
1299.30/674.52	c cleaning 9999 clauses out of 20047 with flag 2335000/4552943
1302.17/676.06	c cleaning 9996 clauses out of 20048 with flag 2345000/4562943
1305.19/677.70	c cleaning 10007 clauses out of 20053 with flag 2355001/4572944
1308.25/679.26	c cleaning 10002 clauses out of 20047 with flag 2365002/4582945
1311.74/681.01	c cleaning 9987 clauses out of 20043 with flag 2375000/4592943
1314.83/682.62	c cleaning 10000 clauses out of 20056 with flag 2385000/4602943
1318.24/684.44	c cleaning 9999 clauses out of 20057 with flag 2395001/4612944
1321.52/686.13	c cleaning 10007 clauses out of 20057 with flag 2405000/4622943
1324.41/687.69	c cleaning 9988 clauses out of 20050 with flag 2415000/4632943
1327.70/689.31	c cleaning 10000 clauses out of 20062 with flag 2425000/4642943
1330.51/690.88	c cleaning 10025 clauses out of 20062 with flag 2435000/4652943
1333.38/692.34	c cleaning 9993 clauses out of 20038 with flag 2445001/4662944
1336.25/693.83	c cleaning 10007 clauses out of 20047 with flag 2455003/4672946
1339.12/695.39	c cleaning 10007 clauses out of 20038 with flag 2465001/4682944
1342.52/697.11	c cleaning 9995 clauses out of 20030 with flag 2475000/4692943
1345.40/698.69	c cleaning 10013 clauses out of 20035 with flag 2485000/4702943
1348.46/700.27	c cleaning 9992 clauses out of 20023 with flag 2495001/4712944
1351.55/701.87	c cleaning 10005 clauses out of 20032 with flag 2505002/4722945
1354.74/703.54	c cleaning 10001 clauses out of 20025 with flag 2515000/4732943
1358.01/705.22	c cleaning 9982 clauses out of 20026 with flag 2525002/4742945
1360.90/706.71	c cleaning 10002 clauses out of 20045 with flag 2535003/4752946
1363.77/708.25	c cleaning 10005 clauses out of 20040 with flag 2545000/4762943
1366.96/709.93	c cleaning 9990 clauses out of 20036 with flag 2555001/4772944
1369.83/711.46	c cleaning 10006 clauses out of 20045 with flag 2565000/4782943
1372.92/713.08	c cleaning 10001 clauses out of 20040 with flag 2575001/4792944
1376.20/714.71	c cleaning 9998 clauses out of 20040 with flag 2585002/4802945
1379.41/716.48	c cleaning 10003 clauses out of 20040 with flag 2595000/4812943
1382.69/718.12	c cleaning 9986 clauses out of 20037 with flag 2605000/4822943
1385.76/719.71	c cleaning 10007 clauses out of 20051 with flag 2615000/4832943
1388.64/721.29	c cleaning 10000 clauses out of 20045 with flag 2625001/4842944
1391.85/722.98	c cleaning 10001 clauses out of 20045 with flag 2635001/4852944
1394.93/724.54	c cleaning 9997 clauses out of 20046 with flag 2645003/4862946
1397.82/726.06	c cleaning 10002 clauses out of 20047 with flag 2655001/4872944
1400.68/727.57	c cleaning 10012 clauses out of 20044 with flag 2665000/4882943
1403.69/729.19	c cleaning 9994 clauses out of 20032 with flag 2675000/4892943
1406.19/730.49	c cleaning 10007 clauses out of 20039 with flag 2685001/4902944
1409.43/732.10	c cleaning 9989 clauses out of 20031 with flag 2695000/4912943
1412.33/733.65	c cleaning 10000 clauses out of 20042 with flag 2705000/4922943
1415.70/735.47	c cleaning 10011 clauses out of 20042 with flag 2715000/4932943
1418.99/737.15	c cleaning 9988 clauses out of 20032 with flag 2725001/4942944
1422.25/738.85	c cleaning 9994 clauses out of 20043 with flag 2735000/4952943
1425.73/740.63	c cleaning 10010 clauses out of 20049 with flag 2745000/4962943
1428.73/742.28	c cleaning 10004 clauses out of 20040 with flag 2755001/4972944
1432.00/743.99	c cleaning 9999 clauses out of 20036 with flag 2765001/4982944
1435.08/745.51	c cleaning 9977 clauses out of 20036 with flag 2775000/4992943
1438.34/747.20	c cleaning 10001 clauses out of 20059 with flag 2785000/5002943
1441.77/749.05	c cleaning 9994 clauses out of 20058 with flag 2795000/5012943
1445.04/750.72	c cleaning 10022 clauses out of 20066 with flag 2805002/5022945
1448.14/752.39	c cleaning 9998 clauses out of 20042 with flag 2815000/5032943
1451.40/754.08	c cleaning 9996 clauses out of 20044 with flag 2825000/5042943
1454.62/755.71	c cleaning 9996 clauses out of 20049 with flag 2835001/5052944
1457.69/757.32	c cleaning 10001 clauses out of 20054 with flag 2845002/5062945
1460.78/758.91	c cleaning 9996 clauses out of 20051 with flag 2855000/5072943
1463.63/760.42	c cleaning 10008 clauses out of 20057 with flag 2865002/5082945
1466.63/762.04	c cleaning 10008 clauses out of 20047 with flag 2875000/5092943
1469.70/763.61	c cleaning 9991 clauses out of 20040 with flag 2885001/5102944
1472.58/765.16	c cleaning 10008 clauses out of 20049 with flag 2895001/5112944
1475.66/766.75	c cleaning 9994 clauses out of 20040 with flag 2905000/5122943
1478.65/768.38	c cleaning 10000 clauses out of 20046 with flag 2915000/5132943
1481.72/769.95	c cleaning 9996 clauses out of 20046 with flag 2925000/5142943
1484.97/771.65	c cleaning 10005 clauses out of 20050 with flag 2935000/5152943
1488.06/773.29	c cleaning 9998 clauses out of 20045 with flag 2945000/5162943
1491.05/774.85	c cleaning 10004 clauses out of 20050 with flag 2955003/5172946
1494.13/776.41	c cleaning 9994 clauses out of 20044 with flag 2965001/5182944
1497.20/778.02	c cleaning 10005 clauses out of 20050 with flag 2975001/5192944
1499.87/779.49	c cleaning 10008 clauses out of 20044 with flag 2985000/5202943
1502.46/780.84	c cleaning 10000 clauses out of 20036 with flag 2995000/5212943
1505.34/782.32	c cleaning 10002 clauses out of 20038 with flag 3005002/5222945
1508.00/783.72	c cleaning 9994 clauses out of 20034 with flag 3015000/5232943
1510.67/785.18	c cleaning 9991 clauses out of 20040 with flag 3025000/5242943
1513.47/786.65	c cleaning 10013 clauses out of 20050 with flag 3035001/5252944
1516.34/788.12	c cleaning 9985 clauses out of 20037 with flag 3045001/5262944
1518.80/789.48	c cleaning 9992 clauses out of 20051 with flag 3055000/5272943
1521.87/791.05	c cleaning 10004 clauses out of 20059 with flag 3065000/5282943
1525.26/792.86	c cleaning 9995 clauses out of 20056 with flag 3075001/5292944
1528.15/794.37	c cleaning 10005 clauses out of 20060 with flag 3085000/5302943
1531.03/795.88	c cleaning 10013 clauses out of 20056 with flag 3095001/5312944
1534.12/797.47	c cleaning 10007 clauses out of 20043 with flag 3105001/5322944
1537.11/799.09	c cleaning 9991 clauses out of 20035 with flag 3115000/5332943
1540.19/800.68	c cleaning 10019 clauses out of 20045 with flag 3125001/5342944
1543.45/802.35	c cleaning 9992 clauses out of 20027 with flag 3135002/5352945
1546.50/804.00	c cleaning 9984 clauses out of 20034 with flag 3145001/5362944
1549.91/805.79	c cleaning 10003 clauses out of 20051 with flag 3155002/5372945
1553.18/807.45	c cleaning 9996 clauses out of 20047 with flag 3165001/5382944
1556.23/809.02	c cleaning 10007 clauses out of 20052 with flag 3175002/5392945
1559.34/810.63	c cleaning 10017 clauses out of 20044 with flag 3185001/5402944
1562.52/812.31	c cleaning 9997 clauses out of 20026 with flag 3195000/5412943
1565.79/814.09	c cleaning 9997 clauses out of 20030 with flag 3205001/5422944
1569.25/815.87	c cleaning 9993 clauses out of 20032 with flag 3215000/5432943
1572.50/817.51	c cleaning 10000 clauses out of 20040 with flag 3225001/5442944
1575.51/819.19	c cleaning 9994 clauses out of 20039 with flag 3235000/5452943
1578.58/820.73	c cleaning 10006 clauses out of 20047 with flag 3245002/5462945
1581.64/822.37	c cleaning 10008 clauses out of 20040 with flag 3255001/5472944
1584.73/823.95	c cleaning 9990 clauses out of 20032 with flag 3265001/5482944
1587.91/825.66	c cleaning 10009 clauses out of 20042 with flag 3275001/5492944
1591.00/827.24	c cleaning 10003 clauses out of 20033 with flag 3285001/5502944
1593.87/828.73	c cleaning 9991 clauses out of 20031 with flag 3295002/5512945
1596.74/830.23	c cleaning 10007 clauses out of 20040 with flag 3305002/5522945
1599.73/831.83	c cleaning 9994 clauses out of 20032 with flag 3315001/5532944
1602.59/833.34	c cleaning 10001 clauses out of 20039 with flag 3325002/5542945
1605.46/834.86	c cleaning 9998 clauses out of 20037 with flag 3335001/5552944
1608.52/836.47	c cleaning 10002 clauses out of 20038 with flag 3345000/5562943
1611.32/837.98	c cleaning 10008 clauses out of 20038 with flag 3355002/5572945
1614.20/839.45	c cleaning 9990 clauses out of 20029 with flag 3365001/5582944
1617.06/840.94	c cleaning 9991 clauses out of 20038 with flag 3375000/5592943
1620.35/842.61	c cleaning 9990 clauses out of 20047 with flag 3385000/5602943
1623.33/844.25	c cleaning 10013 clauses out of 20058 with flag 3395001/5612944
1625.99/845.60	c cleaning 0 clauses out of 37573 with flag 0/37577
1626.46/845.97	c cleaning 10015 clauses out of 20044 with flag 3405000/5622943
1629.31/847.46	c cleaning 9987 clauses out of 20030 with flag 3415001/5632944
1632.72/849.24	c cleaning 10010 clauses out of 20042 with flag 3425000/5642943
1635.58/850.76	c cleaning 9992 clauses out of 20032 with flag 3435000/5652943
1639.07/852.59	c cleaning 9998 clauses out of 20040 with flag 3445000/5662943
1642.11/854.19	c cleaning 10004 clauses out of 20042 with flag 3455000/5672943
1645.70/856.02	c cleaning 9996 clauses out of 20038 with flag 3465000/5682943
1648.77/857.65	c cleaning 9989 clauses out of 20042 with flag 3475000/5692943
1652.02/859.37	c cleaning 9998 clauses out of 20053 with flag 3485000/5702943
1655.10/860.95	c cleaning 10004 clauses out of 20056 with flag 3495001/5712944
1658.47/862.74	c cleaning 10006 clauses out of 20052 with flag 3505001/5722944
1661.94/864.53	c cleaning 10006 clauses out of 20046 with flag 3515001/5732944
1664.80/866.09	c cleaning 9996 clauses out of 20040 with flag 3525001/5742944
1668.06/867.80	c cleaning 10016 clauses out of 20043 with flag 3535000/5752943
1671.25/869.48	c cleaning 9985 clauses out of 20028 with flag 3545001/5762944
1674.73/871.23	c cleaning 10004 clauses out of 20042 with flag 3555000/5772943
1677.98/872.90	c cleaning 10001 clauses out of 20039 with flag 3565001/5782944
1681.08/874.51	c cleaning 10000 clauses out of 20038 with flag 3575001/5792944
1684.26/876.24	c cleaning 9992 clauses out of 20038 with flag 3585001/5802944
1687.73/878.00	c cleaning 10006 clauses out of 20045 with flag 3595000/5812943
1691.01/879.71	c cleaning 10011 clauses out of 20039 with flag 3605000/5822943
1694.07/881.30	c cleaning 9988 clauses out of 20028 with flag 3615000/5832943
1697.28/883.02	c cleaning 10004 clauses out of 20041 with flag 3625001/5842944
1700.56/884.76	c cleaning 9991 clauses out of 20038 with flag 3635002/5852945
1703.63/886.32	c cleaning 10017 clauses out of 20047 with flag 3645002/5862945
1706.69/887.98	c cleaning 10011 clauses out of 20031 with flag 3655003/5872946
1710.07/889.79	c cleaning 10002 clauses out of 20017 with flag 3665000/5882943
1713.33/891.41	c cleaning 9976 clauses out of 20015 with flag 3675000/5892943
1716.39/893.09	c cleaning 10011 clauses out of 20041 with flag 3685002/5902945
1719.66/894.73	c cleaning 10006 clauses out of 20029 with flag 3695001/5912944
1722.65/896.35	c cleaning 10001 clauses out of 20022 with flag 3705000/5922943
1725.91/898.00	c cleaning 9982 clauses out of 20022 with flag 3715001/5932944
1728.96/899.60	c cleaning 9995 clauses out of 20040 with flag 3725001/5942944
1732.04/901.28	c cleaning 9998 clauses out of 20044 with flag 3735000/5952943
1735.45/903.02	c cleaning 10002 clauses out of 20046 with flag 3745000/5962943
1738.30/904.53	c cleaning 9996 clauses out of 20044 with flag 3755000/5972943
1741.16/906.09	c cleaning 10006 clauses out of 20048 with flag 3765000/5982943
1744.64/907.80	c cleaning 9993 clauses out of 20042 with flag 3775000/5992943
1747.64/909.47	c cleaning 10017 clauses out of 20052 with flag 3785003/6002946
1751.09/911.24	c cleaning 10000 clauses out of 20033 with flag 3795001/6012944
1753.97/912.73	c cleaning 9999 clauses out of 20034 with flag 3805002/6022945
1756.83/914.29	c cleaning 9999 clauses out of 20033 with flag 3815000/6032943
1760.22/916.05	c cleaning 9990 clauses out of 20034 with flag 3825000/6042943
1763.49/917.75	c cleaning 9996 clauses out of 20045 with flag 3835001/6052944
1766.56/919.32	c cleaning 10002 clauses out of 20049 with flag 3845001/6062944
1769.83/921.00	c cleaning 9998 clauses out of 20049 with flag 3855003/6072946
1773.04/922.72	c cleaning 10001 clauses out of 20050 with flag 3865002/6082945
1776.10/924.38	c cleaning 9995 clauses out of 20047 with flag 3875000/6092943
1779.38/926.06	c cleaning 9994 clauses out of 20053 with flag 3885001/6102944
1782.44/927.68	c cleaning 10006 clauses out of 20059 with flag 3895001/6112944
1785.66/929.33	c cleaning 10020 clauses out of 20054 with flag 3905002/6122945
1788.52/930.89	c cleaning 9986 clauses out of 20032 with flag 3915000/6132943
1791.80/932.57	c cleaning 10004 clauses out of 20046 with flag 3925000/6142943
1794.87/934.14	c cleaning 10003 clauses out of 20043 with flag 3935001/6152944
1797.86/935.73	c cleaning 10007 clauses out of 20040 with flag 3945001/6162944
1798.94/936.31	c starts		: 113
1798.94/936.31	c conflicts		: 38957
1798.94/936.31	c decisions		: 60016
1798.94/936.31	c propagations		: 1779951
1798.94/936.31	c inspects		: 1419957784
1798.94/936.31	c shortcuts		: 0
1798.94/936.31	c learnt literals	: 0
1798.94/936.31	c learnt binary clauses	: 5
1798.94/936.31	c learnt ternary clauses	: 0
1798.94/936.31	c learnt constraints	: 38952
1798.94/936.31	c ignored constraints	: 0
1798.94/936.31	c root simplifications	: 0
1798.94/936.31	c removed literals (reason simplification)	: 0
1798.94/936.31	c reason swapping (by a shorter reason)	: 0
1798.94/936.31	c Calls to reduceDB	: 5
1798.94/936.31	c number of reductions to clauses (during analyze)	: 0
1798.94/936.31	c number of learned constraints concerned by reduction	: 0
1798.94/936.31	c number of learning phase by resolution	: 0
1798.94/936.31	c number of learning phase by cutting planes	: 0
1798.94/936.31	c speed (assignments/second)	: 2867.7342020551587
1798.94/936.31	c non guided choices	209
1798.94/936.33	c learnt constraints type 
1798.94/936.33	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 1207
1798.94/936.33	c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 5
1798.94/936.33	c org.sat4j.pb.constraints.pb.MaxWatchPb => 37741
1798.94/936.33	c constraints type 
1798.94/936.33	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 40
1798.94/936.33	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 336
1798.94/936.33	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 694
1798.94/936.33	c constraints type 
1798.94/936.33	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 336
1798.94/936.33	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 40
1798.94/936.33	c org.sat4j.pb.constraints.pb.MaxWatchPb => 694
1798.94/936.33	s SATISFIABLE
1798.94/936.34	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 
1798.94/936.34	c objective function=116
1798.94/936.34	c Total wall clock time (in seconds): 936.219

Verifier Data 

OK	116

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-3731050-1338679758/watcher-3731050-1338679758 -o /tmp/evaluation-result-3731050-1338679758/solver-3731050-1338679758 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3731050-1338679758.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: 3.88 3.63 2.63 4/197 2615
/proc/meminfo: memFree=25601744/32873648 swapFree=7116/7116
[pid=2615] ppid=2613 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/2615/stat : 2615 (java) D 2613 2615 621 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 334101240 9515008 182 33554432000 1073741824 1073778376 140734084752944 140734084743976 260190322357 0 0 4096 0 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/2615/statm: 2323 182 140 9 0 71 0

[startup+0.070486 s]
/proc/loadavg: 3.88 3.63 2.63 4/197 2615
/proc/meminfo: memFree=25601744/32873648 swapFree=7116/7116
[pid=2615] ppid=2613 vsize=11586364 CPUtime=0.04 cores=1,3,5,7
/proc/2615/stat : 2615 (java) S 2613 2615 621 0 -1 4202496 4400 0 1 0 3 1 0 0 20 0 18 0 334101240 11864436736 12763 33554432000 1073741824 1073778376 140736697710944 140736697702080 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2615/statm: 2896591 12763 1754 9 0 2887285 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11586364

[startup+0.100197 s]
/proc/loadavg: 3.88 3.63 2.63 4/197 2615
/proc/meminfo: memFree=25601744/32873648 swapFree=7116/7116
[pid=2615] ppid=2613 vsize=11586392 CPUtime=0.09 cores=1,3,5,7
/proc/2615/stat : 2615 (java) S 2613 2615 621 0 -1 4202496 5248 0 1 0 7 2 0 0 20 0 18 0 334101240 11864465408 13594 33554432000 1073741824 1073778376 140736697710944 140736697702080 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2615/statm: 2896598 13594 2116 9 0 2887285 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11586392

[startup+0.300171 s]
/proc/loadavg: 3.88 3.63 2.63 4/197 2615
/proc/meminfo: memFree=25601744/32873648 swapFree=7116/7116
[pid=2615] ppid=2613 vsize=11852648 CPUtime=0.51 cores=1,3,5,7
/proc/2615/stat : 2615 (java) S 2613 2615 621 0 -1 4202496 7435 0 1 0 49 2 0 0 20 0 22 0 334101240 12137111552 17432 33554432000 1073741824 1073778376 140736697710944 140736697702080 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2615/statm: 2963162 17432 2234 9 0 2953849 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 11852648

[startup+0.700253 s]
/proc/loadavg: 3.88 3.63 2.63 4/197 2615
/proc/meminfo: memFree=25601744/32873648 swapFree=7116/7116
[pid=2615] ppid=2613 vsize=11852648 CPUtime=1.63 cores=1,3,5,7
/proc/2615/stat : 2615 (java) S 2613 2615 621 0 -1 4202496 14585 0 1 0 157 6 0 0 20 0 19 0 334101240 12137111552 26339 33554432000 1073741824 1073778376 140736697710944 140736697702080 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2615/statm: 2963162 26339 2249 9 0 2953849 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 11852648

[startup+1.50066 s]
/proc/loadavg: 3.73 3.60 2.63 5/216 2640
/proc/meminfo: memFree=25446196/32873648 swapFree=7116/7116
[pid=2615] ppid=2613 vsize=11852648 CPUtime=3.15 cores=1,3,5,7
/proc/2615/stat : 2615 (java) S 2613 2615 621 0 -1 4202496 24300 0 1 0 304 11 0 0 20 0 22 0 334101240 12137111552 63614 33554432000 1073741824 1073778376 140736697710944 140736697702080 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2615/statm: 2963162 63614 2281 9 0 2953849 0
[pid=2615/tid=2617] ppid=2613 vsize=11852648 CPUtime=0.26 cores=1,3,5,7
/proc/2615/task/2617/stat : 2617 (java) S 2613 2615 621 0 -1 4202560 3386 0 1 0 24 2 0 0 20 0 22 0 334101241 12137111552 63614 33554432000 1073741824 1073778376 140736697710944 139844901033112 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2615/tid=2618] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2618/stat : 2618 (java) S 2613 2615 621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334101243 12137111552 63614 33554432000 1073741824 1073778376 140736697710944 139844876437672 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2615/tid=2619] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2619/stat : 2619 (java) S 2613 2615 621 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 334101243 12137111552 63614 33554432000 1073741824 1073778376 140736697710944 139844875385128 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2615/tid=2620] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2620/stat : 2620 (java) S 2613 2615 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334101243 12137111552 63614 33554432000 1073741824 1073778376 140736697710944 139844735257000 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2615/tid=2621] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2621/stat : 2621 (java) S 2613 2615 621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334101243 12137111552 63614 33554432000 1073741824 1073778376 140736697710944 139844734204456 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2615/tid=2622] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2622/stat : 2622 (java) S 2613 2615 621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334101243 12137111552 63614 33554432000 1073741824 1073778376 140736697710944 139844733151912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2615/tid=2623] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2623/stat : 2623 (java) S 2613 2615 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334101243 12137111552 63614 33554432000 1073741824 1073778376 140736697710944 139844732099368 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2615/tid=2624] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2624/stat : 2624 (java) S 2613 2615 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334101243 12137111552 63614 33554432000 1073741824 1073778376 140736697710944 139844731046824 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2615/tid=2625] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2625/stat : 2625 (java) S 2613 2615 621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334101243 12137111552 63614 33554432000 1073741824 1073778376 140736697710944 139844729994280 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2615/tid=2626] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2626/stat : 2626 (java) S 2613 2615 621 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 22 0 334101244 12137111552 63614 33554432000 1073741824 1073778376 140736697710944 139844717795432 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2615/tid=2627] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2627/stat : 2627 (java) S 2613 2615 621 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 334101245 12137111552 63614 33554432000 1073741824 1073778376 140736697710944 139844716741752 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2615/tid=2628] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2628/stat : 2628 (java) S 2613 2615 621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334101245 12137111552 63614 33554432000 1073741824 1073778376 140736697710944 139844715689096 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2615/tid=2629] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2629/stat : 2629 (java) S 2613 2615 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334101247 12137111552 63614 33554432000 1073741824 1073778376 140736697710944 139844714637840 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2615/tid=2630] ppid=2613 vsize=11852648 CPUtime=0.79 cores=1,3,5,7
/proc/2615/task/2630/stat : 2630 (java) R 2613 2615 621 0 -1 4202560 6438 0 0 0 77 2 0 0 20 0 22 0 334101247 12137111552 63614 33554432000 1073741824 1073778376 140736697710944 139844713585208 139844907494322 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=2615/tid=2631] ppid=2613 vsize=11852648 CPUtime=0.79 cores=1,3,5,7
/proc/2615/task/2631/stat : 2631 (java) R 2613 2615 621 0 -1 4202560 13034 0 0 0 77 2 0 0 20 0 22 0 334101247 12137111552 63614 33554432000 1073741824 1073778376 140736697710944 139844712509784 139844908788533 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=2615/tid=2632] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2632/stat : 2632 (java) S 2613 2615 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334101247 12137111552 63614 33554432000 1073741824 1073778376 140736697710944 139844711480312 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2615/tid=2633] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2633/stat : 2633 (java) S 2613 2615 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334101247 12137111552 63614 33554432000 1073741824 1073778376 140736697710944 139844710427976 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2615/tid=2637] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2637/stat : 2637 (java) S 2613 2615 621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334101270 12137111552 63614 33554432000 1073741824 1073778376 140736697710944 139844706215080 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.15
Current children cumulated vsize (KiB) 11852648

[startup+3.10065 s]
/proc/loadavg: 3.73 3.60 2.63 5/219 2643
/proc/meminfo: memFree=25252440/32873648 swapFree=7116/7116
[pid=2615] ppid=2613 vsize=11852648 CPUtime=6.35 cores=1,3,5,7
/proc/2615/stat : 2615 (java) S 2613 2615 621 0 -1 4202496 27571 0 1 0 618 17 0 0 20 0 22 0 334101240 12137111552 108513 33554432000 1073741824 1073778376 140736697710944 140736697702080 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2615/statm: 2963162 108513 2282 9 0 2953849 0
[pid=2615/tid=2617] ppid=2613 vsize=11852648 CPUtime=0.26 cores=1,3,5,7
/proc/2615/task/2617/stat : 2617 (java) S 2613 2615 621 0 -1 4202560 3386 0 1 0 24 2 0 0 20 0 22 0 334101241 12137111552 108513 33554432000 1073741824 1073778376 140736697710944 139844901033112 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2615/tid=2618] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2618/stat : 2618 (java) S 2613 2615 621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334101243 12137111552 108513 33554432000 1073741824 1073778376 140736697710944 139844876437672 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2615/tid=2619] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2619/stat : 2619 (java) S 2613 2615 621 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 334101243 12137111552 108513 33554432000 1073741824 1073778376 140736697710944 139844875385128 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2615/tid=2620] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2620/stat : 2620 (java) S 2613 2615 621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334101243 12137111552 108513 33554432000 1073741824 1073778376 140736697710944 139844735257000 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2615/tid=2621] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2621/stat : 2621 (java) S 2613 2615 621 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 334101243 12137111552 108513 33554432000 1073741824 1073778376 140736697710944 139844734204456 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2615/tid=2622] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2622/stat : 2622 (java) S 2613 2615 621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334101243 12137111552 108513 33554432000 1073741824 1073778376 140736697710944 139844733151912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2615/tid=2623] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2623/stat : 2623 (java) S 2613 2615 621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334101243 12137111552 108513 33554432000 1073741824 1073778376 140736697710944 139844732099368 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2615/tid=2624] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2624/stat : 2624 (java) S 2613 2615 621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334101243 12137111552 108513 33554432000 1073741824 1073778376 140736697710944 139844731046824 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2615/tid=2625] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2625/stat : 2625 (java) S 2613 2615 621 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 334101243 12137111552 108513 33554432000 1073741824 1073778376 140736697710944 139844729994280 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2615/tid=2626] ppid=2613 vsize=11852648 CPUtime=0.09 cores=1,3,5,7
/proc/2615/task/2626/stat : 2626 (java) S 2613 2615 621 0 -1 4202560 31 0 0 0 9 0 0 0 20 0 22 0 334101244 12137111552 108513 33554432000 1073741824 1073778376 140736697710944 139844717795432 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2615/tid=2627] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2627/stat : 2627 (java) S 2613 2615 621 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 334101245 12137111552 108513 33554432000 1073741824 1073778376 140736697710944 139844716741752 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2615/tid=2628] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2628/stat : 2628 (java) S 2613 2615 621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334101245 12137111552 108513 33554432000 1073741824 1073778376 140736697710944 139844715689096 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2615/tid=2629] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2629/stat : 2629 (java) S 2613 2615 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334101247 12137111552 108513 33554432000 1073741824 1073778376 140736697710944 139844714637840 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2615/tid=2630] ppid=2613 vsize=11852648 CPUtime=0.98 cores=1,3,5,7
/proc/2615/task/2630/stat : 2630 (java) S 2613 2615 621 0 -1 4202560 6604 0 0 0 96 2 0 0 20 0 22 0 334101247 12137111552 108513 33554432000 1073741824 1073778376 140736697710944 139844713585208 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2615/tid=2631] ppid=2613 vsize=11852648 CPUtime=1.04 cores=1,3,5,7
/proc/2615/task/2631/stat : 2631 (java) S 2613 2615 621 0 -1 4202560 16026 0 0 0 101 3 0 0 20 0 22 0 334101247 12137111552 108513 33554432000 1073741824 1073778376 140736697710944 139844712532664 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2615/tid=2632] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2632/stat : 2632 (java) S 2613 2615 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334101247 12137111552 108513 33554432000 1073741824 1073778376 140736697710944 139844711480312 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2615/tid=2633] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2633/stat : 2633 (java) S 2613 2615 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334101247 12137111552 108513 33554432000 1073741824 1073778376 140736697710944 139844710427976 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2615/tid=2637] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2637/stat : 2637 (java) S 2613 2615 621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334101270 12137111552 108513 33554432000 1073741824 1073778376 140736697710944 139844706215080 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.35
Current children cumulated vsize (KiB) 11852648

[startup+6.30062 s]
/proc/loadavg: 3.73 3.60 2.63 5/219 2649
/proc/meminfo: memFree=25070384/32873648 swapFree=7116/7116
[pid=2615] ppid=2613 vsize=11852648 CPUtime=11.88 cores=1,3,5,7
/proc/2615/stat : 2615 (java) S 2613 2615 621 0 -1 4202496 27710 0 1 0 1164 24 0 0 20 0 22 0 334101240 12137111552 158517 33554432000 1073741824 1073778376 140736697710944 140736697702080 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2615/statm: 2963162 158517 2282 9 0 2953849 0
[pid=2615/tid=2617] ppid=2613 vsize=11852648 CPUtime=0.26 cores=1,3,5,7
/proc/2615/task/2617/stat : 2617 (java) S 2613 2615 621 0 -1 4202560 3386 0 1 0 24 2 0 0 20 0 22 0 334101241 12137111552 158517 33554432000 1073741824 1073778376 140736697710944 139844901033112 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2615/tid=2618] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2618/stat : 2618 (java) S 2613 2615 621 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 334101243 12137111552 158517 33554432000 1073741824 1073778376 140736697710944 139844876437672 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2615/tid=2619] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2619/stat : 2619 (java) S 2613 2615 621 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 334101243 12137111552 158517 33554432000 1073741824 1073778376 140736697710944 139844875385128 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2615/tid=2620] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2620/stat : 2620 (java) S 2613 2615 621 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 334101243 12137111552 158517 33554432000 1073741824 1073778376 140736697710944 139844735257000 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2615/tid=2621] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2621/stat : 2621 (java) S 2613 2615 621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334101243 12137111552 158517 33554432000 1073741824 1073778376 140736697710944 139844734204456 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2615/tid=2622] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2622/stat : 2622 (java) S 2613 2615 621 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 334101243 12137111552 158517 33554432000 1073741824 1073778376 140736697710944 139844733151912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2615/tid=2623] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2623/stat : 2623 (java) S 2613 2615 621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334101243 12137111552 158517 33554432000 1073741824 1073778376 140736697710944 139844732099368 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2615/tid=2624] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2624/stat : 2624 (java) S 2613 2615 621 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 334101243 12137111552 158517 33554432000 1073741824 1073778376 140736697710944 139844731046824 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2615/tid=2625] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2625/stat : 2625 (java) S 2613 2615 621 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 334101243 12137111552 158517 33554432000 1073741824 1073778376 140736697710944 139844729994280 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2615/tid=2626] ppid=2613 vsize=11852648 CPUtime=0.24 cores=1,3,5,7
/proc/2615/task/2626/stat : 2626 (java) S 2613 2615 621 0 -1 4202560 34 0 0 0 24 0 0 0 20 0 22 0 334101244 12137111552 158517 33554432000 1073741824 1073778376 140736697710944 139844717795624 260193694780 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2615/tid=2627] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2627/stat : 2627 (java) S 2613 2615 621 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 334101245 12137111552 158517 33554432000 1073741824 1073778376 140736697710944 139844716741752 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2615/tid=2628] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2628/stat : 2628 (java) S 2613 2615 621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334101245 12137111552 158517 33554432000 1073741824 1073778376 140736697710944 139844715689096 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2615/tid=2629] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2629/stat : 2629 (java) S 2613 2615 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334101247 12137111552 158517 33554432000 1073741824 1073778376 140736697710944 139844714637840 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2615/tid=2630] ppid=2613 vsize=11852648 CPUtime=0.99 cores=1,3,5,7
/proc/2615/task/2630/stat : 2630 (java) R 2613 2615 621 0 -1 4202560 6606 0 0 0 97 2 0 0 20 0 22 0 334101247 12137111552 158517 33554432000 1073741824 1073778376 140736697710944 139844713571144 260193696824 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=2615/tid=2631] ppid=2613 vsize=11852648 CPUtime=1.04 cores=1,3,5,7
/proc/2615/task/2631/stat : 2631 (java) S 2613 2615 621 0 -1 4202560 16027 0 0 0 101 3 0 0 20 0 22 0 334101247 12137111552 158517 33554432000 1073741824 1073778376 140736697710944 139844712524632 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2615/tid=2632] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2632/stat : 2632 (java) S 2613 2615 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334101247 12137111552 158517 33554432000 1073741824 1073778376 140736697710944 139844711480312 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2615/tid=2633] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2633/stat : 2633 (java) S 2613 2615 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334101247 12137111552 158517 33554432000 1073741824 1073778376 140736697710944 139844710427976 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2615/tid=2637] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2637/stat : 2637 (java) S 2613 2615 621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334101270 12137111552 158517 33554432000 1073741824 1073778376 140736697710944 139844706215080 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 11.88
Current children cumulated vsize (KiB) 11852648

[startup+12.7007 s]

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

[pid=2615/tid=2621] ppid=2613 vsize=11852648 CPUtime=2.9 cores=1,3,5,7
/proc/2615/task/2621/stat : 2621 (java) S 2613 2615 621 0 -1 4202560 261 0 0 0 289 1 0 0 20 0 22 0 334101243 12137111552 237896 33554432000 1073741824 1073778376 140736697710944 139844734204456 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2615/tid=2622] ppid=2613 vsize=11852648 CPUtime=3.08 cores=1,3,5,7
/proc/2615/task/2622/stat : 2622 (java) S 2613 2615 621 0 -1 4202560 263 0 0 0 305 3 0 0 20 0 22 0 334101243 12137111552 237896 33554432000 1073741824 1073778376 140736697710944 139844733151912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2615/tid=2623] ppid=2613 vsize=11852648 CPUtime=2.89 cores=1,3,5,7
/proc/2615/task/2623/stat : 2623 (java) S 2613 2615 621 0 -1 4202560 258 0 0 0 287 2 0 0 20 0 22 0 334101243 12137111552 237896 33554432000 1073741824 1073778376 140736697710944 139844732099368 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2615/tid=2624] ppid=2613 vsize=11852648 CPUtime=3.12 cores=1,3,5,7
/proc/2615/task/2624/stat : 2624 (java) S 2613 2615 621 0 -1 4202560 258 0 0 0 310 2 0 0 20 0 22 0 334101243 12137111552 237896 33554432000 1073741824 1073778376 140736697710944 139844731046824 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2615/tid=2625] ppid=2613 vsize=11852648 CPUtime=3.15 cores=1,3,5,7
/proc/2615/task/2625/stat : 2625 (java) S 2613 2615 621 0 -1 4202560 259 0 0 0 311 4 0 0 20 0 22 0 334101243 12137111552 237896 33554432000 1073741824 1073778376 140736697710944 139844729994280 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2615/tid=2626] ppid=2613 vsize=11852648 CPUtime=75.46 cores=1,3,5,7
/proc/2615/task/2626/stat : 2626 (java) S 2613 2615 621 0 -1 4202560 152 0 0 0 7538 8 0 0 20 0 22 0 334101244 12137111552 237896 33554432000 1073741824 1073778376 140736697710944 139844717795432 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2615/tid=2627] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2627/stat : 2627 (java) S 2613 2615 621 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 334101245 12137111552 237896 33554432000 1073741824 1073778376 140736697710944 139844716741752 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2615/tid=2628] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2628/stat : 2628 (java) S 2613 2615 621 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 334101245 12137111552 237896 33554432000 1073741824 1073778376 140736697710944 139844715689096 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2615/tid=2629] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2629/stat : 2629 (java) S 2613 2615 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334101247 12137111552 237896 33554432000 1073741824 1073778376 140736697710944 139844714637840 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2615/tid=2630] ppid=2613 vsize=11852648 CPUtime=1.17 cores=1,3,5,7
/proc/2615/task/2630/stat : 2630 (java) S 2613 2615 621 0 -1 4202560 6616 0 0 0 115 2 0 0 20 0 22 0 334101247 12137111552 237896 33554432000 1073741824 1073778376 140736697710944 139844713585208 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2615/tid=2631] ppid=2613 vsize=11852648 CPUtime=1.45 cores=1,3,5,7
/proc/2615/task/2631/stat : 2631 (java) S 2613 2615 621 0 -1 4202560 20373 0 0 0 142 3 0 0 20 0 22 0 334101247 12137111552 237896 33554432000 1073741824 1073778376 140736697710944 139844712532664 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2615/tid=2632] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2632/stat : 2632 (java) S 2613 2615 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334101247 12137111552 237896 33554432000 1073741824 1073778376 140736697710944 139844711480312 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2615/tid=2633] ppid=2613 vsize=11852648 CPUtime=0.36 cores=1,3,5,7
/proc/2615/task/2633/stat : 2633 (java) S 2613 2615 621 0 -1 4202560 50 0 0 0 14 22 0 0 20 0 22 0 334101247 12137111552 237896 33554432000 1073741824 1073778376 140736697710944 139844710427976 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2615/tid=2658] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2658/stat : 2658 (java) S 2613 2615 621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334103782 12137111552 237896 33554432000 1073741824 1073778376 140736697710944 139844709372712 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2615/tid=2666] ppid=2613 vsize=11852648 CPUtime=504.29 cores=1,3,5,7
/proc/2615/task/2666/stat : 2666 (java) R 2613 2615 621 0 -1 4202560 194 0 0 0 50421 8 0 0 20 0 22 0 334132803 12137111552 237896 33554432000 1073741824 1073778376 140736697710944 139844707267136 139844756513729 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=2615/tid=2667] ppid=2613 vsize=11852648 CPUtime=504.36 cores=1,3,5,7
/proc/2615/task/2667/stat : 2667 (java) R 2613 2615 621 0 -1 4202560 61 0 0 0 50428 8 0 0 20 0 22 0 334132803 12137111552 237896 33554432000 1073741824 1073778376 140736697710944 139844706212816 139844756478262 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=2615/tid=2668] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2668/stat : 2668 (java) S 2613 2615 621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334132803 12137111552 237896 33554432000 1073741824 1073778376 140736697710944 139844708320808 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1695.88
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+936.301 s]
/proc/loadavg: 3.80 3.78 3.37 5/219 2747
/proc/meminfo: memFree=26759892/32873648 swapFree=7116/7116
[pid=2615] ppid=2613 vsize=11852648 CPUtime=1798.94 cores=1,3,5,7
/proc/2615/stat : 2615 (java) S 2613 2615 621 0 -1 4202496 35077 0 1 0 179798 96 0 0 20 0 22 0 334101240 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 140736697702080 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2615/statm: 2963162 238408 2283 9 0 2953849 0
[pid=2615/tid=2617] ppid=2613 vsize=11852648 CPUtime=0.31 cores=1,3,5,7
/proc/2615/task/2617/stat : 2617 (java) S 2613 2615 621 0 -1 4202560 3599 0 1 0 26 5 0 0 20 0 22 0 334101241 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844901033112 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2615/tid=2618] ppid=2613 vsize=11852648 CPUtime=3.37 cores=1,3,5,7
/proc/2615/task/2618/stat : 2618 (java) S 2613 2615 621 0 -1 4202560 264 0 0 0 335 2 0 0 20 0 22 0 334101243 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844876437672 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2615/tid=2619] ppid=2613 vsize=11852648 CPUtime=3.4 cores=1,3,5,7
/proc/2615/task/2619/stat : 2619 (java) S 2613 2615 621 0 -1 4202560 266 0 0 0 338 2 0 0 20 0 22 0 334101243 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844875385128 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2615/tid=2620] ppid=2613 vsize=11852648 CPUtime=3.38 cores=1,3,5,7
/proc/2615/task/2620/stat : 2620 (java) S 2613 2615 621 0 -1 4202560 259 0 0 0 335 3 0 0 20 0 22 0 334101243 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844735257000 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2615/tid=2621] ppid=2613 vsize=11852648 CPUtime=3.15 cores=1,3,5,7
/proc/2615/task/2621/stat : 2621 (java) S 2613 2615 621 0 -1 4202560 261 0 0 0 314 1 0 0 20 0 22 0 334101243 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844734204456 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2615/tid=2622] ppid=2613 vsize=11852648 CPUtime=3.31 cores=1,3,5,7
/proc/2615/task/2622/stat : 2622 (java) S 2613 2615 621 0 -1 4202560 263 0 0 0 328 3 0 0 20 0 22 0 334101243 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844733151912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2615/tid=2623] ppid=2613 vsize=11852648 CPUtime=3.07 cores=1,3,5,7
/proc/2615/task/2623/stat : 2623 (java) S 2613 2615 621 0 -1 4202560 258 0 0 0 305 2 0 0 20 0 22 0 334101243 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844732099368 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2615/tid=2624] ppid=2613 vsize=11852648 CPUtime=3.39 cores=1,3,5,7
/proc/2615/task/2624/stat : 2624 (java) S 2613 2615 621 0 -1 4202560 258 0 0 0 337 2 0 0 20 0 22 0 334101243 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844731046824 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2615/tid=2625] ppid=2613 vsize=11852648 CPUtime=3.45 cores=1,3,5,7
/proc/2615/task/2625/stat : 2625 (java) S 2613 2615 621 0 -1 4202560 259 0 0 0 341 4 0 0 20 0 22 0 334101243 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844729994280 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2615/tid=2626] ppid=2613 vsize=11852648 CPUtime=81.29 cores=1,3,5,7
/proc/2615/task/2626/stat : 2626 (java) S 2613 2615 621 0 -1 4202560 157 0 0 0 8121 8 0 0 20 0 22 0 334101244 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844717795432 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2615/tid=2627] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2627/stat : 2627 (java) S 2613 2615 621 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 334101245 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844716741752 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2615/tid=2628] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2628/stat : 2628 (java) S 2613 2615 621 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 334101245 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844715689096 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2615/tid=2629] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2629/stat : 2629 (java) S 2613 2615 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334101247 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844714637840 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2615/tid=2630] ppid=2613 vsize=11852648 CPUtime=1.17 cores=1,3,5,7
/proc/2615/task/2630/stat : 2630 (java) S 2613 2615 621 0 -1 4202560 6616 0 0 0 115 2 0 0 20 0 22 0 334101247 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844713585208 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2615/tid=2631] ppid=2613 vsize=11852648 CPUtime=1.45 cores=1,3,5,7
/proc/2615/task/2631/stat : 2631 (java) S 2613 2615 621 0 -1 4202560 20373 0 0 0 142 3 0 0 20 0 22 0 334101247 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844712532664 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2615/tid=2632] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2632/stat : 2632 (java) S 2613 2615 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334101247 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844711480312 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2615/tid=2633] ppid=2613 vsize=11852648 CPUtime=0.38 cores=1,3,5,7
/proc/2615/task/2633/stat : 2633 (java) S 2613 2615 621 0 -1 4202560 54 0 0 0 15 23 0 0 20 0 22 0 334101247 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844710427976 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2615/tid=2658] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2658/stat : 2658 (java) S 2613 2615 621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334103782 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844709372712 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2615/tid=2666] ppid=2613 vsize=11852648 CPUtime=551.75 cores=1,3,5,7
/proc/2615/task/2666/stat : 2666 (java) R 2613 2615 621 0 -1 4202560 199 0 0 0 55166 9 0 0 20 0 22 0 334132803 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844707267136 139844756459607 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=2615/tid=2667] ppid=2613 vsize=11852648 CPUtime=551.8 cores=1,3,5,7
/proc/2615/task/2667/stat : 2667 (java) R 2613 2615 621 0 -1 4202560 65 0 0 0 55170 10 0 0 20 0 22 0 334132803 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844706212816 139844756538305 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=2615/tid=2668] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2668/stat : 2668 (java) S 2613 2615 621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334132803 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844708320808 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1798.94
Current children cumulated vsize (KiB) 11852648

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

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

[startup+936.301 s]
/proc/loadavg: 3.80 3.78 3.37 5/219 2747
/proc/meminfo: memFree=26759892/32873648 swapFree=7116/7116
[pid=2615] ppid=2613 vsize=11852648 CPUtime=1798.94 cores=1,3,5,7
/proc/2615/stat : 2615 (java) S 2613 2615 621 0 -1 4202496 35077 0 1 0 179798 96 0 0 20 0 22 0 334101240 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 140736697702080 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2615/statm: 2963162 238408 2283 9 0 2953849 0
[pid=2615/tid=2617] ppid=2613 vsize=11852648 CPUtime=0.31 cores=1,3,5,7
/proc/2615/task/2617/stat : 2617 (java) S 2613 2615 621 0 -1 4202560 3599 0 1 0 26 5 0 0 20 0 22 0 334101241 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844901033112 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2615/tid=2618] ppid=2613 vsize=11852648 CPUtime=3.37 cores=1,3,5,7
/proc/2615/task/2618/stat : 2618 (java) S 2613 2615 621 0 -1 4202560 264 0 0 0 335 2 0 0 20 0 22 0 334101243 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844876437672 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2615/tid=2619] ppid=2613 vsize=11852648 CPUtime=3.4 cores=1,3,5,7
/proc/2615/task/2619/stat : 2619 (java) S 2613 2615 621 0 -1 4202560 266 0 0 0 338 2 0 0 20 0 22 0 334101243 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844875385128 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2615/tid=2620] ppid=2613 vsize=11852648 CPUtime=3.38 cores=1,3,5,7
/proc/2615/task/2620/stat : 2620 (java) S 2613 2615 621 0 -1 4202560 259 0 0 0 335 3 0 0 20 0 22 0 334101243 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844735257000 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2615/tid=2621] ppid=2613 vsize=11852648 CPUtime=3.15 cores=1,3,5,7
/proc/2615/task/2621/stat : 2621 (java) S 2613 2615 621 0 -1 4202560 261 0 0 0 314 1 0 0 20 0 22 0 334101243 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844734204456 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2615/tid=2622] ppid=2613 vsize=11852648 CPUtime=3.31 cores=1,3,5,7
/proc/2615/task/2622/stat : 2622 (java) S 2613 2615 621 0 -1 4202560 263 0 0 0 328 3 0 0 20 0 22 0 334101243 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844733151912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2615/tid=2623] ppid=2613 vsize=11852648 CPUtime=3.07 cores=1,3,5,7
/proc/2615/task/2623/stat : 2623 (java) S 2613 2615 621 0 -1 4202560 258 0 0 0 305 2 0 0 20 0 22 0 334101243 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844732099368 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2615/tid=2624] ppid=2613 vsize=11852648 CPUtime=3.39 cores=1,3,5,7
/proc/2615/task/2624/stat : 2624 (java) S 2613 2615 621 0 -1 4202560 258 0 0 0 337 2 0 0 20 0 22 0 334101243 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844731046824 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2615/tid=2625] ppid=2613 vsize=11852648 CPUtime=3.45 cores=1,3,5,7
/proc/2615/task/2625/stat : 2625 (java) S 2613 2615 621 0 -1 4202560 259 0 0 0 341 4 0 0 20 0 22 0 334101243 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844729994280 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2615/tid=2626] ppid=2613 vsize=11852648 CPUtime=81.29 cores=1,3,5,7
/proc/2615/task/2626/stat : 2626 (java) S 2613 2615 621 0 -1 4202560 157 0 0 0 8121 8 0 0 20 0 22 0 334101244 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844717795432 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2615/tid=2627] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2627/stat : 2627 (java) S 2613 2615 621 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 334101245 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844716741752 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2615/tid=2628] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2628/stat : 2628 (java) S 2613 2615 621 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 334101245 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844715689096 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2615/tid=2629] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2629/stat : 2629 (java) S 2613 2615 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334101247 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844714637840 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2615/tid=2630] ppid=2613 vsize=11852648 CPUtime=1.17 cores=1,3,5,7
/proc/2615/task/2630/stat : 2630 (java) S 2613 2615 621 0 -1 4202560 6616 0 0 0 115 2 0 0 20 0 22 0 334101247 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844713585208 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2615/tid=2631] ppid=2613 vsize=11852648 CPUtime=1.45 cores=1,3,5,7
/proc/2615/task/2631/stat : 2631 (java) S 2613 2615 621 0 -1 4202560 20373 0 0 0 142 3 0 0 20 0 22 0 334101247 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844712532664 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2615/tid=2632] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2632/stat : 2632 (java) S 2613 2615 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334101247 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844711480312 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2615/tid=2633] ppid=2613 vsize=11852648 CPUtime=0.38 cores=1,3,5,7
/proc/2615/task/2633/stat : 2633 (java) S 2613 2615 621 0 -1 4202560 54 0 0 0 15 23 0 0 20 0 22 0 334101247 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844710427976 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2615/tid=2658] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2658/stat : 2658 (java) S 2613 2615 621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334103782 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844709372712 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2615/tid=2666] ppid=2613 vsize=11852648 CPUtime=551.75 cores=1,3,5,7
/proc/2615/task/2666/stat : 2666 (java) R 2613 2615 621 0 -1 4202560 199 0 0 0 55166 9 0 0 20 0 22 0 334132803 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844707267136 139844756459607 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=2615/tid=2667] ppid=2613 vsize=11852648 CPUtime=551.8 cores=1,3,5,7
/proc/2615/task/2667/stat : 2667 (java) R 2613 2615 621 0 -1 4202560 65 0 0 0 55170 10 0 0 20 0 22 0 334132803 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844706212816 139844756538305 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=2615/tid=2668] ppid=2613 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2615/task/2668/stat : 2668 (java) S 2613 2615 621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334132803 12137111552 238408 33554432000 1073741824 1073778376 140736697710944 139844708320808 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1798.94
Current children cumulated vsize (KiB) 11852648

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2615 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=978121
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=292803
# CPU time returned by wait4() is 1796.27
# while last known CPU time is 1798.94
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1.21002
#  lost CPU user time (s): 1.28003
#  lost CPU system time (s): -0.07

Real time (s): 936.357
CPU time (s): 1800.15
CPU user time (s): 1799.26
CPU system time (s): 0.89
CPU usage (%): 192.25
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.98
system time used= 1.2928
maximum resident set size= 955828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35117
page faults= 1
swaps= 0
block input operations= 0
block output operations= 984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40475
involuntary context switches= 48321

runsolver used 3.55046 second user time and 8.50471 second system time

The end

Launcher Data 

Begin job on node123 at 2012-06-03 01:29:18
IDJOB=3731050
IDBENCH=1844
IDSOLVER=2328
FILE ID=node123/3731050-1338679758
RUNJOBID= node123-1338678620-641
PBS_JOBID= 14636690
Free space on /tmp= 71288 MiB

SOLVER NAME= PB11: Sat4j Res//CP 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos16.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3731050-1338679758/watcher-3731050-1338679758 -o /tmp/evaluation-result-3731050-1338679758/solver-3731050-1338679758 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3731050-1338679758.opb

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

MD5SUM BENCH= 49459e9c72edb2754f1d384319cf8731
RANDOM SEED=1506328361

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.217
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
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.217
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.217
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.217
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.217
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.217
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        25601736 kB
Buffers:          484760 kB
Cached:          2217216 kB
SwapCached:         2272 kB
Active:          4499976 kB
Inactive:        1870564 kB
Active(anon):    3663144 kB
Inactive(anon):     5516 kB
Active(file):     836832 kB
Inactive(file):  1865048 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100312 kB
Dirty:               476 kB
Writeback:             0 kB
AnonPages:       3679120 kB
Mapped:            18520 kB
Shmem:                 0 kB
Slab:             748684 kB
SReclaimable:     192636 kB
SUnreclaim:       556048 kB
KernelStack:        1624 kB
PageTables:        11028 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:   10458136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3639296 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= 71304 MiB
End job on node123 at 2012-06-03 01:44:56