Trace number 4453672

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 2024 2024-07-07? (TO) 3600.24 3622.62

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.07/0.23	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.07/0.23	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.23	c See www.sat4j.org for details.
0.07/0.24	c version CUSTOM.v20240707
0.07/0.25	c java.runtime.name	OpenJDK Runtime Environment
0.07/0.25	c java.vm.name		OpenJDK 64-Bit Server VM
0.07/0.25	c java.vm.version	22.0.1+8-16
0.07/0.25	c java.vm.vendor	Oracle Corporation
0.07/0.25	c sun.arch.data.model	64
0.07/0.25	c java.version		22.0.1
0.07/0.25	c os.name		Linux
0.07/0.25	c os.version		4.18.0-301.1.el8.x86_64
0.07/0.25	c os.arch		amd64
0.07/0.25	c Free memory 		2104792832
0.07/0.25	c Max memory 		16282288128
0.07/0.25	c Total memory 		2113929216
0.07/0.25	c Number of processors 	2
0.07/0.29	--- Begin Solver configuration ---
0.07/0.29	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.07/0.29	Learn all clauses as in MiniSAT
0.07/0.29	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.29	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.29	Expensive reason simplification
0.07/0.29	Glucose 2.1 dynamic restart strategy
0.07/0.29	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.07/0.29	timeout=2147483s
0.07/0.29	DB Simplification allowed=false
0.07/0.29	Listener: none
0.07/0.29	--- End Solver configuration ---
0.07/0.29	c Pseudo Boolean Optimization by upper bound
0.07/0.29	c --- Begin Solver configuration ---
0.07/0.29	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.07/0.29	c Learn all clauses as in MiniSAT
0.07/0.29	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.29	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.29	c Expensive reason simplification
0.07/0.29	c Glucose 2.1 dynamic restart strategy
0.07/0.29	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.07/0.29	c timeout=2147483s
0.07/0.29	c DB Simplification allowed=false
0.07/0.29	c Listener: none
0.07/0.29	c --- End Solver configuration ---
0.07/0.29	c solving HOME/instance-4453672-1721843598.opb
0.07/0.29	c reading problem ... 
0.07/0.30	c using VERIPB proof format
0.07/0.30	c  no objective function found
0.77/0.63	c ... done. Wall clock time 0.333s.
0.77/0.63	c declared #vars     16001
0.77/0.63	c #constraints  8000
0.77/0.63	c constraints type 
0.77/0.63	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 8000
0.77/0.63	c 8000 constraints processed.
1.94/1.24	c cleaning 2481 clauses out of 5001 with flag 20675/5001
2.34/1.49	c cleaning 4207 clauses out of 8519 with flag 53740/11000
2.93/1.70	c cleaning 5608 clauses out of 11312 with flag 91773/18000
3.32/1.96	c cleaning 6787 clauses out of 13705 with flag 140015/26001
3.74/2.19	c cleaning 7888 clauses out of 15917 with flag 189901/35000
4.23/2.46	c cleaning 8918 clauses out of 18030 with flag 245151/45001
4.60/2.74	c cleaning 10007 clauses out of 20112 with flag 302968/56001
4.93/3.06	c cleaning 10989 clauses out of 22106 with flag 371954/68002
5.26/3.38	c cleaning 11998 clauses out of 24116 with flag 446010/81001
5.69/3.74	c cleaning 12964 clauses out of 26119 with flag 524474/95002
6.19/4.13	c cleaning 14054 clauses out of 28154 with flag 615138/110001
6.97/4.65	c cleaning 14956 clauses out of 30100 with flag 711883/126001
7.52/5.18	c cleaning 15979 clauses out of 32144 with flag 813009/143001
8.19/5.81	c cleaning 17023 clauses out of 34165 with flag 918440/161001
8.88/6.44	c cleaning 18019 clauses out of 36141 with flag 1028311/180000
9.38/6.94	c cleaning 19016 clauses out of 38122 with flag 1141787/200000
9.97/7.57	c cleaning 20009 clauses out of 40107 with flag 1258511/221001
10.57/8.12	c cleaning 21022 clauses out of 42097 with flag 1388453/243000
11.08/8.66	c cleaning 21949 clauses out of 44075 with flag 1518211/266000
11.87/9.42	c cleaning 23011 clauses out of 46127 with flag 1656720/290001
12.48/10.07	c cleaning 23974 clauses out of 48115 with flag 1791870/315000
13.17/10.74	c cleaning 25038 clauses out of 50141 with flag 1942711/341000
13.87/11.41	c cleaning 26020 clauses out of 52104 with flag 2093915/368001
14.46/12.09	c cleaning 26932 clauses out of 54083 with flag 2243311/396000
15.50/13.06	c cleaning 28076 clauses out of 56151 with flag 2405829/425000
16.34/13.81	c cleaning 28989 clauses out of 58077 with flag 2567276/455002
17.05/14.54	c cleaning 29981 clauses out of 60087 with flag 2737240/486001
17.75/15.28	c cleaning 31031 clauses out of 62105 with flag 2914871/518000
18.84/16.35	c cleaning 32025 clauses out of 64075 with flag 3102674/551001
19.64/17.17	c cleaning 32994 clauses out of 66050 with flag 3304022/585001
20.72/18.28	c cleaning 34007 clauses out of 68055 with flag 3524649/620000
22.13/19.66	c cleaning 34996 clauses out of 70049 with flag 3762498/656001
23.02/20.58	c cleaning 35947 clauses out of 72052 with flag 3967738/693000
24.22/21.71	c cleaning 36993 clauses out of 74105 with flag 4183486/731000
25.22/22.73	c cleaning 38031 clauses out of 76112 with flag 4412965/770000
26.32/23.88	c cleaning 38933 clauses out of 78081 with flag 4651232/810000
28.21/25.74	c cleaning 40016 clauses out of 80148 with flag 4914501/851000
29.61/27.13	c cleaning 41044 clauses out of 82132 with flag 5168080/893000
30.81/28.38	c cleaning 41945 clauses out of 84089 with flag 5417116/936001
31.90/29.44	c cleaning 43053 clauses out of 86144 with flag 5662651/980001
33.11/30.63	c cleaning 43927 clauses out of 88090 with flag 5928742/1025000
34.70/32.23	c cleaning 45042 clauses out of 90164 with flag 6219883/1071001
35.89/33.43	c cleaning 45945 clauses out of 92121 with flag 6494035/1118000
37.10/34.69	c cleaning 47044 clauses out of 94177 with flag 6767428/1166001
38.60/36.12	c cleaning 48038 clauses out of 96132 with flag 7056963/1215000
40.39/38.30	c cleaning 48991 clauses out of 98095 with flag 7358029/1265001
41.77/39.77	c cleaning 50018 clauses out of 100103 with flag 7652140/1316000
43.30/41.22	c cleaning 50994 clauses out of 102085 with flag 7965291/1368000
44.80/42.74	c cleaning 51966 clauses out of 104092 with flag 8287959/1421001
46.29/44.20	c cleaning 52989 clauses out of 106127 with flag 8588355/1475002
48.11/46.09	c cleaning 53995 clauses out of 108136 with flag 8925631/1530000
50.05/47.97	c cleaning 55011 clauses out of 110141 with flag 9264819/1586000
51.64/49.50	c cleaning 56037 clauses out of 112131 with flag 9599216/1643001
53.81/51.72	c cleaning 56977 clauses out of 114093 with flag 9965550/1701000
55.40/53.27	c cleaning 57998 clauses out of 116117 with flag 10299716/1760001
57.22/55.06	c cleaning 58955 clauses out of 118119 with flag 10655823/1820001
59.00/56.83	c cleaning 60003 clauses out of 120163 with flag 11029703/1881000
61.47/59.36	c cleaning 61061 clauses out of 122161 with flag 11420218/1943001
63.58/61.40	c cleaning 61971 clauses out of 124099 with flag 11800082/2006000
65.88/63.76	c cleaning 63024 clauses out of 126131 with flag 12207909/2070003
68.17/66.05	c cleaning 64033 clauses out of 128104 with flag 12587952/2135000
70.36/68.68	c cleaning 64987 clauses out of 130071 with flag 12996518/2201000
72.47/70.70	c cleaning 65997 clauses out of 132084 with flag 13407799/2268000
74.52/72.75	c cleaning 66957 clauses out of 134088 with flag 13811942/2336001
76.61/74.89	c cleaning 68049 clauses out of 136130 with flag 14222682/2405000
78.61/76.89	c cleaning 69004 clauses out of 138082 with flag 14633803/2475001
81.20/79.43	c cleaning 69969 clauses out of 140078 with flag 15065418/2546001
83.25/81.48	c cleaning 71000 clauses out of 142108 with flag 15472096/2618000
86.02/84.29	c cleaning 72036 clauses out of 144110 with flag 15909904/2691002
88.69/86.94	c cleaning 73009 clauses out of 146073 with flag 16354996/2765001
91.66/89.92	c cleaning 74017 clauses out of 148066 with flag 16840753/2840003
94.34/92.55	c cleaning 75000 clauses out of 150046 with flag 17302261/2916000
96.91/95.19	c cleaning 76000 clauses out of 152047 with flag 17759976/2993001
99.49/98.11	c cleaning 76927 clauses out of 154046 with flag 18225074/3071000
102.18/100.71	c cleaning 78022 clauses out of 156119 with flag 18720066/3150000
104.28/102.83	c cleaning 79009 clauses out of 158099 with flag 19183616/3230002
106.97/105.55	c cleaning 79971 clauses out of 160088 with flag 19674197/3311000
108.97/107.59	c cleaning 80941 clauses out of 162117 with flag 20141460/3393000
111.34/109.86	c cleaning 82067 clauses out of 164176 with flag 20622679/3476000
114.12/112.64	c cleaning 83028 clauses out of 166109 with flag 21125321/3560000
117.32/115.84	c cleaning 83983 clauses out of 168083 with flag 21630827/3645002
119.82/118.30	c cleaning 85023 clauses out of 170098 with flag 22123914/3731000
122.49/120.96	c cleaning 86016 clauses out of 172075 with flag 22635341/3818000
125.39/123.83	c cleaning 86963 clauses out of 174059 with flag 23149689/3906000
127.69/126.12	c cleaning 87996 clauses out of 176097 with flag 23663818/3995001
130.66/129.46	c cleaning 89032 clauses out of 178100 with flag 24194493/4085000
133.56/132.39	c cleaning 90020 clauses out of 180070 with flag 24737199/4176002
136.64/135.43	c cleaning 91021 clauses out of 182049 with flag 25273474/4268001
139.74/138.52	c cleaning 91982 clauses out of 184028 with flag 25835306/4361001
142.95/141.66	c cleaning 92933 clauses out of 186047 with flag 26408871/4455002
145.94/144.62	c cleaning 94027 clauses out of 188113 with flag 26992802/4550001
149.23/147.97	c cleaning 94931 clauses out of 190085 with flag 27560207/4646000
152.45/151.08	c cleaning 96057 clauses out of 192156 with flag 28130594/4743002
155.84/154.47	c cleaning 96931 clauses out of 194099 with flag 28730194/4841002
159.04/157.60	c cleaning 97962 clauses out of 196166 with flag 29315640/4940000
162.33/161.12	c cleaning 99046 clauses out of 198205 with flag 29904193/5040001
165.23/164.10	c cleaning 100016 clauses out of 200158 with flag 30482751/5141000
168.22/167.09	c cleaning 101046 clauses out of 202143 with flag 31071034/5243001
171.75/170.44	c cleaning 101919 clauses out of 204096 with flag 31698925/5346000
175.34/174.06	c cleaning 103060 clauses out of 206180 with flag 32339028/5450003
178.52/177.26	c cleaning 104051 clauses out of 208118 with flag 32970307/5555001
182.02/180.72	c cleaning 104994 clauses out of 210066 with flag 33590902/5661000
186.53/185.12	c cleaning 106012 clauses out of 212072 with flag 34254490/5768000
190.72/189.32	c cleaning 106971 clauses out of 214060 with flag 34930131/5876000
194.45/193.47	c cleaning 108019 clauses out of 216091 with flag 35564378/5985002
198.36/197.29	c cleaning 109015 clauses out of 218070 with flag 36228913/6095000
201.46/200.36	c cleaning 109936 clauses out of 220056 with flag 36875875/6206001
205.45/204.28	c cleaning 111029 clauses out of 222119 with flag 37549750/6318000
209.04/207.84	c cleaning 112032 clauses out of 224093 with flag 38245288/6431003
213.43/212.21	c cleaning 112977 clauses out of 226058 with flag 38934722/6545000
217.57/216.29	c cleaning 114003 clauses out of 228082 with flag 39613832/6660001
221.56/220.27	c cleaning 115038 clauses out of 230079 with flag 40326727/6776001
225.14/224.18	c cleaning 115975 clauses out of 232041 with flag 41011356/6893001
230.14/229.01	c cleaning 116961 clauses out of 234067 with flag 41740608/7011002
234.32/233.26	c cleaning 118011 clauses out of 236105 with flag 42468672/7130001
238.32/237.20	c cleaning 119004 clauses out of 238094 with flag 43195864/7250001
242.03/240.87	c cleaning 120017 clauses out of 240089 with flag 43912829/7371000
245.91/244.71	c cleaning 120967 clauses out of 242072 with flag 44651030/7493000
250.03/248.73	c cleaning 122022 clauses out of 244106 with flag 45401900/7616001
254.31/253.32	c cleaning 122999 clauses out of 246083 with flag 46144359/7740000
257.80/256.86	c cleaning 123962 clauses out of 248084 with flag 46876797/7865000
261.90/260.84	c cleaning 124973 clauses out of 250123 with flag 47621427/7991001
265.56/264.52	c cleaning 126067 clauses out of 252150 with flag 48372537/8118001
270.14/269.03	c cleaning 126977 clauses out of 254083 with flag 49149342/8246001
274.39/273.34	c cleaning 127952 clauses out of 256107 with flag 49939038/8375002
279.15/278.16	c cleaning 128964 clauses out of 258156 with flag 50738836/8505003
283.41/282.68	c cleaning 130079 clauses out of 260189 with flag 51504728/8636000
287.90/287.13	c cleaning 130991 clauses out of 262110 with flag 52303310/8768000
292.40/291.53	c cleaning 132023 clauses out of 264119 with flag 53098998/8901000
297.09/296.20	c cleaning 132984 clauses out of 266098 with flag 53922530/9035002
301.73/300.70	c cleaning 134037 clauses out of 268112 with flag 54716884/9170000
305.62/304.65	c cleaning 134933 clauses out of 270076 with flag 55520833/9306001
310.11/309.17	c cleaning 136041 clauses out of 272142 with flag 56327966/9443000
314.41/313.68	c cleaning 137023 clauses out of 274102 with flag 57155168/9581001
319.19/318.49	c cleaning 138010 clauses out of 276079 with flag 58022336/9720001
323.57/322.78	c cleaning 138987 clauses out of 278068 with flag 58852913/9860000
328.22/327.47	c cleaning 139942 clauses out of 280082 with flag 59699931/10001001
334.39/333.55	c cleaning 141028 clauses out of 282139 with flag 60587482/10143000
339.83/339.05	c cleaning 142019 clauses out of 284112 with flag 61450091/10286001
344.68/344.13	c cleaning 142998 clauses out of 286093 with flag 62308729/10430001
349.33/348.83	c cleaning 143876 clauses out of 288094 with flag 63188261/10575000
354.41/353.84	c cleaning 144988 clauses out of 290221 with flag 64055409/10721003
358.86/358.31	c cleaning 146080 clauses out of 292232 with flag 64922860/10868002
364.21/363.69	c cleaning 147005 clauses out of 294150 with flag 65816955/11016000
369.85/369.36	c cleaning 147954 clauses out of 296146 with flag 66727317/11165001
374.90/374.69	c cleaning 149074 clauses out of 298193 with flag 67636451/11315002
380.20/379.98	c cleaning 150014 clauses out of 300117 with flag 68576425/11466000
385.70/385.32	c cleaning 151031 clauses out of 302104 with flag 69508333/11618001
391.20/390.77	c cleaning 151973 clauses out of 304072 with flag 70441266/11771000
396.55/396.17	c cleaning 152991 clauses out of 306099 with flag 71355481/11925000
402.10/401.66	c cleaning 154028 clauses out of 308111 with flag 72305363/12080003
407.15/407.02	c cleaning 155029 clauses out of 310082 with flag 73255114/12236002
413.42/413.23	c cleaning 156014 clauses out of 312051 with flag 74237477/12393000
418.41/418.17	c cleaning 156972 clauses out of 314039 with flag 75176743/12551002
423.70/423.45	c cleaning 158007 clauses out of 316066 with flag 76132021/12710001
429.18/428.86	c cleaning 158907 clauses out of 318059 with flag 77104374/12870001
435.06/434.70	c cleaning 160031 clauses out of 320152 with flag 78075518/13031001
440.25/440.33	c cleaning 160994 clauses out of 322120 with flag 79020385/13193000
445.73/445.74	c cleaning 162011 clauses out of 324126 with flag 80007024/13356000
452.68/452.28	c cleaning 163038 clauses out of 326116 with flag 81018359/13520001
458.16/457.79	c cleaning 163958 clauses out of 328078 with flag 82007660/13685001
464.28/463.87	c cleaning 164917 clauses out of 330120 with flag 83028935/13851001
470.77/470.68	c cleaning 166073 clauses out of 332206 with flag 84057902/14018004
476.27/476.15	c cleaning 167025 clauses out of 334130 with flag 85077479/14186001
481.56/481.32	c cleaning 168038 clauses out of 336104 with flag 86070167/14355000
487.05/486.81	c cleaning 168940 clauses out of 338066 with flag 87123283/14525000
492.45/492.15	c cleaning 170033 clauses out of 340126 with flag 88183070/14696000
499.22/499.22	c cleaning 171027 clauses out of 342098 with flag 89288322/14868005
504.72/504.62	c cleaning 172004 clauses out of 344067 with flag 90302473/15041001
510.71/510.63	c cleaning 173001 clauses out of 346063 with flag 91343507/15215001
517.90/517.74	c cleaning 174002 clauses out of 348061 with flag 92410831/15390000
525.32/525.07	c cleaning 174995 clauses out of 350059 with flag 93498814/15566000
531.16/531.28	c cleaning 175989 clauses out of 352065 with flag 94559440/15743001
537.77/537.75	c cleaning 176965 clauses out of 354075 with flag 95651108/15921000
543.55/543.58	c cleaning 178047 clauses out of 356113 with flag 96729585/16100003
549.64/549.57	c cleaning 178956 clauses out of 358063 with flag 97806804/16280000
556.36/556.14	c cleaning 180014 clauses out of 360108 with flag 98917691/16461001
563.08/563.23	c cleaning 180976 clauses out of 362094 with flag 100055521/16643001
569.00/569.04	c cleaning 181981 clauses out of 364117 with flag 101157521/16826000
575.09/575.15	c cleaning 183021 clauses out of 366137 with flag 102274099/17010001
581.99/581.90	c cleaning 183988 clauses out of 368115 with flag 103395721/17195000
588.41/588.21	c cleaning 185004 clauses out of 370127 with flag 104508147/17381000
594.25/594.40	c cleaning 186025 clauses out of 372124 with flag 105614864/17568001
600.89/600.91	c cleaning 186966 clauses out of 374098 with flag 106750273/17756000
606.97/607.00	c cleaning 187990 clauses out of 376134 with flag 107873528/17945002
613.71/613.70	c cleaning 188970 clauses out of 378143 with flag 109028999/18135001
619.90/620.12	c cleaning 190056 clauses out of 380174 with flag 110118380/18326002
626.32/626.67	c cleaning 191026 clauses out of 382116 with flag 111272414/18518000
632.50/632.78	c cleaning 191886 clauses out of 384090 with flag 112431536/18711000
638.64/638.90	c cleaning 193064 clauses out of 386205 with flag 113571419/18905001
645.49/645.79	c cleaning 194019 clauses out of 388140 with flag 114745089/19100000
652.48/652.92	c cleaning 195006 clauses out of 390121 with flag 115940543/19296000
659.46/659.95	c cleaning 195916 clauses out of 392115 with flag 117138282/19493000
667.55/667.91	c cleaning 196944 clauses out of 394199 with flag 118349570/19691000
674.46/674.73	c cleaning 198014 clauses out of 396255 with flag 119542858/19890000
683.13/683.76	c cleaning 199082 clauses out of 398242 with flag 120802618/20090001
691.27/691.72	c cleaning 200041 clauses out of 400159 with flag 122042566/20291000
698.96/699.36	c cleaning 200929 clauses out of 402118 with flag 123267190/20493000
707.17/707.45	c cleaning 202081 clauses out of 404190 with flag 124531629/20696001
714.55/715.12	c cleaning 202968 clauses out of 406109 with flag 125759051/20900001
722.53/723.05	c cleaning 204036 clauses out of 408140 with flag 127023058/21105000
730.27/730.73	c cleaning 204995 clauses out of 410105 with flag 128277473/21311001
737.50/737.91	c cleaning 206020 clauses out of 412109 with flag 129512744/21518000
745.13/745.90	c cleaning 207024 clauses out of 414089 with flag 130766600/21726000
752.51/753.24	c cleaning 207991 clauses out of 416065 with flag 132013583/21935000
760.69/761.33	c cleaning 208928 clauses out of 418076 with flag 133278656/22145002
768.19/768.73	c cleaning 210009 clauses out of 420146 with flag 134554202/22356000
777.15/777.95	c cleaning 210974 clauses out of 422137 with flag 135884964/22568000
785.86/786.65	c cleaning 212041 clauses out of 424165 with flag 137208240/22781002
794.56/795.45	c cleaning 213043 clauses out of 426124 with flag 138545436/22995002
802.28/803.17	c cleaning 214019 clauses out of 428079 with flag 139830556/23210000
811.39/812.54	c cleaning 215004 clauses out of 430061 with flag 141172694/23426001
818.37/819.44	c cleaning 215986 clauses out of 432057 with flag 142488257/23643001
825.65/826.60	c cleaning 216992 clauses out of 434071 with flag 143809119/23861001
834.11/834.57	c cleaning 218003 clauses out of 436078 with flag 145135582/24080000
842.51/843.28	c cleaning 219001 clauses out of 438076 with flag 146479265/24300001
850.18/850.81	c cleaning 219951 clauses out of 440074 with flag 147803672/24521000
859.26/860.00	c cleaning 221032 clauses out of 442123 with flag 149152842/24743000
867.23/868.11	c cleaning 222027 clauses out of 444092 with flag 150534741/24966001
877.92/878.63	c cleaning 223002 clauses out of 446065 with flag 151996657/25190001
887.61/888.21	c cleaning 224010 clauses out of 448062 with flag 153406174/25415000
896.10/897.09	c cleaning 225016 clauses out of 450052 with flag 154790411/25641000
905.60/906.43	c cleaning 225976 clauses out of 452037 with flag 156203558/25868001
913.70/914.50	c cleaning 226993 clauses out of 454060 with flag 157547405/26096000
922.41/923.00	c cleaning 227932 clauses out of 456069 with flag 158908314/26325002
930.77/931.73	c cleaning 229016 clauses out of 458135 with flag 160268590/26555000
938.96/939.85	c cleaning 229984 clauses out of 460119 with flag 161661064/26786000
946.85/947.63	c cleaning 231052 clauses out of 462135 with flag 163021407/27018000
955.73/956.45	c cleaning 231944 clauses out of 464086 with flag 164443310/27251003
964.95/965.92	c cleaning 233028 clauses out of 466139 with flag 165851570/27485000
974.25/975.35	c cleaning 233996 clauses out of 468112 with flag 167306304/27720001
983.26/984.30	c cleaning 234945 clauses out of 470118 with flag 168750690/27956003
991.93/993.26	c cleaning 235959 clauses out of 472170 with flag 170199138/28193000
1000.52/1001.77	c cleaning 237081 clauses out of 474211 with flag 171665493/28431000
1009.97/1011.14	c cleaning 238041 clauses out of 476130 with flag 173094295/28670000
1019.56/1021.12	c cleaning 238952 clauses out of 478090 with flag 174562752/28910001
1029.15/1030.72	c cleaning 240042 clauses out of 480138 with flag 176021770/29151001
1039.25/1040.89	c cleaning 241005 clauses out of 482096 with flag 177513958/29393001
1049.21/1051.06	c cleaning 242007 clauses out of 484093 with flag 179001108/29636003
1059.34/1061.01	c cleaning 243008 clauses out of 486084 with flag 180511291/29880001
1069.36/1070.96	c cleaning 244022 clauses out of 488076 with flag 182017716/30125001
1078.05/1079.62	c cleaning 244975 clauses out of 490053 with flag 183508724/30371000
1087.83/1089.60	c cleaning 246011 clauses out of 492080 with flag 185045284/30618002
1097.21/1098.99	c cleaning 246967 clauses out of 494067 with flag 186556327/30866000
1106.72/1108.34	c cleaning 248044 clauses out of 496103 with flag 188082280/31115003
1115.41/1117.26	c cleaning 248999 clauses out of 498056 with flag 189589314/31365000
1124.57/1126.39	c cleaning 249952 clauses out of 500057 with flag 191093539/31616000
1133.68/1135.32	c cleaning 250988 clauses out of 502106 with flag 192606742/31868001
1143.27/1145.33	c cleaning 252037 clauses out of 504117 with flag 194115847/32121000
1152.28/1154.21	c cleaning 253003 clauses out of 506080 with flag 195620722/32375000
1161.68/1163.51	c cleaning 254001 clauses out of 508077 with flag 197155852/32630000
1171.53/1173.61	c cleaning 254986 clauses out of 510077 with flag 198704177/32886001
1180.84/1182.96	c cleaning 255952 clauses out of 512090 with flag 200282816/33143000
1190.15/1192.21	c cleaning 257051 clauses out of 514139 with flag 201843568/33401001
1200.28/1202.35	c cleaning 257980 clauses out of 516088 with flag 203390768/33660001
1209.49/1211.49	c cleaning 258984 clauses out of 518107 with flag 204893778/33920000
1220.29/1222.21	c cleaning 259985 clauses out of 520124 with flag 206485713/34181001
1229.51/1231.47	c cleaning 260945 clauses out of 522138 with flag 208026564/34443000
1241.31/1258.96	c cleaning 262011 clauses out of 524194 with flag 209650164/34706001
1253.28/1270.80	c cleaning 263063 clauses out of 526182 with flag 211296350/34970000
1264.28/1281.78	c cleaning 264037 clauses out of 528119 with flag 212903897/35235000
1273.92/1292.21	c cleaning 265033 clauses out of 530082 with flag 214440714/35501000
1285.92/1304.14	c cleaning 265933 clauses out of 532050 with flag 216067631/35768001
1294.99/1314.09	c cleaning 266954 clauses out of 534116 with flag 217666214/36036000
1305.87/1324.83	c cleaning 268057 clauses out of 536163 with flag 219334445/36305001
1316.34/1335.26	c cleaning 268980 clauses out of 538106 with flag 220989005/36575001
1327.80/1347.46	c cleaning 269974 clauses out of 540125 with flag 222633569/36846000
1338.80/1358.34	c cleaning 271010 clauses out of 542152 with flag 224290033/37118001
1350.10/1369.57	c cleaning 271949 clauses out of 544142 with flag 225952838/37391001
1361.39/1381.69	c cleaning 273073 clauses out of 546193 with flag 227626680/37665001
1373.40/1393.56	c cleaning 274012 clauses out of 548120 with flag 229314178/37940001
1384.39/1404.45	c cleaning 274908 clauses out of 550108 with flag 230993264/38216001
1394.17/1415.09	c cleaning 276066 clauses out of 552199 with flag 232646504/38493000
1404.76/1425.52	c cleaning 277045 clauses out of 554134 with flag 234288576/38771001
1417.80/1439.41	c cleaning 277957 clauses out of 556088 with flag 236010589/39050000
1428.09/1449.63	c cleaning 278941 clauses out of 558135 with flag 237667091/39330004
1438.90/1460.41	c cleaning 280072 clauses out of 560194 with flag 239348165/39611004
1451.41/1473.98	c cleaning 281015 clauses out of 562118 with flag 241111958/39893000
1461.88/1484.39	c cleaning 282040 clauses out of 564104 with flag 242786871/40176001
1474.39/1496.10	c cleaning 282873 clauses out of 566065 with flag 244537365/40460002
1484.89/1507.48	c cleaning 284074 clauses out of 568191 with flag 246396170/40745001
1495.23/1517.73	c cleaning 284980 clauses out of 570117 with flag 248160244/41031001
1505.14/1528.68	c cleaning 286053 clauses out of 572137 with flag 249825918/41318001
1516.09/1539.54	c cleaning 287022 clauses out of 574083 with flag 251527600/41606000
1527.77/1551.17	c cleaning 288014 clauses out of 576062 with flag 253213340/41895001
1539.85/1564.80	c cleaning 288950 clauses out of 578047 with flag 254955644/42185000
1552.35/1577.14	c cleaning 290031 clauses out of 580098 with flag 256740236/42476001
1564.58/1589.44	c cleaning 291014 clauses out of 582067 with flag 258465603/42768001
1575.87/1600.67	c cleaning 291990 clauses out of 584052 with flag 260223097/43061000
1586.37/1611.09	c cleaning 293010 clauses out of 586062 with flag 261928267/43355000
1600.38/1625.16	c cleaning 293956 clauses out of 588052 with flag 263697663/43650000
1611.38/1636.01	c cleaning 295024 clauses out of 590096 with flag 265439592/43946000
1621.84/1646.48	c cleaning 296008 clauses out of 592072 with flag 267207836/44243000
1635.24/1660.07	c cleaning 297015 clauses out of 594064 with flag 269030550/44541000
1648.84/1673.60	c cleaning 297950 clauses out of 596050 with flag 270877499/44840001
1661.04/1685.99	c cleaning 299023 clauses out of 598101 with flag 272705291/45140002
1672.88/1697.73	c cleaning 300026 clauses out of 600076 with flag 274485481/45441000
1682.83/1707.66	c cleaning 300975 clauses out of 602051 with flag 276211011/45743001
1694.75/1719.97	c cleaning 301950 clauses out of 604077 with flag 278048576/46046002
1707.85/1732.93	c cleaning 303050 clauses out of 606125 with flag 279928793/46350000
1719.49/1745.41	c cleaning 303984 clauses out of 608075 with flag 281736175/46655000
1733.29/1758.56	c cleaning 305013 clauses out of 610092 with flag 283612445/46961001
1745.29/1770.59	c cleaning 306012 clauses out of 612079 with flag 285409565/47268001
1756.70/1782.10	c cleaning 306904 clauses out of 614066 with flag 287219743/47576000
1770.44/1795.74	c cleaning 308041 clauses out of 616162 with flag 289078804/47885000
1787.42/1812.85	c cleaning 309027 clauses out of 618123 with flag 291069509/48195002
1799.93/1825.21	c cleaning 310037 clauses out of 620095 with flag 292917883/48506001
1812.54/1837.94	c cleaning 310988 clauses out of 622057 with flag 294797148/48818000
1827.08/1852.22	c cleaning 312020 clauses out of 624069 with flag 296698884/49131000
1840.11/1865.13	c cleaning 313023 clauses out of 626049 with flag 298554114/49445000
1852.82/1877.98	c cleaning 313983 clauses out of 628027 with flag 300373245/49760001
1864.15/1889.19	c cleaning 315001 clauses out of 630043 with flag 302334797/50076000
1876.46/1901.59	c cleaning 315977 clauses out of 632045 with flag 304214680/50393003
1889.25/1914.30	c cleaning 317013 clauses out of 634065 with flag 306060642/50711000
1900.59/1925.60	c cleaning 317998 clauses out of 636053 with flag 307904124/51030001
1912.84/1938.10	c cleaning 318904 clauses out of 638054 with flag 309770588/51350000
1924.67/1949.81	c cleaning 320049 clauses out of 640150 with flag 311605974/51671000
1939.86/1965.28	c cleaning 320990 clauses out of 642103 with flag 313556290/51993002
1952.64/1978.01	c cleaning 322009 clauses out of 644112 with flag 315427041/52316001
1965.17/1990.76	c cleaning 323030 clauses out of 646103 with flag 317310115/52640001
1977.06/2002.47	c cleaning 323986 clauses out of 648072 with flag 319199492/52965000
1990.37/2015.63	c cleaning 324924 clauses out of 650087 with flag 321172545/53291001
2004.00/2028.76	c cleaning 326040 clauses out of 652163 with flag 323082370/53618001
2019.69/2044.47	c cleaning 326944 clauses out of 654123 with flag 325123977/53946001
2032.11/2056.96	c cleaning 328053 clauses out of 656180 with flag 327054154/54275002
2043.77/2068.57	c cleaning 329031 clauses out of 658125 with flag 328966720/54605000
2056.93/2081.85	c cleaning 329962 clauses out of 660094 with flag 330876780/54936000
2070.13/2094.80	c cleaning 331053 clauses out of 662132 with flag 332757384/55268000
2082.76/2107.31	c cleaning 331993 clauses out of 664079 with flag 334679898/55601000
2096.54/2121.27	c cleaning 333003 clauses out of 666086 with flag 336649073/55935000
2110.60/2135.29	c cleaning 334007 clauses out of 668083 with flag 338647057/56270000
2124.63/2149.33	c cleaning 335027 clauses out of 670076 with flag 340658211/56606000
2141.02/2165.60	c cleaning 335946 clauses out of 672049 with flag 342749029/56943000
2153.85/2178.52	c cleaning 337003 clauses out of 674105 with flag 344755629/57281002
2167.71/2192.19	c cleaning 338009 clauses out of 676100 with flag 346781578/57620000
2181.16/2205.69	c cleaning 339022 clauses out of 678094 with flag 348786454/57960003
2194.85/2219.27	c cleaning 340010 clauses out of 680069 with flag 350795401/58301000
2207.69/2231.91	c cleaning 341005 clauses out of 682059 with flag 352899277/58643000
2221.69/2246.07	c cleaning 341988 clauses out of 684055 with flag 354946578/58986001
2234.28/2258.49	c cleaning 343011 clauses out of 686067 with flag 356857234/59330001
2248.38/2272.77	c cleaning 343981 clauses out of 688056 with flag 358850241/59675001
2264.01/2287.60	c cleaning 345008 clauses out of 690074 with flag 360845821/60021000
2278.17/2301.98	c cleaning 346019 clauses out of 692067 with flag 362866848/60368001
2293.32/2317.00	c cleaning 346991 clauses out of 694050 with flag 364886943/60716003
2307.12/2330.94	c cleaning 348016 clauses out of 696056 with flag 366906353/61065000
2321.57/2345.29	c cleaning 348968 clauses out of 698042 with flag 368940027/61415002
2336.21/2359.99	c cleaning 349988 clauses out of 700075 with flag 371003735/61766003
2350.68/2374.34	c cleaning 351030 clauses out of 702085 with flag 373057343/62118001
2365.26/2389.05	c cleaning 352006 clauses out of 704054 with flag 375093312/62471000
2378.94/2402.60	c cleaning 352999 clauses out of 706050 with flag 377130879/62825002
2394.94/2418.40	c cleaning 353979 clauses out of 708051 with flag 379217895/63180002
2410.17/2433.78	c cleaning 355012 clauses out of 710071 with flag 381286899/63536001
2424.43/2448.08	c cleaning 356019 clauses out of 712059 with flag 383365349/63893001
2439.05/2462.88	c cleaning 357001 clauses out of 714040 with flag 385509360/64251001
2456.32/2480.28	c cleaning 357904 clauses out of 716041 with flag 387724828/64610003
2470.55/2494.38	c cleaning 358955 clauses out of 718134 with flag 389836651/64970000
2485.34/2509.04	c cleaning 360055 clauses out of 720180 with flag 391942289/65331001
2499.68/2523.41	c cleaning 360944 clauses out of 722124 with flag 394090918/65693000
2514.70/2538.25	c cleaning 362033 clauses out of 724181 with flag 396290773/66056001
2531.45/2555.05	c cleaning 363063 clauses out of 726147 with flag 398504149/66420000
2549.61/2572.66	c cleaning 364020 clauses out of 728086 with flag 400657690/66785002
2563.72/2586.70	c cleaning 364911 clauses out of 730064 with flag 402751515/67151000
2577.66/2600.53	c cleaning 365979 clauses out of 732153 with flag 404825450/67518000
2591.53/2614.59	c cleaning 367027 clauses out of 734175 with flag 406881762/67886001
2605.98/2628.96	c cleaning 368028 clauses out of 736147 with flag 408956801/68255000
2621.75/2644.88	c cleaning 369023 clauses out of 738119 with flag 411170951/68625000
2636.87/2659.76	c cleaning 370009 clauses out of 740099 with flag 413264433/68996003
2652.44/2675.46	c cleaning 371011 clauses out of 742087 with flag 415393855/69368000
2666.57/2689.63	c cleaning 371970 clauses out of 744079 with flag 417569864/69741003
2681.43/2704.51	c cleaning 373006 clauses out of 746108 with flag 419755300/70115002
2695.95/2718.93	c cleaning 374025 clauses out of 748100 with flag 421906967/70490000
2710.69/2733.71	c cleaning 375023 clauses out of 750075 with flag 423996874/70866000
2725.37/2748.25	c cleaning 375887 clauses out of 752054 with flag 426148980/71243002
2739.65/2762.56	c cleaning 377040 clauses out of 754165 with flag 428308558/71621000
2754.53/2777.37	c cleaning 378008 clauses out of 756126 with flag 430462544/72000001
2769.29/2792.25	c cleaning 378988 clauses out of 758117 with flag 432625894/72380000
2783.38/2806.10	c cleaning 379959 clauses out of 760129 with flag 434777225/72761000
2799.76/2823.92	c cleaning 381050 clauses out of 762171 with flag 436981880/73143001
2814.32/2838.43	c cleaning 382043 clauses out of 764121 with flag 439185284/73526001
2832.01/2855.49	c cleaning 383005 clauses out of 766079 with flag 441423260/73910002
2845.93/2869.33	c cleaning 383987 clauses out of 768075 with flag 443526305/74295003
2860.84/2884.44	c cleaning 385020 clauses out of 770086 with flag 445674868/74681001
2877.48/2900.91	c cleaning 385956 clauses out of 772066 with flag 447917364/75068001
2892.73/2916.25	c cleaning 387020 clauses out of 774109 with flag 450135230/75456000
2912.89/2936.30	c cleaning 387984 clauses out of 776089 with flag 452459158/75845000
2928.08/2951.47	c cleaning 389007 clauses out of 778106 with flag 454742069/76235001
2944.15/2967.42	c cleaning 390026 clauses out of 780099 with flag 456947670/76626001
2960.16/2983.61	c cleaning 390996 clauses out of 782072 with flag 459153133/77018000
2976.09/2999.46	c cleaning 391997 clauses out of 784076 with flag 461331331/77411000
2992.65/3016.08	c cleaning 393001 clauses out of 786079 with flag 463569414/77805000
3008.66/3032.03	c cleaning 394018 clauses out of 788078 with flag 465753055/78200000
3025.36/3049.01	c cleaning 395006 clauses out of 790062 with flag 468020875/78596002
3044.89/3068.65	c cleaning 395933 clauses out of 792055 with flag 470271860/78993001
3061.53/3084.56	c cleaning 397004 clauses out of 794121 with flag 472490261/79391000
3080.11/3103.15	c cleaning 398022 clauses out of 796118 with flag 474777965/79790001
3095.87/3118.83	c cleaning 399047 clauses out of 798095 with flag 477042863/80190000
3112.01/3135.01	c cleaning 399994 clauses out of 800048 with flag 479331638/80591000
3129.90/3152.86	c cleaning 400977 clauses out of 802054 with flag 481701029/80993000
3148.16/3171.41	c cleaning 401979 clauses out of 804078 with flag 484036386/81396001
3165.24/3188.47	c cleaning 402972 clauses out of 806099 with flag 486255532/81800001
3182.85/3205.92	c cleaning 404025 clauses out of 808128 with flag 488558964/82205002
3198.37/3221.51	c cleaning 405032 clauses out of 810101 with flag 490843931/82611000
3213.02/3236.18	c cleaning 405957 clauses out of 812069 with flag 493083604/83018000
3228.57/3251.80	c cleaning 407030 clauses out of 814112 with flag 495370331/83426000
3245.94/3269.09	c cleaning 408020 clauses out of 816083 with flag 497702396/83835001
3263.67/3286.94	c cleaning 408954 clauses out of 818062 with flag 500083469/84245000
3279.49/3302.86	c cleaning 410049 clauses out of 820108 with flag 502428104/84656000
3297.83/3321.27	c cleaning 410944 clauses out of 822061 with flag 504747245/85068002
3315.48/3338.91	c cleaning 411995 clauses out of 824115 with flag 507064365/85481000
3333.98/3356.62	c cleaning 412984 clauses out of 826120 with flag 509355994/85895000
3350.24/3373.02	c cleaning 414067 clauses out of 828136 with flag 511633030/86310000
3366.35/3389.08	c cleaning 415028 clauses out of 830070 with flag 513944989/86726001
3383.77/3406.60	c cleaning 415997 clauses out of 832042 with flag 516291173/87143001
3400.82/3423.51	c cleaning 416901 clauses out of 834044 with flag 518618550/87561000
3419.45/3442.15	c cleaning 417994 clauses out of 836146 with flag 521038101/87980003
3441.00/3463.74	c cleaning 419051 clauses out of 838151 with flag 523442139/88400002
3460.85/3483.47	c cleaning 420034 clauses out of 840099 with flag 525855981/88821001
3479.62/3502.49	c cleaning 420940 clauses out of 842064 with flag 528261374/89243000
3498.02/3520.66	c cleaning 422006 clauses out of 844124 with flag 530578638/89666000
3514.51/3537.16	c cleaning 422954 clauses out of 846118 with flag 532921359/90090000
3530.85/3553.35	c cleaning 423988 clauses out of 848165 with flag 535288121/90515001
3548.92/3571.45	c cleaning 425051 clauses out of 850177 with flag 537681153/90941001
3565.58/3588.04	c cleaning 425975 clauses out of 852125 with flag 540069552/91368000
3584.07/3606.45	c cleaning 427030 clauses out of 854151 with flag 542505619/91796001
3600.07/3622.51	c starts		: 48878
3600.07/3622.52	c conflicts		: 92193101
3600.07/3622.52	c decisions		: 236346324
3600.07/3622.52	c propagations		: 2056567280
3600.07/3622.52	c inspects		: 44797039704
3600.07/3622.52	c shortcuts		: 0
3600.07/3622.52	c learnt literals	: 0
3600.07/3622.52	c learnt binary clauses	: 0
3600.07/3622.52	c learnt ternary clauses	: 0
3600.07/3622.52	c learnt constraints	: 92193101
3600.07/3622.52	c ignored constraints	: 0
3600.07/3622.52	c root simplifications	: 0
3600.07/3622.52	c removed literals (reason simplification)	: 123993143
3600.07/3622.52	c reason swapping (by a shorter reason)	: 0
3600.07/3622.52	c Calls to reduceDB	: 424
3600.07/3622.52	c Number of update (reduction) of LBD	: 37857785
3600.07/3622.52	c Imported unit clauses	: 0
3600.07/3622.52	c No decision after first conflict	: false
3600.07/3622.52	c number of reductions to clauses (during analyze)	: 0
3600.07/3622.52	c number of learned constraints concerned by reduction	: 0
3600.07/3622.52	c number of learning phase by resolution	: 0
3600.07/3622.52	c number of learning phase by cutting planes	: 0
3600.07/3622.52	c number of rounding to 1 operations	: 0
3600.07/3622.52	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3622.52	c number of reductions of the coefficients by power 2 	: 0
3600.07/3622.52	c number of right shift for reduction by power 2 	: 0
3600.07/3622.52	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3622.52	c number of ending skipping 	: 0
3600.07/3622.52	c number of internal skipping 	: 0
3600.07/3622.52	c number of derivation steps 	: 0
3600.07/3622.52	c number of skipped derivation steps 	: 0
3600.07/3622.52	c number of remaining unassigned 	: 0
3600.07/3622.52	c number of remaining assigned 	: 0
3600.07/3622.52	c number of falsified literals weakened from reason	: 0
3600.07/3622.52	c number of falsified literals weakened from conflict	: 0
3600.07/3622.52	c time for arithmetic operations	: 0
3600.07/3622.52	c minimum degree of deleted constraints	: null
3600.07/3622.52	c maximum degree of deleted constraints	: null
3600.07/3622.52	c number of deleted constraints	: 0
3600.07/3622.52	c speed (assignments/second)	: 567817.4628045482
3600.07/3622.52	c non guided choices	: 110774638
3600.07/3622.54	c timeout
3600.07/3622.59	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 824221
3600.07/3622.60	s UNKNOWN
3600.07/3622.60	c Total wall clock time (in seconds): 3622.303

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: 63931 MiB (61580 MiB free)
  memory of node 1: 64510 MiB (62156 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453672-1721843598/watcher-4453672-1721843598 -o /tmp/evaluation-result-4453672-1721843598/solver-4453672-1721843598 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721843598-200147 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4453672-1721843598 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4453672-1721843598.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=200204, runsolver pid=200190

[startup+0.100104 s]*
/proc/loadavg: 1.01 1.40 2.15 5/267 200215
/proc/meminfo: memFree=126657452/131524600 swapFree=131056028/131071996
[pid=200204] ppid=200190 vsize=16431484 memory=22880 CPUtime=0 cores=1,3
/proc/200204/stat : 200204 (java) S 200190 200204 200135 0 -1 1077936128 1549 0 47 0 0 0 0 0 20 0 2 0 20888292 16825839616 5654 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 0 0 16784588 0 0 0 17 3 0 0 3 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
/proc/200204/statm: 4107871 5720 3521 1 0 4847 0
[pid=200204/tid=200213] ppid=200190 vsize=16809112 memory=4026531971 CPUtime=0 cores=1,3
/proc/200204/task/200213/stat : 200213 (java) S 200190 200204 200135 0 -1 1077936192 1023 0 33 0 0 0 0 0 20 0 3 0 20888296 17212530688 5767 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16784588 0 0 0 -1 1 0 0 4 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200217] ppid=200190 vsize=16809112 memory=1555553 CPUtime=0 cores=1,3
/proc/200204/task/200217/stat : 200217 (java) R 200190 200204 200135 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 20888303 17212530688 5767 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16784588 0 0 0 -1 1 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 16431484 KiB
Current children cumulated memory: 22880 KiB

