Trace number 4510046

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.32 3495.95

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n232-d3-i1-f.cnf.gz-plain.pb.metafix.opb
MD5SUM3c4292db534e5ed9ac145103152ac845
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 variables348
Total number of constraints928
Number of constraints which are clauses928
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.09/0.19	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.09/0.19	c This is free software under the dual EPL/GNU LGPL licenses.
0.09/0.19	c See www.sat4j.org for details.
0.09/0.20	c version PB25.v20250606
0.26/0.23	c java.runtime.name	OpenJDK Runtime Environment
0.26/0.23	c java.vm.name		OpenJDK 64-Bit Server VM
0.26/0.23	c java.vm.version	22.0.1+8-16
0.26/0.23	c java.vm.vendor	Oracle Corporation
0.26/0.23	c sun.arch.data.model	64
0.26/0.23	c java.version		22.0.1
0.26/0.23	c os.name		Linux
0.26/0.23	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.26/0.23	c os.arch		amd64
0.26/0.24	c Free memory 		2104792832
0.26/0.24	c Max memory 		16282288128
0.26/0.25	c Total memory 		2113929216
0.26/0.25	c Number of processors 	2
0.59/0.44	c Pseudo Boolean Optimization by upper bound
0.59/0.44	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.59/0.44	c  - never skip resolution steps
0.59/0.44	c  - Auto-division on coefficients is disabled
0.59/0.44	c  - No postprocessing
0.59/0.44	c  - Conflict is considered as is when resolving
0.59/0.44	c  - Use constraints as they come during conflict analysis
0.59/0.44	c  - Weaken first using unassigned literals
0.59/0.44	c  - Bump strategy: ALWAYS_ONE
0.59/0.44	c  - Bumper: ANY
0.59/0.44	c --- Begin Solver configuration ---
0.59/0.44	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@5cbc508c
0.59/0.44	c Learn all clauses as in MiniSAT
0.59/0.44	c LOGGER=java.util.logging.Logger@68fb2c38 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.59/0.44	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.59/0.44	c No reason simplification
0.59/0.44	c Armin Biere (Picosat) restarts strategy
0.59/0.44	c Activity based learned constraints deletion strategy with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.59/0.44	c timeout=2147483s
0.59/0.44	c DB Simplification allowed=false
0.59/0.44	c Listener: none
0.59/0.44	c --- End Solver configuration ---
0.59/0.44	c solving HOME/instance-4510046-1751202826.opb
0.59/0.44	c reading problem ... 
0.59/0.45	c  no objective function found
0.77/0.59	c ... done. Wall clock time 0.142s.
0.77/0.59	c declared #vars     348
0.77/0.59	c #constraints  928
0.77/0.59	c constraints type 
0.77/0.59	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 928
0.77/0.59	c 928 constraints processed.
2.49/1.43	c cleaning 2490 clauses out of 5000
3.27/1.80	c cleaning 4247 clauses out of 8511
3.88/2.16	c cleaning 5622 clauses out of 11264
4.45/2.48	c cleaning 6810 clauses out of 13642
4.97/2.90	c cleaning 7907 clauses out of 15831
5.49/3.38	c cleaning 8951 clauses out of 17924
6.16/3.92	c cleaning 9978 clauses out of 19974
7.55/5.30	c cleaning 10987 clauses out of 21995
8.86/6.66	c cleaning 11992 clauses out of 24009
9.79/7.59	c cleaning 13000 clauses out of 26017
10.59/8.35	c cleaning 14001 clauses out of 28016
11.19/9.00	c cleaning 14994 clauses out of 30015
12.09/9.82	c cleaning 16003 clauses out of 32021
12.79/10.59	c cleaning 16999 clauses out of 34018
13.68/11.46	c cleaning 17993 clauses out of 36020
14.59/12.33	c cleaning 19001 clauses out of 38027
15.50/13.23	c cleaning 19988 clauses out of 40025
16.40/14.13	c cleaning 21001 clauses out of 42038
17.39/15.16	c cleaning 22006 clauses out of 44036
18.47/16.29	c cleaning 23008 clauses out of 46031
19.78/17.50	c cleaning 24000 clauses out of 48022
20.97/18.74	c cleaning 24996 clauses out of 50022
22.47/20.23	c cleaning 26001 clauses out of 52026
23.97/21.79	c cleaning 27007 clauses out of 54027
25.37/23.15	c cleaning 27997 clauses out of 56018
26.86/24.66	c cleaning 29004 clauses out of 58021
28.48/26.22	c cleaning 30000 clauses out of 60017
30.17/27.94	c cleaning 30999 clauses out of 62017
31.97/29.73	c cleaning 31998 clauses out of 64018
33.81/31.50	c cleaning 32997 clauses out of 66021
35.41/33.19	c cleaning 33997 clauses out of 68023
37.42/35.16	c cleaning 35009 clauses out of 70027
39.50/37.26	c cleaning 35997 clauses out of 72018
41.60/39.32	c cleaning 36993 clauses out of 74020
43.79/41.53	c cleaning 37997 clauses out of 76027
45.99/43.74	c cleaning 39005 clauses out of 78030
48.88/46.62	c cleaning 39998 clauses out of 80025
51.46/49.22	c cleaning 40996 clauses out of 82027
53.85/51.62	c cleaning 42006 clauses out of 84032
56.09/53.88	c cleaning 43005 clauses out of 86025
58.78/56.54	c cleaning 44003 clauses out of 88021
61.98/59.71	c cleaning 45001 clauses out of 90017
66.11/63.80	c cleaning 45995 clauses out of 92016
69.72/67.43	c cleaning 46996 clauses out of 94021
72.54/70.29	c cleaning 48000 clauses out of 96025
75.41/73.03	c cleaning 49004 clauses out of 98026
78.95/76.59	c cleaning 49998 clauses out of 100021
81.73/79.34	c cleaning 51000 clauses out of 102024
85.40/82.98	c cleaning 51999 clauses out of 104023
88.98/86.45	c cleaning 53007 clauses out of 106024
92.26/89.68	c cleaning 53999 clauses out of 108017
96.25/93.56	c cleaning 55001 clauses out of 110019
100.45/97.68	c cleaning 56001 clauses out of 112018
105.73/102.86	c cleaning 56998 clauses out of 114016
113.50/110.48	c cleaning 57998 clauses out of 116019
119.79/116.67	c cleaning 58998 clauses out of 118020
125.17/121.90	c cleaning 60000 clauses out of 120022
129.48/126.18	c cleaning 60999 clauses out of 122023
134.94/131.53	c cleaning 62005 clauses out of 124024
140.13/136.67	c cleaning 62992 clauses out of 126019
146.99/143.39	c cleaning 64002 clauses out of 128027
152.48/148.76	c cleaning 64997 clauses out of 130025
157.29/153.41	c cleaning 65997 clauses out of 132028
161.49/157.50	c cleaning 67000 clauses out of 134030
165.58/161.58	c cleaning 68003 clauses out of 136031
169.68/165.53	c cleaning 69006 clauses out of 138028
177.45/173.11	c cleaning 70002 clauses out of 140022
183.35/178.94	c cleaning 71004 clauses out of 142019
187.86/183.31	c cleaning 71992 clauses out of 144017
192.96/188.31	c cleaning 72997 clauses out of 146024
199.14/194.31	c cleaning 73995 clauses out of 148026
204.76/199.85	c cleaning 75000 clauses out of 150032
212.18/207.08	c cleaning 76005 clauses out of 152031
217.30/212.07	c cleaning 76996 clauses out of 154026
222.57/217.26	c cleaning 77999 clauses out of 156031
231.52/226.03	c cleaning 79007 clauses out of 158031
237.90/232.38	c cleaning 80000 clauses out of 160025
246.52/240.73	c cleaning 81004 clauses out of 162024
253.64/247.63	c cleaning 81996 clauses out of 164021
261.44/255.22	c cleaning 83000 clauses out of 166025
269.35/263.02	c cleaning 83997 clauses out of 168025
277.31/270.87	c cleaning 85008 clauses out of 170028
284.49/277.81	c cleaning 86003 clauses out of 172021
292.47/285.75	c cleaning 86998 clauses out of 174016
300.93/294.10	c cleaning 87997 clauses out of 176018
308.83/301.79	c cleaning 88998 clauses out of 178021
318.84/311.55	c cleaning 90003 clauses out of 180024
328.12/320.71	c cleaning 91003 clauses out of 182021
336.35/328.69	c cleaning 91999 clauses out of 184017
345.26/337.31	c cleaning 92998 clauses out of 186019
351.17/343.11	c cleaning 93998 clauses out of 188020
360.70/352.58	c cleaning 95005 clauses out of 190022
367.19/358.83	c cleaning 95992 clauses out of 192018
373.50/365.03	c cleaning 97004 clauses out of 194025
381.71/373.08	c cleaning 97999 clauses out of 196021
393.23/384.54	c cleaning 99000 clauses out of 198023
405.55/396.78	c cleaning 99999 clauses out of 200022
413.26/404.28	c cleaning 101001 clauses out of 202024
421.60/412.30	c cleaning 101997 clauses out of 204023
429.10/419.75	c cleaning 102998 clauses out of 206026
438.26/428.78	c cleaning 103999 clauses out of 208027
446.25/436.59	c cleaning 104999 clauses out of 210029
454.16/444.37	c cleaning 105999 clauses out of 212030
461.77/451.84	c cleaning 106997 clauses out of 214030
469.40/459.35	c cleaning 108010 clauses out of 216035
481.45/471.30	c cleaning 109002 clauses out of 218024
491.94/481.56	c cleaning 109998 clauses out of 220022
501.95/491.43	c cleaning 111002 clauses out of 222024
510.42/499.70	c cleaning 111998 clauses out of 224021
519.01/508.16	c cleaning 113003 clauses out of 226023
526.96/515.96	c cleaning 113996 clauses out of 228020
535.58/524.39	c cleaning 114997 clauses out of 230024
544.26/532.89	c cleaning 116001 clauses out of 232027
553.69/542.13	c cleaning 117004 clauses out of 234028
563.67/551.81	c cleaning 118003 clauses out of 236023
571.48/559.47	c cleaning 118993 clauses out of 238019
581.04/568.77	c cleaning 119997 clauses out of 240026
590.47/578.02	c cleaning 121005 clauses out of 242030
602.52/589.89	c cleaning 122005 clauses out of 244025
612.94/600.05	c cleaning 122997 clauses out of 246020
629.81/616.66	c cleaning 123994 clauses out of 248022
641.23/627.87	c cleaning 125000 clauses out of 250029
654.59/640.94	c cleaning 126003 clauses out of 252029
666.62/652.75	c cleaning 126999 clauses out of 254025
678.03/663.33	c cleaning 127999 clauses out of 256026
688.82/674.17	c cleaning 128998 clauses out of 258027
702.48/687.75	c cleaning 130001 clauses out of 260030
714.69/699.81	c cleaning 131006 clauses out of 262028
725.03/710.08	c cleaning 131993 clauses out of 264022
735.65/720.52	c cleaning 132998 clauses out of 266029
748.37/733.14	c cleaning 134004 clauses out of 268033
762.09/746.50	c cleaning 134999 clauses out of 270028
775.20/759.45	c cleaning 135998 clauses out of 272028
786.78/770.72	c cleaning 137001 clauses out of 274031
797.21/781.13	c cleaning 138000 clauses out of 276030
807.18/791.06	c cleaning 138999 clauses out of 278029
820.52/804.37	c cleaning 139997 clauses out of 280030
831.45/815.13	c cleaning 141004 clauses out of 282034
843.67/827.23	c cleaning 142001 clauses out of 284029
854.74/838.03	c cleaning 143005 clauses out of 286028
866.82/850.01	c cleaning 144000 clauses out of 288024
881.88/864.79	c cleaning 145004 clauses out of 290023
897.29/879.83	c cleaning 145998 clauses out of 292020
912.92/895.16	c cleaning 146990 clauses out of 294022
927.00/909.10	c cleaning 148002 clauses out of 296032
944.03/926.01	c cleaning 148997 clauses out of 298029
958.95/940.80	c cleaning 150000 clauses out of 300032
970.70/952.28	c cleaning 150999 clauses out of 302032
987.05/968.36	c cleaning 152004 clauses out of 304034
1002.77/983.78	c cleaning 153002 clauses out of 306030
1020.40/1001.04	c cleaning 153996 clauses out of 308027
1037.09/1017.40	c cleaning 154997 clauses out of 310031
1052.27/1032.37	c cleaning 156004 clauses out of 312036
1067.87/1047.72	c cleaning 157001 clauses out of 314030
1082.91/1062.46	c cleaning 158002 clauses out of 316029
1101.57/1080.86	c cleaning 158995 clauses out of 318027
1121.93/1100.90	c cleaning 160000 clauses out of 320032
1140.82/1119.54	c cleaning 161000 clauses out of 322032
1158.47/1136.96	c cleaning 162002 clauses out of 324034
1172.00/1150.23	c cleaning 163001 clauses out of 326031
1189.06/1167.07	c cleaning 164004 clauses out of 328030
1203.75/1181.53	c cleaning 164996 clauses out of 330026
1221.18/1198.74	c cleaning 166002 clauses out of 332030
1239.84/1217.21	c cleaning 167003 clauses out of 334027
1258.90/1235.93	c cleaning 167998 clauses out of 336025
1276.06/1252.86	c cleaning 168998 clauses out of 338026
1291.20/1267.74	c cleaning 169996 clauses out of 340028
1308.58/1284.86	c cleaning 171002 clauses out of 342032
1323.41/1299.41	c cleaning 172005 clauses out of 344030
1337.82/1313.54	c cleaning 173005 clauses out of 346026
1351.71/1327.13	c cleaning 173998 clauses out of 348020
1366.72/1341.94	c cleaning 175000 clauses out of 350022
1384.97/1359.10	c cleaning 176002 clauses out of 352022
1401.92/1375.90	c cleaning 176996 clauses out of 354020
1424.03/1397.81	c cleaning 177995 clauses out of 356025
1443.39/1416.79	c cleaning 179009 clauses out of 358029
1467.58/1440.50	c cleaning 180000 clauses out of 360021
1488.63/1461.20	c cleaning 181001 clauses out of 362021
1508.99/1481.20	c cleaning 181998 clauses out of 364020
1530.70/1502.73	c cleaning 182999 clauses out of 366022
1552.02/1523.61	c cleaning 183999 clauses out of 368023
1568.65/1539.96	c cleaning 185005 clauses out of 370024
1591.00/1562.01	c cleaning 186003 clauses out of 372018
1616.11/1586.76	c cleaning 186997 clauses out of 374015
1638.83/1609.04	c cleaning 187995 clauses out of 376019
1663.90/1633.78	c cleaning 189002 clauses out of 378024
1686.39/1656.14	c cleaning 190005 clauses out of 380022
1709.43/1679.07	c cleaning 190998 clauses out of 382017
1732.04/1701.42	c cleaning 191999 clauses out of 384019
1752.21/1721.23	c cleaning 192996 clauses out of 386020
1769.41/1737.99	c cleaning 194001 clauses out of 388024
1792.11/1760.45	c cleaning 195002 clauses out of 390022
1814.92/1783.05	c cleaning 196000 clauses out of 392020
1837.78/1805.41	c cleaning 196998 clauses out of 394021
1859.53/1826.75	c cleaning 198002 clauses out of 396022
1881.07/1847.93	c cleaning 198998 clauses out of 398020
1897.89/1864.49	c cleaning 199995 clauses out of 400023
1918.32/1884.54	c cleaning 200999 clauses out of 402027
1936.87/1903.02	c cleaning 202000 clauses out of 404029
1960.29/1926.35	c cleaning 202997 clauses out of 406029
1982.88/1948.81	c cleaning 204004 clauses out of 408031
2005.58/1971.32	c cleaning 204996 clauses out of 410027
2028.32/1992.76	c cleaning 206001 clauses out of 412031
2047.60/2011.99	c cleaning 206999 clauses out of 414031
2069.57/2032.78	c cleaning 208000 clauses out of 416031
2090.83/2053.86	c cleaning 209001 clauses out of 418031
2114.54/2075.35	c cleaning 210001 clauses out of 420030
2140.62/2099.68	c cleaning 211001 clauses out of 422030
2163.20/2119.86	c cleaning 211997 clauses out of 424028
2186.22/2140.10	c cleaning 213000 clauses out of 426032
2207.66/2159.47	c cleaning 214005 clauses out of 428032
2232.76/2182.78	c cleaning 214997 clauses out of 430027
2259.58/2209.29	c cleaning 215993 clauses out of 432029
2280.68/2229.82	c cleaning 217007 clauses out of 434036
2303.97/2252.83	c cleaning 218000 clauses out of 436029
2322.84/2271.30	c cleaning 218999 clauses out of 438030
2351.27/2299.46	c cleaning 219999 clauses out of 440030
2379.10/2326.92	c cleaning 221004 clauses out of 442031
2403.09/2350.47	c cleaning 222001 clauses out of 444028
2434.85/2381.73	c cleaning 223005 clauses out of 446027
2459.89/2406.22	c cleaning 223998 clauses out of 448022
2487.73/2433.66	c cleaning 225004 clauses out of 450023
2512.68/2458.07	c cleaning 225997 clauses out of 452020
2537.18/2482.25	c cleaning 227005 clauses out of 454022
2564.16/2508.77	c cleaning 227997 clauses out of 456017
2597.34/2541.68	c cleaning 228998 clauses out of 458022
2627.53/2571.33	c cleaning 229997 clauses out of 460023
2661.28/2604.78	c cleaning 231004 clauses out of 462026
2695.51/2638.44	c cleaning 231995 clauses out of 464021
2726.73/2668.06	c cleaning 233003 clauses out of 466026
2754.85/2696.06	c cleaning 233996 clauses out of 468023
2782.09/2723.27	c cleaning 235005 clauses out of 470027
2810.02/2750.87	c cleaning 236004 clauses out of 472022
2839.39/2780.00	c cleaning 237000 clauses out of 474018
2868.63/2808.86	c cleaning 237995 clauses out of 476018
2901.64/2841.44	c cleaning 239004 clauses out of 478023
2937.28/2876.62	c cleaning 240001 clauses out of 480019
2966.78/2905.78	c cleaning 241002 clauses out of 482018
2996.50/2934.93	c cleaning 241996 clauses out of 484016
3024.00/2961.12	c cleaning 243002 clauses out of 486020
3057.03/2992.19	c cleaning 244000 clauses out of 488018
3084.28/3014.89	c cleaning 244987 clauses out of 490018
3121.57/3049.42	c cleaning 245995 clauses out of 492031
3155.77/3079.38	c cleaning 246995 clauses out of 494036
3187.60/3108.48	c cleaning 248003 clauses out of 496042
3219.31/3137.34	c cleaning 249003 clauses out of 498039
3251.17/3165.87	c cleaning 249997 clauses out of 500035
3280.62/3192.13	c cleaning 251004 clauses out of 502039
3305.60/3213.53	c cleaning 251996 clauses out of 504034
3337.43/3242.96	c cleaning 252999 clauses out of 506039
3369.18/3272.04	c cleaning 253996 clauses out of 508040
3398.27/3298.55	c cleaning 255001 clauses out of 510044
3432.27/3330.12	c cleaning 256004 clauses out of 512042
3460.08/3357.62	c cleaning 257004 clauses out of 514039
3488.48/3385.64	c cleaning 258001 clauses out of 516035
3521.00/3417.98	c cleaning 258997 clauses out of 518033
3549.78/3446.13	c cleaning 260006 clauses out of 520037
3570.99/3467.08	c cleaning 261004 clauses out of 522031
3597.33/3493.10	c cleaning 262004 clauses out of 524027
3600.02/3495.72	c timeout
3600.02/3495.74	c starts		: 398
3600.02/3495.76	c conflicts		: 34741928
3600.02/3495.76	c decisions		: 41200658
3600.02/3495.76	c propagations		: 431645839
3600.02/3495.76	c inspects		: 18588867501
3600.02/3495.76	c shortcuts		: 0
3600.02/3495.76	c learnt literals	: 0
3600.02/3495.76	c learnt binary clauses	: 0
3600.02/3495.76	c learnt ternary clauses	: 419
3600.02/3495.76	c learnt constraints	: 34741927
3600.02/3495.76	c ignored constraints	: 0
3600.02/3495.76	c root simplifications	: 0
3600.02/3495.76	c removed literals (reason simplification)	: 0
3600.02/3495.76	c reason swapping (by a shorter reason)	: 0
3600.02/3495.76	c Calls to reduceDB	: 259
3600.02/3495.76	c Number of update (reduction) of LBD	: 0
3600.02/3495.76	c Imported unit clauses	: 0
3600.02/3495.77	c No decision after first conflict	: false
3600.02/3495.77	c number of reductions to clauses (during analyze)	: 0
3600.02/3495.77	c number of learned constraints concerned by reduction	: 0
3600.02/3495.77	c number of learning phase by resolution	: 0
3600.02/3495.77	c number of learning phase by cutting planes	: 0
3600.02/3495.77	c number of rounding to 1 operations	: 0
3600.02/3495.77	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3495.77	c number of reductions of the coefficients by power 2 	: 0
3600.02/3495.77	c number of right shift for reduction by power 2 	: 0
3600.02/3495.77	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3495.77	c number of ending skipping 	: 0
3600.02/3495.77	c number of internal skipping 	: 0
3600.02/3495.77	c number of derivation steps 	: 379285969
3600.02/3495.77	c number of skipped derivation steps 	: 0
3600.02/3495.77	c number of remaining unassigned 	: 0
3600.02/3495.77	c number of remaining assigned 	: 0
3600.02/3495.77	c number of falsified literals weakened from reason	: 0
3600.02/3495.77	c number of falsified literals weakened from conflict	: 0
3600.02/3495.77	c time for arithmetic operations	: 0
3600.02/3495.77	c minimum degree of deleted constraints	: null
3600.02/3495.77	c maximum degree of deleted constraints	: null
3600.02/3495.77	c number of deleted constraints	: 0
3600.02/3495.78	c speed (assignments/second)	: 123497.52687845941
3600.02/3495.78	c non guided choices	: 77281
3600.27/3495.90	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 297949
3600.27/3495.91	s UNKNOWN
3600.27/3495.91	c Total wall clock time (in seconds): 3495.464

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: 63794 MiB (63211 MiB free)
  memory of node 1: 64507 MiB (64048 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510046-1751202826/watcher-4510046-1751202826 -o /tmp/evaluation-result-4510046-1751202826/solver-4510046-1751202826 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751202826-24719 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4510046-1751202826.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=24775, runsolver pid=24759

[startup+0.10007 s]*
/proc/loadavg: 0.82 1.53 2.58 12/321 24844
/proc/meminfo: memFree=130243188/131382112 swapFree=33010684/33010684
[pid=24775] ppid=24759 vsize=18930344 memory=45792 CPUtime=0.09 cores=5,7
/proc/24775/stat : 24775 (java) S 24759 24775 24706 0 -1 4194304 5421 0 47 0 6 3 0 0 20 0 18 0 35961552 19384672256 11448 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
/proc/24775/statm: 4732586 11448 4965 1 0 546721 0
[pid=24775/tid=24788] ppid=24759 vsize=18930344 memory=4026531960 CPUtime=0.06 cores=5,7
/proc/24775/task/24788/stat : 24788 (java) R 24759 24775 24706 0 -1 4194368 4527 0 47 0 4 2 0 0 20 0 18 0 35961555 19384672256 11448 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24828] ppid=24759 vsize=18930344 memory=228522721619 CPUtime=0 cores=5,7
/proc/24775/task/24828/stat : 24828 (Finalizer) S 24759 24775 24706 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35961560 19384672256 11448 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24843] ppid=24759 vsize=18930344 memory=61792617516369 CPUtime=0 cores=5,7
/proc/24775/task/24843/stat : 24843 (Common-Cleaner) S 24759 24775 24706 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 35961561 19384672256 11448 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930344 KiB
Current children cumulated memory: 45792 KiB

