Trace number 4453684

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07? (TO) 3600.22 3592.53

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-2750.shuf-1.opb
MD5SUMbf4b37d507499fefbc3983af658cb5f7
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.212983
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables11001
Total number of constraints11000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)1310
Number of constraints which are nor clauses,nor cardinality constraints9690
Minimum length of a constraint4
Maximum length of a constraint5
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.07	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.07	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.07	c java.vm.version	22.0.1+8-16
0.00/0.07	c java.vm.vendor	Oracle Corporation
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		22.0.1
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	No reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c No reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4453684-1721491673.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  no objective function found
0.71/0.47	c ... done. Wall clock time 0.352s.
0.71/0.47	c declared #vars     11001
0.71/0.47	c #constraints  11000
0.71/0.47	c constraints type 
0.71/0.47	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 11000
0.71/0.47	c 11000 constraints processed.
1.66/0.92	c cleaning 2480 clauses out of 5001 with flag 19220/5001
2.24/1.26	c cleaning 4223 clauses out of 8520 with flag 43651/11000
2.64/1.41	c cleaning 5646 clauses out of 11298 with flag 77070/18001
2.99/1.60	c cleaning 6806 clauses out of 13651 with flag 118247/26000
3.18/1.77	c cleaning 7896 clauses out of 15846 with flag 162987/35001
3.48/1.96	c cleaning 8940 clauses out of 17949 with flag 213296/45000
3.77/2.19	c cleaning 9991 clauses out of 20010 with flag 272597/56001
3.96/2.40	c cleaning 10982 clauses out of 22018 with flag 327791/68000
4.26/2.60	c cleaning 11970 clauses out of 24037 with flag 393355/81001
4.46/2.82	c cleaning 13001 clauses out of 26066 with flag 463760/95000
4.77/3.11	c cleaning 13992 clauses out of 28065 with flag 544225/110000
5.16/3.58	c cleaning 15022 clauses out of 30074 with flag 634572/126001
5.50/3.86	c cleaning 15962 clauses out of 32052 with flag 712448/143001
5.92/4.20	c cleaning 17022 clauses out of 34091 with flag 810248/161002
6.22/4.53	c cleaning 18006 clauses out of 36068 with flag 905999/180001
6.51/4.88	c cleaning 18977 clauses out of 38061 with flag 1009330/200000
6.91/5.25	c cleaning 19994 clauses out of 40085 with flag 1114779/221001
7.41/5.76	c cleaning 20959 clauses out of 42090 with flag 1223935/243000
8.11/6.41	c cleaning 22027 clauses out of 44131 with flag 1353182/266000
8.51/6.82	c cleaning 23005 clauses out of 46104 with flag 1468284/290000
8.91/7.25	c cleaning 23983 clauses out of 48100 with flag 1593618/315001
9.41/7.72	c cleaning 25015 clauses out of 50116 with flag 1727363/341000
10.01/8.34	c cleaning 25998 clauses out of 52101 with flag 1868098/368000
10.81/9.16	c cleaning 27023 clauses out of 54105 with flag 2020856/396002
11.60/9.94	c cleaning 28009 clauses out of 56081 with flag 2185049/425001
12.10/10.44	c cleaning 29027 clauses out of 58071 with flag 2339124/455000
12.90/11.20	c cleaning 29999 clauses out of 60044 with flag 2510476/486000
13.60/11.96	c cleaning 31000 clauses out of 62045 with flag 2685037/518000
14.20/12.57	c cleaning 31985 clauses out of 64045 with flag 2849911/551000
14.89/13.25	c cleaning 32962 clauses out of 66061 with flag 3029691/585001
15.59/13.90	c cleaning 33981 clauses out of 68100 with flag 3212554/620002
16.80/15.11	c cleaning 35026 clauses out of 70117 with flag 3424833/656000
17.79/16.18	c cleaning 36025 clauses out of 72092 with flag 3638605/693001
18.69/17.05	c cleaning 37010 clauses out of 74066 with flag 3843025/731000
19.48/17.89	c cleaning 38000 clauses out of 76056 with flag 4041327/770000
20.28/18.63	c cleaning 39023 clauses out of 78056 with flag 4237955/810000
21.18/19.59	c cleaning 39971 clauses out of 80033 with flag 4451352/851000
22.09/20.45	c cleaning 41018 clauses out of 82062 with flag 4655999/893000
22.98/21.32	c cleaning 42003 clauses out of 84045 with flag 4879758/936001
24.78/23.14	c cleaning 42988 clauses out of 86042 with flag 5124679/980001
25.78/24.15	c cleaning 43995 clauses out of 88054 with flag 5365867/1025001
26.68/25.01	c cleaning 45000 clauses out of 90058 with flag 5604012/1071000
27.87/26.24	c cleaning 45971 clauses out of 92058 with flag 5868562/1118000
28.97/27.37	c cleaning 47025 clauses out of 94087 with flag 6126453/1166000
30.06/28.43	c cleaning 47995 clauses out of 96063 with flag 6382831/1215001
31.27/29.68	c cleaning 49000 clauses out of 98067 with flag 6654964/1265000
32.86/31.29	c cleaning 50014 clauses out of 100067 with flag 6952363/1316000
34.15/32.50	c cleaning 51010 clauses out of 102054 with flag 7242523/1368001
35.26/33.67	c cleaning 52009 clauses out of 104043 with flag 7516256/1421000
36.25/34.69	c cleaning 52991 clauses out of 106037 with flag 7793459/1475003
37.55/35.91	c cleaning 53981 clauses out of 108043 with flag 8081859/1530000
38.84/37.27	c cleaning 55024 clauses out of 110062 with flag 8384986/1586000
40.24/38.64	c cleaning 55960 clauses out of 112038 with flag 8697258/1643000
41.94/40.30	c cleaning 57017 clauses out of 114078 with flag 9021278/1701000
43.23/41.63	c cleaning 57973 clauses out of 116061 with flag 9332015/1760000
44.73/43.13	c cleaning 58973 clauses out of 118088 with flag 9663056/1820000
46.33/44.72	c cleaning 60034 clauses out of 120116 with flag 10010697/1881001
47.92/46.34	c cleaning 60975 clauses out of 122081 with flag 10355060/1943000
49.42/47.84	c cleaning 62035 clauses out of 124107 with flag 10690297/2006001
50.81/49.23	c cleaning 62986 clauses out of 126073 with flag 11021313/2070002
52.51/50.96	c cleaning 64007 clauses out of 128085 with flag 11365186/2135000
54.01/52.46	c cleaning 65009 clauses out of 130080 with flag 11705304/2201002
55.61/54.02	c cleaning 66002 clauses out of 132070 with flag 12052878/2268001
57.10/55.57	c cleaning 66982 clauses out of 134068 with flag 12414739/2336001
58.99/57.44	c cleaning 68029 clauses out of 136085 with flag 12798507/2405000
60.70/59.12	c cleaning 68981 clauses out of 138057 with flag 13171771/2475001
62.49/60.98	c cleaning 70028 clauses out of 140075 with flag 13556429/2546000
64.39/62.87	c cleaning 71015 clauses out of 142048 with flag 13936920/2618001
66.58/65.02	c cleaning 71968 clauses out of 144032 with flag 14324484/2691000
68.28/66.73	c cleaning 72955 clauses out of 146064 with flag 14717990/2765000
69.97/68.49	c cleaning 74040 clauses out of 148110 with flag 15121148/2840001
71.87/70.37	c cleaning 74986 clauses out of 150069 with flag 15516067/2916000
73.67/72.14	c cleaning 76019 clauses out of 152084 with flag 15928854/2993001
75.67/74.15	c cleaning 77008 clauses out of 154064 with flag 16357062/3071000
77.56/76.02	c cleaning 77983 clauses out of 156056 with flag 16791487/3150000
79.86/78.31	c cleaning 78999 clauses out of 158073 with flag 17230687/3230000
81.65/80.18	c cleaning 80002 clauses out of 160077 with flag 17669350/3311003
83.65/82.18	c cleaning 81002 clauses out of 162073 with flag 18113121/3393001
85.54/84.03	c cleaning 82032 clauses out of 164070 with flag 18541431/3476000
87.83/86.33	c cleaning 82978 clauses out of 166038 with flag 18997664/3560000
89.83/88.39	c cleaning 83973 clauses out of 168060 with flag 19444180/3645000
93.04/91.57	c cleaning 85025 clauses out of 170087 with flag 19966942/3731000
95.13/93.62	c cleaning 86001 clauses out of 172062 with flag 20439808/3818000
97.72/96.21	c cleaning 86987 clauses out of 174061 with flag 20914778/3906000
99.83/98.39	c cleaning 87998 clauses out of 176076 with flag 21415245/3995002
102.12/100.62	c cleaning 89013 clauses out of 178077 with flag 21909641/4085001
104.11/102.61	c cleaning 90022 clauses out of 180064 with flag 22368481/4176001
106.31/104.87	c cleaning 90989 clauses out of 182041 with flag 22853181/4268000
108.60/107.16	c cleaning 91985 clauses out of 184053 with flag 23347561/4361001
111.19/109.76	c cleaning 93008 clauses out of 186069 with flag 23874433/4455002
113.68/112.25	c cleaning 94009 clauses out of 188059 with flag 24382400/4550000
116.71/115.24	c cleaning 94980 clauses out of 190052 with flag 24896274/4646002
119.30/117.84	c cleaning 96019 clauses out of 192070 with flag 25422006/4743000
122.14/120.69	c cleaning 97010 clauses out of 194051 with flag 25979466/4841000
124.84/123.32	c cleaning 97990 clauses out of 196042 with flag 26521063/4940001
127.43/125.97	c cleaning 99010 clauses out of 198051 with flag 27041863/5040000
130.46/128.91	c cleaning 99969 clauses out of 200041 with flag 27575513/5141000
133.55/132.01	c cleaning 100994 clauses out of 202072 with flag 28122947/5243000
135.94/134.44	c cleaning 102022 clauses out of 204079 with flag 28646383/5346001
138.29/136.78	c cleaning 102971 clauses out of 206056 with flag 29171321/5450000
140.88/139.38	c cleaning 104023 clauses out of 208085 with flag 29725542/5555000
143.69/142.19	c cleaning 104937 clauses out of 210062 with flag 30278567/5661000
146.74/145.18	c cleaning 106001 clauses out of 212127 with flag 30828093/5768002
149.43/147.83	c cleaning 107039 clauses out of 214124 with flag 31374459/5876000
152.02/150.49	c cleaning 107993 clauses out of 216087 with flag 31955507/5985002
155.35/153.74	c cleaning 109016 clauses out of 218092 with flag 32547554/6095000
158.04/156.43	c cleaning 110011 clauses out of 220077 with flag 33129262/6206001
162.97/161.35	c cleaning 111029 clauses out of 222066 with flag 33777405/6318001
166.26/164.68	c cleaning 111948 clauses out of 224037 with flag 34389641/6431001
169.47/167.84	c cleaning 113016 clauses out of 226090 with flag 34990733/6545002
172.61/170.93	c cleaning 114022 clauses out of 228073 with flag 35595994/6660001
175.61/173.98	c cleaning 115006 clauses out of 230050 with flag 36208858/6776000
178.71/177.01	c cleaning 115998 clauses out of 232045 with flag 36835864/6893001
182.33/180.69	c cleaning 116981 clauses out of 234048 with flag 37467443/7011002
186.62/184.97	c cleaning 117957 clauses out of 236066 with flag 38125228/7130001
190.68/188.94	c cleaning 119023 clauses out of 238108 with flag 38780844/7250000
194.37/192.60	c cleaning 120003 clauses out of 240085 with flag 39441319/7371000
197.66/195.96	c cleaning 121022 clauses out of 242083 with flag 40103611/7493001
201.00/199.25	c cleaning 122000 clauses out of 244061 with flag 40765645/7616001
204.49/202.78	c cleaning 123000 clauses out of 246061 with flag 41433038/7740001
207.89/206.17	c cleaning 123983 clauses out of 248060 with flag 42097399/7865000
211.72/209.99	c cleaning 125011 clauses out of 250078 with flag 42775661/7991001
215.61/213.84	c cleaning 126024 clauses out of 252067 with flag 43465174/8118001
219.01/217.24	c cleaning 126998 clauses out of 254043 with flag 44130025/8246001
222.78/220.92	c cleaning 127990 clauses out of 256045 with flag 44822045/8375001
225.97/224.16	c cleaning 129005 clauses out of 258055 with flag 45515643/8505001
229.96/228.16	c cleaning 130004 clauses out of 260050 with flag 46215123/8636001
234.55/232.78	c cleaning 131002 clauses out of 262045 with flag 46939468/8768000
239.01/237.15	c cleaning 131970 clauses out of 264044 with flag 47669717/8901001
243.01/241.16	c cleaning 133013 clauses out of 266074 with flag 48382532/9035001
248.29/246.49	c cleaning 134005 clauses out of 268061 with flag 49148414/9170001
252.58/250.70	c cleaning 134986 clauses out of 270056 with flag 49885343/9306001
256.77/254.91	c cleaning 136023 clauses out of 272069 with flag 50633314/9443000
261.72/259.85	c cleaning 136994 clauses out of 274048 with flag 51409100/9581002
266.48/264.61	c cleaning 138008 clauses out of 276053 with flag 52177477/9720001
270.84/269.07	c cleaning 138997 clauses out of 278045 with flag 52942699/9860001
274.91/273.11	c cleaning 139935 clauses out of 280048 with flag 53699199/10001001
280.66/278.90	c cleaning 141036 clauses out of 282112 with flag 54570461/10143000
286.24/284.03	c cleaning 141940 clauses out of 284077 with flag 55381160/10286001
290.33/288.19	c cleaning 143001 clauses out of 286136 with flag 56164091/10430000
294.92/292.70	c cleaning 144039 clauses out of 288135 with flag 56947987/10575000
299.21/297.08	c cleaning 144993 clauses out of 290097 with flag 57753339/10721001
303.38/301.17	c cleaning 145993 clauses out of 292104 with flag 58534041/10868001
307.76/305.51	c cleaning 147034 clauses out of 294111 with flag 59335726/11016001
312.46/310.26	c cleaning 148023 clauses out of 296077 with flag 60154942/11165001
317.64/315.44	c cleaning 148988 clauses out of 298053 with flag 61008759/11315000
322.73/320.55	c cleaning 149990 clauses out of 300065 with flag 61847893/11466000
328.01/325.74	c cleaning 151003 clauses out of 302077 with flag 62693432/11618002
332.40/330.12	c cleaning 151994 clauses out of 304073 with flag 63536293/11771001
336.59/334.33	c cleaning 153011 clauses out of 306080 with flag 64376453/11925002
341.28/339.00	c cleaning 154012 clauses out of 308068 with flag 65234077/12080001
346.57/344.34	c cleaning 154994 clauses out of 310055 with flag 66108232/12236000
351.95/349.60	c cleaning 156008 clauses out of 312062 with flag 66982469/12393001
358.34/356.03	c cleaning 156995 clauses out of 314053 with flag 67875128/12551000
363.23/360.90	c cleaning 157957 clauses out of 316058 with flag 68769346/12710000
368.33/366.07	c cleaning 158958 clauses out of 318102 with flag 69651594/12870001
373.13/370.77	c cleaning 160000 clauses out of 320143 with flag 70522299/13031000
378.12/375.71	c cleaning 161044 clauses out of 322144 with flag 71418037/13193001
382.51/380.17	c cleaning 162017 clauses out of 324099 with flag 72301753/13356000
387.59/385.24	c cleaning 162995 clauses out of 326083 with flag 73198441/13520001
392.99/390.62	c cleaning 163965 clauses out of 328087 with flag 74105383/13685000
398.30/395.88	c cleaning 164951 clauses out of 330125 with flag 75007796/13851003
402.79/400.38	c cleaning 166065 clauses out of 332173 with flag 75897292/14018002
408.08/405.62	c cleaning 167006 clauses out of 334106 with flag 76824526/14186000
412.66/410.29	c cleaning 168033 clauses out of 336100 with flag 77750403/14355000
418.25/415.87	c cleaning 169025 clauses out of 338072 with flag 78689887/14525005
425.83/423.47	c cleaning 170003 clauses out of 340044 with flag 79704389/14696002
431.85/429.45	c cleaning 170981 clauses out of 342040 with flag 80630173/14868001
437.66/435.17	c cleaning 171988 clauses out of 344059 with flag 81577188/15041001
443.54/441.05	c cleaning 173016 clauses out of 346071 with flag 82535640/15215001
449.02/446.59	c cleaning 173995 clauses out of 348055 with flag 83496339/15390001
455.51/453.04	c cleaning 174964 clauses out of 350061 with flag 84500808/15566002
460.69/458.21	c cleaning 176026 clauses out of 352097 with flag 85449234/15743002
466.47/464.00	c cleaning 177018 clauses out of 354069 with flag 86429766/15921000
471.96/469.58	c cleaning 177991 clauses out of 356052 with flag 87395248/16100001
477.93/475.35	c cleaning 178992 clauses out of 358060 with flag 88369231/16280000
483.42/480.85	c cleaning 179997 clauses out of 360068 with flag 89345523/16461000
489.50/486.93	c cleaning 181020 clauses out of 362072 with flag 90363660/16643001
495.89/493.33	c cleaning 182009 clauses out of 364051 with flag 91376284/16826000
502.40/499.23	c cleaning 182975 clauses out of 366043 with flag 92359515/17010001
508.59/505.40	c cleaning 184021 clauses out of 368067 with flag 93391020/17195000
514.17/511.07	c cleaning 185001 clauses out of 370046 with flag 94411229/17381000
520.36/517.20	c cleaning 185998 clauses out of 372045 with flag 95435714/17568000
526.64/523.51	c cleaning 186987 clauses out of 374048 with flag 96478540/17756001
532.23/529.06	c cleaning 187973 clauses out of 376061 with flag 97458264/17945001
538.91/535.70	c cleaning 189025 clauses out of 378089 with flag 98519941/18135002
544.20/541.06	c cleaning 189979 clauses out of 380062 with flag 99574509/18326000
550.29/547.19	c cleaning 191031 clauses out of 382086 with flag 100623728/18518003
558.06/554.92	c cleaning 192011 clauses out of 384052 with flag 101706675/18711000
564.84/561.73	c cleaning 192966 clauses out of 386042 with flag 102778304/18905001
572.72/569.48	c cleaning 194004 clauses out of 388075 with flag 103908074/19100000
580.30/577.00	c cleaning 195011 clauses out of 390071 with flag 105030918/19296000
585.89/582.65	c cleaning 195984 clauses out of 392060 with flag 106089246/19493000
591.28/588.04	c cleaning 197019 clauses out of 394076 with flag 107171662/19691000
597.76/594.55	c cleaning 198000 clauses out of 396057 with flag 108259053/19890000
604.75/601.55	c cleaning 198997 clauses out of 398057 with flag 109368675/20090000
611.35/608.14	c cleaning 199978 clauses out of 400060 with flag 110474949/20291000
618.11/614.76	c cleaning 201030 clauses out of 402084 with flag 111598522/20493002
624.17/620.80	c cleaning 202009 clauses out of 404052 with flag 112697535/20696000
631.30/628.03	c cleaning 202933 clauses out of 406043 with flag 113845988/20900000
637.35/634.19	c cleaning 204031 clauses out of 408110 with flag 114969436/21105000
643.69/640.57	c cleaning 205004 clauses out of 410082 with flag 116106371/21311003
649.84/646.70	c cleaning 206000 clauses out of 412075 with flag 117236616/21518000
656.16/652.90	c cleaning 206971 clauses out of 414076 with flag 118368454/21726001
663.06/659.85	c cleaning 208033 clauses out of 416104 with flag 119508916/21935000
669.64/666.44	c cleaning 209010 clauses out of 418071 with flag 120639072/22145000
677.42/674.26	c cleaning 209981 clauses out of 420061 with flag 121825576/22356000
683.60/680.40	c cleaning 211018 clauses out of 422080 with flag 122959103/22568000
691.58/688.44	c cleaning 211991 clauses out of 424062 with flag 124117409/22781000
698.98/695.65	c cleaning 213002 clauses out of 426073 with flag 125280048/22995002
706.86/703.53	c cleaning 214001 clauses out of 428071 with flag 126458802/23210002
713.65/710.30	c cleaning 215001 clauses out of 430069 with flag 127641863/23426001
720.53/717.21	c cleaning 216031 clauses out of 432067 with flag 128796361/23643000
728.21/724.98	c cleaning 217008 clauses out of 434036 with flag 129981375/23861000
734.89/731.67	c cleaning 217998 clauses out of 436028 with flag 131159654/24080000
742.54/739.11	c cleaning 218981 clauses out of 438031 with flag 132351752/24300001
750.66/747.39	c cleaning 219998 clauses out of 440051 with flag 133585876/24521002
757.81/754.56	c cleaning 221009 clauses out of 442052 with flag 134758995/24743001
765.84/762.66	c cleaning 221988 clauses out of 444042 with flag 135981954/24966000
773.07/769.95	c cleaning 222971 clauses out of 446054 with flag 137236316/25190000
780.19/776.97	c cleaning 223999 clauses out of 448088 with flag 138456225/25415005
787.55/784.36	c cleaning 225007 clauses out of 450086 with flag 139701221/25641002
796.63/793.43	c cleaning 225926 clauses out of 452078 with flag 140997906/25868001
803.81/800.64	c cleaning 227061 clauses out of 454152 with flag 142230476/26096001
811.71/808.51	c cleaning 228030 clauses out of 456090 with flag 143472207/26325000
819.57/815.78	c cleaning 228964 clauses out of 458063 with flag 144700045/26555003
826.75/823.00	c cleaning 229995 clauses out of 460096 with flag 145939524/26786000
835.43/831.61	c cleaning 231039 clauses out of 462103 with flag 147228345/27018002
844.33/840.44	c cleaning 231998 clauses out of 464062 with flag 148529019/27251000
852.31/848.47	c cleaning 232968 clauses out of 466064 with flag 149789215/27485000
859.59/855.78	c cleaning 234037 clauses out of 468098 with flag 151039944/27720002
867.07/863.20	c cleaning 235009 clauses out of 470059 with flag 152326140/27956000
874.97/871.11	c cleaning 236006 clauses out of 472051 with flag 153614240/28193001
882.74/878.97	c cleaning 237014 clauses out of 474044 with flag 154912910/28431000
890.43/886.65	c cleaning 237935 clauses out of 476031 with flag 156194658/28670001
899.01/895.05	c cleaning 239042 clauses out of 478096 with flag 157486190/28910001
906.99/903.08	c cleaning 239910 clauses out of 480054 with flag 158783093/29151001
914.88/910.99	c cleaning 241039 clauses out of 482144 with flag 160075985/29393001
922.96/919.08	c cleaning 242016 clauses out of 484106 with flag 161371687/29636002
930.94/927.08	c cleaning 243034 clauses out of 486089 with flag 162676721/29880001
939.02/935.18	c cleaning 243975 clauses out of 488054 with flag 164001098/30125000
950.93/946.85	c cleaning 245026 clauses out of 490079 with flag 165428618/30371000
959.81/955.77	c cleaning 245970 clauses out of 492054 with flag 166783400/30618001
968.29/964.27	c cleaning 247012 clauses out of 494083 with flag 168110284/30866000
976.37/972.31	c cleaning 248016 clauses out of 496073 with flag 169447188/31115002
985.36/981.39	c cleaning 249011 clauses out of 498055 with flag 170779464/31365000
993.44/989.48	c cleaning 249970 clauses out of 500044 with flag 172156913/31616000
1001.62/997.40	c cleaning 250988 clauses out of 502074 with flag 173487602/31868000
1009.95/1005.86	c cleaning 252013 clauses out of 504086 with flag 174858763/32121000
1017.68/1013.69	c cleaning 253025 clauses out of 506075 with flag 176216472/32375002
1026.51/1022.56	c cleaning 253995 clauses out of 508048 with flag 177574118/32630000
1034.69/1030.79	c cleaning 255007 clauses out of 510053 with flag 178918943/32886000
1044.21/1040.23	c cleaning 255962 clauses out of 512048 with flag 180329861/33143002
1054.86/1050.74	c cleaning 257005 clauses out of 514085 with flag 181729933/33401001
1064.15/1060.07	c cleaning 258011 clauses out of 516079 with flag 183171559/33660000
1073.32/1069.25	c cleaning 259005 clauses out of 518069 with flag 184595782/33920001
1081.71/1077.66	c cleaning 259989 clauses out of 520063 with flag 185968219/34181000
1091.38/1087.30	c cleaning 261017 clauses out of 522075 with flag 187410798/34443001
1100.50/1096.37	c cleaning 261969 clauses out of 524057 with flag 188848281/34706000
1108.98/1104.81	c cleaning 262978 clauses out of 526089 with flag 190268227/34970001
1118.76/1114.68	c cleaning 264013 clauses out of 528110 with flag 191744563/35235000
1128.13/1124.05	c cleaning 265019 clauses out of 530097 with flag 193164333/35501000
1138.60/1134.54	c cleaning 266030 clauses out of 532078 with flag 194660903/35768000
1147.84/1143.79	c cleaning 267010 clauses out of 534049 with flag 196104190/36036001
1158.13/1153.99	c cleaning 268005 clauses out of 536038 with flag 197546451/36305000
1167.01/1162.84	c cleaning 268998 clauses out of 538035 with flag 199014125/36575002
1177.89/1173.79	c cleaning 270009 clauses out of 540036 with flag 200531705/36846001
1187.87/1183.71	c cleaning 271000 clauses out of 542027 with flag 201999310/37118001
1197.21/1193.03	c cleaning 272005 clauses out of 544027 with flag 203463802/37391001
1207.94/1203.68	c cleaning 272991 clauses out of 546022 with flag 204971565/37665001
1218.71/1214.45	c cleaning 273975 clauses out of 548030 with flag 206449001/37940000
1230.77/1226.53	c cleaning 274989 clauses out of 550057 with flag 207959649/38216002
1241.35/1237.15	c cleaning 276016 clauses out of 552066 with flag 209490337/38493000
1251.33/1247.17	c cleaning 276996 clauses out of 554050 with flag 210963084/38771000
1261.76/1257.41	c cleaning 278018 clauses out of 556054 with flag 212483556/39050000
1270.64/1266.37	c cleaning 278998 clauses out of 558037 with flag 214000910/39330001
1281.03/1276.76	c cleaning 279996 clauses out of 560038 with flag 215541008/39611000
1291.80/1287.50	c cleaning 281008 clauses out of 562042 with flag 217080666/39893000
1303.55/1298.40	c cleaning 281984 clauses out of 564035 with flag 218598778/40176001
1314.02/1308.96	c cleaning 282985 clauses out of 566050 with flag 220149166/40460000
1324.40/1319.36	c cleaning 283974 clauses out of 568065 with flag 221711061/40745000
1333.48/1328.48	c cleaning 285039 clauses out of 570091 with flag 223238733/41031000
1343.68/1338.50	c cleaning 286000 clauses out of 572053 with flag 224775182/41318001
1354.17/1349.03	c cleaning 286985 clauses out of 574054 with flag 226304258/41606002
1365.03/1359.99	c cleaning 287990 clauses out of 576067 with flag 227850476/41895000
1376.41/1371.31	c cleaning 288992 clauses out of 578082 with flag 229407273/42185005
1387.19/1382.15	c cleaning 290026 clauses out of 580085 with flag 230955949/42476000
1397.96/1392.95	c cleaning 291002 clauses out of 582061 with flag 232476563/42768002
1408.01/1402.73	c cleaning 291989 clauses out of 584059 with flag 234040252/43061002
1418.19/1412.94	c cleaning 293009 clauses out of 586070 with flag 235597734/43355002
1428.85/1423.67	c cleaning 293985 clauses out of 588059 with flag 237216905/43650000
1438.82/1433.60	c cleaning 294958 clauses out of 590075 with flag 238835467/43946001
1448.30/1443.15	c cleaning 296037 clauses out of 592118 with flag 240362626/44243002
1458.42/1453.22	c cleaning 297011 clauses out of 594079 with flag 241930290/44541000
1470.79/1465.49	c cleaning 298021 clauses out of 596069 with flag 243588744/44840001
1482.76/1477.40	c cleaning 299001 clauses out of 598048 with flag 245214611/45140001
1493.74/1488.41	c cleaning 299979 clauses out of 600046 with flag 246813421/45441000
1504.01/1498.76	c cleaning 301021 clauses out of 602069 with flag 248432758/45743002
1516.30/1511.08	c cleaning 301992 clauses out of 604046 with flag 250078068/46046000
1527.43/1521.96	c cleaning 303006 clauses out of 606054 with flag 251711685/46350000
1539.02/1533.61	c cleaning 304001 clauses out of 608048 with flag 253406377/46655000
1549.92/1544.68	c cleaning 304938 clauses out of 610048 with flag 255071767/46961001
1561.46/1556.21	c cleaning 306005 clauses out of 612112 with flag 256734982/47268003
1573.13/1567.93	c cleaning 307029 clauses out of 614105 with flag 258361267/47576001
1584.27/1578.85	c cleaning 308001 clauses out of 616076 with flag 259999276/47885001
1595.64/1590.26	c cleaning 309018 clauses out of 618075 with flag 261667625/48195001
1606.92/1601.58	c cleaning 309982 clauses out of 620057 with flag 263338994/48506001
1618.69/1613.34	c cleaning 310993 clauses out of 622074 with flag 265042785/48818000
1631.01/1625.67	c cleaning 311955 clauses out of 624082 with flag 266736656/49131001
1644.87/1639.37	c cleaning 313040 clauses out of 626127 with flag 268378842/49445001
1656.75/1651.24	c cleaning 314035 clauses out of 628087 with flag 270059413/49760001
1668.82/1663.31	c cleaning 314977 clauses out of 630052 with flag 271764486/50076001
1680.40/1674.90	c cleaning 316017 clauses out of 632074 with flag 273472278/50393000
1691.45/1685.99	c cleaning 317015 clauses out of 634057 with flag 275133145/50711000
1702.56/1696.99	c cleaning 318009 clauses out of 636042 with flag 276841089/51030000
1713.93/1708.38	c cleaning 318958 clauses out of 638033 with flag 278507744/51350000
1726.29/1720.74	c cleaning 319984 clauses out of 640076 with flag 280237966/51671001
1739.46/1733.93	c cleaning 321021 clauses out of 642091 with flag 281972937/51993000
1751.77/1746.03	c cleaning 322019 clauses out of 644070 with flag 283658601/52316000
1764.43/1758.71	c cleaning 322952 clauses out of 646053 with flag 285402051/52640002
1775.72/1770.07	c cleaning 324032 clauses out of 648099 with flag 287146688/52965000
1789.12/1783.48	c cleaning 325020 clauses out of 650068 with flag 288919904/53291001
1801.03/1795.26	c cleaning 325993 clauses out of 652048 with flag 290623223/53618001
1812.56/1806.86	c cleaning 326989 clauses out of 654056 with flag 292319784/53946002
1824.23/1818.59	c cleaning 327976 clauses out of 656066 with flag 294088266/54275001
1836.00/1830.39	c cleaning 329025 clauses out of 658090 with flag 295830129/54605001
1849.83/1844.11	c cleaning 330006 clauses out of 660065 with flag 297562330/54936001
1861.30/1855.55	c cleaning 330982 clauses out of 662058 with flag 299330436/55268000
1872.67/1866.99	c cleaning 332021 clauses out of 664077 with flag 301058264/55601001
1884.44/1878.75	c cleaning 333004 clauses out of 666057 with flag 302866268/55935002
1896.62/1890.92	c cleaning 334005 clauses out of 668051 with flag 304628269/56270000
1910.13/1904.41	c cleaning 334968 clauses out of 670046 with flag 306398401/56606000
1923.51/1917.76	c cleaning 335983 clauses out of 672078 with flag 308209235/56943000
1936.28/1930.58	c cleaning 337010 clauses out of 674095 with flag 309966796/57281000
1949.05/1943.36	c cleaning 337978 clauses out of 676085 with flag 311739457/57620000
1962.51/1956.88	c cleaning 339022 clauses out of 678107 with flag 313588358/57960000
1974.22/1968.57	c cleaning 340012 clauses out of 680085 with flag 315348856/58301000
1988.05/1982.24	c cleaning 341021 clauses out of 682073 with flag 317145406/58643000
2000.83/1995.09	c cleaning 342000 clauses out of 684054 with flag 318925003/58986002
2013.60/2007.80	c cleaning 343002 clauses out of 686052 with flag 320718042/59330000
2026.16/2020.49	c cleaning 344015 clauses out of 688051 with flag 322567778/59675001
2039.38/2033.62	c cleaning 344970 clauses out of 690035 with flag 324369803/60021000
2054.77/2048.96	c cleaning 345984 clauses out of 692065 with flag 326203058/60368000
2070.04/2064.25	c cleaning 347028 clauses out of 694082 with flag 328071441/60716001
2083.51/2077.74	c cleaning 348009 clauses out of 696053 with flag 329896701/61065000
2095.68/2089.97	c cleaning 348988 clauses out of 698044 with flag 331734598/61415000
2109.40/2102.62	c cleaning 350013 clauses out of 700056 with flag 333557204/61766000
2122.57/2115.81	c cleaning 350985 clauses out of 702043 with flag 335408539/62118000
2136.34/2129.65	c cleaning 351986 clauses out of 704058 with flag 337237785/62471000
2149.76/2142.93	c cleaning 353003 clauses out of 706073 with flag 339069262/62825001
2164.32/2157.55	c cleaning 353994 clauses out of 708070 with flag 340964135/63180001
2177.60/2170.87	c cleaning 355034 clauses out of 710075 with flag 342846458/63536000
2190.36/2183.61	c cleaning 355980 clauses out of 712041 with flag 344701421/63893000
2203.74/2197.02	c cleaning 357013 clauses out of 714062 with flag 346589905/64251001
2217.81/2211.12	c cleaning 357990 clauses out of 716049 with flag 348430005/64610001
2231.68/2224.90	c cleaning 359007 clauses out of 718058 with flag 350320309/64970000
2246.17/2239.26	c cleaning 360008 clauses out of 720052 with flag 352231403/65331001
2258.74/2251.88	c cleaning 361018 clauses out of 722043 with flag 354115143/65693000
2272.51/2265.63	c cleaning 361983 clauses out of 724026 with flag 355971717/66056001
2287.19/2280.36	c cleaning 362995 clauses out of 726043 with flag 357820087/66420001
2301.19/2294.23	c cleaning 364005 clauses out of 728047 with flag 359700105/66785000
2317.34/2310.37	c cleaning 365009 clauses out of 730043 with flag 361629674/67151001
2331.21/2324.39	c cleaning 365992 clauses out of 732033 with flag 363544762/67518000
2344.90/2338.10	c cleaning 366982 clauses out of 734042 with flag 365468893/67886001
2359.43/2352.74	c cleaning 367999 clauses out of 736059 with flag 367359119/68255000
2373.80/2367.05	c cleaning 369016 clauses out of 738061 with flag 369298971/68625001
2389.03/2382.19	c cleaning 370004 clauses out of 740044 with flag 371262163/68996000
2402.70/2395.82	c cleaning 370984 clauses out of 742040 with flag 373213266/69368000
2417.87/2411.03	c cleaning 372016 clauses out of 744057 with flag 375157505/69741001
2431.74/2424.96	c cleaning 372972 clauses out of 746040 with flag 377079277/70115000
2447.13/2440.20	c cleaning 374010 clauses out of 748070 with flag 379058932/70490002
2462.06/2455.10	c cleaning 375008 clauses out of 750059 with flag 381018738/70866001
2475.72/2468.74	c cleaning 376012 clauses out of 752050 with flag 382964493/71243000
2489.69/2482.78	c cleaning 376990 clauses out of 754039 with flag 384844824/71621001
2504.55/2497.63	c cleaning 378010 clauses out of 756049 with flag 386850335/72000001
2519.53/2512.44	c cleaning 378945 clauses out of 758038 with flag 388757866/72380000
2535.83/2528.88	c cleaning 380025 clauses out of 760093 with flag 390799727/72761000
2550.50/2543.55	c cleaning 381019 clauses out of 762068 with flag 392863051/73143000
2564.17/2557.25	c cleaning 381968 clauses out of 764049 with flag 394819882/73526000
2579.93/2572.99	c cleaning 382998 clauses out of 766082 with flag 396770746/73910001
2594.94/2587.96	c cleaning 384012 clauses out of 768083 with flag 398724724/74295000
2609.20/2602.26	c cleaning 385014 clauses out of 770071 with flag 400714152/74681000
2623.88/2616.92	c cleaning 385997 clauses out of 772060 with flag 402684590/75068003
2640.02/2633.07	c cleaning 387006 clauses out of 774060 with flag 404745970/75456000
2655.21/2648.16	c cleaning 388006 clauses out of 776056 with flag 406732448/75845002
2669.57/2662.52	c cleaning 389005 clauses out of 778048 with flag 408707743/76235000
2683.64/2676.67	c cleaning 390007 clauses out of 780043 with flag 410712733/76626000
2697.60/2690.63	c cleaning 390975 clauses out of 782036 with flag 412698907/77018000
2713.53/2706.50	c cleaning 392007 clauses out of 784062 with flag 414739063/77411001
2729.65/2722.53	c cleaning 393015 clauses out of 786054 with flag 416769589/77805000
2743.92/2736.88	c cleaning 393960 clauses out of 788040 with flag 418829131/78200001
2763.08/2756.05	c cleaning 395029 clauses out of 790080 with flag 420877428/78596001
2778.04/2771.01	c cleaning 396017 clauses out of 792051 with flag 422887286/78993001
2792.39/2785.45	c cleaning 396947 clauses out of 794033 with flag 424927576/79391000
2808.43/2801.27	c cleaning 398007 clauses out of 796086 with flag 426975878/79790000
2822.40/2815.28	c cleaning 399004 clauses out of 798081 with flag 429025005/80190002
2839.36/2832.27	c cleaning 400017 clauses out of 800075 with flag 431159797/80591000
2855.33/2848.27	c cleaning 401013 clauses out of 802059 with flag 433221240/80993001
2875.32/2868.24	c cleaning 401933 clauses out of 804045 with flag 435415698/81396000
2892.52/2885.33	c cleaning 403023 clauses out of 806112 with flag 437524664/81800000
2908.75/2901.64	c cleaning 404024 clauses out of 808089 with flag 439599540/82205000
2925.50/2918.41	c cleaning 405001 clauses out of 810067 with flag 441820221/82611002
2941.08/2934.02	c cleaning 405990 clauses out of 812064 with flag 443990857/83018000
2958.05/2950.88	c cleaning 407007 clauses out of 814074 with flag 446089506/83426000
2974.82/2967.65	c cleaning 408011 clauses out of 816069 with flag 448266867/83835002
2993.97/2986.80	c cleaning 408988 clauses out of 818057 with flag 450471803/84245001
3010.93/3003.85	c cleaning 410014 clauses out of 820069 with flag 452686932/84656001
3026.95/3019.85	c cleaning 411013 clauses out of 822055 with flag 454874234/85068001
3043.15/3035.98	c cleaning 411882 clauses out of 824041 with flag 457012792/85481000
3061.22/3054.10	c cleaning 413042 clauses out of 826161 with flag 459244252/85895002
3076.78/3069.69	c cleaning 414041 clauses out of 828118 with flag 461430959/86310001
3095.32/3088.23	c cleaning 414977 clauses out of 830077 with flag 463624228/86726001
3112.94/3105.75	c cleaning 416014 clauses out of 832099 with flag 465816611/87143000
3130.08/3123.09	c cleaning 416972 clauses out of 834085 with flag 468013338/87561000
3148.83/3141.86	c cleaning 418023 clauses out of 836114 with flag 470229017/87980001
3166.90/3159.98	c cleaning 419012 clauses out of 838090 with flag 472455747/88400000
3186.49/3179.31	c cleaning 419988 clauses out of 840079 with flag 474718055/88821001
3202.72/3195.65	c cleaning 421017 clauses out of 842090 with flag 476937238/89243000
3219.29/3212.24	c cleaning 422022 clauses out of 844073 with flag 479073336/89666000
3237.20/3230.14	c cleaning 422990 clauses out of 846051 with flag 481250671/90090000
3255.60/3248.40	c cleaning 424010 clauses out of 848061 with flag 483408138/90515000
3271.65/3264.54	c cleaning 424984 clauses out of 850052 with flag 485532693/90941001
3287.90/3280.81	c cleaning 426010 clauses out of 852067 with flag 487718108/91368000
3303.91/3296.85	c cleaning 427002 clauses out of 854057 with flag 489883851/91796000
3320.98/3313.88	c cleaning 427971 clauses out of 856055 with flag 492062674/92225000
3338.34/3331.23	c cleaning 429014 clauses out of 858084 with flag 494274115/92655000
3369.68/3362.61	c cleaning 430011 clauses out of 860070 with flag 497179449/93086000
3386.04/3379.05	c cleaning 430958 clauses out of 862059 with flag 499495099/93518000
3405.58/3397.89	c cleaning 432020 clauses out of 864102 with flag 501784889/93951001
3421.83/3414.28	c cleaning 433001 clauses out of 866083 with flag 504109897/94385002
3439.12/3431.61	c cleaning 434006 clauses out of 868081 with flag 506316631/94820001
3458.88/3451.22	c cleaning 435021 clauses out of 870074 with flag 508478646/95256000
3478.24/3470.62	c cleaning 436014 clauses out of 872053 with flag 510730844/95693000
3495.72/3488.10	c cleaning 436996 clauses out of 874040 with flag 512925651/96131001
3516.46/3508.99	c cleaning 437998 clauses out of 876045 with flag 515075951/96570002
3536.02/3528.51	c cleaning 439002 clauses out of 878045 with flag 517307931/97010000
3555.53/3548.06	c cleaning 439966 clauses out of 880044 with flag 519585541/97451001
3572.80/3565.29	c cleaning 440966 clauses out of 882077 with flag 521854098/97893000
3591.02/3583.39	c cleaning 442031 clauses out of 884112 with flag 524125633/98336001
3600.04/3592.41	c starts		: 46396
3600.04/3592.42	c conflicts		: 98568145
3600.04/3592.42	c decisions		: 196588206
3600.04/3592.42	c propagations		: 2107433401
3600.04/3592.42	c inspects		: 58177153165
3600.04/3592.42	c shortcuts		: 0
3600.04/3592.42	c learnt literals	: 0
3600.04/3592.42	c learnt binary clauses	: 0
3600.04/3592.43	c learnt ternary clauses	: 0
3600.04/3592.43	c learnt constraints	: 98568145
3600.04/3592.43	c ignored constraints	: 0
3600.04/3592.43	c root simplifications	: 0
3600.04/3592.43	c removed literals (reason simplification)	: 0
3600.04/3592.43	c reason swapping (by a shorter reason)	: 0
3600.04/3592.43	c Calls to reduceDB	: 439
3600.04/3592.43	c Number of update (reduction) of LBD	: 35585700
3600.04/3592.43	c Imported unit clauses	: 0
3600.04/3592.43	c No decision after first conflict	: false
3600.04/3592.43	c number of reductions to clauses (during analyze)	: 0
3600.04/3592.43	c number of learned constraints concerned by reduction	: 0
3600.04/3592.43	c number of learning phase by resolution	: 0
3600.04/3592.43	c number of learning phase by cutting planes	: 0
3600.04/3592.43	c number of rounding to 1 operations	: 0
3600.04/3592.43	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3592.43	c number of reductions of the coefficients by power 2 	: 0
3600.04/3592.43	c number of right shift for reduction by power 2 	: 0
3600.04/3592.43	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3592.43	c number of ending skipping 	: 0
3600.04/3592.43	c number of internal skipping 	: 0
3600.04/3592.43	c number of derivation steps 	: 0
3600.04/3592.43	c number of skipped derivation steps 	: 0
3600.04/3592.43	c number of remaining unassigned 	: 0
3600.04/3592.43	c number of remaining assigned 	: 0
3600.04/3592.43	c number of falsified literals weakened from reason	: 0
3600.04/3592.43	c number of falsified literals weakened from conflict	: 0
3600.04/3592.43	c time for arithmetic operations	: 0
3600.04/3592.43	c minimum degree of deleted constraints	: null
3600.04/3592.43	c maximum degree of deleted constraints	: null
3600.04/3592.43	c number of deleted constraints	: 0
3600.04/3592.43	c speed (assignments/second)	: 586711.2593379127
3600.04/3592.43	c non guided choices	: 65834873
3600.04/3592.44	c timeout
3600.04/3592.49	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 674225
3600.04/3592.50	s UNKNOWN
3600.04/3592.50	c Total wall clock time (in seconds): 3592.378

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (62467 MiB free)
  memory of node 1: 64473 MiB (62645 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=1073555, runsolver pid=1073548

[startup+0.100283 s]*
/proc/loadavg: 1.04 1.10 1.25 11/323 1073630
/proc/meminfo: memFree=127951048/131524600 swapFree=131070704/131071996
[pid=1073555] ppid=1073548 vsize=18975048 memory=62644 CPUtime=0.14 cores=5,7
/proc/1073555/stat : 1073555 (java) S 1073548 1073555 1073488 0 -1 1077936128 7245 0 0 0 12 2 0 0 20 0 18 0 201332304 19430449152 15661 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
/proc/1073555/statm: 4743762 15661 5547 1 0 549351 0
[pid=1073555/tid=1073559] ppid=1073548 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=5,7
/proc/1073555/task/1073559/stat : 1073559 (java) S 1073548 1073555 1073488 0 -1 1077936192 5768 0 0 0 7 1 0 0 20 0 18 0 201332305 19430449152 15661 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073599] ppid=1073548 vsize=18975048 memory=1783847 CPUtime=0 cores=5,7
/proc/1073555/task/1073599/stat : 1073599 (Finalizer) S 1073548 1073555 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 201332307 19430449152 15661 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073618] ppid=1073548 vsize=18975048 memory=15252649461155485 CPUtime=0 cores=5,7
/proc/1073555/task/1073618/stat : 1073618 (Common-Cleaner) S 1073548 1073555 1073488 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 201332307 19430449152 15661 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62644 KiB

