Trace number 3687818

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
SAT 4j PB RES // CP 2.3.2 SnapshotSAT (TO)61 1800.59 944.029

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g15x15.opb
MD5SUM28425c3b4907da9ba10ee31a4de63042
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark53
Best CPU time to get the best result obtained on this benchmark77.6872
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 53
Optimality of the best value was proved NO
Number of variables225
Total number of constraints225
Number of constraints which are clauses225
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 225
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 225
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 225
Number of bits of the biggest sum of numbers8
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.05/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.05/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.08	c See www.sat4j.org for details.
0.05/0.09	c version 2.3.2.v20120418
0.05/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.09	c java.vm.version	19.1-b02
0.05/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.09	c sun.arch.data.model	64
0.05/0.09	c java.version		1.6.0_24
0.05/0.09	c os.name		Linux
0.05/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.05/0.09	c os.arch		amd64
0.05/0.09	c Free memory 		501472288
0.05/0.09	c Max memory 		7480803328
0.05/0.09	c Total memory 		504102912
0.05/0.09	c Number of processors 	8
0.10/0.12	c Pseudo Boolean Optimization by upper bound
0.10/0.12	c ManyCore solver with 2 solvers running in parallel
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c c --- End Solver configuration ---
0.10/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.12	c No reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-3687818-1337873886.opb
0.10/0.12	c reading problem ... 
0.10/0.18	c ... done. Wall clock time 0.06s.
0.10/0.18	c declared #vars     225
0.10/0.18	c #constraints  225
0.10/0.18	c constraints type 
0.10/0.18	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 225
0.10/0.18	c 225 constraints processed.
0.10/0.18	c constraints type 
0.10/0.18	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 225
0.10/0.18	c 225 constraints processed.
0.10/0.18	c objective function length is 225 literals
0.10/0.19	c  And the winner is solver0
0.22/0.68	c SATISFIABLE
0.22/0.68	c OPTIMIZING...
0.22/0.68	c Got one! Elapsed wall clock time (in seconds):0.563
0.22/0.68	o 75
0.22/0.69	c  And the winner is solver0
0.30/1.18	c Got one! Elapsed wall clock time (in seconds):1.067
0.30/1.18	o 74
0.72/1.38	c  And the winner is solver1
1.33/1.69	c Got one! Elapsed wall clock time (in seconds):1.569
1.33/1.69	o 73
1.35/1.79	c  And the winner is solver1
1.88/2.19	c Got one! Elapsed wall clock time (in seconds):2.071
1.88/2.19	o 72
1.92/2.24	c  And the winner is solver1
2.05/2.69	c Got one! Elapsed wall clock time (in seconds):2.573
2.05/2.69	o 71
2.07/2.75	c cleaning 3112 clauses out of 6223 with flag 1000/6223
2.35/2.89	c  And the winner is solver1
2.55/3.19	c Got one! Elapsed wall clock time (in seconds):3.075
2.55/3.19	o 70
2.87/3.32	c cleaning 4390 clauses out of 8780 with flag 3000/11892
3.10/3.49	c  And the winner is solver1
3.32/3.69	c Got one! Elapsed wall clock time (in seconds):3.576
3.32/3.69	o 69
3.33/3.78	c cleaning 5106 clauses out of 10214 with flag 2000/17716
3.71/3.97	c  And the winner is solver1
3.88/4.19	c Got one! Elapsed wall clock time (in seconds):4.078
3.88/4.19	o 68
3.88/4.25	c cleaning 5304 clauses out of 10607 with flag 1000/23215
4.47/4.53	c cleaning 5651 clauses out of 11303 with flag 7000/29215
4.67/4.61	c  And the winner is solver1
4.67/4.69	c Got one! Elapsed wall clock time (in seconds):4.579
4.67/4.69	o 67
4.91/4.88	c cleaning 5650 clauses out of 11301 with flag 5000/34864
5.49/5.15	c cleaning 5823 clauses out of 11651 with flag 11000/40864
6.06/5.46	c cleaning 6415 clauses out of 12829 with flag 18001/47865
6.77/5.88	c cleaning 7207 clauses out of 14413 with flag 26000/55864
7.71/6.30	c cleaning 8101 clauses out of 16207 with flag 35001/64865
8.46/6.78	c cleaning 9051 clauses out of 18106 with flag 45001/74865
9.61/7.30	c cleaning 10021 clauses out of 20054 with flag 56000/85864
10.71/7.92	c cleaning 11013 clauses out of 22033 with flag 68000/97864
12.04/8.68	c cleaning 12006 clauses out of 24020 with flag 81000/110864
12.74/9.08	c  And the winner is solver1
12.92/9.29	c Got one! Elapsed wall clock time (in seconds):9.176
12.92/9.29	o 66
13.33/9.56	c cleaning 11851 clauses out of 23711 with flag 5000/122561
14.06/9.94	c cleaning 8931 clauses out of 17861 with flag 11001/128562
14.71/10.39	c cleaning 7965 clauses out of 15930 with flag 18001/135562
15.61/10.84	c cleaning 7979 clauses out of 15965 with flag 26001/143562
16.51/11.33	c cleaning 8493 clauses out of 16985 with flag 35000/152561
17.41/11.88	c cleaning 9240 clauses out of 18492 with flag 45000/162561
17.72/12.07	c  And the winner is solver1
17.81/12.29	c Got one! Elapsed wall clock time (in seconds):12.178
17.81/12.29	o 65
18.24/12.50	c cleaning 7124 clauses out of 14253 with flag 5001/167562
18.73/12.84	c cleaning 6559 clauses out of 13128 with flag 11000/173561
19.43/13.22	c cleaning 6783 clauses out of 13570 with flag 18001/180562
20.10/13.64	c cleaning 7391 clauses out of 14787 with flag 26001/188562
20.92/14.20	c cleaning 8197 clauses out of 16396 with flag 35001/197562
22.00/14.73	c cleaning 9097 clauses out of 18198 with flag 45000/207561
22.88/15.29	c cleaning 10050 clauses out of 20101 with flag 56000/218561
24.15/15.94	c cleaning 11026 clauses out of 22051 with flag 68000/230561
25.54/16.75	c cleaning 12010 clauses out of 24025 with flag 81000/243561
27.03/17.50	c cleaning 13009 clauses out of 26017 with flag 95002/257563
28.47/18.35	c cleaning 14000 clauses out of 28006 with flag 110000/272561
30.13/19.23	c cleaning 15004 clauses out of 30007 with flag 126001/288562
30.49/19.56	c  And the winner is solver1
30.64/20.02	c Got one! Elapsed wall clock time (in seconds):19.904
30.64/20.02	o 64
30.78/20.17	c cleaning 10212 clauses out of 20434 with flag 3001/293993
31.44/20.56	c cleaning 8111 clauses out of 16221 with flag 9000/299992
32.10/20.99	c cleaning 7553 clauses out of 15110 with flag 16000/306992
33.14/21.50	c cleaning 7780 clauses out of 15559 with flag 24002/314994
34.07/22.11	c cleaning 8383 clauses out of 16777 with flag 33000/323992
35.11/22.72	c cleaning 9197 clauses out of 18395 with flag 43001/333993
36.16/23.37	c cleaning 10098 clauses out of 20197 with flag 54000/344992
37.41/24.07	c cleaning 11046 clauses out of 22099 with flag 66000/356992
39.17/25.01	c cleaning 12028 clauses out of 24055 with flag 79002/369994
40.79/25.90	c cleaning 13012 clauses out of 26025 with flag 93000/383992
42.65/26.95	c cleaning 14005 clauses out of 28014 with flag 108001/398993
44.67/28.03	c cleaning 14998 clauses out of 30008 with flag 124000/414992
46.79/29.25	c cleaning 16005 clauses out of 32011 with flag 141001/431993
49.02/30.42	c cleaning 17000 clauses out of 34006 with flag 159001/449993
51.25/31.65	c cleaning 18002 clauses out of 36005 with flag 178000/468992
53.67/32.98	c cleaning 19001 clauses out of 38005 with flag 198002/488994
54.35/33.47	c  And the winner is solver1
54.50/33.87	c Got one! Elapsed wall clock time (in seconds):33.752
54.50/33.87	o 63
54.55/34.00	c cleaning 12377 clauses out of 24765 with flag 2000/494755
55.34/34.43	c cleaning 9194 clauses out of 18391 with flag 8003/500758
56.13/34.91	c cleaning 8097 clauses out of 16194 with flag 15000/507755
56.93/35.41	c cleaning 8045 clauses out of 16097 with flag 23000/515755
58.00/36.11	c cleaning 8527 clauses out of 17053 with flag 32001/524756
58.99/36.76	c cleaning 9260 clauses out of 18526 with flag 42001/534756
60.18/37.46	c cleaning 10129 clauses out of 20266 with flag 53001/545756
61.38/38.17	c cleaning 11066 clauses out of 22136 with flag 65000/557755
62.86/39.07	c cleaning 12034 clauses out of 24071 with flag 78001/570756
64.44/39.91	c cleaning 13018 clauses out of 26036 with flag 92000/584755
66.04/40.82	c cleaning 14006 clauses out of 28019 with flag 107001/599756
67.84/41.82	c cleaning 15004 clauses out of 30014 with flag 123002/615757
69.86/43.01	c cleaning 16002 clauses out of 32008 with flag 140000/632755
71.66/44.03	c cleaning 17002 clauses out of 34006 with flag 158000/650755
73.81/45.20	c cleaning 17999 clauses out of 36004 with flag 177000/669755
75.81/46.39	c cleaning 18997 clauses out of 38006 with flag 197001/689756
78.44/47.89	c cleaning 19997 clauses out of 40009 with flag 218001/710756
81.00/49.22	c cleaning 21005 clauses out of 42013 with flag 240002/732757
83.38/50.56	c cleaning 21998 clauses out of 44007 with flag 263001/755756
85.92/51.93	c cleaning 23004 clauses out of 46010 with flag 287002/779757
88.72/53.54	c cleaning 24001 clauses out of 48004 with flag 312000/804755
91.67/55.19	c cleaning 25000 clauses out of 50004 with flag 338001/830756
95.03/56.98	c cleaning 25999 clauses out of 52003 with flag 365000/857755
98.16/58.67	c cleaning 26998 clauses out of 54004 with flag 393000/885755
101.94/60.75	c cleaning 28000 clauses out of 56006 with flag 422000/914755
105.48/62.62	c cleaning 28995 clauses out of 58006 with flag 452000/944755
109.19/64.69	c cleaning 30003 clauses out of 60011 with flag 483000/975755
113.13/66.72	c cleaning 31000 clauses out of 62009 with flag 515001/1007756
114.05/67.45	c  And the winner is solver1
114.18/67.72	c Got one! Elapsed wall clock time (in seconds):67.603
114.18/67.72	o 62
114.74/68.07	c cleaning 20805 clauses out of 41611 with flag 5000/1018358
115.84/68.70	c cleaning 13403 clauses out of 26806 with flag 11000/1024358
116.77/69.31	c cleaning 10202 clauses out of 20404 with flag 18001/1031359
117.68/69.96	c cleaning 9096 clauses out of 18201 with flag 26000/1039358
118.87/70.75	c cleaning 9051 clauses out of 18105 with flag 35000/1048358
120.00/71.44	c cleaning 9524 clauses out of 19054 with flag 45000/1058358
121.32/72.22	c cleaning 10259 clauses out of 20531 with flag 56001/1069359
122.63/73.05	c cleaning 11136 clauses out of 22271 with flag 68000/1081358
124.19/74.09	c cleaning 12067 clauses out of 24135 with flag 81000/1094358
126.10/75.13	c cleaning 13034 clauses out of 26069 with flag 95001/1108359
127.81/76.15	c cleaning 14010 clauses out of 28034 with flag 110000/1123358
129.71/77.24	c cleaning 15008 clauses out of 30025 with flag 126001/1139359
131.83/78.58	c cleaning 16003 clauses out of 32016 with flag 143000/1156358
133.94/79.77	c cleaning 17003 clauses out of 34013 with flag 161000/1174358
136.05/80.99	c cleaning 18005 clauses out of 36011 with flag 180001/1193359
138.34/82.21	c cleaning 19003 clauses out of 38005 with flag 200000/1213358
140.66/83.62	c cleaning 19992 clauses out of 40002 with flag 221000/1234358
142.94/84.97	c cleaning 21002 clauses out of 42010 with flag 243000/1256358
145.64/86.42	c cleaning 22003 clauses out of 44009 with flag 266001/1279359
148.55/88.04	c cleaning 23001 clauses out of 46006 with flag 290001/1303359
152.02/90.01	c cleaning 23996 clauses out of 48005 with flag 315001/1328359
155.10/91.72	c cleaning 25001 clauses out of 50009 with flag 341001/1354359
157.78/93.23	c  And the winner is solver1
157.86/93.56	c Got one! Elapsed wall clock time (in seconds):93.444
157.86/93.56	o 61
158.52/93.93	c cleaning 28102 clauses out of 56208 with flag 5001/1385559
159.40/94.57	c cleaning 17047 clauses out of 34105 with flag 11000/1391558
160.64/95.42	c cleaning 12026 clauses out of 24059 with flag 18001/1398559
161.52/96.07	c cleaning 10012 clauses out of 20032 with flag 26000/1406558
162.62/96.74	c cleaning 9509 clauses out of 19020 with flag 35000/1415558
163.69/97.45	c cleaning 9751 clauses out of 19511 with flag 45000/1425558
165.14/98.45	c cleaning 10376 clauses out of 20762 with flag 56002/1436560
166.61/99.32	c cleaning 11188 clauses out of 22384 with flag 68000/1448558
168.08/100.27	c cleaning 12094 clauses out of 24196 with flag 81000/1461558
169.74/101.25	c cleaning 13048 clauses out of 26103 with flag 95001/1475559
171.49/102.32	c cleaning 14022 clauses out of 28054 with flag 110000/1490558
173.14/103.33	c cleaning 15012 clauses out of 30032 with flag 126000/1506558
174.79/104.37	c cleaning 16009 clauses out of 32021 with flag 143001/1523559
176.63/105.48	c cleaning 17001 clauses out of 34011 with flag 161000/1541558
178.87/106.84	c cleaning 18001 clauses out of 36011 with flag 180001/1560559
181.14/108.10	c cleaning 19000 clauses out of 38010 with flag 200001/1580559
183.20/109.38	c cleaning 20002 clauses out of 40009 with flag 221000/1601558
185.64/110.74	c cleaning 20999 clauses out of 42007 with flag 243000/1623558
188.26/112.39	c cleaning 22001 clauses out of 44011 with flag 266003/1646561
191.10/113.96	c cleaning 23004 clauses out of 46007 with flag 290000/1670558
193.76/115.46	c cleaning 23998 clauses out of 48004 with flag 315001/1695559
196.60/117.01	c cleaning 24997 clauses out of 50005 with flag 341000/1721558
199.64/118.84	c cleaning 26003 clauses out of 52009 with flag 368001/1748559
202.88/120.65	c cleaning 26997 clauses out of 54005 with flag 396000/1776558
205.74/122.28	c cleaning 28001 clauses out of 56008 with flag 425000/1805558
209.20/124.10	c cleaning 28997 clauses out of 58007 with flag 455000/1835558
212.46/126.09	c cleaning 30001 clauses out of 60010 with flag 486000/1866558
215.91/127.97	c cleaning 31005 clauses out of 62010 with flag 518001/1898559
219.76/130.00	c cleaning 31999 clauses out of 64005 with flag 551001/1931559
223.60/132.13	c cleaning 32995 clauses out of 66005 with flag 585000/1965558
227.51/134.39	c cleaning 34002 clauses out of 68011 with flag 620001/2000559
231.74/136.68	c cleaning 35001 clauses out of 70008 with flag 656000/2036558
236.38/139.13	c cleaning 36002 clauses out of 72007 with flag 693000/2073558
241.23/141.71	c cleaning 37001 clauses out of 74006 with flag 731001/2111559
246.65/144.78	c cleaning 37998 clauses out of 76004 with flag 770000/2150558
252.31/147.70	c cleaning 38997 clauses out of 78006 with flag 810000/2190558
257.14/150.39	c cleaning 40003 clauses out of 80010 with flag 851001/2231559
262.37/153.16	c cleaning 41001 clauses out of 82008 with flag 893002/2273560
268.21/156.30	c cleaning 41994 clauses out of 84006 with flag 936001/2316559
274.24/159.59	c cleaning 43001 clauses out of 86011 with flag 980000/2360558
280.68/162.91	c cleaning 44002 clauses out of 88010 with flag 1025000/2405558
287.93/166.72	c cleaning 44996 clauses out of 90009 with flag 1071001/2451559
295.18/170.61	c cleaning 46002 clauses out of 92012 with flag 1118000/2498558
302.20/174.31	c cleaning 46996 clauses out of 94011 with flag 1166001/2546559
309.65/178.27	c cleaning 48002 clauses out of 96015 with flag 1215001/2595559
317.47/182.39	c cleaning 49002 clauses out of 98012 with flag 1265000/2645558
325.68/186.70	c cleaning 50003 clauses out of 100011 with flag 1316001/2696559
334.74/191.47	c cleaning 51001 clauses out of 102007 with flag 1368000/2748558
344.57/196.50	c cleaning 52001 clauses out of 104006 with flag 1421000/2801558
352.40/200.64	c cleaning 52999 clauses out of 106006 with flag 1475001/2855559
361.20/205.34	c cleaning 54001 clauses out of 108006 with flag 1530000/2910558
369.84/209.89	c cleaning 54999 clauses out of 110005 with flag 1586000/2966558
378.69/214.49	c cleaning 55998 clauses out of 112007 with flag 1643001/3023559
386.31/218.47	c cleaning 57005 clauses out of 114010 with flag 1701002/3081560
394.07/222.62	c cleaning 57997 clauses out of 116003 with flag 1760000/3140558
403.90/227.78	c cleaning 58996 clauses out of 118008 with flag 1820002/3200560
412.71/232.35	c cleaning 59999 clauses out of 120010 with flag 1881000/3261558
421.33/236.86	c cleaning 60998 clauses out of 122011 with flag 1943000/3323558
429.68/241.36	c cleaning 62002 clauses out of 124014 with flag 2006001/3386559
438.89/246.15	c cleaning 63002 clauses out of 126011 with flag 2070000/3450558
447.94/250.85	c cleaning 64001 clauses out of 128009 with flag 2135000/3515558
457.15/255.60	c cleaning 64998 clauses out of 130008 with flag 2201000/3581558
467.74/261.27	c cleaning 66002 clauses out of 132010 with flag 2268000/3648558
478.15/266.67	c cleaning 66997 clauses out of 134009 with flag 2336001/3716559
487.78/271.63	c cleaning 68001 clauses out of 136012 with flag 2405001/3785559
496.79/276.30	c cleaning 69003 clauses out of 138013 with flag 2475003/3855561
507.24/281.80	c cleaning 69998 clauses out of 140007 with flag 2546000/3926558
517.49/287.12	c cleaning 71003 clauses out of 142009 with flag 2618000/3998558
529.28/293.25	c cleaning 72004 clauses out of 144007 with flag 2691001/4071559
543.10/300.31	c cleaning 73000 clauses out of 146003 with flag 2765001/4145559
556.48/307.31	c cleaning 73993 clauses out of 148003 with flag 2840001/4220559
569.09/313.84	c cleaning 75003 clauses out of 150010 with flag 2916001/4296559
583.09/321.08	c cleaning 76001 clauses out of 152006 with flag 2993000/4373558
596.49/327.91	c cleaning 76999 clauses out of 154006 with flag 3071001/4451559
610.66/335.30	c cleaning 77997 clauses out of 156007 with flag 3150001/4530559
625.50/342.98	c cleaning 79000 clauses out of 158009 with flag 3230000/4610558
641.73/351.20	c cleaning 80001 clauses out of 160010 with flag 3311001/4691559
658.37/359.73	c cleaning 81002 clauses out of 162010 with flag 3393002/4773560
673.45/367.50	c cleaning 82002 clauses out of 164007 with flag 3476001/4856559
689.26/375.68	c cleaning 82998 clauses out of 166005 with flag 3560001/4940559
707.05/384.78	c cleaning 84000 clauses out of 168006 with flag 3645000/5025558
725.87/394.31	c cleaning 85001 clauses out of 170007 with flag 3731001/5111559
741.57/402.48	c cleaning 85996 clauses out of 172005 with flag 3818000/5198558
758.57/411.15	c cleaning 87002 clauses out of 174009 with flag 3906000/5286558
775.80/419.90	c cleaning 88001 clauses out of 176007 with flag 3995000/5375558
791.41/427.91	c cleaning 88998 clauses out of 178006 with flag 4085000/5465558
806.80/435.90	c cleaning 90001 clauses out of 180009 with flag 4176001/5556559
822.20/443.88	c cleaning 91002 clauses out of 182007 with flag 4268000/5648558
837.39/451.64	c cleaning 92000 clauses out of 184006 with flag 4361001/5741559
854.84/460.57	c cleaning 92995 clauses out of 186006 with flag 4455001/5835559
872.88/469.89	c cleaning 94000 clauses out of 188010 with flag 4550000/5930558
888.70/477.96	c cleaning 94998 clauses out of 190010 with flag 4646000/6026558
905.79/486.62	c cleaning 95997 clauses out of 192012 with flag 4743000/6123558
924.08/495.98	c cleaning 97001 clauses out of 194015 with flag 4841000/6221558
940.07/504.21	c cleaning 97999 clauses out of 196014 with flag 4940000/6320558
954.96/511.81	c cleaning 99001 clauses out of 198015 with flag 5040000/6420558
971.70/520.34	c cleaning 100004 clauses out of 200014 with flag 5141000/6521558
987.06/528.21	c cleaning 100998 clauses out of 202010 with flag 5243000/6623558
1004.96/537.54	c cleaning 102004 clauses out of 204013 with flag 5346001/6726559
1021.74/546.19	c cleaning 103000 clauses out of 206008 with flag 5450000/6830558
1039.71/555.33	c cleaning 103999 clauses out of 208008 with flag 5555000/6935558
1060.49/565.96	c cleaning 105001 clauses out of 210009 with flag 5661000/7041558
1079.83/575.81	c cleaning 106001 clauses out of 212008 with flag 5768000/7148558
1100.02/586.19	c cleaning 106999 clauses out of 214007 with flag 5876000/7256558
1122.24/597.42	c cleaning 108001 clauses out of 216008 with flag 5985000/7365558
1145.23/609.11	c cleaning 108997 clauses out of 218007 with flag 6095000/7475558
1167.52/620.57	c cleaning 109994 clauses out of 220010 with flag 6206000/7586558
1188.31/631.15	c cleaning 111004 clauses out of 222019 with flag 6318003/7698561
1208.31/641.33	c cleaning 112000 clauses out of 224013 with flag 6431001/7811559
1230.10/652.40	c cleaning 112999 clauses out of 226012 with flag 6545000/7925558
1252.80/664.07	c cleaning 114004 clauses out of 228014 with flag 6660001/8040559
1277.20/676.40	c cleaning 114995 clauses out of 230009 with flag 6776000/8156558
1304.18/690.12	c cleaning 116003 clauses out of 232016 with flag 6893002/8273560
1325.37/700.92	c cleaning 116995 clauses out of 234011 with flag 7011000/8391558
1346.47/711.81	c cleaning 118003 clauses out of 236017 with flag 7130001/8510559
1363.49/720.57	c cleaning 119002 clauses out of 238013 with flag 7250000/8630558
1382.06/730.00	c cleaning 120003 clauses out of 240012 with flag 7371001/8751559
1401.85/740.19	c cleaning 120997 clauses out of 242008 with flag 7493000/8873558
1423.58/751.31	c cleaning 122004 clauses out of 244011 with flag 7616000/8996558
1442.57/761.07	c cleaning 122990 clauses out of 246008 with flag 7740001/9120559
1462.55/771.22	c cleaning 123999 clauses out of 248017 with flag 7865000/9245558
1482.73/781.52	c cleaning 125006 clauses out of 250020 with flag 7991002/9371560
1505.66/793.32	c cleaning 126000 clauses out of 252012 with flag 8118000/9498558
1525.05/803.28	c cleaning 126998 clauses out of 254013 with flag 8246001/9626559
1543.43/812.61	c cleaning 127996 clauses out of 256014 with flag 8375000/9755558
1563.42/822.86	c cleaning 129005 clauses out of 258019 with flag 8505001/9885559
1583.10/832.90	c cleaning 130005 clauses out of 260014 with flag 8636001/10016559
1606.50/844.86	c cleaning 130998 clauses out of 262008 with flag 8768000/10148558
1629.40/856.54	c cleaning 132000 clauses out of 264011 with flag 8901001/10281559
1648.57/866.30	c cleaning 132998 clauses out of 266010 with flag 9035000/10415558
1669.76/877.20	c cleaning 133994 clauses out of 268012 with flag 9170000/10550558
1692.54/888.82	c cleaning 135007 clauses out of 270020 with flag 9306002/10686560
1712.50/899.06	c cleaning 136005 clauses out of 272011 with flag 9443000/10823558
1730.86/908.44	c cleaning 136999 clauses out of 274007 with flag 9581001/10961559
1751.15/918.97	c cleaning 137999 clauses out of 276008 with flag 9720001/11100559
1772.73/929.94	c cleaning 139005 clauses out of 278010 with flag 9860002/11240560
1795.71/941.70	c cleaning 139993 clauses out of 280003 with flag 10001000/11381558
1800.07/944.01	c starts		: 43
1800.07/944.01	c conflicts		: 7824
1800.07/944.01	c decisions		: 24408
1800.07/944.01	c propagations		: 125250
1800.07/944.01	c inspects		: 95205757
1800.07/944.01	c shortcuts		: 0
1800.07/944.01	c learnt literals	: 0
1800.07/944.01	c learnt binary clauses	: 0
1800.07/944.01	c learnt ternary clauses	: 0
1800.07/944.01	c learnt constraints	: 7823
1800.07/944.01	c ignored constraints	: 0
1800.07/944.01	c root simplifications	: 0
1800.07/944.01	c removed literals (reason simplification)	: 0
1800.07/944.01	c reason swapping (by a shorter reason)	: 0
1800.07/944.01	c Calls to reduceDB	: 0
1800.07/944.01	c number of reductions to clauses (during analyze)	: 0
1800.07/944.01	c number of learned constraints concerned by reduction	: 0
1800.07/944.01	c number of learning phase by resolution	: 0
1800.07/944.01	c number of learning phase by cutting planes	: 0
1800.07/944.01	c speed (assignments/second)	: 132.84586061844124
1800.07/944.01	c non guided choices	0
1800.07/944.01	c learnt constraints type 
1800.07/944.01	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 545
1800.07/944.01	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7278
1800.07/944.01	c constraints type 
1800.07/944.01	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 225
1800.07/944.01	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.07/944.01	c 226 constraints processed.
1800.07/944.01	c constraints type 
1800.07/944.01	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 225
1800.07/944.01	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.07/944.01	c 226 constraints processed.
1800.07/944.01	s SATISFIABLE
1800.07/944.01	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 
1800.07/944.01	c objective function=61
1800.07/944.01	c Total wall clock time (in seconds): 943.899

