Trace number 4491401

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06? (TO) 3600.35 3606.57

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_16.opb
MD5SUM0c97dedf99f03a2f12057daa91676c25
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark202
Best CPU time to get the best result obtained on this benchmark72000.6
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5570
Total number of constraints10896
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints10895
Minimum length of a constraint1
Maximum length of a constraint34
Number of terms in the objective function 9
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 375
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 512
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 1908
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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.10/0.18	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.10/0.18	c This is free software under the dual EPL/GNU LGPL licenses.
0.10/0.18	c See www.sat4j.org for details.
0.10/0.19	c version PB25.v20250606
0.26/0.23	c java.runtime.name	OpenJDK Runtime Environment
0.26/0.23	c java.vm.name		OpenJDK 64-Bit Server VM
0.26/0.23	c java.vm.version	22.0.1+8-16
0.26/0.23	c java.vm.vendor	Oracle Corporation
0.26/0.23	c sun.arch.data.model	64
0.26/0.23	c java.version		22.0.1
0.26/0.23	c os.name		Linux
0.26/0.23	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.26/0.23	c os.arch		amd64
0.26/0.24	c Free memory 		2104792832
0.26/0.24	c Max memory 		16282288128
0.26/0.24	c Total memory 		2113929216
0.26/0.25	c Number of processors 	2
0.42/0.35	c Pseudo Boolean Optimization by upper bound
0.42/0.35	c --- Begin Solver configuration ---
0.42/0.35	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.42/0.35	c Learn all clauses as in MiniSAT
0.42/0.35	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.42/0.35	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.42/0.35	c Expensive reason simplification
0.42/0.35	c Glucose 2.1 dynamic restart strategy
0.42/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.42/0.35	c timeout=2147483s
0.42/0.35	c DB Simplification allowed=false
0.42/0.35	c Listener: none
0.42/0.35	c --- End Solver configuration ---
0.42/0.35	c solving HOME/instance-4491401-1751386583.opb
0.42/0.35	c reading problem ... 
0.42/0.36	c using VERIPB proof format
0.42/0.36	c  objective function found
2.08/1.22	c ... done. Wall clock time 0.862s.
2.08/1.22	c declared #vars     5570
2.08/1.22	c #constraints  10896
2.08/1.22	c constraints type 
2.08/1.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 10895
2.08/1.23	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
2.08/1.23	c 10896 constraints processed.
2.08/1.25	c objective function length is 9 literals
9.31/5.83	c cleaning 2497 clauses out of 5000 with flag 15895/5000
13.95/10.03	c cleaning 4247 clauses out of 8503 with flag 38055/11000
19.07/14.93	c cleaning 5626 clauses out of 11257 with flag 60845/18001
23.29/19.02	c cleaning 6809 clauses out of 13631 with flag 82959/26001
24.95/20.25	c SATISFIABLE
24.95/20.25	c OPTIMIZING...
24.95/20.25	c Got one! Elapsed wall clock time (in seconds):19.897
24.95/20.25	o 248
28.38/23.34	c cleaning 6351 clauses out of 12709 with flag 14825/31888
33.63/28.42	c cleaning 6173 clauses out of 12358 with flag 39799/37888
39.98/34.79	c cleaning 6588 clauses out of 13185 with flag 65702/44888
46.15/40.71	c cleaning 7294 clauses out of 14597 with flag 91093/52888
51.14/45.78	c cleaning 8152 clauses out of 16304 with flag 115905/61889
56.73/51.35	c cleaning 9058 clauses out of 18151 with flag 144184/71888
65.62/59.93	c cleaning 10046 clauses out of 20094 with flag 170972/82889
75.50/68.90	c cleaning 11015 clauses out of 22048 with flag 200694/94889
77.59/70.57	c Got one! Elapsed wall clock time (in seconds):70.22
77.59/70.57	o 246
80.22/73.17	c cleaning 8218 clauses out of 16453 with flag 12763/100309
85.93/78.47	c cleaning 7111 clauses out of 14235 with flag 39907/106309
91.32/83.84	c cleaning 7054 clauses out of 14124 with flag 64540/113309
97.60/90.06	c cleaning 7523 clauses out of 15071 with flag 93794/121310
103.75/96.12	c cleaning 8265 clauses out of 16547 with flag 120716/130309
109.92/102.35	c cleaning 9130 clauses out of 18282 with flag 149369/140309
113.13/105.53	c Got one! Elapsed wall clock time (in seconds):105.178
113.13/105.53	o 239
117.12/109.57	c cleaning 9774 clauses out of 19570 with flag 19335/150727
122.42/114.81	c cleaning 7888 clauses out of 15795 with flag 46758/156726
127.20/119.62	c cleaning 7445 clauses out of 14907 with flag 69550/163726
132.09/124.54	c cleaning 7725 clauses out of 15462 with flag 94671/171726
138.98/131.54	c cleaning 8360 clauses out of 16737 with flag 123429/180726
146.12/138.79	c cleaning 9181 clauses out of 18376 with flag 157681/190725
154.20/146.81	c cleaning 10088 clauses out of 20195 with flag 194343/201725
162.88/155.52	c cleaning 11044 clauses out of 22107 with flag 237755/213725
172.16/164.85	c cleaning 12030 clauses out of 24063 with flag 275028/226725
182.23/174.83	c cleaning 13008 clauses out of 26034 with flag 314488/240726
192.31/184.92	c cleaning 14008 clauses out of 28025 with flag 357535/255725
204.03/196.62	c cleaning 15004 clauses out of 30017 with flag 402783/271725
205.63/198.23	c Got one! Elapsed wall clock time (in seconds):197.873
205.63/198.23	o 238
208.03/200.69	c cleaning 10298 clauses out of 20633 with flag 11366/277345
213.65/206.22	c cleaning 8145 clauses out of 16335 with flag 35997/283345
219.84/212.44	c cleaning 7579 clauses out of 15190 with flag 65380/290345
226.21/218.89	c cleaning 7794 clauses out of 15612 with flag 96537/298346
232.62/225.27	c cleaning 8393 clauses out of 16817 with flag 129674/307345
239.91/232.53	c cleaning 9202 clauses out of 18425 with flag 164995/317346
247.60/240.24	c cleaning 10100 clauses out of 20222 with flag 201298/328345
255.98/248.62	c cleaning 11053 clauses out of 22124 with flag 242136/340347
265.53/258.21	c cleaning 12027 clauses out of 24069 with flag 289566/353345
275.81/268.50	c cleaning 13013 clauses out of 26043 with flag 343112/367346
286.72/279.49	c cleaning 14004 clauses out of 28030 with flag 396415/382346
298.81/291.68	c cleaning 15004 clauses out of 30025 with flag 448858/398345
311.39/304.27	c cleaning 15997 clauses out of 32021 with flag 511161/415345
326.72/319.67	c cleaning 16999 clauses out of 34024 with flag 585399/433345
342.40/335.33	c cleaning 17999 clauses out of 36025 with flag 662078/452345
358.95/351.93	c cleaning 18999 clauses out of 38026 with flag 743306/472345
375.41/368.50	c cleaning 20000 clauses out of 40028 with flag 827944/493346
393.54/386.64	c cleaning 21000 clauses out of 42027 with flag 912084/515345
410.80/403.97	c cleaning 21995 clauses out of 44027 with flag 993581/538345
430.65/423.87	c cleaning 22999 clauses out of 46032 with flag 1083047/562345
450.20/443.44	c cleaning 24001 clauses out of 48033 with flag 1178034/587345
472.18/465.57	c cleaning 25003 clauses out of 50032 with flag 1285576/613345
492.51/485.90	c cleaning 26006 clauses out of 52030 with flag 1386306/640346
515.17/508.60	c cleaning 27000 clauses out of 54023 with flag 1495343/668345
538.47/532.05	c cleaning 28000 clauses out of 56023 with flag 1608580/697345
562.99/556.62	c cleaning 28999 clauses out of 58023 with flag 1729909/727345
589.15/582.81	c cleaning 30004 clauses out of 60024 with flag 1859702/758345
618.55/612.43	c cleaning 31002 clauses out of 62021 with flag 1986490/790346
646.19/640.16	c cleaning 31998 clauses out of 64021 with flag 2121156/823348
675.47/669.55	c cleaning 32993 clauses out of 66022 with flag 2254124/857347
704.91/699.12	c cleaning 33997 clauses out of 68027 with flag 2384860/892345
735.00/729.38	c cleaning 34999 clauses out of 70030 with flag 2510644/928345
769.27/763.65	c cleaning 35995 clauses out of 72031 with flag 2657751/965345
799.99/794.40	c cleaning 37006 clauses out of 74036 with flag 2799751/1003345
831.63/826.13	c cleaning 37997 clauses out of 76031 with flag 2948092/1042346
866.82/861.42	c cleaning 39004 clauses out of 78034 with flag 3099452/1082346
901.50/896.22	c cleaning 40000 clauses out of 80032 with flag 3265300/1123348
940.45/935.42	c cleaning 41002 clauses out of 82031 with flag 3435056/1165347
979.22/974.65	c cleaning 41996 clauses out of 84027 with flag 3615597/1208345
1018.86/1014.33	c cleaning 42997 clauses out of 86033 with flag 3798005/1252347
1052.46/1048.08	c cleaning 44009 clauses out of 88034 with flag 3965771/1297345
1086.78/1082.52	c cleaning 45011 clauses out of 90026 with flag 4092545/1343346
1100.05/1095.82	c Got one! Elapsed wall clock time (in seconds):1095.463
1100.05/1095.82	o 237
1104.15/1099.91	c cleaning 33198 clauses out of 66409 with flag 14512/1364740
1107.74/1103.51	c cleaning 19598 clauses out of 39212 with flag 30499/1370741
1112.93/1108.77	c cleaning 13299 clauses out of 26613 with flag 50675/1377740
1117.48/1113.38	c cleaning 10653 clauses out of 21316 with flag 75566/1385742
1122.78/1118.60	c cleaning 9819 clauses out of 19662 with flag 102661/1394741
1128.81/1124.65	c cleaning 9907 clauses out of 19843 with flag 131273/1404741
1134.55/1130.44	c cleaning 10462 clauses out of 20935 with flag 162144/1415740
1141.71/1137.60	c cleaning 11229 clauses out of 22473 with flag 198388/1427740
1149.18/1145.17	c cleaning 12111 clauses out of 24245 with flag 240187/1440741
1157.45/1153.49	c cleaning 13058 clauses out of 26134 with flag 285361/1454741
1165.63/1161.65	c cleaning 14028 clauses out of 28075 with flag 330580/1469740
1174.28/1170.35	c cleaning 15016 clauses out of 30048 with flag 377284/1485741
1185.16/1181.22	c cleaning 16009 clauses out of 32032 with flag 433627/1502741
1196.25/1192.35	c cleaning 17006 clauses out of 34022 with flag 493715/1520740
1207.78/1203.91	c cleaning 18000 clauses out of 36016 with flag 556405/1539740
1218.97/1215.16	c cleaning 19002 clauses out of 38017 with flag 616442/1559741
1231.12/1228.60	c cleaning 19996 clauses out of 40014 with flag 681953/1580740
1243.80/1241.33	c cleaning 21000 clauses out of 42018 with flag 749758/1602740
1256.60/1254.13	c cleaning 22002 clauses out of 44018 with flag 818298/1625740
1271.73/1269.35	c cleaning 23000 clauses out of 46016 with flag 903145/1649740
1286.80/1284.43	c cleaning 24000 clauses out of 48016 with flag 986729/1674740
1302.23/1299.95	c cleaning 24997 clauses out of 50016 with flag 1071675/1700740
1318.48/1316.27	c cleaning 25999 clauses out of 52021 with flag 1161708/1727742
1334.87/1332.63	c cleaning 27006 clauses out of 54021 with flag 1253004/1755741
1343.16/1340.95	c Got one! Elapsed wall clock time (in seconds):1340.595
1343.16/1340.95	o 230
1347.05/1344.85	c cleaning 22434 clauses out of 44889 with flag 18176/1773615
1351.62/1349.44	c cleaning 14218 clauses out of 28454 with flag 40040/1779614
1356.51/1354.38	c cleaning 10603 clauses out of 21235 with flag 64295/1786613
1362.70/1360.57	c cleaning 9298 clauses out of 18633 with flag 91929/1794614
1369.48/1367.33	c cleaning 9160 clauses out of 18336 with flag 118099/1803615
1376.66/1374.51	c cleaning 9582 clauses out of 19175 with flag 147092/1813614
1387.11/1384.35	c cleaning 10292 clauses out of 20592 with flag 174963/1824614
1395.70/1392.95	c cleaning 11146 clauses out of 22301 with flag 209193/1836615
1405.34/1402.47	c cleaning 12075 clauses out of 24154 with flag 250207/1849614
1415.24/1412.43	c cleaning 13036 clauses out of 26078 with flag 300091/1863613
1424.53/1421.78	c cleaning 14019 clauses out of 28043 with flag 354978/1878614
1433.11/1430.38	c cleaning 15004 clauses out of 30023 with flag 398118/1894613
1442.18/1439.40	c cleaning 16003 clauses out of 32020 with flag 445876/1911614
1451.85/1449.17	c cleaning 17006 clauses out of 34017 with flag 493684/1929614
1463.92/1461.29	c cleaning 17989 clauses out of 36011 with flag 544892/1948614
1480.07/1477.50	c cleaning 19006 clauses out of 38022 with flag 598633/1968614
1495.66/1493.19	c cleaning 19998 clauses out of 40015 with flag 660897/1989613
1511.66/1509.24	c cleaning 21000 clauses out of 42017 with flag 730940/2011613
1529.87/1527.52	c cleaning 21999 clauses out of 44017 with flag 797365/2034613
1543.75/1541.45	c cleaning 23007 clauses out of 46020 with flag 877094/2058615
1559.08/1556.88	c cleaning 24001 clauses out of 48012 with flag 961404/2083614
1574.07/1571.85	c cleaning 24994 clauses out of 50011 with flag 1043709/2109614
1589.59/1587.46	c cleaning 26007 clauses out of 52016 with flag 1123891/2136613
1608.86/1606.79	c cleaning 26997 clauses out of 54009 with flag 1209932/2164613
1630.74/1628.78	c cleaning 27997 clauses out of 56012 with flag 1306610/2193613
1651.08/1649.13	c cleaning 28994 clauses out of 58015 with flag 1401474/2223613
1672.53/1670.69	c cleaning 30006 clauses out of 60021 with flag 1495688/2254613
1694.17/1692.34	c cleaning 30999 clauses out of 62015 with flag 1588368/2286613
1714.21/1712.45	c cleaning 32003 clauses out of 64017 with flag 1680209/2319614
1736.38/1734.61	c cleaning 32998 clauses out of 66015 with flag 1789263/2353615
1758.80/1757.18	c cleaning 34001 clauses out of 68015 with flag 1903859/2388613
1784.82/1783.27	c cleaning 34998 clauses out of 70015 with flag 2021961/2424614
1786.22/1784.66	c Got one! Elapsed wall clock time (in seconds):1784.307
1786.22/1784.66	o 228
1788.73/1787.15	c cleaning 20028 clauses out of 40081 with flag 11533/2429678
1793.21/1791.60	c cleaning 13019 clauses out of 26053 with flag 32241/2435678
1798.37/1796.89	c cleaning 10000 clauses out of 20036 with flag 56513/2442680
1804.17/1802.63	c cleaning 9008 clauses out of 18036 with flag 83502/2450680
1810.75/1809.27	c cleaning 8991 clauses out of 18026 with flag 115088/2459678
1818.64/1817.13	c cleaning 9516 clauses out of 19038 with flag 152444/2469681
1827.08/1825.67	c cleaning 10259 clauses out of 20522 with flag 189063/2480681
1835.16/1833.80	c cleaning 11115 clauses out of 22261 with flag 226956/2492679
1835.66/1834.28	c Got one! Elapsed wall clock time (in seconds):1833.929
1835.66/1834.28	o 226
1839.05/1837.57	c cleaning 8543 clauses out of 17115 with flag 14940/2498648
1842.25/1840.79	c cleaning 7278 clauses out of 14574 with flag 32873/2504650
1845.94/1844.47	c cleaning 7137 clauses out of 14294 with flag 54052/2511648
1850.33/1848.80	c cleaning 7575 clauses out of 15158 with flag 78845/2519649
1855.65/1854.25	c cleaning 8282 clauses out of 16582 with flag 104946/2528648
1861.10/1859.77	c cleaning 9134 clauses out of 18302 with flag 132985/2538650
1870.56/1869.21	c cleaning 10083 clauses out of 20167 with flag 161094/2549649
1879.35/1878.08	c cleaning 11038 clauses out of 22084 with flag 193809/2561649
1888.67/1887.47	c cleaning 12015 clauses out of 24046 with flag 229648/2574649
1898.04/1896.88	c cleaning 13011 clauses out of 26030 with flag 268573/2588648
1908.41/1907.23	c Got one! Elapsed wall clock time (in seconds):1906.876
1908.41/1907.23	o 224
1912.56/1911.22	c cleaning 16222 clauses out of 32456 with flag 18339/2608085
1917.24/1915.93	c cleaning 11114 clauses out of 22234 with flag 34248/2614085
1924.20/1922.90	c cleaning 9053 clauses out of 18121 with flag 51884/2621086
1930.08/1928.86	c cleaning 8526 clauses out of 17067 with flag 73406/2629085
1936.57/1935.31	c cleaning 8759 clauses out of 17542 with flag 100379/2638086
1942.64/1941.49	c cleaning 9385 clauses out of 18782 with flag 132997/2648085
1949.52/1948.35	c cleaning 10193 clauses out of 20398 with flag 164778/2659086
1958.41/1957.22	c cleaning 11098 clauses out of 22204 with flag 198393/2671085
1968.49/1967.30	c cleaning 12045 clauses out of 24106 with flag 232612/2684085
1978.67/1977.66	c cleaning 13021 clauses out of 26061 with flag 275580/2698085
1990.52/1989.57	c cleaning 14020 clauses out of 28041 with flag 316550/2713086
2002.28/2001.35	c cleaning 15000 clauses out of 30020 with flag 359707/2729085
2014.15/2013.27	c cleaning 15996 clauses out of 32020 with flag 418271/2746085
2026.62/2025.77	c cleaning 17006 clauses out of 34026 with flag 479908/2764087
2039.48/2038.68	c cleaning 18002 clauses out of 36018 with flag 546617/2783085
2053.76/2053.00	c cleaning 19004 clauses out of 38016 with flag 604154/2803085
2069.80/2069.09	c cleaning 20002 clauses out of 40013 with flag 659039/2824086
2083.36/2082.66	c cleaning 21001 clauses out of 42012 with flag 731418/2846087
2097.61/2096.92	c cleaning 22000 clauses out of 44009 with flag 809111/2869085
2112.59/2112.00	c cleaning 22995 clauses out of 46010 with flag 891541/2893086
2128.03/2127.50	c cleaning 23999 clauses out of 48015 with flag 976332/2918086
2144.49/2143.93	c cleaning 25002 clauses out of 50015 with flag 1067162/2944085
2161.54/2161.09	c cleaning 26000 clauses out of 52013 with flag 1163438/2971085
2180.96/2182.05	c cleaning 27005 clauses out of 54014 with flag 1265718/2999086
2200.11/2201.29	c cleaning 27994 clauses out of 56008 with flag 1371864/3028085
2217.89/2219.10	c cleaning 29005 clauses out of 58016 with flag 1471340/3058087
2240.60/2241.87	c cleaning 30002 clauses out of 60009 with flag 1558863/3089085
2263.59/2264.83	c cleaning 30994 clauses out of 62008 with flag 1657349/3121086
2285.58/2286.97	c cleaning 31994 clauses out of 64014 with flag 1764436/3154086
2306.73/2308.14	c cleaning 33004 clauses out of 66019 with flag 1877818/3188085
2330.23/2331.70	c cleaning 34003 clauses out of 68016 with flag 1981844/3223086
2357.72/2359.44	c cleaning 35007 clauses out of 70013 with flag 2079593/3259086
2380.65/2382.52	c cleaning 35998 clauses out of 72006 with flag 2189052/3296086
2408.55/2410.55	c cleaning 36993 clauses out of 74008 with flag 2307662/3334086
2431.58/2433.68	c cleaning 38003 clauses out of 76016 with flag 2423951/3373087
2455.94/2458.01	c cleaning 39003 clauses out of 78011 with flag 2546816/3413085
2481.62/2483.85	c cleaning 39996 clauses out of 80008 with flag 2682784/3454085
2506.04/2508.39	c cleaning 40998 clauses out of 82012 with flag 2821064/3496085
2534.14/2536.46	c cleaning 42000 clauses out of 84016 with flag 2975398/3539087
2562.62/2565.18	c cleaning 42992 clauses out of 86015 with flag 3131925/3583086
2592.88/2595.60	c cleaning 44001 clauses out of 88023 with flag 3298888/3628086
2625.50/2628.21	c cleaning 44997 clauses out of 90021 with flag 3472870/3674085
2657.31/2660.14	c cleaning 46007 clauses out of 92025 with flag 3650621/3721086
2690.35/2693.43	c cleaning 47001 clauses out of 94018 with flag 3824527/3769086
2722.49/2725.78	c cleaning 47990 clauses out of 96016 with flag 3970394/3818085
2762.99/2766.53	c cleaning 49001 clauses out of 98026 with flag 4111537/3868085
2799.60/2803.20	c cleaning 50009 clauses out of 100025 with flag 4266734/3919085
2837.72/2841.52	c cleaning 51003 clauses out of 102016 with flag 4417783/3971085
2872.48/2876.47	c cleaning 52004 clauses out of 104013 with flag 4582564/4024085
2907.55/2911.79	c cleaning 53001 clauses out of 106009 with flag 4748465/4078085
2945.25/2949.45	c cleaning 53989 clauses out of 108010 with flag 4914958/4133087
2982.86/2987.19	c cleaning 54999 clauses out of 110019 with flag 5080776/4189085
3021.66/3026.09	c cleaning 55998 clauses out of 112020 with flag 5265134/4246085
3061.02/3065.54	c cleaning 57007 clauses out of 114022 with flag 5447724/4304085
3102.82/3107.56	c cleaning 58000 clauses out of 116017 with flag 5661131/4363087
3142.03/3146.80	c cleaning 59003 clauses out of 118015 with flag 5871925/4423085
3183.89/3188.85	c cleaning 60002 clauses out of 120012 with flag 6098341/4484085
3228.08/3233.11	c cleaning 60996 clauses out of 122010 with flag 6297946/4546085
3256.89/3261.97	c Got one! Elapsed wall clock time (in seconds):3261.619
3256.89/3261.98	o 223
3261.35/3266.42	c cleaning 53746 clauses out of 107521 with flag 19269/4592592
3265.54/3270.63	c cleaning 29880 clauses out of 59776 with flag 39246/4598593
3269.33/3274.46	c cleaning 18438 clauses out of 36895 with flag 60386/4605592
3273.52/3278.67	c cleaning 13225 clauses out of 26458 with flag 83218/4613593
3278.32/3283.50	c cleaning 11111 clauses out of 22232 with flag 110367/4622592
3284.11/3289.20	c cleaning 10541 clauses out of 21121 with flag 139535/4632592
3291.63/3296.78	c cleaning 10786 clauses out of 21580 with flag 170446/4643592
3301.31/3306.46	c cleaning 11391 clauses out of 22794 with flag 201885/4655592
3311.49/3316.67	c cleaning 12195 clauses out of 24403 with flag 235571/4668592
3322.16/3327.38	c cleaning 13104 clauses out of 26210 with flag 272515/4682594
3331.44/3336.65	c cleaning 14049 clauses out of 28104 with flag 318719/4697592
3337.73/3343.00	c Got one! Elapsed wall clock time (in seconds):3342.642
3337.73/3343.00	o 222
3342.13/3347.38	c cleaning 14662 clauses out of 29360 with flag 20064/4712897
3346.52/3351.70	c cleaning 10341 clauses out of 20698 with flag 38051/4718897
3350.47/3355.79	c cleaning 8675 clauses out of 17358 with flag 57266/4725898
3356.88/3362.15	c cleaning 8337 clauses out of 16682 with flag 77717/4733897
3363.06/3368.31	c cleaning 8661 clauses out of 17345 with flag 102758/4742897
3369.54/3374.89	c cleaning 9331 clauses out of 18684 with flag 130309/4752897
3376.66/3382.02	c cleaning 10169 clauses out of 20356 with flag 160272/4763900
3385.52/3390.93	c cleaning 11090 clauses out of 22187 with flag 197493/4775900
3393.41/3398.87	c cleaning 12038 clauses out of 24094 with flag 234347/4788897
3401.71/3407.13	c cleaning 13019 clauses out of 26057 with flag 276201/4802898
3411.41/3416.96	c cleaning 14013 clauses out of 28037 with flag 320223/4817897
3420.90/3426.41	c cleaning 15003 clauses out of 30025 with flag 373336/4833898
3430.38/3435.93	c cleaning 16000 clauses out of 32021 with flag 422725/4850897
3442.29/3447.95	c cleaning 17005 clauses out of 34021 with flag 478915/4868897
3452.97/3458.66	c cleaning 18005 clauses out of 36016 with flag 535275/4887897
3464.50/3470.22	c cleaning 18999 clauses out of 38012 with flag 596448/4907898
3476.48/3482.23	c cleaning 19994 clauses out of 40012 with flag 658982/4928897
3490.49/3496.32	c cleaning 21003 clauses out of 42019 with flag 724454/4950898
3505.00/3510.99	c cleaning 22001 clauses out of 44015 with flag 797091/4973897
3518.52/3524.57	c cleaning 23006 clauses out of 46015 with flag 866288/4997898
3532.80/3538.88	c cleaning 23998 clauses out of 48008 with flag 940749/5022897
3548.74/3555.01	c cleaning 24999 clauses out of 50012 with flag 1021687/5048899
3563.14/3569.39	c cleaning 25999 clauses out of 52012 with flag 1096011/5075898
3579.21/3585.46	c cleaning 27002 clauses out of 54012 with flag 1180107/5103897
3596.78/3603.18	c cleaning 27996 clauses out of 56012 with flag 1268722/5132899
3600.05/3606.44	c starts		: 9882
3600.05/3606.47	c conflicts		: 5137403
3600.05/3606.48	c decisions		: 6490382
3600.05/3606.48	c propagations		: 726234257
3600.05/3606.48	c inspects		: 33948563864
3600.05/3606.48	c shortcuts		: 0
3600.05/3606.48	c learnt literals	: 1
3600.05/3606.48	c learnt binary clauses	: 16
3600.05/3606.48	c learnt ternary clauses	: 87
3600.05/3606.48	c learnt constraints	: 5137402
3600.05/3606.48	c ignored constraints	: 0
3600.05/3606.48	c root simplifications	: 0
3600.05/3606.48	c removed literals (reason simplification)	: 33321856
3600.05/3606.48	c reason swapping (by a shorter reason)	: 0
3600.05/3606.48	c Calls to reduceDB	: 240
3600.05/3606.49	c Number of update (reduction) of LBD	: 928358
3600.05/3606.49	c Imported unit clauses	: 0
3600.05/3606.49	c No decision after first conflict	: false
3600.05/3606.49	c number of reductions to clauses (during analyze)	: 0
3600.05/3606.49	c number of learned constraints concerned by reduction	: 0
3600.05/3606.49	c number of learning phase by resolution	: 0
3600.05/3606.50	c number of learning phase by cutting planes	: 0
3600.05/3606.50	c number of rounding to 1 operations	: 0
3600.05/3606.50	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3606.50	c number of reductions of the coefficients by power 2 	: 0
3600.05/3606.50	c number of right shift for reduction by power 2 	: 0
3600.05/3606.50	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3606.50	c number of ending skipping 	: 0
3600.05/3606.50	c number of internal skipping 	: 0
3600.05/3606.50	c number of derivation steps 	: 0
3600.05/3606.50	c number of skipped derivation steps 	: 0
3600.05/3606.50	c number of remaining unassigned 	: 0
3600.05/3606.50	c number of remaining assigned 	: 0
3600.05/3606.50	c number of falsified literals weakened from reason	: 0
3600.25/3606.50	c number of falsified literals weakened from conflict	: 0
3600.25/3606.50	c time for arithmetic operations	: 0
3600.25/3606.50	c minimum degree of deleted constraints	: null
3600.25/3606.50	c maximum degree of deleted constraints	: null
3600.25/3606.50	c number of deleted constraints	: 0
3600.25/3606.51	c speed (assignments/second)	: 201438.75657515903
3600.25/3606.52	c non guided choices	: 53379
3600.25/3606.53	Exception in thread "Thread-0" java.lang.NullPointerException: Cannot invoke "org.sat4j.specs.Constr.getClass()" because the return value of "java.util.Iterator.next()" is null
3600.25/3606.54		at org.sat4j.minisat.core.Solver.printLearntClausesInfos(Solver.java:1984)
3600.25/3606.54		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2130)
3600.25/3606.54		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2121)
3600.25/3606.54		at org.sat4j.tools.SolverDecorator.printStat(SolverDecorator.java:181)
3600.25/3606.54		at org.sat4j.OptimizationMode.displayResult(OptimizationMode.java:93)
3600.25/3606.54		at org.sat4j.AbstractLauncher.displayResult(AbstractLauncher.java:122)
3600.25/3606.54		at org.sat4j.AbstractLauncher$1.run(AbstractLauncher.java:91)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4491401-1751386583/watcher-4491401-1751386583 -o /tmp/evaluation-result-4491401-1751386583/solver-4491401-1751386583 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751386581-53122 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4491401-1751386583 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4491401-1751386583.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=53407, runsolver pid=53395

