Trace number 3687682

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT 4j PB RES // CP 2.3.2 SnapshotSAT (TO)1201 1800.21 952.238

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-cmb.opb
MD5SUM8aa1aebf70d33d96463ba96014c98682
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1053
Best CPU time to get the best result obtained on this benchmark0.042993
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1053
Optimality of the best value was proved YES
Number of variables304
Total number of constraints671
Number of constraints which are clauses671
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint28
Number of terms in the objective function 304
Biggest coefficient in the objective function 61
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 12887
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 61
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 12887
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.06/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.06/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.09	c See www.sat4j.org for details.
0.08/0.10	c version 2.3.2.v20120418
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.13	c Pseudo Boolean Optimization by upper bound
0.08/0.13	c ManyCore solver with 2 solvers running in parallel
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.13	c Expensive reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c c --- End Solver configuration ---
0.08/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.13	c No reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-3687682-1337873541.opb
0.08/0.13	c reading problem ... 
0.25/0.24	c ... done. Wall clock time 0.113s.
0.25/0.24	c declared #vars     304
0.25/0.24	c #constraints  668
0.25/0.24	c constraints type 
0.25/0.24	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 489
0.25/0.24	c ignored satisfied constraints => 3
0.25/0.24	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 178
0.25/0.24	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.25/0.24	c 671 constraints processed.
0.25/0.24	c constraints type 
0.25/0.24	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 178
0.25/0.24	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 489
0.25/0.24	c ignored satisfied constraints => 3
0.25/0.24	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.25/0.24	c 671 constraints processed.
0.25/0.24	c objective function length is 304 literals
0.25/0.25	c  And the winner is solver1
0.40/0.74	c SATISFIABLE
0.40/0.74	c OPTIMIZING...
0.40/0.74	c Got one! Elapsed wall clock time (in seconds):0.616
0.40/0.74	o 1553
0.56/0.82	c  And the winner is solver0
0.74/1.25	c Got one! Elapsed wall clock time (in seconds):1.123
0.74/1.25	o 1544
1.71/1.57	c  And the winner is solver1
2.27/1.75	c Got one! Elapsed wall clock time (in seconds):1.627
2.27/1.75	o 1530
2.27/1.79	c  And the winner is solver0
2.42/2.26	c Got one! Elapsed wall clock time (in seconds):2.13
2.42/2.26	o 1525
2.42/2.28	c  And the winner is solver0
2.50/2.76	c Got one! Elapsed wall clock time (in seconds):2.632
2.50/2.76	o 1521
2.50/2.79	c  And the winner is solver0
2.60/3.26	c Got one! Elapsed wall clock time (in seconds):3.134
2.60/3.26	o 1515
2.60/3.28	c  And the winner is solver0
2.66/3.76	c Got one! Elapsed wall clock time (in seconds):3.636
2.66/3.76	o 1514
2.72/3.83	c cleaning 3904 clauses out of 7809 with flag 1000/7810
3.47/4.12	c cleaning 4951 clauses out of 9905 with flag 7000/13810
3.94/4.36	c  And the winner is solver1
4.11/4.77	c Got one! Elapsed wall clock time (in seconds):4.638
4.11/4.77	o 1505
4.22/4.80	c  And the winner is solver0
4.34/5.27	c Got one! Elapsed wall clock time (in seconds):5.14
4.34/5.27	o 1500
4.40/5.32	c cleaning 5524 clauses out of 11048 with flag 1001/19904
5.03/5.65	c cleaning 5759 clauses out of 11522 with flag 7001/25904
5.83/5.92	c  And the winner is solver1
6.00/6.27	c Got one! Elapsed wall clock time (in seconds):6.142
6.00/6.27	o 1487
6.06/6.33	c cleaning 5813 clauses out of 11633 with flag 1001/31774
6.23/6.41	c  And the winner is solver1
6.54/6.77	c Got one! Elapsed wall clock time (in seconds):6.644
6.54/6.77	o 1484
6.80/6.99	c cleaning 5589 clauses out of 11177 with flag 5001/37131
7.59/7.32	c cleaning 5791 clauses out of 11587 with flag 11000/43130
8.14/7.69	c cleaning 6398 clauses out of 12796 with flag 18001/50131
9.07/8.19	c cleaning 7199 clauses out of 14397 with flag 26001/58131
10.22/8.74	c cleaning 8098 clauses out of 16198 with flag 35001/67131
11.41/9.37	c cleaning 9050 clauses out of 18099 with flag 45000/77130
12.97/10.10	c cleaning 10026 clauses out of 20052 with flag 56003/88133
14.26/10.85	c cleaning 11010 clauses out of 22024 with flag 68001/100131
15.56/11.55	c cleaning 11993 clauses out of 24013 with flag 81000/113130
17.07/12.35	c cleaning 13003 clauses out of 26020 with flag 95000/127130
18.79/13.22	c cleaning 14002 clauses out of 28018 with flag 110001/142131
20.43/14.18	c cleaning 14999 clauses out of 30016 with flag 126001/158131
22.32/15.17	c cleaning 15998 clauses out of 32017 with flag 143001/175131
24.42/16.23	c cleaning 16999 clauses out of 34018 with flag 161000/193130
24.72/16.46	c  And the winner is solver0
24.83/16.90	c Got one! Elapsed wall clock time (in seconds):16.771
24.83/16.90	o 1470
25.02/17.04	c cleaning 11446 clauses out of 22899 with flag 4000/199010
25.62/17.45	c cleaning 8723 clauses out of 17453 with flag 10000/205010
26.30/17.90	c cleaning 7855 clauses out of 15731 with flag 17001/212011
27.17/18.39	c cleaning 7933 clauses out of 15875 with flag 25000/220010
28.25/18.94	c cleaning 8468 clauses out of 16943 with flag 34001/229011
29.44/19.61	c cleaning 9227 clauses out of 18474 with flag 44000/239010
30.50/20.27	c cleaning 10123 clauses out of 20248 with flag 55001/250011
31.78/20.97	c cleaning 11053 clauses out of 22126 with flag 67002/262012
33.21/21.76	c cleaning 12032 clauses out of 24072 with flag 80001/275011
34.79/22.69	c cleaning 13015 clauses out of 26040 with flag 94001/289011
36.45/23.52	c cleaning 14001 clauses out of 28024 with flag 109000/304010
38.11/24.40	c cleaning 15013 clauses out of 30025 with flag 125002/320012
39.76/25.36	c cleaning 16003 clauses out of 32010 with flag 142000/337010
41.70/26.47	c cleaning 16992 clauses out of 34008 with flag 160001/355011
43.76/27.54	c cleaning 17993 clauses out of 36015 with flag 179000/374010
45.95/28.73	c cleaning 19010 clauses out of 38023 with flag 199001/394011
48.18/29.94	c cleaning 20002 clauses out of 40012 with flag 220000/415010
50.73/31.31	c cleaning 21006 clauses out of 42011 with flag 242001/437011
53.35/32.70	c cleaning 22003 clauses out of 44005 with flag 265001/460011
55.76/34.09	c cleaning 22999 clauses out of 46001 with flag 289000/484010
58.56/35.50	c cleaning 23995 clauses out of 48002 with flag 314000/509010
61.26/37.07	c cleaning 25000 clauses out of 50007 with flag 340000/535010
64.08/38.56	c cleaning 25992 clauses out of 52007 with flag 367000/562010
67.09/40.12	c cleaning 26999 clauses out of 54015 with flag 395000/590010
70.30/41.82	c cleaning 28004 clauses out of 56017 with flag 424001/619011
73.36/43.56	c cleaning 29007 clauses out of 58014 with flag 454002/649012
77.14/45.41	c cleaning 29995 clauses out of 60005 with flag 485000/680010
80.62/47.12	c cleaning 30990 clauses out of 62011 with flag 517001/712011
84.12/48.88	c cleaning 32000 clauses out of 64020 with flag 550000/745010
87.60/50.75	c cleaning 33007 clauses out of 66020 with flag 584000/779010
91.21/52.62	c cleaning 34002 clauses out of 68013 with flag 619000/814010
95.00/54.60	c cleaning 35000 clauses out of 70011 with flag 655000/850010
99.01/56.77	c cleaning 36004 clauses out of 72011 with flag 692000/887010
103.10/58.95	c cleaning 36998 clauses out of 74009 with flag 730002/925012
104.70/59.82	c  And the winner is solver0
117.85/73.05	c Got one! Elapsed wall clock time (in seconds):72.917
117.85/73.05	o 1467
118.26/73.31	c cleaning 28659 clauses out of 57344 with flag 5000/945345
119.08/73.83	c cleaning 17332 clauses out of 34685 with flag 11000/951345
119.89/74.37	c cleaning 12164 clauses out of 24353 with flag 18000/958345
120.99/75.04	c cleaning 10078 clauses out of 20189 with flag 26000/966345
122.01/75.66	c cleaning 9541 clauses out of 19111 with flag 35000/975345
123.22/76.32	c cleaning 9782 clauses out of 19570 with flag 45000/985345
124.45/77.03	c cleaning 10391 clauses out of 20790 with flag 56002/996347
125.92/77.91	c cleaning 11193 clauses out of 22397 with flag 68000/1008345
127.31/78.74	c cleaning 12097 clauses out of 24204 with flag 81000/1021345
128.92/79.65	c cleaning 13051 clauses out of 26107 with flag 95000/1035345
130.70/80.61	c cleaning 14017 clauses out of 28056 with flag 110000/1050345
132.60/81.70	c cleaning 15011 clauses out of 30039 with flag 126000/1066345
134.39/82.72	c cleaning 16003 clauses out of 32029 with flag 143001/1083346
134.98/83.17	c  And the winner is solver0
135.17/83.46	c Got one! Elapsed wall clock time (in seconds):83.336
135.17/83.46	o 1465
135.25/83.52	c cleaning 10993 clauses out of 21993 with flag 1000/1089313
135.82/83.96	c cleaning 8494 clauses out of 17000 with flag 7000/1095313
136.69/84.56	c cleaning 7744 clauses out of 15506 with flag 14000/1102313
137.68/85.10	c cleaning 7873 clauses out of 15763 with flag 22001/1110314
138.47/85.69	c cleaning 8439 clauses out of 16891 with flag 31002/1119315
139.26/86.11	c  And the winner is solver1
139.30/86.43	c Got one! Elapsed wall clock time (in seconds):86.3
139.30/86.43	o 1463
139.30/86.48	c cleaning 7101 clauses out of 14210 with flag 1002/1125073
140.08/87.09	c cleaning 6548 clauses out of 13107 with flag 7000/1131071
141.07/87.64	c cleaning 6771 clauses out of 13560 with flag 14001/1138072
142.07/88.25	c cleaning 7392 clauses out of 14788 with flag 22000/1146071
143.25/88.91	c cleaning 8187 clauses out of 16396 with flag 31000/1155071
144.50/89.74	c cleaning 9105 clauses out of 18209 with flag 41000/1165071
145.88/90.50	c cleaning 10044 clauses out of 20105 with flag 52001/1176072
147.26/91.34	c cleaning 11026 clauses out of 22062 with flag 64002/1188073
148.82/92.21	c cleaning 12008 clauses out of 24034 with flag 77000/1201071
150.11/93.09	c  And the winner is solver1
150.30/93.58	c Got one! Elapsed wall clock time (in seconds):93.455
150.30/93.58	o 1212
150.79/93.83	c cleaning 14592 clauses out of 29183 with flag 5000/1218228
151.55/94.38	c cleaning 10296 clauses out of 20592 with flag 11001/1224229
152.51/94.98	c cleaning 8648 clauses out of 17295 with flag 18000/1231228
153.68/95.61	c cleaning 8322 clauses out of 16647 with flag 26000/1239228
154.89/96.45	c cleaning 8663 clauses out of 17325 with flag 35000/1248228
156.06/97.19	c cleaning 9320 clauses out of 18663 with flag 45001/1258229
157.43/97.96	c cleaning 10169 clauses out of 20342 with flag 56000/1269228
158.78/98.79	c cleaning 11081 clauses out of 22173 with flag 68000/1281228
160.42/99.79	c cleaning 12046 clauses out of 24092 with flag 81000/1294228
162.18/100.75	c cleaning 13021 clauses out of 26046 with flag 95000/1308228
163.94/101.78	c cleaning 14009 clauses out of 28025 with flag 110000/1323228
165.89/102.87	c cleaning 15005 clauses out of 30017 with flag 126001/1339229
168.10/104.10	c cleaning 16002 clauses out of 32011 with flag 143000/1356228
170.06/105.21	c cleaning 16990 clauses out of 34009 with flag 161000/1374228
172.00/106.34	c cleaning 18007 clauses out of 36020 with flag 180001/1393229
174.16/107.59	c cleaning 19002 clauses out of 38012 with flag 200000/1413228
176.77/109.02	c cleaning 20002 clauses out of 40010 with flag 221000/1434228
179.11/110.34	c cleaning 20996 clauses out of 42009 with flag 243001/1456229
181.65/111.72	c cleaning 22002 clauses out of 44012 with flag 266000/1479228
184.19/113.15	c cleaning 23000 clauses out of 46010 with flag 290000/1503228
187.37/114.91	c cleaning 24001 clauses out of 48012 with flag 315002/1528230
190.51/116.62	c cleaning 25001 clauses out of 50009 with flag 341000/1554228
193.83/118.46	c cleaning 25996 clauses out of 52008 with flag 368000/1581228
197.34/120.33	c cleaning 26991 clauses out of 54012 with flag 396000/1609228
200.69/122.24	c cleaning 27993 clauses out of 56023 with flag 425002/1638230
204.02/124.08	c cleaning 29013 clauses out of 58029 with flag 455001/1668229
207.73/126.03	c cleaning 29996 clauses out of 60015 with flag 486000/1699228
211.92/128.22	c cleaning 31001 clauses out of 62019 with flag 518000/1731228
213.26/129.14	c  And the winner is solver1
213.23/129.21	c Got one! Elapsed wall clock time (in seconds):129.078
213.23/129.21	o 1201
213.61/129.50	c cleaning 22814 clauses out of 45641 with flag 5000/1745851
214.50/130.09	c cleaning 14411 clauses out of 28828 with flag 11001/1751852
215.63/130.72	c cleaning 10699 clauses out of 21417 with flag 18001/1758852
216.55/131.39	c cleaning 9342 clauses out of 18717 with flag 26000/1766851
217.93/132.21	c cleaning 9183 clauses out of 18375 with flag 35000/1775851
219.04/132.94	c cleaning 9592 clauses out of 19192 with flag 45000/1785851
220.35/133.72	c cleaning 10293 clauses out of 20600 with flag 56000/1796851
221.66/134.57	c cleaning 11150 clauses out of 22307 with flag 68000/1808851
223.23/135.59	c cleaning 12074 clauses out of 24158 with flag 81001/1821852
224.93/136.52	c cleaning 13037 clauses out of 26083 with flag 95000/1835851
226.45/137.50	c cleaning 14015 clauses out of 28048 with flag 110002/1850853
228.36/138.55	c cleaning 15013 clauses out of 30031 with flag 126000/1866851
230.36/139.73	c cleaning 16004 clauses out of 32018 with flag 143000/1883851
232.45/140.94	c cleaning 16998 clauses out of 34014 with flag 161000/1901851
234.56/142.11	c cleaning 18006 clauses out of 36017 with flag 180001/1920852
236.66/143.32	c cleaning 19005 clauses out of 38010 with flag 200000/1940851
239.22/144.80	c cleaning 19993 clauses out of 40007 with flag 221002/1961853
241.50/146.17	c cleaning 20990 clauses out of 42012 with flag 243000/1983851
244.02/147.54	c cleaning 22003 clauses out of 44024 with flag 266002/2006853
246.52/148.98	c cleaning 23011 clauses out of 46022 with flag 290003/2030854
249.27/150.58	c cleaning 24002 clauses out of 48010 with flag 315002/2055853
252.16/152.12	c cleaning 24997 clauses out of 50006 with flag 341000/2081851
254.87/153.66	c cleaning 26000 clauses out of 52009 with flag 368000/2108851
257.97/155.34	c cleaning 27000 clauses out of 54013 with flag 396004/2136855
261.13/157.20	c cleaning 27996 clauses out of 56009 with flag 425000/2165851
264.42/158.95	c cleaning 28999 clauses out of 58013 with flag 455000/2195851
267.92/160.82	c cleaning 30000 clauses out of 60015 with flag 486001/2226852
271.22/162.67	c cleaning 30997 clauses out of 62014 with flag 518000/2258851
274.77/164.66	c cleaning 32007 clauses out of 64017 with flag 551000/2291851
278.47/166.67	c cleaning 33001 clauses out of 66010 with flag 585000/2325851
282.57/168.83	c cleaning 34000 clauses out of 68010 with flag 620001/2360852
286.47/170.93	c cleaning 34994 clauses out of 70009 with flag 656000/2396851
290.59/173.27	c cleaning 35999 clauses out of 72017 with flag 693002/2433853
294.69/175.49	c cleaning 37002 clauses out of 74018 with flag 731002/2471853
299.18/177.86	c cleaning 38005 clauses out of 76015 with flag 770001/2510852
303.68/180.29	c cleaning 39003 clauses out of 78010 with flag 810001/2550852
308.61/182.98	c cleaning 40004 clauses out of 80007 with flag 851001/2591852
313.51/185.53	c cleaning 40987 clauses out of 82002 with flag 893000/2633851
319.01/188.44	c cleaning 42008 clauses out of 84016 with flag 936001/2676852
324.29/191.27	c cleaning 42998 clauses out of 86008 with flag 980001/2720852
329.63/194.16	c cleaning 44002 clauses out of 88012 with flag 1025003/2765854
335.52/197.27	c cleaning 45002 clauses out of 90007 with flag 1071000/2811851
341.84/200.58	c cleaning 46002 clauses out of 92006 with flag 1118001/2858852
348.33/203.94	c cleaning 47002 clauses out of 94003 with flag 1166000/2906851
355.21/207.65	c cleaning 47998 clauses out of 96002 with flag 1215001/2955852
362.30/211.38	c cleaning 49000 clauses out of 98003 with flag 1265000/3005851
369.37/215.09	c cleaning 49996 clauses out of 100004 with flag 1316001/3056852
377.25/219.14	c cleaning 50998 clauses out of 102007 with flag 1368000/3108851
384.14/222.84	c cleaning 52001 clauses out of 104011 with flag 1421002/3161853
390.60/226.26	c cleaning 52994 clauses out of 106009 with flag 1475001/3215852
398.06/230.17	c cleaning 53999 clauses out of 108014 with flag 1530000/3270851
405.71/234.20	c cleaning 55002 clauses out of 110015 with flag 1586000/3326851
413.60/238.38	c cleaning 56003 clauses out of 112013 with flag 1643000/3383851
422.66/243.01	c cleaning 57003 clauses out of 114010 with flag 1701000/3441851
431.11/247.41	c cleaning 57998 clauses out of 116008 with flag 1760001/3500852
439.13/251.64	c cleaning 59005 clauses out of 118010 with flag 1820001/3560852
447.82/256.28	c cleaning 60002 clauses out of 120004 with flag 1881000/3621851
456.66/260.82	c cleaning 61000 clauses out of 122005 with flag 1943003/3683854
465.32/265.34	c cleaning 61996 clauses out of 124002 with flag 2006000/3746851
473.39/269.55	c cleaning 62997 clauses out of 126007 with flag 2070001/3810852
480.84/273.58	c cleaning 63993 clauses out of 128009 with flag 2135000/3875851
488.88/277.70	c cleaning 64999 clauses out of 130017 with flag 2201001/3941852
496.71/281.83	c cleaning 66005 clauses out of 132017 with flag 2268000/4008851
504.14/285.74	c cleaning 67000 clauses out of 134013 with flag 2336001/4076852
512.55/290.28	c cleaning 68005 clauses out of 136013 with flag 2405001/4145852
520.98/294.63	c cleaning 69000 clauses out of 138009 with flag 2475002/4215853
530.02/299.30	c cleaning 69998 clauses out of 140007 with flag 2546000/4286851
538.85/303.93	c cleaning 70999 clauses out of 142010 with flag 2618001/4358852
547.73/308.68	c cleaning 71991 clauses out of 144010 with flag 2691000/4431851
557.18/313.53	c cleaning 73005 clauses out of 146020 with flag 2765001/4505852
566.39/318.38	c cleaning 73992 clauses out of 148014 with flag 2840000/4580851
576.44/323.58	c cleaning 75001 clauses out of 150022 with flag 2916000/4656851
586.27/328.71	c cleaning 76003 clauses out of 152022 with flag 2993001/4733852
594.90/333.22	c cleaning 76998 clauses out of 154018 with flag 3071000/4811851
604.53/338.30	c cleaning 77999 clauses out of 156021 with flag 3150001/4890852
615.16/343.70	c cleaning 79004 clauses out of 158021 with flag 3230000/4970851
626.19/349.50	c cleaning 80004 clauses out of 160018 with flag 3311001/5051852
636.82/355.01	c cleaning 81005 clauses out of 162013 with flag 3393000/5133851
647.66/360.61	c cleaning 81997 clauses out of 164008 with flag 3476000/5216851
658.09/366.08	c cleaning 82995 clauses out of 166013 with flag 3560002/5300853
669.13/371.82	c cleaning 83998 clauses out of 168016 with flag 3645000/5385851
680.75/377.82	c cleaning 85009 clauses out of 170022 with flag 3731004/5471855
691.79/383.50	c cleaning 85997 clauses out of 172010 with flag 3818001/5558852
702.43/389.09	c cleaning 87004 clauses out of 174012 with flag 3906000/5646851
714.51/395.37	c cleaning 87997 clauses out of 176008 with flag 3995000/5735851
727.34/401.95	c cleaning 88991 clauses out of 178011 with flag 4085000/5825851
739.19/408.08	c cleaning 89998 clauses out of 180021 with flag 4176001/5916852
751.02/414.15	c cleaning 91003 clauses out of 182022 with flag 4268000/6008851
763.72/420.74	c cleaning 92001 clauses out of 184020 with flag 4361001/6101852
776.75/427.42	c cleaning 92998 clauses out of 186019 with flag 4455001/6195852
786.98/432.78	c cleaning 94010 clauses out of 188020 with flag 4550000/6290851
798.61/438.77	c cleaning 94997 clauses out of 190011 with flag 4646001/6386852
812.01/445.73	c cleaning 96003 clauses out of 192016 with flag 4743003/6483854
826.06/452.93	c cleaning 96994 clauses out of 194011 with flag 4841001/6581852
839.88/460.07	c cleaning 98002 clauses out of 196017 with flag 4940001/6680852
853.50/467.02	c cleaning 99004 clauses out of 198017 with flag 5040003/6780854
866.89/474.09	c cleaning 100001 clauses out of 200012 with flag 5141002/6881853
880.48/481.01	c cleaning 101005 clauses out of 202013 with flag 5243004/6983855
893.69/487.83	c cleaning 101995 clauses out of 204004 with flag 5346000/7086851
907.10/494.79	c cleaning 102998 clauses out of 206010 with flag 5450001/7190852
922.07/502.53	c cleaning 104005 clauses out of 208015 with flag 5555004/7295855
936.68/510.00	c cleaning 104994 clauses out of 210007 with flag 5661001/7401852
951.48/517.62	c cleaning 105999 clauses out of 212013 with flag 5768001/7508852
966.29/525.27	c cleaning 107002 clauses out of 214013 with flag 5876000/7616851
982.93/533.88	c cleaning 107999 clauses out of 216011 with flag 5985000/7725851
998.46/541.85	c cleaning 108998 clauses out of 218013 with flag 6095001/7835852
1014.27/549.96	c cleaning 110007 clauses out of 220014 with flag 6206000/7946851
1030.63/558.39	c cleaning 110990 clauses out of 222008 with flag 6318001/8058852
1047.03/566.86	c cleaning 112003 clauses out of 224017 with flag 6431000/8171851
1061.24/574.19	c cleaning 113003 clauses out of 226016 with flag 6545002/8285853
1077.03/582.30	c cleaning 113999 clauses out of 228011 with flag 6660000/8400851
1090.62/589.23	c cleaning 115005 clauses out of 230013 with flag 6776001/8516852
1108.83/598.64	c cleaning 115996 clauses out of 232010 with flag 6893003/8633854
1125.41/607.20	c cleaning 117002 clauses out of 234012 with flag 7011001/8751852
1143.19/616.23	c cleaning 118000 clauses out of 236009 with flag 7130000/8870851
1160.96/625.32	c cleaning 118999 clauses out of 238011 with flag 7250002/8990853
1180.28/635.35	c cleaning 120000 clauses out of 240011 with flag 7371001/9111852
1195.64/643.22	c cleaning 120998 clauses out of 242010 with flag 7493000/9233851
1212.42/651.80	c cleaning 121999 clauses out of 244013 with flag 7616001/9356852
1231.39/661.51	c cleaning 122989 clauses out of 246013 with flag 7740000/9480851
1253.29/672.80	c cleaning 124005 clauses out of 248024 with flag 7865000/9605851
1272.43/682.60	c cleaning 125003 clauses out of 250020 with flag 7991001/9731852
1292.21/692.79	c cleaning 126006 clauses out of 252017 with flag 8118001/9858852
1311.39/702.53	c cleaning 127002 clauses out of 254011 with flag 8246001/9986852
1332.17/713.20	c cleaning 127999 clauses out of 256008 with flag 8375000/10115851
1351.14/722.94	c cleaning 128996 clauses out of 258011 with flag 8505002/10245853
1373.51/734.30	c cleaning 129999 clauses out of 260014 with flag 8636001/10376852
1393.28/744.44	c cleaning 130986 clauses out of 262014 with flag 8768000/10508851
1414.47/755.38	c cleaning 132007 clauses out of 264030 with flag 8901002/10641853
1435.85/766.23	c cleaning 133004 clauses out of 266021 with flag 9035000/10775851
1456.42/776.70	c cleaning 134003 clauses out of 268017 with flag 9170000/10910851
1477.00/787.27	c cleaning 134996 clauses out of 270014 with flag 9306000/11046851
1499.40/798.78	c cleaning 136008 clauses out of 272018 with flag 9443000/11183851
1521.78/810.16	c cleaning 137003 clauses out of 274010 with flag 9581000/11321851
1544.14/821.50	c cleaning 137996 clauses out of 276007 with flag 9720000/11460851
1566.29/832.88	c cleaning 138997 clauses out of 278011 with flag 9860000/11600851
1588.87/844.50	c cleaning 140002 clauses out of 280016 with flag 10001002/11741853
1614.05/857.26	c cleaning 141002 clauses out of 282015 with flag 10143003/11883854
1637.23/869.07	c cleaning 142003 clauses out of 284011 with flag 10286001/12026852
1660.80/881.03	c cleaning 142994 clauses out of 286007 with flag 10430000/12170851
1684.96/893.41	c cleaning 143992 clauses out of 288013 with flag 10575000/12315851
1709.74/906.01	c cleaning 145004 clauses out of 290021 with flag 10721000/12461851
1734.69/918.78	c cleaning 146003 clauses out of 292018 with flag 10868001/12608852
1760.45/931.81	c cleaning 146991 clauses out of 294015 with flag 11016001/12756852
1787.24/945.51	c cleaning 148003 clauses out of 296025 with flag 11165002/12905853
1799.99/952.11	c starts		: 43
1799.99/952.11	c conflicts		: 4337
1799.99/952.11	c decisions		: 33293
1799.99/952.11	c propagations		: 230476
1799.99/952.11	c inspects		: 90047150
1799.99/952.11	c shortcuts		: 0
1799.99/952.11	c learnt literals	: 4
1799.99/952.11	c learnt binary clauses	: 1
1799.99/952.11	c learnt ternary clauses	: 7
1799.99/952.11	c learnt constraints	: 4326
1799.99/952.11	c ignored constraints	: 0
1799.99/952.11	c root simplifications	: 0
1799.99/952.11	c removed literals (reason simplification)	: 0
1799.99/952.11	c reason swapping (by a shorter reason)	: 0
1799.99/952.11	c Calls to reduceDB	: 0
1799.99/952.11	c number of reductions to clauses (during analyze)	: 0
1799.99/952.11	c number of learned constraints concerned by reduction	: 0
1799.99/952.11	c number of learning phase by resolution	: 0
1799.99/952.11	c number of learning phase by cutting planes	: 0
1799.99/952.11	c speed (assignments/second)	: 265.33154354998766
1799.99/952.11	c non guided choices	0
1799.99/952.11	c learnt constraints type 
1799.99/952.11	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 41
1799.99/952.11	c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 1
1799.99/952.11	c org.sat4j.pb.constraints.pb.MaxWatchPb => 4284
1799.99/952.11	c constraints type 
1799.99/952.11	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 489
1799.99/952.11	c ignored satisfied constraints => 3
1799.99/952.11	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 178
1799.99/952.11	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
1799.99/952.11	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1799.99/952.11	c 672 constraints processed.
1799.99/952.11	c constraints type 
1799.99/952.11	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 178
1799.99/952.11	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 489
1799.99/952.11	c ignored satisfied constraints => 3
1799.99/952.11	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1
1799.99/952.11	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
1799.99/952.11	c 672 constraints processed.
1799.99/952.11	s SATISFIABLE
1799.99/952.11	v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 x13 -x14 x15 x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 
1799.99/952.12	c objective function=1201
1799.99/952.12	c Total wall clock time (in seconds): 951.987

