Trace number 3688153

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)27 1800.06 1791.15

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_300_10_15.r.opb
MD5SUM34bb25320bcbfa536bfc14194ca6ac66
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark5.29919
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 19
Optimality of the best value was proved YES
Number of variables297
Total number of constraints100
Number of constraints which are clauses100
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 constraint10
Maximum length of a constraint15
Number of terms in the objective function 297
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 297
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 297
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.2.v20120418
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3688153-1337880589.opb
0.09/0.11	c reading problem ... 
0.09/0.16	c ... done. Wall clock time 0.054s.
0.09/0.16	c declared #vars     297
0.09/0.16	c #constraints  100
0.09/0.16	c constraints type 
0.09/0.16	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100
0.09/0.16	c 100 constraints processed.
0.09/0.16	c objective function length is 297 literals
0.09/0.17	c SATISFIABLE
0.09/0.17	c OPTIMIZING...
0.09/0.17	c Got one! Elapsed wall clock time (in seconds):0.063
0.09/0.17	o 34
0.50/0.31	c Got one! Elapsed wall clock time (in seconds):0.199
0.50/0.31	o 33
0.66/0.49	c cleaning 2623 clauses out of 5245 with flag 4005/5245
1.05/0.72	c cleaning 4309 clauses out of 8618 with flag 10001/11241
1.26/0.97	c cleaning 5645 clauses out of 11308 with flag 17000/18240
1.57/1.27	c cleaning 6829 clauses out of 13664 with flag 25001/26241
1.99/1.61	c cleaning 7916 clauses out of 15834 with flag 34000/35240
2.29/1.93	c Got one! Elapsed wall clock time (in seconds):1.824
2.29/1.93	o 32
2.39/2.07	c cleaning 10819 clauses out of 21649 with flag 5000/48971
2.69/2.30	c cleaning 8411 clauses out of 16830 with flag 11000/54971
2.90/2.56	c cleaning 7709 clauses out of 15419 with flag 18000/61971
3.00/2.67	c Got one! Elapsed wall clock time (in seconds):2.563
3.00/2.67	o 31
3.10/2.73	c cleaning 6400 clauses out of 12823 with flag 2003/67084
3.30/2.94	c cleaning 6192 clauses out of 12420 with flag 8000/73081
3.51/3.19	c cleaning 6607 clauses out of 13230 with flag 15002/80083
3.81/3.48	c cleaning 7309 clauses out of 14621 with flag 23000/88081
4.21/3.82	c cleaning 8136 clauses out of 16312 with flag 32000/97081
4.51/4.19	c cleaning 9082 clauses out of 18178 with flag 42002/107083
5.01/4.60	c cleaning 10047 clauses out of 20094 with flag 53000/118081
5.43/5.08	c cleaning 11002 clauses out of 22047 with flag 65000/130081
5.94/5.58	c cleaning 12021 clauses out of 24045 with flag 78000/143081
6.53/6.13	c cleaning 13001 clauses out of 26024 with flag 92000/157081
7.14/6.73	c cleaning 14010 clauses out of 28023 with flag 107000/172081
7.74/7.38	c cleaning 15008 clauses out of 30016 with flag 123003/188084
8.44/8.08	c cleaning 15994 clauses out of 32005 with flag 140000/205081
8.75/8.30	c Got one! Elapsed wall clock time (in seconds):8.193
8.75/8.30	o 30
8.85/8.44	c cleaning 13399 clauses out of 26807 with flag 5000/215877
8.95/8.60	c cleaning 9699 clauses out of 19408 with flag 11000/221877
9.16/8.75	c cleaning 8345 clauses out of 16709 with flag 18000/228877
9.46/9.02	c cleaning 8178 clauses out of 16366 with flag 26002/236879
9.77/9.36	c cleaning 8583 clauses out of 17186 with flag 35000/245877
10.17/9.74	c cleaning 9298 clauses out of 18604 with flag 45001/255878
10.57/10.15	c cleaning 10152 clauses out of 20305 with flag 56000/266877
10.98/10.59	c cleaning 11076 clauses out of 22157 with flag 68004/278881
11.49/11.07	c cleaning 12026 clauses out of 24077 with flag 81000/291877
11.99/11.58	c cleaning 13011 clauses out of 26051 with flag 95000/305877
12.60/12.15	c cleaning 14013 clauses out of 28041 with flag 110001/320878
13.20/12.78	c cleaning 14993 clauses out of 30027 with flag 126000/336877
13.90/13.41	c cleaning 16008 clauses out of 32035 with flag 143001/353878
14.60/14.11	c cleaning 16999 clauses out of 34026 with flag 161000/371877
15.31/14.85	c cleaning 18007 clauses out of 36027 with flag 180000/390877
16.13/15.60	c cleaning 18992 clauses out of 38020 with flag 200000/410877
16.83/16.39	c cleaning 19999 clauses out of 40028 with flag 221000/431877
17.76/17.25	c cleaning 21008 clauses out of 42031 with flag 243002/453879
18.67/18.18	c cleaning 21994 clauses out of 44022 with flag 266001/476878
19.68/19.14	c cleaning 23005 clauses out of 46028 with flag 290001/500878
20.70/20.10	c cleaning 24004 clauses out of 48022 with flag 315000/525877
21.70/21.11	c cleaning 24983 clauses out of 50020 with flag 341002/551879
22.72/22.17	c cleaning 26007 clauses out of 52035 with flag 368000/578877
23.93/23.31	c cleaning 27012 clauses out of 54028 with flag 396000/606877
25.05/24.49	c cleaning 28007 clauses out of 56016 with flag 425000/635877
26.35/25.75	c cleaning 28997 clauses out of 58009 with flag 455000/665877
27.56/26.98	c cleaning 29995 clauses out of 60012 with flag 486000/696877
28.87/28.29	c cleaning 31002 clauses out of 62017 with flag 518000/728877
30.28/29.64	c cleaning 31981 clauses out of 64016 with flag 551001/761878
31.68/31.02	c cleaning 33005 clauses out of 66034 with flag 585000/795877
33.18/32.51	c cleaning 34001 clauses out of 68029 with flag 620000/830877
34.70/34.05	c cleaning 35011 clauses out of 70029 with flag 656001/866878
36.39/35.73	c cleaning 36001 clauses out of 72017 with flag 693000/903877
38.03/37.36	c cleaning 37007 clauses out of 74017 with flag 731001/941878
39.63/38.96	c cleaning 38002 clauses out of 76009 with flag 770000/980877
41.24/40.59	c cleaning 38990 clauses out of 78007 with flag 810000/1020877
43.06/42.32	c cleaning 40001 clauses out of 80017 with flag 851000/1061877
44.88/44.13	c cleaning 40987 clauses out of 82016 with flag 893000/1103877
46.91/46.15	c cleaning 42007 clauses out of 84032 with flag 936003/1146880
48.81/48.01	c cleaning 43008 clauses out of 86022 with flag 980000/1190877
50.73/49.92	c cleaning 43990 clauses out of 88014 with flag 1025000/1235877
52.76/51.94	c cleaning 45004 clauses out of 90024 with flag 1071000/1281877
54.87/54.02	c cleaning 46010 clauses out of 92020 with flag 1118000/1328877
57.00/56.17	c cleaning 46996 clauses out of 94010 with flag 1166000/1376877
59.20/58.34	c cleaning 47996 clauses out of 96014 with flag 1215000/1425877
61.61/60.74	c cleaning 48997 clauses out of 98018 with flag 1265000/1475877
63.82/62.97	c cleaning 49992 clauses out of 100023 with flag 1316002/1526879
66.24/65.33	c cleaning 51007 clauses out of 102029 with flag 1368000/1578877
68.55/67.67	c cleaning 51996 clauses out of 104026 with flag 1421004/1631881
71.05/70.14	c cleaning 52999 clauses out of 106027 with flag 1475001/1685878
73.48/72.54	c cleaning 53995 clauses out of 108029 with flag 1530002/1740879
76.08/75.18	c cleaning 55015 clauses out of 110036 with flag 1586004/1796881
78.90/77.90	c cleaning 55998 clauses out of 112018 with flag 1643001/1853878
81.74/80.73	c cleaning 56999 clauses out of 114019 with flag 1701000/1911877
84.46/83.46	c cleaning 57995 clauses out of 116020 with flag 1760000/1970877
87.58/86.54	c cleaning 59000 clauses out of 118025 with flag 1820000/2030877
90.60/89.57	c cleaning 60003 clauses out of 120028 with flag 1881003/2091880
93.70/92.68	c cleaning 60998 clauses out of 122022 with flag 1943000/2153877
96.21/95.17	c Got one! Elapsed wall clock time (in seconds):95.066
96.21/95.17	o 29
96.72/95.64	c cleaning 64050 clauses out of 128119 with flag 5001/2220972
96.93/95.88	c cleaning 35028 clauses out of 70069 with flag 11001/2226972
97.14/96.08	c cleaning 21012 clauses out of 42042 with flag 18002/2233973
97.35/96.28	c cleaning 14504 clauses out of 29028 with flag 26000/2241971
97.66/96.50	c cleaning 11757 clauses out of 23525 with flag 35001/2250972
97.89/96.74	c cleaning 10877 clauses out of 21768 with flag 45001/2260972
98.21/97.00	c cleaning 10936 clauses out of 21890 with flag 56000/2271971
98.42/97.29	c cleaning 11468 clauses out of 22954 with flag 68000/2283971
98.92/97.74	c cleaning 12239 clauses out of 24486 with flag 81000/2296971
99.42/98.27	c cleaning 13113 clauses out of 26248 with flag 95001/2310972
100.04/98.84	c cleaning 14065 clauses out of 28134 with flag 110000/2325971
100.64/99.46	c cleaning 15031 clauses out of 30069 with flag 126000/2341971
101.38/100.13	c cleaning 16000 clauses out of 32038 with flag 143000/2358971
102.09/100.85	c cleaning 17007 clauses out of 34038 with flag 161000/2376971
102.89/101.61	c cleaning 18013 clauses out of 36031 with flag 180000/2395971
103.71/102.40	c cleaning 18989 clauses out of 38019 with flag 200001/2415972
104.52/103.22	c cleaning 19999 clauses out of 40030 with flag 221001/2436972
105.44/104.12	c cleaning 21009 clauses out of 42032 with flag 243002/2458973
106.37/105.04	c cleaning 21995 clauses out of 44021 with flag 266000/2481971
107.39/106.02	c cleaning 23006 clauses out of 46026 with flag 290000/2505971
108.39/107.04	c cleaning 24002 clauses out of 48024 with flag 315004/2530975
109.39/108.08	c cleaning 24994 clauses out of 50018 with flag 341000/2556971
110.50/109.17	c cleaning 26005 clauses out of 52024 with flag 368000/2583971
111.74/110.36	c cleaning 26999 clauses out of 54021 with flag 396002/2611973
112.04/110.67	c Got one! Elapsed wall clock time (in seconds):110.561
112.04/110.67	o 28
112.24/110.80	c cleaning 19860 clauses out of 39731 with flag 5001/2624682
112.36/110.97	c cleaning 12930 clauses out of 25871 with flag 11001/2630682
112.57/111.14	c cleaning 9963 clauses out of 19941 with flag 18001/2637682
112.79/111.34	c cleaning 8979 clauses out of 17978 with flag 26001/2645682
112.99/111.56	c cleaning 8990 clauses out of 17998 with flag 35000/2654681
113.29/111.90	c cleaning 9480 clauses out of 19009 with flag 45001/2664682
113.71/112.29	c cleaning 10260 clauses out of 20528 with flag 56000/2675681
114.23/112.72	c cleaning 11135 clauses out of 22269 with flag 68001/2687682
114.64/113.19	c cleaning 12061 clauses out of 24136 with flag 81003/2700684
115.14/113.69	c cleaning 13015 clauses out of 26072 with flag 95000/2714681
115.75/114.23	c cleaning 14025 clauses out of 28057 with flag 110000/2729681
116.37/114.82	c cleaning 15000 clauses out of 30032 with flag 126000/2745681
117.00/115.47	c cleaning 16009 clauses out of 32032 with flag 143000/2762681
117.71/116.14	c cleaning 17002 clauses out of 34024 with flag 161001/2780682
118.43/116.87	c cleaning 17998 clauses out of 36022 with flag 180001/2799682
119.24/117.63	c cleaning 18993 clauses out of 38025 with flag 200002/2819683
120.04/118.43	c cleaning 19988 clauses out of 40033 with flag 221003/2840684
120.84/119.25	c cleaning 20993 clauses out of 42045 with flag 243003/2862684
121.64/120.09	c cleaning 22010 clauses out of 44049 with flag 266000/2885681
122.67/121.05	c cleaning 23005 clauses out of 46039 with flag 290000/2909681
123.69/122.00	c cleaning 23998 clauses out of 48034 with flag 315000/2934681
124.69/123.06	c cleaning 24996 clauses out of 50036 with flag 341000/2960681
125.82/124.16	c cleaning 26002 clauses out of 52040 with flag 368000/2987681
127.03/125.32	c cleaning 27009 clauses out of 54038 with flag 396000/3015681
128.23/126.51	c cleaning 28010 clauses out of 56030 with flag 425001/3044682
129.45/127.73	c cleaning 28994 clauses out of 58019 with flag 455000/3074681
130.65/128.99	c cleaning 29997 clauses out of 60025 with flag 486000/3105681
131.95/130.29	c cleaning 31014 clauses out of 62031 with flag 518003/3137684
133.36/131.67	c cleaning 31991 clauses out of 64014 with flag 551000/3170681
134.87/133.11	c cleaning 33001 clauses out of 66023 with flag 585000/3204681
136.28/134.59	c cleaning 33996 clauses out of 68022 with flag 620000/3239681
137.79/136.02	c cleaning 35006 clauses out of 70026 with flag 656000/3275681
139.31/137.57	c cleaning 36002 clauses out of 72020 with flag 693000/3312681
141.02/139.21	c cleaning 36998 clauses out of 74019 with flag 731001/3350682
142.64/140.85	c cleaning 38006 clauses out of 76020 with flag 770000/3389681
144.44/142.63	c cleaning 39003 clauses out of 78016 with flag 810002/3429683
146.25/144.46	c cleaning 39993 clauses out of 80011 with flag 851000/3470681
148.06/146.30	c cleaning 40998 clauses out of 82018 with flag 893000/3512681
150.08/148.29	c cleaning 41997 clauses out of 84020 with flag 936000/3555681
152.09/150.29	c cleaning 43009 clauses out of 86023 with flag 980000/3599681
154.31/152.40	c cleaning 44001 clauses out of 88015 with flag 1025001/3644682
156.42/154.58	c cleaning 44997 clauses out of 90013 with flag 1071000/3690681
158.73/156.83	c cleaning 46000 clauses out of 92019 with flag 1118003/3737684
161.03/159.12	c cleaning 47004 clauses out of 94016 with flag 1166000/3785681
163.45/161.53	c cleaning 47989 clauses out of 96014 with flag 1215002/3834683
165.88/163.94	c cleaning 49000 clauses out of 98023 with flag 1265000/3884681
168.28/166.32	c cleaning 49996 clauses out of 100024 with flag 1316001/3935682
170.69/168.77	c cleaning 51005 clauses out of 102027 with flag 1368000/3987681
171.00/169.09	c Got one! Elapsed wall clock time (in seconds):168.977
171.00/169.09	o 27
171.20/169.29	c cleaning 31998 clauses out of 64011 with flag 5000/4000670
171.42/169.49	c cleaning 19001 clauses out of 38014 with flag 11001/4006671
171.63/169.67	c cleaning 12999 clauses out of 26012 with flag 18000/4013670
171.84/169.86	c cleaning 10501 clauses out of 21014 with flag 26001/4021671
172.05/170.09	c cleaning 9751 clauses out of 19513 with flag 35001/4030671
172.38/170.32	c cleaning 9874 clauses out of 19761 with flag 45000/4040670
172.59/170.58	c cleaning 10438 clauses out of 20888 with flag 56001/4051671
173.01/170.90	c cleaning 11217 clauses out of 22450 with flag 68001/4063671
173.33/171.25	c cleaning 12112 clauses out of 24233 with flag 81001/4076671
173.76/171.65	c cleaning 13056 clauses out of 26121 with flag 95001/4090671
174.16/172.09	c cleaning 14026 clauses out of 28065 with flag 110001/4105671
174.68/172.55	c cleaning 15009 clauses out of 30038 with flag 126000/4121670
175.22/173.06	c cleaning 16007 clauses out of 32030 with flag 143001/4138671
175.73/173.55	c cleaning 17000 clauses out of 34022 with flag 161000/4156670
176.25/174.10	c cleaning 18003 clauses out of 36024 with flag 180002/4175672
176.87/174.69	c cleaning 19001 clauses out of 38019 with flag 200000/4195670
177.59/175.32	c cleaning 20003 clauses out of 40019 with flag 221001/4216671
178.30/176.01	c cleaning 20996 clauses out of 42016 with flag 243001/4238671
179.01/176.70	c cleaning 22001 clauses out of 44019 with flag 266000/4261670
179.73/177.46	c cleaning 23001 clauses out of 46018 with flag 290000/4285670
180.59/178.27	c cleaning 24000 clauses out of 48017 with flag 315000/4310670
181.39/179.09	c cleaning 24999 clauses out of 50017 with flag 341000/4336670
182.39/180.06	c cleaning 25995 clauses out of 52018 with flag 368000/4363670
183.41/181.08	c cleaning 27002 clauses out of 54023 with flag 396000/4391670
184.61/182.28	c cleaning 28003 clauses out of 56022 with flag 425001/4420671
186.03/183.63	c cleaning 28996 clauses out of 58018 with flag 455000/4450670
187.43/185.03	c cleaning 30004 clauses out of 60024 with flag 486002/4481672
188.66/186.28	c cleaning 30992 clauses out of 62018 with flag 518000/4513670
190.07/187.61	c cleaning 32001 clauses out of 64026 with flag 551000/4546670
191.48/189.03	c cleaning 32993 clauses out of 66025 with flag 585000/4580670
192.89/190.47	c cleaning 34013 clauses out of 68034 with flag 620002/4615672
194.30/191.89	c cleaning 34995 clauses out of 70020 with flag 656001/4651671
195.90/193.48	c cleaning 36013 clauses out of 72025 with flag 693001/4688671
197.50/195.06	c cleaning 36987 clauses out of 74011 with flag 731000/4726670
199.12/196.65	c cleaning 38011 clauses out of 76024 with flag 770000/4765670
200.74/198.28	c cleaning 39003 clauses out of 78015 with flag 810002/4805672
202.46/199.98	c cleaning 39992 clauses out of 80013 with flag 851003/4846673
204.27/201.79	c cleaning 40992 clauses out of 82019 with flag 893001/4888671
206.09/203.52	c cleaning 41993 clauses out of 84026 with flag 936000/4931670
207.90/205.39	c cleaning 42997 clauses out of 86034 with flag 980001/4975671
209.81/207.29	c cleaning 44010 clauses out of 88036 with flag 1025000/5020670
212.13/209.57	c cleaning 45015 clauses out of 90029 with flag 1071003/5066673
214.27/211.63	c cleaning 45999 clauses out of 92012 with flag 1118001/5113671
216.37/213.74	c cleaning 46986 clauses out of 94012 with flag 1166000/5161670
218.60/215.91	c cleaning 48008 clauses out of 96029 with flag 1215003/5210673
220.71/218.06	c cleaning 48995 clauses out of 98020 with flag 1265002/5260672
222.91/220.28	c cleaning 50005 clauses out of 100023 with flag 1316000/5311670
225.22/222.57	c cleaning 50996 clauses out of 102019 with flag 1368001/5363671
227.63/224.98	c cleaning 52001 clauses out of 104024 with flag 1421002/5416672
230.03/227.38	c cleaning 53002 clauses out of 106021 with flag 1475000/5470670
232.56/229.84	c cleaning 53996 clauses out of 108019 with flag 1530000/5525670
234.98/232.28	c cleaning 54994 clauses out of 110023 with flag 1586000/5581670
237.58/234.89	c cleaning 55996 clauses out of 112032 with flag 1643003/5638673
240.20/237.46	c cleaning 57010 clauses out of 114033 with flag 1701000/5696670
242.82/240.00	c cleaning 58007 clauses out of 116023 with flag 1760000/5755670
245.54/242.77	c cleaning 58997 clauses out of 118016 with flag 1820000/5815670
248.35/245.55	c cleaning 60001 clauses out of 120019 with flag 1881000/5876670
251.38/248.55	c cleaning 60992 clauses out of 122018 with flag 1943000/5938670
254.38/251.51	c cleaning 62005 clauses out of 124027 with flag 2006001/6001671
257.52/254.61	c cleaning 62988 clauses out of 126021 with flag 2070000/6065670
260.93/258.02	c cleaning 64009 clauses out of 128033 with flag 2135000/6130670
264.04/261.13	c cleaning 65009 clauses out of 130026 with flag 2201002/6196672
267.26/264.35	c cleaning 65991 clauses out of 132017 with flag 2268002/6263672
270.78/267.80	c cleaning 67013 clauses out of 134025 with flag 2336001/6331671
274.09/271.13	c cleaning 68007 clauses out of 136013 with flag 2405002/6400672
277.50/274.51	c cleaning 68990 clauses out of 138004 with flag 2475000/6470670
281.12/278.16	c cleaning 70000 clauses out of 140014 with flag 2546000/6541670
284.55/281.56	c cleaning 70995 clauses out of 142016 with flag 2618002/6613672
288.57/285.52	c cleaning 72001 clauses out of 144019 with flag 2691000/6686670
292.09/289.05	c cleaning 72989 clauses out of 146018 with flag 2765000/6760670
295.83/292.75	c cleaning 74007 clauses out of 148031 with flag 2840002/6835672
299.54/296.43	c cleaning 75007 clauses out of 150024 with flag 2916002/6911672
303.37/300.30	c cleaning 76002 clauses out of 152016 with flag 2993001/6988671
306.88/303.76	c cleaning 76997 clauses out of 154016 with flag 3071003/7066673
310.50/307.38	c cleaning 78008 clauses out of 156017 with flag 3150001/7145671
314.21/311.05	c cleaning 78999 clauses out of 158008 with flag 3230000/7225670
318.04/314.84	c cleaning 79973 clauses out of 160009 with flag 3311000/7306670
321.97/318.77	c cleaning 81003 clauses out of 162037 with flag 3393001/7388671
326.50/323.22	c cleaning 82005 clauses out of 164033 with flag 3476000/7471670
330.63/327.36	c cleaning 82994 clauses out of 166028 with flag 3560000/7555670
334.95/331.69	c cleaning 84001 clauses out of 168036 with flag 3645002/7640672
338.86/335.54	c cleaning 85015 clauses out of 170033 with flag 3731000/7726670
342.96/339.69	c cleaning 85996 clauses out of 172019 with flag 3818001/7813671
347.68/344.35	c cleaning 87002 clauses out of 174025 with flag 3906003/7901673
352.59/349.25	c cleaning 87998 clauses out of 176020 with flag 3995000/7990670
357.51/354.12	c cleaning 88993 clauses out of 178022 with flag 4085000/8080670
362.42/359.00	c cleaning 89996 clauses out of 180031 with flag 4176002/8171672
367.14/363.75	c cleaning 91014 clauses out of 182033 with flag 4268000/8263670
371.89/368.47	c cleaning 91995 clauses out of 184020 with flag 4361001/8356671
376.80/373.32	c cleaning 93006 clauses out of 186024 with flag 4455000/8450670
382.13/378.64	c cleaning 93990 clauses out of 188018 with flag 4550000/8545670
387.56/384.04	c cleaning 95005 clauses out of 190031 with flag 4646003/8641673
392.58/389.06	c cleaning 95990 clauses out of 192024 with flag 4743001/8738671
397.89/394.32	c cleaning 97015 clauses out of 194033 with flag 4841000/8836670
403.41/399.84	c cleaning 97993 clauses out of 196019 with flag 4940001/8935671
408.33/404.72	c cleaning 98985 clauses out of 198026 with flag 5040001/9035671
413.82/410.16	c cleaning 100003 clauses out of 200040 with flag 5141000/9136670
419.03/415.37	c cleaning 101002 clauses out of 202040 with flag 5243003/9238673
424.24/420.52	c cleaning 101997 clauses out of 204036 with flag 5346001/9341671
429.86/426.19	c cleaning 103010 clauses out of 206038 with flag 5450000/9445670
435.10/431.30	c cleaning 103986 clauses out of 208028 with flag 5555000/9550670
440.22/436.48	c cleaning 105002 clauses out of 210042 with flag 5661000/9656670
445.93/442.11	c cleaning 106016 clauses out of 212040 with flag 5768000/9763670
451.25/447.49	c cleaning 107010 clauses out of 214029 with flag 5876005/9871675
456.99/453.14	c cleaning 107997 clauses out of 216014 with flag 5985000/9980670
462.41/458.60	c cleaning 108998 clauses out of 218018 with flag 6095001/10090671
468.04/464.20	c cleaning 110000 clauses out of 220022 with flag 6206003/10201673
474.06/470.18	c cleaning 110996 clauses out of 222019 with flag 6318000/10313670
480.30/476.33	c cleaning 112012 clauses out of 224024 with flag 6431001/10426671
486.62/482.67	c cleaning 112997 clauses out of 226012 with flag 6545001/10540671
492.65/488.62	c cleaning 113990 clauses out of 228014 with flag 6660000/10655670
498.18/494.13	c cleaning 114991 clauses out of 230024 with flag 6776000/10771670
504.61/500.57	c cleaning 116017 clauses out of 232033 with flag 6893000/10888670
510.63/506.50	c cleaning 116998 clauses out of 234016 with flag 7011000/11006670
517.16/513.08	c cleaning 118000 clauses out of 236019 with flag 7130001/11125671
523.60/519.41	c cleaning 118977 clauses out of 238018 with flag 7250000/11245670
530.34/526.16	c cleaning 119999 clauses out of 240042 with flag 7371001/11366671
537.08/532.86	c cleaning 121011 clauses out of 242043 with flag 7493001/11488671
544.40/540.18	c cleaning 121999 clauses out of 244031 with flag 7616000/11611670
551.63/547.31	c cleaning 123005 clauses out of 246034 with flag 7740002/11735672
558.36/554.03	c cleaning 124005 clauses out of 248027 with flag 7865000/11860670
565.60/561.27	c cleaning 125000 clauses out of 250022 with flag 7991000/11986670
573.33/568.99	c cleaning 125997 clauses out of 252023 with flag 8118001/12113671
580.88/576.47	c cleaning 126994 clauses out of 254027 with flag 8246002/12241672
587.61/583.18	c cleaning 128001 clauses out of 256031 with flag 8375000/12370670
594.97/590.41	c cleaning 129009 clauses out of 258034 with flag 8505004/12500674
601.99/597.46	c cleaning 130005 clauses out of 260021 with flag 8636000/12631670
610.14/605.53	c cleaning 131004 clauses out of 262016 with flag 8768000/12763670
617.87/613.23	c cleaning 131999 clauses out of 264014 with flag 8901002/12896672
625.58/620.91	c cleaning 133003 clauses out of 266019 with flag 9035006/13030676
633.49/628.80	c cleaning 134000 clauses out of 268010 with flag 9170000/13165670
640.85/636.17	c cleaning 134996 clauses out of 270010 with flag 9306000/13301670
648.77/644.06	c cleaning 135991 clauses out of 272014 with flag 9443000/13438670
656.41/651.67	c cleaning 136997 clauses out of 274023 with flag 9581000/13576670
664.15/659.30	c cleaning 138003 clauses out of 276029 with flag 9720003/13715673
671.97/667.14	c cleaning 138987 clauses out of 278025 with flag 9860002/13855672
679.21/674.33	c cleaning 139996 clauses out of 280039 with flag 10001003/13996673
687.72/682.82	c cleaning 141009 clauses out of 282041 with flag 10143001/14138671
696.27/691.36	c cleaning 142004 clauses out of 284031 with flag 10286000/14281670
704.93/699.93	c cleaning 142996 clauses out of 286029 with flag 10430002/14425672
713.56/708.51	c cleaning 143984 clauses out of 288031 with flag 10575000/14570670
721.68/716.68	c cleaning 145000 clauses out of 290047 with flag 10721000/14716670
730.32/725.23	c cleaning 145991 clauses out of 292047 with flag 10868000/14863670
740.50/735.35	c cleaning 147014 clauses out of 294056 with flag 11016000/15011670
748.94/743.70	c cleaning 148007 clauses out of 296043 with flag 11165001/15160671
758.09/752.86	c cleaning 149005 clauses out of 298035 with flag 11315000/15310670
766.82/761.58	c cleaning 150005 clauses out of 300032 with flag 11466002/15461672
775.94/770.60	c cleaning 151011 clauses out of 302025 with flag 11618000/15613670
785.67/780.35	c cleaning 152003 clauses out of 304014 with flag 11771000/15766670
795.30/789.95	c cleaning 153002 clauses out of 306011 with flag 11925000/15920670
805.24/799.88	c cleaning 153992 clauses out of 308010 with flag 12080001/16075671
816.79/811.30	c cleaning 154974 clauses out of 310018 with flag 12236001/16231671
826.31/820.80	c cleaning 156015 clauses out of 312044 with flag 12393001/16388671
835.86/830.33	c cleaning 157000 clauses out of 314029 with flag 12551001/16546671
845.31/839.78	c cleaning 158000 clauses out of 316030 with flag 12710002/16705672
854.86/849.23	c cleaning 159006 clauses out of 318028 with flag 12870000/16865670
863.97/858.36	c cleaning 160003 clauses out of 320022 with flag 13031000/17026670
873.88/868.22	c cleaning 161005 clauses out of 322022 with flag 13193003/17188673
884.23/878.55	c cleaning 161993 clauses out of 324016 with flag 13356002/17351672
894.27/888.55	c cleaning 162995 clauses out of 326021 with flag 13520000/17515670
904.30/898.55	c cleaning 163999 clauses out of 328026 with flag 13685000/17680670
914.34/908.52	c cleaning 165006 clauses out of 330027 with flag 13851000/17846670
923.99/918.13	c cleaning 166003 clauses out of 332021 with flag 14018000/18013670
934.22/928.39	c cleaning 166994 clauses out of 334019 with flag 14186001/18181671
944.96/939.08	c cleaning 168007 clauses out of 336024 with flag 14355000/18350670
955.31/949.38	c cleaning 169001 clauses out of 338017 with flag 14525000/18520670
965.75/959.73	c cleaning 170006 clauses out of 340022 with flag 14696006/18691676
976.09/970.10	c cleaning 170981 clauses out of 342010 with flag 14868000/18863670
986.85/980.74	c cleaning 171996 clauses out of 344030 with flag 15041001/19036671
997.07/991.00	c cleaning 172994 clauses out of 346036 with flag 15215003/19210673
1007.40/1001.20	c cleaning 174011 clauses out of 348039 with flag 15390000/19385670
1018.67/1012.46	c cleaning 175006 clauses out of 350028 with flag 15566000/19561670
1030.53/1024.21	c cleaning 175997 clauses out of 352022 with flag 15743000/19738670
1042.17/1035.87	c cleaning 176999 clauses out of 354031 with flag 15921006/19916676
1054.10/1047.73	c cleaning 178008 clauses out of 356026 with flag 16100000/20095670
1064.92/1058.55	c cleaning 178993 clauses out of 358018 with flag 16280000/20275670
1077.07/1070.67	c cleaning 180002 clauses out of 360029 with flag 16461004/20456674
1088.22/1081.75	c cleaning 180996 clauses out of 362023 with flag 16643000/20638670
1099.07/1092.51	c cleaning 182008 clauses out of 364030 with flag 16826003/20821673
1110.52/1103.95	c cleaning 182996 clauses out of 366019 with flag 17010000/21005670
1122.85/1116.28	c cleaning 183990 clauses out of 368023 with flag 17195000/21190670
1135.89/1129.25	c cleaning 185009 clauses out of 370035 with flag 17381002/21376672
1147.86/1141.15	c cleaning 186008 clauses out of 372027 with flag 17568003/21563673
1159.90/1153.14	c cleaning 186998 clauses out of 374021 with flag 17756005/21751675
1172.66/1165.88	c cleaning 187995 clauses out of 376020 with flag 17945002/21940672
1184.90/1178.05	c cleaning 189000 clauses out of 378027 with flag 18135004/22130674
1197.62/1190.70	c cleaning 190004 clauses out of 380023 with flag 18326000/22321670
1209.86/1202.96	c cleaning 191003 clauses out of 382019 with flag 18518000/22513670
1222.69/1215.77	c cleaning 191997 clauses out of 384016 with flag 18711000/22706670
1234.62/1227.68	c cleaning 192998 clauses out of 386022 with flag 18905003/22900673
1246.07/1239.04	c cleaning 193999 clauses out of 388026 with flag 19100005/23095675
1259.08/1251.92	c cleaning 195001 clauses out of 390024 with flag 19296002/23291672
1270.84/1263.64	c cleaning 196004 clauses out of 392027 with flag 19493006/23488676
1284.76/1277.59	c cleaning 197000 clauses out of 394020 with flag 19691003/23686673
1298.21/1290.88	c cleaning 197994 clauses out of 396017 with flag 19890000/23885670
1312.17/1304.79	c cleaning 198997 clauses out of 398023 with flag 20090000/24085670
1325.83/1318.39	c cleaning 199995 clauses out of 400027 with flag 20291001/24286671
1339.07/1331.53	c cleaning 201005 clauses out of 402032 with flag 20493001/24488671
1352.19/1344.69	c cleaning 201990 clauses out of 404026 with flag 20696000/24691670
1365.24/1357.66	c cleaning 203010 clauses out of 406038 with flag 20900002/24895672
1378.39/1370.72	c cleaning 203999 clauses out of 408026 with flag 21105000/25100670
1392.85/1385.12	c cleaning 204992 clauses out of 410027 with flag 21311000/25306670
1406.89/1399.15	c cleaning 205999 clauses out of 412035 with flag 21518000/25513670
1421.41/1413.66	c cleaning 206995 clauses out of 414037 with flag 21726001/25721671
1435.55/1427.78	c cleaning 208012 clauses out of 416042 with flag 21935001/25930671
1448.07/1440.26	c cleaning 209007 clauses out of 418029 with flag 22145000/26140670
1463.50/1455.67	c cleaning 209982 clauses out of 420022 with flag 22356000/26351670
1479.16/1471.22	c cleaning 211013 clauses out of 422044 with flag 22568004/26563674
1492.94/1484.92	c cleaning 212009 clauses out of 424027 with flag 22781000/26776670
1507.27/1499.27	c cleaning 213007 clauses out of 426018 with flag 22995000/26990670
1522.74/1514.66	c cleaning 213996 clauses out of 428011 with flag 23210000/27205670
1536.57/1528.44	c cleaning 214998 clauses out of 430016 with flag 23426001/27421671
1551.91/1543.76	c cleaning 216005 clauses out of 432018 with flag 23643001/27638671
1565.35/1557.19	c cleaning 216991 clauses out of 434012 with flag 23861000/27856670
1581.19/1573.00	c cleaning 218001 clauses out of 436024 with flag 24080003/28075673
1597.45/1589.14	c cleaning 218990 clauses out of 438020 with flag 24300000/28295670
1615.20/1606.80	c cleaning 220005 clauses out of 440030 with flag 24521000/28516670
1631.23/1622.87	c cleaning 220990 clauses out of 442025 with flag 24743000/28738670
1648.68/1640.24	c cleaning 222006 clauses out of 444036 with flag 24966001/28961671
1666.53/1658.01	c cleaning 223004 clauses out of 446029 with flag 25190000/29185670
1681.88/1673.37	c cleaning 224000 clauses out of 448026 with flag 25415001/29410671
1697.52/1688.96	c cleaning 224994 clauses out of 450025 with flag 25641000/29636670
1714.60/1705.90	c cleaning 226011 clauses out of 452031 with flag 25868000/29863670
1731.45/1722.80	c cleaning 227003 clauses out of 454020 with flag 26096000/30091670
1748.07/1739.35	c cleaning 228008 clauses out of 456018 with flag 26325001/30320671
1764.10/1755.35	c cleaning 228986 clauses out of 458009 with flag 26555000/30550670
1782.44/1773.69	c cleaning 229996 clauses out of 460023 with flag 26786000/30781670
1799.49/1790.63	c cleaning 231000 clauses out of 462027 with flag 27018000/31013670
1800.06/1791.11	c starts		: 386
1800.06/1791.11	c conflicts		: 31023518
1800.06/1791.11	c decisions		: 75613757
1800.06/1791.11	c propagations		: 2050723747
1800.06/1791.11	c inspects		: 10577421287
1800.06/1791.11	c shortcuts		: 0
1800.06/1791.11	c learnt literals	: 0
1800.06/1791.11	c learnt binary clauses	: 0
1800.06/1791.11	c learnt ternary clauses	: 0
1800.06/1791.11	c learnt constraints	: 31023522
1800.06/1791.11	c ignored constraints	: 0
1800.06/1791.11	c root simplifications	: 0
1800.06/1791.11	c removed literals (reason simplification)	: 0
1800.06/1791.11	c reason swapping (by a shorter reason)	: 0
1800.06/1791.11	c Calls to reduceDB	: 379
1800.06/1791.11	c number of reductions to clauses (during analyze)	: 0
1800.06/1791.11	c number of learned constraints concerned by reduction	: 0
1800.06/1791.11	c number of learning phase by resolution	: 0
1800.06/1791.11	c number of learning phase by cutting planes	: 0
1800.06/1791.11	c speed (assignments/second)	: 1145053.5762743852
1800.06/1791.11	c non guided choices	0
1800.06/1791.14	c learnt constraints type 
1800.06/1791.14	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 241536
1800.06/1791.14	c constraints type 
1800.06/1791.14	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100
1800.06/1791.14	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.06/1791.14	c 101 constraints processed.
1800.06/1791.14	s SATISFIABLE
1800.06/1791.14	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 
1800.06/1791.14	c objective function=27
1800.06/1791.14	c Total wall clock time (in seconds): 1791.034

