Trace number 4453714

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.17 3597.72

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-2750.shuf-2.opb
MD5SUMb512d05250ba58a8183e09c02953f5b4
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.206383
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)1422
Number of constraints which are nor clauses,nor cardinality constraints9578
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.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
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.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4453714-1721491673.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  no objective function found
0.68/0.47	c ... done. Wall clock time 0.341s.
0.68/0.47	c declared #vars     11001
0.68/0.47	c #constraints  11000
0.68/0.47	c constraints type 
0.68/0.47	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 11000
0.68/0.47	c 11000 constraints processed.
1.65/0.92	c cleaning 2489 clauses out of 5001 with flag 21974/5001
2.45/1.34	c cleaning 4234 clauses out of 8511 with flag 51360/11000
2.86/1.51	c cleaning 5614 clauses out of 11277 with flag 86336/18000
3.04/1.68	c cleaning 6821 clauses out of 13663 with flag 123495/26000
3.45/1.84	c cleaning 7903 clauses out of 15842 with flag 170430/35000
3.80/2.03	c cleaning 8926 clauses out of 17939 with flag 219472/45000
4.10/2.30	c cleaning 9958 clauses out of 20013 with flag 279179/56000
4.20/2.49	c cleaning 10981 clauses out of 22055 with flag 337696/68000
4.50/2.71	c cleaning 11982 clauses out of 24076 with flag 405685/81002
4.81/3.05	c cleaning 12997 clauses out of 26093 with flag 482215/95001
5.10/3.30	c cleaning 14000 clauses out of 28095 with flag 554786/110000
5.30/3.58	c cleaning 14999 clauses out of 30095 with flag 636002/126000
5.62/3.88	c cleaning 16034 clauses out of 32096 with flag 714934/143000
6.15/4.33	c cleaning 17006 clauses out of 34062 with flag 805704/161000
6.64/4.83	c cleaning 18015 clauses out of 36058 with flag 912420/180002
7.04/5.20	c cleaning 19019 clauses out of 38041 with flag 1009958/200000
7.34/5.59	c cleaning 19985 clauses out of 40023 with flag 1113105/221001
7.74/5.94	c cleaning 21007 clauses out of 42038 with flag 1223436/243001
8.24/6.41	c cleaning 21967 clauses out of 44030 with flag 1341358/266000
8.64/6.83	c cleaning 23010 clauses out of 46063 with flag 1462512/290000
9.13/7.35	c cleaning 23986 clauses out of 48053 with flag 1604873/315000
9.73/7.90	c cleaning 24977 clauses out of 50067 with flag 1751917/341000
10.23/8.42	c cleaning 26047 clauses out of 52093 with flag 1895003/368003
10.73/8.91	c cleaning 26996 clauses out of 54043 with flag 2041221/396000
11.43/9.64	c cleaning 28005 clauses out of 56048 with flag 2202815/425001
11.93/10.18	c cleaning 29010 clauses out of 58042 with flag 2356631/455000
12.62/10.87	c cleaning 29990 clauses out of 60033 with flag 2523303/486001
13.32/11.56	c cleaning 30985 clauses out of 62042 with flag 2693448/518000
13.93/12.19	c cleaning 31984 clauses out of 64057 with flag 2859982/551000
14.72/12.96	c cleaning 33000 clauses out of 66073 with flag 3044896/585000
15.53/13.71	c cleaning 34005 clauses out of 68073 with flag 3229107/620000
16.22/14.47	c cleaning 35023 clauses out of 70068 with flag 3423172/656000
17.22/15.44	c cleaning 35998 clauses out of 72045 with flag 3623712/693000
18.12/16.35	c cleaning 37005 clauses out of 74047 with flag 3823469/731000
19.21/17.46	c cleaning 38010 clauses out of 76042 with flag 4036008/770000
20.41/18.63	c cleaning 38982 clauses out of 78033 with flag 4267471/810001
21.41/19.63	c cleaning 39971 clauses out of 80051 with flag 4500220/851001
22.60/20.81	c cleaning 41023 clauses out of 82079 with flag 4731872/893000
23.70/21.91	c cleaning 42010 clauses out of 84058 with flag 4954191/936002
24.60/22.89	c cleaning 43010 clauses out of 86047 with flag 5183469/980001
25.59/23.84	c cleaning 43999 clauses out of 88036 with flag 5415492/1025000
26.69/24.94	c cleaning 44997 clauses out of 90037 with flag 5665456/1071000
27.69/25.90	c cleaning 45987 clauses out of 92043 with flag 5915209/1118003
28.79/27.04	c cleaning 47011 clauses out of 94055 with flag 6189511/1166002
29.89/28.10	c cleaning 48013 clauses out of 96043 with flag 6444649/1215001
30.98/29.23	c cleaning 48987 clauses out of 98029 with flag 6699111/1265000
32.18/30.40	c cleaning 49980 clauses out of 100042 with flag 6965854/1316000
33.57/31.82	c cleaning 50987 clauses out of 102062 with flag 7236353/1368000
34.87/33.19	c cleaning 51958 clauses out of 104075 with flag 7522504/1421000
36.26/34.57	c cleaning 53005 clauses out of 106118 with flag 7815547/1475001
37.86/36.16	c cleaning 53997 clauses out of 108112 with flag 8109153/1530000
39.36/37.63	c cleaning 55020 clauses out of 110116 with flag 8426941/1586001
40.36/38.67	c cleaning 56034 clauses out of 112098 with flag 8717386/1643003
41.65/39.92	c cleaning 57016 clauses out of 114063 with flag 9028200/1701002
43.04/41.39	c cleaning 57997 clauses out of 116045 with flag 9347452/1760000
44.44/42.78	c cleaning 58981 clauses out of 118048 with flag 9675157/1820000
45.84/44.14	c cleaning 60001 clauses out of 120068 with flag 9999689/1881001
47.34/45.61	c cleaning 60991 clauses out of 122066 with flag 10334236/1943000
48.74/47.10	c cleaning 61995 clauses out of 124077 with flag 10663376/2006002
50.53/48.82	c cleaning 63027 clauses out of 126082 with flag 11005250/2070002
52.02/50.32	c cleaning 63982 clauses out of 128054 with flag 11356989/2135001
53.62/51.99	c cleaning 65008 clauses out of 130071 with flag 11717935/2201000
55.21/53.51	c cleaning 65991 clauses out of 132063 with flag 12082778/2268000
56.82/55.19	c cleaning 67005 clauses out of 134073 with flag 12440552/2336001
58.50/56.85	c cleaning 68011 clauses out of 136071 with flag 12803440/2405004
60.49/58.87	c cleaning 68992 clauses out of 138058 with flag 13193850/2475002
62.49/60.81	c cleaning 70002 clauses out of 140064 with flag 13573036/2546000
64.39/62.78	c cleaning 70990 clauses out of 142062 with flag 13969205/2618000
66.28/64.63	c cleaning 71998 clauses out of 144072 with flag 14356003/2691000
68.48/66.86	c cleaning 73023 clauses out of 146076 with flag 14772573/2765002
70.96/69.39	c cleaning 74005 clauses out of 148051 with flag 15203829/2840000
72.76/71.15	c cleaning 74988 clauses out of 150046 with flag 15606986/2916000
74.66/73.01	c cleaning 75974 clauses out of 152058 with flag 15997114/2993000
76.45/74.83	c cleaning 77035 clauses out of 154086 with flag 16407006/3071002
78.64/77.03	c cleaning 78001 clauses out of 156051 with flag 16854466/3150002
80.84/79.21	c cleaning 79002 clauses out of 158049 with flag 17289644/3230001
82.93/81.31	c cleaning 80000 clauses out of 160046 with flag 17714588/3311000
85.22/83.60	c cleaning 81003 clauses out of 162046 with flag 18155018/3393000
87.42/85.84	c cleaning 81993 clauses out of 164043 with flag 18611232/3476000
89.51/87.90	c cleaning 83004 clauses out of 166051 with flag 19063803/3560001
91.40/89.84	c cleaning 83984 clauses out of 168047 with flag 19526767/3645001
93.29/91.76	c cleaning 85026 clauses out of 170064 with flag 19983245/3731002
95.49/93.96	c cleaning 85996 clauses out of 172036 with flag 20437709/3818000
97.74/96.13	c cleaning 86974 clauses out of 174040 with flag 20911049/3906000
100.03/98.49	c cleaning 87964 clauses out of 176066 with flag 21388617/3995000
102.92/101.36	c cleaning 88985 clauses out of 178102 with flag 21874803/4085000
105.31/103.78	c cleaning 89998 clauses out of 180120 with flag 22370570/4176003
108.31/106.72	c cleaning 90985 clauses out of 182121 with flag 22893124/4268002
110.75/109.11	c cleaning 91980 clauses out of 184134 with flag 23374680/4361000
112.94/111.34	c cleaning 93060 clauses out of 186154 with flag 23859454/4455000
115.23/113.60	c cleaning 94029 clauses out of 188095 with flag 24357715/4550001
118.16/116.57	c cleaning 95023 clauses out of 190066 with flag 24877421/4646001
121.05/119.49	c cleaning 95971 clauses out of 192042 with flag 25379504/4743000
123.85/122.23	c cleaning 97013 clauses out of 194071 with flag 25892882/4841000
127.29/125.66	c cleaning 98012 clauses out of 196058 with flag 26445909/4940000
130.09/128.44	c cleaning 99004 clauses out of 198047 with flag 26986062/5040001
132.59/130.99	c cleaning 99971 clauses out of 200042 with flag 27508289/5141000
135.51/133.86	c cleaning 101005 clauses out of 202071 with flag 28055430/5243000
138.80/137.16	c cleaning 102021 clauses out of 204066 with flag 28614530/5346000
141.99/140.31	c cleaning 103006 clauses out of 206045 with flag 29184804/5450000
145.24/143.57	c cleaning 103975 clauses out of 208042 with flag 29753105/5555003
148.43/146.79	c cleaning 104949 clauses out of 210064 with flag 30328676/5661000
150.92/149.21	c cleaning 106036 clauses out of 212117 with flag 30882088/5768002
153.77/152.07	c cleaning 107009 clauses out of 214080 with flag 31441523/5876001
156.55/154.88	c cleaning 107984 clauses out of 216071 with flag 32015746/5985001
159.69/157.98	c cleaning 109001 clauses out of 218087 with flag 32592699/6095001
162.68/160.91	c cleaning 109996 clauses out of 220085 with flag 33196638/6206000
165.37/163.65	c cleaning 111028 clauses out of 222089 with flag 33783393/6318000
168.32/166.55	c cleaning 111999 clauses out of 224061 with flag 34376885/6431000
171.91/170.18	c cleaning 112980 clauses out of 226062 with flag 35024283/6545000
175.50/173.77	c cleaning 114006 clauses out of 228082 with flag 35650006/6660000
178.62/176.88	c cleaning 115025 clauses out of 230077 with flag 36262051/6776001
182.01/180.25	c cleaning 116013 clauses out of 232052 with flag 36902343/6893001
185.76/183.95	c cleaning 116996 clauses out of 234038 with flag 37533731/7011000
188.95/187.16	c cleaning 117973 clauses out of 236043 with flag 38138893/7130001
192.54/190.73	c cleaning 118984 clauses out of 238069 with flag 38785604/7250000
195.89/194.06	c cleaning 119988 clauses out of 240085 with flag 39440613/7371000
198.88/197.10	c cleaning 121029 clauses out of 242097 with flag 40094784/7493000
202.17/200.35	c cleaning 121989 clauses out of 244068 with flag 40752831/7616000
206.62/204.70	c cleaning 122946 clauses out of 246080 with flag 41448117/7740001
209.81/207.99	c cleaning 124031 clauses out of 248133 with flag 42097286/7865000
213.90/212.10	c cleaning 125017 clauses out of 250102 with flag 42765344/7991000
217.65/215.73	c cleaning 126002 clauses out of 252086 with flag 43435239/8118001
221.51/219.69	c cleaning 127013 clauses out of 254083 with flag 44153248/8246000
225.38/223.50	c cleaning 127990 clauses out of 256072 with flag 44837776/8375002
229.15/227.37	c cleaning 129003 clauses out of 258080 with flag 45544684/8505000
233.30/231.48	c cleaning 130027 clauses out of 260077 with flag 46259122/8636000
237.19/235.33	c cleaning 131003 clauses out of 262051 with flag 46971006/8768001
241.47/239.67	c cleaning 131983 clauses out of 264048 with flag 47717509/8901001
246.17/244.35	c cleaning 132934 clauses out of 266064 with flag 48460467/9035000
250.16/248.38	c cleaning 134025 clauses out of 268130 with flag 49155480/9170000
254.13/252.29	c cleaning 135031 clauses out of 270105 with flag 49892390/9306000
259.02/257.15	c cleaning 136009 clauses out of 272074 with flag 50688862/9443000
265.00/263.13	c cleaning 136995 clauses out of 274065 with flag 51510766/9581000
269.38/267.58	c cleaning 137998 clauses out of 276071 with flag 52282640/9720001
274.48/272.12	c cleaning 138999 clauses out of 278072 with flag 53070026/9860000
279.38/277.00	c cleaning 140023 clauses out of 280073 with flag 53867152/10001000
283.46/281.14	c cleaning 141010 clauses out of 282051 with flag 54637740/10143001
288.94/286.65	c cleaning 141995 clauses out of 284043 with flag 55453282/10286003
294.08/291.73	c cleaning 142965 clauses out of 286045 with flag 56263626/10430000
297.77/295.44	c cleaning 143972 clauses out of 288080 with flag 57038529/10575000
302.36/300.08	c cleaning 145038 clauses out of 290109 with flag 57842763/10721001
306.86/304.56	c cleaning 146008 clauses out of 292070 with flag 58652220/10868000
311.35/309.09	c cleaning 147026 clauses out of 294065 with flag 59484717/11016003
316.03/313.64	c cleaning 148001 clauses out of 296038 with flag 60294922/11165002
321.42/319.04	c cleaning 148988 clauses out of 298036 with flag 61123559/11315001
325.90/323.57	c cleaning 149959 clauses out of 300047 with flag 61949497/11466000
330.98/328.61	c cleaning 151030 clauses out of 302089 with flag 62786913/11618001
337.69/335.26	c cleaning 152011 clauses out of 304059 with flag 63662216/11771001
342.87/340.48	c cleaning 152998 clauses out of 306047 with flag 64529048/11925000
347.56/345.16	c cleaning 153992 clauses out of 308049 with flag 65374404/12080000
352.54/350.19	c cleaning 154969 clauses out of 310057 with flag 66231116/12236000
357.94/355.54	c cleaning 156003 clauses out of 312089 with flag 67094055/12393001
362.84/360.35	c cleaning 157015 clauses out of 314085 with flag 67958122/12551000
368.22/365.70	c cleaning 158000 clauses out of 316070 with flag 68845623/12710000
373.11/370.64	c cleaning 158948 clauses out of 318072 with flag 69722368/12870002
377.39/374.96	c cleaning 160005 clauses out of 320123 with flag 70591147/13031001
382.10/379.61	c cleaning 161041 clauses out of 322118 with flag 71473998/13193001
387.09/384.57	c cleaning 162017 clauses out of 324077 with flag 72362271/13356001
392.37/389.80	c cleaning 162992 clauses out of 326060 with flag 73259917/13520001
397.75/395.28	c cleaning 163985 clauses out of 328067 with flag 74174987/13685000
402.64/400.14	c cleaning 164998 clauses out of 330082 with flag 75098923/13851000
407.83/405.31	c cleaning 166008 clauses out of 332086 with flag 76060935/14018002
413.52/411.03	c cleaning 167008 clauses out of 334077 with flag 77014109/14186001
418.64/416.01	c cleaning 168005 clauses out of 336069 with flag 77921317/14355001
423.02/420.42	c cleaning 169018 clauses out of 338065 with flag 78824535/14525002
427.90/425.36	c cleaning 169929 clauses out of 340045 with flag 79732418/14696000
432.99/430.46	c cleaning 170981 clauses out of 342120 with flag 80657525/14868004
438.17/435.68	c cleaning 172028 clauses out of 344135 with flag 81605546/15041000
444.56/442.04	c cleaning 173009 clauses out of 346108 with flag 82585380/15215001
450.87/448.38	c cleaning 174016 clauses out of 348098 with flag 83612766/15390000
456.55/453.99	c cleaning 175022 clauses out of 350082 with flag 84573840/15566000
463.30/460.76	c cleaning 176015 clauses out of 352062 with flag 85576371/15743002
468.85/466.35	c cleaning 176997 clauses out of 354045 with flag 86554092/15921000
474.61/472.17	c cleaning 178002 clauses out of 356050 with flag 87535444/16100002
480.56/478.15	c cleaning 178988 clauses out of 358049 with flag 88549943/16280003
486.61/484.26	c cleaning 180016 clauses out of 360058 with flag 89525365/16461000
491.97/489.69	c cleaning 181004 clauses out of 362043 with flag 90509836/16643001
498.50/496.06	c cleaning 181972 clauses out of 364038 with flag 91523726/16826000
503.87/501.45	c cleaning 183032 clauses out of 366068 with flag 92512675/17010002
509.62/507.21	c cleaning 183988 clauses out of 368034 with flag 93526874/17195000
516.28/513.92	c cleaning 185016 clauses out of 370046 with flag 94562378/17381000
522.83/519.92	c cleaning 185995 clauses out of 372031 with flag 95636514/17568001
529.51/526.69	c cleaning 186999 clauses out of 374035 with flag 96706518/17756000
535.79/532.93	c cleaning 187957 clauses out of 376038 with flag 97757307/17945002
542.36/539.52	c cleaning 188999 clauses out of 378081 with flag 98826982/18135002
548.96/546.08	c cleaning 190022 clauses out of 380082 with flag 99880205/18326002
554.54/551.67	c cleaning 190992 clauses out of 382060 with flag 100918952/18518002
561.52/558.63	c cleaning 192014 clauses out of 384066 with flag 102012379/18711000
567.01/564.19	c cleaning 192997 clauses out of 386053 with flag 103060625/18905001
573.38/570.56	c cleaning 193967 clauses out of 388055 with flag 104113960/19100000
579.97/577.14	c cleaning 195024 clauses out of 390089 with flag 105201575/19296001
586.44/583.64	c cleaning 196000 clauses out of 392065 with flag 106267623/19493001
593.31/590.30	c cleaning 197001 clauses out of 394065 with flag 107353582/19691001
599.10/596.15	c cleaning 198005 clauses out of 396063 with flag 108405095/19890000
605.68/602.76	c cleaning 199011 clauses out of 398058 with flag 109516795/20090000
611.56/608.61	c cleaning 199990 clauses out of 400047 with flag 110609634/20291000
618.74/615.83	c cleaning 201014 clauses out of 402057 with flag 111728858/20493000
625.13/622.23	c cleaning 201962 clauses out of 404043 with flag 112814214/20696000
631.75/628.87	c cleaning 203011 clauses out of 406081 with flag 113935679/20900000
638.69/635.67	c cleaning 204010 clauses out of 408070 with flag 115073934/21105000
646.17/643.14	c cleaning 204998 clauses out of 410060 with flag 116222195/21311000
652.54/649.50	c cleaning 206005 clauses out of 412064 with flag 117357817/21518002
658.93/655.91	c cleaning 207009 clauses out of 414058 with flag 118475947/21726001
666.41/663.46	c cleaning 207994 clauses out of 416049 with flag 119639374/21935001
673.10/670.10	c cleaning 209000 clauses out of 418054 with flag 120785766/22145000
680.14/677.05	c cleaning 209996 clauses out of 420054 with flag 121960175/22356000
689.16/686.19	c cleaning 211021 clauses out of 422060 with flag 123163878/22568002
697.00/694.06	c cleaning 212000 clauses out of 424037 with flag 124358426/22781000
704.55/701.63	c cleaning 212983 clauses out of 426037 with flag 125566702/22995000
713.08/710.28	c cleaning 214000 clauses out of 428055 with flag 126776998/23210001
720.12/717.39	c cleaning 214977 clauses out of 430056 with flag 127945612/23426002
728.26/725.39	c cleaning 215999 clauses out of 432077 with flag 129132909/23643000
737.00/734.16	c cleaning 216977 clauses out of 434078 with flag 130345174/23861000
744.43/741.66	c cleaning 217977 clauses out of 436102 with flag 131543964/24080001
752.17/749.41	c cleaning 219017 clauses out of 438126 with flag 132747766/24300002
760.99/758.31	c cleaning 220012 clauses out of 440107 with flag 133973938/24521000
768.93/766.35	c cleaning 221032 clauses out of 442096 with flag 135223027/24743001
776.97/774.25	c cleaning 221999 clauses out of 444064 with flag 136437392/24966001
784.85/782.12	c cleaning 223015 clauses out of 446064 with flag 137643153/25190000
792.32/789.67	c cleaning 223997 clauses out of 448049 with flag 138913613/25415000
800.00/797.30	c cleaning 224982 clauses out of 450052 with flag 140181226/25641000
807.18/804.55	c cleaning 226026 clauses out of 452071 with flag 141422081/25868001
814.02/811.30	c cleaning 227006 clauses out of 454045 with flag 142648980/26096001
821.91/819.11	c cleaning 228006 clauses out of 456040 with flag 143890943/26325002
830.46/827.78	c cleaning 228969 clauses out of 458032 with flag 145134244/26555000
838.23/835.55	c cleaning 230011 clauses out of 460064 with flag 146396093/26786001
846.91/844.21	c cleaning 231010 clauses out of 462052 with flag 147672168/27018000
855.39/852.79	c cleaning 231949 clauses out of 464043 with flag 149000416/27251001
863.75/860.93	c cleaning 233013 clauses out of 466094 with flag 150291027/27485001
871.33/868.58	c cleaning 233990 clauses out of 468080 with flag 151591971/27720000
879.41/876.63	c cleaning 235012 clauses out of 470091 with flag 152863100/27956001
885.99/883.26	c cleaning 236017 clauses out of 472078 with flag 154159118/28193000
894.17/890.75	c cleaning 237027 clauses out of 474063 with flag 155456874/28431002
902.25/898.80	c cleaning 238003 clauses out of 476035 with flag 156776017/28670001
909.63/906.26	c cleaning 238996 clauses out of 478035 with flag 158061213/28910004
919.00/915.65	c cleaning 239942 clauses out of 480036 with flag 159388441/29151001
927.51/924.03	c cleaning 241023 clauses out of 482094 with flag 160717322/29393001
937.18/933.70	c cleaning 241999 clauses out of 484072 with flag 162084037/29636002
945.06/941.60	c cleaning 243023 clauses out of 486071 with flag 163389909/29880000
954.63/951.26	c cleaning 243957 clauses out of 488048 with flag 164749310/30125000
964.31/960.95	c cleaning 245023 clauses out of 490093 with flag 166095085/30371002
973.97/970.66	c cleaning 245999 clauses out of 492068 with flag 167445277/30618000
984.34/981.08	c cleaning 247007 clauses out of 494069 with flag 168840989/30866000
993.44/989.92	c cleaning 247947 clauses out of 496062 with flag 170200133/31115000
1002.51/999.03	c cleaning 249040 clauses out of 498115 with flag 171550528/31365000
1009.89/1006.48	c cleaning 250011 clauses out of 500077 with flag 172874093/31616002
1018.17/1014.72	c cleaning 251006 clauses out of 502065 with flag 174228944/31868001
1027.15/1023.78	c cleaning 252009 clauses out of 504058 with flag 175600849/32121000
1035.97/1032.59	c cleaning 253008 clauses out of 506050 with flag 176969374/32375001
1045.21/1041.62	c cleaning 253940 clauses out of 508041 with flag 178340884/32630000
1053.10/1049.55	c cleaning 255034 clauses out of 510103 with flag 179712766/32886002
1062.47/1058.93	c cleaning 255992 clauses out of 512067 with flag 181142202/33143000
1071.44/1067.92	c cleaning 257029 clauses out of 514076 with flag 182551073/33401001
1081.63/1078.15	c cleaning 257988 clauses out of 516046 with flag 183983005/33660000
1090.65/1087.15	c cleaning 259000 clauses out of 518058 with flag 185405237/33920000
1098.90/1095.23	c cleaning 260002 clauses out of 520058 with flag 186780295/34181000
1107.78/1104.19	c cleaning 260971 clauses out of 522057 with flag 188223350/34443001
1116.85/1113.26	c cleaning 262026 clauses out of 524086 with flag 189606239/34706001
1127.32/1123.74	c cleaning 263015 clauses out of 526059 with flag 191053382/34970000
1135.39/1131.82	c cleaning 264016 clauses out of 528045 with flag 192485486/35235001
1144.17/1140.40	c cleaning 264959 clauses out of 530028 with flag 193891373/35501000
1154.76/1151.09	c cleaning 265993 clauses out of 532069 with flag 195410969/35768000
1164.52/1160.83	c cleaning 267021 clauses out of 534076 with flag 196848451/36036000
1173.70/1170.06	c cleaning 268009 clauses out of 536056 with flag 198294347/36305001
1182.97/1179.30	c cleaning 269004 clauses out of 538047 with flag 199739463/36575001
1193.83/1190.06	c cleaning 270002 clauses out of 540044 with flag 201229731/36846002
1202.86/1199.20	c cleaning 270972 clauses out of 542040 with flag 202676125/37118000
1211.98/1208.33	c cleaning 272022 clauses out of 544071 with flag 204135334/37391003
1220.82/1217.27	c cleaning 273011 clauses out of 546048 with flag 205612785/37665002
1229.84/1226.37	c cleaning 274005 clauses out of 548035 with flag 207064899/37940000
1240.48/1236.82	c cleaning 274990 clauses out of 550031 with flag 208591591/38216001
1252.59/1249.09	c cleaning 275992 clauses out of 552040 with flag 210122594/38493000
1263.13/1259.69	c cleaning 276960 clauses out of 554048 with flag 211639704/38771000
1273.10/1269.69	c cleaning 278020 clauses out of 556089 with flag 213161290/39050001
1283.67/1280.24	c cleaning 278985 clauses out of 558068 with flag 214657969/39330000
1294.56/1290.96	c cleaning 280013 clauses out of 560083 with flag 216136351/39611000
1303.93/1300.38	c cleaning 281023 clauses out of 562071 with flag 217622373/39893001
1314.61/1311.06	c cleaning 281983 clauses out of 564049 with flag 219162175/40176002
1325.37/1321.86	c cleaning 283024 clauses out of 566064 with flag 220700037/40460000
1335.64/1332.12	c cleaning 283961 clauses out of 568040 with flag 222263165/40745000
1346.34/1342.86	c cleaning 285015 clauses out of 570079 with flag 223819678/41031000
1357.25/1353.61	c cleaning 286000 clauses out of 572064 with flag 225360236/41318000
1368.83/1365.22	c cleaning 286977 clauses out of 574064 with flag 226926761/41606000
1379.30/1375.74	c cleaning 288010 clauses out of 576088 with flag 228520577/41895001
1390.70/1387.14	c cleaning 288964 clauses out of 578078 with flag 230042744/42185001
1401.15/1396.80	c cleaning 289976 clauses out of 580113 with flag 231546899/42476000
1412.72/1408.49	c cleaning 291033 clauses out of 582137 with flag 233135752/42768000
1424.11/1419.94	c cleaning 292025 clauses out of 584104 with flag 234709899/43061000
1433.58/1429.49	c cleaning 293025 clauses out of 586079 with flag 236284333/43355000
1445.57/1441.30	c cleaning 294008 clauses out of 588054 with flag 237863790/43650000
1455.94/1451.70	c cleaning 294986 clauses out of 590046 with flag 239423322/43946000
1465.71/1461.59	c cleaning 296013 clauses out of 592060 with flag 241013761/44243000
1475.67/1471.51	c cleaning 296990 clauses out of 594051 with flag 242596311/44541004
1485.84/1481.76	c cleaning 297985 clauses out of 596058 with flag 244184044/44840001
1495.81/1491.76	c cleaning 298980 clauses out of 598074 with flag 245783640/45140002
1508.09/1503.83	c cleaning 300016 clauses out of 600094 with flag 247424990/45441002
1519.30/1515.10	c cleaning 300980 clauses out of 602076 with flag 249036477/45743000
1530.70/1526.65	c cleaning 302022 clauses out of 604097 with flag 250650840/46046001
1541.91/1537.91	c cleaning 302962 clauses out of 606074 with flag 252295215/46350000
1553.31/1549.42	c cleaning 304014 clauses out of 608113 with flag 253962212/46655001
1563.49/1559.68	c cleaning 305026 clauses out of 610098 with flag 255618417/46961000
1575.79/1571.83	c cleaning 306019 clauses out of 612072 with flag 257244693/47268000
1587.60/1583.73	c cleaning 306996 clauses out of 614056 with flag 258861342/47576003
1598.90/1595.11	c cleaning 308001 clauses out of 616059 with flag 260490456/47885002
1609.72/1606.07	c cleaning 308980 clauses out of 618057 with flag 262140188/48195001
1621.23/1617.67	c cleaning 310025 clauses out of 620077 with flag 263823310/48506001
1632.39/1628.87	c cleaning 311016 clauses out of 622052 with flag 265509985/48818001
1644.68/1641.06	c cleaning 311996 clauses out of 624035 with flag 267223977/49131000
1655.59/1652.04	c cleaning 313004 clauses out of 626040 with flag 268863239/49445001
1668.29/1664.80	c cleaning 313990 clauses out of 628036 with flag 270493983/49760001
1680.58/1677.29	c cleaning 314997 clauses out of 630046 with flag 272169203/50076001
1692.89/1689.67	c cleaning 316002 clauses out of 632050 with flag 273816229/50393002
1705.95/1702.58	c cleaning 316992 clauses out of 634046 with flag 275497907/50711000
1717.18/1713.86	c cleaning 317995 clauses out of 636055 with flag 277158854/51030001
1729.08/1725.84	c cleaning 318999 clauses out of 638061 with flag 278850345/51350002
1740.89/1737.77	c cleaning 320013 clauses out of 640060 with flag 280537148/51671000
1754.23/1751.14	c cleaning 320992 clauses out of 642047 with flag 282280990/51993000
1766.44/1763.27	c cleaning 322011 clauses out of 644057 with flag 283973012/52316002
1776.96/1773.82	c cleaning 322902 clauses out of 646045 with flag 285647253/52640001
1789.36/1786.38	c cleaning 324045 clauses out of 648142 with flag 287349262/52965000
1801.16/1798.20	c cleaning 325032 clauses out of 650100 with flag 289049241/53291003
1813.62/1810.71	c cleaning 326001 clauses out of 652065 with flag 290790704/53618000
1825.33/1822.34	c cleaning 327015 clauses out of 654064 with flag 292531186/53946000
1837.20/1834.23	c cleaning 327992 clauses out of 656049 with flag 294239489/54275000
1850.07/1847.14	c cleaning 328985 clauses out of 658057 with flag 295945117/54605000
1863.17/1860.26	c cleaning 330025 clauses out of 660073 with flag 297658614/54936001
1875.67/1872.66	c cleaning 330999 clauses out of 662048 with flag 299409595/55268001
1887.88/1884.96	c cleaning 331933 clauses out of 664048 with flag 301173282/55601000
1900.28/1897.46	c cleaning 333030 clauses out of 666116 with flag 302936070/55935001
1912.18/1909.44	c cleaning 334022 clauses out of 668086 with flag 304724454/56270001
1924.73/1922.09	c cleaning 335015 clauses out of 670063 with flag 306499180/56606000
1939.10/1936.36	c cleaning 335995 clauses out of 672048 with flag 308267271/56943000
1952.06/1949.33	c cleaning 337003 clauses out of 674055 with flag 310055989/57281002
1964.43/1961.76	c cleaning 338000 clauses out of 676051 with flag 311818944/57620001
1976.90/1974.21	c cleaning 338988 clauses out of 678051 with flag 313661771/57960001
1989.19/1986.59	c cleaning 340022 clauses out of 680063 with flag 315459565/58301001
2003.05/2000.38	c cleaning 340996 clauses out of 682040 with flag 317239194/58643000
2016.75/2014.17	c cleaning 341996 clauses out of 684045 with flag 319062321/58986001
2029.35/2026.80	c cleaning 342973 clauses out of 686048 with flag 320814706/59330000
2042.14/2039.72	c cleaning 344021 clauses out of 688075 with flag 322576329/59675000
2057.02/2054.77	c cleaning 345009 clauses out of 690054 with flag 324410227/60021000
2070.24/2067.83	c cleaning 345973 clauses out of 692045 with flag 326221334/60368000
2083.52/2081.27	c cleaning 347017 clauses out of 694073 with flag 328033749/60716001
2098.12/2095.99	c cleaning 347988 clauses out of 696055 with flag 329896522/61065000
2112.89/2110.81	c cleaning 349018 clauses out of 698070 with flag 331783490/61415003
2126.82/2124.83	c cleaning 350000 clauses out of 700049 with flag 333664638/61766000
2141.13/2139.02	c cleaning 350995 clauses out of 702052 with flag 335484333/62118003
2155.68/2153.65	c cleaning 351976 clauses out of 704054 with flag 337288271/62471000
2168.74/2166.76	c cleaning 353024 clauses out of 706078 with flag 339073047/62825000
2182.50/2180.52	c cleaning 354018 clauses out of 708054 with flag 340934484/63180000
2195.71/2193.72	c cleaning 354993 clauses out of 710037 with flag 342793811/63536001
2208.90/2206.85	c cleaning 356013 clauses out of 712043 with flag 344668474/63893000
2223.87/2221.82	c cleaning 356997 clauses out of 714031 with flag 346471800/64251001
2237.73/2235.73	c cleaning 357990 clauses out of 716034 with flag 348351605/64610001
2251.38/2249.44	c cleaning 358966 clauses out of 718044 with flag 350257901/64970001
2266.30/2263.45	c cleaning 360012 clauses out of 720077 with flag 352141491/65331000
2280.25/2277.42	c cleaning 361028 clauses out of 722065 with flag 354035479/65693000
2294.12/2291.35	c cleaning 361995 clauses out of 724040 with flag 355960054/66056003
2308.78/2306.08	c cleaning 362967 clauses out of 726043 with flag 357833391/66420001
2322.88/2320.05	c cleaning 364017 clauses out of 728076 with flag 359749818/66785001
2336.74/2333.93	c cleaning 365000 clauses out of 730058 with flag 361663182/67151000
2350.10/2347.36	c cleaning 365984 clauses out of 732059 with flag 363533106/67518001
2364.87/2362.17	c cleaning 367015 clauses out of 734074 with flag 365498706/67886000
2380.12/2377.44	c cleaning 368012 clauses out of 736060 with flag 367386292/68255001
2395.48/2392.84	c cleaning 369007 clauses out of 738047 with flag 369317398/68625000
2411.32/2408.41	c cleaning 369958 clauses out of 740042 with flag 371263235/68996002
2427.69/2424.97	c cleaning 370975 clauses out of 742082 with flag 373247918/69368000
2443.87/2441.24	c cleaning 372031 clauses out of 744108 with flag 375210804/69741001
2460.24/2457.78	c cleaning 372982 clauses out of 746076 with flag 377187086/70115000
2477.01/2474.52	c cleaning 374028 clauses out of 748094 with flag 379148836/70490000
2496.75/2494.24	c cleaning 375025 clauses out of 750067 with flag 381130998/70866001
2513.71/2511.36	c cleaning 375976 clauses out of 752042 with flag 383131473/71243001
2528.10/2525.87	c cleaning 377015 clauses out of 754065 with flag 385146803/71621000
2542.68/2540.44	c cleaning 378020 clauses out of 756052 with flag 387155824/72000002
2559.29/2556.94	c cleaning 378981 clauses out of 758030 with flag 389135756/72380000
2576.03/2573.79	c cleaning 380002 clauses out of 760050 with flag 391221998/72761001
2590.99/2588.73	c cleaning 380987 clauses out of 762049 with flag 393239629/73143002
2605.11/2602.86	c cleaning 382025 clauses out of 764062 with flag 395246571/73526002
2619.29/2616.83	c cleaning 382972 clauses out of 766036 with flag 397225793/73910001
2635.25/2632.83	c cleaning 383936 clauses out of 768063 with flag 399213209/74295000
2652.50/2650.18	c cleaning 385046 clauses out of 770127 with flag 401263362/74681000
2668.14/2665.76	c cleaning 386031 clauses out of 772081 with flag 403281262/75068000
2685.62/2683.19	c cleaning 386954 clauses out of 774050 with flag 405342686/75456000
2700.50/2698.15	c cleaning 388010 clauses out of 776099 with flag 407383123/75845003
2717.85/2715.60	c cleaning 389032 clauses out of 778087 with flag 409382627/76235001
2734.01/2731.87	c cleaning 389974 clauses out of 780055 with flag 411405253/76626001
2748.64/2746.47	c cleaning 391015 clauses out of 782081 with flag 413361308/77018001
2766.99/2764.84	c cleaning 392005 clauses out of 784066 with flag 415495218/77411001
2785.25/2783.13	c cleaning 393006 clauses out of 786062 with flag 417546645/77805002
2803.44/2801.18	c cleaning 394015 clauses out of 788056 with flag 419567333/78200002
2818.30/2816.00	c cleaning 394988 clauses out of 790040 with flag 421640199/78596001
2834.14/2831.92	c cleaning 396009 clauses out of 792051 with flag 423702556/78993000
2851.44/2849.06	c cleaning 396981 clauses out of 794042 with flag 425793326/79391000
2870.98/2868.68	c cleaning 397996 clauses out of 796061 with flag 427904836/79790000
2887.35/2885.04	c cleaning 399018 clauses out of 798065 with flag 430022890/80190000
2905.99/2903.75	c cleaning 399956 clauses out of 800049 with flag 432107548/80591002
2923.02/2920.66	c cleaning 401013 clauses out of 802092 with flag 434231664/80993001
2939.97/2937.65	c cleaning 401991 clauses out of 804079 with flag 436332458/81396001
2957.52/2955.26	c cleaning 403021 clauses out of 806089 with flag 438446290/81800002
2975.54/2973.12	c cleaning 403974 clauses out of 808066 with flag 440554809/82205000
2992.41/2990.14	c cleaning 405009 clauses out of 810092 with flag 442748922/82611000
3009.57/3007.46	c cleaning 406032 clauses out of 812086 with flag 444937180/83018003
3025.54/3023.54	c cleaning 407006 clauses out of 814051 with flag 447109749/83426000
3041.93/3039.87	c cleaning 408000 clauses out of 816046 with flag 449203727/83835001
3059.48/3057.40	c cleaning 409006 clauses out of 818045 with flag 451393983/84245000
3076.03/3074.07	c cleaning 409986 clauses out of 820042 with flag 453502849/84656003
3092.93/3090.94	c cleaning 410968 clauses out of 822053 with flag 455651143/85068000
3110.89/3108.80	c cleaning 412001 clauses out of 824085 with flag 457793436/85481000
3128.04/3126.05	c cleaning 413015 clauses out of 826084 with flag 459963726/85895000
3145.89/3143.92	c cleaning 414014 clauses out of 828069 with flag 462096688/86310000
3165.98/3164.08	c cleaning 414998 clauses out of 830055 with flag 464301834/86726000
3182.48/3180.43	c cleaning 416000 clauses out of 832057 with flag 466482886/87143000
3200.72/3198.77	c cleaning 417001 clauses out of 834057 with flag 468688629/87561000
3218.26/3216.33	c cleaning 417998 clauses out of 836056 with flag 470876046/87980000
3236.66/3233.52	c cleaning 418988 clauses out of 838060 with flag 473082270/88400002
3254.42/3251.46	c cleaning 420002 clauses out of 840070 with flag 475307423/88821000
3273.87/3271.06	c cleaning 421009 clauses out of 842068 with flag 477461330/89243000
3291.59/3288.73	c cleaning 422017 clauses out of 844059 with flag 479558314/89666000
3310.54/3307.83	c cleaning 423011 clauses out of 846045 with flag 481791192/90090003
3328.79/3326.20	c cleaning 423942 clauses out of 848031 with flag 484092130/90515000
3345.85/3343.42	c cleaning 425012 clauses out of 850089 with flag 486329619/90941000
3364.90/3362.58	c cleaning 426015 clauses out of 852077 with flag 488540151/91368000
3384.82/3382.31	c cleaning 427006 clauses out of 854064 with flag 490681060/91796002
3402.16/3399.75	c cleaning 427994 clauses out of 856057 with flag 492859307/92225001
3419.23/3416.82	c cleaning 428995 clauses out of 858063 with flag 495049711/92655001
3436.50/3434.05	c cleaning 430023 clauses out of 860069 with flag 497295965/93086002
3454.11/3451.60	c cleaning 430999 clauses out of 862044 with flag 499534216/93518000
3473.65/3471.35	c cleaning 431989 clauses out of 864045 with flag 501752960/93951000
3490.92/3488.62	c cleaning 432951 clauses out of 866059 with flag 503986666/94385003
3510.58/3508.28	c cleaning 434019 clauses out of 868105 with flag 506274578/94820000
3529.52/3527.25	c cleaning 435026 clauses out of 870086 with flag 508545829/95256000
3548.22/3545.95	c cleaning 436014 clauses out of 872060 with flag 510825811/95693000
3565.01/3562.59	c cleaning 437009 clauses out of 874047 with flag 513044604/96131001
3586.15/3583.78	c cleaning 437999 clauses out of 876038 with flag 515337360/96570001
3600.01/3597.61	c starts		: 43209
3600.01/3597.61	c conflicts		: 96873021
3600.01/3597.61	c decisions		: 189863731
3600.01/3597.61	c propagations		: 2048661734
3600.01/3597.61	c inspects		: 58210085666
3600.01/3597.61	c shortcuts		: 0
3600.01/3597.61	c learnt literals	: 0
3600.01/3597.61	c learnt binary clauses	: 0
3600.01/3597.61	c learnt ternary clauses	: 0
3600.01/3597.61	c learnt constraints	: 96873021
3600.01/3597.61	c ignored constraints	: 0
3600.01/3597.61	c root simplifications	: 0
3600.01/3597.61	c removed literals (reason simplification)	: 0
3600.01/3597.61	c reason swapping (by a shorter reason)	: 0
3600.01/3597.61	c Calls to reduceDB	: 435
3600.01/3597.61	c Number of update (reduction) of LBD	: 35063997
3600.01/3597.61	c Imported unit clauses	: 0
3600.01/3597.61	c No decision after first conflict	: false
3600.01/3597.61	c number of reductions to clauses (during analyze)	: 0
3600.01/3597.61	c number of learned constraints concerned by reduction	: 0
3600.01/3597.61	c number of learning phase by resolution	: 0
3600.01/3597.61	c number of learning phase by cutting planes	: 0
3600.01/3597.61	c number of rounding to 1 operations	: 0
3600.01/3597.61	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3597.61	c number of reductions of the coefficients by power 2 	: 0
3600.01/3597.61	c number of right shift for reduction by power 2 	: 0
3600.01/3597.61	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3597.61	c number of ending skipping 	: 0
3600.01/3597.61	c number of internal skipping 	: 0
3600.01/3597.61	c number of derivation steps 	: 0
3600.01/3597.61	c number of skipped derivation steps 	: 0
3600.01/3597.61	c number of remaining unassigned 	: 0
3600.01/3597.61	c number of remaining assigned 	: 0
3600.01/3597.61	c number of falsified literals weakened from reason	: 0
3600.01/3597.61	c number of falsified literals weakened from conflict	: 0
3600.01/3597.61	c time for arithmetic operations	: 0
3600.01/3597.63	c minimum degree of deleted constraints	: null
3600.01/3597.63	c maximum degree of deleted constraints	: null
3600.01/3597.63	c number of deleted constraints	: 0
3600.01/3597.63	c speed (assignments/second)	: 569525.1599882129
3600.01/3597.63	c non guided choices	: 62076143
3600.01/3597.64	c timeout
3600.01/3597.69	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 741059
3600.01/3597.69	s UNKNOWN
3600.01/3597.69	c Total wall clock time (in seconds): 3597.57

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=1073564, runsolver pid=1073561

