Trace number 4502603

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 63f22adOPT cert.122 90.4812 91.8153

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
heinz/normalized-neos-538867.opb
MD5SUMfe13d2dbd64f41a692445fbdcafba3bd
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark122
Best CPU time to get the best result obtained on this benchmark28.2274
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables792
Total number of constraints1170
Number of constraints which are clauses1143
Number of constraints which are cardinality constraints (but not clauses)27
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint18
Number of terms in the objective function 666
Biggest coefficient in the objective function 80
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 18684
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 80
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 18684
Number of bits of the biggest sum of numbers15
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-4502603-1751419679.opb'
0.00/0.02	c 	read 0.05MB  (2.38ms)
0.00/0.02	c	 [cnf: #variables 792 #clauses 1171 #duplicates 0 #arr 4554]
0.00/0.02	c output proof to 'PROOFDIR/proof-4502603-1751419679'
0.00/0.02	c 
0.00/0.02	c make graph and approximate orbits
0.00/0.02	c	 [group: #orbits ~= 108] (2.77ms)
0.00/0.02	c 
0.00/0.02	c detect special group actions
0.00/0.02	c 	probe for Johnson action (limit=64)
0.00/0.02	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.02	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.02	c 	 (0.67ms)
0.00/0.02	c 
0.00/0.02	c detect symmetries on remainder
0.00/0.02	c 	[graph: #vertices 4339 #edges 13860]
0.00/0.02	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.02	c 	 [group: #symmetries 8.00*10^0 #generators 2] (2.96ms)
0.00/0.02	c 
0.00/0.02	c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.02	c 	(0.01ms)
0.00/0.02	c 
0.00/0.02	c finalize break order and special generators
0.00/0.02	c 
0.00/0.02	c add generic predicates (break_depth=20)
0.00/0.02	c 	added predicates for 2 generators (0.02ms)
0.00/0.02	c 
0.00/0.02	c generation finished
0.00/0.02	c 	[sbp: #constraints 110 #add_vars 36]
0.00/0.02	c 
0.00/0.02	c write result to 'HOME/instance-4502603-1751419679.opb.pre'
0.00/0.02	c 	wrote 0.05MB (0.50ms)
0.00/0.02	c ------------------------------------------------------------------
0.00/0.02	c                   2.96ms 26.50% detect_generic
0.00/0.02	c                   2.77ms 24.80% approx_orbits
0.00/0.02	c                   2.38ms 21.30% parse
0.00/0.02	c                   1.79ms 16.02% other
0.00/0.02	c                   0.67ms  6.02% detect_special
0.00/0.02	c                   0.50ms  4.45% output
0.00/0.02	c                   0.07ms  0.67% finalize_order
0.00/0.02	c                   0.02ms  0.15% break_generic
0.00/0.02	c                   0.01ms  0.08% optimize_gens
0.00/0.02	c         ───────────────────────────────────────────────
0.00/0.02	c                  11.17ms   100% total
0.00/0.02	c ------------------------------------------------------------------
0.00/0.04	c RoundingSat 2
0.00/0.04	c branch pb25
0.00/0.04	c commit 63f22ad
0.00/0.07	c #variables 828 #constraints 1298
0.00/0.07	c objective is ce32 
0.00/0.08	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.08	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.08	c bounds 467 >= 0 @ 0.028945
0.00/0.09	c rational objective 32
0.16/0.24	c bounds 447 >= 0 @ 0.147455
0.16/0.28	c bounds 437 >= 0 @ 0.191011
0.40/0.60	c bounds 427 >= 0 @ 0.453044
0.40/0.60	c bounds 412 >= 0 @ 0.456829
0.49/0.61	c bounds 382 >= 0 @ 0.45853
0.49/0.61	c bounds 377 >= 0 @ 0.460265
0.49/0.63	c bounds 377 >= 20 @ 0.479196
0.78/0.91	c #Conflicts:       1000 | #Constraints:       2315
0.78/0.91	c bounds 377 >= 40 @ 0.735274
0.78/0.91	c bounds 362 >= 40 @ 0.736744
0.78/0.92	c bounds 347 >= 40 @ 0.739892
0.78/0.92	c bounds 327 >= 40 @ 0.744635
0.78/0.92	c bounds 307 >= 40 @ 0.746136
0.78/0.92	c bounds 287 >= 40 @ 0.747514
0.78/0.93	c bounds 267 >= 40 @ 0.747885
0.78/0.93	c bounds 247 >= 40 @ 0.749026
0.78/0.93	c bounds 227 >= 40 @ 0.749648
0.78/0.93	c bounds 207 >= 40 @ 0.749659
0.78/0.95	c #Conflicts:       2000 | #Constraints:       3330
0.78/0.95	c INPROCESSING
0.78/0.95	c GARBAGE COLLECT
0.78/0.95	c rational objective 40
0.78/0.98	c bounds 202 >= 40 @ 0.801313
0.88/1.01	c bounds 182 >= 40 @ 0.818614
0.97/1.19	c bounds 162 >= 40 @ 0.988795
1.07/1.22	c bounds 147 >= 40 @ 1.01164
1.16/1.39	c bounds 137 >= 40 @ 1.17283
1.47/1.68	c #Conflicts:       3000 | #Constraints:       3335
1.47/1.68	c #Conflicts:       4000 | #Constraints:       4336
1.47/1.68	c INPROCESSING
1.47/1.68	c GARBAGE COLLECT
1.47/1.68	c rational objective 40
2.56/2.70	c #Conflicts:       5000 | #Constraints:       3745
2.56/2.70	c #Conflicts:       6000 | #Constraints:       4755
2.56/2.70	c INPROCESSING
2.56/2.70	c GARBAGE COLLECT
2.56/2.70	c rational objective 40
2.56/2.78	c bounds 127 >= 40 @ 2.47604
2.65/2.84	c #Conflicts:       7000 | #Constraints:       3759
2.65/2.84	c bounds 127 >= 55 @ 2.53485
3.34/3.53	c #Conflicts:       8000 | #Constraints:       4762
3.34/3.53	c #Conflicts:       9000 | #Constraints:       5767
3.34/3.53	c INPROCESSING
3.34/3.53	c GARBAGE COLLECT
3.34/3.53	c rational objective 55
4.34/4.56	c #Conflicts:      10000 | #Constraints:       4463
4.34/4.56	c #Conflicts:      11000 | #Constraints:       5468
4.34/4.56	c #Conflicts:      12000 | #Constraints:       6470
4.34/4.56	c INPROCESSING
4.34/4.56	c GARBAGE COLLECT
4.34/4.56	c rational objective 55
5.52/5.74	c #Conflicts:      13000 | #Constraints:       4927
5.52/5.74	c #Conflicts:      14000 | #Constraints:       5930
5.52/5.74	c #Conflicts:      15000 | #Constraints:       6932
5.52/5.74	c INPROCESSING
5.52/5.74	c GARBAGE COLLECT
5.52/5.74	c rational objective 55
6.81/7.07	c #Conflicts:      16000 | #Constraints:       5153
6.81/7.07	c #Conflicts:      17000 | #Constraints:       6153
6.81/7.07	c #Conflicts:      18000 | #Constraints:       7157
6.81/7.07	c INPROCESSING
6.81/7.07	c GARBAGE COLLECT
6.81/7.07	c rational objective 55
8.19/8.46	c #Conflicts:      19000 | #Constraints:       5178
8.19/8.46	c #Conflicts:      20000 | #Constraints:       6181
8.19/8.46	c #Conflicts:      21000 | #Constraints:       7184
8.19/8.46	c INPROCESSING
8.19/8.46	c GARBAGE COLLECT
8.19/8.46	c rational objective 55
9.78/10.01	c #Conflicts:      22000 | #Constraints:       4966
9.78/10.01	c #Conflicts:      23000 | #Constraints:       5967
9.78/10.01	c #Conflicts:      24000 | #Constraints:       6969
9.78/10.01	c #Conflicts:      25000 | #Constraints:       7971
9.78/10.01	c INPROCESSING
9.78/10.01	c GARBAGE COLLECT
9.78/10.01	c rational objective 55
11.35/11.66	c #Conflicts:      26000 | #Constraints:       5578
11.35/11.66	c #Conflicts:      27000 | #Constraints:       6578
11.35/11.66	c #Conflicts:      28000 | #Constraints:       7580
11.35/11.66	c #Conflicts:      29000 | #Constraints:       8580
11.35/11.66	c INPROCESSING
11.35/11.66	c GARBAGE COLLECT
11.35/11.66	c rational objective 55
12.94/13.28	c #Conflicts:      30000 | #Constraints:       5981
12.94/13.28	c #Conflicts:      31000 | #Constraints:       6983
12.94/13.28	c #Conflicts:      32000 | #Constraints:       7985
12.94/13.28	c #Conflicts:      33000 | #Constraints:       8986
12.94/13.28	c INPROCESSING
12.94/13.28	c GARBAGE COLLECT
12.94/13.28	c rational objective 55
15.53/15.89	c #Conflicts:      34000 | #Constraints:       6164
15.53/15.89	c #Conflicts:      35000 | #Constraints:       7164
15.53/15.89	c #Conflicts:      36000 | #Constraints:       8165
15.53/15.89	c #Conflicts:      37000 | #Constraints:       9167
15.53/15.89	c INPROCESSING
15.53/15.89	c GARBAGE COLLECT
15.53/15.89	c rational objective 55
17.73/18.09	c #Conflicts:      38000 | #Constraints:       6167
17.73/18.09	c #Conflicts:      39000 | #Constraints:       7167
17.73/18.09	c #Conflicts:      40000 | #Constraints:       8167
17.73/18.09	c #Conflicts:      41000 | #Constraints:       9167
17.73/18.09	c INPROCESSING
17.73/18.09	c GARBAGE COLLECT
17.73/18.09	c rational objective 55
19.82/20.19	c #Conflicts:      42000 | #Constraints:       5976
19.82/20.19	c #Conflicts:      43000 | #Constraints:       6977
19.82/20.19	c #Conflicts:      44000 | #Constraints:       7977
19.82/20.19	c #Conflicts:      45000 | #Constraints:       8977
19.82/20.19	c bounds 127 >= 70 @ 19.2424
20.01/20.32	c #Conflicts:      46000 | #Constraints:       9985
20.01/20.32	c INPROCESSING
20.01/20.32	c GARBAGE COLLECT
20.01/20.32	c rational objective 70
22.00/22.33	c #Conflicts:      47000 | #Constraints:       6591
22.00/22.33	c #Conflicts:      48000 | #Constraints:       7592
22.00/22.33	c #Conflicts:      49000 | #Constraints:       8593
22.00/22.33	c #Conflicts:      50000 | #Constraints:       9595
22.00/22.33	c #Conflicts:      51000 | #Constraints:      10597
22.00/22.33	c INPROCESSING
22.00/22.33	c GARBAGE COLLECT
22.00/22.33	c rational objective 70
24.29/24.60	c #Conflicts:      52000 | #Constraints:       6992
24.29/24.60	c #Conflicts:      53000 | #Constraints:       7994
24.29/24.60	c #Conflicts:      54000 | #Constraints:       8996
24.29/24.60	c #Conflicts:      55000 | #Constraints:       9997
24.29/24.60	c #Conflicts:      56000 | #Constraints:      10998
24.29/24.60	c INPROCESSING
24.29/24.60	c GARBAGE COLLECT
24.29/24.60	c rational objective 70
26.59/26.94	c #Conflicts:      57000 | #Constraints:       7188
26.59/26.94	c #Conflicts:      58000 | #Constraints:       8188
26.59/26.94	c #Conflicts:      59000 | #Constraints:       9188
26.59/26.94	c #Conflicts:      60000 | #Constraints:      10190
26.59/26.94	c #Conflicts:      61000 | #Constraints:      11192
26.59/26.94	c INPROCESSING
26.59/26.94	c GARBAGE COLLECT
26.59/26.94	c rational objective 70
29.38/29.72	c #Conflicts:      62000 | #Constraints:       7184
29.38/29.72	c #Conflicts:      63000 | #Constraints:       8186
29.38/29.72	c #Conflicts:      64000 | #Constraints:       9186
29.38/29.72	c #Conflicts:      65000 | #Constraints:      10187
29.38/29.72	c #Conflicts:      66000 | #Constraints:      11187
29.38/29.72	c INPROCESSING
29.38/29.72	c GARBAGE COLLECT
29.38/29.72	c rational objective 70
32.07/32.42	c #Conflicts:      67000 | #Constraints:       6977
32.07/32.42	c #Conflicts:      68000 | #Constraints:       7978
32.07/32.42	c #Conflicts:      69000 | #Constraints:       8979
32.07/32.42	c #Conflicts:      70000 | #Constraints:       9980
32.07/32.42	c #Conflicts:      71000 | #Constraints:      10982
32.07/32.42	c #Conflicts:      72000 | #Constraints:      11983
32.07/32.42	c bounds 122 >= 70 @ 31.0567
32.07/32.47	c INPROCESSING
32.07/32.47	c GARBAGE COLLECT
32.07/32.47	c rational objective 70
34.67/35.02	c #Conflicts:      73000 | #Constraints:       7588
34.67/35.02	c #Conflicts:      74000 | #Constraints:       8590
34.67/35.02	c #Conflicts:      75000 | #Constraints:       9590
34.67/35.02	c #Conflicts:      76000 | #Constraints:      10590
34.67/35.02	c #Conflicts:      77000 | #Constraints:      11590
34.67/35.02	c bounds 122 >= 80 @ 33.5824
35.28/35.98	c #Conflicts:      78000 | #Constraints:      12598
35.28/35.98	c INPROCESSING
35.28/35.98	c GARBAGE COLLECT
35.28/35.98	c rational objective 80
38.93/39.65	c #Conflicts:      79000 | #Constraints:       7988
38.93/39.65	c #Conflicts:      80000 | #Constraints:       8989
38.93/39.65	c #Conflicts:      81000 | #Constraints:       9991
38.93/39.65	c #Conflicts:      82000 | #Constraints:      10992
38.93/39.65	c #Conflicts:      83000 | #Constraints:      11994
38.93/39.65	c #Conflicts:      84000 | #Constraints:      12994
38.93/39.65	c INPROCESSING
38.93/39.65	c GARBAGE COLLECT
38.93/39.65	c rational objective 80
41.90/42.62	c #Conflicts:      85000 | #Constraints:       8198
41.90/42.62	c #Conflicts:      86000 | #Constraints:       9202
41.90/42.62	c #Conflicts:      87000 | #Constraints:      10203
41.90/42.62	c #Conflicts:      88000 | #Constraints:      11205
41.90/42.62	c #Conflicts:      89000 | #Constraints:      12207
41.90/42.62	c #Conflicts:      90000 | #Constraints:      13208
41.90/42.62	c INPROCESSING
41.90/42.62	c GARBAGE COLLECT
41.90/42.62	c rational objective 80
45.27/46.04	c #Conflicts:      91000 | #Constraints:       8206
45.27/46.04	c #Conflicts:      92000 | #Constraints:       9207
45.27/46.04	c #Conflicts:      93000 | #Constraints:      10209
45.27/46.04	c #Conflicts:      94000 | #Constraints:      11209
45.27/46.04	c #Conflicts:      95000 | #Constraints:      12209
45.27/46.04	c #Conflicts:      96000 | #Constraints:      13210
45.27/46.04	c INPROCESSING
45.27/46.04	c GARBAGE COLLECT
45.27/46.04	c rational objective 80
49.91/50.71	c #Conflicts:      97000 | #Constraints:       7998
49.91/50.71	c #Conflicts:      98000 | #Constraints:       9000
49.91/50.71	c #Conflicts:      99000 | #Constraints:      10000
49.91/50.71	c #Conflicts:     100000 | #Constraints:      11000
49.91/50.71	c #Conflicts:     101000 | #Constraints:      12000
49.91/50.71	c #Conflicts:     102000 | #Constraints:      13001
49.91/50.71	c #Conflicts:     103000 | #Constraints:      14002
49.91/50.71	c INPROCESSING
49.91/50.71	c GARBAGE COLLECT
49.91/50.71	c rational objective 80
54.10/54.92	c #Conflicts:     104000 | #Constraints:       8607
54.10/54.92	c #Conflicts:     105000 | #Constraints:       9608
54.10/54.92	c #Conflicts:     106000 | #Constraints:      10608
54.10/54.92	c #Conflicts:     107000 | #Constraints:      11608
54.10/54.92	c #Conflicts:     108000 | #Constraints:      12608
54.10/54.92	c #Conflicts:     109000 | #Constraints:      13608
54.10/54.92	c #Conflicts:     110000 | #Constraints:      14608
54.10/54.92	c INPROCESSING
54.10/54.92	c GARBAGE COLLECT
54.10/54.92	c rational objective 80
58.08/59.00	c #Conflicts:     111000 | #Constraints:       8994
58.08/59.00	c #Conflicts:     112000 | #Constraints:       9994
58.08/59.00	c #Conflicts:     113000 | #Constraints:      10994
58.08/59.00	c #Conflicts:     114000 | #Constraints:      11994
58.08/59.00	c #Conflicts:     115000 | #Constraints:      12994
58.08/59.00	c #Conflicts:     116000 | #Constraints:      13994
58.08/59.00	c #Conflicts:     117000 | #Constraints:      14994
58.08/59.00	c INPROCESSING
58.08/59.00	c GARBAGE COLLECT
58.08/59.00	c rational objective 80
62.47/63.37	c #Conflicts:     118000 | #Constraints:       9208
62.47/63.37	c #Conflicts:     119000 | #Constraints:      10208
62.47/63.37	c #Conflicts:     120000 | #Constraints:      11208
62.47/63.37	c #Conflicts:     121000 | #Constraints:      12209
62.47/63.37	c #Conflicts:     122000 | #Constraints:      13209
62.47/63.37	c #Conflicts:     123000 | #Constraints:      14209
62.47/63.37	c #Conflicts:     124000 | #Constraints:      15210
62.47/63.37	c INPROCESSING
62.47/63.37	c GARBAGE COLLECT
62.47/63.37	c rational objective 80
67.34/68.46	c #Conflicts:     125000 | #Constraints:       9098
67.34/68.46	c #Conflicts:     126000 | #Constraints:      10098
67.34/68.46	c #Conflicts:     127000 | #Constraints:      11098
67.34/68.46	c #Conflicts:     128000 | #Constraints:      12101
67.34/68.46	c #Conflicts:     129000 | #Constraints:      13101
67.34/68.46	c #Conflicts:     130000 | #Constraints:      14101
67.34/68.46	c #Conflicts:     131000 | #Constraints:      15101
67.34/68.46	c INPROCESSING
67.34/68.46	c GARBAGE COLLECT
67.34/68.46	c rational objective 80
71.93/73.06	c #Conflicts:     132000 | #Constraints:       8962
71.93/73.06	c #Conflicts:     133000 | #Constraints:       9962
71.93/73.06	c #Conflicts:     134000 | #Constraints:      10962
71.93/73.06	c #Conflicts:     135000 | #Constraints:      11962
71.93/73.06	c #Conflicts:     136000 | #Constraints:      12962
71.93/73.06	c #Conflicts:     137000 | #Constraints:      13962
71.93/73.06	c #Conflicts:     138000 | #Constraints:      14962
71.93/73.06	c #Conflicts:     139000 | #Constraints:      15962
71.93/73.06	c INPROCESSING
71.93/73.06	c GARBAGE COLLECT
71.93/73.06	c rational objective 80
78.84/80.02	c #Conflicts:     140000 | #Constraints:       9500
78.84/80.02	c #Conflicts:     141000 | #Constraints:      10500
78.84/80.02	c #Conflicts:     142000 | #Constraints:      11500
78.84/80.02	c #Conflicts:     143000 | #Constraints:      12500
78.84/80.02	c #Conflicts:     144000 | #Constraints:      13500
78.84/80.02	c #Conflicts:     145000 | #Constraints:      14500
78.84/80.02	c #Conflicts:     146000 | #Constraints:      15500
78.84/80.02	c #Conflicts:     147000 | #Constraints:      16500
78.84/80.02	c INPROCESSING
78.84/80.02	c GARBAGE COLLECT
78.84/80.02	c rational objective 80
84.61/85.84	c #Conflicts:     148000 | #Constraints:       9966
84.61/85.84	c #Conflicts:     149000 | #Constraints:      10966
84.61/85.84	c #Conflicts:     150000 | #Constraints:      11966
84.61/85.84	c #Conflicts:     151000 | #Constraints:      12966
84.61/85.84	c #Conflicts:     152000 | #Constraints:      13966
84.61/85.84	c #Conflicts:     153000 | #Constraints:      14966
84.61/85.84	c #Conflicts:     154000 | #Constraints:      15966
84.61/85.84	c #Conflicts:     155000 | #Constraints:      16966
84.61/85.84	c INPROCESSING
84.61/85.84	c GARBAGE COLLECT
84.61/85.84	c rational objective 80
87.11/88.39	c #Conflicts:     156000 | #Constraints:      10175
87.11/88.39	c #Conflicts:     157000 | #Constraints:      11175
87.11/88.39	c #Conflicts:     158000 | #Constraints:      12175
87.11/88.39	c bounds 122 >= 90 @ 84.8654
90.39/91.62	c #Conflicts:     159000 | #Constraints:      13181
90.39/91.62	c #Conflicts:     160000 | #Constraints:      14181
90.39/91.62	c #Conflicts:     161000 | #Constraints:      15182
90.39/91.62	c #Conflicts:     162000 | #Constraints:      16182
90.39/91.62	c bounds 122 >= 122 @ 88.0355
90.39/91.62	c cpu time 88.0356 s
90.39/91.62	c deterministic time 7280804501 7.28e+09
90.39/91.62	c optimization time 0.018381 s
90.39/91.62	c total solve time 87.998 s
90.39/91.62	c core-guided solve time 42.9599 s
90.39/91.62	c propagation time 48.4766 s
90.39/91.62	c conflict analysis time 31.9699 s
90.39/91.62	c propagations 22011566
90.39/91.62	c resolve steps 1883025
90.39/91.62	c decisions 726829
90.39/91.62	c conflicts 162974
90.39/91.62	c restarts 443
90.39/91.62	c inprocessing phases 31
90.39/91.62	c garbage collections 31 ,( 100.00 )
90.39/91.62	c input clauses 1279 ,( 94.53 )
90.39/91.62	c input cardinalities 36 ,( 2.66 )
90.39/91.62	c input general constraints 38 ,( 2.81 )
90.39/91.62	c input average constraint length 19.53
90.39/91.62	c input average constraint degree 315.11
90.39/91.62	c learned clauses 84694 ,( 51.90 )
90.39/91.62	c learned cardinalities 462 ,( 0.28 )
90.39/91.62	c learned general constraints 78026 ,( 47.82 )
90.39/91.62	c learned average constraint length 147.93
90.39/91.62	c learned average constraint degree 884671806.27
90.39/91.62	c watched  CF 32, 64, 128, Arb: 5657 , 0 , 0 , 0
90.39/91.62	c counting CF 32, 64, 128, Arb: 72408 , 0 , 0 , 0
90.39/91.62	c watched   constraints 5657 ,( 7.25 ) 
90.39/91.62	c counting  constraints 72407 ,( 92.75 ) 
90.39/91.62	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 33165592 , 2427362 , 216661211 ,( 4570721 , 212090490 )
90.39/91.62	c gcd simplifications 4601
90.39/91.62	c detected cardinalities 139
90.39/91.62	c weakened non-implied lits 37289177
90.39/91.62	c weakened non-implying lits 13120
90.39/91.62	c original variables 828
90.39/91.62	c clausal propagations 3697957
90.39/91.62	c cardinality propagations 1506552
90.39/91.62	c watched propagations 12780
90.39/91.62	c counting propagations 15706684
90.39/91.62	c watch lookups 1973292042
90.39/91.62	c watch backjump lookups 0
90.39/91.62	c watch checks 437230244
90.39/91.62	c propagation checks 4650817520
90.39/91.62	c constraint additions 173661114
90.39/91.62	c trail pops 22900670
90.39/91.62	c formula constraints 1298
90.39/91.62	c learned constraints 162799
90.39/91.62	c bound constraints 34
90.39/91.62	c core-guided constraints 21
90.39/91.62	c encountered formula constraints 497130
90.39/91.62	c encountered learned constraints 1460540
90.39/91.62	c encountered bound constraints 5670
90.39/91.62	c encountered core-guided constraints 37706
90.39/91.62	c LP total time 11.3947 s
90.39/91.62	c LP solve time 7.09 s
90.39/91.62	c LP constraints added 1818
90.39/91.62	c LP constraints removed 505
90.39/91.62	c LP pivots internal 162978
90.39/91.62	c LP pivots root 1537
90.39/91.62	c LP calls 4715
90.39/91.62	c LP optimalities 4541
90.39/91.62	c LP no pivot count 1093
90.39/91.62	c LP infeasibilities 174
90.39/91.62	c LP valid Farkas constraints 174
90.39/91.62	c LP learned Farkas constraints 174
90.39/91.62	c LP basis resets 0
90.39/91.62	c LP cycling count 0
90.39/91.62	c LP singular count 0
90.39/91.62	c LP no primal count 0
90.39/91.62	c LP no farkas count 0
90.39/91.62	c LP other issue count 0
90.39/91.62	c LP Gomory cuts 35
90.39/91.62	c LP learned cuts 485
90.39/91.62	c LP deleted cuts 505
90.39/91.62	c LP encountered Gomory constraints 46
90.39/91.62	c LP encountered Farkas constraints 38413
90.39/91.62	c LP encountered learned Farkas constraints 6320
90.39/91.62	c CG auxiliary variables introduced 9
90.39/91.62	c CG solutions found 22
90.39/91.62	c CG cores constructed 6
90.39/91.62	c CG core cardinality constraints returned 0
90.39/91.62	c CG unit cores 0
90.39/91.62	c CG single cores 6
90.39/91.62	c CG blocks removed during cardinality reduction 0
90.39/91.62	c CG first core best 0
90.39/91.62	c CG decision core best 0
90.39/91.62	c CG core reduction tie 0
90.39/91.62	c CG core degree average 1.00
90.39/91.62	c CG core slack average 149.00
90.39/91.62	c CG core upper bound improvements 0
90.39/91.62	c STR number of successful calls 0
90.39/91.62	c STR number of unsuccessful calls 0
90.39/91.62	c STR number of inconclusive calls 0
90.39/91.62	c STR number of successful attempts 0
90.39/91.62	c STR number of unsuccessful attempts 0
90.39/91.62	c STR number of inconclusive attempts 0
90.39/91.62	c STR average degree increase per successful call inf
90.39/91.62	c STR average degree increase per successful attempt inf
90.39/91.62	c STR total number of conflicts for successful attempts 0
90.39/91.62	c STR total number of conflicts for unsuccessful attempts 0
90.39/91.62	c STR total number of conflicts for inconclusive attempts 0
90.39/91.62	c STR average number of conflicts per successful attempt inf
90.39/91.62	c STR average number of conflicts per unsuccessful attempt inf
90.39/91.62	c STR average number of conflicts per inconclusive attempt inf
90.39/91.62	c AVG.sumWPerc 83.25 
90.39/91.62	c bigint constraints 0 
90.39/91.62	o 122
90.39/91.62	s OPTIMUM FOUND
90.39/91.62	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 -x519 -x520 -x521 -x522 -x523 x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 x547 -x548 -x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 x562 -x563 -x564 -x565 -x566 -x567 x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 x594 -x595 -x596 x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 x667 x668 -x669 x670 -x671 -x672 -x673 x674 -x675 x676 -x677 -x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 x688 x689 -x690 -x691 x692 -x693 -x694 -x695 -x696 x697 -x698 -x699 -x700 x701 -x702 x703 x704 -x705 x706 -x707 -x708 x709 -x710 -x711 x712 -x713 -x714 x715 -x716 x717 x718 x719 -x720 x721 -x722 -x723 x724 x725 x726 x727 x728 -x729 -x730 -x731 -x732 x733 x734 x735 -x736 x737 -x738 x739 -x740 -x741 x742 -x743 x744 x745 x746 -x747 x748 -x749 -x750 x751 x752 -x753 -x754 x755 -x756 x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 x766 -x767 -x768 x769 x770 x771 -x772 x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 x785 -x786 -x787 -x788 x789 -x790 -x791 -x792

Verifier Data 

OK	122

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

Wed Jul  2 07:27:29 CEST 2025
extraparms=--no-checkDeletion
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED BOUNDS 122 <= obj <= 122
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS 122 <= obj <= 122
--summary--
ALL OK

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (63035 MiB free)
  memory of node 1: 64507 MiB (32974 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
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=59734, runsolver pid=59731

[startup+0.100069 s]*
/proc/loadavg: 2.23 2.18 2.18 3/259 59737
/proc/meminfo: memFree=98299408/131382112 swapFree=33009904/33010684
[pid=59734] ppid=59731 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/59734/stat : 59734 (run-opt-ls-log.) S 59731 59734 57001 0 -1 4194304 242 714 0 0 0 0 0 0 20 0 1 0 57646838 4292608 736 18446744073709551615 94597047824384 94597048718917 140731281518016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94597048957968 94597049005712 94597051809792 140731281520923 140731281521121 140731281521121 140731281526723 0
/proc/59734/statm: 1048 736 672 219 0 110 0
[pid=59737] ppid=59734 vsize=58388 memory=12692 CPUtime=0.05 cores=5,7
/proc/59737/stat : 59737 (roundingsat) R 59734 59734 57001 0 -1 4194304 1292 0 0 0 4 1 0 0 20 0 1 0 57646841 59789312 3173 18446744073709551615 4227072 8923433 140723215210160 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 10944512 140723215218934 140723215219240 140723215219240 140723215224810 0
/proc/59737/statm: 14597 3173 2336 1147 0 2024 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 62580 KiB
Current children cumulated memory: 15636 KiB

[startup+0.218676 s]*
/proc/loadavg: 2.23 2.18 2.18 3/259 59737
/proc/meminfo: memFree=98298400/131382112 swapFree=33009904/33010684
[pid=59734] ppid=59731 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/59734/stat : 59734 (run-opt-ls-log.) S 59731 59734 57001 0 -1 4194304 242 714 0 0 0 0 0 0 20 0 1 0 57646838 4292608 736 18446744073709551615 94597047824384 94597048718917 140731281518016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94597048957968 94597049005712 94597051809792 140731281520923 140731281521121 140731281521121 140731281526723 0
/proc/59734/statm: 1048 736 672 219 0 110 0
[pid=59737] ppid=59734 vsize=59336 memory=13716 CPUtime=0.16 cores=5,7
/proc/59737/stat : 59737 (roundingsat) R 59734 59734 57001 0 -1 4194304 1511 0 0 0 14 2 0 0 20 0 1 0 57646841 60760064 3429 18446744073709551615 4227072 8923433 140723215210160 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 10944512 140723215218934 140723215219240 140723215219240 140723215224810 0
/proc/59737/statm: 14834 3429 2400 1147 0 2261 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 63528 KiB
Current children cumulated memory: 16660 KiB

[startup+0.314399 s]*
/proc/loadavg: 2.23 2.18 2.18 3/259 59737
/proc/meminfo: memFree=98292540/131382112 swapFree=33009904/33010684
[pid=59734] ppid=59731 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/59734/stat : 59734 (run-opt-ls-log.) S 59731 59734 57001 0 -1 4194304 242 714 0 0 0 0 0 0 20 0 1 0 57646838 4292608 736 18446744073709551615 94597047824384 94597048718917 140731281518016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94597048957968 94597049005712 94597051809792 140731281520923 140731281521121 140731281521121 140731281526723 0
/proc/59734/statm: 1048 736 672 219 0 110 0
[pid=59737] ppid=59734 vsize=59608 memory=16216 CPUtime=0.23 cores=5,7
/proc/59737/stat : 59737 (roundingsat) R 59734 59734 57001 0 -1 4194304 1597 0 0 0 21 2 0 0 20 0 1 0 57646841 61038592 4054 18446744073709551615 4227072 8923433 140723215210160 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 10944512 140723215218934 140723215219240 140723215219240 140723215224810 0
/proc/59737/statm: 14902 4054 2400 1147 0 2329 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 63800 KiB
Current children cumulated memory: 19160 KiB

[startup+0.700287 s]
/proc/loadavg: 2.23 2.18 2.18 3/259 59737
/proc/meminfo: memFree=98282460/131382112 swapFree=33009904/33010684
[pid=59734] ppid=59731 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/59734/stat : 59734 (run-opt-ls-log.) S 59731 59734 57001 0 -1 4194304 242 714 0 0 0 0 0 0 20 0 1 0 57646838 4292608 736 18446744073709551615 94597047824384 94597048718917 140731281518016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94597048957968 94597049005712 94597051809792 140731281520923 140731281521121 140731281521121 140731281526723 0
/proc/59734/statm: 1048 736 672 219 0 110 0
[pid=59737] ppid=59734 vsize=61280 memory=17880 CPUtime=0.58 cores=5,7
/proc/59737/stat : 59737 (roundingsat) R 59734 59734 57001 0 -1 4194304 2010 0 0 0 54 4 0 0 20 0 1 0 57646841 62750720 4470 18446744073709551615 4227072 8923433 140723215210160 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 10944512 140723215218934 140723215219240 140723215219240 140723215224810 0
/proc/59737/statm: 15320 4470 2432 1147 0 2747 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 65472 KiB
Current children cumulated memory: 20824 KiB

[startup+1.50026 s]
/proc/loadavg: 2.23 2.18 2.18 3/259 59737
/proc/meminfo: memFree=98254236/131382112 swapFree=33009904/33010684
[pid=59734] ppid=59731 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/59734/stat : 59734 (run-opt-ls-log.) S 59731 59734 57001 0 -1 4194304 242 714 0 0 0 0 0 0 20 0 1 0 57646838 4292608 736 18446744073709551615 94597047824384 94597048718917 140731281518016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94597048957968 94597049005712 94597051809792 140731281520923 140731281521121 140731281521121 140731281526723 0
/proc/59734/statm: 1048 736 672 219 0 110 0
[pid=59737] ppid=59734 vsize=63400 memory=19928 CPUtime=1.36 cores=5,7
/proc/59737/stat : 59737 (roundingsat) R 59734 59734 57001 0 -1 4194304 2523 0 0 0 126 10 0 0 20 0 1 0 57646841 64921600 4982 18446744073709551615 4227072 8923433 140723215210160 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 10944512 140723215218934 140723215219240 140723215219240 140723215224810 0
/proc/59737/statm: 15850 4982 2432 1147 0 3277 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 67592 KiB
Current children cumulated memory: 22872 KiB

[startup+3.10636 s]
/proc/loadavg: 2.21 2.18 2.18 3/259 59737
/proc/meminfo: memFree=98149908/131382112 swapFree=33009904/33010684
[pid=59734] ppid=59731 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/59734/stat : 59734 (run-opt-ls-log.) S 59731 59734 57001 0 -1 4194304 242 714 0 0 0 0 0 0 20 0 1 0 57646838 4292608 736 18446744073709551615 94597047824384 94597048718917 140731281518016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94597048957968 94597049005712 94597051809792 140731281520923 140731281521121 140731281521121 140731281526723 0
/proc/59734/statm: 1048 736 672 219 0 110 0
[pid=59737] ppid=59734 vsize=73712 memory=31904 CPUtime=2.95 cores=5,7
/proc/59737/stat : 59737 (roundingsat) R 59734 59734 57001 0 -1 4194304 5000 0 0 0 278 17 0 0 20 0 1 0 57646841 75481088 7976 18446744073709551615 4227072 8923433 140723215210160 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 10944512 140723215218934 140723215219240 140723215219240 140723215224810 0
/proc/59737/statm: 18428 7976 2432 1147 0 5855 0
Current children cumulated CPU time: 2.95 s
Current children cumulated vsize: 77904 KiB
Current children cumulated memory: 34848 KiB

[startup+6.30024 s]
/proc/loadavg: 2.21 2.18 2.18 3/259 59737
/proc/meminfo: memFree=98021388/131382112 swapFree=33009904/33010684
[pid=59734] ppid=59731 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/59734/stat : 59734 (run-opt-ls-log.) S 59731 59734 57001 0 -1 4194304 242 714 0 0 0 0 0 0 20 0 1 0 57646838 4292608 736 18446744073709551615 94597047824384 94597048718917 140731281518016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94597048957968 94597049005712 94597051809792 140731281520923 140731281521121 140731281521121 140731281526723 0
/proc/59734/statm: 1048 736 672 219 0 110 0
[pid=59737] ppid=59734 vsize=83092 memory=38816 CPUtime=6.11 cores=5,7
/proc/59737/stat : 59737 (roundingsat) R 59734 59734 57001 0 -1 4194304 6718 0 0 0 583 28 0 0 20 0 1 0 57646841 85086208 9704 18446744073709551615 4227072 8923433 140723215210160 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 10944512 140723215218934 140723215219240 140723215219240 140723215224810 0
/proc/59737/statm: 20773 9704 2432 1147 0 8200 0
Current children cumulated CPU time: 6.11 s
Current children cumulated vsize: 87284 KiB
Current children cumulated memory: 41760 KiB

[startup+12.7002 s]
/proc/loadavg: 2.18 2.17 2.17 3/259 59737
/proc/meminfo: memFree=97779468/131382112 swapFree=33009904/33010684
[pid=59734] ppid=59731 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/59734/stat : 59734 (run-opt-ls-log.) S 59731 59734 57001 0 -1 4194304 242 714 0 0 0 0 0 0 20 0 1 0 57646838 4292608 736 18446744073709551615 94597047824384 94597048718917 140731281518016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94597048957968 94597049005712 94597051809792 140731281520923 140731281521121 140731281521121 140731281526723 0
/proc/59734/statm: 1048 736 672 219 0 110 0
[pid=59737] ppid=59734 vsize=87532 memory=44320 CPUtime=12.44 cores=5,7
/proc/59737/stat : 59737 (roundingsat) R 59734 59734 57001 0 -1 4194304 8113 0 0 0 1195 49 0 0 20 0 1 0 57646841 89632768 11080 18446744073709551615 4227072 8923433 140723215210160 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 10944512 140723215218934 140723215219240 140723215219240 140723215224810 0
/proc/59737/statm: 21883 11080 2432 1147 0 9310 0
Current children cumulated CPU time: 12.44 s
Current children cumulated vsize: 91724 KiB
Current children cumulated memory: 47264 KiB

[startup+25.5004 s]
/proc/loadavg: 2.15 2.16 2.17 3/259 59737
/proc/meminfo: memFree=97211524/131382112 swapFree=33009904/33010684
[pid=59734] ppid=59731 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/59734/stat : 59734 (run-opt-ls-log.) S 59731 59734 57001 0 -1 4194304 242 714 0 0 0 0 0 0 20 0 1 0 57646838 4292608 736 18446744073709551615 94597047824384 94597048718917 140731281518016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94597048957968 94597049005712 94597051809792 140731281520923 140731281521121 140731281521121 140731281526723 0
/proc/59734/statm: 1048 736 672 219 0 110 0
[pid=59737] ppid=59734 vsize=103228 memory=57248 CPUtime=25.19 cores=5,7
/proc/59737/stat : 59737 (roundingsat) R 59734 59734 57001 0 -1 4194304 10833 0 0 0 2435 84 0 0 20 0 1 0 57646841 105705472 14312 18446744073709551615 4227072 8923433 140723215210160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10944512 140723215218934 140723215219240 140723215219240 140723215224810 0
/proc/59737/statm: 25807 14312 2432 1147 0 13234 0
Current children cumulated CPU time: 25.19 s
Current children cumulated vsize: 107420 KiB
Current children cumulated memory: 60192 KiB

[startup+51.1144 s]
/proc/loadavg: 2.16 2.17 2.17 3/259 59738
/proc/meminfo: memFree=96062684/131382112 swapFree=33009904/33010684
[pid=59734] ppid=59731 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/59734/stat : 59734 (run-opt-ls-log.) S 59731 59734 57001 0 -1 4194304 242 714 0 0 0 0 0 0 20 0 1 0 57646838 4292608 736 18446744073709551615 94597047824384 94597048718917 140731281518016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94597048957968 94597049005712 94597051809792 140731281520923 140731281521121 140731281521121 140731281526723 0
/proc/59734/statm: 1048 736 672 219 0 110 0
[pid=59737] ppid=59734 vsize=127596 memory=77516 CPUtime=50.33 cores=5,7
/proc/59737/stat : 59737 (roundingsat) R 59734 59734 57001 0 -1 4194304 14904 0 0 0 4878 155 0 0 20 0 1 0 57646841 130658304 19379 18446744073709551615 4227072 8923433 140723215210160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10944512 140723215218934 140723215219240 140723215219240 140723215224810 0
/proc/59737/statm: 31899 19379 2432 1147 0 19326 0
Current children cumulated CPU time: 50.33 s
Current children cumulated vsize: 131788 KiB
Current children cumulated memory: 80460 KiB

[startup+91.8152 s]
# the end of solver process 59734 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=88.0501 s, system=2.43114 s

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

[startup+51.2005 s]
/proc/loadavg: 2.16 2.17 2.17 3/259 59738
/proc/meminfo: memFree=96062684/131382112 swapFree=33009904/33010684
[pid=59734] ppid=59731 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/59734/stat : 59734 (run-opt-ls-log.) S 59731 59734 57001 0 -1 4194304 242 714 0 0 0 0 0 0 20 0 1 0 57646838 4292608 736 18446744073709551615 94597047824384 94597048718917 140731281518016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94597048957968 94597049005712 94597051809792 140731281520923 140731281521121 140731281521121 140731281526723 0
/proc/59734/statm: 1048 736 672 219 0 110 0
[pid=59737] ppid=59734 vsize=127596 memory=77516 CPUtime=50.41 cores=5,7
/proc/59737/stat : 59737 (roundingsat) R 59734 59734 57001 0 -1 4194304 14904 0 0 0 4886 155 0 0 20 0 1 0 57646841 130658304 19379 18446744073709551615 4227072 8923433 140723215210160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10944512 140723215218934 140723215219240 140723215219240 140723215224810 0
/proc/59737/statm: 31899 19379 2432 1147 0 19326 0
Current children cumulated CPU time: 50.41 s
Current children cumulated vsize: 131788 KiB
Current children cumulated memory: 80460 KiB

[startup+76.8004 s]
/proc/loadavg: 2.24 2.19 2.18 3/258 59739
/proc/meminfo: memFree=95239888/131382112 swapFree=33009904/33010684
[pid=59734] ppid=59731 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/59734/stat : 59734 (run-opt-ls-log.) S 59731 59734 57001 0 -1 4194304 242 714 0 0 0 0 0 0 20 0 1 0 57646838 4292608 736 18446744073709551615 94597047824384 94597048718917 140731281518016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94597048957968 94597049005712 94597051809792 140731281520923 140731281521121 140731281521121 140731281526723 0
/proc/59734/statm: 1048 736 672 219 0 110 0
[pid=59737] ppid=59734 vsize=128416 memory=78284 CPUtime=75.71 cores=5,7
/proc/59737/stat : 59737 (roundingsat) R 59734 59734 57001 0 -1 4194304 15084 0 0 0 7363 208 0 0 20 0 1 0 57646841 131497984 19571 18446744073709551615 4227072 8923433 140723215210160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10944512 140723215218934 140723215219240 140723215219240 140723215224810 0
/proc/59737/statm: 32104 19571 2432 1147 0 19531 0
Current children cumulated CPU time: 75.71 s
Current children cumulated vsize: 132608 KiB
Current children cumulated memory: 81228 KiB

[startup+83.2004 s]
/proc/loadavg: 2.43 2.23 2.19 3/258 59739
/proc/meminfo: memFree=94988160/131382112 swapFree=33009904/33010684
[pid=59734] ppid=59731 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/59734/stat : 59734 (run-opt-ls-log.) S 59731 59734 57001 0 -1 4194304 242 714 0 0 0 0 0 0 20 0 1 0 57646838 4292608 736 18446744073709551615 94597047824384 94597048718917 140731281518016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94597048957968 94597049005712 94597051809792 140731281520923 140731281521121 140731281521121 140731281526723 0
/proc/59734/statm: 1048 736 672 219 0 110 0
[pid=59737] ppid=59734 vsize=130364 memory=79820 CPUtime=82.02 cores=5,7
/proc/59737/stat : 59737 (roundingsat) R 59734 59734 57001 0 -1 4194304 15497 0 0 0 7978 224 0 0 20 0 1 0 57646841 133492736 19955 18446744073709551615 4227072 8923433 140723215210160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10944512 140723215218934 140723215219240 140723215219240 140723215224810 0
/proc/59737/statm: 32591 19955 2432 1147 0 20018 0
Current children cumulated CPU time: 82.02 s
Current children cumulated vsize: 134556 KiB
Current children cumulated memory: 82764 KiB

[startup+86.4004 s]
/proc/loadavg: 2.43 2.23 2.19 3/258 59739
/proc/meminfo: memFree=94899328/131382112 swapFree=33009904/33010684
[pid=59734] ppid=59731 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/59734/stat : 59734 (run-opt-ls-log.) S 59731 59734 57001 0 -1 4194304 242 714 0 0 0 0 0 0 20 0 1 0 57646838 4292608 736 18446744073709551615 94597047824384 94597048718917 140731281518016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94597048957968 94597049005712 94597051809792 140731281520923 140731281521121 140731281521121 140731281526723 0
/proc/59734/statm: 1048 736 672 219 0 110 0
[pid=59737] ppid=59734 vsize=131376 memory=80716 CPUtime=85.21 cores=5,7
/proc/59737/stat : 59737 (roundingsat) R 59734 59734 57001 0 -1 4194304 15707 0 0 0 8292 229 0 0 20 0 1 0 57646841 134529024 20179 18446744073709551615 4227072 8923433 140723215210160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10944512 140723215218934 140723215219240 140723215219240 140723215224810 0
/proc/59737/statm: 32844 20179 2432 1147 0 20271 0
Current children cumulated CPU time: 85.21 s
Current children cumulated vsize: 135568 KiB
Current children cumulated memory: 83660 KiB

[startup+89.6004 s]
/proc/loadavg: 2.39 2.22 2.19 3/258 59739
/proc/meminfo: memFree=94770304/131382112 swapFree=33009904/33010684
[pid=59734] ppid=59731 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/59734/stat : 59734 (run-opt-ls-log.) S 59731 59734 57001 0 -1 4194304 242 714 0 0 0 0 0 0 20 0 1 0 57646838 4292608 736 18446744073709551615 94597047824384 94597048718917 140731281518016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94597048957968 94597049005712 94597051809792 140731281520923 140731281521121 140731281521121 140731281526723 0
/proc/59734/statm: 1048 736 672 219 0 110 0
[pid=59737] ppid=59734 vsize=131376 memory=80716 CPUtime=88.4 cores=5,7
/proc/59737/stat : 59737 (roundingsat) R 59734 59734 57001 0 -1 4194304 15707 0 0 0 8605 235 0 0 20 0 1 0 57646841 134529024 20179 18446744073709551615 4227072 8923433 140723215210160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10944512 140723215218934 140723215219240 140723215219240 140723215224810 0
/proc/59737/statm: 32844 20179 2432 1147 0 20271 0
Current children cumulated CPU time: 88.4 s
Current children cumulated vsize: 135568 KiB
Current children cumulated memory: 83660 KiB

[startup+91.2004 s]
/proc/loadavg: 2.39 2.22 2.19 3/258 59739
/proc/meminfo: memFree=94697728/131382112 swapFree=33009904/33010684
[pid=59734] ppid=59731 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/59734/stat : 59734 (run-opt-ls-log.) S 59731 59734 57001 0 -1 4194304 242 714 0 0 0 0 0 0 20 0 1 0 57646838 4292608 736 18446744073709551615 94597047824384 94597048718917 140731281518016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94597048957968 94597049005712 94597051809792 140731281520923 140731281521121 140731281521121 140731281526723 0
/proc/59734/statm: 1048 736 672 219 0 110 0
[pid=59737] ppid=59734 vsize=131376 memory=80716 CPUtime=89.99 cores=5,7
/proc/59737/stat : 59737 (roundingsat) R 59734 59734 57001 0 -1 4194304 15707 0 0 0 8762 237 0 0 20 0 1 0 57646841 134529024 20179 18446744073709551615 4227072 8923433 140723215210160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10944512 140723215218934 140723215219240 140723215219240 140723215224810 0
/proc/59737/statm: 32844 20179 2432 1147 0 20271 0
Current children cumulated CPU time: 89.99 s
Current children cumulated vsize: 135568 KiB
Current children cumulated memory: 83660 KiB

[startup+91.6004 s]
/proc/loadavg: 2.39 2.22 2.19 3/258 59739
/proc/meminfo: memFree=94697728/131382112 swapFree=33009904/33010684
[pid=59734] ppid=59731 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/59734/stat : 59734 (run-opt-ls-log.) S 59731 59734 57001 0 -1 4194304 242 714 0 0 0 0 0 0 20 0 1 0 57646838 4292608 736 18446744073709551615 94597047824384 94597048718917 140731281518016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94597048957968 94597049005712 94597051809792 140731281520923 140731281521121 140731281521121 140731281526723 0
/proc/59734/statm: 1048 736 672 219 0 110 0
[pid=59737] ppid=59734 vsize=131376 memory=80716 CPUtime=90.39 cores=5,7
/proc/59737/stat : 59737 (roundingsat) R 59734 59734 57001 0 -1 4194304 15714 0 0 0 8801 238 0 0 20 0 1 0 57646841 134529024 20179 18446744073709551615 4227072 8923433 140723215210160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10944512 140723215218934 140723215219240 140723215219240 140723215224810 0
/proc/59737/statm: 32844 20179 2432 1147 0 20271 0
Current children cumulated CPU time: 90.39 s
Current children cumulated vsize: 135568 KiB
Current children cumulated memory: 83660 KiB

[startup+91.8005 s]
/proc/loadavg: 2.39 2.22 2.19 3/258 59739
/proc/meminfo: memFree=94697728/131382112 swapFree=33009904/33010684
[pid=59734] ppid=59731 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/59734/stat : 59734 (run-opt-ls-log.) S 59731 59734 57001 0 -1 4194304 242 714 0 0 0 0 0 0 20 0 1 0 57646838 4292608 736 18446744073709551615 94597047824384 94597048718917 140731281518016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94597048957968 94597049005712 94597051809792 140731281520923 140731281521121 140731281521121 140731281526723 0
/proc/59734/statm: 1048 736 672 219 0 110 0
[pid=59737] ppid=59734 vsize=131376 memory=80716 CPUtime=90.44 cores=5,7
/proc/59737/stat : 59737 (roundingsat) D 59734 59734 57001 0 -1 4194304 15714 0 0 0 8803 241 0 0 20 0 1 0 57646841 134529024 20179 18446744073709551615 4227072 8923433 140723215210160 0 0 0 0 0 8405026 1 0 0 17 7 0 0 0 0 0 9823104 9832592 10944512 140723215218934 140723215219240 140723215219240 140723215224810 0
/proc/59737/statm: 32844 20179 2432 1147 0 20271 0
Current children cumulated CPU time: 90.44 s
Current children cumulated vsize: 135568 KiB
Current children cumulated memory: 83660 KiB

Child status: 0

Real time (s): 91.8153
CPU time (s): 90.4812
CPU user time (s): 88.0501
CPU system time (s): 2.43114
CPU usage (%): 98.547
Max. virtual memory (cumulated for all children) (KiB): 135568
Max. memory (cumulated for all children) (KiB): 83660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 88.0501
system time used= 2.43114
maximum resident set size= 80716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16693
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1902240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6361
involuntary context switches= 597


# summary of solver processes directly reported to runsolver:
#   pid: 59734
#   total CPU time (s): 90.4812
#   total CPU user time (s): 88.0501
#   total CPU system time (s): 2.43114

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.4863 second user time and 0.904455 second system time

The end

Launcher Data 

Begin job on nodeC001 at 2025-07-02 03:27:59
IDJOB=4502603
IDBENCH=155354
IDSOLVER=3356
FILE ID=nodeC001/4502603-1751419679
RUNJOBID= nodeC001-1751410769-57041
SLURM_JOB_ID= 9598319
Free space on /tmp= 433008 MiB

SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-neos-538867.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502603-1751419679/watcher-4502603-1751419679 -o /tmp/evaluation-result-4502603-1751419679/solver-4502603-1751419679 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751410769-57041 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4502603-1751419679.opb PROOFDIR/proof-4502603-1751419679

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

MD5SUM BENCH= fe13d2dbd64f41a692445fbdcafba3bd
RANDOM SEED=2034841019

nodeC001 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        98315344 kB
MemAvailable:   126221956 kB
Buffers:            1668 kB
Cached:         28677060 kB
SwapCached:           20 kB
Active:          3849600 kB
Inactive:       28373404 kB
Active(anon):    3539568 kB
Inactive(anon):    22624 kB
Active(file):     310032 kB
Inactive(file): 28350780 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:           8773528 kB
Writeback:             0 kB
AnonPages:       3547632 kB
Mapped:           108776 kB
Shmem:             17896 kB
KReclaimable:     170468 kB
Slab:             529392 kB
SReclaimable:     170468 kB
SUnreclaim:       358924 kB
KernelStack:        4160 kB
PageTables:         9852 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    4073712 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149608 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    540672 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      195400 kB
DirectMap2M:     9144320 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433000 MiB
End job on nodeC001 at 2025-07-02 03:29:32