Trace number 4515858

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 2025-06-06? (TO) 3600.21 3586.54

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v1_shuffle/normalized-grid10_35.shuf-3.opb
MD5SUM63b188aa857e13a102f967140947950a
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.095755
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables350
Total number of constraints701
Number of constraints which are clauses700
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 constraint350
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 5
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 355
Number of bits of the biggest sum of numbers9
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.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	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.12/0.14	c Pseudo Boolean Optimization by upper bound
0.12/0.14	c --- Begin Solver configuration ---
0.12/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.14	c Learn all clauses as in MiniSAT
0.12/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.14	c Expensive reason simplification
0.12/0.14	c Glucose 2.1 dynamic restart strategy
0.12/0.14	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.12/0.14	c timeout=2147483s
0.12/0.14	c DB Simplification allowed=false
0.12/0.14	c Listener: none
0.12/0.14	c --- End Solver configuration ---
0.12/0.14	c solving HOME/instance-4515858-1751235974.opb
0.12/0.14	c reading problem ... 
0.12/0.14	c  no objective function found
0.12/0.19	c ... done. Wall clock time 0.045s.
0.12/0.19	c declared #vars     350
0.12/0.19	c #constraints  701
0.12/0.19	c constraints type 
0.12/0.19	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 700
0.12/0.19	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.12/0.19	c 701 constraints processed.
1.26/0.72	c cleaning 2500 clauses out of 5000 with flag 10575/5000
2.06/1.10	c cleaning 4251 clauses out of 8502 with flag 23187/11002
2.33/1.35	c cleaning 5622 clauses out of 11249 with flag 37820/18000
2.72/1.67	c cleaning 6813 clauses out of 13627 with flag 54666/26000
3.20/2.03	c cleaning 7906 clauses out of 15815 with flag 73650/35001
3.61/2.48	c cleaning 8952 clauses out of 17908 with flag 94817/45000
4.18/2.95	c cleaning 9978 clauses out of 19956 with flag 118042/56000
4.67/3.46	c cleaning 10986 clauses out of 21978 with flag 143373/68000
5.27/4.05	c cleaning 11996 clauses out of 23993 with flag 170759/81001
6.10/4.83	c cleaning 12994 clauses out of 25997 with flag 200280/95001
6.90/5.64	c cleaning 13999 clauses out of 28004 with flag 231878/110002
7.82/6.52	c cleaning 14995 clauses out of 30003 with flag 265636/126000
8.69/7.33	c cleaning 16004 clauses out of 32008 with flag 301424/143000
9.58/8.26	c cleaning 16998 clauses out of 34004 with flag 339352/161000
10.72/9.36	c cleaning 18002 clauses out of 36007 with flag 379338/180001
11.92/10.51	c cleaning 19002 clauses out of 38007 with flag 421571/200003
13.12/11.77	c cleaning 20000 clauses out of 40002 with flag 465918/221000
14.55/13.11	c cleaning 20997 clauses out of 42004 with flag 512285/243002
16.55/15.19	c cleaning 21996 clauses out of 44006 with flag 561067/266001
18.39/16.93	c cleaning 23001 clauses out of 46010 with flag 611628/290001
20.28/18.86	c cleaning 24001 clauses out of 48008 with flag 664414/315000
22.22/20.72	c cleaning 25003 clauses out of 50007 with flag 719269/341000
24.28/22.72	c cleaning 26002 clauses out of 52004 with flag 776328/368000
26.67/25.12	c cleaning 26999 clauses out of 54003 with flag 835431/396001
28.71/27.16	c cleaning 27999 clauses out of 56004 with flag 896613/425001
30.50/28.90	c cleaning 28998 clauses out of 58005 with flag 959862/455001
32.13/30.50	c cleaning 30002 clauses out of 60006 with flag 1025182/486000
34.07/32.42	c cleaning 31000 clauses out of 62004 with flag 1092656/518000
36.61/34.93	c cleaning 31999 clauses out of 64005 with flag 1162204/551001
39.01/37.35	c cleaning 32998 clauses out of 66005 with flag 1233918/585000
41.73/40.02	c cleaning 33999 clauses out of 68007 with flag 1307636/620000
44.97/43.20	c cleaning 35004 clauses out of 70010 with flag 1383601/656002
48.26/46.59	c cleaning 36003 clauses out of 72006 with flag 1461494/693002
52.49/50.75	c cleaning 36996 clauses out of 74002 with flag 1541678/731001
55.48/53.72	c cleaning 38000 clauses out of 76005 with flag 1624080/770000
59.22/57.48	c cleaning 39000 clauses out of 78005 with flag 1708586/810000
62.89/61.10	c cleaning 40000 clauses out of 80006 with flag 1795186/851001
66.88/65.08	c cleaning 41000 clauses out of 82007 with flag 1884074/893002
71.91/69.79	c cleaning 41998 clauses out of 84006 with flag 1974979/936001
78.20/76.03	c cleaning 43004 clauses out of 86008 with flag 2068134/980001
84.63/82.45	c cleaning 44002 clauses out of 88003 with flag 2163250/1025000
92.42/90.27	c cleaning 44998 clauses out of 90002 with flag 2260122/1071001
101.19/98.93	c cleaning 46002 clauses out of 92003 with flag 2359232/1118000
105.18/103.00	c cleaning 47000 clauses out of 94002 with flag 2460467/1166001
109.74/107.46	c cleaning 47997 clauses out of 96001 with flag 2563922/1215000
114.63/112.33	c cleaning 49000 clauses out of 98004 with flag 2669320/1265000
120.61/118.36	c cleaning 50002 clauses out of 100005 with flag 2777034/1316001
125.56/123.26	c cleaning 50999 clauses out of 102002 with flag 2886944/1368000
131.35/129.04	c cleaning 51996 clauses out of 104005 with flag 2998953/1421002
138.83/136.58	c cleaning 53000 clauses out of 106009 with flag 3112993/1475002
144.33/142.05	c cleaning 53997 clauses out of 108009 with flag 3229059/1530002
152.40/150.17	c cleaning 55002 clauses out of 110011 with flag 3347598/1586001
158.38/156.12	c cleaning 55998 clauses out of 112009 with flag 3468200/1643001
164.07/161.82	c cleaning 57004 clauses out of 114013 with flag 3590808/1701003
172.98/170.58	c cleaning 58004 clauses out of 116007 with flag 3715420/1760001
181.85/179.46	c cleaning 59000 clauses out of 118002 with flag 3842067/1820000
190.70/187.81	c cleaning 59994 clauses out of 120002 with flag 3970657/1881000
202.17/199.35	c cleaning 61001 clauses out of 122008 with flag 4101641/1943000
210.42/207.57	c cleaning 62001 clauses out of 124008 with flag 4234890/2006001
219.20/216.37	c cleaning 62997 clauses out of 126006 with flag 4370201/2070000
230.38/227.52	c cleaning 63998 clauses out of 128010 with flag 4507342/2135001
238.64/235.77	c cleaning 65001 clauses out of 130012 with flag 4646734/2201001
247.81/245.00	c cleaning 65996 clauses out of 132010 with flag 4788012/2268000
256.19/253.38	c cleaning 67004 clauses out of 134015 with flag 4931497/2336001
265.57/262.61	c cleaning 68001 clauses out of 136010 with flag 5077221/2405000
275.54/272.68	c cleaning 69004 clauses out of 138011 with flag 5224944/2475002
284.52/281.66	c cleaning 69999 clauses out of 140005 with flag 5374848/2546000
294.50/291.69	c cleaning 70999 clauses out of 142006 with flag 5526838/2618000
304.49/301.55	c cleaning 71999 clauses out of 144007 with flag 5680788/2691000
316.86/313.98	c cleaning 73004 clauses out of 146009 with flag 5837091/2765001
333.03/330.15	c cleaning 73998 clauses out of 148005 with flag 5995434/2840001
343.74/340.73	c cleaning 75001 clauses out of 150006 with flag 6155927/2916000
354.12/351.17	c cleaning 75999 clauses out of 152005 with flag 6318445/2993000
366.24/362.75	c cleaning 77004 clauses out of 154008 with flag 6482968/3071002
378.52/375.04	c cleaning 77999 clauses out of 156002 with flag 6649573/3150000
390.57/387.06	c cleaning 78998 clauses out of 158003 with flag 6818129/3230000
401.04/397.58	c cleaning 80003 clauses out of 160005 with flag 6989687/3311000
414.41/410.94	c cleaning 80998 clauses out of 162003 with flag 7162875/3393001
429.67/426.25	c cleaning 81997 clauses out of 164004 with flag 7338122/3476000
442.25/438.73	c cleaning 82999 clauses out of 166010 with flag 7515937/3560003
456.63/453.12	c cleaning 84002 clauses out of 168010 with flag 7695240/3645002
473.79/470.33	c cleaning 84995 clauses out of 170006 with flag 7876404/3731000
487.77/484.23	c cleaning 86003 clauses out of 172012 with flag 8060101/3818001
504.83/501.38	c cleaning 87001 clauses out of 174009 with flag 8246117/3906001
515.00/511.50	c cleaning 88003 clauses out of 176007 with flag 8433881/3995000
525.00/521.44	c cleaning 89001 clauses out of 178005 with flag 8624100/4085001
535.88/532.40	c cleaning 89996 clauses out of 180004 with flag 8816198/4176001
546.48/542.30	c cleaning 91004 clauses out of 182009 with flag 9010317/4268002
557.56/553.46	c cleaning 92000 clauses out of 184005 with flag 9206770/4361002
569.43/565.28	c cleaning 93000 clauses out of 186004 with flag 9405287/4455001
582.91/578.70	c cleaning 93993 clauses out of 188003 with flag 9605842/4550000
598.91/594.66	c cleaning 95002 clauses out of 190011 with flag 9808549/4646001
611.68/607.43	c cleaning 95996 clauses out of 192009 with flag 10013114/4743001
622.17/617.88	c cleaning 96995 clauses out of 194012 with flag 10220076/4841000
635.14/630.85	c cleaning 98007 clauses out of 196019 with flag 10429081/4940002
647.88/643.41	c cleaning 98999 clauses out of 198010 with flag 10640070/5040000
660.95/656.55	c cleaning 100006 clauses out of 200011 with flag 10853854/5141000
676.03/671.49	c cleaning 101002 clauses out of 202006 with flag 11069015/5243001
692.29/687.70	c cleaning 102000 clauses out of 204005 with flag 11286008/5346002
708.19/702.98	c cleaning 103002 clauses out of 206003 with flag 11505387/5450000
722.96/717.76	c cleaning 103992 clauses out of 208001 with flag 11726642/5555000
738.39/733.10	c cleaning 105001 clauses out of 210010 with flag 11950217/5661001
752.91/747.53	c cleaning 105998 clauses out of 212009 with flag 12176614/5768001
766.88/761.59	c cleaning 107004 clauses out of 214011 with flag 12404613/5876001
783.56/778.17	c cleaning 108003 clauses out of 216006 with flag 12635176/5985000
799.72/794.30	c cleaning 108996 clauses out of 218003 with flag 12867414/6095000
816.66/811.26	c cleaning 109999 clauses out of 220007 with flag 13102863/6206000
837.91/832.57	c cleaning 110998 clauses out of 222009 with flag 13339788/6318001
858.67/853.21	c cleaning 111998 clauses out of 224011 with flag 13578058/6431001
877.29/871.08	c cleaning 113004 clauses out of 226013 with flag 13818697/6545001
896.05/889.78	c cleaning 113997 clauses out of 228009 with flag 14061531/6660001
912.32/906.07	c cleaning 114999 clauses out of 230011 with flag 14306478/6776000
928.36/922.08	c cleaning 116001 clauses out of 232013 with flag 14553668/6893001
945.03/938.68	c cleaning 117006 clauses out of 234012 with flag 14802613/7011001
958.61/952.26	c cleaning 117995 clauses out of 236005 with flag 15054118/7130000
981.34/974.94	c cleaning 118992 clauses out of 238010 with flag 15307785/7250000
1002.59/996.21	c cleaning 120003 clauses out of 240019 with flag 15563123/7371001
1023.87/1017.47	c cleaning 121001 clauses out of 242015 with flag 15820577/7493000
1041.45/1035.10	c cleaning 122006 clauses out of 244016 with flag 16080243/7616002
1058.34/1052.00	c cleaning 122996 clauses out of 246008 with flag 16341812/7740000
1078.80/1072.40	c cleaning 123998 clauses out of 248012 with flag 16606563/7865000
1098.48/1092.03	c cleaning 125003 clauses out of 250015 with flag 16872615/7991001
1117.72/1110.48	c cleaning 126001 clauses out of 252011 with flag 17140508/8118000
1136.03/1128.72	c cleaning 126998 clauses out of 254010 with flag 17410531/8246000
1157.59/1150.25	c cleaning 128000 clauses out of 256012 with flag 17683174/8375000
1177.35/1170.02	c cleaning 129002 clauses out of 258012 with flag 17957336/8505000
1199.40/1192.10	c cleaning 129996 clauses out of 260010 with flag 18233348/8636000
1218.85/1211.58	c cleaning 131004 clauses out of 262014 with flag 18511751/8768000
1242.70/1235.28	c cleaning 132002 clauses out of 264011 with flag 18792467/8901001
1264.16/1256.79	c cleaning 133000 clauses out of 266008 with flag 19074983/9035000
1283.38/1275.91	c cleaning 134004 clauses out of 268008 with flag 19359941/9170000
1306.03/1298.69	c cleaning 135003 clauses out of 270006 with flag 19647132/9306002
1332.48/1325.07	c cleaning 135993 clauses out of 272002 with flag 19936273/9443001
1357.17/1348.80	c cleaning 137004 clauses out of 274009 with flag 20227550/9581001
1384.32/1375.94	c cleaning 137999 clauses out of 276005 with flag 20520584/9720001
1416.25/1407.92	c cleaning 138998 clauses out of 278006 with flag 20815627/9860001
1441.21/1432.85	c cleaning 139996 clauses out of 280007 with flag 21112643/10001000
1469.85/1461.41	c cleaning 140996 clauses out of 282011 with flag 21411894/10143000
1496.50/1488.19	c cleaning 142000 clauses out of 284016 with flag 21713738/10286001
1521.30/1512.96	c cleaning 143003 clauses out of 286015 with flag 22017125/10430000
1552.34/1544.01	c cleaning 143998 clauses out of 288014 with flag 22323587/10575002
1584.43/1576.02	c cleaning 145002 clauses out of 290015 with flag 22631975/10721001
1618.58/1610.14	c cleaning 145995 clauses out of 292014 with flag 22942527/10868002
1644.42/1636.10	c cleaning 147002 clauses out of 294017 with flag 23254497/11016000
1682.71/1673.83	c cleaning 148007 clauses out of 296016 with flag 23568720/11165001
1716.93/1708.06	c cleaning 148997 clauses out of 298010 with flag 23883993/11315002
1749.65/1740.85	c cleaning 150004 clauses out of 300012 with flag 24201165/11466001
1778.37/1769.50	c cleaning 150998 clauses out of 302008 with flag 24521729/11618001
1809.20/1800.49	c cleaning 152002 clauses out of 304009 with flag 24844511/11771000
1843.40/1834.69	c cleaning 152997 clauses out of 306007 with flag 25169219/11925000
1868.55/1859.85	c cleaning 154004 clauses out of 308012 with flag 25496316/12080002
1896.16/1887.32	c cleaning 154999 clauses out of 310009 with flag 25825540/12236003
1925.94/1917.12	c cleaning 156001 clauses out of 312008 with flag 26156185/12393001
1957.92/1949.05	c cleaning 156998 clauses out of 314008 with flag 26489206/12551002
1990.78/1981.95	c cleaning 157998 clauses out of 316008 with flag 26824880/12710000
2020.43/2011.45	c cleaning 159000 clauses out of 318010 with flag 27161827/12870000
2058.09/2048.99	c cleaning 159999 clauses out of 320012 with flag 27501355/13031002
2093.66/2084.56	c cleaning 160998 clauses out of 322013 with flag 27843021/13193002
2133.27/2124.10	c cleaning 162007 clauses out of 324014 with flag 28186493/13356001
2179.60/2169.58	c cleaning 162997 clauses out of 326008 with flag 28532389/13520002
2214.78/2204.79	c cleaning 163996 clauses out of 328010 with flag 28880188/13685001
2252.87/2242.70	c cleaning 165003 clauses out of 330015 with flag 29230193/13851002
2294.09/2283.97	c cleaning 165995 clauses out of 332010 with flag 29582410/14018000
2338.23/2328.06	c cleaning 167003 clauses out of 334017 with flag 29936706/14186002
2377.22/2366.96	c cleaning 168003 clauses out of 336013 with flag 30293177/14355001
2417.26/2406.92	c cleaning 169000 clauses out of 338009 with flag 30651356/14525000
2464.30/2453.35	c cleaning 170001 clauses out of 340010 with flag 31011788/14696001
2523.16/2512.21	c cleaning 171002 clauses out of 342009 with flag 31374927/14868001
2581.57/2570.73	c cleaning 171991 clauses out of 344006 with flag 31739779/15041000
2622.36/2611.44	c cleaning 173002 clauses out of 346015 with flag 32107388/15215000
2658.59/2647.70	c cleaning 174002 clauses out of 348013 with flag 32476959/15390000
2707.05/2696.27	c cleaning 175003 clauses out of 350011 with flag 32848524/15566000
2757.21/2746.30	c cleaning 176002 clauses out of 352009 with flag 33222224/15743001
2805.32/2794.52	c cleaning 177003 clauses out of 354006 with flag 33598283/15921000
2842.03/2831.23	c cleaning 177993 clauses out of 356003 with flag 33975430/16100000
2872.81/2861.84	c cleaning 179003 clauses out of 358011 with flag 34355805/16280001
2907.96/2896.28	c cleaning 179998 clauses out of 360007 with flag 34737314/16461000
2943.61/2931.97	c cleaning 180995 clauses out of 362009 with flag 35121189/16643000
2977.46/2965.74	c cleaning 182006 clauses out of 364016 with flag 35507365/16826002
3013.49/3001.86	c cleaning 182999 clauses out of 366009 with flag 35894243/17010001
3050.55/3038.81	c cleaning 183997 clauses out of 368009 with flag 36283747/17195000
3087.28/3075.68	c cleaning 184998 clauses out of 370013 with flag 36675024/17381001
3127.68/3116.10	c cleaning 186004 clauses out of 372015 with flag 37069223/17568001
3162.25/3150.45	c cleaning 187004 clauses out of 374012 with flag 37465622/17756002
3201.36/3189.60	c cleaning 187996 clauses out of 376006 with flag 37863827/17945000
3241.74/3230.03	c cleaning 188993 clauses out of 378010 with flag 38264690/18135000
3285.10/3272.55	c cleaning 190003 clauses out of 380017 with flag 38668012/18326000
3328.67/3316.09	c cleaning 191006 clauses out of 382015 with flag 39072589/18518001
3370.75/3358.07	c cleaning 191995 clauses out of 384008 with flag 39479819/18711000
3414.91/3402.10	c cleaning 193007 clauses out of 386013 with flag 39888585/18905000
3459.87/3447.05	c cleaning 193999 clauses out of 388007 with flag 40298231/19100001
3502.31/3489.49	c cleaning 194995 clauses out of 390008 with flag 40711245/19296001
3543.16/3529.49	c cleaning 196000 clauses out of 392012 with flag 41126816/19493000
3590.88/3577.21	c cleaning 197005 clauses out of 394012 with flag 41544170/19691000
3600.06/3586.41	c starts		: 1
3600.06/3586.41	c conflicts		: 19752182
3600.06/3586.41	c decisions		: 21104101
3600.06/3586.41	c propagations		: 107667632
3600.06/3586.41	c inspects		: 16605852424
3600.06/3586.41	c shortcuts		: 0
3600.06/3586.41	c learnt literals	: 0
3600.06/3586.41	c learnt binary clauses	: 0
3600.06/3586.41	c learnt ternary clauses	: 0
3600.06/3586.41	c learnt constraints	: 19752182
3600.06/3586.41	c ignored constraints	: 0
3600.06/3586.41	c root simplifications	: 0
3600.06/3586.41	c removed literals (reason simplification)	: 371323723
3600.06/3586.41	c reason swapping (by a shorter reason)	: 0
3600.06/3586.41	c Calls to reduceDB	: 194
3600.06/3586.41	c Number of update (reduction) of LBD	: 193570
3600.06/3586.41	c Imported unit clauses	: 0
3600.06/3586.41	c No decision after first conflict	: false
3600.06/3586.41	c number of reductions to clauses (during analyze)	: 0
3600.06/3586.41	c number of learned constraints concerned by reduction	: 0
3600.06/3586.41	c number of learning phase by resolution	: 0
3600.06/3586.41	c number of learning phase by cutting planes	: 0
3600.06/3586.41	c number of rounding to 1 operations	: 0
3600.06/3586.41	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3586.42	c number of reductions of the coefficients by power 2 	: 0
3600.06/3586.42	c number of right shift for reduction by power 2 	: 0
3600.06/3586.42	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3586.42	c number of ending skipping 	: 0
3600.06/3586.42	c number of internal skipping 	: 0
3600.06/3586.42	c number of derivation steps 	: 0
3600.06/3586.42	c number of skipped derivation steps 	: 0
3600.06/3586.42	c number of remaining unassigned 	: 0
3600.06/3586.42	c number of remaining assigned 	: 0
3600.06/3586.42	c number of falsified literals weakened from reason	: 0
3600.06/3586.42	c number of falsified literals weakened from conflict	: 0
3600.06/3586.42	c time for arithmetic operations	: 0
3600.06/3586.42	c timeout
3600.06/3586.42	c minimum degree of deleted constraints	: null
3600.06/3586.42	c maximum degree of deleted constraints	: null
3600.06/3586.42	c number of deleted constraints	: 0
3600.06/3586.43	c speed (assignments/second)	: 30022.486547862336
3600.06/3586.43	c non guided choices	: 82
3600.06/3586.49	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 258189
3600.06/3586.49	s UNKNOWN
3600.06/3586.49	c Total wall clock time (in seconds): 3586.348

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: 63708 MiB (57974 MiB free)
  memory of node 1: 64465 MiB (33421 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515858-1751235974/watcher-4515858-1751235974 -o /tmp/evaluation-result-4515858-1751235974/solver-4515858-1751235974 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751232650-31770 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4515858-1751235974.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=32458, runsolver pid=32455
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 4.30 4.42 4.34 5/338 32476
/proc/meminfo: memFree=93556480/131249988 swapFree=33010684/33010684
[pid=32458] ppid=32455 vsize=18930384 memory=55468 CPUtime=0.12 cores=4,6
/proc/32458/stat : 32458 (java) S 32455 32458 31759 0 -1 4194304 6537 0 0 0 11 1 0 0 20 0 18 0 39275007 19384713216 13867 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
/proc/32458/statm: 4732596 13867 5330 1 0 547587 0
[pid=32458/tid=32460] ppid=32455 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/32458/task/32460/stat : 32460 (java) R 32455 32458 31759 0 -1 4194368 5042 0 0 0 6 1 0 0 20 0 18 0 39275009 19384713216 13867 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32469] ppid=32455 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/32458/task/32469/stat : 32469 (Finalizer) S 32455 32458 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39275011 19384713216 13867 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32476] ppid=32455 vsize=18930384 memory=55186957824150 CPUtime=0 cores=4,6
/proc/32458/task/32476/stat : 32476 (Common-Cleaner) S 32455 32458 31759 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 39275011 19384713216 13867 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55468 KiB

