Trace number 4509866

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 CP 2025-06-06? (TO) 3600.65 3552.45

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n182-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
MD5SUMfdfc61e25e9264eb2f8645fd8f162aaa
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables273
Total number of constraints728
Number of constraints which are clauses728
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 constraint3
Maximum length of a constraint3
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 5
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.11/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.17	c See www.sat4j.org for details.
0.11/0.18	c version PB25.v20250606
0.11/0.21	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.21	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.21	c java.vm.version	22.0.1+8-16
0.11/0.21	c java.vm.vendor	Oracle Corporation
0.11/0.21	c sun.arch.data.model	64
0.11/0.21	c java.version		22.0.1
0.11/0.21	c os.name		Linux
0.11/0.21	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.11/0.21	c os.arch		amd64
0.28/0.23	c Free memory 		2104792832
0.28/0.23	c Max memory 		16282288128
0.28/0.23	c Total memory 		2113929216
0.28/0.24	c Number of processors 	2
0.44/0.40	c Pseudo Boolean Optimization by upper bound
0.44/0.40	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.44/0.40	c  - never skip resolution steps
0.44/0.40	c  - Auto-division on coefficients is disabled
0.44/0.40	c  - No postprocessing
0.44/0.40	c  - Conflict is considered as is when resolving
0.44/0.40	c  - Use constraints as they come during conflict analysis
0.44/0.40	c  - Weaken first using unassigned literals
0.44/0.40	c  - Bump strategy: ALWAYS_ONE
0.44/0.40	c  - Bumper: ANY
0.44/0.40	c --- Begin Solver configuration ---
0.44/0.40	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@5cbc508c
0.44/0.40	c Learn all clauses as in MiniSAT
0.44/0.40	c LOGGER=java.util.logging.Logger@68fb2c38 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.44/0.40	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.44/0.40	c No reason simplification
0.44/0.40	c Armin Biere (Picosat) restarts strategy
0.44/0.40	c Activity based learned constraints deletion strategy with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.44/0.40	c timeout=2147483s
0.44/0.40	c DB Simplification allowed=false
0.44/0.40	c Listener: none
0.44/0.40	c --- End Solver configuration ---
0.44/0.40	c solving HOME/instance-4509866-1751201929.opb
0.44/0.40	c reading problem ... 
0.44/0.41	c  no objective function found
0.78/0.54	c ... done. Wall clock time 0.127s.
0.78/0.54	c declared #vars     273
0.78/0.54	c #constraints  728
0.78/0.54	c constraints type 
0.78/0.54	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 728
0.78/0.54	c 728 constraints processed.
2.50/1.40	c cleaning 2493 clauses out of 5000
3.10/1.77	c cleaning 4248 clauses out of 8509
3.71/2.09	c cleaning 5620 clauses out of 11259
4.45/2.41	c cleaning 6814 clauses out of 13640
4.77/2.75	c cleaning 7905 clauses out of 15826
5.40/3.21	c cleaning 8949 clauses out of 17920
5.77/3.59	c cleaning 9984 clauses out of 19971
6.18/3.97	c cleaning 10975 clauses out of 21988
6.74/4.46	c cleaning 11998 clauses out of 24012
7.31/4.96	c cleaning 12994 clauses out of 26014
8.11/5.74	c cleaning 14009 clauses out of 28021
8.80/6.41	c cleaning 14993 clauses out of 30011
9.49/7.12	c cleaning 15999 clauses out of 32018
10.08/7.77	c cleaning 17006 clauses out of 34020
10.78/8.50	c cleaning 17996 clauses out of 36013
11.68/9.32	c cleaning 19000 clauses out of 38018
12.57/10.24	c cleaning 20002 clauses out of 40017
13.46/11.11	c cleaning 21003 clauses out of 42016
14.45/12.19	c cleaning 21994 clauses out of 44013
15.45/13.17	c cleaning 22996 clauses out of 46018
16.44/14.17	c cleaning 24007 clauses out of 48024
17.62/15.35	c cleaning 24999 clauses out of 50015
18.91/16.64	c cleaning 25998 clauses out of 52016
20.90/18.69	c cleaning 26997 clauses out of 54019
22.19/19.95	c cleaning 27999 clauses out of 56023
23.31/21.08	c cleaning 28995 clauses out of 58023
24.59/22.32	c cleaning 30005 clauses out of 60028
25.89/23.62	c cleaning 31003 clauses out of 62023
27.69/25.42	c cleaning 32003 clauses out of 64020
29.68/27.43	c cleaning 33002 clauses out of 66018
31.11/28.86	c cleaning 33990 clauses out of 68015
32.60/30.34	c cleaning 34997 clauses out of 70024
34.21/31.91	c cleaning 36005 clauses out of 72027
36.00/33.74	c cleaning 36998 clauses out of 74023
38.32/36.05	c cleaning 37998 clauses out of 76024
40.60/38.38	c cleaning 39009 clauses out of 78027
43.68/41.49	c cleaning 39998 clauses out of 80017
46.57/44.34	c cleaning 40996 clauses out of 82019
48.46/46.24	c cleaning 42007 clauses out of 84023
50.56/48.34	c cleaning 42997 clauses out of 86017
52.79/50.53	c cleaning 43999 clauses out of 88020
55.40/53.13	c cleaning 44996 clauses out of 90020
57.73/55.42	c cleaning 46003 clauses out of 92025
60.22/57.97	c cleaning 47001 clauses out of 94022
62.96/60.69	c cleaning 47991 clauses out of 96020
65.71/63.32	c cleaning 48996 clauses out of 98029
68.95/66.51	c cleaning 50005 clauses out of 100034
72.26/69.81	c cleaning 51005 clauses out of 102029
74.70/72.21	c cleaning 51998 clauses out of 104024
77.28/74.78	c cleaning 53003 clauses out of 106025
80.76/78.24	c cleaning 54004 clauses out of 108023
84.21/81.52	c cleaning 55002 clauses out of 110018
87.09/84.39	c cleaning 56000 clauses out of 112016
90.38/87.58	c cleaning 56997 clauses out of 114017
93.84/90.98	c cleaning 58001 clauses out of 116019
97.03/94.10	c cleaning 58997 clauses out of 118018
101.21/98.15	c cleaning 60003 clauses out of 120022
105.56/102.47	c cleaning 61003 clauses out of 122018
109.23/105.99	c cleaning 61990 clauses out of 124016
112.81/109.47	c cleaning 63006 clauses out of 126026
116.28/112.89	c cleaning 64003 clauses out of 128020
120.58/117.10	c cleaning 64995 clauses out of 130016
125.24/121.69	c cleaning 66004 clauses out of 132021
129.27/125.66	c cleaning 66997 clauses out of 134017
133.46/129.71	c cleaning 68003 clauses out of 136021
137.04/133.22	c cleaning 68995 clauses out of 138017
141.70/137.80	c cleaning 69999 clauses out of 140022
145.50/141.53	c cleaning 71000 clauses out of 142023
149.76/145.71	c cleaning 71999 clauses out of 144023
153.93/149.84	c cleaning 73000 clauses out of 146025
159.98/155.85	c cleaning 74001 clauses out of 148024
166.03/161.72	c cleaning 75002 clauses out of 150024
171.00/166.61	c cleaning 75994 clauses out of 152021
176.50/172.05	c cleaning 77003 clauses out of 154027
181.86/177.30	c cleaning 78006 clauses out of 156024
188.75/184.07	c cleaning 78993 clauses out of 158019
195.03/190.25	c cleaning 79998 clauses out of 160026
200.42/195.57	c cleaning 81003 clauses out of 162027
207.13/202.03	c cleaning 82005 clauses out of 164024
212.13/206.91	c cleaning 83000 clauses out of 166019
218.22/212.93	c cleaning 83999 clauses out of 168020
223.93/218.47	c cleaning 84994 clauses out of 170021
229.53/223.90	c cleaning 85997 clauses out of 172026
236.33/230.66	c cleaning 86998 clauses out of 174029
242.93/237.05	c cleaning 88008 clauses out of 176031
250.41/244.48	c cleaning 88997 clauses out of 178024
258.68/252.66	c cleaning 90002 clauses out of 180027
265.21/258.98	c cleaning 91000 clauses out of 182024
274.10/267.69	c cleaning 92003 clauses out of 184025
280.75/274.23	c cleaning 93000 clauses out of 186021
286.58/279.80	c cleaning 93995 clauses out of 188021
293.55/286.72	c cleaning 95005 clauses out of 190027
300.00/293.05	c cleaning 96005 clauses out of 192022
307.75/300.76	c cleaning 96994 clauses out of 194016
314.67/307.55	c cleaning 97997 clauses out of 196023
322.77/315.56	c cleaning 99003 clauses out of 198026
331.45/324.02	c cleaning 100004 clauses out of 200023
338.16/330.57	c cleaning 100992 clauses out of 202019
344.67/336.93	c cleaning 102003 clauses out of 204026
352.37/344.41	c cleaning 103004 clauses out of 206024
362.55/354.44	c cleaning 103997 clauses out of 208019
370.73/362.57	c cleaning 104999 clauses out of 210022
379.11/370.76	c cleaning 105998 clauses out of 212023
388.08/379.54	c cleaning 106998 clauses out of 214025
397.78/389.15	c cleaning 107999 clauses out of 216027
408.65/399.89	c cleaning 109000 clauses out of 218028
419.02/410.03	c cleaning 110003 clauses out of 220028
428.26/419.16	c cleaning 111003 clauses out of 222026
438.07/428.81	c cleaning 112002 clauses out of 224022
448.30/438.90	c cleaning 113001 clauses out of 226020
460.34/450.76	c cleaning 114000 clauses out of 228020
468.98/459.27	c cleaning 114997 clauses out of 230020
477.98/468.14	c cleaning 115997 clauses out of 232022
486.33/476.31	c cleaning 116999 clauses out of 234026
496.89/486.71	c cleaning 118006 clauses out of 236026
506.24/495.98	c cleaning 119003 clauses out of 238020
517.67/507.21	c cleaning 120003 clauses out of 240017
528.31/517.77	c cleaning 120994 clauses out of 242015
539.07/528.37	c cleaning 121994 clauses out of 244021
548.94/538.01	c cleaning 123007 clauses out of 246027
562.87/551.78	c cleaning 124002 clauses out of 248020
574.42/563.17	c cleaning 124995 clauses out of 250017
585.36/573.96	c cleaning 126002 clauses out of 252022
593.86/582.21	c cleaning 126996 clauses out of 254021
606.59/594.83	c cleaning 127998 clauses out of 256025
617.58/605.67	c cleaning 129008 clauses out of 258027
626.08/613.90	c cleaning 130001 clauses out of 260018
635.47/623.19	c cleaning 130999 clauses out of 262018
643.54/631.09	c cleaning 132003 clauses out of 264019
653.89/641.18	c cleaning 132997 clauses out of 266015
666.53/653.60	c cleaning 134002 clauses out of 268019
677.79/664.67	c cleaning 135002 clauses out of 270018
688.92/675.58	c cleaning 136002 clauses out of 272014
701.96/688.35	c cleaning 136998 clauses out of 274012
712.85/699.04	c cleaning 137995 clauses out of 276015
727.24/713.22	c cleaning 139005 clauses out of 278020
739.18/725.06	c cleaning 139992 clauses out of 280014
750.84/736.58	c cleaning 141000 clauses out of 282022
764.05/749.53	c cleaning 142006 clauses out of 284023
774.75/759.59	c cleaning 142993 clauses out of 286016
786.20/770.93	c cleaning 144002 clauses out of 288024
799.61/784.31	c cleaning 145004 clauses out of 290022
815.26/799.85	c cleaning 146000 clauses out of 292018
828.65/813.08	c cleaning 146998 clauses out of 294017
841.81/825.93	c cleaning 148001 clauses out of 296019
854.46/838.49	c cleaning 148999 clauses out of 298018
868.42/852.18	c cleaning 150002 clauses out of 300019
880.62/864.21	c cleaning 150999 clauses out of 302018
896.04/879.46	c cleaning 151993 clauses out of 304019
907.84/891.11	c cleaning 153000 clauses out of 306025
924.34/907.32	c cleaning 153996 clauses out of 308026
938.71/921.55	c cleaning 154999 clauses out of 310029
951.18/933.85	c cleaning 156002 clauses out of 312031
972.69/955.24	c cleaning 157003 clauses out of 314028
988.80/971.02	c cleaning 158004 clauses out of 316026
1003.84/985.88	c cleaning 159001 clauses out of 318022
1019.89/1001.59	c cleaning 160000 clauses out of 320020
1037.95/1019.32	c cleaning 160994 clauses out of 322020
1051.29/1032.56	c cleaning 162002 clauses out of 324026
1064.60/1045.61	c cleaning 162996 clauses out of 326025
1079.35/1060.28	c cleaning 163999 clauses out of 328029
1093.42/1074.05	c cleaning 164996 clauses out of 330029
1107.62/1088.08	c cleaning 165999 clauses out of 332034
1123.21/1103.36	c cleaning 166998 clauses out of 334034
1136.78/1116.73	c cleaning 167995 clauses out of 336036
1150.91/1130.71	c cleaning 169006 clauses out of 338042
1170.16/1149.75	c cleaning 170001 clauses out of 340036
1183.41/1162.87	c cleaning 171000 clauses out of 342034
1197.85/1177.09	c cleaning 172001 clauses out of 344035
1212.97/1192.08	c cleaning 173006 clauses out of 346033
1226.01/1205.01	c cleaning 173997 clauses out of 348029
1240.11/1218.83	c cleaning 175003 clauses out of 350031
1259.26/1237.78	c cleaning 176001 clauses out of 352028
1276.91/1255.14	c cleaning 177007 clauses out of 354027
1290.07/1268.11	c cleaning 178001 clauses out of 356020
1305.82/1283.68	c cleaning 179003 clauses out of 358018
1320.57/1298.14	c cleaning 180000 clauses out of 360016
1337.96/1315.20	c cleaning 180994 clauses out of 362015
1354.53/1331.60	c cleaning 181997 clauses out of 364022
1372.10/1349.01	c cleaning 183004 clauses out of 366026
1390.53/1367.16	c cleaning 183998 clauses out of 368021
1407.88/1384.30	c cleaning 185001 clauses out of 370022
1424.19/1400.45	c cleaning 185998 clauses out of 372021
1443.70/1419.79	c cleaning 186996 clauses out of 374023
1461.53/1437.18	c cleaning 187998 clauses out of 376027
1479.99/1455.41	c cleaning 189002 clauses out of 378030
1500.29/1475.45	c cleaning 189999 clauses out of 380028
1514.88/1489.80	c cleaning 191006 clauses out of 382029
1536.44/1511.19	c cleaning 192000 clauses out of 384023
1554.24/1528.63	c cleaning 192993 clauses out of 386023
1572.83/1546.74	c cleaning 194002 clauses out of 388030
1592.58/1566.45	c cleaning 195005 clauses out of 390028
1609.07/1582.83	c cleaning 196004 clauses out of 392023
1629.20/1602.70	c cleaning 196998 clauses out of 394019
1648.39/1621.68	c cleaning 198002 clauses out of 396021
1668.95/1641.92	c cleaning 198999 clauses out of 398019
1686.12/1658.99	c cleaning 200001 clauses out of 400019
1707.85/1680.53	c cleaning 200997 clauses out of 402018
1724.72/1697.13	c cleaning 201998 clauses out of 404021
1749.32/1721.49	c cleaning 203001 clauses out of 406023
1785.45/1757.33	c cleaning 203999 clauses out of 408022
1822.23/1793.75	c cleaning 204995 clauses out of 410024
1844.95/1816.17	c cleaning 205997 clauses out of 412028
1864.45/1835.47	c cleaning 207000 clauses out of 414031
1891.32/1862.11	c cleaning 208001 clauses out of 416032
1914.49/1885.12	c cleaning 209001 clauses out of 418030
1936.59/1907.18	c cleaning 210000 clauses out of 420029
1959.66/1930.09	c cleaning 211003 clauses out of 422030
1978.93/1949.19	c cleaning 211997 clauses out of 424027
1998.03/1968.08	c cleaning 213003 clauses out of 426029
2017.71/1987.46	c cleaning 214007 clauses out of 428027
2034.83/2004.37	c cleaning 215000 clauses out of 430020
2056.18/2025.40	c cleaning 216005 clauses out of 432020
2073.97/2042.98	c cleaning 216986 clauses out of 434015
2093.72/2062.58	c cleaning 217996 clauses out of 436028
2110.23/2078.87	c cleaning 219006 clauses out of 438033
2132.14/2100.66	c cleaning 220001 clauses out of 440027
2156.19/2124.56	c cleaning 220997 clauses out of 442026
2175.60/2143.64	c cleaning 222001 clauses out of 444029
2198.75/2166.53	c cleaning 223001 clauses out of 446027
2223.19/2190.56	c cleaning 223999 clauses out of 448026
2244.32/2211.39	c cleaning 224998 clauses out of 450027
2269.98/2236.59	c cleaning 226005 clauses out of 452029
2290.50/2256.71	c cleaning 227003 clauses out of 454025
2313.55/2279.31	c cleaning 228004 clauses out of 456021
2332.74/2298.24	c cleaning 229000 clauses out of 458018
2358.16/2323.32	c cleaning 230000 clauses out of 460018
2379.63/2343.68	c cleaning 230995 clauses out of 462018
2403.63/2367.50	c cleaning 232003 clauses out of 464024
2426.60/2390.34	c cleaning 233003 clauses out of 466019
2451.10/2414.64	c cleaning 234003 clauses out of 468017
2475.72/2439.03	c cleaning 234995 clauses out of 470014
2502.25/2465.44	c cleaning 235999 clauses out of 472018
2526.47/2489.41	c cleaning 236996 clauses out of 474019
2551.54/2514.12	c cleaning 238001 clauses out of 476023
2575.93/2538.35	c cleaning 238994 clauses out of 478023
2599.06/2561.21	c cleaning 240003 clauses out of 480028
2622.72/2584.68	c cleaning 240998 clauses out of 482025
2651.64/2613.32	c cleaning 242000 clauses out of 484027
2672.50/2634.15	c cleaning 243005 clauses out of 486029
2698.60/2660.15	c cleaning 243998 clauses out of 488022
2717.81/2679.27	c cleaning 245001 clauses out of 490025
2746.93/2708.29	c cleaning 246002 clauses out of 492023
2769.78/2730.80	c cleaning 246998 clauses out of 494021
2793.39/2754.22	c cleaning 247998 clauses out of 496023
2819.76/2780.37	c cleaning 249006 clauses out of 498026
2847.24/2807.52	c cleaning 250001 clauses out of 500020
2875.70/2835.65	c cleaning 250996 clauses out of 502019
2903.00/2862.65	c cleaning 251997 clauses out of 504022
2930.64/2890.00	c cleaning 252999 clauses out of 506025
2955.15/2914.37	c cleaning 254006 clauses out of 508026
2982.63/2941.60	c cleaning 254998 clauses out of 510021
3008.77/2967.58	c cleaning 256005 clauses out of 512023
3037.35/2996.10	c cleaning 256995 clauses out of 514017
3064.98/3023.56	c cleaning 257998 clauses out of 516023
3090.74/3049.03	c cleaning 259000 clauses out of 518024
3115.92/3073.73	c cleaning 260004 clauses out of 520025
3137.00/3093.67	c cleaning 261003 clauses out of 522021
3158.26/3114.71	c cleaning 261991 clauses out of 524017
3182.57/3138.97	c cleaning 263004 clauses out of 526026
3208.54/3164.73	c cleaning 264000 clauses out of 528023
3238.06/3194.08	c cleaning 265000 clauses out of 530023
3259.41/3215.15	c cleaning 266003 clauses out of 532023
3286.37/3241.78	c cleaning 267000 clauses out of 534019
3317.20/3272.49	c cleaning 268003 clauses out of 536019
3351.04/3306.03	c cleaning 268997 clauses out of 538016
3379.78/3334.37	c cleaning 269995 clauses out of 540020
3413.35/3367.73	c cleaning 271002 clauses out of 542025
3445.90/3399.88	c cleaning 271996 clauses out of 544023
3470.46/3423.94	c cleaning 273002 clauses out of 546027
3504.66/3457.91	c cleaning 274004 clauses out of 548024
3545.47/3498.34	c cleaning 274991 clauses out of 550020
3578.78/3531.49	c cleaning 275994 clauses out of 552030
3600.00/3552.15	c starts		: 403
3600.00/3552.18	c conflicts		: 38771000
3600.00/3552.19	c decisions		: 46978201
3600.00/3552.19	c propagations		: 383814888
3600.00/3552.19	c inspects		: 21879551758
3600.00/3552.19	c shortcuts		: 0
3600.00/3552.19	c learnt literals	: 0
3600.00/3552.19	c learnt binary clauses	: 0
3600.00/3552.19	c learnt ternary clauses	: 1066
3600.00/3552.19	c learnt constraints	: 38771000
3600.00/3552.20	c ignored constraints	: 0
3600.00/3552.20	c root simplifications	: 0
3600.00/3552.20	c removed literals (reason simplification)	: 0
3600.00/3552.20	c reason swapping (by a shorter reason)	: 0
3600.00/3552.20	c Calls to reduceDB	: 274
3600.00/3552.20	c Number of update (reduction) of LBD	: 0
3600.00/3552.20	c Imported unit clauses	: 0
3600.00/3552.20	c No decision after first conflict	: false
3600.17/3552.20	c number of reductions to clauses (during analyze)	: 0
3600.17/3552.20	c number of learned constraints concerned by reduction	: 0
3600.17/3552.21	c number of learning phase by resolution	: 0
3600.17/3552.21	c number of learning phase by cutting planes	: 0
3600.17/3552.21	c number of rounding to 1 operations	: 0
3600.17/3552.21	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.17/3552.22	c number of reductions of the coefficients by power 2 	: 0
3600.17/3552.22	c number of right shift for reduction by power 2 	: 0
3600.17/3552.22	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.17/3552.22	c number of ending skipping 	: 0
3600.17/3552.22	c number of internal skipping 	: 0
3600.17/3552.22	c number of derivation steps 	: 334762392
3600.17/3552.22	c number of skipped derivation steps 	: 0
3600.17/3552.22	c number of remaining unassigned 	: 0
3600.17/3552.22	c number of remaining assigned 	: 0
3600.17/3552.22	c number of falsified literals weakened from reason	: 0
3600.17/3552.22	c number of falsified literals weakened from conflict	: 0
3600.17/3552.22	c time for arithmetic operations	: 0
3600.17/3552.23	c minimum degree of deleted constraints	: null
3600.17/3552.23	c maximum degree of deleted constraints	: null
3600.17/3552.23	c number of deleted constraints	: 0
3600.17/3552.23	c speed (assignments/second)	: 108065.42462883866
3600.17/3552.24	c non guided choices	: 99765
3600.56/3552.42	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 554035
3600.56/3552.42	s UNKNOWN
3600.56/3552.42	c Total wall clock time (in seconds): 3552.02

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (56920 MiB free)
  memory of node 1: 64465 MiB (62833 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509866-1751201929/watcher-4509866-1751201929 -o /tmp/evaluation-result-4509866-1751201929/solver-4509866-1751201929 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751195027-23021 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4509866-1751201929.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=24142, runsolver pid=24139

[startup+0.100073 s]*
/proc/loadavg: 4.63 4.42 4.31 7/325 24160
/proc/meminfo: memFree=122607872/131382120 swapFree=33010684/33010684
[pid=24142] ppid=24139 vsize=18930384 memory=48124 CPUtime=0.11 cores=5,7
/proc/24142/stat : 24142 (java) S 24139 24142 23008 0 -1 4194304 5739 0 0 0 8 3 0 0 20 0 18 0 35872050 19384713216 12031 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
/proc/24142/statm: 4732596 12031 5297 1 0 546955 0
[pid=24142/tid=24144] ppid=24139 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/24142/task/24144/stat : 24144 (java) R 24139 24142 23008 0 -1 4194368 4641 0 0 0 5 2 0 0 20 0 18 0 35872052 19384713216 12031 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24153] ppid=24139 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/24142/task/24153/stat : 24153 (Finalizer) S 24139 24142 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35872056 19384713216 12031 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24160] ppid=24139 vsize=18930384 memory=59593594261064 CPUtime=0 cores=5,7
/proc/24142/task/24160/stat : 24160 (Common-Cleaner) S 24139 24142 23008 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 35872058 19384713216 12031 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48124 KiB