[startup+0.207105 s]*
/proc/loadavg: 1.01 1.40 2.15 14/331 200279
/proc/meminfo: memFree=126532024/131524600 swapFree=131056028/131071996
[pid=200204] ppid=200190 vsize=18975048 memory=55432 CPUtime=0.07 cores=1,3
/proc/200204/stat : 200204 (java) S 200190 200204 200135 0 -1 1077936128 6556 0 66 0 5 2 0 0 20 0 18 0 20888292 19430449152 13858 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 0 0 16800975 0 0 0 17 3 0 0 3 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
/proc/200204/statm: 4743762 13858 5535 1 0 548689 0
[pid=200204/tid=200213] ppid=200190 vsize=18975048 memory=8737651120394928259 CPUtime=0.05 cores=1,3
/proc/200204/task/200213/stat : 200213 (java) D 200190 200204 200135 0 -1 4194368 5428 0 47 0 3 2 0 0 20 0 18 0 20888296 19430449152 13888 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 10 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200251] ppid=200190 vsize=18975048 memory=1555553 CPUtime=0 cores=1,3
/proc/200204/task/200251/stat : 200251 (Finalizer) S 200190 200204 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 20888310 19430449152 13888 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200279] ppid=200190 vsize=18975048 memory=16098173902915238 CPUtime=0 cores=1,3
/proc/200204/task/200279/stat : 200279 (Common-Cleaner) S 200190 200204 200135 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 18 0 20888311 19430449152 13888 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55432 KiB

