Trace number 4509794

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.3 3537.56

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n184-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
MD5SUM2ca6c56c39551016f0346c5d85471318
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 variables276
Total number of constraints736
Number of constraints which are clauses736
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.12/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.16	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.16	c See www.sat4j.org for details.
0.12/0.18	c version PB25.v20250606
0.12/0.20	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.20	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.20	c java.vm.version	22.0.1+8-16
0.12/0.20	c java.vm.vendor	Oracle Corporation
0.12/0.20	c sun.arch.data.model	64
0.12/0.20	c java.version		22.0.1
0.12/0.20	c os.name		Linux
0.12/0.20	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.12/0.20	c os.arch		amd64
0.12/0.21	c Free memory 		2104792832
0.12/0.21	c Max memory 		16282288128
0.12/0.21	c Total memory 		2113929216
0.12/0.22	c Number of processors 	2
0.47/0.37	c Pseudo Boolean Optimization by upper bound
0.47/0.37	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.47/0.37	c  - never skip resolution steps
0.47/0.37	c  - Auto-division on coefficients is disabled
0.47/0.37	c  - No postprocessing
0.47/0.37	c  - Conflict is considered as is when resolving
0.47/0.37	c  - Use constraints as they come during conflict analysis
0.47/0.37	c  - Weaken first using unassigned literals
0.47/0.37	c  - Bump strategy: ALWAYS_ONE
0.47/0.37	c  - Bumper: ANY
0.47/0.37	c --- Begin Solver configuration ---
0.47/0.37	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@5cbc508c
0.47/0.37	c Learn all clauses as in MiniSAT
0.47/0.37	c LOGGER=java.util.logging.Logger@68fb2c38 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.47/0.37	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.47/0.37	c No reason simplification
0.47/0.37	c Armin Biere (Picosat) restarts strategy
0.47/0.37	c Activity based learned constraints deletion strategy with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.47/0.37	c timeout=2147483s
0.47/0.37	c DB Simplification allowed=false
0.47/0.37	c Listener: none
0.47/0.37	c --- End Solver configuration ---
0.47/0.37	c solving HOME/instance-4509794-1751201924.opb
0.47/0.37	c reading problem ... 
0.47/0.37	c  no objective function found
0.65/0.47	c ... done. Wall clock time 0.093s.
0.65/0.47	c declared #vars     276
0.65/0.47	c #constraints  736
0.65/0.47	c constraints type 
0.65/0.47	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 736
0.65/0.47	c 736 constraints processed.
2.16/1.26	c cleaning 2494 clauses out of 5000
2.95/1.63	c cleaning 4246 clauses out of 8507
3.54/1.98	c cleaning 5624 clauses out of 11261
4.32/2.34	c cleaning 6810 clauses out of 13636
4.95/2.71	c cleaning 7901 clauses out of 15826
5.47/3.12	c cleaning 8953 clauses out of 17926
6.03/3.61	c cleaning 9981 clauses out of 19973
6.34/4.01	c cleaning 10984 clauses out of 21991
6.90/4.45	c cleaning 11990 clauses out of 24008
7.47/4.98	c cleaning 12996 clauses out of 26017
7.97/5.46	c cleaning 13996 clauses out of 28022
8.69/6.16	c cleaning 15001 clauses out of 30026
9.38/6.82	c cleaning 15996 clauses out of 32025
10.17/7.61	c cleaning 17007 clauses out of 34028
10.98/8.42	c cleaning 18002 clauses out of 36021
11.69/9.16	c cleaning 18996 clauses out of 38019
12.48/9.96	c cleaning 20002 clauses out of 40024
13.37/10.87	c cleaning 20999 clauses out of 42022
14.47/11.93	c cleaning 21999 clauses out of 44023
15.47/12.94	c cleaning 23004 clauses out of 46024
16.46/13.94	c cleaning 24007 clauses out of 48019
18.06/15.56	c cleaning 25002 clauses out of 50012
19.47/16.91	c cleaning 26000 clauses out of 52011
21.08/18.50	c cleaning 26994 clauses out of 54011
22.27/19.79	c cleaning 28003 clauses out of 56017
23.76/21.27	c cleaning 28995 clauses out of 58014
25.18/22.64	c cleaning 30001 clauses out of 60019
26.89/24.34	c cleaning 30998 clauses out of 62018
28.61/26.05	c cleaning 32001 clauses out of 64019
30.49/27.98	c cleaning 33002 clauses out of 66018
32.11/29.52	c cleaning 33995 clauses out of 68017
33.71/31.12	c cleaning 35002 clauses out of 70021
35.52/32.92	c cleaning 35998 clauses out of 72019
37.31/34.75	c cleaning 37003 clauses out of 74021
39.32/36.75	c cleaning 37997 clauses out of 76019
42.14/39.53	c cleaning 39005 clauses out of 78021
44.95/42.36	c cleaning 40000 clauses out of 80017
47.05/44.44	c cleaning 40992 clauses out of 82016
48.84/46.23	c cleaning 41998 clauses out of 84025
50.94/48.30	c cleaning 43002 clauses out of 86026
53.17/50.52	c cleaning 44002 clauses out of 88024
55.68/53.09	c cleaning 45001 clauses out of 90022
58.01/55.35	c cleaning 46001 clauses out of 92021
62.29/59.66	c cleaning 46994 clauses out of 94021
64.85/62.13	c cleaning 48001 clauses out of 96027
67.67/64.93	c cleaning 49003 clauses out of 98026
70.62/67.86	c cleaning 50005 clauses out of 100022
73.08/70.27	c cleaning 51005 clauses out of 102018
75.62/72.79	c cleaning 51990 clauses out of 104013
78.22/75.30	c cleaning 53002 clauses out of 106022
80.99/78.09	c cleaning 53997 clauses out of 108021
84.33/81.37	c cleaning 55004 clauses out of 110024
87.38/84.28	c cleaning 56000 clauses out of 112019
91.07/87.88	c cleaning 57004 clauses out of 114020
94.74/91.41	c cleaning 57997 clauses out of 116015
98.43/95.03	c cleaning 59000 clauses out of 118018
102.10/98.67	c cleaning 59998 clauses out of 120018
106.67/103.11	c cleaning 61001 clauses out of 122020
110.44/106.76	c cleaning 62004 clauses out of 124020
115.62/111.81	c cleaning 63002 clauses out of 126017
119.98/116.01	c cleaning 63997 clauses out of 128013
123.74/119.73	c cleaning 64996 clauses out of 130016
129.25/125.15	c cleaning 65995 clauses out of 132020
133.24/129.09	c cleaning 67004 clauses out of 134026
137.63/133.32	c cleaning 67998 clauses out of 136021
141.96/137.59	c cleaning 69002 clauses out of 138023
146.76/142.26	c cleaning 70000 clauses out of 140021
151.25/146.64	c cleaning 71001 clauses out of 142021
155.42/150.64	c cleaning 71995 clauses out of 144020
160.32/155.42	c cleaning 73004 clauses out of 146025
165.13/160.12	c cleaning 74001 clauses out of 148021
172.89/167.72	c cleaning 75001 clauses out of 150021
179.96/174.70	c cleaning 75997 clauses out of 152019
184.37/179.09	c cleaning 76995 clauses out of 154022
188.96/183.54	c cleaning 78004 clauses out of 156028
193.76/188.27	c cleaning 79000 clauses out of 158024
200.46/194.74	c cleaning 80005 clauses out of 160024
207.48/201.68	c cleaning 80999 clauses out of 162019
213.58/207.56	c cleaning 82004 clauses out of 164020
220.18/214.03	c cleaning 82997 clauses out of 166015
227.76/221.44	c cleaning 84002 clauses out of 168019
233.27/226.81	c cleaning 84996 clauses out of 170017
241.06/234.42	c cleaning 85995 clauses out of 172020
246.97/240.28	c cleaning 87000 clauses out of 174025
252.16/245.39	c cleaning 87999 clauses out of 176026
260.07/253.01	c cleaning 88997 clauses out of 178027
267.14/260.06	c cleaning 89997 clauses out of 180029
273.46/266.12	c cleaning 91001 clauses out of 182033
280.84/273.49	c cleaning 91998 clauses out of 184031
287.00/279.51	c cleaning 92996 clauses out of 186033
294.02/286.32	c cleaning 94008 clauses out of 188037
301.62/293.77	c cleaning 95007 clauses out of 190030
309.81/301.90	c cleaning 96002 clauses out of 192023
316.81/308.66	c cleaning 96996 clauses out of 194020
322.32/314.06	c cleaning 98001 clauses out of 196024
331.52/323.01	c cleaning 99003 clauses out of 198024
338.97/330.28	c cleaning 99997 clauses out of 200020
347.38/338.44	c cleaning 101003 clauses out of 202024
355.80/346.60	c cleaning 102003 clauses out of 204021
364.50/355.16	c cleaning 102996 clauses out of 206017
372.76/363.36	c cleaning 104002 clauses out of 208022
381.71/372.19	c cleaning 105002 clauses out of 210019
389.20/379.42	c cleaning 106000 clauses out of 212017
397.29/387.39	c cleaning 107000 clauses out of 214018
404.60/394.46	c cleaning 107994 clauses out of 216017
412.42/402.09	c cleaning 108999 clauses out of 218023
421.01/410.48	c cleaning 110005 clauses out of 220025
429.20/418.54	c cleaning 111000 clauses out of 222020
439.18/428.36	c cleaning 112000 clauses out of 224019
448.48/437.34	c cleaning 113002 clauses out of 226019
458.85/447.54	c cleaning 113996 clauses out of 228017
467.63/456.26	c cleaning 115004 clauses out of 230022
476.86/465.23	c cleaning 116000 clauses out of 232017
485.15/473.30	c cleaning 117000 clauses out of 234017
493.43/481.57	c cleaning 117994 clauses out of 236018
503.59/491.58	c cleaning 119001 clauses out of 238023
513.74/501.51	c cleaning 119999 clauses out of 240022
524.34/511.92	c cleaning 120996 clauses out of 242023
536.82/524.32	c cleaning 121998 clauses out of 244028
547.82/535.08	c cleaning 123008 clauses out of 246029
557.81/544.86	c cleaning 124001 clauses out of 248022
568.82/555.52	c cleaning 124997 clauses out of 250021
579.62/566.19	c cleaning 126005 clauses out of 252023
589.31/575.63	c cleaning 127003 clauses out of 254019
600.68/586.70	c cleaning 127996 clauses out of 256015
610.88/596.75	c cleaning 129002 clauses out of 258019
620.49/606.19	c cleaning 129998 clauses out of 260017
631.31/616.78	c cleaning 131001 clauses out of 262019
643.88/629.18	c cleaning 132000 clauses out of 264019
653.04/638.04	c cleaning 133000 clauses out of 266019
662.77/647.57	c cleaning 133998 clauses out of 268018
672.81/657.41	c cleaning 135003 clauses out of 270020
682.75/667.12	c cleaning 136003 clauses out of 272017
692.73/676.97	c cleaning 137002 clauses out of 274014
703.13/687.20	c cleaning 137996 clauses out of 276013
714.01/697.93	c cleaning 138999 clauses out of 278016
724.13/707.84	c cleaning 139997 clauses out of 280017
735.22/718.74	c cleaning 141002 clauses out of 282020
745.77/728.62	c cleaning 141997 clauses out of 284018
758.46/741.23	c cleaning 143001 clauses out of 286022
768.46/751.19	c cleaning 143994 clauses out of 288021
778.88/761.49	c cleaning 145003 clauses out of 290026
790.03/772.47	c cleaning 145996 clauses out of 292024
802.58/784.75	c cleaning 146998 clauses out of 294028
813.34/795.33	c cleaning 148007 clauses out of 296030
825.59/807.47	c cleaning 149004 clauses out of 298023
838.62/820.16	c cleaning 150002 clauses out of 300018
848.67/830.06	c cleaning 151001 clauses out of 302017
862.55/843.76	c cleaning 151994 clauses out of 304015
878.31/859.12	c cleaning 152998 clauses out of 306021
893.89/874.41	c cleaning 153997 clauses out of 308024
908.30/888.63	c cleaning 155002 clauses out of 310026
921.08/901.11	c cleaning 156007 clauses out of 312024
939.09/918.93	c cleaning 157000 clauses out of 314017
951.38/931.03	c cleaning 158000 clauses out of 316017
967.67/947.06	c cleaning 159003 clauses out of 318017
982.14/961.16	c cleaning 159996 clauses out of 320015
1000.31/979.01	c cleaning 161002 clauses out of 322019
1015.00/993.50	c cleaning 161997 clauses out of 324017
1028.76/1007.10	c cleaning 163006 clauses out of 326019
1044.86/1022.95	c cleaning 163998 clauses out of 328013
1056.85/1034.64	c cleaning 164999 clauses out of 330015
1072.10/1049.77	c cleaning 166001 clauses out of 332016
1087.30/1064.62	c cleaning 166999 clauses out of 334016
1102.72/1079.87	c cleaning 168002 clauses out of 336017
1117.91/1094.76	c cleaning 169000 clauses out of 338015
1132.88/1109.43	c cleaning 169998 clauses out of 340014
1154.25/1130.50	c cleaning 170999 clauses out of 342016
1167.39/1143.38	c cleaning 171997 clauses out of 344017
1184.42/1160.14	c cleaning 173002 clauses out of 346021
1196.02/1171.45	c cleaning 174000 clauses out of 348019
1209.81/1185.09	c cleaning 174997 clauses out of 350019
1224.04/1199.00	c cleaning 175995 clauses out of 352022
1239.03/1213.60	c cleaning 177005 clauses out of 354026
1256.60/1230.93	c cleaning 177997 clauses out of 356021
1270.82/1244.84	c cleaning 179005 clauses out of 358025
1287.81/1261.54	c cleaning 179995 clauses out of 360020
1302.31/1275.71	c cleaning 180995 clauses out of 362024
1314.87/1288.03	c cleaning 182001 clauses out of 364030
1330.92/1303.81	c cleaning 182999 clauses out of 366029
1347.82/1320.43	c cleaning 184001 clauses out of 368029
1366.12/1338.45	c cleaning 185000 clauses out of 370028
1384.25/1356.36	c cleaning 186000 clauses out of 372028
1403.18/1374.93	c cleaning 187000 clauses out of 374029
1423.34/1394.11	c cleaning 188003 clauses out of 376029
1441.72/1412.32	c cleaning 189001 clauses out of 378026
1458.85/1429.40	c cleaning 190000 clauses out of 380024
1475.91/1446.38	c cleaning 191004 clauses out of 382024
1499.94/1470.19	c cleaning 191996 clauses out of 384021
1519.67/1489.56	c cleaning 193000 clauses out of 386024
1540.72/1510.17	c cleaning 194001 clauses out of 388025
1565.33/1534.43	c cleaning 195000 clauses out of 390024
1583.77/1552.48	c cleaning 195998 clauses out of 392024
1605.12/1573.56	c cleaning 196997 clauses out of 394026
1628.30/1596.32	c cleaning 198003 clauses out of 396029
1652.00/1619.61	c cleaning 199000 clauses out of 398026
1668.20/1635.56	c cleaning 199996 clauses out of 400025
1689.11/1656.12	c cleaning 201001 clauses out of 402030
1708.55/1675.37	c cleaning 202001 clauses out of 404029
1729.69/1696.27	c cleaning 202999 clauses out of 406027
1748.62/1714.87	c cleaning 204004 clauses out of 408029
1769.78/1735.75	c cleaning 205001 clauses out of 410025
1789.49/1755.10	c cleaning 205995 clauses out of 412024
1806.67/1771.91	c cleaning 206997 clauses out of 414028
1828.83/1793.87	c cleaning 207999 clauses out of 416031
1849.09/1813.78	c cleaning 209005 clauses out of 418032
1870.61/1834.80	c cleaning 209995 clauses out of 420028
1888.93/1852.91	c cleaning 211002 clauses out of 422033
1906.40/1870.08	c cleaning 211998 clauses out of 424030
1922.69/1886.07	c cleaning 213004 clauses out of 426032
1939.27/1902.32	c cleaning 214010 clauses out of 428030
1957.19/1919.95	c cleaning 214991 clauses out of 430019
1977.63/1940.09	c cleaning 215999 clauses out of 432028
1996.04/1958.19	c cleaning 217001 clauses out of 434028
2018.39/1980.08	c cleaning 217998 clauses out of 436028
2037.40/1998.75	c cleaning 219007 clauses out of 438030
2061.57/2021.72	c cleaning 220002 clauses out of 440022
2086.19/2046.08	c cleaning 221000 clauses out of 442020
2109.34/2068.60	c cleaning 221996 clauses out of 444021
2133.40/2092.20	c cleaning 223002 clauses out of 446024
2157.78/2116.27	c cleaning 224001 clauses out of 448023
2182.78/2140.83	c cleaning 224995 clauses out of 450022
2206.50/2164.20	c cleaning 225997 clauses out of 452026
2228.32/2185.73	c cleaning 227003 clauses out of 454030
2250.20/2207.28	c cleaning 227999 clauses out of 456027
2272.68/2229.34	c cleaning 229003 clauses out of 458027
2294.97/2251.39	c cleaning 230000 clauses out of 460024
2315.94/2271.96	c cleaning 230998 clauses out of 462024
2339.08/2294.80	c cleaning 232004 clauses out of 464027
2362.17/2317.70	c cleaning 232997 clauses out of 466022
2382.86/2338.11	c cleaning 233998 clauses out of 468025
2409.58/2364.44	c cleaning 235006 clauses out of 470028
2438.96/2393.35	c cleaning 235998 clauses out of 472021
2461.06/2415.05	c cleaning 236999 clauses out of 474023
2486.15/2439.83	c cleaning 238002 clauses out of 476025
2508.87/2462.29	c cleaning 239002 clauses out of 478023
2533.71/2486.60	c cleaning 239998 clauses out of 480021
2559.04/2510.56	c cleaning 240996 clauses out of 482022
2586.85/2538.03	c cleaning 242001 clauses out of 484026
2612.72/2563.56	c cleaning 243006 clauses out of 486026
2636.50/2586.99	c cleaning 244001 clauses out of 488020
2657.06/2607.16	c cleaning 244996 clauses out of 490019
2683.29/2633.16	c cleaning 245999 clauses out of 492023
2710.24/2659.73	c cleaning 246994 clauses out of 494024
2735.16/2684.32	c cleaning 248004 clauses out of 496029
2763.73/2712.58	c cleaning 249002 clauses out of 498026
2789.79/2738.24	c cleaning 249997 clauses out of 500023
2815.26/2763.49	c cleaning 250999 clauses out of 502027
2841.00/2788.88	c cleaning 252002 clauses out of 504028
2866.41/2814.08	c cleaning 253000 clauses out of 506025
2895.01/2842.39	c cleaning 254001 clauses out of 508025
2921.34/2868.37	c cleaning 255000 clauses out of 510024
2950.50/2897.14	c cleaning 256001 clauses out of 512025
2979.60/2925.71	c cleaning 256998 clauses out of 514024
3011.89/2957.69	c cleaning 258004 clauses out of 516026
3042.37/2987.64	c cleaning 258993 clauses out of 518021
3069.50/3014.46	c cleaning 259997 clauses out of 520029
3092.80/3036.53	c cleaning 260999 clauses out of 522031
3115.96/3059.56	c cleaning 262004 clauses out of 524033
3143.08/3086.37	c cleaning 263006 clauses out of 526029
3164.78/3107.62	c cleaning 264001 clauses out of 528023
3194.07/3136.69	c cleaning 264997 clauses out of 530021
3216.94/3159.26	c cleaning 265999 clauses out of 532025
3242.83/3184.85	c cleaning 267000 clauses out of 534026
3269.37/3211.06	c cleaning 267996 clauses out of 536025
3293.26/3234.55	c cleaning 268997 clauses out of 538030
3325.09/3266.03	c cleaning 270004 clauses out of 540033
3358.68/3299.18	c cleaning 270997 clauses out of 542029
3387.67/3327.69	c cleaning 272003 clauses out of 544032
3418.35/3357.89	c cleaning 273003 clauses out of 546028
3454.32/3393.51	c cleaning 274001 clauses out of 548026
3489.65/3428.34	c cleaning 274996 clauses out of 550025
3519.84/3458.29	c cleaning 276004 clauses out of 552029
3553.86/3491.87	c cleaning 276998 clauses out of 554025
3583.27/3520.87	c cleaning 278001 clauses out of 556026
3600.08/3537.42	c timeout
3600.08/3537.43	c starts		: 404
3600.08/3537.43	c conflicts		: 39265327
3600.08/3537.43	c decisions		: 47635834
3600.08/3537.43	c propagations		: 396472606
3600.08/3537.43	c inspects		: 21308136968
3600.08/3537.43	c shortcuts		: 0
3600.08/3537.43	c learnt literals	: 0
3600.08/3537.43	c learnt binary clauses	: 0
3600.08/3537.43	c learnt ternary clauses	: 0
3600.08/3537.43	c learnt constraints	: 39265327
3600.08/3537.43	c ignored constraints	: 0
3600.08/3537.43	c root simplifications	: 0
3600.08/3537.43	c removed literals (reason simplification)	: 0
3600.08/3537.43	c reason swapping (by a shorter reason)	: 0
3600.08/3537.43	c Calls to reduceDB	: 275
3600.08/3537.43	c Number of update (reduction) of LBD	: 0
3600.08/3537.44	c Imported unit clauses	: 0
3600.08/3537.44	c No decision after first conflict	: false
3600.08/3537.44	c number of reductions to clauses (during analyze)	: 0
3600.08/3537.44	c number of learned constraints concerned by reduction	: 0
3600.08/3537.44	c number of learning phase by resolution	: 0
3600.08/3537.44	c number of learning phase by cutting planes	: 0
3600.08/3537.44	c number of rounding to 1 operations	: 0
3600.08/3537.44	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3537.44	c number of reductions of the coefficients by power 2 	: 0
3600.08/3537.44	c number of right shift for reduction by power 2 	: 0
3600.08/3537.44	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3537.44	c number of ending skipping 	: 0
3600.08/3537.44	c number of internal skipping 	: 0
3600.08/3537.44	c number of derivation steps 	: 345868843
3600.08/3537.44	c number of skipped derivation steps 	: 0
3600.08/3537.44	c number of remaining unassigned 	: 0
3600.08/3537.44	c number of remaining assigned 	: 0
3600.08/3537.44	c number of falsified literals weakened from reason	: 0
3600.08/3537.44	c number of falsified literals weakened from conflict	: 0
3600.08/3537.44	c time for arithmetic operations	: 0
3600.08/3537.44	c minimum degree of deleted constraints	: null
3600.08/3537.44	c maximum degree of deleted constraints	: null
3600.08/3537.44	c number of deleted constraints	: 0
3600.08/3537.45	c speed (assignments/second)	: 112093.76096453097
3600.08/3537.45	c non guided choices	: 100272
3600.22/3537.53	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 493352
3600.22/3537.53	s UNKNOWN
3600.22/3537.53	c Total wall clock time (in seconds): 3537.163

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509794-1751201924/watcher-4509794-1751201924 -o /tmp/evaluation-result-4509794-1751201924/solver-4509794-1751201924 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751195027-23020 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4509794-1751201924.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 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=24010, runsolver pid=24007

