Trace number 4518831

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j CP VeriPB 2025-06-06? (TO) 3572.34 3704.61

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
comppebvc/normalized-comppebvc_opt_75.opb
MD5SUM54c9cb8452a5bc0fdf8cdacd374d003e
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2889
Best CPU time to get the best result obtained on this benchmark2.98955
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables11400
Total number of constraints22575
Number of constraints which are clauses22575
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
Number of terms in the objective function 5702
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 5702
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 5702
Number of bits of the biggest sum of numbers13
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.10	c Number of processors 	2
0.12/0.16	c Pseudo Boolean Optimization by upper bound
0.12/0.16	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.12/0.16	c  - never skip resolution steps
0.12/0.16	c  - Auto-division on coefficients is disabled
0.12/0.16	c  - No postprocessing
0.12/0.16	c  - Conflict is considered as is when resolving
0.12/0.16	c  - Use constraints as they come during conflict analysis
0.12/0.16	c  - Weaken first using unassigned literals
0.12/0.16	c  - Bump strategy: ALWAYS_ONE
0.12/0.16	c  - Bumper: EFFECTIVE
0.12/0.16	c --- Begin Solver configuration ---
0.12/0.16	c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@768debd
0.12/0.16	c Learn all clauses as in MiniSAT
0.12/0.16	c LOGGER=java.util.logging.Logger@449b2d27 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.16	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.12/0.16	c No reason simplification
0.12/0.16	c Dynamic restart strategy considering the size of the coefficients
0.12/0.16	c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@18ef96
0.12/0.16	c timeout=2147483s
0.12/0.16	c DB Simplification allowed=false
0.12/0.16	c Listener: none
0.12/0.16	c --- End Solver configuration ---
0.12/0.16	c solving HOME/instance-4518831-1751555170.opb
0.12/0.16	c reading problem ... 
0.23/0.25	c using VERIPB proof format
0.23/0.25	c  objective function found
1.48/0.98	c ... done. Wall clock time 0.818s.
1.48/0.98	c declared #vars     11400
1.48/0.98	c #constraints  22575
1.48/0.98	c constraints type 
1.48/0.99	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 11475
1.48/0.99	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 11100
1.48/0.99	c 22575 constraints processed.
1.69/1.00	c objective function length is 5702 literals
3.07/1.71	c cleaning 2494 clauses out of 5000 with flag 0/5000
3.67/2.09	c cleaning 4235 clauses out of 8507 with flag 0/11001
4.65/2.54	c cleaning 5633 clauses out of 11272 with flag 0/18001
5.64/3.02	c cleaning 6811 clauses out of 13638 with flag 0/26000
6.34/3.63	c cleaning 7911 clauses out of 15829 with flag 0/35002
6.95/4.23	c cleaning 8953 clauses out of 17917 with flag 0/45001
7.56/4.86	c cleaning 9977 clauses out of 19964 with flag 0/56001
8.24/5.53	c cleaning 10981 clauses out of 21986 with flag 0/68000
8.95/6.25	c cleaning 11991 clauses out of 24006 with flag 0/81001
9.77/7.04	c cleaning 12999 clauses out of 26014 with flag 0/95000
10.56/7.88	c cleaning 13995 clauses out of 28016 with flag 0/110001
11.47/8.75	c cleaning 15003 clauses out of 30020 with flag 0/126000
12.52/9.74	c cleaning 16002 clauses out of 32020 with flag 0/143003
13.55/10.79	c cleaning 17002 clauses out of 34016 with flag 0/161001
14.77/11.90	c cleaning 18002 clauses out of 36013 with flag 0/180000
15.87/13.00	c cleaning 19000 clauses out of 38012 with flag 0/200001
16.97/14.12	c cleaning 19998 clauses out of 40012 with flag 0/221001
18.06/15.25	c cleaning 20967 clauses out of 42014 with flag 0/243001
19.48/16.54	c cleaning 22002 clauses out of 44046 with flag 0/266000
20.79/17.85	c cleaning 23007 clauses out of 46044 with flag 0/290000
22.10/19.13	c cleaning 24008 clauses out of 48038 with flag 0/315001
23.31/20.33	c cleaning 24987 clauses out of 50029 with flag 0/341000
24.61/21.62	c cleaning 25742 clauses out of 52042 with flag 0/368000
26.04/23.07	c cleaning 26872 clauses out of 54300 with flag 0/396000
27.75/24.73	c cleaning 28193 clauses out of 56428 with flag 0/425000
29.33/39.52	c cleaning 28944 clauses out of 58237 with flag 0/455002
31.15/41.32	c cleaning 29730 clauses out of 60291 with flag 0/486000
33.37/43.54	c cleaning 30951 clauses out of 62561 with flag 0/518000
35.89/46.01	c cleaning 32017 clauses out of 64610 with flag 0/551000
38.29/48.48	c cleaning 33100 clauses out of 66593 with flag 0/585000
40.79/50.93	c cleaning 33975 clauses out of 68494 with flag 0/620001
43.50/53.65	c cleaning 34959 clauses out of 70518 with flag 0/656000
46.31/56.44	c cleaning 36033 clauses out of 72560 with flag 0/693001
49.32/59.42	c cleaning 37064 clauses out of 74531 with flag 0/731005
52.53/62.63	c cleaning 38052 clauses out of 76462 with flag 0/770000
56.08/66.14	c cleaning 39035 clauses out of 78411 with flag 0/810001
59.94/70.05	c cleaning 40020 clauses out of 80377 with flag 0/851002
63.82/73.92	c cleaning 40958 clauses out of 82356 with flag 0/893001
68.40/78.40	c cleaning 42026 clauses out of 84397 with flag 0/936000
71.94/81.95	c cleaning 42976 clauses out of 86373 with flag 0/980002
76.17/86.16	c cleaning 44024 clauses out of 88395 with flag 0/1025000
81.25/91.15	c cleaning 45044 clauses out of 90371 with flag 0/1071000
85.81/95.68	c cleaning 46019 clauses out of 92328 with flag 0/1118001
90.65/100.41	c cleaning 47022 clauses out of 94309 with flag 0/1166001
95.15/105.10	c cleaning 48010 clauses out of 96286 with flag 0/1215000
100.11/110.07	c cleaning 49004 clauses out of 98276 with flag 0/1265000
105.77/115.65	c cleaning 50030 clauses out of 100272 with flag 0/1316000
110.67/120.54	c cleaning 50990 clauses out of 102242 with flag 0/1368000
116.37/126.15	c cleaning 51997 clauses out of 104253 with flag 0/1421001
121.42/133.09	c cleaning 53002 clauses out of 106258 with flag 0/1475003
127.31/138.84	c cleaning 54035 clauses out of 108253 with flag 0/1530000
133.26/144.79	c cleaning 54998 clauses out of 110218 with flag 0/1586000
139.25/150.63	c cleaning 55997 clauses out of 112221 with flag 0/1643001
145.49/156.82	c cleaning 57008 clauses out of 114224 with flag 0/1701001
151.24/162.58	c cleaning 58000 clauses out of 116215 with flag 0/1760000
157.06/168.31	c cleaning 58956 clauses out of 118216 with flag 0/1820001
163.97/175.11	c cleaning 60023 clauses out of 120259 with flag 0/1881000
170.51/181.67	c cleaning 61016 clauses out of 122236 with flag 0/1943000
177.91/188.98	c cleaning 62022 clauses out of 124220 with flag 0/2006000
184.81/195.71	c cleaning 62998 clauses out of 126199 with flag 0/2070001
192.17/203.04	c cleaning 63995 clauses out of 128201 with flag 0/2135001
199.97/215.99	c cleaning 65003 clauses out of 130206 with flag 0/2201001
208.18/224.10	c cleaning 65986 clauses out of 132203 with flag 0/2268001
217.26/233.04	c cleaning 67032 clauses out of 134216 with flag 0/2336000
226.05/241.70	c cleaning 67983 clauses out of 136185 with flag 0/2405001
234.01/249.58	c cleaning 68992 clauses out of 138201 with flag 0/2475000
242.81/258.29	c cleaning 70023 clauses out of 140209 with flag 0/2546000
252.76/268.14	c cleaning 71003 clauses out of 142186 with flag 0/2618000
261.60/276.93	c cleaning 72007 clauses out of 144183 with flag 0/2691000
269.92/285.26	c cleaning 72972 clauses out of 146176 with flag 0/2765000
279.81/295.05	c cleaning 73998 clauses out of 148205 with flag 0/2840001
289.02/310.27	c cleaning 75001 clauses out of 150207 with flag 0/2916001
298.74/320.00	c cleaning 75995 clauses out of 152206 with flag 0/2993001
311.50/332.68	c cleaning 77042 clauses out of 154211 with flag 0/3071001
323.68/344.67	c cleaning 78010 clauses out of 156168 with flag 0/3150000
335.59/356.35	c cleaning 79003 clauses out of 158161 with flag 0/3230003
346.93/371.79	c cleaning 79990 clauses out of 160156 with flag 0/3311001
358.84/383.41	c cleaning 80991 clauses out of 162165 with flag 0/3393000
371.12/395.67	c cleaning 82000 clauses out of 164174 with flag 0/3476000
383.71/408.02	c cleaning 83025 clauses out of 166176 with flag 0/3560002
395.74/419.86	c cleaning 83991 clauses out of 168150 with flag 0/3645001
408.91/432.98	c cleaning 85000 clauses out of 170158 with flag 0/3731000
421.75/445.68	c cleaning 86007 clauses out of 172158 with flag 0/3818000
433.48/457.25	c cleaning 87005 clauses out of 174152 with flag 0/3906001
446.89/485.66	c cleaning 88015 clauses out of 176147 with flag 0/3995001
461.50/500.06	c cleaning 88987 clauses out of 178131 with flag 0/4085000
475.02/513.49	c cleaning 90020 clauses out of 180145 with flag 0/4176001
487.87/526.17	c cleaning 91002 clauses out of 182125 with flag 0/4268001
502.66/540.70	c cleaning 91986 clauses out of 184122 with flag 0/4361000
516.42/554.36	c cleaning 93000 clauses out of 186136 with flag 0/4455000
530.73/580.29	c cleaning 94007 clauses out of 188136 with flag 0/4550000
546.89/596.27	c cleaning 94996 clauses out of 190130 with flag 0/4646001
562.72/611.91	c cleaning 96016 clauses out of 192133 with flag 0/4743000
578.32/627.39	c cleaning 97002 clauses out of 194117 with flag 0/4841000
594.04/642.96	c cleaning 98010 clauses out of 196116 with flag 0/4940001
608.22/657.07	c cleaning 98992 clauses out of 198105 with flag 0/5040000
626.87/675.48	c cleaning 100004 clauses out of 200113 with flag 0/5141000
643.57/691.81	c cleaning 101008 clauses out of 202109 with flag 0/5243000
659.77/707.85	c cleaning 102003 clauses out of 204101 with flag 0/5346000
675.14/728.05	c cleaning 102977 clauses out of 206099 with flag 0/5450001
689.00/741.74	c cleaning 103986 clauses out of 208122 with flag 0/5555001
703.68/756.34	c cleaning 104982 clauses out of 210136 with flag 0/5661001
718.52/771.07	c cleaning 105987 clauses out of 212154 with flag 0/5768001
733.75/786.18	c cleaning 106990 clauses out of 214167 with flag 0/5876001
750.48/802.79	c cleaning 108003 clauses out of 216177 with flag 0/5985001
766.81/819.14	c cleaning 108998 clauses out of 218174 with flag 0/6095001
784.51/836.57	c cleaning 109991 clauses out of 220177 with flag 0/6206002
800.12/851.95	c cleaning 111001 clauses out of 222184 with flag 0/6318000
816.07/867.65	c cleaning 112002 clauses out of 224184 with flag 0/6431001
832.00/883.33	c cleaning 112990 clauses out of 226181 with flag 0/6545000
851.14/902.24	c cleaning 113994 clauses out of 228191 with flag 0/6660000
868.82/926.24	c cleaning 114994 clauses out of 230198 with flag 0/6776001
886.93/944.44	c cleaning 115991 clauses out of 232204 with flag 0/6893001
905.53/962.86	c cleaning 116998 clauses out of 234212 with flag 0/7011000
922.40/979.52	c cleaning 118002 clauses out of 236215 with flag 0/7130001
936.73/993.44	c cleaning 118945 clauses out of 238212 with flag 0/7250000
955.25/1011.92	c cleaning 119981 clauses out of 240267 with flag 0/7371000
976.60/1033.04	c cleaning 120992 clauses out of 242289 with flag 0/7493003
996.82/1052.91	c cleaning 122010 clauses out of 244294 with flag 0/7616000
1019.61/1084.82	c cleaning 123003 clauses out of 246285 with flag 0/7740001
1044.43/1109.48	c cleaning 124008 clauses out of 248281 with flag 0/7865000
1066.57/1131.28	c cleaning 125000 clauses out of 250274 with flag 0/7991001
1091.01/1155.48	c cleaning 125990 clauses out of 252273 with flag 0/8118000
1112.72/1176.94	c cleaning 126997 clauses out of 254284 with flag 0/8246001
1130.64/1194.56	c cleaning 128001 clauses out of 256287 with flag 0/8375001
1153.63/1217.35	c cleaning 129003 clauses out of 258286 with flag 0/8505001
1172.33/1235.95	c cleaning 129983 clauses out of 260283 with flag 0/8636001
1193.17/1267.45	c cleaning 131023 clauses out of 262299 with flag 0/8768000
1219.80/1293.74	c cleaning 132001 clauses out of 264276 with flag 0/8901000
1245.33/1325.23	c cleaning 133000 clauses out of 266275 with flag 0/9035000
1271.09/1354.41	c cleaning 133986 clauses out of 268276 with flag 0/9170001
1296.20/1379.27	c cleaning 135016 clauses out of 270289 with flag 0/9306000
1321.22/1403.88	c cleaning 135989 clauses out of 272274 with flag 0/9443001
1345.95/1428.27	c cleaning 136991 clauses out of 274285 with flag 0/9581001
1373.35/1455.38	c cleaning 138006 clauses out of 276293 with flag 0/9720000
1398.04/1479.77	c cleaning 138985 clauses out of 278287 with flag 0/9860000
1425.65/1512.38	c cleaning 139999 clauses out of 280302 with flag 0/10001000
1456.41/1542.71	c cleaning 140997 clauses out of 282304 with flag 0/10143001
1482.12/1572.65	c cleaning 142000 clauses out of 284307 with flag 0/10286001
1509.82/1600.05	c cleaning 143008 clauses out of 286306 with flag 0/10430000
1535.99/1628.83	c cleaning 144036 clauses out of 288299 with flag 0/10575001
1558.98/1658.43	c cleaning 144988 clauses out of 290263 with flag 0/10721001
1581.09/1680.22	c cleaning 145985 clauses out of 292276 with flag 0/10868002
1607.83/1706.58	c cleaning 147033 clauses out of 294289 with flag 0/11016000
1629.56/1732.18	c cleaning 148018 clauses out of 296256 with flag 0/11165000
1656.68/1758.95	c cleaning 149042 clauses out of 298239 with flag 0/11315001
1683.37/1785.25	c cleaning 150015 clauses out of 300198 with flag 0/11466002
1712.65/1814.28	c cleaning 150985 clauses out of 302181 with flag 0/11618000
1740.00/1841.14	c cleaning 151962 clauses out of 304196 with flag 0/11771000
1768.27/1868.94	c cleaning 153003 clauses out of 306234 with flag 0/11925000
1794.69/1896.42	c cleaning 153991 clauses out of 308231 with flag 0/12080000
1822.25/1923.68	c cleaning 154971 clauses out of 310240 with flag 0/12236000
1847.43/1948.51	c cleaning 155993 clauses out of 312269 with flag 0/12393000
1870.91/1971.51	c cleaning 157025 clauses out of 314277 with flag 0/12551001
1896.03/1996.48	c cleaning 157985 clauses out of 316252 with flag 0/12710001
1923.23/2030.31	c cleaning 158990 clauses out of 318266 with flag 0/12870000
1950.17/2056.94	c cleaning 159996 clauses out of 320277 with flag 0/13031001
1981.34/2087.74	c cleaning 160995 clauses out of 322280 with flag 0/13193000
2010.65/2116.76	c cleaning 161991 clauses out of 324286 with flag 0/13356001
2044.60/2150.27	c cleaning 163004 clauses out of 326294 with flag 0/13520000
2080.29/2185.44	c cleaning 164020 clauses out of 328291 with flag 0/13685001
2115.33/2220.59	c cleaning 164981 clauses out of 330270 with flag 0/13851000
2157.71/2262.57	c cleaning 166030 clauses out of 332290 with flag 0/14018001
2191.42/2295.79	c cleaning 167040 clauses out of 334260 with flag 0/14186001
2225.93/2329.62	c cleaning 168028 clauses out of 336221 with flag 0/14355002
2255.56/2365.49	c cleaning 169003 clauses out of 338192 with flag 0/14525001
2287.28/2396.74	c cleaning 170024 clauses out of 340190 with flag 0/14696002
2315.70/2424.65	c cleaning 171008 clauses out of 342165 with flag 0/14868001
2342.81/2451.33	c cleaning 171993 clauses out of 344156 with flag 0/15041000
2378.92/2486.86	c cleaning 172986 clauses out of 346163 with flag 0/15215000
2410.06/2517.55	c cleaning 174001 clauses out of 348178 with flag 0/15390001
2438.20/2545.24	c cleaning 174989 clauses out of 350176 with flag 0/15566000
2471.81/2579.15	c cleaning 175987 clauses out of 352187 with flag 0/15743000
2505.23/2612.27	c cleaning 177028 clauses out of 354201 with flag 0/15921001
2537.82/2644.35	c cleaning 177982 clauses out of 356172 with flag 0/16100000
2584.57/2690.64	c cleaning 179013 clauses out of 358190 with flag 0/16280000
2626.74/2732.07	c cleaning 180002 clauses out of 360178 with flag 0/16461001
2658.24/2762.87	c cleaning 180998 clauses out of 362175 with flag 0/16643000
2696.87/2800.99	c cleaning 182005 clauses out of 364178 with flag 0/16826001
2738.29/2852.20	c cleaning 183012 clauses out of 366174 with flag 0/17010002
2777.11/2890.42	c cleaning 184000 clauses out of 368160 with flag 0/17195000
2821.93/2934.51	c cleaning 185002 clauses out of 370160 with flag 0/17381000
2862.83/2977.65	c cleaning 186005 clauses out of 372159 with flag 0/17568001
2893.11/3007.59	c cleaning 187008 clauses out of 374153 with flag 0/17756000
2923.40/3037.46	c cleaning 187986 clauses out of 376146 with flag 0/17945001
2955.01/3076.95	c cleaning 188997 clauses out of 378159 with flag 0/18135000
2984.49/3105.99	c cleaning 189990 clauses out of 380162 with flag 0/18326000
3015.33/3136.52	c cleaning 190982 clauses out of 382174 with flag 0/18518002
3051.02/3171.73	c cleaning 191999 clauses out of 384192 with flag 0/18711002
3087.07/3212.66	c cleaning 193028 clauses out of 386192 with flag 0/18905001
3119.08/3244.14	c cleaning 193977 clauses out of 388164 with flag 0/19100001
3156.78/3281.27	c cleaning 195026 clauses out of 390186 with flag 0/19296000
3197.17/3320.92	c cleaning 195994 clauses out of 392161 with flag 0/19493001
3231.04/3354.20	c cleaning 196977 clauses out of 394166 with flag 0/19691000
3263.53/3385.91	c cleaning 198004 clauses out of 396190 with flag 0/19890001
3306.29/3428.06	c cleaning 198982 clauses out of 398185 with flag 0/20090000
3361.97/3482.88	c cleaning 200014 clauses out of 400203 with flag 0/20291000
3408.97/3528.97	c cleaning 201025 clauses out of 402189 with flag 0/20493000
3446.50/3565.87	c cleaning 201980 clauses out of 404166 with flag 0/20696002
3483.50/3602.08	c cleaning 202980 clauses out of 406184 with flag 0/20900000
3527.58/3647.17	c cleaning 204003 clauses out of 408204 with flag 0/21105000
3565.23/3683.92	c cleaning 204997 clauses out of 410202 with flag 0/21311001
3572.21/3700.01	c starts		: 1
3572.21/3700.01	c conflicts		: 21361914
3572.21/3700.01	c decisions		: 39358439
3572.21/3700.01	c propagations		: 164679873
3572.21/3700.01	c inspects		: 15754614451
3572.21/3700.01	c shortcuts		: 0
3572.21/3700.01	c learnt literals	: 0
3572.21/3700.01	c learnt binary clauses	: 213
3572.21/3700.01	c learnt ternary clauses	: 736
3572.21/3700.01	c learnt constraints	: 21361913
3572.21/3700.01	c ignored constraints	: 0
3572.21/3700.01	c root simplifications	: 0
3572.21/3700.01	c removed literals (reason simplification)	: 0
3572.21/3700.01	c reason swapping (by a shorter reason)	: 0
3572.21/3700.01	c Calls to reduceDB	: 202
3572.21/3700.01	c Number of update (reduction) of LBD	: 31381934
3572.21/3700.01	c Imported unit clauses	: 0
3572.21/3700.01	c No decision after first conflict	: false
3572.21/3700.02	c number of reductions to clauses (during analyze)	: 0
3572.21/3700.02	c number of learned constraints concerned by reduction	: 0
3572.21/3700.02	c number of learning phase by resolution	: 0
3572.21/3700.02	c number of learning phase by cutting planes	: 0
3572.21/3700.02	c number of rounding to 1 operations	: 0
3572.21/3700.02	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3572.21/3700.02	c number of reductions of the coefficients by power 2 	: 0
3572.21/3700.02	c number of right shift for reduction by power 2 	: 0
3572.21/3700.02	c number of reductions of the coefficients by GCD over coefficients 	: 0
3572.21/3700.02	c number of ending skipping 	: 0
3572.21/3700.02	c number of internal skipping 	: 0
3572.21/3700.02	c number of derivation steps 	: 112927608
3572.21/3700.02	c number of skipped derivation steps 	: 0
3572.21/3700.02	c number of remaining unassigned 	: 0
3572.21/3700.02	c number of remaining assigned 	: 0
3572.21/3700.02	c number of falsified literals weakened from reason	: 0
3572.21/3700.02	c number of falsified literals weakened from conflict	: 0
3572.21/3700.02	c time for arithmetic operations	: 0
3572.21/3700.02	c minimum degree of deleted constraints	: 1
3572.21/3700.02	c maximum degree of deleted constraints	: 1
3572.21/3700.02	c number of deleted constraints	: 21105796
3572.21/3700.02	c speed (assignments/second)	: 44520.34696051344
3572.21/3700.02	c non guided choices	: 2043572
3572.21/3700.08	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 255904
3572.21/3700.08	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 213
3572.21/3700.08	s UNKNOWN
3572.21/3700.08	c Total wall clock time (in seconds): 3699.919

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=78962, runsolver pid=78947
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 2.68 3.75 3.97 7/332 79031
/proc/meminfo: memFree=128956444/131249996 swapFree=33010416/33010684
[pid=78962] ppid=78947 vsize=18930384 memory=55484 CPUtime=0.12 cores=1,3
/proc/78962/stat : 78962 (java) S 78947 78962 78894 0 -1 4194304 6505 0 35 0 10 2 0 0 20 0 18 0 71196642 19384713216 13871 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
/proc/78962/statm: 4732596 13871 5352 1 0 547572 0
[pid=78962/tid=78977] ppid=78947 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/78962/task/78977/stat : 78977 (java) R 78947 78962 78894 0 -1 4194368 5009 0 35 0 6 1 0 0 20 0 18 0 71196644 19384713216 13871 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79017] ppid=78947 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/78962/task/79017/stat : 79017 (Finalizer) S 78947 78962 78894 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 71196646 19384713216 13871 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79031] ppid=78947 vsize=18930384 memory=59585004335790 CPUtime=0 cores=1,3
/proc/78962/task/79031/stat : 79031 (Common-Cleaner) S 78947 78962 78894 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 71196647 19384713216 13871 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55484 KiB

