Trace number 4516506

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06? (TO) 3600.37 3599.59

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.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.14	c Pseudo Boolean Optimization by upper bound
0.12/0.14	c --- Begin Solver configuration ---
0.12/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.14	c Learn all clauses as in MiniSAT
0.12/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.14	c Expensive reason simplification
0.12/0.14	c Glucose 2.1 dynamic restart strategy
0.12/0.14	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.14	c timeout=2147483s
0.12/0.14	c DB Simplification allowed=false
0.12/0.14	c Listener: none
0.12/0.14	c --- End Solver configuration ---
0.12/0.14	c solving HOME/instance-4516506-1751239580.opb
0.12/0.14	c reading problem ... 
0.12/0.14	c  no objective function found
0.50/0.31	c ... done. Wall clock time 0.159s.
0.50/0.31	c declared #vars     6001
0.50/0.31	c #constraints  6000
0.50/0.31	c constraints type 
0.50/0.31	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 6000
0.50/0.31	c 6000 constraints processed.
2.07/1.15	c cleaning 2493 clauses out of 5000 with flag 36541/5000
3.03/1.71	c cleaning 4242 clauses out of 8507 with flag 94297/11000
3.69/2.30	c cleaning 5621 clauses out of 11267 with flag 164298/18002
4.48/2.95	c cleaning 6805 clauses out of 13644 with flag 242912/26000
5.19/3.61	c cleaning 7892 clauses out of 15840 with flag 319238/35001
6.10/4.53	c cleaning 8928 clauses out of 17948 with flag 420357/45001
7.09/5.55	c cleaning 9965 clauses out of 20020 with flag 533675/56001
8.19/6.64	c cleaning 10985 clauses out of 22054 with flag 660822/68000
9.49/7.90	c cleaning 11985 clauses out of 24070 with flag 798342/81001
10.69/9.14	c cleaning 12995 clauses out of 26084 with flag 955330/95000
12.09/10.52	c cleaning 13979 clauses out of 28090 with flag 1130190/110001
13.48/11.96	c cleaning 14967 clauses out of 30112 with flag 1313569/126002
15.00/13.47	c cleaning 16007 clauses out of 32144 with flag 1498581/143001
16.73/15.11	c cleaning 17010 clauses out of 34136 with flag 1701826/161000
18.52/16.96	c cleaning 17965 clauses out of 36128 with flag 1931340/180002
20.42/18.81	c cleaning 19000 clauses out of 38163 with flag 2157466/200002
22.41/20.89	c cleaning 20002 clauses out of 40161 with flag 2413358/221000
24.62/23.10	c cleaning 20998 clauses out of 42159 with flag 2677070/243000
26.71/25.19	c cleaning 22002 clauses out of 44161 with flag 2960335/266000
28.90/27.38	c cleaning 23021 clauses out of 46160 with flag 3233405/290001
31.29/29.76	c cleaning 24052 clauses out of 48139 with flag 3535000/315001
33.89/32.30	c cleaning 25003 clauses out of 50086 with flag 3854776/341000
36.38/34.86	c cleaning 25968 clauses out of 52083 with flag 4162818/368000
39.18/37.63	c cleaning 26975 clauses out of 54116 with flag 4516684/396001
42.17/40.63	c cleaning 28002 clauses out of 56141 with flag 4897113/425001
45.07/43.59	c cleaning 29007 clauses out of 58139 with flag 5271580/455001
48.35/46.86	c cleaning 29964 clauses out of 60132 with flag 5692592/486001
51.25/49.76	c cleaning 31012 clauses out of 62169 with flag 6097728/518002
54.35/52.83	c cleaning 32004 clauses out of 64156 with flag 6518407/551001
57.43/55.97	c cleaning 32986 clauses out of 66151 with flag 6964572/585000
60.63/59.14	c cleaning 33991 clauses out of 68165 with flag 7393010/620000
63.82/62.34	c cleaning 34996 clauses out of 70174 with flag 7851378/656000
67.21/65.74	c cleaning 36017 clauses out of 72178 with flag 8332130/693000
70.71/69.24	c cleaning 37014 clauses out of 74161 with flag 8806778/731000
74.61/73.11	c cleaning 38007 clauses out of 76151 with flag 9332640/770004
78.10/76.62	c cleaning 38955 clauses out of 78142 with flag 9834176/810002
81.88/80.42	c cleaning 40014 clauses out of 80185 with flag 10389614/851000
85.68/84.24	c cleaning 40997 clauses out of 82175 with flag 10934586/893004
89.67/88.27	c cleaning 42014 clauses out of 84174 with flag 11490168/936000
93.56/92.18	c cleaning 42990 clauses out of 86160 with flag 12045507/980000
97.55/96.11	c cleaning 43995 clauses out of 88172 with flag 12610026/1025002
101.74/100.33	c cleaning 45010 clauses out of 90175 with flag 13197928/1071000
106.12/104.76	c cleaning 45991 clauses out of 92165 with flag 13813449/1118000
110.63/109.20	c cleaning 47038 clauses out of 94174 with flag 14460447/1166000
115.15/113.76	c cleaning 47964 clauses out of 96137 with flag 15102669/1215001
120.03/118.60	c cleaning 49003 clauses out of 98172 with flag 15768419/1265000
124.75/123.31	c cleaning 50085 clauses out of 100169 with flag 16429132/1316000
129.90/128.49	c cleaning 50961 clauses out of 102084 with flag 17137264/1368000
134.98/133.54	c cleaning 51952 clauses out of 104124 with flag 17826413/1421001
140.10/138.68	c cleaning 53039 clauses out of 106171 with flag 18541763/1475000
145.23/143.72	c cleaning 53975 clauses out of 108133 with flag 19236283/1530001
150.32/148.86	c cleaning 54977 clauses out of 110157 with flag 19962128/1586000
155.71/154.24	c cleaning 56007 clauses out of 112181 with flag 20709432/1643001
161.42/159.93	c cleaning 56982 clauses out of 114173 with flag 21478606/1701000
166.97/165.48	c cleaning 57996 clauses out of 116193 with flag 22261171/1760002
172.66/171.15	c cleaning 59028 clauses out of 118197 with flag 23046272/1820002
178.46/176.92	c cleaning 59996 clauses out of 120168 with flag 23838029/1881001
184.69/183.16	c cleaning 61016 clauses out of 122171 with flag 24694582/1943000
190.87/189.36	c cleaning 61999 clauses out of 124155 with flag 25560470/2006000
197.21/195.60	c cleaning 62989 clauses out of 126156 with flag 26402625/2070000
203.49/201.93	c cleaning 63998 clauses out of 128167 with flag 27275317/2135000
210.28/208.70	c cleaning 65022 clauses out of 130170 with flag 28192451/2201001
217.20/215.64	c cleaning 66074 clauses out of 132147 with flag 29108260/2268000
223.60/222.08	c cleaning 66951 clauses out of 134074 with flag 29993389/2336001
230.37/228.84	c cleaning 67997 clauses out of 136122 with flag 30902183/2405000
237.23/235.64	c cleaning 68989 clauses out of 138126 with flag 31828017/2475001
244.41/242.81	c cleaning 69985 clauses out of 140136 with flag 32770644/2546000
251.60/250.09	c cleaning 70976 clauses out of 142151 with flag 33739366/2618000
259.07/257.40	c cleaning 71979 clauses out of 144176 with flag 34691726/2691001
266.75/265.16	c cleaning 73001 clauses out of 146197 with flag 35694499/2765001
274.13/272.55	c cleaning 74030 clauses out of 148195 with flag 36693000/2840000
281.91/280.36	c cleaning 75009 clauses out of 150165 with flag 37742290/2916000
289.75/288.15	c cleaning 76004 clauses out of 152157 with flag 38784556/2993001
297.82/296.26	c cleaning 76980 clauses out of 154152 with flag 39856755/3071000
305.51/303.97	c cleaning 77993 clauses out of 156172 with flag 40940586/3150000
313.49/311.92	c cleaning 79013 clauses out of 158181 with flag 42002590/3230002
321.87/320.22	c cleaning 80004 clauses out of 160166 with flag 43116856/3311000
330.46/328.81	c cleaning 80991 clauses out of 162164 with flag 44227027/3393002
339.13/337.55	c cleaning 82018 clauses out of 164171 with flag 45329424/3476000
347.41/345.84	c cleaning 83003 clauses out of 166153 with flag 46427988/3560000
356.19/354.61	c cleaning 83995 clauses out of 168150 with flag 47571384/3645000
365.03/363.44	c cleaning 85027 clauses out of 170155 with flag 48743965/3731000
373.92/372.39	c cleaning 85976 clauses out of 172128 with flag 49917029/3818000
382.70/381.13	c cleaning 87010 clauses out of 174154 with flag 51065487/3906002
391.97/390.48	c cleaning 87984 clauses out of 176143 with flag 52268317/3995001
401.25/399.75	c cleaning 89018 clauses out of 178158 with flag 53485683/4085000
411.23/409.61	c cleaning 89979 clauses out of 180140 with flag 54716020/4176000
421.10/419.50	c cleaning 90992 clauses out of 182161 with flag 55982977/4268000
431.09/429.53	c cleaning 92008 clauses out of 184169 with flag 57239689/4361000
440.86/439.39	c cleaning 93016 clauses out of 186161 with flag 58490628/4455000
451.13/449.66	c cleaning 94000 clauses out of 188145 with flag 59787991/4550000
461.98/460.07	c cleaning 95014 clauses out of 190146 with flag 61086250/4646001
472.35/470.42	c cleaning 95975 clauses out of 192132 with flag 62390921/4743001
482.64/480.70	c cleaning 97026 clauses out of 194156 with flag 63707785/4841000
493.51/491.66	c cleaning 97984 clauses out of 196132 with flag 65068656/4940002
504.46/502.53	c cleaning 98988 clauses out of 198147 with flag 66433619/5040001
515.65/513.70	c cleaning 100009 clauses out of 200158 with flag 67815022/5141000
526.82/524.91	c cleaning 101007 clauses out of 202149 with flag 69237585/5243000
538.29/536.40	c cleaning 102000 clauses out of 204142 with flag 70664808/5346000
549.39/547.45	c cleaning 103000 clauses out of 206143 with flag 72108970/5450001
560.46/558.59	c cleaning 104010 clauses out of 208143 with flag 73515902/5555001
571.94/570.03	c cleaning 104993 clauses out of 210133 with flag 74969221/5661001
583.81/581.95	c cleaning 105988 clauses out of 212139 with flag 76420129/5768000
595.75/593.82	c cleaning 107010 clauses out of 214152 with flag 77899698/5876001
607.82/605.94	c cleaning 107984 clauses out of 216141 with flag 79404515/5985000
620.10/618.22	c cleaning 108990 clauses out of 218160 with flag 80893668/6095003
632.17/630.33	c cleaning 109978 clauses out of 220167 with flag 82416809/6206000
644.82/642.97	c cleaning 111011 clauses out of 222190 with flag 83954974/6318001
657.90/656.07	c cleaning 112025 clauses out of 224181 with flag 85517541/6431003
670.76/668.99	c cleaning 113008 clauses out of 226153 with flag 87120976/6545000
682.84/681.00	c cleaning 114011 clauses out of 228146 with flag 88656968/6660001
696.01/694.20	c cleaning 115004 clauses out of 230136 with flag 90282023/6776002
709.25/707.43	c cleaning 115984 clauses out of 232130 with flag 91894041/6893000
722.41/720.66	c cleaning 116968 clauses out of 234147 with flag 93479140/7011001
735.69/733.91	c cleaning 118019 clauses out of 236178 with flag 95099226/7130000
749.15/747.43	c cleaning 118997 clauses out of 238159 with flag 96723772/7250000
762.86/761.03	c cleaning 120017 clauses out of 240162 with flag 98398102/7371000
776.32/774.59	c cleaning 120972 clauses out of 242145 with flag 100077656/7493000
790.00/788.24	c cleaning 122020 clauses out of 244174 with flag 101760815/7616001
803.67/801.92	c cleaning 122993 clauses out of 246154 with flag 103459315/7740001
818.03/816.33	c cleaning 124009 clauses out of 248160 with flag 105179247/7865000
832.24/830.41	c cleaning 125007 clauses out of 250151 with flag 106905294/7991000
846.40/844.68	c cleaning 126024 clauses out of 252144 with flag 108640113/8118000
861.06/859.33	c cleaning 126985 clauses out of 254121 with flag 110437602/8246001
875.54/873.88	c cleaning 127993 clauses out of 256135 with flag 112216236/8375000
890.97/888.87	c cleaning 128988 clauses out of 258143 with flag 114007289/8505001
905.93/903.85	c cleaning 130029 clauses out of 260158 with flag 115819257/8636004
921.11/919.08	c cleaning 130994 clauses out of 262126 with flag 117683557/8768001
936.99/934.84	c cleaning 131989 clauses out of 264131 with flag 119542522/8901000
952.36/950.26	c cleaning 133001 clauses out of 266142 with flag 121414343/9035000
968.42/966.31	c cleaning 133995 clauses out of 268141 with flag 123300232/9170000
984.49/982.48	c cleaning 134998 clauses out of 270147 with flag 125227147/9306001
1001.12/999.06	c cleaning 136002 clauses out of 272148 with flag 127171516/9443000
1017.38/1015.34	c cleaning 136984 clauses out of 274146 with flag 129133466/9581000
1033.44/1031.45	c cleaning 138013 clauses out of 276163 with flag 131075697/9720001
1049.70/1047.74	c cleaning 139001 clauses out of 278149 with flag 133043260/9860000
1065.96/1063.95	c cleaning 139995 clauses out of 280148 with flag 134983461/10001000
1082.33/1080.38	c cleaning 140983 clauses out of 282153 with flag 136971558/10143000
1099.18/1097.21	c cleaning 142010 clauses out of 284170 with flag 138970564/10286000
1116.94/1115.04	c cleaning 143069 clauses out of 286160 with flag 141027655/10430000
1134.10/1132.26	c cleaning 143985 clauses out of 288093 with flag 143067747/10575002
1151.72/1149.87	c cleaning 144965 clauses out of 290107 with flag 145108180/10721001
1168.79/1166.98	c cleaning 146005 clauses out of 292144 with flag 147174136/10868003
1187.04/1185.24	c cleaning 146989 clauses out of 294137 with flag 149275493/11016001
1204.69/1202.96	c cleaning 148019 clauses out of 296148 with flag 151392698/11165001
1223.55/1221.87	c cleaning 148977 clauses out of 298128 with flag 153556847/11315000
1242.24/1240.40	c cleaning 149999 clauses out of 300151 with flag 155695256/11466000
1260.10/1258.38	c cleaning 151036 clauses out of 302152 with flag 157820554/11618000
1278.75/1277.10	c cleaning 151976 clauses out of 304117 with flag 159940747/11771001
1297.51/1295.86	c cleaning 152996 clauses out of 306140 with flag 162126435/11925000
1317.45/1315.82	c cleaning 153992 clauses out of 308145 with flag 164390466/12080001
1337.22/1335.54	c cleaning 155016 clauses out of 310152 with flag 166668671/12236000
1356.29/1354.65	c cleaning 156000 clauses out of 312137 with flag 168908218/12393001
1375.34/1373.70	c cleaning 157004 clauses out of 314137 with flag 171157757/12551001
1394.61/1393.03	c cleaning 157992 clauses out of 316134 with flag 173444066/12710002
1414.91/1413.25	c cleaning 159005 clauses out of 318140 with flag 175730821/12870000
1434.56/1432.96	c cleaning 159993 clauses out of 320135 with flag 178014949/13031000
1454.22/1452.61	c cleaning 160972 clauses out of 322144 with flag 180304317/13193002
1474.37/1472.82	c cleaning 162014 clauses out of 324170 with flag 182624414/13356000
1494.76/1492.96	c cleaning 162986 clauses out of 326156 with flag 184982127/13520000
1514.82/1513.03	c cleaning 164026 clauses out of 328170 with flag 187323580/13685000
1535.47/1533.75	c cleaning 164978 clauses out of 330145 with flag 189679364/13851001
1555.85/1554.00	c cleaning 166006 clauses out of 332166 with flag 192053947/14018000
1576.98/1575.25	c cleaning 166991 clauses out of 334160 with flag 194468831/14186000
1597.74/1596.04	c cleaning 168014 clauses out of 336170 with flag 196873423/14355001
1618.41/1616.67	c cleaning 169014 clauses out of 338158 with flag 199287973/14525003
1639.16/1637.40	c cleaning 169986 clauses out of 340142 with flag 201734609/14696001
1660.00/1658.34	c cleaning 171018 clauses out of 342155 with flag 204178069/14868000
1681.26/1679.68	c cleaning 172008 clauses out of 344137 with flag 206616482/15041000
1702.77/1701.19	c cleaning 172969 clauses out of 346129 with flag 209091453/15215000
1724.21/1722.68	c cleaning 173990 clauses out of 348163 with flag 211604672/15390003
1745.95/1744.40	c cleaning 175008 clauses out of 350170 with flag 214121591/15566000
1768.50/1767.03	c cleaning 175976 clauses out of 352162 with flag 216700016/15743000
1790.84/1789.31	c cleaning 176997 clauses out of 354187 with flag 219274509/15921001
1812.79/1811.32	c cleaning 178022 clauses out of 356190 with flag 221843940/16100001
1835.53/1834.15	c cleaning 178990 clauses out of 358167 with flag 224429522/16280000
1858.67/1857.30	c cleaning 180023 clauses out of 360180 with flag 227083006/16461003
1881.97/1880.57	c cleaning 181018 clauses out of 362156 with flag 229720452/16643002
1904.53/1903.15	c cleaning 181989 clauses out of 364138 with flag 232358133/16826002
1927.97/1926.68	c cleaning 182977 clauses out of 366148 with flag 235018538/17010001
1951.61/1950.37	c cleaning 184027 clauses out of 368170 with flag 237743432/17195000
1975.59/1974.22	c cleaning 185012 clauses out of 370145 with flag 240416537/17381002
1999.83/1998.57	c cleaning 185976 clauses out of 372131 with flag 243161452/17568000
2024.28/2023.02	c cleaning 187023 clauses out of 374155 with flag 245950172/17756000
2048.52/2047.37	c cleaning 187977 clauses out of 376133 with flag 248719710/17945001
2073.33/2072.14	c cleaning 189078 clauses out of 378155 with flag 251487327/18135000
2097.47/2096.35	c cleaning 189982 clauses out of 380078 with flag 254234337/18326001
2122.41/2121.38	c cleaning 191014 clauses out of 382095 with flag 257035325/18518000
2147.37/2145.88	c cleaning 191960 clauses out of 384081 with flag 259829809/18711000
2172.11/2170.67	c cleaning 193000 clauses out of 386122 with flag 262685701/18905001
2196.84/2195.48	c cleaning 193977 clauses out of 388121 with flag 265507517/19100000
2221.46/2220.07	c cleaning 194991 clauses out of 390145 with flag 268341655/19296001
2247.50/2246.15	c cleaning 195998 clauses out of 392154 with flag 271228893/19493001
2273.12/2271.80	c cleaning 197017 clauses out of 394155 with flag 274164336/19691000
2299.28/2297.87	c cleaning 197995 clauses out of 396140 with flag 277051732/19890002
2325.42/2324.03	c cleaning 198985 clauses out of 398143 with flag 280035477/20090000
2352.78/2351.34	c cleaning 200010 clauses out of 400158 with flag 283016759/20291000
2378.92/2377.52	c cleaning 201008 clauses out of 402149 with flag 285988381/20493001
2404.54/2403.22	c cleaning 201986 clauses out of 404140 with flag 289004760/20696000
2431.04/2429.77	c cleaning 203003 clauses out of 406156 with flag 292023228/20900002
2457.78/2456.59	c cleaning 204016 clauses out of 408151 with flag 295029894/21105000
2485.31/2484.14	c cleaning 205009 clauses out of 410137 with flag 298164587/21311002
2512.15/2510.91	c cleaning 206002 clauses out of 412126 with flag 301275335/21518000
2539.19/2538.04	c cleaning 206972 clauses out of 414125 with flag 304322966/21726001
2566.13/2565.03	c cleaning 208035 clauses out of 416152 with flag 307426515/21935000
2593.99/2592.57	c cleaning 208972 clauses out of 418118 with flag 310549646/22145001
2621.81/2620.40	c cleaning 209986 clauses out of 420145 with flag 313679924/22356000
2648.95/2647.64	c cleaning 211021 clauses out of 422161 with flag 316833716/22568002
2676.54/2675.20	c cleaning 211995 clauses out of 424138 with flag 320024065/22781000
2704.68/2703.41	c cleaning 213002 clauses out of 426143 with flag 323246269/22995000
2732.91/2731.77	c cleaning 214009 clauses out of 428141 with flag 326521706/23210000
2761.11/2759.83	c cleaning 214986 clauses out of 430132 with flag 329749106/23426000
2789.65/2788.41	c cleaning 215985 clauses out of 432147 with flag 333003049/23643001
2818.89/2817.71	c cleaning 217003 clauses out of 434162 with flag 336261954/23861001
2847.91/2846.86	c cleaning 218000 clauses out of 436159 with flag 339545471/24080001
2877.10/2876.06	c cleaning 219008 clauses out of 438159 with flag 342789534/24300001
2905.82/2904.83	c cleaning 219996 clauses out of 440150 with flag 346090282/24521000
2935.54/2934.63	c cleaning 220986 clauses out of 442154 with flag 349452353/24743000
2962.20/2961.35	c cleaning 222025 clauses out of 444168 with flag 352777432/24966000
2989.15/2988.29	c cleaning 223001 clauses out of 446143 with flag 356124585/25190000
3016.39/3015.51	c cleaning 224009 clauses out of 448142 with flag 359521255/25415000
3042.95/3042.16	c cleaning 224994 clauses out of 450135 with flag 362862923/25641002
3069.99/3069.29	c cleaning 226013 clauses out of 452141 with flag 366238423/25868002
3097.92/3097.13	c cleaning 227008 clauses out of 454128 with flag 369673002/26096002
3125.87/3125.12	c cleaning 227998 clauses out of 456119 with flag 373128110/26325001
3154.40/3153.74	c cleaning 228998 clauses out of 458122 with flag 376653868/26555002
3183.13/3182.39	c cleaning 229981 clauses out of 460123 with flag 380160862/26786001
3211.08/3210.43	c cleaning 231013 clauses out of 462142 with flag 383609863/27018001
3239.43/3238.90	c cleaning 232006 clauses out of 464130 with flag 387156495/27251002
3268.86/3267.92	c cleaning 232999 clauses out of 466124 with flag 390716388/27485002
3297.21/3296.37	c cleaning 233984 clauses out of 468123 with flag 394255770/27720000
3326.54/3325.60	c cleaning 235009 clauses out of 470139 with flag 397856919/27956000
3355.28/3354.52	c cleaning 235995 clauses out of 472130 with flag 401376347/28193000
3385.40/3384.62	c cleaning 237019 clauses out of 474135 with flag 405030621/28431000
3415.35/3414.84	c cleaning 237977 clauses out of 476116 with flag 408711262/28670000
3445.14/3444.59	c cleaning 239016 clauses out of 478141 with flag 412336184/28910002
3474.88/3474.34	c cleaning 240010 clauses out of 480123 with flag 415994935/29151000
3504.77/3504.17	c cleaning 240969 clauses out of 482114 with flag 419682852/29393001
3535.57/3535.16	c cleaning 242006 clauses out of 484147 with flag 423436756/29636003
3565.84/3565.36	c cleaning 243007 clauses out of 486138 with flag 427145701/29880000
3596.98/3596.53	c cleaning 243994 clauses out of 488131 with flag 430922260/30125000
3600.01/3599.46	c starts		: 205091
3600.01/3599.47	c conflicts		: 30151625
3600.01/3599.47	c decisions		: 541920923
3600.01/3599.47	c propagations		: 5093955177
3600.01/3599.47	c inspects		: 25990061000
3600.01/3599.47	c shortcuts		: 0
3600.01/3599.47	c timeout
3600.01/3599.47	c learnt literals	: 0
3600.01/3599.48	c learnt binary clauses	: 0
3600.01/3599.48	c learnt ternary clauses	: 0
3600.01/3599.48	c learnt constraints	: 30151625
3600.01/3599.48	c ignored constraints	: 0
3600.01/3599.48	c root simplifications	: 0
3600.01/3599.48	c removed literals (reason simplification)	: 42158826
3600.01/3599.48	c reason swapping (by a shorter reason)	: 0
3600.01/3599.48	c Calls to reduceDB	: 241
3600.01/3599.48	c Number of update (reduction) of LBD	: 10540379
3600.01/3599.48	c Imported unit clauses	: 0
3600.01/3599.48	c No decision after first conflict	: false
3600.01/3599.48	c number of reductions to clauses (during analyze)	: 0
3600.01/3599.48	c number of learned constraints concerned by reduction	: 0
3600.01/3599.48	c number of learning phase by resolution	: 0
3600.01/3599.48	c number of learning phase by cutting planes	: 0
3600.01/3599.48	c number of rounding to 1 operations	: 0
3600.01/3599.48	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3599.48	c number of reductions of the coefficients by power 2 	: 0
3600.01/3599.48	c number of right shift for reduction by power 2 	: 0
3600.01/3599.48	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3599.48	c number of ending skipping 	: 0
3600.01/3599.48	c number of internal skipping 	: 0
3600.01/3599.48	c number of derivation steps 	: 0
3600.01/3599.48	c number of skipped derivation steps 	: 0
3600.01/3599.48	c number of remaining unassigned 	: 0
3600.01/3599.48	c number of remaining assigned 	: 0
3600.01/3599.48	c number of falsified literals weakened from reason	: 0
3600.01/3599.49	c number of falsified literals weakened from conflict	: 0
3600.01/3599.49	c time for arithmetic operations	: 0
3600.01/3599.49	c minimum degree of deleted constraints	: null
3600.01/3599.49	c maximum degree of deleted constraints	: null
3600.01/3599.49	c number of deleted constraints	: 0
3600.01/3599.50	c speed (assignments/second)	: 1415310.3185476465
3600.01/3599.50	c non guided choices	: 11272817
3600.22/3599.57	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 270762
3600.22/3599.57	s UNKNOWN
3600.22/3599.57	c Total wall clock time (in seconds): 3599.432

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (55700 MiB free)
  memory of node 1: 64465 MiB (56095 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4516506-1751239580/watcher-4516506-1751239580 -o /tmp/evaluation-result-4516506-1751239580/solver-4516506-1751239580 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751235489-32351 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4516506-1751239580.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 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=33538, runsolver pid=33535

[startup+0.10006 s]*
/proc/loadavg: 4.25 4.20 4.21 5/338 33556
/proc/meminfo: memFree=114433228/131249996 swapFree=33010684/33010684
[pid=33538] ppid=33535 vsize=18930384 memory=57756 CPUtime=0.12 cores=0,2
/proc/33538/stat : 33538 (java) S 33535 33538 29257 0 -1 4194304 6570 0 0 0 10 2 0 0 20 0 18 0 39635884 19384713216 14439 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
/proc/33538/statm: 4732596 14439 5332 1 0 547604 0
[pid=33538/tid=33540] ppid=33535 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/33538/task/33540/stat : 33540 (java) R 33535 33538 29257 0 -1 4194368 5068 0 0 0 6 1 0 0 20 0 18 0 39635886 19384713216 14439 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33549] ppid=33535 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/33538/task/33549/stat : 33549 (Finalizer) S 33535 33538 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39635888 19384713216 14439 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33556] ppid=33535 vsize=18930384 memory=58485492679666 CPUtime=0 cores=0,2
/proc/33538/task/33556/stat : 33556 (Common-Cleaner) S 33535 33538 29257 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39635888 19384713216 14439 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57756 KiB

