Trace number 3710590

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)147 1800.06 1790.66

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8a2.opb
MD5SUMd9e9e5fece70ebbc4c28befed36e7afc
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark139
Best CPU time to get the best result obtained on this benchmark5.85411
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 139
Optimality of the best value was proved NO
Number of variables360
Total number of constraints980
Number of constraints which are clauses980
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 constraint2
Maximum length of a constraint8
Number of terms in the objective function 360
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 360
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 360
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.08	c version 2.3.2.v20120418
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/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.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.08/0.12	c Expensive reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=true
0.08/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-3710590-1338144598.opb
0.08/0.12	c reading problem ... 
0.24/0.22	c ... done. Wall clock time 0.095s.
0.24/0.22	c declared #vars     360
0.24/0.22	c #constraints  980
0.24/0.22	c constraints type 
0.24/0.22	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 80
0.24/0.22	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 900
0.24/0.22	c 980 constraints processed.
0.24/0.23	c SATISFIABLE
0.24/0.23	c OPTIMIZING...
0.24/0.23	c Got one! Elapsed wall clock time (in seconds):0.104
0.24/0.23	o 155
0.49/0.33	c Got one! Elapsed wall clock time (in seconds):0.206
0.49/0.33	o 154
0.49/0.33	c Got one! Elapsed wall clock time (in seconds):0.21
0.49/0.33	o 153
0.49/0.36	c Got one! Elapsed wall clock time (in seconds):0.24
0.49/0.36	o 152
0.97/0.67	c cleaning 2918 clauses out of 5835 with flag 5001/5835
1.22/0.84	c Got one! Elapsed wall clock time (in seconds):0.715
1.22/0.84	o 151
1.36/0.93	c cleaning 4080 clauses out of 8170 with flag 2001/11088
1.67/1.22	c cleaning 5040 clauses out of 10089 with flag 8000/17087
2.01/1.55	c Got one! Elapsed wall clock time (in seconds):1.428
2.01/1.55	o 150
2.21/1.79	c cleaning 8434 clauses out of 16878 with flag 5000/28916
2.64/2.11	c cleaning 7219 clauses out of 14445 with flag 11001/34917
2.94/2.46	c cleaning 7110 clauses out of 14226 with flag 18001/41917
3.35/2.90	c cleaning 7554 clauses out of 15116 with flag 26001/49917
3.87/3.35	c cleaning 8276 clauses out of 16562 with flag 35001/58917
4.36/3.87	c cleaning 9135 clauses out of 18285 with flag 45000/68916
4.97/4.45	c cleaning 10073 clauses out of 20150 with flag 56000/79916
5.57/5.06	c cleaning 11039 clauses out of 22077 with flag 68000/91916
6.37/5.82	c cleaning 12020 clauses out of 24039 with flag 81001/104917
6.97/6.48	c Got one! Elapsed wall clock time (in seconds):6.357
6.97/6.48	o 149
7.27/6.78	c cleaning 14210 clauses out of 28433 with flag 5001/121331
7.81/7.20	c cleaning 10110 clauses out of 20223 with flag 11001/127331
8.12/7.56	c cleaning 8550 clauses out of 17112 with flag 18000/134330
8.52/7.96	c cleaning 8274 clauses out of 16562 with flag 26000/142330
9.04/8.45	c cleaning 8644 clauses out of 17289 with flag 35001/151331
9.64/9.02	c cleaning 9319 clauses out of 18645 with flag 45001/161331
10.26/9.68	c cleaning 10160 clauses out of 20325 with flag 56000/172330
10.86/10.29	c cleaning 11080 clauses out of 22166 with flag 68001/184331
11.67/11.01	c cleaning 12041 clauses out of 24085 with flag 81000/197330
12.37/11.79	c cleaning 13022 clauses out of 26044 with flag 95000/211330
13.28/12.66	c cleaning 14007 clauses out of 28022 with flag 110000/226330
14.20/13.54	c cleaning 14999 clauses out of 30015 with flag 126000/242330
15.30/14.61	c cleaning 16008 clauses out of 32016 with flag 143000/259330
16.31/15.60	c cleaning 16999 clauses out of 34009 with flag 161001/277331
17.31/16.68	c cleaning 18000 clauses out of 36010 with flag 180001/296331
18.72/18.06	c cleaning 19000 clauses out of 38009 with flag 200000/316330
20.04/19.39	c cleaning 20001 clauses out of 40009 with flag 221000/337330
21.36/20.68	c cleaning 20994 clauses out of 42008 with flag 243000/359330
23.18/22.44	c cleaning 22006 clauses out of 44015 with flag 266001/382331
24.78/24.03	c cleaning 22995 clauses out of 46009 with flag 290001/406331
26.20/25.48	c cleaning 24001 clauses out of 48013 with flag 315000/431330
27.82/27.03	c cleaning 25003 clauses out of 50012 with flag 341000/457330
29.74/28.91	c cleaning 26004 clauses out of 52010 with flag 368001/484331
31.56/30.76	c cleaning 27002 clauses out of 54006 with flag 396001/512331
33.48/32.67	c cleaning 27997 clauses out of 56004 with flag 425001/541331
35.69/34.89	c cleaning 29004 clauses out of 58007 with flag 455001/571331
37.81/36.93	c cleaning 29998 clauses out of 60003 with flag 486001/602331
39.71/38.81	c cleaning 30998 clauses out of 62004 with flag 518000/634330
41.63/40.75	c cleaning 31997 clauses out of 64007 with flag 551001/667331
43.74/42.81	c cleaning 32998 clauses out of 66009 with flag 585000/701330
46.08/45.15	c cleaning 33996 clauses out of 68012 with flag 620001/736331
48.58/47.62	c cleaning 35006 clauses out of 70015 with flag 656000/772330
50.90/49.96	c cleaning 36004 clauses out of 72010 with flag 693001/809331
53.53/52.60	c cleaning 37000 clauses out of 74005 with flag 731000/847330
56.35/55.33	c cleaning 38002 clauses out of 76005 with flag 770000/886330
58.77/57.71	c cleaning 38996 clauses out of 78003 with flag 810000/926330
61.50/60.45	c cleaning 39998 clauses out of 80008 with flag 851001/967331
64.51/63.43	c cleaning 41004 clauses out of 82010 with flag 893001/1009331
67.55/66.49	c cleaning 41992 clauses out of 84005 with flag 936000/1052330
69.97/68.83	c Got one! Elapsed wall clock time (in seconds):68.707
69.97/68.83	o 148
70.37/69.24	c cleaning 40986 clauses out of 81981 with flag 5000/1092298
70.89/69.70	c cleaning 23486 clauses out of 46995 with flag 11000/1098298
71.30/70.17	c cleaning 15245 clauses out of 30509 with flag 18000/1105298
71.90/70.71	c cleaning 11621 clauses out of 23264 with flag 26000/1113298
72.50/71.32	c cleaning 10309 clauses out of 20644 with flag 35001/1122299
73.21/72.03	c cleaning 10160 clauses out of 20335 with flag 45001/1132299
74.03/72.82	c cleaning 10585 clauses out of 21174 with flag 56000/1143298
74.73/73.55	c cleaning 11295 clauses out of 22590 with flag 68001/1155299
75.54/74.39	c cleaning 12145 clauses out of 24295 with flag 81001/1168299
76.44/75.24	c cleaning 13067 clauses out of 26149 with flag 95000/1182298
77.36/76.19	c cleaning 14038 clauses out of 28082 with flag 110000/1197298
78.57/77.31	c cleaning 15017 clauses out of 30045 with flag 126001/1213299
79.77/78.55	c cleaning 16008 clauses out of 32027 with flag 143000/1230298
80.87/79.66	c cleaning 17000 clauses out of 34019 with flag 161000/1248298
82.08/80.83	c cleaning 18006 clauses out of 36019 with flag 180000/1267298
83.49/82.24	c cleaning 19002 clauses out of 38013 with flag 200000/1287298
85.00/83.75	c cleaning 20003 clauses out of 40012 with flag 221001/1308299
86.70/85.44	c cleaning 21004 clauses out of 42008 with flag 243000/1330298
88.03/86.78	c cleaning 22003 clauses out of 44005 with flag 266001/1353299
89.43/88.16	c cleaning 22991 clauses out of 46002 with flag 290001/1377299
90.95/89.64	c cleaning 24001 clauses out of 48011 with flag 315001/1402299
92.45/91.18	c cleaning 25005 clauses out of 50010 with flag 341001/1428299
94.36/93.01	c cleaning 25989 clauses out of 52004 with flag 368000/1455298
96.38/95.03	c cleaning 27003 clauses out of 54016 with flag 396001/1483299
98.49/97.15	c cleaning 28001 clauses out of 56013 with flag 425001/1512299
100.50/99.13	c cleaning 29004 clauses out of 58011 with flag 455000/1542298
102.83/101.45	c cleaning 30000 clauses out of 60007 with flag 486000/1573298
105.26/103.84	c cleaning 31004 clauses out of 62008 with flag 518001/1605299
107.68/106.20	c cleaning 31990 clauses out of 64003 with flag 551000/1638298
110.11/108.64	c cleaning 33005 clauses out of 66016 with flag 585003/1672301
112.63/111.14	c cleaning 33999 clauses out of 68008 with flag 620000/1707298
115.47/113.99	c cleaning 34998 clauses out of 70009 with flag 656000/1743298
118.08/116.51	c cleaning 36001 clauses out of 72013 with flag 693002/1780300
120.68/119.15	c cleaning 36998 clauses out of 74011 with flag 731001/1818299
123.80/122.21	c cleaning 38003 clauses out of 76012 with flag 770000/1857298
127.33/125.76	c cleaning 39000 clauses out of 78009 with flag 810000/1897298
130.99/129.32	c cleaning 39995 clauses out of 80010 with flag 851001/1938299
134.91/133.28	c cleaning 41001 clauses out of 82014 with flag 893000/1980298
138.04/136.35	c cleaning 42001 clauses out of 84014 with flag 936001/2023299
140.86/139.11	c cleaning 43003 clauses out of 86012 with flag 980000/2067298
143.79/142.04	c cleaning 43993 clauses out of 88009 with flag 1025000/2112298
143.92/142.12	c Got one! Elapsed wall clock time (in seconds):141.996
143.92/142.12	o 147
144.22/142.45	c cleaning 24657 clauses out of 49329 with flag 5001/2117611
144.63/142.82	c cleaning 15329 clauses out of 30671 with flag 11000/2123610
145.05/143.22	c cleaning 11164 clauses out of 22342 with flag 18000/2130610
145.45/143.69	c cleaning 9583 clauses out of 19178 with flag 26000/2138610
146.08/144.25	c cleaning 9289 clauses out of 18595 with flag 35000/2147610
146.68/144.87	c cleaning 9653 clauses out of 19307 with flag 45001/2157611
147.39/145.57	c cleaning 10325 clauses out of 20654 with flag 56001/2168611
148.20/146.34	c cleaning 11163 clauses out of 22328 with flag 68000/2180610
149.02/147.10	c cleaning 12083 clauses out of 24165 with flag 81000/2193610
149.83/147.96	c cleaning 13040 clauses out of 26083 with flag 95001/2207611
150.83/148.94	c cleaning 14020 clauses out of 28043 with flag 110001/2222611
151.95/150.00	c cleaning 15006 clauses out of 30022 with flag 126000/2238610
153.06/151.15	c cleaning 16002 clauses out of 32017 with flag 143001/2255611
154.26/152.39	c cleaning 17006 clauses out of 34014 with flag 161000/2273610
155.47/153.59	c cleaning 18002 clauses out of 36009 with flag 180001/2292611
156.89/154.92	c cleaning 19002 clauses out of 38007 with flag 200001/2312611
158.61/156.62	c cleaning 20001 clauses out of 40005 with flag 221001/2333611
160.52/158.52	c cleaning 20999 clauses out of 42003 with flag 243000/2355610
162.73/160.77	c cleaning 21997 clauses out of 44004 with flag 266000/2378610
164.63/162.66	c cleaning 23004 clauses out of 46009 with flag 290002/2402612
166.64/164.65	c cleaning 23994 clauses out of 48004 with flag 315001/2427611
168.34/166.33	c cleaning 24998 clauses out of 50010 with flag 341001/2453611
170.16/168.13	c cleaning 26000 clauses out of 52012 with flag 368001/2480611
172.07/170.01	c cleaning 26998 clauses out of 54011 with flag 396000/2508610
174.19/172.17	c cleaning 28004 clauses out of 56013 with flag 425000/2537610
176.51/174.44	c cleaning 29000 clauses out of 58010 with flag 455001/2567611
178.81/176.76	c cleaning 30002 clauses out of 60009 with flag 486000/2598610
181.12/179.02	c cleaning 31003 clauses out of 62007 with flag 518000/2630610
183.34/181.21	c cleaning 31999 clauses out of 64004 with flag 551000/2663610
185.56/183.44	c cleaning 32996 clauses out of 66006 with flag 585001/2697611
187.79/185.67	c cleaning 34001 clauses out of 68009 with flag 620000/2732610
190.51/188.30	c cleaning 35001 clauses out of 70008 with flag 656000/2768610
193.03/190.84	c cleaning 36002 clauses out of 72007 with flag 693000/2805610
195.54/193.32	c cleaning 36994 clauses out of 74005 with flag 731000/2843610
198.25/196.07	c cleaning 37997 clauses out of 76012 with flag 770001/2882611
201.38/199.13	c cleaning 39005 clauses out of 78015 with flag 810001/2922611
204.38/202.13	c cleaning 40000 clauses out of 80009 with flag 851000/2963610
207.51/205.22	c cleaning 41000 clauses out of 82009 with flag 893000/3005610
210.24/207.97	c cleaning 42005 clauses out of 84009 with flag 936000/3048610
213.06/210.71	c cleaning 42999 clauses out of 86005 with flag 980001/3092611
216.09/213.76	c cleaning 43993 clauses out of 88005 with flag 1025000/3137610
219.32/216.96	c cleaning 45002 clauses out of 90012 with flag 1071000/3183610
223.04/220.61	c cleaning 46000 clauses out of 92011 with flag 1118001/3230611
227.46/225.01	c cleaning 47004 clauses out of 94010 with flag 1166000/3278610
231.11/228.61	c cleaning 47999 clauses out of 96006 with flag 1215000/3327610
235.03/232.51	c cleaning 49004 clauses out of 98007 with flag 1265000/3377610
239.06/236.59	c cleaning 50002 clauses out of 100003 with flag 1316000/3428610
243.22/240.64	c cleaning 50983 clauses out of 102001 with flag 1368000/3480610
247.62/245.07	c cleaning 52004 clauses out of 104019 with flag 1421001/3533611
252.55/249.95	c cleaning 53003 clauses out of 106014 with flag 1475000/3587610
256.98/254.30	c cleaning 54002 clauses out of 108012 with flag 1530001/3642611
261.20/258.56	c cleaning 54996 clauses out of 110009 with flag 1586000/3698610
266.53/263.81	c cleaning 56003 clauses out of 112014 with flag 1643001/3755611
271.56/268.88	c cleaning 57002 clauses out of 114011 with flag 1701001/3813611
276.60/273.86	c cleaning 57995 clauses out of 116009 with flag 1760001/3872611
281.83/279.01	c cleaning 59004 clauses out of 118013 with flag 1820000/3932610
286.66/283.88	c cleaning 59992 clauses out of 120009 with flag 1881000/3993610
291.90/289.08	c cleaning 60999 clauses out of 122018 with flag 1943001/4055611
296.93/294.07	c cleaning 62002 clauses out of 124018 with flag 2006000/4118610
302.35/299.49	c cleaning 63000 clauses out of 126017 with flag 2070001/4182611
308.48/305.54	c cleaning 64002 clauses out of 128016 with flag 2135000/4247610
314.32/311.35	c cleaning 64999 clauses out of 130015 with flag 2201001/4313611
320.03/317.03	c cleaning 66005 clauses out of 132016 with flag 2268001/4380611
326.46/323.46	c cleaning 67004 clauses out of 134010 with flag 2336000/4448610
331.92/328.89	c cleaning 67998 clauses out of 136006 with flag 2405000/4517610
336.44/333.39	c cleaning 69001 clauses out of 138009 with flag 2475001/4587611
341.57/338.49	c cleaning 70002 clauses out of 140007 with flag 2546000/4658610
346.91/343.71	c cleaning 71002 clauses out of 142006 with flag 2618001/4730611
352.34/349.18	c cleaning 71996 clauses out of 144004 with flag 2691001/4803611
359.19/355.92	c cleaning 72998 clauses out of 146007 with flag 2765000/4877610
365.22/361.95	c cleaning 74000 clauses out of 148010 with flag 2840001/4952611
372.24/368.94	c cleaning 75002 clauses out of 150009 with flag 2916000/5028610
378.99/375.61	c cleaning 76001 clauses out of 152008 with flag 2993001/5105611
385.23/381.85	c cleaning 76995 clauses out of 154006 with flag 3071000/5183610
393.46/390.01	c cleaning 77999 clauses out of 156011 with flag 3150000/5262610
401.28/397.82	c cleaning 78998 clauses out of 158012 with flag 3230000/5342610
409.61/406.16	c cleaning 79993 clauses out of 160015 with flag 3311001/5423611
416.74/413.28	c cleaning 81003 clauses out of 162021 with flag 3393000/5505610
423.07/419.53	c cleaning 82005 clauses out of 164019 with flag 3476001/5588611
430.31/426.77	c cleaning 83004 clauses out of 166013 with flag 3560000/5672610
437.04/433.41	c cleaning 83999 clauses out of 168010 with flag 3645001/5757611
444.38/440.74	c cleaning 85000 clauses out of 170011 with flag 3731001/5843611
451.44/447.79	c cleaning 85998 clauses out of 172010 with flag 3818000/5930610
458.57/454.80	c cleaning 87005 clauses out of 174013 with flag 3906001/6018611
467.02/463.20	c cleaning 87997 clauses out of 176008 with flag 3995001/6107611
475.39/471.56	c cleaning 89000 clauses out of 178010 with flag 4085000/6197610
484.01/480.13	c cleaning 90002 clauses out of 180011 with flag 4176001/6288611
494.59/490.65	c cleaning 90999 clauses out of 182008 with flag 4268000/6380610
503.24/499.26	c cleaning 91999 clauses out of 184010 with flag 4361001/6473611
512.66/508.65	c cleaning 93002 clauses out of 186011 with flag 4455001/6567611
521.31/517.21	c cleaning 93999 clauses out of 188008 with flag 4550000/6662610
530.26/526.13	c cleaning 94998 clauses out of 190010 with flag 4646001/6758611
536.89/532.70	c cleaning 96003 clauses out of 192011 with flag 4743000/6855610
544.92/540.70	c cleaning 97005 clauses out of 194009 with flag 4841001/6953611
553.75/549.52	c cleaning 97997 clauses out of 196003 with flag 4940000/7052610
563.99/559.74	c cleaning 99001 clauses out of 198006 with flag 5040000/7152610
573.20/568.80	c cleaning 99991 clauses out of 200006 with flag 5141001/7253611
581.84/577.50	c cleaning 100998 clauses out of 202015 with flag 5243001/7355611
590.06/585.68	c cleaning 102000 clauses out of 204017 with flag 5346001/7458611
599.10/594.68	c cleaning 102997 clauses out of 206016 with flag 5450000/7562610
608.49/603.96	c cleaning 104003 clauses out of 208020 with flag 5555001/7667611
616.36/611.75	c cleaning 105001 clauses out of 210016 with flag 5661000/7773610
626.18/621.54	c cleaning 106006 clauses out of 212015 with flag 5768000/7880610
637.03/632.35	c cleaning 106998 clauses out of 214010 with flag 5876001/7988611
646.40/641.60	c cleaning 108000 clauses out of 216012 with flag 5985001/8097611
657.26/652.45	c cleaning 109002 clauses out of 218011 with flag 6095000/8207610
665.61/660.74	c cleaning 109998 clauses out of 220009 with flag 6206000/8318610
674.13/669.29	c cleaning 111002 clauses out of 222012 with flag 6318001/8430611
685.75/680.83	c cleaning 111999 clauses out of 224009 with flag 6431000/8543610
698.21/693.25	c cleaning 113000 clauses out of 226011 with flag 6545001/8657611
709.38/704.37	c cleaning 113999 clauses out of 228011 with flag 6660001/8772611
721.34/716.26	c cleaning 115005 clauses out of 230011 with flag 6776000/8888610
732.19/727.03	c cleaning 115995 clauses out of 232007 with flag 6893001/9005611
744.13/738.99	c cleaning 116998 clauses out of 234011 with flag 7011000/9123610
754.80/749.59	c cleaning 118003 clauses out of 236014 with flag 7130001/9242611
766.43/761.15	c cleaning 119005 clauses out of 238011 with flag 7250001/9362611
777.90/772.52	c cleaning 119994 clauses out of 240006 with flag 7371001/9483611
790.26/784.87	c cleaning 120995 clauses out of 242012 with flag 7493001/9605611
803.38/797.99	c cleaning 122005 clauses out of 244018 with flag 7616002/9728612
817.87/812.34	c cleaning 123000 clauses out of 246011 with flag 7740000/9852610
832.44/826.85	c cleaning 124001 clauses out of 248012 with flag 7865001/9977611
846.30/840.65	c cleaning 125006 clauses out of 250011 with flag 7991001/10103611
856.35/850.65	c cleaning 125994 clauses out of 252004 with flag 8118000/10230610
866.99/861.27	c cleaning 127004 clauses out of 254012 with flag 8246002/10358612
877.33/871.57	c cleaning 128000 clauses out of 256006 with flag 8375000/10487610
888.96/883.10	c cleaning 128995 clauses out of 258007 with flag 8505001/10617611
902.12/896.24	c cleaning 130006 clauses out of 260012 with flag 8636001/10748611
913.81/907.83	c cleaning 130991 clauses out of 262005 with flag 8768000/10880610
925.28/919.21	c cleaning 131996 clauses out of 264014 with flag 8901000/11013610
936.12/930.03	c cleaning 133003 clauses out of 266019 with flag 9035001/11147611
947.28/941.19	c cleaning 134001 clauses out of 268016 with flag 9170001/11282611
959.63/953.43	c cleaning 135003 clauses out of 270014 with flag 9306000/11418610
972.10/965.89	c cleaning 135999 clauses out of 272012 with flag 9443001/11555611
984.32/978.01	c cleaning 137001 clauses out of 274012 with flag 9581000/11693610
997.78/991.47	c cleaning 138005 clauses out of 276012 with flag 9720001/11832611
1011.76/1005.38	c cleaning 138999 clauses out of 278007 with flag 9860001/11972611
1027.01/1020.56	c cleaning 140003 clauses out of 280007 with flag 10001000/12113610
1040.46/1033.96	c cleaning 140995 clauses out of 282004 with flag 10143000/12255610
1052.00/1045.46	c cleaning 141999 clauses out of 284010 with flag 10286001/12398611
1066.23/1059.63	c cleaning 142997 clauses out of 286010 with flag 10430000/12542610
1083.38/1076.73	c cleaning 144001 clauses out of 288015 with flag 10575002/12687612
1099.93/1093.26	c cleaning 144999 clauses out of 290013 with flag 10721001/12833611
1116.80/1110.00	c cleaning 145997 clauses out of 292014 with flag 10868001/12980611
1134.47/1127.62	c cleaning 147006 clauses out of 294017 with flag 11016001/13128611
1151.76/1144.85	c cleaning 148003 clauses out of 296010 with flag 11165000/13277610
1166.91/1159.91	c cleaning 149001 clauses out of 298008 with flag 11315001/13427611
1181.48/1174.42	c cleaning 149997 clauses out of 300007 with flag 11466001/13578611
1197.83/1190.72	c cleaning 151000 clauses out of 302009 with flag 11618000/13730610
1215.20/1208.03	c cleaning 152001 clauses out of 304010 with flag 11771001/13883611
1233.78/1226.52	c cleaning 153002 clauses out of 306008 with flag 11925000/14037610
1252.37/1245.05	c cleaning 154000 clauses out of 308006 with flag 12080000/14192610
1268.32/1260.95	c cleaning 154997 clauses out of 310007 with flag 12236001/14348611
1287.44/1280.01	c cleaning 155998 clauses out of 312009 with flag 12393000/14505610
1305.45/1297.96	c cleaning 157003 clauses out of 314012 with flag 12551001/14663611
1325.69/1318.11	c cleaning 158000 clauses out of 316009 with flag 12710001/14822611
1345.67/1338.02	c cleaning 158995 clauses out of 318008 with flag 12870000/14982610
1364.22/1356.57	c cleaning 160003 clauses out of 320013 with flag 13031000/15143610
1377.89/1370.15	c cleaning 160997 clauses out of 322011 with flag 13193001/15305611
1392.03/1384.29	c cleaning 162001 clauses out of 324014 with flag 13356001/15468611
1405.89/1398.09	c cleaning 162994 clauses out of 326012 with flag 13520000/15632610
1426.47/1418.50	c cleaning 164005 clauses out of 328019 with flag 13685001/15797611
1442.71/1434.63	c cleaning 164997 clauses out of 330013 with flag 13851000/15963610
1462.21/1454.02	c cleaning 166003 clauses out of 332018 with flag 14018002/16130612
1482.70/1474.44	c cleaning 167002 clauses out of 334014 with flag 14186001/16298611
1504.48/1496.11	c cleaning 167999 clauses out of 336012 with flag 14355001/16467611
1524.57/1516.16	c cleaning 168999 clauses out of 338012 with flag 14525000/16637610
1542.17/1533.69	c cleaning 170001 clauses out of 340013 with flag 14696000/16808610
1564.73/1556.18	c cleaning 170997 clauses out of 342012 with flag 14868000/16980610
1589.92/1581.28	c cleaning 171996 clauses out of 344015 with flag 15041000/17153610
1612.80/1604.06	c cleaning 173010 clauses out of 346021 with flag 15215002/17327612
1630.27/1621.44	c cleaning 173999 clauses out of 348010 with flag 15390001/17502611
1650.23/1641.39	c cleaning 174995 clauses out of 350010 with flag 15566000/17678610
1671.71/1662.71	c cleaning 176000 clauses out of 352015 with flag 15743000/17855610
1690.25/1681.29	c cleaning 177000 clauses out of 354016 with flag 15921001/18033611
1711.22/1702.15	c cleaning 178001 clauses out of 356015 with flag 16100000/18212610
1730.44/1721.30	c cleaning 178997 clauses out of 358014 with flag 16280000/18392610
1747.11/1737.91	c cleaning 180007 clauses out of 360017 with flag 16461000/18573610
1765.65/1756.41	c cleaning 181000 clauses out of 362010 with flag 16643000/18755610
1784.67/1775.38	c cleaning 182005 clauses out of 364010 with flag 16826000/18938610
1800.06/1790.61	c starts		: 359
1800.06/1790.61	c conflicts		: 19122469
1800.06/1790.61	c decisions		: 23544044
1800.06/1790.61	c propagations		: 221909086
1800.06/1790.61	c inspects		: 10143792527
1800.06/1790.61	c shortcuts		: 0
1800.06/1790.61	c learnt literals	: 0
1800.06/1790.61	c learnt binary clauses	: 40
1800.06/1790.61	c learnt ternary clauses	: 81
1800.06/1790.61	c learnt constraints	: 19122469
1800.06/1790.61	c ignored constraints	: 0
1800.06/1790.61	c root simplifications	: 359
1800.06/1790.61	c removed literals (reason simplification)	: 891921491
1800.06/1790.61	c reason swapping (by a shorter reason)	: 0
1800.06/1790.61	c Calls to reduceDB	: 271
1800.06/1790.61	c number of reductions to clauses (during analyze)	: 0
1800.06/1790.61	c number of learned constraints concerned by reduction	: 0
1800.06/1790.61	c number of learning phase by resolution	: 0
1800.06/1790.61	c number of learning phase by cutting planes	: 0
1800.06/1790.61	c speed (assignments/second)	: 123944.4830766017
1800.06/1790.61	c non guided choices	229
1800.06/1790.65	c learnt constraints type 
1800.06/1790.65	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 40
1800.06/1790.65	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 365965
1800.06/1790.65	c constraints type 
1800.06/1790.65	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 80
1800.06/1790.65	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.06/1790.65	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 900
1800.06/1790.65	c 981 constraints processed.
1800.06/1790.65	s SATISFIABLE
1800.06/1790.65	v x1 -x2 x3 -x4 x5 -x6 x7 -x8 x9 -x10 x11 -x12 -x13 x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 -x27 x28 x29 -x30 x31 -x32 -x33 x34 x35 -x36 -x37 x38 x39 -x40 x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 x49 -x50 x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 x70 x71 -x72 -x73 x74 x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 x93 -x94 -x95 x96 x97 -x98 x99 -x100 x101 -x102 x103 -x104 x105 -x106 x107 -x108 -x109 x110 x111 -x112 x113 -x114 x115 -x116 x117 -x118 x119 -x120 x121 -x122 -x123 x124 x125 -x126 x127 -x128 x129 -x130 x131 -x132 x133 -x134 x135 -x136 x137 -x138 -x139 x140 -x141 x142 x143 -x144 x145 -x146 x147 -x148 x149 -x150 x151 -x152 x153 -x154 x155 -x156 -x157 -x158 x159 -x160 x161 -x162 x163 -x164 x165 -x166 x167 -x168 x169 -x170 x171 -x172 -x173 x174 x175 -x176 x177 -x178 x179 -x180 x181 -x182 x183 -x184 x185 -x186 -x187 x188 x189 -x190 x191 -x192 -x193 -x194 -x195 x196 -x197 x198 x199 -x200 -x201 x202 -x203 -x204 x205 -x206 -x207 x208 -x209 x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 x230 x231 -x232 -x233 x234 -x235 x236 -x237 x238 -x239 x240 -x241 -x242 -x243 x244 -x245 x246 x247 -x248 -x249 x250 -x251 -x252 -x253 x254 -x255 x256 -x257 x258 -x259 x260 x261 -x262 -x263 x264 -x265 -x266 -x267 x268 -x269 x270 x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 -x293 x294 -x295 -x296 -x297 x298 x299 -x300 -x301 -x302 -x303 x304 -x305 x306 -x307 -x308 -x309 x310 x311 -x312 -x313 x314 -x315 x316 -x317 x318 -x319 x320 x321 -x322 -x323 x324 -x325 -x326 -x327 x328 -x329 x330 x331 -x332 -x333 x334 -x335 -x336 -x337 x338 x339 -x340 -x341 x342 -x343 x344 -x345 x346 -x347 x348 x349 -x350 -x351 x352 -x353 x354 -x355 -x356 -x357 x358 -x359 -x360 
1800.06/1790.65	c objective function=147
1800.06/1790.65	c Total wall clock time (in seconds): 1790.533