[startup+0.213672 s]*
/proc/loadavg: 4.63 4.42 4.31 6/325 24160
/proc/meminfo: memFree=122551600/131382120 swapFree=33010684/33010684
[pid=24142] ppid=24139 vsize=18930384 memory=53120 CPUtime=0.28 cores=5,7
/proc/24142/stat : 24142 (java) S 24139 24142 23008 0 -1 4194304 6452 0 0 0 24 4 0 0 20 0 18 0 35872050 19384713216 13280 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
/proc/24142/statm: 4732596 13280 5329 1 0 547533 0
[pid=24142/tid=24144] ppid=24139 vsize=18930384 memory=4026597660 CPUtime=0.16 cores=5,7
/proc/24142/task/24144/stat : 24144 (java) R 24139 24142 23008 0 -1 4194368 4985 0 0 0 14 2 0 0 20 0 18 0 35872052 19384713216 13280 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24153] ppid=24139 vsize=18930384 memory=15877 CPUtime=0 cores=5,7
/proc/24142/task/24153/stat : 24153 (Finalizer) S 24139 24142 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35872056 19384713216 13280 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24160] ppid=24139 vsize=18930384 memory=58494082614266 CPUtime=0 cores=5,7
/proc/24142/task/24160/stat : 24160 (Common-Cleaner) S 24139 24142 23008 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 35872058 19384713216 13280 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53120 KiB

