Trace number 3687688

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)1569 1800.45 927.527

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-cc.opb
MD5SUM2dad588c047f66368bead690393575a4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1567
Best CPU time to get the best result obtained on this benchmark0.015996
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1567
Optimality of the best value was proved YES
Number of variables133
Total number of constraints229
Number of constraints which are clauses229
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 constraint31
Number of terms in the objective function 133
Biggest coefficient in the objective function 60
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 5699
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 60
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 5699
Number of bits of the biggest sum of numbers13
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version 2.3.2.v20120418
0.00/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.07	c java.vm.version	19.1-b02
0.00/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		1.6.0_24
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.07	c Free memory 		501472288
0.00/0.07	c Max memory 		7480803328
0.00/0.07	c Total memory 		504102912
0.00/0.07	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c ManyCore solver with 2 solvers running in parallel
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c Expensive reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c c --- End Solver configuration ---
0.11/0.10	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-3687688-1337873663.opb
0.11/0.10	c reading problem ... 
0.11/0.15	c ... done. Wall clock time 0.05s.
0.11/0.15	c declared #vars     133
0.11/0.15	c #constraints  210
0.11/0.15	c constraints type 
0.11/0.15	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 141
0.11/0.15	c ignored satisfied constraints => 19
0.11/0.15	c org.sat4j.minisat.constraints.cnf.UnitClause => 11
0.11/0.15	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 58
0.11/0.15	c 229 constraints processed.
0.11/0.15	c constraints type 
0.11/0.15	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 58
0.11/0.15	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 141
0.11/0.15	c ignored satisfied constraints => 19
0.11/0.15	c org.sat4j.pb.constraints.pb.UnitClausePB => 11
0.11/0.15	c 229 constraints processed.
0.11/0.15	c objective function length is 133 literals
0.11/0.16	c  And the winner is solver0
0.18/0.65	c SATISFIABLE
0.18/0.65	c OPTIMIZING...
0.18/0.65	c Got one! Elapsed wall clock time (in seconds):0.552
0.18/0.65	o 1846
0.18/0.66	c  And the winner is solver0
0.19/1.16	c Got one! Elapsed wall clock time (in seconds):1.058
0.19/1.16	o 1812
0.19/1.20	c  And the winner is solver1
0.41/1.66	c Got one! Elapsed wall clock time (in seconds):1.56
0.41/1.66	o 1780
0.41/1.68	c  And the winner is solver1
0.55/2.16	c Got one! Elapsed wall clock time (in seconds):2.062
0.55/2.16	o 1757
0.55/2.20	c  And the winner is solver1
0.93/2.66	c Got one! Elapsed wall clock time (in seconds):2.564
0.93/2.66	o 1755
0.93/2.67	c  And the winner is solver1
0.94/3.16	c Got one! Elapsed wall clock time (in seconds):3.065
0.94/3.16	o 1746
0.94/3.18	c  And the winner is solver1
1.03/3.67	c Got one! Elapsed wall clock time (in seconds):3.567
1.03/3.67	o 1723
1.13/3.70	c  And the winner is solver1
1.14/4.17	c Got one! Elapsed wall clock time (in seconds):4.068
1.14/4.17	o 1721
1.14/4.17	c  And the winner is solver1
1.14/4.67	c Got one! Elapsed wall clock time (in seconds):4.569
1.14/4.67	o 1689
1.24/4.72	c  And the winner is solver1
1.61/5.17	c Got one! Elapsed wall clock time (in seconds):5.071
1.61/5.17	o 1688
1.68/5.21	c  And the winner is solver1
1.81/5.67	c Got one! Elapsed wall clock time (in seconds):5.572
1.81/5.67	o 1663
1.87/5.75	c  And the winner is solver1
2.00/6.17	c Got one! Elapsed wall clock time (in seconds):6.073
2.00/6.17	o 1653
2.05/6.24	c cleaning 4389 clauses out of 8778 with flag 1001/8778
2.76/6.45	c cleaning 5194 clauses out of 10388 with flag 7000/14777
3.23/6.70	c cleaning 6094 clauses out of 12194 with flag 14000/21777
3.87/6.96	c cleaning 7051 clauses out of 14101 with flag 22001/29778
4.49/7.24	c cleaning 8026 clauses out of 16051 with flag 31002/38779
5.07/7.57	c cleaning 9012 clauses out of 18024 with flag 41001/48778
6.04/8.01	c cleaning 10006 clauses out of 20012 with flag 52001/59778
6.62/8.34	c  And the winner is solver1
6.72/8.67	c Got one! Elapsed wall clock time (in seconds):8.575
6.72/8.67	o 1644
7.04/8.83	c cleaning 11920 clauses out of 23844 with flag 5000/73616
7.37/9.09	c cleaning 8962 clauses out of 17924 with flag 11000/79616
7.94/9.35	c  And the winner is solver1
7.94/9.35	c cleaning 7975 clauses out of 15962 with flag 18000/86616
8.11/9.68	c Got one! Elapsed wall clock time (in seconds):9.576
8.11/9.68	o 1636
8.41/9.82	c cleaning 6495 clauses out of 12989 with flag 5002/91618
8.77/10.04	c cleaning 6241 clauses out of 12492 with flag 11000/97616
9.29/10.32	c cleaning 6623 clauses out of 13254 with flag 18003/104619
9.85/10.62	c cleaning 7308 clauses out of 14628 with flag 26000/112616
10.40/10.98	c cleaning 8154 clauses out of 16320 with flag 35000/121616
11.78/11.41	c cleaning 9080 clauses out of 18166 with flag 45000/131616
12.52/11.85	c cleaning 10037 clauses out of 20087 with flag 56001/142617
13.79/12.39	c cleaning 11023 clauses out of 22049 with flag 68000/154616
14.93/12.94	c cleaning 12013 clauses out of 24026 with flag 81000/167616
16.06/13.53	c cleaning 13001 clauses out of 26014 with flag 95001/181617
17.18/14.17	c cleaning 14006 clauses out of 28013 with flag 110001/196617
18.31/14.79	c cleaning 15003 clauses out of 30006 with flag 126000/212616
19.65/15.40	c cleaning 16002 clauses out of 32003 with flag 143000/229616
20.77/16.09	c cleaning 17001 clauses out of 34002 with flag 161001/247617
22.47/16.91	c cleaning 17993 clauses out of 36000 with flag 180000/266616
23.60/17.56	c cleaning 19001 clauses out of 38007 with flag 200000/286616
25.14/18.30	c cleaning 20001 clauses out of 40006 with flag 221000/307616
26.47/19.08	c cleaning 21001 clauses out of 42006 with flag 243001/329617
28.37/20.01	c cleaning 22001 clauses out of 44004 with flag 266000/352616
29.93/20.87	c cleaning 22999 clauses out of 46004 with flag 290001/376617
31.86/21.82	c cleaning 23996 clauses out of 48004 with flag 315000/401616
33.60/22.78	c cleaning 24999 clauses out of 50008 with flag 341000/427616
35.50/23.76	c cleaning 26005 clauses out of 52009 with flag 368000/454616
37.63/24.81	c cleaning 26998 clauses out of 54004 with flag 396000/482616
39.76/25.91	c cleaning 27998 clauses out of 56006 with flag 425000/511616
41.90/27.06	c cleaning 29000 clauses out of 58008 with flag 455000/541616
44.39/28.37	c cleaning 30000 clauses out of 60009 with flag 486001/572617
46.93/29.62	c cleaning 31002 clauses out of 62009 with flag 518001/604617
48.66/30.55	c  And the winner is solver1
48.76/30.74	c Got one! Elapsed wall clock time (in seconds):30.641
48.76/30.74	o 1635
49.27/31.09	c cleaning 31558 clauses out of 63119 with flag 5001/636729
50.02/31.43	c cleaning 18768 clauses out of 37560 with flag 11000/642728
50.51/31.77	c cleaning 12894 clauses out of 25793 with flag 18001/649729
51.05/32.08	c cleaning 10438 clauses out of 20898 with flag 26000/657728
51.77/32.42	c cleaning 9722 clauses out of 19460 with flag 35000/666728
52.30/32.77	c cleaning 9862 clauses out of 19738 with flag 45000/676728
53.00/33.19	c cleaning 10435 clauses out of 20877 with flag 56001/687729
53.72/33.60	c cleaning 11215 clauses out of 22442 with flag 68001/699729
54.65/34.06	c cleaning 12110 clauses out of 24228 with flag 81002/712730
55.19/34.31	c  And the winner is solver1
55.23/34.77	c Got one! Elapsed wall clock time (in seconds):34.667
55.23/34.77	o 1619
55.48/34.93	c cleaning 11671 clauses out of 23350 with flag 5000/723962
55.98/35.20	c cleaning 8831 clauses out of 17680 with flag 11001/729963
56.29/35.46	c cleaning 7920 clauses out of 15849 with flag 18001/736963
56.81/35.74	c cleaning 7962 clauses out of 15929 with flag 26001/744963
57.35/36.06	c cleaning 8479 clauses out of 16967 with flag 35001/753963
58.04/36.46	c cleaning 9245 clauses out of 18489 with flag 45002/763964
58.75/36.84	c cleaning 10120 clauses out of 20242 with flag 56000/774962
59.48/37.26	c cleaning 11057 clauses out of 22122 with flag 68000/786962
60.40/37.73	c cleaning 12030 clauses out of 24065 with flag 81000/799962
61.49/38.30	c cleaning 13015 clauses out of 26035 with flag 95000/813962
62.62/38.94	c cleaning 14008 clauses out of 28020 with flag 110000/828962
63.76/39.53	c cleaning 15005 clauses out of 30012 with flag 126000/844962
64.87/40.14	c cleaning 16002 clauses out of 32007 with flag 143000/861962
66.17/40.89	c cleaning 16998 clauses out of 34005 with flag 161000/879962
67.67/41.64	c cleaning 17998 clauses out of 36007 with flag 180000/898962
69.20/42.49	c cleaning 19001 clauses out of 38010 with flag 200001/918963
71.12/43.41	c cleaning 20000 clauses out of 40008 with flag 221000/939962
73.18/44.55	c cleaning 21003 clauses out of 42010 with flag 243002/961964
75.31/45.69	c cleaning 22003 clauses out of 44005 with flag 266000/984962
78.02/47.05	c cleaning 22996 clauses out of 46002 with flag 290000/1008962
80.54/48.38	c cleaning 24000 clauses out of 48006 with flag 315000/1033962
82.82/49.55	c cleaning 24999 clauses out of 50006 with flag 341000/1059962
85.52/50.92	c cleaning 25999 clauses out of 52007 with flag 368000/1086962
88.23/52.39	c cleaning 26999 clauses out of 54009 with flag 396001/1114963
91.15/53.81	c cleaning 28003 clauses out of 56009 with flag 425000/1143962
94.04/55.36	c cleaning 28996 clauses out of 58008 with flag 455002/1173964
96.36/56.57	c cleaning 30006 clauses out of 60011 with flag 486001/1204963
99.28/58.07	c cleaning 30998 clauses out of 62004 with flag 518000/1236962
101.59/59.21	c  And the winner is solver1
101.63/59.69	c Got one! Elapsed wall clock time (in seconds):59.593
101.63/59.69	o 1594
102.24/60.03	c cleaning 32360 clauses out of 64734 with flag 5001/1270690
102.90/60.44	c cleaning 19179 clauses out of 38373 with flag 11000/1276689
103.41/60.76	c cleaning 13093 clauses out of 26196 with flag 18002/1283691
104.12/61.12	c cleaning 10550 clauses out of 21102 with flag 26001/1291690
104.63/61.45	c cleaning 9771 clauses out of 19551 with flag 35000/1300689
105.29/61.87	c cleaning 9887 clauses out of 19782 with flag 45002/1310691
106.01/62.29	c cleaning 10445 clauses out of 20893 with flag 56000/1321689
106.93/62.75	c cleaning 11222 clauses out of 22448 with flag 68000/1333689
107.85/63.29	c cleaning 12110 clauses out of 24226 with flag 81000/1346689
108.29/63.57	c  And the winner is solver1
108.46/63.72	c Got one! Elapsed wall clock time (in seconds):63.626
108.46/63.72	o 1592
108.46/63.77	c cleaning 8574 clauses out of 17157 with flag 1000/1351730
108.92/64.03	c cleaning 7287 clauses out of 14584 with flag 7001/1357731
109.42/64.31	c cleaning 7142 clauses out of 14296 with flag 14000/1364730
109.93/64.61	c cleaning 7570 clauses out of 15154 with flag 22000/1372730
110.58/65.00	c cleaning 8290 clauses out of 16584 with flag 31000/1381730
111.27/65.41	c cleaning 9142 clauses out of 18295 with flag 41001/1391731
111.98/65.84	c cleaning 10075 clauses out of 20152 with flag 52000/1402730
112.88/66.31	c cleaning 11037 clauses out of 22078 with flag 64001/1414731
113.72/66.83	c cleaning 12020 clauses out of 24041 with flag 77001/1427731
114.62/67.38	c cleaning 13009 clauses out of 26020 with flag 91000/1441730
115.92/68.01	c cleaning 14005 clauses out of 28011 with flag 106000/1456730
117.01/68.65	c cleaning 15002 clauses out of 30006 with flag 122000/1472730
118.26/69.37	c cleaning 15998 clauses out of 32006 with flag 139002/1489732
119.75/70.12	c cleaning 16997 clauses out of 34006 with flag 157000/1507730
120.03/70.40	c  And the winner is solver1
120.25/70.83	c Got one! Elapsed wall clock time (in seconds):70.734
120.25/70.83	o 1587
120.59/71.00	c cleaning 13628 clauses out of 27267 with flag 5000/1517988
121.08/71.30	c cleaning 9815 clauses out of 19639 with flag 11000/1523988
121.52/71.66	c cleaning 8409 clauses out of 16824 with flag 18000/1530988
122.00/71.99	c cleaning 8203 clauses out of 16416 with flag 26001/1538989
122.70/72.36	c cleaning 8600 clauses out of 17212 with flag 35000/1547988
123.40/72.76	c cleaning 9305 clauses out of 18613 with flag 45001/1557989
124.23/73.25	c cleaning 10150 clauses out of 20307 with flag 56000/1568988
125.14/73.74	c cleaning 11078 clauses out of 22157 with flag 68000/1580988
126.02/74.24	c cleaning 12039 clauses out of 24079 with flag 81000/1593988
127.12/74.81	c cleaning 13015 clauses out of 26040 with flag 95000/1607988
128.32/75.53	c cleaning 14008 clauses out of 28025 with flag 110000/1622988
129.61/76.26	c cleaning 15009 clauses out of 30018 with flag 126001/1638989
131.11/77.07	c cleaning 16003 clauses out of 32008 with flag 143000/1655988
132.58/77.83	c cleaning 16996 clauses out of 34006 with flag 161001/1673989
134.19/78.74	c cleaning 18003 clauses out of 36009 with flag 180000/1692988
135.87/79.68	c cleaning 19001 clauses out of 38007 with flag 200001/1712989
137.77/80.60	c cleaning 20001 clauses out of 40005 with flag 221000/1733988
139.46/81.59	c cleaning 20997 clauses out of 42006 with flag 243002/1755990
141.47/82.61	c cleaning 22004 clauses out of 44008 with flag 266001/1778989
143.35/83.63	c cleaning 22999 clauses out of 46004 with flag 290001/1802989
145.44/84.74	c cleaning 23998 clauses out of 48004 with flag 315000/1827988
147.90/86.09	c cleaning 24999 clauses out of 50006 with flag 341000/1853988
150.19/87.29	c cleaning 25999 clauses out of 52007 with flag 368000/1880988
152.66/88.52	c cleaning 27002 clauses out of 54008 with flag 396000/1908988
155.36/89.91	c cleaning 27999 clauses out of 56007 with flag 425001/1937989
158.04/91.32	c cleaning 28997 clauses out of 58008 with flag 455001/1967989
160.64/92.75	c cleaning 30006 clauses out of 60011 with flag 486001/1998989
163.50/94.24	c cleaning 31003 clauses out of 62005 with flag 518001/2030989
166.57/95.85	c cleaning 31997 clauses out of 64001 with flag 551000/2063988
169.82/97.59	c cleaning 32998 clauses out of 66005 with flag 585001/2097989
173.21/99.37	c cleaning 34002 clauses out of 68006 with flag 620000/2132988
177.07/101.35	c cleaning 35000 clauses out of 70004 with flag 656000/2168988
180.72/103.28	c cleaning 35997 clauses out of 72004 with flag 693000/2205988
184.57/105.26	c cleaning 37001 clauses out of 74007 with flag 731000/2243988
188.75/107.48	c cleaning 38001 clauses out of 76008 with flag 770002/2282990
193.00/109.64	c cleaning 39001 clauses out of 78005 with flag 810000/2322988
197.04/111.70	c cleaning 39998 clauses out of 80004 with flag 851000/2363988
201.29/113.94	c cleaning 41001 clauses out of 82006 with flag 893000/2405988
205.26/116.04	c cleaning 41994 clauses out of 84005 with flag 936000/2448988
208.74/117.87	c cleaning 42998 clauses out of 86011 with flag 980000/2492988
212.58/119.80	c cleaning 43999 clauses out of 88013 with flag 1025000/2537988
216.42/121.89	c cleaning 45000 clauses out of 90014 with flag 1071000/2583988
219.81/123.64	c  And the winner is solver1
219.81/123.64	c Got one! Elapsed wall clock time (in seconds):123.543
219.81/123.64	o 1569
220.60/124.08	c cleaning 44912 clauses out of 89823 with flag 5002/2628797
221.46/124.52	c cleaning 25452 clauses out of 50910 with flag 11001/2634796
221.90/124.89	c cleaning 16221 clauses out of 32457 with flag 18000/2641795
222.54/125.25	c cleaning 12109 clauses out of 24237 with flag 26001/2649796
223.31/125.73	c cleaning 10557 clauses out of 21128 with flag 35001/2658796
223.96/126.16	c cleaning 10277 clauses out of 20570 with flag 45000/2668795
224.81/126.64	c cleaning 10647 clauses out of 21294 with flag 56001/2679796
225.64/127.13	c cleaning 11321 clauses out of 22647 with flag 68001/2691796
226.79/127.80	c cleaning 12156 clauses out of 24326 with flag 81001/2704796
227.63/128.36	c cleaning 13079 clauses out of 26170 with flag 95001/2718796
228.67/128.93	c cleaning 14041 clauses out of 28091 with flag 110001/2733796
229.72/129.59	c cleaning 15021 clauses out of 30050 with flag 126001/2749796
231.10/130.34	c cleaning 16012 clauses out of 32028 with flag 143000/2766795
232.35/131.08	c cleaning 17006 clauses out of 34018 with flag 161002/2784797
234.00/131.94	c cleaning 18005 clauses out of 36010 with flag 180000/2803795
235.65/132.82	c cleaning 19002 clauses out of 38009 with flag 200004/2823799
237.19/133.76	c cleaning 19995 clauses out of 40003 with flag 221000/2844795
238.63/134.57	c cleaning 20995 clauses out of 42008 with flag 243000/2866795
240.29/135.48	c cleaning 21999 clauses out of 44014 with flag 266001/2889796
242.13/136.41	c cleaning 23001 clauses out of 46014 with flag 290000/2913795
243.91/137.45	c cleaning 24005 clauses out of 48014 with flag 315001/2938796
245.97/138.56	c cleaning 25003 clauses out of 50008 with flag 341000/2964795
248.02/139.68	c cleaning 26003 clauses out of 52005 with flag 368000/2991795
250.48/140.95	c cleaning 26999 clauses out of 54003 with flag 396001/3019796
252.99/142.38	c cleaning 28002 clauses out of 56004 with flag 425001/3048796
256.03/143.94	c cleaning 29002 clauses out of 58003 with flag 455002/3078797
258.88/145.40	c cleaning 29996 clauses out of 60001 with flag 486002/3109797
261.51/146.90	c cleaning 30998 clauses out of 62003 with flag 518000/3141795
264.46/148.46	c cleaning 31998 clauses out of 64005 with flag 551000/3174795
267.50/150.07	c cleaning 32999 clauses out of 66008 with flag 585001/3208796
270.74/151.72	c cleaning 34000 clauses out of 68008 with flag 620000/3243795
273.99/153.45	c cleaning 34997 clauses out of 70010 with flag 656002/3279797
276.77/154.95	c cleaning 36000 clauses out of 72011 with flag 693000/3316795
279.42/156.38	c cleaning 37003 clauses out of 74012 with flag 731001/3354796
282.64/158.03	c cleaning 37998 clauses out of 76008 with flag 770000/3393795
285.88/159.74	c cleaning 39002 clauses out of 78011 with flag 810001/3433796
289.24/161.51	c cleaning 39999 clauses out of 80008 with flag 851000/3474795
292.89/163.46	c cleaning 40999 clauses out of 82009 with flag 893000/3516795
296.53/165.39	c cleaning 42002 clauses out of 84010 with flag 936000/3559795
300.56/167.44	c cleaning 42998 clauses out of 86009 with flag 980001/3603796
304.54/169.56	c cleaning 44003 clauses out of 88010 with flag 1025000/3648795
308.96/171.80	c cleaning 45000 clauses out of 90007 with flag 1071000/3694795
313.61/174.28	c cleaning 46000 clauses out of 92008 with flag 1118001/3741796
318.24/176.66	c cleaning 46999 clauses out of 94007 with flag 1166000/3789795
323.20/179.20	c cleaning 47999 clauses out of 96008 with flag 1215000/3838795
327.45/181.46	c cleaning 49004 clauses out of 98009 with flag 1265000/3888795
332.11/183.87	c cleaning 50001 clauses out of 100005 with flag 1316000/3939795
336.95/186.38	c cleaning 50998 clauses out of 102004 with flag 1368000/3991795
342.29/189.16	c cleaning 52002 clauses out of 104006 with flag 1421000/4044795
347.92/192.07	c cleaning 52992 clauses out of 106004 with flag 1475000/4098795
353.37/194.85	c cleaning 54001 clauses out of 108012 with flag 1530000/4153795
358.60/197.52	c cleaning 55000 clauses out of 110011 with flag 1586000/4209795
363.56/200.15	c cleaning 56006 clauses out of 112011 with flag 1643000/4266795
368.78/202.84	c cleaning 57004 clauses out of 114007 with flag 1701002/4324797
374.22/205.68	c cleaning 58000 clauses out of 116001 with flag 1760000/4383795
380.05/208.63	c cleaning 58988 clauses out of 118001 with flag 1820000/4443795
387.00/212.29	c cleaning 60002 clauses out of 120013 with flag 1881000/4504795
394.03/215.81	c cleaning 60999 clauses out of 122012 with flag 1943001/4566796
400.66/219.23	c cleaning 62001 clauses out of 124012 with flag 2006000/4629795
409.92/223.97	c cleaning 63000 clauses out of 126012 with flag 2070001/4693796
418.86/228.56	c cleaning 64004 clauses out of 128012 with flag 2135001/4758796
425.90/232.17	c cleaning 65003 clauses out of 130007 with flag 2201000/4824795
432.12/235.32	c cleaning 66002 clauses out of 132004 with flag 2268000/4891795
437.95/238.32	c cleaning 66995 clauses out of 134002 with flag 2336000/4959795
445.46/242.25	c cleaning 68002 clauses out of 136007 with flag 2405000/5028795
452.68/245.92	c cleaning 69003 clauses out of 138005 with flag 2475000/5098795
461.32/250.39	c cleaning 69994 clauses out of 140002 with flag 2546000/5169795
470.96/255.22	c cleaning 71005 clauses out of 142009 with flag 2618001/5241796
479.70/259.76	c cleaning 71998 clauses out of 144004 with flag 2691001/5314796
488.71/264.38	c cleaning 73000 clauses out of 146006 with flag 2765001/5388796
499.14/269.63	c cleaning 73998 clauses out of 148006 with flag 2840001/5463796
508.97/274.67	c cleaning 75001 clauses out of 150008 with flag 2916001/5539796
520.29/280.43	c cleaning 76002 clauses out of 152007 with flag 2993001/5616796
529.35/285.04	c cleaning 76999 clauses out of 154004 with flag 3071000/5694795
537.36/289.14	c cleaning 77998 clauses out of 156006 with flag 3150001/5773796
545.78/293.43	c cleaning 78998 clauses out of 158008 with flag 3230001/5853796
554.52/297.93	c cleaning 79995 clauses out of 160010 with flag 3311001/5934796
563.34/302.41	c cleaning 81002 clauses out of 162014 with flag 3393000/6016795
570.96/306.31	c cleaning 82003 clauses out of 164013 with flag 3476001/6099796
579.98/310.90	c cleaning 82999 clauses out of 166009 with flag 3560000/6183795
589.50/315.89	c cleaning 84000 clauses out of 168010 with flag 3645000/6268795
599.70/321.03	c cleaning 85001 clauses out of 170011 with flag 3731001/6354796
610.12/326.30	c cleaning 86001 clauses out of 172009 with flag 3818000/6441795
619.74/331.24	c cleaning 87000 clauses out of 174009 with flag 3906001/6529796
628.89/335.98	c cleaning 87992 clauses out of 176009 with flag 3995001/6618796
638.30/340.74	c cleaning 89005 clauses out of 178017 with flag 4085001/6708796
647.33/345.35	c cleaning 89997 clauses out of 180012 with flag 4176001/6799796
658.55/351.03	c cleaning 91002 clauses out of 182015 with flag 4268001/6891796
669.27/356.58	c cleaning 92003 clauses out of 184012 with flag 4361000/6984795
679.89/361.95	c cleaning 92998 clauses out of 186009 with flag 4455000/7078795
688.51/366.31	c cleaning 94001 clauses out of 188012 with flag 4550001/7173796
698.51/371.46	c cleaning 94999 clauses out of 190010 with flag 4646000/7269795
708.69/376.63	c cleaning 96004 clauses out of 192011 with flag 4743000/7366795
719.90/382.30	c cleaning 97001 clauses out of 194008 with flag 4841001/7464796
731.12/388.07	c cleaning 97993 clauses out of 196006 with flag 4940000/7563795
743.93/394.58	c cleaning 98999 clauses out of 198013 with flag 5040000/7663795
757.06/401.28	c cleaning 100005 clauses out of 200015 with flag 5141001/7764796
773.09/409.33	c cleaning 101003 clauses out of 202009 with flag 5243000/7866795
787.50/416.60	c cleaning 101998 clauses out of 204007 with flag 5346001/7969796
801.53/423.70	c cleaning 103000 clauses out of 206009 with flag 5450001/8073796
817.45/431.88	c cleaning 103993 clauses out of 208008 with flag 5555000/8178795
830.87/438.62	c cleaning 105002 clauses out of 210015 with flag 5661000/8284795
844.28/445.43	c cleaning 106003 clauses out of 212014 with flag 5768001/8391796
861.08/453.92	c cleaning 107005 clauses out of 214011 with flag 5876001/8499796
877.59/462.30	c cleaning 108000 clauses out of 216005 with flag 5985000/8608795
893.21/470.26	c cleaning 109004 clauses out of 218007 with flag 6095002/8718797
907.42/477.50	c cleaning 109996 clauses out of 220002 with flag 6206001/8829796
921.62/484.68	c cleaning 110994 clauses out of 222005 with flag 6318000/8941795
936.91/492.40	c cleaning 112000 clauses out of 224012 with flag 6431001/9054796
954.92/501.55	c cleaning 112997 clauses out of 226012 with flag 6545001/9168796
974.54/511.46	c cleaning 113998 clauses out of 228015 with flag 6660001/9283796
990.54/519.52	c cleaning 115006 clauses out of 230017 with flag 6776001/9399796
1004.26/526.54	c cleaning 115999 clauses out of 232010 with flag 6893000/9516795
1019.47/534.24	c cleaning 116999 clauses out of 234011 with flag 7011000/9634795
1039.48/544.33	c cleaning 118002 clauses out of 236013 with flag 7130001/9753796
1061.08/555.21	c cleaning 119002 clauses out of 238010 with flag 7250000/9873795
1083.80/566.77	c cleaning 120003 clauses out of 240009 with flag 7371001/9994796
1107.01/578.41	c cleaning 121000 clauses out of 242006 with flag 7493001/10116796
1141.01/595.55	c cleaning 121995 clauses out of 244005 with flag 7616000/10239795
1165.43/607.84	c cleaning 122996 clauses out of 246010 with flag 7740000/10363795
1188.36/619.45	c cleaning 124005 clauses out of 248015 with flag 7865001/10488796
1214.55/632.61	c cleaning 125003 clauses out of 250009 with flag 7991000/10614795
1236.35/643.63	c cleaning 126001 clauses out of 252007 with flag 8118001/10741796
1260.37/655.75	c cleaning 127001 clauses out of 254005 with flag 8246000/10869795
1286.07/668.70	c cleaning 127998 clauses out of 256004 with flag 8375000/10998795
1317.51/684.50	c cleaning 128997 clauses out of 258007 with flag 8505001/11128796
1345.52/698.67	c cleaning 130001 clauses out of 260010 with flag 8636001/11259796
1369.92/710.91	c cleaning 131003 clauses out of 262008 with flag 8768000/11391795
1391.41/721.84	c cleaning 131999 clauses out of 264006 with flag 8901001/11524796
1422.23/737.36	c cleaning 133002 clauses out of 266007 with flag 9035001/11658796
1450.63/751.62	c cleaning 133999 clauses out of 268004 with flag 9170000/11793795
1483.04/767.98	c cleaning 134999 clauses out of 270006 with flag 9306001/11929796
1514.73/783.90	c cleaning 135996 clauses out of 272006 with flag 9443000/12066795
1550.93/802.10	c cleaning 137002 clauses out of 274010 with flag 9581000/12204795
1586.15/819.87	c cleaning 138001 clauses out of 276008 with flag 9720000/12343795
1620.58/837.19	c cleaning 138998 clauses out of 278008 with flag 9860001/12483796
1654.64/854.33	c cleaning 140000 clauses out of 280009 with flag 10001000/12624795
1684.66/869.48	c cleaning 141001 clauses out of 282010 with flag 10143001/12766796
1711.07/882.75	c cleaning 141997 clauses out of 284009 with flag 10286001/12909796
1742.29/898.50	c cleaning 142996 clauses out of 286011 with flag 10430000/13053795
1770.23/912.51	c cleaning 143999 clauses out of 288016 with flag 10575001/13198796
1800.04/927.51	c starts		: 44
1800.04/927.51	c conflicts		: 5534
1800.04/927.51	c decisions		: 17755
1800.04/927.51	c propagations		: 117580
1800.04/927.51	c inspects		: 64084765
1800.04/927.51	c shortcuts		: 0
1800.04/927.51	c learnt literals	: 0
1800.04/927.51	c learnt binary clauses	: 2
1800.04/927.51	c learnt ternary clauses	: 2
1800.04/927.51	c learnt constraints	: 5532
1800.04/927.51	c ignored constraints	: 0
1800.04/927.51	c root simplifications	: 0
1800.04/927.51	c removed literals (reason simplification)	: 0
1800.04/927.51	c reason swapping (by a shorter reason)	: 0
1800.04/927.51	c Calls to reduceDB	: 0
1800.04/927.51	c number of reductions to clauses (during analyze)	: 0
1800.04/927.51	c number of learned constraints concerned by reduction	: 0
1800.04/927.51	c number of learning phase by resolution	: 0
1800.04/927.51	c number of learning phase by cutting planes	: 0
1800.04/927.51	c speed (assignments/second)	: 126.92826685378097
1800.04/927.51	c non guided choices	0
1800.04/927.51	c learnt constraints type 
1800.04/927.51	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 15
1800.04/927.51	c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 2
1800.04/927.51	c org.sat4j.pb.constraints.pb.MaxWatchPb => 5515
1800.04/927.51	c constraints type 
1800.04/927.51	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 141
1800.04/927.51	c ignored satisfied constraints => 19
1800.04/927.51	c org.sat4j.minisat.constraints.cnf.UnitClause => 11
1800.04/927.51	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 58
1800.04/927.51	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.04/927.51	c 230 constraints processed.
1800.04/927.51	c constraints type 
1800.04/927.51	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 58
1800.04/927.51	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 141
1800.04/927.51	c ignored satisfied constraints => 19
1800.04/927.51	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1
1800.04/927.51	c org.sat4j.pb.constraints.pb.UnitClausePB => 11
1800.04/927.51	c 230 constraints processed.
1800.04/927.51	s SATISFIABLE
1800.04/927.51	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 
1800.04/927.51	c objective function=1569
1800.04/927.51	c Total wall clock time (in seconds): 927.416