[startup+0.213743 s]*
/proc/loadavg: 1.04 1.10 1.25 17/327 1073634
/proc/meminfo: memFree=127570148/131524600 swapFree=131070704/131071996
[pid=1073555] ppid=1073548 vsize=19041612 memory=160116 CPUtime=0.33 cores=5,7
/proc/1073555/stat : 1073555 (java) S 1073548 1073555 1073488 0 -1 1077936128 8830 0 0 0 29 4 0 0 20 0 19 0 201332304 19498610688 40029 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
/proc/1073555/statm: 4760403 40029 5856 1 0 550539 0
[pid=1073555/tid=1073559] ppid=1073548 vsize=19041612 memory=6876556183782621315 CPUtime=0.17 cores=5,7
/proc/1073555/task/1073559/stat : 1073559 (java) R 1073548 1073555 1073488 0 -1 4194368 5941 0 0 0 13 4 0 0 20 0 19 0 201332305 19498610688 40029 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073599] ppid=1073548 vsize=19041612 memory=1783847 CPUtime=0 cores=5,7
/proc/1073555/task/1073599/stat : 1073599 (Finalizer) S 1073548 1073555 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201332307 19498610688 40029 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073618] ppid=1073548 vsize=19041612 memory=15252649461155485 CPUtime=0 cores=5,7
/proc/1073555/task/1073618/stat : 1073618 (Common-Cleaner) R 1073548 1073555 1073488 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 201332307 19498610688 40029 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 160116 KiB

