Trace number 4517299

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.27 3613.44

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-16arraycomm_teq_tvars_greater.opb
MD5SUM87f67814fd1a58888c5941928a1532df
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.013405
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1568
Total number of constraints833
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints833
Minimum length of a constraint2
Maximum length of a constraint64
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 2147483648
Number of bits of the biggest number in a constraint 32
Biggest sum of numbers in a constraint 8589934591
Number of bits of the biggest sum of numbers33
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.10/0.20	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.10/0.20	c This is free software under the dual EPL/GNU LGPL licenses.
0.10/0.20	c See www.sat4j.org for details.
0.10/0.21	c version PB25.v20250606
0.25/0.24	c java.runtime.name	OpenJDK Runtime Environment
0.25/0.24	c java.vm.name		OpenJDK 64-Bit Server VM
0.25/0.24	c java.vm.version	22.0.1+8-16
0.25/0.24	c java.vm.vendor	Oracle Corporation
0.25/0.24	c sun.arch.data.model	64
0.25/0.24	c java.version		22.0.1
0.25/0.24	c os.name		Linux
0.25/0.24	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.25/0.24	c os.arch		amd64
0.25/0.25	c Free memory 		2104792832
0.25/0.25	c Max memory 		16282288128
0.25/0.25	c Total memory 		2113929216
0.25/0.26	c Number of processors 	2
0.41/0.37	c Pseudo Boolean Optimization by upper bound
0.41/0.37	c --- Begin Solver configuration ---
0.41/0.37	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.41/0.37	c Learn all clauses as in MiniSAT
0.41/0.37	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.41/0.37	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.41/0.37	c Expensive reason simplification
0.41/0.37	c Glucose 2.1 dynamic restart strategy
0.41/0.37	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.41/0.37	c timeout=2147483s
0.41/0.37	c DB Simplification allowed=false
0.41/0.37	c Listener: none
0.41/0.37	c --- End Solver configuration ---
0.41/0.37	c solving HOME/instance-4517299-1751243585.opb
0.41/0.37	c reading problem ... 
0.41/0.38	c using VERIPB proof format
0.41/0.39	c  no objective function found
0.80/0.57	c ... done. Wall clock time 0.197s.
0.80/0.57	c declared #vars     1568
0.80/0.57	c #constraints  1665
0.80/0.57	c constraints type 
0.80/0.57	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 704
0.80/0.57	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 961
0.80/0.57	c 1665 constraints processed.
2.67/1.57	c cleaning 2497 clauses out of 5002 with flag 30237/5002
3.47/2.00	c cleaning 4240 clauses out of 8503 with flag 67117/11000
4.25/2.32	c cleaning 5621 clauses out of 11264 with flag 108841/18001
4.85/2.62	c cleaning 6815 clauses out of 13642 with flag 161521/26000
5.38/2.90	c cleaning 7911 clauses out of 15829 with flag 214136/35002
5.79/3.27	c cleaning 8945 clauses out of 17920 with flag 284261/45004
6.48/3.65	c cleaning 9973 clauses out of 19972 with flag 349682/56001
7.10/4.13	c cleaning 10978 clauses out of 22001 with flag 435646/68003
7.59/4.68	c cleaning 11977 clauses out of 24021 with flag 524966/81001
8.11/5.12	c cleaning 13009 clauses out of 26043 with flag 608881/95000
8.76/5.85	c cleaning 13998 clauses out of 28034 with flag 699832/110000
9.38/6.49	c cleaning 14985 clauses out of 30036 with flag 795215/126000
10.17/7.13	c cleaning 16000 clauses out of 32053 with flag 908841/143002
11.14/8.10	c cleaning 16998 clauses out of 34051 with flag 1045253/161000
12.08/8.81	c cleaning 18003 clauses out of 36053 with flag 1156687/180000
13.18/9.95	c cleaning 18980 clauses out of 38052 with flag 1306232/200002
14.10/10.85	c cleaning 20025 clauses out of 40075 with flag 1429635/221005
15.06/11.79	c cleaning 21006 clauses out of 42045 with flag 1561804/243000
16.84/12.83	c cleaning 21988 clauses out of 44042 with flag 1693679/266003
18.24/14.01	c cleaning 22999 clauses out of 46051 with flag 1847952/290000
20.63/15.59	c cleaning 24010 clauses out of 48052 with flag 2007991/315000
21.83/16.70	c cleaning 24986 clauses out of 50043 with flag 2170234/341001
22.83/17.78	c cleaning 25991 clauses out of 52056 with flag 2325853/368000
24.03/19.00	c cleaning 27001 clauses out of 54068 with flag 2499855/396003
25.73/20.61	c cleaning 27997 clauses out of 56065 with flag 2694428/425001
27.02/21.95	c cleaning 28999 clauses out of 58067 with flag 2867467/455000
28.62/23.50	c cleaning 30003 clauses out of 60068 with flag 3051031/486000
30.13/25.08	c cleaning 31006 clauses out of 62066 with flag 3241805/518001
31.81/26.73	c cleaning 31987 clauses out of 64060 with flag 3439183/551001
33.70/28.68	c cleaning 33023 clauses out of 66072 with flag 3644096/585000
35.61/30.56	c cleaning 33989 clauses out of 68049 with flag 3856799/620000
37.63/32.36	c cleaning 35011 clauses out of 70061 with flag 4061967/656001
39.52/34.18	c cleaning 36013 clauses out of 72053 with flag 4262783/693004
41.51/36.19	c cleaning 37005 clauses out of 74036 with flag 4474199/731000
44.09/39.08	c cleaning 37997 clauses out of 76033 with flag 4702391/770002
46.18/41.13	c cleaning 38981 clauses out of 78036 with flag 4915827/810002
48.47/43.42	c cleaning 40012 clauses out of 80053 with flag 5168041/851000
50.47/45.47	c cleaning 41015 clauses out of 82041 with flag 5404655/893000
53.46/48.45	c cleaning 41979 clauses out of 84026 with flag 5668146/936000
55.85/50.84	c cleaning 42994 clauses out of 86050 with flag 5910316/980003
58.45/53.48	c cleaning 44021 clauses out of 88053 with flag 6178852/1025000
61.06/56.06	c cleaning 45002 clauses out of 90033 with flag 6440269/1071001
63.54/58.55	c cleaning 46002 clauses out of 92030 with flag 6702981/1118000
67.14/62.17	c cleaning 47006 clauses out of 94030 with flag 6988126/1166002
69.72/64.77	c cleaning 47993 clauses out of 96022 with flag 7255315/1215000
72.65/68.00	c cleaning 48988 clauses out of 98031 with flag 7526732/1265002
75.63/70.95	c cleaning 49990 clauses out of 100044 with flag 7814041/1316003
78.76/74.09	c cleaning 51006 clauses out of 102051 with flag 8098568/1368000
82.63/77.90	c cleaning 51987 clauses out of 104045 with flag 8400328/1421000
86.94/82.24	c cleaning 53011 clauses out of 106059 with flag 8688307/1475001
90.44/85.73	c cleaning 54008 clauses out of 108047 with flag 8983150/1530000
95.13/90.40	c cleaning 55005 clauses out of 110041 with flag 9319726/1586002
100.75/96.04	c cleaning 56002 clauses out of 112035 with flag 9660678/1643001
105.74/101.20	c cleaning 57007 clauses out of 114032 with flag 9971180/1701000
109.32/104.81	c cleaning 57992 clauses out of 116025 with flag 10287356/1760000
114.10/109.62	c cleaning 59012 clauses out of 118034 with flag 10617384/1820001
117.99/113.57	c cleaning 59973 clauses out of 120022 with flag 10935698/1881001
121.99/117.52	c cleaning 61009 clauses out of 122049 with flag 11266399/1943001
126.59/122.14	c cleaning 61996 clauses out of 124039 with flag 11606292/2006000
130.97/126.54	c cleaning 62998 clauses out of 126043 with flag 11942653/2070000
137.07/132.84	c cleaning 63985 clauses out of 128045 with flag 12277616/2135000
141.55/137.30	c cleaning 64991 clauses out of 130060 with flag 12626209/2201000
146.05/141.83	c cleaning 66027 clauses out of 132069 with flag 12991294/2268000
150.98/146.75	c cleaning 67010 clauses out of 134043 with flag 13355033/2336001
155.28/151.10	c cleaning 67985 clauses out of 136032 with flag 13713610/2405000
161.29/157.03	c cleaning 68992 clauses out of 138047 with flag 14070647/2475000
167.22/163.15	c cleaning 70000 clauses out of 140057 with flag 14432037/2546002
171.89/167.81	c cleaning 70984 clauses out of 142056 with flag 14794781/2618001
177.31/173.22	c cleaning 72017 clauses out of 144072 with flag 15164953/2691001
183.12/179.09	c cleaning 73013 clauses out of 146055 with flag 15563953/2765001
189.30/185.24	c cleaning 74009 clauses out of 148041 with flag 15964635/2840000
195.12/191.23	c cleaning 74979 clauses out of 150034 with flag 16361662/2916002
200.82/197.01	c cleaning 76010 clauses out of 152054 with flag 16749914/2993001
206.80/202.96	c cleaning 77010 clauses out of 154045 with flag 17156062/3071002
213.05/209.19	c cleaning 77996 clauses out of 156034 with flag 17575058/3150001
218.73/214.89	c cleaning 78998 clauses out of 158039 with flag 17967131/3230002
225.35/221.69	c cleaning 80002 clauses out of 160039 with flag 18393138/3311000
232.03/228.30	c cleaning 81004 clauses out of 162040 with flag 18825489/3393003
239.36/235.61	c cleaning 82006 clauses out of 164035 with flag 19270146/3476002
246.04/242.32	c cleaning 82999 clauses out of 166027 with flag 19690914/3560000
252.58/248.89	c cleaning 83995 clauses out of 168028 with flag 20091692/3645000
259.51/255.98	c cleaning 84995 clauses out of 170035 with flag 20506927/3731002
266.56/262.93	c cleaning 86006 clauses out of 172038 with flag 20925044/3818000
273.76/270.19	c cleaning 86999 clauses out of 174033 with flag 21374744/3906001
281.40/277.76	c cleaning 88003 clauses out of 176035 with flag 21813920/3995002
290.23/286.75	c cleaning 88999 clauses out of 178031 with flag 22265835/4085001
297.86/294.38	c cleaning 90010 clauses out of 180031 with flag 22694783/4176000
306.43/302.87	c cleaning 90998 clauses out of 182021 with flag 23215152/4268000
314.31/310.74	c cleaning 92000 clauses out of 184023 with flag 23692287/4361000
323.63/320.16	c cleaning 92995 clauses out of 186023 with flag 24138381/4455000
331.71/328.22	c cleaning 93998 clauses out of 188028 with flag 24607811/4550000
341.15/337.62	c cleaning 94985 clauses out of 190030 with flag 25068337/4646000
350.06/346.69	c cleaning 96009 clauses out of 192045 with flag 25541937/4743000
359.23/355.84	c cleaning 96975 clauses out of 194036 with flag 26040551/4841000
368.37/364.90	c cleaning 98010 clauses out of 196063 with flag 26534860/4940002
378.61/375.39	c cleaning 99008 clauses out of 198052 with flag 27068303/5040001
390.37/387.06	c cleaning 100011 clauses out of 200043 with flag 27570408/5141000
400.45/397.01	c cleaning 100993 clauses out of 202033 with flag 28069401/5243001
409.60/406.30	c cleaning 102009 clauses out of 204039 with flag 28568970/5346000
418.86/415.57	c cleaning 102998 clauses out of 206032 with flag 29062147/5450002
428.83/425.51	c cleaning 104001 clauses out of 208033 with flag 29565274/5555001
439.82/436.62	c cleaning 104981 clauses out of 210031 with flag 30079033/5661000
450.76/447.54	c cleaning 106007 clauses out of 212053 with flag 30577897/5768003
461.45/458.15	c cleaning 106995 clauses out of 214044 with flag 31124845/5876001
472.97/470.70	c cleaning 108012 clauses out of 216048 with flag 31644631/5985000
482.71/480.49	c cleaning 109004 clauses out of 218037 with flag 32156743/6095001
494.95/492.63	c cleaning 109994 clauses out of 220033 with flag 32702027/6206001
506.65/504.45	c cleaning 110997 clauses out of 222038 with flag 33223941/6318000
519.18/517.00	c cleaning 111992 clauses out of 224041 with flag 33772439/6431000
531.34/529.10	c cleaning 113000 clauses out of 226050 with flag 34323548/6545001
544.69/542.43	c cleaning 114014 clauses out of 228051 with flag 34851970/6660002
555.58/553.34	c cleaning 115005 clauses out of 230036 with flag 35403725/6776001
569.01/566.89	c cleaning 115998 clauses out of 232031 with flag 35991936/6893001
581.01/578.83	c cleaning 117005 clauses out of 234032 with flag 36539921/7011000
592.46/590.25	c cleaning 118001 clauses out of 236028 with flag 37075589/7130001
605.05/602.80	c cleaning 118985 clauses out of 238027 with flag 37621208/7250001
617.02/614.89	c cleaning 120000 clauses out of 240041 with flag 38223019/7371000
633.49/631.38	c cleaning 121008 clauses out of 242041 with flag 38842424/7493000
647.14/645.00	c cleaning 122007 clauses out of 244033 with flag 39405084/7616000
661.21/659.08	c cleaning 122997 clauses out of 246026 with flag 39957045/7740000
675.96/673.84	c cleaning 124008 clauses out of 248030 with flag 40563975/7865001
689.31/687.25	c cleaning 124994 clauses out of 250021 with flag 41113912/7991000
706.42/704.31	c cleaning 126002 clauses out of 252027 with flag 41698880/8118000
720.37/718.34	c cleaning 126994 clauses out of 254025 with flag 42331356/8246000
733.93/731.86	c cleaning 127998 clauses out of 256033 with flag 42923649/8375002
749.21/747.10	c cleaning 129001 clauses out of 258034 with flag 43534429/8505001
764.70/764.98	c cleaning 130009 clauses out of 260032 with flag 44138679/8636000
779.72/779.93	c cleaning 130982 clauses out of 262023 with flag 44730099/8768000
795.42/795.75	c cleaning 132002 clauses out of 264042 with flag 45353516/8901001
811.05/811.30	c cleaning 133006 clauses out of 266039 with flag 45962478/9035000
825.47/825.83	c cleaning 133998 clauses out of 268033 with flag 46585757/9170000
841.02/841.36	c cleaning 134984 clauses out of 270035 with flag 47224479/9306000
858.75/859.18	c cleaning 136005 clauses out of 272051 with flag 47913631/9443000
877.08/877.62	c cleaning 137009 clauses out of 274047 with flag 48595101/9581001
894.22/894.70	c cleaning 137994 clauses out of 276038 with flag 49268289/9720001
909.64/910.28	c cleaning 139007 clauses out of 278045 with flag 49863433/9860002
925.49/926.08	c cleaning 139987 clauses out of 280036 with flag 50503340/10001000
941.42/942.05	c cleaning 141021 clauses out of 282052 with flag 51169917/10143003
957.47/958.09	c cleaning 141985 clauses out of 284030 with flag 51822977/10286002
974.76/975.43	c cleaning 142979 clauses out of 286044 with flag 52491002/10430001
992.18/992.81	c cleaning 144006 clauses out of 288064 with flag 53172527/10575000
1010.00/1016.27	c cleaning 145016 clauses out of 290060 with flag 53838827/10721002
1027.25/1033.43	c cleaning 146010 clauses out of 292042 with flag 54506173/10868000
1045.12/1051.36	c cleaning 146995 clauses out of 294033 with flag 55178448/11016001
1061.38/1068.10	c cleaning 148005 clauses out of 296039 with flag 55817552/11165002
1079.01/1085.63	c cleaning 149000 clauses out of 298032 with flag 56502514/11315000
1100.24/1106.99	c cleaning 150005 clauses out of 300032 with flag 57260640/11466000
1119.57/1126.29	c cleaning 151001 clauses out of 302027 with flag 57993894/11618000
1140.54/1147.20	c cleaning 151980 clauses out of 304027 with flag 58720919/11771001
1163.04/1169.88	c cleaning 153013 clauses out of 306046 with flag 59515029/11925000
1187.09/1193.95	c cleaning 153988 clauses out of 308034 with flag 60244487/12080001
1206.34/1213.12	c cleaning 155003 clauses out of 310048 with flag 60954902/12236003
1224.50/1231.38	c cleaning 155994 clauses out of 312042 with flag 61655379/12393000
1244.74/1252.00	c cleaning 157007 clauses out of 314048 with flag 62353809/12551000
1263.56/1270.78	c cleaning 158002 clauses out of 316041 with flag 63104565/12710000
1282.47/1289.72	c cleaning 158995 clauses out of 318039 with flag 63791360/12870000
1304.70/1312.03	c cleaning 160000 clauses out of 320044 with flag 64527606/13031000
1325.79/1333.13	c cleaning 161001 clauses out of 322044 with flag 65251741/13193000
1345.90/1353.25	c cleaning 162014 clauses out of 324043 with flag 65961925/13356000
1366.19/1373.54	c cleaning 162995 clauses out of 326029 with flag 66703311/13520000
1388.41/1395.70	c cleaning 164000 clauses out of 328034 with flag 67467668/13685000
1412.66/1420.09	c cleaning 165003 clauses out of 330035 with flag 68320106/13851001
1435.40/1442.89	c cleaning 165997 clauses out of 332032 with flag 69074042/14018001
1456.42/1463.76	c cleaning 167000 clauses out of 334035 with flag 69822488/14186001
1477.90/1485.20	c cleaning 167989 clauses out of 336040 with flag 70562102/14355006
1498.64/1506.10	c cleaning 168993 clauses out of 338045 with flag 71335651/14525000
1520.26/1527.78	c cleaning 170013 clauses out of 340052 with flag 72057936/14696000
1542.85/1550.38	c cleaning 171013 clauses out of 342040 with flag 72814856/14868001
1565.21/1573.80	c cleaning 172005 clauses out of 344028 with flag 73574675/15041002
1587.90/1596.52	c cleaning 173002 clauses out of 346022 with flag 74359974/15215001
1610.51/1619.11	c cleaning 173989 clauses out of 348019 with flag 75197913/15390000
1635.14/1645.17	c cleaning 175008 clauses out of 350030 with flag 75970086/15566000
1660.80/1670.85	c cleaning 175986 clauses out of 352022 with flag 76754207/15743000
1686.74/1696.80	c cleaning 176993 clauses out of 354037 with flag 77576748/15921001
1710.04/1720.17	c cleaning 178013 clauses out of 356043 with flag 78343651/16100000
1738.65/1748.89	c cleaning 178981 clauses out of 358031 with flag 79205607/16280001
1763.44/1773.60	c cleaning 180005 clauses out of 360049 with flag 80017058/16461000
1789.29/1799.56	c cleaning 181006 clauses out of 362045 with flag 80872639/16643001
1813.55/1823.89	c cleaning 181996 clauses out of 364038 with flag 81658550/16826000
1843.54/1853.93	c cleaning 183003 clauses out of 366042 with flag 82604077/17010000
1869.51/1879.92	c cleaning 184001 clauses out of 368039 with flag 83428633/17195000
1901.51/1912.52	c cleaning 185016 clauses out of 370038 with flag 84425411/17381000
1927.91/1938.93	c cleaning 185978 clauses out of 372022 with flag 85273516/17568000
1955.59/1966.64	c cleaning 187007 clauses out of 374044 with flag 86116785/17756000
1985.97/1997.04	c cleaning 188002 clauses out of 376038 with flag 86963758/17945001
2011.65/2022.80	c cleaning 188983 clauses out of 378035 with flag 87783212/18135000
2037.86/2049.06	c cleaning 189998 clauses out of 380052 with flag 88599714/18326000
2064.74/2076.00	c cleaning 191015 clauses out of 382057 with flag 89439111/18518003
2094.62/2106.22	c cleaning 192006 clauses out of 384039 with flag 90302208/18711000
2130.96/2142.68	c cleaning 192995 clauses out of 386033 with flag 91189104/18905000
2156.73/2168.48	c cleaning 193998 clauses out of 388040 with flag 91988058/19100002
2188.43/2200.14	c cleaning 194994 clauses out of 390040 with flag 92840248/19296000
2217.49/2229.20	c cleaning 195997 clauses out of 392048 with flag 93669951/19493002
2245.04/2256.80	c cleaning 196998 clauses out of 394049 with flag 94499598/19691000
2276.11/2287.84	c cleaning 198005 clauses out of 396051 with flag 95410012/19890000
2305.32/2317.03	c cleaning 199021 clauses out of 398049 with flag 96302716/20090003
2334.15/2345.95	c cleaning 200000 clauses out of 400025 with flag 97169532/20291000
2370.40/2382.22	c cleaning 201001 clauses out of 402026 with flag 98164280/20493001
2400.85/2412.63	c cleaning 201998 clauses out of 404024 with flag 99044865/20696000
2430.81/2442.68	c cleaning 202999 clauses out of 406028 with flag 99915218/20900002
2459.95/2471.81	c cleaning 204000 clauses out of 408027 with flag 100778628/21105000
2493.33/2505.24	c cleaning 205000 clauses out of 410027 with flag 101702342/21311000
2525.70/2537.68	c cleaning 205996 clauses out of 412031 with flag 102647219/21518004
2558.50/2570.55	c cleaning 207006 clauses out of 414031 with flag 103608585/21726000
2589.69/2601.74	c cleaning 208012 clauses out of 416026 with flag 104467543/21935001
2621.01/2633.05	c cleaning 208973 clauses out of 418013 with flag 105360758/22145000
2655.51/2667.63	c cleaning 210014 clauses out of 420040 with flag 106259474/22356000
2685.98/2698.15	c cleaning 210990 clauses out of 422026 with flag 107144272/22568000
2717.30/2729.58	c cleaning 211992 clauses out of 424036 with flag 108059076/22781000
2750.91/2763.28	c cleaning 213008 clauses out of 426045 with flag 108971836/22995001
2783.05/2795.43	c cleaning 213980 clauses out of 428036 with flag 109898482/23210000
2818.34/2830.80	c cleaning 215014 clauses out of 430058 with flag 110853698/23426002
2850.96/2863.45	c cleaning 215988 clauses out of 432043 with flag 111826029/23643001
2886.45/2898.95	c cleaning 217016 clauses out of 434055 with flag 112757044/23861001
2919.52/2932.06	c cleaning 217997 clauses out of 436039 with flag 113678383/24080001
2953.70/2966.32	c cleaning 218983 clauses out of 438041 with flag 114636157/24300000
2989.17/3001.80	c cleaning 220010 clauses out of 440059 with flag 115590211/24521001
3023.33/3036.05	c cleaning 221004 clauses out of 442048 with flag 116520269/24743000
3057.94/3070.73	c cleaning 221996 clauses out of 444046 with flag 117527697/24966002
3094.13/3106.92	c cleaning 223006 clauses out of 446049 with flag 118447458/25190001
3131.48/3144.35	c cleaning 223985 clauses out of 448042 with flag 119404685/25415000
3166.86/3179.70	c cleaning 225016 clauses out of 450058 with flag 120340487/25641001
3204.28/3217.21	c cleaning 226004 clauses out of 452042 with flag 121280873/25868001
3249.13/3262.13	c cleaning 227005 clauses out of 454037 with flag 122476244/26096000
3285.97/3299.03	c cleaning 227997 clauses out of 456032 with flag 123489054/26325000
3320.18/3333.22	c cleaning 228999 clauses out of 458035 with flag 124451093/26555000
3358.14/3371.27	c cleaning 230004 clauses out of 460039 with flag 125451729/26786003
3397.00/3410.18	c cleaning 231003 clauses out of 462032 with flag 126426063/27018000
3438.61/3451.74	c cleaning 231997 clauses out of 464029 with flag 127439761/27251000
3479.06/3492.21	c cleaning 232998 clauses out of 466033 with flag 128425162/27485001
3517.85/3531.02	c cleaning 233990 clauses out of 468035 with flag 129442562/27720001
3556.08/3569.37	c cleaning 234995 clauses out of 470044 with flag 130412851/27956000
3593.24/3606.59	c cleaning 236007 clauses out of 472049 with flag 131358436/28193000
3600.02/3613.32	c timeout
3600.02/3613.33	c starts		: 19593
3600.02/3613.34	c conflicts		: 28250992
3600.02/3613.34	c decisions		: 40152322
3600.02/3613.34	c propagations		: 913215157
3600.02/3613.34	c inspects		: 53018235350
3600.02/3613.34	c shortcuts		: 0
3600.02/3613.34	c learnt literals	: 0
3600.02/3613.34	c learnt binary clauses	: 26
3600.02/3613.34	c learnt ternary clauses	: 88
3600.02/3613.34	c learnt constraints	: 28250992
3600.02/3613.34	c ignored constraints	: 0
3600.02/3613.34	c root simplifications	: 0
3600.02/3613.34	c removed literals (reason simplification)	: 32556425
3600.02/3613.34	c reason swapping (by a shorter reason)	: 0
3600.02/3613.34	c Calls to reduceDB	: 233
3600.02/3613.34	c Number of update (reduction) of LBD	: 9915926
3600.02/3613.34	c Imported unit clauses	: 0
3600.02/3613.34	c No decision after first conflict	: false
3600.02/3613.34	c number of reductions to clauses (during analyze)	: 0
3600.02/3613.34	c number of learned constraints concerned by reduction	: 0
3600.02/3613.34	c number of learning phase by resolution	: 0
3600.02/3613.34	c number of learning phase by cutting planes	: 0
3600.02/3613.34	c number of rounding to 1 operations	: 0
3600.02/3613.34	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3613.34	c number of reductions of the coefficients by power 2 	: 0
3600.02/3613.34	c number of right shift for reduction by power 2 	: 0
3600.02/3613.34	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3613.34	c number of ending skipping 	: 0
3600.02/3613.34	c number of internal skipping 	: 0
3600.02/3613.34	c number of derivation steps 	: 0
3600.02/3613.34	c number of skipped derivation steps 	: 0
3600.02/3613.34	c number of remaining unassigned 	: 0
3600.02/3613.34	c number of remaining assigned 	: 0
3600.02/3613.34	c number of falsified literals weakened from reason	: 0
3600.02/3613.34	c number of falsified literals weakened from conflict	: 0
3600.02/3613.34	c time for arithmetic operations	: 0
3600.02/3613.34	c minimum degree of deleted constraints	: null
3600.02/3613.34	c maximum degree of deleted constraints	: null
3600.02/3613.34	c number of deleted constraints	: 0
3600.02/3613.34	c speed (assignments/second)	: 252775.07018183894
3600.02/3613.34	c non guided choices	: 1002693
3600.22/3613.41	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 294008
3600.22/3613.41	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 26
3600.22/3613.41	s UNKNOWN
3600.22/3613.41	c Total wall clock time (in seconds): 3613.041

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: 63837 MiB (63339 MiB free)
  memory of node 1: 64465 MiB (63928 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
solver pid=32751, runsolver pid=32736
Current StackSize limit: 8192 KiB


[startup+0.100072 s]*
/proc/loadavg: 4.14 4.15 4.17 12/320 32820
/proc/meminfo: memFree=130259816/131382120 swapFree=33010160/33010684
[pid=32751] ppid=32736 vsize=18930344 memory=45664 CPUtime=0.1 cores=1,3
/proc/32751/stat : 32751 (java) S 32736 32751 32315 0 -1 4194304 5468 0 0 0 6 4 0 0 20 0 18 0 40037631 19384672256 11416 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
/proc/32751/statm: 4732586 11416 4942 1 0 546730 0
[pid=32751/tid=32759] ppid=32736 vsize=18930344 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/32751/task/32759/stat : 32759 (java) D 32736 32751 32315 0 -1 4194368 4566 0 0 0 4 3 0 0 20 0 18 0 40037634 19384672256 11416 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32809] ppid=32736 vsize=18930344 memory=228522721619 CPUtime=0 cores=1,3
/proc/32751/task/32809/stat : 32809 (Finalizer) S 32736 32751 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 40037639 19384672256 11416 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32820] ppid=32736 vsize=18930344 memory=59593594261064 CPUtime=0 cores=1,3
/proc/32751/task/32820/stat : 32820 (Common-Cleaner) S 32736 32751 32315 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 40037640 19384672256 11416 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930344 KiB
Current children cumulated memory: 45664 KiB

