Trace number 4453042

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07? (TO) 3600.49 3499.86

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v1_shuffle/normalized-grid10_59.shuf-2.opb
MD5SUMbff129d5f55fe22e82ee63766a82b7b0
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.110832
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables590
Total number of constraints1181
Number of constraints which are clauses1180
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint590
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 8
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 598
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

Solver Data 

0.05/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.05/0.16	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.16	c See www.sat4j.org for details.
0.05/0.16	c version CUSTOM.v20240707
0.05/0.17	c java.runtime.name	OpenJDK Runtime Environment
0.05/0.17	c java.vm.name		OpenJDK 64-Bit Server VM
0.05/0.17	c java.vm.version	22.0.1+8-16
0.05/0.17	c java.vm.vendor	Oracle Corporation
0.05/0.17	c sun.arch.data.model	64
0.05/0.17	c java.version		22.0.1
0.05/0.17	c os.name		Linux
0.05/0.17	c os.version		4.18.0-301.1.el8.x86_64
0.05/0.17	c os.arch		amd64
0.05/0.18	c Free memory 		2104792832
0.05/0.18	c Max memory 		16282288128
0.05/0.18	c Total memory 		2113929216
0.05/0.18	c Number of processors 	2
0.14/0.25	--- Begin Solver configuration ---
0.14/0.25	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.25	Learn all clauses as in MiniSAT
0.14/0.25	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.25	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.25	Expensive reason simplification
0.14/0.25	Glucose 2.1 dynamic restart strategy
0.14/0.25	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.25	timeout=2147483s
0.14/0.25	DB Simplification allowed=false
0.14/0.25	Listener: none
0.14/0.25	--- End Solver configuration ---
0.14/0.25	c Pseudo Boolean Optimization by upper bound
0.14/0.25	c --- Begin Solver configuration ---
0.14/0.25	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.25	c Learn all clauses as in MiniSAT
0.14/0.25	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.25	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.25	c Expensive reason simplification
0.14/0.25	c Glucose 2.1 dynamic restart strategy
0.14/0.25	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.25	c timeout=2147483s
0.14/0.25	c DB Simplification allowed=false
0.14/0.25	c Listener: none
0.14/0.25	c --- End Solver configuration ---
0.14/0.25	c solving HOME/instance-4453042-1721842415.opb
0.14/0.25	c reading problem ... 
0.14/0.26	c using VERIPB proof format
0.14/0.26	c  no objective function found
0.14/0.30	c ... done. Wall clock time 0.05s.
0.14/0.30	c declared #vars     590
0.14/0.30	c #constraints  1181
0.14/0.30	c constraints type 
0.14/0.30	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1180
0.14/0.30	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.14/0.30	c 1181 constraints processed.
3.02/1.70	c cleaning 2501 clauses out of 5001 with flag 10523/5001
4.28/2.50	c cleaning 4244 clauses out of 8500 with flag 23152/11001
5.17/3.33	c cleaning 5626 clauses out of 11255 with flag 37833/18000
6.31/4.39	c cleaning 6813 clauses out of 13631 with flag 54636/26002
7.68/5.51	c cleaning 7908 clauses out of 15816 with flag 73640/35000
9.07/6.75	c cleaning 8952 clauses out of 17909 with flag 94682/45001
10.54/8.18	c cleaning 9978 clauses out of 19958 with flag 117830/56002
11.97/9.57	c cleaning 10989 clauses out of 21980 with flag 143114/68002
13.83/11.30	c cleaning 11996 clauses out of 23991 with flag 170565/81002
15.61/13.04	c cleaning 12995 clauses out of 25995 with flag 199998/95002
17.58/14.93	c cleaning 13999 clauses out of 27999 with flag 231613/110001
19.68/16.96	c cleaning 14999 clauses out of 29999 with flag 265240/126000
22.07/19.11	c cleaning 15998 clauses out of 32000 with flag 301138/143000
24.36/21.33	c cleaning 16995 clauses out of 34002 with flag 339028/161000
26.93/23.80	c cleaning 17997 clauses out of 36008 with flag 379048/180001
29.75/26.55	c cleaning 19005 clauses out of 38010 with flag 421133/200000
32.53/29.36	c cleaning 19998 clauses out of 40006 with flag 465466/221001
35.47/35.37	c cleaning 21004 clauses out of 42008 with flag 511876/243001
39.05/38.65	c cleaning 21996 clauses out of 44005 with flag 560431/266002
42.35/41.90	c cleaning 23001 clauses out of 46007 with flag 610956/290000
45.92/45.49	c cleaning 24004 clauses out of 48007 with flag 663700/315001
49.69/49.03	c cleaning 25000 clauses out of 50002 with flag 718629/341000
53.78/52.94	c cleaning 25998 clauses out of 52003 with flag 775643/368001
58.36/57.41	c cleaning 27000 clauses out of 54006 with flag 834889/396002
62.92/61.84	c cleaning 28001 clauses out of 56004 with flag 896070/425000
67.77/69.03	c cleaning 28997 clauses out of 58003 with flag 959597/455000
72.72/73.85	c cleaning 29998 clauses out of 60006 with flag 1024963/486000
78.01/79.04	c cleaning 30995 clauses out of 62008 with flag 1092271/518000
83.85/84.74	c cleaning 32004 clauses out of 64015 with flag 1161672/551002
90.11/90.87	c cleaning 33002 clauses out of 66009 with flag 1233428/585000
96.12/104.87	c cleaning 34001 clauses out of 68007 with flag 1307361/620000
102.68/111.21	c cleaning 35000 clauses out of 70006 with flag 1383165/656000
108.89/117.30	c cleaning 36000 clauses out of 72006 with flag 1460933/693000
116.06/124.33	c cleaning 37000 clauses out of 74006 with flag 1541124/731000
123.50/133.97	c cleaning 38003 clauses out of 76008 with flag 1623357/770002
130.71/141.01	c cleaning 38995 clauses out of 78003 with flag 1707859/810000
138.85/148.82	c cleaning 40004 clauses out of 80008 with flag 1794376/851000
147.44/157.31	c cleaning 41001 clauses out of 82004 with flag 1883184/893000
155.58/167.37	c cleaning 42001 clauses out of 84003 with flag 1973895/936000
163.95/175.32	c cleaning 42997 clauses out of 86002 with flag 2066581/980000
171.61/182.66	c cleaning 43998 clauses out of 88005 with flag 2161181/1025000
181.09/193.04	c cleaning 44997 clauses out of 90008 with flag 2258098/1071001
190.36/202.23	c cleaning 46000 clauses out of 92010 with flag 2357249/1118000
199.81/211.64	c cleaning 47000 clauses out of 94010 with flag 2458202/1166000
210.11/223.34	c cleaning 47995 clauses out of 96010 with flag 2561440/1215000
220.61/233.73	c cleaning 49005 clauses out of 98015 with flag 2666918/1265000
232.76/245.50	c cleaning 50006 clauses out of 100012 with flag 2774165/1316002
244.70/258.61	c cleaning 50994 clauses out of 102004 with flag 2883698/1368000
255.33/269.20	c cleaning 52005 clauses out of 104010 with flag 2995437/1421000
264.82/278.46	c cleaning 52998 clauses out of 106007 with flag 3109248/1475002
274.48/289.40	c cleaning 53996 clauses out of 108009 with flag 3225072/1530002
283.55/298.49	c cleaning 55006 clauses out of 110013 with flag 3343129/1586002
293.19/307.87	c cleaning 55998 clauses out of 112006 with flag 3463231/1643001
304.84/320.72	c cleaning 56998 clauses out of 114007 with flag 3585763/1701000
315.92/331.71	c cleaning 58001 clauses out of 116011 with flag 3710318/1760002
329.38/346.17	c cleaning 59002 clauses out of 118009 with flag 3836435/1820001
342.34/359.06	c cleaning 60001 clauses out of 120006 with flag 3965059/1881000
356.08/372.34	c cleaning 61000 clauses out of 122005 with flag 4095878/1943000
368.47/386.43	c cleaning 61998 clauses out of 124008 with flag 4228431/2006003
384.23/401.83	c cleaning 62993 clauses out of 126007 with flag 4363069/2070000
400.03/418.21	c cleaning 64002 clauses out of 128014 with flag 4500070/2135000
414.18/432.33	c cleaning 65004 clauses out of 130013 with flag 4639146/2201001
431.17/450.39	c cleaning 65995 clauses out of 132009 with flag 4780320/2268001
447.94/466.64	c cleaning 67000 clauses out of 134013 with flag 4923662/2336000
464.85/484.66	c cleaning 68003 clauses out of 136013 with flag 5068898/2405000
480.79/501.18	c cleaning 69000 clauses out of 138011 with flag 5216329/2475001
492.86/512.93	c cleaning 69996 clauses out of 140012 with flag 5365627/2546002
506.11/525.97	c cleaning 71004 clauses out of 142015 with flag 5517193/2618001
522.00/542.76	c cleaning 72000 clauses out of 144011 with flag 5671269/2691001
537.92/558.27	c cleaning 73005 clauses out of 146010 with flag 5827452/2765000
554.03/574.75	c cleaning 74004 clauses out of 148007 with flag 5985589/2840002
575.38/596.80	c cleaning 75001 clauses out of 150001 with flag 6145824/2916000
597.06/617.47	c cleaning 75992 clauses out of 152001 with flag 6308273/2993001
617.17/638.04	c cleaning 76994 clauses out of 154010 with flag 6472776/3071002
635.83/656.60	c cleaning 77998 clauses out of 156015 with flag 6639447/3150001
653.03/673.44	c cleaning 79004 clauses out of 158016 with flag 6808156/3230000
669.28/689.41	c cleaning 80003 clauses out of 160012 with flag 6979121/3311000
684.86/703.60	c cleaning 80998 clauses out of 162010 with flag 7151774/3393001
708.03/726.65	c cleaning 82001 clauses out of 164011 with flag 7326622/3476000
731.46/749.51	c cleaning 83005 clauses out of 166011 with flag 7503377/3560001
752.76/768.77	c cleaning 83997 clauses out of 168006 with flag 7682884/3645001
776.16/791.75	c cleaning 84995 clauses out of 170008 with flag 7864581/3731000
794.61/808.77	c cleaning 86007 clauses out of 172013 with flag 8047947/3818000
811.59/824.34	c cleaning 87003 clauses out of 174007 with flag 8233818/3906001
828.79/841.13	c cleaning 87996 clauses out of 176004 with flag 8421582/3995001
847.42/858.45	c cleaning 89005 clauses out of 178009 with flag 8611366/4085002
867.10/877.71	c cleaning 89996 clauses out of 180003 with flag 8802938/4176001
885.95/895.24	c cleaning 91004 clauses out of 182007 with flag 8996819/4268001
913.82/922.70	c cleaning 91998 clauses out of 184002 with flag 9192669/4361000
939.39/947.40	c cleaning 93003 clauses out of 186006 with flag 9391121/4455002
963.66/970.95	c cleaning 93996 clauses out of 188001 with flag 9591378/4550000
993.26/999.73	c cleaning 94997 clauses out of 190006 with flag 9794235/4646001
1021.27/1026.94	c cleaning 95998 clauses out of 192008 with flag 9998617/4743000
1049.40/1053.38	c cleaning 96996 clauses out of 194010 with flag 10205509/4841000
1080.53/1082.31	c cleaning 98005 clauses out of 196015 with flag 10414863/4940001
1109.44/1109.77	c cleaning 99000 clauses out of 198009 with flag 10626232/5040000
1137.18/1135.58	c cleaning 100001 clauses out of 200011 with flag 10839659/5141002
1167.65/1165.32	c cleaning 101000 clauses out of 202010 with flag 11055027/5243002
1198.96/1194.78	c cleaning 102002 clauses out of 204008 with flag 11272458/5346000
1222.55/1217.59	c cleaning 103000 clauses out of 206008 with flag 11491819/5450002
1249.61/1243.74	c cleaning 103999 clauses out of 208007 with flag 11712777/5555001
1275.45/1268.76	c cleaning 104998 clauses out of 210008 with flag 11936285/5661001
1302.35/1294.27	c cleaning 106001 clauses out of 212009 with flag 12162041/5768000
1326.92/1317.95	c cleaning 107002 clauses out of 214008 with flag 12389951/5876000
1353.00/1341.72	c cleaning 107999 clauses out of 216006 with flag 12620162/5985000
1378.11/1366.18	c cleaning 109004 clauses out of 218007 with flag 12852485/6095000
1407.82/1394.86	c cleaning 109996 clauses out of 220006 with flag 13086855/6206003
1436.59/1422.62	c cleaning 111000 clauses out of 222007 with flag 13323512/6318000
1466.58/1449.39	c cleaning 112000 clauses out of 224007 with flag 13561388/6431000
1494.27/1476.17	c cleaning 112989 clauses out of 226007 with flag 13801561/6545000
1520.74/1501.58	c cleaning 114007 clauses out of 228020 with flag 14043875/6660002
1549.31/1527.68	c cleaning 115000 clauses out of 230011 with flag 14288726/6776000
1578.85/1556.20	c cleaning 116002 clauses out of 232012 with flag 14535186/6893001
1610.72/1587.33	c cleaning 117005 clauses out of 234009 with flag 14783796/7011000
1639.05/1614.49	c cleaning 117995 clauses out of 236004 with flag 15034753/7130000
1669.72/1642.78	c cleaning 118997 clauses out of 238009 with flag 15287733/7250000
1701.68/1673.78	c cleaning 120003 clauses out of 240013 with flag 15542526/7371001
1733.20/1704.09	c cleaning 121000 clauses out of 242009 with flag 15799407/7493000
1764.34/1732.56	c cleaning 122000 clauses out of 244009 with flag 16058635/7616000
1795.64/1762.94	c cleaning 122999 clauses out of 246011 with flag 16319781/7740002
1828.96/1795.24	c cleaning 124000 clauses out of 248011 with flag 16583072/7865001
1861.97/1827.13	c cleaning 124996 clauses out of 250011 with flag 16849239/7991001
1898.44/1862.65	c cleaning 126004 clauses out of 252015 with flag 17117182/8118001
1932.34/1895.55	c cleaning 127002 clauses out of 254010 with flag 17387482/8246000
1976.23/1938.35	c cleaning 127998 clauses out of 256009 with flag 17659648/8375001
2024.48/1984.19	c cleaning 129000 clauses out of 258011 with flag 17933535/8505001
2070.06/2028.22	c cleaning 129998 clauses out of 260010 with flag 18210148/8636000
2114.11/2071.87	c cleaning 131001 clauses out of 262012 with flag 18488722/8768000
2160.37/2116.73	c cleaning 132003 clauses out of 264011 with flag 18769481/8901000
2205.97/2163.59	c cleaning 132999 clauses out of 266008 with flag 19051335/9035000
2247.60/2203.31	c cleaning 133995 clauses out of 268009 with flag 19335909/9170000
2289.88/2243.71	c cleaning 135008 clauses out of 270015 with flag 19621980/9306001
2332.52/2285.76	c cleaning 135998 clauses out of 272006 with flag 19910316/9443000
2381.00/2332.12	c cleaning 136999 clauses out of 274009 with flag 20200900/9581001
2428.70/2378.89	c cleaning 138000 clauses out of 276010 with flag 20494265/9720001
2463.22/2411.94	c cleaning 139001 clauses out of 278009 with flag 20789305/9860000
2501.74/2449.31	c cleaning 140003 clauses out of 280008 with flag 21086623/10001000
2544.70/2489.63	c cleaning 140994 clauses out of 282006 with flag 21385682/10143001
2588.91/2534.00	c cleaning 142006 clauses out of 284012 with flag 21687129/10286001
2633.44/2576.25	c cleaning 142996 clauses out of 286005 with flag 21990725/10430000
2675.29/2614.96	c cleaning 143995 clauses out of 288009 with flag 22296222/10575000
2719.60/2659.53	c cleaning 145006 clauses out of 290014 with flag 22604680/10721000
2763.21/2702.32	c cleaning 146005 clauses out of 292009 with flag 22915231/10868001
2805.60/2743.93	c cleaning 146998 clauses out of 294004 with flag 23226425/11016001
2857.04/2792.18	c cleaning 147993 clauses out of 296005 with flag 23540181/11165000
2911.81/2844.27	c cleaning 148999 clauses out of 298012 with flag 23856265/11315000
2956.45/2887.66	c cleaning 150000 clauses out of 300013 with flag 24174795/11466000
3007.88/2935.77	c cleaning 151005 clauses out of 302013 with flag 24495587/11618000
3056.88/2983.49	c cleaning 152002 clauses out of 304009 with flag 24818934/11771001
3109.43/3033.01	c cleaning 153001 clauses out of 306006 with flag 25144094/11925000
3164.14/3086.51	c cleaning 153996 clauses out of 308005 with flag 25471305/12080000
3224.04/3143.30	c cleaning 154994 clauses out of 310009 with flag 25800792/12236000
3274.64/3190.71	c cleaning 155999 clauses out of 312015 with flag 26131392/12393000
3330.54/3244.75	c cleaning 156999 clauses out of 314016 with flag 26464829/12551000
3399.20/3310.77	c cleaning 158004 clauses out of 316018 with flag 26800075/12710001
3458.06/3365.63	c cleaning 158996 clauses out of 318015 with flag 27137480/12870002
3527.86/3431.04	c cleaning 160004 clauses out of 320017 with flag 27476594/13031000
3585.90/3486.56	c cleaning 160996 clauses out of 322013 with flag 27818201/13193000
3600.10/3499.69	c starts		: 1
3600.10/3499.69	c conflicts		: 13249028
3600.10/3499.69	c decisions		: 14346227
3600.10/3499.69	c propagations		: 69401403
3600.10/3499.69	c inspects		: 7470970206
3600.10/3499.69	c shortcuts		: 0
3600.10/3499.69	c learnt literals	: 0
3600.10/3499.69	c learnt binary clauses	: 0
3600.10/3499.69	c learnt ternary clauses	: 0
3600.10/3499.69	c learnt constraints	: 13249028
3600.10/3499.69	c ignored constraints	: 0
3600.10/3499.69	c root simplifications	: 0
3600.10/3499.69	c removed literals (reason simplification)	: 243683291
3600.10/3499.69	c reason swapping (by a shorter reason)	: 0
3600.10/3499.69	c Calls to reduceDB	: 158
3600.10/3499.69	c Number of update (reduction) of LBD	: 106958
3600.10/3499.69	c Imported unit clauses	: 0
3600.10/3499.69	c No decision after first conflict	: false
3600.10/3499.69	c number of reductions to clauses (during analyze)	: 0
3600.10/3499.69	c number of learned constraints concerned by reduction	: 0
3600.10/3499.69	c number of learning phase by resolution	: 0
3600.10/3499.69	c number of learning phase by cutting planes	: 0
3600.10/3499.69	c number of rounding to 1 operations	: 0
3600.10/3499.69	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.10/3499.69	c number of reductions of the coefficients by power 2 	: 0
3600.10/3499.69	c number of right shift for reduction by power 2 	: 0
3600.10/3499.69	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.10/3499.69	c number of ending skipping 	: 0
3600.10/3499.69	c number of internal skipping 	: 0
3600.10/3499.69	c number of derivation steps 	: 0
3600.10/3499.69	c number of skipped derivation steps 	: 0
3600.10/3499.69	c number of remaining unassigned 	: 0
3600.10/3499.69	c number of remaining assigned 	: 0
3600.10/3499.69	c number of falsified literals weakened from reason	: 0
3600.10/3499.69	c number of falsified literals weakened from conflict	: 0
3600.10/3499.69	c time for arithmetic operations	: 0
3600.10/3499.69	c minimum degree of deleted constraints	: null
3600.10/3499.69	c maximum degree of deleted constraints	: null
3600.10/3499.69	c number of deleted constraints	: 0
3600.10/3499.69	c speed (assignments/second)	: 19832.496803717688
3600.10/3499.69	c non guided choices	: 164
3600.10/3499.70	c timeout
3600.33/3499.78	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 217046
3600.33/3499.78	s UNKNOWN
3600.33/3499.78	c Total wall clock time (in seconds): 3499.531

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=242289, runsolver pid=242277
Current StackSize limit: 8192 KiB