[startup+0.206164 s]*
/proc/loadavg: 4.30 4.42 4.34 7/339 32477
/proc/meminfo: memFree=93551640/131249988 swapFree=33010684/33010684
[pid=32458] ppid=32455 vsize=18996948 memory=62388 CPUtime=0.3 cores=4,6
/proc/32458/stat : 32458 (java) S 32455 32458 31759 0 -1 4194304 7127 0 0 0 28 2 0 0 20 0 19 0 39275007 19452874752 15597 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
/proc/32458/statm: 4749237 15597 5426 1 0 548283 0
[pid=32458/tid=32460] ppid=32455 vsize=18996948 memory=4026597660 CPUtime=0.16 cores=4,6
/proc/32458/task/32460/stat : 32460 (java) R 32455 32458 31759 0 -1 4194368 5308 0 0 0 15 1 0 0 20 0 19 0 39275009 19452874752 15597 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32469] ppid=32455 vsize=18996948 memory=17146 CPUtime=0 cores=4,6
/proc/32458/task/32469/stat : 32469 (Finalizer) S 32455 32458 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39275011 19452874752 15597 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32476] ppid=32455 vsize=18996948 memory=54087446168546 CPUtime=0 cores=4,6
/proc/32458/task/32476/stat : 32476 (Common-Cleaner) S 32455 32458 31759 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 39275011 19452874752 15597 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32477] ppid=32455 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/32458/task/32477/stat : 32477 (Timer-0) S 32455 32458 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39275027 19452874752 15597 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 62388 KiB

