Trace number 4453654

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 NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07? (TO) 3600.24 3598.1

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
larger/fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-4000.shuf-3.opb
MD5SUM90e219b8c5705857cfd3b9fc00c31b1d
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.456108
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables16001
Total number of constraints8000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)938
Number of constraints which are nor clauses,nor cardinality constraints7062
Minimum length of a constraint4
Maximum length of a constraint5
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.12/0.12	--- Begin Solver configuration ---
0.12/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.12/0.12	Learn all clauses as in MiniSAT
0.12/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.12	No reason simplification
0.12/0.12	Glucose 2.1 dynamic restart strategy
0.12/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.12/0.12	timeout=2147483s
0.12/0.12	DB Simplification allowed=false
0.12/0.12	Listener: none
0.12/0.12	--- End Solver configuration ---
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c No reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	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.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4453654-1721491673.opb
0.12/0.13	c reading problem ... 
0.12/0.13	c  no objective function found
0.71/0.46	c ... done. Wall clock time 0.328s.
0.71/0.46	c declared #vars     16001
0.71/0.46	c #constraints  8000
0.71/0.46	c constraints type 
0.71/0.46	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 8000
0.71/0.46	c 8000 constraints processed.
1.67/0.95	c cleaning 2485 clauses out of 5000 with flag 23682/5000
2.03/1.11	c cleaning 4252 clauses out of 8515 with flag 55825/11000
2.21/1.22	c cleaning 5596 clauses out of 11264 with flag 91220/18001
2.42/1.35	c cleaning 6748 clauses out of 13668 with flag 133798/26001
2.55/1.49	c cleaning 7956 clauses out of 15920 with flag 178657/35001
2.75/1.63	c cleaning 8943 clauses out of 17963 with flag 236572/45000
2.85/1.79	c cleaning 9959 clauses out of 20020 with flag 295756/56000
3.04/1.98	c cleaning 11020 clauses out of 22061 with flag 361335/68000
3.34/2.20	c cleaning 11971 clauses out of 24041 with flag 432355/81000
3.54/2.44	c cleaning 13012 clauses out of 26070 with flag 512962/95000
3.94/2.80	c cleaning 14002 clauses out of 28058 with flag 614153/110000
4.24/3.19	c cleaning 15004 clauses out of 30056 with flag 721393/126000
4.66/3.56	c cleaning 15961 clauses out of 32052 with flag 823872/143000
4.98/3.86	c cleaning 17005 clauses out of 34091 with flag 924545/161000
5.47/4.30	c cleaning 18009 clauses out of 36087 with flag 1040186/180001
5.77/4.61	c cleaning 18967 clauses out of 38078 with flag 1146973/200001
6.07/4.92	c cleaning 20031 clauses out of 40110 with flag 1263105/221000
6.46/5.32	c cleaning 20990 clauses out of 42079 with flag 1391524/243000
6.86/5.73	c cleaning 22019 clauses out of 44089 with flag 1518420/266000
7.45/6.33	c cleaning 23028 clauses out of 46070 with flag 1673113/290000
7.86/6.76	c cleaning 23994 clauses out of 48045 with flag 1812044/315003
8.35/7.22	c cleaning 24959 clauses out of 50048 with flag 1957921/341000
8.85/7.77	c cleaning 26019 clauses out of 52089 with flag 2116791/368000
9.44/8.35	c cleaning 26986 clauses out of 54070 with flag 2274101/396000
10.04/8.92	c cleaning 28022 clauses out of 56084 with flag 2436543/425000
10.73/9.65	c cleaning 29016 clauses out of 58062 with flag 2620414/455000
11.52/10.49	c cleaning 29974 clauses out of 60046 with flag 2819634/486000
12.12/11.06	c cleaning 31016 clauses out of 62072 with flag 3005594/518000
12.71/11.61	c cleaning 31989 clauses out of 64056 with flag 3188392/551000
13.41/12.36	c cleaning 32910 clauses out of 66067 with flag 3388960/585000
14.00/12.97	c cleaning 33931 clauses out of 68158 with flag 3582175/620001
14.80/13.73	c cleaning 35013 clauses out of 70228 with flag 3785900/656002
15.39/14.38	c cleaning 36021 clauses out of 72213 with flag 3992167/693000
16.58/15.54	c cleaning 37007 clauses out of 74193 with flag 4220373/731001
17.57/16.59	c cleaning 38076 clauses out of 76185 with flag 4468915/770000
18.76/17.71	c cleaning 39006 clauses out of 78111 with flag 4729133/810002
19.75/18.72	c cleaning 40001 clauses out of 80105 with flag 4979466/851002
20.44/19.45	c cleaning 41032 clauses out of 82103 with flag 5212879/893001
21.43/20.42	c cleaning 41982 clauses out of 84070 with flag 5470987/936000
22.22/21.21	c cleaning 42929 clauses out of 86088 with flag 5724815/980000
23.02/22.07	c cleaning 44040 clauses out of 88160 with flag 5984819/1025001
24.40/23.41	c cleaning 45012 clauses out of 90120 with flag 6276206/1071001
25.49/24.51	c cleaning 46025 clauses out of 92108 with flag 6557200/1118001
26.18/25.30	c cleaning 46974 clauses out of 94082 with flag 6837325/1166000
27.08/26.14	c cleaning 47930 clauses out of 96108 with flag 7133760/1215000
28.08/27.17	c cleaning 49085 clauses out of 98178 with flag 7439416/1265000
29.26/28.32	c cleaning 50013 clauses out of 100093 with flag 7730604/1316000
30.25/29.37	c cleaning 50932 clauses out of 102080 with flag 8026925/1368000
31.34/30.46	c cleaning 52054 clauses out of 104148 with flag 8345356/1421000
32.53/31.68	c cleaning 52981 clauses out of 106095 with flag 8668302/1475001
33.91/33.04	c cleaning 54023 clauses out of 108114 with flag 9006265/1530001
35.11/34.22	c cleaning 54995 clauses out of 110091 with flag 9338441/1586001
36.29/35.45	c cleaning 56008 clauses out of 112096 with flag 9675147/1643001
37.48/36.64	c cleaning 56946 clauses out of 114087 with flag 10029040/1701000
38.87/38.10	c cleaning 58006 clauses out of 116142 with flag 10384511/1760001
40.16/39.36	c cleaning 59042 clauses out of 118136 with flag 10725422/1820001
41.56/40.79	c cleaning 60001 clauses out of 120093 with flag 11095870/1881000
42.76/41.96	c cleaning 61024 clauses out of 122092 with flag 11453495/1943000
44.05/43.27	c cleaning 62018 clauses out of 124068 with flag 11820023/2006000
45.63/44.87	c cleaning 62970 clauses out of 126052 with flag 12216351/2070002
47.32/46.50	c cleaning 64009 clauses out of 128080 with flag 12591340/2135000
48.60/47.83	c cleaning 64994 clauses out of 130072 with flag 12972779/2201001
49.80/49.04	c cleaning 65916 clauses out of 132080 with flag 13346918/2268003
51.27/50.50	c cleaning 67020 clauses out of 134162 with flag 13730297/2336001
52.67/51.98	c cleaning 68037 clauses out of 136141 with flag 14124930/2405000
54.15/53.43	c cleaning 69023 clauses out of 138104 with flag 14512301/2475000
55.64/54.93	c cleaning 70024 clauses out of 140081 with flag 14922010/2546000
57.35/56.65	c cleaning 70978 clauses out of 142058 with flag 15348138/2618001
59.33/58.63	c cleaning 72019 clauses out of 144081 with flag 15796809/2691002
60.52/59.86	c cleaning 72905 clauses out of 146060 with flag 16245250/2765000
62.40/61.77	c cleaning 74072 clauses out of 148155 with flag 16715510/2840000
63.89/63.26	c cleaning 75015 clauses out of 150083 with flag 17176675/2916000
65.37/64.74	c cleaning 75866 clauses out of 152068 with flag 17630831/2993000
66.76/66.19	c cleaning 76973 clauses out of 154203 with flag 18118703/3071001
68.45/67.81	c cleaning 78102 clauses out of 156229 with flag 18602547/3150000
70.13/69.54	c cleaning 79046 clauses out of 158127 with flag 19085655/3230000
72.05/71.46	c cleaning 79956 clauses out of 160081 with flag 19591198/3311000
74.23/73.63	c cleaning 81009 clauses out of 162127 with flag 20083697/3393002
76.02/75.44	c cleaning 81850 clauses out of 164117 with flag 20573766/3476001
77.94/77.32	c cleaning 83063 clauses out of 166266 with flag 21060340/3560000
80.03/79.49	c cleaning 84018 clauses out of 168203 with flag 21562372/3645000
81.81/81.22	c cleaning 85074 clauses out of 170186 with flag 22059511/3731001
83.75/83.17	c cleaning 85983 clauses out of 172111 with flag 22551099/3818000
85.63/85.10	c cleaning 87010 clauses out of 174128 with flag 23047158/3906000
88.21/87.66	c cleaning 88010 clauses out of 176120 with flag 23593075/3995002
91.28/90.77	c cleaning 89008 clauses out of 178109 with flag 24154113/4085001
93.52/92.99	c cleaning 89974 clauses out of 180100 with flag 24678842/4176000
95.60/95.07	c cleaning 90984 clauses out of 182126 with flag 25208074/4268000
97.58/97.05	c cleaning 92031 clauses out of 184142 with flag 25746500/4361000
100.12/99.58	c cleaning 93031 clauses out of 186111 with flag 26301935/4455000
102.22/101.68	c cleaning 93927 clauses out of 188082 with flag 26844333/4550002
104.22/103.60	c cleaning 95019 clauses out of 190155 with flag 27393620/4646002
106.38/105.77	c cleaning 96011 clauses out of 192135 with flag 27958905/4743001
108.97/108.38	c cleaning 96974 clauses out of 194123 with flag 28540257/4841000
111.07/110.49	c cleaning 98046 clauses out of 196149 with flag 29101219/4940000
113.36/112.76	c cleaning 98874 clauses out of 198103 with flag 29713701/5040000
115.72/115.01	c cleaning 99938 clauses out of 200230 with flag 30323211/5141001
119.11/118.47	c cleaning 101043 clauses out of 202292 with flag 30972943/5243001
121.56/120.84	c cleaning 102100 clauses out of 204248 with flag 31554368/5346000
123.46/122.75	c cleaning 103022 clauses out of 206148 with flag 32143895/5450000
125.56/124.88	c cleaning 103949 clauses out of 208126 with flag 32744809/5555000
127.96/127.25	c cleaning 105065 clauses out of 210177 with flag 33359899/5661000
130.29/129.58	c cleaning 106042 clauses out of 212113 with flag 33970082/5768001
132.98/132.28	c cleaning 106934 clauses out of 214070 with flag 34612649/5876000
135.85/135.03	c cleaning 107994 clauses out of 216137 with flag 35246070/5985001
138.64/137.82	c cleaning 109061 clauses out of 218142 with flag 35897867/6095000
141.23/140.41	c cleaning 110010 clauses out of 220081 with flag 36535917/6206000
144.08/143.22	c cleaning 110993 clauses out of 222073 with flag 37230109/6318002
146.77/145.91	c cleaning 111873 clauses out of 224078 with flag 37889246/6431000
149.17/148.38	c cleaning 113082 clauses out of 226205 with flag 38548122/6545000
152.31/151.42	c cleaning 114039 clauses out of 228123 with flag 39229900/6660000
154.91/154.08	c cleaning 114914 clauses out of 230085 with flag 39899881/6776001
157.80/156.90	c cleaning 116024 clauses out of 232170 with flag 40595670/6893000
160.79/159.98	c cleaning 117038 clauses out of 234146 with flag 41308407/7011000
164.25/163.36	c cleaning 117971 clauses out of 236109 with flag 42028128/7130001
167.35/166.41	c cleaning 119050 clauses out of 238138 with flag 42743098/7250001
169.84/168.96	c cleaning 119930 clauses out of 240089 with flag 43437536/7371002
172.83/171.96	c cleaning 121063 clauses out of 242161 with flag 44164580/7493004
176.41/175.42	c cleaning 122006 clauses out of 244094 with flag 44876393/7616000
179.01/178.06	c cleaning 122998 clauses out of 246089 with flag 45583832/7740001
182.69/181.72	c cleaning 123993 clauses out of 248090 with flag 46356532/7865000
186.48/185.50	c cleaning 125043 clauses out of 250097 with flag 47124538/7991000
189.25/188.25	c cleaning 125977 clauses out of 252054 with flag 47858157/8118000
193.81/192.89	c cleaning 127020 clauses out of 254077 with flag 48671497/8246000
196.99/196.06	c cleaning 127979 clauses out of 256059 with flag 49425224/8375002
200.86/199.99	c cleaning 129013 clauses out of 258078 with flag 50215182/8505000
205.02/204.19	c cleaning 130007 clauses out of 260066 with flag 51016799/8636001
208.77/207.45	c cleaning 131015 clauses out of 262058 with flag 51788202/8768000
211.97/210.62	c cleaning 132015 clauses out of 264043 with flag 52571880/8901000
215.26/213.99	c cleaning 132986 clauses out of 266028 with flag 53345761/9035000
219.25/217.95	c cleaning 134004 clauses out of 268043 with flag 54174696/9170001
222.94/221.61	c cleaning 134980 clauses out of 270038 with flag 54989170/9306000
226.71/225.38	c cleaning 135988 clauses out of 272058 with flag 55809690/9443000
230.20/228.81	c cleaning 137011 clauses out of 274071 with flag 56638377/9581001
233.89/232.52	c cleaning 137975 clauses out of 276059 with flag 57464822/9720000
237.40/236.04	c cleaning 139015 clauses out of 278084 with flag 58302396/9860000
240.88/239.57	c cleaning 139935 clauses out of 280070 with flag 59136559/10001001
244.78/243.35	c cleaning 141044 clauses out of 282134 with flag 59983018/10143000
249.36/247.95	c cleaning 141992 clauses out of 284090 with flag 60846994/10286000
253.35/251.97	c cleaning 143011 clauses out of 286098 with flag 61708309/10430000
256.85/255.45	c cleaning 143933 clauses out of 288087 with flag 62556681/10575000
260.84/259.47	c cleaning 145035 clauses out of 290154 with flag 63419234/10721000
264.53/263.00	c cleaning 146017 clauses out of 292120 with flag 64268009/10868001
268.22/266.78	c cleaning 146903 clauses out of 294102 with flag 65153860/11016000
272.12/270.68	c cleaning 148077 clauses out of 296199 with flag 66032959/11165000
275.71/274.24	c cleaning 148838 clauses out of 298124 with flag 66908694/11315002
279.43/277.95	c cleaning 150107 clauses out of 300285 with flag 67850767/11466001
283.41/281.87	c cleaning 151055 clauses out of 302178 with flag 68797862/11618001
287.90/286.34	c cleaning 151946 clauses out of 304122 with flag 69741499/11771000
291.79/290.20	c cleaning 153064 clauses out of 306177 with flag 70673711/11925001
295.29/293.79	c cleaning 153951 clauses out of 308114 with flag 71562322/12080002
298.98/297.43	c cleaning 154994 clauses out of 310163 with flag 72474340/12236002
304.50/302.89	c cleaning 156005 clauses out of 312168 with flag 73399708/12393001
308.37/306.76	c cleaning 157006 clauses out of 314163 with flag 74331138/12551001
312.43/310.90	c cleaning 157990 clauses out of 316156 with flag 75254993/12710000
317.00/315.48	c cleaning 159035 clauses out of 318166 with flag 76213222/12870000
321.36/319.80	c cleaning 160029 clauses out of 320131 with flag 77171694/13031000
325.91/324.46	c cleaning 160934 clauses out of 322103 with flag 78131474/13193001
329.90/328.45	c cleaning 162040 clauses out of 324168 with flag 79108183/13356000
334.01/332.49	c cleaning 163037 clauses out of 326129 with flag 80062985/13520001
337.68/336.16	c cleaning 163984 clauses out of 328092 with flag 81041996/13685001
341.44/339.95	c cleaning 164983 clauses out of 330107 with flag 82036193/13851000
346.60/345.14	c cleaning 166018 clauses out of 332125 with flag 83051111/14018001
350.86/349.44	c cleaning 166962 clauses out of 334106 with flag 84028263/14186000
355.32/353.91	c cleaning 168048 clauses out of 336146 with flag 85039831/14355002
359.38/358.00	c cleaning 169017 clauses out of 338097 with flag 86040692/14525001
363.77/362.48	c cleaning 169943 clauses out of 340079 with flag 87048713/14696000
368.65/367.27	c cleaning 171045 clauses out of 342136 with flag 88074404/14868000
373.41/372.01	c cleaning 172038 clauses out of 344092 with flag 89091354/15041001
377.96/376.64	c cleaning 172990 clauses out of 346054 with flag 90114767/15215001
383.42/382.18	c cleaning 174028 clauses out of 348063 with flag 91172482/15390000
388.97/387.72	c cleaning 174895 clauses out of 350036 with flag 92248419/15566001
393.53/392.37	c cleaning 176031 clauses out of 352140 with flag 93269738/15743000
397.89/396.72	c cleaning 176902 clauses out of 354109 with flag 94336959/15921000
402.37/401.02	c cleaning 178044 clauses out of 356208 with flag 95391127/16100001
408.12/406.87	c cleaning 179058 clauses out of 358164 with flag 96480178/16280001
412.97/411.73	c cleaning 179971 clauses out of 360105 with flag 97553578/16461000
418.13/416.90	c cleaning 181030 clauses out of 362134 with flag 98639393/16643000
423.09/421.28	c cleaning 182000 clauses out of 364105 with flag 99708186/16826001
427.68/425.88	c cleaning 182973 clauses out of 366105 with flag 100845692/17010001
432.87/431.02	c cleaning 184046 clauses out of 368131 with flag 101956109/17195000
437.26/435.49	c cleaning 185031 clauses out of 370086 with flag 103035840/17381001
442.36/440.51	c cleaning 186010 clauses out of 372054 with flag 104136496/17568000
447.55/445.68	c cleaning 186860 clauses out of 374045 with flag 105255205/17756001
452.24/450.33	c cleaning 187883 clauses out of 376184 with flag 106352389/17945000
458.32/456.42	c cleaning 189121 clauses out of 378301 with flag 107504096/18135000
463.31/461.40	c cleaning 190008 clauses out of 380180 with flag 108621246/18326000
469.71/467.82	c cleaning 191001 clauses out of 382172 with flag 109789329/18518000
475.20/473.31	c cleaning 191997 clauses out of 384171 with flag 110923963/18711000
480.39/478.56	c cleaning 192929 clauses out of 386174 with flag 112036655/18905000
485.38/483.51	c cleaning 194103 clauses out of 388246 with flag 113175082/19100001
491.09/489.05	c cleaning 194984 clauses out of 390142 with flag 114323627/19296000
496.09/494.06	c cleaning 196066 clauses out of 392160 with flag 115464172/19493002
500.98/498.92	c cleaning 196954 clauses out of 394093 with flag 116610262/19691001
506.57/504.51	c cleaning 197922 clauses out of 396141 with flag 117771403/19890003
511.96/509.99	c cleaning 199057 clauses out of 398216 with flag 118960931/20090000
517.84/515.84	c cleaning 200036 clauses out of 400159 with flag 120157795/20291000
524.89/522.87	c cleaning 200965 clauses out of 402123 with flag 121366805/20493000
532.63/530.46	c cleaning 202059 clauses out of 404163 with flag 122618422/20696005
539.11/536.98	c cleaning 202964 clauses out of 406102 with flag 123838321/20900003
545.50/543.33	c cleaning 204011 clauses out of 408135 with flag 125054084/21105000
553.09/550.93	c cleaning 205006 clauses out of 410124 with flag 126302735/21311000
559.28/557.17	c cleaning 206008 clauses out of 412118 with flag 127530882/21518000
566.50/564.16	c cleaning 207043 clauses out of 414111 with flag 128780465/21726001
571.98/569.61	c cleaning 208008 clauses out of 416067 with flag 129990881/21935000
577.17/574.84	c cleaning 209014 clauses out of 418060 with flag 131187900/22145001
583.05/580.70	c cleaning 209990 clauses out of 420046 with flag 132399016/22356001
588.35/586.04	c cleaning 211009 clauses out of 422056 with flag 133621014/22568001
595.08/592.74	c cleaning 211983 clauses out of 424047 with flag 134870144/22781001
601.03/598.52	c cleaning 212997 clauses out of 426063 with flag 136088305/22995000
606.97/604.59	c cleaning 214018 clauses out of 428067 with flag 137325115/23210001
612.52/610.14	c cleaning 214940 clauses out of 430048 with flag 138564135/23426000
618.07/615.72	c cleaning 215953 clauses out of 432108 with flag 139830619/23643000
624.21/621.95	c cleaning 217020 clauses out of 434156 with flag 141115660/23861001
630.10/627.88	c cleaning 218040 clauses out of 436135 with flag 142377434/24080000
637.21/634.82	c cleaning 219028 clauses out of 438095 with flag 143685943/24300000
645.29/642.95	c cleaning 219996 clauses out of 440067 with flag 145006893/24521000
651.49/649.18	c cleaning 221016 clauses out of 442071 with flag 146318059/24743000
657.67/655.35	c cleaning 221957 clauses out of 444055 with flag 147629385/24966000
664.16/661.81	c cleaning 223027 clauses out of 446098 with flag 148953472/25190000
670.19/667.89	c cleaning 224002 clauses out of 448071 with flag 150272034/25415000
678.23/675.70	c cleaning 225010 clauses out of 450069 with flag 151670249/25641000
684.32/681.86	c cleaning 226007 clauses out of 452059 with flag 152984631/25868000
690.21/687.76	c cleaning 227028 clauses out of 454055 with flag 154297216/26096003
697.29/694.84	c cleaning 227987 clauses out of 456024 with flag 155638658/26325000
703.08/700.67	c cleaning 228943 clauses out of 458038 with flag 156958333/26555001
709.02/706.54	c cleaning 230027 clauses out of 460094 with flag 158283035/26786000
715.25/712.63	c cleaning 230994 clauses out of 462067 with flag 159601384/27018000
722.13/719.54	c cleaning 231968 clauses out of 464076 with flag 160961060/27251003
730.51/727.96	c cleaning 232952 clauses out of 466107 with flag 162366346/27485002
738.50/735.99	c cleaning 234019 clauses out of 468153 with flag 163731546/27720000
745.59/743.10	c cleaning 235060 clauses out of 470134 with flag 165107815/27956000
752.46/749.71	c cleaning 235970 clauses out of 472074 with flag 166471235/28193000
760.64/757.93	c cleaning 236960 clauses out of 474104 with flag 167918309/28431000
768.74/766.03	c cleaning 238015 clauses out of 476144 with flag 169324551/28670000
776.72/774.06	c cleaning 239052 clauses out of 478129 with flag 170738648/28910000
784.21/780.88	c cleaning 239932 clauses out of 480077 with flag 172145501/29151000
791.41/788.04	c cleaning 241051 clauses out of 482145 with flag 173544609/29393000
799.98/796.66	c cleaning 241950 clauses out of 484094 with flag 175020467/29636000
806.50/803.08	c cleaning 243029 clauses out of 486144 with flag 176407040/29880000
813.58/810.13	c cleaning 243986 clauses out of 488116 with flag 177868424/30125001
822.16/818.71	c cleaning 245022 clauses out of 490130 with flag 179356535/30371001
829.05/825.63	c cleaning 246040 clauses out of 492108 with flag 180788325/30618001
836.44/833.09	c cleaning 247011 clauses out of 494067 with flag 182201668/30866000
846.11/842.74	c cleaning 248004 clauses out of 496058 with flag 183694939/31115002
853.21/849.86	c cleaning 248994 clauses out of 498055 with flag 185142207/31365003
861.57/858.18	c cleaning 249964 clauses out of 500059 with flag 186665661/31616001
870.54/866.92	c cleaning 251031 clauses out of 502095 with flag 188159964/31868001
877.23/873.66	c cleaning 251950 clauses out of 504063 with flag 189620252/32121000
883.62/880.05	c cleaning 253029 clauses out of 506113 with flag 191050609/32375000
891.01/887.47	c cleaning 253990 clauses out of 508087 with flag 192523274/32630003
897.79/894.28	c cleaning 254976 clauses out of 510095 with flag 194029720/32886001
906.43/902.62	c cleaning 256049 clauses out of 512118 with flag 195523664/33143000
914.61/910.88	c cleaning 256998 clauses out of 514071 with flag 197082884/33401002
922.40/918.60	c cleaning 257999 clauses out of 516071 with flag 198619543/33660000
929.79/926.06	c cleaning 258980 clauses out of 518073 with flag 200161699/33920001
936.67/932.91	c cleaning 259925 clauses out of 520096 with flag 201693119/34181004
944.96/941.16	c cleaning 261046 clauses out of 522167 with flag 203185892/34443000
953.17/949.27	c cleaning 261931 clauses out of 524122 with flag 204728214/34706001
960.25/956.35	c cleaning 263038 clauses out of 526190 with flag 206268151/34970000
968.24/964.37	c cleaning 264008 clauses out of 528153 with flag 207820449/35235001
976.12/972.20	c cleaning 265044 clauses out of 530144 with flag 209332281/35501000
983.31/979.46	c cleaning 265989 clauses out of 532104 with flag 210889337/35768004
991.85/987.79	c cleaning 267026 clauses out of 534112 with flag 212455801/36036001
1000.07/996.02	c cleaning 268013 clauses out of 536086 with flag 214042062/36305001
1009.48/1005.53	c cleaning 268952 clauses out of 538074 with flag 215678069/36575002
1017.60/1013.76	c cleaning 270034 clauses out of 540120 with flag 217233638/36846000
1026.02/1022.29	c cleaning 270959 clauses out of 542087 with flag 218821908/37118001
1034.22/1030.48	c cleaning 271973 clauses out of 544128 with flag 220386820/37391001
1042.70/1038.85	c cleaning 273054 clauses out of 546154 with flag 221943929/37665000
1051.02/1047.29	c cleaning 274014 clauses out of 548100 with flag 223559640/37940000
1060.84/1057.14	c cleaning 274965 clauses out of 550087 with flag 225204883/38216001
1068.96/1065.33	c cleaning 275880 clauses out of 552121 with flag 226784416/38493000
1077.24/1073.47	c cleaning 277072 clauses out of 554241 with flag 228356289/38771000
1085.86/1082.18	c cleaning 278016 clauses out of 556169 with flag 229904381/39050000
1095.56/1091.92	c cleaning 279067 clauses out of 558153 with flag 231520101/39330000
1104.09/1100.59	c cleaning 280017 clauses out of 560087 with flag 233180635/39611001
1112.48/1108.96	c cleaning 281007 clauses out of 562070 with flag 234827551/39893001
1120.44/1116.81	c cleaning 281987 clauses out of 564062 with flag 236455774/40176000
1128.56/1125.06	c cleaning 282988 clauses out of 566075 with flag 238081223/40460000
1136.78/1133.32	c cleaning 283956 clauses out of 568087 with flag 239698792/40745000
1146.40/1143.09	c cleaning 285050 clauses out of 570131 with flag 241395208/41031000
1156.31/1152.85	c cleaning 286004 clauses out of 572081 with flag 243098629/41318000
1164.53/1161.13	c cleaning 287012 clauses out of 574077 with flag 244743166/41606000
1173.05/1169.77	c cleaning 287883 clauses out of 576066 with flag 246406648/41895001
1181.80/1178.58	c cleaning 289050 clauses out of 578183 with flag 248072372/42185001
1190.38/1187.04	c cleaning 290024 clauses out of 580133 with flag 249732366/42476001
1199.46/1196.15	c cleaning 291009 clauses out of 582108 with flag 251386392/42768000
1207.94/1204.64	c cleaning 292014 clauses out of 584099 with flag 252984860/43061000
1216.33/1213.00	c cleaning 293025 clauses out of 586085 with flag 254646796/43355000
1224.60/1221.25	c cleaning 293975 clauses out of 588060 with flag 256278031/43650000
1232.79/1229.45	c cleaning 294937 clauses out of 590085 with flag 257935749/43946000
1241.97/1238.60	c cleaning 296059 clauses out of 592148 with flag 259618412/44243000
1251.09/1247.70	c cleaning 297021 clauses out of 594089 with flag 261245312/44541000
1259.39/1255.98	c cleaning 298001 clauses out of 596069 with flag 262888021/44840001
1268.48/1265.10	c cleaning 299013 clauses out of 598067 with flag 264558579/45140000
1277.05/1273.62	c cleaning 299839 clauses out of 600054 with flag 266210531/45441000
1285.94/1282.56	c cleaning 301047 clauses out of 602218 with flag 267937564/45743003
1299.09/1295.53	c cleaning 301991 clauses out of 604168 with flag 269799819/46046000
1308.07/1304.54	c cleaning 303044 clauses out of 606180 with flag 271531722/46350003
1317.36/1313.81	c cleaning 304007 clauses out of 608133 with flag 273251348/46655000
1325.84/1322.34	c cleaning 305033 clauses out of 610127 with flag 274967170/46961001
1336.15/1331.71	c cleaning 306004 clauses out of 612093 with flag 276693726/47268000
1344.74/1340.36	c cleaning 307002 clauses out of 614090 with flag 278406545/47576001
1353.63/1349.24	c cleaning 308022 clauses out of 616087 with flag 280142299/47885000
1362.25/1357.79	c cleaning 308992 clauses out of 618065 with flag 281839494/48195000
1371.23/1366.78	c cleaning 310019 clauses out of 620074 with flag 283582805/48506001
1380.31/1375.87	c cleaning 311008 clauses out of 622054 with flag 285295322/48818000
1390.39/1385.95	c cleaning 312013 clauses out of 624048 with flag 287078744/49131002
1398.97/1394.56	c cleaning 312972 clauses out of 626034 with flag 288774200/49445001
1407.45/1403.09	c cleaning 313894 clauses out of 628061 with flag 290474456/49760000
1416.43/1411.97	c cleaning 315037 clauses out of 630170 with flag 292196566/50076003
1425.86/1421.20	c cleaning 315968 clauses out of 632133 with flag 293949610/50393003
1435.77/1431.27	c cleaning 317062 clauses out of 634162 with flag 295758064/50711000
1446.57/1442.17	c cleaning 317991 clauses out of 636100 with flag 297580186/51030000
1459.75/1455.41	c cleaning 318999 clauses out of 638111 with flag 299454801/51350002
1468.77/1464.54	c cleaning 320025 clauses out of 640111 with flag 301169293/51671001
1478.58/1474.19	c cleaning 320993 clauses out of 642085 with flag 302967255/51993000
1488.30/1483.95	c cleaning 322004 clauses out of 644094 with flag 304802392/52316002
1498.20/1493.93	c cleaning 323033 clauses out of 646089 with flag 306664879/52640001
1507.81/1503.66	c cleaning 323969 clauses out of 648055 with flag 308493452/52965000
1517.32/1513.12	c cleaning 324887 clauses out of 650087 with flag 310249439/53291001
1526.82/1522.58	c cleaning 325990 clauses out of 652199 with flag 312081585/53618000
1537.23/1533.02	c cleaning 327023 clauses out of 654209 with flag 313904128/53946000
1546.44/1542.37	c cleaning 328046 clauses out of 656188 with flag 315735152/54275002
1556.16/1552.19	c cleaning 329045 clauses out of 658140 with flag 317529726/54605000
1566.66/1562.61	c cleaning 330019 clauses out of 660097 with flag 319455793/54936002
1576.36/1572.28	c cleaning 330954 clauses out of 662077 with flag 321228944/55268001
1587.04/1582.93	c cleaning 332043 clauses out of 664122 with flag 323044852/55601000
1598.42/1594.31	c cleaning 332874 clauses out of 666079 with flag 324979777/55935000
1608.01/1603.94	c cleaning 334080 clauses out of 668205 with flag 326838936/56270000
1618.89/1614.78	c cleaning 335002 clauses out of 670127 with flag 328691501/56606002
1630.09/1625.88	c cleaning 336041 clauses out of 672124 with flag 330598855/56943001
1641.38/1637.12	c cleaning 337002 clauses out of 674083 with flag 332500297/57281001
1652.06/1647.87	c cleaning 338033 clauses out of 676083 with flag 334396219/57620003
1661.99/1657.76	c cleaning 338908 clauses out of 678047 with flag 336287178/57960000
1672.77/1668.33	c cleaning 340049 clauses out of 680139 with flag 338170905/58301000
1683.78/1679.45	c cleaning 340915 clauses out of 682091 with flag 340078698/58643001
1694.59/1690.36	c cleaning 342052 clauses out of 684175 with flag 341977480/58986000
1705.44/1701.20	c cleaning 342990 clauses out of 686124 with flag 343878114/59330001
1715.86/1711.57	c cleaning 344006 clauses out of 688135 with flag 345742968/59675002
1726.04/1721.72	c cleaning 344936 clauses out of 690129 with flag 347575410/60021002
1736.93/1732.62	c cleaning 346057 clauses out of 692193 with flag 349484833/60368002
1746.28/1741.98	c cleaning 346988 clauses out of 694136 with flag 351362600/60716002
1757.15/1752.70	c cleaning 347895 clauses out of 696146 with flag 353240298/61065000
1766.72/1762.38	c cleaning 349086 clauses out of 698251 with flag 355117583/61415000
1777.00/1772.67	c cleaning 350041 clauses out of 700166 with flag 357057608/61766001
1787.88/1783.57	c cleaning 351043 clauses out of 702127 with flag 358995223/62118003
1798.62/1794.29	c cleaning 352008 clauses out of 704082 with flag 360944070/62471001
1811.69/1807.23	c cleaning 352894 clauses out of 706074 with flag 363002803/62825001
1822.96/1818.50	c cleaning 354053 clauses out of 708179 with flag 364911765/63180000
1833.55/1829.15	c cleaning 354979 clauses out of 710126 with flag 366919274/63536000
1845.53/1841.12	c cleaning 356037 clauses out of 712147 with flag 368924095/63893000
1858.72/1854.14	c cleaning 356885 clauses out of 714110 with flag 370983989/64251000
1869.52/1865.06	c cleaning 358097 clauses out of 716227 with flag 372903259/64610002
1880.32/1875.95	c cleaning 358998 clauses out of 718129 with flag 374843310/64970001
1892.81/1888.54	c cleaning 359937 clauses out of 720133 with flag 376903593/65331003
1904.97/1900.70	c cleaning 361090 clauses out of 722193 with flag 378880303/65693000
1915.98/1911.77	c cleaning 362027 clauses out of 724105 with flag 380855145/66056002
1927.57/1923.49	c cleaning 362880 clauses out of 726078 with flag 382921557/66420002
1937.98/1933.98	c cleaning 364039 clauses out of 728199 with flag 384920907/66785003
1949.48/1945.50	c cleaning 364984 clauses out of 730159 with flag 386938931/67151002
1961.98/1957.90	c cleaning 366068 clauses out of 732173 with flag 388995968/67518000
1972.88/1968.92	c cleaning 367017 clauses out of 734106 with flag 390933559/67886001
1983.88/1980.02	c cleaning 367913 clauses out of 736088 with flag 392970684/68255000
1996.57/1992.87	c cleaning 369078 clauses out of 738177 with flag 395151495/68625002
2008.42/2004.78	c cleaning 370023 clauses out of 740097 with flag 397217378/68996000
2021.06/2017.32	c cleaning 370975 clauses out of 742074 with flag 399220085/69368000
2032.36/2028.75	c cleaning 372027 clauses out of 744101 with flag 401269880/69741002
2042.86/2039.30	c cleaning 373024 clauses out of 746073 with flag 403283493/70115001
2054.85/2051.40	c cleaning 373988 clauses out of 748052 with flag 405364121/70490004
2065.43/2062.09	c cleaning 374931 clauses out of 750060 with flag 407402615/70866000
2077.14/2073.72	c cleaning 375887 clauses out of 752129 with flag 409476379/71243000
2089.23/2085.94	c cleaning 377064 clauses out of 754243 with flag 411589109/71621001
2100.92/2097.76	c cleaning 378071 clauses out of 756179 with flag 413677917/72000001
2114.90/2111.89	c cleaning 379013 clauses out of 758107 with flag 415802594/72380000
2127.05/2124.06	c cleaning 379993 clauses out of 760096 with flag 417850988/72761002
2138.70/2135.68	c cleaning 380977 clauses out of 762102 with flag 419924583/73143001
2151.38/2148.40	c cleaning 382045 clauses out of 764124 with flag 422061327/73526000
2164.96/2162.18	c cleaning 382948 clauses out of 766079 with flag 424213169/73910000
2178.44/2175.71	c cleaning 383994 clauses out of 768132 with flag 426344172/74295001
2189.90/2187.29	c cleaning 384944 clauses out of 770138 with flag 428436489/74681001
2202.33/2199.59	c cleaning 386035 clauses out of 772193 with flag 430557500/75068000
2215.09/2212.35	c cleaning 387031 clauses out of 774160 with flag 432654498/75456002
2227.26/2224.51	c cleaning 387978 clauses out of 776130 with flag 434767847/75845003
2240.64/2237.94	c cleaning 388997 clauses out of 778149 with flag 436908117/76235000
2252.86/2250.13	c cleaning 389965 clauses out of 780152 with flag 439108247/76626000
2266.21/2263.31	c cleaning 391066 clauses out of 782188 with flag 441262093/77018001
2279.90/2277.05	c cleaning 392054 clauses out of 784121 with flag 443469326/77411000
2291.97/2289.15	c cleaning 392944 clauses out of 786069 with flag 445602085/77805002
2304.87/2301.19	c cleaning 394027 clauses out of 788124 with flag 447783193/78200001
2317.15/2313.21	c cleaning 395042 clauses out of 790096 with flag 449901438/78596000
2328.45/2324.63	c cleaning 396009 clauses out of 792055 with flag 452019441/78993001
2340.13/2336.47	c cleaning 396996 clauses out of 794046 with flag 454199253/79391001
2352.52/2348.75	c cleaning 397823 clauses out of 796050 with flag 456354164/79790001
2364.22/2360.58	c cleaning 398992 clauses out of 798227 with flag 458527457/80190001
2375.81/2372.28	c cleaning 400072 clauses out of 800234 with flag 460750708/80591000
2388.69/2385.28	c cleaning 401011 clauses out of 802162 with flag 462970964/80993000
2401.27/2397.91	c cleaning 402036 clauses out of 804154 with flag 465096081/81396003
2415.09/2411.75	c cleaning 403014 clauses out of 806116 with flag 467319712/81800001
2428.07/2424.65	c cleaning 404026 clauses out of 808101 with flag 469536146/82205000
2441.36/2438.02	c cleaning 404976 clauses out of 810075 with flag 471696244/82611000
2453.25/2450.06	c cleaning 405992 clauses out of 812099 with flag 473899561/83018000
2465.43/2462.32	c cleaning 406957 clauses out of 814108 with flag 476071882/83426001
2478.79/2475.64	c cleaning 408071 clauses out of 816151 with flag 478222996/83835001
2492.27/2489.10	c cleaning 409036 clauses out of 818080 with flag 480391149/84245001
2506.55/2503.41	c cleaning 409982 clauses out of 820043 with flag 482636376/84656000
2519.16/2516.13	c cleaning 410910 clauses out of 822062 with flag 484777255/85068001
2532.18/2529.17	c cleaning 412068 clauses out of 824152 with flag 486931924/85481001
2545.14/2541.83	c cleaning 413011 clauses out of 826083 with flag 489062058/85895000
2557.22/2553.91	c cleaning 413985 clauses out of 828074 with flag 491239113/86310002
2569.80/2566.52	c cleaning 415004 clauses out of 830088 with flag 493495760/86726001
2583.72/2580.46	c cleaning 416006 clauses out of 832083 with flag 495751165/87143000
2597.50/2594.10	c cleaning 416960 clauses out of 834077 with flag 497952064/87561000
2611.83/2608.39	c cleaning 417950 clauses out of 836118 with flag 500202385/87980001
2626.20/2622.73	c cleaning 419063 clauses out of 838168 with flag 502519445/88400001
2640.47/2637.10	c cleaning 420027 clauses out of 840104 with flag 504870718/88821000
2653.34/2649.88	c cleaning 420922 clauses out of 842078 with flag 507088705/89243001
2668.88/2665.16	c cleaning 422041 clauses out of 844156 with flag 509434334/89666001
2685.14/2681.45	c cleaning 422991 clauses out of 846115 with flag 511801054/90090001
2698.12/2694.49	c cleaning 424032 clauses out of 848124 with flag 513980653/90515001
2712.33/2708.54	c cleaning 424790 clauses out of 850092 with flag 516230069/90941001
2726.12/2722.25	c cleaning 425755 clauses out of 852302 with flag 518577003/91368001
2740.10/2736.26	c cleaning 426211 clauses out of 854546 with flag 520866581/91796000
2756.74/2752.85	c cleaning 427819 clauses out of 857336 with flag 523261980/92225001
2770.99/2767.07	c cleaning 428756 clauses out of 859516 with flag 525525410/92655000
2785.13/2781.25	c cleaning 429137 clauses out of 861760 with flag 527885379/93086000
2799.09/2795.19	c cleaning 430585 clauses out of 864623 with flag 530213358/93518000
2812.07/2808.21	c cleaning 431992 clauses out of 867038 with flag 532469479/93951000
2826.05/2822.33	c cleaning 432728 clauses out of 869046 with flag 534739079/94385000
2840.80/2837.25	c cleaning 433881 clauses out of 871318 with flag 537075149/94820000
2855.73/2852.29	c cleaning 434769 clauses out of 873438 with flag 539487784/95256001
2869.71/2866.13	c cleaning 436062 clauses out of 875668 with flag 541815452/95693000
2884.57/2881.18	c cleaning 436635 clauses out of 877606 with flag 544184125/96131000
2898.54/2895.25	c cleaning 437781 clauses out of 879971 with flag 546583655/96570000
2913.81/2910.69	c cleaning 438642 clauses out of 882191 with flag 548925515/97010001
2927.29/2924.12	c cleaning 438984 clauses out of 884548 with flag 551178844/97451000
2942.47/2939.25	c cleaning 439980 clauses out of 887565 with flag 553537947/97893001
2956.84/2953.68	c cleaning 440925 clauses out of 890588 with flag 555914441/98336004
2971.21/2968.00	c cleaning 442602 clauses out of 893659 with flag 558181383/98780000
2985.82/2982.65	c cleaning 443730 clauses out of 896057 with flag 560533991/99225000
2999.54/2996.18	c cleaning 445138 clauses out of 898330 with flag 562872995/99671003
3014.60/3011.22	c cleaning 445862 clauses out of 900189 with flag 565309863/100118000
3030.28/3026.99	c cleaning 446836 clauses out of 902328 with flag 567708573/100566001
3044.65/3041.31	c cleaning 447796 clauses out of 904491 with flag 570091418/101015000
3061.68/3058.11	c cleaning 448933 clauses out of 906695 with flag 572510581/101465000
3077.04/3073.52	c cleaning 449811 clauses out of 908763 with flag 574933328/101916001
3091.62/3088.13	c cleaning 450764 clauses out of 910952 with flag 577335238/102368001
3106.53/3103.09	c cleaning 451884 clauses out of 913187 with flag 579714001/102821000
3121.16/3117.68	c cleaning 452556 clauses out of 915304 with flag 582131871/103275001
3135.44/3131.92	c cleaning 453888 clauses out of 917749 with flag 584476011/103730002
3151.18/3147.89	c cleaning 454339 clauses out of 919860 with flag 586949661/104186001
3164.45/3161.22	c cleaning 455890 clauses out of 922520 with flag 589336685/104643000
3181.18/3178.02	c cleaning 456119 clauses out of 924632 with flag 591833196/105101002
3196.04/3192.80	c cleaning 457340 clauses out of 927512 with flag 594217139/105560001
3210.40/3207.35	c cleaning 458360 clauses out of 930173 with flag 596555481/106020002
3224.68/3221.75	c cleaning 459456 clauses out of 932811 with flag 599034192/106481000
3240.99/3238.12	c cleaning 461047 clauses out of 935356 with flag 601533425/106943001
3256.26/3253.34	c cleaning 461353 clauses out of 937310 with flag 603962533/107406002
3271.52/3268.77	c cleaning 462260 clauses out of 939955 with flag 606336885/107870000
3286.41/3283.78	c cleaning 463564 clauses out of 942696 with flag 608773325/108335001
3301.23/3298.51	c cleaning 463785 clauses out of 945131 with flag 611148064/108801000
3316.40/3313.58	c cleaning 465926 clauses out of 948348 with flag 613575734/109268002
3333.35/3330.66	c cleaning 466918 clauses out of 950421 with flag 616040221/109736001
3351.49/3348.92	c cleaning 467923 clauses out of 952503 with flag 618558972/110205001
3367.05/3364.68	c cleaning 468147 clauses out of 954580 with flag 621003486/110675001
3382.58/3380.22	c cleaning 469271 clauses out of 957432 with flag 623457900/111146000
3398.57/3396.16	c cleaning 470798 clauses out of 960164 with flag 625974108/111618003
3415.81/3413.59	c cleaning 471779 clauses out of 962363 with flag 628501191/112091000
3431.76/3429.61	c cleaning 472726 clauses out of 964588 with flag 630982612/112565004
3446.68/3444.69	c cleaning 473422 clauses out of 966858 with flag 633448498/113040000
3462.93/3460.85	c cleaning 474782 clauses out of 969437 with flag 635981966/113516001
3478.88/3476.86	c cleaning 476017 clauses out of 971654 with flag 638462640/113993000
3493.25/3491.24	c cleaning 476729 clauses out of 973640 with flag 640876115/114471003
3508.97/3506.95	c cleaning 477827 clauses out of 975910 with flag 643483797/114950002
3524.68/3522.63	c cleaning 478258 clauses out of 978081 with flag 646046070/115430000
3540.71/3538.53	c cleaning 479780 clauses out of 980823 with flag 648602832/115911000
3557.28/3555.11	c cleaning 480670 clauses out of 983044 with flag 651077460/116393001
3574.44/3572.31	c cleaning 481766 clauses out of 985374 with flag 653635856/116876001
3592.56/3590.48	c cleaning 482861 clauses out of 987609 with flag 656211342/117360002
3600.07/3597.92	c starts		: 70741
3600.07/3597.92	c conflicts		: 117581452
3600.07/3597.92	c decisions		: 317902383
3600.07/3597.92	c propagations		: 2708872290
3600.07/3597.92	c inspects		: 54419995964
3600.07/3597.92	c shortcuts		: 0
3600.07/3597.92	c learnt literals	: 0
3600.07/3597.92	c learnt binary clauses	: 0
3600.07/3597.92	c learnt ternary clauses	: 0
3600.07/3597.92	c learnt constraints	: 117581452
3600.07/3597.92	c timeout
3600.07/3597.92	c ignored constraints	: 0
3600.07/3597.92	c root simplifications	: 0
3600.07/3597.92	c removed literals (reason simplification)	: 0
3600.07/3597.92	c reason swapping (by a shorter reason)	: 0
3600.07/3597.92	c Calls to reduceDB	: 480
3600.07/3597.92	c Number of update (reduction) of LBD	: 46971413
3600.07/3597.92	c Imported unit clauses	: 0
3600.07/3597.93	c No decision after first conflict	: false
3600.07/3597.93	c number of reductions to clauses (during analyze)	: 0
3600.07/3597.93	c number of learned constraints concerned by reduction	: 0
3600.07/3597.93	c number of learning phase by resolution	: 0
3600.07/3597.93	c number of learning phase by cutting planes	: 0
3600.07/3597.93	c number of rounding to 1 operations	: 0
3600.07/3597.93	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3597.93	c number of reductions of the coefficients by power 2 	: 0
3600.07/3597.93	c number of right shift for reduction by power 2 	: 0
3600.07/3597.93	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3597.93	c number of ending skipping 	: 0
3600.07/3597.93	c number of internal skipping 	: 0
3600.07/3597.93	c number of derivation steps 	: 0
3600.07/3597.93	c number of skipped derivation steps 	: 0
3600.07/3597.93	c number of remaining unassigned 	: 0
3600.07/3597.93	c number of remaining assigned 	: 0
3600.07/3597.93	c number of falsified literals weakened from reason	: 0
3600.07/3597.93	c number of falsified literals weakened from conflict	: 0
3600.07/3597.93	c time for arithmetic operations	: 0
3600.07/3597.93	c minimum degree of deleted constraints	: null
3600.07/3597.93	c maximum degree of deleted constraints	: null
3600.07/3597.93	c number of deleted constraints	: 0
3600.07/3597.93	c speed (assignments/second)	: 752996.6426274567
3600.07/3597.93	c non guided choices	: 150591914
3600.07/3597.99	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 726198
3600.07/3598.00	s UNKNOWN
3600.07/3598.00	c Total wall clock time (in seconds): 3597.869

