Trace number 4509974

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.71 3561.85

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n134-d3-i3-f.cnf.gz-plain.pb.metafix.opb
MD5SUM01d829ad4c115fdb9b9dc327d7beaf7a
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 variables201
Total number of constraints536
Number of constraints which are clauses536
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.27/0.23	c Free memory 		2104792832
0.27/0.23	c Max memory 		16282288128
0.27/0.23	c Total memory 		2113929216
0.27/0.24	c Number of processors 	2
0.43/0.40	c Pseudo Boolean Optimization by upper bound
0.43/0.40	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.43/0.40	c  - never skip resolution steps
0.43/0.40	c  - Auto-division on coefficients is disabled
0.43/0.40	c  - No postprocessing
0.43/0.40	c  - Conflict is considered as is when resolving
0.43/0.40	c  - Use constraints as they come during conflict analysis
0.43/0.40	c  - Weaken first using unassigned literals
0.43/0.40	c  - Bump strategy: ALWAYS_ONE
0.43/0.40	c  - Bumper: ANY
0.43/0.40	c --- Begin Solver configuration ---
0.43/0.40	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@5cbc508c
0.43/0.40	c Learn all clauses as in MiniSAT
0.43/0.40	c LOGGER=java.util.logging.Logger@68fb2c38 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.43/0.40	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.43/0.40	c No reason simplification
0.43/0.40	c Armin Biere (Picosat) restarts strategy
0.43/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.43/0.40	c timeout=2147483s
0.43/0.40	c DB Simplification allowed=false
0.43/0.40	c Listener: none
0.43/0.40	c --- End Solver configuration ---
0.43/0.40	c solving HOME/instance-4509974-1751202200.opb
0.43/0.40	c reading problem ... 
0.43/0.41	c  no objective function found
0.60/0.50	c ... done. Wall clock time 0.086s.
0.60/0.50	c declared #vars     201
0.60/0.50	c #constraints  536
0.60/0.50	c constraints type 
0.60/0.50	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 536
0.60/0.50	c 536 constraints processed.
2.30/1.32	c cleaning 2495 clauses out of 5001
2.91/1.64	c cleaning 4250 clauses out of 8506
3.49/1.95	c cleaning 5620 clauses out of 11255
4.08/2.25	c cleaning 6812 clauses out of 13636
4.59/2.55	c cleaning 7901 clauses out of 15824
5.12/2.91	c cleaning 8951 clauses out of 17922
5.47/3.28	c cleaning 9979 clauses out of 19972
5.87/3.64	c cleaning 10989 clauses out of 21992
6.34/4.03	c cleaning 11995 clauses out of 24003
6.81/4.48	c cleaning 12995 clauses out of 26008
7.41/5.05	c cleaning 13994 clauses out of 28013
8.41/6.05	c cleaning 15003 clauses out of 30020
9.10/6.76	c cleaning 16005 clauses out of 32016
9.79/7.40	c cleaning 16997 clauses out of 34012
10.29/8.01	c cleaning 18005 clauses out of 36014
11.02/8.69	c cleaning 18995 clauses out of 38009
11.68/9.39	c cleaning 19998 clauses out of 40014
12.58/10.25	c cleaning 20998 clauses out of 42017
13.49/11.17	c cleaning 22001 clauses out of 44018
14.28/11.99	c cleaning 22999 clauses out of 46017
15.27/12.94	c cleaning 24003 clauses out of 48018
16.27/13.99	c cleaning 25001 clauses out of 50015
17.39/15.03	c cleaning 26001 clauses out of 52015
18.39/16.02	c cleaning 26998 clauses out of 54013
19.39/17.01	c cleaning 28001 clauses out of 56016
20.38/18.10	c cleaning 28996 clauses out of 58014
21.48/19.13	c cleaning 29999 clauses out of 60019
22.67/20.36	c cleaning 30998 clauses out of 62019
24.16/21.83	c cleaning 32005 clauses out of 64021
25.66/23.38	c cleaning 32999 clauses out of 66016
27.06/24.70	c cleaning 33999 clauses out of 68017
28.55/26.26	c cleaning 35002 clauses out of 70019
30.05/27.75	c cleaning 36001 clauses out of 72017
31.54/29.20	c cleaning 37001 clauses out of 74016
32.84/30.58	c cleaning 38000 clauses out of 76016
34.46/32.15	c cleaning 39000 clauses out of 78015
36.44/34.12	c cleaning 39994 clauses out of 80015
38.33/36.09	c cleaning 41006 clauses out of 82021
40.22/37.91	c cleaning 42001 clauses out of 84014
42.12/39.81	c cleaning 42999 clauses out of 86013
44.01/41.74	c cleaning 44002 clauses out of 88014
46.20/43.93	c cleaning 44998 clauses out of 90013
48.12/45.87	c cleaning 45999 clauses out of 92014
50.11/47.87	c cleaning 46999 clauses out of 94016
52.50/50.20	c cleaning 47997 clauses out of 96016
55.79/53.58	c cleaning 49002 clauses out of 98019
58.68/56.40	c cleaning 50002 clauses out of 100018
60.98/58.74	c cleaning 50997 clauses out of 102015
63.32/61.10	c cleaning 52001 clauses out of 104018
67.11/64.80	c cleaning 53002 clauses out of 106018
69.46/67.19	c cleaning 53995 clauses out of 108015
72.15/69.83	c cleaning 54999 clauses out of 110021
74.66/72.40	c cleaning 56002 clauses out of 112022
78.11/75.75	c cleaning 57000 clauses out of 114020
83.33/80.99	c cleaning 58004 clauses out of 116019
86.28/83.83	c cleaning 58997 clauses out of 118015
89.44/86.95	c cleaning 59998 clauses out of 120019
92.62/90.03	c cleaning 61002 clauses out of 122021
96.16/93.57	c cleaning 62004 clauses out of 124019
99.69/97.09	c cleaning 62998 clauses out of 126015
103.46/100.90	c cleaning 64000 clauses out of 128017
107.14/104.41	c cleaning 65001 clauses out of 130016
110.70/107.92	c cleaning 65998 clauses out of 132015
115.65/112.80	c cleaning 66997 clauses out of 134017
120.78/117.85	c cleaning 68001 clauses out of 136020
124.97/121.94	c cleaning 68999 clauses out of 138019
129.64/126.57	c cleaning 70002 clauses out of 140021
134.02/130.82	c cleaning 71005 clauses out of 142019
138.08/134.80	c cleaning 72002 clauses out of 144014
141.96/138.67	c cleaning 72999 clauses out of 146012
146.54/143.13	c cleaning 73996 clauses out of 148013
151.18/147.72	c cleaning 75000 clauses out of 150016
156.27/152.78	c cleaning 76004 clauses out of 152016
160.35/156.75	c cleaning 76999 clauses out of 154013
164.51/160.74	c cleaning 78001 clauses out of 156013
168.91/165.04	c cleaning 78998 clauses out of 158013
172.76/168.83	c cleaning 79995 clauses out of 160015
177.14/173.13	c cleaning 81000 clauses out of 162019
181.11/177.08	c cleaning 82001 clauses out of 164020
186.83/182.78	c cleaning 82997 clauses out of 166019
192.06/187.86	c cleaning 84003 clauses out of 168022
197.52/193.23	c cleaning 84995 clauses out of 170018
203.29/198.98	c cleaning 86005 clauses out of 172024
208.16/203.71	c cleaning 86993 clauses out of 174018
214.54/209.97	c cleaning 88006 clauses out of 176027
222.91/218.24	c cleaning 89004 clauses out of 178021
230.10/225.34	c cleaning 89999 clauses out of 180015
235.40/230.47	c cleaning 90999 clauses out of 182016
241.40/236.30	c cleaning 92002 clauses out of 184018
247.20/242.03	c cleaning 92996 clauses out of 186015
252.70/247.37	c cleaning 93999 clauses out of 188019
259.85/254.42	c cleaning 95003 clauses out of 190020
266.22/260.77	c cleaning 95993 clauses out of 192017
272.59/266.98	c cleaning 97006 clauses out of 194024
278.06/272.37	c cleaning 98003 clauses out of 196019
284.14/278.34	c cleaning 99000 clauses out of 198016
291.17/285.14	c cleaning 100001 clauses out of 200016
298.84/292.72	c cleaning 101001 clauses out of 202014
305.91/299.67	c cleaning 101998 clauses out of 204014
312.72/306.36	c cleaning 103000 clauses out of 206015
319.63/313.26	c cleaning 103997 clauses out of 208015
328.00/321.47	c cleaning 105002 clauses out of 210018
335.11/328.42	c cleaning 105997 clauses out of 212016
343.28/336.41	c cleaning 107005 clauses out of 214021
350.58/343.64	c cleaning 108002 clauses out of 216014
358.08/350.99	c cleaning 108998 clauses out of 218013
366.79/359.53	c cleaning 109997 clauses out of 220015
375.37/367.93	c cleaning 110998 clauses out of 222018
383.74/376.14	c cleaning 112001 clauses out of 224019
391.83/384.11	c cleaning 113000 clauses out of 226019
401.17/393.32	c cleaning 113997 clauses out of 228018
408.67/400.79	c cleaning 115005 clauses out of 230022
417.12/409.07	c cleaning 116003 clauses out of 232017
425.45/417.27	c cleaning 116999 clauses out of 234013
434.21/425.93	c cleaning 118000 clauses out of 236015
442.62/434.17	c cleaning 118999 clauses out of 238015
450.87/442.24	c cleaning 119998 clauses out of 240016
457.95/449.23	c cleaning 121005 clauses out of 242018
467.00/458.16	c cleaning 121997 clauses out of 244013
476.22/467.26	c cleaning 122998 clauses out of 246015
484.60/475.51	c cleaning 123998 clauses out of 248018
494.24/485.10	c cleaning 125000 clauses out of 250019
505.20/495.83	c cleaning 125997 clauses out of 252019
514.20/504.61	c cleaning 127003 clauses out of 254023
524.20/514.46	c cleaning 128002 clauses out of 256019
532.43/522.66	c cleaning 128999 clauses out of 258018
542.62/532.78	c cleaning 130003 clauses out of 260019
554.89/544.81	c cleaning 131001 clauses out of 262016
564.68/554.47	c cleaning 132001 clauses out of 264015
573.49/563.11	c cleaning 132997 clauses out of 266014
583.49/573.05	c cleaning 133999 clauses out of 268017
592.92/582.33	c cleaning 134997 clauses out of 270017
604.21/593.45	c cleaning 135997 clauses out of 272021
614.40/603.55	c cleaning 137005 clauses out of 274024
625.35/614.33	c cleaning 137999 clauses out of 276019
638.50/627.38	c cleaning 138997 clauses out of 278020
649.02/637.65	c cleaning 139997 clauses out of 280022
661.69/650.19	c cleaning 141003 clauses out of 282026
669.87/658.20	c cleaning 142002 clauses out of 284023
680.53/668.66	c cleaning 143003 clauses out of 286020
692.27/680.22	c cleaning 143999 clauses out of 288017
706.48/694.35	c cleaning 144999 clauses out of 290018
717.70/705.46	c cleaning 146001 clauses out of 292019
729.34/716.98	c cleaning 147001 clauses out of 294019
739.42/726.71	c cleaning 148001 clauses out of 296017
751.75/738.99	c cleaning 148997 clauses out of 298017
763.39/750.44	c cleaning 150002 clauses out of 300020
775.25/762.16	c cleaning 150997 clauses out of 302017
788.77/775.46	c cleaning 151996 clauses out of 304021
801.65/788.24	c cleaning 153006 clauses out of 306025
815.17/801.53	c cleaning 153998 clauses out of 308018
830.11/816.25	c cleaning 155000 clauses out of 310020
841.60/827.64	c cleaning 156005 clauses out of 312021
855.47/841.32	c cleaning 156999 clauses out of 314016
870.20/855.37	c cleaning 157996 clauses out of 316017
883.82/869.01	c cleaning 158998 clauses out of 318021
896.86/881.91	c cleaning 160000 clauses out of 320022
912.00/896.91	c cleaning 160999 clauses out of 322023
923.97/908.72	c cleaning 162000 clauses out of 324024
934.94/919.57	c cleaning 162999 clauses out of 326024
951.79/936.26	c cleaning 164003 clauses out of 328025
966.76/951.10	c cleaning 165003 clauses out of 330022
983.38/967.57	c cleaning 166000 clauses out of 332018
998.76/982.65	c cleaning 166999 clauses out of 334020
1012.61/996.36	c cleaning 168001 clauses out of 336021
1024.73/1008.30	c cleaning 168999 clauses out of 338018
1037.67/1021.17	c cleaning 170002 clauses out of 340021
1052.63/1036.01	c cleaning 171001 clauses out of 342017
1069.67/1052.93	c cleaning 171999 clauses out of 344016
1083.74/1066.84	c cleaning 173002 clauses out of 346017
1096.39/1079.36	c cleaning 173998 clauses out of 348016
1109.22/1092.00	c cleaning 174998 clauses out of 350018
1124.65/1107.27	c cleaning 175999 clauses out of 352019
1137.34/1119.76	c cleaning 177003 clauses out of 354020
1152.67/1134.93	c cleaning 178001 clauses out of 356017
1166.43/1148.48	c cleaning 178999 clauses out of 358017
1179.36/1161.29	c cleaning 180002 clauses out of 360018
1193.14/1174.99	c cleaning 181001 clauses out of 362015
1207.60/1189.14	c cleaning 181999 clauses out of 364014
1223.81/1205.22	c cleaning 182993 clauses out of 366015
1238.47/1219.77	c cleaning 184004 clauses out of 368023
1256.04/1237.15	c cleaning 185004 clauses out of 370019
1273.09/1254.05	c cleaning 185997 clauses out of 372014
1289.24/1269.95	c cleaning 186999 clauses out of 374017
1305.17/1285.72	c cleaning 187997 clauses out of 376018
1321.76/1302.18	c cleaning 189002 clauses out of 378022
1338.57/1318.67	c cleaning 189996 clauses out of 380019
1353.71/1333.69	c cleaning 191004 clauses out of 382023
1370.17/1350.00	c cleaning 192000 clauses out of 384020
1384.93/1364.51	c cleaning 192996 clauses out of 386019
1404.32/1383.78	c cleaning 194000 clauses out of 388023
1423.18/1402.33	c cleaning 195001 clauses out of 390023
1439.87/1418.91	c cleaning 195996 clauses out of 392022
1457.99/1436.84	c cleaning 197007 clauses out of 394026
1473.54/1452.18	c cleaning 197998 clauses out of 396019
1490.25/1468.60	c cleaning 199000 clauses out of 398021
1506.76/1484.93	c cleaning 200006 clauses out of 400022
1521.91/1499.98	c cleaning 200998 clauses out of 402015
1540.12/1517.91	c cleaning 202005 clauses out of 404017
1557.97/1535.60	c cleaning 202996 clauses out of 406013
1577.22/1554.60	c cleaning 203997 clauses out of 408017
1594.85/1572.16	c cleaning 204998 clauses out of 410019
1612.85/1589.97	c cleaning 206003 clauses out of 412021
1634.25/1611.18	c cleaning 207005 clauses out of 414019
1653.30/1629.92	c cleaning 207995 clauses out of 416013
1675.93/1652.41	c cleaning 208998 clauses out of 418019
1696.31/1672.68	c cleaning 210001 clauses out of 420021
1715.12/1691.26	c cleaning 210993 clauses out of 422019
1733.34/1709.23	c cleaning 212009 clauses out of 424027
1750.57/1726.33	c cleaning 213002 clauses out of 426018
1770.00/1745.79	c cleaning 214001 clauses out of 428015
1788.12/1763.82	c cleaning 215001 clauses out of 430015
1804.68/1780.24	c cleaning 215998 clauses out of 432014
1823.90/1799.36	c cleaning 217002 clauses out of 434016
1846.92/1822.24	c cleaning 217997 clauses out of 436014
1865.55/1840.61	c cleaning 219002 clauses out of 438016
1890.56/1865.59	c cleaning 219996 clauses out of 440014
1916.40/1891.27	c cleaning 221001 clauses out of 442019
1935.59/1910.21	c cleaning 222000 clauses out of 444017
1960.11/1934.58	c cleaning 222995 clauses out of 446017
1980.19/1954.46	c cleaning 224002 clauses out of 448024
2006.78/1980.86	c cleaning 225001 clauses out of 450021
2029.19/2002.92	c cleaning 226002 clauses out of 452020
2052.76/2026.21	c cleaning 226999 clauses out of 454017
2072.00/2045.30	c cleaning 228002 clauses out of 456019
2098.69/2071.89	c cleaning 228993 clauses out of 458016
2126.35/2098.96	c cleaning 230001 clauses out of 460023
2146.44/2118.86	c cleaning 231003 clauses out of 462022
2170.55/2142.80	c cleaning 231999 clauses out of 464019
2186.95/2159.08	c cleaning 232997 clauses out of 466020
2211.16/2183.02	c cleaning 234003 clauses out of 468024
2232.37/2204.08	c cleaning 234999 clauses out of 470021
2255.56/2227.04	c cleaning 236002 clauses out of 472021
2278.67/2249.99	c cleaning 237000 clauses out of 474020
2301.43/2272.46	c cleaning 238001 clauses out of 476020
2325.34/2296.19	c cleaning 238996 clauses out of 478019
2345.60/2316.21	c cleaning 240001 clauses out of 480023
2367.48/2337.98	c cleaning 240999 clauses out of 482021
2389.62/2359.83	c cleaning 242000 clauses out of 484022
2418.47/2388.53	c cleaning 243000 clauses out of 486023
2444.17/2414.07	c cleaning 244001 clauses out of 488023
2472.13/2441.98	c cleaning 245004 clauses out of 490021
2501.28/2471.03	c cleaning 246000 clauses out of 492018
2522.83/2492.54	c cleaning 246998 clauses out of 494017
2543.95/2513.56	c cleaning 248005 clauses out of 496019
2564.82/2534.15	c cleaning 248995 clauses out of 498015
2586.39/2555.55	c cleaning 249994 clauses out of 500019
2610.79/2579.77	c cleaning 251001 clauses out of 502025
2635.91/2604.60	c cleaning 252003 clauses out of 504025
2657.20/2625.80	c cleaning 253000 clauses out of 506021
2681.65/2650.08	c cleaning 253998 clauses out of 508022
2707.34/2675.54	c cleaning 255003 clauses out of 510024
2730.67/2698.64	c cleaning 255999 clauses out of 512020
2755.79/2723.64	c cleaning 256998 clauses out of 514021
2785.10/2752.89	c cleaning 258004 clauses out of 516023
2808.15/2775.73	c cleaning 258997 clauses out of 518020
2834.21/2801.74	c cleaning 260005 clauses out of 520023
2854.50/2821.93	c cleaning 260999 clauses out of 522018
2876.87/2844.28	c cleaning 262000 clauses out of 524019
2901.67/2868.81	c cleaning 263003 clauses out of 526018
2924.40/2891.45	c cleaning 263997 clauses out of 528015
2951.85/2918.80	c cleaning 265002 clauses out of 530018
2972.50/2939.18	c cleaning 266003 clauses out of 532016
3002.11/2968.51	c cleaning 266999 clauses out of 534013
3029.12/2995.28	c cleaning 268002 clauses out of 536014
3058.83/3024.72	c cleaning 268999 clauses out of 538013
3086.74/3052.30	c cleaning 269997 clauses out of 540013
3116.06/3081.49	c cleaning 270997 clauses out of 542016
3150.46/3115.66	c cleaning 271998 clauses out of 544019
3178.22/3143.17	c cleaning 272995 clauses out of 546021
3217.47/3182.10	c cleaning 274003 clauses out of 548027
3251.61/3215.82	c cleaning 275002 clauses out of 550024
3281.76/3245.77	c cleaning 276001 clauses out of 552021
3314.71/3278.56	c cleaning 276998 clauses out of 554020
3339.54/3303.24	c cleaning 278005 clauses out of 556023
3371.64/3334.30	c cleaning 279002 clauses out of 558017
3402.91/3365.69	c cleaning 280000 clauses out of 560015
3432.28/3394.96	c cleaning 281003 clauses out of 562016
3459.69/3422.22	c cleaning 281995 clauses out of 564012
3492.61/3455.03	c cleaning 282998 clauses out of 566018
3520.64/3482.84	c cleaning 283991 clauses out of 568019
3550.20/3512.17	c cleaning 285003 clauses out of 570029
3578.62/3540.35	c cleaning 286002 clauses out of 572026
3600.08/3561.54	c starts		: 404
3600.08/3561.57	c conflicts		: 41606000
3600.08/3561.58	c decisions		: 52416412
3600.08/3561.58	c propagations		: 308184680
3600.08/3561.58	c inspects		: 23777313126
3600.08/3561.59	c shortcuts		: 0
3600.08/3561.59	c learnt literals	: 0
3600.08/3561.59	c learnt binary clauses	: 0
3600.08/3561.59	c learnt ternary clauses	: 604
3600.08/3561.59	c learnt constraints	: 41606000
3600.08/3561.59	c ignored constraints	: 0
3600.08/3561.59	c root simplifications	: 0
3600.08/3561.59	c removed literals (reason simplification)	: 0
3600.08/3561.59	c reason swapping (by a shorter reason)	: 0
3600.08/3561.59	c Calls to reduceDB	: 284
3600.08/3561.59	c Number of update (reduction) of LBD	: 0
3600.08/3561.59	c Imported unit clauses	: 0
3600.08/3561.60	c No decision after first conflict	: false
3600.08/3561.60	c number of reductions to clauses (during analyze)	: 0
3600.08/3561.60	c number of learned constraints concerned by reduction	: 0
3600.08/3561.60	c number of learning phase by resolution	: 0
3600.08/3561.60	c number of learning phase by cutting planes	: 0
3600.08/3561.60	c number of rounding to 1 operations	: 0
3600.08/3561.60	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3561.60	c number of reductions of the coefficients by power 2 	: 0
3600.08/3561.60	c number of right shift for reduction by power 2 	: 0
3600.08/3561.60	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3561.60	c number of ending skipping 	: 0
3600.08/3561.60	c number of internal skipping 	: 0
3600.28/3561.60	c number of derivation steps 	: 265647633
3600.28/3561.61	c number of skipped derivation steps 	: 0
3600.28/3561.61	c number of remaining unassigned 	: 0
3600.28/3561.61	c number of remaining assigned 	: 0
3600.28/3561.61	c number of falsified literals weakened from reason	: 0
3600.28/3561.61	c number of falsified literals weakened from conflict	: 0
3600.28/3561.61	c time for arithmetic operations	: 0
3600.28/3561.62	c minimum degree of deleted constraints	: null
3600.28/3561.63	c maximum degree of deleted constraints	: null
3600.28/3561.63	c number of deleted constraints	: 0
3600.28/3561.63	c speed (assignments/second)	: 86541.35798620997
3600.28/3561.63	c non guided choices	: 110612
3600.62/3561.82	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 574023
3600.62/3561.82	s UNKNOWN
3600.62/3561.83	c Total wall clock time (in seconds): 3561.42

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=24361, runsolver pid=24358