[startup+0.306192 s]*
/proc/loadavg: 4.30 4.42 4.34 6/339 32477
/proc/meminfo: memFree=93544016/131249988 swapFree=33010684/33010684
[pid=32458] ppid=32455 vsize=18996948 memory=68112 CPUtime=0.49 cores=4,6
/proc/32458/stat : 32458 (java) S 32455 32458 31759 0 -1 4194304 8537 0 0 0 47 2 0 0 20 0 19 0 39275007 19452874752 17028 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
/proc/32458/statm: 4749237 17028 5458 1 0 549118 0
[pid=32458/tid=32460] ppid=32455 vsize=18996948 memory=-6000919485591480940 CPUtime=0.25 cores=4,6
/proc/32458/task/32460/stat : 32460 (java) R 32455 32458 31759 0 -1 4194368 5315 0 0 0 24 1 0 0 20 0 19 0 39275009 19452874752 17028 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32469] ppid=32455 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/32458/task/32469/stat : 32469 (Finalizer) S 32455 32458 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39275011 19452874752 17060 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32476] ppid=32455 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/32458/task/32476/stat : 32476 (Common-Cleaner) S 32455 32458 31759 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 39275011 19452874752 17060 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32477] ppid=32455 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/32458/task/32477/stat : 32477 (Timer-0) S 32455 32458 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39275027 19452874752 17060 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 68112 KiB