Verifier Data 

ERROR: no interpretation found !

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: 63968 MiB (62468 MiB free)
  memory of node 1: 64473 MiB (62646 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453654-1721491673/watcher-4453654-1721491673 -o /tmp/evaluation-result-4453654-1721491673/solver-4453654-1721491673 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721491686-1073499 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4453654-1721491673.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
solver pid=1073551, runsolver pid=1073543
Current StackSize limit: 8192 KiB


[startup+0.100739 s]*
/proc/loadavg: 1.04 1.10 1.25 12/323 1073630
/proc/meminfo: memFree=127951048/131524600 swapFree=131070704/131071996
[pid=1073551] ppid=1073543 vsize=18975048 memory=62744 CPUtime=0.12 cores=4,6
/proc/1073551/stat : 1073551 (java) S 1073543 1073551 1073488 0 -1 1077936128 7196 0 0 0 10 2 0 0 20 0 18 0 201332304 19430449152 15686 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
/proc/1073551/statm: 4743762 15686 5629 1 0 549300 0
[pid=1073551/tid=1073558] ppid=1073543 vsize=18975048 memory=4026531971 CPUtime=0.07 cores=4,6
/proc/1073551/task/1073558/stat : 1073558 (java) R 1073543 1073551 1073488 0 -1 1077936192 5740 0 0 0 6 1 0 0 20 0 18 0 201332305 19430449152 15686 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073608] ppid=1073543 vsize=18975048 memory=1783847 CPUtime=0 cores=4,6
/proc/1073551/task/1073608/stat : 1073608 (Finalizer) S 1073543 1073551 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 201332307 19430449152 15686 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073621] ppid=1073543 vsize=18975048 memory=15252649461155485 CPUtime=0 cores=4,6
/proc/1073551/task/1073621/stat : 1073621 (Common-Cleaner) S 1073543 1073551 1073488 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 201332308 19430449152 15686 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62744 KiB