Verifier Data 

OK	61

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-3687818-1337873886/watcher-3687818-1337873886 -o /tmp/evaluation-result-3687818-1337873886/solver-3687818-1337873886 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687818-1337873886.opb 

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

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


[startup+0 s]
/proc/loadavg: 3.68 3.75 3.31 4/199 27179
/proc/meminfo: memFree=29136596/32873844 swapFree=7364/7364
[pid=27179] ppid=27177 vsize=89736 CPUtime=0 cores=0,2,4,6
/proc/27179/stat : 27179 (java) S 27177 27179 26250 0 -1 4202496 1175 0 0 0 0 0 0 0 20 0 2 0 253513384 91889664 894 33554432000 1073741824 1073778376 140736303920016 140736303911152 215146856509 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27179/statm: 22434 894 678 9 0 16769 0
[pid=27179/tid=27180] ppid=27177 vsize=91880 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27180/stat : 27180 (java) R 27177 27179 26250 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 253513385 94085120 908 33554432000 1073741824 1073778376 140736303920016 140736303909080 215134334807 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.0612681 s]
/proc/loadavg: 3.68 3.75 3.31 4/199 27179
/proc/meminfo: memFree=29136596/32873844 swapFree=7364/7364
[pid=27179] ppid=27177 vsize=9558412 CPUtime=0.05 cores=0,2,4,6
/proc/27179/stat : 27179 (java) S 27177 27179 26250 0 -1 4202496 3191 0 1 0 4 1 0 0 20 0 18 0 253513384 9787813888 4399 33554432000 1073741824 1073778376 140736303920016 140736303911152 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27179/statm: 2389603 4399 1757 9 0 2380296 0
[pid=27179/tid=27180] ppid=27177 vsize=9558412 CPUtime=0.04 cores=0,2,4,6
/proc/27179/task/27180/stat : 27180 (java) R 27177 27179 26250 0 -1 4202560 1981 0 1 0 4 0 0 0 20 0 18 0 253513385 9787813888 4399 33554432000 1073741824 1073778376 140736303920016 140490679081632 140490544628264 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558412

