Trace number 3687672

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)5246 1800.5 1072.55

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-my_adder.opb
MD5SUM38f65eab3d9896915eed9a127435e25b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4561
Best CPU time to get the best result obtained on this benchmark0.174972
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4561
Optimality of the best value was proved YES
Number of variables577
Total number of constraints1322
Number of constraints which are clauses1306
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints16
Minimum length of a constraint2
Maximum length of a constraint17
Number of terms in the objective function 577
Biggest coefficient in the objective function 61
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 24510
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 61
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 24510
Number of bits of the biggest sum of numbers15
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.02/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.02/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.07	c See www.sat4j.org for details.
0.02/0.08	c version 2.3.2.v20120418
0.02/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.08	c java.vm.version	19.1-b02
0.02/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.08	c sun.arch.data.model	64
0.02/0.08	c java.version		1.6.0_24
0.02/0.08	c os.name		Linux
0.02/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.02/0.08	c os.arch		amd64
0.02/0.08	c Free memory 		501472288
0.02/0.08	c Max memory 		7480803328
0.02/0.08	c Total memory 		504102912
0.02/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization by upper bound
0.10/0.10	c ManyCore solver with 2 solvers running in parallel
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c Expensive reason simplification
0.10/0.10	c Armin Biere (Picosat) restarts strategy
0.10/0.10	c Glucose learned constraints deletion strategy
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c c --- End Solver configuration ---
0.10/0.10	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4e3eca90
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.10	c No reason simplification
0.10/0.10	c Armin Biere (Picosat) restarts strategy
0.10/0.10	c Glucose learned constraints deletion strategy
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3687672-1337873064.opb
0.10/0.10	c reading problem ... 
0.28/0.25	c ... done. Wall clock time 0.144s.
0.28/0.25	c declared #vars     577
0.28/0.25	c #constraints  1322
0.28/0.25	c constraints type 
0.28/0.25	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 955
0.28/0.25	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 367
0.28/0.25	c 1322 constraints processed.
0.28/0.25	c constraints type 
0.28/0.25	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 367
0.28/0.25	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 955
0.28/0.25	c 1322 constraints processed.
0.28/0.25	c objective function length is 577 literals
0.28/0.27	c  And the winner is solver0
0.48/0.75	c SATISFIABLE
0.48/0.75	c OPTIMIZING...
0.48/0.75	c Got one! Elapsed wall clock time (in seconds):0.646
0.48/0.75	o 6126
0.48/0.77	c  And the winner is solver0
0.54/1.26	c Got one! Elapsed wall clock time (in seconds):1.156
0.54/1.26	o 6092
1.46/1.58	c  And the winner is solver1
2.04/1.77	c Got one! Elapsed wall clock time (in seconds):1.665
2.04/1.77	o 6069
2.80/2.00	c cleaning 2525 clauses out of 5050 with flag 3000/5050
3.68/2.47	c cleaning 4263 clauses out of 8526 with flag 9001/11051
4.76/2.92	c  And the winner is solver1
4.86/3.27	c Got one! Elapsed wall clock time (in seconds):3.169
4.86/3.27	o 6022
5.45/3.50	c  And the winner is solver1
5.48/3.77	c Got one! Elapsed wall clock time (in seconds):3.671
5.48/3.77	o 6005
5.75/3.95	c cleaning 7647 clauses out of 15294 with flag 2000/22082
6.72/4.49	c cleaning 6825 clauses out of 13649 with flag 8002/28084
7.88/5.09	c cleaning 6911 clauses out of 13823 with flag 15001/35083
8.40/5.32	c  And the winner is solver1
8.47/5.78	c Got one! Elapsed wall clock time (in seconds):5.674
8.47/5.78	o 5990
8.98/6.00	c cleaning 5987 clauses out of 11974 with flag 3000/40145
9.53/6.35	c  And the winner is solver1
9.66/6.78	c Got one! Elapsed wall clock time (in seconds):6.676
9.66/6.78	o 5979
9.89/6.94	c cleaning 5746 clauses out of 11491 with flag 2001/45649
10.85/7.42	c  And the winner is solver1
10.91/7.78	c Got one! Elapsed wall clock time (in seconds):7.678
10.91/7.78	o 5973
11.55/8.17	c cleaning 8031 clauses out of 16062 with flag 5000/55966
12.81/8.84	c cleaning 7016 clauses out of 14032 with flag 11001/61967
13.48/9.22	c  And the winner is solver1
13.54/9.48	c Got one! Elapsed wall clock time (in seconds):9.374
13.54/9.48	o 5937
13.78/9.64	c cleaning 6161 clauses out of 12326 with flag 2001/67277
14.85/10.20	c cleaning 6078 clauses out of 12164 with flag 8000/73276
15.92/10.86	c cleaning 6544 clauses out of 13087 with flag 15001/80277
17.36/11.69	c cleaning 7268 clauses out of 14542 with flag 23000/88276
19.00/12.58	c cleaning 8139 clauses out of 16277 with flag 32003/97279
19.64/12.98	c  And the winner is solver1
19.83/13.27	c Got one! Elapsed wall clock time (in seconds):13.168
19.83/13.27	o 5931
20.28/13.52	c cleaning 6935 clauses out of 13869 with flag 3000/103010
21.31/14.13	c cleaning 6466 clauses out of 12934 with flag 9000/109010
22.86/15.00	c cleaning 6727 clauses out of 13468 with flag 16000/116010
24.54/15.81	c cleaning 7368 clauses out of 14741 with flag 24000/124010
26.44/16.70	c cleaning 8188 clauses out of 16376 with flag 33003/133013
28.03/17.67	c cleaning 9085 clauses out of 18186 with flag 43001/143011
30.28/18.90	c cleaning 10050 clauses out of 20102 with flag 54002/154012
32.45/20.12	c cleaning 11026 clauses out of 22051 with flag 66001/166011
32.99/20.56	c  And the winner is solver1
33.13/20.91	c Got one! Elapsed wall clock time (in seconds):20.807
33.13/20.91	o 5907
33.51/21.17	c cleaning 8057 clauses out of 16120 with flag 3001/171106
34.86/21.95	c cleaning 7031 clauses out of 14062 with flag 9000/177105
36.44/22.99	c cleaning 7012 clauses out of 14031 with flag 16000/184105
38.17/23.99	c cleaning 7506 clauses out of 15019 with flag 24000/192105
40.09/25.06	c cleaning 8252 clauses out of 16515 with flag 33002/201107
41.81/26.08	c cleaning 9131 clauses out of 18262 with flag 43001/211106
43.34/27.00	c  And the winner is solver1
43.34/27.07	c Got one! Elapsed wall clock time (in seconds):26.967
43.34/27.07	o 5879
44.21/27.52	c cleaning 10139 clauses out of 20292 with flag 5000/222267
45.50/28.31	c cleaning 8073 clauses out of 16153 with flag 11000/228267
46.81/29.17	c cleaning 7530 clauses out of 15080 with flag 18000/235267
48.30/30.08	c cleaning 7774 clauses out of 15552 with flag 26002/243269
50.22/31.22	c cleaning 8381 clauses out of 16776 with flag 35000/252267
51.92/32.29	c cleaning 9195 clauses out of 18396 with flag 45001/262268
54.01/33.46	c cleaning 10100 clauses out of 20201 with flag 56001/273268
56.28/34.75	c cleaning 11047 clauses out of 22100 with flag 68000/285267
59.00/36.37	c cleaning 12027 clauses out of 24053 with flag 81000/298267
61.67/37.90	c cleaning 13013 clauses out of 26026 with flag 95000/312267
64.95/39.65	c cleaning 14005 clauses out of 28014 with flag 110001/327268
67.81/41.29	c cleaning 15003 clauses out of 30008 with flag 126000/343267
71.24/43.22	c cleaning 16002 clauses out of 32006 with flag 143001/360268
74.51/45.02	c cleaning 17003 clauses out of 34005 with flag 161002/378269
77.71/46.90	c cleaning 17994 clauses out of 36000 with flag 180000/397267
81.33/48.84	c cleaning 19003 clauses out of 38008 with flag 200002/417269
85.32/51.18	c cleaning 19996 clauses out of 40003 with flag 221000/438267
89.77/53.57	c cleaning 21004 clauses out of 42007 with flag 243000/460267
93.99/55.87	c  And the winner is solver1
94.15/56.05	c Got one! Elapsed wall clock time (in seconds):55.948
94.15/56.05	o 5855
95.04/56.50	c cleaning 23708 clauses out of 47428 with flag 5001/486692
96.42/57.43	c cleaning 14853 clauses out of 29720 with flag 11001/492692
98.11/58.66	c cleaning 10927 clauses out of 21866 with flag 18000/499691
99.66/59.69	c cleaning 9459 clauses out of 18939 with flag 26000/507691
101.41/60.75	c cleaning 9230 clauses out of 18480 with flag 35000/516691
103.37/61.90	c cleaning 9622 clauses out of 19251 with flag 45001/526692
105.67/63.44	c cleaning 10309 clauses out of 20629 with flag 56001/537692
107.82/64.79	c cleaning 11160 clauses out of 22320 with flag 68001/549692
110.56/66.34	c cleaning 12081 clauses out of 24161 with flag 81002/562693
113.50/68.01	c cleaning 13034 clauses out of 26078 with flag 95000/576691
116.55/69.96	c cleaning 14020 clauses out of 28045 with flag 110001/591692
119.69/71.77	c cleaning 15011 clauses out of 30026 with flag 126002/607693
122.81/73.55	c cleaning 16001 clauses out of 32015 with flag 143002/624693
126.13/75.41	c cleaning 16998 clauses out of 34012 with flag 161000/642691
129.95/77.76	c cleaning 17999 clauses out of 36015 with flag 180001/661692
133.06/79.59	c  And the winner is solver1
133.25/79.79	c Got one! Elapsed wall clock time (in seconds):79.687
133.25/79.79	o 5813
134.08/80.26	c cleaning 20113 clauses out of 40226 with flag 5000/683902
135.78/81.33	c cleaning 13052 clauses out of 26113 with flag 11000/689902
137.48/82.46	c cleaning 10024 clauses out of 20061 with flag 18000/696902
139.63/83.95	c cleaning 9016 clauses out of 18038 with flag 26001/704903
141.74/85.22	c cleaning 9009 clauses out of 18022 with flag 35001/713903
144.35/86.63	c cleaning 9501 clauses out of 19013 with flag 45001/723903
147.22/88.19	c cleaning 10252 clauses out of 20511 with flag 56000/734902
150.19/90.05	c cleaning 11129 clauses out of 22259 with flag 68000/746902
153.07/91.76	c cleaning 12066 clauses out of 24131 with flag 81001/759903
155.95/93.45	c cleaning 13027 clauses out of 26064 with flag 95000/773902
159.01/95.25	c cleaning 14019 clauses out of 28037 with flag 110000/788902
162.77/97.53	c cleaning 15006 clauses out of 30020 with flag 126002/804904
166.62/99.76	c cleaning 16005 clauses out of 32012 with flag 143000/821902
170.47/101.94	c cleaning 17003 clauses out of 34008 with flag 161001/839903
174.73/104.35	c cleaning 18002 clauses out of 36004 with flag 180000/858902
179.60/107.27	c cleaning 19001 clauses out of 38002 with flag 200000/878902
184.75/110.09	c cleaning 19994 clauses out of 40002 with flag 221001/899903
189.81/112.80	c cleaning 21003 clauses out of 42008 with flag 243001/921903
194.84/115.77	c cleaning 21991 clauses out of 44005 with flag 266001/944903
200.68/119.25	c cleaning 23003 clauses out of 46013 with flag 290000/968902
206.65/122.68	c cleaning 24000 clauses out of 48011 with flag 315001/993903
212.81/126.11	c cleaning 25000 clauses out of 50011 with flag 341001/1019903
219.19/129.77	c cleaning 25997 clauses out of 52010 with flag 368000/1046902
226.34/133.99	c cleaning 27006 clauses out of 54013 with flag 396000/1074902
233.25/137.80	c cleaning 27999 clauses out of 56007 with flag 425000/1103902
239.97/141.61	c cleaning 29000 clauses out of 58008 with flag 455000/1133902
243.16/143.62	c  And the winner is solver1
243.22/143.92	c Got one! Elapsed wall clock time (in seconds):143.82
243.22/143.92	o 5812
244.16/144.41	c cleaning 23504 clauses out of 47020 with flag 5002/1151914
246.32/146.12	c cleaning 14753 clauses out of 29514 with flag 11000/1157912
248.22/147.45	c cleaning 10872 clauses out of 21761 with flag 18000/1164912
250.08/148.76	c cleaning 9439 clauses out of 18889 with flag 26000/1172912
252.35/150.21	c cleaning 9215 clauses out of 18450 with flag 35000/1181912
254.99/152.14	c cleaning 9612 clauses out of 19235 with flag 45000/1191912
257.45/153.75	c cleaning 10304 clauses out of 20624 with flag 56001/1202913
260.11/155.41	c cleaning 11159 clauses out of 22319 with flag 68000/1214912
262.94/157.21	c cleaning 12078 clauses out of 24160 with flag 81000/1227912
266.36/159.56	c cleaning 13040 clauses out of 26083 with flag 95001/1241913
269.78/161.67	c cleaning 14022 clauses out of 28043 with flag 110001/1256913
273.38/163.82	c cleaning 15009 clauses out of 30020 with flag 126000/1272912
276.96/166.09	c cleaning 16002 clauses out of 32011 with flag 143000/1289912
278.50/167.41	c  And the winner is solver1
278.53/167.83	c Got one! Elapsed wall clock time (in seconds):167.731
278.53/167.83	o 5591
279.26/168.21	c cleaning 10966 clauses out of 21942 with flag 5001/1295845
280.94/169.44	c cleaning 8488 clauses out of 16975 with flag 11000/1301844
282.98/170.82	c cleaning 7742 clauses out of 15488 with flag 18001/1308845
285.03/172.24	c cleaning 7873 clauses out of 15746 with flag 26001/1316845
287.65/174.16	c cleaning 8435 clauses out of 16873 with flag 35001/1325845
290.09/175.72	c cleaning 9218 clauses out of 18439 with flag 45002/1335846
292.71/177.43	c cleaning 10110 clauses out of 20219 with flag 56000/1346844
295.52/179.27	c cleaning 11053 clauses out of 22111 with flag 68002/1358846
299.27/181.78	c cleaning 12028 clauses out of 24056 with flag 81000/1371844
303.25/184.12	c cleaning 13012 clauses out of 26028 with flag 95000/1385844
307.00/186.43	c cleaning 14006 clauses out of 28017 with flag 110001/1400845
310.75/188.74	c cleaning 15002 clauses out of 30011 with flag 126001/1416845
315.04/191.55	c cleaning 16005 clauses out of 32010 with flag 143002/1433846
318.96/193.98	c cleaning 16997 clauses out of 34003 with flag 161000/1451844
323.30/196.53	c cleaning 18000 clauses out of 36007 with flag 180001/1470845
327.64/199.12	c cleaning 18999 clauses out of 38007 with flag 200001/1490845
332.29/202.11	c cleaning 20000 clauses out of 40008 with flag 221001/1511845
336.62/204.75	c cleaning 20993 clauses out of 42008 with flag 243001/1533845
341.50/207.67	c cleaning 22000 clauses out of 44014 with flag 266000/1556844
346.54/210.69	c cleaning 23005 clauses out of 46014 with flag 290000/1580844
352.51/214.40	c cleaning 24005 clauses out of 48009 with flag 315000/1605844
358.15/217.61	c cleaning 25002 clauses out of 50004 with flag 341000/1631844
363.77/220.91	c cleaning 25996 clauses out of 52002 with flag 368000/1658844
369.60/224.35	c cleaning 27000 clauses out of 54007 with flag 396001/1686845
377.66/229.65	c cleaning 27999 clauses out of 56007 with flag 425001/1715845
384.78/233.43	c cleaning 28999 clauses out of 58007 with flag 455000/1745844
390.60/236.73	c cleaning 30001 clauses out of 60010 with flag 486002/1776846
397.52/240.82	c cleaning 30999 clauses out of 62007 with flag 518000/1808844
403.92/244.44	c cleaning 32002 clauses out of 64008 with flag 551000/1841844
410.69/248.26	c cleaning 33004 clauses out of 66007 with flag 585001/1875845
417.70/252.18	c cleaning 33999 clauses out of 68002 with flag 620000/1910844
425.39/256.65	c cleaning 34996 clauses out of 70003 with flag 656000/1946844
432.99/260.86	c cleaning 36002 clauses out of 72007 with flag 693000/1983844
440.78/265.12	c cleaning 36996 clauses out of 74006 with flag 731001/2021845
448.17/269.26	c cleaning 38003 clauses out of 76011 with flag 770002/2060846
457.08/274.30	c cleaning 38993 clauses out of 78007 with flag 810001/2100845
465.49/278.97	c cleaning 40000 clauses out of 80014 with flag 851001/2141845
474.31/283.77	c  And the winner is solver1
474.49/283.84	c Got one! Elapsed wall clock time (in seconds):283.74
474.49/283.84	o 5315
475.59/284.46	c cleaning 43480 clauses out of 86959 with flag 5000/2188790
477.57/285.83	c cleaning 24741 clauses out of 49482 with flag 11003/2194793
480.03/287.75	c cleaning 15870 clauses out of 31739 with flag 18001/2201791
482.22/289.24	c cleaning 11935 clauses out of 23869 with flag 26001/2209791
484.58/290.86	c cleaning 10466 clauses out of 20934 with flag 35001/2218791
486.95/292.44	c cleaning 10232 clauses out of 20468 with flag 45001/2228791
489.81/294.59	c cleaning 10610 clauses out of 21235 with flag 56000/2239790
492.57/296.33	c cleaning 11309 clauses out of 22626 with flag 68001/2251791
495.55/298.22	c cleaning 12159 clauses out of 24317 with flag 81001/2264791
498.51/300.12	c cleaning 13079 clauses out of 26158 with flag 95001/2278791
502.17/302.68	c cleaning 14037 clauses out of 28078 with flag 110000/2293790
505.73/304.81	c cleaning 15018 clauses out of 30042 with flag 126001/2309791
509.11/306.94	c cleaning 16010 clauses out of 32023 with flag 143000/2326790
512.67/309.15	c cleaning 16999 clauses out of 34013 with flag 161000/2344790
517.07/312.07	c cleaning 18001 clauses out of 36015 with flag 180001/2363791
521.24/314.54	c cleaning 19001 clauses out of 38013 with flag 200000/2383790
525.57/317.13	c cleaning 20004 clauses out of 40012 with flag 221000/2404790
530.11/319.82	c cleaning 21001 clauses out of 42008 with flag 243000/2426790
535.33/323.10	c cleaning 21998 clauses out of 44007 with flag 266000/2449790
540.05/325.94	c cleaning 23002 clauses out of 46010 with flag 290001/2473791
546.00/329.36	c cleaning 24004 clauses out of 48007 with flag 315000/2498790
551.53/332.57	c cleaning 25002 clauses out of 50003 with flag 341000/2524790
557.57/336.25	c cleaning 26001 clauses out of 52002 with flag 368001/2551791
563.10/339.48	c cleaning 26999 clauses out of 54000 with flag 396000/2579790
568.82/342.86	c cleaning 27995 clauses out of 56002 with flag 425001/2608791
574.94/346.47	c cleaning 28999 clauses out of 58007 with flag 455001/2638791
581.67/350.63	c cleaning 30003 clauses out of 60008 with flag 486001/2669791
588.13/354.42	c cleaning 30999 clauses out of 62005 with flag 518001/2701791
594.57/358.21	c cleaning 31997 clauses out of 64006 with flag 551001/2734791
601.01/362.06	c cleaning 33002 clauses out of 66008 with flag 585000/2768790
608.45/366.65	c cleaning 33997 clauses out of 68006 with flag 620000/2803790
615.65/370.84	c cleaning 35001 clauses out of 70012 with flag 656003/2839793
622.44/374.83	c cleaning 35998 clauses out of 72009 with flag 693001/2876791
629.44/378.99	c cleaning 37001 clauses out of 74010 with flag 731000/2914790
638.02/384.17	c cleaning 38001 clauses out of 76009 with flag 770000/2953790
648.14/390.46	c cleaning 39001 clauses out of 78009 with flag 810001/2993791
657.57/395.53	c cleaning 40000 clauses out of 80007 with flag 851000/3034790
666.78/400.93	c cleaning 40995 clauses out of 82007 with flag 893000/3076790
675.99/406.08	c cleaning 42006 clauses out of 84013 with flag 936001/3119791
685.20/411.11	c cleaning 43002 clauses out of 86006 with flag 980000/3163790
694.20/416.18	c cleaning 43994 clauses out of 88008 with flag 1025004/3208794
705.13/422.38	c cleaning 45005 clauses out of 90010 with flag 1071000/3254790
715.70/428.10	c cleaning 45991 clauses out of 92005 with flag 1118000/3301790
726.67/434.18	c cleaning 47004 clauses out of 94014 with flag 1166000/3349790
738.06/440.37	c cleaning 48001 clauses out of 96010 with flag 1215000/3398790
751.85/448.01	c cleaning 49002 clauses out of 98010 with flag 1265001/3448791
764.22/454.75	c cleaning 50004 clauses out of 100007 with flag 1316000/3499790
774.59/460.46	c cleaning 50996 clauses out of 102003 with flag 1368000/3551790
784.74/466.01	c cleaning 51999 clauses out of 104007 with flag 1421000/3604790
795.20/472.17	c cleaning 52992 clauses out of 106008 with flag 1475000/3658790
805.96/478.04	c cleaning 54002 clauses out of 108016 with flag 1530000/3713790
816.28/483.75	c cleaning 55005 clauses out of 110016 with flag 1586002/3769792
827.04/489.65	c cleaning 56000 clauses out of 112011 with flag 1643002/3826792
838.31/496.15	c cleaning 56998 clauses out of 114010 with flag 1701001/3884791
848.81/501.95	c cleaning 58003 clauses out of 116012 with flag 1760001/3943791
860.56/508.39	c cleaning 58998 clauses out of 118010 with flag 1820002/4003792
872.70/514.93	c cleaning 60004 clauses out of 120010 with flag 1881000/4064790
886.73/522.82	c cleaning 61003 clauses out of 122007 with flag 1943001/4126791
901.77/530.85	c cleaning 62000 clauses out of 124003 with flag 2006000/4189790
910.79/535.88	c cleaning 0 clauses out of 8534 with flag 0/8542
915.49/538.65	c  And the winner is solver1
915.67/539.09	c Got one! Elapsed wall clock time (in seconds):538.984
915.67/539.09	o 5305
917.42/539.97	c cleaning 64816 clauses out of 129633 with flag 5000/4257420
920.62/542.40	c cleaning 35402 clauses out of 70817 with flag 11000/4263420
922.93/544.11	c cleaning 21194 clauses out of 42415 with flag 18000/4270420
925.22/545.87	c cleaning 14600 clauses out of 29222 with flag 26001/4278421
927.70/547.65	c cleaning 11804 clauses out of 23624 with flag 35003/4287423
931.11/550.21	c cleaning 10896 clauses out of 21817 with flag 45000/4297420
933.83/552.13	c cleaning 10951 clauses out of 21921 with flag 56000/4308420
936.72/554.16	c cleaning 11482 clauses out of 22970 with flag 68000/4320420
939.62/556.19	c cleaning 12234 clauses out of 24488 with flag 81000/4333420
943.44/558.98	c cleaning 13126 clauses out of 26254 with flag 95000/4347420
946.93/561.26	c cleaning 14062 clauses out of 28128 with flag 110000/4362420
950.66/563.60	c cleaning 15029 clauses out of 30066 with flag 126000/4378420
954.38/566.05	c cleaning 16017 clauses out of 32038 with flag 143001/4395421
959.17/569.35	c cleaning 17005 clauses out of 34020 with flag 161000/4413420
963.07/571.86	c cleaning 18003 clauses out of 36016 with flag 180001/4432421
967.18/574.46	c cleaning 19000 clauses out of 38012 with flag 200000/4452420
971.47/577.11	c cleaning 19998 clauses out of 40013 with flag 221001/4473421
976.87/580.77	c cleaning 21007 clauses out of 42015 with flag 243001/4495421
981.56/583.69	c cleaning 21999 clauses out of 44008 with flag 266001/4518421
986.64/586.70	c cleaning 23002 clauses out of 46009 with flag 290001/4542421
991.72/589.83	c cleaning 23995 clauses out of 48007 with flag 315001/4567421
997.98/593.83	c cleaning 25006 clauses out of 50012 with flag 341001/4593421
1003.86/597.38	c cleaning 26000 clauses out of 52005 with flag 368000/4620420
1009.50/600.79	c cleaning 26999 clauses out of 54006 with flag 396001/4648421
1015.37/604.24	c cleaning 28000 clauses out of 56006 with flag 425000/4677420
1022.21/608.40	c cleaning 29003 clauses out of 58006 with flag 455000/4707420
1028.28/612.09	c cleaning 29999 clauses out of 60003 with flag 486000/4738420
1033.38/615.19	c  And the winner is solver1
1033.59/615.28	c Got one! Elapsed wall clock time (in seconds):615.173
1033.59/615.28	o 5295
1034.45/615.74	c cleaning 29965 clauses out of 59929 with flag 5000/4768345
1036.71/617.46	c cleaning 17983 clauses out of 35965 with flag 11001/4774346
1039.84/619.91	c cleaning 12489 clauses out of 24981 with flag 18000/4781345
1042.10/621.64	c cleaning 10241 clauses out of 20492 with flag 26000/4789345
1044.58/623.46	c cleaning 9620 clauses out of 19251 with flag 35000/4798345
1047.25/625.32	c cleaning 9813 clauses out of 19632 with flag 45001/4808346
1050.48/627.75	c cleaning 10402 clauses out of 20819 with flag 56001/4819346
1053.55/629.85	c cleaning 11203 clauses out of 22416 with flag 68000/4831345
1056.60/631.99	c cleaning 12097 clauses out of 24213 with flag 81000/4844345
1059.89/634.19	c cleaning 13054 clauses out of 26116 with flag 95000/4858345
1064.24/637.21	c cleaning 14032 clauses out of 28063 with flag 110001/4873346
1067.90/639.61	c cleaning 15014 clauses out of 30030 with flag 126000/4889345
1071.75/642.16	c cleaning 16001 clauses out of 32016 with flag 143000/4906345
1076.00/644.80	c cleaning 17004 clauses out of 34015 with flag 161000/4924345
1080.93/648.24	c cleaning 17999 clauses out of 36011 with flag 180000/4943345
1085.41/651.04	c cleaning 19005 clauses out of 38012 with flag 200000/4963345
1090.07/653.99	c cleaning 19998 clauses out of 40007 with flag 221000/4984345
1095.49/657.20	c cleaning 21002 clauses out of 42009 with flag 243000/5006345
1101.82/661.34	c cleaning 21999 clauses out of 44007 with flag 266000/5029345
1107.25/664.60	c cleaning 23002 clauses out of 46008 with flag 290000/5053345
1112.69/667.96	c cleaning 24000 clauses out of 48006 with flag 315000/5078345
1118.91/671.69	c cleaning 25001 clauses out of 50007 with flag 341001/5104346
1125.78/676.05	c cleaning 25997 clauses out of 52005 with flag 368000/5131345
1132.41/679.94	c cleaning 27000 clauses out of 54008 with flag 396000/5159345
1139.19/683.99	c cleaning 27997 clauses out of 56009 with flag 425001/5188346
1146.60/688.26	c cleaning 29001 clauses out of 58012 with flag 455001/5218346
1153.67/692.79	c cleaning 30002 clauses out of 60010 with flag 486000/5249345
1160.65/696.82	c cleaning 31001 clauses out of 62009 with flag 518001/5281346
1167.85/701.09	c cleaning 32004 clauses out of 64007 with flag 551000/5314345
1175.66/705.53	c cleaning 32995 clauses out of 66004 with flag 585001/5348346
1183.34/710.27	c cleaning 34003 clauses out of 68009 with flag 620001/5383346
1191.12/714.75	c cleaning 34998 clauses out of 70005 with flag 656000/5419345
1198.70/719.17	c cleaning 35994 clauses out of 72008 with flag 693001/5456346
1206.29/723.54	c cleaning 37000 clauses out of 74013 with flag 731000/5494345
1214.30/728.55	c cleaning 38003 clauses out of 76014 with flag 770001/5533346
1222.28/733.12	c cleaning 39002 clauses out of 78012 with flag 810002/5573347
1230.66/737.95	c cleaning 39998 clauses out of 80008 with flag 851000/5614345
1239.04/742.78	c cleaning 41001 clauses out of 82010 with flag 893000/5656345
1247.81/748.11	c cleaning 41996 clauses out of 84009 with flag 936000/5699345
1257.00/753.34	c cleaning 43005 clauses out of 86013 with flag 980000/5743345
1266.58/758.71	c cleaning 44002 clauses out of 88010 with flag 1025002/5788347
1275.95/764.04	c cleaning 44996 clauses out of 90007 with flag 1071001/5834346
1286.16/770.13	c cleaning 46003 clauses out of 92010 with flag 1118000/5881345
1296.12/775.71	c cleaning 47004 clauses out of 94008 with flag 1166001/5929346
1305.66/781.11	c cleaning 47993 clauses out of 96004 with flag 1215001/5978346
1315.63/786.79	c cleaning 49004 clauses out of 98011 with flag 1265001/6028346
1320.03/789.97	c  And the winner is solver1
1320.21/790.38	c Got one! Elapsed wall clock time (in seconds):790.276
1320.21/790.38	o 5246
1321.06/790.87	c cleaning 34658 clauses out of 69315 with flag 5000/6048654
1323.39/792.68	c cleaning 20327 clauses out of 40657 with flag 11000/6054654
1325.95/794.53	c cleaning 13664 clauses out of 27330 with flag 18000/6061654
1328.52/796.43	c cleaning 10829 clauses out of 21668 with flag 26002/6069656
1331.86/799.18	c cleaning 9914 clauses out of 19838 with flag 35001/6078655
1334.82/801.23	c cleaning 9956 clauses out of 19923 with flag 45000/6088654
1337.77/803.34	c cleaning 10481 clauses out of 20968 with flag 56001/6099655
1340.93/805.56	c cleaning 11243 clauses out of 22487 with flag 68001/6111655
1344.52/808.19	c cleaning 12118 clauses out of 24244 with flag 81001/6124655
1348.26/810.61	c cleaning 13058 clauses out of 26125 with flag 95000/6138654
1352.18/813.20	c cleaning 14031 clauses out of 28067 with flag 110000/6153654
1356.10/815.81	c cleaning 15013 clauses out of 30036 with flag 126000/6169654
1360.83/819.26	c cleaning 16010 clauses out of 32023 with flag 143000/6186654
1365.18/822.04	c cleaning 17003 clauses out of 34015 with flag 161002/6204656
1369.52/824.88	c cleaning 18001 clauses out of 36010 with flag 180000/6223654
1374.45/827.93	c cleaning 19001 clauses out of 38009 with flag 200000/6243654
1379.58/831.46	c cleaning 20005 clauses out of 40009 with flag 221001/6264655
1384.49/834.57	c cleaning 21002 clauses out of 42003 with flag 243000/6286654
1389.63/837.75	c cleaning 21995 clauses out of 44001 with flag 266000/6309654
1395.18/841.12	c cleaning 23001 clauses out of 46007 with flag 290001/6333655
1401.22/845.19	c cleaning 23998 clauses out of 48006 with flag 315001/6358655
1407.15/848.76	c cleaning 25002 clauses out of 50007 with flag 341000/6384654
1413.50/852.51	c cleaning 26003 clauses out of 52006 with flag 368001/6411655
1420.21/856.53	c cleaning 27000 clauses out of 54002 with flag 396000/6439654
1427.52/861.15	c cleaning 27995 clauses out of 56002 with flag 425000/6468654
1433.63/864.85	c cleaning 29002 clauses out of 58008 with flag 455001/6498655
1440.33/868.83	c cleaning 29995 clauses out of 60005 with flag 486000/6529654
1447.62/873.13	c cleaning 30999 clauses out of 62010 with flag 518000/6561654
1455.88/878.36	c cleaning 32006 clauses out of 64011 with flag 551000/6594654
1463.99/883.06	c cleaning 32998 clauses out of 66006 with flag 585001/6628655
1472.29/887.82	c cleaning 34003 clauses out of 68007 with flag 620000/6663654
1480.58/892.63	c cleaning 35000 clauses out of 70005 with flag 656001/6699655
1489.79/898.37	c cleaning 36002 clauses out of 72004 with flag 693000/6736654
1498.47/903.36	c cleaning 36999 clauses out of 74002 with flag 731000/6774654
1508.40/908.91	c cleaning 38003 clauses out of 76005 with flag 770002/6813656
1518.29/914.56	c cleaning 38999 clauses out of 78001 with flag 810001/6853655
1530.70/921.83	c cleaning 39999 clauses out of 80001 with flag 851000/6894654
1542.58/928.49	c cleaning 40996 clauses out of 82002 with flag 893000/6936654
1554.70/935.12	c cleaning 42004 clauses out of 84007 with flag 936001/6979655
1566.19/941.50	c cleaning 42996 clauses out of 86003 with flag 980001/7023655
1578.65/948.87	c cleaning 44000 clauses out of 88006 with flag 1025000/7068654
1590.16/955.26	c cleaning 44997 clauses out of 90006 with flag 1071000/7114654
1601.07/961.40	c cleaning 46005 clauses out of 92011 with flag 1118002/7161656
1612.72/967.84	c cleaning 46998 clauses out of 94005 with flag 1166001/7209655
1625.93/975.42	c cleaning 48002 clauses out of 96007 with flag 1215001/7258655
1639.43/982.80	c cleaning 49002 clauses out of 98005 with flag 1265001/7308655
1652.35/989.99	c cleaning 49995 clauses out of 100002 with flag 1316000/7359654
1664.24/996.59	c cleaning 50998 clauses out of 102008 with flag 1368001/7411655
1676.21/1003.61	c cleaning 51997 clauses out of 104009 with flag 1421000/7464654
1688.29/1010.37	c cleaning 53002 clauses out of 106013 with flag 1475001/7518655
1701.57/1017.69	c cleaning 54003 clauses out of 108012 with flag 1530002/7573656
1714.81/1024.96	c cleaning 55005 clauses out of 110009 with flag 1586002/7629656
1728.36/1032.86	c cleaning 55997 clauses out of 112003 with flag 1643001/7686655
1741.59/1040.16	c cleaning 56998 clauses out of 114006 with flag 1701001/7744655
1755.45/1047.71	c cleaning 58004 clauses out of 116007 with flag 1760000/7803654
1770.74/1056.03	c cleaning 59001 clauses out of 118004 with flag 1820001/7863655
1787.05/1065.34	c cleaning 59995 clauses out of 120003 with flag 1881001/7924655
1800.10/1072.52	c starts		: 55
1800.10/1072.52	c conflicts		: 11161
1800.10/1072.52	c decisions		: 94135
1800.10/1072.52	c propagations		: 666029
1800.10/1072.52	c inspects		: 505245753
1800.10/1072.52	c shortcuts		: 0
1800.10/1072.52	c learnt literals	: 7
1800.10/1072.52	c learnt binary clauses	: 22
1800.10/1072.52	c learnt ternary clauses	: 8
1800.10/1072.52	c learnt constraints	: 11153
1800.10/1072.52	c ignored constraints	: 0
1800.10/1072.52	c root simplifications	: 0
1800.10/1072.52	c removed literals (reason simplification)	: 0
1800.10/1072.52	c reason swapping (by a shorter reason)	: 0
1800.10/1072.52	c Calls to reduceDB	: 1
1800.10/1072.52	c number of reductions to clauses (during analyze)	: 0
1800.10/1072.52	c number of learned constraints concerned by reduction	: 0
1800.10/1072.52	c number of learning phase by resolution	: 0
1800.10/1072.52	c number of learning phase by cutting planes	: 0
1800.10/1072.52	c speed (assignments/second)	: 621.7341707398128
1800.10/1072.52	c non guided choices	18
1800.10/1072.52	c learnt constraints type 
1800.10/1072.52	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 31
1800.10/1072.52	c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 22
1800.10/1072.52	c org.sat4j.pb.constraints.pb.MaxWatchPb => 11100
1800.10/1072.52	c constraints type 
1800.10/1072.52	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 955
1800.10/1072.52	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 367
1800.10/1072.52	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.10/1072.52	c 1323 constraints processed.
1800.10/1072.52	c constraints type 
1800.10/1072.52	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 367
1800.10/1072.52	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 955
1800.10/1072.52	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1
1800.10/1072.52	c 1323 constraints processed.
1800.10/1072.52	s SATISFIABLE
1800.10/1072.53	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 
1800.10/1072.53	c objective function=5246
1800.10/1072.53	c Total wall clock time (in seconds): 1072.422

