Trace number 4499121

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-ihs-log 63f22adOPT cert.6 514.133 516.569

General information on the benchmark

NamePB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx60.opb
MD5SUMc4903dfb08836eadb378d0a168fb9840
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 benchmark6
Best CPU time to get the best result obtained on this benchmark0.630697
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2994
Total number of constraints3433
Number of constraints which are clauses2988
Number of constraints which are cardinality constraints (but not clauses)61
Number of constraints which are nor clauses,nor cardinality constraints384
Minimum length of a constraint2
Maximum length of a constraint384
Number of terms in the objective function 6
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6
Number of bits of the sum of numbers in the objective function 3
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 757
Number of bits of the biggest sum of numbers10
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 RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
0.00/0.04	c #variables 2994 #constraints 3493
0.00/0.04	c objective is ce32 
0.00/0.04	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.04	c initial counting CF 32, 64, 128, Arb: 385 , 0 , 0 , 0
0.00/0.04	c GLOBAL bounds - >= 0 @ 0.025932
0.00/0.04	c GLOBAL bounds - >= 0 @ 0.028426
0.00/0.04	c GLOBAL bounds - >= 6 @ 0.028426
0.00/0.07	c rational objective 6
1.09/1.19	c #Conflicts:       1000 | #Constraints:       4500
1.09/1.19	c #Conflicts:       2000 | #Constraints:       5504
1.09/1.19	c INPROCESSING
1.09/1.19	c GARBAGE COLLECT
1.09/1.19	c rational objective 6
1.77/1.88	c GLOBAL bounds - >= 6 @ 1.82154
2.87/2.97	c #Conflicts:       3000 | #Constraints:       2524
2.87/2.97	c #Conflicts:       4000 | #Constraints:       3537
2.87/2.97	c INPROCESSING
2.87/2.97	c GARBAGE COLLECT
2.87/2.97	c rational objective 6
3.17/3.22	c GLOBAL bounds - >= 6 @ 3.11527
3.17/3.22	c GLOBAL bounds - >= 6 @ 3.11529
4.45/4.51	c #Conflicts:       5000 | #Constraints:       2940
4.45/4.51	c #Conflicts:       6000 | #Constraints:       3945
4.45/4.51	c INPROCESSING
4.45/4.51	c GARBAGE COLLECT
4.45/4.51	c rational objective 6
4.55/4.60	c GLOBAL bounds - >= 6 @ 4.444
4.55/4.60	c GLOBAL bounds - >= 6 @ 4.44402
6.83/6.96	c #Conflicts:       7000 | #Constraints:       2955
6.83/6.96	c #Conflicts:       8000 | #Constraints:       3965
6.83/6.96	c #Conflicts:       9000 | #Constraints:       4973
6.83/6.96	c INPROCESSING
6.83/6.96	c GARBAGE COLLECT
6.83/6.96	c rational objective 6
7.03/7.19	c GLOBAL bounds - >= 6 @ 6.95283
7.03/7.19	c GLOBAL bounds - >= 6 @ 6.95285
9.02/9.11	c #Conflicts:      10000 | #Constraints:       3672
9.02/9.11	c #Conflicts:      11000 | #Constraints:       4678
9.02/9.11	c #Conflicts:      12000 | #Constraints:       5687
9.02/9.11	c INPROCESSING
9.02/9.11	c GARBAGE COLLECT
9.02/9.11	c rational objective 6
9.13/9.27	c GLOBAL bounds - >= 6 @ 8.99111
9.13/9.27	c GLOBAL bounds - >= 6 @ 8.99113
10.81/10.92	c #Conflicts:      13000 | #Constraints:       4121
10.81/10.92	c #Conflicts:      14000 | #Constraints:       5126
10.81/10.92	c #Conflicts:      15000 | #Constraints:       6129
10.81/10.92	c INPROCESSING
10.81/10.92	c GARBAGE COLLECT
10.81/10.92	c rational objective 6
10.91/11.06	c GLOBAL bounds - >= 6 @ 10.7305
10.91/11.06	c GLOBAL bounds - >= 6 @ 10.7305
13.61/13.79	c #Conflicts:      16000 | #Constraints:       4344
13.61/13.79	c #Conflicts:      17000 | #Constraints:       5354
13.61/13.79	c #Conflicts:      18000 | #Constraints:       6360
13.61/13.79	c INPROCESSING
13.61/13.79	c GARBAGE COLLECT
13.61/13.79	c rational objective 6
13.90/14.06	c GLOBAL bounds - >= 6 @ 13.6623
13.90/14.06	c GLOBAL bounds - >= 6 @ 13.6624
17.30/17.46	c #Conflicts:      19000 | #Constraints:       4370
17.30/17.46	c #Conflicts:      20000 | #Constraints:       5381
17.30/17.46	c #Conflicts:      21000 | #Constraints:       6395
17.30/17.46	c INPROCESSING
17.30/17.46	c GARBAGE COLLECT
17.30/17.46	c rational objective 6
17.50/17.62	c GLOBAL bounds - >= 6 @ 17.1471
17.50/17.62	c GLOBAL bounds - >= 6 @ 17.1471
19.69/19.82	c #Conflicts:      22000 | #Constraints:       4172
19.69/19.82	c #Conflicts:      23000 | #Constraints:       5178
19.69/19.82	c #Conflicts:      24000 | #Constraints:       6184
19.69/19.82	c #Conflicts:      25000 | #Constraints:       7193
19.69/19.82	c INPROCESSING
19.69/19.82	c GARBAGE COLLECT
19.69/19.82	c rational objective 6
20.28/20.45	c GLOBAL bounds - >= 6 @ 19.9108
20.28/20.45	c GLOBAL bounds - >= 6 @ 19.9108
23.17/23.35	c #Conflicts:      26000 | #Constraints:       4782
23.17/23.35	c #Conflicts:      27000 | #Constraints:       5796
23.17/23.35	c #Conflicts:      28000 | #Constraints:       6803
23.17/23.35	c #Conflicts:      29000 | #Constraints:       7806
23.17/23.35	c INPROCESSING
23.17/23.35	c GARBAGE COLLECT
23.17/23.35	c rational objective 6
23.28/23.48	c GLOBAL bounds - >= 6 @ 22.869
23.28/23.48	c GLOBAL bounds - >= 6 @ 22.869
26.67/26.88	c #Conflicts:      30000 | #Constraints:       5192
26.67/26.88	c #Conflicts:      31000 | #Constraints:       6199
26.67/26.88	c #Conflicts:      32000 | #Constraints:       7203
26.67/26.88	c #Conflicts:      33000 | #Constraints:       8217
26.67/26.88	c INPROCESSING
26.67/26.88	c GARBAGE COLLECT
26.67/26.88	c rational objective 6
26.87/27.06	c GLOBAL bounds - >= 6 @ 26.374
26.87/27.06	c GLOBAL bounds - >= 6 @ 26.3741
30.86/31.06	c #Conflicts:      34000 | #Constraints:       5392
30.86/31.06	c #Conflicts:      35000 | #Constraints:       6404
30.86/31.06	c #Conflicts:      36000 | #Constraints:       7416
30.86/31.06	c #Conflicts:      37000 | #Constraints:       8421
30.86/31.06	c INPROCESSING
30.86/31.06	c GARBAGE COLLECT
30.86/31.06	c rational objective 6
31.15/31.36	c GLOBAL bounds - >= 6 @ 30.583
31.15/31.36	c GLOBAL bounds - >= 6 @ 30.583
35.04/35.25	c #Conflicts:      38000 | #Constraints:       5396
35.04/35.25	c #Conflicts:      39000 | #Constraints:       6403
35.04/35.25	c #Conflicts:      40000 | #Constraints:       7407
35.04/35.25	c #Conflicts:      41000 | #Constraints:       8412
35.04/35.25	c INPROCESSING
35.04/35.25	c GARBAGE COLLECT
35.04/35.25	c rational objective 6
35.24/35.42	c GLOBAL bounds - >= 6 @ 34.5836
35.24/35.42	c GLOBAL bounds - >= 6 @ 34.5837
39.94/40.15	c #Conflicts:      42000 | #Constraints:       5224
39.94/40.15	c #Conflicts:      43000 | #Constraints:       6233
39.94/40.15	c #Conflicts:      44000 | #Constraints:       7244
39.94/40.15	c #Conflicts:      45000 | #Constraints:       8253
39.94/40.15	c #Conflicts:      46000 | #Constraints:       9257
39.94/40.15	c INPROCESSING
39.94/40.15	c GARBAGE COLLECT
39.94/40.15	c rational objective 6
40.03/40.25	c GLOBAL bounds - >= 6 @ 39.3253
40.03/40.25	c GLOBAL bounds - >= 6 @ 39.3253
43.62/43.85	c #Conflicts:      47000 | #Constraints:       5822
43.62/43.85	c #Conflicts:      48000 | #Constraints:       6828
43.62/43.85	c #Conflicts:      49000 | #Constraints:       7833
43.62/43.85	c #Conflicts:      50000 | #Constraints:       8843
43.62/43.85	c #Conflicts:      51000 | #Constraints:       9865
43.62/43.85	c INPROCESSING
43.62/43.85	c GARBAGE COLLECT
43.62/43.85	c rational objective 6
43.72/43.94	c GLOBAL bounds - >= 6 @ 42.9451
43.72/43.94	c GLOBAL bounds - >= 6 @ 42.9451
48.81/49.05	c #Conflicts:      52000 | #Constraints:       6228
48.81/49.05	c #Conflicts:      53000 | #Constraints:       7238
48.81/49.05	c #Conflicts:      54000 | #Constraints:       8245
48.81/49.05	c #Conflicts:      55000 | #Constraints:       9256
48.81/49.05	c #Conflicts:      56000 | #Constraints:      10269
48.81/49.05	c INPROCESSING
48.81/49.05	c GARBAGE COLLECT
48.81/49.05	c rational objective 6
48.91/49.15	c GLOBAL bounds - >= 6 @ 48.0573
48.91/49.15	c GLOBAL bounds - >= 6 @ 48.0573
52.40/52.67	c #Conflicts:      57000 | #Constraints:       6420
52.40/52.67	c #Conflicts:      58000 | #Constraints:       7422
52.40/52.67	c #Conflicts:      59000 | #Constraints:       8430
52.40/52.67	c #Conflicts:      60000 | #Constraints:       9444
52.40/52.67	c #Conflicts:      61000 | #Constraints:      10455
52.40/52.67	c INPROCESSING
52.40/52.67	c GARBAGE COLLECT
52.40/52.67	c rational objective 6
52.90/53.16	c GLOBAL bounds - >= 6 @ 51.9839
52.90/53.16	c GLOBAL bounds - >= 6 @ 51.9839
55.99/56.20	c #Conflicts:      62000 | #Constraints:       6407
55.99/56.20	c #Conflicts:      63000 | #Constraints:       7413
55.99/56.20	c #Conflicts:      64000 | #Constraints:       8417
55.99/56.20	c #Conflicts:      65000 | #Constraints:       9426
55.99/56.20	c #Conflicts:      66000 | #Constraints:      10437
55.99/56.20	c INPROCESSING
55.99/56.20	c GARBAGE COLLECT
55.99/56.20	c rational objective 6
56.09/56.36	c GLOBAL bounds - >= 6 @ 55.0973
56.09/56.36	c GLOBAL bounds - >= 6 @ 55.0973
60.94/61.23	c #Conflicts:      67000 | #Constraints:       6200
60.94/61.23	c #Conflicts:      68000 | #Constraints:       7206
60.94/61.23	c #Conflicts:      69000 | #Constraints:       8211
60.94/61.23	c #Conflicts:      70000 | #Constraints:       9218
60.94/61.23	c #Conflicts:      71000 | #Constraints:      10231
60.94/61.23	c #Conflicts:      72000 | #Constraints:      11242
60.94/61.23	c INPROCESSING
60.94/61.23	c GARBAGE COLLECT
60.94/61.23	c rational objective 6
61.14/61.44	c GLOBAL bounds - >= 6 @ 60.0265
61.14/61.44	c GLOBAL bounds - >= 6 @ 60.0265
65.53/65.89	c #Conflicts:      73000 | #Constraints:       6800
65.53/65.89	c #Conflicts:      74000 | #Constraints:       7804
65.53/65.89	c #Conflicts:      75000 | #Constraints:       8825
65.53/65.89	c #Conflicts:      76000 | #Constraints:       9840
65.53/65.89	c #Conflicts:      77000 | #Constraints:      10850
65.53/65.89	c #Conflicts:      78000 | #Constraints:      11860
65.53/65.89	c INPROCESSING
65.53/65.89	c GARBAGE COLLECT
65.53/65.89	c rational objective 6
65.83/66.13	c GLOBAL bounds - >= 6 @ 64.6216
65.83/66.13	c GLOBAL bounds - >= 6 @ 64.6217
71.72/72.08	c #Conflicts:      79000 | #Constraints:       7217
71.72/72.08	c #Conflicts:      80000 | #Constraints:       8222
71.72/72.08	c #Conflicts:      81000 | #Constraints:       9229
71.72/72.08	c #Conflicts:      82000 | #Constraints:      10240
71.72/72.08	c #Conflicts:      83000 | #Constraints:      11250
71.72/72.08	c #Conflicts:      84000 | #Constraints:      12263
71.72/72.08	c INPROCESSING
71.72/72.08	c GARBAGE COLLECT
71.72/72.08	c rational objective 6
72.11/72.42	c GLOBAL bounds - >= 6 @ 70.7968
72.11/72.42	c GLOBAL bounds - >= 6 @ 70.7968
76.71/77.02	c #Conflicts:      85000 | #Constraints:       7416
76.71/77.02	c #Conflicts:      86000 | #Constraints:       8426
76.71/77.02	c #Conflicts:      87000 | #Constraints:       9435
76.71/77.02	c #Conflicts:      88000 | #Constraints:      10441
76.71/77.02	c #Conflicts:      89000 | #Constraints:      11450
76.71/77.02	c #Conflicts:      90000 | #Constraints:      12460
76.71/77.02	c INPROCESSING
76.71/77.02	c GARBAGE COLLECT
76.71/77.02	c rational objective 6
76.90/77.29	c GLOBAL bounds - >= 6 @ 75.5909
76.90/77.29	c GLOBAL bounds - >= 6 @ 75.591
88.37/88.78	c #Conflicts:      91000 | #Constraints:       7431
88.37/88.78	c #Conflicts:      92000 | #Constraints:       8437
88.37/88.78	c #Conflicts:      93000 | #Constraints:       9442
88.37/88.78	c #Conflicts:      94000 | #Constraints:      10446
88.37/88.78	c #Conflicts:      95000 | #Constraints:      11448
88.37/88.78	c #Conflicts:      96000 | #Constraints:      12450
88.37/88.78	c INPROCESSING
88.37/88.78	c GARBAGE COLLECT
88.37/88.78	c rational objective 6
88.77/89.14	c GLOBAL bounds - >= 6 @ 87.2296
88.77/89.14	c GLOBAL bounds - >= 6 @ 87.2296
95.35/95.73	c #Conflicts:      97000 | #Constraints:       7209
95.35/95.73	c #Conflicts:      98000 | #Constraints:       8219
95.35/95.73	c #Conflicts:      99000 | #Constraints:       9223
95.35/95.73	c #Conflicts:     100000 | #Constraints:      10233
95.35/95.73	c #Conflicts:     101000 | #Constraints:      11237
95.35/95.73	c #Conflicts:     102000 | #Constraints:      12247
95.35/95.73	c #Conflicts:     103000 | #Constraints:      13259
95.35/95.73	c INPROCESSING
95.35/95.73	c GARBAGE COLLECT
95.35/95.73	c rational objective 6
95.75/96.16	c GLOBAL bounds - >= 6 @ 94.1039
95.75/96.16	c GLOBAL bounds - >= 6 @ 94.1039
102.53/102.99	c #Conflicts:     104000 | #Constraints:       7814
102.53/102.99	c #Conflicts:     105000 | #Constraints:       8827
102.53/102.99	c #Conflicts:     106000 | #Constraints:       9835
102.53/102.99	c #Conflicts:     107000 | #Constraints:      10845
102.53/102.99	c #Conflicts:     108000 | #Constraints:      11850
102.53/102.99	c #Conflicts:     109000 | #Constraints:      12855
102.53/102.99	c #Conflicts:     110000 | #Constraints:      13861
102.53/102.99	c INPROCESSING
102.53/102.99	c GARBAGE COLLECT
102.53/102.99	c rational objective 6
102.74/103.16	c GLOBAL bounds - >= 6 @ 100.983
102.74/103.16	c GLOBAL bounds - >= 6 @ 100.983
109.62/110.03	c #Conflicts:     111000 | #Constraints:       8215
109.62/110.03	c #Conflicts:     112000 | #Constraints:       9221
109.62/110.03	c #Conflicts:     113000 | #Constraints:      10231
109.62/110.03	c #Conflicts:     114000 | #Constraints:      11251
109.62/110.03	c #Conflicts:     115000 | #Constraints:      12259
109.62/110.03	c #Conflicts:     116000 | #Constraints:      13266
109.62/110.03	c #Conflicts:     117000 | #Constraints:      14279
109.62/110.03	c INPROCESSING
109.62/110.03	c GARBAGE COLLECT
109.62/110.03	c rational objective 6
109.91/110.33	c GLOBAL bounds - >= 6 @ 108.01
109.91/110.33	c GLOBAL bounds - >= 6 @ 108.01
118.39/118.80	c #Conflicts:     118000 | #Constraints:       8423
118.39/118.80	c #Conflicts:     119000 | #Constraints:       9429
118.39/118.80	c #Conflicts:     120000 | #Constraints:      10434
118.39/118.80	c #Conflicts:     121000 | #Constraints:      11440
118.39/118.80	c #Conflicts:     122000 | #Constraints:      12446
118.39/118.80	c #Conflicts:     123000 | #Constraints:      13452
118.39/118.80	c #Conflicts:     124000 | #Constraints:      14463
118.39/118.80	c INPROCESSING
118.39/118.80	c GARBAGE COLLECT
118.39/118.80	c rational objective 6
118.59/119.08	c GLOBAL bounds - >= 6 @ 116.629
118.59/119.08	c GLOBAL bounds - >= 6 @ 116.629
126.47/126.95	c #Conflicts:     125000 | #Constraints:       8422
126.47/126.95	c #Conflicts:     126000 | #Constraints:       9430
126.47/126.95	c #Conflicts:     127000 | #Constraints:      10437
126.47/126.95	c #Conflicts:     128000 | #Constraints:      11452
126.47/126.95	c #Conflicts:     129000 | #Constraints:      12464
126.47/126.95	c #Conflicts:     130000 | #Constraints:      13481
126.47/126.95	c #Conflicts:     131000 | #Constraints:      14491
126.47/126.95	c INPROCESSING
126.47/126.95	c GARBAGE COLLECT
126.47/126.95	c rational objective 6
126.76/127.29	c GLOBAL bounds - >= 6 @ 124.681
126.76/127.29	c GLOBAL bounds - >= 6 @ 124.681
134.45/134.98	c #Conflicts:     132000 | #Constraints:       8219
134.45/134.98	c #Conflicts:     133000 | #Constraints:       9229
134.45/134.98	c #Conflicts:     134000 | #Constraints:      10238
134.45/134.98	c #Conflicts:     135000 | #Constraints:      11247
134.45/134.98	c #Conflicts:     136000 | #Constraints:      12258
134.45/134.98	c #Conflicts:     137000 | #Constraints:      13267
134.45/134.98	c #Conflicts:     138000 | #Constraints:      14277
134.45/134.98	c #Conflicts:     139000 | #Constraints:      15284
134.45/134.98	c INPROCESSING
134.45/134.98	c GARBAGE COLLECT
134.45/134.98	c rational objective 6
134.65/135.19	c GLOBAL bounds - >= 6 @ 132.449
134.65/135.19	c GLOBAL bounds - >= 6 @ 132.45
143.62/144.12	c #Conflicts:     140000 | #Constraints:       8854
143.62/144.12	c #Conflicts:     141000 | #Constraints:       9882
143.62/144.12	c #Conflicts:     142000 | #Constraints:      10893
143.62/144.12	c #Conflicts:     143000 | #Constraints:      11904
143.62/144.12	c #Conflicts:     144000 | #Constraints:      12919
143.62/144.12	c #Conflicts:     145000 | #Constraints:      13933
143.62/144.12	c #Conflicts:     146000 | #Constraints:      14951
143.62/144.12	c #Conflicts:     147000 | #Constraints:      15965
143.62/144.12	c INPROCESSING
143.62/144.12	c GARBAGE COLLECT
143.62/144.12	c rational objective 6
143.72/144.25	c GLOBAL bounds - >= 6 @ 141.348
143.72/144.25	c GLOBAL bounds - >= 6 @ 141.348
153.99/154.52	c #Conflicts:     148000 | #Constraints:       9288
153.99/154.52	c #Conflicts:     149000 | #Constraints:      10294
153.99/154.52	c #Conflicts:     150000 | #Constraints:      11304
153.99/154.52	c #Conflicts:     151000 | #Constraints:      12311
153.99/154.52	c #Conflicts:     152000 | #Constraints:      13322
153.99/154.52	c #Conflicts:     153000 | #Constraints:      14336
153.99/154.52	c #Conflicts:     154000 | #Constraints:      15344
153.99/154.52	c #Conflicts:     155000 | #Constraints:      16354
153.99/154.52	c INPROCESSING
153.99/154.52	c GARBAGE COLLECT
153.99/154.52	c rational objective 6
154.18/154.71	c GLOBAL bounds - >= 6 @ 151.649
154.18/154.71	c GLOBAL bounds - >= 6 @ 151.649
165.06/165.68	c #Conflicts:     156000 | #Constraints:       9476
165.06/165.68	c #Conflicts:     157000 | #Constraints:      10484
165.06/165.68	c #Conflicts:     158000 | #Constraints:      11488
165.06/165.68	c #Conflicts:     159000 | #Constraints:      12493
165.06/165.68	c #Conflicts:     160000 | #Constraints:      13498
165.06/165.68	c #Conflicts:     161000 | #Constraints:      14508
165.06/165.68	c #Conflicts:     162000 | #Constraints:      15520
165.06/165.68	c #Conflicts:     163000 | #Constraints:      16526
165.06/165.68	c INPROCESSING
165.06/165.68	c GARBAGE COLLECT
165.06/165.68	c rational objective 6
165.25/165.84	c GLOBAL bounds - >= 6 @ 162.602
165.25/165.84	c GLOBAL bounds - >= 6 @ 162.602
175.43/176.00	c #Conflicts:     164000 | #Constraints:       9451
175.43/176.00	c #Conflicts:     165000 | #Constraints:      10455
175.43/176.00	c #Conflicts:     166000 | #Constraints:      11459
175.43/176.00	c #Conflicts:     167000 | #Constraints:      12462
175.43/176.00	c #Conflicts:     168000 | #Constraints:      13465
175.43/176.00	c #Conflicts:     169000 | #Constraints:      14475
175.43/176.00	c #Conflicts:     170000 | #Constraints:      15482
175.43/176.00	c #Conflicts:     171000 | #Constraints:      16490
175.43/176.00	c INPROCESSING
175.43/176.00	c GARBAGE COLLECT
175.43/176.00	c rational objective 6
175.53/176.14	c GLOBAL bounds - >= 6 @ 172.727
175.53/176.14	c GLOBAL bounds - >= 6 @ 172.727
184.90/185.59	c #Conflicts:     172000 | #Constraints:       9230
184.90/185.59	c #Conflicts:     173000 | #Constraints:      10235
184.90/185.59	c #Conflicts:     174000 | #Constraints:      11248
184.90/185.59	c #Conflicts:     175000 | #Constraints:      12252
184.90/185.59	c #Conflicts:     176000 | #Constraints:      13266
184.90/185.59	c #Conflicts:     177000 | #Constraints:      14271
184.90/185.59	c #Conflicts:     178000 | #Constraints:      15273
184.90/185.59	c #Conflicts:     179000 | #Constraints:      16279
184.90/185.59	c #Conflicts:     180000 | #Constraints:      17287
184.90/185.59	c INPROCESSING
184.90/185.59	c GARBAGE COLLECT
184.90/185.59	c rational objective 6
185.41/186.01	c GLOBAL bounds - >= 6 @ 182.429
185.41/186.01	c GLOBAL bounds - >= 6 @ 182.429
193.49/194.15	c #Conflicts:     181000 | #Constraints:       9830
193.49/194.15	c #Conflicts:     182000 | #Constraints:      10842
193.49/194.15	c #Conflicts:     183000 | #Constraints:      11865
193.49/194.15	c #Conflicts:     184000 | #Constraints:      12882
193.49/194.15	c #Conflicts:     185000 | #Constraints:      13897
193.49/194.15	c #Conflicts:     186000 | #Constraints:      14909
193.49/194.15	c #Conflicts:     187000 | #Constraints:      15929
193.49/194.15	c #Conflicts:     188000 | #Constraints:      16943
193.49/194.15	c #Conflicts:     189000 | #Constraints:      17957
193.49/194.15	c INPROCESSING
193.49/194.15	c GARBAGE COLLECT
193.49/194.15	c rational objective 6
193.58/194.22	c GLOBAL bounds - >= 6 @ 190.519
193.58/194.22	c GLOBAL bounds - >= 6 @ 190.519
206.14/206.82	c #Conflicts:     190000 | #Constraints:      10296
206.14/206.82	c #Conflicts:     191000 | #Constraints:      11304
206.14/206.82	c #Conflicts:     192000 | #Constraints:      12308
206.14/206.82	c #Conflicts:     193000 | #Constraints:      13314
206.14/206.82	c #Conflicts:     194000 | #Constraints:      14321
206.14/206.82	c #Conflicts:     195000 | #Constraints:      15336
206.14/206.82	c #Conflicts:     196000 | #Constraints:      16348
206.14/206.82	c #Conflicts:     197000 | #Constraints:      17357
206.14/206.82	c #Conflicts:     198000 | #Constraints:      18365
206.14/206.82	c INPROCESSING
206.14/206.82	c GARBAGE COLLECT
206.14/206.82	c rational objective 6
206.24/206.94	c GLOBAL bounds - >= 6 @ 203.034
206.24/206.94	c GLOBAL bounds - >= 6 @ 203.034
217.22/217.90	c #Conflicts:     199000 | #Constraints:      10487
217.22/217.90	c #Conflicts:     200000 | #Constraints:      11501
217.22/217.90	c #Conflicts:     201000 | #Constraints:      12512
217.22/217.90	c #Conflicts:     202000 | #Constraints:      13520
217.22/217.90	c #Conflicts:     203000 | #Constraints:      14526
217.22/217.90	c #Conflicts:     204000 | #Constraints:      15536
217.22/217.90	c #Conflicts:     205000 | #Constraints:      16541
217.22/217.90	c #Conflicts:     206000 | #Constraints:      17548
217.22/217.90	c #Conflicts:     207000 | #Constraints:      18558
217.22/217.90	c INPROCESSING
217.22/217.90	c GARBAGE COLLECT
217.22/217.90	c rational objective 6
217.42/218.14	c GLOBAL bounds - >= 6 @ 214.062
217.42/218.14	c GLOBAL bounds - >= 6 @ 214.062
231.17/231.99	c #Conflicts:     208000 | #Constraints:      10484
231.17/231.99	c #Conflicts:     209000 | #Constraints:      11487
231.17/231.99	c #Conflicts:     210000 | #Constraints:      12492
231.17/231.99	c #Conflicts:     211000 | #Constraints:      13498
231.17/231.99	c #Conflicts:     212000 | #Constraints:      14504
231.17/231.99	c #Conflicts:     213000 | #Constraints:      15510
231.17/231.99	c #Conflicts:     214000 | #Constraints:      16513
231.17/231.99	c #Conflicts:     215000 | #Constraints:      17520
231.17/231.99	c #Conflicts:     216000 | #Constraints:      18529
231.17/231.99	c INPROCESSING
231.17/231.99	c GARBAGE COLLECT
231.17/231.99	c rational objective 6
231.58/232.32	c GLOBAL bounds - >= 6 @ 228.001
231.58/232.32	c GLOBAL bounds - >= 6 @ 228.001
250.91/251.74	c #Conflicts:     217000 | #Constraints:      10378
250.91/251.74	c #Conflicts:     218000 | #Constraints:      11382
250.91/251.74	c #Conflicts:     219000 | #Constraints:      12385
250.91/251.74	c #Conflicts:     220000 | #Constraints:      13399
250.91/251.74	c #Conflicts:     221000 | #Constraints:      14425
250.91/251.74	c #Conflicts:     222000 | #Constraints:      15450
250.91/251.74	c #Conflicts:     223000 | #Constraints:      16471
250.91/251.74	c #Conflicts:     224000 | #Constraints:      17498
250.91/251.74	c #Conflicts:     225000 | #Constraints:      18522
250.91/251.74	c #Conflicts:     226000 | #Constraints:      19542
250.91/251.74	c INPROCESSING
250.91/251.74	c GARBAGE COLLECT
250.91/251.74	c rational objective 6
251.01/251.89	c GLOBAL bounds - >= 6 @ 247.268
251.01/251.89	c GLOBAL bounds - >= 6 @ 247.268
265.26/266.16	c #Conflicts:     227000 | #Constraints:      11112
265.26/266.16	c #Conflicts:     228000 | #Constraints:      12152
265.26/266.16	c #Conflicts:     229000 | #Constraints:      13204
265.26/266.16	c #Conflicts:     230000 | #Constraints:      14220
265.26/266.16	c #Conflicts:     231000 | #Constraints:      15320
265.26/266.16	c #Conflicts:     232000 | #Constraints:      16558
265.26/266.16	c #Conflicts:     233000 | #Constraints:      17840
265.26/266.16	c #Conflicts:     234000 | #Constraints:      19361
265.26/266.16	c #Conflicts:     235000 | #Constraints:      20448
265.26/266.16	c #Conflicts:     236000 | #Constraints:      21506
265.26/266.16	c INPROCESSING
265.26/266.16	c GARBAGE COLLECT
265.26/266.16	c rational objective 6
265.56/266.47	c GLOBAL bounds - >= 6 @ 261.649
265.56/266.47	c GLOBAL bounds - >= 6 @ 261.649
277.83/278.78	c #Conflicts:     237000 | #Constraints:      12031
277.83/278.78	c #Conflicts:     238000 | #Constraints:      13032
277.83/278.78	c #Conflicts:     239000 | #Constraints:      14033
277.83/278.78	c #Conflicts:     240000 | #Constraints:      15046
277.83/278.78	c #Conflicts:     241000 | #Constraints:      16046
277.83/278.78	c #Conflicts:     242000 | #Constraints:      17334
277.83/278.78	c #Conflicts:     243000 | #Constraints:      18455
277.83/278.78	c #Conflicts:     244000 | #Constraints:      19987
277.83/278.78	c #Conflicts:     245000 | #Constraints:      21471
277.83/278.78	c #Conflicts:     246000 | #Constraints:      22916
277.83/278.78	c INPROCESSING
277.83/278.78	c GARBAGE COLLECT
277.83/278.78	c rational objective 6
278.72/279.68	c GLOBAL bounds - >= 6 @ 274.654
278.72/279.68	c GLOBAL bounds - >= 6 @ 274.654
292.88/293.83	c #Conflicts:     247000 | #Constraints:      12740
292.88/293.83	c #Conflicts:     248000 | #Constraints:      13748
292.88/293.83	c #Conflicts:     249000 | #Constraints:      15181
292.88/293.83	c #Conflicts:     250000 | #Constraints:      16624
292.88/293.83	c #Conflicts:     251000 | #Constraints:      17837
292.88/293.83	c #Conflicts:     252000 | #Constraints:      19149
292.88/293.83	c #Conflicts:     253000 | #Constraints:      20440
292.88/293.83	c #Conflicts:     254000 | #Constraints:      21748
292.88/293.83	c #Conflicts:     255000 | #Constraints:      23004
292.88/293.83	c #Conflicts:     256000 | #Constraints:      24309
292.88/293.83	c INPROCESSING
292.88/293.83	c GARBAGE COLLECT
292.88/293.83	c rational objective 6
293.68/294.63	c GLOBAL bounds - >= 6 @ 289.375
293.68/294.63	c GLOBAL bounds - >= 6 @ 289.375
312.83/313.89	c #Conflicts:     257000 | #Constraints:      13356
312.83/313.89	c #Conflicts:     258000 | #Constraints:      14364
312.83/313.89	c #Conflicts:     259000 | #Constraints:      15372
312.83/313.89	c #Conflicts:     260000 | #Constraints:      16380
312.83/313.89	c #Conflicts:     261000 | #Constraints:      17388
312.83/313.89	c #Conflicts:     262000 | #Constraints:      18397
312.83/313.89	c #Conflicts:     263000 | #Constraints:      19406
312.83/313.89	c #Conflicts:     264000 | #Constraints:      20417
312.83/313.89	c #Conflicts:     265000 | #Constraints:      21423
312.83/313.89	c #Conflicts:     266000 | #Constraints:      22431
312.83/313.89	c INPROCESSING
312.83/313.89	c GARBAGE COLLECT
312.83/313.89	c rational objective 6
313.23/314.29	c GLOBAL bounds - >= 6 @ 308.799
313.23/314.29	c GLOBAL bounds - >= 6 @ 308.799
329.38/330.48	c #Conflicts:     267000 | #Constraints:      12207
329.38/330.48	c #Conflicts:     268000 | #Constraints:      13211
329.38/330.48	c #Conflicts:     269000 | #Constraints:      14216
329.38/330.48	c #Conflicts:     270000 | #Constraints:      15234
329.38/330.48	c #Conflicts:     271000 | #Constraints:      16258
329.38/330.48	c #Conflicts:     272000 | #Constraints:      17270
329.38/330.48	c #Conflicts:     273000 | #Constraints:      18286
329.38/330.48	c #Conflicts:     274000 | #Constraints:      19292
329.38/330.48	c #Conflicts:     275000 | #Constraints:      20301
329.38/330.48	c #Conflicts:     276000 | #Constraints:      21313
329.38/330.48	c #Conflicts:     277000 | #Constraints:      22316
329.38/330.48	c INPROCESSING
329.38/330.48	c GARBAGE COLLECT
329.38/330.48	c rational objective 6
329.99/331.02	c GLOBAL bounds - >= 6 @ 325.3
329.99/331.02	c GLOBAL bounds - >= 6 @ 325.3
344.05/345.14	c #Conflicts:     278000 | #Constraints:      12330
344.05/345.14	c #Conflicts:     279000 | #Constraints:      13338
344.05/345.14	c #Conflicts:     280000 | #Constraints:      14345
344.05/345.14	c #Conflicts:     281000 | #Constraints:      15354
344.05/345.14	c #Conflicts:     282000 | #Constraints:      16367
344.05/345.14	c #Conflicts:     283000 | #Constraints:      17381
344.05/345.14	c #Conflicts:     284000 | #Constraints:      18386
344.05/345.14	c #Conflicts:     285000 | #Constraints:      19405
344.05/345.14	c #Conflicts:     286000 | #Constraints:      20410
344.05/345.14	c #Conflicts:     287000 | #Constraints:      21418
344.05/345.14	c #Conflicts:     288000 | #Constraints:      22424
344.05/345.14	c INPROCESSING
344.05/345.14	c GARBAGE COLLECT
344.05/345.14	c rational objective 6
344.24/345.30	c GLOBAL bounds - >= 6 @ 339.37
344.24/345.30	c GLOBAL bounds - >= 6 @ 339.37
360.99/362.18	c #Conflicts:     289000 | #Constraints:      12495
360.99/362.18	c #Conflicts:     290000 | #Constraints:      13499
360.99/362.18	c #Conflicts:     291000 | #Constraints:      14506
360.99/362.18	c #Conflicts:     292000 | #Constraints:      15509
360.99/362.18	c #Conflicts:     293000 | #Constraints:      16520
360.99/362.18	c #Conflicts:     294000 | #Constraints:      17548
360.99/362.18	c #Conflicts:     295000 | #Constraints:      18561
360.99/362.18	c #Conflicts:     296000 | #Constraints:      19573
360.99/362.18	c #Conflicts:     297000 | #Constraints:      20578
360.99/362.18	c #Conflicts:     298000 | #Constraints:      21587
360.99/362.18	c #Conflicts:     299000 | #Constraints:      22600
360.99/362.18	c INPROCESSING
360.99/362.18	c GARBAGE COLLECT
360.99/362.18	c rational objective 6
361.29/362.42	c GLOBAL bounds - >= 6 @ 356.228
361.29/362.42	c GLOBAL bounds - >= 6 @ 356.228
373.36/374.51	c #Conflicts:     300000 | #Constraints:      12587
373.36/374.51	c #Conflicts:     301000 | #Constraints:      13595
373.36/374.51	c #Conflicts:     302000 | #Constraints:      14601
373.36/374.51	c #Conflicts:     303000 | #Constraints:      15606
373.36/374.51	c #Conflicts:     304000 | #Constraints:      16612
373.36/374.51	c #Conflicts:     305000 | #Constraints:      17614
373.36/374.51	c #Conflicts:     306000 | #Constraints:      18618
373.36/374.51	c #Conflicts:     307000 | #Constraints:      19625
373.36/374.51	c #Conflicts:     308000 | #Constraints:      20635
373.36/374.51	c #Conflicts:     309000 | #Constraints:      21644
373.36/374.51	c #Conflicts:     310000 | #Constraints:      22653
373.36/374.51	c INPROCESSING
373.36/374.51	c GARBAGE COLLECT
373.36/374.51	c rational objective 6
373.65/374.81	c GLOBAL bounds - >= 6 @ 368.394
373.65/374.81	c GLOBAL bounds - >= 6 @ 368.394
386.83/388.07	c #Conflicts:     311000 | #Constraints:      12514
386.83/388.07	c #Conflicts:     312000 | #Constraints:      13537
386.83/388.07	c #Conflicts:     313000 | #Constraints:      14566
386.83/388.07	c #Conflicts:     314000 | #Constraints:      15578
386.83/388.07	c #Conflicts:     315000 | #Constraints:      16586
386.83/388.07	c #Conflicts:     316000 | #Constraints:      17593
386.83/388.07	c #Conflicts:     317000 | #Constraints:      18599
386.83/388.07	c #Conflicts:     318000 | #Constraints:      19603
386.83/388.07	c #Conflicts:     319000 | #Constraints:      20607
386.83/388.07	c #Conflicts:     320000 | #Constraints:      21613
386.83/388.07	c #Conflicts:     321000 | #Constraints:      22620
386.83/388.07	c INPROCESSING
386.83/388.07	c GARBAGE COLLECT
386.83/388.07	c rational objective 6
387.32/388.55	c GLOBAL bounds - >= 6 @ 381.897
387.32/388.55	c GLOBAL bounds - >= 6 @ 381.897
410.16/411.44	c #Conflicts:     322000 | #Constraints:      12316
410.16/411.44	c #Conflicts:     323000 | #Constraints:      13329
410.16/411.44	c #Conflicts:     324000 | #Constraints:      14339
410.16/411.44	c #Conflicts:     325000 | #Constraints:      15349
410.16/411.44	c #Conflicts:     326000 | #Constraints:      16361
410.16/411.44	c #Conflicts:     327000 | #Constraints:      17369
410.16/411.44	c #Conflicts:     328000 | #Constraints:      18374
410.16/411.44	c #Conflicts:     329000 | #Constraints:      19385
410.16/411.44	c #Conflicts:     330000 | #Constraints:      20399
410.16/411.44	c #Conflicts:     331000 | #Constraints:      21409
410.16/411.44	c #Conflicts:     332000 | #Constraints:      22421
410.16/411.44	c #Conflicts:     333000 | #Constraints:      23437
410.16/411.44	c INPROCESSING
410.16/411.44	c GARBAGE COLLECT
410.16/411.44	c rational objective 6
410.45/411.70	c GLOBAL bounds - >= 6 @ 404.709
410.45/411.70	c GLOBAL bounds - >= 6 @ 404.709
425.40/426.79	c #Conflicts:     334000 | #Constraints:      12932
425.40/426.79	c #Conflicts:     335000 | #Constraints:      13935
425.40/426.79	c #Conflicts:     336000 | #Constraints:      14943
425.40/426.79	c #Conflicts:     337000 | #Constraints:      15949
425.40/426.79	c #Conflicts:     338000 | #Constraints:      16952
425.40/426.79	c #Conflicts:     339000 | #Constraints:      17959
425.40/426.79	c #Conflicts:     340000 | #Constraints:      18962
425.40/426.79	c #Conflicts:     341000 | #Constraints:      19970
425.40/426.79	c #Conflicts:     342000 | #Constraints:      20974
425.40/426.79	c #Conflicts:     343000 | #Constraints:      21984
425.40/426.79	c #Conflicts:     344000 | #Constraints:      22991
425.40/426.79	c #Conflicts:     345000 | #Constraints:      23999
425.40/426.79	c INPROCESSING
425.40/426.79	c GARBAGE COLLECT
425.40/426.79	c rational objective 6
425.70/427.09	c GLOBAL bounds - >= 6 @ 419.844
425.70/427.09	c GLOBAL bounds - >= 6 @ 419.844
440.26/441.65	c #Conflicts:     346000 | #Constraints:      13286
440.26/441.65	c #Conflicts:     347000 | #Constraints:      14292
440.26/441.65	c #Conflicts:     348000 | #Constraints:      15321
440.26/441.65	c #Conflicts:     349000 | #Constraints:      16334
440.26/441.65	c #Conflicts:     350000 | #Constraints:      17360
440.26/441.65	c #Conflicts:     351000 | #Constraints:      18363
440.26/441.65	c #Conflicts:     352000 | #Constraints:      19375
440.26/441.65	c #Conflicts:     353000 | #Constraints:      20384
440.26/441.65	c #Conflicts:     354000 | #Constraints:      21389
440.26/441.65	c #Conflicts:     355000 | #Constraints:      22400
440.26/441.65	c #Conflicts:     356000 | #Constraints:      23414
440.26/441.65	c #Conflicts:     357000 | #Constraints:      24420
440.26/441.65	c INPROCESSING
440.26/441.65	c GARBAGE COLLECT
440.26/441.65	c rational objective 6
440.56/441.94	c GLOBAL bounds - >= 6 @ 434.487
440.56/441.94	c GLOBAL bounds - >= 6 @ 434.487
456.31/457.73	c #Conflicts:     358000 | #Constraints:      13507
456.31/457.73	c #Conflicts:     359000 | #Constraints:      14517
456.31/457.73	c #Conflicts:     360000 | #Constraints:      15524
456.31/457.73	c #Conflicts:     361000 | #Constraints:      16529
456.31/457.73	c #Conflicts:     362000 | #Constraints:      17539
456.31/457.73	c #Conflicts:     363000 | #Constraints:      18544
456.31/457.73	c #Conflicts:     364000 | #Constraints:      19551
456.31/457.73	c #Conflicts:     365000 | #Constraints:      20555
456.31/457.73	c #Conflicts:     366000 | #Constraints:      21564
456.31/457.73	c #Conflicts:     367000 | #Constraints:      22571
456.31/457.73	c #Conflicts:     368000 | #Constraints:      23576
456.31/457.73	c #Conflicts:     369000 | #Constraints:      24582
456.31/457.73	c INPROCESSING
456.31/457.73	c GARBAGE COLLECT
456.31/457.73	c rational objective 6
456.52/457.97	c GLOBAL bounds - >= 6 @ 450.305
456.52/457.97	c GLOBAL bounds - >= 6 @ 450.305
482.94/484.44	c #Conflicts:     370000 | #Constraints:      13493
482.94/484.44	c #Conflicts:     371000 | #Constraints:      14501
482.94/484.44	c #Conflicts:     372000 | #Constraints:      15507
482.94/484.44	c #Conflicts:     373000 | #Constraints:      16512
482.94/484.44	c #Conflicts:     374000 | #Constraints:      17523
482.94/484.44	c #Conflicts:     375000 | #Constraints:      18529
482.94/484.44	c #Conflicts:     376000 | #Constraints:      19532
482.94/484.44	c #Conflicts:     377000 | #Constraints:      20534
482.94/484.44	c #Conflicts:     378000 | #Constraints:      21539
482.94/484.44	c #Conflicts:     379000 | #Constraints:      22545
482.94/484.44	c #Conflicts:     380000 | #Constraints:      23552
482.94/484.44	c #Conflicts:     381000 | #Constraints:      24561
482.94/484.44	c INPROCESSING
482.94/484.44	c GARBAGE COLLECT
482.94/484.44	c rational objective 6
483.14/484.64	c GLOBAL bounds - >= 6 @ 476.683
483.14/484.64	c GLOBAL bounds - >= 6 @ 476.683
503.09/504.65	c #Conflicts:     382000 | #Constraints:      13270
503.09/504.65	c #Conflicts:     383000 | #Constraints:      14282
503.09/504.65	c #Conflicts:     384000 | #Constraints:      15287
503.09/504.65	c #Conflicts:     385000 | #Constraints:      16294
503.09/504.65	c #Conflicts:     386000 | #Constraints:      17304
503.09/504.65	c #Conflicts:     387000 | #Constraints:      18306
503.09/504.65	c #Conflicts:     388000 | #Constraints:      19312
503.09/504.65	c #Conflicts:     389000 | #Constraints:      20317
503.09/504.65	c #Conflicts:     390000 | #Constraints:      21326
503.09/504.65	c #Conflicts:     391000 | #Constraints:      22332
503.09/504.65	c #Conflicts:     392000 | #Constraints:      23337
503.09/504.65	c #Conflicts:     393000 | #Constraints:      24343
503.09/504.65	c #Conflicts:     394000 | #Constraints:      25351
503.09/504.65	c INPROCESSING
503.09/504.65	c GARBAGE COLLECT
503.09/504.65	c rational objective 6
503.49/505.04	c GLOBAL bounds - >= 6 @ 496.808
503.49/505.04	c GLOBAL bounds - >= 6 @ 496.808
514.06/515.61	c #Conflicts:     395000 | #Constraints:      13877
514.06/515.61	c #Conflicts:     396000 | #Constraints:      14884
514.06/515.61	c #Conflicts:     397000 | #Constraints:      15893
514.06/515.61	c #Conflicts:     398000 | #Constraints:      16906
514.06/515.61	c #Conflicts:     399000 | #Constraints:      17911
514.06/515.61	c #Conflicts:     400000 | #Constraints:      18918
514.06/515.61	c #Conflicts:     401000 | #Constraints:      19921
514.06/515.61	c #Conflicts:     402000 | #Constraints:      20932
514.06/515.61	c Inconsistent objective-improving constraint
514.06/515.61	c cpu time 507.206 s
514.06/515.61	c deterministic time 42391951798 4.24e+10
514.06/515.61	c optimization time 0.00747 s
514.06/515.61	c total solve time 507.175 s
514.06/515.61	c core-guided solve time 0 s
514.06/515.61	c propagation time 302.196 s
514.06/515.61	c conflict analysis time 165.072 s
514.06/515.61	c propagations 65968401
514.06/515.61	c resolve steps 3207884
514.06/515.61	c decisions 2174858
514.06/515.61	c conflicts 402093
514.06/515.61	c restarts 980
514.06/515.61	c inprocessing phases 54
514.06/515.61	c garbage collections 54 ,( 100.00 )
514.06/515.61	c input clauses 3048 ,( 87.26 )
514.06/515.61	c input cardinalities 61 ,( 1.75 )
514.06/515.61	c input general constraints 384 ,( 10.99 )
514.06/515.61	c input average constraint length 10.02
514.06/515.61	c input average constraint degree 75.70
514.06/515.61	c learned clauses 56567 ,( 13.75 )
514.06/515.61	c learned cardinalities 2682 ,( 0.65 )
514.06/515.61	c learned general constraints 352191 ,( 85.60 )
514.06/515.61	c learned average constraint length 661.19
514.06/515.61	c learned average constraint degree 4939026836.49
514.06/515.61	c watched  CF 32, 64, 128, Arb: 145021 , 0 , 0 , 0
514.06/515.61	c counting CF 32, 64, 128, Arb: 207555 , 0 , 0 , 0
514.06/515.61	c watched   constraints 145021 ,( 41.13 ) 
514.06/515.61	c counting  constraints 207554 ,( 58.87 ) 
514.06/515.61	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 5775821 , 6956944 , 495158611 ,( 78965219 , 416193392 )
514.06/515.61	c gcd simplifications 45664
514.06/515.61	c detected cardinalities 158
514.06/515.61	c weakened non-implied lits 53528629
514.06/515.61	c weakened non-implying lits 322156
514.06/515.61	c original variables 2994
514.06/515.61	c clausal propagations 434545
514.06/515.61	c cardinality propagations 3894142
514.06/515.61	c watched propagations 705255
514.06/515.61	c counting propagations 59155955
514.06/515.61	c watch lookups 22412211001
514.06/515.61	c watch backjump lookups 0
514.06/515.61	c watch checks 9552374595
514.06/515.61	c propagation checks 9481193326
514.06/515.61	c constraint additions 809079462
514.06/515.61	c trail pops 68541995
514.06/515.61	c formula constraints 3493
514.06/515.61	c learned constraints 398742
514.06/515.61	c bound constraints 0
514.06/515.61	c core-guided constraints 0
514.06/515.61	c encountered formula constraints 2214407
514.06/515.61	c encountered learned constraints 1087017
514.06/515.61	c encountered bound constraints 0
514.06/515.61	c encountered core-guided constraints 0
514.06/515.61	c LP total time 56.0633 s
514.06/515.61	c LP solve time 35.74 s
514.06/515.61	c LP constraints added 3807
514.06/515.61	c LP constraints removed 303
514.06/515.61	c LP pivots internal 402137
514.06/515.61	c LP pivots root 6022
514.06/515.61	c LP calls 16779
514.06/515.61	c LP optimalities 7573
514.06/515.61	c LP no pivot count 1763
514.06/515.61	c LP infeasibilities 9205
514.06/515.61	c LP valid Farkas constraints 9203
514.06/515.61	c LP learned Farkas constraints 3351
514.06/515.61	c LP basis resets 2
514.06/515.61	c LP cycling count 0
514.06/515.61	c LP singular count 0
514.06/515.61	c LP no primal count 0
514.06/515.61	c LP no farkas count 2
514.06/515.61	c LP other issue count 0
514.06/515.61	c LP Gomory cuts 144
514.06/515.61	c LP learned cuts 170
514.06/515.61	c LP deleted cuts 303
514.06/515.61	c LP encountered Gomory constraints 490
514.06/515.61	c LP encountered Farkas constraints 256124
514.06/515.61	c LP encountered learned Farkas constraints 48588
514.06/515.61	c CG auxiliary variables introduced 1
514.06/515.61	c CG solutions found 1
514.06/515.61	c CG cores constructed 0
514.06/515.61	c CG core cardinality constraints returned 0
514.06/515.61	c CG unit cores 0
514.06/515.61	c CG single cores 0
514.06/515.61	c CG blocks removed during cardinality reduction 0
514.06/515.61	c CG first core best 0
514.06/515.61	c CG decision core best 0
514.06/515.61	c CG core reduction tie 0
514.06/515.61	c CG core degree average 0.00
514.06/515.61	c CG core slack average 0.00
514.06/515.61	c CG core upper bound improvements 0
514.06/515.61	c STR number of successful calls 0
514.06/515.61	c STR number of unsuccessful calls 0
514.06/515.61	c STR number of inconclusive calls 0
514.06/515.61	c STR number of successful attempts 0
514.06/515.61	c STR number of unsuccessful attempts 0
514.06/515.61	c STR number of inconclusive attempts 0
514.06/515.61	c STR average degree increase per successful call inf
514.06/515.61	c STR average degree increase per successful attempt inf
514.06/515.61	c STR total number of conflicts for successful attempts 0
514.06/515.61	c STR total number of conflicts for unsuccessful attempts 0
514.06/515.61	c STR total number of conflicts for inconclusive attempts 0
514.06/515.61	c STR average number of conflicts per successful attempt inf
514.06/515.61	c STR average number of conflicts per unsuccessful attempt inf
514.06/515.61	c STR average number of conflicts per inconclusive attempt inf
514.06/515.61	c AVG.sumWPerc 48.18 
514.06/515.61	c bigint constraints 0 
514.06/515.61	o 6
514.06/515.61	s OPTIMUM FOUND
514.06/515.61	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 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 x861 -x862 -x863 -x864 x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 x1082 -x1083 -x1084 -x1085 -x1086 x1087 -x1088 -x1089 x1090 -x1091 x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 x1252 -x1253 -x1254 -x1255 -x1256 x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 x2033 -x2034 -x2035 -x2036 -x2037 x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 x2509 -x2510 -x2511 -x2512 x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 x2994