[startup+0.101307 s]*
/proc/loadavg: 1.04 1.10 1.25 10/323 1073630
/proc/meminfo: memFree=127947572/131524600 swapFree=131070704/131071996
[pid=1073564] ppid=1073561 vsize=18975048 memory=65384 CPUtime=0.13 cores=0,2
/proc/1073564/stat : 1073564 (java) S 1073561 1073564 1073488 0 -1 1077936128 7214 0 0 0 11 2 0 0 20 0 18 0 201332305 19430449152 16346 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
/proc/1073564/statm: 4743762 16346 5686 1 0 549335 0
[pid=1073564/tid=1073575] ppid=1073561 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/1073564/task/1073575/stat : 1073575 (java) R 1073561 1073564 1073488 0 -1 1078198336 5733 0 0 0 6 2 0 0 20 0 18 0 201332305 19430449152 16346 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073623] ppid=1073561 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/1073564/task/1073623/stat : 1073623 (Finalizer) S 1073561 1073564 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 201332308 19430449152 16346 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073630] ppid=1073561 vsize=18975048 memory=13846374091011924 CPUtime=0 cores=0,2
/proc/1073564/task/1073630/stat : 1073630 (Common-Cleaner) S 1073561 1073564 1073488 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 201332309 19430449152 16346 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65384 KiB