Verifier Data

OK	5246

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-3687672-1337873064/watcher-3687672-1337873064 -o /tmp/evaluation-result-3687672-1337873064/solver-3687672-1337873064 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687672-1337873064.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 3.38 3.45 2.49 4/197 25545
/proc/meminfo: memFree=27997612/32873648 swapFree=6856/6856
[pid=25545] ppid=25543 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/25545/stat : 25545 (java) R 25543 25545 24583 0 -1 4202496 984 0 0 0 0 0 0 0 20 0 1 0 253431794 23793664 712 33554432000 1073741824 1073778376 140736653355728 140736653344792 270698329448 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25545/statm: 5809 713 528 9 0 128 0

[startup+0.038697 s]
/proc/loadavg: 3.38 3.45 2.49 4/197 25545
/proc/meminfo: memFree=27997612/32873648 swapFree=6856/6856
[pid=25545] ppid=25543 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/25545/stat : 25545 (java) S 25543 25545 24583 0 -1 4202496 3084 0 1 0 2 0 0 0 20 0 13 0 253431794 9446973440 3271 33554432000 1073741824 1073778376 140736653355728 140736653346864 270710898749 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25545/statm: 2306390 3271 1702 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560

[startup+0.100219 s]
/proc/loadavg: 3.38 3.45 2.49 4/197 25545
/proc/meminfo: memFree=27997612/32873648 swapFree=6856/6856
[pid=25545] ppid=25543 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/25545/stat : 25545 (java) S 25543 25545 24583 0 -1 4202496 4512 0 1 0 9 1 0 0 20 0 18 0 253431794 9787813888 5647 33554432000 1073741824 1073778376 140736653355728 140736653346864 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25545/statm: 2389603 5647 2131 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.300179 s]
/proc/loadavg: 3.38 3.45 2.49 4/197 25545
/proc/meminfo: memFree=27997612/32873648 swapFree=6856/6856
[pid=25545] ppid=25543 vsize=9824668 CPUtime=0.48 cores=0,2,4,6
/proc/25545/stat : 25545 (java) S 25543 25545 24583 0 -1 4202496 5589 0 1 0 45 3 0 0 20 0 19 0 253431794 10060460032 8424 33554432000 1073741824 1073778376 140736653355728 140736653346864 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25545/statm: 2456167 8424 2231 9 0 2446860 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9824668