[startup+0.306108 s]*
/proc/loadavg: 1.04 1.10 1.25 13/327 1073634
/proc/meminfo: memFree=127210988/131524600 swapFree=131070704/131071996
[pid=1073555] ppid=1073548 vsize=19041612 memory=216992 CPUtime=0.51 cores=5,7
/proc/1073555/stat : 1073555 (java) S 1073548 1073555 1073488 0 -1 1077936128 9246 0 0 0 45 6 0 0 20 0 19 0 201332304 19498610688 54248 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
/proc/1073555/statm: 4760403 54248 5856 1 0 550817 0
[pid=1073555/tid=1073559] ppid=1073548 vsize=19041612 memory=-7595142079120172386 CPUtime=0.24 cores=5,7
/proc/1073555/task/1073559/stat : 1073559 (java) R 1073548 1073555 1073488 0 -1 4194368 5966 0 0 0 19 5 0 0 20 0 19 0 201332305 19498610688 54248 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073599] ppid=1073548 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1073555/task/1073599/stat : 1073599 (Finalizer) S 1073548 1073555 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201332307 19498610688 54248 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073618] ppid=1073548 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1073555/task/1073618/stat : 1073618 (Common-Cleaner) S 1073548 1073555 1073488 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 201332307 19498610688 54248 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 216992 KiB