[startup+0.205869 s]*
/proc/loadavg: 4.25 4.20 4.21 7/338 33556
/proc/meminfo: memFree=114373868/131249996 swapFree=33010684/33010684
[pid=33538] ppid=33535 vsize=18930384 memory=123440 CPUtime=0.31 cores=0,2
/proc/33538/stat : 33538 (java) S 33535 33538 29257 0 -1 4194304 7049 0 0 0 28 3 0 0 20 0 18 0 39635884 19384713216 30860 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
/proc/33538/statm: 4732596 30860 5428 1 0 547890 0
[pid=33538/tid=33540] ppid=33535 vsize=18930384 memory=4026597660 CPUtime=0.16 cores=0,2
/proc/33538/task/33540/stat : 33540 (java) R 33535 33538 29257 0 -1 4194368 5287 0 0 0 14 2 0 0 20 0 18 0 39635886 19384713216 30860 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33549] ppid=33535 vsize=18930384 memory=16099 CPUtime=0 cores=0,2
/proc/33538/task/33549/stat : 33549 (Finalizer) S 33535 33538 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39635888 19384713216 30860 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33556] ppid=33535 vsize=18930384 memory=57385981051877 CPUtime=0 cores=0,2
/proc/33538/task/33556/stat : 33556 (Common-Cleaner) S 33535 33538 29257 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39635888 19384713216 30860 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 123440 KiB

