Trace number 4458649

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07SAT (TO)166 3600.74 3564.67

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_080.opb
MD5SUM6f0521fdb0b18beb600868184781ec28
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark140
Best CPU time to get the best result obtained on this benchmark0.141667
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables560
Total number of constraints560
Number of constraints which are clauses560
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint4
Number of terms in the objective function 560
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 560
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 560
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.10	c See www.sat4j.org for details.
0.13/0.11	c version CUSTOM.v20240707
0.13/0.13	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.13	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.13	c java.vm.version	22.0.1+8-16
0.13/0.13	c java.vm.vendor	Oracle Corporation
0.13/0.13	c sun.arch.data.model	64
0.13/0.13	c java.version		22.0.1
0.13/0.13	c os.name		Linux
0.13/0.13	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.13	c os.arch		amd64
0.13/0.13	c Free memory 		2115194816
0.13/0.13	c Max memory 		16282288128
0.13/0.13	c Total memory 		2122317824
0.13/0.14	c Number of processors 	2
0.13/0.21	--- Begin Solver configuration ---
0.13/0.21	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.21	Learn all clauses as in MiniSAT
0.13/0.21	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.21	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.21	No reason simplification
0.13/0.21	Glucose 2.1 dynamic restart strategy
0.13/0.21	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.21	timeout=2147483s
0.13/0.21	DB Simplification allowed=false
0.13/0.21	Listener: none
0.13/0.21	--- End Solver configuration ---
0.13/0.21	c Pseudo Boolean Optimization by upper bound
0.13/0.21	c --- Begin Solver configuration ---
0.13/0.21	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.21	c Learn all clauses as in MiniSAT
0.13/0.21	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.21	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.21	c No reason simplification
0.13/0.21	c Glucose 2.1 dynamic restart strategy
0.13/0.21	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.21	c timeout=2147483s
0.13/0.21	c DB Simplification allowed=false
0.13/0.21	c Listener: none
0.13/0.21	c --- End Solver configuration ---
0.13/0.21	c solving HOME/instance-4458649-1721881282.opb
0.13/0.21	c reading problem ... 
0.13/0.21	c  objective function found
0.34/0.30	c ... done. Wall clock time 0.095s.
0.34/0.30	c declared #vars     560
0.34/0.30	c #constraints  560
0.34/0.30	c constraints type 
0.34/0.30	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 560
0.34/0.30	c 560 constraints processed.
0.34/0.33	c objective function length is 560 literals
0.52/0.34	c SATISFIABLE
0.52/0.35	c OPTIMIZING...
0.52/0.35	c Got one! Elapsed wall clock time (in seconds):0.143
0.52/0.35	o 168
1.82/1.09	c cleaning 2495 clauses out of 5000 with flag 11538/5000
2.39/1.35	c cleaning 4253 clauses out of 8506 with flag 24898/11001
2.80/1.62	c cleaning 5625 clauses out of 11252 with flag 40529/18000
3.11/1.86	c cleaning 6812 clauses out of 13628 with flag 58981/26001
3.41/2.11	c cleaning 7903 clauses out of 15815 with flag 79172/35000
3.79/2.45	c cleaning 8948 clauses out of 17912 with flag 101611/45000
4.19/2.74	c cleaning 9978 clauses out of 19964 with flag 126148/56000
4.49/3.06	c cleaning 10994 clauses out of 21989 with flag 152809/68003
4.88/3.42	c cleaning 11995 clauses out of 23993 with flag 181892/81001
5.51/4.08	c cleaning 12990 clauses out of 25997 with flag 214727/95000
6.01/4.53	c cleaning 13996 clauses out of 28007 with flag 249106/110000
6.74/5.23	c cleaning 15001 clauses out of 30012 with flag 285307/126001
7.31/5.76	c cleaning 16000 clauses out of 32011 with flag 323669/143001
8.16/6.51	c cleaning 17001 clauses out of 34011 with flag 366564/161001
9.72/8.09	c cleaning 17998 clauses out of 36010 with flag 414068/180001
11.00/9.30	c cleaning 19003 clauses out of 38011 with flag 464812/200000
12.32/10.69	c cleaning 19999 clauses out of 40009 with flag 518777/221001
13.62/12.00	c cleaning 20999 clauses out of 42009 with flag 572567/243000
14.74/13.07	c cleaning 22005 clauses out of 44012 with flag 626292/266002
16.09/14.39	c cleaning 23001 clauses out of 46007 with flag 683986/290002
17.68/15.97	c cleaning 23999 clauses out of 48004 with flag 750774/315000
19.60/17.80	c cleaning 25001 clauses out of 50005 with flag 820270/341000
21.46/19.64	c cleaning 26000 clauses out of 52004 with flag 888340/368000
23.16/21.33	c cleaning 26998 clauses out of 54004 with flag 960930/396000
24.87/23.07	c cleaning 27997 clauses out of 56006 with flag 1034628/425000
27.29/25.40	c cleaning 29000 clauses out of 58009 with flag 1113391/455000
28.79/27.00	c cleaning 30003 clauses out of 60009 with flag 1189455/486000
30.55/28.66	c cleaning 30999 clauses out of 62006 with flag 1265393/518000
31.66/29.79	c cleaning 31999 clauses out of 64009 with flag 1338427/551002
33.21/31.13	c cleaning 32999 clauses out of 66009 with flag 1413904/585001
34.79/32.61	c cleaning 34003 clauses out of 68011 with flag 1491506/620002
36.33/34.10	c cleaning 34997 clauses out of 70006 with flag 1571893/656000
37.81/35.56	c cleaning 36002 clauses out of 72009 with flag 1654130/693000
39.52/37.22	c cleaning 37003 clauses out of 74007 with flag 1738760/731000
41.39/39.08	c cleaning 37999 clauses out of 76004 with flag 1825690/770000
42.98/40.64	c cleaning 39003 clauses out of 78005 with flag 1914659/810000
44.99/42.56	c cleaning 39998 clauses out of 80003 with flag 2005676/851001
46.68/44.22	c cleaning 40997 clauses out of 82004 with flag 2099572/893000
48.73/46.22	c cleaning 42000 clauses out of 84007 with flag 2194917/936000
50.64/48.11	c cleaning 43001 clauses out of 86007 with flag 2292762/980000
52.73/50.14	c cleaning 44003 clauses out of 88007 with flag 2392580/1025001
54.62/52.05	c cleaning 44994 clauses out of 90004 with flag 2494730/1071001
56.92/54.25	c cleaning 46000 clauses out of 92009 with flag 2599022/1118000
58.92/56.27	c cleaning 46999 clauses out of 94010 with flag 2705687/1166001
61.39/58.61	c cleaning 48003 clauses out of 96011 with flag 2814408/1215001
63.91/61.05	c cleaning 49004 clauses out of 98008 with flag 2925796/1265001
64.80/61.92	c Got one! Elapsed wall clock time (in seconds):61.713
64.80/61.92	o 167
65.34/62.45	c cleaning 41557 clauses out of 83126 with flag 12181/1299123
65.74/62.82	c cleaning 23776 clauses out of 47568 with flag 25793/1305122
65.96/63.02	c cleaning 15391 clauses out of 30791 with flag 41408/1312121
66.30/63.22	c cleaning 11696 clauses out of 23401 with flag 59472/1320122
66.68/63.40	c cleaning 10344 clauses out of 20705 with flag 80069/1329122
67.02/63.64	c cleaning 10171 clauses out of 20360 with flag 102977/1339121
67.22/63.88	c cleaning 10588 clauses out of 21189 with flag 130655/1350121
67.53/64.19	c cleaning 11300 clauses out of 22601 with flag 160728/1362121
67.92/64.56	c cleaning 12148 clauses out of 24301 with flag 195645/1375121
68.22/64.88	c cleaning 13076 clauses out of 26154 with flag 227234/1389122
68.62/65.23	c cleaning 14037 clauses out of 28077 with flag 260752/1404121
69.02/65.63	c cleaning 15018 clauses out of 30040 with flag 296183/1420121
69.66/66.28	c cleaning 16009 clauses out of 32022 with flag 339350/1437121
70.25/66.84	c cleaning 17007 clauses out of 34014 with flag 385072/1455122
70.85/67.42	c cleaning 18003 clauses out of 36006 with flag 428189/1474121
71.35/68.01	c cleaning 18998 clauses out of 38003 with flag 473519/1494121
72.05/68.60	c cleaning 19997 clauses out of 40005 with flag 520610/1515121
72.75/69.35	c cleaning 21001 clauses out of 42008 with flag 570231/1537121
73.56/70.19	c cleaning 22001 clauses out of 44007 with flag 622629/1560121
74.25/70.88	c cleaning 22998 clauses out of 46007 with flag 675973/1584122
75.05/71.65	c cleaning 24004 clauses out of 48010 with flag 731557/1609123
75.85/72.47	c cleaning 24997 clauses out of 50004 with flag 789581/1635121
76.64/73.24	c cleaning 26002 clauses out of 52008 with flag 849777/1662122
77.46/74.09	c cleaning 26998 clauses out of 54005 with flag 912126/1690121
78.51/75.06	c cleaning 28003 clauses out of 56008 with flag 977085/1719122
79.40/75.95	c cleaning 29002 clauses out of 58005 with flag 1043832/1749122
80.39/76.99	c cleaning 30001 clauses out of 60004 with flag 1113291/1780123
81.50/78.09	c cleaning 30993 clauses out of 62001 with flag 1186425/1812121
82.69/79.25	c cleaning 32005 clauses out of 64010 with flag 1260029/1845123
83.88/80.45	c cleaning 32997 clauses out of 66003 with flag 1336274/1879121
85.18/81.80	c cleaning 33995 clauses out of 68006 with flag 1414890/1914121
86.38/82.97	c cleaning 35006 clauses out of 70011 with flag 1494635/1950121
87.59/84.12	c cleaning 36002 clauses out of 72005 with flag 1576710/1987121
88.87/85.48	c cleaning 37000 clauses out of 74004 with flag 1661114/2025122
90.28/86.88	c cleaning 38000 clauses out of 76003 with flag 1747665/2064121
91.68/88.27	c cleaning 39001 clauses out of 78005 with flag 1837207/2104123
93.27/89.84	c cleaning 40000 clauses out of 80002 with flag 1928500/2145121
94.97/91.60	c cleaning 40998 clauses out of 82003 with flag 2022163/2187122
96.77/93.30	c cleaning 41996 clauses out of 84004 with flag 2118199/2230121
98.58/95.12	c cleaning 42997 clauses out of 86009 with flag 2216513/2274122
100.26/96.80	c cleaning 44002 clauses out of 88012 with flag 2317025/2319122
102.37/98.90	c cleaning 44999 clauses out of 90009 with flag 2420003/2365121
104.55/101.00	c cleaning 46003 clauses out of 92010 with flag 2525009/2412121
106.66/103.05	c cleaning 46997 clauses out of 94007 with flag 2632305/2460121
108.66/105.08	c cleaning 48004 clauses out of 96013 with flag 2741854/2509124
111.03/107.22	c cleaning 49001 clauses out of 98006 with flag 2853246/2559121
113.44/109.63	c cleaning 49996 clauses out of 100005 with flag 2967076/2610121
116.18/112.12	c cleaning 51003 clauses out of 102009 with flag 3082839/2662121
118.36/114.39	c cleaning 52001 clauses out of 104006 with flag 3201304/2715121
122.77/117.95	c cleaning 53003 clauses out of 106007 with flag 3321845/2769123
125.47/120.67	c cleaning 53995 clauses out of 108002 with flag 3444566/2824121
128.14/123.26	c cleaning 55001 clauses out of 110008 with flag 3569172/2880122
130.95/126.08	c cleaning 55994 clauses out of 112006 with flag 3696501/2937121
133.92/128.90	c cleaning 57004 clauses out of 114012 with flag 3825711/2995121
136.52/131.54	c cleaning 57998 clauses out of 116008 with flag 3956816/3054121
139.74/134.65	c cleaning 59002 clauses out of 118010 with flag 4090150/3114121
142.54/137.44	c cleaning 60001 clauses out of 120008 with flag 4226104/3175121
145.83/140.68	c cleaning 61001 clauses out of 122008 with flag 4365145/3237122
148.83/143.68	c cleaning 62004 clauses out of 124008 with flag 4505846/3300123
152.05/146.81	c cleaning 62996 clauses out of 126002 with flag 4648348/3364121
155.15/149.99	c cleaning 64000 clauses out of 128006 with flag 4793777/3429121
158.45/153.29	c cleaning 65004 clauses out of 130008 with flag 4941068/3495123
163.18/157.93	c cleaning 65999 clauses out of 132003 with flag 5090980/3562122
167.24/161.81	c cleaning 66998 clauses out of 134003 with flag 5243236/3630121
170.55/165.14	c cleaning 68000 clauses out of 136007 with flag 5397430/3699123
174.53/169.03	c cleaning 69001 clauses out of 138006 with flag 5553150/3769122
178.12/172.64	c cleaning 70002 clauses out of 140005 with flag 5710530/3840122
182.33/176.76	c cleaning 70998 clauses out of 142003 with flag 5870704/3912122
186.23/180.69	c cleaning 71995 clauses out of 144004 with flag 6033375/3985121
190.05/184.35	c cleaning 72999 clauses out of 146011 with flag 6197849/4059123
193.94/188.29	c cleaning 74003 clauses out of 148010 with flag 6363773/4134121
198.62/192.77	c cleaning 74999 clauses out of 150008 with flag 6532225/4210122
203.11/197.28	c cleaning 76000 clauses out of 152009 with flag 6702500/4287122
207.79/201.79	c cleaning 77000 clauses out of 154008 with flag 6876389/4365121
213.68/207.63	c cleaning 77997 clauses out of 156008 with flag 7052868/4444121
219.14/212.91	c cleaning 79001 clauses out of 158012 with flag 7231233/4524122
225.32/217.94	c cleaning 80004 clauses out of 160011 with flag 7411569/4605122
230.21/222.81	c cleaning 80994 clauses out of 162006 with flag 7594698/4687121
235.08/227.65	c cleaning 82003 clauses out of 164012 with flag 7779889/4770121
240.27/232.71	c cleaning 82999 clauses out of 166009 with flag 7967174/4854121
245.12/237.46	c cleaning 84000 clauses out of 168010 with flag 8156834/4939121
245.91/238.23	c Got one! Elapsed wall clock time (in seconds):238.024
245.91/238.23	o 166
246.63/238.92	c cleaning 56519 clauses out of 113037 with flag 11198/4968148
247.13/239.44	c cleaning 31256 clauses out of 62518 with flag 24736/4974148
247.33/239.68	c cleaning 19130 clauses out of 38263 with flag 40145/4981149
247.53/239.86	c cleaning 13560 clauses out of 27132 with flag 57890/4989148
247.74/240.06	c cleaning 11282 clauses out of 22572 with flag 77906/4998148
247.93/240.26	c cleaning 10638 clauses out of 21291 with flag 100301/5008149
248.13/240.47	c cleaning 10824 clauses out of 21653 with flag 124837/5019149
248.43/240.71	c cleaning 11413 clauses out of 22829 with flag 151727/5031149
248.63/240.99	c cleaning 12206 clauses out of 24416 with flag 181837/5044149
249.03/241.30	c cleaning 13103 clauses out of 26211 with flag 213300/5058150
249.33/241.66	c cleaning 14054 clauses out of 28108 with flag 246700/5073150
249.75/242.07	c cleaning 15025 clauses out of 30052 with flag 282457/5089148
250.23/242.54	c cleaning 16008 clauses out of 32027 with flag 320759/5106148
250.74/243.04	c cleaning 17005 clauses out of 34019 with flag 360865/5124148
251.23/243.53	c cleaning 18004 clauses out of 36015 with flag 403833/5143149
251.74/244.03	c cleaning 19006 clauses out of 38011 with flag 448676/5163149
252.23/244.58	c cleaning 20000 clauses out of 40004 with flag 495838/5184148
252.93/245.22	c cleaning 20994 clauses out of 42004 with flag 544438/5206148
253.53/245.82	c cleaning 22005 clauses out of 44012 with flag 595620/5229150
254.31/246.61	c cleaning 22999 clauses out of 46005 with flag 649110/5253148
254.91/247.30	c cleaning 24000 clauses out of 48006 with flag 704867/5278148
255.72/248.05	c cleaning 25001 clauses out of 50006 with flag 763244/5304148
256.73/249.04	c cleaning 25995 clauses out of 52005 with flag 823811/5331148
257.62/250.00	c cleaning 27004 clauses out of 54011 with flag 886742/5359149
258.52/250.87	c cleaning 28000 clauses out of 56006 with flag 951480/5388148
259.63/251.94	c cleaning 29003 clauses out of 58007 with flag 1018786/5418149
260.53/252.84	c cleaning 29999 clauses out of 60003 with flag 1087823/5449148
261.43/253.79	c cleaning 30997 clauses out of 62005 with flag 1159250/5481149
262.55/254.88	c cleaning 32004 clauses out of 64008 with flag 1232474/5514149
263.65/255.93	c cleaning 32996 clauses out of 66003 with flag 1308330/5548148
264.65/257.01	c cleaning 33998 clauses out of 68007 with flag 1386882/5583148
265.95/258.27	c cleaning 35003 clauses out of 70009 with flag 1467512/5619148
267.35/259.67	c cleaning 36002 clauses out of 72006 with flag 1550197/5656148
268.76/261.04	c cleaning 37002 clauses out of 74005 with flag 1635290/5694149
270.25/262.58	c cleaning 37997 clauses out of 76002 with flag 1722497/5733148
271.87/264.13	c cleaning 38998 clauses out of 78005 with flag 1812199/5773148
273.36/265.64	c cleaning 40002 clauses out of 80008 with flag 1903894/5814149
275.21/267.46	c cleaning 41003 clauses out of 82006 with flag 1997852/5856149
276.82/269.11	c cleaning 41993 clauses out of 84004 with flag 2093640/5899150
278.50/270.71	c cleaning 43001 clauses out of 86010 with flag 2191995/5943149
280.37/272.58	c cleaning 44003 clauses out of 88010 with flag 2292204/5988150
282.17/274.37	c cleaning 44992 clauses out of 90006 with flag 2394912/6034149
284.17/276.31	c cleaning 46004 clauses out of 92014 with flag 2499726/6081149
285.88/278.07	c cleaning 47003 clauses out of 94011 with flag 2606864/6129150
288.09/280.27	c cleaning 48002 clauses out of 96008 with flag 2716348/6178150
290.19/282.30	c cleaning 49000 clauses out of 98004 with flag 2828125/6228148
292.39/284.52	c cleaning 50002 clauses out of 100004 with flag 2941887/6279148
294.71/286.83	c cleaning 50994 clauses out of 102002 with flag 3058458/6331148
296.81/288.94	c cleaning 51996 clauses out of 104008 with flag 3176757/6384148
299.36/291.46	c cleaning 53003 clauses out of 106012 with flag 3298143/6438148
301.57/293.69	c cleaning 54001 clauses out of 108009 with flag 3421075/6493148
304.14/296.12	c cleaning 54998 clauses out of 110009 with flag 3546054/6549149
306.62/298.61	c cleaning 55998 clauses out of 112010 with flag 3673292/6606148
309.03/301.11	c cleaning 57001 clauses out of 114013 with flag 3802975/6664149
311.77/303.78	c cleaning 58003 clauses out of 116014 with flag 3934390/6723151
314.08/306.10	c cleaning 59003 clauses out of 118008 with flag 4067909/6783148
316.66/308.65	c cleaning 59995 clauses out of 120006 with flag 4204309/6844149
319.46/311.46	c cleaning 61004 clauses out of 122012 with flag 4342360/6906150
322.61/314.58	c cleaning 62004 clauses out of 124008 with flag 4482858/6969150
326.01/317.96	c cleaning 62994 clauses out of 126002 with flag 4626124/7033148
329.43/321.27	c cleaning 64003 clauses out of 128010 with flag 4770498/7098150
332.42/324.28	c cleaning 65001 clauses out of 130006 with flag 4917674/7164149
335.75/327.44	c cleaning 66000 clauses out of 132005 with flag 5067702/7231149
339.14/330.85	c cleaning 66996 clauses out of 134004 with flag 5219486/7299148
342.84/334.47	c cleaning 68003 clauses out of 136008 with flag 5373755/7368148
346.33/337.98	c cleaning 69002 clauses out of 138008 with flag 5530051/7438151
349.83/341.42	c cleaning 69997 clauses out of 140003 with flag 5688656/7509148
353.56/345.13	c cleaning 70996 clauses out of 142006 with flag 5848785/7581148
357.34/348.94	c cleaning 72001 clauses out of 144010 with flag 6012030/7654148
360.95/352.54	c cleaning 73004 clauses out of 146010 with flag 6177259/7728149
365.18/356.65	c cleaning 73996 clauses out of 148005 with flag 6344940/7803148
368.87/360.36	c cleaning 75002 clauses out of 150011 with flag 6514663/7879150
373.26/364.67	c cleaning 76000 clauses out of 152007 with flag 6686179/7956148
376.96/368.38	c cleaning 76999 clauses out of 154007 with flag 6859260/8034148
381.25/372.60	c cleaning 78000 clauses out of 156008 with flag 7034960/8113148
386.31/376.92	c cleaning 79002 clauses out of 158008 with flag 7213962/8193148
390.30/380.91	c cleaning 79998 clauses out of 160006 with flag 7394688/8274148
394.70/385.35	c cleaning 80998 clauses out of 162008 with flag 7577615/8356148
399.34/389.98	c cleaning 82003 clauses out of 164010 with flag 7763026/8439148
403.97/394.59	c cleaning 82996 clauses out of 166008 with flag 7950269/8523149
408.58/399.14	c cleaning 84001 clauses out of 168012 with flag 8140285/8608149
414.06/404.63	c cleaning 84999 clauses out of 170010 with flag 8332377/8694148
419.66/410.15	c cleaning 86004 clauses out of 172012 with flag 8526654/8781149
424.73/415.19	c cleaning 86992 clauses out of 174008 with flag 8723134/8869149
430.27/420.62	c cleaning 88003 clauses out of 176016 with flag 8921315/8958149
435.43/425.77	c cleaning 88995 clauses out of 178012 with flag 9121362/9048148
441.22/431.46	c cleaning 90008 clauses out of 180017 with flag 9323964/9139148
447.16/437.26	c cleaning 91003 clauses out of 182009 with flag 9529183/9231148
452.87/442.82	c cleaning 92000 clauses out of 184007 with flag 9736227/9324149
459.27/449.16	c cleaning 92998 clauses out of 186006 with flag 9945988/9418148
465.16/455.01	c cleaning 93998 clauses out of 188008 with flag 10157997/9513148
470.74/460.51	c cleaning 95002 clauses out of 190010 with flag 10372194/9609148
476.84/466.58	c cleaning 96001 clauses out of 192009 with flag 10588099/9706149
483.04/472.74	c cleaning 97001 clauses out of 194008 with flag 10806318/9804149
489.78/479.31	c cleaning 97995 clauses out of 196006 with flag 11027130/9903148
495.67/485.21	c cleaning 99000 clauses out of 198011 with flag 11249351/10003148
501.84/491.19	c cleaning 100003 clauses out of 200012 with flag 11475431/10104149
508.87/498.05	c cleaning 100997 clauses out of 202008 with flag 11702539/10206148
514.69/503.72	c cleaning 102003 clauses out of 204011 with flag 11931931/10309148
520.89/509.97	c cleaning 103004 clauses out of 206009 with flag 12162756/10413149
526.69/515.70	c cleaning 103998 clauses out of 208005 with flag 12396319/10518149
532.49/521.56	c cleaning 104996 clauses out of 210007 with flag 12633425/10624149
540.32/529.38	c cleaning 105999 clauses out of 212010 with flag 12872008/10731148
547.32/536.36	c cleaning 107005 clauses out of 214012 with flag 13112350/10839149
555.11/543.92	c cleaning 107998 clauses out of 216006 with flag 13356463/10948148
563.44/552.15	c cleaning 108999 clauses out of 218010 with flag 13602002/11058150
572.11/560.77	c cleaning 109997 clauses out of 220009 with flag 13851689/11169148
580.66/569.29	c cleaning 110997 clauses out of 222013 with flag 14109046/11281149
588.19/576.79	c cleaning 112003 clauses out of 224016 with flag 14361720/11394149
597.02/585.62	c cleaning 112997 clauses out of 226012 with flag 14618614/11508148
605.24/593.94	c cleaning 114004 clauses out of 228015 with flag 14877900/11623148
612.73/601.44	c cleaning 115003 clauses out of 230011 with flag 15137676/11739148
620.37/609.18	c cleaning 116001 clauses out of 232009 with flag 15399448/11856149
628.29/617.07	c cleaning 117002 clauses out of 234007 with flag 15662934/11974148
637.11/625.90	c cleaning 117997 clauses out of 236005 with flag 15929981/12093148
646.23/635.16	c cleaning 118997 clauses out of 238008 with flag 16198087/12213148
654.76/643.73	c cleaning 120003 clauses out of 240012 with flag 16476170/12334149
663.68/652.75	c cleaning 121001 clauses out of 242009 with flag 16749007/12456149
673.00/662.12	c cleaning 121995 clauses out of 244008 with flag 17023544/12579149
682.45/670.57	c cleaning 123000 clauses out of 246013 with flag 17301373/12703149
691.44/679.55	c cleaning 124002 clauses out of 248012 with flag 17581125/12828148
699.83/687.93	c cleaning 124998 clauses out of 250010 with flag 17862439/12954148
708.00/696.14	c cleaning 125997 clauses out of 252012 with flag 18146330/13081148
716.78/704.91	c cleaning 127007 clauses out of 254016 with flag 18431279/13209149
725.27/713.40	c cleaning 128002 clauses out of 256008 with flag 18719592/13338148
733.65/721.81	c cleaning 129001 clauses out of 258007 with flag 19010192/13468149
742.95/731.11	c cleaning 129995 clauses out of 260005 with flag 19302528/13599148
753.94/741.56	c cleaning 130998 clauses out of 262010 with flag 19597467/13731148
762.79/750.24	c cleaning 132002 clauses out of 264012 with flag 19894394/13864148
772.19/759.55	c cleaning 132998 clauses out of 266010 with flag 20192944/13998148
783.42/770.71	c cleaning 134003 clauses out of 268012 with flag 20494688/14133148
792.51/779.84	c cleaning 135001 clauses out of 270009 with flag 20797031/14269148
803.50/790.71	c cleaning 135997 clauses out of 272008 with flag 21102857/14406148
814.83/801.95	c cleaning 137002 clauses out of 274012 with flag 21410546/14544149
824.51/811.69	c cleaning 137997 clauses out of 276010 with flag 21720443/14683149
833.87/820.92	c cleaning 138995 clauses out of 278012 with flag 22031995/14823148
844.47/831.54	c cleaning 140005 clauses out of 280017 with flag 22345429/14964148
854.95/841.81	c cleaning 141000 clauses out of 282013 with flag 22663308/15106149
866.19/852.97	c cleaning 142006 clauses out of 284013 with flag 22982740/15249149
879.10/865.64	c cleaning 142998 clauses out of 286006 with flag 23305087/15393148
892.27/878.69	c cleaning 143998 clauses out of 288009 with flag 23628603/15538149
904.10/890.39	c cleaning 145000 clauses out of 290012 with flag 23953875/15684150
916.09/902.23	c cleaning 145999 clauses out of 292010 with flag 24281446/15831148
929.81/915.73	c cleaning 147004 clauses out of 294013 with flag 24611536/15979150
944.39/930.19	c cleaning 147993 clauses out of 296007 with flag 24949539/16128148
958.09/943.73	c cleaning 149004 clauses out of 298015 with flag 25295432/16278149
971.74/957.39	c cleaning 150001 clauses out of 300011 with flag 25642513/16429149
986.28/971.71	c cleaning 150998 clauses out of 302009 with flag 26003791/16581148
999.34/984.69	c cleaning 152001 clauses out of 304011 with flag 26346395/16734148
1012.61/997.56	c cleaning 152995 clauses out of 306010 with flag 26693742/16888148
1028.61/1012.53	c cleaning 154003 clauses out of 308015 with flag 27049568/17043148
1041.42/1025.28	c cleaning 155004 clauses out of 310013 with flag 27417082/17199149
1058.68/1042.28	c cleaning 155997 clauses out of 312008 with flag 27783313/17356148
1073.02/1056.47	c cleaning 157002 clauses out of 314011 with flag 28146739/17514148
1088.10/1071.42	c cleaning 158001 clauses out of 316009 with flag 28508578/17673148
1111.11/1094.19	c cleaning 158997 clauses out of 318008 with flag 28912534/17833148
1129.33/1112.20	c cleaning 159997 clauses out of 320011 with flag 29309410/17994148
1149.01/1131.86	c cleaning 160997 clauses out of 322014 with flag 29690675/18156148
1172.01/1154.85	c cleaning 162005 clauses out of 324017 with flag 30090159/18319148
1188.82/1171.27	c cleaning 163005 clauses out of 326013 with flag 30490686/18483149
1211.04/1193.38	c cleaning 163997 clauses out of 328007 with flag 30882071/18648148
1230.71/1212.92	c cleaning 165002 clauses out of 330011 with flag 31278649/18814149
1253.54/1235.56	c cleaning 165997 clauses out of 332008 with flag 31678369/18981148
1273.87/1255.73	c cleaning 167004 clauses out of 334011 with flag 32073064/19149148
1294.82/1276.47	c cleaning 167995 clauses out of 336007 with flag 32473890/19318148
1320.85/1302.30	c cleaning 169000 clauses out of 338012 with flag 32890542/19488148
1343.31/1324.76	c cleaning 170004 clauses out of 340012 with flag 33311278/19659148
1368.20/1349.65	c cleaning 170995 clauses out of 342008 with flag 33741720/19831148
1389.23/1370.68	c cleaning 171999 clauses out of 344014 with flag 34160918/20004149
1417.00/1398.29	c cleaning 172997 clauses out of 346015 with flag 34592950/20178149
1441.73/1422.94	c cleaning 174006 clauses out of 348017 with flag 35029375/20353148
1457.57/1438.70	c cleaning 174999 clauses out of 350013 with flag 35448387/20529150
1486.00/1467.06	c cleaning 176004 clauses out of 352013 with flag 35875322/20706149
1512.41/1493.17	c cleaning 177001 clauses out of 354009 with flag 36310827/20884149
1539.70/1519.55	c cleaning 178001 clauses out of 356007 with flag 36755549/21063148
1571.59/1551.41	c cleaning 178994 clauses out of 358006 with flag 37224277/21243148
1603.95/1583.70	c cleaning 180003 clauses out of 360014 with flag 37699106/21424150
1626.80/1606.46	c cleaning 180995 clauses out of 362010 with flag 38135823/21606149
1651.02/1630.59	c cleaning 182003 clauses out of 364014 with flag 38584000/21789148
1674.04/1653.42	c cleaning 183003 clauses out of 366011 with flag 39038576/21973148
1692.05/1671.27	c cleaning 184003 clauses out of 368008 with flag 39466934/22158148
1722.91/1702.10	c cleaning 184994 clauses out of 370006 with flag 39938401/22344149
1742.85/1721.90	c cleaning 186000 clauses out of 372011 with flag 40369894/22531148
1783.54/1762.69	c cleaning 187005 clauses out of 374011 with flag 40846053/22719148
1818.43/1797.22	c cleaning 188001 clauses out of 376007 with flag 41337067/22908149
1848.98/1827.55	c cleaning 188998 clauses out of 378005 with flag 41810306/23098148
1876.05/1854.48	c cleaning 189999 clauses out of 380007 with flag 42303684/23289148
1912.41/1890.75	c cleaning 190999 clauses out of 382010 with flag 42808531/23481150
1939.16/1917.23	c cleaning 191997 clauses out of 384011 with flag 43280350/23674150
1967.62/1945.54	c cleaning 193000 clauses out of 386012 with flag 43768295/23868148
1989.59/1967.35	c cleaning 194000 clauses out of 388012 with flag 44240236/24063148
2026.63/2004.15	c cleaning 194997 clauses out of 390012 with flag 44739483/24259148
2048.50/2025.82	c cleaning 196001 clauses out of 392015 with flag 45201512/24456148
2071.59/2048.86	c cleaning 197002 clauses out of 394014 with flag 45672650/24654148
2091.30/2068.15	c cleaning 198005 clauses out of 396013 with flag 46131434/24853149
2109.24/2085.90	c cleaning 198996 clauses out of 398007 with flag 46590715/25053148
2130.01/2106.65	c cleaning 199999 clauses out of 400011 with flag 47069497/25254148
2150.37/2126.77	c cleaning 201002 clauses out of 402012 with flag 47532325/25456148
2169.33/2145.59	c cleaning 201995 clauses out of 404011 with flag 48002568/25659149
2191.77/2167.62	c cleaning 203008 clauses out of 406017 with flag 48492834/25863150
2221.36/2195.88	c cleaning 204002 clauses out of 408008 with flag 48978169/26068149
2252.95/2227.25	c cleaning 204999 clauses out of 410006 with flag 49478251/26274149
2284.31/2258.41	c cleaning 206001 clauses out of 412007 with flag 50000166/26481149
2309.08/2283.10	c cleaning 206994 clauses out of 414005 with flag 50506079/26689148
2341.38/2315.22	c cleaning 208002 clauses out of 416012 with flag 51016510/26898149
2369.39/2343.18	c cleaning 208999 clauses out of 418009 with flag 51521627/27108148
2398.80/2372.44	c cleaning 209997 clauses out of 420010 with flag 52040140/27319148
2426.30/2399.82	c cleaning 211006 clauses out of 422015 with flag 52564982/27531150
2458.37/2431.78	c cleaning 212000 clauses out of 424007 with flag 53095924/27744148
2487.72/2461.04	c cleaning 212998 clauses out of 426007 with flag 53612893/27958148
2519.39/2492.79	c cleaning 214003 clauses out of 428009 with flag 54138397/28173148
2551.07/2524.42	c cleaning 214998 clauses out of 430006 with flag 54674331/28389148
2591.55/2565.00	c cleaning 215998 clauses out of 432008 with flag 55222137/28606148
2619.92/2592.78	c cleaning 217003 clauses out of 434013 with flag 55759743/28824151
2642.86/2615.42	c cleaning 217998 clauses out of 436007 with flag 56262092/29043148
2672.81/2645.27	c cleaning 218998 clauses out of 438010 with flag 56784959/29263149
2696.19/2668.49	c cleaning 220004 clauses out of 440011 with flag 57291602/29484148
2721.38/2693.49	c cleaning 220996 clauses out of 442008 with flag 57793921/29706149
2745.93/2717.84	c cleaning 222003 clauses out of 444011 with flag 58296917/29929148
2772.97/2744.85	c cleaning 222996 clauses out of 446010 with flag 58804440/30153150
2797.46/2768.91	c cleaning 223999 clauses out of 448012 with flag 59311755/30378148
2823.84/2795.03	c cleaning 225003 clauses out of 450014 with flag 59849196/30604149
2849.03/2820.11	c cleaning 226001 clauses out of 452010 with flag 60391481/30831148
2878.38/2849.26	c cleaning 227003 clauses out of 454010 with flag 60909345/31059149
2899.60/2870.35	c cleaning 227999 clauses out of 456007 with flag 61428234/31288149
2923.54/2894.18	c cleaning 229004 clauses out of 458007 with flag 61944256/31518148
2946.66/2916.94	c cleaning 229998 clauses out of 460004 with flag 62465600/31749149
2972.75/2942.75	c cleaning 230996 clauses out of 462005 with flag 62996909/31981148
2995.91/2965.68	c cleaning 231992 clauses out of 464010 with flag 63532680/32214149
3020.35/2989.87	c cleaning 233001 clauses out of 466017 with flag 64073708/32448148
3043.56/3012.92	c cleaning 234003 clauses out of 468016 with flag 64604768/32683148
3067.38/3036.37	c cleaning 235000 clauses out of 470013 with flag 65139555/32919148
3098.07/3065.30	c cleaning 236002 clauses out of 472013 with flag 65695782/33156148
3120.84/3087.85	c cleaning 236997 clauses out of 474013 with flag 66245768/33394150
3153.86/3120.51	c cleaning 238002 clauses out of 476015 with flag 66788378/33633149
3176.53/3143.24	c cleaning 238998 clauses out of 478012 with flag 67328932/33873148
3215.85/3182.59	c cleaning 240002 clauses out of 480014 with flag 67908901/34114148
3253.85/3220.55	c cleaning 240999 clauses out of 482013 with flag 68487004/34356149
3286.86/3253.21	c cleaning 242007 clauses out of 484013 with flag 69061943/34599148
3330.44/3296.73	c cleaning 243001 clauses out of 486006 with flag 69638941/34843148
3370.49/3336.76	c cleaning 243999 clauses out of 488006 with flag 70214568/35088149
3394.64/3360.72	c cleaning 245001 clauses out of 490007 with flag 70762494/35334149
3427.18/3393.14	c cleaning 245996 clauses out of 492005 with flag 71330886/35581148
3453.74/3419.54	c cleaning 246994 clauses out of 494009 with flag 71885933/35829148
3477.90/3443.48	c cleaning 248006 clauses out of 496016 with flag 72441427/36078149
3502.83/3468.13	c cleaning 248999 clauses out of 498009 with flag 72996582/36328148
3531.67/3496.70	c cleaning 249995 clauses out of 500010 with flag 73555210/36579148
3556.29/3521.04	c cleaning 251001 clauses out of 502015 with flag 74117739/36831148
3581.38/3545.98	c cleaning 252002 clauses out of 504014 with flag 74682972/37084148
3600.05/3564.33	c starts		: 4
3600.05/3564.34	c conflicts		: 37338149
3600.05/3564.35	c decisions		: 53852887
3600.05/3564.35	c propagations		: 276054353
3600.05/3564.35	c inspects		: 22370860861
3600.05/3564.35	c shortcuts		: 0
3600.05/3564.35	c learnt literals	: 0
3600.05/3564.36	c learnt binary clauses	: 0
3600.05/3564.36	c learnt ternary clauses	: 0
3600.05/3564.36	c learnt constraints	: 37338149
3600.05/3564.36	c ignored constraints	: 0
3600.05/3564.36	c root simplifications	: 0
3600.05/3564.36	c removed literals (reason simplification)	: 0
3600.05/3564.36	c reason swapping (by a shorter reason)	: 0
3600.05/3564.36	c Calls to reduceDB	: 377
3600.05/3564.36	c Number of update (reduction) of LBD	: 3358597
3600.05/3564.36	c Imported unit clauses	: 0
3600.05/3564.36	c No decision after first conflict	: false
3600.05/3564.37	c number of reductions to clauses (during analyze)	: 0
3600.05/3564.37	c number of learned constraints concerned by reduction	: 0
3600.05/3564.37	c number of learning phase by resolution	: 0
3600.05/3564.37	c number of learning phase by cutting planes	: 0
3600.05/3564.37	c number of rounding to 1 operations	: 0
3600.05/3564.37	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3564.37	c number of reductions of the coefficients by power 2 	: 0
3600.05/3564.37	c number of right shift for reduction by power 2 	: 0
3600.05/3564.37	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3564.37	c number of ending skipping 	: 0
3600.05/3564.37	c number of internal skipping 	: 0
3600.05/3564.37	c number of derivation steps 	: 0
3600.05/3564.37	c number of skipped derivation steps 	: 0
3600.05/3564.37	c number of remaining unassigned 	: 0
3600.05/3564.37	c number of remaining assigned 	: 0
3600.05/3564.37	c number of falsified literals weakened from reason	: 0
3600.05/3564.37	c number of falsified literals weakened from conflict	: 0
3600.05/3564.37	c time for arithmetic operations	: 0
3600.05/3564.38	c minimum degree of deleted constraints	: null
3600.25/3564.40	c maximum degree of deleted constraints	: null
3600.25/3564.40	c number of deleted constraints	: 0
3600.25/3564.40	c speed (assignments/second)	: 77454.91538453984
3600.25/3564.41	c non guided choices	: 0
3600.44/3564.60	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 506013
3600.44/3564.60	s SATISFIABLE
3600.44/3564.60	c Found 3 solution(s)
3600.64/3564.61	v -x1 x2 x3 x4 x5 x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 x19 -x20 -x21 x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 x35 -x36 -x37 x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 x51 -x52 -x53 x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 x67 -x68 -x69 x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 x83 x84 x85 x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 x102 x103 x104 x105 x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 x123 x124 x125 x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 x143 x144 x145 x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 x163 x164 x165 x166 x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 x183 x184 x185 x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 x203 x204 x205 x206 x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 x223 x224 x225 x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 x243 x244 x245 x246 x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 x263 x264 x265 x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 x283 x284 x285 x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 x303 x304 x305 x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 x322 x323 x324 x325 x326 x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 x343 x344 x345 x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 x363 x364 x365 x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 x382 x383 x384 x385 x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 x402 x403 x404 x405 x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 x422 x423 x424 x425 x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 x443 x444 x445 x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 x462 x463 x464 x465 x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 x482 x483 x484 x485 x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 x502 x503 x504 x505 x506 x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 x523 x524 x525 x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 x543 x544 x545 x546 x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 
3600.64/3564.61	c objective function=166
3600.64/3564.61	c Total wall clock time (in seconds): 3564.4

