Trace number 4488771

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ihs-log 63f22ad? (TO) 3600.07 3610.13

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_1.opb.PB06.opb
MD5SUMf429a5cb74c34761160471c7897bca93
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1037
Best CPU time to get the best result obtained on this benchmark3585.09
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1963
Total number of constraints4000
Number of constraints which are clauses4000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1963
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 1963
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1963
Number of bits of the biggest sum of numbers11
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.03	c RoundingSat 2
0.00/0.03	c branch pb25
0.00/0.03	c commit 63f22ad
0.00/0.05	c #variables 1963 #constraints 4000
0.00/0.05	c objective is ce32 
0.00/0.06	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.06	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.06	c GLOBAL bounds - >= 0 @ 0.017613
0.00/0.06	c GLOBAL bounds - >= 0 @ 0.019246
0.00/0.07	c GLOBAL bounds - >= 0 @ 0.024578
0.00/0.08	c GLOBAL bounds - >= 0 @ 0.031679
0.00/0.09	c GLOBAL bounds - >= 0 @ 0.03945
0.00/0.09	c GLOBAL bounds - >= 0 @ 0.048592
0.06/0.11	c GLOBAL bounds - >= 0 @ 0.061883
0.06/0.12	c GLOBAL bounds - >= 0 @ 0.072939
0.06/0.15	c GLOBAL bounds - >= 0 @ 0.098392
0.06/0.17	c GLOBAL bounds - >= 0 @ 0.116827
0.06/0.19	c GLOBAL bounds - >= 0 @ 0.138975
0.17/0.23	c GLOBAL bounds - >= 0 @ 0.175305
0.17/0.28	c GLOBAL bounds - >= 0 @ 0.218855
0.27/0.34	c GLOBAL bounds - >= 0 @ 0.27951
0.27/0.39	c GLOBAL bounds - >= 0 @ 0.333062
0.37/0.48	c GLOBAL bounds - >= 0 @ 0.415207
0.47/0.54	c GLOBAL bounds - >= 0 @ 0.473892
0.57/0.63	c GLOBAL bounds - >= 0 @ 0.55588
0.66/0.74	c GLOBAL bounds - >= 0 @ 0.662831
0.75/0.87	c GLOBAL bounds - >= 0 @ 0.790266
0.96/1.08	c #Conflicts:       1000 | #Constraints:       5036
0.96/1.08	c GLOBAL bounds - >= 0 @ 0.987273
1.25/1.30	c GLOBAL bounds - >= 0 @ 1.19471
1.45/1.54	c GLOBAL bounds - >= 0 @ 1.42737
1.75/1.83	c GLOBAL bounds - >= 0 @ 1.70871
1.85/1.98	c GLOBAL bounds - >= 0 @ 1.85493
2.25/2.34	c GLOBAL bounds - >= 0 @ 2.21765
2.55/2.68	c #Conflicts:       2000 | #Constraints:       6048
2.55/2.68	c INPROCESSING
2.55/2.68	c GARBAGE COLLECT
2.55/2.68	c GLOBAL bounds - >= 0 @ 2.54668
2.74/2.87	c GLOBAL bounds - >= 0 @ 2.72949
2.95/3.01	c GLOBAL bounds - >= 0 @ 2.86673
3.15/3.23	c GLOBAL bounds - >= 0 @ 3.08046
3.25/3.36	c GLOBAL bounds - >= 0 @ 3.21366
3.44/3.52	c GLOBAL bounds - >= 0 @ 3.37591
3.65/3.70	c GLOBAL bounds - >= 0 @ 3.55119
3.95/4.01	c GLOBAL bounds - >= 0 @ 3.85622
4.05/4.16	c #Conflicts:       3000 | #Constraints:       6082
4.05/4.16	c GLOBAL bounds - >= 0 @ 4.00138
4.25/4.37	c GLOBAL bounds - >= 0 @ 4.20381
4.45/4.56	c GLOBAL bounds - >= 0 @ 4.38975
4.64/4.77	c GLOBAL bounds - >= 0 @ 4.60201
4.84/5.00	c GLOBAL bounds - >= 0 @ 4.82103
5.14/5.27	c GLOBAL bounds - >= 0 @ 5.08607
5.64/5.70	c GLOBAL bounds - >= 0 @ 5.50981
5.94/6.10	c GLOBAL bounds - >= 0 @ 5.90517
6.44/6.52	c #Conflicts:       4000 | #Constraints:       7098
6.44/6.52	c GLOBAL bounds - >= 0 @ 6.32039
6.84/6.92	c INPROCESSING
6.84/6.92	c GARBAGE COLLECT
6.84/6.92	c GLOBAL bounds - >= 0 @ 6.71755
7.04/7.17	c GLOBAL bounds - >= 0 @ 6.9607
7.24/7.39	c GLOBAL bounds - >= 0 @ 7.18353
7.54/7.64	c GLOBAL bounds - >= 0 @ 7.43105
7.74/7.80	c GLOBAL bounds - >= 0 @ 7.58192
7.95/8.08	c GLOBAL bounds - >= 0 @ 7.85557
8.14/8.23	c GLOBAL bounds - >= 0 @ 8.00888
8.33/8.44	c #Conflicts:       5000 | #Constraints:       6561
8.33/8.44	c GLOBAL bounds - >= 0 @ 8.20465
8.53/8.65	c GLOBAL bounds - >= 0 @ 8.41631
8.84/8.98	c GLOBAL bounds - >= 0 @ 8.74367
9.23/9.36	c GLOBAL bounds - >= 0 @ 9.11973
9.63/9.73	c GLOBAL bounds - >= 0 @ 9.48137
9.83/9.92	c GLOBAL bounds - >= 0 @ 9.67114
10.23/10.31	c GLOBAL bounds - >= 0 @ 10.0574
10.52/10.67	c GLOBAL bounds - >= 0 @ 10.4106
10.94/11.05	c #Conflicts:       6000 | #Constraints:       7577
10.94/11.05	c GLOBAL bounds - >= 0 @ 10.7878
11.13/11.25	c GLOBAL bounds - >= 0 @ 10.9855
11.62/11.70	c GLOBAL bounds - >= 0 @ 11.4259
11.83/11.90	c GLOBAL bounds - >= 0 @ 11.6304
12.03/12.17	c GLOBAL bounds - >= 0 @ 11.8821
12.52/12.69	c INPROCESSING
12.52/12.69	c GARBAGE COLLECT
12.52/12.69	c GLOBAL bounds - >= 0 @ 12.3915
12.92/13.01	c GLOBAL bounds - >= 0 @ 12.7038
13.02/13.15	c GLOBAL bounds - >= 0 @ 12.8498
13.22/13.31	c #Conflicts:       7000 | #Constraints:       6564
13.22/13.31	c GLOBAL bounds - >= 0 @ 13.0057
13.42/13.51	c GLOBAL bounds - >= 0 @ 13.2015
13.62/13.71	c GLOBAL bounds - >= 0 @ 13.3997
13.82/13.91	c GLOBAL bounds - >= 0 @ 13.5977
14.02/14.11	c GLOBAL bounds - >= 0 @ 13.799
14.22/14.34	c GLOBAL bounds - >= 0 @ 14.0213
14.61/14.77	c GLOBAL bounds - >= 0 @ 14.4529
14.93/15.02	c #Conflicts:       8000 | #Constraints:       7578
14.93/15.02	c GLOBAL bounds - >= 0 @ 14.6991
15.21/15.30	c GLOBAL bounds - >= 0 @ 14.9693
15.42/15.54	c GLOBAL bounds - >= 0 @ 15.2055
15.72/15.82	c GLOBAL bounds - >= 0 @ 15.4887
15.92/16.06	c GLOBAL bounds - >= 0 @ 15.7169
16.11/16.29	c GLOBAL bounds - >= 0 @ 15.9484
16.42/16.51	c GLOBAL bounds - >= 0 @ 16.1668
16.61/16.74	c GLOBAL bounds - >= 0 @ 16.3893
16.81/16.97	c #Conflicts:       9000 | #Constraints:       8594
16.81/16.97	c GLOBAL bounds - >= 0 @ 16.6107
17.11/17.20	c GLOBAL bounds - >= 0 @ 16.835
17.61/17.70	c INPROCESSING
17.61/17.70	c GARBAGE COLLECT
17.61/17.70	c GLOBAL bounds - >= 0 @ 17.3289
17.81/17.95	c GLOBAL bounds - >= 0 @ 17.5706
18.21/18.32	c GLOBAL bounds - >= 0 @ 17.9111
18.51/18.69	c GLOBAL bounds - >= 0 @ 18.2749
18.81/18.90	c GLOBAL bounds - >= 0 @ 18.4826
19.10/19.24	c GLOBAL bounds - >= 0 @ 18.8115
19.41/19.55	c #Conflicts:      10000 | #Constraints:       7304
19.41/19.55	c GLOBAL bounds - >= 0 @ 19.1201
19.70/19.89	c GLOBAL bounds - >= 0 @ 19.4473
19.90/20.07	c GLOBAL bounds - >= 0 @ 19.6283
20.30/20.42	c GLOBAL bounds - >= 0 @ 19.9769
20.50/20.60	c GLOBAL bounds - >= 0 @ 20.1475
20.70/20.82	c GLOBAL bounds - >= 0 @ 20.3722
20.90/21.05	c GLOBAL bounds - >= 0 @ 20.5909
21.30/21.44	c GLOBAL bounds - >= 0 @ 20.9746
21.60/21.78	c #Conflicts:      11000 | #Constraints:       8320
21.60/21.78	c GLOBAL bounds - >= 0 @ 21.3142
22.00/22.14	c GLOBAL bounds - >= 0 @ 21.6734
22.30/22.40	c GLOBAL bounds - >= 0 @ 21.9285
22.70/22.81	c GLOBAL bounds - >= 0 @ 22.3269
23.00/23.18	c GLOBAL bounds - >= 0 @ 22.6952
23.40/23.55	c GLOBAL bounds - >= 0 @ 23.0581
23.59/23.78	c GLOBAL bounds - >= 0 @ 23.2773
24.00/24.18	c GLOBAL bounds - >= 0 @ 23.6714
24.49/24.69	c #Conflicts:      12000 | #Constraints:       9336
24.49/24.69	c INPROCESSING
24.49/24.69	c GARBAGE COLLECT
24.49/24.69	c GLOBAL bounds - >= 0 @ 24.1753
24.69/24.86	c GLOBAL bounds - >= 0 @ 24.3447
24.99/25.16	c GLOBAL bounds - >= 0 @ 24.6332
25.19/25.31	c GLOBAL bounds - >= 0 @ 24.789
25.39/25.51	c GLOBAL bounds - >= 0 @ 24.9832
25.58/25.70	c GLOBAL bounds - >= 0 @ 25.1721
25.79/25.91	c GLOBAL bounds - >= 0 @ 25.3746
25.99/26.13	c GLOBAL bounds - >= 0 @ 25.5899
26.18/26.37	c #Conflicts:      13000 | #Constraints:       7797
26.18/26.37	c GLOBAL bounds - >= 0 @ 25.8336
26.59/26.75	c GLOBAL bounds - >= 0 @ 26.2008
26.89/27.09	c GLOBAL bounds - >= 0 @ 26.5396
27.28/27.45	c GLOBAL bounds - >= 0 @ 26.905
27.48/27.66	c GLOBAL bounds - >= 0 @ 27.1067
27.88/28.04	c GLOBAL bounds - >= 0 @ 27.4837
28.18/28.39	c GLOBAL bounds - >= 0 @ 27.8311
28.58/28.74	c #Conflicts:      14000 | #Constraints:       8811
28.58/28.74	c GLOBAL bounds - >= 0 @ 28.173
28.78/28.95	c GLOBAL bounds - >= 0 @ 28.3839
29.17/29.32	c GLOBAL bounds - >= 0 @ 28.7558
29.78/29.98	c GLOBAL bounds - >= 0 @ 29.408
30.67/30.85	c #Conflicts:      15000 | #Constraints:       9819
30.67/30.85	c INPROCESSING
30.67/30.85	c GARBAGE COLLECT
30.67/30.85	c GLOBAL bounds - >= 0 @ 30.2526
31.27/31.43	c GLOBAL bounds - >= 0 @ 30.8245
31.57/31.79	c GLOBAL bounds - >= 0 @ 31.1733
32.17/32.38	c GLOBAL bounds - >= 0 @ 31.7621
32.47/32.61	c #Conflicts:      16000 | #Constraints:       8126
32.47/32.61	c GLOBAL bounds - >= 0 @ 31.9849
32.77/32.98	c GLOBAL bounds - >= 0 @ 32.3566
33.07/33.26	c GLOBAL bounds - >= 0 @ 32.6258
33.37/33.51	c GLOBAL bounds - >= 0 @ 32.8715
33.97/34.16	c #Conflicts:      17000 | #Constraints:       9134
33.97/34.16	c GLOBAL bounds - >= 0 @ 33.5146
34.96/35.15	c GLOBAL bounds - >= 0 @ 34.4986
35.26/35.45	c GLOBAL bounds - >= 0 @ 34.7878
35.76/35.95	c #Conflicts:      18000 | #Constraints:      10140
35.76/35.95	c GLOBAL bounds - >= 0 @ 35.2757
36.25/36.48	c INPROCESSING
36.25/36.48	c GARBAGE COLLECT
36.25/36.48	c GLOBAL bounds - >= 0 @ 35.8019
36.46/36.66	c GLOBAL bounds - >= 0 @ 35.9832
36.66/36.86	c GLOBAL bounds - >= 0 @ 36.1686
37.26/37.45	c #Conflicts:      19000 | #Constraints:       8134
37.26/37.45	c GLOBAL bounds - >= 0 @ 36.7611
41.74/41.94	c #Conflicts:      20000 | #Constraints:       9136
41.74/41.94	c GLOBAL bounds - >= 0 @ 41.2166
42.85/43.06	c #Conflicts:      21000 | #Constraints:      10138
42.85/43.06	c GLOBAL bounds - >= 0 @ 42.3274
71.66/71.99	c INPROCESSING
71.66/71.99	c GARBAGE COLLECT
71.66/71.99	c #Conflicts:      22000 | #Constraints:       7991
71.66/71.99	c #Conflicts:      23000 | #Constraints:       8991
71.66/71.99	c #Conflicts:      24000 | #Constraints:       9991
71.66/71.99	c #Conflicts:      25000 | #Constraints:      10991
71.66/71.99	c INPROCESSING
71.66/71.99	c GARBAGE COLLECT
71.66/71.99	c #Conflicts:      26000 | #Constraints:       8621
71.66/71.99	c #Conflicts:      27000 | #Constraints:       9621
71.66/71.99	c #Conflicts:      28000 | #Constraints:      10621
71.66/71.99	c #Conflicts:      29000 | #Constraints:      11621
71.66/71.99	c INPROCESSING
71.66/71.99	c GARBAGE COLLECT
71.66/71.99	c #Conflicts:      30000 | #Constraints:       9026
71.66/71.99	c #Conflicts:      31000 | #Constraints:      10026
71.66/71.99	c #Conflicts:      32000 | #Constraints:      11026
71.66/71.99	c #Conflicts:      33000 | #Constraints:      12026
71.66/71.99	c INPROCESSING
71.66/71.99	c GARBAGE COLLECT
71.66/71.99	c #Conflicts:      34000 | #Constraints:       9234
71.66/71.99	c #Conflicts:      35000 | #Constraints:      10234
71.66/71.99	c GLOBAL bounds - >= 0 @ 70.992
80.63/80.94	c #Conflicts:      36000 | #Constraints:      11236
80.63/80.94	c #Conflicts:      37000 | #Constraints:      12236
80.63/80.94	c INPROCESSING
80.63/80.94	c GARBAGE COLLECT
80.63/80.94	c #Conflicts:      38000 | #Constraints:       9246
80.63/80.94	c #Conflicts:      39000 | #Constraints:      10246
80.63/80.94	c GLOBAL bounds - >= 0 @ 79.8595
192.63/193.29	c #Conflicts:      40000 | #Constraints:      11248
192.63/193.29	c #Conflicts:      41000 | #Constraints:      12248
192.63/193.29	c INPROCESSING
192.63/193.29	c GARBAGE COLLECT
192.63/193.29	c #Conflicts:      42000 | #Constraints:       9061
192.63/193.29	c #Conflicts:      43000 | #Constraints:      10061
192.63/193.29	c #Conflicts:      44000 | #Constraints:      11061
192.63/193.29	c #Conflicts:      45000 | #Constraints:      12061
192.63/193.29	c #Conflicts:      46000 | #Constraints:      13061
192.63/193.29	c INPROCESSING
192.63/193.29	c GARBAGE COLLECT
192.63/193.29	c #Conflicts:      47000 | #Constraints:       9663
192.63/193.29	c #Conflicts:      48000 | #Constraints:      10663
192.63/193.29	c #Conflicts:      49000 | #Constraints:      11663
192.63/193.29	c #Conflicts:      50000 | #Constraints:      12663
192.63/193.29	c #Conflicts:      51000 | #Constraints:      13663
192.63/193.29	c INPROCESSING
192.63/193.29	c GARBAGE COLLECT
192.63/193.29	c #Conflicts:      52000 | #Constraints:      10055
192.63/193.29	c #Conflicts:      53000 | #Constraints:      11055
192.63/193.29	c #Conflicts:      54000 | #Constraints:      12055
192.63/193.29	c #Conflicts:      55000 | #Constraints:      13055
192.63/193.29	c #Conflicts:      56000 | #Constraints:      14055
192.63/193.29	c INPROCESSING
192.63/193.29	c GARBAGE COLLECT
192.63/193.29	c #Conflicts:      57000 | #Constraints:      10255
192.63/193.29	c #Conflicts:      58000 | #Constraints:      11255
192.63/193.29	c #Conflicts:      59000 | #Constraints:      12255
192.63/193.29	c #Conflicts:      60000 | #Constraints:      13255
192.63/193.29	c #Conflicts:      61000 | #Constraints:      14255
192.63/193.29	c INPROCESSING
192.63/193.29	c GARBAGE COLLECT
192.63/193.29	c #Conflicts:      62000 | #Constraints:      10242
192.63/193.29	c #Conflicts:      63000 | #Constraints:      11242
192.63/193.29	c #Conflicts:      64000 | #Constraints:      12242
192.63/193.29	c #Conflicts:      65000 | #Constraints:      13242
192.63/193.29	c #Conflicts:      66000 | #Constraints:      14242
192.63/193.29	c INPROCESSING
192.63/193.29	c GARBAGE COLLECT
192.63/193.29	c #Conflicts:      67000 | #Constraints:      10034
192.63/193.29	c #Conflicts:      68000 | #Constraints:      11034
192.63/193.29	c GLOBAL bounds - >= 0 @ 191.477
224.75/225.45	c #Conflicts:      69000 | #Constraints:      12036
224.75/225.45	c #Conflicts:      70000 | #Constraints:      13036
224.75/225.45	c #Conflicts:      71000 | #Constraints:      14036
224.75/225.45	c #Conflicts:      72000 | #Constraints:      15036
224.75/225.45	c INPROCESSING
224.75/225.45	c GARBAGE COLLECT
224.75/225.45	c #Conflicts:      73000 | #Constraints:      10644
224.75/225.45	c #Conflicts:      74000 | #Constraints:      11644
224.75/225.45	c #Conflicts:      75000 | #Constraints:      12644
224.75/225.45	c #Conflicts:      76000 | #Constraints:      13644
224.75/225.45	c GLOBAL bounds - >= 0 @ 223.429
227.14/227.80	c #Conflicts:      77000 | #Constraints:      14646
227.14/227.80	c #Conflicts:      78000 | #Constraints:      15646
227.14/227.80	c INPROCESSING
227.14/227.80	c GARBAGE COLLECT
227.14/227.80	c GLOBAL bounds - >= 0 @ 225.743
230.34/231.09	c #Conflicts:      79000 | #Constraints:      11041
230.34/231.09	c #Conflicts:      80000 | #Constraints:      12041
230.34/231.09	c GLOBAL bounds - >= 0 @ 229.007
361.37/362.49	c #Conflicts:      81000 | #Constraints:      13043
361.37/362.49	c #Conflicts:      82000 | #Constraints:      14043
361.37/362.49	c #Conflicts:      83000 | #Constraints:      15043
361.37/362.49	c #Conflicts:      84000 | #Constraints:      16043
361.37/362.49	c INPROCESSING
361.37/362.49	c GARBAGE COLLECT
361.37/362.49	c #Conflicts:      85000 | #Constraints:      11256
361.37/362.49	c #Conflicts:      86000 | #Constraints:      12256
361.37/362.49	c #Conflicts:      87000 | #Constraints:      13256
361.37/362.49	c #Conflicts:      88000 | #Constraints:      14256
361.37/362.49	c #Conflicts:      89000 | #Constraints:      15256
361.37/362.49	c #Conflicts:      90000 | #Constraints:      16256
361.37/362.49	c INPROCESSING
361.37/362.49	c GARBAGE COLLECT
361.37/362.49	c #Conflicts:      91000 | #Constraints:      11264
361.37/362.49	c #Conflicts:      92000 | #Constraints:      12264
361.37/362.49	c #Conflicts:      93000 | #Constraints:      13264
361.37/362.49	c #Conflicts:      94000 | #Constraints:      14264
361.37/362.49	c #Conflicts:      95000 | #Constraints:      15264
361.37/362.49	c #Conflicts:      96000 | #Constraints:      16264
361.37/362.49	c INPROCESSING
361.37/362.49	c GARBAGE COLLECT
361.37/362.49	c #Conflicts:      97000 | #Constraints:      11066
361.37/362.49	c #Conflicts:      98000 | #Constraints:      12066
361.37/362.49	c #Conflicts:      99000 | #Constraints:      13066
361.37/362.49	c #Conflicts:     100000 | #Constraints:      14066
361.37/362.49	c #Conflicts:     101000 | #Constraints:      15066
361.37/362.49	c #Conflicts:     102000 | #Constraints:      16066
361.37/362.49	c #Conflicts:     103000 | #Constraints:      17066
361.37/362.49	c INPROCESSING
361.37/362.49	c GARBAGE COLLECT
361.37/362.49	c #Conflicts:     104000 | #Constraints:      11664
361.37/362.49	c #Conflicts:     105000 | #Constraints:      12664
361.37/362.49	c #Conflicts:     106000 | #Constraints:      13664
361.37/362.49	c #Conflicts:     107000 | #Constraints:      14664
361.37/362.49	c #Conflicts:     108000 | #Constraints:      15664
361.37/362.49	c #Conflicts:     109000 | #Constraints:      16664
361.37/362.49	c #Conflicts:     110000 | #Constraints:      17664
361.37/362.49	c INPROCESSING
361.37/362.49	c GARBAGE COLLECT
361.37/362.49	c #Conflicts:     111000 | #Constraints:      12053
361.37/362.49	c #Conflicts:     112000 | #Constraints:      13053
361.37/362.49	c #Conflicts:     113000 | #Constraints:      14053
361.37/362.49	c #Conflicts:     114000 | #Constraints:      15053
361.37/362.49	c #Conflicts:     115000 | #Constraints:      16053
361.37/362.49	c #Conflicts:     116000 | #Constraints:      17053
361.37/362.49	c #Conflicts:     117000 | #Constraints:      18053
361.37/362.49	c INPROCESSING
361.37/362.49	c GARBAGE COLLECT
361.37/362.49	c #Conflicts:     118000 | #Constraints:      12244
361.37/362.49	c #Conflicts:     119000 | #Constraints:      13244
361.37/362.49	c #Conflicts:     120000 | #Constraints:      14244
361.37/362.49	c #Conflicts:     121000 | #Constraints:      15244
361.37/362.49	c #Conflicts:     122000 | #Constraints:      16244
361.37/362.49	c GLOBAL bounds - >= 0 @ 359.482
408.94/410.16	c #Conflicts:     123000 | #Constraints:      17246
408.94/410.16	c #Conflicts:     124000 | #Constraints:      18246
408.94/410.16	c INPROCESSING
408.94/410.16	c GARBAGE COLLECT
408.94/410.16	c #Conflicts:     125000 | #Constraints:      12270
408.94/410.16	c #Conflicts:     126000 | #Constraints:      13270
408.94/410.16	c #Conflicts:     127000 | #Constraints:      14270
408.94/410.16	c #Conflicts:     128000 | #Constraints:      15270
408.94/410.16	c #Conflicts:     129000 | #Constraints:      16270
408.94/410.16	c #Conflicts:     130000 | #Constraints:      17270
408.94/410.16	c #Conflicts:     131000 | #Constraints:      18270
408.94/410.16	c INPROCESSING
408.94/410.16	c GARBAGE COLLECT
408.94/410.16	c #Conflicts:     132000 | #Constraints:      12071
408.94/410.16	c #Conflicts:     133000 | #Constraints:      13071
408.94/410.16	c #Conflicts:     134000 | #Constraints:      14071
408.94/410.16	c #Conflicts:     135000 | #Constraints:      15071
408.94/410.16	c GLOBAL bounds - >= 0 @ 406.797
463.69/465.05	c #Conflicts:     136000 | #Constraints:      16073
463.69/465.05	c #Conflicts:     137000 | #Constraints:      17073
463.69/465.05	c #Conflicts:     138000 | #Constraints:      18073
463.69/465.05	c #Conflicts:     139000 | #Constraints:      19073
463.69/465.05	c INPROCESSING
463.69/465.05	c GARBAGE COLLECT
463.69/465.05	c #Conflicts:     140000 | #Constraints:      12690
463.69/465.05	c #Conflicts:     141000 | #Constraints:      13690
463.69/465.05	c #Conflicts:     142000 | #Constraints:      14690
463.69/465.05	c #Conflicts:     143000 | #Constraints:      15690
463.69/465.05	c #Conflicts:     144000 | #Constraints:      16690
463.69/465.05	c #Conflicts:     145000 | #Constraints:      17690
463.69/465.05	c #Conflicts:     146000 | #Constraints:      18690
463.69/465.05	c #Conflicts:     147000 | #Constraints:      19690
463.69/465.05	c INPROCESSING
463.69/465.05	c GARBAGE COLLECT
463.69/465.05	c #Conflicts:     148000 | #Constraints:      13085
463.69/465.05	c #Conflicts:     149000 | #Constraints:      14085
463.69/465.05	c #Conflicts:     150000 | #Constraints:      15085
463.69/465.05	c #Conflicts:     151000 | #Constraints:      16085
463.69/465.05	c GLOBAL bounds - >= 0 @ 461.306
489.51/490.90	c #Conflicts:     152000 | #Constraints:      17087
489.51/490.90	c #Conflicts:     153000 | #Constraints:      18087
489.51/490.90	c #Conflicts:     154000 | #Constraints:      19087
489.51/490.90	c #Conflicts:     155000 | #Constraints:      20087
489.51/490.90	c INPROCESSING
489.51/490.90	c GARBAGE COLLECT
489.51/490.90	c GLOBAL bounds - >= 0 @ 486.996
729.08/731.11	c #Conflicts:     156000 | #Constraints:      13278
729.08/731.11	c #Conflicts:     157000 | #Constraints:      14278
729.08/731.11	c #Conflicts:     158000 | #Constraints:      15278
729.08/731.11	c #Conflicts:     159000 | #Constraints:      16278
729.08/731.11	c #Conflicts:     160000 | #Constraints:      17278
729.08/731.11	c #Conflicts:     161000 | #Constraints:      18278
729.08/731.11	c #Conflicts:     162000 | #Constraints:      19278
729.08/731.11	c #Conflicts:     163000 | #Constraints:      20278
729.08/731.11	c INPROCESSING
729.08/731.11	c GARBAGE COLLECT
729.08/731.11	c #Conflicts:     164000 | #Constraints:      13272
729.08/731.11	c #Conflicts:     165000 | #Constraints:      14272
729.08/731.11	c #Conflicts:     166000 | #Constraints:      15272
729.08/731.11	c #Conflicts:     167000 | #Constraints:      16272
729.08/731.11	c #Conflicts:     168000 | #Constraints:      17272
729.08/731.11	c #Conflicts:     169000 | #Constraints:      18272
729.08/731.11	c #Conflicts:     170000 | #Constraints:      19272
729.08/731.11	c #Conflicts:     171000 | #Constraints:      20272
729.08/731.11	c INPROCESSING
729.08/731.11	c GARBAGE COLLECT
729.08/731.11	c #Conflicts:     172000 | #Constraints:      13074
729.08/731.11	c #Conflicts:     173000 | #Constraints:      14074
729.08/731.11	c #Conflicts:     174000 | #Constraints:      15074
729.08/731.11	c #Conflicts:     175000 | #Constraints:      16074
729.08/731.11	c #Conflicts:     176000 | #Constraints:      17074
729.08/731.11	c #Conflicts:     177000 | #Constraints:      18074
729.08/731.11	c #Conflicts:     178000 | #Constraints:      19074
729.08/731.11	c #Conflicts:     179000 | #Constraints:      20074
729.08/731.11	c #Conflicts:     180000 | #Constraints:      21074
729.08/731.11	c INPROCESSING
729.08/731.11	c GARBAGE COLLECT
729.08/731.11	c #Conflicts:     181000 | #Constraints:      13663
729.08/731.11	c #Conflicts:     182000 | #Constraints:      14663
729.08/731.11	c #Conflicts:     183000 | #Constraints:      15663
729.08/731.11	c #Conflicts:     184000 | #Constraints:      16663
729.08/731.11	c #Conflicts:     185000 | #Constraints:      17663
729.08/731.11	c #Conflicts:     186000 | #Constraints:      18663
729.08/731.11	c #Conflicts:     187000 | #Constraints:      19663
729.08/731.11	c #Conflicts:     188000 | #Constraints:      20663
729.08/731.11	c #Conflicts:     189000 | #Constraints:      21663
729.08/731.11	c INPROCESSING
729.08/731.11	c GARBAGE COLLECT
729.08/731.11	c #Conflicts:     190000 | #Constraints:      14069
729.08/731.11	c #Conflicts:     191000 | #Constraints:      15069
729.08/731.11	c #Conflicts:     192000 | #Constraints:      16069
729.08/731.11	c #Conflicts:     193000 | #Constraints:      17069
729.08/731.11	c #Conflicts:     194000 | #Constraints:      18069
729.08/731.11	c #Conflicts:     195000 | #Constraints:      19069
729.08/731.11	c #Conflicts:     196000 | #Constraints:      20069
729.08/731.11	c #Conflicts:     197000 | #Constraints:      21069
729.08/731.11	c #Conflicts:     198000 | #Constraints:      22069
729.08/731.11	c INPROCESSING
729.08/731.11	c GARBAGE COLLECT
729.08/731.11	c #Conflicts:     199000 | #Constraints:      14264
729.08/731.11	c #Conflicts:     200000 | #Constraints:      15264
729.08/731.11	c #Conflicts:     201000 | #Constraints:      16264
729.08/731.11	c #Conflicts:     202000 | #Constraints:      17264
729.08/731.11	c #Conflicts:     203000 | #Constraints:      18264
729.08/731.11	c #Conflicts:     204000 | #Constraints:      19264
729.08/731.11	c #Conflicts:     205000 | #Constraints:      20264
729.08/731.11	c #Conflicts:     206000 | #Constraints:      21264
729.08/731.11	c #Conflicts:     207000 | #Constraints:      22264
729.08/731.11	c INPROCESSING
729.08/731.11	c GARBAGE COLLECT
729.08/731.11	c GLOBAL bounds - >= 0 @ 725.805
739.64/741.75	c #Conflicts:     208000 | #Constraints:      14263
739.64/741.75	c #Conflicts:     209000 | #Constraints:      15263
739.64/741.75	c #Conflicts:     210000 | #Constraints:      16263
739.64/741.75	c GLOBAL bounds - >= 0 @ 736.384
812.25/814.58	c #Conflicts:     211000 | #Constraints:      17265
812.25/814.58	c #Conflicts:     212000 | #Constraints:      18265
812.25/814.58	c #Conflicts:     213000 | #Constraints:      19265
812.25/814.58	c #Conflicts:     214000 | #Constraints:      20265
812.25/814.58	c #Conflicts:     215000 | #Constraints:      21265
812.25/814.58	c #Conflicts:     216000 | #Constraints:      22265
812.25/814.58	c INPROCESSING
812.25/814.58	c GARBAGE COLLECT
812.25/814.58	c #Conflicts:     217000 | #Constraints:      14074
812.25/814.58	c #Conflicts:     218000 | #Constraints:      15074
812.25/814.58	c #Conflicts:     219000 | #Constraints:      16074
812.25/814.58	c #Conflicts:     220000 | #Constraints:      17074
812.25/814.58	c #Conflicts:     221000 | #Constraints:      18074
812.25/814.58	c #Conflicts:     222000 | #Constraints:      19074
812.25/814.58	c #Conflicts:     223000 | #Constraints:      20074
812.25/814.58	c #Conflicts:     224000 | #Constraints:      21074
812.25/814.58	c #Conflicts:     225000 | #Constraints:      22074
812.25/814.58	c #Conflicts:     226000 | #Constraints:      23074
812.25/814.58	c INPROCESSING
812.25/814.58	c GARBAGE COLLECT
812.25/814.58	c #Conflicts:     227000 | #Constraints:      14666
812.25/814.58	c #Conflicts:     228000 | #Constraints:      15666
812.25/814.58	c GLOBAL bounds - >= 0 @ 808.796
1264.04/1267.57	c #Conflicts:     229000 | #Constraints:      16668
1264.04/1267.57	c #Conflicts:     230000 | #Constraints:      17668
1264.04/1267.57	c #Conflicts:     231000 | #Constraints:      18668
1264.04/1267.57	c #Conflicts:     232000 | #Constraints:      19668
1264.04/1267.57	c #Conflicts:     233000 | #Constraints:      20668
1264.04/1267.57	c #Conflicts:     234000 | #Constraints:      21668
1264.04/1267.57	c #Conflicts:     235000 | #Constraints:      22668
1264.04/1267.57	c #Conflicts:     236000 | #Constraints:      23668
1264.04/1267.57	c INPROCESSING
1264.04/1267.57	c GARBAGE COLLECT
1264.04/1267.57	c #Conflicts:     237000 | #Constraints:      15070
1264.04/1267.57	c #Conflicts:     238000 | #Constraints:      16070
1264.04/1267.57	c #Conflicts:     239000 | #Constraints:      17070
1264.04/1267.57	c #Conflicts:     240000 | #Constraints:      18070
1264.04/1267.57	c #Conflicts:     241000 | #Constraints:      19070
1264.04/1267.57	c #Conflicts:     242000 | #Constraints:      20070
1264.04/1267.57	c #Conflicts:     243000 | #Constraints:      21070
1264.04/1267.57	c #Conflicts:     244000 | #Constraints:      22070
1264.04/1267.57	c #Conflicts:     245000 | #Constraints:      23070
1264.04/1267.57	c #Conflicts:     246000 | #Constraints:      24070
1264.04/1267.57	c INPROCESSING
1264.04/1267.57	c GARBAGE COLLECT
1264.04/1267.57	c #Conflicts:     247000 | #Constraints:      15276
1264.04/1267.57	c #Conflicts:     248000 | #Constraints:      16276
1264.04/1267.57	c #Conflicts:     249000 | #Constraints:      17276
1264.04/1267.57	c #Conflicts:     250000 | #Constraints:      18276
1264.04/1267.57	c #Conflicts:     251000 | #Constraints:      19276
1264.04/1267.57	c #Conflicts:     252000 | #Constraints:      20276
1264.04/1267.57	c #Conflicts:     253000 | #Constraints:      21276
1264.04/1267.57	c #Conflicts:     254000 | #Constraints:      22276
1264.04/1267.57	c #Conflicts:     255000 | #Constraints:      23276
1264.04/1267.57	c #Conflicts:     256000 | #Constraints:      24276
1264.04/1267.57	c INPROCESSING
1264.04/1267.57	c GARBAGE COLLECT
1264.04/1267.57	c #Conflicts:     257000 | #Constraints:      15275
1264.04/1267.57	c #Conflicts:     258000 | #Constraints:      16275
1264.04/1267.57	c #Conflicts:     259000 | #Constraints:      17275
1264.04/1267.57	c #Conflicts:     260000 | #Constraints:      18275
1264.04/1267.57	c #Conflicts:     261000 | #Constraints:      19275
1264.04/1267.57	c #Conflicts:     262000 | #Constraints:      20275
1264.04/1267.57	c #Conflicts:     263000 | #Constraints:      21275
1264.04/1267.57	c #Conflicts:     264000 | #Constraints:      22275
1264.04/1267.57	c #Conflicts:     265000 | #Constraints:      23275
1264.04/1267.57	c #Conflicts:     266000 | #Constraints:      24275
1264.04/1267.57	c INPROCESSING
1264.04/1267.57	c GARBAGE COLLECT
1264.04/1267.57	c #Conflicts:     267000 | #Constraints:      15068
1264.04/1267.57	c #Conflicts:     268000 | #Constraints:      16068
1264.04/1267.57	c #Conflicts:     269000 | #Constraints:      17068
1264.04/1267.57	c #Conflicts:     270000 | #Constraints:      18068
1264.04/1267.57	c #Conflicts:     271000 | #Constraints:      19068
1264.04/1267.57	c #Conflicts:     272000 | #Constraints:      20068
1264.04/1267.57	c #Conflicts:     273000 | #Constraints:      21068
1264.04/1267.57	c #Conflicts:     274000 | #Constraints:      22068
1264.04/1267.57	c #Conflicts:     275000 | #Constraints:      23068
1264.04/1267.57	c #Conflicts:     276000 | #Constraints:      24068
1264.04/1267.57	c #Conflicts:     277000 | #Constraints:      25068
1264.04/1267.57	c INPROCESSING
1264.04/1267.57	c GARBAGE COLLECT
1264.04/1267.57	c #Conflicts:     278000 | #Constraints:      15681
1264.04/1267.57	c #Conflicts:     279000 | #Constraints:      16681
1264.04/1267.57	c #Conflicts:     280000 | #Constraints:      17681
1264.04/1267.57	c #Conflicts:     281000 | #Constraints:      18681
1264.04/1267.57	c #Conflicts:     282000 | #Constraints:      19681
1264.04/1267.57	c #Conflicts:     283000 | #Constraints:      20681
1264.04/1267.57	c #Conflicts:     284000 | #Constraints:      21681
1264.04/1267.57	c #Conflicts:     285000 | #Constraints:      22681
1264.04/1267.57	c #Conflicts:     286000 | #Constraints:      23681
1264.04/1267.57	c #Conflicts:     287000 | #Constraints:      24681
1264.04/1267.57	c #Conflicts:     288000 | #Constraints:      25681
1264.04/1267.57	c INPROCESSING
1264.04/1267.57	c GARBAGE COLLECT
1264.04/1267.57	c #Conflicts:     289000 | #Constraints:      16074
1264.04/1267.57	c #Conflicts:     290000 | #Constraints:      17074
1264.04/1267.57	c #Conflicts:     291000 | #Constraints:      18074
1264.04/1267.57	c #Conflicts:     292000 | #Constraints:      19074
1264.04/1267.57	c #Conflicts:     293000 | #Constraints:      20074
1264.04/1267.57	c #Conflicts:     294000 | #Constraints:      21074
1264.04/1267.57	c #Conflicts:     295000 | #Constraints:      22074
1264.04/1267.57	c #Conflicts:     296000 | #Constraints:      23074
1264.04/1267.57	c #Conflicts:     297000 | #Constraints:      24074
1264.04/1267.57	c #Conflicts:     298000 | #Constraints:      25074
1264.04/1267.57	c #Conflicts:     299000 | #Constraints:      26074
1264.04/1267.57	c INPROCESSING
1264.04/1267.57	c GARBAGE COLLECT
1264.04/1267.57	c #Conflicts:     300000 | #Constraints:      16264
1264.04/1267.57	c #Conflicts:     301000 | #Constraints:      17264
1264.04/1267.57	c #Conflicts:     302000 | #Constraints:      18264
1264.04/1267.57	c #Conflicts:     303000 | #Constraints:      19264
1820.56/1825.52	c #Conflicts:     304000 | #Constraints:      20264
1820.56/1825.52	c #Conflicts:     305000 | #Constraints:      21264
1820.56/1825.52	c #Conflicts:     306000 | #Constraints:      22264
1820.56/1825.52	c #Conflicts:     307000 | #Constraints:      23264
1820.56/1825.52	c #Conflicts:     308000 | #Constraints:      24264
1820.56/1825.52	c #Conflicts:     309000 | #Constraints:      25264
1820.56/1825.52	c #Conflicts:     310000 | #Constraints:      26264
1820.56/1825.52	c INPROCESSING
1820.56/1825.52	c GARBAGE COLLECT
1820.56/1825.52	c #Conflicts:     311000 | #Constraints:      16263
1820.56/1825.52	c #Conflicts:     312000 | #Constraints:      17263
1820.56/1825.52	c #Conflicts:     313000 | #Constraints:      18263
1820.56/1825.52	c #Conflicts:     314000 | #Constraints:      19263
1820.56/1825.52	c #Conflicts:     315000 | #Constraints:      20263
1820.56/1825.52	c #Conflicts:     316000 | #Constraints:      21263
1820.56/1825.52	c #Conflicts:     317000 | #Constraints:      22263
1820.56/1825.52	c #Conflicts:     318000 | #Constraints:      23263
1820.56/1825.52	c #Conflicts:     319000 | #Constraints:      24263
1820.56/1825.52	c #Conflicts:     320000 | #Constraints:      25263
1820.56/1825.52	c #Conflicts:     321000 | #Constraints:      26263
1820.56/1825.52	c INPROCESSING
1820.56/1825.52	c GARBAGE COLLECT
1820.56/1825.52	c #Conflicts:     322000 | #Constraints:      16056
1820.56/1825.52	c #Conflicts:     323000 | #Constraints:      17056
1820.56/1825.52	c #Conflicts:     324000 | #Constraints:      18056
1820.56/1825.52	c #Conflicts:     325000 | #Constraints:      19056
1820.56/1825.52	c #Conflicts:     326000 | #Constraints:      20056
1820.56/1825.52	c #Conflicts:     327000 | #Constraints:      21056
1820.56/1825.52	c #Conflicts:     328000 | #Constraints:      22056
1820.56/1825.52	c #Conflicts:     329000 | #Constraints:      23056
1820.56/1825.52	c #Conflicts:     330000 | #Constraints:      24056
1820.56/1825.52	c #Conflicts:     331000 | #Constraints:      25056
1820.56/1825.52	c #Conflicts:     332000 | #Constraints:      26056
1820.56/1825.52	c #Conflicts:     333000 | #Constraints:      27056
1820.56/1825.52	c INPROCESSING
1820.56/1825.52	c GARBAGE COLLECT
1820.56/1825.52	c #Conflicts:     334000 | #Constraints:      16647
1820.56/1825.52	c #Conflicts:     335000 | #Constraints:      17647
1820.56/1825.52	c #Conflicts:     336000 | #Constraints:      18647
1820.56/1825.52	c #Conflicts:     337000 | #Constraints:      19647
1820.56/1825.52	c #Conflicts:     338000 | #Constraints:      20647
1820.56/1825.52	c #Conflicts:     339000 | #Constraints:      21647
1820.56/1825.52	c #Conflicts:     340000 | #Constraints:      22647
1820.56/1825.52	c #Conflicts:     341000 | #Constraints:      23647
1820.56/1825.52	c #Conflicts:     342000 | #Constraints:      24647
1820.56/1825.52	c #Conflicts:     343000 | #Constraints:      25647
1820.56/1825.52	c #Conflicts:     344000 | #Constraints:      26647
1820.56/1825.52	c #Conflicts:     345000 | #Constraints:      27647
1820.56/1825.52	c INPROCESSING
1820.56/1825.52	c GARBAGE COLLECT
1820.56/1825.52	c #Conflicts:     346000 | #Constraints:      17058
1820.56/1825.52	c #Conflicts:     347000 | #Constraints:      18058
1820.56/1825.52	c #Conflicts:     348000 | #Constraints:      19058
1820.56/1825.52	c #Conflicts:     349000 | #Constraints:      20058
1820.56/1825.52	c #Conflicts:     350000 | #Constraints:      21058
1820.56/1825.52	c #Conflicts:     351000 | #Constraints:      22058
1820.56/1825.52	c #Conflicts:     352000 | #Constraints:      23058
1820.56/1825.52	c #Conflicts:     353000 | #Constraints:      24058
1820.56/1825.52	c #Conflicts:     354000 | #Constraints:      25058
1820.56/1825.52	c #Conflicts:     355000 | #Constraints:      26058
1820.56/1825.52	c #Conflicts:     356000 | #Constraints:      27058
1820.56/1825.52	c #Conflicts:     357000 | #Constraints:      28058
1820.56/1825.52	c INPROCESSING
1820.56/1825.52	c GARBAGE COLLECT
1820.56/1825.52	c #Conflicts:     358000 | #Constraints:      17249
1820.56/1825.52	c #Conflicts:     359000 | #Constraints:      18249
1820.56/1825.52	c #Conflicts:     360000 | #Constraints:      19249
1820.56/1825.52	c #Conflicts:     361000 | #Constraints:      20249
1820.56/1825.52	c #Conflicts:     362000 | #Constraints:      21249
1820.56/1825.52	c #Conflicts:     363000 | #Constraints:      22249
1820.56/1825.52	c #Conflicts:     364000 | #Constraints:      23249
1820.56/1825.52	c #Conflicts:     365000 | #Constraints:      24249
1820.56/1825.52	c #Conflicts:     366000 | #Constraints:      25249
1820.56/1825.52	c #Conflicts:     367000 | #Constraints:      26249
1820.56/1825.52	c #Conflicts:     368000 | #Constraints:      27249
1820.56/1825.52	c #Conflicts:     369000 | #Constraints:      28249
1820.56/1825.52	c INPROCESSING
1820.56/1825.52	c GARBAGE COLLECT
1820.56/1825.52	c #Conflicts:     370000 | #Constraints:      17248
1820.56/1825.52	c #Conflicts:     371000 | #Constraints:      18248
1820.56/1825.52	c #Conflicts:     372000 | #Constraints:      19248
1820.56/1825.52	c #Conflicts:     373000 | #Constraints:      20248
1820.56/1825.52	c #Conflicts:     374000 | #Constraints:      21248
1820.56/1825.52	c #Conflicts:     375000 | #Constraints:      22248
1820.56/1825.52	c #Conflicts:     376000 | #Constraints:      23248
1820.56/1825.52	c #Conflicts:     377000 | #Constraints:      24248
1820.56/1825.52	c #Conflicts:     378000 | #Constraints:      25248
2214.31/2220.41	c #Conflicts:     379000 | #Constraints:      26248
2214.31/2220.41	c #Conflicts:     380000 | #Constraints:      27248
2214.31/2220.41	c #Conflicts:     381000 | #Constraints:      28248
2214.31/2220.41	c INPROCESSING
2214.31/2220.41	c GARBAGE COLLECT
2214.31/2220.41	c #Conflicts:     382000 | #Constraints:      17053
2214.31/2220.41	c #Conflicts:     383000 | #Constraints:      18053
2214.31/2220.41	c #Conflicts:     384000 | #Constraints:      19053
2214.31/2220.41	c #Conflicts:     385000 | #Constraints:      20053
2214.31/2220.41	c #Conflicts:     386000 | #Constraints:      21053
2214.31/2220.41	c #Conflicts:     387000 | #Constraints:      22053
2214.31/2220.41	c #Conflicts:     388000 | #Constraints:      23053
2214.31/2220.41	c #Conflicts:     389000 | #Constraints:      24053
2214.31/2220.41	c #Conflicts:     390000 | #Constraints:      25053
2214.31/2220.41	c #Conflicts:     391000 | #Constraints:      26053
2214.31/2220.41	c #Conflicts:     392000 | #Constraints:      27053
2214.31/2220.41	c #Conflicts:     393000 | #Constraints:      28053
2214.31/2220.41	c #Conflicts:     394000 | #Constraints:      29053
2214.31/2220.41	c INPROCESSING
2214.31/2220.41	c GARBAGE COLLECT
2214.31/2220.41	c #Conflicts:     395000 | #Constraints:      17634
2214.31/2220.41	c #Conflicts:     396000 | #Constraints:      18634
2214.31/2220.41	c #Conflicts:     397000 | #Constraints:      19634
2214.31/2220.41	c #Conflicts:     398000 | #Constraints:      20634
2214.31/2220.41	c #Conflicts:     399000 | #Constraints:      21634
2214.31/2220.41	c #Conflicts:     400000 | #Constraints:      22634
2214.31/2220.41	c #Conflicts:     401000 | #Constraints:      23634
2214.31/2220.41	c #Conflicts:     402000 | #Constraints:      24634
2214.31/2220.41	c #Conflicts:     403000 | #Constraints:      25634
2214.31/2220.41	c #Conflicts:     404000 | #Constraints:      26634
2214.31/2220.41	c #Conflicts:     405000 | #Constraints:      27634
2214.31/2220.41	c #Conflicts:     406000 | #Constraints:      28634
2214.31/2220.41	c #Conflicts:     407000 | #Constraints:      29634
2214.31/2220.41	c INPROCESSING
2214.31/2220.41	c GARBAGE COLLECT
2214.31/2220.41	c #Conflicts:     408000 | #Constraints:      18029
2214.31/2220.41	c #Conflicts:     409000 | #Constraints:      19029
2214.31/2220.41	c #Conflicts:     410000 | #Constraints:      20029
2214.31/2220.41	c #Conflicts:     411000 | #Constraints:      21029
2214.31/2220.41	c #Conflicts:     412000 | #Constraints:      22029
2214.31/2220.41	c #Conflicts:     413000 | #Constraints:      23029
2214.31/2220.41	c #Conflicts:     414000 | #Constraints:      24029
2214.31/2220.41	c #Conflicts:     415000 | #Constraints:      25029
2214.31/2220.41	c #Conflicts:     416000 | #Constraints:      26029
2214.31/2220.41	c #Conflicts:     417000 | #Constraints:      27029
2214.31/2220.41	c #Conflicts:     418000 | #Constraints:      28029
2214.31/2220.41	c #Conflicts:     419000 | #Constraints:      29029
2214.31/2220.41	c #Conflicts:     420000 | #Constraints:      30029
2214.31/2220.41	c INPROCESSING
2214.31/2220.41	c GARBAGE COLLECT
2214.31/2220.41	c #Conflicts:     421000 | #Constraints:      18238
2214.31/2220.41	c #Conflicts:     422000 | #Constraints:      19238
2214.31/2220.41	c #Conflicts:     423000 | #Constraints:      20238
2214.31/2220.41	c #Conflicts:     424000 | #Constraints:      21238
2214.31/2220.41	c #Conflicts:     425000 | #Constraints:      22238
2214.31/2220.41	c #Conflicts:     426000 | #Constraints:      23238
2214.31/2220.41	c #Conflicts:     427000 | #Constraints:      24238
2214.31/2220.41	c #Conflicts:     428000 | #Constraints:      25238
2214.31/2220.41	c GLOBAL bounds - >= 0 @ 2207.67
2660.49/2667.99	c #Conflicts:     429000 | #Constraints:      26240
2660.49/2667.99	c #Conflicts:     430000 | #Constraints:      27240
2660.49/2667.99	c #Conflicts:     431000 | #Constraints:      28240
2660.49/2667.99	c #Conflicts:     432000 | #Constraints:      29240
2660.49/2667.99	c #Conflicts:     433000 | #Constraints:      30240
2660.49/2667.99	c INPROCESSING
2660.49/2667.99	c GARBAGE COLLECT
2660.49/2667.99	c #Conflicts:     434000 | #Constraints:      18266
2660.49/2667.99	c #Conflicts:     435000 | #Constraints:      19266
2660.49/2667.99	c #Conflicts:     436000 | #Constraints:      20266
2660.49/2667.99	c #Conflicts:     437000 | #Constraints:      21266
2660.49/2667.99	c #Conflicts:     438000 | #Constraints:      22266
2660.49/2667.99	c #Conflicts:     439000 | #Constraints:      23266
2660.49/2667.99	c #Conflicts:     440000 | #Constraints:      24266
2660.49/2667.99	c #Conflicts:     441000 | #Constraints:      25266
2660.49/2667.99	c #Conflicts:     442000 | #Constraints:      26266
2660.49/2667.99	c #Conflicts:     443000 | #Constraints:      27266
2660.49/2667.99	c #Conflicts:     444000 | #Constraints:      28266
2660.49/2667.99	c #Conflicts:     445000 | #Constraints:      29266
2660.49/2667.99	c #Conflicts:     446000 | #Constraints:      30266
2660.49/2667.99	c INPROCESSING
2660.49/2667.99	c GARBAGE COLLECT
2660.49/2667.99	c #Conflicts:     447000 | #Constraints:      18084
2660.49/2667.99	c #Conflicts:     448000 | #Constraints:      19084
2660.49/2667.99	c #Conflicts:     449000 | #Constraints:      20084
2660.49/2667.99	c #Conflicts:     450000 | #Constraints:      21084
2660.49/2667.99	c #Conflicts:     451000 | #Constraints:      22084
2660.49/2667.99	c #Conflicts:     452000 | #Constraints:      23084
2660.49/2667.99	c #Conflicts:     453000 | #Constraints:      24084
2660.49/2667.99	c #Conflicts:     454000 | #Constraints:      25084
2660.49/2667.99	c #Conflicts:     455000 | #Constraints:      26084
2660.49/2667.99	c #Conflicts:     456000 | #Constraints:      27084
2660.49/2667.99	c #Conflicts:     457000 | #Constraints:      28084
2660.49/2667.99	c #Conflicts:     458000 | #Constraints:      29084
2660.49/2667.99	c #Conflicts:     459000 | #Constraints:      30084
2660.49/2667.99	c #Conflicts:     460000 | #Constraints:      31084
2660.49/2667.99	c INPROCESSING
2660.49/2667.99	c GARBAGE COLLECT
2660.49/2667.99	c #Conflicts:     461000 | #Constraints:      18680
2660.49/2667.99	c #Conflicts:     462000 | #Constraints:      19680
2660.49/2667.99	c #Conflicts:     463000 | #Constraints:      20680
2660.49/2667.99	c #Conflicts:     464000 | #Constraints:      21680
2660.49/2667.99	c #Conflicts:     465000 | #Constraints:      22680
2660.49/2667.99	c #Conflicts:     466000 | #Constraints:      23680
2660.49/2667.99	c #Conflicts:     467000 | #Constraints:      24680
2660.49/2667.99	c #Conflicts:     468000 | #Constraints:      25680
2660.49/2667.99	c #Conflicts:     469000 | #Constraints:      26680
2660.49/2667.99	c #Conflicts:     470000 | #Constraints:      27680
2660.49/2667.99	c #Conflicts:     471000 | #Constraints:      28680
2660.49/2667.99	c #Conflicts:     472000 | #Constraints:      29680
2660.49/2667.99	c #Conflicts:     473000 | #Constraints:      30680
2660.49/2667.99	c #Conflicts:     474000 | #Constraints:      31680
2660.49/2667.99	c INPROCESSING
2660.49/2667.99	c GARBAGE COLLECT
2660.49/2667.99	c #Conflicts:     475000 | #Constraints:      19093
2660.49/2667.99	c #Conflicts:     476000 | #Constraints:      20093
2660.49/2667.99	c #Conflicts:     477000 | #Constraints:      21093
2660.49/2667.99	c #Conflicts:     478000 | #Constraints:      22093
2660.49/2667.99	c #Conflicts:     479000 | #Constraints:      23093
2660.49/2667.99	c #Conflicts:     480000 | #Constraints:      24093
2660.49/2667.99	c #Conflicts:     481000 | #Constraints:      25093
2660.49/2667.99	c #Conflicts:     482000 | #Constraints:      26093
2660.49/2667.99	c #Conflicts:     483000 | #Constraints:      27093
2660.49/2667.99	c #Conflicts:     484000 | #Constraints:      28093
2660.49/2667.99	c #Conflicts:     485000 | #Constraints:      29093
2660.49/2667.99	c #Conflicts:     486000 | #Constraints:      30093
2660.49/2667.99	c #Conflicts:     487000 | #Constraints:      31093
2660.49/2667.99	c #Conflicts:     488000 | #Constraints:      32093
2660.49/2667.99	c INPROCESSING
2660.49/2667.99	c GARBAGE COLLECT
2660.49/2667.99	c #Conflicts:     489000 | #Constraints:      19279
2660.49/2667.99	c #Conflicts:     490000 | #Constraints:      20279
2660.49/2667.99	c #Conflicts:     491000 | #Constraints:      21279
2660.49/2667.99	c #Conflicts:     492000 | #Constraints:      22279
2660.49/2667.99	c #Conflicts:     493000 | #Constraints:      23279
2660.49/2667.99	c #Conflicts:     494000 | #Constraints:      24279
2660.49/2667.99	c #Conflicts:     495000 | #Constraints:      25279
2660.49/2667.99	c #Conflicts:     496000 | #Constraints:      26279
2660.49/2667.99	c #Conflicts:     497000 | #Constraints:      27279
2660.49/2667.99	c #Conflicts:     498000 | #Constraints:      28279
2660.49/2667.99	c #Conflicts:     499000 | #Constraints:      29279
2660.49/2667.99	c #Conflicts:     500000 | #Constraints:      30279
2660.49/2667.99	c #Conflicts:     501000 | #Constraints:      31279
2660.49/2667.99	c #Conflicts:     502000 | #Constraints:      32279
2660.49/2667.99	c INPROCESSING
2660.49/2667.99	c GARBAGE COLLECT
2660.49/2667.99	c #Conflicts:     503000 | #Constraints:      19287
2889.51/2897.66	c #Conflicts:     504000 | #Constraints:      20287
2889.51/2897.66	c #Conflicts:     505000 | #Constraints:      21287
2889.51/2897.66	c #Conflicts:     506000 | #Constraints:      22287
2889.51/2897.66	c #Conflicts:     507000 | #Constraints:      23287
2889.51/2897.66	c #Conflicts:     508000 | #Constraints:      24287
2889.51/2897.66	c #Conflicts:     509000 | #Constraints:      25287
2889.51/2897.66	c #Conflicts:     510000 | #Constraints:      26287
2889.51/2897.66	c #Conflicts:     511000 | #Constraints:      27287
2889.51/2897.66	c #Conflicts:     512000 | #Constraints:      28287
2889.51/2897.66	c #Conflicts:     513000 | #Constraints:      29287
2889.51/2897.66	c #Conflicts:     514000 | #Constraints:      30287
2889.51/2897.66	c #Conflicts:     515000 | #Constraints:      31287
2889.51/2897.66	c #Conflicts:     516000 | #Constraints:      32287
2889.51/2897.66	c INPROCESSING
2889.51/2897.66	c GARBAGE COLLECT
2889.51/2897.66	c #Conflicts:     517000 | #Constraints:      19068
2889.51/2897.66	c #Conflicts:     518000 | #Constraints:      20068
2889.51/2897.66	c #Conflicts:     519000 | #Constraints:      21068
2889.51/2897.66	c #Conflicts:     520000 | #Constraints:      22068
2889.51/2897.66	c #Conflicts:     521000 | #Constraints:      23068
2889.51/2897.66	c #Conflicts:     522000 | #Constraints:      24068
2889.51/2897.66	c #Conflicts:     523000 | #Constraints:      25068
2889.51/2897.66	c #Conflicts:     524000 | #Constraints:      26068
2889.51/2897.66	c #Conflicts:     525000 | #Constraints:      27068
2889.51/2897.66	c #Conflicts:     526000 | #Constraints:      28068
2889.51/2897.66	c #Conflicts:     527000 | #Constraints:      29068
2889.51/2897.66	c #Conflicts:     528000 | #Constraints:      30068
2889.51/2897.66	c #Conflicts:     529000 | #Constraints:      31068
2889.51/2897.66	c #Conflicts:     530000 | #Constraints:      32068
2889.51/2897.66	c #Conflicts:     531000 | #Constraints:      33068
2889.51/2897.66	c INPROCESSING
2889.51/2897.66	c GARBAGE COLLECT
2889.51/2897.66	c #Conflicts:     532000 | #Constraints:      19664
2889.51/2897.66	c #Conflicts:     533000 | #Constraints:      20664
2889.51/2897.66	c #Conflicts:     534000 | #Constraints:      21664
2889.51/2897.66	c GLOBAL bounds - >= 0 @ 2881.48
3339.05/3348.47	c #Conflicts:     535000 | #Constraints:      22666
3339.05/3348.47	c #Conflicts:     536000 | #Constraints:      23666
3339.05/3348.47	c #Conflicts:     537000 | #Constraints:      24666
3339.05/3348.47	c #Conflicts:     538000 | #Constraints:      25666
3339.05/3348.47	c #Conflicts:     539000 | #Constraints:      26666
3339.05/3348.47	c #Conflicts:     540000 | #Constraints:      27666
3339.05/3348.47	c #Conflicts:     541000 | #Constraints:      28666
3339.05/3348.47	c #Conflicts:     542000 | #Constraints:      29666
3339.05/3348.47	c #Conflicts:     543000 | #Constraints:      30666
3339.05/3348.47	c #Conflicts:     544000 | #Constraints:      31666
3339.05/3348.47	c #Conflicts:     545000 | #Constraints:      32666
3339.05/3348.47	c #Conflicts:     546000 | #Constraints:      33666
3339.05/3348.47	c INPROCESSING
3339.05/3348.47	c GARBAGE COLLECT
3339.05/3348.47	c #Conflicts:     547000 | #Constraints:      20060
3339.05/3348.47	c #Conflicts:     548000 | #Constraints:      21060
3339.05/3348.47	c #Conflicts:     549000 | #Constraints:      22060
3339.05/3348.47	c #Conflicts:     550000 | #Constraints:      23060
3339.05/3348.47	c #Conflicts:     551000 | #Constraints:      24060
3339.05/3348.47	c #Conflicts:     552000 | #Constraints:      25060
3339.05/3348.47	c #Conflicts:     553000 | #Constraints:      26060
3339.05/3348.47	c #Conflicts:     554000 | #Constraints:      27060
3339.05/3348.47	c #Conflicts:     555000 | #Constraints:      28060
3339.05/3348.47	c #Conflicts:     556000 | #Constraints:      29060
3339.05/3348.47	c #Conflicts:     557000 | #Constraints:      30060
3339.05/3348.47	c #Conflicts:     558000 | #Constraints:      31060
3339.05/3348.47	c #Conflicts:     559000 | #Constraints:      32060
3339.05/3348.47	c #Conflicts:     560000 | #Constraints:      33060
3339.05/3348.47	c #Conflicts:     561000 | #Constraints:      34060
3339.05/3348.47	c INPROCESSING
3339.05/3348.47	c GARBAGE COLLECT
3339.05/3348.47	c #Conflicts:     562000 | #Constraints:      20252
3339.05/3348.47	c #Conflicts:     563000 | #Constraints:      21252
3339.05/3348.47	c #Conflicts:     564000 | #Constraints:      22252
3339.05/3348.47	c #Conflicts:     565000 | #Constraints:      23252
3339.05/3348.47	c #Conflicts:     566000 | #Constraints:      24252
3339.05/3348.47	c #Conflicts:     567000 | #Constraints:      25252
3339.05/3348.47	c #Conflicts:     568000 | #Constraints:      26252
3339.05/3348.47	c #Conflicts:     569000 | #Constraints:      27252
3339.05/3348.47	c #Conflicts:     570000 | #Constraints:      28252
3339.05/3348.47	c #Conflicts:     571000 | #Constraints:      29252
3339.05/3348.47	c #Conflicts:     572000 | #Constraints:      30252
3339.05/3348.47	c #Conflicts:     573000 | #Constraints:      31252
3339.05/3348.47	c #Conflicts:     574000 | #Constraints:      32252
3339.05/3348.47	c #Conflicts:     575000 | #Constraints:      33252
3339.05/3348.47	c #Conflicts:     576000 | #Constraints:      34252
3339.05/3348.47	c INPROCESSING
3339.05/3348.47	c GARBAGE COLLECT
3339.05/3348.47	c #Conflicts:     577000 | #Constraints:      20247
3339.05/3348.47	c #Conflicts:     578000 | #Constraints:      21247
3339.05/3348.47	c #Conflicts:     579000 | #Constraints:      22247
3339.05/3348.47	c #Conflicts:     580000 | #Constraints:      23247
3339.05/3348.47	c #Conflicts:     581000 | #Constraints:      24247
3339.05/3348.47	c #Conflicts:     582000 | #Constraints:      25247
3339.05/3348.47	c #Conflicts:     583000 | #Constraints:      26247
3339.05/3348.47	c #Conflicts:     584000 | #Constraints:      27247
3339.05/3348.47	c #Conflicts:     585000 | #Constraints:      28247
3339.05/3348.47	c #Conflicts:     586000 | #Constraints:      29247
3339.05/3348.47	c #Conflicts:     587000 | #Constraints:      30247
3339.05/3348.47	c #Conflicts:     588000 | #Constraints:      31247
3339.05/3348.47	c #Conflicts:     589000 | #Constraints:      32247
3339.05/3348.47	c #Conflicts:     590000 | #Constraints:      33247
3339.05/3348.47	c #Conflicts:     591000 | #Constraints:      34247
3339.05/3348.47	c INPROCESSING
3339.05/3348.47	c GARBAGE COLLECT
3339.05/3348.47	c #Conflicts:     592000 | #Constraints:      20055
3339.05/3348.47	c #Conflicts:     593000 | #Constraints:      21055
3339.05/3348.47	c #Conflicts:     594000 | #Constraints:      22055
3339.05/3348.47	c #Conflicts:     595000 | #Constraints:      23055
3339.05/3348.47	c #Conflicts:     596000 | #Constraints:      24055
3339.05/3348.47	c #Conflicts:     597000 | #Constraints:      25055
3339.05/3348.47	c #Conflicts:     598000 | #Constraints:      26055
3339.05/3348.47	c #Conflicts:     599000 | #Constraints:      27055
3339.05/3348.47	c #Conflicts:     600000 | #Constraints:      28055
3339.05/3348.47	c #Conflicts:     601000 | #Constraints:      29055
3339.05/3348.47	c #Conflicts:     602000 | #Constraints:      30055
3339.05/3348.47	c #Conflicts:     603000 | #Constraints:      31055
3339.05/3348.47	c #Conflicts:     604000 | #Constraints:      32055
3339.05/3348.47	c #Conflicts:     605000 | #Constraints:      33055
3339.05/3348.47	c #Conflicts:     606000 | #Constraints:      34055
3339.05/3348.47	c #Conflicts:     607000 | #Constraints:      35055
3339.05/3348.47	c INPROCESSING
3339.05/3348.47	c GARBAGE COLLECT
3339.05/3348.47	c #Conflicts:     608000 | #Constraints:      20648
3339.05/3348.47	c #Conflicts:     609000 | #Constraints:      21648
3339.05/3348.47	c #Conflicts:     610000 | #Constraints:      22648
3600.05/3610.10	c #Conflicts:     611000 | #Constraints:      23648
3600.05/3610.10	c #Conflicts:     612000 | #Constraints:      24648
3600.05/3610.10	c #Conflicts:     613000 | #Constraints:      25648
3600.05/3610.10	c #Conflicts:     614000 | #Constraints:      26648
3600.05/3610.10	c #Conflicts:     615000 | #Constraints:      27648
3600.05/3610.10	c #Conflicts:     616000 | #Constraints:      28648
3600.05/3610.10	c #Conflicts:     617000 | #Constraints:      29648
3600.05/3610.10	c #Conflicts:     618000 | #Constraints:      30648
3600.05/3610.10	c #Conflicts:     619000 | #Constraints:      31648
3600.05/3610.10	c #Conflicts:     620000 | #Constraints:      32648
3600.05/3610.10	c #Conflicts:     621000 | #Constraints:      33648
3600.05/3610.10	c #Conflicts:     622000 | #Constraints:      34648
3600.05/3610.10	c #Conflicts:     623000 | #Constraints:      35648
3600.05/3610.10	c INPROCESSING
3600.05/3610.10	c GARBAGE COLLECT
3600.05/3610.10	c #Conflicts:     624000 | #Constraints:      21041
3600.05/3610.10	c #Conflicts:     625000 | #Constraints:      22041
3600.05/3610.10	c #Conflicts:     626000 | #Constraints:      23041
3600.05/3610.10	c #Conflicts:     627000 | #Constraints:      24041
3600.05/3610.10	c #Conflicts:     628000 | #Constraints:      25041
3600.05/3610.10	c #Conflicts:     629000 | #Constraints:      26041
3600.05/3610.10	c #Conflicts:     630000 | #Constraints:      27041
3600.05/3610.10	c #Conflicts:     631000 | #Constraints:      28041
3600.05/3610.10	c #Conflicts:     632000 | #Constraints:      29041
3600.05/3610.10	c #Conflicts:     633000 | #Constraints:      30041
3600.05/3610.10	c #Conflicts:     634000 | #Constraints:      31041
3600.05/3610.10	c #Conflicts:     635000 | #Constraints:      32041
3600.05/3610.10	c #Conflicts:     636000 | #Constraints:      33041
3600.05/3610.10	c #Conflicts:     637000 | #Constraints:      34041
3600.05/3610.10	c #Conflicts:     638000 | #Constraints:      35041
3600.05/3610.10	c #Conflicts:     639000 | #Constraints:      36041
3600.05/3610.10	c INPROCESSING
3600.05/3610.10	c GARBAGE COLLECT
3600.05/3610.10	c #Conflicts:     640000 | #Constraints:      21245
3600.05/3610.10	c #Conflicts:     641000 | #Constraints:      22245
3600.05/3610.10	c #Conflicts:     642000 | #Constraints:      23245
3600.05/3610.10	c #Conflicts:     643000 | #Constraints:      24245
3600.05/3610.10	c #Conflicts:     644000 | #Constraints:      25245
3600.05/3610.10	c #Conflicts:     645000 | #Constraints:      26245
3600.05/3610.10	c #Conflicts:     646000 | #Constraints:      27245
3600.05/3610.10	c #Conflicts:     647000 | #Constraints:      28245
3600.05/3610.10	c #Conflicts:     648000 | #Constraints:      29245
3600.05/3610.10	c #Conflicts:     649000 | #Constraints:      30245
3600.05/3610.10	c #Conflicts:     650000 | #Constraints:      31245
3600.05/3610.10	c #Conflicts:     651000 | #Constraints:      32245
3600.05/3610.10	c #Conflicts:     652000 | #Constraints:      33245
3600.05/3610.10	c #Conflicts:     653000 | #Constraints:      34245
3600.05/3610.10	c cpu time 3590.17 s
3600.05/3610.10	c deterministic time 1 1.00e+00
3600.05/3610.10	c optimization time 3590.16 s
3600.05/3610.10	c total solve time 0 s
3600.05/3610.10	c core-guided solve time 0 s
3600.05/3610.10	c propagation time 0.000924 s
3600.05/3610.10	c conflict analysis time 0 s
3600.05/3610.10	c propagations 0
3600.05/3610.10	c resolve steps 0
3600.05/3610.10	c decisions 0
3600.05/3610.10	c conflicts 0
3600.05/3610.10	c restarts 0
3600.05/3610.10	c inprocessing phases 0
3600.05/3610.10	c garbage collections 0 ,( -nan )
3600.05/3610.10	c input clauses 4000 ,( 100.00 )
3600.05/3610.10	c input cardinalities 0 ,( 0.00 )
3600.05/3610.10	c input general constraints 0 ,( 0.00 )
3600.05/3610.10	c input average constraint length 2.00
3600.05/3610.10	c input average constraint degree 1.00
3600.05/3610.10	c learned clauses 0 ,( 0.00 )
3600.05/3610.10	c learned cardinalities 0 ,( 0.00 )
3600.05/3610.10	c learned general constraints 0 ,( 0.00 )
3600.05/3610.10	c learned average constraint length 0.00
3600.05/3610.10	c learned average constraint degree 0.00
3600.05/3610.10	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.05/3610.10	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.05/3610.10	c watched   constraints 0 ,( -nan ) 
3600.05/3610.10	c counting  constraints 0 ,( -nan ) 
3600.05/3610.10	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.05/3610.10	c gcd simplifications 0
3600.05/3610.10	c detected cardinalities 0
3600.05/3610.10	c weakened non-implied lits 0
3600.05/3610.10	c weakened non-implying lits 0
3600.05/3610.10	c original variables 1963
3600.05/3610.10	c clausal propagations 0
3600.05/3610.10	c cardinality propagations 0
3600.05/3610.10	c watched propagations 0
3600.05/3610.10	c counting propagations 0
3600.05/3610.10	c watch lookups 0
3600.05/3610.10	c watch backjump lookups 0
3600.05/3610.10	c watch checks 0
3600.05/3610.10	c propagation checks 0
3600.05/3610.10	c constraint additions 0
3600.05/3610.10	c trail pops 0
3600.05/3610.10	c formula constraints 4000
3600.05/3610.10	c learned constraints 0
3600.05/3610.10	c bound constraints 0
3600.05/3610.10	c core-guided constraints 0
3600.05/3610.10	c encountered formula constraints 0
3600.05/3610.10	c encountered learned constraints 0
3600.05/3610.10	c encountered bound constraints 0
3600.05/3610.10	c encountered core-guided constraints 0
3600.05/3610.10	c LP total time 0 s
3600.05/3610.10	c LP solve time 0 s
3600.05/3610.10	c LP constraints added 0
3600.05/3610.10	c LP constraints removed 0
3600.05/3610.10	c LP pivots internal 0
3600.05/3610.10	c LP pivots root 0
3600.05/3610.10	c LP calls 0
3600.05/3610.10	c LP optimalities 0
3600.05/3610.10	c LP no pivot count 0
3600.05/3610.10	c LP infeasibilities 0
3600.05/3610.10	c LP valid Farkas constraints 0
3600.05/3610.10	c LP learned Farkas constraints 0
3600.05/3610.10	c LP basis resets 0
3600.05/3610.10	c LP cycling count 0
3600.05/3610.10	c LP singular count 0
3600.05/3610.10	c LP no primal count 0
3600.05/3610.10	c LP no farkas count 0
3600.05/3610.10	c LP other issue count 0
3600.05/3610.10	c LP Gomory cuts 0
3600.05/3610.10	c LP learned cuts 0
3600.05/3610.10	c LP deleted cuts 0
3600.05/3610.10	c LP encountered Gomory constraints 0
3600.05/3610.10	c LP encountered Farkas constraints 0
3600.05/3610.10	c LP encountered learned Farkas constraints 0
3600.05/3610.10	c CG auxiliary variables introduced 0
3600.05/3610.10	c CG solutions found 0
3600.05/3610.10	c CG cores constructed 0
3600.05/3610.10	c CG core cardinality constraints returned 0
3600.05/3610.10	c CG unit cores 0
3600.05/3610.10	c CG single cores 0
3600.05/3610.10	c CG blocks removed during cardinality reduction 0
3600.05/3610.10	c CG first core best 0
3600.05/3610.10	c CG decision core best 0
3600.05/3610.10	c CG core reduction tie 0
3600.05/3610.10	c CG core degree average 0.00
3600.05/3610.10	c CG core slack average 0.00
3600.05/3610.10	c CG core upper bound improvements 0
3600.05/3610.10	c STR number of successful calls 0
3600.05/3610.10	c STR number of unsuccessful calls 0
3600.05/3610.10	c STR number of inconclusive calls 0
3600.05/3610.10	c STR number of successful attempts 0
3600.05/3610.10	c STR number of unsuccessful attempts 0
3600.05/3610.10	c STR number of inconclusive attempts 0
3600.05/3610.10	c STR average degree increase per successful call inf
3600.05/3610.10	c STR average degree increase per successful attempt inf
3600.05/3610.10	c STR total number of conflicts for successful attempts 0
3600.05/3610.10	c STR total number of conflicts for unsuccessful attempts 0
3600.05/3610.10	c STR total number of conflicts for inconclusive attempts 0
3600.05/3610.10	c STR average number of conflicts per successful attempt inf
3600.05/3610.10	c STR average number of conflicts per unsuccessful attempt inf
3600.05/3610.10	c STR average number of conflicts per inconclusive attempt inf
3600.05/3610.10	c AVG.sumWPerc -nan 
3600.05/3610.10	c bigint constraints 0 
3600.05/3610.10	s UNKNOWN
3600.05/3610.10	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (63114 MiB free)
  memory of node 1: 64507 MiB (63931 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=45657, runsolver pid=45648
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 0.80 1.13 1.42 5/277 45670
/proc/meminfo: memFree=130051872/131249996 swapFree=33010416/33010684
[pid=45657] ppid=45648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45657/stat : 45657 (run-opt-log.sh) S 45648 45657 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50507264 4292608 768 18446744073709551615 94205174816768 94205175711301 140728982867168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205175950352 94205175998096 94205185929216 140728982874401 140728982874596 140728982874596 140728982880198 0
/proc/45657/statm: 1048 768 704 219 0 110 0
[pid=45668] ppid=45657 vsize=66304 memory=17556 CPUtime=0.06 cores=0,2
/proc/45668/stat : 45668 (roundingsat) R 45657 45657 45597 0 -1 4194304 2883 0 0 0 5 1 0 0 20 0 1 0 50507266 67895296 4389 18446744073709551615 4227072 8923433 140734993124480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16134144 140734993131858 140734993132072 140734993132072 140734993137642 0
/proc/45668/statm: 16576 4389 2336 1147 0 4003 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 70496 KiB
Current children cumulated memory: 20628 KiB

[startup+0.2058 s]*
/proc/loadavg: 0.80 1.13 1.42 5/277 45670
/proc/meminfo: memFree=130003576/131249996 swapFree=33010416/33010684
[pid=45657] ppid=45648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45657/stat : 45657 (run-opt-log.sh) S 45648 45657 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50507264 4292608 768 18446744073709551615 94205174816768 94205175711301 140728982867168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205175950352 94205175998096 94205185929216 140728982874401 140728982874596 140728982874596 140728982880198 0
/proc/45657/statm: 1048 768 704 219 0 110 0
[pid=45668] ppid=45657 vsize=72384 memory=26152 CPUtime=0.17 cores=0,2
/proc/45668/stat : 45668 (roundingsat) R 45657 45657 45597 0 -1 4194304 4522 0 0 0 15 2 0 0 20 0 1 0 50507266 74121216 6538 18446744073709551615 4227072 8923433 140734993124480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16134144 140734993131858 140734993132072 140734993132072 140734993137642 0
/proc/45668/statm: 18096 6538 2336 1147 0 5523 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 76576 KiB
Current children cumulated memory: 29224 KiB

[startup+0.30604 s]*
/proc/loadavg: 0.80 1.13 1.42 5/277 45670
/proc/meminfo: memFree=129963128/131249996 swapFree=33010416/33010684
[pid=45657] ppid=45648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45657/stat : 45657 (run-opt-log.sh) S 45648 45657 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50507264 4292608 768 18446744073709551615 94205174816768 94205175711301 140728982867168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205175950352 94205175998096 94205185929216 140728982874401 140728982874596 140728982874596 140728982880198 0
/proc/45657/statm: 1048 768 704 219 0 110 0
[pid=45668] ppid=45657 vsize=82976 memory=37164 CPUtime=0.27 cores=0,2
/proc/45668/stat : 45668 (roundingsat) R 45657 45657 45597 0 -1 4194304 6737 0 0 0 24 3 0 0 20 0 1 0 50507266 84967424 9291 18446744073709551615 4227072 8923433 140734993124480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16134144 140734993131858 140734993132072 140734993132072 140734993137642 0
/proc/45668/statm: 20744 9291 2336 1147 0 8171 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 87168 KiB
Current children cumulated memory: 40236 KiB

[startup+0.700201 s]
/proc/loadavg: 0.80 1.13 1.42 5/277 45670
/proc/meminfo: memFree=129940132/131249996 swapFree=33010416/33010684
[pid=45657] ppid=45648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45657/stat : 45657 (run-opt-log.sh) S 45648 45657 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50507264 4292608 768 18446744073709551615 94205174816768 94205175711301 140728982867168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205175950352 94205175998096 94205185929216 140728982874401 140728982874596 140728982874596 140728982880198 0
/proc/45657/statm: 1048 768 704 219 0 110 0
[pid=45668] ppid=45657 vsize=102012 memory=55060 CPUtime=0.66 cores=0,2
/proc/45668/stat : 45668 (roundingsat) R 45657 45657 45597 0 -1 4194304 10704 0 0 0 62 4 0 0 20 0 1 0 50507266 104460288 13765 18446744073709551615 4227072 8923433 140734993124480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16134144 140734993131858 140734993132072 140734993132072 140734993137642 0
/proc/45668/statm: 25503 13765 2336 1147 0 12930 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 106204 KiB
Current children cumulated memory: 58132 KiB

[startup+1.5002 s]
/proc/loadavg: 0.80 1.13 1.42 5/277 45670
/proc/meminfo: memFree=129780988/131249996 swapFree=33010416/33010684
[pid=45657] ppid=45648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45657/stat : 45657 (run-opt-log.sh) S 45648 45657 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50507264 4292608 768 18446744073709551615 94205174816768 94205175711301 140728982867168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205175950352 94205175998096 94205185929216 140728982874401 140728982874596 140728982874596 140728982880198 0
/proc/45657/statm: 1048 768 704 219 0 110 0
[pid=45668] ppid=45657 vsize=157512 memory=96500 CPUtime=1.45 cores=0,2
/proc/45668/stat : 45668 (roundingsat) R 45657 45657 45597 0 -1 4194304 19034 0 0 0 138 7 0 0 20 0 1 0 50507266 161292288 24125 18446744073709551615 4227072 8923433 140734993124480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16134144 140734993131858 140734993132072 140734993132072 140734993137642 0
/proc/45668/statm: 39378 24125 2336 1147 0 26805 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 161704 KiB
Current children cumulated memory: 99572 KiB

[startup+3.10571 s]
/proc/loadavg: 0.80 1.13 1.42 5/277 45670
/proc/meminfo: memFree=129531788/131249996 swapFree=33010416/33010684
[pid=45657] ppid=45648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45657/stat : 45657 (run-opt-log.sh) S 45648 45657 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50507264 4292608 768 18446744073709551615 94205174816768 94205175711301 140728982867168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205175950352 94205175998096 94205185929216 140728982874401 140728982874596 140728982874596 140728982880198 0
/proc/45657/statm: 1048 768 704 219 0 110 0
[pid=45668] ppid=45657 vsize=190160 memory=130384 CPUtime=3.05 cores=0,2
/proc/45668/stat : 45668 (roundingsat) R 45657 45657 45597 0 -1 4194304 25457 0 0 0 295 10 0 0 20 0 1 0 50507266 194723840 32596 18446744073709551615 4227072 8923433 140734993124480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16134144 140734993131858 140734993132072 140734993132072 140734993137642 0
/proc/45668/statm: 47540 32596 2336 1147 0 34967 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 194352 KiB
Current children cumulated memory: 133456 KiB

[startup+6.3002 s]
/proc/loadavg: 1.05 1.17 1.43 5/277 45670
/proc/meminfo: memFree=129324872/131249996 swapFree=33010416/33010684
[pid=45657] ppid=45648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45657/stat : 45657 (run-opt-log.sh) S 45648 45657 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50507264 4292608 768 18446744073709551615 94205174816768 94205175711301 140728982867168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205175950352 94205175998096 94205185929216 140728982874401 140728982874596 140728982874596 140728982880198 0
/proc/45657/statm: 1048 768 704 219 0 110 0
[pid=45668] ppid=45657 vsize=243248 memory=181220 CPUtime=6.24 cores=0,2
/proc/45668/stat : 45668 (roundingsat) R 45657 45657 45597 0 -1 4194304 34604 0 0 0 609 15 0 0 20 0 1 0 50507266 249085952 45305 18446744073709551615 4227072 8923433 140734993124480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16134144 140734993131858 140734993132072 140734993132072 140734993137642 0
/proc/45668/statm: 60812 45305 2336 1147 0 48239 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 247440 KiB
Current children cumulated memory: 184292 KiB

[startup+12.7002 s]
/proc/loadavg: 1.29 1.22 1.45 5/277 45670
/proc/meminfo: memFree=128899060/131249996 swapFree=33010416/33010684
[pid=45657] ppid=45648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45657/stat : 45657 (run-opt-log.sh) S 45648 45657 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50507264 4292608 768 18446744073709551615 94205174816768 94205175711301 140728982867168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205175950352 94205175998096 94205185929216 140728982874401 140728982874596 140728982874596 140728982880198 0
/proc/45657/statm: 1048 768 704 219 0 110 0
[pid=45668] ppid=45657 vsize=370144 memory=263468 CPUtime=12.62 cores=0,2
/proc/45668/stat : 45668 (roundingsat) R 45657 45657 45597 0 -1 4194304 51582 0 0 0 1239 23 0 0 20 0 1 0 50507266 379027456 65867 18446744073709551615 4227072 8923433 140734993124480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16134144 140734993131858 140734993132072 140734993132072 140734993137642 0
/proc/45668/statm: 92536 65867 2336 1147 0 79963 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 374336 KiB
Current children cumulated memory: 266540 KiB

[startup+25.5002 s]
/proc/loadavg: 1.97 1.37 1.49 5/277 45670
/proc/meminfo: memFree=128222720/131249996 swapFree=33010416/33010684
[pid=45657] ppid=45648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45657/stat : 45657 (run-opt-log.sh) S 45648 45657 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50507264 4292608 768 18446744073709551615 94205174816768 94205175711301 140728982867168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205175950352 94205175998096 94205185929216 140728982874401 140728982874596 140728982874596 140728982880198 0
/proc/45657/statm: 1048 768 704 219 0 110 0
[pid=45668] ppid=45657 vsize=589652 memory=469492 CPUtime=25.39 cores=0,2
/proc/45668/stat : 45668 (roundingsat) R 45657 45657 45597 0 -1 4194304 99516 0 0 0 2497 42 0 0 20 0 1 0 50507266 603803648 117373 18446744073709551615 4227072 8923433 140734993124480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16134144 140734993131858 140734993132072 140734993132072 140734993137642 0
/proc/45668/statm: 147413 117373 2336 1147 0 134840 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 593844 KiB
Current children cumulated memory: 472564 KiB

[startup+51.1057 s]
/proc/loadavg: 2.66 1.59 1.56 5/277 45670
/proc/meminfo: memFree=127960888/131249996 swapFree=33010416/33010684
[pid=45657] ppid=45648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45657/stat : 45657 (run-opt-log.sh) S 45648 45657 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50507264 4292608 768 18446744073709551615 94205174816768 94205175711301 140728982867168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205175950352 94205175998096 94205185929216 140728982874401 140728982874596 140728982874596 140728982880198 0
/proc/45657/statm: 1048 768 704 219 0 110 0
[pid=45668] ppid=45657 vsize=749172 memory=546368 CPUtime=50.92 cores=0,2
/proc/45668/stat : 45668 (roundingsat) R 45657 45657 45597 0 -1 4194304 117218 0 0 0 5030 62 0 0 20 0 1 0 50507266 767152128 136592 18446744073709551615 4227072 8923433 140734993124480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16134144 140734993131858 140734993132072 140734993132072 140734993137642 0
/proc/45668/statm: 187293 136592 2336 1147 0 174720 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 753364 KiB
Current children cumulated memory: 549440 KiB

[startup+102.3 s]
/proc/loadavg: 3.47 1.98 1.70 5/277 45672
/proc/meminfo: memFree=127598732/131249996 swapFree=33010416/33010684
[pid=45657] ppid=45648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45657/stat : 45657 (run-opt-log.sh) S 45648 45657 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50507264 4292608 768 18446744073709551615 94205174816768 94205175711301 140728982867168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205175950352 94205175998096 94205185929216 140728982874401 140728982874596 140728982874596 140728982880198 0
/proc/45657/statm: 1048 768 704 219 0 110 0
[pid=45668] ppid=45657 vsize=754508 memory=552512 CPUtime=101.98 cores=0,2
/proc/45668/stat : 45668 (roundingsat) R 45657 45657 45597 0 -1 4194304 118775 0 0 0 10106 92 0 0 20 0 1 0 50507266 772616192 138128 18446744073709551615 4227072 8923433 140734993124480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16134144 140734993131858 140734993132072 140734993132072 140734993137642 0
/proc/45668/statm: 188627 138128 2336 1147 0 176054 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 758700 KiB
Current children cumulated memory: 555584 KiB

[startup+162.3 s]
/proc/loadavg: 3.91 2.38 1.85 5/274 45674
/proc/meminfo: memFree=127222652/131249996 swapFree=33010416/33010684
[pid=45657] ppid=45648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45657/stat : 45657 (run-opt-log.sh) S 45648 45657 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50507264 4292608 768 18446744073709551615 94205174816768 94205175711301 140728982867168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205175950352 94205175998096 94205185929216 140728982874401 140728982874596 140728982874596 140728982880198 0
/proc/45657/statm: 1048 768 704 219 0 110 0
[pid=45668] ppid=45657 vsize=758516 memory=571344 CPUtime=161.82 cores=0,2
/proc/45668/stat : 45668 (roundingsat) R 45657 45657 45597 0 -1 4194304 121954 0 0 0 16065 117 0 0 20 0 1 0 50507266 776720384 142836 18446744073709551615 4227072 8923433 140734993124480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16134144 140734993131858 140734993132072 140734993132072 140734993137642 0
/proc/45668/statm: 189629 142836 2336 1147 0 177056 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 762708 KiB
Current children cumulated memory: 574416 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 2.69 2.00 5/274 45677
/proc/meminfo: memFree=126925764/131249996 swapFree=33010416/33010684
[pid=45657] ppid=45648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45657/stat : 45657 (run-opt-log.sh) S 45648 45657 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50507264 4292608 768 18446744073709551615 94205174816768 94205175711301 140728982867168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205175950352 94205175998096 94205185929216 140728982874401 140728982874596 140728982874596 140728982880198 0
/proc/45657/statm: 1048 768 704 219 0 110 0
[pid=45668] ppid=45657 vsize=761420 memory=582204 CPUtime=221.65 cores=0,2
/proc/45668/stat : 45668 (roundingsat) R 45657 45657 45597 0 -1 4194304 123132 0 0 0 22028 137 0 0 20 0 1 0 50507266 779694080 145551 18446744073709551615 4227072 8923433 140734993124480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16134144 140734993131858 140734993132072 140734993132072 140734993137642 0
/proc/45668/statm: 190355 145551 2336 1147 0 177782 0

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

/proc/45668/statm: 275769 253131 2336 1147 0 263196 0
Current children cumulated CPU time: 3093.6 s
Current children cumulated vsize: 1107268 KiB
Current children cumulated memory: 1015596 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.28 4.13 5/270 45837
/proc/meminfo: memFree=117703832/131249996 swapFree=33010416/33010684
[pid=45657] ppid=45648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45657/stat : 45657 (run-opt-log.sh) S 45648 45657 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50507264 4292608 768 18446744073709551615 94205174816768 94205175711301 140728982867168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205175950352 94205175998096 94205185929216 140728982874401 140728982874596 140728982874596 140728982880198 0
/proc/45657/statm: 1048 768 704 219 0 110 0
[pid=45668] ppid=45657 vsize=1103756 memory=1012908 CPUtime=3153.43 cores=0,2
/proc/45668/stat : 45668 (roundingsat) R 45657 45657 45597 0 -1 4194304 170930 0 0 0 314469 874 0 0 20 0 1 0 50507266 1130246144 253227 18446744073709551615 4227072 8923433 140734993124480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16134144 140734993131858 140734993132072 140734993132072 140734993137642 0
/proc/45668/statm: 275939 253227 2336 1147 0 263366 0
Current children cumulated CPU time: 3153.43 s
Current children cumulated vsize: 1107948 KiB
Current children cumulated memory: 1015980 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.24 4.12 5/269 45839
/proc/meminfo: memFree=117565316/131249996 swapFree=33010416/33010684
[pid=45657] ppid=45648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45657/stat : 45657 (run-opt-log.sh) S 45648 45657 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50507264 4292608 768 18446744073709551615 94205174816768 94205175711301 140728982867168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205175950352 94205175998096 94205185929216 140728982874401 140728982874596 140728982874596 140728982880198 0
/proc/45657/statm: 1048 768 704 219 0 110 0
[pid=45668] ppid=45657 vsize=1103756 memory=1012908 CPUtime=3213.27 cores=0,2
/proc/45668/stat : 45668 (roundingsat) R 45657 45657 45597 0 -1 4194304 170930 0 0 0 320438 889 0 0 20 0 1 0 50507266 1130246144 253227 18446744073709551615 4227072 8923433 140734993124480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16134144 140734993131858 140734993132072 140734993132072 140734993137642 0
/proc/45668/statm: 275939 253227 2336 1147 0 263366 0
Current children cumulated CPU time: 3213.27 s
Current children cumulated vsize: 1107948 KiB
Current children cumulated memory: 1015980 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.21 4.11 5/271 45845
/proc/meminfo: memFree=117407712/131249996 swapFree=33010416/33010684
[pid=45657] ppid=45648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45657/stat : 45657 (run-opt-log.sh) S 45648 45657 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50507264 4292608 768 18446744073709551615 94205174816768 94205175711301 140728982867168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205175950352 94205175998096 94205185929216 140728982874401 140728982874596 140728982874596 140728982880198 0
/proc/45657/statm: 1048 768 704 219 0 110 0
[pid=45668] ppid=45657 vsize=1104700 memory=1013676 CPUtime=3273.11 cores=0,2
/proc/45668/stat : 45668 (roundingsat) R 45657 45657 45597 0 -1 4194304 171133 0 0 0 326410 901 0 0 20 0 1 0 50507266 1131212800 253419 18446744073709551615 4227072 8923433 140734993124480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16134144 140734993131858 140734993132072 140734993132072 140734993137642 0
/proc/45668/statm: 276175 253419 2336 1147 0 263602 0
Current children cumulated CPU time: 3273.11 s
Current children cumulated vsize: 1108892 KiB
Current children cumulated memory: 1016748 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.20 4.11 5/270 45847
/proc/meminfo: memFree=117200520/131249996 swapFree=33010416/33010684
[pid=45657] ppid=45648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45657/stat : 45657 (run-opt-log.sh) S 45648 45657 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50507264 4292608 768 18446744073709551615 94205174816768 94205175711301 140728982867168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205175950352 94205175998096 94205185929216 140728982874401 140728982874596 140728982874596 140728982880198 0
/proc/45657/statm: 1048 768 704 219 0 110 0
[pid=45668] ppid=45657 vsize=1104700 memory=1024940 CPUtime=3332.97 cores=0,2
/proc/45668/stat : 45668 (roundingsat) R 45657 45657 45597 0 -1 4194304 171222 0 0 0 332379 918 0 0 20 0 1 0 50507266 1131212800 256235 18446744073709551615 4227072 8923433 140734993124480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16134144 140734993131858 140734993132072 140734993132072 140734993137642 0
/proc/45668/statm: 276175 256235 2336 1147 0 263602 0
Current children cumulated CPU time: 3332.97 s
Current children cumulated vsize: 1108892 KiB
Current children cumulated memory: 1028012 KiB

[startup+3402.3 s]
/proc/loadavg: 4.05 4.16 4.10 5/271 45850
/proc/meminfo: memFree=116990804/131249996 swapFree=33010416/33010684
[pid=45657] ppid=45648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45657/stat : 45657 (run-opt-log.sh) S 45648 45657 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50507264 4292608 768 18446744073709551615 94205174816768 94205175711301 140728982867168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205175950352 94205175998096 94205185929216 140728982874401 140728982874596 140728982874596 140728982880198 0
/proc/45657/statm: 1048 768 704 219 0 110 0
[pid=45668] ppid=45657 vsize=1104700 memory=1041580 CPUtime=3392.8 cores=0,2
/proc/45668/stat : 45668 (roundingsat) R 45657 45657 45597 0 -1 4194304 171228 0 0 0 338346 934 0 0 20 0 1 0 50507266 1131212800 260395 18446744073709551615 4227072 8923433 140734993124480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16134144 140734993131858 140734993132072 140734993132072 140734993137642 0
/proc/45668/statm: 276175 260395 2336 1147 0 263602 0
Current children cumulated CPU time: 3392.8 s
Current children cumulated vsize: 1108892 KiB
Current children cumulated memory: 1044652 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.16 4.10 5/271 45852
/proc/meminfo: memFree=116830804/131249996 swapFree=33010416/33010684
[pid=45657] ppid=45648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45657/stat : 45657 (run-opt-log.sh) S 45648 45657 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50507264 4292608 768 18446744073709551615 94205174816768 94205175711301 140728982867168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205175950352 94205175998096 94205185929216 140728982874401 140728982874596 140728982874596 140728982880198 0
/proc/45657/statm: 1048 768 704 219 0 110 0
[pid=45668] ppid=45657 vsize=1107628 memory=1047324 CPUtime=3452.65 cores=0,2
/proc/45668/stat : 45668 (roundingsat) R 45657 45657 45597 0 -1 4194304 171623 0 0 0 344316 949 0 0 20 0 1 0 50507266 1134211072 261831 18446744073709551615 4227072 8923433 140734993124480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16134144 140734993131858 140734993132072 140734993132072 140734993137642 0
/proc/45668/statm: 276907 261831 2336 1147 0 264334 0
Current children cumulated CPU time: 3452.65 s
Current children cumulated vsize: 1111820 KiB
Current children cumulated memory: 1050396 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.16 4.10 5/271 45858
/proc/meminfo: memFree=116709000/131249996 swapFree=33010416/33010684
[pid=45657] ppid=45648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45657/stat : 45657 (run-opt-log.sh) S 45648 45657 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50507264 4292608 768 18446744073709551615 94205174816768 94205175711301 140728982867168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205175950352 94205175998096 94205185929216 140728982874401 140728982874596 140728982874596 140728982880198 0
/proc/45657/statm: 1048 768 704 219 0 110 0
[pid=45668] ppid=45657 vsize=1107628 memory=1047324 CPUtime=3512.48 cores=0,2
/proc/45668/stat : 45668 (roundingsat) R 45657 45657 45597 0 -1 4194304 171623 0 0 0 350284 964 0 0 20 0 1 0 50507266 1134211072 261831 18446744073709551615 4227072 8923433 140734993124480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16134144 140734993131858 140734993132072 140734993132072 140734993137642 0
/proc/45668/statm: 276907 261831 2336 1147 0 264334 0
Current children cumulated CPU time: 3512.48 s
Current children cumulated vsize: 1111820 KiB
Current children cumulated memory: 1050396 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/269 45860
/proc/meminfo: memFree=116560876/131249996 swapFree=33010416/33010684
[pid=45657] ppid=45648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45657/stat : 45657 (run-opt-log.sh) S 45648 45657 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50507264 4292608 768 18446744073709551615 94205174816768 94205175711301 140728982867168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205175950352 94205175998096 94205185929216 140728982874401 140728982874596 140728982874596 140728982880198 0
/proc/45657/statm: 1048 768 704 219 0 110 0
[pid=45668] ppid=45657 vsize=1107628 memory=1047324 CPUtime=3572.32 cores=0,2
/proc/45668/stat : 45668 (roundingsat) R 45657 45657 45597 0 -1 4194304 171623 0 0 0 356251 981 0 0 20 0 1 0 50507266 1134211072 261831 18446744073709551615 4227072 8923433 140734993124480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16134144 140734993131858 140734993132072 140734993132072 140734993137642 0
/proc/45668/statm: 276907 261831 2336 1147 0 264334 0
Current children cumulated CPU time: 3572.32 s
Current children cumulated vsize: 1111820 KiB
Current children cumulated memory: 1050396 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.13 4.15 4.10 2/256 45877
/proc/meminfo: memFree=119739272/131249996 swapFree=33010416/33010684
[pid=45657] ppid=45648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45657/stat : 45657 (run-opt-log.sh) S 45648 45657 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50507264 4292608 768 18446744073709551615 94205174816768 94205175711301 140728982867168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205175950352 94205175998096 94205185929216 140728982874401 140728982874596 140728982874596 140728982880198 0
/proc/45657/statm: 1048 768 704 219 0 110 0
[pid=45668] ppid=45657 vsize=1107628 memory=1047324 CPUtime=3600.05 cores=0,2
/proc/45668/stat : 45668 (roundingsat) R 45657 45657 45597 0 -1 4194304 171623 0 0 0 359017 988 0 0 20 0 1 0 50507266 1134211072 261831 18446744073709551615 4227072 8923433 140734993124480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16134144 140734993131858 140734993132072 140734993132072 140734993137642 0
/proc/45668/statm: 276907 261831 2336 1147 0 264334 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1111820 KiB
Current children cumulated memory: 1050396 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3610.11 s]
# the end of solver process 45657 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0 s, system=0.002288 s