[startup+0.204859 s]*
/proc/loadavg: 2.68 3.75 3.97 2/332 79031
/proc/meminfo: memFree=128943212/131249996 swapFree=33010416/33010684
[pid=78962] ppid=78947 vsize=18930384 memory=61708 CPUtime=0.23 cores=1,3
/proc/78962/stat : 78962 (java) S 78947 78962 78894 0 -1 4194304 6979 0 35 0 21 2 0 0 20 0 18 0 71196642 19384713216 15427 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
/proc/78962/statm: 4732596 15427 5416 1 0 547888 0
[pid=78962/tid=78977] ppid=78947 vsize=18930384 memory=4026728732 CPUtime=0.12 cores=1,3
/proc/78962/task/78977/stat : 78977 (java) D 78947 78962 78894 0 -1 4456512 5321 0 35 0 11 1 0 0 20 0 18 0 71196644 19384713216 15427 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79017] ppid=78947 vsize=18930384 memory=16912 CPUtime=0 cores=1,3
/proc/78962/task/79017/stat : 79017 (Finalizer) S 78947 78962 78894 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 71196646 19384713216 15427 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79031] ppid=78947 vsize=18930384 memory=58485492679654 CPUtime=0 cores=1,3
/proc/78962/task/79031/stat : 79031 (Common-Cleaner) S 78947 78962 78894 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 71196647 19384713216 15427 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61708 KiB

