Trace number 4516507

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.32 3592.5

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-1500.shuf-1.opb
MD5SUM32d8cc264951b7044fd33d2e6b7cca98
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.247327
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6001
Total number of constraints6000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)698
Number of constraints which are nor clauses,nor cardinality constraints5302
Minimum length of a constraint4
Maximum length of a constraint5
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.12/0.18	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.18	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.18	c See www.sat4j.org for details.
0.12/0.19	c version PB25.v20250606
0.12/0.22	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.22	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.22	c java.vm.version	22.0.1+8-16
0.12/0.22	c java.vm.vendor	Oracle Corporation
0.12/0.22	c sun.arch.data.model	64
0.12/0.22	c java.version		22.0.1
0.12/0.22	c os.name		Linux
0.12/0.22	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.12/0.22	c os.arch		amd64
0.12/0.23	c Free memory 		2104792832
0.12/0.23	c Max memory 		16282288128
0.12/0.23	c Total memory 		2113929216
0.31/0.24	c Number of processors 	2
0.45/0.34	c Pseudo Boolean Optimization by upper bound
0.45/0.34	c --- Begin Solver configuration ---
0.45/0.34	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.45/0.34	c Learn all clauses as in MiniSAT
0.45/0.34	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.45/0.34	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.45/0.34	c Expensive reason simplification
0.45/0.34	c Glucose 2.1 dynamic restart strategy
0.45/0.34	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.45/0.34	c timeout=2147483s
0.45/0.34	c DB Simplification allowed=false
0.45/0.34	c Listener: none
0.45/0.34	c --- End Solver configuration ---
0.45/0.34	c solving HOME/instance-4516507-1751240311.opb
0.45/0.34	c reading problem ... 
0.45/0.35	c using VERIPB proof format
0.45/0.35	c  no objective function found
1.15/0.72	c ... done. Wall clock time 0.366s.
1.15/0.72	c declared #vars     6001
1.15/0.72	c #constraints  6000
1.15/0.72	c constraints type 
1.15/0.72	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 6000
1.15/0.72	c 6000 constraints processed.
4.30/2.38	c cleaning 2493 clauses out of 5000 with flag 36541/5000
6.08/3.28	c cleaning 4242 clauses out of 8507 with flag 94297/11000
7.25/4.06	c cleaning 5621 clauses out of 11267 with flag 164298/18002
8.60/4.96	c cleaning 6805 clauses out of 13644 with flag 242912/26000
9.80/5.87	c cleaning 7892 clauses out of 15840 with flag 319238/35001
11.02/7.01	c cleaning 8928 clauses out of 17948 with flag 420357/45001
12.22/8.24	c cleaning 9965 clauses out of 20020 with flag 533675/56001
13.51/9.55	c cleaning 10985 clauses out of 22054 with flag 660822/68000
15.04/11.09	c cleaning 11985 clauses out of 24070 with flag 798342/81001
16.64/12.68	c cleaning 12995 clauses out of 26084 with flag 955330/95000
18.35/14.38	c cleaning 13979 clauses out of 28090 with flag 1130190/110001
20.15/16.19	c cleaning 14967 clauses out of 30112 with flag 1313569/126002
22.31/18.24	c cleaning 16007 clauses out of 32144 with flag 1498581/143001
25.47/21.39	c cleaning 17010 clauses out of 34136 with flag 1701826/161000
27.97/23.75	c cleaning 17965 clauses out of 36128 with flag 1931340/180002
30.46/26.23	c cleaning 19000 clauses out of 38163 with flag 2157466/200002
32.96/28.73	c cleaning 20002 clauses out of 40161 with flag 2413358/221000
35.55/31.37	c cleaning 20998 clauses out of 42159 with flag 2677070/243000
38.30/34.25	c cleaning 22002 clauses out of 44161 with flag 2960335/266000
42.20/38.15	c cleaning 23021 clauses out of 46160 with flag 3233405/290001
45.23/41.19	c cleaning 24052 clauses out of 48139 with flag 3535000/315001
48.42/44.32	c cleaning 25003 clauses out of 50086 with flag 3854776/341000
51.53/47.49	c cleaning 25968 clauses out of 52083 with flag 4162818/368000
55.05/50.96	c cleaning 26975 clauses out of 54116 with flag 4516684/396001
58.80/54.62	c cleaning 28002 clauses out of 56141 with flag 4897113/425001
62.74/58.50	c cleaning 29007 clauses out of 58139 with flag 5271580/455001
66.47/62.49	c cleaning 29964 clauses out of 60132 with flag 5692592/486001
70.53/66.45	c cleaning 31012 clauses out of 62169 with flag 6097728/518002
74.43/70.31	c cleaning 32004 clauses out of 64156 with flag 6518407/551001
78.39/74.28	c cleaning 32986 clauses out of 66151 with flag 6964572/585000
82.30/78.19	c cleaning 33991 clauses out of 68165 with flag 7393010/620000
87.87/83.60	c cleaning 34996 clauses out of 70174 with flag 7851378/656000
92.16/87.96	c cleaning 36017 clauses out of 72178 with flag 8332130/693000
96.97/92.65	c cleaning 37014 clauses out of 74161 with flag 8806778/731000
101.69/97.50	c cleaning 38007 clauses out of 76151 with flag 9332640/770004
106.47/102.24	c cleaning 38955 clauses out of 78142 with flag 9834176/810002
111.26/107.09	c cleaning 40014 clauses out of 80185 with flag 10389614/851000
116.15/111.97	c cleaning 40997 clauses out of 82175 with flag 10934586/893004
121.45/117.10	c cleaning 42014 clauses out of 84174 with flag 11490168/936000
126.45/122.04	c cleaning 42990 clauses out of 86160 with flag 12045507/980000
132.35/128.22	c cleaning 43995 clauses out of 88172 with flag 12610026/1025002
138.48/134.25	c cleaning 45010 clauses out of 90175 with flag 13197928/1071000
144.66/140.40	c cleaning 45991 clauses out of 92165 with flag 13813449/1118000
150.26/146.08	c cleaning 47038 clauses out of 94174 with flag 14460447/1166000
156.85/152.25	c cleaning 47964 clauses out of 96137 with flag 15102669/1215001
162.87/158.41	c cleaning 49003 clauses out of 98172 with flag 15768419/1265000
169.30/164.78	c cleaning 50085 clauses out of 100169 with flag 16429132/1316000
175.60/171.10	c cleaning 50961 clauses out of 102084 with flag 17137264/1368000
181.87/177.33	c cleaning 51952 clauses out of 104124 with flag 17826413/1421001
188.60/183.95	c cleaning 53039 clauses out of 106171 with flag 18541763/1475000
195.01/190.53	c cleaning 53975 clauses out of 108133 with flag 19236283/1530001
203.35/198.72	c cleaning 54977 clauses out of 110157 with flag 19962128/1586000
210.74/205.96	c cleaning 56007 clauses out of 112181 with flag 20709432/1643001
217.82/212.98	c cleaning 56982 clauses out of 114173 with flag 21478606/1701000
225.19/220.32	c cleaning 57996 clauses out of 116193 with flag 22261171/1760002
232.28/227.40	c cleaning 59028 clauses out of 118197 with flag 23046272/1820002
239.81/234.80	c cleaning 59996 clauses out of 120168 with flag 23838029/1881001
248.94/243.84	c cleaning 61016 clauses out of 122171 with flag 24694582/1943000
256.56/251.62	c cleaning 61999 clauses out of 124155 with flag 25560470/2006000
265.57/260.58	c cleaning 62989 clauses out of 126156 with flag 26402625/2070000
273.50/268.44	c cleaning 63998 clauses out of 128167 with flag 27275317/2135000
283.22/278.06	c cleaning 65022 clauses out of 130170 with flag 28192451/2201001
291.43/286.42	c cleaning 66074 clauses out of 132147 with flag 29108260/2268000
300.96/295.86	c cleaning 66951 clauses out of 134074 with flag 29993389/2336001
310.92/305.64	c cleaning 67997 clauses out of 136122 with flag 30902183/2405000
319.35/314.22	c cleaning 68989 clauses out of 138126 with flag 31828017/2475001
329.26/324.02	c cleaning 69985 clauses out of 140136 with flag 32770644/2546000
337.93/332.79	c cleaning 70976 clauses out of 142151 with flag 33739366/2618000
346.98/341.87	c cleaning 71979 clauses out of 144176 with flag 34691726/2691001
356.56/351.25	c cleaning 73001 clauses out of 146197 with flag 35694499/2765001
367.02/361.53	c cleaning 74030 clauses out of 148195 with flag 36693000/2840000
376.36/371.07	c cleaning 75009 clauses out of 150165 with flag 37742290/2916000
385.77/380.48	c cleaning 76004 clauses out of 152157 with flag 38784556/2993001
395.64/390.29	c cleaning 76980 clauses out of 154152 with flag 39856755/3071000
405.42/400.09	c cleaning 77993 clauses out of 156172 with flag 40940586/3150000
415.21/409.99	c cleaning 79013 clauses out of 158181 with flag 42002590/3230002
425.62/420.20	c cleaning 80004 clauses out of 160166 with flag 43116856/3311000
435.52/430.15	c cleaning 80991 clauses out of 162164 with flag 44227027/3393002
447.42/442.14	c cleaning 82018 clauses out of 164171 with flag 45329424/3476000
457.86/452.46	c cleaning 83003 clauses out of 166153 with flag 46427988/3560000
468.76/463.36	c cleaning 83995 clauses out of 168150 with flag 47571384/3645000
479.44/474.06	c cleaning 85027 clauses out of 170155 with flag 48743965/3731000
490.37/484.98	c cleaning 85976 clauses out of 172128 with flag 49917029/3818000
501.53/496.12	c cleaning 87010 clauses out of 174154 with flag 51065487/3906002
512.59/507.23	c cleaning 87984 clauses out of 176143 with flag 52268317/3995001
524.17/518.70	c cleaning 89018 clauses out of 178158 with flag 53485683/4085000
535.84/530.45	c cleaning 89979 clauses out of 180140 with flag 54716020/4176000
547.90/542.31	c cleaning 90992 clauses out of 182161 with flag 55982977/4268000
560.02/554.34	c cleaning 92008 clauses out of 184169 with flag 57239689/4361000
572.03/566.41	c cleaning 93016 clauses out of 186161 with flag 58490628/4455000
584.20/578.57	c cleaning 94000 clauses out of 188145 with flag 59787991/4550000
596.42/591.00	c cleaning 95014 clauses out of 190146 with flag 61086250/4646001
610.25/604.74	c cleaning 95975 clauses out of 192132 with flag 62390921/4743001
623.98/618.52	c cleaning 97026 clauses out of 194156 with flag 63707785/4841000
637.21/631.62	c cleaning 97984 clauses out of 196132 with flag 65068656/4940002
650.45/644.73	c cleaning 98988 clauses out of 198147 with flag 66433619/5040001
664.11/658.37	c cleaning 100009 clauses out of 200158 with flag 67815022/5141000
677.81/671.90	c cleaning 101007 clauses out of 202149 with flag 69237585/5243000
692.53/686.79	c cleaning 102000 clauses out of 204142 with flag 70664808/5346000
706.63/700.72	c cleaning 103000 clauses out of 206143 with flag 72108970/5450001
720.16/714.42	c cleaning 104010 clauses out of 208143 with flag 73515902/5555001
734.09/728.39	c cleaning 104993 clauses out of 210133 with flag 74969221/5661001
748.52/742.86	c cleaning 105988 clauses out of 212139 with flag 76420129/5768000
762.83/757.06	c cleaning 107010 clauses out of 214152 with flag 77899698/5876001
778.30/772.59	c cleaning 107984 clauses out of 216141 with flag 79404515/5985000
794.02/788.20	c cleaning 108990 clauses out of 218160 with flag 80893668/6095003
808.99/803.14	c cleaning 109978 clauses out of 220167 with flag 82416809/6206000
823.81/817.88	c cleaning 111011 clauses out of 222190 with flag 83954974/6318001
840.57/834.69	c cleaning 112025 clauses out of 224181 with flag 85517541/6431003
856.44/850.46	c cleaning 113008 clauses out of 226153 with flag 87120976/6545000
871.60/865.67	c cleaning 114011 clauses out of 228146 with flag 88656968/6660001
887.51/881.46	c cleaning 115004 clauses out of 230136 with flag 90282023/6776002
903.72/897.66	c cleaning 115984 clauses out of 232130 with flag 91894041/6893000
920.55/914.36	c cleaning 116968 clauses out of 234147 with flag 93479140/7011001
936.73/930.50	c cleaning 118019 clauses out of 236178 with flag 95099226/7130000
952.67/946.42	c cleaning 118997 clauses out of 238159 with flag 96723772/7250000
968.89/962.72	c cleaning 120017 clauses out of 240162 with flag 98398102/7371000
985.37/979.18	c cleaning 120972 clauses out of 242145 with flag 100077656/7493000
1002.46/996.85	c cleaning 122020 clauses out of 244174 with flag 101760815/7616001
1019.36/1013.64	c cleaning 122993 clauses out of 246154 with flag 103459315/7740001
1036.44/1030.75	c cleaning 124009 clauses out of 248160 with flag 105179247/7865000
1053.52/1047.83	c cleaning 125007 clauses out of 250151 with flag 106905294/7991000
1073.01/1066.61	c cleaning 126024 clauses out of 252144 with flag 108640113/8118000
1090.64/1084.35	c cleaning 126985 clauses out of 254121 with flag 110437602/8246001
1108.42/1102.10	c cleaning 127993 clauses out of 256135 with flag 112216236/8375000
1126.44/1120.12	c cleaning 128988 clauses out of 258143 with flag 114007289/8505001
1144.52/1138.15	c cleaning 130029 clauses out of 260158 with flag 115819257/8636004
1162.94/1156.64	c cleaning 130994 clauses out of 262126 with flag 117683557/8768001
1181.69/1175.65	c cleaning 131989 clauses out of 264131 with flag 119542522/8901000
1203.65/1197.11	c cleaning 133001 clauses out of 266142 with flag 121414343/9035000
1223.49/1217.10	c cleaning 133995 clauses out of 268141 with flag 123300232/9170000
1243.57/1237.23	c cleaning 134998 clauses out of 270147 with flag 125227147/9306001
1263.80/1257.48	c cleaning 136002 clauses out of 272148 with flag 127171516/9443000
1283.59/1277.63	c cleaning 136984 clauses out of 274146 with flag 129133466/9581000
1304.19/1298.38	c cleaning 138013 clauses out of 276163 with flag 131075697/9720001
1325.05/1319.11	c cleaning 139001 clauses out of 278149 with flag 133043260/9860000
1345.51/1339.65	c cleaning 139995 clauses out of 280148 with flag 134983461/10001000
1365.52/1359.81	c cleaning 140983 clauses out of 282153 with flag 136971558/10143000
1387.28/1381.48	c cleaning 142010 clauses out of 284170 with flag 138970564/10286000
1410.65/1404.88	c cleaning 143069 clauses out of 286160 with flag 141027655/10430000
1431.39/1425.73	c cleaning 143985 clauses out of 288093 with flag 143067747/10575002
1452.54/1446.94	c cleaning 144965 clauses out of 290107 with flag 145108180/10721001
1473.31/1467.69	c cleaning 146005 clauses out of 292144 with flag 147174136/10868003
1495.38/1489.47	c cleaning 146989 clauses out of 294137 with flag 149275493/11016001
1516.71/1510.90	c cleaning 148019 clauses out of 296148 with flag 151392698/11165001
1538.64/1532.84	c cleaning 148977 clauses out of 298128 with flag 153556847/11315000
1561.44/1555.67	c cleaning 149999 clauses out of 300151 with flag 155695256/11466000
1584.15/1578.58	c cleaning 151036 clauses out of 302152 with flag 157820554/11618000
1607.10/1601.67	c cleaning 151976 clauses out of 304117 with flag 159940747/11771001
1630.47/1624.93	c cleaning 152996 clauses out of 306140 with flag 162126435/11925000
1653.39/1648.05	c cleaning 153992 clauses out of 308145 with flag 164390466/12080001
1678.13/1672.84	c cleaning 155016 clauses out of 310152 with flag 166668671/12236000
1700.76/1695.64	c cleaning 156000 clauses out of 312137 with flag 168908218/12393001
1723.68/1718.49	c cleaning 157004 clauses out of 314137 with flag 171157757/12551001
1747.00/1741.84	c cleaning 157992 clauses out of 316134 with flag 173444066/12710002
1770.08/1765.29	c cleaning 159005 clauses out of 318140 with flag 175730821/12870000
1794.81/1789.92	c cleaning 159993 clauses out of 320135 with flag 178014949/13031000
1820.68/1815.87	c cleaning 160972 clauses out of 322144 with flag 180304317/13193002
1845.61/1840.75	c cleaning 162014 clauses out of 324170 with flag 182624414/13356000
1870.89/1866.03	c cleaning 162986 clauses out of 326156 with flag 184982127/13520000
1895.93/1891.26	c cleaning 164026 clauses out of 328170 with flag 187323580/13685000
1921.24/1916.66	c cleaning 164978 clauses out of 330145 with flag 189679364/13851001
1946.38/1941.97	c cleaning 166006 clauses out of 332166 with flag 192053947/14018000
1972.25/1967.69	c cleaning 166991 clauses out of 334160 with flag 194468831/14186000
1998.65/1994.06	c cleaning 168014 clauses out of 336170 with flag 196873423/14355001
2023.58/2019.14	c cleaning 169014 clauses out of 338158 with flag 199287973/14525003
2050.37/2045.87	c cleaning 169986 clauses out of 340142 with flag 201734609/14696001
2075.51/2071.04	c cleaning 171018 clauses out of 342155 with flag 204178069/14868000
2100.84/2096.30	c cleaning 172008 clauses out of 344137 with flag 206616482/15041000
2127.73/2123.24	c cleaning 172969 clauses out of 346129 with flag 209091453/15215000
2154.59/2149.93	c cleaning 173990 clauses out of 348163 with flag 211604672/15390003
2182.01/2177.31	c cleaning 175008 clauses out of 350170 with flag 214121591/15566000
2210.49/2207.19	c cleaning 175976 clauses out of 352162 with flag 216700016/15743000
2238.28/2234.90	c cleaning 176997 clauses out of 354187 with flag 219274509/15921001
2265.95/2262.60	c cleaning 178022 clauses out of 356190 with flag 221843940/16100001
2293.19/2290.00	c cleaning 178990 clauses out of 358167 with flag 224429522/16280000
2321.82/2318.54	c cleaning 180023 clauses out of 360180 with flag 227083006/16461003
2350.56/2347.21	c cleaning 181018 clauses out of 362156 with flag 229720452/16643002
2379.19/2375.89	c cleaning 181989 clauses out of 364138 with flag 232358133/16826002
2407.82/2404.63	c cleaning 182977 clauses out of 366148 with flag 235018538/17010001
2438.69/2435.50	c cleaning 184027 clauses out of 368170 with flag 237743432/17195000
2466.63/2463.47	c cleaning 185012 clauses out of 370145 with flag 240416537/17381002
2496.45/2493.38	c cleaning 185976 clauses out of 372131 with flag 243161452/17568000
2526.58/2523.32	c cleaning 187023 clauses out of 374155 with flag 245950172/17756000
2556.75/2553.45	c cleaning 187977 clauses out of 376133 with flag 248719710/17945001
2587.43/2584.03	c cleaning 189078 clauses out of 378155 with flag 251487327/18135000
2618.18/2614.83	c cleaning 189982 clauses out of 380078 with flag 254234337/18326001
2649.11/2645.66	c cleaning 191014 clauses out of 382095 with flag 257035325/18518000
2679.51/2675.66	c cleaning 191960 clauses out of 384081 with flag 259829809/18711000
2710.23/2706.43	c cleaning 193000 clauses out of 386122 with flag 262685701/18905001
2740.24/2736.14	c cleaning 193977 clauses out of 388121 with flag 265507517/19100000
2770.64/2766.60	c cleaning 194991 clauses out of 390145 with flag 268341655/19296001
2800.96/2796.85	c cleaning 195998 clauses out of 392154 with flag 271228893/19493001
2831.94/2827.89	c cleaning 197017 clauses out of 394155 with flag 274164336/19691000
2863.10/2858.75	c cleaning 197995 clauses out of 396140 with flag 277051732/19890002
2896.07/2891.66	c cleaning 198985 clauses out of 398143 with flag 280035477/20090000
2928.24/2923.68	c cleaning 200010 clauses out of 400158 with flag 283016759/20291000
2962.79/2958.36	c cleaning 201008 clauses out of 402149 with flag 285988381/20493001
2995.98/2991.40	c cleaning 201986 clauses out of 404140 with flag 289004760/20696000
3029.68/3024.95	c cleaning 203003 clauses out of 406156 with flag 292023228/20900002
3063.32/3058.32	c cleaning 204016 clauses out of 408151 with flag 295029894/21105000
3096.91/3091.89	c cleaning 205009 clauses out of 410137 with flag 298164587/21311002
3132.16/3127.18	c cleaning 206002 clauses out of 412126 with flag 301275335/21518000
3167.03/3162.09	c cleaning 206972 clauses out of 414125 with flag 304322966/21726001
3200.55/3195.36	c cleaning 208035 clauses out of 416152 with flag 307426515/21935000
3235.17/3229.86	c cleaning 208972 clauses out of 418118 with flag 310549646/22145001
3270.35/3264.86	c cleaning 209986 clauses out of 420145 with flag 313679924/22356000
3305.34/3299.56	c cleaning 211021 clauses out of 422161 with flag 316833716/22568002
3340.88/3334.74	c cleaning 211995 clauses out of 424138 with flag 320024065/22781000
3377.35/3370.80	c cleaning 213002 clauses out of 426143 with flag 323246269/22995000
3414.15/3407.31	c cleaning 214009 clauses out of 428141 with flag 326521706/23210000
3448.63/3441.87	c cleaning 214986 clauses out of 430132 with flag 329749106/23426000
3484.31/3477.34	c cleaning 215985 clauses out of 432147 with flag 333003049/23643001
3520.95/3513.77	c cleaning 217003 clauses out of 434162 with flag 336261954/23861001
3556.83/3549.46	c cleaning 218000 clauses out of 436159 with flag 339545471/24080001
3593.95/3586.26	c cleaning 219008 clauses out of 438159 with flag 342789534/24300001
3600.04/3592.32	c starts		: 165409
3600.04/3592.32	c timeout
3600.04/3592.34	c conflicts		: 24341840
3600.04/3592.34	c decisions		: 446573865
3600.04/3592.34	c propagations		: 4166514015
3600.04/3592.34	c inspects		: 19863331721
3600.04/3592.34	c shortcuts		: 0
3600.04/3592.34	c learnt literals	: 0
3600.04/3592.34	c learnt binary clauses	: 0
3600.04/3592.34	c learnt ternary clauses	: 0
3600.04/3592.34	c learnt constraints	: 24341840
3600.04/3592.34	c ignored constraints	: 0
3600.04/3592.34	c root simplifications	: 0
3600.04/3592.34	c removed literals (reason simplification)	: 32758496
3600.04/3592.34	c reason swapping (by a shorter reason)	: 0
3600.04/3592.34	c Calls to reduceDB	: 216
3600.04/3592.34	c Number of update (reduction) of LBD	: 8565129
3600.04/3592.34	c Imported unit clauses	: 0
3600.04/3592.34	c No decision after first conflict	: false
3600.04/3592.35	c number of reductions to clauses (during analyze)	: 0
3600.04/3592.35	c number of learned constraints concerned by reduction	: 0
3600.04/3592.35	c number of learning phase by resolution	: 0
3600.04/3592.35	c number of learning phase by cutting planes	: 0
3600.04/3592.35	c number of rounding to 1 operations	: 0
3600.04/3592.35	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3592.35	c number of reductions of the coefficients by power 2 	: 0
3600.04/3592.35	c number of right shift for reduction by power 2 	: 0
3600.04/3592.35	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3592.35	c number of ending skipping 	: 0
3600.04/3592.35	c number of internal skipping 	: 0
3600.04/3592.35	c number of derivation steps 	: 0
3600.04/3592.35	c number of skipped derivation steps 	: 0
3600.04/3592.35	c number of remaining unassigned 	: 0
3600.04/3592.35	c number of remaining assigned 	: 0
3600.04/3592.35	c number of falsified literals weakened from reason	: 0
3600.04/3592.35	c number of falsified literals weakened from conflict	: 0
3600.04/3592.35	c time for arithmetic operations	: 0
3600.04/3592.35	c minimum degree of deleted constraints	: null
3600.04/3592.35	c maximum degree of deleted constraints	: null
3600.04/3592.35	c number of deleted constraints	: 0
3600.04/3592.35	c speed (assignments/second)	: 1160067.6395257507
3600.04/3592.35	c non guided choices	: 9150013
3600.22/3592.42	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 260990
3600.22/3592.43	s UNKNOWN
3600.22/3592.43	c Total wall clock time (in seconds): 3592.081

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=41195, runsolver pid=41180