Verifier Data 

OK	1201

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-3687682-1337873541/watcher-3687682-1337873541 -o /tmp/evaluation-result-3687682-1337873541/solver-3687682-1337873541 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687682-1337873541.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: 3.74 3.80 3.12 4/197 26379
/proc/meminfo: memFree=26925900/32873844 swapFree=7612/7612
[pid=26379] ppid=26377 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/26379/stat : 26379 (java) D 26377 26379 25404 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 253478430 9515008 182 33554432000 1073741824 1073778376 140733457141264 140733457132296 251044642485 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/26379/statm: 2323 182 140 9 0 71 0

[startup+0.079991 s]
/proc/loadavg: 3.74 3.80 3.12 4/197 26379
/proc/meminfo: memFree=26925900/32873844 swapFree=7612/7612
[pid=26379] ppid=26377 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/26379/stat : 26379 (java) S 26377 26379 25404 0 -1 4202496 3227 0 1 0 5 1 0 0 20 0 18 0 253478430 9787813888 4435 33554432000 1073741824 1073778376 140733993321104 140733993312240 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26379/statm: 2389603 4436 1759 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412

[startup+0.100329 s]
/proc/loadavg: 3.74 3.80 3.12 4/197 26379
/proc/meminfo: memFree=26925900/32873844 swapFree=7612/7612
[pid=26379] ppid=26377 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/26379/stat : 26379 (java) S 26377 26379 25404 0 -1 4202496 4139 0 1 0 7 1 0 0 20 0 18 0 253478430 9787813888 5339 33554432000 1073741824 1073778376 140733993321104 140733993312240 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26379/statm: 2389603 5339 2079 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.300255 s]
/proc/loadavg: 3.74 3.80 3.12 4/197 26379
/proc/meminfo: memFree=26925900/32873844 swapFree=7612/7612
[pid=26379] ppid=26377 vsize=9824668 CPUtime=0.4 cores=1,3,5,7
/proc/26379/stat : 26379 (java) S 26377 26379 25404 0 -1 4202496 5119 0 1 0 36 4 0 0 20 0 19 0 253478430 10060460032 7640 33554432000 1073741824 1073778376 140733993321104 140733993312240 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26379/statm: 2456167 7640 2226 9 0 2446860 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 9824668