[startup+0.100096 s]*
/proc/loadavg: 1.05 1.16 1.99 4/333 242364
/proc/meminfo: memFree=126403252/131524600 swapFree=131059112/131071996
[pid=242289] ppid=242277 vsize=18975048 memory=55128 CPUtime=0.05 cores=4,6
/proc/242289/stat : 242289 (java) S 242277 242289 242221 0 -1 1077936128 6409 0 38 0 3 2 0 0 20 0 18 0 20771076 19430449152 13782 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
/proc/242289/statm: 4743762 13782 5509 1 0 548657 0
[pid=242289/tid=242298] ppid=242277 vsize=18975048 memory=4026531971 CPUtime=0.03 cores=4,6
/proc/242289/task/242298/stat : 242298 (java) R 242277 242289 242221 0 -1 1077936192 5350 0 34 0 2 1 0 0 20 0 18 0 20771077 19430449152 13782 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242332] ppid=242277 vsize=18975048 memory=1613749 CPUtime=0 cores=4,6
/proc/242289/task/242332/stat : 242332 (Finalizer) S 242277 242289 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20771083 19430449152 13782 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242364] ppid=242277 vsize=18975048 memory=15262540770838164 CPUtime=0 cores=4,6
/proc/242289/task/242364/stat : 242364 (Common-Cleaner) S 242277 242289 242221 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20771084 19430449152 13782 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55128 KiB