[startup+0.214454 s]*
/proc/loadavg: 0.82 1.53 2.58 10/321 24844
/proc/meminfo: memFree=130229388/131382112 swapFree=33010684/33010684
[pid=24775] ppid=24759 vsize=18930384 memory=51748 CPUtime=0.26 cores=5,7
/proc/24775/stat : 24775 (java) S 24759 24775 24706 0 -1 4194304 6082 0 47 0 22 4 0 0 20 0 18 0 35961552 19384713216 12937 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
/proc/24775/statm: 4732596 12937 5317 1 0 547234 0
[pid=24775/tid=24788] ppid=24759 vsize=18930384 memory=4026597660 CPUtime=0.16 cores=5,7
/proc/24775/task/24788/stat : 24788 (java) R 24759 24775 24706 0 -1 4194368 4918 0 47 0 14 2 0 0 20 0 18 0 35961555 19384713216 12937 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24828] ppid=24759 vsize=18930384 memory=1593 CPUtime=0 cores=5,7
/proc/24775/task/24828/stat : 24828 (Finalizer) S 24759 24775 24706 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35961560 19384713216 12937 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24843] ppid=24759 vsize=18930384 memory=60693105869820 CPUtime=0 cores=5,7
/proc/24775/task/24843/stat : 24843 (Common-Cleaner) S 24759 24775 24706 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 35961561 19384713216 12937 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51748 KiB

