Trace number 3710805

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)6 1800.49 1790.36

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-rd84.b.opb
MD5SUM6560abb26f607ef952ebe1a74dd5dae1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark5.70713
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
Number of variables1009
Total number of constraints3773
Number of constraints which are clauses3773
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 constraint5
Maximum length of a constraint446
Number of terms in the objective function 1009
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 1009
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1009
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.07	c version 2.3.2.v20120418
0.00/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.07	c java.vm.version	19.1-b02
0.00/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		1.6.0_24
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.07	c Free memory 		501472288
0.00/0.07	c Max memory 		7480803328
0.00/0.07	c Total memory 		504102912
0.00/0.07	c Number of processors 	8
0.10/0.11	c read org.sat4j.minisat.orders.VarOrderHeap
0.10/0.11	c configuring ORDERS
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=true
0.10/0.11	c Heuristics kept accross calls (keep the solver "hot")
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3710805-1338152865.opb
0.10/0.11	c reading problem ... 
0.79/0.57	c ... done. Wall clock time 0.464s.
0.79/0.57	c declared #vars     1009
0.79/0.57	c #constraints  3773
0.79/0.57	c constraints type 
0.79/0.57	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3773
0.79/0.57	c 3773 constraints processed.
0.90/0.61	c SATISFIABLE
0.90/0.61	c OPTIMIZING...
0.90/0.61	c Got one! Elapsed wall clock time (in seconds):0.498
0.90/0.61	o 9
1.92/1.29	c cleaning 2499 clauses out of 5000 with flag 5000/5000
2.57/1.89	c cleaning 4248 clauses out of 8505 with flag 11004/11004
3.30/2.54	c cleaning 5613 clauses out of 11253 with flag 18000/18000
4.11/3.33	c cleaning 6819 clauses out of 13641 with flag 26001/26001
4.93/4.18	c cleaning 7897 clauses out of 15821 with flag 35000/35000
5.93/5.15	c cleaning 8951 clauses out of 17924 with flag 45000/45000
6.94/6.14	c cleaning 9970 clauses out of 19973 with flag 56000/56000
8.04/7.30	c cleaning 10993 clauses out of 22003 with flag 68000/68000
9.44/8.61	c cleaning 11991 clauses out of 24010 with flag 81000/81000
10.76/9.97	c cleaning 12993 clauses out of 26019 with flag 95000/95000
12.26/11.42	c cleaning 14001 clauses out of 28026 with flag 110000/110000
13.79/12.94	c cleaning 14978 clauses out of 30025 with flag 126000/126000
15.49/14.64	c cleaning 15991 clauses out of 32047 with flag 143000/143000
17.20/16.38	c cleaning 16951 clauses out of 34056 with flag 161000/161000
19.10/18.23	c cleaning 18024 clauses out of 36105 with flag 180000/180000
21.11/20.26	c cleaning 18992 clauses out of 38081 with flag 200000/200000
23.22/22.36	c cleaning 20017 clauses out of 40089 with flag 221000/221000
25.43/24.56	c cleaning 21031 clauses out of 42072 with flag 243000/243000
27.84/26.96	c cleaning 21992 clauses out of 44041 with flag 266000/266000
30.15/29.22	c cleaning 23020 clauses out of 46050 with flag 290001/290001
32.55/31.69	c cleaning 23998 clauses out of 48029 with flag 315000/315000
35.35/34.49	c cleaning 25000 clauses out of 50031 with flag 341000/341000
38.10/37.12	c cleaning 26001 clauses out of 52032 with flag 368001/368001
41.21/40.24	c cleaning 27014 clauses out of 54031 with flag 396001/396001
44.11/43.17	c cleaning 27974 clauses out of 56016 with flag 425000/425000
47.24/46.27	c cleaning 28999 clauses out of 58043 with flag 455001/455001
50.34/49.33	c cleaning 29987 clauses out of 60043 with flag 486000/486000
53.85/52.85	c cleaning 31010 clauses out of 62056 with flag 518000/518000
57.36/56.40	c cleaning 31975 clauses out of 64046 with flag 551000/551000
61.10/60.05	c cleaning 33024 clauses out of 66071 with flag 585000/585000
64.74/63.70	c cleaning 34018 clauses out of 68047 with flag 620000/620000
68.44/67.34	c cleaning 35002 clauses out of 70029 with flag 656000/656000
72.28/71.19	c cleaning 35970 clauses out of 72028 with flag 693001/693001
76.28/75.18	c cleaning 37023 clauses out of 74060 with flag 731003/731003
80.29/79.18	c cleaning 38004 clauses out of 76038 with flag 770004/770004
84.30/83.15	c cleaning 38964 clauses out of 78030 with flag 810000/810000
89.00/87.86	c cleaning 39993 clauses out of 80066 with flag 851000/851000
93.43/92.28	c cleaning 41022 clauses out of 82073 with flag 893000/893000
97.97/96.78	c cleaning 42000 clauses out of 84051 with flag 936000/936000
102.47/101.29	c cleaning 42950 clauses out of 86051 with flag 980000/980000
107.27/106.07	c cleaning 44036 clauses out of 88105 with flag 1025004/1025004
112.20/110.99	c cleaning 45008 clauses out of 90067 with flag 1071002/1071002
117.22/115.97	c cleaning 46020 clauses out of 92061 with flag 1118004/1118004
122.87/121.50	c cleaning 46991 clauses out of 94037 with flag 1166000/1166000
127.92/126.59	c cleaning 48001 clauses out of 96046 with flag 1215000/1215000
133.26/131.89	c cleaning 49009 clauses out of 98045 with flag 1265000/1265000
138.66/137.22	c cleaning 49973 clauses out of 100036 with flag 1316000/1316000
144.22/142.71	c cleaning 51008 clauses out of 102063 with flag 1368000/1368000
149.62/148.12	c cleaning 52016 clauses out of 104055 with flag 1421000/1421000
155.13/153.61	c cleaning 52985 clauses out of 106039 with flag 1475000/1475000
161.25/159.70	c cleaning 54020 clauses out of 108056 with flag 1530002/1530002
167.48/165.90	c cleaning 55002 clauses out of 110034 with flag 1586000/1586000
174.60/173.01	c cleaning 56011 clauses out of 112037 with flag 1643005/1643005
181.02/179.42	c cleaning 56996 clauses out of 114022 with flag 1701001/1701001
187.93/186.30	c cleaning 57987 clauses out of 116027 with flag 1760002/1760002
192.47/190.89	c Got one! Elapsed wall clock time (in seconds):190.778
192.47/190.89	o 8
193.17/191.57	c cleaning 52202 clauses out of 104454 with flag 5000/1806416
193.89/192.23	c cleaning 29118 clauses out of 58252 with flag 11000/1812416
194.60/192.90	c cleaning 18049 clauses out of 36134 with flag 18000/1819416
195.41/193.70	c cleaning 12988 clauses out of 26085 with flag 26000/1827416
196.23/194.60	c cleaning 11024 clauses out of 22097 with flag 35000/1836416
197.14/195.49	c cleaning 10501 clauses out of 21075 with flag 45002/1846418
198.15/196.49	c cleaning 10759 clauses out of 21572 with flag 56000/1857416
199.28/197.59	c cleaning 11387 clauses out of 22813 with flag 68000/1869416
200.58/198.82	c cleaning 12195 clauses out of 24426 with flag 81000/1882416
201.90/200.11	c cleaning 13081 clauses out of 26231 with flag 95000/1896416
203.20/201.47	c cleaning 14074 clauses out of 28157 with flag 110007/1911423
204.70/202.93	c cleaning 15034 clauses out of 30076 with flag 126000/1927416
206.31/204.59	c cleaning 16013 clauses out of 32042 with flag 143000/1944416
208.11/206.34	c cleaning 16991 clauses out of 34029 with flag 161000/1962416
210.03/208.21	c cleaning 17971 clauses out of 36038 with flag 180000/1981416
211.94/210.12	c cleaning 19023 clauses out of 38068 with flag 200001/2001417
213.94/212.12	c cleaning 19994 clauses out of 40044 with flag 221000/2022416
216.08/214.20	c cleaning 21011 clauses out of 42050 with flag 243000/2044416
218.40/216.56	c cleaning 22006 clauses out of 44039 with flag 266000/2067416
221.02/219.10	c cleaning 22999 clauses out of 46033 with flag 290000/2091416
224.03/222.15	c cleaning 23985 clauses out of 48034 with flag 315000/2116416
226.83/224.96	c cleaning 25021 clauses out of 50054 with flag 341005/2142421
229.74/227.85	c cleaning 25994 clauses out of 52028 with flag 368000/2169416
232.44/230.59	c cleaning 27012 clauses out of 54034 with flag 396000/2197416
235.57/233.68	c cleaning 28008 clauses out of 56022 with flag 425000/2226416
239.20/237.21	c cleaning 28994 clauses out of 58015 with flag 455001/2256417
242.53/240.55	c cleaning 29984 clauses out of 60020 with flag 486000/2287416
246.25/244.25	c cleaning 31004 clauses out of 62042 with flag 518006/2319422
249.66/247.61	c Got one! Elapsed wall clock time (in seconds):247.506
249.66/247.61	o 7
250.36/248.30	c cleaning 32924 clauses out of 65866 with flag 5001/2354250
250.98/248.94	c cleaning 19390 clauses out of 38941 with flag 11000/2360249
251.69/249.66	c cleaning 13228 clauses out of 26551 with flag 18000/2367249
252.51/250.42	c cleaning 10640 clauses out of 21326 with flag 26003/2375252
253.43/251.37	c cleaning 9825 clauses out of 19683 with flag 35000/2384249
254.44/252.31	c cleaning 9923 clauses out of 19860 with flag 45002/2394251
255.68/253.50	c cleaning 10450 clauses out of 20935 with flag 56000/2405249
256.81/254.62	c cleaning 11211 clauses out of 22485 with flag 68000/2417249
258.11/255.96	c cleaning 12129 clauses out of 24274 with flag 81000/2430249
259.52/257.36	c cleaning 13058 clauses out of 26145 with flag 95000/2444249
261.02/258.84	c cleaning 14025 clauses out of 28087 with flag 110000/2459249
262.65/260.45	c cleaning 14973 clauses out of 30062 with flag 126000/2475249
264.46/262.28	c cleaning 16008 clauses out of 32091 with flag 143002/2492251
266.48/264.27	c cleaning 17014 clauses out of 34081 with flag 161000/2510249
269.12/266.89	c cleaning 18019 clauses out of 36067 with flag 180000/2529249
271.84/269.53	c cleaning 18973 clauses out of 38048 with flag 200000/2549249
274.54/272.28	c cleaning 20009 clauses out of 40075 with flag 221000/2570249
276.96/274.64	c cleaning 21007 clauses out of 42067 with flag 243001/2592250
279.37/277.03	c cleaning 22002 clauses out of 44059 with flag 266000/2615249
282.18/279.87	c cleaning 22996 clauses out of 46057 with flag 290000/2639249
285.19/282.80	c cleaning 24028 clauses out of 48061 with flag 315000/2664249
287.80/285.43	c cleaning 24999 clauses out of 50033 with flag 341000/2690249
290.62/288.21	c cleaning 26001 clauses out of 52034 with flag 368000/2717249
293.43/291.04	c cleaning 27014 clauses out of 54034 with flag 396001/2745250
295.17/292.79	c Got one! Elapsed wall clock time (in seconds):292.685
295.17/292.79	o 6
296.01/293.40	c cleaning 24423 clauses out of 48867 with flag 5001/2767097
296.85/294.01	c cleaning 15218 clauses out of 30444 with flag 11001/2773097
297.46/294.67	c cleaning 11103 clauses out of 22226 with flag 18001/2780097
298.28/295.42	c cleaning 9551 clauses out of 19124 with flag 26002/2788098
299.10/296.29	c cleaning 9269 clauses out of 18571 with flag 35000/2797096
300.12/297.26	c cleaning 9639 clauses out of 19302 with flag 45000/2807096
301.13/298.27	c cleaning 10319 clauses out of 20663 with flag 56000/2818096
302.45/299.50	c cleaning 11121 clauses out of 22344 with flag 68000/2830096
303.67/300.71	c cleaning 12095 clauses out of 24224 with flag 81001/2843097
304.98/302.03	c cleaning 13043 clauses out of 26128 with flag 95000/2857096
306.39/303.44	c cleaning 14029 clauses out of 28085 with flag 110000/2872096
307.99/305.09	c cleaning 15009 clauses out of 30056 with flag 126000/2888096
309.72/306.75	c cleaning 16014 clauses out of 32048 with flag 143001/2905097
311.63/308.68	c cleaning 17013 clauses out of 34033 with flag 161000/2923096
313.85/310.84	c cleaning 18001 clauses out of 36021 with flag 180001/2942097
315.85/312.82	c cleaning 18987 clauses out of 38020 with flag 200001/2962097
317.86/314.87	c cleaning 19997 clauses out of 40032 with flag 221000/2983096
320.08/317.02	c cleaning 21015 clauses out of 42035 with flag 243000/3005096
322.39/319.35	c cleaning 21999 clauses out of 44020 with flag 266000/3028096
324.80/321.77	c cleaning 22977 clauses out of 46021 with flag 290000/3052096
327.52/324.42	c cleaning 24005 clauses out of 48044 with flag 315000/3077096
330.23/327.10	c cleaning 25003 clauses out of 50039 with flag 341000/3103096
332.93/329.89	c cleaning 25977 clauses out of 52036 with flag 368000/3130096
336.14/333.02	c cleaning 26984 clauses out of 54059 with flag 396000/3158096
339.67/336.57	c cleaning 28032 clauses out of 56075 with flag 425000/3187096
343.00/339.89	c cleaning 28973 clauses out of 58043 with flag 455000/3217096
346.43/343.22	c cleaning 29985 clauses out of 60070 with flag 486000/3248096
349.84/346.68	c cleaning 31034 clauses out of 62085 with flag 518000/3280096
353.26/350.09	c cleaning 31983 clauses out of 64051 with flag 551000/3313096
357.17/353.97	c cleaning 33013 clauses out of 66068 with flag 585000/3347096
361.40/358.15	c cleaning 34001 clauses out of 68057 with flag 620002/3382098
365.62/362.32	c cleaning 34968 clauses out of 70054 with flag 656000/3418096
369.65/366.38	c cleaning 36015 clauses out of 72086 with flag 693000/3455096
373.66/370.37	c cleaning 37015 clauses out of 74075 with flag 731004/3493100
377.89/374.50	c cleaning 38000 clauses out of 76056 with flag 770000/3532096
382.21/378.88	c cleaning 39008 clauses out of 78056 with flag 810000/3572096
386.65/383.28	c cleaning 39987 clauses out of 80048 with flag 851000/3613096
391.38/387.95	c cleaning 41018 clauses out of 82061 with flag 893000/3655096
396.01/392.54	c cleaning 42011 clauses out of 84045 with flag 936002/3698098
401.02/397.60	c cleaning 43005 clauses out of 86033 with flag 980001/3742097
406.44/402.97	c cleaning 43992 clauses out of 88028 with flag 1025001/3787097
411.75/408.21	c cleaning 44971 clauses out of 90035 with flag 1071000/3833096
417.47/413.95	c cleaning 45982 clauses out of 92064 with flag 1118000/3880096
423.20/419.60	c cleaning 47020 clauses out of 94082 with flag 1166000/3928096
430.02/426.41	c cleaning 48020 clauses out of 96065 with flag 1215003/3977099
435.60/431.98	c cleaning 48993 clauses out of 98042 with flag 1265000/4027096
441.22/437.56	c cleaning 50002 clauses out of 100049 with flag 1316000/4078096
447.55/443.88	c cleaning 51015 clauses out of 102048 with flag 1368001/4130097
454.69/450.97	c cleaning 51999 clauses out of 104033 with flag 1421001/4183097
461.63/457.88	c cleaning 52986 clauses out of 106033 with flag 1475000/4237096
468.07/464.23	c cleaning 53994 clauses out of 108053 with flag 1530006/4292102
474.18/470.32	c cleaning 54945 clauses out of 110053 with flag 1586000/4348096
480.70/476.80	c cleaning 56032 clauses out of 112108 with flag 1643000/4405096
488.02/484.12	c cleaning 57006 clauses out of 114076 with flag 1701000/4463096
494.57/490.61	c cleaning 58014 clauses out of 116070 with flag 1760000/4522096
501.20/497.21	c cleaning 59023 clauses out of 118056 with flag 1820000/4582096
508.14/504.17	c cleaning 59999 clauses out of 120034 with flag 1881001/4643097
515.07/511.04	c cleaning 61005 clauses out of 122034 with flag 1943000/4705096
522.70/518.65	c cleaning 62003 clauses out of 124029 with flag 2006000/4768096
530.24/526.11	c cleaning 62997 clauses out of 126026 with flag 2070000/4832096
537.35/533.27	c cleaning 63998 clauses out of 128029 with flag 2135000/4897096
545.09/540.97	c cleaning 65007 clauses out of 130031 with flag 2201000/4963096
552.31/548.16	c cleaning 65994 clauses out of 132027 with flag 2268003/5030099
560.33/556.13	c cleaning 66962 clauses out of 134030 with flag 2336000/5098096
569.14/564.98	c cleaning 68021 clauses out of 136068 with flag 2405000/5167096
577.46/573.23	c cleaning 68989 clauses out of 138052 with flag 2475005/5237101
585.46/581.29	c cleaning 70020 clauses out of 140061 with flag 2546003/5308099
594.18/589.93	c cleaning 71016 clauses out of 142040 with flag 2618002/5380098
602.31/598.09	c cleaning 72000 clauses out of 144022 with flag 2691000/5453096
610.74/606.48	c cleaning 72990 clauses out of 146022 with flag 2765000/5527096
619.87/615.24	c cleaning 73960 clauses out of 148032 with flag 2840000/5602096
629.20/624.14	c cleaning 75029 clauses out of 150072 with flag 2916000/5678096
637.93/632.83	c cleaning 76005 clauses out of 152043 with flag 2993000/5755096
647.25/642.16	c cleaning 76982 clauses out of 154038 with flag 3071000/5833096
656.79/651.64	c cleaning 78003 clauses out of 156056 with flag 3150000/5912096
666.62/661.40	c cleaning 79012 clauses out of 158053 with flag 3230000/5992096
676.04/670.82	c cleaning 80008 clauses out of 160042 with flag 3311001/6073097
685.58/680.38	c cleaning 80992 clauses out of 162033 with flag 3393000/6155096
695.80/690.56	c cleaning 82003 clauses out of 164041 with flag 3476000/6238096
705.62/700.33	c cleaning 82976 clauses out of 166038 with flag 3560000/6322096
716.76/711.47	c cleaning 83984 clauses out of 168062 with flag 3645000/6407096
728.00/722.64	c cleaning 85009 clauses out of 170078 with flag 3731000/6493096
738.43/733.09	c cleaning 85977 clauses out of 172069 with flag 3818000/6580096
749.00/743.59	c cleaning 87018 clauses out of 174092 with flag 3906000/6668096
760.55/755.09	c cleaning 88027 clauses out of 176074 with flag 3995000/6757096
770.99/765.45	c cleaning 89011 clauses out of 178047 with flag 4085000/6847096
781.84/776.23	c cleaning 90004 clauses out of 180036 with flag 4176000/6938096
794.09/788.46	c cleaning 91016 clauses out of 182032 with flag 4268000/7030096
805.55/799.87	c cleaning 91979 clauses out of 184016 with flag 4361000/7123096
816.69/810.97	c cleaning 81356 clauses out of 162762 with flag 4455000/7217096
828.31/822.52	c cleaning 88141 clauses out of 176406 with flag 4550000/7312096
839.74/833.98	c cleaning 92118 clauses out of 184266 with flag 4646001/7408097
851.45/845.66	c cleaning 94538 clauses out of 189147 with flag 4743000/7505096
864.81/858.97	c cleaning 96303 clauses out of 192611 with flag 4841002/7603098
876.83/870.99	c cleaning 71490 clauses out of 143156 with flag 4940000/7702096
890.26/884.31	c cleaning 85826 clauses out of 171667 with flag 5040001/7802097
903.53/897.57	c cleaning 93382 clauses out of 186847 with flag 5141007/7903103
916.68/910.69	c cleaning 97697 clauses out of 195458 with flag 5243000/8005096
930.72/924.64	c cleaning 100309 clauses out of 200761 with flag 5346000/8108096
944.75/938.58	c cleaning 102200 clauses out of 204452 with flag 5450000/8212096
958.19/951.93	c cleaning 47720 clauses out of 95457 with flag 5555000/8317096
971.83/965.50	c cleaning 76790 clauses out of 153737 with flag 5661000/8423096
985.39/979.05	c cleaning 91966 clauses out of 183947 with flag 5768000/8530096
998.64/992.25	c cleaning 99962 clauses out of 199981 with flag 5876000/8638096
1011.60/1005.19	c cleaning 104492 clauses out of 209020 with flag 5985001/8747097
1025.54/1019.01	c cleaning 107252 clauses out of 214527 with flag 6095000/8857096
1039.10/1032.51	c cleaning 109100 clauses out of 218275 with flag 6206000/8968096
1054.05/1047.49	c cleaning 110373 clauses out of 221175 with flag 6318000/9080096
1068.00/1061.39	c cleaning 111881 clauses out of 223802 with flag 6431000/9193096
1081.86/1075.12	c cleaning 112943 clauses out of 225921 with flag 6545000/9307096
1095.94/1089.17	c cleaning 113973 clauses out of 227978 with flag 6660000/9422096
1110.12/1103.25	c cleaning 114971 clauses out of 230005 with flag 6776000/9538096
1125.16/1118.21	c cleaning 115997 clauses out of 232034 with flag 6893000/9655096
1139.40/1132.48	c cleaning 117013 clauses out of 234037 with flag 7011000/9773096
1154.02/1147.06	c cleaning 117994 clauses out of 236024 with flag 7130000/9892096
1168.96/1161.91	c cleaning 118982 clauses out of 238030 with flag 7250000/10012096
1185.11/1178.09	c cleaning 120003 clauses out of 240049 with flag 7371001/10133097
1199.49/1192.37	c cleaning 121011 clauses out of 242046 with flag 7493001/10255097
1214.42/1207.20	c cleaning 121994 clauses out of 244034 with flag 7616000/10378096
1233.46/1226.20	c cleaning 123012 clauses out of 246041 with flag 7740001/10502097
1251.18/1243.85	c cleaning 123981 clauses out of 248028 with flag 7865000/10627096
1267.89/1260.47	c cleaning 124997 clauses out of 250047 with flag 7991000/10753096
1285.32/1277.85	c cleaning 126015 clauses out of 252050 with flag 8118000/10880096
1301.96/1294.49	c cleaning 127007 clauses out of 254035 with flag 8246000/11008096
1318.60/1311.04	c cleaning 127981 clauses out of 256028 with flag 8375000/11137096
1336.64/1329.05	c cleaning 128987 clauses out of 258047 with flag 8505000/11267096
1353.53/1345.89	c cleaning 130017 clauses out of 260061 with flag 8636001/11398097
1372.92/1365.16	c cleaning 130953 clauses out of 262043 with flag 8768000/11530096
1391.22/1383.38	c cleaning 132034 clauses out of 264091 with flag 8901001/11663097
1410.92/1402.92	c cleaning 132997 clauses out of 266057 with flag 9035001/11797097
1433.09/1425.04	c cleaning 134005 clauses out of 268059 with flag 9170000/11932096
1459.85/1451.67	c cleaning 134993 clauses out of 270054 with flag 9306000/12068096
1480.09/1471.78	c cleaning 136022 clauses out of 272062 with flag 9443001/12205097
1499.18/1490.72	c cleaning 136957 clauses out of 274039 with flag 9581000/12343096
1518.37/1509.83	c cleaning 138015 clauses out of 276082 with flag 9720000/12482096
1536.27/1527.65	c cleaning 139008 clauses out of 278069 with flag 9860002/12622098
1555.44/1546.71	c cleaning 140017 clauses out of 280059 with flag 10001000/12763096
1574.73/1565.91	c cleaning 140995 clauses out of 282043 with flag 10143001/12905097
1593.41/1584.53	c cleaning 81445 clauses out of 162901 with flag 10286003/13048099
1615.96/1607.10	c cleaning 112710 clauses out of 225453 with flag 10430000/13192096
1636.15/1627.16	c cleaning 128756 clauses out of 257743 with flag 10575000/13337096
1658.94/1649.89	c cleaning 137483 clauses out of 274988 with flag 10721001/13483097
1680.24/1671.04	c cleaning 142230 clauses out of 284506 with flag 10868002/13630098
1702.64/1693.32	c cleaning 145039 clauses out of 290274 with flag 11016000/13778096
1723.35/1713.98	c cleaning 147003 clauses out of 294235 with flag 11165000/13927096
1743.34/1733.82	c cleaning 148606 clauses out of 297232 with flag 11315000/14077096
1765.12/1755.53	c cleaning 149803 clauses out of 299626 with flag 11466000/14228096
1786.18/1776.51	c cleaning 150884 clauses out of 301823 with flag 11618000/14380096
1800.04/1790.31	c starts		: 329
1800.04/1790.31	c conflicts		: 14496011
1800.04/1790.31	c decisions		: 89728865
1800.04/1790.31	c propagations		: 466253366
1800.04/1790.31	c inspects		: 4315772092
1800.04/1790.31	c shortcuts		: 0
1800.04/1790.31	c learnt literals	: 4
1800.04/1790.31	c learnt binary clauses	: 55
1800.04/1790.31	c learnt ternary clauses	: 391
1800.04/1790.31	c learnt constraints	: 14496007
1800.04/1790.31	c ignored constraints	: 0
1800.04/1790.31	c root simplifications	: 333
1800.04/1790.31	c removed literals (reason simplification)	: 121414077
1800.04/1790.31	c reason swapping (by a shorter reason)	: 0
1800.04/1790.31	c Calls to reduceDB	: 255
1800.04/1790.31	c number of reductions to clauses (during analyze)	: 0
1800.04/1790.31	c number of learned constraints concerned by reduction	: 0
1800.04/1790.31	c number of learning phase by resolution	: 0
1800.04/1790.31	c number of learning phase by cutting planes	: 0
1800.04/1790.31	c speed (assignments/second)	: 260515.4631917369
1800.04/1790.31	c non guided choices	1736
1800.04/1790.35	c learnt constraints type 
1800.04/1790.35	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 5
1800.04/1790.35	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 267134
1800.04/1790.35	c constraints type 
1800.04/1790.35	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3773
1800.04/1790.35	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.04/1790.35	c 3774 constraints processed.
1800.04/1790.35	s SATISFIABLE
1800.04/1790.35	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 
1800.04/1790.35	c objective function=6
1800.04/1790.35	c Total wall clock time (in seconds): 1790.245