[startup+0.100071 s]*
/proc/loadavg: 4.52 4.39 4.30 8/325 24028
/proc/meminfo: memFree=117873504/131382120 swapFree=33010684/33010684
[pid=24010] ppid=24007 vsize=18930384 memory=48444 CPUtime=0.12 cores=1,3
/proc/24010/stat : 24010 (java) S 24007 24010 23008 0 -1 4194304 5800 0 0 0 9 3 0 0 20 0 18 0 35871482 19384713216 12111 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
/proc/24010/statm: 4732596 12111 5320 1 0 547012 0
[pid=24010/tid=24012] ppid=24007 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=1,3
/proc/24010/task/24012/stat : 24012 (java) R 24007 24010 23008 0 -1 4194368 4690 0 0 0 6 2 0 0 20 0 18 0 35871484 19384713216 12111 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24021] ppid=24007 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/24010/task/24021/stat : 24021 (Finalizer) S 24007 24010 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35871489 19384713216 12111 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24028] ppid=24007 vsize=18930384 memory=59593594261064 CPUtime=0 cores=1,3
/proc/24010/task/24028/stat : 24028 (Common-Cleaner) S 24007 24010 23008 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 35871490 19384713216 12111 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48444 KiB

[startup+0.216003 s]*
/proc/loadavg: 4.52 4.39 4.30 7/325 24028
/proc/meminfo: memFree=117871740/131382120 swapFree=33010684/33010684
[pid=24010] ppid=24007 vsize=18930384 memory=55472 CPUtime=0.31 cores=1,3
/proc/24010/stat : 24010 (java) S 24007 24010 23008 0 -1 4194304 6519 0 0 0 27 4 0 0 20 0 18 0 35871482 19384713216 13868 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
/proc/24010/statm: 4732596 13868 5320 1 0 547588 0
[pid=24010/tid=24012] ppid=24007 vsize=18930384 memory=4026597660 CPUtime=0.19 cores=1,3
/proc/24010/task/24012/stat : 24012 (java) R 24007 24010 23008 0 -1 4194368 5033 0 0 0 16 3 0 0 20 0 18 0 35871484 19384713216 13868 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24021] ppid=24007 vsize=18930384 memory=15877 CPUtime=0 cores=1,3
/proc/24010/task/24021/stat : 24021 (Finalizer) S 24007 24010 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35871489 19384713216 13868 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24028] ppid=24007 vsize=18930384 memory=58494082614266 CPUtime=0 cores=1,3
/proc/24010/task/24028/stat : 24028 (Common-Cleaner) S 24007 24010 23008 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 35871490 19384713216 13868 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55472 KiB