[startup+0.306835 s]*
/proc/loadavg: 1.01 1.40 2.15 16/331 200279
/proc/meminfo: memFree=126475504/131524600 swapFree=131056028/131071996
[pid=200204] ppid=200190 vsize=18975048 memory=70204 CPUtime=0.21 cores=1,3
/proc/200204/stat : 200204 (java) S 200190 200204 200135 0 -1 1077936128 7622 0 66 0 18 3 0 0 20 0 18 0 20888292 19430449152 17551 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 0 0 16800975 0 0 0 17 3 0 0 3 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
/proc/200204/statm: 4743762 17551 5647 1 0 549513 0
[pid=200204/tid=200213] ppid=200190 vsize=18975048 memory=-9103016661251498684 CPUtime=0.13 cores=1,3
/proc/200204/task/200213/stat : 200213 (java) R 200190 200204 200135 0 -1 1077936192 5973 0 47 0 11 2 0 0 20 0 18 0 20888296 19430449152 17551 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 11 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200251] ppid=200190 vsize=18975048 memory=1470208041383723609 CPUtime=0 cores=1,3
/proc/200204/task/200251/stat : 200251 (Finalizer) S 200190 200204 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 20888310 19430449152 17551 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200279] ppid=200190 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/200204/task/200279/stat : 200279 (Common-Cleaner) S 200190 200204 200135 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 18 0 20888311 19430449152 17551 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 70204 KiB