Verifier Data 

OK	6

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-3710805-1338152865/watcher-3710805-1338152865 -o /tmp/evaluation-result-3710805-1338152865/solver-3710805-1338152865 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710805-1338152865.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: 1.88 1.99 1.99 3/194 29259
/proc/meminfo: memFree=27843256/32873844 swapFree=6856/6856
[pid=29259] ppid=29257 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/29259/stat : 29259 (java) S 29257 29259 24682 0 -1 4202496 1206 0 0 0 0 0 0 0 20 0 2 0 281411459 94019584 916 33554432000 1073741824 1073778376 140733925506816 140733925497952 223655002173 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29259/statm: 22954 916 697 9 0 16769 0
[pid=29259/tid=29260] ppid=29257 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29260/stat : 29260 (java) D 29257 29259 24682 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 281411460 94019584 916 33554432000 1073741824 1073778376 140733925506816 139908377321000 223642479911 0 0 4096 0 18446744072100588836 0 0 -1 3 0 0 0 0 0

[startup+0.0952541 s]
/proc/loadavg: 1.88 1.99 1.99 3/194 29259
/proc/meminfo: memFree=27843256/32873844 swapFree=6856/6856
[pid=29259] ppid=29257 vsize=9558440 CPUtime=0.1 cores=1,3,5,7
/proc/29259/stat : 29259 (java) S 29257 29259 24682 0 -1 4202496 4281 0 1 0 8 2 0 0 20 0 18 0 281411459 9787842560 5998 33554432000 1073741824 1073778376 140733925506816 140733925497952 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29259/statm: 2389610 5998 2116 9 0 2380296 0
[pid=29259/tid=29260] ppid=29257 vsize=9558440 CPUtime=0.07 cores=1,3,5,7
/proc/29259/task/29260/stat : 29260 (java) R 29257 29259 24682 0 -1 4202560 2412 0 1 0 5 2 0 0 20 0 18 0 281411460 9787842560 5998 33554432000 1073741824 1073778376 140733925506816 139908377324776 223655027981 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440