[startup+0.207695 s]*
/proc/loadavg: 1.05 1.16 1.99 4/333 242364
/proc/meminfo: memFree=126362460/131524600 swapFree=131059112/131071996
[pid=242289] ppid=242277 vsize=18975048 memory=64816 CPUtime=0.14 cores=4,6
/proc/242289/stat : 242289 (java) S 242277 242289 242221 0 -1 1077936128 7300 0 38 0 12 2 0 0 20 0 18 0 20771076 19430449152 16204 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
/proc/242289/statm: 4743762 16204 5571 1 0 549374 0
[pid=242289/tid=242298] ppid=242277 vsize=18975048 memory=4782652875487838339 CPUtime=0.08 cores=4,6
/proc/242289/task/242298/stat : 242298 (java) D 242277 242289 242221 0 -1 4194368 5812 0 34 0 7 1 0 0 20 0 18 0 20771077 19430449152 16204 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242332] ppid=242277 vsize=18975048 memory=1613749 CPUtime=0 cores=4,6
/proc/242289/task/242332/stat : 242332 (Finalizer) S 242277 242289 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20771083 19430449152 16204 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242364] ppid=242277 vsize=18975048 memory=15262540770838164 CPUtime=0 cores=4,6
/proc/242289/task/242364/stat : 242364 (Common-Cleaner) S 242277 242289 242221 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20771084 19430449152 16204 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64816 KiB