[startup+0.100282 s]
/proc/loadavg: 3.68 3.75 3.31 4/199 27179
/proc/meminfo: memFree=29136596/32873844 swapFree=7364/7364
[pid=27179] ppid=27177 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/27179/stat : 27179 (java) S 27177 27179 26250 0 -1 4202496 4289 0 1 0 9 1 0 0 20 0 18 0 253513384 9787813888 5494 33554432000 1073741824 1073778376 140736303920016 140736303911152 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27179/statm: 2389603 5494 2109 9 0 2380296 0
[pid=27179/tid=27180] ppid=27177 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/27179/task/27180/stat : 27180 (java) R 27177 27179 26250 0 -1 4202560 2355 0 1 0 6 1 0 0 20 0 18 0 253513385 9787813888 5495 33554432000 1073741824 1073778376 140736303920016 140490679077656 140490685547573 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.300295 s]
/proc/loadavg: 3.68 3.75 3.31 4/199 27179
/proc/meminfo: memFree=29136596/32873844 swapFree=7364/7364
[pid=27179] ppid=27177 vsize=9824668 CPUtime=0.22 cores=0,2,4,6
/proc/27179/stat : 27179 (java) S 27177 27179 26250 0 -1 4202496 4698 0 1 0 20 2 0 0 20 0 19 0 253513384 10060460032 7344 33554432000 1073741824 1073778376 140736303920016 140736303911152 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27179/statm: 2456167 7344 2194 9 0 2446860 0
[pid=27179/tid=27180] ppid=27177 vsize=9824668 CPUtime=0.16 cores=0,2,4,6
/proc/27179/task/27180/stat : 27180 (java) S 27177 27179 26250 0 -1 4202560 2456 0 1 0 14 2 0 0 20 0 19 0 253513385 10060460032 7344 33554432000 1073741824 1073778376 140736303920016 140490679079928 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9824668

