Trace number 4543291

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 VeriPB 2025-06-06? (TO) 3600.34 3437.23

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
larger/domset_large_fixedcols/normalized-domset-hexgrid-fixedcols_07_140.opb
MD5SUM0942a69f21bd48da4c21a008e6f37b2a
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.980711
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables980
Total number of constraints981
Number of constraints which are clauses980
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint980
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 245
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 1225
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.11/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.17	c See www.sat4j.org for details.
0.11/0.18	c version PB25.v20250606
0.11/0.20	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.20	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.20	c java.vm.version	22.0.1+8-16
0.11/0.20	c java.vm.vendor	Oracle Corporation
0.11/0.20	c sun.arch.data.model	64
0.11/0.20	c java.version		22.0.1
0.11/0.20	c os.name		Linux
0.11/0.20	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.11/0.20	c os.arch		amd64
0.28/0.23	c Free memory 		2104792832
0.28/0.23	c Max memory 		16282288128
0.28/0.23	c Total memory 		2113929216
0.28/0.24	c Number of processors 	2
0.44/0.35	c Pseudo Boolean Optimization by upper bound
0.44/0.35	c --- Begin Solver configuration ---
0.44/0.35	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.44/0.35	c Learn all clauses as in MiniSAT
0.44/0.35	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.44/0.35	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.44/0.35	c Expensive reason simplification
0.44/0.35	c Glucose 2.1 dynamic restart strategy
0.44/0.35	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.44/0.35	c timeout=2147483s
0.44/0.35	c DB Simplification allowed=false
0.44/0.35	c Listener: none
0.44/0.35	c --- End Solver configuration ---
0.44/0.35	c solving HOME/instance-4543291-1753226274.opb
0.44/0.35	c reading problem ... 
0.44/0.35	c using VERIPB proof format
0.44/0.36	c  no objective function found
0.62/0.50	c ... done. Wall clock time 0.147s.
0.62/0.50	c declared #vars     980
0.62/0.50	c #constraints  981
0.62/0.50	c constraints type 
0.62/0.50	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.62/0.50	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 980
0.62/0.50	c 981 constraints processed.
3.48/1.99	c cleaning 2494 clauses out of 5000 with flag 10807/5000
5.07/2.73	c cleaning 4247 clauses out of 8508 with flag 23697/11002
6.02/3.44	c cleaning 5622 clauses out of 11260 with flag 38665/18001
6.98/4.22	c cleaning 6813 clauses out of 13637 with flag 55822/26000
8.33/5.20	c cleaning 7907 clauses out of 15825 with flag 75286/35001
9.57/6.18	c cleaning 8951 clauses out of 17917 with flag 97304/45000
10.69/7.24	c cleaning 9977 clauses out of 19967 with flag 121226/56001
11.85/8.33	c cleaning 10987 clauses out of 21991 with flag 147239/68002
13.41/9.76	c cleaning 11994 clauses out of 24003 with flag 175421/81001
15.90/12.18	c cleaning 12993 clauses out of 26008 with flag 205991/95000
18.27/14.43	c cleaning 13998 clauses out of 28015 with flag 238267/110000
19.83/15.97	c cleaning 14998 clauses out of 30018 with flag 273182/126001
22.36/18.38	c cleaning 16000 clauses out of 32020 with flag 310662/143001
25.09/20.92	c cleaning 17002 clauses out of 34020 with flag 349975/161001
27.77/23.53	c cleaning 17998 clauses out of 36018 with flag 391470/180001
29.81/25.46	c cleaning 18999 clauses out of 38020 with flag 435015/200001
33.00/28.50	c cleaning 20001 clauses out of 40021 with flag 480371/221001
36.42/31.84	c cleaning 21001 clauses out of 42019 with flag 527841/243000
39.67/34.97	c cleaning 21997 clauses out of 44018 with flag 577897/266000
41.96/37.24	c cleaning 23000 clauses out of 46021 with flag 630403/290000
44.63/39.75	c cleaning 24000 clauses out of 48023 with flag 685371/315002
48.14/43.11	c cleaning 25001 clauses out of 50024 with flag 741970/341003
50.61/45.64	c cleaning 25999 clauses out of 52021 with flag 801185/368001
54.90/49.44	c cleaning 27002 clauses out of 54021 with flag 862527/396000
57.39/51.99	c cleaning 28000 clauses out of 56019 with flag 926326/425000
60.35/54.82	c cleaning 29002 clauses out of 58020 with flag 992171/455001
65.06/59.56	c cleaning 29999 clauses out of 60018 with flag 1060768/486001
69.07/63.15	c cleaning 30997 clauses out of 62019 with flag 1131488/518001
72.26/66.38	c cleaning 32000 clauses out of 64021 with flag 1203901/551000
76.31/70.39	c cleaning 32999 clauses out of 66021 with flag 1279450/585000
84.17/77.60	c cleaning 34002 clauses out of 68023 with flag 1356372/620001
88.60/81.97	c cleaning 35004 clauses out of 70021 with flag 1434778/656001
92.19/85.49	c cleaning 35997 clauses out of 72017 with flag 1515710/693001
97.31/90.21	c cleaning 37001 clauses out of 74020 with flag 1598267/731001
101.81/94.68	c cleaning 38004 clauses out of 76018 with flag 1684023/770000
107.68/100.45	c cleaning 38995 clauses out of 78014 with flag 1771551/810000
112.86/105.34	c cleaning 40001 clauses out of 80019 with flag 1861917/851000
117.25/109.62	c cleaning 40996 clauses out of 82018 with flag 1954008/893000
122.64/114.97	c cleaning 42003 clauses out of 84025 with flag 2048372/936003
127.35/119.53	c cleaning 42997 clauses out of 86019 with flag 2144880/980000
132.14/124.21	c cleaning 44001 clauses out of 88023 with flag 2243586/1025001
138.44/130.17	c cleaning 45000 clauses out of 90021 with flag 2343616/1071000
144.82/136.19	c cleaning 46005 clauses out of 92021 with flag 2446233/1118000
151.69/142.66	c cleaning 46998 clauses out of 94017 with flag 2550833/1166001
158.31/149.01	c cleaning 48003 clauses out of 96020 with flag 2658560/1215002
164.32/154.99	c cleaning 48999 clauses out of 98016 with flag 2767265/1265001
171.16/161.70	c cleaning 49994 clauses out of 100017 with flag 2878304/1316001
179.51/169.57	c cleaning 50999 clauses out of 102022 with flag 2992087/1368000
185.74/175.58	c cleaning 52004 clauses out of 104023 with flag 3108827/1421000
192.95/182.53	c cleaning 53001 clauses out of 106020 with flag 3227664/1475001
198.95/188.41	c cleaning 53997 clauses out of 108018 with flag 3347255/1530000
207.06/196.29	c cleaning 55000 clauses out of 110021 with flag 3469516/1586000
215.30/204.01	c cleaning 56000 clauses out of 112021 with flag 3595053/1643000
221.83/210.21	c cleaning 57003 clauses out of 114021 with flag 3721939/1701000
228.54/216.76	c cleaning 57998 clauses out of 116019 with flag 3850491/1760001
235.33/223.28	c cleaning 58998 clauses out of 118020 with flag 3981873/1820000
241.63/229.46	c cleaning 59998 clauses out of 120023 with flag 4115434/1881001
248.06/235.85	c cleaning 61000 clauses out of 122025 with flag 4250694/1943001
256.39/244.15	c cleaning 62001 clauses out of 124024 with flag 4388697/2006000
265.80/252.99	c cleaning 63000 clauses out of 126023 with flag 4527743/2070000
274.74/261.51	c cleaning 64002 clauses out of 128023 with flag 4669853/2135000
283.73/270.27	c cleaning 64997 clauses out of 130021 with flag 4813695/2201000
293.02/279.08	c cleaning 66001 clauses out of 132025 with flag 4959116/2268001
300.38/286.08	c cleaning 67002 clauses out of 134023 with flag 5106656/2336000
309.03/294.44	c cleaning 67994 clauses out of 136021 with flag 5256805/2405000
319.68/304.56	c cleaning 69003 clauses out of 138028 with flag 5409761/2475001
329.76/314.41	c cleaning 69999 clauses out of 140026 with flag 5565897/2546002
339.07/323.35	c cleaning 71000 clauses out of 142025 with flag 5723704/2618000
348.19/332.04	c cleaning 72006 clauses out of 144025 with flag 5883287/2691000
361.21/343.91	c cleaning 73000 clauses out of 146020 with flag 6046867/2765001
372.93/355.21	c cleaning 73999 clauses out of 148021 with flag 6210888/2840002
384.37/366.28	c cleaning 75001 clauses out of 150023 with flag 6377976/2916003
395.30/376.67	c cleaning 76001 clauses out of 152022 with flag 6546722/2993003
407.59/388.38	c cleaning 76999 clauses out of 154019 with flag 6716308/3071001
418.26/398.78	c cleaning 77997 clauses out of 156020 with flag 6887699/3150001
428.25/408.31	c cleaning 79000 clauses out of 158022 with flag 7061608/3230000
437.86/417.55	c cleaning 79994 clauses out of 160022 with flag 7236874/3311000
446.87/426.15	c cleaning 81005 clauses out of 162029 with flag 7415793/3393001
456.47/435.34	c cleaning 81999 clauses out of 164024 with flag 7596940/3476001
465.47/443.92	c cleaning 82996 clauses out of 166024 with flag 7780325/3560000
475.97/454.03	c cleaning 83999 clauses out of 168028 with flag 7966401/3645000
487.09/464.62	c cleaning 85003 clauses out of 170029 with flag 8153609/3731000
498.04/474.90	c cleaning 85998 clauses out of 172027 with flag 8342127/3818001
508.04/484.54	c cleaning 86998 clauses out of 174028 with flag 8534318/3906000
521.19/497.20	c cleaning 88003 clauses out of 176030 with flag 8727892/3995000
532.99/508.54	c cleaning 89004 clauses out of 178028 with flag 8924293/4085001
546.12/521.11	c cleaning 89998 clauses out of 180023 with flag 9123161/4176000
559.25/533.76	c cleaning 91002 clauses out of 182025 with flag 9324897/4268000
573.33/547.20	c cleaning 91999 clauses out of 184025 with flag 9527934/4361002
586.18/559.65	c cleaning 93001 clauses out of 186024 with flag 9732975/4455000
599.73/572.74	c cleaning 94004 clauses out of 188023 with flag 9939506/4550000
615.21/587.68	c cleaning 95001 clauses out of 190019 with flag 10150616/4646000
629.96/601.64	c cleaning 96000 clauses out of 192018 with flag 10361824/4743000
645.57/616.71	c cleaning 96999 clauses out of 194018 with flag 10575961/4841000
661.26/631.10	c cleaning 97996 clauses out of 196019 with flag 10791428/4940000
674.79/643.93	c cleaning 98999 clauses out of 198023 with flag 11009982/5040000
689.81/658.12	c cleaning 100002 clauses out of 200025 with flag 11230874/5141001
701.84/669.61	c cleaning 101002 clauses out of 202023 with flag 11452932/5243001
717.24/684.48	c cleaning 101999 clauses out of 204020 with flag 11676609/5346000
732.40/699.03	c cleaning 102997 clauses out of 206022 with flag 11903665/5450001
748.14/714.19	c cleaning 103992 clauses out of 208024 with flag 12132529/5555000
763.53/728.88	c cleaning 105005 clauses out of 210033 with flag 12361681/5661001
775.86/740.57	c cleaning 106002 clauses out of 212027 with flag 12595279/5768000
789.38/753.49	c cleaning 107000 clauses out of 214025 with flag 12830558/5876000
802.53/766.05	c cleaning 108003 clauses out of 216026 with flag 13067100/5985001
816.30/779.28	c cleaning 108998 clauses out of 218022 with flag 13306984/6095000
834.72/797.02	c cleaning 110000 clauses out of 220024 with flag 13549869/6206000
850.13/811.75	c cleaning 111001 clauses out of 222026 with flag 13793777/6318002
866.69/827.72	c cleaning 111998 clauses out of 224023 with flag 14042672/6431000
884.09/844.58	c cleaning 113003 clauses out of 226025 with flag 14292587/6545000
899.81/859.71	c cleaning 114001 clauses out of 228022 with flag 14543129/6660000
918.98/878.36	c cleaning 115000 clauses out of 230021 with flag 14795757/6776000
933.24/892.03	c cleaning 116001 clauses out of 232023 with flag 15050420/6893002
951.44/907.87	c cleaning 117002 clauses out of 234020 with flag 15306776/7011000
970.01/925.68	c cleaning 117992 clauses out of 236019 with flag 15566391/7130001
986.75/941.63	c cleaning 119002 clauses out of 238027 with flag 15827059/7250001
1004.51/958.72	c cleaning 120002 clauses out of 240026 with flag 16090532/7371002
1022.66/976.08	c cleaning 120995 clauses out of 242023 with flag 16356420/7493001
1039.83/992.56	c cleaning 122001 clauses out of 244029 with flag 16623676/7616002
1059.84/1011.94	c cleaning 123000 clauses out of 246026 with flag 16894355/7740000
1077.05/1028.49	c cleaning 123998 clauses out of 248026 with flag 17167347/7865000
1096.35/1047.02	c cleaning 124999 clauses out of 250028 with flag 17442747/7991000
1115.56/1065.45	c cleaning 126004 clauses out of 252030 with flag 17719464/8118001
1133.94/1083.03	c cleaning 127006 clauses out of 254028 with flag 17999277/8246003
1151.31/1099.84	c cleaning 127999 clauses out of 256020 with flag 18279226/8375001
1170.73/1118.46	c cleaning 128994 clauses out of 258020 with flag 18562031/8505000
1192.07/1139.18	c cleaning 129996 clauses out of 260026 with flag 18849384/8636000
1211.77/1158.07	c cleaning 131003 clauses out of 262030 with flag 19135775/8768000
1229.58/1175.05	c cleaning 132004 clauses out of 264027 with flag 19426621/8901000
1251.76/1196.45	c cleaning 132998 clauses out of 266023 with flag 19718872/9035000
1270.76/1214.64	c cleaning 134004 clauses out of 268026 with flag 20011245/9170001
1288.73/1232.00	c cleaning 134999 clauses out of 270021 with flag 20307267/9306000
1306.46/1248.89	c cleaning 135994 clauses out of 272022 with flag 20604987/9443000
1323.99/1265.66	c cleaning 137004 clauses out of 274029 with flag 20905644/9581001
1343.98/1284.66	c cleaning 138001 clauses out of 276026 with flag 21210461/9720002
1363.63/1303.44	c cleaning 139004 clauses out of 278023 with flag 21514255/9860000
1387.44/1323.60	c cleaning 139995 clauses out of 280020 with flag 21821467/10001001
1409.09/1344.25	c cleaning 140995 clauses out of 282024 with flag 22130972/10143000
1429.73/1364.03	c cleaning 142001 clauses out of 284030 with flag 22443640/10286001
1449.04/1382.59	c cleaning 143009 clauses out of 286031 with flag 22755965/10430003
1469.95/1402.66	c cleaning 144000 clauses out of 288019 with flag 23071388/10575000
1493.85/1425.71	c cleaning 144997 clauses out of 290019 with flag 23390332/10721000
1514.67/1445.66	c cleaning 145998 clauses out of 292023 with flag 23708287/10868001
1537.60/1467.71	c cleaning 147000 clauses out of 294026 with flag 24029051/11016002
1561.19/1490.51	c cleaning 147999 clauses out of 296025 with flag 24353727/11165001
1584.39/1513.00	c cleaning 149001 clauses out of 298025 with flag 24680911/11315000
1609.26/1536.78	c cleaning 150008 clauses out of 300025 with flag 25010900/11466001
1633.32/1560.00	c cleaning 150997 clauses out of 302017 with flag 25344840/11618001
1658.69/1584.33	c cleaning 151997 clauses out of 304020 with flag 25679469/11771001
1681.11/1605.89	c cleaning 152996 clauses out of 306022 with flag 26015818/11925000
1705.55/1629.46	c cleaning 154000 clauses out of 308026 with flag 26352507/12080000
1727.67/1650.69	c cleaning 155003 clauses out of 310027 with flag 26691898/12236001
1747.61/1669.69	c cleaning 156002 clauses out of 312023 with flag 27034889/12393000
1773.31/1694.30	c cleaning 157001 clauses out of 314021 with flag 27380053/12551000
1800.28/1720.22	c cleaning 157998 clauses out of 316020 with flag 27727618/12710000
1826.13/1743.12	c cleaning 158999 clauses out of 318022 with flag 28075612/12870000
1850.09/1765.75	c cleaning 160001 clauses out of 320023 with flag 28426727/13031000
1873.90/1788.68	c cleaning 160999 clauses out of 322022 with flag 28780405/13193000
1900.85/1814.34	c cleaning 162000 clauses out of 324026 with flag 29136510/13356003
1926.67/1839.02	c cleaning 163000 clauses out of 326023 with flag 29494063/13520000
1953.82/1865.00	c cleaning 164001 clauses out of 328024 with flag 29854265/13685001
1980.63/1890.84	c cleaning 164998 clauses out of 330023 with flag 30214967/13851001
2004.46/1913.69	c cleaning 166003 clauses out of 332024 with flag 30579422/14018000
2030.02/1938.11	c cleaning 166998 clauses out of 334021 with flag 30945570/14186000
2054.80/1961.85	c cleaning 168002 clauses out of 336025 with flag 31313571/14355002
2081.13/1987.12	c cleaning 168995 clauses out of 338021 with flag 31684077/14525000
2105.64/2010.66	c cleaning 170004 clauses out of 340027 with flag 32057276/14696001
2136.72/2040.66	c cleaning 171001 clauses out of 342022 with flag 32431948/14868000
2164.54/2067.59	c cleaning 171999 clauses out of 344021 with flag 32808953/15041000
2189.65/2091.66	c cleaning 172995 clauses out of 346023 with flag 33189013/15215001
2215.82/2116.79	c cleaning 174001 clauses out of 348028 with flag 33571053/15390001
2244.35/2144.22	c cleaning 175002 clauses out of 350027 with flag 33954238/15566001
2271.96/2169.02	c cleaning 175998 clauses out of 352024 with flag 34340410/15743000
2301.92/2197.84	c cleaning 177001 clauses out of 354027 with flag 34729355/15921001
2330.40/2225.31	c cleaning 177995 clauses out of 356025 with flag 35122118/16100000
2358.36/2252.13	c cleaning 179003 clauses out of 358030 with flag 35514360/16280000
2386.66/2279.21	c cleaning 180002 clauses out of 360028 with flag 35908444/16461001
2411.36/2302.75	c cleaning 180997 clauses out of 362025 with flag 36302769/16643000
2439.74/2330.08	c cleaning 182001 clauses out of 364028 with flag 36703059/16826000
2470.45/2359.61	c cleaning 183000 clauses out of 366028 with flag 37103236/17010001
2495.97/2384.02	c cleaning 183999 clauses out of 368027 with flag 37508449/17195000
2528.48/2415.42	c cleaning 185005 clauses out of 370028 with flag 37914679/17381000
2555.44/2441.17	c cleaning 185998 clauses out of 372023 with flag 38321634/17568000
2584.58/2469.30	c cleaning 187002 clauses out of 374025 with flag 38731335/17756000
2613.69/2497.07	c cleaning 188000 clauses out of 376023 with flag 39144587/17945000
2642.78/2525.05	c cleaning 189000 clauses out of 378023 with flag 39560682/18135000
2670.04/2551.13	c cleaning 190000 clauses out of 380024 with flag 39977374/18326001
2701.91/2581.84	c cleaning 191004 clauses out of 382025 with flag 40394817/18518002
2736.71/2613.64	c cleaning 191996 clauses out of 384019 with flag 40814358/18711000
2766.66/2642.20	c cleaning 193002 clauses out of 386025 with flag 41235576/18905002
2795.91/2670.34	c cleaning 193999 clauses out of 388022 with flag 41660358/19100001
2825.12/2698.39	c cleaning 195000 clauses out of 390023 with flag 42088073/19296001
2855.02/2727.04	c cleaning 195994 clauses out of 392022 with flag 42517401/19493000
2885.51/2756.28	c cleaning 197003 clauses out of 394030 with flag 42949407/19691002
2914.98/2784.45	c cleaning 198003 clauses out of 396028 with flag 43383834/19890003
2945.48/2813.76	c cleaning 198995 clauses out of 398023 with flag 43819486/20090001
2973.52/2840.53	c cleaning 200004 clauses out of 400027 with flag 44256135/20291000
3001.81/2867.68	c cleaning 201000 clauses out of 402023 with flag 44696225/20493000
3031.94/2896.48	c cleaning 201999 clauses out of 404023 with flag 45137863/20696000
3064.91/2928.14	c cleaning 202997 clauses out of 406024 with flag 45583079/20900000
3099.04/2960.92	c cleaning 204002 clauses out of 408028 with flag 46028987/21105001
3135.84/2996.41	c cleaning 205002 clauses out of 410025 with flag 46481667/21311000
3166.00/3023.35	c cleaning 206003 clauses out of 412023 with flag 46931891/21518000
3197.00/3052.99	c cleaning 207001 clauses out of 414021 with flag 47386812/21726001
3230.24/3085.08	c cleaning 207997 clauses out of 416020 with flag 47842878/21935001
3259.85/3113.34	c cleaning 208999 clauses out of 418023 with flag 48300145/22145001
3289.16/3141.42	c cleaning 209999 clauses out of 420023 with flag 48759016/22356000
3318.34/3169.31	c cleaning 210999 clauses out of 422024 with flag 49222606/22568000
3353.11/3202.69	c cleaning 211999 clauses out of 424025 with flag 49687535/22781000
3386.09/3234.22	c cleaning 212996 clauses out of 426027 with flag 50156039/22995001
3417.59/3264.57	c cleaning 214001 clauses out of 428030 with flag 50624210/23210000
3447.03/3292.72	c cleaning 215000 clauses out of 430029 with flag 51095920/23426000
3476.92/3321.39	c cleaning 216001 clauses out of 432031 with flag 51568096/23643002
3510.00/3352.91	c cleaning 216999 clauses out of 434028 with flag 52043602/23861000
3544.59/3383.76	c cleaning 218004 clauses out of 436029 with flag 52519908/24080000
3578.11/3415.88	c cleaning 219002 clauses out of 438028 with flag 52998364/24300003
3600.02/3437.02	c timeout
3600.02/3437.05	c starts		: 1
3600.02/3437.05	c conflicts		: 24470415
3600.02/3437.05	c decisions		: 34768321
3600.02/3437.05	c propagations		: 181242205
3600.02/3437.05	c inspects		: 6842579173
3600.02/3437.05	c shortcuts		: 0
3600.02/3437.05	c learnt literals	: 0
3600.02/3437.05	c learnt binary clauses	: 0
3600.02/3437.05	c learnt ternary clauses	: 0
3600.02/3437.05	c learnt constraints	: 24470415
3600.02/3437.05	c ignored constraints	: 0
3600.02/3437.05	c root simplifications	: 0
3600.02/3437.05	c removed literals (reason simplification)	: 4416474
3600.02/3437.05	c reason swapping (by a shorter reason)	: 0
3600.02/3437.05	c Calls to reduceDB	: 216
3600.02/3437.05	c Number of update (reduction) of LBD	: 1925297
3600.02/3437.05	c Imported unit clauses	: 0
3600.02/3437.05	c No decision after first conflict	: false
3600.02/3437.05	c number of reductions to clauses (during analyze)	: 0
3600.02/3437.05	c number of learned constraints concerned by reduction	: 0
3600.02/3437.05	c number of learning phase by resolution	: 0
3600.02/3437.05	c number of learning phase by cutting planes	: 0
3600.02/3437.05	c number of rounding to 1 operations	: 0
3600.02/3437.05	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3437.06	c number of reductions of the coefficients by power 2 	: 0
3600.02/3437.06	c number of right shift for reduction by power 2 	: 0
3600.02/3437.06	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3437.06	c number of ending skipping 	: 0
3600.02/3437.06	c number of internal skipping 	: 0
3600.02/3437.06	c number of derivation steps 	: 0
3600.02/3437.06	c number of skipped derivation steps 	: 0
3600.02/3437.06	c number of remaining unassigned 	: 0
3600.02/3437.06	c number of remaining assigned 	: 0
3600.02/3437.06	c number of falsified literals weakened from reason	: 0
3600.02/3437.06	c number of falsified literals weakened from conflict	: 0
3600.02/3437.06	c time for arithmetic operations	: 0
3600.02/3437.06	c minimum degree of deleted constraints	: null
3600.02/3437.06	c maximum degree of deleted constraints	: null
3600.02/3437.06	c number of deleted constraints	: 0
3600.02/3437.06	c speed (assignments/second)	: 52739.87198136726
3600.02/3437.06	c non guided choices	: 263
3600.19/3437.15	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 389438
3600.19/3437.15	s UNKNOWN
3600.19/3437.15	c Total wall clock time (in seconds): 3436.798

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: 63794 MiB (51664 MiB free)
  memory of node 1: 64507 MiB (40147 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4543291-1753226274/watcher-4543291-1753226274 -o /tmp/evaluation-result-4543291-1753226274/solver-4543291-1753226274 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1753222705-158995 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4543291-1753226274 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4543291-1753226274.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 FSIZE limit: 102400000 KiB
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=159504, runsolver pid=159501
Current StackSize limit: 8192 KiB


[startup+0.100069 s]*
/proc/loadavg: 4.28 4.26 4.20 7/326 159522
/proc/meminfo: memFree=93997060/131382112 swapFree=33010160/33010684
[pid=159504] ppid=159501 vsize=18930384 memory=50564 CPUtime=0.11 cores=4,6
/proc/159504/stat : 159504 (java) S 159501 159504 158984 0 -1 4194304 5780 0 0 0 8 3 0 0 20 0 18 0 238307147 19384713216 12641 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
/proc/159504/statm: 4732596 12641 5340 1 0 547019 0
[pid=159504/tid=159506] ppid=159501 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/159504/task/159506/stat : 159506 (java) R 159501 159504 158984 0 -1 4194368 4642 0 0 0 5 2 0 0 20 0 18 0 238307149 19384713216 12641 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159515] ppid=159501 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/159504/task/159515/stat : 159515 (Finalizer) S 159501 159504 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238307154 19384713216 12641 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159522] ppid=159501 vsize=18930384 memory=59593594258114 CPUtime=0 cores=4,6
/proc/159504/task/159522/stat : 159522 (Common-Cleaner) S 159501 159504 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 238307155 19384713216 12641 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 50564 KiB