[startup+0.314659 s]*
/proc/loadavg: 0.82 1.53 2.58 10/321 24844
/proc/meminfo: memFree=130212452/131382112 swapFree=33010684/33010684
[pid=24775] ppid=24759 vsize=18930384 memory=58112 CPUtime=0.42 cores=5,7
/proc/24775/stat : 24775 (java) S 24759 24775 24706 0 -1 4194304 6615 0 47 0 37 5 0 0 20 0 18 0 35961552 19384713216 14528 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
/proc/24775/statm: 4732596 14528 5349 1 0 547693 0
[pid=24775/tid=24788] ppid=24759 vsize=18930384 memory=-6000919468411414637 CPUtime=0.25 cores=5,7
/proc/24775/task/24788/stat : 24788 (java) R 24759 24775 24706 0 -1 4194368 5092 0 47 0 22 3 0 0 20 0 18 0 35961555 19384713216 14528 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24828] ppid=24759 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/24775/task/24828/stat : 24828 (Finalizer) S 24759 24775 24706 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35961560 19384713216 14528 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24843] ppid=24759 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/24775/task/24843/stat : 24843 (Common-Cleaner) S 24759 24775 24706 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 35961561 19384713216 14528 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58112 KiB

[startup+0.700362 s]
/proc/loadavg: 0.82 1.53 2.58 14/321 24844
/proc/meminfo: memFree=130201804/131382112 swapFree=33010684/33010684
[pid=24775] ppid=24759 vsize=18996948 memory=67032 CPUtime=1.11 cores=5,7
/proc/24775/stat : 24775 (java) S 24759 24775 24706 0 -1 4194304 7272 0 47 0 104 7 0 0 20 0 19 0 35961552 19452874752 16758 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
/proc/24775/statm: 4749237 16758 5413 1 0 548354 0
[pid=24775/tid=24788] ppid=24759 vsize=18996948 memory=17152 CPUtime=0.55 cores=5,7
/proc/24775/task/24788/stat : 24788 (java) R 24759 24775 24706 0 -1 4194368 5372 0 47 0 51 4 0 0 20 0 19 0 35961555 19452874752 16758 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24828] ppid=24759 vsize=18996948 memory=11264 CPUtime=0 cores=5,7
/proc/24775/task/24828/stat : 24828 (Finalizer) S 24759 24775 24706 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35961560 19452874752 16758 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24843] ppid=24759 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/24775/task/24843/stat : 24843 (Common-Cleaner) S 24759 24775 24706 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35961561 19452874752 16758 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 67032 KiB

