Trace number 4432148

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-07? (TO) 3600.8 3558.81

General information on the benchmark

NamePB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2/
normalized-BA_RDC4.dot_unif_10null0mast_rapportOE2.0_TMAX60_K67_cod2_pbEq1_newVersion.opb
MD5SUM5aa1ba277a339a08ad3677907a503ea8
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-20111
Best CPU time to get the best result obtained on this benchmark3583.89
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40937
Total number of constraints40882
Number of constraints which are clauses40326
Number of constraints which are cardinality constraints (but not clauses)69
Number of constraints which are nor clauses,nor cardinality constraints487
Minimum length of a constraint1
Maximum length of a constraint8416
Number of terms in the objective function 438
Biggest coefficient in the objective function 997
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 212820
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 997
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 212820
Number of bits of the biggest sum of numbers18
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4432148-1721054576.opb
0.13/0.12	c reading problem ... 
0.13/0.13	c  objective function found
1.06/0.61	c ... done. Wall clock time 0.479s.
1.06/0.61	c declared #vars     40937
1.06/0.61	c #constraints  41437
1.06/0.61	c constraints type 
1.06/0.61	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3896
1.06/0.61	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 552
1.06/0.61	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1.06/0.61	c org.sat4j.specs.Constr$1 => 2
1.06/0.61	c org.sat4j.pb.constraints.pb.UnitClausesPB => 1
1.06/0.61	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
1.06/0.61	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 36984
1.06/0.61	c 41437 constraints processed.
1.06/0.62	c objective function length is 438 literals
7.86/5.74	c cleaning 2495 clauses out of 4999 with flag 27419/5000
12.16/9.73	c cleaning 4229 clauses out of 8504 with flag 55238/11000
16.54/14.12	c cleaning 5630 clauses out of 11275 with flag 87146/18000
20.90/18.53	c cleaning 6819 clauses out of 13645 with flag 125083/26000
25.18/22.87	c cleaning 7901 clauses out of 15826 with flag 162298/35000
30.72/28.48	c cleaning 8953 clauses out of 17926 with flag 212698/45001
36.77/34.57	c cleaning 9956 clauses out of 19972 with flag 266338/56000
42.52/40.35	c cleaning 11002 clauses out of 22019 with flag 344926/68003
47.37/45.23	c cleaning 11994 clauses out of 24014 with flag 423358/81000
51.11/48.92	c cleaning 13003 clauses out of 26021 with flag 489904/95001
54.98/52.73	c cleaning 14002 clauses out of 28017 with flag 558494/110000
59.09/56.79	c cleaning 15002 clauses out of 30015 with flag 628393/126000
63.83/61.47	c cleaning 16001 clauses out of 32014 with flag 696890/143001
68.76/66.33	c cleaning 17001 clauses out of 34012 with flag 766584/161000
73.76/71.31	c cleaning 18001 clauses out of 36011 with flag 835857/180000
79.33/76.89	c cleaning 18999 clauses out of 38011 with flag 913708/200001
84.96/82.41	c cleaning 20004 clauses out of 40011 with flag 992895/221000
91.15/88.60	c cleaning 21003 clauses out of 42008 with flag 1075513/243001
97.17/94.66	c cleaning 22002 clauses out of 44004 with flag 1167970/266000
102.48/99.96	c cleaning 23002 clauses out of 46003 with flag 1262152/290001
108.54/105.92	c cleaning 23998 clauses out of 48000 with flag 1357736/315000
115.70/112.77	c cleaning 24998 clauses out of 50002 with flag 1457873/341000
123.06/120.07	c cleaning 25996 clauses out of 52004 with flag 1563334/368000
131.77/128.71	c cleaning 27000 clauses out of 54008 with flag 1668703/396000
140.48/137.49	c cleaning 27996 clauses out of 56008 with flag 1782787/425000
148.80/145.77	c cleaning 29001 clauses out of 58012 with flag 1908722/455000
157.83/154.76	c cleaning 30006 clauses out of 60012 with flag 2046214/486001
165.51/162.40	c cleaning 30997 clauses out of 62006 with flag 2174830/518001
175.71/172.52	c cleaning 32005 clauses out of 64009 with flag 2330400/551001
185.68/182.12	c cleaning 32996 clauses out of 66004 with flag 2467964/585001
195.03/191.41	c cleaning 34001 clauses out of 68007 with flag 2602508/620000
204.10/200.53	c cleaning 35002 clauses out of 70007 with flag 2731740/656001
214.73/211.15	c cleaning 35999 clauses out of 72004 with flag 2866442/693000
226.22/222.53	c cleaning 36991 clauses out of 74005 with flag 3010410/731000
238.02/234.47	c cleaning 38006 clauses out of 76015 with flag 3166910/770001
249.74/246.12	c cleaning 38996 clauses out of 78008 with flag 3325501/810000
260.99/257.33	c cleaning 39999 clauses out of 80013 with flag 3479586/851001
272.39/268.89	c cleaning 41000 clauses out of 82015 with flag 3647574/893002
284.05/280.43	c cleaning 41997 clauses out of 84013 with flag 3820768/936000
297.07/292.91	c cleaning 43002 clauses out of 86016 with flag 3991872/980000
311.21/307.10	c cleaning 44008 clauses out of 88016 with flag 4178074/1025002
325.45/321.29	c cleaning 44997 clauses out of 90006 with flag 4368044/1071000
336.95/332.89	c cleaning 45999 clauses out of 92009 with flag 4538754/1118000
349.28/345.20	c cleaning 47000 clauses out of 94010 with flag 4716564/1166001
360.92/356.84	c cleaning 48000 clauses out of 96010 with flag 4905031/1215001
372.71/368.79	c cleaning 48992 clauses out of 98009 with flag 5090116/1265000
386.67/382.71	c cleaning 50008 clauses out of 100017 with flag 5288688/1316000
403.62/399.57	c cleaning 51005 clauses out of 102009 with flag 5517388/1368000
419.98/415.01	c cleaning 51999 clauses out of 104004 with flag 5768387/1421000
434.78/429.72	c cleaning 53000 clauses out of 106005 with flag 6030349/1475000
449.73/444.65	c cleaning 53989 clauses out of 108005 with flag 6280219/1530000
465.30/460.13	c cleaning 55004 clauses out of 110017 with flag 6559929/1586001
480.98/475.73	c cleaning 56002 clauses out of 112012 with flag 6830448/1643000
496.13/490.13	c cleaning 56995 clauses out of 114010 with flag 7095486/1701000
511.57/505.52	c cleaning 58005 clauses out of 116015 with flag 7352928/1760000
527.08/521.09	c cleaning 59001 clauses out of 118011 with flag 7609825/1820001
542.72/536.68	c cleaning 59994 clauses out of 120009 with flag 7864857/1881000
558.97/552.83	c cleaning 61004 clauses out of 122016 with flag 8137367/1943001
574.75/568.52	c cleaning 62006 clauses out of 124012 with flag 8406960/2006001
590.81/584.57	c cleaning 62998 clauses out of 126006 with flag 8672306/2070001
607.23/601.00	c cleaning 63995 clauses out of 128007 with flag 8941586/2135000
625.64/618.53	c cleaning 64999 clauses out of 130013 with flag 9216135/2201001
643.80/636.60	c cleaning 66000 clauses out of 132014 with flag 9503414/2268001
660.95/653.86	c cleaning 67006 clauses out of 134014 with flag 9807519/2336001
680.77/673.63	c cleaning 68001 clauses out of 136008 with flag 10131692/2405001
701.31/693.96	c cleaning 69000 clauses out of 138007 with flag 10454596/2475001
722.53/713.97	c cleaning 70004 clauses out of 140007 with flag 10768365/2546001
742.62/733.80	c cleaning 70997 clauses out of 142002 with flag 11093895/2618000
763.55/754.55	c cleaning 71998 clauses out of 144006 with flag 11414111/2691001
784.94/775.88	c cleaning 72999 clauses out of 146007 with flag 11774480/2765000
805.79/796.47	c cleaning 74004 clauses out of 148008 with flag 12133507/2840000
826.95/817.35	c cleaning 74999 clauses out of 150004 with flag 12483400/2916000
849.22/838.32	c cleaning 75999 clauses out of 152005 with flag 12834366/2993000
869.85/858.86	c cleaning 77003 clauses out of 154007 with flag 13164960/3071001
891.11/879.89	c cleaning 77996 clauses out of 156004 with flag 13487495/3150001
912.48/900.99	c cleaning 78996 clauses out of 158008 with flag 13816639/3230001
934.34/922.56	c cleaning 79999 clauses out of 160011 with flag 14130352/3311000
956.26/944.44	c cleaning 81003 clauses out of 162013 with flag 14460980/3393001
979.79/967.79	c cleaning 82002 clauses out of 164009 with flag 14823077/3476000
1002.83/990.57	c cleaning 82996 clauses out of 166007 with flag 15199173/3560000
1025.85/1012.48	c cleaning 84001 clauses out of 168011 with flag 15560781/3645000
1048.45/1034.79	c cleaning 85006 clauses out of 170011 with flag 15939389/3731001
1072.53/1058.52	c cleaning 85999 clauses out of 172004 with flag 16338518/3818000
1096.32/1082.04	c cleaning 86998 clauses out of 174005 with flag 16700792/3906000
1120.96/1106.54	c cleaning 88002 clauses out of 176008 with flag 17055869/3995001
1144.19/1129.62	c cleaning 88993 clauses out of 178005 with flag 17421417/4085000
1167.85/1153.18	c cleaning 90003 clauses out of 180013 with flag 17786982/4176001
1190.73/1175.95	c cleaning 91001 clauses out of 182010 with flag 18141092/4268001
1216.79/1201.53	c cleaning 92002 clauses out of 184008 with flag 18531806/4361000
1241.97/1225.60	c cleaning 93000 clauses out of 186007 with flag 18924463/4455001
1266.18/1249.92	c cleaning 93996 clauses out of 188006 with flag 19324537/4550000
1289.98/1273.69	c cleaning 95000 clauses out of 190011 with flag 19776346/4646001
1315.13/1298.58	c cleaning 95997 clauses out of 192011 with flag 20236916/4743001
1341.67/1324.96	c cleaning 97002 clauses out of 194014 with flag 20642279/4841001
1367.77/1350.94	c cleaning 98001 clauses out of 196011 with flag 21058559/4940000
1393.98/1376.88	c cleaning 98990 clauses out of 197997 with flag 21478283/5040001
1419.48/1401.89	c cleaning 99993 clauses out of 200006 with flag 21881197/5141000
1444.97/1427.00	c cleaning 100998 clauses out of 202013 with flag 22298578/5243000
1470.45/1452.14	c cleaning 102007 clauses out of 204016 with flag 22798291/5346002
1498.76/1478.56	c cleaning 102996 clauses out of 206007 with flag 23359149/5450000
1528.59/1508.01	c cleaning 103992 clauses out of 208012 with flag 23902707/5555001
1554.39/1533.58	c cleaning 104999 clauses out of 210020 with flag 24375322/5661001
1578.52/1557.52	c cleaning 106000 clauses out of 212021 with flag 24803682/5768001
1603.97/1582.61	c cleaning 106997 clauses out of 214021 with flag 25258480/5876001
1628.35/1606.72	c cleaning 108003 clauses out of 216024 with flag 25680498/5985001
1653.35/1631.70	c cleaning 109005 clauses out of 218020 with flag 26099029/6095000
1683.72/1662.09	c cleaning 109999 clauses out of 220016 with flag 26551304/6206001
1712.90/1691.09	c cleaning 111001 clauses out of 222017 with flag 26996755/6318001
1738.26/1716.12	c cleaning 112005 clauses out of 224015 with flag 27399329/6431000
1761.52/1739.26	c cleaning 113005 clauses out of 226010 with flag 27806664/6545000
1785.13/1762.57	c cleaning 114001 clauses out of 228005 with flag 28208421/6660000
1807.29/1784.54	c cleaning 114988 clauses out of 230000 with flag 28683133/6776000
1831.23/1807.02	c cleaning 115999 clauses out of 232012 with flag 29198195/6893000
1857.12/1832.63	c cleaning 116999 clauses out of 234013 with flag 29784230/7011000
1885.73/1860.90	c cleaning 118003 clauses out of 236015 with flag 30293215/7130001
1915.28/1890.13	c cleaning 119004 clauses out of 238012 with flag 30793219/7250001
1942.94/1917.44	c cleaning 119997 clauses out of 240009 with flag 31306288/7371002
1973.16/1947.50	c cleaning 121002 clauses out of 242012 with flag 31798889/7493002
2004.72/1978.54	c cleaning 121998 clauses out of 244008 with flag 32338621/7616000
2035.45/2008.87	c cleaning 123003 clauses out of 246010 with flag 32936731/7740000
2069.97/2042.82	c cleaning 124001 clauses out of 248011 with flag 33569351/7865004
2100.52/2073.21	c cleaning 124999 clauses out of 250006 with flag 34142898/7991000
2131.59/2102.31	c cleaning 125998 clauses out of 252008 with flag 34690697/8118001
2164.57/2134.97	c cleaning 126998 clauses out of 254010 with flag 35303823/8246001
2195.84/2166.20	c cleaning 128006 clauses out of 256013 with flag 35925526/8375002
2226.35/2196.41	c cleaning 128996 clauses out of 258006 with flag 36512914/8505001
2260.62/2230.75	c cleaning 130003 clauses out of 260010 with flag 37143765/8636001
2294.70/2264.53	c cleaning 130999 clauses out of 262006 with flag 37793069/8768000
2329.36/2298.73	c cleaning 131998 clauses out of 264007 with flag 38463273/8901000
2363.25/2332.61	c cleaning 132997 clauses out of 266009 with flag 39108338/9035000
2401.28/2370.42	c cleaning 134002 clauses out of 268013 with flag 39710536/9170001
2436.05/2404.93	c cleaning 135000 clauses out of 270012 with flag 40301888/9306002
2470.56/2439.47	c cleaning 135997 clauses out of 272011 with flag 41017908/9443001
2507.89/2476.59	c cleaning 137002 clauses out of 274013 with flag 41903801/9581000
2547.54/2516.11	c cleaning 137999 clauses out of 276012 with flag 42745484/9720001
2591.98/2560.18	c cleaning 139007 clauses out of 278013 with flag 43664330/9860001
2634.44/2600.98	c cleaning 139993 clauses out of 280006 with flag 44281329/10001001
2676.16/2642.70	c cleaning 140992 clauses out of 282011 with flag 44876677/10143001
2718.44/2684.77	c cleaning 142003 clauses out of 284019 with flag 45539979/10286001
2757.73/2723.98	c cleaning 143008 clauses out of 286015 with flag 46188830/10430000
2797.31/2762.98	c cleaning 143995 clauses out of 288008 with flag 46779585/10575001
2836.46/2801.80	c cleaning 145003 clauses out of 290013 with flag 47393600/10721001
2878.62/2843.23	c cleaning 145997 clauses out of 292009 with flag 48019365/10868000
2919.87/2884.20	c cleaning 146991 clauses out of 294012 with flag 48669655/11016000
2962.60/2926.36	c cleaning 148005 clauses out of 296021 with flag 49366907/11165000
3006.18/2969.94	c cleaning 149003 clauses out of 298017 with flag 50143178/11315001
3055.22/3019.12	c cleaning 150006 clauses out of 300014 with flag 51142660/11466001
3106.71/3070.41	c cleaning 150994 clauses out of 302007 with flag 52075188/11618000
3157.39/3120.98	c cleaning 152007 clauses out of 304013 with flag 52813773/11771000
3206.04/3169.49	c cleaning 153001 clauses out of 306007 with flag 53553276/11925001
3255.35/3218.17	c cleaning 154000 clauses out of 308005 with flag 54363036/12080000
3302.73/3265.33	c cleaning 154997 clauses out of 310005 with flag 55135045/12236000
3350.09/3312.68	c cleaning 155991 clauses out of 312008 with flag 55829061/12393000
3393.63/3355.56	c cleaning 157003 clauses out of 314017 with flag 56546810/12551000
3442.15/3401.27	c cleaning 157999 clauses out of 316014 with flag 57299520/12710000
3484.59/3443.44	c cleaning 158999 clauses out of 318016 with flag 57994205/12870001
3529.23/3488.14	c cleaning 160003 clauses out of 320017 with flag 58684885/13031001
3573.37/3531.84	c cleaning 160994 clauses out of 322014 with flag 59364149/13193001
3600.48/3558.70	c starts		: 244
3600.48/3558.70	c timeout
3600.48/3558.70	c conflicts		: 13305236
3600.48/3558.70	c decisions		: 16721600
3600.48/3558.70	c propagations		: 8408443863
3600.48/3558.70	c inspects		: 14040701069
3600.48/3558.70	c shortcuts		: 0
3600.48/3558.70	c learnt literals	: 23
3600.48/3558.70	c learnt binary clauses	: 1224
3600.48/3558.70	c learnt ternary clauses	: 949
3600.48/3558.70	c learnt constraints	: 13305213
3600.48/3558.70	c ignored constraints	: 0
3600.48/3558.70	c root simplifications	: 0
3600.48/3558.70	c removed literals (reason simplification)	: 0
3600.48/3558.70	c reason swapping (by a shorter reason)	: 0
3600.48/3558.70	c Calls to reduceDB	: 158
3600.48/3558.70	c Number of update (reduction) of LBD	: 791050
3600.48/3558.70	c Imported unit clauses	: 0
3600.48/3558.70	c No decision after first conflict	: false
3600.48/3558.70	c number of reductions to clauses (during analyze)	: 0
3600.48/3558.70	c number of learned constraints concerned by reduction	: 0
3600.48/3558.70	c number of learning phase by resolution	: 0
3600.48/3558.70	c number of learning phase by cutting planes	: 0
3600.48/3558.70	c number of rounding to 1 operations	: 0
3600.48/3558.70	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.48/3558.70	c number of reductions of the coefficients by power 2 	: 0
3600.48/3558.70	c number of right shift for reduction by power 2 	: 0
3600.48/3558.70	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.48/3558.70	c number of ending skipping 	: 0
3600.48/3558.70	c number of internal skipping 	: 0
3600.48/3558.70	c number of derivation steps 	: 0
3600.48/3558.70	c number of skipped derivation steps 	: 0
3600.48/3558.70	c number of remaining unassigned 	: 0
3600.48/3558.70	c number of remaining assigned 	: 0
3600.48/3558.70	c number of falsified literals weakened from reason	: 0
3600.48/3558.70	c number of falsified literals weakened from conflict	: 0
3600.48/3558.70	c time for arithmetic operations	: 0
3600.48/3558.70	c minimum degree of deleted constraints	: null
3600.48/3558.70	c maximum degree of deleted constraints	: null
3600.48/3558.70	c number of deleted constraints	: 0
3600.48/3558.70	c speed (assignments/second)	: 2363217.5563068413
3600.48/3558.70	c non guided choices	: 6152
3600.67/3558.75	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 272031
3600.67/3558.75	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 1224
3600.67/3558.75	s UNKNOWN
3600.67/3558.75	c Total wall clock time (in seconds): 3558.626

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (58696 MiB free)
  memory of node 1: 64510 MiB (55987 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432148-1721054576/watcher-4432148-1721054576 -o /tmp/evaluation-result-4432148-1721054576/solver-4432148-1721054576 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721051003-802435 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432148-1721054576.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=804452, runsolver pid=804449

[startup+0.100122 s]*
/proc/loadavg: 4.30 4.26 4.18 5/330 804470
/proc/meminfo: memFree=117391800/131524600 swapFree=131071996/131071996
[pid=804452] ppid=804449 vsize=18975048 memory=62496 CPUtime=0.13 cores=0,2
/proc/804452/stat : 804452 (java) S 804449 804452 802425 0 -1 1077936128 7202 0 0 0 11 2 0 0 20 0 18 0 157627296 19430449152 15624 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
/proc/804452/statm: 4743762 15624 5549 1 0 549317 0
[pid=804452/tid=804454] ppid=804449 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/804452/task/804454/stat : 804454 (java) R 804449 804452 802425 0 -1 4194368 5728 0 0 0 6 2 0 0 20 0 18 0 157627296 19430449152 15624 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804463] ppid=804449 vsize=18975048 memory=228556276070 CPUtime=0 cores=0,2
/proc/804452/task/804463/stat : 804463 (Finalizer) S 804449 804452 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 157627299 19430449152 15624 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804470] ppid=804449 vsize=18975048 memory=15817789847927870 CPUtime=0 cores=0,2
/proc/804452/task/804470/stat : 804470 (Common-Cleaner) S 804449 804452 802425 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 157627299 19430449152 15624 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62496 KiB