[startup+0.307438 s]*
/proc/loadavg: 1.05 1.16 1.99 17/337 242368
/proc/meminfo: memFree=126347780/131524600 swapFree=131059112/131071996
[pid=242289] ppid=242277 vsize=18976076 memory=69216 CPUtime=0.28 cores=4,6
/proc/242289/stat : 242289 (java) S 242277 242289 242221 0 -1 1077936128 7689 0 38 0 26 2 0 0 20 0 19 0 20771076 19431501824 17304 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
/proc/242289/statm: 4744019 17304 5721 1 0 549875 0
[pid=242289/tid=242298] ppid=242277 vsize=18976076 memory=-8599175344770753212 CPUtime=0.16 cores=4,6
/proc/242289/task/242298/stat : 242298 (java) S 242277 242289 242221 0 -1 1077936192 5999 0 34 0 14 2 0 0 20 0 19 0 20771077 19431501824 17304 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242332] ppid=242277 vsize=18976076 memory=1468801770340581977 CPUtime=0 cores=4,6
/proc/242289/task/242332/stat : 242332 (Finalizer) S 242277 242289 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20771083 19431501824 17304 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242364] ppid=242277 vsize=18976076 memory=0 CPUtime=0 cores=4,6
/proc/242289/task/242364/stat : 242364 (Common-Cleaner) S 242277 242289 242221 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20771084 19431501824 17304 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242368] ppid=242277 vsize=18976076 memory=0 CPUtime=0 cores=4,6
/proc/242289/task/242368/stat : 242368 (java) R 242277 242289 242221 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 19 0 20771107 19431501824 17304 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18976076 KiB
Current children cumulated memory: 69216 KiB