[startup+0.100071 s]*
/proc/loadavg: 4.29 4.38 4.32 8/326 24379
/proc/meminfo: memFree=120227160/131382120 swapFree=33010684/33010684
[pid=24361] ppid=24358 vsize=18930384 memory=48568 CPUtime=0.11 cores=4,6
/proc/24361/stat : 24361 (java) S 24358 24361 23008 0 -1 4194304 5857 0 0 0 8 3 0 0 20 0 18 0 35899073 19384713216 12142 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
/proc/24361/statm: 4732596 12142 5296 1 0 547074 0
[pid=24361/tid=24363] ppid=24358 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/24361/task/24363/stat : 24363 (java) R 24358 24361 23008 0 -1 4194368 4640 0 0 0 5 2 0 0 20 0 18 0 35899075 19384713216 12142 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24372] ppid=24358 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/24361/task/24372/stat : 24372 (Finalizer) S 24358 24361 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35899079 19384713216 12142 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24379] ppid=24358 vsize=18930384 memory=59593594261064 CPUtime=0 cores=4,6
/proc/24361/task/24379/stat : 24379 (Common-Cleaner) S 24358 24361 23008 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 35899080 19384713216 12142 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48568 KiB

[startup+0.213619 s]*
/proc/loadavg: 4.29 4.38 4.32 6/326 24379
/proc/meminfo: memFree=120226404/131382120 swapFree=33010684/33010684
[pid=24361] ppid=24358 vsize=18930384 memory=53032 CPUtime=0.27 cores=4,6
/proc/24361/stat : 24361 (java) S 24358 24361 23008 0 -1 4194304 6428 0 0 0 23 4 0 0 20 0 18 0 35899073 19384713216 13258 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
/proc/24361/statm: 4732596 13258 5328 1 0 547523 0
[pid=24361/tid=24363] ppid=24358 vsize=18930384 memory=4026597660 CPUtime=0.16 cores=4,6
/proc/24361/task/24363/stat : 24363 (java) R 24358 24361 23008 0 -1 4194368 4983 0 0 0 14 2 0 0 20 0 18 0 35899075 19384713216 13258 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24372] ppid=24358 vsize=18930384 memory=15877 CPUtime=0 cores=4,6
/proc/24361/task/24372/stat : 24372 (Finalizer) S 24358 24361 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35899079 19384713216 13258 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24379] ppid=24358 vsize=18930384 memory=58494082614266 CPUtime=0 cores=4,6
/proc/24361/task/24379/stat : 24379 (Common-Cleaner) S 24358 24361 23008 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 35899080 19384713216 13258 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53032 KiB