[startup+0.210119 s]*
/proc/loadavg: 4.30 4.26 4.18 6/330 804470
/proc/meminfo: memFree=117376208/131524600 swapFree=131071996/131071996
[pid=804452] ppid=804449 vsize=18975048 memory=80888 CPUtime=0.33 cores=0,2
/proc/804452/stat : 804452 (java) S 804449 804452 802425 0 -1 1077936128 8267 0 0 0 30 3 0 0 20 0 18 0 157627296 19430449152 20222 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
/proc/804452/statm: 4743762 20222 5818 1 0 549997 0
[pid=804452/tid=804454] ppid=804449 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=0,2
/proc/804452/task/804454/stat : 804454 (java) R 804449 804452 802425 0 -1 4194368 5903 0 0 0 16 2 0 0 20 0 18 0 157627296 19430449152 20222 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804463] ppid=804449 vsize=18975048 memory=17963 CPUtime=0 cores=0,2
/proc/804452/task/804463/stat : 804463 (Finalizer) S 804449 804452 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 157627299 19430449152 20222 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804470] ppid=804449 vsize=18975048 memory=14697378909259238 CPUtime=0 cores=0,2
/proc/804452/task/804470/stat : 804470 (Common-Cleaner) S 804449 804452 802425 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 157627299 19430449152 20222 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 80888 KiB