[startup+0.704639 s]
/proc/loadavg: 1.05 1.16 1.99 14/337 242368
/proc/meminfo: memFree=126193472/131524600 swapFree=131059112/131071996
[pid=242289] ppid=242277 vsize=19041612 memory=161220 CPUtime=1.04 cores=4,6
/proc/242289/stat : 242289 (java) S 242277 242289 242221 0 -1 1077936128 10148 0 38 0 100 4 0 0 20 0 19 0 20771076 19498610688 40305 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
/proc/242289/statm: 4760403 40305 5738 1 0 551212 0
[pid=242289/tid=242298] ppid=242277 vsize=19041612 memory=11420 CPUtime=0.52 cores=4,6
/proc/242289/task/242298/stat : 242298 (java) R 242277 242289 242221 0 -1 4194368 6108 0 34 0 49 3 0 0 20 0 19 0 20771077 19498610688 40305 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242332] ppid=242277 vsize=19041612 memory=11420 CPUtime=0 cores=4,6
/proc/242289/task/242332/stat : 242332 (Finalizer) S 242277 242289 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20771083 19498610688 40305 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242364] ppid=242277 vsize=19041612 memory=752915599472951710 CPUtime=0 cores=4,6
/proc/242289/task/242364/stat : 242364 (Common-Cleaner) S 242277 242289 242221 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20771084 19498610688 40305 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242368] ppid=242277 vsize=19041612 memory=32944 CPUtime=0 cores=4,6
/proc/242289/task/242368/stat : 242368 (Timer-0) S 242277 242289 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20771107 19498610688 40305 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 161220 KiB

[startup+1.50064 s]
/proc/loadavg: 1.85 1.33 2.04 12/341 242372
/proc/meminfo: memFree=125923296/131524600 swapFree=131059112/131071996
[pid=242289] ppid=242277 vsize=19108176 memory=185536 CPUtime=2.62 cores=4,6
/proc/242289/stat : 242289 (java) S 242277 242289 242221 0 -1 1077936128 16953 0 38 0 257 5 0 0 20 0 20 0 20771076 19566772224 46384 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
/proc/242289/statm: 4777044 46384 5767 1 0 553167 0
[pid=242289/tid=242298] ppid=242277 vsize=19108176 memory=11420 CPUtime=1.26 cores=4,6
/proc/242289/task/242298/stat : 242298 (java) R 242277 242289 242221 0 -1 4194368 6452 0 34 0 123 3 0 0 20 0 20 0 20771077 19566772224 46384 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242332] ppid=242277 vsize=19108176 memory=32944 CPUtime=0 cores=4,6
/proc/242289/task/242332/stat : 242332 (Finalizer) S 242277 242289 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 46384 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242364] ppid=242277 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/242289/task/242364/stat : 242364 (Common-Cleaner) S 242277 242289 242221 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 46384 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242368] ppid=242277 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/242289/task/242368/stat : 242368 (Timer-0) S 242277 242289 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771107 19566772224 46384 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
Current children cumulated CPU time: 2.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 185536 KiB

[startup+3.10611 s]
/proc/loadavg: 1.85 1.33 2.04 8/341 242372
/proc/meminfo: memFree=124267120/131524600 swapFree=131059112/131071996
[pid=242289] ppid=242277 vsize=19108176 memory=626908 CPUtime=4.97 cores=4,6
/proc/242289/stat : 242289 (java) S 242277 242289 242221 0 -1 1077936128 21508 0 38 0 481 16 0 0 20 0 20 0 20771076 19566772224 156727 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
/proc/242289/statm: 4777044 156727 5788 1 0 752207 0
[pid=242289/tid=242298] ppid=242277 vsize=19108176 memory=0 CPUtime=2.74 cores=4,6
/proc/242289/task/242298/stat : 242298 (java) R 242277 242289 242221 0 -1 4194368 7651 0 34 0 262 12 0 0 20 0 20 0 20771077 19566772224 156727 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242332] ppid=242277 vsize=19108176 memory=11420 CPUtime=0 cores=4,6
/proc/242289/task/242332/stat : 242332 (Finalizer) S 242277 242289 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 156727 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242364] ppid=242277 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/242289/task/242364/stat : 242364 (Common-Cleaner) S 242277 242289 242221 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 156727 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242368] ppid=242277 vsize=19108176 memory=12148 CPUtime=0 cores=4,6
/proc/242289/task/242368/stat : 242368 (Timer-0) S 242277 242289 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771107 19566772224 156727 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
Current children cumulated CPU time: 4.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 626908 KiB

[startup+6.30064 s]
/proc/loadavg: 2.02 1.37 2.05 10/341 242374
/proc/meminfo: memFree=120455556/131524600 swapFree=131059112/131071996
[pid=242289] ppid=242277 vsize=19108176 memory=1387728 CPUtime=8.65 cores=4,6
/proc/242289/stat : 242289 (java) S 242277 242289 242221 0 -1 1077936128 23711 0 38 0 830 35 0 0 20 0 20 0 20771076 19566772224 346932 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
/proc/242289/statm: 4777044 346932 5788 1 0 1243236 0
[pid=242289/tid=242298] ppid=242277 vsize=19108176 memory=11420 CPUtime=5.71 cores=4,6
/proc/242289/task/242298/stat : 242298 (java) R 242277 242289 242221 0 -1 4194368 8014 0 34 0 545 26 0 0 20 0 20 0 20771077 19566772224 346932 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242332] ppid=242277 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/242289/task/242332/stat : 242332 (Finalizer) S 242277 242289 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 346932 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242364] ppid=242277 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/242289/task/242364/stat : 242364 (Common-Cleaner) S 242277 242289 242221 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 346932 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242368] ppid=242277 vsize=19108176 memory=12148 CPUtime=0 cores=4,6
/proc/242289/task/242368/stat : 242368 (Timer-0) S 242277 242289 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771107 19566772224 346932 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
Current children cumulated CPU time: 8.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1387728 KiB

[startup+12.7003 s]
/proc/loadavg: 2.18 1.42 2.06 7/341 242374
/proc/meminfo: memFree=116038400/131524600 swapFree=131059112/131071996
[pid=242289] ppid=242277 vsize=19108176 memory=2388596 CPUtime=15.3 cores=4,6
/proc/242289/stat : 242289 (java) S 242277 242289 242221 0 -1 1077936128 24778 0 38 0 1466 64 0 0 20 0 20 0 20771076 19566772224 597149 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
/proc/242289/statm: 4777044 597149 5788 1 0 1422885 0
[pid=242289/tid=242298] ppid=242277 vsize=19108176 memory=2388596 CPUtime=11.77 cores=4,6
/proc/242289/task/242298/stat : 242298 (java) R 242277 242289 242221 0 -1 4194368 8496 0 34 0 1126 51 0 0 20 0 20 0 20771077 19566772224 597149 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242332] ppid=242277 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/242289/task/242332/stat : 242332 (Finalizer) S 242277 242289 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 597149 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242364] ppid=242277 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/242289/task/242364/stat : 242364 (Common-Cleaner) S 242277 242289 242221 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 597149 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242368] ppid=242277 vsize=19108176 memory=11420 CPUtime=0 cores=4,6
/proc/242289/task/242368/stat : 242368 (Timer-0) S 242277 242289 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771107 19566772224 597149 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
Current children cumulated CPU time: 15.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2388596 KiB

