Trace number 3710640

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotSAT (TO)72 1800.76 1790.86

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.03/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.03/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.08	c See www.sat4j.org for details.
0.03/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.03/0.09	c version 2.3.2.v20120418
0.03/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.09	c java.vm.version	19.1-b02
0.03/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version		1.6.0_24
0.03/0.09	c os.name		Linux
0.03/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.03/0.09	c os.arch		amd64
0.03/0.09	c Free memory 		501472288
0.03/0.09	c Max memory 		7480803328
0.03/0.09	c Total memory 		504102912
0.03/0.09	c Number of processors 	8
0.08/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.08/0.12	c configuring ORDERS
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.08/0.13	c Expensive reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=true
0.08/0.13	c Heuristics kept accross calls (keep the solver "hot")
0.08/0.13	c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-3710640-1338145811.opb
0.08/0.13	c reading problem ... 
0.08/0.18	c ... done. Wall clock time 0.052s.
0.08/0.18	c declared #vars     225
0.08/0.18	c #constraints  225
0.08/0.18	c constraints type 
0.08/0.18	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 225
0.08/0.18	c 225 constraints processed.
0.08/0.18	c SATISFIABLE
0.08/0.18	c OPTIMIZING...
0.08/0.18	c Got one! Elapsed wall clock time (in seconds):0.058
0.08/0.18	o 75
0.08/0.19	c Got one! Elapsed wall clock time (in seconds):0.065
0.08/0.19	o 74
0.64/0.45	c cleaning 2497 clauses out of 5005 with flag 5001/5005
1.06/0.63	c cleaning 4253 clauses out of 8507 with flag 11000/11004
1.30/0.80	c cleaning 5624 clauses out of 11255 with flag 18001/18005
1.54/1.00	c cleaning 6811 clauses out of 13630 with flag 26000/26004
1.75/1.24	c cleaning 7906 clauses out of 15821 with flag 35002/35006
1.95/1.49	c cleaning 8950 clauses out of 17914 with flag 45001/45005
2.26/1.78	c cleaning 9976 clauses out of 19963 with flag 56000/56004
2.58/2.10	c cleaning 10989 clauses out of 21987 with flag 68000/68004
2.99/2.47	c cleaning 11992 clauses out of 23998 with flag 81000/81004
3.40/2.85	c cleaning 12996 clauses out of 26006 with flag 95000/95004
3.95/3.30	c cleaning 13999 clauses out of 28011 with flag 110001/110005
4.35/3.75	c cleaning 15001 clauses out of 30012 with flag 126001/126005
4.87/4.22	c cleaning 15999 clauses out of 32011 with flag 143001/143005
5.39/4.72	c cleaning 17000 clauses out of 34011 with flag 161000/161004
6.00/5.34	c cleaning 18004 clauses out of 36013 with flag 180002/180006
6.52/5.89	c cleaning 19001 clauses out of 38008 with flag 200001/200005
7.12/6.49	c cleaning 19999 clauses out of 40007 with flag 221001/221005
7.84/7.10	c cleaning 20997 clauses out of 42008 with flag 243001/243005
8.55/7.89	c cleaning 22002 clauses out of 44010 with flag 266000/266004
9.27/8.57	c cleaning 22998 clauses out of 46008 with flag 290000/290004
9.98/9.29	c cleaning 23998 clauses out of 48011 with flag 315001/315005
10.91/10.11	c cleaning 25003 clauses out of 50014 with flag 341002/341006
11.74/10.95	c cleaning 25994 clauses out of 52010 with flag 368001/368005
12.45/11.60	c Got one! Elapsed wall clock time (in seconds):11.474
12.45/11.60	o 73
12.75/11.91	c cleaning 26749 clauses out of 53505 with flag 5001/395494
12.86/12.10	c cleaning 16373 clauses out of 32755 with flag 11000/401493
13.17/12.31	c cleaning 11686 clauses out of 23382 with flag 18000/408493
13.39/12.56	c cleaning 9843 clauses out of 19697 with flag 26001/416494
13.69/12.82	c cleaning 9418 clauses out of 18853 with flag 35000/425493
13.89/13.09	c cleaning 9712 clauses out of 19436 with flag 45001/435494
14.31/13.41	c cleaning 10357 clauses out of 20724 with flag 56001/446494
14.63/13.74	c cleaning 11179 clauses out of 22367 with flag 68001/458494
15.05/14.12	c cleaning 12087 clauses out of 24187 with flag 81000/471493
15.46/14.52	c cleaning 13043 clauses out of 26101 with flag 95001/485494
15.88/14.98	c cleaning 14022 clauses out of 28057 with flag 110000/500493
16.38/15.49	c cleaning 15009 clauses out of 30036 with flag 126001/516494
16.88/15.98	c cleaning 16008 clauses out of 32027 with flag 143001/533494
17.60/16.65	c cleaning 17002 clauses out of 34018 with flag 161000/551493
18.51/17.59	c cleaning 18000 clauses out of 36016 with flag 180000/570493
19.41/18.44	c cleaning 19007 clauses out of 38018 with flag 200002/590495
20.03/19.03	c cleaning 20001 clauses out of 40009 with flag 221000/611493
20.64/19.68	c cleaning 20997 clauses out of 42008 with flag 243000/633493
21.35/20.34	c cleaning 22000 clauses out of 44012 with flag 266001/656494
22.06/21.09	c cleaning 22997 clauses out of 46012 with flag 290001/680494
22.96/21.98	c cleaning 23998 clauses out of 48014 with flag 315000/705493
23.88/22.82	c cleaning 25006 clauses out of 50017 with flag 341001/731494
25.00/23.95	c cleaning 25998 clauses out of 52010 with flag 368000/758493
26.01/24.99	c cleaning 26999 clauses out of 54012 with flag 396000/786493
27.11/26.03	c cleaning 28002 clauses out of 56014 with flag 425001/815494
28.23/27.19	c cleaning 28996 clauses out of 58011 with flag 455000/845493
29.44/28.39	c cleaning 30000 clauses out of 60015 with flag 486000/876493
30.55/29.45	c cleaning 31005 clauses out of 62016 with flag 518001/908494
31.65/30.53	c cleaning 32002 clauses out of 64012 with flag 551002/941495
32.76/31.61	c cleaning 32996 clauses out of 66009 with flag 585001/975494
34.07/32.94	c cleaning 33999 clauses out of 68012 with flag 620000/1010493
35.48/34.37	c cleaning 35000 clauses out of 70014 with flag 656001/1046494
37.11/35.98	c cleaning 36002 clauses out of 72014 with flag 693001/1083494
38.82/37.63	c cleaning 36998 clauses out of 74011 with flag 731000/1121493
40.32/39.19	c cleaning 38003 clauses out of 76013 with flag 770000/1160493
41.73/40.56	c cleaning 39000 clauses out of 78010 with flag 810000/1200493
43.26/42.08	c cleaning 39996 clauses out of 80010 with flag 851000/1241493
44.96/43.74	c cleaning 41004 clauses out of 82016 with flag 893002/1283495
46.67/45.48	c cleaning 42001 clauses out of 84010 with flag 936000/1326493
48.22/46.98	c cleaning 42996 clauses out of 86009 with flag 980000/1370493
49.92/48.65	c cleaning 44003 clauses out of 88013 with flag 1025000/1415493
52.03/50.74	c cleaning 44997 clauses out of 90010 with flag 1071000/1461493
53.95/52.63	c cleaning 45998 clauses out of 92013 with flag 1118000/1508493
55.46/54.15	c cleaning 47001 clauses out of 94015 with flag 1166000/1556493
57.40/56.06	c cleaning 48001 clauses out of 96015 with flag 1215001/1605494
59.21/57.86	c cleaning 48999 clauses out of 98013 with flag 1265000/1655493
61.84/60.45	c cleaning 49999 clauses out of 100015 with flag 1316001/1706494
64.58/63.15	c cleaning 51001 clauses out of 102015 with flag 1368000/1758493
67.01/65.50	c cleaning 51999 clauses out of 104015 with flag 1421001/1811494
69.93/68.41	c cleaning 53001 clauses out of 106015 with flag 1475000/1865493
73.26/71.79	c cleaning 53998 clauses out of 108015 with flag 1530001/1920494
76.79/75.25	c cleaning 55002 clauses out of 110016 with flag 1586000/1976493
77.61/76.07	c Got one! Elapsed wall clock time (in seconds):75.942
77.61/76.07	o 72
78.01/76.40	c cleaning 39200 clauses out of 78409 with flag 5000/1999888
78.22/76.63	c cleaning 22599 clauses out of 45209 with flag 11000/2005888
78.42/76.84	c cleaning 14797 clauses out of 29611 with flag 18001/2012889
78.63/77.06	c cleaning 11400 clauses out of 22814 with flag 26001/2020889
78.93/77.32	c cleaning 10204 clauses out of 20414 with flag 35001/2029889
79.24/77.64	c cleaning 10100 clauses out of 20209 with flag 45000/2039888
79.54/77.95	c cleaning 10550 clauses out of 21110 with flag 56001/2050889
79.96/78.32	c cleaning 11274 clauses out of 22559 with flag 68000/2062888
80.37/78.72	c cleaning 12138 clauses out of 24286 with flag 81001/2075889
80.69/79.10	c cleaning 13068 clauses out of 26147 with flag 95000/2089888
81.23/79.58	c cleaning 14033 clauses out of 28079 with flag 110000/2104888
81.73/80.05	c cleaning 15015 clauses out of 30047 with flag 126001/2120889
82.23/80.59	c cleaning 16011 clauses out of 32032 with flag 143001/2137889
82.83/81.19	c cleaning 16999 clauses out of 34020 with flag 161000/2155888
83.54/81.80	c cleaning 18005 clauses out of 36022 with flag 180001/2174889
84.17/82.43	c cleaning 19004 clauses out of 38016 with flag 200000/2194888
84.98/83.21	c cleaning 19995 clauses out of 40012 with flag 221000/2215888
85.81/84.09	c cleaning 21000 clauses out of 42018 with flag 243001/2237889
86.82/85.05	c cleaning 22000 clauses out of 44018 with flag 266001/2260889
87.74/85.93	c cleaning 23003 clauses out of 46017 with flag 290000/2284888
88.66/86.86	c cleaning 24001 clauses out of 48015 with flag 315001/2309889
89.78/87.98	c cleaning 24997 clauses out of 50013 with flag 341000/2335888
90.90/89.09	c cleaning 26001 clauses out of 52017 with flag 368001/2362889
92.31/90.46	c cleaning 27002 clauses out of 54015 with flag 396000/2390888
93.72/91.88	c cleaning 27999 clauses out of 56014 with flag 425001/2419889
94.94/93.04	c cleaning 29000 clauses out of 58015 with flag 455001/2449889
96.06/94.13	c cleaning 29999 clauses out of 60015 with flag 486001/2480889
97.17/95.30	c cleaning 31001 clauses out of 62015 with flag 518000/2512888
98.58/96.67	c cleaning 32001 clauses out of 64015 with flag 551001/2545889
99.89/97.96	c cleaning 33001 clauses out of 66015 with flag 585002/2579890
101.21/99.21	c cleaning 34001 clauses out of 68012 with flag 620000/2614888
102.71/100.74	c cleaning 34997 clauses out of 70011 with flag 656000/2650888
104.13/102.13	c cleaning 36001 clauses out of 72015 with flag 693001/2687889
106.05/104.04	c cleaning 36994 clauses out of 74013 with flag 731000/2725888
107.97/105.92	c cleaning 38003 clauses out of 76019 with flag 770000/2764888
109.89/107.81	c cleaning 39000 clauses out of 78016 with flag 810000/2804888
111.69/109.68	c cleaning 40000 clauses out of 80017 with flag 851001/2845889
113.71/111.68	c cleaning 41000 clauses out of 82016 with flag 893000/2887888
116.01/113.98	c cleaning 41998 clauses out of 84016 with flag 936000/2930888
118.22/116.19	c cleaning 42998 clauses out of 86018 with flag 980000/2974888
119.92/117.80	c cleaning 44004 clauses out of 88021 with flag 1025001/3019889
121.44/119.30	c cleaning 45003 clauses out of 90017 with flag 1071001/3065889
123.05/120.92	c cleaning 45998 clauses out of 92013 with flag 1118000/3112888
124.86/122.76	c cleaning 47001 clauses out of 94017 with flag 1166002/3160890
126.58/124.48	c cleaning 47998 clauses out of 96014 with flag 1215000/3209888
129.30/127.10	c cleaning 49003 clauses out of 98016 with flag 1265000/3259888
131.32/129.14	c cleaning 49999 clauses out of 100014 with flag 1316001/3310889
134.27/132.02	c cleaning 50998 clauses out of 102015 with flag 1368001/3362889
137.10/134.84	c cleaning 52001 clauses out of 104016 with flag 1421000/3415888
139.51/137.21	c cleaning 52998 clauses out of 106016 with flag 1475001/3469889
142.13/139.86	c cleaning 54004 clauses out of 108017 with flag 1530000/3524888
145.28/142.92	c cleaning 55001 clauses out of 110013 with flag 1586000/3580888
148.59/146.23	c cleaning 55997 clauses out of 112013 with flag 1643001/3637889
150.74/148.34	c cleaning 56999 clauses out of 114016 with flag 1701001/3695889
153.55/151.11	c cleaning 57999 clauses out of 116017 with flag 1760001/3754889
156.29/153.84	c cleaning 59002 clauses out of 118017 with flag 1820000/3814888
159.31/156.84	c cleaning 60000 clauses out of 120016 with flag 1881001/3875889
163.15/160.63	c cleaning 60999 clauses out of 122015 with flag 1943000/3937888
166.08/163.54	c cleaning 61999 clauses out of 124016 with flag 2006000/4000888
169.31/166.72	c cleaning 63000 clauses out of 126017 with flag 2070000/4064888
173.22/170.64	c cleaning 64002 clauses out of 128017 with flag 2135000/4129888
176.85/174.24	c cleaning 64997 clauses out of 130016 with flag 2201001/4195889
180.37/177.71	c cleaning 66001 clauses out of 132019 with flag 2268001/4262889
184.20/181.53	c cleaning 67003 clauses out of 134017 with flag 2336000/4330888
187.92/185.20	c cleaning 67998 clauses out of 136014 with flag 2405000/4399888
192.24/189.59	c cleaning 68999 clauses out of 138016 with flag 2475000/4469888
195.12/192.36	c cleaning 70000 clauses out of 140017 with flag 2546000/4540888
198.45/195.64	c cleaning 71005 clauses out of 142018 with flag 2618001/4612889
201.87/199.02	c cleaning 72002 clauses out of 144012 with flag 2691000/4685888
205.69/202.88	c cleaning 72997 clauses out of 146010 with flag 2765000/4759888
208.72/205.82	c cleaning 73995 clauses out of 148013 with flag 2840000/4834888
212.13/209.25	c cleaning 74999 clauses out of 150019 with flag 2916001/4910889
215.84/212.93	c cleaning 76006 clauses out of 152020 with flag 2993001/4987889
219.67/216.76	c cleaning 76998 clauses out of 154013 with flag 3071000/5065888
224.49/221.52	c cleaning 78002 clauses out of 156015 with flag 3150000/5144888
229.03/226.06	c cleaning 78999 clauses out of 158014 with flag 3230001/5224889
234.06/231.04	c cleaning 79998 clauses out of 160014 with flag 3311000/5305888
240.18/237.19	c cleaning 81001 clauses out of 162017 with flag 3393001/5387889
245.82/242.74	c cleaning 81998 clauses out of 164016 with flag 3476001/5470889
251.35/248.24	c cleaning 83003 clauses out of 166017 with flag 3560000/5554888
257.97/254.86	c cleaning 83999 clauses out of 168014 with flag 3645000/5639888
265.31/262.13	c cleaning 85002 clauses out of 170016 with flag 3731001/5725889
272.26/269.08	c cleaning 86000 clauses out of 172013 with flag 3818000/5812888
278.89/275.66	c cleaning 86997 clauses out of 174013 with flag 3906000/5900888
285.93/282.65	c cleaning 88002 clauses out of 176017 with flag 3995001/5989889
290.94/287.65	c cleaning 89000 clauses out of 178014 with flag 4085000/6079888
297.06/293.73	c cleaning 89999 clauses out of 180014 with flag 4176000/6170888
302.39/299.06	c cleaning 90998 clauses out of 182015 with flag 4268000/6262888
308.70/305.31	c cleaning 92004 clauses out of 184017 with flag 4361000/6355888
315.22/311.82	c cleaning 92996 clauses out of 186013 with flag 4455000/6449888
322.47/319.07	c cleaning 93997 clauses out of 188018 with flag 4550001/6544889
330.70/327.20	c cleaning 95002 clauses out of 190020 with flag 4646000/6640888
337.45/333.90	c cleaning 96002 clauses out of 192018 with flag 4743000/6737888
341.60/338.02	c cleaning 97003 clauses out of 194016 with flag 4841000/6835888
345.73/342.18	c cleaning 98000 clauses out of 196013 with flag 4940000/6934888
351.64/348.00	c cleaning 98999 clauses out of 198013 with flag 5040000/7034888
359.53/355.83	c cleaning 100003 clauses out of 200015 with flag 5141001/7135889
364.68/360.98	c cleaning 100998 clauses out of 202011 with flag 5243000/7237888
371.30/367.53	c cleaning 101998 clauses out of 204013 with flag 5346000/7340888
376.86/373.08	c cleaning 102998 clauses out of 206015 with flag 5450000/7444888
385.37/381.57	c cleaning 103998 clauses out of 208018 with flag 5555001/7549889
394.79/390.95	c cleaning 105003 clauses out of 210020 with flag 5661001/7655889
400.32/396.48	c cleaning 105998 clauses out of 212016 with flag 5768000/7762888
407.96/404.00	c cleaning 107003 clauses out of 214018 with flag 5876000/7870888
416.41/412.49	c cleaning 108004 clauses out of 216016 with flag 5985001/7979889
424.87/420.89	c cleaning 108997 clauses out of 218011 with flag 6095000/8089888
434.15/430.10	c cleaning 109999 clauses out of 220015 with flag 6206001/8200889
440.05/435.91	c cleaning 111000 clauses out of 222015 with flag 6318000/8312888
449.48/445.38	c cleaning 111996 clauses out of 224016 with flag 6431001/8425889
458.74/454.55	c cleaning 113000 clauses out of 226019 with flag 6545000/8539888
469.70/465.40	c cleaning 113998 clauses out of 228019 with flag 6660000/8654888
479.11/474.88	c cleaning 115000 clauses out of 230021 with flag 6776000/8770888
487.76/483.48	c cleaning 116001 clauses out of 232021 with flag 6893000/8887888
494.67/490.32	c cleaning 117003 clauses out of 234021 with flag 7011001/9005889
504.33/499.92	c cleaning 118000 clauses out of 236018 with flag 7130001/9124889
511.71/507.29	c cleaning 118998 clauses out of 238017 with flag 7250000/9244888
521.75/517.25	c cleaning 120003 clauses out of 240019 with flag 7371000/9365888
530.59/526.02	c cleaning 120996 clauses out of 242016 with flag 7493000/9487888
542.43/537.90	c cleaning 121999 clauses out of 244020 with flag 7616000/9610888
554.00/549.33	c cleaning 123000 clauses out of 246021 with flag 7740000/9734888
563.75/559.07	c cleaning 124005 clauses out of 248023 with flag 7865002/9859890
573.36/568.62	c cleaning 125000 clauses out of 250017 with flag 7991001/9985889
583.39/578.64	c cleaning 126002 clauses out of 252016 with flag 8118000/10112888
589.15/584.34	c cleaning 127001 clauses out of 254016 with flag 8246002/10240890
595.88/591.02	c cleaning 127999 clauses out of 256014 with flag 8375001/10369889
603.91/599.01	c cleaning 128998 clauses out of 258014 with flag 8505000/10499888
610.75/605.81	c cleaning 130002 clauses out of 260016 with flag 8636000/10630888
619.30/614.33	c cleaning 131002 clauses out of 262014 with flag 8768000/10762888
630.24/625.22	c cleaning 131997 clauses out of 264012 with flag 8901000/10895888
639.94/634.86	c cleaning 133002 clauses out of 266017 with flag 9035002/11029890
646.99/641.81	c cleaning 133999 clauses out of 268013 with flag 9170000/11164888
656.72/651.52	c cleaning 134999 clauses out of 270014 with flag 9306000/11300888
671.24/666.08	c cleaning 135996 clauses out of 272015 with flag 9443000/11437888
687.11/681.89	c cleaning 137001 clauses out of 274020 with flag 9581001/11575889
695.00/689.64	c cleaning 138001 clauses out of 276018 with flag 9720000/11714888
706.44/701.03	c cleaning 138999 clauses out of 278017 with flag 9860000/11854888
719.32/713.83	c cleaning 139998 clauses out of 280018 with flag 10001000/11995888
729.64/724.13	c cleaning 141000 clauses out of 282021 with flag 10143001/12137889
739.48/733.91	c cleaning 142003 clauses out of 284021 with flag 10286001/12280889
746.28/740.70	c cleaning 142998 clauses out of 286017 with flag 10430000/12424888
753.52/747.94	c cleaning 143998 clauses out of 288019 with flag 10575000/12569888
764.15/758.50	c cleaning 145000 clauses out of 290021 with flag 10721000/12715888
773.62/767.97	c cleaning 145999 clauses out of 292021 with flag 10868000/12862888
782.25/776.54	c cleaning 147004 clauses out of 294023 with flag 11016001/13010889
792.27/786.55	c cleaning 147996 clauses out of 296019 with flag 11165001/13159889
801.81/796.02	c cleaning 149005 clauses out of 298024 with flag 11315002/13309890
812.27/806.42	c cleaning 150001 clauses out of 300017 with flag 11466000/13460888
823.72/817.84	c cleaning 151001 clauses out of 302016 with flag 11618000/13612888
837.09/831.17	c cleaning 152000 clauses out of 304016 with flag 11771001/13765889
853.76/847.74	c cleaning 152992 clauses out of 306015 with flag 11925000/13919888
870.14/864.02	c cleaning 154004 clauses out of 308024 with flag 12080001/14074889
887.01/880.80	c cleaning 155001 clauses out of 310019 with flag 12236000/14230888
903.93/897.77	c cleaning 155997 clauses out of 312018 with flag 12393000/14387888
921.33/915.09	c cleaning 156999 clauses out of 314021 with flag 12551000/14545888
940.20/933.83	c cleaning 158007 clauses out of 316023 with flag 12710001/14704889
960.57/954.10	c cleaning 158996 clauses out of 318016 with flag 12870001/14864889
981.03/974.52	c cleaning 159999 clauses out of 320019 with flag 13031000/15025888
996.54/990.06	c cleaning 161006 clauses out of 322021 with flag 13193001/15187889
1004.78/998.21	c cleaning 162003 clauses out of 324015 with flag 13356001/15350889
1015.11/1008.52	c cleaning 162998 clauses out of 326012 with flag 13520001/15514889
1026.95/1020.34	c cleaning 164003 clauses out of 328013 with flag 13685000/15679888
1038.97/1032.39	c cleaning 164994 clauses out of 330010 with flag 13851000/15845888
1056.64/1049.96	c cleaning 166002 clauses out of 332017 with flag 14018001/16012889
1071.34/1064.57	c cleaning 167002 clauses out of 334015 with flag 14186001/16180889
1085.77/1078.93	c cleaning 167998 clauses out of 336014 with flag 14355002/16349890
1099.92/1093.08	c cleaning 168996 clauses out of 338014 with flag 14525000/16519888
1111.85/1104.98	c cleaning 170003 clauses out of 340020 with flag 14696002/16690890
1127.58/1120.60	c cleaning 170997 clauses out of 342016 with flag 14868001/16862889
1147.77/1140.76	c cleaning 172002 clauses out of 344018 with flag 15041000/17035888
1167.33/1160.20	c cleaning 173000 clauses out of 346017 with flag 15215001/17209889
1183.78/1176.69	c cleaning 174001 clauses out of 348018 with flag 15390002/17384890
1201.95/1194.74	c cleaning 175003 clauses out of 350016 with flag 15566001/17560889
1220.23/1212.97	c cleaning 175997 clauses out of 352012 with flag 15743000/17737888
1237.66/1230.32	c cleaning 176996 clauses out of 354015 with flag 15921000/17915888
1251.32/1243.93	c cleaning 177997 clauses out of 356019 with flag 16100000/18094888
1266.32/1258.85	c cleaning 179004 clauses out of 358023 with flag 16280001/18274889
1283.94/1276.42	c cleaning 180001 clauses out of 360018 with flag 16461000/18455888
1294.81/1287.26	c cleaning 180997 clauses out of 362018 with flag 16643001/18637889
1313.13/1305.51	c cleaning 182001 clauses out of 364021 with flag 16826001/18820889
1329.92/1322.22	c cleaning 183001 clauses out of 366019 with flag 17010000/19004888
1346.40/1338.66	c cleaning 184000 clauses out of 368019 with flag 17195001/19189889
1364.73/1356.92	c cleaning 185000 clauses out of 370019 with flag 17381001/19375889
1380.51/1372.65	c cleaning 185999 clauses out of 372018 with flag 17568000/19562888
1399.21/1391.25	c cleaning 187001 clauses out of 374019 with flag 17756000/19750888
1418.27/1410.28	c cleaning 188000 clauses out of 376019 with flag 17945001/19939889
1437.73/1429.66	c cleaning 189002 clauses out of 378019 with flag 18135001/20129889
1452.28/1444.11	c cleaning 189994 clauses out of 380017 with flag 18326001/20320889
1465.75/1457.59	c cleaning 191005 clauses out of 382023 with flag 18518001/20512889
1486.05/1477.86	c cleaning 191999 clauses out of 384017 with flag 18711000/20705888
1503.92/1495.63	c cleaning 193004 clauses out of 386018 with flag 18905000/20899888
1528.65/1520.36	c cleaning 193992 clauses out of 388015 with flag 19100001/21094889
1549.43/1541.03	c cleaning 194999 clauses out of 390023 with flag 19296001/21290889
1571.31/1562.86	c cleaning 196003 clauses out of 392023 with flag 19493000/21487888
1595.53/1587.07	c cleaning 196997 clauses out of 394020 with flag 19691000/21685888
1617.98/1609.32	c cleaning 198002 clauses out of 396025 with flag 19890002/21884890
1637.33/1628.68	c cleaning 199002 clauses out of 398022 with flag 20090001/22084889
1659.38/1650.66	c cleaning 200002 clauses out of 400019 with flag 20291000/22285888
1681.64/1672.80	c cleaning 200999 clauses out of 402017 with flag 20493000/22487888
1703.47/1694.61	c cleaning 201997 clauses out of 404019 with flag 20696001/22690889
1714.10/1705.26	c cleaning 203004 clauses out of 406022 with flag 20900001/22894889
1726.21/1717.30	c cleaning 204000 clauses out of 408017 with flag 21105000/23099888
1741.05/1732.11	c cleaning 205004 clauses out of 410018 with flag 21311001/23305889
1754.33/1745.34	c cleaning 206001 clauses out of 412013 with flag 21518000/23512888
1771.66/1762.66	c cleaning 207004 clauses out of 414012 with flag 21726000/23720888
1790.41/1781.35	c cleaning 207994 clauses out of 416008 with flag 21935000/23929888
1800.02/1790.81	c starts		: 377
1800.02/1790.81	c conflicts		: 24076291
1800.02/1790.81	c decisions		: 31905149
1800.02/1790.81	c propagations		: 194835201
1800.02/1790.81	c inspects		: 17399408134
1800.02/1790.81	c shortcuts		: 0
1800.02/1790.81	c learnt literals	: 0
1800.02/1790.81	c learnt binary clauses	: 0
1800.02/1790.81	c learnt ternary clauses	: 0
1800.02/1790.81	c learnt constraints	: 24076292
1800.02/1790.81	c ignored constraints	: 0
1800.02/1790.81	c root simplifications	: 377
1800.02/1790.81	c removed literals (reason simplification)	: 2184672
1800.02/1790.81	c reason swapping (by a shorter reason)	: 0
1800.02/1790.81	c Calls to reduceDB	: 280
1800.02/1790.82	c number of reductions to clauses (during analyze)	: 0
1800.02/1790.82	c number of learned constraints concerned by reduction	: 0
1800.02/1790.82	c number of learning phase by resolution	: 0
1800.02/1790.82	c number of learning phase by cutting planes	: 0
1800.02/1790.82	c speed (assignments/second)	: 108807.89887386319
1800.02/1790.82	c non guided choices	4479
1800.02/1790.85	c learnt constraints type 
1800.02/1790.85	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 354706
1800.02/1790.85	c constraints type 
1800.02/1790.85	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 225
1800.02/1790.85	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.02/1790.85	c 226 constraints processed.
1800.02/1790.85	s SATISFIABLE
1800.02/1790.85	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.02/1790.85	c objective function=72
1800.02/1790.85	c Total wall clock time (in seconds): 1790.729