[startup+0.309283 s]*
/proc/loadavg: 4.30 4.26 4.18 6/330 804470
/proc/meminfo: memFree=117322096/131524600 swapFree=131071996/131071996
[pid=804452] ppid=804449 vsize=18975048 memory=132820 CPUtime=0.52 cores=0,2
/proc/804452/stat : 804452 (java) S 804449 804452 802425 0 -1 1077936128 9231 0 0 0 48 4 0 0 20 0 18 0 157627296 19430449152 33205 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
/proc/804452/statm: 4743762 33205 5818 1 0 550651 0
[pid=804452/tid=804454] ppid=804449 vsize=18975048 memory=-8527959968116482748 CPUtime=0.26 cores=0,2
/proc/804452/task/804454/stat : 804454 (java) R 804449 804452 802425 0 -1 4194368 5953 0 0 0 23 3 0 0 20 0 18 0 157627296 19430449152 33205 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804463] ppid=804449 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/804452/task/804463/stat : 804463 (Finalizer) S 804449 804452 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 157627299 19430449152 33205 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804470] ppid=804449 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/804452/task/804470/stat : 804470 (Common-Cleaner) S 804449 804452 802425 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 157627299 19430449152 33205 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 132820 KiB

[startup+0.705035 s]
/proc/loadavg: 4.30 4.26 4.18 6/331 804471
/proc/meminfo: memFree=117269748/131524600 swapFree=131071996/131071996
[pid=804452] ppid=804449 vsize=19108176 memory=205760 CPUtime=1.26 cores=0,2
/proc/804452/stat : 804452 (java) S 804449 804452 802425 0 -1 1077936128 17319 0 0 0 119 7 0 0 20 0 20 0 157627296 19566772224 51440 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
/proc/804452/statm: 4777044 51440 5868 1 0 556176 0
[pid=804452/tid=804454] ppid=804449 vsize=19108176 memory=5492 CPUtime=0.54 cores=0,2
/proc/804452/task/804454/stat : 804454 (java) R 804449 804452 802425 0 -1 4194368 6097 0 0 0 50 4 0 0 20 0 20 0 157627296 19566772224 51440 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804463] ppid=804449 vsize=19108176 memory=12312 CPUtime=0 cores=0,2
/proc/804452/task/804463/stat : 804463 (Finalizer) S 804449 804452 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 157627299 19566772224 51440 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804470] ppid=804449 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/804452/task/804470/stat : 804470 (Common-Cleaner) S 804449 804452 802425 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 157627299 19566772224 51440 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 205760 KiB