[startup+1.50026 s]
/proc/loadavg: 0.82 1.53 2.58 12/325 24848
/proc/meminfo: memFree=129989764/131382112 swapFree=33010684/33010684
[pid=24775] ppid=24759 vsize=19063512 memory=164804 CPUtime=2.68 cores=5,7
/proc/24775/stat : 24775 (java) S 24759 24775 24706 0 -1 4194304 15884 0 47 0 257 11 0 0 20 0 20 0 35961552 19521036288 41201 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
/proc/24775/statm: 4765878 41201 5477 1 0 551736 0
[pid=24775/tid=24788] ppid=24759 vsize=19063512 memory=3200 CPUtime=1.27 cores=5,7
/proc/24775/task/24788/stat : 24788 (java) R 24759 24775 24706 0 -1 4194368 6231 0 47 0 121 6 0 0 20 0 20 0 35961555 19521036288 41201 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24828] ppid=24759 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/24775/task/24828/stat : 24828 (Finalizer) S 24759 24775 24706 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35961560 19521036288 41201 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24843] ppid=24759 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/24775/task/24843/stat : 24843 (Common-Cleaner) S 24759 24775 24706 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 35961561 19521036288 41201 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24848] ppid=24759 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/24775/task/24848/stat : 24848 (Timer-0) S 24759 24775 24706 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35961612 19521036288 41201 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
Current children cumulated CPU time: 2.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 164804 KiB