Verifier Data 

OK	27

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-3688153-1337880589/watcher-3688153-1337880589 -o /tmp/evaluation-result-3688153-1337880589/solver-3688153-1337880589 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688153-1337880589.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: 2.00 2.00 2.00 3/194 24902
/proc/meminfo: memFree=29293976/32873648 swapFree=6844/6844
[pid=24902] ppid=24900 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/24902/stat : 24902 (java) D 24900 24902 23338 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 254184747 9515008 183 33554432000 1073741824 1073778376 140736907789328 140736907780360 259112386229 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/24902/statm: 2323 183 140 9 0 71 0

[startup+0.0173681 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 24902
/proc/meminfo: memFree=29293976/32873648 swapFree=6844/6844
[pid=24902] ppid=24900 vsize=101560 CPUtime=0 cores=1,3,5,7
/proc/24902/stat : 24902 (java) S 24900 24902 23338 0 -1 4202496 1419 0 1 0 0 0 0 0 20 0 2 0 254184747 103997440 1101 33554432000 1073741824 1073778376 140737246011296 140737246002432 259115745341 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24902/statm: 25390 1101 852 9 0 16774 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 101560

[startup+0.100141 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 24902
/proc/meminfo: memFree=29293976/32873648 swapFree=6844/6844
[pid=24902] ppid=24900 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/24902/stat : 24902 (java) S 24900 24902 23338 0 -1 4202496 4396 0 1 0 9 0 0 0 20 0 18 0 254184747 9787813888 5053 33554432000 1073741824 1073778376 140737246011296 140737246002432 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24902/statm: 2389603 5054 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300187 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 24902
/proc/meminfo: memFree=29293976/32873648 swapFree=6844/6844
[pid=24902] ppid=24900 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/24902/stat : 24902 (java) S 24900 24902 23338 0 -1 4202496 6972 0 1 0 49 1 0 0 20 0 19 0 254184747 9855975424 7236 33554432000 1073741824 1073778376 140737246011296 140737246002432 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24902/statm: 2406244 7236 2230 9 0 2396937 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9624976

[startup+0.700184 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 24902
/proc/meminfo: memFree=29293976/32873648 swapFree=6844/6844
[pid=24902] ppid=24900 vsize=9624976 CPUtime=1.05 cores=1,3,5,7
/proc/24902/stat : 24902 (java) S 24900 24902 23338 0 -1 4202496 7625 0 1 0 104 1 0 0 20 0 19 0 254184747 9855975424 9426 33554432000 1073741824 1073778376 140737246011296 140737246002432 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24902/statm: 2406244 9426 2266 9 0 2396937 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 9624976

[startup+1.50062 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 24921
/proc/meminfo: memFree=29260720/32873648 swapFree=6844/6844
[pid=24902] ppid=24900 vsize=9624976 CPUtime=1.89 cores=1,3,5,7
/proc/24902/stat : 24902 (java) S 24900 24902 23338 0 -1 4202496 7658 0 1 0 188 1 0 0 20 0 19 0 254184747 9855975424 10475 33554432000 1073741824 1073778376 140737246011296 140737246002432 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24902/statm: 2406244 10475 2267 9 0 2396937 0
[pid=24902/tid=24904] ppid=24900 vsize=9624976 CPUtime=1.42 cores=1,3,5,7
/proc/24902/task/24904/stat : 24904 (java) R 24900 24902 23338 0 -1 4202560 2511 0 1 0 142 0 0 0 20 0 19 0 254184748 9855975424 10475 33554432000 1073741824 1073778376 140737246011296 139809106117016 139808978507367 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24902/tid=24905] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24905/stat : 24905 (java) S 24900 24902 23338 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254184749 9855975424 10475 33554432000 1073741824 1073778376 140737246011296 139808949659944 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24902/tid=24906] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24906/stat : 24906 (java) S 24900 24902 23338 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254184749 9855975424 10475 33554432000 1073741824 1073778376 140737246011296 139808948607144 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24902/tid=24907] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24907/stat : 24907 (java) S 24900 24902 23338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254184749 9855975424 10475 33554432000 1073741824 1073778376 140737246011296 139808947554856 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24902/tid=24908] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24908/stat : 24908 (java) S 24900 24902 23338 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254184749 9855975424 10475 33554432000 1073741824 1073778376 140737246011296 139808946502056 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24902/tid=24909] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24909/stat : 24909 (java) S 24900 24902 23338 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254184749 9855975424 10475 33554432000 1073741824 1073778376 140737246011296 139808945449768 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24902/tid=24910] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24910/stat : 24910 (java) S 24900 24902 23338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254184749 9855975424 10475 33554432000 1073741824 1073778376 140737246011296 139808944396968 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24902/tid=24911] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24911/stat : 24911 (java) S 24900 24902 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254184749 9855975424 10475 33554432000 1073741824 1073778376 140737246011296 139808943344680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24902/tid=24912] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24912/stat : 24912 (java) S 24900 24902 23338 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254184749 9855975424 10475 33554432000 1073741824 1073778376 140737246011296 139808942291880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24902/tid=24913] ppid=24900 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/24902/task/24913/stat : 24913 (java) S 24900 24902 23338 0 -1 4202560 30 0 0 0 2 0 0 0 20 0 19 0 254184750 9855975424 10475 33554432000 1073741824 1073778376 140737246011296 139808930093288 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24902/tid=24914] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24914/stat : 24914 (java) S 24900 24902 23338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254184750 9855975424 10475 33554432000 1073741824 1073778376 140737246011296 139808929039352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24902/tid=24915] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24915/stat : 24915 (java) S 24900 24902 23338 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254184750 9855975424 10475 33554432000 1073741824 1073778376 140737246011296 139808927986952 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24902/tid=24916] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24916/stat : 24916 (java) S 24900 24902 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254184753 9855975424 10475 33554432000 1073741824 1073778376 140737246011296 139808926935440 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24902/tid=24917] ppid=24900 vsize=9624976 CPUtime=0.19 cores=1,3,5,7
/proc/24902/task/24917/stat : 24917 (java) S 24900 24902 23338 0 -1 4202560 1861 0 0 0 19 0 0 0 20 0 19 0 254184753 9855975424 10475 33554432000 1073741824 1073778376 140737246011296 139808925883064 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24902/tid=24918] ppid=24900 vsize=9624976 CPUtime=0.18 cores=1,3,5,7
/proc/24902/task/24918/stat : 24918 (java) S 24900 24902 23338 0 -1 4202560 2039 0 0 0 18 0 0 0 20 0 19 0 254184753 9855975424 10475 33554432000 1073741824 1073778376 140737246011296 139808924830264 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24902/tid=24919] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24919/stat : 24919 (java) S 24900 24902 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254184753 9855975424 10475 33554432000 1073741824 1073778376 140737246011296 139808923778168 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24902/tid=24920] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24920/stat : 24920 (java) S 24900 24902 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254184753 9855975424 10475 33554432000 1073741824 1073778376 140737246011296 139808922725576 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24902/tid=24921] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24921/stat : 24921 (java) S 24900 24902 23338 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254184764 9855975424 10475 33554432000 1073741824 1073778376 140737246011296 139808921670568 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 9624976