[startup+0.315059 s]*
/proc/loadavg: 4.52 4.39 4.30 9/325 24028
/proc/meminfo: memFree=117861596/131382120 swapFree=33010684/33010684
[pid=24010] ppid=24007 vsize=18930384 memory=58624 CPUtime=0.47 cores=1,3
/proc/24010/stat : 24010 (java) S 24007 24010 23008 0 -1 4194304 6796 0 0 0 42 5 0 0 20 0 18 0 35871482 19384713216 14656 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
/proc/24010/statm: 4732596 14656 5320 1 0 547795 0
[pid=24010/tid=24012] ppid=24007 vsize=18930384 memory=-6000919477085694061 CPUtime=0.29 cores=1,3
/proc/24010/task/24012/stat : 24012 (java) R 24007 24010 23008 0 -1 4194368 5219 0 0 0 25 4 0 0 20 0 18 0 35871484 19384713216 14656 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24021] ppid=24007 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/24010/task/24021/stat : 24021 (Finalizer) S 24007 24010 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35871489 19384713216 14656 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24028] ppid=24007 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/24010/task/24028/stat : 24028 (Common-Cleaner) S 24007 24010 23008 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 35871490 19384713216 14656 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58624 KiB

[startup+0.700404 s]
/proc/loadavg: 4.52 4.39 4.30 8/326 24029
/proc/meminfo: memFree=117857276/131382120 swapFree=33010684/33010684
[pid=24010] ppid=24007 vsize=18996948 memory=77588 CPUtime=1.17 cores=1,3
/proc/24010/stat : 24010 (java) S 24007 24010 23008 0 -1 4194304 7357 0 0 0 111 6 0 0 20 0 19 0 35871482 19452874752 19397 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
/proc/24010/statm: 4749237 19397 5416 1 0 548397 0
[pid=24010/tid=24012] ppid=24007 vsize=18996948 memory=17152 CPUtime=0.63 cores=1,3
/proc/24010/task/24012/stat : 24012 (java) R 24007 24010 23008 0 -1 4194368 5426 0 0 0 59 4 0 0 20 0 19 0 35871484 19452874752 19397 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24021] ppid=24007 vsize=18996948 memory=10496 CPUtime=0 cores=1,3
/proc/24010/task/24021/stat : 24021 (Finalizer) S 24007 24010 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35871489 19452874752 19397 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24028] ppid=24007 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/24010/task/24028/stat : 24028 (Common-Cleaner) S 24007 24010 23008 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35871490 19452874752 19397 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24029] ppid=24007 vsize=18996948 memory=4764 CPUtime=0 cores=1,3
/proc/24010/task/24029/stat : 24029 (Timer-0) S 24007 24010 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35871530 19452874752 19397 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 77588 KiB