[startup+0.100391 s]
/proc/loadavg: 1.88 1.99 1.99 3/194 29259
/proc/meminfo: memFree=27843256/32873844 swapFree=6856/6856
[pid=29259] ppid=29257 vsize=9558440 CPUtime=0.1 cores=1,3,5,7
/proc/29259/stat : 29259 (java) S 29257 29259 24682 0 -1 4202496 4364 0 1 0 8 2 0 0 20 0 18 0 281411459 9787842560 6081 33554432000 1073741824 1073778376 140733925506816 140733925497952 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29259/statm: 2389610 6081 2128 9 0 2380296 0
[pid=29259/tid=29260] ppid=29257 vsize=9558440 CPUtime=0.08 cores=1,3,5,7
/proc/29259/task/29260/stat : 29260 (java) R 29257 29259 24682 0 -1 4202560 2482 0 1 0 6 2 0 0 20 0 18 0 281411460 9787842560 6081 33554432000 1073741824 1073778376 140733925506816 139908377324776 223651270475 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440

[startup+0.300336 s]
/proc/loadavg: 1.88 1.99 1.99 3/194 29259
/proc/meminfo: memFree=27843256/32873844 swapFree=6856/6856
[pid=29259] ppid=29257 vsize=9558440 CPUtime=0.58 cores=1,3,5,7
/proc/29259/stat : 29259 (java) S 29257 29259 24682 0 -1 4202496 7257 0 1 0 55 3 0 0 20 0 18 0 281411459 9787842560 11455 33554432000 1073741824 1073778376 140733925506816 140733925497952 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29259/statm: 2389610 11455 2230 9 0 2380296 0
[pid=29259/tid=29260] ppid=29257 vsize=9558440 CPUtime=0.27 cores=1,3,5,7
/proc/29259/task/29260/stat : 29260 (java) R 29257 29259 24682 0 -1 4202560 2499 0 1 0 25 2 0 0 20 0 18 0 281411460 9787842560 11455 33554432000 1073741824 1073778376 140733925506816 139908377316584 223655027981 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 9558440