[startup+0.315273 s]*
/proc/loadavg: 4.63 4.42 4.31 8/325 24160
/proc/meminfo: memFree=122463912/131382120 swapFree=33010684/33010684
[pid=24142] ppid=24139 vsize=18930384 memory=58368 CPUtime=0.44 cores=5,7
/proc/24142/stat : 24142 (java) S 24139 24142 23008 0 -1 4194304 6730 0 0 0 39 5 0 0 20 0 18 0 35872050 19384713216 14592 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
/proc/24142/statm: 4732596 14592 5329 1 0 547733 0
[pid=24142/tid=24144] ppid=24139 vsize=18930384 memory=-6000919468445362285 CPUtime=0.25 cores=5,7
/proc/24142/task/24144/stat : 24144 (java) R 24139 24142 23008 0 -1 4194368 5168 0 0 0 22 3 0 0 20 0 18 0 35872052 19384713216 14592 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24153] ppid=24139 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/24142/task/24153/stat : 24153 (Finalizer) S 24139 24142 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35872056 19384713216 14592 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24160] ppid=24139 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/24142/task/24160/stat : 24160 (Common-Cleaner) S 24139 24142 23008 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 35872058 19384713216 14592 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58368 KiB

[startup+0.700351 s]
/proc/loadavg: 4.63 4.42 4.31 7/325 24160
/proc/meminfo: memFree=122454464/131382120 swapFree=33010684/33010684
[pid=24142] ppid=24139 vsize=18996948 memory=71316 CPUtime=1.12 cores=5,7
/proc/24142/stat : 24142 (java) S 24139 24142 23008 0 -1 4194304 7311 0 0 0 106 6 0 0 20 0 19 0 35872050 19452874752 17829 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
/proc/24142/statm: 4749237 17829 5425 1 0 548334 0
[pid=24142/tid=24144] ppid=24139 vsize=18996948 memory=17152 CPUtime=0.6 cores=5,7
/proc/24142/task/24144/stat : 24144 (java) R 24139 24142 23008 0 -1 4194368 5430 0 0 0 56 4 0 0 20 0 19 0 35872052 19452874752 17829 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24153] ppid=24139 vsize=18996948 memory=10496 CPUtime=0 cores=5,7
/proc/24142/task/24153/stat : 24153 (Finalizer) S 24139 24142 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35872056 19452874752 17829 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24160] ppid=24139 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/24142/task/24160/stat : 24160 (Common-Cleaner) S 24139 24142 23008 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35872058 19452874752 17829 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 71316 KiB