[startup+1.50029 s]
/proc/loadavg: 4.52 4.39 4.30 7/326 24029
/proc/meminfo: memFree=117789788/131382120 swapFree=33010684/33010684
[pid=24010] ppid=24007 vsize=19063512 memory=164656 CPUtime=2.75 cores=1,3
/proc/24010/stat : 24010 (java) S 24007 24010 23008 0 -1 4194304 16093 0 0 0 264 11 0 0 20 0 20 0 35871482 19521036288 41164 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
/proc/24010/statm: 4765878 41164 5480 1 0 551748 0
[pid=24010/tid=24012] ppid=24007 vsize=19063512 memory=0 CPUtime=1.4 cores=1,3
/proc/24010/task/24012/stat : 24012 (java) R 24007 24010 23008 0 -1 4194368 6266 0 0 0 134 6 0 0 20 0 20 0 35871484 19521036288 41164 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24021] ppid=24007 vsize=19063512 memory=10496 CPUtime=0 cores=1,3
/proc/24010/task/24021/stat : 24021 (Finalizer) S 24007 24010 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35871489 19521036288 41164 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24028] ppid=24007 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/24010/task/24028/stat : 24028 (Common-Cleaner) S 24007 24010 23008 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 35871490 19521036288 41164 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24029] ppid=24007 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/24010/task/24029/stat : 24029 (Timer-0) S 24007 24010 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35871530 19521036288 41164 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 164656 KiB

