Trace number 4432424

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 Resolution Default 2024-07-07SAT (TO)128 3600.28 3585.83

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
heinz/normalized-go19.opb
MD5SUM51fa3ae0158cc49e421df545accb4e20
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark84
Best CPU time to get the best result obtained on this benchmark3558
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables441
Total number of constraints441
Number of constraints which are clauses361
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint5
Number of terms in the objective function 361
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 361
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 361
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4432424-1721126753.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  objective function found
0.13/0.16	c ... done. Wall clock time 0.031s.
0.13/0.16	c declared #vars     441
0.13/0.16	c #constraints  521
0.13/0.16	c constraints type 
0.13/0.16	c org.sat4j.specs.Constr$1 => 80
0.13/0.16	c org.sat4j.pb.constraints.pb.UnitClausePB => 80
0.13/0.16	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 361
0.13/0.16	c 521 constraints processed.
0.13/0.17	c objective function length is 361 literals
0.13/0.17	c SATISFIABLE
0.13/0.17	c OPTIMIZING...
0.13/0.17	c Got one! Elapsed wall clock time (in seconds):0.05
0.13/0.17	o 141
0.13/0.18	c Got one! Elapsed wall clock time (in seconds):0.061
0.13/0.18	o 140
0.13/0.19	c Got one! Elapsed wall clock time (in seconds):0.067
0.13/0.19	o 139
0.33/0.29	c Got one! Elapsed wall clock time (in seconds):0.156
0.33/0.29	o 138
0.90/0.57	c cleaning 2753 clauses out of 5520 with flag 10604/5520
1.09/0.61	c Got one! Elapsed wall clock time (in seconds):0.483
1.09/0.61	o 137
1.28/0.75	c Got one! Elapsed wall clock time (in seconds):0.63
1.28/0.75	o 136
1.28/0.76	c Got one! Elapsed wall clock time (in seconds):0.641
1.28/0.77	o 135
1.28/0.81	c cleaning 4097 clauses out of 8203 with flag 2152/10956
1.69/0.97	c cleaning 5046 clauses out of 10106 with flag 15578/16956
1.99/1.14	c cleaning 6024 clauses out of 12060 with flag 30384/23956
2.28/1.30	c cleaning 7011 clauses out of 14035 with flag 47161/31955
2.48/1.50	c cleaning 8006 clauses out of 16025 with flag 66397/40956
2.76/1.72	c cleaning 9003 clauses out of 18019 with flag 87478/50956
2.95/1.94	c cleaning 10000 clauses out of 20016 with flag 110615/61956
3.26/2.22	c cleaning 11000 clauses out of 22016 with flag 135711/73956
3.57/2.50	c Got one! Elapsed wall clock time (in seconds):2.377
3.57/2.50	o 134
3.68/2.68	c cleaning 14443 clauses out of 28897 with flag 10950/91837
3.88/2.84	c cleaning 10217 clauses out of 20454 with flag 23628/97837
4.08/3.00	c cleaning 8607 clauses out of 17237 with flag 38581/104837
4.23/3.17	c cleaning 8303 clauses out of 16629 with flag 55270/112836
4.58/3.36	c cleaning 8651 clauses out of 17326 with flag 74122/121836
4.81/3.58	c cleaning 9333 clauses out of 18676 with flag 95061/131837
5.11/3.82	c cleaning 10159 clauses out of 20342 with flag 118075/142836
5.41/4.13	c cleaning 11084 clauses out of 22183 with flag 143140/154836
5.71/4.45	c cleaning 12038 clauses out of 24100 with flag 170340/167837
6.11/4.80	c cleaning 13022 clauses out of 26062 with flag 199611/181837
6.53/5.23	c cleaning 14010 clauses out of 28040 with flag 230983/196837
6.63/5.37	c Got one! Elapsed wall clock time (in seconds):5.244
6.63/5.37	o 133
6.84/5.52	c cleaning 12858 clauses out of 25727 with flag 10718/208534
6.94/5.66	c cleaning 9421 clauses out of 18868 with flag 23557/214533
7.13/5.80	c cleaning 8216 clauses out of 16446 with flag 38235/221532
7.23/5.95	c cleaning 8106 clauses out of 16232 with flag 54998/229534
7.44/6.14	c cleaning 8552 clauses out of 17124 with flag 74020/238532
7.63/6.35	c cleaning 9277 clauses out of 18573 with flag 95024/248533
7.95/6.60	c cleaning 10138 clauses out of 20296 with flag 118082/259533
8.15/6.89	c cleaning 11072 clauses out of 22157 with flag 144238/271532
8.55/7.20	c cleaning 12039 clauses out of 24087 with flag 171530/284534
8.85/7.59	c cleaning 13015 clauses out of 26047 with flag 200960/298533
9.36/8.01	c cleaning 14004 clauses out of 28032 with flag 233476/313533
9.75/8.43	c cleaning 15007 clauses out of 30028 with flag 266878/329533
10.25/8.91	c cleaning 15999 clauses out of 32020 with flag 302380/346532
10.75/9.44	c cleaning 17003 clauses out of 34021 with flag 340192/364532
11.25/9.96	c cleaning 18002 clauses out of 36018 with flag 380240/383532
11.87/10.50	c cleaning 19000 clauses out of 38017 with flag 422117/403533
12.37/11.07	c cleaning 20000 clauses out of 40017 with flag 465978/424533
12.97/11.66	c cleaning 20998 clauses out of 42016 with flag 512151/446532
13.70/12.36	c cleaning 22000 clauses out of 44018 with flag 560034/469532
14.50/13.17	c cleaning 23002 clauses out of 46018 with flag 610295/493532
14.90/13.58	c Got one! Elapsed wall clock time (in seconds):13.455
14.90/13.58	o 132
15.20/13.83	c cleaning 21652 clauses out of 43317 with flag 10955/513833
15.43/14.03	c cleaning 13822 clauses out of 27665 with flag 23460/519833
15.53/14.17	c cleaning 10412 clauses out of 20843 with flag 38147/526833
15.72/14.34	c cleaning 9206 clauses out of 18432 with flag 55056/534834
15.92/14.53	c cleaning 9103 clauses out of 18225 with flag 73853/543833
16.12/14.74	c cleaning 9553 clauses out of 19123 with flag 94787/553834
16.32/14.98	c cleaning 10276 clauses out of 20569 with flag 117752/564833
16.62/15.23	c cleaning 11137 clauses out of 22294 with flag 142809/576834
16.93/15.57	c cleaning 12069 clauses out of 24158 with flag 169965/589835
17.33/15.92	c cleaning 13032 clauses out of 26087 with flag 199138/603833
17.73/16.31	c cleaning 14018 clauses out of 28056 with flag 231381/618834
18.13/16.75	c cleaning 15011 clauses out of 30037 with flag 264979/634833
18.64/17.23	c cleaning 16001 clauses out of 32026 with flag 300769/651833
19.14/17.71	c cleaning 17002 clauses out of 34026 with flag 338420/669834
19.64/18.22	c cleaning 18002 clauses out of 36023 with flag 378063/688833
20.14/18.79	c cleaning 19002 clauses out of 38023 with flag 419792/708835
20.84/19.45	c cleaning 20000 clauses out of 40021 with flag 463639/729835
21.45/20.04	c cleaning 21002 clauses out of 42019 with flag 509898/751833
22.15/20.71	c cleaning 21999 clauses out of 44017 with flag 558291/774833
22.85/21.42	c cleaning 23001 clauses out of 46018 with flag 608638/798833
23.56/22.12	c cleaning 24000 clauses out of 48018 with flag 661005/823834
24.25/22.82	c cleaning 24999 clauses out of 50017 with flag 715714/849833
25.05/23.67	c cleaning 26001 clauses out of 52019 with flag 772207/876834
25.85/24.49	c cleaning 26999 clauses out of 54017 with flag 830971/904833
26.85/25.48	c cleaning 27999 clauses out of 56019 with flag 891503/933834
27.85/26.46	c cleaning 28999 clauses out of 58019 with flag 954393/963833
28.85/27.48	c cleaning 30001 clauses out of 60020 with flag 1019277/994833
29.90/28.45	c cleaning 30998 clauses out of 62020 with flag 1085972/1026834
30.90/29.46	c cleaning 31999 clauses out of 64022 with flag 1154380/1059834
32.00/30.54	c cleaning 32997 clauses out of 66022 with flag 1225468/1093833
33.33/31.84	c cleaning 34003 clauses out of 68025 with flag 1298913/1128833
34.64/33.17	c cleaning 34997 clauses out of 70024 with flag 1374462/1164835
35.93/34.40	c cleaning 36000 clauses out of 72025 with flag 1452268/1201833
37.39/35.86	c cleaning 37001 clauses out of 74026 with flag 1531939/1239834
38.79/37.28	c cleaning 38003 clauses out of 76026 with flag 1613550/1278835
40.28/38.72	c cleaning 38998 clauses out of 78021 with flag 1697427/1318833
41.79/40.21	c cleaning 40002 clauses out of 80023 with flag 1783594/1359833
43.50/41.91	c cleaning 41000 clauses out of 82022 with flag 1871706/1401834
45.20/43.62	c cleaning 41999 clauses out of 84021 with flag 1961894/1444833
46.80/45.26	c cleaning 42999 clauses out of 86022 with flag 2054368/1488833
48.98/47.30	c cleaning 44003 clauses out of 88024 with flag 2150012/1533834
50.78/49.12	c cleaning 45002 clauses out of 90020 with flag 2246102/1579833
52.67/51.07	c cleaning 45998 clauses out of 92018 with flag 2344102/1626833
54.56/52.95	c cleaning 47001 clauses out of 94020 with flag 2444220/1674833
56.71/55.01	c cleaning 48002 clauses out of 96020 with flag 2546316/1723834
58.71/57.01	c cleaning 48997 clauses out of 98017 with flag 2650656/1773833
60.81/59.11	c cleaning 49997 clauses out of 100020 with flag 2757288/1824833
62.90/61.25	c cleaning 51001 clauses out of 102024 with flag 2865220/1876834
65.29/63.64	c cleaning 52003 clauses out of 104022 with flag 2975985/1929833
67.79/66.18	c cleaning 52997 clauses out of 106019 with flag 3089562/1983833
69.89/68.26	c cleaning 54005 clauses out of 108023 with flag 3204746/2038834
72.18/70.52	c cleaning 54996 clauses out of 110017 with flag 3321706/2094833
74.68/73.10	c cleaning 56001 clauses out of 112022 with flag 3441322/2151834
77.47/75.81	c cleaning 56997 clauses out of 114021 with flag 3562936/2209834
80.49/78.80	c cleaning 58002 clauses out of 116024 with flag 3686308/2268834
82.97/81.20	c cleaning 59005 clauses out of 118021 with flag 3812282/2328833
85.85/84.19	c cleaning 60001 clauses out of 120017 with flag 3939930/2389834
88.82/87.15	c cleaning 60996 clauses out of 122015 with flag 4069552/2451833
91.79/90.10	c cleaning 61998 clauses out of 124019 with flag 4201440/2514833
95.20/93.19	c cleaning 63002 clauses out of 126021 with flag 4335617/2578833
98.29/96.29	c cleaning 63995 clauses out of 128019 with flag 4471620/2643833
101.28/99.29	c cleaning 65002 clauses out of 130024 with flag 4609724/2709833
104.09/102.08	c cleaning 66005 clauses out of 132023 with flag 4749732/2776834
107.83/105.75	c cleaning 66997 clauses out of 134017 with flag 4892801/2844833
111.23/109.15	c cleaning 68003 clauses out of 136022 with flag 5038664/2913835
114.82/112.78	c cleaning 68998 clauses out of 138017 with flag 5185992/2983833
118.41/116.36	c cleaning 70000 clauses out of 140019 with flag 5334986/3054833
122.11/120.00	c cleaning 70997 clauses out of 142020 with flag 5486030/3126834
125.50/123.45	c cleaning 72002 clauses out of 144023 with flag 5638948/3199834
128.67/126.57	c cleaning 72999 clauses out of 146021 with flag 5793812/3273834
132.66/130.58	c cleaning 73998 clauses out of 148022 with flag 5951496/3348834
136.26/134.17	c cleaning 75002 clauses out of 150024 with flag 6110545/3424834
140.15/138.10	c cleaning 76002 clauses out of 152022 with flag 6271851/3501834
144.53/142.36	c cleaning 77002 clauses out of 154020 with flag 6435573/3579834
148.34/146.19	c cleaning 77998 clauses out of 156018 with flag 6601090/3658834
152.62/150.47	c cleaning 79000 clauses out of 158019 with flag 6768430/3738833
157.01/154.86	c cleaning 79999 clauses out of 160019 with flag 6938897/3819833
161.46/159.26	c cleaning 81000 clauses out of 162021 with flag 7110417/3901834
166.36/164.12	c cleaning 82002 clauses out of 164020 with flag 7284890/3984833
171.14/168.98	c cleaning 83000 clauses out of 166018 with flag 7461124/4068833
175.92/173.79	c cleaning 83999 clauses out of 168019 with flag 7639033/4153834
181.11/178.96	c cleaning 85000 clauses out of 170019 with flag 7819257/4239833
185.60/183.36	c cleaning 86002 clauses out of 172020 with flag 8001494/4326834
191.10/188.82	c cleaning 86998 clauses out of 174017 with flag 8185947/4414833
195.49/193.27	c cleaning 87998 clauses out of 176020 with flag 8372204/4503834
200.39/198.16	c cleaning 89000 clauses out of 178022 with flag 8560858/4593834
205.48/203.27	c cleaning 89998 clauses out of 180021 with flag 8751646/4684833
210.97/208.61	c cleaning 91003 clauses out of 182024 with flag 8944551/4776834
216.26/213.98	c cleaning 92000 clauses out of 184022 with flag 9139764/4869835
221.85/219.52	c cleaning 93000 clauses out of 186021 with flag 9337531/4963834
227.64/225.35	c cleaning 93997 clauses out of 188020 with flag 9536492/5058833
233.74/231.02	c cleaning 94995 clauses out of 190023 with flag 9738059/5154833
239.63/236.97	c cleaning 96002 clauses out of 192028 with flag 9941587/5251833
245.82/243.17	c cleaning 97003 clauses out of 194027 with flag 10147090/5349834
252.41/249.75	c cleaning 98004 clauses out of 196025 with flag 10354991/5448835
259.92/257.15	c cleaning 98997 clauses out of 198019 with flag 10565712/5548833
266.40/263.61	c cleaning 99998 clauses out of 200022 with flag 10778293/5649833
272.49/269.73	c cleaning 100999 clauses out of 202024 with flag 10991107/5751833
278.49/275.78	c cleaning 102005 clauses out of 204025 with flag 11207175/5854833
285.49/282.63	c cleaning 102998 clauses out of 206020 with flag 11425357/5958833
291.93/289.11	c cleaning 103998 clauses out of 208023 with flag 11645041/6063834
298.68/295.95	c cleaning 104999 clauses out of 210025 with flag 11867378/6169834
305.43/302.76	c cleaning 105998 clauses out of 212025 with flag 12091718/6276833
312.59/309.85	c cleaning 107003 clauses out of 214028 with flag 12317532/6384834
320.37/317.69	c cleaning 107998 clauses out of 216024 with flag 12545701/6493833
327.57/324.80	c cleaning 109002 clauses out of 218027 with flag 12776071/6603834
333.77/331.06	c cleaning 109998 clauses out of 220025 with flag 13009149/6714834
341.13/338.31	c cleaning 111005 clauses out of 222027 with flag 13243609/6826834
348.52/345.70	c cleaning 112000 clauses out of 224023 with flag 13480485/6939835
355.91/353.19	c cleaning 113003 clauses out of 226022 with flag 13719584/7053834
363.69/361.00	c cleaning 113998 clauses out of 228018 with flag 13960848/7168833
372.74/369.92	c cleaning 115003 clauses out of 230021 with flag 14203813/7284834
380.83/378.02	c cleaning 116000 clauses out of 232017 with flag 14448965/7401833
388.71/385.94	c cleaning 116999 clauses out of 234018 with flag 14696114/7519834
396.59/393.80	c cleaning 117999 clauses out of 236019 with flag 14945603/7638834
406.29/403.01	c cleaning 119002 clauses out of 238020 with flag 15198125/7758834
415.47/412.23	c cleaning 119999 clauses out of 240017 with flag 15452201/7879833
424.85/421.64	c cleaning 121000 clauses out of 242019 with flag 15708751/8001834
433.91/430.68	c cleaning 121998 clauses out of 244018 with flag 15967582/8124833
443.63/440.41	c cleaning 122998 clauses out of 246020 with flag 16228587/8248833
452.45/449.33	c cleaning 123999 clauses out of 248023 with flag 16490510/8373834
460.68/457.68	c cleaning 124993 clauses out of 250024 with flag 16753920/8499834
470.76/467.78	c cleaning 126002 clauses out of 252030 with flag 17020058/8626833
480.04/477.03	c cleaning 127005 clauses out of 254028 with flag 17288029/8754833
489.62/486.62	c cleaning 127999 clauses out of 256023 with flag 17558379/8883833
491.22/488.27	c Got one! Elapsed wall clock time (in seconds):488.149
491.22/488.27	o 131
492.94/490.00	c cleaning 90421 clauses out of 180861 with flag 11249/8936670
493.74/490.75	c cleaning 48213 clauses out of 96442 with flag 23921/8942672
494.04/491.08	c cleaning 27605 clauses out of 55228 with flag 38571/8949671
494.24/491.29	c cleaning 17803 clauses out of 35623 with flag 55324/8957671
494.44/491.47	c cleaning 13396 clauses out of 26820 with flag 74225/8966671
494.64/491.67	c cleaning 11698 clauses out of 23423 with flag 95218/8976670
494.84/491.88	c cleaning 11353 clauses out of 22726 with flag 118584/8987671
495.14/492.11	c cleaning 11676 clauses out of 23373 with flag 143753/8999671
495.34/492.35	c cleaning 12339 clauses out of 24696 with flag 170972/9012670
495.64/492.65	c cleaning 13168 clauses out of 26359 with flag 200417/9026672
495.93/492.96	c cleaning 14083 clauses out of 28189 with flag 231744/9041670
496.23/493.29	c cleaning 15045 clauses out of 30106 with flag 265095/9057670
496.64/493.64	c cleaning 16017 clauses out of 32061 with flag 300769/9074670
497.05/494.03	c cleaning 17013 clauses out of 34047 with flag 338455/9092673
497.54/494.50	c cleaning 18003 clauses out of 36032 with flag 378351/9111671
498.05/495.05	c cleaning 19008 clauses out of 38030 with flag 420273/9131672
498.67/495.64	c cleaning 19998 clauses out of 40020 with flag 464278/9152670
499.27/496.20	c cleaning 20999 clauses out of 42023 with flag 510183/9174671
499.87/496.82	c cleaning 21997 clauses out of 44024 with flag 558173/9197671
500.57/497.52	c cleaning 23003 clauses out of 46027 with flag 608300/9221671
501.27/498.23	c cleaning 23999 clauses out of 48023 with flag 660453/9246670
502.07/499.01	c cleaning 25004 clauses out of 50026 with flag 714707/9272672
502.76/499.78	c cleaning 25998 clauses out of 52021 with flag 771228/9299671
503.46/500.48	c cleaning 26998 clauses out of 54022 with flag 829700/9327670
504.36/501.33	c cleaning 27998 clauses out of 56025 with flag 890452/9356671
505.26/502.20	c cleaning 29001 clauses out of 58026 with flag 953445/9386670
506.16/503.11	c cleaning 30002 clauses out of 60025 with flag 1018331/9417670
507.16/504.12	c cleaning 31004 clauses out of 62024 with flag 1085549/9449671
508.25/505.23	c cleaning 31999 clauses out of 64019 with flag 1155086/9482670
509.55/506.55	c cleaning 33000 clauses out of 66020 with flag 1226548/9516670
510.85/507.83	c cleaning 33998 clauses out of 68021 with flag 1300652/9551671
512.15/509.13	c cleaning 34999 clauses out of 70022 with flag 1376917/9587670
513.45/510.41	c cleaning 36000 clauses out of 72023 with flag 1454786/9624670
514.74/511.74	c cleaning 36999 clauses out of 74024 with flag 1534668/9662671
516.24/513.20	c cleaning 37999 clauses out of 76025 with flag 1616609/9701671
517.64/514.65	c cleaning 38999 clauses out of 78025 with flag 1700542/9741670
519.34/516.36	c cleaning 40004 clauses out of 80027 with flag 1786614/9782671
521.14/518.12	c cleaning 40997 clauses out of 82022 with flag 1874847/9824670
522.93/519.96	c cleaning 41999 clauses out of 84026 with flag 1965133/9867671
524.73/521.76	c cleaning 42998 clauses out of 86027 with flag 2057263/9911671
526.67/523.67	c cleaning 44003 clauses out of 88029 with flag 2151740/9956671
528.57/525.59	c cleaning 44999 clauses out of 90026 with flag 2248541/10002671
530.87/527.82	c cleaning 46005 clauses out of 92027 with flag 2347870/10049671
533.07/530.02	c cleaning 47003 clauses out of 94021 with flag 2448786/10097670
535.46/532.42	c cleaning 47996 clauses out of 96018 with flag 2551642/10146670
537.75/534.70	c cleaning 48996 clauses out of 98022 with flag 2656747/10196670
540.05/537.10	c cleaning 50000 clauses out of 100026 with flag 2764236/10247670
542.64/539.63	c cleaning 51003 clauses out of 102027 with flag 2873923/10299671
544.94/541.98	c cleaning 52001 clauses out of 104023 with flag 2985667/10352670
547.44/544.41	c cleaning 53000 clauses out of 106022 with flag 3098878/10406670
550.13/547.13	c cleaning 54001 clauses out of 108023 with flag 3214556/10461671
552.23/549.22	c cleaning 55001 clauses out of 110021 with flag 3332286/10517670
554.52/551.59	c cleaning 55999 clauses out of 112021 with flag 3452316/10574671
557.22/554.20	c cleaning 56998 clauses out of 114021 with flag 3574259/10632670
559.81/556.83	c cleaning 57999 clauses out of 116023 with flag 3697959/10691670
562.31/559.34	c cleaning 58994 clauses out of 118025 with flag 3823631/10751671
565.05/562.10	c cleaning 60002 clauses out of 120030 with flag 3951753/10812670
568.14/565.12	c cleaning 60998 clauses out of 122028 with flag 4082054/10874670
570.93/567.93	c cleaning 62005 clauses out of 124031 with flag 4214008/10937671
574.03/571.02	c cleaning 63003 clauses out of 126026 with flag 4348547/11001671
577.13/574.19	c cleaning 63998 clauses out of 128023 with flag 4485172/11066671
580.52/577.53	c cleaning 65000 clauses out of 130025 with flag 4623668/11132671
583.51/580.51	c cleaning 66003 clauses out of 132024 with flag 4764226/11199670
586.40/583.48	c cleaning 67001 clauses out of 134021 with flag 4907030/11267670
589.30/586.36	c cleaning 68000 clauses out of 136020 with flag 5051792/11336670
593.00/590.06	c cleaning 69004 clauses out of 138021 with flag 5198687/11406671
596.18/593.26	c cleaning 69995 clauses out of 140016 with flag 5347490/11477670
599.78/596.81	c cleaning 70999 clauses out of 142021 with flag 5497925/11549670
603.37/600.43	c cleaning 72001 clauses out of 144023 with flag 5651120/11622671
606.71/603.76	c cleaning 72998 clauses out of 146021 with flag 5806312/11696670
610.30/607.35	c cleaning 74000 clauses out of 148024 with flag 5963382/11771671
614.19/611.27	c cleaning 75001 clauses out of 150025 with flag 6122685/11847672
618.19/615.28	c cleaning 75998 clauses out of 152023 with flag 6283790/11924671
622.19/619.20	c cleaning 77003 clauses out of 154025 with flag 6446578/12002671
625.99/623.10	c cleaning 77999 clauses out of 156022 with flag 6611596/12081671
630.57/627.67	c cleaning 79002 clauses out of 158022 with flag 6779397/12161670
634.56/631.66	c cleaning 79996 clauses out of 160021 with flag 6948899/12242671
639.16/636.24	c cleaning 81001 clauses out of 162025 with flag 7120602/12324671
643.75/640.87	c cleaning 82001 clauses out of 164025 with flag 7295232/12407672
648.54/645.65	c cleaning 83004 clauses out of 166023 with flag 7471398/12491671
654.28/651.11	c cleaning 83999 clauses out of 168019 with flag 7649318/12576671
659.07/656.00	c cleaning 84999 clauses out of 170019 with flag 7829362/12662670
663.96/660.84	c cleaning 85994 clauses out of 172020 with flag 8011387/12749670
668.76/665.60	c cleaning 87005 clauses out of 174026 with flag 8196164/12837670
673.26/670.12	c cleaning 87997 clauses out of 176021 with flag 8382668/12926670
678.54/675.46	c cleaning 88998 clauses out of 178025 with flag 8571299/13016671
683.73/680.68	c cleaning 89999 clauses out of 180026 with flag 8762615/13107670
689.02/685.99	c cleaning 91004 clauses out of 182027 with flag 8955785/13199670
694.61/691.50	c cleaning 92000 clauses out of 184023 with flag 9150568/13292670
699.89/696.78	c cleaning 93000 clauses out of 186024 with flag 9347346/13386671
705.59/702.45	c cleaning 93999 clauses out of 188024 with flag 9546800/13481671
711.78/708.69	c cleaning 95000 clauses out of 190024 with flag 9747947/13577670
718.07/714.98	c cleaning 96001 clauses out of 192024 with flag 9951553/13674670
724.26/721.17	c cleaning 97002 clauses out of 194023 with flag 10157160/13772670
730.55/727.41	c cleaning 97998 clauses out of 196022 with flag 10365521/13871671
736.73/733.67	c cleaning 99000 clauses out of 198024 with flag 10574858/13971671
743.43/740.36	c cleaning 100004 clauses out of 200024 with flag 10787428/14072671
743.93/740.89	c Got one! Elapsed wall clock time (in seconds):740.768
743.93/740.89	o 130
744.83/741.77	c cleaning 61201 clauses out of 122419 with flag 11075/14095070
745.23/742.10	c cleaning 33596 clauses out of 67218 with flag 23714/14101070
745.43/742.32	c cleaning 20302 clauses out of 40623 with flag 38412/14108071
745.63/742.51	c cleaning 14148 clauses out of 28319 with flag 55178/14116069
745.73/742.68	c cleaning 11574 clauses out of 23171 with flag 74126/14125069
745.93/742.88	c cleaning 10788 clauses out of 21598 with flag 95083/14135070
746.28/743.15	c cleaning 10894 clauses out of 21810 with flag 118574/14146070
746.48/743.38	c cleaning 11446 clauses out of 22915 with flag 143649/14158069
746.78/743.62	c cleaning 12220 clauses out of 24469 with flag 170753/14171069
747.08/743.90	c cleaning 13114 clauses out of 26250 with flag 200055/14185070
747.38/744.21	c cleaning 14057 clauses out of 28135 with flag 231243/14200069
747.68/744.53	c cleaning 15032 clauses out of 30080 with flag 264667/14216071
748.07/744.90	c cleaning 16015 clauses out of 32048 with flag 300391/14233071
748.37/745.29	c cleaning 17004 clauses out of 34032 with flag 338097/14251070
748.87/745.74	c cleaning 18005 clauses out of 36028 with flag 377964/14270070
749.37/746.21	c cleaning 19000 clauses out of 38023 with flag 419626/14290070
749.77/746.69	c cleaning 19999 clauses out of 40023 with flag 462999/14311070
750.37/747.24	c cleaning 20999 clauses out of 42024 with flag 508981/14333070
750.97/747.82	c cleaning 21999 clauses out of 44025 with flag 556698/14356070
751.57/748.48	c cleaning 23002 clauses out of 46026 with flag 606861/14380070
752.27/749.12	c cleaning 24002 clauses out of 48024 with flag 659153/14405070
752.87/749.76	c cleaning 25000 clauses out of 50022 with flag 713540/14431070
753.56/750.46	c cleaning 25997 clauses out of 52022 with flag 769781/14458070
754.36/751.21	c cleaning 27002 clauses out of 54026 with flag 828232/14486071
755.17/752.01	c cleaning 28000 clauses out of 56022 with flag 888902/14515069
756.06/752.93	c cleaning 28998 clauses out of 58022 with flag 951564/14545069
757.06/753.94	c cleaning 30000 clauses out of 60026 with flag 1016618/14576071
758.06/754.91	c cleaning 31001 clauses out of 62025 with flag 1083631/14608070
759.05/755.93	c cleaning 31998 clauses out of 64023 with flag 1152623/14641069
760.05/757.00	c cleaning 33007 clauses out of 66025 with flag 1223466/14675069
761.25/758.18	c cleaning 33996 clauses out of 68018 with flag 1296614/14710069
762.45/759.38	c cleaning 35000 clauses out of 70023 with flag 1371678/14746070
763.74/760.67	c cleaning 35999 clauses out of 72023 with flag 1449075/14783070
765.34/762.23	c cleaning 37003 clauses out of 74024 with flag 1528474/14821070
766.74/763.68	c cleaning 38002 clauses out of 76021 with flag 1610377/14860070
768.43/765.37	c cleaning 38994 clauses out of 78018 with flag 1693996/14900069
770.14/767.03	c cleaning 40000 clauses out of 80025 with flag 1779971/14941070
771.93/768.88	c cleaning 40998 clauses out of 82024 with flag 1868071/14983069
773.92/770.80	c cleaning 42001 clauses out of 84026 with flag 1958189/15026069
775.87/772.71	c cleaning 43002 clauses out of 86026 with flag 2050437/15070070
777.57/774.50	c cleaning 44000 clauses out of 88024 with flag 2144711/15115070
779.47/776.32	c cleaning 44998 clauses out of 90024 with flag 2241024/15161070
781.47/778.38	c cleaning 45999 clauses out of 92025 with flag 2339644/15208069
783.47/780.35	c cleaning 47006 clauses out of 94027 with flag 2440820/15256070
785.46/782.33	c cleaning 47996 clauses out of 96020 with flag 2543011/15305069
787.46/784.36	c cleaning 49002 clauses out of 98024 with flag 2647641/15355069
789.66/786.58	c cleaning 50002 clauses out of 100022 with flag 2753900/15406069
791.95/788.85	c cleaning 50998 clauses out of 102020 with flag 2862635/15458069
794.15/791.04	c cleaning 52003 clauses out of 104024 with flag 2973526/15511071
796.54/793.45	c cleaning 52998 clauses out of 106019 with flag 3087020/15565069
799.14/796.06	c cleaning 54000 clauses out of 108022 with flag 3201986/15620070
802.03/798.91	c cleaning 54999 clauses out of 110021 with flag 3318870/15676069
804.63/801.50	c cleaning 56002 clauses out of 112023 with flag 3438728/15733070
807.23/804.12	c cleaning 56998 clauses out of 114020 with flag 3560645/15791069
810.02/806.90	c cleaning 57996 clauses out of 116023 with flag 3684530/15850070
812.82/809.71	c cleaning 59001 clauses out of 118027 with flag 3810250/15910070
816.51/813.43	c cleaning 60003 clauses out of 120026 with flag 3937955/15971070
819.61/816.45	c cleaning 61003 clauses out of 122023 with flag 4067852/16033070
822.60/819.46	c cleaning 61993 clauses out of 124020 with flag 4199973/16096070
825.70/822.56	c cleaning 63000 clauses out of 126026 with flag 4334087/16160069
828.49/825.39	c cleaning 63997 clauses out of 128026 with flag 4470407/16225069
831.58/828.41	c cleaning 65004 clauses out of 130031 with flag 4609499/16291071
834.68/831.56	c cleaning 66002 clauses out of 132025 with flag 4750533/16358069
837.87/834.77	c cleaning 67005 clauses out of 134023 with flag 4893422/16426069
840.87/837.74	c cleaning 67997 clauses out of 136018 with flag 5038554/16495069
844.37/841.21	c cleaning 69001 clauses out of 138021 with flag 5185601/16565069
848.22/845.04	c cleaning 70000 clauses out of 140021 with flag 5334600/16636070
851.71/848.57	c cleaning 71003 clauses out of 142021 with flag 5485400/16708070
855.30/852.13	c cleaning 71997 clauses out of 144018 with flag 5638823/16781070
858.69/855.52	c cleaning 73000 clauses out of 146021 with flag 5794023/16855070
861.98/858.85	c cleaning 73998 clauses out of 148020 with flag 5951169/16930069
865.28/862.13	c cleaning 74997 clauses out of 150022 with flag 6110509/17006069
868.78/865.64	c cleaning 76004 clauses out of 152025 with flag 6272201/17083069
872.74/869.52	c cleaning 77000 clauses out of 154021 with flag 6435567/17161069
877.14/873.92	c cleaning 77996 clauses out of 156022 with flag 6601216/17240070
881.13/877.98	c cleaning 79000 clauses out of 158025 with flag 6768554/17320069
885.12/881.91	c cleaning 80001 clauses out of 160026 with flag 6938466/17401070
889.51/886.38	c cleaning 80998 clauses out of 162025 with flag 7110628/17483070
893.50/890.35	c cleaning 81996 clauses out of 164026 with flag 7284769/17566069
897.90/894.76	c cleaning 83003 clauses out of 166030 with flag 7460579/17650069
902.40/899.28	c cleaning 84002 clauses out of 168027 with flag 7638686/17735069
907.52/904.31	c cleaning 85004 clauses out of 170026 with flag 7819208/17821070
912.22/909.01	c cleaning 86002 clauses out of 172023 with flag 8001755/17908071
916.60/913.41	c cleaning 87001 clauses out of 174020 with flag 8186146/17996070
921.10/917.92	c cleaning 87997 clauses out of 176019 with flag 8372881/18085070
926.19/923.00	c cleaning 88996 clauses out of 178021 with flag 8561240/18175069
930.98/927.87	c cleaning 90002 clauses out of 180025 with flag 8751611/18266069
936.97/933.81	c cleaning 91002 clauses out of 182025 with flag 8944358/18358071
942.90/939.52	c cleaning 92000 clauses out of 184021 with flag 9138885/18451069
948.40/945.04	c cleaning 92999 clauses out of 186021 with flag 9335529/18545069
954.18/950.89	c cleaning 94005 clauses out of 188023 with flag 9534413/18640070
959.68/956.37	c cleaning 94996 clauses out of 190017 with flag 9735386/18736069
965.72/962.35	c cleaning 95999 clauses out of 192021 with flag 9938332/18833069
971.61/968.28	c cleaning 96992 clauses out of 194023 with flag 10143872/18931070
978.20/974.82	c cleaning 98001 clauses out of 196030 with flag 10351171/19030069
984.42/981.00	c cleaning 99004 clauses out of 198029 with flag 10559977/19130069
991.11/987.79	c cleaning 100003 clauses out of 200026 with flag 10771519/19231070
997.60/994.25	c cleaning 101002 clauses out of 202023 with flag 10985569/19333070
1004.06/1000.37	c cleaning 101998 clauses out of 204023 with flag 11200987/19436072
1010.75/1007.05	c cleaning 103000 clauses out of 206023 with flag 11418284/19540070
1017.95/1014.23	c cleaning 103999 clauses out of 208023 with flag 11638454/19645070
1024.85/1021.14	c cleaning 105001 clauses out of 210023 with flag 11859835/19751069
1031.58/1027.86	c cleaning 105998 clauses out of 212022 with flag 12083959/19858069
1038.88/1035.15	c cleaning 107006 clauses out of 214024 with flag 12309641/19966069
1045.51/1041.78	c cleaning 107995 clauses out of 216019 with flag 12538129/20075070
1053.00/1049.21	c cleaning 109004 clauses out of 218024 with flag 12768031/20185070
1061.63/1057.55	c cleaning 109996 clauses out of 220019 with flag 13000409/20296069
1068.82/1064.74	c cleaning 110997 clauses out of 222023 with flag 13234256/20408069
1076.92/1072.84	c cleaning 112001 clauses out of 224026 with flag 13470478/20521069
1084.75/1080.61	c cleaning 112999 clauses out of 226025 with flag 13709274/20635069
1092.93/1088.89	c cleaning 114006 clauses out of 228027 with flag 13949706/20750070
1101.53/1097.47	c cleaning 115001 clauses out of 230021 with flag 14192807/20866070
1109.43/1105.35	c cleaning 115999 clauses out of 232019 with flag 14437971/20983069
1116.92/1112.81	c cleaning 116996 clauses out of 234021 with flag 14685294/21101070
1124.71/1120.62	c cleaning 117997 clauses out of 236026 with flag 14935267/21220071
1133.60/1129.25	c cleaning 118997 clauses out of 238028 with flag 15186800/21340070
1140.99/1136.69	c cleaning 120003 clauses out of 240030 with flag 15440928/21461069
1149.01/1144.60	c cleaning 120996 clauses out of 242028 with flag 15697923/21583070
1158.89/1154.51	c cleaning 122005 clauses out of 244032 with flag 15955349/21706070
1167.63/1163.20	c cleaning 123002 clauses out of 246026 with flag 16214899/21830069
1176.86/1172.40	c cleaning 124004 clauses out of 248024 with flag 16476795/21955069
1187.49/1182.54	c cleaning 125000 clauses out of 250021 with flag 16740295/22081070
1197.43/1192.43	c cleaning 125996 clauses out of 252021 with flag 17005708/22208070
1206.64/1201.64	c cleaning 127002 clauses out of 254025 with flag 17274095/22336070
1215.55/1210.55	c cleaning 127999 clauses out of 256022 with flag 17543144/22465069
1225.07/1220.01	c cleaning 129002 clauses out of 258024 with flag 17815117/22595070
1235.12/1229.70	c cleaning 129999 clauses out of 260021 with flag 18089501/22726069
1246.31/1241.00	c cleaning 130996 clauses out of 262022 with flag 18366041/22858069
1257.92/1252.52	c cleaning 132004 clauses out of 264026 with flag 18645193/22991069
1268.40/1262.96	c cleaning 133003 clauses out of 266022 with flag 18926387/23125069
1277.64/1272.03	c cleaning 133999 clauses out of 268020 with flag 19210005/23260070
1288.60/1282.49	c cleaning 134999 clauses out of 270020 with flag 19495474/23396069
1298.10/1291.56	c cleaning 136000 clauses out of 272021 with flag 19783438/23533069
1309.54/1302.99	c cleaning 136998 clauses out of 274022 with flag 20072605/23671070
1319.46/1312.81	c cleaning 138001 clauses out of 276023 with flag 20363684/23810069
1330.30/1323.63	c cleaning 139000 clauses out of 278022 with flag 20656954/23950069
1340.14/1333.04	c cleaning 140000 clauses out of 280023 with flag 20953204/24091070
1351.48/1344.40	c cleaning 140995 clauses out of 282023 with flag 21250585/24233070
1362.68/1355.66	c cleaning 142003 clauses out of 284027 with flag 21549427/24376069
1374.56/1367.54	c cleaning 143001 clauses out of 286024 with flag 21850895/24520069
1386.16/1379.15	c cleaning 144002 clauses out of 288023 with flag 22155042/24665069
1395.94/1388.92	c cleaning 144996 clauses out of 290021 with flag 22461259/24811069
1406.94/1399.91	c cleaning 146000 clauses out of 292025 with flag 22769227/24958069
1419.42/1412.40	c cleaning 147000 clauses out of 294025 with flag 23079988/25106069
1431.55/1424.50	c cleaning 148000 clauses out of 296025 with flag 23392655/25255069
1443.93/1436.95	c cleaning 149000 clauses out of 298026 with flag 23706229/25405070
1455.02/1448.07	c cleaning 150000 clauses out of 300025 with flag 24022006/25556069
1466.65/1459.65	c cleaning 151002 clauses out of 302025 with flag 24339657/25708069
1478.14/1471.18	c cleaning 151995 clauses out of 304024 with flag 24660217/25861070
1489.49/1482.41	c cleaning 153000 clauses out of 306029 with flag 24980666/26015070
1501.68/1493.86	c cleaning 154002 clauses out of 308029 with flag 25303879/26170070
1514.52/1506.73	c cleaning 155002 clauses out of 310028 with flag 25629078/26326071
1525.56/1517.72	c cleaning 156000 clauses out of 312024 with flag 25956865/26483069
1537.02/1529.19	c cleaning 157000 clauses out of 314024 with flag 26285948/26641069
1550.00/1542.19	c cleaning 157997 clauses out of 316025 with flag 26618019/26800070
1563.33/1555.40	c cleaning 158997 clauses out of 318028 with flag 26951538/26960070
1576.51/1568.21	c cleaning 160005 clauses out of 320031 with flag 27287760/27121070
1589.04/1580.83	c cleaning 161002 clauses out of 322026 with flag 27626640/27283070
1602.22/1594.00	c cleaning 161998 clauses out of 324023 with flag 27966960/27446069
1614.08/1605.98	c cleaning 163003 clauses out of 326025 with flag 28310228/27610069
1627.44/1619.31	c cleaning 163995 clauses out of 328023 with flag 28656926/27775070
1640.90/1632.74	c cleaning 165000 clauses out of 330027 with flag 29003240/27941069
1654.89/1646.13	c cleaning 166005 clauses out of 332028 with flag 29352153/28108070
1668.00/1659.39	c cleaning 166997 clauses out of 334022 with flag 29704564/28276069
1681.29/1672.61	c cleaning 168000 clauses out of 336027 with flag 30057930/28445071
1694.89/1686.18	c cleaning 169002 clauses out of 338025 with flag 30413179/28615069
1708.66/1699.93	c cleaning 170000 clauses out of 340023 with flag 30771306/28786069
1725.26/1716.59	c cleaning 171003 clauses out of 342025 with flag 31130947/28958071
1740.23/1731.50	c cleaning 172002 clauses out of 344020 with flag 31493390/29131069
1740.95/1732.26	c Got one! Elapsed wall clock time (in seconds):1732.134
1740.95/1732.26	o 129
1744.05/1735.31	c cleaning 100391 clauses out of 200797 with flag 10810/29159848
1745.05/1736.39	c cleaning 53192 clauses out of 106406 with flag 23464/29165848
1745.55/1736.80	c cleaning 30096 clauses out of 60213 with flag 38301/29172847
1745.75/1737.03	c cleaning 19048 clauses out of 38117 with flag 55172/29180847
1745.95/1737.22	c cleaning 14022 clauses out of 28070 with flag 73971/29189848
1746.05/1737.39	c cleaning 12013 clauses out of 24047 with flag 94927/29199847
1746.25/1737.59	c cleaning 11509 clauses out of 23035 with flag 117978/29210848
1746.55/1737.82	c cleaning 11752 clauses out of 23526 with flag 142932/29222848
1746.75/1738.08	c cleaning 12375 clauses out of 24773 with flag 170137/29235847
1747.05/1738.36	c cleaning 13188 clauses out of 26398 with flag 199411/29249847
1747.35/1738.67	c cleaning 14096 clauses out of 28211 with flag 230778/29264848
1747.75/1739.01	c cleaning 15043 clauses out of 30114 with flag 264159/29280847
1748.04/1739.37	c cleaning 16023 clauses out of 32072 with flag 299732/29297848
1748.44/1739.77	c cleaning 17010 clauses out of 34048 with flag 337605/29315847
1748.94/1740.20	c cleaning 18006 clauses out of 36038 with flag 377381/29334847
1749.34/1740.65	c cleaning 19007 clauses out of 38033 with flag 419291/29354848
1749.84/1741.14	c cleaning 20003 clauses out of 40025 with flag 463232/29375847
1750.44/1741.73	c cleaning 20997 clauses out of 42022 with flag 509417/29397847
1751.04/1742.38	c cleaning 22002 clauses out of 44026 with flag 557847/29420848
1751.74/1743.06	c cleaning 23004 clauses out of 46025 with flag 608252/29444849
1752.44/1743.79	c cleaning 24000 clauses out of 48019 with flag 660538/29469847
1753.13/1744.49	c cleaning 24997 clauses out of 50019 with flag 714855/29495847
1753.94/1745.29	c cleaning 25999 clauses out of 52022 with flag 771175/29522847
1754.86/1746.14	c cleaning 27000 clauses out of 54025 with flag 829691/29550849
1755.76/1747.06	c cleaning 28003 clauses out of 56025 with flag 890215/29579849
1756.76/1748.04	c cleaning 28994 clauses out of 58021 with flag 952936/29609848
1757.75/1749.01	c cleaning 30004 clauses out of 60026 with flag 1018490/29640847
1758.65/1749.96	c cleaning 31002 clauses out of 62022 with flag 1085591/29672847
1759.85/1751.12	c cleaning 31998 clauses out of 64021 with flag 1154659/29705848
1760.94/1752.20	c cleaning 33002 clauses out of 66023 with flag 1225906/29739848
1761.94/1753.27	c cleaning 33995 clauses out of 68020 with flag 1299400/29774847
1763.34/1754.66	c cleaning 34999 clauses out of 70026 with flag 1374714/29810848
1764.63/1755.97	c cleaning 36003 clauses out of 72026 with flag 1452172/29847847
1765.93/1757.28	c cleaning 36999 clauses out of 74024 with flag 1531702/29885848
1767.33/1758.67	c cleaning 37999 clauses out of 76026 with flag 1613281/29924849
1768.94/1760.24	c cleaning 39002 clauses out of 78025 with flag 1697070/29964847
1770.44/1761.72	c cleaning 40001 clauses out of 80024 with flag 1782806/30005848
1771.84/1763.15	c cleaning 41003 clauses out of 82023 with flag 1870959/30047848
1773.53/1764.81	c cleaning 42001 clauses out of 84019 with flag 1961317/30090847
1775.13/1766.46	c cleaning 42994 clauses out of 86018 with flag 2053673/30134847
1776.84/1768.11	c cleaning 44000 clauses out of 88024 with flag 2147986/30179847
1778.43/1769.73	c cleaning 45004 clauses out of 90024 with flag 2244115/30225847
1780.33/1771.63	c cleaning 46000 clauses out of 92021 with flag 2342532/30272848
1782.12/1773.42	c cleaning 46998 clauses out of 94021 with flag 2443018/30320848
1784.02/1775.34	c cleaning 48003 clauses out of 96022 with flag 2545694/30369847
1786.22/1777.47	c cleaning 49000 clauses out of 98019 with flag 2650439/30419847
1788.32/1779.59	c cleaning 49998 clauses out of 100020 with flag 2757422/30470848
1790.72/1782.00	c cleaning 50996 clauses out of 102021 with flag 2866672/30522847
1792.82/1784.03	c cleaning 52002 clauses out of 104026 with flag 2977946/30575848
1795.12/1786.36	c cleaning 52995 clauses out of 106023 with flag 3090989/30629847
1797.51/1788.79	c cleaning 53998 clauses out of 108028 with flag 3206266/30684847
1799.61/1790.86	c cleaning 55002 clauses out of 110030 with flag 3323628/30740847
1801.81/1793.07	c cleaning 55999 clauses out of 112028 with flag 3443161/30797847
1804.24/1795.40	c cleaning 57004 clauses out of 114030 with flag 3564935/30855848
1806.64/1797.89	c cleaning 58000 clauses out of 116025 with flag 3687672/30914847
1809.13/1800.33	c cleaning 58999 clauses out of 118025 with flag 3812655/30974847
1811.63/1802.82	c cleaning 60002 clauses out of 120027 with flag 3939600/31035848
1814.32/1805.59	c cleaning 60998 clauses out of 122025 with flag 4069634/31097848
1817.02/1808.26	c cleaning 62004 clauses out of 124028 with flag 4201186/31160849
1819.71/1810.99	c cleaning 63000 clauses out of 126022 with flag 4335609/31224847
1822.51/1813.77	c cleaning 63999 clauses out of 128024 with flag 4471207/31289849
1825.40/1816.65	c cleaning 64999 clauses out of 130023 with flag 4609493/31355847
1828.61/1819.84	c cleaning 65997 clauses out of 132025 with flag 4749989/31422848
1831.40/1822.65	c cleaning 66999 clauses out of 134027 with flag 4892514/31490847
1834.60/1825.84	c cleaning 68001 clauses out of 136028 with flag 5036692/31559847
1837.80/1829.10	c cleaning 69000 clauses out of 138027 with flag 5183517/31629847
1841.19/1832.47	c cleaning 70001 clauses out of 140027 with flag 5332017/31700847
1844.59/1835.89	c cleaning 70998 clauses out of 142027 with flag 5483075/31772848
1848.18/1839.41	c cleaning 72004 clauses out of 144028 with flag 5636085/31845847
1851.88/1843.11	c cleaning 73001 clauses out of 146024 with flag 5791043/31919847
1855.37/1846.67	c cleaning 73996 clauses out of 148024 with flag 5947864/31994848
1859.40/1850.61	c cleaning 75001 clauses out of 150027 with flag 6107643/32070847
1863.59/1854.80	c cleaning 76000 clauses out of 152027 with flag 6269076/32147848
1867.29/1858.56	c cleaning 76997 clauses out of 154027 with flag 6432477/32225848
1870.89/1862.14	c cleaning 78000 clauses out of 156029 with flag 6598604/32304847
1875.28/1866.55	c cleaning 78998 clauses out of 158030 with flag 6766047/32384848
1879.67/1870.92	c cleaning 80004 clauses out of 160032 with flag 6935515/32465848
1883.96/1875.24	c cleaning 81000 clauses out of 162027 with flag 7107465/32547847
1888.43/1879.73	c cleaning 81998 clauses out of 164028 with flag 7281478/32630848
1893.13/1884.42	c cleaning 83004 clauses out of 166029 with flag 7457786/32714847
1898.39/1889.67	c cleaning 84004 clauses out of 168025 with flag 7635484/32799847
1902.98/1894.26	c cleaning 84996 clauses out of 170021 with flag 7814848/32885847
1907.37/1898.60	c cleaning 85997 clauses out of 172025 with flag 7996741/32972847
1912.17/1903.49	c cleaning 86997 clauses out of 174028 with flag 8180623/33060847
1918.26/1909.59	c cleaning 88004 clauses out of 176032 with flag 8366964/33149848
1922.85/1914.15	c cleaning 89002 clauses out of 178027 with flag 8555000/33239847
1927.55/1918.89	c cleaning 89996 clauses out of 180025 with flag 8745143/33330847
1933.04/1924.32	c cleaning 91001 clauses out of 182030 with flag 8937445/33422848
1938.13/1929.41	c cleaning 91999 clauses out of 184028 with flag 9131991/33515847
1943.35/1934.66	c cleaning 93003 clauses out of 186029 with flag 9328177/33609847
1949.34/1940.68	c cleaning 94002 clauses out of 188027 with flag 9526936/33704848
1954.13/1945.41	c cleaning 94996 clauses out of 190025 with flag 9726856/33800848
1959.92/1951.24	c cleaning 96002 clauses out of 192029 with flag 9929373/33897848
1964.72/1956.06	c cleaning 97001 clauses out of 194027 with flag 10135439/33995848
1970.01/1961.38	c cleaning 97998 clauses out of 196025 with flag 10342794/34094847
1975.40/1966.78	c cleaning 98998 clauses out of 198028 with flag 10551657/34194848
1981.09/1972.40	c cleaning 100004 clauses out of 200029 with flag 10762673/34295847
1986.62/1977.92	c cleaning 100998 clauses out of 202026 with flag 10975735/34397848
1994.41/1985.74	c cleaning 102002 clauses out of 204027 with flag 11190853/34500847
2000.90/1992.28	c cleaning 102999 clauses out of 206025 with flag 11407752/34604847
2008.58/1999.91	c cleaning 103998 clauses out of 208026 with flag 11626941/34709847
2016.18/2007.59	c cleaning 105002 clauses out of 210029 with flag 11849346/34815848
2018.85/2010.01	c Got one! Elapsed wall clock time (in seconds):2009.886
2018.85/2010.01	o 128
2020.05/2011.25	c cleaning 87810 clauses out of 175639 with flag 10949/34886460
2020.55/2011.78	c cleaning 46903 clauses out of 93828 with flag 23597/34892459
2020.85/2012.02	c cleaning 26950 clauses out of 53926 with flag 38258/34899460
2021.05/2012.21	c cleaning 17481 clauses out of 34975 with flag 55117/34907459
2021.15/2012.39	c cleaning 13234 clauses out of 26495 with flag 73849/34916460
2021.35/2012.57	c cleaning 11618 clauses out of 23260 with flag 94703/34926459
2021.54/2012.77	c cleaning 11309 clauses out of 22643 with flag 117726/34937460
2021.74/2012.98	c cleaning 11652 clauses out of 23333 with flag 142684/34949459
2022.04/2013.24	c cleaning 12331 clauses out of 24681 with flag 169799/34962459
2022.34/2013.52	c cleaning 13164 clauses out of 26350 with flag 198995/34976459
2022.64/2013.85	c cleaning 14080 clauses out of 28187 with flag 230346/34991460
2023.04/2014.21	c cleaning 15043 clauses out of 30106 with flag 263730/35007459
2023.34/2014.59	c cleaning 16019 clauses out of 32064 with flag 299382/35024460
2023.74/2014.95	c cleaning 17009 clauses out of 34044 with flag 337121/35042459
2024.14/2015.37	c cleaning 18005 clauses out of 36035 with flag 376789/35061459
2024.64/2015.82	c cleaning 19002 clauses out of 38031 with flag 418482/35081460
2025.14/2016.32	c cleaning 20001 clauses out of 40029 with flag 462443/35102460
2025.64/2016.82	c cleaning 20997 clauses out of 42028 with flag 508389/35124460
2026.28/2017.42	c cleaning 22001 clauses out of 44031 with flag 556360/35147460
2026.89/2018.04	c cleaning 23004 clauses out of 46030 with flag 606473/35171460
2027.48/2018.69	c cleaning 23999 clauses out of 48026 with flag 658537/35196460
2028.18/2019.33	c cleaning 25000 clauses out of 50027 with flag 712638/35222460
2028.88/2020.06	c cleaning 25999 clauses out of 52026 with flag 769052/35249459
2029.68/2020.88	c cleaning 26997 clauses out of 54028 with flag 827329/35277460
2030.57/2021.72	c cleaning 28000 clauses out of 56030 with flag 888186/35306459
2031.47/2022.61	c cleaning 29000 clauses out of 58031 with flag 950852/35336460
2032.37/2023.52	c cleaning 29997 clauses out of 60030 with flag 1015400/35367459
2033.27/2024.46	c cleaning 30999 clauses out of 62033 with flag 1082377/35399459
2034.37/2025.55	c cleaning 32002 clauses out of 64034 with flag 1151840/35432459
2035.56/2026.73	c cleaning 33003 clauses out of 66033 with flag 1223342/35466460
2036.76/2027.90	c cleaning 33999 clauses out of 68029 with flag 1296684/35501459
2037.86/2029.10	c cleaning 35002 clauses out of 70030 with flag 1372263/35537459
2039.16/2030.37	c cleaning 36003 clauses out of 72029 with flag 1449771/35574460
2040.55/2031.79	c cleaning 37001 clauses out of 74025 with flag 1529588/35612459
2042.25/2033.46	c cleaning 38002 clauses out of 76025 with flag 1611447/35651460
2043.64/2034.84	c cleaning 38999 clauses out of 78023 with flag 1695536/35691460
2045.04/2036.26	c cleaning 40000 clauses out of 80023 with flag 1781676/35732459
2046.74/2037.94	c cleaning 40997 clauses out of 82023 with flag 1869912/35774459
2048.33/2039.50	c cleaning 41999 clauses out of 84026 with flag 1960155/35817459
2049.93/2041.18	c cleaning 43002 clauses out of 86027 with flag 2052395/35861459
2051.83/2043.05	c cleaning 43999 clauses out of 88025 with flag 2146676/35906459
2053.66/2044.66	c cleaning 44999 clauses out of 90026 with flag 2243111/35952459
2055.45/2046.45	c cleaning 46005 clauses out of 92027 with flag 2341763/35999459
2057.45/2048.49	c cleaning 47001 clauses out of 94023 with flag 2442594/36047460
2059.15/2050.19	c cleaning 47994 clauses out of 96021 with flag 2545343/36096459
2061.15/2052.16	c cleaning 49003 clauses out of 98027 with flag 2650509/36146459
2063.24/2054.22	c cleaning 49996 clauses out of 100025 with flag 2757308/36197460
2065.23/2056.24	c cleaning 50998 clauses out of 102030 with flag 2866107/36249461
2067.13/2058.19	c cleaning 52001 clauses out of 104030 with flag 2977290/36302459
2069.22/2060.28	c cleaning 53001 clauses out of 106029 with flag 3090243/36356459
2071.32/2062.32	c cleaning 54000 clauses out of 108029 with flag 3205495/36411460
2073.71/2064.72	c cleaning 55000 clauses out of 110029 with flag 3322767/36467460
2076.21/2067.21	c cleaning 56003 clauses out of 112031 with flag 3442023/36524462
2078.70/2069.70	c cleaning 57000 clauses out of 114026 with flag 3563652/36582460
2081.13/2072.11	c cleaning 57999 clauses out of 116025 with flag 3687307/36641459
2083.92/2074.92	c cleaning 58999 clauses out of 118026 with flag 3813131/36701459
2086.42/2077.47	c cleaning 59999 clauses out of 120028 with flag 3941042/36762460
2089.02/2080.06	c cleaning 61004 clauses out of 122029 with flag 4070620/36824460
2091.71/2082.75	c cleaning 61995 clauses out of 124024 with flag 4202064/36887459
2094.41/2085.42	c cleaning 62999 clauses out of 126029 with flag 4335790/36951459
2097.30/2088.37	c cleaning 64000 clauses out of 128030 with flag 4472036/37016459
2100.59/2091.65	c cleaning 65000 clauses out of 130030 with flag 4609974/37082459
2104.29/2095.34	c cleaning 66001 clauses out of 132031 with flag 4750178/37149460
2107.58/2098.64	c cleaning 67000 clauses out of 134029 with flag 4892625/37217459
2110.70/2101.75	c cleaning 68002 clauses out of 136031 with flag 5037444/37286461
2113.99/2105.09	c cleaning 68994 clauses out of 138027 with flag 5184221/37356459
2116.99/2108.08	c cleaning 70009 clauses out of 140034 with flag 5332771/37427460
2120.19/2111.26	c cleaning 71002 clauses out of 142024 with flag 5483166/37499459
2123.68/2114.74	c cleaning 71998 clauses out of 144023 with flag 5636369/37572460
2127.67/2118.76	c cleaning 73004 clauses out of 146025 with flag 5791081/37646460
2131.56/2122.68	c cleaning 74000 clauses out of 148020 with flag 5947682/37721459
2135.06/2126.18	c cleaning 74998 clauses out of 150020 with flag 6106088/37797459
2138.95/2130.03	c cleaning 75998 clauses out of 152023 with flag 6266452/37874460
2142.96/2134.07	c cleaning 77000 clauses out of 154025 with flag 6428862/37952460
2146.65/2137.73	c cleaning 77998 clauses out of 156024 with flag 6592660/38031459
2150.45/2141.57	c cleaning 79001 clauses out of 158026 with flag 6759794/38111459
2154.84/2146.00	c cleaning 79999 clauses out of 160025 with flag 6929636/38192459
2159.14/2150.27	c cleaning 81001 clauses out of 162027 with flag 7101668/38274460
2163.93/2155.02	c cleaning 82005 clauses out of 164026 with flag 7275495/38357460
2168.12/2159.29	c cleaning 82999 clauses out of 166021 with flag 7451150/38441460
2172.91/2164.08	c cleaning 84001 clauses out of 168021 with flag 7629927/38526459
2178.24/2169.14	c cleaning 84999 clauses out of 170021 with flag 7810161/38612460
2183.02/2173.97	c cleaning 85997 clauses out of 172021 with flag 7992692/38699459
2187.91/2178.87	c cleaning 86999 clauses out of 174024 with flag 8177324/38787459
2193.20/2184.16	c cleaning 88000 clauses out of 176025 with flag 8364139/38876459
2198.69/2189.64	c cleaning 89000 clauses out of 178025 with flag 8552741/38966459
2204.08/2195.03	c cleaning 90001 clauses out of 180025 with flag 8743796/39057459
2208.83/2199.78	c cleaning 91001 clauses out of 182025 with flag 8936327/39149460
2214.42/2205.35	c cleaning 92000 clauses out of 184023 with flag 9131329/39242459
2219.21/2210.17	c cleaning 93002 clauses out of 186023 with flag 9327308/39336459
2224.10/2215.03	c cleaning 93998 clauses out of 188022 with flag 9526337/39431460
2229.64/2220.59	c cleaning 94996 clauses out of 190024 with flag 9727047/39527460
2234.93/2225.87	c cleaning 96000 clauses out of 192027 with flag 9929715/39624459
2239.92/2230.86	c cleaning 97000 clauses out of 194028 with flag 10134968/39722460
2245.92/2236.85	c cleaning 97999 clauses out of 196027 with flag 10342430/39821459
2252.71/2243.62	c cleaning 99003 clauses out of 198028 with flag 10553119/39921459
2259.02/2249.79	c cleaning 99999 clauses out of 200025 with flag 10765912/40022459
2265.51/2256.29	c cleaning 101004 clauses out of 202026 with flag 10980446/40124459
2273.00/2263.70	c cleaning 101997 clauses out of 204022 with flag 11197069/40227459
2279.09/2269.83	c cleaning 102995 clauses out of 206026 with flag 11414839/40331460
2286.30/2277.06	c cleaning 104005 clauses out of 208031 with flag 11634937/40436460
2292.68/2283.49	c cleaning 105000 clauses out of 210025 with flag 11856941/40542459
2298.48/2289.29	c cleaning 106001 clauses out of 212026 with flag 12080320/40649460
2305.77/2296.57	c cleaning 106998 clauses out of 214025 with flag 12307081/40757460
2312.61/2303.31	c cleaning 107996 clauses out of 216026 with flag 12535666/40866459
2319.50/2310.23	c cleaning 109004 clauses out of 218030 with flag 12765182/40976459
2326.78/2317.54	c cleaning 110001 clauses out of 220026 with flag 12997451/41087459
2334.13/2324.88	c cleaning 111004 clauses out of 222025 with flag 13231733/41199459
2342.11/2332.82	c cleaning 111997 clauses out of 224022 with flag 13468137/41312460
2349.41/2340.13	c cleaning 113000 clauses out of 226024 with flag 13706876/41426459
2357.67/2348.06	c cleaning 114006 clauses out of 228025 with flag 13947974/41541460
2365.16/2355.51	c cleaning 114997 clauses out of 230018 with flag 14190894/41657459
2371.47/2361.82	c cleaning 116002 clauses out of 232021 with flag 14435877/41774459
2379.16/2369.52	c cleaning 117003 clauses out of 234020 with flag 14682677/41892460
2387.80/2378.19	c cleaning 117996 clauses out of 236017 with flag 14931369/42011460
2395.78/2386.15	c cleaning 118996 clauses out of 238020 with flag 15183748/42131459
2404.06/2394.43	c cleaning 120002 clauses out of 240025 with flag 15438692/42252460
2413.26/2403.68	c cleaning 120998 clauses out of 242023 with flag 15695735/42374460
2421.66/2412.05	c cleaning 121999 clauses out of 244026 with flag 15954379/42497461
2431.44/2421.84	c cleaning 122999 clauses out of 246026 with flag 16216205/42621460
2440.18/2430.50	c cleaning 124002 clauses out of 248026 with flag 16480049/42746459
2448.97/2439.30	c cleaning 125000 clauses out of 250025 with flag 16745763/42872460
2458.85/2448.95	c cleaning 126002 clauses out of 252024 with flag 17012224/42999459
2469.63/2459.74	c cleaning 127004 clauses out of 254023 with flag 17281367/43127460
2477.82/2467.97	c cleaning 127997 clauses out of 256018 with flag 17551357/43256459
2485.81/2475.94	c cleaning 128997 clauses out of 258022 with flag 17823508/43386460
2494.65/2484.77	c cleaning 130002 clauses out of 260025 with flag 18098030/43517460
2505.03/2495.11	c cleaning 130999 clauses out of 262022 with flag 18374942/43649459
2515.99/2506.03	c cleaning 132001 clauses out of 264023 with flag 18654521/43782459
2525.37/2515.46	c cleaning 132999 clauses out of 266023 with flag 18935511/43916460
2536.42/2526.07	c cleaning 134001 clauses out of 268023 with flag 19217438/44051459
2546.84/2536.54	c cleaning 134996 clauses out of 270022 with flag 19502152/44187459
2557.44/2547.23	c cleaning 136004 clauses out of 272026 with flag 19788025/44324459
2566.85/2556.69	c cleaning 137004 clauses out of 274023 with flag 20076245/44462460
2576.64/2566.43	c cleaning 137995 clauses out of 276019 with flag 20365586/44601460
2588.25/2578.08	c cleaning 138996 clauses out of 278023 with flag 20658229/44741459
2598.13/2587.94	c cleaning 139999 clauses out of 280027 with flag 20953113/44882459
2610.42/2599.91	c cleaning 141003 clauses out of 282028 with flag 21249647/45024459
2620.31/2609.85	c cleaning 141999 clauses out of 284025 with flag 21547693/45167459
2630.40/2619.92	c cleaning 142999 clauses out of 286026 with flag 21850432/45311459
2640.89/2630.40	c cleaning 143996 clauses out of 288028 with flag 22153995/45456460
2652.54/2642.02	c cleaning 145002 clauses out of 290031 with flag 22461057/45602459
2664.21/2653.61	c cleaning 145998 clauses out of 292029 with flag 22770426/45749459
2675.40/2664.82	c cleaning 147003 clauses out of 294032 with flag 23082013/45897460
2687.33/2676.67	c cleaning 147997 clauses out of 296028 with flag 23393768/46046459
2700.63/2689.62	c cleaning 149004 clauses out of 298031 with flag 23709180/46196459
2713.93/2703.00	c cleaning 150000 clauses out of 300027 with flag 24025077/46347459
2727.76/2716.79	c cleaning 151003 clauses out of 302027 with flag 24344117/46499459
2740.54/2729.58	c cleaning 151995 clauses out of 304024 with flag 24664625/46652459
2752.26/2741.24	c cleaning 153002 clauses out of 306030 with flag 24987141/46806460
2764.82/2753.74	c cleaning 153998 clauses out of 308028 with flag 25311577/46961460
2779.80/2768.10	c cleaning 155001 clauses out of 310030 with flag 25638907/47117460
2793.44/2781.88	c cleaning 156005 clauses out of 312029 with flag 25968466/47274460
2809.25/2797.65	c cleaning 157003 clauses out of 314023 with flag 26300446/47432459
2822.37/2810.79	c cleaning 158002 clauses out of 316020 with flag 26633652/47591459
2836.65/2824.92	c cleaning 158994 clauses out of 318018 with flag 26969881/47751459
2850.39/2838.61	c cleaning 160001 clauses out of 320024 with flag 27308216/47912459
2868.81/2856.61	c cleaning 161004 clauses out of 322024 with flag 27648133/48074460
2884.56/2872.39	c cleaning 161998 clauses out of 324020 with flag 27990041/48237460
2901.10/2888.84	c cleaning 162997 clauses out of 326021 with flag 28334099/48401459
2915.95/2903.66	c cleaning 163997 clauses out of 328025 with flag 28680281/48566460
2933.01/2920.65	c cleaning 165000 clauses out of 330028 with flag 29027878/48732460
2949.15/2936.71	c cleaning 166005 clauses out of 332027 with flag 29377299/48899459
2966.25/2953.39	c cleaning 166998 clauses out of 334022 with flag 29729908/49067459
2982.21/2969.44	c cleaning 168001 clauses out of 336025 with flag 30084574/49236460
2998.81/2986.13	c cleaning 168999 clauses out of 338024 with flag 30439500/49406460
3014.26/3001.53	c cleaning 170000 clauses out of 340024 with flag 30798257/49577459
3030.94/3018.29	c cleaning 171004 clauses out of 342025 with flag 31158768/49749460
3046.55/3033.88	c cleaning 171998 clauses out of 344020 with flag 31520636/49922459
3062.32/3049.68	c cleaning 172998 clauses out of 346023 with flag 31884250/50096460
3077.66/3064.94	c cleaning 174002 clauses out of 348024 with flag 32249807/50271459
3095.33/3082.64	c cleaning 174998 clauses out of 350023 with flag 32619095/50447460
3110.82/3098.19	c cleaning 175998 clauses out of 352025 with flag 32990296/50624460
3127.29/3114.66	c cleaning 177005 clauses out of 354027 with flag 33362559/50802460
3145.46/3132.81	c cleaning 178000 clauses out of 356022 with flag 33740395/50981460
3163.31/3150.67	c cleaning 178998 clauses out of 358021 with flag 34120953/51161459
3179.79/3167.12	c cleaning 180002 clauses out of 360024 with flag 34502694/51342460
3196.93/3184.24	c cleaning 180999 clauses out of 362021 with flag 34887494/51524459
3215.70/3203.05	c cleaning 182001 clauses out of 364023 with flag 35273142/51707460
3234.64/3221.38	c cleaning 182999 clauses out of 366022 with flag 35657683/51891460
3251.31/3238.06	c cleaning 184002 clauses out of 368024 with flag 36044095/52076461
3269.71/3256.48	c cleaning 185000 clauses out of 370021 with flag 36433355/52262460
3285.89/3272.60	c cleaning 186000 clauses out of 372021 with flag 36822951/52449460
3304.18/3290.90	c cleaning 186998 clauses out of 374021 with flag 37214632/52637460
3322.75/3309.57	c cleaning 187998 clauses out of 376022 with flag 37610391/52826459
3342.70/3329.45	c cleaning 188997 clauses out of 378024 with flag 38010714/53016459
3360.39/3347.12	c cleaning 190000 clauses out of 380027 with flag 38412759/53207459
3377.76/3364.50	c cleaning 190997 clauses out of 382028 with flag 38817855/53399460
3396.42/3383.13	c cleaning 192001 clauses out of 384030 with flag 39226102/53592459
3413.90/3400.63	c cleaning 193007 clauses out of 386029 with flag 39638276/53786459
3430.67/3417.42	c cleaning 193997 clauses out of 388023 with flag 40053342/53981460
3449.56/3436.34	c cleaning 195005 clauses out of 390028 with flag 40470305/54177462
3464.53/3451.38	c cleaning 196000 clauses out of 392020 with flag 40890052/54374459
3484.31/3471.12	c cleaning 196996 clauses out of 394020 with flag 41312695/54572459
3500.91/3487.69	c cleaning 197999 clauses out of 396025 with flag 41736074/54771460
3520.59/3507.22	c cleaning 199002 clauses out of 398025 with flag 42161014/54971459
3539.42/3525.20	c cleaning 200004 clauses out of 400025 with flag 42588985/55172461
3557.24/3543.09	c cleaning 200996 clauses out of 402020 with flag 43018350/55374460
3575.33/3561.04	c cleaning 201999 clauses out of 404023 with flag 43450235/55577459
3593.35/3579.00	c cleaning 202997 clauses out of 406024 with flag 43882222/55781459
3600.03/3585.71	c starts		: 696
3600.03/3585.71	c conflicts		: 55904985
3600.03/3585.71	c decisions		: 73253831
3600.03/3585.71	c propagations		: 512732217
3600.03/3585.71	c inspects		: 27837247471
3600.03/3585.71	c shortcuts		: 0
3600.03/3585.71	c learnt literals	: 0
3600.03/3585.71	c learnt binary clauses	: 0
3600.03/3585.71	c learnt ternary clauses	: 0
3600.03/3585.71	c learnt constraints	: 55904985
3600.03/3585.71	c ignored constraints	: 0
3600.03/3585.71	c root simplifications	: 0
3600.03/3585.71	c removed literals (reason simplification)	: 0
3600.03/3585.71	c reason swapping (by a shorter reason)	: 0
3600.03/3585.71	c Calls to reduceDB	: 733
3600.03/3585.71	c Number of update (reduction) of LBD	: 1426228
3600.03/3585.71	c Imported unit clauses	: 0
3600.03/3585.71	c No decision after first conflict	: false
3600.03/3585.71	c number of reductions to clauses (during analyze)	: 0
3600.03/3585.71	c number of learned constraints concerned by reduction	: 0
3600.03/3585.71	c number of learning phase by resolution	: 0
3600.03/3585.71	c number of learning phase by cutting planes	: 0
3600.03/3585.71	c number of rounding to 1 operations	: 0
3600.03/3585.71	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3585.71	c number of reductions of the coefficients by power 2 	: 0
3600.03/3585.71	c number of right shift for reduction by power 2 	: 0
3600.03/3585.71	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3585.71	c number of ending skipping 	: 0
3600.03/3585.71	c number of internal skipping 	: 0
3600.03/3585.71	c number of derivation steps 	: 0
3600.03/3585.71	c number of skipped derivation steps 	: 0
3600.03/3585.71	c number of remaining unassigned 	: 0
3600.03/3585.71	c number of remaining assigned 	: 0
3600.03/3585.71	c number of falsified literals weakened from reason	: 0
3600.03/3585.71	c number of falsified literals weakened from conflict	: 0
3600.03/3585.71	c time for arithmetic operations	: 0
3600.03/3585.74	c minimum degree of deleted constraints	: null
3600.03/3585.74	c maximum degree of deleted constraints	: null
3600.03/3585.74	c number of deleted constraints	: 0
3600.03/3585.74	c speed (assignments/second)	: 142999.04199172015
3600.03/3585.74	c non guided choices	: 0
3600.23/3585.81	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 326553
3600.23/3585.81	s SATISFIABLE
3600.23/3585.81	c Found 14 solution(s)
3600.23/3585.81	v -x1 -x2 -x3 x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 x15 -x16 -x17 -x18 x19 x20 x21 x22 x23 -x24 -x25 -x26 -x27 x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 x47 -x48 -x49 x50 x51 x52 -x53 -x54 x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 x84 -x85 x86 x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 -x184 -x185 -x186 -x187 -x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 -x200 -x201 -x202 x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 x253 x254 x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 x295 x296 x297 x298 x299 x300 x301 x302 x303 x304 x305 x306 x307 x308 x309 x310 x311 x312 -x313 x314 x315 -x316 x317 x318 -x319 x320 x321 -x322 x323 x324 -x325 -x326 -x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 x335 -x336 -x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 
3600.23/3585.81	c objective function=128
3600.23/3585.81	c Total wall clock time (in seconds): 3585.689

