Trace number 3710787

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
SAT4J PB specific settings 2.3.2 snapshotSAT (TO)14 1800.07 1792.65

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.03/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.03/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.07	c See www.sat4j.org for details.
0.03/0.07	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.03/0.07	c version 2.3.2.v20120418
0.03/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.07	c java.vm.version	19.1-b02
0.03/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.07	c sun.arch.data.model	64
0.03/0.07	c java.version		1.6.0_24
0.03/0.07	c os.name		Linux
0.03/0.07	c os.version		2.6.32-71.29.1.el6.x86_64
0.03/0.07	c os.arch		amd64
0.03/0.07	c Free memory 		501472288
0.03/0.07	c Max memory 		7480803328
0.03/0.07	c Total memory 		504102912
0.03/0.07	c Number of processors 	8
0.10/0.10	c read org.sat4j.minisat.orders.VarOrderHeap
0.10/0.10	c configuring ORDERS
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=true
0.10/0.11	c Heuristics kept accross calls (keep the solver "hot")
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3710787-1338153055.opb
0.10/0.11	c reading problem ... 
0.10/0.15	c ... done. Wall clock time 0.044s.
0.10/0.15	c declared #vars     100
0.10/0.15	c #constraints  100
0.10/0.15	c constraints type 
0.10/0.15	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100
0.10/0.15	c 100 constraints processed.
0.10/0.15	c SATISFIABLE
0.10/0.15	c OPTIMIZING...
0.10/0.15	c Got one! Elapsed wall clock time (in seconds):0.048
0.10/0.15	o 18
0.52/0.37	c cleaning 2493 clauses out of 5000 with flag 5000/5000
0.72/0.48	c cleaning 4247 clauses out of 8508 with flag 11001/11001
0.85/0.59	c cleaning 5620 clauses out of 11260 with flag 18000/18000
1.06/0.73	c cleaning 6814 clauses out of 13640 with flag 26000/26000
1.18/0.89	c cleaning 7911 clauses out of 15829 with flag 35003/35003
1.39/1.06	c cleaning 8944 clauses out of 17915 with flag 45000/45000
1.59/1.26	c cleaning 9975 clauses out of 19971 with flag 56000/56000
1.79/1.48	c cleaning 10987 clauses out of 21997 with flag 68001/68001
2.09/1.74	c cleaning 11998 clauses out of 24011 with flag 81002/81002
2.39/2.00	c cleaning 12998 clauses out of 26011 with flag 95000/95000
2.70/2.30	c cleaning 13994 clauses out of 28013 with flag 110000/110000
3.01/2.63	c cleaning 15001 clauses out of 30019 with flag 126000/126000
3.31/2.97	c cleaning 15993 clauses out of 32018 with flag 143000/143000
3.73/3.34	c cleaning 17004 clauses out of 34026 with flag 161001/161001
4.04/3.60	c Got one! Elapsed wall clock time (in seconds):3.498
4.04/3.60	o 17
4.14/3.76	c cleaning 17192 clauses out of 34396 with flag 5003/178375
4.25/3.89	c cleaning 11598 clauses out of 23203 with flag 11002/184374
4.45/4.02	c cleaning 9294 clauses out of 18604 with flag 18001/191373
4.58/4.17	c cleaning 8647 clauses out of 17309 with flag 26000/199372
4.79/4.34	c cleaning 8822 clauses out of 17663 with flag 35001/208373
4.99/4.51	c cleaning 9411 clauses out of 18841 with flag 45001/218373
5.19/4.71	c cleaning 10206 clauses out of 20430 with flag 56001/229373
5.39/4.94	c cleaning 11096 clauses out of 22223 with flag 68000/241372
5.61/5.19	c cleaning 12046 clauses out of 24127 with flag 81000/254372
5.92/5.47	c cleaning 13036 clauses out of 26082 with flag 95001/268373
6.21/5.76	c cleaning 14016 clauses out of 28046 with flag 110001/283373
6.52/6.08	c cleaning 15010 clauses out of 30030 with flag 126001/299373
6.92/6.46	c cleaning 15998 clauses out of 32019 with flag 143000/316372
7.34/6.86	c cleaning 16997 clauses out of 34021 with flag 161000/334372
7.74/7.24	c cleaning 18002 clauses out of 36024 with flag 180000/353372
8.17/7.67	c cleaning 19004 clauses out of 38023 with flag 200001/373373
8.67/8.16	c cleaning 20003 clauses out of 40018 with flag 221000/394372
9.17/8.67	c cleaning 21009 clauses out of 42022 with flag 243007/416379
9.69/9.18	c cleaning 21993 clauses out of 44006 with flag 266000/439372
10.31/9.74	c cleaning 22998 clauses out of 46015 with flag 290002/463374
10.93/10.36	c cleaning 24000 clauses out of 48015 with flag 315000/488372
11.65/11.01	c cleaning 25005 clauses out of 50016 with flag 341001/514373
12.26/11.67	c cleaning 25988 clauses out of 52010 with flag 368000/541372
13.08/12.44	c cleaning 26995 clauses out of 54022 with flag 396000/569372
13.91/13.23	c cleaning 28009 clauses out of 56030 with flag 425003/598375
14.71/14.01	c cleaning 29005 clauses out of 58020 with flag 455002/628374
15.53/14.82	c cleaning 29997 clauses out of 60013 with flag 486000/659372
16.35/15.64	c cleaning 30999 clauses out of 62016 with flag 518000/691372
17.27/16.57	c cleaning 32005 clauses out of 64017 with flag 551000/724372
18.20/17.49	c cleaning 32989 clauses out of 66012 with flag 585000/758372
19.21/18.42	c cleaning 34003 clauses out of 68025 with flag 620002/793374
20.21/19.42	c cleaning 34999 clauses out of 70020 with flag 656000/829372
21.32/20.51	c cleaning 35996 clauses out of 72022 with flag 693001/866373
22.43/21.68	c cleaning 36999 clauses out of 74025 with flag 731000/904372
23.64/22.83	c cleaning 38012 clauses out of 76029 with flag 770003/943375
24.76/23.99	c cleaning 38996 clauses out of 78015 with flag 810001/983373
26.08/25.30	c cleaning 39999 clauses out of 80020 with flag 851002/1024374
27.68/26.89	c cleaning 41000 clauses out of 82019 with flag 893000/1066372
29.01/28.14	c cleaning 42001 clauses out of 84019 with flag 936000/1109372
30.43/29.54	c cleaning 42996 clauses out of 86018 with flag 980000/1153372
31.94/31.02	c cleaning 44001 clauses out of 88022 with flag 1025000/1198372
33.64/32.72	c cleaning 44996 clauses out of 90021 with flag 1071000/1244372
35.36/34.49	c cleaning 46003 clauses out of 92025 with flag 1118000/1291372
37.28/36.39	c cleaning 47002 clauses out of 94023 with flag 1166001/1339373
39.00/38.04	c cleaning 48002 clauses out of 96020 with flag 1215000/1388372
40.70/39.70	c cleaning 49000 clauses out of 98018 with flag 1265000/1438372
42.52/41.51	c cleaning 49998 clauses out of 100019 with flag 1316001/1489373
44.44/43.42	c cleaning 50998 clauses out of 102020 with flag 1368000/1541372
46.47/45.46	c cleaning 52005 clauses out of 104022 with flag 1421000/1594372
48.42/47.37	c cleaning 52998 clauses out of 106018 with flag 1475001/1648373
50.72/49.63	c cleaning 53994 clauses out of 108019 with flag 1530000/1703372
52.93/51.88	c cleaning 55002 clauses out of 110028 with flag 1586003/1759375
55.16/54.02	c cleaning 55992 clauses out of 112023 with flag 1643000/1816372
57.49/56.30	c cleaning 57003 clauses out of 114032 with flag 1701001/1874373
58.01/56.81	c Got one! Elapsed wall clock time (in seconds):56.702
58.01/56.81	o 16
58.41/57.21	c cleaning 42275 clauses out of 84563 with flag 5001/1901907
58.62/57.43	c cleaning 24132 clauses out of 48287 with flag 11000/1907906
58.82/57.60	c cleaning 15562 clauses out of 31155 with flag 18000/1914906
58.93/57.76	c cleaning 11783 clauses out of 23596 with flag 26003/1922909
59.13/57.94	c cleaning 10389 clauses out of 20810 with flag 35000/1931906
59.33/58.13	c cleaning 10203 clauses out of 20421 with flag 45000/1941906
59.54/58.34	c cleaning 10601 clauses out of 21218 with flag 56000/1952906
59.74/58.56	c cleaning 11301 clauses out of 22618 with flag 68001/1964907
60.08/58.85	c cleaning 12145 clauses out of 24316 with flag 81000/1977906
60.39/59.16	c cleaning 13077 clauses out of 26172 with flag 95001/1991907
60.71/59.45	c cleaning 14034 clauses out of 28095 with flag 110001/2006907
61.01/59.76	c cleaning 15025 clauses out of 30060 with flag 126000/2022906
61.41/60.11	c cleaning 16015 clauses out of 32038 with flag 143003/2039909
61.72/60.49	c cleaning 16999 clauses out of 34020 with flag 161000/2057906
62.22/60.93	c cleaning 17999 clauses out of 36022 with flag 180001/2076907
62.62/61.38	c cleaning 18996 clauses out of 38024 with flag 200002/2096908
63.13/61.86	c cleaning 20002 clauses out of 40026 with flag 221000/2117906
63.73/62.40	c cleaning 21002 clauses out of 42025 with flag 243001/2139907
64.24/62.94	c cleaning 21998 clauses out of 44022 with flag 266000/2162906
64.84/63.51	c cleaning 22998 clauses out of 46025 with flag 290001/2186907
65.45/64.15	c cleaning 23998 clauses out of 48026 with flag 315000/2211906
66.05/64.76	c cleaning 24994 clauses out of 50028 with flag 341000/2237906
66.75/65.41	c cleaning 26007 clauses out of 52035 with flag 368001/2264907
67.46/66.13	c cleaning 27006 clauses out of 54027 with flag 396000/2292906
68.27/66.94	c cleaning 28001 clauses out of 56023 with flag 425002/2321908
69.08/67.74	c cleaning 28995 clauses out of 58020 with flag 455000/2351906
69.89/68.55	c cleaning 29999 clauses out of 60028 with flag 486003/2382909
70.72/69.38	c cleaning 31009 clauses out of 62027 with flag 518001/2414907
71.62/70.24	c cleaning 31993 clauses out of 64017 with flag 551000/2447906
72.54/71.19	c cleaning 32999 clauses out of 66024 with flag 585000/2481906
73.56/72.10	c cleaning 33993 clauses out of 68025 with flag 620000/2516906
74.46/73.08	c cleaning 35000 clauses out of 70032 with flag 656000/2552906
75.57/74.19	c cleaning 36001 clauses out of 72032 with flag 693000/2589906
76.67/75.28	c cleaning 37003 clauses out of 74031 with flag 731000/2627906
77.80/76.39	c cleaning 37997 clauses out of 76028 with flag 770000/2666906
79.13/77.62	c cleaning 39007 clauses out of 78031 with flag 810000/2706906
80.36/78.89	c cleaning 40003 clauses out of 80024 with flag 851000/2747906
81.66/80.18	c cleaning 40997 clauses out of 82022 with flag 893001/2789907
83.18/81.64	c cleaning 41997 clauses out of 84024 with flag 936000/2832906
84.59/83.03	c cleaning 42995 clauses out of 86027 with flag 980000/2876906
86.02/84.43	c cleaning 44001 clauses out of 88032 with flag 1025000/2921906
87.44/85.84	c cleaning 44998 clauses out of 90032 with flag 1071001/2967907
89.06/87.46	c cleaning 46001 clauses out of 92033 with flag 1118000/3014906
90.79/89.19	c cleaning 47003 clauses out of 94032 with flag 1166000/3062906
92.50/90.89	c cleaning 48003 clauses out of 96031 with flag 1215002/3111908
94.20/92.59	c cleaning 49004 clauses out of 98028 with flag 1265002/3161908
96.01/94.31	c cleaning 49998 clauses out of 100025 with flag 1316003/3212909
97.63/95.93	c cleaning 50998 clauses out of 102026 with flag 1368002/3264908
99.35/97.61	c cleaning 52004 clauses out of 104027 with flag 1421001/3317907
101.25/99.53	c cleaning 52996 clauses out of 106022 with flag 1475000/3371906
103.17/101.46	c cleaning 53992 clauses out of 108026 with flag 1530000/3426906
105.38/103.64	c cleaning 54999 clauses out of 110035 with flag 1586001/3482907
107.78/106.05	c cleaning 56005 clauses out of 112035 with flag 1643000/3539906
110.12/108.37	c cleaning 57005 clauses out of 114034 with flag 1701004/3597910
112.54/110.71	c cleaning 58002 clauses out of 116027 with flag 1760002/3656908
114.97/113.14	c cleaning 58996 clauses out of 118023 with flag 1820000/3716906
117.38/115.57	c cleaning 59999 clauses out of 120028 with flag 1881001/3777907
119.79/117.92	c cleaning 61007 clauses out of 122029 with flag 1943001/3839907
122.19/120.33	c cleaning 61991 clauses out of 124022 with flag 2006001/3902907
124.60/122.72	c cleaning 63001 clauses out of 126030 with flag 2070000/3966906
127.13/125.25	c cleaning 64004 clauses out of 128032 with flag 2135003/4031909
129.85/127.96	c cleaning 64999 clauses out of 130026 with flag 2201001/4097907
132.26/130.39	c cleaning 66007 clauses out of 132026 with flag 2268000/4164906
135.27/133.32	c cleaning 66997 clauses out of 134019 with flag 2336000/4232906
138.09/136.11	c cleaning 67993 clauses out of 136022 with flag 2405000/4301906
141.01/139.04	c cleaning 69000 clauses out of 138029 with flag 2475000/4371906
141.14/139.19	c Got one! Elapsed wall clock time (in seconds):139.082
141.14/139.19	o 15
141.54/139.56	c cleaning 39677 clauses out of 79365 with flag 5003/4382242
141.76/139.78	c cleaning 22834 clauses out of 45687 with flag 11002/4388241
141.97/139.96	c cleaning 14907 clauses out of 29852 with flag 18001/4395240
142.17/140.11	c cleaning 11460 clauses out of 22944 with flag 26000/4403239
142.27/140.28	c cleaning 10236 clauses out of 20485 with flag 35001/4412240
142.48/140.47	c cleaning 10112 clauses out of 20248 with flag 45000/4422239
142.68/140.66	c cleaning 10560 clauses out of 21137 with flag 56001/4433240
142.89/140.88	c cleaning 11277 clauses out of 22576 with flag 68000/4445239
143.21/141.14	c cleaning 12134 clauses out of 24299 with flag 81000/4458239
143.51/141.40	c cleaning 13065 clauses out of 26165 with flag 95000/4472239
143.81/141.71	c cleaning 14049 clauses out of 28101 with flag 110001/4487240
144.15/142.03	c cleaning 15015 clauses out of 30052 with flag 126001/4503240
144.46/142.37	c cleaning 16002 clauses out of 32036 with flag 143000/4520239
144.88/142.72	c cleaning 17009 clauses out of 34034 with flag 161000/4538239
145.28/143.11	c cleaning 17999 clauses out of 36025 with flag 180000/4557239
145.68/143.53	c cleaning 18999 clauses out of 38026 with flag 200000/4577239
146.08/143.97	c cleaning 20002 clauses out of 40029 with flag 221002/4598241
146.61/144.44	c cleaning 21002 clauses out of 42026 with flag 243001/4620240
147.12/144.96	c cleaning 21993 clauses out of 44023 with flag 266000/4643239
147.72/145.53	c cleaning 22998 clauses out of 46032 with flag 290002/4667241
148.36/146.14	c cleaning 24011 clauses out of 48033 with flag 315001/4692240
148.97/146.79	c cleaning 24998 clauses out of 50021 with flag 341000/4718239
149.77/147.50	c cleaning 25993 clauses out of 52023 with flag 368000/4745239
150.51/148.22	c cleaning 27001 clauses out of 54030 with flag 396000/4773239
151.21/148.93	c cleaning 28007 clauses out of 56029 with flag 425000/4802239
152.02/149.71	c cleaning 29001 clauses out of 58024 with flag 455002/4832241
152.83/150.55	c cleaning 29991 clauses out of 60022 with flag 486001/4863240
153.63/151.38	c cleaning 30997 clauses out of 62030 with flag 518000/4895239
154.53/152.24	c cleaning 32007 clauses out of 64036 with flag 551003/4928242
155.55/153.21	c cleaning 33000 clauses out of 66026 with flag 585000/4962239
156.57/154.23	c cleaning 33995 clauses out of 68026 with flag 620000/4997239
157.59/155.28	c cleaning 34997 clauses out of 70031 with flag 656000/5033239
158.59/156.29	c cleaning 35996 clauses out of 72034 with flag 693000/5070239
159.81/157.43	c cleaning 37002 clauses out of 74038 with flag 731000/5108239
161.03/158.62	c cleaning 38004 clauses out of 76037 with flag 770001/5147240
162.44/160.01	c cleaning 38998 clauses out of 78033 with flag 810001/5187240
163.47/161.09	c Got one! Elapsed wall clock time (in seconds):160.988
163.47/161.09	o 14
163.87/161.49	c cleaning 41983 clauses out of 83983 with flag 5000/5232188
164.19/161.71	c cleaning 23991 clauses out of 48001 with flag 11001/5238189
164.30/161.89	c cleaning 15493 clauses out of 31010 with flag 18001/5245189
164.51/162.05	c cleaning 11749 clauses out of 23517 with flag 26001/5253189
164.72/162.21	c cleaning 10374 clauses out of 20768 with flag 35001/5262189
164.93/162.40	c cleaning 10179 clauses out of 20393 with flag 45000/5272188
165.17/162.61	c cleaning 10592 clauses out of 21214 with flag 56000/5283188
165.38/162.83	c cleaning 11297 clauses out of 22623 with flag 68001/5295189
165.59/163.08	c cleaning 12150 clauses out of 24325 with flag 81000/5308188
165.91/163.35	c cleaning 13080 clauses out of 26176 with flag 95001/5322189
166.21/163.66	c cleaning 14031 clauses out of 28095 with flag 110000/5337188
166.64/164.00	c cleaning 15017 clauses out of 30066 with flag 126002/5353190
166.94/164.35	c cleaning 16012 clauses out of 32047 with flag 143000/5370188
167.38/164.75	c cleaning 17006 clauses out of 34036 with flag 161001/5388189
167.80/165.18	c cleaning 17999 clauses out of 36029 with flag 180000/5407188
168.32/165.62	c cleaning 18999 clauses out of 38031 with flag 200001/5427189
168.73/166.08	c cleaning 20003 clauses out of 40033 with flag 221002/5448190
169.25/166.59	c cleaning 20999 clauses out of 42028 with flag 243000/5470188
169.88/167.12	c cleaning 22009 clauses out of 44029 with flag 266000/5493188
170.49/167.75	c cleaning 22995 clauses out of 46021 with flag 290001/5517189
171.11/168.36	c cleaning 24006 clauses out of 48025 with flag 315000/5542188
171.85/169.05	c cleaning 24991 clauses out of 50019 with flag 341000/5568188
172.56/169.70	c cleaning 25991 clauses out of 52029 with flag 368001/5595189
173.29/170.43	c cleaning 27009 clauses out of 54038 with flag 396001/5623189
173.99/171.19	c cleaning 27996 clauses out of 56032 with flag 425004/5652192
174.79/171.99	c cleaning 28995 clauses out of 58032 with flag 455000/5682188
175.73/172.83	c cleaning 29997 clauses out of 60037 with flag 486000/5713188
176.64/173.71	c cleaning 30999 clauses out of 62040 with flag 518000/5745188
177.44/174.56	c cleaning 32001 clauses out of 64041 with flag 551000/5778188
178.35/175.49	c cleaning 32997 clauses out of 66041 with flag 585001/5812189
179.45/176.51	c cleaning 34001 clauses out of 68043 with flag 620000/5847188
180.48/177.53	c cleaning 35015 clauses out of 70049 with flag 656007/5883195
181.60/178.66	c cleaning 35990 clauses out of 72028 with flag 693001/5920189
182.92/179.90	c cleaning 37010 clauses out of 74037 with flag 731000/5958188
184.05/181.06	c cleaning 38004 clauses out of 76029 with flag 770002/5997190
185.27/182.27	c cleaning 38997 clauses out of 78024 with flag 810001/6037189
186.59/183.54	c cleaning 39999 clauses out of 80027 with flag 851001/6078189
187.91/184.85	c cleaning 40994 clauses out of 82027 with flag 893000/6120188
189.21/186.18	c cleaning 42006 clauses out of 84038 with flag 936005/6163193
190.73/187.62	c cleaning 42989 clauses out of 86027 with flag 980000/6207188
192.14/189.00	c cleaning 43997 clauses out of 88038 with flag 1025000/6252188
193.57/190.47	c cleaning 45007 clauses out of 90042 with flag 1071001/6298189
195.20/192.06	c cleaning 46008 clauses out of 92034 with flag 1118000/6345188
196.93/193.70	c cleaning 46993 clauses out of 94026 with flag 1166000/6393188
198.57/195.33	c cleaning 47999 clauses out of 96034 with flag 1215001/6442189
200.27/197.07	c cleaning 49009 clauses out of 98034 with flag 1265000/6492188
201.99/198.79	c cleaning 49997 clauses out of 100025 with flag 1316000/6543188
203.91/200.62	c cleaning 50997 clauses out of 102030 with flag 1368002/6595190
205.81/202.55	c cleaning 52000 clauses out of 104031 with flag 1421000/6648188
207.84/204.50	c cleaning 52993 clauses out of 106034 with flag 1475003/6702191
210.16/206.88	c cleaning 54017 clauses out of 108045 with flag 1530007/6757195
212.36/209.00	c cleaning 54992 clauses out of 110021 with flag 1586000/6813188
214.58/211.24	c cleaning 56006 clauses out of 112029 with flag 1643000/6870188
216.71/213.39	c cleaning 56999 clauses out of 114024 with flag 1701001/6928189
219.12/215.70	c cleaning 58008 clauses out of 116024 with flag 1760000/6987188
221.62/218.26	c cleaning 58993 clauses out of 118016 with flag 1820000/7047188
224.05/220.68	c cleaning 59999 clauses out of 120024 with flag 1881001/7108189
226.77/223.32	c cleaning 61000 clauses out of 122024 with flag 1943000/7170188
229.38/225.90	c cleaning 61996 clauses out of 124024 with flag 2006000/7233188
232.19/228.76	c cleaning 62994 clauses out of 126028 with flag 2070000/7297188
235.01/231.50	c cleaning 64006 clauses out of 128037 with flag 2135003/7362191
237.75/234.21	c cleaning 65001 clauses out of 130028 with flag 2201000/7428188
240.66/237.16	c cleaning 66003 clauses out of 132027 with flag 2268000/7495188
243.60/240.03	c cleaning 66995 clauses out of 134024 with flag 2336000/7563188
246.51/242.91	c cleaning 67997 clauses out of 136031 with flag 2405002/7632190
249.34/245.77	c cleaning 68996 clauses out of 138032 with flag 2475000/7702188
252.15/248.53	c cleaning 70003 clauses out of 140036 with flag 2546000/7773188
255.35/251.75	c cleaning 71006 clauses out of 142034 with flag 2618001/7845189
258.38/254.75	c cleaning 72003 clauses out of 144027 with flag 2691000/7918188
261.59/257.97	c cleaning 73001 clauses out of 146026 with flag 2765002/7992190
265.00/261.38	c cleaning 73998 clauses out of 148023 with flag 2840000/8067188
268.22/264.58	c cleaning 74991 clauses out of 150025 with flag 2916000/8143188
271.43/267.77	c cleaning 76006 clauses out of 152035 with flag 2993001/8220189
275.53/271.82	c cleaning 77002 clauses out of 154029 with flag 3071001/8298189
279.66/275.96	c cleaning 78005 clauses out of 156027 with flag 3150001/8377189
283.88/280.11	c cleaning 78991 clauses out of 158023 with flag 3230002/8457190
288.10/284.30	c cleaning 80000 clauses out of 160030 with flag 3311000/8538188
292.42/288.60	c cleaning 81002 clauses out of 162033 with flag 3393003/8620191
296.73/292.91	c cleaning 82003 clauses out of 164029 with flag 3476001/8703189
301.14/297.34	c cleaning 82999 clauses out of 166025 with flag 3560000/8787188
305.46/301.61	c cleaning 83998 clauses out of 168027 with flag 3645001/8872189
309.98/306.10	c cleaning 84995 clauses out of 170029 with flag 3731001/8958189
314.70/310.81	c cleaning 85998 clauses out of 172035 with flag 3818002/9045190
319.52/315.61	c cleaning 87005 clauses out of 174035 with flag 3906000/9133188
324.34/320.41	c cleaning 87998 clauses out of 176030 with flag 3995000/9222188
328.77/324.88	c cleaning 89000 clauses out of 178035 with flag 4085003/9312191
333.80/329.85	c cleaning 90000 clauses out of 180032 with flag 4176000/9403188
338.82/334.87	c cleaning 91006 clauses out of 182032 with flag 4268000/9495188
344.43/340.44	c cleaning 92005 clauses out of 184027 with flag 4361001/9588189
349.87/345.85	c cleaning 92996 clauses out of 186021 with flag 4455000/9682188
354.80/350.74	c cleaning 93993 clauses out of 188025 with flag 4550000/9777188
360.33/356.25	c cleaning 94997 clauses out of 190032 with flag 4646000/9873188
365.45/361.38	c cleaning 95999 clauses out of 192037 with flag 4743002/9970190
370.88/366.71	c cleaning 97005 clauses out of 194037 with flag 4841001/10068189
377.68/373.59	c cleaning 98012 clauses out of 196033 with flag 4940002/10167190
383.91/379.78	c cleaning 98995 clauses out of 198019 with flag 5040000/10267188
390.28/386.04	c cleaning 100000 clauses out of 200024 with flag 5141000/10368188
396.09/391.83	c cleaning 100995 clauses out of 202024 with flag 5243000/10470188
402.20/397.99	c cleaning 101994 clauses out of 204029 with flag 5346000/10573188
408.62/404.32	c cleaning 103012 clauses out of 206040 with flag 5450005/10677193
415.25/410.99	c cleaning 104005 clauses out of 208024 with flag 5555001/10782189
422.27/417.92	c cleaning 104995 clauses out of 210018 with flag 5661000/10888188
428.78/424.48	c cleaning 105992 clauses out of 212024 with flag 5768001/10995189
435.39/431.07	c cleaning 107003 clauses out of 214031 with flag 5876000/11103188
442.82/438.42	c cleaning 108002 clauses out of 216029 with flag 5985001/11212189
448.95/444.52	c cleaning 108998 clauses out of 218029 with flag 6095003/11322191
456.38/451.91	c cleaning 109995 clauses out of 220028 with flag 6206000/11433188
463.21/458.72	c cleaning 111002 clauses out of 222033 with flag 6318000/11545188
470.02/465.50	c cleaning 112010 clauses out of 224031 with flag 6431000/11658188
477.73/473.30	c cleaning 112994 clauses out of 226022 with flag 6545001/11772189
485.67/481.11	c cleaning 113993 clauses out of 228028 with flag 6660001/11887189
493.22/488.68	c cleaning 115006 clauses out of 230034 with flag 6776000/12003188
500.94/496.34	c cleaning 115994 clauses out of 232029 with flag 6893001/12120189
508.16/503.52	c cleaning 116996 clauses out of 234034 with flag 7011000/12238188
516.50/511.81	c cleaning 118005 clauses out of 236038 with flag 7130000/12357188
526.20/521.50	c cleaning 118995 clauses out of 238033 with flag 7250000/12477188
535.12/530.47	c cleaning 120001 clauses out of 240039 with flag 7371001/12598189
544.34/539.67	c cleaning 121009 clauses out of 242038 with flag 7493001/12720189
553.58/548.89	c cleaning 122005 clauses out of 244030 with flag 7616002/12843190
562.49/557.77	c cleaning 123002 clauses out of 246025 with flag 7740002/12967190
572.40/567.65	c cleaning 123993 clauses out of 248021 with flag 7865000/13092188
581.72/576.96	c cleaning 124998 clauses out of 250028 with flag 7991000/13218188
591.24/586.48	c cleaning 125997 clauses out of 252030 with flag 8118000/13345188
600.88/596.07	c cleaning 127009 clauses out of 254033 with flag 8246000/13473188
611.49/606.68	c cleaning 127988 clauses out of 256024 with flag 8375000/13602188
621.45/616.58	c cleaning 128995 clauses out of 258037 with flag 8505001/13732189
631.30/626.39	c cleaning 130004 clauses out of 260042 with flag 8636001/13863189
641.43/636.47	c cleaning 131005 clauses out of 262037 with flag 8768000/13995188
651.96/646.97	c cleaning 131999 clauses out of 264032 with flag 8901000/14128188
662.00/656.93	c cleaning 132997 clauses out of 266033 with flag 9035000/14262188
671.52/666.42	c cleaning 133996 clauses out of 268036 with flag 9170000/14397188
682.54/677.44	c cleaning 135005 clauses out of 270040 with flag 9306000/14533188
693.67/688.50	c cleaning 136011 clauses out of 272035 with flag 9443000/14670188
703.32/698.14	c cleaning 137008 clauses out of 274025 with flag 9581001/14808189
714.43/709.23	c cleaning 137992 clauses out of 276016 with flag 9720000/14947188
724.76/719.51	c cleaning 138998 clauses out of 278026 with flag 9860002/15087190
738.48/733.20	c cleaning 139998 clauses out of 280026 with flag 10001000/15228188
749.30/744.02	c cleaning 141003 clauses out of 282029 with flag 10143001/15370189
760.01/754.77	c cleaning 142004 clauses out of 284025 with flag 10286000/15513188
772.14/766.89	c cleaning 143002 clauses out of 286025 with flag 10430004/15657192
784.27/778.96	c cleaning 143999 clauses out of 288019 with flag 10575000/15802188
796.70/791.35	c cleaning 144995 clauses out of 290020 with flag 10721000/15948188
809.14/803.73	c cleaning 146004 clauses out of 292025 with flag 10868000/16095188
820.75/815.37	c cleaning 146992 clauses out of 294022 with flag 11016001/16243189
833.49/828.06	c cleaning 148004 clauses out of 296029 with flag 11165000/16392188
847.22/841.71	c cleaning 148995 clauses out of 298025 with flag 11315000/16542188
860.19/854.64	c cleaning 150003 clauses out of 300031 with flag 11466001/16693189
874.51/868.91	c cleaning 150998 clauses out of 302027 with flag 11618000/16845188
887.22/881.62	c cleaning 151994 clauses out of 304030 with flag 11771001/16998189
901.74/896.15	c cleaning 153011 clauses out of 306041 with flag 11925006/17152194
915.86/910.28	c cleaning 153993 clauses out of 308024 with flag 12080000/17307188
928.80/923.17	c cleaning 155007 clauses out of 310031 with flag 12236000/17463188
943.61/937.94	c cleaning 156002 clauses out of 312026 with flag 12393002/17620190
957.04/951.33	c cleaning 156987 clauses out of 314022 with flag 12551000/17778188
970.59/964.85	c cleaning 157996 clauses out of 316035 with flag 12710000/17937188
984.51/978.79	c cleaning 159007 clauses out of 318040 with flag 12870001/18097189
998.63/992.84	c cleaning 160003 clauses out of 320033 with flag 13031001/18258189
1013.56/1007.77	c cleaning 160990 clauses out of 322029 with flag 13193000/18420188
1026.02/1020.19	c cleaning 162007 clauses out of 324042 with flag 13356003/18583191
1039.56/1033.66	c cleaning 162999 clauses out of 326032 with flag 13520000/18747188
1052.21/1046.27	c cleaning 164007 clauses out of 328033 with flag 13685000/18912188
1064.74/1058.76	c cleaning 164993 clauses out of 330026 with flag 13851000/19078188
1076.97/1070.93	c cleaning 166000 clauses out of 332035 with flag 14018002/19245190
1089.48/1083.45	c cleaning 167005 clauses out of 334033 with flag 14186000/19413188
1103.02/1096.91	c cleaning 167993 clauses out of 336028 with flag 14355000/19582188
1116.95/1110.88	c cleaning 169001 clauses out of 338036 with flag 14525001/19752189
1131.49/1125.37	c cleaning 170006 clauses out of 340034 with flag 14696000/19923188
1145.22/1139.05	c cleaning 170999 clauses out of 342028 with flag 14868000/20095188
1160.39/1154.20	c cleaning 172007 clauses out of 344030 with flag 15041001/20268189
1178.83/1172.56	c cleaning 172996 clauses out of 346023 with flag 15215001/20442189
1196.27/1189.94	c cleaning 173991 clauses out of 348026 with flag 15390000/20617188
1212.51/1206.12	c cleaning 174998 clauses out of 350035 with flag 15566000/20793188
1230.36/1223.96	c cleaning 175999 clauses out of 352038 with flag 15743001/20970189
1248.79/1242.34	c cleaning 177000 clauses out of 354038 with flag 15921000/21148188
1266.62/1260.11	c cleaning 177997 clauses out of 356038 with flag 16100000/21327188
1284.03/1277.51	c cleaning 179006 clauses out of 358042 with flag 16280001/21507189
1302.05/1295.50	c cleaning 179998 clauses out of 360035 with flag 16461000/21688188
1320.06/1313.58	c cleaning 180998 clauses out of 362038 with flag 16643001/21870189
1337.17/1330.65	c cleaning 182002 clauses out of 364041 with flag 16826002/22053190
1356.20/1349.64	c cleaning 182996 clauses out of 366039 with flag 17010002/22237190
1373.65/1367.09	c cleaning 184006 clauses out of 368041 with flag 17195000/22422188
1394.36/1387.72	c cleaning 185005 clauses out of 370036 with flag 17381001/22608189
1416.92/1410.20	c cleaning 185996 clauses out of 372030 with flag 17568000/22795188
1436.65/1429.94	c cleaning 187008 clauses out of 374036 with flag 17756002/22983190
1456.66/1449.99	c cleaning 188009 clauses out of 376029 with flag 17945003/23172191
1478.20/1471.49	c cleaning 188990 clauses out of 378018 with flag 18135001/23362189
1499.91/1493.18	c cleaning 189992 clauses out of 380027 with flag 18326000/23553188
1520.63/1513.87	c cleaning 191004 clauses out of 382035 with flag 18518000/23745188
1542.77/1535.97	c cleaning 192002 clauses out of 384032 with flag 18711001/23938189
1563.72/1556.88	c cleaning 193004 clauses out of 386030 with flag 18905001/24132189
1585.03/1578.11	c cleaning 193995 clauses out of 388025 with flag 19100000/24327188
1609.47/1602.51	c cleaning 194996 clauses out of 390031 with flag 19296001/24523189
1630.99/1624.09	c cleaning 196001 clauses out of 392034 with flag 19493000/24720188
1652.13/1645.14	c cleaning 196996 clauses out of 394035 with flag 19691002/24918190
1674.67/1667.53	c cleaning 198009 clauses out of 396037 with flag 19890000/25117188
1697.63/1690.46	c cleaning 199006 clauses out of 398029 with flag 20090001/25317189
1721.39/1714.14	c cleaning 200001 clauses out of 400022 with flag 20291000/25518188
1743.33/1736.04	c cleaning 200999 clauses out of 402022 with flag 20493001/25720189
1764.76/1757.42	c cleaning 201993 clauses out of 404023 with flag 20696001/25923189
1787.73/1780.30	c cleaning 202999 clauses out of 406029 with flag 20900000/26127188
1800.07/1792.61	c starts		: 381
1800.07/1792.61	c conflicts		: 26278501
1800.07/1792.61	c decisions		: 47973234
1800.07/1792.61	c propagations		: 281264528
1800.07/1792.61	c inspects		: 21417534323
1800.07/1792.61	c shortcuts		: 0
1800.07/1792.61	c learnt literals	: 0
1800.07/1792.61	c learnt binary clauses	: 0
1800.07/1792.61	c learnt ternary clauses	: 0
1800.07/1792.61	c learnt constraints	: 26278502
1800.07/1792.61	c ignored constraints	: 0
1800.07/1792.61	c root simplifications	: 381
1800.07/1792.61	c removed literals (reason simplification)	: 4130719
1800.07/1792.61	c reason swapping (by a shorter reason)	: 0
1800.07/1792.61	c Calls to reduceDB	: 370
1800.07/1792.61	c number of reductions to clauses (during analyze)	: 0
1800.07/1792.61	c number of learned constraints concerned by reduction	: 0
1800.07/1792.61	c number of learning phase by resolution	: 0
1800.07/1792.61	c number of learning phase by cutting planes	: 0
1800.07/1792.61	c speed (assignments/second)	: 156915.73070691834
1800.07/1792.61	c non guided choices	156
1800.07/1792.64	c learnt constraints type 
1800.07/1792.64	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 354489
1800.07/1792.64	c constraints type 
1800.07/1792.64	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100
1800.07/1792.65	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.07/1792.65	c 101 constraints processed.
1800.07/1792.65	s SATISFIABLE
1800.07/1792.65	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.07/1792.65	c objective function=14
1800.07/1792.65	c Total wall clock time (in seconds): 1792.539