[startup+3.10759 s]
/proc/loadavg: 4.63 4.42 4.31 5/306 24047
/proc/meminfo: memFree=123096328/131382120 swapFree=33010684/33010684
[pid=24010] ppid=24007 vsize=19063512 memory=797180 CPUtime=5.47 cores=1,3
/proc/24010/stat : 24010 (java) S 24007 24010 23008 0 -1 4194304 18423 0 0 0 524 23 0 0 20 0 20 0 35871482 19521036288 199295 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
/proc/24010/statm: 4765878 199295 5480 1 0 552019 0
[pid=24010/tid=24012] ppid=24007 vsize=19063512 memory=10496 CPUtime=2.96 cores=1,3
/proc/24010/task/24012/stat : 24012 (java) R 24007 24010 23008 0 -1 4194368 7117 0 0 0 279 17 0 0 20 0 20 0 35871484 19521036288 199295 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24021] ppid=24007 vsize=19063512 memory=-6000919477085694061 CPUtime=0 cores=1,3
/proc/24010/task/24021/stat : 24021 (Finalizer) S 24007 24010 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35871489 19521036288 199295 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24028] ppid=24007 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/24010/task/24028/stat : 24028 (Common-Cleaner) S 24007 24010 23008 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 35871490 19521036288 199295 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24029] ppid=24007 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/24010/task/24029/stat : 24029 (Timer-0) S 24007 24010 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35871530 19521036288 199295 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
Current children cumulated CPU time: 5.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 797180 KiB

[startup+6.30037 s]
/proc/loadavg: 4.63 4.42 4.31 7/325 24160
/proc/meminfo: memFree=122455720/131382120 swapFree=33010684/33010684
[pid=24010] ppid=24007 vsize=19063512 memory=1302540 CPUtime=8.88 cores=1,3
/proc/24010/stat : 24010 (java) S 24007 24010 23008 0 -1 4194304 18903 0 0 0 854 34 0 0 20 0 20 0 35871482 19521036288 325635 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
/proc/24010/statm: 4765878 325635 5480 1 0 552021 0
[pid=24010/tid=24012] ppid=24007 vsize=19063512 memory=0 CPUtime=6.09 cores=1,3
/proc/24010/task/24012/stat : 24012 (java) R 24007 24010 23008 0 -1 4194368 7490 0 0 0 582 27 0 0 20 0 20 0 35871484 19521036288 325635 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24021] ppid=24007 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/24010/task/24021/stat : 24021 (Finalizer) S 24007 24010 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35871489 19521036288 325635 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24028] ppid=24007 vsize=19063512 memory=10496 CPUtime=0 cores=1,3
/proc/24010/task/24028/stat : 24028 (Common-Cleaner) S 24007 24010 23008 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 35871490 19521036288 325635 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24029] ppid=24007 vsize=19063512 memory=189404 CPUtime=0 cores=1,3
/proc/24010/task/24029/stat : 24029 (Timer-0) S 24007 24010 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35871530 19521036288 325635 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
Current children cumulated CPU time: 8.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1302540 KiB