Verifier Data 

OK	147

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

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

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


[startup+0 s]
/proc/loadavg: 6.23 5.01 3.29 3/193 30645
/proc/meminfo: memFree=30568140/32873844 swapFree=6600/6600
[pid=30645] ppid=30643 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/30645/stat : 30645 (java) D 30643 30645 28151 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 280584715 9515008 182 33554432000 1073741824 1073778376 140736098054096 140736098045128 213419638453 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/30645/statm: 2323 182 140 9 0 71 0

[startup+0.0103289 s]
/proc/loadavg: 6.23 5.01 3.29 3/193 30645
/proc/meminfo: memFree=30568140/32873844 swapFree=6600/6600
[pid=30645] ppid=30643 vsize=24200 CPUtime=0 cores=1,3,5,7
/proc/30645/stat : 30645 (java) S 30643 30645 28151 0 -1 4202496 1147 0 0 0 0 0 0 0 20 0 2 0 280584715 24780800 867 33554432000 1073741824 1073778376 140734594792384 140734594783520 213422997565 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30645/statm: 6050 867 654 9 0 385 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 24200

[startup+0.100253 s]
/proc/loadavg: 6.23 5.01 3.29 3/193 30645
/proc/meminfo: memFree=30568140/32873844 swapFree=6600/6600
[pid=30645] ppid=30643 vsize=9558440 CPUtime=0.08 cores=1,3,5,7
/proc/30645/stat : 30645 (java) S 30643 30645 28151 0 -1 4202496 4253 0 1 0 7 1 0 0 20 0 18 0 280584715 9787842560 5460 33554432000 1073741824 1073778376 140734594792384 140734594783520 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30645/statm: 2389610 5463 2115 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558440