Verifier Data 

OK	128

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (50822 MiB free)
  memory of node 1: 64510 MiB (59381 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432424-1721126753/watcher-4432424-1721126753 -o /tmp/evaluation-result-4432424-1721126753/solver-4432424-1721126753 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721119571-844802 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432424-1721126753.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=850324, runsolver pid=850321

[startup+0.101308 s]*
/proc/loadavg: 4.10 4.13 4.16 8/329 850342
/proc/meminfo: memFree=112805632/131524600 swapFree=131071996/131071996
[pid=850324] ppid=850321 vsize=18975048 memory=63176 CPUtime=0.13 cores=5,7
/proc/850324/stat : 850324 (java) S 850321 850324 844789 0 -1 1077936128 7206 0 0 0 11 2 0 0 20 0 18 0 164840237 19430449152 15794 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
/proc/850324/statm: 4743762 15794 5662 1 0 549334 0
[pid=850324/tid=850326] ppid=850321 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/850324/task/850326/stat : 850326 (java) R 850321 850324 844789 0 -1 1078198336 5744 0 0 0 7 1 0 0 20 0 18 0 164840237 19430449152 15794 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850335] ppid=850321 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/850324/task/850335/stat : 850335 (Finalizer) S 850321 850324 844789 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 164840240 19430449152 15794 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850342] ppid=850321 vsize=18975048 memory=14979970577492358 CPUtime=0 cores=5,7
/proc/850324/task/850342/stat : 850342 (Common-Cleaner) S 850321 850324 844789 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 164840240 19430449152 15794 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63176 KiB