[startup+1.50112 s]
/proc/loadavg: 4.30 4.26 4.18 6/332 804472
/proc/meminfo: memFree=117245992/131524600 swapFree=131071996/131071996
[pid=804452] ppid=804449 vsize=19108176 memory=209024 CPUtime=2.84 cores=0,2
/proc/804452/stat : 804452 (java) S 804449 804452 802425 0 -1 1077936128 18052 0 0 0 277 7 0 0 20 0 20 0 157627296 19566772224 52256 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
/proc/804452/statm: 4777044 52256 5887 1 0 556747 0
[pid=804452/tid=804454] ppid=804449 vsize=19108176 memory=12312 CPUtime=1.32 cores=0,2
/proc/804452/task/804454/stat : 804454 (java) R 804449 804452 802425 0 -1 4194368 6113 0 0 0 128 4 0 0 20 0 20 0 157627296 19566772224 52256 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804463] ppid=804449 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/804452/task/804463/stat : 804463 (Finalizer) S 804449 804452 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 157627299 19566772224 52256 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804470] ppid=804449 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/804452/task/804470/stat : 804470 (Common-Cleaner) S 804449 804452 802425 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 157627299 19566772224 52256 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804472] ppid=804449 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/804452/task/804472/stat : 804472 (Timer-0) S 804449 804452 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157627360 19566772224 52256 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 209024 KiB