[startup+0.211266 s]*
/proc/loadavg: 1.04 1.10 1.25 17/327 1073634
/proc/meminfo: memFree=127569108/131524600 swapFree=131070704/131071996
[pid=1073564] ppid=1073561 vsize=19041612 memory=157472 CPUtime=0.32 cores=0,2
/proc/1073564/stat : 1073564 (java) S 1073561 1073564 1073488 0 -1 1077936128 7732 0 0 0 28 4 0 0 20 0 19 0 201332305 19498610688 39368 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
/proc/1073564/statm: 4760403 39368 5854 1 0 549860 0
[pid=1073564/tid=1073575] ppid=1073561 vsize=19041612 memory=6876556183782621315 CPUtime=0.17 cores=0,2
/proc/1073564/task/1073575/stat : 1073575 (java) R 1073561 1073564 1073488 0 -1 4194368 5925 0 0 0 13 4 0 0 20 0 19 0 201332305 19498610688 39368 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073623] ppid=1073561 vsize=19041612 memory=1783847 CPUtime=0 cores=0,2
/proc/1073564/task/1073623/stat : 1073623 (Finalizer) S 1073561 1073564 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201332308 19498610688 39368 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073630] ppid=1073561 vsize=19041612 memory=15252649461155485 CPUtime=0 cores=0,2
/proc/1073564/task/1073630/stat : 1073630 (Common-Cleaner) R 1073561 1073564 1073488 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 201332309 19498610688 39368 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 157472 KiB