Verifier Data 

OK	166

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: 64059 MiB (845 MiB free)
  memory of node 1: 64510 MiB (58283 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458649-1721881282/watcher-4458649-1721881282 -o /tmp/evaluation-result-4458649-1721881282/solver-4458649-1721881282 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721877730-262298 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4458649-1721881282.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=264432, runsolver pid=264429

[startup+0.100073 s]*
/proc/loadavg: 4.32 4.47 4.48 7/318 264450
/proc/meminfo: memFree=60510960/131655788 swapFree=131059112/131071996
[pid=264432] ppid=264429 vsize=18975048 memory=56588 CPUtime=0.13 cores=1,3
/proc/264432/stat : 264432 (java) S 264429 264432 262286 0 -1 1077936128 6643 0 0 0 10 3 0 0 20 0 18 0 24117724 19430449152 14147 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
/proc/264432/statm: 4743762 14147 5676 1 0 550947 0
[pid=264432/tid=264434] ppid=264429 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/264432/task/264434/stat : 264434 (java) R 264429 264432 262286 0 -1 4194368 5586 0 0 0 6 2 0 0 20 0 18 0 24117724 19430449152 14147 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264443] ppid=264429 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/264432/task/264443/stat : 264443 (Finalizer) S 264429 264432 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 24117730 19430449152 14169 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264450] ppid=264429 vsize=18975048 memory=14128957269627868 CPUtime=0 cores=1,3
/proc/264432/task/264450/stat : 264450 (Common-Cleaner) S 264429 264432 262286 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 24117731 19430449152 14169 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56588 KiB