[startup+0.700253 s]
/proc/loadavg: 3.74 3.80 3.12 4/197 26379
/proc/meminfo: memFree=26925900/32873844 swapFree=7612/7612
[pid=26379] ppid=26377 vsize=9824668 CPUtime=0.4 cores=1,3,5,7
/proc/26379/stat : 26379 (java) S 26377 26379 25404 0 -1 4202496 5119 0 1 0 36 4 0 0 20 0 19 0 253478430 10060460032 7640 33554432000 1073741824 1073778376 140733993321104 140733993312240 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26379/statm: 2456167 7640 2226 9 0 2446860 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 9824668

[startup+1.50071 s]
/proc/loadavg: 3.74 3.80 3.12 3/216 26404
/proc/meminfo: memFree=26892812/32873844 swapFree=7612/7612
[pid=26379] ppid=26377 vsize=9824668 CPUtime=1.71 cores=1,3,5,7
/proc/26379/stat : 26379 (java) S 26377 26379 25404 0 -1 4202496 14643 0 1 0 163 8 0 0 20 0 22 0 253478430 10060460032 17380 33554432000 1073741824 1073778376 140733993321104 140733993312240 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26379/statm: 2456167 17380 2241 9 0 2446860 0
[pid=26379/tid=26381] ppid=26377 vsize=9824668 CPUtime=0.22 cores=1,3,5,7
/proc/26379/task/26381/stat : 26381 (java) S 26377 26379 25404 0 -1 4202560 2457 0 1 0 21 1 0 0 20 0 22 0 253478431 10060460032 17380 33554432000 1073741824 1073778376 140733993321104 140340568499192 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26379/tid=26382] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26382/stat : 26382 (java) S 26377 26379 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253478432 10060460032 17380 33554432000 1073741824 1073778376 140733993321104 140340540951208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26379/tid=26383] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26383/stat : 26383 (java) S 26377 26379 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253478432 10060460032 17380 33554432000 1073741824 1073778376 140733993321104 140340411018024 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26379/tid=26384] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26384/stat : 26384 (java) S 26377 26379 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253478432 10060460032 17380 33554432000 1073741824 1073778376 140733993321104 140340409965480 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26379/tid=26385] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26385/stat : 26385 (java) S 26377 26379 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253478432 10060460032 17380 33554432000 1073741824 1073778376 140733993321104 140340408912936 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26379/tid=26386] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26386/stat : 26386 (java) S 26377 26379 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253478432 10060460032 17380 33554432000 1073741824 1073778376 140733993321104 140340407859368 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26379/tid=26387] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26387/stat : 26387 (java) S 26377 26379 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253478432 10060460032 17380 33554432000 1073741824 1073778376 140733993321104 140340406806824 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26379/tid=26388] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26388/stat : 26388 (java) S 26377 26379 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253478432 10060460032 17380 33554432000 1073741824 1073778376 140733993321104 140340069657000 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26379/tid=26389] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26389/stat : 26389 (java) S 26377 26379 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253478432 10060460032 17380 33554432000 1073741824 1073778376 140733993321104 140340068604456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26379/tid=26390] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26390/stat : 26390 (java) S 26377 26379 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253478433 10060460032 17380 33554432000 1073741824 1073778376 140733993321104 140340056406632 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26379/tid=26391] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26391/stat : 26391 (java) S 26377 26379 25404 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253478434 10060460032 17380 33554432000 1073741824 1073778376 140733993321104 140340055352952 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26379/tid=26392] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26392/stat : 26392 (java) S 26377 26379 25404 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253478434 10060460032 17380 33554432000 1073741824 1073778376 140733993321104 140340054300296 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26379/tid=26393] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26393/stat : 26393 (java) S 26377 26379 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253478436 10060460032 17380 33554432000 1073741824 1073778376 140733993321104 140340053249040 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26379/tid=26394] ppid=26377 vsize=9824668 CPUtime=0.37 cores=1,3,5,7
/proc/26379/task/26394/stat : 26394 (java) R 26377 26379 25404 0 -1 4202560 4845 0 0 0 36 1 0 0 20 0 22 0 253478436 10060460032 17380 33554432000 1073741824 1073778376 140733993321104 140340052172664 140340576249408 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26379/tid=26395] ppid=26377 vsize=9824668 CPUtime=0.39 cores=1,3,5,7
/proc/26379/task/26395/stat : 26395 (java) R 26377 26379 25404 0 -1 4202560 6011 0 0 0 39 0 0 0 20 0 22 0 253478437 10060460032 17380 33554432000 1073741824 1073778376 140733993321104 140340051130080 140340576366207 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26379/tid=26396] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26396/stat : 26396 (java) S 26377 26379 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253478437 10060460032 17380 33554432000 1073741824 1073778376 140733993321104 140340050090488 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26379/tid=26397] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26397/stat : 26397 (java) S 26377 26379 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253478437 10060460032 17380 33554432000 1073741824 1073778376 140733993321104 140340049038152 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26379/tid=26404] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26404/stat : 26404 (java) S 26377 26379 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253478506 10060460032 17380 33554432000 1073741824 1073778376 140733993321104 140340046930984 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 9824668