[startup+0.700395 s]
/proc/loadavg: 1.04 1.10 1.25 15/331 1073638
/proc/meminfo: memFree=125920236/131524600 swapFree=131070704/131071996
[pid=1073555] ppid=1073548 vsize=19108176 memory=607632 CPUtime=1.25 cores=5,7
/proc/1073555/stat : 1073555 (java) S 1073548 1073555 1073488 0 -1 1077936128 16240 0 0 0 111 14 0 0 20 0 20 0 201332304 19566772224 151908 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
/proc/1073555/statm: 4777044 151908 5856 1 0 555771 0
[pid=1073555/tid=1073559] ppid=1073548 vsize=19108176 memory=5432 CPUtime=0.58 cores=5,7
/proc/1073555/task/1073559/stat : 1073559 (java) R 1073548 1073555 1073488 0 -1 4194368 6193 0 0 0 46 12 0 0 20 0 20 0 201332305 19566772224 151908 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073599] ppid=1073548 vsize=19108176 memory=12952 CPUtime=0 cores=5,7
/proc/1073555/task/1073599/stat : 1073599 (Finalizer) S 1073548 1073555 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 151908 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073618] ppid=1073548 vsize=19108176 memory=2276 CPUtime=0 cores=5,7
/proc/1073555/task/1073618/stat : 1073618 (Common-Cleaner) S 1073548 1073555 1073488 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 151908 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073637] ppid=1073548 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1073555/task/1073637/stat : 1073637 (Timer-0) S 1073548 1073555 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332353 19566772224 151908 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 607632 KiB