Verifier Data 

OK	1569

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

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

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


[startup+0 s]
/proc/loadavg: 3.74 3.70 3.17 4/197 31242
/proc/meminfo: memFree=28250908/32873648 swapFree=7104/7104
[pid=31242] ppid=31240 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/31242/stat : 31242 (java) S 31240 31242 30487 0 -1 4202496 1276 0 0 0 0 0 0 0 20 0 2 0 253491769 98570240 977 33554432000 1073741824 1073778376 140733897094768 140733897085904 214540779581 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31242/statm: 24065 977 743 9 0 16771 0
[pid=31242/tid=31243] ppid=31240 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31243/stat : 31243 (java) R 31240 31242 30487 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 253491770 98570240 977 33554432000 1073741824 1073778376 140733897094768 139905299680808 214537422208 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.100834 s]
/proc/loadavg: 3.74 3.70 3.17 4/197 31242
/proc/meminfo: memFree=28250908/32873648 swapFree=7104/7104
[pid=31242] ppid=31240 vsize=9558412 CPUtime=0.11 cores=0,2,4,6
/proc/31242/stat : 31242 (java) S 31240 31242 30487 0 -1 4202496 4487 0 1 0 10 1 0 0 20 0 18 0 253491769 9787813888 6150 33554432000 1073741824 1073778376 140733897094768 140733897085904 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31242/statm: 2389603 6150 2142 9 0 2380296 0
[pid=31242/tid=31243] ppid=31240 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/31242/task/31243/stat : 31243 (java) R 31240 31242 30487 0 -1 4202560 2431 0 1 0 6 2 0 0 20 0 18 0 253491770 9787813888 6150 33554432000 1073741824 1073778376 140733897094768 139905299684272 214540805389 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412