[startup+3610.13 s]
# the end of solver process 45668 was just reported to runsolver
# Child status: 2

# cumulated CPU time of all completed processes:  user=3590.18 s, system=9.89705 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3610.11 s]
/proc/loadavg: 4.13 4.15 4.10 2/256 45877
/proc/meminfo: memFree=119739272/131249996 swapFree=33010416/33010684
[pid=45657] ppid=45648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/45657/stat : 45657 (run-opt-log.sh) S 45648 45657 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50507264 4292608 768 18446744073709551615 94205174816768 94205175711301 140728982867168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205175950352 94205175998096 94205185929216 140728982874401 140728982874596 140728982874596 140728982880198 0
/proc/45657/statm: 1048 768 704 219 0 110 0
[pid=45668] ppid=45657 vsize=1107628 memory=1047324 CPUtime=3600.05 cores=0,2
/proc/45668/stat : 45668 (roundingsat) R 45657 45657 45597 0 -1 4194304 171623 0 0 0 359017 988 0 0 20 0 1 0 50507266 1134211072 261831 18446744073709551615 4227072 8923433 140734993124480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16134144 140734993131858 140734993132072 140734993132072 140734993137642 0
/proc/45668/statm: 276907 261831 2336 1147 0 264334 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1111820 KiB
Current children cumulated memory: 1050396 KiB