Verifier Data 

OK	6

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

Wed Jul  2 17:23:36 CEST 2025
extraparms=--no-checkDeletion
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED BOUNDS 6 <= obj <= 6
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS 6 <= obj <= 6
--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: 63708 MiB (61207 MiB free)
  memory of node 1: 64465 MiB (63783 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499121-1751468985/watcher-4499121-1751468985 -o /tmp/evaluation-result-4499121-1751468985/solver-4499121-1751468985 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751461732-74232 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4499121-1751468985.opb PROOFDIR/proof-4499121-1751468985 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100058 s]*
/proc/loadavg: 4.23 4.21 4.18 5/273 75208
/proc/meminfo: memFree=127974352/131249992 swapFree=33010160/33010684
[pid=75206] ppid=75203 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/75206/stat : 75206 (run-opt-log.sh) S 75203 75206 74222 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62577219 4292608 768 18446744073709551615 94394359730176 94394360624709 140733530392256 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394360863760 94394360911504 94394373005312 140733530401057 140733530401252 140733530401252 140733530406854 0
/proc/75206/statm: 1048 768 704 219 0 110 0
[pid=75208] ppid=75206 vsize=71516 memory=23232 CPUtime=0.09 cores=0,2
/proc/75208/stat : 75208 (roundingsat) R 75206 75206 74222 0 -1 4194304 3656 0 0 0 8 1 0 0 20 0 1 0 62577220 73232384 5808 18446744073709551615 4227072 8923433 140721308295328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35741696 140721308301650 140721308301864 140721308301864 140721308307434 0
/proc/75208/statm: 17879 5808 2400 1147 0 5306 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 75708 KiB
Current children cumulated memory: 26304 KiB

