Trace number 3688184

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT 4j PB RES // CP 2.3.2 SnapshotSAT (TO)78 1800.04 982.046

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-C880.b.opb
MD5SUMd95d18eb9f9494c32273975c1bc570ba
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark63
Best CPU time to get the best result obtained on this benchmark0.272958
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 63
Optimality of the best value was proved YES
Number of variables756
Total number of constraints1853
Number of constraints which are clauses1853
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 constraint1
Maximum length of a constraint80
Number of terms in the objective function 756
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 756
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 756
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version 2.3.2.v20120418
0.00/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.07	c java.vm.version	19.1-b02
0.00/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		1.6.0_24
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.07	c Free memory 		501472288
0.00/0.07	c Max memory 		7480803328
0.00/0.07	c Total memory 		504102912
0.00/0.07	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c ManyCore solver with 2 solvers running in parallel
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c Expensive reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c c --- End Solver configuration ---
0.11/0.10	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-3688184-1337875788.opb
0.11/0.10	c reading problem ... 
0.58/0.31	c ... done. Wall clock time 0.207s.
0.58/0.31	c declared #vars     756
0.58/0.31	c #constraints  1536
0.58/0.31	c constraints type 
0.58/0.31	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1510
0.58/0.31	c ignored satisfied constraints => 317
0.58/0.31	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 11
0.58/0.31	c org.sat4j.minisat.constraints.cnf.UnitClause => 15
0.58/0.31	c 1853 constraints processed.
0.58/0.31	c constraints type 
0.58/0.31	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 11
0.58/0.31	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1510
0.58/0.31	c ignored satisfied constraints => 317
0.58/0.31	c org.sat4j.pb.constraints.pb.UnitClausePB => 15
0.58/0.31	c 1853 constraints processed.
0.58/0.31	c objective function length is 756 literals
0.58/0.33	c  And the winner is solver0
0.72/0.81	c SATISFIABLE
0.72/0.81	c OPTIMIZING...
0.72/0.81	c Got one! Elapsed wall clock time (in seconds):0.709
0.72/0.81	o 89
0.72/0.83	c  And the winner is solver0
0.85/1.32	c Got one! Elapsed wall clock time (in seconds):1.215
0.85/1.32	o 88
0.85/1.35	c  And the winner is solver0
1.05/1.82	c Got one! Elapsed wall clock time (in seconds):1.72
1.05/1.82	o 87
1.05/1.83	c  And the winner is solver0
1.16/2.32	c Got one! Elapsed wall clock time (in seconds):2.223
1.16/2.32	o 86
1.45/2.42	c  And the winner is solver1
1.87/2.83	c Got one! Elapsed wall clock time (in seconds):2.725
1.87/2.83	o 85
2.13/2.99	c  And the winner is solver1
2.48/3.33	c Got one! Elapsed wall clock time (in seconds):3.227
2.48/3.33	o 84
2.85/3.58	c cleaning 2692 clauses out of 5386 with flag 3000/5386
4.02/4.09	c cleaning 4342 clauses out of 8694 with flag 9000/11386
5.19/4.65	c  And the winner is solver1
5.30/4.83	c Got one! Elapsed wall clock time (in seconds):4.73
5.30/4.83	o 83
6.09/5.21	c cleaning 7964 clauses out of 15931 with flag 5000/22965
7.15/5.73	c cleaning 6968 clauses out of 13967 with flag 11000/28965
8.33/6.35	c cleaning 6997 clauses out of 13999 with flag 18000/35965
9.72/7.05	c cleaning 7502 clauses out of 15003 with flag 26001/43966
11.29/7.86	c cleaning 8249 clauses out of 16500 with flag 35000/52965
13.04/8.76	c cleaning 9116 clauses out of 18253 with flag 45002/62967
14.91/9.79	c cleaning 10070 clauses out of 20139 with flag 56004/73969
17.02/10.86	c cleaning 11028 clauses out of 22066 with flag 68001/85966
19.34/12.09	c cleaning 12007 clauses out of 24037 with flag 81000/98965
21.82/13.38	c cleaning 13014 clauses out of 26031 with flag 95001/112966
24.61/14.83	c cleaning 14005 clauses out of 28016 with flag 110000/127965
27.54/16.31	c cleaning 15000 clauses out of 30011 with flag 126000/143965
30.59/17.95	c cleaning 16005 clauses out of 32011 with flag 143000/160965
33.83/19.70	c cleaning 17004 clauses out of 34013 with flag 161007/178972
37.56/21.66	c cleaning 17996 clauses out of 36002 with flag 180000/197965
41.39/23.68	c cleaning 18994 clauses out of 38006 with flag 200000/217965
43.79/24.96	c  And the winner is solver1
43.79/24.96	c Got one! Elapsed wall clock time (in seconds):24.864
43.79/24.96	o 82
44.50/25.38	c cleaning 17822 clauses out of 35647 with flag 5000/234600
45.44/25.98	c  And the winner is solver1
45.61/26.18	c Got one! Elapsed wall clock time (in seconds):26.081
45.61/26.18	o 81
45.64/26.27	c cleaning 11444 clauses out of 22904 with flag 1002/239679
47.03/27.13	c cleaning 8727 clauses out of 17458 with flag 7000/245677
48.38/27.97	c cleaning 7863 clauses out of 15731 with flag 14000/252677
49.91/28.88	c cleaning 7930 clauses out of 15870 with flag 22002/260679
51.65/29.88	c cleaning 8449 clauses out of 16938 with flag 31000/269677
53.82/31.16	c cleaning 9241 clauses out of 18490 with flag 41001/279678
56.13/32.46	c cleaning 10125 clauses out of 20249 with flag 52001/290678
58.65/33.85	c cleaning 11062 clauses out of 22123 with flag 64000/302677
61.17/35.25	c cleaning 12029 clauses out of 24063 with flag 77002/315679
64.06/36.95	c cleaning 13010 clauses out of 26033 with flag 91001/329678
66.95/38.57	c cleaning 14008 clauses out of 28022 with flag 106000/344677
70.02/40.26	c cleaning 15007 clauses out of 30014 with flag 122000/360677
73.69/42.24	c cleaning 16002 clauses out of 32007 with flag 139000/377677
77.77/44.52	c cleaning 17003 clauses out of 34005 with flag 157000/395677
81.81/46.71	c cleaning 18000 clauses out of 36003 with flag 176001/414678
85.89/48.97	c cleaning 19000 clauses out of 38002 with flag 196000/434677
90.10/51.23	c cleaning 19984 clauses out of 40002 with flag 217000/455677
91.19/52.11	c  And the winner is solver1
91.15/52.50	c Got one! Elapsed wall clock time (in seconds):52.4
91.15/52.50	o 80
91.74/52.82	c cleaning 12722 clauses out of 25451 with flag 4000/461110
93.11/53.77	c cleaning 9366 clauses out of 18732 with flag 10003/467113
94.66/54.79	c cleaning 8182 clauses out of 16363 with flag 17000/474110
96.61/55.91	c cleaning 8086 clauses out of 16182 with flag 25001/482111
98.68/57.38	c cleaning 8541 clauses out of 17095 with flag 34000/491110
100.83/58.65	c cleaning 9267 clauses out of 18554 with flag 44000/501110
102.96/59.99	c cleaning 10145 clauses out of 20289 with flag 55002/512112
105.49/61.47	c cleaning 11072 clauses out of 22144 with flag 67002/524112
108.71/63.43	c cleaning 12030 clauses out of 24070 with flag 80000/537110
111.24/64.96	c  And the winner is solver1
111.32/65.45	c Got one! Elapsed wall clock time (in seconds):65.353
111.32/65.45	o 79
112.00/65.83	c cleaning 14431 clauses out of 28861 with flag 5000/553931
113.52/66.82	c cleaning 10213 clauses out of 20433 with flag 11003/559934
115.03/67.88	c cleaning 8602 clauses out of 17217 with flag 18000/566931
117.23/69.36	c cleaning 8307 clauses out of 16615 with flag 26000/574931
119.32/70.64	c cleaning 8655 clauses out of 17309 with flag 35001/583932
121.41/71.97	c cleaning 9326 clauses out of 18653 with flag 45000/593931
123.90/73.43	c cleaning 10156 clauses out of 20327 with flag 56000/604931
126.65/75.29	c cleaning 11086 clauses out of 22171 with flag 68000/616931
129.54/76.92	c cleaning 12039 clauses out of 24085 with flag 81000/629931
132.39/78.65	c cleaning 13020 clauses out of 26051 with flag 95005/643936
135.65/80.54	c cleaning 14001 clauses out of 28026 with flag 110000/658931
139.34/82.87	c cleaning 15010 clauses out of 30025 with flag 126000/674931
143.18/85.07	c cleaning 16001 clauses out of 32015 with flag 143000/691931
147.19/87.30	c cleaning 16994 clauses out of 34014 with flag 161000/709931
151.40/89.73	c cleaning 18009 clauses out of 36020 with flag 180000/728931
156.24/92.60	c cleaning 18991 clauses out of 38011 with flag 200000/748931
160.86/95.23	c cleaning 20010 clauses out of 40022 with flag 221002/769933
162.86/96.55	c  And the winner is solver1
162.88/96.91	c Got one! Elapsed wall clock time (in seconds):96.812
162.88/96.91	o 78
163.44/97.29	c cleaning 16187 clauses out of 32381 with flag 5001/782302
165.21/98.41	c cleaning 11091 clauses out of 22194 with flag 11001/788302
167.34/100.01	c cleaning 9047 clauses out of 18103 with flag 18001/795302
169.12/101.30	c cleaning 8522 clauses out of 17056 with flag 26001/803302
171.28/102.68	c cleaning 8757 clauses out of 17533 with flag 35000/812301
173.76/104.20	c cleaning 9383 clauses out of 18777 with flag 45001/822302
176.63/106.24	c cleaning 10195 clauses out of 20395 with flag 56002/833303
179.29/107.97	c cleaning 11097 clauses out of 22201 with flag 68003/845304
182.34/109.81	c cleaning 12036 clauses out of 24101 with flag 81000/858301
185.36/111.75	c cleaning 13023 clauses out of 26065 with flag 95000/872301
189.37/114.37	c cleaning 14015 clauses out of 28043 with flag 110001/887302
193.17/116.63	c cleaning 15001 clauses out of 30030 with flag 126003/903304
196.97/118.92	c cleaning 16002 clauses out of 32026 with flag 143000/920301
200.97/121.31	c cleaning 16988 clauses out of 34026 with flag 161002/938303
205.49/124.21	c cleaning 18015 clauses out of 36037 with flag 180001/957302
209.63/126.72	c cleaning 19003 clauses out of 38021 with flag 200000/977301
214.38/129.55	c cleaning 19989 clauses out of 40022 with flag 221004/998305
219.50/132.51	c cleaning 20995 clauses out of 42031 with flag 243002/1020303
225.15/136.06	c cleaning 22015 clauses out of 44035 with flag 266001/1043302
230.44/139.15	c cleaning 23002 clauses out of 46019 with flag 290000/1067301
236.32/142.53	c cleaning 23978 clauses out of 48017 with flag 315000/1092301
242.75/146.21	c cleaning 24981 clauses out of 50039 with flag 341000/1118301
249.64/150.41	c cleaning 26004 clauses out of 52058 with flag 368000/1145301
256.64/154.43	c cleaning 27027 clauses out of 54055 with flag 396001/1173302
263.17/158.26	c cleaning 28002 clauses out of 56028 with flag 425001/1202302
269.73/162.06	c cleaning 28998 clauses out of 58027 with flag 455002/1232303
277.35/166.65	c cleaning 30004 clauses out of 60028 with flag 486001/1263302
284.65/170.89	c cleaning 31012 clauses out of 62026 with flag 518003/1295304
292.15/175.14	c cleaning 31989 clauses out of 64011 with flag 551000/1328301
300.07/179.62	c cleaning 33010 clauses out of 66025 with flag 585003/1362304
308.20/184.55	c cleaning 34000 clauses out of 68013 with flag 620001/1397302
315.73/188.85	c cleaning 34997 clauses out of 70012 with flag 656000/1433301
324.86/194.59	c cleaning 35996 clauses out of 72015 with flag 693000/1470301
334.67/199.93	c cleaning 0 clauses out of 7286 with flag 0/7286
336.40/201.12	c cleaning 36996 clauses out of 74019 with flag 731000/1508301
345.13/205.88	c cleaning 37980 clauses out of 76023 with flag 770000/1547301
353.87/210.69	c cleaning 39001 clauses out of 78043 with flag 810000/1587301
363.46/216.16	c cleaning 40009 clauses out of 80042 with flag 851000/1628301
372.92/221.38	c cleaning 40975 clauses out of 82033 with flag 893000/1670301
382.20/226.43	c cleaning 42018 clauses out of 84058 with flag 936000/1713301
391.66/231.63	c cleaning 43020 clauses out of 86040 with flag 980000/1757301
401.50/237.37	c cleaning 43994 clauses out of 88020 with flag 1025000/1802301
410.94/242.54	c cleaning 45007 clauses out of 90026 with flag 1071000/1848301
421.18/248.13	c cleaning 45990 clauses out of 92019 with flag 1118000/1895301
431.61/253.87	c cleaning 46997 clauses out of 94029 with flag 1166000/1943301
442.81/260.24	c cleaning 48004 clauses out of 96032 with flag 1215000/1992301
453.62/266.14	c cleaning 49013 clauses out of 98029 with flag 1265001/2042302
464.22/271.97	c cleaning 49991 clauses out of 100015 with flag 1316000/2093301
474.61/277.61	c cleaning 50997 clauses out of 102024 with flag 1368000/2145301
486.14/284.25	c cleaning 52004 clauses out of 104027 with flag 1421000/2198301
498.07/290.74	c cleaning 53001 clauses out of 106024 with flag 1475001/2252302
511.80/298.74	c cleaning 54004 clauses out of 108022 with flag 1530000/2307301
526.00/306.55	c cleaning 55005 clauses out of 110018 with flag 1586000/2363301
539.82/313.97	c cleaning 55988 clauses out of 112013 with flag 1643000/2420301
553.26/321.17	c cleaning 57005 clauses out of 114026 with flag 1701001/2478302
567.25/328.63	c cleaning 58000 clauses out of 116021 with flag 1760001/2537302
580.77/336.22	c cleaning 59004 clauses out of 118020 with flag 1820000/2597301
594.16/343.41	c cleaning 59992 clauses out of 120016 with flag 1881000/2658301
607.78/350.75	c cleaning 61002 clauses out of 122026 with flag 1943002/2720303
620.77/357.79	c cleaning 62007 clauses out of 124022 with flag 2006000/2783301
633.92/365.18	c cleaning 63005 clauses out of 126015 with flag 2070000/2847301
646.70/372.04	c cleaning 64004 clauses out of 128011 with flag 2135001/2912302
660.50/379.40	c cleaning 64995 clauses out of 130006 with flag 2201000/2978301
675.27/387.35	c cleaning 65986 clauses out of 132011 with flag 2268000/3045301
690.01/395.56	c cleaning 67011 clauses out of 134026 with flag 2336001/3113302
704.61/403.36	c cleaning 67990 clauses out of 136016 with flag 2405002/3182303
719.20/411.14	c cleaning 69007 clauses out of 138025 with flag 2475001/3252302
734.40/419.22	c cleaning 70002 clauses out of 140020 with flag 2546003/3323304
750.15/427.95	c cleaning 70995 clauses out of 142015 with flag 2618000/3395301
767.14/436.93	c cleaning 72001 clauses out of 144020 with flag 2691000/3468301
782.93/445.33	c cleaning 72989 clauses out of 146020 with flag 2765001/3542302
799.11/453.96	c cleaning 74014 clauses out of 148032 with flag 2840002/3617303
818.11/464.22	c cleaning 74995 clauses out of 150019 with flag 2916003/3693304
834.28/472.82	c cleaning 76009 clauses out of 152022 with flag 2993001/3770302
849.86/481.16	c cleaning 76993 clauses out of 154014 with flag 3071002/3848303
866.25/489.81	c cleaning 78007 clauses out of 156021 with flag 3150002/3927303
882.57/498.80	c cleaning 78989 clauses out of 158012 with flag 3230000/4007301
898.36/507.26	c cleaning 80005 clauses out of 160023 with flag 3311000/4088301
916.95/517.05	c cleaning 81002 clauses out of 162021 with flag 3393003/4170304
934.36/526.24	c cleaning 81996 clauses out of 164016 with flag 3476000/4253301
952.55/536.13	c cleaning 83000 clauses out of 166020 with flag 3560000/4337301
969.74/545.25	c cleaning 84003 clauses out of 168023 with flag 3645003/4422304
988.52/555.16	c cleaning 85004 clauses out of 170017 with flag 3731000/4508301
1006.31/564.55	c cleaning 85995 clauses out of 172013 with flag 3818000/4595301
1024.91/574.60	c cleaning 87000 clauses out of 174018 with flag 3906000/4683301
1042.89/584.16	c cleaning 88011 clauses out of 176022 with flag 3995004/4772305
1064.27/595.32	c cleaning 88990 clauses out of 178007 with flag 4085000/4862301
1084.05/605.77	c cleaning 90002 clauses out of 180020 with flag 4176003/4953304
1105.15/617.04	c cleaning 90996 clauses out of 182015 with flag 4268000/5045301
1125.92/627.98	c cleaning 91996 clauses out of 184019 with flag 4361000/5138301
1147.11/639.09	c cleaning 92996 clauses out of 186023 with flag 4455000/5232301
1169.49/650.74	c cleaning 93998 clauses out of 188027 with flag 4550000/5327301
1191.31/662.40	c cleaning 95009 clauses out of 190030 with flag 4646001/5423302
1214.68/674.67	c cleaning 96008 clauses out of 192021 with flag 4743001/5520302
1236.06/685.81	c cleaning 96986 clauses out of 194014 with flag 4841002/5618303
1257.84/697.23	c cleaning 97984 clauses out of 196026 with flag 4940000/5717301
1280.98/709.62	c cleaning 99001 clauses out of 198042 with flag 5040000/5817301
1302.38/720.80	c cleaning 100002 clauses out of 200041 with flag 5141000/5918301
1324.16/732.23	c cleaning 101004 clauses out of 202041 with flag 5243002/6020303
1345.94/743.70	c cleaning 102012 clauses out of 204035 with flag 5346000/6123301
1368.59/755.89	c cleaning 102991 clauses out of 206023 with flag 5450000/6227301
1391.57/767.85	c cleaning 104002 clauses out of 208032 with flag 5555000/6332301
1414.13/779.66	c cleaning 105005 clauses out of 210030 with flag 5661000/6438301
1436.89/791.53	c cleaning 105999 clauses out of 212025 with flag 5768000/6545301
1460.81/804.32	c cleaning 107008 clauses out of 214026 with flag 5876000/6653301
1482.59/815.76	c cleaning 108001 clauses out of 216018 with flag 5985000/6762301
1505.55/827.75	c cleaning 109000 clauses out of 218017 with flag 6095000/6872301
1529.51/840.24	c cleaning 109997 clauses out of 220019 with flag 6206002/6983303
1556.23/854.44	c cleaning 110995 clauses out of 222021 with flag 6318001/7095302
1580.21/866.96	c cleaning 112007 clauses out of 224025 with flag 6431000/7208301
1607.38/881.09	c cleaning 112992 clauses out of 226018 with flag 6545000/7322301
1633.54/894.68	c cleaning 113990 clauses out of 228026 with flag 6660000/7437301
1657.63/907.57	c cleaning 115013 clauses out of 230036 with flag 6776000/7553301
1685.98/922.21	c cleaning 116009 clauses out of 232026 with flag 6893003/7670304
1711.57/935.59	c cleaning 116986 clauses out of 234015 with flag 7011001/7788302
1741.16/950.86	c cleaning 118002 clauses out of 236028 with flag 7130000/7907301
1768.74/965.44	c cleaning 118994 clauses out of 238026 with flag 7250000/8027301
1796.37/979.73	c cleaning 120005 clauses out of 240034 with flag 7371002/8148303
1800.00/982.01	c starts		: 40
1800.00/982.01	c conflicts		: 7755
1800.00/982.01	c decisions		: 104133
1800.00/982.01	c propagations		: 457613
1800.00/982.01	c inspects		: 134216161
1800.00/982.01	c shortcuts		: 0
1800.00/982.01	c learnt literals	: 0
1800.00/982.01	c learnt binary clauses	: 0
1800.00/982.01	c learnt ternary clauses	: 3
1800.00/982.01	c learnt constraints	: 7754
1800.00/982.01	c ignored constraints	: 0
1800.00/982.01	c root simplifications	: 0
1800.00/982.01	c removed literals (reason simplification)	: 0
1800.00/982.01	c reason swapping (by a shorter reason)	: 0
1800.00/982.01	c Calls to reduceDB	: 1
1800.00/982.01	c number of reductions to clauses (during analyze)	: 0
1800.00/982.01	c number of learned constraints concerned by reduction	: 0
1800.00/982.01	c number of learning phase by resolution	: 0
1800.00/982.01	c number of learning phase by cutting planes	: 0
1800.00/982.01	c speed (assignments/second)	: 467.1026575916316
1800.00/982.01	c non guided choices	0
1800.00/982.01	c learnt constraints type 
1800.00/982.01	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 65
1800.00/982.01	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 47
1800.00/982.01	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7642
1800.00/982.01	c constraints type 
1800.00/982.01	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1510
1800.00/982.01	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.00/982.01	c ignored satisfied constraints => 317
1800.00/982.01	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 11
1800.00/982.01	c org.sat4j.minisat.constraints.cnf.UnitClause => 15
1800.00/982.01	c 1854 constraints processed.
1800.00/982.01	c constraints type 
1800.00/982.01	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 11
1800.00/982.01	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1510
1800.00/982.01	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.00/982.01	c ignored satisfied constraints => 317
1800.00/982.01	c org.sat4j.pb.constraints.pb.UnitClausePB => 15
1800.00/982.01	c 1854 constraints processed.
1800.00/982.01	s SATISFIABLE
1800.00/982.02	v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 x117 x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 x148 -x149 x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 x316 -x317 x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 x400 x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 x461 x462 x463 x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 x475 x476 -x477 x478 -x479 x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 x523 -x524 -x525 -x526 -x527 -x528 -x529 x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 x607 -x608 -x609 -x610 -x611 -x612 -x613 x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 -x626 -x627 x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 x682 -x683 -x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 x692 x693 x694 -x695 -x696 -x697 -x698 x699 -x700 -x701 -x702 x703 -x704 -x705 -x706 -x707 -x708 x709 -x710 -x711 -x712 -x713 -x714 -x715 x716 -x717 -x718 -x719 -x720 -x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 -x731 -x732 x733 -x734 -x735 -x736 -x737 x738 -x739 -x740 x741 -x742 -x743 x744 x745 -x746 x747 -x748 -x749 x750 x751 x752 -x753 -x754 -x755 -x756 
1800.00/982.02	c objective function=78
1800.00/982.02	c Total wall clock time (in seconds): 981.915

