Trace number 3688163

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)13 1800.05 1791.86

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_10_10.r.opb
MD5SUM863d0ff562dc066d0163e86da5775aea
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark1.70574
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint10
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
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-2012 Artois University and CNRS
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.2.v20120418
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 		501472288
0.06/0.12	c Max memory 		7480803328
0.06/0.12	c Total memory 		504102912
0.06/0.12	c Number of processors 	8
0.06/0.14	c Pseudo Boolean Optimization by upper bound
0.06/0.14	c --- Begin Solver configuration ---
0.06/0.14	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
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 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 c --- End Solver configuration ---
0.06/0.14	c solving HOME/instance-3688163-1337880601.opb
0.06/0.14	c reading problem ... 
0.06/0.19	c ... done. Wall clock time 0.042s.
0.06/0.19	c declared #vars     100
0.06/0.19	c #constraints  100
0.06/0.19	c constraints type 
0.06/0.19	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100
0.06/0.19	c 100 constraints processed.
0.06/0.19	c objective function length is 100 literals
0.06/0.19	c SATISFIABLE
0.06/0.19	c OPTIMIZING...
0.06/0.19	c Got one! Elapsed wall clock time (in seconds):0.047
0.06/0.19	o 18
0.46/0.33	c Got one! Elapsed wall clock time (in seconds):0.183
0.46/0.33	o 17
0.63/0.41	c cleaning 2744 clauses out of 5487 with flag 3002/5487
0.63/0.43	c Got one! Elapsed wall clock time (in seconds):0.283
0.63/0.43	o 16
0.76/0.52	c cleaning 3900 clauses out of 7806 with flag 5000/10550
0.88/0.62	c cleaning 4953 clauses out of 9906 with flag 11000/16550
0.99/0.75	c cleaning 5977 clauses out of 11954 with flag 18001/23551
1.22/0.90	c cleaning 6979 clauses out of 13976 with flag 26000/31550
1.32/1.06	c cleaning 7997 clauses out of 16000 with flag 35003/40553
1.52/1.25	c cleaning 8999 clauses out of 18001 with flag 45001/50551
1.73/1.47	c cleaning 9997 clauses out of 20001 with flag 56000/61550
2.03/1.71	c cleaning 11005 clauses out of 22009 with flag 68005/73555
2.23/1.98	c cleaning 11993 clauses out of 23999 with flag 81000/86550
2.56/2.27	c cleaning 13000 clauses out of 26006 with flag 95000/100550
2.87/2.58	c cleaning 13998 clauses out of 28006 with flag 110000/115550
3.29/2.97	c cleaning 14998 clauses out of 30009 with flag 126001/131551
3.72/3.35	c cleaning 16001 clauses out of 32010 with flag 143000/148550
4.22/3.80	c cleaning 16995 clauses out of 34009 with flag 161000/166550
4.63/4.28	c cleaning 18007 clauses out of 36016 with flag 180002/185552
5.14/4.78	c cleaning 18997 clauses out of 38007 with flag 200000/205550
5.75/5.34	c cleaning 20006 clauses out of 40011 with flag 221001/226551
6.26/5.86	c cleaning 20996 clauses out of 42004 with flag 243000/248550
6.86/6.41	c cleaning 22003 clauses out of 44011 with flag 266003/271553
7.49/7.03	c cleaning 23000 clauses out of 46005 with flag 290000/295550
8.12/7.68	c cleaning 24001 clauses out of 48007 with flag 315002/320552
8.94/8.46	c cleaning 25001 clauses out of 50005 with flag 341001/346551
9.75/9.21	c cleaning 25990 clauses out of 52003 with flag 368000/373550
10.58/10.03	c cleaning 26996 clauses out of 54013 with flag 396000/401550
11.51/10.92	c cleaning 28005 clauses out of 56018 with flag 425001/430551
12.44/11.89	c cleaning 28998 clauses out of 58012 with flag 455000/460550
13.45/12.89	c cleaning 30003 clauses out of 60018 with flag 486004/491554
14.55/13.90	c cleaning 31006 clauses out of 62014 with flag 518003/523553
15.55/14.90	c cleaning 32002 clauses out of 64009 with flag 551004/556554
16.56/15.93	c cleaning 32999 clauses out of 66003 with flag 585000/590550
17.68/17.04	c cleaning 33999 clauses out of 68004 with flag 620000/625550
18.88/18.24	c cleaning 34998 clauses out of 70005 with flag 656000/661550
20.19/19.54	c cleaning 36002 clauses out of 72013 with flag 693006/698556
21.70/21.02	c cleaning 36997 clauses out of 74006 with flag 731001/736551
23.02/22.38	c cleaning 37997 clauses out of 76009 with flag 770001/775551
24.44/23.79	c cleaning 39001 clauses out of 78011 with flag 810000/815550
25.75/25.06	c cleaning 40006 clauses out of 80015 with flag 851005/856555
27.46/26.72	c cleaning 40997 clauses out of 82004 with flag 893000/898550
28.97/28.25	c cleaning 41994 clauses out of 84007 with flag 936000/941550
30.68/29.97	c cleaning 43002 clauses out of 86015 with flag 980002/985552
32.49/31.70	c cleaning 44003 clauses out of 88014 with flag 1025003/1030553
34.00/33.24	c cleaning 44997 clauses out of 90008 with flag 1071000/1076550
35.71/34.91	c cleaning 46002 clauses out of 92011 with flag 1118000/1123550
37.57/36.75	c cleaning 46990 clauses out of 94009 with flag 1166000/1171550
39.39/38.59	c cleaning 48010 clauses out of 96019 with flag 1215000/1220550
41.00/40.10	c cleaning 48997 clauses out of 98009 with flag 1265000/1270550
42.91/42.05	c cleaning 50000 clauses out of 100016 with flag 1316004/1321554
45.25/44.33	c cleaning 51000 clauses out of 102012 with flag 1368000/1373550
47.28/46.37	c cleaning 52001 clauses out of 104012 with flag 1421000/1426550
49.60/48.61	c cleaning 52994 clauses out of 106013 with flag 1475002/1480552
51.80/50.88	c cleaning 54005 clauses out of 108018 with flag 1530001/1535551
54.11/53.13	c cleaning 54993 clauses out of 110012 with flag 1586000/1591550
56.52/55.54	c cleaning 56003 clauses out of 112019 with flag 1643000/1648550
59.12/58.15	c cleaning 57006 clauses out of 114016 with flag 1701000/1706550
61.44/60.44	c cleaning 58007 clauses out of 116013 with flag 1760003/1765553
64.28/63.22	c cleaning 58988 clauses out of 118003 with flag 1820000/1825550
66.90/65.89	c cleaning 60003 clauses out of 120016 with flag 1881001/1886551
70.02/68.90	c cleaning 61001 clauses out of 122012 with flag 1943000/1948550
72.94/71.82	c cleaning 62005 clauses out of 124012 with flag 2006001/2011551
75.96/74.89	c cleaning 63003 clauses out of 126006 with flag 2070000/2075550
79.08/77.98	c cleaning 63998 clauses out of 128003 with flag 2135000/2140550
82.39/81.26	c cleaning 65004 clauses out of 130009 with flag 2201004/2206554
85.75/84.57	c cleaning 65987 clauses out of 132001 with flag 2268000/2273550
89.67/88.40	c cleaning 66992 clauses out of 134015 with flag 2336001/2341551
93.00/91.79	c cleaning 68002 clauses out of 136022 with flag 2405000/2410550
97.12/95.84	c cleaning 69005 clauses out of 138021 with flag 2475001/2480551
100.04/98.79	c cleaning 70007 clauses out of 140017 with flag 2546002/2551552
104.25/102.94	c cleaning 70998 clauses out of 142008 with flag 2618000/2623550
108.28/106.99	c cleaning 72001 clauses out of 144011 with flag 2691001/2696551
112.21/110.82	c cleaning 73003 clauses out of 146011 with flag 2765002/2770552
116.02/114.65	c cleaning 74000 clauses out of 148006 with flag 2840000/2845550
120.54/119.14	c cleaning 75000 clauses out of 150007 with flag 2916001/2921551
125.07/123.62	c cleaning 76000 clauses out of 152009 with flag 2993003/2998553
130.19/128.76	c cleaning 76996 clauses out of 154006 with flag 3071000/3076550
135.61/134.11	c cleaning 78002 clauses out of 156010 with flag 3150000/3155550
140.51/139.08	c cleaning 78995 clauses out of 158013 with flag 3230005/3235555
145.82/144.32	c cleaning 79991 clauses out of 160013 with flag 3311000/3316550
150.63/149.18	c cleaning 80995 clauses out of 162022 with flag 3393000/3398550
155.94/154.49	c cleaning 82008 clauses out of 164027 with flag 3476000/3481550
161.08/159.59	c cleaning 83005 clauses out of 166021 with flag 3560002/3565552
166.21/164.61	c cleaning 84003 clauses out of 168017 with flag 3645003/3650553
170.95/169.32	c cleaning 85000 clauses out of 170011 with flag 3731000/3736550
175.77/174.19	c cleaning 85999 clauses out of 172012 with flag 3818001/3823551
181.03/179.31	c cleaning 87004 clauses out of 174012 with flag 3906000/3911550
186.64/184.91	c cleaning 88001 clauses out of 176008 with flag 3995000/4000550
192.36/190.63	c cleaning 89000 clauses out of 178007 with flag 4085000/4090550
196.40/194.66	c Got one! Elapsed wall clock time (in seconds):194.515
196.40/194.66	o 15
197.40/195.60	c cleaning 81422 clauses out of 162857 with flag 5000/4164400
197.81/196.03	c cleaning 43708 clauses out of 87435 with flag 11000/4170400
198.01/196.28	c cleaning 25355 clauses out of 50728 with flag 18001/4177401
198.23/196.49	c cleaning 16681 clauses out of 33374 with flag 26002/4185402
198.55/196.70	c cleaning 12838 clauses out of 25691 with flag 35000/4194400
198.55/196.77	c Got one! Elapsed wall clock time (in seconds):196.625
198.55/196.77	o 14
198.68/196.84	c cleaning 9354 clauses out of 18733 with flag 3000/4200280
198.79/196.96	c cleaning 7685 clauses out of 15379 with flag 9000/4206280
198.98/197.10	c cleaning 7341 clauses out of 14695 with flag 16001/4213281
199.10/197.26	c cleaning 7668 clauses out of 15353 with flag 24000/4221280
199.32/197.46	c cleaning 8333 clauses out of 16685 with flag 33000/4230280
199.54/197.68	c cleaning 9169 clauses out of 18352 with flag 43000/4240280
199.84/197.93	c cleaning 10082 clauses out of 20183 with flag 54000/4251280
200.15/198.24	c cleaning 11046 clauses out of 22103 with flag 66002/4263282
200.46/198.57	c cleaning 12019 clauses out of 24055 with flag 79000/4276280
200.90/198.99	c cleaning 13008 clauses out of 26036 with flag 93000/4290280
201.41/199.43	c cleaning 14007 clauses out of 28029 with flag 108001/4305281
201.93/199.96	c cleaning 15001 clauses out of 30021 with flag 124000/4321280
202.53/200.54	c cleaning 16001 clauses out of 32020 with flag 141000/4338280
203.15/201.16	c cleaning 16999 clauses out of 34019 with flag 159000/4356280
203.86/201.81	c cleaning 18001 clauses out of 36020 with flag 178000/4375280
204.48/202.48	c cleaning 19001 clauses out of 38019 with flag 198000/4395280
205.29/203.21	c cleaning 19999 clauses out of 40020 with flag 219002/4416282
206.11/204.08	c cleaning 20999 clauses out of 42019 with flag 241000/4438280
207.03/204.99	c cleaning 22004 clauses out of 44021 with flag 264001/4461281
207.95/205.86	c cleaning 23004 clauses out of 46016 with flag 288000/4485280
208.66/206.54	c cleaning 24004 clauses out of 48013 with flag 313001/4510281
209.38/207.21	c cleaning 24997 clauses out of 50008 with flag 339000/4536280
210.20/208.01	c cleaning 25999 clauses out of 52012 with flag 366001/4563281
211.01/208.83	c cleaning 26993 clauses out of 54012 with flag 394000/4591280
211.84/209.63	c cleaning 28004 clauses out of 56019 with flag 423000/4620280
212.65/210.41	c cleaning 29008 clauses out of 58023 with flag 453008/4650288
213.46/211.22	c cleaning 30003 clauses out of 60008 with flag 484001/4681281
214.38/212.14	c cleaning 30995 clauses out of 62008 with flag 516004/4713284
215.30/213.08	c cleaning 31996 clauses out of 64009 with flag 549000/4746280
216.42/214.11	c cleaning 33004 clauses out of 66014 with flag 583001/4780281
217.53/215.28	c cleaning 34002 clauses out of 68009 with flag 618000/4815280
218.54/216.30	c cleaning 34996 clauses out of 70008 with flag 654001/4851281
219.64/217.34	c cleaning 36002 clauses out of 72011 with flag 691000/4888280
220.97/218.60	c cleaning 37005 clauses out of 74010 with flag 729001/4926281
222.09/219.76	c cleaning 38000 clauses out of 76004 with flag 768000/4965280
223.31/220.97	c cleaning 38986 clauses out of 78004 with flag 808000/5005280
224.72/222.39	c cleaning 40009 clauses out of 80019 with flag 849001/5046281
226.05/223.69	c cleaning 40991 clauses out of 82009 with flag 891000/5088280
227.45/225.02	c cleaning 42007 clauses out of 84021 with flag 934003/5131283
228.87/226.47	c cleaning 43006 clauses out of 86012 with flag 978001/5175281
230.49/228.07	c cleaning 43995 clauses out of 88005 with flag 1023000/5220280
232.20/229.70	c cleaning 44989 clauses out of 90011 with flag 1069001/5266281
233.92/231.41	c cleaning 46005 clauses out of 92022 with flag 1116001/5313281
235.65/233.14	c cleaning 47000 clauses out of 94016 with flag 1164000/5361280
237.37/234.83	c cleaning 47997 clauses out of 96016 with flag 1213000/5410280
239.20/236.62	c cleaning 49009 clauses out of 98020 with flag 1263001/5460281
240.85/238.25	c cleaning 49999 clauses out of 100010 with flag 1314000/5511280
242.67/240.06	c cleaning 51000 clauses out of 102016 with flag 1366005/5563285
244.80/242.15	c cleaning 51994 clauses out of 104011 with flag 1419000/5616280
246.71/244.10	c cleaning 52999 clauses out of 106018 with flag 1473001/5670281
248.82/246.12	c cleaning 54003 clauses out of 108019 with flag 1528001/5725281
250.93/248.25	c cleaning 54997 clauses out of 110015 with flag 1584000/5781280
253.04/250.33	c cleaning 55998 clauses out of 112020 with flag 1641002/5838282
255.23/252.47	c cleaning 57002 clauses out of 114021 with flag 1699001/5896281
257.46/254.61	c cleaning 57999 clauses out of 116018 with flag 1758000/5955280
260.06/257.24	c cleaning 59000 clauses out of 118021 with flag 1818002/6015282
262.68/259.88	c cleaning 59999 clauses out of 120020 with flag 1879001/6076281
265.82/262.97	c cleaning 61003 clauses out of 122023 with flag 1941003/6138283
268.95/266.01	c cleaning 62000 clauses out of 124020 with flag 2004003/6201283
271.56/268.69	c cleaning 62999 clauses out of 126017 with flag 2068000/6265280
274.63/271.62	c cleaning 64003 clauses out of 128019 with flag 2133001/6330281
277.83/274.85	c cleaning 64999 clauses out of 130015 with flag 2199000/6396280
281.24/278.22	c cleaning 66003 clauses out of 132018 with flag 2266002/6463282
284.44/281.41	c cleaning 67005 clauses out of 134013 with flag 2334000/6531280
287.50/284.43	c cleaning 68005 clauses out of 136009 with flag 2403001/6600281
290.71/287.68	c cleaning 68997 clauses out of 138004 with flag 2473001/6670281
294.74/291.62	c cleaning 70000 clauses out of 140006 with flag 2544000/6741280
298.96/295.89	c cleaning 70997 clauses out of 142006 with flag 2616000/6813280
303.68/300.50	c cleaning 71998 clauses out of 144009 with flag 2689000/6886280
308.00/304.87	c cleaning 73003 clauses out of 146012 with flag 2763001/6960281
311.83/308.67	c cleaning 74001 clauses out of 148009 with flag 2838001/7035281
316.54/313.39	c cleaning 75001 clauses out of 150007 with flag 2914000/7111280
320.75/317.59	c cleaning 75995 clauses out of 152006 with flag 2991000/7188280
324.97/321.73	c cleaning 77001 clauses out of 154014 with flag 3069003/7266283
326.18/322.96	c Got one! Elapsed wall clock time (in seconds):322.812
326.18/322.96	o 13
326.68/323.49	c cleaning 56597 clauses out of 113199 with flag 5002/7302469
326.98/323.78	c cleaning 31295 clauses out of 62600 with flag 11000/7308467
327.29/324.00	c cleaning 19144 clauses out of 38306 with flag 18001/7315468
327.41/324.18	c cleaning 13573 clauses out of 27162 with flag 26001/7323468
327.62/324.40	c cleaning 11287 clauses out of 22588 with flag 35000/7332467
327.92/324.61	c cleaning 10641 clauses out of 21301 with flag 45000/7342467
328.14/324.86	c cleaning 10824 clauses out of 21660 with flag 56000/7353467
328.46/325.16	c cleaning 11413 clauses out of 22836 with flag 68000/7365467
328.76/325.48	c cleaning 12203 clauses out of 24423 with flag 81000/7378467
329.18/325.83	c cleaning 13102 clauses out of 26221 with flag 95001/7392468
329.49/326.15	c cleaning 14053 clauses out of 28118 with flag 110000/7407467
329.80/326.49	c cleaning 15032 clauses out of 30065 with flag 126000/7423467
330.22/326.86	c cleaning 16009 clauses out of 32034 with flag 143001/7440468
330.65/327.26	c cleaning 17008 clauses out of 34024 with flag 161000/7458467
331.07/327.65	c cleaning 18001 clauses out of 36017 with flag 180001/7477468
331.49/328.09	c cleaning 19004 clauses out of 38015 with flag 200000/7497467
332.11/328.62	c cleaning 20003 clauses out of 40011 with flag 221000/7518467
332.62/329.15	c cleaning 21000 clauses out of 42008 with flag 243000/7540467
333.13/329.67	c cleaning 21999 clauses out of 44008 with flag 266000/7563467
333.75/330.24	c cleaning 23007 clauses out of 46013 with flag 290004/7587471
334.35/330.84	c cleaning 24001 clauses out of 48004 with flag 315002/7612469
334.96/331.42	c cleaning 24997 clauses out of 50002 with flag 341001/7638468
335.69/332.12	c cleaning 25984 clauses out of 52004 with flag 368000/7665467
336.40/332.83	c cleaning 27007 clauses out of 54020 with flag 396000/7693467
337.12/333.51	c cleaning 27994 clauses out of 56013 with flag 425000/7722467
337.84/334.29	c cleaning 29000 clauses out of 58019 with flag 455000/7752467
338.65/335.05	c cleaning 30008 clauses out of 60019 with flag 486000/7783467
339.58/335.94	c cleaning 31004 clauses out of 62013 with flag 518002/7815469
340.49/336.87	c cleaning 31998 clauses out of 64008 with flag 551001/7848468
341.50/337.88	c cleaning 32996 clauses out of 66010 with flag 585001/7882468
342.62/338.92	c cleaning 33999 clauses out of 68014 with flag 620001/7917468
343.66/339.99	c cleaning 35006 clauses out of 70015 with flag 656001/7953468
344.78/341.06	c cleaning 36003 clauses out of 72011 with flag 693003/7990470
345.92/342.16	c cleaning 36997 clauses out of 74006 with flag 731001/8028468
347.24/343.43	c cleaning 38001 clauses out of 76008 with flag 770000/8067467
348.36/344.56	c cleaning 39003 clauses out of 78009 with flag 810002/8107469
349.48/345.69	c cleaning 39983 clauses out of 80005 with flag 851001/8148468
350.89/347.01	c cleaning 41007 clauses out of 82022 with flag 893001/8190468
352.22/348.32	c cleaning 42001 clauses out of 84014 with flag 936000/8233467
353.75/349.83	c cleaning 42993 clauses out of 86015 with flag 980002/8277469
355.35/351.45	c cleaning 44006 clauses out of 88020 with flag 1025000/8322467
356.97/353.06	c cleaning 45005 clauses out of 90014 with flag 1071000/8368467
358.37/354.48	c cleaning 46003 clauses out of 92011 with flag 1118002/8415469
360.07/356.10	c cleaning 47001 clauses out of 94010 with flag 1166004/8463471
361.88/357.92	c cleaning 47998 clauses out of 96005 with flag 1215000/8512467
363.61/359.61	c cleaning 49004 clauses out of 98008 with flag 1265001/8562468
365.22/361.25	c cleaning 49992 clauses out of 100004 with flag 1316001/8613468
366.74/362.72	c cleaning 51007 clauses out of 102013 with flag 1368002/8665469
368.38/364.38	c cleaning 51994 clauses out of 104004 with flag 1421000/8718467
370.30/366.21	c cleaning 53005 clauses out of 106010 with flag 1475000/8772467
372.22/368.10	c cleaning 54000 clauses out of 108006 with flag 1530001/8827468
374.14/370.02	c cleaning 55002 clauses out of 110006 with flag 1586001/8883468
375.96/371.88	c cleaning 55996 clauses out of 112003 with flag 1643000/8940467
378.20/374.09	c cleaning 56997 clauses out of 114007 with flag 1701000/8998467
381.01/376.80	c cleaning 57994 clauses out of 116011 with flag 1760001/9057468
383.42/379.25	c cleaning 59001 clauses out of 118017 with flag 1820001/9117468
386.14/381.96	c cleaning 59998 clauses out of 120015 with flag 1881000/9178467
388.86/384.69	c cleaning 60998 clauses out of 122017 with flag 1943000/9240467
391.67/387.41	c cleaning 62001 clauses out of 124022 with flag 2006003/9303470
394.38/390.15	c cleaning 63003 clauses out of 126018 with flag 2070000/9367467
397.39/393.15	c cleaning 63990 clauses out of 128015 with flag 2135000/9432467
400.51/396.25	c cleaning 65012 clauses out of 130025 with flag 2201000/9498467
403.53/399.23	c cleaning 65999 clauses out of 132014 with flag 2268001/9565468
406.45/402.17	c cleaning 66995 clauses out of 134014 with flag 2336000/9633467
409.45/405.10	c cleaning 68005 clauses out of 136020 with flag 2405001/9702468
412.36/408.05	c cleaning 68999 clauses out of 138017 with flag 2475003/9772470
415.68/411.31	c cleaning 70007 clauses out of 140017 with flag 2546002/9843469
418.70/414.30	c cleaning 70993 clauses out of 142009 with flag 2618001/9915468
421.71/417.30	c cleaning 72002 clauses out of 144015 with flag 2691000/9988467
424.84/420.40	c cleaning 73001 clauses out of 146014 with flag 2765001/10062468
429.07/424.63	c cleaning 73995 clauses out of 148012 with flag 2840000/10137467
433.18/428.71	c cleaning 75007 clauses out of 150018 with flag 2916001/10213468
437.28/432.87	c cleaning 75995 clauses out of 152010 with flag 2993000/10290467
441.69/437.26	c cleaning 77007 clauses out of 154016 with flag 3071001/10368468
445.91/441.49	c cleaning 77996 clauses out of 156009 with flag 3150001/10447468
450.43/445.92	c cleaning 78993 clauses out of 158012 with flag 3230000/10527467
454.45/449.98	c cleaning 79997 clauses out of 160020 with flag 3311001/10608468
458.77/454.25	c cleaning 81007 clauses out of 162023 with flag 3393001/10690468
463.38/458.85	c cleaning 82002 clauses out of 164015 with flag 3476000/10773467
468.09/463.57	c cleaning 82999 clauses out of 166015 with flag 3560002/10857469
472.62/468.00	c cleaning 84003 clauses out of 168015 with flag 3645001/10942468
477.16/472.58	c cleaning 85004 clauses out of 170012 with flag 3731001/11028468
481.69/477.05	c cleaning 85999 clauses out of 172007 with flag 3818000/11115467
486.12/481.45	c cleaning 86997 clauses out of 174009 with flag 3906001/11203468
491.14/486.45	c cleaning 88001 clauses out of 176016 with flag 3995005/11292472
496.25/491.55	c cleaning 89000 clauses out of 178010 with flag 4085000/11382467
501.20/496.47	c cleaning 89999 clauses out of 180010 with flag 4176000/11473467
506.73/501.95	c cleaning 90990 clauses out of 182011 with flag 4268000/11565467
513.05/508.23	c cleaning 91994 clauses out of 184021 with flag 4361000/11658467
518.67/513.82	c cleaning 93004 clauses out of 186028 with flag 4455001/11752468
525.59/520.72	c cleaning 94008 clauses out of 188025 with flag 4550002/11847469
530.91/526.00	c cleaning 95004 clauses out of 190016 with flag 4646001/11943468
537.34/532.48	c cleaning 96001 clauses out of 192011 with flag 4743000/12040467
542.76/537.84	c cleaning 96999 clauses out of 194015 with flag 4841005/12138472
548.67/543.77	c cleaning 97999 clauses out of 196012 with flag 4940001/12237468
554.42/549.40	c cleaning 98996 clauses out of 198013 with flag 5040001/12337468
561.40/556.30	c cleaning 100002 clauses out of 200016 with flag 5141000/12438467
568.92/563.86	c cleaning 101008 clauses out of 202016 with flag 5243002/12540469
576.45/571.39	c cleaning 101990 clauses out of 204010 with flag 5346004/12643471
583.89/578.77	c cleaning 103001 clauses out of 206016 with flag 5450000/12747467
591.62/586.46	c cleaning 103997 clauses out of 208016 with flag 5555001/12852468
599.53/594.30	c cleaning 105005 clauses out of 210018 with flag 5661000/12958467
607.14/601.98	c cleaning 105998 clauses out of 212013 with flag 5768000/13065467
614.96/609.72	c cleaning 106999 clauses out of 214015 with flag 5876000/13173467
622.57/617.39	c cleaning 108009 clauses out of 216019 with flag 5985003/13282470
631.02/625.79	c cleaning 109001 clauses out of 218009 with flag 6095002/13392469
639.35/634.00	c cleaning 110004 clauses out of 220009 with flag 6206003/13503470
648.18/642.83	c cleaning 110988 clauses out of 222003 with flag 6318001/13615468
657.11/651.79	c cleaning 111999 clauses out of 224016 with flag 6431002/13728469
666.24/660.81	c cleaning 113003 clauses out of 226015 with flag 6545000/13842467
674.76/669.38	c cleaning 113997 clauses out of 228012 with flag 6660000/13957467
683.29/677.87	c cleaning 115001 clauses out of 230015 with flag 6776000/14073467
690.73/685.30	c cleaning 115991 clauses out of 232014 with flag 6893000/14190467
698.74/693.22	c cleaning 117006 clauses out of 234025 with flag 7011002/14308469
706.29/700.74	c cleaning 117998 clauses out of 236017 with flag 7130000/14427467
714.08/708.44	c cleaning 118995 clauses out of 238019 with flag 7250000/14547467
722.30/716.69	c cleaning 119999 clauses out of 240024 with flag 7371000/14668467
728.93/723.21	c cleaning 120996 clauses out of 242026 with flag 7493001/14790468
736.88/731.17	c cleaning 122000 clauses out of 244029 with flag 7616000/14913467
745.81/740.00	c cleaning 123011 clauses out of 246030 with flag 7740001/15037468
756.21/750.43	c cleaning 124004 clauses out of 248018 with flag 7865000/15162467
767.16/761.36	c cleaning 125009 clauses out of 250018 with flag 7991004/15288471
776.50/770.66	c cleaning 126003 clauses out of 252009 with flag 8118004/15415471
786.94/781.02	c cleaning 126995 clauses out of 254003 with flag 8246001/15543468
799.86/793.95	c cleaning 127997 clauses out of 256007 with flag 8375000/15672467
813.18/807.28	c cleaning 128995 clauses out of 258012 with flag 8505002/15802469
823.90/817.98	c cleaning 130003 clauses out of 260015 with flag 8636000/15933467
835.24/829.22	c cleaning 131008 clauses out of 262015 with flag 8768003/16065470
848.16/842.13	c cleaning 131995 clauses out of 264005 with flag 8901001/16198468
861.09/855.07	c cleaning 132999 clauses out of 266011 with flag 9035002/16332469
874.12/868.07	c cleaning 134007 clauses out of 268013 with flag 9170003/16467470
887.04/880.96	c cleaning 134997 clauses out of 270004 with flag 9306001/16603468
900.39/894.25	c cleaning 135992 clauses out of 272006 with flag 9443000/16740467
914.12/907.97	c cleaning 137005 clauses out of 274017 with flag 9581003/16878470
928.84/922.66	c cleaning 138002 clauses out of 276011 with flag 9720002/17017469
942.48/936.25	c cleaning 138984 clauses out of 278008 with flag 9860001/17157468
956.12/949.80	c cleaning 140004 clauses out of 280025 with flag 10001002/17298469
969.96/963.68	c cleaning 141005 clauses out of 282019 with flag 10143000/17440467
986.30/979.96	c cleaning 141982 clauses out of 284014 with flag 10286000/17583467
1003.83/997.41	c cleaning 143010 clauses out of 286032 with flag 10430000/17727467
1020.49/1014.00	c cleaning 144002 clauses out of 288024 with flag 10575002/17872469
1035.94/1029.40	c cleaning 145008 clauses out of 290021 with flag 10721001/18018468
1051.07/1044.55	c cleaning 146005 clauses out of 292013 with flag 10868001/18165468
1065.72/1059.20	c cleaning 146999 clauses out of 294010 with flag 11016003/18313470
1079.87/1073.28	c cleaning 147992 clauses out of 296009 with flag 11165001/18462468
1096.81/1090.18	c cleaning 148996 clauses out of 298016 with flag 11315000/18612467
1113.04/1106.33	c cleaning 150001 clauses out of 300020 with flag 11466000/18763467
1129.57/1122.85	c cleaning 151001 clauses out of 302020 with flag 11618001/18915468
1148.31/1141.51	c cleaning 152002 clauses out of 304018 with flag 11771000/19068467
1163.82/1157.10	c cleaning 152994 clauses out of 306016 with flag 11925000/19222467
1179.14/1172.30	c cleaning 154005 clauses out of 308022 with flag 12080000/19377467
1194.47/1187.62	c cleaning 155001 clauses out of 310019 with flag 12236002/19533469
1214.20/1207.30	c cleaning 155994 clauses out of 312016 with flag 12393000/19690467
1232.72/1225.82	c cleaning 157001 clauses out of 314022 with flag 12551000/19848467
1249.38/1242.43	c cleaning 157995 clauses out of 316021 with flag 12710000/20007467
1266.31/1259.39	c cleaning 159010 clauses out of 318026 with flag 12870000/20167467
1283.15/1276.18	c cleaning 160011 clauses out of 320023 with flag 13031007/20328474
1301.89/1294.86	c cleaning 160985 clauses out of 322005 with flag 13193000/20490467
1320.06/1312.94	c cleaning 162006 clauses out of 324023 with flag 13356003/20653470
1337.42/1330.26	c cleaning 163000 clauses out of 326014 with flag 13520000/20817467
1352.48/1345.26	c cleaning 164000 clauses out of 328014 with flag 13685000/20982467
1369.12/1361.88	c cleaning 164990 clauses out of 330014 with flag 13851000/21148467
1388.16/1380.82	c cleaning 166005 clauses out of 332024 with flag 14018000/21315467
1404.69/1397.32	c cleaning 167000 clauses out of 334019 with flag 14186000/21483467
1422.83/1415.42	c cleaning 167997 clauses out of 336019 with flag 14355000/21652467
1444.16/1436.70	c cleaning 169004 clauses out of 338023 with flag 14525001/21822468
1463.74/1456.24	c cleaning 169994 clauses out of 340019 with flag 14696001/21993468
1482.07/1474.51	c cleaning 170996 clauses out of 342025 with flag 14868001/22165468
1499.23/1491.62	c cleaning 172010 clauses out of 344030 with flag 15041002/22338469
1519.46/1511.80	c cleaning 172990 clauses out of 346018 with flag 15215000/22512467
1536.18/1528.56	c cleaning 174007 clauses out of 348029 with flag 15390001/22687468
1561.23/1553.50	c cleaning 175010 clauses out of 350021 with flag 15566000/22863467
1580.96/1573.26	c cleaning 176001 clauses out of 352014 with flag 15743003/23040470
1602.30/1594.56	c cleaning 177002 clauses out of 354010 with flag 15921000/23218467
1624.14/1616.39	c cleaning 177996 clauses out of 356009 with flag 16100001/23397468
1647.46/1639.65	c cleaning 178999 clauses out of 358012 with flag 16280000/23577467
1668.60/1660.74	c cleaning 179996 clauses out of 360016 with flag 16461003/23758470
1690.54/1682.66	c cleaning 180992 clauses out of 362017 with flag 16643000/23940467
1713.31/1705.31	c cleaning 182001 clauses out of 364025 with flag 16826000/24123467
1735.45/1727.46	c cleaning 182995 clauses out of 366024 with flag 17010000/24307467
1762.91/1754.89	c cleaning 184011 clauses out of 368029 with flag 17195000/24492467
1790.27/1782.12	c cleaning 184990 clauses out of 370018 with flag 17381000/24678467
1800.05/1791.82	c starts		: 380
1800.05/1791.82	c conflicts		: 24791786
1800.05/1791.82	c decisions		: 49214792
1800.05/1791.82	c propagations		: 310660534
1800.05/1791.82	c inspects		: 19854086631
1800.05/1791.82	c shortcuts		: 0
1800.05/1791.82	c learnt literals	: 0
1800.05/1791.82	c learnt binary clauses	: 0
1800.05/1791.82	c learnt ternary clauses	: 0
1800.05/1791.82	c learnt constraints	: 24791786
1800.05/1791.82	c ignored constraints	: 0
1800.05/1791.82	c root simplifications	: 0
1800.05/1791.82	c removed literals (reason simplification)	: 0
1800.05/1791.82	c reason swapping (by a shorter reason)	: 0
1800.05/1791.82	c Calls to reduceDB	: 348
1800.05/1791.82	c number of reductions to clauses (during analyze)	: 0
1800.05/1791.82	c number of learned constraints concerned by reduction	: 0
1800.05/1791.82	c number of learning phase by resolution	: 0
1800.05/1791.82	c number of learning phase by cutting planes	: 0
1800.05/1791.82	c speed (assignments/second)	: 173395.69374892555
1800.05/1791.82	c non guided choices	0
1800.05/1791.85	c learnt constraints type 
1800.05/1791.85	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 298424
1800.05/1791.85	c constraints type 
1800.05/1791.85	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100
1800.05/1791.85	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.05/1791.85	c 101 constraints processed.
1800.05/1791.85	s SATISFIABLE
1800.05/1791.85	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 
1800.05/1791.85	c objective function=13
1800.05/1791.86	c Total wall clock time (in seconds): 1791.712

