Trace number 4453282

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.15 3627.8

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v3_shuffle/normalized-grid6_19.shuf-1.opb
MD5SUM531bd272698487ed1af127f2a6793d74
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.003963
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables114
Total number of constraints229
Number of constraints which are clauses228
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 constraint114
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 122
Number of bits of the biggest sum of numbers7
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	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.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.14/0.13	--- Begin Solver configuration ---
0.14/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.13	Learn all clauses as in MiniSAT
0.14/0.13	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.13	Expensive reason simplification
0.14/0.13	Glucose 2.1 dynamic restart strategy
0.14/0.13	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.13	timeout=2147483s
0.14/0.13	DB Simplification allowed=false
0.14/0.13	Listener: none
0.14/0.13	--- End Solver configuration ---
0.14/0.13	c Pseudo Boolean Optimization by upper bound
0.14/0.13	c --- Begin Solver configuration ---
0.14/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.13	c Learn all clauses as in MiniSAT
0.14/0.13	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.13	c Expensive reason simplification
0.14/0.13	c Glucose 2.1 dynamic restart strategy
0.14/0.13	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.13	c timeout=2147483s
0.14/0.13	c DB Simplification allowed=false
0.14/0.13	c Listener: none
0.14/0.13	c --- End Solver configuration ---
0.14/0.13	c solving HOME/instance-4453282-1721843081.opb
0.14/0.13	c reading problem ... 
0.14/0.13	c using VERIPB proof format
0.14/0.13	c  no objective function found
0.14/0.15	c ... done. Wall clock time 0.018s.
0.14/0.15	c declared #vars     114
0.14/0.15	c #constraints  229
0.14/0.15	c constraints type 
0.14/0.15	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 228
0.14/0.15	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.14/0.15	c 229 constraints processed.
1.09/0.61	c cleaning 2500 clauses out of 5001 with flag 10679/5001
1.87/1.00	c cleaning 4251 clauses out of 8501 with flag 23434/11001
2.46/1.31	c cleaning 5623 clauses out of 11250 with flag 38743/18001
2.86/1.58	c cleaning 6813 clauses out of 13627 with flag 57181/26001
3.47/1.88	c cleaning 7907 clauses out of 15814 with flag 77029/35001
4.05/2.17	c cleaning 8946 clauses out of 17906 with flag 98337/45000
4.52/2.47	c cleaning 9981 clauses out of 19961 with flag 121743/56001
4.92/2.81	c cleaning 10990 clauses out of 21979 with flag 147169/68000
5.22/3.18	c cleaning 11995 clauses out of 23989 with flag 174928/81000
5.78/3.64	c cleaning 12993 clauses out of 25994 with flag 204820/95000
6.32/4.11	c cleaning 13998 clauses out of 28004 with flag 236713/110003
6.81/4.66	c cleaning 15002 clauses out of 30005 with flag 270795/126002
7.47/5.30	c cleaning 16001 clauses out of 32004 with flag 307107/143003
8.21/5.92	c cleaning 17001 clauses out of 34002 with flag 345161/161002
8.80/6.59	c cleaning 17998 clauses out of 35999 with flag 385318/180000
9.69/7.44	c cleaning 18996 clauses out of 38001 with flag 427574/200000
10.48/8.25	c cleaning 20000 clauses out of 40005 with flag 472297/221000
11.28/9.09	c cleaning 21003 clauses out of 42005 with flag 519188/243000
12.27/10.06	c cleaning 21999 clauses out of 44003 with flag 568150/266001
13.18/10.94	c cleaning 22999 clauses out of 46004 with flag 619091/290001
14.21/11.91	c cleaning 23997 clauses out of 48004 with flag 672357/315000
15.20/12.96	c cleaning 25001 clauses out of 50007 with flag 727857/341000
16.39/14.19	c cleaning 26000 clauses out of 52006 with flag 785326/368000
17.67/15.47	c cleaning 27001 clauses out of 54008 with flag 844847/396002
18.97/16.75	c cleaning 28003 clauses out of 56005 with flag 906599/425000
20.35/18.10	c cleaning 29000 clauses out of 58003 with flag 971396/455001
21.67/19.40	c cleaning 29999 clauses out of 60002 with flag 1038551/486000
22.95/20.70	c cleaning 30998 clauses out of 62004 with flag 1106487/518001
24.25/22.04	c cleaning 31998 clauses out of 64005 with flag 1176609/551000
25.88/23.69	c cleaning 32998 clauses out of 66007 with flag 1248936/585000
27.38/25.17	c cleaning 34006 clauses out of 68011 with flag 1323301/620002
28.97/26.77	c cleaning 35000 clauses out of 70005 with flag 1399912/656002
30.60/28.37	c cleaning 35998 clauses out of 72003 with flag 1478842/693000
32.40/30.13	c cleaning 37001 clauses out of 74005 with flag 1559579/731000
34.20/31.91	c cleaning 38002 clauses out of 76004 with flag 1642181/770000
36.13/34.07	c cleaning 38996 clauses out of 78002 with flag 1727146/810000
38.53/36.43	c cleaning 40003 clauses out of 80008 with flag 1814059/851002
40.76/38.68	c cleaning 40999 clauses out of 82004 with flag 1903167/893001
43.05/40.97	c cleaning 41999 clauses out of 84004 with flag 1994441/936000
45.35/43.28	c cleaning 43001 clauses out of 86006 with flag 2087903/980001
47.84/45.73	c cleaning 44002 clauses out of 88004 with flag 2183186/1025000
50.35/48.22	c cleaning 44992 clauses out of 90002 with flag 2280866/1071000
53.55/51.40	c cleaning 45996 clauses out of 92010 with flag 2382866/1118000
58.04/55.91	c cleaning 47007 clauses out of 94014 with flag 2493723/1166000
62.33/60.28	c cleaning 47994 clauses out of 96007 with flag 2602431/1215000
67.82/65.80	c cleaning 49002 clauses out of 98014 with flag 2717937/1265001
71.62/69.61	c cleaning 50002 clauses out of 100011 with flag 2830325/1316000
75.21/73.29	c cleaning 51003 clauses out of 102010 with flag 2942958/1368001
80.33/78.32	c cleaning 51991 clauses out of 104006 with flag 3059373/1421000
85.02/83.06	c cleaning 53005 clauses out of 106017 with flag 3178638/1475002
91.10/89.11	c cleaning 54001 clauses out of 108010 with flag 3303878/1530000
96.91/95.08	c cleaning 55004 clauses out of 110009 with flag 3429729/1586000
103.40/101.54	c cleaning 55997 clauses out of 112005 with flag 3559265/1643000
109.60/107.76	c cleaning 57000 clauses out of 114010 with flag 3693068/1701002
115.69/113.81	c cleaning 57996 clauses out of 116008 with flag 3827038/1760000
122.47/120.61	c cleaning 59004 clauses out of 118014 with flag 3964001/1820002
128.01/126.22	c cleaning 60006 clauses out of 120011 with flag 4098415/1881003
133.62/131.88	c cleaning 60992 clauses out of 122002 with flag 4238504/1943000
139.10/137.30	c cleaning 61999 clauses out of 124010 with flag 4384288/2006000
144.69/142.92	c cleaning 63002 clauses out of 126012 with flag 4526125/2070001
149.47/147.72	c cleaning 64002 clauses out of 128010 with flag 4665476/2135001
155.08/153.34	c cleaning 65003 clauses out of 130009 with flag 4811630/2201002
160.00/158.37	c cleaning 66002 clauses out of 132005 with flag 4953669/2268001
164.99/163.37	c cleaning 66999 clauses out of 134002 with flag 5098167/2336000
170.09/168.45	c cleaning 68001 clauses out of 136003 with flag 5244702/2405000
176.28/174.60	c cleaning 69001 clauses out of 138004 with flag 5393709/2475002
182.98/181.32	c cleaning 69992 clauses out of 140001 with flag 5544561/2546000
188.50/186.93	c cleaning 71006 clauses out of 142011 with flag 5697774/2618002
194.82/193.20	c cleaning 71999 clauses out of 144004 with flag 5852276/2691001
200.91/199.34	c cleaning 73000 clauses out of 146005 with flag 6008876/2765001
207.24/205.68	c cleaning 73999 clauses out of 148004 with flag 6168058/2840000
213.73/212.04	c cleaning 74996 clauses out of 150005 with flag 6329711/2916000
221.03/219.49	c cleaning 76001 clauses out of 152012 with flag 6492905/2993003
227.68/226.01	c cleaning 77002 clauses out of 154009 with flag 6658621/3071001
234.62/232.99	c cleaning 78003 clauses out of 156007 with flag 6826620/3150001
241.82/240.13	c cleaning 78998 clauses out of 158004 with flag 6996131/3230001
249.90/248.22	c cleaning 79991 clauses out of 160005 with flag 7169317/3311000
258.04/256.38	c cleaning 81006 clauses out of 162016 with flag 7347724/3393002
266.32/264.60	c cleaning 82000 clauses out of 164009 with flag 7526338/3476001
273.66/271.93	c cleaning 83003 clauses out of 166008 with flag 7704053/3560000
282.22/280.57	c cleaning 83997 clauses out of 168006 with flag 7884527/3645001
290.60/288.90	c cleaning 85003 clauses out of 170009 with flag 8066319/3731001
298.54/296.89	c cleaning 85999 clauses out of 172005 with flag 8250292/3818000
306.93/305.26	c cleaning 86997 clauses out of 174006 with flag 8437361/3906000
315.60/314.04	c cleaning 88005 clauses out of 176009 with flag 8626673/3995000
324.77/323.25	c cleaning 89000 clauses out of 178007 with flag 8817817/4085003
334.22/332.77	c cleaning 89999 clauses out of 180004 with flag 9011021/4176000
353.07/351.80	c cleaning 90997 clauses out of 182007 with flag 9222784/4268002
376.00/374.83	c cleaning 92002 clauses out of 184008 with flag 9444552/4361000
404.30/403.47	c cleaning 93002 clauses out of 186008 with flag 9667573/4455002
427.01/426.35	c cleaning 93999 clauses out of 188004 with flag 9886919/4550000
456.06/455.64	c cleaning 94998 clauses out of 190005 with flag 10118059/4646000
484.60/484.26	c cleaning 95994 clauses out of 192007 with flag 10342171/4743000
519.44/519.19	c cleaning 97004 clauses out of 194013 with flag 10575368/4841000
551.90/551.61	c cleaning 98003 clauses out of 196009 with flag 10806335/4940000
576.98/576.74	c cleaning 98995 clauses out of 198006 with flag 11034310/5040000
605.27/605.08	c cleaning 100000 clauses out of 200013 with flag 11269853/5141002
627.79/627.62	c cleaning 101000 clauses out of 202012 with flag 11505485/5243001
664.64/664.52	c cleaning 102002 clauses out of 204013 with flag 11746824/5346002
704.37/704.36	c cleaning 102996 clauses out of 206009 with flag 11993794/5450000
741.40/741.45	c cleaning 103999 clauses out of 208014 with flag 12239419/5555001
778.27/778.55	c cleaning 105006 clauses out of 210015 with flag 12487665/5661001
796.36/796.73	c cleaning 105998 clauses out of 212008 with flag 12728657/5768000
825.30/825.96	c cleaning 106998 clauses out of 214011 with flag 12969831/5876001
865.65/866.61	c cleaning 108000 clauses out of 216013 with flag 13227940/5985001
901.77/903.07	c cleaning 109007 clauses out of 218014 with flag 13484947/6095002
934.85/940.00	c cleaning 110003 clauses out of 220006 with flag 13739292/6206001
973.62/979.12	c cleaning 110993 clauses out of 222003 with flag 13997698/6318001
1009.58/1015.12	c cleaning 112000 clauses out of 224011 with flag 14249272/6431002
1050.62/1056.28	c cleaning 113000 clauses out of 226011 with flag 14506831/6545002
1089.65/1095.39	c cleaning 114002 clauses out of 228009 with flag 14769948/6660000
1128.42/1134.14	c cleaning 115001 clauses out of 230007 with flag 15033620/6776000
1151.71/1157.44	c cleaning 116001 clauses out of 232008 with flag 15290265/6893002
1164.78/1170.59	c cleaning 116999 clauses out of 234006 with flag 15543789/7011001
1181.41/1187.17	c cleaning 117998 clauses out of 236006 with flag 15796147/7130000
1197.19/1202.99	c cleaning 118998 clauses out of 238008 with flag 16052997/7250000
1211.43/1217.16	c cleaning 120002 clauses out of 240010 with flag 16312953/7371000
1227.19/1232.95	c cleaning 121004 clauses out of 242011 with flag 16573990/7493003
1243.12/1248.88	c cleaning 121995 clauses out of 244004 with flag 16838364/7616000
1262.31/1268.13	c cleaning 123000 clauses out of 246009 with flag 17106310/7740000
1288.51/1294.59	c cleaning 124002 clauses out of 248009 with flag 17391132/7865000
1314.72/1320.95	c cleaning 125001 clauses out of 250007 with flag 17675984/7991000
1339.83/1346.27	c cleaning 126001 clauses out of 252008 with flag 17963532/8118002
1364.83/1371.24	c cleaning 127002 clauses out of 254007 with flag 18253022/8246002
1383.45/1390.01	c cleaning 127996 clauses out of 256003 with flag 18526637/8375000
1401.91/1408.55	c cleaning 129000 clauses out of 258009 with flag 18800356/8505002
1419.50/1426.15	c cleaning 129999 clauses out of 260008 with flag 19076407/8636001
1439.77/1446.43	c cleaning 130999 clauses out of 262008 with flag 19354794/8768000
1458.49/1465.15	c cleaning 132006 clauses out of 264011 with flag 19637618/8901002
1502.47/1509.42	c cleaning 133003 clauses out of 266006 with flag 19955874/9035003
1548.63/1555.69	c cleaning 133996 clauses out of 268000 with flag 20273013/9170000
1603.46/1610.51	c cleaning 134996 clauses out of 270006 with flag 20593072/9306002
1656.28/1663.42	c cleaning 135997 clauses out of 272009 with flag 20911843/9443001
1715.34/1722.62	c cleaning 137002 clauses out of 274011 with flag 21246083/9581000
1755.18/1773.51	c cleaning 138001 clauses out of 276011 with flag 21561295/9720002
1791.41/1809.88	c cleaning 139004 clauses out of 278008 with flag 21869705/9860000
1821.98/1840.46	c cleaning 139994 clauses out of 280004 with flag 22182210/10001000
1858.41/1876.94	c cleaning 141002 clauses out of 282010 with flag 22510152/10143000
1895.63/1914.21	c cleaning 141998 clauses out of 284012 with flag 22827613/10286004
1933.19/1951.99	c cleaning 142996 clauses out of 286011 with flag 23153570/10430001
1991.60/2010.80	c cleaning 144004 clauses out of 288014 with flag 23506718/10575000
2044.38/2063.88	c cleaning 144998 clauses out of 290012 with flag 23862224/10721002
2075.02/2094.55	c cleaning 146003 clauses out of 292012 with flag 24204713/10868000
2111.40/2131.04	c cleaning 147000 clauses out of 294009 with flag 24553938/11016000
2148.03/2167.85	c cleaning 148005 clauses out of 296010 with flag 24902573/11165001
2186.32/2206.26	c cleaning 148997 clauses out of 298005 with flag 25238010/11315001
2217.05/2237.08	c cleaning 150002 clauses out of 300008 with flag 25569031/11466001
2254.27/2274.36	c cleaning 151004 clauses out of 302007 with flag 25900222/11618002
2319.96/2340.11	c cleaning 151995 clauses out of 304003 with flag 26271691/11771002
2388.13/2408.55	c cleaning 153001 clauses out of 306006 with flag 26643350/11925000
2446.65/2467.25	c cleaning 153996 clauses out of 308005 with flag 27011091/12080000
2494.84/2515.53	c cleaning 154997 clauses out of 310009 with flag 27371409/12236000
2562.47/2583.38	c cleaning 155999 clauses out of 312013 with flag 27757582/12393001
2621.90/2642.93	c cleaning 156999 clauses out of 314013 with flag 28141949/12551000
2653.75/2674.82	c cleaning 158001 clauses out of 316014 with flag 28501358/12710000
2707.60/2728.87	c cleaning 158999 clauses out of 318013 with flag 28877827/12870000
2776.60/2798.29	c cleaning 160008 clauses out of 320015 with flag 29253468/13031001
2826.23/2847.96	c cleaning 160996 clauses out of 322006 with flag 29620745/13193000
2876.83/2898.62	c cleaning 162003 clauses out of 324012 with flag 30006266/13356002
2904.00/2925.94	c cleaning 163002 clauses out of 326008 with flag 30362555/13520001
2934.17/2958.50	c cleaning 164002 clauses out of 328007 with flag 30713020/13685002
2964.87/2989.35	c cleaning 165002 clauses out of 330005 with flag 31077172/13851002
2996.75/3021.38	c cleaning 166001 clauses out of 332003 with flag 31438779/14018002
3041.01/3065.85	c cleaning 166996 clauses out of 334000 with flag 31809640/14186000
3109.91/3135.14	c cleaning 167994 clauses out of 336005 with flag 32200249/14355001
3156.51/3181.99	c cleaning 168999 clauses out of 338010 with flag 32581409/14525000
3191.09/3216.66	c cleaning 170004 clauses out of 340011 with flag 32946797/14696000
3222.29/3247.85	c cleaning 171002 clauses out of 342007 with flag 33324775/14868000
3255.11/3280.76	c cleaning 172000 clauses out of 344007 with flag 33711127/15041002
3290.24/3315.93	c cleaning 172999 clauses out of 346008 with flag 34094316/15215003
3322.74/3349.61	c cleaning 173997 clauses out of 348007 with flag 34470233/15390001
3366.84/3393.85	c cleaning 174999 clauses out of 350010 with flag 34856574/15566001
3401.63/3428.91	c cleaning 175997 clauses out of 352011 with flag 35245882/15743001
3454.12/3481.52	c cleaning 177001 clauses out of 354014 with flag 35653113/15921001
3513.69/3541.24	c cleaning 177999 clauses out of 356012 with flag 36077179/16100000
3576.52/3604.21	c cleaning 179000 clauses out of 358014 with flag 36516153/16280001
3600.00/3627.72	c starts		: 24161
3600.00/3627.72	c timeout
3600.00/3627.72	c conflicts		: 16364280
3600.00/3627.72	c decisions		: 18085837
3600.00/3627.72	c propagations		: 85158420
3600.00/3627.72	c inspects		: 29636013689
3600.00/3627.72	c shortcuts		: 0
3600.00/3627.72	c learnt literals	: 0
3600.00/3627.72	c learnt binary clauses	: 0
3600.00/3627.72	c learnt ternary clauses	: 0
3600.00/3627.72	c learnt constraints	: 16364280
3600.00/3627.72	c ignored constraints	: 0
3600.00/3627.72	c root simplifications	: 0
3600.00/3627.72	c removed literals (reason simplification)	: 311342782
3600.00/3627.72	c reason swapping (by a shorter reason)	: 0
3600.00/3627.72	c Calls to reduceDB	: 176
3600.00/3627.72	c Number of update (reduction) of LBD	: 423830
3600.00/3627.72	c Imported unit clauses	: 0
3600.00/3627.72	c No decision after first conflict	: false
3600.00/3627.72	c number of reductions to clauses (during analyze)	: 0
3600.00/3627.72	c number of learned constraints concerned by reduction	: 0
3600.00/3627.72	c number of learning phase by resolution	: 0
3600.00/3627.72	c number of learning phase by cutting planes	: 0
3600.00/3627.72	c number of rounding to 1 operations	: 0
3600.00/3627.72	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3627.72	c number of reductions of the coefficients by power 2 	: 0
3600.00/3627.72	c number of right shift for reduction by power 2 	: 0
3600.00/3627.72	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3627.72	c number of ending skipping 	: 0
3600.00/3627.72	c number of internal skipping 	: 0
3600.00/3627.72	c number of derivation steps 	: 0
3600.00/3627.72	c number of skipped derivation steps 	: 0
3600.00/3627.72	c number of remaining unassigned 	: 0
3600.00/3627.72	c number of remaining assigned 	: 0
3600.00/3627.72	c number of falsified literals weakened from reason	: 0
3600.00/3627.72	c number of falsified literals weakened from conflict	: 0
3600.00/3627.72	c time for arithmetic operations	: 0
3600.00/3627.72	c minimum degree of deleted constraints	: null
3600.00/3627.72	c maximum degree of deleted constraints	: null
3600.00/3627.72	c number of deleted constraints	: 0
3600.00/3627.72	c speed (assignments/second)	: 23475.3994420492
3600.00/3627.72	c non guided choices	: 23
3600.00/3627.78	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 263293
3600.00/3627.78	s UNKNOWN
3600.00/3627.78	c Total wall clock time (in seconds): 3627.651

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100625 s]*
/proc/loadavg: 4.16 4.12 4.09 5/331 208981
/proc/meminfo: memFree=102740604/131524600 swapFree=131061696/131071996
[pid=208963] ppid=208960 vsize=18993908 memory=67520 CPUtime=0.14 cores=1,3
/proc/208963/stat : 208963 (java) S 208960 208963 206792 0 -1 1077936128 7174 0 0 0 11 3 0 0 20 0 18 0 20836429 19449761792 16880 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
/proc/208963/statm: 4748477 16880 5806 1 0 549351 0
[pid=208963/tid=208965] ppid=208960 vsize=18993908 memory=4026561586 CPUtime=0.09 cores=1,3
/proc/208963/task/208965/stat : 208965 (java) R 208960 208963 206792 0 -1 4194368 5759 0 0 0 7 2 0 0 20 0 18 0 20836429 19449761792 16880 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208974] ppid=208960 vsize=18993908 memory=232851243367 CPUtime=0 cores=1,3
/proc/208963/task/208974/stat : 208974 (Finalizer) S 208960 208963 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20836432 19449761792 16880 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208981] ppid=208960 vsize=18993908 memory=15534145914147786 CPUtime=0 cores=1,3
/proc/208963/task/208981/stat : 208981 (Common-Cleaner) S 208960 208963 206792 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20836433 19449761792 16880 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 67520 KiB