[startup+0.700247 s]
/proc/loadavg: 4.30 4.42 4.34 6/339 32477
/proc/meminfo: memFree=93536140/131249988 swapFree=33010684/33010684
[pid=32458] ppid=32455 vsize=18996948 memory=87636 CPUtime=1.26 cores=4,6
/proc/32458/stat : 32458 (java) S 32455 32458 31759 0 -1 4194304 11972 0 0 0 123 3 0 0 20 0 19 0 39275007 19452874752 21909 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
/proc/32458/statm: 4749237 21909 5458 1 0 551390 0
[pid=32458/tid=32460] ppid=32455 vsize=18996948 memory=17536 CPUtime=0.62 cores=4,6
/proc/32458/task/32460/stat : 32460 (java) R 32455 32458 31759 0 -1 4194368 5360 0 0 0 61 1 0 0 20 0 19 0 39275009 19452874752 21909 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32469] ppid=32455 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/32458/task/32469/stat : 32469 (Finalizer) S 32455 32458 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39275011 19452874752 21909 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32476] ppid=32455 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/32458/task/32476/stat : 32476 (Common-Cleaner) S 32455 32458 31759 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 39275011 19452874752 21909 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32477] ppid=32455 vsize=18996948 memory=4760 CPUtime=0 cores=4,6
/proc/32458/task/32477/stat : 32477 (Timer-0) S 32455 32458 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39275027 19452874752 21909 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 87636 KiB