Verifier Data 

OK	78

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-3688184-1337875788/watcher-3688184-1337875788 -o /tmp/evaluation-result-3688184-1337875788/solver-3688184-1337875788 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688184-1337875788.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: 3.06 3.72 3.71 4/197 23396
/proc/meminfo: memFree=29128484/32873660 swapFree=7108/7108
[pid=23396] ppid=23394 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/23396/stat : 23396 (java) S 23394 23396 21381 0 -1 4202496 1202 0 0 0 0 0 0 0 20 0 2 0 253704506 94019584 913 33554432000 1073741824 1073778376 140734643910304 140734643901440 270333411389 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23396/statm: 22954 917 697 9 0 16769 0
[pid=23396/tid=23397] ppid=23394 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23397/stat : 23397 (java) D 23394 23396 21381 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 253704506 94019584 917 33554432000 1073741824 1073778376 140734643910304 139935524617768 270320889127 0 0 4096 0 18446744072100609316 0 0 -1 5 0 0 0 0 0

[startup+0.0210421 s]
/proc/loadavg: 3.06 3.72 3.71 4/197 23396
/proc/meminfo: memFree=29128484/32873660 swapFree=7108/7108
[pid=23396] ppid=23394 vsize=9021756 CPUtime=0 cores=1,3,5,7
/proc/23396/stat : 23396 (java) S 23394 23396 21381 0 -1 4202496 2823 0 1 0 0 0 0 0 20 0 10 0 253704506 9238278144 3522 33554432000 1073741824 1073778376 140734643910304 140734643901440 270333411389 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23396/statm: 2256467 3532 1572 9 0 2247168 0
[pid=23396/tid=23397] ppid=23394 vsize=9025868 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23397/stat : 23397 (java) R 23394 23396 21381 0 -1 4202560 1676 0 1 0 0 0 0 0 20 0 10 0 253704506 9242488832 3532 33554432000 1073741824 1073778376 140734643910304 139935524618944 270330094567 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9021756