[startup+0.30585 s]*
/proc/loadavg: 4.25 4.20 4.21 6/339 33557
/proc/meminfo: memFree=114292140/131249996 swapFree=33010684/33010684
[pid=33538] ppid=33535 vsize=18996948 memory=189396 CPUtime=0.5 cores=0,2
/proc/33538/stat : 33538 (java) S 33535 33538 29257 0 -1 4194304 8628 0 0 0 45 5 0 0 20 0 19 0 39635884 19452874752 47349 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
/proc/33538/statm: 4749237 47349 5460 1 0 549188 0
[pid=33538/tid=33540] ppid=33535 vsize=18996948 memory=-6000919485624969580 CPUtime=0.24 cores=0,2
/proc/33538/task/33540/stat : 33540 (java) R 33535 33538 29257 0 -1 4194368 5322 0 0 0 21 3 0 0 20 0 19 0 39635886 19452874752 47349 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33549] ppid=33535 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/33538/task/33549/stat : 33549 (Finalizer) S 33535 33538 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39635888 19452874752 47349 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33556] ppid=33535 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/33538/task/33556/stat : 33556 (Common-Cleaner) S 33535 33538 29257 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39635888 19452874752 47349 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 189396 KiB

[startup+0.700236 s]
/proc/loadavg: 4.31 4.22 4.22 6/340 33558
/proc/meminfo: memFree=114290628/131249996 swapFree=33010684/33010684
[pid=33538] ppid=33535 vsize=19063512 memory=199708 CPUtime=1.26 cores=0,2
/proc/33538/stat : 33538 (java) S 33535 33538 29257 0 -1 4194304 12126 0 0 0 120 6 0 0 20 0 20 0 39635884 19521036288 49927 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
/proc/33538/statm: 4765878 49927 5460 1 0 552019 0
[pid=33538/tid=33540] ppid=33535 vsize=19063512 memory=17536 CPUtime=0.6 cores=0,2
/proc/33538/task/33540/stat : 33540 (java) R 33535 33538 29257 0 -1 4194368 5362 0 0 0 57 3 0 0 20 0 20 0 39635886 19521036288 49927 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33549] ppid=33535 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/33538/task/33549/stat : 33549 (Finalizer) S 33535 33538 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39635888 19521036288 49927 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33556] ppid=33535 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/33538/task/33556/stat : 33556 (Common-Cleaner) S 33535 33538 29257 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39635888 19521036288 49927 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33558] ppid=33535 vsize=19063512 memory=4752 CPUtime=0 cores=0,2
/proc/33538/task/33558/stat : 33558 (Timer-0) S 33535 33538 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39635916 19521036288 49927 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 199708 KiB

