Trace number 3687722

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT 4j PB RES // CP 2.3.2 SnapshotSAT (TO)26 1800.18 980.266

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-sao2.b.opb
MD5SUMa91a8cbbe2491e496acc19538dbd623f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark0.040993
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved YES
Number of variables372
Total number of constraints772
Number of constraints which are clauses772
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint98
Number of terms in the objective function 372
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 372
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 372
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.2.v20120418
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.10/0.12	c Pseudo Boolean Optimization by upper bound
0.10/0.12	c ManyCore solver with 2 solvers running in parallel
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c c --- End Solver configuration ---
0.10/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.12	c No reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-3687722-1337873769.opb
0.10/0.12	c reading problem ... 
0.56/0.30	c ... done. Wall clock time 0.183s.
0.56/0.30	c declared #vars     372
0.56/0.30	c #constraints  649
0.56/0.30	c constraints type 
0.56/0.30	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 639
0.56/0.30	c ignored satisfied constraints => 123
0.56/0.30	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 5
0.56/0.30	c org.sat4j.minisat.constraints.cnf.UnitClause => 5
0.56/0.30	c 772 constraints processed.
0.56/0.30	c constraints type 
0.56/0.30	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 5
0.56/0.30	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 639
0.56/0.30	c ignored satisfied constraints => 123
0.56/0.30	c org.sat4j.pb.constraints.pb.UnitClausePB => 5
0.56/0.30	c 772 constraints processed.
0.56/0.30	c objective function length is 372 literals
0.56/0.31	c  And the winner is solver0
0.71/0.80	c SATISFIABLE
0.71/0.80	c OPTIMIZING...
0.71/0.80	c Got one! Elapsed wall clock time (in seconds):0.686
0.71/0.80	o 38
0.71/0.81	c  And the winner is solver0
0.73/1.31	c Got one! Elapsed wall clock time (in seconds):1.19
0.73/1.31	o 36
1.06/1.42	c  And the winner is solver1
1.52/1.81	c Got one! Elapsed wall clock time (in seconds):1.693
1.52/1.81	o 35
1.82/2.00	c  And the winner is solver0
2.44/2.31	c Got one! Elapsed wall clock time (in seconds):2.195
2.44/2.31	o 34
2.61/2.43	c cleaning 2818 clauses out of 5636 with flag 2000/5636
3.33/2.71	c  And the winner is solver1
3.35/2.82	c Got one! Elapsed wall clock time (in seconds):2.698
3.35/2.82	o 33
3.75/3.07	c cleaning 6528 clauses out of 13056 with flag 5000/15874
4.42/3.32	c  And the winner is solver1
4.42/3.34	c Got one! Elapsed wall clock time (in seconds):3.199
4.42/3.34	o 32
4.42/3.37	c cleaning 5856 clauses out of 11711 with flag 1000/21057
4.91/3.56	c  And the winner is solver1
5.07/3.82	c Got one! Elapsed wall clock time (in seconds):3.701
5.07/3.82	o 31
5.26/3.92	c cleaning 5717 clauses out of 11441 with flag 2002/26643
5.85/4.28	c cleaning 5845 clauses out of 11722 with flag 8000/32641
6.65/4.69	c cleaning 6439 clauses out of 12877 with flag 15000/39641
7.64/5.16	c cleaning 7212 clauses out of 14438 with flag 23000/47641
8.57/5.67	c cleaning 8110 clauses out of 16228 with flag 32002/56643
9.70/6.29	c cleaning 9059 clauses out of 18117 with flag 42001/66642
10.68/6.77	c  And the winner is solver1
10.82/6.88	c Got one! Elapsed wall clock time (in seconds):6.765
10.82/6.88	o 30
11.25/7.16	c cleaning 11011 clauses out of 22049 with flag 5001/79633
11.96/7.57	c cleaning 8517 clauses out of 17040 with flag 11003/85635
12.95/8.03	c cleaning 7754 clauses out of 15522 with flag 18002/92634
14.01/8.61	c cleaning 7881 clauses out of 15766 with flag 26000/100632
14.90/9.16	c cleaning 8429 clauses out of 16885 with flag 35000/109632
16.00/9.77	c cleaning 9222 clauses out of 18456 with flag 45000/119632
16.47/10.05	c  And the winner is solver1
16.58/10.40	c Got one! Elapsed wall clock time (in seconds):10.286
16.58/10.40	o 29
16.58/10.49	c cleaning 7158 clauses out of 14315 with flag 2002/124713
17.40/10.96	c cleaning 6540 clauses out of 13155 with flag 8000/130711
18.26/11.44	c cleaning 6796 clauses out of 13616 with flag 15001/137712
18.54/11.65	c  And the winner is solver1
18.64/11.91	c Got one! Elapsed wall clock time (in seconds):11.788
18.64/11.91	o 28
18.83/12.07	c cleaning 6239 clauses out of 12512 with flag 4000/143404
19.49/12.47	c cleaning 6134 clauses out of 12275 with flag 10002/149406
20.49/13.01	c cleaning 6567 clauses out of 13141 with flag 17002/156406
21.36/13.57	c cleaning 7286 clauses out of 14572 with flag 25000/164404
22.43/14.18	c cleaning 8142 clauses out of 16289 with flag 34003/173407
23.71/14.84	c cleaning 9062 clauses out of 18144 with flag 44000/183404
25.10/15.66	c cleaning 10038 clauses out of 20082 with flag 55000/194404
26.57/16.47	c cleaning 11014 clauses out of 22044 with flag 67000/206404
28.21/17.31	c cleaning 12009 clauses out of 24030 with flag 80000/219404
29.86/18.28	c cleaning 12987 clauses out of 26021 with flag 94000/233404
31.83/19.36	c cleaning 13989 clauses out of 28034 with flag 109000/248404
33.87/20.46	c cleaning 15003 clauses out of 30046 with flag 125001/264405
36.10/21.63	c cleaning 16008 clauses out of 32043 with flag 142001/281405
38.50/23.00	c cleaning 17010 clauses out of 34034 with flag 160000/299404
41.17/24.42	c cleaning 17992 clauses out of 36024 with flag 179000/318404
43.76/25.86	c cleaning 19002 clauses out of 38032 with flag 199000/338404
46.54/27.31	c  And the winner is solver1
46.63/27.42	c cleaning 20006 clauses out of 40032 with flag 220002/359406
46.88/27.71	c Got one! Elapsed wall clock time (in seconds):27.596
46.88/27.71	o 27
47.25/27.94	c cleaning 12486 clauses out of 25026 with flag 5000/364406
48.31/28.61	c cleaning 9255 clauses out of 18543 with flag 11003/370409
49.08/29.18	c cleaning 8145 clauses out of 16290 with flag 18005/377411
50.24/29.81	c cleaning 8073 clauses out of 16146 with flag 26006/385412
51.20/30.47	c cleaning 8538 clauses out of 17075 with flag 35008/394414
52.63/31.33	c cleaning 9265 clauses out of 18529 with flag 45000/404406
53.99/32.12	c cleaning 10109 clauses out of 20264 with flag 56000/415406
55.38/32.99	c cleaning 11054 clauses out of 22155 with flag 68000/427406
57.13/33.90	c cleaning 12029 clauses out of 24103 with flag 81002/440408
59.11/35.16	c cleaning 13034 clauses out of 26072 with flag 95000/454406
60.86/36.20	c cleaning 14004 clauses out of 28038 with flag 110000/469406
63.01/37.34	c cleaning 15018 clauses out of 30035 with flag 126001/485407
64.97/38.50	c cleaning 16004 clauses out of 32017 with flag 143001/502407
67.52/39.90	c cleaning 17003 clauses out of 34014 with flag 161002/520408
69.85/41.21	c cleaning 17990 clauses out of 36009 with flag 180000/539406
72.17/42.53	c cleaning 19008 clauses out of 38020 with flag 200001/559407
74.68/43.98	c cleaning 19995 clauses out of 40011 with flag 221000/580406
77.80/45.77	c cleaning 21006 clauses out of 42016 with flag 243000/602406
80.72/47.39	c cleaning 21993 clauses out of 44015 with flag 266005/625411
83.62/48.98	c cleaning 23006 clauses out of 46019 with flag 290002/649408
86.91/50.80	c cleaning 24006 clauses out of 48011 with flag 315000/674406
90.63/52.90	c cleaning 24997 clauses out of 50007 with flag 341002/700408
94.30/54.83	c cleaning 25994 clauses out of 52008 with flag 368000/727406
98.03/56.82	c cleaning 27006 clauses out of 54014 with flag 396000/755406
101.50/58.70	c cleaning 28003 clauses out of 56011 with flag 425003/784409
105.16/60.82	c cleaning 28981 clauses out of 58005 with flag 455000/814406
109.02/62.98	c cleaning 29979 clauses out of 60025 with flag 486001/845407
113.09/65.19	c cleaning 31018 clauses out of 62053 with flag 518008/877414
117.14/67.37	c cleaning 31994 clauses out of 64027 with flag 551000/910406
121.76/69.96	c cleaning 33000 clauses out of 66033 with flag 585000/944406
126.61/72.51	c cleaning 34005 clauses out of 68033 with flag 620000/979406
131.22/75.03	c cleaning 35014 clauses out of 70033 with flag 656005/1015411
135.84/77.58	c cleaning 35999 clauses out of 72014 with flag 693000/1052406
140.80/80.38	c cleaning 37001 clauses out of 74018 with flag 731003/1090409
145.79/83.08	c cleaning 38009 clauses out of 76017 with flag 770003/1129409
151.21/85.96	c cleaning 38989 clauses out of 78005 with flag 810000/1169406
156.59/88.81	c cleaning 39980 clauses out of 80016 with flag 851000/1210406
161.94/91.88	c cleaning 41018 clauses out of 82037 with flag 893001/1252407
167.53/94.82	c cleaning 41986 clauses out of 84021 with flag 936003/1295409
172.90/97.74	c cleaning 43019 clauses out of 86037 with flag 980005/1339411
179.07/101.09	c cleaning 43997 clauses out of 88014 with flag 1025001/1384407
185.18/104.49	c cleaning 44995 clauses out of 90016 with flag 1071000/1430406
191.92/108.03	c cleaning 45988 clauses out of 92021 with flag 1118000/1477406
198.87/111.75	c cleaning 46995 clauses out of 94033 with flag 1166000/1525406
205.58/115.33	c cleaning 48008 clauses out of 96038 with flag 1215000/1574406
212.77/119.34	c cleaning 49003 clauses out of 98030 with flag 1265000/1624406
220.29/123.33	c cleaning 50010 clauses out of 100029 with flag 1316002/1675408
227.07/126.92	c cleaning 0 clauses out of 7741 with flag 0/7742
228.03/127.60	c cleaning 51002 clauses out of 102018 with flag 1368001/1727407
229.91/128.93	c  And the winner is solver1
229.61/129.41	c Got one! Elapsed wall clock time (in seconds):129.296
229.61/129.41	o 26
230.53/129.82	c cleaning 33283 clauses out of 66608 with flag 5000/1742999
231.78/130.71	c cleaning 19656 clauses out of 39325 with flag 11000/1748999
232.87/131.58	c cleaning 13333 clauses out of 26669 with flag 18000/1755999
234.35/132.52	c cleaning 10656 clauses out of 21336 with flag 26000/1763999
236.08/133.84	c cleaning 9828 clauses out of 19680 with flag 35000/1772999
237.55/134.89	c cleaning 9914 clauses out of 19852 with flag 45000/1782999
239.43/136.03	c cleaning 10455 clauses out of 20938 with flag 56000/1793999
241.13/137.12	c cleaning 11232 clauses out of 22484 with flag 68001/1806000
243.17/138.60	c cleaning 12098 clauses out of 24252 with flag 81001/1819000
245.45/139.90	c cleaning 13077 clauses out of 26153 with flag 95000/1832999
247.54/141.24	c cleaning 14025 clauses out of 28076 with flag 110000/1847999
249.83/142.60	c cleaning 15024 clauses out of 30051 with flag 126000/1863999
252.42/144.37	c cleaning 16014 clauses out of 32029 with flag 143002/1881001
255.11/145.90	c cleaning 16999 clauses out of 34013 with flag 161000/1898999
257.61/147.44	c cleaning 18007 clauses out of 36015 with flag 180001/1918000
260.45/149.16	c cleaning 18987 clauses out of 38007 with flag 200000/1937999
263.81/151.24	c cleaning 19997 clauses out of 40021 with flag 221001/1959000
266.72/152.96	c cleaning 21006 clauses out of 42026 with flag 243003/1981002
269.75/154.79	c cleaning 22001 clauses out of 44017 with flag 266000/2003999
273.03/156.61	c cleaning 23008 clauses out of 46016 with flag 290000/2027999
276.60/158.87	c cleaning 23996 clauses out of 48008 with flag 315000/2052999
279.86/160.77	c cleaning 24995 clauses out of 50012 with flag 341000/2078999
283.36/162.72	c cleaning 25999 clauses out of 52017 with flag 368000/2105999
286.83/164.73	c cleaning 27008 clauses out of 54018 with flag 396000/2133999
290.97/167.25	c cleaning 27993 clauses out of 56012 with flag 425002/2163001
294.63/169.36	c cleaning 28998 clauses out of 58018 with flag 455001/2193000
298.85/171.71	c cleaning 30005 clauses out of 60021 with flag 486002/2224001
302.87/174.09	c cleaning 30994 clauses out of 62016 with flag 518002/2256001
307.42/176.70	c cleaning 31986 clauses out of 64022 with flag 551002/2289001
311.67/179.11	c cleaning 33014 clauses out of 66034 with flag 585000/2322999
315.92/181.55	c cleaning 33999 clauses out of 68021 with flag 620001/2358000
320.52/184.19	c cleaning 35007 clauses out of 70022 with flag 656001/2394000
325.64/187.18	c cleaning 35985 clauses out of 72016 with flag 693002/2431001
330.29/189.79	c cleaning 36982 clauses out of 74029 with flag 731000/2468999
335.33/192.54	c cleaning 38015 clauses out of 76047 with flag 770000/2507999
340.95/195.63	c cleaning 39016 clauses out of 78033 with flag 810001/2548000
346.95/199.17	c cleaning 39985 clauses out of 80016 with flag 851000/2588999
352.77/202.37	c cleaning 41012 clauses out of 82031 with flag 893000/2630999
358.18/205.37	c cleaning 42002 clauses out of 84019 with flag 936000/2673999
364.38/208.73	c cleaning 43001 clauses out of 86017 with flag 980000/2717999
371.01/212.59	c cleaning 43996 clauses out of 88016 with flag 1025000/2762999
377.64/216.20	c cleaning 45007 clauses out of 90020 with flag 1071000/2808999
384.43/219.82	c cleaning 45988 clauses out of 92015 with flag 1118002/2856001
391.43/223.66	c cleaning 47007 clauses out of 94025 with flag 1166000/2903999
399.33/228.27	c cleaning 48006 clauses out of 96018 with flag 1215000/2952999
407.21/232.60	c cleaning 48993 clauses out of 98012 with flag 1265000/3002999
415.08/237.06	c cleaning 49998 clauses out of 100019 with flag 1316000/3053999
421.94/240.94	c cleaning 51004 clauses out of 102021 with flag 1368000/3105999
429.83/245.57	c cleaning 51999 clauses out of 104018 with flag 1421001/3159000
437.31/249.71	c cleaning 52976 clauses out of 106019 with flag 1475001/3213000
447.40/255.78	c cleaning 54005 clauses out of 108042 with flag 1530000/3267999
458.29/261.68	c cleaning 55019 clauses out of 110037 with flag 1586000/3323999
467.63/266.70	c cleaning 55990 clauses out of 112019 with flag 1643001/3381000
477.96/272.19	c cleaning 56987 clauses out of 114029 with flag 1701001/3439000
487.03/277.10	c cleaning 58003 clauses out of 116041 with flag 1760000/3497999
497.20/282.73	c cleaning 59001 clauses out of 118038 with flag 1820000/3557999
506.65/287.82	c cleaning 60003 clauses out of 120040 with flag 1881003/3619002
516.48/293.19	c cleaning 61017 clauses out of 122034 with flag 1943000/3680999
526.30/298.40	c cleaning 61999 clauses out of 124017 with flag 2006000/3743999
536.42/304.10	c cleaning 62999 clauses out of 126020 with flag 2070002/3808001
546.86/309.76	c cleaning 64006 clauses out of 128019 with flag 2135000/3872999
556.11/314.70	c cleaning 65007 clauses out of 130015 with flag 2201002/3939001
567.21/320.60	c cleaning 66004 clauses out of 132008 with flag 2268002/4006001
577.95/326.66	c cleaning 66989 clauses out of 134002 with flag 2336000/4073999
589.03/332.58	c cleaning 67992 clauses out of 136017 with flag 2405004/4143003
601.07/338.90	c cleaning 68989 clauses out of 138022 with flag 2475001/4213000
613.94/345.78	c cleaning 70017 clauses out of 140038 with flag 2546006/4284005
628.08/353.49	c cleaning 70997 clauses out of 142015 with flag 2618000/4355999
639.24/359.43	c cleaning 71992 clauses out of 144018 with flag 2691000/4428999
651.88/366.14	c cleaning 72988 clauses out of 146026 with flag 2765000/4502999
663.91/372.55	c cleaning 74009 clauses out of 148038 with flag 2840000/4577999
675.94/379.22	c cleaning 74995 clauses out of 150031 with flag 2916002/4654001
686.71/385.02	c cleaning 76006 clauses out of 152038 with flag 2993004/4731003
693.63/388.95	c cleaning 0 clauses out of 12770 with flag 0/12771
698.76/391.97	c cleaning 77009 clauses out of 154028 with flag 3071000/4808999
710.94/398.75	c cleaning 77983 clauses out of 156019 with flag 3150000/4887999
723.06/405.22	c cleaning 78989 clauses out of 158038 with flag 3230002/4968001
734.99/411.68	c cleaning 80011 clauses out of 160047 with flag 3311000/5048999
747.30/418.20	c cleaning 81002 clauses out of 162036 with flag 3393000/5130999
760.08/425.38	c cleaning 81998 clauses out of 164034 with flag 3476000/5213999
773.47/432.42	c cleaning 83002 clauses out of 166041 with flag 3560005/5298004
786.41/439.39	c cleaning 83998 clauses out of 168034 with flag 3645000/5382999
799.75/446.47	c cleaning 85011 clauses out of 170040 with flag 3731004/5469003
814.28/454.49	c cleaning 85979 clauses out of 172025 with flag 3818000/5555999
829.35/462.43	c cleaning 87013 clauses out of 174046 with flag 3906000/5643999
844.46/470.47	c cleaning 87998 clauses out of 176033 with flag 3995000/5732999
863.19/480.23	c cleaning 89016 clauses out of 178035 with flag 4085000/5822999
878.84/488.87	c cleaning 89993 clauses out of 180019 with flag 4176000/5913999
892.94/496.32	c cleaning 90973 clauses out of 182026 with flag 4268000/6005999
910.96/505.90	c cleaning 92012 clauses out of 184053 with flag 4361000/6098999
929.96/515.81	c cleaning 92991 clauses out of 186045 with flag 4455004/6193003
944.96/524.17	c cleaning 94008 clauses out of 188050 with flag 4550000/6287999
962.16/533.20	c cleaning 95008 clauses out of 190043 with flag 4646001/6384000
979.55/542.48	c cleaning 96006 clauses out of 192034 with flag 4743000/6480999
996.52/551.43	c cleaning 96995 clauses out of 194028 with flag 4841000/6578999
1015.35/561.77	c cleaning 98010 clauses out of 196035 with flag 4940002/6678001
1034.91/572.84	c cleaning 99002 clauses out of 198027 with flag 5040004/6778003
1051.98/581.78	c cleaning 99993 clauses out of 200022 with flag 5141001/6879000
1071.25/592.28	c cleaning 101001 clauses out of 202035 with flag 5243007/6981006
1089.94/602.19	c cleaning 101979 clauses out of 204027 with flag 5346000/7083999
1109.03/612.26	c cleaning 103016 clauses out of 206049 with flag 5450001/7188000
1126.58/621.55	c cleaning 103989 clauses out of 208034 with flag 5555002/7293001
1145.71/631.95	c cleaning 104995 clauses out of 210044 with flag 5661001/7399000
1168.18/643.71	c cleaning 106022 clauses out of 212048 with flag 5768000/7505999
1188.12/654.27	c cleaning 106998 clauses out of 214029 with flag 5876003/7614002
1207.63/664.54	c cleaning 107992 clauses out of 216030 with flag 5985002/7723001
1228.44/675.83	c cleaning 108978 clauses out of 218036 with flag 6095000/7832999
1248.96/686.65	c cleaning 110008 clauses out of 220058 with flag 6206000/7943999
1268.87/697.14	c cleaning 111021 clauses out of 222052 with flag 6318002/8056001
1290.77/708.64	c cleaning 112004 clauses out of 224029 with flag 6431000/8168999
1313.89/721.17	c cleaning 112995 clauses out of 226025 with flag 6545000/8282999
1336.14/732.87	c cleaning 113992 clauses out of 228030 with flag 6660000/8397999
1357.80/744.28	c cleaning 115012 clauses out of 230038 with flag 6776000/8513999
1376.25/754.05	c cleaning 116006 clauses out of 232027 with flag 6893001/8631000
1398.14/765.91	c cleaning 117009 clauses out of 234020 with flag 7011000/8748999
1417.22/776.04	c cleaning 118006 clauses out of 236012 with flag 7130001/8868000
1436.25/786.14	c cleaning 119002 clauses out of 238005 with flag 7250000/8987999
1456.71/796.92	c cleaning 119987 clauses out of 240003 with flag 7371000/9108999
1477.76/808.47	c cleaning 120999 clauses out of 242019 with flag 7493003/9231002
1498.72/819.57	c cleaning 121999 clauses out of 244018 with flag 7616001/9354000
1518.76/830.17	c cleaning 122999 clauses out of 246020 with flag 7740002/9478001
1538.91/840.87	c cleaning 124000 clauses out of 248019 with flag 7865000/9602999
1562.88/853.84	c cleaning 125002 clauses out of 250019 with flag 7991000/9728999
1587.83/866.90	c cleaning 126004 clauses out of 252017 with flag 8118000/9855999
1609.65/878.44	c cleaning 126999 clauses out of 254013 with flag 8246000/9983999
1631.22/889.90	c cleaning 127997 clauses out of 256017 with flag 8375003/10113002
1654.69/902.64	c cleaning 128992 clauses out of 258017 with flag 8505000/10242999
1678.25/915.06	c cleaning 130003 clauses out of 260025 with flag 8636000/10373999
1703.11/928.13	c cleaning 130996 clauses out of 262022 with flag 8768000/10505999
1718.32/936.49	c cleaning 0 clauses out of 18770 with flag 0/18771
1729.70/943.22	c cleaning 132000 clauses out of 264026 with flag 8901000/10638999
1754.05/956.06	c cleaning 133003 clauses out of 266026 with flag 9035000/10772999
1779.35/969.33	c cleaning 134003 clauses out of 268027 with flag 9170004/10908003
1799.88/980.22	c starts		: 57
1799.88/980.22	c conflicts		: 19310
1799.88/980.22	c decisions		: 141710
1799.88/980.22	c propagations		: 662551
1799.88/980.22	c inspects		: 779357322
1799.88/980.22	c shortcuts		: 0
1799.88/980.22	c learnt literals	: 0
1799.88/980.22	c learnt binary clauses	: 0
1799.88/980.22	c learnt ternary clauses	: 0
1799.88/980.22	c learnt constraints	: 19309
1799.88/980.22	c ignored constraints	: 0
1799.88/980.22	c root simplifications	: 0
1799.88/980.22	c removed literals (reason simplification)	: 0
1799.88/980.22	c reason swapping (by a shorter reason)	: 0
1799.88/980.23	c Calls to reduceDB	: 3
1799.88/980.23	c number of reductions to clauses (during analyze)	: 0
1799.88/980.23	c number of learned constraints concerned by reduction	: 0
1799.88/980.23	c number of learning phase by resolution	: 0
1799.88/980.23	c number of learning phase by cutting planes	: 0
1799.88/980.23	c speed (assignments/second)	: 677.5197666856187
1799.88/980.23	c non guided choices	0
1799.88/980.24	c learnt constraints type 
1799.88/980.24	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 95
1799.88/980.24	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 160
1799.88/980.24	c org.sat4j.pb.constraints.pb.MaxWatchPb => 19054
1799.88/980.24	c constraints type 
1799.88/980.24	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 639
1799.88/980.24	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1799.88/980.24	c ignored satisfied constraints => 123
1799.88/980.24	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 5
1799.88/980.24	c org.sat4j.minisat.constraints.cnf.UnitClause => 5
1799.88/980.24	c 773 constraints processed.
1799.88/980.24	c constraints type 
1799.88/980.24	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 5
1799.88/980.24	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 639
1799.88/980.24	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1799.88/980.24	c ignored satisfied constraints => 123
1799.88/980.24	c org.sat4j.pb.constraints.pb.UnitClausePB => 5
1799.88/980.24	c 773 constraints processed.
1799.88/980.24	s SATISFIABLE
1799.88/980.24	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 x319 x320 -x321 x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 -x364 x365 x366 -x367 -x368 x369 x370 -x371 -x372 
1799.88/980.24	c objective function=26
1799.88/980.24	c Total wall clock time (in seconds): 980.12