[startup+0.209112 s]*
/proc/loadavg: 4.10 4.13 4.16 7/330 850343
/proc/meminfo: memFree=112801092/131524600 swapFree=131071996/131071996
[pid=850324] ppid=850321 vsize=19041612 memory=68924 CPUtime=0.33 cores=5,7
/proc/850324/stat : 850324 (java) S 850321 850324 844789 0 -1 1077936128 8100 0 0 0 31 2 0 0 20 0 19 0 164840237 19498610688 17231 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
/proc/850324/statm: 4760403 17231 5880 1 0 550144 0
[pid=850324/tid=850326] ppid=850321 vsize=19041612 memory=4782652875487838339 CPUtime=0.17 cores=5,7
/proc/850324/task/850326/stat : 850326 (java) R 850321 850324 844789 0 -1 4194368 6040 0 0 0 15 2 0 0 20 0 19 0 164840237 19498610688 17231 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850335] ppid=850321 vsize=19041612 memory=17986 CPUtime=0 cores=5,7
/proc/850324/task/850335/stat : 850335 (Finalizer) S 850321 850324 844789 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 164840240 19498610688 17231 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850342] ppid=850321 vsize=19041612 memory=13855165887284967 CPUtime=0 cores=5,7
/proc/850324/task/850342/stat : 850342 (Common-Cleaner) S 850321 850324 844789 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 164840240 19498610688 17231 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850343] ppid=850321 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/850324/task/850343/stat : 850343 (Timer-0) S 850321 850324 844789 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 164840254 19498610688 17231 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 68924 KiB