Verifier Data 

OK	13

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.01 1.99 1.99 3/196 23096
/proc/meminfo: memFree=28232540/32873844 swapFree=6584/6584
[pid=23096] ppid=23094 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/23096/stat : 23096 (java) R 23094 23096 21531 0 -1 4202496 455 0 0 0 0 0 0 0 20 0 1 0 254185411 9515008 185 33554432000 1073741824 1073778376 140737164094624 140737164083688 273579863335 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23096/statm: 2323 185 143 9 0 71 0

[startup+0.0616389 s]
/proc/loadavg: 2.01 1.99 1.99 3/196 23096
/proc/meminfo: memFree=28232540/32873844 swapFree=6584/6584
[pid=23096] ppid=23094 vsize=9225560 CPUtime=0.01 cores=1,3,5,7
/proc/23096/stat : 23096 (java) S 23094 23096 21531 0 -1 4202496 2967 0 1 0 1 0 0 0 20 0 13 0 254185411 9446973440 3666 33554432000 1073741824 1073778376 140737164094624 140737164085760 273592385597 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23096/statm: 2306390 3666 1661 9 0 2297091 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9225560

[startup+0.100365 s]
/proc/loadavg: 2.01 1.99 1.99 3/196 23096
/proc/meminfo: memFree=28232540/32873844 swapFree=6584/6584
[pid=23096] ppid=23094 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/23096/stat : 23096 (java) S 23094 23096 21531 0 -1 4202496 3213 0 1 0 5 1 0 0 20 0 18 0 254185411 9787813888 4422 33554432000 1073741824 1073778376 140737164094624 140737164085760 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23096/statm: 2389603 4424 1759 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412