[startup+0.200312 s]
/proc/loadavg: 3.74 3.70 3.17 4/197 31242
/proc/meminfo: memFree=28250908/32873648 swapFree=7104/7104
[pid=31242] ppid=31240 vsize=9824668 CPUtime=0.18 cores=0,2,4,6
/proc/31242/stat : 31242 (java) S 31240 31242 30487 0 -1 4202496 4752 0 1 0 17 1 0 0 20 0 19 0 253491769 10060460032 7365 33554432000 1073741824 1073778376 140733897094768 140733897085904 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31242/statm: 2456167 7365 2182 9 0 2446860 0
[pid=31242/tid=31243] ppid=31240 vsize=9824668 CPUtime=0.14 cores=0,2,4,6
/proc/31242/task/31243/stat : 31243 (java) S 31240 31242 30487 0 -1 4202560 2445 0 1 0 12 2 0 0 20 0 19 0 253491770 10060460032 7365 33554432000 1073741824 1073778376 140733897094768 139905299686392 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 9824668

[startup+0.300354 s]
/proc/loadavg: 3.74 3.70 3.17 4/197 31242
/proc/meminfo: memFree=28250908/32873648 swapFree=7104/7104
[pid=31242] ppid=31240 vsize=9824668 CPUtime=0.18 cores=0,2,4,6
/proc/31242/stat : 31242 (java) S 31240 31242 30487 0 -1 4202496 4752 0 1 0 17 1 0 0 20 0 19 0 253491769 10060460032 7365 33554432000 1073741824 1073778376 140733897094768 140733897085904 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31242/statm: 2456167 7365 2182 9 0 2446860 0
[pid=31242/tid=31243] ppid=31240 vsize=9824668 CPUtime=0.14 cores=0,2,4,6
/proc/31242/task/31243/stat : 31243 (java) S 31240 31242 30487 0 -1 4202560 2445 0 1 0 12 2 0 0 20 0 19 0 253491770 10060460032 7365 33554432000 1073741824 1073778376 140733897094768 139905299686392 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 9824668