Verifier Data 

OK	14

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-3710787-1338153055/watcher-3710787-1338153055 -o /tmp/evaluation-result-3710787-1338153055/solver-3710787-1338153055 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710787-1338153055.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: 1.98 2.02 2.00 3/194 26512
/proc/meminfo: memFree=31307560/32873648 swapFree=6612/6612
[pid=26512] ppid=26510 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/26512/stat : 26512 (java) R 26510 26512 22368 0 -1 4202496 984 0 0 0 0 0 0 0 20 0 1 0 281429997 23793664 711 33554432000 1073741824 1073778376 140736809847456 140736809836520 212064056680 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26512/statm: 5809 711 526 9 0 128 0

[startup+0.048678 s]
/proc/loadavg: 1.98 2.02 2.00 3/194 26512
/proc/meminfo: memFree=31307560/32873648 swapFree=6612/6612
[pid=26512] ppid=26510 vsize=9491816 CPUtime=0.03 cores=1,3,5,7
/proc/26512/stat : 26512 (java) S 26510 26512 22368 0 -1 4202496 3144 0 1 0 3 0 0 0 20 0 17 0 281429997 9719619584 4352 33554432000 1073741824 1073778376 140736809847456 140736809838592 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26512/statm: 2372954 4358 1743 9 0 2363655 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9491816