[startup+0.100071 s]*
/proc/loadavg: 0.52 1.34 2.66 10/323 53446
/proc/meminfo: memFree=129690456/131382112 swapFree=33010160/33010684
[pid=53407] ppid=53395 vsize=18930384 memory=47104 CPUtime=0.1 cores=5,7
/proc/53407/stat : 53407 (java) S 53395 53407 53106 0 -1 4194304 5667 0 0 0 7 3 0 0 20 0 18 0 54337249 19384713216 11776 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
/proc/53407/statm: 4732596 11776 5080 1 0 546884 0
[pid=53407/tid=53420] ppid=53395 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=5,7
/proc/53407/task/53420/stat : 53420 (java) R 53395 53407 53106 0 -1 4194368 4586 0 0 0 4 2 0 0 20 0 18 0 54337252 19384713216 11776 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53439] ppid=53395 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/53407/task/53439/stat : 53439 (Finalizer) S 53395 53407 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54337256 19384713216 11808 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53446] ppid=53395 vsize=18930384 memory=61792617516369 CPUtime=0 cores=5,7
/proc/53407/task/53446/stat : 53446 (Common-Cleaner) S 53395 53407 53106 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 54337257 19384713216 11808 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 47104 KiB

[startup+0.214055 s]*
/proc/loadavg: 0.52 1.34 2.66 8/323 53446
/proc/meminfo: memFree=129680552/131382112 swapFree=33010160/33010684
[pid=53407] ppid=53395 vsize=18930384 memory=51072 CPUtime=0.26 cores=5,7
/proc/53407/stat : 53407 (java) S 53395 53407 53106 0 -1 4194304 6427 0 0 0 22 4 0 0 20 0 18 0 54337249 19384713216 12768 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
/proc/53407/statm: 4732596 12768 5336 1 0 547513 0
[pid=53407/tid=53420] ppid=53395 vsize=18930384 memory=4026663196 CPUtime=0.16 cores=5,7
/proc/53407/task/53420/stat : 53420 (java) R 53395 53407 53106 0 -1 4194368 4963 0 0 0 13 3 0 0 20 0 18 0 54337252 19384713216 12768 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53439] ppid=53395 vsize=18930384 memory=1593 CPUtime=0 cores=5,7
/proc/53407/task/53439/stat : 53439 (Finalizer) S 53395 53407 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54337256 19384713216 12768 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53446] ppid=53395 vsize=18930384 memory=60693105869820 CPUtime=0 cores=5,7
/proc/53407/task/53446/stat : 53446 (Common-Cleaner) S 53395 53407 53106 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 54337257 19384713216 12768 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51072 KiB