[startup+1.50355 s]
/proc/loadavg: 1.04 1.10 1.25 13/331 1073638
/proc/meminfo: memFree=125873404/131524600 swapFree=131070704/131071996
[pid=1073555] ppid=1073548 vsize=19108176 memory=611316 CPUtime=2.83 cores=5,7
/proc/1073555/stat : 1073555 (java) S 1073548 1073555 1073488 0 -1 1077936128 17088 0 0 0 269 14 0 0 20 0 20 0 201332304 19566772224 152829 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
/proc/1073555/statm: 4777044 152829 5888 1 0 556206 0
[pid=1073555/tid=1073559] ppid=1073548 vsize=19108176 memory=12952 CPUtime=1.37 cores=5,7
/proc/1073555/task/1073559/stat : 1073559 (java) R 1073548 1073555 1073488 0 -1 4194368 6241 0 0 0 125 12 0 0 20 0 20 0 201332305 19566772224 152829 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073599] ppid=1073548 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1073555/task/1073599/stat : 1073599 (Finalizer) S 1073548 1073555 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 152829 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073618] ppid=1073548 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1073555/task/1073618/stat : 1073618 (Common-Cleaner) S 1073548 1073555 1073488 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 152829 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073637] ppid=1073548 vsize=19108176 memory=54087462944825 CPUtime=0 cores=5,7
/proc/1073555/task/1073637/stat : 1073637 (Timer-0) S 1073548 1073555 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332353 19566772224 152829 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 611316 KiB