[startup+1.50029 s]
/proc/loadavg: 4.63 4.42 4.31 7/326 24161
/proc/meminfo: memFree=122400336/131382120 swapFree=33010684/33010684
[pid=24142] ppid=24139 vsize=19063512 memory=164808 CPUtime=2.7 cores=5,7
/proc/24142/stat : 24142 (java) S 24139 24142 23008 0 -1 4194304 16181 0 0 0 260 10 0 0 20 0 20 0 35872050 19521036288 41202 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
/proc/24142/statm: 4765878 41202 5457 1 0 551739 0
[pid=24142/tid=24144] ppid=24139 vsize=19063512 memory=3200 CPUtime=1.35 cores=5,7
/proc/24142/task/24144/stat : 24144 (java) R 24139 24142 23008 0 -1 4194368 6297 0 0 0 129 6 0 0 20 0 20 0 35872052 19521036288 41202 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24153] ppid=24139 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/24142/task/24153/stat : 24153 (Finalizer) S 24139 24142 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35872056 19521036288 41202 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24160] ppid=24139 vsize=19063512 memory=10496 CPUtime=0 cores=5,7
/proc/24142/task/24160/stat : 24160 (Common-Cleaner) S 24139 24142 23008 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 35872058 19521036288 41202 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24161] ppid=24139 vsize=19063512 memory=16352 CPUtime=0 cores=5,7
/proc/24142/task/24161/stat : 24161 (Timer-0) S 24139 24142 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35872104 19521036288 41202 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 164808 KiB