[startup+0.206542 s]*
/proc/loadavg: 1.04 1.10 1.25 17/326 1073633
/proc/meminfo: memFree=127578672/131524600 swapFree=131070704/131071996
[pid=1073551] ppid=1073543 vsize=19041612 memory=157684 CPUtime=0.32 cores=4,6
/proc/1073551/stat : 1073551 (java) S 1073543 1073551 1073488 0 -1 1077936128 7717 0 0 0 28 4 0 0 20 0 19 0 201332304 19498610688 39421 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
/proc/1073551/statm: 4760403 39421 5873 1 0 549849 0
[pid=1073551/tid=1073558] ppid=1073543 vsize=19041612 memory=6876556183782621315 CPUtime=0.17 cores=4,6
/proc/1073551/task/1073558/stat : 1073558 (java) R 1073543 1073551 1073488 0 -1 4194368 5940 0 0 0 14 3 0 0 20 0 19 0 201332305 19498610688 39421 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073608] ppid=1073543 vsize=19041612 memory=1783847 CPUtime=0 cores=4,6
/proc/1073551/task/1073608/stat : 1073608 (Finalizer) S 1073543 1073551 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201332307 19498610688 39421 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073621] ppid=1073543 vsize=19041612 memory=15252649461155485 CPUtime=0 cores=4,6
/proc/1073551/task/1073621/stat : 1073621 (Common-Cleaner) S 1073543 1073551 1073488 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 201332308 19498610688 39421 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 157684 KiB