[startup+0.306124 s]*
/proc/loadavg: 1.04 1.10 1.25 11/327 1073634
/proc/meminfo: memFree=127176024/131524600 swapFree=131070704/131071996
[pid=1073564] ppid=1073561 vsize=19041612 memory=217040 CPUtime=0.49 cores=0,2
/proc/1073564/stat : 1073564 (java) S 1073561 1073564 1073488 0 -1 1077936128 9244 0 0 0 43 6 0 0 20 0 19 0 201332305 19498610688 54260 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
/proc/1073564/statm: 4760403 54260 5854 1 0 550836 0
[pid=1073564/tid=1073575] ppid=1073561 vsize=19041612 memory=-7595142079120172386 CPUtime=0.25 cores=0,2
/proc/1073564/task/1073575/stat : 1073575 (java) R 1073561 1073564 1073488 0 -1 4194368 5950 0 0 0 20 5 0 0 20 0 19 0 201332305 19498610688 54260 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073623] ppid=1073561 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1073564/task/1073623/stat : 1073623 (Finalizer) S 1073561 1073564 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201332308 19498610688 54260 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073630] ppid=1073561 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1073564/task/1073630/stat : 1073630 (Common-Cleaner) S 1073561 1073564 1073488 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 201332309 19498610688 54260 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 217040 KiB