[startup+0.213918 s]*
/proc/loadavg: 4.41 4.29 4.21 6/326 159522
/proc/meminfo: memFree=93997060/131382112 swapFree=33010160/33010684
[pid=159504] ppid=159501 vsize=18930384 memory=54920 CPUtime=0.28 cores=4,6
/proc/159504/stat : 159504 (java) S 159501 159504 158984 0 -1 4194304 6394 0 0 0 24 4 0 0 20 0 18 0 238307147 19384713216 13730 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
/proc/159504/statm: 4732596 13730 5340 1 0 547550 0
[pid=159504/tid=159506] ppid=159501 vsize=18930384 memory=4026990876 CPUtime=0.17 cores=4,6
/proc/159504/task/159506/stat : 159506 (java) R 159501 159504 158984 0 -1 4194368 4991 0 0 0 14 3 0 0 20 0 18 0 238307149 19384713216 13730 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159515] ppid=159501 vsize=18930384 memory=16142 CPUtime=0 cores=4,6
/proc/159504/task/159515/stat : 159515 (Finalizer) S 159501 159504 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238307154 19384713216 13730 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159522] ppid=159501 vsize=18930384 memory=58494082614266 CPUtime=0 cores=4,6
/proc/159504/task/159522/stat : 159522 (Common-Cleaner) S 159501 159504 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 238307155 19384713216 13730 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 54920 KiB