[startup+0.700129 s]
/proc/loadavg: 3.38 3.45 2.49 4/197 25545
/proc/meminfo: memFree=27997612/32873648 swapFree=6856/6856
[pid=25545] ppid=25543 vsize=9824668 CPUtime=0.48 cores=0,2,4,6
/proc/25545/stat : 25545 (java) S 25543 25545 24583 0 -1 4202496 5589 0 1 0 45 3 0 0 20 0 19 0 253431794 10060460032 8424 33554432000 1073741824 1073778376 140736653355728 140736653346864 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25545/statm: 2456167 8424 2231 9 0 2446860 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9824668

[startup+1.50065 s]
/proc/loadavg: 3.38 3.45 2.49 2/216 25570
/proc/meminfo: memFree=27967860/32873648 swapFree=6856/6856
[pid=25545] ppid=25543 vsize=9824668 CPUtime=1.46 cores=0,2,4,6
/proc/25545/stat : 25545 (java) S 25543 25545 24583 0 -1 4202496 15209 0 1 0 139 7 0 0 20 0 22 0 253431794 10060460032 19152 33554432000 1073741824 1073778376 140736653355728 140736653346864 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25545/statm: 2456167 19152 2245 9 0 2446860 0
[pid=25545/tid=25547] ppid=25543 vsize=9824668 CPUtime=0.25 cores=0,2,4,6
/proc/25545/task/25547/stat : 25547 (java) S 25543 25545 24583 0 -1 4202560 2510 0 1 0 23 2 0 0 20 0 22 0 253431794 10060460032 19152 33554432000 1073741824 1073778376 140736653355728 139757289546744 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25545/tid=25548] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25548/stat : 25548 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431795 10060460032 19152 33554432000 1073741824 1073778376 140736653355728 139757133540264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25549] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25549/stat : 25549 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431795 10060460032 19152 33554432000 1073741824 1073778376 140736653355728 139757132487720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25550] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25550/stat : 25550 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431795 10060460032 19152 33554432000 1073741824 1073778376 140736653355728 139757131434664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25545/tid=25551] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25551/stat : 25551 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431795 10060460032 19152 33554432000 1073741824 1073778376 140736653355728 139757130382120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25552] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25552/stat : 25552 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431795 10060460032 19152 33554432000 1073741824 1073778376 140736653355728 139757129329064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25553] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25553/stat : 25553 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431795 10060460032 19152 33554432000 1073741824 1073778376 140736653355728 139757128276520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25554] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25554/stat : 25554 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431795 10060460032 19152 33554432000 1073741824 1073778376 140736653355728 139757127223464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25555] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25555/stat : 25555 (java) S 25543 25545 24583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253431795 10060460032 19152 33554432000 1073741824 1073778376 140736653355728 139757126170920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25556] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25556/stat : 25556 (java) S 25543 25545 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253431796 10060460032 19152 33554432000 1073741824 1073778376 140736653355728 139757113760616 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25557] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25557/stat : 25557 (java) S 25543 25545 24583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253431796 10060460032 19152 33554432000 1073741824 1073778376 140736653355728 139757112706936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25558] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25558/stat : 25558 (java) S 25543 25545 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253431796 10060460032 19152 33554432000 1073741824 1073778376 140736653355728 139757111653768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25559] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25559/stat : 25559 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431799 10060460032 19152 33554432000 1073741824 1073778376 140736653355728 139757110602512 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25560] ppid=25543 vsize=9824668 CPUtime=0.31 cores=0,2,4,6
/proc/25545/task/25560/stat : 25560 (java) R 25543 25545 24583 0 -1 4202560 7602 0 0 0 30 1 0 0 20 0 22 0 253431799 10060460032 19152 33554432000 1073741824 1073778376 140736653355728 139757109536432 139757296006304 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25561] ppid=25543 vsize=9824668 CPUtime=0.33 cores=0,2,4,6
/proc/25545/task/25561/stat : 25561 (java) R 25543 25545 24583 0 -1 4202560 3766 0 0 0 33 0 0 0 20 0 22 0 253431799 10060460032 19152 33554432000 1073741824 1073778376 140736653355728 139757108473912 139757295696137 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25562] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25562/stat : 25562 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431799 10060460032 19152 33554432000 1073741824 1073778376 140736653355728 139757107443960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25563] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25563/stat : 25563 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431799 10060460032 19152 33554432000 1073741824 1073778376 140736653355728 139757106391624 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25566] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25566/stat : 25566 (java) S 25543 25545 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253431820 10060460032 19152 33554432000 1073741824 1073778376 140736653355728 139757103232296 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 9824668