[startup+0.100072 s]*
/proc/loadavg: 1.12 1.10 1.13 14/317 41264
/proc/meminfo: memFree=129855992/131382112 swapFree=33010684/33010684
[pid=41195] ppid=41180 vsize=18930384 memory=48652 CPUtime=0.12 cores=0,2
/proc/41195/stat : 41195 (java) S 41180 41195 35802 0 -1 4194304 5847 0 0 0 9 3 0 0 20 0 18 0 39710205 19384713216 12163 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
/proc/41195/statm: 4732596 12163 5304 1 0 547091 0
[pid=41195/tid=41206] ppid=41180 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/41195/task/41206/stat : 41206 (java) R 41180 41195 35802 0 -1 4194368 4678 0 0 0 6 2 0 0 20 0 18 0 39710207 19384713216 12163 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41255] ppid=41180 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/41195/task/41255/stat : 41255 (Finalizer) S 41180 41195 35802 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39710212 19384713216 12163 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41264] ppid=41180 vsize=18930384 memory=58494082638250 CPUtime=0 cores=0,2
/proc/41195/task/41264/stat : 41264 (Common-Cleaner) S 41180 41195 35802 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39710214 19384713216 12163 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48652 KiB

[startup+0.22202 s]*
/proc/loadavg: 1.12 1.10 1.13 11/317 41264
/proc/meminfo: memFree=129845028/131382112 swapFree=33010684/33010684
[pid=41195] ppid=41180 vsize=18930384 memory=53160 CPUtime=0.31 cores=0,2
/proc/41195/stat : 41195 (java) S 41180 41195 35802 0 -1 4194304 6444 0 0 0 26 5 0 0 20 0 18 0 39710205 19384713216 13290 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
/proc/41195/statm: 4732596 13290 5368 1 0 547535 0
[pid=41195/tid=41206] ppid=41180 vsize=18930384 memory=4026597660 CPUtime=0.18 cores=0,2
/proc/41195/task/41206/stat : 41206 (java) R 41180 41195 35802 0 -1 4194368 5003 0 0 0 16 2 0 0 20 0 18 0 39710207 19384713216 13290 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41255] ppid=41180 vsize=18930384 memory=17127 CPUtime=0 cores=0,2
/proc/41195/task/41255/stat : 41255 (Finalizer) S 41180 41195 35802 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39710212 19384713216 13290 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41264] ppid=41180 vsize=18930384 memory=57394570986489 CPUtime=0 cores=0,2
/proc/41195/task/41264/stat : 41264 (Common-Cleaner) S 41180 41195 35802 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39710214 19384713216 13290 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53160 KiB