[startup+0.313608 s]*
/proc/loadavg: 4.29 4.38 4.32 7/326 24379
/proc/meminfo: memFree=120225396/131382120 swapFree=33010684/33010684
[pid=24361] ppid=24358 vsize=18930384 memory=58604 CPUtime=0.43 cores=4,6
/proc/24361/stat : 24361 (java) S 24358 24361 23008 0 -1 4194304 6731 0 0 0 39 4 0 0 20 0 18 0 35899073 19384713216 14651 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
/proc/24361/statm: 4732596 14651 5392 1 0 547734 0
[pid=24361/tid=24363] ppid=24358 vsize=18930384 memory=-6000919472706644077 CPUtime=0.26 cores=4,6
/proc/24361/task/24363/stat : 24363 (java) R 24358 24361 23008 0 -1 4194368 5159 0 0 0 23 3 0 0 20 0 18 0 35899075 19384713216 14651 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24372] ppid=24358 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/24361/task/24372/stat : 24372 (Finalizer) S 24358 24361 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35899079 19384713216 14651 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24379] ppid=24358 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/24361/task/24379/stat : 24379 (Common-Cleaner) S 24358 24361 23008 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 35899080 19384713216 14651 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58604 KiB

[startup+0.700369 s]
/proc/loadavg: 4.29 4.38 4.32 8/327 24380
/proc/meminfo: memFree=120225396/131382120 swapFree=33010684/33010684
[pid=24361] ppid=24358 vsize=18996948 memory=75744 CPUtime=1.13 cores=4,6
/proc/24361/stat : 24361 (java) S 24358 24361 23008 0 -1 4194304 7411 0 0 0 108 5 0 0 20 0 19 0 35899073 19452874752 18936 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
/proc/24361/statm: 4749237 18936 5424 1 0 548413 0
[pid=24361/tid=24363] ppid=24358 vsize=18996948 memory=17152 CPUtime=0.6 cores=4,6
/proc/24361/task/24363/stat : 24363 (java) R 24358 24361 23008 0 -1 4194368 5420 0 0 0 57 3 0 0 20 0 19 0 35899075 19452874752 18936 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24372] ppid=24358 vsize=18996948 memory=10496 CPUtime=0 cores=4,6
/proc/24361/task/24372/stat : 24372 (Finalizer) S 24358 24361 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35899079 19452874752 18936 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24379] ppid=24358 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/24361/task/24379/stat : 24379 (Common-Cleaner) S 24358 24361 23008 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35899080 19452874752 18936 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24380] ppid=24358 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/24361/task/24380/stat : 24380 (Timer-0) S 24358 24361 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35899123 19452874752 18936 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 75744 KiB