Verifier Data 

OK	72

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-3710640-1338145811/watcher-3710640-1338145811 -o /tmp/evaluation-result-3710640-1338145811/solver-3710640-1338145811 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710640-1338145811.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: 1.99 1.98 1.99 3/195 28057
/proc/meminfo: memFree=28906752/32873844 swapFree=6856/6856
[pid=28057] ppid=28055 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/28057/stat : 28057 (runsolver) D 28055 28057 24682 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 280706025 12095488 51 33554432000 4194304 5436572 140737155896528 140737155892824 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/28057/statm: 2953 51 31 304 0 2645 0

[startup+0.051405 s]
/proc/loadavg: 1.99 1.98 1.99 3/195 28057
/proc/meminfo: memFree=28906752/32873844 swapFree=6856/6856
[pid=28057] ppid=28055 vsize=9225560 CPUtime=0.03 cores=0,2,4,6
/proc/28057/stat : 28057 (java) S 28055 28057 24682 0 -1 4202496 3077 0 1 0 2 1 0 0 20 0 13 0 280706025 9446973440 3263 33554432000 1073741824 1073778376 140734762039104 140734762030240 223655002173 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28057/statm: 2306390 3263 1698 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560

[startup+0.100187 s]
/proc/loadavg: 1.99 1.98 1.99 3/195 28057
/proc/meminfo: memFree=28906752/32873844 swapFree=6856/6856
[pid=28057] ppid=28055 vsize=9558440 CPUtime=0.08 cores=0,2,4,6
/proc/28057/stat : 28057 (java) S 28055 28057 24682 0 -1 4202496 4180 0 1 0 7 1 0 0 20 0 18 0 280706025 9787842560 5387 33554432000 1073741824 1073778376 140734762039104 140734762030240 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28057/statm: 2389610 5387 2111 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558440