[startup+1.50023 s]
/proc/loadavg: 4.31 4.22 4.22 6/340 33558
/proc/meminfo: memFree=114278280/131249996 swapFree=33010684/33010684
[pid=33538] ppid=33535 vsize=19063512 memory=205532 CPUtime=2.77 cores=0,2
/proc/33538/stat : 33538 (java) S 33535 33538 29257 0 -1 4194304 20755 0 0 0 270 7 0 0 20 0 20 0 39635884 19521036288 51383 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
/proc/33538/statm: 4765878 51383 5460 1 0 553217 0
[pid=33538/tid=33540] ppid=33535 vsize=19063512 memory=0 CPUtime=1.37 cores=0,2
/proc/33538/task/33540/stat : 33540 (java) R 33535 33538 29257 0 -1 4194368 6444 0 0 0 134 3 0 0 20 0 20 0 39635886 19521036288 51383 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33549] ppid=33535 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/33538/task/33549/stat : 33549 (Finalizer) S 33535 33538 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39635888 19521036288 51383 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33556] ppid=33535 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/33538/task/33556/stat : 33556 (Common-Cleaner) S 33535 33538 29257 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39635888 19521036288 51383 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33558] ppid=33535 vsize=19063512 memory=4752 CPUtime=0 cores=0,2
/proc/33538/task/33558/stat : 33558 (Timer-0) S 33535 33538 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39635916 19521036288 51383 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
Current children cumulated CPU time: 2.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 205532 KiB

