Trace number 3710625

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotSAT (TO)1649 1800.01 1787.46

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-c8.opb
MD5SUMc919b2e3620f35e89404416810e81e0b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1194
Best CPU time to get the best result obtained on this benchmark0.033994
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1194
Optimality of the best value was proved YES
Number of variables239
Total number of constraints524
Number of constraints which are clauses520
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints4
Minimum length of a constraint1
Maximum length of a constraint36
Number of terms in the objective function 239
Biggest coefficient in the objective function 61
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 10012
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 61
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 10012
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.01/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.08	c See www.sat4j.org for details.
0.01/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.01/0.08	c version 2.3.2.v20120418
0.01/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.08	c java.vm.version	19.1-b02
0.01/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.08	c sun.arch.data.model	64
0.01/0.08	c java.version		1.6.0_24
0.01/0.08	c os.name		Linux
0.01/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.01/0.08	c os.arch		amd64
0.01/0.08	c Free memory 		501472288
0.01/0.08	c Max memory 		7480803328
0.01/0.08	c Total memory 		504102912
0.01/0.08	c Number of processors 	8
0.09/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.12	c configuring ORDERS
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=true
0.09/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3710625-1338143409.opb
0.09/0.12	c reading problem ... 
0.24/0.21	c ... done. Wall clock time 0.089s.
0.24/0.21	c declared #vars     239
0.24/0.21	c #constraints  520
0.24/0.21	c constraints type 
0.24/0.21	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 368
0.24/0.21	c ignored satisfied constraints => 4
0.24/0.21	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.24/0.21	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 151
0.24/0.21	c 524 constraints processed.
0.24/0.22	c SATISFIABLE
0.24/0.22	c OPTIMIZING...
0.24/0.22	c Got one! Elapsed wall clock time (in seconds):0.097
0.24/0.22	o 1728
0.85/0.52	c cleaning 2493 clauses out of 4992 with flag 5000/5001
1.28/0.71	c cleaning 4245 clauses out of 8500 with flag 11001/11002
1.69/0.92	c cleaning 5619 clauses out of 11254 with flag 18000/18001
1.94/1.15	c cleaning 6813 clauses out of 13636 with flag 26001/26002
2.25/1.41	c cleaning 7903 clauses out of 15822 with flag 35000/35001
2.46/1.69	c cleaning 8955 clauses out of 17920 with flag 45001/45002
2.87/2.00	c cleaning 9979 clauses out of 19966 with flag 56002/56003
3.17/2.36	c cleaning 10986 clauses out of 21986 with flag 68001/68002
3.93/2.76	c cleaning 11993 clauses out of 24000 with flag 81001/81002
4.37/3.17	c cleaning 12995 clauses out of 26006 with flag 95000/95001
4.89/3.63	c cleaning 14000 clauses out of 28012 with flag 110001/110002
5.39/4.12	c cleaning 15001 clauses out of 30014 with flag 126003/126004
5.89/4.61	c cleaning 15993 clauses out of 32010 with flag 143000/143001
6.39/5.17	c cleaning 17001 clauses out of 34018 with flag 161001/161002
7.10/5.83	c cleaning 18001 clauses out of 36017 with flag 180001/180002
7.71/6.44	c cleaning 19002 clauses out of 38017 with flag 200002/200003
8.31/7.08	c cleaning 20002 clauses out of 40014 with flag 221001/221002
9.01/7.79	c cleaning 20995 clauses out of 42011 with flag 243000/243001
9.92/8.65	c cleaning 22003 clauses out of 44016 with flag 266000/266001
10.73/9.44	c cleaning 23001 clauses out of 46013 with flag 290000/290001
11.53/10.29	c cleaning 23991 clauses out of 48013 with flag 315001/315002
12.43/11.16	c cleaning 25002 clauses out of 50022 with flag 341001/341002
13.35/12.08	c cleaning 26004 clauses out of 52020 with flag 368001/368002
14.47/13.11	c cleaning 26999 clauses out of 54015 with flag 396000/396001
15.37/14.01	c cleaning 28000 clauses out of 56017 with flag 425001/425002
16.39/15.05	c cleaning 28999 clauses out of 58016 with flag 455000/455001
17.51/16.18	c cleaning 30000 clauses out of 60017 with flag 486000/486001
18.83/17.47	c cleaning 30997 clauses out of 62017 with flag 518000/518001
20.16/18.76	c cleaning 32001 clauses out of 64020 with flag 551000/551001
21.46/20.07	c cleaning 32997 clauses out of 66019 with flag 585000/585001
22.66/21.22	c cleaning 34005 clauses out of 68022 with flag 620000/620001
23.87/22.45	c cleaning 35001 clauses out of 70018 with flag 656001/656002
25.19/23.78	c cleaning 35996 clauses out of 72016 with flag 693000/693001
26.70/25.22	c cleaning 37003 clauses out of 74021 with flag 731001/731002
28.40/26.99	c cleaning 38000 clauses out of 76018 with flag 770001/770002
29.22/27.75	c Got one! Elapsed wall clock time (in seconds):27.626
29.22/27.75	o 1724
29.52/28.00	c cleaning 33704 clauses out of 67421 with flag 5001/799405
29.74/28.24	c cleaning 19848 clauses out of 39716 with flag 11000/805404
29.94/28.48	c cleaning 13426 clauses out of 26869 with flag 18001/812405
30.26/28.75	c cleaning 10713 clauses out of 21442 with flag 26000/820404
30.58/29.05	c cleaning 9863 clauses out of 19731 with flag 35002/829406
30.89/29.37	c cleaning 9925 clauses out of 19867 with flag 45001/839405
31.31/29.71	c cleaning 10456 clauses out of 20941 with flag 56000/850404
31.74/30.12	c cleaning 11237 clauses out of 22489 with flag 68004/862408
32.16/30.56	c cleaning 12117 clauses out of 24250 with flag 81002/875406
32.56/30.99	c cleaning 13059 clauses out of 26131 with flag 95000/889404
33.06/31.44	c cleaning 14026 clauses out of 28072 with flag 110000/904404
33.36/31.74	c Got one! Elapsed wall clock time (in seconds):31.617
33.36/31.74	o 1721
33.57/31.91	c cleaning 14812 clauses out of 29641 with flag 5002/919999
33.68/32.09	c cleaning 10403 clauses out of 20827 with flag 11000/925997
33.89/32.29	c cleaning 8703 clauses out of 17424 with flag 18000/932997
34.20/32.51	c cleaning 8356 clauses out of 16722 with flag 26001/940998
34.42/32.79	c cleaning 8679 clauses out of 17365 with flag 35000/949997
34.84/33.11	c cleaning 9331 clauses out of 18686 with flag 45000/959997
35.14/33.43	c cleaning 10175 clauses out of 20358 with flag 56003/971000
35.56/33.80	c cleaning 11080 clauses out of 22180 with flag 68000/982997
35.98/34.22	c cleaning 12043 clauses out of 24101 with flag 81001/995998
36.39/34.65	c cleaning 13019 clauses out of 26058 with flag 95001/1009998
36.92/35.12	c cleaning 14009 clauses out of 28038 with flag 110000/1024997
37.42/35.66	c cleaning 15007 clauses out of 30029 with flag 126000/1040997
38.03/36.25	c cleaning 16005 clauses out of 32024 with flag 143002/1057999
38.73/36.90	c cleaning 16996 clauses out of 34017 with flag 161000/1075997
39.27/37.49	c cleaning 18001 clauses out of 36021 with flag 180000/1094997
39.96/38.13	c cleaning 19003 clauses out of 38020 with flag 200000/1114997
40.68/38.87	c cleaning 19997 clauses out of 40018 with flag 221001/1135998
41.50/39.67	c cleaning 20994 clauses out of 42020 with flag 243000/1157997
42.39/40.51	c cleaning 22004 clauses out of 44026 with flag 266000/1180997
43.30/41.43	c cleaning 23002 clauses out of 46022 with flag 290000/1204997
44.20/42.38	c cleaning 24001 clauses out of 48020 with flag 315000/1229997
45.30/43.47	c cleaning 24999 clauses out of 50020 with flag 341001/1255998
46.42/44.57	c cleaning 25999 clauses out of 52021 with flag 368001/1282998
47.72/45.82	c cleaning 27002 clauses out of 54023 with flag 396002/1310999
48.84/46.90	c cleaning 28007 clauses out of 56019 with flag 425000/1339997
49.74/47.86	c cleaning 29002 clauses out of 58012 with flag 455000/1369997
50.85/48.98	c cleaning 30001 clauses out of 60010 with flag 486000/1400997
51.95/50.09	c cleaning 30998 clauses out of 62011 with flag 518002/1432999
53.37/51.47	c cleaning 31997 clauses out of 64012 with flag 551001/1465998
54.89/52.96	c cleaning 33000 clauses out of 66015 with flag 585001/1499998
56.33/54.39	c cleaning 33993 clauses out of 68014 with flag 620000/1534997
57.73/55.78	c cleaning 34997 clauses out of 70023 with flag 656002/1570999
59.26/57.28	c cleaning 36000 clauses out of 72024 with flag 693000/1607997
60.67/58.67	c cleaning 37005 clauses out of 74025 with flag 731001/1645998
62.37/60.31	c cleaning 38000 clauses out of 76019 with flag 770000/1684997
64.19/62.17	c cleaning 38997 clauses out of 78020 with flag 810001/1724998
66.00/63.93	c cleaning 40001 clauses out of 80022 with flag 851000/1765997
67.83/65.76	c cleaning 40999 clauses out of 82021 with flag 893000/1807997
69.84/67.70	c cleaning 42006 clauses out of 84022 with flag 936000/1850997
72.07/69.93	c cleaning 42998 clauses out of 86016 with flag 980000/1894997
74.18/72.00	c cleaning 43996 clauses out of 88018 with flag 1025000/1939997
76.20/74.07	c cleaning 45000 clauses out of 90023 with flag 1071001/1985998
78.04/75.89	c cleaning 45999 clauses out of 92022 with flag 1118000/2032997
79.95/77.80	c cleaning 47008 clauses out of 94023 with flag 1166000/2080997
82.38/80.12	c cleaning 48001 clauses out of 96015 with flag 1215000/2129997
84.90/82.69	c cleaning 48995 clauses out of 98014 with flag 1265000/2179997
87.81/85.57	c cleaning 50001 clauses out of 100019 with flag 1316000/2230997
90.96/88.65	c cleaning 50998 clauses out of 102019 with flag 1368001/2282998
93.27/90.91	c cleaning 52000 clauses out of 104020 with flag 1421000/2335997
95.92/93.59	c cleaning 53001 clauses out of 106021 with flag 1475001/2389998
98.33/95.99	c cleaning 54000 clauses out of 108019 with flag 1530000/2444997
100.84/98.47	c cleaning 55003 clauses out of 110020 with flag 1586001/2500998
103.45/101.10	c cleaning 55994 clauses out of 112016 with flag 1643000/2557997
106.58/104.17	c cleaning 57000 clauses out of 114024 with flag 1701002/2615999
109.21/106.73	c cleaning 58002 clauses out of 116022 with flag 1760000/2674997
112.36/109.85	c cleaning 59005 clauses out of 118020 with flag 1820000/2734997
115.59/113.01	c cleaning 59998 clauses out of 120015 with flag 1881000/2795997
119.32/116.71	c cleaning 60996 clauses out of 122018 with flag 1943001/2857998
122.84/120.27	c cleaning 61997 clauses out of 124021 with flag 2006000/2920997
126.97/124.37	c cleaning 63001 clauses out of 126024 with flag 2070000/2984997
127.29/124.62	c Got one! Elapsed wall clock time (in seconds):124.498
127.29/124.62	o 1670
127.49/124.81	c cleaning 34220 clauses out of 68452 with flag 1001/2990426
127.70/125.07	c cleaning 20111 clauses out of 40231 with flag 7000/2996425
128.02/125.32	c cleaning 13553 clauses out of 27122 with flag 14002/3003427
128.23/125.57	c cleaning 10775 clauses out of 21568 with flag 22001/3011426
128.54/125.84	c cleaning 9885 clauses out of 19792 with flag 31000/3020425
128.84/126.14	c cleaning 9947 clauses out of 19907 with flag 41000/3030425
129.27/126.53	c cleaning 10470 clauses out of 20960 with flag 52000/3041425
129.57/126.89	c cleaning 11240 clauses out of 22490 with flag 64000/3053425
130.08/127.37	c cleaning 12118 clauses out of 24250 with flag 77000/3066425
130.58/127.85	c cleaning 13060 clauses out of 26132 with flag 91000/3080425
131.18/128.41	c cleaning 14029 clauses out of 28072 with flag 106000/3095425
131.81/129.02	c cleaning 15010 clauses out of 30043 with flag 122000/3111425
132.33/129.60	c cleaning 16007 clauses out of 32034 with flag 139001/3128426
133.05/130.22	c cleaning 17005 clauses out of 34026 with flag 157000/3146425
133.77/130.91	c cleaning 18000 clauses out of 36021 with flag 176000/3165425
134.47/131.64	c cleaning 19005 clauses out of 38021 with flag 196000/3185425
135.29/132.41	c cleaning 20001 clauses out of 40016 with flag 217000/3206425
136.21/133.31	c cleaning 20998 clauses out of 42015 with flag 239000/3228425
137.05/134.20	c cleaning 21999 clauses out of 44018 with flag 262001/3251426
138.18/135.28	c cleaning 23001 clauses out of 46019 with flag 286001/3275426
139.08/136.16	c cleaning 24002 clauses out of 48018 with flag 311001/3300426
140.08/137.19	c cleaning 24999 clauses out of 50015 with flag 337000/3326425
141.40/138.40	c cleaning 25999 clauses out of 52016 with flag 364000/3353425
142.51/139.51	c cleaning 26999 clauses out of 54017 with flag 392000/3381425
143.63/140.62	c cleaning 27999 clauses out of 56020 with flag 421002/3410427
144.75/141.72	c cleaning 28998 clauses out of 58019 with flag 451000/3440425
145.97/142.96	c cleaning 29998 clauses out of 60021 with flag 482000/3471425
147.31/144.24	c cleaning 31001 clauses out of 62023 with flag 514000/3503425
148.62/145.50	c cleaning 31998 clauses out of 64023 with flag 547001/3536426
150.03/146.92	c cleaning 32997 clauses out of 66024 with flag 581000/3570425
151.35/148.26	c cleaning 33996 clauses out of 68027 with flag 616000/3605425
152.85/149.74	c cleaning 35004 clauses out of 70031 with flag 652000/3641425
154.36/151.21	c cleaning 36004 clauses out of 72028 with flag 689001/3678426
156.09/153.00	c cleaning 37003 clauses out of 74023 with flag 727000/3716425
158.09/154.90	c cleaning 37999 clauses out of 76020 with flag 766000/3755425
160.11/156.91	c cleaning 38999 clauses out of 78022 with flag 806001/3795426
162.22/159.02	c cleaning 40001 clauses out of 80022 with flag 847000/3836425
164.24/161.07	c cleaning 41004 clauses out of 82022 with flag 889001/3878426
166.25/163.09	c cleaning 41998 clauses out of 84019 with flag 932002/3921427
168.37/165.16	c cleaning 42993 clauses out of 86020 with flag 976001/3965426
170.18/166.98	c cleaning 44004 clauses out of 88026 with flag 1021000/4010425
172.19/168.92	c cleaning 44998 clauses out of 90022 with flag 1067000/4056425
174.42/171.13	c cleaning 45995 clauses out of 92024 with flag 1114000/4103425
176.54/173.24	c cleaning 47006 clauses out of 94030 with flag 1162001/4151426
178.85/175.53	c cleaning 48000 clauses out of 96023 with flag 1211000/4200425
181.17/177.81	c cleaning 48996 clauses out of 98023 with flag 1261000/4250425
183.49/180.14	c cleaning 50001 clauses out of 100028 with flag 1312001/4301426
186.10/182.76	c cleaning 51002 clauses out of 102027 with flag 1364001/4353426
188.61/185.28	c cleaning 51997 clauses out of 104024 with flag 1417000/4406425
191.03/187.64	c cleaning 52996 clauses out of 106027 with flag 1471000/4460425
193.47/190.00	c cleaning 54009 clauses out of 108032 with flag 1526001/4515426
195.64/192.18	c cleaning 55002 clauses out of 110022 with flag 1582000/4571425
197.94/194.45	c cleaning 56001 clauses out of 112020 with flag 1639000/4628425
200.76/197.28	c cleaning 57000 clauses out of 114019 with flag 1697000/4686425
201.37/197.82	c Got one! Elapsed wall clock time (in seconds):197.695
201.37/197.82	o 1668
201.67/198.12	c cleaning 38688 clauses out of 77394 with flag 5002/4706800
201.88/198.38	c cleaning 22347 clauses out of 44705 with flag 11001/4712799
202.21/198.64	c cleaning 14671 clauses out of 29357 with flag 18000/4719798
202.53/198.91	c cleaning 11328 clauses out of 22687 with flag 26001/4727799
202.83/199.23	c cleaning 10171 clauses out of 20358 with flag 35000/4736798
203.14/199.57	c cleaning 10083 clauses out of 20187 with flag 45000/4746798
203.56/199.95	c cleaning 10542 clauses out of 21105 with flag 56001/4757799
203.97/200.34	c cleaning 11277 clauses out of 22564 with flag 68002/4769800
204.38/200.78	c cleaning 12137 clauses out of 24286 with flag 81001/4782799
205.00/201.31	c cleaning 13068 clauses out of 26149 with flag 95001/4796799
205.49/201.86	c cleaning 14031 clauses out of 28080 with flag 110000/4811798
206.10/202.43	c cleaning 15009 clauses out of 30051 with flag 126002/4827800
206.72/203.09	c cleaning 16012 clauses out of 32040 with flag 143000/4844798
207.54/203.82	c cleaning 17004 clauses out of 34029 with flag 161001/4862799
208.35/204.64	c cleaning 18004 clauses out of 36024 with flag 180000/4881798
209.26/205.51	c cleaning 19001 clauses out of 38021 with flag 200001/4901799
210.18/206.48	c cleaning 20000 clauses out of 40019 with flag 221000/4922798
210.99/207.21	c cleaning 21000 clauses out of 42019 with flag 243000/4944798
211.90/208.10	c cleaning 22003 clauses out of 44020 with flag 266001/4967799
212.81/209.09	c cleaning 22998 clauses out of 46020 with flag 290004/4991802
214.03/210.22	c cleaning 23998 clauses out of 48019 with flag 315001/5016799
215.15/211.37	c cleaning 25002 clauses out of 50021 with flag 341001/5042799
216.37/212.54	c cleaning 25997 clauses out of 52019 with flag 368001/5069799
217.58/213.79	c cleaning 26997 clauses out of 54022 with flag 396001/5097799
218.89/215.04	c cleaning 27994 clauses out of 56024 with flag 425000/5126798
220.11/216.21	c cleaning 29004 clauses out of 58030 with flag 455000/5156798
221.23/217.36	c cleaning 30004 clauses out of 60027 with flag 486001/5187799
222.54/218.69	c cleaning 31001 clauses out of 62022 with flag 518000/5219798
223.87/219.97	c cleaning 32003 clauses out of 64022 with flag 551001/5252799
225.28/221.37	c cleaning 33002 clauses out of 66018 with flag 585000/5286798
226.59/222.69	c cleaning 33997 clauses out of 68018 with flag 620002/5321800
228.01/224.07	c cleaning 34998 clauses out of 70020 with flag 656001/5357799
229.43/225.49	c cleaning 36006 clauses out of 72022 with flag 693001/5394799
231.24/227.26	c cleaning 36998 clauses out of 74017 with flag 731002/5432800
232.78/228.78	c cleaning 37998 clauses out of 76017 with flag 770000/5471798
234.37/230.38	c cleaning 39001 clauses out of 78019 with flag 810000/5511798
236.49/232.46	c cleaning 39998 clauses out of 80018 with flag 851000/5552798
238.71/234.67	c cleaning 40999 clauses out of 82024 with flag 893004/5594802
240.74/236.68	c cleaning 41998 clauses out of 84021 with flag 936000/5637798
243.04/238.93	c cleaning 43002 clauses out of 86024 with flag 980001/5681799
245.36/241.25	c cleaning 43996 clauses out of 88021 with flag 1025000/5726798
247.49/243.38	c cleaning 45000 clauses out of 90025 with flag 1071000/5772798
249.70/245.59	c cleaning 46001 clauses out of 92025 with flag 1118000/5819798
252.10/247.92	c cleaning 47001 clauses out of 94024 with flag 1166000/5867798
254.81/250.65	c cleaning 47999 clauses out of 96024 with flag 1215001/5916799
257.34/253.13	c cleaning 49000 clauses out of 98024 with flag 1265000/5966798
259.35/255.17	c cleaning 50005 clauses out of 100027 with flag 1316003/6017801
261.75/257.50	c cleaning 50999 clauses out of 102021 with flag 1368002/6069800
264.36/260.13	c cleaning 51997 clauses out of 104020 with flag 1421000/6122798
266.87/262.65	c cleaning 53001 clauses out of 106023 with flag 1475000/6176798
268.49/264.21	c Got one! Elapsed wall clock time (in seconds):264.087
268.49/264.21	o 1662
268.89/264.65	c cleaning 50266 clauses out of 100552 with flag 5002/6224328
269.21/264.96	c cleaning 28135 clauses out of 56284 with flag 11000/6230326
269.52/265.22	c cleaning 17566 clauses out of 35150 with flag 18001/6237327
269.84/265.51	c cleaning 12780 clauses out of 25583 with flag 26000/6245326
270.15/265.81	c cleaning 10896 clauses out of 21803 with flag 35000/6254326
270.45/266.15	c cleaning 10444 clauses out of 20907 with flag 45000/6264326
270.85/266.51	c cleaning 10723 clauses out of 21464 with flag 56001/6275327
271.26/266.91	c cleaning 11363 clauses out of 22742 with flag 68002/6287328
271.69/267.37	c cleaning 12182 clauses out of 24377 with flag 81000/6300326
272.20/267.88	c cleaning 13088 clauses out of 26197 with flag 95002/6314328
272.83/268.41	c cleaning 14045 clauses out of 28107 with flag 110000/6329326
273.45/269.02	c cleaning 15022 clauses out of 30062 with flag 126000/6345326
274.06/269.67	c cleaning 16013 clauses out of 32040 with flag 143000/6362326
274.77/270.34	c cleaning 17003 clauses out of 34027 with flag 161000/6380326
275.60/271.11	c cleaning 18002 clauses out of 36024 with flag 180000/6399326
276.40/271.95	c cleaning 18999 clauses out of 38022 with flag 200000/6419326
277.21/272.77	c cleaning 19998 clauses out of 40023 with flag 221000/6440326
278.13/273.67	c cleaning 21001 clauses out of 42025 with flag 243000/6462326
279.03/274.57	c cleaning 22003 clauses out of 44025 with flag 266001/6485327
280.04/275.54	c cleaning 23006 clauses out of 46021 with flag 290000/6509326
280.95/276.49	c cleaning 23995 clauses out of 48015 with flag 315000/6534326
282.06/277.57	c cleaning 24996 clauses out of 50020 with flag 341000/6560326
283.36/278.85	c cleaning 26001 clauses out of 52025 with flag 368001/6587327
284.58/280.00	c cleaning 27001 clauses out of 54024 with flag 396001/6615327
285.80/281.25	c cleaning 28000 clauses out of 56022 with flag 425000/6644326
287.02/282.48	c cleaning 28999 clauses out of 58022 with flag 455000/6674326
288.44/283.87	c cleaning 30001 clauses out of 60023 with flag 486000/6705326
289.75/285.11	c cleaning 31007 clauses out of 62022 with flag 518000/6737326
290.88/286.21	c cleaning 32000 clauses out of 64015 with flag 551000/6770326
292.09/287.44	c cleaning 32998 clauses out of 66016 with flag 585001/6804327
293.40/288.79	c cleaning 34001 clauses out of 68017 with flag 620000/6839326
294.82/290.16	c cleaning 34996 clauses out of 70016 with flag 656000/6875326
296.43/291.72	c cleaning 36006 clauses out of 72021 with flag 693001/6912327
297.86/293.13	c cleaning 36996 clauses out of 74014 with flag 731000/6950326
299.58/294.81	c cleaning 37997 clauses out of 76020 with flag 770002/6989328
301.10/296.33	c cleaning 39005 clauses out of 78021 with flag 810000/7029326
302.91/298.17	c cleaning 40000 clauses out of 80016 with flag 851000/7070326
305.23/300.41	c cleaning 41002 clauses out of 82016 with flag 893000/7112326
307.34/302.57	c cleaning 41998 clauses out of 84014 with flag 936000/7155326
309.17/304.31	c cleaning 43001 clauses out of 86017 with flag 980001/7199327
310.98/306.10	c cleaning 43997 clauses out of 88017 with flag 1025002/7244328
312.82/308.00	c cleaning 44992 clauses out of 90018 with flag 1071000/7290326
314.82/309.99	c cleaning 46005 clauses out of 92028 with flag 1118002/7337328
316.94/312.05	c cleaning 46995 clauses out of 94021 with flag 1166000/7385326
318.96/314.09	c cleaning 48005 clauses out of 96026 with flag 1215000/7434326
321.38/316.47	c cleaning 48998 clauses out of 98021 with flag 1265000/7484326
323.79/318.84	c cleaning 50001 clauses out of 100024 with flag 1316001/7535327
326.20/321.27	c cleaning 50998 clauses out of 102022 with flag 1368000/7587326
328.72/323.74	c cleaning 51997 clauses out of 104024 with flag 1421000/7640326
331.34/326.31	c cleaning 53004 clauses out of 106027 with flag 1475000/7694326
333.57/328.52	c cleaning 53997 clauses out of 108024 with flag 1530001/7749327
336.29/331.23	c cleaning 55007 clauses out of 110027 with flag 1586001/7805327
339.00/333.91	c cleaning 56003 clauses out of 112020 with flag 1643001/7862327
341.52/336.44	c cleaning 56996 clauses out of 114017 with flag 1701001/7920327
344.23/339.16	c cleaning 57996 clauses out of 116021 with flag 1760001/7979327
347.04/341.97	c cleaning 59003 clauses out of 118024 with flag 1820000/8039326
350.48/345.32	c cleaning 60000 clauses out of 120021 with flag 1881000/8100326
353.18/348.07	c cleaning 61000 clauses out of 122022 with flag 1943001/8162327
356.49/351.38	c cleaning 62006 clauses out of 124022 with flag 2006001/8225327
359.80/354.69	c cleaning 62999 clauses out of 126015 with flag 2070000/8289326
363.83/358.63	c cleaning 64002 clauses out of 128016 with flag 2135000/8354326
367.55/362.32	c cleaning 65000 clauses out of 130014 with flag 2201000/8420326
371.17/365.91	c cleaning 65996 clauses out of 132016 with flag 2268002/8487328
374.99/369.75	c cleaning 67001 clauses out of 134018 with flag 2336000/8555326
378.81/373.59	c cleaning 68002 clauses out of 136017 with flag 2405000/8624326
382.84/377.59	c cleaning 69001 clauses out of 138017 with flag 2475002/8694328
387.27/381.95	c cleaning 69996 clauses out of 140014 with flag 2546000/8765326
391.19/385.87	c cleaning 70998 clauses out of 142018 with flag 2618000/8837326
395.70/390.32	c cleaning 72004 clauses out of 144021 with flag 2691001/8910327
399.43/394.01	c cleaning 72995 clauses out of 146016 with flag 2765000/8984326
403.84/398.43	c cleaning 73998 clauses out of 148021 with flag 2840000/9059326
407.78/402.34	c cleaning 75001 clauses out of 150024 with flag 2916001/9135327
412.13/406.62	c cleaning 76004 clauses out of 152022 with flag 2993000/9212326
416.94/411.49	c cleaning 77001 clauses out of 154018 with flag 3071000/9290326
421.57/416.06	c cleaning 77996 clauses out of 156017 with flag 3150000/9369326
426.31/420.77	c cleaning 78997 clauses out of 158022 with flag 3230001/9449327
430.84/425.25	c cleaning 80000 clauses out of 160024 with flag 3311000/9530326
435.58/429.90	c cleaning 80998 clauses out of 162025 with flag 3393001/9612327
440.09/434.48	c cleaning 82000 clauses out of 164026 with flag 3476000/9695326
445.20/439.58	c cleaning 83000 clauses out of 166029 with flag 3560003/9779329
449.71/444.04	c cleaning 84001 clauses out of 168026 with flag 3645000/9864326
454.14/448.47	c cleaning 85004 clauses out of 170025 with flag 3731000/9950326
458.55/452.83	c cleaning 85999 clauses out of 172021 with flag 3818000/10037326
459.69/453.91	c Got one! Elapsed wall clock time (in seconds):453.79
459.69/453.91	o 1656
460.19/454.41	c cleaning 61367 clauses out of 122741 with flag 5000/10074045
460.51/454.76	c cleaning 33677 clauses out of 67374 with flag 11000/10080045
460.83/455.04	c cleaning 20339 clauses out of 40697 with flag 18000/10087045
461.16/455.33	c cleaning 14171 clauses out of 28358 with flag 26000/10095045
461.47/455.62	c cleaning 11589 clauses out of 23188 with flag 35001/10104046
461.81/455.96	c cleaning 10795 clauses out of 21598 with flag 45000/10114045
462.11/456.29	c cleaning 10893 clauses out of 21804 with flag 56001/10125046
462.52/456.67	c cleaning 11450 clauses out of 22911 with flag 68001/10137046
462.94/457.09	c cleaning 12217 clauses out of 24460 with flag 81000/10150045
463.46/457.54	c cleaning 13112 clauses out of 26243 with flag 95000/10164045
463.97/458.05	c cleaning 14056 clauses out of 28131 with flag 110000/10179045
464.48/458.56	c cleaning 15033 clauses out of 30076 with flag 126001/10195046
465.19/459.20	c cleaning 16014 clauses out of 32042 with flag 143000/10212045
465.83/459.81	c cleaning 17005 clauses out of 34028 with flag 161000/10230045
466.43/460.45	c cleaning 18000 clauses out of 36023 with flag 180000/10249045
467.14/461.19	c cleaning 19003 clauses out of 38023 with flag 200000/10269045
467.98/461.97	c cleaning 20002 clauses out of 40021 with flag 221001/10290046
468.77/462.76	c cleaning 21001 clauses out of 42018 with flag 243000/10312045
469.80/463.76	c cleaning 22002 clauses out of 44018 with flag 266001/10335046
470.82/464.72	c cleaning 22995 clauses out of 46015 with flag 290000/10359045
471.95/465.81	c cleaning 23997 clauses out of 48021 with flag 315001/10384046
472.87/466.76	c cleaning 25001 clauses out of 50023 with flag 341000/10410045
473.88/467.72	c cleaning 26000 clauses out of 52022 with flag 368000/10437045
474.90/468.77	c cleaning 26999 clauses out of 54022 with flag 396000/10465045
476.01/469.89	c cleaning 28005 clauses out of 56024 with flag 425001/10494046
477.35/471.13	c cleaning 28993 clauses out of 58018 with flag 455000/10524045
478.45/472.21	c cleaning 30006 clauses out of 60025 with flag 486000/10555045
479.86/473.64	c cleaning 31001 clauses out of 62022 with flag 518003/10587048
481.47/475.23	c cleaning 31999 clauses out of 64018 with flag 551000/10620045
483.09/476.80	c cleaning 33000 clauses out of 66019 with flag 585000/10654045
484.72/478.45	c cleaning 33998 clauses out of 68019 with flag 620000/10689045
486.24/479.98	c cleaning 35000 clauses out of 70022 with flag 656001/10725046
487.78/481.43	c cleaning 36003 clauses out of 72021 with flag 693000/10762045
489.29/482.95	c cleaning 37004 clauses out of 74019 with flag 731001/10800046
490.89/484.58	c cleaning 37998 clauses out of 76014 with flag 770000/10839045
492.71/486.38	c cleaning 39002 clauses out of 78017 with flag 810001/10879046
494.62/488.21	c cleaning 39994 clauses out of 80014 with flag 851000/10920045
496.63/490.23	c cleaning 40998 clauses out of 82021 with flag 893001/10962046
498.65/492.20	c cleaning 42000 clauses out of 84022 with flag 936000/11005045
500.80/494.33	c cleaning 42996 clauses out of 86022 with flag 980000/11049045
503.11/496.65	c cleaning 44006 clauses out of 88029 with flag 1025003/11094048
505.23/498.70	c cleaning 45007 clauses out of 90021 with flag 1071001/11140046
507.44/500.98	c cleaning 45997 clauses out of 92013 with flag 1118000/11187045
510.28/503.71	c cleaning 47000 clauses out of 94016 with flag 1166000/11235045
512.99/506.45	c cleaning 47996 clauses out of 96016 with flag 1215000/11284045
516.13/509.58	c cleaning 49002 clauses out of 98021 with flag 1265001/11334046
519.24/512.60	c cleaning 50003 clauses out of 100018 with flag 1316000/11385045
522.26/515.68	c cleaning 51001 clauses out of 102017 with flag 1368002/11437047
525.69/519.09	c cleaning 51998 clauses out of 104014 with flag 1421000/11490045
529.32/522.66	c cleaning 52997 clauses out of 106016 with flag 1475000/11544045
532.45/525.75	c cleaning 54003 clauses out of 108020 with flag 1530001/11599046
535.35/528.61	c cleaning 54999 clauses out of 110016 with flag 1586000/11655045
538.08/531.35	c cleaning 56000 clauses out of 112017 with flag 1643000/11712045
540.99/534.21	c cleaning 56999 clauses out of 114017 with flag 1701000/11770045
544.01/537.24	c cleaning 58005 clauses out of 116019 with flag 1760001/11829046
547.35/540.56	c cleaning 59002 clauses out of 118013 with flag 1820000/11889045
550.66/543.81	c cleaning 59995 clauses out of 120013 with flag 1881002/11950047
553.88/547.00	c cleaning 60999 clauses out of 122016 with flag 1943000/12012045
557.69/550.82	c cleaning 62001 clauses out of 124018 with flag 2006001/12075046
561.34/554.42	c cleaning 62997 clauses out of 126018 with flag 2070002/12139047
564.77/557.83	c cleaning 63998 clauses out of 128021 with flag 2135002/12204047
567.99/561.08	c cleaning 65001 clauses out of 130021 with flag 2201000/12270045
571.41/564.46	c cleaning 66003 clauses out of 132020 with flag 2268000/12337045
574.82/567.82	c cleaning 66995 clauses out of 134017 with flag 2336000/12405045
578.53/571.51	c cleaning 68003 clauses out of 136022 with flag 2405000/12474045
582.27/575.22	c cleaning 69001 clauses out of 138020 with flag 2475001/12544046
586.68/579.61	c cleaning 69997 clauses out of 140019 with flag 2546001/12615046
590.98/584.00	c cleaning 71002 clauses out of 142021 with flag 2618000/12687045
596.21/589.19	c cleaning 72001 clauses out of 144019 with flag 2691000/12760045
600.82/593.78	c cleaning 72995 clauses out of 146018 with flag 2765000/12834045
606.03/598.93	c cleaning 74003 clauses out of 148023 with flag 2840000/12909045
611.05/603.96	c cleaning 74999 clauses out of 150020 with flag 2916000/12985045
616.27/609.13	c cleaning 76000 clauses out of 152022 with flag 2993001/13062046
621.68/614.56	c cleaning 77000 clauses out of 154021 with flag 3071000/13140045
627.01/619.80	c cleaning 78004 clauses out of 156021 with flag 3150000/13219045
631.62/624.44	c cleaning 78998 clauses out of 158017 with flag 3230000/13299045
636.53/629.36	c cleaning 80000 clauses out of 160019 with flag 3311000/13380045
641.26/634.00	c cleaning 81002 clauses out of 162019 with flag 3393000/13462045
645.69/638.40	c cleaning 82001 clauses out of 164018 with flag 3476001/13545046
651.11/643.85	c cleaning 82999 clauses out of 166016 with flag 3560000/13629045
655.93/648.63	c cleaning 83995 clauses out of 168017 with flag 3645000/13714045
661.04/653.78	c cleaning 84996 clauses out of 170024 with flag 3731002/13800047
666.54/659.20	c cleaning 86001 clauses out of 172026 with flag 3818000/13887045
671.65/664.38	c cleaning 87004 clauses out of 174028 with flag 3906003/13975048
676.66/669.37	c cleaning 87999 clauses out of 176022 with flag 3995001/14064046
681.60/674.26	c cleaning 89002 clauses out of 178022 with flag 4085000/14154045
686.73/679.36	c cleaning 89999 clauses out of 180021 with flag 4176001/14245046
691.75/684.33	c cleaning 90993 clauses out of 182022 with flag 4268001/14337046
697.60/690.10	c cleaning 92005 clauses out of 184031 with flag 4361003/14430048
702.90/695.42	c cleaning 92998 clauses out of 186025 with flag 4455002/14524047
708.13/700.64	c cleaning 93992 clauses out of 188025 with flag 4550000/14619045
714.54/707.04	c cleaning 95001 clauses out of 190033 with flag 4646000/14715045
720.57/713.07	c cleaning 96004 clauses out of 192032 with flag 4743000/14812045
727.19/719.63	c cleaning 97001 clauses out of 194030 with flag 4841002/14910047
732.90/725.34	c cleaning 97997 clauses out of 196027 with flag 4940000/15009045
738.53/730.91	c cleaning 99002 clauses out of 198032 with flag 5040002/15109047
743.75/736.06	c cleaning 100007 clauses out of 200028 with flag 5141000/15210045
748.97/741.26	c cleaning 101003 clauses out of 202022 with flag 5243001/15312046
754.51/746.80	c cleaning 101995 clauses out of 204018 with flag 5346000/15415045
760.46/752.61	c cleaning 103001 clauses out of 206023 with flag 5450000/15519045
766.17/758.32	c cleaning 104004 clauses out of 208022 with flag 5555000/15624045
773.11/765.21	c cleaning 104996 clauses out of 210018 with flag 5661000/15730045
778.96/771.06	c cleaning 106005 clauses out of 212023 with flag 5768001/15837046
786.48/778.55	c cleaning 106998 clauses out of 214017 with flag 5876000/15945045
794.83/786.83	c cleaning 108000 clauses out of 216019 with flag 5985000/16054045
803.17/795.13	c cleaning 109004 clauses out of 218020 with flag 6095001/16164046
810.30/802.27	c cleaning 109996 clauses out of 220015 with flag 6206000/16275045
818.45/810.33	c cleaning 111002 clauses out of 222020 with flag 6318001/16387046
826.79/818.61	c cleaning 112002 clauses out of 224018 with flag 6431001/16500046
834.24/826.07	c cleaning 112996 clauses out of 226015 with flag 6545000/16614045
840.86/832.65	c cleaning 113997 clauses out of 228019 with flag 6660000/16729045
848.38/840.13	c cleaning 114996 clauses out of 230024 with flag 6776002/16845047
857.29/849.07	c cleaning 116003 clauses out of 232026 with flag 6893000/16962045
867.23/858.99	c cleaning 117002 clauses out of 234023 with flag 7011000/17080045
875.66/867.30	c cleaning 118001 clauses out of 236023 with flag 7130002/17199047
884.87/876.56	c cleaning 118998 clauses out of 238021 with flag 7250001/17319046
891.79/883.41	c cleaning 120003 clauses out of 240024 with flag 7371002/17440047
899.02/890.63	c cleaning 120997 clauses out of 242019 with flag 7493000/17562045
906.77/898.32	c cleaning 121993 clauses out of 244022 with flag 7616000/17685045
914.20/905.77	c cleaning 123004 clauses out of 246030 with flag 7740001/17809046
921.81/913.37	c cleaning 123996 clauses out of 248025 with flag 7865000/17934045
929.85/921.31	c cleaning 125003 clauses out of 250029 with flag 7991000/18060045
937.98/929.45	c cleaning 125996 clauses out of 252026 with flag 8118000/18187045
945.99/937.44	c cleaning 127003 clauses out of 254032 with flag 8246002/18315047
954.52/945.98	c cleaning 128001 clauses out of 256027 with flag 8375000/18444045
961.42/952.81	c cleaning 129004 clauses out of 258026 with flag 8505000/18574045
971.05/962.43	c cleaning 129997 clauses out of 260022 with flag 8636000/18705045
980.36/971.78	c cleaning 130998 clauses out of 262025 with flag 8768000/18837045
990.87/982.25	c cleaning 132006 clauses out of 264027 with flag 8901000/18970045
1002.12/993.44	c cleaning 132999 clauses out of 266021 with flag 9035000/19104045
1012.67/1003.98	c cleaning 134000 clauses out of 268022 with flag 9170000/19239045
1022.32/1013.53	c cleaning 134994 clauses out of 270023 with flag 9306001/19375046
1032.06/1023.29	c cleaning 136000 clauses out of 272029 with flag 9443001/19512046
1041.62/1032.75	c cleaning 136997 clauses out of 274028 with flag 9581000/19650045
1050.66/1041.71	c cleaning 138001 clauses out of 276031 with flag 9720000/19789045
1060.16/1051.26	c cleaning 139004 clauses out of 278030 with flag 9860000/19929045
1070.76/1061.81	c cleaning 140000 clauses out of 280026 with flag 10001000/20070045
1080.69/1071.79	c cleaning 141006 clauses out of 282029 with flag 10143003/20212048
1092.63/1083.67	c cleaning 142001 clauses out of 284021 with flag 10286001/20355046
1102.89/1093.89	c cleaning 142998 clauses out of 286019 with flag 10430000/20499045
1104.83/1095.74	c Got one! Elapsed wall clock time (in seconds):1095.619
1104.83/1095.74	o 1649
1105.73/1096.64	c cleaning 96340 clauses out of 192693 with flag 5000/20548717
1106.25/1097.14	c cleaning 51173 clauses out of 102353 with flag 11000/20554717
1106.58/1097.47	c cleaning 29082 clauses out of 58180 with flag 18000/20561717
1106.89/1097.78	c cleaning 18542 clauses out of 37098 with flag 26000/20569717
1107.20/1098.10	c cleaning 13769 clauses out of 27558 with flag 35002/20578719
1107.62/1098.42	c cleaning 11887 clauses out of 23787 with flag 45000/20588717
1107.93/1098.77	c cleaning 11439 clauses out of 22900 with flag 56000/20599717
1108.34/1099.15	c cleaning 11722 clauses out of 23462 with flag 68001/20611718
1108.77/1099.58	c cleaning 12358 clauses out of 24739 with flag 81000/20624717
1109.28/1100.02	c cleaning 13186 clauses out of 26382 with flag 95001/20638718
1109.81/1100.53	c cleaning 14090 clauses out of 28198 with flag 110003/20653720
1110.34/1101.07	c cleaning 15046 clauses out of 30106 with flag 126001/20669718
1110.95/1101.65	c cleaning 16019 clauses out of 32059 with flag 143000/20686717
1111.57/1102.25	c cleaning 17013 clauses out of 34040 with flag 161000/20704717
1112.18/1102.86	c cleaning 18002 clauses out of 36028 with flag 180001/20723718
1112.91/1103.54	c cleaning 19005 clauses out of 38026 with flag 200001/20743718
1113.63/1104.25	c cleaning 20004 clauses out of 40022 with flag 221002/20764719
1114.46/1105.00	c cleaning 20999 clauses out of 42016 with flag 243000/20786717
1115.17/1105.78	c cleaning 21999 clauses out of 44018 with flag 266001/20809718
1116.08/1106.63	c cleaning 23003 clauses out of 46019 with flag 290001/20833718
1117.00/1107.54	c cleaning 23997 clauses out of 48015 with flag 315000/20858717
1117.91/1108.48	c cleaning 25000 clauses out of 50019 with flag 341001/20884718
1119.03/1109.52	c cleaning 26001 clauses out of 52018 with flag 368000/20911717
1119.93/1110.49	c cleaning 27000 clauses out of 54017 with flag 396000/20939717
1120.95/1111.49	c cleaning 27994 clauses out of 56019 with flag 425002/20968719
1122.16/1112.65	c cleaning 29007 clauses out of 58024 with flag 455001/20998718
1123.38/1113.88	c cleaning 29996 clauses out of 60016 with flag 486000/21029717
1124.70/1115.16	c cleaning 31001 clauses out of 62022 with flag 518002/21061719
1126.02/1116.50	c cleaning 31993 clauses out of 64020 with flag 551001/21094718
1127.25/1117.69	c cleaning 33001 clauses out of 66027 with flag 585001/21128718
1128.66/1119.02	c cleaning 33997 clauses out of 68027 with flag 620002/21163719
1130.08/1120.47	c cleaning 35006 clauses out of 70029 with flag 656001/21199718
1131.80/1122.12	c cleaning 35999 clauses out of 72023 with flag 693001/21236718
1133.22/1123.53	c cleaning 36997 clauses out of 74023 with flag 731000/21274717
1134.76/1125.08	c cleaning 38002 clauses out of 76026 with flag 770000/21313717
1136.47/1126.76	c cleaning 39001 clauses out of 78024 with flag 810000/21353717
1138.39/1128.66	c cleaning 40006 clauses out of 80023 with flag 851000/21394717
1140.11/1130.36	c cleaning 40998 clauses out of 82017 with flag 893000/21436717
1141.91/1132.13	c cleaning 42000 clauses out of 84020 with flag 936001/21479718
1143.83/1134.01	c cleaning 42989 clauses out of 86019 with flag 980000/21523717
1145.85/1136.00	c cleaning 44003 clauses out of 88030 with flag 1025000/21568717
1147.88/1138.01	c cleaning 45003 clauses out of 90027 with flag 1071000/21614717
1149.89/1140.05	c cleaning 45995 clauses out of 92024 with flag 1118000/21661717
1152.10/1142.27	c cleaning 47007 clauses out of 94029 with flag 1166000/21709717
1154.43/1144.52	c cleaning 48001 clauses out of 96023 with flag 1215001/21758718
1156.54/1146.63	c cleaning 48988 clauses out of 98021 with flag 1265000/21808717
1159.07/1149.13	c cleaning 50005 clauses out of 100033 with flag 1316000/21859717
1161.39/1151.44	c cleaning 51003 clauses out of 102029 with flag 1368001/21911718
1164.22/1154.28	c cleaning 52002 clauses out of 104025 with flag 1421000/21964717
1166.82/1156.88	c cleaning 53005 clauses out of 106024 with flag 1475001/22018718
1169.55/1159.58	c cleaning 54000 clauses out of 108019 with flag 1530001/22073718
1172.45/1162.48	c cleaning 54995 clauses out of 110018 with flag 1586000/22129717
1175.56/1165.57	c cleaning 56005 clauses out of 112023 with flag 1643000/22186717
1178.49/1168.45	c cleaning 57000 clauses out of 114019 with flag 1701001/22244718
1181.50/1171.48	c cleaning 57999 clauses out of 116019 with flag 1760001/22303718
1184.52/1174.42	c cleaning 58994 clauses out of 118019 with flag 1820000/22363717
1187.54/1177.45	c cleaning 60001 clauses out of 120025 with flag 1881000/22424717
1190.54/1180.40	c cleaning 60996 clauses out of 122024 with flag 1943000/22486717
1193.47/1183.32	c cleaning 61998 clauses out of 124028 with flag 2006000/22549717
1196.39/1186.24	c cleaning 62998 clauses out of 126032 with flag 2070002/22613719
1199.61/1189.44	c cleaning 64005 clauses out of 128032 with flag 2135000/22678717
1202.74/1192.50	c cleaning 65005 clauses out of 130027 with flag 2201000/22744717
1205.45/1195.26	c cleaning 65999 clauses out of 132023 with flag 2268001/22811718
1208.68/1198.44	c cleaning 67008 clauses out of 134024 with flag 2336001/22879718
1211.80/1201.57	c cleaning 67999 clauses out of 136016 with flag 2405001/22948718
1215.62/1205.39	c cleaning 69002 clauses out of 138016 with flag 2475000/23018717
1219.35/1209.05	c cleaning 70000 clauses out of 140015 with flag 2546001/23089718
1222.67/1212.38	c cleaning 70996 clauses out of 142015 with flag 2618001/23161718
1226.98/1216.65	c cleaning 72000 clauses out of 144018 with flag 2691000/23234717
1231.59/1221.28	c cleaning 72998 clauses out of 146018 with flag 2765000/23308717
1235.41/1225.01	c cleaning 73998 clauses out of 148021 with flag 2840001/23383718
1239.52/1229.14	c cleaning 74999 clauses out of 150023 with flag 2916001/23459718
1244.24/1233.81	c cleaning 76002 clauses out of 152024 with flag 2993001/23536718
1249.56/1239.18	c cleaning 77003 clauses out of 154021 with flag 3071000/23614717
1254.78/1244.32	c cleaning 77993 clauses out of 156018 with flag 3150000/23693717
1259.22/1248.70	c cleaning 79002 clauses out of 158025 with flag 3230000/23773717
1264.05/1253.52	c cleaning 80001 clauses out of 160024 with flag 3311001/23854718
1269.26/1258.72	c cleaning 80999 clauses out of 162022 with flag 3393000/23936717
1274.88/1264.37	c cleaning 82002 clauses out of 164023 with flag 3476000/24019717
1281.30/1270.75	c cleaning 83004 clauses out of 166022 with flag 3560001/24103718
1287.34/1276.74	c cleaning 83990 clauses out of 168017 with flag 3645000/24188717
1291.96/1281.34	c cleaning 85005 clauses out of 170027 with flag 3731000/24274717
1296.88/1286.29	c cleaning 86002 clauses out of 172022 with flag 3818000/24361717
1301.71/1291.10	c cleaning 87000 clauses out of 174020 with flag 3906000/24449717
1307.24/1296.54	c cleaning 88004 clauses out of 176021 with flag 3995001/24538718
1312.58/1301.86	c cleaning 88992 clauses out of 178016 with flag 4085000/24628717
1318.50/1307.72	c cleaning 90001 clauses out of 180024 with flag 4176000/24719717
1324.12/1313.36	c cleaning 90999 clauses out of 182023 with flag 4268000/24811717
1329.85/1319.09	c cleaning 92004 clauses out of 184025 with flag 4361001/24904718
1334.69/1323.89	c cleaning 93001 clauses out of 186020 with flag 4455000/24998717
1340.10/1329.21	c cleaning 93991 clauses out of 188019 with flag 4550000/25093717
1345.25/1334.39	c cleaning 95005 clauses out of 190028 with flag 4646000/25189717
1351.37/1340.47	c cleaning 96003 clauses out of 192025 with flag 4743002/25286719
1357.30/1346.37	c cleaning 96997 clauses out of 194023 with flag 4841003/25384720
1363.81/1352.82	c cleaning 97999 clauses out of 196024 with flag 4940001/25483718
1370.13/1359.12	c cleaning 99001 clauses out of 198027 with flag 5040003/25583720
1376.25/1365.23	c cleaning 100001 clauses out of 200023 with flag 5141000/25684717
1382.79/1371.77	c cleaning 100994 clauses out of 202022 with flag 5243000/25786717
1388.63/1377.56	c cleaning 102003 clauses out of 204028 with flag 5346000/25889717
1394.97/1383.84	c cleaning 103004 clauses out of 206025 with flag 5450000/25993717
1400.79/1389.61	c cleaning 104005 clauses out of 208023 with flag 5555002/26098719
1407.31/1396.15	c cleaning 105001 clauses out of 210017 with flag 5661001/26204718
1414.93/1403.77	c cleaning 105996 clauses out of 212016 with flag 5768001/26311718
1422.49/1411.26	c cleaning 107002 clauses out of 214019 with flag 5876000/26419717
1431.21/1419.99	c cleaning 108002 clauses out of 216017 with flag 5985000/26528717
1442.28/1430.96	c cleaning 108996 clauses out of 218016 with flag 6095001/26638718
1452.83/1441.44	c cleaning 110006 clauses out of 220021 with flag 6206002/26749719
1464.49/1453.03	c cleaning 110995 clauses out of 222014 with flag 6318001/26861718
1474.02/1462.51	c cleaning 112001 clauses out of 224018 with flag 6431000/26974717
1484.76/1473.24	c cleaning 112992 clauses out of 226017 with flag 6545000/27088717
1499.12/1487.59	c cleaning 114000 clauses out of 228025 with flag 6660000/27203717
1511.77/1500.14	c cleaning 114997 clauses out of 230026 with flag 6776001/27319718
1522.22/1510.51	c cleaning 115999 clauses out of 232028 with flag 6893000/27436717
1534.35/1522.67	c cleaning 116997 clauses out of 234029 with flag 7011000/27554717
1544.98/1533.29	c cleaning 118001 clauses out of 236032 with flag 7130000/27673717
1552.63/1540.81	c cleaning 119011 clauses out of 238032 with flag 7250001/27793718
1561.28/1549.44	c cleaning 120004 clauses out of 240020 with flag 7371000/27914717
1569.61/1557.72	c cleaning 121001 clauses out of 242019 with flag 7493003/28036720
1577.73/1565.89	c cleaning 122002 clauses out of 244015 with flag 7616000/28159717
1586.66/1574.76	c cleaning 122998 clauses out of 246014 with flag 7740001/28283718
1595.18/1583.29	c cleaning 123987 clauses out of 248015 with flag 7865000/28408717
1603.81/1591.84	c cleaning 125004 clauses out of 250029 with flag 7991001/28534718
1613.36/1601.36	c cleaning 126003 clauses out of 252025 with flag 8118001/28661718
1622.29/1610.22	c cleaning 126995 clauses out of 254021 with flag 8246000/28789717
1630.73/1618.60	c cleaning 128001 clauses out of 256027 with flag 8375001/28918718
1639.95/1627.89	c cleaning 128998 clauses out of 258026 with flag 8505001/29048718
1649.79/1637.67	c cleaning 130003 clauses out of 260027 with flag 8636000/29179717
1660.04/1647.81	c cleaning 131000 clauses out of 262025 with flag 8768001/29311718
1670.15/1657.97	c cleaning 131999 clauses out of 264025 with flag 8901001/29444718
1680.16/1667.92	c cleaning 133003 clauses out of 266026 with flag 9035001/29578718
1691.58/1679.32	c cleaning 133997 clauses out of 268022 with flag 9170000/29713717
1702.42/1690.13	c cleaning 135000 clauses out of 270025 with flag 9306000/29849717
1713.52/1701.23	c cleaning 136002 clauses out of 272027 with flag 9443002/29986719
1723.55/1711.25	c cleaning 136998 clauses out of 274023 with flag 9581000/30124717
1733.78/1721.49	c cleaning 138002 clauses out of 276025 with flag 9720000/30263717
1743.50/1731.16	c cleaning 139002 clauses out of 278023 with flag 9860000/30403717
1754.72/1742.37	c cleaning 140002 clauses out of 280022 with flag 10001001/30544718
1768.67/1756.20	c cleaning 140999 clauses out of 282019 with flag 10143000/30686717
1779.31/1766.83	c cleaning 141998 clauses out of 284020 with flag 10286000/30829717
1789.96/1777.49	c cleaning 143001 clauses out of 286023 with flag 10430001/30973718
1800.01/1787.42	c starts		: 386
1800.01/1787.42	c conflicts		: 31118718
1800.01/1787.42	c decisions		: 49389413
1800.01/1787.42	c propagations		: 688503886
1800.01/1787.42	c inspects		: 14549130512
1800.01/1787.42	c shortcuts		: 0
1800.01/1787.42	c learnt literals	: 4
1800.01/1787.42	c learnt binary clauses	: 4
1800.01/1787.42	c learnt ternary clauses	: 13
1800.01/1787.42	c learnt constraints	: 31118714
1800.01/1787.42	c ignored constraints	: 0
1800.01/1787.42	c root simplifications	: 390
1800.01/1787.42	c removed literals (reason simplification)	: 97025065
1800.01/1787.42	c reason swapping (by a shorter reason)	: 0
1800.01/1787.42	c Calls to reduceDB	: 574
1800.01/1787.42	c number of reductions to clauses (during analyze)	: 0
1800.01/1787.42	c number of learned constraints concerned by reduction	: 0
1800.01/1787.42	c number of learning phase by resolution	: 0
1800.01/1787.42	c number of learning phase by cutting planes	: 0
1800.01/1787.42	c speed (assignments/second)	: 385240.5773260482
1800.01/1787.42	c non guided choices	337
1800.01/1787.45	c learnt constraints type 
1800.01/1787.45	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 2
1800.01/1787.45	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 288020
1800.01/1787.45	c constraints type 
1800.01/1787.45	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 368
1800.01/1787.45	c ignored satisfied constraints => 4
1800.01/1787.45	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
1800.01/1787.45	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 151
1800.01/1787.45	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.01/1787.45	c 525 constraints processed.
1800.01/1787.45	s SATISFIABLE
1800.01/1787.45	v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 x24 -x25 x26 x27 -x28 x29 -x30 x31 x32 -x33 x34 -x35 x36 x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 -x110 x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 x120 x121 x122 x123 x124 x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 
1800.01/1787.45	c objective function=1649
1800.01/1787.45	c Total wall clock time (in seconds): 1787.33