[startup+0.300246 s]
/proc/loadavg: 1.99 1.98 1.99 3/195 28057
/proc/meminfo: memFree=28906752/32873844 swapFree=6856/6856
[pid=28057] ppid=28055 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/28057/stat : 28057 (java) S 28055 28057 24682 0 -1 4202496 6396 0 1 0 46 2 0 0 20 0 19 0 280706025 9856004096 8393 33554432000 1073741824 1073778376 140734762039104 140734762030240 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28057/statm: 2406251 8393 2235 9 0 2396937 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9625004

[startup+0.700273 s]
/proc/loadavg: 1.99 1.98 1.99 3/195 28057
/proc/meminfo: memFree=28906752/32873844 swapFree=6856/6856
[pid=28057] ppid=28055 vsize=9625004 CPUtime=1.2 cores=0,2,4,6
/proc/28057/stat : 28057 (java) S 28055 28057 24682 0 -1 4202496 14371 0 1 0 117 3 0 0 20 0 19 0 280706025 9856004096 16124 33554432000 1073741824 1073778376 140734762039104 140734762030240 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28057/statm: 2406251 16124 2274 9 0 2396937 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 9625004

[startup+1.50067 s]
/proc/loadavg: 1.99 1.98 1.99 4/214 28076
/proc/meminfo: memFree=28848040/32873844 swapFree=6856/6856
[pid=28057] ppid=28055 vsize=9625004 CPUtime=2.06 cores=0,2,4,6
/proc/28057/stat : 28057 (java) S 28055 28057 24682 0 -1 4202496 14394 0 1 0 202 4 0 0 20 0 19 0 280706025 9856004096 16651 33554432000 1073741824 1073778376 140734762039104 140734762030240 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28057/statm: 2406251 16651 2275 9 0 2396937 0
[pid=28057/tid=28059] ppid=28055 vsize=9625004 CPUtime=1.39 cores=0,2,4,6
/proc/28057/task/28059/stat : 28059 (java) S 28055 28057 24682 0 -1 4202560 2563 0 1 0 139 0 0 0 20 0 19 0 280706026 9856004096 16651 33554432000 1073741824 1073778376 140734762039104 139971645358184 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28057/tid=28060] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28060/stat : 28060 (java) S 28055 28057 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280706027 9856004096 16651 33554432000 1073741824 1073778376 140734762039104 139971489364904 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28061] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28061/stat : 28061 (java) S 28055 28057 24682 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280706027 9856004096 16651 33554432000 1073741824 1073778376 140734762039104 139971488312360 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28057/tid=28062] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28062/stat : 28062 (java) R 28055 28057 24682 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 280706027 9856004096 16651 33554432000 1073741824 1073778376 140734762039104 139971487259304 223655015484 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28063] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28063/stat : 28063 (java) S 28055 28057 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280706027 9856004096 16651 33554432000 1073741824 1073778376 140734762039104 139971486206760 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28057/tid=28064] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28064/stat : 28064 (java) S 28055 28057 24682 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280706027 9856004096 16651 33554432000 1073741824 1073778376 140734762039104 139971485153704 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28057/tid=28065] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28065/stat : 28065 (java) S 28055 28057 24682 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280706027 9856004096 16651 33554432000 1073741824 1073778376 140734762039104 139971484101160 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28066] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28066/stat : 28066 (java) S 28055 28057 24682 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280706027 9856004096 16651 33554432000 1073741824 1073778376 140734762039104 139971483048104 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28057/tid=28067] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28067/stat : 28067 (java) S 28055 28057 24682 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280706027 9856004096 16651 33554432000 1073741824 1073778376 140734762039104 139971481995560 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28057/tid=28068] ppid=28055 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/28057/task/28068/stat : 28068 (java) R 28055 28057 24682 0 -1 4202560 31 0 0 0 4 0 0 0 20 0 19 0 280706028 9856004096 16651 33554432000 1073741824 1073778376 140734762039104 139971469584232 139971649495072 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28069] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28069/stat : 28069 (java) S 28055 28057 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280706029 9856004096 16651 33554432000 1073741824 1073778376 140734762039104 139971468531576 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28070] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28070/stat : 28070 (java) S 28055 28057 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280706029 9856004096 16651 33554432000 1073741824 1073778376 140734762039104 139971467478408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28071] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28071/stat : 28071 (java) S 28055 28057 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280706031 9856004096 16651 33554432000 1073741824 1073778376 140734762039104 139971466427152 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28072] ppid=28055 vsize=9625004 CPUtime=0.19 cores=0,2,4,6
/proc/28057/task/28072/stat : 28072 (java) S 28055 28057 24682 0 -1 4202560 2116 0 0 0 19 0 0 0 20 0 19 0 280706031 9856004096 16651 33554432000 1073741824 1073778376 140734762039104 139971465374008 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28073] ppid=28055 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/28057/task/28073/stat : 28073 (java) S 28055 28057 24682 0 -1 4202560 8452 0 0 0 33 1 0 0 20 0 19 0 280706031 9856004096 16651 33554432000 1073741824 1073778376 140734762039104 139971464321464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28057/tid=28074] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28074/stat : 28074 (java) S 28055 28057 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280706031 9856004096 16651 33554432000 1073741824 1073778376 140734762039104 139971463268600 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28057/tid=28075] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28075/stat : 28075 (java) S 28055 28057 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280706031 9856004096 16651 33554432000 1073741824 1073778376 140734762039104 139971462216264 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28057/tid=28076] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28076/stat : 28076 (java) S 28055 28057 24682 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280706043 9856004096 16651 33554432000 1073741824 1073778376 140734762039104 139971461162536 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.06
Current children cumulated vsize (KiB) 9625004