[startup+3.1057 s]
/proc/loadavg: 4.31 4.22 4.22 5/340 33558
/proc/meminfo: memFree=114277532/131249996 swapFree=33010684/33010684
[pid=33538] ppid=33535 vsize=19063512 memory=205660 CPUtime=4.69 cores=0,2
/proc/33538/stat : 33538 (java) S 33535 33538 29257 0 -1 4194304 21364 0 0 0 462 7 0 0 20 0 20 0 39635884 19521036288 51415 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
/proc/33538/statm: 4765878 51415 5460 1 0 553218 0
[pid=33538/tid=33540] ppid=33535 vsize=19063512 memory=10880 CPUtime=2.96 cores=0,2
/proc/33538/task/33540/stat : 33540 (java) R 33535 33538 29257 0 -1 4194368 6777 0 0 0 293 3 0 0 20 0 20 0 39635886 19521036288 51415 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33549] ppid=33535 vsize=19063512 memory=-6000919485624969580 CPUtime=0 cores=0,2
/proc/33538/task/33549/stat : 33549 (Finalizer) S 33535 33538 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39635888 19521036288 51415 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33556] ppid=33535 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/33538/task/33556/stat : 33556 (Common-Cleaner) S 33535 33538 29257 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39635888 19521036288 51415 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33558] ppid=33535 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/33538/task/33558/stat : 33558 (Timer-0) S 33535 33538 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39635916 19521036288 51415 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
Current children cumulated CPU time: 4.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 205660 KiB