[startup+0.700195 s]
/proc/loadavg: 3.68 3.75 3.31 4/199 27179
/proc/meminfo: memFree=29136596/32873844 swapFree=7364/7364
[pid=27179] ppid=27177 vsize=9824668 CPUtime=0.27 cores=0,2,4,6
/proc/27179/stat : 27179 (java) S 27177 27179 26250 0 -1 4202496 4976 0 1 0 24 3 0 0 20 0 20 0 253513384 10060460032 8614 33554432000 1073741824 1073778376 140736303920016 140736303911152 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27179/statm: 2456167 8619 2216 9 0 2446860 0
[pid=27179/tid=27180] ppid=27177 vsize=9824668 CPUtime=0.17 cores=0,2,4,6
/proc/27179/task/27180/stat : 27180 (java) S 27177 27179 26250 0 -1 4202560 2456 0 1 0 15 2 0 0 20 0 20 0 253513385 10060460032 8619 33554432000 1073741824 1073778376 140736303920016 140490679079928 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9824668

[startup+1.50069 s]
/proc/loadavg: 3.68 3.75 3.31 3/218 27204
/proc/meminfo: memFree=29110364/32873844 swapFree=7364/7364
[pid=27179] ppid=27177 vsize=9824668 CPUtime=1.31 cores=0,2,4,6
/proc/27179/stat : 27179 (java) S 27177 27179 26250 0 -1 4202496 14543 0 1 0 123 8 0 0 20 0 19 0 253513384 10060460032 16930 33554432000 1073741824 1073778376 140736303920016 140736303911152 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27179/statm: 2456167 16930 2239 9 0 2446860 0
[pid=27179/tid=27180] ppid=27177 vsize=9824668 CPUtime=0.17 cores=0,2,4,6
/proc/27179/task/27180/stat : 27180 (java) S 27177 27179 26250 0 -1 4202560 2456 0 1 0 15 2 0 0 20 0 19 0 253513385 10060460032 16930 33554432000 1073741824 1073778376 140736303920016 140490679079928 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27179/tid=27182] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27182/stat : 27182 (java) S 27177 27179 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513386 10060460032 16930 33554432000 1073741824 1073778376 140736303920016 140490668141224 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27179/tid=27183] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27183/stat : 27183 (java) S 27177 27179 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513386 10060460032 16930 33554432000 1073741824 1073778376 140736303920016 140490667088680 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27179/tid=27184] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27184/stat : 27184 (java) S 27177 27179 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513386 10060460032 16930 33554432000 1073741824 1073778376 140736303920016 140490666036136 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27179/tid=27185] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27185/stat : 27185 (java) S 27177 27179 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513386 10060460032 16930 33554432000 1073741824 1073778376 140736303920016 140490664983592 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27179/tid=27186] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27186/stat : 27186 (java) S 27177 27179 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513386 10060460032 16930 33554432000 1073741824 1073778376 140736303920016 140490663930024 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27179/tid=27187] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27187/stat : 27187 (java) S 27177 27179 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513386 10060460032 16930 33554432000 1073741824 1073778376 140736303920016 140490516937000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27179/tid=27188] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27188/stat : 27188 (java) S 27177 27179 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513386 10060460032 16930 33554432000 1073741824 1073778376 140736303920016 140490515884456 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27179/tid=27189] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27189/stat : 27189 (java) S 27177 27179 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253513386 10060460032 16930 33554432000 1073741824 1073778376 140736303920016 140490514831912 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27179/tid=27190] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27190/stat : 27190 (java) S 27177 27179 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253513387 10060460032 16930 33554432000 1073741824 1073778376 140736303920016 140490502634088 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27179/tid=27191] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27191/stat : 27191 (java) S 27177 27179 26250 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253513388 10060460032 16930 33554432000 1073741824 1073778376 140736303920016 140490501580408 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27179/tid=27192] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27192/stat : 27192 (java) S 27177 27179 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253513388 10060460032 16948 33554432000 1073741824 1073778376 140736303920016 140490500527752 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27179/tid=27193] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27193/stat : 27193 (java) S 27177 27179 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513390 10060460032 16919 33554432000 1073741824 1073778376 140736303920016 140490499476496 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27179/tid=27194] ppid=27177 vsize=9824668 CPUtime=0.33 cores=0,2,4,6
/proc/27179/task/27194/stat : 27194 (java) R 27177 27179 26250 0 -1 4202560 5725 0 0 0 33 0 0 0 20 0 19 0 253513390 10060460032 16919 33554432000 1073741824 1073778376 140736303920016 140490498410024 215143539831 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27179/tid=27195] ppid=27177 vsize=9824668 CPUtime=0.33 cores=0,2,4,6
/proc/27179/task/27195/stat : 27195 (java) R 27177 27179 26250 0 -1 4202560 5027 0 0 0 31 2 0 0 20 0 19 0 253513390 10060460032 16919 33554432000 1073741824 1073778376 140736303920016 140490497364336 140490681953902 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27179/tid=27196] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27196/stat : 27196 (java) S 27177 27179 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513390 10060460032 16919 33554432000 1073741824 1073778376 140736303920016 140490496317944 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27179/tid=27197] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27197/stat : 27197 (java) S 27177 27179 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513390 10060460032 16897 33554432000 1073741824 1073778376 140736303920016 140490495265608 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 9824668