[startup+25.5007 s]
/proc/loadavg: 2.46 1.50 2.08 8/341 242377
/proc/meminfo: memFree=111849720/131524600 swapFree=131059112/131071996
[pid=242289] ppid=242277 vsize=19108176 memory=3092888 CPUtime=28.62 cores=4,6
/proc/242289/stat : 242289 (java) S 242277 242289 242221 0 -1 1077936128 27789 0 38 0 2768 94 0 0 20 0 20 0 20771076 19566772224 773222 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
/proc/242289/statm: 4777044 773222 5788 1 0 1422890 0
[pid=242289/tid=242298] ppid=242277 vsize=19108176 memory=3092888 CPUtime=23.96 cores=4,6
/proc/242289/task/242298/stat : 242298 (java) R 242277 242289 242221 0 -1 4194368 10215 0 34 0 2321 75 0 0 20 0 20 0 20771077 19566772224 773222 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242332] ppid=242277 vsize=19108176 memory=3092888 CPUtime=0 cores=4,6
/proc/242289/task/242332/stat : 242332 (Finalizer) S 242277 242289 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 773222 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242364] ppid=242277 vsize=19108176 memory=2273 CPUtime=0 cores=4,6
/proc/242289/task/242364/stat : 242364 (Common-Cleaner) S 242277 242289 242221 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 773222 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242368] ppid=242277 vsize=19108176 memory=2386 CPUtime=0 cores=4,6
/proc/242289/task/242368/stat : 242368 (Timer-0) S 242277 242289 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771107 19566772224 773222 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
Current children cumulated CPU time: 28.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3092888 KiB

[startup+51.1066 s]
/proc/loadavg: 3.24 1.79 2.16 11/341 242381
/proc/meminfo: memFree=106464076/131524600 swapFree=131059112/131071996
[pid=242289] ppid=242277 vsize=19108176 memory=4353024 CPUtime=51.99 cores=4,6
/proc/242289/stat : 242289 (java) S 242277 242289 242221 0 -1 1077936128 33748 0 39 0 5049 150 0 0 20 0 20 0 20771076 19566772224 1088256 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
/proc/242289/statm: 4777044 1088256 5803 1 0 1422896 0
[pid=242289/tid=242298] ppid=242277 vsize=19108176 memory=-8671232938808681148 CPUtime=45.16 cores=4,6

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

[startup+3162.31 s]
/proc/loadavg: 4.42 4.35 4.28 7/338 243953
/proc/meminfo: memFree=12187412/131524600 swapFree=131058856/131071996
[pid=242289] ppid=242277 vsize=19108176 memory=4313184 CPUtime=3244.44 cores=4,6
/proc/242289/stat : 242289 (java) S 242277 242289 242221 0 -1 1077936128 836294 0 39 0 321543 2901 0 0 20 0 20 0 20771076 19566772224 1078296 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
/proc/242289/statm: 4777044 1078296 5815 1 0 1089001 0
[pid=242289/tid=242298] ppid=242277 vsize=19108176 memory=4313184 CPUtime=2964.12 cores=4,6
/proc/242289/task/242298/stat : 242298 (java) S 242277 242289 242221 0 -1 1077936192 208808 0 34 0 293822 2590 0 0 20 0 20 0 20771077 19566772224 1078296 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 10491 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242332] ppid=242277 vsize=19108176 memory=12148 CPUtime=0 cores=4,6
/proc/242289/task/242332/stat : 242332 (Finalizer) S 242277 242289 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 1078296 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242364] ppid=242277 vsize=19108176 memory=4313184 CPUtime=0 cores=4,6
/proc/242289/task/242364/stat : 242364 (Common-Cleaner) S 242277 242289 242221 0 -1 1077936192 2239 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 1078296 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242368] ppid=242277 vsize=19108176 memory=-8671232938808681148 CPUtime=0 cores=4,6
/proc/242289/task/242368/stat : 242368 (Timer-0) S 242277 242289 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771107 19566772224 1078296 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
Current children cumulated CPU time: 3244.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4313184 KiB

[startup+3222.3 s]
/proc/loadavg: 4.45 4.37 4.29 11/338 243964
/proc/meminfo: memFree=11066396/131524600 swapFree=131058856/131071996
[pid=242289] ppid=242277 vsize=19108176 memory=4313188 CPUtime=3307.55 cores=4,6
/proc/242289/stat : 242289 (java) S 242277 242289 242221 0 -1 1077936128 837864 0 39 0 327805 2950 0 0 20 0 20 0 20771076 19566772224 1078297 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
/proc/242289/statm: 4777044 1078297 5815 1 0 1089002 0
[pid=242289/tid=242298] ppid=242277 vsize=19108176 memory=12148 CPUtime=3020.97 cores=4,6
/proc/242289/task/242298/stat : 242298 (java) R 242277 242289 242221 0 -1 4194368 209858 0 34 0 299463 2634 0 0 20 0 20 0 20771077 19566772224 1078297 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 10641 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242332] ppid=242277 vsize=19108176 memory=27864 CPUtime=0 cores=4,6
/proc/242289/task/242332/stat : 242332 (Finalizer) S 242277 242289 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 1078297 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242364] ppid=242277 vsize=19108176 memory=64696 CPUtime=0 cores=4,6
/proc/242289/task/242364/stat : 242364 (Common-Cleaner) S 242277 242289 242221 0 -1 1077936192 2272 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 1078297 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242368] ppid=242277 vsize=19108176 memory=4313188 CPUtime=0 cores=4,6
/proc/242289/task/242368/stat : 242368 (Timer-0) S 242277 242289 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771107 19566772224 1078297 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
Current children cumulated CPU time: 3307.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4313188 KiB