[startup+6.30021 s]
/proc/loadavg: 4.29 4.21 4.22 6/340 33558
/proc/meminfo: memFree=114249120/131249996 swapFree=33010684/33010684
[pid=33538] ppid=33535 vsize=19063512 memory=202948 CPUtime=7.89 cores=0,2
/proc/33538/stat : 33538 (java) S 33535 33538 29257 0 -1 4194304 21488 0 0 0 781 8 0 0 20 0 20 0 39635884 19521036288 50737 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
/proc/33538/statm: 4765878 50737 5492 1 0 553218 0
[pid=33538/tid=33540] ppid=33535 vsize=19063512 memory=0 CPUtime=6.15 cores=0,2
/proc/33538/task/33540/stat : 33540 (java) R 33535 33538 29257 0 -1 4194368 6885 0 0 0 612 3 0 0 20 0 20 0 39635886 19521036288 50737 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33549] ppid=33535 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/33538/task/33549/stat : 33549 (Finalizer) S 33535 33538 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39635888 19521036288 50737 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33556] ppid=33535 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/33538/task/33556/stat : 33556 (Common-Cleaner) S 33535 33538 29257 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39635888 19521036288 50737 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33558] ppid=33535 vsize=19063512 memory=205532 CPUtime=0 cores=0,2
/proc/33538/task/33558/stat : 33558 (Timer-0) S 33535 33538 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39635916 19521036288 50737 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
Current children cumulated CPU time: 7.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 202948 KiB

[startup+12.7002 s]
/proc/loadavg: 4.26 4.21 4.21 5/340 33558
/proc/meminfo: memFree=114179740/131249996 swapFree=33010684/33010684
[pid=33538] ppid=33535 vsize=19063512 memory=215264 CPUtime=14.3 cores=0,2
/proc/33538/stat : 33538 (java) S 33535 33538 29257 0 -1 4194304 25618 0 0 0 1422 8 0 0 20 0 20 0 39635884 19521036288 53816 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
/proc/33538/statm: 4765878 53816 5492 1 0 553218 0
[pid=33538/tid=33540] ppid=33535 vsize=19063512 memory=205532 CPUtime=12.54 cores=0,2
/proc/33538/task/33540/stat : 33540 (java) R 33535 33538 29257 0 -1 4194368 8037 0 0 0 1250 4 0 0 20 0 20 0 39635886 19521036288 53816 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33549] ppid=33535 vsize=19063512 memory=205024 CPUtime=0 cores=0,2
/proc/33538/task/33549/stat : 33549 (Finalizer) S 33535 33538 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39635888 19521036288 53816 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33556] ppid=33535 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/33538/task/33556/stat : 33556 (Common-Cleaner) S 33535 33538 29257 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39635888 19521036288 53816 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33558] ppid=33535 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/33538/task/33558/stat : 33558 (Timer-0) S 33535 33538 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39635916 19521036288 53816 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
Current children cumulated CPU time: 14.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 215264 KiB

[startup+25.5002 s]
/proc/loadavg: 4.30 4.22 4.22 5/340 33559
/proc/meminfo: memFree=113582764/131249996 swapFree=33010684/33010684
[pid=33538] ppid=33535 vsize=19063512 memory=340192 CPUtime=27.1 cores=0,2
/proc/33538/stat : 33538 (java) S 33535 33538 29257 0 -1 4194304 26632 0 0 0 2699 11 0 0 20 0 20 0 39635884 19521036288 85048 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
/proc/33538/statm: 4765878 85048 5492 1 0 553218 0
[pid=33538/tid=33540] ppid=33535 vsize=19063512 memory=-6000919485624969580 CPUtime=25.3 cores=0,2
/proc/33538/task/33540/stat : 33540 (java) R 33535 33538 29257 0 -1 4194368 8723 0 0 0 2524 6 0 0 20 0 20 0 39635886 19521036288 85048 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33549] ppid=33535 vsize=19063512 memory=295136 CPUtime=0 cores=0,2
/proc/33538/task/33549/stat : 33549 (Finalizer) S 33535 33538 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39635888 19521036288 85048 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33556] ppid=33535 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/33538/task/33556/stat : 33556 (Common-Cleaner) S 33535 33538 29257 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39635888 19521036288 85048 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33558] ppid=33535 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/33538/task/33558/stat : 33558 (Timer-0) S 33535 33538 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39635916 19521036288 85048 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
Current children cumulated CPU time: 27.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 340192 KiB

[startup+51.1057 s]
/proc/loadavg: 4.26 4.21 4.21 5/339 33559
/proc/meminfo: memFree=112108288/131249996 swapFree=33010684/33010684
[pid=33538] ppid=33535 vsize=19063512 memory=585952 CPUtime=52.65 cores=0,2
/proc/33538/stat : 33538 (java) S 33535 33538 29257 0 -1 4194304 26924 0 0 0 5248 17 0 0 20 0 20 0 39635884 19521036288 146488 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
/proc/33538/statm: 4765878 146488 5492 1 0 553218 0
[pid=33538/tid=33540] ppid=33535 vsize=19063512 memory=573664 CPUtime=50.84 cores=0,2
/proc/33538/task/33540/stat : 33540 (java) R 33535 33538 29257 0 -1 4194368 8998 0 0 0 5072 12 0 0 20 0 20 0 39635886 19521036288 146488 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33549] ppid=33535 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/33538/task/33549/stat : 33549 (Finalizer) S 33535 33538 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39635888 19521036288 146488 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0

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

[startup+3282.3 s]
/proc/loadavg: 1.10 1.96 3.11 2/266 33836
/proc/meminfo: memFree=125683264/131249996 swapFree=33010684/33010684
[pid=33538] ppid=33535 vsize=19063512 memory=2193124 CPUtime=3283.23 cores=0,2
/proc/33538/stat : 33538 (java) S 33535 33538 29257 0 -1 4194304 114025 0 0 0 328180 143 0 0 20 0 20 0 39635884 19521036288 548281 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
/proc/33538/statm: 4765878 548281 5492 1 0 561277 0
[pid=33538/tid=33540] ppid=33535 vsize=19063512 memory=14156 CPUtime=3267.59 cores=0,2
/proc/33538/task/33540/stat : 33540 (java) R 33535 33538 29257 0 -1 4194368 60595 0 0 0 326726 33 0 0 20 0 20 0 39635886 19521036288 548281 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33549] ppid=33535 vsize=19063512 memory=2193124 CPUtime=0 cores=0,2
/proc/33538/task/33549/stat : 33549 (Finalizer) S 33535 33538 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39635888 19521036288 548281 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33556] ppid=33535 vsize=19063512 memory=2193124 CPUtime=0 cores=0,2
/proc/33538/task/33556/stat : 33556 (Common-Cleaner) S 33535 33538 29257 0 -1 4194368 734 0 0 0 0 0 0 0 20 0 20 0 39635888 19521036288 548281 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33558] ppid=33535 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/33538/task/33558/stat : 33558 (Timer-0) S 33535 33538 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39635916 19521036288 548281 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
Current children cumulated CPU time: 3283.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2193124 KiB