[startup+0.305911 s]*
/proc/loadavg: 1.04 1.10 1.25 12/327 1073634
/proc/meminfo: memFree=127223276/131524600 swapFree=131070704/131071996
[pid=1073551] ppid=1073543 vsize=19041612 memory=286924 CPUtime=0.5 cores=4,6
/proc/1073551/stat : 1073551 (java) S 1073543 1073551 1073488 0 -1 1077936128 9506 0 0 0 44 6 0 0 20 0 19 0 201332304 19498610688 71731 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
/proc/1073551/statm: 4760403 71731 5873 1 0 550936 0
[pid=1073551/tid=1073558] ppid=1073543 vsize=19041612 memory=-7595142079120172386 CPUtime=0.26 cores=4,6
/proc/1073551/task/1073558/stat : 1073558 (java) R 1073543 1073551 1073488 0 -1 4194368 6000 0 0 0 21 5 0 0 20 0 19 0 201332305 19498610688 72243 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073608] ppid=1073543 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1073551/task/1073608/stat : 1073608 (Finalizer) S 1073543 1073551 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201332307 19498610688 72243 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073621] ppid=1073543 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1073551/task/1073621/stat : 1073621 (Common-Cleaner) S 1073543 1073551 1073488 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 201332308 19498610688 72243 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 286924 KiB