[startup+1.50026 s]
/proc/loadavg: 4.29 4.38 4.32 6/327 24380
/proc/meminfo: memFree=120159232/131382120 swapFree=33010684/33010684
[pid=24361] ppid=24358 vsize=19063512 memory=164804 CPUtime=2.71 cores=4,6
/proc/24361/stat : 24361 (java) S 24358 24361 23008 0 -1 4194304 16165 0 0 0 262 9 0 0 20 0 20 0 35899073 19521036288 41201 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
/proc/24361/statm: 4765878 41201 5488 1 0 551742 0
[pid=24361/tid=24363] ppid=24358 vsize=19063512 memory=0 CPUtime=1.34 cores=4,6
/proc/24361/task/24363/stat : 24363 (java) R 24358 24361 23008 0 -1 4194368 6440 0 0 0 129 5 0 0 20 0 20 0 35899075 19521036288 41201 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24372] ppid=24358 vsize=19063512 memory=10496 CPUtime=0 cores=4,6
/proc/24361/task/24372/stat : 24372 (Finalizer) S 24358 24361 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35899079 19521036288 41201 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24379] ppid=24358 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/24361/task/24379/stat : 24379 (Common-Cleaner) S 24358 24361 23008 0 -1 4194368 33 0 0 0 0 0 0 0 20 0 20 0 35899080 19521036288 41201 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24380] ppid=24358 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/24361/task/24380/stat : 24380 (Timer-0) S 24358 24361 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35899123 19521036288 41201 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 164804 KiB