[startup+0.100247 s]
/proc/loadavg: 1.98 2.02 2.00 3/194 26512
/proc/meminfo: memFree=31307560/32873648 swapFree=6612/6612
[pid=26512] ppid=26510 vsize=9558440 CPUtime=0.1 cores=1,3,5,7
/proc/26512/stat : 26512 (java) S 26510 26512 22368 0 -1 4202496 4393 0 1 0 9 1 0 0 20 0 18 0 281429997 9787842560 6111 33554432000 1073741824 1073778376 140736809847456 140736809838592 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26512/statm: 2389610 6111 2131 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440

[startup+0.300223 s]
/proc/loadavg: 1.98 2.02 2.00 3/194 26512
/proc/meminfo: memFree=31307560/32873648 swapFree=6612/6612
[pid=26512] ppid=26510 vsize=9625004 CPUtime=0.52 cores=1,3,5,7
/proc/26512/stat : 26512 (java) S 26510 26512 22368 0 -1 4202496 7018 0 1 0 51 1 0 0 20 0 19 0 281429997 9856004096 8685 33554432000 1073741824 1073778376 140736809847456 140736809838592 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26512/statm: 2406251 8685 2230 9 0 2396937 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9625004

[startup+0.700189 s]
/proc/loadavg: 1.98 2.02 2.00 3/194 26512
/proc/meminfo: memFree=31307560/32873648 swapFree=6612/6612
[pid=26512] ppid=26510 vsize=9625004 CPUtime=1.06 cores=1,3,5,7
/proc/26512/stat : 26512 (java) S 26510 26512 22368 0 -1 4202496 7982 0 1 0 104 2 0 0 20 0 19 0 281429997 9856004096 10322 33554432000 1073741824 1073778376 140736809847456 140736809838592 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26512/statm: 2406251 10322 2269 9 0 2396937 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 9625004