[startup+3.10113 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 24921
/proc/meminfo: memFree=29260224/32873648 swapFree=6844/6844
[pid=24902] ppid=24900 vsize=9624976 CPUtime=3.51 cores=1,3,5,7
/proc/24902/stat : 24902 (java) S 24900 24902 23338 0 -1 4202496 7671 0 1 0 349 2 0 0 20 0 19 0 254184747 9855975424 10482 33554432000 1073741824 1073778376 140737246011296 140737246002432 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24902/statm: 2406244 10482 2267 9 0 2396937 0
[pid=24902/tid=24904] ppid=24900 vsize=9624976 CPUtime=2.95 cores=1,3,5,7
/proc/24902/task/24904/stat : 24904 (java) R 24900 24902 23338 0 -1 4202560 2517 0 1 0 295 0 0 0 20 0 19 0 254184748 9855975424 10482 33554432000 1073741824 1073778376 140737246011296 139809106116896 139808978548877 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24902/tid=24905] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24905/stat : 24905 (java) S 24900 24902 23338 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254184749 9855975424 10482 33554432000 1073741824 1073778376 140737246011296 139808949659944 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24902/tid=24906] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24906/stat : 24906 (java) S 24900 24902 23338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254184749 9855975424 10482 33554432000 1073741824 1073778376 140737246011296 139808948607144 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24902/tid=24907] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24907/stat : 24907 (java) S 24900 24902 23338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254184749 9855975424 10482 33554432000 1073741824 1073778376 140737246011296 139808947554856 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24902/tid=24908] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24908/stat : 24908 (java) S 24900 24902 23338 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254184749 9855975424 10482 33554432000 1073741824 1073778376 140737246011296 139808946502056 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24902/tid=24909] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24909/stat : 24909 (java) S 24900 24902 23338 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254184749 9855975424 10482 33554432000 1073741824 1073778376 140737246011296 139808945449768 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24902/tid=24910] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24910/stat : 24910 (java) S 24900 24902 23338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254184749 9855975424 10482 33554432000 1073741824 1073778376 140737246011296 139808944396968 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24902/tid=24911] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24911/stat : 24911 (java) S 24900 24902 23338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254184749 9855975424 10482 33554432000 1073741824 1073778376 140737246011296 139808943344680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24902/tid=24912] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24912/stat : 24912 (java) S 24900 24902 23338 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254184749 9855975424 10482 33554432000 1073741824 1073778376 140737246011296 139808942291880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24902/tid=24913] ppid=24900 vsize=9624976 CPUtime=0.07 cores=1,3,5,7
/proc/24902/task/24913/stat : 24913 (java) S 24900 24902 23338 0 -1 4202560 30 0 0 0 7 0 0 0 20 0 19 0 254184750 9855975424 10482 33554432000 1073741824 1073778376 140737246011296 139808930093288 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24902/tid=24914] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24914/stat : 24914 (java) S 24900 24902 23338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254184750 9855975424 10482 33554432000 1073741824 1073778376 140737246011296 139808929039352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24902/tid=24915] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24915/stat : 24915 (java) S 24900 24902 23338 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254184750 9855975424 10482 33554432000 1073741824 1073778376 140737246011296 139808927986952 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24902/tid=24916] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24916/stat : 24916 (java) S 24900 24902 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254184753 9855975424 10482 33554432000 1073741824 1073778376 140737246011296 139808926935440 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24902/tid=24917] ppid=24900 vsize=9624976 CPUtime=0.19 cores=1,3,5,7
/proc/24902/task/24917/stat : 24917 (java) S 24900 24902 23338 0 -1 4202560 1861 0 0 0 19 0 0 0 20 0 19 0 254184753 9855975424 10482 33554432000 1073741824 1073778376 140737246011296 139808925883064 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24902/tid=24918] ppid=24900 vsize=9624976 CPUtime=0.18 cores=1,3,5,7
/proc/24902/task/24918/stat : 24918 (java) S 24900 24902 23338 0 -1 4202560 2039 0 0 0 18 0 0 0 20 0 19 0 254184753 9855975424 10482 33554432000 1073741824 1073778376 140737246011296 139808924830264 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24902/tid=24919] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24919/stat : 24919 (java) S 24900 24902 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254184753 9855975424 10482 33554432000 1073741824 1073778376 140737246011296 139808923778168 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24902/tid=24920] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24920/stat : 24920 (java) S 24900 24902 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254184753 9855975424 10482 33554432000 1073741824 1073778376 140737246011296 139808922725576 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24902/tid=24921] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24921/stat : 24921 (java) S 24900 24902 23338 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254184764 9855975424 10482 33554432000 1073741824 1073778376 140737246011296 139808921670568 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.51
Current children cumulated vsize (KiB) 9624976