[startup+0.207938 s]*
/proc/loadavg: 4.16 4.12 4.09 7/332 208982
/proc/meminfo: memFree=102731716/131524600 swapFree=131061696/131071996
[pid=208963] ppid=208960 vsize=19060472 memory=74680 CPUtime=0.33 cores=1,3
/proc/208963/stat : 208963 (java) S 208960 208963 206792 0 -1 1077936128 7695 0 0 0 30 3 0 0 20 0 19 0 20836429 19517923328 18670 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
/proc/208963/statm: 4765118 18670 6083 1 0 549954 0
[pid=208963/tid=208965] ppid=208960 vsize=19060472 memory=4782652875487838339 CPUtime=0.18 cores=1,3
/proc/208963/task/208965/stat : 208965 (java) R 208960 208963 206792 0 -1 4194368 6009 0 0 0 16 2 0 0 20 0 19 0 20836429 19517923328 18670 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208974] ppid=208960 vsize=19060472 memory=1446658 CPUtime=0 cores=1,3
/proc/208963/task/208974/stat : 208974 (Finalizer) S 208960 208963 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20836432 19517923328 18670 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208981] ppid=208960 vsize=19060472 memory=14979970577467533 CPUtime=0 cores=1,3
/proc/208963/task/208981/stat : 208981 (Common-Cleaner) S 208960 208963 206792 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20836433 19517923328 18670 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208982] ppid=208960 vsize=19060472 memory=0 CPUtime=0 cores=1,3
/proc/208963/task/208982/stat : 208982 (Timer-0) S 208960 208963 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20836445 19517923328 18670 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 74680 KiB

