Trace number 3687676

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)5616 1800.56 964.329

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-9symml.opb
MD5SUM866c660dea8282137b8c78839dd4c03f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4517
Best CPU time to get the best result obtained on this benchmark0.174972
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4517
Optimality of the best value was proved YES
Number of variables651
Total number of constraints1658
Number of constraints which are clauses1656
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2
Minimum length of a constraint1
Maximum length of a constraint42
Number of terms in the objective function 651
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 28138
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 61
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 28138
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version 2.3.2.v20120418
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c ManyCore solver with 2 solvers running in parallel
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c Expensive reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c c --- End Solver configuration ---
0.09/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3687676-1337873254.opb
0.09/0.11	c reading problem ... 
0.27/0.28	c ... done. Wall clock time 0.164s.
0.27/0.28	c declared #vars     651
0.27/0.28	c #constraints  1593
0.27/0.28	c constraints type 
0.27/0.28	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1078
0.27/0.28	c ignored satisfied constraints => 65
0.27/0.28	c org.sat4j.minisat.constraints.cnf.UnitClause => 14
0.27/0.28	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 501
0.27/0.28	c 1658 constraints processed.
0.27/0.28	c constraints type 
0.27/0.28	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 501
0.27/0.28	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1078
0.27/0.28	c ignored satisfied constraints => 65
0.27/0.28	c org.sat4j.pb.constraints.pb.UnitClausePB => 14
0.27/0.28	c 1658 constraints processed.
0.27/0.28	c objective function length is 651 literals
0.51/0.30	c  And the winner is solver0
0.54/0.78	c SATISFIABLE
0.54/0.78	c OPTIMIZING...
0.54/0.78	c Got one! Elapsed wall clock time (in seconds):0.666
0.54/0.78	o 6192
0.57/0.80	c  And the winner is solver0
0.64/1.29	c Got one! Elapsed wall clock time (in seconds):1.177
0.64/1.29	o 6124
0.66/1.31	c  And the winner is solver0
0.70/1.80	c Got one! Elapsed wall clock time (in seconds):1.688
0.70/1.80	o 6056
0.70/1.81	c  And the winner is solver0
1.42/2.31	c Got one! Elapsed wall clock time (in seconds):2.193
1.42/2.31	o 6033
1.42/2.32	c  And the winner is solver0
1.64/2.81	c Got one! Elapsed wall clock time (in seconds):2.696
1.64/2.81	o 6010
1.64/2.82	c  And the winner is solver0
1.74/3.31	c Got one! Elapsed wall clock time (in seconds):3.199
1.74/3.31	o 5987
3.07/3.72	c cleaning 2512 clauses out of 5030 with flag 5000/5030
3.07/3.79	c  And the winner is solver1
3.31/3.81	c Got one! Elapsed wall clock time (in seconds):3.702
3.31/3.81	o 5962
3.95/4.17	c cleaning 4046 clauses out of 8092 with flag 5002/10604
5.04/4.62	c cleaning 5021 clauses out of 10044 with flag 11000/16602
5.44/4.80	c  And the winner is solver1
5.44/4.82	c Got one! Elapsed wall clock time (in seconds):4.705
5.44/4.82	o 5914
6.17/5.10	c cleaning 5399 clauses out of 10797 with flag 4000/22376
7.03/5.58	c cleaning 5698 clauses out of 11398 with flag 10000/28376
8.21/6.13	c cleaning 6346 clauses out of 12700 with flag 17000/35376
8.77/6.45	c  And the winner is solver1
8.86/6.82	c Got one! Elapsed wall clock time (in seconds):6.707
8.86/6.82	o 5904
9.02/6.96	c cleaning 5947 clauses out of 11917 with flag 2000/40939
9.95/7.42	c cleaning 5978 clauses out of 11970 with flag 8000/46939
10.24/7.61	c  And the winner is solver1
10.27/7.82	c Got one! Elapsed wall clock time (in seconds):7.709
10.27/7.82	o 5864
10.93/8.16	c cleaning 5896 clauses out of 11791 with flag 5000/52738
11.85/8.60	c  And the winner is solver1
11.86/8.82	c Got one! Elapsed wall clock time (in seconds):8.711
11.86/8.82	o 5863
12.49/9.17	c cleaning 8002 clauses out of 16019 with flag 5001/62862
12.79/9.31	c  And the winner is solver1
12.79/9.33	c Got one! Elapsed wall clock time (in seconds):9.213
12.79/9.33	o 5846
12.96/9.41	c  And the winner is solver1
13.01/9.83	c Got one! Elapsed wall clock time (in seconds):9.716
13.01/9.83	o 5840
13.55/10.11	c cleaning 6869 clauses out of 13741 with flag 4001/68586
14.45/10.66	c cleaning 6435 clauses out of 12872 with flag 10001/74586
15.69/11.38	c cleaning 6717 clauses out of 13436 with flag 17000/81585
17.19/12.13	c cleaning 7357 clauses out of 14719 with flag 25000/89585
18.88/13.01	c cleaning 8180 clauses out of 16363 with flag 34001/98586
20.77/14.02	c cleaning 9091 clauses out of 18182 with flag 44000/108585
22.76/15.12	c cleaning 10043 clauses out of 20091 with flag 55000/119585
24.82/16.23	c cleaning 11019 clauses out of 22048 with flag 67000/131585
27.10/17.46	c cleaning 12010 clauses out of 24029 with flag 80000/144585
29.71/18.83	c cleaning 13009 clauses out of 26019 with flag 94000/158585
32.41/20.39	c cleaning 14006 clauses out of 28011 with flag 109001/173586
35.19/21.88	c cleaning 14999 clauses out of 30005 with flag 125001/189586
38.17/23.46	c cleaning 16001 clauses out of 32005 with flag 142000/206585
41.53/25.28	c cleaning 16997 clauses out of 34004 with flag 160000/224585
44.31/26.89	c  And the winner is solver1
44.49/27.24	c Got one! Elapsed wall clock time (in seconds):27.124
44.49/27.24	o 5812
45.20/27.64	c cleaning 18318 clauses out of 36656 with flag 5000/244234
46.34/28.38	c cleaning 12164 clauses out of 24338 with flag 11000/250234
47.66/29.13	c cleaning 9580 clauses out of 19174 with flag 18000/257234
48.96/29.94	c cleaning 8788 clauses out of 17594 with flag 26000/265234
50.70/31.07	c cleaning 8897 clauses out of 17808 with flag 35002/274236
51.41/31.58	c  And the winner is solver1
51.59/31.94	c Got one! Elapsed wall clock time (in seconds):31.825
51.59/31.94	o 5808
51.91/32.15	c cleaning 7448 clauses out of 14900 with flag 3000/280225
53.01/32.89	c cleaning 6720 clauses out of 13453 with flag 9001/286226
54.51/33.73	c cleaning 6862 clauses out of 13733 with flag 16001/293226
56.21/34.86	c cleaning 7434 clauses out of 14870 with flag 24000/301225
58.10/35.91	c cleaning 8215 clauses out of 16437 with flag 33001/310226
59.79/36.99	c cleaning 9108 clauses out of 18221 with flag 43000/320225
61.88/38.16	c cleaning 10055 clauses out of 20114 with flag 54001/331226
64.18/39.58	c cleaning 11019 clauses out of 22059 with flag 66001/343226
66.63/40.90	c cleaning 12016 clauses out of 24039 with flag 79000/356225
69.10/42.33	c cleaning 13009 clauses out of 26023 with flag 93000/370225
70.36/43.16	c  And the winner is solver1
70.51/43.27	c Got one! Elapsed wall clock time (in seconds):43.159
70.51/43.27	o 5619
71.17/43.60	c cleaning 12278 clauses out of 24555 with flag 5001/381766
72.39/44.57	c cleaning 9139 clauses out of 18277 with flag 11001/387766
73.84/45.40	c cleaning 8066 clauses out of 16137 with flag 18000/394765
75.28/46.31	c cleaning 8036 clauses out of 16071 with flag 26000/402765
76.75/47.26	c cleaning 8516 clauses out of 17035 with flag 35000/411765
78.76/48.52	c cleaning 9260 clauses out of 18519 with flag 45000/421765
80.60/49.63	c cleaning 10123 clauses out of 20259 with flag 56000/432765
82.63/50.83	c cleaning 11060 clauses out of 22136 with flag 68000/444765
84.85/52.13	c cleaning 12036 clauses out of 24078 with flag 81002/457767
87.23/53.64	c cleaning 13013 clauses out of 26040 with flag 95000/471765
89.65/55.08	c cleaning 14013 clauses out of 28028 with flag 110001/486766
92.24/56.57	c cleaning 15005 clauses out of 30015 with flag 126001/502766
95.26/58.23	c cleaning 16005 clauses out of 32010 with flag 143001/519766
98.58/60.20	c cleaning 16996 clauses out of 34005 with flag 161001/537766
101.35/61.83	c cleaning 18005 clauses out of 36009 with flag 180001/556766
104.66/63.63	c cleaning 18994 clauses out of 38003 with flag 200000/576765
108.02/65.55	c cleaning 20002 clauses out of 40009 with flag 221000/597765
109.11/66.48	c  And the winner is solver1
109.30/66.81	c Got one! Elapsed wall clock time (in seconds):66.695
109.30/66.81	o 5617
109.73/67.01	c cleaning 12895 clauses out of 25818 with flag 3000/603576
110.89/67.87	c cleaning 9457 clauses out of 18923 with flag 9000/609576
112.25/68.78	c cleaning 8230 clauses out of 16466 with flag 16000/616576
113.80/69.72	c cleaning 8115 clauses out of 16237 with flag 24001/624577
115.68/71.01	c cleaning 8553 clauses out of 17121 with flag 33000/633576
117.24/72.09	c cleaning 9282 clauses out of 18568 with flag 43000/643576
119.18/73.23	c cleaning 10143 clauses out of 20287 with flag 54001/654577
121.34/74.56	c cleaning 11071 clauses out of 22143 with flag 66000/666576
123.80/76.18	c cleaning 12030 clauses out of 24072 with flag 79000/679576
126.14/77.55	c cleaning 13018 clauses out of 26043 with flag 93001/693577
128.48/78.98	c cleaning 14009 clauses out of 28024 with flag 108000/708576
131.21/80.55	c cleaning 14999 clauses out of 30015 with flag 124000/724576
134.25/82.42	c cleaning 15997 clauses out of 32017 with flag 141001/741577
137.15/84.11	c cleaning 17008 clauses out of 34019 with flag 159000/759576
140.08/85.87	c cleaning 18002 clauses out of 36012 with flag 178001/778577
143.18/87.69	c cleaning 19003 clauses out of 38010 with flag 198001/798577
146.99/89.92	c cleaning 19999 clauses out of 40006 with flag 219000/819576
150.54/91.93	c cleaning 20996 clauses out of 42008 with flag 241001/841577
154.23/94.03	c cleaning 21997 clauses out of 44011 with flag 264000/864576
157.72/96.09	c cleaning 22995 clauses out of 46014 with flag 288000/888576
162.08/98.65	c cleaning 24007 clauses out of 48020 with flag 313001/913577
166.15/100.97	c cleaning 25001 clauses out of 50012 with flag 339000/939576
170.02/103.15	c  And the winner is solver1
170.14/103.57	c Got one! Elapsed wall clock time (in seconds):103.458
170.14/103.57	o 5616
170.99/104.00	c cleaning 27135 clauses out of 54275 with flag 5000/968840
172.45/105.17	c cleaning 16569 clauses out of 33141 with flag 11001/974841
174.31/106.55	c cleaning 11784 clauses out of 23572 with flag 18001/981841
175.92/107.66	c cleaning 9890 clauses out of 19787 with flag 26000/989840
177.72/108.88	c cleaning 9447 clauses out of 18897 with flag 35000/998840
179.69/110.19	c cleaning 9726 clauses out of 19451 with flag 45001/1008841
182.14/111.82	c cleaning 10359 clauses out of 20724 with flag 56000/1019840
184.12/113.17	c cleaning 11183 clauses out of 22366 with flag 68001/1031841
186.52/114.60	c cleaning 12092 clauses out of 24183 with flag 81001/1044841
188.89/116.15	c cleaning 13040 clauses out of 26090 with flag 95000/1058840
191.71/118.06	c cleaning 14022 clauses out of 28050 with flag 110000/1073840
194.31/119.62	c cleaning 15009 clauses out of 30031 with flag 126003/1089843
197.12/121.30	c cleaning 16007 clauses out of 32019 with flag 143000/1106840
199.90/123.05	c cleaning 16996 clauses out of 34012 with flag 161000/1124840
203.13/125.17	c cleaning 18003 clauses out of 36016 with flag 180000/1143840
206.32/127.03	c cleaning 19006 clauses out of 38014 with flag 200001/1163841
209.69/129.06	c cleaning 20002 clauses out of 40009 with flag 221002/1184842
213.28/131.18	c cleaning 20995 clauses out of 42005 with flag 243000/1206840
217.32/133.65	c cleaning 21995 clauses out of 44010 with flag 266000/1229840
221.10/135.81	c cleaning 23007 clauses out of 46016 with flag 290001/1253841
225.09/138.13	c cleaning 23999 clauses out of 48010 with flag 315002/1278842
229.26/140.50	c cleaning 24995 clauses out of 50010 with flag 341001/1304841
233.68/143.26	c cleaning 26002 clauses out of 52016 with flag 368002/1331842
238.07/145.78	c cleaning 27005 clauses out of 54012 with flag 396000/1359840
243.06/148.51	c cleaning 27994 clauses out of 56007 with flag 425000/1388840
248.21/151.41	c cleaning 29007 clauses out of 58014 with flag 455001/1418841
253.96/154.77	c cleaning 29992 clauses out of 60006 with flag 486000/1449840
260.33/158.12	c cleaning 31007 clauses out of 62014 with flag 518000/1481840
265.90/161.21	c cleaning 32004 clauses out of 64007 with flag 551000/1514840
272.08/164.62	c cleaning 33002 clauses out of 66004 with flag 585001/1548841
278.29/168.22	c cleaning 33995 clauses out of 68002 with flag 620001/1583841
284.06/171.45	c cleaning 35001 clauses out of 70006 with flag 656000/1619840
289.64/174.58	c cleaning 35998 clauses out of 72005 with flag 693000/1656840
295.62/177.84	c cleaning 37001 clauses out of 74008 with flag 731001/1694841
302.42/181.72	c cleaning 38001 clauses out of 76007 with flag 770001/1733841
309.19/185.40	c cleaning 38997 clauses out of 78005 with flag 810000/1773840
316.37/189.36	c cleaning 39995 clauses out of 80008 with flag 851000/1814840
323.55/193.24	c cleaning 41008 clauses out of 82015 with flag 893002/1856842
330.95/197.43	c cleaning 41999 clauses out of 84006 with flag 936001/1899841
338.33/201.42	c cleaning 43001 clauses out of 86006 with flag 980000/1943840
346.32/205.79	c cleaning 44001 clauses out of 88006 with flag 1025001/1988841
354.09/209.91	c cleaning 44995 clauses out of 90005 with flag 1071001/2034841
361.29/214.06	c cleaning 45991 clauses out of 92010 with flag 1118001/2081841
368.87/218.13	c cleaning 47005 clauses out of 94018 with flag 1166000/2129840
376.46/222.27	c cleaning 48004 clauses out of 96013 with flag 1215000/2178840
384.23/226.41	c cleaning 48999 clauses out of 98009 with flag 1265000/2228840
392.82/231.27	c cleaning 50004 clauses out of 100012 with flag 1316002/2279842
400.62/235.41	c cleaning 50998 clauses out of 102006 with flag 1368000/2331840
408.98/239.97	c cleaning 51993 clauses out of 104008 with flag 1421000/2384840
417.76/244.68	c cleaning 53004 clauses out of 106015 with flag 1475000/2438840
427.55/250.06	c cleaning 54003 clauses out of 108012 with flag 1530001/2493841
437.14/255.14	c cleaning 54996 clauses out of 110008 with flag 1586000/2549840
447.91/260.83	c cleaning 56000 clauses out of 112012 with flag 1643000/2606840
457.83/266.14	c cleaning 57002 clauses out of 114012 with flag 1701000/2664840
468.39/271.90	c cleaning 57995 clauses out of 116011 with flag 1760001/2723841
479.76/277.99	c cleaning 58998 clauses out of 118015 with flag 1820000/2783840
490.32/283.52	c cleaning 60003 clauses out of 120018 with flag 1881001/2844841
501.31/289.39	c cleaning 61006 clauses out of 122015 with flag 1943001/2906841
512.06/295.30	c cleaning 61994 clauses out of 124009 with flag 2006001/2969841
521.43/300.27	c cleaning 62999 clauses out of 126014 with flag 2070000/3033840
532.60/306.15	c cleaning 64005 clauses out of 128015 with flag 2135000/3098840
544.16/312.24	c cleaning 65000 clauses out of 130013 with flag 2201003/3164843
555.93/318.64	c cleaning 66001 clauses out of 132010 with flag 2268000/3231840
567.11/324.52	c cleaning 66999 clauses out of 134011 with flag 2336002/3299842
578.65/330.66	c cleaning 67994 clauses out of 136010 with flag 2405000/3368840
590.41/336.89	c cleaning 69004 clauses out of 138017 with flag 2475001/3438841
604.39/344.37	c cleaning 70004 clauses out of 140012 with flag 2546000/3509840
618.95/351.94	c cleaning 71001 clauses out of 142010 with flag 2618002/3581842
632.10/358.82	c cleaning 71991 clauses out of 144007 with flag 2691000/3654840
645.65/365.90	c cleaning 73007 clauses out of 146017 with flag 2765001/3728841
660.84/374.05	c cleaning 74003 clauses out of 148010 with flag 2840001/3803841
675.39/381.68	c cleaning 74995 clauses out of 150006 with flag 2916000/3879840
689.93/389.20	c cleaning 76002 clauses out of 152011 with flag 2993000/3956840
703.09/396.14	c cleaning 77000 clauses out of 154009 with flag 3071000/4034840
716.05/403.17	c cleaning 77999 clauses out of 156009 with flag 3150000/4113840
729.21/410.07	c cleaning 79003 clauses out of 158011 with flag 3230001/4193841
742.96/417.23	c cleaning 80001 clauses out of 160007 with flag 3311000/4274840
756.93/424.58	c cleaning 80997 clauses out of 162006 with flag 3393000/4356840
770.47/431.87	c cleaning 81995 clauses out of 164010 with flag 3476001/4439841
784.22/439.03	c cleaning 83005 clauses out of 166014 with flag 3560000/4523840
799.98/447.26	c cleaning 83998 clauses out of 168009 with flag 3645000/4608840
816.53/455.84	c cleaning 85002 clauses out of 170013 with flag 3731002/4694842
834.49/465.38	c cleaning 86000 clauses out of 172010 with flag 3818001/4781841
852.23/474.59	c cleaning 87003 clauses out of 174009 with flag 3906000/4869840
871.98/484.75	c cleaning 87997 clauses out of 176006 with flag 3995000/4958840
892.31/495.24	c cleaning 89001 clauses out of 178011 with flag 4085002/5048842
909.35/504.20	c cleaning 89988 clauses out of 180008 with flag 4176000/5139840
926.30/513.02	c cleaning 91002 clauses out of 182020 with flag 4268000/5231840
943.25/521.87	c cleaning 91991 clauses out of 184018 with flag 4361000/5324840
960.00/530.57	c cleaning 93008 clauses out of 186027 with flag 4455000/5418840
976.52/539.21	c cleaning 94004 clauses out of 188019 with flag 4550000/5513840
994.09/548.31	c cleaning 94997 clauses out of 190015 with flag 4646000/5609840
1011.04/557.12	c cleaning 95997 clauses out of 192018 with flag 4743000/5706840
1029.00/566.45	c cleaning 97001 clauses out of 194021 with flag 4841000/5804840
1048.52/576.63	c cleaning 98005 clauses out of 196021 with flag 4940001/5903841
1067.66/586.56	c cleaning 99004 clauses out of 198015 with flag 5040000/6003840
1086.61/596.37	c cleaning 99996 clauses out of 200012 with flag 5141001/6104841
1103.76/605.22	c cleaning 101005 clauses out of 202015 with flag 5243000/6206840
1120.71/614.17	c cleaning 102003 clauses out of 204011 with flag 5346001/6309841
1140.46/624.32	c cleaning 103000 clauses out of 206007 with flag 5450000/6413840
1157.81/633.37	c cleaning 103997 clauses out of 208007 with flag 5555000/6518840
1179.15/644.38	c cleaning 105000 clauses out of 210012 with flag 5661002/6624842
1199.89/655.22	c cleaning 106004 clauses out of 212010 with flag 5768000/6731840
1221.43/666.30	c cleaning 106997 clauses out of 214007 with flag 5876001/6839841
1242.78/677.39	c cleaning 107993 clauses out of 216009 with flag 5985000/6948840
1262.33/687.42	c cleaning 108996 clauses out of 218016 with flag 6095000/7058840
1284.07/698.82	c cleaning 110010 clauses out of 220020 with flag 6206000/7169840
1304.63/709.46	c cleaning 111000 clauses out of 222011 with flag 6318001/7281841
1328.36/721.67	c cleaning 112004 clauses out of 224011 with flag 6431001/7394841
1351.09/733.32	c cleaning 113001 clauses out of 226007 with flag 6545001/7508841
1375.93/746.23	c cleaning 113994 clauses out of 228006 with flag 6660001/7623841
1397.28/757.27	c cleaning 115001 clauses out of 230011 with flag 6776000/7739840
1418.41/768.18	c cleaning 116002 clauses out of 232011 with flag 6893001/7856841
1440.54/779.56	c cleaning 116995 clauses out of 234008 with flag 7011000/7974840
1466.47/793.10	c cleaning 118006 clauses out of 236013 with flag 7130000/8093840
1491.00/805.63	c cleaning 119000 clauses out of 238010 with flag 7250003/8213843
1519.54/820.25	c cleaning 120001 clauses out of 240007 with flag 7371000/8334840
1545.89/833.79	c cleaning 120996 clauses out of 242006 with flag 7493000/8456840
1576.80/849.73	c cleaning 122005 clauses out of 244012 with flag 7616002/8579842
1605.34/864.38	c cleaning 122994 clauses out of 246006 with flag 7740001/8703841
1636.68/880.35	c cleaning 124006 clauses out of 248013 with flag 7865002/8828842
1666.20/895.42	c cleaning 124997 clauses out of 250005 with flag 7991000/8954840
1695.33/910.57	c cleaning 125998 clauses out of 252008 with flag 8118000/9081840
1725.46/925.93	c cleaning 127002 clauses out of 254011 with flag 8246001/9209841
1753.38/940.20	c cleaning 127999 clauses out of 256008 with flag 8375000/9338840
1781.31/954.52	c cleaning 128999 clauses out of 258010 with flag 8505001/9468841
1800.11/964.31	c starts		: 38
1800.11/964.31	c conflicts		: 4034
1800.11/964.31	c decisions		: 36694
1800.11/964.31	c propagations		: 277050
1800.11/964.31	c inspects		: 69028554
1800.11/964.31	c shortcuts		: 0
1800.11/964.31	c learnt literals	: 1
1800.11/964.31	c learnt binary clauses	: 1
1800.11/964.31	c learnt ternary clauses	: 3
1800.11/964.31	c learnt constraints	: 4031
1800.11/964.31	c ignored constraints	: 0
1800.11/964.31	c root simplifications	: 0
1800.11/964.31	c removed literals (reason simplification)	: 0
1800.11/964.31	c reason swapping (by a shorter reason)	: 0
1800.11/964.31	c Calls to reduceDB	: 0
1800.11/964.31	c number of reductions to clauses (during analyze)	: 0
1800.11/964.31	c number of learned constraints concerned by reduction	: 0
1800.11/964.31	c number of learning phase by resolution	: 0
1800.11/964.31	c number of learning phase by cutting planes	: 0
1800.11/964.31	c speed (assignments/second)	: 288.2949443025198
1800.11/964.31	c non guided choices	0
1800.11/964.31	c learnt constraints type 
1800.11/964.31	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 31
1800.11/964.31	c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 1
1800.11/964.31	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3999
1800.11/964.31	c constraints type 
1800.11/964.31	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1078
1800.11/964.31	c ignored satisfied constraints => 65
1800.11/964.31	c org.sat4j.minisat.constraints.cnf.UnitClause => 14
1800.11/964.31	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 501
1800.11/964.31	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.11/964.31	c 1659 constraints processed.
1800.11/964.31	c constraints type 
1800.11/964.31	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 501
1800.11/964.31	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1078
1800.11/964.31	c ignored satisfied constraints => 65
1800.11/964.31	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1
1800.11/964.31	c org.sat4j.pb.constraints.pb.UnitClausePB => 14
1800.11/964.31	c 1659 constraints processed.
1800.11/964.31	s SATISFIABLE
1800.11/964.31	v -x1 -x2 -x3 x4 -x5 -x6 x7 x8 x9 x10 -x11 x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 x26 x27 -x28 -x29 -x30 x31 -x32 x33 -x34 -x35 x36 -x37 -x38 x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 x48 x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 x58 -x59 x60 -x61 -x62 -x63 -x64 x65 -x66 x67 -x68 x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 x99 x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 x142 -x143 -x144 -x145 x146 -x147 x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 x167 x168 -x169 -x170 -x171 x172 -x173 x174 x175 -x176 -x177 x178 x179 -x180 x181 -x182 x183 x184 x185 x186 x187 x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 x226 -x227 -x228 x229 -x230 -x231 x232 -x233 -x234 x235 -x236 -x237 x238 -x239 x240 -x241 x242 -x243 -x244 -x245 -x246 x247 x248 -x249 x250 x251 x252 -x253 x254 -x255 x256 -x257 -x258 -x259 -x260 x261 x262 -x263 -x264 -x265 -x266 x267 -x268 x269 -x270 -x271 x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 x286 x287 -x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 x296 x297 x298 x299 -x300 -x301 -x302 -x303 -x304 x305 x306 x307 -x308 x309 x310 x311 -x312 -x313 -x314 x315 -x316 x317 -x318 x319 x320 x321 x322 x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 x335 -x336 -x337 x338 -x339 x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 x372 -x373 x374 -x375 x376 -x377 x378 -x379 -x380 x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 x422 -x423 -x424 x425 -x426 -x427 -x428 -x429 x430 -x431 x432 -x433 -x434 x435 x436 -x437 x438 -x439 -x440 -x441 -x442 -x443 x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 x455 -x456 -x457 x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617 x618 -x619 x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 -x628 -x629 -x630 -x631 x632 -x633 -x634 -x635 x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 
1800.11/964.31	c objective function=5616
1800.11/964.31	c Total wall clock time (in seconds): 964.203

