Trace number 3734713

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
PB11: Sat4j Res//CP 2.3.0OPT2 419.741 226.816

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_3.opb
MD5SUMd26b3b10be20d9248aac462b86b1f040
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark52.396
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
Optimality of the best value was proved YES
Number of variables94
Total number of constraints8
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint45
Maximum length of a constraint46
Number of terms in the objective function 64
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 2040
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 940
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 3331
Number of bits of the biggest sum of numbers12
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.06/0.11	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.11	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.11	c See www.sat4j.org for details.
0.06/0.12	c version 2.3.1.v20110525
0.06/0.12	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.12	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.12	c java.vm.version	19.1-b02
0.06/0.12	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.12	c sun.arch.data.model	64
0.06/0.12	c java.version		1.6.0_24
0.06/0.12	c os.name		Linux
0.06/0.12	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.12	c os.arch		amd64
0.06/0.12	c Free memory 		9996466904
0.06/0.12	c Max memory 		10048897024
0.06/0.12	c Total memory 		10048897024
0.06/0.12	c Number of processors 	8
0.06/0.14	c Pseudo Boolean Optimization
0.06/0.14	c ManyCore solver with 2 solvers running in parallel
0.06/0.14	c --- Begin Solver configuration ---
0.06/0.14	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.06/0.14	c Learn all clauses as in MiniSAT
0.06/0.14	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.14	c Expensive reason simplification
0.06/0.14	c Armin Biere (Picosat) restarts strategy
0.06/0.14	c Glucose learned constraints deletion strategy
0.06/0.14	c timeout=2147483s
0.06/0.14	c DB Simplification allowed=false
0.06/0.14	c --- End Solver configuration ---
0.06/0.14	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.06/0.14	c --- Begin Solver configuration ---
0.06/0.14	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.06/0.14	c Learn all clauses as in MiniSAT
0.06/0.14	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.14	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.06/0.14	c No reason simplification
0.06/0.14	c Armin Biere (Picosat) restarts strategy
0.06/0.14	c Glucose learned constraints deletion strategy
0.06/0.14	c timeout=2147483s
0.06/0.14	c DB Simplification allowed=false
0.06/0.14	c --- End Solver configuration ---
0.06/0.14	c solving HOME/instance-3734713-1338692365.opb
0.06/0.14	c reading problem ... 
0.06/0.17	c ... done. Wall clock time 0.027s.
0.06/0.17	c #vars     94
0.06/0.17	c #constraints  8
0.06/0.17	c constraints type 
0.06/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 8
0.06/0.17	c constraints type 
0.06/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPb => 8
0.24/0.22	c  And the winner is Resolution
0.51/0.67	c SATISFIABLE
0.51/0.67	c OPTIMIZING...
0.51/0.67	c Got one! Elapsed wall clock time (in seconds):0.529
0.51/0.67	o 242
0.59/0.75	c  And the winner is Resolution
0.60/1.17	c Got one! Elapsed wall clock time (in seconds):1.031
0.60/1.17	o 149
0.67/1.20	c  And the winner is Resolution
0.70/1.67	c Got one! Elapsed wall clock time (in seconds):1.532
0.70/1.67	o 113
0.70/1.69	c  And the winner is Resolution
0.72/2.18	c Got one! Elapsed wall clock time (in seconds):2.033
0.72/2.18	o 83
0.72/2.19	c  And the winner is Resolution
0.77/2.68	c Got one! Elapsed wall clock time (in seconds):2.534
0.77/2.68	o 73
0.77/2.69	c  And the winner is Resolution
0.82/3.18	c Got one! Elapsed wall clock time (in seconds):3.035
0.82/3.18	o 61
0.82/3.18	c  And the winner is Resolution
0.83/3.68	c Got one! Elapsed wall clock time (in seconds):3.536
0.83/3.68	o 37
0.83/3.69	c  And the winner is Resolution
0.83/4.18	c Got one! Elapsed wall clock time (in seconds):4.037
0.83/4.18	o 29
0.83/4.19	c  And the winner is Resolution
0.86/4.68	c Got one! Elapsed wall clock time (in seconds):4.538
0.86/4.68	o 16
0.88/4.74	c  And the winner is Resolution
1.29/5.18	c Got one! Elapsed wall clock time (in seconds):5.039
1.29/5.18	o 13
1.70/5.34	c  And the winner is Resolution
1.96/5.68	c Got one! Elapsed wall clock time (in seconds):5.54
1.96/5.68	o 10
2.01/5.79	c cleaning 3815 clauses out of 7629 with flag 1001/7629
2.51/5.92	c  And the winner is Resolution
2.59/6.18	c Got one! Elapsed wall clock time (in seconds):6.041
2.59/6.18	o 8
2.83/6.35	c cleaning 4511 clauses out of 9021 with flag 3001/12836
3.42/6.69	c cleaning 5251 clauses out of 10509 with flag 9000/18835
4.41/7.16	c cleaning 6128 clauses out of 12258 with flag 16000/25835
4.61/7.20	c  And the winner is Resolution
4.63/7.69	c Got one! Elapsed wall clock time (in seconds):7.551
4.63/7.69	o 6
5.04/7.98	c cleaning 5665 clauses out of 11330 with flag 5001/31035
5.82/8.35	c cleaning 5831 clauses out of 11664 with flag 11000/37034
6.61/8.74	c cleaning 6417 clauses out of 12834 with flag 18001/44035
7.58/9.24	c cleaning 7209 clauses out of 14417 with flag 26001/52035
8.76/9.88	c cleaning 8101 clauses out of 16207 with flag 35000/61034
10.12/10.58	c cleaning 9052 clauses out of 18107 with flag 45001/71035
12.10/11.53	c cleaning 9524 clauses out of 19054 with flag 55000/81034
14.07/12.50	c cleaning 9762 clauses out of 19530 with flag 65000/91034
15.64/13.35	c cleaning 9884 clauses out of 19768 with flag 75000/101034
17.21/14.14	c cleaning 9942 clauses out of 19884 with flag 85000/111034
17.21/14.18	c  And the winner is Resolution
17.34/14.25	c Got one! Elapsed wall clock time (in seconds):14.103
17.34/14.25	o 4
17.84/14.59	c cleaning 7499 clauses out of 15011 with flag 5000/116103
18.61/14.98	c cleaning 6749 clauses out of 13512 with flag 11000/122103
19.57/15.41	c cleaning 6880 clauses out of 13764 with flag 18001/129104
20.33/15.90	c cleaning 7441 clauses out of 14884 with flag 26001/137104
21.72/16.59	c cleaning 8217 clauses out of 16442 with flag 35000/146103
23.27/17.31	c cleaning 9113 clauses out of 18225 with flag 45000/156103
25.02/18.21	c cleaning 9551 clauses out of 19112 with flag 55000/166103
26.99/19.26	c cleaning 9777 clauses out of 19562 with flag 65001/176104
28.95/20.20	c cleaning 9891 clauses out of 19786 with flag 75002/186105
30.71/21.13	c cleaning 9945 clauses out of 19893 with flag 85000/196103
32.05/21.89	c cleaning 9971 clauses out of 19948 with flag 95000/206103
33.82/22.74	c cleaning 9989 clauses out of 19977 with flag 105000/216103
35.77/23.79	c cleaning 9994 clauses out of 19990 with flag 115002/226105
37.94/24.81	c cleaning 9995 clauses out of 19995 with flag 125001/236104
39.89/25.84	c cleaning 10000 clauses out of 19999 with flag 135000/246103
41.86/26.84	c cleaning 9999 clauses out of 19999 with flag 145000/256103
43.62/27.71	c cleaning 10001 clauses out of 20001 with flag 155001/266104
45.78/28.80	c cleaning 9996 clauses out of 19999 with flag 165000/276103
47.92/29.97	c cleaning 9999 clauses out of 20003 with flag 175000/286103
50.29/31.14	c cleaning 9999 clauses out of 20004 with flag 185000/296103
52.26/32.10	c cleaning 10003 clauses out of 20005 with flag 195000/306103
53.83/32.92	c cleaning 10002 clauses out of 20003 with flag 205001/316104
55.96/34.02	c cleaning 9995 clauses out of 20000 with flag 215000/326103
57.91/35.04	c cleaning 9999 clauses out of 20006 with flag 225001/336104
59.48/35.86	c cleaning 10002 clauses out of 20007 with flag 235001/346104
61.42/36.80	c cleaning 10000 clauses out of 20005 with flag 245001/356104
62.94/37.61	c cleaning 9996 clauses out of 20005 with flag 255001/366104
64.50/38.47	c cleaning 10000 clauses out of 20008 with flag 265000/376103
66.23/39.35	c cleaning 10003 clauses out of 20009 with flag 275001/386104
67.77/40.11	c cleaning 9997 clauses out of 20005 with flag 285000/396103
69.49/41.03	c cleaning 9997 clauses out of 20008 with flag 295000/406103
71.64/42.12	c cleaning 10001 clauses out of 20011 with flag 305000/416103
73.20/42.95	c cleaning 9999 clauses out of 20011 with flag 315001/426104
75.14/43.94	c cleaning 10004 clauses out of 20011 with flag 325000/436103
77.25/45.04	c cleaning 10000 clauses out of 20007 with flag 335000/446103
79.18/46.02	c cleaning 10004 clauses out of 20007 with flag 345000/456103
80.72/46.90	c cleaning 9999 clauses out of 20003 with flag 355000/466103
82.87/47.90	c cleaning 9996 clauses out of 20005 with flag 365001/476104
84.78/48.90	c cleaning 9999 clauses out of 20008 with flag 375000/486103
86.52/49.85	c cleaning 10000 clauses out of 20009 with flag 385000/496103
88.48/50.81	c cleaning 10002 clauses out of 20009 with flag 395000/506103
90.03/51.68	c cleaning 10001 clauses out of 20008 with flag 405001/516104
91.92/52.68	c cleaning 9999 clauses out of 20007 with flag 415001/526104
93.86/53.63	c cleaning 10001 clauses out of 20007 with flag 425000/536103
94.61/54.02	c cleaning 0 clauses out of 6403 with flag 0/6415
96.00/54.65	c cleaning 10000 clauses out of 20006 with flag 435000/546103
97.83/55.50	c cleaning 10000 clauses out of 20006 with flag 445000/556103
99.37/56.33	c cleaning 10001 clauses out of 20006 with flag 455000/566103
100.92/57.15	c cleaning 9998 clauses out of 20005 with flag 465000/576103
102.25/57.85	c cleaning 10002 clauses out of 20008 with flag 475001/586104
103.95/58.72	c cleaning 10002 clauses out of 20007 with flag 485002/596105
105.48/59.58	c cleaning 9998 clauses out of 20003 with flag 495000/606103
107.01/60.35	c cleaning 10000 clauses out of 20006 with flag 505001/616104
108.54/61.14	c cleaning 10000 clauses out of 20005 with flag 515000/626103
110.25/62.04	c cleaning 9996 clauses out of 20005 with flag 525000/636103
111.60/62.79	c cleaning 10001 clauses out of 20009 with flag 535000/646103
113.12/63.55	c cleaning 10000 clauses out of 20008 with flag 545000/656103
114.66/64.33	c cleaning 10003 clauses out of 20008 with flag 555000/666103
116.17/65.16	c cleaning 10002 clauses out of 20007 with flag 565002/676105
117.73/65.97	c cleaning 9997 clauses out of 20003 with flag 575000/686103
119.27/66.80	c cleaning 10004 clauses out of 20008 with flag 585002/696105
121.00/67.62	c cleaning 9997 clauses out of 20003 with flag 595001/706104
122.49/68.45	c cleaning 10003 clauses out of 20005 with flag 605000/716103
124.23/69.37	c cleaning 9998 clauses out of 20003 with flag 615001/726104
126.16/70.34	c cleaning 9999 clauses out of 20005 with flag 625001/736104
127.69/71.14	c cleaning 9998 clauses out of 20005 with flag 635000/746103
129.18/71.97	c cleaning 9998 clauses out of 20007 with flag 645000/756103
130.70/72.74	c cleaning 10006 clauses out of 20011 with flag 655002/766105
132.24/73.57	c cleaning 9998 clauses out of 20003 with flag 665000/776103
133.76/74.31	c cleaning 10001 clauses out of 20006 with flag 675001/786104
135.27/75.15	c cleaning 9999 clauses out of 20005 with flag 685001/796104
136.99/76.03	c cleaning 10000 clauses out of 20006 with flag 695001/806104
138.74/77.00	c cleaning 10002 clauses out of 20005 with flag 705000/816103
140.46/77.81	c cleaning 9997 clauses out of 20004 with flag 715001/826104
141.96/78.62	c cleaning 9996 clauses out of 20006 with flag 725000/836103
143.28/79.35	c cleaning 10002 clauses out of 20012 with flag 735002/846105
145.04/80.21	c cleaning 10000 clauses out of 20008 with flag 745000/856103
146.55/81.02	c cleaning 10004 clauses out of 20008 with flag 755000/866103
148.03/81.89	c cleaning 9995 clauses out of 20004 with flag 765000/876103
149.57/82.63	c cleaning 10004 clauses out of 20012 with flag 775003/886106
151.10/83.40	c cleaning 9997 clauses out of 20006 with flag 785001/896104
152.83/84.35	c cleaning 9998 clauses out of 20008 with flag 795000/906103
154.50/85.26	c cleaning 10004 clauses out of 20011 with flag 805001/916104
155.03/85.56	c  And the winner is Resolution
154.89/85.71	c Got one! Elapsed wall clock time (in seconds):85.57
154.89/85.71	o 3
155.26/85.91	c cleaning 7908 clauses out of 15833 with flag 2000/921930
156.20/86.41	c cleaning 6958 clauses out of 13926 with flag 8001/927931
157.14/86.92	c cleaning 6982 clauses out of 13968 with flag 15001/934931
158.22/87.55	c cleaning 7490 clauses out of 14986 with flag 23001/942931
159.55/88.21	c cleaning 8247 clauses out of 16497 with flag 32002/951932
161.10/89.02	c cleaning 9122 clauses out of 18248 with flag 42000/961930
162.62/89.80	c cleaning 9561 clauses out of 19126 with flag 52000/971930
164.11/90.66	c cleaning 9781 clauses out of 19565 with flag 62000/981930
165.46/91.33	c cleaning 9892 clauses out of 19784 with flag 72000/991930
166.99/92.14	c cleaning 9945 clauses out of 19892 with flag 82000/1001930
168.54/92.96	c cleaning 9971 clauses out of 19949 with flag 92002/1011932
170.06/93.73	c cleaning 9989 clauses out of 19977 with flag 102001/1021931
171.60/94.53	c cleaning 9992 clauses out of 19987 with flag 112000/1031930
173.11/95.37	c cleaning 9992 clauses out of 19995 with flag 122000/1041930
174.63/96.18	c cleaning 9996 clauses out of 20004 with flag 132001/1051931
176.11/96.96	c cleaning 9999 clauses out of 20007 with flag 142000/1061930
177.43/97.70	c cleaning 10005 clauses out of 20010 with flag 152002/1071932
178.95/98.41	c cleaning 9999 clauses out of 20004 with flag 162001/1081931
180.47/99.24	c cleaning 9996 clauses out of 20004 with flag 172000/1091930
182.16/100.19	c cleaning 10003 clauses out of 20008 with flag 182000/1101930
184.47/101.33	c cleaning 10002 clauses out of 20006 with flag 192001/1111931
186.60/102.43	c cleaning 9995 clauses out of 20003 with flag 202000/1121930
188.53/103.49	c cleaning 9998 clauses out of 20008 with flag 212000/1131930
190.60/104.56	c cleaning 10003 clauses out of 20011 with flag 222001/1141931
192.11/105.38	c cleaning 10001 clauses out of 20008 with flag 232001/1151931
193.44/106.02	c cleaning 9999 clauses out of 20006 with flag 242000/1161930
195.18/106.91	c cleaning 10000 clauses out of 20007 with flag 252000/1171930
196.88/107.86	c cleaning 10000 clauses out of 20007 with flag 262000/1181930
198.59/108.80	c cleaning 9999 clauses out of 20007 with flag 272000/1191930
200.51/109.72	c cleaning 10001 clauses out of 20008 with flag 282000/1201930
202.23/110.69	c cleaning 10000 clauses out of 20008 with flag 292001/1211931
203.92/111.56	c cleaning 10002 clauses out of 20008 with flag 302001/1221931
205.65/112.46	c cleaning 9999 clauses out of 20005 with flag 312000/1231930
207.38/113.31	c cleaning 9997 clauses out of 20007 with flag 322001/1241931
208.89/114.17	c cleaning 10002 clauses out of 20010 with flag 332001/1251931
210.77/115.12	c cleaning 10003 clauses out of 20008 with flag 342001/1261931
212.48/116.02	c cleaning 9998 clauses out of 20004 with flag 352000/1271930
214.19/116.97	c cleaning 9999 clauses out of 20006 with flag 362000/1281930
215.91/117.89	c cleaning 9998 clauses out of 20007 with flag 372000/1291930
217.98/118.95	c cleaning 10000 clauses out of 20009 with flag 382000/1301930
218.30/119.10	c  And the winner is Resolution
218.21/119.22	c Got one! Elapsed wall clock time (in seconds):119.074
218.21/119.22	o 2
218.97/119.67	c cleaning 7824 clauses out of 15663 with flag 5001/1307584
219.89/120.19	c cleaning 6911 clauses out of 13838 with flag 11000/1313583
221.01/120.77	c cleaning 6955 clauses out of 13927 with flag 18000/1320583
222.28/121.46	c cleaning 7483 clauses out of 14974 with flag 26002/1328585
223.80/122.28	c cleaning 8240 clauses out of 16489 with flag 35000/1337583
225.54/123.19	c cleaning 9121 clauses out of 18250 with flag 45001/1347584
227.45/124.12	c cleaning 9558 clauses out of 19128 with flag 55000/1357583
229.52/125.20	c cleaning 9779 clauses out of 19570 with flag 65000/1367583
231.44/126.24	c cleaning 9890 clauses out of 19791 with flag 75000/1377583
233.14/127.19	c cleaning 9944 clauses out of 19901 with flag 85000/1387583
234.86/128.09	c cleaning 9971 clauses out of 19957 with flag 95000/1397583
236.55/128.92	c cleaning 9986 clauses out of 19987 with flag 105001/1407584
237.86/129.63	c cleaning 9992 clauses out of 20000 with flag 115000/1417583
239.18/130.35	c cleaning 9996 clauses out of 20008 with flag 125000/1427583
240.71/131.10	c cleaning 9997 clauses out of 20012 with flag 135000/1437583
241.99/131.90	c cleaning 10001 clauses out of 20015 with flag 145000/1447583
243.50/132.67	c cleaning 10006 clauses out of 20014 with flag 155000/1457583
245.43/133.67	c cleaning 10005 clauses out of 20010 with flag 165002/1467585
247.14/134.53	c cleaning 10001 clauses out of 20003 with flag 175000/1477583
248.61/135.33	c cleaning 10000 clauses out of 20003 with flag 185001/1487584
250.31/136.30	c cleaning 9997 clauses out of 20002 with flag 195000/1497583
252.22/137.29	c cleaning 9999 clauses out of 20006 with flag 205001/1507584
253.93/138.19	c cleaning 10000 clauses out of 20006 with flag 215000/1517583
255.61/139.03	c cleaning 10001 clauses out of 20006 with flag 225000/1527583
257.14/139.84	c cleaning 10002 clauses out of 20005 with flag 235000/1537583
258.65/140.60	c cleaning 10001 clauses out of 20004 with flag 245001/1547584
260.36/141.59	c cleaning 10002 clauses out of 20003 with flag 255001/1557584
262.24/142.56	c cleaning 9998 clauses out of 20000 with flag 265000/1567583
263.76/143.39	c cleaning 10000 clauses out of 20004 with flag 275002/1577585
265.87/144.43	c cleaning 9998 clauses out of 20002 with flag 285000/1587583
267.59/145.33	c cleaning 10002 clauses out of 20005 with flag 295001/1597584
269.29/146.30	c cleaning 9997 clauses out of 20002 with flag 305000/1607583
270.99/147.13	c cleaning 9999 clauses out of 20006 with flag 315001/1617584
272.91/148.10	c cleaning 9998 clauses out of 20006 with flag 325000/1627583
274.62/149.06	c cleaning 10002 clauses out of 20010 with flag 335002/1637585
276.30/149.98	c cleaning 9997 clauses out of 20006 with flag 345000/1647583
277.84/150.78	c cleaning 10005 clauses out of 20009 with flag 355000/1657583
279.54/151.66	c cleaning 9998 clauses out of 20004 with flag 365000/1667583
281.25/152.54	c cleaning 10002 clauses out of 20007 with flag 375001/1677584
282.95/153.46	c cleaning 9999 clauses out of 20004 with flag 385000/1687583
284.49/154.29	c cleaning 9998 clauses out of 20005 with flag 395000/1697583
286.22/155.19	c cleaning 9999 clauses out of 20007 with flag 405000/1707583
287.72/155.98	c cleaning 10001 clauses out of 20009 with flag 415001/1717584
289.17/156.79	c cleaning 10001 clauses out of 20007 with flag 425000/1727583
290.69/157.57	c cleaning 10000 clauses out of 20006 with flag 435000/1737583
292.42/158.42	c cleaning 10002 clauses out of 20007 with flag 445001/1747584
293.91/159.26	c cleaning 10002 clauses out of 20004 with flag 455000/1757583
295.57/160.20	c cleaning 9996 clauses out of 20003 with flag 465001/1767584
297.28/161.08	c cleaning 9998 clauses out of 20007 with flag 475001/1777584
298.98/161.94	c cleaning 10001 clauses out of 20009 with flag 485001/1787584
300.70/162.83	c cleaning 9997 clauses out of 20007 with flag 495000/1797583
302.14/163.68	c cleaning 10001 clauses out of 20011 with flag 505001/1807584
303.86/164.51	c cleaning 9999 clauses out of 20010 with flag 515001/1817584
305.37/165.37	c cleaning 9999 clauses out of 20010 with flag 525000/1827583
306.90/166.19	c cleaning 10002 clauses out of 20011 with flag 535000/1837583
308.54/167.08	c cleaning 10002 clauses out of 20011 with flag 545002/1847585
310.25/167.91	c cleaning 10001 clauses out of 20007 with flag 555000/1857583
311.75/168.75	c cleaning 10000 clauses out of 20007 with flag 565001/1867584
313.47/169.61	c cleaning 10001 clauses out of 20007 with flag 575001/1877584
314.95/170.46	c cleaning 10000 clauses out of 20005 with flag 585000/1887583
316.65/171.37	c cleaning 9997 clauses out of 20006 with flag 595001/1897584
318.35/172.25	c cleaning 9997 clauses out of 20008 with flag 605000/1907583
320.07/173.12	c cleaning 10003 clauses out of 20013 with flag 615002/1917585
321.51/173.98	c cleaning 10001 clauses out of 20008 with flag 625000/1927583
323.02/174.73	c cleaning 10006 clauses out of 20011 with flag 635004/1937587
324.73/175.61	c cleaning 9997 clauses out of 20001 with flag 645000/1947583
326.24/176.46	c cleaning 10001 clauses out of 20005 with flag 655001/1957584
328.09/177.49	c cleaning 9999 clauses out of 20003 with flag 665000/1967583
329.61/178.27	c cleaning 10000 clauses out of 20004 with flag 675000/1977583
331.10/179.07	c cleaning 10000 clauses out of 20004 with flag 685000/1987583
332.60/179.89	c cleaning 9997 clauses out of 20004 with flag 695000/1997583
334.25/180.71	c cleaning 10000 clauses out of 20007 with flag 705000/2007583
335.57/181.50	c cleaning 10003 clauses out of 20008 with flag 715001/2017584
337.26/182.30	c cleaning 10001 clauses out of 20007 with flag 725003/2027586
338.56/183.03	c cleaning 10002 clauses out of 20003 with flag 735000/2037583
340.02/183.88	c cleaning 9997 clauses out of 20001 with flag 745000/2047583
341.74/184.72	c cleaning 10001 clauses out of 20004 with flag 755000/2057583
343.22/185.54	c cleaning 10002 clauses out of 20007 with flag 765004/2067587
344.71/186.31	c cleaning 10002 clauses out of 20003 with flag 775002/2077585
345.98/187.09	c cleaning 9997 clauses out of 19999 with flag 785000/2087583
347.47/187.88	c cleaning 10000 clauses out of 20003 with flag 795001/2097584
349.19/188.71	c cleaning 10001 clauses out of 20003 with flag 805001/2107584
351.00/189.60	c cleaning 9996 clauses out of 20002 with flag 815001/2117584
352.86/190.60	c cleaning 9999 clauses out of 20005 with flag 825000/2127583
354.38/191.41	c cleaning 9999 clauses out of 20007 with flag 835001/2137584
356.07/192.38	c cleaning 9998 clauses out of 20008 with flag 845001/2147584
357.79/193.22	c cleaning 10004 clauses out of 20009 with flag 855000/2157583
359.22/194.05	c cleaning 10001 clauses out of 20005 with flag 865000/2167583
360.73/194.87	c cleaning 9998 clauses out of 20004 with flag 875000/2177583
362.05/195.55	c cleaning 10001 clauses out of 20006 with flag 885000/2187583
363.34/196.27	c cleaning 9999 clauses out of 20005 with flag 895000/2197583
365.00/197.17	c cleaning 9997 clauses out of 20008 with flag 905002/2207585
366.30/197.90	c cleaning 10001 clauses out of 20009 with flag 915000/2217583
368.00/198.76	c cleaning 10002 clauses out of 20008 with flag 925000/2227583
369.50/199.55	c cleaning 10000 clauses out of 20007 with flag 935001/2237584
370.94/200.39	c cleaning 9997 clauses out of 20006 with flag 945000/2247583
372.44/201.15	c cleaning 10000 clauses out of 20009 with flag 955000/2257583
373.74/201.86	c cleaning 10002 clauses out of 20009 with flag 965000/2267583
375.25/202.62	c cleaning 9999 clauses out of 20007 with flag 975000/2277583
376.72/203.41	c cleaning 10001 clauses out of 20009 with flag 985001/2287584
377.80/204.08	c cleaning 9997 clauses out of 20007 with flag 995000/2297583
379.30/204.81	c cleaning 10001 clauses out of 20010 with flag 1005000/2307583
380.83/205.64	c cleaning 10000 clauses out of 20010 with flag 1015001/2317584
382.46/206.53	c cleaning 10001 clauses out of 20009 with flag 1025000/2327583
383.76/207.29	c cleaning 10004 clauses out of 20009 with flag 1035001/2337584
385.48/208.12	c cleaning 9998 clauses out of 20006 with flag 1045002/2347585
386.78/208.89	c cleaning 9996 clauses out of 20006 with flag 1055000/2357583
388.41/209.75	c cleaning 10003 clauses out of 20011 with flag 1065001/2367584
389.92/210.54	c cleaning 10004 clauses out of 20010 with flag 1075003/2377586
391.23/211.25	c cleaning 10002 clauses out of 20004 with flag 1085001/2387584
392.53/211.99	c cleaning 9998 clauses out of 20002 with flag 1095001/2397584
393.96/212.75	c cleaning 9998 clauses out of 20003 with flag 1105000/2407583
395.67/213.68	c cleaning 9999 clauses out of 20007 with flag 1115002/2417585
397.40/214.53	c cleaning 10000 clauses out of 20006 with flag 1125000/2427583
398.68/215.30	c cleaning 9999 clauses out of 20006 with flag 1135000/2437583
400.31/216.16	c cleaning 10001 clauses out of 20008 with flag 1145001/2447584
401.82/216.94	c cleaning 9997 clauses out of 20006 with flag 1155000/2457583
403.11/217.65	c cleaning 10003 clauses out of 20010 with flag 1165001/2467584
404.80/218.50	c cleaning 10002 clauses out of 20007 with flag 1175001/2477584
406.06/219.26	c cleaning 9999 clauses out of 20004 with flag 1185000/2487583
407.58/220.05	c cleaning 9997 clauses out of 20006 with flag 1195001/2497584
409.08/220.83	c cleaning 10002 clauses out of 20008 with flag 1205000/2507583
410.37/221.57	c cleaning 10004 clauses out of 20007 with flag 1215002/2517585
411.94/222.36	c cleaning 9999 clauses out of 20002 with flag 1225001/2527584
413.25/223.08	c cleaning 10000 clauses out of 20004 with flag 1235002/2537585
414.75/223.84	c cleaning 10000 clauses out of 20001 with flag 1245000/2547583
416.05/224.59	c cleaning 10001 clauses out of 20004 with flag 1255003/2557586
417.49/225.38	c cleaning 9998 clauses out of 19999 with flag 1265001/2567584
418.80/226.02	c  And the winner is Resolution
419.04/226.80	c starts		: 245
419.04/226.80	c conflicts		: 2576258
419.04/226.80	c decisions		: 2581867
419.04/226.80	c propagations		: 17132829
419.04/226.80	c inspects		: 2987154357
419.04/226.80	c shortcuts		: 0
419.04/226.80	c learnt literals	: 12
419.04/226.80	c learnt binary clauses	: 80
419.04/226.80	c learnt ternary clauses	: 365
419.04/226.80	c learnt constraints	: 2576245
419.04/226.80	c ignored constraints	: 0
419.04/226.80	c root simplifications	: 0
419.04/226.80	c removed literals (reason simplification)	: 25094200
419.04/226.80	c reason swapping (by a shorter reason)	: 0
419.04/226.80	c Calls to reduceDB	: 264
419.04/226.81	c number of reductions to clauses (during analyze)	: 0
419.04/226.81	c number of learned constraints concerned by reduction	: 0
419.04/226.81	c number of learning phase by resolution	: 0
419.04/226.81	c number of learning phase by cutting planes	: 0
419.04/226.81	c speed (assignments/second)	: 159244.79495854556
419.04/226.81	c non guided choices	225
419.04/226.81	c learnt constraints type 
419.04/226.81	c constraints type 
419.04/226.81	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 8
419.04/226.81	c constraints type 
419.04/226.81	c org.sat4j.pb.constraints.pb.MaxWatchPb => 8
419.04/226.81	s OPTIMUM FOUND
419.04/226.81	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 
419.04/226.81	c objective function=2
419.04/226.81	c Total wall clock time (in seconds): 226.663