[startup+3.10066 s]
/proc/loadavg: 3.38 3.45 2.49 5/219 25576
/proc/meminfo: memFree=27865052/32873648 swapFree=6856/6856
[pid=25545] ppid=25543 vsize=9824668 CPUtime=4.86 cores=0,2,4,6
/proc/25545/stat : 25545 (java) S 25543 25545 24583 0 -1 4202496 20835 0 1 0 471 15 0 0 20 0 19 0 253431794 10060460032 45300 33554432000 1073741824 1073778376 140736653355728 140736653346864 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25545/statm: 2456167 45300 2278 9 0 2446860 0
[pid=25545/tid=25547] ppid=25543 vsize=9824668 CPUtime=0.25 cores=0,2,4,6
/proc/25545/task/25547/stat : 25547 (java) S 25543 25545 24583 0 -1 4202560 2510 0 1 0 23 2 0 0 20 0 19 0 253431794 10060460032 45300 33554432000 1073741824 1073778376 140736653355728 139757289546744 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25548] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25548/stat : 25548 (java) S 25543 25545 24583 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253431795 10060460032 45300 33554432000 1073741824 1073778376 140736653355728 139757133540264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25549] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25549/stat : 25549 (java) S 25543 25545 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253431795 10060460032 45300 33554432000 1073741824 1073778376 140736653355728 139757132487720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25550] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25550/stat : 25550 (java) S 25543 25545 24583 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 253431795 10060460032 45300 33554432000 1073741824 1073778376 140736653355728 139757131434664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25551] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25551/stat : 25551 (java) S 25543 25545 24583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253431795 10060460032 45300 33554432000 1073741824 1073778376 140736653355728 139757130382120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25552] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25552/stat : 25552 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253431795 10060460032 45300 33554432000 1073741824 1073778376 140736653355728 139757129329064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25553] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25553/stat : 25553 (java) S 25543 25545 24583 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253431795 10060460032 45300 33554432000 1073741824 1073778376 140736653355728 139757128276520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25554] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25554/stat : 25554 (java) S 25543 25545 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253431795 10060460032 45300 33554432000 1073741824 1073778376 140736653355728 139757127223464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25555] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25555/stat : 25555 (java) S 25543 25545 24583 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253431795 10060460032 45300 33554432000 1073741824 1073778376 140736653355728 139757126170920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25556] ppid=25543 vsize=9824668 CPUtime=0.06 cores=0,2,4,6
/proc/25545/task/25556/stat : 25556 (java) S 25543 25545 24583 0 -1 4202560 40 0 0 0 6 0 0 0 20 0 19 0 253431796 10060460032 45300 33554432000 1073741824 1073778376 140736653355728 139757113760616 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25545/tid=25557] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25557/stat : 25557 (java) S 25543 25545 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253431796 10060460032 45300 33554432000 1073741824 1073778376 140736653355728 139757112706936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25558] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25558/stat : 25558 (java) S 25543 25545 24583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253431796 10060460032 45300 33554432000 1073741824 1073778376 140736653355728 139757111653768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25559] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25559/stat : 25559 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253431799 10060460032 45300 33554432000 1073741824 1073778376 140736653355728 139757110602512 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25560] ppid=25543 vsize=9824668 CPUtime=0.72 cores=0,2,4,6
/proc/25545/task/25560/stat : 25560 (java) S 25543 25545 24583 0 -1 4202560 8258 0 0 0 71 1 0 0 20 0 19 0 253431799 10060460032 45300 33554432000 1073741824 1073778376 140736653355728 139757109549368 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25545/tid=25561] ppid=25543 vsize=9824668 CPUtime=0.88 cores=0,2,4,6
/proc/25545/task/25561/stat : 25561 (java) S 25543 25545 24583 0 -1 4202560 8589 0 0 0 86 2 0 0 20 0 19 0 253431799 10060460032 45300 33554432000 1073741824 1073778376 140736653355728 139757108496824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25562] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25562/stat : 25562 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253431799 10060460032 45300 33554432000 1073741824 1073778376 140736653355728 139757107443960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25563] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25563/stat : 25563 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253431799 10060460032 45300 33554432000 1073741824 1073778376 140736653355728 139757106391624 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25573] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25573/stat : 25573 (java) S 25543 25545 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253431921 10060460032 45300 33554432000 1073741824 1073778376 140736653355728 139757105338024 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.86
Current children cumulated vsize (KiB) 9824668