[startup+0.700286 s]
/proc/loadavg: 3.74 3.70 3.17 4/197 31242
/proc/meminfo: memFree=28250908/32873648 swapFree=7104/7104
[pid=31242] ppid=31240 vsize=9824668 CPUtime=0.19 cores=0,2,4,6
/proc/31242/stat : 31242 (java) S 31240 31242 30487 0 -1 4202496 4781 0 1 0 18 1 0 0 20 0 19 0 253491769 10060460032 8406 33554432000 1073741824 1073778376 140733897094768 140733897085904 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31242/statm: 2456167 8406 2183 9 0 2446860 0
[pid=31242/tid=31243] ppid=31240 vsize=9824668 CPUtime=0.14 cores=0,2,4,6
/proc/31242/task/31243/stat : 31243 (java) S 31240 31242 30487 0 -1 4202560 2461 0 1 0 12 2 0 0 20 0 19 0 253491770 10060460032 8406 33554432000 1073741824 1073778376 140733897094768 139905299686392 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 9824668

[startup+1.50065 s]
/proc/loadavg: 3.74 3.70 3.17 2/216 31267
/proc/meminfo: memFree=28225016/32873648 swapFree=7104/7104
[pid=31242] ppid=31240 vsize=9824668 CPUtime=0.41 cores=0,2,4,6
/proc/31242/stat : 31242 (java) S 31240 31242 30487 0 -1 4202496 6446 0 1 0 37 4 0 0 20 0 19 0 253491769 10060460032 10483 33554432000 1073741824 1073778376 140733897094768 140733897085904 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31242/statm: 2456167 10483 2223 9 0 2446860 0
[pid=31242/tid=31243] ppid=31240 vsize=9824668 CPUtime=0.15 cores=0,2,4,6
/proc/31242/task/31243/stat : 31243 (java) S 31240 31242 30487 0 -1 4202560 2461 0 1 0 13 2 0 0 20 0 19 0 253491770 10060460032 10483 33554432000 1073741824 1073778376 140733897094768 139905299686392 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31245] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31245/stat : 31245 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253491770 10060460032 10483 33554432000 1073741824 1073778376 140733897094768 139905142926120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31246] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31246/stat : 31246 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253491771 10060460032 10483 33554432000 1073741824 1073778376 140733897094768 139905141873320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31247] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31247/stat : 31247 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253491771 10060460032 10483 33554432000 1073741824 1073778376 140733897094768 139905140821032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31242/tid=31248] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31248/stat : 31248 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253491771 10060460032 10483 33554432000 1073741824 1073778376 140733897094768 139905139768232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31242/tid=31249] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31249/stat : 31249 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253491771 10060460032 10483 33554432000 1073741824 1073778376 140733897094768 139905138714920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31250] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31250/stat : 31250 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253491771 10060460032 10483 33554432000 1073741824 1073778376 140733897094768 139904801564840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31251] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31251/stat : 31251 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253491771 10060460032 10483 33554432000 1073741824 1073778376 140733897094768 139904800512552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31242/tid=31252] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31252/stat : 31252 (java) S 31240 31242 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253491771 10060460032 10483 33554432000 1073741824 1073778376 140733897094768 139904799459752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31253] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31253/stat : 31253 (java) S 31240 31242 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253491772 10060460032 10483 33554432000 1073741824 1073778376 140733897094768 139904787262184 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31254] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31254/stat : 31254 (java) S 31240 31242 30487 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253491772 10060460032 10483 33554432000 1073741824 1073778376 140733897094768 139904786208248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31255] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31255/stat : 31255 (java) S 31240 31242 30487 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253491772 10060460032 10483 33554432000 1073741824 1073778376 140733897094768 139904785155848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31256] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31256/stat : 31256 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253491774 10060460032 10483 33554432000 1073741824 1073778376 140733897094768 139904784104336 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31257] ppid=31240 vsize=9824668 CPUtime=0.07 cores=0,2,4,6
/proc/31242/task/31257/stat : 31257 (java) S 31240 31242 30487 0 -1 4202560 1474 0 0 0 7 0 0 0 20 0 19 0 253491774 10060460032 10483 33554432000 1073741824 1073778376 140733897094768 139904783050936 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31258] ppid=31240 vsize=9824668 CPUtime=0.08 cores=0,2,4,6
/proc/31242/task/31258/stat : 31258 (java) S 31240 31242 30487 0 -1 4202560 1191 0 0 0 8 0 0 0 20 0 19 0 253491774 10060460032 10483 33554432000 1073741824 1073778376 140733897094768 139904781998136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31259] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31259/stat : 31259 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253491774 10060460032 10483 33554432000 1073741824 1073778376 140733897094768 139904780946040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31242/tid=31260] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31260/stat : 31260 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253491774 10060460032 10483 33554432000 1073741824 1073778376 140733897094768 139904779893448 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 9824668