Verifier Data 

OK	2

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-3734713-1338692365/watcher-3734713-1338692365 -o /tmp/evaluation-result-3734713-1338692365/solver-3734713-1338692365 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3734713-1338692365.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.82 3.92 3.90 4/199 32698
/proc/meminfo: memFree=24613944/32873844 swapFree=7112/7112
[pid=32698] ppid=32696 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/32698/stat : 32698 (java) D 32696 32698 27163 0 -1 4202496 93 0 0 0 0 0 0 0 20 0 1 0 335361817 2560000 46 33554432000 1073741824 1073778376 140734856719376 140734856716504 273579863335 0 0 4096 0 18446744072100748580 0 0 17 0 0 0 0 0 0
/proc/32698/statm: 625 46 37 9 0 29 0

[startup+0.0247021 s]
/proc/loadavg: 3.82 3.92 3.90 4/199 32698
/proc/meminfo: memFree=24613944/32873844 swapFree=7112/7112
[pid=32698] ppid=32696 vsize=101560 CPUtime=0 cores=0,2,4,6
/proc/32698/stat : 32698 (java) S 32696 32698 27163 0 -1 4202496 1421 0 1 0 0 0 0 0 20 0 2 0 335361817 103997440 1103 33554432000 1073741824 1073778376 140737298647136 140737298638272 273592385597 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32698/statm: 25390 1103 853 9 0 16774 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 101560