[startup+0.214095 s]*
/proc/loadavg: 4.14 4.15 4.17 8/320 32820
/proc/meminfo: memFree=130245504/131382120 swapFree=33010160/33010684
[pid=32751] ppid=32736 vsize=18930384 memory=50272 CPUtime=0.25 cores=1,3
/proc/32751/stat : 32751 (java) S 32736 32751 32315 0 -1 4194304 6222 0 0 0 21 4 0 0 20 0 18 0 40037631 19384713216 12568 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
/proc/32751/statm: 4732596 12568 5358 1 0 547341 0
[pid=32751/tid=32759] ppid=32736 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=1,3
/proc/32751/task/32759/stat : 32759 (java) R 32736 32751 32315 0 -1 4194368 4965 0 0 0 14 3 0 0 20 0 18 0 40037634 19384713216 12568 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32809] ppid=32736 vsize=18930384 memory=15877 CPUtime=0 cores=1,3
/proc/32751/task/32809/stat : 32809 (Finalizer) S 32736 32751 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 40037639 19384713216 12568 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32820] ppid=32736 vsize=18930384 memory=58494082614266 CPUtime=0 cores=1,3
/proc/32751/task/32820/stat : 32820 (Common-Cleaner) S 32736 32751 32315 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 40037640 19384713216 12568 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 50272 KiB