[startup+0.708537 s]
/proc/loadavg: 1.04 1.10 1.25 14/331 1073638
/proc/meminfo: memFree=125919216/131524600 swapFree=131070704/131071996
[pid=1073551] ppid=1073543 vsize=19108176 memory=594376 CPUtime=1.28 cores=4,6
/proc/1073551/stat : 1073551 (java) S 1073543 1073551 1073488 0 -1 1077936128 13989 0 0 0 115 13 0 0 20 0 20 0 201332304 19566772224 148594 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
/proc/1073551/statm: 4777044 148594 5873 1 0 553711 0
[pid=1073551/tid=1073558] ppid=1073543 vsize=19108176 memory=5432 CPUtime=0.63 cores=4,6
/proc/1073551/task/1073558/stat : 1073558 (java) R 1073543 1073551 1073488 0 -1 4194368 6205 0 0 0 52 11 0 0 20 0 20 0 201332305 19566772224 148594 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073608] ppid=1073543 vsize=19108176 memory=12952 CPUtime=0 cores=4,6
/proc/1073551/task/1073608/stat : 1073608 (Finalizer) S 1073543 1073551 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 148594 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073621] ppid=1073543 vsize=19108176 memory=115332 CPUtime=0 cores=4,6
/proc/1073551/task/1073621/stat : 1073621 (Common-Cleaner) S 1073543 1073551 1073488 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 201332308 19566772224 148594 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073636] ppid=1073543 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1073551/task/1073636/stat : 1073636 (Timer-0) S 1073543 1073551 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332351 19566772224 148594 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 594376 KiB