[startup+0.10028 s]
/proc/loadavg: 3.82 3.92 3.90 4/199 32698
/proc/meminfo: memFree=24613944/32873844 swapFree=7112/7112
[pid=32698] ppid=32696 vsize=11586392 CPUtime=0.06 cores=0,2,4,6
/proc/32698/stat : 32698 (java) S 32696 32698 27163 0 -1 4202496 4487 0 1 0 5 1 0 0 20 0 18 0 335361817 11864465408 12339 33554432000 1073741824 1073778376 140737298647136 140737298638272 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32698/statm: 2896598 12339 1766 9 0 2887285 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11586392

[startup+0.30023 s]
/proc/loadavg: 3.82 3.92 3.90 4/199 32698
/proc/meminfo: memFree=24613944/32873844 swapFree=7112/7112
[pid=32698] ppid=32696 vsize=11852648 CPUtime=0.49 cores=0,2,4,6
/proc/32698/stat : 32698 (java) S 32696 32698 27163 0 -1 4202496 8736 0 1 0 44 5 0 0 20 0 19 0 335361817 12137111552 16923 33554432000 1073741824 1073778376 140737298647136 140737298638272 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32698/statm: 2963162 16923 2217 9 0 2953849 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 11852648

[startup+0.70024 s]
/proc/loadavg: 3.82 3.92 3.90 4/199 32698
/proc/meminfo: memFree=24613944/32873844 swapFree=7112/7112
[pid=32698] ppid=32696 vsize=11852648 CPUtime=0.59 cores=0,2,4,6
/proc/32698/stat : 32698 (java) S 32696 32698 27163 0 -1 4202496 8756 0 1 0 52 7 0 0 20 0 19 0 335361817 12137111552 17958 33554432000 1073741824 1073778376 140737298647136 140737298638272 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32698/statm: 2963162 17958 2220 9 0 2953849 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 11852648