[startup+0.100225 s]
/proc/loadavg: 3.06 3.72 3.71 4/197 23396
/proc/meminfo: memFree=29128484/32873660 swapFree=7108/7108
[pid=23396] ppid=23394 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/23396/stat : 23396 (java) S 23394 23396 21381 0 -1 4202496 4476 0 1 0 10 1 0 0 20 0 18 0 253704506 9787813888 6181 33554432000 1073741824 1073778376 140734643910304 140734643901440 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23396/statm: 2389603 6181 2142 9 0 2380296 0
[pid=23396/tid=23397] ppid=23394 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/23396/task/23397/stat : 23397 (java) R 23394 23396 21381 0 -1 4202560 2434 0 1 0 8 0 0 0 20 0 18 0 253704506 9787813888 6181 33554432000 1073741824 1073778376 140734643910304 139935524621232 270333437197 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412

[startup+0.300202 s]
/proc/loadavg: 3.06 3.72 3.71 4/197 23396
/proc/meminfo: memFree=29128484/32873660 swapFree=7108/7108
[pid=23396] ppid=23394 vsize=9558412 CPUtime=0.58 cores=1,3,5,7
/proc/23396/stat : 23396 (java) S 23394 23396 21381 0 -1 4202496 7407 0 1 0 57 1 0 0 20 0 18 0 253704506 9787813888 10431 33554432000 1073741824 1073778376 140734643910304 140734643901440 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23396/statm: 2389603 10431 2221 9 0 2380296 0
[pid=23396/tid=23397] ppid=23394 vsize=9558412 CPUtime=0.28 cores=1,3,5,7
/proc/23396/task/23397/stat : 23397 (java) R 23394 23396 21381 0 -1 4202560 2449 0 1 0 26 2 0 0 20 0 18 0 253704506 9787813888 10431 33554432000 1073741824 1073778376 140734643910304 139935524621232 139935352961127 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 9558412