[startup+0.300278 s]
/proc/loadavg: 6.23 5.01 3.29 3/193 30645
/proc/meminfo: memFree=30568140/32873844 swapFree=6600/6600
[pid=30645] ppid=30643 vsize=9625004 CPUtime=0.49 cores=1,3,5,7
/proc/30645/stat : 30645 (java) S 30643 30645 28151 0 -1 4202496 6660 0 1 0 48 1 0 0 20 0 19 0 280584715 9856004096 8721 33554432000 1073741824 1073778376 140734594792384 140734594783520 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30645/statm: 2406251 8721 2239 9 0 2396937 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9625004

[startup+0.700257 s]
/proc/loadavg: 6.23 5.01 3.29 3/193 30645
/proc/meminfo: memFree=30568140/32873844 swapFree=6600/6600
[pid=30645] ppid=30643 vsize=9625004 CPUtime=1.12 cores=1,3,5,7
/proc/30645/stat : 30645 (java) S 30643 30645 28151 0 -1 4202496 6923 0 1 0 110 2 0 0 20 0 19 0 280584715 9856004096 11390 33554432000 1073741824 1073778376 140734594792384 140734594783520 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30645/statm: 2406251 11390 2277 9 0 2396937 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 9625004

[startup+1.50065 s]
/proc/loadavg: 6.23 5.01 3.29 3/212 30664
/proc/meminfo: memFree=30527040/32873844 swapFree=6600/6600
[pid=30645] ppid=30643 vsize=9625004 CPUtime=2.01 cores=1,3,5,7
/proc/30645/stat : 30645 (java) S 30643 30645 28151 0 -1 4202496 6935 0 1 0 199 2 0 0 20 0 19 0 280584715 9856004096 12419 33554432000 1073741824 1073778376 140734594792384 140734594783520 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30645/statm: 2406251 12419 2278 9 0 2396937 0
[pid=30645/tid=30647] ppid=30643 vsize=9625004 CPUtime=1.45 cores=1,3,5,7
/proc/30645/task/30647/stat : 30647 (java) R 30643 30645 28151 0 -1 4202560 2518 0 1 0 143 2 0 0 20 0 19 0 280584716 9856004096 12419 33554432000 1073741824 1073778376 140734594792384 140471299846568 140471150521312 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30645/tid=30648] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30648/stat : 30648 (java) S 30643 30645 28151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280584717 9856004096 12419 33554432000 1073741824 1073778376 140734594792384 140471272298920 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30645/tid=30649] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30649/stat : 30649 (java) S 30643 30645 28151 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 280584717 9856004096 12419 33554432000 1073741824 1073778376 140734594792384 140471271246376 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30645/tid=30650] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30650/stat : 30650 (java) S 30643 30645 28151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280584717 9856004096 12419 33554432000 1073741824 1073778376 140734594792384 140471270193320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30645/tid=30651] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30651/stat : 30651 (java) S 30643 30645 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280584717 9856004096 12419 33554432000 1073741824 1073778376 140734594792384 140471269140776 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30645/tid=30652] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30652/stat : 30652 (java) S 30643 30645 28151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280584717 9856004096 12419 33554432000 1073741824 1073778376 140734594792384 140471139085224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30645/tid=30653] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30653/stat : 30653 (java) S 30643 30645 28151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280584717 9856004096 12419 33554432000 1073741824 1073778376 140734594792384 140471138032680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30654] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30654/stat : 30654 (java) S 30643 30645 28151 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 280584717 9856004096 12419 33554432000 1073741824 1073778376 140734594792384 140471136979624 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30645/tid=30655] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30655/stat : 30655 (java) S 30643 30645 28151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280584718 9856004096 12419 33554432000 1073741824 1073778376 140734594792384 140471135927080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30645/tid=30656] ppid=30643 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/30645/task/30656/stat : 30656 (java) S 30643 30645 28151 0 -1 4202560 32 0 0 0 2 0 0 0 20 0 19 0 280584719 9856004096 12419 33554432000 1073741824 1073778376 140734594792384 140470653413736 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30645/tid=30657] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30657/stat : 30657 (java) S 30643 30645 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280584719 9856004096 12419 33554432000 1073741824 1073778376 140734594792384 140470652360056 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30658] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30658/stat : 30658 (java) S 30643 30645 28151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280584719 9856004096 12419 33554432000 1073741824 1073778376 140734594792384 140470651306888 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30659] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30659/stat : 30659 (java) S 30643 30645 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280584721 9856004096 12419 33554432000 1073741824 1073778376 140734594792384 140470650255632 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30660] ppid=30643 vsize=9625004 CPUtime=0.26 cores=1,3,5,7
/proc/30645/task/30660/stat : 30660 (java) S 30643 30645 28151 0 -1 4202560 1732 0 0 0 26 0 0 0 20 0 19 0 280584721 9856004096 12419 33554432000 1073741824 1073778376 140734594792384 140470649203512 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30661] ppid=30643 vsize=9625004 CPUtime=0.24 cores=1,3,5,7
/proc/30645/task/30661/stat : 30661 (java) S 30643 30645 28151 0 -1 4202560 1438 0 0 0 24 0 0 0 20 0 19 0 280584721 9856004096 12419 33554432000 1073741824 1073778376 140734594792384 140470648150968 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30645/tid=30662] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30662/stat : 30662 (java) S 30643 30645 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280584721 9856004096 12419 33554432000 1073741824 1073778376 140734594792384 140470647098104 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30645/tid=30663] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30663/stat : 30663 (java) S 30643 30645 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280584721 9856004096 12419 33554432000 1073741824 1073778376 140734594792384 140470646045768 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30664] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30664/stat : 30664 (java) S 30643 30645 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280584738 9856004096 12419 33554432000 1073741824 1073778376 140734594792384 140470644991016 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 9625004