[startup+6.30065 s]
/proc/loadavg: 3.43 3.46 2.50 3/216 25582
/proc/meminfo: memFree=27700344/32873648 swapFree=6856/6856
[pid=25545] ppid=25543 vsize=9824668 CPUtime=9.53 cores=0,2,4,6
/proc/25545/stat : 25545 (java) S 25543 25545 24583 0 -1 4202496 23312 0 1 0 930 23 0 0 20 0 22 0 253431794 10060460032 72046 33554432000 1073741824 1073778376 140736653355728 140736653346864 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25545/statm: 2456167 72046 2279 9 0 2446860 0
[pid=25545/tid=25547] ppid=25543 vsize=9824668 CPUtime=0.26 cores=0,2,4,6
/proc/25545/task/25547/stat : 25547 (java) S 25543 25545 24583 0 -1 4202560 2511 0 1 0 24 2 0 0 20 0 22 0 253431794 10060460032 72046 33554432000 1073741824 1073778376 140736653355728 139757289546744 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25548] ppid=25543 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/25545/task/25548/stat : 25548 (java) S 25543 25545 24583 0 -1 4202560 26 0 0 0 3 1 0 0 20 0 22 0 253431795 10060460032 72046 33554432000 1073741824 1073778376 140736653355728 139757133540264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25549] ppid=25543 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/25545/task/25549/stat : 25549 (java) S 25543 25545 24583 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 22 0 253431795 10060460032 72046 33554432000 1073741824 1073778376 140736653355728 139757132487720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25550] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25550/stat : 25550 (java) S 25543 25545 24583 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 253431795 10060460032 72046 33554432000 1073741824 1073778376 140736653355728 139757131434664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25551] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25551/stat : 25551 (java) S 25543 25545 24583 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253431795 10060460032 72046 33554432000 1073741824 1073778376 140736653355728 139757130382120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25552] ppid=25543 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/25545/task/25552/stat : 25552 (java) S 25543 25545 24583 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 253431795 10060460032 72046 33554432000 1073741824 1073778376 140736653355728 139757129329064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25553] ppid=25543 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/25545/task/25553/stat : 25553 (java) S 25543 25545 24583 0 -1 4202560 28 0 0 0 4 0 0 0 20 0 22 0 253431795 10060460032 72046 33554432000 1073741824 1073778376 140736653355728 139757128276520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25554] ppid=25543 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/25545/task/25554/stat : 25554 (java) S 25543 25545 24583 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 253431795 10060460032 72046 33554432000 1073741824 1073778376 140736653355728 139757127223464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25555] ppid=25543 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/25545/task/25555/stat : 25555 (java) S 25543 25545 24583 0 -1 4202560 24 0 0 0 3 2 0 0 20 0 22 0 253431795 10060460032 72046 33554432000 1073741824 1073778376 140736653355728 139757126170920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25556] ppid=25543 vsize=9824668 CPUtime=0.45 cores=0,2,4,6
/proc/25545/task/25556/stat : 25556 (java) S 25543 25545 24583 0 -1 4202560 120 0 0 0 43 2 0 0 20 0 22 0 253431796 10060460032 72046 33554432000 1073741824 1073778376 140736653355728 139757113760616 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25545/tid=25557] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25557/stat : 25557 (java) S 25543 25545 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253431796 10060460032 72046 33554432000 1073741824 1073778376 140736653355728 139757112706936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25558] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25558/stat : 25558 (java) S 25543 25545 24583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253431796 10060460032 72046 33554432000 1073741824 1073778376 140736653355728 139757111653768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25559] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25559/stat : 25559 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431799 10060460032 72046 33554432000 1073741824 1073778376 140736653355728 139757110602512 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25560] ppid=25543 vsize=9824668 CPUtime=0.96 cores=0,2,4,6
/proc/25545/task/25560/stat : 25560 (java) S 25543 25545 24583 0 -1 4202560 8372 0 0 0 94 2 0 0 20 0 22 0 253431799 10060460032 72046 33554432000 1073741824 1073778376 140736653355728 139757109549368 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25561] ppid=25543 vsize=9824668 CPUtime=1.01 cores=0,2,4,6
/proc/25545/task/25561/stat : 25561 (java) S 25543 25545 24583 0 -1 4202560 10748 0 0 0 99 2 0 0 20 0 22 0 253431799 10060460032 72046 33554432000 1073741824 1073778376 140736653355728 139757108496824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25562] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25562/stat : 25562 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431799 10060460032 72046 33554432000 1073741824 1073778376 140736653355728 139757107443960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25563] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25563/stat : 25563 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431799 10060460032 72046 33554432000 1073741824 1073778376 140736653355728 139757106391624 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25573] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25573/stat : 25573 (java) S 25543 25545 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253431921 10060460032 72046 33554432000 1073741824 1073778376 140736653355728 139757105338024 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 9.53
Current children cumulated vsize (KiB) 9824668