[startup+3.10551 s]
/proc/loadavg: 4.66 4.43 4.31 6/327 24162
/proc/meminfo: memFree=121808996/131382120 swapFree=33010684/33010684
[pid=24142] ppid=24139 vsize=19063512 memory=752200 CPUtime=5.24 cores=5,7
/proc/24142/stat : 24142 (java) S 24139 24142 23008 0 -1 4194304 18730 0 0 0 503 21 0 0 20 0 20 0 35872050 19521036288 188050 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
/proc/24142/statm: 4765878 188050 5457 1 0 552012 0
[pid=24142/tid=24144] ppid=24139 vsize=19063512 memory=16352 CPUtime=2.91 cores=5,7
/proc/24142/task/24144/stat : 24144 (java) R 24139 24142 23008 0 -1 4194368 7037 0 0 0 274 17 0 0 20 0 20 0 35872052 19521036288 188050 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24153] ppid=24139 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/24142/task/24153/stat : 24153 (Finalizer) S 24139 24142 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35872056 19521036288 188050 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24160] ppid=24139 vsize=19063512 memory=10496 CPUtime=0 cores=5,7
/proc/24142/task/24160/stat : 24160 (Common-Cleaner) S 24139 24142 23008 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 35872058 19521036288 188050 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24161] ppid=24139 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/24142/task/24161/stat : 24161 (Timer-0) S 24139 24142 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35872104 19521036288 188050 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
Current children cumulated CPU time: 5.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 752200 KiB

[startup+6.30025 s]
/proc/loadavg: 4.66 4.43 4.31 5/327 24162
/proc/meminfo: memFree=120787360/131382120 swapFree=33010684/33010684
[pid=24142] ppid=24139 vsize=19063512 memory=1304588 CPUtime=8.7 cores=5,7
/proc/24142/stat : 24142 (java) S 24139 24142 23008 0 -1 4194304 19147 0 0 0 838 32 0 0 20 0 20 0 35872050 19521036288 326147 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
/proc/24142/statm: 4765878 326147 5457 1 0 552030 0
[pid=24142/tid=24144] ppid=24139 vsize=19063512 memory=0 CPUtime=6.01 cores=5,7
/proc/24142/task/24144/stat : 24144 (java) R 24139 24142 23008 0 -1 4194368 7372 0 0 0 574 27 0 0 20 0 20 0 35872052 19521036288 326147 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24153] ppid=24139 vsize=19063512 memory=10496 CPUtime=0 cores=5,7
/proc/24142/task/24153/stat : 24153 (Finalizer) S 24139 24142 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35872056 19521036288 326147 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24160] ppid=24139 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/24142/task/24160/stat : 24160 (Common-Cleaner) S 24139 24142 23008 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 35872058 19521036288 326147 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24161] ppid=24139 vsize=19063512 memory=164808 CPUtime=0 cores=5,7
/proc/24142/task/24161/stat : 24161 (Timer-0) S 24139 24142 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35872104 19521036288 326147 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
Current children cumulated CPU time: 8.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1304588 KiB