[startup+3.10065 s]
/proc/loadavg: 3.74 3.80 3.12 2/216 26410
/proc/meminfo: memFree=26852744/32873844 swapFree=7612/7612
[pid=26379] ppid=26377 vsize=9824668 CPUtime=2.6 cores=1,3,5,7
/proc/26379/stat : 26379 (java) S 26377 26379 25404 0 -1 4202496 16727 0 1 0 244 16 0 0 20 0 19 0 253478430 10060460032 25581 33554432000 1073741824 1073778376 140733993321104 140733993312240 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26379/statm: 2456167 25581 2250 9 0 2446860 0
[pid=26379/tid=26381] ppid=26377 vsize=9824668 CPUtime=0.23 cores=1,3,5,7
/proc/26379/task/26381/stat : 26381 (java) S 26377 26379 25404 0 -1 4202560 2459 0 1 0 22 1 0 0 20 0 19 0 253478431 10060460032 25581 33554432000 1073741824 1073778376 140733993321104 140340568499192 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26379/tid=26382] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26382/stat : 26382 (java) S 26377 26379 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253478432 10060460032 25581 33554432000 1073741824 1073778376 140733993321104 140340540951208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26379/tid=26383] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26383/stat : 26383 (java) S 26377 26379 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253478432 10060460032 25581 33554432000 1073741824 1073778376 140733993321104 140340411018024 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26379/tid=26384] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26384/stat : 26384 (java) S 26377 26379 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253478432 10060460032 25581 33554432000 1073741824 1073778376 140733993321104 140340409965480 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26379/tid=26385] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26385/stat : 26385 (java) S 26377 26379 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253478432 10060460032 25581 33554432000 1073741824 1073778376 140733993321104 140340408912936 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26379/tid=26386] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26386/stat : 26386 (java) S 26377 26379 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253478432 10060460032 25581 33554432000 1073741824 1073778376 140733993321104 140340407859368 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26379/tid=26387] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26387/stat : 26387 (java) S 26377 26379 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253478432 10060460032 25581 33554432000 1073741824 1073778376 140733993321104 140340406806824 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26379/tid=26388] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26388/stat : 26388 (java) S 26377 26379 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253478432 10060460032 25581 33554432000 1073741824 1073778376 140733993321104 140340069657000 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26379/tid=26389] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26389/stat : 26389 (java) S 26377 26379 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253478432 10060460032 25581 33554432000 1073741824 1073778376 140733993321104 140340068604456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26379/tid=26390] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26390/stat : 26390 (java) S 26377 26379 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253478433 10060460032 25581 33554432000 1073741824 1073778376 140733993321104 140340056406632 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26379/tid=26391] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26391/stat : 26391 (java) S 26377 26379 25404 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253478434 10060460032 25581 33554432000 1073741824 1073778376 140733993321104 140340055352952 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26379/tid=26392] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26392/stat : 26392 (java) S 26377 26379 25404 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253478434 10060460032 25581 33554432000 1073741824 1073778376 140733993321104 140340054300296 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26379/tid=26393] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26393/stat : 26393 (java) S 26377 26379 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253478436 10060460032 25581 33554432000 1073741824 1073778376 140733993321104 140340053249040 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26379/tid=26394] ppid=26377 vsize=9824668 CPUtime=0.67 cores=1,3,5,7
/proc/26379/task/26394/stat : 26394 (java) S 26377 26379 25404 0 -1 4202560 6880 0 0 0 65 2 0 0 20 0 19 0 253478436 10060460032 25581 33554432000 1073741824 1073778376 140733993321104 140340052195384 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26379/tid=26395] ppid=26377 vsize=9824668 CPUtime=0.63 cores=1,3,5,7
/proc/26379/task/26395/stat : 26395 (java) S 26377 26379 25404 0 -1 4202560 6023 0 0 0 63 0 0 0 20 0 19 0 253478437 10060460032 25581 33554432000 1073741824 1073778376 140733993321104 140340051142840 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26379/tid=26396] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26396/stat : 26396 (java) S 26377 26379 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253478437 10060460032 25581 33554432000 1073741824 1073778376 140733993321104 140340050090488 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26379/tid=26397] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26397/stat : 26397 (java) S 26377 26379 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253478437 10060460032 25581 33554432000 1073741824 1073778376 140733993321104 140340049038152 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26379/tid=26410] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26410/stat : 26410 (java) S 26377 26379 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253478606 10060460032 25581 33554432000 1073741824 1073778376 140733993321104 140340046930728 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.6
Current children cumulated vsize (KiB) 9824668