[startup+3.10078 s]
/proc/loadavg: 6.23 5.01 3.29 3/212 30664
/proc/meminfo: memFree=30522448/32873844 swapFree=6600/6600
[pid=30645] ppid=30643 vsize=9625004 CPUtime=3.65 cores=1,3,5,7
/proc/30645/stat : 30645 (java) S 30643 30645 28151 0 -1 4202496 6959 0 1 0 363 2 0 0 20 0 19 0 280584715 9856004096 14478 33554432000 1073741824 1073778376 140734594792384 140734594783520 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30645/statm: 2406251 14478 2278 9 0 2396937 0
[pid=30645/tid=30647] ppid=30643 vsize=9625004 CPUtime=3 cores=1,3,5,7
/proc/30645/task/30647/stat : 30647 (java) R 30643 30645 28151 0 -1 4202560 2521 0 1 0 298 2 0 0 20 0 19 0 280584716 9856004096 14478 33554432000 1073741824 1073778376 140734594792384 140471299846448 140471150521072 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30645/tid=30648] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30648/stat : 30648 (java) S 30643 30645 28151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280584717 9856004096 14478 33554432000 1073741824 1073778376 140734594792384 140471272298920 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30645/tid=30649] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30649/stat : 30649 (java) S 30643 30645 28151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280584717 9856004096 14478 33554432000 1073741824 1073778376 140734594792384 140471271246376 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30645/tid=30650] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30650/stat : 30650 (java) S 30643 30645 28151 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 280584717 9856004096 14478 33554432000 1073741824 1073778376 140734594792384 140471270193320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30645/tid=30651] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30651/stat : 30651 (java) S 30643 30645 28151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280584717 9856004096 14478 33554432000 1073741824 1073778376 140734594792384 140471269140776 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30645/tid=30652] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30652/stat : 30652 (java) S 30643 30645 28151 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280584717 9856004096 14478 33554432000 1073741824 1073778376 140734594792384 140471139085224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30645/tid=30653] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30653/stat : 30653 (java) S 30643 30645 28151 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280584717 9856004096 14478 33554432000 1073741824 1073778376 140734594792384 140471138032680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30654] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30654/stat : 30654 (java) S 30643 30645 28151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280584717 9856004096 14478 33554432000 1073741824 1073778376 140734594792384 140471136979624 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30645/tid=30655] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30655/stat : 30655 (java) S 30643 30645 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280584718 9856004096 14478 33554432000 1073741824 1073778376 140734594792384 140471135927080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30656] ppid=30643 vsize=9625004 CPUtime=0.07 cores=1,3,5,7
/proc/30645/task/30656/stat : 30656 (java) S 30643 30645 28151 0 -1 4202560 34 0 0 0 7 0 0 0 20 0 19 0 280584719 9856004096 14478 33554432000 1073741824 1073778376 140734594792384 140470653413736 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30645/tid=30657] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30657/stat : 30657 (java) S 30643 30645 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280584719 9856004096 14478 33554432000 1073741824 1073778376 140734594792384 140470652360056 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30658] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30658/stat : 30658 (java) S 30643 30645 28151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280584719 9856004096 14478 33554432000 1073741824 1073778376 140734594792384 140470651306888 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30659] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30659/stat : 30659 (java) S 30643 30645 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280584721 9856004096 14478 33554432000 1073741824 1073778376 140734594792384 140470650255632 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30660] ppid=30643 vsize=9625004 CPUtime=0.26 cores=1,3,5,7
/proc/30645/task/30660/stat : 30660 (java) S 30643 30645 28151 0 -1 4202560 1732 0 0 0 26 0 0 0 20 0 19 0 280584721 9856004096 14478 33554432000 1073741824 1073778376 140734594792384 140470649203512 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30661] ppid=30643 vsize=9625004 CPUtime=0.27 cores=1,3,5,7
/proc/30645/task/30661/stat : 30661 (java) S 30643 30645 28151 0 -1 4202560 1439 0 0 0 27 0 0 0 20 0 19 0 280584721 9856004096 14478 33554432000 1073741824 1073778376 140734594792384 140470648150968 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30662] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30662/stat : 30662 (java) S 30643 30645 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280584721 9856004096 14478 33554432000 1073741824 1073778376 140734594792384 140470647098104 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30645/tid=30663] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30663/stat : 30663 (java) S 30643 30645 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280584721 9856004096 14478 33554432000 1073741824 1073778376 140734594792384 140470646045768 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30645/tid=30664] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30664/stat : 30664 (java) S 30643 30645 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280584738 9856004096 14478 33554432000 1073741824 1073778376 140734594792384 140470644991016 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.65
Current children cumulated vsize (KiB) 9625004