[startup+0.306934 s]*
/proc/loadavg: 4.16 4.12 4.09 7/332 208982
/proc/meminfo: memFree=102715004/131524600 swapFree=131061696/131071996
[pid=208963] ppid=208960 vsize=19060472 memory=92988 CPUtime=0.52 cores=1,3
/proc/208963/stat : 208963 (java) S 208960 208963 206792 0 -1 1077936128 9512 0 0 0 48 4 0 0 20 0 19 0 20836429 19517923328 23247 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
/proc/208963/statm: 4765118 23247 6094 1 0 550938 0
[pid=208963/tid=208965] ppid=208960 vsize=19060472 memory=-9175909849766798012 CPUtime=0.26 cores=1,3
/proc/208963/task/208965/stat : 208965 (java) R 208960 208963 206792 0 -1 4194368 6041 0 0 0 23 3 0 0 20 0 19 0 20836429 19517923328 23247 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208974] ppid=208960 vsize=19060472 memory=0 CPUtime=0 cores=1,3
/proc/208963/task/208974/stat : 208974 (Finalizer) S 208960 208963 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20836432 19517923328 23247 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208981] ppid=208960 vsize=19060472 memory=0 CPUtime=0 cores=1,3
/proc/208963/task/208981/stat : 208981 (Common-Cleaner) S 208960 208963 206792 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20836433 19517923328 23247 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208982] ppid=208960 vsize=19060472 memory=0 CPUtime=0 cores=1,3
/proc/208963/task/208982/stat : 208982 (Timer-0) S 208960 208963 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20836445 19517923328 23247 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 92988 KiB