[startup+0.305528 s]*
/proc/loadavg: 2.68 3.75 3.97 13/333 79032
/proc/meminfo: memFree=128864968/131249996 swapFree=33010416/33010684
[pid=78962] ppid=78947 vsize=18930384 memory=72680 CPUtime=0.34 cores=1,3
/proc/78962/stat : 78962 (java) S 78947 78962 78894 0 -1 4194304 7141 0 35 0 32 2 0 0 20 0 18 0 71196642 19384713216 18170 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
/proc/78962/statm: 4732596 18170 5448 1 0 547995 0
[pid=78962/tid=78977] ppid=78947 vsize=18930384 memory=-6000919477017994344 CPUtime=0.17 cores=1,3
/proc/78962/task/78977/stat : 78977 (java) R 78947 78962 78894 0 -1 4194368 5371 0 35 0 16 1 0 0 20 0 18 0 71196644 19384713216 18170 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79017] ppid=78947 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/78962/task/79017/stat : 79017 (Finalizer) S 78947 78962 78894 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 71196646 19384713216 18170 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79031] ppid=78947 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/78962/task/79031/stat : 79031 (Common-Cleaner) S 78947 78962 78894 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 71196647 19384713216 18170 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 72680 KiB

[startup+0.700193 s]
/proc/loadavg: 2.68 3.75 3.97 8/317 79038
/proc/meminfo: memFree=128248880/131249996 swapFree=33010416/33010684
[pid=78962] ppid=78947 vsize=18996948 memory=920628 CPUtime=1.09 cores=1,3
/proc/78962/stat : 78962 (java) S 78947 78962 78894 0 -1 4194304 11661 0 35 0 90 19 0 0 20 0 19 0 71196642 19452874752 230157 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
/proc/78962/statm: 4749237 230157 5480 1 0 551137 0
[pid=78962/tid=78977] ppid=78947 vsize=18996948 memory=18048 CPUtime=0.53 cores=1,3
/proc/78962/task/78977/stat : 78977 (java) R 78947 78962 78894 0 -1 4194368 5796 0 35 0 36 17 0 0 20 0 19 0 71196644 19452874752 230157 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79017] ppid=78947 vsize=18996948 memory=11008 CPUtime=0 cores=1,3
/proc/78962/task/79017/stat : 79017 (Finalizer) S 78947 78962 78894 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 71196646 19452874752 230157 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79031] ppid=78947 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/78962/task/79031/stat : 79031 (Common-Cleaner) S 78947 78962 78894 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 71196647 19452874752 230157 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 920628 KiB