[startup+0.314194 s]*
/proc/loadavg: 4.14 4.15 4.17 13/320 32820
/proc/meminfo: memFree=130224332/131382120 swapFree=33010160/33010684
[pid=32751] ppid=32736 vsize=18930384 memory=58048 CPUtime=0.41 cores=1,3
/proc/32751/stat : 32751 (java) S 32736 32751 32315 0 -1 4194304 6626 0 0 0 36 5 0 0 20 0 18 0 40037631 19384713216 14512 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
/proc/32751/statm: 4732596 14512 5358 1 0 547680 0
[pid=32751/tid=32759] ppid=32736 vsize=18930384 memory=-6000919481329871468 CPUtime=0.25 cores=1,3
/proc/32751/task/32759/stat : 32759 (java) R 32736 32751 32315 0 -1 4194368 5128 0 0 0 22 3 0 0 20 0 18 0 40037634 19384713216 14512 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32809] ppid=32736 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/32751/task/32809/stat : 32809 (Finalizer) S 32736 32751 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 40037639 19384713216 14512 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32820] ppid=32736 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/32751/task/32820/stat : 32820 (Common-Cleaner) S 32736 32751 32315 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 40037640 19384713216 14512 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58048 KiB

[startup+0.700314 s]
/proc/loadavg: 4.14 4.15 4.17 15/321 32821
/proc/meminfo: memFree=130213396/131382120 swapFree=33010160/33010684
[pid=32751] ppid=32736 vsize=18996948 memory=68324 CPUtime=1.1 cores=1,3
/proc/32751/stat : 32751 (java) S 32736 32751 32315 0 -1 4194304 7869 0 0 0 104 6 0 0 20 0 19 0 40037631 19452874752 17081 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
/proc/32751/statm: 4749237 17081 5422 1 0 548715 0
[pid=32751/tid=32759] ppid=32736 vsize=18996948 memory=17280 CPUtime=0.53 cores=1,3
/proc/32751/task/32759/stat : 32759 (java) R 32736 32751 32315 0 -1 4194368 5370 0 0 0 49 4 0 0 20 0 19 0 40037634 19452874752 17081 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32809] ppid=32736 vsize=18996948 memory=10496 CPUtime=0 cores=1,3
/proc/32751/task/32809/stat : 32809 (Finalizer) S 32736 32751 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 40037639 19452874752 17081 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32820] ppid=32736 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/32751/task/32820/stat : 32820 (Common-Cleaner) S 32736 32751 32315 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 40037640 19452874752 17081 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 68324 KiB