[startup+3.10066 s]
/proc/loadavg: 3.68 3.75 3.31 3/218 27210
/proc/meminfo: memFree=29059992/32873844 swapFree=7364/7364
[pid=27179] ppid=27177 vsize=9824668 CPUtime=2.55 cores=0,2,4,6
/proc/27179/stat : 27179 (java) S 27177 27179 26250 0 -1 4202496 15974 0 1 0 241 14 0 0 20 0 19 0 253513384 10060460032 33375 33554432000 1073741824 1073778376 140736303920016 140736303911152 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27179/statm: 2456167 33375 2274 9 0 2446860 0
[pid=27179/tid=27180] ppid=27177 vsize=9824668 CPUtime=0.17 cores=0,2,4,6
/proc/27179/task/27180/stat : 27180 (java) S 27177 27179 26250 0 -1 4202560 2457 0 1 0 15 2 0 0 20 0 19 0 253513385 10060460032 33375 33554432000 1073741824 1073778376 140736303920016 140490679079928 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27179/tid=27182] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27182/stat : 27182 (java) S 27177 27179 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253513386 10060460032 33375 33554432000 1073741824 1073778376 140736303920016 140490668141224 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27179/tid=27183] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27183/stat : 27183 (java) S 27177 27179 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513386 10060460032 33375 33554432000 1073741824 1073778376 140736303920016 140490667088680 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27179/tid=27184] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27184/stat : 27184 (java) S 27177 27179 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513386 10060460032 33375 33554432000 1073741824 1073778376 140736303920016 140490666036136 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27179/tid=27185] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27185/stat : 27185 (java) S 27177 27179 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253513386 10060460032 33375 33554432000 1073741824 1073778376 140736303920016 140490664983592 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27179/tid=27186] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27186/stat : 27186 (java) S 27177 27179 26250 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253513386 10060460032 33375 33554432000 1073741824 1073778376 140736303920016 140490663930024 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27179/tid=27187] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27187/stat : 27187 (java) S 27177 27179 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253513386 10060460032 33375 33554432000 1073741824 1073778376 140736303920016 140490516937000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27179/tid=27188] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27188/stat : 27188 (java) S 27177 27179 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513386 10060460032 33375 33554432000 1073741824 1073778376 140736303920016 140490515884456 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27179/tid=27189] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27189/stat : 27189 (java) S 27177 27179 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253513386 10060460032 33375 33554432000 1073741824 1073778376 140736303920016 140490514831912 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27179/tid=27190] ppid=27177 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/27179/task/27190/stat : 27190 (java) S 27177 27179 26250 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 19 0 253513387 10060460032 33375 33554432000 1073741824 1073778376 140736303920016 140490502634088 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27179/tid=27191] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27191/stat : 27191 (java) S 27177 27179 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253513388 10060460032 33375 33554432000 1073741824 1073778376 140736303920016 140490501580408 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27179/tid=27192] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27192/stat : 27192 (java) S 27177 27179 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253513388 10060460032 33375 33554432000 1073741824 1073778376 140736303920016 140490500527752 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27179/tid=27193] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27193/stat : 27193 (java) S 27177 27179 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513390 10060460032 33375 33554432000 1073741824 1073778376 140736303920016 140490499476496 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27179/tid=27194] ppid=27177 vsize=9824668 CPUtime=0.62 cores=0,2,4,6
/proc/27179/task/27194/stat : 27194 (java) S 27177 27179 26250 0 -1 4202560 5762 0 0 0 62 0 0 0 20 0 19 0 253513390 10060460032 33375 33554432000 1073741824 1073778376 140736303920016 140490498422840 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27179/tid=27195] ppid=27177 vsize=9824668 CPUtime=0.56 cores=0,2,4,6
/proc/27179/task/27195/stat : 27195 (java) S 27177 27179 26250 0 -1 4202560 6297 0 0 0 54 2 0 0 20 0 19 0 253513390 10060460032 33375 33554432000 1073741824 1073778376 140736303920016 140490497370296 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27179/tid=27196] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27196/stat : 27196 (java) S 27177 27179 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513390 10060460032 33375 33554432000 1073741824 1073778376 140736303920016 140490496317944 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27179/tid=27197] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27197/stat : 27197 (java) S 27177 27179 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253513390 10060460032 33375 33554432000 1073741824 1073778376 140736303920016 140490495265608 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27179/tid=27207] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27207/stat : 27207 (java) S 27177 27179 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253513504 10060460032 33375 33554432000 1073741824 1073778376 140736303920016 140490492106152 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.55
Current children cumulated vsize (KiB) 9824668