[startup+0.704128 s]
/proc/loadavg: 1.04 1.10 1.25 16/331 1073638
/proc/meminfo: memFree=125918892/131524600 swapFree=131070704/131071996
[pid=1073564] ppid=1073561 vsize=19108176 memory=636112 CPUtime=1.26 cores=0,2
/proc/1073564/stat : 1073564 (java) S 1073561 1073564 1073488 0 -1 1077936128 12333 0 0 0 112 14 0 0 20 0 20 0 201332305 19566772224 159028 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
/proc/1073564/statm: 4777044 159028 5870 1 0 552915 0
[pid=1073564/tid=1073575] ppid=1073561 vsize=19108176 memory=5432 CPUtime=0.61 cores=0,2
/proc/1073564/task/1073575/stat : 1073575 (java) R 1073561 1073564 1073488 0 -1 4194368 6217 0 0 0 49 12 0 0 20 0 20 0 201332305 19566772224 159028 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073623] ppid=1073561 vsize=19108176 memory=12952 CPUtime=0 cores=0,2
/proc/1073564/task/1073623/stat : 1073623 (Finalizer) S 1073561 1073564 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332308 19566772224 159028 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073630] ppid=1073561 vsize=19108176 memory=279333935838160 CPUtime=0 cores=0,2
/proc/1073564/task/1073630/stat : 1073630 (Common-Cleaner) S 1073561 1073564 1073488 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 201332309 19566772224 159028 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073638] ppid=1073561 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1073564/task/1073638/stat : 1073638 (Timer-0) S 1073561 1073564 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332353 19566772224 159028 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 636112 KiB