[startup+0.316081 s]*
/proc/loadavg: 4.41 4.29 4.21 6/326 159522
/proc/meminfo: memFree=93989060/131382112 swapFree=33010160/33010684
[pid=159504] ppid=159501 vsize=18930384 memory=60028 CPUtime=0.44 cores=4,6
/proc/159504/stat : 159504 (java) S 159501 159504 158984 0 -1 4194304 6627 0 0 0 39 5 0 0 20 0 18 0 238307147 19384713216 15007 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
/proc/159504/statm: 4732596 15007 5340 1 0 547748 0
[pid=159504/tid=159506] ppid=159501 vsize=18930384 memory=-9105545499256857276 CPUtime=0.25 cores=4,6
/proc/159504/task/159506/stat : 159506 (java) R 159501 159504 158984 0 -1 4194368 5164 0 0 0 22 3 0 0 20 0 18 0 238307149 19384713216 15007 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159515] ppid=159501 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/159504/task/159515/stat : 159515 (Finalizer) S 159501 159504 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238307154 19384713216 15007 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159522] ppid=159501 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/159504/task/159522/stat : 159522 (Common-Cleaner) S 159501 159504 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 238307155 19384713216 15007 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 60028 KiB

[startup+0.700297 s]
/proc/loadavg: 4.41 4.29 4.21 8/326 159522
/proc/meminfo: memFree=93976904/131382112 swapFree=33010160/33010684
[pid=159504] ppid=159501 vsize=18996948 memory=80728 CPUtime=1.13 cores=4,6
/proc/159504/stat : 159504 (java) S 159501 159504 158984 0 -1 4194304 7065 0 0 0 107 6 0 0 20 0 19 0 238307147 19452874752 20182 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
/proc/159504/statm: 4749237 20182 5468 1 0 548391 0
[pid=159504/tid=159506] ppid=159501 vsize=18996948 memory=26880 CPUtime=0.58 cores=4,6
/proc/159504/task/159506/stat : 159506 (java) R 159501 159504 158984 0 -1 4194368 5367 0 0 0 54 4 0 0 20 0 19 0 238307149 19452874752 20182 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159515] ppid=159501 vsize=18996948 memory=10624 CPUtime=0 cores=4,6
/proc/159504/task/159515/stat : 159515 (Finalizer) S 159501 159504 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238307154 19452874752 20182 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159522] ppid=159501 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/159504/task/159522/stat : 159522 (Common-Cleaner) S 159501 159504 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238307155 19452874752 20182 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159523] ppid=159501 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/159504/task/159523/stat : 159523 (Timer-0) S 159501 159504 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238307200 19452874752 20182 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 80728 KiB