[startup+6.30073 s]
/proc/loadavg: 3.46 3.71 3.30 5/221 27228
/proc/meminfo: memFree=28968724/32873844 swapFree=7364/7364
[pid=27179] ppid=27177 vsize=9824668 CPUtime=7.71 cores=0,2,4,6
/proc/27179/stat : 27179 (java) S 27177 27179 26250 0 -1 4202496 16868 0 1 0 749 22 0 0 20 0 22 0 253513384 10060460032 54948 33554432000 1073741824 1073778376 140736303920016 140736303911152 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27179/statm: 2456167 54948 2279 9 0 2446860 0
[pid=27179/tid=27180] ppid=27177 vsize=9824668 CPUtime=0.18 cores=0,2,4,6
/proc/27179/task/27180/stat : 27180 (java) S 27177 27179 26250 0 -1 4202560 2458 0 1 0 16 2 0 0 20 0 22 0 253513385 10060460032 54948 33554432000 1073741824 1073778376 140736303920016 140490679079928 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27179/tid=27182] ppid=27177 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/27179/task/27182/stat : 27182 (java) S 27177 27179 26250 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 253513386 10060460032 54948 33554432000 1073741824 1073778376 140736303920016 140490668141224 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27179/tid=27183] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27183/stat : 27183 (java) S 27177 27179 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253513386 10060460032 54948 33554432000 1073741824 1073778376 140736303920016 140490667088680 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27179/tid=27184] ppid=27177 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/27179/task/27184/stat : 27184 (java) S 27177 27179 26250 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 253513386 10060460032 54948 33554432000 1073741824 1073778376 140736303920016 140490666036136 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27179/tid=27185] ppid=27177 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/27179/task/27185/stat : 27185 (java) S 27177 27179 26250 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 253513386 10060460032 54948 33554432000 1073741824 1073778376 140736303920016 140490664983592 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27179/tid=27186] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27186/stat : 27186 (java) S 27177 27179 26250 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 253513386 10060460032 54948 33554432000 1073741824 1073778376 140736303920016 140490663930024 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27179/tid=27187] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27187/stat : 27187 (java) S 27177 27179 26250 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253513386 10060460032 54948 33554432000 1073741824 1073778376 140736303920016 140490516937000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27179/tid=27188] ppid=27177 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/27179/task/27188/stat : 27188 (java) S 27177 27179 26250 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 22 0 253513386 10060460032 54948 33554432000 1073741824 1073778376 140736303920016 140490515884456 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27179/tid=27189] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27189/stat : 27189 (java) S 27177 27179 26250 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253513386 10060460032 54948 33554432000 1073741824 1073778376 140736303920016 140490514831912 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27179/tid=27190] ppid=27177 vsize=9824668 CPUtime=0.44 cores=0,2,4,6
/proc/27179/task/27190/stat : 27190 (java) S 27177 27179 26250 0 -1 4202560 107 0 0 0 44 0 0 0 20 0 22 0 253513387 10060460032 54948 33554432000 1073741824 1073778376 140736303920016 140490502634088 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27179/tid=27191] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27191/stat : 27191 (java) S 27177 27179 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253513388 10060460032 54948 33554432000 1073741824 1073778376 140736303920016 140490501580408 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27179/tid=27192] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27192/stat : 27192 (java) S 27177 27179 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253513388 10060460032 54948 33554432000 1073741824 1073778376 140736303920016 140490500527752 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27179/tid=27193] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27193/stat : 27193 (java) S 27177 27179 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253513390 10060460032 54948 33554432000 1073741824 1073778376 140736303920016 140490499476496 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27179/tid=27194] ppid=27177 vsize=9824668 CPUtime=0.93 cores=0,2,4,6
/proc/27179/task/27194/stat : 27194 (java) S 27177 27179 26250 0 -1 4202560 6371 0 0 0 93 0 0 0 20 0 22 0 253513390 10060460032 54948 33554432000 1073741824 1073778376 140736303920016 140490498422840 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27179/tid=27195] ppid=27177 vsize=9824668 CPUtime=0.66 cores=0,2,4,6
/proc/27179/task/27195/stat : 27195 (java) S 27177 27179 26250 0 -1 4202560 6405 0 0 0 64 2 0 0 20 0 22 0 253513390 10060460032 54948 33554432000 1073741824 1073778376 140736303920016 140490497370296 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27179/tid=27196] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27196/stat : 27196 (java) S 27177 27179 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253513390 10060460032 54948 33554432000 1073741824 1073778376 140736303920016 140490496317944 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0

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

[pid=27179/tid=27244] ppid=27177 vsize=9824668 CPUtime=671.99 cores=0,2,4,6
/proc/27179/task/27244/stat : 27244 (java) R 27177 27179 26250 0 -1 4202560 23 0 0 0 67189 10 0 0 20 0 22 0 253522741 10060460032 248533 33554432000 1073741824 1073778376 140736303920016 140490494210384 140490545558483 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27179/tid=27245] ppid=27177 vsize=9824668 CPUtime=672.21 cores=0,2,4,6
/proc/27179/task/27245/stat : 27245 (java) R 27177 27179 26250 0 -1 4202560 14 0 0 0 67211 10 0 0 20 0 22 0 253522741 10060460032 248533 33554432000 1073741824 1073778376 140736303920016 140490491050256 140490545606832 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27179/tid=27246] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27246/stat : 27246 (java) S 27177 27179 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253522741 10060460032 248533 33554432000 1073741824 1073778376 140736303920016 140490493158696 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1562.41
Current children cumulated vsize (KiB) 9824668