[startup+6.30073 s]
/proc/loadavg: 3.52 3.76 3.11 5/219 26428
/proc/meminfo: memFree=26777928/32873844 swapFree=7612/7612
[pid=26379] ppid=26377 vsize=9824668 CPUtime=6.06 cores=1,3,5,7
/proc/26379/stat : 26379 (java) S 26377 26379 25404 0 -1 4202496 24084 0 1 0 578 28 0 0 20 0 22 0 253478430 10060460032 43300 33554432000 1073741824 1073778376 140733993321104 140733993312240 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26379/statm: 2456167 43300 2280 9 0 2446860 0
[pid=26379/tid=26381] ppid=26377 vsize=9824668 CPUtime=0.23 cores=1,3,5,7
/proc/26379/task/26381/stat : 26381 (java) S 26377 26379 25404 0 -1 4202560 2460 0 1 0 22 1 0 0 20 0 22 0 253478431 10060460032 43300 33554432000 1073741824 1073778376 140733993321104 140340568499192 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26379/tid=26382] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26382/stat : 26382 (java) S 26377 26379 25404 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253478432 10060460032 43300 33554432000 1073741824 1073778376 140733993321104 140340540951208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26379/tid=26383] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26383/stat : 26383 (java) S 26377 26379 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253478432 10060460032 43300 33554432000 1073741824 1073778376 140733993321104 140340411018024 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26379/tid=26384] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26384/stat : 26384 (java) S 26377 26379 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253478432 10060460032 43300 33554432000 1073741824 1073778376 140733993321104 140340409965480 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26379/tid=26385] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26385/stat : 26385 (java) S 26377 26379 25404 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253478432 10060460032 43300 33554432000 1073741824 1073778376 140733993321104 140340408912936 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26379/tid=26386] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26386/stat : 26386 (java) S 26377 26379 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253478432 10060460032 43300 33554432000 1073741824 1073778376 140733993321104 140340407859368 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26379/tid=26387] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26387/stat : 26387 (java) S 26377 26379 25404 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253478432 10060460032 43300 33554432000 1073741824 1073778376 140733993321104 140340406806824 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26379/tid=26388] ppid=26377 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/26379/task/26388/stat : 26388 (java) S 26377 26379 25404 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 253478432 10060460032 43300 33554432000 1073741824 1073778376 140733993321104 140340069657000 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26379/tid=26389] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26389/stat : 26389 (java) S 26377 26379 25404 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253478432 10060460032 43300 33554432000 1073741824 1073778376 140733993321104 140340068604456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26379/tid=26390] ppid=26377 vsize=9824668 CPUtime=0.15 cores=1,3,5,7
/proc/26379/task/26390/stat : 26390 (java) S 26377 26379 25404 0 -1 4202560 65 0 0 0 15 0 0 0 20 0 22 0 253478433 10060460032 43300 33554432000 1073741824 1073778376 140733993321104 140340056406632 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26379/tid=26391] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26391/stat : 26391 (java) S 26377 26379 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253478434 10060460032 43300 33554432000 1073741824 1073778376 140733993321104 140340055352952 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26379/tid=26392] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26392/stat : 26392 (java) S 26377 26379 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253478434 10060460032 43300 33554432000 1073741824 1073778376 140733993321104 140340054300296 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26379/tid=26393] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26393/stat : 26393 (java) S 26377 26379 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253478436 10060460032 43300 33554432000 1073741824 1073778376 140733993321104 140340053249040 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26379/tid=26394] ppid=26377 vsize=9824668 CPUtime=1.37 cores=1,3,5,7
/proc/26379/task/26394/stat : 26394 (java) S 26377 26379 25404 0 -1 4202560 14040 0 0 0 133 4 0 0 20 0 22 0 253478436 10060460032 43300 33554432000 1073741824 1073778376 140733993321104 140340052195384 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26379/tid=26395] ppid=26377 vsize=9824668 CPUtime=0.85 cores=1,3,5,7
/proc/26379/task/26395/stat : 26395 (java) S 26377 26379 25404 0 -1 4202560 6043 0 0 0 85 0 0 0 20 0 22 0 253478437 10060460032 43300 33554432000 1073741824 1073778376 140733993321104 140340051142840 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26379/tid=26396] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26396/stat : 26396 (java) S 26377 26379 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253478437 10060460032 43300 33554432000 1073741824 1073778376 140733993321104 140340050090488 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26379/tid=26397] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26397/stat : 26397 (java) S 26377 26379 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253478437 10060460032 43300 33554432000 1073741824 1073778376 140733993321104 140340049038152 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26379/tid=26428] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26428/stat : 26428 (java) S 26377 26379 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253478957 10060460032 43300 33554432000 1073741824 1073778376 140733993321104 140340044825640 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 9824668