[startup+0.700231 s]
/proc/loadavg: 3.06 3.72 3.71 4/197 23396
/proc/meminfo: memFree=29128484/32873660 swapFree=7108/7108
[pid=23396] ppid=23394 vsize=9824668 CPUtime=0.72 cores=1,3,5,7
/proc/23396/stat : 23396 (java) S 23394 23396 21381 0 -1 4202496 7612 0 1 0 68 4 0 0 20 0 19 0 253704506 10060460032 11566 33554432000 1073741824 1073778376 140734643910304 140734643901440 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23396/statm: 2456167 11566 2241 9 0 2446860 0
[pid=23396/tid=23397] ppid=23394 vsize=9824668 CPUtime=0.29 cores=1,3,5,7
/proc/23396/task/23397/stat : 23397 (java) S 23394 23396 21381 0 -1 4202560 2462 0 1 0 27 2 0 0 20 0 19 0 253704506 10060460032 11566 33554432000 1073741824 1073778376 140734643910304 139935524623352 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 9824668

[startup+1.50071 s]
/proc/loadavg: 3.06 3.72 3.71 3/216 23421
/proc/meminfo: memFree=29073608/32873660 swapFree=7108/7108
[pid=23396] ppid=23394 vsize=9824668 CPUtime=1.05 cores=1,3,5,7
/proc/23396/stat : 23396 (java) S 23394 23396 21381 0 -1 4202496 8713 0 1 0 97 8 0 0 20 0 19 0 253704506 10060460032 14159 33554432000 1073741824 1073778376 140734643910304 140734643901440 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23396/statm: 2456167 14159 2248 9 0 2446860 0
[pid=23396/tid=23397] ppid=23394 vsize=9824668 CPUtime=0.3 cores=1,3,5,7
/proc/23396/task/23397/stat : 23397 (java) S 23394 23396 21381 0 -1 4202560 2463 0 1 0 28 2 0 0 20 0 19 0 253704506 10060460032 14159 33554432000 1073741824 1073778376 140734643910304 139935524623352 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23396/tid=23399] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23399/stat : 23399 (java) S 23394 23396 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253704507 10060460032 14159 33554432000 1073741824 1073778376 140734643910304 139935486114344 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23396/tid=23400] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23400/stat : 23400 (java) S 23394 23396 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253704507 10060460032 14159 33554432000 1073741824 1073778376 140734643910304 139935485061544 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23396/tid=23401] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23401/stat : 23401 (java) S 23394 23396 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253704507 10060460032 14159 33554432000 1073741824 1073778376 140734643910304 139935484008744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23396/tid=23402] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23402/stat : 23402 (java) S 23394 23396 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253704507 10060460032 14159 33554432000 1073741824 1073778376 140734643910304 139935482955944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23396/tid=23403] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23403/stat : 23403 (java) S 23394 23396 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253704507 10060460032 14159 33554432000 1073741824 1073778376 140734643910304 139935481904168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23396/tid=23404] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23404/stat : 23404 (java) S 23394 23396 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253704507 10060460032 14159 33554432000 1073741824 1073778376 140734643910304 139935480851368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23396/tid=23405] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23405/stat : 23405 (java) S 23394 23396 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253704507 10060460032 14159 33554432000 1073741824 1073778376 140734643910304 139935479798568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23396/tid=23406] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23406/stat : 23406 (java) S 23394 23396 21381 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253704507 10060460032 14159 33554432000 1073741824 1073778376 140734643910304 139935478745768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23396/tid=23407] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23407/stat : 23407 (java) S 23394 23396 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253704508 10060460032 14159 33554432000 1073741824 1073778376 140734643910304 139935348664808 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23396/tid=23408] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23408/stat : 23408 (java) S 23394 23396 21381 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253704508 10060460032 14159 33554432000 1073741824 1073778376 140734643910304 139935347610872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23396/tid=23409] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23409/stat : 23409 (java) S 23394 23396 21381 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253704508 10060460032 14159 33554432000 1073741824 1073778376 140734643910304 139935346557960 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23396/tid=23410] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23410/stat : 23410 (java) S 23394 23396 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253704510 10060460032 14159 33554432000 1073741824 1073778376 140734643910304 139935345506448 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23396/tid=23411] ppid=23394 vsize=9824668 CPUtime=0.23 cores=1,3,5,7
/proc/23396/task/23411/stat : 23411 (java) S 23394 23396 21381 0 -1 4202560 2378 0 0 0 23 0 0 0 20 0 19 0 253704510 10060460032 14159 33554432000 1073741824 1073778376 140734643910304 139935344454584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23396/tid=23412] ppid=23394 vsize=9824668 CPUtime=0.3 cores=1,3,5,7
/proc/23396/task/23412/stat : 23412 (java) S 23394 23396 21381 0 -1 4202560 2524 0 0 0 30 0 0 0 20 0 19 0 253704510 10060460032 14159 33554432000 1073741824 1073778376 140734643910304 139935343401784 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23396/tid=23413] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23413/stat : 23413 (java) S 23394 23396 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253704510 10060460032 14159 33554432000 1073741824 1073778376 140734643910304 139935342349176 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23396/tid=23414] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23414/stat : 23414 (java) S 23394 23396 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253704510 10060460032 14159 33554432000 1073741824 1073778376 140734643910304 139935341296584 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23396/tid=23417] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23417/stat : 23417 (java) S 23394 23396 21381 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253704538 10060460032 14159 33554432000 1073741824 1073778376 140734643910304 139935338136488 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 9824668