[startup+1.50912 s]
/proc/loadavg: 1.04 1.10 1.25 10/331 1073638
/proc/meminfo: memFree=125873404/131524600 swapFree=131070704/131071996
[pid=1073564] ppid=1073561 vsize=19108176 memory=647464 CPUtime=2.86 cores=0,2
/proc/1073564/stat : 1073564 (java) S 1073561 1073564 1073488 0 -1 1077936128 16785 0 0 0 271 15 0 0 20 0 20 0 201332305 19566772224 161866 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
/proc/1073564/statm: 4777044 161866 5886 1 0 555595 0
[pid=1073564/tid=1073575] ppid=1073561 vsize=19108176 memory=12952 CPUtime=1.4 cores=0,2
/proc/1073564/task/1073575/stat : 1073575 (java) R 1073561 1073564 1073488 0 -1 4194368 6282 0 0 0 128 12 0 0 20 0 20 0 201332305 19566772224 161866 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073623] ppid=1073561 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1073564/task/1073623/stat : 1073623 (Finalizer) S 1073561 1073564 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332308 19566772224 161866 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073630] ppid=1073561 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1073564/task/1073630/stat : 1073630 (Common-Cleaner) S 1073561 1073564 1073488 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 201332309 19566772224 161866 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073638] ppid=1073561 vsize=19108176 memory=1783614 CPUtime=0 cores=0,2
/proc/1073564/task/1073638/stat : 1073638 (Timer-0) S 1073561 1073564 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332353 19566772224 161866 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 647464 KiB

[startup+3.10478 s]
/proc/loadavg: 1.04 1.10 1.25 5/331 1073638
/proc/meminfo: memFree=125862024/131524600 swapFree=131070704/131071996
[pid=1073564] ppid=1073561 vsize=19108176 memory=652172 CPUtime=4.91 cores=0,2
/proc/1073564/stat : 1073564 (java) S 1073561 1073564 1073488 0 -1 1077936128 16907 0 0 0 476 15 0 0 20 0 20 0 201332305 19566772224 163043 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
/proc/1073564/statm: 4777044 163043 5886 1 0 555620 0
[pid=1073564/tid=1073575] ppid=1073561 vsize=19108176 memory=0 CPUtime=2.98 cores=0,2
/proc/1073564/task/1073575/stat : 1073575 (java) R 1073561 1073564 1073488 0 -1 4194368 6284 0 0 0 286 12 0 0 20 0 20 0 201332305 19566772224 163043 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073623] ppid=1073561 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1073564/task/1073623/stat : 1073623 (Finalizer) S 1073561 1073564 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332308 19566772224 163043 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073630] ppid=1073561 vsize=19108176 memory=12952 CPUtime=0 cores=0,2
/proc/1073564/task/1073630/stat : 1073630 (Common-Cleaner) S 1073561 1073564 1073488 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 201332309 19566772224 163043 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073638] ppid=1073561 vsize=19108176 memory=11648 CPUtime=0 cores=0,2
/proc/1073564/task/1073638/stat : 1073638 (Timer-0) S 1073561 1073564 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332353 19566772224 163043 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
Current children cumulated CPU time: 4.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 652172 KiB

[startup+6.30014 s]
/proc/loadavg: 1.27 1.15 1.27 6/331 1073638
/proc/meminfo: memFree=125876852/131524600 swapFree=131070704/131071996
[pid=1073564] ppid=1073561 vsize=19108176 memory=648984 CPUtime=8.14 cores=0,2
/proc/1073564/stat : 1073564 (java) S 1073561 1073564 1073488 0 -1 1077936128 19723 0 0 0 799 15 0 0 20 0 20 0 201332305 19566772224 162246 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
/proc/1073564/statm: 4777044 162246 5915 1 0 555621 0
[pid=1073564/tid=1073575] ppid=1073561 vsize=19108176 memory=12952 CPUtime=6.17 cores=0,2
/proc/1073564/task/1073575/stat : 1073575 (java) R 1073561 1073564 1073488 0 -1 4194368 6897 0 0 0 605 12 0 0 20 0 20 0 201332305 19566772224 162246 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073623] ppid=1073561 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1073564/task/1073623/stat : 1073623 (Finalizer) S 1073561 1073564 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332308 19566772224 162246 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073630] ppid=1073561 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1073564/task/1073630/stat : 1073630 (Common-Cleaner) S 1073561 1073564 1073488 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 201332309 19566772224 162246 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073638] ppid=1073561 vsize=19108176 memory=2308 CPUtime=0 cores=0,2
/proc/1073564/task/1073638/stat : 1073638 (Timer-0) S 1073561 1073564 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332353 19566772224 162246 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
Current children cumulated CPU time: 8.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 648984 KiB

[startup+12.7002 s]
/proc/loadavg: 1.49 1.20 1.28 5/331 1073640
/proc/meminfo: memFree=125876728/131524600 swapFree=131070704/131071996
[pid=1073564] ppid=1073561 vsize=19108176 memory=648992 CPUtime=14.52 cores=0,2
/proc/1073564/stat : 1073564 (java) S 1073561 1073564 1073488 0 -1 1077936128 20570 0 0 0 1437 15 0 0 20 0 20 0 201332305 19566772224 162248 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
/proc/1073564/statm: 4777044 162248 5915 1 0 555621 0
[pid=1073564/tid=1073575] ppid=1073561 vsize=19108176 memory=0 CPUtime=12.56 cores=0,2
/proc/1073564/task/1073575/stat : 1073575 (java) R 1073561 1073564 1073488 0 -1 4194368 7590 0 0 0 1243 13 0 0 20 0 20 0 201332305 19566772224 162248 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073623] ppid=1073561 vsize=19108176 memory=648992 CPUtime=0 cores=0,2
/proc/1073564/task/1073623/stat : 1073623 (Finalizer) S 1073561 1073564 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332308 19566772224 162248 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073630] ppid=1073561 vsize=19108176 memory=2280 CPUtime=0 cores=0,2
/proc/1073564/task/1073630/stat : 1073630 (Common-Cleaner) S 1073561 1073564 1073488 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 201332309 19566772224 162248 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073638] ppid=1073561 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1073564/task/1073638/stat : 1073638 (Timer-0) S 1073561 1073564 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332353 19566772224 162248 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
Current children cumulated CPU time: 14.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 648992 KiB