[startup+3.10065 s]
/proc/loadavg: 1.99 1.98 1.99 3/214 28076
/proc/meminfo: memFree=28845620/32873844 swapFree=6856/6856
[pid=28057] ppid=28055 vsize=9625004 CPUtime=3.74 cores=0,2,4,6
/proc/28057/stat : 28057 (java) S 28055 28057 24682 0 -1 4202496 14422 0 1 0 370 4 0 0 20 0 19 0 280706025 9856004096 18206 33554432000 1073741824 1073778376 140734762039104 140734762030240 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28057/statm: 2406251 18206 2275 9 0 2396937 0
[pid=28057/tid=28059] ppid=28055 vsize=9625004 CPUtime=2.89 cores=0,2,4,6
/proc/28057/task/28059/stat : 28059 (java) R 28055 28057 24682 0 -1 4202560 2567 0 1 0 289 0 0 0 20 0 19 0 280706026 9856004096 18206 33554432000 1073741824 1073778376 140734762039104 139971645358504 139971518345887 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28060] ppid=28055 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/28057/task/28060/stat : 28060 (java) S 28055 28057 24682 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 280706027 9856004096 18206 33554432000 1073741824 1073778376 140734762039104 139971489364904 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28057/tid=28061] ppid=28055 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/28057/task/28061/stat : 28061 (java) S 28055 28057 24682 0 -1 4202560 3 0 0 0 1 0 0 0 20 0 19 0 280706027 9856004096 18206 33554432000 1073741824 1073778376 140734762039104 139971488312360 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28062] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28062/stat : 28062 (java) S 28055 28057 24682 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 280706027 9856004096 18206 33554432000 1073741824 1073778376 140734762039104 139971487259304 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28057/tid=28063] ppid=28055 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/28057/task/28063/stat : 28063 (java) S 28055 28057 24682 0 -1 4202560 23 0 0 0 1 0 0 0 20 0 19 0 280706027 9856004096 18206 33554432000 1073741824 1073778376 140734762039104 139971486206760 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28057/tid=28064] ppid=28055 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/28057/task/28064/stat : 28064 (java) S 28055 28057 24682 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 280706027 9856004096 18206 33554432000 1073741824 1073778376 140734762039104 139971485153704 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28057/tid=28065] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28065/stat : 28065 (java) S 28055 28057 24682 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280706027 9856004096 18206 33554432000 1073741824 1073778376 140734762039104 139971484101160 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28057/tid=28066] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28066/stat : 28066 (java) S 28055 28057 24682 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280706027 9856004096 18206 33554432000 1073741824 1073778376 140734762039104 139971483048104 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28057/tid=28067] ppid=28055 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/28057/task/28067/stat : 28067 (java) S 28055 28057 24682 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 280706027 9856004096 18206 33554432000 1073741824 1073778376 140734762039104 139971481995560 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28057/tid=28068] ppid=28055 vsize=9625004 CPUtime=0.09 cores=0,2,4,6
/proc/28057/task/28068/stat : 28068 (java) S 28055 28057 24682 0 -1 4202560 33 0 0 0 9 0 0 0 20 0 19 0 280706028 9856004096 18206 33554432000 1073741824 1073778376 140734762039104 139971469585256 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28057/tid=28069] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28069/stat : 28069 (java) S 28055 28057 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280706029 9856004096 18206 33554432000 1073741824 1073778376 140734762039104 139971468531576 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28070] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28070/stat : 28070 (java) S 28055 28057 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280706029 9856004096 18206 33554432000 1073741824 1073778376 140734762039104 139971467478408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28071] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28071/stat : 28071 (java) S 28055 28057 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280706031 9856004096 18206 33554432000 1073741824 1073778376 140734762039104 139971466427152 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28072] ppid=28055 vsize=9625004 CPUtime=0.19 cores=0,2,4,6
/proc/28057/task/28072/stat : 28072 (java) S 28055 28057 24682 0 -1 4202560 2116 0 0 0 19 0 0 0 20 0 19 0 280706031 9856004096 18206 33554432000 1073741824 1073778376 140734762039104 139971465374008 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28073] ppid=28055 vsize=9625004 CPUtime=0.35 cores=0,2,4,6
/proc/28057/task/28073/stat : 28073 (java) S 28055 28057 24682 0 -1 4202560 8452 0 0 0 33 2 0 0 20 0 19 0 280706031 9856004096 18206 33554432000 1073741824 1073778376 140734762039104 139971464321464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28057/tid=28074] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28074/stat : 28074 (java) S 28055 28057 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280706031 9856004096 18206 33554432000 1073741824 1073778376 140734762039104 139971463268600 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28057/tid=28075] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28075/stat : 28075 (java) S 28055 28057 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280706031 9856004096 18206 33554432000 1073741824 1073778376 140734762039104 139971462216264 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28057/tid=28076] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28076/stat : 28076 (java) S 28055 28057 24682 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280706043 9856004096 18206 33554432000 1073741824 1073778376 140734762039104 139971461162536 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 9625004