Verifier Data 

OK	5616

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-3687676-1337873254/watcher-3687676-1337873254 -o /tmp/evaluation-result-3687676-1337873254/solver-3687676-1337873254 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687676-1337873254.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.45 3.70 2.91 4/197 31057
/proc/meminfo: memFree=27263260/32873648 swapFree=7104/7104
[pid=31057] ppid=31055 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/31057/stat : 31057 (java) D 31055 31057 30487 0 -1 4202496 251 0 0 0 0 0 0 0 20 0 1 0 253450822 9515008 184 33554432000 1073741824 1073778376 140733591548272 140733591539496 214537235895 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/31057/statm: 2323 184 142 9 0 71 0

[startup+0.029571 s]
/proc/loadavg: 3.45 3.70 2.91 4/197 31057
/proc/meminfo: memFree=27263260/32873648 swapFree=7104/7104
[pid=31057] ppid=31055 vsize=9016616 CPUtime=0 cores=1,3,5,7
/proc/31057/stat : 31057 (java) S 31055 31057 30487 0 -1 4202496 2813 0 1 0 0 0 0 0 20 0 10 0 253450822 9233014784 3001 33554432000 1073741824 1073778376 140734771143456 140734771134592 214540779581 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31057/statm: 2254154 3001 1538 9 0 2244855 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9016616