[startup+3.10545 s]
/proc/loadavg: 4.35 4.39 4.32 5/328 24381
/proc/meminfo: memFree=119521676/131382120 swapFree=33010684/33010684
[pid=24361] ppid=24358 vsize=19063512 memory=820984 CPUtime=5.37 cores=4,6
/proc/24361/stat : 24361 (java) S 24358 24361 23008 0 -1 4194304 21412 0 0 0 515 22 0 0 20 0 20 0 35899073 19521036288 205246 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
/proc/24361/statm: 4765878 205246 5488 1 0 554325 0
[pid=24361/tid=24363] ppid=24358 vsize=19063512 memory=10496 CPUtime=2.9 cores=4,6
/proc/24361/task/24363/stat : 24363 (java) R 24358 24361 23008 0 -1 4194368 7466 0 0 0 273 17 0 0 20 0 20 0 35899075 19521036288 205246 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24372] ppid=24358 vsize=19063512 memory=-6000919472706644077 CPUtime=0 cores=4,6
/proc/24361/task/24372/stat : 24372 (Finalizer) S 24358 24361 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35899079 19521036288 205246 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24379] ppid=24358 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/24361/task/24379/stat : 24379 (Common-Cleaner) S 24358 24361 23008 0 -1 4194368 33 0 0 0 0 0 0 0 20 0 20 0 35899080 19521036288 205246 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24380] ppid=24358 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/24361/task/24380/stat : 24380 (Timer-0) S 24358 24361 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35899123 19521036288 205246 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
Current children cumulated CPU time: 5.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 820984 KiB

[startup+6.30039 s]
/proc/loadavg: 4.35 4.39 4.32 5/328 24381
/proc/meminfo: memFree=118960524/131382120 swapFree=33010684/33010684
[pid=24361] ppid=24358 vsize=19063512 memory=1304432 CPUtime=8.7 cores=4,6
/proc/24361/stat : 24361 (java) S 24358 24361 23008 0 -1 4194304 22304 0 0 0 838 32 0 0 20 0 20 0 35899073 19521036288 326108 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
/proc/24361/statm: 4765878 326108 5488 1 0 554326 0
[pid=24361/tid=24363] ppid=24358 vsize=19063512 memory=0 CPUtime=6.04 cores=4,6
/proc/24361/task/24363/stat : 24363 (java) R 24358 24361 23008 0 -1 4194368 7745 0 0 0 577 27 0 0 20 0 20 0 35899075 19521036288 326108 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24372] ppid=24358 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/24361/task/24372/stat : 24372 (Finalizer) S 24358 24361 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35899079 19521036288 326108 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24379] ppid=24358 vsize=19063512 memory=10496 CPUtime=0 cores=4,6
/proc/24361/task/24379/stat : 24379 (Common-Cleaner) S 24358 24361 23008 0 -1 4194368 33 0 0 0 0 0 0 0 20 0 20 0 35899080 19521036288 326108 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24380] ppid=24358 vsize=19063512 memory=179336 CPUtime=0 cores=4,6
/proc/24361/task/24380/stat : 24380 (Timer-0) S 24358 24361 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35899123 19521036288 326108 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
Current children cumulated CPU time: 8.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1304432 KiB