Verifier Data 

OK	26

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

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

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


[startup+0 s]
/proc/loadavg: 3.82 3.68 3.18 4/197 24279
/proc/meminfo: memFree=25805444/32873844 swapFree=7356/7356
[pid=24279] ppid=24277 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/24279/stat : 24279 (java) R 24277 24279 23457 0 -1 4202496 994 0 0 0 0 0 0 0 20 0 1 0 253505494 23793664 721 33554432000 1073741824 1073778376 140735260769264 140735260758328 139807525051211 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24279/statm: 5809 721 536 9 0 128 0

[startup+0.0072111 s]
/proc/loadavg: 3.82 3.68 3.18 4/197 24279
/proc/meminfo: memFree=25805444/32873844 swapFree=7356/7356
[pid=24279] ppid=24277 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/24279/stat : 24279 (java) S 24277 24279 23457 0 -1 4202496 1212 0 0 0 0 0 0 0 20 0 2 0 253505494 95129600 922 33554432000 1073741824 1073778376 140735260769264 140735260760400 245297610813 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24279/statm: 23225 927 703 9 0 16769 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 92900

[startup+0.100212 s]
/proc/loadavg: 3.82 3.68 3.18 4/197 24279
/proc/meminfo: memFree=25805444/32873844 swapFree=7356/7356
[pid=24279] ppid=24277 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/24279/stat : 24279 (java) S 24277 24279 23457 0 -1 4202496 4304 0 1 0 8 2 0 0 20 0 18 0 253505494 9787813888 5503 33554432000 1073741824 1073778376 140735260769264 140735260760400 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24279/statm: 2389603 5503 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.30023 s]
/proc/loadavg: 3.82 3.68 3.18 4/197 24279
/proc/meminfo: memFree=25805444/32873844 swapFree=7356/7356
[pid=24279] ppid=24277 vsize=9558412 CPUtime=0.56 cores=0,2,4,6
/proc/24279/stat : 24279 (java) S 24277 24279 23457 0 -1 4202496 7195 0 1 0 53 3 0 0 20 0 18 0 253505494 9787813888 9462 33554432000 1073741824 1073778376 140735260769264 140735260760400 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24279/statm: 2389603 9462 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9558412