[startup+0.70043 s]
/proc/loadavg: 4.16 4.12 4.09 6/332 208982
/proc/meminfo: memFree=102666812/131524600 swapFree=131061696/131071996
[pid=208963] ppid=208960 vsize=19127036 memory=175336 CPUtime=1.27 cores=1,3
/proc/208963/stat : 208963 (java) S 208960 208963 206792 0 -1 1077936128 12541 0 0 0 120 7 0 0 20 0 20 0 20836429 19586084864 43834 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
/proc/208963/statm: 4781759 43834 6094 1 0 553112 0
[pid=208963/tid=208965] ppid=208960 vsize=19127036 memory=75972 CPUtime=0.63 cores=1,3
/proc/208963/task/208965/stat : 208965 (java) D 208960 208963 206792 0 -1 4194368 6123 0 0 0 58 5 0 0 20 0 20 0 20836429 19586084864 43834 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208974] ppid=208960 vsize=19127036 memory=12248 CPUtime=0 cores=1,3
/proc/208963/task/208974/stat : 208974 (Finalizer) S 208960 208963 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20836432 19586084864 43834 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208981] ppid=208960 vsize=19127036 memory=2164 CPUtime=0 cores=1,3
/proc/208963/task/208981/stat : 208981 (Common-Cleaner) S 208960 208963 206792 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20836433 19586084864 43834 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208982] ppid=208960 vsize=19127036 memory=5448 CPUtime=0 cores=1,3
/proc/208963/task/208982/stat : 208982 (Timer-0) S 208960 208963 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20836445 19586084864 43834 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 175336 KiB