[startup+0.313916 s]*
/proc/loadavg: 0.52 1.34 2.66 11/323 53446
/proc/meminfo: memFree=129675700/131382112 swapFree=33010160/33010684
[pid=53407] ppid=53395 vsize=18930384 memory=58276 CPUtime=0.42 cores=5,7
/proc/53407/stat : 53407 (java) S 53395 53407 53106 0 -1 4194304 6707 0 0 0 37 5 0 0 20 0 18 0 54337249 19384713216 14569 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
/proc/53407/statm: 4732596 14569 5336 1 0 547712 0
[pid=53407/tid=53420] ppid=53395 vsize=18930384 memory=-6000919485524437354 CPUtime=0.24 cores=5,7
/proc/53407/task/53420/stat : 53420 (java) R 53395 53407 53106 0 -1 4194368 5134 0 0 0 21 3 0 0 20 0 18 0 54337252 19384713216 14569 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53439] ppid=53395 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/53407/task/53439/stat : 53439 (Finalizer) S 53395 53407 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54337256 19384713216 14569 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53446] ppid=53395 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/53407/task/53446/stat : 53446 (Common-Cleaner) S 53395 53407 53106 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 54337257 19384713216 14569 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58276 KiB

[startup+0.700306 s]
/proc/loadavg: 0.52 1.34 2.66 10/323 53446
/proc/meminfo: memFree=129654592/131382112 swapFree=33010160/33010684
[pid=53407] ppid=53395 vsize=18930384 memory=105768 CPUtime=1.13 cores=5,7
/proc/53407/stat : 53407 (java) S 53395 53407 53106 0 -1 4194304 8691 0 0 0 105 8 0 0 20 0 18 0 54337249 19384713216 26442 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
/proc/53407/statm: 4732596 26442 5432 1 0 549100 0
[pid=53407/tid=53420] ppid=53395 vsize=18930384 memory=17792 CPUtime=0.56 cores=5,7
/proc/53407/task/53420/stat : 53420 (java) R 53395 53407 53106 0 -1 4194368 5281 0 0 0 52 4 0 0 20 0 18 0 54337252 19384713216 26442 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53439] ppid=53395 vsize=18930384 memory=11264 CPUtime=0 cores=5,7
/proc/53407/task/53439/stat : 53439 (Finalizer) S 53395 53407 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54337256 19384713216 26442 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53446] ppid=53395 vsize=18930384 memory=3200 CPUtime=0 cores=5,7
/proc/53407/task/53446/stat : 53446 (Common-Cleaner) S 53395 53407 53106 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 54337257 19384713216 26442 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 105768 KiB