[startup+3.10062 s]
/proc/loadavg: 3.74 3.70 3.17 7/219 31276
/proc/meminfo: memFree=28200760/32873648 swapFree=7104/7104
[pid=31242] ppid=31240 vsize=9824668 CPUtime=0.94 cores=0,2,4,6
/proc/31242/stat : 31242 (java) S 31240 31242 30487 0 -1 4202496 13438 0 1 0 85 9 0 0 20 0 19 0 253491769 10060460032 18242 33554432000 1073741824 1073778376 140733897094768 140733897085904 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31242/statm: 2456167 18242 2233 9 0 2446860 0
[pid=31242/tid=31243] ppid=31240 vsize=9824668 CPUtime=0.15 cores=0,2,4,6
/proc/31242/task/31243/stat : 31243 (java) S 31240 31242 30487 0 -1 4202560 2462 0 1 0 13 2 0 0 20 0 19 0 253491770 10060460032 18242 33554432000 1073741824 1073778376 140733897094768 139905299686392 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31245] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31245/stat : 31245 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253491770 10060460032 18242 33554432000 1073741824 1073778376 140733897094768 139905142926120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31246] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31246/stat : 31246 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253491771 10060460032 18242 33554432000 1073741824 1073778376 140733897094768 139905141873320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31247] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31247/stat : 31247 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253491771 10060460032 18242 33554432000 1073741824 1073778376 140733897094768 139905140821032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31242/tid=31248] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31248/stat : 31248 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253491771 10060460032 18242 33554432000 1073741824 1073778376 140733897094768 139905139768232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31242/tid=31249] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31249/stat : 31249 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253491771 10060460032 18242 33554432000 1073741824 1073778376 140733897094768 139905138714920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31250] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31250/stat : 31250 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253491771 10060460032 18242 33554432000 1073741824 1073778376 140733897094768 139904801564840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31251] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31251/stat : 31251 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253491771 10060460032 18242 33554432000 1073741824 1073778376 140733897094768 139904800512552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31242/tid=31252] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31252/stat : 31252 (java) S 31240 31242 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253491771 10060460032 18242 33554432000 1073741824 1073778376 140733897094768 139904799459752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31253] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31253/stat : 31253 (java) S 31240 31242 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253491772 10060460032 18242 33554432000 1073741824 1073778376 140733897094768 139904787262184 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31254] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31254/stat : 31254 (java) S 31240 31242 30487 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253491772 10060460032 18242 33554432000 1073741824 1073778376 140733897094768 139904786208248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31255] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31255/stat : 31255 (java) S 31240 31242 30487 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253491772 10060460032 18242 33554432000 1073741824 1073778376 140733897094768 139904785155848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31256] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31256/stat : 31256 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253491774 10060460032 18242 33554432000 1073741824 1073778376 140733897094768 139904784104336 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31257] ppid=31240 vsize=9824668 CPUtime=0.28 cores=0,2,4,6
/proc/31242/task/31257/stat : 31257 (java) S 31240 31242 30487 0 -1 4202560 5685 0 0 0 26 2 0 0 20 0 19 0 253491774 10060460032 18242 33554432000 1073741824 1073778376 140733897094768 139904783050936 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31258] ppid=31240 vsize=9824668 CPUtime=0.27 cores=0,2,4,6
/proc/31242/task/31258/stat : 31258 (java) S 31240 31242 30487 0 -1 4202560 3940 0 0 0 27 0 0 0 20 0 19 0 253491774 10060460032 18242 33554432000 1073741824 1073778376 140733897094768 139904781998136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31242/tid=31259] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31259/stat : 31259 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253491774 10060460032 18242 33554432000 1073741824 1073778376 140733897094768 139904780946040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31242/tid=31260] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31260/stat : 31260 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253491774 10060460032 18242 33554432000 1073741824 1073778376 140733897094768 139904779893448 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31270] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31270/stat : 31270 (java) S 31240 31242 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253491886 10060460032 18242 33554432000 1073741824 1073778376 140733897094768 139904777753896 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 9824668
heavy processes:

[startup+6.30067 s]
/proc/loadavg: 3.60 3.67 3.16 3/216 31294
/proc/meminfo: memFree=28144532/32873648 swapFree=7104/7104
[pid=31242] ppid=31240 vsize=9824668 CPUtime=2.35 cores=0,2,4,6
/proc/31242/stat : 31242 (java) S 31240 31242 30487 0 -1 4202496 16527 0 1 0 213 22 0 0 20 0 22 0 253491769 10060460032 43549 33554432000 1073741824 1073778376 140733897094768 140733897085904 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31242/statm: 2456167 43579 2277 9 0 2446860 0
[pid=31242/tid=31243] ppid=31240 vsize=9824668 CPUtime=0.16 cores=0,2,4,6
/proc/31242/task/31243/stat : 31243 (java) S 31240 31242 30487 0 -1 4202560 2464 0 1 0 14 2 0 0 20 0 22 0 253491770 10060460032 43583 33554432000 1073741824 1073778376 140733897094768 139905299686392 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31245] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31245/stat : 31245 (java) S 31240 31242 30487 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253491770 10060460032 43583 33554432000 1073741824 1073778376 140733897094768 139905142926120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31246] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31246/stat : 31246 (java) S 31240 31242 30487 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253491771 10060460032 43583 33554432000 1073741824 1073778376 140733897094768 139905141873320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31242/tid=31247] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31247/stat : 31247 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253491771 10060460032 43583 33554432000 1073741824 1073778376 140733897094768 139905140821032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31242/tid=31248] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31248/stat : 31248 (java) S 31240 31242 30487 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253491771 10060460032 43583 33554432000 1073741824 1073778376 140733897094768 139905139768232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31249] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31249/stat : 31249 (java) S 31240 31242 30487 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253491771 10060460032 43583 33554432000 1073741824 1073778376 140733897094768 139905138714920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31250] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31250/stat : 31250 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253491771 10060460032 43583 33554432000 1073741824 1073778376 140733897094768 139904801564840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31242/tid=31251] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31251/stat : 31251 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253491771 10060460032 43583 33554432000 1073741824 1073778376 140733897094768 139904800512552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31242/tid=31252] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31252/stat : 31252 (java) S 31240 31242 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253491771 10060460032 43583 33554432000 1073741824 1073778376 140733897094768 139904799459752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31253] ppid=31240 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/31242/task/31253/stat : 31253 (java) S 31240 31242 30487 0 -1 4202560 30 0 0 0 1 0 0 0 20 0 22 0 253491772 10060460032 43583 33554432000 1073741824 1073778376 140733897094768 139904787262184 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31242/tid=31254] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31254/stat : 31254 (java) S 31240 31242 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253491772 10060460032 43583 33554432000 1073741824 1073778376 140733897094768 139904786208248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31255] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31255/stat : 31255 (java) S 31240 31242 30487 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253491772 10060460032 43583 33554432000 1073741824 1073778376 140733897094768 139904785155848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31256] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31256/stat : 31256 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253491774 10060460032 43583 33554432000 1073741824 1073778376 140733897094768 139904784104336 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31257] ppid=31240 vsize=9824668 CPUtime=0.64 cores=0,2,4,6
/proc/31242/task/31257/stat : 31257 (java) R 31240 31242 30487 0 -1 4202560 7115 0 0 0 62 2 0 0 20 0 22 0 253491774 10060460032 43583 33554432000 1073741824 1073778376 140733897094768 139904783040936 214537089731 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31258] ppid=31240 vsize=9824668 CPUtime=0.6 cores=0,2,4,6
/proc/31242/task/31258/stat : 31258 (java) R 31240 31242 30487 0 -1 4202560 5452 0 0 0 60 0 0 0 20 0 22 0 253491774 10060460032 43583 33554432000 1073741824 1073778376 140733897094768 139904781998136 139905306672714 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31242/tid=31259] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6

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

[pid=31242/tid=31323] ppid=31240 vsize=9824668 CPUtime=609.4 cores=0,2,4,6
/proc/31242/task/31323/stat : 31323 (java) R 31240 31242 30487 0 -1 4202560 65 0 0 0 60931 9 0 0 20 0 22 0 253504134 10060460032 288969 33554432000 1073741824 1073778376 140733897094768 139904775647344 139905154365108 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31324] ppid=31240 vsize=9824668 CPUtime=610.21 cores=0,2,4,6
/proc/31242/task/31324/stat : 31324 (java) R 31240 31242 30487 0 -1 4202560 57 0 0 0 61009 12 0 0 20 0 22 0 253504134 10060460032 288969 33554432000 1073741824 1073778376 140733897094768 139904776698032 139905154715604 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31242/tid=31325] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31325/stat : 31325 (java) S 31240 31242 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253504134 10060460032 288969 33554432000 1073741824 1073778376 140733897094768 139904778806312 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1471.84
Current children cumulated vsize (KiB) 9824668