[startup+0.205823 s]*
/proc/loadavg: 4.23 4.21 4.18 5/273 75208
/proc/meminfo: memFree=127965280/131249992 swapFree=33010160/33010684
[pid=75206] ppid=75203 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/75206/stat : 75206 (run-opt-log.sh) S 75203 75206 74222 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62577219 4292608 768 18446744073709551615 94394359730176 94394360624709 140733530392256 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394360863760 94394360911504 94394373005312 140733530401057 140733530401252 140733530401252 140733530406854 0
/proc/75206/statm: 1048 768 704 219 0 110 0
[pid=75208] ppid=75206 vsize=74176 memory=25792 CPUtime=0.19 cores=0,2
/proc/75208/stat : 75208 (roundingsat) R 75206 75206 74222 0 -1 4194304 4293 0 0 0 18 1 0 0 20 0 1 0 62577220 75956224 6448 18446744073709551615 4227072 8923433 140721308295328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35741696 140721308301650 140721308301864 140721308301864 140721308307434 0
/proc/75208/statm: 18544 6448 2400 1147 0 5971 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 78368 KiB
Current children cumulated memory: 28864 KiB

[startup+0.305788 s]*
/proc/loadavg: 4.23 4.21 4.18 5/273 75208
/proc/meminfo: memFree=127959232/131249992 swapFree=33010160/33010684
[pid=75206] ppid=75203 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/75206/stat : 75206 (run-opt-log.sh) S 75203 75206 74222 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62577219 4292608 768 18446744073709551615 94394359730176 94394360624709 140733530392256 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394360863760 94394360911504 94394373005312 140733530401057 140733530401252 140733530401252 140733530406854 0
/proc/75206/statm: 1048 768 704 219 0 110 0
[pid=75208] ppid=75206 vsize=78524 memory=30144 CPUtime=0.29 cores=0,2
/proc/75208/stat : 75208 (roundingsat) R 75206 75206 74222 0 -1 4194304 5346 0 0 0 28 1 0 0 20 0 1 0 62577220 80408576 7536 18446744073709551615 4227072 8923433 140721308295328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35741696 140721308301650 140721308301864 140721308301864 140721308307434 0
/proc/75208/statm: 19631 7536 2432 1147 0 7058 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 82716 KiB
Current children cumulated memory: 33216 KiB