[startup+12.7004 s]
/proc/loadavg: 4.29 4.38 4.32 5/328 24381
/proc/meminfo: memFree=118473332/131382120 swapFree=33010684/33010684
[pid=24361] ppid=24358 vsize=19063512 memory=1737548 CPUtime=15.07 cores=4,6
/proc/24361/stat : 24361 (java) S 24358 24361 23008 0 -1 4194304 23331 0 0 0 1466 41 0 0 20 0 20 0 35899073 19521036288 434387 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
/proc/24361/statm: 4765878 434387 5488 1 0 660852 0
[pid=24361/tid=24363] ppid=24358 vsize=19063512 memory=179336 CPUtime=12.22 cores=4,6
/proc/24361/task/24363/stat : 24363 (java) R 24358 24361 23008 0 -1 4194368 8499 0 0 0 1187 35 0 0 20 0 20 0 35899075 19521036288 434387 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24372] ppid=24358 vsize=19063512 memory=16352 CPUtime=0 cores=4,6
/proc/24361/task/24372/stat : 24372 (Finalizer) S 24358 24361 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35899079 19521036288 434387 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24379] ppid=24358 vsize=19063512 memory=1737548 CPUtime=0 cores=4,6
/proc/24361/task/24379/stat : 24379 (Common-Cleaner) S 24358 24361 23008 0 -1 4194368 33 0 0 0 0 0 0 0 20 0 20 0 35899080 19521036288 434387 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24380] ppid=24358 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/24361/task/24380/stat : 24380 (Timer-0) S 24358 24361 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35899123 19521036288 434387 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
Current children cumulated CPU time: 15.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1737548 KiB

[startup+25.5004 s]
/proc/loadavg: 4.25 4.37 4.31 5/327 24381
/proc/meminfo: memFree=117891504/131382120 swapFree=33010684/33010684
[pid=24361] ppid=24358 vsize=19063512 memory=2238444 CPUtime=27.86 cores=4,6
/proc/24361/stat : 24361 (java) S 24358 24361 23008 0 -1 4194304 27331 0 0 0 2734 52 0 0 20 0 20 0 35899073 19521036288 559611 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
/proc/24361/statm: 4765878 559611 5488 1 0 788276 0
[pid=24361/tid=24363] ppid=24358 vsize=19063512 memory=-6000919472706644077 CPUtime=24.71 cores=4,6
/proc/24361/task/24363/stat : 24363 (java) R 24358 24361 23008 0 -1 4194368 10048 0 0 0 2426 45 0 0 20 0 20 0 35899075 19521036288 559611 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24372] ppid=24358 vsize=19063512 memory=17152 CPUtime=0 cores=4,6
/proc/24361/task/24372/stat : 24372 (Finalizer) S 24358 24361 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35899079 19521036288 559611 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24379] ppid=24358 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/24361/task/24379/stat : 24379 (Common-Cleaner) S 24358 24361 23008 0 -1 4194368 33 0 0 0 0 0 0 0 20 0 20 0 35899080 19521036288 559611 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24380] ppid=24358 vsize=19063512 memory=16352 CPUtime=0 cores=4,6
/proc/24361/task/24380/stat : 24380 (Timer-0) S 24358 24361 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35899123 19521036288 559611 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
Current children cumulated CPU time: 27.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2238444 KiB

[startup+51.1135 s]
/proc/loadavg: 4.29 4.37 4.31 5/328 24383
/proc/meminfo: memFree=117129984/131382120 swapFree=33010684/33010684
[pid=24361] ppid=24358 vsize=19063512 memory=2770360 CPUtime=53.42 cores=4,6
/proc/24361/stat : 24361 (java) S 24358 24361 23008 0 -1 4194304 31101 0 0 0 5276 66 0 0 20 0 20 0 35899073 19521036288 692590 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
/proc/24361/statm: 4765878 692590 5520 1 0 921969 0
[pid=24361/tid=24363] ppid=24358 vsize=19063512 memory=2770360 CPUtime=49.56 cores=4,6
/proc/24361/task/24363/stat : 24363 (java) R 24358 24361 23008 0 -1 4194368 11858 0 0 0 4899 57 0 0 20 0 20 0 35899075 19521036288 692590 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24372] ppid=24358 vsize=19063512 memory=2256312 CPUtime=0 cores=4,6
/proc/24361/task/24372/stat : 24372 (Finalizer) S 24358 24361 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35899079 19521036288 692590 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24379] ppid=24358 vsize=19063512 memory=1737548 CPUtime=0 cores=4,6

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

Current children cumulated memory: 3637996 KiB

[startup+3282.3 s]
/proc/loadavg: 4.41 4.26 4.21 7/302 24568
/proc/meminfo: memFree=119770088/131382120 swapFree=33010684/33010684
[pid=24361] ppid=24358 vsize=19063512 memory=3637996 CPUtime=3318.54 cores=4,6
/proc/24361/stat : 24361 (java) S 24358 24361 23008 0 -1 4194304 117514 0 0 0 331546 308 0 0 20 0 20 0 35899073 19521036288 909499 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
/proc/24361/statm: 4765878 909499 5520 1 0 922845 0
[pid=24361/tid=24363] ppid=24358 vsize=19063512 memory=3637996 CPUtime=3212.54 cores=4,6
/proc/24361/task/24363/stat : 24363 (java) R 24358 24361 23008 0 -1 4194368 61050 0 0 0 321187 67 0 0 20 0 20 0 35899075 19521036288 909499 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24372] ppid=24358 vsize=19063512 memory=3637996 CPUtime=0 cores=4,6
/proc/24361/task/24372/stat : 24372 (Finalizer) S 24358 24361 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35899079 19521036288 909499 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24379] ppid=24358 vsize=19063512 memory=16352 CPUtime=0 cores=4,6
/proc/24361/task/24379/stat : 24379 (Common-Cleaner) S 24358 24361 23008 0 -1 4194368 940 0 0 0 0 0 0 0 20 0 20 0 35899080 19521036288 909499 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24380] ppid=24358 vsize=19063512 memory=3637996 CPUtime=0 cores=4,6
/proc/24361/task/24380/stat : 24380 (Timer-0) S 24358 24361 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35899123 19521036288 909499 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
Current children cumulated CPU time: 3318.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3637996 KiB