[startup+12.7003 s]
/proc/loadavg: 4.56 4.42 4.31 5/327 24162
/proc/meminfo: memFree=120357612/131382120 swapFree=33010684/33010684
[pid=24142] ppid=24139 vsize=19063512 memory=1731548 CPUtime=15.05 cores=5,7
/proc/24142/stat : 24142 (java) S 24139 24142 23008 0 -1 4194304 21737 0 0 0 1464 41 0 0 20 0 20 0 35872050 19521036288 432887 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
/proc/24142/statm: 4765878 432887 5457 1 0 658546 0
[pid=24142/tid=24144] ppid=24139 vsize=19063512 memory=164808 CPUtime=12.16 cores=5,7
/proc/24142/task/24144/stat : 24144 (java) R 24139 24142 23008 0 -1 4194368 9041 0 0 0 1181 35 0 0 20 0 20 0 35872052 19521036288 432887 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24153] ppid=24139 vsize=19063512 memory=1657820 CPUtime=0 cores=5,7
/proc/24142/task/24153/stat : 24153 (Finalizer) S 24139 24142 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35872056 19521036288 432887 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24160] ppid=24139 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/24142/task/24160/stat : 24160 (Common-Cleaner) S 24139 24142 23008 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 35872058 19521036288 432887 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24161] ppid=24139 vsize=19063512 memory=10496 CPUtime=0 cores=5,7
/proc/24142/task/24161/stat : 24161 (Timer-0) S 24139 24142 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35872104 19521036288 432887 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
Current children cumulated CPU time: 15.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1731548 KiB

[startup+25.5005 s]
/proc/loadavg: 4.47 4.40 4.30 5/327 24162
/proc/meminfo: memFree=119348100/131382120 swapFree=33010684/33010684
[pid=24142] ppid=24139 vsize=19063512 memory=2234568 CPUtime=27.79 cores=5,7
/proc/24142/stat : 24142 (java) S 24139 24142 23008 0 -1 4194304 23916 0 0 0 2729 50 0 0 20 0 20 0 35872050 19521036288 558642 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
/proc/24142/statm: 4765878 558642 5457 1 0 785981 0
[pid=24142/tid=24144] ppid=24139 vsize=19063512 memory=0 CPUtime=24.5 cores=5,7
/proc/24142/task/24144/stat : 24144 (java) R 24139 24142 23008 0 -1 4194368 10065 0 0 0 2407 43 0 0 20 0 20 0 35872052 19521036288 558642 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24153] ppid=24139 vsize=19063512 memory=16352 CPUtime=0 cores=5,7
/proc/24142/task/24153/stat : 24153 (Finalizer) S 24139 24142 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35872056 19521036288 558642 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24160] ppid=24139 vsize=19063512 memory=2234568 CPUtime=0 cores=5,7
/proc/24142/task/24160/stat : 24160 (Common-Cleaner) S 24139 24142 23008 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 35872058 19521036288 558642 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24161] ppid=24139 vsize=19063512 memory=2232476 CPUtime=0 cores=5,7
/proc/24142/task/24161/stat : 24161 (Timer-0) S 24139 24142 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35872104 19521036288 558642 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
Current children cumulated CPU time: 27.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2234568 KiB

[startup+51.1133 s]
/proc/loadavg: 4.46 4.40 4.30 5/327 24162
/proc/meminfo: memFree=118273980/131382120 swapFree=33010684/33010684
[pid=24142] ppid=24139 vsize=19063512 memory=2766460 CPUtime=53.4 cores=5,7
/proc/24142/stat : 24142 (java) S 24139 24142 23008 0 -1 4194304 27590 0 0 0 5277 63 0 0 20 0 20 0 35872050 19521036288 691615 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
/proc/24142/statm: 4765878 691615 5489 1 0 919673 0
[pid=24142/tid=24144] ppid=24139 vsize=19063512 memory=2234568 CPUtime=49.33 cores=5,7
/proc/24142/task/24144/stat : 24144 (java) R 24139 24142 23008 0 -1 4194368 12089 0 0 0 4878 55 0 0 20 0 20 0 35872052 19521036288 691615 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24153] ppid=24139 vsize=19063512 memory=30340 CPUtime=0 cores=5,7
/proc/24142/task/24153/stat : 24153 (Finalizer) S 24139 24142 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35872056 19521036288 691615 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24160] ppid=24139 vsize=19063512 memory=2308 CPUtime=0 cores=5,7
/proc/24142/task/24160/stat : 24160 (Common-Cleaner) S 24139 24142 23008 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 35872058 19521036288 691615 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0

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