[startup+3.10613 s]
/proc/loadavg: 4.28 4.26 4.18 4/311 804475
/proc/meminfo: memFree=121318980/131524600 swapFree=131071996/131071996
[pid=804452] ppid=804449 vsize=19108176 memory=211712 CPUtime=5 cores=0,2
/proc/804452/stat : 804452 (java) S 804449 804452 802425 0 -1 1077936128 20129 0 0 0 493 7 0 0 20 0 20 0 157627296 19566772224 52928 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
/proc/804452/statm: 4777044 52928 5903 1 0 557224 0
[pid=804452/tid=804454] ppid=804449 vsize=19108176 memory=0 CPUtime=2.9 cores=0,2
/proc/804452/task/804454/stat : 804454 (java) R 804449 804452 802425 0 -1 4194368 6246 0 0 0 286 4 0 0 20 0 20 0 157627296 19566772224 52928 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804463] ppid=804449 vsize=19108176 memory=12316 CPUtime=0 cores=0,2
/proc/804452/task/804463/stat : 804463 (Finalizer) S 804449 804452 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 157627299 19566772224 52928 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804470] ppid=804449 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/804452/task/804470/stat : 804470 (Common-Cleaner) S 804449 804452 802425 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 157627299 19566772224 52928 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804472] ppid=804449 vsize=19108176 memory=12312 CPUtime=0 cores=0,2
/proc/804452/task/804472/stat : 804472 (Timer-0) S 804449 804452 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157627360 19566772224 52928 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
Current children cumulated CPU time: 5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 211712 KiB

[startup+6.30112 s]
/proc/loadavg: 4.28 4.26 4.18 5/332 804540
/proc/meminfo: memFree=121118768/131524600 swapFree=131071996/131071996
[pid=804452] ppid=804449 vsize=19108176 memory=211512 CPUtime=8.69 cores=0,2
/proc/804452/stat : 804452 (java) S 804449 804452 802425 0 -1 1077936128 28437 0 0 0 861 8 0 0 20 0 20 0 157627296 19566772224 52878 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
/proc/804452/statm: 4777044 52878 5903 1 0 557340 0
[pid=804452/tid=804454] ppid=804449 vsize=19108176 memory=0 CPUtime=6.06 cores=0,2
/proc/804452/task/804454/stat : 804454 (java) R 804449 804452 802425 0 -1 4194368 7594 0 0 0 602 4 0 0 20 0 20 0 157627296 19566772224 52878 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804463] ppid=804449 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/804452/task/804463/stat : 804463 (Finalizer) S 804449 804452 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 157627299 19566772224 52878 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804470] ppid=804449 vsize=19108176 memory=12316 CPUtime=0 cores=0,2
/proc/804452/task/804470/stat : 804470 (Common-Cleaner) S 804449 804452 802425 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 157627299 19566772224 52878 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804472] ppid=804449 vsize=19108176 memory=40256 CPUtime=0 cores=0,2
/proc/804452/task/804472/stat : 804472 (Timer-0) S 804449 804452 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157627360 19566772224 52878 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
Current children cumulated CPU time: 8.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 211512 KiB

[startup+12.7011 s]
/proc/loadavg: 4.26 4.26 4.18 5/332 804610
/proc/meminfo: memFree=122769280/131524600 swapFree=131071996/131071996
[pid=804452] ppid=804449 vsize=19108176 memory=204060 CPUtime=15.15 cores=0,2
/proc/804452/stat : 804452 (java) S 804449 804452 802425 0 -1 1077936128 33003 0 0 0 1506 9 0 0 20 0 20 0 157627296 19566772224 51015 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
/proc/804452/statm: 4777044 51015 5919 1 0 557342 0
[pid=804452/tid=804454] ppid=804449 vsize=19108176 memory=0 CPUtime=12.4 cores=0,2
/proc/804452/task/804454/stat : 804454 (java) R 804449 804452 802425 0 -1 4194368 8066 0 0 0 1236 4 0 0 20 0 20 0 157627296 19566772224 51015 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804463] ppid=804449 vsize=19108176 memory=204060 CPUtime=0 cores=0,2
/proc/804452/task/804463/stat : 804463 (Finalizer) S 804449 804452 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 157627299 19566772224 51015 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804470] ppid=804449 vsize=19108176 memory=207932 CPUtime=0 cores=0,2
/proc/804452/task/804470/stat : 804470 (Common-Cleaner) S 804449 804452 802425 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 157627299 19566772224 51015 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804472] ppid=804449 vsize=19108176 memory=211712 CPUtime=0 cores=0,2
/proc/804452/task/804472/stat : 804472 (Timer-0) S 804449 804452 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157627360 19566772224 51015 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
Current children cumulated CPU time: 15.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 204060 KiB