[startup+1.5002 s]
/proc/loadavg: 2.68 3.75 3.97 8/316 79047
/proc/meminfo: memFree=127089500/131249996 swapFree=33010416/33010684
[pid=78962] ppid=78947 vsize=19063512 memory=1314040 CPUtime=2.67 cores=1,3
/proc/78962/stat : 78962 (java) S 78947 78962 78894 0 -1 4194304 21634 0 35 0 238 29 0 0 20 0 20 0 71196642 19521036288 328510 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
/proc/78962/statm: 4765878 328510 5512 1 0 555373 0
[pid=78962/tid=78977] ppid=78947 vsize=19063512 memory=3200 CPUtime=1.2 cores=1,3
/proc/78962/task/78977/stat : 78977 (java) R 78947 78962 78894 0 -1 4194368 6104 0 35 0 96 24 0 0 20 0 20 0 71196644 19521036288 328510 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79017] ppid=78947 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/78962/task/79017/stat : 79017 (Finalizer) S 78947 78962 78894 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71196646 19521036288 328510 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79031] ppid=78947 vsize=19063512 memory=11008 CPUtime=0 cores=1,3
/proc/78962/task/79031/stat : 79031 (Common-Cleaner) S 78947 78962 78894 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 71196647 19521036288 328510 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1314040 KiB