[startup+3222.3 s]
/proc/loadavg: 4.19 4.18 4.18 5/326 24519
/proc/meminfo: memFree=115720520/131382120 swapFree=33010684/33010684
[pid=24142] ppid=24139 vsize=19063512 memory=3859164 CPUtime=3266.79 cores=5,7
/proc/24142/stat : 24142 (java) S 24139 24142 23008 0 -1 4194304 134087 0 0 0 326359 320 0 0 20 0 20 0 35872050 19521036288 964791 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
/proc/24142/statm: 4765878 964791 5489 1 0 979913 0
[pid=24142/tid=24144] ppid=24139 vsize=19063512 memory=280002608556624 CPUtime=3136.64 cores=5,7
/proc/24142/task/24144/stat : 24144 (java) R 24139 24142 23008 0 -1 4194368 71875 0 0 0 313576 88 0 0 20 0 20 0 35872052 19521036288 964791 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24153] ppid=24139 vsize=19063512 memory=4141888 CPUtime=0 cores=5,7
/proc/24142/task/24153/stat : 24153 (Finalizer) S 24139 24142 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35872056 19521036288 964791 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24160] ppid=24139 vsize=19063512 memory=3859164 CPUtime=0 cores=5,7
/proc/24142/task/24160/stat : 24160 (Common-Cleaner) S 24139 24142 23008 0 -1 4194368 1357 0 0 0 0 0 0 0 20 0 20 0 35872058 19521036288 964791 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24161] ppid=24139 vsize=19063512 memory=-6000919468445362285 CPUtime=0 cores=5,7
/proc/24142/task/24161/stat : 24161 (Timer-0) S 24139 24142 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35872104 19521036288 964791 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
Current children cumulated CPU time: 3266.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3859164 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.16 4.17 5/326 24521
/proc/meminfo: memFree=115719948/131382120 swapFree=33010684/33010684
[pid=24142] ppid=24139 vsize=19063512 memory=3859164 CPUtime=3327.23 cores=5,7
/proc/24142/stat : 24142 (java) S 24139 24142 23008 0 -1 4194304 134629 0 0 0 332400 323 0 0 20 0 20 0 35872050 19521036288 964791 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
/proc/24142/statm: 4765878 964791 5489 1 0 979913 0
[pid=24142/tid=24144] ppid=24139 vsize=19063512 memory=3859164 CPUtime=3195.07 cores=5,7
/proc/24142/task/24144/stat : 24144 (java) R 24139 24142 23008 0 -1 4194368 72162 0 0 0 319419 88 0 0 20 0 20 0 35872052 19521036288 964791 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24153] ppid=24139 vsize=19063512 memory=3859164 CPUtime=0 cores=5,7
/proc/24142/task/24153/stat : 24153 (Finalizer) S 24139 24142 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35872056 19521036288 964791 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24160] ppid=24139 vsize=19063512 memory=3859164 CPUtime=0 cores=5,7
/proc/24142/task/24160/stat : 24160 (Common-Cleaner) S 24139 24142 23008 0 -1 4194368 1357 0 0 0 0 0 0 0 20 0 20 0 35872058 19521036288 964791 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24161] ppid=24139 vsize=19063512 memory=16352 CPUtime=0 cores=5,7
/proc/24142/task/24161/stat : 24161 (Timer-0) S 24139 24142 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35872104 19521036288 964791 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
Current children cumulated CPU time: 3327.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3859164 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.14 4.17 5/326 24525
/proc/meminfo: memFree=115721160/131382120 swapFree=33010684/33010684
[pid=24142] ppid=24139 vsize=19063512 memory=3859164 CPUtime=3387.84 cores=5,7
/proc/24142/stat : 24142 (java) S 24139 24142 23008 0 -1 4194304 137082 0 0 0 338457 327 0 0 20 0 20 0 35872050 19521036288 964791 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
/proc/24142/statm: 4765878 964791 5489 1 0 979913 0
[pid=24142/tid=24144] ppid=24139 vsize=19063512 memory=3859164 CPUtime=3253.73 cores=5,7
/proc/24142/task/24144/stat : 24144 (java) R 24139 24142 23008 0 -1 4194368 73803 0 0 0 325284 89 0 0 20 0 20 0 35872052 19521036288 964791 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24153] ppid=24139 vsize=19063512 memory=17152 CPUtime=0 cores=5,7
/proc/24142/task/24153/stat : 24153 (Finalizer) S 24139 24142 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35872056 19521036288 964791 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24160] ppid=24139 vsize=19063512 memory=3859164 CPUtime=0 cores=5,7
/proc/24142/task/24160/stat : 24160 (Common-Cleaner) S 24139 24142 23008 0 -1 4194368 1357 0 0 0 0 0 0 0 20 0 20 0 35872058 19521036288 964791 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24161] ppid=24139 vsize=19063512 memory=16352 CPUtime=0 cores=5,7
/proc/24142/task/24161/stat : 24161 (Timer-0) S 24139 24142 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35872104 19521036288 964791 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
Current children cumulated CPU time: 3387.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3859164 KiB

[startup+3402.3 s]
/proc/loadavg: 4.21 4.16 4.17 5/326 24527
/proc/meminfo: memFree=115721476/131382120 swapFree=33010684/33010684
[pid=24142] ppid=24139 vsize=19063512 memory=3859164 CPUtime=3448.48 cores=5,7
/proc/24142/stat : 24142 (java) S 24139 24142 23008 0 -1 4194304 139269 0 0 0 344518 330 0 0 20 0 20 0 35872050 19521036288 964791 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
/proc/24142/statm: 4765878 964791 5489 1 0 979913 0
[pid=24142/tid=24144] ppid=24139 vsize=19063512 memory=3859164 CPUtime=3312.13 cores=5,7
/proc/24142/task/24144/stat : 24144 (java) R 24139 24142 23008 0 -1 4194368 75268 0 0 0 331123 90 0 0 20 0 20 0 35872052 19521036288 964791 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24153] ppid=24139 vsize=19063512 memory=3859164 CPUtime=0 cores=5,7
/proc/24142/task/24153/stat : 24153 (Finalizer) S 24139 24142 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35872056 19521036288 964791 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24160] ppid=24139 vsize=19063512 memory=16352 CPUtime=0 cores=5,7
/proc/24142/task/24160/stat : 24160 (Common-Cleaner) S 24139 24142 23008 0 -1 4194368 1406 0 0 0 0 0 0 0 20 0 20 0 35872058 19521036288 964791 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24161] ppid=24139 vsize=19063512 memory=16352 CPUtime=0 cores=5,7
/proc/24142/task/24161/stat : 24161 (Timer-0) S 24139 24142 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35872104 19521036288 964791 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
Current children cumulated CPU time: 3448.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3859164 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.16 4.17 5/326 24529
/proc/meminfo: memFree=115721332/131382120 swapFree=33010684/33010684
[pid=24142] ppid=24139 vsize=19063512 memory=3859164 CPUtime=3509.13 cores=5,7
/proc/24142/stat : 24142 (java) S 24139 24142 23008 0 -1 4194304 139656 0 0 0 350579 334 0 0 20 0 20 0 35872050 19521036288 964791 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
/proc/24142/statm: 4765878 964791 5489 1 0 979913 0
[pid=24142/tid=24144] ppid=24139 vsize=19063512 memory=3859164 CPUtime=3370.58 cores=5,7
/proc/24142/task/24144/stat : 24144 (java) R 24139 24142 23008 0 -1 4194368 75473 0 0 0 336968 90 0 0 20 0 20 0 35872052 19521036288 964791 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24153] ppid=24139 vsize=19063512 memory=3859164 CPUtime=0 cores=5,7
/proc/24142/task/24153/stat : 24153 (Finalizer) S 24139 24142 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35872056 19521036288 964791 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24160] ppid=24139 vsize=19063512 memory=3859164 CPUtime=0 cores=5,7
/proc/24142/task/24160/stat : 24160 (Common-Cleaner) S 24139 24142 23008 0 -1 4194368 1454 0 0 0 0 0 0 0 20 0 20 0 35872058 19521036288 964791 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24161] ppid=24139 vsize=19063512 memory=3859164 CPUtime=0 cores=5,7
/proc/24142/task/24161/stat : 24161 (Timer-0) S 24139 24142 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35872104 19521036288 964791 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
Current children cumulated CPU time: 3509.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3859164 KiB