[startup+1.50061 s]
/proc/loadavg: 1.98 2.02 2.00 3/213 26531
/proc/meminfo: memFree=31270372/32873648 swapFree=6612/6612
[pid=26512] ppid=26510 vsize=9625004 CPUtime=1.89 cores=1,3,5,7
/proc/26512/stat : 26512 (java) S 26510 26512 22368 0 -1 4202496 8161 0 1 0 187 2 0 0 20 0 19 0 281429997 9856004096 11373 33554432000 1073741824 1073778376 140736809847456 140736809838592 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26512/statm: 2406251 11373 2270 9 0 2396937 0
[pid=26512/tid=26514] ppid=26510 vsize=9625004 CPUtime=1.38 cores=1,3,5,7
/proc/26512/task/26514/stat : 26514 (java) R 26510 26512 22368 0 -1 4202560 2506 0 1 0 138 0 0 0 20 0 19 0 281429997 9856004096 11373 33554432000 1073741824 1073778376 140736809847456 140574366314920 140574229834060 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26512/tid=26515] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26515/stat : 26515 (java) S 26510 26512 22368 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 281429998 9856004096 11373 33554432000 1073741824 1073778376 140736809847456 140574355377192 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26512/tid=26516] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26516/stat : 26516 (java) S 26510 26512 22368 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281429998 9856004096 11373 33554432000 1073741824 1073778376 140736809847456 140574354324392 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26512/tid=26517] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26517/stat : 26517 (java) S 26510 26512 22368 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281429998 9856004096 11373 33554432000 1073741824 1073778376 140736809847456 140574353271592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26512/tid=26518] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26518/stat : 26518 (java) S 26510 26512 22368 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 281429998 9856004096 11373 33554432000 1073741824 1073778376 140736809847456 140574352218792 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26512/tid=26519] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26519/stat : 26519 (java) S 26510 26512 22368 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281429998 9856004096 11373 33554432000 1073741824 1073778376 140736809847456 140574351165992 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26512/tid=26520] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26520/stat : 26520 (java) S 26510 26512 22368 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281429998 9856004096 11373 33554432000 1073741824 1073778376 140736809847456 140574350113192 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26512/tid=26521] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26521/stat : 26521 (java) S 26510 26512 22368 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 281429998 9856004096 11373 33554432000 1073741824 1073778376 140736809847456 140574349060392 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26512/tid=26522] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26522/stat : 26522 (java) S 26510 26512 22368 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281429998 9856004096 11373 33554432000 1073741824 1073778376 140736809847456 140574348007592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26512/tid=26523] ppid=26510 vsize=9625004 CPUtime=0.06 cores=1,3,5,7
/proc/26512/task/26523/stat : 26523 (java) S 26510 26512 22368 0 -1 4202560 34 0 0 0 6 0 0 0 20 0 19 0 281429999 9856004096 11373 33554432000 1073741824 1073778376 140736809847456 140574190545896 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26512/tid=26524] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26524/stat : 26524 (java) S 26510 26512 22368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281429999 9856004096 11373 33554432000 1073741824 1073778376 140736809847456 140574189491960 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26512/tid=26525] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26525/stat : 26525 (java) S 26510 26512 22368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281429999 9856004096 11373 33554432000 1073741824 1073778376 140736809847456 140574188439048 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26512/tid=26526] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26526/stat : 26526 (java) S 26510 26512 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281430001 9856004096 11373 33554432000 1073741824 1073778376 140736809847456 140574187387536 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26512/tid=26527] ppid=26510 vsize=9625004 CPUtime=0.2 cores=1,3,5,7
/proc/26512/task/26527/stat : 26527 (java) S 26510 26512 22368 0 -1 4202560 2361 0 0 0 20 0 0 0 20 0 19 0 281430001 9856004096 11373 33554432000 1073741824 1073778376 140736809847456 140574186334648 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26512/tid=26528] ppid=26510 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/26512/task/26528/stat : 26528 (java) S 26510 26512 22368 0 -1 4202560 2015 0 0 0 17 0 0 0 20 0 19 0 281430001 9856004096 11373 33554432000 1073741824 1073778376 140736809847456 140574185281848 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26512/tid=26529] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26529/stat : 26529 (java) S 26510 26512 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281430001 9856004096 11373 33554432000 1073741824 1073778376 140736809847456 140574184229240 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26512/tid=26530] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26530/stat : 26530 (java) S 26510 26512 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281430001 9856004096 11373 33554432000 1073741824 1073778376 140736809847456 140574183176648 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26512/tid=26531] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26531/stat : 26531 (java) S 26510 26512 22368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281430012 9856004096 11373 33554432000 1073741824 1073778376 140736809847456 140574182123176 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 9625004