[startup+1.50029 s]
/proc/loadavg: 0.52 1.34 2.66 8/304 53459
/proc/meminfo: memFree=129501092/131382112 swapFree=33010160/33010684
[pid=53407] ppid=53395 vsize=19063512 memory=174752 CPUtime=2.68 cores=5,7
/proc/53407/stat : 53407 (java) S 53395 53407 53106 0 -1 4194304 19175 0 0 0 256 12 0 0 20 0 20 0 54337249 19521036288 43688 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
/proc/53407/statm: 4765878 43688 5528 1 0 553463 0
[pid=53407/tid=53420] ppid=53395 vsize=19063512 memory=3200 CPUtime=1.22 cores=5,7
/proc/53407/task/53420/stat : 53420 (java) R 53395 53407 53106 0 -1 4194368 7596 0 0 0 116 6 0 0 20 0 20 0 54337252 19521036288 43688 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53439] ppid=53395 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/53407/task/53439/stat : 53439 (Finalizer) S 53395 53407 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54337256 19521036288 43688 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53446] ppid=53395 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/53407/task/53446/stat : 53446 (Common-Cleaner) S 53395 53407 53106 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 54337257 19521036288 43688 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
Current children cumulated CPU time: 2.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 174752 KiB

[startup+3.1058 s]
/proc/loadavg: 1.04 1.43 2.68 7/328 53517
/proc/meminfo: memFree=129389776/131382112 swapFree=33010160/33010684
[pid=53407] ppid=53395 vsize=19063512 memory=177824 CPUtime=5.17 cores=5,7
/proc/53407/stat : 53407 (java) S 53395 53407 53106 0 -1 4194304 20705 0 0 0 504 13 0 0 20 0 20 0 54337249 19521036288 44456 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
/proc/53407/statm: 4765878 44456 5528 1 0 553692 0
[pid=53407/tid=53420] ppid=53395 vsize=19063512 memory=11264 CPUtime=2.8 cores=5,7
/proc/53407/task/53420/stat : 53420 (java) R 53395 53407 53106 0 -1 4194368 7959 0 0 0 273 7 0 0 20 0 20 0 54337252 19521036288 44456 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53439] ppid=53395 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/53407/task/53439/stat : 53439 (Finalizer) S 53395 53407 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54337256 19521036288 44456 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53446] ppid=53395 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/53407/task/53446/stat : 53446 (Common-Cleaner) S 53395 53407 53106 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 54337257 19521036288 44456 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53466] ppid=53395 vsize=19063512 memory=4252 CPUtime=0 cores=5,7
/proc/53407/task/53466/stat : 53466 (Timer-0) S 53395 53407 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54337376 19521036288 44456 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
Current children cumulated CPU time: 5.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 177824 KiB