[startup+0.700264 s]
/proc/loadavg: 3.82 3.68 3.18 4/197 24279
/proc/meminfo: memFree=25805444/32873844 swapFree=7356/7356
[pid=24279] ppid=24277 vsize=9824668 CPUtime=0.71 cores=0,2,4,6
/proc/24279/stat : 24279 (java) S 24277 24279 23457 0 -1 4202496 7999 0 1 0 66 5 0 0 20 0 19 0 253505494 10060460032 10478 33554432000 1073741824 1073778376 140735260769264 140735260760400 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24279/statm: 2456167 10478 2237 9 0 2446860 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 9824668

[startup+1.50075 s]
/proc/loadavg: 3.82 3.68 3.18 3/216 24304
/proc/meminfo: memFree=25767776/32873844 swapFree=7356/7356
[pid=24279] ppid=24277 vsize=9824668 CPUtime=1.29 cores=0,2,4,6
/proc/24279/stat : 24279 (java) S 24277 24279 23457 0 -1 4202496 12085 0 1 0 121 8 0 0 20 0 19 0 253505494 10060460032 15864 33554432000 1073741824 1073778376 140735260769264 140735260760400 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24279/statm: 2456167 15864 2251 9 0 2446860 0
[pid=24279/tid=24281] ppid=24277 vsize=9824668 CPUtime=0.29 cores=0,2,4,6
/proc/24279/task/24281/stat : 24281 (java) S 24277 24279 23457 0 -1 4202560 2459 0 1 0 27 2 0 0 20 0 19 0 253505494 10060460032 15864 33554432000 1073741824 1073778376 140735260769264 139807517025272 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24279/tid=24282] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24282/stat : 24282 (java) S 24277 24279 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505495 10060460032 15864 33554432000 1073741824 1073778376 140735260769264 139807495125160 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24279/tid=24283] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24283/stat : 24283 (java) S 24277 24279 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505495 10060460032 15864 33554432000 1073741824 1073778376 140735260769264 139807292385576 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24279/tid=24284] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24284/stat : 24284 (java) S 24277 24279 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505495 10060460032 15864 33554432000 1073741824 1073778376 140735260769264 139807291333032 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24279/tid=24285] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24285/stat : 24285 (java) S 24277 24279 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505495 10060460032 15864 33554432000 1073741824 1073778376 140735260769264 139807290280488 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24279/tid=24286] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24286/stat : 24286 (java) S 24277 24279 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505495 10060460032 15864 33554432000 1073741824 1073778376 140735260769264 139807289227944 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24279/tid=24287] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24287/stat : 24287 (java) S 24277 24279 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505495 10060460032 15864 33554432000 1073741824 1073778376 140735260769264 139807288175400 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24279/tid=24288] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24288/stat : 24288 (java) S 24277 24279 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505495 10060460032 15864 33554432000 1073741824 1073778376 140735260769264 139807287122856 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24279/tid=24289] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24289/stat : 24289 (java) S 24277 24279 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253505495 10060460032 15864 33554432000 1073741824 1073778376 140735260769264 139807286070312 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24279/tid=24290] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24290/stat : 24290 (java) S 24277 24279 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253505496 10060460032 15864 33554432000 1073741824 1073778376 140735260769264 139807273871464 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24279/tid=24291] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24291/stat : 24291 (java) S 24277 24279 23457 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253505497 10060460032 15864 33554432000 1073741824 1073778376 140735260769264 139807272817784 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24279/tid=24292] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24292/stat : 24292 (java) S 24277 24279 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253505497 10060460032 15864 33554432000 1073741824 1073778376 140735260769264 139807271765128 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24279/tid=24293] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24293/stat : 24293 (java) S 24277 24279 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505499 10060460032 15864 33554432000 1073741824 1073778376 140735260769264 139807270713872 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24279/tid=24294] ppid=24277 vsize=9824668 CPUtime=0.33 cores=0,2,4,6
/proc/24279/task/24294/stat : 24294 (java) S 24277 24279 23457 0 -1 4202560 2470 0 0 0 33 0 0 0 20 0 19 0 253505499 10060460032 15864 33554432000 1073741824 1073778376 140735260769264 139807269661240 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24279/tid=24295] ppid=24277 vsize=9824668 CPUtime=0.36 cores=0,2,4,6
/proc/24279/task/24295/stat : 24295 (java) R 24277 24279 23457 0 -1 4202560 5800 0 0 0 36 0 0 0 20 0 19 0 253505499 10060460032 15864 33554432000 1073741824 1073778376 140735260769264 139807268608376 245293920963 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24279/tid=24296] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24296/stat : 24296 (java) S 24277 24279 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505499 10060460032 15864 33554432000 1073741824 1073778376 140735260769264 139807267556344 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24279/tid=24297] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24297/stat : 24297 (java) S 24277 24279 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505499 10060460032 15864 33554432000 1073741824 1073778376 140735260769264 139807266504008 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 9824668