[startup+12.7004 s]
/proc/loadavg: 4.61 4.42 4.31 5/327 24162
/proc/meminfo: memFree=120787360/131382120 swapFree=33010684/33010684
[pid=24010] ppid=24007 vsize=19063512 memory=1731548 CPUtime=15.27 cores=1,3
/proc/24010/stat : 24010 (java) S 24007 24010 23008 0 -1 4194304 22363 0 0 0 1484 43 0 0 20 0 20 0 35871482 19521036288 432887 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
/proc/24010/statm: 4765878 432887 5480 1 0 658547 0
[pid=24010/tid=24012] ppid=24007 vsize=19063512 memory=189404 CPUtime=12.26 cores=1,3
/proc/24010/task/24012/stat : 24012 (java) R 24007 24010 23008 0 -1 4194368 8892 0 0 0 1190 36 0 0 20 0 20 0 35871484 19521036288 432887 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24021] ppid=24007 vsize=19063512 memory=10496 CPUtime=0 cores=1,3
/proc/24010/task/24021/stat : 24021 (Finalizer) S 24007 24010 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35871489 19521036288 432887 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24028] ppid=24007 vsize=19063512 memory=16352 CPUtime=0 cores=1,3
/proc/24010/task/24028/stat : 24028 (Common-Cleaner) S 24007 24010 23008 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 35871490 19521036288 432887 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24029] ppid=24007 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/24010/task/24029/stat : 24029 (Timer-0) S 24007 24010 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35871530 19521036288 432887 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
Current children cumulated CPU time: 15.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1731548 KiB

[startup+25.5005 s]
/proc/loadavg: 4.52 4.41 4.31 5/327 24162
/proc/meminfo: memFree=119847804/131382120 swapFree=33010684/33010684
[pid=24010] ppid=24007 vsize=19063512 memory=2234568 CPUtime=28.09 cores=1,3
/proc/24010/stat : 24010 (java) S 24007 24010 23008 0 -1 4194304 23861 0 0 0 2756 53 0 0 20 0 20 0 35871482 19521036288 558642 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
/proc/24010/statm: 4765878 558642 5480 1 0 785972 0
[pid=24010/tid=24012] ppid=24007 vsize=19063512 memory=0 CPUtime=24.71 cores=1,3
/proc/24010/task/24012/stat : 24012 (java) R 24007 24010 23008 0 -1 4194368 10027 0 0 0 2425 46 0 0 20 0 20 0 35871484 19521036288 558642 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24021] ppid=24007 vsize=19063512 memory=2234568 CPUtime=0 cores=1,3
/proc/24010/task/24021/stat : 24021 (Finalizer) S 24007 24010 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35871489 19521036288 558642 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24028] ppid=24007 vsize=19063512 memory=2232436 CPUtime=0 cores=1,3
/proc/24010/task/24028/stat : 24028 (Common-Cleaner) S 24007 24010 23008 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 35871490 19521036288 558642 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24029] ppid=24007 vsize=19063512 memory=1731548 CPUtime=0 cores=1,3
/proc/24010/task/24029/stat : 24029 (Timer-0) S 24007 24010 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35871530 19521036288 558642 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
Current children cumulated CPU time: 28.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2234568 KiB

[startup+51.1134 s]
/proc/loadavg: 4.50 4.41 4.31 5/327 24162
/proc/meminfo: memFree=118286268/131382120 swapFree=33010684/33010684
[pid=24010] ppid=24007 vsize=19063512 memory=2766496 CPUtime=53.78 cores=1,3
/proc/24010/stat : 24010 (java) S 24007 24010 23008 0 -1 4194304 27376 0 0 0 5312 66 0 0 20 0 20 0 35871482 19521036288 691624 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
/proc/24010/statm: 4765878 691624 5512 1 0 919663 0
[pid=24010/tid=24012] ppid=24007 vsize=19063512 memory=16352 CPUtime=49.6 cores=1,3
/proc/24010/task/24012/stat : 24012 (java) R 24007 24010 23008 0 -1 4194368 12118 0 0 0 4903 57 0 0 20 0 20 0 35871484 19521036288 691624 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24021] ppid=24007 vsize=19063512 memory=17152 CPUtime=0 cores=1,3
/proc/24010/task/24021/stat : 24021 (Finalizer) S 24007 24010 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35871489 19521036288 691624 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0

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