[startup+1.50028 s]
/proc/loadavg: 4.14 4.15 4.17 12/324 32824
/proc/meminfo: memFree=130098524/131382120 swapFree=33010160/33010684
[pid=32751] ppid=32736 vsize=18996948 memory=153096 CPUtime=2.67 cores=1,3
/proc/32751/stat : 32751 (java) S 32736 32751 32315 0 -1 4194304 18258 0 0 0 255 12 0 0 20 0 19 0 40037631 19452874752 38274 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
/proc/32751/statm: 4749237 38274 5422 1 0 552234 0
[pid=32751/tid=32759] ppid=32736 vsize=18996948 memory=3200 CPUtime=1.26 cores=1,3
/proc/32751/task/32759/stat : 32759 (java) R 32736 32751 32315 0 -1 4194368 5822 0 0 0 119 7 0 0 20 0 19 0 40037634 19452874752 38274 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32809] ppid=32736 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/32751/task/32809/stat : 32809 (Finalizer) S 32736 32751 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 40037639 19452874752 38274 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32820] ppid=32736 vsize=18996948 memory=10496 CPUtime=0 cores=1,3
/proc/32751/task/32820/stat : 32820 (Common-Cleaner) S 32736 32751 32315 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 40037640 19452874752 38274 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32823] ppid=32736 vsize=18996948 memory=16264 CPUtime=0 cores=1,3
/proc/32751/task/32823/stat : 32823 (Timer-0) S 32736 32751 32315 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 40037689 19452874752 38274 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 153096 KiB