[startup+3.10075 s]
/proc/loadavg: 3.99 3.71 3.19 4/216 24310
/proc/meminfo: memFree=25728572/32873844 swapFree=7356/7356
[pid=24279] ppid=24277 vsize=9824668 CPUtime=3.95 cores=0,2,4,6
/proc/24279/stat : 24279 (java) S 24277 24279 23457 0 -1 4202496 18143 0 1 0 379 16 0 0 20 0 22 0 253505494 10060460032 45942 33554432000 1073741824 1073778376 140735260769264 140735260760400 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24279/statm: 2456167 45942 2286 9 0 2446860 0
[pid=24279/tid=24281] ppid=24277 vsize=9824668 CPUtime=0.29 cores=0,2,4,6
/proc/24279/task/24281/stat : 24281 (java) S 24277 24279 23457 0 -1 4202560 2459 0 1 0 27 2 0 0 20 0 22 0 253505494 10060460032 45942 33554432000 1073741824 1073778376 140735260769264 139807517025272 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24279/tid=24282] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24282/stat : 24282 (java) S 24277 24279 23457 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253505495 10060460032 45942 33554432000 1073741824 1073778376 140735260769264 139807495125160 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24279/tid=24283] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24283/stat : 24283 (java) S 24277 24279 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253505495 10060460032 45942 33554432000 1073741824 1073778376 140735260769264 139807292385576 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24279/tid=24284] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24284/stat : 24284 (java) S 24277 24279 23457 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253505495 10060460032 45942 33554432000 1073741824 1073778376 140735260769264 139807291333032 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24279/tid=24285] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24285/stat : 24285 (java) S 24277 24279 23457 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253505495 10060460032 45942 33554432000 1073741824 1073778376 140735260769264 139807290280488 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24279/tid=24286] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24286/stat : 24286 (java) S 24277 24279 23457 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253505495 10060460032 45942 33554432000 1073741824 1073778376 140735260769264 139807289227944 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24279/tid=24287] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24287/stat : 24287 (java) S 24277 24279 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253505495 10060460032 45942 33554432000 1073741824 1073778376 140735260769264 139807288175400 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24279/tid=24288] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24288/stat : 24288 (java) S 24277 24279 23457 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253505495 10060460032 45942 33554432000 1073741824 1073778376 140735260769264 139807287122856 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24279/tid=24289] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24289/stat : 24289 (java) S 24277 24279 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253505495 10060460032 45942 33554432000 1073741824 1073778376 140735260769264 139807286070312 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24279/tid=24290] ppid=24277 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/24279/task/24290/stat : 24290 (java) R 24277 24279 23457 0 -1 4202560 32 0 0 0 3 0 0 0 20 0 22 0 253505496 10060460032 45942 33554432000 1073741824 1073778376 140735260769264 139807273870440 139807520295030 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24279/tid=24291] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24291/stat : 24291 (java) S 24277 24279 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253505497 10060460032 45942 33554432000 1073741824 1073778376 140735260769264 139807272817784 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24279/tid=24292] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24292/stat : 24292 (java) S 24277 24279 23457 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253505497 10060460032 45942 33554432000 1073741824 1073778376 140735260769264 139807271765128 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24279/tid=24293] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24293/stat : 24293 (java) S 24277 24279 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253505499 10060460032 45942 33554432000 1073741824 1073778376 140735260769264 139807270713872 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24279/tid=24294] ppid=24277 vsize=9824668 CPUtime=0.68 cores=0,2,4,6
/proc/24279/task/24294/stat : 24294 (java) S 24277 24279 23457 0 -1 4202560 3761 0 0 0 68 0 0 0 20 0 22 0 253505499 10060460032 45942 33554432000 1073741824 1073778376 140735260769264 139807269661240 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24279/tid=24295] ppid=24277 vsize=9824668 CPUtime=0.98 cores=0,2,4,6
/proc/24279/task/24295/stat : 24295 (java) S 24277 24279 23457 0 -1 4202560 10415 0 0 0 96 2 0 0 20 0 22 0 253505499 10060460032 45942 33554432000 1073741824 1073778376 140735260769264 139807268608696 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24279/tid=24296] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24296/stat : 24296 (java) S 24277 24279 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253505499 10060460032 45942 33554432000 1073741824 1073778376 140735260769264 139807267556344 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24279/tid=24297] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24297/stat : 24297 (java) S 24277 24279 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253505499 10060460032 45942 33554432000 1073741824 1073778376 140735260769264 139807266504008 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.95
Current children cumulated vsize (KiB) 9824668