Child status: 2

Real time (s): 3610.13
CPU time (s): 3600.07
CPU user time (s): 3590.18
CPU system time (s): 9.89705
CPU usage (%): 99.7215
Max. virtual memory (cumulated for all children) (KiB): 1111820
Max. memory (cumulated for all children) (KiB): 1050396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.18
system time used= 9.89705
maximum resident set size= 1047708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171854
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4240552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 528
involuntary context switches= 8316


# summary of solver processes directly reported to runsolver:
#   pid: 45657,45668
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3590.18
#   total CPU system time (s): 9.89705

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.60227 second user time and 16.3032 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2025-07-01 07:37:57
IDJOB=4488771
IDBENCH=147531
IDSOLVER=3351
FILE ID=nodeC030/4488771-1751348277
RUNJOBID= nodeC030-1751348277-45607
SLURM_JOB_ID= 9598121
Free space on /tmp= 433036 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_1.opb.PB06.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4488771-1751348277/watcher-4488771-1751348277 -o /tmp/evaluation-result-4488771-1751348277/solver-4488771-1751348277 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751348277-45607 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4488771-1751348277.opb PROOFDIR/proof-4488771-1751348277

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

MD5SUM BENCH= f429a5cb74c34761160471c7897bca93
RANDOM SEED=719910755

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        130094272 kB
MemAvailable:   129826704 kB
Buffers:            2564 kB
Cached:           526440 kB
SwapCached:           16 kB
Active:           480820 kB
Inactive:         108568 kB
Active(anon):      73884 kB
Inactive(anon):     4548 kB
Active(file):     406936 kB
Inactive(file):   104020 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             28512 kB
Writeback:             0 kB
AnonPages:         63520 kB
Mapped:           102876 kB
Shmem:             18048 kB
KReclaimable:     121032 kB
Slab:             209720 kB
SReclaimable:     121032 kB
SUnreclaim:        88688 kB
KernelStack:        4168 kB
PageTables:         2656 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     329304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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:      189140 kB
DirectMap2M:     9019392 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433008 MiB
End job on nodeC030 at 2025-07-01 08:38:07