[startup+0.215737 s]*
/proc/loadavg: 4.32 4.47 4.48 7/318 264450
/proc/meminfo: memFree=60499596/131655788 swapFree=131059112/131071996
[pid=264432] ppid=264429 vsize=18975048 memory=66200 CPUtime=0.34 cores=1,3
/proc/264432/stat : 264432 (java) S 264429 264432 262286 0 -1 1077936128 7419 0 0 0 30 4 0 0 20 0 18 0 24117724 19430449152 16550 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
/proc/264432/statm: 4743762 16550 5742 1 0 551620 0
[pid=264432/tid=264434] ppid=264429 vsize=18975048 memory=4782652875487838339 CPUtime=0.2 cores=1,3
/proc/264432/task/264434/stat : 264434 (java) R 264429 264432 262286 0 -1 4194368 5952 0 0 0 17 3 0 0 20 0 18 0 24117724 19430449152 16550 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264443] ppid=264429 vsize=18975048 memory=1466016 CPUtime=0 cores=1,3
/proc/264432/task/264443/stat : 264443 (Finalizer) S 264429 264432 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 24117730 19430449152 16550 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264450] ppid=264429 vsize=18975048 memory=16102571999764192 CPUtime=0 cores=1,3
/proc/264432/task/264450/stat : 264450 (Common-Cleaner) S 264429 264432 262286 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 24117731 19430449152 16550 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66200 KiB