[startup+882.301 s]
/proc/loadavg: 3.70 3.81 3.61 5/221 27320
/proc/meminfo: memFree=26420908/32873844 swapFree=7364/7364
[pid=27179] ppid=27177 vsize=9824668 CPUtime=1679.53 cores=0,2,4,6
/proc/27179/stat : 27179 (java) S 27177 27179 26250 0 -1 4202496 24848 0 1 0 167852 101 0 0 20 0 22 0 253513384 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140736303911152 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27179/statm: 2456167 270037 2280 9 0 2446860 0
[pid=27179/tid=27180] ppid=27177 vsize=9824668 CPUtime=0.22 cores=0,2,4,6
/proc/27179/task/27180/stat : 27180 (java) S 27177 27179 26250 0 -1 4202560 2591 0 1 0 19 3 0 0 20 0 22 0 253513385 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490679079928 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27179/tid=27182] ppid=27177 vsize=9824668 CPUtime=1.17 cores=0,2,4,6
/proc/27179/task/27182/stat : 27182 (java) S 27177 27179 26250 0 -1 4202560 436 0 0 0 115 2 0 0 20 0 22 0 253513386 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490668141224 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27179/tid=27183] ppid=27177 vsize=9824668 CPUtime=1.02 cores=0,2,4,6
/proc/27179/task/27183/stat : 27183 (java) S 27177 27179 26250 0 -1 4202560 921 0 0 0 100 2 0 0 20 0 22 0 253513386 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490667088680 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27179/tid=27184] ppid=27177 vsize=9824668 CPUtime=1.17 cores=0,2,4,6
/proc/27179/task/27184/stat : 27184 (java) S 27177 27179 26250 0 -1 4202560 941 0 0 0 115 2 0 0 20 0 22 0 253513386 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490666036136 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27179/tid=27185] ppid=27177 vsize=9824668 CPUtime=1.04 cores=0,2,4,6
/proc/27179/task/27185/stat : 27185 (java) S 27177 27179 26250 0 -1 4202560 469 0 0 0 101 3 0 0 20 0 22 0 253513386 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490664983592 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27179/tid=27186] ppid=27177 vsize=9824668 CPUtime=1.08 cores=0,2,4,6
/proc/27179/task/27186/stat : 27186 (java) S 27177 27179 26250 0 -1 4202560 932 0 0 0 106 2 0 0 20 0 22 0 253513386 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490663930024 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27179/tid=27187] ppid=27177 vsize=9824668 CPUtime=0.92 cores=0,2,4,6
/proc/27179/task/27187/stat : 27187 (java) S 27177 27179 26250 0 -1 4202560 772 0 0 0 90 2 0 0 20 0 22 0 253513386 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490516937000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27179/tid=27188] ppid=27177 vsize=9824668 CPUtime=1.1 cores=0,2,4,6
/proc/27179/task/27188/stat : 27188 (java) S 27177 27179 26250 0 -1 4202560 1006 0 0 0 108 2 0 0 20 0 22 0 253513386 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490515884456 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27179/tid=27189] ppid=27177 vsize=9824668 CPUtime=1.02 cores=0,2,4,6
/proc/27179/task/27189/stat : 27189 (java) S 27177 27179 26250 0 -1 4202560 1006 0 0 0 100 2 0 0 20 0 22 0 253513386 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490514831912 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27179/tid=27190] ppid=27177 vsize=9824668 CPUtime=80.52 cores=0,2,4,6
/proc/27179/task/27190/stat : 27190 (java) S 27177 27179 26250 0 -1 4202560 1121 0 0 0 8017 35 0 0 20 0 22 0 253513387 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490502634088 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27179/tid=27191] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27191/stat : 27191 (java) S 27177 27179 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253513388 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490501580408 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27179/tid=27192] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27192/stat : 27192 (java) S 27177 27179 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253513388 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490500527752 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27179/tid=27193] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27193/stat : 27193 (java) S 27177 27179 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253513390 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490499476496 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27179/tid=27194] ppid=27177 vsize=9824668 CPUtime=0.97 cores=0,2,4,6
/proc/27179/task/27194/stat : 27194 (java) S 27177 27179 26250 0 -1 4202560 6371 0 0 0 97 0 0 0 20 0 22 0 253513390 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490498422840 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27179/tid=27195] ppid=27177 vsize=9824668 CPUtime=0.7 cores=0,2,4,6
/proc/27179/task/27195/stat : 27195 (java) S 27177 27179 26250 0 -1 4202560 6409 0 0 0 68 2 0 0 20 0 22 0 253513390 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490497370296 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27179/tid=27196] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27196/stat : 27196 (java) S 27177 27179 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253513390 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490496317944 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27179/tid=27197] ppid=27177 vsize=9824668 CPUtime=0.25 cores=0,2,4,6
/proc/27179/task/27197/stat : 27197 (java) S 27177 27179 26250 0 -1 4202560 51 0 0 0 12 13 0 0 20 0 22 0 253513390 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490495265608 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27179/tid=27207] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27207/stat : 27207 (java) S 27177 27179 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253513504 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490492106152 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27179/tid=27244] ppid=27177 vsize=9824668 CPUtime=729.09 cores=0,2,4,6
/proc/27179/task/27244/stat : 27244 (java) R 27177 27179 26250 0 -1 4202560 23 0 0 0 72898 11 0 0 20 0 22 0 253522741 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490494210384 140490544995801 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27179/tid=27245] ppid=27177 vsize=9824668 CPUtime=729.34 cores=0,2,4,6
/proc/27179/task/27245/stat : 27245 (java) R 27177 27179 26250 0 -1 4202560 57 0 0 0 72920 14 0 0 20 0 22 0 253522741 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490491050352 140490545092544 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27179/tid=27246] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27246/stat : 27246 (java) S 27177 27179 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253522741 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490493158696 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1679.53
Current children cumulated vsize (KiB) 9824668

