Trace number 4532050

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) 3408.47 3474.55

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat35_4_11_2_mh_ic.opb
MD5SUM5a166d04cd3e9d201c89375e6d39e5e9
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 benchmark2333311
Best CPU time to get the best result obtained on this benchmark72002.3
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 141420761
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 32708356419
Number of bits of the sum of numbers in the objective function 35
Biggest number in a constraint 141420761
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 32708356419
Number of bits of the biggest sum of numbers35
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.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4532050-1752685585.opb'
0.38/0.44	c 	read 12.66MB  (427.48ms)
0.38/0.44	c	 [cnf: #variables 126385 #clauses 286379 #duplicates 595 #arr 982485]
0.38/0.44	c output proof to 'PROOFDIR/proof-4532050-1752685585'
0.38/0.45	c 
0.38/0.45	c make graph and approximate orbits
0.93/1.02	c	 [group: #orbits ~= 42808] (573.87ms)
0.93/1.02	c 
0.93/1.02	c detect special group actions
0.93/1.02	c 	probe for Johnson action (limit=64)
0.93/1.02	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.93/1.07	c 	probe for row symmetry (limit=64, splits=16.78M)
0.93/1.09	c 	 found row 35x2, generating row predicate
0.93/1.10	c 	 found row 4x2, generating row predicate
1.04/1.11	c 	 found row 4x2, generating row predicate
1.04/1.13	c 	 found row 4x2, generating row predicate
1.04/1.13	c 	 (109.85ms)
1.04/1.13	c 
1.04/1.13	c detect symmetries on remainder
1.04/1.14	c 	[graph: #vertices 916904 #edges 2973250]
1.04/1.14	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
1.42/1.55	c 	 [group: #symmetries 9.03*10^1974 #generators 3018] (416.42ms)
1.42/1.55	c 
1.42/1.55	c optimize generators (opt_passes=64, conjugate_limit=256)
1.42/1.56	c 	ran it=0, +gens=14 
2.42/2.55	c 	con best_support=4, best_gens=2423, +gens=120
2.42/2.55	c 	(1002.66ms)
2.42/2.55	c 
2.42/2.55	c finalize break order and special generators
2.42/2.56	c 
2.42/2.56	c add generic predicates (break_depth=20)
2.42/2.56	c 	added predicates for 3152 generators (1.52ms)
2.52/2.65	c 
2.52/2.65	c generation finished
2.52/2.65	c 	[sbp: #constraints 37146 #add_vars 11317]
2.52/2.66	c 
2.52/2.66	c write result to 'HOME/instance-4532050-1752685585.opb.pre'
2.52/2.69	c 	wrote 14.26MB (31.22ms)
2.52/2.69	c ------------------------------------------------------------------
2.52/2.69	c                1002.66ms 37.52% optimize_gens
2.52/2.69	c                 573.87ms 21.47% approx_orbits
2.52/2.69	c                 427.46ms 16.00% parse
2.52/2.69	c                 416.42ms 15.58% detect_generic
2.52/2.69	c                 109.85ms  4.11% detect_special
2.52/2.69	c                 102.48ms  3.83% other
2.52/2.69	c                  31.22ms  1.17% output
2.52/2.69	c                   6.96ms  0.26% finalize_order
2.52/2.69	c                   1.52ms  0.06% break_generic
2.52/2.69	c         ───────────────────────────────────────────────
2.52/2.69	c                2672.44ms   100% total
2.52/2.69	c ------------------------------------------------------------------
2.60/2.77	c RoundingSat 2
2.60/2.77	c branch pb25
2.60/2.77	c commit 0f876b3
4.65/4.89	c #variables 137702 #constraints 327053
4.65/4.89	c objective is ce32 
6.73/6.94	c initial watched  CF 32, 64, 128, Arb: 35 , 0 , 0 , 0
6.73/6.94	c initial counting CF 32, 64, 128, Arb: 81551 , 0 , 0 , 0
6.73/6.94	c bounds 188082730 >= -35 @ 3.70088
8.40/12.06	c bounds 187008974 >= -35 @ 5.27323
8.68/12.31	c bounds 186912430 >= -35 @ 5.52183
8.78/12.48	c bounds 186886502 >= -35 @ 5.68236
9.96/13.60	c bounds 119783859 >= -35 @ 6.76216
10.06/13.72	c bounds 119712624 >= -35 @ 6.88344
10.76/14.41	c bounds 117146648 >= -35 @ 7.53501
10.85/14.55	c bounds 116905694 >= -35 @ 7.67051
11.05/14.75	c bounds 116899621 >= -35 @ 7.86863
11.15/14.84	c bounds 116872232 >= -35 @ 7.94742
11.25/14.92	c bounds 116832310 >= -35 @ 8.02496
11.25/14.98	c bounds 116830001 >= -35 @ 8.0893
13.00/16.83	c bounds 115989368 >= -35 @ 9.73571
13.59/17.41	c bounds 114988948 >= -35 @ 10.2934
13.70/17.54	c bounds 114955716 >= -35 @ 10.4184
13.79/17.62	c bounds 114955699 >= -35 @ 10.4953
13.79/17.70	c bounds 114903163 >= -35 @ 10.574
14.00/17.80	c bounds 114825754 >= -35 @ 10.6737
14.00/17.87	c bounds 114805018 >= -35 @ 10.7415
14.30/18.19	c bounds 114801279 >= -35 @ 11.0509
14.99/18.80	c bounds 114787177 >= -35 @ 11.6421
15.79/19.61	c bounds 113842803 >= -35 @ 12.4259
16.38/20.29	c bounds 113828701 >= -35 @ 13.0777
30.55/34.48	c #Conflicts:       1000 | #Constraints:     328075
30.55/34.48	c bounds 90681761 >= -35 @ 26.9413
30.65/34.56	c bounds 90670172 >= -35 @ 27.018
30.74/34.66	c bounds 87909069 >= -35 @ 27.1152
35.14/39.02	c bounds 87856961 >= -35 @ 31.422
35.72/39.62	c bounds 86614946 >= -35 @ 32.0126
35.93/39.81	c bounds 86528508 >= -35 @ 32.1926
36.42/40.34	c bounds 86433377 >= -35 @ 32.7218
36.62/40.51	c bounds 25878475 >= -35 @ 32.877
37.03/40.94	c bounds 25660004 >= -35 @ 33.3028
37.14/41.08	c bounds 25654442 >= -35 @ 33.4438
38.82/42.74	c bounds 25026164 >= -35 @ 35.071
39.02/42.91	c bounds 24935704 >= -35 @ 35.2276
40.82/44.72	c bounds 24932190 >= -35 @ 37.0288
40.92/44.80	c bounds 24873399 >= -35 @ 37.1046
41.01/44.97	c bounds 24532664 >= -35 @ 37.2726
42.13/46.06	c bounds 24267141 >= -35 @ 38.3339
42.32/46.24	c bounds 24054105 >= -35 @ 38.5116
44.22/48.12	c bounds 23951571 >= -35 @ 40.344
48.89/52.85	c bounds 23921980 >= -35 @ 44.957
49.48/53.46	c bounds 23914479 >= -35 @ 45.5442
58.93/62.90	c #Conflicts:       2000 | #Constraints:     329095
58.93/62.90	c INPROCESSING
58.93/62.90	c GARBAGE COLLECT
58.93/62.90	c bounds 23859675 >= -35 @ 54.7579
98.11/102.27	c #Conflicts:       3000 | #Constraints:     328206
98.11/102.27	c #Conflicts:       4000 | #Constraints:     329208
98.11/102.27	c INPROCESSING
98.11/102.27	c GARBAGE COLLECT
98.11/102.27	c bounds 23060927 >= -35 @ 93.2159
98.31/102.41	c bounds 22465147 >= -35 @ 93.3329
98.40/102.50	c bounds 22401254 >= -35 @ 93.4033
98.68/102.81	c bounds 22373063 >= -35 @ 93.673
98.77/102.95	c bounds 22365139 >= -35 @ 93.8079
102.27/106.48	c bounds 22199274 >= -35 @ 97.2817
102.37/106.57	c bounds 22167923 >= -35 @ 97.3739
102.56/106.70	c bounds 22134106 >= -35 @ 97.5042
103.06/107.23	c bounds 22104030 >= -35 @ 98.0196
103.56/107.70	c bounds 22084661 >= -35 @ 98.4808
104.88/109.09	c bounds 22079441 >= -35 @ 99.8377
106.65/110.81	c bounds 22004350 >= -35 @ 101.512
108.45/112.65	c bounds 21914206 >= -35 @ 103.303
115.62/119.85	c bounds 21806659 >= -35 @ 110.304
121.41/125.69	c #Conflicts:       5000 | #Constraints:     328621
121.41/125.69	c bounds 21688758 >= -35 @ 116.01
121.80/126.07	c bounds 21656526 >= -35 @ 116.358
129.56/133.84	c bounds 21650882 >= -35 @ 123.912
129.66/133.96	c bounds 21620806 >= -35 @ 124.031
201.15/205.64	c #Conflicts:       6000 | #Constraints:     329625
201.15/205.64	c INPROCESSING
201.15/205.64	c GARBAGE COLLECT
201.15/205.64	c #Conflicts:       7000 | #Constraints:     328584
201.15/205.64	c #Conflicts:       8000 | #Constraints:     329584
201.15/205.64	c bounds 21400949 >= -35 @ 194.033
211.02/215.54	c bounds 21391756 >= -35 @ 203.633
211.11/215.66	c bounds 21277506 >= -35 @ 203.745
211.81/216.35	c bounds 21260579 >= -35 @ 204.412
313.46/346.23	c #Conflicts:       9000 | #Constraints:     330588
313.46/346.23	c INPROCESSING
313.46/346.23	c GARBAGE COLLECT
313.46/346.23	c #Conflicts:      10000 | #Constraints:     329308
313.46/346.23	c #Conflicts:      11000 | #Constraints:     330308
313.46/346.23	c #Conflicts:      12000 | #Constraints:     331308
313.46/346.23	c INPROCESSING
313.46/346.23	c GARBAGE COLLECT
313.46/346.23	c bounds 21245727 >= -35 @ 303.582
313.65/346.47	c bounds 21184538 >= -35 @ 303.811
314.26/347.04	c bounds 21154462 >= -35 @ 304.366
318.43/351.25	c bounds 21122230 >= -35 @ 308.449
320.93/353.73	c bounds 21104159 >= -35 @ 310.875
323.02/355.90	c bounds 21007135 >= -35 @ 312.987
335.21/368.13	c bounds 20807167 >= -35 @ 324.817
335.71/368.65	c bounds 20107037 >= -35 @ 325.326
335.80/368.77	c bounds 20068988 >= -35 @ 325.447
403.21/436.41	c #Conflicts:      13000 | #Constraints:     329761
403.21/436.41	c #Conflicts:      14000 | #Constraints:     330761
403.21/436.41	c #Conflicts:      15000 | #Constraints:     331762
403.21/436.41	c INPROCESSING
403.21/436.41	c GARBAGE COLLECT
403.21/436.41	c rational objective 693928
505.12/539.61	c #Conflicts:      16000 | #Constraints:     329965
505.12/539.61	c #Conflicts:      17000 | #Constraints:     330967
505.12/539.61	c #Conflicts:      18000 | #Constraints:     331968
505.12/539.61	c INPROCESSING
505.12/539.61	c GARBAGE COLLECT
505.12/539.61	c bounds 20059515 >= -35 @ 491.292
506.21/540.73	c bounds 20029439 >= -35 @ 492.381
508.51/543.06	c bounds 19468644 >= -35 @ 494.67
508.80/543.32	c bounds 19424796 >= -35 @ 494.924
698.54/733.86	c #Conflicts:      19000 | #Constraints:     329967
698.54/733.86	c #Conflicts:      20000 | #Constraints:     330967
698.54/733.86	c #Conflicts:      21000 | #Constraints:     331971
698.54/733.86	c INPROCESSING
698.54/733.86	c GARBAGE COLLECT
698.54/733.86	c #Conflicts:      22000 | #Constraints:     329769
698.54/733.86	c #Conflicts:      23000 | #Constraints:     330770
698.54/733.86	c #Conflicts:      24000 | #Constraints:     331771
698.54/733.86	c #Conflicts:      25000 | #Constraints:     332773
698.54/733.86	c INPROCESSING
698.54/733.86	c GARBAGE COLLECT
698.54/733.86	c bounds 16390510 >= -35 @ 680.66
698.64/733.96	c bounds 16285156 >= -35 @ 680.758
699.04/734.30	c bounds 16282886 >= -35 @ 681.087
699.24/734.52	c bounds 16275590 >= -35 @ 681.304
701.23/736.53	c bounds 16227734 >= -35 @ 683.293
701.43/736.72	c bounds 16142950 >= -35 @ 683.484
701.53/736.83	c bounds 16095562 >= -35 @ 683.59
705.23/740.53	c bounds 16045945 >= -35 @ 687.2
705.74/741.04	c bounds 16034144 >= -35 @ 687.703
705.83/741.17	c bounds 16017352 >= -35 @ 687.823
706.02/741.31	c bounds 15996191 >= -35 @ 687.958
706.12/741.48	c bounds 15995965 >= -35 @ 688.128
706.61/741.92	c bounds 15892636 >= -35 @ 688.558
706.73/742.01	c bounds 15787282 >= -35 @ 688.648
708.31/743.69	c bounds 12172889 >= -35 @ 690.308
708.41/743.79	c bounds 12067535 >= -35 @ 690.402
709.11/744.46	c bounds 12062911 >= -35 @ 691.058
709.21/744.55	c bounds 12034458 >= -35 @ 691.145
709.61/744.97	c bounds 12027324 >= -35 @ 691.556
709.83/745.17	c bounds 11998871 >= -35 @ 691.744
713.29/748.61	c bounds 11998343 >= -35 @ 695.114
717.38/752.75	c #Conflicts:      26000 | #Constraints:     330369
717.38/752.75	c bounds 11991047 >= -35 @ 699.142
718.08/753.45	c bounds 11953651 >= -35 @ 699.822
718.18/753.55	c bounds 11941850 >= -35 @ 699.919
718.28/753.67	c bounds 11906263 >= -35 @ 700.043
822.94/858.64	c #Conflicts:      27000 | #Constraints:     331379
822.94/858.64	c #Conflicts:      28000 | #Constraints:     332383
822.94/858.64	c #Conflicts:      29000 | #Constraints:     333385
822.94/858.64	c INPROCESSING
822.94/858.64	c GARBAGE COLLECT
822.94/858.64	c rational objective 694773
825.83/861.50	c bounds 11409618 >= -35 @ 805.573
874.67/910.54	c #Conflicts:      30000 | #Constraints:     330323
874.67/910.54	c bounds 11350109 >= -35 @ 853.242
893.37/929.90	c #Conflicts:      31000 | #Constraints:     331324
893.37/929.90	c bounds 11336328 >= -35 @ 871.479
893.47/930.02	c bounds 10274484 >= -35 @ 871.584
893.86/930.42	c bounds 10215173 >= -35 @ 871.974
895.79/932.48	c bounds 10210677 >= -35 @ 873.898
896.29/932.91	c bounds 10155847 >= -35 @ 874.313
896.40/933.06	c bounds 10140146 >= -35 @ 874.458
898.49/935.17	c bounds 10134682 >= -35 @ 876.53
931.79/969.31	c #Conflicts:      32000 | #Constraints:     332331
931.79/969.31	c #Conflicts:      33000 | #Constraints:     333331
931.79/969.31	c INPROCESSING
931.79/969.31	c GARBAGE COLLECT
931.79/969.31	c bounds 10124349 >= -35 @ 909.152
932.19/969.76	c bounds 9973331 >= -35 @ 909.593
932.60/970.16	c bounds 9955376 >= -35 @ 909.982
934.39/971.97	c bounds 9948894 >= -35 @ 911.767
934.50/972.09	c bounds 9892647 >= -35 @ 911.877
936.08/973.68	c bounds 9826392 >= -35 @ 913.428
959.51/997.59	c #Conflicts:      34000 | #Constraints:     330421
959.51/997.59	c bounds 9758411 >= -35 @ 936.33
959.91/997.99	c bounds 9673151 >= -35 @ 936.722
960.60/998.60	c bounds 9651986 >= -35 @ 937.321
975.36/1013.49	c bounds 9536045 >= -35 @ 951.879
976.66/1014.74	c bounds 9488426 >= -35 @ 953.093
976.97/1015.04	c bounds 9478393 >= -35 @ 953.388
977.16/1015.23	c bounds 9452503 >= -35 @ 953.573
1052.42/1090.97	c #Conflicts:      35000 | #Constraints:     331429
1052.42/1090.97	c #Conflicts:      36000 | #Constraints:     332431
1052.42/1090.97	c #Conflicts:      37000 | #Constraints:     333435
1052.42/1090.97	c INPROCESSING
1052.42/1090.97	c GARBAGE COLLECT
1052.42/1090.97	c bounds 9443524 >= -35 @ 1027.3
1056.11/1094.65	c bounds 9417297 >= -35 @ 1030.9
1061.20/1099.70	c bounds 9330122 >= -35 @ 1035.83
1061.39/1099.93	c bounds 9314421 >= -35 @ 1036.06
1061.50/1100.09	c bounds 9292620 >= -35 @ 1036.22
1061.69/1100.26	c bounds 9290448 >= -35 @ 1036.38
1195.85/1235.10	c #Conflicts:      38000 | #Constraints:     330355
1195.85/1235.10	c #Conflicts:      39000 | #Constraints:     331355
1195.85/1235.10	c #Conflicts:      40000 | #Constraints:     332358
1195.85/1235.10	c #Conflicts:      41000 | #Constraints:     333362
1195.85/1235.10	c INPROCESSING
1195.85/1235.10	c GARBAGE COLLECT
1195.85/1235.10	c rational objective 695131
1446.77/1486.85	c #Conflicts:      42000 | #Constraints:     330143
1446.77/1486.85	c #Conflicts:      43000 | #Constraints:     331143
1446.77/1486.85	c #Conflicts:      44000 | #Constraints:     332143
1446.77/1486.85	c #Conflicts:      45000 | #Constraints:     333145
1446.77/1486.85	c #Conflicts:      46000 | #Constraints:     334147
1446.77/1486.85	c INPROCESSING
1446.77/1486.85	c GARBAGE COLLECT
1446.77/1486.85	c #Conflicts:      47000 | #Constraints:     330725
1446.77/1486.85	c #Conflicts:      48000 | #Constraints:     331727
1446.77/1486.85	c #Conflicts:      49000 | #Constraints:     332728
1446.77/1486.85	c #Conflicts:      50000 | #Constraints:     333730
1446.77/1486.85	c #Conflicts:      51000 | #Constraints:     334737
1446.77/1486.85	c INPROCESSING
1446.77/1486.85	c GARBAGE COLLECT
1446.77/1486.85	c bounds 9259058 >= -35 @ 1413.78
1447.46/1487.53	c bounds 9243357 >= -35 @ 1414.44
1448.08/1488.17	c bounds 8928964 >= -35 @ 1415.07
1454.65/1494.76	c bounds 8907163 >= -35 @ 1421.52
1456.24/1496.30	c bounds 8902576 >= -35 @ 1423.02
1590.75/1631.52	c #Conflicts:      52000 | #Constraints:     331162
1590.75/1631.52	c #Conflicts:      53000 | #Constraints:     332164
1590.75/1631.52	c #Conflicts:      54000 | #Constraints:     333169
1590.75/1631.52	c #Conflicts:      55000 | #Constraints:     334170
1590.75/1631.52	c bounds 8877228 >= -35 @ 1554.73
1617.63/1658.55	c #Conflicts:      56000 | #Constraints:     335174
1617.63/1658.55	c INPROCESSING
1617.63/1658.55	c GARBAGE COLLECT
1617.63/1658.55	c rational objective 695637
1621.13/1662.07	c bounds 5069783 >= -35 @ 1584.77
1621.42/1662.32	c bounds 5062641 >= -35 @ 1585.01
1621.62/1662.56	c bounds 4953901 >= -35 @ 1585.25
2070.95/2113.99	c #Conflicts:      57000 | #Constraints:     331331
2070.95/2113.99	c #Conflicts:      58000 | #Constraints:     332331
2070.95/2113.99	c #Conflicts:      59000 | #Constraints:     333331
2070.95/2113.99	c #Conflicts:      60000 | #Constraints:     334331
2070.95/2113.99	c #Conflicts:      61000 | #Constraints:     335331
2070.95/2113.99	c INPROCESSING
2070.95/2113.99	c GARBAGE COLLECT
2070.95/2113.99	c #Conflicts:      62000 | #Constraints:     330906
2070.95/2113.99	c #Conflicts:      63000 | #Constraints:     331906
2070.95/2113.99	c #Conflicts:      64000 | #Constraints:     332906
2070.95/2113.99	c #Conflicts:      65000 | #Constraints:     333906
2070.95/2113.99	c #Conflicts:      66000 | #Constraints:     334907
2070.95/2113.99	c INPROCESSING
2070.95/2113.99	c GARBAGE COLLECT
2070.95/2113.99	c #Conflicts:      67000 | #Constraints:     330701
2070.95/2113.99	c #Conflicts:      68000 | #Constraints:     331703
2070.95/2113.99	c #Conflicts:      69000 | #Constraints:     332704
2070.95/2113.99	c #Conflicts:      70000 | #Constraints:     333705
2070.95/2113.99	c #Conflicts:      71000 | #Constraints:     334707
2070.95/2113.99	c #Conflicts:      72000 | #Constraints:     335709
2070.95/2113.99	c INPROCESSING
2070.95/2113.99	c GARBAGE COLLECT
2070.95/2113.99	c rational objective 695748
2080.52/2123.56	c bounds 4948402 >= -35 @ 2034.22
2089.91/2132.98	c bounds 4933662 >= -35 @ 2043.39
2143.72/2187.15	c #Conflicts:      73000 | #Constraints:     331302
2143.72/2187.15	c #Conflicts:      74000 | #Constraints:     332302
2143.72/2187.15	c bounds 4890184 >= -35 @ 2095.91
2234.09/2278.08	c #Conflicts:      75000 | #Constraints:     333303
2234.09/2278.08	c #Conflicts:      76000 | #Constraints:     334303
2234.09/2278.08	c #Conflicts:      77000 | #Constraints:     335303
2234.09/2278.08	c #Conflicts:      78000 | #Constraints:     336303
2234.09/2278.08	c INPROCESSING
2234.09/2278.08	c GARBAGE COLLECT
2234.09/2278.08	c bounds 4888128 >= -35 @ 2184.28
2802.53/2849.12	c #Conflicts:      79000 | #Constraints:     331721
2802.53/2849.12	c #Conflicts:      80000 | #Constraints:     332721
2802.53/2849.12	c #Conflicts:      81000 | #Constraints:     333721
2802.53/2849.12	c #Conflicts:      82000 | #Constraints:     334721
2802.53/2849.12	c #Conflicts:      83000 | #Constraints:     335721
2802.53/2849.12	c #Conflicts:      84000 | #Constraints:     336721
2802.53/2849.12	c INPROCESSING
2802.53/2849.12	c GARBAGE COLLECT
2802.53/2849.12	c #Conflicts:      85000 | #Constraints:     332028
2802.53/2849.12	c #Conflicts:      86000 | #Constraints:     333030
2802.53/2849.12	c #Conflicts:      87000 | #Constraints:     334032
2802.53/2849.12	c #Conflicts:      88000 | #Constraints:     335035
2802.53/2849.12	c #Conflicts:      89000 | #Constraints:     336037
2802.53/2849.12	c #Conflicts:      90000 | #Constraints:     337040
2802.53/2849.12	c INPROCESSING
2802.53/2849.12	c GARBAGE COLLECT
2802.53/2849.12	c #Conflicts:      91000 | #Constraints:     331996
2802.53/2849.12	c #Conflicts:      92000 | #Constraints:     332999
2802.53/2849.12	c #Conflicts:      93000 | #Constraints:     334001
2802.53/2849.12	c #Conflicts:      94000 | #Constraints:     335002
2802.53/2849.12	c #Conflicts:      95000 | #Constraints:     336004
2802.53/2849.12	c #Conflicts:      96000 | #Constraints:     337005
2802.53/2849.12	c INPROCESSING
2802.53/2849.12	c GARBAGE COLLECT
2802.53/2849.12	c rational objective 699318
2807.90/2854.50	c bounds 4884312 >= -35 @ 2745.21
2815.09/2861.89	c bounds 4854134 >= -35 @ 2752.22
2892.81/2939.81	c #Conflicts:      97000 | #Constraints:     331813
2892.81/2939.81	c #Conflicts:      98000 | #Constraints:     332813
2892.81/2939.81	c #Conflicts:      99000 | #Constraints:     333813
2892.81/2939.81	c #Conflicts:     100000 | #Constraints:     334813
2892.81/2939.81	c bounds 4839337 >= -35 @ 2828.15
3173.47/3227.39	c #Conflicts:     101000 | #Constraints:     335814
3173.47/3227.39	c #Conflicts:     102000 | #Constraints:     336814
3173.47/3227.39	c #Conflicts:     103000 | #Constraints:     337814
3173.47/3227.39	c INPROCESSING
3173.47/3227.39	c GARBAGE COLLECT
3173.47/3227.39	c #Conflicts:     104000 | #Constraints:     332480
3173.47/3227.39	c #Conflicts:     105000 | #Constraints:     333480
3173.47/3227.39	c #Conflicts:     106000 | #Constraints:     334480
3173.47/3227.39	c #Conflicts:     107000 | #Constraints:     335480
3173.47/3227.39	c #Conflicts:     108000 | #Constraints:     336480
3173.47/3227.39	c #Conflicts:     109000 | #Constraints:     337480
3173.47/3227.39	c #Conflicts:     110000 | #Constraints:     338480
3173.47/3227.39	c INPROCESSING
3173.47/3227.39	c GARBAGE COLLECT
3173.47/3227.39	c rational objective 699492
2.65/3474.54	HOME/run-opt-ls-log.sh: line 3: 136850 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 (365 MiB free)
  memory of node 1: 64465 MiB (23204 MiB free)
  node distances:
     10  21
     21  10

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

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 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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=136847, runsolver pid=136844

[startup+0.100068 s]*
/proc/loadavg: 4.27 3.90 2.73 5/268 136849
/proc/meminfo: memFree=24062576/131382120 swapFree=33010416/33010684
[pid=136847] ppid=136844 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/136847/stat : 136847 (run-opt-ls-log.) S 136844 136847 136420 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 184237357 4292608 768 18446744073709551615 94429003321344 94429004215877 140736402146368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94429004454928 94429004502672 94429027250176 140736402147609 140736402147807 140736402147807 140736402153411 0
/proc/136847/statm: 1048 768 704 219 0 110 0
[pid=136849] ppid=136847 vsize=93756 memory=80672 CPUtime=0.09 cores=5,7
/proc/136849/stat : 136849 (pbsuma) R 136847 136847 136420 0 -1 4194304 4027 0 0 0 6 3 0 0 20 0 1 0 184237358 96006144 20168 18446744073709551615 4210688 4653049 140720945610512 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 4700520 4703148 10031104 140720945617121 140720945617456 140720945617456 140720945623023 0
/proc/136849/statm: 23439 20168 928 108 0 20847 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 97948 KiB
Current children cumulated memory: 83744 KiB

[startup+0.220455 s]*
/proc/loadavg: 4.27 3.90 2.73 6/268 136849
/proc/meminfo: memFree=24046448/131382120 swapFree=33010416/33010684
[pid=136847] ppid=136844 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/136847/stat : 136847 (run-opt-ls-log.) S 136844 136847 136420 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 184237357 4292608 768 18446744073709551615 94429003321344 94429004215877 140736402146368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94429004454928 94429004502672 94429027250176 140736402147609 140736402147807 140736402147807 140736402153411 0
/proc/136847/statm: 1048 768 704 219 0 110 0
[pid=136849] ppid=136847 vsize=101796 memory=90628 CPUtime=0.19 cores=5,7
/proc/136849/stat : 136849 (pbsuma) R 136847 136847 136420 0 -1 4194304 6372 0 0 0 15 4 0 0 20 0 1 0 184237358 104239104 22657 18446744073709551615 4210688 4653049 140720945610512 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 10031104 140720945617121 140720945617456 140720945617456 140720945623023 0
/proc/136849/statm: 25449 22657 928 108 0 22857 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 105988 KiB
Current children cumulated memory: 93700 KiB

[startup+0.313829 s]*
/proc/loadavg: 4.27 3.90 2.73 5/268 136849
/proc/meminfo: memFree=24034356/131382120 swapFree=33010416/33010684
[pid=136847] ppid=136844 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/136847/stat : 136847 (run-opt-ls-log.) S 136844 136847 136420 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 184237357 4292608 768 18446744073709551615 94429003321344 94429004215877 140736402146368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94429004454928 94429004502672 94429027250176 140736402147609 140736402147807 140736402147807 140736402153411 0
/proc/136847/statm: 1048 768 704 219 0 110 0
[pid=136849] ppid=136847 vsize=108388 memory=98948 CPUtime=0.29 cores=5,7
/proc/136849/stat : 136849 (pbsuma) R 136847 136847 136420 0 -1 4194304 8439 0 0 0 24 5 0 0 20 0 1 0 184237358 110989312 24737 18446744073709551615 4210688 4653049 140720945610512 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 10031104 140720945617121 140720945617456 140720945617456 140720945623023 0
/proc/136849/statm: 27097 24737 928 108 0 24505 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 112580 KiB
Current children cumulated memory: 102020 KiB

[startup+0.700307 s]
/proc/loadavg: 4.27 3.90 2.73 6/268 136849
/proc/meminfo: memFree=23960828/131382120 swapFree=33010416/33010684
[pid=136847] ppid=136844 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/136847/stat : 136847 (run-opt-ls-log.) S 136844 136847 136420 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 184237357 4292608 768 18446744073709551615 94429003321344 94429004215877 140736402146368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94429004454928 94429004502672 94429027250176 140736402147609 140736402147807 140736402147807 140736402153411 0
/proc/136847/statm: 1048 768 704 219 0 110 0
[pid=136849] ppid=136847 vsize=284256 memory=223456 CPUtime=0.64 cores=5,7
/proc/136849/stat : 136849 (pbsuma) R 136847 136847 136420 0 -1 4194304 24604 0 0 0 52 12 0 0 20 0 1 0 184237358 291078144 55864 18446744073709551615 4210688 4653049 140720945610512 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 4700520 4703148 10031104 140720945617121 140720945617456 140720945617456 140720945623023 0
/proc/136849/statm: 71064 55864 992 108 0 68472 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 288448 KiB
Current children cumulated memory: 226528 KiB

[startup+1.50024 s]
/proc/loadavg: 4.27 3.90 2.73 5/268 136849
/proc/meminfo: memFree=23787060/131382120 swapFree=33010416/33010684
[pid=136847] ppid=136844 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/136847/stat : 136847 (run-opt-ls-log.) S 136844 136847 136420 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 184237357 4292608 768 18446744073709551615 94429003321344 94429004215877 140736402146368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94429004454928 94429004502672 94429027250176 140736402147609 140736402147807 140736402147807 140736402153411 0
/proc/136847/statm: 1048 768 704 219 0 110 0
[pid=136849] ppid=136847 vsize=506284 memory=384364 CPUtime=1.42 cores=5,7
/proc/136849/stat : 136849 (pbsuma) R 136847 136847 136420 0 -1 4194304 48514 0 0 0 122 20 0 0 20 0 1 0 184237358 518434816 96091 18446744073709551615 4210688 4653049 140720945610512 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 4700520 4703148 10031104 140720945617121 140720945617456 140720945617456 140720945623023 0
/proc/136849/statm: 126571 96091 992 108 0 123979 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 510476 KiB
Current children cumulated memory: 387436 KiB

[startup+3.10583 s]
/proc/loadavg: 4.27 3.90 2.73 5/268 136850
/proc/meminfo: memFree=23709624/131382120 swapFree=33010416/33010684
[pid=136847] ppid=136844 vsize=4192 memory=3072 CPUtime=2.65 cores=5,7
/proc/136847/stat : 136847 (run-opt-ls-log.) S 136844 136847 136420 0 -1 4194304 241 49739 0 0 0 0 243 22 20 0 1 0 184237357 4292608 768 18446744073709551615 94429003321344 94429004215877 140736402146368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94429004454928 94429004502672 94429027250176 140736402147609 140736402147807 140736402147807 140736402153411 0
/proc/136847/statm: 1048 768 704 219 0 110 0
[pid=136850] ppid=136847 vsize=121612 memory=74604 CPUtime=0.32 cores=5,7
/proc/136850/stat : 136850 (roundingsat) R 136847 136847 136420 0 -1 4194304 13977 0 0 0 24 8 0 0 20 0 1 0 184237633 124530688 18651 18446744073709551615 4227072 8923577 140722583585008 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9827200 9836688 40435712 140722583591156 140722583591462 140722583591462 140722583597034 0
/proc/136850/statm: 30403 18651 2080 1147 0 17829 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 125804 KiB
Current children cumulated memory: 77676 KiB

[startup+6.30038 s]
/proc/loadavg: 4.40 3.94 2.74 5/268 136850
/proc/meminfo: memFree=23103000/131382120 swapFree=33010416/33010684
[pid=136847] ppid=136844 vsize=4192 memory=3072 CPUtime=2.65 cores=5,7
/proc/136847/stat : 136847 (run-opt-ls-log.) S 136844 136847 136420 0 -1 4194304 241 49739 0 0 0 0 243 22 20 0 1 0 184237357 4292608 768 18446744073709551615 94429003321344 94429004215877 140736402146368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94429004454928 94429004502672 94429027250176 140736402147609 140736402147807 140736402147807 140736402153411 0
/proc/136847/statm: 1048 768 704 219 0 110 0
[pid=136850] ppid=136847 vsize=567304 memory=418492 CPUtime=3.48 cores=5,7
/proc/136850/stat : 136850 (roundingsat) R 136847 136847 136420 0 -1 4194304 48049 0 0 0 306 42 0 0 20 0 1 0 184237633 580919296 104623 18446744073709551615 4227072 8923577 140722583585008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 40435712 140722583591156 140722583591462 140722583591462 140722583597034 0
/proc/136850/statm: 141826 104623 2368 1147 0 129252 0
Current children cumulated CPU time: 6.13 s
Current children cumulated vsize: 571496 KiB
Current children cumulated memory: 421564 KiB

[startup+12.7003 s]
/proc/loadavg: 4.37 3.94 2.75 6/268 136850
/proc/meminfo: memFree=22209008/131382120 swapFree=33010416/33010684
[pid=136847] ppid=136844 vsize=4192 memory=3072 CPUtime=2.65 cores=5,7
/proc/136847/stat : 136847 (run-opt-ls-log.) S 136844 136847 136420 0 -1 4194304 241 49739 0 0 0 0 243 22 20 0 1 0 184237357 4292608 768 18446744073709551615 94429003321344 94429004215877 140736402146368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94429004454928 94429004502672 94429027250176 140736402147609 140736402147807 140736402147807 140736402153411 0
/proc/136847/statm: 1048 768 704 219 0 110 0
[pid=136850] ppid=136847 vsize=757852 memory=592452 CPUtime=6.43 cores=5,7
/proc/136850/stat : 136850 (roundingsat) R 136847 136847 136420 0 -1 4194304 69675 0 0 0 589 54 0 0 20 0 1 0 184237633 776040448 148113 18446744073709551615 4227072 8923577 140722583585008 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9827200 9836688 40435712 140722583591156 140722583591462 140722583591462 140722583597034 0
/proc/136850/statm: 189463 148113 2432 1147 0 176889 0
Current children cumulated CPU time: 9.08 s
Current children cumulated vsize: 762044 KiB
Current children cumulated memory: 595524 KiB
heavy processes:

[startup+25.5004 s]
/proc/loadavg: 4.36 3.96 2.78 5/267 136850
/proc/meminfo: memFree=20859028/131382120 swapFree=33010416/33010684
[pid=136847] ppid=136844 vsize=4192 memory=3072 CPUtime=2.65 cores=5,7
/proc/136847/stat : 136847 (run-opt-ls-log.) S 136844 136847 136420 0 -1 4194304 241 49739 0 0 0 0 243 22 20 0 1 0 184237357 4292608 768 18446744073709551615 94429003321344 94429004215877 140736402146368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94429004454928 94429004502672 94429027250176 140736402147609 140736402147807 140736402147807 140736402153411 0
/proc/136847/statm: 1048 768 704 219 0 110 0
[pid=136850] ppid=136847 vsize=894888 memory=718220 CPUtime=19.01 cores=5,7
/proc/136850/stat : 136850 (roundingsat) R 136847 136847 136420 0 -1 4194304 93991 0 0 0 1816 85 0 0 20 0 1 0 184237633 916365312 179555 18446744073709551615 4227072 8923577 140722583585008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 40435712 140722583591156 140722583591462 140722583591462 140722583597034 0
/proc/136850/statm: 223722 179555 2432 1147 0 211148 0
Current children cumulated CPU time: 21.66 s
Current children cumulated vsize: 899080 KiB
Current children cumulated memory: 721292 KiB

[startup+51.1142 s]
/proc/loadavg: 4.23 3.96 2.81 5/267 136850
/proc/meminfo: memFree=18620828/131382120 swapFree=33010416/33010684
[pid=136847] ppid=136844 vsize=4192 memory=3072 CPUtime=2.65 cores=5,7
/proc/136847/stat : 136847 (run-opt-ls-log.) S 136844 136847 136420 0 -1 4194304 241 49739 0 0 0 0 243 22 20 0 1 0 184237357 4292608 768 18446744073709551615 94429003321344 94429004215877 140736402146368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94429004454928 94429004502672 94429027250176 140736402147609 140736402147807 140736402147807 140736402153411 0
/proc/136847/statm: 1048 768 704 219 0 110 0
[pid=136850] ppid=136847 vsize=1074848 memory=884928 CPUtime=44.56 cores=5,7
/proc/136850/stat : 136850 (roundingsat) R 136847 136847 136420 0 -1 4194304 125978 0 0 0 4325 131 0 0 20 0 1 0 184237633 1100644352 221232 18446744073709551615 4227072 8923577 140722583585008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 40435712 140722583591156 140722583591462 140722583591462 140722583597034 0
/proc/136850/statm: 268712 221232 2432 1147 0 256138 0
Current children cumulated CPU time: 47.21 s
Current children cumulated vsize: 1079040 KiB
Current children cumulated memory: 888000 KiB

[startup+102.3 s]
/proc/loadavg: 4.22 4.00 2.89 5/267 136852
/proc/meminfo: memFree=12196120/131382120 swapFree=33010416/33010684
[pid=136847] ppid=136844 vsize=4192 memory=3072 CPUtime=2.65 cores=5,7
/proc/136847/stat : 136847 (run-opt-ls-log.) S 136844 136847 136420 0 -1 4194304 241 49739 0 0 0 0 243 22 20 0 1 0 184237357 4292608 768 18446744073709551615 94429003321344 94429004215877 140736402146368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94429004454928 94429004502672 94429027250176 140736402147609 140736402147807 140736402147807 140736402153411 0
/proc/136847/statm: 1048 768 704 219 0 110 0
[pid=136850] ppid=136847 vsize=1314396 memory=1066872 CPUtime=95.56 cores=5,7
/proc/136850/stat : 136850 (roundingsat) R 136847 136847 136420 0 -1 4194304 157370 0 0 0 9323 233 0 0 20 0 1 0 184237633 1345941504 266718 18446744073709551615 4227072 8923577 140722583585008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 40435712 140722583591156 140722583591462 140722583591462 140722583597034 0
/proc/136850/statm: 328599 266718 2464 1147 0 316025 0
Current children cumulated CPU time: 98.21 s
Current children cumulated vsize: 1318588 KiB
Current children cumulated memory: 1069944 KiB

[startup+162.301 s]
/proc/loadavg: 4.18 4.03 2.97 5/261 136854
/proc/meminfo: memFree=5656960/131382120 swapFree=33010416/33010684
[pid=136847] ppid=136844 vsize=4192 memory=3072 CPUtime=2.65 cores=5,7
/proc/136847/stat : 136847 (run-opt-ls-log.) S 136844 136847 136420 0 -1 4194304 241 49739 0 0 0 0 243 22 20 0 1 0 184237357 4292608 768 18446744073709551615 94429003321344 94429004215877 140736402146368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94429004454928 94429004502672 94429027250176 140736402147609 140736402147807 140736402147807 140736402153411 0
/proc/136847/statm: 1048 768 704 219 0 110 0
[pid=136850] ppid=136847 vsize=1541720 memory=1342700 CPUtime=155.32 cores=5,7
/proc/136850/stat : 136850 (roundingsat) R 136847 136847 136420 0 -1 4194304 204940 0 0 0 15164 368 0 0 20 0 1 0 184237633 1578721280 335675 18446744073709551615 4227072 8923577 140722583585008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 40435712 140722583591156 140722583591462 140722583591462 140722583597034 0
/proc/136850/statm: 385430 335675 2464 1147 0 372856 0
Current children cumulated CPU time: 157.97 s
Current children cumulated vsize: 1545912 KiB
Current children cumulated memory: 1345772 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.05 3.05 9/262 136858
/proc/meminfo: memFree=649428/131382120 swapFree=33010416/33010684
[pid=136847] ppid=136844 vsize=4192 memory=3072 CPUtime=2.65 cores=5,7
/proc/136847/stat : 136847 (run-opt-ls-log.) S 136844 136847 136420 0 -1 4194304 241 49739 0 0 0 0 243 22 20 0 1 0 184237357 4292608 768 18446744073709551615 94429003321344 94429004215877 140736402146368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94429004454928 94429004502672 94429027250176 140736402147609 140736402147807 140736402147807 140736402153411 0
/proc/136847/statm: 1048 768 704 219 0 110 0
[pid=136850] ppid=136847 vsize=1805880 memory=1520188 CPUtime=215.11 cores=5,7
/proc/136850/stat : 136850 (roundingsat) R 136847 136847 136420 0 -1 4194304 235729 0 0 0 21014 497 0 0 20 0 1 0 184237633 1849221120 380047 18446744073709551615 4227072 8923577 140722583585008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 40435712 140722583591156 140722583591462 140722583591462 140722583597034 0

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

/proc/loadavg: 1.11 1.91 3.12 2/258 137163
/proc/meminfo: memFree=74254924/131382120 swapFree=33010416/33010684
[pid=136847] ppid=136844 vsize=4192 memory=3072 CPUtime=2.65 cores=5,7
/proc/136847/stat : 136847 (run-opt-ls-log.) S 136844 136847 136420 0 -1 4194304 241 49739 0 0 0 0 243 22 20 0 1 0 184237357 4292608 768 18446744073709551615 94429003321344 94429004215877 140736402146368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94429004454928 94429004502672 94429027250176 140736402147609 140736402147807 140736402147807 140736402153411 0
/proc/136847/statm: 1048 768 704 219 0 110 0
[pid=136850] ppid=136847 vsize=3457768 memory=3137992 CPUtime=3165.84 cores=5,7
/proc/136850/stat : 136850 (roundingsat) R 136847 136847 136420 0 -1 4194304 984390 0 1 0 309781 6803 0 0 20 0 1 0 184237633 3540754432 784498 18446744073709551615 4227072 8923577 140722583585008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 40435712 140722583591156 140722583591462 140722583591462 140722583597034 0
/proc/136850/statm: 864442 784498 2528 1147 0 851868 0
Current children cumulated CPU time: 3168.49 s
Current children cumulated vsize: 3461960 KiB
Current children cumulated memory: 3141064 KiB

[startup+3282.3 s]
/proc/loadavg: 1.08 1.76 2.99 2/259 137177
/proc/meminfo: memFree=72615832/131382120 swapFree=33010416/33010684
[pid=136847] ppid=136844 vsize=4192 memory=3072 CPUtime=2.65 cores=5,7
/proc/136847/stat : 136847 (run-opt-ls-log.) S 136844 136847 136420 0 -1 4194304 241 49739 0 0 0 0 243 22 20 0 1 0 184237357 4292608 768 18446744073709551615 94429003321344 94429004215877 140736402146368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94429004454928 94429004502672 94429027250176 140736402147609 140736402147807 140736402147807 140736402153411 0
/proc/136847/statm: 1048 768 704 219 0 110 0
[pid=136850] ppid=136847 vsize=3457768 memory=3138376 CPUtime=3225.1 cores=5,7
/proc/136850/stat : 136850 (roundingsat) R 136847 136847 136420 0 -1 4194304 986136 0 1 0 315591 6919 0 0 20 0 1 0 184237633 3540754432 784594 18446744073709551615 4227072 8923577 140722583585008 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9827200 9836688 40435712 140722583591156 140722583591462 140722583591462 140722583597034 0
/proc/136850/statm: 864442 784594 2528 1147 0 851868 0
Current children cumulated CPU time: 3227.75 s
Current children cumulated vsize: 3461960 KiB
Current children cumulated memory: 3141448 KiB

[startup+3342.3 s]
/proc/loadavg: 1.36 1.71 2.90 2/243 137179
/proc/meminfo: memFree=70584068/131382120 swapFree=33010416/33010684
[pid=136847] ppid=136844 vsize=4192 memory=3072 CPUtime=2.65 cores=5,7
/proc/136847/stat : 136847 (run-opt-ls-log.) S 136844 136847 136420 0 -1 4194304 241 49739 0 0 0 0 243 22 20 0 1 0 184237357 4292608 768 18446744073709551615 94429003321344 94429004215877 140736402146368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94429004454928 94429004502672 94429027250176 140736402147609 140736402147807 140736402147807 140736402153411 0
/proc/136847/statm: 1048 768 704 219 0 110 0
[pid=136850] ppid=136847 vsize=3457768 memory=3138376 CPUtime=3283.01 cores=5,7
/proc/136850/stat : 136850 (roundingsat) R 136847 136847 136420 0 -1 4194304 986423 0 1 0 321241 7060 0 0 20 0 1 0 184237633 3540754432 784594 18446744073709551615 4227072 8923577 140722583585008 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9827200 9836688 40435712 140722583591156 140722583591462 140722583591462 140722583597034 0
/proc/136850/statm: 864442 784594 2528 1147 0 851868 0
Current children cumulated CPU time: 3285.66 s
Current children cumulated vsize: 3461960 KiB
Current children cumulated memory: 3141448 KiB

[startup+3402.3 s]
/proc/loadavg: 1.18 1.59 2.78 2/243 137181
/proc/meminfo: memFree=69146644/131382120 swapFree=33010416/33010684
[pid=136847] ppid=136844 vsize=4192 memory=3072 CPUtime=2.65 cores=5,7
/proc/136847/stat : 136847 (run-opt-ls-log.) S 136844 136847 136420 0 -1 4194304 241 49739 0 0 0 0 243 22 20 0 1 0 184237357 4292608 768 18446744073709551615 94429003321344 94429004215877 140736402146368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94429004454928 94429004502672 94429027250176 140736402147609 140736402147807 140736402147807 140736402153411 0
/proc/136847/statm: 1048 768 704 219 0 110 0
[pid=136850] ppid=136847 vsize=3457768 memory=3138376 CPUtime=3341.86 cores=5,7
/proc/136850/stat : 136850 (roundingsat) R 136847 136847 136420 0 -1 4194304 988360 0 1 0 327031 7155 0 0 20 0 1 0 184237633 3540754432 784594 18446744073709551615 4227072 8923577 140722583585008 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9827200 9836688 40435712 140722583591156 140722583591462 140722583591462 140722583597034 0
/proc/136850/statm: 864442 784594 2528 1147 0 851868 0
Current children cumulated CPU time: 3344.51 s
Current children cumulated vsize: 3461960 KiB
Current children cumulated memory: 3141448 KiB

[startup+3462.3 s]
/proc/loadavg: 1.17 1.51 2.68 2/245 137187
/proc/meminfo: memFree=67290236/131382120 swapFree=33010416/33010684
[pid=136847] ppid=136844 vsize=4192 memory=3072 CPUtime=2.65 cores=5,7
/proc/136847/stat : 136847 (run-opt-ls-log.) S 136844 136847 136420 0 -1 4194304 241 49739 0 0 0 0 243 22 20 0 1 0 184237357 4292608 768 18446744073709551615 94429003321344 94429004215877 140736402146368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94429004454928 94429004502672 94429027250176 140736402147609 140736402147807 140736402147807 140736402153411 0
/proc/136847/statm: 1048 768 704 219 0 110 0
[pid=136850] ppid=136847 vsize=3503580 memory=3179448 CPUtime=3400.02 cores=5,7
/proc/136850/stat : 136850 (roundingsat) R 136847 136847 136420 0 -1 4194304 992368 0 1 0 332717 7285 0 0 20 0 1 0 184237633 3587665920 794862 18446744073709551615 4227072 8923577 140722583585008 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9827200 9836688 40435712 140722583591156 140722583591462 140722583591462 140722583597034 0
/proc/136850/statm: 875895 794862 2528 1147 0 863321 0
Current children cumulated CPU time: 3402.67 s
Current children cumulated vsize: 3507772 KiB
Current children cumulated memory: 3182520 KiB

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

# cumulated CPU time of all completed processes:  user=3333.82 s, system=74.6472 s

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

[startup+3462.4 s]
/proc/loadavg: 1.17 1.51 2.68 2/245 137187
/proc/meminfo: memFree=67290236/131382120 swapFree=33010416/33010684
[pid=136847] ppid=136844 vsize=4192 memory=3072 CPUtime=2.65 cores=5,7
/proc/136847/stat : 136847 (run-opt-ls-log.) S 136844 136847 136420 0 -1 4194304 241 49739 0 0 0 0 243 22 20 0 1 0 184237357 4292608 768 18446744073709551615 94429003321344 94429004215877 140736402146368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94429004454928 94429004502672 94429027250176 140736402147609 140736402147807 140736402147807 140736402153411 0
/proc/136847/statm: 1048 768 704 219 0 110 0
[pid=136850] ppid=136847 vsize=3503580 memory=3179448 CPUtime=3400.11 cores=5,7
/proc/136850/stat : 136850 (roundingsat) R 136847 136847 136420 0 -1 4194304 992368 0 1 0 332726 7285 0 0 20 0 1 0 184237633 3587665920 794862 18446744073709551615 4227072 8923577 140722583585008 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9827200 9836688 40435712 140722583591156 140722583591462 140722583591462 140722583597034 0
/proc/136850/statm: 875895 794862 2528 1147 0 863321 0
Current children cumulated CPU time: 3402.76 s
Current children cumulated vsize: 3507772 KiB
Current children cumulated memory: 3182520 KiB

[startup+3468.8 s]
/proc/loadavg: 1.16 1.50 2.67 2/247 137190
/proc/meminfo: memFree=66184320/131382120 swapFree=33010416/33010684
[pid=136847] ppid=136844 vsize=4192 memory=3072 CPUtime=2.65 cores=5,7
/proc/136847/stat : 136847 (run-opt-ls-log.) S 136844 136847 136420 0 -1 4194304 241 49739 0 0 0 0 243 22 20 0 1 0 184237357 4292608 768 18446744073709551615 94429003321344 94429004215877 140736402146368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94429004454928 94429004502672 94429027250176 140736402147609 140736402147807 140736402147807 140736402153411 0
/proc/136847/statm: 1048 768 704 219 0 110 0
[pid=136850] ppid=136847 vsize=3503580 memory=3179448 CPUtime=3405.62 cores=5,7
/proc/136850/stat : 136850 (roundingsat) S 136847 136847 136420 0 -1 4195840 992377 0 1 0 333137 7425 0 0 20 0 1 0 184237633 3587665920 794862 18446744073709551615 4227072 8923577 140722583585008 140722583582056 140221065714519 0 0 0 8405026 1 0 0 17 7 0 0 0 0 0 9827200 9836688 40435712 140722583591156 140722583591462 140722583591462 140722583597034 25
/proc/136850/statm: 875895 794862 2528 1147 0 863321 0
Current children cumulated CPU time: 3408.27 s
Current children cumulated vsize: 3507772 KiB
Current children cumulated memory: 3182520 KiB

[startup+3472 s]*
/proc/loadavg: 1.14 1.50 2.66 2/246 137190
/proc/meminfo: memFree=65974784/131382120 swapFree=33010416/33010684
[pid=136847] ppid=136844 vsize=4192 memory=3072 CPUtime=2.65 cores=5,7
/proc/136847/stat : 136847 (run-opt-ls-log.) S 136844 136847 136420 0 -1 4194304 241 49739 0 0 0 0 243 22 20 0 1 0 184237357 4292608 768 18446744073709551615 94429003321344 94429004215877 140736402146368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94429004454928 94429004502672 94429027250176 140736402147609 140736402147807 140736402147807 140736402153411 0
/proc/136847/statm: 1048 768 704 219 0 110 0
[pid=136850] ppid=136847 vsize=3503580 memory=3179448 CPUtime=3405.62 cores=5,7
/proc/136850/stat : 136850 (roundingsat) S 136847 136847 136420 0 -1 4195840 992377 0 1 0 333137 7425 0 0 20 0 1 0 184237633 3587665920 794862 18446744073709551615 4227072 8923577 140722583585008 140722583582056 140221065714519 0 0 0 8405026 1 0 0 17 7 0 0 0 0 0 9827200 9836688 40435712 140722583591156 140722583591462 140722583591462 140722583597034 25
/proc/136850/statm: 875895 794862 2528 1147 0 863321 0
Current children cumulated CPU time: 3408.27 s
Current children cumulated vsize: 3507772 KiB
Current children cumulated memory: 3182520 KiB

[startup+3473.6 s]
/proc/loadavg: 1.14 1.50 2.66 1/246 137190
/proc/meminfo: memFree=65934464/131382120 swapFree=33010416/33010684
[pid=136847] ppid=136844 vsize=4192 memory=3072 CPUtime=2.65 cores=5,7
/proc/136847/stat : 136847 (run-opt-ls-log.) S 136844 136847 136420 0 -1 4194304 241 49739 0 0 0 0 243 22 20 0 1 0 184237357 4292608 768 18446744073709551615 94429003321344 94429004215877 140736402146368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94429004454928 94429004502672 94429027250176 140736402147609 140736402147807 140736402147807 140736402153411 0
/proc/136847/statm: 1048 768 704 219 0 110 0
[pid=136850] ppid=136847 vsize=3503580 memory=3179448 CPUtime=3405.62 cores=5,7
/proc/136850/stat : 136850 (roundingsat) S 136847 136847 136420 0 -1 4195840 992377 0 1 0 333137 7425 0 0 20 0 1 0 184237633 3587665920 794862 18446744073709551615 4227072 8923577 140722583585008 140722583582056 140221065714519 0 0 0 8405026 1 0 0 17 7 0 0 0 0 0 9827200 9836688 40435712 140722583591156 140722583591462 140722583591462 140722583597034 25
/proc/136850/statm: 875895 794862 2528 1147 0 863321 0
Current children cumulated CPU time: 3408.27 s
Current children cumulated vsize: 3507772 KiB
Current children cumulated memory: 3182520 KiB

[startup+3474 s]*
/proc/loadavg: 1.14 1.50 2.66 1/246 137190
/proc/meminfo: memFree=65934468/131382120 swapFree=33010416/33010684
[pid=136847] ppid=136844 vsize=4192 memory=3072 CPUtime=2.65 cores=5,7
/proc/136847/stat : 136847 (run-opt-ls-log.) S 136844 136847 136420 0 -1 4194304 241 49739 0 0 0 0 243 22 20 0 1 0 184237357 4292608 768 18446744073709551615 94429003321344 94429004215877 140736402146368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94429004454928 94429004502672 94429027250176 140736402147609 140736402147807 140736402147807 140736402153411 0
/proc/136847/statm: 1048 768 704 219 0 110 0
[pid=136850] ppid=136847 vsize=3503580 memory=3179448 CPUtime=3405.62 cores=5,7
/proc/136850/stat : 136850 (roundingsat) S 136847 136847 136420 0 -1 4195840 992377 0 1 0 333137 7425 0 0 20 0 1 0 184237633 3587665920 794862 18446744073709551615 4227072 8923577 140722583585008 140722583582056 140221065714519 0 0 0 8405026 1 0 0 17 7 0 0 0 0 0 9827200 9836688 40435712 140722583591156 140722583591462 140722583591462 140722583597034 25
/proc/136850/statm: 875895 794862 2528 1147 0 863321 0
Current children cumulated CPU time: 3408.27 s
Current children cumulated vsize: 3507772 KiB
Current children cumulated memory: 3182520 KiB

[startup+3474.4 s]
/proc/loadavg: 1.14 1.50 2.66 1/246 137190
/proc/meminfo: memFree=65934468/131382120 swapFree=33010416/33010684
[pid=136847] ppid=136844 vsize=4192 memory=3072 CPUtime=2.65 cores=5,7
/proc/136847/stat : 136847 (run-opt-ls-log.) S 136844 136847 136420 0 -1 4194304 241 49739 0 0 0 0 243 22 20 0 1 0 184237357 4292608 768 18446744073709551615 94429003321344 94429004215877 140736402146368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94429004454928 94429004502672 94429027250176 140736402147609 140736402147807 140736402147807 140736402153411 0
/proc/136847/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 2.65 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

[startup+3474.5 s]
/proc/loadavg: 1.14 1.50 2.66 1/246 137190
/proc/meminfo: memFree=65934468/131382120 swapFree=33010416/33010684
[pid=136847] ppid=136844 vsize=4192 memory=3072 CPUtime=2.65 cores=5,7
/proc/136847/stat : 136847 (run-opt-ls-log.) S 136844 136847 136420 0 -1 4194304 241 49739 0 0 0 0 243 22 20 0 1 0 184237357 4292608 768 18446744073709551615 94429003321344 94429004215877 140736402146368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94429004454928 94429004502672 94429027250176 140736402147609 140736402147807 140736402147807 140736402153411 0
/proc/136847/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 2.65 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

Child status: 153

Real time (s): 3474.55
CPU time (s): 3408.47
CPU user time (s): 3333.82
CPU system time (s): 74.6472
CPU usage (%): 98.0981
Max. virtual memory (cumulated for all children) (KiB): 3507772
Max. memory (cumulated for all children) (KiB): 3182520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3333.82
system time used= 74.6472
maximum resident set size= 3211056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1042366
page faults= 1
swaps= 0
block input operations= 4048
block output operations= 204828736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 690
involuntary context switches= 23688


# summary of solver processes directly reported to runsolver:
#   pid: 136847
#   total CPU time (s): 3408.47
#   total CPU user time (s): 3333.82
#   total CPU system time (s): 74.6472

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3473 second user time and 34.0099 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2025-07-16 19:06:25
IDJOB=4532050
IDBENCH=155700
IDSOLVER=3392
FILE ID=nodeC002/4532050-1752685585
RUNJOBID= nodeC002-1752684911-136687
SLURM_JOB_ID= 9686895
Free space on /tmp= 431528 MiB

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

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

MD5SUM BENCH= 5a166d04cd3e9d201c89375e6d39e5e9
RANDOM SEED=2061402203

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		: 3662.176
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		: 3661.471
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.689
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.279
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		: 3662.555
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		: 1396.690
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		: 3700.000
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.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.223
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:        24144240 kB
MemAvailable:   124375408 kB
Buffers:            2128 kB
Cached:         100914016 kB
SwapCached:           28 kB
Active:          5869144 kB
Inactive:       100058268 kB
Active(anon):    5033236 kB
Inactive(anon):     4248 kB
Active(file):     835908 kB
Inactive(file): 100054020 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:          12254048 kB
Writeback:             0 kB
AnonPages:       5012492 kB
Mapped:           122572 kB
Shmem:             26124 kB
KReclaimable:     361736 kB
Slab:             836472 kB
SReclaimable:     361736 kB
SUnreclaim:       474736 kB
KernelStack:        4256 kB
PageTables:        13348 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    6032640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149704 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1931264 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= 430892 MiB
End job on nodeC002 at 2025-07-16 20:04:20