[startup+3.10494 s]
/proc/loadavg: 3.10 3.82 4.00 9/340 79105
/proc/meminfo: memFree=126460212/131249996 swapFree=33010416/33010684
[pid=78962] ppid=78947 vsize=19063512 memory=1321984 CPUtime=5.82 cores=1,3
/proc/78962/stat : 78962 (java) S 78947 78962 78894 0 -1 4194304 22319 0 35 0 552 30 0 0 20 0 20 0 71196642 19521036288 330496 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
/proc/78962/statm: 4765878 330496 5512 1 0 555425 0
[pid=78962/tid=78977] ppid=78947 vsize=19063512 memory=-6000919477017994344 CPUtime=2.73 cores=1,3
/proc/78962/task/78977/stat : 78977 (java) R 78947 78962 78894 0 -1 4194368 6376 0 35 0 248 25 0 0 20 0 20 0 71196644 19521036288 330496 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79017] ppid=78947 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/78962/task/79017/stat : 79017 (Finalizer) S 78947 78962 78894 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71196646 19521036288 330496 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79031] ppid=78947 vsize=19063512 memory=11008 CPUtime=0 cores=1,3
/proc/78962/task/79031/stat : 79031 (Common-Cleaner) S 78947 78962 78894 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 71196647 19521036288 330496 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79048] ppid=78947 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/78962/task/79048/stat : 79048 (Timer-0) S 78947 78962 78894 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71196746 19521036288 330496 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
Current children cumulated CPU time: 5.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1321984 KiB

[startup+6.3002 s]
/proc/loadavg: 3.10 3.82 4.00 8/340 79105
/proc/meminfo: memFree=124520276/131249996 swapFree=33010416/33010684
[pid=78962] ppid=78947 vsize=19063512 memory=1901620 CPUtime=9.07 cores=1,3
/proc/78962/stat : 78962 (java) S 78947 78962 78894 0 -1 4194304 23374 0 35 0 862 45 0 0 20 0 20 0 71196642 19521036288 475405 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
/proc/78962/statm: 4765878 475405 5544 1 0 703731 0
[pid=78962/tid=78977] ppid=78947 vsize=19063512 memory=0 CPUtime=5.85 cores=1,3
/proc/78962/task/78977/stat : 78977 (java) R 78947 78962 78894 0 -1 4194368 7036 0 35 0 546 39 0 0 20 0 20 0 71196644 19521036288 475405 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79017] ppid=78947 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/78962/task/79017/stat : 79017 (Finalizer) S 78947 78962 78894 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71196646 19521036288 475405 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79031] ppid=78947 vsize=19063512 memory=11008 CPUtime=0 cores=1,3
/proc/78962/task/79031/stat : 79031 (Common-Cleaner) S 78947 78962 78894 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 71196647 19521036288 475405 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79048] ppid=78947 vsize=19063512 memory=-6000919477017994344 CPUtime=0 cores=1,3
/proc/78962/task/79048/stat : 79048 (Timer-0) S 78947 78962 78894 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71196746 19521036288 475405 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
Current children cumulated CPU time: 9.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1901620 KiB