[startup+0.700198 s]
/proc/loadavg: 4.23 4.21 4.18 5/273 75208
/proc/meminfo: memFree=127943104/131249992 swapFree=33010160/33010684
[pid=75206] ppid=75203 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/75206/stat : 75206 (run-opt-log.sh) S 75203 75206 74222 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62577219 4292608 768 18446744073709551615 94394359730176 94394360624709 140733530392256 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394360863760 94394360911504 94394373005312 140733530401057 140733530401252 140733530401252 140733530406854 0
/proc/75206/statm: 1048 768 704 219 0 110 0
[pid=75208] ppid=75206 vsize=80588 memory=34440 CPUtime=0.68 cores=0,2
/proc/75208/stat : 75208 (roundingsat) R 75206 75206 74222 0 -1 4194304 5887 0 0 0 66 2 0 0 20 0 1 0 62577220 82522112 8610 18446744073709551615 4227072 8923433 140721308295328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35741696 140721308301650 140721308301864 140721308301864 140721308307434 0
/proc/75208/statm: 20147 8610 2432 1147 0 7574 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 84780 KiB
Current children cumulated memory: 37512 KiB

[startup+1.5002 s]
/proc/loadavg: 4.23 4.21 4.18 5/273 75208
/proc/meminfo: memFree=127907420/131249992 swapFree=33010160/33010684
[pid=75206] ppid=75203 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/75206/stat : 75206 (run-opt-log.sh) S 75203 75206 74222 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62577219 4292608 768 18446744073709551615 94394359730176 94394360624709 140733530392256 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394360863760 94394360911504 94394373005312 140733530401057 140733530401252 140733530401252 140733530406854 0
/proc/75206/statm: 1048 768 704 219 0 110 0
[pid=75208] ppid=75206 vsize=88156 memory=41808 CPUtime=1.47 cores=0,2
/proc/75208/stat : 75208 (roundingsat) R 75206 75206 74222 0 -1 4194304 7235 0 0 0 144 3 0 0 20 0 1 0 62577220 90271744 10452 18446744073709551615 4227072 8923433 140721308295328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35741696 140721308301650 140721308301864 140721308301864 140721308307434 0
/proc/75208/statm: 22039 10452 2432 1147 0 9466 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 92348 KiB
Current children cumulated memory: 44880 KiB