[startup+3.10515 s]
/proc/loadavg: 1.48 1.65 2.61 7/329 24852
/proc/meminfo: memFree=127794672/131382112 swapFree=33010684/33010684
[pid=24775] ppid=24759 vsize=19063512 memory=727628 CPUtime=5.19 cores=5,7
/proc/24775/stat : 24775 (java) S 24759 24775 24706 0 -1 4194304 18317 0 47 0 494 25 0 0 20 0 20 0 35961552 19521036288 181907 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
/proc/24775/statm: 4765878 181907 5477 1 0 552009 0
[pid=24775/tid=24788] ppid=24759 vsize=19063512 memory=14720 CPUtime=2.83 cores=5,7
/proc/24775/task/24788/stat : 24788 (java) R 24759 24775 24706 0 -1 4194368 7129 0 47 0 264 19 0 0 20 0 20 0 35961555 19521036288 181907 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24828] ppid=24759 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/24775/task/24828/stat : 24828 (Finalizer) S 24759 24775 24706 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35961560 19521036288 181907 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24843] ppid=24759 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/24775/task/24843/stat : 24843 (Common-Cleaner) S 24759 24775 24706 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 35961561 19521036288 181907 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24848] ppid=24759 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/24775/task/24848/stat : 24848 (Timer-0) S 24759 24775 24706 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35961612 19521036288 181907 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
Current children cumulated CPU time: 5.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 727628 KiB

[startup+6.30032 s]
/proc/loadavg: 1.48 1.65 2.61 7/329 24852
/proc/meminfo: memFree=125296928/131382112 swapFree=33010684/33010684
[pid=24775] ppid=24759 vsize=19063512 memory=1309396 CPUtime=8.56 cores=5,7
/proc/24775/stat : 24775 (java) S 24759 24775 24706 0 -1 4194304 18786 0 47 0 817 39 0 0 20 0 20 0 35961552 19521036288 327349 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
/proc/24775/statm: 4765878 327349 5477 1 0 552027 0
[pid=24775/tid=24788] ppid=24759 vsize=19063512 memory=0 CPUtime=5.95 cores=5,7
/proc/24775/task/24788/stat : 24788 (java) R 24759 24775 24706 0 -1 4194368 7508 0 47 0 562 33 0 0 20 0 20 0 35961555 19521036288 327349 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24828] ppid=24759 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/24775/task/24828/stat : 24828 (Finalizer) S 24759 24775 24706 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35961560 19521036288 327349 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24843] ppid=24759 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/24775/task/24843/stat : 24843 (Common-Cleaner) S 24759 24775 24706 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 35961561 19521036288 327349 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24848] ppid=24759 vsize=19063512 memory=164804 CPUtime=0 cores=5,7
/proc/24775/task/24848/stat : 24848 (Timer-0) S 24759 24775 24706 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35961612 19521036288 327349 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
Current children cumulated CPU time: 8.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1309396 KiB