[startup+3342.3 s]
/proc/loadavg: 3.01 3.88 4.08 3/276 24600
/proc/meminfo: memFree=123617228/131382120 swapFree=33010684/33010684
[pid=24361] ppid=24358 vsize=19063512 memory=3638380 CPUtime=3379.69 cores=4,6
/proc/24361/stat : 24361 (java) S 24358 24361 23008 0 -1 4194304 119783 0 0 0 337655 314 0 0 20 0 20 0 35899073 19521036288 909595 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
/proc/24361/statm: 4765878 909595 5520 1 0 922956 0
[pid=24361/tid=24363] ppid=24358 vsize=19063512 memory=10496 CPUtime=3271.12 cores=4,6
/proc/24361/task/24363/stat : 24363 (java) R 24358 24361 23008 0 -1 4194368 61747 0 0 0 327045 67 0 0 20 0 20 0 35899075 19521036288 909595 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24372] ppid=24358 vsize=19063512 memory=3638380 CPUtime=0 cores=4,6
/proc/24361/task/24372/stat : 24372 (Finalizer) S 24358 24361 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35899079 19521036288 909595 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24379] ppid=24358 vsize=19063512 memory=3638380 CPUtime=0 cores=4,6
/proc/24361/task/24379/stat : 24379 (Common-Cleaner) S 24358 24361 23008 0 -1 4194368 954 0 0 0 0 0 0 0 20 0 20 0 35899080 19521036288 909595 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24380] ppid=24358 vsize=19063512 memory=-6000919472706644077 CPUtime=0 cores=4,6
/proc/24361/task/24380/stat : 24380 (Timer-0) S 24358 24361 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35899123 19521036288 909595 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
Current children cumulated CPU time: 3379.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3638380 KiB

[startup+3402.3 s]
/proc/loadavg: 2.02 3.45 3.92 2/251 24638
/proc/meminfo: memFree=126691964/131382120 swapFree=33010684/33010684
[pid=24361] ppid=24358 vsize=19063512 memory=3638380 CPUtime=3439.73 cores=4,6
/proc/24361/stat : 24361 (java) S 24358 24361 23008 0 -1 4194304 121899 0 0 0 343656 317 0 0 20 0 20 0 35899073 19521036288 909595 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
/proc/24361/statm: 4765878 909595 5520 1 0 922956 0
[pid=24361/tid=24363] ppid=24358 vsize=19063512 memory=3638380 CPUtime=3330.4 cores=4,6
/proc/24361/task/24363/stat : 24363 (java) R 24358 24361 23008 0 -1 4194368 63135 0 0 0 332973 67 0 0 20 0 20 0 35899075 19521036288 909595 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24372] ppid=24358 vsize=19063512 memory=3638380 CPUtime=0 cores=4,6
/proc/24361/task/24372/stat : 24372 (Finalizer) S 24358 24361 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35899079 19521036288 909595 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24379] ppid=24358 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/24361/task/24379/stat : 24379 (Common-Cleaner) S 24358 24361 23008 0 -1 4194368 955 0 0 0 0 0 0 0 20 0 20 0 35899080 19521036288 909595 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24380] ppid=24358 vsize=19063512 memory=10496 CPUtime=0 cores=4,6
/proc/24361/task/24380/stat : 24380 (Timer-0) S 24358 24361 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35899123 19521036288 909595 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
Current children cumulated CPU time: 3439.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3638380 KiB

[startup+3462.3 s]
/proc/loadavg: 1.42 3.02 3.74 2/251 24654
/proc/meminfo: memFree=126691824/131382120 swapFree=33010684/33010684
[pid=24361] ppid=24358 vsize=19063512 memory=3638380 CPUtime=3500.05 cores=4,6
/proc/24361/stat : 24361 (java) S 24358 24361 23008 0 -1 4194304 123226 0 0 0 349685 320 0 0 20 0 20 0 35899073 19521036288 909595 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
/proc/24361/statm: 4765878 909595 5520 1 0 922956 0
[pid=24361/tid=24363] ppid=24358 vsize=19063512 memory=3638380 CPUtime=3389.41 cores=4,6
/proc/24361/task/24363/stat : 24363 (java) S 24358 24361 23008 0 -1 4194368 64304 0 0 0 338874 67 0 0 20 0 20 0 35899075 19521036288 909595 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24372] ppid=24358 vsize=19063512 memory=3638380 CPUtime=0 cores=4,6
/proc/24361/task/24372/stat : 24372 (Finalizer) S 24358 24361 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35899079 19521036288 909595 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24379] ppid=24358 vsize=19063512 memory=16352 CPUtime=0 cores=4,6
/proc/24361/task/24379/stat : 24379 (Common-Cleaner) S 24358 24361 23008 0 -1 4194368 998 0 0 0 0 0 0 0 20 0 20 0 35899080 19521036288 909595 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24380] ppid=24358 vsize=19063512 memory=3638380 CPUtime=0 cores=4,6
/proc/24361/task/24380/stat : 24380 (Timer-0) S 24358 24361 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35899123 19521036288 909595 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
Current children cumulated CPU time: 3500.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3638380 KiB

[startup+3522.3 s]
/proc/loadavg: 1.29 2.69 3.58 2/251 24656
/proc/meminfo: memFree=126692168/131382120 swapFree=33010684/33010684
[pid=24361] ppid=24358 vsize=19063512 memory=3638380 CPUtime=3560.57 cores=4,6
/proc/24361/stat : 24361 (java) S 24358 24361 23008 0 -1 4194304 124103 0 0 0 355733 324 0 0 20 0 20 0 35899073 19521036288 909595 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
/proc/24361/statm: 4765878 909595 5520 1 0 922956 0
[pid=24361/tid=24363] ppid=24358 vsize=19063512 memory=3638380 CPUtime=3448.21 cores=4,6
/proc/24361/task/24363/stat : 24363 (java) R 24358 24361 23008 0 -1 4194368 64548 0 0 0 344754 67 0 0 20 0 20 0 35899075 19521036288 909595 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24372] ppid=24358 vsize=19063512 memory=3638380 CPUtime=0 cores=4,6
/proc/24361/task/24372/stat : 24372 (Finalizer) S 24358 24361 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35899079 19521036288 909595 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24379] ppid=24358 vsize=19063512 memory=3638380 CPUtime=0 cores=4,6
/proc/24361/task/24379/stat : 24379 (Common-Cleaner) S 24358 24361 23008 0 -1 4194368 1017 0 0 0 0 0 0 0 20 0 20 0 35899080 19521036288 909595 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24380] ppid=24358 vsize=19063512 memory=17152 CPUtime=0 cores=4,6
/proc/24361/task/24380/stat : 24380 (Timer-0) S 24358 24361 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35899123 19521036288 909595 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
Current children cumulated CPU time: 3560.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3638380 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3561.5 s]
/proc/loadavg: 1.16 2.50 3.48 2/251 24658
/proc/meminfo: memFree=126692168/131382120 swapFree=33010684/33010684
[pid=24361] ppid=24358 vsize=19063512 memory=3638380 CPUtime=3600.08 cores=4,6
/proc/24361/stat : 24361 (java) S 24358 24361 23008 0 -1 4194304 124205 0 0 0 359681 327 0 0 20 0 20 0 35899073 19521036288 909595 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
/proc/24361/statm: 4765878 909595 5520 1 0 922956 0
[pid=24361/tid=24363] ppid=24358 vsize=19063512 memory=17152 CPUtime=3486.7 cores=4,6
/proc/24361/task/24363/stat : 24363 (java) R 24358 24361 23008 0 -1 4194368 64578 0 0 0 348603 67 0 0 20 0 20 0 35899075 19521036288 909595 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24372] ppid=24358 vsize=19063512 memory=10496 CPUtime=0 cores=4,6
/proc/24361/task/24372/stat : 24372 (Finalizer) S 24358 24361 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35899079 19521036288 909595 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24379] ppid=24358 vsize=19063512 memory=3638380 CPUtime=0 cores=4,6
/proc/24361/task/24379/stat : 24379 (Common-Cleaner) S 24358 24361 23008 0 -1 4194368 1019 0 0 0 0 0 0 0 20 0 20 0 35899080 19521036288 909595 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24380] ppid=24358 vsize=19063512 memory=3638380 CPUtime=0 cores=4,6
/proc/24361/task/24380/stat : 24380 (Timer-0) S 24358 24361 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35899123 19521036288 909595 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3638380 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.42 s, system=3.29299 s

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