[startup+3.10538 s]
/proc/loadavg: 4.14 4.15 4.17 9/328 32828
/proc/meminfo: memFree=129702380/131382120 swapFree=33010160/33010684
[pid=32751] ppid=32736 vsize=19063512 memory=179936 CPUtime=5.64 cores=1,3
/proc/32751/stat : 32751 (java) S 32736 32751 32315 0 -1 4194304 24977 0 0 0 548 16 0 0 20 0 20 0 40037631 19521036288 44984 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
/proc/32751/statm: 4765878 44984 5486 1 0 554221 0
[pid=32751/tid=32759] ppid=32736 vsize=19063512 memory=10496 CPUtime=2.79 cores=1,3
/proc/32751/task/32759/stat : 32759 (java) R 32736 32751 32315 0 -1 4194368 6949 0 0 0 270 9 0 0 20 0 20 0 40037634 19521036288 44984 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32809] ppid=32736 vsize=19063512 memory=16264 CPUtime=0 cores=1,3
/proc/32751/task/32809/stat : 32809 (Finalizer) S 32736 32751 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40037639 19521036288 44984 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32820] ppid=32736 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/32751/task/32820/stat : 32820 (Common-Cleaner) S 32736 32751 32315 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 40037640 19521036288 44984 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32823] ppid=32736 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/32751/task/32823/stat : 32823 (Timer-0) S 32736 32751 32315 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40037689 19521036288 44984 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
Current children cumulated CPU time: 5.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 179936 KiB