[startup+0.314494 s]*
/proc/loadavg: 1.12 1.10 1.13 15/317 41264
/proc/meminfo: memFree=129819080/131382112 swapFree=33010684/33010684
[pid=41195] ppid=41180 vsize=18930384 memory=58340 CPUtime=0.45 cores=0,2
/proc/41195/stat : 41195 (java) S 41180 41195 35802 0 -1 4194304 6723 0 0 0 40 5 0 0 20 0 18 0 39710205 19384713216 14585 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
/proc/41195/statm: 4732596 14585 5368 1 0 547753 0
[pid=41195/tid=41206] ppid=41180 vsize=18930384 memory=-6000919507016182635 CPUtime=0.27 cores=0,2
/proc/41195/task/41206/stat : 41206 (java) R 41180 41195 35802 0 -1 4194368 5182 0 0 0 24 3 0 0 20 0 18 0 39710207 19384713216 14585 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41255] ppid=41180 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/41195/task/41255/stat : 41255 (Finalizer) S 41180 41195 35802 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39710212 19384713216 14585 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41264] ppid=41180 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/41195/task/41264/stat : 41264 (Common-Cleaner) S 41180 41195 35802 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39710214 19384713216 14585 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58340 KiB

[startup+0.70035 s]
/proc/loadavg: 1.12 1.10 1.13 13/320 41267
/proc/meminfo: memFree=129780984/131382112 swapFree=33010684/33010684
[pid=41195] ppid=41180 vsize=18996948 memory=178988 CPUtime=1.15 cores=0,2
/proc/41195/stat : 41195 (java) S 41180 41195 35802 0 -1 4194304 8588 0 0 0 104 11 0 0 20 0 19 0 39710205 19452874752 44747 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
/proc/41195/statm: 4749237 44747 5464 1 0 549165 0
[pid=41195/tid=41206] ppid=41180 vsize=18996948 memory=17408 CPUtime=0.56 cores=0,2
/proc/41195/task/41206/stat : 41206 (java) R 41180 41195 35802 0 -1 4194368 5325 0 0 0 48 8 0 0 20 0 19 0 39710207 19452874752 44747 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41255] ppid=41180 vsize=18996948 memory=11264 CPUtime=0 cores=0,2
/proc/41195/task/41255/stat : 41255 (Finalizer) S 41180 41195 35802 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39710212 19452874752 44747 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41264] ppid=41180 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/41195/task/41264/stat : 41264 (Common-Cleaner) S 41180 41195 35802 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39710214 19452874752 44747 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 178988 KiB