[startup+6.30028 s]
/proc/loadavg: 1.04 1.43 2.68 6/329 53518
/proc/meminfo: memFree=129198840/131382112 swapFree=33010160/33010684
[pid=53407] ppid=53395 vsize=19063512 memory=181436 CPUtime=10.01 cores=5,7
/proc/53407/stat : 53407 (java) S 53395 53407 53106 0 -1 4194304 22463 0 0 0 987 14 0 0 20 0 20 0 54337249 19521036288 45359 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
/proc/53407/statm: 4765878 45359 5528 1 0 553789 0
[pid=53407/tid=53420] ppid=53395 vsize=19063512 memory=0 CPUtime=5.97 cores=5,7
/proc/53407/task/53420/stat : 53420 (java) R 53395 53407 53106 0 -1 4194368 8220 0 0 0 590 7 0 0 20 0 20 0 54337252 19521036288 45359 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53439] ppid=53395 vsize=19063512 memory=-6000919485524437354 CPUtime=0 cores=5,7
/proc/53407/task/53439/stat : 53439 (Finalizer) S 53395 53407 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54337256 19521036288 45359 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53446] ppid=53395 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/53407/task/53446/stat : 53446 (Common-Cleaner) S 53395 53407 53106 0 -1 4194368 36 0 0 0 0 0 0 0 20 0 20 0 54337257 19521036288 45359 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53466] ppid=53395 vsize=19063512 memory=33 CPUtime=0 cores=5,7
/proc/53407/task/53466/stat : 53466 (Timer-0) S 53395 53407 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54337376 19521036288 45359 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
Current children cumulated CPU time: 10.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 181436 KiB