[startup+6.30079 s]
/proc/loadavg: 3.99 3.71 3.19 5/219 24322
/proc/meminfo: memFree=25604320/32873844 swapFree=7356/7356
[pid=24279] ppid=24277 vsize=9824668 CPUtime=9.96 cores=0,2,4,6
/proc/24279/stat : 24279 (java) S 24277 24279 23457 0 -1 4202496 18944 0 1 0 974 22 0 0 20 0 22 0 253505494 10060460032 60157 33554432000 1073741824 1073778376 140735260769264 140735260760400 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24279/statm: 2456167 60157 2287 9 0 2446860 0
[pid=24279/tid=24281] ppid=24277 vsize=9824668 CPUtime=0.29 cores=0,2,4,6
/proc/24279/task/24281/stat : 24281 (java) S 24277 24279 23457 0 -1 4202560 2459 0 1 0 27 2 0 0 20 0 22 0 253505494 10060460032 60157 33554432000 1073741824 1073778376 140735260769264 139807517025272 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24279/tid=24282] ppid=24277 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/24279/task/24282/stat : 24282 (java) R 24277 24279 23457 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 253505495 10060460032 60157 33554432000 1073741824 1073778376 140735260769264 139807495125288 245294206087 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=24279/tid=24283] ppid=24277 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24279/task/24283/stat : 24283 (java) R 24277 24279 23457 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 22 0 253505495 10060460032 60157 33554432000 1073741824 1073778376 140735260769264 139807292385704 245294206087 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=24279/tid=24284] ppid=24277 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/24279/task/24284/stat : 24284 (java) R 24277 24279 23457 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 22 0 253505495 10060460032 60157 33554432000 1073741824 1073778376 140735260769264 139807291333160 245294206087 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24279/tid=24285] ppid=24277 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24279/task/24285/stat : 24285 (java) R 24277 24279 23457 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 22 0 253505495 10060460032 60157 33554432000 1073741824 1073778376 140735260769264 139807290280616 245294206087 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24279/tid=24286] ppid=24277 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24279/task/24286/stat : 24286 (java) R 24277 24279 23457 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 253505495 10060460032 60157 33554432000 1073741824 1073778376 140735260769264 139807289228072 245294206087 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24279/tid=24287] ppid=24277 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/24279/task/24287/stat : 24287 (java) R 24277 24279 23457 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 22 0 253505495 10060460032 60157 33554432000 1073741824 1073778376 140735260769264 139807288175528 245294206087 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24279/tid=24288] ppid=24277 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/24279/task/24288/stat : 24288 (java) R 24277 24279 23457 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 253505495 10060460032 60157 33554432000 1073741824 1073778376 140735260769264 139807287122856 245294206087 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24279/tid=24289] ppid=24277 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24279/task/24289/stat : 24289 (java) R 24277 24279 23457 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 253505495 10060460032 60157 33554432000 1073741824 1073778376 140735260769264 139807286070488 139807523533255 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24279/tid=24290] ppid=24277 vsize=9824668 CPUtime=0.47 cores=0,2,4,6
/proc/24279/task/24290/stat : 24290 (java) S 24277 24279 23457 0 -1 4202560 112 0 0 0 45 2 0 0 20 0 22 0 253505496 10060460032 60157 33554432000 1073741824 1073778376 140735260769264 139807273870440 245297624124 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24279/tid=24291] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24291/stat : 24291 (java) S 24277 24279 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253505497 10060460032 60157 33554432000 1073741824 1073778376 140735260769264 139807272817784 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24279/tid=24292] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24292/stat : 24292 (java) S 24277 24279 23457 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253505497 10060460032 60157 33554432000 1073741824 1073778376 140735260769264 139807271765128 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24279/tid=24293] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24293/stat : 24293 (java) S 24277 24279 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253505499 10060460032 60157 33554432000 1073741824 1073778376 140735260769264 139807270713872 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24279/tid=24294] ppid=24277 vsize=9824668 CPUtime=0.78 cores=0,2,4,6
/proc/24279/task/24294/stat : 24294 (java) S 24277 24279 23457 0 -1 4202560 4147 0 0 0 78 0 0 0 20 0 22 0 253505499 10060460032 60157 33554432000 1073741824 1073778376 140735260769264 139807269661240 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24279/tid=24295] ppid=24277 vsize=9824668 CPUtime=1.37 cores=0,2,4,6
/proc/24279/task/24295/stat : 24295 (java) S 24277 24279 23457 0 -1 4202560 10682 0 0 0 135 2 0 0 20 0 22 0 253505499 10060460032 60157 33554432000 1073741824 1073778376 140735260769264 139807268608696 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24279/tid=24296] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24296/stat : 24296 (java) S 24277 24279 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253505499 10060460032 60157 33554432000 1073741824 1073778376 140735260769264 139807267556344 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24279/tid=24297] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24297/stat : 24297 (java) S 24277 24279 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253505499 10060460032 60157 33554432000 1073741824 1073778376 140735260769264 139807266504008 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24279/tid=24313] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24313/stat : 24313 (java) S 24277 24279 23457 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253505726 10060460032 60157 33554432000 1073741824 1073778376 140735260769264 139807265416872 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24279/tid=24320] ppid=24277 vsize=9824668 CPUtime=2 cores=0,2,4,6
/proc/24279/task/24320/stat : 24320 (java) R 24277 24279 23457 0 -1 4202560 9 0 0 0 200 0 0 0 20 0 22 0 253505876 10060460032 60157 33554432000 1073741824 1073778376 140735260769264 139807264363088 245297635765 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24279/tid=24321] ppid=24277 vsize=9824668 CPUtime=2.01 cores=0,2,4,6
/proc/24279/task/24321/stat : 24321 (java) S 24277 24279 23457 0 -1 4202560 10 0 0 0 201 0 0 0 20 0 22 0 253505876 10060460032 60157 33554432000 1073741824 1073778376 140735260769264 139807262256488 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24279/tid=24322] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24322/stat : 24322 (java) S 24277 24279 23457 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253505876 10060460032 60157 33554432000 1073741824 1073778376 140735260769264 139807263310632 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (KiB) 9824668

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