[startup+1.50027 s]
/proc/loadavg: 4.30 4.42 4.34 6/339 32477
/proc/meminfo: memFree=93515788/131249988 swapFree=33010684/33010684
[pid=32458] ppid=32455 vsize=18996948 memory=121944 CPUtime=2.61 cores=4,6
/proc/32458/stat : 32458 (java) S 32455 32458 31759 0 -1 4194304 15383 0 0 0 257 4 0 0 20 0 19 0 39275007 19452874752 30486 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
/proc/32458/statm: 4749237 30486 5458 1 0 551657 0
[pid=32458/tid=32460] ppid=32455 vsize=18996948 memory=0 CPUtime=1.4 cores=4,6
/proc/32458/task/32460/stat : 32460 (java) R 32455 32458 31759 0 -1 4194368 5774 0 0 0 138 2 0 0 20 0 19 0 39275009 19452874752 30486 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32469] ppid=32455 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/32458/task/32469/stat : 32469 (Finalizer) S 32455 32458 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39275011 19452874752 30486 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32476] ppid=32455 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/32458/task/32476/stat : 32476 (Common-Cleaner) S 32455 32458 31759 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 39275011 19452874752 30486 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32477] ppid=32455 vsize=18996948 memory=4760 CPUtime=0 cores=4,6
/proc/32458/task/32477/stat : 32477 (Timer-0) S 32455 32458 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39275027 19452874752 30486 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
Current children cumulated CPU time: 2.61 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 121944 KiB

[startup+3.10596 s]
/proc/loadavg: 4.30 4.42 4.34 5/340 32478
/proc/meminfo: memFree=93410868/131249988 swapFree=33010684/33010684
[pid=32458] ppid=32455 vsize=19063512 memory=198336 CPUtime=4.38 cores=4,6
/proc/32458/stat : 32458 (java) S 32455 32458 31759 0 -1 4194304 17715 0 0 0 431 7 0 0 20 0 20 0 39275007 19521036288 49584 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
/proc/32458/statm: 4765878 49584 5458 1 0 551963 0
[pid=32458/tid=32460] ppid=32455 vsize=19063512 memory=10752 CPUtime=2.96 cores=4,6
/proc/32458/task/32460/stat : 32460 (java) R 32455 32458 31759 0 -1 4194368 6024 0 0 0 293 3 0 0 20 0 20 0 39275009 19521036288 49584 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32469] ppid=32455 vsize=19063512 memory=-6000919485591480940 CPUtime=0 cores=4,6
/proc/32458/task/32469/stat : 32469 (Finalizer) S 32455 32458 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39275011 19521036288 49584 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32476] ppid=32455 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/32458/task/32476/stat : 32476 (Common-Cleaner) S 32455 32458 31759 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 39275011 19521036288 49584 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32477] ppid=32455 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/32458/task/32477/stat : 32477 (Timer-0) S 32455 32458 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39275027 19521036288 49584 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
Current children cumulated CPU time: 4.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 198336 KiB