[startup+1.50093 s]
/proc/loadavg: 4.16 4.12 4.09 7/333 208983
/proc/meminfo: memFree=102623708/131524600 swapFree=131061696/131071996
[pid=208963] ppid=208960 vsize=19127036 memory=182548 CPUtime=2.86 cores=1,3
/proc/208963/stat : 208963 (java) S 208960 208963 206792 0 -1 1077936128 18758 0 0 0 277 9 0 0 20 0 20 0 20836429 19586084864 45637 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
/proc/208963/statm: 4781759 45637 6126 1 0 554168 0
[pid=208963/tid=208965] ppid=208960 vsize=19127036 memory=12248 CPUtime=1.4 cores=1,3
/proc/208963/task/208965/stat : 208965 (java) R 208960 208963 206792 0 -1 4194368 6539 0 0 0 134 6 0 0 20 0 20 0 20836429 19586084864 45637 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208974] ppid=208960 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/208963/task/208974/stat : 208974 (Finalizer) S 208960 208963 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20836432 19586084864 45637 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208981] ppid=208960 vsize=19127036 memory=2164 CPUtime=0 cores=1,3
/proc/208963/task/208981/stat : 208981 (Common-Cleaner) S 208960 208963 206792 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20836433 19586084864 45637 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208982] ppid=208960 vsize=19127036 memory=5448 CPUtime=0 cores=1,3
/proc/208963/task/208982/stat : 208982 (Timer-0) S 208960 208963 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20836445 19586084864 45637 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 182548 KiB

[startup+3.10593 s]
/proc/loadavg: 4.15 4.11 4.09 5/333 208983
/proc/meminfo: memFree=102437536/131524600 swapFree=131061696/131071996
[pid=208963] ppid=208960 vsize=19127036 memory=338748 CPUtime=5.22 cores=1,3
/proc/208963/stat : 208963 (java) S 208960 208963 206792 0 -1 1077936128 20556 0 0 0 506 16 0 0 20 0 20 0 20836429 19586084864 84687 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
/proc/208963/statm: 4781759 84687 6126 1 0 554186 0
[pid=208963/tid=208965] ppid=208960 vsize=19127036 memory=0 CPUtime=2.97 cores=1,3
/proc/208963/task/208965/stat : 208965 (java) R 208960 208963 206792 0 -1 4194368 7010 0 0 0 284 13 0 0 20 0 20 0 20836429 19586084864 84687 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208974] ppid=208960 vsize=19127036 memory=-9175909849766798012 CPUtime=0 cores=1,3
/proc/208963/task/208974/stat : 208974 (Finalizer) S 208960 208963 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20836432 19586084864 84687 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208981] ppid=208960 vsize=19127036 memory=12248 CPUtime=0 cores=1,3
/proc/208963/task/208981/stat : 208981 (Common-Cleaner) S 208960 208963 206792 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20836433 19586084864 84687 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208982] ppid=208960 vsize=19127036 memory=2164 CPUtime=0 cores=1,3
/proc/208963/task/208982/stat : 208982 (Timer-0) S 208960 208963 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20836445 19586084864 84687 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
Current children cumulated CPU time: 5.22 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 338748 KiB

[startup+6.30093 s]
/proc/loadavg: 4.15 4.11 4.09 5/333 208983
/proc/meminfo: memFree=101762028/131524600 swapFree=131061696/131071996
[pid=208963] ppid=208960 vsize=19127036 memory=982768 CPUtime=8.6 cores=1,3
/proc/208963/stat : 208963 (java) S 208960 208963 206792 0 -1 1077936128 21355 0 0 0 827 33 0 0 20 0 20 0 20836429 19586084864 245692 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
/proc/208963/statm: 4781759 245692 6126 1 0 554204 0
[pid=208963/tid=208965] ppid=208960 vsize=19127036 memory=12248 CPUtime=6.12 cores=1,3
/proc/208963/task/208965/stat : 208965 (java) R 208960 208963 206792 0 -1 4194368 7667 0 0 0 583 29 0 0 20 0 20 0 20836429 19586084864 245692 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208974] ppid=208960 vsize=19127036 memory=2164 CPUtime=0 cores=1,3
/proc/208963/task/208974/stat : 208974 (Finalizer) S 208960 208963 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20836432 19586084864 245692 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208981] ppid=208960 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/208963/task/208981/stat : 208981 (Common-Cleaner) S 208960 208963 206792 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20836433 19586084864 245692 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208982] ppid=208960 vsize=19127036 memory=182548 CPUtime=0 cores=1,3
/proc/208963/task/208982/stat : 208982 (Timer-0) S 208960 208963 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20836445 19586084864 245692 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
Current children cumulated CPU time: 8.6 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 982768 KiB