[startup+0.3194 s]*
/proc/loadavg: 4.32 4.47 4.48 7/318 264450
/proc/meminfo: memFree=60494836/131655788 swapFree=131059112/131071996
[pid=264432] ppid=264429 vsize=18975048 memory=69444 CPUtime=0.52 cores=1,3
/proc/264432/stat : 264432 (java) S 264429 264432 262286 0 -1 1077936128 7588 0 0 0 48 4 0 0 20 0 18 0 24117724 19430449152 17361 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
/proc/264432/statm: 4743762 17361 5887 1 0 551757 0
[pid=264432/tid=264434] ppid=264429 vsize=18975048 memory=-8528522917969633980 CPUtime=0.28 cores=1,3
/proc/264432/task/264434/stat : 264434 (java) R 264429 264432 262286 0 -1 4194368 6041 0 0 0 25 3 0 0 20 0 18 0 24117724 19430449152 17361 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264443] ppid=264429 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/264432/task/264443/stat : 264443 (Finalizer) S 264429 264432 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 24117730 19430449152 17361 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264450] ppid=264429 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/264432/task/264450/stat : 264450 (Common-Cleaner) S 264429 264432 262286 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 24117731 19430449152 17361 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 69444 KiB

[startup+0.700727 s]
/proc/loadavg: 4.32 4.47 4.48 7/319 264451
/proc/meminfo: memFree=60482428/131655788 swapFree=131059112/131071996
[pid=264432] ppid=264429 vsize=19041612 memory=82360 CPUtime=1.22 cores=1,3
/proc/264432/stat : 264432 (java) S 264429 264432 262286 0 -1 1077936128 10209 0 0 0 117 5 0 0 20 0 19 0 24117724 19498610688 20590 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
/proc/264432/statm: 4760403 20590 5906 1 0 553644 0
[pid=264432/tid=264434] ppid=264429 vsize=19041612 memory=5468 CPUtime=0.6 cores=1,3
/proc/264432/task/264434/stat : 264434 (java) R 264429 264432 262286 0 -1 4194368 6102 0 0 0 57 3 0 0 20 0 19 0 24117724 19498610688 20590 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264443] ppid=264429 vsize=19041612 memory=11904 CPUtime=0 cores=1,3
/proc/264432/task/264443/stat : 264443 (Finalizer) S 264429 264432 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 24117730 19498610688 20590 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264450] ppid=264429 vsize=19041612 memory=164 CPUtime=0 cores=1,3
/proc/264432/task/264450/stat : 264450 (Common-Cleaner) S 264429 264432 262286 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 24117731 19498610688 20590 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264451] ppid=264429 vsize=19041612 memory=117636 CPUtime=0 cores=1,3
/proc/264432/task/264451/stat : 264451 (Timer-0) S 264429 264432 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 24117758 19498610688 20590 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 82360 KiB