[startup+0.300272 s]
/proc/loadavg: 2.01 1.99 1.99 3/196 23096
/proc/meminfo: memFree=28232540/32873844 swapFree=6584/6584
[pid=23096] ppid=23094 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/23096/stat : 23096 (java) S 23094 23096 21531 0 -1 4202496 6826 0 1 0 45 1 0 0 20 0 19 0 254185411 9855975424 7465 33554432000 1073741824 1073778376 140737164094624 140737164085760 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23096/statm: 2406244 7465 2222 9 0 2396937 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9624976

[startup+0.70027 s]
/proc/loadavg: 2.01 1.99 1.99 3/196 23096
/proc/meminfo: memFree=28232540/32873844 swapFree=6584/6584
[pid=23096] ppid=23094 vsize=9624976 CPUtime=0.99 cores=1,3,5,7
/proc/23096/stat : 23096 (java) S 23094 23096 21531 0 -1 4202496 7577 0 1 0 97 2 0 0 20 0 19 0 254185411 9855975424 9629 33554432000 1073741824 1073778376 140737164094624 140737164085760 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23096/statm: 2406244 9629 2261 9 0 2396937 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 9624976

[startup+1.50065 s]
/proc/loadavg: 2.01 1.99 1.99 3/216 23118
/proc/meminfo: memFree=28201524/32873844 swapFree=6584/6584
[pid=23096] ppid=23094 vsize=9624976 CPUtime=1.83 cores=1,3,5,7
/proc/23096/stat : 23096 (java) S 23094 23096 21531 0 -1 4202496 7730 0 1 0 181 2 0 0 20 0 19 0 254185411 9855975424 10670 33554432000 1073741824 1073778376 140737164094624 140737164085760 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23096/statm: 2406244 10670 2262 9 0 2396937 0
[pid=23096/tid=23098] ppid=23094 vsize=9624976 CPUtime=1.34 cores=1,3,5,7
/proc/23096/task/23098/stat : 23098 (java) R 23094 23096 21531 0 -1 4202560 2464 0 1 0 134 0 0 0 20 0 19 0 254185412 9855975424 10670 33554432000 1073741824 1073778376 140737164094624 139969787085208 139969645930677 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23096/tid=23099] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23099/stat : 23099 (java) S 23094 23096 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254185414 9855975424 10670 33554432000 1073741824 1073778376 140737164094624 139969765186600 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23096/tid=23100] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23100/stat : 23100 (java) S 23094 23096 21531 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254185414 9855975424 10670 33554432000 1073741824 1073778376 140737164094624 139969764133800 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23096/tid=23101] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23101/stat : 23101 (java) S 23094 23096 21531 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254185414 9855975424 10670 33554432000 1073741824 1073778376 140737164094624 139969561619240 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23096/tid=23102] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23102/stat : 23102 (java) S 23094 23096 21531 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254185414 9855975424 10670 33554432000 1073741824 1073778376 140737164094624 139969560566440 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23096/tid=23103] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23103/stat : 23103 (java) S 23094 23096 21531 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254185414 9855975424 10670 33554432000 1073741824 1073778376 140737164094624 139969559513640 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23096/tid=23104] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23104/stat : 23104 (java) S 23094 23096 21531 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254185414 9855975424 10670 33554432000 1073741824 1073778376 140737164094624 139969558460840 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23096/tid=23105] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23105/stat : 23105 (java) S 23094 23096 21531 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254185414 9855975424 10670 33554432000 1073741824 1073778376 140737164094624 139969557408040 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23096/tid=23106] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23106/stat : 23106 (java) S 23094 23096 21531 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254185414 9855975424 10670 33554432000 1073741824 1073778376 140737164094624 139969556355240 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23096/tid=23107] ppid=23094 vsize=9624976 CPUtime=0.06 cores=1,3,5,7
/proc/23096/task/23107/stat : 23107 (java) S 23094 23096 21531 0 -1 4202560 33 0 0 0 6 0 0 0 20 0 19 0 254185415 9855975424 10670 33554432000 1073741824 1073778376 140737164094624 139969543945192 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23096/tid=23108] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23108/stat : 23108 (java) S 23094 23096 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254185416 9855975424 10670 33554432000 1073741824 1073778376 140737164094624 139969542891256 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23096/tid=23109] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23109/stat : 23109 (java) S 23094 23096 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254185416 9855975424 10670 33554432000 1073741824 1073778376 140737164094624 139969541838344 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23096/tid=23110] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23110/stat : 23110 (java) S 23094 23096 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254185420 9855975424 10670 33554432000 1073741824 1073778376 140737164094624 139969540786832 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23096/tid=23111] ppid=23094 vsize=9624976 CPUtime=0.17 cores=1,3,5,7
/proc/23096/task/23111/stat : 23111 (java) S 23094 23096 21531 0 -1 4202560 2540 0 0 0 17 0 0 0 20 0 19 0 254185420 9855975424 10670 33554432000 1073741824 1073778376 140737164094624 139969539733944 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23096/tid=23112] ppid=23094 vsize=9624976 CPUtime=0.15 cores=1,3,5,7
/proc/23096/task/23112/stat : 23112 (java) S 23094 23096 21531 0 -1 4202560 1462 0 0 0 15 0 0 0 20 0 19 0 254185420 9855975424 10670 33554432000 1073741824 1073778376 140737164094624 139969538681144 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23096/tid=23113] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23113/stat : 23113 (java) S 23094 23096 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254185420 9855975424 10670 33554432000 1073741824 1073778376 140737164094624 139969537628536 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23096/tid=23114] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23114/stat : 23114 (java) S 23094 23096 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254185420 9855975424 10670 33554432000 1073741824 1073778376 140737164094624 139969536575944 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23096/tid=23116] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23116/stat : 23116 (java) S 23094 23096 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254185430 9855975424 10670 33554432000 1073741824 1073778376 140737164094624 139969535522472 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 9624976