[startup+1.50031 s]
/proc/loadavg: 1.12 1.10 1.13 10/322 41269
/proc/meminfo: memFree=129602432/131382112 swapFree=33010684/33010684
[pid=41195] ppid=41180 vsize=19063512 memory=199812 CPUtime=2.72 cores=0,2
/proc/41195/stat : 41195 (java) S 41180 41195 35802 0 -1 4194304 14972 0 0 0 257 15 0 0 20 0 20 0 39710205 19521036288 49953 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
/proc/41195/statm: 4765878 49953 5464 1 0 551860 0
[pid=41195/tid=41206] ppid=41180 vsize=19063512 memory=3328 CPUtime=1.18 cores=0,2
/proc/41195/task/41206/stat : 41206 (java) R 41180 41195 35802 0 -1 4194368 5778 0 0 0 109 9 0 0 20 0 20 0 39710207 19521036288 49953 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41255] ppid=41180 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/41195/task/41255/stat : 41255 (Finalizer) S 41180 41195 35802 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39710212 19521036288 49953 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41264] ppid=41180 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/41195/task/41264/stat : 41264 (Common-Cleaner) S 41180 41195 35802 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39710214 19521036288 49953 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41269] ppid=41180 vsize=19063512 memory=14340 CPUtime=0 cores=0,2
/proc/41195/task/41269/stat : 41269 (Timer-0) S 41180 41195 35802 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39710279 19521036288 49953 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 199812 KiB

