Trace number 4532002

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 0f876b3OPT cert.122 87.1318 88.1679

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-4532002-1752588651.opb'
0.00/0.01	c 	read 0.05MB  (1.50ms)
0.00/0.01	c	 [cnf: #variables 792 #clauses 1171 #duplicates 0 #arr 4554]
0.00/0.01	c output proof to 'PROOFDIR/proof-4532002-1752588651'
0.00/0.01	c 
0.00/0.01	c make graph and approximate orbits
0.00/0.01	c	 [group: #orbits ~= 108] (1.72ms)
0.00/0.01	c 
0.00/0.01	c detect special group actions
0.00/0.01	c 	probe for Johnson action (limit=64)
0.00/0.01	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.01	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.01	c 	 (0.41ms)
0.00/0.01	c 
0.00/0.01	c detect symmetries on remainder
0.00/0.01	c 	[graph: #vertices 4339 #edges 13860]
0.00/0.01	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.02	c 	 [group: #symmetries 8.00*10^0 #generators 2] (1.87ms)
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.01ms)
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-4532002-1752588651.opb.pre'
0.00/0.02	c 	wrote 0.05MB (0.31ms)
0.00/0.02	c ------------------------------------------------------------------
0.00/0.02	c                   1.87ms 26.59% detect_generic
0.00/0.02	c                   1.72ms 24.48% approx_orbits
0.00/0.02	c                   1.49ms 21.22% parse
0.00/0.02	c                   1.17ms 16.56% other
0.00/0.02	c                   0.41ms  5.88% detect_special
0.00/0.02	c                   0.31ms  4.38% output
0.00/0.02	c                   0.05ms  0.67% finalize_order
0.00/0.02	c                   0.01ms  0.14% break_generic
0.00/0.02	c                   0.01ms  0.08% optimize_gens
0.00/0.02	c         ───────────────────────────────────────────────
0.00/0.02	c                   7.04ms   100% total
0.00/0.02	c ------------------------------------------------------------------
0.00/0.03	c RoundingSat 2
0.00/0.03	c branch pb25
0.00/0.03	c commit 0f876b3
0.00/0.05	c #variables 828 #constraints 1298
0.00/0.05	c objective is ce32 
0.00/0.05	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.05	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.05	c bounds 467 >= 0 @ 0.018065
0.00/0.06	c rational objective 32
0.08/0.13	c bounds 447 >= 0 @ 0.08871
0.08/0.16	c bounds 437 >= 0 @ 0.110917
0.28/0.36	c bounds 427 >= 0 @ 0.301249
0.28/0.36	c bounds 412 >= 0 @ 0.30412
0.28/0.36	c bounds 382 >= 0 @ 0.304317
0.28/0.37	c bounds 377 >= 0 @ 0.30453
0.28/0.39	c bounds 377 >= 20 @ 0.32234
0.49/0.60	c #Conflicts:       1000 | #Constraints:       2315
0.49/0.60	c bounds 377 >= 40 @ 0.514696
0.49/0.60	c bounds 362 >= 40 @ 0.516087
0.49/0.60	c bounds 347 >= 40 @ 0.51881
0.49/0.61	c bounds 327 >= 40 @ 0.522946
0.49/0.61	c bounds 307 >= 40 @ 0.52405
0.57/0.61	c bounds 287 >= 40 @ 0.525062
0.57/0.61	c bounds 267 >= 40 @ 0.525542
0.57/0.61	c bounds 247 >= 40 @ 0.525544
0.57/0.61	c bounds 227 >= 40 @ 0.525708
0.57/0.61	c bounds 207 >= 40 @ 0.526539
0.57/0.63	c #Conflicts:       2000 | #Constraints:       3330
0.57/0.63	c INPROCESSING
0.57/0.63	c GARBAGE COLLECT
0.57/0.63	c rational objective 40
0.57/0.65	c bounds 202 >= 40 @ 0.562238
0.57/0.66	c bounds 182 >= 40 @ 0.574386
0.76/0.83	c bounds 162 >= 40 @ 0.733886
0.76/0.85	c bounds 147 >= 40 @ 0.755581
0.86/1.00	c bounds 137 >= 40 @ 0.892375
1.15/1.25	c #Conflicts:       3000 | #Constraints:       3335
1.15/1.25	c #Conflicts:       4000 | #Constraints:       4336
1.15/1.25	c INPROCESSING
1.15/1.25	c GARBAGE COLLECT
1.15/1.25	c rational objective 40
2.16/2.23	c #Conflicts:       5000 | #Constraints:       3745
2.16/2.23	c #Conflicts:       6000 | #Constraints:       4755
2.16/2.23	c INPROCESSING
2.16/2.23	c GARBAGE COLLECT
2.16/2.23	c rational objective 40
2.25/2.30	c bounds 127 >= 40 @ 2.12815
2.25/2.36	c #Conflicts:       7000 | #Constraints:       3759
2.25/2.36	c bounds 127 >= 55 @ 2.18522
2.97/3.03	c #Conflicts:       8000 | #Constraints:       4762
2.97/3.03	c #Conflicts:       9000 | #Constraints:       5767
2.97/3.03	c INPROCESSING
2.97/3.03	c GARBAGE COLLECT
2.97/3.03	c rational objective 55
3.96/4.04	c #Conflicts:      10000 | #Constraints:       4463
3.96/4.04	c #Conflicts:      11000 | #Constraints:       5468
3.96/4.04	c #Conflicts:      12000 | #Constraints:       6470
3.96/4.04	c INPROCESSING
3.96/4.04	c GARBAGE COLLECT
3.96/4.04	c rational objective 55
5.14/5.21	c #Conflicts:      13000 | #Constraints:       4927
5.14/5.21	c #Conflicts:      14000 | #Constraints:       5930
5.14/5.21	c #Conflicts:      15000 | #Constraints:       6932
5.14/5.21	c INPROCESSING
5.14/5.21	c GARBAGE COLLECT
5.14/5.21	c rational objective 55
6.44/6.51	c #Conflicts:      16000 | #Constraints:       5153
6.44/6.51	c #Conflicts:      17000 | #Constraints:       6153
6.44/6.51	c #Conflicts:      18000 | #Constraints:       7157
6.44/6.51	c INPROCESSING
6.44/6.51	c GARBAGE COLLECT
6.44/6.51	c rational objective 55
7.83/7.97	c #Conflicts:      19000 | #Constraints:       5178
7.83/7.97	c #Conflicts:      20000 | #Constraints:       6181
7.83/7.97	c #Conflicts:      21000 | #Constraints:       7184
7.83/7.97	c INPROCESSING
7.83/7.97	c GARBAGE COLLECT
7.83/7.97	c rational objective 55
9.43/9.51	c #Conflicts:      22000 | #Constraints:       4966
9.43/9.51	c #Conflicts:      23000 | #Constraints:       5967
9.43/9.51	c #Conflicts:      24000 | #Constraints:       6969
9.43/9.51	c #Conflicts:      25000 | #Constraints:       7971
9.43/9.51	c INPROCESSING
9.43/9.51	c GARBAGE COLLECT
9.43/9.51	c rational objective 55
11.04/11.14	c #Conflicts:      26000 | #Constraints:       5578
11.04/11.14	c #Conflicts:      27000 | #Constraints:       6578
11.04/11.14	c #Conflicts:      28000 | #Constraints:       7580
11.04/11.14	c #Conflicts:      29000 | #Constraints:       8580
11.04/11.14	c INPROCESSING
11.04/11.14	c GARBAGE COLLECT
11.04/11.14	c rational objective 55
12.62/12.76	c #Conflicts:      30000 | #Constraints:       5981
12.62/12.76	c #Conflicts:      31000 | #Constraints:       6983
12.62/12.76	c #Conflicts:      32000 | #Constraints:       7985
12.62/12.76	c #Conflicts:      33000 | #Constraints:       8986
12.62/12.76	c INPROCESSING
12.62/12.76	c GARBAGE COLLECT
12.62/12.76	c rational objective 55
14.41/14.56	c #Conflicts:      34000 | #Constraints:       6164
14.41/14.56	c #Conflicts:      35000 | #Constraints:       7164
14.41/14.56	c #Conflicts:      36000 | #Constraints:       8165
14.41/14.56	c #Conflicts:      37000 | #Constraints:       9167
14.41/14.56	c INPROCESSING
14.41/14.56	c GARBAGE COLLECT
14.41/14.56	c rational objective 55
16.50/16.68	c #Conflicts:      38000 | #Constraints:       6167
16.50/16.68	c #Conflicts:      39000 | #Constraints:       7167
16.50/16.68	c #Conflicts:      40000 | #Constraints:       8167
16.50/16.68	c #Conflicts:      41000 | #Constraints:       9167
16.50/16.68	c INPROCESSING
16.50/16.68	c GARBAGE COLLECT
16.50/16.68	c rational objective 55
18.60/18.75	c #Conflicts:      42000 | #Constraints:       5976
18.60/18.75	c #Conflicts:      43000 | #Constraints:       6977
18.60/18.75	c #Conflicts:      44000 | #Constraints:       7977
18.60/18.75	c #Conflicts:      45000 | #Constraints:       8977
18.60/18.75	c bounds 127 >= 70 @ 18.0451
18.69/18.89	c #Conflicts:      46000 | #Constraints:       9985
18.69/18.89	c INPROCESSING
18.69/18.89	c GARBAGE COLLECT
18.69/18.89	c rational objective 70
20.69/20.88	c #Conflicts:      47000 | #Constraints:       6591
20.69/20.88	c #Conflicts:      48000 | #Constraints:       7592
20.69/20.88	c #Conflicts:      49000 | #Constraints:       8593
20.69/20.88	c #Conflicts:      50000 | #Constraints:       9595
20.69/20.88	c #Conflicts:      51000 | #Constraints:      10597
20.69/20.88	c INPROCESSING
20.69/20.88	c GARBAGE COLLECT
20.69/20.88	c rational objective 70
22.89/23.11	c #Conflicts:      52000 | #Constraints:       6992
22.89/23.11	c #Conflicts:      53000 | #Constraints:       7994
22.89/23.11	c #Conflicts:      54000 | #Constraints:       8996
22.89/23.11	c #Conflicts:      55000 | #Constraints:       9997
22.89/23.11	c #Conflicts:      56000 | #Constraints:      10998
22.89/23.11	c INPROCESSING
22.89/23.11	c GARBAGE COLLECT
22.89/23.11	c rational objective 70
25.26/25.43	c #Conflicts:      57000 | #Constraints:       7188
25.26/25.43	c #Conflicts:      58000 | #Constraints:       8188
25.26/25.43	c #Conflicts:      59000 | #Constraints:       9188
25.26/25.43	c #Conflicts:      60000 | #Constraints:      10190
25.26/25.43	c #Conflicts:      61000 | #Constraints:      11192
25.26/25.43	c INPROCESSING
25.26/25.43	c GARBAGE COLLECT
25.26/25.43	c rational objective 70
28.05/28.20	c #Conflicts:      62000 | #Constraints:       7184
28.05/28.20	c #Conflicts:      63000 | #Constraints:       8186
28.05/28.20	c #Conflicts:      64000 | #Constraints:       9186
28.05/28.20	c #Conflicts:      65000 | #Constraints:      10187
28.05/28.20	c #Conflicts:      66000 | #Constraints:      11187
28.05/28.20	c INPROCESSING
28.05/28.20	c GARBAGE COLLECT
28.05/28.20	c rational objective 70
30.74/30.92	c #Conflicts:      67000 | #Constraints:       6977
30.74/30.92	c #Conflicts:      68000 | #Constraints:       7978
30.74/30.92	c #Conflicts:      69000 | #Constraints:       8979
30.74/30.92	c #Conflicts:      70000 | #Constraints:       9980
30.74/30.92	c #Conflicts:      71000 | #Constraints:      10982
30.74/30.92	c #Conflicts:      72000 | #Constraints:      11983
30.74/30.92	c bounds 122 >= 70 @ 29.8418
30.74/30.97	c INPROCESSING
30.74/30.97	c GARBAGE COLLECT
30.74/30.97	c rational objective 70
33.34/33.57	c #Conflicts:      73000 | #Constraints:       7588
33.34/33.57	c #Conflicts:      74000 | #Constraints:       8590
33.34/33.57	c #Conflicts:      75000 | #Constraints:       9590
33.34/33.57	c #Conflicts:      76000 | #Constraints:      10590
33.34/33.57	c #Conflicts:      77000 | #Constraints:      11590
33.34/33.57	c bounds 122 >= 80 @ 32.4128
33.64/33.85	c #Conflicts:      78000 | #Constraints:      12598
33.64/33.85	c INPROCESSING
33.64/33.85	c GARBAGE COLLECT
33.64/33.85	c rational objective 80
36.72/36.93	c #Conflicts:      79000 | #Constraints:       7988
36.72/36.93	c #Conflicts:      80000 | #Constraints:       8989
36.72/36.93	c #Conflicts:      81000 | #Constraints:       9991
36.72/36.93	c #Conflicts:      82000 | #Constraints:      10992
36.72/36.93	c #Conflicts:      83000 | #Constraints:      11994
36.72/36.93	c #Conflicts:      84000 | #Constraints:      12994
36.72/36.93	c INPROCESSING
36.72/36.93	c GARBAGE COLLECT
36.72/36.93	c rational objective 80
39.61/39.87	c #Conflicts:      85000 | #Constraints:       8198
39.61/39.87	c #Conflicts:      86000 | #Constraints:       9202
39.61/39.87	c #Conflicts:      87000 | #Constraints:      10203
39.61/39.87	c #Conflicts:      88000 | #Constraints:      11205
39.61/39.87	c #Conflicts:      89000 | #Constraints:      12207
39.61/39.87	c #Conflicts:      90000 | #Constraints:      13208
39.61/39.87	c INPROCESSING
39.61/39.87	c GARBAGE COLLECT
39.61/39.87	c rational objective 80
42.99/43.27	c #Conflicts:      91000 | #Constraints:       8206
42.99/43.27	c #Conflicts:      92000 | #Constraints:       9207
42.99/43.27	c #Conflicts:      93000 | #Constraints:      10209
42.99/43.27	c #Conflicts:      94000 | #Constraints:      11209
42.99/43.27	c #Conflicts:      95000 | #Constraints:      12209
42.99/43.27	c #Conflicts:      96000 | #Constraints:      13210
42.99/43.27	c INPROCESSING
42.99/43.27	c GARBAGE COLLECT
42.99/43.27	c rational objective 80
46.79/47.05	c #Conflicts:      97000 | #Constraints:       7998
46.79/47.05	c #Conflicts:      98000 | #Constraints:       9000
46.79/47.05	c #Conflicts:      99000 | #Constraints:      10000
46.79/47.05	c #Conflicts:     100000 | #Constraints:      11000
46.79/47.05	c #Conflicts:     101000 | #Constraints:      12000
46.79/47.05	c #Conflicts:     102000 | #Constraints:      13001
46.79/47.05	c #Conflicts:     103000 | #Constraints:      14002
46.79/47.05	c INPROCESSING
46.79/47.05	c GARBAGE COLLECT
46.79/47.05	c rational objective 80
50.96/51.28	c #Conflicts:     104000 | #Constraints:       8607
50.96/51.28	c #Conflicts:     105000 | #Constraints:       9608
50.96/51.28	c #Conflicts:     106000 | #Constraints:      10608
50.96/51.28	c #Conflicts:     107000 | #Constraints:      11608
50.96/51.28	c #Conflicts:     108000 | #Constraints:      12608
50.96/51.28	c #Conflicts:     109000 | #Constraints:      13608
50.96/51.28	c #Conflicts:     110000 | #Constraints:      14608
50.96/51.28	c INPROCESSING
50.96/51.28	c GARBAGE COLLECT
50.96/51.28	c rational objective 80
55.14/55.42	c #Conflicts:     111000 | #Constraints:       8994
55.14/55.42	c #Conflicts:     112000 | #Constraints:       9994
55.14/55.42	c #Conflicts:     113000 | #Constraints:      10994
55.14/55.42	c #Conflicts:     114000 | #Constraints:      11994
55.14/55.42	c #Conflicts:     115000 | #Constraints:      12994
55.14/55.42	c #Conflicts:     116000 | #Constraints:      13994
55.14/55.42	c #Conflicts:     117000 | #Constraints:      14994
55.14/55.42	c INPROCESSING
55.14/55.42	c GARBAGE COLLECT
55.14/55.42	c rational objective 80
59.52/59.81	c #Conflicts:     118000 | #Constraints:       9208
59.52/59.81	c #Conflicts:     119000 | #Constraints:      10208
59.52/59.81	c #Conflicts:     120000 | #Constraints:      11208
59.52/59.81	c #Conflicts:     121000 | #Constraints:      12209
59.52/59.81	c #Conflicts:     122000 | #Constraints:      13209
59.52/59.81	c #Conflicts:     123000 | #Constraints:      14209
59.52/59.81	c #Conflicts:     124000 | #Constraints:      15210
59.52/59.81	c INPROCESSING
59.52/59.81	c GARBAGE COLLECT
59.52/59.81	c rational objective 80
64.40/64.76	c #Conflicts:     125000 | #Constraints:       9098
64.40/64.76	c #Conflicts:     126000 | #Constraints:      10098
64.40/64.76	c #Conflicts:     127000 | #Constraints:      11098
64.40/64.76	c #Conflicts:     128000 | #Constraints:      12101
64.40/64.76	c #Conflicts:     129000 | #Constraints:      13101
64.40/64.76	c #Conflicts:     130000 | #Constraints:      14101
64.40/64.76	c #Conflicts:     131000 | #Constraints:      15101
64.40/64.76	c INPROCESSING
64.40/64.76	c GARBAGE COLLECT
64.40/64.76	c rational objective 80
69.08/69.50	c #Conflicts:     132000 | #Constraints:       8962
69.08/69.50	c #Conflicts:     133000 | #Constraints:       9962
69.08/69.50	c #Conflicts:     134000 | #Constraints:      10962
69.08/69.50	c #Conflicts:     135000 | #Constraints:      11962
69.08/69.50	c #Conflicts:     136000 | #Constraints:      12962
69.08/69.50	c #Conflicts:     137000 | #Constraints:      13962
69.08/69.50	c #Conflicts:     138000 | #Constraints:      14962
69.08/69.50	c #Conflicts:     139000 | #Constraints:      15962
69.08/69.50	c INPROCESSING
69.08/69.50	c GARBAGE COLLECT
69.08/69.50	c rational objective 80
74.86/75.30	c #Conflicts:     140000 | #Constraints:       9500
74.86/75.30	c #Conflicts:     141000 | #Constraints:      10500
74.86/75.30	c #Conflicts:     142000 | #Constraints:      11500
74.86/75.30	c #Conflicts:     143000 | #Constraints:      12500
74.86/75.30	c #Conflicts:     144000 | #Constraints:      13500
74.86/75.30	c #Conflicts:     145000 | #Constraints:      14500
74.86/75.30	c #Conflicts:     146000 | #Constraints:      15500
74.86/75.30	c #Conflicts:     147000 | #Constraints:      16500
74.86/75.30	c INPROCESSING
74.86/75.30	c GARBAGE COLLECT
74.86/75.30	c rational objective 80
80.94/81.36	c #Conflicts:     148000 | #Constraints:       9966
80.94/81.36	c #Conflicts:     149000 | #Constraints:      10966
80.94/81.36	c #Conflicts:     150000 | #Constraints:      11966
80.94/81.36	c #Conflicts:     151000 | #Constraints:      12966
80.94/81.36	c #Conflicts:     152000 | #Constraints:      13966
80.94/81.36	c #Conflicts:     153000 | #Constraints:      14966
80.94/81.36	c #Conflicts:     154000 | #Constraints:      15966
80.94/81.36	c #Conflicts:     155000 | #Constraints:      16966
80.94/81.36	c INPROCESSING
80.94/81.36	c GARBAGE COLLECT
80.94/81.36	c rational objective 80
83.52/84.00	c #Conflicts:     156000 | #Constraints:      10175
83.52/84.00	c #Conflicts:     157000 | #Constraints:      11175
83.52/84.00	c #Conflicts:     158000 | #Constraints:      12175
83.52/84.00	c bounds 122 >= 90 @ 81.4788
87.01/87.41	c #Conflicts:     159000 | #Constraints:      13181
87.01/87.41	c #Conflicts:     160000 | #Constraints:      14181
87.01/87.41	c #Conflicts:     161000 | #Constraints:      15182
87.01/87.41	c #Conflicts:     162000 | #Constraints:      16182
87.01/87.41	c bounds 122 >= 122 @ 84.8164
87.01/87.41	c cpu time 84.8164 s
87.01/87.41	c deterministic time 7280804501 7.28e+09
87.01/87.41	c optimization time 0.014755 s
87.01/87.41	c total solve time 84.7904 s
87.01/87.41	c core-guided solve time 40.4684 s
87.01/87.41	c propagation time 47.2467 s
87.01/87.41	c conflict analysis time 30.4926 s
87.01/87.41	c propagations 22011566
87.01/87.41	c resolve steps 1883025
87.01/87.41	c decisions 726829
87.01/87.41	c conflicts 162974
87.01/87.41	c restarts 443
87.01/87.41	c inprocessing phases 31
87.01/87.41	c garbage collections 31 ,( 100.00 )
87.01/87.41	c input clauses 1279 ,( 94.53 )
87.01/87.41	c input cardinalities 36 ,( 2.66 )
87.01/87.41	c input general constraints 38 ,( 2.81 )
87.01/87.41	c input average constraint length 19.53
87.01/87.41	c input average constraint degree 315.11
87.01/87.41	c learned clauses 84694 ,( 51.90 )
87.01/87.41	c learned cardinalities 462 ,( 0.28 )
87.01/87.41	c learned general constraints 78026 ,( 47.82 )
87.01/87.41	c learned average constraint length 147.93
87.01/87.41	c learned average constraint degree 884671806.27
87.01/87.41	c watched  CF 32, 64, 128, Arb: 5657 , 0 , 0 , 0
87.01/87.41	c counting CF 32, 64, 128, Arb: 72408 , 0 , 0 , 0
87.01/87.41	c watched   constraints 5657 ,( 7.25 ) 
87.01/87.41	c counting  constraints 72407 ,( 92.75 ) 
87.01/87.41	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 33165592 , 2427362 , 216661211 ,( 4570721 , 212090490 )
87.01/87.41	c gcd simplifications 4601
87.01/87.41	c detected cardinalities 139
87.01/87.41	c weakened non-implied lits 37289177
87.01/87.41	c weakened non-implying lits 13120
87.01/87.41	c original variables 828
87.01/87.41	c clausal propagations 3697957
87.01/87.41	c cardinality propagations 1506552
87.01/87.41	c watched propagations 12780
87.01/87.41	c counting propagations 15706684
87.01/87.41	c watch lookups 1973292042
87.01/87.41	c watch backjump lookups 0
87.01/87.41	c watch checks 437230244
87.01/87.41	c propagation checks 4650817520
87.01/87.41	c constraint additions 173661114
87.01/87.41	c trail pops 22900670
87.01/87.41	c formula constraints 1298
87.01/87.41	c learned constraints 162799
87.01/87.41	c bound constraints 34
87.01/87.41	c core-guided constraints 21
87.01/87.41	c encountered formula constraints 497130
87.01/87.41	c encountered learned constraints 1460540
87.01/87.41	c encountered bound constraints 5670
87.01/87.41	c encountered core-guided constraints 37706
87.01/87.41	c LP total time 10.7425 s
87.01/87.41	c LP solve time 7.36 s
87.01/87.41	c LP constraints added 1818
87.01/87.41	c LP constraints removed 505
87.01/87.41	c LP pivots internal 162978
87.01/87.41	c LP pivots root 1537
87.01/87.41	c LP calls 4715
87.01/87.41	c LP optimalities 4541
87.01/87.41	c LP no pivot count 1093
87.01/87.41	c LP infeasibilities 174
87.01/87.41	c LP valid Farkas constraints 174
87.01/87.41	c LP learned Farkas constraints 174
87.01/87.41	c LP basis resets 0
87.01/87.41	c LP cycling count 0
87.01/87.41	c LP singular count 0
87.01/87.41	c LP no primal count 0
87.01/87.41	c LP no farkas count 0
87.01/87.41	c LP other issue count 0
87.01/87.41	c LP Gomory cuts 35
87.01/87.41	c LP learned cuts 485
87.01/87.41	c LP deleted cuts 505
87.01/87.41	c LP encountered Gomory constraints 46
87.01/87.41	c LP encountered Farkas constraints 38413
87.01/87.41	c LP encountered learned Farkas constraints 6320
87.01/87.41	c CG auxiliary variables introduced 9
87.01/87.41	c CG solutions found 22
87.01/87.41	c CG cores constructed 6
87.01/87.41	c CG core cardinality constraints returned 0
87.01/87.41	c CG unit cores 0
87.01/87.41	c CG single cores 6
87.01/87.41	c CG blocks removed during cardinality reduction 0
87.01/87.41	c CG first core best 0
87.01/87.41	c CG decision core best 0
87.01/87.41	c CG core reduction tie 0
87.01/87.41	c CG core degree average 1.00
87.01/87.41	c CG core slack average 149.00
87.01/87.41	c CG core upper bound improvements 0
87.01/87.41	c STR number of successful calls 0
87.01/87.41	c STR number of unsuccessful calls 0
87.01/87.41	c STR number of inconclusive calls 0
87.01/87.41	c STR number of successful attempts 0
87.01/87.41	c STR number of unsuccessful attempts 0
87.01/87.41	c STR number of inconclusive attempts 0
87.01/87.41	c STR average degree increase per successful call inf
87.01/87.41	c STR average degree increase per successful attempt inf
87.01/87.41	c STR total number of conflicts for successful attempts 0
87.01/87.41	c STR total number of conflicts for unsuccessful attempts 0
87.01/87.41	c STR total number of conflicts for inconclusive attempts 0
87.01/87.41	c STR average number of conflicts per successful attempt inf
87.01/87.41	c STR average number of conflicts per unsuccessful attempt inf
87.01/87.41	c STR average number of conflicts per inconclusive attempt inf
87.01/87.41	c AVG.sumWPerc 83.25 
87.01/87.41	c bigint constraints 0 
87.01/87.41	o 122
87.01/87.41	s OPTIMUM FOUND
87.01/87.41	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

Tue Jul 15 17:25:36 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: 63837 MiB (60575 MiB free)
  memory of node 1: 64465 MiB (62848 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
solver pid=128182, runsolver pid=128179
Current StackSize limit: 8192 KiB


[startup+0.100108 s]*
/proc/loadavg: 4.16 4.23 4.18 5/266 128185
/proc/meminfo: memFree=126385188/131382116 swapFree=33005528/33010684
[pid=128182] ppid=128179 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/128182/stat : 128182 (run-opt-ls-log.) S 128179 128182 126764 0 -1 4194304 242 711 0 0 0 0 0 0 20 0 1 0 174544545 4292608 768 18446744073709551615 94527062745088 94527063639621 140733017114304 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94527063878672 94527063926416 94527089647616 140733017119001 140733017119199 140733017119199 140733017124803 0
/proc/128182/statm: 1048 768 704 219 0 110 0
[pid=128185] ppid=128182 vsize=58824 memory=13204 CPUtime=0.08 cores=1,3
/proc/128185/stat : 128185 (roundingsat) R 128182 128182 126764 0 -1 4194304 1392 0 0 0 7 1 0 0 20 0 1 0 174544548 60235776 3301 18446744073709551615 4227072 8923577 140722683976224 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 39149568 140722683984116 140722683984422 140722683984422 140722683989994 0
/proc/128185/statm: 14706 3301 2368 1147 0 2132 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 63016 KiB
Current children cumulated memory: 16276 KiB

[startup+0.214313 s]*
/proc/loadavg: 4.16 4.23 4.18 5/266 128185
/proc/meminfo: memFree=126382164/131382116 swapFree=33005528/33010684
[pid=128182] ppid=128179 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/128182/stat : 128182 (run-opt-ls-log.) S 128179 128182 126764 0 -1 4194304 242 711 0 0 0 0 0 0 20 0 1 0 174544545 4292608 768 18446744073709551615 94527062745088 94527063639621 140733017114304 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94527063878672 94527063926416 94527089647616 140733017119001 140733017119199 140733017119199 140733017124803 0
/proc/128182/statm: 1048 768 704 219 0 110 0
[pid=128185] ppid=128182 vsize=59812 memory=16472 CPUtime=0.19 cores=1,3
/proc/128185/stat : 128185 (roundingsat) R 128182 128182 126764 0 -1 4194304 1670 0 0 0 17 2 0 0 20 0 1 0 174544548 61247488 4118 18446744073709551615 4227072 8923577 140722683976224 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 39149568 140722683984116 140722683984422 140722683984422 140722683989994 0
/proc/128185/statm: 14953 4118 2400 1147 0 2379 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 64004 KiB
Current children cumulated memory: 19544 KiB

[startup+0.314153 s]*
/proc/loadavg: 4.16 4.23 4.18 5/266 128185
/proc/meminfo: memFree=126378132/131382116 swapFree=33005528/33010684
[pid=128182] ppid=128179 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/128182/stat : 128182 (run-opt-ls-log.) S 128179 128182 126764 0 -1 4194304 242 711 0 0 0 0 0 0 20 0 1 0 174544545 4292608 768 18446744073709551615 94527062745088 94527063639621 140733017114304 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94527063878672 94527063926416 94527089647616 140733017119001 140733017119199 140733017119199 140733017124803 0
/proc/128182/statm: 1048 768 704 219 0 110 0
[pid=128185] ppid=128182 vsize=60620 memory=17240 CPUtime=0.28 cores=1,3
/proc/128185/stat : 128185 (roundingsat) R 128182 128182 126764 0 -1 4194304 1856 0 0 0 26 2 0 0 20 0 1 0 174544548 62074880 4310 18446744073709551615 4227072 8923577 140722683976224 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 39149568 140722683984116 140722683984422 140722683984422 140722683989994 0
/proc/128185/statm: 15155 4310 2400 1147 0 2581 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 64812 KiB
Current children cumulated memory: 20312 KiB

[startup+0.700404 s]
/proc/loadavg: 4.16 4.23 4.18 5/266 128185
/proc/meminfo: memFree=126378452/131382116 swapFree=33005528/33010684
[pid=128182] ppid=128179 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/128182/stat : 128182 (run-opt-ls-log.) S 128179 128182 126764 0 -1 4194304 242 711 0 0 0 0 0 0 20 0 1 0 174544545 4292608 768 18446744073709551615 94527062745088 94527063639621 140733017114304 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94527063878672 94527063926416 94527089647616 140733017119001 140733017119199 140733017119199 140733017124803 0
/proc/128182/statm: 1048 768 704 219 0 110 0
[pid=128185] ppid=128182 vsize=62436 memory=19032 CPUtime=0.66 cores=1,3
/proc/128185/stat : 128185 (roundingsat) R 128182 128182 126764 0 -1 4194304 2277 0 0 0 60 6 0 0 20 0 1 0 174544548 63934464 4758 18446744073709551615 4227072 8923577 140722683976224 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 39149568 140722683984116 140722683984422 140722683984422 140722683989994 0
/proc/128185/statm: 15609 4758 2432 1147 0 3035 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 66628 KiB
Current children cumulated memory: 22104 KiB

[startup+1.50034 s]
/proc/loadavg: 4.16 4.23 4.18 5/266 128185
/proc/meminfo: memFree=126362324/131382116 swapFree=33005528/33010684
[pid=128182] ppid=128179 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/128182/stat : 128182 (run-opt-ls-log.) S 128179 128182 126764 0 -1 4194304 242 711 0 0 0 0 0 0 20 0 1 0 174544545 4292608 768 18446744073709551615 94527062745088 94527063639621 140733017114304 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94527063878672 94527063926416 94527089647616 140733017119001 140733017119199 140733017119199 140733017124803 0
/proc/128182/statm: 1048 768 704 219 0 110 0
[pid=128185] ppid=128182 vsize=69172 memory=25688 CPUtime=1.45 cores=1,3
/proc/128185/stat : 128185 (roundingsat) R 128182 128182 126764 0 -1 4194304 3941 0 0 0 136 9 0 0 20 0 1 0 174544548 70832128 6422 18446744073709551615 4227072 8923577 140722683976224 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 39149568 140722683984116 140722683984422 140722683984422 140722683989994 0
/proc/128185/statm: 17293 6422 2432 1147 0 4719 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 73364 KiB
Current children cumulated memory: 28760 KiB

[startup+3.11368 s]
/proc/loadavg: 4.16 4.23 4.18 5/266 128185
/proc/meminfo: memFree=126258348/131382116 swapFree=33005528/33010684
[pid=128182] ppid=128179 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/128182/stat : 128182 (run-opt-ls-log.) S 128179 128182 126764 0 -1 4194304 242 711 0 0 0 0 0 0 20 0 1 0 174544545 4292608 768 18446744073709551615 94527062745088 94527063639621 140733017114304 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94527063878672 94527063926416 94527089647616 140733017119001 140733017119199 140733017119199 140733017124803 0
/proc/128182/statm: 1048 768 704 219 0 110 0
[pid=128185] ppid=128182 vsize=73716 memory=32032 CPUtime=3.07 cores=1,3
/proc/128185/stat : 128185 (roundingsat) R 128182 128182 126764 0 -1 4194304 5032 0 0 0 291 16 0 0 20 0 1 0 174544548 75485184 8008 18446744073709551615 4227072 8923577 140722683976224 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 39149568 140722683984116 140722683984422 140722683984422 140722683989994 0
/proc/128185/statm: 18429 8008 2432 1147 0 5855 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 77908 KiB
Current children cumulated memory: 35104 KiB

[startup+6.30034 s]
/proc/loadavg: 4.23 4.24 4.19 5/266 128185
/proc/meminfo: memFree=126171796/131382116 swapFree=33005528/33010684
[pid=128182] ppid=128179 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/128182/stat : 128182 (run-opt-ls-log.) S 128179 128182 126764 0 -1 4194304 242 711 0 0 0 0 0 0 20 0 1 0 174544545 4292608 768 18446744073709551615 94527062745088 94527063639621 140733017114304 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94527063878672 94527063926416 94527089647616 140733017119001 140733017119199 140733017119199 140733017124803 0
/proc/128182/statm: 1048 768 704 219 0 110 0
[pid=128185] ppid=128182 vsize=83096 memory=39328 CPUtime=6.24 cores=1,3
/proc/128185/stat : 128185 (roundingsat) R 128182 128182 126764 0 -1 4194304 6863 0 0 0 597 27 0 0 20 0 1 0 174544548 85090304 9832 18446744073709551615 4227072 8923577 140722683976224 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 39149568 140722683984116 140722683984422 140722683984422 140722683989994 0
/proc/128185/statm: 20774 9832 2432 1147 0 8200 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 87288 KiB
Current children cumulated memory: 42400 KiB

[startup+12.7004 s]
/proc/loadavg: 4.29 4.26 4.19 5/266 128185
/proc/meminfo: memFree=125976668/131382116 swapFree=33005528/33010684
[pid=128182] ppid=128179 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/128182/stat : 128182 (run-opt-ls-log.) S 128179 128182 126764 0 -1 4194304 242 711 0 0 0 0 0 0 20 0 1 0 174544545 4292608 768 18446744073709551615 94527062745088 94527063639621 140733017114304 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94527063878672 94527063926416 94527089647616 140733017119001 140733017119199 140733017119199 140733017124803 0
/proc/128182/statm: 1048 768 704 219 0 110 0
[pid=128185] ppid=128182 vsize=96756 memory=50720 CPUtime=12.62 cores=1,3
/proc/128185/stat : 128185 (roundingsat) R 128182 128182 126764 0 -1 4194304 9184 0 0 0 1215 47 0 0 20 0 1 0 174544548 99078144 12680 18446744073709551615 4227072 8923577 140722683976224 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 39149568 140722683984116 140722683984422 140722683984422 140722683989994 0
/proc/128185/statm: 24189 12680 2432 1147 0 11615 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 100948 KiB
Current children cumulated memory: 53792 KiB

[startup+25.5004 s]
/proc/loadavg: 4.45 4.29 4.21 5/265 128185
/proc/meminfo: memFree=125661788/131382116 swapFree=33005528/33010684
[pid=128182] ppid=128179 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/128182/stat : 128182 (run-opt-ls-log.) S 128179 128182 126764 0 -1 4194304 242 711 0 0 0 0 0 0 20 0 1 0 174544545 4292608 768 18446744073709551615 94527062745088 94527063639621 140733017114304 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94527063878672 94527063926416 94527089647616 140733017119001 140733017119199 140733017119199 140733017124803 0
/proc/128182/statm: 1048 768 704 219 0 110 0
[pid=128185] ppid=128182 vsize=104888 memory=59424 CPUtime=25.37 cores=1,3
/proc/128185/stat : 128185 (roundingsat) R 128182 128182 126764 0 -1 4194304 11368 0 0 0 2456 81 0 0 20 0 1 0 174544548 107405312 14856 18446744073709551615 4227072 8923577 140722683976224 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 39149568 140722683984116 140722683984422 140722683984422 140722683989994 0
/proc/128185/statm: 26222 14856 2432 1147 0 13648 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 109080 KiB
Current children cumulated memory: 62496 KiB

[startup+51.1138 s]
/proc/loadavg: 4.79 4.38 4.24 5/265 128189
/proc/meminfo: memFree=125022144/131382116 swapFree=33005528/33010684
[pid=128182] ppid=128179 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/128182/stat : 128182 (run-opt-ls-log.) S 128179 128182 126764 0 -1 4194304 242 711 0 0 0 0 0 0 20 0 1 0 174544545 4292608 768 18446744073709551615 94527062745088 94527063639621 140733017114304 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94527063878672 94527063926416 94527089647616 140733017119001 140733017119199 140733017119199 140733017124803 0
/proc/128182/statm: 1048 768 704 219 0 110 0
[pid=128185] ppid=128182 vsize=127600 memory=77604 CPUtime=50.87 cores=1,3
/proc/128185/stat : 128185 (roundingsat) R 128182 128182 126764 0 -1 4194304 14908 0 0 0 4941 146 0 0 20 0 1 0 174544548 130662400 19401 18446744073709551615 4227072 8923577 140722683976224 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 39149568 140722683984116 140722683984422 140722683984422 140722683989994 0
/proc/128185/statm: 31900 19401 2432 1147 0 19326 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 131792 KiB
Current children cumulated memory: 80676 KiB

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

# cumulated CPU time of all completed processes:  user=84.8439 s, system=2.28784 s

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

[startup+51.2005 s]
/proc/loadavg: 4.79 4.38 4.24 5/265 128189
/proc/meminfo: memFree=125022144/131382116 swapFree=33005528/33010684
[pid=128182] ppid=128179 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/128182/stat : 128182 (run-opt-ls-log.) S 128179 128182 126764 0 -1 4194304 242 711 0 0 0 0 0 0 20 0 1 0 174544545 4292608 768 18446744073709551615 94527062745088 94527063639621 140733017114304 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94527063878672 94527063926416 94527089647616 140733017119001 140733017119199 140733017119199 140733017124803 0
/proc/128182/statm: 1048 768 704 219 0 110 0
[pid=128185] ppid=128182 vsize=127600 memory=77604 CPUtime=50.96 cores=1,3
/proc/128185/stat : 128185 (roundingsat) R 128182 128182 126764 0 -1 4194304 14908 0 0 0 4950 146 0 0 20 0 1 0 174544548 130662400 19401 18446744073709551615 4227072 8923577 140722683976224 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 39149568 140722683984116 140722683984422 140722683984422 140722683989994 0
/proc/128185/statm: 31900 19401 2432 1147 0 19326 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 131792 KiB
Current children cumulated memory: 80676 KiB

[startup+64.0004 s]*
/proc/loadavg: 4.84 4.41 4.25 5/265 128190
/proc/meminfo: memFree=124804436/131382116 swapFree=33005528/33010684
[pid=128182] ppid=128179 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/128182/stat : 128182 (run-opt-ls-log.) S 128179 128182 126764 0 -1 4194304 242 711 0 0 0 0 0 0 20 0 1 0 174544545 4292608 768 18446744073709551615 94527062745088 94527063639621 140733017114304 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94527063878672 94527063926416 94527089647616 140733017119001 140733017119199 140733017119199 140733017124803 0
/proc/128182/statm: 1048 768 704 219 0 110 0
[pid=128185] ppid=128182 vsize=127984 memory=77988 CPUtime=63.72 cores=1,3
/proc/128185/stat : 128185 (roundingsat) R 128182 128182 126764 0 -1 4194304 15002 0 0 0 6195 177 0 0 20 0 1 0 174544548 131055616 19497 18446744073709551615 4227072 8923577 140722683976224 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 39149568 140722683984116 140722683984422 140722683984422 140722683989994 0
/proc/128185/statm: 31996 19497 2432 1147 0 19422 0
Current children cumulated CPU time: 63.72 s
Current children cumulated vsize: 132176 KiB
Current children cumulated memory: 81060 KiB

[startup+76.8004 s]
/proc/loadavg: 4.78 4.42 4.26 5/264 128190
/proc/meminfo: memFree=124595924/131382116 swapFree=33005528/33010684
[pid=128182] ppid=128179 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/128182/stat : 128182 (run-opt-ls-log.) S 128179 128182 126764 0 -1 4194304 242 711 0 0 0 0 0 0 20 0 1 0 174544545 4292608 768 18446744073709551615 94527062745088 94527063639621 140733017114304 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94527063878672 94527063926416 94527089647616 140733017119001 140733017119199 140733017119199 140733017124803 0
/proc/128182/statm: 1048 768 704 219 0 110 0
[pid=128185] ppid=128182 vsize=130368 memory=79908 CPUtime=76.45 cores=1,3
/proc/128185/stat : 128185 (roundingsat) R 128182 128182 126764 0 -1 4194304 15485 0 0 0 7443 202 0 0 20 0 1 0 174544548 133496832 19977 18446744073709551615 4227072 8923577 140722683976224 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 39149568 140722683984116 140722683984422 140722683984422 140722683989994 0
/proc/128185/statm: 32592 19977 2432 1147 0 20018 0
Current children cumulated CPU time: 76.45 s
Current children cumulated vsize: 134560 KiB
Current children cumulated memory: 82980 KiB

[startup+83.2003 s]
/proc/loadavg: 4.72 4.41 4.25 5/264 128190
/proc/meminfo: memFree=124466964/131382116 swapFree=33005528/33010684
[pid=128182] ppid=128179 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/128182/stat : 128182 (run-opt-ls-log.) S 128179 128182 126764 0 -1 4194304 242 711 0 0 0 0 0 0 20 0 1 0 174544545 4292608 768 18446744073709551615 94527062745088 94527063639621 140733017114304 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94527063878672 94527063926416 94527089647616 140733017119001 140733017119199 140733017119199 140733017124803 0
/proc/128182/statm: 1048 768 704 219 0 110 0
[pid=128185] ppid=128182 vsize=131380 memory=80804 CPUtime=82.83 cores=1,3
/proc/128185/stat : 128185 (roundingsat) R 128182 128182 126764 0 -1 4194304 15706 0 0 0 8069 214 0 0 20 0 1 0 174544548 134533120 20201 18446744073709551615 4227072 8923577 140722683976224 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 39149568 140722683984116 140722683984422 140722683984422 140722683989994 0
/proc/128185/statm: 32845 20201 2432 1147 0 20271 0
Current children cumulated CPU time: 82.83 s
Current children cumulated vsize: 135572 KiB
Current children cumulated memory: 83876 KiB

[startup+86.4004 s]
/proc/loadavg: 4.66 4.40 4.25 5/264 128190
/proc/meminfo: memFree=124408588/131382116 swapFree=33005528/33010684
[pid=128182] ppid=128179 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/128182/stat : 128182 (run-opt-ls-log.) S 128179 128182 126764 0 -1 4194304 242 711 0 0 0 0 0 0 20 0 1 0 174544545 4292608 768 18446744073709551615 94527062745088 94527063639621 140733017114304 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94527063878672 94527063926416 94527089647616 140733017119001 140733017119199 140733017119199 140733017124803 0
/proc/128182/statm: 1048 768 704 219 0 110 0
[pid=128185] ppid=128182 vsize=131380 memory=80804 CPUtime=86.02 cores=1,3
/proc/128185/stat : 128185 (roundingsat) R 128182 128182 126764 0 -1 4194304 15706 0 0 0 8383 219 0 0 20 0 1 0 174544548 134533120 20201 18446744073709551615 4227072 8923577 140722683976224 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 39149568 140722683984116 140722683984422 140722683984422 140722683989994 0
/proc/128185/statm: 32845 20201 2432 1147 0 20271 0
Current children cumulated CPU time: 86.02 s
Current children cumulated vsize: 135572 KiB
Current children cumulated memory: 83876 KiB

[startup+87.2004 s]
/proc/loadavg: 4.66 4.40 4.25 5/264 128191
/proc/meminfo: memFree=124409884/131382116 swapFree=33005528/33010684
[pid=128182] ppid=128179 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/128182/stat : 128182 (run-opt-ls-log.) S 128179 128182 126764 0 -1 4194304 242 711 0 0 0 0 0 0 20 0 1 0 174544545 4292608 768 18446744073709551615 94527062745088 94527063639621 140733017114304 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94527063878672 94527063926416 94527089647616 140733017119001 140733017119199 140733017119199 140733017124803 0
/proc/128182/statm: 1048 768 704 219 0 110 0
[pid=128185] ppid=128182 vsize=131380 memory=80804 CPUtime=86.81 cores=1,3
/proc/128185/stat : 128185 (roundingsat) R 128182 128182 126764 0 -1 4194304 15708 0 0 0 8461 220 0 0 20 0 1 0 174544548 134533120 20201 18446744073709551615 4227072 8923577 140722683976224 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 39149568 140722683984116 140722683984422 140722683984422 140722683989994 0
/proc/128185/statm: 32845 20201 2432 1147 0 20271 0
Current children cumulated CPU time: 86.81 s
Current children cumulated vsize: 135572 KiB
Current children cumulated memory: 83876 KiB

[startup+87.6004 s]
/proc/loadavg: 4.66 4.40 4.25 5/264 128191
/proc/meminfo: memFree=124409884/131382116 swapFree=33005528/33010684
[pid=128182] ppid=128179 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/128182/stat : 128182 (run-opt-ls-log.) S 128179 128182 126764 0 -1 4194304 242 711 0 0 0 0 0 0 20 0 1 0 174544545 4292608 768 18446744073709551615 94527062745088 94527063639621 140733017114304 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94527063878672 94527063926416 94527089647616 140733017119001 140733017119199 140733017119199 140733017124803 0
/proc/128182/statm: 1048 768 704 219 0 110 0
[pid=128185] ppid=128182 vsize=131380 memory=80804 CPUtime=87.06 cores=1,3
/proc/128185/stat : 128185 (roundingsat) R 128182 128182 126764 0 -1 4194304 15713 0 0 0 8482 224 0 0 20 0 1 0 174544548 134533120 20201 18446744073709551615 4227072 8923577 140722683976224 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9827200 9836688 39149568 140722683984116 140722683984422 140722683984422 140722683989994 0
/proc/128185/statm: 32845 20201 2432 1147 0 20271 0
Current children cumulated CPU time: 87.06 s
Current children cumulated vsize: 135572 KiB
Current children cumulated memory: 83876 KiB

[startup+88.0004 s]*
/proc/loadavg: 4.66 4.40 4.25 4/264 128191
/proc/meminfo: memFree=124399504/131382116 swapFree=33005528/33010684
[pid=128182] ppid=128179 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/128182/stat : 128182 (run-opt-ls-log.) S 128179 128182 126764 0 -1 4194304 242 711 0 0 0 0 0 0 20 0 1 0 174544545 4292608 768 18446744073709551615 94527062745088 94527063639621 140733017114304 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94527063878672 94527063926416 94527089647616 140733017119001 140733017119199 140733017119199 140733017124803 0
/proc/128182/statm: 1048 768 704 219 0 110 0
[pid=128185] ppid=128182 vsize=131380 memory=80804 CPUtime=87.08 cores=1,3
/proc/128185/stat : 128185 (roundingsat) D 128182 128182 126764 0 -1 4194304 15713 0 0 0 8483 225 0 0 20 0 1 0 174544548 134533120 20201 18446744073709551615 4227072 8923577 140722683976224 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9827200 9836688 39149568 140722683984116 140722683984422 140722683984422 140722683989994 0
/proc/128185/statm: 32845 20201 2432 1147 0 20271 0
Current children cumulated CPU time: 87.08 s
Current children cumulated vsize: 135572 KiB
Current children cumulated memory: 83876 KiB

[startup+88.1139 s]
/proc/loadavg: 4.66 4.40 4.25 4/264 128191
/proc/meminfo: memFree=124399504/131382116 swapFree=33005528/33010684
[pid=128182] ppid=128179 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/128182/stat : 128182 (run-opt-ls-log.) S 128179 128182 126764 0 -1 4194304 242 711 0 0 0 0 0 0 20 0 1 0 174544545 4292608 768 18446744073709551615 94527062745088 94527063639621 140733017114304 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94527063878672 94527063926416 94527089647616 140733017119001 140733017119199 140733017119199 140733017124803 0
/proc/128182/statm: 1048 768 704 219 0 110 0
[pid=128185] ppid=128182 vsize=131380 memory=80804 CPUtime=87.1 cores=1,3
/proc/128185/stat : 128185 (roundingsat) D 128182 128182 126764 0 -1 4194304 15713 0 0 0 8483 227 0 0 20 0 1 0 174544548 134533120 20201 18446744073709551615 4227072 8923577 140722683976224 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9827200 9836688 39149568 140722683984116 140722683984422 140722683984422 140722683989994 0
/proc/128185/statm: 32845 20201 2432 1147 0 20271 0
Current children cumulated CPU time: 87.1 s
Current children cumulated vsize: 135572 KiB
Current children cumulated memory: 83876 KiB

Child status: 0

Real time (s): 88.1679
CPU time (s): 87.1318
CPU user time (s): 84.8439
CPU system time (s): 2.28784
CPU usage (%): 98.8248
Max. virtual memory (cumulated for all children) (KiB): 135572
Max. memory (cumulated for all children) (KiB): 83876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 84.8439
system time used= 2.28784
maximum resident set size= 80804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16688
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1902224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14087
involuntary context switches= 574


# summary of solver processes directly reported to runsolver:
#   pid: 128182
#   total CPU time (s): 87.1318
#   total CPU user time (s): 84.8439
#   total CPU system time (s): 2.28784

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.498773 second user time and 1.00544 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2025-07-15 16:10:51
IDJOB=4532002
IDBENCH=155354
IDSOLVER=3392
FILE ID=nodeC010/4532002-1752588651
RUNJOBID= nodeC010-1752584602-126776
SLURM_JOB_ID= 9684340
Free space on /tmp= 430456 MiB

SOLVER NAME= roundingsat-ls+pbsuma-log 0f876b3
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 -w /tmp/evaluation-result-4532002-1752588651/watcher-4532002-1752588651 -o /tmp/evaluation-result-4532002-1752588651/solver-4532002-1752588651 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1752584602-126776 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4532002-1752588651.opb PROOFDIR/proof-4532002-1752588651

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

MD5SUM BENCH= fe13d2dbd64f41a692445fbdcafba3bd
RANDOM SEED=758036026

nodeC010 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.290
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.36
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		: 1896.086
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.36
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.336
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.36
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.150
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.36
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.568
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.36
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		: 3663.518
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        126394008 kB
MemAvailable:   129242300 kB
Buffers:             228 kB
Cached:          3641632 kB
SwapCached:         4296 kB
Active:          1145528 kB
Inactive:        3256984 kB
Active(anon):     724960 kB
Inactive(anon):    49364 kB
Active(file):     420568 kB
Inactive(file):  3207620 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005528 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            246140 kB
Writeback:            76 kB
AnonPages:        755944 kB
Mapped:           116928 kB
Shmem:             13628 kB
KReclaimable:     119460 kB
Slab:             215840 kB
SReclaimable:     119460 kB
SUnreclaim:        96380 kB
KernelStack:        4272 kB
PageTables:         4876 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    1163108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149640 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    352256 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:      205640 kB
DirectMap2M:    12279808 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 430448 MiB
End job on nodeC010 at 2025-07-15 16:12:20