[startup+6.30072 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 24921
/proc/meminfo: memFree=29259860/32873648 swapFree=6844/6844
[pid=24902] ppid=24900 vsize=9624976 CPUtime=6.74 cores=1,3,5,7
/proc/24902/stat : 24902 (java) S 24900 24902 23338 0 -1 4202496 7707 0 1 0 672 2 0 0 20 0 19 0 254184747 9855975424 10893 33554432000 1073741824 1073778376 140737246011296 140737246002432 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24902/statm: 2406244 10893 2267 9 0 2396937 0
[pid=24902/tid=24904] ppid=24900 vsize=9624976 CPUtime=6.04 cores=1,3,5,7
/proc/24902/task/24904/stat : 24904 (java) R 24900 24902 23338 0 -1 4202560 2526 0 1 0 604 0 0 0 20 0 19 0 254184748 9855975424 10893 33554432000 1073741824 1073778376 140737246011296 139809106116896 139808978458559 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24902/tid=24905] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24905/stat : 24905 (java) S 24900 24902 23338 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254184749 9855975424 10893 33554432000 1073741824 1073778376 140737246011296 139808949659944 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24902/tid=24906] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24906/stat : 24906 (java) S 24900 24902 23338 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254184749 9855975424 10893 33554432000 1073741824 1073778376 140737246011296 139808948607144 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24902/tid=24907] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24907/stat : 24907 (java) S 24900 24902 23338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254184749 9855975424 10893 33554432000 1073741824 1073778376 140737246011296 139808947554856 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24902/tid=24908] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24908/stat : 24908 (java) S 24900 24902 23338 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254184749 9855975424 10893 33554432000 1073741824 1073778376 140737246011296 139808946502056 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24902/tid=24909] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24909/stat : 24909 (java) S 24900 24902 23338 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254184749 9855975424 10893 33554432000 1073741824 1073778376 140737246011296 139808945449768 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24902/tid=24910] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24910/stat : 24910 (java) S 24900 24902 23338 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254184749 9855975424 10893 33554432000 1073741824 1073778376 140737246011296 139808944396968 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24902/tid=24911] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24911/stat : 24911 (java) S 24900 24902 23338 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 254184749 9855975424 10893 33554432000 1073741824 1073778376 140737246011296 139808943344680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24902/tid=24912] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24912/stat : 24912 (java) S 24900 24902 23338 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254184749 9855975424 10893 33554432000 1073741824 1073778376 140737246011296 139808942291880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24902/tid=24913] ppid=24900 vsize=9624976 CPUtime=0.15 cores=1,3,5,7
/proc/24902/task/24913/stat : 24913 (java) S 24900 24902 23338 0 -1 4202560 31 0 0 0 15 0 0 0 20 0 19 0 254184750 9855975424 10893 33554432000 1073741824 1073778376 140737246011296 139808930093288 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24902/tid=24914] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24914/stat : 24914 (java) S 24900 24902 23338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254184750 9855975424 10893 33554432000 1073741824 1073778376 140737246011296 139808929039352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24902/tid=24915] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24915/stat : 24915 (java) S 24900 24902 23338 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254184750 9855975424 10893 33554432000 1073741824 1073778376 140737246011296 139808927986952 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24902/tid=24916] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24916/stat : 24916 (java) S 24900 24902 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254184753 9855975424 10893 33554432000 1073741824 1073778376 140737246011296 139808926935440 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24902/tid=24917] ppid=24900 vsize=9624976 CPUtime=0.19 cores=1,3,5,7
/proc/24902/task/24917/stat : 24917 (java) S 24900 24902 23338 0 -1 4202560 1861 0 0 0 19 0 0 0 20 0 19 0 254184753 9855975424 10893 33554432000 1073741824 1073778376 140737246011296 139808925883064 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24902/tid=24918] ppid=24900 vsize=9624976 CPUtime=0.18 cores=1,3,5,7
/proc/24902/task/24918/stat : 24918 (java) S 24900 24902 23338 0 -1 4202560 2039 0 0 0 18 0 0 0 20 0 19 0 254184753 9855975424 10893 33554432000 1073741824 1073778376 140737246011296 139808924830264 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24902/tid=24919] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24919/stat : 24919 (java) S 24900 24902 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254184753 9855975424 10893 33554432000 1073741824 1073778376 140737246011296 139808923778168 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24902/tid=24920] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24920/stat : 24920 (java) S 24900 24902 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254184753 9855975424 10893 33554432000 1073741824 1073778376 140737246011296 139808922725576 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24902/tid=24921] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24921/stat : 24921 (java) S 24900 24902 23338 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254184764 9855975424 10893 33554432000 1073741824 1073778376 140737246011296 139808921670568 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.74
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