[startup+3522.3 s]
/proc/loadavg: 4.51 4.24 4.20 5/326 24531
/proc/meminfo: memFree=115717444/131382120 swapFree=33010684/33010684
[pid=24142] ppid=24139 vsize=19063512 memory=3859164 CPUtime=3569.69 cores=5,7
/proc/24142/stat : 24142 (java) S 24139 24142 23008 0 -1 4194304 141840 0 0 0 356632 337 0 0 20 0 20 0 35872050 19521036288 964791 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
/proc/24142/statm: 4765878 964791 5489 1 0 979913 0
[pid=24142/tid=24144] ppid=24139 vsize=19063512 memory=3859164 CPUtime=3429.35 cores=5,7
/proc/24142/task/24144/stat : 24144 (java) R 24139 24142 23008 0 -1 4194368 76854 0 0 0 342845 90 0 0 20 0 20 0 35872052 19521036288 964791 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24153] ppid=24139 vsize=19063512 memory=3859164 CPUtime=0 cores=5,7
/proc/24142/task/24153/stat : 24153 (Finalizer) S 24139 24142 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35872056 19521036288 964791 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24160] ppid=24139 vsize=19063512 memory=3859164 CPUtime=0 cores=5,7
/proc/24142/task/24160/stat : 24160 (Common-Cleaner) S 24139 24142 23008 0 -1 4194368 1454 0 0 0 0 0 0 0 20 0 20 0 35872058 19521036288 964791 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24161] ppid=24139 vsize=19063512 memory=3859164 CPUtime=0 cores=5,7
/proc/24142/task/24161/stat : 24161 (Timer-0) S 24139 24142 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35872104 19521036288 964791 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
Current children cumulated CPU time: 3569.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3859164 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3552.11 s]
/proc/loadavg: 4.54 4.28 4.22 4/301 24565
/proc/meminfo: memFree=119770844/131382120 swapFree=33010684/33010684
[pid=24142] ppid=24139 vsize=19063512 memory=3859164 CPUtime=3600 cores=5,7
/proc/24142/stat : 24142 (java) S 24139 24142 23008 0 -1 4194304 142640 0 0 0 359658 342 0 0 20 0 20 0 35872050 19521036288 964791 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
/proc/24142/statm: 4765878 964791 5489 1 0 979913 0
[pid=24142/tid=24144] ppid=24139 vsize=19063512 memory=3859164 CPUtime=3458.34 cores=5,7
/proc/24142/task/24144/stat : 24144 (java) R 24139 24142 23008 0 -1 4194368 77431 0 0 0 345741 93 0 0 20 0 20 0 35872052 19521036288 964791 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24153] ppid=24139 vsize=19063512 memory=3859164 CPUtime=0 cores=5,7
/proc/24142/task/24153/stat : 24153 (Finalizer) S 24139 24142 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35872056 19521036288 964791 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24160] ppid=24139 vsize=19063512 memory=3859164 CPUtime=0 cores=5,7
/proc/24142/task/24160/stat : 24160 (Common-Cleaner) S 24139 24142 23008 0 -1 4194368 1503 0 0 0 0 0 0 0 20 0 20 0 35872058 19521036288 964791 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24161] ppid=24139 vsize=19063512 memory=12416 CPUtime=0 cores=5,7
/proc/24142/task/24161/stat : 24161 (Timer-0) S 24139 24142 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35872104 19521036288 964791 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3859164 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.2 s, system=3.45295 s

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

[startup+3552.4 s]
/proc/loadavg: 4.54 4.28 4.22 4/301 24565
/proc/meminfo: memFree=119770844/131382120 swapFree=33010684/33010684
[pid=24142] ppid=24139 vsize=19263204 memory=3859804 CPUtime=3600.56 cores=5,7
/proc/24142/stat : 24142 (java) S 24139 24142 23008 0 -1 4194304 144930 0 0 0 359714 342 0 0 20 0 21 0 35872050 19725520896 964951 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
/proc/24142/statm: 4815801 964951 5489 1 0 980816 0
[pid=24142/tid=24144] ppid=24139 vsize=19263204 memory=4352 CPUtime=3458.62 cores=5,7
/proc/24142/task/24144/stat : 24144 (java) R 24139 24142 23008 0 -1 4194368 77431 0 0 0 345769 93 0 0 20 0 21 0 35872052 19725520896 964951 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24153] ppid=24139 vsize=19263204 memory=1792 CPUtime=0 cores=5,7
/proc/24142/task/24153/stat : 24153 (Finalizer) S 24139 24142 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 35872056 19725520896 964951 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
[pid=24142/tid=24160] ppid=24139 vsize=19263204 memory=1920 CPUtime=0 cores=5,7
/proc/24142/task/24160/stat : 24160 (Common-Cleaner) S 24139 24142 23008 0 -1 4194368 1503 0 0 0 0 0 0 0 20 0 21 0 35872058 19725520896 964951 18446744073709551615 94784441716736 94784441720432 140721686881248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94784441728248 94784441729040 94784454557696 140721686886782 140721686886886 140721686886886 140721686892488 0
Current children cumulated CPU time: 3600.56 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 3859804 KiB

Child status: 143

Real time (s): 3552.45
CPU time (s): 3600.65
CPU user time (s): 3597.2
CPU system time (s): 3.45295
CPU usage (%): 101.357
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4142016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.2
system time used= 3.45295
maximum resident set size= 4142016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145117
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 137150
involuntary context switches= 35206


# summary of solver processes directly reported to runsolver:
#   pid: 24142
#   total CPU time (s): 3600.65
#   total CPU user time (s): 3597.2
#   total CPU system time (s): 3.45295

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1829 second user time and 32.8572 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-06-29 14:58:49
IDJOB=4509866
IDBENCH=159141
IDSOLVER=3361
FILE ID=nodeC008/4509866-1751201929
RUNJOBID= nodeC008-1751195027-23021
SLURM_JOB_ID= 9587601
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j CP 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n182-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanes BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509866-1751201929/watcher-4509866-1751201929 -o /tmp/evaluation-result-4509866-1751201929/solver-4509866-1751201929 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751195027-23021 --watchdog 3760  java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4509866-1751201929.opb

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

MD5SUM BENCH= fdfc61e25e9264eb2f8645fd8f162aaa
RANDOM SEED=1723859352

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        122627844 kB
MemAvailable:   122284548 kB
Buffers:            3280 kB
Cached:           468176 kB
SwapCached:            0 kB
Active:          7987560 kB
Inactive:         220208 kB
Active(anon):    7754272 kB
Inactive(anon):        0 kB
Active(file):     233288 kB
Inactive(file):   220208 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2152 kB
Writeback:            12 kB
AnonPages:       7736528 kB
Mapped:           122172 kB
Shmem:             17956 kB
KReclaimable:      85672 kB
Slab:             165128 kB
SReclaimable:      85672 kB
SUnreclaim:        79456 kB
KernelStack:        5020 kB
PageTables:        18764 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    9289912 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150328 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7464960 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC008 at 2025-06-29 15:58:02