[startup+12.7004 s]
/proc/loadavg: 1.50 1.52 2.70 5/329 53518
/proc/meminfo: memFree=128422876/131382112 swapFree=33010160/33010684
[pid=53407] ppid=53395 vsize=19063512 memory=189904 CPUtime=16.86 cores=5,7
/proc/53407/stat : 53407 (java) S 53395 53407 53106 0 -1 4194304 28007 0 0 0 1670 16 0 0 20 0 20 0 54337249 19521036288 47476 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
/proc/53407/statm: 4765878 47476 5528 1 0 553789 0
[pid=53407/tid=53420] ppid=53395 vsize=19063512 memory=4252 CPUtime=12.3 cores=5,7
/proc/53407/task/53420/stat : 53420 (java) R 53395 53407 53106 0 -1 4194368 9013 0 0 0 1222 8 0 0 20 0 20 0 54337252 19521036288 47476 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53439] ppid=53395 vsize=19063512 memory=189904 CPUtime=0 cores=5,7
/proc/53407/task/53439/stat : 53439 (Finalizer) S 53395 53407 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54337256 19521036288 47476 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53446] ppid=53395 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/53407/task/53446/stat : 53446 (Common-Cleaner) S 53395 53407 53106 0 -1 4194368 69 0 0 0 0 0 0 0 20 0 20 0 54337257 19521036288 47476 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53466] ppid=53395 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/53407/task/53466/stat : 53466 (Timer-0) S 53395 53407 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54337376 19521036288 47476 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
Current children cumulated CPU time: 16.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 189904 KiB

[startup+25.5005 s]
/proc/loadavg: 1.88 1.60 2.71 5/329 53518
/proc/meminfo: memFree=127568036/131382112 swapFree=33010160/33010684
[pid=53407] ppid=53395 vsize=19063512 memory=278920 CPUtime=30.7 cores=5,7
/proc/53407/stat : 53407 (java) S 53395 53407 53106 0 -1 4194304 34944 0 0 0 3048 22 0 0 20 0 20 0 54337249 19521036288 69730 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
/proc/53407/statm: 4765878 69730 5528 1 0 553805 0
[pid=53407/tid=53420] ppid=53395 vsize=19063512 memory=11264 CPUtime=25.03 cores=5,7
/proc/53407/task/53420/stat : 53420 (java) R 53395 53407 53106 0 -1 4194368 10816 0 0 0 2493 10 0 0 20 0 20 0 54337252 19521036288 69730 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53439] ppid=53395 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/53407/task/53439/stat : 53439 (Finalizer) S 53395 53407 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54337256 19521036288 69730 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53446] ppid=53395 vsize=19063512 memory=239880 CPUtime=0 cores=5,7
/proc/53407/task/53446/stat : 53446 (Common-Cleaner) S 53395 53407 53106 0 -1 4194368 69 0 0 0 0 0 0 0 20 0 20 0 54337257 19521036288 69730 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53466] ppid=53395 vsize=19063512 memory=181436 CPUtime=0 cores=5,7
/proc/53407/task/53466/stat : 53466 (Timer-0) S 53395 53407 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54337376 19521036288 69730 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
Current children cumulated CPU time: 30.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 278920 KiB

[startup+51.1137 s]
/proc/loadavg: 2.61 1.79 2.75 5/332 53522
/proc/meminfo: memFree=126600040/131382112 swapFree=33010160/33010684
[pid=53407] ppid=53395 vsize=19063512 memory=414736 CPUtime=56.54 cores=5,7
/proc/53407/stat : 53407 (java) S 53395 53407 53106 0 -1 4194304 40376 0 0 0 5625 29 0 0 20 0 20 0 54337249 19521036288 103684 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
/proc/53407/statm: 4765878 103684 5528 1 0 553805 0
[pid=53407/tid=53420] ppid=53395 vsize=19063512 memory=181436 CPUtime=50.38 cores=5,7
/proc/53407/task/53420/stat : 53420 (java) R 53395 53407 53106 0 -1 4194368 11488 0 0 0 5023 15 0 0 20 0 20 0 54337252 19521036288 103684 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53439] ppid=53395 vsize=19063512 memory=414736 CPUtime=0 cores=5,7
/proc/53407/task/53439/stat : 53439 (Finalizer) S 53395 53407 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54337256 19521036288 103684 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53446] ppid=53395 vsize=19063512 memory=414736 CPUtime=0 cores=5,7
/proc/53407/task/53446/stat : 53446 (Common-Cleaner) S 53395 53407 53106 0 -1 4194368 89 0 0 0 0 0 0 0 20 0 20 0 54337257 19521036288 103684 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53466] ppid=53395 vsize=19063512 memory=-6000919485524437354 CPUtime=0 cores=5,7

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