[startup+3.10561 s]
/proc/loadavg: 1.59 1.19 1.17 5/279 41291
/proc/meminfo: memFree=129380180/131382112 swapFree=33010684/33010684
[pid=41195] ppid=41180 vsize=19063512 memory=422796 CPUtime=5.89 cores=0,2
/proc/41195/stat : 41195 (java) S 41180 41195 35802 0 -1 4194304 21671 0 0 0 567 22 0 0 20 0 20 0 39710205 19521036288 105699 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
/proc/41195/statm: 4765878 105699 5464 1 0 553521 0
[pid=41195/tid=41206] ppid=41180 vsize=19063512 memory=14340 CPUtime=2.73 cores=0,2
/proc/41195/task/41206/stat : 41206 (java) R 41180 41195 35802 0 -1 4194368 7374 0 0 0 259 14 0 0 20 0 20 0 39710207 19521036288 105699 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41255] ppid=41180 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/41195/task/41255/stat : 41255 (Finalizer) S 41180 41195 35802 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39710212 19521036288 105699 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41264] ppid=41180 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/41195/task/41264/stat : 41264 (Common-Cleaner) S 41180 41195 35802 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39710214 19521036288 105699 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41269] ppid=41180 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/41195/task/41269/stat : 41269 (Timer-0) S 41180 41195 35802 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39710279 19521036288 105699 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
Current children cumulated CPU time: 5.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 422796 KiB

[startup+6.30043 s]
/proc/loadavg: 1.59 1.19 1.17 7/325 41405
/proc/meminfo: memFree=128220268/131382112 swapFree=33010684/33010684
[pid=41195] ppid=41180 vsize=19063512 memory=1114708 CPUtime=10.3 cores=0,2
/proc/41195/stat : 41195 (java) S 41180 41195 35802 0 -1 4194304 27775 0 0 0 989 41 0 0 20 0 20 0 39710205 19521036288 278677 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
/proc/41195/statm: 4765878 278677 5496 1 0 554346 0
[pid=41195/tid=41206] ppid=41180 vsize=19063512 memory=0 CPUtime=5.91 cores=0,2
/proc/41195/task/41206/stat : 41206 (java) R 41180 41195 35802 0 -1 4194368 8862 0 0 0 559 32 0 0 20 0 20 0 39710207 19521036288 278677 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41255] ppid=41180 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/41195/task/41255/stat : 41255 (Finalizer) S 41180 41195 35802 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39710212 19521036288 278677 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41264] ppid=41180 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/41195/task/41264/stat : 41264 (Common-Cleaner) S 41180 41195 35802 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39710214 19521036288 278677 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41269] ppid=41180 vsize=19063512 memory=202500 CPUtime=0 cores=0,2
/proc/41195/task/41269/stat : 41269 (Timer-0) S 41180 41195 35802 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39710279 19521036288 278677 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
Current children cumulated CPU time: 10.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1114708 KiB