[startup+12.7009 s]

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

[pid=25545/tid=25644] ppid=25543 vsize=9824668 CPUtime=135.91 cores=0,2,4,6
/proc/25545/task/25644/stat : 25644 (java) R 25543 25545 24583 0 -1 4202560 14 0 0 0 13589 2 0 0 20 0 22 0 253510833 10060460032 655638 33554432000 1073741824 1073778376 140736653355728 139757103231456 139757229747048 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25545/tid=25645] ppid=25543 vsize=9824668 CPUtime=135.89 cores=0,2,4,6
/proc/25545/task/25645/stat : 25645 (java) R 25543 25545 24583 0 -1 4202560 10 0 0 0 13587 2 0 0 20 0 22 0 253510833 10060460032 655638 33554432000 1073741824 1073778376 140736653355728 139757104282016 139757230035694 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25646] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25646/stat : 25646 (java) S 25543 25545 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253510833 10060460032 655638 33554432000 1073741824 1073778376 140736653355728 139757102179240 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1673.56
Current children cumulated vsize (KiB) 9824668

[startup+1062.3 s]
/proc/loadavg: 3.65 3.42 3.09 5/219 25862
/proc/meminfo: memFree=23541656/32873648 swapFree=6856/6856
[pid=25545] ppid=25543 vsize=9824668 CPUtime=1780.98 cores=0,2,4,6
/proc/25545/stat : 25545 (java) S 25543 25545 24583 0 -1 4202496 57264 0 1 0 177911 187 0 0 20 0 22 0 253431794 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 140736653346864 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25545/statm: 2456167 684900 2281 9 0 2446860 0
[pid=25545/tid=25547] ppid=25543 vsize=9824668 CPUtime=0.34 cores=0,2,4,6
/proc/25545/task/25547/stat : 25547 (java) S 25543 25545 24583 0 -1 4202560 2792 0 1 0 31 3 0 0 20 0 22 0 253431794 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757289546744 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25548] ppid=25543 vsize=9824668 CPUtime=3.69 cores=0,2,4,6
/proc/25545/task/25548/stat : 25548 (java) S 25543 25545 24583 0 -1 4202560 1176 0 0 0 361 8 0 0 20 0 22 0 253431795 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757133540264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25549] ppid=25543 vsize=9824668 CPUtime=3.4 cores=0,2,4,6
/proc/25545/task/25549/stat : 25549 (java) S 25543 25545 24583 0 -1 4202560 1058 0 0 0 333 7 0 0 20 0 22 0 253431795 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757132487720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25550] ppid=25543 vsize=9824668 CPUtime=3.55 cores=0,2,4,6
/proc/25545/task/25550/stat : 25550 (java) S 25543 25545 24583 0 -1 4202560 1276 0 0 0 347 8 0 0 20 0 22 0 253431795 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757131434664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25551] ppid=25543 vsize=9824668 CPUtime=3.55 cores=0,2,4,6
/proc/25545/task/25551/stat : 25551 (java) S 25543 25545 24583 0 -1 4202560 937 0 0 0 347 8 0 0 20 0 22 0 253431795 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757130382120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25552] ppid=25543 vsize=9824668 CPUtime=3.38 cores=0,2,4,6
/proc/25545/task/25552/stat : 25552 (java) S 25543 25545 24583 0 -1 4202560 1305 0 0 0 330 8 0 0 20 0 22 0 253431795 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757129329064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25553] ppid=25543 vsize=9824668 CPUtime=3.5 cores=0,2,4,6
/proc/25545/task/25553/stat : 25553 (java) S 25543 25545 24583 0 -1 4202560 1475 0 0 0 341 9 0 0 20 0 22 0 253431795 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757128276520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25554] ppid=25543 vsize=9824668 CPUtime=3.79 cores=0,2,4,6
/proc/25545/task/25554/stat : 25554 (java) S 25543 25545 24583 0 -1 4202560 1349 0 0 0 370 9 0 0 20 0 22 0 253431795 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757127223464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25555] ppid=25543 vsize=9824668 CPUtime=3.63 cores=0,2,4,6
/proc/25545/task/25555/stat : 25555 (java) S 25543 25545 24583 0 -1 4202560 1445 0 0 0 354 9 0 0 20 0 22 0 253431795 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757126170920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25556] ppid=25543 vsize=9824668 CPUtime=348.12 cores=0,2,4,6
/proc/25545/task/25556/stat : 25556 (java) S 25543 25545 24583 0 -1 4202560 8642 0 0 0 34776 36 0 0 20 0 22 0 253431796 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757113760616 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25545/tid=25557] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25557/stat : 25557 (java) S 25543 25545 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253431796 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757112706936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25558] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25558/stat : 25558 (java) S 25543 25545 24583 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253431796 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757111653768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25559] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25559/stat : 25559 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431799 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757110602512 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25560] ppid=25543 vsize=9824668 CPUtime=1.06 cores=0,2,4,6
/proc/25545/task/25560/stat : 25560 (java) S 25543 25545 24583 0 -1 4202560 8384 0 0 0 104 2 0 0 20 0 22 0 253431799 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757109549368 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25561] ppid=25543 vsize=9824668 CPUtime=3.08 cores=0,2,4,6
/proc/25545/task/25561/stat : 25561 (java) S 25543 25545 24583 0 -1 4202560 24880 0 0 0 304 4 0 0 20 0 22 0 253431799 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757108496824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25562] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25562/stat : 25562 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431799 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757107443960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25563] ppid=25543 vsize=9824668 CPUtime=0.36 cores=0,2,4,6
/proc/25545/task/25563/stat : 25563 (java) S 25543 25545 24583 0 -1 4202560 61 0 0 0 17 19 0 0 20 0 22 0 253431799 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757106391624 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25573] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25573/stat : 25573 (java) S 25543 25545 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253431921 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757105338024 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25644] ppid=25543 vsize=9824668 CPUtime=181.76 cores=0,2,4,6
/proc/25545/task/25644/stat : 25644 (java) R 25543 25545 24583 0 -1 4202560 25 0 0 0 18174 2 0 0 20 0 22 0 253510833 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757103231456 139757229889690 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25645] ppid=25543 vsize=9824668 CPUtime=181.73 cores=0,2,4,6
/proc/25545/task/25645/stat : 25645 (java) R 25543 25545 24583 0 -1 4202560 12 0 0 0 18171 2 0 0 20 0 22 0 253510833 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757104281968 139757230035238 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25646] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25646/stat : 25646 (java) S 25543 25545 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253510833 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757102179240 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1780.98
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1072.51 s]
/proc/loadavg: 3.70 3.43 3.10 5/219 25862
/proc/meminfo: memFree=23533532/32873648 swapFree=6856/6856
[pid=25545] ppid=25543 vsize=9824668 CPUtime=1800.1 cores=0,2,4,6
/proc/25545/stat : 25545 (java) S 25543 25545 24583 0 -1 4202496 57325 0 1 0 179823 187 0 0 20 0 22 0 253431794 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 140736653346864 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25545/statm: 2456167 686959 2281 9 0 2446860 0
[pid=25545/tid=25547] ppid=25543 vsize=9824668 CPUtime=0.34 cores=0,2,4,6
/proc/25545/task/25547/stat : 25547 (java) S 25543 25545 24583 0 -1 4202560 2793 0 1 0 31 3 0 0 20 0 22 0 253431794 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757289546744 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25548] ppid=25543 vsize=9824668 CPUtime=3.74 cores=0,2,4,6
/proc/25545/task/25548/stat : 25548 (java) S 25543 25545 24583 0 -1 4202560 1176 0 0 0 366 8 0 0 20 0 22 0 253431795 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757133540264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25549] ppid=25543 vsize=9824668 CPUtime=3.44 cores=0,2,4,6
/proc/25545/task/25549/stat : 25549 (java) S 25543 25545 24583 0 -1 4202560 1058 0 0 0 336 8 0 0 20 0 22 0 253431795 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757132487720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25550] ppid=25543 vsize=9824668 CPUtime=3.61 cores=0,2,4,6
/proc/25545/task/25550/stat : 25550 (java) S 25543 25545 24583 0 -1 4202560 1279 0 0 0 353 8 0 0 20 0 22 0 253431795 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757131434664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25551] ppid=25543 vsize=9824668 CPUtime=3.58 cores=0,2,4,6
/proc/25545/task/25551/stat : 25551 (java) S 25543 25545 24583 0 -1 4202560 937 0 0 0 350 8 0 0 20 0 22 0 253431795 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757130382120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25552] ppid=25543 vsize=9824668 CPUtime=3.41 cores=0,2,4,6
/proc/25545/task/25552/stat : 25552 (java) S 25543 25545 24583 0 -1 4202560 1308 0 0 0 333 8 0 0 20 0 22 0 253431795 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757129329064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25553] ppid=25543 vsize=9824668 CPUtime=3.58 cores=0,2,4,6
/proc/25545/task/25553/stat : 25553 (java) S 25543 25545 24583 0 -1 4202560 1477 0 0 0 349 9 0 0 20 0 22 0 253431795 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757128276520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25554] ppid=25543 vsize=9824668 CPUtime=3.82 cores=0,2,4,6
/proc/25545/task/25554/stat : 25554 (java) S 25543 25545 24583 0 -1 4202560 1350 0 0 0 373 9 0 0 20 0 22 0 253431795 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757127223464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25555] ppid=25543 vsize=9824668 CPUtime=3.7 cores=0,2,4,6
/proc/25545/task/25555/stat : 25555 (java) S 25543 25545 24583 0 -1 4202560 1447 0 0 0 361 9 0 0 20 0 22 0 253431795 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757126170920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25556] ppid=25543 vsize=9824668 CPUtime=349.61 cores=0,2,4,6
/proc/25545/task/25556/stat : 25556 (java) S 25543 25545 24583 0 -1 4202560 8687 0 0 0 34925 36 0 0 20 0 22 0 253431796 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757113760616 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25545/tid=25557] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25557/stat : 25557 (java) S 25543 25545 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253431796 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757112706936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25558] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25558/stat : 25558 (java) S 25543 25545 24583 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253431796 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757111653768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25559] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25559/stat : 25559 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431799 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757110602512 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25560] ppid=25543 vsize=9824668 CPUtime=1.06 cores=0,2,4,6
/proc/25545/task/25560/stat : 25560 (java) S 25543 25545 24583 0 -1 4202560 8384 0 0 0 104 2 0 0 20 0 22 0 253431799 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757109549368 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25561] ppid=25543 vsize=9824668 CPUtime=3.08 cores=0,2,4,6
/proc/25545/task/25561/stat : 25561 (java) S 25543 25545 24583 0 -1 4202560 24880 0 0 0 304 4 0 0 20 0 22 0 253431799 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757108496824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25562] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25562/stat : 25562 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431799 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757107443960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25563] ppid=25543 vsize=9824668 CPUtime=0.36 cores=0,2,4,6
/proc/25545/task/25563/stat : 25563 (java) S 25543 25545 24583 0 -1 4202560 63 0 0 0 17 19 0 0 20 0 22 0 253431799 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757106391624 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25573] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25573/stat : 25573 (java) S 25543 25545 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253431921 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757105338024 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25644] ppid=25543 vsize=9824668 CPUtime=190.37 cores=0,2,4,6
/proc/25545/task/25644/stat : 25644 (java) R 25543 25545 24583 0 -1 4202560 26 0 0 0 19035 2 0 0 20 0 22 0 253510833 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757103230496 139757229794723 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25545/tid=25645] ppid=25543 vsize=9824668 CPUtime=190.34 cores=0,2,4,6
/proc/25545/task/25645/stat : 25645 (java) R 25543 25545 24583 0 -1 4202560 13 0 0 0 19032 2 0 0 20 0 22 0 253510833 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757104282016 139757230156853 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25646] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25646/stat : 25646 (java) S 25543 25545 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253510833 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757102179240 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
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