[startup+1.50073 s]
/proc/loadavg: 4.46 4.49 4.48 8/319 264451
/proc/meminfo: memFree=60462580/131655788 swapFree=131059112/131071996
[pid=264432] ppid=264429 vsize=19041612 memory=116112 CPUtime=2.7 cores=1,3
/proc/264432/stat : 264432 (java) S 264429 264432 262286 0 -1 1077936128 14931 0 0 0 264 6 0 0 20 0 19 0 24117724 19498610688 29028 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
/proc/264432/statm: 4760403 29028 5922 1 0 554819 0
[pid=264432/tid=264434] ppid=264429 vsize=19041612 memory=11904 CPUtime=1.37 cores=1,3
/proc/264432/task/264434/stat : 264434 (java) R 264429 264432 262286 0 -1 4194368 6493 0 0 0 133 4 0 0 20 0 19 0 24117724 19498610688 29028 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264443] ppid=264429 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/264432/task/264443/stat : 264443 (Finalizer) S 264429 264432 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 24117730 19498610688 29028 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264450] ppid=264429 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/264432/task/264450/stat : 264450 (Common-Cleaner) S 264429 264432 262286 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 24117731 19498610688 29028 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264451] ppid=264429 vsize=19041612 memory=279909192869136 CPUtime=0 cores=1,3
/proc/264432/task/264451/stat : 264451 (Timer-0) S 264429 264432 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 24117758 19498610688 29028 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 116112 KiB