[startup+0.306112 s]*
/proc/loadavg: 4.10 4.13 4.16 7/330 850343
/proc/meminfo: memFree=112792856/131524600 swapFree=131071996/131071996
[pid=850324] ppid=850321 vsize=19041612 memory=75908 CPUtime=0.51 cores=5,7
/proc/850324/stat : 850324 (java) S 850321 850324 844789 0 -1 1077936128 10132 0 0 0 49 2 0 0 20 0 19 0 164840237 19498610688 18977 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
/proc/850324/statm: 4760403 18977 5880 1 0 551392 0
[pid=850324/tid=850326] ppid=850321 vsize=19041612 memory=-9104984786980938428 CPUtime=0.26 cores=5,7
/proc/850324/task/850326/stat : 850326 (java) R 850321 850324 844789 0 -1 4194368 6049 0 0 0 24 2 0 0 20 0 19 0 164840237 19498610688 18977 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850335] ppid=850321 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/850324/task/850335/stat : 850335 (Finalizer) S 850321 850324 844789 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 164840240 19498610688 18977 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850342] ppid=850321 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/850324/task/850342/stat : 850342 (Common-Cleaner) S 850321 850324 844789 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 164840240 19498610688 18977 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850343] ppid=850321 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/850324/task/850343/stat : 850343 (Timer-0) S 850321 850324 844789 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 164840254 19498610688 18977 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 75908 KiB