[startup+0.100203 s]
/proc/loadavg: 3.45 3.70 2.91 4/197 31057
/proc/meminfo: memFree=27263260/32873648 swapFree=7104/7104
[pid=31057] ppid=31055 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/31057/stat : 31057 (java) S 31055 31057 30487 0 -1 4202496 4374 0 1 0 8 1 0 0 20 0 18 0 253450822 9787813888 5051 33554432000 1073741824 1073778376 140734771143456 140734771134592 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31057/statm: 2389603 5051 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300172 s]
/proc/loadavg: 3.45 3.70 2.91 4/197 31057
/proc/meminfo: memFree=27263260/32873648 swapFree=7104/7104
[pid=31057] ppid=31055 vsize=9759132 CPUtime=0.51 cores=1,3,5,7
/proc/31057/stat : 31057 (java) S 31055 31057 30487 0 -1 4202496 6119 0 1 0 49 2 0 0 20 0 22 0 253450822 9993351168 8421 33554432000 1073741824 1073778376 140734771143456 140734771134592 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31057/statm: 2439783 8421 2232 9 0 2430476 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9759132

[startup+0.700184 s]
/proc/loadavg: 3.45 3.70 2.91 4/197 31057
/proc/meminfo: memFree=27263260/32873648 swapFree=7104/7104
[pid=31057] ppid=31055 vsize=9824668 CPUtime=0.54 cores=1,3,5,7
/proc/31057/stat : 31057 (java) S 31055 31057 30487 0 -1 4202496 6129 0 1 0 50 4 0 0 20 0 19 0 253450822 10060460032 8419 33554432000 1073741824 1073778376 140734771143456 140734771134592 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31057/statm: 2456167 8419 2234 9 0 2446860 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9824668