[startup+0.700278 s]
/proc/loadavg: 1.01 1.40 2.15 14/335 200283
/proc/meminfo: memFree=125714904/131524600 swapFree=131056028/131071996
[pid=200204] ppid=200190 vsize=19108176 memory=581700 CPUtime=0.94 cores=1,3
/proc/200204/stat : 200204 (java) S 200190 200204 200135 0 -1 1077936128 12083 0 66 0 80 14 0 0 20 0 20 0 20888292 19566772224 145425 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 0 0 16800975 0 0 0 17 3 0 0 3 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
/proc/200204/statm: 4777044 145425 5769 1 0 552878 0
[pid=200204/tid=200213] ppid=200190 vsize=19108176 memory=12348 CPUtime=0.46 cores=1,3
/proc/200204/task/200213/stat : 200213 (java) R 200190 200204 200135 0 -1 4194368 6315 0 47 0 34 12 0 0 20 0 20 0 20888296 19566772224 145425 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200251] ppid=200190 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/200204/task/200251/stat : 200251 (Finalizer) S 200190 200204 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 145425 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200279] ppid=200190 vsize=19108176 memory=15888 CPUtime=0 cores=1,3
/proc/200204/task/200279/stat : 200279 (Common-Cleaner) S 200190 200204 200135 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 145425 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
Current children cumulated CPU time: 0.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 581700 KiB