Verifier Data 

OK	1649

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-3710625-1338143409/watcher-3710625-1338143409 -o /tmp/evaluation-result-3710625-1338143409/solver-3710625-1338143409 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710625-1338143409.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: 0.92 1.01 1.23 4/176 3175
/proc/meminfo: memFree=29017544/32873648 swapFree=6844/6844
[pid=3175] ppid=3171 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/3175/stat : 3175 (java) D 3171 3175 3132 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 280466789 9515008 183 33554432000 1073741824 1073778376 140736495317424 140736495308456 259112386229 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/3175/statm: 2323 183 140 9 0 71 0

[startup+0.03854 s]
/proc/loadavg: 0.92 1.01 1.23 4/176 3175
/proc/meminfo: memFree=29017544/32873648 swapFree=6844/6844
[pid=3175] ppid=3171 vsize=9225560 CPUtime=0.01 cores=0,2,4,6
/proc/3175/stat : 3175 (java) S 3171 3175 3132 0 -1 4202496 2961 0 1 0 1 0 0 0 20 0 13 0 280466789 9446973440 3659 33554432000 1073741824 1073778376 140734035272224 140734035263360 259115745341 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3175/statm: 2306390 3659 1656 9 0 2297091 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9225560

[startup+0.10024 s]
/proc/loadavg: 0.92 1.01 1.23 4/176 3175
/proc/meminfo: memFree=29017544/32873648 swapFree=6844/6844
[pid=3175] ppid=3171 vsize=9558440 CPUtime=0.09 cores=0,2,4,6
/proc/3175/stat : 3175 (java) S 3171 3175 3132 0 -1 4202496 4239 0 1 0 8 1 0 0 20 0 18 0 280466789 9787842560 5445 33554432000 1073741824 1073778376 140734035272224 140734035263360 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3175/statm: 2389610 5446 2115 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.300254 s]
/proc/loadavg: 0.92 1.01 1.23 4/176 3175
/proc/meminfo: memFree=29017544/32873648 swapFree=6844/6844
[pid=3175] ppid=3171 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/3175/stat : 3175 (java) S 3171 3175 3132 0 -1 4202496 6629 0 1 0 46 2 0 0 20 0 19 0 280466789 9856004096 8346 33554432000 1073741824 1073778376 140734035272224 140734035263360 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3175/statm: 2406251 8346 2240 9 0 2396937 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9625004