[startup+1.50054 s]
/proc/loadavg: 1.04 1.10 1.25 12/331 1073638
/proc/meminfo: memFree=125874412/131524600 swapFree=131070704/131071996
[pid=1073551] ppid=1073543 vsize=19108176 memory=595180 CPUtime=2.65 cores=4,6
/proc/1073551/stat : 1073551 (java) S 1073543 1073551 1073488 0 -1 1077936128 14160 0 0 0 252 13 0 0 20 0 20 0 201332304 19566772224 148795 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
/proc/1073551/statm: 4777044 148795 5889 1 0 553750 0
[pid=1073551/tid=1073558] ppid=1073543 vsize=19108176 memory=12952 CPUtime=1.4 cores=4,6
/proc/1073551/task/1073558/stat : 1073558 (java) R 1073543 1073551 1073488 0 -1 4194368 6251 0 0 0 129 11 0 0 20 0 20 0 201332305 19566772224 148795 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073608] ppid=1073543 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1073551/task/1073608/stat : 1073608 (Finalizer) S 1073543 1073551 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 148795 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073621] ppid=1073543 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1073551/task/1073621/stat : 1073621 (Common-Cleaner) S 1073543 1073551 1073488 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 201332308 19566772224 148795 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073636] ppid=1073543 vsize=19108176 memory=280464988480816 CPUtime=0 cores=4,6
/proc/1073551/task/1073636/stat : 1073636 (Timer-0) S 1073543 1073551 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332351 19566772224 148795 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
Current children cumulated CPU time: 2.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 595180 KiB

[startup+3.10654 s]
/proc/loadavg: 1.04 1.10 1.25 6/331 1073638
/proc/meminfo: memFree=125862024/131524600 swapFree=131070704/131071996
[pid=1073551] ppid=1073543 vsize=19108176 memory=595256 CPUtime=4.24 cores=4,6
/proc/1073551/stat : 1073551 (java) S 1073543 1073551 1073488 0 -1 1077936128 14212 0 0 0 411 13 0 0 20 0 20 0 201332304 19566772224 148814 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
/proc/1073551/statm: 4777044 148814 5889 1 0 553767 0
[pid=1073551/tid=1073558] ppid=1073543 vsize=19108176 memory=0 CPUtime=2.99 cores=4,6
/proc/1073551/task/1073558/stat : 1073558 (java) R 1073543 1073551 1073488 0 -1 4194368 6280 0 0 0 288 11 0 0 20 0 20 0 201332305 19566772224 148814 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073608] ppid=1073543 vsize=19108176 memory=12952 CPUtime=0 cores=4,6
/proc/1073551/task/1073608/stat : 1073608 (Finalizer) S 1073543 1073551 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 148814 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073621] ppid=1073543 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1073551/task/1073621/stat : 1073621 (Common-Cleaner) S 1073543 1073551 1073488 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 201332308 19566772224 148814 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073636] ppid=1073543 vsize=19108176 memory=11648 CPUtime=0 cores=4,6
/proc/1073551/task/1073636/stat : 1073636 (Timer-0) S 1073543 1073551 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332351 19566772224 148814 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
Current children cumulated CPU time: 4.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 595256 KiB

[startup+6.30053 s]
/proc/loadavg: 1.27 1.15 1.27 7/331 1073638
/proc/meminfo: memFree=125876852/131524600 swapFree=131070704/131071996
[pid=1073551] ppid=1073543 vsize=19108176 memory=592636 CPUtime=7.45 cores=4,6
/proc/1073551/stat : 1073551 (java) S 1073543 1073551 1073488 0 -1 1077936128 17090 0 0 0 732 13 0 0 20 0 20 0 201332304 19566772224 148159 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
/proc/1073551/statm: 4777044 148159 5914 1 0 553768 0
[pid=1073551/tid=1073558] ppid=1073543 vsize=19108176 memory=0 CPUtime=6.15 cores=4,6
/proc/1073551/task/1073558/stat : 1073558 (java) R 1073543 1073551 1073488 0 -1 4194368 6888 0 0 0 604 11 0 0 20 0 20 0 201332305 19566772224 148159 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073608] ppid=1073543 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1073551/task/1073608/stat : 1073608 (Finalizer) S 1073543 1073551 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 148159 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073621] ppid=1073543 vsize=19108176 memory=-6303866975680447118 CPUtime=0 cores=4,6
/proc/1073551/task/1073621/stat : 1073621 (Common-Cleaner) S 1073543 1073551 1073488 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 201332308 19566772224 148159 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073636] ppid=1073543 vsize=19108176 memory=595180 CPUtime=0 cores=4,6
/proc/1073551/task/1073636/stat : 1073636 (Timer-0) S 1073543 1073551 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332351 19566772224 148159 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
Current children cumulated CPU time: 7.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 592636 KiB