[startup+6.30064 s]
/proc/loadavg: 5.89 4.96 3.29 3/214 30668
/proc/meminfo: memFree=30518040/32873844 swapFree=6600/6600
[pid=30645] ppid=30643 vsize=9625004 CPUtime=6.88 cores=1,3,5,7
/proc/30645/stat : 30645 (java) S 30643 30645 28151 0 -1 4202496 6970 0 1 0 686 2 0 0 20 0 19 0 280584715 9856004096 14433 33554432000 1073741824 1073778376 140734594792384 140734594783520 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30645/statm: 2406251 14433 2278 9 0 2396937 0
[pid=30645/tid=30647] ppid=30643 vsize=9625004 CPUtime=6.14 cores=1,3,5,7
/proc/30645/task/30647/stat : 30647 (java) R 30643 30645 28151 0 -1 4202560 2527 0 1 0 612 2 0 0 20 0 19 0 280584716 9856004096 14433 33554432000 1073741824 1073778376 140734594792384 140471299846448 140471150731164 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30645/tid=30648] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30648/stat : 30648 (java) S 30643 30645 28151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280584717 9856004096 14433 33554432000 1073741824 1073778376 140734594792384 140471272298920 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30645/tid=30649] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30649/stat : 30649 (java) S 30643 30645 28151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280584717 9856004096 14433 33554432000 1073741824 1073778376 140734594792384 140471271246376 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30645/tid=30650] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30650/stat : 30650 (java) S 30643 30645 28151 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 280584717 9856004096 14433 33554432000 1073741824 1073778376 140734594792384 140471270193320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30645/tid=30651] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30651/stat : 30651 (java) S 30643 30645 28151 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 280584717 9856004096 14433 33554432000 1073741824 1073778376 140734594792384 140471269140776 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30645/tid=30652] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30652/stat : 30652 (java) S 30643 30645 28151 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280584717 9856004096 14433 33554432000 1073741824 1073778376 140734594792384 140471139085224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30653] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30653/stat : 30653 (java) S 30643 30645 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280584717 9856004096 14433 33554432000 1073741824 1073778376 140734594792384 140471138032680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30654] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30654/stat : 30654 (java) S 30643 30645 28151 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280584717 9856004096 14433 33554432000 1073741824 1073778376 140734594792384 140471136979624 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30645/tid=30655] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30655/stat : 30655 (java) S 30643 30645 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280584718 9856004096 14433 33554432000 1073741824 1073778376 140734594792384 140471135927080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30656] ppid=30643 vsize=9625004 CPUtime=0.15 cores=1,3,5,7
/proc/30645/task/30656/stat : 30656 (java) S 30643 30645 28151 0 -1 4202560 34 0 0 0 15 0 0 0 20 0 19 0 280584719 9856004096 14433 33554432000 1073741824 1073778376 140734594792384 140470653413736 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30657] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30657/stat : 30657 (java) S 30643 30645 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280584719 9856004096 14433 33554432000 1073741824 1073778376 140734594792384 140470652360056 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30658] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30658/stat : 30658 (java) S 30643 30645 28151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280584719 9856004096 14433 33554432000 1073741824 1073778376 140734594792384 140470651306888 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30659] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30659/stat : 30659 (java) S 30643 30645 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280584721 9856004096 14433 33554432000 1073741824 1073778376 140734594792384 140470650255632 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30660] ppid=30643 vsize=9625004 CPUtime=0.27 cores=1,3,5,7
/proc/30645/task/30660/stat : 30660 (java) S 30643 30645 28151 0 -1 4202560 1732 0 0 0 27 0 0 0 20 0 19 0 280584721 9856004096 14433 33554432000 1073741824 1073778376 140734594792384 140470649203512 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30661] ppid=30643 vsize=9625004 CPUtime=0.28 cores=1,3,5,7
/proc/30645/task/30661/stat : 30661 (java) S 30643 30645 28151 0 -1 4202560 1439 0 0 0 28 0 0 0 20 0 19 0 280584721 9856004096 14433 33554432000 1073741824 1073778376 140734594792384 140470648150968 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30645/tid=30662] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30662/stat : 30662 (java) S 30643 30645 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280584721 9856004096 14433 33554432000 1073741824 1073778376 140734594792384 140470647098104 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30645/tid=30663] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30663/stat : 30663 (java) S 30643 30645 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280584721 9856004096 14433 33554432000 1073741824 1073778376 140734594792384 140470646045768 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30645/tid=30664] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30664/stat : 30664 (java) S 30643 30645 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280584738 9856004096 14433 33554432000 1073741824 1073778376 140734594792384 140470644991016 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.88
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]

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