[startup+6.30074 s]
/proc/loadavg: 1.99 1.98 1.99 3/214 28076
/proc/meminfo: memFree=28830352/32873844 swapFree=6856/6856
[pid=28057] ppid=28055 vsize=9625004 CPUtime=7.02 cores=0,2,4,6
/proc/28057/stat : 28057 (java) S 28055 28057 24682 0 -1 4202496 14445 0 1 0 698 4 0 0 20 0 19 0 280706025 9856004096 19359 33554432000 1073741824 1073778376 140734762039104 140734762030240 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28057/statm: 2406251 19359 2275 9 0 2396937 0
[pid=28057/tid=28059] ppid=28055 vsize=9625004 CPUtime=5.97 cores=0,2,4,6
/proc/28057/task/28059/stat : 28059 (java) R 28055 28057 24682 0 -1 4202560 2575 0 1 0 597 0 0 0 20 0 19 0 280706026 9856004096 19359 33554432000 1073741824 1073778376 140734762039104 139971645358504 139971518410070 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28060] ppid=28055 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/28057/task/28060/stat : 28060 (java) S 28055 28057 24682 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 280706027 9856004096 19359 33554432000 1073741824 1073778376 140734762039104 139971489364904 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28057/tid=28061] ppid=28055 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/28057/task/28061/stat : 28061 (java) S 28055 28057 24682 0 -1 4202560 5 0 0 0 3 0 0 0 20 0 19 0 280706027 9856004096 19359 33554432000 1073741824 1073778376 140734762039104 139971488312360 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28057/tid=28062] ppid=28055 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/28057/task/28062/stat : 28062 (java) S 28055 28057 24682 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 280706027 9856004096 19359 33554432000 1073741824 1073778376 140734762039104 139971487259304 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28057/tid=28063] ppid=28055 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/28057/task/28063/stat : 28063 (java) S 28055 28057 24682 0 -1 4202560 23 0 0 0 1 0 0 0 20 0 19 0 280706027 9856004096 19359 33554432000 1073741824 1073778376 140734762039104 139971486206760 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28057/tid=28064] ppid=28055 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/28057/task/28064/stat : 28064 (java) S 28055 28057 24682 0 -1 4202560 9 0 0 0 3 0 0 0 20 0 19 0 280706027 9856004096 19359 33554432000 1073741824 1073778376 140734762039104 139971485153704 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28057/tid=28065] ppid=28055 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/28057/task/28065/stat : 28065 (java) S 28055 28057 24682 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 280706027 9856004096 19359 33554432000 1073741824 1073778376 140734762039104 139971484101160 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28057/tid=28066] ppid=28055 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/28057/task/28066/stat : 28066 (java) S 28055 28057 24682 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 19 0 280706027 9856004096 19359 33554432000 1073741824 1073778376 140734762039104 139971483048104 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28067] ppid=28055 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/28057/task/28067/stat : 28067 (java) S 28055 28057 24682 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 19 0 280706027 9856004096 19359 33554432000 1073741824 1073778376 140734762039104 139971481995560 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28068] ppid=28055 vsize=9625004 CPUtime=0.18 cores=0,2,4,6
/proc/28057/task/28068/stat : 28068 (java) S 28055 28057 24682 0 -1 4202560 34 0 0 0 18 0 0 0 20 0 19 0 280706028 9856004096 19359 33554432000 1073741824 1073778376 140734762039104 139971469585256 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28057/tid=28069] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28069/stat : 28069 (java) S 28055 28057 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280706029 9856004096 19359 33554432000 1073741824 1073778376 140734762039104 139971468531576 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28070] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28070/stat : 28070 (java) S 28055 28057 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280706029 9856004096 19359 33554432000 1073741824 1073778376 140734762039104 139971467478408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28071] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28071/stat : 28071 (java) S 28055 28057 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280706031 9856004096 19359 33554432000 1073741824 1073778376 140734762039104 139971466427152 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28072] ppid=28055 vsize=9625004 CPUtime=0.19 cores=0,2,4,6
/proc/28057/task/28072/stat : 28072 (java) S 28055 28057 24682 0 -1 4202560 2116 0 0 0 19 0 0 0 20 0 19 0 280706031 9856004096 19359 33554432000 1073741824 1073778376 140734762039104 139971465374008 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28073] ppid=28055 vsize=9625004 CPUtime=0.36 cores=0,2,4,6
/proc/28057/task/28073/stat : 28073 (java) S 28055 28057 24682 0 -1 4202560 8452 0 0 0 34 2 0 0 20 0 19 0 280706031 9856004096 19359 33554432000 1073741824 1073778376 140734762039104 139971464321464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28057/tid=28074] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28074/stat : 28074 (java) S 28055 28057 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280706031 9856004096 19359 33554432000 1073741824 1073778376 140734762039104 139971463268600 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28057/tid=28075] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28075/stat : 28075 (java) S 28055 28057 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280706031 9856004096 19359 33554432000 1073741824 1073778376 140734762039104 139971462216264 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28057/tid=28076] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28076/stat : 28076 (java) S 28055 28057 24682 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280706043 9856004096 19359 33554432000 1073741824 1073778376 140734762039104 139971461162536 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.02
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]

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