[startup+0.700338 s]
/proc/loadavg: 1.88 1.99 1.99 3/194 29259
/proc/meminfo: memFree=27843256/32873844 swapFree=6856/6856
[pid=29259] ppid=29257 vsize=9625004 CPUtime=1.19 cores=1,3,5,7
/proc/29259/stat : 29259 (java) S 29257 29259 24682 0 -1 4202496 8773 0 1 0 113 6 0 0 20 0 19 0 281411459 9856004096 41061 33554432000 1073741824 1073778376 140733925506816 140733925497952 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29259/statm: 2406251 41061 2263 9 0 2396937 0
[pid=29259/tid=29260] ppid=29257 vsize=9625004 CPUtime=0.67 cores=1,3,5,7
/proc/29259/task/29260/stat : 29260 (java) R 29257 29259 24682 0 -1 4202560 2570 0 1 0 63 4 0 0 20 0 19 0 281411460 9856004096 41061 33554432000 1073741824 1073778376 140733925506816 139908377317688 139908240989232 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 9625004

[startup+1.50076 s]
/proc/loadavg: 1.88 1.99 1.99 3/213 29278
/proc/meminfo: memFree=27687272/32873844 swapFree=6856/6856
[pid=29259] ppid=29257 vsize=9625004 CPUtime=2.26 cores=1,3,5,7
/proc/29259/stat : 29259 (java) S 29257 29259 24682 0 -1 4202496 8824 0 1 0 219 7 0 0 20 0 19 0 281411459 9856004096 43148 33554432000 1073741824 1073778376 140733925506816 140733925497952 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29259/statm: 2406251 43148 2284 9 0 2396937 0
[pid=29259/tid=29260] ppid=29257 vsize=9625004 CPUtime=1.46 cores=1,3,5,7
/proc/29259/task/29260/stat : 29260 (java) R 29257 29259 24682 0 -1 4202560 2570 0 1 0 142 4 0 0 20 0 19 0 281411460 9856004096 43148 33554432000 1073741824 1073778376 140733925506816 139908377325736 139908241580487 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29259/tid=29262] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29262/stat : 29262 (java) S 29257 29259 24682 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281411460 9856004096 43148 33554432000 1073741824 1073778376 140733925506816 139908366387880 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29259/tid=29263] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29263/stat : 29263 (java) S 29257 29259 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281411460 9856004096 43148 33554432000 1073741824 1073778376 140733925506816 139908365335336 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29259/tid=29264] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29264/stat : 29264 (java) S 29257 29259 24682 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281411460 9856004096 43148 33554432000 1073741824 1073778376 140733925506816 139908364282792 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29259/tid=29265] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29265/stat : 29265 (java) S 29257 29259 24682 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 281411460 9856004096 43148 33554432000 1073741824 1073778376 140733925506816 139908363230248 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29259/tid=29266] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29266/stat : 29266 (java) S 29257 29259 24682 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 281411460 9856004096 43148 33554432000 1073741824 1073778376 140733925506816 139908362176680 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29259/tid=29267] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29267/stat : 29267 (java) S 29257 29259 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281411460 9856004096 43148 33554432000 1073741824 1073778376 140733925506816 139908361124136 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29259/tid=29268] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29268/stat : 29268 (java) S 29257 29259 24682 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281411460 9856004096 43148 33554432000 1073741824 1073778376 140733925506816 139908360071592 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29259/tid=29269] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29269/stat : 29269 (java) S 29257 29259 24682 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281411460 9856004096 43148 33554432000 1073741824 1073778376 140733925506816 139908213324328 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29270] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29270/stat : 29270 (java) S 29257 29259 24682 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 281411461 9856004096 43148 33554432000 1073741824 1073778376 140733925506816 139908201126504 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29271] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29271/stat : 29271 (java) S 29257 29259 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281411462 9856004096 43148 33554432000 1073741824 1073778376 140733925506816 139908200072824 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29259/tid=29272] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29272/stat : 29272 (java) S 29257 29259 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281411462 9856004096 43148 33554432000 1073741824 1073778376 140733925506816 139908199020168 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29259/tid=29273] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29273/stat : 29273 (java) S 29257 29259 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281411464 9856004096 43148 33554432000 1073741824 1073778376 140733925506816 139908197968912 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29259/tid=29274] ppid=29257 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/29259/task/29274/stat : 29274 (java) S 29257 29259 24682 0 -1 4202560 2391 0 0 0 35 0 0 0 20 0 19 0 281411464 9856004096 43148 33554432000 1073741824 1073778376 140733925506816 139908196915256 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29259/tid=29275] ppid=29257 vsize=9625004 CPUtime=0.38 cores=1,3,5,7
/proc/29259/task/29275/stat : 29275 (java) S 29257 29259 24682 0 -1 4202560 2616 0 0 0 36 2 0 0 20 0 19 0 281411464 9856004096 43148 33554432000 1073741824 1073778376 140733925506816 139908195862712 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29276] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29276/stat : 29276 (java) S 29257 29259 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281411464 9856004096 43148 33554432000 1073741824 1073778376 140733925506816 139908194810360 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29277] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29277/stat : 29277 (java) S 29257 29259 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281411464 9856004096 43148 33554432000 1073741824 1073778376 140733925506816 139908193758024 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29259/tid=29278] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29278/stat : 29278 (java) S 29257 29259 24682 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281411517 9856004096 43148 33554432000 1073741824 1073778376 140733925506816 139908192703784 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 9625004