[startup+3222.3 s]
/proc/loadavg: 4.13 4.17 4.18 5/326 24519
/proc/meminfo: memFree=115720520/131382120 swapFree=33010684/33010684
[pid=24010] ppid=24007 vsize=19063512 memory=4058700 CPUtime=3280.93 cores=1,3
/proc/24010/stat : 24010 (java) S 24007 24010 23008 0 -1 4194304 158845 0 0 0 327758 335 0 0 20 0 20 0 35871482 19521036288 1014675 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
/proc/24010/statm: 4765878 1014675 5512 1 0 1026249 0
[pid=24010/tid=24012] ppid=24007 vsize=19063512 memory=4058700 CPUtime=3141.87 cores=1,3
/proc/24010/task/24012/stat : 24012 (java) R 24007 24010 23008 0 -1 4194368 83974 0 0 0 314082 105 0 0 20 0 20 0 35871484 19521036288 1014675 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24021] ppid=24007 vsize=19063512 memory=4058700 CPUtime=0 cores=1,3
/proc/24010/task/24021/stat : 24021 (Finalizer) S 24007 24010 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35871489 19521036288 1014675 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24028] ppid=24007 vsize=19063512 memory=4058700 CPUtime=0 cores=1,3
/proc/24010/task/24028/stat : 24028 (Common-Cleaner) S 24007 24010 23008 0 -1 4194368 1219 0 0 0 0 0 0 0 20 0 20 0 35871490 19521036288 1014675 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24029] ppid=24007 vsize=19063512 memory=16352 CPUtime=0 cores=1,3
/proc/24010/task/24029/stat : 24029 (Timer-0) S 24007 24010 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35871530 19521036288 1014675 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
Current children cumulated CPU time: 3280.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4058700 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.16 4.18 5/326 24521
/proc/meminfo: memFree=115719932/131382120 swapFree=33010684/33010684
[pid=24010] ppid=24007 vsize=19063512 memory=4058700 CPUtime=3341.74 cores=1,3
/proc/24010/stat : 24010 (java) S 24007 24010 23008 0 -1 4194304 160508 0 0 0 333835 339 0 0 20 0 20 0 35871482 19521036288 1014675 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
/proc/24010/statm: 4765878 1014675 5512 1 0 1026249 0
[pid=24010/tid=24012] ppid=24007 vsize=19063512 memory=16352 CPUtime=3200.61 cores=1,3
/proc/24010/task/24012/stat : 24012 (java) R 24007 24010 23008 0 -1 4194368 85418 0 0 0 319956 105 0 0 20 0 20 0 35871484 19521036288 1014675 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24021] ppid=24007 vsize=19063512 memory=4058700 CPUtime=0 cores=1,3
/proc/24010/task/24021/stat : 24021 (Finalizer) S 24007 24010 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35871489 19521036288 1014675 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24028] ppid=24007 vsize=19063512 memory=4058700 CPUtime=0 cores=1,3
/proc/24010/task/24028/stat : 24028 (Common-Cleaner) S 24007 24010 23008 0 -1 4194368 1219 0 0 0 0 0 0 0 20 0 20 0 35871490 19521036288 1014675 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24029] ppid=24007 vsize=19063512 memory=5504 CPUtime=0 cores=1,3
/proc/24010/task/24029/stat : 24029 (Timer-0) S 24007 24010 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35871530 19521036288 1014675 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
Current children cumulated CPU time: 3341.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4058700 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.15 4.17 5/326 24525
/proc/meminfo: memFree=115721128/131382120 swapFree=33010684/33010684
[pid=24010] ppid=24007 vsize=19063512 memory=4058700 CPUtime=3402.59 cores=1,3
/proc/24010/stat : 24010 (java) S 24007 24010 23008 0 -1 4194304 162073 0 0 0 339916 343 0 0 20 0 20 0 35871482 19521036288 1014675 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
/proc/24010/statm: 4765878 1014675 5512 1 0 1026249 0
[pid=24010/tid=24012] ppid=24007 vsize=19063512 memory=4058700 CPUtime=3259.35 cores=1,3
/proc/24010/task/24012/stat : 24012 (java) R 24007 24010 23008 0 -1 4194368 86640 0 0 0 325829 106 0 0 20 0 20 0 35871484 19521036288 1014675 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24021] ppid=24007 vsize=19063512 memory=4058700 CPUtime=0 cores=1,3
/proc/24010/task/24021/stat : 24021 (Finalizer) S 24007 24010 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35871489 19521036288 1014675 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24028] ppid=24007 vsize=19063512 memory=4058700 CPUtime=0 cores=1,3
/proc/24010/task/24028/stat : 24028 (Common-Cleaner) S 24007 24010 23008 0 -1 4194368 1232 0 0 0 0 0 0 0 20 0 20 0 35871490 19521036288 1014675 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24029] ppid=24007 vsize=19063512 memory=2944 CPUtime=0 cores=1,3
/proc/24010/task/24029/stat : 24029 (Timer-0) S 24007 24010 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35871530 19521036288 1014675 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
Current children cumulated CPU time: 3402.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4058700 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.15 4.17 5/326 24527
/proc/meminfo: memFree=115721468/131382120 swapFree=33010684/33010684
[pid=24010] ppid=24007 vsize=19063512 memory=4058700 CPUtime=3463.29 cores=1,3
/proc/24010/stat : 24010 (java) S 24007 24010 23008 0 -1 4194304 162479 0 0 0 345982 347 0 0 20 0 20 0 35871482 19521036288 1014675 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
/proc/24010/statm: 4765878 1014675 5512 1 0 1026249 0
[pid=24010/tid=24012] ppid=24007 vsize=19063512 memory=4058700 CPUtime=3318.12 cores=1,3
/proc/24010/task/24012/stat : 24012 (java) R 24007 24010 23008 0 -1 4194368 86884 0 0 0 331705 107 0 0 20 0 20 0 35871484 19521036288 1014675 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24021] ppid=24007 vsize=19063512 memory=4058700 CPUtime=0 cores=1,3
/proc/24010/task/24021/stat : 24021 (Finalizer) S 24007 24010 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35871489 19521036288 1014675 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24028] ppid=24007 vsize=19063512 memory=3456 CPUtime=0 cores=1,3
/proc/24010/task/24028/stat : 24028 (Common-Cleaner) S 24007 24010 23008 0 -1 4194368 1245 0 0 0 0 0 0 0 20 0 20 0 35871490 19521036288 1014675 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24029] ppid=24007 vsize=19063512 memory=4058700 CPUtime=0 cores=1,3
/proc/24010/task/24029/stat : 24029 (Timer-0) S 24007 24010 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35871530 19521036288 1014675 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
Current children cumulated CPU time: 3463.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4058700 KiB

[startup+3462.3 s]
/proc/loadavg: 4.21 4.17 4.18 5/326 24529
/proc/meminfo: memFree=115721556/131382120 swapFree=33010684/33010684
[pid=24010] ppid=24007 vsize=19063512 memory=4058700 CPUtime=3523.99 cores=1,3
/proc/24010/stat : 24010 (java) S 24007 24010 23008 0 -1 4194304 163685 0 0 0 352048 351 0 0 20 0 20 0 35871482 19521036288 1014675 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
/proc/24010/statm: 4765878 1014675 5512 1 0 1026249 0
[pid=24010/tid=24012] ppid=24007 vsize=19063512 memory=4058700 CPUtime=3376.98 cores=1,3
/proc/24010/task/24012/stat : 24012 (java) R 24007 24010 23008 0 -1 4194368 87960 0 0 0 337590 108 0 0 20 0 20 0 35871484 19521036288 1014675 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24021] ppid=24007 vsize=19063512 memory=16352 CPUtime=0 cores=1,3
/proc/24010/task/24021/stat : 24021 (Finalizer) S 24007 24010 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35871489 19521036288 1014675 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24028] ppid=24007 vsize=19063512 memory=16352 CPUtime=0 cores=1,3
/proc/24010/task/24028/stat : 24028 (Common-Cleaner) S 24007 24010 23008 0 -1 4194368 1245 0 0 0 0 0 0 0 20 0 20 0 35871490 19521036288 1014675 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24029] ppid=24007 vsize=19063512 memory=6768 CPUtime=0 cores=1,3
/proc/24010/task/24029/stat : 24029 (Timer-0) S 24007 24010 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35871530 19521036288 1014675 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
Current children cumulated CPU time: 3523.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4058700 KiB