[startup+0.701115 s]
/proc/loadavg: 4.10 4.13 4.16 7/330 850343
/proc/meminfo: memFree=112779812/131524600 swapFree=131071996/131071996
[pid=850324] ppid=850321 vsize=19042448 memory=92768 CPUtime=1.28 cores=5,7
/proc/850324/stat : 850324 (java) S 850321 850324 844789 0 -1 1077936128 11832 0 0 0 125 3 0 0 20 0 19 0 164840237 19499466752 23192 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
/proc/850324/statm: 4760612 23192 5880 1 0 552438 0
[pid=850324/tid=850326] ppid=850321 vsize=19042448 memory=41536 CPUtime=0.62 cores=5,7
/proc/850324/task/850326/stat : 850326 (java) R 850321 850324 844789 0 -1 4194368 6113 0 0 0 60 2 0 0 20 0 19 0 164840237 19499466752 23192 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850335] ppid=850321 vsize=19042448 memory=13072 CPUtime=0 cores=5,7
/proc/850324/task/850335/stat : 850335 (Finalizer) S 850321 850324 844789 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 164840240 19499466752 23192 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850342] ppid=850321 vsize=19042448 memory=2280 CPUtime=0 cores=5,7
/proc/850324/task/850342/stat : 850342 (Common-Cleaner) S 850321 850324 844789 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 164840240 19499466752 23192 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850343] ppid=850321 vsize=19042448 memory=5528 CPUtime=0 cores=5,7
/proc/850324/task/850343/stat : 850343 (Timer-0) S 850321 850324 844789 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 164840254 19499466752 23192 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19042448 KiB
Current children cumulated memory: 92768 KiB