[startup+3.10074 s]
/proc/loadavg: 1.88 1.99 1.99 4/213 29278
/proc/meminfo: memFree=27678328/32873844 swapFree=6856/6856
[pid=29259] ppid=29257 vsize=9625004 CPUtime=3.91 cores=1,3,5,7
/proc/29259/stat : 29259 (java) S 29257 29259 24682 0 -1 4202496 8831 0 1 0 384 7 0 0 20 0 19 0 281411459 9856004096 43153 33554432000 1073741824 1073778376 140733925506816 140733925497952 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29259/statm: 2406251 43153 2284 9 0 2396937 0
[pid=29259/tid=29260] ppid=29257 vsize=9625004 CPUtime=3.03 cores=1,3,5,7
/proc/29259/task/29260/stat : 29260 (java) R 29257 29259 24682 0 -1 4202560 2571 0 1 0 299 4 0 0 20 0 19 0 281411460 9856004096 43153 33554432000 1073741824 1073778376 140733925506816 139908377326120 139908241491875 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29259/tid=29262] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29262/stat : 29262 (java) S 29257 29259 24682 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281411460 9856004096 43153 33554432000 1073741824 1073778376 140733925506816 139908366387880 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29259/tid=29263] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29263/stat : 29263 (java) S 29257 29259 24682 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281411460 9856004096 43153 33554432000 1073741824 1073778376 140733925506816 139908365335336 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29259/tid=29264] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29264/stat : 29264 (java) S 29257 29259 24682 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281411460 9856004096 43153 33554432000 1073741824 1073778376 140733925506816 139908364282792 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29259/tid=29265] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29265/stat : 29265 (java) S 29257 29259 24682 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 281411460 9856004096 43153 33554432000 1073741824 1073778376 140733925506816 139908363230248 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29259/tid=29266] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29266/stat : 29266 (java) S 29257 29259 24682 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281411460 9856004096 43153 33554432000 1073741824 1073778376 140733925506816 139908362176680 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29259/tid=29267] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29267/stat : 29267 (java) S 29257 29259 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281411460 9856004096 43153 33554432000 1073741824 1073778376 140733925506816 139908361124136 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29259/tid=29268] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29268/stat : 29268 (java) S 29257 29259 24682 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281411460 9856004096 43153 33554432000 1073741824 1073778376 140733925506816 139908360071592 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29259/tid=29269] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29269/stat : 29269 (java) S 29257 29259 24682 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281411460 9856004096 43153 33554432000 1073741824 1073778376 140733925506816 139908213324328 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29270] ppid=29257 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/29259/task/29270/stat : 29270 (java) S 29257 29259 24682 0 -1 4202560 31 0 0 0 2 0 0 0 20 0 19 0 281411461 9856004096 43153 33554432000 1073741824 1073778376 140733925506816 139908201126504 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29271] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29271/stat : 29271 (java) S 29257 29259 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281411462 9856004096 43153 33554432000 1073741824 1073778376 140733925506816 139908200072824 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29259/tid=29272] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29272/stat : 29272 (java) S 29257 29259 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281411462 9856004096 43153 33554432000 1073741824 1073778376 140733925506816 139908199020168 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29259/tid=29273] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29273/stat : 29273 (java) S 29257 29259 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281411464 9856004096 43153 33554432000 1073741824 1073778376 140733925506816 139908197968912 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29259/tid=29274] ppid=29257 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/29259/task/29274/stat : 29274 (java) S 29257 29259 24682 0 -1 4202560 2392 0 0 0 37 0 0 0 20 0 19 0 281411464 9856004096 43153 33554432000 1073741824 1073778376 140733925506816 139908196915256 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29259/tid=29275] ppid=29257 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/29259/task/29275/stat : 29275 (java) S 29257 29259 24682 0 -1 4202560 2616 0 0 0 38 2 0 0 20 0 19 0 281411464 9856004096 43153 33554432000 1073741824 1073778376 140733925506816 139908195862712 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29276] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29276/stat : 29276 (java) S 29257 29259 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281411464 9856004096 43153 33554432000 1073741824 1073778376 140733925506816 139908194810360 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29277] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29277/stat : 29277 (java) S 29257 29259 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281411464 9856004096 43153 33554432000 1073741824 1073778376 140733925506816 139908193758024 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29259/tid=29278] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29278/stat : 29278 (java) S 29257 29259 24682 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281411517 9856004096 43153 33554432000 1073741824 1073778376 140733925506816 139908192703784 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.91
Current children cumulated vsize (KiB) 9625004