[startup+1.50026 s]
/proc/loadavg: 4.41 4.29 4.21 7/327 159523
/proc/meminfo: memFree=93935188/131382112 swapFree=33010160/33010684
[pid=159504] ppid=159501 vsize=19063512 memory=169064 CPUtime=2.7 cores=4,6
/proc/159504/stat : 159504 (java) S 159501 159504 158984 0 -1 4194304 15116 0 0 0 260 10 0 0 20 0 20 0 238307147 19521036288 42266 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
/proc/159504/statm: 4765878 42266 5500 1 0 551631 0
[pid=159504/tid=159506] ppid=159501 vsize=19063512 memory=0 CPUtime=1.32 cores=4,6
/proc/159504/task/159506/stat : 159506 (java) R 159501 159504 158984 0 -1 4194368 5692 0 0 0 126 6 0 0 20 0 20 0 238307149 19521036288 42266 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159515] ppid=159501 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/159504/task/159515/stat : 159515 (Finalizer) S 159501 159504 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238307154 19521036288 42266 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159522] ppid=159501 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/159504/task/159522/stat : 159522 (Common-Cleaner) S 159501 159504 158984 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 238307155 19521036288 42266 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159523] ppid=159501 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/159504/task/159523/stat : 159523 (Timer-0) S 159501 159504 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238307200 19521036288 42266 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 169064 KiB