[startup+0.700236 s]
/proc/loadavg: 0.92 1.01 1.23 4/176 3175
/proc/meminfo: memFree=29017544/32873648 swapFree=6844/6844
[pid=3175] ppid=3171 vsize=9625004 CPUtime=1.28 cores=0,2,4,6
/proc/3175/stat : 3175 (java) S 3171 3175 3132 0 -1 4202496 13204 0 1 0 124 4 0 0 20 0 19 0 280466789 9856004096 14202 33554432000 1073741824 1073778376 140734035272224 140734035263360 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3175/statm: 2406251 14202 2278 9 0 2396937 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 9625004

[startup+1.50061 s]
/proc/loadavg: 0.92 1.01 1.23 3/214 3270
/proc/meminfo: memFree=28926392/32873648 swapFree=6844/6844
[pid=3175] ppid=3171 vsize=9625004 CPUtime=2.36 cores=0,2,4,6
/proc/3175/stat : 3175 (java) S 3171 3175 3132 0 -1 4202496 15675 0 1 0 232 4 0 0 20 0 19 0 280466789 9856004096 16268 33554432000 1073741824 1073778376 140734035272224 140734035263360 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3175/statm: 2406251 16268 2278 9 0 2396937 0
[pid=3175/tid=3178] ppid=3171 vsize=9625004 CPUtime=1.39 cores=0,2,4,6
/proc/3175/task/3178/stat : 3178 (java) R 3171 3175 3132 0 -1 4202560 2492 0 1 0 139 0 0 0 20 0 19 0 280466790 9856004096 16268 33554432000 1073741824 1073778376 140734035272224 139915246109096 139915086510743 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3175/tid=3186] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3186/stat : 3186 (java) S 3171 3175 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280466791 9856004096 16268 33554432000 1073741824 1073778376 140734035272224 139915207600296 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3175/tid=3188] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3188/stat : 3188 (java) S 3171 3175 3132 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280466791 9856004096 16268 33554432000 1073741824 1073778376 140734035272224 139915206547752 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3175/tid=3190] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3190/stat : 3190 (java) S 3171 3175 3132 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 280466791 9856004096 16268 33554432000 1073741824 1073778376 140734035272224 139915205495208 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3175/tid=3191] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3191/stat : 3191 (java) S 3171 3175 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280466791 9856004096 16268 33554432000 1073741824 1073778376 140734035272224 139915085998632 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3175/tid=3192] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3192/stat : 3192 (java) S 3171 3175 3132 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280466791 9856004096 16268 33554432000 1073741824 1073778376 140734035272224 139915084946088 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3175/tid=3193] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3193/stat : 3193 (java) S 3171 3175 3132 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280466791 9856004096 16268 33554432000 1073741824 1073778376 140734035272224 139915083893544 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3175/tid=3194] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3194/stat : 3194 (java) S 3171 3175 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280466791 9856004096 16268 33554432000 1073741824 1073778376 140734035272224 139915082841000 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3175/tid=3195] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3195/stat : 3195 (java) S 3171 3175 3132 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280466791 9856004096 16268 33554432000 1073741824 1073778376 140734035272224 139915081788456 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3175/tid=3197] ppid=3171 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/3175/task/3197/stat : 3197 (java) S 3171 3175 3132 0 -1 4202560 57 0 0 0 3 0 0 0 20 0 19 0 280466792 9856004096 16268 33554432000 1073741824 1073778376 140734035272224 139914599458920 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3175/tid=3200] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3200/stat : 3200 (java) S 3171 3175 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280466792 9856004096 16268 33554432000 1073741824 1073778376 140734035272224 139914598405240 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3175/tid=3201] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3201/stat : 3201 (java) S 3171 3175 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280466792 9856004096 16268 33554432000 1073741824 1073778376 140734035272224 139914597352584 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3175/tid=3202] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3202/stat : 3202 (java) S 3171 3175 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280466795 9856004096 16268 33554432000 1073741824 1073778376 140734035272224 139914596301328 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3175/tid=3204] ppid=3171 vsize=9625004 CPUtime=0.61 cores=0,2,4,6
/proc/3175/task/3204/stat : 3204 (java) S 3171 3175 3132 0 -1 4202560 9631 0 0 0 59 2 0 0 20 0 19 0 280466795 9856004096 16268 33554432000 1073741824 1073778376 140734035272224 139914595248696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3175/tid=3205] ppid=3171 vsize=9625004 CPUtime=0.24 cores=0,2,4,6
/proc/3175/task/3205/stat : 3205 (java) S 3171 3175 3132 0 -1 4202560 2258 0 0 0 24 0 0 0 20 0 19 0 280466795 9856004096 16268 33554432000 1073741824 1073778376 140734035272224 139914594196152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3175/tid=3207] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3207/stat : 3207 (java) S 3171 3175 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280466795 9856004096 16268 33554432000 1073741824 1073778376 140734035272224 139914593143800 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3175/tid=3210] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3210/stat : 3210 (java) S 3171 3175 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280466795 9856004096 16268 33554432000 1073741824 1073778376 140734035272224 139914592091464 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3175/tid=3224] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3224/stat : 3224 (java) S 3171 3175 3132 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280466811 9856004096 16268 33554432000 1073741824 1073778376 140734035272224 139914591036200 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 9625004