[startup+12.7004 s]
/proc/loadavg: 1.94 1.27 1.19 5/325 41406
/proc/meminfo: memFree=126963716/131382112 swapFree=33010684/33010684
[pid=41195] ppid=41180 vsize=19063512 memory=1161956 CPUtime=16.75 cores=0,2
/proc/41195/stat : 41195 (java) S 41180 41195 35802 0 -1 4194304 29826 0 0 0 1629 46 0 0 20 0 20 0 39710205 19521036288 290489 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
/proc/41195/statm: 4765878 290489 5496 1 0 554362 0
[pid=41195/tid=41206] ppid=41180 vsize=19063512 memory=202500 CPUtime=12.21 cores=0,2
/proc/41195/task/41206/stat : 41206 (java) R 41180 41195 35802 0 -1 4194368 9115 0 0 0 1186 35 0 0 20 0 20 0 39710207 19521036288 290489 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41255] ppid=41180 vsize=19063512 memory=1161956 CPUtime=0 cores=0,2
/proc/41195/task/41255/stat : 41255 (Finalizer) S 41180 41195 35802 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39710212 19521036288 290489 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41264] ppid=41180 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/41195/task/41264/stat : 41264 (Common-Cleaner) S 41180 41195 35802 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 39710214 19521036288 290489 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41269] ppid=41180 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/41195/task/41269/stat : 41269 (Timer-0) S 41180 41195 35802 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39710279 19521036288 290489 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
Current children cumulated CPU time: 16.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1161956 KiB

[startup+25.5005 s]
/proc/loadavg: 2.40 1.41 1.24 5/325 41406
/proc/meminfo: memFree=124029440/131382112 swapFree=33010684/33010684
[pid=41195] ppid=41180 vsize=19063512 memory=1477036 CPUtime=29.77 cores=0,2
/proc/41195/stat : 41195 (java) S 41180 41195 35802 0 -1 4194304 35110 0 0 0 2917 60 0 0 20 0 20 0 39710205 19521036288 369259 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
/proc/41195/statm: 4765878 369259 5496 1 0 921991 0
[pid=41195/tid=41206] ppid=41180 vsize=19063512 memory=1161956 CPUtime=24.48 cores=0,2
/proc/41195/task/41206/stat : 41206 (java) R 41180 41195 35802 0 -1 4194368 10485 0 0 0 2403 45 0 0 20 0 20 0 39710207 19521036288 369259 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41255] ppid=41180 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/41195/task/41255/stat : 41255 (Finalizer) S 41180 41195 35802 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39710212 19521036288 369259 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41264] ppid=41180 vsize=19063512 memory=2764 CPUtime=0 cores=0,2
/proc/41195/task/41264/stat : 41264 (Common-Cleaner) S 41180 41195 35802 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 39710214 19521036288 369259 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41269] ppid=41180 vsize=19063512 memory=1381404 CPUtime=0 cores=0,2
/proc/41195/task/41269/stat : 41269 (Timer-0) S 41180 41195 35802 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39710279 19521036288 369259 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
Current children cumulated CPU time: 29.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1477036 KiB

[startup+51.1136 s]
/proc/loadavg: 3.00 1.63 1.32 5/330 41411
/proc/meminfo: memFree=121912144/131382112 swapFree=33010684/33010684
[pid=41195] ppid=41180 vsize=19063512 memory=2805368 CPUtime=55.26 cores=0,2
/proc/41195/stat : 41195 (java) S 41180 41195 35802 0 -1 4194304 38090 0 0 0 5427 99 0 0 20 0 20 0 39710205 19521036288 701342 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
/proc/41195/statm: 4765878 701342 5496 1 0 1479728 0
[pid=41195/tid=41206] ppid=41180 vsize=19063512 memory=2410104 CPUtime=49.09 cores=0,2
/proc/41195/task/41206/stat : 41206 (java) R 41180 41195 35802 0 -1 4194368 11894 0 0 0 4829 80 0 0 20 0 20 0 39710207 19521036288 701342 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41255] ppid=41180 vsize=19063512 memory=2318812 CPUtime=0 cores=0,2
/proc/41195/task/41255/stat : 41255 (Finalizer) S 41180 41195 35802 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39710212 19521036288 701342 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41264] ppid=41180 vsize=19063512 memory=14340 CPUtime=0 cores=0,2

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

[startup+3282.3 s]
/proc/loadavg: 4.47 4.40 4.29 5/333 41594
/proc/meminfo: memFree=51052916/131382112 swapFree=33010684/33010684
[pid=41195] ppid=41180 vsize=19063512 memory=5876136 CPUtime=3287.93 cores=0,2
/proc/41195/stat : 41195 (java) S 41180 41195 35802 0 -1 4194304 195626 0 0 0 326772 2021 0 0 20 0 20 0 39710205 19521036288 1469034 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
/proc/41195/statm: 4765878 1469034 5528 1 0 1483586 0
[pid=41195/tid=41206] ppid=41180 vsize=19063512 memory=5876136 CPUtime=3219.28 cores=0,2
/proc/41195/task/41206/stat : 41206 (java) R 41180 41195 35802 0 -1 4194368 112640 0 0 0 320141 1787 0 0 20 0 20 0 39710207 19521036288 1469034 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41255] ppid=41180 vsize=19063512 memory=5876136 CPUtime=0 cores=0,2
/proc/41195/task/41255/stat : 41255 (Finalizer) S 41180 41195 35802 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39710212 19521036288 1469034 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41264] ppid=41180 vsize=19063512 memory=5876136 CPUtime=0 cores=0,2
/proc/41195/task/41264/stat : 41264 (Common-Cleaner) S 41180 41195 35802 0 -1 4194368 2500 0 0 0 0 0 0 0 20 0 20 0 39710214 19521036288 1469034 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41269] ppid=41180 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/41195/task/41269/stat : 41269 (Timer-0) S 41180 41195 35802 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39710279 19521036288 1469034 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
Current children cumulated CPU time: 3287.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5876136 KiB