[startup+3.10527 s]
/proc/loadavg: 1.04 1.10 1.25 7/331 1073638
/proc/meminfo: memFree=125862024/131524600 swapFree=131070704/131071996
[pid=1073555] ppid=1073548 vsize=19108176 memory=611592 CPUtime=4.77 cores=5,7
/proc/1073555/stat : 1073555 (java) S 1073548 1073555 1073488 0 -1 1077936128 17150 0 0 0 463 14 0 0 20 0 20 0 201332304 19566772224 152898 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
/proc/1073555/statm: 4777044 152898 5893 1 0 556207 0
[pid=1073555/tid=1073559] ppid=1073548 vsize=19108176 memory=0 CPUtime=2.96 cores=5,7
/proc/1073555/task/1073559/stat : 1073559 (java) R 1073548 1073555 1073488 0 -1 4194368 6241 0 0 0 284 12 0 0 20 0 20 0 201332305 19566772224 152898 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073599] ppid=1073548 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1073555/task/1073599/stat : 1073599 (Finalizer) S 1073548 1073555 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 152898 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073618] ppid=1073548 vsize=19108176 memory=12952 CPUtime=0 cores=5,7
/proc/1073555/task/1073618/stat : 1073618 (Common-Cleaner) S 1073548 1073555 1073488 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 152898 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073637] ppid=1073548 vsize=19108176 memory=11648 CPUtime=0 cores=5,7
/proc/1073555/task/1073637/stat : 1073637 (Timer-0) S 1073548 1073555 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332353 19566772224 152898 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
Current children cumulated CPU time: 4.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 611592 KiB

[startup+6.30021 s]
/proc/loadavg: 1.27 1.15 1.27 8/331 1073638
/proc/meminfo: memFree=125876852/131524600 swapFree=131070704/131071996
[pid=1073555] ppid=1073548 vsize=19108176 memory=606208 CPUtime=8.01 cores=5,7
/proc/1073555/stat : 1073555 (java) S 1073548 1073555 1073488 0 -1 1077936128 20193 0 0 0 786 15 0 0 20 0 20 0 201332304 19566772224 151552 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
/proc/1073555/statm: 4777044 151552 5909 1 0 556208 0
[pid=1073555/tid=1073559] ppid=1073548 vsize=19108176 memory=0 CPUtime=6.15 cores=5,7
/proc/1073555/task/1073559/stat : 1073559 (java) R 1073548 1073555 1073488 0 -1 4194368 6797 0 0 0 603 12 0 0 20 0 20 0 201332305 19566772224 151552 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073599] ppid=1073548 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1073555/task/1073599/stat : 1073599 (Finalizer) S 1073548 1073555 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 151552 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073618] ppid=1073548 vsize=19108176 memory=-6303866975680447118 CPUtime=0 cores=5,7
/proc/1073555/task/1073618/stat : 1073618 (Common-Cleaner) S 1073548 1073555 1073488 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 151552 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073637] ppid=1073548 vsize=19108176 memory=611316 CPUtime=0 cores=5,7
/proc/1073555/task/1073637/stat : 1073637 (Timer-0) S 1073548 1073555 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332353 19566772224 151552 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
Current children cumulated CPU time: 8.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 606208 KiB

[startup+12.7002 s]
/proc/loadavg: 1.49 1.20 1.28 7/331 1073640
/proc/meminfo: memFree=125876728/131524600 swapFree=131070704/131071996
[pid=1073555] ppid=1073548 vsize=19108176 memory=606216 CPUtime=14.4 cores=5,7
/proc/1073555/stat : 1073555 (java) S 1073548 1073555 1073488 0 -1 1077936128 21064 0 0 0 1425 15 0 0 20 0 20 0 201332304 19566772224 151554 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
/proc/1073555/statm: 4777044 151554 5909 1 0 556208 0
[pid=1073555/tid=1073559] ppid=1073548 vsize=19108176 memory=606208 CPUtime=12.53 cores=5,7
/proc/1073555/task/1073559/stat : 1073559 (java) R 1073548 1073555 1073488 0 -1 4194368 7524 0 0 0 1241 12 0 0 20 0 20 0 201332305 19566772224 151554 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073599] ppid=1073548 vsize=19108176 memory=606216 CPUtime=0 cores=5,7
/proc/1073555/task/1073599/stat : 1073599 (Finalizer) S 1073548 1073555 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 151554 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073618] ppid=1073548 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1073555/task/1073618/stat : 1073618 (Common-Cleaner) S 1073548 1073555 1073488 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 151554 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073637] ppid=1073548 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1073555/task/1073637/stat : 1073637 (Timer-0) S 1073548 1073555 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332353 19566772224 151554 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
Current children cumulated CPU time: 14.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 606216 KiB