[startup+12.7004 s]
/proc/loadavg: 1.87 1.73 2.63 7/329 24852
/proc/meminfo: memFree=124770704/131382112 swapFree=33010684/33010684
[pid=24775] ppid=24759 vsize=19063512 memory=1629892 CPUtime=15 cores=5,7
/proc/24775/stat : 24775 (java) S 24759 24775 24706 0 -1 4194304 20456 0 47 0 1454 46 0 0 20 0 20 0 35961552 19521036288 407473 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
/proc/24775/statm: 4765878 407473 5477 1 0 658543 0
[pid=24775/tid=24788] ppid=24759 vsize=19063512 memory=164804 CPUtime=12.17 cores=5,7
/proc/24775/task/24788/stat : 24788 (java) R 24759 24775 24706 0 -1 4194368 8381 0 47 0 1178 39 0 0 20 0 20 0 35961555 19521036288 407473 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24828] ppid=24759 vsize=19063512 memory=1313516 CPUtime=0 cores=5,7
/proc/24775/task/24828/stat : 24828 (Finalizer) S 24759 24775 24706 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35961560 19521036288 407473 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24843] ppid=24759 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/24775/task/24843/stat : 24843 (Common-Cleaner) S 24759 24775 24706 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 35961561 19521036288 407473 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24848] ppid=24759 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/24775/task/24848/stat : 24848 (Timer-0) S 24759 24775 24706 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35961612 19521036288 407473 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
Current children cumulated CPU time: 15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1629892 KiB

[startup+25.5004 s]
/proc/loadavg: 2.27 1.82 2.65 8/329 24853
/proc/meminfo: memFree=122486500/131382112 swapFree=33010684/33010684
[pid=24775] ppid=24759 vsize=19063512 memory=2235304 CPUtime=27.75 cores=5,7
/proc/24775/stat : 24775 (java) S 24759 24775 24706 0 -1 4194304 23660 0 47 0 2716 59 0 0 20 0 20 0 35961552 19521036288 558826 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
/proc/24775/statm: 4765878 558826 5477 1 0 785977 0
[pid=24775/tid=24788] ppid=24759 vsize=19063512 memory=1313516 CPUtime=24.5 cores=5,7
/proc/24775/task/24788/stat : 24788 (java) R 24759 24775 24706 0 -1 4194368 10172 0 47 0 2399 51 0 0 20 0 20 0 35961555 19521036288 558826 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24828] ppid=24759 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/24775/task/24828/stat : 24828 (Finalizer) S 24759 24775 24706 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35961560 19521036288 558826 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24843] ppid=24759 vsize=19063512 memory=1732292 CPUtime=0 cores=5,7
/proc/24775/task/24843/stat : 24843 (Common-Cleaner) S 24759 24775 24706 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 35961561 19521036288 558826 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24848] ppid=24759 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/24775/task/24848/stat : 24848 (Timer-0) S 24759 24775 24706 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35961612 19521036288 558826 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
Current children cumulated CPU time: 27.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2235304 KiB

[startup+51.1129 s]
/proc/loadavg: 2.93 2.01 2.69 7/329 24853
/proc/meminfo: memFree=120886044/131382112 swapFree=33010684/33010684
[pid=24775] ppid=24759 vsize=19063512 memory=2773380 CPUtime=53.36 cores=5,7
/proc/24775/stat : 24775 (java) S 24759 24775 24706 0 -1 4194304 27599 0 47 0 5265 71 0 0 20 0 20 0 35961552 19521036288 693345 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
/proc/24775/statm: 4765878 693345 5509 1 0 919670 0
[pid=24775/tid=24788] ppid=24759 vsize=19063512 memory=2769192 CPUtime=49.31 cores=5,7
/proc/24775/task/24788/stat : 24788 (java) R 24759 24775 24706 0 -1 4194368 12510 0 47 0 4870 61 0 0 20 0 20 0 35961555 19521036288 693345 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24828] ppid=24759 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/24775/task/24828/stat : 24828 (Finalizer) S 24759 24775 24706 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35961560 19521036288 693345 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24843] ppid=24759 vsize=19063512 memory=17152 CPUtime=0 cores=5,7
/proc/24775/task/24843/stat : 24843 (Common-Cleaner) S 24759 24775 24706 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 35961561 19521036288 693345 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0

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

Current children cumulated memory: 1885592 KiB

[startup+3222.3 s]
/proc/loadavg: 4.31 4.41 4.32 6/327 25336
/proc/meminfo: memFree=113016208/131382112 swapFree=33010684/33010684
[pid=24775] ppid=24759 vsize=19063512 memory=3335776 CPUtime=3314.59 cores=5,7
/proc/24775/stat : 24775 (java) S 24759 24775 24706 0 -1 4194304 249286 0 47 0 330548 911 0 0 20 0 20 0 35961552 19521036288 833944 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
/proc/24775/statm: 4765878 833944 5541 1 0 852305 0
[pid=24775/tid=24788] ppid=24759 vsize=19063512 memory=0 CPUtime=3127.84 cores=5,7
/proc/24775/task/24788/stat : 24788 (java) R 24759 24775 24706 0 -1 4194368 115015 0 47 0 312222 562 0 0 20 0 20 0 35961555 19521036288 833944 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24828] ppid=24759 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/24775/task/24828/stat : 24828 (Finalizer) S 24759 24775 24706 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35961560 19521036288 833944 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24843] ppid=24759 vsize=19063512 memory=1860536 CPUtime=0 cores=5,7
/proc/24775/task/24843/stat : 24843 (Common-Cleaner) S 24759 24775 24706 0 -1 4194368 1722 0 0 0 0 0 0 0 20 0 20 0 35961561 19521036288 833944 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24848] ppid=24759 vsize=19063512 memory=1860536 CPUtime=0 cores=5,7
/proc/24775/task/24848/stat : 24848 (Timer-0) S 24759 24775 24706 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35961612 19521036288 833944 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
Current children cumulated CPU time: 3314.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3335776 KiB