[startup+1.50068 s]
/proc/loadavg: 3.45 3.70 2.91 2/216 31082
/proc/meminfo: memFree=27232264/32873648 swapFree=7104/7104
[pid=31057] ppid=31055 vsize=9824668 CPUtime=0.7 cores=1,3,5,7
/proc/31057/stat : 31057 (java) S 31055 31057 30487 0 -1 4202496 7061 0 1 0 64 6 0 0 20 0 20 0 253450822 10060460032 11801 33554432000 1073741824 1073778376 140734771143456 140734771134592 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31057/statm: 2456167 11801 2237 9 0 2446860 0
[pid=31057/tid=31059] ppid=31055 vsize=9824668 CPUtime=0.27 cores=1,3,5,7
/proc/31057/task/31059/stat : 31059 (java) S 31055 31057 30487 0 -1 4202560 2510 0 1 0 25 2 0 0 20 0 20 0 253450823 10060460032 11801 33554432000 1073741824 1073778376 140734771143456 140384561529848 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31057/tid=31060] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31060/stat : 31060 (java) S 31055 31057 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253450824 10060460032 11801 33554432000 1073741824 1073778376 140734771143456 140384500259752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31061] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31061/stat : 31061 (java) S 31055 31057 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253450824 10060460032 11801 33554432000 1073741824 1073778376 140734771143456 140384499207208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31057/tid=31062] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31062/stat : 31062 (java) S 31055 31057 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253450824 10060460032 11801 33554432000 1073741824 1073778376 140734771143456 140384498154152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31057/tid=31063] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31063/stat : 31063 (java) S 31055 31057 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253450824 10060460032 11801 33554432000 1073741824 1073778376 140734771143456 140384497101608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31057/tid=31064] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31064/stat : 31064 (java) S 31055 31057 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253450824 10060460032 11801 33554432000 1073741824 1073778376 140734771143456 140384401045928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31065] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31065/stat : 31065 (java) S 31055 31057 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253450824 10060460032 11801 33554432000 1073741824 1073778376 140734771143456 140384399993384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31057/tid=31066] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31066/stat : 31066 (java) S 31055 31057 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253450824 10060460032 11801 33554432000 1073741824 1073778376 140734771143456 140384398940328 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31067] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31067/stat : 31067 (java) S 31055 31057 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 253450824 10060460032 11801 33554432000 1073741824 1073778376 140734771143456 140384397887784 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31068] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31068/stat : 31068 (java) S 31055 31057 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 253450825 10060460032 11801 33554432000 1073741824 1073778376 140734771143456 140384385690472 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31057/tid=31069] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31069/stat : 31069 (java) S 31055 31057 30487 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 253450826 10060460032 11801 33554432000 1073741824 1073778376 140734771143456 140384384636792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31070] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31070/stat : 31070 (java) S 31055 31057 30487 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 253450826 10060460032 11801 33554432000 1073741824 1073778376 140734771143456 140384383583624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31071] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31071/stat : 31071 (java) S 31055 31057 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253450828 10060460032 11801 33554432000 1073741824 1073778376 140734771143456 140384382532368 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31072] ppid=31055 vsize=9824668 CPUtime=0.18 cores=1,3,5,7
/proc/31057/task/31072/stat : 31072 (java) S 31055 31057 30487 0 -1 4202560 2117 0 0 0 18 0 0 0 20 0 20 0 253450828 10060460032 11801 33554432000 1073741824 1073778376 140734771143456 140384381479224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31073] ppid=31055 vsize=9824668 CPUtime=0.13 cores=1,3,5,7
/proc/31057/task/31073/stat : 31073 (java) S 31055 31057 30487 0 -1 4202560 1117 0 0 0 13 0 0 0 20 0 20 0 253450828 10060460032 11801 33554432000 1073741824 1073778376 140734771143456 140384380426680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31057/tid=31074] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31074/stat : 31074 (java) S 31055 31057 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253450828 10060460032 11801 33554432000 1073741824 1073778376 140734771143456 140384379373816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31057/tid=31075] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31075/stat : 31075 (java) S 31055 31057 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253450828 10060460032 11801 33554432000 1073741824 1073778376 140734771143456 140384378321480 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31057/tid=31079] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31079/stat : 31079 (java) S 31055 31057 30487 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 253450852 10060460032 11801 33554432000 1073741824 1073778376 140734771143456 140384374109608 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 9824668