[startup+12.7002 s]
/proc/loadavg: 3.39 3.86 4.01 6/340 79105
/proc/meminfo: memFree=122925208/131249996 swapFree=33010416/33010684
[pid=78962] ppid=78947 vsize=19063512 memory=1910368 CPUtime=15.57 cores=1,3
/proc/78962/stat : 78962 (java) S 78947 78962 78894 0 -1 4194304 29051 0 35 0 1509 48 0 0 20 0 20 0 71196642 19521036288 477592 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
/proc/78962/statm: 4765878 477592 5544 1 0 703731 0
[pid=78962/tid=78977] ppid=78947 vsize=19063512 memory=1910368 CPUtime=12.13 cores=1,3
/proc/78962/task/78977/stat : 78977 (java) R 78947 78962 78894 0 -1 4194368 8066 0 35 0 1172 41 0 0 20 0 20 0 71196644 19521036288 477592 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79017] ppid=78947 vsize=19063512 memory=-6000919477017994344 CPUtime=0 cores=1,3
/proc/78962/task/79017/stat : 79017 (Finalizer) S 78947 78962 78894 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71196646 19521036288 477592 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79031] ppid=78947 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/78962/task/79031/stat : 79031 (Common-Cleaner) S 78947 78962 78894 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 71196647 19521036288 477592 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79048] ppid=78947 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/78962/task/79048/stat : 79048 (Timer-0) S 78947 78962 78894 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71196746 19521036288 477592 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
Current children cumulated CPU time: 15.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1910368 KiB

[startup+25.5002 s]
/proc/loadavg: 3.48 3.87 4.01 6/340 79105
/proc/meminfo: memFree=120795708/131249996 swapFree=33010416/33010684
[pid=78962] ppid=78947 vsize=19063512 memory=2452532 CPUtime=28.55 cores=1,3
/proc/78962/stat : 78962 (java) S 78947 78962 78894 0 -1 4194304 33115 0 35 0 2788 67 0 0 20 0 20 0 71196642 19521036288 613133 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
/proc/78962/statm: 4765878 613133 5544 1 0 839499 0
[pid=78962/tid=78977] ppid=78947 vsize=19063512 memory=1914596 CPUtime=24.63 cores=1,3
/proc/78962/task/78977/stat : 78977 (java) R 78947 78962 78894 0 -1 4194368 9724 0 35 0 2404 59 0 0 20 0 20 0 71196644 19521036288 613133 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79017] ppid=78947 vsize=19063512 memory=1914596 CPUtime=0 cores=1,3
/proc/78962/task/79017/stat : 79017 (Finalizer) S 78947 78962 78894 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71196646 19521036288 613133 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79031] ppid=78947 vsize=19063512 memory=-6000919477017994344 CPUtime=0 cores=1,3
/proc/78962/task/79031/stat : 79031 (Common-Cleaner) S 78947 78962 78894 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 71196647 19521036288 613133 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79048] ppid=78947 vsize=19063512 memory=-6000919477017994344 CPUtime=0 cores=1,3
/proc/78962/task/79048/stat : 79048 (Timer-0) S 78947 78962 78894 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71196746 19521036288 613133 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
Current children cumulated CPU time: 28.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2452532 KiB

[startup+51.1049 s]
/proc/loadavg: 3.66 3.88 4.00 7/342 79108
/proc/meminfo: memFree=120352316/131249996 swapFree=33010416/33010684
[pid=78962] ppid=78947 vsize=19063512 memory=2471120 CPUtime=41 cores=1,3
/proc/78962/stat : 78962 (java) S 78947 78962 78894 0 -1 4194304 34544 0 35 0 4028 72 0 0 20 0 20 0 71196642 19521036288 617780 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
/proc/78962/statm: 4765878 617780 5544 1 0 839510 0
[pid=78962/tid=78977] ppid=78947 vsize=19063512 memory=2467012 CPUtime=36.75 cores=1,3
/proc/78962/task/78977/stat : 78977 (java) R 78947 78962 78894 0 -1 4194368 10417 0 35 0 3613 62 0 0 20 0 20 0 71196644 19521036288 617780 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79017] ppid=78947 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/78962/task/79017/stat : 79017 (Finalizer) S 78947 78962 78894 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71196646 19521036288 617780 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79031] ppid=78947 vsize=19063512 memory=14464 CPUtime=0 cores=1,3
/proc/78962/task/79031/stat : 79031 (Common-Cleaner) S 78947 78962 78894 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 71196647 19521036288 617780 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79048] ppid=78947 vsize=19063512 memory=2456676 CPUtime=0 cores=1,3
/proc/78962/task/79048/stat : 79048 (Timer-0) S 78947 78962 78894 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71196746 19521036288 617780 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0

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