[startup+3.10062 s]
/proc/loadavg: 0.92 1.01 1.23 3/214 3270
/proc/meminfo: memFree=28922732/32873648 swapFree=6844/6844
[pid=3175] ppid=3171 vsize=9625004 CPUtime=4.37 cores=0,2,4,6
/proc/3175/stat : 3175 (java) S 3171 3175 3132 0 -1 4202496 19935 0 1 0 432 5 0 0 20 0 19 0 280466789 9856004096 16829 33554432000 1073741824 1073778376 140734035272224 140734035263360 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3175/statm: 2406251 16829 2278 9 0 2396937 0
[pid=3175/tid=3178] ppid=3171 vsize=9625004 CPUtime=2.93 cores=0,2,4,6
/proc/3175/task/3178/stat : 3178 (java) R 3171 3175 3132 0 -1 4202560 2495 0 1 0 293 0 0 0 20 0 19 0 280466790 9856004096 16829 33554432000 1073741824 1073778376 140734035272224 139915246108936 139915086521312 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3175/tid=3186] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3186/stat : 3186 (java) S 3171 3175 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280466791 9856004096 16829 33554432000 1073741824 1073778376 140734035272224 139915207600296 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3175/tid=3188] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3188/stat : 3188 (java) S 3171 3175 3132 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280466791 9856004096 16829 33554432000 1073741824 1073778376 140734035272224 139915206547752 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3175/tid=3190] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3190/stat : 3190 (java) S 3171 3175 3132 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280466791 9856004096 16829 33554432000 1073741824 1073778376 140734035272224 139915205495208 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3175/tid=3191] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3191/stat : 3191 (java) S 3171 3175 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280466791 9856004096 16829 33554432000 1073741824 1073778376 140734035272224 139915085998632 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3175/tid=3192] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3192/stat : 3192 (java) S 3171 3175 3132 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280466791 9856004096 16829 33554432000 1073741824 1073778376 140734035272224 139915084946088 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3175/tid=3193] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3193/stat : 3193 (java) S 3171 3175 3132 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280466791 9856004096 16829 33554432000 1073741824 1073778376 140734035272224 139915083893544 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3175/tid=3194] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3194/stat : 3194 (java) S 3171 3175 3132 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280466791 9856004096 16829 33554432000 1073741824 1073778376 140734035272224 139915082841000 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3175/tid=3195] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3195/stat : 3195 (java) S 3171 3175 3132 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280466791 9856004096 16829 33554432000 1073741824 1073778376 140734035272224 139915081788456 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3175/tid=3197] ppid=3171 vsize=9625004 CPUtime=0.08 cores=0,2,4,6
/proc/3175/task/3197/stat : 3197 (java) S 3171 3175 3132 0 -1 4202560 57 0 0 0 8 0 0 0 20 0 19 0 280466792 9856004096 16829 33554432000 1073741824 1073778376 140734035272224 139914599458920 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3175/tid=3200] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3200/stat : 3200 (java) S 3171 3175 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280466792 9856004096 16829 33554432000 1073741824 1073778376 140734035272224 139914598405240 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3175/tid=3201] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3201/stat : 3201 (java) S 3171 3175 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280466792 9856004096 16829 33554432000 1073741824 1073778376 140734035272224 139914597352584 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3175/tid=3202] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3202/stat : 3202 (java) S 3171 3175 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280466795 9856004096 16829 33554432000 1073741824 1073778376 140734035272224 139914596301328 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3175/tid=3204] ppid=3171 vsize=9625004 CPUtime=0.61 cores=0,2,4,6
/proc/3175/task/3204/stat : 3204 (java) S 3171 3175 3132 0 -1 4202560 9631 0 0 0 59 2 0 0 20 0 19 0 280466795 9856004096 16829 33554432000 1073741824 1073778376 140734035272224 139914595248696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3175/tid=3205] ppid=3171 vsize=9625004 CPUtime=0.64 cores=0,2,4,6
/proc/3175/task/3205/stat : 3205 (java) S 3171 3175 3132 0 -1 4202560 6509 0 0 0 62 2 0 0 20 0 19 0 280466795 9856004096 16829 33554432000 1073741824 1073778376 140734035272224 139914594196152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3175/tid=3207] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3207/stat : 3207 (java) S 3171 3175 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280466795 9856004096 16829 33554432000 1073741824 1073778376 140734035272224 139914593143800 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3175/tid=3210] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3210/stat : 3210 (java) S 3171 3175 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280466795 9856004096 16829 33554432000 1073741824 1073778376 140734035272224 139914592091464 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3175/tid=3224] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3224/stat : 3224 (java) S 3171 3175 3132 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280466811 9856004096 16829 33554432000 1073741824 1073778376 140734035272224 139914591036200 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 9625004