[startup+1.5007 s]
/proc/loadavg: 3.82 3.92 3.90 3/218 32723
/proc/meminfo: memFree=24550176/32873844 swapFree=7112/7112
[pid=32698] ppid=32696 vsize=11852648 CPUtime=0.7 cores=0,2,4,6
/proc/32698/stat : 32698 (java) S 32696 32698 27163 0 -1 4202496 8935 0 1 0 61 9 0 0 20 0 19 0 335361817 12137111552 19509 33554432000 1073741824 1073778376 140737298647136 140737298638272 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32698/statm: 2963162 19509 2224 9 0 2953849 0
[pid=32698/tid=32700] ppid=32696 vsize=11852648 CPUtime=0.14 cores=0,2,4,6
/proc/32698/task/32700/stat : 32700 (java) S 32696 32698 27163 0 -1 4202560 3416 0 1 0 12 2 0 0 20 0 19 0 335361819 12137111552 19509 33554432000 1073741824 1073778376 140737298647136 140128351138968 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32698/tid=32701] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32701/stat : 32701 (java) S 32696 32698 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335361821 12137111552 19509 33554432000 1073741824 1073778376 140737298647136 140128188312360 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32698/tid=32702] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32702/stat : 32702 (java) S 32696 32698 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335361821 12137111552 19509 33554432000 1073741824 1073778376 140737298647136 140128187259560 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32698/tid=32703] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32703/stat : 32703 (java) S 32696 32698 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335361821 12137111552 19509 33554432000 1073741824 1073778376 140737298647136 140128186207272 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32698/tid=32704] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32704/stat : 32704 (java) S 32696 32698 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335361821 12137111552 19509 33554432000 1073741824 1073778376 140737298647136 140128185154472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32698/tid=32705] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32705/stat : 32705 (java) S 32696 32698 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335361821 12137111552 19509 33554432000 1073741824 1073778376 140737298647136 140128184101160 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32698/tid=32706] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32706/stat : 32706 (java) S 32696 32698 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335361821 12137111552 19509 33554432000 1073741824 1073778376 140737298647136 140128183048360 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32698/tid=32707] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32707/stat : 32707 (java) S 32696 32698 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335361821 12137111552 19509 33554432000 1073741824 1073778376 140737298647136 140128181996072 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32698/tid=32708] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32708/stat : 32708 (java) S 32696 32698 27163 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335361821 12137111552 19509 33554432000 1073741824 1073778376 140737298647136 140128180943272 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32698/tid=32709] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32709/stat : 32709 (java) S 32696 32698 27163 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335361823 12137111552 19509 33554432000 1073741824 1073778376 140737298647136 140128168532712 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32698/tid=32710] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32710/stat : 32710 (java) S 32696 32698 27163 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335361823 12137111552 19509 33554432000 1073741824 1073778376 140737298647136 140128167478776 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32698/tid=32711] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32711/stat : 32711 (java) S 32696 32698 27163 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335361823 12137111552 19509 33554432000 1073741824 1073778376 140737298647136 140128166426376 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32698/tid=32712] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32712/stat : 32712 (java) S 32696 32698 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335361826 12137111552 19509 33554432000 1073741824 1073778376 140737298647136 140128165374864 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32698/tid=32713] ppid=32696 vsize=11852648 CPUtime=0.19 cores=0,2,4,6
/proc/32698/task/32713/stat : 32713 (java) S 32696 32698 27163 0 -1 4202560 1939 0 0 0 19 0 0 0 20 0 19 0 335361826 12137111552 19509 33554432000 1073741824 1073778376 140737298647136 140128164321464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32698/tid=32714] ppid=32696 vsize=11852648 CPUtime=0.15 cores=0,2,4,6
/proc/32698/task/32714/stat : 32714 (java) S 32696 32698 27163 0 -1 4202560 2255 0 0 0 15 0 0 0 20 0 19 0 335361826 12137111552 19509 33554432000 1073741824 1073778376 140737298647136 140128163268664 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32698/tid=32715] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32715/stat : 32715 (java) S 32696 32698 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335361826 12137111552 19509 33554432000 1073741824 1073778376 140737298647136 140128162216568 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32698/tid=32716] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32716/stat : 32716 (java) S 32696 32698 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335361826 12137111552 19509 33554432000 1073741824 1073778376 140737298647136 140128161163976 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32698/tid=32720] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32720/stat : 32720 (java) S 32696 32698 27163 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335361835 12137111552 19509 33554432000 1073741824 1073778376 140737298647136 140128156952104 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 11852648