[startup+3.10068 s]
/proc/loadavg: 3.06 3.72 3.71 3/216 23427
/proc/meminfo: memFree=29038412/32873660 swapFree=7108/7108
[pid=23396] ppid=23394 vsize=9824668 CPUtime=2.48 cores=1,3,5,7
/proc/23396/stat : 23396 (java) S 23394 23396 21381 0 -1 4202496 18638 0 1 0 233 15 0 0 20 0 19 0 253704506 10060460032 26397 33554432000 1073741824 1073778376 140734643910304 140734643901440 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23396/statm: 2456167 26397 2261 9 0 2446860 0
[pid=23396/tid=23397] ppid=23394 vsize=9824668 CPUtime=0.31 cores=1,3,5,7
/proc/23396/task/23397/stat : 23397 (java) S 23394 23396 21381 0 -1 4202560 2464 0 1 0 29 2 0 0 20 0 19 0 253704506 10060460032 26397 33554432000 1073741824 1073778376 140734643910304 139935524623352 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23396/tid=23399] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23399/stat : 23399 (java) S 23394 23396 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253704507 10060460032 26397 33554432000 1073741824 1073778376 140734643910304 139935486114344 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23396/tid=23400] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23400/stat : 23400 (java) S 23394 23396 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253704507 10060460032 26397 33554432000 1073741824 1073778376 140734643910304 139935485061544 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23396/tid=23401] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23401/stat : 23401 (java) S 23394 23396 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253704507 10060460032 26397 33554432000 1073741824 1073778376 140734643910304 139935484008744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23396/tid=23402] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23402/stat : 23402 (java) S 23394 23396 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253704507 10060460032 26397 33554432000 1073741824 1073778376 140734643910304 139935482955944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23396/tid=23403] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23403/stat : 23403 (java) S 23394 23396 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253704507 10060460032 26397 33554432000 1073741824 1073778376 140734643910304 139935481904168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23396/tid=23404] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23404/stat : 23404 (java) S 23394 23396 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253704507 10060460032 26397 33554432000 1073741824 1073778376 140734643910304 139935480851368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23396/tid=23405] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23405/stat : 23405 (java) S 23394 23396 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253704507 10060460032 26397 33554432000 1073741824 1073778376 140734643910304 139935479798568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23396/tid=23406] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23406/stat : 23406 (java) S 23394 23396 21381 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253704507 10060460032 26397 33554432000 1073741824 1073778376 140734643910304 139935478745768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23396/tid=23407] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23407/stat : 23407 (java) S 23394 23396 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253704508 10060460032 26397 33554432000 1073741824 1073778376 140734643910304 139935348664808 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23396/tid=23408] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23408/stat : 23408 (java) S 23394 23396 21381 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253704508 10060460032 26397 33554432000 1073741824 1073778376 140734643910304 139935347610872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23396/tid=23409] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23409/stat : 23409 (java) S 23394 23396 21381 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253704508 10060460032 26397 33554432000 1073741824 1073778376 140734643910304 139935346557960 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23396/tid=23410] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23410/stat : 23410 (java) S 23394 23396 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253704510 10060460032 26397 33554432000 1073741824 1073778376 140734643910304 139935345506448 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23396/tid=23411] ppid=23394 vsize=9824668 CPUtime=0.61 cores=1,3,5,7
/proc/23396/task/23411/stat : 23411 (java) S 23394 23396 21381 0 -1 4202560 6080 0 0 0 60 1 0 0 20 0 19 0 253704510 10060460032 26397 33554432000 1073741824 1073778376 140734643910304 139935344454584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23396/tid=23412] ppid=23394 vsize=9824668 CPUtime=0.81 cores=1,3,5,7
/proc/23396/task/23412/stat : 23412 (java) S 23394 23396 21381 0 -1 4202560 8711 0 0 0 79 2 0 0 20 0 19 0 253704510 10060460032 26397 33554432000 1073741824 1073778376 140734643910304 139935343401784 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23396/tid=23413] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23413/stat : 23413 (java) S 23394 23396 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253704510 10060460032 26397 33554432000 1073741824 1073778376 140734643910304 139935342349176 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23396/tid=23414] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23414/stat : 23414 (java) S 23394 23396 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253704510 10060460032 26397 33554432000 1073741824 1073778376 140734643910304 139935341296584 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 9824668
heavy processes:

[startup+6.3008 s]
/proc/loadavg: 2.98 3.69 3.70 5/219 23439
/proc/meminfo: memFree=28877524/32873660 swapFree=7108/7108
[pid=23396] ppid=23394 vsize=9824668 CPUtime=8.33 cores=1,3,5,7
/proc/23396/stat : 23396 (java) S 23394 23396 21381 0 -1 4202496 19045 0 1 0 812 21 0 0 20 0 22 0 253704506 10060460032 46892 33554432000 1073741824 1073778376 140734643910304 140734643901440 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23396/statm: 2456167 46892 2287 9 0 2446860 0
[pid=23396/tid=23397] ppid=23394 vsize=9824668 CPUtime=0.31 cores=1,3,5,7
/proc/23396/task/23397/stat : 23397 (java) S 23394 23396 21381 0 -1 4202560 2465 0 1 0 29 2 0 0 20 0 22 0 253704506 10060460032 46892 33554432000 1073741824 1073778376 140734643910304 139935524623352 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23396/tid=23399] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23399/stat : 23399 (java) S 23394 23396 21381 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253704507 10060460032 46892 33554432000 1073741824 1073778376 140734643910304 139935486114344 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23396/tid=23400] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23400/stat : 23400 (java) S 23394 23396 21381 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253704507 10060460032 46892 33554432000 1073741824 1073778376 140734643910304 139935485061544 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23396/tid=23401] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23401/stat : 23401 (java) S 23394 23396 21381 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253704507 10060460032 46892 33554432000 1073741824 1073778376 140734643910304 139935484008744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23396/tid=23402] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23402/stat : 23402 (java) S 23394 23396 21381 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253704507 10060460032 46892 33554432000 1073741824 1073778376 140734643910304 139935482955944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23396/tid=23403] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23403/stat : 23403 (java) S 23394 23396 21381 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253704507 10060460032 46892 33554432000 1073741824 1073778376 140734643910304 139935481904168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23396/tid=23404] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23404/stat : 23404 (java) S 23394 23396 21381 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253704507 10060460032 46892 33554432000 1073741824 1073778376 140734643910304 139935480851368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23396/tid=23405] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23405/stat : 23405 (java) S 23394 23396 21381 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253704507 10060460032 46892 33554432000 1073741824 1073778376 140734643910304 139935479798568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23396/tid=23406] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23406/stat : 23406 (java) S 23394 23396 21381 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253704507 10060460032 46892 33554432000 1073741824 1073778376 140734643910304 139935478745768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23396/tid=23407] ppid=23394 vsize=9824668 CPUtime=0.19 cores=1,3,5,7
/proc/23396/task/23407/stat : 23407 (java) S 23394 23396 21381 0 -1 4202560 41 0 0 0 19 0 0 0 20 0 22 0 253704508 10060460032 46892 33554432000 1073741824 1073778376 140734643910304 139935348664808 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23396/tid=23408] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23408/stat : 23408 (java) S 23394 23396 21381 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253704508 10060460032 46892 33554432000 1073741824 1073778376 140734643910304 139935347610872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23396/tid=23409] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23409/stat : 23409 (java) S 23394 23396 21381 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253704508 10060460032 46892 33554432000 1073741824 1073778376 140734643910304 139935346557960 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23396/tid=23410] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23410/stat : 23410 (java) S 23394 23396 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253704510 10060460032 46892 33554432000 1073741824 1073778376 140734643910304 139935345506448 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23396/tid=23411] ppid=23394 vsize=9824668 CPUtime=0.84 cores=1,3,5,7
/proc/23396/task/23411/stat : 23411 (java) S 23394 23396 21381 0 -1 4202560 6337 0 0 0 82 2 0 0 20 0 22 0 253704510 10060460032 46892 33554432000 1073741824 1073778376 140734643910304 139935344454584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23396/tid=23412] ppid=23394 vsize=9824668 CPUtime=1.01 cores=1,3,5,7
/proc/23396/task/23412/stat : 23412 (java) S 23394 23396 21381 0 -1 4202560 8716 0 0 0 99 2 0 0 20 0 22 0 253704510 10060460032 46892 33554432000 1073741824 1073778376 140734643910304 139935343401784 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23396/tid=23413] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7

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