[startup+12.7009 s]
/proc/loadavg: 4.14 4.11 4.09 9/332 209186
/proc/meminfo: memFree=116364612/131524600 swapFree=131061696/131071996
[pid=208963] ppid=208960 vsize=19127036 memory=1324928 CPUtime=15 cores=1,3
/proc/208963/stat : 208963 (java) S 208960 208963 206792 0 -1 1077936128 24979 0 0 0 1450 50 0 0 20 0 20 0 20836429 19586084864 331232 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
/proc/208963/statm: 4781759 331232 6126 1 0 554204 0
[pid=208963/tid=208965] ppid=208960 vsize=19127036 memory=182548 CPUtime=12.43 cores=1,3
/proc/208963/task/208965/stat : 208965 (java) R 208960 208963 206792 0 -1 4194368 9120 0 0 0 1198 45 0 0 20 0 20 0 20836429 19586084864 331232 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208974] ppid=208960 vsize=19127036 memory=1324916 CPUtime=0 cores=1,3
/proc/208963/task/208974/stat : 208974 (Finalizer) S 208960 208963 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20836432 19586084864 331232 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208981] ppid=208960 vsize=19127036 memory=12248 CPUtime=0 cores=1,3
/proc/208963/task/208981/stat : 208981 (Common-Cleaner) S 208960 208963 206792 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20836433 19586084864 331232 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208982] ppid=208960 vsize=19127036 memory=11496 CPUtime=0 cores=1,3
/proc/208963/task/208982/stat : 208982 (Timer-0) S 208960 208963 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20836445 19586084864 331232 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
Current children cumulated CPU time: 15 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1324928 KiB

[startup+25.5003 s]
/proc/loadavg: 4.24 4.14 4.10 5/333 209189
/proc/meminfo: memFree=113639360/131524600 swapFree=131061696/131071996
[pid=208963] ppid=208960 vsize=19127036 memory=1335268 CPUtime=27.78 cores=1,3
/proc/208963/stat : 208963 (java) S 208960 208963 206792 0 -1 1077936128 30330 0 0 0 2713 65 0 0 20 0 20 0 20836429 19586084864 333817 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
/proc/208963/statm: 4781759 333817 6126 1 0 554204 0
[pid=208963/tid=208965] ppid=208960 vsize=19127036 memory=1327076 CPUtime=25.05 cores=1,3
/proc/208963/task/208965/stat : 208965 (java) R 208960 208963 206792 0 -1 4194368 10825 0 0 0 2446 59 0 0 20 0 20 0 20836429 19586084864 333817 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208974] ppid=208960 vsize=19127036 memory=-9175909849766798012 CPUtime=0 cores=1,3
/proc/208963/task/208974/stat : 208974 (Finalizer) S 208960 208963 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20836432 19586084864 333817 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208981] ppid=208960 vsize=19127036 memory=11496 CPUtime=0 cores=1,3
/proc/208963/task/208981/stat : 208981 (Common-Cleaner) S 208960 208963 206792 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20836433 19586084864 333817 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208982] ppid=208960 vsize=19127036 memory=75972 CPUtime=0 cores=1,3
/proc/208963/task/208982/stat : 208982 (Timer-0) S 208960 208963 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20836445 19586084864 333817 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
Current children cumulated CPU time: 27.78 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1335268 KiB

[startup+51.1058 s]
/proc/loadavg: 4.16 4.13 4.10 5/331 209193
/proc/meminfo: memFree=111683252/131524600 swapFree=131061696/131071996
[pid=208963] ppid=208960 vsize=19127036 memory=1343516 CPUtime=53.26 cores=1,3
/proc/208963/stat : 208963 (java) S 208960 208963 206792 0 -1 1077936128 37372 0 0 0 5235 91 0 0 20 0 20 0 20836429 19586084864 335879 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0

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