[startup+3.1007 s]
/proc/loadavg: 1.98 2.02 2.00 3/213 26531
/proc/meminfo: memFree=31269752/32873648 swapFree=6612/6612
[pid=26512] ppid=26510 vsize=9625004 CPUtime=3.53 cores=1,3,5,7
/proc/26512/stat : 26512 (java) S 26510 26512 22368 0 -1 4202496 8187 0 1 0 351 2 0 0 20 0 19 0 281429997 9856004096 11902 33554432000 1073741824 1073778376 140736809847456 140736809838592 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26512/statm: 2406251 11902 2270 9 0 2396937 0
[pid=26512/tid=26514] ppid=26510 vsize=9625004 CPUtime=2.91 cores=1,3,5,7
/proc/26512/task/26514/stat : 26514 (java) R 26510 26512 22368 0 -1 4202560 2511 0 1 0 291 0 0 0 20 0 19 0 281429997 9856004096 11902 33554432000 1073741824 1073778376 140736809847456 140574366314760 140574229722428 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26512/tid=26515] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26515/stat : 26515 (java) S 26510 26512 22368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281429998 9856004096 11902 33554432000 1073741824 1073778376 140736809847456 140574355377192 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26512/tid=26516] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26516/stat : 26516 (java) S 26510 26512 22368 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281429998 9856004096 11902 33554432000 1073741824 1073778376 140736809847456 140574354324392 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26512/tid=26517] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26517/stat : 26517 (java) S 26510 26512 22368 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 281429998 9856004096 11902 33554432000 1073741824 1073778376 140736809847456 140574353271592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26512/tid=26518] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26518/stat : 26518 (java) S 26510 26512 22368 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 281429998 9856004096 11902 33554432000 1073741824 1073778376 140736809847456 140574352218792 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26512/tid=26519] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26519/stat : 26519 (java) S 26510 26512 22368 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281429998 9856004096 11902 33554432000 1073741824 1073778376 140736809847456 140574351165992 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26512/tid=26520] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26520/stat : 26520 (java) S 26510 26512 22368 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281429998 9856004096 11902 33554432000 1073741824 1073778376 140736809847456 140574350113192 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26512/tid=26521] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26521/stat : 26521 (java) S 26510 26512 22368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281429998 9856004096 11902 33554432000 1073741824 1073778376 140736809847456 140574349060392 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26512/tid=26522] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26522/stat : 26522 (java) S 26510 26512 22368 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281429998 9856004096 11902 33554432000 1073741824 1073778376 140736809847456 140574348007592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26512/tid=26523] ppid=26510 vsize=9625004 CPUtime=0.11 cores=1,3,5,7
/proc/26512/task/26523/stat : 26523 (java) S 26510 26512 22368 0 -1 4202560 34 0 0 0 11 0 0 0 20 0 19 0 281429999 9856004096 11902 33554432000 1073741824 1073778376 140736809847456 140574190545896 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26512/tid=26524] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26524/stat : 26524 (java) S 26510 26512 22368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281429999 9856004096 11902 33554432000 1073741824 1073778376 140736809847456 140574189491960 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26512/tid=26525] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26525/stat : 26525 (java) S 26510 26512 22368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281429999 9856004096 11902 33554432000 1073741824 1073778376 140736809847456 140574188439048 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26512/tid=26526] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26526/stat : 26526 (java) S 26510 26512 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281430001 9856004096 11902 33554432000 1073741824 1073778376 140736809847456 140574187387536 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26512/tid=26527] ppid=26510 vsize=9625004 CPUtime=0.2 cores=1,3,5,7
/proc/26512/task/26527/stat : 26527 (java) S 26510 26512 22368 0 -1 4202560 2361 0 0 0 20 0 0 0 20 0 19 0 281430001 9856004096 11902 33554432000 1073741824 1073778376 140736809847456 140574186334648 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26512/tid=26528] ppid=26510 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/26512/task/26528/stat : 26528 (java) S 26510 26512 22368 0 -1 4202560 2015 0 0 0 17 0 0 0 20 0 19 0 281430001 9856004096 11902 33554432000 1073741824 1073778376 140736809847456 140574185281848 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26512/tid=26529] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26529/stat : 26529 (java) S 26510 26512 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281430001 9856004096 11902 33554432000 1073741824 1073778376 140736809847456 140574184229240 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26512/tid=26530] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26530/stat : 26530 (java) S 26510 26512 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281430001 9856004096 11902 33554432000 1073741824 1073778376 140736809847456 140574183176648 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26512/tid=26531] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26531/stat : 26531 (java) S 26510 26512 22368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281430012 9856004096 11902 33554432000 1073741824 1073778376 140736809847456 140574182123176 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.53
Current children cumulated vsize (KiB) 9625004