[startup+25.5011 s]
/proc/loadavg: 4.43 4.29 4.19 5/332 804679
/proc/meminfo: memFree=122621656/131524600 swapFree=131071996/131071996
[pid=804452] ppid=804449 vsize=19108176 memory=220912 CPUtime=27.85 cores=0,2
/proc/804452/stat : 804452 (java) S 804449 804452 802425 0 -1 1077936128 36189 0 0 0 2774 11 0 0 20 0 20 0 157627296 19566772224 55228 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
/proc/804452/statm: 4777044 55228 5935 1 0 557342 0
[pid=804452/tid=804454] ppid=804449 vsize=19108176 memory=220912 CPUtime=25.03 cores=0,2
/proc/804452/task/804454/stat : 804454 (java) R 804449 804452 802425 0 -1 4194368 9274 0 0 0 2498 5 0 0 20 0 20 0 157627296 19566772224 55228 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804463] ppid=804449 vsize=19108176 memory=220912 CPUtime=0 cores=0,2
/proc/804452/task/804463/stat : 804463 (Finalizer) S 804449 804452 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 157627299 19566772224 55228 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804470] ppid=804449 vsize=19108176 memory=40256 CPUtime=0 cores=0,2
/proc/804452/task/804470/stat : 804470 (Common-Cleaner) S 804449 804452 802425 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 157627299 19566772224 55228 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804472] ppid=804449 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/804452/task/804472/stat : 804472 (Timer-0) S 804449 804452 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157627360 19566772224 55228 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
Current children cumulated CPU time: 27.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 220912 KiB

[startup+51.1061 s]
/proc/loadavg: 4.40 4.30 4.20 5/332 804684
/proc/meminfo: memFree=117574168/131524600 swapFree=131071996/131071996
[pid=804452] ppid=804449 vsize=19108176 memory=393364 CPUtime=53.39 cores=0,2
/proc/804452/stat : 804452 (java) S 804449 804452 802425 0 -1 1077936128 41938 0 0 0 5324 15 0 0 20 0 20 0 157627296 19566772224 98341 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
/proc/804452/statm: 4777044 98341 5939 1 0 557342 0
[pid=804452/tid=804454] ppid=804449 vsize=19108176 memory=12316 CPUtime=50.18 cores=0,2
/proc/804452/task/804454/stat : 804454 (java) R 804449 804452 802425 0 -1 4194368 11041 0 0 0 5013 5 0 0 20 0 20 0 157627296 19566772224 98341 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804463] ppid=804449 vsize=19108176 memory=220912 CPUtime=0 cores=0,2
/proc/804452/task/804463/stat : 804463 (Finalizer) S 804449 804452 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 157627299 19566772224 98341 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804470] ppid=804449 vsize=19108176 memory=-8527959968116482748 CPUtime=0 cores=0,2
/proc/804452/task/804470/stat : 804470 (Common-Cleaner) S 804449 804452 802425 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 157627299 19566772224 98341 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0

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

/proc/804452/task/804463/stat : 804463 (Finalizer) S 804449 804452 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 157627299 19566772224 2795204 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804470] ppid=804449 vsize=19108176 memory=11178764 CPUtime=0 cores=0,2
/proc/804452/task/804470/stat : 804470 (Common-Cleaner) S 804449 804452 802425 0 -1 1077936192 1078 0 0 0 0 0 0 0 20 0 20 0 157627299 19566772224 2795204 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804472] ppid=804449 vsize=19108176 memory=-8527959968116482748 CPUtime=0 cores=0,2
/proc/804452/task/804472/stat : 804472 (Timer-0) S 804449 804452 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157627360 19566772224 2795204 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
Current children cumulated CPU time: 3198.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11180816 KiB

[startup+3222.3 s]
/proc/loadavg: 4.33 4.36 4.35 6/330 806444
/proc/meminfo: memFree=76354004/131524600 swapFree=131071996/131071996
[pid=804452] ppid=804449 vsize=19108176 memory=11719444 CPUtime=3259.53 cores=0,2
/proc/804452/stat : 804452 (java) S 804449 804452 802425 0 -1 1077936128 251341 0 0 0 325624 329 0 0 20 0 20 0 157627296 19566772224 2929861 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
/proc/804452/statm: 4777044 2929861 5954 1 0 3503378 0
[pid=804452/tid=804454] ppid=804449 vsize=19108176 memory=11178764 CPUtime=3161.27 cores=0,2
/proc/804452/task/804454/stat : 804454 (java) R 804449 804452 802425 0 -1 4194368 62903 0 0 0 316044 83 0 0 20 0 20 0 157627296 19566772224 2929861 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804463] ppid=804449 vsize=19108176 memory=11178764 CPUtime=0 cores=0,2
/proc/804452/task/804463/stat : 804463 (Finalizer) S 804449 804452 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 157627299 19566772224 2929861 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804470] ppid=804449 vsize=19108176 memory=11178764 CPUtime=0 cores=0,2
/proc/804452/task/804470/stat : 804470 (Common-Cleaner) S 804449 804452 802425 0 -1 1077936192 1125 0 0 0 0 0 0 0 20 0 20 0 157627299 19566772224 2929861 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804472] ppid=804449 vsize=19108176 memory=11180816 CPUtime=0 cores=0,2
/proc/804452/task/804472/stat : 804472 (Timer-0) S 804449 804452 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157627360 19566772224 2929861 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
Current children cumulated CPU time: 3259.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11719444 KiB