[startup+3.10557 s]
/proc/loadavg: 4.23 4.21 4.18 5/273 75208
/proc/meminfo: memFree=127778788/131249992 swapFree=33010160/33010684
[pid=75206] ppid=75203 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/75206/stat : 75206 (run-opt-log.sh) S 75203 75206 74222 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62577219 4292608 768 18446744073709551615 94394359730176 94394360624709 140733530392256 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394360863760 94394360911504 94394373005312 140733530401057 140733530401252 140733530401252 140733530406854 0
/proc/75206/statm: 1048 768 704 219 0 110 0
[pid=75208] ppid=75206 vsize=109280 memory=60992 CPUtime=3.08 cores=0,2
/proc/75208/stat : 75208 (roundingsat) R 75206 75206 74222 0 -1 4194304 11504 0 0 0 300 8 0 0 20 0 1 0 62577220 111902720 15248 18446744073709551615 4227072 8923433 140721308295328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35741696 140721308301650 140721308301864 140721308301864 140721308307434 0
/proc/75208/statm: 27320 15248 2432 1147 0 14747 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 113472 KiB
Current children cumulated memory: 64064 KiB

[startup+6.30018 s]
/proc/loadavg: 4.21 4.20 4.18 5/268 75236
/proc/meminfo: memFree=127725524/131249992 swapFree=33010160/33010684
[pid=75206] ppid=75203 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/75206/stat : 75206 (run-opt-log.sh) S 75203 75206 74222 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62577219 4292608 768 18446744073709551615 94394359730176 94394360624709 140733530392256 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394360863760 94394360911504 94394373005312 140733530401057 140733530401252 140733530401252 140733530406854 0
/proc/75206/statm: 1048 768 704 219 0 110 0
[pid=75208] ppid=75206 vsize=130932 memory=81460 CPUtime=6.23 cores=0,2
/proc/75208/stat : 75208 (roundingsat) R 75206 75206 74222 0 -1 4194304 15106 0 0 0 607 16 0 0 20 0 1 0 62577220 134074368 20365 18446744073709551615 4227072 8923433 140721308295328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35741696 140721308301650 140721308301864 140721308301864 140721308307434 0
/proc/75208/statm: 32733 20365 2432 1147 0 20160 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 135124 KiB
Current children cumulated memory: 84532 KiB