[startup+12.7008 s]

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

[pid=26379/tid=26383] ppid=26377 vsize=9824668 CPUtime=0.96 cores=1,3,5,7
/proc/26379/task/26383/stat : 26383 (java) S 26377 26379 25404 0 -1 4202560 798 0 0 0 94 2 0 0 20 0 22 0 253478432 10060460032 420112 33554432000 1073741824 1073778376 140733993321104 140340411018024 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26379/tid=26384] ppid=26377 vsize=9824668 CPUtime=0.98 cores=1,3,5,7
/proc/26379/task/26384/stat : 26384 (java) S 26377 26379 25404 0 -1 4202560 310 0 0 0 95 3 0 0 20 0 22 0 253478432 10060460032 420112 33554432000 1073741824 1073778376 140733993321104 140340409965480 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26379/tid=26385] ppid=26377 vsize=9824668 CPUtime=0.96 cores=1,3,5,7
/proc/26379/task/26385/stat : 26385 (java) S 26377 26379 25404 0 -1 4202560 345 0 0 0 93 3 0 0 20 0 22 0 253478432 10060460032 420112 33554432000 1073741824 1073778376 140733993321104 140340408912936 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26379/tid=26386] ppid=26377 vsize=9824668 CPUtime=1.03 cores=1,3,5,7
/proc/26379/task/26386/stat : 26386 (java) S 26377 26379 25404 0 -1 4202560 354 0 0 0 100 3 0 0 20 0 22 0 253478432 10060460032 420112 33554432000 1073741824 1073778376 140733993321104 140340407859368 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26379/tid=26387] ppid=26377 vsize=9824668 CPUtime=1.05 cores=1,3,5,7
/proc/26379/task/26387/stat : 26387 (java) S 26377 26379 25404 0 -1 4202560 201 0 0 0 103 2 0 0 20 0 22 0 253478432 10060460032 420112 33554432000 1073741824 1073778376 140733993321104 140340406806824 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26379/tid=26388] ppid=26377 vsize=9824668 CPUtime=0.99 cores=1,3,5,7
/proc/26379/task/26388/stat : 26388 (java) S 26377 26379 25404 0 -1 4202560 494 0 0 0 96 3 0 0 20 0 22 0 253478432 10060460032 420112 33554432000 1073741824 1073778376 140733993321104 140340069657000 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26379/tid=26389] ppid=26377 vsize=9824668 CPUtime=0.95 cores=1,3,5,7
/proc/26379/task/26389/stat : 26389 (java) S 26377 26379 25404 0 -1 4202560 342 0 0 0 92 3 0 0 20 0 22 0 253478432 10060460032 420112 33554432000 1073741824 1073778376 140733993321104 140340068604456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26379/tid=26390] ppid=26377 vsize=9824668 CPUtime=85.09 cores=1,3,5,7
/proc/26379/task/26390/stat : 26390 (java) S 26377 26379 25404 0 -1 4202560 1367 0 0 0 8401 108 0 0 20 0 22 0 253478433 10060460032 420112 33554432000 1073741824 1073778376 140733993321104 140340056406632 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26379/tid=26391] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26391/stat : 26391 (java) S 26377 26379 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253478434 10060460032 420112 33554432000 1073741824 1073778376 140733993321104 140340055352952 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26379/tid=26392] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26392/stat : 26392 (java) S 26377 26379 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253478434 10060460032 420112 33554432000 1073741824 1073778376 140733993321104 140340054300296 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26379/tid=26393] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26393/stat : 26393 (java) S 26377 26379 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253478436 10060460032 420112 33554432000 1073741824 1073778376 140733993321104 140340053249040 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26379/tid=26394] ppid=26377 vsize=9824668 CPUtime=1.72 cores=1,3,5,7
/proc/26379/task/26394/stat : 26394 (java) S 26377 26379 25404 0 -1 4202560 16993 0 0 0 168 4 0 0 20 0 22 0 253478436 10060460032 420112 33554432000 1073741824 1073778376 140733993321104 140340052195384 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26379/tid=26395] ppid=26377 vsize=9824668 CPUtime=1.84 cores=1,3,5,7
/proc/26379/task/26395/stat : 26395 (java) S 26377 26379 25404 0 -1 4202560 12829 0 0 0 181 3 0 0 20 0 22 0 253478437 10060460032 420112 33554432000 1073741824 1073778376 140733993321104 140340051142840 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26379/tid=26396] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26396/stat : 26396 (java) S 26377 26379 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253478437 10060460032 420112 33554432000 1073741824 1073778376 140733993321104 140340050090488 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26379/tid=26397] ppid=26377 vsize=9824668 CPUtime=0.3 cores=1,3,5,7
/proc/26379/task/26397/stat : 26397 (java) S 26377 26379 25404 0 -1 4202560 55 0 0 0 15 15 0 0 20 0 22 0 253478437 10060460032 420112 33554432000 1073741824 1073778376 140733993321104 140340049038152 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26379/tid=26449] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26449/stat : 26449 (java) S 26377 26379 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253486778 10060460032 420112 33554432000 1073741824 1073778376 140733993321104 140340044825512 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26379/tid=26456] ppid=26377 vsize=9824668 CPUtime=748.23 cores=1,3,5,7
/proc/26379/task/26456/stat : 26456 (java) R 26377 26379 25404 0 -1 4202560 31 0 0 0 74811 12 0 0 20 0 22 0 253491351 10060460032 420112 33554432000 1073741824 1073778376 140733993321104 140340046930032 140340422549301 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26379/tid=26457] ppid=26377 vsize=9824668 CPUtime=749.59 cores=1,3,5,7
/proc/26379/task/26457/stat : 26457 (java) R 26377 26379 25404 0 -1 4202560 898 0 0 0 74936 23 0 0 20 0 22 0 253491351 10060460032 420112 33554432000 1073741824 1073778376 140733993321104 140340045875280 140340422687153 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26379/tid=26458] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26458/stat : 26458 (java) S 26377 26379 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253491351 10060460032 420112 33554432000 1073741824 1073778376 140733993321104 140340047983656 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1780.85
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+952.101 s]
/proc/loadavg: 3.99 3.92 3.58 5/219 26535
/proc/meminfo: memFree=25497968/32873844 swapFree=7612/7612
[pid=26379] ppid=26377 vsize=9824668 CPUtime=1799.99 cores=1,3,5,7
/proc/26379/stat : 26379 (java) S 26377 26379 25404 0 -1 4202496 39537 0 1 0 179794 205 0 0 20 0 22 0 253478430 10060460032 420112 33554432000 1073741824 1073778376 140733993321104 140733993312240 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26379/statm: 2456167 420112 2281 9 0 2446860 0
[pid=26379/tid=26381] ppid=26377 vsize=9824668 CPUtime=0.31 cores=1,3,5,7
/proc/26379/task/26381/stat : 26381 (java) S 26377 26379 25404 0 -1 4202560 2598 0 1 0 28 3 0 0 20 0 22 0 253478431 10060460032 420112 33554432000 1073741824 1073778376 140733993321104 140340568499192 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26379/tid=26382] ppid=26377 vsize=9824668 CPUtime=0.97 cores=1,3,5,7
/proc/26379/task/26382/stat : 26382 (java) S 26377 26379 25404 0 -1 4202560 164 0 0 0 94 3 0 0 20 0 22 0 253478432 10060460032 420112 33554432000 1073741824 1073778376 140733993321104 140340540951208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26379/tid=26383] ppid=26377 vsize=9824668 CPUtime=0.96 cores=1,3,5,7
/proc/26379/task/26383/stat : 26383 (java) S 26377 26379 25404 0 -1 4202560 798 0 0 0 94 2 0 0 20 0 22 0 253478432 10060460032 420112 33554432000 1073741824 1073778376 140733993321104 140340411018024 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26379/tid=26384] ppid=26377 vsize=9824668 CPUtime=0.98 cores=1,3,5,7
/proc/26379/task/26384/stat : 26384 (java) S 26377 26379 25404 0 -1 4202560 310 0 0 0 95 3 0 0 20 0 22 0 253478432 10060460032 420112 33554432000 1073741824 1073778376 140733993321104 140340409965480 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26379/tid=26385] ppid=26377 vsize=9824668 CPUtime=0.96 cores=1,3,5,7
/proc/26379/task/26385/stat : 26385 (java) S 26377 26379 25404 0 -1 4202560 345 0 0 0 93 3 0 0 20 0 22 0 253478432 10060460032 420112 33554432000 1073741824 1073778376 140733993321104 140340408912936 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26379/tid=26386] ppid=26377 vsize=9824668 CPUtime=1.03 cores=1,3,5,7
/proc/26379/task/26386/stat : 26386 (java) S 26377 26379 25404 0 -1 4202560 354 0 0 0 100 3 0 0 20 0 22 0 253478432 10060460032 420112 33554432000 1073741824 1073778376 140733993321104 140340407859368 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26379/tid=26387] ppid=26377 vsize=9824668 CPUtime=1.05 cores=1,3,5,7
/proc/26379/task/26387/stat : 26387 (java) S 26377 26379 25404 0 -1 4202560 201 0 0 0 103 2 0 0 20 0 22 0 253478432 10060460032 420112 33554432000 1073741824 1073778376 140733993321104 140340406806824 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26379/tid=26388] ppid=26377 vsize=9824668 CPUtime=0.99 cores=1,3,5,7
/proc/26379/task/26388/stat : 26388 (java) S 26377 26379 25404 0 -1 4202560 494 0 0 0 96 3 0 0 20 0 22 0 253478432 10060460032 420112 33554432000 1073741824 1073778376 140733993321104 140340069657000 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26379/tid=26389] ppid=26377 vsize=9824668 CPUtime=0.95 cores=1,3,5,7
/proc/26379/task/26389/stat : 26389 (java) S 26377 26379 25404 0 -1 4202560 342 0 0 0 92 3 0 0 20 0 22 0 253478432 10060460032 420112 33554432000 1073741824 1073778376 140733993321104 140340068604456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26379/tid=26390] ppid=26377 vsize=9824668 CPUtime=85.56 cores=1,3,5,7
/proc/26379/task/26390/stat : 26390 (java) S 26377 26379 25404 0 -1 4202560 1369 0 0 0 8447 109 0 0 20 0 22 0 253478433 10060460032 420112 33554432000 1073741824 1073778376 140733993321104 140340056406632 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26379/tid=26391] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26391/stat : 26391 (java) S 26377 26379 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253478434 10060460032 420112 33554432000 1073741824 1073778376 140733993321104 140340055352952 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26379/tid=26392] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26392/stat : 26392 (java) S 26377 26379 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253478434 10060460032 420112 33554432000 1073741824 1073778376 140733993321104 140340054300296 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26379/tid=26393] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26393/stat : 26393 (java) S 26377 26379 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253478436 10060460032 420112 33554432000 1073741824 1073778376 140733993321104 140340053249040 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26379/tid=26394] ppid=26377 vsize=9824668 CPUtime=1.72 cores=1,3,5,7
/proc/26379/task/26394/stat : 26394 (java) S 26377 26379 25404 0 -1 4202560 16993 0 0 0 168 4 0 0 20 0 22 0 253478436 10060460032 420112 33554432000 1073741824 1073778376 140733993321104 140340052195384 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26379/tid=26395] ppid=26377 vsize=9824668 CPUtime=1.84 cores=1,3,5,7
/proc/26379/task/26395/stat : 26395 (java) S 26377 26379 25404 0 -1 4202560 12829 0 0 0 181 3 0 0 20 0 22 0 253478437 10060460032 420112 33554432000 1073741824 1073778376 140733993321104 140340051142840 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26379/tid=26396] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26396/stat : 26396 (java) S 26377 26379 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253478437 10060460032 420112 33554432000 1073741824 1073778376 140733993321104 140340050090488 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26379/tid=26397] ppid=26377 vsize=9824668 CPUtime=0.3 cores=1,3,5,7
/proc/26379/task/26397/stat : 26397 (java) S 26377 26379 25404 0 -1 4202560 55 0 0 0 15 15 0 0 20 0 22 0 253478437 10060460032 420112 33554432000 1073741824 1073778376 140733993321104 140340049038152 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26379/tid=26449] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26449/stat : 26449 (java) S 26377 26379 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253486778 10060460032 420112 33554432000 1073741824 1073778376 140733993321104 140340044825512 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26379/tid=26456] ppid=26377 vsize=9824668 CPUtime=757.54 cores=1,3,5,7
/proc/26379/task/26456/stat : 26456 (java) R 26377 26379 25404 0 -1 4202560 31 0 0 0 75742 12 0 0 20 0 22 0 253491351 10060460032 420112 33554432000 1073741824 1073778376 140733993321104 140340046930032 140340422549301 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26379/tid=26457] ppid=26377 vsize=9824668 CPUtime=758.91 cores=1,3,5,7
/proc/26379/task/26457/stat : 26457 (java) R 26377 26379 25404 0 -1 4202560 898 0 0 0 75868 23 0 0 20 0 22 0 253491351 10060460032 420112 33554432000 1073741824 1073778376 140733993321104 140340045875504 140340422687211 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26379/tid=26458] ppid=26377 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26458/stat : 26458 (java) S 26377 26379 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253491351 10060460032 420112 33554432000 1073741824 1073778376 140733993321104 140340047983656 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.99
Current children cumulated vsize (KiB) 9824668

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

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