[pid=24902/tid=24917] ppid=24900 vsize=9624976 CPUtime=0.19 cores=1,3,5,7
/proc/24902/task/24917/stat : 24917 (java) S 24900 24902 23338 0 -1 4202560 1861 0 0 0 19 0 0 0 20 0 19 0 254184753 9855975424 57403 33554432000 1073741824 1073778376 140737246011296 139808925883064 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24902/tid=24918] ppid=24900 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/24902/task/24918/stat : 24918 (java) S 24900 24902 23338 0 -1 4202560 2238 0 0 0 20 0 0 0 20 0 19 0 254184753 9855975424 57403 33554432000 1073741824 1073778376 140737246011296 139808924830264 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24902/tid=24919] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24919/stat : 24919 (java) S 24900 24902 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254184753 9855975424 57403 33554432000 1073741824 1073778376 140737246011296 139808923778168 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24902/tid=24920] ppid=24900 vsize=9624976 CPUtime=0.34 cores=1,3,5,7
/proc/24902/task/24920/stat : 24920 (java) S 24900 24902 23338 0 -1 4202560 98 0 0 0 17 17 0 0 20 0 19 0 254184753 9855975424 57403 33554432000 1073741824 1073778376 140737246011296 139808922725576 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24902/tid=24921] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24921/stat : 24921 (java) S 24900 24902 23338 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254184764 9855975424 57403 33554432000 1073741824 1073778376 140737246011296 139808921670568 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1731.05
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 24995
/proc/meminfo: memFree=29478820/32873648 swapFree=6844/6844
[pid=24902] ppid=24900 vsize=9624976 CPUtime=1791.19 cores=1,3,5,7
/proc/24902/stat : 24902 (java) S 24900 24902 23338 0 -1 4202496 11056 0 1 0 179078 41 0 0 20 0 19 0 254184747 9855975424 57403 33554432000 1073741824 1073778376 140737246011296 140737246002432 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24902/statm: 2406244 57403 2268 9 0 2396937 0
[pid=24902/tid=24904] ppid=24900 vsize=9624976 CPUtime=1759.26 cores=1,3,5,7
/proc/24902/task/24904/stat : 24904 (java) R 24900 24902 23338 0 -1 4202560 2905 0 1 0 175898 28 0 0 20 0 19 0 254184748 9855975424 57403 33554432000 1073741824 1073778376 140737246011296 139809106116896 139808978526311 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24902/tid=24905] ppid=24900 vsize=9624976 CPUtime=1.45 cores=1,3,5,7
/proc/24902/task/24905/stat : 24905 (java) S 24900 24902 23338 0 -1 4202560 301 0 0 0 143 2 0 0 20 0 19 0 254184749 9855975424 57403 33554432000 1073741824 1073778376 140737246011296 139808949659944 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24902/tid=24906] ppid=24900 vsize=9624976 CPUtime=1.47 cores=1,3,5,7
/proc/24902/task/24906/stat : 24906 (java) S 24900 24902 23338 0 -1 4202560 253 0 0 0 145 2 0 0 20 0 19 0 254184749 9855975424 57403 33554432000 1073741824 1073778376 140737246011296 139808948607144 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24902/tid=24907] ppid=24900 vsize=9624976 CPUtime=1.52 cores=1,3,5,7
/proc/24902/task/24907/stat : 24907 (java) S 24900 24902 23338 0 -1 4202560 407 0 0 0 149 3 0 0 20 0 19 0 254184749 9855975424 57403 33554432000 1073741824 1073778376 140737246011296 139808947554856 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24902/tid=24908] ppid=24900 vsize=9624976 CPUtime=1.61 cores=1,3,5,7
/proc/24902/task/24908/stat : 24908 (java) S 24900 24902 23338 0 -1 4202560 318 0 0 0 158 3 0 0 20 0 19 0 254184749 9855975424 57403 33554432000 1073741824 1073778376 140737246011296 139808946502056 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24902/tid=24909] ppid=24900 vsize=9624976 CPUtime=1.46 cores=1,3,5,7
/proc/24902/task/24909/stat : 24909 (java) S 24900 24902 23338 0 -1 4202560 350 0 0 0 143 3 0 0 20 0 19 0 254184749 9855975424 57403 33554432000 1073741824 1073778376 140737246011296 139808945449768 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24902/tid=24910] ppid=24900 vsize=9624976 CPUtime=1.52 cores=1,3,5,7
/proc/24902/task/24910/stat : 24910 (java) S 24900 24902 23338 0 -1 4202560 376 0 0 0 150 2 0 0 20 0 19 0 254184749 9855975424 57403 33554432000 1073741824 1073778376 140737246011296 139808944396968 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24902/tid=24911] ppid=24900 vsize=9624976 CPUtime=1.55 cores=1,3,5,7
/proc/24902/task/24911/stat : 24911 (java) S 24900 24902 23338 0 -1 4202560 326 0 0 0 154 1 0 0 20 0 19 0 254184749 9855975424 57403 33554432000 1073741824 1073778376 140737246011296 139808943344680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24902/tid=24912] ppid=24900 vsize=9624976 CPUtime=1.32 cores=1,3,5,7
/proc/24902/task/24912/stat : 24912 (java) S 24900 24902 23338 0 -1 4202560 266 0 0 0 130 2 0 0 20 0 19 0 254184749 9855975424 57403 33554432000 1073741824 1073778376 140737246011296 139808942291880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24902/tid=24913] ppid=24900 vsize=9624976 CPUtime=14.85 cores=1,3,5,7
/proc/24902/task/24913/stat : 24913 (java) S 24900 24902 23338 0 -1 4202560 174 0 0 0 1481 4 0 0 20 0 19 0 254184750 9855975424 57403 33554432000 1073741824 1073778376 140737246011296 139808930093288 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24902/tid=24914] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24914/stat : 24914 (java) S 24900 24902 23338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254184750 9855975424 57403 33554432000 1073741824 1073778376 140737246011296 139808929039352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24902/tid=24915] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24915/stat : 24915 (java) S 24900 24902 23338 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254184750 9855975424 57403 33554432000 1073741824 1073778376 140737246011296 139808927986952 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24902/tid=24916] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24916/stat : 24916 (java) S 24900 24902 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254184753 9855975424 57403 33554432000 1073741824 1073778376 140737246011296 139808926935440 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24902/tid=24917] ppid=24900 vsize=9624976 CPUtime=0.19 cores=1,3,5,7
/proc/24902/task/24917/stat : 24917 (java) S 24900 24902 23338 0 -1 4202560 1861 0 0 0 19 0 0 0 20 0 19 0 254184753 9855975424 57403 33554432000 1073741824 1073778376 140737246011296 139808925883064 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24902/tid=24918] ppid=24900 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/24902/task/24918/stat : 24918 (java) S 24900 24902 23338 0 -1 4202560 2238 0 0 0 20 0 0 0 20 0 19 0 254184753 9855975424 57403 33554432000 1073741824 1073778376 140737246011296 139808924830264 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24902/tid=24919] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24919/stat : 24919 (java) S 24900 24902 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254184753 9855975424 57403 33554432000 1073741824 1073778376 140737246011296 139808923778168 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24902/tid=24920] ppid=24900 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/24902/task/24920/stat : 24920 (java) S 24900 24902 23338 0 -1 4202560 102 0 0 0 17 19 0 0 20 0 19 0 254184753 9855975424 57403 33554432000 1073741824 1073778376 140737246011296 139808922725576 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24902/tid=24921] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24921/stat : 24921 (java) S 24900 24902 23338 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254184764 9855975424 57403 33554432000 1073741824 1073778376 140737246011296 139808921670568 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.19
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1791.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 24995
/proc/meminfo: memFree=29476684/32873648 swapFree=6844/6844
[pid=24902] ppid=24900 vsize=9624976 CPUtime=1800.06 cores=1,3,5,7
/proc/24902/stat : 24902 (java) S 24900 24902 23338 0 -1 4202496 11058 0 1 0 179965 41 0 0 20 0 19 0 254184747 9855975424 57915 33554432000 1073741824 1073778376 140737246011296 140737246002432 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24902/statm: 2406244 57915 2268 9 0 2396937 0
[pid=24902/tid=24904] ppid=24900 vsize=9624976 CPUtime=1767.93 cores=1,3,5,7
/proc/24902/task/24904/stat : 24904 (java) R 24900 24902 23338 0 -1 4202560 2907 0 1 0 176765 28 0 0 20 0 19 0 254184748 9855975424 57915 33554432000 1073741824 1073778376 140737246011296 139809106116896 139808978475672 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24902/tid=24905] ppid=24900 vsize=9624976 CPUtime=1.45 cores=1,3,5,7
/proc/24902/task/24905/stat : 24905 (java) S 24900 24902 23338 0 -1 4202560 301 0 0 0 143 2 0 0 20 0 19 0 254184749 9855975424 57915 33554432000 1073741824 1073778376 140737246011296 139808949659944 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24902/tid=24906] ppid=24900 vsize=9624976 CPUtime=1.49 cores=1,3,5,7
/proc/24902/task/24906/stat : 24906 (java) S 24900 24902 23338 0 -1 4202560 253 0 0 0 147 2 0 0 20 0 19 0 254184749 9855975424 57915 33554432000 1073741824 1073778376 140737246011296 139808948607144 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24902/tid=24907] ppid=24900 vsize=9624976 CPUtime=1.52 cores=1,3,5,7
/proc/24902/task/24907/stat : 24907 (java) S 24900 24902 23338 0 -1 4202560 407 0 0 0 149 3 0 0 20 0 19 0 254184749 9855975424 57915 33554432000 1073741824 1073778376 140737246011296 139808947554856 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24902/tid=24908] ppid=24900 vsize=9624976 CPUtime=1.61 cores=1,3,5,7
/proc/24902/task/24908/stat : 24908 (java) S 24900 24902 23338 0 -1 4202560 318 0 0 0 158 3 0 0 20 0 19 0 254184749 9855975424 57915 33554432000 1073741824 1073778376 140737246011296 139808946502056 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24902/tid=24909] ppid=24900 vsize=9624976 CPUtime=1.47 cores=1,3,5,7
/proc/24902/task/24909/stat : 24909 (java) S 24900 24902 23338 0 -1 4202560 350 0 0 0 144 3 0 0 20 0 19 0 254184749 9855975424 57915 33554432000 1073741824 1073778376 140737246011296 139808945449768 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24902/tid=24910] ppid=24900 vsize=9624976 CPUtime=1.54 cores=1,3,5,7
/proc/24902/task/24910/stat : 24910 (java) S 24900 24902 23338 0 -1 4202560 376 0 0 0 152 2 0 0 20 0 19 0 254184749 9855975424 57915 33554432000 1073741824 1073778376 140737246011296 139808944396968 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24902/tid=24911] ppid=24900 vsize=9624976 CPUtime=1.56 cores=1,3,5,7
/proc/24902/task/24911/stat : 24911 (java) S 24900 24902 23338 0 -1 4202560 326 0 0 0 155 1 0 0 20 0 19 0 254184749 9855975424 57915 33554432000 1073741824 1073778376 140737246011296 139808943344680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24902/tid=24912] ppid=24900 vsize=9624976 CPUtime=1.33 cores=1,3,5,7
/proc/24902/task/24912/stat : 24912 (java) S 24900 24902 23338 0 -1 4202560 266 0 0 0 131 2 0 0 20 0 19 0 254184749 9855975424 57915 33554432000 1073741824 1073778376 140737246011296 139808942291880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24902/tid=24913] ppid=24900 vsize=9624976 CPUtime=14.94 cores=1,3,5,7
/proc/24902/task/24913/stat : 24913 (java) S 24900 24902 23338 0 -1 4202560 174 0 0 0 1490 4 0 0 20 0 19 0 254184750 9855975424 57915 33554432000 1073741824 1073778376 140737246011296 139808930093288 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24902/tid=24914] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24914/stat : 24914 (java) S 24900 24902 23338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254184750 9855975424 57915 33554432000 1073741824 1073778376 140737246011296 139808929039352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24902/tid=24915] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24915/stat : 24915 (java) S 24900 24902 23338 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254184750 9855975424 57915 33554432000 1073741824 1073778376 140737246011296 139808927986952 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24902/tid=24916] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24916/stat : 24916 (java) S 24900 24902 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254184753 9855975424 57915 33554432000 1073741824 1073778376 140737246011296 139808926935440 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24902/tid=24917] ppid=24900 vsize=9624976 CPUtime=0.19 cores=1,3,5,7
/proc/24902/task/24917/stat : 24917 (java) S 24900 24902 23338 0 -1 4202560 1861 0 0 0 19 0 0 0 20 0 19 0 254184753 9855975424 57915 33554432000 1073741824 1073778376 140737246011296 139808925883064 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24902/tid=24918] ppid=24900 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/24902/task/24918/stat : 24918 (java) S 24900 24902 23338 0 -1 4202560 2238 0 0 0 20 0 0 0 20 0 19 0 254184753 9855975424 57915 33554432000 1073741824 1073778376 140737246011296 139808924830264 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24902/tid=24919] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24919/stat : 24919 (java) S 24900 24902 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254184753 9855975424 57915 33554432000 1073741824 1073778376 140737246011296 139808923778168 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24902/tid=24920] ppid=24900 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/24902/task/24920/stat : 24920 (java) S 24900 24902 23338 0 -1 4202560 102 0 0 0 18 19 0 0 20 0 19 0 254184753 9855975424 57915 33554432000 1073741824 1073778376 140737246011296 139808922725576 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24902/tid=24921] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24921/stat : 24921 (java) S 24900 24902 23338 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254184764 9855975424 57915 33554432000 1073741824 1073778376 140737246011296 139808921670568 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9624976

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

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