[startup+822.301 s]
/proc/loadavg: 3.98 3.89 3.57 5/219 31407
/proc/meminfo: memFree=25175504/32873648 swapFree=7104/7104
[pid=31242] ppid=31240 vsize=9824668 CPUtime=1590.96 cores=0,2,4,6
/proc/31242/stat : 31242 (java) S 31240 31242 30487 0 -1 4202496 31483 0 1 0 158943 153 0 0 20 0 22 0 253491769 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 140733897085904 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31242/statm: 2456167 291551 2282 9 0 2446860 0
[pid=31242/tid=31243] ppid=31240 vsize=9824668 CPUtime=0.19 cores=0,2,4,6
/proc/31242/task/31243/stat : 31243 (java) S 31240 31242 30487 0 -1 4202560 2540 0 1 0 16 3 0 0 20 0 22 0 253491770 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139905299686392 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31242/tid=31245] ppid=31240 vsize=9824668 CPUtime=1.03 cores=0,2,4,6
/proc/31242/task/31245/stat : 31245 (java) S 31240 31242 30487 0 -1 4202560 283 0 0 0 100 3 0 0 20 0 22 0 253491770 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139905142926120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31246] ppid=31240 vsize=9824668 CPUtime=0.96 cores=0,2,4,6
/proc/31242/task/31246/stat : 31246 (java) S 31240 31242 30487 0 -1 4202560 276 0 0 0 94 2 0 0 20 0 22 0 253491771 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139905141873320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31242/tid=31247] ppid=31240 vsize=9824668 CPUtime=1.01 cores=0,2,4,6
/proc/31242/task/31247/stat : 31247 (java) S 31240 31242 30487 0 -1 4202560 275 0 0 0 98 3 0 0 20 0 22 0 253491771 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139905140821032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31248] ppid=31240 vsize=9824668 CPUtime=0.93 cores=0,2,4,6
/proc/31242/task/31248/stat : 31248 (java) S 31240 31242 30487 0 -1 4202560 273 0 0 0 91 2 0 0 20 0 22 0 253491771 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139905139768232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31242/tid=31249] ppid=31240 vsize=9824668 CPUtime=1 cores=0,2,4,6
/proc/31242/task/31249/stat : 31249 (java) S 31240 31242 30487 0 -1 4202560 223 0 0 0 98 2 0 0 20 0 22 0 253491771 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139905138714920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31250] ppid=31240 vsize=9824668 CPUtime=0.98 cores=0,2,4,6
/proc/31242/task/31250/stat : 31250 (java) S 31240 31242 30487 0 -1 4202560 229 0 0 0 96 2 0 0 20 0 22 0 253491771 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904801564840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31251] ppid=31240 vsize=9824668 CPUtime=1.02 cores=0,2,4,6
/proc/31242/task/31251/stat : 31251 (java) S 31240 31242 30487 0 -1 4202560 265 0 0 0 100 2 0 0 20 0 22 0 253491771 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904800512552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31242/tid=31252] ppid=31240 vsize=9824668 CPUtime=0.95 cores=0,2,4,6
/proc/31242/task/31252/stat : 31252 (java) S 31240 31242 30487 0 -1 4202560 232 0 0 0 93 2 0 0 20 0 22 0 253491771 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904799459752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31242/tid=31253] ppid=31240 vsize=9824668 CPUtime=44.11 cores=0,2,4,6
/proc/31242/task/31253/stat : 31253 (java) S 31240 31242 30487 0 -1 4202560 677 0 0 0 4330 81 0 0 20 0 22 0 253491772 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904787262184 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31254] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31254/stat : 31254 (java) S 31240 31242 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253491772 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904786208248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31255] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31255/stat : 31255 (java) S 31240 31242 30487 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253491772 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904785155848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31256] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31256/stat : 31256 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253491774 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904784104336 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31257] ppid=31240 vsize=9824668 CPUtime=1.8 cores=0,2,4,6
/proc/31242/task/31257/stat : 31257 (java) S 31240 31242 30487 0 -1 4202560 17705 0 0 0 177 3 0 0 20 0 22 0 253491774 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904783050936 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31258] ppid=31240 vsize=9824668 CPUtime=1.01 cores=0,2,4,6
/proc/31242/task/31258/stat : 31258 (java) S 31240 31242 30487 0 -1 4202560 6393 0 0 0 101 0 0 0 20 0 22 0 253491774 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904781998136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31242/tid=31259] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31259/stat : 31259 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253491774 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904780946040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31242/tid=31260] ppid=31240 vsize=9824668 CPUtime=0.16 cores=0,2,4,6
/proc/31242/task/31260/stat : 31260 (java) S 31240 31242 30487 0 -1 4202560 48 0 0 0 8 8 0 0 20 0 22 0 253491774 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904779893448 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31270] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31270/stat : 31270 (java) S 31240 31242 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253491886 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904777753896 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31323] ppid=31240 vsize=9824668 CPUtime=668.35 cores=0,2,4,6
/proc/31242/task/31323/stat : 31323 (java) R 31240 31242 30487 0 -1 4202560 69 0 0 0 66825 10 0 0 20 0 22 0 253504134 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904775647344 139905154382915 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31324] ppid=31240 vsize=9824668 CPUtime=669.16 cores=0,2,4,6
/proc/31242/task/31324/stat : 31324 (java) R 31240 31242 30487 0 -1 4202560 57 0 0 0 66903 13 0 0 20 0 22 0 253504134 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904776698032 139905154977465 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31242/tid=31325] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31325/stat : 31325 (java) S 31240 31242 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253504134 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904778806312 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1590.96
Current children cumulated vsize (KiB) 9824668