[startup+3.10075 s]
/proc/loadavg: 2.01 1.99 1.99 3/216 23118
/proc/meminfo: memFree=28196892/32873844 swapFree=6584/6584
[pid=23096] ppid=23094 vsize=9624976 CPUtime=3.51 cores=1,3,5,7
/proc/23096/stat : 23096 (java) S 23094 23096 21531 0 -1 4202496 7755 0 1 0 348 3 0 0 20 0 19 0 254185411 9855975424 11198 33554432000 1073741824 1073778376 140737164094624 140737164085760 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23096/statm: 2406244 11198 2262 9 0 2396937 0
[pid=23096/tid=23098] ppid=23094 vsize=9624976 CPUtime=2.84 cores=1,3,5,7
/proc/23096/task/23098/stat : 23098 (java) R 23094 23096 21531 0 -1 4202560 2469 0 1 0 284 0 0 0 20 0 19 0 254185412 9855975424 11198 33554432000 1073741824 1073778376 140737164094624 139969787085208 139969645956426 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23096/tid=23099] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23099/stat : 23099 (java) S 23094 23096 21531 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254185414 9855975424 11198 33554432000 1073741824 1073778376 140737164094624 139969765186600 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23096/tid=23100] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23100/stat : 23100 (java) S 23094 23096 21531 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254185414 9855975424 11198 33554432000 1073741824 1073778376 140737164094624 139969764133800 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23096/tid=23101] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23101/stat : 23101 (java) S 23094 23096 21531 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254185414 9855975424 11198 33554432000 1073741824 1073778376 140737164094624 139969561619240 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23096/tid=23102] ppid=23094 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/23096/task/23102/stat : 23102 (java) S 23094 23096 21531 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 254185414 9855975424 11198 33554432000 1073741824 1073778376 140737164094624 139969560566440 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23096/tid=23103] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23103/stat : 23103 (java) S 23094 23096 21531 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254185414 9855975424 11198 33554432000 1073741824 1073778376 140737164094624 139969559513640 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23096/tid=23104] ppid=23094 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/23096/task/23104/stat : 23104 (java) S 23094 23096 21531 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 254185414 9855975424 11198 33554432000 1073741824 1073778376 140737164094624 139969558460840 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23096/tid=23105] ppid=23094 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/23096/task/23105/stat : 23105 (java) S 23094 23096 21531 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 254185414 9855975424 11198 33554432000 1073741824 1073778376 140737164094624 139969557408040 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23096/tid=23106] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23106/stat : 23106 (java) S 23094 23096 21531 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254185414 9855975424 11198 33554432000 1073741824 1073778376 140737164094624 139969556355240 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23096/tid=23107] ppid=23094 vsize=9624976 CPUtime=0.12 cores=1,3,5,7
/proc/23096/task/23107/stat : 23107 (java) S 23094 23096 21531 0 -1 4202560 33 0 0 0 12 0 0 0 20 0 19 0 254185415 9855975424 11198 33554432000 1073741824 1073778376 140737164094624 139969543945192 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23096/tid=23108] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23108/stat : 23108 (java) S 23094 23096 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254185416 9855975424 11198 33554432000 1073741824 1073778376 140737164094624 139969542891256 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23096/tid=23109] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23109/stat : 23109 (java) S 23094 23096 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254185416 9855975424 11198 33554432000 1073741824 1073778376 140737164094624 139969541838344 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23096/tid=23110] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23110/stat : 23110 (java) S 23094 23096 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254185420 9855975424 11198 33554432000 1073741824 1073778376 140737164094624 139969540786832 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23096/tid=23111] ppid=23094 vsize=9624976 CPUtime=0.17 cores=1,3,5,7
/proc/23096/task/23111/stat : 23111 (java) S 23094 23096 21531 0 -1 4202560 2540 0 0 0 17 0 0 0 20 0 19 0 254185420 9855975424 11198 33554432000 1073741824 1073778376 140737164094624 139969539733944 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23096/tid=23112] ppid=23094 vsize=9624976 CPUtime=0.15 cores=1,3,5,7
/proc/23096/task/23112/stat : 23112 (java) S 23094 23096 21531 0 -1 4202560 1462 0 0 0 15 0 0 0 20 0 19 0 254185420 9855975424 11198 33554432000 1073741824 1073778376 140737164094624 139969538681144 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23096/tid=23113] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23113/stat : 23113 (java) S 23094 23096 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254185420 9855975424 11198 33554432000 1073741824 1073778376 140737164094624 139969537628536 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23096/tid=23114] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23114/stat : 23114 (java) S 23094 23096 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254185420 9855975424 11198 33554432000 1073741824 1073778376 140737164094624 139969536575944 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23096/tid=23116] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23116/stat : 23116 (java) S 23094 23096 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254185430 9855975424 11198 33554432000 1073741824 1073778376 140737164094624 139969535522472 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.51
Current children cumulated vsize (KiB) 9624976