/proc/meminfo: memFree=92201996/131524600 swapFree=131061696/131071996
[pid=208963] ppid=208960 vsize=19127036 memory=2176072 CPUtime=3256.71 cores=1,3
/proc/208963/stat : 208963 (java) S 208960 208963 206792 0 -1 1077936128 176578 0 0 0 324708 963 0 0 20 0 20 0 20836429 19586084864 544018 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
/proc/208963/statm: 4781759 544018 6141 1 0 555407 0
[pid=208963/tid=208965] ppid=208960 vsize=19127036 memory=2176072 CPUtime=3238.82 cores=1,3
/proc/208963/task/208965/stat : 208965 (java) R 208960 208963 206792 0 -1 4194368 81530 0 0 0 323032 850 0 0 20 0 20 0 20836429 19586084864 544018 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2287 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208974] ppid=208960 vsize=19127036 memory=2176072 CPUtime=0 cores=1,3
/proc/208963/task/208974/stat : 208974 (Finalizer) S 208960 208963 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20836432 19586084864 544018 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208981] ppid=208960 vsize=19127036 memory=11496 CPUtime=0 cores=1,3
/proc/208963/task/208981/stat : 208981 (Common-Cleaner) S 208960 208963 206792 0 -1 1077936192 3840 0 0 0 0 0 0 0 20 0 20 0 20836433 19586084864 544018 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208982] ppid=208960 vsize=19127036 memory=2176072 CPUtime=0 cores=1,3
/proc/208963/task/208982/stat : 208982 (Timer-0) S 208960 208963 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20836445 19586084864 544018 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
Current children cumulated CPU time: 3256.71 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2176072 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.16 4.13 5/334 211048
/proc/meminfo: memFree=91889316/131524600 swapFree=131061696/131071996
[pid=208963] ppid=208960 vsize=19127036 memory=2176072 CPUtime=3315.46 cores=1,3
/proc/208963/stat : 208963 (java) S 208960 208963 206792 0 -1 1077936128 178618 0 0 0 330563 983 0 0 20 0 20 0 20836429 19586084864 544018 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
/proc/208963/statm: 4781759 544018 6141 1 0 555407 0
[pid=208963/tid=208965] ppid=208960 vsize=19127036 memory=11496 CPUtime=3297.28 cores=1,3
/proc/208963/task/208965/stat : 208965 (java) R 208960 208963 206792 0 -1 4194368 82609 0 0 0 328860 868 0 0 20 0 20 0 20836429 19586084864 544018 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2413 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208974] ppid=208960 vsize=19127036 memory=2176072 CPUtime=0 cores=1,3
/proc/208963/task/208974/stat : 208974 (Finalizer) S 208960 208963 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20836432 19586084864 544018 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208981] ppid=208960 vsize=19127036 memory=2176072 CPUtime=0 cores=1,3
/proc/208963/task/208981/stat : 208981 (Common-Cleaner) S 208960 208963 206792 0 -1 1077936192 3896 0 0 0 0 0 0 0 20 0 20 0 20836433 19586084864 544018 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208982] ppid=208960 vsize=19127036 memory=11496 CPUtime=0 cores=1,3
/proc/208963/task/208982/stat : 208982 (Timer-0) S 208960 208963 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20836445 19586084864 544018 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
Current children cumulated CPU time: 3315.46 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2176072 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.16 4.13 5/334 211058
/proc/meminfo: memFree=91631888/131524600 swapFree=131061696/131071996
[pid=208963] ppid=208960 vsize=19127036 memory=2176076 CPUtime=3375.09 cores=1,3
/proc/208963/stat : 208963 (java) S 208960 208963 206792 0 -1 1077936128 180772 0 0 0 336513 996 0 0 20 0 20 0 20836429 19586084864 544019 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
/proc/208963/statm: 4781759 544019 6141 1 0 555407 0
[pid=208963/tid=208965] ppid=208960 vsize=19127036 memory=2176072 CPUtime=3356.74 cores=1,3
/proc/208963/task/208965/stat : 208965 (java) R 208960 208963 206792 0 -1 4194368 84012 0 0 0 334794 880 0 0 20 0 20 0 20836429 19586084864 544019 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2443 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208974] ppid=208960 vsize=19127036 memory=2176076 CPUtime=0 cores=1,3
/proc/208963/task/208974/stat : 208974 (Finalizer) S 208960 208963 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20836432 19586084864 544019 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208981] ppid=208960 vsize=19127036 memory=11496 CPUtime=0 cores=1,3
/proc/208963/task/208981/stat : 208981 (Common-Cleaner) S 208960 208963 206792 0 -1 1077936192 3952 0 0 0 0 0 0 0 20 0 20 0 20836433 19586084864 544019 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208982] ppid=208960 vsize=19127036 memory=11496 CPUtime=0 cores=1,3
/proc/208963/task/208982/stat : 208982 (Timer-0) S 208960 208963 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20836445 19586084864 544019 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
Current children cumulated CPU time: 3375.09 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2176076 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.14 4.12 5/335 211071
/proc/meminfo: memFree=91316104/131524600 swapFree=131061696/131071996
[pid=208963] ppid=208960 vsize=19127036 memory=2176076 CPUtime=3434.96 cores=1,3
/proc/208963/stat : 208963 (java) S 208960 208963 206792 0 -1 1077936128 182866 0 0 0 342485 1011 0 0 20 0 20 0 20836429 19586084864 544019 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
/proc/208963/statm: 4781759 544019 6141 1 0 555407 0
[pid=208963/tid=208965] ppid=208960 vsize=19127036 memory=2176072 CPUtime=3416.3 cores=1,3
/proc/208963/task/208965/stat : 208965 (java) R 208960 208963 206792 0 -1 4194368 85436 0 0 0 340737 893 0 0 20 0 20 0 20836429 19586084864 544019 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2458 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208974] ppid=208960 vsize=19127036 memory=5448 CPUtime=0 cores=1,3
/proc/208963/task/208974/stat : 208974 (Finalizer) S 208960 208963 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20836432 19586084864 544019 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208981] ppid=208960 vsize=19127036 memory=2176076 CPUtime=0 cores=1,3
/proc/208963/task/208981/stat : 208981 (Common-Cleaner) S 208960 208963 206792 0 -1 1077936192 4034 0 0 0 0 0 0 0 20 0 20 0 20836433 19586084864 544019 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208982] ppid=208960 vsize=19127036 memory=2176076 CPUtime=0 cores=1,3
/proc/208963/task/208982/stat : 208982 (Timer-0) S 208960 208963 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20836445 19586084864 544019 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
Current children cumulated CPU time: 3434.96 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2176076 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.13 4.12 5/335 211081
/proc/meminfo: memFree=91028488/131524600 swapFree=131061696/131071996
[pid=208963] ppid=208960 vsize=19127036 memory=2176096 CPUtime=3494.75 cores=1,3
/proc/208963/stat : 208963 (java) S 208960 208963 206792 0 -1 1077936128 184785 0 0 0 348448 1027 0 0 20 0 20 0 20836429 19586084864 544024 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
/proc/208963/statm: 4781759 544024 6141 1 0 555411 0
[pid=208963/tid=208965] ppid=208960 vsize=19127036 memory=2176096 CPUtime=3475.93 cores=1,3
/proc/208963/task/208965/stat : 208965 (java) R 208960 208963 206792 0 -1 4194368 86907 0 0 0 346686 907 0 0 20 0 20 0 20836429 19586084864 544024 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2473 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208974] ppid=208960 vsize=19127036 memory=2176076 CPUtime=0 cores=1,3
/proc/208963/task/208974/stat : 208974 (Finalizer) S 208960 208963 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20836432 19586084864 544024 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208981] ppid=208960 vsize=19127036 memory=2176076 CPUtime=0 cores=1,3
/proc/208963/task/208981/stat : 208981 (Common-Cleaner) S 208960 208963 206792 0 -1 1077936192 4111 0 0 0 0 0 0 0 20 0 20 0 20836433 19586084864 544024 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208982] ppid=208960 vsize=19127036 memory=75972 CPUtime=0 cores=1,3
/proc/208963/task/208982/stat : 208982 (Timer-0) S 208960 208963 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20836445 19586084864 544024 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
Current children cumulated CPU time: 3494.75 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2176096 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.11 5/335 211091
/proc/meminfo: memFree=90769016/131524600 swapFree=131061696/131071996
[pid=208963] ppid=208960 vsize=19127036 memory=2176152 CPUtime=3554.66 cores=1,3
/proc/208963/stat : 208963 (java) S 208960 208963 206792 0 -1 1077936128 187044 0 0 0 354425 1041 0 0 20 0 20 0 20836429 19586084864 544038 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
/proc/208963/statm: 4781759 544038 6141 1 0 555411 0
[pid=208963/tid=208965] ppid=208960 vsize=19127036 memory=2176152 CPUtime=3535.53 cores=1,3
/proc/208963/task/208965/stat : 208965 (java) R 208960 208963 206792 0 -1 4194368 88008 0 0 0 352632 921 0 0 20 0 20 0 20836429 19586084864 544038 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2485 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208974] ppid=208960 vsize=19127036 memory=2176152 CPUtime=0 cores=1,3
/proc/208963/task/208974/stat : 208974 (Finalizer) S 208960 208963 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20836432 19586084864 544038 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208981] ppid=208960 vsize=19127036 memory=2176152 CPUtime=0 cores=1,3
/proc/208963/task/208981/stat : 208981 (Common-Cleaner) S 208960 208963 206792 0 -1 1077936192 4182 0 0 0 0 0 0 0 20 0 20 0 20836433 19586084864 544038 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208982] ppid=208960 vsize=19127036 memory=11496 CPUtime=0 cores=1,3
/proc/208963/task/208982/stat : 208982 (Timer-0) S 208960 208963 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20836445 19586084864 544038 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
Current children cumulated CPU time: 3554.66 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2176152 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3627.7 s]
/proc/loadavg: 3.82 4.05 4.09 4/309 211133
/proc/meminfo: memFree=108039188/131524600 swapFree=131061696/131071996
[pid=208963] ppid=208960 vsize=19127036 memory=2176180 CPUtime=3600 cores=1,3
/proc/208963/stat : 208963 (java) S 208960 208963 206792 0 -1 1077936128 188702 0 0 0 358948 1052 0 0 20 0 20 0 20836429 19586084864 544045 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
/proc/208963/statm: 4781759 544045 6141 1 0 555417 0
[pid=208963/tid=208965] ppid=208960 vsize=19127036 memory=2176152 CPUtime=3580.75 cores=1,3
/proc/208963/task/208965/stat : 208965 (java) R 208960 208963 206792 0 -1 4194368 88810 0 0 0 357145 930 0 0 20 0 20 0 20836429 19586084864 544045 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2487 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208974] ppid=208960 vsize=19127036 memory=2176152 CPUtime=0 cores=1,3
/proc/208963/task/208974/stat : 208974 (Finalizer) S 208960 208963 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20836432 19586084864 544045 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208981] ppid=208960 vsize=19127036 memory=11496 CPUtime=0 cores=1,3
/proc/208963/task/208981/stat : 208981 (Common-Cleaner) S 208960 208963 206792 0 -1 1077936192 4295 0 0 0 0 0 0 0 20 0 20 0 20836433 19586084864 544045 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208982] ppid=208960 vsize=19127036 memory=11496 CPUtime=0 cores=1,3
/proc/208963/task/208982/stat : 208982 (Timer-0) S 208960 208963 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20836445 19586084864 544045 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2176180 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.61 s, system=10.5363 s

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