[pid=30645/tid=30660] ppid=30643 vsize=9625004 CPUtime=0.27 cores=1,3,5,7
/proc/30645/task/30660/stat : 30660 (java) S 30643 30645 28151 0 -1 4202560 1732 0 0 0 27 0 0 0 20 0 19 0 280584721 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140470649203512 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30661] ppid=30643 vsize=9625004 CPUtime=0.3 cores=1,3,5,7
/proc/30645/task/30661/stat : 30661 (java) S 30643 30645 28151 0 -1 4202560 1694 0 0 0 30 0 0 0 20 0 19 0 280584721 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140470648150968 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30645/tid=30662] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30662/stat : 30662 (java) S 30643 30645 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280584721 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140470647098104 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30645/tid=30663] ppid=30643 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/30645/task/30663/stat : 30663 (java) S 30643 30645 28151 0 -1 4202560 95 0 0 0 21 21 0 0 20 0 19 0 280584721 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140470646045768 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30645/tid=30664] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30664/stat : 30664 (java) S 30643 30645 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280584738 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140470644991016 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1671.31
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 2.17 3/213 31102
/proc/meminfo: memFree=30277076/32873844 swapFree=6600/6600
[pid=30645] ppid=30643 vsize=9625004 CPUtime=1731.51 cores=1,3,5,7
/proc/30645/stat : 30645 (java) S 30643 30645 28151 0 -1 4202496 10304 0 1 0 173099 52 0 0 20 0 19 0 280584715 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140734594783520 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30645/statm: 2406251 81041 2279 9 0 2396937 0
[pid=30645/tid=30647] ppid=30643 vsize=9625004 CPUtime=1700.1 cores=1,3,5,7
/proc/30645/task/30647/stat : 30647 (java) R 30643 30645 28151 0 -1 4202560 2822 0 1 0 169982 28 0 0 20 0 19 0 280584716 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140471299846448 140471150569031 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30648] ppid=30643 vsize=9625004 CPUtime=1.43 cores=1,3,5,7
/proc/30645/task/30648/stat : 30648 (java) S 30643 30645 28151 0 -1 4202560 294 0 0 0 139 4 0 0 20 0 19 0 280584717 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140471272298920 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30649] ppid=30643 vsize=9625004 CPUtime=1.5 cores=1,3,5,7
/proc/30645/task/30649/stat : 30649 (java) S 30643 30645 28151 0 -1 4202560 284 0 0 0 145 5 0 0 20 0 19 0 280584717 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140471271246376 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30645/tid=30650] ppid=30643 vsize=9625004 CPUtime=1.56 cores=1,3,5,7
/proc/30645/task/30650/stat : 30650 (java) S 30643 30645 28151 0 -1 4202560 402 0 0 0 152 4 0 0 20 0 19 0 280584717 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140471270193320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30651] ppid=30643 vsize=9625004 CPUtime=1.6 cores=1,3,5,7
/proc/30645/task/30651/stat : 30651 (java) S 30643 30645 28151 0 -1 4202560 410 0 0 0 156 4 0 0 20 0 19 0 280584717 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140471269140776 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30645/tid=30652] ppid=30643 vsize=9625004 CPUtime=1.43 cores=1,3,5,7
/proc/30645/task/30652/stat : 30652 (java) S 30643 30645 28151 0 -1 4202560 403 0 0 0 140 3 0 0 20 0 19 0 280584717 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140471139085224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30645/tid=30653] ppid=30643 vsize=9625004 CPUtime=1.58 cores=1,3,5,7
/proc/30645/task/30653/stat : 30653 (java) S 30643 30645 28151 0 -1 4202560 291 0 0 0 154 4 0 0 20 0 19 0 280584717 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140471138032680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30645/tid=30654] ppid=30643 vsize=9625004 CPUtime=1.56 cores=1,3,5,7
/proc/30645/task/30654/stat : 30654 (java) S 30643 30645 28151 0 -1 4202560 196 0 0 0 153 3 0 0 20 0 19 0 280584717 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140471136979624 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30655] ppid=30643 vsize=9625004 CPUtime=1.36 cores=1,3,5,7
/proc/30645/task/30655/stat : 30655 (java) S 30643 30645 28151 0 -1 4202560 335 0 0 0 132 4 0 0 20 0 19 0 280584718 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140471135927080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30656] ppid=30643 vsize=9625004 CPUtime=14.38 cores=1,3,5,7
/proc/30645/task/30656/stat : 30656 (java) S 30643 30645 28151 0 -1 4202560 160 0 0 0 1435 3 0 0 20 0 19 0 280584719 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140470653413736 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30645/tid=30657] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30657/stat : 30657 (java) S 30643 30645 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280584719 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140470652360056 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30658] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30658/stat : 30658 (java) S 30643 30645 28151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280584719 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140470651306888 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30659] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30659/stat : 30659 (java) S 30643 30645 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280584721 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140470650255632 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30660] ppid=30643 vsize=9625004 CPUtime=0.27 cores=1,3,5,7
/proc/30645/task/30660/stat : 30660 (java) S 30643 30645 28151 0 -1 4202560 1732 0 0 0 27 0 0 0 20 0 19 0 280584721 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140470649203512 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30661] ppid=30643 vsize=9625004 CPUtime=0.3 cores=1,3,5,7
/proc/30645/task/30661/stat : 30661 (java) S 30643 30645 28151 0 -1 4202560 1694 0 0 0 30 0 0 0 20 0 19 0 280584721 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140470648150968 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30645/tid=30662] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30662/stat : 30662 (java) S 30643 30645 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280584721 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140470647098104 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30645/tid=30663] ppid=30643 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/30645/task/30663/stat : 30663 (java) S 30643 30645 28151 0 -1 4202560 99 0 0 0 22 22 0 0 20 0 19 0 280584721 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140470646045768 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30645/tid=30664] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30664/stat : 30664 (java) S 30643 30645 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280584738 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140470644991016 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1731.51
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 1.99 2.00 2.16 3/213 31102
/proc/meminfo: memFree=30266712/32873844 swapFree=6600/6600
[pid=30645] ppid=30643 vsize=9625004 CPUtime=1791.75 cores=1,3,5,7
/proc/30645/stat : 30645 (java) S 30643 30645 28151 0 -1 4202496 10315 0 1 0 179122 53 0 0 20 0 19 0 280584715 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140734594783520 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30645/statm: 2406251 81041 2279 9 0 2396937 0
[pid=30645/tid=30647] ppid=30643 vsize=9625004 CPUtime=1759.51 cores=1,3,5,7
/proc/30645/task/30647/stat : 30647 (java) R 30643 30645 28151 0 -1 4202560 2825 0 1 0 175922 29 0 0 20 0 19 0 280584716 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140471299846448 140471150569015 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30648] ppid=30643 vsize=9625004 CPUtime=1.45 cores=1,3,5,7
/proc/30645/task/30648/stat : 30648 (java) S 30643 30645 28151 0 -1 4202560 294 0 0 0 141 4 0 0 20 0 19 0 280584717 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140471272298920 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30649] ppid=30643 vsize=9625004 CPUtime=1.53 cores=1,3,5,7
/proc/30645/task/30649/stat : 30649 (java) S 30643 30645 28151 0 -1 4202560 284 0 0 0 148 5 0 0 20 0 19 0 280584717 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140471271246376 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30645/tid=30650] ppid=30643 vsize=9625004 CPUtime=1.62 cores=1,3,5,7
/proc/30645/task/30650/stat : 30650 (java) S 30643 30645 28151 0 -1 4202560 402 0 0 0 158 4 0 0 20 0 19 0 280584717 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140471270193320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30645/tid=30651] ppid=30643 vsize=9625004 CPUtime=1.63 cores=1,3,5,7
/proc/30645/task/30651/stat : 30651 (java) S 30643 30645 28151 0 -1 4202560 410 0 0 0 159 4 0 0 20 0 19 0 280584717 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140471269140776 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30645/tid=30652] ppid=30643 vsize=9625004 CPUtime=1.47 cores=1,3,5,7
/proc/30645/task/30652/stat : 30652 (java) S 30643 30645 28151 0 -1 4202560 403 0 0 0 143 4 0 0 20 0 19 0 280584717 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140471139085224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30653] ppid=30643 vsize=9625004 CPUtime=1.62 cores=1,3,5,7
/proc/30645/task/30653/stat : 30653 (java) S 30643 30645 28151 0 -1 4202560 291 0 0 0 158 4 0 0 20 0 19 0 280584717 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140471138032680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30645/tid=30654] ppid=30643 vsize=9625004 CPUtime=1.61 cores=1,3,5,7
/proc/30645/task/30654/stat : 30654 (java) S 30643 30645 28151 0 -1 4202560 196 0 0 0 158 3 0 0 20 0 19 0 280584717 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140471136979624 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30645/tid=30655] ppid=30643 vsize=9625004 CPUtime=1.39 cores=1,3,5,7
/proc/30645/task/30655/stat : 30655 (java) S 30643 30645 28151 0 -1 4202560 335 0 0 0 135 4 0 0 20 0 19 0 280584718 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140471135927080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30656] ppid=30643 vsize=9625004 CPUtime=14.73 cores=1,3,5,7
/proc/30645/task/30656/stat : 30656 (java) S 30643 30645 28151 0 -1 4202560 164 0 0 0 1470 3 0 0 20 0 19 0 280584719 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140470653413736 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30645/tid=30657] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30657/stat : 30657 (java) S 30643 30645 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280584719 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140470652360056 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30658] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30658/stat : 30658 (java) S 30643 30645 28151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280584719 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140470651306888 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30659] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30659/stat : 30659 (java) S 30643 30645 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280584721 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140470650255632 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30660] ppid=30643 vsize=9625004 CPUtime=0.27 cores=1,3,5,7
/proc/30645/task/30660/stat : 30660 (java) S 30643 30645 28151 0 -1 4202560 1732 0 0 0 27 0 0 0 20 0 19 0 280584721 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140470649203512 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30661] ppid=30643 vsize=9625004 CPUtime=0.3 cores=1,3,5,7
/proc/30645/task/30661/stat : 30661 (java) S 30643 30645 28151 0 -1 4202560 1694 0 0 0 30 0 0 0 20 0 19 0 280584721 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140470648150968 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30645/tid=30662] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30662/stat : 30662 (java) S 30643 30645 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280584721 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140470647098104 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30645/tid=30663] ppid=30643 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/30645/task/30663/stat : 30663 (java) S 30643 30645 28151 0 -1 4202560 103 0 0 0 23 23 0 0 20 0 19 0 280584721 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140470646045768 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30645/tid=30664] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30664/stat : 30664 (java) S 30643 30645 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280584738 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140470644991016 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.75
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790.6 s]
/proc/loadavg: 1.99 2.00 2.16 3/213 31102
/proc/meminfo: memFree=30266712/32873844 swapFree=6600/6600
[pid=30645] ppid=30643 vsize=9625004 CPUtime=1800.06 cores=1,3,5,7
/proc/30645/stat : 30645 (java) S 30643 30645 28151 0 -1 4202496 10315 0 1 0 179953 53 0 0 20 0 19 0 280584715 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140734594783520 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30645/statm: 2406251 81041 2279 9 0 2396937 0
[pid=30645/tid=30647] ppid=30643 vsize=9625004 CPUtime=1767.8 cores=1,3,5,7
/proc/30645/task/30647/stat : 30647 (java) R 30643 30645 28151 0 -1 4202560 2825 0 1 0 176751 29 0 0 20 0 19 0 280584716 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140471299846448 140471150513472 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30648] ppid=30643 vsize=9625004 CPUtime=1.45 cores=1,3,5,7
/proc/30645/task/30648/stat : 30648 (java) S 30643 30645 28151 0 -1 4202560 294 0 0 0 141 4 0 0 20 0 19 0 280584717 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140471272298920 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30649] ppid=30643 vsize=9625004 CPUtime=1.53 cores=1,3,5,7
/proc/30645/task/30649/stat : 30649 (java) S 30643 30645 28151 0 -1 4202560 284 0 0 0 148 5 0 0 20 0 19 0 280584717 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140471271246376 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30645/tid=30650] ppid=30643 vsize=9625004 CPUtime=1.62 cores=1,3,5,7
/proc/30645/task/30650/stat : 30650 (java) S 30643 30645 28151 0 -1 4202560 402 0 0 0 158 4 0 0 20 0 19 0 280584717 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140471270193320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30645/tid=30651] ppid=30643 vsize=9625004 CPUtime=1.63 cores=1,3,5,7
/proc/30645/task/30651/stat : 30651 (java) S 30643 30645 28151 0 -1 4202560 410 0 0 0 159 4 0 0 20 0 19 0 280584717 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140471269140776 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30645/tid=30652] ppid=30643 vsize=9625004 CPUtime=1.47 cores=1,3,5,7
/proc/30645/task/30652/stat : 30652 (java) S 30643 30645 28151 0 -1 4202560 403 0 0 0 143 4 0 0 20 0 19 0 280584717 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140471139085224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30653] ppid=30643 vsize=9625004 CPUtime=1.62 cores=1,3,5,7
/proc/30645/task/30653/stat : 30653 (java) S 30643 30645 28151 0 -1 4202560 291 0 0 0 158 4 0 0 20 0 19 0 280584717 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140471138032680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30645/tid=30654] ppid=30643 vsize=9625004 CPUtime=1.61 cores=1,3,5,7
/proc/30645/task/30654/stat : 30654 (java) S 30643 30645 28151 0 -1 4202560 196 0 0 0 158 3 0 0 20 0 19 0 280584717 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140471136979624 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30645/tid=30655] ppid=30643 vsize=9625004 CPUtime=1.39 cores=1,3,5,7
/proc/30645/task/30655/stat : 30655 (java) S 30643 30645 28151 0 -1 4202560 335 0 0 0 135 4 0 0 20 0 19 0 280584718 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140471135927080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30656] ppid=30643 vsize=9625004 CPUtime=14.73 cores=1,3,5,7
/proc/30645/task/30656/stat : 30656 (java) S 30643 30645 28151 0 -1 4202560 164 0 0 0 1470 3 0 0 20 0 19 0 280584719 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140470653413736 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30645/tid=30657] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30657/stat : 30657 (java) S 30643 30645 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280584719 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140470652360056 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30658] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30658/stat : 30658 (java) S 30643 30645 28151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280584719 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140470651306888 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30659] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30659/stat : 30659 (java) S 30643 30645 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280584721 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140470650255632 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30660] ppid=30643 vsize=9625004 CPUtime=0.27 cores=1,3,5,7
/proc/30645/task/30660/stat : 30660 (java) S 30643 30645 28151 0 -1 4202560 1732 0 0 0 27 0 0 0 20 0 19 0 280584721 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140470649203512 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30645/tid=30661] ppid=30643 vsize=9625004 CPUtime=0.3 cores=1,3,5,7
/proc/30645/task/30661/stat : 30661 (java) S 30643 30645 28151 0 -1 4202560 1694 0 0 0 30 0 0 0 20 0 19 0 280584721 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140470648150968 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30645/tid=30662] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30662/stat : 30662 (java) S 30643 30645 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280584721 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140470647098104 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30645/tid=30663] ppid=30643 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/30645/task/30663/stat : 30663 (java) S 30643 30645 28151 0 -1 4202560 103 0 0 0 24 23 0 0 20 0 19 0 280584721 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140470646045768 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30645/tid=30664] ppid=30643 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30645/task/30664/stat : 30664 (java) S 30643 30645 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280584738 9856004096 81041 33554432000 1073741824 1073778376 140734594792384 140470644991016 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625004

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

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