[pid=23396/tid=23402] ppid=23394 vsize=9824668 CPUtime=1.17 cores=1,3,5,7
/proc/23396/task/23402/stat : 23402 (java) S 23394 23396 21381 0 -1 4202560 244 0 0 0 112 5 0 0 20 0 22 0 253704507 10060460032 527515 33554432000 1073741824 1073778376 140734643910304 139935482955944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23396/tid=23403] ppid=23394 vsize=9824668 CPUtime=1.23 cores=1,3,5,7
/proc/23396/task/23403/stat : 23403 (java) S 23394 23396 21381 0 -1 4202560 256 0 0 0 118 5 0 0 20 0 22 0 253704507 10060460032 527515 33554432000 1073741824 1073778376 140734643910304 139935481904168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23396/tid=23404] ppid=23394 vsize=9824668 CPUtime=1.31 cores=1,3,5,7
/proc/23396/task/23404/stat : 23404 (java) S 23394 23396 21381 0 -1 4202560 698 0 0 0 126 5 0 0 20 0 22 0 253704507 10060460032 527515 33554432000 1073741824 1073778376 140734643910304 139935480851368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23396/tid=23405] ppid=23394 vsize=9824668 CPUtime=1.42 cores=1,3,5,7
/proc/23396/task/23405/stat : 23405 (java) S 23394 23396 21381 0 -1 4202560 379 0 0 0 135 7 0 0 20 0 22 0 253704507 10060460032 527515 33554432000 1073741824 1073778376 140734643910304 139935479798568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23396/tid=23406] ppid=23394 vsize=9824668 CPUtime=1.3 cores=1,3,5,7
/proc/23396/task/23406/stat : 23406 (java) S 23394 23396 21381 0 -1 4202560 259 0 0 0 125 5 0 0 20 0 22 0 253704507 10060460032 527515 33554432000 1073741824 1073778376 140734643910304 139935478745768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23396/tid=23407] ppid=23394 vsize=9824668 CPUtime=153.72 cores=1,3,5,7
/proc/23396/task/23407/stat : 23407 (java) S 23394 23396 21381 0 -1 4202560 5360 0 0 0 15310 62 0 0 20 0 22 0 253704508 10060460032 527515 33554432000 1073741824 1073778376 140734643910304 139935348664808 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23396/tid=23408] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23408/stat : 23408 (java) S 23394 23396 21381 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253704508 10060460032 527515 33554432000 1073741824 1073778376 140734643910304 139935347610872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23396/tid=23409] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23409/stat : 23409 (java) S 23394 23396 21381 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253704508 10060460032 527515 33554432000 1073741824 1073778376 140734643910304 139935346557960 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23396/tid=23410] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23410/stat : 23410 (java) S 23394 23396 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253704510 10060460032 527515 33554432000 1073741824 1073778376 140734643910304 139935345506448 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23396/tid=23411] ppid=23394 vsize=9824668 CPUtime=1.53 cores=1,3,5,7
/proc/23396/task/23411/stat : 23411 (java) S 23394 23396 21381 0 -1 4202560 12646 0 0 0 151 2 0 0 20 0 22 0 253704510 10060460032 527515 33554432000 1073741824 1073778376 140734643910304 139935344454584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23396/tid=23412] ppid=23394 vsize=9824668 CPUtime=1.12 cores=1,3,5,7
/proc/23396/task/23412/stat : 23412 (java) S 23394 23396 21381 0 -1 4202560 8723 0 0 0 110 2 0 0 20 0 22 0 253704510 10060460032 527515 33554432000 1073741824 1073778376 140734643910304 139935343401784 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23396/tid=23413] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23413/stat : 23413 (java) S 23394 23396 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253704510 10060460032 527515 33554432000 1073741824 1073778376 140734643910304 139935342349176 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23396/tid=23414] ppid=23394 vsize=9824668 CPUtime=0.2 cores=1,3,5,7
/proc/23396/task/23414/stat : 23414 (java) S 23394 23396 21381 0 -1 4202560 51 0 0 0 7 13 0 0 20 0 22 0 253704510 10060460032 527515 33554432000 1073741824 1073778376 140734643910304 139935341296584 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23396/tid=23430] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23430/stat : 23430 (java) S 23394 23396 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253704739 10060460032 527515 33554432000 1073741824 1073778376 140734643910304 139934061028648 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23396/tid=23456] ppid=23394 vsize=9824668 CPUtime=653.07 cores=1,3,5,7
/proc/23396/task/23456/stat : 23456 (java) R 23394 23396 21381 0 -1 4202560 16 0 0 0 65298 9 0 0 20 0 22 0 253714198 10060460032 527515 33554432000 1073741824 1073778376 140734643910304 139935339189072 139935353610185 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23396/tid=23457] ppid=23394 vsize=9824668 CPUtime=653.55 cores=1,3,5,7
/proc/23396/task/23457/stat : 23457 (java) R 23394 23396 21381 0 -1 4202560 1968 0 0 0 65337 18 0 0 20 0 22 0 253714198 10060460032 527515 33554432000 1073741824 1073778376 140734643910304 139935338134176 139935353948192 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23396/tid=23458] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23458/stat : 23458 (java) S 23394 23396 21381 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253714198 10060460032 527515 33554432000 1073741824 1073778376 140734643910304 139935340242216 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1608.94
Current children cumulated vsize (KiB) 9824668