/proc/78962/task/78977/stat : 78977 (java) R 78947 78962 78894 0 -1 4194368 74444 0 35 0 309188 577 0 0 20 0 20 0 71196644 19521036288 959090 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79017] ppid=78947 vsize=19063512 memory=3836360 CPUtime=0 cores=1,3
/proc/78962/task/79017/stat : 79017 (Finalizer) S 78947 78962 78894 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71196646 19521036288 959090 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79031] ppid=78947 vsize=19063512 memory=3836360 CPUtime=0 cores=1,3
/proc/78962/task/79031/stat : 79031 (Common-Cleaner) S 78947 78962 78894 0 -1 4194368 1148 0 0 0 0 0 0 0 20 0 20 0 71196647 19521036288 959090 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79048] ppid=78947 vsize=19063512 memory=14464 CPUtime=0 cores=1,3
/proc/78962/task/79048/stat : 79048 (Timer-0) S 78947 78962 78894 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71196746 19521036288 959090 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
Current children cumulated CPU time: 3218.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3836360 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.17 4.17 6/343 79293
/proc/meminfo: memFree=110141300/131249996 swapFree=33010416/33010684
[pid=78962] ppid=78947 vsize=19063512 memory=3836360 CPUtime=3280.13 cores=1,3
/proc/78962/stat : 78962 (java) S 78947 78962 78894 0 -1 4194304 159027 0 35 0 327259 754 0 0 20 0 20 0 71196642 19521036288 959090 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
/proc/78962/statm: 4765878 959090 5544 1 0 972168 0
[pid=78962/tid=78977] ppid=78947 vsize=19063512 memory=3836360 CPUtime=3155.95 cores=1,3
/proc/78962/task/78977/stat : 78977 (java) R 78947 78962 78894 0 -1 4194368 74472 0 35 0 315008 587 0 0 20 0 20 0 71196644 19521036288 959090 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79017] ppid=78947 vsize=19063512 memory=14464 CPUtime=0 cores=1,3
/proc/78962/task/79017/stat : 79017 (Finalizer) S 78947 78962 78894 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71196646 19521036288 959090 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79031] ppid=78947 vsize=19063512 memory=3836360 CPUtime=0 cores=1,3
/proc/78962/task/79031/stat : 79031 (Common-Cleaner) S 78947 78962 78894 0 -1 4194368 1207 0 0 0 0 0 0 0 20 0 20 0 71196647 19521036288 959090 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79048] ppid=78947 vsize=19063512 memory=-6000919477017994344 CPUtime=0 cores=1,3
/proc/78962/task/79048/stat : 79048 (Timer-0) S 78947 78962 78894 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71196746 19521036288 959090 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
Current children cumulated CPU time: 3280.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3836360 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.16 4.17 6/344 79296
/proc/meminfo: memFree=110078180/131249996 swapFree=33010416/33010684
[pid=78962] ppid=78947 vsize=19063512 memory=3836360 CPUtime=3341.15 cores=1,3
/proc/78962/stat : 78962 (java) S 78947 78962 78894 0 -1 4194304 160677 0 35 0 333353 762 0 0 20 0 20 0 71196642 19521036288 959090 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
/proc/78962/statm: 4765878 959090 5544 1 0 972168 0
[pid=78962/tid=78977] ppid=78947 vsize=19063512 memory=3836360 CPUtime=3214.47 cores=1,3
/proc/78962/task/78977/stat : 78977 (java) R 78947 78962 78894 0 -1 4194368 75931 0 35 0 320854 593 0 0 20 0 20 0 71196644 19521036288 959090 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79017] ppid=78947 vsize=19063512 memory=3836360 CPUtime=0 cores=1,3
/proc/78962/task/79017/stat : 79017 (Finalizer) S 78947 78962 78894 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71196646 19521036288 959090 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79031] ppid=78947 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/78962/task/79031/stat : 79031 (Common-Cleaner) S 78947 78962 78894 0 -1 4194368 1207 0 0 0 0 0 0 0 20 0 20 0 71196647 19521036288 959090 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79048] ppid=78947 vsize=19063512 memory=-6000919477017994344 CPUtime=0 cores=1,3
/proc/78962/task/79048/stat : 79048 (Timer-0) S 78947 78962 78894 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71196746 19521036288 959090 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
Current children cumulated CPU time: 3341.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3836360 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.15 4.17 6/341 79298
/proc/meminfo: memFree=110019436/131249996 swapFree=33010416/33010684
[pid=78962] ppid=78947 vsize=19063512 memory=3836360 CPUtime=3402.24 cores=1,3
/proc/78962/stat : 78962 (java) S 78947 78962 78894 0 -1 4194304 164472 0 35 0 339454 770 0 0 20 0 20 0 71196642 19521036288 959090 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
/proc/78962/statm: 4765878 959090 5544 1 0 972168 0
[pid=78962/tid=78977] ppid=78947 vsize=19063512 memory=5760 CPUtime=3273.03 cores=1,3
/proc/78962/task/78977/stat : 78977 (java) R 78947 78962 78894 0 -1 4194368 78260 0 35 0 326704 599 0 0 20 0 20 0 71196644 19521036288 959090 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79017] ppid=78947 vsize=19063512 memory=3836360 CPUtime=0 cores=1,3
/proc/78962/task/79017/stat : 79017 (Finalizer) S 78947 78962 78894 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71196646 19521036288 959090 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79031] ppid=78947 vsize=19063512 memory=14464 CPUtime=0 cores=1,3
/proc/78962/task/79031/stat : 79031 (Common-Cleaner) S 78947 78962 78894 0 -1 4194368 1317 0 0 0 0 0 0 0 20 0 20 0 71196647 19521036288 959090 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79048] ppid=78947 vsize=19063512 memory=3836360 CPUtime=0 cores=1,3
/proc/78962/task/79048/stat : 79048 (Timer-0) S 78947 78962 78894 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71196746 19521036288 959090 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
Current children cumulated CPU time: 3402.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3836360 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.14 4.16 6/342 79303
/proc/meminfo: memFree=109972248/131249996 swapFree=33010416/33010684
[pid=78962] ppid=78947 vsize=19063512 memory=3836872 CPUtime=3463.3 cores=1,3
/proc/78962/stat : 78962 (java) S 78947 78962 78894 0 -1 4194304 169811 0 35 0 345547 783 0 0 20 0 20 0 71196642 19521036288 959218 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
/proc/78962/statm: 4765878 959218 5544 1 0 972296 0
[pid=78962/tid=78977] ppid=78947 vsize=19063512 memory=14464 CPUtime=3331.55 cores=1,3
/proc/78962/task/78977/stat : 78977 (java) R 78947 78962 78894 0 -1 4194368 80070 0 35 0 332547 608 0 0 20 0 20 0 71196644 19521036288 959218 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79017] ppid=78947 vsize=19063512 memory=18048 CPUtime=0 cores=1,3
/proc/78962/task/79017/stat : 79017 (Finalizer) S 78947 78962 78894 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71196646 19521036288 959218 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79031] ppid=78947 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=1,3
/proc/78962/task/79031/stat : 79031 (Common-Cleaner) S 78947 78962 78894 0 -1 4194368 1413 0 0 0 0 0 0 0 20 0 20 0 71196647 19521036288 959218 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79048] ppid=78947 vsize=19063512 memory=18048 CPUtime=0 cores=1,3
/proc/78962/task/79048/stat : 79048 (Timer-0) S 78947 78962 78894 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71196746 19521036288 959218 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
Current children cumulated CPU time: 3463.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3836872 KiB