[startup+3282.3 s]
/proc/loadavg: 4.22 4.36 4.31 6/327 25338
/proc/meminfo: memFree=114381056/131382112 swapFree=33010684/33010684
[pid=24775] ppid=24759 vsize=19063512 memory=1968944 CPUtime=3380.69 cores=5,7
/proc/24775/stat : 24775 (java) S 24759 24775 24706 0 -1 4194304 253481 0 47 0 337100 969 0 0 20 0 20 0 35961552 19521036288 492236 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
/proc/24775/statm: 4765878 492236 5541 1 0 503609 0
[pid=24775/tid=24788] ppid=24759 vsize=19063512 memory=1943984 CPUtime=3186.3 cores=5,7
/proc/24775/task/24788/stat : 24788 (java) R 24759 24775 24706 0 -1 4194368 116429 0 47 0 318024 606 0 0 20 0 20 0 35961555 19521036288 492236 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24828] ppid=24759 vsize=19063512 memory=3333728 CPUtime=0 cores=5,7
/proc/24775/task/24828/stat : 24828 (Finalizer) S 24759 24775 24706 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35961560 19521036288 492236 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24843] ppid=24759 vsize=19063512 memory=17152 CPUtime=0 cores=5,7
/proc/24775/task/24843/stat : 24843 (Common-Cleaner) S 24759 24775 24706 0 -1 4194368 1723 0 0 0 0 0 0 0 20 0 20 0 35961561 19521036288 492236 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24848] ppid=24759 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/24775/task/24848/stat : 24848 (Timer-0) S 24759 24775 24706 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35961612 19521036288 492236 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
Current children cumulated CPU time: 3380.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1968944 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.33 4.30 6/327 25344
/proc/meminfo: memFree=112806156/131382112 swapFree=33010684/33010684
[pid=24775] ppid=24759 vsize=19063512 memory=3550848 CPUtime=3444.59 cores=5,7
/proc/24775/stat : 24775 (java) S 24759 24775 24706 0 -1 4194304 256699 0 47 0 343430 1029 0 0 20 0 20 0 35961552 19521036288 887712 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
/proc/24775/statm: 4765878 887712 5541 1 0 906593 0
[pid=24775/tid=24788] ppid=24759 vsize=19063512 memory=14720 CPUtime=3244.75 cores=5,7
/proc/24775/task/24788/stat : 24788 (java) R 24759 24775 24706 0 -1 4194368 118335 0 47 0 323821 654 0 0 20 0 20 0 35961555 19521036288 887712 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24828] ppid=24759 vsize=19063512 memory=3491456 CPUtime=0 cores=5,7
/proc/24775/task/24828/stat : 24828 (Finalizer) S 24759 24775 24706 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35961560 19521036288 887712 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24843] ppid=24759 vsize=19063512 memory=3491456 CPUtime=0 cores=5,7
/proc/24775/task/24843/stat : 24843 (Common-Cleaner) S 24759 24775 24706 0 -1 4194368 1723 0 0 0 0 0 0 0 20 0 20 0 35961561 19521036288 887712 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24848] ppid=24759 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/24775/task/24848/stat : 24848 (Timer-0) S 24759 24775 24706 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35961612 19521036288 887712 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
Current children cumulated CPU time: 3444.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3550848 KiB

[startup+3402.3 s]
/proc/loadavg: 4.37 4.34 4.30 6/327 25346
/proc/meminfo: memFree=112796544/131382112 swapFree=33010684/33010684
[pid=24775] ppid=24759 vsize=19063512 memory=3550848 CPUtime=3505.32 cores=5,7
/proc/24775/stat : 24775 (java) S 24759 24775 24706 0 -1 4194304 257889 0 47 0 349499 1033 0 0 20 0 20 0 35961552 19521036288 887712 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
/proc/24775/statm: 4765878 887712 5541 1 0 906593 0
[pid=24775/tid=24788] ppid=24759 vsize=19063512 memory=14720 CPUtime=3303.42 cores=5,7
/proc/24775/task/24788/stat : 24788 (java) R 24759 24775 24706 0 -1 4194368 119287 0 47 0 329688 654 0 0 20 0 20 0 35961555 19521036288 887712 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24828] ppid=24759 vsize=19063512 memory=3491456 CPUtime=0 cores=5,7
/proc/24775/task/24828/stat : 24828 (Finalizer) S 24759 24775 24706 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35961560 19521036288 887712 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24843] ppid=24759 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/24775/task/24843/stat : 24843 (Common-Cleaner) S 24759 24775 24706 0 -1 4194368 1723 0 0 0 0 0 0 0 20 0 20 0 35961561 19521036288 887712 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24848] ppid=24759 vsize=19063512 memory=3550848 CPUtime=0 cores=5,7
/proc/24775/task/24848/stat : 24848 (Timer-0) S 24759 24775 24706 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35961612 19521036288 887712 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
Current children cumulated CPU time: 3505.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3550848 KiB

[startup+3462.3 s]
/proc/loadavg: 4.30 4.33 4.30 6/326 25348
/proc/meminfo: memFree=112783324/131382112 swapFree=33010684/33010684
[pid=24775] ppid=24759 vsize=19063512 memory=3551872 CPUtime=3566.29 cores=5,7
/proc/24775/stat : 24775 (java) S 24759 24775 24706 0 -1 4194304 259199 0 47 0 355590 1039 0 0 20 0 20 0 35961552 19521036288 887968 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
/proc/24775/statm: 4765878 887968 5541 1 0 1033976 0
[pid=24775/tid=24788] ppid=24759 vsize=19063512 memory=14720 CPUtime=3361.98 cores=5,7
/proc/24775/task/24788/stat : 24788 (java) R 24759 24775 24706 0 -1 4194368 120159 0 47 0 335543 655 0 0 20 0 20 0 35961555 19521036288 887968 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24828] ppid=24759 vsize=19063512 memory=3491456 CPUtime=0 cores=5,7
/proc/24775/task/24828/stat : 24828 (Finalizer) S 24759 24775 24706 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35961560 19521036288 887968 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24843] ppid=24759 vsize=19063512 memory=3550848 CPUtime=0 cores=5,7
/proc/24775/task/24843/stat : 24843 (Common-Cleaner) S 24759 24775 24706 0 -1 4194368 1745 0 0 0 0 0 0 0 20 0 20 0 35961561 19521036288 887968 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24848] ppid=24759 vsize=19063512 memory=3550848 CPUtime=0 cores=5,7
/proc/24775/task/24848/stat : 24848 (Timer-0) S 24759 24775 24706 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35961612 19521036288 887968 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
Current children cumulated CPU time: 3566.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3551872 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3495.7 s]
/proc/loadavg: 4.35 4.34 4.30 6/326 25348
/proc/meminfo: memFree=112275436/131382112 swapFree=33010684/33010684
[pid=24775] ppid=24759 vsize=19063512 memory=4051596 CPUtime=3600.02 cores=5,7
/proc/24775/stat : 24775 (java) S 24759 24775 24706 0 -1 4194304 260530 0 47 0 358952 1050 0 0 20 0 20 0 35961552 19521036288 1012899 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
/proc/24775/statm: 4765878 1012899 5541 1 0 1033976 0
[pid=24775/tid=24788] ppid=24759 vsize=19063512 memory=3550848 CPUtime=3394.71 cores=5,7
/proc/24775/task/24788/stat : 24788 (java) R 24759 24775 24706 0 -1 4194368 121313 0 47 0 338806 665 0 0 20 0 20 0 35961555 19521036288 1012899 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24828] ppid=24759 vsize=19063512 memory=3592844 CPUtime=0 cores=5,7
/proc/24775/task/24828/stat : 24828 (Finalizer) S 24759 24775 24706 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35961560 19521036288 1012899 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24843] ppid=24759 vsize=19063512 memory=4051596 CPUtime=0 cores=5,7
/proc/24775/task/24843/stat : 24843 (Common-Cleaner) S 24759 24775 24706 0 -1 4194368 1745 0 0 0 0 0 0 0 20 0 20 0 35961561 19521036288 1012899 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24848] ppid=24759 vsize=19063512 memory=4051596 CPUtime=0 cores=5,7
/proc/24775/task/24848/stat : 24848 (Timer-0) S 24759 24775 24706 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35961612 19521036288 1012899 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4051596 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.79 s, system=10.5319 s

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