[startup+6.30064 s]
/proc/loadavg: 1.01 1.02 1.23 3/214 3270
/proc/meminfo: memFree=28916812/32873648 swapFree=6844/6844
[pid=3175] ppid=3171 vsize=9625004 CPUtime=7.61 cores=0,2,4,6
/proc/3175/stat : 3175 (java) S 3171 3175 3132 0 -1 4202496 19967 0 1 0 755 6 0 0 20 0 19 0 280466789 9856004096 16959 33554432000 1073741824 1073778376 140734035272224 140734035263360 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3175/statm: 2406251 16959 2278 9 0 2396937 0
[pid=3175/tid=3178] ppid=3171 vsize=9625004 CPUtime=6.03 cores=0,2,4,6
/proc/3175/task/3178/stat : 3178 (java) R 3171 3175 3132 0 -1 4202560 2502 0 1 0 602 1 0 0 20 0 19 0 280466790 9856004096 16959 33554432000 1073741824 1073778376 140734035272224 139915246109160 139915086482816 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3175/tid=3186] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3186/stat : 3186 (java) S 3171 3175 3132 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 280466791 9856004096 16959 33554432000 1073741824 1073778376 140734035272224 139915207600296 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3175/tid=3188] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3188/stat : 3188 (java) S 3171 3175 3132 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280466791 9856004096 16959 33554432000 1073741824 1073778376 140734035272224 139915206547752 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3175/tid=3190] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3190/stat : 3190 (java) S 3171 3175 3132 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280466791 9856004096 16959 33554432000 1073741824 1073778376 140734035272224 139915205495208 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3175/tid=3191] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3191/stat : 3191 (java) S 3171 3175 3132 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 280466791 9856004096 16959 33554432000 1073741824 1073778376 140734035272224 139915085998632 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3175/tid=3192] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3192/stat : 3192 (java) S 3171 3175 3132 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 280466791 9856004096 16959 33554432000 1073741824 1073778376 140734035272224 139915084946088 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3175/tid=3193] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3193/stat : 3193 (java) S 3171 3175 3132 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280466791 9856004096 16959 33554432000 1073741824 1073778376 140734035272224 139915083893544 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3175/tid=3194] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3194/stat : 3194 (java) S 3171 3175 3132 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280466791 9856004096 16959 33554432000 1073741824 1073778376 140734035272224 139915082841000 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3175/tid=3195] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3195/stat : 3195 (java) S 3171 3175 3132 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 280466791 9856004096 16959 33554432000 1073741824 1073778376 140734035272224 139915081788456 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3175/tid=3197] ppid=3171 vsize=9625004 CPUtime=0.15 cores=0,2,4,6
/proc/3175/task/3197/stat : 3197 (java) S 3171 3175 3132 0 -1 4202560 58 0 0 0 15 0 0 0 20 0 19 0 280466792 9856004096 16959 33554432000 1073741824 1073778376 140734035272224 139914599458920 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3175/tid=3200] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3200/stat : 3200 (java) S 3171 3175 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280466792 9856004096 16959 33554432000 1073741824 1073778376 140734035272224 139914598405240 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3175/tid=3201] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3201/stat : 3201 (java) S 3171 3175 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280466792 9856004096 16959 33554432000 1073741824 1073778376 140734035272224 139914597352584 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3175/tid=3202] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3202/stat : 3202 (java) S 3171 3175 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280466795 9856004096 16959 33554432000 1073741824 1073778376 140734035272224 139914596301328 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3175/tid=3204] ppid=3171 vsize=9625004 CPUtime=0.61 cores=0,2,4,6
/proc/3175/task/3204/stat : 3204 (java) S 3171 3175 3132 0 -1 4202560 9631 0 0 0 59 2 0 0 20 0 19 0 280466795 9856004096 16959 33554432000 1073741824 1073778376 140734035272224 139914595248696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3175/tid=3205] ppid=3171 vsize=9625004 CPUtime=0.65 cores=0,2,4,6
/proc/3175/task/3205/stat : 3205 (java) S 3171 3175 3132 0 -1 4202560 6509 0 0 0 63 2 0 0 20 0 19 0 280466795 9856004096 16959 33554432000 1073741824 1073778376 140734035272224 139914594196152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3175/tid=3207] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3207/stat : 3207 (java) S 3171 3175 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280466795 9856004096 16959 33554432000 1073741824 1073778376 140734035272224 139914593143800 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3175/tid=3210] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3210/stat : 3210 (java) S 3171 3175 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280466795 9856004096 16959 33554432000 1073741824 1073778376 140734035272224 139914592091464 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3175/tid=3224] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3224/stat : 3224 (java) S 3171 3175 3132 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280466811 9856004096 16959 33554432000 1073741824 1073778376 140734035272224 139914591036200 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.61
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