[startup+3.10062 s]
/proc/loadavg: 3.45 3.70 2.91 3/216 31087
/proc/meminfo: memFree=27193428/32873648 swapFree=7104/7104
[pid=31057] ppid=31055 vsize=9824668 CPUtime=1.74 cores=1,3,5,7
/proc/31057/stat : 31057 (java) S 31055 31057 30487 0 -1 4202496 21044 0 1 0 162 12 0 0 20 0 19 0 253450822 10060460032 22284 33554432000 1073741824 1073778376 140734771143456 140734771134592 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31057/statm: 2456167 22284 2244 9 0 2446860 0
[pid=31057/tid=31059] ppid=31055 vsize=9824668 CPUtime=0.28 cores=1,3,5,7
/proc/31057/task/31059/stat : 31059 (java) S 31055 31057 30487 0 -1 4202560 2510 0 1 0 26 2 0 0 20 0 19 0 253450823 10060460032 22284 33554432000 1073741824 1073778376 140734771143456 140384561529848 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31057/tid=31060] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31060/stat : 31060 (java) S 31055 31057 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253450824 10060460032 22284 33554432000 1073741824 1073778376 140734771143456 140384500259752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31061] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31061/stat : 31061 (java) S 31055 31057 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253450824 10060460032 22284 33554432000 1073741824 1073778376 140734771143456 140384499207208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31057/tid=31062] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31062/stat : 31062 (java) S 31055 31057 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253450824 10060460032 22284 33554432000 1073741824 1073778376 140734771143456 140384498154152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31057/tid=31063] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31063/stat : 31063 (java) S 31055 31057 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253450824 10060460032 22284 33554432000 1073741824 1073778376 140734771143456 140384497101608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31057/tid=31064] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31064/stat : 31064 (java) S 31055 31057 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253450824 10060460032 22284 33554432000 1073741824 1073778376 140734771143456 140384401045928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31065] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31065/stat : 31065 (java) S 31055 31057 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253450824 10060460032 22284 33554432000 1073741824 1073778376 140734771143456 140384399993384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31057/tid=31066] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31066/stat : 31066 (java) S 31055 31057 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253450824 10060460032 22284 33554432000 1073741824 1073778376 140734771143456 140384398940328 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31067] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31067/stat : 31067 (java) S 31055 31057 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253450824 10060460032 22284 33554432000 1073741824 1073778376 140734771143456 140384397887784 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31068] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31068/stat : 31068 (java) S 31055 31057 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253450825 10060460032 22284 33554432000 1073741824 1073778376 140734771143456 140384385690472 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31057/tid=31069] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31069/stat : 31069 (java) S 31055 31057 30487 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253450826 10060460032 22284 33554432000 1073741824 1073778376 140734771143456 140384384636792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31070] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31070/stat : 31070 (java) S 31055 31057 30487 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253450826 10060460032 22284 33554432000 1073741824 1073778376 140734771143456 140384383583624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31071] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31071/stat : 31071 (java) S 31055 31057 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253450828 10060460032 22284 33554432000 1073741824 1073778376 140734771143456 140384382532368 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31072] ppid=31055 vsize=9824668 CPUtime=0.43 cores=1,3,5,7
/proc/31057/task/31072/stat : 31072 (java) S 31055 31057 30487 0 -1 4202560 6379 0 0 0 43 0 0 0 20 0 19 0 253450828 10060460032 22284 33554432000 1073741824 1073778376 140734771143456 140384381479224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31073] ppid=31055 vsize=9824668 CPUtime=0.73 cores=1,3,5,7
/proc/31057/task/31073/stat : 31073 (java) S 31055 31057 30487 0 -1 4202560 10815 0 0 0 71 2 0 0 20 0 19 0 253450828 10060460032 22284 33554432000 1073741824 1073778376 140734771143456 140384380426680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31057/tid=31074] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31074/stat : 31074 (java) S 31055 31057 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253450828 10060460032 22284 33554432000 1073741824 1073778376 140734771143456 140384379373816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31057/tid=31075] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31075/stat : 31075 (java) S 31055 31057 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253450828 10060460032 22284 33554432000 1073741824 1073778376 140734771143456 140384378321480 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31057/tid=31079] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31079/stat : 31079 (java) S 31055 31057 30487 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253450852 10060460032 22284 33554432000 1073741824 1073778376 140734771143456 140384374109608 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 9824668
heavy processes:

[startup+6.30073 s]
/proc/loadavg: 3.65 3.74 2.93 5/219 31102
/proc/meminfo: memFree=27098548/32873648 swapFree=7104/7104
[pid=31057] ppid=31055 vsize=9824668 CPUtime=8.56 cores=1,3,5,7
/proc/31057/stat : 31057 (java) S 31055 31057 30487 0 -1 4202496 22113 0 1 0 836 20 0 0 20 0 22 0 253450822 10060460032 45028 33554432000 1073741824 1073778376 140734771143456 140734771134592 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31057/statm: 2456167 45028 2280 9 0 2446860 0
[pid=31057/tid=31059] ppid=31055 vsize=9824668 CPUtime=0.29 cores=1,3,5,7
/proc/31057/task/31059/stat : 31059 (java) S 31055 31057 30487 0 -1 4202560 2512 0 1 0 27 2 0 0 20 0 22 0 253450823 10060460032 45028 33554432000 1073741824 1073778376 140734771143456 140384561529848 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31057/tid=31060] ppid=31055 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/31057/task/31060/stat : 31060 (java) S 31055 31057 30487 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 253450824 10060460032 45028 33554432000 1073741824 1073778376 140734771143456 140384500259752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31057/tid=31061] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31061/stat : 31061 (java) S 31055 31057 30487 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253450824 10060460032 45028 33554432000 1073741824 1073778376 140734771143456 140384499207208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31062] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31062/stat : 31062 (java) S 31055 31057 30487 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253450824 10060460032 45028 33554432000 1073741824 1073778376 140734771143456 140384498154152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31063] ppid=31055 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/31057/task/31063/stat : 31063 (java) S 31055 31057 30487 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 253450824 10060460032 45028 33554432000 1073741824 1073778376 140734771143456 140384497101608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31057/tid=31064] ppid=31055 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/31057/task/31064/stat : 31064 (java) S 31055 31057 30487 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 253450824 10060460032 45028 33554432000 1073741824 1073778376 140734771143456 140384401045928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31057/tid=31065] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31065/stat : 31065 (java) S 31055 31057 30487 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253450824 10060460032 45028 33554432000 1073741824 1073778376 140734771143456 140384399993384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31057/tid=31066] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31066/stat : 31066 (java) S 31055 31057 30487 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253450824 10060460032 45028 33554432000 1073741824 1073778376 140734771143456 140384398940328 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31057/tid=31067] ppid=31055 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/31057/task/31067/stat : 31067 (java) S 31055 31057 30487 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 253450824 10060460032 45028 33554432000 1073741824 1073778376 140734771143456 140384397887784 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31057/tid=31068] ppid=31055 vsize=9824668 CPUtime=0.28 cores=1,3,5,7
/proc/31057/task/31068/stat : 31068 (java) S 31055 31057 30487 0 -1 4202560 75 0 0 0 28 0 0 0 20 0 22 0 253450825 10060460032 45028 33554432000 1073741824 1073778376 140734771143456 140384385690472 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31057/tid=31069] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31069/stat : 31069 (java) S 31055 31057 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253450826 10060460032 45028 33554432000 1073741824 1073778376 140734771143456 140384384636792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31070] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31070/stat : 31070 (java) S 31055 31057 30487 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253450826 10060460032 45028 33554432000 1073741824 1073778376 140734771143456 140384383583624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31071] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31071/stat : 31071 (java) S 31055 31057 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253450828 10060460032 45028 33554432000 1073741824 1073778376 140734771143456 140384382532368 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31072] ppid=31055 vsize=9824668 CPUtime=0.98 cores=1,3,5,7
/proc/31057/task/31072/stat : 31072 (java) S 31055 31057 30487 0 -1 4202560 7170 0 0 0 96 2 0 0 20 0 22 0 253450828 10060460032 45028 33554432000 1073741824 1073778376 140734771143456 140384381479224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31057/tid=31073] ppid=31055 vsize=9824668 CPUtime=1.36 cores=1,3,5,7
/proc/31057/task/31073/stat : 31073 (java) S 31055 31057 30487 0 -1 4202560 10890 0 0 0 134 2 0 0 20 0 22 0 253450828 10060460032 45028 33554432000 1073741824 1073778376 140734771143456 140384380426680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31057/tid=31074] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31074/stat : 31074 (java) S 31055 31057 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253450828 10060460032 45028 33554432000 1073741824 1073778376 140734771143456 140384379373816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31057/tid=31075] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31075/stat : 31075 (java) S 31055 31057 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253450828 10060460032 45028 33554432000 1073741824 1073778376 140734771143456 140384378321480 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31057/tid=31096] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31096/stat : 31096 (java) S 31055 31057 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253451154 10060460032 45028 33554432000 1073741824 1073778376 140734771143456 140384376214568 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31057/tid=31100] ppid=31055 vsize=9824668 CPUtime=1.23 cores=1,3,5,7
/proc/31057/task/31100/stat : 31100 (java) R 31055 31057 30487 0 -1 4202560 5 0 0 0 123 0 0 0 20 0 22 0 253451305 10060460032 45028 33554432000 1073741824 1073778376 140734771143456 140384375161816 140384501808031 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31101] ppid=31055 vsize=9824668 CPUtime=1.23 cores=1,3,5,7

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

[pid=31057/tid=31130] ppid=31055 vsize=9824668 CPUtime=690.27 cores=1,3,5,7
/proc/31057/task/31130/stat : 31130 (java) R 31055 31057 30487 0 -1 4202560 10 0 0 0 69017 10 0 0 20 0 22 0 253461180 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384374108256 140384502132606 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31131] ppid=31055 vsize=9824668 CPUtime=690.86 cores=1,3,5,7
/proc/31057/task/31131/stat : 31131 (java) R 31055 31057 30487 0 -1 4202560 64 0 0 0 69073 13 0 0 20 0 22 0 253461180 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384375158896 140384502554221 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31057/tid=31132] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31132/stat : 31132 (java) S 31055 31057 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253461180 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384377267752 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1640
Current children cumulated vsize (KiB) 9824668