[startup+942.301 s]
/proc/loadavg: 3.65 3.78 3.61 4/221 27323
/proc/meminfo: memFree=26260296/32873844 swapFree=7364/7364
[pid=27179] ppid=27177 vsize=9824668 CPUtime=1796.66 cores=0,2,4,6
/proc/27179/stat : 27179 (java) S 27177 27179 26250 0 -1 4202496 24862 0 1 0 179563 103 0 0 20 0 22 0 253513384 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140736303911152 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27179/statm: 2456167 270037 2280 9 0 2446860 0
[pid=27179/tid=27180] ppid=27177 vsize=9824668 CPUtime=0.22 cores=0,2,4,6
/proc/27179/task/27180/stat : 27180 (java) S 27177 27179 26250 0 -1 4202560 2596 0 1 0 19 3 0 0 20 0 22 0 253513385 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490679079928 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27179/tid=27182] ppid=27177 vsize=9824668 CPUtime=1.17 cores=0,2,4,6
/proc/27179/task/27182/stat : 27182 (java) S 27177 27179 26250 0 -1 4202560 436 0 0 0 115 2 0 0 20 0 22 0 253513386 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490668141224 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27179/tid=27183] ppid=27177 vsize=9824668 CPUtime=1.02 cores=0,2,4,6
/proc/27179/task/27183/stat : 27183 (java) S 27177 27179 26250 0 -1 4202560 921 0 0 0 100 2 0 0 20 0 22 0 253513386 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490667088680 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27179/tid=27184] ppid=27177 vsize=9824668 CPUtime=1.17 cores=0,2,4,6
/proc/27179/task/27184/stat : 27184 (java) S 27177 27179 26250 0 -1 4202560 941 0 0 0 115 2 0 0 20 0 22 0 253513386 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490666036136 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27179/tid=27185] ppid=27177 vsize=9824668 CPUtime=1.04 cores=0,2,4,6
/proc/27179/task/27185/stat : 27185 (java) S 27177 27179 26250 0 -1 4202560 469 0 0 0 101 3 0 0 20 0 22 0 253513386 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490664983592 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27179/tid=27186] ppid=27177 vsize=9824668 CPUtime=1.08 cores=0,2,4,6
/proc/27179/task/27186/stat : 27186 (java) S 27177 27179 26250 0 -1 4202560 932 0 0 0 106 2 0 0 20 0 22 0 253513386 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490663930024 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27179/tid=27187] ppid=27177 vsize=9824668 CPUtime=0.92 cores=0,2,4,6
/proc/27179/task/27187/stat : 27187 (java) S 27177 27179 26250 0 -1 4202560 772 0 0 0 90 2 0 0 20 0 22 0 253513386 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490516937000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27179/tid=27188] ppid=27177 vsize=9824668 CPUtime=1.1 cores=0,2,4,6
/proc/27179/task/27188/stat : 27188 (java) S 27177 27179 26250 0 -1 4202560 1006 0 0 0 108 2 0 0 20 0 22 0 253513386 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490515884456 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27179/tid=27189] ppid=27177 vsize=9824668 CPUtime=1.02 cores=0,2,4,6
/proc/27179/task/27189/stat : 27189 (java) S 27177 27179 26250 0 -1 4202560 1006 0 0 0 100 2 0 0 20 0 22 0 253513386 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490514831912 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27179/tid=27190] ppid=27177 vsize=9824668 CPUtime=83.39 cores=0,2,4,6
/proc/27179/task/27190/stat : 27190 (java) S 27177 27179 26250 0 -1 4202560 1125 0 0 0 8302 37 0 0 20 0 22 0 253513387 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490502634088 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27179/tid=27191] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27191/stat : 27191 (java) S 27177 27179 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253513388 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490501580408 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27179/tid=27192] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27192/stat : 27192 (java) S 27177 27179 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253513388 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490500527752 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27179/tid=27193] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27193/stat : 27193 (java) S 27177 27179 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253513390 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490499476496 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27179/tid=27194] ppid=27177 vsize=9824668 CPUtime=0.97 cores=0,2,4,6
/proc/27179/task/27194/stat : 27194 (java) S 27177 27179 26250 0 -1 4202560 6371 0 0 0 97 0 0 0 20 0 22 0 253513390 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490498422840 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27179/tid=27195] ppid=27177 vsize=9824668 CPUtime=0.7 cores=0,2,4,6
/proc/27179/task/27195/stat : 27195 (java) S 27177 27179 26250 0 -1 4202560 6409 0 0 0 68 2 0 0 20 0 22 0 253513390 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490497370296 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27179/tid=27196] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27196/stat : 27196 (java) S 27177 27179 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253513390 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490496317944 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27179/tid=27197] ppid=27177 vsize=9824668 CPUtime=0.26 cores=0,2,4,6
/proc/27179/task/27197/stat : 27197 (java) S 27177 27179 26250 0 -1 4202560 55 0 0 0 13 13 0 0 20 0 22 0 253513390 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490495265608 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27179/tid=27207] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27207/stat : 27207 (java) S 27177 27179 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253513504 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490492106152 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27179/tid=27244] ppid=27177 vsize=9824668 CPUtime=786.21 cores=0,2,4,6
/proc/27179/task/27244/stat : 27244 (java) R 27177 27179 26250 0 -1 4202560 24 0 0 0 78610 11 0 0 20 0 22 0 253522741 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490494210504 140490544995911 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27179/tid=27245] ppid=27177 vsize=9824668 CPUtime=786.48 cores=0,2,4,6
/proc/27179/task/27245/stat : 27245 (java) R 27177 27179 26250 0 -1 4202560 57 0 0 0 78634 14 0 0 20 0 22 0 253522741 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490491050112 140490545598396 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27179/tid=27246] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27246/stat : 27246 (java) S 27177 27179 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253522741 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490493158696 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1796.66
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+944.001 s]
/proc/loadavg: 3.68 3.79 3.62 5/221 27323
/proc/meminfo: memFree=26260296/32873844 swapFree=7364/7364
[pid=27179] ppid=27177 vsize=9824668 CPUtime=1800.07 cores=0,2,4,6
/proc/27179/stat : 27179 (java) S 27177 27179 26250 0 -1 4202496 24862 0 1 0 179904 103 0 0 20 0 22 0 253513384 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140736303911152 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27179/statm: 2456167 270037 2280 9 0 2446860 0
[pid=27179/tid=27180] ppid=27177 vsize=9824668 CPUtime=0.22 cores=0,2,4,6
/proc/27179/task/27180/stat : 27180 (java) S 27177 27179 26250 0 -1 4202560 2596 0 1 0 19 3 0 0 20 0 22 0 253513385 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490679079928 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27179/tid=27182] ppid=27177 vsize=9824668 CPUtime=1.17 cores=0,2,4,6
/proc/27179/task/27182/stat : 27182 (java) S 27177 27179 26250 0 -1 4202560 436 0 0 0 115 2 0 0 20 0 22 0 253513386 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490668141224 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27179/tid=27183] ppid=27177 vsize=9824668 CPUtime=1.02 cores=0,2,4,6
/proc/27179/task/27183/stat : 27183 (java) S 27177 27179 26250 0 -1 4202560 921 0 0 0 100 2 0 0 20 0 22 0 253513386 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490667088680 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27179/tid=27184] ppid=27177 vsize=9824668 CPUtime=1.17 cores=0,2,4,6
/proc/27179/task/27184/stat : 27184 (java) S 27177 27179 26250 0 -1 4202560 941 0 0 0 115 2 0 0 20 0 22 0 253513386 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490666036136 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27179/tid=27185] ppid=27177 vsize=9824668 CPUtime=1.04 cores=0,2,4,6
/proc/27179/task/27185/stat : 27185 (java) S 27177 27179 26250 0 -1 4202560 469 0 0 0 101 3 0 0 20 0 22 0 253513386 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490664983592 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27179/tid=27186] ppid=27177 vsize=9824668 CPUtime=1.08 cores=0,2,4,6
/proc/27179/task/27186/stat : 27186 (java) S 27177 27179 26250 0 -1 4202560 932 0 0 0 106 2 0 0 20 0 22 0 253513386 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490663930024 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27179/tid=27187] ppid=27177 vsize=9824668 CPUtime=0.92 cores=0,2,4,6
/proc/27179/task/27187/stat : 27187 (java) S 27177 27179 26250 0 -1 4202560 772 0 0 0 90 2 0 0 20 0 22 0 253513386 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490516937000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27179/tid=27188] ppid=27177 vsize=9824668 CPUtime=1.1 cores=0,2,4,6
/proc/27179/task/27188/stat : 27188 (java) S 27177 27179 26250 0 -1 4202560 1006 0 0 0 108 2 0 0 20 0 22 0 253513386 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490515884456 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27179/tid=27189] ppid=27177 vsize=9824668 CPUtime=1.02 cores=0,2,4,6
/proc/27179/task/27189/stat : 27189 (java) S 27177 27179 26250 0 -1 4202560 1006 0 0 0 100 2 0 0 20 0 22 0 253513386 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490514831912 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27179/tid=27190] ppid=27177 vsize=9824668 CPUtime=83.39 cores=0,2,4,6
/proc/27179/task/27190/stat : 27190 (java) S 27177 27179 26250 0 -1 4202560 1125 0 0 0 8302 37 0 0 20 0 22 0 253513387 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490502634088 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27179/tid=27191] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27191/stat : 27191 (java) S 27177 27179 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253513388 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490501580408 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27179/tid=27192] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27192/stat : 27192 (java) S 27177 27179 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253513388 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490500527752 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27179/tid=27193] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27193/stat : 27193 (java) S 27177 27179 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253513390 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490499476496 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27179/tid=27194] ppid=27177 vsize=9824668 CPUtime=0.97 cores=0,2,4,6
/proc/27179/task/27194/stat : 27194 (java) S 27177 27179 26250 0 -1 4202560 6371 0 0 0 97 0 0 0 20 0 22 0 253513390 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490498422840 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27179/tid=27195] ppid=27177 vsize=9824668 CPUtime=0.7 cores=0,2,4,6
/proc/27179/task/27195/stat : 27195 (java) S 27177 27179 26250 0 -1 4202560 6409 0 0 0 68 2 0 0 20 0 22 0 253513390 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490497370296 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27179/tid=27196] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27196/stat : 27196 (java) S 27177 27179 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253513390 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490496317944 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27179/tid=27197] ppid=27177 vsize=9824668 CPUtime=0.26 cores=0,2,4,6
/proc/27179/task/27197/stat : 27197 (java) S 27177 27179 26250 0 -1 4202560 55 0 0 0 13 13 0 0 20 0 22 0 253513390 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490495265608 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27179/tid=27207] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27207/stat : 27207 (java) S 27177 27179 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253513504 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490492106152 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27179/tid=27244] ppid=27177 vsize=9824668 CPUtime=787.92 cores=0,2,4,6
/proc/27179/task/27244/stat : 27244 (java) R 27177 27179 26250 0 -1 4202560 24 0 0 0 78781 11 0 0 20 0 22 0 253522741 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490494210384 140490544989629 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27179/tid=27245] ppid=27177 vsize=9824668 CPUtime=788.18 cores=0,2,4,6
/proc/27179/task/27245/stat : 27245 (java) R 27177 27179 26250 0 -1 4202560 57 0 0 0 78804 14 0 0 20 0 22 0 253522741 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490491050112 140490545556448 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27179/tid=27246] ppid=27177 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27179/task/27246/stat : 27246 (java) S 27177 27179 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253522741 10060460032 270037 33554432000 1073741824 1073778376 140736303920016 140490493158696 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9824668

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

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

Child status: 143
Real time (s): 944.029
CPU time (s): 1800.59
CPU user time (s): 1799.13
CPU system time (s): 1.46478
CPU usage (%): 190.735
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.13
system time used= 1.46478
maximum resident set size= 1080264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24893
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28749
involuntary context switches= 28437

runsolver used 3.52146 second user time and 8.16376 second system time

The end

Launcher Data 

Begin job on node133 at 2012-05-24 17:38:06
IDJOB=3687818
IDBENCH=2214
IDSOLVER=2268
FILE ID=node133/3687818-1337873886
RUNJOBID= node133-1337871880-26266
PBS_JOBID= 14620071
Free space on /tmp= 71624 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g15x15.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687818-1337873886/watcher-3687818-1337873886 -o /tmp/evaluation-result-3687818-1337873886/solver-3687818-1337873886 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3687818-1337873886.opb

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

MD5SUM BENCH= 28425c3b4907da9ba10ee31a4de63042
RANDOM SEED=1473233965

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
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		: 2666.540
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29137504 kB
Buffers:          210280 kB
Cached:          2374156 kB
SwapCached:            0 kB
Active:           789316 kB
Inactive:        2165572 kB
Active(anon):     372940 kB
Inactive(anon):        0 kB
Active(file):     416376 kB
Inactive(file):  2165572 kB
Unevictable:        7364 kB
Mlocked:            7364 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               584 kB
Writeback:             0 kB
AnonPages:        391648 kB
Mapped:            22572 kB
Shmem:               212 kB
Slab:             629016 kB
SReclaimable:      70988 kB
SUnreclaim:       558028 kB
KernelStack:        1640 kB
PageTables:         4972 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     700200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    352256 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71620 MiB
End job on node133 at 2012-05-24 17:53:52