[startup+1791.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 24995
/proc/meminfo: memFree=29476684/32873648 swapFree=6844/6844
[pid=24902] ppid=24900 vsize=9624976 CPUtime=1800.06 cores=1,3,5,7
/proc/24902/stat : 24902 (java) S 24900 24902 23338 0 -1 4202496 11058 0 1 0 179965 41 0 0 20 0 19 0 254184747 9855975424 57915 33554432000 1073741824 1073778376 140737246011296 140737246002432 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24902/statm: 2406244 57915 2268 9 0 2396937 0
[pid=24902/tid=24904] ppid=24900 vsize=9624976 CPUtime=1767.93 cores=1,3,5,7
/proc/24902/task/24904/stat : 24904 (java) R 24900 24902 23338 0 -1 4202560 2907 0 1 0 176765 28 0 0 20 0 19 0 254184748 9855975424 57915 33554432000 1073741824 1073778376 140737246011296 139809106116896 139808978475672 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24902/tid=24905] ppid=24900 vsize=9624976 CPUtime=1.45 cores=1,3,5,7
/proc/24902/task/24905/stat : 24905 (java) S 24900 24902 23338 0 -1 4202560 301 0 0 0 143 2 0 0 20 0 19 0 254184749 9855975424 57915 33554432000 1073741824 1073778376 140737246011296 139808949659944 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24902/tid=24906] ppid=24900 vsize=9624976 CPUtime=1.49 cores=1,3,5,7
/proc/24902/task/24906/stat : 24906 (java) S 24900 24902 23338 0 -1 4202560 253 0 0 0 147 2 0 0 20 0 19 0 254184749 9855975424 57915 33554432000 1073741824 1073778376 140737246011296 139808948607144 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24902/tid=24907] ppid=24900 vsize=9624976 CPUtime=1.52 cores=1,3,5,7
/proc/24902/task/24907/stat : 24907 (java) S 24900 24902 23338 0 -1 4202560 407 0 0 0 149 3 0 0 20 0 19 0 254184749 9855975424 57915 33554432000 1073741824 1073778376 140737246011296 139808947554856 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24902/tid=24908] ppid=24900 vsize=9624976 CPUtime=1.61 cores=1,3,5,7
/proc/24902/task/24908/stat : 24908 (java) S 24900 24902 23338 0 -1 4202560 318 0 0 0 158 3 0 0 20 0 19 0 254184749 9855975424 57915 33554432000 1073741824 1073778376 140737246011296 139808946502056 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24902/tid=24909] ppid=24900 vsize=9624976 CPUtime=1.47 cores=1,3,5,7
/proc/24902/task/24909/stat : 24909 (java) S 24900 24902 23338 0 -1 4202560 350 0 0 0 144 3 0 0 20 0 19 0 254184749 9855975424 57915 33554432000 1073741824 1073778376 140737246011296 139808945449768 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24902/tid=24910] ppid=24900 vsize=9624976 CPUtime=1.54 cores=1,3,5,7
/proc/24902/task/24910/stat : 24910 (java) S 24900 24902 23338 0 -1 4202560 376 0 0 0 152 2 0 0 20 0 19 0 254184749 9855975424 57915 33554432000 1073741824 1073778376 140737246011296 139808944396968 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24902/tid=24911] ppid=24900 vsize=9624976 CPUtime=1.56 cores=1,3,5,7
/proc/24902/task/24911/stat : 24911 (java) S 24900 24902 23338 0 -1 4202560 326 0 0 0 155 1 0 0 20 0 19 0 254184749 9855975424 57915 33554432000 1073741824 1073778376 140737246011296 139808943344680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24902/tid=24912] ppid=24900 vsize=9624976 CPUtime=1.33 cores=1,3,5,7
/proc/24902/task/24912/stat : 24912 (java) S 24900 24902 23338 0 -1 4202560 266 0 0 0 131 2 0 0 20 0 19 0 254184749 9855975424 57915 33554432000 1073741824 1073778376 140737246011296 139808942291880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24902/tid=24913] ppid=24900 vsize=9624976 CPUtime=14.94 cores=1,3,5,7
/proc/24902/task/24913/stat : 24913 (java) S 24900 24902 23338 0 -1 4202560 174 0 0 0 1490 4 0 0 20 0 19 0 254184750 9855975424 57915 33554432000 1073741824 1073778376 140737246011296 139808930093288 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24902/tid=24914] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24914/stat : 24914 (java) S 24900 24902 23338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254184750 9855975424 57915 33554432000 1073741824 1073778376 140737246011296 139808929039352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24902/tid=24915] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24915/stat : 24915 (java) S 24900 24902 23338 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254184750 9855975424 57915 33554432000 1073741824 1073778376 140737246011296 139808927986952 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24902/tid=24916] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24916/stat : 24916 (java) S 24900 24902 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254184753 9855975424 57915 33554432000 1073741824 1073778376 140737246011296 139808926935440 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24902/tid=24917] ppid=24900 vsize=9624976 CPUtime=0.19 cores=1,3,5,7
/proc/24902/task/24917/stat : 24917 (java) S 24900 24902 23338 0 -1 4202560 1861 0 0 0 19 0 0 0 20 0 19 0 254184753 9855975424 57915 33554432000 1073741824 1073778376 140737246011296 139808925883064 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24902/tid=24918] ppid=24900 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/24902/task/24918/stat : 24918 (java) S 24900 24902 23338 0 -1 4202560 2238 0 0 0 20 0 0 0 20 0 19 0 254184753 9855975424 57915 33554432000 1073741824 1073778376 140737246011296 139808924830264 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24902/tid=24919] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24919/stat : 24919 (java) S 24900 24902 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254184753 9855975424 57915 33554432000 1073741824 1073778376 140737246011296 139808923778168 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24902/tid=24920] ppid=24900 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/24902/task/24920/stat : 24920 (java) S 24900 24902 23338 0 -1 4202560 102 0 0 0 18 19 0 0 20 0 19 0 254184753 9855975424 57915 33554432000 1073741824 1073778376 140737246011296 139808922725576 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24902/tid=24921] ppid=24900 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24902/task/24921/stat : 24921 (java) S 24900 24902 23338 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254184764 9855975424 57915 33554432000 1073741824 1073778376 140737246011296 139808921670568 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9624976