[startup+6.30023 s]
/proc/loadavg: 4.28 4.42 4.34 5/340 32478
/proc/meminfo: memFree=93365624/131249988 swapFree=33010684/33010684
[pid=32458] ppid=32455 vsize=19063512 memory=236764 CPUtime=7.6 cores=4,6
/proc/32458/stat : 32458 (java) S 32455 32458 31759 0 -1 4194304 17954 0 0 0 752 8 0 0 20 0 20 0 39275007 19521036288 59191 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
/proc/32458/statm: 4765878 59191 5458 1 0 551965 0
[pid=32458/tid=32460] ppid=32455 vsize=19063512 memory=0 CPUtime=6.1 cores=4,6
/proc/32458/task/32460/stat : 32460 (java) R 32455 32458 31759 0 -1 4194368 6047 0 0 0 607 3 0 0 20 0 20 0 39275009 19521036288 59191 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32469] ppid=32455 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/32458/task/32469/stat : 32469 (Finalizer) S 32455 32458 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39275011 19521036288 59191 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32476] ppid=32455 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/32458/task/32476/stat : 32476 (Common-Cleaner) S 32455 32458 31759 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 39275011 19521036288 59191 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32477] ppid=32455 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/32458/task/32477/stat : 32477 (Timer-0) S 32455 32458 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39275027 19521036288 59191 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
Current children cumulated CPU time: 7.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 236764 KiB

[startup+12.7002 s]
/proc/loadavg: 4.25 4.41 4.34 5/340 32478
/proc/meminfo: memFree=93210016/131249988 swapFree=33010684/33010684
[pid=32458] ppid=32455 vsize=19063512 memory=396656 CPUtime=14.15 cores=4,6
/proc/32458/stat : 32458 (java) S 32455 32458 31759 0 -1 4194304 20059 0 0 0 1403 12 0 0 20 0 20 0 39275007 19521036288 99164 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
/proc/32458/statm: 4765878 99164 5458 1 0 551965 0
[pid=32458/tid=32460] ppid=32455 vsize=19063512 memory=347420 CPUtime=12.36 cores=4,6
/proc/32458/task/32460/stat : 32460 (java) R 32455 32458 31759 0 -1 4194368 6695 0 0 0 1233 3 0 0 20 0 20 0 39275009 19521036288 99164 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32469] ppid=32455 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/32458/task/32469/stat : 32469 (Finalizer) S 32455 32458 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39275011 19521036288 99164 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32476] ppid=32455 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/32458/task/32476/stat : 32476 (Common-Cleaner) S 32455 32458 31759 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 39275011 19521036288 99164 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32477] ppid=32455 vsize=19063512 memory=-6000919485591480940 CPUtime=0 cores=4,6
/proc/32458/task/32477/stat : 32477 (Timer-0) S 32455 32458 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39275027 19521036288 99164 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
Current children cumulated CPU time: 14.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 396656 KiB

[startup+25.5003 s]
/proc/loadavg: 4.27 4.41 4.34 5/340 32478
/proc/meminfo: memFree=93000796/131249988 swapFree=33010684/33010684
[pid=32458] ppid=32455 vsize=19063512 memory=603592 CPUtime=27.07 cores=4,6
/proc/32458/stat : 32458 (java) S 32455 32458 31759 0 -1 4194304 21899 0 0 0 2690 17 0 0 20 0 20 0 39275007 19521036288 150898 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
/proc/32458/statm: 4765878 150898 5458 1 0 551965 0
[pid=32458/tid=32460] ppid=32455 vsize=19063512 memory=2724 CPUtime=24.97 cores=4,6
/proc/32458/task/32460/stat : 32460 (java) R 32455 32458 31759 0 -1 4194368 7495 0 0 0 2493 4 0 0 20 0 20 0 39275009 19521036288 150898 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32469] ppid=32455 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/32458/task/32469/stat : 32469 (Finalizer) S 32455 32458 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39275011 19521036288 150898 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32476] ppid=32455 vsize=19063512 memory=236764 CPUtime=0 cores=4,6
/proc/32458/task/32476/stat : 32476 (Common-Cleaner) S 32455 32458 31759 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 39275011 19521036288 150898 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32477] ppid=32455 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/32458/task/32477/stat : 32477 (Timer-0) S 32455 32458 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39275027 19521036288 150898 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
Current children cumulated CPU time: 27.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 603592 KiB

[startup+51.1061 s]
/proc/loadavg: 4.25 4.39 4.34 5/340 32545
/proc/meminfo: memFree=107188524/131249988 swapFree=33010684/33010684
[pid=32458] ppid=32455 vsize=19063512 memory=1009332 CPUtime=52.9 cores=4,6
/proc/32458/stat : 32458 (java) S 32455 32458 31759 0 -1 4194304 23356 0 0 0 5264 26 0 0 20 0 20 0 39275007 19521036288 252333 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
/proc/32458/statm: 4765878 252333 5490 1 0 551965 0
[pid=32458/tid=32460] ppid=32455 vsize=19063512 memory=1009332 CPUtime=50.2 cores=4,6

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