[startup+1.50024 s]
/proc/loadavg: 4.10 4.13 4.16 6/330 850343
/proc/meminfo: memFree=112755688/131524600 swapFree=131071996/131071996
[pid=850324] ppid=850321 vsize=19041612 memory=139284 CPUtime=2.48 cores=5,7
/proc/850324/stat : 850324 (java) S 850321 850324 844789 0 -1 1077936128 15431 0 0 0 243 5 0 0 20 0 19 0 164840237 19498610688 34821 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
/proc/850324/statm: 4760403 34821 5880 1 0 552662 0
[pid=850324/tid=850326] ppid=850321 vsize=19041612 memory=13072 CPUtime=1.41 cores=5,7
/proc/850324/task/850326/stat : 850326 (java) R 850321 850324 844789 0 -1 4194368 6511 0 0 0 138 3 0 0 20 0 19 0 164840237 19498610688 34821 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850335] ppid=850321 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/850324/task/850335/stat : 850335 (Finalizer) S 850321 850324 844789 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 164840240 19498610688 34821 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850342] ppid=850321 vsize=19041612 memory=2280 CPUtime=0 cores=5,7
/proc/850324/task/850342/stat : 850342 (Common-Cleaner) S 850321 850324 844789 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 164840240 19498610688 34821 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850343] ppid=850321 vsize=19041612 memory=5528 CPUtime=0 cores=5,7
/proc/850324/task/850343/stat : 850343 (Timer-0) S 850321 850324 844789 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 164840254 19498610688 34821 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
Current children cumulated CPU time: 2.48 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 139284 KiB