[startup+942.301 s]
/proc/loadavg: 3.88 3.89 3.79 5/219 23525
/proc/meminfo: memFree=24661836/32873660 swapFree=7108/7108
[pid=23396] ppid=23394 vsize=9824668 CPUtime=1724.16 cores=1,3,5,7
/proc/23396/stat : 23396 (java) S 23394 23396 21381 0 -1 4202496 36858 0 1 0 172251 165 0 0 20 0 22 0 253704506 10060460032 533690 33554432000 1073741824 1073778376 140734643910304 140734643901440 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23396/statm: 2456167 533690 2288 9 0 2446860 0
[pid=23396/tid=23397] ppid=23394 vsize=9824668 CPUtime=0.35 cores=1,3,5,7
/proc/23396/task/23397/stat : 23397 (java) S 23394 23396 21381 0 -1 4202560 2619 0 1 0 33 2 0 0 20 0 22 0 253704506 10060460032 533690 33554432000 1073741824 1073778376 140734643910304 139935524623352 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23396/tid=23399] ppid=23394 vsize=9824668 CPUtime=1.38 cores=1,3,5,7
/proc/23396/task/23399/stat : 23399 (java) S 23394 23396 21381 0 -1 4202560 604 0 0 0 131 7 0 0 20 0 22 0 253704507 10060460032 533690 33554432000 1073741824 1073778376 140734643910304 139935486114344 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23396/tid=23400] ppid=23394 vsize=9824668 CPUtime=1.31 cores=1,3,5,7
/proc/23396/task/23400/stat : 23400 (java) S 23394 23396 21381 0 -1 4202560 614 0 0 0 128 3 0 0 20 0 22 0 253704507 10060460032 533690 33554432000 1073741824 1073778376 140734643910304 139935485061544 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23396/tid=23401] ppid=23394 vsize=9824668 CPUtime=1.46 cores=1,3,5,7
/proc/23396/task/23401/stat : 23401 (java) S 23394 23396 21381 0 -1 4202560 599 0 0 0 139 7 0 0 20 0 22 0 253704507 10060460032 533690 33554432000 1073741824 1073778376 140734643910304 139935484008744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23396/tid=23402] ppid=23394 vsize=9824668 CPUtime=1.22 cores=1,3,5,7
/proc/23396/task/23402/stat : 23402 (java) S 23394 23396 21381 0 -1 4202560 265 0 0 0 117 5 0 0 20 0 22 0 253704507 10060460032 533690 33554432000 1073741824 1073778376 140734643910304 139935482955944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23396/tid=23403] ppid=23394 vsize=9824668 CPUtime=1.26 cores=1,3,5,7
/proc/23396/task/23403/stat : 23403 (java) S 23394 23396 21381 0 -1 4202560 256 0 0 0 121 5 0 0 20 0 22 0 253704507 10060460032 533690 33554432000 1073741824 1073778376 140734643910304 139935481904168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23396/tid=23404] ppid=23394 vsize=9824668 CPUtime=1.39 cores=1,3,5,7
/proc/23396/task/23404/stat : 23404 (java) S 23394 23396 21381 0 -1 4202560 708 0 0 0 134 5 0 0 20 0 22 0 253704507 10060460032 533690 33554432000 1073741824 1073778376 140734643910304 139935480851368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23396/tid=23405] ppid=23394 vsize=9824668 CPUtime=1.45 cores=1,3,5,7
/proc/23396/task/23405/stat : 23405 (java) S 23394 23396 21381 0 -1 4202560 379 0 0 0 138 7 0 0 20 0 22 0 253704507 10060460032 533690 33554432000 1073741824 1073778376 140734643910304 139935479798568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23396/tid=23406] ppid=23394 vsize=9824668 CPUtime=1.35 cores=1,3,5,7
/proc/23396/task/23406/stat : 23406 (java) S 23394 23396 21381 0 -1 4202560 259 0 0 0 130 5 0 0 20 0 22 0 253704507 10060460032 533690 33554432000 1073741824 1073778376 140734643910304 139935478745768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23396/tid=23407] ppid=23394 vsize=9824668 CPUtime=158.66 cores=1,3,5,7
/proc/23396/task/23407/stat : 23407 (java) S 23394 23396 21381 0 -1 4202560 5492 0 0 0 15802 64 0 0 20 0 22 0 253704508 10060460032 533690 33554432000 1073741824 1073778376 140734643910304 139935348664808 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23396/tid=23408] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23408/stat : 23408 (java) S 23394 23396 21381 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253704508 10060460032 533690 33554432000 1073741824 1073778376 140734643910304 139935347610872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23396/tid=23409] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23409/stat : 23409 (java) S 23394 23396 21381 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253704508 10060460032 533690 33554432000 1073741824 1073778376 140734643910304 139935346557960 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23396/tid=23410] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23410/stat : 23410 (java) S 23394 23396 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253704510 10060460032 533690 33554432000 1073741824 1073778376 140734643910304 139935345506448 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23396/tid=23411] ppid=23394 vsize=9824668 CPUtime=1.53 cores=1,3,5,7
/proc/23396/task/23411/stat : 23411 (java) S 23394 23396 21381 0 -1 4202560 12646 0 0 0 151 2 0 0 20 0 22 0 253704510 10060460032 533690 33554432000 1073741824 1073778376 140734643910304 139935344454584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23396/tid=23412] ppid=23394 vsize=9824668 CPUtime=1.12 cores=1,3,5,7
/proc/23396/task/23412/stat : 23412 (java) S 23394 23396 21381 0 -1 4202560 8723 0 0 0 110 2 0 0 20 0 22 0 253704510 10060460032 533690 33554432000 1073741824 1073778376 140734643910304 139935343401784 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23396/tid=23413] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23413/stat : 23413 (java) S 23394 23396 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253704510 10060460032 533690 33554432000 1073741824 1073778376 140734643910304 139935342349176 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23396/tid=23414] ppid=23394 vsize=9824668 CPUtime=0.21 cores=1,3,5,7
/proc/23396/task/23414/stat : 23414 (java) S 23394 23396 21381 0 -1 4202560 55 0 0 0 7 14 0 0 20 0 22 0 253704510 10060460032 533690 33554432000 1073741824 1073778376 140734643910304 139935341296584 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23396/tid=23430] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23430/stat : 23430 (java) S 23394 23396 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253704739 10060460032 533690 33554432000 1073741824 1073778376 140734643910304 139934061028648 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23396/tid=23456] ppid=23394 vsize=9824668 CPUtime=707.89 cores=1,3,5,7
/proc/23396/task/23456/stat : 23456 (java) R 23394 23396 21381 0 -1 4202560 16 0 0 0 70779 10 0 0 20 0 22 0 253714198 10060460032 533690 33554432000 1073741824 1073778376 140734643910304 139935339189072 139935353675205 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23396/tid=23457] ppid=23394 vsize=9824668 CPUtime=708.37 cores=1,3,5,7
/proc/23396/task/23457/stat : 23457 (java) R 23394 23396 21381 0 -1 4202560 1968 0 0 0 70818 19 0 0 20 0 22 0 253714198 10060460032 533690 33554432000 1073741824 1073778376 140734643910304 139935338134304 139935353948160 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23396/tid=23458] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23458/stat : 23458 (java) S 23394 23396 21381 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253714198 10060460032 533690 33554432000 1073741824 1073778376 140734643910304 139935340242216 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1724.16
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+982.001 s]
/proc/loadavg: 3.88 3.88 3.79 5/218 23526
/proc/meminfo: memFree=24427756/32873660 swapFree=7108/7108
[pid=23396] ppid=23394 vsize=9824668 CPUtime=1800 cores=1,3,5,7
/proc/23396/stat : 23396 (java) S 23394 23396 21381 0 -1 4202496 37341 0 1 0 179823 177 0 0 20 0 22 0 253704506 10060460032 584011 33554432000 1073741824 1073778376 140734643910304 140734643901440 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23396/statm: 2456167 584011 2288 9 0 2446860 0
[pid=23396/tid=23397] ppid=23394 vsize=9824668 CPUtime=0.35 cores=1,3,5,7
/proc/23396/task/23397/stat : 23397 (java) S 23394 23396 21381 0 -1 4202560 2621 0 1 0 33 2 0 0 20 0 22 0 253704506 10060460032 584011 33554432000 1073741824 1073778376 140734643910304 139935524623352 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23396/tid=23399] ppid=23394 vsize=9824668 CPUtime=1.5 cores=1,3,5,7
/proc/23396/task/23399/stat : 23399 (java) S 23394 23396 21381 0 -1 4202560 679 0 0 0 142 8 0 0 20 0 22 0 253704507 10060460032 584011 33554432000 1073741824 1073778376 140734643910304 139935486114344 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23396/tid=23400] ppid=23394 vsize=9824668 CPUtime=1.39 cores=1,3,5,7
/proc/23396/task/23400/stat : 23400 (java) S 23394 23396 21381 0 -1 4202560 640 0 0 0 135 4 0 0 20 0 22 0 253704507 10060460032 584011 33554432000 1073741824 1073778376 140734643910304 139935485061544 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23396/tid=23401] ppid=23394 vsize=9824668 CPUtime=1.52 cores=1,3,5,7
/proc/23396/task/23401/stat : 23401 (java) S 23394 23396 21381 0 -1 4202560 610 0 0 0 145 7 0 0 20 0 22 0 253704507 10060460032 584011 33554432000 1073741824 1073778376 140734643910304 139935484008744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23396/tid=23402] ppid=23394 vsize=9824668 CPUtime=1.28 cores=1,3,5,7
/proc/23396/task/23402/stat : 23402 (java) S 23394 23396 21381 0 -1 4202560 276 0 0 0 122 6 0 0 20 0 22 0 253704507 10060460032 584011 33554432000 1073741824 1073778376 140734643910304 139935482955944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23396/tid=23403] ppid=23394 vsize=9824668 CPUtime=1.35 cores=1,3,5,7
/proc/23396/task/23403/stat : 23403 (java) S 23394 23396 21381 0 -1 4202560 296 0 0 0 128 7 0 0 20 0 22 0 253704507 10060460032 584011 33554432000 1073741824 1073778376 140734643910304 139935481904168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23396/tid=23404] ppid=23394 vsize=9824668 CPUtime=1.46 cores=1,3,5,7
/proc/23396/task/23404/stat : 23404 (java) S 23394 23396 21381 0 -1 4202560 732 0 0 0 140 6 0 0 20 0 22 0 253704507 10060460032 584011 33554432000 1073741824 1073778376 140734643910304 139935480851368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23396/tid=23405] ppid=23394 vsize=9824668 CPUtime=1.61 cores=1,3,5,7
/proc/23396/task/23405/stat : 23405 (java) S 23394 23396 21381 0 -1 4202560 438 0 0 0 151 10 0 0 20 0 22 0 253704507 10060460032 584011 33554432000 1073741824 1073778376 140734643910304 139935479798568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23396/tid=23406] ppid=23394 vsize=9824668 CPUtime=1.42 cores=1,3,5,7
/proc/23396/task/23406/stat : 23406 (java) S 23394 23396 21381 0 -1 4202560 306 0 0 0 136 6 0 0 20 0 22 0 253704507 10060460032 584011 33554432000 1073741824 1073778376 140734643910304 139935478745768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23396/tid=23407] ppid=23394 vsize=9824668 CPUtime=162.57 cores=1,3,5,7
/proc/23396/task/23407/stat : 23407 (java) S 23394 23396 21381 0 -1 4202560 5676 0 0 0 16191 66 0 0 20 0 22 0 253704508 10060460032 584011 33554432000 1073741824 1073778376 140734643910304 139935348664808 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23396/tid=23408] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23408/stat : 23408 (java) S 23394 23396 21381 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253704508 10060460032 584011 33554432000 1073741824 1073778376 140734643910304 139935347610872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23396/tid=23409] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23409/stat : 23409 (java) S 23394 23396 21381 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253704508 10060460032 584011 33554432000 1073741824 1073778376 140734643910304 139935346557960 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23396/tid=23410] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23410/stat : 23410 (java) S 23394 23396 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253704510 10060460032 584011 33554432000 1073741824 1073778376 140734643910304 139935345506448 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23396/tid=23411] ppid=23394 vsize=9824668 CPUtime=1.53 cores=1,3,5,7
/proc/23396/task/23411/stat : 23411 (java) S 23394 23396 21381 0 -1 4202560 12646 0 0 0 151 2 0 0 20 0 22 0 253704510 10060460032 584011 33554432000 1073741824 1073778376 140734643910304 139935344454584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23396/tid=23412] ppid=23394 vsize=9824668 CPUtime=1.12 cores=1,3,5,7
/proc/23396/task/23412/stat : 23412 (java) S 23394 23396 21381 0 -1 4202560 8723 0 0 0 110 2 0 0 20 0 22 0 253704510 10060460032 584011 33554432000 1073741824 1073778376 140734643910304 139935343401784 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23396/tid=23413] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23413/stat : 23413 (java) S 23394 23396 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253704510 10060460032 584011 33554432000 1073741824 1073778376 140734643910304 139935342349176 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23396/tid=23414] ppid=23394 vsize=9824668 CPUtime=0.22 cores=1,3,5,7
/proc/23396/task/23414/stat : 23414 (java) S 23394 23396 21381 0 -1 4202560 57 0 0 0 8 14 0 0 20 0 22 0 253704510 10060460032 584011 33554432000 1073741824 1073778376 140734643910304 139935341296584 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23396/tid=23430] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23430/stat : 23430 (java) S 23394 23396 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253704739 10060460032 584011 33554432000 1073741824 1073778376 140734643910304 139934061028648 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23396/tid=23456] ppid=23394 vsize=9824668 CPUtime=743.39 cores=1,3,5,7
/proc/23396/task/23456/stat : 23456 (java) R 23394 23396 21381 0 -1 4202560 18 0 0 0 74328 11 0 0 20 0 22 0 253714198 10060460032 584011 33554432000 1073741824 1073778376 140734643910304 139935339189072 139935354027655 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23396/tid=23457] ppid=23394 vsize=9824668 CPUtime=743.88 cores=1,3,5,7
/proc/23396/task/23457/stat : 23457 (java) R 23394 23396 21381 0 -1 4202560 1968 0 0 0 74368 20 0 0 20 0 22 0 253714198 10060460032 584011 33554432000 1073741824 1073778376 140734643910304 139935338134064 139935353948295 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23396/tid=23458] ppid=23394 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23396/task/23458/stat : 23458 (java) S 23394 23396 21381 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253714198 10060460032 584011 33554432000 1073741824 1073778376 140734643910304 139935340242216 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9824668

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23396 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=908284
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=152672
# CPU time returned by wait4() is 1796.06
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.0399933
#  lost CPU user time (s): 0.0499954
#  lost CPU system time (s): -0.01