[startup+3.10566 s]
/proc/loadavg: 4.41 4.29 4.21 5/328 159524
/proc/meminfo: memFree=93635640/131382112 swapFree=33010160/33010684
[pid=159504] ppid=159501 vsize=19063512 memory=454192 CPUtime=5.73 cores=4,6
/proc/159504/stat : 159504 (java) S 159501 159504 158984 0 -1 4194304 18794 0 0 0 554 19 0 0 20 0 20 0 238307147 19521036288 113548 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
/proc/159504/statm: 4765878 113548 5500 1 0 806752 0
[pid=159504/tid=159506] ppid=159501 vsize=19063512 memory=10624 CPUtime=2.75 cores=4,6
/proc/159504/task/159506/stat : 159506 (java) R 159501 159504 158984 0 -1 4194368 6620 0 0 0 263 12 0 0 20 0 20 0 238307149 19521036288 113548 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159515] ppid=159501 vsize=19063512 memory=-9105545499256857276 CPUtime=0 cores=4,6
/proc/159504/task/159515/stat : 159515 (Finalizer) S 159501 159504 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238307154 19521036288 113548 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159522] ppid=159501 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/159504/task/159522/stat : 159522 (Common-Cleaner) S 159501 159504 158984 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 238307155 19521036288 113548 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159523] ppid=159501 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/159504/task/159523/stat : 159523 (Timer-0) S 159501 159504 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238307200 19521036288 113548 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
Current children cumulated CPU time: 5.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 454192 KiB