[startup+3.1007 s]
/proc/loadavg: 3.82 3.92 3.90 2/218 32729
/proc/meminfo: memFree=24529192/32873844 swapFree=7112/7112
[pid=32698] ppid=32696 vsize=11852648 CPUtime=0.82 cores=0,2,4,6
/proc/32698/stat : 32698 (java) S 32696 32698 27163 0 -1 4202496 8972 0 1 0 70 12 0 0 20 0 19 0 335361817 12137111552 22591 33554432000 1073741824 1073778376 140737298647136 140737298638272 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32698/statm: 2963162 22591 2225 9 0 2953849 0
[pid=32698/tid=32700] ppid=32696 vsize=11852648 CPUtime=0.14 cores=0,2,4,6
/proc/32698/task/32700/stat : 32700 (java) S 32696 32698 27163 0 -1 4202560 3417 0 1 0 12 2 0 0 20 0 19 0 335361819 12137111552 22591 33554432000 1073741824 1073778376 140737298647136 140128351138968 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32698/tid=32701] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32701/stat : 32701 (java) S 32696 32698 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335361821 12137111552 22591 33554432000 1073741824 1073778376 140737298647136 140128188312360 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32698/tid=32702] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32702/stat : 32702 (java) S 32696 32698 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335361821 12137111552 22591 33554432000 1073741824 1073778376 140737298647136 140128187259560 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32698/tid=32703] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32703/stat : 32703 (java) S 32696 32698 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335361821 12137111552 22591 33554432000 1073741824 1073778376 140737298647136 140128186207272 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32698/tid=32704] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32704/stat : 32704 (java) S 32696 32698 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335361821 12137111552 22591 33554432000 1073741824 1073778376 140737298647136 140128185154472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32698/tid=32705] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32705/stat : 32705 (java) S 32696 32698 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335361821 12137111552 22591 33554432000 1073741824 1073778376 140737298647136 140128184101160 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32698/tid=32706] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32706/stat : 32706 (java) S 32696 32698 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335361821 12137111552 22591 33554432000 1073741824 1073778376 140737298647136 140128183048360 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32698/tid=32707] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32707/stat : 32707 (java) S 32696 32698 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335361821 12137111552 22591 33554432000 1073741824 1073778376 140737298647136 140128181996072 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32698/tid=32708] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32708/stat : 32708 (java) S 32696 32698 27163 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335361821 12137111552 22591 33554432000 1073741824 1073778376 140737298647136 140128180943272 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32698/tid=32709] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32709/stat : 32709 (java) S 32696 32698 27163 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335361823 12137111552 22591 33554432000 1073741824 1073778376 140737298647136 140128168532712 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32698/tid=32710] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32710/stat : 32710 (java) S 32696 32698 27163 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335361823 12137111552 22591 33554432000 1073741824 1073778376 140737298647136 140128167478776 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32698/tid=32711] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32711/stat : 32711 (java) S 32696 32698 27163 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335361823 12137111552 22591 33554432000 1073741824 1073778376 140737298647136 140128166426376 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32698/tid=32712] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32712/stat : 32712 (java) S 32696 32698 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335361826 12137111552 22591 33554432000 1073741824 1073778376 140737298647136 140128165374864 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32698/tid=32713] ppid=32696 vsize=11852648 CPUtime=0.22 cores=0,2,4,6
/proc/32698/task/32713/stat : 32713 (java) S 32696 32698 27163 0 -1 4202560 1945 0 0 0 22 0 0 0 20 0 19 0 335361826 12137111552 22591 33554432000 1073741824 1073778376 140737298647136 140128164321464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32698/tid=32714] ppid=32696 vsize=11852648 CPUtime=0.17 cores=0,2,4,6
/proc/32698/task/32714/stat : 32714 (java) S 32696 32698 27163 0 -1 4202560 2258 0 0 0 17 0 0 0 20 0 19 0 335361826 12137111552 22591 33554432000 1073741824 1073778376 140737298647136 140128163268664 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32698/tid=32715] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32715/stat : 32715 (java) S 32696 32698 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335361826 12137111552 22591 33554432000 1073741824 1073778376 140737298647136 140128162216568 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32698/tid=32716] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32716/stat : 32716 (java) S 32696 32698 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335361826 12137111552 22591 33554432000 1073741824 1073778376 140737298647136 140128161163976 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32698/tid=32720] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32720/stat : 32720 (java) S 32696 32698 27163 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335361835 12137111552 22591 33554432000 1073741824 1073778376 140737298647136 140128156952104 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 11852648
heavy processes:

[startup+6.30065 s]
/proc/loadavg: 3.67 3.89 3.89 3/218 32750
/proc/meminfo: memFree=24459752/32873844 swapFree=7112/7112
[pid=32698] ppid=32696 vsize=11852648 CPUtime=2.83 cores=0,2,4,6
/proc/32698/stat : 32698 (java) S 32696 32698 27163 0 -1 4202496 18446 0 1 0 262 21 0 0 20 0 22 0 335361817 12137111552 79256 33554432000 1073741824 1073778376 140737298647136 140737298638272 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32698/statm: 2963162 79256 2275 9 0 2953849 0
[pid=32698/tid=32700] ppid=32696 vsize=11852648 CPUtime=0.14 cores=0,2,4,6
/proc/32698/task/32700/stat : 32700 (java) S 32696 32698 27163 0 -1 4202560 3420 0 1 0 12 2 0 0 20 0 22 0 335361819 12137111552 79256 33554432000 1073741824 1073778376 140737298647136 140128351138968 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32698/tid=32701] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32701/stat : 32701 (java) S 32696 32698 27163 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 335361821 12137111552 79256 33554432000 1073741824 1073778376 140737298647136 140128188312360 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32698/tid=32702] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32702/stat : 32702 (java) S 32696 32698 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335361821 12137111552 79256 33554432000 1073741824 1073778376 140737298647136 140128187259560 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32698/tid=32703] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32703/stat : 32703 (java) S 32696 32698 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335361821 12137111552 79256 33554432000 1073741824 1073778376 140737298647136 140128186207272 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32698/tid=32704] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32704/stat : 32704 (java) S 32696 32698 27163 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 335361821 12137111552 79256 33554432000 1073741824 1073778376 140737298647136 140128185154472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32698/tid=32705] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32705/stat : 32705 (java) S 32696 32698 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335361821 12137111552 79256 33554432000 1073741824 1073778376 140737298647136 140128184101160 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32698/tid=32706] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32706/stat : 32706 (java) S 32696 32698 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335361821 12137111552 79256 33554432000 1073741824 1073778376 140737298647136 140128183048360 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32698/tid=32707] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32707/stat : 32707 (java) S 32696 32698 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335361821 12137111552 79256 33554432000 1073741824 1073778376 140737298647136 140128181996072 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32698/tid=32708] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32708/stat : 32708 (java) S 32696 32698 27163 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335361821 12137111552 79256 33554432000 1073741824 1073778376 140737298647136 140128180943272 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32698/tid=32709] ppid=32696 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/32698/task/32709/stat : 32709 (java) S 32696 32698 27163 0 -1 4202560 30 0 0 0 1 0 0 0 20 0 22 0 335361823 12137111552 79256 33554432000 1073741824 1073778376 140737298647136 140128168532712 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32698/tid=32710] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32710/stat : 32710 (java) S 32696 32698 27163 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335361823 12137111552 79256 33554432000 1073741824 1073778376 140737298647136 140128167478776 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32698/tid=32711] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32711/stat : 32711 (java) S 32696 32698 27163 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 335361823 12137111552 79256 33554432000 1073741824 1073778376 140737298647136 140128166426376 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32698/tid=32712] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32712/stat : 32712 (java) S 32696 32698 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335361826 12137111552 79256 33554432000 1073741824 1073778376 140737298647136 140128165374864 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32698/tid=32713] ppid=32696 vsize=11852648 CPUtime=0.55 cores=0,2,4,6
/proc/32698/task/32713/stat : 32713 (java) S 32696 32698 27163 0 -1 4202560 4053 0 0 0 54 1 0 0 20 0 22 0 335361826 12137111552 79256 33554432000 1073741824 1073778376 140737298647136 140128164321464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32698/tid=32714] ppid=32696 vsize=11852648 CPUtime=0.72 cores=0,2,4,6
/proc/32698/task/32714/stat : 32714 (java) S 32696 32698 27163 0 -1 4202560 9387 0 0 0 71 1 0 0 20 0 22 0 335361826 12137111552 79256 33554432000 1073741824 1073778376 140737298647136 140128163268664 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32698/tid=32715] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32715/stat : 32715 (java) S 32696 32698 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335361826 12137111552 79256 33554432000 1073741824 1073778376 140737298647136 140128162216568 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32698/tid=32716] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32716/stat : 32716 (java) S 32696 32698 27163 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335361826 12137111552 79256 33554432000 1073741824 1073778376 140737298647136 140128161163976 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32698/tid=32720] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32720/stat : 32720 (java) S 32696 32698 27163 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335361835 12137111552 79256 33554432000 1073741824 1073778376 140737298647136 140128156952104 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 11852648
heavy processes:

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

[pid=32698/tid=32709] ppid=32696 vsize=11852648 CPUtime=24.82 cores=0,2,4,6
/proc/32698/task/32709/stat : 32709 (java) R 32696 32698 27163 0 -1 4202560 98 0 0 0 2477 5 0 0 20 0 22 0 335361823 12137111552 195039 33554432000 1073741824 1073778376 140737298647136 140128168531528 273588695849 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=32698/tid=32710] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32710/stat : 32710 (java) S 32696 32698 27163 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335361823 12137111552 195039 33554432000 1073741824 1073778376 140737298647136 140128167478776 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32698/tid=32711] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32711/stat : 32711 (java) S 32696 32698 27163 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 335361823 12137111552 195039 33554432000 1073741824 1073778376 140737298647136 140128166426376 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32698/tid=32712] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32712/stat : 32712 (java) S 32696 32698 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335361826 12137111552 195039 33554432000 1073741824 1073778376 140737298647136 140128165374864 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32698/tid=32713] ppid=32696 vsize=11852648 CPUtime=0.78 cores=0,2,4,6
/proc/32698/task/32713/stat : 32713 (java) S 32696 32698 27163 0 -1 4202560 5263 0 0 0 76 2 0 0 20 0 22 0 335361826 12137111552 195039 33554432000 1073741824 1073778376 140737298647136 140128164321464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32698/tid=32714] ppid=32696 vsize=11852648 CPUtime=1.32 cores=0,2,4,6
/proc/32698/task/32714/stat : 32714 (java) S 32696 32698 27163 0 -1 4202560 13676 0 0 0 130 2 0 0 20 0 22 0 335361826 12137111552 195039 33554432000 1073741824 1073778376 140737298647136 140128163268664 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32698/tid=32715] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32715/stat : 32715 (java) S 32696 32698 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335361826 12137111552 195039 33554432000 1073741824 1073778376 140737298647136 140128162216568 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32698/tid=32716] ppid=32696 vsize=11852648 CPUtime=0.08 cores=0,2,4,6
/proc/32698/task/32716/stat : 32716 (java) S 32696 32698 27163 0 -1 4202560 14 0 0 0 4 4 0 0 20 0 22 0 335361826 12137111552 195039 33554432000 1073741824 1073778376 140737298647136 140128161163976 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32698/tid=32720] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32720/stat : 32720 (java) S 32696 32698 27163 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335361835 12137111552 195039 33554432000 1073741824 1073778376 140737298647136 140128156952104 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32698/tid=324] ppid=32696 vsize=11852648 CPUtime=89.92 cores=0,2,4,6
/proc/32698/task/324/stat : 324 (java) R 32696 32698 27163 0 -1 4202560 90 0 0 0 8991 1 0 0 20 0 22 0 335373739 12137111552 195039 33554432000 1073741824 1073778376 140737298647136 140128160109240 140128357539038 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=32698/tid=325] ppid=32696 vsize=11852648 CPUtime=89.98 cores=0,2,4,6
/proc/32698/task/325/stat : 325 (java) R 32696 32698 27163 0 -1 4202560 25 0 0 0 8997 1 0 0 20 0 22 0 335373739 12137111552 195039 33554432000 1073741824 1073778376 140737298647136 140128159055192 273592398908 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=32698/tid=326] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/326/stat : 326 (java) S 32696 32698 27163 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335373743 12137111552 195039 33554432000 1073741824 1073778376 140737298647136 140128158004776 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 417.81
Current children cumulated vsize (KiB) 11852648