[startup+3282.3 s]
/proc/loadavg: 4.36 4.37 4.36 5/330 806455
/proc/meminfo: memFree=75981108/131524600 swapFree=131071996/131071996
[pid=804452] ppid=804449 vsize=19108176 memory=11948848 CPUtime=3319.58 cores=0,2
/proc/804452/stat : 804452 (java) S 804449 804452 802425 0 -1 1077936128 251959 0 0 0 331622 336 0 0 20 0 20 0 157627296 19566772224 2987212 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
/proc/804452/statm: 4777044 2987212 5954 1 0 3503378 0
[pid=804452/tid=804454] ppid=804449 vsize=19108176 memory=11948848 CPUtime=3220.45 cores=0,2
/proc/804452/task/804454/stat : 804454 (java) R 804449 804452 802425 0 -1 4194368 63253 0 0 0 321962 83 0 0 20 0 20 0 157627296 19566772224 2987212 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804463] ppid=804449 vsize=19108176 memory=11948848 CPUtime=0 cores=0,2
/proc/804452/task/804463/stat : 804463 (Finalizer) S 804449 804452 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 157627299 19566772224 2987212 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804470] ppid=804449 vsize=19108176 memory=12316 CPUtime=0 cores=0,2
/proc/804452/task/804470/stat : 804470 (Common-Cleaner) S 804449 804452 802425 0 -1 1077936192 1126 0 0 0 0 0 0 0 20 0 20 0 157627299 19566772224 2987212 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804472] ppid=804449 vsize=19108176 memory=12316 CPUtime=0 cores=0,2
/proc/804452/task/804472/stat : 804472 (Timer-0) S 804449 804452 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157627360 19566772224 2987212 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
Current children cumulated CPU time: 3319.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11948848 KiB

[startup+3342.3 s]
/proc/loadavg: 4.77 4.46 4.39 5/331 806533
/proc/meminfo: memFree=84182304/131524600 swapFree=131071996/131071996
[pid=804452] ppid=804449 vsize=19108176 memory=12679992 CPUtime=3379.98 cores=0,2
/proc/804452/stat : 804452 (java) S 804449 804452 802425 0 -1 1077936128 252931 0 0 0 337647 351 0 0 20 0 20 0 157627296 19566772224 3169998 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
/proc/804452/statm: 4777044 3169998 5954 1 0 3503378 0
[pid=804452/tid=804454] ppid=804449 vsize=19108176 memory=0 CPUtime=3279.52 cores=0,2
/proc/804452/task/804454/stat : 804454 (java) R 804449 804452 802425 0 -1 4194368 63834 0 0 0 327869 83 0 0 20 0 20 0 157627296 19566772224 3169998 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804463] ppid=804449 vsize=19108176 memory=12679992 CPUtime=0 cores=0,2
/proc/804452/task/804463/stat : 804463 (Finalizer) S 804449 804452 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 157627299 19566772224 3169998 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804470] ppid=804449 vsize=19108176 memory=5492 CPUtime=0 cores=0,2
/proc/804452/task/804470/stat : 804470 (Common-Cleaner) S 804449 804452 802425 0 -1 1077936192 1126 0 0 0 0 0 0 0 20 0 20 0 157627299 19566772224 3169998 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804472] ppid=804449 vsize=19108176 memory=12679992 CPUtime=0 cores=0,2
/proc/804452/task/804472/stat : 804472 (Timer-0) S 804449 804452 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157627360 19566772224 3169998 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
Current children cumulated CPU time: 3379.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12679992 KiB

[startup+3402.3 s]
/proc/loadavg: 4.50 4.43 4.38 5/331 806543
/proc/meminfo: memFree=76919996/131524600 swapFree=131071996/131071996
[pid=804452] ppid=804449 vsize=19108176 memory=14070888 CPUtime=3443.24 cores=0,2
/proc/804452/stat : 804452 (java) S 804449 804452 802425 0 -1 1077936128 275202 0 0 0 343946 378 0 0 20 0 20 0 157627296 19566772224 3517722 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
/proc/804452/statm: 4777044 3517722 5954 1 0 4090838 0
[pid=804452/tid=804454] ppid=804449 vsize=19108176 memory=0 CPUtime=3338.39 cores=0,2
/proc/804452/task/804454/stat : 804454 (java) R 804449 804452 802425 0 -1 4194368 69168 0 0 0 333751 88 0 0 20 0 20 0 157627296 19566772224 3517722 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804463] ppid=804449 vsize=19108176 memory=2000 CPUtime=0 cores=0,2
/proc/804452/task/804463/stat : 804463 (Finalizer) S 804449 804452 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 157627299 19566772224 3517722 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804470] ppid=804449 vsize=19108176 memory=13948008 CPUtime=0 cores=0,2
/proc/804452/task/804470/stat : 804470 (Common-Cleaner) S 804449 804452 802425 0 -1 1077936192 1126 0 0 0 0 0 0 0 20 0 20 0 157627299 19566772224 3517722 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804472] ppid=804449 vsize=19108176 memory=13931624 CPUtime=0 cores=0,2
/proc/804452/task/804472/stat : 804472 (Timer-0) S 804449 804452 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157627360 19566772224 3517722 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
Current children cumulated CPU time: 3443.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14070888 KiB

[startup+3462.3 s]
/proc/loadavg: 4.54 4.47 4.40 5/334 806559
/proc/meminfo: memFree=73856704/131524600 swapFree=131071996/131071996
[pid=804452] ppid=804449 vsize=19108176 memory=14689384 CPUtime=3503.65 cores=0,2
/proc/804452/stat : 804452 (java) S 804449 804452 802425 0 -1 1077936128 277051 0 0 0 349975 390 0 0 20 0 20 0 157627296 19566772224 3672346 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
/proc/804452/statm: 4777044 3672346 5954 1 0 4090838 0
[pid=804452/tid=804454] ppid=804449 vsize=19108176 memory=0 CPUtime=3397.56 cores=0,2
/proc/804452/task/804454/stat : 804454 (java) R 804449 804452 802425 0 -1 4194368 70075 0 0 0 339660 96 0 0 20 0 20 0 157627296 19566772224 3672346 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804463] ppid=804449 vsize=19108176 memory=12316 CPUtime=0 cores=0,2
/proc/804452/task/804463/stat : 804463 (Finalizer) S 804449 804452 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 157627299 19566772224 3672346 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804470] ppid=804449 vsize=19108176 memory=14574696 CPUtime=0 cores=0,2
/proc/804452/task/804470/stat : 804470 (Common-Cleaner) S 804449 804452 802425 0 -1 1077936192 1126 0 0 0 0 0 0 0 20 0 20 0 157627299 19566772224 3672346 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804472] ppid=804449 vsize=19108176 memory=-8527959968116482748 CPUtime=0 cores=0,2
/proc/804452/task/804472/stat : 804472 (Timer-0) S 804449 804452 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157627360 19566772224 3672346 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
Current children cumulated CPU time: 3503.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14689384 KiB