[startup+3495.8 s]
/proc/loadavg: 4.35 4.34 4.30 6/326 25348
/proc/meminfo: memFree=112275436/131382112 swapFree=33010684/33010684
[pid=24775] ppid=24759 vsize=19263204 memory=4052236 CPUtime=3600.17 cores=5,7
/proc/24775/stat : 24775 (java) S 24759 24775 24706 0 -1 4194304 262374 0 47 0 358966 1051 0 0 20 0 21 0 35961552 19725520896 1013059 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
/proc/24775/statm: 4815801 1013059 5541 1 0 1034896 0
[pid=24775/tid=24788] ppid=24759 vsize=19263204 memory=11264 CPUtime=3394.73 cores=5,7
/proc/24775/task/24788/stat : 24788 (java) S 24759 24775 24706 0 -1 4194368 121567 0 47 0 338808 665 0 0 20 0 21 0 35961555 19725520896 1013059 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24828] ppid=24759 vsize=19263204 memory=5632 CPUtime=0 cores=5,7
/proc/24775/task/24828/stat : 24828 (Finalizer) S 24759 24775 24706 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 35961560 19725520896 1013059 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24843] ppid=24759 vsize=19263204 memory=-6000919468411414637 CPUtime=0 cores=5,7
/proc/24775/task/24843/stat : 24843 (Common-Cleaner) S 24759 24775 24706 0 -1 4194368 1745 0 0 0 0 0 0 0 20 0 21 0 35961561 19725520896 1013059 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4052236 KiB

[startup+3495.9 s]
/proc/loadavg: 4.35 4.34 4.30 6/326 25348
/proc/meminfo: memFree=112275436/131382112 swapFree=33010684/33010684
[pid=24775] ppid=24759 vsize=19263204 memory=4052236 CPUtime=3600.27 cores=5,7
/proc/24775/stat : 24775 (java) S 24759 24775 24706 0 -1 4194304 262390 0 47 0 358976 1051 0 0 20 0 21 0 35961552 19725520896 1013059 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
/proc/24775/statm: 4815801 1013059 5541 1 0 1034896 0
[pid=24775/tid=24788] ppid=24759 vsize=19263204 memory=3550848 CPUtime=3394.73 cores=5,7
/proc/24775/task/24788/stat : 24788 (java) S 24759 24775 24706 0 -1 4194368 121567 0 47 0 338808 665 0 0 20 0 21 0 35961555 19725520896 1013059 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24828] ppid=24759 vsize=19263204 memory=3592844 CPUtime=0 cores=5,7
/proc/24775/task/24828/stat : 24828 (Finalizer) S 24759 24775 24706 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 35961560 19725520896 1013059 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
[pid=24775/tid=24843] ppid=24759 vsize=19263204 memory=4051596 CPUtime=0 cores=5,7
/proc/24775/task/24843/stat : 24843 (Common-Cleaner) S 24759 24775 24706 0 -1 4194368 1745 0 0 0 0 0 0 0 20 0 21 0 35961561 19725520896 1013059 18446744073709551615 94762625019904 94762625023600 140728620313344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94762625031416 94762625032208 94762654793728 140728620321150 140728620321254 140728620321254 140728620326856 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4052236 KiB

Child status: 143

Real time (s): 3495.95
CPU time (s): 3600.32
CPU user time (s): 3589.79
CPU system time (s): 10.5319
CPU usage (%): 102.986
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 7951044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.79
system time used= 10.5319
maximum resident set size= 7951044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 262557
page faults= 47
swaps= 0
block input operations= 0
block output operations= 3816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 142822
involuntary context switches= 22521


# summary of solver processes directly reported to runsolver:
#   pid: 24775
#   total CPU time (s): 3600.32
#   total CPU user time (s): 3589.79
#   total CPU system time (s): 10.5319

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.068 second user time and 33.4484 second system time

The end

Launcher Data 

Begin job on nodeC001 at 2025-06-29 15:13:47
IDJOB=4510046
IDBENCH=159702
IDSOLVER=3361
FILE ID=nodeC001/4510046-1751202826
RUNJOBID= nodeC001-1751202826-24719
SLURM_JOB_ID= 9587614
Free space on /tmp= 433060 MiB

SOLVER NAME= Sat4j CP 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n232-d3-i1-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-4510046-1751202826/watcher-4510046-1751202826 -o /tmp/evaluation-result-4510046-1751202826/solver-4510046-1751202826 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751202826-24719 --watchdog 3760  java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4510046-1751202826.opb

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

MD5SUM BENCH= 3c4292db534e5ed9ac145103152ac845
RANDOM SEED=1386003332

nodeC001 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		: 1197.159
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.49
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.166
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.49
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.155
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.49
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.377
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.49
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.541
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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.150
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.49
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.171
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.49
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.177
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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        130312556 kB
MemAvailable:   129957208 kB
Buffers:            3280 kB
Cached:           453396 kB
SwapCached:            0 kB
Active:           313644 kB
Inactive:         208440 kB
Active(anon):      83368 kB
Inactive(anon):        0 kB
Active(file):     230276 kB
Inactive(file):   208440 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3284 kB
Writeback:             0 kB
AnonPages:         68508 kB
Mapped:           102232 kB
Shmem:             17960 kB
KReclaimable:      86068 kB
Slab:             166856 kB
SReclaimable:      86068 kB
SUnreclaim:        80788 kB
KernelStack:        3920 kB
PageTables:         2828 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     330560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149304 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:      195400 kB
DirectMap2M:     9144320 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433052 MiB
End job on nodeC001 at 2025-06-29 16:12:03