[startup+3342.3 s]
/proc/loadavg: 4.27 4.36 4.28 5/333 41596
/proc/meminfo: memFree=50081968/131382112 swapFree=33010684/33010684
[pid=41195] ppid=41180 vsize=19063512 memory=5876136 CPUtime=3348.46 cores=0,2
/proc/41195/stat : 41195 (java) S 41180 41195 35802 0 -1 4194304 199176 0 0 0 332789 2057 0 0 20 0 20 0 39710205 19521036288 1469034 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
/proc/41195/statm: 4765878 1469034 5528 1 0 1483586 0
[pid=41195/tid=41206] ppid=41180 vsize=19063512 memory=5876136 CPUtime=3277.89 cores=0,2
/proc/41195/task/41206/stat : 41206 (java) R 41180 41195 35802 0 -1 4194368 115048 0 0 0 325969 1820 0 0 20 0 20 0 39710207 19521036288 1469034 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41255] ppid=41180 vsize=19063512 memory=5876136 CPUtime=0 cores=0,2
/proc/41195/task/41255/stat : 41255 (Finalizer) S 41180 41195 35802 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39710212 19521036288 1469034 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41264] ppid=41180 vsize=19063512 memory=5876136 CPUtime=0 cores=0,2
/proc/41195/task/41264/stat : 41264 (Common-Cleaner) S 41180 41195 35802 0 -1 4194368 2562 0 0 0 0 0 0 0 20 0 20 0 39710214 19521036288 1469034 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41269] ppid=41180 vsize=19063512 memory=14340 CPUtime=0 cores=0,2
/proc/41195/task/41269/stat : 41269 (Timer-0) S 41180 41195 35802 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39710279 19521036288 1469034 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
Current children cumulated CPU time: 3348.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5876136 KiB

[startup+3402.3 s]
/proc/loadavg: 4.24 4.34 4.27 5/333 41602
/proc/meminfo: memFree=47065176/131382112 swapFree=33010684/33010684
[pid=41195] ppid=41180 vsize=19063512 memory=7896152 CPUtime=3408.78 cores=0,2
/proc/41195/stat : 41195 (java) S 41180 41195 35802 0 -1 4194304 202305 0 0 0 338751 2127 0 0 20 0 20 0 39710205 19521036288 1974038 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
/proc/41195/statm: 4765878 1974038 5528 1 0 1997434 0
[pid=41195/tid=41206] ppid=41180 vsize=19063512 memory=1920 CPUtime=3336.82 cores=0,2
/proc/41195/task/41206/stat : 41206 (java) R 41180 41195 35802 0 -1 4194368 116696 0 0 0 331796 1886 0 0 20 0 20 0 39710207 19521036288 1974038 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41255] ppid=41180 vsize=19063512 memory=5876136 CPUtime=0 cores=0,2
/proc/41195/task/41255/stat : 41255 (Finalizer) S 41180 41195 35802 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39710212 19521036288 1974038 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41264] ppid=41180 vsize=19063512 memory=14340 CPUtime=0 cores=0,2
/proc/41195/task/41264/stat : 41264 (Common-Cleaner) S 41180 41195 35802 0 -1 4194368 2658 0 0 0 0 0 0 0 20 0 20 0 39710214 19521036288 1974038 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41269] ppid=41180 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/41195/task/41269/stat : 41269 (Timer-0) S 41180 41195 35802 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39710279 19521036288 1974038 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
Current children cumulated CPU time: 3408.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7896152 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.30 4.26 5/332 41604
/proc/meminfo: memFree=46063976/131382112 swapFree=33010684/33010684
[pid=41195] ppid=41180 vsize=19063512 memory=7896152 CPUtime=3469.01 cores=0,2
/proc/41195/stat : 41195 (java) S 41180 41195 35802 0 -1 4194304 205908 0 0 0 344740 2161 0 0 20 0 20 0 39710205 19521036288 1974038 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
/proc/41195/statm: 4765878 1974038 5528 1 0 1997450 0
[pid=41195/tid=41206] ppid=41180 vsize=19063512 memory=14340 CPUtime=3395.81 cores=0,2
/proc/41195/task/41206/stat : 41206 (java) R 41180 41195 35802 0 -1 4194368 120138 0 0 0 337664 1917 0 0 20 0 20 0 39710207 19521036288 1974038 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41255] ppid=41180 vsize=19063512 memory=4224 CPUtime=0 cores=0,2
/proc/41195/task/41255/stat : 41255 (Finalizer) S 41180 41195 35802 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39710212 19521036288 1974038 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41264] ppid=41180 vsize=19063512 memory=7896152 CPUtime=0 cores=0,2
/proc/41195/task/41264/stat : 41264 (Common-Cleaner) S 41180 41195 35802 0 -1 4194368 2658 0 0 0 0 0 0 0 20 0 20 0 39710214 19521036288 1974038 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41269] ppid=41180 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/41195/task/41269/stat : 41269 (Timer-0) S 41180 41195 35802 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39710279 19521036288 1974038 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
Current children cumulated CPU time: 3469.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7896152 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.29 4.26 5/331 41607
/proc/meminfo: memFree=45087900/131382112 swapFree=33010684/33010684
[pid=41195] ppid=41180 vsize=19063512 memory=7896152 CPUtime=3529.54 cores=0,2
/proc/41195/stat : 41195 (java) S 41180 41195 35802 0 -1 4194304 209518 0 0 0 350758 2196 0 0 20 0 20 0 39710205 19521036288 1974038 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
/proc/41195/statm: 4765878 1974038 5528 1 0 1997451 0
[pid=41195/tid=41206] ppid=41180 vsize=19063512 memory=7746648 CPUtime=3454.45 cores=0,2
/proc/41195/task/41206/stat : 41206 (java) R 41180 41195 35802 0 -1 4194368 122734 0 0 0 343498 1947 0 0 20 0 20 0 39710207 19521036288 1974038 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41255] ppid=41180 vsize=19063512 memory=7896152 CPUtime=0 cores=0,2
/proc/41195/task/41255/stat : 41255 (Finalizer) S 41180 41195 35802 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39710212 19521036288 1974038 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41264] ppid=41180 vsize=19063512 memory=4252 CPUtime=0 cores=0,2
/proc/41195/task/41264/stat : 41264 (Common-Cleaner) S 41180 41195 35802 0 -1 4194368 2719 0 0 0 0 0 0 0 20 0 20 0 39710214 19521036288 1974038 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41269] ppid=41180 vsize=19063512 memory=7896152 CPUtime=0 cores=0,2
/proc/41195/task/41269/stat : 41269 (Timer-0) S 41180 41195 35802 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39710279 19521036288 1974038 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
Current children cumulated CPU time: 3529.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7896152 KiB