[startup+3627.7 s]
/proc/loadavg: 3.82 4.05 4.09 4/309 211133
/proc/meminfo: memFree=108039188/131524600 swapFree=131061696/131071996
[pid=208963] ppid=208960 vsize=19127036 memory=2176180 CPUtime=3600 cores=1,3
/proc/208963/stat : 208963 (java) S 208960 208963 206792 0 -1 1077936128 188702 0 0 0 358948 1052 0 0 20 0 20 0 20836429 19586084864 544045 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
/proc/208963/statm: 4781759 544045 6141 1 0 555417 0
[pid=208963/tid=208965] ppid=208960 vsize=19127036 memory=2176152 CPUtime=3580.75 cores=1,3
/proc/208963/task/208965/stat : 208965 (java) R 208960 208963 206792 0 -1 4194368 88810 0 0 0 357145 930 0 0 20 0 20 0 20836429 19586084864 544045 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2487 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208974] ppid=208960 vsize=19127036 memory=2176152 CPUtime=0 cores=1,3
/proc/208963/task/208974/stat : 208974 (Finalizer) S 208960 208963 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20836432 19586084864 544045 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208981] ppid=208960 vsize=19127036 memory=11496 CPUtime=0 cores=1,3
/proc/208963/task/208981/stat : 208981 (Common-Cleaner) S 208960 208963 206792 0 -1 1077936192 4295 0 0 0 0 0 0 0 20 0 20 0 20836433 19586084864 544045 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
[pid=208963/tid=208982] ppid=208960 vsize=19127036 memory=11496 CPUtime=0 cores=1,3
/proc/208963/task/208982/stat : 208982 (Timer-0) S 208960 208963 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20836445 19586084864 544045 134679101440 94867749896192 94867749899888 140729101889024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867749907704 94867749908496 94867767894016 140729101890479 140729101890661 140729101890661 140729101897672 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2176180 KiB

Child status: 143

Real time (s): 3627.8
CPU time (s): 3600.15
CPU user time (s): 3589.61
CPU system time (s): 10.5363
CPU usage (%): 99.2379
Max. virtual memory (cumulated for all children) (KiB): 19127036
Max. memory (cumulated for all children) (KiB): 2176180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.61
system time used= 10.5363
maximum resident set size= 2177012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191248
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8064272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112105
involuntary context switches= 12957


# summary of solver processes directly reported to runsolver:
#   pid: 208963
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3589.61
#   total CPU system time (s): 10.5363

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.70118 second user time and 18.4419 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2024-07-24 19:44:41
IDJOB=4453282
IDBENCH=170394
IDSOLVER=3079
FILE ID=nodeC020/4453282-1721843081
RUNJOBID= nodeC020-1721839470-206804
SLURM_JOB_ID= 7891544
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/vertex-cover/vc-grids-v3_shuffle/normalized-grid6_19.shuf-1.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-4453282-1721843081/watcher-4453282-1721843081 -o /tmp/evaluation-result-4453282-1721843081/solver-4453282-1721843081 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721839470-206804 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4453282-1721843081 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4453282-1721843081.opb

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

MD5SUM BENCH= 531bd272698487ed1af127f2a6793d74
RANDOM SEED=116120582

nodeC020.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		: 3600.075
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.31
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		: 3655.467
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.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		: 3668.566
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.31
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		: 3620.699
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.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		: 3668.553
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.31
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		: 3682.318
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.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		: 3599.677
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.31
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		: 3625.374
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        102785232 kB
MemAvailable:   123348608 kB
Buffers:          265968 kB
Cached:         21078276 kB
SwapCached:          120 kB
Active:          2592696 kB
Inactive:       25431316 kB
Active(anon):       2344 kB
Inactive(anon):  6731696 kB
Active(file):    2590352 kB
Inactive(file): 18699620 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061696 kB
Dirty:             58424 kB
Writeback:             0 kB
AnonPages:       6678804 kB
Mapped:           129556 kB
Shmem:             53880 kB
KReclaimable:     226456 kB
Slab:             344192 kB
SReclaimable:     226456 kB
SUnreclaim:       117736 kB
KernelStack:        5056 kB
PageTables:        23652 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7333540 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18496 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6393856 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:      363220 kB
DirectMap2M:    44498944 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC020 at 2024-07-24 20:45:09