[startup+942.301 s]
/proc/loadavg: 3.96 3.85 3.46 5/219 31329
/proc/meminfo: memFree=27108092/32873648 swapFree=7104/7104
[pid=31057] ppid=31055 vsize=9824668 CPUtime=1756.91 cores=1,3,5,7
/proc/31057/stat : 31057 (java) S 31055 31057 30487 0 -1 4202496 27402 0 1 0 175552 139 0 0 20 0 22 0 253450822 10060460032 311963 33554432000 1073741824 1073778376 140734771143456 140734771134592 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31057/statm: 2456167 311963 2281 9 0 2446860 0
[pid=31057/tid=31059] ppid=31055 vsize=9824668 CPUtime=0.34 cores=1,3,5,7
/proc/31057/task/31059/stat : 31059 (java) S 31055 31057 30487 0 -1 4202560 2663 0 1 0 31 3 0 0 20 0 22 0 253450823 10060460032 311963 33554432000 1073741824 1073778376 140734771143456 140384561529848 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31057/tid=31060] ppid=31055 vsize=9824668 CPUtime=0.42 cores=1,3,5,7
/proc/31057/task/31060/stat : 31060 (java) S 31055 31057 30487 0 -1 4202560 46 0 0 0 40 2 0 0 20 0 22 0 253450824 10060460032 311963 33554432000 1073741824 1073778376 140734771143456 140384500259752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31061] ppid=31055 vsize=9824668 CPUtime=0.45 cores=1,3,5,7
/proc/31057/task/31061/stat : 31061 (java) S 31055 31057 30487 0 -1 4202560 64 0 0 0 44 1 0 0 20 0 22 0 253450824 10060460032 311963 33554432000 1073741824 1073778376 140734771143456 140384499207208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31057/tid=31062] ppid=31055 vsize=9824668 CPUtime=0.44 cores=1,3,5,7
/proc/31057/task/31062/stat : 31062 (java) S 31055 31057 30487 0 -1 4202560 660 0 0 0 42 2 0 0 20 0 22 0 253450824 10060460032 311963 33554432000 1073741824 1073778376 140734771143456 140384498154152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31057/tid=31063] ppid=31055 vsize=9824668 CPUtime=0.39 cores=1,3,5,7
/proc/31057/task/31063/stat : 31063 (java) S 31055 31057 30487 0 -1 4202560 231 0 0 0 37 2 0 0 20 0 22 0 253450824 10060460032 311963 33554432000 1073741824 1073778376 140734771143456 140384497101608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31057/tid=31064] ppid=31055 vsize=9824668 CPUtime=0.5 cores=1,3,5,7
/proc/31057/task/31064/stat : 31064 (java) S 31055 31057 30487 0 -1 4202560 195 0 0 0 48 2 0 0 20 0 22 0 253450824 10060460032 311963 33554432000 1073741824 1073778376 140734771143456 140384401045928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31065] ppid=31055 vsize=9824668 CPUtime=0.43 cores=1,3,5,7
/proc/31057/task/31065/stat : 31065 (java) S 31055 31057 30487 0 -1 4202560 318 0 0 0 41 2 0 0 20 0 22 0 253450824 10060460032 311963 33554432000 1073741824 1073778376 140734771143456 140384399993384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31057/tid=31066] ppid=31055 vsize=9824668 CPUtime=0.49 cores=1,3,5,7
/proc/31057/task/31066/stat : 31066 (java) S 31055 31057 30487 0 -1 4202560 152 0 0 0 47 2 0 0 20 0 22 0 253450824 10060460032 311963 33554432000 1073741824 1073778376 140734771143456 140384398940328 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31057/tid=31067] ppid=31055 vsize=9824668 CPUtime=0.49 cores=1,3,5,7
/proc/31057/task/31067/stat : 31067 (java) S 31055 31057 30487 0 -1 4202560 62 0 0 0 47 2 0 0 20 0 22 0 253450824 10060460032 311963 33554432000 1073741824 1073778376 140734771143456 140384397887784 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31057/tid=31068] ppid=31055 vsize=9824668 CPUtime=121.21 cores=1,3,5,7
/proc/31057/task/31068/stat : 31068 (java) S 31055 31057 30487 0 -1 4202560 1641 0 0 0 12057 64 0 0 20 0 22 0 253450825 10060460032 311963 33554432000 1073741824 1073778376 140734771143456 140384385690472 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31057/tid=31069] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31069/stat : 31069 (java) S 31055 31057 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253450826 10060460032 311963 33554432000 1073741824 1073778376 140734771143456 140384384636792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31070] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31070/stat : 31070 (java) S 31055 31057 30487 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253450826 10060460032 311963 33554432000 1073741824 1073778376 140734771143456 140384383583624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31071] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31071/stat : 31071 (java) S 31055 31057 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253450828 10060460032 311963 33554432000 1073741824 1073778376 140734771143456 140384382532368 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31072] ppid=31055 vsize=9824668 CPUtime=1.46 cores=1,3,5,7
/proc/31057/task/31072/stat : 31072 (java) S 31055 31057 30487 0 -1 4202560 8449 0 0 0 144 2 0 0 20 0 22 0 253450828 10060460032 311963 33554432000 1073741824 1073778376 140734771143456 140384381479224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31073] ppid=31055 vsize=9824668 CPUtime=1.72 cores=1,3,5,7
/proc/31057/task/31073/stat : 31073 (java) S 31055 31057 30487 0 -1 4202560 10931 0 0 0 170 2 0 0 20 0 22 0 253450828 10060460032 311963 33554432000 1073741824 1073778376 140734771143456 140384380426680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31057/tid=31074] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31074/stat : 31074 (java) S 31055 31057 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253450828 10060460032 311963 33554432000 1073741824 1073778376 140734771143456 140384379373816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31057/tid=31075] ppid=31055 vsize=9824668 CPUtime=0.2 cores=1,3,5,7
/proc/31057/task/31075/stat : 31075 (java) S 31055 31057 30487 0 -1 4202560 55 0 0 0 9 11 0 0 20 0 22 0 253450828 10060460032 311963 33554432000 1073741824 1073778376 140734771143456 140384378321480 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31057/tid=31096] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31096/stat : 31096 (java) S 31055 31057 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253451154 10060460032 311963 33554432000 1073741824 1073778376 140734771143456 140384376214568 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31057/tid=31130] ppid=31055 vsize=9824668 CPUtime=747.18 cores=1,3,5,7
/proc/31057/task/31130/stat : 31130 (java) R 31055 31057 30487 0 -1 4202560 10 0 0 0 74707 11 0 0 20 0 22 0 253461180 10060460032 311963 33554432000 1073741824 1073778376 140734771143456 140384374108256 140384501808436 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31131] ppid=31055 vsize=9824668 CPUtime=747.78 cores=1,3,5,7
/proc/31057/task/31131/stat : 31131 (java) R 31055 31057 30487 0 -1 4202560 64 0 0 0 74764 14 0 0 20 0 22 0 253461180 10060460032 311963 33554432000 1073741824 1073778376 140734771143456 140384375158896 140384502046798 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31057/tid=31132] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31132/stat : 31132 (java) S 31055 31057 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253461180 10060460032 311963 33554432000 1073741824 1073778376 140734771143456 140384377267752 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1756.91
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+964.301 s]
/proc/loadavg: 3.91 3.85 3.46 5/219 31329
/proc/meminfo: memFree=27107220/32873648 swapFree=7104/7104
[pid=31057] ppid=31055 vsize=9824668 CPUtime=1800.11 cores=1,3,5,7
/proc/31057/stat : 31057 (java) S 31055 31057 30487 0 -1 4202496 27411 0 1 0 179871 140 0 0 20 0 22 0 253450822 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140734771134592 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31057/statm: 2456167 311965 2281 9 0 2446860 0
[pid=31057/tid=31059] ppid=31055 vsize=9824668 CPUtime=0.35 cores=1,3,5,7
/proc/31057/task/31059/stat : 31059 (java) S 31055 31057 30487 0 -1 4202560 2664 0 1 0 32 3 0 0 20 0 22 0 253450823 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384561529848 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31057/tid=31060] ppid=31055 vsize=9824668 CPUtime=0.42 cores=1,3,5,7
/proc/31057/task/31060/stat : 31060 (java) S 31055 31057 30487 0 -1 4202560 46 0 0 0 40 2 0 0 20 0 22 0 253450824 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384500259752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31061] ppid=31055 vsize=9824668 CPUtime=0.45 cores=1,3,5,7
/proc/31057/task/31061/stat : 31061 (java) S 31055 31057 30487 0 -1 4202560 64 0 0 0 44 1 0 0 20 0 22 0 253450824 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384499207208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31057/tid=31062] ppid=31055 vsize=9824668 CPUtime=0.44 cores=1,3,5,7
/proc/31057/task/31062/stat : 31062 (java) S 31055 31057 30487 0 -1 4202560 660 0 0 0 42 2 0 0 20 0 22 0 253450824 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384498154152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31057/tid=31063] ppid=31055 vsize=9824668 CPUtime=0.39 cores=1,3,5,7
/proc/31057/task/31063/stat : 31063 (java) S 31055 31057 30487 0 -1 4202560 231 0 0 0 37 2 0 0 20 0 22 0 253450824 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384497101608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31057/tid=31064] ppid=31055 vsize=9824668 CPUtime=0.5 cores=1,3,5,7
/proc/31057/task/31064/stat : 31064 (java) S 31055 31057 30487 0 -1 4202560 195 0 0 0 48 2 0 0 20 0 22 0 253450824 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384401045928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31065] ppid=31055 vsize=9824668 CPUtime=0.43 cores=1,3,5,7
/proc/31057/task/31065/stat : 31065 (java) S 31055 31057 30487 0 -1 4202560 318 0 0 0 41 2 0 0 20 0 22 0 253450824 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384399993384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31057/tid=31066] ppid=31055 vsize=9824668 CPUtime=0.49 cores=1,3,5,7
/proc/31057/task/31066/stat : 31066 (java) S 31055 31057 30487 0 -1 4202560 152 0 0 0 47 2 0 0 20 0 22 0 253450824 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384398940328 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31057/tid=31067] ppid=31055 vsize=9824668 CPUtime=0.49 cores=1,3,5,7
/proc/31057/task/31067/stat : 31067 (java) S 31055 31057 30487 0 -1 4202560 62 0 0 0 47 2 0 0 20 0 22 0 253450824 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384397887784 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31057/tid=31068] ppid=31055 vsize=9824668 CPUtime=122.02 cores=1,3,5,7
/proc/31057/task/31068/stat : 31068 (java) S 31055 31057 30487 0 -1 4202560 1649 0 0 0 12138 64 0 0 20 0 22 0 253450825 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384385690472 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31057/tid=31069] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31069/stat : 31069 (java) S 31055 31057 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253450826 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384384636792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31070] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31070/stat : 31070 (java) S 31055 31057 30487 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253450826 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384383583624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31071] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31071/stat : 31071 (java) S 31055 31057 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253450828 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384382532368 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31072] ppid=31055 vsize=9824668 CPUtime=1.46 cores=1,3,5,7
/proc/31057/task/31072/stat : 31072 (java) S 31055 31057 30487 0 -1 4202560 8449 0 0 0 144 2 0 0 20 0 22 0 253450828 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384381479224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31073] ppid=31055 vsize=9824668 CPUtime=1.72 cores=1,3,5,7
/proc/31057/task/31073/stat : 31073 (java) S 31055 31057 30487 0 -1 4202560 10931 0 0 0 170 2 0 0 20 0 22 0 253450828 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384380426680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31057/tid=31074] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31074/stat : 31074 (java) S 31055 31057 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253450828 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384379373816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31057/tid=31075] ppid=31055 vsize=9824668 CPUtime=0.21 cores=1,3,5,7
/proc/31057/task/31075/stat : 31075 (java) S 31055 31057 30487 0 -1 4202560 55 0 0 0 9 12 0 0 20 0 22 0 253450828 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384378321480 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31057/tid=31096] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31096/stat : 31096 (java) S 31055 31057 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253451154 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384376214568 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31057/tid=31130] ppid=31055 vsize=9824668 CPUtime=768.38 cores=1,3,5,7
/proc/31057/task/31130/stat : 31130 (java) R 31055 31057 30487 0 -1 4202560 10 0 0 0 76827 11 0 0 20 0 22 0 253461180 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384374108256 140384502051987 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31131] ppid=31055 vsize=9824668 CPUtime=768.98 cores=1,3,5,7
/proc/31057/task/31131/stat : 31131 (java) R 31055 31057 30487 0 -1 4202560 64 0 0 0 76883 15 0 0 20 0 22 0 253461180 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384375158672 140384502554144 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31057/tid=31132] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31132/stat : 31132 (java) S 31055 31057 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253461180 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384377267752 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
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+964.301 s]
/proc/loadavg: 3.91 3.85 3.46 5/219 31329
/proc/meminfo: memFree=27107220/32873648 swapFree=7104/7104
[pid=31057] ppid=31055 vsize=9824668 CPUtime=1800.11 cores=1,3,5,7
/proc/31057/stat : 31057 (java) S 31055 31057 30487 0 -1 4202496 27411 0 1 0 179871 140 0 0 20 0 22 0 253450822 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140734771134592 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31057/statm: 2456167 311965 2281 9 0 2446860 0
[pid=31057/tid=31059] ppid=31055 vsize=9824668 CPUtime=0.35 cores=1,3,5,7
/proc/31057/task/31059/stat : 31059 (java) S 31055 31057 30487 0 -1 4202560 2664 0 1 0 32 3 0 0 20 0 22 0 253450823 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384561529848 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31057/tid=31060] ppid=31055 vsize=9824668 CPUtime=0.42 cores=1,3,5,7
/proc/31057/task/31060/stat : 31060 (java) S 31055 31057 30487 0 -1 4202560 46 0 0 0 40 2 0 0 20 0 22 0 253450824 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384500259752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31061] ppid=31055 vsize=9824668 CPUtime=0.45 cores=1,3,5,7
/proc/31057/task/31061/stat : 31061 (java) S 31055 31057 30487 0 -1 4202560 64 0 0 0 44 1 0 0 20 0 22 0 253450824 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384499207208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31057/tid=31062] ppid=31055 vsize=9824668 CPUtime=0.44 cores=1,3,5,7
/proc/31057/task/31062/stat : 31062 (java) S 31055 31057 30487 0 -1 4202560 660 0 0 0 42 2 0 0 20 0 22 0 253450824 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384498154152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31057/tid=31063] ppid=31055 vsize=9824668 CPUtime=0.39 cores=1,3,5,7
/proc/31057/task/31063/stat : 31063 (java) S 31055 31057 30487 0 -1 4202560 231 0 0 0 37 2 0 0 20 0 22 0 253450824 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384497101608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31057/tid=31064] ppid=31055 vsize=9824668 CPUtime=0.5 cores=1,3,5,7
/proc/31057/task/31064/stat : 31064 (java) S 31055 31057 30487 0 -1 4202560 195 0 0 0 48 2 0 0 20 0 22 0 253450824 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384401045928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31065] ppid=31055 vsize=9824668 CPUtime=0.43 cores=1,3,5,7
/proc/31057/task/31065/stat : 31065 (java) S 31055 31057 30487 0 -1 4202560 318 0 0 0 41 2 0 0 20 0 22 0 253450824 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384399993384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31057/tid=31066] ppid=31055 vsize=9824668 CPUtime=0.49 cores=1,3,5,7
/proc/31057/task/31066/stat : 31066 (java) S 31055 31057 30487 0 -1 4202560 152 0 0 0 47 2 0 0 20 0 22 0 253450824 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384398940328 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31057/tid=31067] ppid=31055 vsize=9824668 CPUtime=0.49 cores=1,3,5,7
/proc/31057/task/31067/stat : 31067 (java) S 31055 31057 30487 0 -1 4202560 62 0 0 0 47 2 0 0 20 0 22 0 253450824 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384397887784 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31057/tid=31068] ppid=31055 vsize=9824668 CPUtime=122.02 cores=1,3,5,7
/proc/31057/task/31068/stat : 31068 (java) S 31055 31057 30487 0 -1 4202560 1649 0 0 0 12138 64 0 0 20 0 22 0 253450825 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384385690472 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31057/tid=31069] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31069/stat : 31069 (java) S 31055 31057 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253450826 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384384636792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31070] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31070/stat : 31070 (java) S 31055 31057 30487 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253450826 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384383583624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31071] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31071/stat : 31071 (java) S 31055 31057 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253450828 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384382532368 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31072] ppid=31055 vsize=9824668 CPUtime=1.46 cores=1,3,5,7
/proc/31057/task/31072/stat : 31072 (java) S 31055 31057 30487 0 -1 4202560 8449 0 0 0 144 2 0 0 20 0 22 0 253450828 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384381479224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31073] ppid=31055 vsize=9824668 CPUtime=1.72 cores=1,3,5,7
/proc/31057/task/31073/stat : 31073 (java) S 31055 31057 30487 0 -1 4202560 10931 0 0 0 170 2 0 0 20 0 22 0 253450828 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384380426680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31057/tid=31074] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31074/stat : 31074 (java) S 31055 31057 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253450828 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384379373816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31057/tid=31075] ppid=31055 vsize=9824668 CPUtime=0.21 cores=1,3,5,7
/proc/31057/task/31075/stat : 31075 (java) S 31055 31057 30487 0 -1 4202560 55 0 0 0 9 12 0 0 20 0 22 0 253450828 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384378321480 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31057/tid=31096] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31096/stat : 31096 (java) S 31055 31057 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253451154 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384376214568 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31057/tid=31130] ppid=31055 vsize=9824668 CPUtime=768.38 cores=1,3,5,7
/proc/31057/task/31130/stat : 31130 (java) R 31055 31057 30487 0 -1 4202560 10 0 0 0 76827 11 0 0 20 0 22 0 253461180 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384374108256 140384502051987 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=31057/tid=31131] ppid=31055 vsize=9824668 CPUtime=768.98 cores=1,3,5,7
/proc/31057/task/31131/stat : 31131 (java) R 31055 31057 30487 0 -1 4202560 64 0 0 0 76883 15 0 0 20 0 22 0 253461180 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384375158672 140384502554144 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31057/tid=31132] ppid=31055 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/31057/task/31132/stat : 31132 (java) S 31055 31057 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253461180 10060460032 311965 33554432000 1073741824 1073778376 140734771143456 140384377267752 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 9824668