[startup+3342.3 s]
/proc/loadavg: 1.14 1.81 2.99 2/265 33838
/proc/meminfo: memFree=125683624/131249996 swapFree=33010684/33010684
[pid=33538] ppid=33535 vsize=19063512 memory=2193124 CPUtime=3343.1 cores=0,2
/proc/33538/stat : 33538 (java) S 33535 33538 29257 0 -1 4194304 115856 0 0 0 334165 145 0 0 20 0 20 0 39635884 19521036288 548281 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
/proc/33538/statm: 4765878 548281 5492 1 0 561277 0
[pid=33538/tid=33540] ppid=33535 vsize=19063512 memory=14156 CPUtime=3327.14 cores=0,2
/proc/33538/task/33540/stat : 33540 (java) R 33535 33538 29257 0 -1 4194368 61298 0 0 0 332681 33 0 0 20 0 20 0 39635886 19521036288 548281 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33549] ppid=33535 vsize=19063512 memory=2193124 CPUtime=0 cores=0,2
/proc/33538/task/33549/stat : 33549 (Finalizer) S 33535 33538 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39635888 19521036288 548281 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33556] ppid=33535 vsize=19063512 memory=2193124 CPUtime=0 cores=0,2
/proc/33538/task/33556/stat : 33556 (Common-Cleaner) S 33535 33538 29257 0 -1 4194368 737 0 0 0 0 0 0 0 20 0 20 0 39635888 19521036288 548281 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33558] ppid=33535 vsize=19063512 memory=2193124 CPUtime=0 cores=0,2
/proc/33538/task/33558/stat : 33558 (Timer-0) S 33535 33538 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39635916 19521036288 548281 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
Current children cumulated CPU time: 3343.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2193124 KiB

[startup+3402.3 s]
/proc/loadavg: 1.11 1.68 2.87 2/264 33840
/proc/meminfo: memFree=125683868/131249996 swapFree=33010684/33010684
[pid=33538] ppid=33535 vsize=19063512 memory=2193124 CPUtime=3402.94 cores=0,2
/proc/33538/stat : 33538 (java) S 33535 33538 29257 0 -1 4194304 116054 0 0 0 340147 147 0 0 20 0 20 0 39635884 19521036288 548281 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
/proc/33538/statm: 4765878 548281 5492 1 0 561277 0
[pid=33538/tid=33540] ppid=33535 vsize=19063512 memory=14156 CPUtime=3386.67 cores=0,2
/proc/33538/task/33540/stat : 33540 (java) R 33535 33538 29257 0 -1 4194368 61307 0 0 0 338634 33 0 0 20 0 20 0 39635886 19521036288 548281 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33549] ppid=33535 vsize=19063512 memory=2193124 CPUtime=0 cores=0,2
/proc/33538/task/33549/stat : 33549 (Finalizer) S 33535 33538 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39635888 19521036288 548281 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33556] ppid=33535 vsize=19063512 memory=2193124 CPUtime=0 cores=0,2
/proc/33538/task/33556/stat : 33556 (Common-Cleaner) S 33535 33538 29257 0 -1 4194368 753 0 0 0 0 0 0 0 20 0 20 0 39635888 19521036288 548281 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33558] ppid=33535 vsize=19063512 memory=2193124 CPUtime=0 cores=0,2
/proc/33538/task/33558/stat : 33558 (Timer-0) S 33535 33538 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39635916 19521036288 548281 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
Current children cumulated CPU time: 3402.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2193124 KiB

[startup+3462.3 s]
/proc/loadavg: 1.22 1.60 2.76 2/265 33847
/proc/meminfo: memFree=125685036/131249996 swapFree=33010684/33010684
[pid=33538] ppid=33535 vsize=19063512 memory=2193124 CPUtime=3462.91 cores=0,2
/proc/33538/stat : 33538 (java) S 33535 33538 29257 0 -1 4194304 116480 0 0 0 346142 149 0 0 20 0 20 0 39635884 19521036288 548281 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
/proc/33538/statm: 4765878 548281 5492 1 0 561277 0
[pid=33538/tid=33540] ppid=33535 vsize=19063512 memory=14156 CPUtime=3446.31 cores=0,2
/proc/33538/task/33540/stat : 33540 (java) R 33535 33538 29257 0 -1 4194368 61699 0 0 0 344598 33 0 0 20 0 20 0 39635886 19521036288 548281 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33549] ppid=33535 vsize=19063512 memory=-6000919485624969580 CPUtime=0 cores=0,2
/proc/33538/task/33549/stat : 33549 (Finalizer) S 33535 33538 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39635888 19521036288 548281 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33556] ppid=33535 vsize=19063512 memory=2193124 CPUtime=0 cores=0,2
/proc/33538/task/33556/stat : 33556 (Common-Cleaner) S 33535 33538 29257 0 -1 4194368 753 0 0 0 0 0 0 0 20 0 20 0 39635888 19521036288 548281 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33558] ppid=33535 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/33538/task/33558/stat : 33558 (Timer-0) S 33535 33538 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39635916 19521036288 548281 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
Current children cumulated CPU time: 3462.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2193124 KiB

[startup+3522.3 s]
/proc/loadavg: 1.14 1.50 2.65 2/265 33852
/proc/meminfo: memFree=125685648/131249996 swapFree=33010684/33010684
[pid=33538] ppid=33535 vsize=19063512 memory=2193124 CPUtime=3522.81 cores=0,2
/proc/33538/stat : 33538 (java) S 33535 33538 29257 0 -1 4194304 118478 0 0 0 352130 151 0 0 20 0 20 0 39635884 19521036288 548281 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
/proc/33538/statm: 4765878 548281 5492 1 0 561280 0
[pid=33538/tid=33540] ppid=33535 vsize=19063512 memory=2193124 CPUtime=3505.85 cores=0,2
/proc/33538/task/33540/stat : 33540 (java) R 33535 33538 29257 0 -1 4194368 62673 0 0 0 350551 34 0 0 20 0 20 0 39635886 19521036288 548281 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33549] ppid=33535 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/33538/task/33549/stat : 33549 (Finalizer) S 33535 33538 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39635888 19521036288 548281 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33556] ppid=33535 vsize=19063512 memory=2193124 CPUtime=0 cores=0,2
/proc/33538/task/33556/stat : 33556 (Common-Cleaner) S 33535 33538 29257 0 -1 4194368 753 0 0 0 0 0 0 0 20 0 20 0 39635888 19521036288 548281 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33558] ppid=33535 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/33538/task/33558/stat : 33558 (Timer-0) S 33535 33538 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39635916 19521036288 548281 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
Current children cumulated CPU time: 3522.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2193124 KiB