[startup+6.30042 s]
/proc/loadavg: 4.38 4.28 4.21 7/328 159524
/proc/meminfo: memFree=92855828/131382112 swapFree=33010160/33010684
[pid=159504] ppid=159501 vsize=19063512 memory=1325168 CPUtime=9.74 cores=4,6
/proc/159504/stat : 159504 (java) S 159501 159504 158984 0 -1 4194304 21006 0 0 0 934 40 0 0 20 0 20 0 238307147 19521036288 331292 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
/proc/159504/statm: 4765878 331292 5500 1 0 1895123 0
[pid=159504/tid=159506] ppid=159501 vsize=19063512 memory=0 CPUtime=5.53 cores=4,6
/proc/159504/task/159506/stat : 159506 (java) R 159501 159504 158984 0 -1 4194368 6957 0 0 0 524 29 0 0 20 0 20 0 238307149 19521036288 331292 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159515] ppid=159501 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/159504/task/159515/stat : 159515 (Finalizer) S 159501 159504 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238307154 19521036288 331292 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159522] ppid=159501 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/159504/task/159522/stat : 159522 (Common-Cleaner) S 159501 159504 158984 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 238307155 19521036288 331292 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159523] ppid=159501 vsize=19063512 memory=173336 CPUtime=0 cores=4,6
/proc/159504/task/159523/stat : 159523 (Timer-0) S 159501 159504 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238307200 19521036288 331292 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
Current children cumulated CPU time: 9.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1325168 KiB

[startup+12.7004 s]
/proc/loadavg: 4.35 4.28 4.21 7/327 159657
/proc/meminfo: memFree=114764680/131382112 swapFree=33010160/33010684
[pid=159504] ppid=159501 vsize=19063512 memory=2738396 CPUtime=16.48 cores=4,6
/proc/159504/stat : 159504 (java) S 159501 159504 158984 0 -1 4194304 22304 0 0 0 1566 82 0 0 20 0 20 0 238307147 19521036288 684599 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
/proc/159504/statm: 4765878 684599 5500 1 0 2093571 0
[pid=159504/tid=159506] ppid=159501 vsize=19063512 memory=173336 CPUtime=11.47 cores=4,6
/proc/159504/task/159506/stat : 159506 (java) R 159501 159504 158984 0 -1 4194368 7532 0 0 0 1086 61 0 0 20 0 20 0 238307149 19521036288 684599 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159515] ppid=159501 vsize=19063512 memory=1945868 CPUtime=0 cores=4,6
/proc/159504/task/159515/stat : 159515 (Finalizer) S 159501 159504 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238307154 19521036288 684599 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159522] ppid=159501 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/159504/task/159522/stat : 159522 (Common-Cleaner) S 159501 159504 158984 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 238307155 19521036288 684599 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159523] ppid=159501 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/159504/task/159523/stat : 159523 (Timer-0) S 159501 159504 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238307200 19521036288 684599 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
Current children cumulated CPU time: 16.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2738396 KiB

[startup+25.5005 s]
/proc/loadavg: 4.38 4.29 4.21 5/328 159725
/proc/meminfo: memFree=122293704/131382112 swapFree=33010160/33010684
[pid=159504] ppid=159501 vsize=19063512 memory=3482064 CPUtime=29.92 cores=4,6
/proc/159504/stat : 159504 (java) S 159501 159504 158984 0 -1 4194304 23973 0 0 0 2873 119 0 0 20 0 20 0 238307147 19521036288 870516 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
/proc/159504/statm: 4765878 870516 5532 1 0 2093587 0
[pid=159504/tid=159506] ppid=159501 vsize=19063512 memory=10624 CPUtime=23.51 cores=4,6
/proc/159504/task/159506/stat : 159506 (java) R 159501 159504 158984 0 -1 4194368 8655 0 0 0 2261 90 0 0 20 0 20 0 238307149 19521036288 870516 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159515] ppid=159501 vsize=19063512 memory=3076400 CPUtime=0 cores=4,6
/proc/159504/task/159515/stat : 159515 (Finalizer) S 159501 159504 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238307154 19521036288 870516 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159522] ppid=159501 vsize=19063512 memory=3076400 CPUtime=0 cores=4,6
/proc/159504/task/159522/stat : 159522 (Common-Cleaner) S 159501 159504 158984 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 238307155 19521036288 870516 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159523] ppid=159501 vsize=19063512 memory=5148 CPUtime=0 cores=4,6
/proc/159504/task/159523/stat : 159523 (Timer-0) S 159501 159504 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238307200 19521036288 870516 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
Current children cumulated CPU time: 29.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3482064 KiB

[startup+51.1135 s]
/proc/loadavg: 4.36 4.29 4.22 5/328 159726
/proc/meminfo: memFree=117015124/131382112 swapFree=33010160/33010684
[pid=159504] ppid=159501 vsize=19063512 memory=6109876 CPUtime=56.61 cores=4,6
/proc/159504/stat : 159504 (java) S 159501 159504 158984 0 -1 4194304 31681 0 0 0 5457 204 0 0 20 0 20 0 238307147 19521036288 1527469 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
/proc/159504/statm: 4765878 1527469 5532 1 0 2093601 0
[pid=159504/tid=159506] ppid=159501 vsize=19063512 memory=4764 CPUtime=47.59 cores=4,6
/proc/159504/task/159506/stat : 159506 (java) R 159501 159504 158984 0 -1 4194368 12440 0 0 0 4604 155 0 0 20 0 20 0 238307149 19521036288 1527469 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159515] ppid=159501 vsize=19063512 memory=5599856 CPUtime=0 cores=4,6
/proc/159504/task/159515/stat : 159515 (Finalizer) S 159501 159504 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238307154 19521036288 1527469 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0

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

/proc/159504/task/159515/stat : 159515 (Finalizer) S 159501 159504 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238307154 19521036288 4069870 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159522] ppid=159501 vsize=19063512 memory=14560 CPUtime=0 cores=4,6
/proc/159504/task/159522/stat : 159522 (Common-Cleaner) S 159501 159504 158984 0 -1 4194368 2810 0 0 0 0 0 0 0 20 0 20 0 238307155 19521036288 4069870 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159523] ppid=159501 vsize=19063512 memory=16279480 CPUtime=0 cores=4,6
/proc/159504/task/159523/stat : 159523 (Timer-0) S 159501 159504 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238307200 19521036288 4069870 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
Current children cumulated CPU time: 3186.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16279480 KiB

[startup+3102.3 s]
/proc/loadavg: 4.35 4.39 4.36 5/331 159919
/proc/meminfo: memFree=38869904/131382112 swapFree=33010160/33010684
[pid=159504] ppid=159501 vsize=19063512 memory=16279480 CPUtime=3248.37 cores=4,6
/proc/159504/stat : 159504 (java) S 159501 159504 158984 0 -1 4194304 432333 0 0 0 320579 4258 0 0 20 0 20 0 238307147 19521036288 4069870 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
/proc/159504/statm: 4765878 4069870 5532 1 0 4083361 0
[pid=159504/tid=159506] ppid=159501 vsize=19063512 memory=14560 CPUtime=2900.21 cores=4,6
/proc/159504/task/159506/stat : 159506 (java) R 159501 159504 158984 0 -1 4194368 232831 0 0 0 286080 3941 0 0 20 0 20 0 238307149 19521036288 4069870 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159515] ppid=159501 vsize=19063512 memory=14560 CPUtime=0 cores=4,6
/proc/159504/task/159515/stat : 159515 (Finalizer) S 159501 159504 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238307154 19521036288 4069870 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159522] ppid=159501 vsize=19063512 memory=16279480 CPUtime=0 cores=4,6
/proc/159504/task/159522/stat : 159522 (Common-Cleaner) S 159501 159504 158984 0 -1 4194368 2866 0 0 0 0 0 0 0 20 0 20 0 238307155 19521036288 4069870 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159523] ppid=159501 vsize=19063512 memory=16279480 CPUtime=0 cores=4,6
/proc/159504/task/159523/stat : 159523 (Timer-0) S 159501 159504 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238307200 19521036288 4069870 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
Current children cumulated CPU time: 3248.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16279480 KiB