[startup+1072.51 s]
/proc/loadavg: 3.70 3.43 3.10 5/219 25862
/proc/meminfo: memFree=23533532/32873648 swapFree=6856/6856
[pid=25545] ppid=25543 vsize=9824668 CPUtime=1800.1 cores=0,2,4,6
/proc/25545/stat : 25545 (java) S 25543 25545 24583 0 -1 4202496 57325 0 1 0 179823 187 0 0 20 0 22 0 253431794 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 140736653346864 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25545/statm: 2456167 686959 2281 9 0 2446860 0
[pid=25545/tid=25547] ppid=25543 vsize=9824668 CPUtime=0.34 cores=0,2,4,6
/proc/25545/task/25547/stat : 25547 (java) S 25543 25545 24583 0 -1 4202560 2793 0 1 0 31 3 0 0 20 0 22 0 253431794 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757289546744 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25548] ppid=25543 vsize=9824668 CPUtime=3.74 cores=0,2,4,6
/proc/25545/task/25548/stat : 25548 (java) S 25543 25545 24583 0 -1 4202560 1176 0 0 0 366 8 0 0 20 0 22 0 253431795 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757133540264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25549] ppid=25543 vsize=9824668 CPUtime=3.44 cores=0,2,4,6
/proc/25545/task/25549/stat : 25549 (java) S 25543 25545 24583 0 -1 4202560 1058 0 0 0 336 8 0 0 20 0 22 0 253431795 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757132487720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25550] ppid=25543 vsize=9824668 CPUtime=3.61 cores=0,2,4,6
/proc/25545/task/25550/stat : 25550 (java) S 25543 25545 24583 0 -1 4202560 1279 0 0 0 353 8 0 0 20 0 22 0 253431795 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757131434664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25551] ppid=25543 vsize=9824668 CPUtime=3.58 cores=0,2,4,6
/proc/25545/task/25551/stat : 25551 (java) S 25543 25545 24583 0 -1 4202560 937 0 0 0 350 8 0 0 20 0 22 0 253431795 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757130382120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25552] ppid=25543 vsize=9824668 CPUtime=3.41 cores=0,2,4,6
/proc/25545/task/25552/stat : 25552 (java) S 25543 25545 24583 0 -1 4202560 1308 0 0 0 333 8 0 0 20 0 22 0 253431795 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757129329064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25553] ppid=25543 vsize=9824668 CPUtime=3.58 cores=0,2,4,6
/proc/25545/task/25553/stat : 25553 (java) S 25543 25545 24583 0 -1 4202560 1477 0 0 0 349 9 0 0 20 0 22 0 253431795 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757128276520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25554] ppid=25543 vsize=9824668 CPUtime=3.82 cores=0,2,4,6
/proc/25545/task/25554/stat : 25554 (java) S 25543 25545 24583 0 -1 4202560 1350 0 0 0 373 9 0 0 20 0 22 0 253431795 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757127223464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25555] ppid=25543 vsize=9824668 CPUtime=3.7 cores=0,2,4,6
/proc/25545/task/25555/stat : 25555 (java) S 25543 25545 24583 0 -1 4202560 1447 0 0 0 361 9 0 0 20 0 22 0 253431795 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757126170920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25556] ppid=25543 vsize=9824668 CPUtime=349.61 cores=0,2,4,6
/proc/25545/task/25556/stat : 25556 (java) S 25543 25545 24583 0 -1 4202560 8687 0 0 0 34925 36 0 0 20 0 22 0 253431796 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757113760616 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25545/tid=25557] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25557/stat : 25557 (java) S 25543 25545 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253431796 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757112706936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25558] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25558/stat : 25558 (java) S 25543 25545 24583 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253431796 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757111653768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25559] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25559/stat : 25559 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431799 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757110602512 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25560] ppid=25543 vsize=9824668 CPUtime=1.06 cores=0,2,4,6
/proc/25545/task/25560/stat : 25560 (java) S 25543 25545 24583 0 -1 4202560 8384 0 0 0 104 2 0 0 20 0 22 0 253431799 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757109549368 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25561] ppid=25543 vsize=9824668 CPUtime=3.08 cores=0,2,4,6
/proc/25545/task/25561/stat : 25561 (java) S 25543 25545 24583 0 -1 4202560 24880 0 0 0 304 4 0 0 20 0 22 0 253431799 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757108496824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25562] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25562/stat : 25562 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431799 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757107443960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25563] ppid=25543 vsize=9824668 CPUtime=0.36 cores=0,2,4,6
/proc/25545/task/25563/stat : 25563 (java) S 25543 25545 24583 0 -1 4202560 63 0 0 0 17 19 0 0 20 0 22 0 253431799 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757106391624 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25573] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25573/stat : 25573 (java) S 25543 25545 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253431921 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757105338024 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25644] ppid=25543 vsize=9824668 CPUtime=190.37 cores=0,2,4,6
/proc/25545/task/25644/stat : 25644 (java) R 25543 25545 24583 0 -1 4202560 26 0 0 0 19035 2 0 0 20 0 22 0 253510833 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757103230496 139757229794723 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25545/tid=25645] ppid=25543 vsize=9824668 CPUtime=190.34 cores=0,2,4,6
/proc/25545/task/25645/stat : 25645 (java) R 25543 25545 24583 0 -1 4202560 13 0 0 0 19032 2 0 0 20 0 22 0 253510833 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757104282016 139757230156853 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25646] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25646/stat : 25646 (java) S 25543 25545 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253510833 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757102179240 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9824668