[startup+6.30038 s]
/proc/loadavg: 4.29 4.18 4.18 7/331 32831
/proc/meminfo: memFree=128868184/131382120 swapFree=33010160/33010684
[pid=32751] ppid=32736 vsize=19063512 memory=436392 CPUtime=9.27 cores=1,3
/proc/32751/stat : 32751 (java) S 32736 32751 32315 0 -1 4194304 27350 0 0 0 903 24 0 0 20 0 20 0 40037631 19521036288 109098 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
/proc/32751/statm: 4765878 109098 5486 1 0 554224 0
[pid=32751/tid=32759] ppid=32736 vsize=19063512 memory=0 CPUtime=5.9 cores=1,3
/proc/32751/task/32759/stat : 32759 (java) R 32736 32751 32315 0 -1 4194368 7591 0 0 0 574 16 0 0 20 0 20 0 40037634 19521036288 109098 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32809] ppid=32736 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/32751/task/32809/stat : 32809 (Finalizer) S 32736 32751 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40037639 19521036288 109098 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32820] ppid=32736 vsize=19063512 memory=10496 CPUtime=0 cores=1,3
/proc/32751/task/32820/stat : 32820 (Common-Cleaner) S 32736 32751 32315 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 40037640 19521036288 109098 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32823] ppid=32736 vsize=19063512 memory=281356328395920 CPUtime=0 cores=1,3
/proc/32751/task/32823/stat : 32823 (Timer-0) S 32736 32751 32315 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40037689 19521036288 109098 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
Current children cumulated CPU time: 9.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 436392 KiB

[startup+12.7003 s]
/proc/loadavg: 4.26 4.18 4.18 7/331 32831
/proc/meminfo: memFree=127319740/131382120 swapFree=33010160/33010684
[pid=32751] ppid=32736 vsize=19063512 memory=845952 CPUtime=16.64 cores=1,3
/proc/32751/stat : 32751 (java) S 32736 32751 32315 0 -1 4194304 38298 0 0 0 1626 38 0 0 20 0 20 0 40037631 19521036288 211488 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
/proc/32751/statm: 4765878 211488 5518 1 0 554657 0
[pid=32751/tid=32759] ppid=32736 vsize=19063512 memory=281356328395920 CPUtime=12.24 cores=1,3
/proc/32751/task/32759/stat : 32759 (java) R 32736 32751 32315 0 -1 4194368 9648 0 0 0 1196 28 0 0 20 0 20 0 40037634 19521036288 211488 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32809] ppid=32736 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/32751/task/32809/stat : 32809 (Finalizer) S 32736 32751 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40037639 19521036288 211488 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32820] ppid=32736 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/32751/task/32820/stat : 32820 (Common-Cleaner) S 32736 32751 32315 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 40037640 19521036288 211488 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32823] ppid=32736 vsize=19063512 memory=16264 CPUtime=0 cores=1,3
/proc/32751/task/32823/stat : 32823 (Timer-0) S 32736 32751 32315 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40037689 19521036288 211488 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
Current children cumulated CPU time: 16.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 845952 KiB

[startup+25.5004 s]
/proc/loadavg: 4.20 4.17 4.18 7/331 32831
/proc/meminfo: memFree=125561856/131382120 swapFree=33010160/33010684
[pid=32751] ppid=32736 vsize=19063512 memory=1320640 CPUtime=30.61 cores=1,3
/proc/32751/stat : 32751 (java) S 32736 32751 32315 0 -1 4194304 40422 0 0 0 3004 57 0 0 20 0 20 0 40037631 19521036288 330160 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
/proc/32751/statm: 4765878 330160 5518 1 0 555294 0
[pid=32751/tid=32759] ppid=32736 vsize=19063512 memory=-6000919481329871468 CPUtime=24.94 cores=1,3
/proc/32751/task/32759/stat : 32759 (java) R 32736 32751 32315 0 -1 4194368 10856 0 0 0 2448 46 0 0 20 0 20 0 40037634 19521036288 330160 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32809] ppid=32736 vsize=19063512 memory=281356328395920 CPUtime=0 cores=1,3
/proc/32751/task/32809/stat : 32809 (Finalizer) S 32736 32751 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40037639 19521036288 330160 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32820] ppid=32736 vsize=19063512 memory=16264 CPUtime=0 cores=1,3
/proc/32751/task/32820/stat : 32820 (Common-Cleaner) S 32736 32751 32315 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 40037640 19521036288 330160 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32823] ppid=32736 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/32751/task/32823/stat : 32823 (Timer-0) S 32736 32751 32315 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40037689 19521036288 330160 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
Current children cumulated CPU time: 30.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1320640 KiB

[startup+51.1136 s]
/proc/loadavg: 4.21 4.17 4.18 7/331 32831
/proc/meminfo: memFree=124139556/131382120 swapFree=33010160/33010684
[pid=32751] ppid=32736 vsize=19063512 memory=1333028 CPUtime=56.17 cores=1,3
/proc/32751/stat : 32751 (java) S 32736 32751 32315 0 -1 4194304 45110 0 0 0 5545 72 0 0 20 0 20 0 40037631 19521036288 333257 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
/proc/32751/statm: 4765878 333257 5518 1 0 555294 0
[pid=32751/tid=32759] ppid=32736 vsize=19063512 memory=1333028 CPUtime=49.95 cores=1,3
/proc/32751/task/32759/stat : 32759 (java) R 32736 32751 32315 0 -1 4194368 11351 0 0 0 4936 59 0 0 20 0 20 0 40037634 19521036288 333257 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32809] ppid=32736 vsize=19063512 memory=5504 CPUtime=0 cores=1,3
/proc/32751/task/32809/stat : 32809 (Finalizer) S 32736 32751 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40037639 19521036288 333257 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32820] ppid=32736 vsize=19063512 memory=1326796 CPUtime=0 cores=1,3

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

