Trace number 4499120

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 63f22adOPT6 448.997 450.294

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.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
0.00/0.09	c #variables 2994 #constraints 3493
0.00/0.09	c objective is ce32 
0.00/0.09	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.09	c initial counting CF 32, 64, 128, Arb: 385 , 0 , 0 , 0
0.00/0.09	c GLOBAL bounds - >= 0 @ 0.0497
0.00/0.10	c GLOBAL bounds - >= 0 @ 0.055215
0.00/0.10	c GLOBAL bounds - >= 6 @ 0.055215
0.08/0.16	c rational objective 6
1.66/1.72	c #Conflicts:       1000 | #Constraints:       4500
1.66/1.72	c #Conflicts:       2000 | #Constraints:       5504
1.66/1.72	c INPROCESSING
1.66/1.72	c GARBAGE COLLECT
1.66/1.72	c rational objective 6
1.97/2.09	c GLOBAL bounds - >= 6 @ 1.98061
2.97/3.02	c #Conflicts:       3000 | #Constraints:       2524
2.97/3.02	c #Conflicts:       4000 | #Constraints:       3537
2.97/3.02	c INPROCESSING
2.97/3.02	c GARBAGE COLLECT
2.97/3.02	c rational objective 6
3.07/3.14	c GLOBAL bounds - >= 6 @ 3.00374
3.07/3.14	c GLOBAL bounds - >= 6 @ 3.00378
4.16/4.20	c #Conflicts:       5000 | #Constraints:       2940
4.16/4.20	c #Conflicts:       6000 | #Constraints:       3945
4.16/4.20	c INPROCESSING
4.16/4.20	c GARBAGE COLLECT
4.16/4.20	c rational objective 6
4.16/4.24	c GLOBAL bounds - >= 6 @ 4.08792
4.16/4.24	c GLOBAL bounds - >= 6 @ 4.08796
6.15/6.28	c #Conflicts:       7000 | #Constraints:       2955
6.15/6.28	c #Conflicts:       8000 | #Constraints:       3965
6.15/6.28	c #Conflicts:       9000 | #Constraints:       4973
6.15/6.28	c INPROCESSING
6.15/6.28	c GARBAGE COLLECT
6.15/6.28	c rational objective 6
6.26/6.40	c GLOBAL bounds - >= 6 @ 6.18694
6.26/6.40	c GLOBAL bounds - >= 6 @ 6.18698
7.97/8.04	c #Conflicts:      10000 | #Constraints:       3672
7.97/8.04	c #Conflicts:      11000 | #Constraints:       4678
7.97/8.04	c #Conflicts:      12000 | #Constraints:       5687
7.97/8.04	c INPROCESSING
7.97/8.04	c GARBAGE COLLECT
7.97/8.04	c rational objective 6
8.06/8.12	c GLOBAL bounds - >= 6 @ 7.87349
8.06/8.12	c GLOBAL bounds - >= 6 @ 7.87353
9.35/9.46	c #Conflicts:      13000 | #Constraints:       4121
9.35/9.46	c #Conflicts:      14000 | #Constraints:       5126
9.35/9.46	c #Conflicts:      15000 | #Constraints:       6129
9.35/9.46	c INPROCESSING
9.35/9.46	c GARBAGE COLLECT
9.35/9.46	c rational objective 6
9.45/9.54	c GLOBAL bounds - >= 6 @ 9.27475
9.45/9.54	c GLOBAL bounds - >= 6 @ 9.27478
11.73/11.82	c #Conflicts:      16000 | #Constraints:       4344
11.73/11.82	c #Conflicts:      17000 | #Constraints:       5354
11.73/11.82	c #Conflicts:      18000 | #Constraints:       6360
11.73/11.82	c INPROCESSING
11.73/11.82	c GARBAGE COLLECT
11.73/11.82	c rational objective 6
11.83/11.96	c GLOBAL bounds - >= 6 @ 11.6438
11.83/11.96	c GLOBAL bounds - >= 6 @ 11.6438
14.83/14.90	c #Conflicts:      19000 | #Constraints:       4370
14.83/14.90	c #Conflicts:      20000 | #Constraints:       5381
14.83/14.90	c #Conflicts:      21000 | #Constraints:       6395
14.83/14.90	c INPROCESSING
14.83/14.90	c GARBAGE COLLECT
14.83/14.90	c rational objective 6
14.83/14.99	c GLOBAL bounds - >= 6 @ 14.625
14.83/14.99	c GLOBAL bounds - >= 6 @ 14.6251
16.63/16.79	c #Conflicts:      22000 | #Constraints:       4172
16.63/16.79	c #Conflicts:      23000 | #Constraints:       5178
16.63/16.79	c #Conflicts:      24000 | #Constraints:       6184
16.63/16.79	c #Conflicts:      25000 | #Constraints:       7193
16.63/16.79	c INPROCESSING
16.63/16.79	c GARBAGE COLLECT
16.63/16.79	c rational objective 6
16.94/17.11	c GLOBAL bounds - >= 6 @ 16.6932
16.94/17.11	c GLOBAL bounds - >= 6 @ 16.6932
19.51/19.60	c #Conflicts:      26000 | #Constraints:       4782
19.51/19.60	c #Conflicts:      27000 | #Constraints:       5796
19.51/19.60	c #Conflicts:      28000 | #Constraints:       6803
19.51/19.60	c #Conflicts:      29000 | #Constraints:       7806
19.51/19.60	c INPROCESSING
19.51/19.60	c GARBAGE COLLECT
19.51/19.60	c rational objective 6
19.51/19.67	c GLOBAL bounds - >= 6 @ 19.221
19.51/19.67	c GLOBAL bounds - >= 6 @ 19.2211
22.40/22.55	c #Conflicts:      30000 | #Constraints:       5192
22.40/22.55	c #Conflicts:      31000 | #Constraints:       6199
22.40/22.55	c #Conflicts:      32000 | #Constraints:       7203
22.40/22.55	c #Conflicts:      33000 | #Constraints:       8217
22.40/22.55	c INPROCESSING
22.40/22.55	c GARBAGE COLLECT
22.40/22.55	c rational objective 6
22.50/22.65	c GLOBAL bounds - >= 6 @ 22.1562
22.50/22.65	c GLOBAL bounds - >= 6 @ 22.1563
25.91/26.07	c #Conflicts:      34000 | #Constraints:       5392
25.91/26.07	c #Conflicts:      35000 | #Constraints:       6404
25.91/26.07	c #Conflicts:      36000 | #Constraints:       7416
25.91/26.07	c #Conflicts:      37000 | #Constraints:       8421
25.91/26.07	c INPROCESSING
25.91/26.07	c GARBAGE COLLECT
25.91/26.07	c rational objective 6
26.10/26.22	c GLOBAL bounds - >= 6 @ 25.6822
26.10/26.22	c GLOBAL bounds - >= 6 @ 25.6822
29.19/29.38	c #Conflicts:      38000 | #Constraints:       5396
29.19/29.38	c #Conflicts:      39000 | #Constraints:       6403
29.19/29.38	c #Conflicts:      40000 | #Constraints:       7407
29.19/29.38	c #Conflicts:      41000 | #Constraints:       8412
29.19/29.38	c INPROCESSING
29.19/29.38	c GARBAGE COLLECT
29.19/29.38	c rational objective 6
29.29/29.48	c GLOBAL bounds - >= 6 @ 28.8919
29.29/29.48	c GLOBAL bounds - >= 6 @ 28.892
33.28/33.46	c #Conflicts:      42000 | #Constraints:       5224
33.28/33.46	c #Conflicts:      43000 | #Constraints:       6233
33.28/33.46	c #Conflicts:      44000 | #Constraints:       7244
33.28/33.46	c #Conflicts:      45000 | #Constraints:       8253
33.28/33.46	c #Conflicts:      46000 | #Constraints:       9257
33.28/33.46	c INPROCESSING
33.28/33.46	c GARBAGE COLLECT
33.28/33.46	c rational objective 6
33.38/33.52	c GLOBAL bounds - >= 6 @ 32.8858
33.38/33.52	c GLOBAL bounds - >= 6 @ 32.8859
36.47/36.61	c #Conflicts:      47000 | #Constraints:       5822
36.47/36.61	c #Conflicts:      48000 | #Constraints:       6828
36.47/36.61	c #Conflicts:      49000 | #Constraints:       7833
36.47/36.61	c #Conflicts:      50000 | #Constraints:       8843
36.47/36.61	c #Conflicts:      51000 | #Constraints:       9865
36.47/36.61	c INPROCESSING
36.47/36.61	c GARBAGE COLLECT
36.47/36.61	c rational objective 6
36.47/36.67	c GLOBAL bounds - >= 6 @ 35.9947
36.47/36.67	c GLOBAL bounds - >= 6 @ 35.9947
40.97/41.15	c #Conflicts:      52000 | #Constraints:       6228
40.97/41.15	c #Conflicts:      53000 | #Constraints:       7238
40.97/41.15	c #Conflicts:      54000 | #Constraints:       8245
40.97/41.15	c #Conflicts:      55000 | #Constraints:       9256
40.97/41.15	c #Conflicts:      56000 | #Constraints:      10269
40.97/41.15	c INPROCESSING
40.97/41.15	c GARBAGE COLLECT
40.97/41.15	c rational objective 6
41.06/41.22	c GLOBAL bounds - >= 6 @ 40.476
41.06/41.22	c GLOBAL bounds - >= 6 @ 40.476
44.05/44.20	c #Conflicts:      57000 | #Constraints:       6420
44.05/44.20	c #Conflicts:      58000 | #Constraints:       7422
44.05/44.20	c #Conflicts:      59000 | #Constraints:       8430
44.05/44.20	c #Conflicts:      60000 | #Constraints:       9444
44.05/44.20	c #Conflicts:      61000 | #Constraints:      10455
44.05/44.20	c INPROCESSING
44.05/44.20	c GARBAGE COLLECT
44.05/44.20	c rational objective 6
44.25/44.45	c GLOBAL bounds - >= 6 @ 43.6548
44.25/44.45	c GLOBAL bounds - >= 6 @ 43.6549
46.74/46.94	c #Conflicts:      62000 | #Constraints:       6407
46.74/46.94	c #Conflicts:      63000 | #Constraints:       7413
46.74/46.94	c #Conflicts:      64000 | #Constraints:       8417
46.74/46.94	c #Conflicts:      65000 | #Constraints:       9426
46.74/46.94	c #Conflicts:      66000 | #Constraints:      10437
46.74/46.94	c INPROCESSING
46.74/46.94	c GARBAGE COLLECT
46.74/46.94	c rational objective 6
46.85/47.02	c GLOBAL bounds - >= 6 @ 46.1776
46.85/47.02	c GLOBAL bounds - >= 6 @ 46.1777
51.02/51.21	c #Conflicts:      67000 | #Constraints:       6200
51.02/51.21	c #Conflicts:      68000 | #Constraints:       7206
51.02/51.21	c #Conflicts:      69000 | #Constraints:       8211
51.02/51.21	c #Conflicts:      70000 | #Constraints:       9218
51.02/51.21	c #Conflicts:      71000 | #Constraints:      10231
51.02/51.21	c #Conflicts:      72000 | #Constraints:      11242
51.02/51.21	c INPROCESSING
51.02/51.21	c GARBAGE COLLECT
51.02/51.21	c rational objective 6
51.12/51.32	c GLOBAL bounds - >= 6 @ 50.4035
51.12/51.32	c GLOBAL bounds - >= 6 @ 50.4035
54.92/55.11	c #Conflicts:      73000 | #Constraints:       6800
54.92/55.11	c #Conflicts:      74000 | #Constraints:       7804
54.92/55.11	c #Conflicts:      75000 | #Constraints:       8825
54.92/55.11	c #Conflicts:      76000 | #Constraints:       9840
54.92/55.11	c #Conflicts:      77000 | #Constraints:      10850
54.92/55.11	c #Conflicts:      78000 | #Constraints:      11860
54.92/55.11	c INPROCESSING
54.92/55.11	c GARBAGE COLLECT
54.92/55.11	c rational objective 6
55.01/55.24	c GLOBAL bounds - >= 6 @ 54.2598
55.01/55.24	c GLOBAL bounds - >= 6 @ 54.2598
60.09/60.31	c #Conflicts:      79000 | #Constraints:       7217
60.09/60.31	c #Conflicts:      80000 | #Constraints:       8222
60.09/60.31	c #Conflicts:      81000 | #Constraints:       9229
60.09/60.31	c #Conflicts:      82000 | #Constraints:      10240
60.09/60.31	c #Conflicts:      83000 | #Constraints:      11250
60.09/60.31	c #Conflicts:      84000 | #Constraints:      12263
60.09/60.31	c INPROCESSING
60.09/60.31	c GARBAGE COLLECT
60.09/60.31	c rational objective 6
60.19/60.47	c GLOBAL bounds - >= 6 @ 59.4218
60.19/60.47	c GLOBAL bounds - >= 6 @ 59.4219
63.99/64.28	c #Conflicts:      85000 | #Constraints:       7416
63.99/64.28	c #Conflicts:      86000 | #Constraints:       8426
63.99/64.28	c #Conflicts:      87000 | #Constraints:       9435
63.99/64.28	c #Conflicts:      88000 | #Constraints:      10441
63.99/64.28	c #Conflicts:      89000 | #Constraints:      11450
63.99/64.28	c #Conflicts:      90000 | #Constraints:      12460
63.99/64.28	c INPROCESSING
63.99/64.28	c GARBAGE COLLECT
63.99/64.28	c rational objective 6
64.19/64.42	c GLOBAL bounds - >= 6 @ 63.3134
64.19/64.42	c GLOBAL bounds - >= 6 @ 63.3135
73.17/73.46	c #Conflicts:      91000 | #Constraints:       7431
73.17/73.46	c #Conflicts:      92000 | #Constraints:       8437
73.17/73.46	c #Conflicts:      93000 | #Constraints:       9442
73.17/73.46	c #Conflicts:      94000 | #Constraints:      10446
73.17/73.46	c #Conflicts:      95000 | #Constraints:      11448
73.17/73.46	c #Conflicts:      96000 | #Constraints:      12450
73.17/73.46	c INPROCESSING
73.17/73.46	c GARBAGE COLLECT
73.17/73.46	c rational objective 6
73.37/73.64	c GLOBAL bounds - >= 6 @ 72.4525
73.37/73.64	c GLOBAL bounds - >= 6 @ 72.4525
79.15/79.46	c #Conflicts:      97000 | #Constraints:       7209
79.15/79.46	c #Conflicts:      98000 | #Constraints:       8219
79.15/79.46	c #Conflicts:      99000 | #Constraints:       9223
79.15/79.46	c #Conflicts:     100000 | #Constraints:      10233
79.15/79.46	c #Conflicts:     101000 | #Constraints:      11237
79.15/79.46	c #Conflicts:     102000 | #Constraints:      12247
79.15/79.46	c #Conflicts:     103000 | #Constraints:      13259
79.15/79.46	c INPROCESSING
79.15/79.46	c GARBAGE COLLECT
79.15/79.46	c rational objective 6
79.34/79.67	c GLOBAL bounds - >= 6 @ 78.3755
79.34/79.67	c GLOBAL bounds - >= 6 @ 78.3756
85.33/85.63	c #Conflicts:     104000 | #Constraints:       7814
85.33/85.63	c #Conflicts:     105000 | #Constraints:       8827
85.33/85.63	c #Conflicts:     106000 | #Constraints:       9835
85.33/85.63	c #Conflicts:     107000 | #Constraints:      10845
85.33/85.63	c #Conflicts:     108000 | #Constraints:      11850
85.33/85.63	c #Conflicts:     109000 | #Constraints:      12855
85.33/85.63	c #Conflicts:     110000 | #Constraints:      13861
85.33/85.63	c INPROCESSING
85.33/85.63	c GARBAGE COLLECT
85.33/85.63	c rational objective 6
85.43/85.72	c GLOBAL bounds - >= 6 @ 84.3499
85.43/85.72	c GLOBAL bounds - >= 6 @ 84.3499
91.41/91.72	c #Conflicts:     111000 | #Constraints:       8215
91.41/91.72	c #Conflicts:     112000 | #Constraints:       9221
91.41/91.72	c #Conflicts:     113000 | #Constraints:      10231
91.41/91.72	c #Conflicts:     114000 | #Constraints:      11251
91.41/91.72	c #Conflicts:     115000 | #Constraints:      12259
91.41/91.72	c #Conflicts:     116000 | #Constraints:      13266
91.41/91.72	c #Conflicts:     117000 | #Constraints:      14279
91.41/91.72	c INPROCESSING
91.41/91.72	c GARBAGE COLLECT
91.41/91.72	c rational objective 6
91.51/91.87	c GLOBAL bounds - >= 6 @ 90.4122
91.51/91.87	c GLOBAL bounds - >= 6 @ 90.4122
98.99/99.40	c #Conflicts:     118000 | #Constraints:       8423
98.99/99.40	c #Conflicts:     119000 | #Constraints:       9429
98.99/99.40	c #Conflicts:     120000 | #Constraints:      10434
98.99/99.40	c #Conflicts:     121000 | #Constraints:      11440
98.99/99.40	c #Conflicts:     122000 | #Constraints:      12446
98.99/99.40	c #Conflicts:     123000 | #Constraints:      13452
98.99/99.40	c #Conflicts:     124000 | #Constraints:      14463
98.99/99.40	c INPROCESSING
98.99/99.40	c GARBAGE COLLECT
98.99/99.40	c rational objective 6
99.19/99.54	c GLOBAL bounds - >= 6 @ 97.9774
99.19/99.54	c GLOBAL bounds - >= 6 @ 97.9775
106.07/106.44	c #Conflicts:     125000 | #Constraints:       8422
106.07/106.44	c #Conflicts:     126000 | #Constraints:       9430
106.07/106.44	c #Conflicts:     127000 | #Constraints:      10437
106.07/106.44	c #Conflicts:     128000 | #Constraints:      11452
106.07/106.44	c #Conflicts:     129000 | #Constraints:      12464
106.07/106.44	c #Conflicts:     130000 | #Constraints:      13481
106.07/106.44	c #Conflicts:     131000 | #Constraints:      14491
106.07/106.44	c INPROCESSING
106.07/106.44	c GARBAGE COLLECT
106.07/106.44	c rational objective 6
106.27/106.60	c GLOBAL bounds - >= 6 @ 104.96
106.27/106.60	c GLOBAL bounds - >= 6 @ 104.96
112.95/113.30	c #Conflicts:     132000 | #Constraints:       8219
112.95/113.30	c #Conflicts:     133000 | #Constraints:       9229
112.95/113.30	c #Conflicts:     134000 | #Constraints:      10238
112.95/113.30	c #Conflicts:     135000 | #Constraints:      11247
112.95/113.30	c #Conflicts:     136000 | #Constraints:      12258
112.95/113.30	c #Conflicts:     137000 | #Constraints:      13267
112.95/113.30	c #Conflicts:     138000 | #Constraints:      14277
112.95/113.30	c #Conflicts:     139000 | #Constraints:      15284
112.95/113.30	c INPROCESSING
112.95/113.30	c GARBAGE COLLECT
112.95/113.30	c rational objective 6
113.05/113.41	c GLOBAL bounds - >= 6 @ 111.666
113.05/113.41	c GLOBAL bounds - >= 6 @ 111.666
120.74/121.19	c #Conflicts:     140000 | #Constraints:       8854
120.74/121.19	c #Conflicts:     141000 | #Constraints:       9882
120.74/121.19	c #Conflicts:     142000 | #Constraints:      10893
120.74/121.19	c #Conflicts:     143000 | #Constraints:      11904
120.74/121.19	c #Conflicts:     144000 | #Constraints:      12919
120.74/121.19	c #Conflicts:     145000 | #Constraints:      13933
120.74/121.19	c #Conflicts:     146000 | #Constraints:      14951
120.74/121.19	c #Conflicts:     147000 | #Constraints:      15965
120.74/121.19	c INPROCESSING
120.74/121.19	c GARBAGE COLLECT
120.74/121.19	c rational objective 6
120.83/121.28	c GLOBAL bounds - >= 6 @ 119.435
120.83/121.28	c GLOBAL bounds - >= 6 @ 119.435
129.90/130.36	c #Conflicts:     148000 | #Constraints:       9288
129.90/130.36	c #Conflicts:     149000 | #Constraints:      10294
129.90/130.36	c #Conflicts:     150000 | #Constraints:      11304
129.90/130.36	c #Conflicts:     151000 | #Constraints:      12311
129.90/130.36	c #Conflicts:     152000 | #Constraints:      13322
129.90/130.36	c #Conflicts:     153000 | #Constraints:      14336
129.90/130.36	c #Conflicts:     154000 | #Constraints:      15344
129.90/130.36	c #Conflicts:     155000 | #Constraints:      16354
129.90/130.36	c INPROCESSING
129.90/130.36	c GARBAGE COLLECT
129.90/130.36	c rational objective 6
130.00/130.46	c GLOBAL bounds - >= 6 @ 128.501
130.00/130.46	c GLOBAL bounds - >= 6 @ 128.501
139.77/140.22	c #Conflicts:     156000 | #Constraints:       9476
139.77/140.22	c #Conflicts:     157000 | #Constraints:      10484
139.77/140.22	c #Conflicts:     158000 | #Constraints:      11488
139.77/140.22	c #Conflicts:     159000 | #Constraints:      12493
139.77/140.22	c #Conflicts:     160000 | #Constraints:      13498
139.77/140.22	c #Conflicts:     161000 | #Constraints:      14508
139.77/140.22	c #Conflicts:     162000 | #Constraints:      15520
139.77/140.22	c #Conflicts:     163000 | #Constraints:      16526
139.77/140.22	c INPROCESSING
139.77/140.22	c GARBAGE COLLECT
139.77/140.22	c rational objective 6
139.87/140.32	c GLOBAL bounds - >= 6 @ 138.249
139.87/140.32	c GLOBAL bounds - >= 6 @ 138.249
148.57/149.09	c #Conflicts:     164000 | #Constraints:       9451
148.57/149.09	c #Conflicts:     165000 | #Constraints:      10455
148.57/149.09	c #Conflicts:     166000 | #Constraints:      11459
148.57/149.09	c #Conflicts:     167000 | #Constraints:      12462
148.57/149.09	c #Conflicts:     168000 | #Constraints:      13465
148.57/149.09	c #Conflicts:     169000 | #Constraints:      14475
148.57/149.09	c #Conflicts:     170000 | #Constraints:      15482
148.57/149.09	c #Conflicts:     171000 | #Constraints:      16490
148.57/149.09	c INPROCESSING
148.57/149.09	c GARBAGE COLLECT
148.57/149.09	c rational objective 6
148.67/149.18	c GLOBAL bounds - >= 6 @ 147.013
148.67/149.18	c GLOBAL bounds - >= 6 @ 147.013
156.93/157.43	c #Conflicts:     172000 | #Constraints:       9230
156.93/157.43	c #Conflicts:     173000 | #Constraints:      10235
156.93/157.43	c #Conflicts:     174000 | #Constraints:      11248
156.93/157.43	c #Conflicts:     175000 | #Constraints:      12252
156.93/157.43	c #Conflicts:     176000 | #Constraints:      13266
156.93/157.43	c #Conflicts:     177000 | #Constraints:      14271
156.93/157.43	c #Conflicts:     178000 | #Constraints:      15273
156.93/157.43	c #Conflicts:     179000 | #Constraints:      16279
156.93/157.43	c #Conflicts:     180000 | #Constraints:      17287
156.93/157.43	c INPROCESSING
156.93/157.43	c GARBAGE COLLECT
156.93/157.43	c rational objective 6
157.13/157.65	c GLOBAL bounds - >= 6 @ 155.369
157.13/157.65	c GLOBAL bounds - >= 6 @ 155.369
164.11/164.69	c #Conflicts:     181000 | #Constraints:       9830
164.11/164.69	c #Conflicts:     182000 | #Constraints:      10842
164.11/164.69	c #Conflicts:     183000 | #Constraints:      11865
164.11/164.69	c #Conflicts:     184000 | #Constraints:      12882
164.11/164.69	c #Conflicts:     185000 | #Constraints:      13897
164.11/164.69	c #Conflicts:     186000 | #Constraints:      14909
164.11/164.69	c #Conflicts:     187000 | #Constraints:      15929
164.11/164.69	c #Conflicts:     188000 | #Constraints:      16943
164.11/164.69	c #Conflicts:     189000 | #Constraints:      17957
164.11/164.69	c INPROCESSING
164.11/164.69	c GARBAGE COLLECT
164.11/164.69	c rational objective 6
164.21/164.75	c GLOBAL bounds - >= 6 @ 162.381
164.21/164.75	c GLOBAL bounds - >= 6 @ 162.381
175.08/175.63	c #Conflicts:     190000 | #Constraints:      10296
175.08/175.63	c #Conflicts:     191000 | #Constraints:      11304
175.08/175.63	c #Conflicts:     192000 | #Constraints:      12308
175.08/175.63	c #Conflicts:     193000 | #Constraints:      13314
175.08/175.63	c #Conflicts:     194000 | #Constraints:      14321
175.08/175.63	c #Conflicts:     195000 | #Constraints:      15336
175.08/175.63	c #Conflicts:     196000 | #Constraints:      16348
175.08/175.63	c #Conflicts:     197000 | #Constraints:      17357
175.08/175.63	c #Conflicts:     198000 | #Constraints:      18365
175.08/175.63	c INPROCESSING
175.08/175.63	c GARBAGE COLLECT
175.08/175.63	c rational objective 6
175.18/175.71	c GLOBAL bounds - >= 6 @ 173.212
175.18/175.71	c GLOBAL bounds - >= 6 @ 173.212
184.65/185.27	c #Conflicts:     199000 | #Constraints:      10487
184.65/185.27	c #Conflicts:     200000 | #Constraints:      11501
184.65/185.27	c #Conflicts:     201000 | #Constraints:      12512
184.65/185.27	c #Conflicts:     202000 | #Constraints:      13520
184.65/185.27	c #Conflicts:     203000 | #Constraints:      14526
184.65/185.27	c #Conflicts:     204000 | #Constraints:      15536
184.65/185.27	c #Conflicts:     205000 | #Constraints:      16541
184.65/185.27	c #Conflicts:     206000 | #Constraints:      17548
184.65/185.27	c #Conflicts:     207000 | #Constraints:      18558
184.65/185.27	c INPROCESSING
184.65/185.27	c GARBAGE COLLECT
184.65/185.27	c rational objective 6
184.84/185.41	c GLOBAL bounds - >= 6 @ 182.786
184.84/185.41	c GLOBAL bounds - >= 6 @ 182.786
197.21/197.89	c #Conflicts:     208000 | #Constraints:      10484
197.21/197.89	c #Conflicts:     209000 | #Constraints:      11487
197.21/197.89	c #Conflicts:     210000 | #Constraints:      12492
197.21/197.89	c #Conflicts:     211000 | #Constraints:      13498
197.21/197.89	c #Conflicts:     212000 | #Constraints:      14504
197.21/197.89	c #Conflicts:     213000 | #Constraints:      15510
197.21/197.89	c #Conflicts:     214000 | #Constraints:      16513
197.21/197.89	c #Conflicts:     215000 | #Constraints:      17520
197.21/197.89	c #Conflicts:     216000 | #Constraints:      18529
197.21/197.89	c INPROCESSING
197.21/197.89	c GARBAGE COLLECT
197.21/197.89	c rational objective 6
197.42/198.06	c GLOBAL bounds - >= 6 @ 195.276
197.42/198.06	c GLOBAL bounds - >= 6 @ 195.276
214.86/215.55	c #Conflicts:     217000 | #Constraints:      10378
214.86/215.55	c #Conflicts:     218000 | #Constraints:      11382
214.86/215.55	c #Conflicts:     219000 | #Constraints:      12385
214.86/215.55	c #Conflicts:     220000 | #Constraints:      13399
214.86/215.55	c #Conflicts:     221000 | #Constraints:      14425
214.86/215.55	c #Conflicts:     222000 | #Constraints:      15450
214.86/215.55	c #Conflicts:     223000 | #Constraints:      16471
214.86/215.55	c #Conflicts:     224000 | #Constraints:      17498
214.86/215.55	c #Conflicts:     225000 | #Constraints:      18522
214.86/215.55	c #Conflicts:     226000 | #Constraints:      19542
214.86/215.55	c INPROCESSING
214.86/215.55	c GARBAGE COLLECT
214.86/215.55	c rational objective 6
214.96/215.65	c GLOBAL bounds - >= 6 @ 212.63
214.96/215.65	c GLOBAL bounds - >= 6 @ 212.63
227.52/228.26	c #Conflicts:     227000 | #Constraints:      11112
227.52/228.26	c #Conflicts:     228000 | #Constraints:      12152
227.52/228.26	c #Conflicts:     229000 | #Constraints:      13204
227.52/228.26	c #Conflicts:     230000 | #Constraints:      14220
227.52/228.26	c #Conflicts:     231000 | #Constraints:      15320
227.52/228.26	c #Conflicts:     232000 | #Constraints:      16558
227.52/228.26	c #Conflicts:     233000 | #Constraints:      17840
227.52/228.26	c #Conflicts:     234000 | #Constraints:      19361
227.52/228.26	c #Conflicts:     235000 | #Constraints:      20448
227.52/228.26	c #Conflicts:     236000 | #Constraints:      21506
227.52/228.26	c INPROCESSING
227.52/228.26	c GARBAGE COLLECT
227.52/228.26	c rational objective 6
227.72/228.43	c GLOBAL bounds - >= 6 @ 225.278
227.72/228.43	c GLOBAL bounds - >= 6 @ 225.278
238.49/239.25	c #Conflicts:     237000 | #Constraints:      12031
238.49/239.25	c #Conflicts:     238000 | #Constraints:      13032
238.49/239.25	c #Conflicts:     239000 | #Constraints:      14033
238.49/239.25	c #Conflicts:     240000 | #Constraints:      15046
238.49/239.25	c #Conflicts:     241000 | #Constraints:      16046
238.49/239.25	c #Conflicts:     242000 | #Constraints:      17334
238.49/239.25	c #Conflicts:     243000 | #Constraints:      18455
238.49/239.25	c #Conflicts:     244000 | #Constraints:      19987
238.49/239.25	c #Conflicts:     245000 | #Constraints:      21471
238.49/239.25	c #Conflicts:     246000 | #Constraints:      22916
238.49/239.25	c INPROCESSING
238.49/239.25	c GARBAGE COLLECT
238.49/239.25	c rational objective 6
238.89/239.68	c GLOBAL bounds - >= 6 @ 236.387
238.89/239.68	c GLOBAL bounds - >= 6 @ 236.387
251.65/252.46	c #Conflicts:     247000 | #Constraints:      12740
251.65/252.46	c #Conflicts:     248000 | #Constraints:      13748
251.65/252.46	c #Conflicts:     249000 | #Constraints:      15181
251.65/252.46	c #Conflicts:     250000 | #Constraints:      16624
251.65/252.46	c #Conflicts:     251000 | #Constraints:      17837
251.65/252.46	c #Conflicts:     252000 | #Constraints:      19149
251.65/252.46	c #Conflicts:     253000 | #Constraints:      20440
251.65/252.46	c #Conflicts:     254000 | #Constraints:      21748
251.65/252.46	c #Conflicts:     255000 | #Constraints:      23004
251.65/252.46	c #Conflicts:     256000 | #Constraints:      24309
251.65/252.46	c INPROCESSING
251.65/252.46	c GARBAGE COLLECT
251.65/252.46	c rational objective 6
252.05/252.86	c GLOBAL bounds - >= 6 @ 249.382
252.05/252.86	c GLOBAL bounds - >= 6 @ 249.382
269.50/270.39	c #Conflicts:     257000 | #Constraints:      13356
269.50/270.39	c #Conflicts:     258000 | #Constraints:      14364
269.50/270.39	c #Conflicts:     259000 | #Constraints:      15372
269.50/270.39	c #Conflicts:     260000 | #Constraints:      16380
269.50/270.39	c #Conflicts:     261000 | #Constraints:      17388
269.50/270.39	c #Conflicts:     262000 | #Constraints:      18397
269.50/270.39	c #Conflicts:     263000 | #Constraints:      19406
269.50/270.39	c #Conflicts:     264000 | #Constraints:      20417
269.50/270.39	c #Conflicts:     265000 | #Constraints:      21423
269.50/270.39	c #Conflicts:     266000 | #Constraints:      22431
269.50/270.39	c INPROCESSING
269.50/270.39	c GARBAGE COLLECT
269.50/270.39	c rational objective 6
269.70/270.60	c GLOBAL bounds - >= 6 @ 266.953
269.70/270.60	c GLOBAL bounds - >= 6 @ 266.953
284.35/285.20	c #Conflicts:     267000 | #Constraints:      12207
284.35/285.20	c #Conflicts:     268000 | #Constraints:      13211
284.35/285.20	c #Conflicts:     269000 | #Constraints:      14216
284.35/285.20	c #Conflicts:     270000 | #Constraints:      15234
284.35/285.20	c #Conflicts:     271000 | #Constraints:      16258
284.35/285.20	c #Conflicts:     272000 | #Constraints:      17270
284.35/285.20	c #Conflicts:     273000 | #Constraints:      18286
284.35/285.20	c #Conflicts:     274000 | #Constraints:      19292
284.35/285.20	c #Conflicts:     275000 | #Constraints:      20301
284.35/285.20	c #Conflicts:     276000 | #Constraints:      21313
284.35/285.20	c #Conflicts:     277000 | #Constraints:      22316
284.35/285.20	c INPROCESSING
284.35/285.20	c GARBAGE COLLECT
284.35/285.20	c rational objective 6
284.55/285.49	c GLOBAL bounds - >= 6 @ 281.689
284.55/285.49	c GLOBAL bounds - >= 6 @ 281.689
297.14/298.02	c #Conflicts:     278000 | #Constraints:      12330
297.14/298.02	c #Conflicts:     279000 | #Constraints:      13338
297.14/298.02	c #Conflicts:     280000 | #Constraints:      14345
297.14/298.02	c #Conflicts:     281000 | #Constraints:      15354
297.14/298.02	c #Conflicts:     282000 | #Constraints:      16367
297.14/298.02	c #Conflicts:     283000 | #Constraints:      17381
297.14/298.02	c #Conflicts:     284000 | #Constraints:      18386
297.14/298.02	c #Conflicts:     285000 | #Constraints:      19405
297.14/298.02	c #Conflicts:     286000 | #Constraints:      20410
297.14/298.02	c #Conflicts:     287000 | #Constraints:      21418
297.14/298.02	c #Conflicts:     288000 | #Constraints:      22424
297.14/298.02	c INPROCESSING
297.14/298.02	c GARBAGE COLLECT
297.14/298.02	c rational objective 6
297.24/298.12	c GLOBAL bounds - >= 6 @ 294.159
297.24/298.12	c GLOBAL bounds - >= 6 @ 294.159
312.58/313.58	c #Conflicts:     289000 | #Constraints:      12495
312.58/313.58	c #Conflicts:     290000 | #Constraints:      13499
312.58/313.58	c #Conflicts:     291000 | #Constraints:      14506
312.58/313.58	c #Conflicts:     292000 | #Constraints:      15509
312.58/313.58	c #Conflicts:     293000 | #Constraints:      16520
312.58/313.58	c #Conflicts:     294000 | #Constraints:      17548
312.58/313.58	c #Conflicts:     295000 | #Constraints:      18561
312.58/313.58	c #Conflicts:     296000 | #Constraints:      19573
312.58/313.58	c #Conflicts:     297000 | #Constraints:      20578
312.58/313.58	c #Conflicts:     298000 | #Constraints:      21587
312.58/313.58	c #Conflicts:     299000 | #Constraints:      22600
312.58/313.58	c INPROCESSING
312.58/313.58	c GARBAGE COLLECT
312.58/313.58	c rational objective 6
312.78/313.73	c GLOBAL bounds - >= 6 @ 309.582
312.78/313.73	c GLOBAL bounds - >= 6 @ 309.582
323.45/324.40	c #Conflicts:     300000 | #Constraints:      12587
323.45/324.40	c #Conflicts:     301000 | #Constraints:      13595
323.45/324.40	c #Conflicts:     302000 | #Constraints:      14601
323.45/324.40	c #Conflicts:     303000 | #Constraints:      15606
323.45/324.40	c #Conflicts:     304000 | #Constraints:      16612
323.45/324.40	c #Conflicts:     305000 | #Constraints:      17614
323.45/324.40	c #Conflicts:     306000 | #Constraints:      18618
323.45/324.40	c #Conflicts:     307000 | #Constraints:      19625
323.45/324.40	c #Conflicts:     308000 | #Constraints:      20635
323.45/324.40	c #Conflicts:     309000 | #Constraints:      21644
323.45/324.40	c #Conflicts:     310000 | #Constraints:      22653
323.45/324.40	c INPROCESSING
323.45/324.40	c GARBAGE COLLECT
323.45/324.40	c rational objective 6
323.55/324.57	c GLOBAL bounds - >= 6 @ 320.29
323.55/324.57	c GLOBAL bounds - >= 6 @ 320.29
335.03/336.09	c #Conflicts:     311000 | #Constraints:      12514
335.03/336.09	c #Conflicts:     312000 | #Constraints:      13537
335.03/336.09	c #Conflicts:     313000 | #Constraints:      14566
335.03/336.09	c #Conflicts:     314000 | #Constraints:      15578
335.03/336.09	c #Conflicts:     315000 | #Constraints:      16586
335.03/336.09	c #Conflicts:     316000 | #Constraints:      17593
335.03/336.09	c #Conflicts:     317000 | #Constraints:      18599
335.03/336.09	c #Conflicts:     318000 | #Constraints:      19603
335.03/336.09	c #Conflicts:     319000 | #Constraints:      20607
335.03/336.09	c #Conflicts:     320000 | #Constraints:      21613
335.03/336.09	c #Conflicts:     321000 | #Constraints:      22620
335.03/336.09	c INPROCESSING
335.03/336.09	c GARBAGE COLLECT
335.03/336.09	c rational objective 6
335.32/336.34	c GLOBAL bounds - >= 6 @ 331.909
335.32/336.34	c GLOBAL bounds - >= 6 @ 331.909
355.97/357.01	c #Conflicts:     322000 | #Constraints:      12316
355.97/357.01	c #Conflicts:     323000 | #Constraints:      13329
355.97/357.01	c #Conflicts:     324000 | #Constraints:      14339
355.97/357.01	c #Conflicts:     325000 | #Constraints:      15349
355.97/357.01	c #Conflicts:     326000 | #Constraints:      16361
355.97/357.01	c #Conflicts:     327000 | #Constraints:      17369
355.97/357.01	c #Conflicts:     328000 | #Constraints:      18374
355.97/357.01	c #Conflicts:     329000 | #Constraints:      19385
355.97/357.01	c #Conflicts:     330000 | #Constraints:      20399
355.97/357.01	c #Conflicts:     331000 | #Constraints:      21409
355.97/357.01	c #Conflicts:     332000 | #Constraints:      22421
355.97/357.01	c #Conflicts:     333000 | #Constraints:      23437
355.97/357.01	c INPROCESSING
355.97/357.01	c GARBAGE COLLECT
355.97/357.01	c rational objective 6
356.07/357.15	c GLOBAL bounds - >= 6 @ 352.474
356.07/357.15	c GLOBAL bounds - >= 6 @ 352.474
369.41/370.59	c #Conflicts:     334000 | #Constraints:      12932
369.41/370.59	c #Conflicts:     335000 | #Constraints:      13935
369.41/370.59	c #Conflicts:     336000 | #Constraints:      14943
369.41/370.59	c #Conflicts:     337000 | #Constraints:      15949
369.41/370.59	c #Conflicts:     338000 | #Constraints:      16952
369.41/370.59	c #Conflicts:     339000 | #Constraints:      17959
369.41/370.59	c #Conflicts:     340000 | #Constraints:      18962
369.41/370.59	c #Conflicts:     341000 | #Constraints:      19970
369.41/370.59	c #Conflicts:     342000 | #Constraints:      20974
369.41/370.59	c #Conflicts:     343000 | #Constraints:      21984
369.41/370.59	c #Conflicts:     344000 | #Constraints:      22991
369.41/370.59	c #Conflicts:     345000 | #Constraints:      23999
369.41/370.59	c INPROCESSING
369.41/370.59	c GARBAGE COLLECT
369.41/370.59	c rational objective 6
369.61/370.76	c GLOBAL bounds - >= 6 @ 365.924
369.61/370.76	c GLOBAL bounds - >= 6 @ 365.924
382.57/383.75	c #Conflicts:     346000 | #Constraints:      13286
382.57/383.75	c #Conflicts:     347000 | #Constraints:      14292
382.57/383.75	c #Conflicts:     348000 | #Constraints:      15321
382.57/383.75	c #Conflicts:     349000 | #Constraints:      16334
382.57/383.75	c #Conflicts:     350000 | #Constraints:      17360
382.57/383.75	c #Conflicts:     351000 | #Constraints:      18363
382.57/383.75	c #Conflicts:     352000 | #Constraints:      19375
382.57/383.75	c #Conflicts:     353000 | #Constraints:      20384
382.57/383.75	c #Conflicts:     354000 | #Constraints:      21389
382.57/383.75	c #Conflicts:     355000 | #Constraints:      22400
382.57/383.75	c #Conflicts:     356000 | #Constraints:      23414
382.57/383.75	c #Conflicts:     357000 | #Constraints:      24420
382.57/383.75	c INPROCESSING
382.57/383.75	c GARBAGE COLLECT
382.57/383.75	c rational objective 6
382.77/383.91	c GLOBAL bounds - >= 6 @ 378.907
382.77/383.91	c GLOBAL bounds - >= 6 @ 378.907
396.63/397.88	c #Conflicts:     358000 | #Constraints:      13507
396.63/397.88	c #Conflicts:     359000 | #Constraints:      14517
396.63/397.88	c #Conflicts:     360000 | #Constraints:      15524
396.63/397.88	c #Conflicts:     361000 | #Constraints:      16529
396.63/397.88	c #Conflicts:     362000 | #Constraints:      17539
396.63/397.88	c #Conflicts:     363000 | #Constraints:      18544
396.63/397.88	c #Conflicts:     364000 | #Constraints:      19551
396.63/397.88	c #Conflicts:     365000 | #Constraints:      20555
396.63/397.88	c #Conflicts:     366000 | #Constraints:      21564
396.63/397.88	c #Conflicts:     367000 | #Constraints:      22571
396.63/397.88	c #Conflicts:     368000 | #Constraints:      23576
396.63/397.88	c #Conflicts:     369000 | #Constraints:      24582
396.63/397.88	c INPROCESSING
396.63/397.88	c GARBAGE COLLECT
396.63/397.88	c rational objective 6
396.85/398.03	c GLOBAL bounds - >= 6 @ 392.866
396.85/398.03	c GLOBAL bounds - >= 6 @ 392.866
421.07/422.38	c #Conflicts:     370000 | #Constraints:      13493
421.07/422.38	c #Conflicts:     371000 | #Constraints:      14501
421.07/422.38	c #Conflicts:     372000 | #Constraints:      15507
421.07/422.38	c #Conflicts:     373000 | #Constraints:      16512
421.07/422.38	c #Conflicts:     374000 | #Constraints:      17523
421.07/422.38	c #Conflicts:     375000 | #Constraints:      18529
421.07/422.38	c #Conflicts:     376000 | #Constraints:      19532
421.07/422.38	c #Conflicts:     377000 | #Constraints:      20534
421.07/422.38	c #Conflicts:     378000 | #Constraints:      21539
421.07/422.38	c #Conflicts:     379000 | #Constraints:      22545
421.07/422.38	c #Conflicts:     380000 | #Constraints:      23552
421.07/422.38	c #Conflicts:     381000 | #Constraints:      24561
421.07/422.38	c INPROCESSING
421.07/422.38	c GARBAGE COLLECT
421.07/422.38	c rational objective 6
421.27/422.51	c GLOBAL bounds - >= 6 @ 417.157
421.27/422.51	c GLOBAL bounds - >= 6 @ 417.157
439.21/440.58	c #Conflicts:     382000 | #Constraints:      13270
439.21/440.58	c #Conflicts:     383000 | #Constraints:      14282
439.21/440.58	c #Conflicts:     384000 | #Constraints:      15287
439.21/440.58	c #Conflicts:     385000 | #Constraints:      16294
439.21/440.58	c #Conflicts:     386000 | #Constraints:      17304
439.21/440.58	c #Conflicts:     387000 | #Constraints:      18306
439.21/440.58	c #Conflicts:     388000 | #Constraints:      19312
439.21/440.58	c #Conflicts:     389000 | #Constraints:      20317
439.21/440.58	c #Conflicts:     390000 | #Constraints:      21326
439.21/440.58	c #Conflicts:     391000 | #Constraints:      22332
439.21/440.58	c #Conflicts:     392000 | #Constraints:      23337
439.21/440.58	c #Conflicts:     393000 | #Constraints:      24343
439.21/440.58	c #Conflicts:     394000 | #Constraints:      25351
439.21/440.58	c INPROCESSING
439.21/440.58	c GARBAGE COLLECT
439.21/440.58	c rational objective 6
439.41/440.78	c GLOBAL bounds - >= 6 @ 435.263
439.41/440.78	c GLOBAL bounds - >= 6 @ 435.263
448.89/450.26	c #Conflicts:     395000 | #Constraints:      13877
448.89/450.26	c #Conflicts:     396000 | #Constraints:      14884
448.89/450.26	c #Conflicts:     397000 | #Constraints:      15893
448.89/450.26	c #Conflicts:     398000 | #Constraints:      16906
448.89/450.26	c #Conflicts:     399000 | #Constraints:      17911
448.89/450.26	c #Conflicts:     400000 | #Constraints:      18918
448.89/450.26	c #Conflicts:     401000 | #Constraints:      19921
448.89/450.26	c #Conflicts:     402000 | #Constraints:      20932
448.89/450.26	c Inconsistent objective-improving constraint
448.89/450.26	c cpu time 444.642 s
448.89/450.26	c deterministic time 42391951798 4.24e+10
448.89/450.26	c optimization time 0.01011 s
448.89/450.26	c total solve time 444.583 s
448.89/450.26	c core-guided solve time 0 s
448.89/450.26	c propagation time 286.301 s
448.89/450.26	c conflict analysis time 129.882 s
448.89/450.26	c propagations 65968401
448.89/450.26	c resolve steps 3207884
448.89/450.26	c decisions 2174858
448.89/450.26	c conflicts 402093
448.89/450.26	c restarts 980
448.89/450.26	c inprocessing phases 54
448.89/450.26	c garbage collections 54 ,( 100.00 )
448.89/450.26	c input clauses 3048 ,( 87.26 )
448.89/450.26	c input cardinalities 61 ,( 1.75 )
448.89/450.26	c input general constraints 384 ,( 10.99 )
448.89/450.26	c input average constraint length 10.02
448.89/450.26	c input average constraint degree 75.70
448.89/450.26	c learned clauses 56567 ,( 13.75 )
448.89/450.26	c learned cardinalities 2682 ,( 0.65 )
448.89/450.26	c learned general constraints 352191 ,( 85.60 )
448.89/450.26	c learned average constraint length 661.19
448.89/450.26	c learned average constraint degree 4939026836.49
448.89/450.26	c watched  CF 32, 64, 128, Arb: 145021 , 0 , 0 , 0
448.89/450.26	c counting CF 32, 64, 128, Arb: 207555 , 0 , 0 , 0
448.89/450.26	c watched   constraints 145021 ,( 41.13 ) 
448.89/450.26	c counting  constraints 207554 ,( 58.87 ) 
448.89/450.26	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 5775821 , 6956944 , 495158611 ,( 78965219 , 416193392 )
448.89/450.26	c gcd simplifications 45664
448.89/450.26	c detected cardinalities 158
448.89/450.26	c weakened non-implied lits 53528629
448.89/450.26	c weakened non-implying lits 322156
448.89/450.26	c original variables 2994
448.89/450.26	c clausal propagations 434545
448.89/450.26	c cardinality propagations 3894142
448.89/450.26	c watched propagations 705255
448.89/450.26	c counting propagations 59155955
448.89/450.26	c watch lookups 22412211001
448.89/450.26	c watch backjump lookups 0
448.89/450.26	c watch checks 9552374595
448.89/450.26	c propagation checks 9481193326
448.89/450.26	c constraint additions 809079462
448.89/450.26	c trail pops 68541995
448.89/450.26	c formula constraints 3493
448.89/450.26	c learned constraints 398742
448.89/450.26	c bound constraints 0
448.89/450.26	c core-guided constraints 0
448.89/450.26	c encountered formula constraints 2214407
448.89/450.26	c encountered learned constraints 1087017
448.89/450.26	c encountered bound constraints 0
448.89/450.26	c encountered core-guided constraints 0
448.89/450.26	c LP total time 47.8979 s
448.89/450.26	c LP solve time 35.5 s
448.89/450.26	c LP constraints added 3807
448.89/450.26	c LP constraints removed 303
448.89/450.26	c LP pivots internal 402137
448.89/450.26	c LP pivots root 6022
448.89/450.26	c LP calls 16779
448.89/450.26	c LP optimalities 7573
448.89/450.26	c LP no pivot count 1763
448.89/450.26	c LP infeasibilities 9205
448.89/450.26	c LP valid Farkas constraints 9203
448.89/450.26	c LP learned Farkas constraints 3351
448.89/450.26	c LP basis resets 2
448.89/450.26	c LP cycling count 0
448.89/450.26	c LP singular count 0
448.89/450.26	c LP no primal count 0
448.89/450.26	c LP no farkas count 2
448.89/450.26	c LP other issue count 0
448.89/450.26	c LP Gomory cuts 144
448.89/450.26	c LP learned cuts 170
448.89/450.26	c LP deleted cuts 303
448.89/450.26	c LP encountered Gomory constraints 490
448.89/450.26	c LP encountered Farkas constraints 256124
448.89/450.26	c LP encountered learned Farkas constraints 48588
448.89/450.26	c CG auxiliary variables introduced 1
448.89/450.26	c CG solutions found 1
448.89/450.26	c CG cores constructed 0
448.89/450.26	c CG core cardinality constraints returned 0
448.89/450.26	c CG unit cores 0
448.89/450.26	c CG single cores 0
448.89/450.26	c CG blocks removed during cardinality reduction 0
448.89/450.26	c CG first core best 0
448.89/450.26	c CG decision core best 0
448.89/450.26	c CG core reduction tie 0
448.89/450.26	c CG core degree average 0.00
448.89/450.26	c CG core slack average 0.00
448.89/450.26	c CG core upper bound improvements 0
448.89/450.26	c STR number of successful calls 0
448.89/450.26	c STR number of unsuccessful calls 0
448.89/450.26	c STR number of inconclusive calls 0
448.89/450.26	c STR number of successful attempts 0
448.89/450.26	c STR number of unsuccessful attempts 0
448.89/450.26	c STR number of inconclusive attempts 0
448.89/450.26	c STR average degree increase per successful call inf
448.89/450.26	c STR average degree increase per successful attempt inf
448.89/450.26	c STR total number of conflicts for successful attempts 0
448.89/450.26	c STR total number of conflicts for unsuccessful attempts 0
448.89/450.26	c STR total number of conflicts for inconclusive attempts 0
448.89/450.26	c STR average number of conflicts per successful attempt inf
448.89/450.26	c STR average number of conflicts per unsuccessful attempt inf
448.89/450.26	c STR average number of conflicts per inconclusive attempt inf
448.89/450.26	c AVG.sumWPerc 48.18 
448.89/450.26	c bigint constraints 0 
448.89/450.26	o 6
448.89/450.26	s OPTIMUM FOUND
448.89/450.26	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

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (42272 MiB free)
  memory of node 1: 64465 MiB (62827 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499120-1751404473/watcher-4499120-1751404473 -o /tmp/evaluation-result-4499120-1751404473/solver-4499120-1751404473 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751396781-56605 --watchdog 3760 run-opt.sh HOME/instance-4499120-1751404473.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=57874, runsolver pid=57871

[startup+0.100101 s]*
/proc/loadavg: 4.10 4.13 4.09 6/258 57876
/proc/meminfo: memFree=107616020/131382116 swapFree=33010160/33010684
[pid=57874] ppid=57871 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/57874/stat : 57874 (run-opt.sh) S 57871 57874 56593 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 56126503 4292608 672 18446744073709551615 94423830032384 94423830926917 140729121508000 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94423831165968 94423831213712 94423860609024 140729121515885 140729121516008 140729121516008 140729121521610 0
/proc/57874/statm: 1048 672 640 219 0 110 0
[pid=57876] ppid=57874 vsize=69412 memory=21144 CPUtime=0.08 cores=1,3
/proc/57876/stat : 57876 (roundingsat) R 57874 57874 56593 0 -1 4194304 3164 0 0 0 6 2 0 0 20 0 1 0 56126504 71077888 5286 18446744073709551615 4227072 8923433 140735930868048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42496000 140735930870178 140735930870312 140735930870312 140735930875882 0
/proc/57876/statm: 17353 5286 2368 1147 0 4780 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 73604 KiB
Current children cumulated memory: 23832 KiB

[startup+0.210582 s]*
/proc/loadavg: 4.10 4.13 4.09 5/258 57876
/proc/meminfo: memFree=107607460/131382116 swapFree=33010160/33010684
[pid=57874] ppid=57871 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/57874/stat : 57874 (run-opt.sh) S 57871 57874 56593 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 56126503 4292608 672 18446744073709551615 94423830032384 94423830926917 140729121508000 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94423831165968 94423831213712 94423860609024 140729121515885 140729121516008 140729121516008 140729121521610 0
/proc/57874/statm: 1048 672 640 219 0 110 0
[pid=57876] ppid=57874 vsize=70136 memory=22168 CPUtime=0.19 cores=1,3
/proc/57876/stat : 57876 (roundingsat) R 57874 57874 56593 0 -1 4194304 3373 0 0 0 17 2 0 0 20 0 1 0 56126504 71819264 5542 18446744073709551615 4227072 8923433 140735930868048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42496000 140735930870178 140735930870312 140735930870312 140735930875882 0
/proc/57876/statm: 17534 5542 2400 1147 0 4961 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 74328 KiB
Current children cumulated memory: 24856 KiB

[startup+0.31035 s]*
/proc/loadavg: 4.10 4.13 4.09 5/258 57876
/proc/meminfo: memFree=107607460/131382116 swapFree=33010160/33010684
[pid=57874] ppid=57871 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/57874/stat : 57874 (run-opt.sh) S 57871 57874 56593 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 56126503 4292608 672 18446744073709551615 94423830032384 94423830926917 140729121508000 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94423831165968 94423831213712 94423860609024 140729121515885 140729121516008 140729121516008 140729121521610 0
/proc/57874/statm: 1048 672 640 219 0 110 0
[pid=57876] ppid=57874 vsize=71608 memory=23576 CPUtime=0.3 cores=1,3
/proc/57876/stat : 57876 (roundingsat) R 57874 57874 56593 0 -1 4194304 3737 0 0 0 27 3 0 0 20 0 1 0 56126504 73326592 5894 18446744073709551615 4227072 8923433 140735930868048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42496000 140735930870178 140735930870312 140735930870312 140735930875882 0
/proc/57876/statm: 17902 5894 2400 1147 0 5329 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 75800 KiB
Current children cumulated memory: 26264 KiB

[startup+0.700382 s]
/proc/loadavg: 4.10 4.13 4.09 5/258 57876
/proc/meminfo: memFree=107591332/131382116 swapFree=33010160/33010684
[pid=57874] ppid=57871 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/57874/stat : 57874 (run-opt.sh) S 57871 57874 56593 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 56126503 4292608 672 18446744073709551615 94423830032384 94423830926917 140729121508000 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94423831165968 94423831213712 94423860609024 140729121515885 140729121516008 140729121516008 140729121521610 0
/proc/57874/statm: 1048 672 640 219 0 110 0
[pid=57876] ppid=57874 vsize=75012 memory=26648 CPUtime=0.67 cores=1,3
/proc/57876/stat : 57876 (roundingsat) R 57874 57874 56593 0 -1 4194304 4512 0 0 0 63 4 0 0 20 0 1 0 56126504 76812288 6662 18446744073709551615 4227072 8923433 140735930868048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42496000 140735930870178 140735930870312 140735930870312 140735930875882 0
/proc/57876/statm: 18753 6662 2400 1147 0 6180 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 79204 KiB
Current children cumulated memory: 29336 KiB

[startup+1.50039 s]
/proc/loadavg: 4.10 4.13 4.09 5/258 57876
/proc/meminfo: memFree=107586740/131382116 swapFree=33010160/33010684
[pid=57874] ppid=57871 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/57874/stat : 57874 (run-opt.sh) S 57871 57874 56593 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 56126503 4292608 672 18446744073709551615 94423830032384 94423830926917 140729121508000 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94423831165968 94423831213712 94423860609024 140729121515885 140729121516008 140729121516008 140729121521610 0
/proc/57874/statm: 1048 672 640 219 0 110 0
[pid=57876] ppid=57874 vsize=78492 memory=32516 CPUtime=1.47 cores=1,3
/proc/57876/stat : 57876 (roundingsat) R 57874 57874 56593 0 -1 4194304 5450 0 0 0 140 7 0 0 20 0 1 0 56126504 80375808 8129 18446744073709551615 4227072 8923433 140735930868048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42496000 140735930870178 140735930870312 140735930870312 140735930875882 0
/proc/57876/statm: 19623 8129 2400 1147 0 7050 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 82684 KiB
Current children cumulated memory: 35204 KiB

[startup+3.11307 s]
/proc/loadavg: 4.09 4.12 4.09 5/258 57877
/proc/meminfo: memFree=107546776/131382116 swapFree=33010160/33010684
[pid=57874] ppid=57871 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/57874/stat : 57874 (run-opt.sh) S 57871 57874 56593 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 56126503 4292608 672 18446744073709551615 94423830032384 94423830926917 140729121508000 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94423831165968 94423831213712 94423860609024 140729121515885 140729121516008 140729121516008 140729121521610 0
/proc/57874/statm: 1048 672 640 219 0 110 0
[pid=57876] ppid=57874 vsize=101856 memory=53340 CPUtime=3.07 cores=1,3
/proc/57876/stat : 57876 (roundingsat) R 57874 57874 56593 0 -1 4194304 9639 0 0 0 297 10 0 0 20 0 1 0 56126504 104300544 13335 18446744073709551615 4227072 8923433 140735930868048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42496000 140735930870178 140735930870312 140735930870312 140735930875882 0
/proc/57876/statm: 25464 13335 2400 1147 0 12891 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 106048 KiB
Current children cumulated memory: 56028 KiB

[startup+6.30039 s]
/proc/loadavg: 4.09 4.12 4.09 5/258 57877
/proc/meminfo: memFree=107401804/131382116 swapFree=33010160/33010684
[pid=57874] ppid=57871 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/57874/stat : 57874 (run-opt.sh) S 57871 57874 56593 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 56126503 4292608 672 18446744073709551615 94423830032384 94423830926917 140729121508000 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94423831165968 94423831213712 94423860609024 140729121515885 140729121516008 140729121516008 140729121521610 0
/proc/57874/statm: 1048 672 640 219 0 110 0
[pid=57876] ppid=57874 vsize=150496 memory=91136 CPUtime=6.26 cores=1,3
/proc/57876/stat : 57876 (roundingsat) R 57874 57874 56593 0 -1 4194304 17058 0 0 0 609 17 0 0 20 0 1 0 56126504 154107904 22784 18446744073709551615 4227072 8923433 140735930868048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42496000 140735930870178 140735930870312 140735930870312 140735930875882 0
/proc/57876/statm: 37624 22784 2400 1147 0 25051 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 154688 KiB
Current children cumulated memory: 93824 KiB

[startup+12.7004 s]
/proc/loadavg: 4.09 4.12 4.09 5/258 57877
/proc/meminfo: memFree=107182244/131382116 swapFree=33010160/33010684
[pid=57874] ppid=57871 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/57874/stat : 57874 (run-opt.sh) S 57871 57874 56593 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 56126503 4292608 672 18446744073709551615 94423830032384 94423830926917 140729121508000 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94423831165968 94423831213712 94423860609024 140729121515885 140729121516008 140729121516008 140729121521610 0
/proc/57874/statm: 1048 672 640 219 0 110 0
[pid=57876] ppid=57874 vsize=168632 memory=112380 CPUtime=12.64 cores=1,3
/proc/57876/stat : 57876 (roundingsat) R 57874 57874 56593 0 -1 4194304 20813 0 0 0 1237 27 0 0 20 0 1 0 56126504 172679168 28095 18446744073709551615 4227072 8923433 140735930868048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42496000 140735930870178 140735930870312 140735930870312 140735930875882 0
/proc/57876/statm: 42158 28095 2400 1147 0 29585 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 172824 KiB
Current children cumulated memory: 115068 KiB

[startup+25.5004 s]
/proc/loadavg: 4.07 4.12 4.09 5/258 57877
/proc/meminfo: memFree=106812772/131382116 swapFree=33010160/33010684
[pid=57874] ppid=57871 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/57874/stat : 57874 (run-opt.sh) S 57871 57874 56593 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 56126503 4292608 672 18446744073709551615 94423830032384 94423830926917 140729121508000 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94423831165968 94423831213712 94423860609024 140729121515885 140729121516008 140729121516008 140729121521610 0
/proc/57874/statm: 1048 672 640 219 0 110 0
[pid=57876] ppid=57874 vsize=194676 memory=135420 CPUtime=25.39 cores=1,3
/proc/57876/stat : 57876 (roundingsat) R 57874 57874 56593 0 -1 4194304 26595 0 0 0 2496 43 0 0 20 0 1 0 56126504 199348224 33855 18446744073709551615 4227072 8923433 140735930868048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42496000 140735930870178 140735930870312 140735930870312 140735930875882 0
/proc/57876/statm: 48669 33855 2400 1147 0 36096 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 198868 KiB
Current children cumulated memory: 138108 KiB

[startup+51.1132 s]
/proc/loadavg: 4.11 4.12 4.09 5/258 57877
/proc/meminfo: memFree=106661764/131382116 swapFree=33010160/33010684
[pid=57874] ppid=57871 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/57874/stat : 57874 (run-opt.sh) S 57871 57874 56593 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 56126503 4292608 672 18446744073709551615 94423830032384 94423830926917 140729121508000 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94423831165968 94423831213712 94423860609024 140729121515885 140729121516008 140729121516008 140729121521610 0
/proc/57874/statm: 1048 672 640 219 0 110 0
[pid=57876] ppid=57874 vsize=228508 memory=152888 CPUtime=50.94 cores=1,3
/proc/57876/stat : 57876 (roundingsat) R 57874 57874 56593 0 -1 4194304 30458 0 0 0 5020 74 0 0 20 0 1 0 56126504 233992192 38222 18446744073709551615 4227072 8923433 140735930868048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42496000 140735930870178 140735930870312 140735930870312 140735930875882 0
/proc/57876/statm: 57127 38222 2400 1147 0 44554 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 232700 KiB
Current children cumulated memory: 155576 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/258 57882
/proc/meminfo: memFree=106556812/131382116 swapFree=33010160/33010684
[pid=57874] ppid=57871 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/57874/stat : 57874 (run-opt.sh) S 57871 57874 56593 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 56126503 4292608 672 18446744073709551615 94423830032384 94423830926917 140729121508000 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94423831165968 94423831213712 94423860609024 140729121515885 140729121516008 140729121516008 140729121521610 0
/proc/57874/statm: 1048 672 640 219 0 110 0
[pid=57876] ppid=57874 vsize=314736 memory=229520 CPUtime=101.98 cores=1,3
/proc/57876/stat : 57876 (roundingsat) R 57874 57874 56593 0 -1 4194304 44001 0 0 0 10069 129 0 0 20 0 1 0 56126504 322289664 57380 18446744073709551615 4227072 8923433 140735930868048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42496000 140735930870178 140735930870312 140735930870312 140735930875882 0
/proc/57876/statm: 78684 57380 2400 1147 0 66111 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 318928 KiB
Current children cumulated memory: 232208 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 57884
/proc/meminfo: memFree=106466688/131382116 swapFree=33010160/33010684
[pid=57874] ppid=57871 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/57874/stat : 57874 (run-opt.sh) S 57871 57874 56593 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 56126503 4292608 672 18446744073709551615 94423830032384 94423830926917 140729121508000 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94423831165968 94423831213712 94423860609024 140729121515885 140729121516008 140729121516008 140729121521610 0
/proc/57874/statm: 1048 672 640 219 0 110 0
[pid=57876] ppid=57874 vsize=327564 memory=242320 CPUtime=161.81 cores=1,3
/proc/57876/stat : 57876 (roundingsat) R 57874 57874 56593 0 -1 4194304 47194 0 0 0 15995 186 0 0 20 0 1 0 56126504 335425536 60580 18446744073709551615 4227072 8923433 140735930868048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42496000 140735930870178 140735930870312 140735930870312 140735930875882 0
/proc/57876/statm: 81891 60580 2400 1147 0 69318 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 331756 KiB
Current children cumulated memory: 245008 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 57886
/proc/meminfo: memFree=106225700/131382116 swapFree=33010160/33010684
[pid=57874] ppid=57871 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/57874/stat : 57874 (run-opt.sh) S 57871 57874 56593 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 56126503 4292608 672 18446744073709551615 94423830032384 94423830926917 140729121508000 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94423831165968 94423831213712 94423860609024 140729121515885 140729121516008 140729121516008 140729121521610 0
/proc/57874/statm: 1048 672 640 219 0 110 0
[pid=57876] ppid=57874 vsize=512972 memory=373692 CPUtime=221.63 cores=1,3
/proc/57876/stat : 57876 (roundingsat) R 57874 57874 56593 0 -1 4194304 73410 0 0 0 21919 244 0 0 20 0 1 0 56126504 525283328 93423 18446744073709551615 4227072 8923433 140735930868048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42496000 140735930870178 140735930870312 140735930870312 140735930875882 0
/proc/57876/statm: 128243 93423 2400 1147 0 115670 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 517164 KiB
Current children cumulated memory: 376380 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/255 57888
/proc/meminfo: memFree=105812928/131382116 swapFree=33010160/33010684
[pid=57874] ppid=57871 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/57874/stat : 57874 (run-opt.sh) S 57871 57874 56593 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 56126503 4292608 672 18446744073709551615 94423830032384 94423830926917 140729121508000 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94423831165968 94423831213712 94423860609024 140729121515885 140729121516008 140729121516008 140729121521610 0
/proc/57874/statm: 1048 672 640 219 0 110 0
[pid=57876] ppid=57874 vsize=553144 memory=411836 CPUtime=281.46 cores=1,3
/proc/57876/stat : 57876 (roundingsat) R 57874 57874 56593 0 -1 4194304 82932 0 0 0 27851 295 0 0 20 0 1 0 56126504 566419456 102959 18446744073709551615 4227072 8923433 140735930868048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42496000 140735930870178 140735930870312 140735930870312 140735930875882 0
/proc/57876/statm: 138286 102959 2400 1147 0 125713 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 557336 KiB
Current children cumulated memory: 414524 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/254 57890
/proc/meminfo: memFree=104902120/131382116 swapFree=33010160/33010684
[pid=57874] ppid=57871 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/57874/stat : 57874 (run-opt.sh) S 57871 57874 56593 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 56126503 4292608 672 18446744073709551615 94423830032384 94423830926917 140729121508000 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94423831165968 94423831213712 94423860609024 140729121515885 140729121516008 140729121516008 140729121521610 0
/proc/57874/statm: 1048 672 640 219 0 110 0
[pid=57876] ppid=57874 vsize=584520 memory=436796 CPUtime=341.3 cores=1,3
/proc/57876/stat : 57876 (roundingsat) R 57874 57874 56593 0 -1 4194304 89187 0 0 0 33779 351 0 0 20 0 1 0 56126504 598548480 109199 18446744073709551615 4227072 8923433 140735930868048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42496000 140735930870178 140735930870312 140735930870312 140735930875882 0
/proc/57876/statm: 146130 109199 2400 1147 0 133557 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 588712 KiB
Current children cumulated memory: 439484 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/253 57896
/proc/meminfo: memFree=104060708/131382116 swapFree=33010160/33010684
[pid=57874] ppid=57871 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/57874/stat : 57874 (run-opt.sh) S 57871 57874 56593 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 56126503 4292608 672 18446744073709551615 94423830032384 94423830926917 140729121508000 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94423831165968 94423831213712 94423860609024 140729121515885 140729121516008 140729121516008 140729121521610 0
/proc/57874/statm: 1048 672 640 219 0 110 0
[pid=57876] ppid=57874 vsize=756988 memory=599032 CPUtime=401.13 cores=1,3
/proc/57876/stat : 57876 (roundingsat) R 57874 57874 56593 0 -1 4194304 120534 0 0 0 39708 405 0 0 20 0 1 0 56126504 775155712 149758 18446744073709551615 4227072 8923433 140735930868048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42496000 140735930870178 140735930870312 140735930870312 140735930875882 0
/proc/57876/statm: 189247 149758 2400 1147 0 176674 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 761180 KiB
Current children cumulated memory: 601720 KiB

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

# cumulated CPU time of all completed processes:  user=444.648 s, system=4.34932 s

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

[startup+409.6 s]
/proc/loadavg: 4.08 4.11 4.09 5/253 57896
/proc/meminfo: memFree=104051944/131382116 swapFree=33010160/33010684
[pid=57874] ppid=57871 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/57874/stat : 57874 (run-opt.sh) S 57871 57874 56593 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 56126503 4292608 672 18446744073709551615 94423830032384 94423830926917 140729121508000 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94423831165968 94423831213712 94423860609024 140729121515885 140729121516008 140729121516008 140729121521610 0
/proc/57874/statm: 1048 672 640 219 0 110 0
[pid=57876] ppid=57874 vsize=756988 memory=599032 CPUtime=408.4 cores=1,3
/proc/57876/stat : 57876 (roundingsat) R 57874 57874 56593 0 -1 4194304 120553 0 0 0 40433 407 0 0 20 0 1 0 56126504 775155712 149758 18446744073709551615 4227072 8923433 140735930868048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42496000 140735930870178 140735930870312 140735930870312 140735930875882 0
/proc/57876/statm: 189247 149758 2400 1147 0 176674 0
Current children cumulated CPU time: 408.4 s
Current children cumulated vsize: 761180 KiB
Current children cumulated memory: 601720 KiB

[startup+435.2 s]
/proc/loadavg: 4.11 4.11 4.09 5/257 57910
/proc/meminfo: memFree=103994348/131382116 swapFree=33010160/33010684
[pid=57874] ppid=57871 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/57874/stat : 57874 (run-opt.sh) S 57871 57874 56593 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 56126503 4292608 672 18446744073709551615 94423830032384 94423830926917 140729121508000 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94423831165968 94423831213712 94423860609024 140729121515885 140729121516008 140729121516008 140729121521610 0
/proc/57874/statm: 1048 672 640 219 0 110 0
[pid=57876] ppid=57874 vsize=756988 memory=599288 CPUtime=433.93 cores=1,3
/proc/57876/stat : 57876 (roundingsat) R 57874 57874 56593 0 -1 4194304 120611 0 0 0 42972 421 0 0 20 0 1 0 56126504 775155712 149822 18446744073709551615 4227072 8923433 140735930868048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42496000 140735930870178 140735930870312 140735930870312 140735930875882 0
/proc/57876/statm: 189247 149822 2400 1147 0 176674 0
Current children cumulated CPU time: 433.93 s
Current children cumulated vsize: 761180 KiB
Current children cumulated memory: 601976 KiB

[startup+441.6 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 57911
/proc/meminfo: memFree=103920720/131382116 swapFree=33010160/33010684
[pid=57874] ppid=57871 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/57874/stat : 57874 (run-opt.sh) S 57871 57874 56593 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 56126503 4292608 672 18446744073709551615 94423830032384 94423830926917 140729121508000 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94423831165968 94423831213712 94423860609024 140729121515885 140729121516008 140729121516008 140729121521610 0
/proc/57874/statm: 1048 672 640 219 0 110 0
[pid=57876] ppid=57874 vsize=756988 memory=599416 CPUtime=440.31 cores=1,3
/proc/57876/stat : 57876 (roundingsat) R 57874 57874 56593 0 -1 4194304 120626 0 0 0 43607 424 0 0 20 0 1 0 56126504 775155712 149854 18446744073709551615 4227072 8923433 140735930868048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42496000 140735930870178 140735930870312 140735930870312 140735930875882 0
/proc/57876/statm: 189247 149854 2400 1147 0 176674 0
Current children cumulated CPU time: 440.31 s
Current children cumulated vsize: 761180 KiB
Current children cumulated memory: 602104 KiB

[startup+444.8 s]
/proc/loadavg: 4.09 4.11 4.09 5/254 57911
/proc/meminfo: memFree=103896296/131382116 swapFree=33010160/33010684
[pid=57874] ppid=57871 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/57874/stat : 57874 (run-opt.sh) S 57871 57874 56593 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 56126503 4292608 672 18446744073709551615 94423830032384 94423830926917 140729121508000 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94423831165968 94423831213712 94423860609024 140729121515885 140729121516008 140729121516008 140729121521610 0
/proc/57874/statm: 1048 672 640 219 0 110 0
[pid=57876] ppid=57874 vsize=756988 memory=599416 CPUtime=443.51 cores=1,3
/proc/57876/stat : 57876 (roundingsat) R 57874 57874 56593 0 -1 4194304 120626 0 0 0 43924 427 0 0 20 0 1 0 56126504 775155712 149854 18446744073709551615 4227072 8923433 140735930868048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42496000 140735930870178 140735930870312 140735930870312 140735930875882 0
/proc/57876/statm: 189247 149854 2400 1147 0 176674 0
Current children cumulated CPU time: 443.51 s
Current children cumulated vsize: 761180 KiB
Current children cumulated memory: 602104 KiB

[startup+448 s]*
/proc/loadavg: 4.09 4.11 4.09 5/254 57911
/proc/meminfo: memFree=103855976/131382116 swapFree=33010160/33010684
[pid=57874] ppid=57871 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/57874/stat : 57874 (run-opt.sh) S 57871 57874 56593 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 56126503 4292608 672 18446744073709551615 94423830032384 94423830926917 140729121508000 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94423831165968 94423831213712 94423860609024 140729121515885 140729121516008 140729121516008 140729121521610 0
/proc/57874/statm: 1048 672 640 219 0 110 0
[pid=57876] ppid=57874 vsize=756988 memory=599416 CPUtime=446.71 cores=1,3
/proc/57876/stat : 57876 (roundingsat) R 57874 57874 56593 0 -1 4194304 120627 0 0 0 44242 429 0 0 20 0 1 0 56126504 775155712 149854 18446744073709551615 4227072 8923433 140735930868048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42496000 140735930870178 140735930870312 140735930870312 140735930875882 0
/proc/57876/statm: 189247 149854 2400 1147 0 176674 0
Current children cumulated CPU time: 446.71 s
Current children cumulated vsize: 761180 KiB
Current children cumulated memory: 602104 KiB

[startup+449.6 s]
/proc/loadavg: 4.09 4.11 4.09 5/254 57911
/proc/meminfo: memFree=103847916/131382116 swapFree=33010160/33010684
[pid=57874] ppid=57871 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/57874/stat : 57874 (run-opt.sh) S 57871 57874 56593 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 56126503 4292608 672 18446744073709551615 94423830032384 94423830926917 140729121508000 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94423831165968 94423831213712 94423860609024 140729121515885 140729121516008 140729121516008 140729121521610 0
/proc/57874/statm: 1048 672 640 219 0 110 0
[pid=57876] ppid=57874 vsize=756988 memory=599416 CPUtime=448.29 cores=1,3
/proc/57876/stat : 57876 (roundingsat) R 57874 57874 56593 0 -1 4194304 120629 0 0 0 44398 431 0 0 20 0 1 0 56126504 775155712 149854 18446744073709551615 4227072 8923433 140735930868048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42496000 140735930870178 140735930870312 140735930870312 140735930875882 0
/proc/57876/statm: 189247 149854 2400 1147 0 176674 0
Current children cumulated CPU time: 448.29 s
Current children cumulated vsize: 761180 KiB
Current children cumulated memory: 602104 KiB

[startup+450 s]*
/proc/loadavg: 4.09 4.11 4.09 5/254 57911
/proc/meminfo: memFree=103847916/131382116 swapFree=33010160/33010684
[pid=57874] ppid=57871 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/57874/stat : 57874 (run-opt.sh) S 57871 57874 56593 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 56126503 4292608 672 18446744073709551615 94423830032384 94423830926917 140729121508000 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94423831165968 94423831213712 94423860609024 140729121515885 140729121516008 140729121516008 140729121521610 0
/proc/57874/statm: 1048 672 640 219 0 110 0
[pid=57876] ppid=57874 vsize=756988 memory=599416 CPUtime=448.7 cores=1,3
/proc/57876/stat : 57876 (roundingsat) R 57874 57874 56593 0 -1 4194304 120630 0 0 0 44439 431 0 0 20 0 1 0 56126504 775155712 149854 18446744073709551615 4227072 8923433 140735930868048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42496000 140735930870178 140735930870312 140735930870312 140735930875882 0
/proc/57876/statm: 189247 149854 2400 1147 0 176674 0
Current children cumulated CPU time: 448.7 s
Current children cumulated vsize: 761180 KiB
Current children cumulated memory: 602104 KiB

[startup+450.2 s]
/proc/loadavg: 4.09 4.11 4.09 5/254 57911
/proc/meminfo: memFree=103847916/131382116 swapFree=33010160/33010684
[pid=57874] ppid=57871 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/57874/stat : 57874 (run-opt.sh) S 57871 57874 56593 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 56126503 4292608 672 18446744073709551615 94423830032384 94423830926917 140729121508000 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94423831165968 94423831213712 94423860609024 140729121515885 140729121516008 140729121516008 140729121521610 0
/proc/57874/statm: 1048 672 640 219 0 110 0
[pid=57876] ppid=57874 vsize=756988 memory=599416 CPUtime=448.89 cores=1,3
/proc/57876/stat : 57876 (roundingsat) R 57874 57874 56593 0 -1 4194304 120630 0 0 0 44458 431 0 0 20 0 1 0 56126504 775155712 149854 18446744073709551615 4227072 8923433 140735930868048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42496000 140735930870178 140735930870312 140735930870312 140735930875882 0
/proc/57876/statm: 189247 149854 2400 1147 0 176674 0
Current children cumulated CPU time: 448.89 s
Current children cumulated vsize: 761180 KiB
Current children cumulated memory: 602104 KiB

Child status: 0

Real time (s): 450.294
CPU time (s): 448.997
CPU user time (s): 444.648
CPU system time (s): 4.34932
CPU usage (%): 99.7119
Max. virtual memory (cumulated for all children) (KiB): 761180
Max. memory (cumulated for all children) (KiB): 602104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 444.648
system time used= 4.34932
maximum resident set size= 599416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120858
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 145
involuntary context switches= 543


# summary of solver processes directly reported to runsolver:
#   pid: 57874
#   total CPU time (s): 448.997
#   total CPU user time (s): 444.648
#   total CPU system time (s): 4.34932

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.46653 second user time and 4.44561 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2025-07-01 23:14:33
IDJOB=4499120
IDBENCH=148771
IDSOLVER=3350
FILE ID=nodeC004/4499120-1751404473
RUNJOBID= nodeC004-1751396781-56605
SLURM_JOB_ID= 9598272
Free space on /tmp= 433036 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx60.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499120-1751404473/watcher-4499120-1751404473 -o /tmp/evaluation-result-4499120-1751404473/solver-4499120-1751404473 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751396781-56605 --watchdog 3760  run-opt.sh HOME/instance-4499120-1751404473.opb

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

MD5SUM BENCH= c4903dfb08836eadb378d0a168fb9840
RANDOM SEED=438444093

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        107622132 kB
MemAvailable:   111411600 kB
Buffers:            2720 kB
Cached:          4540028 kB
SwapCached:           20 kB
Active:         18852448 kB
Inactive:        4214256 kB
Active(anon):   18535724 kB
Inactive(anon):     6188 kB
Active(file):     316724 kB
Inactive(file):  4208068 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7368 kB
Writeback:            12 kB
AnonPages:      18526396 kB
Mapped:           116848 kB
Shmem:             17956 kB
KReclaimable:     208608 kB
Slab:             294012 kB
SReclaimable:     208608 kB
SUnreclaim:        85404 kB
KernelStack:        4112 kB
PageTables:        46148 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   24126488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149496 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1298432 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:      197448 kB
DirectMap2M:    10190848 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 433028 MiB
End job on nodeC004 at 2025-07-01 23:22:04