[startup+3162.3 s]
/proc/loadavg: 4.23 4.35 4.35 5/331 159921
/proc/meminfo: memFree=37578832/131382112 swapFree=33010160/33010684
[pid=159504] ppid=159501 vsize=19063512 memory=16279480 CPUtime=3310.99 cores=4,6
/proc/159504/stat : 159504 (java) S 159501 159504 158984 0 -1 4194304 439608 0 0 0 326756 4343 0 0 20 0 20 0 238307147 19521036288 4069870 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
/proc/159504/statm: 4765878 4069870 5532 1 0 4083361 0
[pid=159504/tid=159506] ppid=159501 vsize=19063512 memory=14560 CPUtime=2956.24 cores=4,6
/proc/159504/task/159506/stat : 159506 (java) R 159501 159504 158984 0 -1 4194368 238176 0 0 0 291602 4022 0 0 20 0 20 0 238307149 19521036288 4069870 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159515] ppid=159501 vsize=19063512 memory=16279480 CPUtime=0 cores=4,6
/proc/159504/task/159515/stat : 159515 (Finalizer) S 159501 159504 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238307154 19521036288 4069870 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159522] ppid=159501 vsize=19063512 memory=16279480 CPUtime=0 cores=4,6
/proc/159504/task/159522/stat : 159522 (Common-Cleaner) S 159501 159504 158984 0 -1 4194368 2924 0 0 0 0 0 0 0 20 0 20 0 238307155 19521036288 4069870 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159523] ppid=159501 vsize=19063512 memory=14560 CPUtime=0 cores=4,6
/proc/159504/task/159523/stat : 159523 (Timer-0) S 159501 159504 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238307200 19521036288 4069870 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
Current children cumulated CPU time: 3310.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16279480 KiB

[startup+3222.3 s]
/proc/loadavg: 4.44 4.39 4.36 6/330 159923
/proc/meminfo: memFree=35959364/131382112 swapFree=33010160/33010684
[pid=159504] ppid=159501 vsize=19063512 memory=16279480 CPUtime=3373.91 cores=4,6
/proc/159504/stat : 159504 (java) S 159501 159504 158984 0 -1 4194304 447688 0 0 0 332964 4427 0 0 20 0 20 0 238307147 19521036288 4069870 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
/proc/159504/statm: 4765878 4069870 5532 1 0 4083361 0
[pid=159504/tid=159506] ppid=159501 vsize=19063512 memory=14560 CPUtime=3012.21 cores=4,6
/proc/159504/task/159506/stat : 159506 (java) R 159501 159504 158984 0 -1 4194368 242886 0 0 0 297120 4101 0 0 20 0 20 0 238307149 19521036288 4069870 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159515] ppid=159501 vsize=19063512 memory=16279480 CPUtime=0 cores=4,6
/proc/159504/task/159515/stat : 159515 (Finalizer) S 159501 159504 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238307154 19521036288 4069870 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159522] ppid=159501 vsize=19063512 memory=16279480 CPUtime=0 cores=4,6
/proc/159504/task/159522/stat : 159522 (Common-Cleaner) S 159501 159504 158984 0 -1 4194368 2983 0 0 0 0 0 0 0 20 0 20 0 238307155 19521036288 4069870 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159523] ppid=159501 vsize=19063512 memory=16279480 CPUtime=0 cores=4,6
/proc/159504/task/159523/stat : 159523 (Timer-0) S 159501 159504 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238307200 19521036288 4069870 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
Current children cumulated CPU time: 3373.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16279480 KiB

[startup+3282.3 s]
/proc/loadavg: 4.45 4.39 4.37 5/332 159928
/proc/meminfo: memFree=34887920/131382112 swapFree=33010160/33010684
[pid=159504] ppid=159501 vsize=19063512 memory=16279480 CPUtime=3436.31 cores=4,6
/proc/159504/stat : 159504 (java) S 159501 159504 158984 0 -1 4194304 455201 0 0 0 339121 4510 0 0 20 0 20 0 238307147 19521036288 4069870 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
/proc/159504/statm: 4765878 4069870 5532 1 0 4083361 0
[pid=159504/tid=159506] ppid=159501 vsize=19063512 memory=16279480 CPUtime=3068.5 cores=4,6
/proc/159504/task/159506/stat : 159506 (java) R 159501 159504 158984 0 -1 4194368 248319 0 0 0 302669 4181 0 0 20 0 20 0 238307149 19521036288 4069870 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159515] ppid=159501 vsize=19063512 memory=16279480 CPUtime=0 cores=4,6
/proc/159504/task/159515/stat : 159515 (Finalizer) S 159501 159504 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238307154 19521036288 4069870 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159522] ppid=159501 vsize=19063512 memory=16279480 CPUtime=0 cores=4,6
/proc/159504/task/159522/stat : 159522 (Common-Cleaner) S 159501 159504 158984 0 -1 4194368 3041 0 0 0 0 0 0 0 20 0 20 0 238307155 19521036288 4069870 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159523] ppid=159501 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/159504/task/159523/stat : 159523 (Timer-0) S 159501 159504 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238307200 19521036288 4069870 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
Current children cumulated CPU time: 3436.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16279480 KiB

[startup+3342.3 s]
/proc/loadavg: 4.29 4.35 4.35 5/332 159930
/proc/meminfo: memFree=33685300/131382112 swapFree=33010160/33010684
[pid=159504] ppid=159501 vsize=19063512 memory=16279480 CPUtime=3498.93 cores=4,6
/proc/159504/stat : 159504 (java) S 159501 159504 158984 0 -1 4194304 462104 0 0 0 345297 4596 0 0 20 0 20 0 238307147 19521036288 4069870 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
/proc/159504/statm: 4765878 4069870 5532 1 0 4083361 0
[pid=159504/tid=159506] ppid=159501 vsize=19063512 memory=16279480 CPUtime=3124.87 cores=4,6
/proc/159504/task/159506/stat : 159506 (java) R 159501 159504 158984 0 -1 4194368 253063 0 0 0 308224 4263 0 0 20 0 20 0 238307149 19521036288 4069870 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159515] ppid=159501 vsize=19063512 memory=14560 CPUtime=0 cores=4,6
/proc/159504/task/159515/stat : 159515 (Finalizer) S 159501 159504 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238307154 19521036288 4069870 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159522] ppid=159501 vsize=19063512 memory=-9105545499256857276 CPUtime=0 cores=4,6
/proc/159504/task/159522/stat : 159522 (Common-Cleaner) S 159501 159504 158984 0 -1 4194368 3099 0 0 0 0 0 0 0 20 0 20 0 238307155 19521036288 4069870 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159523] ppid=159501 vsize=19063512 memory=16279480 CPUtime=0 cores=4,6
/proc/159504/task/159523/stat : 159523 (Timer-0) S 159501 159504 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238307200 19521036288 4069870 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
Current children cumulated CPU time: 3498.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16279480 KiB