[startup+12.7005 s]
/proc/loadavg: 1.49 1.20 1.28 6/331 1073640
/proc/meminfo: memFree=125876728/131524600 swapFree=131070704/131071996
[pid=1073551] ppid=1073543 vsize=19108176 memory=592640 CPUtime=13.81 cores=4,6
/proc/1073551/stat : 1073551 (java) S 1073543 1073551 1073488 0 -1 1077936128 18211 0 0 0 1367 14 0 0 20 0 20 0 201332304 19566772224 148160 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
/proc/1073551/statm: 4777044 148160 5914 1 0 553768 0
[pid=1073551/tid=1073558] ppid=1073543 vsize=19108176 memory=0 CPUtime=12.49 cores=4,6
/proc/1073551/task/1073558/stat : 1073558 (java) R 1073543 1073551 1073488 0 -1 4194368 7780 0 0 0 1238 11 0 0 20 0 20 0 201332305 19566772224 148160 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073608] ppid=1073543 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1073551/task/1073608/stat : 1073608 (Finalizer) S 1073543 1073551 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 148160 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073621] ppid=1073543 vsize=19108176 memory=592640 CPUtime=0 cores=4,6
/proc/1073551/task/1073621/stat : 1073621 (Common-Cleaner) S 1073543 1073551 1073488 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 201332308 19566772224 148160 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073636] ppid=1073543 vsize=19108176 memory=592640 CPUtime=0 cores=4,6
/proc/1073551/task/1073636/stat : 1073636 (Timer-0) S 1073543 1073551 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332351 19566772224 148160 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
Current children cumulated CPU time: 13.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 592640 KiB

[startup+25.5006 s]
/proc/loadavg: 2.21 1.37 1.34 6/331 1073641
/proc/meminfo: memFree=125700312/131524600 swapFree=131070704/131071996
[pid=1073551] ppid=1073543 vsize=19108176 memory=656140 CPUtime=26.48 cores=4,6
/proc/1073551/stat : 1073551 (java) S 1073543 1073551 1073488 0 -1 1077936128 20327 0 0 0 2633 15 0 0 20 0 20 0 201332304 19566772224 164035 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
/proc/1073551/statm: 4777044 164035 5914 1 0 553768 0
[pid=1073551/tid=1073558] ppid=1073543 vsize=19108176 memory=592640 CPUtime=25.17 cores=4,6
/proc/1073551/task/1073558/stat : 1073558 (java) R 1073543 1073551 1073488 0 -1 4194368 9608 0 0 0 2504 13 0 0 20 0 20 0 201332305 19566772224 164035 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073608] ppid=1073543 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1073551/task/1073608/stat : 1073608 (Finalizer) S 1073543 1073551 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 164035 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073621] ppid=1073543 vsize=19108176 memory=627468 CPUtime=0 cores=4,6
/proc/1073551/task/1073621/stat : 1073621 (Common-Cleaner) S 1073543 1073551 1073488 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 201332308 19566772224 164035 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073636] ppid=1073543 vsize=19108176 memory=637708 CPUtime=0 cores=4,6
/proc/1073551/task/1073636/stat : 1073636 (Timer-0) S 1073543 1073551 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332351 19566772224 164035 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
Current children cumulated CPU time: 26.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 656140 KiB

[startup+51.1065 s]
/proc/loadavg: 2.88 1.60 1.41 7/331 1073646
/proc/meminfo: memFree=124496312/131524600 swapFree=131070704/131071996
[pid=1073551] ppid=1073543 vsize=19108176 memory=981888 CPUtime=51.88 cores=4,6
/proc/1073551/stat : 1073551 (java) S 1073543 1073551 1073488 0 -1 1077936128 24815 0 0 0 5165 23 0 0 20 0 20 0 201332304 19566772224 245472 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
/proc/1073551/statm: 4777044 245472 5914 1 0 553768 0
[pid=1073551/tid=1073558] ppid=1073543 vsize=19108176 memory=-7595142079120041826 CPUtime=50.53 cores=4,6
/proc/1073551/task/1073558/stat : 1073558 (java) R 1073543 1073551 1073488 0 -1 4194368 12243 0 0 0 5033 20 0 0 20 0 20 0 201332305 19566772224 245472 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073608] ppid=1073543 vsize=19108176 memory=11648 CPUtime=0 cores=4,6
/proc/1073551/task/1073608/stat : 1073608 (Finalizer) S 1073543 1073551 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 245472 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0

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

/proc/1073551/task/1073608/stat : 1073608 (Finalizer) S 1073543 1073551 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 1254720 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073621] ppid=1073543 vsize=19108176 memory=5016824 CPUtime=0 cores=4,6
/proc/1073551/task/1073621/stat : 1073621 (Common-Cleaner) S 1073543 1073551 1073488 0 -1 1077936192 3367 0 0 0 0 0 0 0 20 0 20 0 201332308 19566772224 1254720 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073636] ppid=1073543 vsize=19108176 memory=5018880 CPUtime=0 cores=4,6
/proc/1073551/task/1073636/stat : 1073636 (Timer-0) S 1073543 1073551 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332351 19566772224 1254720 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
Current children cumulated CPU time: 3225.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5018880 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.15 4.09 6/333 1075417
/proc/meminfo: memFree=110002200/131524600 swapFree=131070704/131071996
[pid=1073551] ppid=1073543 vsize=19108176 memory=5018896 CPUtime=3285.01 cores=4,6
/proc/1073551/stat : 1073551 (java) S 1073543 1073551 1073488 0 -1 1077936128 315994 0 0 0 328315 186 0 0 20 0 20 0 201332304 19566772224 1254724 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
/proc/1073551/statm: 4777044 1254724 5930 1 0 1400561 0
[pid=1073551/tid=1073558] ppid=1073543 vsize=19108176 memory=5018896 CPUtime=3252.03 cores=4,6
/proc/1073551/task/1073558/stat : 1073558 (java) R 1073543 1073551 1073488 0 -1 4194368 118977 0 0 0 325130 73 0 0 20 0 20 0 201332305 19566772224 1254724 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073608] ppid=1073543 vsize=19108176 memory=5018896 CPUtime=0 cores=4,6
/proc/1073551/task/1073608/stat : 1073608 (Finalizer) S 1073543 1073551 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 1254724 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073621] ppid=1073543 vsize=19108176 memory=5018896 CPUtime=0 cores=4,6
/proc/1073551/task/1073621/stat : 1073621 (Common-Cleaner) S 1073543 1073551 1073488 0 -1 1077936192 3367 0 0 0 0 0 0 0 20 0 20 0 201332308 19566772224 1254724 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073636] ppid=1073543 vsize=19108176 memory=5018896 CPUtime=0 cores=4,6
/proc/1073551/task/1073636/stat : 1073636 (Timer-0) S 1073543 1073551 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332351 19566772224 1254724 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
Current children cumulated CPU time: 3285.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5018896 KiB

[startup+3342.3 s]
/proc/loadavg: 4.27 4.18 4.10 6/333 1075428
/proc/meminfo: memFree=109615820/131524600 swapFree=131070704/131071996
[pid=1073551] ppid=1073543 vsize=19108176 memory=5018896 CPUtime=3344.95 cores=4,6
/proc/1073551/stat : 1073551 (java) S 1073543 1073551 1073488 0 -1 1077936128 317709 0 0 0 334308 187 0 0 20 0 20 0 201332304 19566772224 1254724 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
/proc/1073551/statm: 4777044 1254724 5930 1 0 1400561 0
[pid=1073551/tid=1073558] ppid=1073543 vsize=19108176 memory=5018896 CPUtime=3311.53 cores=4,6
/proc/1073551/task/1073558/stat : 1073558 (java) R 1073543 1073551 1073488 0 -1 4194368 120270 0 0 0 331080 73 0 0 20 0 20 0 201332305 19566772224 1254724 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073608] ppid=1073543 vsize=19108176 memory=-7595142079120041826 CPUtime=0 cores=4,6
/proc/1073551/task/1073608/stat : 1073608 (Finalizer) S 1073543 1073551 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 1254724 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073621] ppid=1073543 vsize=19108176 memory=5018896 CPUtime=0 cores=4,6
/proc/1073551/task/1073621/stat : 1073621 (Common-Cleaner) S 1073543 1073551 1073488 0 -1 1077936192 3426 0 0 0 0 0 0 0 20 0 20 0 201332308 19566772224 1254724 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073636] ppid=1073543 vsize=19108176 memory=5018896 CPUtime=0 cores=4,6
/proc/1073551/task/1073636/stat : 1073636 (Timer-0) S 1073543 1073551 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332351 19566772224 1254724 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
Current children cumulated CPU time: 3344.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5018896 KiB