[startup+6.30068 s]
/proc/loadavg: 1.98 2.02 2.00 3/213 26531
/proc/meminfo: memFree=31265284/32873648 swapFree=6612/6612
[pid=26512] ppid=26510 vsize=9625004 CPUtime=6.82 cores=1,3,5,7
/proc/26512/stat : 26512 (java) S 26510 26512 22368 0 -1 4202496 8210 0 1 0 679 3 0 0 20 0 19 0 281429997 9856004096 12374 33554432000 1073741824 1073778376 140736809847456 140736809838592 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26512/statm: 2406251 12374 2270 9 0 2396937 0
[pid=26512/tid=26514] ppid=26510 vsize=9625004 CPUtime=5.91 cores=1,3,5,7
/proc/26512/task/26514/stat : 26514 (java) R 26510 26512 22368 0 -1 4202560 2525 0 1 0 591 0 0 0 20 0 19 0 281429997 9856004096 12374 33554432000 1073741824 1073778376 140736809847456 140574366314920 140574229722244 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26512/tid=26515] ppid=26510 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/26512/task/26515/stat : 26515 (java) S 26510 26512 22368 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 281429998 9856004096 12374 33554432000 1073741824 1073778376 140736809847456 140574355377192 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26512/tid=26516] ppid=26510 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/26512/task/26516/stat : 26516 (java) S 26510 26512 22368 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 281429998 9856004096 12374 33554432000 1073741824 1073778376 140736809847456 140574354324392 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26512/tid=26517] ppid=26510 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/26512/task/26517/stat : 26517 (java) S 26510 26512 22368 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 19 0 281429998 9856004096 12374 33554432000 1073741824 1073778376 140736809847456 140574353271592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26512/tid=26518] ppid=26510 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/26512/task/26518/stat : 26518 (java) S 26510 26512 22368 0 -1 4202560 23 0 0 0 1 0 0 0 20 0 19 0 281429998 9856004096 12374 33554432000 1073741824 1073778376 140736809847456 140574352218792 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26512/tid=26519] ppid=26510 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/26512/task/26519/stat : 26519 (java) S 26510 26512 22368 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 281429998 9856004096 12374 33554432000 1073741824 1073778376 140736809847456 140574351165992 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26512/tid=26520] ppid=26510 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/26512/task/26520/stat : 26520 (java) S 26510 26512 22368 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 281429998 9856004096 12374 33554432000 1073741824 1073778376 140736809847456 140574350113192 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26512/tid=26521] ppid=26510 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/26512/task/26521/stat : 26521 (java) S 26510 26512 22368 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 19 0 281429998 9856004096 12374 33554432000 1073741824 1073778376 140736809847456 140574349060392 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26512/tid=26522] ppid=26510 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/26512/task/26522/stat : 26522 (java) S 26510 26512 22368 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 281429998 9856004096 12374 33554432000 1073741824 1073778376 140736809847456 140574348007592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26512/tid=26523] ppid=26510 vsize=9625004 CPUtime=0.25 cores=1,3,5,7
/proc/26512/task/26523/stat : 26523 (java) S 26510 26512 22368 0 -1 4202560 35 0 0 0 25 0 0 0 20 0 19 0 281429999 9856004096 12374 33554432000 1073741824 1073778376 140736809847456 140574190545896 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26512/tid=26524] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26524/stat : 26524 (java) S 26510 26512 22368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281429999 9856004096 12374 33554432000 1073741824 1073778376 140736809847456 140574189491960 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26512/tid=26525] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26525/stat : 26525 (java) S 26510 26512 22368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281429999 9856004096 12374 33554432000 1073741824 1073778376 140736809847456 140574188439048 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26512/tid=26526] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26526/stat : 26526 (java) S 26510 26512 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281430001 9856004096 12374 33554432000 1073741824 1073778376 140736809847456 140574187387536 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26512/tid=26527] ppid=26510 vsize=9625004 CPUtime=0.2 cores=1,3,5,7
/proc/26512/task/26527/stat : 26527 (java) S 26510 26512 22368 0 -1 4202560 2361 0 0 0 20 0 0 0 20 0 19 0 281430001 9856004096 12374 33554432000 1073741824 1073778376 140736809847456 140574186334648 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26512/tid=26528] ppid=26510 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/26512/task/26528/stat : 26528 (java) S 26510 26512 22368 0 -1 4202560 2015 0 0 0 17 0 0 0 20 0 19 0 281430001 9856004096 12374 33554432000 1073741824 1073778376 140736809847456 140574185281848 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26512/tid=26529] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26529/stat : 26529 (java) S 26510 26512 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281430001 9856004096 12374 33554432000 1073741824 1073778376 140736809847456 140574184229240 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26512/tid=26530] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26530/stat : 26530 (java) S 26510 26512 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281430001 9856004096 12374 33554432000 1073741824 1073778376 140736809847456 140574183176648 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26512/tid=26531] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26531/stat : 26531 (java) S 26510 26512 22368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281430012 9856004096 12374 33554432000 1073741824 1073778376 140736809847456 140574182123176 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.82
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