[startup+25.5002 s]
/proc/loadavg: 2.21 1.37 1.34 7/331 1073641
/proc/meminfo: memFree=125700312/131524600 swapFree=131070704/131071996
[pid=1073555] ppid=1073548 vsize=19108176 memory=606220 CPUtime=27.17 cores=5,7
/proc/1073555/stat : 1073555 (java) S 1073548 1073555 1073488 0 -1 1077936128 22618 0 0 0 2701 16 0 0 20 0 20 0 201332304 19566772224 151555 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
/proc/1073555/statm: 4777044 151555 5909 1 0 556208 0
[pid=1073555/tid=1073559] ppid=1073548 vsize=19108176 memory=606216 CPUtime=25.31 cores=5,7
/proc/1073555/task/1073559/stat : 1073559 (java) R 1073548 1073555 1073488 0 -1 4194368 8855 0 0 0 2518 13 0 0 20 0 20 0 201332305 19566772224 151555 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073599] ppid=1073548 vsize=19108176 memory=606220 CPUtime=0 cores=5,7
/proc/1073555/task/1073599/stat : 1073599 (Finalizer) S 1073548 1073555 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 151555 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073618] ppid=1073548 vsize=19108176 memory=11648 CPUtime=0 cores=5,7
/proc/1073555/task/1073618/stat : 1073618 (Common-Cleaner) S 1073548 1073555 1073488 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 151555 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073637] ppid=1073548 vsize=19108176 memory=1399105007669188995 CPUtime=0 cores=5,7
/proc/1073555/task/1073637/stat : 1073637 (Timer-0) S 1073548 1073555 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332353 19566772224 151555 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
Current children cumulated CPU time: 27.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 606220 KiB

[startup+51.1053 s]
/proc/loadavg: 2.88 1.60 1.41 7/331 1073646
/proc/meminfo: memFree=124496312/131524600 swapFree=131070704/131071996
[pid=1073555] ppid=1073548 vsize=19108176 memory=882716 CPUtime=52.72 cores=5,7
/proc/1073555/stat : 1073555 (java) S 1073548 1073555 1073488 0 -1 1077936128 25563 0 0 0 5250 22 0 0 20 0 20 0 201332304 19566772224 220679 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
/proc/1073555/statm: 4777044 220679 5909 1 0 556208 0
[pid=1073555/tid=1073559] ppid=1073548 vsize=19108176 memory=-7595142079120172386 CPUtime=50.85 cores=5,7
/proc/1073555/task/1073559/stat : 1073559 (java) R 1073548 1073555 1073488 0 -1 4194368 11336 0 0 0 5066 19 0 0 20 0 20 0 201332305 19566772224 220679 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073599] ppid=1073548 vsize=19108176 memory=32452 CPUtime=0 cores=5,7
/proc/1073555/task/1073599/stat : 1073599 (Finalizer) S 1073548 1073555 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 220679 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0

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

[startup+3282.3 s]
/proc/loadavg: 4.14 4.15 4.09 7/333 1075417
/proc/meminfo: memFree=110002200/131524600 swapFree=131070704/131071996
[pid=1073555] ppid=1073548 vsize=19108176 memory=4232268 CPUtime=3289.4 cores=5,7
/proc/1073555/stat : 1073555 (java) S 1073548 1073555 1073488 0 -1 1077936128 294133 0 0 0 328755 185 0 0 20 0 20 0 201332304 19566772224 1058067 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
/proc/1073555/statm: 4777044 1058067 5941 1 0 1076009 0
[pid=1073555/tid=1073559] ppid=1073548 vsize=19108176 memory=2204 CPUtime=3261.69 cores=5,7
/proc/1073555/task/1073559/stat : 1073559 (java) R 1073548 1073555 1073488 0 -1 4194368 122393 0 0 0 326094 75 0 0 20 0 20 0 201332305 19566772224 1058067 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073599] ppid=1073548 vsize=19108176 memory=48084 CPUtime=0 cores=5,7
/proc/1073555/task/1073599/stat : 1073599 (Finalizer) S 1073548 1073555 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 1058067 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073618] ppid=1073548 vsize=19108176 memory=4232268 CPUtime=0 cores=5,7
/proc/1073555/task/1073618/stat : 1073618 (Common-Cleaner) S 1073548 1073555 1073488 0 -1 1077936192 3765 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 1058067 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073637] ppid=1073548 vsize=19108176 memory=-7595142079119714146 CPUtime=0 cores=5,7
/proc/1073555/task/1073637/stat : 1073637 (Timer-0) S 1073548 1073555 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332353 19566772224 1058067 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
Current children cumulated CPU time: 3289.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4232268 KiB

[startup+3342.3 s]
/proc/loadavg: 4.27 4.18 4.10 7/333 1075428
/proc/meminfo: memFree=109615820/131524600 swapFree=131070704/131071996
[pid=1073555] ppid=1073548 vsize=19108176 memory=4232428 CPUtime=3349.42 cores=5,7
/proc/1073555/stat : 1073555 (java) S 1073548 1073555 1073488 0 -1 1077936128 297928 0 0 0 334755 187 0 0 20 0 20 0 201332304 19566772224 1058107 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
/proc/1073555/statm: 4777044 1058107 5941 1 0 1076009 0
[pid=1073555/tid=1073559] ppid=1073548 vsize=19108176 memory=4232428 CPUtime=3321.43 cores=5,7
/proc/1073555/task/1073559/stat : 1073559 (java) R 1073548 1073555 1073488 0 -1 4194368 123868 0 0 0 332067 76 0 0 20 0 20 0 201332305 19566772224 1058107 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073599] ppid=1073548 vsize=19108176 memory=4232428 CPUtime=0 cores=5,7
/proc/1073555/task/1073599/stat : 1073599 (Finalizer) S 1073548 1073555 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 1058107 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073618] ppid=1073548 vsize=19108176 memory=5432 CPUtime=0 cores=5,7
/proc/1073555/task/1073618/stat : 1073618 (Common-Cleaner) S 1073548 1073555 1073488 0 -1 1077936192 3818 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 1058107 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073637] ppid=1073548 vsize=19108176 memory=-9187040381901175487 CPUtime=0 cores=5,7
/proc/1073555/task/1073637/stat : 1073637 (Timer-0) S 1073548 1073555 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332353 19566772224 1058107 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
Current children cumulated CPU time: 3349.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4232428 KiB