[startup+6.30081 s]
/proc/loadavg: 1.89 1.99 1.99 3/213 29278
/proc/meminfo: memFree=27676032/32873844 swapFree=6856/6856
[pid=29259] ppid=29257 vsize=9625004 CPUtime=7.14 cores=1,3,5,7
/proc/29259/stat : 29259 (java) S 29257 29259 24682 0 -1 4202496 8852 0 1 0 707 7 0 0 20 0 19 0 281411459 9856004096 43664 33554432000 1073741824 1073778376 140733925506816 140733925497952 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29259/statm: 2406251 43664 2284 9 0 2396937 0
[pid=29259/tid=29260] ppid=29257 vsize=9625004 CPUtime=6.15 cores=1,3,5,7
/proc/29259/task/29260/stat : 29260 (java) R 29257 29259 24682 0 -1 4202560 2575 0 1 0 611 4 0 0 20 0 19 0 281411460 9856004096 43664 33554432000 1073741824 1073778376 140733925506816 139908377325872 139908241665336 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29259/tid=29262] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29262/stat : 29262 (java) S 29257 29259 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281411460 9856004096 43664 33554432000 1073741824 1073778376 140733925506816 139908366387880 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29259/tid=29263] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29263/stat : 29263 (java) S 29257 29259 24682 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281411460 9856004096 43664 33554432000 1073741824 1073778376 140733925506816 139908365335336 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29264] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29264/stat : 29264 (java) S 29257 29259 24682 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281411460 9856004096 43664 33554432000 1073741824 1073778376 140733925506816 139908364282792 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29259/tid=29265] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29265/stat : 29265 (java) S 29257 29259 24682 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 281411460 9856004096 43664 33554432000 1073741824 1073778376 140733925506816 139908363230248 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29259/tid=29266] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29266/stat : 29266 (java) S 29257 29259 24682 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281411460 9856004096 43664 33554432000 1073741824 1073778376 140733925506816 139908362176680 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29259/tid=29267] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29267/stat : 29267 (java) S 29257 29259 24682 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281411460 9856004096 43664 33554432000 1073741824 1073778376 140733925506816 139908361124136 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29259/tid=29268] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29268/stat : 29268 (java) S 29257 29259 24682 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281411460 9856004096 43664 33554432000 1073741824 1073778376 140733925506816 139908360071592 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29259/tid=29269] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29269/stat : 29269 (java) S 29257 29259 24682 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281411460 9856004096 43664 33554432000 1073741824 1073778376 140733925506816 139908213324328 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29270] ppid=29257 vsize=9625004 CPUtime=0.09 cores=1,3,5,7
/proc/29259/task/29270/stat : 29270 (java) S 29257 29259 24682 0 -1 4202560 32 0 0 0 9 0 0 0 20 0 19 0 281411461 9856004096 43664 33554432000 1073741824 1073778376 140733925506816 139908201126504 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29259/tid=29271] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29271/stat : 29271 (java) S 29257 29259 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281411462 9856004096 43664 33554432000 1073741824 1073778376 140733925506816 139908200072824 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29259/tid=29272] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29272/stat : 29272 (java) S 29257 29259 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281411462 9856004096 43664 33554432000 1073741824 1073778376 140733925506816 139908199020168 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29259/tid=29273] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29273/stat : 29273 (java) S 29257 29259 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281411464 9856004096 43664 33554432000 1073741824 1073778376 140733925506816 139908197968912 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29259/tid=29274] ppid=29257 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/29259/task/29274/stat : 29274 (java) S 29257 29259 24682 0 -1 4202560 2393 0 0 0 40 0 0 0 20 0 19 0 281411464 9856004096 43664 33554432000 1073741824 1073778376 140733925506816 139908196915256 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29259/tid=29275] ppid=29257 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/29259/task/29275/stat : 29275 (java) S 29257 29259 24682 0 -1 4202560 2616 0 0 0 38 2 0 0 20 0 19 0 281411464 9856004096 43664 33554432000 1073741824 1073778376 140733925506816 139908195862712 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0

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