[startup+3282.3 s]
/proc/loadavg: 4.11 4.15 4.10 5/330 53765
/proc/meminfo: memFree=116156104/131382112 swapFree=33010160/33010684
[pid=53407] ppid=53395 vsize=19063512 memory=1874428 CPUtime=3277.22 cores=5,7
/proc/53407/stat : 53407 (java) S 53395 53407 53106 0 -1 4194304 110452 0 0 0 327253 469 0 0 20 0 20 0 54337249 19521036288 468607 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
/proc/53407/statm: 4765878 468607 5528 1 0 556029 0
[pid=53407/tid=53420] ppid=53395 vsize=19063512 memory=14720 CPUtime=3257.61 cores=5,7
/proc/53407/task/53420/stat : 53420 (java) R 53395 53407 53106 0 -1 4194368 42450 0 0 0 325476 285 0 0 20 0 20 0 54337252 19521036288 468607 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53439] ppid=53395 vsize=19063512 memory=1874428 CPUtime=0 cores=5,7
/proc/53407/task/53439/stat : 53439 (Finalizer) S 53395 53407 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54337256 19521036288 468607 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53446] ppid=53395 vsize=19063512 memory=-6000919485524437354 CPUtime=0 cores=5,7
/proc/53407/task/53446/stat : 53446 (Common-Cleaner) S 53395 53407 53106 0 -1 4194368 1772 0 0 0 0 0 0 0 20 0 20 0 54337257 19521036288 468607 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53466] ppid=53395 vsize=19063512 memory=1874428 CPUtime=0 cores=5,7
/proc/53407/task/53466/stat : 53466 (Timer-0) S 53395 53407 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54337376 19521036288 468607 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
Current children cumulated CPU time: 3277.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1874428 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.17 4.11 5/329 53767
/proc/meminfo: memFree=115943584/131382112 swapFree=33010160/33010684
[pid=53407] ppid=53395 vsize=19063512 memory=1907208 CPUtime=3337.12 cores=5,7
/proc/53407/stat : 53407 (java) S 53395 53407 53106 0 -1 4194304 111808 0 0 0 333235 477 0 0 20 0 20 0 54337249 19521036288 476802 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
/proc/53407/statm: 4765878 476802 5528 1 0 556029 0
[pid=53407/tid=53420] ppid=53395 vsize=19063512 memory=17792 CPUtime=3317.34 cores=5,7
/proc/53407/task/53420/stat : 53420 (java) R 53395 53407 53106 0 -1 4194368 43274 0 0 0 331444 290 0 0 20 0 20 0 54337252 19521036288 476802 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53439] ppid=53395 vsize=19063512 memory=1907208 CPUtime=0 cores=5,7
/proc/53407/task/53439/stat : 53439 (Finalizer) S 53395 53407 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54337256 19521036288 476802 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53446] ppid=53395 vsize=19063512 memory=17792 CPUtime=0 cores=5,7
/proc/53407/task/53446/stat : 53446 (Common-Cleaner) S 53395 53407 53106 0 -1 4194368 1773 0 0 0 0 0 0 0 20 0 20 0 54337257 19521036288 476802 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53466] ppid=53395 vsize=19063512 memory=1907208 CPUtime=0 cores=5,7
/proc/53407/task/53466/stat : 53466 (Timer-0) S 53395 53407 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54337376 19521036288 476802 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
Current children cumulated CPU time: 3337.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1907208 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/328 53769
/proc/meminfo: memFree=115796432/131382112 swapFree=33010160/33010684
[pid=53407] ppid=53395 vsize=19063512 memory=1907208 CPUtime=3396.91 cores=5,7
/proc/53407/stat : 53407 (java) S 53395 53407 53106 0 -1 4194304 113454 0 0 0 339205 486 0 0 20 0 20 0 54337249 19521036288 476802 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
/proc/53407/statm: 4765878 476802 5528 1 0 556029 0
[pid=53407/tid=53420] ppid=53395 vsize=19063512 memory=1907208 CPUtime=3376.91 cores=5,7
/proc/53407/task/53420/stat : 53420 (java) R 53395 53407 53106 0 -1 4194368 44240 0 0 0 337396 295 0 0 20 0 20 0 54337252 19521036288 476802 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53439] ppid=53395 vsize=19063512 memory=1907208 CPUtime=0 cores=5,7
/proc/53407/task/53439/stat : 53439 (Finalizer) S 53395 53407 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54337256 19521036288 476802 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53446] ppid=53395 vsize=19063512 memory=1907208 CPUtime=0 cores=5,7
/proc/53407/task/53446/stat : 53446 (Common-Cleaner) S 53395 53407 53106 0 -1 4194368 1814 0 0 0 0 0 0 0 20 0 20 0 54337257 19521036288 476802 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53466] ppid=53395 vsize=19063512 memory=-6000919485524437354 CPUtime=0 cores=5,7
/proc/53407/task/53466/stat : 53466 (Timer-0) S 53395 53407 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54337376 19521036288 476802 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
Current children cumulated CPU time: 3396.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1907208 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.15 4.10 5/328 53771
/proc/meminfo: memFree=115624216/131382112 swapFree=33010160/33010684
[pid=53407] ppid=53395 vsize=19063512 memory=1907208 CPUtime=3456.66 cores=5,7
/proc/53407/stat : 53407 (java) S 53395 53407 53106 0 -1 4194304 113623 0 0 0 345173 493 0 0 20 0 20 0 54337249 19521036288 476802 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
/proc/53407/statm: 4765878 476802 5528 1 0 556029 0
[pid=53407/tid=53420] ppid=53395 vsize=19063512 memory=1907208 CPUtime=3436.47 cores=5,7
/proc/53407/task/53420/stat : 53420 (java) R 53395 53407 53106 0 -1 4194368 44398 0 0 0 343347 300 0 0 20 0 20 0 54337252 19521036288 476802 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53439] ppid=53395 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/53407/task/53439/stat : 53439 (Finalizer) S 53395 53407 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54337256 19521036288 476802 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53446] ppid=53395 vsize=19063512 memory=1907208 CPUtime=0 cores=5,7
/proc/53407/task/53446/stat : 53446 (Common-Cleaner) S 53395 53407 53106 0 -1 4194368 1814 0 0 0 0 0 0 0 20 0 20 0 54337257 19521036288 476802 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53466] ppid=53395 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/53407/task/53466/stat : 53466 (Timer-0) S 53395 53407 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54337376 19521036288 476802 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
Current children cumulated CPU time: 3456.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1907208 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.13 4.10 5/328 53773
/proc/meminfo: memFree=115503732/131382112 swapFree=33010160/33010684
[pid=53407] ppid=53395 vsize=19063512 memory=1907208 CPUtime=3516.33 cores=5,7
/proc/53407/stat : 53407 (java) S 53395 53407 53106 0 -1 4194304 114807 0 0 0 351132 501 0 0 20 0 20 0 54337249 19521036288 476802 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
/proc/53407/statm: 4765878 476802 5528 1 0 556029 0
[pid=53407/tid=53420] ppid=53395 vsize=19063512 memory=1907208 CPUtime=3495.94 cores=5,7
/proc/53407/task/53420/stat : 53420 (java) R 53395 53407 53106 0 -1 4194368 45369 0 0 0 349289 305 0 0 20 0 20 0 54337252 19521036288 476802 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53439] ppid=53395 vsize=19063512 memory=1907208 CPUtime=0 cores=5,7
/proc/53407/task/53439/stat : 53439 (Finalizer) S 53395 53407 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54337256 19521036288 476802 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53446] ppid=53395 vsize=19063512 memory=1907208 CPUtime=0 cores=5,7
/proc/53407/task/53446/stat : 53446 (Common-Cleaner) S 53395 53407 53106 0 -1 4194368 1911 0 0 0 0 0 0 0 20 0 20 0 54337257 19521036288 476802 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53466] ppid=53395 vsize=19063512 memory=1907208 CPUtime=0 cores=5,7
/proc/53407/task/53466/stat : 53466 (Timer-0) S 53395 53407 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54337376 19521036288 476802 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
Current children cumulated CPU time: 3516.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1907208 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/328 53775
/proc/meminfo: memFree=115360604/131382112 swapFree=33010160/33010684
[pid=53407] ppid=53395 vsize=19063512 memory=1907208 CPUtime=3576.11 cores=5,7
/proc/53407/stat : 53407 (java) S 53395 53407 53106 0 -1 4194304 116092 0 0 0 357102 509 0 0 20 0 20 0 54337249 19521036288 476802 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
/proc/53407/statm: 4765878 476802 5528 1 0 556029 0
[pid=53407/tid=53420] ppid=53395 vsize=19063512 memory=4252 CPUtime=3555.57 cores=5,7
/proc/53407/task/53420/stat : 53420 (java) R 53395 53407 53106 0 -1 4194368 46207 0 0 0 355247 310 0 0 20 0 20 0 54337252 19521036288 476802 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53439] ppid=53395 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=5,7
/proc/53407/task/53439/stat : 53439 (Finalizer) S 53395 53407 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54337256 19521036288 476802 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53446] ppid=53395 vsize=19063512 memory=2764 CPUtime=0 cores=5,7
/proc/53407/task/53446/stat : 53446 (Common-Cleaner) S 53395 53407 53106 0 -1 4194368 1914 0 0 0 0 0 0 0 20 0 20 0 54337257 19521036288 476802 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53466] ppid=53395 vsize=19063512 memory=1907208 CPUtime=0 cores=5,7
/proc/53407/task/53466/stat : 53466 (Timer-0) S 53395 53407 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54337376 19521036288 476802 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
Current children cumulated CPU time: 3576.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1907208 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3606.4 s]
/proc/loadavg: 4.13 4.13 4.09 7/310 53804
/proc/meminfo: memFree=117252428/131382112 swapFree=33010160/33010684
[pid=53407] ppid=53395 vsize=19063512 memory=1907208 CPUtime=3600.05 cores=5,7
/proc/53407/stat : 53407 (java) S 53395 53407 53106 0 -1 4194304 116413 0 0 0 359491 514 0 0 20 0 20 0 54337249 19521036288 476802 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
/proc/53407/statm: 4765878 476802 5528 1 0 556029 0
[pid=53407/tid=53420] ppid=53395 vsize=19063512 memory=1907208 CPUtime=3579.49 cores=5,7
/proc/53407/task/53420/stat : 53420 (java) R 53395 53407 53106 0 -1 4194368 46521 0 0 0 357636 313 0 0 20 0 20 0 54337252 19521036288 476802 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53439] ppid=53395 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/53407/task/53439/stat : 53439 (Finalizer) S 53395 53407 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54337256 19521036288 476802 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53446] ppid=53395 vsize=19063512 memory=17792 CPUtime=0 cores=5,7
/proc/53407/task/53446/stat : 53446 (Common-Cleaner) S 53395 53407 53106 0 -1 4194368 1914 0 0 0 0 0 0 0 20 0 20 0 54337257 19521036288 476802 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53466] ppid=53395 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/53407/task/53466/stat : 53466 (Timer-0) S 53395 53407 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54337376 19521036288 476802 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1907208 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.18 s, system=5.16752 s

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