[startup+3582.3 s]
/proc/loadavg: 1.10 1.42 2.55 2/265 33854
/proc/meminfo: memFree=125685756/131249996 swapFree=33010684/33010684
[pid=33538] ppid=33535 vsize=19063512 memory=2193124 CPUtime=3582.81 cores=0,2
/proc/33538/stat : 33538 (java) S 33535 33538 29257 0 -1 4194304 120073 0 0 0 358128 153 0 0 20 0 20 0 39635884 19521036288 548281 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
/proc/33538/statm: 4765878 548281 5492 1 0 561280 0
[pid=33538/tid=33540] ppid=33535 vsize=19063512 memory=19840 CPUtime=3565.54 cores=0,2
/proc/33538/task/33540/stat : 33540 (java) R 33535 33538 29257 0 -1 4194368 63415 0 0 0 356520 34 0 0 20 0 20 0 39635886 19521036288 548281 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33549] ppid=33535 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/33538/task/33549/stat : 33549 (Finalizer) S 33535 33538 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39635888 19521036288 548281 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33556] ppid=33535 vsize=19063512 memory=3072 CPUtime=0 cores=0,2
/proc/33538/task/33556/stat : 33556 (Common-Cleaner) S 33535 33538 29257 0 -1 4194368 768 0 0 0 0 0 0 0 20 0 20 0 39635888 19521036288 548281 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33558] ppid=33535 vsize=19063512 memory=3072 CPUtime=0 cores=0,2
/proc/33538/task/33558/stat : 33558 (Timer-0) S 33535 33538 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39635916 19521036288 548281 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
Current children cumulated CPU time: 3582.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2193124 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3599.4 s]
/proc/loadavg: 1.16 1.42 2.53 2/265 33854
/proc/meminfo: memFree=125685756/131249996 swapFree=33010684/33010684
[pid=33538] ppid=33535 vsize=19063512 memory=2193124 CPUtime=3600.01 cores=0,2
/proc/33538/stat : 33538 (java) S 33535 33538 29257 0 -1 4194304 121343 0 0 0 359848 153 0 0 20 0 20 0 39635884 19521036288 548281 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
/proc/33538/statm: 4765878 548281 5492 1 0 561280 0
[pid=33538/tid=33540] ppid=33535 vsize=19063512 memory=9984 CPUtime=3582.55 cores=0,2
/proc/33538/task/33540/stat : 33540 (java) R 33535 33538 29257 0 -1 4194368 64411 0 0 0 358221 34 0 0 20 0 20 0 39635886 19521036288 548281 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33549] ppid=33535 vsize=19063512 memory=-6000919485624969580 CPUtime=0 cores=0,2
/proc/33538/task/33549/stat : 33549 (Finalizer) S 33535 33538 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39635888 19521036288 548281 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33556] ppid=33535 vsize=19063512 memory=1920 CPUtime=0 cores=0,2
/proc/33538/task/33556/stat : 33556 (Common-Cleaner) S 33535 33538 29257 0 -1 4194368 788 0 0 0 0 0 0 0 20 0 20 0 39635888 19521036288 548281 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33558] ppid=33535 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/33538/task/33558/stat : 33558 (Timer-0) S 33535 33538 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39635916 19521036288 548281 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2193124 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.82 s, system=1.55272 s

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

[startup+3599.5 s]
/proc/loadavg: 1.16 1.42 2.53 2/265 33854
/proc/meminfo: memFree=125685756/131249996 swapFree=33010684/33010684
[pid=33538] ppid=33535 vsize=19263204 memory=2193892 CPUtime=3600.22 cores=0,2
/proc/33538/stat : 33538 (java) S 33535 33538 29257 0 -1 4194304 122952 0 0 0 359868 154 0 0 20 0 21 0 39635884 19725520896 548473 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
/proc/33538/statm: 4815801 548473 5492 1 0 562209 0
[pid=33538/tid=33540] ppid=33535 vsize=19263204 memory=2193124 CPUtime=3582.61 cores=0,2
/proc/33538/task/33540/stat : 33540 (java) S 33535 33538 29257 0 -1 4194368 64476 0 0 0 358227 34 0 0 20 0 21 0 39635886 19725520896 548473 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33549] ppid=33535 vsize=19263204 memory=1792 CPUtime=0 cores=0,2
/proc/33538/task/33549/stat : 33549 (Finalizer) S 33535 33538 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 39635888 19725520896 548473 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
[pid=33538/tid=33556] ppid=33535 vsize=19263204 memory=14156 CPUtime=0 cores=0,2
/proc/33538/task/33556/stat : 33556 (Common-Cleaner) S 33535 33538 29257 0 -1 4194368 788 0 0 0 0 0 0 0 20 0 21 0 39635888 19725520896 548473 18446744073709551615 94400724979712 94400724983408 140722999155168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94400724991224 94400724992016 94400746315776 140722999163265 140722999163366 140722999163366 140722999168968 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2193892 KiB

Child status: 143

Real time (s): 3599.59
CPU time (s): 3600.37
CPU user time (s): 3598.82
CPU system time (s): 1.55272
CPU usage (%): 100.022
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2193892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.82
system time used= 1.55272
maximum resident set size= 2194148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123190
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109124
involuntary context switches= 10819


# summary of solver processes directly reported to runsolver:
#   pid: 33538
#   total CPU time (s): 3600.37
#   total CPU user time (s): 3598.82
#   total CPU system time (s): 1.55272

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.32102 second user time and 18.5065 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-06-30 01:26:20
IDJOB=4516506
IDBENCH=175640
IDSOLVER=3363
FILE ID=nodeC023/4516506-1751239580
RUNJOBID= nodeC023-1751235489-32351
SLURM_JOB_ID= 9587704
Free space on /tmp= 433060 MiB

SOLVER NAME= Sat4j Resolution 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 -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4516506-1751239580/watcher-4516506-1751239580 -o /tmp/evaluation-result-4516506-1751239580/solver-4516506-1751239580 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751235489-32351 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4516506-1751239580.opb

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

MD5SUM BENCH= 32d8cc264951b7044fd33d2e6b7cca98
RANDOM SEED=530019522

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.896
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.921
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.137
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3627.195
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.882
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.888
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3602.335
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3602.554
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        114479576 kB
MemAvailable:   116362444 kB
Buffers:            3280 kB
Cached:          2686228 kB
SwapCached:            0 kB
Active:         13817556 kB
Inactive:        2381180 kB
Active(anon):   13527292 kB
Inactive(anon):        0 kB
Active(file):     290264 kB
Inactive(file):  2381180 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               704 kB
Writeback:            12 kB
AnonPages:      13512396 kB
Mapped:           122672 kB
Shmem:             18064 kB
KReclaimable:     101328 kB
Slab:             189060 kB
SReclaimable:     101328 kB
SUnreclaim:        87732 kB
KernelStack:        5184 kB
PageTables:        30048 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   16191324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151448 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  13213696 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433064 MiB
End job on nodeC023 at 2025-06-30 02:26:20