[pid=24279/tid=24285] ppid=24277 vsize=9824668 CPUtime=3.37 cores=0,2,4,6
/proc/24279/task/24285/stat : 24285 (java) S 24277 24279 23457 0 -1 4202560 840 0 0 0 329 8 0 0 20 0 22 0 253505495 10060460032 618318 33554432000 1073741824 1073778376 140735260769264 139807290280488 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24279/tid=24286] ppid=24277 vsize=9824668 CPUtime=3.53 cores=0,2,4,6
/proc/24279/task/24286/stat : 24286 (java) S 24277 24279 23457 0 -1 4202560 797 0 0 0 343 10 0 0 20 0 22 0 253505495 10060460032 618318 33554432000 1073741824 1073778376 140735260769264 139807289227944 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24279/tid=24287] ppid=24277 vsize=9824668 CPUtime=3.59 cores=0,2,4,6
/proc/24279/task/24287/stat : 24287 (java) S 24277 24279 23457 0 -1 4202560 1019 0 0 0 351 8 0 0 20 0 22 0 253505495 10060460032 618318 33554432000 1073741824 1073778376 140735260769264 139807288175400 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24279/tid=24288] ppid=24277 vsize=9824668 CPUtime=3.58 cores=0,2,4,6
/proc/24279/task/24288/stat : 24288 (java) S 24277 24279 23457 0 -1 4202560 942 0 0 0 349 9 0 0 20 0 22 0 253505495 10060460032 618318 33554432000 1073741824 1073778376 140735260769264 139807287122856 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24279/tid=24289] ppid=24277 vsize=9824668 CPUtime=3.53 cores=0,2,4,6
/proc/24279/task/24289/stat : 24289 (java) S 24277 24279 23457 0 -1 4202560 850 0 0 0 345 8 0 0 20 0 22 0 253505495 10060460032 618318 33554432000 1073741824 1073778376 140735260769264 139807286070312 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24279/tid=24290] ppid=24277 vsize=9824668 CPUtime=156.13 cores=0,2,4,6
/proc/24279/task/24290/stat : 24290 (java) S 24277 24279 23457 0 -1 4202560 3721 0 0 0 15588 25 0 0 20 0 22 0 253505496 10060460032 618318 33554432000 1073741824 1073778376 140735260769264 139807273871464 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24279/tid=24291] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24291/stat : 24291 (java) S 24277 24279 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253505497 10060460032 618318 33554432000 1073741824 1073778376 140735260769264 139807272817784 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24279/tid=24292] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24292/stat : 24292 (java) S 24277 24279 23457 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253505497 10060460032 618318 33554432000 1073741824 1073778376 140735260769264 139807271765128 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24279/tid=24293] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24293/stat : 24293 (java) S 24277 24279 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253505499 10060460032 618318 33554432000 1073741824 1073778376 140735260769264 139807270713872 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24279/tid=24294] ppid=24277 vsize=9824668 CPUtime=0.92 cores=0,2,4,6
/proc/24279/task/24294/stat : 24294 (java) S 24277 24279 23457 0 -1 4202560 5951 0 0 0 91 1 0 0 20 0 22 0 253505499 10060460032 618318 33554432000 1073741824 1073778376 140735260769264 139807269661240 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24279/tid=24295] ppid=24277 vsize=9824668 CPUtime=1.83 cores=0,2,4,6
/proc/24279/task/24295/stat : 24295 (java) S 24277 24279 23457 0 -1 4202560 10708 0 0 0 181 2 0 0 20 0 22 0 253505499 10060460032 618318 33554432000 1073741824 1073778376 140735260769264 139807268608696 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24279/tid=24296] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24296/stat : 24296 (java) S 24277 24279 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253505499 10060460032 618318 33554432000 1073741824 1073778376 140735260769264 139807267556344 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24279/tid=24297] ppid=24277 vsize=9824668 CPUtime=0.34 cores=0,2,4,6
/proc/24279/task/24297/stat : 24297 (java) S 24277 24279 23457 0 -1 4202560 51 0 0 0 18 16 0 0 20 0 22 0 253505499 10060460032 618318 33554432000 1073741824 1073778376 140735260769264 139807266504008 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24279/tid=24313] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24313/stat : 24313 (java) S 24277 24279 23457 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253505726 10060460032 618318 33554432000 1073741824 1073778376 140735260769264 139807265416872 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24279/tid=24335] ppid=24277 vsize=9824668 CPUtime=614.16 cores=0,2,4,6
/proc/24279/task/24335/stat : 24335 (java) R 24277 24279 23457 0 -1 4202560 53 0 0 0 61407 9 0 0 20 0 22 0 253518436 10060460032 618318 33554432000 1073741824 1073778376 140735260769264 139807263310560 139807377012193 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24279/tid=24336] ppid=24277 vsize=9824668 CPUtime=614.08 cores=0,2,4,6
/proc/24279/task/24336/stat : 24336 (java) R 24277 24279 23457 0 -1 4202560 1488 0 0 0 61397 11 0 0 20 0 22 0 253518436 10060460032 618318 33554432000 1073741824 1073778376 140735260769264 139807262256240 139807377386631 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24279/tid=24337] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24337/stat : 24337 (java) S 24277 24279 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253518436 10060460032 618318 33554432000 1073741824 1073778376 140735260769264 139807264364200 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1616.14
Current children cumulated vsize (KiB) 9824668