[startup+3642.3 s]
/proc/loadavg: 4.08 4.13 4.16 5/319 79316
/proc/meminfo: memFree=116287260/131249996 swapFree=33010416/33010684
[pid=78962] ppid=78947 vsize=19063512 memory=3836872 CPUtime=3522.73 cores=1,3
/proc/78962/stat : 78962 (java) S 78947 78962 78894 0 -1 4194304 170135 0 35 0 351481 792 0 0 20 0 20 0 71196642 19521036288 959218 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
/proc/78962/statm: 4765878 959218 5544 1 0 972296 0
[pid=78962/tid=78977] ppid=78947 vsize=19063512 memory=3836360 CPUtime=3388.27 cores=1,3
/proc/78962/task/78977/stat : 78977 (java) R 78947 78962 78894 0 -1 4194368 80309 0 35 0 338211 616 0 0 20 0 20 0 71196644 19521036288 959218 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79017] ppid=78947 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/78962/task/79017/stat : 79017 (Finalizer) S 78947 78962 78894 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71196646 19521036288 959218 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79031] ppid=78947 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/78962/task/79031/stat : 79031 (Common-Cleaner) S 78947 78962 78894 0 -1 4194368 1413 0 0 0 0 0 0 0 20 0 20 0 71196647 19521036288 959218 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79048] ppid=78947 vsize=19063512 memory=3836872 CPUtime=0 cores=1,3
/proc/78962/task/79048/stat : 79048 (Timer-0) S 78947 78962 78894 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71196746 19521036288 959218 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
Current children cumulated CPU time: 3522.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3836872 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+3700 s]*
/proc/loadavg: 4.25 4.17 4.17 7/345 79376
/proc/meminfo: memFree=115872500/131249996 swapFree=33010416/33010684
[pid=78962] ppid=78947 vsize=19063512 memory=3836872 CPUtime=3572.21 cores=1,3
/proc/78962/stat : 78962 (java) S 78947 78962 78894 0 -1 4194304 173806 0 35 0 356419 802 0 0 20 0 20 0 71196642 19521036288 959218 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
/proc/78962/statm: 4765878 959218 5544 1 0 972296 0
[pid=78962/tid=78977] ppid=78947 vsize=19063512 memory=-6000919468428452712 CPUtime=3435.44 cores=1,3
/proc/78962/task/78977/stat : 78977 (java) D 78947 78962 78894 0 -1 4194368 81732 0 35 0 342921 623 0 0 20 0 20 0 71196644 19521036288 959218 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79017] ppid=78947 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/78962/task/79017/stat : 79017 (Finalizer) S 78947 78962 78894 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71196646 19521036288 959218 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79031] ppid=78947 vsize=19063512 memory=2372 CPUtime=0 cores=1,3
/proc/78962/task/79031/stat : 79031 (Common-Cleaner) S 78947 78962 78894 0 -1 4194368 1413 0 0 0 0 0 0 0 20 0 20 0 71196647 19521036288 959218 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
[pid=78962/tid=79048] ppid=78947 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/78962/task/79048/stat : 79048 (Timer-0) S 78947 78962 78894 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71196746 19521036288 959218 18446744073709551615 94318316883968 94318316887664 140734984122176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94318316895480 94318316896272 94318318379008 140734984124717 140734984124902 140734984124902 140734984130504 0
Current children cumulated CPU time: 3572.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3836872 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3564.3 s, system=8.04564 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3700.8 s]
/proc/loadavg: 4.25 4.17 4.17 3/288 79382
/proc/meminfo: memFree=115870004/131249996 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3701.6 s]
/proc/loadavg: 4.25 4.17 4.17 3/288 79382
/proc/meminfo: memFree=115870004/131249996 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3702 s]*
/proc/loadavg: 4.23 4.16 4.17 3/287 79382
/proc/meminfo: memFree=115870028/131249996 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3704.61
CPU time (s): 3572.34
CPU user time (s): 3564.3
CPU system time (s): 8.04564
CPU usage (%): 96.4297
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 3837768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.3
system time used= 8.04564
maximum resident set size= 3837896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 176784
page faults= 35
swaps= 0
block input operations= 0
block output operations= 3860744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 189462
involuntary context switches= 18236


# summary of solver processes directly reported to runsolver:
#   pid: 78962
#   total CPU time (s): 3572.34
#   total CPU user time (s): 3564.3
#   total CPU system time (s): 8.04564

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.13512 second user time and 13.8464 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2025-07-03 17:06:11
IDJOB=4518831
IDBENCH=177101
IDSOLVER=3362
FILE ID=nodeC030/4518831-1751555170
RUNJOBID= nodeC030-1751555170-78906
SLURM_JOB_ID= 9598746
Free space on /tmp= 432492 MiB

SOLVER NAME= Sat4j CP VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebvc/normalized-comppebvc_opt_75.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518831-1751555170/watcher-4518831-1751555170 -o /tmp/evaluation-result-4518831-1751555170/solver-4518831-1751555170 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751555170-78906 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4518831-1751555170 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4518831-1751555170.opb

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

MD5SUM BENCH= 54c9cb8452a5bc0fdf8cdacd374d003e
RANDOM SEED=184778046

nodeC030 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		: 3600.376
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	: 7000.62
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		: 3583.221
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	: 7000.62
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		: 3600.594
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	: 7000.62
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		: 3600.478
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	: 7000.62
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.800
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	: 7000.62
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		: 3600.513
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	: 7000.62
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		: 3600.407
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	: 7000.62
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		: 3600.322
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	: 7000.62
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129029828 kB
MemAvailable:   129723804 kB
Buffers:            2564 kB
Cached:          1485000 kB
SwapCached:           16 kB
Active:           507244 kB
Inactive:        1041488 kB
Active(anon):      74668 kB
Inactive(anon):     4548 kB
Active(file):     432576 kB
Inactive(file):  1036940 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4212 kB
Writeback:             0 kB
AnonPages:         64256 kB
Mapped:           102816 kB
Shmem:             18048 kB
KReclaimable:     127000 kB
Slab:             215768 kB
SReclaimable:     127000 kB
SUnreclaim:        88768 kB
KernelStack:        3940 kB
PageTables:         2336 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     332176 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150456 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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:      189140 kB
DirectMap2M:     9019392 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432488 MiB
End job on nodeC030 at 2025-07-03 18:07:55