[startup+1.50328 s]
/proc/loadavg: 1.01 1.40 2.15 15/338 200286
/proc/meminfo: memFree=124730436/131524600 swapFree=131056028/131071996
[pid=200204] ppid=200190 vsize=19108176 memory=589032 CPUtime=2.53 cores=1,3
/proc/200204/stat : 200204 (java) S 200190 200204 200135 0 -1 1077936128 15789 0 66 0 237 16 0 0 20 0 20 0 20888292 19566772224 147258 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 0 0 16800975 0 0 0 17 3 0 0 3 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
/proc/200204/statm: 4777044 147258 5794 1 0 554237 0
[pid=200204/tid=200213] ppid=200190 vsize=19108176 memory=15888 CPUtime=1.17 cores=1,3
/proc/200204/task/200213/stat : 200213 (java) R 200190 200204 200135 0 -1 4194368 6387 0 47 0 105 12 0 0 20 0 20 0 20888296 19566772224 147258 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200251] ppid=200190 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/200204/task/200251/stat : 200251 (Finalizer) S 200190 200204 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 147258 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200279] ppid=200190 vsize=19108176 memory=1896 CPUtime=0 cores=1,3
/proc/200204/task/200279/stat : 200279 (Common-Cleaner) S 200190 200204 200135 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 147258 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200285] ppid=200190 vsize=19108176 memory=13492 CPUtime=0 cores=1,3
/proc/200204/task/200285/stat : 200285 (Timer-0) S 200190 200204 200135 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20888357 19566772224 147258 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
Current children cumulated CPU time: 2.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 589032 KiB