[startup+942.301 s]
/proc/loadavg: 3.79 3.77 3.53 5/219 24417
/proc/meminfo: memFree=22695808/32873844 swapFree=7356/7356
[pid=24279] ppid=24277 vsize=9824668 CPUtime=1727.9 cores=0,2,4,6
/proc/24279/stat : 24279 (java) S 24277 24279 23457 0 -1 4202496 32897 0 1 0 172635 155 0 0 20 0 22 0 253505494 10060460032 635743 33554432000 1073741824 1073778376 140735260769264 140735260760400 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24279/statm: 2456167 635743 2288 9 0 2446860 0
[pid=24279/tid=24281] ppid=24277 vsize=9824668 CPUtime=0.34 cores=0,2,4,6
/proc/24279/task/24281/stat : 24281 (java) S 24277 24279 23457 0 -1 4202560 2597 0 1 0 30 4 0 0 20 0 22 0 253505494 10060460032 635743 33554432000 1073741824 1073778376 140735260769264 139807517025272 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24279/tid=24282] ppid=24277 vsize=9824668 CPUtime=3.8 cores=0,2,4,6
/proc/24279/task/24282/stat : 24282 (java) S 24277 24279 23457 0 -1 4202560 519 0 0 0 371 9 0 0 20 0 22 0 253505495 10060460032 635743 33554432000 1073741824 1073778376 140735260769264 139807495125160 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24279/tid=24283] ppid=24277 vsize=9824668 CPUtime=3.68 cores=0,2,4,6
/proc/24279/task/24283/stat : 24283 (java) S 24277 24279 23457 0 -1 4202560 920 0 0 0 360 8 0 0 20 0 22 0 253505495 10060460032 635743 33554432000 1073741824 1073778376 140735260769264 139807292385576 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24279/tid=24284] ppid=24277 vsize=9824668 CPUtime=3.75 cores=0,2,4,6
/proc/24279/task/24284/stat : 24284 (java) S 24277 24279 23457 0 -1 4202560 445 0 0 0 366 9 0 0 20 0 22 0 253505495 10060460032 635743 33554432000 1073741824 1073778376 140735260769264 139807291333032 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24279/tid=24285] ppid=24277 vsize=9824668 CPUtime=3.55 cores=0,2,4,6
/proc/24279/task/24285/stat : 24285 (java) S 24277 24279 23457 0 -1 4202560 850 0 0 0 347 8 0 0 20 0 22 0 253505495 10060460032 635743 33554432000 1073741824 1073778376 140735260769264 139807290280488 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24279/tid=24286] ppid=24277 vsize=9824668 CPUtime=3.76 cores=0,2,4,6
/proc/24279/task/24286/stat : 24286 (java) S 24277 24279 23457 0 -1 4202560 801 0 0 0 366 10 0 0 20 0 22 0 253505495 10060460032 635743 33554432000 1073741824 1073778376 140735260769264 139807289227944 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24279/tid=24287] ppid=24277 vsize=9824668 CPUtime=3.81 cores=0,2,4,6
/proc/24279/task/24287/stat : 24287 (java) S 24277 24279 23457 0 -1 4202560 1032 0 0 0 372 9 0 0 20 0 22 0 253505495 10060460032 635743 33554432000 1073741824 1073778376 140735260769264 139807288175400 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24279/tid=24288] ppid=24277 vsize=9824668 CPUtime=3.75 cores=0,2,4,6
/proc/24279/task/24288/stat : 24288 (java) S 24277 24279 23457 0 -1 4202560 948 0 0 0 365 10 0 0 20 0 22 0 253505495 10060460032 635743 33554432000 1073741824 1073778376 140735260769264 139807287122856 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24279/tid=24289] ppid=24277 vsize=9824668 CPUtime=3.77 cores=0,2,4,6
/proc/24279/task/24289/stat : 24289 (java) S 24277 24279 23457 0 -1 4202560 854 0 0 0 369 8 0 0 20 0 22 0 253505495 10060460032 635743 33554432000 1073741824 1073778376 140735260769264 139807286070312 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24279/tid=24290] ppid=24277 vsize=9824668 CPUtime=165.06 cores=0,2,4,6
/proc/24279/task/24290/stat : 24290 (java) S 24277 24279 23457 0 -1 4202560 3757 0 0 0 16480 26 0 0 20 0 22 0 253505496 10060460032 635743 33554432000 1073741824 1073778376 140735260769264 139807273871464 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24279/tid=24291] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24291/stat : 24291 (java) S 24277 24279 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253505497 10060460032 635743 33554432000 1073741824 1073778376 140735260769264 139807272817784 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24279/tid=24292] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24292/stat : 24292 (java) S 24277 24279 23457 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253505497 10060460032 635743 33554432000 1073741824 1073778376 140735260769264 139807271765128 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24279/tid=24293] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24293/stat : 24293 (java) S 24277 24279 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253505499 10060460032 635743 33554432000 1073741824 1073778376 140735260769264 139807270713872 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24279/tid=24294] ppid=24277 vsize=9824668 CPUtime=0.92 cores=0,2,4,6
/proc/24279/task/24294/stat : 24294 (java) S 24277 24279 23457 0 -1 4202560 5951 0 0 0 91 1 0 0 20 0 22 0 253505499 10060460032 635743 33554432000 1073741824 1073778376 140735260769264 139807269661240 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24279/tid=24295] ppid=24277 vsize=9824668 CPUtime=1.83 cores=0,2,4,6
/proc/24279/task/24295/stat : 24295 (java) S 24277 24279 23457 0 -1 4202560 10708 0 0 0 181 2 0 0 20 0 22 0 253505499 10060460032 635743 33554432000 1073741824 1073778376 140735260769264 139807268608696 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24279/tid=24296] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24296/stat : 24296 (java) S 24277 24279 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253505499 10060460032 635743 33554432000 1073741824 1073778376 140735260769264 139807267556344 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24279/tid=24297] ppid=24277 vsize=9824668 CPUtime=0.36 cores=0,2,4,6
/proc/24279/task/24297/stat : 24297 (java) S 24277 24279 23457 0 -1 4202560 55 0 0 0 19 17 0 0 20 0 22 0 253505499 10060460032 635743 33554432000 1073741824 1073778376 140735260769264 139807266504008 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24279/tid=24313] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24313/stat : 24313 (java) S 24277 24279 23457 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253505726 10060460032 635743 33554432000 1073741824 1073778376 140735260769264 139807265416872 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24279/tid=24335] ppid=24277 vsize=9824668 CPUtime=664.62 cores=0,2,4,6
/proc/24279/task/24335/stat : 24335 (java) R 24277 24279 23457 0 -1 4202560 55 0 0 0 66452 10 0 0 20 0 22 0 253518436 10060460032 635743 33554432000 1073741824 1073778376 140735260769264 139807263308784 139807377528752 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24279/tid=24336] ppid=24277 vsize=9824668 CPUtime=664.54 cores=0,2,4,6
/proc/24279/task/24336/stat : 24336 (java) R 24277 24279 23457 0 -1 4202560 1491 0 0 0 66442 12 0 0 20 0 22 0 253518436 10060460032 635743 33554432000 1073741824 1073778376 140735260769264 139807262258016 139807377229887 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24279/tid=24337] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24337/stat : 24337 (java) S 24277 24279 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253518436 10060460032 635743 33554432000 1073741824 1073778376 140735260769264 139807264364200 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1727.9
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+980.204 s]
/proc/loadavg: 3.78 3.77 3.54 11/219 24417
/proc/meminfo: memFree=22615688/32873844 swapFree=7356/7356
[pid=24279] ppid=24277 vsize=9824668 CPUtime=1799.88 cores=0,2,4,6
/proc/24279/stat : 24279 (java) S 24277 24279 23457 0 -1 4202496 32966 0 1 0 179830 158 0 0 20 0 22 0 253505494 10060460032 645488 33554432000 1073741824 1073778376 140735260769264 140735260760400 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24279/statm: 2456167 645488 2288 9 0 2446860 0
[pid=24279/tid=24281] ppid=24277 vsize=9824668 CPUtime=0.35 cores=0,2,4,6
/proc/24279/task/24281/stat : 24281 (java) S 24277 24279 23457 0 -1 4202560 2599 0 1 0 31 4 0 0 20 0 22 0 253505494 10060460032 645488 33554432000 1073741824 1073778376 140735260769264 139807517025272 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24279/tid=24282] ppid=24277 vsize=9824668 CPUtime=3.96 cores=0,2,4,6
/proc/24279/task/24282/stat : 24282 (java) S 24277 24279 23457 0 -1 4202560 522 0 0 0 387 9 0 0 20 0 22 0 253505495 10060460032 645488 33554432000 1073741824 1073778376 140735260769264 139807495125160 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24279/tid=24283] ppid=24277 vsize=9824668 CPUtime=3.78 cores=0,2,4,6
/proc/24279/task/24283/stat : 24283 (java) S 24277 24279 23457 0 -1 4202560 924 0 0 0 370 8 0 0 20 0 22 0 253505495 10060460032 645488 33554432000 1073741824 1073778376 140735260769264 139807292385576 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24279/tid=24284] ppid=24277 vsize=9824668 CPUtime=3.89 cores=0,2,4,6
/proc/24279/task/24284/stat : 24284 (java) S 24277 24279 23457 0 -1 4202560 447 0 0 0 380 9 0 0 20 0 22 0 253505495 10060460032 645488 33554432000 1073741824 1073778376 140735260769264 139807291333032 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24279/tid=24285] ppid=24277 vsize=9824668 CPUtime=3.7 cores=0,2,4,6
/proc/24279/task/24285/stat : 24285 (java) S 24277 24279 23457 0 -1 4202560 857 0 0 0 361 9 0 0 20 0 22 0 253505495 10060460032 645488 33554432000 1073741824 1073778376 140735260769264 139807290280488 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24279/tid=24286] ppid=24277 vsize=9824668 CPUtime=3.93 cores=0,2,4,6
/proc/24279/task/24286/stat : 24286 (java) S 24277 24279 23457 0 -1 4202560 805 0 0 0 383 10 0 0 20 0 22 0 253505495 10060460032 645488 33554432000 1073741824 1073778376 140735260769264 139807289227944 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24279/tid=24287] ppid=24277 vsize=9824668 CPUtime=3.96 cores=0,2,4,6
/proc/24279/task/24287/stat : 24287 (java) S 24277 24279 23457 0 -1 4202560 1034 0 0 0 387 9 0 0 20 0 22 0 253505495 10060460032 645488 33554432000 1073741824 1073778376 140735260769264 139807288175400 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24279/tid=24288] ppid=24277 vsize=9824668 CPUtime=3.86 cores=0,2,4,6
/proc/24279/task/24288/stat : 24288 (java) S 24277 24279 23457 0 -1 4202560 953 0 0 0 376 10 0 0 20 0 22 0 253505495 10060460032 645488 33554432000 1073741824 1073778376 140735260769264 139807287122856 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24279/tid=24289] ppid=24277 vsize=9824668 CPUtime=3.95 cores=0,2,4,6
/proc/24279/task/24289/stat : 24289 (java) R 24277 24279 23457 0 -1 4202560 856 0 0 0 387 8 0 0 20 0 22 0 253505495 10060460032 645488 33554432000 1073741824 1073778376 140735260769264 139807286070312 245297624124 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24279/tid=24290] ppid=24277 vsize=9824668 CPUtime=169.46 cores=0,2,4,6
/proc/24279/task/24290/stat : 24290 (java) S 24277 24279 23457 0 -1 4202560 3789 0 0 0 16920 26 0 0 20 0 22 0 253505496 10060460032 645488 33554432000 1073741824 1073778376 140735260769264 139807273871464 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24279/tid=24291] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24291/stat : 24291 (java) S 24277 24279 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253505497 10060460032 645488 33554432000 1073741824 1073778376 140735260769264 139807272817784 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24279/tid=24292] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24292/stat : 24292 (java) S 24277 24279 23457 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253505497 10060460032 645488 33554432000 1073741824 1073778376 140735260769264 139807271765128 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24279/tid=24293] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24293/stat : 24293 (java) S 24277 24279 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253505499 10060460032 645488 33554432000 1073741824 1073778376 140735260769264 139807270713872 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24279/tid=24294] ppid=24277 vsize=9824668 CPUtime=0.92 cores=0,2,4,6
/proc/24279/task/24294/stat : 24294 (java) S 24277 24279 23457 0 -1 4202560 5951 0 0 0 91 1 0 0 20 0 22 0 253505499 10060460032 645488 33554432000 1073741824 1073778376 140735260769264 139807269661240 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24279/tid=24295] ppid=24277 vsize=9824668 CPUtime=1.83 cores=0,2,4,6
/proc/24279/task/24295/stat : 24295 (java) S 24277 24279 23457 0 -1 4202560 10708 0 0 0 181 2 0 0 20 0 22 0 253505499 10060460032 645488 33554432000 1073741824 1073778376 140735260769264 139807268608696 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24279/tid=24296] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24296/stat : 24296 (java) S 24277 24279 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253505499 10060460032 645488 33554432000 1073741824 1073778376 140735260769264 139807267556344 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24279/tid=24297] ppid=24277 vsize=9824668 CPUtime=0.37 cores=0,2,4,6
/proc/24279/task/24297/stat : 24297 (java) S 24277 24279 23457 0 -1 4202560 57 0 0 0 19 18 0 0 20 0 22 0 253505499 10060460032 645488 33554432000 1073741824 1073778376 140735260769264 139807266504008 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24279/tid=24313] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24313/stat : 24313 (java) S 24277 24279 23457 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253505726 10060460032 645488 33554432000 1073741824 1073778376 140735260769264 139807265416872 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24279/tid=24335] ppid=24277 vsize=9824668 CPUtime=697.73 cores=0,2,4,6
/proc/24279/task/24335/stat : 24335 (java) R 24277 24279 23457 0 -1 4202560 57 0 0 0 69762 11 0 0 20 0 22 0 253518436 10060460032 645488 33554432000 1073741824 1073778376 140735260769264 139807263309912 139807376853856 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24279/tid=24336] ppid=24277 vsize=9824668 CPUtime=697.66 cores=0,2,4,6
/proc/24279/task/24336/stat : 24336 (java) R 24277 24279 23457 0 -1 4202560 1493 0 0 0 69754 12 0 0 20 0 22 0 253518436 10060460032 645488 33554432000 1073741824 1073778376 140735260769264 139807262256328 139807376975109 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24279/tid=24337] ppid=24277 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24279/task/24337/stat : 24337 (java) S 24277 24279 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253518436 10060460032 645488 33554432000 1073741824 1073778376 140735260769264 139807264364200 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1799.88
Current children cumulated vsize (KiB) 9824668

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24279 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=299225
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=962701
# CPU time returned by wait4() is 1796.26
# while last known CPU time is 1799.88
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


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