[startup+3.11212 s]
/proc/loadavg: 4.09 4.13 4.16 6/331 850344
/proc/meminfo: memFree=112650960/131524600 swapFree=131071996/131071996
[pid=850324] ppid=850321 vsize=19108176 memory=186944 CPUtime=4.23 cores=5,7
/proc/850324/stat : 850324 (java) S 850321 850324 844789 0 -1 1077936128 17444 0 0 0 417 6 0 0 20 0 20 0 164840237 19566772224 46736 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
/proc/850324/statm: 4777044 46736 5896 1 0 552954 0
[pid=850324/tid=850326] ppid=850321 vsize=19108176 memory=0 CPUtime=3.01 cores=5,7
/proc/850324/task/850326/stat : 850326 (java) R 850321 850324 844789 0 -1 4194368 7068 0 0 0 297 4 0 0 20 0 20 0 164840237 19566772224 46736 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850335] ppid=850321 vsize=19108176 memory=-9104984786980938428 CPUtime=0 cores=5,7
/proc/850324/task/850335/stat : 850335 (Finalizer) S 850321 850324 844789 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164840240 19566772224 46736 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850342] ppid=850321 vsize=19108176 memory=13072 CPUtime=0 cores=5,7
/proc/850324/task/850342/stat : 850342 (Common-Cleaner) S 850321 850324 844789 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 164840240 19566772224 46736 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850343] ppid=850321 vsize=19108176 memory=2280 CPUtime=0 cores=5,7
/proc/850324/task/850343/stat : 850343 (Timer-0) S 850321 850324 844789 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 164840254 19566772224 46736 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
Current children cumulated CPU time: 4.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 186944 KiB

[startup+6.30023 s]
/proc/loadavg: 4.09 4.13 4.16 6/331 850344
/proc/meminfo: memFree=112590312/131524600 swapFree=131071996/131071996
[pid=850324] ppid=850321 vsize=19108176 memory=232912 CPUtime=7.63 cores=5,7
/proc/850324/stat : 850324 (java) S 850321 850324 844789 0 -1 1077936128 19303 0 0 0 755 8 0 0 20 0 20 0 164840237 19566772224 58228 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
/proc/850324/statm: 4777044 58228 5896 1 0 553354 0
[pid=850324/tid=850326] ppid=850321 vsize=19108176 memory=2280 CPUtime=6.15 cores=5,7
/proc/850324/task/850326/stat : 850326 (java) R 850321 850324 844789 0 -1 4194368 7351 0 0 0 611 4 0 0 20 0 20 0 164840237 19566772224 58228 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850335] ppid=850321 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/850324/task/850335/stat : 850335 (Finalizer) S 850321 850324 844789 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164840240 19566772224 58228 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850342] ppid=850321 vsize=19108176 memory=13072 CPUtime=0 cores=5,7
/proc/850324/task/850342/stat : 850342 (Common-Cleaner) S 850321 850324 844789 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 164840240 19566772224 58228 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850343] ppid=850321 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=5,7
/proc/850324/task/850343/stat : 850343 (Timer-0) S 850321 850324 844789 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 164840254 19566772224 58228 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
Current children cumulated CPU time: 7.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 232912 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.12 4.16 6/331 850346
/proc/meminfo: memFree=112146732/131524600 swapFree=131071996/131071996
[pid=850324] ppid=850321 vsize=19108176 memory=350208 CPUtime=14.1 cores=5,7
/proc/850324/stat : 850324 (java) S 850321 850324 844789 0 -1 1077936128 21861 0 0 0 1399 11 0 0 20 0 20 0 164840237 19566772224 87552 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
/proc/850324/statm: 4777044 87552 5912 1 0 553354 0
[pid=850324/tid=850326] ppid=850321 vsize=19108176 memory=13072 CPUtime=12.39 cores=5,7
/proc/850324/task/850326/stat : 850326 (java) R 850321 850324 844789 0 -1 4194368 8164 0 0 0 1235 4 0 0 20 0 20 0 164840237 19566772224 87552 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850335] ppid=850321 vsize=19108176 memory=282424 CPUtime=0 cores=5,7
/proc/850324/task/850335/stat : 850335 (Finalizer) S 850321 850324 844789 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164840240 19566772224 87552 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850342] ppid=850321 vsize=19108176 memory=41536 CPUtime=0 cores=5,7
/proc/850324/task/850342/stat : 850342 (Common-Cleaner) S 850321 850324 844789 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 164840240 19566772224 87552 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850343] ppid=850321 vsize=19108176 memory=13072 CPUtime=0 cores=5,7
/proc/850324/task/850343/stat : 850343 (Timer-0) S 850321 850324 844789 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 164840254 19566772224 87552 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
Current children cumulated CPU time: 14.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 350208 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.12 4.16 6/331 850347
/proc/meminfo: memFree=111838284/131524600 swapFree=131071996/131071996
[pid=850324] ppid=850321 vsize=19108176 memory=598624 CPUtime=26.95 cores=5,7
/proc/850324/stat : 850324 (java) S 850321 850324 844789 0 -1 1077936128 25562 0 0 0 2679 16 0 0 20 0 20 0 164840237 19566772224 149656 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
/proc/850324/statm: 4777044 149656 5928 1 0 553354 0
[pid=850324/tid=850326] ppid=850321 vsize=19108176 memory=6943526294502006880 CPUtime=24.91 cores=5,7
/proc/850324/task/850326/stat : 850326 (java) R 850321 850324 844789 0 -1 4194368 9593 0 0 0 2487 4 0 0 20 0 20 0 164840237 19566772224 149656 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850335] ppid=850321 vsize=19108176 memory=11444 CPUtime=0 cores=5,7
/proc/850324/task/850335/stat : 850335 (Finalizer) S 850321 850324 844789 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164840240 19566772224 149656 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850342] ppid=850321 vsize=19108176 memory=3461 CPUtime=0 cores=5,7
/proc/850324/task/850342/stat : 850342 (Common-Cleaner) S 850321 850324 844789 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 164840240 19566772224 149656 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850343] ppid=850321 vsize=19108176 memory=13072 CPUtime=0 cores=5,7
/proc/850324/task/850343/stat : 850343 (Timer-0) S 850321 850324 844789 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 164840254 19566772224 149656 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
Current children cumulated CPU time: 26.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 598624 KiB

[startup+51.1056 s]
/proc/loadavg: 4.10 4.12 4.16 6/331 850352
/proc/meminfo: memFree=111172300/131524600 swapFree=131071996/131071996
[pid=850324] ppid=850321 vsize=19108176 memory=1060264 CPUtime=52.77 cores=5,7
/proc/850324/stat : 850324 (java) S 850321 850324 844789 0 -1 1077936128 29031 0 0 0 5251 26 0 0 20 0 20 0 164840237 19566772224 265066 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
/proc/850324/statm: 4777044 265066 5928 1 0 553354 0

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

[startup+3282.3 s]
/proc/loadavg: 3.40 3.89 4.06 4/307 852230
/proc/meminfo: memFree=112517344/131524600 swapFree=131071996/131071996
[pid=850324] ppid=850321 vsize=19174740 memory=2047320 CPUtime=3295.59 cores=5,7
/proc/850324/stat : 850324 (java) S 850321 850324 844789 0 -1 1077936128 314249 0 0 0 329374 185 0 0 20 0 21 0 164840237 19634933760 511830 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
/proc/850324/statm: 4793685 511830 5941 1 0 523430 0
[pid=850324/tid=850326] ppid=850321 vsize=19174740 memory=2047320 CPUtime=3261.5 cores=5,7
/proc/850324/task/850326/stat : 850326 (java) R 850321 850324 844789 0 -1 4194368 94739 0 0 0 326101 49 0 0 20 0 21 0 164840237 19634933760 511830 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850335] ppid=850321 vsize=19174740 memory=2047320 CPUtime=0 cores=5,7
/proc/850324/task/850335/stat : 850335 (Finalizer) S 850321 850324 844789 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 164840240 19634933760 511830 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850342] ppid=850321 vsize=19174740 memory=2047320 CPUtime=0 cores=5,7
/proc/850324/task/850342/stat : 850342 (Common-Cleaner) S 850321 850324 844789 0 -1 1077936192 2857 0 0 0 0 0 0 0 20 0 21 0 164840240 19634933760 511830 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850343] ppid=850321 vsize=19174740 memory=8140 CPUtime=0 cores=5,7
/proc/850324/task/850343/stat : 850343 (Timer-0) S 850321 850324 844789 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 164840254 19634933760 511830 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
Current children cumulated CPU time: 3295.59 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 2047320 KiB

[startup+3342.3 s]
/proc/loadavg: 3.18 3.74 3.99 4/307 852241
/proc/meminfo: memFree=112517008/131524600 swapFree=131071996/131071996
[pid=850324] ppid=850321 vsize=19174740 memory=2047332 CPUtime=3355.59 cores=5,7
/proc/850324/stat : 850324 (java) S 850321 850324 844789 0 -1 1077936128 316072 0 0 0 335372 187 0 0 20 0 21 0 164840237 19634933760 511833 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
/proc/850324/statm: 4793685 511833 5941 1 0 523430 0
[pid=850324/tid=850326] ppid=850321 vsize=19174740 memory=2047332 CPUtime=3321.29 cores=5,7
/proc/850324/task/850326/stat : 850326 (java) R 850321 850324 844789 0 -1 4194368 96148 0 0 0 332080 49 0 0 20 0 21 0 164840237 19634933760 511833 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850335] ppid=850321 vsize=19174740 memory=2047332 CPUtime=0 cores=5,7
/proc/850324/task/850335/stat : 850335 (Finalizer) S 850321 850324 844789 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 164840240 19634933760 511833 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850342] ppid=850321 vsize=19174740 memory=5528 CPUtime=0 cores=5,7
/proc/850324/task/850342/stat : 850342 (Common-Cleaner) S 850321 850324 844789 0 -1 1077936192 2857 0 0 0 0 0 0 0 20 0 21 0 164840240 19634933760 511833 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850343] ppid=850321 vsize=19174740 memory=32188 CPUtime=0 cores=5,7
/proc/850324/task/850343/stat : 850343 (Timer-0) S 850321 850324 844789 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 164840254 19634933760 511833 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
Current children cumulated CPU time: 3355.59 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 2047332 KiB