[startup+3606.51 s]
/proc/loadavg: 4.13 4.13 4.09 7/310 53804
/proc/meminfo: memFree=117252428/131382112 swapFree=33010160/33010684
[pid=53407] ppid=53395 vsize=19263204 memory=1908104 CPUtime=3600.25 cores=5,7
/proc/53407/stat : 53407 (java) S 53395 53407 53106 0 -1 4194304 118903 0 0 0 359511 514 0 0 20 0 21 0 54337249 19725520896 477026 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
/proc/53407/statm: 4815801 477026 5560 1 0 556981 0
[pid=53407/tid=53420] ppid=53395 vsize=19263204 memory=17792 CPUtime=3579.6 cores=5,7
/proc/53407/task/53420/stat : 53420 (java) R 53395 53407 53106 0 -1 4194368 46706 0 0 0 357647 313 0 0 20 0 21 0 54337252 19725520896 477026 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53439] ppid=53395 vsize=19263204 memory=1907208 CPUtime=0 cores=5,7
/proc/53407/task/53439/stat : 53439 (Finalizer) S 53395 53407 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 54337256 19725520896 477026 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
[pid=53407/tid=53446] ppid=53395 vsize=19263204 memory=11264 CPUtime=0 cores=5,7
/proc/53407/task/53446/stat : 53446 (Common-Cleaner) S 53395 53407 53106 0 -1 4194368 1914 0 0 0 0 0 0 0 20 0 21 0 54337257 19725520896 477026 18446744073709551615 94253063225344 94253063229040 140734872042832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94253063236856 94253063237648 94253093969920 140734872049968 140734872050150 140734872050150 140734872055752 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1908104 KiB

Child status: 143

Real time (s): 3606.57
CPU time (s): 3600.35
CPU user time (s): 3595.18
CPU system time (s): 5.16752
CPU usage (%): 99.8274
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 1908104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.18
system time used= 5.16752
maximum resident set size= 1908232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119274
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3161824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108191
involuntary context switches= 17199


# summary of solver processes directly reported to runsolver:
#   pid: 53407
#   total CPU time (s): 3600.35
#   total CPU user time (s): 3595.18
#   total CPU system time (s): 5.16752

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.0004 second user time and 34.6046 second system time

The end

Launcher Data

Begin job on nodeC001 at 2025-07-01 18:16:24
IDJOB=4491401
IDBENCH=147704
IDSOLVER=3364
FILE ID=nodeC001/4491401-1751386583
RUNJOBID= nodeC001-1751386581-53122
SLURM_JOB_ID= 9598248
Free space on /tmp= 433052 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_16.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4491401-1751386583/watcher-4491401-1751386583 -o /tmp/evaluation-result-4491401-1751386583/solver-4491401-1751386583 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751386581-53122 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4491401-1751386583 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4491401-1751386583.opb

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

MD5SUM BENCH= 0c97dedf99f03a2f12057daa91676c25
RANDOM SEED=1840681181

nodeC001 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		: 1197.194
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.49
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		: 3491.742
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.49
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.157
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.49
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		: 3491.742
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.49
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.225
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.49
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		: 1197.172
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.49
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		: 1197.169
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.49
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		: 1197.312
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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129745400 kB
MemAvailable:   129783112 kB
Buffers:            2128 kB
Cached:           841656 kB
SwapCached:           28 kB
Active:           526360 kB
Inactive:         542056 kB
Active(anon):     232220 kB
Inactive(anon):    10380 kB
Active(file):     294140 kB
Inactive(file):   531676 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              8664 kB
Writeback:             0 kB
AnonPages:        227832 kB
Mapped:           122600 kB
Shmem:             17932 kB
KReclaimable:     102664 kB
Slab:             186280 kB
SReclaimable:     102664 kB
SUnreclaim:        83616 kB
KernelStack:        4336 kB
PageTables:         3616 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    2575348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149656 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    118784 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:      195400 kB
DirectMap2M:     9144320 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433044 MiB
End job on nodeC001 at 2025-07-01 19:16:30