[startup+226.301 s]
/proc/loadavg: 3.84 3.88 3.89 4/221 326
/proc/meminfo: memFree=23728892/32873844 swapFree=7112/7112
[pid=32698] ppid=32696 vsize=11852648 CPUtime=418.52 cores=0,2,4,6
/proc/32698/stat : 32698 (java) S 32696 32698 27163 0 -1 4202496 25224 0 1 0 41798 54 0 0 20 0 19 0 335361817 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140737298638272 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32698/statm: 2963162 195028 2283 9 0 2953849 0
[pid=32698/tid=32700] ppid=32696 vsize=11852648 CPUtime=0.19 cores=0,2,4,6
/proc/32698/task/32700/stat : 32700 (java) R 32696 32698 27163 0 -1 4202560 3463 0 1 0 17 2 0 0 20 0 19 0 335361819 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128351138896 140128223649004 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=32698/tid=32701] ppid=32696 vsize=11852648 CPUtime=0.9 cores=0,2,4,6
/proc/32698/task/32701/stat : 32701 (java) S 32696 32698 27163 0 -1 4202560 85 0 0 0 90 0 0 0 20 0 19 0 335361821 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128188312360 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32698/tid=32702] ppid=32696 vsize=11852648 CPUtime=0.92 cores=0,2,4,6
/proc/32698/task/32702/stat : 32702 (java) S 32696 32698 27163 0 -1 4202560 73 0 0 0 92 0 0 0 20 0 19 0 335361821 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128187259560 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32698/tid=32703] ppid=32696 vsize=11852648 CPUtime=0.88 cores=0,2,4,6
/proc/32698/task/32703/stat : 32703 (java) S 32696 32698 27163 0 -1 4202560 102 0 0 0 87 1 0 0 20 0 19 0 335361821 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128186207272 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32698/tid=32704] ppid=32696 vsize=11852648 CPUtime=0.87 cores=0,2,4,6
/proc/32698/task/32704/stat : 32704 (java) S 32696 32698 27163 0 -1 4202560 93 0 0 0 87 0 0 0 20 0 19 0 335361821 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128185154472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32698/tid=32705] ppid=32696 vsize=11852648 CPUtime=0.89 cores=0,2,4,6
/proc/32698/task/32705/stat : 32705 (java) S 32696 32698 27163 0 -1 4202560 82 0 0 0 89 0 0 0 20 0 19 0 335361821 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128184101160 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32698/tid=32706] ppid=32696 vsize=11852648 CPUtime=0.9 cores=0,2,4,6
/proc/32698/task/32706/stat : 32706 (java) S 32696 32698 27163 0 -1 4202560 93 0 0 0 90 0 0 0 20 0 19 0 335361821 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128183048360 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32698/tid=32707] ppid=32696 vsize=11852648 CPUtime=0.87 cores=0,2,4,6
/proc/32698/task/32707/stat : 32707 (java) S 32696 32698 27163 0 -1 4202560 109 0 0 0 87 0 0 0 20 0 19 0 335361821 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128181996072 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32698/tid=32708] ppid=32696 vsize=11852648 CPUtime=0.92 cores=0,2,4,6
/proc/32698/task/32708/stat : 32708 (java) S 32696 32698 27163 0 -1 4202560 87 0 0 0 90 2 0 0 20 0 19 0 335361821 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128180943272 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32698/tid=32709] ppid=32696 vsize=11852648 CPUtime=24.82 cores=0,2,4,6
/proc/32698/task/32709/stat : 32709 (java) S 32696 32698 27163 0 -1 4202560 98 0 0 0 2477 5 0 0 20 0 19 0 335361823 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128168532712 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32698/tid=32710] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32710/stat : 32710 (java) S 32696 32698 27163 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 335361823 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128167478776 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32698/tid=32711] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32711/stat : 32711 (java) S 32696 32698 27163 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 335361823 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128166426376 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32698/tid=32712] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32712/stat : 32712 (java) S 32696 32698 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335361826 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128165374864 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32698/tid=32713] ppid=32696 vsize=11852648 CPUtime=0.78 cores=0,2,4,6
/proc/32698/task/32713/stat : 32713 (java) S 32696 32698 27163 0 -1 4202560 5263 0 0 0 76 2 0 0 20 0 19 0 335361826 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128164321464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32698/tid=32714] ppid=32696 vsize=11852648 CPUtime=1.32 cores=0,2,4,6
/proc/32698/task/32714/stat : 32714 (java) S 32696 32698 27163 0 -1 4202560 13676 0 0 0 130 2 0 0 20 0 19 0 335361826 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128163268664 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32698/tid=32715] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32715/stat : 32715 (java) S 32696 32698 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335361826 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128162216568 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32698/tid=32716] ppid=32696 vsize=11852648 CPUtime=0.08 cores=0,2,4,6
/proc/32698/task/32716/stat : 32716 (java) S 32696 32698 27163 0 -1 4202560 14 0 0 0 4 4 0 0 20 0 19 0 335361826 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128161163976 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32698/tid=32720] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32720/stat : 32720 (java) S 32696 32698 27163 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335361835 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128156952104 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 418.52
Current children cumulated vsize (KiB) 11852648

[startup+226.701 s]
/proc/loadavg: 3.84 3.88 3.89 4/218 326
/proc/meminfo: memFree=23728768/32873844 swapFree=7112/7112
[pid=32698] ppid=32696 vsize=11852648 CPUtime=418.94 cores=0,2,4,6
/proc/32698/stat : 32698 (java) S 32696 32698 27163 0 -1 4202496 25224 0 1 0 41840 54 0 0 20 0 19 0 335361817 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140737298638272 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32698/statm: 2963162 195028 2283 9 0 2953849 0
[pid=32698/tid=32700] ppid=32696 vsize=11852648 CPUtime=0.58 cores=0,2,4,6
/proc/32698/task/32700/stat : 32700 (java) R 32696 32698 27163 0 -1 4202560 3463 0 1 0 56 2 0 0 20 0 19 0 335361819 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128351138584 140128222894006 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=32698/tid=32701] ppid=32696 vsize=11852648 CPUtime=0.9 cores=0,2,4,6
/proc/32698/task/32701/stat : 32701 (java) S 32696 32698 27163 0 -1 4202560 85 0 0 0 90 0 0 0 20 0 19 0 335361821 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128188312360 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32698/tid=32702] ppid=32696 vsize=11852648 CPUtime=0.92 cores=0,2,4,6
/proc/32698/task/32702/stat : 32702 (java) S 32696 32698 27163 0 -1 4202560 73 0 0 0 92 0 0 0 20 0 19 0 335361821 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128187259560 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32698/tid=32703] ppid=32696 vsize=11852648 CPUtime=0.88 cores=0,2,4,6
/proc/32698/task/32703/stat : 32703 (java) S 32696 32698 27163 0 -1 4202560 102 0 0 0 87 1 0 0 20 0 19 0 335361821 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128186207272 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32698/tid=32704] ppid=32696 vsize=11852648 CPUtime=0.87 cores=0,2,4,6
/proc/32698/task/32704/stat : 32704 (java) S 32696 32698 27163 0 -1 4202560 93 0 0 0 87 0 0 0 20 0 19 0 335361821 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128185154472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32698/tid=32705] ppid=32696 vsize=11852648 CPUtime=0.89 cores=0,2,4,6
/proc/32698/task/32705/stat : 32705 (java) S 32696 32698 27163 0 -1 4202560 82 0 0 0 89 0 0 0 20 0 19 0 335361821 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128184101160 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32698/tid=32706] ppid=32696 vsize=11852648 CPUtime=0.9 cores=0,2,4,6
/proc/32698/task/32706/stat : 32706 (java) S 32696 32698 27163 0 -1 4202560 93 0 0 0 90 0 0 0 20 0 19 0 335361821 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128183048360 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32698/tid=32707] ppid=32696 vsize=11852648 CPUtime=0.87 cores=0,2,4,6
/proc/32698/task/32707/stat : 32707 (java) S 32696 32698 27163 0 -1 4202560 109 0 0 0 87 0 0 0 20 0 19 0 335361821 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128181996072 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32698/tid=32708] ppid=32696 vsize=11852648 CPUtime=0.92 cores=0,2,4,6
/proc/32698/task/32708/stat : 32708 (java) S 32696 32698 27163 0 -1 4202560 87 0 0 0 90 2 0 0 20 0 19 0 335361821 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128180943272 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32698/tid=32709] ppid=32696 vsize=11852648 CPUtime=24.82 cores=0,2,4,6
/proc/32698/task/32709/stat : 32709 (java) S 32696 32698 27163 0 -1 4202560 98 0 0 0 2477 5 0 0 20 0 19 0 335361823 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128168532712 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32698/tid=32710] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32710/stat : 32710 (java) S 32696 32698 27163 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 335361823 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128167478776 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32698/tid=32711] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32711/stat : 32711 (java) S 32696 32698 27163 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 335361823 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128166426376 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32698/tid=32712] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32712/stat : 32712 (java) S 32696 32698 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335361826 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128165374864 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32698/tid=32713] ppid=32696 vsize=11852648 CPUtime=0.81 cores=0,2,4,6
/proc/32698/task/32713/stat : 32713 (java) S 32696 32698 27163 0 -1 4202560 5263 0 0 0 79 2 0 0 20 0 19 0 335361826 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128164321464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32698/tid=32714] ppid=32696 vsize=11852648 CPUtime=1.32 cores=0,2,4,6
/proc/32698/task/32714/stat : 32714 (java) S 32696 32698 27163 0 -1 4202560 13676 0 0 0 130 2 0 0 20 0 19 0 335361826 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128163268664 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32698/tid=32715] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32715/stat : 32715 (java) S 32696 32698 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335361826 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128162216568 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32698/tid=32716] ppid=32696 vsize=11852648 CPUtime=0.08 cores=0,2,4,6
/proc/32698/task/32716/stat : 32716 (java) S 32696 32698 27163 0 -1 4202560 14 0 0 0 4 4 0 0 20 0 19 0 335361826 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128161163976 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32698/tid=32720] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32720/stat : 32720 (java) S 32696 32698 27163 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335361835 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128156952104 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 418.94
Current children cumulated vsize (KiB) 11852648