[startup+3.10728 s]
/proc/loadavg: 1.01 1.40 2.15 9/339 200287
/proc/meminfo: memFree=124524900/131524600 swapFree=131056028/131071996
[pid=200204] ppid=200190 vsize=19108176 memory=717024 CPUtime=5.03 cores=1,3
/proc/200204/stat : 200204 (java) S 200190 200204 200135 0 -1 1077936128 17283 0 66 0 481 22 0 0 20 0 20 0 20888292 19566772224 179256 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 0 0 16800975 0 0 0 17 3 0 0 3 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
/proc/200204/statm: 4777044 179256 5795 1 0 555378 0
[pid=200204/tid=200213] ppid=200190 vsize=19108176 memory=13492 CPUtime=2.75 cores=1,3
/proc/200204/task/200213/stat : 200213 (java) R 200190 200204 200135 0 -1 4194368 6598 0 47 0 258 17 0 0 20 0 20 0 20888296 19566772224 179256 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 11 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200251] ppid=200190 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/200204/task/200251/stat : 200251 (Finalizer) S 200190 200204 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 179256 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200279] ppid=200190 vsize=19108176 memory=115265 CPUtime=0 cores=1,3
/proc/200204/task/200279/stat : 200279 (Common-Cleaner) S 200190 200204 200135 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 179256 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200285] ppid=200190 vsize=19108176 memory=15888 CPUtime=0 cores=1,3
/proc/200204/task/200285/stat : 200285 (Timer-0) S 200190 200204 200135 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20888357 19566772224 179256 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
Current children cumulated CPU time: 5.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 717024 KiB

[startup+6.30028 s]
/proc/loadavg: 1.25 1.44 2.16 9/339 200289
/proc/meminfo: memFree=122917552/131524600 swapFree=131056028/131071996
[pid=200204] ppid=200190 vsize=19108176 memory=1119468 CPUtime=8.68 cores=1,3
/proc/200204/stat : 200204 (java) S 200190 200204 200135 0 -1 1077936128 23696 0 66 0 837 31 0 0 20 0 20 0 20888292 19566772224 279867 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 0 0 16800975 0 0 0 17 3 0 0 3 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
/proc/200204/statm: 4777044 279867 5833 1 0 555381 0
[pid=200204/tid=200213] ppid=200190 vsize=19108176 memory=0 CPUtime=5.82 cores=1,3
/proc/200204/task/200213/stat : 200213 (java) R 200190 200204 200135 0 -1 4194368 7512 0 47 0 556 26 0 0 20 0 20 0 20888296 19566772224 279867 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 17 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200251] ppid=200190 vsize=19108176 memory=15888 CPUtime=0 cores=1,3
/proc/200204/task/200251/stat : 200251 (Finalizer) S 200190 200204 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 279867 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200279] ppid=200190 vsize=19108176 memory=279247231179840 CPUtime=0 cores=1,3
/proc/200204/task/200279/stat : 200279 (Common-Cleaner) S 200190 200204 200135 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 279867 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200285] ppid=200190 vsize=19108176 memory=589032 CPUtime=0 cores=1,3
/proc/200204/task/200285/stat : 200285 (Timer-0) S 200190 200204 200135 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20888357 19566772224 279867 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
Current children cumulated CPU time: 8.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1119468 KiB

[startup+12.7003 s]
/proc/loadavg: 1.47 1.49 2.17 9/339 200289
/proc/meminfo: memFree=122108340/131524600 swapFree=131056028/131071996
[pid=200204] ppid=200190 vsize=19108176 memory=1115440 CPUtime=15.15 cores=1,3
/proc/200204/stat : 200204 (java) S 200190 200204 200135 0 -1 1077936128 24448 0 66 0 1477 38 0 0 20 0 20 0 20888292 19566772224 278860 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 0 0 16800975 0 0 0 17 3 0 0 3 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
/proc/200204/statm: 4777044 278860 5833 1 0 555381 0
[pid=200204/tid=200213] ppid=200190 vsize=19108176 memory=589032 CPUtime=12.15 cores=1,3
/proc/200204/task/200213/stat : 200213 (java) R 200190 200204 200135 0 -1 4194368 7829 0 47 0 1183 32 0 0 20 0 20 0 20888296 19566772224 278860 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 17 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200251] ppid=200190 vsize=19108176 memory=1115440 CPUtime=0 cores=1,3
/proc/200204/task/200251/stat : 200251 (Finalizer) S 200190 200204 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 278860 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200279] ppid=200190 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/200204/task/200279/stat : 200279 (Common-Cleaner) S 200190 200204 200135 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 278860 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200285] ppid=200190 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/200204/task/200285/stat : 200285 (Timer-0) S 200190 200204 200135 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20888357 19566772224 278860 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
Current children cumulated CPU time: 15.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1115440 KiB

