Trace number 4484216

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 63f22ad? (TO) 3600.19 3610.85

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-2.opb
MD5SUMb97b9bf3767749854a32fccedb37d823
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark939
Best CPU time to get the best result obtained on this benchmark4.83735
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8405
Total number of constraints10667
Number of constraints which are clauses9918
Number of constraints which are cardinality constraints (but not clauses)749
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint351
Number of terms in the objective function 6892
Biggest coefficient in the objective function 667
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 371779
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 667
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 371779
Number of bits of the biggest sum of numbers19
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.08	c #variables 8405 #constraints 11367
0.00/0.08	c objective is ce32 
0.06/0.10	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.06/0.10	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.06/0.10	c GLOBAL bounds - >= -3212 @ 0.047775
0.06/0.16	c GLOBAL bounds - >= -3212 @ 0.093633
0.06/0.16	c GLOBAL bounds - >= -3212 @ 0.09631
0.06/0.17	c GLOBAL bounds - >= -3212 @ 0.099097
0.06/0.18	c GLOBAL bounds - >= -3212 @ 0.103765
0.06/0.19	c GLOBAL bounds - >= -3212 @ 0.107574
0.06/0.19	c GLOBAL bounds - >= -3212 @ 0.112322
0.06/0.20	c GLOBAL bounds - >= -3212 @ 0.116359
0.17/0.21	c GLOBAL bounds - >= -3212 @ 0.121934
0.17/0.22	c GLOBAL bounds - >= -3212 @ 0.128123
0.17/0.23	c GLOBAL bounds - >= -3212 @ 0.133046
0.17/0.23	c GLOBAL bounds - >= -3212 @ 0.135323
0.17/0.24	c GLOBAL bounds - >= -3212 @ 0.13743
0.17/0.25	c GLOBAL bounds - >= -3212 @ 0.141547
0.17/0.26	c GLOBAL bounds - >= -3212 @ 0.144782
0.17/0.27	c GLOBAL bounds - >= -3212 @ 0.147222
0.17/0.28	c GLOBAL bounds - >= -3212 @ 0.150256
0.17/0.28	c GLOBAL bounds - >= -3212 @ 0.155176
0.17/0.29	c GLOBAL bounds - >= -3212 @ 0.159376
0.17/0.30	c GLOBAL bounds - >= -3212 @ 0.164683
0.27/0.31	c GLOBAL bounds - >= -3212 @ 0.171017
0.27/0.32	c GLOBAL bounds - >= -3212 @ 0.176567
0.27/0.33	c GLOBAL bounds - >= -3212 @ 0.180191
0.27/0.34	c GLOBAL bounds - >= -3212 @ 0.186644
0.27/0.34	c GLOBAL bounds - >= -3212 @ 0.190224
0.27/0.35	c GLOBAL bounds - >= -3212 @ 0.19681
0.27/0.36	c GLOBAL bounds - >= -3212 @ 0.201784
0.27/0.37	c GLOBAL bounds - >= -3212 @ 0.20583
0.27/0.38	c GLOBAL bounds - >= -3212 @ 0.210522
0.27/0.39	c GLOBAL bounds - >= -3212 @ 0.21674
0.27/0.40	c GLOBAL bounds - >= -3212 @ 0.218902
0.37/0.41	c GLOBAL bounds - >= -3212 @ 0.225883
0.37/0.42	c GLOBAL bounds - >= -3212 @ 0.230013
0.37/0.43	c GLOBAL bounds - >= -3212 @ 0.236056
0.37/0.44	c GLOBAL bounds - >= -3212 @ 0.239187
0.37/0.45	c GLOBAL bounds - >= -3212 @ 0.244358
0.37/0.45	c GLOBAL bounds - >= -3212 @ 0.248795
0.37/0.46	c GLOBAL bounds - >= -3212 @ 0.255884
0.37/0.47	c GLOBAL bounds - >= -3212 @ 0.262284
0.37/0.48	c GLOBAL bounds - >= -3212 @ 0.268755
0.37/0.49	c GLOBAL bounds - >= -3212 @ 0.272461
0.37/0.50	c GLOBAL bounds - >= -3212 @ 0.275862
0.47/0.51	c GLOBAL bounds - >= -3212 @ 0.283339
0.47/0.52	c GLOBAL bounds - >= -3212 @ 0.288915
0.47/0.53	c GLOBAL bounds - >= -3212 @ 0.297535
0.47/0.54	c GLOBAL bounds - >= -3212 @ 0.302701
0.47/0.55	c GLOBAL bounds - >= -3212 @ 0.308935
0.47/0.56	c GLOBAL bounds - >= -3212 @ 0.312668
0.47/0.57	c GLOBAL bounds - >= -3212 @ 0.320426
0.47/0.58	c GLOBAL bounds - >= -3212 @ 0.324508
0.47/0.59	c GLOBAL bounds - >= -3212 @ 0.329329
0.47/0.60	c GLOBAL bounds - >= -3212 @ 0.334416
0.56/0.61	c GLOBAL bounds - >= -3212 @ 0.338679
0.56/0.62	c GLOBAL bounds - >= -3212 @ 0.345821
0.56/0.63	c GLOBAL bounds - >= -3212 @ 0.351209
0.56/0.64	c GLOBAL bounds - >= -3212 @ 0.357615
0.56/0.65	c GLOBAL bounds - >= -3212 @ 0.363966
0.56/0.66	c GLOBAL bounds - >= -3212 @ 0.370252
0.56/0.67	c GLOBAL bounds - >= -3212 @ 0.375554
0.56/0.68	c GLOBAL bounds - >= -3212 @ 0.379762
0.65/0.70	c GLOBAL bounds - >= -3212 @ 0.386742
0.65/0.71	c GLOBAL bounds - >= -3212 @ 0.393707
0.65/0.72	c GLOBAL bounds - >= -3212 @ 0.398459
0.65/0.73	c GLOBAL bounds - >= -3212 @ 0.404715
0.65/0.74	c GLOBAL bounds - >= -3212 @ 0.411838
0.65/0.75	c GLOBAL bounds - >= -3212 @ 0.421606
0.65/0.76	c GLOBAL bounds - >= -3212 @ 0.42756
0.65/0.78	c GLOBAL bounds - >= -3212 @ 0.43461
0.65/0.79	c GLOBAL bounds - >= -3212 @ 0.441875
0.75/0.80	c GLOBAL bounds - >= -3212 @ 0.450336
0.75/0.81	c GLOBAL bounds - >= -3212 @ 0.458958
0.75/0.82	c GLOBAL bounds - >= -3212 @ 0.464188
0.75/0.83	c GLOBAL bounds - >= -3212 @ 0.471508
0.75/0.84	c GLOBAL bounds - >= -3212 @ 0.479755
0.75/0.86	c GLOBAL bounds - >= -3212 @ 0.485391
0.75/0.87	c GLOBAL bounds - >= -3212 @ 0.492043
0.75/0.88	c GLOBAL bounds - >= -3212 @ 0.499265
0.75/0.89	c GLOBAL bounds - >= -3212 @ 0.505101
0.85/0.90	c GLOBAL bounds - >= -3212 @ 0.512466
0.85/0.91	c GLOBAL bounds - >= -3212 @ 0.516035
0.85/0.93	c GLOBAL bounds - >= -3212 @ 0.522769
0.85/0.94	c GLOBAL bounds - >= -3212 @ 0.530227
0.85/0.95	c GLOBAL bounds - >= -3212 @ 0.5391
0.85/0.96	c GLOBAL bounds - >= -3212 @ 0.546987
0.85/0.97	c GLOBAL bounds - >= -3212 @ 0.553926
0.85/0.99	c GLOBAL bounds - >= -3212 @ 0.560557
0.95/1.00	c GLOBAL bounds - >= -3212 @ 0.567802
0.95/1.01	c GLOBAL bounds - >= -3212 @ 0.575834
0.95/1.02	c GLOBAL bounds - >= -3212 @ 0.585921
0.95/1.04	c GLOBAL bounds - >= -3212 @ 0.596075
0.95/1.05	c GLOBAL bounds - >= -3212 @ 0.601494
0.95/1.06	c GLOBAL bounds - >= -3212 @ 0.608149
0.95/1.07	c GLOBAL bounds - >= -3212 @ 0.614591
0.95/1.09	c GLOBAL bounds - >= -3212 @ 0.628141
1.06/1.11	c GLOBAL bounds - >= -3212 @ 0.639191
1.06/1.12	c GLOBAL bounds - >= -3212 @ 0.648839
1.06/1.13	c GLOBAL bounds - >= -3212 @ 0.658458
1.06/1.15	c GLOBAL bounds - >= -3212 @ 0.667941
1.06/1.16	c GLOBAL bounds - >= -3212 @ 0.676787
1.06/1.17	c GLOBAL bounds - >= -3212 @ 0.688157
1.06/1.18	c GLOBAL bounds - >= -3212 @ 0.694864
1.15/1.20	c GLOBAL bounds - >= -3212 @ 0.705923
1.15/1.21	c GLOBAL bounds - >= -3212 @ 0.71505
1.15/1.22	c GLOBAL bounds - >= -3212 @ 0.725794
1.15/1.24	c GLOBAL bounds - >= -3212 @ 0.736625
1.15/1.25	c GLOBAL bounds - >= -3212 @ 0.745868
1.15/1.26	c GLOBAL bounds - >= -3212 @ 0.754891
1.15/1.27	c GLOBAL bounds - >= -3212 @ 0.764024
1.15/1.29	c GLOBAL bounds - >= -3212 @ 0.774085
1.25/1.30	c GLOBAL bounds - >= -3212 @ 0.782376
1.25/1.31	c GLOBAL bounds - >= -3212 @ 0.791665
1.25/1.33	c GLOBAL bounds - >= -3212 @ 0.798963
1.25/1.34	c GLOBAL bounds - >= -3212 @ 0.807573
1.25/1.35	c GLOBAL bounds - >= -3212 @ 0.817758
1.25/1.37	c GLOBAL bounds - >= -3212 @ 0.828355
1.25/1.38	c GLOBAL bounds - >= -3212 @ 0.837572
1.25/1.40	c GLOBAL bounds - >= -3212 @ 0.848402
1.35/1.41	c GLOBAL bounds - >= -3212 @ 0.857379
1.35/1.43	c GLOBAL bounds - >= -3212 @ 0.872617
1.35/1.44	c GLOBAL bounds - >= -3212 @ 0.885352
1.35/1.46	c GLOBAL bounds - >= -3212 @ 0.897414
1.35/1.47	c GLOBAL bounds - >= -3212 @ 0.907357
1.35/1.49	c GLOBAL bounds - >= -3212 @ 0.920563
1.45/1.50	c GLOBAL bounds - >= -3212 @ 0.929617
1.45/1.52	c GLOBAL bounds - >= -3212 @ 0.940114
1.45/1.53	c GLOBAL bounds - >= -3212 @ 0.950605
1.45/1.55	c GLOBAL bounds - >= -3212 @ 0.963185
1.45/1.56	c GLOBAL bounds - >= -3212 @ 0.974096
1.45/1.58	c GLOBAL bounds - >= -3212 @ 0.984532
1.45/1.59	c GLOBAL bounds - >= -3212 @ 0.998116
1.55/1.61	c GLOBAL bounds - >= -3212 @ 1.00992
1.55/1.62	c GLOBAL bounds - >= -3212 @ 1.02086
1.55/1.64	c GLOBAL bounds - >= -3212 @ 1.03039
1.55/1.65	c GLOBAL bounds - >= -3212 @ 1.04124
1.55/1.67	c GLOBAL bounds - >= -3212 @ 1.05321
1.55/1.68	c GLOBAL bounds - >= -3212 @ 1.06514
1.65/1.70	c GLOBAL bounds - >= -3212 @ 1.07654
1.65/1.71	c GLOBAL bounds - >= -3212 @ 1.09028
1.65/1.73	c GLOBAL bounds - >= -3212 @ 1.10132
1.65/1.74	c GLOBAL bounds - >= -3212 @ 1.1096
1.65/1.76	c GLOBAL bounds - >= -3212 @ 1.11958
1.65/1.77	c GLOBAL bounds - >= -3212 @ 1.1328
1.65/1.79	c GLOBAL bounds - >= -3212 @ 1.144
1.75/1.80	c GLOBAL bounds - >= -3212 @ 1.15577
1.75/1.82	c GLOBAL bounds - >= -3212 @ 1.16719
1.75/1.84	c GLOBAL bounds - >= -3212 @ 1.18249
1.75/1.86	c GLOBAL bounds - >= -3212 @ 1.20161
1.75/1.87	c GLOBAL bounds - >= -3212 @ 1.21554
1.75/1.89	c GLOBAL bounds - >= -3212 @ 1.23208
1.85/1.91	c GLOBAL bounds - >= -3212 @ 1.24526
1.85/1.93	c GLOBAL bounds - >= -3212 @ 1.26257
1.85/1.95	c GLOBAL bounds - >= -3212 @ 1.27995
1.85/1.97	c GLOBAL bounds - >= -3212 @ 1.29887
1.85/2.00	c GLOBAL bounds - >= -3212 @ 1.3175
1.96/2.02	c GLOBAL bounds - >= -3212 @ 1.33519
1.96/2.05	c GLOBAL bounds - >= -3212 @ 1.35905
1.96/2.06	c GLOBAL bounds - >= -3212 @ 1.37594
1.96/2.09	c GLOBAL bounds - >= -3212 @ 1.39318
2.06/2.10	c GLOBAL bounds - >= -3212 @ 1.4116
2.06/2.12	c GLOBAL bounds - >= -3212 @ 1.42568
2.06/2.14	c GLOBAL bounds - >= -3212 @ 1.44087
2.06/2.16	c GLOBAL bounds - >= -3212 @ 1.45611
2.06/2.17	c GLOBAL bounds - >= -3212 @ 1.4697
2.06/2.19	c GLOBAL bounds - >= -3212 @ 1.4861
2.15/2.21	c GLOBAL bounds - >= -3212 @ 1.49976
2.15/2.23	c GLOBAL bounds - >= -3212 @ 1.5141
2.15/2.24	c GLOBAL bounds - >= -3212 @ 1.52986
2.15/2.26	c GLOBAL bounds - >= -3212 @ 1.54458
2.15/2.28	c GLOBAL bounds - >= -3212 @ 1.55845
2.25/2.30	c GLOBAL bounds - >= -3212 @ 1.57398
2.25/2.32	c GLOBAL bounds - >= -3212 @ 1.58586
2.25/2.33	c GLOBAL bounds - >= -3212 @ 1.5976
2.25/2.36	c GLOBAL bounds - >= -3212 @ 1.6202
2.25/2.39	c GLOBAL bounds - >= -3212 @ 1.63694
2.34/2.40	c GLOBAL bounds - >= -3212 @ 1.65313
2.34/2.42	c GLOBAL bounds - >= -3212 @ 1.67005
2.34/2.44	c GLOBAL bounds - >= -3212 @ 1.68609
2.34/2.46	c GLOBAL bounds - >= -3212 @ 1.69809
2.34/2.48	c GLOBAL bounds - >= -3212 @ 1.71517
2.34/2.49	c GLOBAL bounds - >= -3212 @ 1.7322
2.45/2.51	c GLOBAL bounds - >= -3212 @ 1.74859
2.45/2.53	c GLOBAL bounds - >= -3212 @ 1.76427
2.45/2.55	c GLOBAL bounds - >= -3212 @ 1.7768
2.45/2.57	c GLOBAL bounds - >= -3212 @ 1.79191
2.45/2.59	c GLOBAL bounds - >= -3212 @ 1.80765
2.54/2.60	c GLOBAL bounds - >= -3212 @ 1.82199
2.54/2.62	c GLOBAL bounds - >= -3212 @ 1.83362
2.54/2.64	c GLOBAL bounds - >= -3212 @ 1.84802
2.54/2.66	c GLOBAL bounds - >= -3212 @ 1.86454
2.54/2.68	c GLOBAL bounds - >= -3212 @ 1.87831
2.65/2.70	c GLOBAL bounds - >= -3212 @ 1.89572
2.65/2.72	c GLOBAL bounds - >= -3212 @ 1.91044
2.65/2.74	c GLOBAL bounds - >= -3212 @ 1.92528
2.65/2.75	c GLOBAL bounds - >= -3212 @ 1.94085
2.65/2.77	c GLOBAL bounds - >= -3212 @ 1.95661
2.65/2.79	c GLOBAL bounds - >= -3212 @ 1.96982
2.75/2.81	c GLOBAL bounds - >= -3212 @ 1.98699
2.75/2.83	c GLOBAL bounds - >= -3212 @ 2.00301
2.75/2.85	c GLOBAL bounds - >= -3212 @ 2.01884
2.75/2.87	c GLOBAL bounds - >= -3212 @ 2.03464
2.75/2.89	c GLOBAL bounds - >= -3212 @ 2.04847
2.84/2.91	c GLOBAL bounds - >= -3212 @ 2.06452
2.84/2.93	c GLOBAL bounds - >= -3212 @ 2.08164
2.84/2.94	c GLOBAL bounds - >= -3212 @ 2.09692
2.84/2.96	c GLOBAL bounds - >= -3212 @ 2.11313
2.84/2.98	c GLOBAL bounds - >= -3212 @ 2.12954
2.95/3.00	c GLOBAL bounds - >= -3212 @ 2.14486
2.95/3.02	c GLOBAL bounds - >= -3212 @ 2.16222
2.95/3.04	c GLOBAL bounds - >= -3212 @ 2.17968
2.95/3.07	c GLOBAL bounds - >= -3212 @ 2.20478
3.05/3.14	c GLOBAL bounds - >= -3212 @ 2.2654
3.15/3.20	c GLOBAL bounds - >= -3212 @ 2.31976
3.15/3.26	c GLOBAL bounds - >= -3212 @ 2.36838
3.25/3.31	c GLOBAL bounds - >= -3212 @ 2.4112
3.25/3.36	c GLOBAL bounds - >= -3212 @ 2.45608
3.45/3.52	c GLOBAL bounds - >= -3212 @ 2.61593
6.73/6.85	c #Conflicts:       1000 | #Constraints:      10487
6.73/6.85	c GLOBAL bounds - >= -3212 @ 5.7934
52.50/52.77	c #Conflicts:       2000 | #Constraints:      11489
52.50/52.77	c INPROCESSING
52.50/52.77	c GARBAGE COLLECT
52.50/52.77	c #Conflicts:       3000 | #Constraints:      11510
52.50/52.77	c #Conflicts:       4000 | #Constraints:      12510
52.50/52.77	c INPROCESSING
52.50/52.77	c GARBAGE COLLECT
52.50/52.77	c #Conflicts:       5000 | #Constraints:      11921
52.50/52.77	c #Conflicts:       6000 | #Constraints:      12921
52.50/52.77	c INPROCESSING
52.50/52.77	c GARBAGE COLLECT
52.50/52.77	c #Conflicts:       7000 | #Constraints:      11927
52.50/52.77	c #Conflicts:       8000 | #Constraints:      12927
52.50/52.77	c #Conflicts:       9000 | #Constraints:      13927
52.50/52.77	c INPROCESSING
52.50/52.77	c GARBAGE COLLECT
52.50/52.77	c #Conflicts:      10000 | #Constraints:      12639
52.50/52.77	c #Conflicts:      11000 | #Constraints:      13639
52.50/52.77	c #Conflicts:      12000 | #Constraints:      14639
52.50/52.77	c INPROCESSING
52.50/52.77	c GARBAGE COLLECT
52.50/52.77	c #Conflicts:      13000 | #Constraints:      13084
52.50/52.77	c #Conflicts:      14000 | #Constraints:      14084
52.50/52.77	c #Conflicts:      15000 | #Constraints:      15084
52.50/52.77	c INPROCESSING
52.50/52.77	c GARBAGE COLLECT
52.50/52.77	c #Conflicts:      16000 | #Constraints:      13310
52.50/52.77	c GLOBAL bounds - >= -3212 @ 50.9937
59.38/59.67	c #Conflicts:      17000 | #Constraints:      14312
59.38/59.67	c #Conflicts:      18000 | #Constraints:      15312
59.38/59.67	c INPROCESSING
59.38/59.67	c GARBAGE COLLECT
59.38/59.67	c #Conflicts:      19000 | #Constraints:      13326
59.38/59.67	c GLOBAL bounds - >= -3212 @ 57.8271
60.18/60.49	c GLOBAL bounds - >= -3212 @ 58.6294
60.67/60.91	c GLOBAL bounds - >= -3212 @ 59.0435
62.16/62.42	c GLOBAL bounds - >= -3212 @ 60.5343
64.87/65.19	c #Conflicts:      20000 | #Constraints:      14334
64.87/65.19	c GLOBAL bounds - >= -3212 @ 63.262
65.36/65.62	c GLOBAL bounds - >= -3212 @ 63.6926
65.76/66.07	c GLOBAL bounds - >= -3212 @ 64.1322
66.87/67.12	c GLOBAL bounds - >= -3212 @ 65.1683
67.25/67.52	c GLOBAL bounds - >= -3212 @ 65.5663
67.86/68.18	c GLOBAL bounds - >= -3212 @ 66.2122
68.45/68.70	c GLOBAL bounds - >= -3212 @ 66.7245
68.85/69.19	c GLOBAL bounds - >= -3212 @ 67.2106
69.45/69.70	c GLOBAL bounds - >= -3212 @ 67.7053
69.85/70.19	c GLOBAL bounds - >= -3212 @ 68.1893
70.34/70.60	c GLOBAL bounds - >= -3212 @ 68.5906
71.14/71.48	c GLOBAL bounds - >= -3212 @ 69.4556
71.64/71.97	c GLOBAL bounds - >= -3212 @ 69.9364
72.54/72.88	c GLOBAL bounds - >= -3212 @ 70.8297
73.04/73.37	c GLOBAL bounds - >= -3212 @ 71.3164
73.94/74.26	c GLOBAL bounds - >= -3212 @ 72.1916
74.44/74.70	c GLOBAL bounds - >= -3212 @ 72.63
74.84/75.16	c GLOBAL bounds - >= -3212 @ 73.0844
75.23/75.57	c GLOBAL bounds - >= -3212 @ 73.4888
75.74/76.04	c GLOBAL bounds - >= -3212 @ 73.9549
76.33/76.64	c #Conflicts:      21000 | #Constraints:      15374
76.33/76.64	c GLOBAL bounds - >= -3212 @ 74.5395
76.83/77.11	c GLOBAL bounds - >= -3212 @ 75.0001
77.73/78.03	c GLOBAL bounds - >= -3212 @ 75.9156
78.12/78.49	c GLOBAL bounds - >= -3212 @ 76.3734
78.63/78.97	c GLOBAL bounds - >= -3212 @ 76.8477
79.12/79.45	c GLOBAL bounds - >= -3212 @ 77.3237
80.83/81.19	c GLOBAL bounds - >= -3212 @ 79.0382
81.42/81.77	c GLOBAL bounds - >= -3212 @ 79.6026
82.21/82.58	c GLOBAL bounds - >= -3212 @ 80.3992
85.50/85.88	c INPROCESSING
85.50/85.88	c GARBAGE COLLECT
85.50/85.88	c GLOBAL bounds - >= -3212 @ 83.6627
87.60/88.00	c #Conflicts:      22000 | #Constraints:      13209
87.60/88.00	c GLOBAL bounds - >= -3212 @ 85.7667
88.40/88.77	c GLOBAL bounds - >= -3212 @ 86.5318
89.59/89.99	c GLOBAL bounds - >= -3212 @ 87.7325
90.79/91.16	c #Conflicts:      23000 | #Constraints:      14215
90.79/91.16	c GLOBAL bounds - >= -3212 @ 88.8827
92.08/92.42	c GLOBAL bounds - >= -3212 @ 90.1355
93.98/94.37	c GLOBAL bounds - >= -3212 @ 92.059
94.58/94.94	c GLOBAL bounds - >= -3212 @ 92.6169
95.37/95.79	c GLOBAL bounds - >= -3212 @ 93.4552
95.98/96.35	c GLOBAL bounds - >= -3212 @ 94.0127
99.96/100.39	c #Conflicts:      24000 | #Constraints:      15227
99.96/100.39	c GLOBAL bounds - >= -3212 @ 98.0095
101.55/101.99	c GLOBAL bounds - >= -3212 @ 99.5939
104.15/104.59	c #Conflicts:      25000 | #Constraints:      16231
104.15/104.59	c GLOBAL bounds - >= -3212 @ 102.168
106.75/107.12	c INPROCESSING
106.75/107.12	c GARBAGE COLLECT
106.75/107.12	c GLOBAL bounds - >= -3212 @ 104.676
107.04/107.49	c GLOBAL bounds - >= -3212 @ 105.031
107.44/107.86	c GLOBAL bounds - >= -3212 @ 105.395
107.84/108.26	c GLOBAL bounds - >= -3212 @ 105.798
108.24/108.65	c GLOBAL bounds - >= -3212 @ 106.176
110.13/110.56	c #Conflicts:      26000 | #Constraints:      13860
110.13/110.56	c GLOBAL bounds - >= -3212 @ 108.071
110.64/111.07	c GLOBAL bounds - >= -3212 @ 108.575
111.33/111.70	c GLOBAL bounds - >= -3212 @ 109.189
111.93/112.37	c GLOBAL bounds - >= -3212 @ 109.853
112.43/112.87	c GLOBAL bounds - >= -3212 @ 110.339
112.92/113.38	c GLOBAL bounds - >= -3212 @ 110.84
113.53/113.97	c GLOBAL bounds - >= -3212 @ 111.419
120.11/120.53	c #Conflicts:      27000 | #Constraints:      14874
120.11/120.53	c #Conflicts:      28000 | #Constraints:      15874
120.11/120.53	c GLOBAL bounds - >= -3212 @ 117.899
122.20/122.63	c #Conflicts:      29000 | #Constraints:      16876
122.20/122.63	c INPROCESSING
122.20/122.63	c GARBAGE COLLECT
122.20/122.63	c GLOBAL bounds - >= -3212 @ 119.971
122.50/122.92	c GLOBAL bounds - >= -3212 @ 120.26
122.80/123.22	c GLOBAL bounds - >= -3212 @ 120.551
123.49/123.90	c GLOBAL bounds - >= -3212 @ 121.211
124.50/124.97	c GLOBAL bounds - >= -3212 @ 122.27
125.39/125.83	c GLOBAL bounds - >= -3212 @ 123.115
125.89/126.36	c #Conflicts:      30000 | #Constraints:      14294
125.89/126.36	c GLOBAL bounds - >= -3212 @ 123.641
126.60/127.10	c GLOBAL bounds - >= -3212 @ 124.363
127.39/127.80	c GLOBAL bounds - >= -3212 @ 125.053
127.88/128.39	c GLOBAL bounds - >= -3212 @ 125.636
128.59/129.09	c GLOBAL bounds - >= -3212 @ 126.334
129.39/129.85	c GLOBAL bounds - >= -3212 @ 127.086
130.09/130.59	c #Conflicts:      31000 | #Constraints:      15306
130.09/130.59	c GLOBAL bounds - >= -3212 @ 127.812
130.88/131.31	c GLOBAL bounds - >= -3212 @ 128.524
131.18/131.62	c GLOBAL bounds - >= -3212 @ 128.833
131.68/132.16	c GLOBAL bounds - >= -3212 @ 129.366
131.98/132.48	c GLOBAL bounds - >= -3212 @ 129.678
133.18/133.67	c GLOBAL bounds - >= -3212 @ 130.849
134.47/134.91	c GLOBAL bounds - >= -3212 @ 132.074
135.77/136.27	c #Conflicts:      32000 | #Constraints:      16320
135.77/136.27	c GLOBAL bounds - >= -3212 @ 133.423
136.57/137.04	c GLOBAL bounds - >= -3212 @ 134.181
137.57/138.04	c GLOBAL bounds - >= -3212 @ 135.165
138.56/139.00	c GLOBAL bounds - >= -3212 @ 136.116
139.36/139.85	c GLOBAL bounds - >= -3212 @ 136.951
141.05/141.58	c #Conflicts:      33000 | #Constraints:      17330
141.05/141.58	c INPROCESSING
141.05/141.58	c GARBAGE COLLECT
141.05/141.58	c GLOBAL bounds - >= -3212 @ 138.649
141.94/142.44	c GLOBAL bounds - >= -3212 @ 139.49
142.14/142.68	c GLOBAL bounds - >= -3212 @ 139.715
142.84/143.37	c GLOBAL bounds - >= -3212 @ 140.397
143.55/144.04	c GLOBAL bounds - >= -3212 @ 141.066
144.14/144.61	c GLOBAL bounds - >= -3212 @ 141.63
144.94/145.42	c #Conflicts:      34000 | #Constraints:      14564
144.94/145.42	c GLOBAL bounds - >= -3212 @ 142.428
146.03/146.55	c GLOBAL bounds - >= -3212 @ 143.552
146.83/147.39	c GLOBAL bounds - >= -3212 @ 144.38
148.03/148.57	c #Conflicts:      35000 | #Constraints:      15570
148.03/148.57	c GLOBAL bounds - >= -3212 @ 145.551
151.12/151.64	c GLOBAL bounds - >= -3212 @ 148.602
154.01/154.57	c #Conflicts:      36000 | #Constraints:      16574
154.01/154.57	c GLOBAL bounds - >= -3212 @ 151.509
160.89/161.47	c #Conflicts:      37000 | #Constraints:      17576
160.89/161.47	c INPROCESSING
160.89/161.47	c GARBAGE COLLECT
160.89/161.47	c GLOBAL bounds - >= -3212 @ 158.343
175.65/176.26	c #Conflicts:      38000 | #Constraints:      14612
175.65/176.26	c #Conflicts:      39000 | #Constraints:      15612
175.65/176.26	c GLOBAL bounds - >= -3212 @ 173.057
177.84/178.41	c #Conflicts:      40000 | #Constraints:      16614
177.84/178.41	c GLOBAL bounds - >= -3212 @ 175.183
178.44/179.05	c GLOBAL bounds - >= -3212 @ 175.82
179.04/179.64	c GLOBAL bounds - >= -3212 @ 176.399
187.81/188.42	c #Conflicts:      41000 | #Constraints:      17620
187.81/188.42	c INPROCESSING
187.81/188.42	c GARBAGE COLLECT
187.81/188.42	c #Conflicts:      42000 | #Constraints:      14448
187.81/188.42	c GLOBAL bounds - >= -3212 @ 184.989
188.71/189.35	c GLOBAL bounds - >= -3212 @ 185.912
189.21/189.86	c #Conflicts:      43000 | #Constraints:      15452
189.21/189.86	c GLOBAL bounds - >= -3212 @ 186.417
189.91/190.57	c GLOBAL bounds - >= -3212 @ 187.112
190.51/191.11	c GLOBAL bounds - >= -3212 @ 187.641
191.00/191.61	c GLOBAL bounds - >= -3212 @ 188.134
191.61/192.28	c GLOBAL bounds - >= -3212 @ 188.791
196.29/196.97	c #Conflicts:      44000 | #Constraints:      16462
196.29/196.97	c GLOBAL bounds - >= -3212 @ 193.459
197.09/197.78	c #Conflicts:      45000 | #Constraints:      17464
197.09/197.78	c GLOBAL bounds - >= -3212 @ 194.26
199.98/200.65	c GLOBAL bounds - >= -3212 @ 197.095
200.49/201.17	c #Conflicts:      46000 | #Constraints:      18468
200.49/201.17	c GLOBAL bounds - >= -3212 @ 197.601
202.68/203.34	c INPROCESSING
202.68/203.34	c GARBAGE COLLECT
202.68/203.34	c GLOBAL bounds - >= -3212 @ 199.742
203.38/204.01	c GLOBAL bounds - >= -3212 @ 200.399
205.38/206.05	c GLOBAL bounds - >= -3212 @ 202.42
206.16/206.83	c #Conflicts:      47000 | #Constraints:      15077
206.16/206.83	c GLOBAL bounds - >= -3212 @ 203.178
206.76/207.44	c GLOBAL bounds - >= -3212 @ 203.778
207.47/208.16	c GLOBAL bounds - >= -3212 @ 204.485
207.76/208.42	c GLOBAL bounds - >= -3212 @ 204.739
208.66/209.34	c GLOBAL bounds - >= -3212 @ 205.639
209.36/210.00	c GLOBAL bounds - >= -3212 @ 206.298
210.16/210.83	c #Conflicts:      48000 | #Constraints:      16089
210.16/210.83	c GLOBAL bounds - >= -3212 @ 207.108
211.35/212.00	c GLOBAL bounds - >= -3212 @ 208.266
212.14/212.85	c GLOBAL bounds - >= -3212 @ 209.097
213.45/214.18	c #Conflicts:      49000 | #Constraints:      17095
213.45/214.18	c GLOBAL bounds - >= -3212 @ 210.413
214.54/215.24	c GLOBAL bounds - >= -3212 @ 211.463
215.14/215.82	c GLOBAL bounds - >= -3212 @ 212.037
215.64/216.32	c GLOBAL bounds - >= -3212 @ 212.536
216.44/217.15	c GLOBAL bounds - >= -3212 @ 213.354
216.74/217.48	c GLOBAL bounds - >= -3212 @ 213.676
217.64/218.33	c GLOBAL bounds - >= -3212 @ 214.511
219.63/220.39	c #Conflicts:      50000 | #Constraints:      18109
219.63/220.39	c GLOBAL bounds - >= -3212 @ 216.559
224.22/224.98	c #Conflicts:      51000 | #Constraints:      19111
224.22/224.98	c INPROCESSING
224.22/224.98	c GARBAGE COLLECT
224.22/224.98	c GLOBAL bounds - >= -3212 @ 221.107
225.32/226.06	c GLOBAL bounds - >= -3212 @ 222.166
226.51/227.23	c GLOBAL bounds - >= -3212 @ 223.321
227.60/228.39	c #Conflicts:      52000 | #Constraints:      15525
227.60/228.39	c GLOBAL bounds - >= -3212 @ 224.462
228.31/229.07	c GLOBAL bounds - >= -3212 @ 225.128
233.50/234.21	c #Conflicts:      53000 | #Constraints:      16529
233.50/234.21	c GLOBAL bounds - >= -3212 @ 230.242
242.07/242.88	c #Conflicts:      54000 | #Constraints:      17531
242.07/242.88	c GLOBAL bounds - >= -3212 @ 238.869
244.37/245.13	c #Conflicts:      55000 | #Constraints:      18533
244.37/245.13	c GLOBAL bounds - >= -3212 @ 241.098
252.24/253.05	c #Conflicts:      56000 | #Constraints:      19535
252.24/253.05	c INPROCESSING
252.24/253.05	c GARBAGE COLLECT
252.24/253.05	c #Conflicts:      57000 | #Constraints:      15755
252.24/253.05	c GLOBAL bounds - >= -3212 @ 248.946
253.64/254.40	c GLOBAL bounds - >= -3212 @ 250.277
254.24/255.07	c GLOBAL bounds - >= -3212 @ 250.934
254.93/255.72	c #Conflicts:      58000 | #Constraints:      16761
254.93/255.72	c GLOBAL bounds - >= -3212 @ 251.568
256.13/256.92	c GLOBAL bounds - >= -3212 @ 252.75
259.82/260.66	c #Conflicts:      59000 | #Constraints:      17765
259.82/260.66	c GLOBAL bounds - >= -3212 @ 256.459
261.22/262.01	c GLOBAL bounds - >= -3212 @ 257.798
262.51/263.31	c GLOBAL bounds - >= -3212 @ 259.084
264.22/265.08	c #Conflicts:      60000 | #Constraints:      18771
264.22/265.08	c GLOBAL bounds - >= -3212 @ 260.825
265.51/266.32	c GLOBAL bounds - >= -3212 @ 262.057
266.61/267.42	c GLOBAL bounds - >= -3212 @ 263.142
271.29/272.11	c #Conflicts:      61000 | #Constraints:      19777
271.29/272.11	c INPROCESSING
271.29/272.11	c GARBAGE COLLECT
271.29/272.11	c GLOBAL bounds - >= -3212 @ 267.795
272.19/273.06	c GLOBAL bounds - >= -3212 @ 268.728
276.07/276.95	c #Conflicts:      62000 | #Constraints:      15773
276.07/276.95	c GLOBAL bounds - >= -3212 @ 272.601
278.56/279.40	c #Conflicts:      63000 | #Constraints:      16775
278.56/279.40	c GLOBAL bounds - >= -3212 @ 275.022
279.07/279.96	c GLOBAL bounds - >= -3212 @ 275.57
279.76/280.69	c GLOBAL bounds - >= -3212 @ 276.284
280.46/281.30	c GLOBAL bounds - >= -3212 @ 276.884
281.06/281.91	c GLOBAL bounds - >= -3212 @ 277.489
311.19/312.16	c #Conflicts:      64000 | #Constraints:      17785
311.19/312.16	c #Conflicts:      65000 | #Constraints:      18785
311.19/312.16	c #Conflicts:      66000 | #Constraints:      19785
311.19/312.16	c INPROCESSING
311.19/312.16	c GARBAGE COLLECT
311.19/312.16	c #Conflicts:      67000 | #Constraints:      15590
311.19/312.16	c GLOBAL bounds - >= -3212 @ 307.588
312.28/313.25	c GLOBAL bounds - >= -3212 @ 308.669
330.92/331.97	c #Conflicts:      68000 | #Constraints:      16594
330.92/331.97	c #Conflicts:      69000 | #Constraints:      17594
330.92/331.97	c #Conflicts:      70000 | #Constraints:      18594
330.92/331.97	c GLOBAL bounds - >= -3212 @ 327.265
331.72/332.73	c #Conflicts:      71000 | #Constraints:      19596
331.72/332.73	c GLOBAL bounds - >= -3212 @ 328.009
333.42/334.44	c GLOBAL bounds - >= -3212 @ 329.701
334.41/335.42	c GLOBAL bounds - >= -3212 @ 330.67
337.21/338.27	c #Conflicts:      72000 | #Constraints:      20602
337.21/338.27	c INPROCESSING
337.21/338.27	c GARBAGE COLLECT
337.21/338.27	c GLOBAL bounds - >= -3212 @ 333.496
338.20/339.21	c GLOBAL bounds - >= -3212 @ 334.419
339.00/340.03	c GLOBAL bounds - >= -3212 @ 335.231
339.50/340.50	c GLOBAL bounds - >= -3212 @ 335.695
340.29/341.31	c #Conflicts:      73000 | #Constraints:      16213
340.29/341.31	c GLOBAL bounds - >= -3212 @ 336.49
340.79/341.80	c GLOBAL bounds - >= -3212 @ 336.973
341.20/342.28	c GLOBAL bounds - >= -3212 @ 337.446
341.89/342.96	c GLOBAL bounds - >= -3212 @ 338.117
342.39/343.49	c GLOBAL bounds - >= -3212 @ 338.634
354.25/355.31	c #Conflicts:      74000 | #Constraints:      17223
354.25/355.31	c #Conflicts:      75000 | #Constraints:      18223
354.25/355.31	c #Conflicts:      76000 | #Constraints:      19223
354.25/355.31	c #Conflicts:      77000 | #Constraints:      20223
354.25/355.31	c #Conflicts:      78000 | #Constraints:      21223
354.25/355.31	c INPROCESSING
354.25/355.31	c GARBAGE COLLECT
354.25/355.31	c GLOBAL bounds - >= -3212 @ 350.319
354.85/355.95	c GLOBAL bounds - >= -3212 @ 350.945
356.35/357.46	c #Conflicts:      79000 | #Constraints:      16615
356.35/357.46	c GLOBAL bounds - >= -3212 @ 352.434
357.06/358.15	c GLOBAL bounds - >= -3212 @ 353.119
357.75/358.86	c GLOBAL bounds - >= -3212 @ 353.814
358.45/359.54	c GLOBAL bounds - >= -3212 @ 354.478
361.74/362.82	c #Conflicts:      80000 | #Constraints:      17623
361.74/362.82	c GLOBAL bounds - >= -3212 @ 357.731
363.53/364.64	c GLOBAL bounds - >= -3212 @ 359.538
365.73/366.80	c #Conflicts:      81000 | #Constraints:      18627
365.73/366.80	c GLOBAL bounds - >= -3212 @ 361.673
366.13/367.27	c GLOBAL bounds - >= -3212 @ 362.145
368.72/369.82	c GLOBAL bounds - >= -3212 @ 364.659
369.21/370.31	c #Conflicts:      82000 | #Constraints:      19633
369.21/370.31	c GLOBAL bounds - >= -3212 @ 365.139
370.21/371.34	c GLOBAL bounds - >= -3212 @ 366.157
370.91/372.05	c GLOBAL bounds - >= -3212 @ 366.864
371.51/372.66	c GLOBAL bounds - >= -3212 @ 367.469
372.11/373.27	c GLOBAL bounds - >= -3212 @ 368.071
372.70/373.88	c GLOBAL bounds - >= -3212 @ 368.672
373.30/374.46	c #Conflicts:      83000 | #Constraints:      20645
373.30/374.46	c GLOBAL bounds - >= -3212 @ 369.242
374.10/375.21	c GLOBAL bounds - >= -3212 @ 369.976
374.61/375.78	c GLOBAL bounds - >= -3212 @ 370.537
375.30/376.43	c GLOBAL bounds - >= -3212 @ 371.185
375.80/377.00	c GLOBAL bounds - >= -3212 @ 371.739
376.49/377.65	c GLOBAL bounds - >= -3212 @ 372.384
377.50/378.69	c GLOBAL bounds - >= -3212 @ 373.402
381.68/382.85	c #Conflicts:      84000 | #Constraints:      21659
381.68/382.85	c INPROCESSING
381.68/382.85	c GARBAGE COLLECT
381.68/382.85	c #Conflicts:      85000 | #Constraints:      16793
381.68/382.85	c GLOBAL bounds - >= -3212 @ 377.519
392.56/393.79	c #Conflicts:      86000 | #Constraints:      17795
392.56/393.79	c #Conflicts:      87000 | #Constraints:      18795
392.56/393.79	c #Conflicts:      88000 | #Constraints:      19795
392.56/393.79	c #Conflicts:      89000 | #Constraints:      20795
392.56/393.79	c #Conflicts:      90000 | #Constraints:      21795
392.56/393.79	c INPROCESSING
392.56/393.79	c GARBAGE COLLECT
392.56/393.79	c GLOBAL bounds - >= -3212 @ 388.328
394.25/395.48	c #Conflicts:      91000 | #Constraints:      16838
394.25/395.48	c GLOBAL bounds - >= -3212 @ 390.008
395.95/397.15	c #Conflicts:      92000 | #Constraints:      17840
395.95/397.15	c GLOBAL bounds - >= -3212 @ 391.659
406.32/407.58	c #Conflicts:      93000 | #Constraints:      18842
406.32/407.58	c #Conflicts:      94000 | #Constraints:      19842
406.32/407.58	c GLOBAL bounds - >= -3212 @ 402.047
407.21/408.45	c GLOBAL bounds - >= -3212 @ 402.901
408.71/409.96	c GLOBAL bounds - >= -3212 @ 404.394
409.61/410.84	c #Conflicts:      95000 | #Constraints:      20848
409.61/410.84	c GLOBAL bounds - >= -3212 @ 405.266
413.59/414.85	c GLOBAL bounds - >= -3212 @ 409.235
417.69/418.99	c #Conflicts:      96000 | #Constraints:      21852
417.69/418.99	c INPROCESSING
417.69/418.99	c GARBAGE COLLECT
417.69/418.99	c GLOBAL bounds - >= -3212 @ 413.329
423.57/424.84	c #Conflicts:      97000 | #Constraints:      16688
423.57/424.84	c #Conflicts:      98000 | #Constraints:      17688
423.57/424.84	c GLOBAL bounds - >= -3212 @ 419.147
426.86/428.17	c #Conflicts:      99000 | #Constraints:      18690
426.86/428.17	c GLOBAL bounds - >= -3212 @ 422.452
607.44/609.24	c #Conflicts:     100000 | #Constraints:      19692
607.44/609.24	c #Conflicts:     101000 | #Constraints:      20692
607.44/609.24	c #Conflicts:     102000 | #Constraints:      21692
607.44/609.24	c #Conflicts:     103000 | #Constraints:      22692
607.44/609.24	c INPROCESSING
607.44/609.24	c GARBAGE COLLECT
607.44/609.24	c #Conflicts:     104000 | #Constraints:      17302
607.44/609.24	c #Conflicts:     105000 | #Constraints:      18302
607.44/609.24	c #Conflicts:     106000 | #Constraints:      19302
607.44/609.24	c #Conflicts:     107000 | #Constraints:      20302
607.44/609.24	c #Conflicts:     108000 | #Constraints:      21302
607.44/609.24	c #Conflicts:     109000 | #Constraints:      22302
607.44/609.24	c #Conflicts:     110000 | #Constraints:      23302
607.44/609.24	c INPROCESSING
607.44/609.24	c GARBAGE COLLECT
607.44/609.24	c #Conflicts:     111000 | #Constraints:      17699
607.44/609.24	c GLOBAL bounds - >= -3212 @ 602.752
613.13/614.97	c #Conflicts:     112000 | #Constraints:      18701
613.13/614.97	c GLOBAL bounds - >= -3212 @ 608.442
615.72/617.50	c GLOBAL bounds - >= -3212 @ 610.955
651.62/653.51	c #Conflicts:     113000 | #Constraints:      19705
651.62/653.51	c #Conflicts:     114000 | #Constraints:      20705
651.62/653.51	c #Conflicts:     115000 | #Constraints:      21705
651.62/653.51	c #Conflicts:     116000 | #Constraints:      22705
651.62/653.51	c #Conflicts:     117000 | #Constraints:      23705
651.62/653.51	c INPROCESSING
651.62/653.51	c GARBAGE COLLECT
651.62/653.51	c GLOBAL bounds - >= -3212 @ 646.782
652.72/654.65	c GLOBAL bounds - >= -3212 @ 647.913
653.62/655.59	c #Conflicts:     118000 | #Constraints:      17919
653.62/655.59	c GLOBAL bounds - >= -3212 @ 648.834
654.12/656.10	c GLOBAL bounds - >= -3212 @ 649.341
655.41/657.33	c GLOBAL bounds - >= -3212 @ 650.551
656.11/658.06	c GLOBAL bounds - >= -3212 @ 651.279
659.79/661.70	c #Conflicts:     119000 | #Constraints:      18927
659.79/661.70	c GLOBAL bounds - >= -3212 @ 654.883
663.39/665.30	c #Conflicts:     120000 | #Constraints:      19929
663.39/665.30	c GLOBAL bounds - >= -3212 @ 658.444
665.58/667.59	c #Conflicts:     121000 | #Constraints:      20931
665.58/667.59	c GLOBAL bounds - >= -3212 @ 660.715
709.25/711.33	c #Conflicts:     122000 | #Constraints:      21933
709.25/711.33	c #Conflicts:     123000 | #Constraints:      22933
709.25/711.33	c #Conflicts:     124000 | #Constraints:      23933
709.25/711.33	c INPROCESSING
709.25/711.33	c GARBAGE COLLECT
709.25/711.33	c GLOBAL bounds - >= -3212 @ 704.263
754.12/756.32	c #Conflicts:     125000 | #Constraints:      17933
754.12/756.32	c #Conflicts:     126000 | #Constraints:      18933
754.12/756.32	c #Conflicts:     127000 | #Constraints:      19933
754.12/756.32	c #Conflicts:     128000 | #Constraints:      20933
754.12/756.32	c GLOBAL bounds - >= -3212 @ 749.041
766.39/768.69	c #Conflicts:     129000 | #Constraints:      21935
766.39/768.69	c GLOBAL bounds - >= -3212 @ 761.345
782.25/784.53	c #Conflicts:     130000 | #Constraints:      22937
782.25/784.53	c #Conflicts:     131000 | #Constraints:      23937
782.25/784.53	c GLOBAL bounds - >= -3212 @ 777.098
786.84/789.15	c INPROCESSING
786.84/789.15	c GARBAGE COLLECT
786.84/789.15	c GLOBAL bounds - >= -3212 @ 781.676
788.43/790.71	c #Conflicts:     132000 | #Constraints:      17745
788.43/790.71	c GLOBAL bounds - >= -3212 @ 783.219
806.48/808.85	c #Conflicts:     133000 | #Constraints:      18747
806.48/808.85	c #Conflicts:     134000 | #Constraints:      19747
806.48/808.85	c GLOBAL bounds - >= -3212 @ 801.278
807.38/809.78	c #Conflicts:     135000 | #Constraints:      20749
807.38/809.78	c GLOBAL bounds - >= -3212 @ 802.196
816.05/818.49	c #Conflicts:     136000 | #Constraints:      21751
816.05/818.49	c #Conflicts:     137000 | #Constraints:      22751
816.05/818.49	c #Conflicts:     138000 | #Constraints:      23751
816.05/818.49	c GLOBAL bounds - >= -3212 @ 810.794
817.15/819.55	c GLOBAL bounds - >= -3212 @ 811.846
818.24/820.65	c GLOBAL bounds - >= -3212 @ 812.929
825.43/827.87	c #Conflicts:     139000 | #Constraints:      24757
825.43/827.87	c INPROCESSING
825.43/827.87	c GARBAGE COLLECT
825.43/827.87	c #Conflicts:     140000 | #Constraints:      18365
825.43/827.87	c GLOBAL bounds - >= -3212 @ 820.098
826.52/828.99	c GLOBAL bounds - >= -3212 @ 821.202
827.42/829.84	c GLOBAL bounds - >= -3212 @ 822.049
828.42/830.86	c #Conflicts:     141000 | #Constraints:      19371
828.42/830.86	c GLOBAL bounds - >= -3212 @ 823.049
830.01/832.46	c GLOBAL bounds - >= -3212 @ 824.633
858.83/861.36	c #Conflicts:     142000 | #Constraints:      20375
858.83/861.36	c #Conflicts:     143000 | #Constraints:      21375
858.83/861.36	c #Conflicts:     144000 | #Constraints:      22375
858.83/861.36	c #Conflicts:     145000 | #Constraints:      23375
858.83/861.36	c #Conflicts:     146000 | #Constraints:      24375
858.83/861.36	c #Conflicts:     147000 | #Constraints:      25375
858.83/861.36	c INPROCESSING
858.83/861.36	c GARBAGE COLLECT
858.83/861.36	c #Conflicts:     148000 | #Constraints:      18800
858.83/861.36	c #Conflicts:     149000 | #Constraints:      19800
858.83/861.36	c #Conflicts:     150000 | #Constraints:      20800
858.83/861.36	c #Conflicts:     151000 | #Constraints:      21800
858.83/861.36	c #Conflicts:     152000 | #Constraints:      22800
858.83/861.36	c #Conflicts:     153000 | #Constraints:      23800
858.83/861.36	c #Conflicts:     154000 | #Constraints:      24800
858.83/861.36	c #Conflicts:     155000 | #Constraints:      25800
858.83/861.36	c INPROCESSING
858.83/861.36	c GARBAGE COLLECT
858.83/861.36	c #Conflicts:     156000 | #Constraints:      19017
858.83/861.36	c #Conflicts:     157000 | #Constraints:      20017
858.83/861.36	c GLOBAL bounds - >= -3212 @ 853.217
859.43/861.99	c GLOBAL bounds - >= -3212 @ 853.84
868.11/870.66	c #Conflicts:     158000 | #Constraints:      21021
868.11/870.66	c #Conflicts:     159000 | #Constraints:      22021
868.11/870.66	c #Conflicts:     160000 | #Constraints:      23021
868.11/870.66	c GLOBAL bounds - >= -3212 @ 862.436
873.88/876.48	c #Conflicts:     161000 | #Constraints:      24023
873.88/876.48	c GLOBAL bounds - >= -3212 @ 868.212
884.46/887.08	c #Conflicts:     162000 | #Constraints:      25025
884.46/887.08	c #Conflicts:     163000 | #Constraints:      26025
884.46/887.08	c GLOBAL bounds - >= -3212 @ 878.723
888.25/890.85	c INPROCESSING
888.25/890.85	c GARBAGE COLLECT
888.25/890.85	c GLOBAL bounds - >= -3212 @ 882.464
891.24/893.86	c #Conflicts:     164000 | #Constraints:      18922
891.24/893.86	c GLOBAL bounds - >= -3212 @ 885.444
893.44/896.05	c #Conflicts:     165000 | #Constraints:      19924
893.44/896.05	c GLOBAL bounds - >= -3212 @ 887.592
895.03/897.62	c GLOBAL bounds - >= -3212 @ 889.134
927.03/929.79	c #Conflicts:     166000 | #Constraints:      20928
927.03/929.79	c #Conflicts:     167000 | #Constraints:      21928
927.03/929.79	c #Conflicts:     168000 | #Constraints:      22928
927.03/929.79	c #Conflicts:     169000 | #Constraints:      23928
927.03/929.79	c GLOBAL bounds - >= -3212 @ 921.153
930.83/933.57	c #Conflicts:     170000 | #Constraints:      24930
930.83/933.57	c GLOBAL bounds - >= -3212 @ 924.908
942.00/944.74	c #Conflicts:     171000 | #Constraints:      25932
942.00/944.74	c INPROCESSING
942.00/944.74	c GARBAGE COLLECT
942.00/944.74	c GLOBAL bounds - >= -3212 @ 936.014
943.69/946.46	c #Conflicts:     172000 | #Constraints:      18767
943.69/946.46	c GLOBAL bounds - >= -3212 @ 937.715
944.59/947.30	c GLOBAL bounds - >= -3212 @ 938.547
945.98/948.74	c #Conflicts:     173000 | #Constraints:      19771
945.98/948.74	c GLOBAL bounds - >= -3212 @ 939.972
946.68/949.47	c GLOBAL bounds - >= -3212 @ 940.685
947.39/950.17	c GLOBAL bounds - >= -3212 @ 941.379
948.58/951.37	c GLOBAL bounds - >= -3212 @ 942.565
949.48/952.27	c GLOBAL bounds - >= -3212 @ 943.457
950.38/953.19	c #Conflicts:     174000 | #Constraints:      20781
950.38/953.19	c GLOBAL bounds - >= -3212 @ 944.364
951.17/953.97	c GLOBAL bounds - >= -3212 @ 945.133
951.97/954.76	c GLOBAL bounds - >= -3212 @ 945.911
953.16/955.92	c GLOBAL bounds - >= -3212 @ 947.064
955.37/958.15	c #Conflicts:     175000 | #Constraints:      21789
955.37/958.15	c GLOBAL bounds - >= -3212 @ 949.258
955.95/958.75	c GLOBAL bounds - >= -3212 @ 949.846
957.66/960.46	c GLOBAL bounds - >= -3212 @ 951.544
958.45/961.22	c GLOBAL bounds - >= -3212 @ 952.296
959.85/962.69	c GLOBAL bounds - >= -3212 @ 953.747
960.75/963.55	c #Conflicts:     176000 | #Constraints:      22799
960.75/963.55	c GLOBAL bounds - >= -3212 @ 954.598
961.44/964.20	c GLOBAL bounds - >= -3212 @ 955.237
962.04/964.88	c GLOBAL bounds - >= -3212 @ 955.904
964.04/966.80	c GLOBAL bounds - >= -3212 @ 957.807
965.83/968.63	c GLOBAL bounds - >= -3212 @ 959.612
970.12/972.99	c #Conflicts:     177000 | #Constraints:      23809
970.12/972.99	c GLOBAL bounds - >= -3212 @ 963.944
971.52/974.33	c GLOBAL bounds - >= -3212 @ 965.267
972.62/975.49	c GLOBAL bounds - >= -3212 @ 966.412
975.11/977.99	c #Conflicts:     178000 | #Constraints:      24815
975.11/977.99	c GLOBAL bounds - >= -3212 @ 968.897
975.70/978.58	c GLOBAL bounds - >= -3212 @ 969.472
976.99/979.83	c GLOBAL bounds - >= -3212 @ 970.709
978.99/981.89	c GLOBAL bounds - >= -3212 @ 972.754
980.20/983.10	c #Conflicts:     179000 | #Constraints:      25823
980.20/983.10	c GLOBAL bounds - >= -3212 @ 973.949
982.08/984.98	c GLOBAL bounds - >= -3212 @ 975.807
984.19/987.02	c GLOBAL bounds - >= -3212 @ 977.83
985.67/988.57	c GLOBAL bounds - >= -3212 @ 979.362
986.87/989.76	c GLOBAL bounds - >= -3212 @ 980.497
987.97/990.82	c #Conflicts:     180000 | #Constraints:      26833
987.97/990.82	c GLOBAL bounds - >= -3212 @ 981.463
988.97/991.86	c GLOBAL bounds - >= -3212 @ 982.454
991.55/994.45	c INPROCESSING
991.55/994.45	c GARBAGE COLLECT
991.55/994.45	c GLOBAL bounds - >= -3212 @ 984.963
992.16/995.01	c GLOBAL bounds - >= -3212 @ 985.506
992.45/995.35	c GLOBAL bounds - >= -3212 @ 985.842
992.86/995.79	c GLOBAL bounds - >= -3212 @ 986.273
993.35/996.22	c GLOBAL bounds - >= -3212 @ 986.691
994.64/997.50	c #Conflicts:     181000 | #Constraints:      19362
994.64/997.50	c GLOBAL bounds - >= -3212 @ 987.949
995.34/998.24	c GLOBAL bounds - >= -3212 @ 988.684
1001.83/1004.75	c #Conflicts:     182000 | #Constraints:      20366
1001.83/1004.75	c #Conflicts:     183000 | #Constraints:      21366
1001.83/1004.75	c GLOBAL bounds - >= -3212 @ 995.145
1003.13/1006.10	c GLOBAL bounds - >= -3212 @ 996.486
1014.39/1017.38	c #Conflicts:     184000 | #Constraints:      22370
1014.39/1017.38	c #Conflicts:     185000 | #Constraints:      23370
1014.39/1017.38	c GLOBAL bounds - >= -3212 @ 1007.69
1016.79/1019.79	c GLOBAL bounds - >= -3212 @ 1010.07
1018.09/1021.07	c GLOBAL bounds - >= -3212 @ 1011.33
1021.88/1024.85	c #Conflicts:     186000 | #Constraints:      24376
1021.88/1024.85	c GLOBAL bounds - >= -3212 @ 1015.07
1022.97/1025.91	c GLOBAL bounds - >= -3212 @ 1016.11
1024.17/1027.14	c #Conflicts:     187000 | #Constraints:      25380
1024.17/1027.14	c GLOBAL bounds - >= -3212 @ 1017.33
1036.43/1039.42	c #Conflicts:     188000 | #Constraints:      26382
1036.43/1039.42	c #Conflicts:     189000 | #Constraints:      27382
1036.43/1039.42	c INPROCESSING
1036.43/1039.42	c GARBAGE COLLECT
1036.43/1039.42	c GLOBAL bounds - >= -3212 @ 1029.52
1087.59/1090.73	c #Conflicts:     190000 | #Constraints:      19847
1087.59/1090.73	c #Conflicts:     191000 | #Constraints:      20847
1087.59/1090.73	c #Conflicts:     192000 | #Constraints:      21847
1087.59/1090.73	c #Conflicts:     193000 | #Constraints:      22847
1087.59/1090.73	c #Conflicts:     194000 | #Constraints:      23847
1087.59/1090.73	c GLOBAL bounds - >= -3212 @ 1080.64
1160.29/1163.68	c #Conflicts:     195000 | #Constraints:      24849
1160.29/1163.68	c #Conflicts:     196000 | #Constraints:      25849
1160.29/1163.68	c #Conflicts:     197000 | #Constraints:      26849
1160.29/1163.68	c #Conflicts:     198000 | #Constraints:      27849
1160.29/1163.68	c INPROCESSING
1160.29/1163.68	c GARBAGE COLLECT
1160.29/1163.68	c GLOBAL bounds - >= -3212 @ 1153.32
1169.46/1172.88	c #Conflicts:     199000 | #Constraints:      20093
1169.46/1172.88	c #Conflicts:     200000 | #Constraints:      21093
1169.46/1172.88	c #Conflicts:     201000 | #Constraints:      22093
1169.46/1172.88	c #Conflicts:     202000 | #Constraints:      23093
1169.46/1172.88	c #Conflicts:     203000 | #Constraints:      24093
1169.46/1172.88	c GLOBAL bounds - >= -3212 @ 1162.41
1180.53/1183.99	c #Conflicts:     204000 | #Constraints:      25095
1180.53/1183.99	c #Conflicts:     205000 | #Constraints:      26095
1180.53/1183.99	c #Conflicts:     206000 | #Constraints:      27095
1180.53/1183.99	c #Conflicts:     207000 | #Constraints:      28095
1180.53/1183.99	c INPROCESSING
1180.53/1183.99	c GARBAGE COLLECT
1180.53/1183.99	c #Conflicts:     208000 | #Constraints:      20153
1180.53/1183.99	c #Conflicts:     209000 | #Constraints:      21153
1180.53/1183.99	c GLOBAL bounds - >= -3212 @ 1173.42
1194.60/1198.07	c #Conflicts:     210000 | #Constraints:      22155
1194.60/1198.07	c #Conflicts:     211000 | #Constraints:      23155
1194.60/1198.07	c #Conflicts:     212000 | #Constraints:      24155
1194.60/1198.07	c #Conflicts:     213000 | #Constraints:      25155
1194.60/1198.07	c #Conflicts:     214000 | #Constraints:      26155
1194.60/1198.07	c #Conflicts:     215000 | #Constraints:      27155
1194.60/1198.07	c GLOBAL bounds - >= -3212 @ 1187.39
1205.17/1208.66	c #Conflicts:     216000 | #Constraints:      28157
1205.17/1208.66	c INPROCESSING
1205.17/1208.66	c GARBAGE COLLECT
1205.17/1208.66	c #Conflicts:     217000 | #Constraints:      19950
1205.17/1208.66	c #Conflicts:     218000 | #Constraints:      20950
1205.17/1208.66	c GLOBAL bounds - >= -3212 @ 1197.92
1210.85/1214.31	c #Conflicts:     219000 | #Constraints:      21952
1210.85/1214.31	c GLOBAL bounds - >= -3212 @ 1203.55
1211.56/1215.03	c GLOBAL bounds - >= -3212 @ 1204.26
1213.64/1217.18	c #Conflicts:     220000 | #Constraints:      22956
1213.64/1217.18	c GLOBAL bounds - >= -3212 @ 1206.4
1225.12/1228.61	c #Conflicts:     221000 | #Constraints:      23958
1225.12/1228.61	c GLOBAL bounds - >= -3212 @ 1217.71
1235.29/1238.89	c #Conflicts:     222000 | #Constraints:      24960
1235.29/1238.89	c GLOBAL bounds - >= -3212 @ 1227.96
1237.68/1241.20	c #Conflicts:     223000 | #Constraints:      25962
1237.68/1241.20	c GLOBAL bounds - >= -3212 @ 1230.25
1247.56/1251.13	c #Conflicts:     224000 | #Constraints:      26964
1247.56/1251.13	c GLOBAL bounds - >= -3212 @ 1240.13
1323.05/1326.82	c #Conflicts:     225000 | #Constraints:      27966
1323.05/1326.82	c #Conflicts:     226000 | #Constraints:      28966
1323.05/1326.82	c INPROCESSING
1323.05/1326.82	c GARBAGE COLLECT
1323.05/1326.82	c #Conflicts:     227000 | #Constraints:      20560
1323.05/1326.82	c #Conflicts:     228000 | #Constraints:      21560
1323.05/1326.82	c #Conflicts:     229000 | #Constraints:      22560
1323.05/1326.82	c #Conflicts:     230000 | #Constraints:      23560
1323.05/1326.82	c GLOBAL bounds - >= -3212 @ 1315.54
1326.25/1330.05	c #Conflicts:     231000 | #Constraints:      24562
1326.25/1330.05	c GLOBAL bounds - >= -3212 @ 1318.75
1333.52/1337.35	c #Conflicts:     232000 | #Constraints:      25564
1333.52/1337.35	c GLOBAL bounds - >= -3212 @ 1326.01
1346.29/1350.16	c #Conflicts:     233000 | #Constraints:      26566
1346.29/1350.16	c #Conflicts:     234000 | #Constraints:      27566
1346.29/1350.16	c #Conflicts:     235000 | #Constraints:      28566
1346.29/1350.16	c #Conflicts:     236000 | #Constraints:      29566
1346.29/1350.16	c INPROCESSING
1346.29/1350.16	c GARBAGE COLLECT
1346.29/1350.16	c #Conflicts:     237000 | #Constraints:      20973
1346.29/1350.16	c #Conflicts:     238000 | #Constraints:      21973
1346.29/1350.16	c GLOBAL bounds - >= -3212 @ 1338.71
1348.48/1352.35	c #Conflicts:     239000 | #Constraints:      22975
1348.48/1352.35	c GLOBAL bounds - >= -3212 @ 1340.87
1348.99/1352.86	c GLOBAL bounds - >= -3212 @ 1341.38
1351.97/1355.81	c #Conflicts:     240000 | #Constraints:      23979
1351.97/1355.81	c GLOBAL bounds - >= -3212 @ 1344.29
1355.37/1359.23	c #Conflicts:     241000 | #Constraints:      24981
1355.37/1359.23	c GLOBAL bounds - >= -3212 @ 1347.67
1356.46/1360.30	c GLOBAL bounds - >= -3212 @ 1348.72
1358.66/1362.55	c #Conflicts:     242000 | #Constraints:      25985
1358.66/1362.55	c GLOBAL bounds - >= -3212 @ 1350.96
1363.25/1367.11	c #Conflicts:     243000 | #Constraints:      26987
1363.25/1367.11	c GLOBAL bounds - >= -3212 @ 1355.48
1368.24/1372.18	c #Conflicts:     244000 | #Constraints:      27989
1368.24/1372.18	c GLOBAL bounds - >= -3212 @ 1360.51
1369.73/1373.66	c GLOBAL bounds - >= -3212 @ 1361.97
1372.91/1376.86	c GLOBAL bounds - >= -3212 @ 1365.13
1374.91/1378.83	c #Conflicts:     245000 | #Constraints:      28995
1374.91/1378.83	c GLOBAL bounds - >= -3212 @ 1367.08
1375.61/1379.56	c GLOBAL bounds - >= -3212 @ 1367.79
1376.70/1380.60	c GLOBAL bounds - >= -3212 @ 1368.82
1379.60/1383.52	c #Conflicts:     246000 | #Constraints:      30001
1379.60/1383.52	c INPROCESSING
1379.60/1383.52	c GARBAGE COLLECT
1379.60/1383.52	c GLOBAL bounds - >= -3212 @ 1371.73
1381.00/1384.94	c #Conflicts:     247000 | #Constraints:      21169
1381.00/1384.94	c GLOBAL bounds - >= -3212 @ 1373.12
1383.99/1387.95	c #Conflicts:     248000 | #Constraints:      22171
1383.99/1387.95	c GLOBAL bounds - >= -3212 @ 1376.07
1385.10/1389.08	c #Conflicts:     249000 | #Constraints:      23173
1385.10/1389.08	c GLOBAL bounds - >= -3212 @ 1377.19
1386.28/1390.23	c GLOBAL bounds - >= -3212 @ 1378.33
1387.97/1391.96	c GLOBAL bounds - >= -3212 @ 1380.03
1389.28/1393.23	c #Conflicts:     250000 | #Constraints:      24179
1389.28/1393.23	c GLOBAL bounds - >= -3212 @ 1381.29
1391.97/1395.98	c GLOBAL bounds - >= -3212 @ 1384.02
1394.46/1398.41	c #Conflicts:     251000 | #Constraints:      25183
1394.46/1398.41	c GLOBAL bounds - >= -3212 @ 1386.42
1397.06/1401.01	c #Conflicts:     252000 | #Constraints:      26185
1397.06/1401.01	c GLOBAL bounds - >= -3212 @ 1388.99
1397.96/1401.96	c GLOBAL bounds - >= -3212 @ 1389.94
1398.95/1402.96	c GLOBAL bounds - >= -3212 @ 1390.92
1399.85/1403.82	c GLOBAL bounds - >= -3212 @ 1391.78
1400.24/1404.23	c GLOBAL bounds - >= -3212 @ 1392.18
1402.05/1406.01	c #Conflicts:     253000 | #Constraints:      27195
1402.05/1406.01	c GLOBAL bounds - >= -3212 @ 1393.95
1404.43/1408.41	c GLOBAL bounds - >= -3212 @ 1396.32
1405.43/1409.45	c GLOBAL bounds - >= -3212 @ 1397.35
1406.93/1410.93	c #Conflicts:     254000 | #Constraints:      28201
1406.93/1410.93	c GLOBAL bounds - >= -3212 @ 1398.81
1409.03/1413.01	c GLOBAL bounds - >= -3212 @ 1400.87
1465.77/1469.95	c #Conflicts:     255000 | #Constraints:      29205
1465.77/1469.95	c #Conflicts:     256000 | #Constraints:      30205
1465.77/1469.95	c INPROCESSING
1465.77/1469.95	c GARBAGE COLLECT
1465.77/1469.95	c #Conflicts:     257000 | #Constraints:      21224
1465.77/1469.95	c #Conflicts:     258000 | #Constraints:      22224
1465.77/1469.95	c #Conflicts:     259000 | #Constraints:      23224
1465.77/1469.95	c #Conflicts:     260000 | #Constraints:      24224
1465.77/1469.95	c #Conflicts:     261000 | #Constraints:      25224
1465.77/1469.95	c #Conflicts:     262000 | #Constraints:      26224
1465.77/1469.95	c GLOBAL bounds - >= -3212 @ 1457.41
1467.97/1472.17	c #Conflicts:     263000 | #Constraints:      27226
1467.97/1472.17	c GLOBAL bounds - >= -3212 @ 1459.61
1474.45/1478.65	c #Conflicts:     264000 | #Constraints:      28228
1474.45/1478.65	c GLOBAL bounds - >= -3212 @ 1465.95
1476.54/1480.73	c #Conflicts:     265000 | #Constraints:      29230
1476.54/1480.73	c GLOBAL bounds - >= -3212 @ 1467.99
1477.44/1481.68	c GLOBAL bounds - >= -3212 @ 1468.93
1478.34/1482.57	c GLOBAL bounds - >= -3212 @ 1469.81
1484.61/1488.84	c #Conflicts:     266000 | #Constraints:      30236
1484.61/1488.84	c INPROCESSING
1484.61/1488.84	c GARBAGE COLLECT
1484.61/1488.84	c #Conflicts:     267000 | #Constraints:      21037
1484.61/1488.84	c GLOBAL bounds - >= -3212 @ 1476.03
1508.45/1512.79	c #Conflicts:     268000 | #Constraints:      22039
1508.45/1512.79	c #Conflicts:     269000 | #Constraints:      23039
1508.45/1512.79	c #Conflicts:     270000 | #Constraints:      24039
1508.45/1512.79	c #Conflicts:     271000 | #Constraints:      25039
1508.45/1512.79	c GLOBAL bounds - >= -3212 @ 1499.8
1509.65/1513.97	c #Conflicts:     272000 | #Constraints:      26041
1509.65/1513.97	c GLOBAL bounds - >= -3212 @ 1500.96
1511.45/1515.74	c GLOBAL bounds - >= -3212 @ 1502.7
1517.23/1521.55	c #Conflicts:     273000 | #Constraints:      27045
1517.23/1521.55	c #Conflicts:     274000 | #Constraints:      28045
1517.23/1521.55	c GLOBAL bounds - >= -3212 @ 1508.47
1518.93/1523.25	c GLOBAL bounds - >= -3212 @ 1510.14
1522.72/1527.07	c #Conflicts:     275000 | #Constraints:      29049
1522.72/1527.07	c GLOBAL bounds - >= -3212 @ 1513.92
1536.48/1540.89	c #Conflicts:     276000 | #Constraints:      30051
1536.48/1540.89	c #Conflicts:     277000 | #Constraints:      31051
1536.48/1540.89	c INPROCESSING
1536.48/1540.89	c GARBAGE COLLECT
1536.48/1540.89	c #Conflicts:     278000 | #Constraints:      21665
1536.48/1540.89	c GLOBAL bounds - >= -3212 @ 1527.67
1551.34/1555.72	c #Conflicts:     279000 | #Constraints:      22667
1551.34/1555.72	c #Conflicts:     280000 | #Constraints:      23667
1551.34/1555.72	c #Conflicts:     281000 | #Constraints:      24667
1551.34/1555.72	c GLOBAL bounds - >= -3212 @ 1542.42
1561.62/1566.06	c #Conflicts:     282000 | #Constraints:      25669
1561.62/1566.06	c GLOBAL bounds - >= -3212 @ 1552.71
1568.49/1572.93	c #Conflicts:     283000 | #Constraints:      26671
1568.49/1572.93	c #Conflicts:     284000 | #Constraints:      27671
1568.49/1572.93	c GLOBAL bounds - >= -3212 @ 1559.55
1569.59/1574.01	c GLOBAL bounds - >= -3212 @ 1560.61
1587.35/1591.85	c #Conflicts:     285000 | #Constraints:      28675
1587.35/1591.85	c #Conflicts:     286000 | #Constraints:      29675
1587.35/1591.85	c #Conflicts:     287000 | #Constraints:      30675
1587.35/1591.85	c GLOBAL bounds - >= -3212 @ 1578.37
1588.74/1593.28	c GLOBAL bounds - >= -3212 @ 1579.76
1597.62/1602.17	c #Conflicts:     288000 | #Constraints:      31679
1597.62/1602.17	c INPROCESSING
1597.62/1602.17	c GARBAGE COLLECT
1597.62/1602.17	c #Conflicts:     289000 | #Constraints:      22075
1597.62/1602.17	c GLOBAL bounds - >= -3212 @ 1588.57
1599.41/1603.91	c #Conflicts:     290000 | #Constraints:      23077
1599.41/1603.91	c GLOBAL bounds - >= -3212 @ 1590.29
1610.59/1615.15	c #Conflicts:     291000 | #Constraints:      24079
1610.59/1615.15	c #Conflicts:     292000 | #Constraints:      25079
1610.59/1615.15	c GLOBAL bounds - >= -3212 @ 1601.45
2020.84/2026.63	c #Conflicts:     293000 | #Constraints:      26081
2020.84/2026.63	c #Conflicts:     294000 | #Constraints:      27081
2020.84/2026.63	c #Conflicts:     295000 | #Constraints:      28081
2020.84/2026.63	c #Conflicts:     296000 | #Constraints:      29081
2020.84/2026.63	c #Conflicts:     297000 | #Constraints:      30081
2020.84/2026.63	c #Conflicts:     298000 | #Constraints:      31081
2020.84/2026.63	c #Conflicts:     299000 | #Constraints:      32081
2020.84/2026.63	c INPROCESSING
2020.84/2026.63	c GARBAGE COLLECT
2020.84/2026.63	c #Conflicts:     300000 | #Constraints:      22292
2020.84/2026.63	c #Conflicts:     301000 | #Constraints:      23292
2020.84/2026.63	c #Conflicts:     302000 | #Constraints:      24292
2020.84/2026.63	c #Conflicts:     303000 | #Constraints:      25292
2020.84/2026.63	c #Conflicts:     304000 | #Constraints:      26292
2020.84/2026.63	c #Conflicts:     305000 | #Constraints:      27292
2020.84/2026.63	c #Conflicts:     306000 | #Constraints:      28292
2020.84/2026.63	c #Conflicts:     307000 | #Constraints:      29292
2020.84/2026.63	c #Conflicts:     308000 | #Constraints:      30292
2020.84/2026.63	c #Conflicts:     309000 | #Constraints:      31292
2020.84/2026.63	c #Conflicts:     310000 | #Constraints:      32292
2020.84/2026.63	c INPROCESSING
2020.84/2026.63	c GARBAGE COLLECT
2020.84/2026.63	c #Conflicts:     311000 | #Constraints:      22323
2020.84/2026.63	c #Conflicts:     312000 | #Constraints:      23323
2020.84/2026.63	c #Conflicts:     313000 | #Constraints:      24323
2020.84/2026.63	c #Conflicts:     314000 | #Constraints:      25323
2020.84/2026.63	c #Conflicts:     315000 | #Constraints:      26323
2020.84/2026.63	c GLOBAL bounds - >= -3212 @ 2011.3
2026.92/2032.72	c #Conflicts:     316000 | #Constraints:      27325
2026.92/2032.72	c #Conflicts:     317000 | #Constraints:      28325
2026.92/2032.72	c GLOBAL bounds - >= -3212 @ 2017.32
2028.32/2034.17	c #Conflicts:     318000 | #Constraints:      29327
2028.32/2034.17	c GLOBAL bounds - >= -3212 @ 2018.75
2028.92/2034.70	c GLOBAL bounds - >= -3212 @ 2019.27
2040.28/2046.12	c #Conflicts:     319000 | #Constraints:      30331
2040.28/2046.12	c #Conflicts:     320000 | #Constraints:      31331
2040.28/2046.12	c GLOBAL bounds - >= -3212 @ 2030.61
2227.11/2233.55	c #Conflicts:     321000 | #Constraints:      32333
2227.11/2233.55	c INPROCESSING
2227.11/2233.55	c GARBAGE COLLECT
2227.11/2233.55	c #Conflicts:     322000 | #Constraints:      22123
2227.11/2233.55	c #Conflicts:     323000 | #Constraints:      23123
2227.11/2233.55	c #Conflicts:     324000 | #Constraints:      24123
2227.11/2233.55	c #Conflicts:     325000 | #Constraints:      25123
2227.11/2233.55	c #Conflicts:     326000 | #Constraints:      26123
2227.11/2233.55	c #Conflicts:     327000 | #Constraints:      27123
2227.11/2233.55	c #Conflicts:     328000 | #Constraints:      28123
2227.11/2233.55	c #Conflicts:     329000 | #Constraints:      29123
2227.11/2233.55	c #Conflicts:     330000 | #Constraints:      30123
2227.11/2233.55	c #Conflicts:     331000 | #Constraints:      31123
2227.11/2233.55	c #Conflicts:     332000 | #Constraints:      32123
2227.11/2233.55	c #Conflicts:     333000 | #Constraints:      33123
2227.11/2233.55	c INPROCESSING
2227.11/2233.55	c GARBAGE COLLECT
2227.11/2233.55	c #Conflicts:     334000 | #Constraints:      22720
2227.11/2233.55	c #Conflicts:     335000 | #Constraints:      23720
2227.11/2233.55	c #Conflicts:     336000 | #Constraints:      24720
2227.11/2233.55	c #Conflicts:     337000 | #Constraints:      25720
2227.11/2233.55	c #Conflicts:     338000 | #Constraints:      26720
2227.11/2233.55	c #Conflicts:     339000 | #Constraints:      27720
2227.11/2233.55	c #Conflicts:     340000 | #Constraints:      28720
2227.11/2233.55	c #Conflicts:     341000 | #Constraints:      29720
2227.11/2233.55	c #Conflicts:     342000 | #Constraints:      30720
2227.11/2233.55	c #Conflicts:     343000 | #Constraints:      31720
2227.11/2233.55	c #Conflicts:     344000 | #Constraints:      32720
2227.11/2233.55	c #Conflicts:     345000 | #Constraints:      33720
2227.11/2233.55	c INPROCESSING
2227.11/2233.55	c GARBAGE COLLECT
2227.11/2233.55	c GLOBAL bounds - >= -3212 @ 2217.19
2229.61/2236.06	c #Conflicts:     346000 | #Constraints:      23121
2229.61/2236.06	c GLOBAL bounds - >= -3212 @ 2219.66
2230.19/2236.60	c GLOBAL bounds - >= -3212 @ 2220.2
2240.57/2247.06	c #Conflicts:     347000 | #Constraints:      24125
2240.57/2247.06	c #Conflicts:     348000 | #Constraints:      25125
2240.57/2247.06	c #Conflicts:     349000 | #Constraints:      26125
2240.57/2247.06	c GLOBAL bounds - >= -3212 @ 2230.57
2249.25/2255.72	c #Conflicts:     350000 | #Constraints:      27127
2249.25/2255.72	c #Conflicts:     351000 | #Constraints:      28127
2249.25/2255.72	c #Conflicts:     352000 | #Constraints:      29127
2249.25/2255.72	c #Conflicts:     353000 | #Constraints:      30127
2249.25/2255.72	c GLOBAL bounds - >= -3212 @ 2239.08
2252.43/2258.94	c #Conflicts:     354000 | #Constraints:      31129
2252.43/2258.94	c GLOBAL bounds - >= -3212 @ 2242.26
2256.32/2262.83	c #Conflicts:     355000 | #Constraints:      32131
2256.32/2262.83	c GLOBAL bounds - >= -3212 @ 2246.08
2257.02/2263.51	c GLOBAL bounds - >= -3212 @ 2246.75
2346.94/2353.76	c #Conflicts:     356000 | #Constraints:      33135
2346.94/2353.76	c #Conflicts:     357000 | #Constraints:      34135
2346.94/2353.76	c INPROCESSING
2346.94/2353.76	c GARBAGE COLLECT
2346.94/2353.76	c #Conflicts:     358000 | #Constraints:      23328
2346.94/2353.76	c #Conflicts:     359000 | #Constraints:      24328
2346.94/2353.76	c #Conflicts:     360000 | #Constraints:      25328
2346.94/2353.76	c #Conflicts:     361000 | #Constraints:      26328
2346.94/2353.76	c #Conflicts:     362000 | #Constraints:      27328
2346.94/2353.76	c #Conflicts:     363000 | #Constraints:      28328
2346.94/2353.76	c #Conflicts:     364000 | #Constraints:      29328
2346.94/2353.76	c #Conflicts:     365000 | #Constraints:      30328
2346.94/2353.76	c #Conflicts:     366000 | #Constraints:      31328
2346.94/2353.76	c GLOBAL bounds - >= -3212 @ 2336.58
2352.73/2359.56	c #Conflicts:     367000 | #Constraints:      32330
2352.73/2359.56	c #Conflicts:     368000 | #Constraints:      33330
2352.73/2359.56	c GLOBAL bounds - >= -3212 @ 2342.31
2353.13/2359.99	c GLOBAL bounds - >= -3212 @ 2342.72
2502.47/2509.77	c #Conflicts:     369000 | #Constraints:      34334
2502.47/2509.77	c INPROCESSING
2502.47/2509.77	c GARBAGE COLLECT
2502.47/2509.77	c #Conflicts:     370000 | #Constraints:      23325
2502.47/2509.77	c #Conflicts:     371000 | #Constraints:      24325
2502.47/2509.77	c #Conflicts:     372000 | #Constraints:      25325
2502.47/2509.77	c #Conflicts:     373000 | #Constraints:      26325
2502.47/2509.77	c #Conflicts:     374000 | #Constraints:      27325
2502.47/2509.77	c #Conflicts:     375000 | #Constraints:      28325
2502.47/2509.77	c #Conflicts:     376000 | #Constraints:      29325
2502.47/2509.77	c #Conflicts:     377000 | #Constraints:      30325
2502.47/2509.77	c #Conflicts:     378000 | #Constraints:      31325
2502.47/2509.77	c #Conflicts:     379000 | #Constraints:      32325
2502.47/2509.77	c #Conflicts:     380000 | #Constraints:      33325
2502.47/2509.77	c #Conflicts:     381000 | #Constraints:      34325
2502.47/2509.77	c INPROCESSING
2502.47/2509.77	c GARBAGE COLLECT
2502.47/2509.77	c #Conflicts:     382000 | #Constraints:      23127
2502.47/2509.77	c #Conflicts:     383000 | #Constraints:      24127
2502.47/2509.77	c GLOBAL bounds - >= -3212 @ 2491.74
2636.64/2644.30	c #Conflicts:     384000 | #Constraints:      25129
2636.64/2644.30	c #Conflicts:     385000 | #Constraints:      26129
2636.64/2644.30	c #Conflicts:     386000 | #Constraints:      27129
2636.64/2644.30	c #Conflicts:     387000 | #Constraints:      28129
2636.64/2644.30	c #Conflicts:     388000 | #Constraints:      29129
2636.64/2644.30	c #Conflicts:     389000 | #Constraints:      30129
2636.64/2644.30	c #Conflicts:     390000 | #Constraints:      31129
2636.64/2644.30	c #Conflicts:     391000 | #Constraints:      32129
2636.64/2644.30	c #Conflicts:     392000 | #Constraints:      33129
2636.64/2644.30	c GLOBAL bounds - >= -3212 @ 2625.78
2636.84/2644.53	c GLOBAL bounds - >= -3212 @ 2626
2647.02/2654.70	c #Conflicts:     393000 | #Constraints:      34133
2647.02/2654.70	c #Conflicts:     394000 | #Constraints:      35133
2647.02/2654.70	c INPROCESSING
2647.02/2654.70	c GARBAGE COLLECT
2647.02/2654.70	c GLOBAL bounds - >= -3212 @ 2636.02
2903.00/2911.56	c #Conflicts:     395000 | #Constraints:      23721
2903.00/2911.56	c #Conflicts:     396000 | #Constraints:      24721
2903.00/2911.56	c #Conflicts:     397000 | #Constraints:      25721
2903.00/2911.56	c #Conflicts:     398000 | #Constraints:      26721
2903.00/2911.56	c #Conflicts:     399000 | #Constraints:      27721
2903.00/2911.56	c #Conflicts:     400000 | #Constraints:      28721
2903.00/2911.56	c #Conflicts:     401000 | #Constraints:      29721
2903.00/2911.56	c #Conflicts:     402000 | #Constraints:      30721
2903.00/2911.56	c #Conflicts:     403000 | #Constraints:      31721
2903.00/2911.56	c #Conflicts:     404000 | #Constraints:      32721
2903.00/2911.56	c #Conflicts:     405000 | #Constraints:      33721
2903.00/2911.56	c #Conflicts:     406000 | #Constraints:      34721
2903.00/2911.56	c #Conflicts:     407000 | #Constraints:      35721
2903.00/2911.56	c INPROCESSING
2903.00/2911.56	c GARBAGE COLLECT
2903.00/2911.56	c #Conflicts:     408000 | #Constraints:      24182
2903.00/2911.56	c #Conflicts:     409000 | #Constraints:      25182
2903.00/2911.56	c #Conflicts:     410000 | #Constraints:      26182
2903.00/2911.56	c #Conflicts:     411000 | #Constraints:      27182
2903.00/2911.56	c #Conflicts:     412000 | #Constraints:      28182
2903.00/2911.56	c #Conflicts:     413000 | #Constraints:      29182
2903.00/2911.56	c #Conflicts:     414000 | #Constraints:      30182
2903.00/2911.56	c #Conflicts:     415000 | #Constraints:      31182
2903.00/2911.56	c GLOBAL bounds - >= -3212 @ 2891.67
2903.60/2912.15	c GLOBAL bounds - >= -3212 @ 2892.25
2983.95/2992.72	c #Conflicts:     416000 | #Constraints:      32186
2983.95/2992.72	c #Conflicts:     417000 | #Constraints:      33186
2983.95/2992.72	c #Conflicts:     418000 | #Constraints:      34186
2983.95/2992.72	c #Conflicts:     419000 | #Constraints:      35186
2983.95/2992.72	c #Conflicts:     420000 | #Constraints:      36186
2983.95/2992.72	c INPROCESSING
2983.95/2992.72	c GARBAGE COLLECT
2983.95/2992.72	c #Conflicts:     421000 | #Constraints:      24380
2983.95/2992.72	c #Conflicts:     422000 | #Constraints:      25380
2983.95/2992.72	c #Conflicts:     423000 | #Constraints:      26380
2983.95/2992.72	c #Conflicts:     424000 | #Constraints:      27380
2983.95/2992.72	c GLOBAL bounds - >= -3212 @ 2972.4
2986.14/2994.93	c GLOBAL bounds - >= -3212 @ 2974.6
3116.84/3126.00	c #Conflicts:     425000 | #Constraints:      28384
3116.84/3126.00	c #Conflicts:     426000 | #Constraints:      29384
3116.84/3126.00	c #Conflicts:     427000 | #Constraints:      30384
3116.84/3126.00	c #Conflicts:     428000 | #Constraints:      31384
3116.84/3126.00	c #Conflicts:     429000 | #Constraints:      32384
3116.84/3126.00	c #Conflicts:     430000 | #Constraints:      33384
3116.84/3126.00	c #Conflicts:     431000 | #Constraints:      34384
3116.84/3126.00	c #Conflicts:     432000 | #Constraints:      35384
3116.84/3126.00	c #Conflicts:     433000 | #Constraints:      36384
3116.84/3126.00	c INPROCESSING
3116.84/3126.00	c GARBAGE COLLECT
3116.84/3126.00	c #Conflicts:     434000 | #Constraints:      24401
3116.84/3126.00	c #Conflicts:     435000 | #Constraints:      25401
3116.84/3126.00	c GLOBAL bounds - >= -3212 @ 3105.16
3117.14/3126.34	c GLOBAL bounds - >= -3212 @ 3105.5
3121.92/3131.19	c #Conflicts:     436000 | #Constraints:      26405
3121.92/3131.19	c GLOBAL bounds - >= -3212 @ 3110.31
3469.03/3479.36	c #Conflicts:     437000 | #Constraints:      27407
3469.03/3479.36	c #Conflicts:     438000 | #Constraints:      28407
3469.03/3479.36	c #Conflicts:     439000 | #Constraints:      29407
3469.03/3479.36	c #Conflicts:     440000 | #Constraints:      30407
3469.03/3479.36	c #Conflicts:     441000 | #Constraints:      31407
3469.03/3479.36	c #Conflicts:     442000 | #Constraints:      32407
3469.03/3479.36	c #Conflicts:     443000 | #Constraints:      33407
3469.03/3479.36	c #Conflicts:     444000 | #Constraints:      34407
3469.03/3479.36	c #Conflicts:     445000 | #Constraints:      35407
3469.03/3479.36	c #Conflicts:     446000 | #Constraints:      36407
3469.03/3479.36	c INPROCESSING
3469.03/3479.36	c GARBAGE COLLECT
3469.03/3479.36	c #Conflicts:     447000 | #Constraints:      24196
3469.03/3479.36	c #Conflicts:     448000 | #Constraints:      25196
3469.03/3479.36	c #Conflicts:     449000 | #Constraints:      26196
3469.03/3479.36	c #Conflicts:     450000 | #Constraints:      27196
3469.03/3479.36	c #Conflicts:     451000 | #Constraints:      28196
3469.03/3479.36	c #Conflicts:     452000 | #Constraints:      29196
3469.03/3479.36	c #Conflicts:     453000 | #Constraints:      30196
3469.03/3479.36	c #Conflicts:     454000 | #Constraints:      31196
3469.03/3479.36	c #Conflicts:     455000 | #Constraints:      32196
3469.03/3479.36	c #Conflicts:     456000 | #Constraints:      33196
3469.03/3479.36	c #Conflicts:     457000 | #Constraints:      34196
3469.03/3479.36	c #Conflicts:     458000 | #Constraints:      35196
3469.03/3479.36	c #Conflicts:     459000 | #Constraints:      36196
3469.03/3479.36	c #Conflicts:     460000 | #Constraints:      37196
3469.03/3479.36	c INPROCESSING
3469.03/3479.36	c GARBAGE COLLECT
3469.03/3479.36	c #Conflicts:     461000 | #Constraints:      24810
3469.03/3479.36	c #Conflicts:     462000 | #Constraints:      25810
3469.03/3479.36	c #Conflicts:     463000 | #Constraints:      26810
3469.03/3479.36	c #Conflicts:     464000 | #Constraints:      27810
3469.03/3479.36	c GLOBAL bounds - >= -3212 @ 3457.08
3469.83/3480.19	c GLOBAL bounds - >= -3212 @ 3457.89
3600.03/3610.70	c #Conflicts:     465000 | #Constraints:      28814
3600.03/3610.70	c #Conflicts:     466000 | #Constraints:      29814
3600.03/3610.70	c #Conflicts:     467000 | #Constraints:      30814
3600.03/3610.70	c #Conflicts:     468000 | #Constraints:      31814
3600.03/3610.70	c #Conflicts:     469000 | #Constraints:      32814
3600.03/3610.70	c #Conflicts:     470000 | #Constraints:      33814
3600.03/3610.70	c #Conflicts:     471000 | #Constraints:      34814
3600.03/3610.70	c #Conflicts:     472000 | #Constraints:      35814
3600.03/3610.70	c #Conflicts:     473000 | #Constraints:      36814
3600.03/3610.70	c #Conflicts:     474000 | #Constraints:      37814
3600.03/3610.70	c INPROCESSING
3600.03/3610.70	c GARBAGE COLLECT
3600.03/3610.70	c #Conflicts:     475000 | #Constraints:      25217
3600.03/3610.70	c #Conflicts:     476000 | #Constraints:      26217
3600.03/3610.70	c #Conflicts:     477000 | #Constraints:      27217
3600.03/3610.70	c #Conflicts:     478000 | #Constraints:      28217
3600.03/3610.70	c #Conflicts:     479000 | #Constraints:      29217
3600.03/3610.70	c #Conflicts:     480000 | #Constraints:      30217
3600.03/3610.70	c cpu time 3587.8 s
3600.03/3610.70	c deterministic time 2 2.00e+00
3600.03/3610.70	c optimization time 3587.76 s
3600.03/3610.70	c total solve time 0 s
3600.03/3610.70	c core-guided solve time 0 s
3600.03/3610.70	c propagation time 0.003554 s
3600.03/3610.70	c conflict analysis time 0 s
3600.03/3610.70	c propagations 1
3600.03/3610.70	c resolve steps 0
3600.03/3610.70	c decisions 0
3600.03/3610.70	c conflicts 0
3600.03/3610.70	c restarts 0
3600.03/3610.70	c inprocessing phases 0
3600.03/3610.70	c garbage collections 0 ,( -nan )
3600.03/3610.70	c input clauses 10619 ,( 93.42 )
3600.03/3610.70	c input cardinalities 748 ,( 6.58 )
3600.03/3610.70	c input general constraints 0 ,( 0.00 )
3600.03/3610.70	c input average constraint length 4.70
3600.03/3610.70	c input average constraint degree 2.33
3600.03/3610.70	c learned clauses 0 ,( 0.00 )
3600.03/3610.70	c learned cardinalities 0 ,( 0.00 )
3600.03/3610.70	c learned general constraints 0 ,( 0.00 )
3600.03/3610.70	c learned average constraint length 0.00
3600.03/3610.70	c learned average constraint degree 0.00
3600.03/3610.70	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.03/3610.70	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.03/3610.70	c watched   constraints 0 ,( -nan ) 
3600.03/3610.70	c counting  constraints 0 ,( -nan ) 
3600.03/3610.70	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.03/3610.70	c gcd simplifications 0
3600.03/3610.70	c detected cardinalities 0
3600.03/3610.70	c weakened non-implied lits 0
3600.03/3610.70	c weakened non-implying lits 0
3600.03/3610.70	c original variables 8405
3600.03/3610.70	c clausal propagations 0
3600.03/3610.70	c cardinality propagations 0
3600.03/3610.70	c watched propagations 0
3600.03/3610.70	c counting propagations 0
3600.03/3610.70	c watch lookups 0
3600.03/3610.70	c watch backjump lookups 0
3600.03/3610.70	c watch checks 0
3600.03/3610.70	c propagation checks 0
3600.03/3610.70	c constraint additions 0
3600.03/3610.70	c trail pops 0
3600.03/3610.70	c formula constraints 11367
3600.03/3610.70	c learned constraints 0
3600.03/3610.70	c bound constraints 0
3600.03/3610.70	c core-guided constraints 0
3600.03/3610.70	c encountered formula constraints 0
3600.03/3610.70	c encountered learned constraints 0
3600.03/3610.70	c encountered bound constraints 0
3600.03/3610.70	c encountered core-guided constraints 0
3600.03/3610.70	c LP total time 0 s
3600.03/3610.70	c LP solve time 0 s
3600.03/3610.70	c LP constraints added 0
3600.03/3610.70	c LP constraints removed 0
3600.03/3610.70	c LP pivots internal 0
3600.03/3610.70	c LP pivots root 0
3600.03/3610.70	c LP calls 0
3600.03/3610.70	c LP optimalities 0
3600.03/3610.70	c LP no pivot count 0
3600.03/3610.70	c LP infeasibilities 0
3600.03/3610.70	c LP valid Farkas constraints 0
3600.03/3610.70	c LP learned Farkas constraints 0
3600.03/3610.70	c LP basis resets 0
3600.03/3610.70	c LP cycling count 0
3600.03/3610.70	c LP singular count 0
3600.03/3610.70	c LP no primal count 0
3600.03/3610.70	c LP no farkas count 0
3600.03/3610.70	c LP other issue count 0
3600.03/3610.70	c LP Gomory cuts 0
3600.03/3610.70	c LP learned cuts 0
3600.03/3610.70	c LP deleted cuts 0
3600.03/3610.70	c LP encountered Gomory constraints 0
3600.03/3610.70	c LP encountered Farkas constraints 0
3600.03/3610.70	c LP encountered learned Farkas constraints 0
3600.03/3610.70	c CG auxiliary variables introduced 0
3600.03/3610.70	c CG solutions found 0
3600.03/3610.70	c CG cores constructed 0
3600.03/3610.70	c CG core cardinality constraints returned 0
3600.03/3610.70	c CG unit cores 0
3600.03/3610.70	c CG single cores 0
3600.03/3610.70	c CG blocks removed during cardinality reduction 0
3600.03/3610.70	c CG first core best 0
3600.03/3610.70	c CG decision core best 0
3600.03/3610.70	c CG core reduction tie 0
3600.03/3610.70	c CG core degree average 0.00
3600.03/3610.70	c CG core slack average 0.00
3600.03/3610.70	c CG core upper bound improvements 0
3600.03/3610.70	c STR number of successful calls 0
3600.03/3610.70	c STR number of unsuccessful calls 0
3600.03/3610.70	c STR number of inconclusive calls 0
3600.03/3610.70	c STR number of successful attempts 0
3600.03/3610.70	c STR number of unsuccessful attempts 0
3600.03/3610.70	c STR number of inconclusive attempts 0
3600.03/3610.70	c STR average degree increase per successful call inf
3600.03/3610.70	c STR average degree increase per successful attempt inf
3600.03/3610.70	c STR total number of conflicts for successful attempts 0
3600.03/3610.70	c STR total number of conflicts for unsuccessful attempts 0
3600.03/3610.70	c STR total number of conflicts for inconclusive attempts 0
3600.03/3610.70	c STR average number of conflicts per successful attempt inf
3600.03/3610.70	c STR average number of conflicts per unsuccessful attempt inf
3600.03/3610.70	c STR average number of conflicts per inconclusive attempt inf
3600.03/3610.70	c AVG.sumWPerc -nan 
3600.03/3610.70	c bigint constraints 0 
3600.03/3610.70	s UNKNOWN
3600.03/3610.70	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: 63708 MiB (62819 MiB free)
  memory of node 1: 64465 MiB (63173 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484216-1751287275/watcher-4484216-1751287275 -o /tmp/evaluation-result-4484216-1751287275/solver-4484216-1751287275 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751280053-37510 --watchdog 3760 run-opt.sh HOME/instance-4484216-1751287275.opb 

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


[startup+0.100062 s]*
/proc/loadavg: 4.09 4.09 4.09 3/259 38287
/proc/meminfo: memFree=128990800/131249988 swapFree=33010684/33010684
[pid=38283] ppid=38273 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/38283/stat : 38283 (run-opt.sh) S 38273 38283 37500 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 44405107 4292608 704 18446744073709551615 94012785385472 94012786280005 140721379728848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94012786519056 94012786566800 94012798054400 140721379731821 140721379731944 140721379731944 140721379737546 0
/proc/38283/statm: 1048 704 672 219 0 110 0
[pid=38285] ppid=38283 vsize=81644 memory=33428 CPUtime=0.06 cores=0,2
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 37500 0 -1 4194304 6098 0 0 0 4 2 0 0 20 0 1 0 44405109 83603456 8357 18446744073709551615 4227072 8923433 140737326451328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10080256 140737326459298 140737326459432 140737326459432 140737326465002 0
/proc/38285/statm: 20411 8357 2272 1147 0 7838 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 85836 KiB
Current children cumulated memory: 36244 KiB

[startup+0.205635 s]*
/proc/loadavg: 4.09 4.09 4.09 5/257 38294
/proc/meminfo: memFree=128991056/131249988 swapFree=33010684/33010684
[pid=38283] ppid=38273 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/38283/stat : 38283 (run-opt.sh) S 38273 38283 37500 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 44405107 4292608 704 18446744073709551615 94012785385472 94012786280005 140721379728848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94012786519056 94012786566800 94012798054400 140721379731821 140721379731944 140721379731944 140721379737546 0
/proc/38283/statm: 1048 704 672 219 0 110 0
[pid=38285] ppid=38283 vsize=81644 memory=35808 CPUtime=0.17 cores=0,2
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 37500 0 -1 4194304 6121 0 0 0 12 5 0 0 20 0 1 0 44405109 83603456 8952 18446744073709551615 4227072 8923433 140737326451328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10080256 140737326459298 140737326459432 140737326459432 140737326465002 0
/proc/38285/statm: 20411 8952 2336 1147 0 7838 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 85836 KiB
Current children cumulated memory: 38624 KiB

[startup+0.305176 s]*
/proc/loadavg: 4.09 4.09 4.09 3/256 38304
/proc/meminfo: memFree=128991056/131249988 swapFree=33010684/33010684
[pid=38283] ppid=38273 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/38283/stat : 38283 (run-opt.sh) S 38273 38283 37500 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 44405107 4292608 704 18446744073709551615 94012785385472 94012786280005 140721379728848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94012786519056 94012786566800 94012798054400 140721379731821 140721379731944 140721379731944 140721379737546 0
/proc/38283/statm: 1048 704 672 219 0 110 0
[pid=38285] ppid=38283 vsize=83364 memory=37600 CPUtime=0.27 cores=0,2
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 37500 0 -1 4194304 6576 0 0 0 17 10 0 0 20 0 1 0 44405109 85364736 9400 18446744073709551615 4227072 8923433 140737326451328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10080256 140737326459298 140737326459432 140737326459432 140737326465002 0
/proc/38285/statm: 20841 9400 2336 1147 0 8268 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 87556 KiB
Current children cumulated memory: 40416 KiB

[startup+0.700171 s]
/proc/loadavg: 4.09 4.09 4.09 4/262 38319
/proc/meminfo: memFree=129004308/131249988 swapFree=33010684/33010684
[pid=38283] ppid=38273 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/38283/stat : 38283 (run-opt.sh) S 38273 38283 37500 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 44405107 4292608 704 18446744073709551615 94012785385472 94012786280005 140721379728848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94012786519056 94012786566800 94012798054400 140721379731821 140721379731944 140721379731944 140721379737546 0
/proc/38283/statm: 1048 704 672 219 0 110 0
[pid=38285] ppid=38283 vsize=90768 memory=44128 CPUtime=0.65 cores=0,2
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 37500 0 -1 4194304 8225 0 0 0 38 27 0 0 20 0 1 0 44405109 92946432 11032 18446744073709551615 4227072 8923433 140737326451328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10080256 140737326459298 140737326459432 140737326459432 140737326465002 0
/proc/38285/statm: 22692 11032 2336 1147 0 10119 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 94960 KiB
Current children cumulated memory: 46944 KiB

[startup+1.5002 s]
/proc/loadavg: 4.09 4.09 4.09 5/261 38347
/proc/meminfo: memFree=128989224/131249988 swapFree=33010684/33010684
[pid=38283] ppid=38273 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/38283/stat : 38283 (run-opt.sh) S 38273 38283 37500 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 44405107 4292608 704 18446744073709551615 94012785385472 94012786280005 140721379728848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94012786519056 94012786566800 94012798054400 140721379731821 140721379731944 140721379731944 140721379737546 0
/proc/38283/statm: 1048 704 672 219 0 110 0
[pid=38285] ppid=38283 vsize=114340 memory=69040 CPUtime=1.45 cores=0,2
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 37500 0 -1 4194304 13411 0 0 0 92 53 0 0 20 0 1 0 44405109 117084160 17260 18446744073709551615 4227072 8923433 140737326451328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10080256 140737326459298 140737326459432 140737326459432 140737326465002 0
/proc/38285/statm: 28585 17260 2336 1147 0 16012 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 118532 KiB
Current children cumulated memory: 71856 KiB

[startup+3.10544 s]
/proc/loadavg: 4.08 4.08 4.09 5/267 38357
/proc/meminfo: memFree=128884456/131249988 swapFree=33010684/33010684
[pid=38283] ppid=38273 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/38283/stat : 38283 (run-opt.sh) S 38273 38283 37500 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 44405107 4292608 704 18446744073709551615 94012785385472 94012786280005 140721379728848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94012786519056 94012786566800 94012798054400 140721379731821 140721379731944 140721379731944 140721379737546 0
/proc/38283/statm: 1048 704 672 219 0 110 0
[pid=38285] ppid=38283 vsize=131156 memory=84936 CPUtime=3.05 cores=0,2
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 37500 0 -1 4194304 16378 0 0 0 223 82 0 0 20 0 1 0 44405109 134303744 21234 18446744073709551615 4227072 8923433 140737326451328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10080256 140737326459298 140737326459432 140737326459432 140737326465002 0
/proc/38285/statm: 32789 21234 2336 1147 0 20216 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 135348 KiB
Current children cumulated memory: 87752 KiB

[startup+6.30018 s]
/proc/loadavg: 4.08 4.08 4.09 5/267 38357
/proc/meminfo: memFree=128541220/131249988 swapFree=33010684/33010684
[pid=38283] ppid=38273 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/38283/stat : 38283 (run-opt.sh) S 38273 38283 37500 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 44405107 4292608 704 18446744073709551615 94012785385472 94012786280005 140721379728848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94012786519056 94012786566800 94012798054400 140721379731821 140721379731944 140721379731944 140721379737546 0
/proc/38283/statm: 1048 704 672 219 0 110 0
[pid=38285] ppid=38283 vsize=431568 memory=331448 CPUtime=6.23 cores=0,2
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 37500 0 -1 4194304 62707 0 0 0 526 97 0 0 20 0 1 0 44405109 441925632 82862 18446744073709551615 4227072 8923433 140737326451328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10080256 140737326459298 140737326459432 140737326459432 140737326465002 0
/proc/38285/statm: 107892 82862 2336 1147 0 95319 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 435760 KiB
Current children cumulated memory: 334264 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.08 4.09 5/267 38357
/proc/meminfo: memFree=128207772/131249988 swapFree=33010684/33010684
[pid=38283] ppid=38273 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/38283/stat : 38283 (run-opt.sh) S 38273 38283 37500 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 44405107 4292608 704 18446744073709551615 94012785385472 94012786280005 140721379728848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94012786519056 94012786566800 94012798054400 140721379731821 140721379731944 140721379731944 140721379737546 0
/proc/38283/statm: 1048 704 672 219 0 110 0
[pid=38285] ppid=38283 vsize=734688 memory=564292 CPUtime=12.61 cores=0,2
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 37500 0 -1 4194304 106626 0 0 0 1148 113 0 0 20 0 1 0 44405109 752320512 141073 18446744073709551615 4227072 8923433 140737326451328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10080256 140737326459298 140737326459432 140737326459432 140737326465002 0
/proc/38285/statm: 183672 141073 2336 1147 0 171099 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 738880 KiB
Current children cumulated memory: 567108 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.10 4.09 5/267 38357
/proc/meminfo: memFree=128061772/131249988 swapFree=33010684/33010684
[pid=38283] ppid=38273 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/38283/stat : 38283 (run-opt.sh) S 38273 38283 37500 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 44405107 4292608 704 18446744073709551615 94012785385472 94012786280005 140721379728848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94012786519056 94012786566800 94012798054400 140721379731821 140721379731944 140721379731944 140721379737546 0
/proc/38283/statm: 1048 704 672 219 0 110 0
[pid=38285] ppid=38283 vsize=737748 memory=613636 CPUtime=25.38 cores=0,2
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 37500 0 -1 4194304 112305 0 0 0 2415 123 0 0 20 0 1 0 44405109 755453952 153409 18446744073709551615 4227072 8923433 140737326451328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10080256 140737326459298 140737326459432 140737326459432 140737326465002 0
/proc/38285/statm: 184437 153409 2336 1147 0 171864 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 741940 KiB
Current children cumulated memory: 616452 KiB

[startup+51.1055 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 38403
/proc/meminfo: memFree=127582124/131249988 swapFree=33010684/33010684
[pid=38283] ppid=38273 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/38283/stat : 38283 (run-opt.sh) S 38273 38283 37500 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 44405107 4292608 704 18446744073709551615 94012785385472 94012786280005 140721379728848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94012786519056 94012786566800 94012798054400 140721379731821 140721379731944 140721379731944 140721379737546 0
/proc/38283/statm: 1048 704 672 219 0 110 0
[pid=38285] ppid=38283 vsize=1284636 memory=987328 CPUtime=50.9 cores=0,2
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 37500 0 -1 4194304 186847 0 0 0 4933 157 0 0 20 0 1 0 44405109 1315467264 246832 18446744073709551615 4227072 8923433 140737326451328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10080256 140737326459298 140737326459432 140737326459432 140737326465002 0
/proc/38285/statm: 321159 246832 2336 1147 0 308586 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1288828 KiB
Current children cumulated memory: 990144 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/267 38405
/proc/meminfo: memFree=127011548/131249988 swapFree=33010684/33010684
[pid=38283] ppid=38273 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/38283/stat : 38283 (run-opt.sh) S 38273 38283 37500 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 44405107 4292608 704 18446744073709551615 94012785385472 94012786280005 140721379728848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94012786519056 94012786566800 94012798054400 140721379731821 140721379731944 140721379731944 140721379737546 0
/proc/38283/statm: 1048 704 672 219 0 110 0
[pid=38285] ppid=38283 vsize=1320444 memory=1110604 CPUtime=101.96 cores=0,2
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 37500 0 -1 4194304 206458 0 0 0 9990 206 0 0 20 0 1 0 44405109 1352134656 277651 18446744073709551615 4227072 8923433 140737326451328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10080256 140737326459298 140737326459432 140737326459432 140737326465002 0
/proc/38285/statm: 330111 277651 2336 1147 0 317538 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1324636 KiB
Current children cumulated memory: 1113420 KiB

[startup+162.3 s]
/proc/loadavg: 4.33 4.14 4.11 5/269 38409
/proc/meminfo: memFree=126194904/131249988 swapFree=33010684/33010684
[pid=38283] ppid=38273 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/38283/stat : 38283 (run-opt.sh) S 38273 38283 37500 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 44405107 4292608 704 18446744073709551615 94012785385472 94012786280005 140721379728848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94012786519056 94012786566800 94012798054400 140721379731821 140721379731944 140721379731944 140721379737546 0
/proc/38283/statm: 1048 704 672 219 0 110 0
[pid=38285] ppid=38283 vsize=1558320 memory=1274772 CPUtime=161.79 cores=0,2
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 37500 0 -1 4194304 233731 0 0 0 15915 264 0 0 20 0 1 0 44405109 1595719680 318693 18446744073709551615 4227072 8923433 140737326451328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10080256 140737326459298 140737326459432 140737326459432 140737326465002 0
/proc/38285/statm: 389580 318693 2336 1147 0 377007 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 1562512 KiB
Current children cumulated memory: 1277588 KiB

[startup+222.3 s]
/proc/loadavg: 4.23 4.15 4.11 5/269 38411
/proc/meminfo: memFree=125601940/131249988 swapFree=33010684/33010684
[pid=38283] ppid=38273 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/38283/stat : 38283 (run-opt.sh) S 38273 38283 37500 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 44405107 4292608 704 18446744073709551615 94012785385472 94012786280005 140721379728848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94012786519056 94012786566800 94012798054400 140721379731821 140721379731944 140721379731944 140721379737546 0
/proc/38283/statm: 1048 704 672 219 0 110 0
[pid=38285] ppid=38283 vsize=2286272 memory=1720388 CPUtime=221.62 cores=0,2
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 37500 0 -1 4194304 338576 0 0 0 21844 318 0 0 20 0 1 0 44405109 2341142528 430097 18446744073709551615 4227072 8923433 140737326451328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10080256 140737326459298 140737326459432 140737326459432 140737326465002 0
/proc/38285/statm: 571568 430097 2336 1147 0 558995 0

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

[pid=38285] ppid=38283 vsize=4031020 memory=3512700 CPUtime=3093.21 cores=0,2
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 37500 0 -1 4194304 678463 0 0 0 308155 1166 0 0 20 0 1 0 44405109 4127764480 878175 18446744073709551615 4227072 8923433 140737326451328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10080256 140737326459298 140737326459432 140737326459432 140737326465002 0
/proc/38285/statm: 1007755 878175 2336 1147 0 995182 0
Current children cumulated CPU time: 3093.21 s
Current children cumulated vsize: 4035212 KiB
Current children cumulated memory: 3515516 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/269 38608
/proc/meminfo: memFree=116712704/131249988 swapFree=33010684/33010684
[pid=38283] ppid=38273 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/38283/stat : 38283 (run-opt.sh) S 38273 38283 37500 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 44405107 4292608 704 18446744073709551615 94012785385472 94012786280005 140721379728848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94012786519056 94012786566800 94012798054400 140721379731821 140721379731944 140721379731944 140721379737546 0
/proc/38283/statm: 1048 704 672 219 0 110 0
[pid=38285] ppid=38283 vsize=4031020 memory=3527804 CPUtime=3153.03 cores=0,2
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 37500 0 -1 4194304 680684 0 0 0 314124 1179 0 0 20 0 1 0 44405109 4127764480 881951 18446744073709551615 4227072 8923433 140737326451328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10080256 140737326459298 140737326459432 140737326459432 140737326465002 0
/proc/38285/statm: 1007755 881951 2336 1147 0 995182 0
Current children cumulated CPU time: 3153.03 s
Current children cumulated vsize: 4035212 KiB
Current children cumulated memory: 3530620 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/267 38610
/proc/meminfo: memFree=116635128/131249988 swapFree=33010684/33010684
[pid=38283] ppid=38273 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/38283/stat : 38283 (run-opt.sh) S 38273 38283 37500 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 44405107 4292608 704 18446744073709551615 94012785385472 94012786280005 140721379728848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94012786519056 94012786566800 94012798054400 140721379731821 140721379731944 140721379731944 140721379737546 0
/proc/38283/statm: 1048 704 672 219 0 110 0
[pid=38285] ppid=38283 vsize=4031020 memory=3539444 CPUtime=3212.84 cores=0,2
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 37500 0 -1 4194304 681181 0 0 0 320101 1183 0 0 20 0 1 0 44405109 4127764480 884861 18446744073709551615 4227072 8923433 140737326451328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10080256 140737326459298 140737326459432 140737326459432 140737326465002 0
/proc/38285/statm: 1007755 884861 2336 1147 0 995182 0
Current children cumulated CPU time: 3212.84 s
Current children cumulated vsize: 4035212 KiB
Current children cumulated memory: 3542260 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/267 38613
/proc/meminfo: memFree=116630736/131249988 swapFree=33010684/33010684
[pid=38283] ppid=38273 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/38283/stat : 38283 (run-opt.sh) S 38273 38283 37500 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 44405107 4292608 704 18446744073709551615 94012785385472 94012786280005 140721379728848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94012786519056 94012786566800 94012798054400 140721379731821 140721379731944 140721379731944 140721379737546 0
/proc/38283/statm: 1048 704 672 219 0 110 0
[pid=38285] ppid=38283 vsize=4031020 memory=3539444 CPUtime=3272.65 cores=0,2
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 37500 0 -1 4194304 681181 0 0 0 326079 1186 0 0 20 0 1 0 44405109 4127764480 884861 18446744073709551615 4227072 8923433 140737326451328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10080256 140737326459298 140737326459432 140737326459432 140737326465002 0
/proc/38285/statm: 1007755 884861 2336 1147 0 995182 0
Current children cumulated CPU time: 3272.65 s
Current children cumulated vsize: 4035212 KiB
Current children cumulated memory: 3542260 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/267 38615
/proc/meminfo: memFree=116239360/131249988 swapFree=33010684/33010684
[pid=38283] ppid=38273 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/38283/stat : 38283 (run-opt.sh) S 38273 38283 37500 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 44405107 4292608 704 18446744073709551615 94012785385472 94012786280005 140721379728848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94012786519056 94012786566800 94012798054400 140721379731821 140721379731944 140721379731944 140721379737546 0
/proc/38283/statm: 1048 704 672 219 0 110 0
[pid=38285] ppid=38283 vsize=4031020 memory=3540084 CPUtime=3332.46 cores=0,2
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 37500 0 -1 4194304 681455 0 0 0 332057 1189 0 0 20 0 1 0 44405109 4127764480 885021 18446744073709551615 4227072 8923433 140737326451328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10080256 140737326459298 140737326459432 140737326459432 140737326465002 0
/proc/38285/statm: 1007755 885021 2336 1147 0 995182 0
Current children cumulated CPU time: 3332.46 s
Current children cumulated vsize: 4035212 KiB
Current children cumulated memory: 3542900 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/267 38617
/proc/meminfo: memFree=116201172/131249988 swapFree=33010684/33010684
[pid=38283] ppid=38273 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/38283/stat : 38283 (run-opt.sh) S 38273 38283 37500 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 44405107 4292608 704 18446744073709551615 94012785385472 94012786280005 140721379728848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94012786519056 94012786566800 94012798054400 140721379731821 140721379731944 140721379731944 140721379737546 0
/proc/38283/statm: 1048 704 672 219 0 110 0
[pid=38285] ppid=38283 vsize=4031020 memory=3558572 CPUtime=3392.27 cores=0,2
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 37500 0 -1 4194304 682148 0 0 0 338036 1191 0 0 20 0 1 0 44405109 4127764480 889643 18446744073709551615 4227072 8923433 140737326451328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10080256 140737326459298 140737326459432 140737326459432 140737326465002 0
/proc/38285/statm: 1007755 889643 2336 1147 0 995182 0
Current children cumulated CPU time: 3392.27 s
Current children cumulated vsize: 4035212 KiB
Current children cumulated memory: 3561388 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/267 38619
/proc/meminfo: memFree=116043116/131249988 swapFree=33010684/33010684
[pid=38283] ppid=38273 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/38283/stat : 38283 (run-opt.sh) S 38273 38283 37500 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 44405107 4292608 704 18446744073709551615 94012785385472 94012786280005 140721379728848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94012786519056 94012786566800 94012798054400 140721379731821 140721379731944 140721379731944 140721379737546 0
/proc/38283/statm: 1048 704 672 219 0 110 0
[pid=38285] ppid=38283 vsize=4031020 memory=3666600 CPUtime=3452.09 cores=0,2
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 37500 0 -1 4194304 695355 0 0 0 344010 1199 0 0 20 0 1 0 44405109 4127764480 916650 18446744073709551615 4227072 8923433 140737326451328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10080256 140737326459298 140737326459432 140737326459432 140737326465002 0
/proc/38285/statm: 1007755 916650 2336 1147 0 995182 0
Current children cumulated CPU time: 3452.09 s
Current children cumulated vsize: 4035212 KiB
Current children cumulated memory: 3669416 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/268 38628
/proc/meminfo: memFree=115985956/131249988 swapFree=33010684/33010684
[pid=38283] ppid=38273 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/38283/stat : 38283 (run-opt.sh) S 38273 38283 37500 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 44405107 4292608 704 18446744073709551615 94012785385472 94012786280005 140721379728848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94012786519056 94012786566800 94012798054400 140721379731821 140721379731944 140721379731944 140721379737546 0
/proc/38283/statm: 1048 704 672 219 0 110 0
[pid=38285] ppid=38283 vsize=4031020 memory=3666600 CPUtime=3511.9 cores=0,2
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 37500 0 -1 4194304 695401 0 0 0 349981 1209 0 0 20 0 1 0 44405109 4127764480 916650 18446744073709551615 4227072 8923433 140737326451328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10080256 140737326459298 140737326459432 140737326459432 140737326465002 0
/proc/38285/statm: 1007755 916650 2336 1147 0 995182 0
Current children cumulated CPU time: 3511.9 s
Current children cumulated vsize: 4035212 KiB
Current children cumulated memory: 3669416 KiB

[startup+3582.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/268 38630
/proc/meminfo: memFree=115936124/131249988 swapFree=33010684/33010684
[pid=38283] ppid=38273 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/38283/stat : 38283 (run-opt.sh) S 38273 38283 37500 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 44405107 4292608 704 18446744073709551615 94012785385472 94012786280005 140721379728848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94012786519056 94012786566800 94012798054400 140721379731821 140721379731944 140721379731944 140721379737546 0
/proc/38283/statm: 1048 704 672 219 0 110 0
[pid=38285] ppid=38283 vsize=4031020 memory=3666600 CPUtime=3571.71 cores=0,2
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 37500 0 -1 4194304 695465 0 0 0 355958 1213 0 0 20 0 1 0 44405109 4127764480 916650 18446744073709551615 4227072 8923433 140737326451328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10080256 140737326459298 140737326459432 140737326459432 140737326465002 0
/proc/38285/statm: 1007755 916650 2336 1147 0 995182 0
Current children cumulated CPU time: 3571.71 s
Current children cumulated vsize: 4035212 KiB
Current children cumulated memory: 3669416 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 4.08 4.08 4.09 5/267 38630
/proc/meminfo: memFree=115923864/131249988 swapFree=33010684/33010684
[pid=38283] ppid=38273 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/38283/stat : 38283 (run-opt.sh) S 38273 38283 37500 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 44405107 4292608 704 18446744073709551615 94012785385472 94012786280005 140721379728848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94012786519056 94012786566800 94012798054400 140721379731821 140721379731944 140721379731944 140721379737546 0
/proc/38283/statm: 1048 704 672 219 0 110 0
[pid=38285] ppid=38283 vsize=4031020 memory=3666600 CPUtime=3600.03 cores=0,2
/proc/38285/stat : 38285 (roundingsat) R 38283 38283 37500 0 -1 4194304 695468 0 0 0 358779 1224 0 0 20 0 1 0 44405109 4127764480 916650 18446744073709551615 4227072 8923433 140737326451328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10080256 140737326459298 140737326459432 140737326459432 140737326465002 0
/proc/38285/statm: 1007755 916650 2336 1147 0 995182 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 4035212 KiB
Current children cumulated memory: 3669416 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3610.7 s]
# the end of solver process 38283 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.00237 s
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3587.8 s, system=12.3877 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.8 s]*
/proc/loadavg: 4.08 4.08 4.09 5/266 38630
/proc/meminfo: memFree=117810692/131249988 swapFree=33010684/33010684
[pid=38285] ppid=38273 vsize=1907668 memory=1432252 CPUtime=3600.13 cores=0,2
/proc/38285/stat : 38285 (roundingsat) R 38273 38283 37500 0 -1 4194304 695475 0 0 0 358779 1234 0 0 20 0 1 0 44405109 1953452032 358063 18446744073709551615 4227072 8923433 140737326451328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10080256 140737326459298 140737326459432 140737326459432 140737326465002 0
/proc/38285/statm: 476917 358063 2432 1147 0 464344 0
Current cumulated CPU time of completed processes: 0.00237 s
Current children cumulated CPU time: 3600.13 s
Current children cumulated vsize: 1907668 KiB
Current children cumulated memory: 1432252 KiB

Child status: 2

Real time (s): 3610.85
CPU time (s): 3600.19
CPU user time (s): 3587.8
CPU system time (s): 12.3877
CPU usage (%): 99.7047
Max. virtual memory (cumulated for all children) (KiB): 4035212
Max. memory (cumulated for all children) (KiB): 3669416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.8
system time used= 12.3877
maximum resident set size= 3666984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 695697
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 273
involuntary context switches= 4831


# summary of solver processes directly reported to runsolver:
#   pid: 38283,38285
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3587.8
#   total CPU system time (s): 12.3877

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.65362 second user time and 16.7399 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-06-30 14:41:15
IDJOB=4484216
IDBENCH=146652
IDSOLVER=3350
FILE ID=nodeC020/4484216-1751287275
RUNJOBID= nodeC020-1751280053-37510
SLURM_JOB_ID= 9594223
Free space on /tmp= 433040 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484216-1751287275/watcher-4484216-1751287275 -o /tmp/evaluation-result-4484216-1751287275/solver-4484216-1751287275 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751280053-37510 --watchdog 3760  run-opt.sh HOME/instance-4484216-1751287275.opb

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

MD5SUM BENCH= b97b9bf3767749854a32fccedb37d823
RANDOM SEED=659327100

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        129017564 kB
MemAvailable:   129180980 kB
Buffers:            3280 kB
Cached:           968812 kB
SwapCached:            0 kB
Active:           942248 kB
Inactive:         661512 kB
Active(anon):     649724 kB
Inactive(anon):        0 kB
Active(file):     292524 kB
Inactive(file):   661512 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15268 kB
Writeback:             0 kB
AnonPages:        625024 kB
Mapped:           108616 kB
Shmem:             18056 kB
KReclaimable:      97240 kB
Slab:             184060 kB
SReclaimable:      97240 kB
SUnreclaim:        86820 kB
KernelStack:        4176 kB
PageTables:         4348 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    1090936 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    292864 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433032 MiB
End job on nodeC020 at 2025-06-30 15:41:26