[startup+3522.3 s]
/proc/loadavg: 4.55 4.48 4.41 5/334 806705
/proc/meminfo: memFree=83524464/131524600 swapFree=131071996/131071996
[pid=804452] ppid=804449 vsize=19108176 memory=14689384 CPUtime=3563.38 cores=0,2
/proc/804452/stat : 804452 (java) S 804449 804452 802425 0 -1 1077936128 278037 0 0 0 355946 392 0 0 20 0 20 0 157627296 19566772224 3672346 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
/proc/804452/statm: 4777044 3672346 5954 1 0 4090838 0
[pid=804452/tid=804454] ppid=804449 vsize=19108176 memory=14574696 CPUtime=3456.83 cores=0,2
/proc/804452/task/804454/stat : 804454 (java) R 804449 804452 802425 0 -1 4194368 70630 0 0 0 345586 97 0 0 20 0 20 0 157627296 19566772224 3672346 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804463] ppid=804449 vsize=19108176 memory=14574696 CPUtime=0 cores=0,2
/proc/804452/task/804463/stat : 804463 (Finalizer) S 804449 804452 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 157627299 19566772224 3672346 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804470] ppid=804449 vsize=19108176 memory=12316 CPUtime=0 cores=0,2
/proc/804452/task/804470/stat : 804470 (Common-Cleaner) S 804449 804452 802425 0 -1 1077936192 1126 0 0 0 0 0 0 0 20 0 20 0 157627299 19566772224 3672346 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804472] ppid=804449 vsize=19108176 memory=14689384 CPUtime=0 cores=0,2
/proc/804452/task/804472/stat : 804472 (Timer-0) S 804449 804452 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157627360 19566772224 3672346 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
Current children cumulated CPU time: 3563.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14689384 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3558.4 s]
/proc/loadavg: 4.47 4.47 4.40 5/334 806713
/proc/meminfo: memFree=78021852/131524600 swapFree=131071996/131071996
[pid=804452] ppid=804449 vsize=19108176 memory=14689388 CPUtime=3600.08 cores=0,2
/proc/804452/stat : 804452 (java) S 804449 804452 802425 0 -1 1077936128 279174 0 0 0 359615 393 0 0 20 0 20 0 157627296 19566772224 3672347 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
/proc/804452/statm: 4777044 3672347 5954 1 0 4090838 0
[pid=804452/tid=804454] ppid=804449 vsize=19108176 memory=12312 CPUtime=3492.07 cores=0,2
/proc/804452/task/804454/stat : 804454 (java) S 804449 804452 802425 0 -1 1077936192 70828 0 0 0 349110 97 0 0 20 0 20 0 157627296 19566772224 3672347 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804463] ppid=804449 vsize=19108176 memory=12316 CPUtime=0 cores=0,2
/proc/804452/task/804463/stat : 804463 (Finalizer) S 804449 804452 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 157627299 19566772224 3672347 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804470] ppid=804449 vsize=19108176 memory=14689388 CPUtime=0 cores=0,2
/proc/804452/task/804470/stat : 804470 (Common-Cleaner) S 804449 804452 802425 0 -1 1077936192 1126 0 0 0 0 0 0 0 20 0 20 0 157627299 19566772224 3672347 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
[pid=804452/tid=804472] ppid=804449 vsize=19108176 memory=14689388 CPUtime=0 cores=0,2
/proc/804452/task/804472/stat : 804472 (Timer-0) S 804449 804452 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157627360 19566772224 3672347 134679101440 94883110780928 94883110784624 140722279699728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94883110792440 94883110793232 94883131592704 140722279707655 140722279707745 140722279707745 140722279714760 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14689388 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.82 s, system=3.97768 s

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

[startup+3558.8 s]*
/proc/loadavg: 4.47 4.47 4.40 7/316 806716
/proc/meminfo: memFree=92332324/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3558.81
CPU time (s): 3600.8
CPU user time (s): 3596.82
CPU system time (s): 3.97768
CPU usage (%): 101.18
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 14689864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.82
system time used= 3.97768
maximum resident set size= 14691080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280978
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117104
involuntary context switches= 35651


# summary of solver processes directly reported to runsolver:
#   pid: 804452
#   total CPU time (s): 3600.8
#   total CPU user time (s): 3596.82
#   total CPU system time (s): 3.97768

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.90756 second user time and 16.8465 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-15 16:43:08
IDJOB=4432148
IDBENCH=146318
IDSOLVER=3058
FILE ID=nodeC033/4432148-1721054576
RUNJOBID= nodeC033-1721051003-802435
SLURM_JOB_ID= 7505484
Free space on /tmp= 890064 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2/normalized-BA_RDC4.dot_unif_10null0mast_rapportOE2.0_TMAX60_K67_cod2_pbEq1_newVersion.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432148-1721054576/watcher-4432148-1721054576 -o /tmp/evaluation-result-4432148-1721054576/solver-4432148-1721054576 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721051003-802435 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432148-1721054576.opb

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

MD5SUM BENCH= 5aa1ba277a339a08ad3677907a503ea8
RANDOM SEED=231244553

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        117436120 kB
MemAvailable:   120273840 kB
Buffers:          370676 kB
Cached:          3274272 kB
SwapCached:            0 kB
Active:           606104 kB
Inactive:       12806812 kB
Active(anon):       1572 kB
Inactive(anon):  9804140 kB
Active(file):     604532 kB
Inactive(file):  3002672 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              3060 kB
Writeback:            20 kB
AnonPages:       9765084 kB
Mapped:           123416 kB
Shmem:             37716 kB
KReclaimable:     140328 kB
Slab:             251192 kB
SReclaimable:     140328 kB
SUnreclaim:       110864 kB
KernelStack:        5036 kB
PageTables:        29524 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   12033992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            60320 kB
HardwareCorrupted:     0 kB
AnonHugePages:   9482240 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:      256724 kB
DirectMap2M:    25731072 kB
DirectMap1G:    110100480 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC033 at 2024-07-15 17:42:27