[startup+12.7002 s]
/proc/loadavg: 4.19 4.20 4.18 5/273 75256
/proc/meminfo: memFree=127438492/131249992 swapFree=33010160/33010684
[pid=75206] ppid=75203 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/75206/stat : 75206 (run-opt-log.sh) S 75203 75206 74222 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62577219 4292608 768 18446744073709551615 94394359730176 94394360624709 140733530392256 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394360863760 94394360911504 94394373005312 140733530401057 140733530401252 140733530401252 140733530406854 0
/proc/75206/statm: 1048 768 704 219 0 110 0
[pid=75208] ppid=75206 vsize=157160 memory=97356 CPUtime=12.61 cores=0,2
/proc/75208/stat : 75208 (roundingsat) R 75206 75206 74222 0 -1 4194304 18566 0 0 0 1233 28 0 0 20 0 1 0 62577220 160931840 24339 18446744073709551615 4227072 8923433 140721308295328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35741696 140721308301650 140721308301864 140721308301864 140721308307434 0
/proc/75208/statm: 39290 24339 2432 1147 0 26717 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 161352 KiB
Current children cumulated memory: 100428 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.19 4.18 5/273 75256
/proc/meminfo: memFree=126645852/131249992 swapFree=33010160/33010684
[pid=75206] ppid=75203 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/75206/stat : 75206 (run-opt-log.sh) S 75203 75206 74222 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62577219 4292608 768 18446744073709551615 94394359730176 94394360624709 140733530392256 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394360863760 94394360911504 94394373005312 140733530401057 140733530401252 140733530401252 140733530406854 0
/proc/75206/statm: 1048 768 704 219 0 110 0
[pid=75208] ppid=75206 vsize=181496 memory=124604 CPUtime=25.37 cores=0,2
/proc/75208/stat : 75208 (roundingsat) R 75206 75206 74222 0 -1 4194304 23850 0 0 0 2484 53 0 0 20 0 1 0 62577220 185851904 31151 18446744073709551615 4227072 8923433 140721308295328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35741696 140721308301650 140721308301864 140721308301864 140721308307434 0
/proc/75208/statm: 45374 31151 2432 1147 0 32801 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 185688 KiB
Current children cumulated memory: 127676 KiB