Child status: 143
Real time (s): 1072.55
CPU time (s): 1800.5
CPU user time (s): 1798.35
CPU system time (s): 2.15067
CPU usage (%): 167.871
Max. virtual memory (cumulated for all children) (KiB): 9826556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.35
system time used= 2.15067
maximum resident set size= 2747960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57355
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34506
involuntary context switches= 57905

runsolver used 3.89141 second user time and 9.92349 second system time

The end

Launcher Data

Begin job on node125 at 2012-05-24 17:24:24
IDJOB=3687672
IDBENCH=2015
IDSOLVER=2268
FILE ID=node125/3687672-1337873064
RUNJOBID= node125-1337871881-24599
PBS_JOBID= 14620079
Free space on /tmp= 71700 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-my_adder.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687672-1337873064/watcher-3687672-1337873064 -o /tmp/evaluation-result-3687672-1337873064/solver-3687672-1337873064 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3687672-1337873064.opb

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

MD5SUM BENCH= 38f65eab3d9896915eed9a127435e25b
RANDOM SEED=1442122562

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.373
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:       32873648 kB
MemFree:        27998032 kB
Buffers:          198892 kB
Cached:          2192992 kB
SwapCached:            0 kB
Active:          2291000 kB
Inactive:        1792536 kB
Active(anon):    1694208 kB
Inactive(anon):        0 kB
Active(file):     596792 kB
Inactive(file):  1792536 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               128 kB
Writeback:             0 kB
AnonPages:       1747368 kB
Mapped:            22608 kB
Shmem:               200 kB
Slab:             627320 kB
SReclaimable:      71092 kB
SUnreclaim:       556228 kB
KernelStack:        1792 kB
PageTables:         7560 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    2238196 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1673216 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= 71700 MiB
End job on node125 at 2012-05-24 17:42:18