[startup+3.10673 s]
/proc/loadavg: 4.46 4.49 4.48 7/318 264521
/proc/meminfo: memFree=74431784/131655788 swapFree=131059112/131071996
[pid=264432] ppid=264429 vsize=19108176 memory=203560 CPUtime=4.59 cores=1,3
/proc/264432/stat : 264432 (java) S 264429 264432 262286 0 -1 1077936128 17265 0 0 0 451 8 0 0 20 0 20 0 24117724 19566772224 50890 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
/proc/264432/statm: 4777044 50890 5954 1 0 555287 0
[pid=264432/tid=264434] ppid=264429 vsize=19108176 memory=0 CPUtime=2.89 cores=1,3
/proc/264432/task/264434/stat : 264434 (java) R 264429 264432 262286 0 -1 4194368 6759 0 0 0 284 5 0 0 20 0 20 0 24117724 19566772224 50890 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264443] ppid=264429 vsize=19108176 memory=11904 CPUtime=0 cores=1,3
/proc/264432/task/264443/stat : 264443 (Finalizer) S 264429 264432 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24117730 19566772224 50890 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264450] ppid=264429 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/264432/task/264450/stat : 264450 (Common-Cleaner) S 264429 264432 262286 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 24117731 19566772224 50890 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264451] ppid=264429 vsize=19108176 memory=11644 CPUtime=0 cores=1,3
/proc/264432/task/264451/stat : 264451 (Timer-0) S 264429 264432 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24117758 19566772224 50890 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
Current children cumulated CPU time: 4.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 203560 KiB

[startup+6.30073 s]
/proc/loadavg: 4.42 4.49 4.48 5/320 264524
/proc/meminfo: memFree=73791568/131655788 swapFree=131059112/131071996
[pid=264432] ppid=264429 vsize=19108176 memory=304900 CPUtime=7.96 cores=1,3
/proc/264432/stat : 264432 (java) S 264429 264432 262286 0 -1 1077936128 17649 0 0 0 785 11 0 0 20 0 20 0 24117724 19566772224 76225 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
/proc/264432/statm: 4777044 76225 5954 1 0 555288 0
[pid=264432/tid=264434] ppid=264429 vsize=19108176 memory=11904 CPUtime=5.75 cores=1,3
/proc/264432/task/264434/stat : 264434 (java) R 264429 264432 262286 0 -1 4194368 6788 0 0 0 570 5 0 0 20 0 20 0 24117724 19566772224 76225 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264443] ppid=264429 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/264432/task/264443/stat : 264443 (Finalizer) S 264429 264432 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24117730 19566772224 76225 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264450] ppid=264429 vsize=19108176 memory=122256 CPUtime=0 cores=1,3
/proc/264432/task/264450/stat : 264450 (Common-Cleaner) S 264429 264432 262286 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 24117731 19566772224 76225 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264451] ppid=264429 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/264432/task/264451/stat : 264451 (Timer-0) S 264429 264432 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24117758 19566772224 76225 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
Current children cumulated CPU time: 7.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 304900 KiB

[startup+12.7005 s]
/proc/loadavg: 4.39 4.48 4.48 5/320 264525
/proc/meminfo: memFree=71780556/131655788 swapFree=131059112/131071996
[pid=264432] ppid=264429 vsize=19108176 memory=519680 CPUtime=14.42 cores=1,3
/proc/264432/stat : 264432 (java) S 264429 264432 262286 0 -1 1077936128 20413 0 0 0 1426 16 0 0 20 0 20 0 24117724 19566772224 129920 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
/proc/264432/statm: 4777044 129920 5957 1 0 924999 0
[pid=264432/tid=264434] ppid=264429 vsize=19108176 memory=-8528522917969633980 CPUtime=11.89 cores=1,3
/proc/264432/task/264434/stat : 264434 (java) R 264429 264432 262286 0 -1 4194368 7494 0 0 0 1182 7 0 0 20 0 20 0 24117724 19566772224 129920 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264443] ppid=264429 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/264432/task/264443/stat : 264443 (Finalizer) S 264429 264432 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24117730 19566772224 129920 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264450] ppid=264429 vsize=19108176 memory=11904 CPUtime=0 cores=1,3
/proc/264432/task/264450/stat : 264450 (Common-Cleaner) S 264429 264432 262286 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 24117731 19566772224 129920 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264451] ppid=264429 vsize=19108176 memory=72028 CPUtime=0 cores=1,3
/proc/264432/task/264451/stat : 264451 (Timer-0) S 264429 264432 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24117758 19566772224 129920 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
Current children cumulated CPU time: 14.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 519680 KiB