[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.14 7/331 33006
/proc/meminfo: memFree=98864976/131382120 swapFree=33010160/33010684
[pid=32751] ppid=32736 vsize=19063512 memory=2168932 CPUtime=3269.33 cores=1,3
/proc/32751/stat : 32751 (java) S 32736 32751 32315 0 -1 4194304 95460 0 0 0 325945 988 0 0 20 0 20 0 40037631 19521036288 542233 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
/proc/32751/statm: 4765878 542233 5518 1 0 555824 0
[pid=32751/tid=32759] ppid=32736 vsize=19063512 memory=2168932 CPUtime=3234.98 cores=1,3
/proc/32751/task/32759/stat : 32759 (java) R 32736 32751 32315 0 -1 4194368 36544 0 0 0 322693 805 0 0 20 0 20 0 40037634 19521036288 542233 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32809] ppid=32736 vsize=19063512 memory=2168932 CPUtime=0 cores=1,3
/proc/32751/task/32809/stat : 32809 (Finalizer) S 32736 32751 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40037639 19521036288 542233 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32820] ppid=32736 vsize=19063512 memory=4252 CPUtime=0 cores=1,3
/proc/32751/task/32820/stat : 32820 (Common-Cleaner) S 32736 32751 32315 0 -1 4194368 1464 0 0 0 0 0 0 0 20 0 20 0 40037640 19521036288 542233 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32823] ppid=32736 vsize=19063512 memory=2168932 CPUtime=0 cores=1,3
/proc/32751/task/32823/stat : 32823 (Timer-0) S 32736 32751 32315 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40037689 19521036288 542233 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
Current children cumulated CPU time: 3269.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2168932 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.14 7/330 33008
/proc/meminfo: memFree=98551116/131382120 swapFree=33010160/33010684
[pid=32751] ppid=32736 vsize=19063512 memory=2168932 CPUtime=3329.26 cores=1,3
/proc/32751/stat : 32751 (java) S 32736 32751 32315 0 -1 4194304 95611 0 0 0 331922 1004 0 0 20 0 20 0 40037631 19521036288 542233 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
/proc/32751/statm: 4765878 542233 5518 1 0 555824 0
[pid=32751/tid=32759] ppid=32736 vsize=19063512 memory=2168932 CPUtime=3294.54 cores=1,3
/proc/32751/task/32759/stat : 32759 (java) R 32736 32751 32315 0 -1 4194368 36562 0 0 0 328637 817 0 0 20 0 20 0 40037634 19521036288 542233 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32809] ppid=32736 vsize=19063512 memory=2168932 CPUtime=0 cores=1,3
/proc/32751/task/32809/stat : 32809 (Finalizer) S 32736 32751 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40037639 19521036288 542233 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32820] ppid=32736 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/32751/task/32820/stat : 32820 (Common-Cleaner) S 32736 32751 32315 0 -1 4194368 1464 0 0 0 0 0 0 0 20 0 20 0 40037640 19521036288 542233 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32823] ppid=32736 vsize=19063512 memory=10496 CPUtime=0 cores=1,3
/proc/32751/task/32823/stat : 32823 (Timer-0) S 32736 32751 32315 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40037689 19521036288 542233 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
Current children cumulated CPU time: 3329.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2168932 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.14 7/329 33010
/proc/meminfo: memFree=98201152/131382120 swapFree=33010160/33010684
[pid=32751] ppid=32736 vsize=19063512 memory=2169060 CPUtime=3389.23 cores=1,3
/proc/32751/stat : 32751 (java) S 32736 32751 32315 0 -1 4194304 96412 0 0 0 337906 1017 0 0 20 0 20 0 40037631 19521036288 542265 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
/proc/32751/statm: 4765878 542265 5518 1 0 555824 0
[pid=32751/tid=32759] ppid=32736 vsize=19063512 memory=2168932 CPUtime=3353.99 cores=1,3
/proc/32751/task/32759/stat : 32759 (java) R 32736 32751 32315 0 -1 4194368 37025 0 0 0 334572 827 0 0 20 0 20 0 40037634 19521036288 542265 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32809] ppid=32736 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/32751/task/32809/stat : 32809 (Finalizer) S 32736 32751 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40037639 19521036288 542265 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32820] ppid=32736 vsize=19063512 memory=2169060 CPUtime=0 cores=1,3
/proc/32751/task/32820/stat : 32820 (Common-Cleaner) S 32736 32751 32315 0 -1 4194368 1464 0 0 0 0 0 0 0 20 0 20 0 40037640 19521036288 542265 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32823] ppid=32736 vsize=19063512 memory=2169060 CPUtime=0 cores=1,3
/proc/32751/task/32823/stat : 32823 (Timer-0) S 32736 32751 32315 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40037689 19521036288 542265 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
Current children cumulated CPU time: 3389.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2169060 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.12 4.14 7/329 33013
/proc/meminfo: memFree=97855124/131382120 swapFree=33010160/33010684
[pid=32751] ppid=32736 vsize=19063512 memory=2169060 CPUtime=3449.19 cores=1,3
/proc/32751/stat : 32751 (java) S 32736 32751 32315 0 -1 4194304 98183 0 0 0 343887 1032 0 0 20 0 20 0 40037631 19521036288 542265 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
/proc/32751/statm: 4765878 542265 5518 1 0 555824 0
[pid=32751/tid=32759] ppid=32736 vsize=19063512 memory=2168932 CPUtime=3413.56 cores=1,3
/proc/32751/task/32759/stat : 32759 (java) R 32736 32751 32315 0 -1 4194368 37992 0 0 0 340517 839 0 0 20 0 20 0 40037634 19521036288 542265 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32809] ppid=32736 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/32751/task/32809/stat : 32809 (Finalizer) S 32736 32751 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40037639 19521036288 542265 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32820] ppid=32736 vsize=19063512 memory=2169060 CPUtime=0 cores=1,3
/proc/32751/task/32820/stat : 32820 (Common-Cleaner) S 32736 32751 32315 0 -1 4194368 1539 0 0 0 0 0 0 0 20 0 20 0 40037640 19521036288 542265 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32823] ppid=32736 vsize=19063512 memory=16264 CPUtime=0 cores=1,3
/proc/32751/task/32823/stat : 32823 (Timer-0) S 32736 32751 32315 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40037689 19521036288 542265 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
Current children cumulated CPU time: 3449.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2169060 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.13 7/329 33015
/proc/meminfo: memFree=97557160/131382120 swapFree=33010160/33010684
[pid=32751] ppid=32736 vsize=19063512 memory=2169060 CPUtime=3509.19 cores=1,3
/proc/32751/stat : 32751 (java) S 32736 32751 32315 0 -1 4194304 99739 0 0 0 349874 1045 0 0 20 0 20 0 40037631 19521036288 542265 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
/proc/32751/statm: 4765878 542265 5518 1 0 555824 0
[pid=32751/tid=32759] ppid=32736 vsize=19063512 memory=2169060 CPUtime=3473.1 cores=1,3
/proc/32751/task/32759/stat : 32759 (java) R 32736 32751 32315 0 -1 4194368 38878 0 0 0 346461 849 0 0 20 0 20 0 40037634 19521036288 542265 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32809] ppid=32736 vsize=19063512 memory=2169060 CPUtime=0 cores=1,3
/proc/32751/task/32809/stat : 32809 (Finalizer) S 32736 32751 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40037639 19521036288 542265 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32820] ppid=32736 vsize=19063512 memory=2169060 CPUtime=0 cores=1,3
/proc/32751/task/32820/stat : 32820 (Common-Cleaner) S 32736 32751 32315 0 -1 4194368 1540 0 0 0 0 0 0 0 20 0 20 0 40037640 19521036288 542265 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32823] ppid=32736 vsize=19063512 memory=16264 CPUtime=0 cores=1,3
/proc/32751/task/32823/stat : 32823 (Timer-0) S 32736 32751 32315 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40037689 19521036288 542265 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
Current children cumulated CPU time: 3509.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2169060 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.13 4.14 7/331 33020
/proc/meminfo: memFree=97221656/131382120 swapFree=33010160/33010684
[pid=32751] ppid=32736 vsize=19063512 memory=2169060 CPUtime=3569.08 cores=1,3
/proc/32751/stat : 32751 (java) S 32736 32751 32315 0 -1 4194304 99868 0 0 0 355849 1059 0 0 20 0 20 0 40037631 19521036288 542265 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
/proc/32751/statm: 4765878 542265 5518 1 0 555824 0
[pid=32751/tid=32759] ppid=32736 vsize=19063512 memory=16264 CPUtime=3532.77 cores=1,3
/proc/32751/task/32759/stat : 32759 (java) R 32736 32751 32315 0 -1 4194368 38927 0 0 0 352416 861 0 0 20 0 20 0 40037634 19521036288 542265 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32809] ppid=32736 vsize=19063512 memory=5888 CPUtime=0 cores=1,3
/proc/32751/task/32809/stat : 32809 (Finalizer) S 32736 32751 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40037639 19521036288 542265 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32820] ppid=32736 vsize=19063512 memory=2169060 CPUtime=0 cores=1,3
/proc/32751/task/32820/stat : 32820 (Common-Cleaner) S 32736 32751 32315 0 -1 4194368 1595 0 0 0 0 0 0 0 20 0 20 0 40037640 19521036288 542265 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32823] ppid=32736 vsize=19063512 memory=-6000919481329871468 CPUtime=0 cores=1,3
/proc/32751/task/32823/stat : 32823 (Timer-0) S 32736 32751 32315 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40037689 19521036288 542265 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
Current children cumulated CPU time: 3569.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2169060 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.3 s]
/proc/loadavg: 4.11 4.12 4.13 6/307 33060
/proc/meminfo: memFree=107645980/131382120 swapFree=33010160/33010684
[pid=32751] ppid=32736 vsize=19063512 memory=2169060 CPUtime=3600.02 cores=1,3
/proc/32751/stat : 32751 (java) S 32736 32751 32315 0 -1 4194304 99877 0 0 0 358936 1066 0 0 20 0 20 0 40037631 19521036288 542265 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
/proc/32751/statm: 4765878 542265 5518 1 0 555824 0
[pid=32751/tid=32759] ppid=32736 vsize=19063512 memory=2169060 CPUtime=3563.56 cores=1,3
/proc/32751/task/32759/stat : 32759 (java) R 32736 32751 32315 0 -1 4194368 38928 0 0 0 355490 866 0 0 20 0 20 0 40037634 19521036288 542265 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32809] ppid=32736 vsize=19063512 memory=16264 CPUtime=0 cores=1,3
/proc/32751/task/32809/stat : 32809 (Finalizer) S 32736 32751 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40037639 19521036288 542265 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32820] ppid=32736 vsize=19063512 memory=17280 CPUtime=0 cores=1,3
/proc/32751/task/32820/stat : 32820 (Common-Cleaner) S 32736 32751 32315 0 -1 4194368 1595 0 0 0 0 0 0 0 20 0 20 0 40037640 19521036288 542265 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32823] ppid=32736 vsize=19063512 memory=-6000919481329871468 CPUtime=0 cores=1,3
/proc/32751/task/32823/stat : 32823 (Timer-0) S 32736 32751 32315 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40037689 19521036288 542265 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2169060 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.56 s, system=10.7014 s

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