[startup+952.213 s]
/proc/loadavg: 3.99 3.92 3.58 5/219 26535
/proc/meminfo: memFree=25497968/32873844 swapFree=7612/7612
[pid=26379] ppid=26377 vsize=9957796 CPUtime=1800.18 cores=1,3,5,7
/proc/26379/stat : 26379 (java) S 26377 26379 25404 0 -1 4202496 39565 0 1 0 179805 213 0 0 20 0 21 0 253478430 10196783104 420136 33554432000 1073741824 1073778376 140733993321104 140733993312240 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26379/statm: 2489449 420136 2281 9 0 2480142 0
[pid=26379/tid=26381] ppid=26377 vsize=9957796 CPUtime=0.31 cores=1,3,5,7
/proc/26379/task/26381/stat : 26381 (java) S 26377 26379 25404 0 -1 4202560 2598 0 1 0 28 3 0 0 20 0 21 0 253478431 10196783104 420136 33554432000 1073741824 1073778376 140733993321104 140340568499192 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26379/tid=26382] ppid=26377 vsize=9957796 CPUtime=0.97 cores=1,3,5,7
/proc/26379/task/26382/stat : 26382 (java) S 26377 26379 25404 0 -1 4202560 164 0 0 0 94 3 0 0 20 0 21 0 253478432 10196783104 420136 33554432000 1073741824 1073778376 140733993321104 140340540951208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26379/tid=26383] ppid=26377 vsize=9957796 CPUtime=0.96 cores=1,3,5,7
/proc/26379/task/26383/stat : 26383 (java) S 26377 26379 25404 0 -1 4202560 798 0 0 0 94 2 0 0 20 0 21 0 253478432 10196783104 420136 33554432000 1073741824 1073778376 140733993321104 140340411018024 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26379/tid=26384] ppid=26377 vsize=9957796 CPUtime=0.98 cores=1,3,5,7
/proc/26379/task/26384/stat : 26384 (java) S 26377 26379 25404 0 -1 4202560 310 0 0 0 95 3 0 0 20 0 21 0 253478432 10196783104 420136 33554432000 1073741824 1073778376 140733993321104 140340409965480 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26379/tid=26385] ppid=26377 vsize=9957796 CPUtime=0.96 cores=1,3,5,7
/proc/26379/task/26385/stat : 26385 (java) S 26377 26379 25404 0 -1 4202560 345 0 0 0 93 3 0 0 20 0 21 0 253478432 10196783104 420136 33554432000 1073741824 1073778376 140733993321104 140340408912936 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26379/tid=26386] ppid=26377 vsize=9957796 CPUtime=1.03 cores=1,3,5,7
/proc/26379/task/26386/stat : 26386 (java) S 26377 26379 25404 0 -1 4202560 354 0 0 0 100 3 0 0 20 0 21 0 253478432 10196783104 420136 33554432000 1073741824 1073778376 140733993321104 140340407859368 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26379/tid=26387] ppid=26377 vsize=9957796 CPUtime=1.05 cores=1,3,5,7
/proc/26379/task/26387/stat : 26387 (java) S 26377 26379 25404 0 -1 4202560 201 0 0 0 103 2 0 0 20 0 21 0 253478432 10196783104 420136 33554432000 1073741824 1073778376 140733993321104 140340406806824 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26379/tid=26388] ppid=26377 vsize=9957796 CPUtime=0.99 cores=1,3,5,7
/proc/26379/task/26388/stat : 26388 (java) S 26377 26379 25404 0 -1 4202560 494 0 0 0 96 3 0 0 20 0 21 0 253478432 10196783104 420136 33554432000 1073741824 1073778376 140733993321104 140340069657000 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26379/tid=26389] ppid=26377 vsize=9957796 CPUtime=0.95 cores=1,3,5,7
/proc/26379/task/26389/stat : 26389 (java) S 26377 26379 25404 0 -1 4202560 342 0 0 0 92 3 0 0 20 0 21 0 253478432 10196783104 420136 33554432000 1073741824 1073778376 140733993321104 140340068604456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26379/tid=26390] ppid=26377 vsize=9957796 CPUtime=85.65 cores=1,3,5,7
/proc/26379/task/26390/stat : 26390 (java) R 26377 26379 25404 0 -1 4202560 1369 0 0 0 8449 116 0 0 20 0 21 0 253478433 10196783104 420136 33554432000 1073741824 1073778376 140733993321104 140340056406808 140340575533965 0 0 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=26379/tid=26391] ppid=26377 vsize=9957796 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26391/stat : 26391 (java) S 26377 26379 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 253478434 10196783104 420136 33554432000 1073741824 1073778376 140733993321104 140340055352952 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26379/tid=26392] ppid=26377 vsize=9957796 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26392/stat : 26392 (java) S 26377 26379 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 253478434 10196783104 420136 33554432000 1073741824 1073778376 140733993321104 140340054300296 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26379/tid=26394] ppid=26377 vsize=9957796 CPUtime=1.72 cores=1,3,5,7
/proc/26379/task/26394/stat : 26394 (java) S 26377 26379 25404 0 -1 4202560 16993 0 0 0 168 4 0 0 20 0 21 0 253478436 10196783104 420136 33554432000 1073741824 1073778376 140733993321104 140340052195384 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26379/tid=26395] ppid=26377 vsize=9957796 CPUtime=1.84 cores=1,3,5,7
/proc/26379/task/26395/stat : 26395 (java) S 26377 26379 25404 0 -1 4202560 12829 0 0 0 181 3 0 0 20 0 21 0 253478437 10196783104 420136 33554432000 1073741824 1073778376 140733993321104 140340051142840 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26379/tid=26396] ppid=26377 vsize=9957796 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26396/stat : 26396 (java) S 26377 26379 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 253478437 10196783104 420136 33554432000 1073741824 1073778376 140733993321104 140340050090488 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26379/tid=26449] ppid=26377 vsize=9957796 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26449/stat : 26449 (java) S 26377 26379 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 253486778 10196783104 420136 33554432000 1073741824 1073778376 140733993321104 140340044825512 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26379/tid=26456] ppid=26377 vsize=9957796 CPUtime=757.55 cores=1,3,5,7
/proc/26379/task/26456/stat : 26456 (java) S 26377 26379 25404 0 -1 4202560 31 0 0 0 75743 12 0 0 20 0 21 0 253491351 10196783104 420136 33554432000 1073741824 1073778376 140733993321104 140340046928376 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26379/tid=26457] ppid=26377 vsize=9957796 CPUtime=759.01 cores=1,3,5,7
/proc/26379/task/26457/stat : 26457 (java) R 26377 26379 25404 0 -1 4202560 898 0 0 0 75878 23 0 0 20 0 21 0 253491351 10196783104 420136 33554432000 1073741824 1073778376 140733993321104 140340045875504 140340422687172 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26379/tid=26458] ppid=26377 vsize=9957796 CPUtime=0 cores=1,3,5,7
/proc/26379/task/26458/stat : 26458 (java) S 26377 26379 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 253491351 10196783104 420136 33554432000 1073741824 1073778376 140733993321104 140340047983656 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 9957796

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26379 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=988272
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=564610
# CPU time returned by wait4() is 1796.55
# while last known CPU time is 1800.18
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


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

