Trace number 4532051

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ls+pbsuma-log 0f876b3? (exit code) 3428.49 3450.8

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat35_4_11_4_mh_ic.opb
MD5SUMc58a3671c6a952d1c163a29e0b4e832b
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4035713
Best CPU time to get the best result obtained on this benchmark3600.24
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables126385
Total number of constraints286973
Number of constraints which are clauses201180
Number of constraints which are cardinality constraints (but not clauses)43
Number of constraints which are nor clauses,nor cardinality constraints85750
Minimum length of a constraint2
Maximum length of a constraint1820
Number of terms in the objective function 46445
Biggest coefficient in the objective function 160103007
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 42268455767
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 160103007
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 42268455767
Number of bits of the biggest sum of numbers36
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.02	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.02	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.02	c │      (c) 2025 Markus Anders                                    │
0.00/0.02	c └────────────────────────────────────────────────────────────────┘
0.00/0.02	c parse 'HOME/instance-4532051-1752684911.opb'
0.30/0.37	c 	read 12.67MB  (350.38ms)
0.30/0.37	c	 [cnf: #variables 126385 #clauses 286379 #duplicates 595 #arr 982485]
0.30/0.37	c output proof to 'PROOFDIR/proof-4532051-1752684911'
0.30/0.37	c 
0.30/0.37	c make graph and approximate orbits
0.77/0.86	c	 [group: #orbits ~= 42820] (493.30ms)
0.77/0.86	c 
0.77/0.86	c detect special group actions
0.77/0.86	c 	probe for Johnson action (limit=64)
0.77/0.86	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.87/0.91	c 	probe for row symmetry (limit=64, splits=16.78M)
0.87/0.92	c 	 found row 35x2, generating row predicate
0.87/0.93	c 	 found row 4x2, generating row predicate
0.87/0.94	c 	 (71.55ms)
0.87/0.94	c 
0.87/0.94	c detect symmetries on remainder
0.87/0.94	c 	[graph: #vertices 916904 #edges 2973250]
0.87/0.95	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
1.16/1.28	c 	 [group: #symmetries 1.78*10^1972 #generators 3018] (340.17ms)
1.16/1.28	c 
1.16/1.28	c optimize generators (opt_passes=64, conjugate_limit=256)
1.16/1.29	c 	ran it=0, +gens=14 
2.07/2.13	c 	con best_support=4, best_gens=2423, +gens=125
2.07/2.13	c 	(857.86ms)
2.07/2.13	c 
2.07/2.13	c finalize break order and special generators
2.07/2.14	c 
2.07/2.14	c add generic predicates (break_depth=20)
2.07/2.14	c 	added predicates for 3157 generators (1.36ms)
2.17/2.23	c 
2.17/2.23	c generation finished
2.17/2.23	c 	[sbp: #constraints 37145 #add_vars 11317]
2.17/2.24	c 
2.17/2.24	c write result to 'HOME/instance-4532051-1752684911.opb.pre'
2.17/2.27	c 	wrote 14.26MB (31.86ms)
2.17/2.27	c ------------------------------------------------------------------
2.17/2.27	c                 857.86ms 38.03% optimize_gens
2.17/2.27	c                 493.30ms 21.87% approx_orbits
2.17/2.27	c                 350.37ms 15.53% parse
2.17/2.27	c                 340.17ms 15.08% detect_generic
2.17/2.27	c                 102.09ms  4.53% other
2.17/2.27	c                  71.55ms  3.17% detect_special
2.17/2.27	c                  31.86ms  1.41% output
2.17/2.27	c                   6.97ms  0.31% finalize_order
2.17/2.27	c                   1.36ms  0.06% break_generic
2.17/2.27	c         ───────────────────────────────────────────────
2.17/2.27	c                2255.53ms   100% total
2.17/2.27	c ------------------------------------------------------------------
2.25/2.36	c RoundingSat 2
2.25/2.36	c branch pb25
2.25/2.36	c commit 0f876b3
4.33/4.47	c #variables 137702 #constraints 327052
4.33/4.47	c objective is ce32 
5.83/5.92	c initial watched  CF 32, 64, 128, Arb: 35 , 0 , 0 , 0
5.83/5.92	c initial counting CF 32, 64, 128, Arb: 81551 , 0 , 0 , 0
5.83/5.92	c bounds 499638767 >= -35 @ 3.13401
6.82/7.00	c bounds 497761693 >= -35 @ 4.1142
7.42/7.50	c bounds 467146253 >= -35 @ 4.60748
7.42/7.57	c bounds 467023942 >= -35 @ 4.67522
7.52/7.66	c bounds 466970691 >= -35 @ 4.75878
7.62/7.75	c bounds 466490776 >= -35 @ 4.84286
7.72/7.82	c bounds 466290551 >= -35 @ 4.90953
7.72/7.89	c bounds 466153713 >= -35 @ 4.97546
7.82/7.98	c bounds 465925310 >= -35 @ 5.06829
7.93/8.06	c bounds 465867162 >= -35 @ 5.13745
8.03/8.14	c bounds 464325104 >= -35 @ 5.21722
8.12/8.23	c bounds 464232793 >= -35 @ 5.30057
8.42/8.56	c bounds 173112307 >= -35 @ 5.62174
9.03/9.13	c bounds 173104908 >= -35 @ 6.18552
9.93/10.08	c bounds 71376113 >= -35 @ 7.12447
10.11/10.21	c bounds 70671693 >= -35 @ 7.24503
11.81/12.00	c bounds 69825348 >= -35 @ 8.99911
11.92/12.08	c bounds 68283290 >= -35 @ 9.07076
12.11/12.20	c bounds 68113653 >= -35 @ 9.19195
12.40/12.55	c bounds 68069266 >= -35 @ 9.53139
12.51/12.63	c bounds 68059567 >= -35 @ 9.60303
13.02/13.14	c bounds 68025564 >= -35 @ 10.0962
13.20/13.39	c bounds 67968736 >= -35 @ 10.3433
15.01/15.13	c bounds 67925209 >= -35 @ 12.0348
15.10/15.21	c bounds 67908434 >= -35 @ 12.1072
19.49/19.61	c bounds 67365337 >= -35 @ 16.387
19.59/19.73	c bounds 67308509 >= -35 @ 16.5073
20.00/20.18	c bounds 66380864 >= -35 @ 16.9426
20.08/20.26	c bounds 66364089 >= -35 @ 17.0154
20.29/20.46	c bounds 66129318 >= -35 @ 17.2121
20.38/20.60	c bounds 66092877 >= -35 @ 17.334
20.79/20.96	c bounds 65597227 >= -35 @ 17.6892
21.28/21.42	c bounds 65592007 >= -35 @ 18.1416
21.38/21.52	c bounds 65589121 >= -35 @ 18.2422
21.49/21.60	c bounds 65572014 >= -35 @ 18.3144
34.05/34.28	c #Conflicts:       1000 | #Constraints:     328086
34.05/34.28	c bounds 65434990 >= -35 @ 30.6887
38.14/38.30	c bounds 36827683 >= -35 @ 34.6045
39.63/39.85	c bounds 36229586 >= -35 @ 36.1079
39.73/39.96	c bounds 36170196 >= -35 @ 36.2097
39.85/40.07	c bounds 36150203 >= -35 @ 36.3175
40.13/40.30	c bounds 36062384 >= -35 @ 36.5436
41.52/41.72	c bounds 36057136 >= -35 @ 37.9349
43.12/43.36	c bounds 35994324 >= -35 @ 39.5326
45.32/45.58	c bounds 35987799 >= -35 @ 41.7077
46.02/46.28	c bounds 35954249 >= -35 @ 42.3988
46.12/46.38	c bounds 35951363 >= -35 @ 42.488
46.21/46.49	c bounds 35934256 >= -35 @ 42.5962
88.11/88.41	c #Conflicts:       2000 | #Constraints:     329098
88.11/88.41	c INPROCESSING
88.11/88.41	c GARBAGE COLLECT
88.11/88.41	c #Conflicts:       3000 | #Constraints:     328198
88.11/88.41	c bounds 35907324 >= -35 @ 83.5274
88.21/88.51	c bounds 35877814 >= -35 @ 83.6267
88.30/88.60	c bounds 35848625 >= -35 @ 83.7106
89.60/89.91	c #Conflicts:       4000 | #Constraints:     329201
89.60/89.91	c bounds 35345058 >= -35 @ 85.0012
89.60/90.00	c bounds 35253604 >= -35 @ 85.0871
90.60/90.95	c bounds 35181734 >= -35 @ 86.0171
92.00/92.35	c bounds 34879488 >= -35 @ 87.3755
92.09/92.43	c bounds 34814630 >= -35 @ 87.4627
93.70/94.04	c INPROCESSING
93.70/94.04	c GARBAGE COLLECT
93.70/94.04	c bounds 31322560 >= -35 @ 89.0397
93.80/94.11	c bounds 31238070 >= -35 @ 89.1162
94.19/94.52	c bounds 31092116 >= -35 @ 89.5114
94.19/94.59	c bounds 30898248 >= -35 @ 89.5844
94.30/94.67	c bounds 30851098 >= -35 @ 89.6587
94.99/95.30	c bounds 30756445 >= -35 @ 90.2754
96.89/97.22	c bounds 30591297 >= -35 @ 92.154
97.29/97.66	c bounds 30425120 >= -35 @ 92.5798
98.08/98.45	c bounds 30275048 >= -35 @ 93.3547
98.88/99.25	c bounds 30101671 >= -35 @ 94.1344
101.47/101.88	c bounds 29512264 >= -35 @ 96.7056
103.27/103.61	c bounds 29257408 >= -35 @ 98.3813
104.06/104.43	c bounds 29131663 >= -35 @ 99.1739
105.36/105.72	c bounds 29050567 >= -35 @ 100.441
107.76/108.13	c #Conflicts:       5000 | #Constraints:     328613
107.76/108.13	c bounds 28900616 >= -35 @ 102.806
109.45/109.84	c bounds 28851001 >= -35 @ 104.473
110.55/110.92	c bounds 27306493 >= -35 @ 105.533
110.66/111.03	c bounds 27285769 >= -35 @ 105.637
111.34/111.73	c bounds 27266641 >= -35 @ 106.316
112.24/112.65	c bounds 26834140 >= -35 @ 107.217
113.34/113.79	c bounds 26648177 >= -35 @ 108.321
115.04/115.48	c bounds 26642177 >= -35 @ 109.968
115.23/115.60	c bounds 26463777 >= -35 @ 110.086
115.54/116.01	c bounds 26360058 >= -35 @ 110.484
134.28/134.78	c #Conflicts:       6000 | #Constraints:     329623
134.28/134.78	c bounds 26126930 >= -35 @ 128.82
134.39/134.89	c bounds 26086357 >= -35 @ 128.919
134.49/134.99	c bounds 26009233 >= -35 @ 129.022
171.89/172.47	c INPROCESSING
171.89/172.47	c GARBAGE COLLECT
171.89/172.47	c #Conflicts:       7000 | #Constraints:     328319
171.89/172.47	c #Conflicts:       8000 | #Constraints:     329319
171.89/172.47	c bounds 25547432 >= -35 @ 165.649
172.08/172.67	c bounds 25489858 >= -35 @ 165.853
172.18/172.77	c bounds 25441602 >= -35 @ 165.945
172.28/172.87	c bounds 25400655 >= -35 @ 166.04
172.50/173.09	c bounds 25378272 >= -35 @ 166.263
172.68/173.21	c bounds 25372248 >= -35 @ 166.373
173.28/173.86	c bounds 23526774 >= -35 @ 167.008
173.38/173.99	c bounds 23492549 >= -35 @ 167.133
173.88/174.48	c bounds 23429740 >= -35 @ 167.629
174.49/175.07	c bounds 23346912 >= -35 @ 168.2
179.36/179.98	c bounds 22303205 >= -35 @ 173.003
228.93/229.65	c #Conflicts:       9000 | #Constraints:     330330
228.93/229.65	c INPROCESSING
228.93/229.65	c GARBAGE COLLECT
228.93/229.65	c #Conflicts:      10000 | #Constraints:     328918
228.93/229.65	c bounds 22274186 >= -35 @ 221.627
274.22/275.09	c #Conflicts:      11000 | #Constraints:     329919
274.22/275.09	c #Conflicts:      12000 | #Constraints:     330919
274.22/275.09	c INPROCESSING
274.22/275.09	c GARBAGE COLLECT
274.22/275.09	c bounds 22160191 >= -35 @ 265.954
274.70/275.59	c bounds 22153039 >= -35 @ 266.442
274.90/275.70	c bounds 22120278 >= -35 @ 266.553
275.00/275.84	c bounds 18011141 >= -35 @ 266.682
275.10/275.97	c bounds 17988703 >= -35 @ 266.812
275.21/276.05	c bounds 17983663 >= -35 @ 266.89
279.79/280.69	c bounds 17875597 >= -35 @ 271.417
282.67/283.58	c bounds 17854474 >= -35 @ 274.242
286.67/287.52	c bounds 17849504 >= -35 @ 278.081
298.63/299.50	c #Conflicts:      13000 | #Constraints:     329372
298.63/299.50	c bounds 17815585 >= -35 @ 289.794
415.21/416.44	c #Conflicts:      14000 | #Constraints:     330373
415.21/416.44	c #Conflicts:      15000 | #Constraints:     331373
415.21/416.44	c INPROCESSING
415.21/416.44	c GARBAGE COLLECT
415.21/416.44	c #Conflicts:      16000 | #Constraints:     329417
415.21/416.44	c #Conflicts:      17000 | #Constraints:     330417
415.21/416.44	c #Conflicts:      18000 | #Constraints:     331417
415.21/416.44	c INPROCESSING
415.21/416.44	c GARBAGE COLLECT
415.21/416.44	c bounds 17677096 >= -35 @ 403.849
417.20/418.47	c bounds 17649552 >= -35 @ 405.832
452.50/453.84	c #Conflicts:      19000 | #Constraints:     329444
452.50/453.84	c bounds 17649012 >= -35 @ 440.435
509.04/510.54	c #Conflicts:      20000 | #Constraints:     330445
509.04/510.54	c #Conflicts:      21000 | #Constraints:     331445
509.04/510.54	c INPROCESSING
509.04/510.54	c GARBAGE COLLECT
509.04/510.54	c #Conflicts:      22000 | #Constraints:     329275
509.04/510.54	c bounds 17635295 >= -35 @ 495.707
509.43/511.01	c bounds 17612658 >= -35 @ 496.164
612.35/614.18	c #Conflicts:      23000 | #Constraints:     330277
612.35/614.18	c #Conflicts:      24000 | #Constraints:     331278
612.35/614.18	c #Conflicts:      25000 | #Constraints:     332278
612.35/614.18	c INPROCESSING
612.35/614.18	c GARBAGE COLLECT
612.35/614.18	c rational objective 1.02792e+06
615.13/616.91	c bounds 17609167 >= -35 @ 600.167
622.40/624.22	c bounds 17585620 >= -35 @ 607.322
645.74/647.64	c #Conflicts:      26000 | #Constraints:     329936
645.74/647.64	c bounds 17539761 >= -35 @ 630.166
657.61/659.51	c #Conflicts:      27000 | #Constraints:     330937
657.61/659.51	c bounds 17537412 >= -35 @ 641.724
909.28/911.93	c #Conflicts:      28000 | #Constraints:     331938
909.28/911.93	c #Conflicts:      29000 | #Constraints:     332938
909.28/911.93	c INPROCESSING
909.28/911.93	c GARBAGE COLLECT
909.28/911.93	c #Conflicts:      30000 | #Constraints:     330281
909.28/911.93	c #Conflicts:      31000 | #Constraints:     331282
909.28/911.93	c #Conflicts:      32000 | #Constraints:     332282
909.28/911.93	c #Conflicts:      33000 | #Constraints:     333282
909.28/911.93	c INPROCESSING
909.28/911.93	c GARBAGE COLLECT
909.28/911.93	c #Conflicts:      34000 | #Constraints:     330526
909.28/911.93	c #Conflicts:      35000 | #Constraints:     331526
909.28/911.93	c #Conflicts:      36000 | #Constraints:     332526
909.28/911.93	c #Conflicts:      37000 | #Constraints:     333526
909.28/911.93	c INPROCESSING
909.28/911.93	c GARBAGE COLLECT
909.28/911.93	c bounds 17499412 >= -35 @ 887.304
909.39/912.01	c bounds 17471744 >= -35 @ 887.388
909.98/912.69	c bounds 17450902 >= -35 @ 888.049
991.26/994.17	c #Conflicts:      38000 | #Constraints:     330553
991.26/994.17	c #Conflicts:      39000 | #Constraints:     331554
991.26/994.17	c #Conflicts:      40000 | #Constraints:     332554
991.26/994.17	c bounds 16627269 >= -35 @ 967.619
994.64/997.52	c bounds 16605663 >= -35 @ 970.883
995.15/998.03	c bounds 16501273 >= -35 @ 971.384
998.02/1000.96	c bounds 16340688 >= -35 @ 974.236
998.52/1001.42	c bounds 16336919 >= -35 @ 974.691
998.73/1001.61	c bounds 16328120 >= -35 @ 974.872
1004.80/1007.75	c bounds 16321489 >= -35 @ 980.864
1005.01/1007.90	c bounds 16317720 >= -35 @ 981.01
1005.40/1008.35	c #Conflicts:      41000 | #Constraints:     333562
1005.40/1008.35	c bounds 16308921 >= -35 @ 981.453
1029.84/1032.82	c INPROCESSING
1029.84/1032.82	c GARBAGE COLLECT
1029.84/1032.82	c rational objective 1.02898e+06
1036.13/1039.16	c #Conflicts:      42000 | #Constraints:     330262
1036.13/1039.16	c #Conflicts:      43000 | #Constraints:     331262
1036.13/1039.16	c #Conflicts:      44000 | #Constraints:     332262
1036.13/1039.16	c bounds 12951909 >= -35 @ 1011.84
1036.52/1039.51	c bounds 12512533 >= -35 @ 1012.18
1036.61/1039.60	c bounds 12465014 >= -35 @ 1012.27
1036.82/1039.87	c bounds 12414024 >= -35 @ 1012.53
1037.03/1040.10	c bounds 12336694 >= -35 @ 1012.75
1037.81/1040.84	c bounds 12243258 >= -35 @ 1013.49
1038.02/1041.04	c bounds 12068803 >= -35 @ 1013.69
1038.23/1041.25	c bounds 11877329 >= -35 @ 1013.89
1038.31/1041.37	c bounds 11775838 >= -35 @ 1014.01
1038.72/1041.70	c bounds 11502854 >= -35 @ 1014.33
1038.81/1041.84	c bounds 11346431 >= -35 @ 1014.46
1039.13/1042.13	c bounds 11258731 >= -35 @ 1014.75
1039.21/1042.22	c bounds 11213024 >= -35 @ 1014.84
1039.31/1042.35	c bounds 11008350 >= -35 @ 1014.96
1193.67/1197.11	c #Conflicts:      45000 | #Constraints:     333276
1193.67/1197.11	c #Conflicts:      46000 | #Constraints:     334276
1193.67/1197.11	c INPROCESSING
1193.67/1197.11	c GARBAGE COLLECT
1193.67/1197.11	c #Conflicts:      47000 | #Constraints:     330536
1193.67/1197.11	c #Conflicts:      48000 | #Constraints:     331536
1193.67/1197.11	c #Conflicts:      49000 | #Constraints:     332536
1193.67/1197.11	c #Conflicts:      50000 | #Constraints:     333536
1193.67/1197.11	c #Conflicts:      51000 | #Constraints:     334537
1193.67/1197.11	c INPROCESSING
1193.67/1197.11	c GARBAGE COLLECT
1193.67/1197.11	c bounds 10874753 >= -35 @ 1165.58
1197.84/1201.37	c bounds 10839887 >= -35 @ 1169.72
1200.43/1204.00	c bounds 10823463 >= -35 @ 1172.29
1201.13/1204.62	c bounds 10811113 >= -35 @ 1172.89
1205.11/1208.66	c bounds 10725696 >= -35 @ 1176.85
1234.04/1237.67	c #Conflicts:      52000 | #Constraints:     330918
1234.04/1237.67	c bounds 10691700 >= -35 @ 1205.21
1234.55/1238.18	c bounds 10679700 >= -35 @ 1205.71
1238.63/1242.21	c bounds 10654509 >= -35 @ 1209.67
1267.25/1270.97	c #Conflicts:      53000 | #Constraints:     331922
1267.25/1270.97	c bounds 10649461 >= -35 @ 1237.79
1298.57/1302.30	c #Conflicts:      54000 | #Constraints:     332923
1298.57/1302.30	c bounds 10642484 >= -35 @ 1268.44
1298.96/1302.75	c bounds 10642448 >= -35 @ 1268.88
1299.16/1302.92	c bounds 10638353 >= -35 @ 1269.05
1299.66/1303.40	c bounds 10384776 >= -35 @ 1269.51
1299.76/1303.52	c bounds 10371992 >= -35 @ 1269.63
1300.16/1303.91	c bounds 10317158 >= -35 @ 1270.03
1303.46/1307.24	c bounds 10199127 >= -35 @ 1273.31
1310.03/1313.83	c #Conflicts:      55000 | #Constraints:     333931
1310.03/1313.83	c bounds 10181648 >= -35 @ 1279.79
1310.83/1314.60	c bounds 9992693 >= -35 @ 1280.54
1311.35/1315.14	c bounds 9990174 >= -35 @ 1281.06
1322.40/1326.23	c bounds 9960564 >= -35 @ 1291.9
1326.48/1330.32	c bounds 9877270 >= -35 @ 1295.9
1326.58/1330.49	c bounds 9868569 >= -35 @ 1296.07
1326.79/1330.61	c bounds 9851090 >= -35 @ 1296.19
1331.58/1335.46	c #Conflicts:      56000 | #Constraints:     334938
1331.58/1335.46	c INPROCESSING
1331.58/1335.46	c GARBAGE COLLECT
1331.58/1335.46	c bounds 9815477 >= -35 @ 1300.94
1333.28/1337.19	c bounds 9173251 >= -35 @ 1302.63
1342.45/1346.37	c bounds 9141234 >= -35 @ 1311.64
1475.08/1479.38	c #Conflicts:      57000 | #Constraints:     331073
1475.08/1479.38	c #Conflicts:      58000 | #Constraints:     332168
1475.08/1479.38	c #Conflicts:      59000 | #Constraints:     333170
1475.08/1479.38	c #Conflicts:      60000 | #Constraints:     334196
1475.08/1479.38	c #Conflicts:      61000 | #Constraints:     335242
1475.08/1479.38	c INPROCESSING
1475.08/1479.38	c GARBAGE COLLECT
1475.08/1479.38	c bounds 8951252 >= -35 @ 1441.82
1475.38/1479.68	c bounds 8698174 >= -35 @ 1442.11
1475.68/1479.91	c bounds 8395078 >= -35 @ 1442.33
1475.90/1480.18	c bounds 8391256 >= -35 @ 1442.6
1490.14/1494.46	c bounds 8384406 >= -35 @ 1456.51
1513.39/1517.74	c #Conflicts:      62000 | #Constraints:     331184
1513.39/1517.74	c bounds 8134734 >= -35 @ 1479.42
1525.94/1530.32	c bounds 6648074 >= -35 @ 1491.81
1526.55/1530.92	c bounds 6226524 >= -35 @ 1492.4
1528.24/1532.64	c #Conflicts:      63000 | #Constraints:     332188
1528.24/1532.64	c bounds 6091442 >= -35 @ 1494.08
1532.83/1537.28	c bounds 5884576 >= -35 @ 1498.64
1534.42/1538.83	c bounds 5868763 >= -35 @ 1500.15
1539.51/1543.99	c bounds 5806186 >= -35 @ 1505.24
1560.76/1565.28	c #Conflicts:      64000 | #Constraints:     333192
1560.76/1565.28	c bounds 5792185 >= -35 @ 1526.05
1571.93/1576.47	c bounds 5698460 >= -35 @ 1537.04
1572.91/1577.48	c bounds 5584269 >= -35 @ 1538.02
1577.70/1582.23	c bounds 5568966 >= -35 @ 1542.68
1676.71/1681.54	c #Conflicts:      65000 | #Constraints:     334196
1676.71/1681.54	c #Conflicts:      66000 | #Constraints:     335196
1676.71/1681.54	c INPROCESSING
1676.71/1681.54	c GARBAGE COLLECT
1676.71/1681.54	c #Conflicts:      67000 | #Constraints:     330745
1676.71/1681.54	c #Conflicts:      68000 | #Constraints:     331745
1676.71/1681.54	c bounds 5391527 >= -35 @ 1639.54
1691.37/1696.23	c bounds 5190555 >= -35 @ 1653.97
1691.47/1696.39	c bounds 5183773 >= -35 @ 1654.13
1777.21/1782.37	c #Conflicts:      69000 | #Constraints:     332748
1777.21/1782.37	c #Conflicts:      70000 | #Constraints:     333748
1777.21/1782.37	c #Conflicts:      71000 | #Constraints:     334748
1777.21/1782.37	c #Conflicts:      72000 | #Constraints:     335748
1777.21/1782.37	c INPROCESSING
1777.21/1782.37	c GARBAGE COLLECT
1777.21/1782.37	c bounds 5094234 >= -35 @ 1737.91
1777.31/1782.45	c bounds 5092701 >= -35 @ 1737.98
1779.30/1784.43	c bounds 5083860 >= -35 @ 1739.92
1794.87/1800.06	c bounds 4906104 >= -35 @ 1755.31
1798.75/1803.91	c bounds 4881463 >= -35 @ 1759.08
1802.64/1807.88	c #Conflicts:      73000 | #Constraints:     331291
1802.64/1807.88	c bounds 4876333 >= -35 @ 1763.01
1812.61/1817.81	c bounds 4875151 >= -35 @ 1772.77
1993.23/1998.93	c #Conflicts:      74000 | #Constraints:     332294
1993.23/1998.93	c #Conflicts:      75000 | #Constraints:     333300
1993.23/1998.93	c #Conflicts:      76000 | #Constraints:     334301
1993.23/1998.93	c #Conflicts:      77000 | #Constraints:     335302
1993.23/1998.93	c #Conflicts:      78000 | #Constraints:     336321
1993.23/1998.93	c INPROCESSING
1993.23/1998.93	c GARBAGE COLLECT
1993.23/1998.93	c bounds 4540105 >= -35 @ 1950.51
2000.32/2006.07	c bounds 4464725 >= -35 @ 1957.48
2000.42/2006.16	c bounds 4412596 >= -35 @ 1957.56
2000.51/2006.23	c bounds 4410469 >= -35 @ 1957.63
2159.08/2165.21	c #Conflicts:      79000 | #Constraints:     331678
2159.08/2165.21	c #Conflicts:      80000 | #Constraints:     332678
2159.08/2165.21	c #Conflicts:      81000 | #Constraints:     333678
2159.08/2165.21	c #Conflicts:      82000 | #Constraints:     334678
2159.08/2165.21	c #Conflicts:      83000 | #Constraints:     335678
2159.08/2165.21	c #Conflicts:      84000 | #Constraints:     336678
2159.08/2165.21	c INPROCESSING
2159.08/2165.21	c GARBAGE COLLECT
2159.08/2165.21	c rational objective 1.0311e+06
2595.40/2602.71	c #Conflicts:      85000 | #Constraints:     331823
2595.40/2602.71	c #Conflicts:      86000 | #Constraints:     332823
2595.40/2602.71	c #Conflicts:      87000 | #Constraints:     333823
2595.40/2602.71	c #Conflicts:      88000 | #Constraints:     334823
2595.40/2602.71	c #Conflicts:      89000 | #Constraints:     335823
2595.40/2602.71	c #Conflicts:      90000 | #Constraints:     336823
2595.40/2602.71	c INPROCESSING
2595.40/2602.71	c GARBAGE COLLECT
2595.40/2602.71	c #Conflicts:      91000 | #Constraints:     331840
2595.40/2602.71	c #Conflicts:      92000 | #Constraints:     332840
2595.40/2602.71	c #Conflicts:      93000 | #Constraints:     333840
2595.40/2602.71	c #Conflicts:      94000 | #Constraints:     334840
2595.40/2602.71	c #Conflicts:      95000 | #Constraints:     335840
2595.40/2602.71	c #Conflicts:      96000 | #Constraints:     336840
2595.40/2602.71	c INPROCESSING
2595.40/2602.71	c GARBAGE COLLECT
2595.40/2602.71	c #Conflicts:      97000 | #Constraints:     331651
2595.40/2602.71	c #Conflicts:      98000 | #Constraints:     332651
2595.40/2602.71	c #Conflicts:      99000 | #Constraints:     333651
2595.40/2602.71	c #Conflicts:     100000 | #Constraints:     334651
2595.40/2602.71	c #Conflicts:     101000 | #Constraints:     335651
2595.40/2602.71	c #Conflicts:     102000 | #Constraints:     336651
2595.40/2602.71	c #Conflicts:     103000 | #Constraints:     337651
2595.40/2602.71	c INPROCESSING
2595.40/2602.71	c GARBAGE COLLECT
2595.40/2602.71	c rational objective 1.0317e+06
2673.20/2680.72	c #Conflicts:     104000 | #Constraints:     332254
2673.20/2680.72	c #Conflicts:     105000 | #Constraints:     333254
2673.20/2680.72	c #Conflicts:     106000 | #Constraints:     334254
2673.20/2680.72	c bounds 4397644 >= -35 @ 2615.7
2794.68/2802.58	c #Conflicts:     107000 | #Constraints:     335255
2794.68/2802.58	c #Conflicts:     108000 | #Constraints:     336255
2794.68/2802.58	c #Conflicts:     109000 | #Constraints:     337255
2794.68/2802.58	c #Conflicts:     110000 | #Constraints:     338255
2794.68/2802.58	c INPROCESSING
2794.68/2802.58	c GARBAGE COLLECT
2794.68/2802.58	c rational objective 1.03208e+06
2801.46/2809.38	c bounds 4291123 >= -35 @ 2741.56
2802.85/2810.71	c bounds 4279824 >= -35 @ 2742.86
2811.04/2818.94	c bounds 4278076 >= -35 @ 2750.9
2.30/3450.79	HOME/run-opt-ls-log.sh: line 3: 136750 File size limit exceeded(core dumped) ./roundingsat "$1" --lp-maxconstr=1000000 --ls-opt-initial-iterations=2 --preprocessed-input="$1.pre" --proof-log="$2"

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532051-1752684911/watcher-4532051-1752684911 -o /tmp/evaluation-result-4532051-1752684911/solver-4532051-1752684911 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1752684911-136684 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4532051-1752684911.opb PROOFDIR/proof-4532051-1752684911 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=136728, runsolver pid=136725

[startup+0.100078 s]*
/proc/loadavg: 1.08 1.11 1.09 5/258 136737
/proc/meminfo: memFree=93387776/131382120 swapFree=33010416/33010684
[pid=136728] ppid=136725 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/136728/stat : 136728 (run-opt-ls-log.) S 136725 136728 136420 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 184169959 4292608 736 18446744073709551615 94273559752704 94273560647237 140722931058368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94273560886288 94273560934032 94273579094016 140722931067161 140722931067359 140722931067359 140722931072963 0
/proc/136728/statm: 1048 736 672 219 0 110 0
[pid=136731] ppid=136728 vsize=93384 memory=80548 CPUtime=0.08 cores=0,2
/proc/136731/stat : 136731 (pbsuma) R 136728 136728 136420 0 -1 4194304 3969 0 0 0 5 3 0 0 20 0 1 0 184169960 95625216 20137 18446744073709551615 4210688 4653049 140725780025568 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 10276864 140725780031713 140725780032048 140725780032048 140725780037615 0
/proc/136731/statm: 23346 20137 960 108 0 20754 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 97576 KiB
Current children cumulated memory: 83492 KiB

[startup+0.214692 s]*
/proc/loadavg: 1.08 1.11 1.09 5/264 136747
/proc/meminfo: memFree=93357736/131382120 swapFree=33010416/33010684
[pid=136728] ppid=136725 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/136728/stat : 136728 (run-opt-ls-log.) S 136725 136728 136420 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 184169959 4292608 736 18446744073709551615 94273559752704 94273560647237 140722931058368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94273560886288 94273560934032 94273579094016 140722931067161 140722931067359 140722931067359 140722931072963 0
/proc/136728/statm: 1048 736 672 219 0 110 0
[pid=136731] ppid=136728 vsize=105352 memory=94344 CPUtime=0.2 cores=0,2
/proc/136731/stat : 136731 (pbsuma) R 136728 136728 136420 0 -1 4194304 7259 0 0 0 15 5 0 0 20 0 1 0 184169960 107880448 23586 18446744073709551615 4210688 4653049 140725780025568 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 10276864 140725780031713 140725780032048 140725780032048 140725780037615 0
/proc/136731/statm: 26338 23586 960 108 0 23746 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 109544 KiB
Current children cumulated memory: 97288 KiB

[startup+0.314701 s]*
/proc/loadavg: 1.08 1.11 1.09 6/264 136747
/proc/meminfo: memFree=93232272/131382120 swapFree=33010416/33010684
[pid=136728] ppid=136725 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/136728/stat : 136728 (run-opt-ls-log.) S 136725 136728 136420 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 184169959 4292608 736 18446744073709551615 94273559752704 94273560647237 140722931058368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94273560886288 94273560934032 94273579094016 140722931067161 140722931067359 140722931067359 140722931072963 0
/proc/136728/statm: 1048 736 672 219 0 110 0
[pid=136731] ppid=136728 vsize=115516 memory=106520 CPUtime=0.3 cores=0,2
/proc/136731/stat : 136731 (pbsuma) R 136728 136728 136420 0 -1 4194304 10002 0 0 0 24 6 0 0 20 0 1 0 184169960 118288384 26630 18446744073709551615 4210688 4653049 140725780025568 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 10276864 140725780031713 140725780032048 140725780032048 140725780037615 0
/proc/136731/statm: 28879 26630 960 108 0 26287 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 119708 KiB
Current children cumulated memory: 109464 KiB

[startup+0.700449 s]
/proc/loadavg: 1.08 1.11 1.09 6/264 136748
/proc/meminfo: memFree=93122524/131382120 swapFree=33010416/33010684
[pid=136728] ppid=136725 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/136728/stat : 136728 (run-opt-ls-log.) S 136725 136728 136420 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 184169959 4292608 736 18446744073709551615 94273559752704 94273560647237 140722931058368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94273560886288 94273560934032 94273579094016 140722931067161 140722931067359 140722931067359 140722931072963 0
/proc/136728/statm: 1048 736 672 219 0 110 0
[pid=136731] ppid=136728 vsize=284256 memory=224116 CPUtime=0.67 cores=0,2
/proc/136731/stat : 136731 (pbsuma) R 136728 136728 136420 0 -1 4194304 23720 0 0 0 54 13 0 0 20 0 1 0 184169960 291078144 56029 18446744073709551615 4210688 4653049 140725780025568 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 10276864 140725780031713 140725780032048 140725780032048 140725780037615 0
/proc/136731/statm: 71064 56029 992 108 0 68472 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 288448 KiB
Current children cumulated memory: 227060 KiB

[startup+1.50036 s]
/proc/loadavg: 1.08 1.11 1.09 5/264 136748
/proc/meminfo: memFree=92798692/131382120 swapFree=33010416/33010684
[pid=136728] ppid=136725 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/136728/stat : 136728 (run-opt-ls-log.) S 136725 136728 136420 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 184169959 4292608 736 18446744073709551615 94273559752704 94273560647237 140722931058368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94273560886288 94273560934032 94273579094016 140722931067161 140722931067359 140722931067359 140722931072963 0
/proc/136728/statm: 1048 736 672 219 0 110 0
[pid=136731] ppid=136728 vsize=326328 memory=266356 CPUtime=1.46 cores=0,2
/proc/136731/stat : 136731 (pbsuma) R 136728 136728 136420 0 -1 4194304 43915 0 0 0 124 22 0 0 20 0 1 0 184169960 334159872 66589 18446744073709551615 4210688 4653049 140725780025568 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 10276864 140725780031713 140725780032048 140725780032048 140725780037615 0
/proc/136731/statm: 81582 66589 1024 108 0 78990 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 330520 KiB
Current children cumulated memory: 269300 KiB

[startup+3.11384 s]
/proc/loadavg: 1.08 1.11 1.09 5/264 136751
/proc/meminfo: memFree=92778704/131382120 swapFree=33010416/33010684
[pid=136728] ppid=136725 vsize=4192 memory=2944 CPUtime=2.3 cores=0,2
/proc/136728/stat : 136728 (run-opt-ls-log.) S 136725 136728 136420 0 -1 4194304 243 44851 0 0 0 0 205 25 20 0 1 0 184169959 4292608 736 18446744073709551615 94273559752704 94273560647237 140722931058368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94273560886288 94273560934032 94273579094016 140722931067161 140722931067359 140722931067359 140722931072963 0
/proc/136728/statm: 1048 736 672 219 0 110 0
[pid=136750] ppid=136728 vsize=162916 memory=114428 CPUtime=0.75 cores=0,2
/proc/136750/stat : 136750 (roundingsat) R 136728 136728 136420 0 -1 4194304 22948 0 0 0 58 17 0 0 20 0 1 0 184170194 166825984 28607 18446744073709551615 4227072 8923577 140734021551312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 43204608 140734021556468 140734021556774 140734021556774 140734021562346 0
/proc/136750/statm: 40729 28607 2016 1147 0 28155 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 167108 KiB
Current children cumulated memory: 117372 KiB

[startup+6.30043 s]
/proc/loadavg: 1.31 1.15 1.10 5/264 136751
/proc/meminfo: memFree=91788844/131382120 swapFree=33010416/33010684
[pid=136728] ppid=136725 vsize=4192 memory=2944 CPUtime=2.3 cores=0,2
/proc/136728/stat : 136728 (run-opt-ls-log.) S 136725 136728 136420 0 -1 4194304 243 44851 0 0 0 0 205 25 20 0 1 0 184169959 4292608 736 18446744073709551615 94273559752704 94273560647237 140722931058368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94273560886288 94273560934032 94273579094016 140722931067161 140722931067359 140722931067359 140722931072963 0
/proc/136728/statm: 1048 736 672 219 0 110 0
[pid=136750] ppid=136728 vsize=733748 memory=564300 CPUtime=3.92 cores=0,2
/proc/136750/stat : 136750 (roundingsat) R 136728 136728 136420 0 -1 4194304 66219 0 0 0 344 48 0 0 20 0 1 0 184170194 751357952 141075 18446744073709551615 4227072 8923577 140734021551312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 43204608 140734021556468 140734021556774 140734021556774 140734021562346 0
/proc/136750/statm: 183437 141075 2336 1147 0 170863 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 737940 KiB
Current children cumulated memory: 567244 KiB

[startup+12.7004 s]
/proc/loadavg: 1.53 1.20 1.12 5/264 136751
/proc/meminfo: memFree=90849752/131382120 swapFree=33010416/33010684
[pid=136728] ppid=136725 vsize=4192 memory=2944 CPUtime=2.3 cores=0,2
/proc/136728/stat : 136728 (run-opt-ls-log.) S 136725 136728 136420 0 -1 4194304 243 44851 0 0 0 0 205 25 20 0 1 0 184169959 4292608 736 18446744073709551615 94273559752704 94273560647237 140722931058368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94273560886288 94273560934032 94273579094016 140722931067161 140722931067359 140722931067359 140722931072963 0
/proc/136728/statm: 1048 736 672 219 0 110 0
[pid=136750] ppid=136728 vsize=802576 memory=633032 CPUtime=10.3 cores=0,2
/proc/136750/stat : 136750 (roundingsat) R 136728 136728 136420 0 -1 4194304 77782 0 0 0 966 64 0 0 20 0 1 0 184170194 821837824 158258 18446744073709551615 4227072 8923577 140734021551312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 43204608 140734021556468 140734021556774 140734021556774 140734021562346 0
/proc/136750/statm: 200644 158258 2400 1147 0 188070 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 806768 KiB
Current children cumulated memory: 635976 KiB

[startup+25.5005 s]
/proc/loadavg: 2.08 1.34 1.17 5/264 136751
/proc/meminfo: memFree=88995088/131382120 swapFree=33010416/33010684
[pid=136728] ppid=136725 vsize=4192 memory=2944 CPUtime=2.3 cores=0,2
/proc/136728/stat : 136728 (run-opt-ls-log.) S 136725 136728 136420 0 -1 4194304 243 44851 0 0 0 0 205 25 20 0 1 0 184169959 4292608 736 18446744073709551615 94273559752704 94273560647237 140722931058368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94273560886288 94273560934032 94273579094016 140722931067161 140722931067359 140722931067359 140722931072963 0
/proc/136728/statm: 1048 736 672 219 0 110 0
[pid=136750] ppid=136728 vsize=913252 memory=737748 CPUtime=23.07 cores=0,2
/proc/136750/stat : 136750 (roundingsat) R 136728 136728 136420 0 -1 4194304 98333 0 0 0 2210 97 0 0 20 0 1 0 184170194 935170048 184437 18446744073709551615 4227072 8923577 140734021551312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 43204608 140734021556468 140734021556774 140734021556774 140734021562346 0
/proc/136750/statm: 228313 184437 2400 1147 0 215739 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 917444 KiB
Current children cumulated memory: 740692 KiB

[startup+51.1138 s]
/proc/loadavg: 2.81 1.57 1.25 5/265 136752
/proc/meminfo: memFree=85320356/131382120 swapFree=33010416/33010684
[pid=136728] ppid=136725 vsize=4192 memory=2944 CPUtime=2.3 cores=0,2
/proc/136728/stat : 136728 (run-opt-ls-log.) S 136725 136728 136420 0 -1 4194304 243 44851 0 0 0 0 205 25 20 0 1 0 184169959 4292608 736 18446744073709551615 94273559752704 94273560647237 140722931058368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94273560886288 94273560934032 94273579094016 140722931067161 140722931067359 140722931067359 140722931072963 0
/proc/136728/statm: 1048 736 672 219 0 110 0
[pid=136750] ppid=136728 vsize=1089180 memory=887208 CPUtime=48.61 cores=0,2
/proc/136750/stat : 136750 (roundingsat) R 136728 136728 136420 0 -1 4194304 126067 0 0 0 4712 149 0 0 20 0 1 0 184170194 1115320320 221802 18446744073709551615 4227072 8923577 140734021551312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 43204608 140734021556468 140734021556774 140734021556774 140734021562346 0
/proc/136750/statm: 272295 221802 2400 1147 0 259721 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1093372 KiB
Current children cumulated memory: 890152 KiB

[startup+102.3 s]
/proc/loadavg: 3.59 1.98 1.41 5/266 136755
/proc/meminfo: memFree=78430864/131382120 swapFree=33010416/33010684
[pid=136728] ppid=136725 vsize=4192 memory=2944 CPUtime=2.3 cores=0,2
/proc/136728/stat : 136728 (run-opt-ls-log.) S 136725 136728 136420 0 -1 4194304 243 44851 0 0 0 0 205 25 20 0 1 0 184169959 4292608 736 18446744073709551615 94273559752704 94273560647237 140722931058368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94273560886288 94273560934032 94273579094016 140722931067161 140722931067359 140722931067359 140722931072963 0
/proc/136728/statm: 1048 736 672 219 0 110 0
[pid=136750] ppid=136728 vsize=1136876 memory=946980 CPUtime=99.67 cores=0,2
/proc/136750/stat : 136750 (roundingsat) R 136728 136728 136420 0 -1 4194304 138491 0 0 0 9711 256 0 0 20 0 1 0 184170194 1164161024 236745 18446744073709551615 4227072 8923577 140734021551312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 43204608 140734021556468 140734021556774 140734021556774 140734021562346 0
/proc/136750/statm: 284219 236745 2400 1147 0 271645 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1141068 KiB
Current children cumulated memory: 949924 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 2.36 1.58 5/265 136757
/proc/meminfo: memFree=70728136/131382120 swapFree=33010416/33010684
[pid=136728] ppid=136725 vsize=4192 memory=2944 CPUtime=2.3 cores=0,2
/proc/136728/stat : 136728 (run-opt-ls-log.) S 136725 136728 136420 0 -1 4194304 243 44851 0 0 0 0 205 25 20 0 1 0 184169959 4292608 736 18446744073709551615 94273559752704 94273560647237 140722931058368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94273560886288 94273560934032 94273579094016 140722931067161 140722931067359 140722931067359 140722931072963 0
/proc/136728/statm: 1048 736 672 219 0 110 0
[pid=136750] ppid=136728 vsize=1161308 memory=977340 CPUtime=159.51 cores=0,2
/proc/136750/stat : 136750 (roundingsat) R 136728 136728 136420 0 -1 4194304 143086 0 0 0 15569 382 0 0 20 0 1 0 184170194 1189179392 244335 18446744073709551615 4227072 8923577 140734021551312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 43204608 140734021556468 140734021556774 140734021556774 140734021562346 0
/proc/136750/statm: 290327 244335 2400 1147 0 277753 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 1165500 KiB
Current children cumulated memory: 980284 KiB

[startup+222.3 s]
/proc/loadavg: 4.32 2.77 1.77 5/264 136759
/proc/meminfo: memFree=63505236/131382120 swapFree=33010416/33010684
[pid=136728] ppid=136725 vsize=4192 memory=2944 CPUtime=2.3 cores=0,2
/proc/136728/stat : 136728 (run-opt-ls-log.) S 136725 136728 136420 0 -1 4194304 243 44851 0 0 0 0 205 25 20 0 1 0 184169959 4292608 736 18446744073709551615 94273559752704 94273560647237 140722931058368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94273560886288 94273560934032 94273579094016 140722931067161 140722931067359 140722931067359 140722931072963 0
/proc/136728/statm: 1048 736 672 219 0 110 0
[pid=136750] ppid=136728 vsize=1258748 memory=1086716 CPUtime=219.35 cores=0,2
/proc/136750/stat : 136750 (roundingsat) R 136728 136728 136420 0 -1 4194304 158601 0 0 0 21443 492 0 0 20 0 1 0 184170194 1288957952 271679 18446744073709551615 4227072 8923577 140734021551312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 43204608 140734021556468 140734021556774 140734021556774 140734021562346 0
/proc/136750/statm: 314687 271679 2400 1147 0 302113 0
Current children cumulated CPU time: 221.65 s

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

/proc/136728/statm: 1048 736 672 219 0 110 0
[pid=136750] ppid=136728 vsize=3806544 memory=3285672 CPUtime=3210.89 cores=0,2
/proc/136750/stat : 136750 (roundingsat) R 136728 136728 136420 0 -1 4194304 629698 0 1 0 314635 6454 0 0 20 0 1 0 184170194 3897901056 821418 18446744073709551615 4227072 8923577 140734021551312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 43204608 140734021556468 140734021556774 140734021556774 140734021562346 0
/proc/136750/statm: 951636 821418 2496 1147 0 939062 0
Current children cumulated CPU time: 3213.19 s
Current children cumulated vsize: 3810736 KiB
Current children cumulated memory: 3288616 KiB

[startup+3282.3 s]
/proc/loadavg: 4.38 4.44 4.33 5/266 137000
/proc/meminfo: memFree=1813536/131382120 swapFree=33010416/33010684
[pid=136728] ppid=136725 vsize=4192 memory=2944 CPUtime=2.3 cores=0,2
/proc/136728/stat : 136728 (run-opt-ls-log.) S 136725 136728 136420 0 -1 4194304 243 44851 0 0 0 0 205 25 20 0 1 0 184169959 4292608 736 18446744073709551615 94273559752704 94273560647237 140722931058368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94273560886288 94273560934032 94273579094016 140722931067161 140722931067359 140722931067359 140722931072963 0
/proc/136728/statm: 1048 736 672 219 0 110 0
[pid=136750] ppid=136728 vsize=3806544 memory=3291048 CPUtime=3270.73 cores=0,2
/proc/136750/stat : 136750 (roundingsat) R 136728 136728 136420 0 -1 4194304 631170 0 1 0 320501 6572 0 0 20 0 1 0 184170194 3897901056 822762 18446744073709551615 4227072 8923577 140734021551312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 43204608 140734021556468 140734021556774 140734021556774 140734021562346 0
/proc/136750/statm: 951636 822762 2496 1147 0 939062 0
Current children cumulated CPU time: 3273.03 s
Current children cumulated vsize: 3810736 KiB
Current children cumulated memory: 3293992 KiB

[startup+3342.3 s]
/proc/loadavg: 4.27 4.39 4.32 6/263 137019
/proc/meminfo: memFree=4710188/131382120 swapFree=33010416/33010684
[pid=136728] ppid=136725 vsize=4192 memory=2944 CPUtime=2.3 cores=0,2
/proc/136728/stat : 136728 (run-opt-ls-log.) S 136725 136728 136420 0 -1 4194304 243 44851 0 0 0 0 205 25 20 0 1 0 184169959 4292608 736 18446744073709551615 94273559752704 94273560647237 140722931058368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94273560886288 94273560934032 94273579094016 140722931067161 140722931067359 140722931067359 140722931072963 0
/proc/136728/statm: 1048 736 672 219 0 110 0
[pid=136750] ppid=136728 vsize=3806544 memory=3291048 CPUtime=3330.57 cores=0,2
/proc/136750/stat : 136750 (roundingsat) R 136728 136728 136420 0 -1 4194304 631632 0 1 0 326349 6708 0 0 20 0 1 0 184170194 3897901056 822762 18446744073709551615 4227072 8923577 140734021551312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 43204608 140734021556468 140734021556774 140734021556774 140734021562346 0
/proc/136750/statm: 951636 822762 2496 1147 0 939062 0
Current children cumulated CPU time: 3332.87 s
Current children cumulated vsize: 3810736 KiB
Current children cumulated memory: 3293992 KiB

[startup+3402.3 s]
/proc/loadavg: 3.73 4.22 4.27 5/260 137043
/proc/meminfo: memFree=21994592/131382120 swapFree=33010416/33010684
[pid=136728] ppid=136725 vsize=4192 memory=2944 CPUtime=2.3 cores=0,2
/proc/136728/stat : 136728 (run-opt-ls-log.) S 136725 136728 136420 0 -1 4194304 243 44851 0 0 0 0 205 25 20 0 1 0 184169959 4292608 736 18446744073709551615 94273559752704 94273560647237 140722931058368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94273560886288 94273560934032 94273579094016 140722931067161 140722931067359 140722931067359 140722931072963 0
/proc/136728/statm: 1048 736 672 219 0 110 0
[pid=136750] ppid=136728 vsize=3827132 memory=3306476 CPUtime=3390.39 cores=0,2
/proc/136750/stat : 136750 (roundingsat) R 136728 136728 136420 0 -1 4194304 634306 0 1 0 332200 6839 0 0 20 0 1 0 184170194 3918983168 826619 18446744073709551615 4227072 8923577 140734021551312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 43204608 140734021556468 140734021556774 140734021556774 140734021562346 0
/proc/136750/statm: 956783 826619 2496 1147 0 944209 0
Current children cumulated CPU time: 3392.69 s
Current children cumulated vsize: 3831324 KiB
Current children cumulated memory: 3309420 KiB

[startup+3450.8 s]
# the end of solver process 136728 was just reported to runsolver
# Child status: 153

# cumulated CPU time of all completed processes:  user=3356.79 s, system=71.6986 s

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

[startup+3404.8 s]
/proc/loadavg: 3.73 4.22 4.27 5/260 137043
/proc/meminfo: memFree=21752528/131382120 swapFree=33010416/33010684
[pid=136728] ppid=136725 vsize=4192 memory=2944 CPUtime=2.3 cores=0,2
/proc/136728/stat : 136728 (run-opt-ls-log.) S 136725 136728 136420 0 -1 4194304 243 44851 0 0 0 0 205 25 20 0 1 0 184169959 4292608 736 18446744073709551615 94273559752704 94273560647237 140722931058368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94273560886288 94273560934032 94273579094016 140722931067161 140722931067359 140722931067359 140722931072963 0
/proc/136728/statm: 1048 736 672 219 0 110 0
[pid=136750] ppid=136728 vsize=3827132 memory=3306476 CPUtime=3392.88 cores=0,2
/proc/136750/stat : 136750 (roundingsat) R 136728 136728 136420 0 -1 4194304 634326 0 1 0 332443 6845 0 0 20 0 1 0 184170194 3918983168 826619 18446744073709551615 4227072 8923577 140734021551312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 43204608 140734021556468 140734021556774 140734021556774 140734021562346 0
/proc/136750/statm: 956783 826619 2496 1147 0 944209 0
Current children cumulated CPU time: 3395.18 s
Current children cumulated vsize: 3831324 KiB
Current children cumulated memory: 3309420 KiB

[startup+3430.4 s]
/proc/loadavg: 3.44 4.10 4.22 5/256 137044
/proc/meminfo: memFree=19302444/131382120 swapFree=33010416/33010684
[pid=136728] ppid=136725 vsize=4192 memory=2944 CPUtime=2.3 cores=0,2
/proc/136728/stat : 136728 (run-opt-ls-log.) S 136725 136728 136420 0 -1 4194304 243 44851 0 0 0 0 205 25 20 0 1 0 184169959 4292608 736 18446744073709551615 94273559752704 94273560647237 140722931058368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94273560886288 94273560934032 94273579094016 140722931067161 140722931067359 140722931067359 140722931072963 0
/proc/136728/statm: 1048 736 672 219 0 110 0
[pid=136750] ppid=136728 vsize=3831108 memory=3314472 CPUtime=3418.4 cores=0,2
/proc/136750/stat : 136750 (roundingsat) R 136728 136728 136420 0 -1 4194304 635331 0 1 0 334952 6888 0 0 20 0 1 0 184170194 3923054592 828618 18446744073709551615 4227072 8923577 140734021551312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 43204608 140734021556468 140734021556774 140734021556774 140734021562346 0
/proc/136750/statm: 957777 828618 2496 1147 0 945203 0
Current children cumulated CPU time: 3420.7 s
Current children cumulated vsize: 3835300 KiB
Current children cumulated memory: 3317416 KiB

[startup+3443.2 s]
/proc/loadavg: 3.45 4.08 4.22 4/259 137050
/proc/meminfo: memFree=17114868/131382120 swapFree=33010416/33010684
[pid=136728] ppid=136725 vsize=4192 memory=2944 CPUtime=2.3 cores=0,2
/proc/136728/stat : 136728 (run-opt-ls-log.) S 136725 136728 136420 0 -1 4194304 243 44851 0 0 0 0 205 25 20 0 1 0 184169959 4292608 736 18446744073709551615 94273559752704 94273560647237 140722931058368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94273560886288 94273560934032 94273579094016 140722931067161 140722931067359 140722931067359 140722931072963 0
/proc/136728/statm: 1048 736 672 219 0 110 0
[pid=136750] ppid=136728 vsize=3831108 memory=3316008 CPUtime=3424.96 cores=0,2
/proc/136750/stat : 136750 (roundingsat) S 136728 136728 136420 0 -1 4195840 635712 0 1 0 335469 7027 0 0 20 0 1 0 184170194 3923054592 829002 18446744073709551615 4227072 8923577 140734021551312 140734021547864 139676278077271 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9827200 9836688 43204608 140734021556468 140734021556774 140734021556774 140734021562346 25
/proc/136750/statm: 957777 829002 2496 1147 0 945203 0
Current children cumulated CPU time: 3427.26 s
Current children cumulated vsize: 3835300 KiB
Current children cumulated memory: 3318952 KiB

[startup+3446.4 s]
/proc/loadavg: 3.50 4.08 4.21 4/259 137050
/proc/meminfo: memFree=16897948/131382120 swapFree=33010416/33010684
[pid=136728] ppid=136725 vsize=4192 memory=2944 CPUtime=2.3 cores=0,2
/proc/136728/stat : 136728 (run-opt-ls-log.) S 136725 136728 136420 0 -1 4194304 243 44851 0 0 0 0 205 25 20 0 1 0 184169959 4292608 736 18446744073709551615 94273559752704 94273560647237 140722931058368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94273560886288 94273560934032 94273579094016 140722931067161 140722931067359 140722931067359 140722931072963 0
/proc/136728/statm: 1048 736 672 219 0 110 0
[pid=136750] ppid=136728 vsize=3831108 memory=3316008 CPUtime=3424.96 cores=0,2
/proc/136750/stat : 136750 (roundingsat) S 136728 136728 136420 0 -1 4195840 635712 0 1 0 335469 7027 0 0 20 0 1 0 184170194 3923054592 829002 18446744073709551615 4227072 8923577 140734021551312 140734021547864 139676278077271 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9827200 9836688 43204608 140734021556468 140734021556774 140734021556774 140734021562346 25
/proc/136750/statm: 957777 829002 2496 1147 0 945203 0
Current children cumulated CPU time: 3427.26 s
Current children cumulated vsize: 3835300 KiB
Current children cumulated memory: 3318952 KiB

[startup+3448 s]*
/proc/loadavg: 3.50 4.08 4.21 7/261 137057
/proc/meminfo: memFree=21142636/131382120 swapFree=33010416/33010684
[pid=136728] ppid=136725 vsize=4192 memory=2944 CPUtime=2.3 cores=0,2
/proc/136728/stat : 136728 (run-opt-ls-log.) S 136725 136728 136420 0 -1 4194304 243 44851 0 0 0 0 205 25 20 0 1 0 184169959 4292608 736 18446744073709551615 94273559752704 94273560647237 140722931058368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94273560886288 94273560934032 94273579094016 140722931067161 140722931067359 140722931067359 140722931072963 0
/proc/136728/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 2.3 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

[startup+3449.6 s]
/proc/loadavg: 3.50 4.08 4.21 5/261 137057
/proc/meminfo: memFree=21074080/131382120 swapFree=33010416/33010684
[pid=136728] ppid=136725 vsize=4192 memory=2944 CPUtime=2.3 cores=0,2
/proc/136728/stat : 136728 (run-opt-ls-log.) S 136725 136728 136420 0 -1 4194304 243 44851 0 0 0 0 205 25 20 0 1 0 184169959 4292608 736 18446744073709551615 94273559752704 94273560647237 140722931058368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94273560886288 94273560934032 94273579094016 140722931067161 140722931067359 140722931067359 140722931072963 0
/proc/136728/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 2.3 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

[startup+3450.4 s]
/proc/loadavg: 3.62 4.09 4.22 5/261 137057
/proc/meminfo: memFree=21059708/131382120 swapFree=33010416/33010684
[pid=136728] ppid=136725 vsize=4192 memory=2944 CPUtime=2.3 cores=0,2
/proc/136728/stat : 136728 (run-opt-ls-log.) S 136725 136728 136420 0 -1 4194304 243 44851 0 0 0 0 205 25 20 0 1 0 184169959 4292608 736 18446744073709551615 94273559752704 94273560647237 140722931058368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94273560886288 94273560934032 94273579094016 140722931067161 140722931067359 140722931067359 140722931072963 0
/proc/136728/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 2.3 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

[startup+3450.6 s]
/proc/loadavg: 3.62 4.09 4.22 5/261 137057
/proc/meminfo: memFree=21059708/131382120 swapFree=33010416/33010684
[pid=136728] ppid=136725 vsize=4192 memory=2944 CPUtime=2.3 cores=0,2
/proc/136728/stat : 136728 (run-opt-ls-log.) S 136725 136728 136420 0 -1 4194304 243 44851 0 0 0 0 205 25 20 0 1 0 184169959 4292608 736 18446744073709551615 94273559752704 94273560647237 140722931058368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94273560886288 94273560934032 94273579094016 140722931067161 140722931067359 140722931067359 140722931072963 0
/proc/136728/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 2.3 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

[startup+3450.7 s]
/proc/loadavg: 3.62 4.09 4.22 5/261 137057
/proc/meminfo: memFree=21059708/131382120 swapFree=33010416/33010684
[pid=136728] ppid=136725 vsize=4192 memory=2944 CPUtime=2.3 cores=0,2
/proc/136728/stat : 136728 (run-opt-ls-log.) S 136725 136728 136420 0 -1 4194304 243 44851 0 0 0 0 205 25 20 0 1 0 184169959 4292608 736 18446744073709551615 94273559752704 94273560647237 140722931058368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94273560886288 94273560934032 94273579094016 140722931067161 140722931067359 140722931067359 140722931072963 0
/proc/136728/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 2.3 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

Child status: 153

Real time (s): 3450.8
CPU time (s): 3428.49
CPU user time (s): 3356.79
CPU system time (s): 71.6986
CPU usage (%): 99.3535
Max. virtual memory (cumulated for all children) (KiB): 3835300
Max. memory (cumulated for all children) (KiB): 3318952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3356.79
system time used= 71.6986
maximum resident set size= 3316008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 680816
page faults= 1
swaps= 0
block input operations= 4040
block output operations= 204827872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70857
involuntary context switches= 10434


# summary of solver processes directly reported to runsolver:
#   pid: 136728
#   total CPU time (s): 3428.49
#   total CPU user time (s): 3356.79
#   total CPU system time (s): 71.6986

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5642 second user time and 37.2422 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2025-07-16 18:55:12
IDJOB=4532051
IDBENCH=155675
IDSOLVER=3392
FILE ID=nodeC002/4532051-1752684911
RUNJOBID= nodeC002-1752684911-136684
SLURM_JOB_ID= 9686895
Free space on /tmp= 431592 MiB

SOLVER NAME= roundingsat-ls+pbsuma-log 0f876b3
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/normalized-minisat35_4_11_4_mh_ic.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4532051-1752684911/watcher-4532051-1752684911 -o /tmp/evaluation-result-4532051-1752684911/solver-4532051-1752684911 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1752684911-136684 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4532051-1752684911.opb PROOFDIR/proof-4532051-1752684911

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

MD5SUM BENCH= c58a3671c6a952d1c163a29e0b4e832b
RANDOM SEED=735605069

nodeC002 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		: 2095.156
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.81
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		: 1198.210
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.81
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.636
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.81
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.222
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.81
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		: 1196.787
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.81
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.333
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.81
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.218
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.81
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.227
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.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        93520880 kB
MemAvailable:   129913036 kB
Buffers:            2128 kB
Cached:         37154132 kB
SwapCached:           28 kB
Active:           930864 kB
Inactive:       36298492 kB
Active(anon):      94972 kB
Inactive(anon):     4248 kB
Active(file):     835892 kB
Inactive(file): 36294244 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             48576 kB
Writeback:            20 kB
AnonPages:         76172 kB
Mapped:           108536 kB
Shmem:             26124 kB
KReclaimable:     203292 kB
Slab:             293960 kB
SReclaimable:     203292 kB
SUnreclaim:        90668 kB
KernelStack:        3888 kB
PageTables:         2604 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     352700 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149432 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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:     8110080 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431160 MiB
End job on nodeC002 at 2025-07-16 19:52:42