Child status: 143
Real time (s): 964.329
CPU time (s): 1800.56
CPU user time (s): 1798.76
CPU system time (s): 1.80173
CPU usage (%): 186.716
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.76
system time used= 1.80173
maximum resident set size= 1247972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27441
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25916
involuntary context switches= 24693

runsolver used 3.70944 second user time and 7.92479 second system time

The end

Launcher Data 

Begin job on node127 at 2012-05-24 17:27:34
IDJOB=3687676
IDBENCH=2017
IDSOLVER=2268
FILE ID=node127/3687676-1337873254
RUNJOBID= node127-1337871880-30504
PBS_JOBID= 14620077
Free space on /tmp= 71672 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-9symml.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687676-1337873254/watcher-3687676-1337873254 -o /tmp/evaluation-result-3687676-1337873254/solver-3687676-1337873254 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3687676-1337873254.opb

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

MD5SUM BENCH= 866c660dea8282137b8c78839dd4c03f
RANDOM SEED=2137734220

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.348
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		: 2666.348
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.348
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:       32873648 kB
MemFree:        27263152 kB
Buffers:          230476 kB
Cached:          2362940 kB
SwapCached:            0 kB
Active:          2634868 kB
Inactive:        2197332 kB
Active(anon):    2239772 kB
Inactive(anon):      956 kB
Active(file):     395096 kB
Inactive(file):  2196376 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               464 kB
Writeback:             0 kB
AnonPages:       2244812 kB
Mapped:            22516 kB
Shmem:               200 kB
Slab:             637724 kB
SReclaimable:      82128 kB
SUnreclaim:       555596 kB
KernelStack:        1624 kB
PageTables:         8620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    2701804 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2162688 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= 71672 MiB
End job on node127 at 2012-05-24 17:43:40