[pid=3175/tid=3204] ppid=3171 vsize=9625004 CPUtime=0.61 cores=0,2,4,6
/proc/3175/task/3204/stat : 3204 (java) S 3171 3175 3132 0 -1 4202560 9631 0 0 0 59 2 0 0 20 0 19 0 280466795 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 139914595248696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3175/tid=3205] ppid=3171 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/3175/task/3205/stat : 3205 (java) S 3171 3175 3132 0 -1 4202560 6796 0 0 0 66 2 0 0 20 0 19 0 280466795 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 139914594196152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3175/tid=3207] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3207/stat : 3207 (java) S 3171 3175 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280466795 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 139914593143800 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3175/tid=3210] ppid=3171 vsize=9625004 CPUtime=0.36 cores=0,2,4,6
/proc/3175/task/3210/stat : 3210 (java) S 3171 3175 3132 0 -1 4202560 96 0 0 0 19 17 0 0 20 0 19 0 280466795 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 139914592091464 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3175/tid=3224] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3224/stat : 3224 (java) S 3171 3175 3132 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280466811 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 139914591036200 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1674.56
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 1.88 3/213 3282
/proc/meminfo: memFree=28642640/32873648 swapFree=6844/6844
[pid=3175] ppid=3171 vsize=9625004 CPUtime=1734.7 cores=0,2,4,6
/proc/3175/stat : 3175 (java) S 3171 3175 3132 0 -1 4202496 22538 0 1 0 173425 45 0 0 20 0 19 0 280466789 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 140734035263360 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3175/statm: 2406251 47405 2279 9 0 2396937 0
[pid=3175/tid=3178] ppid=3171 vsize=9625004 CPUtime=1695.68 cores=0,2,4,6
/proc/3175/task/3178/stat : 3178 (java) R 3171 3175 3132 0 -1 4202560 3070 0 1 0 169541 27 0 0 20 0 19 0 280466790 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 139915246108976 139915086490664 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=3175/tid=3186] ppid=3171 vsize=9625004 CPUtime=2.04 cores=0,2,4,6
/proc/3175/task/3186/stat : 3186 (java) S 3171 3175 3132 0 -1 4202560 269 0 0 0 202 2 0 0 20 0 19 0 280466791 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 139915207600296 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3175/tid=3188] ppid=3171 vsize=9625004 CPUtime=1.97 cores=0,2,4,6
/proc/3175/task/3188/stat : 3188 (java) S 3171 3175 3132 0 -1 4202560 236 0 0 0 195 2 0 0 20 0 19 0 280466791 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 139915206547752 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3175/tid=3190] ppid=3171 vsize=9625004 CPUtime=1.91 cores=0,2,4,6
/proc/3175/task/3190/stat : 3190 (java) S 3171 3175 3132 0 -1 4202560 60 0 0 0 189 2 0 0 20 0 19 0 280466791 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 139915205495208 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3175/tid=3191] ppid=3171 vsize=9625004 CPUtime=1.99 cores=0,2,4,6
/proc/3175/task/3191/stat : 3191 (java) S 3171 3175 3132 0 -1 4202560 191 0 0 0 195 4 0 0 20 0 19 0 280466791 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 139915085998632 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3175/tid=3192] ppid=3171 vsize=9625004 CPUtime=1.87 cores=0,2,4,6
/proc/3175/task/3192/stat : 3192 (java) S 3171 3175 3132 0 -1 4202560 271 0 0 0 184 3 0 0 20 0 19 0 280466791 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 139915084946088 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3175/tid=3193] ppid=3171 vsize=9625004 CPUtime=1.85 cores=0,2,4,6
/proc/3175/task/3193/stat : 3193 (java) S 3171 3175 3132 0 -1 4202560 192 0 0 0 182 3 0 0 20 0 19 0 280466791 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 139915083893544 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3175/tid=3194] ppid=3171 vsize=9625004 CPUtime=2.04 cores=0,2,4,6
/proc/3175/task/3194/stat : 3194 (java) S 3171 3175 3132 0 -1 4202560 171 0 0 0 203 1 0 0 20 0 19 0 280466791 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 139915082841000 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3175/tid=3195] ppid=3171 vsize=9625004 CPUtime=1.95 cores=0,2,4,6
/proc/3175/task/3195/stat : 3195 (java) S 3171 3175 3132 0 -1 4202560 178 0 0 0 193 2 0 0 20 0 19 0 280466791 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 139915081788456 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3175/tid=3197] ppid=3171 vsize=9625004 CPUtime=17.5 cores=0,2,4,6
/proc/3175/task/3197/stat : 3197 (java) S 3171 3175 3132 0 -1 4202560 186 0 0 0 1746 4 0 0 20 0 19 0 280466792 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 139914599458920 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3175/tid=3200] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3200/stat : 3200 (java) S 3171 3175 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280466792 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 139914598405240 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3175/tid=3201] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3201/stat : 3201 (java) S 3171 3175 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280466792 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 139914597352584 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3175/tid=3202] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3202/stat : 3202 (java) S 3171 3175 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280466795 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 139914596301328 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3175/tid=3204] ppid=3171 vsize=9625004 CPUtime=0.61 cores=0,2,4,6
/proc/3175/task/3204/stat : 3204 (java) S 3171 3175 3132 0 -1 4202560 9631 0 0 0 59 2 0 0 20 0 19 0 280466795 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 139914595248696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3175/tid=3205] ppid=3171 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/3175/task/3205/stat : 3205 (java) S 3171 3175 3132 0 -1 4202560 6796 0 0 0 66 2 0 0 20 0 19 0 280466795 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 139914594196152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3175/tid=3207] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3207/stat : 3207 (java) S 3171 3175 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280466795 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 139914593143800 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3175/tid=3210] ppid=3171 vsize=9625004 CPUtime=0.38 cores=0,2,4,6
/proc/3175/task/3210/stat : 3210 (java) S 3171 3175 3132 0 -1 4202560 100 0 0 0 20 18 0 0 20 0 19 0 280466795 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 139914592091464 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3175/tid=3224] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3224/stat : 3224 (java) S 3171 3175 3132 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280466811 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 139914591036200 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1734.7
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 1.89 3/213 3282
/proc/meminfo: memFree=28642400/32873648 swapFree=6844/6844
[pid=3175] ppid=3171 vsize=9625004 CPUtime=1794.89 cores=0,2,4,6
/proc/3175/stat : 3175 (java) S 3171 3175 3132 0 -1 4202496 22550 0 1 0 179443 46 0 0 20 0 19 0 280466789 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 140734035263360 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3175/statm: 2406251 47405 2279 9 0 2396937 0
[pid=3175/tid=3178] ppid=3171 vsize=9625004 CPUtime=1755.14 cores=0,2,4,6
/proc/3175/task/3178/stat : 3178 (java) R 3171 3175 3132 0 -1 4202560 3075 0 1 0 175486 28 0 0 20 0 19 0 280466790 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 139915246109336 139915086551547 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=3175/tid=3186] ppid=3171 vsize=9625004 CPUtime=2.07 cores=0,2,4,6
/proc/3175/task/3186/stat : 3186 (java) S 3171 3175 3132 0 -1 4202560 269 0 0 0 205 2 0 0 20 0 19 0 280466791 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 139915207600296 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3175/tid=3188] ppid=3171 vsize=9625004 CPUtime=2 cores=0,2,4,6
/proc/3175/task/3188/stat : 3188 (java) S 3171 3175 3132 0 -1 4202560 236 0 0 0 198 2 0 0 20 0 19 0 280466791 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 139915206547752 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3175/tid=3190] ppid=3171 vsize=9625004 CPUtime=1.95 cores=0,2,4,6
/proc/3175/task/3190/stat : 3190 (java) S 3171 3175 3132 0 -1 4202560 60 0 0 0 192 3 0 0 20 0 19 0 280466791 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 139915205495208 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3175/tid=3191] ppid=3171 vsize=9625004 CPUtime=2.02 cores=0,2,4,6
/proc/3175/task/3191/stat : 3191 (java) S 3171 3175 3132 0 -1 4202560 191 0 0 0 198 4 0 0 20 0 19 0 280466791 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 139915085998632 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3175/tid=3192] ppid=3171 vsize=9625004 CPUtime=1.9 cores=0,2,4,6
/proc/3175/task/3192/stat : 3192 (java) S 3171 3175 3132 0 -1 4202560 271 0 0 0 187 3 0 0 20 0 19 0 280466791 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 139915084946088 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3175/tid=3193] ppid=3171 vsize=9625004 CPUtime=1.88 cores=0,2,4,6
/proc/3175/task/3193/stat : 3193 (java) S 3171 3175 3132 0 -1 4202560 192 0 0 0 185 3 0 0 20 0 19 0 280466791 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 139915083893544 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3175/tid=3194] ppid=3171 vsize=9625004 CPUtime=2.07 cores=0,2,4,6
/proc/3175/task/3194/stat : 3194 (java) S 3171 3175 3132 0 -1 4202560 171 0 0 0 206 1 0 0 20 0 19 0 280466791 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 139915082841000 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3175/tid=3195] ppid=3171 vsize=9625004 CPUtime=1.97 cores=0,2,4,6
/proc/3175/task/3195/stat : 3195 (java) S 3171 3175 3132 0 -1 4202560 178 0 0 0 195 2 0 0 20 0 19 0 280466791 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 139915081788456 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3175/tid=3197] ppid=3171 vsize=9625004 CPUtime=17.81 cores=0,2,4,6
/proc/3175/task/3197/stat : 3197 (java) S 3171 3175 3132 0 -1 4202560 188 0 0 0 1777 4 0 0 20 0 19 0 280466792 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 139914599458920 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3175/tid=3200] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3200/stat : 3200 (java) S 3171 3175 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280466792 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 139914598405240 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3175/tid=3201] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3201/stat : 3201 (java) S 3171 3175 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280466792 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 139914597352584 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3175/tid=3202] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3202/stat : 3202 (java) S 3171 3175 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280466795 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 139914596301328 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3175/tid=3204] ppid=3171 vsize=9625004 CPUtime=0.61 cores=0,2,4,6
/proc/3175/task/3204/stat : 3204 (java) S 3171 3175 3132 0 -1 4202560 9631 0 0 0 59 2 0 0 20 0 19 0 280466795 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 139914595248696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3175/tid=3205] ppid=3171 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/3175/task/3205/stat : 3205 (java) S 3171 3175 3132 0 -1 4202560 6797 0 0 0 66 2 0 0 20 0 19 0 280466795 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 139914594196152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3175/tid=3207] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3207/stat : 3207 (java) S 3171 3175 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280466795 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 139914593143800 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3175/tid=3210] ppid=3171 vsize=9625004 CPUtime=0.39 cores=0,2,4,6
/proc/3175/task/3210/stat : 3210 (java) S 3171 3175 3132 0 -1 4202560 104 0 0 0 20 19 0 0 20 0 19 0 280466795 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 139914592091464 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3175/tid=3224] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3224/stat : 3224 (java) S 3171 3175 3132 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280466811 9856004096 47405 33554432000 1073741824 1073778376 140734035272224 139914591036200 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.89
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1787.4 s]
/proc/loadavg: 2.01 2.02 1.89 4/213 3282
/proc/meminfo: memFree=28640724/32873648 swapFree=6844/6844
[pid=3175] ppid=3171 vsize=9625004 CPUtime=1800.01 cores=0,2,4,6
/proc/3175/stat : 3175 (java) S 3171 3175 3132 0 -1 4202496 22551 0 1 0 179954 47 0 0 20 0 19 0 280466789 9856004096 47917 33554432000 1073741824 1073778376 140734035272224 140734035263360 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3175/statm: 2406251 47917 2279 9 0 2396937 0
[pid=3175/tid=3178] ppid=3171 vsize=9625004 CPUtime=1760.24 cores=0,2,4,6
/proc/3175/task/3178/stat : 3178 (java) R 3171 3175 3132 0 -1 4202560 3076 0 1 0 175996 28 0 0 20 0 19 0 280466790 9856004096 47917 33554432000 1073741824 1073778376 140734035272224 139915246109336 139915086716592 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=3175/tid=3186] ppid=3171 vsize=9625004 CPUtime=2.07 cores=0,2,4,6
/proc/3175/task/3186/stat : 3186 (java) S 3171 3175 3132 0 -1 4202560 269 0 0 0 205 2 0 0 20 0 19 0 280466791 9856004096 47917 33554432000 1073741824 1073778376 140734035272224 139915207600296 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3175/tid=3188] ppid=3171 vsize=9625004 CPUtime=2 cores=0,2,4,6
/proc/3175/task/3188/stat : 3188 (java) S 3171 3175 3132 0 -1 4202560 236 0 0 0 198 2 0 0 20 0 19 0 280466791 9856004096 47917 33554432000 1073741824 1073778376 140734035272224 139915206547752 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3175/tid=3190] ppid=3171 vsize=9625004 CPUtime=1.95 cores=0,2,4,6
/proc/3175/task/3190/stat : 3190 (java) S 3171 3175 3132 0 -1 4202560 60 0 0 0 192 3 0 0 20 0 19 0 280466791 9856004096 47917 33554432000 1073741824 1073778376 140734035272224 139915205495208 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3175/tid=3191] ppid=3171 vsize=9625004 CPUtime=2.02 cores=0,2,4,6
/proc/3175/task/3191/stat : 3191 (java) S 3171 3175 3132 0 -1 4202560 191 0 0 0 198 4 0 0 20 0 19 0 280466791 9856004096 47917 33554432000 1073741824 1073778376 140734035272224 139915085998632 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3175/tid=3192] ppid=3171 vsize=9625004 CPUtime=1.9 cores=0,2,4,6
/proc/3175/task/3192/stat : 3192 (java) S 3171 3175 3132 0 -1 4202560 271 0 0 0 187 3 0 0 20 0 19 0 280466791 9856004096 47917 33554432000 1073741824 1073778376 140734035272224 139915084946088 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3175/tid=3193] ppid=3171 vsize=9625004 CPUtime=1.88 cores=0,2,4,6
/proc/3175/task/3193/stat : 3193 (java) S 3171 3175 3132 0 -1 4202560 192 0 0 0 185 3 0 0 20 0 19 0 280466791 9856004096 47917 33554432000 1073741824 1073778376 140734035272224 139915083893544 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3175/tid=3194] ppid=3171 vsize=9625004 CPUtime=2.07 cores=0,2,4,6
/proc/3175/task/3194/stat : 3194 (java) S 3171 3175 3132 0 -1 4202560 171 0 0 0 206 1 0 0 20 0 19 0 280466791 9856004096 47917 33554432000 1073741824 1073778376 140734035272224 139915082841000 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3175/tid=3195] ppid=3171 vsize=9625004 CPUtime=1.97 cores=0,2,4,6
/proc/3175/task/3195/stat : 3195 (java) S 3171 3175 3132 0 -1 4202560 178 0 0 0 195 2 0 0 20 0 19 0 280466791 9856004096 47917 33554432000 1073741824 1073778376 140734035272224 139915081788456 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3175/tid=3197] ppid=3171 vsize=9625004 CPUtime=17.81 cores=0,2,4,6
/proc/3175/task/3197/stat : 3197 (java) S 3171 3175 3132 0 -1 4202560 188 0 0 0 1777 4 0 0 20 0 19 0 280466792 9856004096 47917 33554432000 1073741824 1073778376 140734035272224 139914599458920 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3175/tid=3200] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3200/stat : 3200 (java) S 3171 3175 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280466792 9856004096 47917 33554432000 1073741824 1073778376 140734035272224 139914598405240 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3175/tid=3201] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3201/stat : 3201 (java) S 3171 3175 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280466792 9856004096 47917 33554432000 1073741824 1073778376 140734035272224 139914597352584 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3175/tid=3202] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3202/stat : 3202 (java) S 3171 3175 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280466795 9856004096 47917 33554432000 1073741824 1073778376 140734035272224 139914596301328 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3175/tid=3204] ppid=3171 vsize=9625004 CPUtime=0.61 cores=0,2,4,6
/proc/3175/task/3204/stat : 3204 (java) S 3171 3175 3132 0 -1 4202560 9631 0 0 0 59 2 0 0 20 0 19 0 280466795 9856004096 47917 33554432000 1073741824 1073778376 140734035272224 139914595248696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3175/tid=3205] ppid=3171 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/3175/task/3205/stat : 3205 (java) S 3171 3175 3132 0 -1 4202560 6797 0 0 0 66 2 0 0 20 0 19 0 280466795 9856004096 47917 33554432000 1073741824 1073778376 140734035272224 139914594196152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3175/tid=3207] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3207/stat : 3207 (java) S 3171 3175 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280466795 9856004096 47917 33554432000 1073741824 1073778376 140734035272224 139914593143800 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3175/tid=3210] ppid=3171 vsize=9625004 CPUtime=0.4 cores=0,2,4,6
/proc/3175/task/3210/stat : 3210 (java) S 3171 3175 3132 0 -1 4202560 104 0 0 0 20 20 0 0 20 0 19 0 280466795 9856004096 47917 33554432000 1073741824 1073778376 140734035272224 139914592091464 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3175/tid=3224] ppid=3171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/3175/task/3224/stat : 3224 (java) S 3171 3175 3132 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280466811 9856004096 47917 33554432000 1073741824 1073778376 140734035272224 139914591036200 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625004

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3175 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=59109
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=901862
# CPU time returned by wait4() is 1795.96
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1787.46
CPU time (s): 1800.01
CPU user time (s): 1799.54
CPU system time (s): 0.47
CPU usage (%): 100.702
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.06
system time used= 0.901862
maximum resident set size= 195916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22595
page faults= 1
swaps= 0
block input operations= 120
block output operations= 1760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54202
involuntary context switches= 42067