[startup+3282.3 s]
/proc/loadavg: 4.41 4.38 4.30 8/341 244147
/proc/meminfo: memFree=10063272/131524600 swapFree=131058856/131071996
[pid=242289] ppid=242277 vsize=19108176 memory=4313188 CPUtime=3368.54 cores=4,6
/proc/242289/stat : 242289 (java) S 242277 242289 242221 0 -1 1077936128 842298 0 39 0 333864 2990 0 0 20 0 20 0 20771076 19566772224 1078297 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
/proc/242289/statm: 4777044 1078297 5815 1 0 1089002 0
[pid=242289/tid=242298] ppid=242277 vsize=19108176 memory=12148 CPUtime=3077.46 cores=4,6
/proc/242289/task/242298/stat : 242298 (java) R 242277 242289 242221 0 -1 4194368 212535 0 34 0 305074 2672 0 0 20 0 20 0 20771077 19566772224 1078297 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 10847 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242332] ppid=242277 vsize=19108176 memory=4313188 CPUtime=0 cores=4,6
/proc/242289/task/242332/stat : 242332 (Finalizer) S 242277 242289 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 1078297 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242364] ppid=242277 vsize=19108176 memory=4313188 CPUtime=0 cores=4,6
/proc/242289/task/242364/stat : 242364 (Common-Cleaner) S 242277 242289 242221 0 -1 1077936192 2272 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 1078297 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242368] ppid=242277 vsize=19108176 memory=4313188 CPUtime=0 cores=4,6
/proc/242289/task/242368/stat : 242368 (Timer-0) S 242277 242289 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771107 19566772224 1078297 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
Current children cumulated CPU time: 3368.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4313188 KiB

[startup+3342.3 s]
/proc/loadavg: 4.40 4.37 4.30 8/341 244157
/proc/meminfo: memFree=9003900/131524600 swapFree=131058856/131071996
[pid=242289] ppid=242277 vsize=19108176 memory=4313188 CPUtime=3432.61 cores=4,6
/proc/242289/stat : 242289 (java) S 242277 242289 242221 0 -1 1077936128 853324 0 39 0 340225 3036 0 0 20 0 20 0 20771076 19566772224 1078297 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
/proc/242289/statm: 4777044 1078297 5815 1 0 1089002 0
[pid=242289/tid=242298] ppid=242277 vsize=19108176 memory=12148 CPUtime=3135.87 cores=4,6
/proc/242289/task/242298/stat : 242298 (java) R 242277 242289 242221 0 -1 4194368 215101 0 34 0 310876 2711 0 0 20 0 20 0 20771077 19566772224 1078297 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 10874 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242332] ppid=242277 vsize=19108176 memory=4313188 CPUtime=0 cores=4,6
/proc/242289/task/242332/stat : 242332 (Finalizer) S 242277 242289 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 1078297 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242364] ppid=242277 vsize=19108176 memory=4313188 CPUtime=0 cores=4,6
/proc/242289/task/242364/stat : 242364 (Common-Cleaner) S 242277 242289 242221 0 -1 1077936192 2332 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 1078297 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242368] ppid=242277 vsize=19108176 memory=4313188 CPUtime=0 cores=4,6
/proc/242289/task/242368/stat : 242368 (Timer-0) S 242277 242289 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771107 19566772224 1078297 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
Current children cumulated CPU time: 3432.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4313188 KiB

[startup+3402.3 s]
/proc/loadavg: 4.34 4.36 4.30 8/344 244227
/proc/meminfo: memFree=7861088/131524600 swapFree=131058856/131071996
[pid=242289] ppid=242277 vsize=19108176 memory=4313188 CPUtime=3496.74 cores=4,6
/proc/242289/stat : 242289 (java) S 242277 242289 242221 0 -1 1077936128 857452 0 39 0 346598 3076 0 0 20 0 20 0 20771076 19566772224 1078297 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
/proc/242289/statm: 4777044 1078297 5815 1 0 1089002 0
[pid=242289/tid=242298] ppid=242277 vsize=19108176 memory=4313188 CPUtime=3194.02 cores=4,6
/proc/242289/task/242298/stat : 242298 (java) R 242277 242289 242221 0 -1 4194368 216743 0 34 0 316654 2748 0 0 20 0 20 0 20771077 19566772224 1078297 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 10902 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242332] ppid=242277 vsize=19108176 memory=4313188 CPUtime=0 cores=4,6
/proc/242289/task/242332/stat : 242332 (Finalizer) S 242277 242289 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 1078297 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242364] ppid=242277 vsize=19108176 memory=4313188 CPUtime=0 cores=4,6
/proc/242289/task/242364/stat : 242364 (Common-Cleaner) S 242277 242289 242221 0 -1 1077936192 2332 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 1078297 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242368] ppid=242277 vsize=19108176 memory=4313188 CPUtime=0 cores=4,6
/proc/242289/task/242368/stat : 242368 (Timer-0) S 242277 242289 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771107 19566772224 1078297 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
Current children cumulated CPU time: 3496.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4313188 KiB