Real time (s): 952.238
CPU time (s): 1800.21
CPU user time (s): 1798.1
CPU system time (s): 2.11
CPU usage (%): 189.05
Max. virtual memory (cumulated for all children) (KiB): 9957796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.99
system time used= 2.56461
maximum resident set size= 1680560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39565
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29385
involuntary context switches= 32707

runsolver used 3.64145 second user time and 8.94364 second system time

The end

Launcher Data 

Begin job on node143 at 2012-05-24 17:32:21
IDJOB=3687682
IDBENCH=2020
IDSOLVER=2268
FILE ID=node143/3687682-1337873541
RUNJOBID= node143-1337871881-25422
PBS_JOBID= 14620061
Free space on /tmp= 71516 MiB

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

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

MD5SUM BENCH= 8aa1aebf70d33d96463ba96014c98682
RANDOM SEED=664511561

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26926428 kB
Buffers:          217864 kB
Cached:          2553644 kB
SwapCached:            0 kB
Active:          2981016 kB
Inactive:        2181468 kB
Active(anon):    2393420 kB
Inactive(anon):        0 kB
Active(file):     587596 kB
Inactive(file):  2181468 kB
Unevictable:        7612 kB
Mlocked:            7612 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               480 kB
Writeback:             0 kB
AnonPages:       2404880 kB
Mapped:            22548 kB
Shmem:               200 kB
Slab:             639316 kB
SReclaimable:      81788 kB
SUnreclaim:       557528 kB
KernelStack:        1624 kB
PageTables:         9332 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    2583480 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2344960 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71516 MiB
End job on node143 at 2012-05-24 17:48:15