/proc/32458/task/32469/stat : 32469 (Finalizer) S 32455 32458 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39275011 19521036288 677964 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32476] ppid=32455 vsize=19063512 memory=2711856 CPUtime=0 cores=4,6
/proc/32458/task/32476/stat : 32476 (Common-Cleaner) S 32455 32458 31759 0 -1 4194368 809 0 0 0 0 0 0 0 20 0 20 0 39275011 19521036288 677964 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32477] ppid=32455 vsize=19063512 memory=2711856 CPUtime=0 cores=4,6
/proc/32458/task/32477/stat : 32477 (Timer-0) S 32455 32458 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39275027 19521036288 677964 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
Current children cumulated CPU time: 3234.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2711856 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.15 4.17 5/341 32860
/proc/meminfo: memFree=105563832/131249988 swapFree=33010684/33010684
[pid=32458] ppid=32455 vsize=19063512 memory=2711856 CPUtime=3294.88 cores=4,6
/proc/32458/stat : 32458 (java) S 32455 32458 31759 0 -1 4194304 112269 0 0 0 329318 170 0 0 20 0 20 0 39275007 19521036288 677964 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
/proc/32458/statm: 4765878 677964 5490 1 0 690975 0
[pid=32458/tid=32460] ppid=32455 vsize=19063512 memory=14848 CPUtime=3262.64 cores=4,6
/proc/32458/task/32460/stat : 32460 (java) R 32455 32458 31759 0 -1 4194368 52184 0 0 0 326225 39 0 0 20 0 20 0 39275009 19521036288 677964 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32469] ppid=32455 vsize=19063512 memory=2711856 CPUtime=0 cores=4,6
/proc/32458/task/32469/stat : 32469 (Finalizer) S 32455 32458 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39275011 19521036288 677964 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32476] ppid=32455 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/32458/task/32476/stat : 32476 (Common-Cleaner) S 32455 32458 31759 0 -1 4194368 858 0 0 0 0 0 0 0 20 0 20 0 39275011 19521036288 677964 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32477] ppid=32455 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/32458/task/32477/stat : 32477 (Timer-0) S 32455 32458 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39275027 19521036288 677964 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
Current children cumulated CPU time: 3294.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2711856 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.16 4.17 5/341 32862
/proc/meminfo: memFree=105563736/131249988 swapFree=33010684/33010684
[pid=32458] ppid=32455 vsize=19063512 memory=2711856 CPUtime=3354.91 cores=4,6
/proc/32458/stat : 32458 (java) S 32455 32458 31759 0 -1 4194304 112704 0 0 0 335319 172 0 0 20 0 20 0 39275007 19521036288 677964 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
/proc/32458/statm: 4765878 677964 5490 1 0 690975 0
[pid=32458/tid=32460] ppid=32455 vsize=19063512 memory=2711856 CPUtime=3322.33 cores=4,6
/proc/32458/task/32460/stat : 32460 (java) R 32455 32458 31759 0 -1 4194368 52501 0 0 0 332194 39 0 0 20 0 20 0 39275009 19521036288 677964 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32469] ppid=32455 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/32458/task/32469/stat : 32469 (Finalizer) S 32455 32458 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39275011 19521036288 677964 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32476] ppid=32455 vsize=19063512 memory=2711856 CPUtime=0 cores=4,6
/proc/32458/task/32476/stat : 32476 (Common-Cleaner) S 32455 32458 31759 0 -1 4194368 859 0 0 0 0 0 0 0 20 0 20 0 39275011 19521036288 677964 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32477] ppid=32455 vsize=19063512 memory=4352 CPUtime=0 cores=4,6
/proc/32458/task/32477/stat : 32477 (Timer-0) S 32455 32458 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39275027 19521036288 677964 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
Current children cumulated CPU time: 3354.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2711856 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.15 4.17 5/341 32864
/proc/meminfo: memFree=105563604/131249988 swapFree=33010684/33010684
[pid=32458] ppid=32455 vsize=19063512 memory=2711856 CPUtime=3415.11 cores=4,6
/proc/32458/stat : 32458 (java) S 32455 32458 31759 0 -1 4194304 113977 0 0 0 341337 174 0 0 20 0 20 0 39275007 19521036288 677964 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
/proc/32458/statm: 4765878 677964 5490 1 0 690975 0
[pid=32458/tid=32460] ppid=32455 vsize=19063512 memory=2711856 CPUtime=3381.85 cores=4,6
/proc/32458/task/32460/stat : 32460 (java) R 32455 32458 31759 0 -1 4194368 53399 0 0 0 338146 39 0 0 20 0 20 0 39275009 19521036288 677964 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32469] ppid=32455 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/32458/task/32469/stat : 32469 (Finalizer) S 32455 32458 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39275011 19521036288 677964 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32476] ppid=32455 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/32458/task/32476/stat : 32476 (Common-Cleaner) S 32455 32458 31759 0 -1 4194368 859 0 0 0 0 0 0 0 20 0 20 0 39275011 19521036288 677964 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32477] ppid=32455 vsize=19063512 memory=17536 CPUtime=0 cores=4,6
/proc/32458/task/32477/stat : 32477 (Timer-0) S 32455 32458 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39275027 19521036288 677964 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
Current children cumulated CPU time: 3415.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2711856 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.15 4.17 5/341 32866
/proc/meminfo: memFree=105563732/131249988 swapFree=33010684/33010684
[pid=32458] ppid=32455 vsize=19063512 memory=2711856 CPUtime=3475.14 cores=4,6
/proc/32458/stat : 32458 (java) S 32455 32458 31759 0 -1 4194304 114934 0 0 0 347339 175 0 0 20 0 20 0 39275007 19521036288 677964 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
/proc/32458/statm: 4765878 677964 5490 1 0 690975 0
[pid=32458/tid=32460] ppid=32455 vsize=19063512 memory=2711856 CPUtime=3441.54 cores=4,6
/proc/32458/task/32460/stat : 32460 (java) R 32455 32458 31759 0 -1 4194368 54146 0 0 0 344115 39 0 0 20 0 20 0 39275009 19521036288 677964 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32469] ppid=32455 vsize=19063512 memory=4380 CPUtime=0 cores=4,6
/proc/32458/task/32469/stat : 32469 (Finalizer) S 32455 32458 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39275011 19521036288 677964 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32476] ppid=32455 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=4,6
/proc/32458/task/32476/stat : 32476 (Common-Cleaner) S 32455 32458 31759 0 -1 4194368 870 0 0 0 0 0 0 0 20 0 20 0 39275011 19521036288 677964 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32477] ppid=32455 vsize=19063512 memory=2711856 CPUtime=0 cores=4,6
/proc/32458/task/32477/stat : 32477 (Timer-0) S 32455 32458 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39275027 19521036288 677964 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
Current children cumulated CPU time: 3475.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2711856 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/340 32935
/proc/meminfo: memFree=120324304/131249988 swapFree=33010684/33010684
[pid=32458] ppid=32455 vsize=19063512 memory=2884872 CPUtime=3536.07 cores=4,6
/proc/32458/stat : 32458 (java) S 32455 32458 31759 0 -1 4194304 118846 0 0 0 353427 180 0 0 20 0 20 0 39275007 19521036288 721218 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
/proc/32458/statm: 4765878 721218 5490 1 0 843585 0
[pid=32458/tid=32460] ppid=32455 vsize=19063512 memory=2711856 CPUtime=3501.16 cores=4,6
/proc/32458/task/32460/stat : 32460 (java) R 32455 32458 31759 0 -1 4194368 56212 0 0 0 350074 42 0 0 20 0 20 0 39275009 19521036288 721218 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32469] ppid=32455 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/32458/task/32469/stat : 32469 (Finalizer) S 32455 32458 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39275011 19521036288 721218 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32476] ppid=32455 vsize=19063512 memory=2860296 CPUtime=0 cores=4,6
/proc/32458/task/32476/stat : 32476 (Common-Cleaner) S 32455 32458 31759 0 -1 4194368 888 0 0 0 0 0 0 0 20 0 20 0 39275011 19521036288 721218 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32477] ppid=32455 vsize=19063512 memory=2880776 CPUtime=0 cores=4,6
/proc/32458/task/32477/stat : 32477 (Timer-0) S 32455 32458 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39275027 19521036288 721218 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
Current children cumulated CPU time: 3536.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2884872 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.13 4.16 5/340 32937
/proc/meminfo: memFree=119979408/131249988 swapFree=33010684/33010684
[pid=32458] ppid=32455 vsize=19063512 memory=3108120 CPUtime=3595.97 cores=4,6
/proc/32458/stat : 32458 (java) S 32455 32458 31759 0 -1 4194304 119791 0 0 0 359411 186 0 0 20 0 20 0 39275007 19521036288 777030 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
/proc/32458/statm: 4765878 777030 5490 1 0 843587 0
[pid=32458/tid=32460] ppid=32455 vsize=19063512 memory=10752 CPUtime=3560.98 cores=4,6
/proc/32458/task/32460/stat : 32460 (java) R 32455 32458 31759 0 -1 4194368 57105 0 0 0 356052 46 0 0 20 0 20 0 39275009 19521036288 777030 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32469] ppid=32455 vsize=19063512 memory=3063064 CPUtime=0 cores=4,6
/proc/32458/task/32469/stat : 32469 (Finalizer) S 32455 32458 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39275011 19521036288 777030 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32476] ppid=32455 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/32458/task/32476/stat : 32476 (Common-Cleaner) S 32455 32458 31759 0 -1 4194368 888 0 0 0 0 0 0 0 20 0 20 0 39275011 19521036288 777030 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32477] ppid=32455 vsize=19063512 memory=2688 CPUtime=0 cores=4,6
/proc/32458/task/32477/stat : 32477 (Timer-0) S 32455 32458 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39275027 19521036288 777030 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
Current children cumulated CPU time: 3595.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3108120 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3586.4 s]
/proc/loadavg: 4.09 4.12 4.16 5/339 32937
/proc/meminfo: memFree=119942768/131249988 swapFree=33010684/33010684
[pid=32458] ppid=32455 vsize=19063512 memory=3142936 CPUtime=3600.06 cores=4,6
/proc/32458/stat : 32458 (java) S 32455 32458 31759 0 -1 4194304 119808 0 0 0 359819 187 0 0 20 0 20 0 39275007 19521036288 785734 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
/proc/32458/statm: 4765878 785734 5490 1 0 843587 0
[pid=32458/tid=32460] ppid=32455 vsize=19063512 memory=2711856 CPUtime=3565.07 cores=4,6
/proc/32458/task/32460/stat : 32460 (java) R 32455 32458 31759 0 -1 4194368 57122 0 0 0 356460 47 0 0 20 0 20 0 39275009 19521036288 785734 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32469] ppid=32455 vsize=19063512 memory=-6000919485591480940 CPUtime=0 cores=4,6
/proc/32458/task/32469/stat : 32469 (Finalizer) S 32455 32458 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39275011 19521036288 785734 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32476] ppid=32455 vsize=19063512 memory=3130648 CPUtime=0 cores=4,6
/proc/32458/task/32476/stat : 32476 (Common-Cleaner) S 32455 32458 31759 0 -1 4194368 888 0 0 0 0 0 0 0 20 0 20 0 39275011 19521036288 785734 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
[pid=32458/tid=32477] ppid=32455 vsize=19063512 memory=6964 CPUtime=0 cores=4,6
/proc/32458/task/32477/stat : 32477 (Timer-0) S 32455 32458 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39275027 19521036288 785734 18446744073709551615 94180704518144 94180704521840 140731617172592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94180704529656 94180704530448 94180732350464 140731617180033 140731617180134 140731617180134 140731617185736 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3142936 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.32 s, system=1.88866 s

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