[startup+3402.3 s]
/proc/loadavg: 4.53 4.41 4.37 5/307 159962
/proc/meminfo: memFree=34539464/131382112 swapFree=33010160/33010684
[pid=159504] ppid=159501 vsize=19063512 memory=16279480 CPUtime=3564.24 cores=4,6
/proc/159504/stat : 159504 (java) S 159501 159504 158984 0 -1 4194304 471853 0 0 0 351739 4685 0 0 20 0 20 0 238307147 19521036288 4069870 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
/proc/159504/statm: 4765878 4069870 5532 1 0 4083368 0
[pid=159504/tid=159506] ppid=159501 vsize=19063512 memory=16279480 CPUtime=3180.21 cores=4,6
/proc/159504/task/159506/stat : 159506 (java) R 159501 159504 158984 0 -1 4194368 257136 0 0 0 313675 4346 0 0 20 0 20 0 238307149 19521036288 4069870 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159515] ppid=159501 vsize=19063512 memory=16279480 CPUtime=0 cores=4,6
/proc/159504/task/159515/stat : 159515 (Finalizer) S 159501 159504 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238307154 19521036288 4069870 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159522] ppid=159501 vsize=19063512 memory=16279480 CPUtime=0 cores=4,6
/proc/159504/task/159522/stat : 159522 (Common-Cleaner) S 159501 159504 158984 0 -1 4194368 3128 0 0 0 0 0 0 0 20 0 20 0 238307155 19521036288 4069870 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159523] ppid=159501 vsize=19063512 memory=16279480 CPUtime=0 cores=4,6
/proc/159504/task/159523/stat : 159523 (Timer-0) S 159501 159504 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238307200 19521036288 4069870 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
Current children cumulated CPU time: 3564.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16279480 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3437 s]*
/proc/loadavg: 4.44 4.40 4.37 5/309 159965
/proc/meminfo: memFree=33800424/131382112 swapFree=33010160/33010684
[pid=159504] ppid=159501 vsize=19063512 memory=16279480 CPUtime=3600.02 cores=4,6
/proc/159504/stat : 159504 (java) S 159501 159504 158984 0 -1 4194304 475751 0 0 0 355270 4732 0 0 20 0 20 0 238307147 19521036288 4069870 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
/proc/159504/statm: 4765878 4069870 5532 1 0 4083368 0
[pid=159504/tid=159506] ppid=159501 vsize=19063512 memory=1792 CPUtime=3210.61 cores=4,6
/proc/159504/task/159506/stat : 159506 (java) R 159501 159504 158984 0 -1 4194368 259417 0 0 0 316671 4390 0 0 20 0 20 0 238307149 19521036288 4069870 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159515] ppid=159501 vsize=19063512 memory=2688 CPUtime=0 cores=4,6
/proc/159504/task/159515/stat : 159515 (Finalizer) S 159501 159504 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238307154 19521036288 4069870 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159522] ppid=159501 vsize=19063512 memory=-4421386500492255842 CPUtime=0 cores=4,6
/proc/159504/task/159522/stat : 159522 (Common-Cleaner) S 159501 159504 158984 0 -1 4194368 3186 0 0 0 0 0 0 0 20 0 20 0 238307155 19521036288 4069870 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
[pid=159504/tid=159523] ppid=159501 vsize=19063512 memory=5292 CPUtime=0 cores=4,6
/proc/159504/task/159523/stat : 159523 (Timer-0) S 159501 159504 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238307200 19521036288 4069870 18446744073709551615 94805463830528 94805463834224 140722431071200 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94805463842040 94805463842832 94805493182464 140722431072596 140722431072740 140722431072740 140722431078344 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16279480 KiB

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

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

# cumulated CPU time of all completed processes:  user=3552.94 s, system=47.4023 s

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

[startup+3437.2 s]*
/proc/loadavg: 4.44 4.40 4.37 5/290 159968
/proc/meminfo: memFree=45887404/131382112 swapFree=33010160/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): 3437.23
CPU time (s): 3600.34
CPU user time (s): 3552.94
CPU system time (s): 47.4023
CPU usage (%): 104.745
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 16280248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3552.94
system time used= 47.4023
maximum resident set size= 16280376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 478234
page faults= 0
swaps= 0
block input operations= 0
block output operations= 91623120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 151048
involuntary context switches= 30001


# summary of solver processes directly reported to runsolver:
#   pid: 159504
#   total CPU time (s): 3600.34
#   total CPU user time (s): 3552.94
#   total CPU system time (s): 47.4023

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1658 second user time and 31.9635 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2025-07-23 01:17:54
IDJOB=4543291
IDBENCH=172509
IDSOLVER=3364
FILE ID=nodeC009/4543291-1753226274
RUNJOBID= nodeC009-1753222705-158995
SLURM_JOB_ID= 9687823
Free space on /tmp= 395428 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/larger/domset_large_fixedcols/normalized-domset-hexgrid-fixedcols_07_140.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4543291-1753226274/watcher-4543291-1753226274 -o /tmp/evaluation-result-4543291-1753226274/solver-4543291-1753226274 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1753222705-158995 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4543291-1753226274 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4543291-1753226274.opb

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

MD5SUM BENCH= 0942a69f21bd48da4c21a008e6f37b2a
RANDOM SEED=268954116

nodeC009 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	: 0xb00001f
cpu MHz		: 3660.693
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3662.666
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.446
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.688
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.230
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.932
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1198.277
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1198.459
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        94016160 kB
MemAvailable:   123997420 kB
Buffers:            2144 kB
Cached:         30674924 kB
SwapCached:           24 kB
Active:          7002460 kB
Inactive:       29537424 kB
Active(anon):    5885016 kB
Inactive(anon):     4080 kB
Active(file):    1117444 kB
Inactive(file): 29533344 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             23856 kB
Writeback:            28 kB
AnonPages:       5862696 kB
Mapped:           127884 kB
Shmem:             26128 kB
KReclaimable:     339816 kB
Slab:             433992 kB
SReclaimable:     339816 kB
SUnreclaim:        94176 kB
KernelStack:        4960 kB
PageTables:        15180 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    6404080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150344 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5607424 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:      172872 kB
DirectMap2M:     9166848 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 359416 MiB
End job on nodeC009 at 2025-07-23 02:15:11