[startup+3582.3 s]
/proc/loadavg: 3.64 4.12 4.21 4/306 41642
/proc/meminfo: memFree=69394500/131382112 swapFree=33010684/33010684
[pid=41195] ppid=41180 vsize=19063512 memory=7896152 CPUtime=3589.84 cores=0,2
/proc/41195/stat : 41195 (java) S 41180 41195 35802 0 -1 4194304 213054 0 0 0 356753 2231 0 0 20 0 20 0 39710205 19521036288 1974038 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
/proc/41195/statm: 4765878 1974038 5528 1 0 1997451 0
[pid=41195/tid=41206] ppid=41180 vsize=19063512 memory=2764 CPUtime=3513.34 cores=0,2
/proc/41195/task/41206/stat : 41206 (java) R 41180 41195 35802 0 -1 4194368 125354 0 0 0 349355 1979 0 0 20 0 20 0 39710207 19521036288 1974038 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41255] ppid=41180 vsize=19063512 memory=7896152 CPUtime=0 cores=0,2
/proc/41195/task/41255/stat : 41255 (Finalizer) S 41180 41195 35802 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39710212 19521036288 1974038 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41264] ppid=41180 vsize=19063512 memory=17408 CPUtime=0 cores=0,2
/proc/41195/task/41264/stat : 41264 (Common-Cleaner) S 41180 41195 35802 0 -1 4194368 2815 0 0 0 0 0 0 0 20 0 20 0 39710214 19521036288 1974038 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41269] ppid=41180 vsize=19063512 memory=7896152 CPUtime=0 cores=0,2
/proc/41195/task/41269/stat : 41269 (Timer-0) S 41180 41195 35802 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39710279 19521036288 1974038 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
Current children cumulated CPU time: 3589.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7896152 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3592.3 s]
/proc/loadavg: 3.54 4.09 4.20 4/306 41642
/proc/meminfo: memFree=69277520/131382112 swapFree=33010684/33010684
[pid=41195] ppid=41180 vsize=19063512 memory=7898280 CPUtime=3600.04 cores=0,2
/proc/41195/stat : 41195 (java) S 41180 41195 35802 0 -1 4194304 213172 0 0 0 357766 2238 0 0 20 0 20 0 39710205 19521036288 1974570 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
/proc/41195/statm: 4765878 1974570 5528 1 0 1997451 0
[pid=41195/tid=41206] ppid=41180 vsize=19063512 memory=7896152 CPUtime=3523.06 cores=0,2
/proc/41195/task/41206/stat : 41206 (java) R 41180 41195 35802 0 -1 4194368 125354 0 0 0 350321 1985 0 0 20 0 20 0 39710207 19521036288 1974570 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41255] ppid=41180 vsize=19063512 memory=7896152 CPUtime=0 cores=0,2
/proc/41195/task/41255/stat : 41255 (Finalizer) S 41180 41195 35802 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39710212 19521036288 1974570 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41264] ppid=41180 vsize=19063512 memory=5876136 CPUtime=0 cores=0,2
/proc/41195/task/41264/stat : 41264 (Common-Cleaner) S 41180 41195 35802 0 -1 4194368 2815 0 0 0 0 0 0 0 20 0 20 0 39710214 19521036288 1974570 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41269] ppid=41180 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/41195/task/41269/stat : 41269 (Timer-0) S 41180 41195 35802 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39710279 19521036288 1974570 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7898280 KiB

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

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

# cumulated CPU time of all completed processes:  user=3577.87 s, system=22.4585 s

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

[startup+3592.41 s]
/proc/loadavg: 3.54 4.09 4.20 4/306 41642
/proc/meminfo: memFree=69277520/131382112 swapFree=33010684/33010684
[pid=41195] ppid=41180 vsize=19263204 memory=7898920 CPUtime=3600.22 cores=0,2
/proc/41195/stat : 41195 (java) S 41180 41195 35802 0 -1 4194304 215634 0 0 0 357782 2240 0 0 20 0 21 0 39710205 19725520896 1974730 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
/proc/41195/statm: 4815801 1974730 5528 1 0 1998378 0
[pid=41195/tid=41206] ppid=41180 vsize=19263204 memory=-6000919507016182635 CPUtime=3523.09 cores=0,2
/proc/41195/task/41206/stat : 41206 (java) D 41180 41195 35802 0 -1 4194368 125710 0 0 0 350323 1986 0 0 20 0 21 0 39710207 19725520896 1974730 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41255] ppid=41180 vsize=19263204 memory=2764 CPUtime=0 cores=0,2
/proc/41195/task/41255/stat : 41255 (Finalizer) S 41180 41195 35802 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 39710212 19725520896 1974730 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
[pid=41195/tid=41264] ppid=41180 vsize=19263204 memory=21484 CPUtime=0 cores=0,2
/proc/41195/task/41264/stat : 41264 (Common-Cleaner) S 41180 41195 35802 0 -1 4194368 2815 0 0 0 0 0 0 0 20 0 21 0 39710214 19725520896 1974730 18446744073709551615 94518772744192 94518772747888 140734382590928 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94518772755704 94518772756496 94518778605568 140734382594352 140734382594534 140734382594534 140734382600136 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 7898920 KiB

Child status: 143

Real time (s): 3592.5
CPU time (s): 3600.32
CPU user time (s): 3577.87
CPU system time (s): 22.4585
CPU usage (%): 100.218
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 7898920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.87
system time used= 22.4585
maximum resident set size= 7899176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 215816
page faults= 0
swaps= 0
block input operations= 0
block output operations= 39178192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121549
involuntary context switches= 15228


# summary of solver processes directly reported to runsolver:
#   pid: 41195
#   total CPU time (s): 3600.32
#   total CPU user time (s): 3577.87
#   total CPU system time (s): 22.4585

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8837 second user time and 39.9182 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2025-06-30 01:38:31
IDJOB=4516507
IDBENCH=175640
IDSOLVER=3364
FILE ID=nodeC007/4516507-1751240311
RUNJOBID= nodeC007-1751240310-41137
SLURM_JOB_ID= 9587709
Free space on /tmp= 433016 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-1500.shuf-1.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4516507-1751240311/watcher-4516507-1751240311 -o /tmp/evaluation-result-4516507-1751240311/solver-4516507-1751240311 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751240310-41137 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4516507-1751240311 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4516507-1751240311.opb

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

MD5SUM BENCH= 32d8cc264951b7044fd33d2e6b7cca98
RANDOM SEED=25923914

nodeC007 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.202
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.68
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.289
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.68
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.736
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.68
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.204
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.68
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.192
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.68
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.127
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.68
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.187
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.68
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.208
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.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129916168 kB
MemAvailable:   129922984 kB
Buffers:            3280 kB
Cached:           815736 kB
SwapCached:            0 kB
Active:           316088 kB
Inactive:         570420 kB
Active(anon):      85452 kB
Inactive(anon):        0 kB
Active(file):     230636 kB
Inactive(file):   570420 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3168 kB
Writeback:             0 kB
AnonPages:         70632 kB
Mapped:           102460 kB
Shmem:             17960 kB
KReclaimable:      90776 kB
Slab:             173220 kB
SReclaimable:      90776 kB
SUnreclaim:        82444 kB
KernelStack:        3824 kB
PageTables:         2876 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     335844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149272 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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:      201544 kB
DirectMap2M:    10186752 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 433012 MiB
End job on nodeC007 at 2025-06-30 02:38:23