[startup+3462.3 s]
/proc/loadavg: 4.22 4.33 4.28 8/344 244240
/proc/meminfo: memFree=6733476/131524600 swapFree=131058856/131071996
[pid=242289] ppid=242277 vsize=19108176 memory=4313188 CPUtime=3559.41 cores=4,6
/proc/242289/stat : 242289 (java) S 242277 242289 242221 0 -1 1077936128 867942 0 39 0 352819 3122 0 0 20 0 20 0 20771076 19566772224 1078297 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
/proc/242289/statm: 4777044 1078297 5815 1 0 1089002 0
[pid=242289/tid=242298] ppid=242277 vsize=19108176 memory=4313188 CPUtime=3252.4 cores=4,6
/proc/242289/task/242298/stat : 242298 (java) R 242277 242289 242221 0 -1 4194368 219152 0 34 0 322451 2789 0 0 20 0 20 0 20771077 19566772224 1078297 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 10926 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242332] ppid=242277 vsize=19108176 memory=12148 CPUtime=0 cores=4,6
/proc/242289/task/242332/stat : 242332 (Finalizer) S 242277 242289 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 1078297 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242364] ppid=242277 vsize=19108176 memory=4313188 CPUtime=0 cores=4,6
/proc/242289/task/242364/stat : 242364 (Common-Cleaner) S 242277 242289 242221 0 -1 1077936192 2429 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 1078297 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242368] ppid=242277 vsize=19108176 memory=4313188 CPUtime=0 cores=4,6
/proc/242289/task/242368/stat : 242368 (Timer-0) S 242277 242289 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771107 19566772224 1078297 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
Current children cumulated CPU time: 3559.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4313188 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3499.61 s]
/proc/loadavg: 4.24 4.32 4.28 10/344 244250
/proc/meminfo: memFree=6090436/131524600 swapFree=131058856/131071996
[pid=242289] ppid=242277 vsize=19108176 memory=4313188 CPUtime=3600.1 cores=4,6
/proc/242289/stat : 242289 (java) S 242277 242289 242221 0 -1 1077936128 868846 0 39 0 356859 3151 0 0 20 0 20 0 20771076 19566772224 1078297 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
/proc/242289/statm: 4777044 1078297 5815 1 0 1089002 0
[pid=242289/tid=242298] ppid=242277 vsize=19108176 memory=104 CPUtime=3288.41 cores=4,6
/proc/242289/task/242298/stat : 242298 (java) R 242277 242289 242221 0 -1 4194368 219547 0 34 0 326026 2815 0 0 20 0 20 0 20771077 19566772224 1078297 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 10939 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242332] ppid=242277 vsize=19108176 memory=-8671232938808681148 CPUtime=0 cores=4,6
/proc/242289/task/242332/stat : 242332 (Finalizer) S 242277 242289 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 1078297 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242364] ppid=242277 vsize=19108176 memory=5552 CPUtime=0 cores=4,6
/proc/242289/task/242364/stat : 242364 (Common-Cleaner) S 242277 242289 242221 0 -1 1077936192 2429 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 1078297 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242368] ppid=242277 vsize=19108176 memory=16096 CPUtime=0 cores=4,6
/proc/242289/task/242368/stat : 242368 (Timer-0) S 242277 242289 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771107 19566772224 1078297 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4313188 KiB

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

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

# cumulated CPU time of all completed processes:  user=3568.93 s, system=31.5549 s

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

[startup+3499.8 s]
/proc/loadavg: 4.24 4.32 4.28 10/344 244250
/proc/meminfo: memFree=6090436/131524600 swapFree=131058856/131071996
[pid=242289] ppid=242277 vsize=19307868 memory=4313896 CPUtime=3600.46 cores=4,6
/proc/242289/stat : 242289 (java) S 242277 242289 242221 0 -1 1077936128 870576 0 39 0 356893 3153 0 0 20 0 16 0 20771076 19771256832 1078474 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
/proc/242289/statm: 4826967 1078474 5813 1 0 1089938 0
[pid=242289/tid=242298] ppid=242277 vsize=19307868 memory=32944 CPUtime=3288.5 cores=4,6
/proc/242289/task/242298/stat : 242298 (java) D 242277 242289 242221 0 -1 4194368 219714 0 34 0 326034 2816 0 0 20 0 16 0 20771077 19771256832 1078474 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 10941 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242332] ppid=242277 vsize=19307868 memory=25600 CPUtime=0 cores=4,6
/proc/242289/task/242332/stat : 242332 (Finalizer) S 242277 242289 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 16 0 20771083 19771256832 1078474 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
[pid=242289/tid=242364] ppid=242277 vsize=19307868 memory=37212 CPUtime=0 cores=4,6
/proc/242289/task/242364/stat : 242364 (Common-Cleaner) S 242277 242289 242221 0 -1 1077936192 2429 0 0 0 0 0 0 0 20 0 16 0 20771084 19771256832 1078474 134679101440 94129457856512 94129457860208 140731398750896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94129457868024 94129457868816 94129458540544 140731398759339 140731398759521 140731398759521 140731398766536 0
Current children cumulated CPU time: 3600.46 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 4313896 KiB

Child status: 143

Real time (s): 3499.86
CPU time (s): 3600.49
CPU user time (s): 3568.93
CPU system time (s): 31.5549
CPU usage (%): 102.875
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 5641264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.93
system time used= 31.5549
maximum resident set size= 5641264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 870627
page faults= 39
swaps= 0
block input operations= 10776
block output operations= 51955104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 134949
involuntary context switches= 26270


# summary of solver processes directly reported to runsolver:
#   pid: 242289
#   total CPU time (s): 3600.49
#   total CPU user time (s): 3568.93
#   total CPU system time (s): 31.5549

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.34792 second user time and 21.231 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2024-07-24 19:33:35
IDJOB=4453042
IDBENCH=166052
IDSOLVER=3079
FILE ID=nodeC031/4453042-1721842415
RUNJOBID= nodeC031-1721842415-242232
SLURM_JOB_ID= 7891574
Free space on /tmp= 890084 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/vertex-cover/vc-grids-v1_shuffle/normalized-grid10_59.shuf-2.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453042-1721842415/watcher-4453042-1721842415 -o /tmp/evaluation-result-4453042-1721842415/solver-4453042-1721842415 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721842415-242232 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4453042-1721842415 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4453042-1721842415.opb

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

MD5SUM BENCH= bff129d5f55fe22e82ee63766a82b7b0
RANDOM SEED=46535795

nodeC031.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		: 3350.746
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	: 7000.44
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		: 3762.974
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	: 7007.12
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		: 3667.786
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	: 7000.44
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		: 3662.658
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	: 7007.12
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		: 3716.528
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	: 7000.44
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		: 3791.195
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	: 7007.12
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		: 3621.746
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	: 7000.44
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		: 3793.435
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	: 7007.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126560336 kB
MemAvailable:   129563232 kB
Buffers:          263192 kB
Cached:          3408984 kB
SwapCached:         2384 kB
Active:          2105588 kB
Inactive:        1942364 kB
Active(anon):       1636 kB
Inactive(anon):   427436 kB
Active(file):    2103952 kB
Inactive(file):  1514928 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131059112 kB
Dirty:              2988 kB
Writeback:             0 kB
AnonPages:        371560 kB
Mapped:           100524 kB
Shmem:             53296 kB
KReclaimable:     445248 kB
Slab:             566256 kB
SReclaimable:     445248 kB
SUnreclaim:       121008 kB
KernelStack:        3952 kB
PageTables:         9792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     773784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            13280 kB
HardwareCorrupted:     0 kB
AnonHugePages:    241664 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:      367316 kB
DirectMap2M:    37154816 kB
DirectMap1G:    98566144 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC031 at 2024-07-24 20:31:55