[startup+3522.3 s]
/proc/loadavg: 4.47 4.23 4.20 5/326 24531
/proc/meminfo: memFree=115717656/131382120 swapFree=33010684/33010684
[pid=24010] ppid=24007 vsize=19063512 memory=4058700 CPUtime=3584.76 cores=1,3
/proc/24010/stat : 24010 (java) S 24007 24010 23008 0 -1 4194304 164871 0 0 0 358122 354 0 0 20 0 20 0 35871482 19521036288 1014675 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
/proc/24010/statm: 4765878 1014675 5512 1 0 1026249 0
[pid=24010/tid=24012] ppid=24007 vsize=19063512 memory=4058700 CPUtime=3435.75 cores=1,3
/proc/24010/task/24012/stat : 24012 (java) R 24007 24010 23008 0 -1 4194368 88893 0 0 0 343467 108 0 0 20 0 20 0 35871484 19521036288 1014675 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24021] ppid=24007 vsize=19063512 memory=4058700 CPUtime=0 cores=1,3
/proc/24010/task/24021/stat : 24021 (Finalizer) S 24007 24010 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35871489 19521036288 1014675 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24028] ppid=24007 vsize=19063512 memory=4252 CPUtime=0 cores=1,3
/proc/24010/task/24028/stat : 24028 (Common-Cleaner) S 24007 24010 23008 0 -1 4194368 1285 0 0 0 0 0 0 0 20 0 20 0 35871490 19521036288 1014675 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24029] ppid=24007 vsize=19063512 memory=4058700 CPUtime=0 cores=1,3
/proc/24010/task/24029/stat : 24029 (Timer-0) S 24007 24010 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35871530 19521036288 1014675 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
Current children cumulated CPU time: 3584.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4058700 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3537.4 s]
/proc/loadavg: 4.66 4.29 4.22 5/326 24531
/proc/meminfo: memFree=115716960/131382120 swapFree=33010684/33010684
[pid=24010] ppid=24007 vsize=19063512 memory=4058700 CPUtime=3600.08 cores=1,3
/proc/24010/stat : 24010 (java) S 24007 24010 23008 0 -1 4194304 165789 0 0 0 359652 356 0 0 20 0 20 0 35871482 19521036288 1014675 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
/proc/24010/statm: 4765878 1014675 5512 1 0 1026249 0
[pid=24010/tid=24012] ppid=24007 vsize=19063512 memory=245635481903 CPUtime=3450.35 cores=1,3
/proc/24010/task/24012/stat : 24012 (java) R 24007 24010 23008 0 -1 4194368 89783 0 0 0 344927 108 0 0 20 0 20 0 35871484 19521036288 1014675 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24021] ppid=24007 vsize=19063512 memory=62904963695344 CPUtime=0 cores=1,3
/proc/24010/task/24021/stat : 24021 (Finalizer) S 24007 24010 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35871489 19521036288 1014675 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24028] ppid=24007 vsize=19063512 memory=114617 CPUtime=0 cores=1,3
/proc/24010/task/24028/stat : 24028 (Common-Cleaner) S 24007 24010 23008 0 -1 4194368 1285 0 0 0 0 0 0 0 20 0 20 0 35871490 19521036288 1014675 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24029] ppid=24007 vsize=19063512 memory=245635481903 CPUtime=0 cores=1,3
/proc/24010/task/24029/stat : 24029 (Timer-0) S 24007 24010 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35871530 19521036288 1014675 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4058700 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.72 s, system=3.58138 s

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

[startup+3537.5 s]
/proc/loadavg: 4.66 4.29 4.22 5/326 24531
/proc/meminfo: memFree=115716960/131382120 swapFree=33010684/33010684
[pid=24010] ppid=24007 vsize=19263204 memory=4059596 CPUtime=3600.22 cores=1,3
/proc/24010/stat : 24010 (java) S 24007 24010 23008 0 -1 4194304 167179 0 0 0 359666 356 0 0 20 0 21 0 35871482 19725520896 1014899 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
/proc/24010/statm: 4815801 1014899 5544 1 0 1027196 0
[pid=24010/tid=24012] ppid=24007 vsize=19263204 memory=4058700 CPUtime=3450.39 cores=1,3
/proc/24010/task/24012/stat : 24012 (java) S 24007 24010 23008 0 -1 4194368 89934 0 0 0 344930 109 0 0 20 0 21 0 35871484 19725520896 1014899 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24021] ppid=24007 vsize=19263204 memory=4252 CPUtime=0 cores=1,3
/proc/24010/task/24021/stat : 24021 (Finalizer) S 24007 24010 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 35871489 19725520896 1014899 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
[pid=24010/tid=24028] ppid=24007 vsize=19263204 memory=4058700 CPUtime=0 cores=1,3
/proc/24010/task/24028/stat : 24028 (Common-Cleaner) S 24007 24010 23008 0 -1 4194368 1285 0 0 0 0 0 0 0 20 0 21 0 35871490 19725520896 1014899 18446744073709551615 94013515485184 94013515488880 140731827422512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94013515496696 94013515497488 94013543743488 140731827431806 140731827431910 140731827431910 140731827437512 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4059596 KiB

Child status: 143

Real time (s): 3537.56
CPU time (s): 3600.3
CPU user time (s): 3596.72
CPU system time (s): 3.58138
CPU usage (%): 101.774
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4148384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.72
system time used= 3.58138
maximum resident set size= 4148384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 167313
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 137687
involuntary context switches= 10374


# summary of solver processes directly reported to runsolver:
#   pid: 24010
#   total CPU time (s): 3600.3
#   total CPU user time (s): 3596.72
#   total CPU system time (s): 3.58138

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8477 second user time and 37.3816 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-06-29 14:58:44
IDJOB=4509794
IDBENCH=158984
IDSOLVER=3361
FILE ID=nodeC008/4509794-1751201924
RUNJOBID= nodeC008-1751195027-23020
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-n184-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-4509794-1751201924/watcher-4509794-1751201924 -o /tmp/evaluation-result-4509794-1751201924/solver-4509794-1751201924 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751195027-23020 --watchdog 3760  java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4509794-1751201924.opb

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

MD5SUM BENCH= 2ca6c56c39551016f0346c5d85471318
RANDOM SEED=834943054

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.651
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		: 1795.715
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:        117901856 kB
MemAvailable:   117558504 kB
Buffers:            3280 kB
Cached:           468164 kB
SwapCached:            0 kB
Active:         12728668 kB
Inactive:         220200 kB
Active(anon):   12495380 kB
Inactive(anon):        0 kB
Active(file):     233288 kB
Inactive(file):   220200 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               764 kB
Writeback:             0 kB
AnonPages:      12477676 kB
Mapped:           122280 kB
Shmem:             17956 kB
KReclaimable:      85576 kB
Slab:             165060 kB
SReclaimable:      85576 kB
SUnreclaim:        79484 kB
KernelStack:        5012 kB
PageTables:        27888 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:   13028180 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150344 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  12113920 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:57:41