[startup+3402.3 s]
/proc/loadavg: 3.12 3.62 3.93 4/307 852251
/proc/meminfo: memFree=112516676/131524600 swapFree=131071996/131071996
[pid=850324] ppid=850321 vsize=19174740 memory=2047336 CPUtime=3415.6 cores=5,7
/proc/850324/stat : 850324 (java) S 850321 850324 844789 0 -1 1077936128 318074 0 0 0 341372 188 0 0 20 0 21 0 164840237 19634933760 511834 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
/proc/850324/statm: 4793685 511834 5941 1 0 523430 0
[pid=850324/tid=850326] ppid=850321 vsize=19174740 memory=11444 CPUtime=3381.07 cores=5,7
/proc/850324/task/850326/stat : 850326 (java) R 850321 850324 844789 0 -1 4194368 96750 0 0 0 338058 49 0 0 20 0 21 0 164840237 19634933760 511834 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850335] ppid=850321 vsize=19174740 memory=2047336 CPUtime=0 cores=5,7
/proc/850324/task/850335/stat : 850335 (Finalizer) S 850321 850324 844789 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 164840240 19634933760 511834 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850342] ppid=850321 vsize=19174740 memory=2047336 CPUtime=0 cores=5,7
/proc/850324/task/850342/stat : 850342 (Common-Cleaner) S 850321 850324 844789 0 -1 1077936192 2991 0 0 0 0 0 0 0 20 0 21 0 164840240 19634933760 511834 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850343] ppid=850321 vsize=19174740 memory=11444 CPUtime=0 cores=5,7
/proc/850324/task/850343/stat : 850343 (Timer-0) S 850321 850324 844789 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 164840254 19634933760 511834 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
Current children cumulated CPU time: 3415.6 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 2047336 KiB

[startup+3462.3 s]
/proc/loadavg: 3.09 3.52 3.88 4/308 852264
/proc/meminfo: memFree=112514128/131524600 swapFree=131071996/131071996
[pid=850324] ppid=850321 vsize=19174740 memory=2049384 CPUtime=3475.52 cores=5,7
/proc/850324/stat : 850324 (java) S 850321 850324 844789 0 -1 1077936128 320149 0 0 0 347362 190 0 0 20 0 21 0 164840237 19634933760 512346 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
/proc/850324/statm: 4793685 512346 5941 1 0 523430 0
[pid=850324/tid=850326] ppid=850321 vsize=19174740 memory=11444 CPUtime=3440.92 cores=5,7
/proc/850324/task/850326/stat : 850326 (java) R 850321 850324 844789 0 -1 4194368 98490 0 0 0 344043 49 0 0 20 0 21 0 164840237 19634933760 512346 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850335] ppid=850321 vsize=19174740 memory=2047336 CPUtime=0 cores=5,7
/proc/850324/task/850335/stat : 850335 (Finalizer) S 850321 850324 844789 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 164840240 19634933760 512346 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850342] ppid=850321 vsize=19174740 memory=13072 CPUtime=0 cores=5,7
/proc/850324/task/850342/stat : 850342 (Common-Cleaner) S 850321 850324 844789 0 -1 1077936192 3136 0 0 0 0 0 0 0 20 0 21 0 164840240 19634933760 512346 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850343] ppid=850321 vsize=19174740 memory=13072 CPUtime=0 cores=5,7
/proc/850324/task/850343/stat : 850343 (Timer-0) S 850321 850324 844789 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 164840254 19634933760 512346 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
Current children cumulated CPU time: 3475.52 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 2049384 KiB

[startup+3522.3 s]
/proc/loadavg: 3.18 3.47 3.84 4/287 852292
/proc/meminfo: memFree=121900692/131524600 swapFree=131071996/131071996
[pid=850324] ppid=850321 vsize=19174740 memory=2074628 CPUtime=3536.52 cores=5,7
/proc/850324/stat : 850324 (java) S 850321 850324 844789 0 -1 1077936128 332613 0 0 0 353460 192 0 0 20 0 21 0 164840237 19634933760 518657 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
/proc/850324/statm: 4793685 518657 5941 1 0 531782 0
[pid=850324/tid=850326] ppid=850321 vsize=19174740 memory=2049384 CPUtime=3500.42 cores=5,7
/proc/850324/task/850326/stat : 850326 (java) R 850321 850324 844789 0 -1 4194368 101408 0 0 0 349992 50 0 0 20 0 21 0 164840237 19634933760 518657 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850335] ppid=850321 vsize=19174740 memory=2049412 CPUtime=0 cores=5,7
/proc/850324/task/850335/stat : 850335 (Finalizer) S 850321 850324 844789 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 164840240 19634933760 518657 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850342] ppid=850321 vsize=19174740 memory=2049412 CPUtime=0 cores=5,7
/proc/850324/task/850342/stat : 850342 (Common-Cleaner) S 850321 850324 844789 0 -1 1077936192 3137 0 0 0 0 0 0 0 20 0 21 0 164840240 19634933760 518657 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850343] ppid=850321 vsize=19174740 memory=11444 CPUtime=0 cores=5,7
/proc/850324/task/850343/stat : 850343 (Timer-0) S 850321 850324 844789 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 164840254 19634933760 518657 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
Current children cumulated CPU time: 3536.52 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 2074628 KiB

[startup+3582.3 s]
/proc/loadavg: 2.46 3.21 3.72 3/280 852318
/proc/meminfo: memFree=122141020/131524600 swapFree=131071996/131071996
[pid=850324] ppid=850321 vsize=19174740 memory=2083000 CPUtime=3596.64 cores=5,7
/proc/850324/stat : 850324 (java) S 850321 850324 844789 0 -1 1077936128 333697 0 0 0 359470 194 0 0 20 0 21 0 164840237 19634933760 520750 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
/proc/850324/statm: 4793685 520750 5941 1 0 531782 0
[pid=850324/tid=850326] ppid=850321 vsize=19174740 memory=2083000 CPUtime=3560.01 cores=5,7
/proc/850324/task/850326/stat : 850326 (java) R 850321 850324 844789 0 -1 4194368 101923 0 0 0 355951 50 0 0 20 0 21 0 164840237 19634933760 520750 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850335] ppid=850321 vsize=19174740 memory=2083000 CPUtime=0 cores=5,7
/proc/850324/task/850335/stat : 850335 (Finalizer) S 850321 850324 844789 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 164840240 19634933760 520750 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850342] ppid=850321 vsize=19174740 memory=13072 CPUtime=0 cores=5,7
/proc/850324/task/850342/stat : 850342 (Common-Cleaner) S 850321 850324 844789 0 -1 1077936192 3191 0 0 0 0 0 0 0 20 0 21 0 164840240 19634933760 520750 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850343] ppid=850321 vsize=19174740 memory=2083000 CPUtime=0 cores=5,7
/proc/850324/task/850343/stat : 850343 (Timer-0) S 850321 850324 844789 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 164840254 19634933760 520750 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
Current children cumulated CPU time: 3596.64 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 2083000 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3585.7 s]
/proc/loadavg: 2.51 3.21 3.72 3/280 852319
/proc/meminfo: memFree=122140888/131524600 swapFree=131071996/131071996
[pid=850324] ppid=850321 vsize=19174740 memory=2083000 CPUtime=3600.03 cores=5,7
/proc/850324/stat : 850324 (java) S 850321 850324 844789 0 -1 1077936128 333740 0 0 0 359809 194 0 0 20 0 21 0 164840237 19634933760 520750 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
/proc/850324/statm: 4793685 520750 5941 1 0 531782 0
[pid=850324/tid=850326] ppid=850321 vsize=19174740 memory=2083000 CPUtime=3563.4 cores=5,7
/proc/850324/task/850326/stat : 850326 (java) R 850321 850324 844789 0 -1 4194368 101966 0 0 0 356290 50 0 0 20 0 21 0 164840237 19634933760 520750 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850335] ppid=850321 vsize=19174740 memory=2280 CPUtime=0 cores=5,7
/proc/850324/task/850335/stat : 850335 (Finalizer) S 850321 850324 844789 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 164840240 19634933760 520750 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850342] ppid=850321 vsize=19174740 memory=32188 CPUtime=0 cores=5,7
/proc/850324/task/850342/stat : 850342 (Common-Cleaner) S 850321 850324 844789 0 -1 1077936192 3191 0 0 0 0 0 0 0 20 0 21 0 164840240 19634933760 520750 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850343] ppid=850321 vsize=19174740 memory=2083000 CPUtime=0 cores=5,7
/proc/850324/task/850343/stat : 850343 (Timer-0) S 850321 850324 844789 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 164840254 19634933760 520750 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 2083000 KiB

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

[startup+3585.83 s]
# the end of solver process 850324 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3598.32 s, system=1.95618 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3585.81 s]
/proc/loadavg: 2.51 3.21 3.72 3/280 852319
/proc/meminfo: memFree=122140888/131524600 swapFree=131071996/131071996
[pid=850324] ppid=850321 vsize=19374432 memory=2083604 CPUtime=3600.23 cores=5,7
/proc/850324/stat : 850324 (java) S 850321 850324 844789 0 -1 1077936128 335664 0 0 0 359829 194 0 0 20 0 22 0 164840237 19839418368 520901 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
/proc/850324/statm: 4843608 520901 5940 1 0 532701 0
[pid=850324/tid=850326] ppid=850321 vsize=19374432 memory=100 CPUtime=3563.5 cores=5,7
/proc/850324/task/850326/stat : 850326 (java) R 850321 850324 844789 0 -1 4194368 102070 0 0 0 356300 50 0 0 20 0 22 0 164840237 19839418368 520901 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850335] ppid=850321 vsize=19374432 memory=-9104984786980938428 CPUtime=0 cores=5,7
/proc/850324/task/850335/stat : 850335 (Finalizer) S 850321 850324 844789 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 22 0 164840240 19839418368 520901 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
[pid=850324/tid=850342] ppid=850321 vsize=19374432 memory=41536 CPUtime=0 cores=5,7
/proc/850324/task/850342/stat : 850342 (Common-Cleaner) S 850321 850324 844789 0 -1 1077936192 3191 0 0 0 0 0 0 0 20 0 22 0 164840240 19839418368 520901 134679101440 94542573117440 94542573121136 140721334469152 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94542573128952 94542573129744 94542579453952 140721334473735 140721334473825 140721334473825 140721334480840 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19374432 KiB
Current children cumulated memory: 2083604 KiB

Child status: 143

Real time (s): 3585.83
CPU time (s): 3600.28
CPU user time (s): 3598.32
CPU system time (s): 1.95618
CPU usage (%): 100.403
Max. virtual memory (cumulated for all children) (KiB): 19374432
Max. memory (cumulated for all children) (KiB): 2169576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.32
system time used= 1.95618
maximum resident set size= 2169584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 335916
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115066
involuntary context switches= 6809


# summary of solver processes directly reported to runsolver:
#   pid: 850324
#   total CPU time (s): 3600.28
#   total CPU user time (s): 3598.32
#   total CPU system time (s): 1.95618

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.3116 second user time and 17.3105 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2024-07-16 12:46:06
IDJOB=4432424
IDBENCH=155338
IDSOLVER=3058
FILE ID=nodeC024/4432424-1721126753
RUNJOBID= nodeC024-1721119571-844802
SLURM_JOB_ID= 7505670
Free space on /tmp= 889840 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-go19.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432424-1721126753/watcher-4432424-1721126753 -o /tmp/evaluation-result-4432424-1721126753/solver-4432424-1721126753 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721119571-844802 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432424-1721126753.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 51fa3ae0158cc49e421df545accb4e20
RANDOM SEED=656734

nodeC024.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3650.090
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3687.657
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.884
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3620.217
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3668.879
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3646.933
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.079
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3656.045
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        112850132 kB
MemAvailable:   117438996 kB
Buffers:          406544 kB
Cached:          4966464 kB
SwapCached:            0 kB
Active:           942400 kB
Inactive:       16998548 kB
Active(anon):       1540 kB
Inactive(anon): 12604112 kB
Active(file):     940860 kB
Inactive(file):  4394436 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               880 kB
Writeback:             0 kB
AnonPages:      12567864 kB
Mapped:           124476 kB
Shmem:             37720 kB
KReclaimable:     186428 kB
Slab:             303172 kB
SReclaimable:     186428 kB
SUnreclaim:       116744 kB
KernelStack:        5024 kB
PageTables:        34680 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   20181556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61376 kB
HardwareCorrupted:     0 kB
AnonHugePages:  12247040 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      240340 kB
DirectMap2M:    23650304 kB
DirectMap1G:    112197632 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC024 at 2024-07-16 13:45:52