[startup+226.801 s]
/proc/loadavg: 3.84 3.88 3.89 4/218 326
/proc/meminfo: memFree=23728768/32873844 swapFree=7112/7112
[pid=32698] ppid=32696 vsize=11852648 CPUtime=419.04 cores=0,2,4,6
/proc/32698/stat : 32698 (java) S 32696 32698 27163 0 -1 4202496 25224 0 1 0 41850 54 0 0 20 0 19 0 335361817 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140737298638272 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32698/statm: 2963162 195028 2283 9 0 2953849 0
[pid=32698/tid=32700] ppid=32696 vsize=11852648 CPUtime=0.68 cores=0,2,4,6
/proc/32698/task/32700/stat : 32700 (java) R 32696 32698 27163 0 -1 4202560 3463 0 1 0 66 2 0 0 20 0 19 0 335361819 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128351138584 140128222894000 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=32698/tid=32701] ppid=32696 vsize=11852648 CPUtime=0.9 cores=0,2,4,6
/proc/32698/task/32701/stat : 32701 (java) S 32696 32698 27163 0 -1 4202560 85 0 0 0 90 0 0 0 20 0 19 0 335361821 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128188312360 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32698/tid=32702] ppid=32696 vsize=11852648 CPUtime=0.92 cores=0,2,4,6
/proc/32698/task/32702/stat : 32702 (java) S 32696 32698 27163 0 -1 4202560 73 0 0 0 92 0 0 0 20 0 19 0 335361821 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128187259560 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32698/tid=32703] ppid=32696 vsize=11852648 CPUtime=0.88 cores=0,2,4,6
/proc/32698/task/32703/stat : 32703 (java) S 32696 32698 27163 0 -1 4202560 102 0 0 0 87 1 0 0 20 0 19 0 335361821 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128186207272 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32698/tid=32704] ppid=32696 vsize=11852648 CPUtime=0.87 cores=0,2,4,6
/proc/32698/task/32704/stat : 32704 (java) S 32696 32698 27163 0 -1 4202560 93 0 0 0 87 0 0 0 20 0 19 0 335361821 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128185154472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32698/tid=32705] ppid=32696 vsize=11852648 CPUtime=0.89 cores=0,2,4,6
/proc/32698/task/32705/stat : 32705 (java) S 32696 32698 27163 0 -1 4202560 82 0 0 0 89 0 0 0 20 0 19 0 335361821 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128184101160 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32698/tid=32706] ppid=32696 vsize=11852648 CPUtime=0.9 cores=0,2,4,6
/proc/32698/task/32706/stat : 32706 (java) S 32696 32698 27163 0 -1 4202560 93 0 0 0 90 0 0 0 20 0 19 0 335361821 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128183048360 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32698/tid=32707] ppid=32696 vsize=11852648 CPUtime=0.87 cores=0,2,4,6
/proc/32698/task/32707/stat : 32707 (java) S 32696 32698 27163 0 -1 4202560 109 0 0 0 87 0 0 0 20 0 19 0 335361821 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128181996072 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32698/tid=32708] ppid=32696 vsize=11852648 CPUtime=0.92 cores=0,2,4,6
/proc/32698/task/32708/stat : 32708 (java) S 32696 32698 27163 0 -1 4202560 87 0 0 0 90 2 0 0 20 0 19 0 335361821 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128180943272 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32698/tid=32709] ppid=32696 vsize=11852648 CPUtime=24.82 cores=0,2,4,6
/proc/32698/task/32709/stat : 32709 (java) S 32696 32698 27163 0 -1 4202560 98 0 0 0 2477 5 0 0 20 0 19 0 335361823 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128168532712 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32698/tid=32710] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32710/stat : 32710 (java) S 32696 32698 27163 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 335361823 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128167478776 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32698/tid=32711] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32711/stat : 32711 (java) S 32696 32698 27163 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 335361823 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128166426376 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32698/tid=32712] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32712/stat : 32712 (java) S 32696 32698 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335361826 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128165374864 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32698/tid=32713] ppid=32696 vsize=11852648 CPUtime=0.81 cores=0,2,4,6
/proc/32698/task/32713/stat : 32713 (java) S 32696 32698 27163 0 -1 4202560 5263 0 0 0 79 2 0 0 20 0 19 0 335361826 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128164321464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32698/tid=32714] ppid=32696 vsize=11852648 CPUtime=1.32 cores=0,2,4,6
/proc/32698/task/32714/stat : 32714 (java) S 32696 32698 27163 0 -1 4202560 13676 0 0 0 130 2 0 0 20 0 19 0 335361826 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128163268664 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32698/tid=32715] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32715/stat : 32715 (java) S 32696 32698 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335361826 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128162216568 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32698/tid=32716] ppid=32696 vsize=11852648 CPUtime=0.08 cores=0,2,4,6
/proc/32698/task/32716/stat : 32716 (java) S 32696 32698 27163 0 -1 4202560 14 0 0 0 4 4 0 0 20 0 19 0 335361826 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128161163976 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32698/tid=32720] ppid=32696 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32698/task/32720/stat : 32720 (java) S 32696 32698 27163 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335361835 12137111552 195028 33554432000 1073741824 1073778376 140737298647136 140128156952104 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 419.04
Current children cumulated vsize (KiB) 11852648

Child status: 30

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

Real time (s): 226.816
CPU time (s): 419.741
CPU user time (s): 419.148
CPU system time (s): 0.592902
CPU usage (%): 185.058
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 418.548
system time used= 0.642902
maximum resident set size= 780204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25229
page faults= 1
swaps= 0
block input operations= 0
block output operations= 288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13640
involuntary context switches= 17568

runsolver used 0.921859 second user time and 2.40763 second system time

The end

Launcher Data 

Begin job on node132 at 2012-06-03 04:59:25
IDJOB=3734713
IDBENCH=2896
IDSOLVER=2328
FILE ID=node132/3734713-1338692365
RUNJOBID= node132-1338678626-27182
PBS_JOBID= 14636681
Free space on /tmp= 71208 MiB

SOLVER NAME= PB11: Sat4j Res//CP 2.3.0
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_3.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734713-1338692365/watcher-3734713-1338692365 -o /tmp/evaluation-result-3734713-1338692365/solver-3734713-1338692365 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3734713-1338692365.opb

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

MD5SUM BENCH= d26b3b10be20d9248aac462b86b1f040
RANDOM SEED=519186048

node132.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.832
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	: 5333.66
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.832
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	: 5332.55
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.832
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	: 5332.56
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.832
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	: 5332.56
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.832
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	: 5332.55
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.832
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	: 5332.56
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.832
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	: 5332.55
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.832
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        24614308 kB
Buffers:          604212 kB
Cached:          3084268 kB
SwapCached:         2288 kB
Active:          5205960 kB
Inactive:        2122824 kB
Active(anon):    3632936 kB
Inactive(anon):     7108 kB
Active(file):    1573024 kB
Inactive(file):  2115716 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67102712 kB
Dirty:               512 kB
Writeback:             0 kB
AnonPages:       3653800 kB
Mapped:            19332 kB
Shmem:                 8 kB
Slab:             774948 kB
SReclaimable:     216304 kB
SUnreclaim:       558644 kB
KernelStack:        1640 kB
PageTables:        11032 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:   10458328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3618816 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71208 MiB
End job on node132 at 2012-06-03 05:03:12