[startup+25.5003 s]
/proc/loadavg: 2.03 1.61 2.20 9/339 200290
/proc/meminfo: memFree=120519660/131524600 swapFree=131056028/131071996
[pid=200204] ppid=200190 vsize=19108176 memory=2140760 CPUtime=28.01 cores=1,3
/proc/200204/stat : 200204 (java) S 200190 200204 200135 0 -1 1077936128 31468 0 66 0 2733 68 0 0 20 0 20 0 20888292 19566772224 535190 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 0 0 16800975 0 0 0 17 3 0 0 3 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
/proc/200204/statm: 4777044 535190 5833 1 0 895862 0
[pid=200204/tid=200213] ppid=200190 vsize=19108176 memory=-9175074255289426620 CPUtime=24.73 cores=1,3
/proc/200204/task/200213/stat : 200213 (java) R 200190 200204 200135 0 -1 4194368 9080 0 47 0 2413 60 0 0 20 0 20 0 20888296 19566772224 535190 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 17 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200251] ppid=200190 vsize=19108176 memory=1138096 CPUtime=0 cores=1,3
/proc/200204/task/200251/stat : 200251 (Finalizer) S 200190 200204 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 535190 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200279] ppid=200190 vsize=19108176 memory=1115440 CPUtime=0 cores=1,3
/proc/200204/task/200279/stat : 200279 (Common-Cleaner) S 200190 200204 200135 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 535190 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200285] ppid=200190 vsize=19108176 memory=1436248 CPUtime=0 cores=1,3
/proc/200204/task/200285/stat : 200285 (Timer-0) S 200190 200204 200135 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20888357 19566772224 535190 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
Current children cumulated CPU time: 28.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2140760 KiB

[startup+51.1073 s]
/proc/loadavg: 2.76 1.82 2.25 9/339 200295
/proc/meminfo: memFree=116376204/131524600 swapFree=131056028/131071996
[pid=200204] ppid=200190 vsize=19108176 memory=2519984 CPUtime=53.22 cores=1,3
/proc/200204/stat : 200204 (java) S 200190 200204 200135 0 -1 1077936128 34939 0 66 0 5226 96 0 0 20 0 20 0 20888292 19566772224 629996 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 0 0 16800975 0 0 0 17 3 0 0 3 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
/proc/200204/statm: 4777044 629996 5833 1 0 895866 0
[pid=200204/tid=200213] ppid=200190 vsize=19108176 memory=1115440 CPUtime=49.61 cores=1,3
/proc/200204/task/200213/stat : 200213 (java) R 200190 200204 200135 0 -1 4194368 11230 0 47 0 4874 87 0 0 20 0 20 0 20888296 19566772224 629996 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 59 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200251] ppid=200190 vsize=19108176 memory=2476724 CPUtime=0 cores=1,3
/proc/200204/task/200251/stat : 200251 (Finalizer) S 200190 200204 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 629996 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200279] ppid=200190 vsize=19108176 memory=2140760 CPUtime=0 cores=1,3
/proc/200204/task/200279/stat : 200279 (Common-Cleaner) S 200190 200204 200135 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 629996 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200285] ppid=200190 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/200204/task/200285/stat : 200285 (Timer-0) S 200190 200204 200135 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20888357 19566772224 629996 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0

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

/proc/200204/task/200251/stat : 200251 (Finalizer) S 200190 200204 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 886983 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200279] ppid=200190 vsize=19108176 memory=3547904 CPUtime=0 cores=1,3
/proc/200204/task/200279/stat : 200279 (Common-Cleaner) S 200190 200204 200135 0 -1 1077936192 2179 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 886983 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200285] ppid=200190 vsize=19108176 memory=13492 CPUtime=0 cores=1,3
/proc/200204/task/200285/stat : 200285 (Timer-0) S 200190 200204 200135 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20888357 19566772224 886983 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
Current children cumulated CPU time: 3199.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3547932 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.13 4.09 8/337 202093
/proc/meminfo: memFree=64463784/131524600 swapFree=131056028/131071996
[pid=200204] ppid=200190 vsize=19108176 memory=3547936 CPUtime=3259.12 cores=1,3
/proc/200204/stat : 200204 (java) S 200190 200204 200135 0 -1 1077936128 287601 0 66 0 324097 1815 0 0 20 0 20 0 20888292 19566772224 886984 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 0 0 16800975 0 0 0 17 3 0 0 3 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
/proc/200204/statm: 4777044 886984 5844 1 0 899168 0
[pid=200204/tid=200213] ppid=200190 vsize=19108176 memory=3547936 CPUtime=3183.14 cores=1,3
/proc/200204/task/200213/stat : 200213 (java) R 200190 200204 200135 0 -1 4194368 103318 0 47 0 316629 1685 0 0 20 0 20 0 20888296 19566772224 886984 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 5183 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200251] ppid=200190 vsize=19108176 memory=3547936 CPUtime=0 cores=1,3
/proc/200204/task/200251/stat : 200251 (Finalizer) S 200190 200204 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 886984 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200279] ppid=200190 vsize=19108176 memory=13492 CPUtime=0 cores=1,3
/proc/200204/task/200279/stat : 200279 (Common-Cleaner) S 200190 200204 200135 0 -1 1077936192 2179 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 886984 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200285] ppid=200190 vsize=19108176 memory=3547936 CPUtime=0 cores=1,3
/proc/200204/task/200285/stat : 200285 (Timer-0) S 200190 200204 200135 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20888357 19566772224 886984 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
Current children cumulated CPU time: 3259.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3547936 KiB

[startup+3342.3 s]
/proc/loadavg: 4.29 4.18 4.11 9/336 202104
/proc/meminfo: memFree=63680192/131524600 swapFree=131056028/131071996
[pid=200204] ppid=200190 vsize=19108176 memory=3547956 CPUtime=3318.79 cores=1,3
/proc/200204/stat : 200204 (java) S 200190 200204 200135 0 -1 1077936128 288075 0 66 0 330039 1840 0 0 20 0 20 0 20888292 19566772224 886989 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 0 0 16800975 0 0 0 17 3 0 0 3 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
/proc/200204/statm: 4777044 886989 5844 1 0 899168 0
[pid=200204/tid=200213] ppid=200190 vsize=19108176 memory=0 CPUtime=3241.67 cores=1,3
/proc/200204/task/200213/stat : 200213 (java) R 200190 200204 200135 0 -1 4194368 103561 0 47 0 322459 1708 0 0 20 0 20 0 20888296 19566772224 886989 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5208 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200251] ppid=200190 vsize=19108176 memory=3547956 CPUtime=0 cores=1,3
/proc/200204/task/200251/stat : 200251 (Finalizer) S 200190 200204 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 886989 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200279] ppid=200190 vsize=19108176 memory=3547956 CPUtime=0 cores=1,3
/proc/200204/task/200279/stat : 200279 (Common-Cleaner) S 200190 200204 200135 0 -1 1077936192 2179 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 886989 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200285] ppid=200190 vsize=19108176 memory=11112 CPUtime=0 cores=1,3
/proc/200204/task/200285/stat : 200285 (Timer-0) S 200190 200204 200135 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20888357 19566772224 886989 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
Current children cumulated CPU time: 3318.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3547956 KiB