[startup+6.30063 s]
/proc/loadavg: 2.00 1.99 1.99 3/216 23118
/proc/meminfo: memFree=28192424/32873844 swapFree=6584/6584
[pid=23096] ppid=23094 vsize=9624976 CPUtime=6.76 cores=1,3,5,7
/proc/23096/stat : 23096 (java) S 23094 23096 21531 0 -1 4202496 7767 0 1 0 673 3 0 0 20 0 19 0 254185411 9855975424 11663 33554432000 1073741824 1073778376 140737164094624 140737164085760 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23096/statm: 2406244 11663 2262 9 0 2396937 0
[pid=23096/tid=23098] ppid=23094 vsize=9624976 CPUtime=5.92 cores=1,3,5,7
/proc/23096/task/23098/stat : 23098 (java) R 23094 23096 21531 0 -1 4202560 2476 0 1 0 592 0 0 0 20 0 19 0 254185412 9855975424 11663 33554432000 1073741824 1073778376 140737164094624 139969787085208 139969646005018 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23096/tid=23099] ppid=23094 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/23096/task/23099/stat : 23099 (java) S 23094 23096 21531 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 254185414 9855975424 11663 33554432000 1073741824 1073778376 140737164094624 139969765186600 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23096/tid=23100] ppid=23094 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/23096/task/23100/stat : 23100 (java) S 23094 23096 21531 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 254185414 9855975424 11663 33554432000 1073741824 1073778376 140737164094624 139969764133800 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23096/tid=23101] ppid=23094 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/23096/task/23101/stat : 23101 (java) S 23094 23096 21531 0 -1 4202560 4 0 0 0 2 0 0 0 20 0 19 0 254185414 9855975424 11663 33554432000 1073741824 1073778376 140737164094624 139969561619240 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23096/tid=23102] ppid=23094 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/23096/task/23102/stat : 23102 (java) S 23094 23096 21531 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 254185414 9855975424 11663 33554432000 1073741824 1073778376 140737164094624 139969560566440 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23096/tid=23103] ppid=23094 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/23096/task/23103/stat : 23103 (java) S 23094 23096 21531 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 254185414 9855975424 11663 33554432000 1073741824 1073778376 140737164094624 139969559513640 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23096/tid=23104] ppid=23094 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/23096/task/23104/stat : 23104 (java) S 23094 23096 21531 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 19 0 254185414 9855975424 11663 33554432000 1073741824 1073778376 140737164094624 139969558460840 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23096/tid=23105] ppid=23094 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/23096/task/23105/stat : 23105 (java) S 23094 23096 21531 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 254185414 9855975424 11663 33554432000 1073741824 1073778376 140737164094624 139969557408040 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23096/tid=23106] ppid=23094 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/23096/task/23106/stat : 23106 (java) S 23094 23096 21531 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 254185414 9855975424 11663 33554432000 1073741824 1073778376 140737164094624 139969556355240 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23096/tid=23107] ppid=23094 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/23096/task/23107/stat : 23107 (java) S 23094 23096 21531 0 -1 4202560 34 0 0 0 21 0 0 0 20 0 19 0 254185415 9855975424 11663 33554432000 1073741824 1073778376 140737164094624 139969543945192 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23096/tid=23108] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23108/stat : 23108 (java) S 23094 23096 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254185416 9855975424 11663 33554432000 1073741824 1073778376 140737164094624 139969542891256 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23096/tid=23109] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23109/stat : 23109 (java) S 23094 23096 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254185416 9855975424 11663 33554432000 1073741824 1073778376 140737164094624 139969541838344 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23096/tid=23110] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23110/stat : 23110 (java) S 23094 23096 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254185420 9855975424 11663 33554432000 1073741824 1073778376 140737164094624 139969540786832 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23096/tid=23111] ppid=23094 vsize=9624976 CPUtime=0.17 cores=1,3,5,7
/proc/23096/task/23111/stat : 23111 (java) S 23094 23096 21531 0 -1 4202560 2540 0 0 0 17 0 0 0 20 0 19 0 254185420 9855975424 11663 33554432000 1073741824 1073778376 140737164094624 139969539733944 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23096/tid=23112] ppid=23094 vsize=9624976 CPUtime=0.15 cores=1,3,5,7
/proc/23096/task/23112/stat : 23112 (java) S 23094 23096 21531 0 -1 4202560 1462 0 0 0 15 0 0 0 20 0 19 0 254185420 9855975424 11663 33554432000 1073741824 1073778376 140737164094624 139969538681144 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23096/tid=23113] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23113/stat : 23113 (java) S 23094 23096 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254185420 9855975424 11663 33554432000 1073741824 1073778376 140737164094624 139969537628536 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23096/tid=23114] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23114/stat : 23114 (java) S 23094 23096 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254185420 9855975424 11663 33554432000 1073741824 1073778376 140737164094624 139969536575944 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23096/tid=23116] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23116/stat : 23116 (java) S 23094 23096 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254185430 9855975424 11663 33554432000 1073741824 1073778376 140737164094624 139969535522472 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.76
Current children cumulated vsize (KiB) 9624976