[startup+3613.4 s]
/proc/loadavg: 4.11 4.12 4.13 6/307 33060
/proc/meminfo: memFree=107645980/131382120 swapFree=33010160/33010684
[pid=32751] ppid=32736 vsize=19263204 memory=2169828 CPUtime=3600.22 cores=1,3
/proc/32751/stat : 32751 (java) S 32736 32751 32315 0 -1 4194304 102589 0 0 0 358954 1068 0 0 20 0 21 0 40037631 19725520896 542457 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
/proc/32751/statm: 4815801 542457 5518 1 0 556727 0
[pid=32751/tid=32759] ppid=32736 vsize=19263204 memory=2605304 CPUtime=3563.58 cores=1,3
/proc/32751/task/32759/stat : 32759 (java) S 32736 32751 32315 0 -1 4194368 39271 0 0 0 355491 867 0 0 20 0 21 0 40037634 19725520896 542457 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32809] ppid=32736 vsize=19263204 memory=2017496 CPUtime=0 cores=1,3
/proc/32751/task/32809/stat : 32809 (Finalizer) S 32736 32751 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 40037639 19725520896 542457 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
[pid=32751/tid=32820] ppid=32736 vsize=19263204 memory=2169060 CPUtime=0 cores=1,3
/proc/32751/task/32820/stat : 32820 (Common-Cleaner) S 32736 32751 32315 0 -1 4194368 1595 0 0 0 0 0 0 0 20 0 21 0 40037640 19725520896 542457 18446744073709551615 94296060809216 94296060812912 140735653195152 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94296060820728 94296060821520 94296093155328 140735653202224 140735653202406 140735653202406 140735653208008 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2169828 KiB

Child status: 143

Real time (s): 3613.44
CPU time (s): 3600.27
CPU user time (s): 3589.56
CPU system time (s): 10.7014
CPU usage (%): 99.6355
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2169828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.56
system time used= 10.7014
maximum resident set size= 2170084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102779
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13497880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116341
involuntary context switches= 10345


# summary of solver processes directly reported to runsolver:
#   pid: 32751
#   total CPU time (s): 3600.27
#   total CPU user time (s): 3589.56
#   total CPU system time (s): 10.7014

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5552 second user time and 37.7942 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-06-30 02:33:05
IDJOB=4517299
IDBENCH=176049
IDSOLVER=3364
FILE ID=nodeC008/4517299-1751243585
RUNJOBID= nodeC008-1751243585-32695
SLURM_JOB_ID= 9587726
Free space on /tmp= 433060 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/array_comm/normalized-16arraycomm_teq_tvars_greater.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517299-1751243585/watcher-4517299-1751243585 -o /tmp/evaluation-result-4517299-1751243585/solver-4517299-1751243585 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751243585-32695 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4517299-1751243585 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4517299-1751243585.opb

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

MD5SUM BENCH= 87f67814fd1a58888c5941928a1532df
RANDOM SEED=1814985426

nodeC008 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.282
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.72
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		: 1197.208
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.72
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.201
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.72
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.288
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.72
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.265
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.72
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.082
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.72
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.184
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.72
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.213
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.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        130311924 kB
MemAvailable:   129938800 kB
Buffers:            2144 kB
Cached:           417440 kB
SwapCached:            4 kB
Active:           288628 kB
Inactive:         201728 kB
Active(anon):      51884 kB
Inactive(anon):    36808 kB
Active(file):     236744 kB
Inactive(file):   164920 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3308 kB
Writeback:            20 kB
AnonPages:         73920 kB
Mapped:           102624 kB
Shmem:             17916 kB
KReclaimable:      87968 kB
Slab:             170456 kB
SReclaimable:      87968 kB
SUnreclaim:        82488 kB
KernelStack:        3904 kB
PageTables:         2844 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     330604 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149288 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC008 at 2025-06-30 03:33:19