[startup+882.307 s]
/proc/loadavg: 4.02 3.92 3.60 5/219 31407
/proc/meminfo: memFree=25085964/32873648 swapFree=7104/7104
[pid=31242] ppid=31240 vsize=9824668 CPUtime=1710.28 cores=0,2,4,6
/proc/31242/stat : 31242 (java) S 31240 31242 30487 0 -1 4202496 31494 0 1 0 170871 157 0 0 20 0 22 0 253491769 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 140733897085904 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31242/statm: 2456167 291551 2282 9 0 2446860 0
[pid=31242/tid=31243] ppid=31240 vsize=9824668 CPUtime=0.19 cores=0,2,4,6
/proc/31242/task/31243/stat : 31243 (java) S 31240 31242 30487 0 -1 4202560 2543 0 1 0 16 3 0 0 20 0 22 0 253491770 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139905299686392 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31245] ppid=31240 vsize=9824668 CPUtime=1.04 cores=0,2,4,6
/proc/31242/task/31245/stat : 31245 (java) S 31240 31242 30487 0 -1 4202560 283 0 0 0 101 3 0 0 20 0 22 0 253491770 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139905142926120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31246] ppid=31240 vsize=9824668 CPUtime=0.97 cores=0,2,4,6
/proc/31242/task/31246/stat : 31246 (java) S 31240 31242 30487 0 -1 4202560 276 0 0 0 95 2 0 0 20 0 22 0 253491771 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139905141873320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31242/tid=31247] ppid=31240 vsize=9824668 CPUtime=1.02 cores=0,2,4,6
/proc/31242/task/31247/stat : 31247 (java) S 31240 31242 30487 0 -1 4202560 275 0 0 0 99 3 0 0 20 0 22 0 253491771 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139905140821032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31242/tid=31248] ppid=31240 vsize=9824668 CPUtime=0.95 cores=0,2,4,6
/proc/31242/task/31248/stat : 31248 (java) S 31240 31242 30487 0 -1 4202560 273 0 0 0 93 2 0 0 20 0 22 0 253491771 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139905139768232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31242/tid=31249] ppid=31240 vsize=9824668 CPUtime=1.02 cores=0,2,4,6
/proc/31242/task/31249/stat : 31249 (java) S 31240 31242 30487 0 -1 4202560 223 0 0 0 100 2 0 0 20 0 22 0 253491771 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139905138714920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31250] ppid=31240 vsize=9824668 CPUtime=0.99 cores=0,2,4,6
/proc/31242/task/31250/stat : 31250 (java) S 31240 31242 30487 0 -1 4202560 229 0 0 0 97 2 0 0 20 0 22 0 253491771 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904801564840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31251] ppid=31240 vsize=9824668 CPUtime=1.04 cores=0,2,4,6
/proc/31242/task/31251/stat : 31251 (java) S 31240 31242 30487 0 -1 4202560 265 0 0 0 102 2 0 0 20 0 22 0 253491771 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904800512552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31252] ppid=31240 vsize=9824668 CPUtime=0.98 cores=0,2,4,6
/proc/31242/task/31252/stat : 31252 (java) S 31240 31242 30487 0 -1 4202560 232 0 0 0 96 2 0 0 20 0 22 0 253491771 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904799459752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31253] ppid=31240 vsize=9824668 CPUtime=44.91 cores=0,2,4,6
/proc/31242/task/31253/stat : 31253 (java) S 31240 31242 30487 0 -1 4202560 681 0 0 0 4408 83 0 0 20 0 22 0 253491772 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904787262184 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31254] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31254/stat : 31254 (java) S 31240 31242 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253491772 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904786208248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31255] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31255/stat : 31255 (java) S 31240 31242 30487 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253491772 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904785155848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31256] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31256/stat : 31256 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253491774 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904784104336 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31257] ppid=31240 vsize=9824668 CPUtime=1.8 cores=0,2,4,6
/proc/31242/task/31257/stat : 31257 (java) S 31240 31242 30487 0 -1 4202560 17705 0 0 0 177 3 0 0 20 0 22 0 253491774 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904783050936 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31258] ppid=31240 vsize=9824668 CPUtime=1.01 cores=0,2,4,6
/proc/31242/task/31258/stat : 31258 (java) S 31240 31242 30487 0 -1 4202560 6393 0 0 0 101 0 0 0 20 0 22 0 253491774 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904781998136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31242/tid=31259] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31259/stat : 31259 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253491774 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904780946040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31242/tid=31260] ppid=31240 vsize=9824668 CPUtime=0.18 cores=0,2,4,6
/proc/31242/task/31260/stat : 31260 (java) S 31240 31242 30487 0 -1 4202560 52 0 0 0 9 9 0 0 20 0 22 0 253491774 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904779893448 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31270] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31270/stat : 31270 (java) S 31240 31242 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253491886 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904777753896 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31323] ppid=31240 vsize=9824668 CPUtime=727.53 cores=0,2,4,6
/proc/31242/task/31323/stat : 31323 (java) R 31240 31242 30487 0 -1 4202560 69 0 0 0 72742 11 0 0 20 0 22 0 253504134 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904775647344 139905154160560 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31324] ppid=31240 vsize=9824668 CPUtime=728.36 cores=0,2,4,6
/proc/31242/task/31324/stat : 31324 (java) R 31240 31242 30487 0 -1 4202560 57 0 0 0 72822 14 0 0 20 0 22 0 253504134 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904776698400 139905154483502 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31242/tid=31325] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31325/stat : 31325 (java) S 31240 31242 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253504134 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904778806312 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1710.28
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+927.501 s]
/proc/loadavg: 4.01 3.93 3.61 5/219 31407
/proc/meminfo: memFree=24937396/32873648 swapFree=7104/7104
[pid=31242] ppid=31240 vsize=9824668 CPUtime=1800.04 cores=0,2,4,6
/proc/31242/stat : 31242 (java) S 31240 31242 30487 0 -1 4202496 31559 0 1 0 179841 163 0 0 20 0 22 0 253491769 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 140733897085904 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31242/statm: 2456167 295177 2282 9 0 2446860 0
[pid=31242/tid=31243] ppid=31240 vsize=9824668 CPUtime=0.19 cores=0,2,4,6
/proc/31242/task/31243/stat : 31243 (java) S 31240 31242 30487 0 -1 4202560 2544 0 1 0 16 3 0 0 20 0 22 0 253491770 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139905299686392 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31245] ppid=31240 vsize=9824668 CPUtime=1.06 cores=0,2,4,6
/proc/31242/task/31245/stat : 31245 (java) S 31240 31242 30487 0 -1 4202560 284 0 0 0 103 3 0 0 20 0 22 0 253491770 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139905142926120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31246] ppid=31240 vsize=9824668 CPUtime=1.01 cores=0,2,4,6
/proc/31242/task/31246/stat : 31246 (java) S 31240 31242 30487 0 -1 4202560 277 0 0 0 99 2 0 0 20 0 22 0 253491771 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139905141873320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31242/tid=31247] ppid=31240 vsize=9824668 CPUtime=1.07 cores=0,2,4,6
/proc/31242/task/31247/stat : 31247 (java) S 31240 31242 30487 0 -1 4202560 278 0 0 0 104 3 0 0 20 0 22 0 253491771 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139905140821032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31242/tid=31248] ppid=31240 vsize=9824668 CPUtime=0.99 cores=0,2,4,6
/proc/31242/task/31248/stat : 31248 (java) S 31240 31242 30487 0 -1 4202560 275 0 0 0 97 2 0 0 20 0 22 0 253491771 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139905139768232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31242/tid=31249] ppid=31240 vsize=9824668 CPUtime=1.05 cores=0,2,4,6
/proc/31242/task/31249/stat : 31249 (java) S 31240 31242 30487 0 -1 4202560 225 0 0 0 103 2 0 0 20 0 22 0 253491771 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139905138714920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31242/tid=31250] ppid=31240 vsize=9824668 CPUtime=1.02 cores=0,2,4,6
/proc/31242/task/31250/stat : 31250 (java) S 31240 31242 30487 0 -1 4202560 272 0 0 0 100 2 0 0 20 0 22 0 253491771 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139904801564840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31251] ppid=31240 vsize=9824668 CPUtime=1.06 cores=0,2,4,6
/proc/31242/task/31251/stat : 31251 (java) S 31240 31242 30487 0 -1 4202560 265 0 0 0 104 2 0 0 20 0 22 0 253491771 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139904800512552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31252] ppid=31240 vsize=9824668 CPUtime=1.03 cores=0,2,4,6
/proc/31242/task/31252/stat : 31252 (java) S 31240 31242 30487 0 -1 4202560 234 0 0 0 100 3 0 0 20 0 22 0 253491771 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139904799459752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31242/tid=31253] ppid=31240 vsize=9824668 CPUtime=45.73 cores=0,2,4,6
/proc/31242/task/31253/stat : 31253 (java) S 31240 31242 30487 0 -1 4202560 687 0 0 0 4485 88 0 0 20 0 22 0 253491772 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139904787262184 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31254] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31254/stat : 31254 (java) S 31240 31242 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253491772 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139904786208248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31255] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31255/stat : 31255 (java) S 31240 31242 30487 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253491772 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139904785155848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31256] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31256/stat : 31256 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253491774 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139904784104336 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31257] ppid=31240 vsize=9824668 CPUtime=1.8 cores=0,2,4,6
/proc/31242/task/31257/stat : 31257 (java) S 31240 31242 30487 0 -1 4202560 17705 0 0 0 177 3 0 0 20 0 22 0 253491774 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139904783050936 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31258] ppid=31240 vsize=9824668 CPUtime=1.01 cores=0,2,4,6
/proc/31242/task/31258/stat : 31258 (java) S 31240 31242 30487 0 -1 4202560 6393 0 0 0 101 0 0 0 20 0 22 0 253491774 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139904781998136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31242/tid=31259] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31259/stat : 31259 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253491774 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139904780946040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31242/tid=31260] ppid=31240 vsize=9824668 CPUtime=0.18 cores=0,2,4,6
/proc/31242/task/31260/stat : 31260 (java) S 31240 31242 30487 0 -1 4202560 54 0 0 0 9 9 0 0 20 0 22 0 253491774 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139904779893448 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31270] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31270/stat : 31270 (java) S 31240 31242 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253491886 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139904777753896 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31323] ppid=31240 vsize=9824668 CPUtime=771.83 cores=0,2,4,6
/proc/31242/task/31323/stat : 31323 (java) R 31240 31242 30487 0 -1 4202560 70 0 0 0 77172 11 0 0 20 0 22 0 253504134 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139904775647344 139905154404865 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31324] ppid=31240 vsize=9824668 CPUtime=772.73 cores=0,2,4,6
/proc/31242/task/31324/stat : 31324 (java) R 31240 31242 30487 0 -1 4202560 58 0 0 0 77259 14 0 0 20 0 22 0 253504134 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139904776698240 139905154977424 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31242/tid=31325] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31325/stat : 31325 (java) S 31240 31242 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253504134 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139904778806312 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9824668

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

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

Child status: 143
Real time (s): 927.527
CPU time (s): 1800.45
CPU user time (s): 1798.4
CPU system time (s): 2.05169
CPU usage (%): 194.113
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.4
system time used= 2.05169
maximum resident set size= 1180820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31588
page faults= 1
swaps= 0
block input operations= 0
block output operations= 920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30533
involuntary context switches= 31292

runsolver used 4.07238 second user time and 7.01293 second system time

The end

Launcher Data 

Begin job on node127 at 2012-05-24 17:34:23
IDJOB=3687688
IDBENCH=2023
IDSOLVER=2268
FILE ID=node127/3687688-1337873663
RUNJOBID= node127-1337871880-30503
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-cc.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687688-1337873663/watcher-3687688-1337873663 -o /tmp/evaluation-result-3687688-1337873663/solver-3687688-1337873663 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3687688-1337873663.opb

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

MD5SUM BENCH= 2dad588c047f66368bead690393575a4
RANDOM SEED=1719299108

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:        28251172 kB
Buffers:          231072 kB
Cached:          2363236 kB
SwapCached:            0 kB
Active:          1649648 kB
Inactive:        2196896 kB
Active(anon):    1254568 kB
Inactive(anon):        0 kB
Active(file):     395080 kB
Inactive(file):  2196896 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               524 kB
Writeback:             0 kB
AnonPages:       1275416 kB
Mapped:            22588 kB
Shmem:               200 kB
Slab:             638148 kB
SReclaimable:      82172 kB
SUnreclaim:       555976 kB
KernelStack:        1808 kB
PageTables:         6632 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1599620 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1204224 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:49:53