[startup+25.5005 s]
/proc/loadavg: 4.40 4.48 4.48 6/320 264595
/proc/meminfo: memFree=77217632/131655788 swapFree=131059112/131071996
[pid=264432] ppid=264429 vsize=19108176 memory=800776 CPUtime=27.39 cores=1,3
/proc/264432/stat : 264432 (java) S 264429 264432 262286 0 -1 1077936128 22897 0 0 0 2716 23 0 0 20 0 20 0 24117724 19566772224 200194 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
/proc/264432/statm: 4777044 200194 5957 1 0 925010 0
[pid=264432/tid=264434] ppid=264429 vsize=19108176 memory=774152 CPUtime=24.22 cores=1,3
/proc/264432/task/264434/stat : 264434 (java) R 264429 264432 262286 0 -1 4194368 8257 0 0 0 2414 8 0 0 20 0 20 0 24117724 19566772224 200194 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264443] ppid=264429 vsize=19108176 memory=774152 CPUtime=0 cores=1,3
/proc/264432/task/264443/stat : 264443 (Finalizer) S 264429 264432 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24117730 19566772224 200194 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264450] ppid=264429 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/264432/task/264450/stat : 264450 (Common-Cleaner) S 264429 264432 262286 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 24117731 19566772224 200194 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264451] ppid=264429 vsize=19108176 memory=409056 CPUtime=0 cores=1,3
/proc/264432/task/264451/stat : 264451 (Timer-0) S 264429 264432 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24117758 19566772224 200194 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
Current children cumulated CPU time: 27.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 800776 KiB

[startup+51.1146 s]
/proc/loadavg: 4.53 4.50 4.49 6/320 264598
/proc/meminfo: memFree=65638448/131655788 swapFree=131059112/131071996
[pid=264432] ppid=264429 vsize=19108176 memory=1599628 CPUtime=53.73 cores=1,3
/proc/264432/stat : 264432 (java) S 264429 264432 262286 0 -1 1077936128 29747 0 0 0 5332 41 0 0 20 0 20 0 24117724 19566772224 399907 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
/proc/264432/statm: 4777044 399907 5972 1 0 1052448 0
[pid=264432/tid=264434] ppid=264429 vsize=19108176 memory=1517472 CPUtime=48.96 cores=1,3
/proc/264432/task/264434/stat : 264434 (java) R 264429 264432 262286 0 -1 4194368 9873 0 0 0 4885 11 0 0 20 0 20 0 24117724 19566772224 399907 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264443] ppid=264429 vsize=19108176 memory=1599628 CPUtime=0 cores=1,3
/proc/264432/task/264443/stat : 264443 (Finalizer) S 264429 264432 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24117730 19566772224 399907 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0

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

Current children cumulated memory: 9295188 KiB

[startup+3282.3 s]
/proc/loadavg: 5.43 4.91 4.88 6/318 266563
/proc/meminfo: memFree=53719488/131655788 swapFree=131059112/131071996
[pid=264432] ppid=264429 vsize=19108176 memory=9295188 CPUtime=3316.05 cores=1,3
/proc/264432/stat : 264432 (java) S 264429 264432 262286 0 -1 1077936128 247956 0 0 0 331202 403 0 0 20 0 20 0 24117724 19566772224 2323797 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
/proc/264432/statm: 4777044 2323797 5972 1 0 2981344 0
[pid=264432/tid=264434] ppid=264429 vsize=19108176 memory=9295188 CPUtime=3235.98 cores=1,3
/proc/264432/task/264434/stat : 264434 (java) R 264429 264432 262286 0 -1 4194368 75790 0 0 0 323538 60 0 0 20 0 20 0 24117724 19566772224 2323797 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264443] ppid=264429 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/264432/task/264443/stat : 264443 (Finalizer) S 264429 264432 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24117730 19566772224 2323797 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264450] ppid=264429 vsize=19108176 memory=27412 CPUtime=0 cores=1,3
/proc/264432/task/264450/stat : 264450 (Common-Cleaner) S 264429 264432 262286 0 -1 1077936192 1418 0 0 0 0 0 0 0 20 0 20 0 24117731 19566772224 2323797 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264451] ppid=264429 vsize=19108176 memory=-8526834059519435452 CPUtime=0 cores=1,3
/proc/264432/task/264451/stat : 264451 (Timer-0) S 264429 264432 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24117758 19566772224 2323797 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
Current children cumulated CPU time: 3316.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9295188 KiB

[startup+3342.3 s]
/proc/loadavg: 5.43 5.01 4.92 6/318 266574
/proc/meminfo: memFree=53715184/131655788 swapFree=131059112/131071996
[pid=264432] ppid=264429 vsize=19108176 memory=9295204 CPUtime=3376.26 cores=1,3
/proc/264432/stat : 264432 (java) S 264429 264432 262286 0 -1 1077936128 252428 0 0 0 337220 406 0 0 20 0 20 0 24117724 19566772224 2323801 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
/proc/264432/statm: 4777044 2323801 5972 1 0 2981348 0
[pid=264432/tid=264434] ppid=264429 vsize=19108176 memory=9295188 CPUtime=3295.42 cores=1,3
/proc/264432/task/264434/stat : 264434 (java) R 264429 264432 262286 0 -1 4194368 77144 0 0 0 329481 61 0 0 20 0 20 0 24117724 19566772224 2323801 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264443] ppid=264429 vsize=19108176 memory=5468 CPUtime=0 cores=1,3
/proc/264432/task/264443/stat : 264443 (Finalizer) S 264429 264432 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24117730 19566772224 2323801 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264450] ppid=264429 vsize=19108176 memory=9295188 CPUtime=0 cores=1,3
/proc/264432/task/264450/stat : 264450 (Common-Cleaner) S 264429 264432 262286 0 -1 1077936192 1468 0 0 0 0 0 0 0 20 0 20 0 24117731 19566772224 2323801 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264451] ppid=264429 vsize=19108176 memory=9295204 CPUtime=0 cores=1,3
/proc/264432/task/264451/stat : 264451 (Timer-0) S 264429 264432 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24117758 19566772224 2323801 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
Current children cumulated CPU time: 3376.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9295204 KiB

[startup+3402.3 s]
/proc/loadavg: 5.16 5.01 4.92 5/318 266584
/proc/meminfo: memFree=53708096/131655788 swapFree=131059112/131071996
[pid=264432] ppid=264429 vsize=19108176 memory=9295208 CPUtime=3436.56 cores=1,3
/proc/264432/stat : 264432 (java) S 264429 264432 262286 0 -1 1077936128 256876 0 0 0 343245 411 0 0 20 0 20 0 24117724 19566772224 2323802 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
/proc/264432/statm: 4777044 2323802 5972 1 0 2981348 0
[pid=264432/tid=264434] ppid=264429 vsize=19108176 memory=9295188 CPUtime=3354.83 cores=1,3
/proc/264432/task/264434/stat : 264434 (java) R 264429 264432 262286 0 -1 4194368 79076 0 0 0 335422 61 0 0 20 0 20 0 24117724 19566772224 2323802 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264443] ppid=264429 vsize=19108176 memory=11644 CPUtime=0 cores=1,3
/proc/264432/task/264443/stat : 264443 (Finalizer) S 264429 264432 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24117730 19566772224 2323802 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264450] ppid=264429 vsize=19108176 memory=9295208 CPUtime=0 cores=1,3
/proc/264432/task/264450/stat : 264450 (Common-Cleaner) S 264429 264432 262286 0 -1 1077936192 1468 0 0 0 0 0 0 0 20 0 20 0 24117731 19566772224 2323802 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264451] ppid=264429 vsize=19108176 memory=9295204 CPUtime=0 cores=1,3
/proc/264432/task/264451/stat : 264451 (Timer-0) S 264429 264432 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24117758 19566772224 2323802 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
Current children cumulated CPU time: 3436.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9295208 KiB

[startup+3462.3 s]
/proc/loadavg: 4.77 4.93 4.90 5/318 266595
/proc/meminfo: memFree=53572176/131655788 swapFree=131059112/131071996
[pid=264432] ppid=264429 vsize=19108176 memory=9295208 CPUtime=3497.02 cores=1,3
/proc/264432/stat : 264432 (java) S 264429 264432 262286 0 -1 1077936128 260977 0 0 0 349289 413 0 0 20 0 20 0 24117724 19566772224 2323802 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
/proc/264432/statm: 4777044 2323802 5972 1 0 2981348 0
[pid=264432/tid=264434] ppid=264429 vsize=19108176 memory=9295188 CPUtime=3413.96 cores=1,3
/proc/264432/task/264434/stat : 264434 (java) R 264429 264432 262286 0 -1 4194368 80552 0 0 0 341335 61 0 0 20 0 20 0 24117724 19566772224 2323802 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264443] ppid=264429 vsize=19108176 memory=5468 CPUtime=0 cores=1,3
/proc/264432/task/264443/stat : 264443 (Finalizer) S 264429 264432 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24117730 19566772224 2323802 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264450] ppid=264429 vsize=19108176 memory=9295208 CPUtime=0 cores=1,3
/proc/264432/task/264450/stat : 264450 (Common-Cleaner) S 264429 264432 262286 0 -1 1077936192 1519 0 0 0 0 0 0 0 20 0 20 0 24117731 19566772224 2323802 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264451] ppid=264429 vsize=19108176 memory=-8528522917969633980 CPUtime=0 cores=1,3
/proc/264432/task/264451/stat : 264451 (Timer-0) S 264429 264432 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24117758 19566772224 2323802 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
Current children cumulated CPU time: 3497.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9295208 KiB