[startup+3402.3 s]
/proc/loadavg: 4.26 4.19 4.11 6/332 1075439
/proc/meminfo: memFree=109112516/131524600 swapFree=131070704/131071996
[pid=1073551] ppid=1073543 vsize=19108176 memory=5018904 CPUtime=3404.7 cores=4,6
/proc/1073551/stat : 1073551 (java) S 1073543 1073551 1073488 0 -1 1077936128 322245 0 0 0 340283 187 0 0 20 0 20 0 201332304 19566772224 1254726 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
/proc/1073551/statm: 4777044 1254726 5930 1 0 1400561 0
[pid=1073551/tid=1073558] ppid=1073543 vsize=19108176 memory=-7595142079120041826 CPUtime=3370.8 cores=4,6
/proc/1073551/task/1073558/stat : 1073558 (java) R 1073543 1073551 1073488 0 -1 4194368 122428 0 0 0 337007 73 0 0 20 0 20 0 201332305 19566772224 1254726 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073608] ppid=1073543 vsize=19108176 memory=5018896 CPUtime=0 cores=4,6
/proc/1073551/task/1073608/stat : 1073608 (Finalizer) S 1073543 1073551 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 1254726 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073621] ppid=1073543 vsize=19108176 memory=5018896 CPUtime=0 cores=4,6
/proc/1073551/task/1073621/stat : 1073621 (Common-Cleaner) S 1073543 1073551 1073488 0 -1 1077936192 3530 0 0 0 0 0 0 0 20 0 20 0 201332308 19566772224 1254726 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073636] ppid=1073543 vsize=19108176 memory=5018896 CPUtime=0 cores=4,6
/proc/1073551/task/1073636/stat : 1073636 (Timer-0) S 1073543 1073551 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332351 19566772224 1254726 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
Current children cumulated CPU time: 3404.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5018904 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.17 4.10 6/330 1075449
/proc/meminfo: memFree=108723488/131524600 swapFree=131070704/131071996
[pid=1073551] ppid=1073543 vsize=19108176 memory=5051684 CPUtime=3464.42 cores=4,6
/proc/1073551/stat : 1073551 (java) S 1073543 1073551 1073488 0 -1 1077936128 327263 0 0 0 346251 191 0 0 20 0 20 0 201332304 19566772224 1262921 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
/proc/1073551/statm: 4777044 1262921 5930 1 0 1400561 0
[pid=1073551/tid=1073558] ppid=1073543 vsize=19108176 memory=-7595142079120041826 CPUtime=3430.07 cores=4,6
/proc/1073551/task/1073558/stat : 1073558 (java) R 1073543 1073551 1073488 0 -1 4194368 125240 0 0 0 342933 74 0 0 20 0 20 0 201332305 19566772224 1262921 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073608] ppid=1073543 vsize=19108176 memory=5018896 CPUtime=0 cores=4,6
/proc/1073551/task/1073608/stat : 1073608 (Finalizer) S 1073543 1073551 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 1262921 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073621] ppid=1073543 vsize=19108176 memory=5018896 CPUtime=0 cores=4,6
/proc/1073551/task/1073621/stat : 1073621 (Common-Cleaner) S 1073543 1073551 1073488 0 -1 1077936192 3635 0 0 0 0 0 0 0 20 0 20 0 201332308 19566772224 1262921 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073636] ppid=1073543 vsize=19108176 memory=-9187040381901175487 CPUtime=0 cores=4,6
/proc/1073551/task/1073636/stat : 1073636 (Timer-0) S 1073543 1073551 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332351 19566772224 1262921 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
Current children cumulated CPU time: 3464.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5051684 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.18 4.11 6/330 1075459
/proc/meminfo: memFree=108646492/131524600 swapFree=131070704/131071996
[pid=1073551] ppid=1073543 vsize=19108176 memory=5051684 CPUtime=3524.38 cores=4,6
/proc/1073551/stat : 1073551 (java) S 1073543 1073551 1073488 0 -1 1077936128 331591 0 0 0 352246 192 0 0 20 0 20 0 201332304 19566772224 1262921 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
/proc/1073551/statm: 4777044 1262921 5930 1 0 1400561 0
[pid=1073551/tid=1073558] ppid=1073543 vsize=19108176 memory=39380 CPUtime=3489.92 cores=4,6
/proc/1073551/task/1073558/stat : 1073558 (java) R 1073543 1073551 1073488 0 -1 4194368 127948 0 0 0 348918 74 0 0 20 0 20 0 201332305 19566772224 1262921 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073608] ppid=1073543 vsize=19108176 memory=5051684 CPUtime=0 cores=4,6
/proc/1073551/task/1073608/stat : 1073608 (Finalizer) S 1073543 1073551 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 1262921 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073621] ppid=1073543 vsize=19108176 memory=2280 CPUtime=0 cores=4,6
/proc/1073551/task/1073621/stat : 1073621 (Common-Cleaner) S 1073543 1073551 1073488 0 -1 1077936192 3635 0 0 0 0 0 0 0 20 0 20 0 201332308 19566772224 1262921 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073636] ppid=1073543 vsize=19108176 memory=5051684 CPUtime=0 cores=4,6
/proc/1073551/task/1073636/stat : 1073636 (Timer-0) S 1073543 1073551 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332351 19566772224 1262921 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
Current children cumulated CPU time: 3524.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5051684 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.16 4.10 6/330 1075470
/proc/meminfo: memFree=108459028/131524600 swapFree=131070704/131071996
[pid=1073551] ppid=1073543 vsize=19108176 memory=5051684 CPUtime=3584.42 cores=4,6
/proc/1073551/stat : 1073551 (java) S 1073543 1073551 1073488 0 -1 1077936128 335281 0 0 0 358249 193 0 0 20 0 20 0 201332304 19566772224 1262921 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
/proc/1073551/statm: 4777044 1262921 5930 1 0 1400561 0
[pid=1073551/tid=1073558] ppid=1073543 vsize=19108176 memory=5051684 CPUtime=3549.64 cores=4,6
/proc/1073551/task/1073558/stat : 1073558 (java) R 1073543 1073551 1073488 0 -1 4194368 130620 0 0 0 354890 74 0 0 20 0 20 0 201332305 19566772224 1262921 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073608] ppid=1073543 vsize=19108176 memory=11648 CPUtime=0 cores=4,6
/proc/1073551/task/1073608/stat : 1073608 (Finalizer) S 1073543 1073551 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 1262921 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073621] ppid=1073543 vsize=19108176 memory=5432 CPUtime=0 cores=4,6
/proc/1073551/task/1073621/stat : 1073621 (Common-Cleaner) S 1073543 1073551 1073488 0 -1 1077936192 3687 0 0 0 0 0 0 0 20 0 20 0 201332308 19566772224 1262921 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073636] ppid=1073543 vsize=19108176 memory=5051684 CPUtime=0 cores=4,6
/proc/1073551/task/1073636/stat : 1073636 (Timer-0) S 1073543 1073551 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332351 19566772224 1262921 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
Current children cumulated CPU time: 3584.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5051684 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3597.9 s]
/proc/loadavg: 4.10 4.15 4.10 6/330 1075540
/proc/meminfo: memFree=113286868/131524600 swapFree=131070704/131071996
[pid=1073551] ppid=1073543 vsize=19108176 memory=5051684 CPUtime=3600.07 cores=4,6
/proc/1073551/stat : 1073551 (java) S 1073543 1073551 1073488 0 -1 1077936128 337229 0 0 0 359813 194 0 0 20 0 20 0 201332304 19566772224 1262921 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
/proc/1073551/statm: 4777044 1262921 5930 1 0 1400561 0
[pid=1073551/tid=1073558] ppid=1073543 vsize=19108176 memory=48084 CPUtime=3565.21 cores=4,6
/proc/1073551/task/1073558/stat : 1073558 (java) R 1073543 1073551 1073488 0 -1 4194368 131218 0 0 0 356446 75 0 0 20 0 20 0 201332305 19566772224 1262921 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073608] ppid=1073543 vsize=19108176 memory=5051684 CPUtime=0 cores=4,6
/proc/1073551/task/1073608/stat : 1073608 (Finalizer) S 1073543 1073551 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 1262921 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073621] ppid=1073543 vsize=19108176 memory=5051684 CPUtime=0 cores=4,6
/proc/1073551/task/1073621/stat : 1073621 (Common-Cleaner) S 1073543 1073551 1073488 0 -1 1077936192 3794 0 0 0 0 0 0 0 20 0 20 0 201332308 19566772224 1262921 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
[pid=1073551/tid=1073636] ppid=1073543 vsize=19108176 memory=2280 CPUtime=0 cores=4,6
/proc/1073551/task/1073636/stat : 1073636 (Timer-0) S 1073543 1073551 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332351 19566772224 1262921 134679101440 94580882104320 94580882108016 140731159464016 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94580882115832 94580882116624 94580907839488 140731159467013 140731159467103 140731159467103 140731159474120 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5051684 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.27 s, system=1.96627 s

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

[startup+3598.01 s]*
/proc/loadavg: 4.10 4.15 4.10 4/290 1075560
/proc/meminfo: memFree=122962024/131524600 swapFree=131070704/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3598.1
CPU time (s): 3600.24
CPU user time (s): 3598.27
CPU system time (s): 1.96627
CPU usage (%): 100.06
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 5051684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.27
system time used= 1.96627
maximum resident set size= 5053284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 340426
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112176
involuntary context switches= 21783


# summary of solver processes directly reported to runsolver:
#   pid: 1073551
#   total CPU time (s): 3600.24
#   total CPU user time (s): 3598.27
#   total CPU system time (s): 1.96627

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.31315 second user time and 19.0053 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2024-07-20 18:08:06
IDJOB=4453654
IDBENCH=175763
IDSOLVER=3058
FILE ID=nodeC023/4453654-1721491673
RUNJOBID= nodeC023-1721491686-1073499
SLURM_JOB_ID= 7545788
Free space on /tmp= 890084 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-4000.shuf-3.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453654-1721491673/watcher-4453654-1721491673 -o /tmp/evaluation-result-4453654-1721491673/solver-4453654-1721491673 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721491686-1073499 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4453654-1721491673.opb

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

MD5SUM BENCH= 90e219b8c5705857cfd3b9fc00c31b1d
RANDOM SEED=443794095

nodeC023.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		: 3094.224
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.61
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		: 3612.303
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	: 7005.48
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		: 3556.820
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.61
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		: 3652.214
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	: 7005.48
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		: 3575.672
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.61
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		: 3565.208
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	: 7005.48
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		: 3471.330
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.61
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		: 3577.606
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	: 7005.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128119720 kB
MemAvailable:   129757000 kB
Buffers:          618180 kB
Cached:          1863716 kB
SwapCached:           80 kB
Active:          1291084 kB
Inactive:        1562592 kB
Active(anon):       1472 kB
Inactive(anon):   416036 kB
Active(file):    1289612 kB
Inactive(file):  1146556 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070704 kB
Dirty:              3124 kB
Writeback:             0 kB
AnonPages:        371860 kB
Mapped:           106404 kB
Shmem:             45728 kB
KReclaimable:      81868 kB
Slab:             174536 kB
SReclaimable:      81868 kB
SUnreclaim:        92668 kB
KernelStack:        3872 kB
PageTables:         9536 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     675340 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            33760 kB
HardwareCorrupted:     0 kB
AnonHugePages:    249856 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:      316116 kB
DirectMap2M:    38254592 kB
DirectMap1G:    97517568 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC023 at 2024-07-20 19:08:04