[startup+51.1057 s]
/proc/loadavg: 4.22 4.20 4.18 5/273 75256
/proc/meminfo: memFree=125532700/131249992 swapFree=33010160/33010684
[pid=75206] ppid=75203 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/75206/stat : 75206 (run-opt-log.sh) S 75203 75206 74222 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62577219 4292608 768 18446744073709551615 94394359730176 94394360624709 140733530392256 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394360863760 94394360911504 94394373005312 140733530401057 140733530401252 140733530401252 140733530406854 0
/proc/75206/statm: 1048 768 704 219 0 110 0
[pid=75208] ppid=75206 vsize=227988 memory=152236 CPUtime=50.9 cores=0,2
/proc/75208/stat : 75208 (roundingsat) R 75206 75206 74222 0 -1 4194304 30245 0 0 0 4996 94 0 0 20 0 1 0 62577220 233459712 38059 18446744073709551615 4227072 8923433 140721308295328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35741696 140721308301650 140721308301864 140721308301864 140721308307434 0
/proc/75208/statm: 56997 38059 2432 1147 0 44424 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 232180 KiB
Current children cumulated memory: 155308 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.17 4.17 5/273 75258
/proc/meminfo: memFree=123537572/131249992 swapFree=33010160/33010684
[pid=75206] ppid=75203 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/75206/stat : 75206 (run-opt-log.sh) S 75203 75206 74222 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62577219 4292608 768 18446744073709551615 94394359730176 94394360624709 140733530392256 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394360863760 94394360911504 94394373005312 140733530401057 140733530401252 140733530401252 140733530406854 0
/proc/75206/statm: 1048 768 704 219 0 110 0
[pid=75208] ppid=75206 vsize=319608 memory=234560 CPUtime=101.93 cores=0,2
/proc/75208/stat : 75208 (roundingsat) R 75206 75206 74222 0 -1 4194304 45210 0 0 0 10013 180 0 0 20 0 1 0 62577220 327278592 58640 18446744073709551615 4227072 8923433 140721308295328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35741696 140721308301650 140721308301864 140721308301864 140721308307434 0
/proc/75208/statm: 79902 58640 2432 1147 0 67329 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 323800 KiB
Current children cumulated memory: 237632 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.17 4.17 5/274 75263
/proc/meminfo: memFree=121187928/131249992 swapFree=33010160/33010684
[pid=75206] ppid=75203 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/75206/stat : 75206 (run-opt-log.sh) S 75203 75206 74222 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62577219 4292608 768 18446744073709551615 94394359730176 94394360624709 140733530392256 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394360863760 94394360911504 94394373005312 140733530401057 140733530401252 140733530401252 140733530406854 0
/proc/75206/statm: 1048 768 704 219 0 110 0
[pid=75208] ppid=75206 vsize=330560 memory=245568 CPUtime=161.77 cores=0,2
/proc/75208/stat : 75208 (roundingsat) R 75206 75206 74222 0 -1 4194304 47983 0 0 0 15910 267 0 0 20 0 1 0 62577220 338493440 61392 18446744073709551615 4227072 8923433 140721308295328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35741696 140721308301650 140721308301864 140721308301864 140721308307434 0
/proc/75208/statm: 82640 61392 2432 1147 0 70067 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 334752 KiB
Current children cumulated memory: 248640 KiB

[startup+222.3 s]
/proc/loadavg: 4.48 4.25 4.20 5/276 75271
/proc/meminfo: memFree=118851884/131249992 swapFree=33010160/33010684
[pid=75206] ppid=75203 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/75206/stat : 75206 (run-opt-log.sh) S 75203 75206 74222 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62577219 4292608 768 18446744073709551615 94394359730176 94394360624709 140733530392256 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394360863760 94394360911504 94394373005312 140733530401057 140733530401252 140733530401252 140733530406854 0
/proc/75206/statm: 1048 768 704 219 0 110 0
[pid=75208] ppid=75206 vsize=366864 memory=292736 CPUtime=221.6 cores=0,2
/proc/75208/stat : 75208 (roundingsat) R 75206 75206 74222 0 -1 4194304 55683 0 0 0 21811 349 0 0 20 0 1 0 62577220 375668736 73184 18446744073709551615 4227072 8923433 140721308295328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35741696 140721308301650 140721308301864 140721308301864 140721308307434 0
/proc/75208/statm: 91716 73184 2432 1147 0 79143 0

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

/proc/75208/stat : 75208 (roundingsat) R 75206 75206 74222 0 -1 4194304 85293 0 0 0 33640 485 0 0 20 0 1 0 62577220 575680512 105334 18446744073709551615 4227072 8923433 140721308295328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35741696 140721308301650 140721308301864 140721308301864 140721308307434 0
/proc/75208/statm: 140547 105334 2432 1147 0 127974 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 566380 KiB
Current children cumulated memory: 424408 KiB

[startup+402.3 s]
/proc/loadavg: 4.22 4.20 4.18 5/276 75278
/proc/meminfo: memFree=112665348/131249992 swapFree=33010160/33010684
[pid=75206] ppid=75203 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/75206/stat : 75206 (run-opt-log.sh) S 75203 75206 74222 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62577219 4292608 768 18446744073709551615 94394359730176 94394360624709 140733530392256 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394360863760 94394360911504 94394373005312 140733530401057 140733530401252 140733530401252 140733530406854 0
/proc/75206/statm: 1048 768 704 219 0 110 0
[pid=75208] ppid=75206 vsize=600644 memory=462448 CPUtime=401.08 cores=0,2
/proc/75208/stat : 75208 (roundingsat) R 75206 75206 74222 0 -1 4194304 94030 0 0 0 39547 561 0 0 20 0 1 0 62577220 615059456 115612 18446744073709551615 4227072 8923433 140721308295328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35741696 140721308301650 140721308301864 140721308301864 140721308307434 0
/proc/75208/statm: 150161 115612 2432 1147 0 137588 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 604836 KiB
Current children cumulated memory: 465520 KiB

[startup+462.3 s]
/proc/loadavg: 4.20 4.19 4.18 5/276 75280
/proc/meminfo: memFree=110676528/131249992 swapFree=33010160/33010684
[pid=75206] ppid=75203 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/75206/stat : 75206 (run-opt-log.sh) S 75203 75206 74222 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62577219 4292608 768 18446744073709551615 94394359730176 94394360624709 140733530392256 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394360863760 94394360911504 94394373005312 140733530401057 140733530401252 140733530401252 140733530406854 0
/proc/75206/statm: 1048 768 704 219 0 110 0
[pid=75208] ppid=75206 vsize=765392 memory=607296 CPUtime=460.91 cores=0,2
/proc/75208/stat : 75208 (roundingsat) R 75206 75206 74222 0 -1 4194304 122575 0 0 0 45456 635 0 0 20 0 1 0 62577220 783761408 151824 18446744073709551615 4227072 8923433 140721308295328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35741696 140721308301650 140721308301864 140721308301864 140721308307434 0
/proc/75208/statm: 191348 151824 2432 1147 0 178775 0
Current children cumulated CPU time: 460.91 s
Current children cumulated vsize: 769584 KiB
Current children cumulated memory: 610368 KiB

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

# cumulated CPU time of all completed processes:  user=507.215 s, system=6.91823 s

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

[startup+486.4 s]
/proc/loadavg: 4.13 4.18 4.18 5/272 75280
/proc/meminfo: memFree=109922852/131249992 swapFree=33010160/33010684
[pid=75206] ppid=75203 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/75206/stat : 75206 (run-opt-log.sh) S 75203 75206 74222 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62577219 4292608 768 18446744073709551615 94394359730176 94394360624709 140733530392256 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394360863760 94394360911504 94394373005312 140733530401057 140733530401252 140733530401252 140733530406854 0
/proc/75206/statm: 1048 768 704 219 0 110 0
[pid=75208] ppid=75206 vsize=765392 memory=607680 CPUtime=484.94 cores=0,2
/proc/75208/stat : 75208 (roundingsat) R 75206 75206 74222 0 -1 4194304 122652 0 0 0 47840 654 0 0 20 0 1 0 62577220 783761408 151920 18446744073709551615 4227072 8923433 140721308295328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35741696 140721308301650 140721308301864 140721308301864 140721308307434 0
/proc/75208/statm: 191348 151920 2432 1147 0 178775 0
Current children cumulated CPU time: 484.94 s
Current children cumulated vsize: 769584 KiB
Current children cumulated memory: 610752 KiB

[startup+499.2 s]
/proc/loadavg: 4.32 4.22 4.19 5/272 75282
/proc/meminfo: memFree=109573456/131249992 swapFree=33010160/33010684
[pid=75206] ppid=75203 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/75206/stat : 75206 (run-opt-log.sh) S 75203 75206 74222 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62577219 4292608 768 18446744073709551615 94394359730176 94394360624709 140733530392256 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394360863760 94394360911504 94394373005312 140733530401057 140733530401252 140733530401252 140733530406854 0
/proc/75206/statm: 1048 768 704 219 0 110 0
[pid=75208] ppid=75206 vsize=765392 memory=607680 CPUtime=497.7 cores=0,2
/proc/75208/stat : 75208 (roundingsat) R 75206 75206 74222 0 -1 4194304 122653 0 0 0 49103 667 0 0 20 0 1 0 62577220 783761408 151920 18446744073709551615 4227072 8923433 140721308295328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35741696 140721308301650 140721308301864 140721308301864 140721308307434 0
/proc/75208/statm: 191348 151920 2432 1147 0 178775 0
Current children cumulated CPU time: 497.7 s
Current children cumulated vsize: 769584 KiB
Current children cumulated memory: 610752 KiB