runsolver used 6.34204 second user time and 13.9919 second system time

The end

Launcher Data 

Begin job on node124 at 2012-05-27 20:30:09
IDJOB=3710625
IDBENCH=2021
IDSOLVER=2289
FILE ID=node124/3710625-1338143409
RUNJOBID= node124-1338143409-3148
PBS_JOBID= 14624516
Free space on /tmp= 71432 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-c8.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710625-1338143409/watcher-3710625-1338143409 -o /tmp/evaluation-result-3710625-1338143409/solver-3710625-1338143409 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710625-1338143409.opb

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

MD5SUM BENCH= c919b2e3620f35e89404416810e81e0b
RANDOM SEED=921602502

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        29018436 kB
Buffers:          347180 kB
Cached:          2686388 kB
SwapCached:            0 kB
Active:           916376 kB
Inactive:        2130520 kB
Active(anon):      15296 kB
Inactive(anon):        0 kB
Active(file):     901080 kB
Inactive(file):  2130520 kB
Unevictable:        6844 kB
Mlocked:            6844 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1608 kB
Writeback:             0 kB
AnonPages:         19300 kB
Mapped:            13624 kB
Shmem:               200 kB
Slab:             668848 kB
SReclaimable:     113128 kB
SUnreclaim:       555720 kB
KernelStack:        1384 kB
PageTables:         3924 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     103936 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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= 71432 MiB
End job on node124 at 2012-05-27 20:59:59