Child status: 143

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

Real time (s): 1791.15
CPU time (s): 1800.06
CPU user time (s): 1799.65
CPU system time (s): 0.41
CPU usage (%): 100.497
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.13
system time used= 0.832873
maximum resident set size= 231832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11104
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48069
involuntary context switches= 30787

runsolver used 6.39003 second user time and 13.9749 second system time

The end

Launcher Data 

Begin job on node124 at 2012-05-24 19:29:49
IDJOB=3688153
IDBENCH=2851
IDSOLVER=2269
FILE ID=node124/3688153-1337880589
RUNJOBID= node124-1337871881-23355
PBS_JOBID= 14620080
Free space on /tmp= 71672 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_300_10_15.r.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688153-1337880589/watcher-3688153-1337880589 -o /tmp/evaluation-result-3688153-1337880589/solver-3688153-1337880589 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3688153-1337880589.opb

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

MD5SUM BENCH= 34bb25320bcbfa536bfc14194ca6ac66
RANDOM SEED=1211135272

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        29294620 kB
Buffers:          227028 kB
Cached:          2034248 kB
SwapCached:            0 kB
Active:          1018480 kB
Inactive:        1785304 kB
Active(anon):     545136 kB
Inactive(anon):        0 kB
Active(file):     473344 kB
Inactive(file):  1785304 kB
Unevictable:        6844 kB
Mlocked:            6844 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               456 kB
Writeback:             0 kB
AnonPages:        549328 kB
Mapped:            22484 kB
Shmem:               200 kB
Slab:             636984 kB
SReclaimable:      81420 kB
SUnreclaim:       555564 kB
KernelStack:        1608 kB
PageTables:         5368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     793852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    491520 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71672 MiB
End job on node124 at 2012-05-24 19:59:42