Real time (s): 980.266
CPU time (s): 1800.18
CPU user time (s): 1798.64
CPU system time (s): 1.54
CPU usage (%): 183.642
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.3
system time used= 1.9627
maximum resident set size= 2582068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32997
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31290
involuntary context switches= 56220

runsolver used 3.61045 second user time and 8.98563 second system time

The end

Launcher Data 

Begin job on node109 at 2012-05-24 17:36:09
IDJOB=3687722
IDBENCH=2040
IDSOLVER=2268
FILE ID=node109/3687722-1337873769
RUNJOBID= node109-1337871881-23473
PBS_JOBID= 14620095
Free space on /tmp= 71680 MiB

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

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

MD5SUM BENCH= a91a8cbbe2491e496acc19538dbd623f
RANDOM SEED=579258093

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        25806236 kB
Buffers:          198128 kB
Cached:          2784072 kB
SwapCached:            0 kB
Active:          3680980 kB
Inactive:        2608876 kB
Active(anon):    3310220 kB
Inactive(anon):        0 kB
Active(file):     370760 kB
Inactive(file):  2608876 kB
Unevictable:        7356 kB
Mlocked:            7356 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               520 kB
Writeback:             0 kB
AnonPages:       3320960 kB
Mapped:            22552 kB
Shmem:               200 kB
Slab:             626344 kB
SReclaimable:      68608 kB
SUnreclaim:       557736 kB
KernelStack:        1648 kB
PageTables:        11056 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    3522256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3239936 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= 71680 MiB
End job on node109 at 2012-05-24 17:52:31