[startup+12.7008 s]

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

[pid=23096/tid=23111] ppid=23094 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/23096/task/23111/stat : 23111 (java) S 23094 23096 21531 0 -1 4202560 2713 0 0 0 20 0 0 0 20 0 19 0 254185420 9855975424 34849 33554432000 1073741824 1073778376 140737164094624 139969539733944 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23096/tid=23112] ppid=23094 vsize=9624976 CPUtime=0.15 cores=1,3,5,7
/proc/23096/task/23112/stat : 23112 (java) S 23094 23096 21531 0 -1 4202560 1462 0 0 0 15 0 0 0 20 0 19 0 254185420 9855975424 34849 33554432000 1073741824 1073778376 140737164094624 139969538681144 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23096/tid=23113] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23113/stat : 23113 (java) S 23094 23096 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254185420 9855975424 34849 33554432000 1073741824 1073778376 140737164094624 139969537628536 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23096/tid=23114] ppid=23094 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/23096/task/23114/stat : 23114 (java) S 23094 23096 21531 0 -1 4202560 93 0 0 0 43 30 0 0 20 0 19 0 254185420 9855975424 34849 33554432000 1073741824 1073778376 140737164094624 139969536575944 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23096/tid=23116] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23116/stat : 23116 (java) S 23094 23096 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254185430 9855975424 34849 33554432000 1073741824 1073778376 140737164094624 139969535522472 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1670.23
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/215 23190
/proc/meminfo: memFree=28900536/32873844 swapFree=6584/6584
[pid=23096] ppid=23094 vsize=9624976 CPUtime=1730.35 cores=1,3,5,7
/proc/23096/stat : 23096 (java) S 23094 23096 21531 0 -1 4202496 10144 0 1 0 172982 53 0 0 20 0 19 0 254185411 9855975424 34849 33554432000 1073741824 1073778376 140737164094624 140737164085760 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23096/statm: 2406244 34849 2263 9 0 2396937 0
[pid=23096/tid=23098] ppid=23094 vsize=9624976 CPUtime=1701.09 cores=1,3,5,7
/proc/23096/task/23098/stat : 23098 (java) R 23094 23096 21531 0 -1 4202560 2811 0 1 0 170082 27 0 0 20 0 19 0 254185412 9855975424 34849 33554432000 1073741824 1073778376 140737164094624 139969787085088 139969646005051 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23096/tid=23099] ppid=23094 vsize=9624976 CPUtime=1.3 cores=1,3,5,7
/proc/23096/task/23099/stat : 23099 (java) S 23094 23096 21531 0 -1 4202560 273 0 0 0 127 3 0 0 20 0 19 0 254185414 9855975424 34849 33554432000 1073741824 1073778376 140737164094624 139969765186600 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23096/tid=23100] ppid=23094 vsize=9624976 CPUtime=1.31 cores=1,3,5,7
/proc/23096/task/23100/stat : 23100 (java) S 23094 23096 21531 0 -1 4202560 264 0 0 0 129 2 0 0 20 0 19 0 254185414 9855975424 34849 33554432000 1073741824 1073778376 140737164094624 139969764133800 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23096/tid=23101] ppid=23094 vsize=9624976 CPUtime=1.35 cores=1,3,5,7
/proc/23096/task/23101/stat : 23101 (java) S 23094 23096 21531 0 -1 4202560 263 0 0 0 133 2 0 0 20 0 19 0 254185414 9855975424 34849 33554432000 1073741824 1073778376 140737164094624 139969561619240 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23096/tid=23102] ppid=23094 vsize=9624976 CPUtime=1.3 cores=1,3,5,7
/proc/23096/task/23102/stat : 23102 (java) S 23094 23096 21531 0 -1 4202560 150 0 0 0 128 2 0 0 20 0 19 0 254185414 9855975424 34849 33554432000 1073741824 1073778376 140737164094624 139969560566440 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23096/tid=23103] ppid=23094 vsize=9624976 CPUtime=1.3 cores=1,3,5,7
/proc/23096/task/23103/stat : 23103 (java) S 23094 23096 21531 0 -1 4202560 224 0 0 0 127 3 0 0 20 0 19 0 254185414 9855975424 34849 33554432000 1073741824 1073778376 140737164094624 139969559513640 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23096/tid=23104] ppid=23094 vsize=9624976 CPUtime=1.21 cores=1,3,5,7
/proc/23096/task/23104/stat : 23104 (java) S 23094 23096 21531 0 -1 4202560 265 0 0 0 119 2 0 0 20 0 19 0 254185414 9855975424 34849 33554432000 1073741824 1073778376 140737164094624 139969558460840 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23096/tid=23105] ppid=23094 vsize=9624976 CPUtime=1.29 cores=1,3,5,7
/proc/23096/task/23105/stat : 23105 (java) S 23094 23096 21531 0 -1 4202560 188 0 0 0 127 2 0 0 20 0 19 0 254185414 9855975424 34849 33554432000 1073741824 1073778376 140737164094624 139969557408040 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23096/tid=23106] ppid=23094 vsize=9624976 CPUtime=1.35 cores=1,3,5,7
/proc/23096/task/23106/stat : 23106 (java) S 23094 23096 21531 0 -1 4202560 98 0 0 0 134 1 0 0 20 0 19 0 254185414 9855975424 34849 33554432000 1073741824 1073778376 140737164094624 139969556355240 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23096/tid=23107] ppid=23094 vsize=9624976 CPUtime=13.44 cores=1,3,5,7
/proc/23096/task/23107/stat : 23107 (java) S 23094 23096 21531 0 -1 4202560 156 0 0 0 1339 5 0 0 20 0 19 0 254185415 9855975424 34849 33554432000 1073741824 1073778376 140737164094624 139969543945192 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23096/tid=23108] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23108/stat : 23108 (java) S 23094 23096 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254185416 9855975424 34849 33554432000 1073741824 1073778376 140737164094624 139969542891256 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23096/tid=23109] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23109/stat : 23109 (java) S 23094 23096 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254185416 9855975424 34849 33554432000 1073741824 1073778376 140737164094624 139969541838344 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23096/tid=23110] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23110/stat : 23110 (java) S 23094 23096 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254185420 9855975424 34849 33554432000 1073741824 1073778376 140737164094624 139969540786832 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23096/tid=23111] ppid=23094 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/23096/task/23111/stat : 23111 (java) S 23094 23096 21531 0 -1 4202560 2713 0 0 0 20 0 0 0 20 0 19 0 254185420 9855975424 34849 33554432000 1073741824 1073778376 140737164094624 139969539733944 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23096/tid=23112] ppid=23094 vsize=9624976 CPUtime=0.15 cores=1,3,5,7
/proc/23096/task/23112/stat : 23112 (java) S 23094 23096 21531 0 -1 4202560 1462 0 0 0 15 0 0 0 20 0 19 0 254185420 9855975424 34849 33554432000 1073741824 1073778376 140737164094624 139969538681144 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23096/tid=23113] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23113/stat : 23113 (java) S 23094 23096 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254185420 9855975424 34849 33554432000 1073741824 1073778376 140737164094624 139969537628536 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23096/tid=23114] ppid=23094 vsize=9624976 CPUtime=0.76 cores=1,3,5,7
/proc/23096/task/23114/stat : 23114 (java) S 23094 23096 21531 0 -1 4202560 97 0 0 0 45 31 0 0 20 0 19 0 254185420 9855975424 34849 33554432000 1073741824 1073778376 140737164094624 139969536575944 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23096/tid=23116] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23116/stat : 23116 (java) S 23094 23096 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254185430 9855975424 34849 33554432000 1073741824 1073778376 140737164094624 139969535522472 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1730.35
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/215 23190
/proc/meminfo: memFree=28896192/32873844 swapFree=6584/6584
[pid=23096] ppid=23094 vsize=9624976 CPUtime=1790.53 cores=1,3,5,7
/proc/23096/stat : 23096 (java) S 23094 23096 21531 0 -1 4202496 10156 0 1 0 178999 54 0 0 20 0 19 0 254185411 9855975424 35361 33554432000 1073741824 1073778376 140737164094624 140737164085760 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23096/statm: 2406244 35361 2263 9 0 2396937 0
[pid=23096/tid=23098] ppid=23094 vsize=9624976 CPUtime=1760.6 cores=1,3,5,7
/proc/23096/task/23098/stat : 23098 (java) R 23094 23096 21531 0 -1 4202560 2814 0 1 0 176032 28 0 0 20 0 19 0 254185412 9855975424 35361 33554432000 1073741824 1073778376 140737164094624 139969787085208 139969645930529 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23096/tid=23099] ppid=23094 vsize=9624976 CPUtime=1.32 cores=1,3,5,7
/proc/23096/task/23099/stat : 23099 (java) S 23094 23096 21531 0 -1 4202560 273 0 0 0 129 3 0 0 20 0 19 0 254185414 9855975424 35361 33554432000 1073741824 1073778376 140737164094624 139969765186600 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23096/tid=23100] ppid=23094 vsize=9624976 CPUtime=1.33 cores=1,3,5,7
/proc/23096/task/23100/stat : 23100 (java) S 23094 23096 21531 0 -1 4202560 264 0 0 0 131 2 0 0 20 0 19 0 254185414 9855975424 35361 33554432000 1073741824 1073778376 140737164094624 139969764133800 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23096/tid=23101] ppid=23094 vsize=9624976 CPUtime=1.38 cores=1,3,5,7
/proc/23096/task/23101/stat : 23101 (java) S 23094 23096 21531 0 -1 4202560 263 0 0 0 136 2 0 0 20 0 19 0 254185414 9855975424 35361 33554432000 1073741824 1073778376 140737164094624 139969561619240 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23096/tid=23102] ppid=23094 vsize=9624976 CPUtime=1.31 cores=1,3,5,7
/proc/23096/task/23102/stat : 23102 (java) S 23094 23096 21531 0 -1 4202560 150 0 0 0 129 2 0 0 20 0 19 0 254185414 9855975424 35361 33554432000 1073741824 1073778376 140737164094624 139969560566440 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23096/tid=23103] ppid=23094 vsize=9624976 CPUtime=1.32 cores=1,3,5,7
/proc/23096/task/23103/stat : 23103 (java) S 23094 23096 21531 0 -1 4202560 224 0 0 0 129 3 0 0 20 0 19 0 254185414 9855975424 35361 33554432000 1073741824 1073778376 140737164094624 139969559513640 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23096/tid=23104] ppid=23094 vsize=9624976 CPUtime=1.25 cores=1,3,5,7
/proc/23096/task/23104/stat : 23104 (java) S 23094 23096 21531 0 -1 4202560 265 0 0 0 123 2 0 0 20 0 19 0 254185414 9855975424 35361 33554432000 1073741824 1073778376 140737164094624 139969558460840 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23096/tid=23105] ppid=23094 vsize=9624976 CPUtime=1.33 cores=1,3,5,7
/proc/23096/task/23105/stat : 23105 (java) S 23094 23096 21531 0 -1 4202560 188 0 0 0 131 2 0 0 20 0 19 0 254185414 9855975424 35361 33554432000 1073741824 1073778376 140737164094624 139969557408040 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23096/tid=23106] ppid=23094 vsize=9624976 CPUtime=1.37 cores=1,3,5,7
/proc/23096/task/23106/stat : 23106 (java) S 23094 23096 21531 0 -1 4202560 98 0 0 0 136 1 0 0 20 0 19 0 254185414 9855975424 35361 33554432000 1073741824 1073778376 140737164094624 139969556355240 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23096/tid=23107] ppid=23094 vsize=9624976 CPUtime=13.71 cores=1,3,5,7
/proc/23096/task/23107/stat : 23107 (java) S 23094 23096 21531 0 -1 4202560 161 0 0 0 1366 5 0 0 20 0 19 0 254185415 9855975424 35361 33554432000 1073741824 1073778376 140737164094624 139969543945192 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23096/tid=23108] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23108/stat : 23108 (java) S 23094 23096 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254185416 9855975424 35361 33554432000 1073741824 1073778376 140737164094624 139969542891256 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23096/tid=23109] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23109/stat : 23109 (java) S 23094 23096 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254185416 9855975424 35361 33554432000 1073741824 1073778376 140737164094624 139969541838344 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23096/tid=23110] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23110/stat : 23110 (java) S 23094 23096 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254185420 9855975424 35361 33554432000 1073741824 1073778376 140737164094624 139969540786832 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23096/tid=23111] ppid=23094 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/23096/task/23111/stat : 23111 (java) S 23094 23096 21531 0 -1 4202560 2713 0 0 0 20 0 0 0 20 0 19 0 254185420 9855975424 35361 33554432000 1073741824 1073778376 140737164094624 139969539733944 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23096/tid=23112] ppid=23094 vsize=9624976 CPUtime=0.15 cores=1,3,5,7
/proc/23096/task/23112/stat : 23112 (java) S 23094 23096 21531 0 -1 4202560 1462 0 0 0 15 0 0 0 20 0 19 0 254185420 9855975424 35361 33554432000 1073741824 1073778376 140737164094624 139969538681144 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23096/tid=23113] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23113/stat : 23113 (java) S 23094 23096 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254185420 9855975424 35361 33554432000 1073741824 1073778376 140737164094624 139969537628536 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23096/tid=23114] ppid=23094 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/23096/task/23114/stat : 23114 (java) S 23094 23096 21531 0 -1 4202560 101 0 0 0 47 32 0 0 20 0 19 0 254185420 9855975424 35361 33554432000 1073741824 1073778376 140737164094624 139969536575944 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23096/tid=23116] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23116/stat : 23116 (java) S 23094 23096 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254185430 9855975424 35361 33554432000 1073741824 1073778376 140737164094624 139969535522472 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1790.53
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1791.8 s]
/proc/loadavg: 2.01 2.00 2.00 3/215 23190
/proc/meminfo: memFree=28896316/32873844 swapFree=6584/6584
[pid=23096] ppid=23094 vsize=9624976 CPUtime=1800.05 cores=1,3,5,7
/proc/23096/stat : 23096 (java) S 23094 23096 21531 0 -1 4202496 10156 0 1 0 179951 54 0 0 20 0 19 0 254185411 9855975424 35361 33554432000 1073741824 1073778376 140737164094624 140737164085760 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23096/statm: 2406244 35361 2263 9 0 2396937 0
[pid=23096/tid=23098] ppid=23094 vsize=9624976 CPUtime=1770.09 cores=1,3,5,7
/proc/23096/task/23098/stat : 23098 (java) R 23094 23096 21531 0 -1 4202560 2814 0 1 0 176981 28 0 0 20 0 19 0 254185412 9855975424 35361 33554432000 1073741824 1073778376 140737164094624 139969787085088 139969645930568 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23096/tid=23099] ppid=23094 vsize=9624976 CPUtime=1.32 cores=1,3,5,7
/proc/23096/task/23099/stat : 23099 (java) S 23094 23096 21531 0 -1 4202560 273 0 0 0 129 3 0 0 20 0 19 0 254185414 9855975424 35361 33554432000 1073741824 1073778376 140737164094624 139969765186600 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23096/tid=23100] ppid=23094 vsize=9624976 CPUtime=1.33 cores=1,3,5,7
/proc/23096/task/23100/stat : 23100 (java) S 23094 23096 21531 0 -1 4202560 264 0 0 0 131 2 0 0 20 0 19 0 254185414 9855975424 35361 33554432000 1073741824 1073778376 140737164094624 139969764133800 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23096/tid=23101] ppid=23094 vsize=9624976 CPUtime=1.38 cores=1,3,5,7
/proc/23096/task/23101/stat : 23101 (java) S 23094 23096 21531 0 -1 4202560 263 0 0 0 136 2 0 0 20 0 19 0 254185414 9855975424 35361 33554432000 1073741824 1073778376 140737164094624 139969561619240 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23096/tid=23102] ppid=23094 vsize=9624976 CPUtime=1.31 cores=1,3,5,7
/proc/23096/task/23102/stat : 23102 (java) S 23094 23096 21531 0 -1 4202560 150 0 0 0 129 2 0 0 20 0 19 0 254185414 9855975424 35361 33554432000 1073741824 1073778376 140737164094624 139969560566440 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23096/tid=23103] ppid=23094 vsize=9624976 CPUtime=1.32 cores=1,3,5,7
/proc/23096/task/23103/stat : 23103 (java) S 23094 23096 21531 0 -1 4202560 224 0 0 0 129 3 0 0 20 0 19 0 254185414 9855975424 35361 33554432000 1073741824 1073778376 140737164094624 139969559513640 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23096/tid=23104] ppid=23094 vsize=9624976 CPUtime=1.25 cores=1,3,5,7
/proc/23096/task/23104/stat : 23104 (java) S 23094 23096 21531 0 -1 4202560 265 0 0 0 123 2 0 0 20 0 19 0 254185414 9855975424 35361 33554432000 1073741824 1073778376 140737164094624 139969558460840 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23096/tid=23105] ppid=23094 vsize=9624976 CPUtime=1.33 cores=1,3,5,7
/proc/23096/task/23105/stat : 23105 (java) S 23094 23096 21531 0 -1 4202560 188 0 0 0 131 2 0 0 20 0 19 0 254185414 9855975424 35361 33554432000 1073741824 1073778376 140737164094624 139969557408040 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23096/tid=23106] ppid=23094 vsize=9624976 CPUtime=1.37 cores=1,3,5,7
/proc/23096/task/23106/stat : 23106 (java) S 23094 23096 21531 0 -1 4202560 98 0 0 0 136 1 0 0 20 0 19 0 254185414 9855975424 35361 33554432000 1073741824 1073778376 140737164094624 139969556355240 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23096/tid=23107] ppid=23094 vsize=9624976 CPUtime=13.71 cores=1,3,5,7
/proc/23096/task/23107/stat : 23107 (java) S 23094 23096 21531 0 -1 4202560 161 0 0 0 1366 5 0 0 20 0 19 0 254185415 9855975424 35361 33554432000 1073741824 1073778376 140737164094624 139969543945192 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23096/tid=23108] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23108/stat : 23108 (java) S 23094 23096 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254185416 9855975424 35361 33554432000 1073741824 1073778376 140737164094624 139969542891256 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23096/tid=23109] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23109/stat : 23109 (java) S 23094 23096 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254185416 9855975424 35361 33554432000 1073741824 1073778376 140737164094624 139969541838344 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23096/tid=23110] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23110/stat : 23110 (java) S 23094 23096 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254185420 9855975424 35361 33554432000 1073741824 1073778376 140737164094624 139969540786832 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23096/tid=23111] ppid=23094 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/23096/task/23111/stat : 23111 (java) S 23094 23096 21531 0 -1 4202560 2713 0 0 0 20 0 0 0 20 0 19 0 254185420 9855975424 35361 33554432000 1073741824 1073778376 140737164094624 139969539733944 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23096/tid=23112] ppid=23094 vsize=9624976 CPUtime=0.15 cores=1,3,5,7
/proc/23096/task/23112/stat : 23112 (java) S 23094 23096 21531 0 -1 4202560 1462 0 0 0 15 0 0 0 20 0 19 0 254185420 9855975424 35361 33554432000 1073741824 1073778376 140737164094624 139969538681144 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23096/tid=23113] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23113/stat : 23113 (java) S 23094 23096 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254185420 9855975424 35361 33554432000 1073741824 1073778376 140737164094624 139969537628536 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23096/tid=23114] ppid=23094 vsize=9624976 CPUtime=0.8 cores=1,3,5,7
/proc/23096/task/23114/stat : 23114 (java) S 23094 23096 21531 0 -1 4202560 101 0 0 0 48 32 0 0 20 0 19 0 254185420 9855975424 35361 33554432000 1073741824 1073778376 140737164094624 139969536575944 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23096/tid=23116] ppid=23094 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23116/stat : 23116 (java) S 23094 23096 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254185430 9855975424 35361 33554432000 1073741824 1073778376 140737164094624 139969535522472 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9624976

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23096 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=970123
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=962853
# CPU time returned by wait4() is 1795.93
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1791.86
CPU time (s): 1800.05
CPU user time (s): 1799.51
CPU system time (s): 0.54
CPU usage (%): 100.457
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.97
system time used= 0.962853
maximum resident set size= 141604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10199
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47565
involuntary context switches= 28547

runsolver used 6.05008 second user time and 16.0246 second system time

The end

Launcher Data 

Begin job on node132 at 2012-05-24 19:30:01
IDJOB=3688163
IDBENCH=2860
IDSOLVER=2269
FILE ID=node132/3688163-1337880601
RUNJOBID= node132-1337871880-21548
PBS_JOBID= 14620072
Free space on /tmp= 71636 MiB

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

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

MD5SUM BENCH= 863d0ff562dc066d0163e86da5775aea
RANDOM SEED=1171761471

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:        28233300 kB
Buffers:          213644 kB
Cached:          2701568 kB
SwapCached:            0 kB
Active:          1616988 kB
Inactive:        2257148 kB
Active(anon):     961520 kB
Inactive(anon):        0 kB
Active(file):     655468 kB
Inactive(file):  2257148 kB
Unevictable:        6584 kB
Mlocked:            6584 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               648 kB
Writeback:             0 kB
AnonPages:        975980 kB
Mapped:            22596 kB
Shmem:               212 kB
Slab:             628904 kB
SReclaimable:      70604 kB
SUnreclaim:       558300 kB
KernelStack:        1776 kB
PageTables:         6012 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1589952 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    929792 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= 71636 MiB
End job on node132 at 2012-05-24 19:59:55