Child status: 143

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

Real time (s): 1790.66
CPU time (s): 1800.06
CPU user time (s): 1799.53
CPU system time (s): 0.53
CPU usage (%): 100.525
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.26
system time used= 1.01185
maximum resident set size= 324324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10356
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= 45239
involuntary context switches= 25695

runsolver used 6.571 second user time and 14.2118 second system time

The end

Launcher Data 

Begin job on node140 at 2012-05-27 20:49:59
IDJOB=3710590
IDBENCH=2060
IDSOLVER=2289
FILE ID=node140/3710590-1338144598
RUNJOBID= node140-1338124688-28168
PBS_JOBID= 14624514
Free space on /tmp= 71336 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8a2.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-3710590-1338144598/watcher-3710590-1338144598 -o /tmp/evaluation-result-3710590-1338144598/solver-3710590-1338144598 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710590-1338144598.opb

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

MD5SUM BENCH= d9e9e5fece70ebbc4c28befed36e7afc
RANDOM SEED=1256799483

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
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:        30568504 kB
Buffers:          391228 kB
Cached:           709732 kB
SwapCached:         1492 kB
Active:          1183768 kB
Inactive:         258220 kB
Active(anon):     333088 kB
Inactive(anon):     8612 kB
Active(file):     850680 kB
Inactive(file):   249608 kB
Unevictable:        6600 kB
Mlocked:            6600 kB
SwapTotal:      67108856 kB
SwapFree:       67105300 kB
Dirty:               860 kB
Writeback:             0 kB
AnonPages:        348648 kB
Mapped:            19884 kB
Shmem:                 8 kB
Slab:             718852 kB
SReclaimable:     160772 kB
SUnreclaim:       558080 kB
KernelStack:        1592 kB
PageTables:         4892 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     697736 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    321536 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= 71332 MiB
End job on node140 at 2012-05-27 21:19:51