[pid=28057/tid=28065] ppid=28055 vsize=9625004 CPUtime=1.43 cores=0,2,4,6
/proc/28057/task/28065/stat : 28065 (java) S 28055 28057 24682 0 -1 4202560 413 0 0 0 139 4 0 0 20 0 19 0 280706027 9856004096 87152 33554432000 1073741824 1073778376 140734762039104 139971484101160 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28057/tid=28066] ppid=28055 vsize=9625004 CPUtime=1.44 cores=0,2,4,6
/proc/28057/task/28066/stat : 28066 (java) S 28055 28057 24682 0 -1 4202560 299 0 0 0 140 4 0 0 20 0 19 0 280706027 9856004096 87152 33554432000 1073741824 1073778376 140734762039104 139971483048104 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28057/tid=28067] ppid=28055 vsize=9625004 CPUtime=1.46 cores=0,2,4,6
/proc/28057/task/28067/stat : 28067 (java) S 28055 28057 24682 0 -1 4202560 427 0 0 0 143 3 0 0 20 0 19 0 280706027 9856004096 87152 33554432000 1073741824 1073778376 140734762039104 139971481995560 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28068] ppid=28055 vsize=9625004 CPUtime=12.67 cores=0,2,4,6
/proc/28057/task/28068/stat : 28068 (java) S 28055 28057 24682 0 -1 4202560 155 0 0 0 1264 3 0 0 20 0 19 0 280706028 9856004096 87152 33554432000 1073741824 1073778376 140734762039104 139971469585256 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28057/tid=28069] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28069/stat : 28069 (java) S 28055 28057 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280706029 9856004096 87152 33554432000 1073741824 1073778376 140734762039104 139971468531576 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28070] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28070/stat : 28070 (java) S 28055 28057 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280706029 9856004096 87152 33554432000 1073741824 1073778376 140734762039104 139971467478408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28071] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28071/stat : 28071 (java) S 28055 28057 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280706031 9856004096 87152 33554432000 1073741824 1073778376 140734762039104 139971466427152 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28072] ppid=28055 vsize=9625004 CPUtime=0.19 cores=0,2,4,6
/proc/28057/task/28072/stat : 28072 (java) S 28055 28057 24682 0 -1 4202560 2116 0 0 0 19 0 0 0 20 0 19 0 280706031 9856004096 87152 33554432000 1073741824 1073778376 140734762039104 139971465374008 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28073] ppid=28055 vsize=9625004 CPUtime=0.38 cores=0,2,4,6
/proc/28057/task/28073/stat : 28073 (java) S 28055 28057 24682 0 -1 4202560 8496 0 0 0 36 2 0 0 20 0 19 0 280706031 9856004096 87152 33554432000 1073741824 1073778376 140734762039104 139971464321464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28057/tid=28074] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28074/stat : 28074 (java) S 28055 28057 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280706031 9856004096 87152 33554432000 1073741824 1073778376 140734762039104 139971463268600 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28057/tid=28075] ppid=28055 vsize=9625004 CPUtime=0.38 cores=0,2,4,6
/proc/28057/task/28075/stat : 28075 (java) S 28055 28057 24682 0 -1 4202560 95 0 0 0 19 19 0 0 20 0 19 0 280706031 9856004096 87152 33554432000 1073741824 1073778376 140734762039104 139971462216264 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28057/tid=28076] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28076/stat : 28076 (java) S 28055 28057 24682 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280706043 9856004096 87152 33554432000 1073741824 1073778376 140734762039104 139971461162536 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1671.14
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/213 28149
/proc/meminfo: memFree=28506804/32873844 swapFree=6856/6856
[pid=28057] ppid=28055 vsize=9625004 CPUtime=1731.25 cores=0,2,4,6
/proc/28057/stat : 28057 (java) S 28055 28057 24682 0 -1 4202496 17861 0 1 0 173073 52 0 0 20 0 19 0 280706025 9856004096 87152 33554432000 1073741824 1073778376 140734762039104 140734762030240 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28057/statm: 2406251 87152 2276 9 0 2396937 0
[pid=28057/tid=28059] ppid=28055 vsize=9625004 CPUtime=1705.69 cores=0,2,4,6
/proc/28057/task/28059/stat : 28059 (java) R 28055 28057 24682 0 -1 4202560 2866 0 1 0 170538 31 0 0 20 0 19 0 280706026 9856004096 87152 33554432000 1073741824 1073778376 140734762039104 139971645358384 139971518334936 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=28057/tid=28060] ppid=28055 vsize=9625004 CPUtime=1.5 cores=0,2,4,6
/proc/28057/task/28060/stat : 28060 (java) S 28055 28057 24682 0 -1 4202560 355 0 0 0 146 4 0 0 20 0 19 0 280706027 9856004096 87152 33554432000 1073741824 1073778376 140734762039104 139971489364904 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28057/tid=28061] ppid=28055 vsize=9625004 CPUtime=1.53 cores=0,2,4,6
/proc/28057/task/28061/stat : 28061 (java) S 28055 28057 24682 0 -1 4202560 372 0 0 0 149 4 0 0 20 0 19 0 280706027 9856004096 87152 33554432000 1073741824 1073778376 140734762039104 139971488312360 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28057/tid=28062] ppid=28055 vsize=9625004 CPUtime=1.52 cores=0,2,4,6
/proc/28057/task/28062/stat : 28062 (java) S 28055 28057 24682 0 -1 4202560 382 0 0 0 149 3 0 0 20 0 19 0 280706027 9856004096 87152 33554432000 1073741824 1073778376 140734762039104 139971487259304 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28057/tid=28063] ppid=28055 vsize=9625004 CPUtime=1.49 cores=0,2,4,6
/proc/28057/task/28063/stat : 28063 (java) S 28055 28057 24682 0 -1 4202560 403 0 0 0 146 3 0 0 20 0 19 0 280706027 9856004096 87152 33554432000 1073741824 1073778376 140734762039104 139971486206760 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28057/tid=28064] ppid=28055 vsize=9625004 CPUtime=1.46 cores=0,2,4,6
/proc/28057/task/28064/stat : 28064 (java) S 28055 28057 24682 0 -1 4202560 293 0 0 0 142 4 0 0 20 0 19 0 280706027 9856004096 87152 33554432000 1073741824 1073778376 140734762039104 139971485153704 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28065] ppid=28055 vsize=9625004 CPUtime=1.45 cores=0,2,4,6
/proc/28057/task/28065/stat : 28065 (java) S 28055 28057 24682 0 -1 4202560 413 0 0 0 141 4 0 0 20 0 19 0 280706027 9856004096 87152 33554432000 1073741824 1073778376 140734762039104 139971484101160 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28066] ppid=28055 vsize=9625004 CPUtime=1.47 cores=0,2,4,6
/proc/28057/task/28066/stat : 28066 (java) S 28055 28057 24682 0 -1 4202560 299 0 0 0 143 4 0 0 20 0 19 0 280706027 9856004096 87152 33554432000 1073741824 1073778376 140734762039104 139971483048104 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28067] ppid=28055 vsize=9625004 CPUtime=1.47 cores=0,2,4,6
/proc/28057/task/28067/stat : 28067 (java) S 28055 28057 24682 0 -1 4202560 427 0 0 0 144 3 0 0 20 0 19 0 280706027 9856004096 87152 33554432000 1073741824 1073778376 140734762039104 139971481995560 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28057/tid=28068] ppid=28055 vsize=9625004 CPUtime=13.09 cores=0,2,4,6
/proc/28057/task/28068/stat : 28068 (java) S 28055 28057 24682 0 -1 4202560 159 0 0 0 1306 3 0 0 20 0 19 0 280706028 9856004096 87152 33554432000 1073741824 1073778376 140734762039104 139971469585256 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28057/tid=28069] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28069/stat : 28069 (java) S 28055 28057 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280706029 9856004096 87152 33554432000 1073741824 1073778376 140734762039104 139971468531576 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28070] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28070/stat : 28070 (java) S 28055 28057 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280706029 9856004096 87152 33554432000 1073741824 1073778376 140734762039104 139971467478408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28071] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28071/stat : 28071 (java) S 28055 28057 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280706031 9856004096 87152 33554432000 1073741824 1073778376 140734762039104 139971466427152 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28072] ppid=28055 vsize=9625004 CPUtime=0.19 cores=0,2,4,6
/proc/28057/task/28072/stat : 28072 (java) S 28055 28057 24682 0 -1 4202560 2116 0 0 0 19 0 0 0 20 0 19 0 280706031 9856004096 87152 33554432000 1073741824 1073778376 140734762039104 139971465374008 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28073] ppid=28055 vsize=9625004 CPUtime=0.38 cores=0,2,4,6
/proc/28057/task/28073/stat : 28073 (java) S 28055 28057 24682 0 -1 4202560 8496 0 0 0 36 2 0 0 20 0 19 0 280706031 9856004096 87152 33554432000 1073741824 1073778376 140734762039104 139971464321464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28057/tid=28074] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28074/stat : 28074 (java) S 28055 28057 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280706031 9856004096 87152 33554432000 1073741824 1073778376 140734762039104 139971463268600 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28057/tid=28075] ppid=28055 vsize=9625004 CPUtime=0.39 cores=0,2,4,6
/proc/28057/task/28075/stat : 28075 (java) S 28055 28057 24682 0 -1 4202560 99 0 0 0 20 19 0 0 20 0 19 0 280706031 9856004096 87152 33554432000 1073741824 1073778376 140734762039104 139971462216264 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28057/tid=28076] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28076/stat : 28076 (java) S 28055 28057 24682 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280706043 9856004096 87152 33554432000 1073741824 1073778376 140734762039104 139971461162536 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1731.25
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/213 28149
/proc/meminfo: memFree=28462928/32873844 swapFree=6856/6856
[pid=28057] ppid=28055 vsize=9625004 CPUtime=1791.51 cores=0,2,4,6
/proc/28057/stat : 28057 (java) S 28055 28057 24682 0 -1 4202496 17874 0 1 0 179098 53 0 0 20 0 19 0 280706025 9856004096 87664 33554432000 1073741824 1073778376 140734762039104 140734762030240 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28057/statm: 2406251 87664 2276 9 0 2396937 0
[pid=28057/tid=28059] ppid=28055 vsize=9625004 CPUtime=1765.15 cores=0,2,4,6
/proc/28057/task/28059/stat : 28059 (java) R 28055 28057 24682 0 -1 4202560 2871 0 1 0 176482 33 0 0 20 0 19 0 280706026 9856004096 87664 33554432000 1073741824 1073778376 140734762039104 139971645358384 139971518406880 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=28057/tid=28060] ppid=28055 vsize=9625004 CPUtime=1.53 cores=0,2,4,6
/proc/28057/task/28060/stat : 28060 (java) S 28055 28057 24682 0 -1 4202560 355 0 0 0 149 4 0 0 20 0 19 0 280706027 9856004096 87664 33554432000 1073741824 1073778376 140734762039104 139971489364904 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28057/tid=28061] ppid=28055 vsize=9625004 CPUtime=1.58 cores=0,2,4,6
/proc/28057/task/28061/stat : 28061 (java) S 28055 28057 24682 0 -1 4202560 372 0 0 0 154 4 0 0 20 0 19 0 280706027 9856004096 87664 33554432000 1073741824 1073778376 140734762039104 139971488312360 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28057/tid=28062] ppid=28055 vsize=9625004 CPUtime=1.56 cores=0,2,4,6
/proc/28057/task/28062/stat : 28062 (java) S 28055 28057 24682 0 -1 4202560 382 0 0 0 153 3 0 0 20 0 19 0 280706027 9856004096 87664 33554432000 1073741824 1073778376 140734762039104 139971487259304 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28057/tid=28063] ppid=28055 vsize=9625004 CPUtime=1.52 cores=0,2,4,6
/proc/28057/task/28063/stat : 28063 (java) S 28055 28057 24682 0 -1 4202560 403 0 0 0 149 3 0 0 20 0 19 0 280706027 9856004096 87664 33554432000 1073741824 1073778376 140734762039104 139971486206760 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28057/tid=28064] ppid=28055 vsize=9625004 CPUtime=1.51 cores=0,2,4,6
/proc/28057/task/28064/stat : 28064 (java) S 28055 28057 24682 0 -1 4202560 293 0 0 0 147 4 0 0 20 0 19 0 280706027 9856004096 87664 33554432000 1073741824 1073778376 140734762039104 139971485153704 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28057/tid=28065] ppid=28055 vsize=9625004 CPUtime=1.51 cores=0,2,4,6
/proc/28057/task/28065/stat : 28065 (java) S 28055 28057 24682 0 -1 4202560 413 0 0 0 147 4 0 0 20 0 19 0 280706027 9856004096 87664 33554432000 1073741824 1073778376 140734762039104 139971484101160 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28066] ppid=28055 vsize=9625004 CPUtime=1.48 cores=0,2,4,6
/proc/28057/task/28066/stat : 28066 (java) S 28055 28057 24682 0 -1 4202560 299 0 0 0 144 4 0 0 20 0 19 0 280706027 9856004096 87664 33554432000 1073741824 1073778376 140734762039104 139971483048104 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28057/tid=28067] ppid=28055 vsize=9625004 CPUtime=1.55 cores=0,2,4,6
/proc/28057/task/28067/stat : 28067 (java) S 28055 28057 24682 0 -1 4202560 427 0 0 0 152 3 0 0 20 0 19 0 280706027 9856004096 87664 33554432000 1073741824 1073778376 140734762039104 139971481995560 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28057/tid=28068] ppid=28055 vsize=9625004 CPUtime=13.53 cores=0,2,4,6
/proc/28057/task/28068/stat : 28068 (java) S 28055 28057 24682 0 -1 4202560 163 0 0 0 1349 4 0 0 20 0 19 0 280706028 9856004096 87664 33554432000 1073741824 1073778376 140734762039104 139971469585256 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28057/tid=28069] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28069/stat : 28069 (java) S 28055 28057 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280706029 9856004096 87664 33554432000 1073741824 1073778376 140734762039104 139971468531576 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28070] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28070/stat : 28070 (java) S 28055 28057 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280706029 9856004096 87664 33554432000 1073741824 1073778376 140734762039104 139971467478408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28071] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28071/stat : 28071 (java) S 28055 28057 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280706031 9856004096 87664 33554432000 1073741824 1073778376 140734762039104 139971466427152 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28072] ppid=28055 vsize=9625004 CPUtime=0.19 cores=0,2,4,6
/proc/28057/task/28072/stat : 28072 (java) S 28055 28057 24682 0 -1 4202560 2116 0 0 0 19 0 0 0 20 0 19 0 280706031 9856004096 87664 33554432000 1073741824 1073778376 140734762039104 139971465374008 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28073] ppid=28055 vsize=9625004 CPUtime=0.38 cores=0,2,4,6
/proc/28057/task/28073/stat : 28073 (java) S 28055 28057 24682 0 -1 4202560 8496 0 0 0 36 2 0 0 20 0 19 0 280706031 9856004096 87664 33554432000 1073741824 1073778376 140734762039104 139971464321464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28057/tid=28074] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28074/stat : 28074 (java) S 28055 28057 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280706031 9856004096 87664 33554432000 1073741824 1073778376 140734762039104 139971463268600 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28057/tid=28075] ppid=28055 vsize=9625004 CPUtime=0.4 cores=0,2,4,6
/proc/28057/task/28075/stat : 28075 (java) S 28055 28057 24682 0 -1 4202560 103 0 0 0 20 20 0 0 20 0 19 0 280706031 9856004096 87664 33554432000 1073741824 1073778376 140734762039104 139971462216264 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28057/tid=28076] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28076/stat : 28076 (java) S 28055 28057 24682 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280706043 9856004096 87664 33554432000 1073741824 1073778376 140734762039104 139971461162536 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.51
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790.81 s]
/proc/loadavg: 2.04 2.02 2.00 3/214 28152
/proc/meminfo: memFree=28442060/32873844 swapFree=6856/6856
[pid=28057] ppid=28055 vsize=9625004 CPUtime=1800.02 cores=0,2,4,6
/proc/28057/stat : 28057 (java) S 28055 28057 24682 0 -1 4202496 17874 0 1 0 179948 54 0 0 20 0 19 0 280706025 9856004096 87664 33554432000 1073741824 1073778376 140734762039104 140734762030240 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28057/statm: 2406251 87664 2276 9 0 2396937 0
[pid=28057/tid=28059] ppid=28055 vsize=9625004 CPUtime=1773.66 cores=0,2,4,6
/proc/28057/task/28059/stat : 28059 (java) R 28055 28057 24682 0 -1 4202560 2871 0 1 0 177333 33 0 0 20 0 19 0 280706026 9856004096 87664 33554432000 1073741824 1073778376 140734762039104 139971645358384 139971518334344 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=28057/tid=28060] ppid=28055 vsize=9625004 CPUtime=1.53 cores=0,2,4,6
/proc/28057/task/28060/stat : 28060 (java) S 28055 28057 24682 0 -1 4202560 355 0 0 0 149 4 0 0 20 0 19 0 280706027 9856004096 87664 33554432000 1073741824 1073778376 140734762039104 139971489364904 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28057/tid=28061] ppid=28055 vsize=9625004 CPUtime=1.58 cores=0,2,4,6
/proc/28057/task/28061/stat : 28061 (java) S 28055 28057 24682 0 -1 4202560 372 0 0 0 154 4 0 0 20 0 19 0 280706027 9856004096 87664 33554432000 1073741824 1073778376 140734762039104 139971488312360 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28057/tid=28062] ppid=28055 vsize=9625004 CPUtime=1.56 cores=0,2,4,6
/proc/28057/task/28062/stat : 28062 (java) S 28055 28057 24682 0 -1 4202560 382 0 0 0 153 3 0 0 20 0 19 0 280706027 9856004096 87664 33554432000 1073741824 1073778376 140734762039104 139971487259304 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28057/tid=28063] ppid=28055 vsize=9625004 CPUtime=1.52 cores=0,2,4,6
/proc/28057/task/28063/stat : 28063 (java) S 28055 28057 24682 0 -1 4202560 403 0 0 0 149 3 0 0 20 0 19 0 280706027 9856004096 87664 33554432000 1073741824 1073778376 140734762039104 139971486206760 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28057/tid=28064] ppid=28055 vsize=9625004 CPUtime=1.51 cores=0,2,4,6
/proc/28057/task/28064/stat : 28064 (java) S 28055 28057 24682 0 -1 4202560 293 0 0 0 147 4 0 0 20 0 19 0 280706027 9856004096 87664 33554432000 1073741824 1073778376 140734762039104 139971485153704 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28057/tid=28065] ppid=28055 vsize=9625004 CPUtime=1.51 cores=0,2,4,6
/proc/28057/task/28065/stat : 28065 (java) S 28055 28057 24682 0 -1 4202560 413 0 0 0 147 4 0 0 20 0 19 0 280706027 9856004096 87664 33554432000 1073741824 1073778376 140734762039104 139971484101160 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28066] ppid=28055 vsize=9625004 CPUtime=1.48 cores=0,2,4,6
/proc/28057/task/28066/stat : 28066 (java) S 28055 28057 24682 0 -1 4202560 299 0 0 0 144 4 0 0 20 0 19 0 280706027 9856004096 87664 33554432000 1073741824 1073778376 140734762039104 139971483048104 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28057/tid=28067] ppid=28055 vsize=9625004 CPUtime=1.55 cores=0,2,4,6
/proc/28057/task/28067/stat : 28067 (java) S 28055 28057 24682 0 -1 4202560 427 0 0 0 152 3 0 0 20 0 19 0 280706027 9856004096 87664 33554432000 1073741824 1073778376 140734762039104 139971481995560 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28057/tid=28068] ppid=28055 vsize=9625004 CPUtime=13.53 cores=0,2,4,6
/proc/28057/task/28068/stat : 28068 (java) S 28055 28057 24682 0 -1 4202560 163 0 0 0 1349 4 0 0 20 0 19 0 280706028 9856004096 87664 33554432000 1073741824 1073778376 140734762039104 139971469585256 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28057/tid=28069] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28069/stat : 28069 (java) S 28055 28057 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280706029 9856004096 87664 33554432000 1073741824 1073778376 140734762039104 139971468531576 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28070] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28070/stat : 28070 (java) S 28055 28057 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280706029 9856004096 87664 33554432000 1073741824 1073778376 140734762039104 139971467478408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28071] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28071/stat : 28071 (java) S 28055 28057 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280706031 9856004096 87664 33554432000 1073741824 1073778376 140734762039104 139971466427152 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28072] ppid=28055 vsize=9625004 CPUtime=0.19 cores=0,2,4,6
/proc/28057/task/28072/stat : 28072 (java) S 28055 28057 24682 0 -1 4202560 2116 0 0 0 19 0 0 0 20 0 19 0 280706031 9856004096 87664 33554432000 1073741824 1073778376 140734762039104 139971465374008 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28057/tid=28073] ppid=28055 vsize=9625004 CPUtime=0.38 cores=0,2,4,6
/proc/28057/task/28073/stat : 28073 (java) S 28055 28057 24682 0 -1 4202560 8496 0 0 0 36 2 0 0 20 0 19 0 280706031 9856004096 87664 33554432000 1073741824 1073778376 140734762039104 139971464321464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28057/tid=28074] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28074/stat : 28074 (java) S 28055 28057 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280706031 9856004096 87664 33554432000 1073741824 1073778376 140734762039104 139971463268600 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28057/tid=28075] ppid=28055 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/28057/task/28075/stat : 28075 (java) S 28055 28057 24682 0 -1 4202560 103 0 0 0 21 20 0 0 20 0 19 0 280706031 9856004096 87664 33554432000 1073741824 1073778376 140734762039104 139971462216264 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28057/tid=28076] ppid=28055 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28057/task/28076/stat : 28076 (java) S 28055 28057 24682 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280706043 9856004096 87664 33554432000 1073741824 1073778376 140734762039104 139971461162536 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625004

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

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