[startup+3402.3 s]
/proc/loadavg: 4.24 4.19 4.12 9/337 202116
/proc/meminfo: memFree=62844284/131524600 swapFree=131056028/131071996
[pid=200204] ppid=200190 vsize=19108176 memory=3549880 CPUtime=3379.58 cores=1,3
/proc/200204/stat : 200204 (java) S 200190 200204 200135 0 -1 1077936128 304270 0 66 0 336089 1869 0 0 20 0 20 0 20888292 19566772224 887470 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 0 0 16800975 0 0 0 17 3 0 0 3 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
/proc/200204/statm: 4777044 887470 5860 1 0 899693 0
[pid=200204/tid=200213] ppid=200190 vsize=19108176 memory=0 CPUtime=3300.74 cores=1,3
/proc/200204/task/200213/stat : 200213 (java) R 200190 200204 200135 0 -1 4194368 108207 0 47 0 328340 1734 0 0 20 0 20 0 20888296 19566772224 887470 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5239 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200251] ppid=200190 vsize=19108176 memory=3549844 CPUtime=0 cores=1,3
/proc/200204/task/200251/stat : 200251 (Finalizer) S 200190 200204 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 887470 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200279] ppid=200190 vsize=19108176 memory=68676 CPUtime=0 cores=1,3
/proc/200204/task/200279/stat : 200279 (Common-Cleaner) S 200190 200204 200135 0 -1 1077936192 2260 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 887470 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200285] ppid=200190 vsize=19108176 memory=3549880 CPUtime=0 cores=1,3
/proc/200204/task/200285/stat : 200285 (Timer-0) S 200190 200204 200135 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20888357 19566772224 887470 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
Current children cumulated CPU time: 3379.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3549880 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.15 4.10 9/340 202132
/proc/meminfo: memFree=62041100/131524600 swapFree=131056028/131071996
[pid=200204] ppid=200190 vsize=19108176 memory=3549880 CPUtime=3439.62 cores=1,3
/proc/200204/stat : 200204 (java) S 200190 200204 200135 0 -1 1077936128 304605 0 66 0 342068 1894 0 0 20 0 20 0 20888292 19566772224 887470 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 0 0 16800975 0 0 0 17 3 0 0 3 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
/proc/200204/statm: 4777044 887470 5860 1 0 899693 0
[pid=200204/tid=200213] ppid=200190 vsize=19108176 memory=0 CPUtime=3359.96 cores=1,3
/proc/200204/task/200213/stat : 200213 (java) R 200190 200204 200135 0 -1 4194368 108492 0 47 0 334239 1757 0 0 20 0 20 0 20888296 19566772224 887470 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 5251 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200251] ppid=200190 vsize=19108176 memory=3549880 CPUtime=0 cores=1,3
/proc/200204/task/200251/stat : 200251 (Finalizer) S 200190 200204 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 887470 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200279] ppid=200190 vsize=19108176 memory=3549880 CPUtime=0 cores=1,3
/proc/200204/task/200279/stat : 200279 (Common-Cleaner) S 200190 200204 200135 0 -1 1077936192 2260 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 887470 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200285] ppid=200190 vsize=19108176 memory=3549880 CPUtime=0 cores=1,3
/proc/200204/task/200285/stat : 200285 (Timer-0) S 200190 200204 200135 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20888357 19566772224 887470 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
Current children cumulated CPU time: 3439.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3549880 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.15 4.10 9/341 202144
/proc/meminfo: memFree=61253864/131524600 swapFree=131056028/131071996
[pid=200204] ppid=200190 vsize=19108176 memory=3549896 CPUtime=3499.71 cores=1,3
/proc/200204/stat : 200204 (java) S 200190 200204 200135 0 -1 1077936128 305176 0 66 0 348051 1920 0 0 20 0 20 0 20888292 19566772224 887474 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 0 0 16800975 0 0 0 17 3 0 0 3 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
/proc/200204/statm: 4777044 887474 5860 1 0 899693 0
[pid=200204/tid=200213] ppid=200190 vsize=19108176 memory=3547844 CPUtime=3418.79 cores=1,3
/proc/200204/task/200213/stat : 200213 (java) R 200190 200204 200135 0 -1 4194368 108715 0 47 0 340097 1782 0 0 20 0 20 0 20888296 19566772224 887474 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5291 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200251] ppid=200190 vsize=19108176 memory=-9175074255289426620 CPUtime=0 cores=1,3
/proc/200204/task/200251/stat : 200251 (Finalizer) S 200190 200204 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 887474 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200279] ppid=200190 vsize=19108176 memory=13492 CPUtime=0 cores=1,3
/proc/200204/task/200279/stat : 200279 (Common-Cleaner) S 200190 200204 200135 0 -1 1077936192 2260 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 887474 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200285] ppid=200190 vsize=19108176 memory=3549896 CPUtime=0 cores=1,3
/proc/200204/task/200285/stat : 200285 (Timer-0) S 200190 200204 200135 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20888357 19566772224 887474 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
Current children cumulated CPU time: 3499.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3549896 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.14 4.10 9/340 202154
/proc/meminfo: memFree=60425276/131524600 swapFree=131056028/131071996
[pid=200204] ppid=200190 vsize=19108176 memory=3549904 CPUtime=3559.88 cores=1,3
/proc/200204/stat : 200204 (java) S 200190 200204 200135 0 -1 1077936128 305777 0 66 0 354039 1949 0 0 20 0 20 0 20888292 19566772224 887476 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 0 0 16800975 0 0 0 17 3 0 0 3 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
/proc/200204/statm: 4777044 887476 5860 1 0 899693 0
[pid=200204/tid=200213] ppid=200190 vsize=19108176 memory=3547844 CPUtime=3477.86 cores=1,3
/proc/200204/task/200213/stat : 200213 (java) R 200190 200204 200135 0 -1 4194368 109147 0 47 0 345978 1808 0 0 20 0 20 0 20888296 19566772224 887476 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5315 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200251] ppid=200190 vsize=19108176 memory=40920 CPUtime=0 cores=1,3
/proc/200204/task/200251/stat : 200251 (Finalizer) S 200190 200204 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 887476 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200279] ppid=200190 vsize=19108176 memory=13492 CPUtime=0 cores=1,3
/proc/200204/task/200279/stat : 200279 (Common-Cleaner) S 200190 200204 200135 0 -1 1077936192 2260 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 887476 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200285] ppid=200190 vsize=19108176 memory=1768 CPUtime=0 cores=1,3
/proc/200204/task/200285/stat : 200285 (Timer-0) S 200190 200204 200135 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20888357 19566772224 887476 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
Current children cumulated CPU time: 3559.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3549904 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3622.5 s]
/proc/loadavg: 4.12 4.14 4.10 9/340 202163
/proc/meminfo: memFree=59883772/131524600 swapFree=131056028/131071996
[pid=200204] ppid=200190 vsize=19108176 memory=3549920 CPUtime=3600.07 cores=1,3
/proc/200204/stat : 200204 (java) S 200190 200204 200135 0 -1 1077936128 309401 0 66 0 358043 1964 0 0 20 0 20 0 20888292 19566772224 887480 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 0 0 16800975 0 0 0 17 3 0 0 3 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
/proc/200204/statm: 4777044 887480 5860 1 0 899693 0
[pid=200204/tid=200213] ppid=200190 vsize=19108176 memory=3549880 CPUtime=3517.34 cores=1,3
/proc/200204/task/200213/stat : 200213 (java) R 200190 200204 200135 0 -1 4194368 111052 0 47 0 349911 1823 0 0 20 0 20 0 20888296 19566772224 887480 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5341 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200251] ppid=200190 vsize=19108176 memory=68676 CPUtime=0 cores=1,3
/proc/200204/task/200251/stat : 200251 (Finalizer) S 200190 200204 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 887480 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200279] ppid=200190 vsize=19108176 memory=3549920 CPUtime=0 cores=1,3
/proc/200204/task/200279/stat : 200279 (Common-Cleaner) S 200190 200204 200135 0 -1 1077936192 2397 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 887480 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
[pid=200204/tid=200285] ppid=200190 vsize=19108176 memory=3549904 CPUtime=0 cores=1,3
/proc/200204/task/200285/stat : 200285 (Timer-0) S 200190 200204 200135 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20888357 19566772224 887480 134679101440 94091843715072 94091843718768 140723660528384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94091843726584 94091843727376 94091853283328 140723660530603 140723660530785 140723660530785 140723660537800 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3549920 KiB

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

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

# cumulated CPU time of all completed processes:  user=3580.58 s, system=19.6643 s

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

[startup+3622.6 s]*
/proc/loadavg: 4.12 4.14 4.10 6/323 202167
/proc/meminfo: memFree=60025100/131524600 swapFree=131056028/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): 3622.62
CPU time (s): 3600.24
CPU user time (s): 3580.58
CPU system time (s): 19.6643
CPU usage (%): 99.3824
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 3549920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.58
system time used= 19.6643
maximum resident set size= 3551660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 312670
page faults= 67
swaps= 0
block input operations= 7632
block output operations= 35073432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 123759
involuntary context switches= 15448


# summary of solver processes directly reported to runsolver:
#   pid: 200204
#   total CPU time (s): 3600.24
#   total CPU user time (s): 3580.58
#   total CPU system time (s): 19.6643

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4279 second user time and 19.7718 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-24 19:53:18
IDJOB=4453672
IDBENCH=175763
IDSOLVER=3079
FILE ID=nodeC016/4453672-1721843598
RUNJOBID= nodeC016-1721843598-200147
SLURM_JOB_ID= 7891586
Free space on /tmp= 890084 MiB

SOLVER NAME= Sat4j Resolution 2024 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 -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453672-1721843598/watcher-4453672-1721843598 -o /tmp/evaluation-result-4453672-1721843598/solver-4453672-1721843598 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721843598-200147 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4453672-1721843598 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4453672-1721843598.opb

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

MD5SUM BENCH= 90e219b8c5705857cfd3b9fc00c31b1d
RANDOM SEED=1039846711

nodeC016.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		: 3609.299
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.34
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		: 3475.558
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.68
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		: 3536.400
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.34
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		: 3596.370
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.68
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		: 3755.263
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.34
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		: 3651.601
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.68
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		: 3610.214
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.34
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		: 3867.559
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.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126708448 kB
MemAvailable:   129578356 kB
Buffers:          266824 kB
Cached:          3285168 kB
SwapCached:          284 kB
Active:          2262304 kB
Inactive:        1658544 kB
Active(anon):       2308 kB
Inactive(anon):   418948 kB
Active(file):    2259996 kB
Inactive(file):  1239596 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056028 kB
Dirty:              3852 kB
Writeback:             0 kB
AnonPages:        368792 kB
Mapped:           102748 kB
Shmem:             52400 kB
KReclaimable:     419928 kB
Slab:             540432 kB
SReclaimable:     419928 kB
SUnreclaim:       120504 kB
KernelStack:        3936 kB
PageTables:        10008 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     713676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17184 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:      373460 kB
DirectMap2M:    42391552 kB
DirectMap1G:    93323264 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC016 at 2024-07-24 20:53:40