[startup+505.6 s]
/proc/loadavg: 4.38 4.23 4.19 5/272 75282
/proc/meminfo: memFree=109322988/131249992 swapFree=33010160/33010684
[pid=75206] ppid=75203 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/75206/stat : 75206 (run-opt-log.sh) S 75203 75206 74222 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62577219 4292608 768 18446744073709551615 94394359730176 94394360624709 140733530392256 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394360863760 94394360911504 94394373005312 140733530401057 140733530401252 140733530401252 140733530406854 0
/proc/75206/statm: 1048 768 704 219 0 110 0
[pid=75208] ppid=75206 vsize=765392 memory=607680 CPUtime=504.08 cores=0,2
/proc/75208/stat : 75208 (roundingsat) R 75206 75206 74222 0 -1 4194304 122664 0 0 0 49734 674 0 0 20 0 1 0 62577220 783761408 151920 18446744073709551615 4227072 8923433 140721308295328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35741696 140721308301650 140721308301864 140721308301864 140721308307434 0
/proc/75208/statm: 191348 151920 2432 1147 0 178775 0
Current children cumulated CPU time: 504.08 s
Current children cumulated vsize: 769584 KiB
Current children cumulated memory: 610752 KiB

[startup+512 s]*
/proc/loadavg: 4.43 4.24 4.20 5/272 75282
/proc/meminfo: memFree=109087912/131249992 swapFree=33010160/33010684
[pid=75206] ppid=75203 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/75206/stat : 75206 (run-opt-log.sh) S 75203 75206 74222 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62577219 4292608 768 18446744073709551615 94394359730176 94394360624709 140733530392256 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394360863760 94394360911504 94394373005312 140733530401057 140733530401252 140733530401252 140733530406854 0
/proc/75206/statm: 1048 768 704 219 0 110 0
[pid=75208] ppid=75206 vsize=765392 memory=607680 CPUtime=510.47 cores=0,2
/proc/75208/stat : 75208 (roundingsat) R 75206 75206 74222 0 -1 4194304 122664 0 0 0 50364 683 0 0 20 0 1 0 62577220 783761408 151920 18446744073709551615 4227072 8923433 140721308295328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35741696 140721308301650 140721308301864 140721308301864 140721308307434 0
/proc/75208/statm: 191348 151920 2432 1147 0 178775 0
Current children cumulated CPU time: 510.47 s
Current children cumulated vsize: 769584 KiB
Current children cumulated memory: 610752 KiB

[startup+513.6 s]
/proc/loadavg: 4.43 4.24 4.20 5/272 75282
/proc/meminfo: memFree=109055656/131249992 swapFree=33010160/33010684
[pid=75206] ppid=75203 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/75206/stat : 75206 (run-opt-log.sh) S 75203 75206 74222 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62577219 4292608 768 18446744073709551615 94394359730176 94394360624709 140733530392256 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394360863760 94394360911504 94394373005312 140733530401057 140733530401252 140733530401252 140733530406854 0
/proc/75206/statm: 1048 768 704 219 0 110 0
[pid=75208] ppid=75206 vsize=765392 memory=607680 CPUtime=512.07 cores=0,2
/proc/75208/stat : 75208 (roundingsat) R 75206 75206 74222 0 -1 4194304 122665 0 0 0 50522 685 0 0 20 0 1 0 62577220 783761408 151920 18446744073709551615 4227072 8923433 140721308295328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35741696 140721308301650 140721308301864 140721308301864 140721308307434 0
/proc/75208/statm: 191348 151920 2432 1147 0 178775 0
Current children cumulated CPU time: 512.07 s
Current children cumulated vsize: 769584 KiB
Current children cumulated memory: 610752 KiB

[startup+515.2 s]
/proc/loadavg: 4.47 4.26 4.20 5/272 75282
/proc/meminfo: memFree=108982840/131249992 swapFree=33010160/33010684
[pid=75206] ppid=75203 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/75206/stat : 75206 (run-opt-log.sh) S 75203 75206 74222 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62577219 4292608 768 18446744073709551615 94394359730176 94394360624709 140733530392256 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394360863760 94394360911504 94394373005312 140733530401057 140733530401252 140733530401252 140733530406854 0
/proc/75206/statm: 1048 768 704 219 0 110 0
[pid=75208] ppid=75206 vsize=765392 memory=607680 CPUtime=513.66 cores=0,2
/proc/75208/stat : 75208 (roundingsat) R 75206 75206 74222 0 -1 4194304 122666 0 0 0 50679 687 0 0 20 0 1 0 62577220 783761408 151920 18446744073709551615 4227072 8923433 140721308295328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35741696 140721308301650 140721308301864 140721308301864 140721308307434 0
/proc/75208/statm: 191348 151920 2432 1147 0 178775 0
Current children cumulated CPU time: 513.66 s
Current children cumulated vsize: 769584 KiB
Current children cumulated memory: 610752 KiB

[startup+516 s]*
/proc/loadavg: 4.47 4.26 4.20 4/272 75282
/proc/meminfo: memFree=108944940/131249992 swapFree=33010160/33010684
[pid=75206] ppid=75203 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/75206/stat : 75206 (run-opt-log.sh) S 75203 75206 74222 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62577219 4292608 768 18446744073709551615 94394359730176 94394360624709 140733530392256 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394360863760 94394360911504 94394373005312 140733530401057 140733530401252 140733530401252 140733530406854 0
/proc/75206/statm: 1048 768 704 219 0 110 0
[pid=75208] ppid=75206 vsize=765392 memory=607680 CPUtime=514.08 cores=0,2
/proc/75208/stat : 75208 (roundingsat) D 75206 75206 74222 0 -1 4194304 122667 0 0 0 50720 688 0 0 20 0 1 0 62577220 783761408 151920 18446744073709551615 4227072 8923433 140721308295328 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 35741696 140721308301650 140721308301864 140721308301864 140721308307434 0
/proc/75208/statm: 191348 151920 2432 1147 0 178775 0
Current children cumulated CPU time: 514.08 s
Current children cumulated vsize: 769584 KiB
Current children cumulated memory: 610752 KiB

[startup+516.4 s]
/proc/loadavg: 4.47 4.26 4.20 4/272 75282
/proc/meminfo: memFree=108944940/131249992 swapFree=33010160/33010684
[pid=75206] ppid=75203 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/75206/stat : 75206 (run-opt-log.sh) S 75203 75206 74222 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62577219 4292608 768 18446744073709551615 94394359730176 94394360624709 140733530392256 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394360863760 94394360911504 94394373005312 140733530401057 140733530401252 140733530401252 140733530406854 0
/proc/75206/statm: 1048 768 704 219 0 110 0
[pid=75208] ppid=75206 vsize=765392 memory=607680 CPUtime=514.08 cores=0,2
/proc/75208/stat : 75208 (roundingsat) D 75206 75206 74222 0 -1 4194304 122667 0 0 0 50720 688 0 0 20 0 1 0 62577220 783761408 151920 18446744073709551615 4227072 8923433 140721308295328 0 0 0 0 0 8405026 1 0 0 17 2 0 0 0 0 0 9823104 9832592 35741696 140721308301650 140721308301864 140721308301864 140721308307434 0
/proc/75208/statm: 191348 151920 2432 1147 0 178775 0
Current children cumulated CPU time: 514.08 s
Current children cumulated vsize: 769584 KiB
Current children cumulated memory: 610752 KiB

[startup+516.5 s]
/proc/loadavg: 4.47 4.26 4.20 4/272 75282
/proc/meminfo: memFree=108944940/131249992 swapFree=33010160/33010684
[pid=75206] ppid=75203 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/75206/stat : 75206 (run-opt-log.sh) S 75203 75206 74222 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62577219 4292608 768 18446744073709551615 94394359730176 94394360624709 140733530392256 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94394360863760 94394360911504 94394373005312 140733530401057 140733530401252 140733530401252 140733530406854 0
/proc/75206/statm: 1048 768 704 219 0 110 0
[pid=75208] ppid=75206 vsize=765392 memory=607680 CPUtime=514.09 cores=0,2
/proc/75208/stat : 75208 (roundingsat) D 75206 75206 74222 0 -1 4194304 122667 0 0 0 50721 688 0 0 20 0 1 0 62577220 783761408 151920 18446744073709551615 4227072 8923433 140721308295328 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 35741696 140721308301650 140721308301864 140721308301864 140721308307434 0
/proc/75208/statm: 191348 151920 2432 1147 0 178775 0
Current children cumulated CPU time: 514.09 s
Current children cumulated vsize: 769584 KiB
Current children cumulated memory: 610752 KiB

Child status: 0

Real time (s): 516.569
CPU time (s): 514.133
CPU user time (s): 507.215
CPU system time (s): 6.91823
CPU usage (%): 99.5285
Max. virtual memory (cumulated for all children) (KiB): 769584
Max. memory (cumulated for all children) (KiB): 610752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 507.215
system time used= 6.91823
maximum resident set size= 607680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122900
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6343768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4078
involuntary context switches= 952


# summary of solver processes directly reported to runsolver:
#   pid: 75206
#   total CPU time (s): 514.133
#   total CPU user time (s): 507.215
#   total CPU system time (s): 6.91823

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.18407 second user time and 2.32238 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-07-02 17:09:45
IDJOB=4499121
IDBENCH=148771
IDSOLVER=3351
FILE ID=nodeC025/4499121-1751468985
RUNJOBID= nodeC025-1751461732-74232
SLURM_JOB_ID= 9598466
Free space on /tmp= 432956 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx60.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499121-1751468985/watcher-4499121-1751468985 -o /tmp/evaluation-result-4499121-1751468985/solver-4499121-1751468985 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751461732-74232 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4499121-1751468985.opb PROOFDIR/proof-4499121-1751468985

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

MD5SUM BENCH= c4903dfb08836eadb378d0a168fb9840
RANDOM SEED=1246832963

nodeC025 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	: 0xb00002a
cpu MHz		: 3599.815
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.67
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	: 0xb00002a
cpu MHz		: 3599.846
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.67
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	: 0xb00002a
cpu MHz		: 3599.837
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.67
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	: 0xb00002a
cpu MHz		: 3601.532
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.67
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	: 0xb00002a
cpu MHz		: 3599.860
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.67
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	: 0xb00002a
cpu MHz		: 3599.832
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.67
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	: 0xb00002a
cpu MHz		: 3587.445
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.67
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	: 0xb00002a
cpu MHz		: 3700.000
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        127991272 kB
MemAvailable:   129158788 kB
Buffers:            2128 kB
Cached:          1963176 kB
SwapCached:          200 kB
Active:           843764 kB
Inactive:        1734972 kB
Active(anon):     598124 kB
Inactive(anon):    33200 kB
Active(file):     245640 kB
Inactive(file):  1701772 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            601136 kB
Writeback:             0 kB
AnonPages:        616384 kB
Mapped:           116800 kB
Shmem:             17856 kB
KReclaimable:     118688 kB
Slab:             226516 kB
SReclaimable:     118688 kB
SUnreclaim:       107828 kB
KernelStack:        4400 kB
PageTables:         4472 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1032224 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150664 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:     81920 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:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432948 MiB
End job on nodeC025 at 2025-07-02 17:18:21