[startup+3522.3 s]
/proc/loadavg: 4.74 4.90 4.89 5/318 266606
/proc/meminfo: memFree=52772540/131655788 swapFree=131059112/131071996
[pid=264432] ppid=264429 vsize=19108176 memory=9295208 CPUtime=3557.57 cores=1,3
/proc/264432/stat : 264432 (java) S 264429 264432 262286 0 -1 1077936128 263332 0 0 0 355341 416 0 0 20 0 20 0 24117724 19566772224 2323802 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
/proc/264432/statm: 4777044 2323802 5972 1 0 2981348 0
[pid=264432/tid=264434] ppid=264429 vsize=19108176 memory=9295208 CPUtime=3473.13 cores=1,3
/proc/264432/task/264434/stat : 264434 (java) R 264429 264432 262286 0 -1 4194368 82346 0 0 0 347252 61 0 0 20 0 20 0 24117724 19566772224 2323802 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264443] ppid=264429 vsize=19108176 memory=9295208 CPUtime=0 cores=1,3
/proc/264432/task/264443/stat : 264443 (Finalizer) S 264429 264432 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24117730 19566772224 2323802 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264450] ppid=264429 vsize=19108176 memory=9295208 CPUtime=0 cores=1,3
/proc/264432/task/264450/stat : 264450 (Common-Cleaner) S 264429 264432 262286 0 -1 1077936192 1571 0 0 0 0 0 0 0 20 0 20 0 24117731 19566772224 2323802 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264451] ppid=264429 vsize=19108176 memory=9295208 CPUtime=0 cores=1,3
/proc/264432/task/264451/stat : 264451 (Timer-0) S 264429 264432 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24117758 19566772224 2323802 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
Current children cumulated CPU time: 3557.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9295208 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3564.3 s]
/proc/loadavg: 4.81 4.90 4.89 5/320 266617
/proc/meminfo: memFree=51952004/131655788 swapFree=131059112/131071996
[pid=264432] ppid=264429 vsize=19108176 memory=9295208 CPUtime=3600.05 cores=1,3
/proc/264432/stat : 264432 (java) S 264429 264432 262286 0 -1 1077936128 266881 0 0 0 359586 419 0 0 20 0 20 0 24117724 19566772224 2323802 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
/proc/264432/statm: 4777044 2323802 5972 1 0 2981348 0
[pid=264432/tid=264434] ppid=264429 vsize=19108176 memory=72492 CPUtime=3514.45 cores=1,3
/proc/264432/task/264434/stat : 264434 (java) R 264429 264432 262286 0 -1 4194368 83529 0 0 0 351383 62 0 0 20 0 20 0 24117724 19566772224 2323802 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264443] ppid=264429 vsize=19108176 memory=9295208 CPUtime=0 cores=1,3
/proc/264432/task/264443/stat : 264443 (Finalizer) S 264429 264432 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24117730 19566772224 2323802 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264450] ppid=264429 vsize=19108176 memory=9295208 CPUtime=0 cores=1,3
/proc/264432/task/264450/stat : 264450 (Common-Cleaner) S 264429 264432 262286 0 -1 1077936192 1622 0 0 0 0 0 0 0 20 0 20 0 24117731 19566772224 2323802 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264451] ppid=264429 vsize=19108176 memory=9295208 CPUtime=0 cores=1,3
/proc/264432/task/264451/stat : 264451 (Timer-0) S 264429 264432 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24117758 19566772224 2323802 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9295208 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.49 s, system=4.25251 s

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

[startup+3564.41 s]
/proc/loadavg: 4.81 4.90 4.89 5/320 266617
/proc/meminfo: memFree=51952004/131655788 swapFree=131059112/131071996
[pid=264432] ppid=264429 vsize=19307868 memory=9295808 CPUtime=3600.25 cores=1,3
/proc/264432/stat : 264432 (java) S 264429 264432 262286 0 -1 1077936128 269304 0 0 0 359605 420 0 0 20 0 21 0 24117724 19771256832 2323952 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
/proc/264432/statm: 4826967 2323952 5971 1 0 2982251 0
[pid=264432/tid=264434] ppid=264429 vsize=19307868 memory=-8528522917969633980 CPUtime=3514.55 cores=1,3
/proc/264432/task/264434/stat : 264434 (java) R 264429 264432 262286 0 -1 4194368 83529 0 0 0 351393 62 0 0 20 0 21 0 24117724 19771256832 2323952 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264443] ppid=264429 vsize=19307868 memory=1832 CPUtime=0 cores=1,3
/proc/264432/task/264443/stat : 264443 (Finalizer) S 264429 264432 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 24117730 19771256832 2323952 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264450] ppid=264429 vsize=19307868 memory=26124 CPUtime=0 cores=1,3
/proc/264432/task/264450/stat : 264450 (Common-Cleaner) S 264429 264432 262286 0 -1 1077936192 1622 0 0 0 0 0 0 0 20 0 21 0 24117731 19771256832 2323952 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 9295808 KiB

[startup+3564.6 s]
/proc/loadavg: 4.81 4.90 4.89 5/320 266617
/proc/meminfo: memFree=51952004/131655788 swapFree=131059112/131071996
[pid=264432] ppid=264429 vsize=19307868 memory=9295864 CPUtime=3600.64 cores=1,3
/proc/264432/stat : 264432 (java) S 264429 264432 262286 0 -1 1077936128 269550 0 0 0 359644 420 0 0 20 0 21 0 24117724 19771256832 2323966 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
/proc/264432/statm: 4826967 2323966 5971 1 0 2982251 0
[pid=264432/tid=264434] ppid=264429 vsize=19307868 memory=-8528522917969633980 CPUtime=3514.75 cores=1,3
/proc/264432/task/264434/stat : 264434 (java) R 264429 264432 262286 0 -1 4194368 83529 0 0 0 351413 62 0 0 20 0 21 0 24117724 19771256832 2323966 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264443] ppid=264429 vsize=19307868 memory=2984 CPUtime=0 cores=1,3
/proc/264432/task/264443/stat : 264443 (Finalizer) S 264429 264432 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 24117730 19771256832 2323966 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
[pid=264432/tid=264450] ppid=264429 vsize=19307868 memory=2120 CPUtime=0 cores=1,3
/proc/264432/task/264450/stat : 264450 (Common-Cleaner) S 264429 264432 262286 0 -1 1077936192 1622 0 0 0 0 0 0 0 20 0 21 0 24117731 19771256832 2323966 134679101440 94047870935040 94047870938736 140725667190880 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94047870946552 94047870947344 94047883583488 140725667193863 140725667193953 140725667193953 140725667200968 0
Current children cumulated CPU time: 3600.64 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 9295864 KiB

Child status: 143

Real time (s): 3564.67
CPU time (s): 3600.74
CPU user time (s): 3596.49
CPU system time (s): 4.25251
CPU usage (%): 101.012
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 9295864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.49
system time used= 4.25251
maximum resident set size= 9296800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269898
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115988
involuntary context switches= 5747


# summary of solver processes directly reported to runsolver:
#   pid: 264432
#   total CPU time (s): 3600.74
#   total CPU user time (s): 3596.49
#   total CPU system time (s): 4.25251

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.6088 second user time and 39.3712 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2024-07-25 06:21:22
IDJOB=4458649
IDBENCH=178101
IDSOLVER=3058
FILE ID=nodeC010/4458649-1721881282
RUNJOBID= nodeC010-1721877730-262298
SLURM_JOB_ID= 8089272
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_080.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458649-1721881282/watcher-4458649-1721881282 -o /tmp/evaluation-result-4458649-1721881282/solver-4458649-1721881282 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721877730-262298 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4458649-1721881282.opb

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

MD5SUM BENCH= 6f0521fdb0b18beb600868184781ec28
RANDOM SEED=899169023

nodeC010.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	: 0xb00001f
cpu MHz		: 1197.318
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.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	: 0xb00001f
cpu MHz		: 3491.840
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.28
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	: 0xb00001f
cpu MHz		: 3633.092
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.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	: 0xb00001f
cpu MHz		: 1197.199
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.28
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	: 0xb00001f
cpu MHz		: 3611.391
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.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	: 0xb00001f
cpu MHz		: 3590.302
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.28
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	: 0xb00001f
cpu MHz		: 1197.200
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.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	: 0xb00001f
cpu MHz		: 1197.248
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.28
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        60548508 kB
MemAvailable:   104084544 kB
Buffers:          283220 kB
Cached:         43592128 kB
SwapCached:          216 kB
Active:          2161412 kB
Inactive:       67683756 kB
Active(anon):       1700 kB
Inactive(anon): 26021708 kB
Active(file):    2159712 kB
Inactive(file): 41662048 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131059112 kB
Dirty:               816 kB
Writeback:             0 kB
AnonPages:      25969780 kB
Mapped:           119996 kB
Shmem:             53556 kB
KReclaimable:     776020 kB
Slab:             895880 kB
SReclaimable:     776020 kB
SUnreclaim:       119860 kB
KernelStack:        4832 kB
PageTables:        61000 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   33222856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14784 kB
HardwareCorrupted:     0 kB
AnonHugePages:  17575936 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:      412488 kB
DirectMap2M:    54018048 kB
DirectMap1G:    81788928 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC010 at 2024-07-25 07:20:46