Child status: 143
Real time (s): 1790.86
CPU time (s): 1800.76
CPU user time (s): 1799.74
CPU system time (s): 1.02584
CPU usage (%): 100.553
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.74
system time used= 1.02584
maximum resident set size= 350812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17916
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45768
involuntary context switches= 34726

runsolver used 5.87111 second user time and 14.0629 second system time

The end

Launcher Data 

Begin job on node144 at 2012-05-27 21:10:11
IDJOB=3710640
IDBENCH=2214
IDSOLVER=2289
FILE ID=node144/3710640-1338145811
RUNJOBID= node144-1338138284-27028
PBS_JOBID= 14624480
Free space on /tmp= 71496 MiB

SOLVER NAME= SAT4J PB specific settings 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-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710640-1338145811/watcher-3710640-1338145811 -o /tmp/evaluation-result-3710640-1338145811/solver-3710640-1338145811 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710640-1338145811.opb

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

MD5SUM BENCH= 28425c3b4907da9ba10ee31a4de63042
RANDOM SEED=1648882203

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
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	: 5438.54
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.196
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.196
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.90
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.196
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.92
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.196
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.196
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:        28906728 kB
Buffers:          372824 kB
Cached:          2607580 kB
SwapCached:            0 kB
Active:           947736 kB
Inactive:        2182096 kB
Active(anon):     150500 kB
Inactive(anon):        0 kB
Active(file):     797236 kB
Inactive(file):  2182096 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               920 kB
Writeback:             0 kB
AnonPages:        156804 kB
Mapped:            22520 kB
Shmem:               200 kB
Slab:             696764 kB
SReclaimable:     139132 kB
SUnreclaim:       557632 kB
KernelStack:        1616 kB
PageTables:         4136 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     696496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    116736 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= 71496 MiB
End job on node144 at 2012-05-27 21:40:04