[startup+3586.5 s]*
/proc/loadavg: 4.09 4.12 4.16 5/321 32940
/proc/meminfo: memFree=123025760/131249988 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3586.54
CPU time (s): 3600.21
CPU user time (s): 3598.32
CPU system time (s): 1.88866
CPU usage (%): 100.381
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 3142936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.32
system time used= 1.88867
maximum resident set size= 3154236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121228
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109888
involuntary context switches= 21136


# summary of solver processes directly reported to runsolver:
#   pid: 32458
#   total CPU time (s): 3600.21
#   total CPU user time (s): 3598.32
#   total CPU system time (s): 1.88866

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.23811 second user time and 18.2332 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-06-30 00:26:14
IDJOB=4515858
IDBENCH=165690
IDSOLVER=3363
FILE ID=nodeC020/4515858-1751235974
RUNJOBID= nodeC020-1751232650-31770
SLURM_JOB_ID= 9587710
Free space on /tmp= 433060 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/vertex-cover/vc-grids-v1_shuffle/normalized-grid10_35.shuf-3.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4515858-1751235974/watcher-4515858-1751235974 -o /tmp/evaluation-result-4515858-1751235974/solver-4515858-1751235974 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751232650-31770 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4515858-1751235974.opb

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

MD5SUM BENCH= 63b188aa857e13a102f967140947950a
RANDOM SEED=37127553

nodeC020 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3581.474
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
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		: 3599.892
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
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		: 3599.890
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
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		: 3599.584
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
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		: 3599.892
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
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		: 3599.917
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
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		: 3601.154
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
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		: 3700.000
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        93589116 kB
MemAvailable:   93703912 kB
Buffers:            3280 kB
Cached:           921176 kB
SwapCached:            0 kB
Active:         36436304 kB
Inactive:         613876 kB
Active(anon):   36143780 kB
Inactive(anon):        0 kB
Active(file):     292524 kB
Inactive(file):   613876 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               752 kB
Writeback:             0 kB
AnonPages:      36128268 kB
Mapped:           122860 kB
Shmem:             18056 kB
KReclaimable:      95272 kB
Slab:             182496 kB
SReclaimable:      95272 kB
SUnreclaim:        87224 kB
KernelStack:        5232 kB
PageTables:        74408 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:   38516452 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151464 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  35723264 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433060 MiB
End job on nodeC020 at 2025-06-30 01:26:01