Real time (s): 982.046
CPU time (s): 1800.04
CPU user time (s): 1798.28
CPU system time (s): 1.76
CPU usage (%): 183.295
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.91
system time used= 2.15267
maximum resident set size= 2336164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37371
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27754
involuntary context switches= 34289

runsolver used 3.80242 second user time and 8.43272 second system time

The end

Launcher Data 

Begin job on node117 at 2012-05-24 18:09:48
IDJOB=3688184
IDBENCH=2880
IDSOLVER=2268
FILE ID=node117/3688184-1337875788
RUNJOBID= node117-1337871880-21398
PBS_JOBID= 14620087
Free space on /tmp= 71624 MiB

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

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

MD5SUM BENCH= d95d18eb9f9494c32273975c1bc570ba
RANDOM SEED=883893505

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873660 kB
MemFree:        29128484 kB
Buffers:          218564 kB
Cached:          2283824 kB
SwapCached:            0 kB
Active:           849016 kB
Inactive:        2112376 kB
Active(anon):     461320 kB
Inactive(anon):        0 kB
Active(file):     387696 kB
Inactive(file):  2112376 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1100 kB
Writeback:             0 kB
AnonPages:        487876 kB
Mapped:            22556 kB
Shmem:               200 kB
Slab:             638800 kB
SReclaimable:      82600 kB
SUnreclaim:       556200 kB
KernelStack:        1784 kB
PageTables:         5484 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:    1052184 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    419840 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= 71620 MiB
End job on node117 at 2012-05-24 18:26:12