[startup+3561.61 s]
/proc/loadavg: 1.16 2.50 3.48 2/251 24658
/proc/meminfo: memFree=126692168/131382120 swapFree=33010684/33010684
[pid=24361] ppid=24358 vsize=19263204 memory=3639020 CPUtime=3600.28 cores=4,6
/proc/24361/stat : 24361 (java) S 24358 24361 23008 0 -1 4194304 126325 0 0 0 359701 327 0 0 20 0 21 0 35899073 19725520896 909755 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
/proc/24361/statm: 4815801 909755 5520 1 0 923859 0
[pid=24361/tid=24363] ppid=24358 vsize=19263204 memory=3638380 CPUtime=3486.81 cores=4,6
/proc/24361/task/24363/stat : 24363 (java) R 24358 24361 23008 0 -1 4194368 64578 0 0 0 348614 67 0 0 20 0 21 0 35899075 19725520896 909755 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24372] ppid=24358 vsize=19263204 memory=3638380 CPUtime=0 cores=4,6
/proc/24361/task/24372/stat : 24372 (Finalizer) S 24358 24361 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 35899079 19725520896 909755 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24379] ppid=24358 vsize=19263204 memory=4764 CPUtime=0 cores=4,6
/proc/24361/task/24379/stat : 24379 (Common-Cleaner) S 24358 24361 23008 0 -1 4194368 1019 0 0 0 0 0 0 0 20 0 21 0 35899080 19725520896 909755 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 3639020 KiB

[startup+3561.8 s]
/proc/loadavg: 1.16 2.50 3.48 2/251 24658
/proc/meminfo: memFree=126692168/131382120 swapFree=33010684/33010684
[pid=24361] ppid=24358 vsize=19263204 memory=3639020 CPUtime=3600.62 cores=4,6
/proc/24361/stat : 24361 (java) S 24358 24361 23008 0 -1 4194304 126699 0 0 0 359735 327 0 0 20 0 21 0 35899073 19725520896 909755 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
/proc/24361/statm: 4815801 909755 5520 1 0 923859 0
[pid=24361/tid=24363] ppid=24358 vsize=19263204 memory=-6000919472706644077 CPUtime=3486.97 cores=4,6
/proc/24361/task/24363/stat : 24363 (java) R 24358 24361 23008 0 -1 4194368 64578 0 0 0 348630 67 0 0 20 0 21 0 35899075 19725520896 909755 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24372] ppid=24358 vsize=19263204 memory=4252 CPUtime=0 cores=4,6
/proc/24361/task/24372/stat : 24372 (Finalizer) S 24358 24361 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 35899079 19725520896 909755 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
[pid=24361/tid=24379] ppid=24358 vsize=19263204 memory=2760 CPUtime=0 cores=4,6
/proc/24361/task/24379/stat : 24379 (Common-Cleaner) S 24358 24361 23008 0 -1 4194368 1019 0 0 0 0 0 0 0 20 0 21 0 35899080 19725520896 909755 18446744073709551615 94670620356608 94670620360304 140732475709632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94670620368120 94670620368912 94670631743488 140732475718014 140732475718118 140732475718118 140732475723720 0
Current children cumulated CPU time: 3600.62 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 3639020 KiB

Child status: 143

Real time (s): 3561.85
CPU time (s): 3600.71
CPU user time (s): 3597.42
CPU system time (s): 3.29299
CPU usage (%): 101.091
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 3639020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.42
system time used= 3.29299
maximum resident set size= 3639276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126883
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 135237
involuntary context switches= 12526


# summary of solver processes directly reported to runsolver:
#   pid: 24361
#   total CPU time (s): 3600.71
#   total CPU user time (s): 3597.42
#   total CPU system time (s): 3.29299

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7263 second user time and 34.2584 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-06-29 15:03:20
IDJOB=4509974
IDBENCH=159217
IDSOLVER=3361
FILE ID=nodeC008/4509974-1751202200
RUNJOBID= nodeC008-1751195027-23019
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-n134-d3-i3-f.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-4509974-1751202200/watcher-4509974-1751202200 -o /tmp/evaluation-result-4509974-1751202200/solver-4509974-1751202200 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751195027-23019 --watchdog 3760  java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4509974-1751202200.opb

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

MD5SUM BENCH= 01d829ad4c115fdb9b9dc327d7beaf7a
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		: 3591.682
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		: 3662.178
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.847
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.996
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		: 1197.204
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		: 3491.722
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.193
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.246
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:        120247660 kB
MemAvailable:   119903996 kB
Buffers:            3280 kB
Cached:           467772 kB
SwapCached:            0 kB
Active:         10379860 kB
Inactive:         219808 kB
Active(anon):   10146572 kB
Inactive(anon):        0 kB
Active(file):     233288 kB
Inactive(file):   219808 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               728 kB
Writeback:            44 kB
AnonPages:      10131772 kB
Mapped:           122164 kB
Shmem:             17956 kB
KReclaimable:      85736 kB
Slab:             165588 kB
SReclaimable:      85736 kB
SUnreclaim:        79852 kB
KernelStack:        5008 kB
PageTables:        23416 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:   11944240 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   9928704 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= 433060 MiB
End job on nodeC008 at 2025-06-29 16:02:42