[pid=26512/tid=26527] ppid=26510 vsize=9625004 CPUtime=0.22 cores=1,3,5,7
/proc/26512/task/26527/stat : 26527 (java) S 26510 26512 22368 0 -1 4202560 2704 0 0 0 22 0 0 0 20 0 19 0 281430001 9856004096 41352 33554432000 1073741824 1073778376 140736809847456 140574186334648 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26512/tid=26528] ppid=26510 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/26512/task/26528/stat : 26528 (java) S 26510 26512 22368 0 -1 4202560 2015 0 0 0 17 0 0 0 20 0 19 0 281430001 9856004096 41352 33554432000 1073741824 1073778376 140736809847456 140574185281848 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26512/tid=26529] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26529/stat : 26529 (java) S 26510 26512 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281430001 9856004096 41352 33554432000 1073741824 1073778376 140736809847456 140574184229240 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26512/tid=26530] ppid=26510 vsize=9625004 CPUtime=0.58 cores=1,3,5,7
/proc/26512/task/26530/stat : 26530 (java) S 26510 26512 22368 0 -1 4202560 95 0 0 0 23 35 0 0 20 0 19 0 281430001 9856004096 41352 33554432000 1073741824 1073778376 140736809847456 140574183176648 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26512/tid=26531] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26531/stat : 26531 (java) S 26510 26512 22368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281430012 9856004096 41352 33554432000 1073741824 1073778376 140736809847456 140574182123176 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1669.46
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 26545
/proc/meminfo: memFree=30977092/32873648 swapFree=6612/6612
[pid=26512] ppid=26510 vsize=9625004 CPUtime=1729.64 cores=1,3,5,7
/proc/26512/stat : 26512 (java) S 26510 26512 22368 0 -1 4202496 11551 0 1 0 172914 50 0 0 20 0 19 0 281429997 9856004096 41352 33554432000 1073741824 1073778376 140736809847456 140736809838592 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26512/statm: 2406251 41352 2271 9 0 2396937 0
[pid=26512/tid=26514] ppid=26510 vsize=9625004 CPUtime=1703.48 cores=1,3,5,7
/proc/26512/task/26514/stat : 26514 (java) R 26510 26512 22368 0 -1 4202560 2878 0 1 0 170320 28 0 0 20 0 19 0 281429997 9856004096 41352 33554432000 1073741824 1073778376 140736809847456 140574366314800 140574229691776 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26512/tid=26515] ppid=26510 vsize=9625004 CPUtime=1.26 cores=1,3,5,7
/proc/26512/task/26515/stat : 26515 (java) S 26510 26512 22368 0 -1 4202560 272 0 0 0 123 3 0 0 20 0 19 0 281429998 9856004096 41352 33554432000 1073741824 1073778376 140736809847456 140574355377192 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26512/tid=26516] ppid=26510 vsize=9625004 CPUtime=1.19 cores=1,3,5,7
/proc/26512/task/26516/stat : 26516 (java) S 26510 26512 22368 0 -1 4202560 483 0 0 0 117 2 0 0 20 0 19 0 281429998 9856004096 41352 33554432000 1073741824 1073778376 140736809847456 140574354324392 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26512/tid=26517] ppid=26510 vsize=9625004 CPUtime=1.21 cores=1,3,5,7
/proc/26512/task/26517/stat : 26517 (java) S 26510 26512 22368 0 -1 4202560 388 0 0 0 119 2 0 0 20 0 19 0 281429998 9856004096 41352 33554432000 1073741824 1073778376 140736809847456 140574353271592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26512/tid=26518] ppid=26510 vsize=9625004 CPUtime=1.16 cores=1,3,5,7
/proc/26512/task/26518/stat : 26518 (java) S 26510 26512 22368 0 -1 4202560 291 0 0 0 116 0 0 0 20 0 19 0 281429998 9856004096 41352 33554432000 1073741824 1073778376 140736809847456 140574352218792 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26512/tid=26519] ppid=26510 vsize=9625004 CPUtime=1.24 cores=1,3,5,7
/proc/26512/task/26519/stat : 26519 (java) S 26510 26512 22368 0 -1 4202560 345 0 0 0 122 2 0 0 20 0 19 0 281429998 9856004096 41352 33554432000 1073741824 1073778376 140736809847456 140574351165992 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26512/tid=26520] ppid=26510 vsize=9625004 CPUtime=1.27 cores=1,3,5,7
/proc/26512/task/26520/stat : 26520 (java) S 26510 26512 22368 0 -1 4202560 263 0 0 0 125 2 0 0 20 0 19 0 281429998 9856004096 41352 33554432000 1073741824 1073778376 140736809847456 140574350113192 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26512/tid=26521] ppid=26510 vsize=9625004 CPUtime=1.15 cores=1,3,5,7
/proc/26512/task/26521/stat : 26521 (java) S 26510 26512 22368 0 -1 4202560 209 0 0 0 113 2 0 0 20 0 19 0 281429998 9856004096 41352 33554432000 1073741824 1073778376 140736809847456 140574349060392 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26512/tid=26522] ppid=26510 vsize=9625004 CPUtime=1.18 cores=1,3,5,7
/proc/26512/task/26522/stat : 26522 (java) S 26510 26512 22368 0 -1 4202560 269 0 0 0 115 3 0 0 20 0 19 0 281429998 9856004096 41352 33554432000 1073741824 1073778376 140736809847456 140574348007592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26512/tid=26523] ppid=26510 vsize=9625004 CPUtime=11.29 cores=1,3,5,7
/proc/26512/task/26523/stat : 26523 (java) S 26510 26512 22368 0 -1 4202560 154 0 0 0 1125 4 0 0 20 0 19 0 281429999 9856004096 41352 33554432000 1073741824 1073778376 140736809847456 140574190545896 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26512/tid=26524] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26524/stat : 26524 (java) S 26510 26512 22368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281429999 9856004096 41352 33554432000 1073741824 1073778376 140736809847456 140574189491960 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26512/tid=26525] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26525/stat : 26525 (java) S 26510 26512 22368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281429999 9856004096 41352 33554432000 1073741824 1073778376 140736809847456 140574188439048 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26512/tid=26526] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26526/stat : 26526 (java) S 26510 26512 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281430001 9856004096 41352 33554432000 1073741824 1073778376 140736809847456 140574187387536 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26512/tid=26527] ppid=26510 vsize=9625004 CPUtime=0.22 cores=1,3,5,7
/proc/26512/task/26527/stat : 26527 (java) S 26510 26512 22368 0 -1 4202560 2704 0 0 0 22 0 0 0 20 0 19 0 281430001 9856004096 41352 33554432000 1073741824 1073778376 140736809847456 140574186334648 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26512/tid=26528] ppid=26510 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/26512/task/26528/stat : 26528 (java) S 26510 26512 22368 0 -1 4202560 2015 0 0 0 17 0 0 0 20 0 19 0 281430001 9856004096 41352 33554432000 1073741824 1073778376 140736809847456 140574185281848 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26512/tid=26529] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26529/stat : 26529 (java) S 26510 26512 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281430001 9856004096 41352 33554432000 1073741824 1073778376 140736809847456 140574184229240 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26512/tid=26530] ppid=26510 vsize=9625004 CPUtime=0.62 cores=1,3,5,7
/proc/26512/task/26530/stat : 26530 (java) S 26510 26512 22368 0 -1 4202560 99 0 0 0 25 37 0 0 20 0 19 0 281430001 9856004096 41352 33554432000 1073741824 1073778376 140736809847456 140574183176648 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26512/tid=26531] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26531/stat : 26531 (java) S 26510 26512 22368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281430012 9856004096 41352 33554432000 1073741824 1073778376 140736809847456 140574182123176 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1729.64
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 26607
/proc/meminfo: memFree=31166056/32873648 swapFree=6612/6612
[pid=26512] ppid=26510 vsize=9625004 CPUtime=1789.76 cores=1,3,5,7
/proc/26512/stat : 26512 (java) S 26510 26512 22368 0 -1 4202496 11572 0 1 0 178925 51 0 0 20 0 19 0 281429997 9856004096 42376 33554432000 1073741824 1073778376 140736809847456 140736809838592 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26512/statm: 2406251 42376 2271 9 0 2396937 0
[pid=26512/tid=26514] ppid=26510 vsize=9625004 CPUtime=1763.04 cores=1,3,5,7
/proc/26512/task/26514/stat : 26514 (java) R 26510 26512 22368 0 -1 4202560 2881 0 1 0 176275 29 0 0 20 0 19 0 281429997 9856004096 42376 33554432000 1073741824 1073778376 140736809847456 140574366314800 140574229748720 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26512/tid=26515] ppid=26510 vsize=9625004 CPUtime=1.27 cores=1,3,5,7
/proc/26512/task/26515/stat : 26515 (java) S 26510 26512 22368 0 -1 4202560 274 0 0 0 124 3 0 0 20 0 19 0 281429998 9856004096 42376 33554432000 1073741824 1073778376 140736809847456 140574355377192 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26512/tid=26516] ppid=26510 vsize=9625004 CPUtime=1.2 cores=1,3,5,7
/proc/26512/task/26516/stat : 26516 (java) S 26510 26512 22368 0 -1 4202560 485 0 0 0 118 2 0 0 20 0 19 0 281429998 9856004096 42376 33554432000 1073741824 1073778376 140736809847456 140574354324392 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26512/tid=26517] ppid=26510 vsize=9625004 CPUtime=1.22 cores=1,3,5,7
/proc/26512/task/26517/stat : 26517 (java) S 26510 26512 22368 0 -1 4202560 388 0 0 0 120 2 0 0 20 0 19 0 281429998 9856004096 42376 33554432000 1073741824 1073778376 140736809847456 140574353271592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26512/tid=26518] ppid=26510 vsize=9625004 CPUtime=1.19 cores=1,3,5,7
/proc/26512/task/26518/stat : 26518 (java) S 26510 26512 22368 0 -1 4202560 292 0 0 0 119 0 0 0 20 0 19 0 281429998 9856004096 42376 33554432000 1073741824 1073778376 140736809847456 140574352218792 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26512/tid=26519] ppid=26510 vsize=9625004 CPUtime=1.26 cores=1,3,5,7
/proc/26512/task/26519/stat : 26519 (java) S 26510 26512 22368 0 -1 4202560 346 0 0 0 124 2 0 0 20 0 19 0 281429998 9856004096 42376 33554432000 1073741824 1073778376 140736809847456 140574351165992 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26512/tid=26520] ppid=26510 vsize=9625004 CPUtime=1.29 cores=1,3,5,7
/proc/26512/task/26520/stat : 26520 (java) S 26510 26512 22368 0 -1 4202560 264 0 0 0 127 2 0 0 20 0 19 0 281429998 9856004096 42376 33554432000 1073741824 1073778376 140736809847456 140574350113192 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26512/tid=26521] ppid=26510 vsize=9625004 CPUtime=1.17 cores=1,3,5,7
/proc/26512/task/26521/stat : 26521 (java) S 26510 26512 22368 0 -1 4202560 210 0 0 0 115 2 0 0 20 0 19 0 281429998 9856004096 42376 33554432000 1073741824 1073778376 140736809847456 140574349060392 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26512/tid=26522] ppid=26510 vsize=9625004 CPUtime=1.21 cores=1,3,5,7
/proc/26512/task/26522/stat : 26522 (java) S 26510 26512 22368 0 -1 4202560 271 0 0 0 118 3 0 0 20 0 19 0 281429998 9856004096 42376 33554432000 1073741824 1073778376 140736809847456 140574348007592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26512/tid=26523] ppid=26510 vsize=9625004 CPUtime=11.53 cores=1,3,5,7
/proc/26512/task/26523/stat : 26523 (java) S 26510 26512 22368 0 -1 4202560 158 0 0 0 1149 4 0 0 20 0 19 0 281429999 9856004096 42376 33554432000 1073741824 1073778376 140736809847456 140574190545896 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26512/tid=26524] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26524/stat : 26524 (java) S 26510 26512 22368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281429999 9856004096 42376 33554432000 1073741824 1073778376 140736809847456 140574189491960 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26512/tid=26525] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26525/stat : 26525 (java) S 26510 26512 22368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281429999 9856004096 42376 33554432000 1073741824 1073778376 140736809847456 140574188439048 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26512/tid=26526] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26526/stat : 26526 (java) S 26510 26512 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281430001 9856004096 42376 33554432000 1073741824 1073778376 140736809847456 140574187387536 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26512/tid=26527] ppid=26510 vsize=9625004 CPUtime=0.22 cores=1,3,5,7
/proc/26512/task/26527/stat : 26527 (java) S 26510 26512 22368 0 -1 4202560 2704 0 0 0 22 0 0 0 20 0 19 0 281430001 9856004096 42376 33554432000 1073741824 1073778376 140736809847456 140574186334648 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26512/tid=26528] ppid=26510 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/26512/task/26528/stat : 26528 (java) S 26510 26512 22368 0 -1 4202560 2015 0 0 0 17 0 0 0 20 0 19 0 281430001 9856004096 42376 33554432000 1073741824 1073778376 140736809847456 140574185281848 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26512/tid=26529] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26529/stat : 26529 (java) S 26510 26512 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281430001 9856004096 42376 33554432000 1073741824 1073778376 140736809847456 140574184229240 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26512/tid=26530] ppid=26510 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/26512/task/26530/stat : 26530 (java) S 26510 26512 22368 0 -1 4202560 103 0 0 0 25 38 0 0 20 0 19 0 281430001 9856004096 42376 33554432000 1073741824 1073778376 140736809847456 140574183176648 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26512/tid=26531] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26531/stat : 26531 (java) S 26510 26512 22368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281430012 9856004096 42376 33554432000 1073741824 1073778376 140736809847456 140574182123176 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1789.76
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 26607
/proc/meminfo: memFree=31163888/32873648 swapFree=6612/6612
[pid=26512] ppid=26510 vsize=9625004 CPUtime=1800.07 cores=1,3,5,7
/proc/26512/stat : 26512 (java) S 26510 26512 22368 0 -1 4202496 11572 0 1 0 179956 51 0 0 20 0 19 0 281429997 9856004096 42376 33554432000 1073741824 1073778376 140736809847456 140736809838592 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26512/statm: 2406251 42376 2271 9 0 2396937 0
[pid=26512/tid=26514] ppid=26510 vsize=9625004 CPUtime=1773.32 cores=1,3,5,7
/proc/26512/task/26514/stat : 26514 (java) R 26510 26512 22368 0 -1 4202560 2881 0 1 0 177303 29 0 0 20 0 19 0 281429997 9856004096 42376 33554432000 1073741824 1073778376 140736809847456 140574366314800 140574229691809 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26512/tid=26515] ppid=26510 vsize=9625004 CPUtime=1.27 cores=1,3,5,7
/proc/26512/task/26515/stat : 26515 (java) S 26510 26512 22368 0 -1 4202560 274 0 0 0 124 3 0 0 20 0 19 0 281429998 9856004096 42376 33554432000 1073741824 1073778376 140736809847456 140574355377192 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26512/tid=26516] ppid=26510 vsize=9625004 CPUtime=1.2 cores=1,3,5,7
/proc/26512/task/26516/stat : 26516 (java) S 26510 26512 22368 0 -1 4202560 485 0 0 0 118 2 0 0 20 0 19 0 281429998 9856004096 42376 33554432000 1073741824 1073778376 140736809847456 140574354324392 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26512/tid=26517] ppid=26510 vsize=9625004 CPUtime=1.22 cores=1,3,5,7
/proc/26512/task/26517/stat : 26517 (java) S 26510 26512 22368 0 -1 4202560 388 0 0 0 120 2 0 0 20 0 19 0 281429998 9856004096 42376 33554432000 1073741824 1073778376 140736809847456 140574353271592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26512/tid=26518] ppid=26510 vsize=9625004 CPUtime=1.19 cores=1,3,5,7
/proc/26512/task/26518/stat : 26518 (java) S 26510 26512 22368 0 -1 4202560 292 0 0 0 119 0 0 0 20 0 19 0 281429998 9856004096 42376 33554432000 1073741824 1073778376 140736809847456 140574352218792 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26512/tid=26519] ppid=26510 vsize=9625004 CPUtime=1.26 cores=1,3,5,7
/proc/26512/task/26519/stat : 26519 (java) S 26510 26512 22368 0 -1 4202560 346 0 0 0 124 2 0 0 20 0 19 0 281429998 9856004096 42376 33554432000 1073741824 1073778376 140736809847456 140574351165992 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26512/tid=26520] ppid=26510 vsize=9625004 CPUtime=1.29 cores=1,3,5,7
/proc/26512/task/26520/stat : 26520 (java) S 26510 26512 22368 0 -1 4202560 264 0 0 0 127 2 0 0 20 0 19 0 281429998 9856004096 42376 33554432000 1073741824 1073778376 140736809847456 140574350113192 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26512/tid=26521] ppid=26510 vsize=9625004 CPUtime=1.17 cores=1,3,5,7
/proc/26512/task/26521/stat : 26521 (java) S 26510 26512 22368 0 -1 4202560 210 0 0 0 115 2 0 0 20 0 19 0 281429998 9856004096 42376 33554432000 1073741824 1073778376 140736809847456 140574349060392 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26512/tid=26522] ppid=26510 vsize=9625004 CPUtime=1.21 cores=1,3,5,7
/proc/26512/task/26522/stat : 26522 (java) S 26510 26512 22368 0 -1 4202560 271 0 0 0 118 3 0 0 20 0 19 0 281429998 9856004096 42376 33554432000 1073741824 1073778376 140736809847456 140574348007592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26512/tid=26523] ppid=26510 vsize=9625004 CPUtime=11.53 cores=1,3,5,7
/proc/26512/task/26523/stat : 26523 (java) S 26510 26512 22368 0 -1 4202560 158 0 0 0 1149 4 0 0 20 0 19 0 281429999 9856004096 42376 33554432000 1073741824 1073778376 140736809847456 140574190545896 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26512/tid=26524] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26524/stat : 26524 (java) S 26510 26512 22368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281429999 9856004096 42376 33554432000 1073741824 1073778376 140736809847456 140574189491960 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26512/tid=26525] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26525/stat : 26525 (java) S 26510 26512 22368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281429999 9856004096 42376 33554432000 1073741824 1073778376 140736809847456 140574188439048 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26512/tid=26526] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26526/stat : 26526 (java) S 26510 26512 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281430001 9856004096 42376 33554432000 1073741824 1073778376 140736809847456 140574187387536 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26512/tid=26527] ppid=26510 vsize=9625004 CPUtime=0.22 cores=1,3,5,7
/proc/26512/task/26527/stat : 26527 (java) S 26510 26512 22368 0 -1 4202560 2704 0 0 0 22 0 0 0 20 0 19 0 281430001 9856004096 42376 33554432000 1073741824 1073778376 140736809847456 140574186334648 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26512/tid=26528] ppid=26510 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/26512/task/26528/stat : 26528 (java) S 26510 26512 22368 0 -1 4202560 2015 0 0 0 17 0 0 0 20 0 19 0 281430001 9856004096 42376 33554432000 1073741824 1073778376 140736809847456 140574185281848 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26512/tid=26529] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26529/stat : 26529 (java) S 26510 26512 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281430001 9856004096 42376 33554432000 1073741824 1073778376 140736809847456 140574184229240 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26512/tid=26530] ppid=26510 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/26512/task/26530/stat : 26530 (java) S 26510 26512 22368 0 -1 4202560 103 0 0 0 25 38 0 0 20 0 19 0 281430001 9856004096 42376 33554432000 1073741824 1073778376 140736809847456 140574183176648 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26512/tid=26531] ppid=26510 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26531/stat : 26531 (java) S 26510 26512 22368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281430012 9856004096 42376 33554432000 1073741824 1073778376 140736809847456 140574182123176 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9625004

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 26512 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=18115
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=10846
# CPU time returned by wait4() is 1796.03
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1792.65
CPU time (s): 1800.07
CPU user time (s): 1799.56
CPU system time (s): 0.51
CPU usage (%): 100.414
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.02
system time used= 1.01085
maximum resident set size= 169664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11616
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48281
involuntary context switches= 29120