[pid=29259/tid=29267] ppid=29257 vsize=9625004 CPUtime=1.27 cores=1,3,5,7
/proc/29259/task/29267/stat : 29267 (java) S 29257 29259 24682 0 -1 4202560 222 0 0 0 122 5 0 0 20 0 19 0 281411460 9856004096 98300 33554432000 1073741824 1073778376 140733925506816 139908361124136 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29259/tid=29268] ppid=29257 vsize=9625004 CPUtime=1.34 cores=1,3,5,7
/proc/29259/task/29268/stat : 29268 (java) S 29257 29259 24682 0 -1 4202560 107 0 0 0 130 4 0 0 20 0 19 0 281411460 9856004096 98300 33554432000 1073741824 1073778376 140733925506816 139908360071592 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29259/tid=29269] ppid=29257 vsize=9625004 CPUtime=1.25 cores=1,3,5,7
/proc/29259/task/29269/stat : 29269 (java) S 29257 29259 24682 0 -1 4202560 233 0 0 0 121 4 0 0 20 0 19 0 281411460 9856004096 98300 33554432000 1073741824 1073778376 140733925506816 139908213324328 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29259/tid=29270] ppid=29257 vsize=9625004 CPUtime=10.68 cores=1,3,5,7
/proc/29259/task/29270/stat : 29270 (java) S 29257 29259 24682 0 -1 4202560 145 0 0 0 1064 4 0 0 20 0 19 0 281411461 9856004096 98300 33554432000 1073741824 1073778376 140733925506816 139908201126504 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29259/tid=29271] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29271/stat : 29271 (java) S 29257 29259 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281411462 9856004096 98300 33554432000 1073741824 1073778376 140733925506816 139908200072824 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29259/tid=29272] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29272/stat : 29272 (java) S 29257 29259 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281411462 9856004096 98300 33554432000 1073741824 1073778376 140733925506816 139908199020168 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29259/tid=29273] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29273/stat : 29273 (java) S 29257 29259 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281411464 9856004096 98300 33554432000 1073741824 1073778376 140733925506816 139908197968912 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29259/tid=29274] ppid=29257 vsize=9625004 CPUtime=0.85 cores=1,3,5,7
/proc/29259/task/29274/stat : 29274 (java) S 29257 29259 24682 0 -1 4202560 9172 0 0 0 83 2 0 0 20 0 19 0 281411464 9856004096 98300 33554432000 1073741824 1073778376 140733925506816 139908196915256 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29275] ppid=29257 vsize=9625004 CPUtime=1.17 cores=1,3,5,7
/proc/29259/task/29275/stat : 29275 (java) S 29257 29259 24682 0 -1 4202560 12615 0 0 0 113 4 0 0 20 0 19 0 281411464 9856004096 98300 33554432000 1073741824 1073778376 140733925506816 139908195862712 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29259/tid=29276] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29276/stat : 29276 (java) S 29257 29259 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281411464 9856004096 98300 33554432000 1073741824 1073778376 140733925506816 139908194810360 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29277] ppid=29257 vsize=9625004 CPUtime=0.52 cores=1,3,5,7
/proc/29259/task/29277/stat : 29277 (java) S 29257 29259 24682 0 -1 4202560 99 0 0 0 28 24 0 0 20 0 19 0 281411464 9856004096 98300 33554432000 1073741824 1073778376 140733925506816 139908193758024 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29259/tid=29278] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29278/stat : 29278 (java) S 29257 29259 24682 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281411517 9856004096 98300 33554432000 1073741824 1073778376 140733925506816 139908192703784 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1731.84
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 29353
/proc/meminfo: memFree=28521376/32873844 swapFree=6856/6856
[pid=29259] ppid=29257 vsize=9625004 CPUtime=1792.04 cores=1,3,5,7
/proc/29259/stat : 29259 (java) S 29257 29259 24682 0 -1 4202496 27911 0 1 0 179127 77 0 0 20 0 19 0 281411459 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 140733925497952 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29259/statm: 2406251 98338 2285 9 0 2396937 0
[pid=29259/tid=29260] ppid=29257 vsize=9625004 CPUtime=1768.05 cores=1,3,5,7
/proc/29259/task/29260/stat : 29260 (java) R 29257 29259 24682 0 -1 4202560 2829 0 1 0 176772 33 0 0 20 0 19 0 281411460 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908377325872 139908241527968 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29262] ppid=29257 vsize=9625004 CPUtime=1.33 cores=1,3,5,7
/proc/29259/task/29262/stat : 29262 (java) S 29257 29259 24682 0 -1 4202560 282 0 0 0 129 4 0 0 20 0 19 0 281411460 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908366387880 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29259/tid=29263] ppid=29257 vsize=9625004 CPUtime=1.38 cores=1,3,5,7
/proc/29259/task/29263/stat : 29263 (java) S 29257 29259 24682 0 -1 4202560 333 0 0 0 133 5 0 0 20 0 19 0 281411460 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908365335336 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29264] ppid=29257 vsize=9625004 CPUtime=1.31 cores=1,3,5,7
/proc/29259/task/29264/stat : 29264 (java) S 29257 29259 24682 0 -1 4202560 298 0 0 0 127 4 0 0 20 0 19 0 281411460 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908364282792 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29259/tid=29265] ppid=29257 vsize=9625004 CPUtime=1.36 cores=1,3,5,7
/proc/29259/task/29265/stat : 29265 (java) S 29257 29259 24682 0 -1 4202560 266 0 0 0 132 4 0 0 20 0 19 0 281411460 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908363230248 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29266] ppid=29257 vsize=9625004 CPUtime=1.21 cores=1,3,5,7
/proc/29259/task/29266/stat : 29266 (java) S 29257 29259 24682 0 -1 4202560 121 0 0 0 117 4 0 0 20 0 19 0 281411460 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908362176680 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29267] ppid=29257 vsize=9625004 CPUtime=1.3 cores=1,3,5,7
/proc/29259/task/29267/stat : 29267 (java) S 29257 29259 24682 0 -1 4202560 222 0 0 0 125 5 0 0 20 0 19 0 281411460 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908361124136 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29259/tid=29268] ppid=29257 vsize=9625004 CPUtime=1.39 cores=1,3,5,7
/proc/29259/task/29268/stat : 29268 (java) S 29257 29259 24682 0 -1 4202560 107 0 0 0 135 4 0 0 20 0 19 0 281411460 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908360071592 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29269] ppid=29257 vsize=9625004 CPUtime=1.28 cores=1,3,5,7
/proc/29259/task/29269/stat : 29269 (java) S 29257 29259 24682 0 -1 4202560 233 0 0 0 124 4 0 0 20 0 19 0 281411460 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908213324328 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29259/tid=29270] ppid=29257 vsize=9625004 CPUtime=10.95 cores=1,3,5,7
/proc/29259/task/29270/stat : 29270 (java) S 29257 29259 24682 0 -1 4202560 149 0 0 0 1091 4 0 0 20 0 19 0 281411461 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908201126504 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29259/tid=29271] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29271/stat : 29271 (java) S 29257 29259 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281411462 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908200072824 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29259/tid=29272] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29272/stat : 29272 (java) S 29257 29259 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281411462 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908199020168 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29259/tid=29273] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29273/stat : 29273 (java) S 29257 29259 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281411464 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908197968912 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29259/tid=29274] ppid=29257 vsize=9625004 CPUtime=0.85 cores=1,3,5,7
/proc/29259/task/29274/stat : 29274 (java) S 29257 29259 24682 0 -1 4202560 9172 0 0 0 83 2 0 0 20 0 19 0 281411464 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908196915256 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29275] ppid=29257 vsize=9625004 CPUtime=1.17 cores=1,3,5,7
/proc/29259/task/29275/stat : 29275 (java) S 29257 29259 24682 0 -1 4202560 12615 0 0 0 113 4 0 0 20 0 19 0 281411464 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908195862712 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29259/tid=29276] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29276/stat : 29276 (java) S 29257 29259 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281411464 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908194810360 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29277] ppid=29257 vsize=9625004 CPUtime=0.54 cores=1,3,5,7
/proc/29259/task/29277/stat : 29277 (java) S 29257 29259 24682 0 -1 4202560 103 0 0 0 30 24 0 0 20 0 19 0 281411464 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908193758024 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29259/tid=29278] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29278/stat : 29278 (java) S 29257 29259 24682 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281411517 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908192703784 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1792.04
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 29353
/proc/meminfo: memFree=28521252/32873844 swapFree=6856/6856
[pid=29259] ppid=29257 vsize=9625004 CPUtime=1800.04 cores=1,3,5,7
/proc/29259/stat : 29259 (java) S 29257 29259 24682 0 -1 4202496 27911 0 1 0 179927 77 0 0 20 0 19 0 281411459 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 140733925497952 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29259/statm: 2406251 98338 2285 9 0 2396937 0
[pid=29259/tid=29260] ppid=29257 vsize=9625004 CPUtime=1776.05 cores=1,3,5,7
/proc/29259/task/29260/stat : 29260 (java) R 29257 29259 24682 0 -1 4202560 2829 0 1 0 177572 33 0 0 20 0 19 0 281411460 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908377325872 139908241491712 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29262] ppid=29257 vsize=9625004 CPUtime=1.33 cores=1,3,5,7
/proc/29259/task/29262/stat : 29262 (java) S 29257 29259 24682 0 -1 4202560 282 0 0 0 129 4 0 0 20 0 19 0 281411460 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908366387880 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29259/tid=29263] ppid=29257 vsize=9625004 CPUtime=1.38 cores=1,3,5,7
/proc/29259/task/29263/stat : 29263 (java) S 29257 29259 24682 0 -1 4202560 333 0 0 0 133 5 0 0 20 0 19 0 281411460 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908365335336 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29264] ppid=29257 vsize=9625004 CPUtime=1.31 cores=1,3,5,7
/proc/29259/task/29264/stat : 29264 (java) S 29257 29259 24682 0 -1 4202560 298 0 0 0 127 4 0 0 20 0 19 0 281411460 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908364282792 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29259/tid=29265] ppid=29257 vsize=9625004 CPUtime=1.36 cores=1,3,5,7
/proc/29259/task/29265/stat : 29265 (java) S 29257 29259 24682 0 -1 4202560 266 0 0 0 132 4 0 0 20 0 19 0 281411460 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908363230248 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29266] ppid=29257 vsize=9625004 CPUtime=1.21 cores=1,3,5,7
/proc/29259/task/29266/stat : 29266 (java) S 29257 29259 24682 0 -1 4202560 121 0 0 0 117 4 0 0 20 0 19 0 281411460 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908362176680 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29267] ppid=29257 vsize=9625004 CPUtime=1.3 cores=1,3,5,7
/proc/29259/task/29267/stat : 29267 (java) S 29257 29259 24682 0 -1 4202560 222 0 0 0 125 5 0 0 20 0 19 0 281411460 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908361124136 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29259/tid=29268] ppid=29257 vsize=9625004 CPUtime=1.39 cores=1,3,5,7
/proc/29259/task/29268/stat : 29268 (java) S 29257 29259 24682 0 -1 4202560 107 0 0 0 135 4 0 0 20 0 19 0 281411460 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908360071592 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29269] ppid=29257 vsize=9625004 CPUtime=1.28 cores=1,3,5,7
/proc/29259/task/29269/stat : 29269 (java) S 29257 29259 24682 0 -1 4202560 233 0 0 0 124 4 0 0 20 0 19 0 281411460 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908213324328 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29259/tid=29270] ppid=29257 vsize=9625004 CPUtime=10.95 cores=1,3,5,7
/proc/29259/task/29270/stat : 29270 (java) S 29257 29259 24682 0 -1 4202560 149 0 0 0 1091 4 0 0 20 0 19 0 281411461 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908201126504 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29259/tid=29271] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29271/stat : 29271 (java) S 29257 29259 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281411462 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908200072824 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29259/tid=29272] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29272/stat : 29272 (java) S 29257 29259 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281411462 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908199020168 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29259/tid=29273] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29273/stat : 29273 (java) S 29257 29259 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281411464 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908197968912 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29259/tid=29274] ppid=29257 vsize=9625004 CPUtime=0.85 cores=1,3,5,7
/proc/29259/task/29274/stat : 29274 (java) S 29257 29259 24682 0 -1 4202560 9172 0 0 0 83 2 0 0 20 0 19 0 281411464 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908196915256 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29275] ppid=29257 vsize=9625004 CPUtime=1.17 cores=1,3,5,7
/proc/29259/task/29275/stat : 29275 (java) S 29257 29259 24682 0 -1 4202560 12615 0 0 0 113 4 0 0 20 0 19 0 281411464 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908195862712 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29259/tid=29276] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29276/stat : 29276 (java) S 29257 29259 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281411464 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908194810360 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29277] ppid=29257 vsize=9625004 CPUtime=0.54 cores=1,3,5,7
/proc/29259/task/29277/stat : 29277 (java) S 29257 29259 24682 0 -1 4202560 103 0 0 0 30 24 0 0 20 0 19 0 281411464 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908193758024 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29259/tid=29278] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29278/stat : 29278 (java) S 29257 29259 24682 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281411517 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908192703784 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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