[startup+3402.3 s]
/proc/loadavg: 4.26 4.19 4.11 7/332 1075439
/proc/meminfo: memFree=109112516/131524600 swapFree=131070704/131071996
[pid=1073555] ppid=1073548 vsize=19108176 memory=4393944 CPUtime=3410.03 cores=5,7
/proc/1073555/stat : 1073555 (java) S 1073548 1073555 1073488 0 -1 1077936128 312904 0 0 0 340810 193 0 0 20 0 20 0 201332304 19566772224 1098486 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
/proc/1073555/statm: 4777044 1098486 5941 1 0 1270442 0
[pid=1073555/tid=1073559] ppid=1073548 vsize=19108176 memory=4232428 CPUtime=3381.02 cores=5,7
/proc/1073555/task/1073559/stat : 1073559 (java) R 1073548 1073555 1073488 0 -1 4194368 128005 0 0 0 338023 79 0 0 20 0 20 0 201332305 19566772224 1098486 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073599] ppid=1073548 vsize=19108176 memory=4232428 CPUtime=0 cores=5,7
/proc/1073555/task/1073599/stat : 1073599 (Finalizer) S 1073548 1073555 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 1098486 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073618] ppid=1073548 vsize=19108176 memory=4334552 CPUtime=0 cores=5,7
/proc/1073555/task/1073618/stat : 1073618 (Common-Cleaner) S 1073548 1073555 1073488 0 -1 1077936192 3819 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 1098486 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073637] ppid=1073548 vsize=19108176 memory=4309976 CPUtime=0 cores=5,7
/proc/1073555/task/1073637/stat : 1073637 (Timer-0) S 1073548 1073555 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332353 19566772224 1098486 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
Current children cumulated CPU time: 3410.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4393944 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.17 4.10 7/330 1075449
/proc/meminfo: memFree=108723488/131524600 swapFree=131070704/131071996
[pid=1073555] ppid=1073548 vsize=19108176 memory=4746752 CPUtime=3469.96 cores=5,7
/proc/1073555/stat : 1073555 (java) S 1073548 1073555 1073488 0 -1 1077936128 314174 0 0 0 346795 201 0 0 20 0 20 0 201332304 19566772224 1186688 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
/proc/1073555/statm: 4777044 1186688 5941 1 0 1270442 0
[pid=1073555/tid=1073559] ppid=1073548 vsize=19108176 memory=4232428 CPUtime=3440.57 cores=5,7
/proc/1073555/task/1073559/stat : 1073559 (java) R 1073548 1073555 1073488 0 -1 4194368 128847 0 0 0 343973 84 0 0 20 0 20 0 201332305 19566772224 1186688 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073599] ppid=1073548 vsize=19108176 memory=4461528 CPUtime=0 cores=5,7
/proc/1073555/task/1073599/stat : 1073599 (Finalizer) S 1073548 1073555 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 1186688 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073618] ppid=1073548 vsize=19108176 memory=4649944 CPUtime=0 cores=5,7
/proc/1073555/task/1073618/stat : 1073618 (Common-Cleaner) S 1073548 1073555 1073488 0 -1 1077936192 3819 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 1186688 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073637] ppid=1073548 vsize=19108176 memory=4746720 CPUtime=0 cores=5,7
/proc/1073555/task/1073637/stat : 1073637 (Timer-0) S 1073548 1073555 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332353 19566772224 1186688 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
Current children cumulated CPU time: 3469.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4746752 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.18 4.11 7/330 1075459
/proc/meminfo: memFree=108646492/131524600 swapFree=131070704/131071996
[pid=1073555] ppid=1073548 vsize=19108176 memory=4824576 CPUtime=3529.83 cores=5,7
/proc/1073555/stat : 1073555 (java) S 1073548 1073555 1073488 0 -1 1077936128 316044 0 0 0 352779 204 0 0 20 0 20 0 201332304 19566772224 1206144 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
/proc/1073555/statm: 4777044 1206144 5941 1 0 1270442 0
[pid=1073555/tid=1073559] ppid=1073548 vsize=19108176 memory=4746752 CPUtime=3500.43 cores=5,7
/proc/1073555/task/1073559/stat : 1073559 (java) R 1073548 1073555 1073488 0 -1 4194368 130471 0 0 0 349957 86 0 0 20 0 20 0 201332305 19566772224 1206144 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073599] ppid=1073548 vsize=19108176 memory=4769280 CPUtime=0 cores=5,7
/proc/1073555/task/1073599/stat : 1073599 (Finalizer) S 1073548 1073555 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 1206144 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073618] ppid=1073548 vsize=19108176 memory=1816 CPUtime=0 cores=5,7
/proc/1073555/task/1073618/stat : 1073618 (Common-Cleaner) S 1073548 1073555 1073488 0 -1 1077936192 3912 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 1206144 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073637] ppid=1073548 vsize=19108176 memory=-7595142079119714146 CPUtime=0 cores=5,7
/proc/1073555/task/1073637/stat : 1073637 (Timer-0) S 1073548 1073555 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332353 19566772224 1206144 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
Current children cumulated CPU time: 3529.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4824576 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.16 4.10 7/330 1075470
/proc/meminfo: memFree=108459028/131524600 swapFree=131070704/131071996
[pid=1073555] ppid=1073548 vsize=19108176 memory=5009064 CPUtime=3590.02 cores=5,7
/proc/1073555/stat : 1073555 (java) S 1073548 1073555 1073488 0 -1 1077936128 321178 0 0 0 358792 210 0 0 20 0 20 0 201332304 19566772224 1252266 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
/proc/1073555/statm: 4777044 1252266 5941 1 0 1270462 0
[pid=1073555/tid=1073559] ppid=1073548 vsize=19108176 memory=5009056 CPUtime=3559.98 cores=5,7
/proc/1073555/task/1073559/stat : 1073559 (java) R 1073548 1073555 1073488 0 -1 4194368 131382 0 0 0 355909 89 0 0 20 0 20 0 201332305 19566772224 1252266 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073599] ppid=1073548 vsize=19108176 memory=11648 CPUtime=0 cores=5,7
/proc/1073555/task/1073599/stat : 1073599 (Finalizer) S 1073548 1073555 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 1252266 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073618] ppid=1073548 vsize=19108176 memory=39380 CPUtime=0 cores=5,7
/proc/1073555/task/1073618/stat : 1073618 (Common-Cleaner) S 1073548 1073555 1073488 0 -1 1077936192 3912 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 1252266 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073637] ppid=1073548 vsize=19108176 memory=-7595142079119714146 CPUtime=0 cores=5,7
/proc/1073555/task/1073637/stat : 1073637 (Timer-0) S 1073548 1073555 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332353 19566772224 1252266 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
Current children cumulated CPU time: 3590.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5009064 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3592.4 s]
/proc/loadavg: 4.11 4.16 4.10 7/330 1075472
/proc/meminfo: memFree=108458980/131524600 swapFree=131070704/131071996
[pid=1073555] ppid=1073548 vsize=19108176 memory=5009064 CPUtime=3600.04 cores=5,7
/proc/1073555/stat : 1073555 (java) S 1073548 1073555 1073488 0 -1 1077936128 321180 0 0 0 359794 210 0 0 20 0 20 0 201332304 19566772224 1252266 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
/proc/1073555/statm: 4777044 1252266 5941 1 0 1270462 0
[pid=1073555/tid=1073559] ppid=1073548 vsize=19108176 memory=-7595142079119714146 CPUtime=3569.99 cores=5,7
/proc/1073555/task/1073559/stat : 1073559 (java) R 1073548 1073555 1073488 0 -1 4194368 131384 0 0 0 356910 89 0 0 20 0 20 0 201332305 19566772224 1252266 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073599] ppid=1073548 vsize=19108176 memory=32224 CPUtime=0 cores=5,7
/proc/1073555/task/1073599/stat : 1073599 (Finalizer) S 1073548 1073555 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 1252266 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073618] ppid=1073548 vsize=19108176 memory=18984 CPUtime=0 cores=5,7
/proc/1073555/task/1073618/stat : 1073618 (Common-Cleaner) S 1073548 1073555 1073488 0 -1 1077936192 3912 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 1252266 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073637] ppid=1073548 vsize=19108176 memory=12952 CPUtime=0 cores=5,7
/proc/1073555/task/1073637/stat : 1073637 (Timer-0) S 1073548 1073555 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332353 19566772224 1252266 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5009064 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.1 s, system=2.12322 s

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

[startup+3592.51 s]
/proc/loadavg: 4.11 4.16 4.10 7/330 1075472
/proc/meminfo: memFree=108458980/131524600 swapFree=131070704/131071996
[pid=1073555] ppid=1073548 vsize=19307868 memory=5009912 CPUtime=3600.19 cores=5,7
/proc/1073555/stat : 1073555 (java) S 1073548 1073555 1073488 0 -1 1077936128 324077 0 0 0 359809 210 0 0 20 0 15 0 201332304 19771256832 1252478 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
/proc/1073555/statm: 4826967 1252478 5953 1 0 1271418 0
[pid=1073555/tid=1073559] ppid=1073548 vsize=19307868 memory=2280 CPUtime=3570.01 cores=5,7
/proc/1073555/task/1073559/stat : 1073559 (java) S 1073548 1073555 1073488 0 -1 1077936192 131468 0 0 0 356912 89 0 0 20 0 15 0 201332305 19771256832 1252478 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073599] ppid=1073548 vsize=19307868 memory=356851 CPUtime=0 cores=5,7
/proc/1073555/task/1073599/stat : 1073599 (Finalizer) S 1073548 1073555 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 15 0 201332307 19771256832 1252478 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
[pid=1073555/tid=1073618] ppid=1073548 vsize=19307868 memory=2816 CPUtime=0 cores=5,7
/proc/1073555/task/1073618/stat : 1073618 (Common-Cleaner) S 1073548 1073555 1073488 0 -1 1077936192 3912 0 0 0 0 0 0 0 20 0 15 0 201332307 19771256832 1252478 134679101440 94396114169856 94396114173552 140723547139056 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94396114181368 94396114182160 94396142919680 140723547141125 140723547141215 140723547141215 140723547148232 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 5009912 KiB

Child status: 143

Real time (s): 3592.53
CPU time (s): 3600.22
CPU user time (s): 3598.1
CPU system time (s): 2.12322
CPU usage (%): 100.214
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 5009912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.1
system time used= 2.12322
maximum resident set size= 5010716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 324127
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110453
involuntary context switches= 7174


# summary of solver processes directly reported to runsolver:
#   pid: 1073555
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3598.1
#   total CPU system time (s): 2.12322

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.09617 second user time and 16.3027 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2024-07-20 18:08:06
IDJOB=4453684
IDBENCH=175780
IDSOLVER=3058
FILE ID=nodeC023/4453684-1721491673
RUNJOBID= nodeC023-1721491686-1073501
SLURM_JOB_ID= 7545788
Free space on /tmp= 890080 MiB

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

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

MD5SUM BENCH= bf4b37d507499fefbc3983af658cb5f7
RANDOM SEED=443794095

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128119360 kB
MemAvailable:   129756964 kB
Buffers:          618180 kB
Cached:          1864040 kB
SwapCached:           80 kB
Active:          1291084 kB
Inactive:        1563240 kB
Active(anon):       1472 kB
Inactive(anon):   416360 kB
Active(file):    1289612 kB
Inactive(file):  1146880 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070704 kB
Dirty:              3448 kB
Writeback:             0 kB
AnonPages:        371860 kB
Mapped:           106404 kB
Shmem:             45728 kB
KReclaimable:      81868 kB
Slab:             174536 kB
SReclaimable:      81868 kB
SUnreclaim:        92668 kB
KernelStack:        3872 kB
PageTables:         9536 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     675340 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            33760 kB
HardwareCorrupted:     0 kB
AnonHugePages:    249856 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      316116 kB
DirectMap2M:    38254592 kB
DirectMap1G:    97517568 kB

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