[startup+25.5002 s]
/proc/loadavg: 2.21 1.37 1.34 5/331 1073641
/proc/meminfo: memFree=125700312/131524600 swapFree=131070704/131071996
[pid=1073564] ppid=1073561 vsize=19108176 memory=649004 CPUtime=27.29 cores=0,2
/proc/1073564/stat : 1073564 (java) S 1073561 1073564 1073488 0 -1 1077936128 22050 0 0 0 2713 16 0 0 20 0 20 0 201332305 19566772224 162251 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
/proc/1073564/statm: 4777044 162251 5915 1 0 555621 0
[pid=1073564/tid=1073575] ppid=1073561 vsize=19108176 memory=648992 CPUtime=25.32 cores=0,2
/proc/1073564/task/1073575/stat : 1073575 (java) R 1073561 1073564 1073488 0 -1 4194368 8850 0 0 0 2519 13 0 0 20 0 20 0 201332305 19566772224 162251 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073623] ppid=1073561 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1073564/task/1073623/stat : 1073623 (Finalizer) S 1073561 1073564 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332308 19566772224 162251 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073630] ppid=1073561 vsize=19108176 memory=649004 CPUtime=0 cores=0,2
/proc/1073564/task/1073630/stat : 1073630 (Common-Cleaner) S 1073561 1073564 1073488 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 201332309 19566772224 162251 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073638] ppid=1073561 vsize=19108176 memory=-7595142079120172386 CPUtime=0 cores=0,2
/proc/1073564/task/1073638/stat : 1073638 (Timer-0) S 1073561 1073564 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332353 19566772224 162251 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
Current children cumulated CPU time: 27.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 649004 KiB

[startup+51.105 s]
/proc/loadavg: 2.88 1.60 1.41 5/331 1073646
/proc/meminfo: memFree=124496312/131524600 swapFree=131070704/131071996
[pid=1073564] ppid=1073561 vsize=19108176 memory=829236 CPUtime=52.83 cores=0,2
/proc/1073564/stat : 1073564 (java) S 1073561 1073564 1073488 0 -1 1077936128 25006 0 0 0 5262 21 0 0 20 0 20 0 201332305 19566772224 207309 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
/proc/1073564/statm: 4777044 207309 5915 1 0 555621 0
[pid=1073564/tid=1073575] ppid=1073561 vsize=19108176 memory=-7595142079120172386 CPUtime=50.85 cores=0,2
/proc/1073564/task/1073575/stat : 1073575 (java) R 1073561 1073564 1073488 0 -1 4194368 11465 0 0 0 5068 17 0 0 20 0 20 0 201332305 19566772224 207309 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073623] ppid=1073561 vsize=19108176 memory=718644 CPUtime=0 cores=0,2
/proc/1073564/task/1073623/stat : 1073623 (Finalizer) S 1073561 1073564 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332308 19566772224 207309 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0

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

/proc/1073564/task/1073623/stat : 1073623 (Finalizer) S 1073561 1073564 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332308 19566772224 991266 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073630] ppid=1073561 vsize=19108176 memory=5432 CPUtime=0 cores=0,2
/proc/1073564/task/1073630/stat : 1073630 (Common-Cleaner) S 1073561 1073564 1073488 0 -1 1077936192 3400 0 0 0 0 0 0 0 20 0 20 0 201332309 19566772224 991266 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073638] ppid=1073561 vsize=19108176 memory=3965064 CPUtime=0 cores=0,2
/proc/1073564/task/1073638/stat : 1073638 (Timer-0) S 1073561 1073564 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332353 19566772224 991266 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
Current children cumulated CPU time: 3224.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3965064 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.15 4.09 5/333 1075417
/proc/meminfo: memFree=110002200/131524600 swapFree=131070704/131071996
[pid=1073564] ppid=1073561 vsize=19108176 memory=4353376 CPUtime=3285.24 cores=0,2
/proc/1073564/stat : 1073564 (java) S 1073561 1073564 1073488 0 -1 1077936128 306837 0 0 0 328345 179 0 0 20 0 20 0 201332305 19566772224 1088344 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
/proc/1073564/statm: 4777044 1088344 5915 1 0 1308905 0
[pid=1073564/tid=1073575] ppid=1073561 vsize=19108176 memory=4152320 CPUtime=3256.27 cores=0,2
/proc/1073564/task/1073575/stat : 1073575 (java) R 1073561 1073564 1073488 0 -1 4194368 123932 0 0 0 325548 79 0 0 20 0 20 0 201332305 19566772224 1088344 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073623] ppid=1073561 vsize=19108176 memory=4092928 CPUtime=0 cores=0,2
/proc/1073564/task/1073623/stat : 1073623 (Finalizer) S 1073561 1073564 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332308 19566772224 1088344 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073630] ppid=1073561 vsize=19108176 memory=7955171520226225514 CPUtime=0 cores=0,2
/proc/1073564/task/1073630/stat : 1073630 (Common-Cleaner) S 1073561 1073564 1073488 0 -1 1077936192 3501 0 0 0 0 0 0 0 20 0 20 0 201332309 19566772224 1088344 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073638] ppid=1073561 vsize=19108176 memory=2204 CPUtime=0 cores=0,2
/proc/1073564/task/1073638/stat : 1073638 (Timer-0) S 1073561 1073564 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332353 19566772224 1088344 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
Current children cumulated CPU time: 3285.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4353376 KiB

[startup+3342.3 s]
/proc/loadavg: 4.27 4.18 4.10 5/333 1075428
/proc/meminfo: memFree=109615820/131524600 swapFree=131070704/131071996
[pid=1073564] ppid=1073561 vsize=19108176 memory=4457912 CPUtime=3344.76 cores=0,2
/proc/1073564/stat : 1073564 (java) S 1073561 1073564 1073488 0 -1 1077936128 309226 0 0 0 334294 182 0 0 20 0 20 0 201332305 19566772224 1114478 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
/proc/1073564/statm: 4777044 1114478 5915 1 0 1308913 0
[pid=1073564/tid=1073575] ppid=1073561 vsize=19108176 memory=11648 CPUtime=3315.77 cores=0,2
/proc/1073564/task/1073575/stat : 1073575 (java) R 1073561 1073564 1073488 0 -1 4194368 126074 0 0 0 331495 82 0 0 20 0 20 0 201332305 19566772224 1114478 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073623] ppid=1073561 vsize=19108176 memory=4369832 CPUtime=0 cores=0,2
/proc/1073564/task/1073623/stat : 1073623 (Finalizer) S 1073561 1073564 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332308 19566772224 1114478 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073630] ppid=1073561 vsize=19108176 memory=4384168 CPUtime=0 cores=0,2
/proc/1073564/task/1073630/stat : 1073630 (Common-Cleaner) S 1073561 1073564 1073488 0 -1 1077936192 3598 0 0 0 0 0 0 0 20 0 20 0 201332309 19566772224 1114478 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073638] ppid=1073561 vsize=19108176 memory=4451768 CPUtime=0 cores=0,2
/proc/1073564/task/1073638/stat : 1073638 (Timer-0) S 1073561 1073564 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332353 19566772224 1114478 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
Current children cumulated CPU time: 3344.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4457912 KiB