[startup+1790.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 29353
/proc/meminfo: memFree=28521252/32873844 swapFree=6856/6856
[pid=29259] ppid=29257 vsize=9625004 CPUtime=1800.04 cores=1,3,5,7
/proc/29259/stat : 29259 (java) S 29257 29259 24682 0 -1 4202496 27911 0 1 0 179927 77 0 0 20 0 19 0 281411459 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 140733925497952 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29259/statm: 2406251 98338 2285 9 0 2396937 0
[pid=29259/tid=29260] ppid=29257 vsize=9625004 CPUtime=1776.05 cores=1,3,5,7
/proc/29259/task/29260/stat : 29260 (java) R 29257 29259 24682 0 -1 4202560 2829 0 1 0 177572 33 0 0 20 0 19 0 281411460 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908377325872 139908241491712 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29262] ppid=29257 vsize=9625004 CPUtime=1.33 cores=1,3,5,7
/proc/29259/task/29262/stat : 29262 (java) S 29257 29259 24682 0 -1 4202560 282 0 0 0 129 4 0 0 20 0 19 0 281411460 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908366387880 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29259/tid=29263] ppid=29257 vsize=9625004 CPUtime=1.38 cores=1,3,5,7
/proc/29259/task/29263/stat : 29263 (java) S 29257 29259 24682 0 -1 4202560 333 0 0 0 133 5 0 0 20 0 19 0 281411460 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908365335336 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29264] ppid=29257 vsize=9625004 CPUtime=1.31 cores=1,3,5,7
/proc/29259/task/29264/stat : 29264 (java) S 29257 29259 24682 0 -1 4202560 298 0 0 0 127 4 0 0 20 0 19 0 281411460 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908364282792 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29259/tid=29265] ppid=29257 vsize=9625004 CPUtime=1.36 cores=1,3,5,7
/proc/29259/task/29265/stat : 29265 (java) S 29257 29259 24682 0 -1 4202560 266 0 0 0 132 4 0 0 20 0 19 0 281411460 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908363230248 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29266] ppid=29257 vsize=9625004 CPUtime=1.21 cores=1,3,5,7
/proc/29259/task/29266/stat : 29266 (java) S 29257 29259 24682 0 -1 4202560 121 0 0 0 117 4 0 0 20 0 19 0 281411460 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908362176680 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29267] ppid=29257 vsize=9625004 CPUtime=1.3 cores=1,3,5,7
/proc/29259/task/29267/stat : 29267 (java) S 29257 29259 24682 0 -1 4202560 222 0 0 0 125 5 0 0 20 0 19 0 281411460 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908361124136 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29259/tid=29268] ppid=29257 vsize=9625004 CPUtime=1.39 cores=1,3,5,7
/proc/29259/task/29268/stat : 29268 (java) S 29257 29259 24682 0 -1 4202560 107 0 0 0 135 4 0 0 20 0 19 0 281411460 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908360071592 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29269] ppid=29257 vsize=9625004 CPUtime=1.28 cores=1,3,5,7
/proc/29259/task/29269/stat : 29269 (java) S 29257 29259 24682 0 -1 4202560 233 0 0 0 124 4 0 0 20 0 19 0 281411460 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908213324328 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29259/tid=29270] ppid=29257 vsize=9625004 CPUtime=10.95 cores=1,3,5,7
/proc/29259/task/29270/stat : 29270 (java) S 29257 29259 24682 0 -1 4202560 149 0 0 0 1091 4 0 0 20 0 19 0 281411461 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908201126504 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29259/tid=29271] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29271/stat : 29271 (java) S 29257 29259 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281411462 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908200072824 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29259/tid=29272] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29272/stat : 29272 (java) S 29257 29259 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281411462 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908199020168 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29259/tid=29273] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29273/stat : 29273 (java) S 29257 29259 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281411464 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908197968912 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29259/tid=29274] ppid=29257 vsize=9625004 CPUtime=0.85 cores=1,3,5,7
/proc/29259/task/29274/stat : 29274 (java) S 29257 29259 24682 0 -1 4202560 9172 0 0 0 83 2 0 0 20 0 19 0 281411464 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908196915256 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29275] ppid=29257 vsize=9625004 CPUtime=1.17 cores=1,3,5,7
/proc/29259/task/29275/stat : 29275 (java) S 29257 29259 24682 0 -1 4202560 12615 0 0 0 113 4 0 0 20 0 19 0 281411464 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908195862712 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29259/tid=29276] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29276/stat : 29276 (java) S 29257 29259 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281411464 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908194810360 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29277] ppid=29257 vsize=9625004 CPUtime=0.54 cores=1,3,5,7
/proc/29259/task/29277/stat : 29277 (java) S 29257 29259 24682 0 -1 4202560 103 0 0 0 30 24 0 0 20 0 19 0 281411464 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908193758024 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29259/tid=29278] ppid=29257 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29259/task/29278/stat : 29278 (java) S 29257 29259 24682 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281411517 9856004096 98338 33554432000 1073741824 1073778376 140733925506816 139908192703784 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9625004

Child status: 143
Real time (s): 1790.36
CPU time (s): 1800.49
CPU user time (s): 1799.34
CPU system time (s): 1.15282
CPU usage (%): 100.566
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.34
system time used= 1.15282
maximum resident set size= 393480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27944
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44799
involuntary context switches= 35173

runsolver used 6.88195 second user time and 15.1737 second system time

The end

Launcher Data 

Begin job on node144 at 2012-05-27 23:07:46
IDJOB=3710805
IDBENCH=2838
IDSOLVER=2289
FILE ID=node144/3710805-1338152865
RUNJOBID= node144-1338138284-27029
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-PB06/manquiho/logic_synthesis/normalized-rd84.b.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-3710805-1338152865/watcher-3710805-1338152865 -o /tmp/evaluation-result-3710805-1338152865/solver-3710805-1338152865 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710805-1338152865.opb

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

MD5SUM BENCH= 6560abb26f607ef952ebe1a74dd5dae1
RANDOM SEED=369607895

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:        27843264 kB
Buffers:          375804 kB
Cached:          2610460 kB
SwapCached:            0 kB
Active:          2001092 kB
Inactive:        2182444 kB
Active(anon):    1198324 kB
Inactive(anon):        0 kB
Active(file):     802768 kB
Inactive(file):  2182444 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2680 kB
Writeback:             0 kB
AnonPages:       1208700 kB
Mapped:            22648 kB
Shmem:               200 kB
Slab:             697944 kB
SReclaimable:     139388 kB
SUnreclaim:       558556 kB
KernelStack:        1616 kB
PageTables:         6764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1427856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1171456 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 23:37:38