runsolver used 6.29004 second user time and 14.5048 second system time

The end

Launcher Data 

Begin job on node148 at 2012-05-27 23:10:55
IDJOB=3710787
IDBENCH=2860
IDSOLVER=2289
FILE ID=node148/3710787-1338153055
RUNJOBID= node148-1338138660-24909
PBS_JOBID= 14624498
Free space on /tmp= 71700 MiB

SOLVER NAME= SAT4J PB specific settings 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-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710787-1338153055/watcher-3710787-1338153055 -o /tmp/evaluation-result-3710787-1338153055/solver-3710787-1338153055 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710787-1338153055.opb

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

MD5SUM BENCH= 863d0ff562dc066d0163e86da5775aea
RANDOM SEED=1768017912

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        31308616 kB
Buffers:          295400 kB
Cached:           335784 kB
SwapCached:          576 kB
Active:           531968 kB
Inactive:         184964 kB
Active(anon):      76692 kB
Inactive(anon):    11760 kB
Active(file):     455276 kB
Inactive(file):   173204 kB
Unevictable:        6612 kB
Mlocked:            6612 kB
SwapTotal:      67108856 kB
SwapFree:       67108024 kB
Dirty:              1036 kB
Writeback:             0 kB
AnonPages:         97904 kB
Mapped:            18952 kB
Shmem:                96 kB
Slab:             705368 kB
SReclaimable:     148688 kB
SUnreclaim:       556680 kB
KernelStack:        1616 kB
PageTables:         4228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     695492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     65536 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node148 at 2012-05-27 23:40:50