[startup+3402.3 s]
/proc/loadavg: 4.26 4.19 4.11 5/332 1075439
/proc/meminfo: memFree=109112516/131524600 swapFree=131070704/131071996
[pid=1073564] ppid=1073561 vsize=19108176 memory=4798160 CPUtime=3404.76 cores=0,2
/proc/1073564/stat : 1073564 (java) S 1073561 1073564 1073488 0 -1 1077936128 319024 0 0 0 340285 191 0 0 20 0 20 0 201332305 19566772224 1199540 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
/proc/1073564/statm: 4777044 1199540 5915 1 0 1308944 0
[pid=1073564/tid=1073575] ppid=1073561 vsize=19108176 memory=4369832 CPUtime=3375.14 cores=0,2
/proc/1073564/task/1073575/stat : 1073575 (java) R 1073561 1073564 1073488 0 -1 4194368 128760 0 0 0 337427 87 0 0 20 0 20 0 201332305 19566772224 1199540 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073623] ppid=1073561 vsize=19108176 memory=4384168 CPUtime=0 cores=0,2
/proc/1073564/task/1073623/stat : 1073623 (Finalizer) S 1073561 1073564 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332308 19566772224 1199540 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073630] ppid=1073561 vsize=19108176 memory=4798160 CPUtime=0 cores=0,2
/proc/1073564/task/1073630/stat : 1073630 (Common-Cleaner) S 1073561 1073564 1073488 0 -1 1077936192 3649 0 0 0 0 0 0 0 20 0 20 0 201332309 19566772224 1199540 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073638] ppid=1073561 vsize=19108176 memory=48084 CPUtime=0 cores=0,2
/proc/1073564/task/1073638/stat : 1073638 (Timer-0) S 1073561 1073564 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332353 19566772224 1199540 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
Current children cumulated CPU time: 3404.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4798160 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.17 4.10 6/330 1075449
/proc/meminfo: memFree=108723488/131524600 swapFree=131070704/131071996
[pid=1073564] ppid=1073561 vsize=19108176 memory=4798624 CPUtime=3464.73 cores=0,2
/proc/1073564/stat : 1073564 (java) S 1073561 1073564 1073488 0 -1 1077936128 322360 0 0 0 346279 194 0 0 20 0 20 0 201332305 19566772224 1199656 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
/proc/1073564/statm: 4777044 1199656 5915 1 0 1309156 0
[pid=1073564/tid=1073575] ppid=1073561 vsize=19108176 memory=4369832 CPUtime=3434.68 cores=0,2
/proc/1073564/task/1073575/stat : 1073575 (java) R 1073561 1073564 1073488 0 -1 4194368 131120 0 0 0 343380 88 0 0 20 0 20 0 201332305 19566772224 1199656 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073623] ppid=1073561 vsize=19108176 memory=4384168 CPUtime=0 cores=0,2
/proc/1073564/task/1073623/stat : 1073623 (Finalizer) S 1073561 1073564 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332308 19566772224 1199656 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073630] ppid=1073561 vsize=19108176 memory=4798160 CPUtime=0 cores=0,2
/proc/1073564/task/1073630/stat : 1073630 (Common-Cleaner) S 1073561 1073564 1073488 0 -1 1077936192 3747 0 0 0 0 0 0 0 20 0 20 0 201332309 19566772224 1199656 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073638] ppid=1073561 vsize=19108176 memory=4798624 CPUtime=0 cores=0,2
/proc/1073564/task/1073638/stat : 1073638 (Timer-0) S 1073561 1073564 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332353 19566772224 1199656 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
Current children cumulated CPU time: 3464.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4798624 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.18 4.11 5/330 1075459
/proc/meminfo: memFree=108646492/131524600 swapFree=131070704/131071996
[pid=1073564] ppid=1073561 vsize=19108176 memory=4799080 CPUtime=3524.63 cores=0,2
/proc/1073564/stat : 1073564 (java) S 1073561 1073564 1073488 0 -1 1077936128 329212 0 0 0 352268 195 0 0 20 0 20 0 201332305 19566772224 1199770 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
/proc/1073564/statm: 4777044 1199770 5915 1 0 1309259 0
[pid=1073564/tid=1073575] ppid=1073561 vsize=19108176 memory=4798624 CPUtime=3494.14 cores=0,2
/proc/1073564/task/1073575/stat : 1073575 (java) R 1073561 1073564 1073488 0 -1 4194368 133608 0 0 0 349326 88 0 0 20 0 20 0 201332305 19566772224 1199770 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073623] ppid=1073561 vsize=19108176 memory=11648 CPUtime=0 cores=0,2
/proc/1073564/task/1073623/stat : 1073623 (Finalizer) S 1073561 1073564 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332308 19566772224 1199770 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073630] ppid=1073561 vsize=19108176 memory=12952 CPUtime=0 cores=0,2
/proc/1073564/task/1073630/stat : 1073630 (Common-Cleaner) S 1073561 1073564 1073488 0 -1 1077936192 3844 0 0 0 0 0 0 0 20 0 20 0 201332309 19566772224 1199770 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073638] ppid=1073561 vsize=19108176 memory=4799080 CPUtime=0 cores=0,2
/proc/1073564/task/1073638/stat : 1073638 (Timer-0) S 1073561 1073564 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332353 19566772224 1199770 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
Current children cumulated CPU time: 3524.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4799080 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.16 4.10 5/330 1075470
/proc/meminfo: memFree=108459028/131524600 swapFree=131070704/131071996
[pid=1073564] ppid=1073561 vsize=19108176 memory=4799180 CPUtime=3584.75 cores=0,2
/proc/1073564/stat : 1073564 (java) S 1073561 1073564 1073488 0 -1 1077936128 339703 0 0 0 358277 198 0 0 20 0 20 0 201332305 19566772224 1199795 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
/proc/1073564/statm: 4777044 1199795 5915 1 0 1309269 0
[pid=1073564/tid=1073575] ppid=1073561 vsize=19108176 memory=48084 CPUtime=3553.77 cores=0,2
/proc/1073564/task/1073575/stat : 1073575 (java) R 1073561 1073564 1073488 0 -1 4194368 136162 0 0 0 355289 88 0 0 20 0 20 0 201332305 19566772224 1199795 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073623] ppid=1073561 vsize=19108176 memory=39380 CPUtime=0 cores=0,2
/proc/1073564/task/1073623/stat : 1073623 (Finalizer) S 1073561 1073564 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332308 19566772224 1199795 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073630] ppid=1073561 vsize=19108176 memory=4799180 CPUtime=0 cores=0,2
/proc/1073564/task/1073630/stat : 1073630 (Common-Cleaner) S 1073561 1073564 1073488 0 -1 1077936192 3896 0 0 0 0 0 0 0 20 0 20 0 201332309 19566772224 1199795 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073638] ppid=1073561 vsize=19108176 memory=-9187040381901175487 CPUtime=0 cores=0,2
/proc/1073564/task/1073638/stat : 1073638 (Timer-0) S 1073561 1073564 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332353 19566772224 1199795 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
Current children cumulated CPU time: 3584.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4799180 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3597.6 s]
/proc/loadavg: 4.10 4.15 4.10 5/330 1075540
/proc/meminfo: memFree=113286868/131524600 swapFree=131070704/131071996
[pid=1073564] ppid=1073561 vsize=19108176 memory=4799180 CPUtime=3600.01 cores=0,2
/proc/1073564/stat : 1073564 (java) S 1073561 1073564 1073488 0 -1 1077936128 340002 0 0 0 359803 198 0 0 20 0 20 0 201332305 19566772224 1199795 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
/proc/1073564/statm: 4777044 1199795 5915 1 0 1309269 0
[pid=1073564/tid=1073575] ppid=1073561 vsize=19108176 memory=48084 CPUtime=3569.02 cores=0,2
/proc/1073564/task/1073575/stat : 1073575 (java) R 1073561 1073564 1073488 0 -1 4194368 136461 0 0 0 356814 88 0 0 20 0 20 0 201332305 19566772224 1199795 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073623] ppid=1073561 vsize=19108176 memory=15996 CPUtime=0 cores=0,2
/proc/1073564/task/1073623/stat : 1073623 (Finalizer) S 1073561 1073564 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332308 19566772224 1199795 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073630] ppid=1073561 vsize=19108176 memory=2280 CPUtime=0 cores=0,2
/proc/1073564/task/1073630/stat : 1073630 (Common-Cleaner) S 1073561 1073564 1073488 0 -1 1077936192 3896 0 0 0 0 0 0 0 20 0 20 0 201332309 19566772224 1199795 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
[pid=1073564/tid=1073638] ppid=1073561 vsize=19108176 memory=12952 CPUtime=0 cores=0,2
/proc/1073564/task/1073638/stat : 1073638 (Timer-0) S 1073561 1073564 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332353 19566772224 1199795 134679101440 93825288896512 93825288900208 140730723321152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93825288908024 93825288908816 93825289936896 140730723324933 140730723325023 140730723325023 140730723332040 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4799180 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.17 s, system=2.00466 s

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

[startup+3597.7 s]*
/proc/loadavg: 4.10 4.15 4.10 6/312 1075543
/proc/meminfo: memFree=114728748/131524600 swapFree=131070704/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3597.72
CPU time (s): 3600.17
CPU user time (s): 3598.17
CPU system time (s): 2.00466
CPU usage (%): 100.068
Max. virtual memory (cumulated for all children) (KiB): 19108960
Max. memory (cumulated for all children) (KiB): 4799180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.17
system time used= 2.00466
maximum resident set size= 4800956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 342949
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111036
involuntary context switches= 33268


# summary of solver processes directly reported to runsolver:
#   pid: 1073564
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3598.17
#   total CPU system time (s): 2.00466

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.11778 second user time and 13.853 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2024-07-20 18:08:06
IDJOB=4453714
IDBENCH=175800
IDSOLVER=3058
FILE ID=nodeC023/4453714-1721491673
RUNJOBID= nodeC023-1721491686-1073498
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-2.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453714-1721491673/watcher-4453714-1721491673 -o /tmp/evaluation-result-4453714-1721491673/solver-4453714-1721491673 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721491686-1073498 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4453714-1721491673.opb

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

MD5SUM BENCH= b512d05250ba58a8183e09c02953f5b4
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		: 3629.435
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		: 3556.080
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		: 3647.550
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		: 3565.642
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		: 3636.339
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		: 3444.057
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		: 3654.712
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		: 3571.793
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:        128116656 kB
MemAvailable:   129755232 kB
Buffers:          618180 kB
Cached:          1865012 kB
SwapCached:           80 kB
Active:          1291084 kB
Inactive:        1564860 kB
Active(anon):       1472 kB
Inactive(anon):   417008 kB
Active(file):    1289612 kB
Inactive(file):  1147852 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070704 kB
Dirty:              4420 kB
Writeback:             0 kB
AnonPages:        372832 kB
Mapped:           106404 kB
Shmem:             45728 kB
KReclaimable:      81868 kB
Slab:             174536 kB
SReclaimable:      81868 kB
SUnreclaim:        92668 kB
KernelStack:        3872 kB
PageTables:         9536 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     675340 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            33760 kB
HardwareCorrupted:     0 kB
AnonHugePages:    249856 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      316116 kB
DirectMap2M:    38254592 kB
DirectMap1G:    97517568 kB

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