Trace number 4496778

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.17 3610

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir10_trarea_ac.opb
MD5SUM743a21341a4102c561f444f57f0a4e7a
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 benchmark73649
Best CPU time to get the best result obtained on this benchmark11.4014
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables26836
Total number of constraints55586
Number of constraints which are clauses55586
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint359
Number of terms in the objective function 13364
Biggest coefficient in the objective function 2444
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 23768999
Number of bits of the sum of numbers in the objective function 25
Biggest number in a constraint 2444
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 23768999
Number of bits of the biggest sum of numbers25
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
0.18/0.24	c #variables 26836 #constraints 55586
0.18/0.24	c objective is ce32 
0.18/0.25	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.18/0.25	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.18/0.25	c GLOBAL bounds - >= 0 @ 0.151011
0.18/0.27	c GLOBAL bounds - >= 0 @ 0.159394
0.18/0.30	c GLOBAL bounds - >= 0 @ 0.172606
0.18/0.30	c GLOBAL bounds - >= 9868 @ 0.17301
0.47/0.57	c GLOBAL bounds - >= 9868 @ 0.423661
0.47/0.60	c GLOBAL bounds - >= 9868 @ 0.434953
0.57/0.61	c GLOBAL bounds - >= 9868 @ 0.43962
0.57/0.64	c GLOBAL bounds - >= 9868 @ 0.449669
0.57/0.64	c GLOBAL bounds - >= 9868 @ 0.453582
0.57/0.67	c GLOBAL bounds - >= 9868 @ 0.464311
0.57/0.68	c GLOBAL bounds - >= 9868 @ 0.468701
0.67/0.71	c GLOBAL bounds - >= 9868 @ 0.480846
0.67/0.72	c GLOBAL bounds - >= 9868 @ 0.487
0.67/0.75	c GLOBAL bounds - >= 9868 @ 0.503269
0.67/0.76	c GLOBAL bounds - >= 9868 @ 0.507963
0.67/0.79	c GLOBAL bounds - >= 9868 @ 0.521156
0.76/0.80	c GLOBAL bounds - >= 9868 @ 0.527432
0.76/0.82	c GLOBAL bounds - >= 9868 @ 0.535557
0.76/0.84	c GLOBAL bounds - >= 9868 @ 0.539126
0.76/0.86	c GLOBAL bounds - >= 9868 @ 0.550305
0.76/0.87	c GLOBAL bounds - >= 9868 @ 0.554801
0.86/0.90	c GLOBAL bounds - >= 9868 @ 0.569105
0.86/0.91	c GLOBAL bounds - >= 9868 @ 0.573142
0.86/0.94	c GLOBAL bounds - >= 9868 @ 0.583294
0.86/0.96	c GLOBAL bounds - >= 9868 @ 0.597192
0.86/0.98	c GLOBAL bounds - >= 9868 @ 0.605188
0.97/1.01	c GLOBAL bounds - >= 9868 @ 0.615808
0.97/1.03	c GLOBAL bounds - >= 9868 @ 0.627817
0.97/1.06	c GLOBAL bounds - >= 9868 @ 0.643155
0.97/1.08	c GLOBAL bounds - >= 9868 @ 0.658398
1.06/1.10	c GLOBAL bounds - >= 9868 @ 0.670338
1.06/1.13	c GLOBAL bounds - >= 9868 @ 0.686146
1.06/1.16	c GLOBAL bounds - >= 9868 @ 0.69913
1.66/1.79	c GLOBAL bounds - >= 19601 @ 1.32036
1.76/1.81	c GLOBAL bounds - >= 19601 @ 1.33944
1.76/1.82	c GLOBAL bounds - >= 19601 @ 1.34401
1.76/1.83	c GLOBAL bounds - >= 19601 @ 1.34811
1.76/1.86	c GLOBAL bounds - >= 19601 @ 1.35967
1.76/1.87	c GLOBAL bounds - >= 19601 @ 1.36421
1.86/1.90	c GLOBAL bounds - >= 19601 @ 1.37117
1.86/1.91	c GLOBAL bounds - >= 19601 @ 1.37581
1.86/1.94	c GLOBAL bounds - >= 19601 @ 1.39114
1.86/1.95	c GLOBAL bounds - >= 19601 @ 1.3954
1.86/1.98	c GLOBAL bounds - >= 19601 @ 1.41078
1.86/1.99	c GLOBAL bounds - >= 19601 @ 1.41476
1.96/2.02	c GLOBAL bounds - >= 19601 @ 1.42208
1.96/2.03	c GLOBAL bounds - >= 19601 @ 1.42856
1.96/2.06	c GLOBAL bounds - >= 19601 @ 1.43988
1.96/2.08	c GLOBAL bounds - >= 19601 @ 1.44799
2.06/2.11	c GLOBAL bounds - >= 19601 @ 1.46224
2.06/2.12	c GLOBAL bounds - >= 19601 @ 1.47092
2.06/2.15	c GLOBAL bounds - >= 19601 @ 1.47859
2.06/2.16	c GLOBAL bounds - >= 19601 @ 1.48313
2.06/2.19	c GLOBAL bounds - >= 19601 @ 1.49412
2.16/2.20	c GLOBAL bounds - >= 19601 @ 1.50116
2.16/2.23	c GLOBAL bounds - >= 19601 @ 1.51508
2.16/2.26	c GLOBAL bounds - >= 19601 @ 1.53445
2.26/2.30	c GLOBAL bounds - >= 19601 @ 1.55194
2.26/2.33	c GLOBAL bounds - >= 19601 @ 1.56731
2.66/2.76	c GLOBAL bounds - >= 19601 @ 1.97696
2.66/2.78	c GLOBAL bounds - >= 19601 @ 1.99405
2.86/2.92	c GLOBAL bounds - >= 19601 @ 2.11648
2.86/2.95	c GLOBAL bounds - >= 19601 @ 2.13164
2.86/2.99	c GLOBAL bounds - >= 19601 @ 2.16486
2.97/3.01	c GLOBAL bounds - >= 19601 @ 2.17838
2.97/3.09	c GLOBAL bounds - >= 19601 @ 2.24966
19.62/19.71	c #Conflicts:       1000 | #Constraints:       1131
19.62/19.71	c #Conflicts:       2000 | #Constraints:       2131
19.62/19.71	c INPROCESSING
19.62/19.71	c GARBAGE COLLECT
19.62/19.71	c #Conflicts:       3000 | #Constraints:       2118
19.62/19.71	c #Conflicts:       4000 | #Constraints:       3118
19.62/19.71	c INPROCESSING
19.62/19.71	c GARBAGE COLLECT
19.62/19.71	c GLOBAL bounds - >= 19601 @ 18.1363
80.95/81.28	c #Conflicts:       5000 | #Constraints:       2524
80.95/81.28	c #Conflicts:       6000 | #Constraints:       3524
80.95/81.28	c INPROCESSING
80.95/81.28	c GARBAGE COLLECT
80.95/81.28	c #Conflicts:       7000 | #Constraints:       2528
80.95/81.28	c #Conflicts:       8000 | #Constraints:       3528
80.95/81.28	c #Conflicts:       9000 | #Constraints:       4528
80.95/81.28	c INPROCESSING
80.95/81.28	c GARBAGE COLLECT
80.95/81.28	c #Conflicts:      10000 | #Constraints:       3230
80.95/81.28	c #Conflicts:      11000 | #Constraints:       4230
80.95/81.28	c #Conflicts:      12000 | #Constraints:       5230
80.95/81.28	c INPROCESSING
80.95/81.28	c GARBAGE COLLECT
80.95/81.28	c #Conflicts:      13000 | #Constraints:       3683
80.95/81.28	c #Conflicts:      14000 | #Constraints:       4683
80.95/81.28	c #Conflicts:      15000 | #Constraints:       5683
80.95/81.28	c INPROCESSING
80.95/81.28	c GARBAGE COLLECT
80.95/81.28	c #Conflicts:      16000 | #Constraints:       3906
80.95/81.28	c #Conflicts:      17000 | #Constraints:       4906
80.95/81.28	c #Conflicts:      18000 | #Constraints:       5906
80.95/81.28	c INPROCESSING
80.95/81.28	c GARBAGE COLLECT
80.95/81.28	c GLOBAL bounds - >= 22665 @ 78.1535
81.05/81.30	c GLOBAL bounds - >= 22665 @ 78.1744
81.05/81.32	c GLOBAL bounds - >= 22665 @ 78.1783
81.05/81.33	c GLOBAL bounds - >= 22665 @ 78.1818
81.05/81.34	c GLOBAL bounds - >= 22665 @ 78.1857
81.05/81.35	c GLOBAL bounds - >= 22665 @ 78.1883
81.05/81.36	c GLOBAL bounds - >= 22665 @ 78.1928
81.35/81.61	c GLOBAL bounds - >= 22665 @ 78.4226
81.35/81.62	c GLOBAL bounds - >= 22665 @ 78.4284
81.35/81.65	c GLOBAL bounds - >= 22665 @ 78.4428
81.35/81.66	c GLOBAL bounds - >= 22665 @ 78.4484
81.35/81.69	c GLOBAL bounds - >= 22665 @ 78.4653
81.45/81.70	c GLOBAL bounds - >= 22665 @ 78.4713
81.45/81.73	c GLOBAL bounds - >= 22665 @ 78.4791
81.45/81.75	c GLOBAL bounds - >= 22665 @ 78.4829
81.45/81.78	c GLOBAL bounds - >= 22665 @ 78.4948
81.45/81.79	c GLOBAL bounds - >= 22665 @ 78.5029
81.55/81.82	c GLOBAL bounds - >= 22665 @ 78.5207
81.55/81.83	c GLOBAL bounds - >= 22665 @ 78.5274
81.55/81.86	c GLOBAL bounds - >= 22665 @ 78.5381
81.55/81.88	c GLOBAL bounds - >= 22665 @ 78.5436
81.65/81.91	c GLOBAL bounds - >= 22665 @ 78.5596
81.65/81.92	c GLOBAL bounds - >= 22665 @ 78.5695
81.65/81.95	c GLOBAL bounds - >= 22665 @ 78.5824
81.65/81.96	c GLOBAL bounds - >= 22665 @ 78.5889
81.65/81.99	c GLOBAL bounds - >= 22665 @ 78.605
81.75/82.02	c GLOBAL bounds - >= 22665 @ 78.6142
81.75/82.05	c GLOBAL bounds - >= 22665 @ 78.6261
81.75/82.09	c GLOBAL bounds - >= 22665 @ 78.6415
81.86/82.13	c GLOBAL bounds - >= 22665 @ 78.6736
81.86/82.16	c GLOBAL bounds - >= 22665 @ 78.6922
82.05/82.30	c GLOBAL bounds - >= 22665 @ 78.8064
82.05/82.36	c GLOBAL bounds - >= 22665 @ 78.8511
82.15/82.42	c GLOBAL bounds - >= 22665 @ 78.894
84.34/84.63	c #Conflicts:      19000 | #Constraints:       3986
84.34/84.63	c GLOBAL bounds - >= 22665 @ 81.0588
84.64/84.90	c GLOBAL bounds - >= 22665 @ 81.3054
84.64/84.92	c GLOBAL bounds - >= 22665 @ 81.3284
85.04/85.36	c GLOBAL bounds - >= 22665 @ 81.7326
86.44/86.75	c GLOBAL bounds - >= 22665 @ 83.0412
91.82/92.14	c #Conflicts:      20000 | #Constraints:       5001
91.82/92.14	c GLOBAL bounds - >= 22665 @ 88.2208
145.38/145.85	c #Conflicts:      21000 | #Constraints:       6004
145.38/145.85	c INPROCESSING
145.38/145.85	c GARBAGE COLLECT
145.38/145.85	c #Conflicts:      22000 | #Constraints:       3783
145.38/145.85	c #Conflicts:      23000 | #Constraints:       4783
145.38/145.85	c #Conflicts:      24000 | #Constraints:       5783
145.38/145.85	c #Conflicts:      25000 | #Constraints:       6783
145.38/145.85	c INPROCESSING
145.38/145.85	c GARBAGE COLLECT
145.38/145.85	c #Conflicts:      26000 | #Constraints:       4394
145.38/145.85	c #Conflicts:      27000 | #Constraints:       5394
145.38/145.85	c #Conflicts:      28000 | #Constraints:       6394
145.38/145.85	c #Conflicts:      29000 | #Constraints:       7394
145.38/145.85	c INPROCESSING
145.38/145.85	c GARBAGE COLLECT
145.38/145.85	c #Conflicts:      30000 | #Constraints:       4800
145.38/145.85	c #Conflicts:      31000 | #Constraints:       5800
145.38/145.85	c #Conflicts:      32000 | #Constraints:       6800
145.38/145.85	c #Conflicts:      33000 | #Constraints:       7800
145.38/145.85	c INPROCESSING
145.38/145.85	c GARBAGE COLLECT
145.38/145.85	c GLOBAL bounds - >= 28123 @ 141.011
145.38/145.89	c GLOBAL bounds - >= 28123 @ 141.047
145.48/145.90	c GLOBAL bounds - >= 28123 @ 141.052
145.48/145.91	c GLOBAL bounds - >= 28123 @ 141.056
145.48/145.92	c GLOBAL bounds - >= 28123 @ 141.06
145.48/145.94	c GLOBAL bounds - >= 28123 @ 141.064
145.48/145.95	c GLOBAL bounds - >= 28123 @ 141.069
145.48/145.96	c GLOBAL bounds - >= 28123 @ 141.073
145.58/146.01	c GLOBAL bounds - >= 28123 @ 141.112
145.58/146.03	c GLOBAL bounds - >= 28123 @ 141.12
145.58/146.06	c GLOBAL bounds - >= 28123 @ 141.136
145.58/146.07	c GLOBAL bounds - >= 28123 @ 141.141
145.69/146.10	c GLOBAL bounds - >= 28123 @ 141.152
145.69/146.12	c GLOBAL bounds - >= 28123 @ 141.162
145.69/146.15	c GLOBAL bounds - >= 28123 @ 141.176
145.69/146.16	c GLOBAL bounds - >= 28123 @ 141.182
145.69/146.19	c GLOBAL bounds - >= 28123 @ 141.193
145.78/146.21	c GLOBAL bounds - >= 28123 @ 141.199
145.78/146.24	c GLOBAL bounds - >= 28123 @ 141.214
145.78/146.25	c GLOBAL bounds - >= 28123 @ 141.221
145.78/146.28	c GLOBAL bounds - >= 28123 @ 141.231
145.78/146.29	c GLOBAL bounds - >= 28123 @ 141.236
145.88/146.32	c GLOBAL bounds - >= 28123 @ 141.254
145.88/146.34	c GLOBAL bounds - >= 28123 @ 141.263
145.88/146.37	c GLOBAL bounds - >= 28123 @ 141.275
145.88/146.38	c GLOBAL bounds - >= 28123 @ 141.281
145.98/146.41	c GLOBAL bounds - >= 28123 @ 141.292
146.08/146.55	c GLOBAL bounds - >= 28123 @ 141.411
146.18/146.60	c GLOBAL bounds - >= 28123 @ 141.444
146.18/146.65	c GLOBAL bounds - >= 28123 @ 141.468
146.28/146.70	c GLOBAL bounds - >= 28123 @ 141.503
146.28/146.74	c GLOBAL bounds - >= 28123 @ 141.53
146.28/146.78	c GLOBAL bounds - >= 28123 @ 141.555
161.84/162.32	c #Conflicts:      34000 | #Constraints:       5062
161.84/162.32	c #Conflicts:      35000 | #Constraints:       6062
161.84/162.32	c #Conflicts:      36000 | #Constraints:       7062
161.84/162.32	c #Conflicts:      37000 | #Constraints:       8062
161.84/162.32	c INPROCESSING
161.84/162.32	c GARBAGE COLLECT
161.84/162.32	c GLOBAL bounds - >= 28123 @ 156.746
161.84/162.36	c GLOBAL bounds - >= 28123 @ 156.772
161.84/162.39	c GLOBAL bounds - >= 28123 @ 156.791
481.98/483.36	c #Conflicts:      38000 | #Constraints:       5056
481.98/483.36	c #Conflicts:      39000 | #Constraints:       6056
481.98/483.36	c #Conflicts:      40000 | #Constraints:       7056
481.98/483.36	c #Conflicts:      41000 | #Constraints:       8056
481.98/483.36	c INPROCESSING
481.98/483.36	c GARBAGE COLLECT
481.98/483.36	c #Conflicts:      42000 | #Constraints:       4854
481.98/483.36	c #Conflicts:      43000 | #Constraints:       5854
481.98/483.36	c #Conflicts:      44000 | #Constraints:       6854
481.98/483.36	c #Conflicts:      45000 | #Constraints:       7854
481.98/483.36	c #Conflicts:      46000 | #Constraints:       8854
481.98/483.36	c INPROCESSING
481.98/483.36	c GARBAGE COLLECT
481.98/483.36	c #Conflicts:      47000 | #Constraints:       5450
481.98/483.36	c #Conflicts:      48000 | #Constraints:       6450
481.98/483.36	c #Conflicts:      49000 | #Constraints:       7450
481.98/483.36	c #Conflicts:      50000 | #Constraints:       8450
481.98/483.36	c #Conflicts:      51000 | #Constraints:       9450
481.98/483.36	c INPROCESSING
481.98/483.36	c GARBAGE COLLECT
481.98/483.36	c #Conflicts:      52000 | #Constraints:       5852
481.98/483.36	c #Conflicts:      53000 | #Constraints:       6852
481.98/483.36	c #Conflicts:      54000 | #Constraints:       7852
481.98/483.36	c #Conflicts:      55000 | #Constraints:       8852
481.98/483.36	c #Conflicts:      56000 | #Constraints:       9852
481.98/483.36	c INPROCESSING
481.98/483.36	c GARBAGE COLLECT
481.98/483.36	c #Conflicts:      57000 | #Constraints:       6051
481.98/483.36	c #Conflicts:      58000 | #Constraints:       7051
481.98/483.36	c #Conflicts:      59000 | #Constraints:       8051
481.98/483.36	c #Conflicts:      60000 | #Constraints:       9051
481.98/483.36	c #Conflicts:      61000 | #Constraints:      10051
481.98/483.36	c INPROCESSING
481.98/483.36	c GARBAGE COLLECT
481.98/483.36	c #Conflicts:      62000 | #Constraints:       6050
481.98/483.36	c #Conflicts:      63000 | #Constraints:       7050
481.98/483.36	c #Conflicts:      64000 | #Constraints:       8050
481.98/483.36	c #Conflicts:      65000 | #Constraints:       9050
481.98/483.36	c #Conflicts:      66000 | #Constraints:      10050
481.98/483.36	c INPROCESSING
481.98/483.36	c GARBAGE COLLECT
481.98/483.36	c #Conflicts:      67000 | #Constraints:       5851
481.98/483.36	c #Conflicts:      68000 | #Constraints:       6851
481.98/483.36	c #Conflicts:      69000 | #Constraints:       7851
481.98/483.36	c #Conflicts:      70000 | #Constraints:       8851
481.98/483.36	c #Conflicts:      71000 | #Constraints:       9851
481.98/483.36	c #Conflicts:      72000 | #Constraints:      10851
481.98/483.36	c INPROCESSING
481.98/483.36	c GARBAGE COLLECT
481.98/483.36	c #Conflicts:      73000 | #Constraints:       6456
481.98/483.36	c #Conflicts:      74000 | #Constraints:       7456
481.98/483.36	c #Conflicts:      75000 | #Constraints:       8456
481.98/483.36	c #Conflicts:      76000 | #Constraints:       9456
481.98/483.36	c #Conflicts:      77000 | #Constraints:      10456
481.98/483.36	c #Conflicts:      78000 | #Constraints:      11456
481.98/483.36	c INPROCESSING
481.98/483.36	c GARBAGE COLLECT
481.98/483.36	c #Conflicts:      79000 | #Constraints:       6862
481.98/483.36	c #Conflicts:      80000 | #Constraints:       7862
481.98/483.36	c #Conflicts:      81000 | #Constraints:       8862
481.98/483.36	c #Conflicts:      82000 | #Constraints:       9862
481.98/483.36	c #Conflicts:      83000 | #Constraints:      10862
481.98/483.36	c #Conflicts:      84000 | #Constraints:      11862
481.98/483.36	c INPROCESSING
481.98/483.36	c GARBAGE COLLECT
481.98/483.36	c #Conflicts:      85000 | #Constraints:       7070
481.98/483.36	c #Conflicts:      86000 | #Constraints:       8070
481.98/483.36	c #Conflicts:      87000 | #Constraints:       9070
481.98/483.36	c #Conflicts:      88000 | #Constraints:      10070
481.98/483.36	c #Conflicts:      89000 | #Constraints:      11070
481.98/483.36	c #Conflicts:      90000 | #Constraints:      12070
481.98/483.36	c INPROCESSING
481.98/483.36	c GARBAGE COLLECT
481.98/483.36	c #Conflicts:      91000 | #Constraints:       7066
481.98/483.36	c #Conflicts:      92000 | #Constraints:       8066
481.98/483.36	c #Conflicts:      93000 | #Constraints:       9066
481.98/483.36	c #Conflicts:      94000 | #Constraints:      10066
481.98/483.36	c #Conflicts:      95000 | #Constraints:      11066
481.98/483.36	c #Conflicts:      96000 | #Constraints:      12066
481.98/483.36	c INPROCESSING
481.98/483.36	c GARBAGE COLLECT
481.98/483.36	c #Conflicts:      97000 | #Constraints:       6869
481.98/483.36	c #Conflicts:      98000 | #Constraints:       7869
481.98/483.36	c #Conflicts:      99000 | #Constraints:       8869
481.98/483.36	c #Conflicts:     100000 | #Constraints:       9869
481.98/483.36	c #Conflicts:     101000 | #Constraints:      10869
481.98/483.36	c #Conflicts:     102000 | #Constraints:      11869
481.98/483.36	c #Conflicts:     103000 | #Constraints:      12869
481.98/483.36	c INPROCESSING
481.98/483.36	c GARBAGE COLLECT
481.98/483.36	c #Conflicts:     104000 | #Constraints:       7475
481.98/483.36	c #Conflicts:     105000 | #Constraints:       8475
481.98/483.36	c GLOBAL bounds - >= 28123 @ 473.713
487.37/488.77	c #Conflicts:     106000 | #Constraints:       9478
487.37/488.77	c GLOBAL bounds - >= 28123 @ 479.075
492.66/494.06	c #Conflicts:     107000 | #Constraints:      10481
492.66/494.06	c #Conflicts:     108000 | #Constraints:      11481
492.66/494.06	c GLOBAL bounds - >= 28123 @ 484.328
853.07/855.43	c #Conflicts:     109000 | #Constraints:      12484
853.07/855.43	c #Conflicts:     110000 | #Constraints:      13484
853.07/855.43	c INPROCESSING
853.07/855.43	c GARBAGE COLLECT
853.07/855.43	c #Conflicts:     111000 | #Constraints:       7875
853.07/855.43	c #Conflicts:     112000 | #Constraints:       8875
853.07/855.43	c #Conflicts:     113000 | #Constraints:       9875
853.07/855.43	c #Conflicts:     114000 | #Constraints:      10875
853.07/855.43	c #Conflicts:     115000 | #Constraints:      11875
853.07/855.43	c #Conflicts:     116000 | #Constraints:      12875
853.07/855.43	c #Conflicts:     117000 | #Constraints:      13875
853.07/855.43	c INPROCESSING
853.07/855.43	c GARBAGE COLLECT
853.07/855.43	c #Conflicts:     118000 | #Constraints:       8072
853.07/855.43	c #Conflicts:     119000 | #Constraints:       9072
853.07/855.43	c #Conflicts:     120000 | #Constraints:      10072
853.07/855.43	c #Conflicts:     121000 | #Constraints:      11072
853.07/855.43	c #Conflicts:     122000 | #Constraints:      12072
853.07/855.43	c #Conflicts:     123000 | #Constraints:      13072
853.07/855.43	c #Conflicts:     124000 | #Constraints:      14072
853.07/855.43	c INPROCESSING
853.07/855.43	c GARBAGE COLLECT
853.07/855.43	c #Conflicts:     125000 | #Constraints:       8079
853.07/855.43	c #Conflicts:     126000 | #Constraints:       9079
853.07/855.43	c #Conflicts:     127000 | #Constraints:      10079
853.07/855.43	c #Conflicts:     128000 | #Constraints:      11079
853.07/855.43	c #Conflicts:     129000 | #Constraints:      12079
853.07/855.43	c #Conflicts:     130000 | #Constraints:      13079
853.07/855.43	c #Conflicts:     131000 | #Constraints:      14079
853.07/855.43	c INPROCESSING
853.07/855.43	c GARBAGE COLLECT
853.07/855.43	c #Conflicts:     132000 | #Constraints:       7873
853.07/855.43	c #Conflicts:     133000 | #Constraints:       8873
853.07/855.43	c #Conflicts:     134000 | #Constraints:       9873
853.07/855.43	c #Conflicts:     135000 | #Constraints:      10873
853.07/855.43	c #Conflicts:     136000 | #Constraints:      11873
853.07/855.43	c #Conflicts:     137000 | #Constraints:      12873
853.07/855.43	c #Conflicts:     138000 | #Constraints:      13873
853.07/855.43	c #Conflicts:     139000 | #Constraints:      14873
853.07/855.43	c INPROCESSING
853.07/855.43	c GARBAGE COLLECT
853.07/855.43	c #Conflicts:     140000 | #Constraints:       8472
853.07/855.43	c #Conflicts:     141000 | #Constraints:       9472
853.07/855.43	c #Conflicts:     142000 | #Constraints:      10472
853.07/855.43	c #Conflicts:     143000 | #Constraints:      11472
853.07/855.43	c #Conflicts:     144000 | #Constraints:      12472
853.07/855.43	c #Conflicts:     145000 | #Constraints:      13472
853.07/855.43	c #Conflicts:     146000 | #Constraints:      14472
853.07/855.43	c #Conflicts:     147000 | #Constraints:      15472
853.07/855.43	c INPROCESSING
853.07/855.43	c GARBAGE COLLECT
853.07/855.43	c #Conflicts:     148000 | #Constraints:       8871
853.07/855.43	c #Conflicts:     149000 | #Constraints:       9871
853.07/855.43	c #Conflicts:     150000 | #Constraints:      10871
853.07/855.43	c #Conflicts:     151000 | #Constraints:      11871
853.07/855.43	c #Conflicts:     152000 | #Constraints:      12871
853.07/855.43	c #Conflicts:     153000 | #Constraints:      13871
853.07/855.43	c #Conflicts:     154000 | #Constraints:      14871
853.07/855.43	c #Conflicts:     155000 | #Constraints:      15871
853.07/855.43	c INPROCESSING
853.07/855.43	c GARBAGE COLLECT
853.07/855.43	c #Conflicts:     156000 | #Constraints:       9068
853.07/855.43	c #Conflicts:     157000 | #Constraints:      10068
853.07/855.43	c #Conflicts:     158000 | #Constraints:      11068
853.07/855.43	c #Conflicts:     159000 | #Constraints:      12068
853.07/855.43	c #Conflicts:     160000 | #Constraints:      13068
853.07/855.43	c #Conflicts:     161000 | #Constraints:      14068
853.07/855.43	c #Conflicts:     162000 | #Constraints:      15068
853.07/855.43	c #Conflicts:     163000 | #Constraints:      16068
853.07/855.43	c INPROCESSING
853.07/855.43	c GARBAGE COLLECT
853.07/855.43	c #Conflicts:     164000 | #Constraints:       9087
853.07/855.43	c #Conflicts:     165000 | #Constraints:      10087
853.07/855.43	c #Conflicts:     166000 | #Constraints:      11087
853.07/855.43	c #Conflicts:     167000 | #Constraints:      12087
853.07/855.43	c #Conflicts:     168000 | #Constraints:      13087
853.07/855.43	c #Conflicts:     169000 | #Constraints:      14087
853.07/855.43	c #Conflicts:     170000 | #Constraints:      15087
853.07/855.43	c #Conflicts:     171000 | #Constraints:      16087
853.07/855.43	c INPROCESSING
853.07/855.43	c GARBAGE COLLECT
853.07/855.43	c #Conflicts:     172000 | #Constraints:       8876
853.07/855.43	c #Conflicts:     173000 | #Constraints:       9876
853.07/855.43	c #Conflicts:     174000 | #Constraints:      10876
853.07/855.43	c #Conflicts:     175000 | #Constraints:      11876
853.07/855.43	c #Conflicts:     176000 | #Constraints:      12876
853.07/855.43	c #Conflicts:     177000 | #Constraints:      13876
853.07/855.43	c #Conflicts:     178000 | #Constraints:      14876
853.07/855.43	c #Conflicts:     179000 | #Constraints:      15876
853.07/855.43	c #Conflicts:     180000 | #Constraints:      16876
853.07/855.43	c INPROCESSING
853.07/855.43	c GARBAGE COLLECT
853.07/855.43	c #Conflicts:     181000 | #Constraints:       9481
1233.72/1237.11	c #Conflicts:     182000 | #Constraints:      10481
1233.72/1237.11	c #Conflicts:     183000 | #Constraints:      11481
1233.72/1237.11	c #Conflicts:     184000 | #Constraints:      12481
1233.72/1237.11	c #Conflicts:     185000 | #Constraints:      13481
1233.72/1237.11	c #Conflicts:     186000 | #Constraints:      14481
1233.72/1237.11	c #Conflicts:     187000 | #Constraints:      15481
1233.72/1237.11	c #Conflicts:     188000 | #Constraints:      16481
1233.72/1237.11	c #Conflicts:     189000 | #Constraints:      17481
1233.72/1237.11	c INPROCESSING
1233.72/1237.11	c GARBAGE COLLECT
1233.72/1237.11	c #Conflicts:     190000 | #Constraints:       9878
1233.72/1237.11	c #Conflicts:     191000 | #Constraints:      10878
1233.72/1237.11	c #Conflicts:     192000 | #Constraints:      11878
1233.72/1237.11	c #Conflicts:     193000 | #Constraints:      12878
1233.72/1237.11	c #Conflicts:     194000 | #Constraints:      13878
1233.72/1237.11	c #Conflicts:     195000 | #Constraints:      14878
1233.72/1237.11	c #Conflicts:     196000 | #Constraints:      15878
1233.72/1237.11	c #Conflicts:     197000 | #Constraints:      16878
1233.72/1237.11	c #Conflicts:     198000 | #Constraints:      17878
1233.72/1237.11	c INPROCESSING
1233.72/1237.11	c GARBAGE COLLECT
1233.72/1237.11	c #Conflicts:     199000 | #Constraints:      10082
1233.72/1237.11	c #Conflicts:     200000 | #Constraints:      11082
1233.72/1237.11	c #Conflicts:     201000 | #Constraints:      12082
1233.72/1237.11	c #Conflicts:     202000 | #Constraints:      13082
1233.72/1237.11	c #Conflicts:     203000 | #Constraints:      14082
1233.72/1237.11	c #Conflicts:     204000 | #Constraints:      15082
1233.72/1237.11	c #Conflicts:     205000 | #Constraints:      16082
1233.72/1237.11	c #Conflicts:     206000 | #Constraints:      17082
1233.72/1237.11	c #Conflicts:     207000 | #Constraints:      18082
1233.72/1237.11	c INPROCESSING
1233.72/1237.11	c GARBAGE COLLECT
1233.72/1237.11	c #Conflicts:     208000 | #Constraints:      10081
1233.72/1237.11	c #Conflicts:     209000 | #Constraints:      11081
1233.72/1237.11	c #Conflicts:     210000 | #Constraints:      12081
1233.72/1237.11	c #Conflicts:     211000 | #Constraints:      13081
1233.72/1237.11	c #Conflicts:     212000 | #Constraints:      14081
1233.72/1237.11	c #Conflicts:     213000 | #Constraints:      15081
1233.72/1237.11	c #Conflicts:     214000 | #Constraints:      16081
1233.72/1237.11	c #Conflicts:     215000 | #Constraints:      17081
1233.72/1237.11	c #Conflicts:     216000 | #Constraints:      18081
1233.72/1237.11	c INPROCESSING
1233.72/1237.11	c GARBAGE COLLECT
1233.72/1237.11	c #Conflicts:     217000 | #Constraints:       9887
1233.72/1237.11	c #Conflicts:     218000 | #Constraints:      10887
1233.72/1237.11	c #Conflicts:     219000 | #Constraints:      11887
1233.72/1237.11	c #Conflicts:     220000 | #Constraints:      12887
1233.72/1237.11	c #Conflicts:     221000 | #Constraints:      13887
1233.72/1237.11	c #Conflicts:     222000 | #Constraints:      14887
1233.72/1237.11	c #Conflicts:     223000 | #Constraints:      15887
1233.72/1237.11	c #Conflicts:     224000 | #Constraints:      16887
1233.72/1237.11	c #Conflicts:     225000 | #Constraints:      17887
1233.72/1237.11	c #Conflicts:     226000 | #Constraints:      18887
1233.72/1237.11	c INPROCESSING
1233.72/1237.11	c GARBAGE COLLECT
1233.72/1237.11	c #Conflicts:     227000 | #Constraints:      10490
1233.72/1237.11	c #Conflicts:     228000 | #Constraints:      11490
1233.72/1237.11	c #Conflicts:     229000 | #Constraints:      12490
1233.72/1237.11	c #Conflicts:     230000 | #Constraints:      13490
1233.72/1237.11	c #Conflicts:     231000 | #Constraints:      14490
1233.72/1237.11	c #Conflicts:     232000 | #Constraints:      15490
1233.72/1237.11	c #Conflicts:     233000 | #Constraints:      16490
1233.72/1237.11	c #Conflicts:     234000 | #Constraints:      17490
1233.72/1237.11	c #Conflicts:     235000 | #Constraints:      18490
1233.72/1237.11	c #Conflicts:     236000 | #Constraints:      19490
1233.72/1237.11	c INPROCESSING
1233.72/1237.11	c GARBAGE COLLECT
1233.72/1237.11	c #Conflicts:     237000 | #Constraints:      10889
1233.72/1237.11	c #Conflicts:     238000 | #Constraints:      11889
1233.72/1237.11	c #Conflicts:     239000 | #Constraints:      12889
1233.72/1237.11	c #Conflicts:     240000 | #Constraints:      13889
1233.72/1237.11	c #Conflicts:     241000 | #Constraints:      14889
1233.72/1237.11	c #Conflicts:     242000 | #Constraints:      15889
1233.72/1237.11	c #Conflicts:     243000 | #Constraints:      16889
1233.72/1237.11	c #Conflicts:     244000 | #Constraints:      17889
1233.72/1237.11	c #Conflicts:     245000 | #Constraints:      18889
1233.72/1237.11	c #Conflicts:     246000 | #Constraints:      19889
1233.72/1237.11	c INPROCESSING
1233.72/1237.11	c GARBAGE COLLECT
1233.72/1237.11	c #Conflicts:     247000 | #Constraints:      11095
1233.72/1237.11	c #Conflicts:     248000 | #Constraints:      12095
1233.72/1237.11	c #Conflicts:     249000 | #Constraints:      13095
1233.72/1237.11	c #Conflicts:     250000 | #Constraints:      14095
1233.72/1237.11	c #Conflicts:     251000 | #Constraints:      15095
1233.72/1237.11	c #Conflicts:     252000 | #Constraints:      16095
1233.72/1237.11	c #Conflicts:     253000 | #Constraints:      17095
1233.72/1237.11	c #Conflicts:     254000 | #Constraints:      18095
1233.72/1237.11	c #Conflicts:     255000 | #Constraints:      19095
1319.79/1323.46	c #Conflicts:     256000 | #Constraints:      20095
1319.79/1323.46	c INPROCESSING
1319.79/1323.46	c GARBAGE COLLECT
1319.79/1323.46	c #Conflicts:     257000 | #Constraints:      11099
1319.79/1323.46	c #Conflicts:     258000 | #Constraints:      12099
1319.79/1323.46	c #Conflicts:     259000 | #Constraints:      13099
1319.79/1323.46	c #Conflicts:     260000 | #Constraints:      14099
1319.79/1323.46	c #Conflicts:     261000 | #Constraints:      15099
1319.79/1323.46	c #Conflicts:     262000 | #Constraints:      16099
1319.79/1323.46	c #Conflicts:     263000 | #Constraints:      17099
1319.79/1323.46	c #Conflicts:     264000 | #Constraints:      18099
1319.79/1323.46	c #Conflicts:     265000 | #Constraints:      19099
1319.79/1323.46	c #Conflicts:     266000 | #Constraints:      20099
1319.79/1323.46	c INPROCESSING
1319.79/1323.46	c GARBAGE COLLECT
1319.79/1323.46	c #Conflicts:     267000 | #Constraints:      10896
1319.79/1323.46	c #Conflicts:     268000 | #Constraints:      11896
1319.79/1323.46	c #Conflicts:     269000 | #Constraints:      12896
1319.79/1323.46	c #Conflicts:     270000 | #Constraints:      13896
1319.79/1323.46	c GLOBAL bounds - >= 33942 @ 1309.35
1319.89/1323.51	c GLOBAL bounds - >= 33942 @ 1309.39
1319.89/1323.52	c GLOBAL bounds - >= 33942 @ 1309.4
1319.89/1323.53	c GLOBAL bounds - >= 33942 @ 1309.4
1319.89/1323.55	c GLOBAL bounds - >= 33942 @ 1309.41
1319.89/1323.56	c GLOBAL bounds - >= 33942 @ 1309.41
1319.89/1323.57	c GLOBAL bounds - >= 33942 @ 1309.42
1325.08/1328.71	c #Conflicts:     271000 | #Constraints:      14901
1325.08/1328.71	c GLOBAL bounds - >= 33942 @ 1314.51
1325.08/1328.72	c GLOBAL bounds - >= 33942 @ 1314.52
1325.37/1329.07	c #Conflicts:     272000 | #Constraints:      15905
1325.37/1329.07	c GLOBAL bounds - >= 33942 @ 1314.85
1325.37/1329.09	c GLOBAL bounds - >= 33942 @ 1314.86
1325.48/1329.12	c GLOBAL bounds - >= 33942 @ 1314.87
1325.48/1329.13	c GLOBAL bounds - >= 33942 @ 1314.88
1325.48/1329.17	c GLOBAL bounds - >= 33942 @ 1314.9
1325.48/1329.18	c GLOBAL bounds - >= 33942 @ 1314.91
1325.58/1329.21	c GLOBAL bounds - >= 33942 @ 1314.92
1325.58/1329.23	c GLOBAL bounds - >= 33942 @ 1314.93
1325.58/1329.26	c GLOBAL bounds - >= 33942 @ 1314.95
1325.58/1329.27	c GLOBAL bounds - >= 33942 @ 1314.96
1325.67/1329.31	c GLOBAL bounds - >= 33942 @ 1314.97
1325.67/1329.32	c GLOBAL bounds - >= 33942 @ 1314.98
1325.67/1329.35	c GLOBAL bounds - >= 33942 @ 1314.99
1325.67/1329.37	c GLOBAL bounds - >= 33942 @ 1315
1325.78/1329.40	c GLOBAL bounds - >= 33942 @ 1315.01
1325.78/1329.41	c GLOBAL bounds - >= 33942 @ 1315.02
1325.78/1329.45	c GLOBAL bounds - >= 33942 @ 1315.03
1326.07/1329.71	c GLOBAL bounds - >= 33942 @ 1315.28
1326.17/1329.86	c GLOBAL bounds - >= 33942 @ 1315.4
1336.25/1339.93	c #Conflicts:     273000 | #Constraints:      16943
1336.25/1339.93	c #Conflicts:     274000 | #Constraints:      17943
1336.25/1339.93	c GLOBAL bounds - >= 33942 @ 1325.35
1341.03/1344.77	c #Conflicts:     275000 | #Constraints:      18946
1341.03/1344.77	c GLOBAL bounds - >= 33942 @ 1330.06
1341.34/1345.08	c GLOBAL bounds - >= 33942 @ 1330.33
1341.83/1345.54	c GLOBAL bounds - >= 33942 @ 1330.76
1344.82/1348.55	c #Conflicts:     276000 | #Constraints:      19955
1344.82/1348.55	c GLOBAL bounds - >= 33942 @ 1333.66
1349.01/1352.71	c #Conflicts:     277000 | #Constraints:      20958
1349.01/1352.71	c INPROCESSING
1349.01/1352.71	c GARBAGE COLLECT
1349.01/1352.71	c GLOBAL bounds - >= 33942 @ 1337.62
1350.91/1354.63	c GLOBAL bounds - >= 33942 @ 1339.47
1356.69/1360.42	c #Conflicts:     278000 | #Constraints:      11529
1356.69/1360.42	c #Conflicts:     279000 | #Constraints:      12529
1356.69/1360.42	c GLOBAL bounds - >= 33942 @ 1345.03
1727.18/1731.90	c #Conflicts:     280000 | #Constraints:      13532
1727.18/1731.90	c #Conflicts:     281000 | #Constraints:      14532
1727.18/1731.90	c #Conflicts:     282000 | #Constraints:      15532
1727.18/1731.90	c #Conflicts:     283000 | #Constraints:      16532
1727.18/1731.90	c #Conflicts:     284000 | #Constraints:      17532
1727.18/1731.90	c #Conflicts:     285000 | #Constraints:      18532
1727.18/1731.90	c #Conflicts:     286000 | #Constraints:      19532
1727.18/1731.90	c #Conflicts:     287000 | #Constraints:      20532
1727.18/1731.90	c #Conflicts:     288000 | #Constraints:      21532
1727.18/1731.90	c INPROCESSING
1727.18/1731.90	c GARBAGE COLLECT
1727.18/1731.90	c #Conflicts:     289000 | #Constraints:      11922
1727.18/1731.90	c #Conflicts:     290000 | #Constraints:      12922
1727.18/1731.90	c #Conflicts:     291000 | #Constraints:      13922
1727.18/1731.90	c #Conflicts:     292000 | #Constraints:      14922
1727.18/1731.90	c #Conflicts:     293000 | #Constraints:      15922
1727.18/1731.90	c #Conflicts:     294000 | #Constraints:      16922
1727.18/1731.90	c #Conflicts:     295000 | #Constraints:      17922
1727.18/1731.90	c #Conflicts:     296000 | #Constraints:      18922
1727.18/1731.90	c #Conflicts:     297000 | #Constraints:      19922
1727.18/1731.90	c #Conflicts:     298000 | #Constraints:      20922
1727.18/1731.90	c #Conflicts:     299000 | #Constraints:      21922
1727.18/1731.90	c INPROCESSING
1727.18/1731.90	c GARBAGE COLLECT
1727.18/1731.90	c #Conflicts:     300000 | #Constraints:      12127
1727.18/1731.90	c #Conflicts:     301000 | #Constraints:      13127
1727.18/1731.90	c #Conflicts:     302000 | #Constraints:      14127
1727.18/1731.90	c #Conflicts:     303000 | #Constraints:      15127
1727.18/1731.90	c #Conflicts:     304000 | #Constraints:      16127
1727.18/1731.90	c #Conflicts:     305000 | #Constraints:      17127
1727.18/1731.90	c #Conflicts:     306000 | #Constraints:      18127
1727.18/1731.90	c #Conflicts:     307000 | #Constraints:      19127
1727.18/1731.90	c #Conflicts:     308000 | #Constraints:      20127
1727.18/1731.90	c #Conflicts:     309000 | #Constraints:      21127
1727.18/1731.90	c #Conflicts:     310000 | #Constraints:      22127
1727.18/1731.90	c INPROCESSING
1727.18/1731.90	c GARBAGE COLLECT
1727.18/1731.90	c #Conflicts:     311000 | #Constraints:      12128
1727.18/1731.90	c #Conflicts:     312000 | #Constraints:      13128
1727.18/1731.90	c #Conflicts:     313000 | #Constraints:      14128
1727.18/1731.90	c #Conflicts:     314000 | #Constraints:      15128
1727.18/1731.90	c #Conflicts:     315000 | #Constraints:      16128
1727.18/1731.90	c #Conflicts:     316000 | #Constraints:      17128
1727.18/1731.90	c #Conflicts:     317000 | #Constraints:      18128
1727.18/1731.90	c #Conflicts:     318000 | #Constraints:      19128
1727.18/1731.90	c #Conflicts:     319000 | #Constraints:      20128
1727.18/1731.90	c #Conflicts:     320000 | #Constraints:      21128
1727.18/1731.90	c #Conflicts:     321000 | #Constraints:      22128
1727.18/1731.90	c INPROCESSING
1727.18/1731.90	c GARBAGE COLLECT
1727.18/1731.90	c #Conflicts:     322000 | #Constraints:      11922
1727.18/1731.90	c #Conflicts:     323000 | #Constraints:      12922
1727.18/1731.90	c #Conflicts:     324000 | #Constraints:      13922
1727.18/1731.90	c #Conflicts:     325000 | #Constraints:      14922
1727.18/1731.90	c #Conflicts:     326000 | #Constraints:      15922
1727.18/1731.90	c #Conflicts:     327000 | #Constraints:      16922
1727.18/1731.90	c #Conflicts:     328000 | #Constraints:      17922
1727.18/1731.90	c #Conflicts:     329000 | #Constraints:      18922
1727.18/1731.90	c #Conflicts:     330000 | #Constraints:      19922
1727.18/1731.90	c #Conflicts:     331000 | #Constraints:      20922
1727.18/1731.90	c #Conflicts:     332000 | #Constraints:      21922
1727.18/1731.90	c #Conflicts:     333000 | #Constraints:      22922
1727.18/1731.90	c INPROCESSING
1727.18/1731.90	c GARBAGE COLLECT
1727.18/1731.90	c #Conflicts:     334000 | #Constraints:      12521
1727.18/1731.90	c #Conflicts:     335000 | #Constraints:      13521
1727.18/1731.90	c #Conflicts:     336000 | #Constraints:      14521
1727.18/1731.90	c #Conflicts:     337000 | #Constraints:      15521
1727.18/1731.90	c #Conflicts:     338000 | #Constraints:      16521
1727.18/1731.90	c #Conflicts:     339000 | #Constraints:      17521
1727.18/1731.90	c #Conflicts:     340000 | #Constraints:      18521
1727.18/1731.90	c #Conflicts:     341000 | #Constraints:      19521
1727.18/1731.90	c #Conflicts:     342000 | #Constraints:      20521
1727.18/1731.90	c #Conflicts:     343000 | #Constraints:      21521
1727.18/1731.90	c #Conflicts:     344000 | #Constraints:      22521
1727.18/1731.90	c #Conflicts:     345000 | #Constraints:      23521
1727.18/1731.90	c INPROCESSING
1727.18/1731.90	c GARBAGE COLLECT
1727.18/1731.90	c #Conflicts:     346000 | #Constraints:      12922
1727.18/1731.90	c #Conflicts:     347000 | #Constraints:      13922
1727.18/1731.90	c #Conflicts:     348000 | #Constraints:      14922
1727.18/1731.90	c #Conflicts:     349000 | #Constraints:      15922
1727.18/1731.90	c #Conflicts:     350000 | #Constraints:      16922
1727.18/1731.90	c #Conflicts:     351000 | #Constraints:      17922
1727.18/1731.90	c #Conflicts:     352000 | #Constraints:      18922
1727.18/1731.90	c #Conflicts:     353000 | #Constraints:      19922
1727.18/1731.90	c #Conflicts:     354000 | #Constraints:      20922
2136.66/2142.57	c #Conflicts:     355000 | #Constraints:      21922
2136.66/2142.57	c #Conflicts:     356000 | #Constraints:      22922
2136.66/2142.57	c #Conflicts:     357000 | #Constraints:      23922
2136.66/2142.57	c INPROCESSING
2136.66/2142.57	c GARBAGE COLLECT
2136.66/2142.57	c #Conflicts:     358000 | #Constraints:      13122
2136.66/2142.57	c #Conflicts:     359000 | #Constraints:      14122
2136.66/2142.57	c #Conflicts:     360000 | #Constraints:      15122
2136.66/2142.57	c #Conflicts:     361000 | #Constraints:      16122
2136.66/2142.57	c #Conflicts:     362000 | #Constraints:      17122
2136.66/2142.57	c #Conflicts:     363000 | #Constraints:      18122
2136.66/2142.57	c #Conflicts:     364000 | #Constraints:      19122
2136.66/2142.57	c #Conflicts:     365000 | #Constraints:      20122
2136.66/2142.57	c #Conflicts:     366000 | #Constraints:      21122
2136.66/2142.57	c #Conflicts:     367000 | #Constraints:      22122
2136.66/2142.57	c #Conflicts:     368000 | #Constraints:      23122
2136.66/2142.57	c #Conflicts:     369000 | #Constraints:      24122
2136.66/2142.57	c INPROCESSING
2136.66/2142.57	c GARBAGE COLLECT
2136.66/2142.57	c #Conflicts:     370000 | #Constraints:      13122
2136.66/2142.57	c #Conflicts:     371000 | #Constraints:      14122
2136.66/2142.57	c #Conflicts:     372000 | #Constraints:      15122
2136.66/2142.57	c #Conflicts:     373000 | #Constraints:      16122
2136.66/2142.57	c #Conflicts:     374000 | #Constraints:      17122
2136.66/2142.57	c #Conflicts:     375000 | #Constraints:      18122
2136.66/2142.57	c #Conflicts:     376000 | #Constraints:      19122
2136.66/2142.57	c #Conflicts:     377000 | #Constraints:      20122
2136.66/2142.57	c #Conflicts:     378000 | #Constraints:      21122
2136.66/2142.57	c #Conflicts:     379000 | #Constraints:      22122
2136.66/2142.57	c #Conflicts:     380000 | #Constraints:      23122
2136.66/2142.57	c #Conflicts:     381000 | #Constraints:      24122
2136.66/2142.57	c INPROCESSING
2136.66/2142.57	c GARBAGE COLLECT
2136.66/2142.57	c #Conflicts:     382000 | #Constraints:      12925
2136.66/2142.57	c #Conflicts:     383000 | #Constraints:      13925
2136.66/2142.57	c #Conflicts:     384000 | #Constraints:      14925
2136.66/2142.57	c #Conflicts:     385000 | #Constraints:      15925
2136.66/2142.57	c #Conflicts:     386000 | #Constraints:      16925
2136.66/2142.57	c #Conflicts:     387000 | #Constraints:      17925
2136.66/2142.57	c #Conflicts:     388000 | #Constraints:      18925
2136.66/2142.57	c #Conflicts:     389000 | #Constraints:      19925
2136.66/2142.57	c #Conflicts:     390000 | #Constraints:      20925
2136.66/2142.57	c #Conflicts:     391000 | #Constraints:      21925
2136.66/2142.57	c #Conflicts:     392000 | #Constraints:      22925
2136.66/2142.57	c #Conflicts:     393000 | #Constraints:      23925
2136.66/2142.57	c #Conflicts:     394000 | #Constraints:      24925
2136.66/2142.57	c INPROCESSING
2136.66/2142.57	c GARBAGE COLLECT
2136.66/2142.57	c #Conflicts:     395000 | #Constraints:      13531
2136.66/2142.57	c #Conflicts:     396000 | #Constraints:      14531
2136.66/2142.57	c #Conflicts:     397000 | #Constraints:      15531
2136.66/2142.57	c #Conflicts:     398000 | #Constraints:      16531
2136.66/2142.57	c #Conflicts:     399000 | #Constraints:      17531
2136.66/2142.57	c #Conflicts:     400000 | #Constraints:      18531
2136.66/2142.57	c #Conflicts:     401000 | #Constraints:      19531
2136.66/2142.57	c #Conflicts:     402000 | #Constraints:      20531
2136.66/2142.57	c #Conflicts:     403000 | #Constraints:      21531
2136.66/2142.57	c #Conflicts:     404000 | #Constraints:      22531
2136.66/2142.57	c #Conflicts:     405000 | #Constraints:      23531
2136.66/2142.57	c #Conflicts:     406000 | #Constraints:      24531
2136.66/2142.57	c #Conflicts:     407000 | #Constraints:      25531
2136.66/2142.57	c INPROCESSING
2136.66/2142.57	c GARBAGE COLLECT
2136.66/2142.57	c #Conflicts:     408000 | #Constraints:      13926
2136.66/2142.57	c #Conflicts:     409000 | #Constraints:      14926
2136.66/2142.57	c #Conflicts:     410000 | #Constraints:      15926
2136.66/2142.57	c #Conflicts:     411000 | #Constraints:      16926
2136.66/2142.57	c #Conflicts:     412000 | #Constraints:      17926
2136.66/2142.57	c #Conflicts:     413000 | #Constraints:      18926
2136.66/2142.57	c #Conflicts:     414000 | #Constraints:      19926
2136.66/2142.57	c #Conflicts:     415000 | #Constraints:      20926
2136.66/2142.57	c #Conflicts:     416000 | #Constraints:      21926
2136.66/2142.57	c #Conflicts:     417000 | #Constraints:      22926
2136.66/2142.57	c #Conflicts:     418000 | #Constraints:      23926
2136.66/2142.57	c #Conflicts:     419000 | #Constraints:      24926
2136.66/2142.57	c #Conflicts:     420000 | #Constraints:      25926
2136.66/2142.57	c INPROCESSING
2136.66/2142.57	c GARBAGE COLLECT
2136.66/2142.57	c #Conflicts:     421000 | #Constraints:      14128
2136.66/2142.57	c #Conflicts:     422000 | #Constraints:      15128
2136.66/2142.57	c #Conflicts:     423000 | #Constraints:      16128
2136.66/2142.57	c #Conflicts:     424000 | #Constraints:      17128
2136.66/2142.57	c #Conflicts:     425000 | #Constraints:      18128
2136.66/2142.57	c #Conflicts:     426000 | #Constraints:      19128
2136.66/2142.57	c #Conflicts:     427000 | #Constraints:      20128
2136.66/2142.57	c #Conflicts:     428000 | #Constraints:      21128
2136.66/2142.57	c #Conflicts:     429000 | #Constraints:      22128
2516.03/2522.95	c #Conflicts:     430000 | #Constraints:      23128
2516.03/2522.95	c #Conflicts:     431000 | #Constraints:      24128
2516.03/2522.95	c #Conflicts:     432000 | #Constraints:      25128
2516.03/2522.95	c #Conflicts:     433000 | #Constraints:      26128
2516.03/2522.95	c INPROCESSING
2516.03/2522.95	c GARBAGE COLLECT
2516.03/2522.95	c #Conflicts:     434000 | #Constraints:      14129
2516.03/2522.95	c #Conflicts:     435000 | #Constraints:      15129
2516.03/2522.95	c #Conflicts:     436000 | #Constraints:      16129
2516.03/2522.95	c #Conflicts:     437000 | #Constraints:      17129
2516.03/2522.95	c #Conflicts:     438000 | #Constraints:      18129
2516.03/2522.95	c #Conflicts:     439000 | #Constraints:      19129
2516.03/2522.95	c #Conflicts:     440000 | #Constraints:      20129
2516.03/2522.95	c #Conflicts:     441000 | #Constraints:      21129
2516.03/2522.95	c #Conflicts:     442000 | #Constraints:      22129
2516.03/2522.95	c #Conflicts:     443000 | #Constraints:      23129
2516.03/2522.95	c #Conflicts:     444000 | #Constraints:      24129
2516.03/2522.95	c #Conflicts:     445000 | #Constraints:      25129
2516.03/2522.95	c #Conflicts:     446000 | #Constraints:      26129
2516.03/2522.95	c INPROCESSING
2516.03/2522.95	c GARBAGE COLLECT
2516.03/2522.95	c #Conflicts:     447000 | #Constraints:      13932
2516.03/2522.95	c #Conflicts:     448000 | #Constraints:      14932
2516.03/2522.95	c #Conflicts:     449000 | #Constraints:      15932
2516.03/2522.95	c #Conflicts:     450000 | #Constraints:      16932
2516.03/2522.95	c #Conflicts:     451000 | #Constraints:      17932
2516.03/2522.95	c #Conflicts:     452000 | #Constraints:      18932
2516.03/2522.95	c #Conflicts:     453000 | #Constraints:      19932
2516.03/2522.95	c #Conflicts:     454000 | #Constraints:      20932
2516.03/2522.95	c #Conflicts:     455000 | #Constraints:      21932
2516.03/2522.95	c #Conflicts:     456000 | #Constraints:      22932
2516.03/2522.95	c #Conflicts:     457000 | #Constraints:      23932
2516.03/2522.95	c #Conflicts:     458000 | #Constraints:      24932
2516.03/2522.95	c #Conflicts:     459000 | #Constraints:      25932
2516.03/2522.95	c #Conflicts:     460000 | #Constraints:      26932
2516.03/2522.95	c INPROCESSING
2516.03/2522.95	c GARBAGE COLLECT
2516.03/2522.95	c #Conflicts:     461000 | #Constraints:      14530
2516.03/2522.95	c #Conflicts:     462000 | #Constraints:      15530
2516.03/2522.95	c #Conflicts:     463000 | #Constraints:      16530
2516.03/2522.95	c #Conflicts:     464000 | #Constraints:      17530
2516.03/2522.95	c #Conflicts:     465000 | #Constraints:      18530
2516.03/2522.95	c #Conflicts:     466000 | #Constraints:      19530
2516.03/2522.95	c #Conflicts:     467000 | #Constraints:      20530
2516.03/2522.95	c #Conflicts:     468000 | #Constraints:      21530
2516.03/2522.95	c #Conflicts:     469000 | #Constraints:      22530
2516.03/2522.95	c #Conflicts:     470000 | #Constraints:      23530
2516.03/2522.95	c #Conflicts:     471000 | #Constraints:      24530
2516.03/2522.95	c #Conflicts:     472000 | #Constraints:      25530
2516.03/2522.95	c #Conflicts:     473000 | #Constraints:      26530
2516.03/2522.95	c #Conflicts:     474000 | #Constraints:      27530
2516.03/2522.95	c INPROCESSING
2516.03/2522.95	c GARBAGE COLLECT
2516.03/2522.95	c #Conflicts:     475000 | #Constraints:      14928
2516.03/2522.95	c #Conflicts:     476000 | #Constraints:      15928
2516.03/2522.95	c #Conflicts:     477000 | #Constraints:      16928
2516.03/2522.95	c #Conflicts:     478000 | #Constraints:      17928
2516.03/2522.95	c #Conflicts:     479000 | #Constraints:      18928
2516.03/2522.95	c #Conflicts:     480000 | #Constraints:      19928
2516.03/2522.95	c #Conflicts:     481000 | #Constraints:      20928
2516.03/2522.95	c #Conflicts:     482000 | #Constraints:      21928
2516.03/2522.95	c #Conflicts:     483000 | #Constraints:      22928
2516.03/2522.95	c #Conflicts:     484000 | #Constraints:      23928
2516.03/2522.95	c #Conflicts:     485000 | #Constraints:      24928
2516.03/2522.95	c #Conflicts:     486000 | #Constraints:      25928
2516.03/2522.95	c #Conflicts:     487000 | #Constraints:      26928
2516.03/2522.95	c #Conflicts:     488000 | #Constraints:      27928
2516.03/2522.95	c INPROCESSING
2516.03/2522.95	c GARBAGE COLLECT
2516.03/2522.95	c #Conflicts:     489000 | #Constraints:      15127
2516.03/2522.95	c #Conflicts:     490000 | #Constraints:      16127
2516.03/2522.95	c #Conflicts:     491000 | #Constraints:      17127
2516.03/2522.95	c #Conflicts:     492000 | #Constraints:      18127
2516.03/2522.95	c #Conflicts:     493000 | #Constraints:      19127
2516.03/2522.95	c #Conflicts:     494000 | #Constraints:      20127
2516.03/2522.95	c #Conflicts:     495000 | #Constraints:      21127
2516.03/2522.95	c #Conflicts:     496000 | #Constraints:      22127
2516.03/2522.95	c #Conflicts:     497000 | #Constraints:      23127
2516.03/2522.95	c #Conflicts:     498000 | #Constraints:      24127
2516.03/2522.95	c #Conflicts:     499000 | #Constraints:      25127
2516.03/2522.95	c #Conflicts:     500000 | #Constraints:      26127
2516.03/2522.95	c #Conflicts:     501000 | #Constraints:      27127
2516.03/2522.95	c #Conflicts:     502000 | #Constraints:      28127
2516.03/2522.95	c INPROCESSING
2516.03/2522.95	c GARBAGE COLLECT
2516.03/2522.95	c #Conflicts:     503000 | #Constraints:      15139
2516.03/2522.95	c #Conflicts:     504000 | #Constraints:      16139
2962.42/2970.50	c #Conflicts:     505000 | #Constraints:      17139
2962.42/2970.50	c #Conflicts:     506000 | #Constraints:      18139
2962.42/2970.50	c #Conflicts:     507000 | #Constraints:      19139
2962.42/2970.50	c #Conflicts:     508000 | #Constraints:      20139
2962.42/2970.50	c #Conflicts:     509000 | #Constraints:      21139
2962.42/2970.50	c #Conflicts:     510000 | #Constraints:      22139
2962.42/2970.50	c #Conflicts:     511000 | #Constraints:      23139
2962.42/2970.50	c #Conflicts:     512000 | #Constraints:      24139
2962.42/2970.50	c #Conflicts:     513000 | #Constraints:      25139
2962.42/2970.50	c #Conflicts:     514000 | #Constraints:      26139
2962.42/2970.50	c #Conflicts:     515000 | #Constraints:      27139
2962.42/2970.50	c #Conflicts:     516000 | #Constraints:      28139
2962.42/2970.50	c INPROCESSING
2962.42/2970.50	c GARBAGE COLLECT
2962.42/2970.50	c #Conflicts:     517000 | #Constraints:      14942
2962.42/2970.50	c #Conflicts:     518000 | #Constraints:      15942
2962.42/2970.50	c #Conflicts:     519000 | #Constraints:      16942
2962.42/2970.50	c #Conflicts:     520000 | #Constraints:      17942
2962.42/2970.50	c #Conflicts:     521000 | #Constraints:      18942
2962.42/2970.50	c #Conflicts:     522000 | #Constraints:      19942
2962.42/2970.50	c #Conflicts:     523000 | #Constraints:      20942
2962.42/2970.50	c #Conflicts:     524000 | #Constraints:      21942
2962.42/2970.50	c #Conflicts:     525000 | #Constraints:      22942
2962.42/2970.50	c #Conflicts:     526000 | #Constraints:      23942
2962.42/2970.50	c #Conflicts:     527000 | #Constraints:      24942
2962.42/2970.50	c #Conflicts:     528000 | #Constraints:      25942
2962.42/2970.50	c #Conflicts:     529000 | #Constraints:      26942
2962.42/2970.50	c #Conflicts:     530000 | #Constraints:      27942
2962.42/2970.50	c #Conflicts:     531000 | #Constraints:      28942
2962.42/2970.50	c INPROCESSING
2962.42/2970.50	c GARBAGE COLLECT
2962.42/2970.50	c #Conflicts:     532000 | #Constraints:      15574
2962.42/2970.50	c #Conflicts:     533000 | #Constraints:      16574
2962.42/2970.50	c #Conflicts:     534000 | #Constraints:      17574
2962.42/2970.50	c #Conflicts:     535000 | #Constraints:      18574
2962.42/2970.50	c #Conflicts:     536000 | #Constraints:      19574
2962.42/2970.50	c #Conflicts:     537000 | #Constraints:      20574
2962.42/2970.50	c #Conflicts:     538000 | #Constraints:      21574
2962.42/2970.50	c #Conflicts:     539000 | #Constraints:      22574
2962.42/2970.50	c #Conflicts:     540000 | #Constraints:      23574
2962.42/2970.50	c #Conflicts:     541000 | #Constraints:      24574
2962.42/2970.50	c #Conflicts:     542000 | #Constraints:      25574
2962.42/2970.50	c #Conflicts:     543000 | #Constraints:      26574
2962.42/2970.50	c #Conflicts:     544000 | #Constraints:      27574
2962.42/2970.50	c #Conflicts:     545000 | #Constraints:      28574
2962.42/2970.50	c #Conflicts:     546000 | #Constraints:      29574
2962.42/2970.50	c INPROCESSING
2962.42/2970.50	c GARBAGE COLLECT
2962.42/2970.50	c #Conflicts:     547000 | #Constraints:      15952
2962.42/2970.50	c #Conflicts:     548000 | #Constraints:      16952
2962.42/2970.50	c #Conflicts:     549000 | #Constraints:      17952
2962.42/2970.50	c #Conflicts:     550000 | #Constraints:      18952
2962.42/2970.50	c #Conflicts:     551000 | #Constraints:      19952
2962.42/2970.50	c #Conflicts:     552000 | #Constraints:      20952
2962.42/2970.50	c #Conflicts:     553000 | #Constraints:      21952
2962.42/2970.50	c #Conflicts:     554000 | #Constraints:      22952
2962.42/2970.50	c #Conflicts:     555000 | #Constraints:      23952
2962.42/2970.50	c #Conflicts:     556000 | #Constraints:      24952
2962.42/2970.50	c #Conflicts:     557000 | #Constraints:      25952
2962.42/2970.50	c #Conflicts:     558000 | #Constraints:      26952
2962.42/2970.50	c #Conflicts:     559000 | #Constraints:      27952
2962.42/2970.50	c #Conflicts:     560000 | #Constraints:      28952
2962.42/2970.50	c #Conflicts:     561000 | #Constraints:      29952
2962.42/2970.50	c INPROCESSING
2962.42/2970.50	c GARBAGE COLLECT
2962.42/2970.50	c #Conflicts:     562000 | #Constraints:      16139
2962.42/2970.50	c #Conflicts:     563000 | #Constraints:      17139
2962.42/2970.50	c #Conflicts:     564000 | #Constraints:      18139
2962.42/2970.50	c #Conflicts:     565000 | #Constraints:      19139
2962.42/2970.50	c #Conflicts:     566000 | #Constraints:      20139
2962.42/2970.50	c #Conflicts:     567000 | #Constraints:      21139
2962.42/2970.50	c #Conflicts:     568000 | #Constraints:      22139
2962.42/2970.50	c #Conflicts:     569000 | #Constraints:      23139
2962.42/2970.50	c #Conflicts:     570000 | #Constraints:      24139
2962.42/2970.50	c #Conflicts:     571000 | #Constraints:      25139
2962.42/2970.50	c #Conflicts:     572000 | #Constraints:      26139
2962.42/2970.50	c #Conflicts:     573000 | #Constraints:      27139
2962.42/2970.50	c #Conflicts:     574000 | #Constraints:      28139
2962.42/2970.50	c #Conflicts:     575000 | #Constraints:      29139
2962.42/2970.50	c #Conflicts:     576000 | #Constraints:      30139
2962.42/2970.50	c INPROCESSING
2962.42/2970.50	c GARBAGE COLLECT
2962.42/2970.50	c #Conflicts:     577000 | #Constraints:      16133
2962.42/2970.50	c #Conflicts:     578000 | #Constraints:      17133
2962.42/2970.50	c #Conflicts:     579000 | #Constraints:      18133
2962.42/2970.50	c #Conflicts:     580000 | #Constraints:      19133
3451.37/3460.85	c #Conflicts:     581000 | #Constraints:      20133
3451.37/3460.85	c #Conflicts:     582000 | #Constraints:      21133
3451.37/3460.85	c #Conflicts:     583000 | #Constraints:      22133
3451.37/3460.85	c #Conflicts:     584000 | #Constraints:      23133
3451.37/3460.85	c #Conflicts:     585000 | #Constraints:      24133
3451.37/3460.85	c #Conflicts:     586000 | #Constraints:      25133
3451.37/3460.85	c #Conflicts:     587000 | #Constraints:      26133
3451.37/3460.85	c #Conflicts:     588000 | #Constraints:      27133
3451.37/3460.85	c #Conflicts:     589000 | #Constraints:      28133
3451.37/3460.85	c #Conflicts:     590000 | #Constraints:      29133
3451.37/3460.85	c #Conflicts:     591000 | #Constraints:      30133
3451.37/3460.85	c INPROCESSING
3451.37/3460.85	c GARBAGE COLLECT
3451.37/3460.85	c #Conflicts:     592000 | #Constraints:      15933
3451.37/3460.85	c #Conflicts:     593000 | #Constraints:      16933
3451.37/3460.85	c #Conflicts:     594000 | #Constraints:      17933
3451.37/3460.85	c #Conflicts:     595000 | #Constraints:      18933
3451.37/3460.85	c #Conflicts:     596000 | #Constraints:      19933
3451.37/3460.85	c #Conflicts:     597000 | #Constraints:      20933
3451.37/3460.85	c #Conflicts:     598000 | #Constraints:      21933
3451.37/3460.85	c #Conflicts:     599000 | #Constraints:      22933
3451.37/3460.85	c #Conflicts:     600000 | #Constraints:      23933
3451.37/3460.85	c #Conflicts:     601000 | #Constraints:      24933
3451.37/3460.85	c #Conflicts:     602000 | #Constraints:      25933
3451.37/3460.85	c #Conflicts:     603000 | #Constraints:      26933
3451.37/3460.85	c #Conflicts:     604000 | #Constraints:      27933
3451.37/3460.85	c #Conflicts:     605000 | #Constraints:      28933
3451.37/3460.85	c #Conflicts:     606000 | #Constraints:      29933
3451.37/3460.85	c #Conflicts:     607000 | #Constraints:      30933
3451.37/3460.85	c INPROCESSING
3451.37/3460.85	c GARBAGE COLLECT
3451.37/3460.85	c #Conflicts:     608000 | #Constraints:      16540
3451.37/3460.85	c #Conflicts:     609000 | #Constraints:      17540
3451.37/3460.85	c #Conflicts:     610000 | #Constraints:      18540
3451.37/3460.85	c #Conflicts:     611000 | #Constraints:      19540
3451.37/3460.85	c #Conflicts:     612000 | #Constraints:      20540
3451.37/3460.85	c #Conflicts:     613000 | #Constraints:      21540
3451.37/3460.85	c #Conflicts:     614000 | #Constraints:      22540
3451.37/3460.85	c #Conflicts:     615000 | #Constraints:      23540
3451.37/3460.85	c #Conflicts:     616000 | #Constraints:      24540
3451.37/3460.85	c #Conflicts:     617000 | #Constraints:      25540
3451.37/3460.85	c #Conflicts:     618000 | #Constraints:      26540
3451.37/3460.85	c #Conflicts:     619000 | #Constraints:      27540
3451.37/3460.85	c #Conflicts:     620000 | #Constraints:      28540
3451.37/3460.85	c #Conflicts:     621000 | #Constraints:      29540
3451.37/3460.85	c #Conflicts:     622000 | #Constraints:      30540
3451.37/3460.85	c #Conflicts:     623000 | #Constraints:      31540
3451.37/3460.85	c INPROCESSING
3451.37/3460.85	c GARBAGE COLLECT
3451.37/3460.85	c #Conflicts:     624000 | #Constraints:      16946
3451.37/3460.85	c #Conflicts:     625000 | #Constraints:      17946
3451.37/3460.85	c #Conflicts:     626000 | #Constraints:      18946
3451.37/3460.85	c #Conflicts:     627000 | #Constraints:      19946
3451.37/3460.85	c #Conflicts:     628000 | #Constraints:      20946
3451.37/3460.85	c #Conflicts:     629000 | #Constraints:      21946
3451.37/3460.85	c #Conflicts:     630000 | #Constraints:      22946
3451.37/3460.85	c #Conflicts:     631000 | #Constraints:      23946
3451.37/3460.85	c #Conflicts:     632000 | #Constraints:      24946
3451.37/3460.85	c #Conflicts:     633000 | #Constraints:      25946
3451.37/3460.85	c #Conflicts:     634000 | #Constraints:      26946
3451.37/3460.85	c #Conflicts:     635000 | #Constraints:      27946
3451.37/3460.85	c #Conflicts:     636000 | #Constraints:      28946
3451.37/3460.85	c #Conflicts:     637000 | #Constraints:      29946
3451.37/3460.85	c #Conflicts:     638000 | #Constraints:      30946
3451.37/3460.85	c #Conflicts:     639000 | #Constraints:      31946
3451.37/3460.85	c INPROCESSING
3451.37/3460.85	c GARBAGE COLLECT
3451.37/3460.85	c #Conflicts:     640000 | #Constraints:      17144
3451.37/3460.85	c #Conflicts:     641000 | #Constraints:      18144
3451.37/3460.85	c #Conflicts:     642000 | #Constraints:      19144
3451.37/3460.85	c #Conflicts:     643000 | #Constraints:      20144
3451.37/3460.85	c #Conflicts:     644000 | #Constraints:      21144
3451.37/3460.85	c #Conflicts:     645000 | #Constraints:      22144
3451.37/3460.85	c #Conflicts:     646000 | #Constraints:      23144
3451.37/3460.85	c #Conflicts:     647000 | #Constraints:      24144
3451.37/3460.85	c #Conflicts:     648000 | #Constraints:      25144
3451.37/3460.85	c #Conflicts:     649000 | #Constraints:      26144
3451.37/3460.85	c #Conflicts:     650000 | #Constraints:      27144
3451.37/3460.85	c #Conflicts:     651000 | #Constraints:      28144
3451.37/3460.85	c #Conflicts:     652000 | #Constraints:      29144
3451.37/3460.85	c #Conflicts:     653000 | #Constraints:      30144
3451.37/3460.85	c #Conflicts:     654000 | #Constraints:      31144
3451.37/3460.85	c #Conflicts:     655000 | #Constraints:      32144
3451.37/3460.85	c INPROCESSING
3451.37/3460.85	c GARBAGE COLLECT
3451.37/3460.85	c #Conflicts:     656000 | #Constraints:      17138
3600.06/3609.90	c #Conflicts:     657000 | #Constraints:      18138
3600.06/3609.90	c #Conflicts:     658000 | #Constraints:      19138
3600.06/3609.90	c #Conflicts:     659000 | #Constraints:      20138
3600.06/3609.90	c #Conflicts:     660000 | #Constraints:      21138
3600.06/3609.90	c #Conflicts:     661000 | #Constraints:      22138
3600.06/3609.90	c #Conflicts:     662000 | #Constraints:      23138
3600.06/3609.90	c #Conflicts:     663000 | #Constraints:      24138
3600.06/3609.90	c #Conflicts:     664000 | #Constraints:      25138
3600.06/3609.90	c #Conflicts:     665000 | #Constraints:      26138
3600.06/3609.90	c #Conflicts:     666000 | #Constraints:      27138
3600.06/3609.90	c #Conflicts:     667000 | #Constraints:      28138
3600.06/3609.90	c #Conflicts:     668000 | #Constraints:      29138
3600.06/3609.90	c #Conflicts:     669000 | #Constraints:      30138
3600.06/3609.90	c #Conflicts:     670000 | #Constraints:      31138
3600.06/3609.90	c #Conflicts:     671000 | #Constraints:      32138
3600.06/3609.90	c INPROCESSING
3600.06/3609.90	c GARBAGE COLLECT
3600.06/3609.90	c #Conflicts:     672000 | #Constraints:      16946
3600.06/3609.90	c #Conflicts:     673000 | #Constraints:      17946
3600.06/3609.90	c #Conflicts:     674000 | #Constraints:      18946
3600.06/3609.90	c #Conflicts:     675000 | #Constraints:      19946
3600.06/3609.90	c #Conflicts:     676000 | #Constraints:      20946
3600.06/3609.90	c #Conflicts:     677000 | #Constraints:      21946
3600.06/3609.90	c #Conflicts:     678000 | #Constraints:      22946
3600.06/3609.90	c #Conflicts:     679000 | #Constraints:      23946
3600.06/3609.90	c cpu time 3570.63 s
3600.06/3609.90	c deterministic time 7259651 7.26e+06
3600.06/3609.90	c optimization time 3569.87 s
3600.06/3609.90	c total solve time 0.612229 s
3600.06/3609.90	c core-guided solve time 0 s
3600.06/3609.90	c propagation time 0.349423 s
3600.06/3609.90	c conflict analysis time 0.062924 s
3600.06/3609.90	c propagations 1409452
3600.06/3609.90	c resolve steps 0
3600.06/3609.90	c decisions 1380684
3600.06/3609.90	c conflicts 8
3600.06/3609.90	c restarts 1
3600.06/3609.90	c inprocessing phases 0
3600.06/3609.90	c garbage collections 0 ,( -nan )
3600.06/3609.90	c input clauses 55680 ,( 99.89 )
3600.06/3609.90	c input cardinalities 0 ,( 0.00 )
3600.06/3609.90	c input general constraints 64 ,( 0.11 )
3600.06/3609.90	c input average constraint length 17.33
3600.06/3609.90	c input average constraint degree 25906.46
3600.06/3609.90	c learned clauses 68 ,( 100.00 )
3600.06/3609.90	c learned cardinalities 0 ,( 0.00 )
3600.06/3609.90	c learned general constraints 0 ,( 0.00 )
3600.06/3609.90	c learned average constraint length 45.66
3600.06/3609.90	c learned average constraint degree 1.00
3600.06/3609.90	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.06/3609.90	c counting CF 32, 64, 128, Arb: 65 , 0 , 0 , 0
3600.06/3609.90	c watched   constraints 0 ,( 0.00 ) 
3600.06/3609.90	c counting  constraints 64 ,( 100.00 ) 
3600.06/3609.90	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 713183 , 0 , 9423 ,( 0 , 9423 )
3600.06/3609.90	c gcd simplifications 0
3600.06/3609.90	c detected cardinalities 0
3600.06/3609.90	c weakened non-implied lits 0
3600.06/3609.90	c weakened non-implying lits 0
3600.06/3609.90	c original variables 26836
3600.06/3609.90	c clausal propagations 703595
3600.06/3609.90	c cardinality propagations 0
3600.06/3609.90	c watched propagations 0
3600.06/3609.90	c counting propagations 1297
3600.06/3609.90	c watch lookups 737615
3600.06/3609.90	c watch backjump lookups 0
3600.06/3609.90	c watch checks 223635
3600.06/3609.90	c propagation checks 704925
3600.06/3609.90	c constraint additions 10200
3600.06/3609.90	c trail pops 2790139
3600.06/3609.90	c formula constraints 55586
3600.06/3609.90	c learned constraints 68
3600.06/3609.90	c bound constraints 0
3600.06/3609.90	c core-guided constraints 0
3600.06/3609.90	c encountered formula constraints 8
3600.06/3609.90	c encountered learned constraints 0
3600.06/3609.90	c encountered bound constraints 0
3600.06/3609.90	c encountered core-guided constraints 0
3600.06/3609.90	c LP total time 0.241735 s
3600.06/3609.90	c LP solve time 0.22 s
3600.06/3609.90	c LP constraints added 55586
3600.06/3609.90	c LP constraints removed 0
3600.06/3609.90	c LP pivots internal 2000
3600.06/3609.90	c LP pivots root 1000
3600.06/3609.90	c LP calls 2
3600.06/3609.90	c LP optimalities 0
3600.06/3609.90	c LP no pivot count 0
3600.06/3609.90	c LP infeasibilities 0
3600.06/3609.90	c LP valid Farkas constraints 0
3600.06/3609.90	c LP learned Farkas constraints 0
3600.06/3609.90	c LP basis resets 0
3600.06/3609.90	c LP cycling count 0
3600.06/3609.90	c LP singular count 0
3600.06/3609.90	c LP no primal count 0
3600.06/3609.90	c LP no farkas count 0
3600.06/3609.90	c LP other issue count 0
3600.06/3609.90	c LP Gomory cuts 0
3600.06/3609.90	c LP learned cuts 0
3600.06/3609.90	c LP deleted cuts 0
3600.06/3609.90	c LP encountered Gomory constraints 0
3600.06/3609.90	c LP encountered Farkas constraints 0
3600.06/3609.90	c LP encountered learned Farkas constraints 0
3600.06/3609.90	c CG auxiliary variables introduced 97
3600.06/3609.90	c CG solutions found 0
3600.06/3609.90	c CG cores constructed 68
3600.06/3609.90	c CG core cardinality constraints returned 0
3600.06/3609.90	c CG unit cores 0
3600.06/3609.90	c CG single cores 0
3600.06/3609.90	c CG blocks removed during cardinality reduction 0
3600.06/3609.90	c CG first core best 0
3600.06/3609.90	c CG decision core best 0
3600.06/3609.90	c CG core reduction tie 0
3600.06/3609.90	c CG core degree average 0.00
3600.06/3609.90	c CG core slack average 0.00
3600.06/3609.90	c CG core upper bound improvements 0
3600.06/3609.90	c STR number of successful calls 0
3600.06/3609.90	c STR number of unsuccessful calls 0
3600.06/3609.90	c STR number of inconclusive calls 0
3600.06/3609.90	c STR number of successful attempts 0
3600.06/3609.90	c STR number of unsuccessful attempts 0
3600.06/3609.90	c STR number of inconclusive attempts 0
3600.06/3609.90	c STR average degree increase per successful call inf
3600.06/3609.90	c STR average degree increase per successful attempt inf
3600.06/3609.90	c STR total number of conflicts for successful attempts 0
3600.06/3609.90	c STR total number of conflicts for unsuccessful attempts 0
3600.06/3609.90	c STR total number of conflicts for inconclusive attempts 0
3600.06/3609.90	c STR average number of conflicts per successful attempt inf
3600.06/3609.90	c STR average number of conflicts per unsuccessful attempt inf
3600.06/3609.90	c STR average number of conflicts per inconclusive attempt inf
3600.06/3609.90	c AVG.sumWPerc 99.95 
3600.06/3609.90	c bigint constraints 0 
3600.06/3609.90	s UNKNOWN
3600.06/3609.90	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=56620, runsolver pid=56602

[startup+0.100059 s]*
/proc/loadavg: 0.66 1.48 2.68 5/269 56622
/proc/meminfo: memFree=128890996/131249996 swapFree=33010684/33010684
[pid=56620] ppid=56602 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56620/stat : 56620 (run-opt.sh) S 56602 56620 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55091812 4292608 768 18446744073709551615 94122351513600 94122352408133 140731874212896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94122352647184 94122352694928 94122375655424 140731874220397 140731874220520 140731874220520 140731874226122 0
/proc/56620/statm: 1048 768 704 219 0 110 0
[pid=56622] ppid=56620 vsize=61852 memory=17008 CPUtime=0.07 cores=1,3
/proc/56622/stat : 56622 (roundingsat) R 56620 56620 56549 0 -1 4194304 2547 0 0 0 5 2 0 0 20 0 1 0 55091814 63336448 4252 18446744073709551615 4227072 8923433 140734898704032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18284544 140734898706850 140734898706984 140734898706984 140734898712554 0
/proc/56622/statm: 15463 4252 1920 1147 0 2890 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 66044 KiB
Current children cumulated memory: 20080 KiB

[startup+0.204748 s]*
/proc/loadavg: 0.66 1.48 2.68 5/269 56622
/proc/meminfo: memFree=128823072/131249996 swapFree=33010684/33010684
[pid=56620] ppid=56602 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56620/stat : 56620 (run-opt.sh) S 56602 56620 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55091812 4292608 768 18446744073709551615 94122351513600 94122352408133 140731874212896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94122352647184 94122352694928 94122375655424 140731874220397 140731874220520 140731874220520 140731874226122 0
/proc/56620/statm: 1048 768 704 219 0 110 0
[pid=56622] ppid=56620 vsize=122852 memory=51944 CPUtime=0.18 cores=1,3
/proc/56622/stat : 56622 (roundingsat) R 56620 56620 56549 0 -1 4194304 7573 0 0 0 12 6 0 0 20 0 1 0 55091814 125800448 12986 18446744073709551615 4227072 8923433 140734898704032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18284544 140734898706850 140734898706984 140734898706984 140734898712554 0
/proc/56622/statm: 30713 12986 2240 1147 0 18140 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 127044 KiB
Current children cumulated memory: 55016 KiB

[startup+0.305406 s]*
/proc/loadavg: 0.66 1.48 2.68 5/269 56622
/proc/meminfo: memFree=128788984/131249996 swapFree=33010684/33010684
[pid=56620] ppid=56602 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56620/stat : 56620 (run-opt.sh) S 56602 56620 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55091812 4292608 768 18446744073709551615 94122351513600 94122352408133 140731874212896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94122352647184 94122352694928 94122375655424 140731874220397 140731874220520 140731874220520 140731874226122 0
/proc/56620/statm: 1048 768 704 219 0 110 0
[pid=56622] ppid=56620 vsize=136528 memory=81772 CPUtime=0.28 cores=1,3
/proc/56622/stat : 56622 (roundingsat) R 56620 56620 56549 0 -1 4194304 12052 0 0 0 18 10 0 0 20 0 1 0 55091814 139804672 20443 18446744073709551615 4227072 8923433 140734898704032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18284544 140734898706850 140734898706984 140734898706984 140734898712554 0
/proc/56622/statm: 34132 20443 2336 1147 0 21559 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 140720 KiB
Current children cumulated memory: 84844 KiB

[startup+0.700168 s]
/proc/loadavg: 0.66 1.48 2.68 5/269 56622
/proc/meminfo: memFree=128746836/131249996 swapFree=33010684/33010684
[pid=56620] ppid=56602 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56620/stat : 56620 (run-opt.sh) S 56602 56620 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55091812 4292608 768 18446744073709551615 94122351513600 94122352408133 140731874212896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94122352647184 94122352694928 94122375655424 140731874220397 140731874220520 140731874220520 140731874226122 0
/proc/56620/statm: 1048 768 704 219 0 110 0
[pid=56622] ppid=56620 vsize=155792 memory=101356 CPUtime=0.67 cores=1,3
/proc/56622/stat : 56622 (roundingsat) R 56620 56620 56549 0 -1 4194304 16907 0 0 0 47 20 0 0 20 0 1 0 55091814 159531008 25339 18446744073709551615 4227072 8923433 140734898704032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18284544 140734898706850 140734898706984 140734898706984 140734898712554 0
/proc/56622/statm: 38948 25339 2368 1147 0 26375 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 159984 KiB
Current children cumulated memory: 104428 KiB

[startup+1.50015 s]
/proc/loadavg: 0.66 1.48 2.68 5/269 56622
/proc/meminfo: memFree=128731424/131249996 swapFree=33010684/33010684
[pid=56620] ppid=56602 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56620/stat : 56620 (run-opt.sh) S 56602 56620 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55091812 4292608 768 18446744073709551615 94122351513600 94122352408133 140731874212896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94122352647184 94122352694928 94122375655424 140731874220397 140731874220520 140731874220520 140731874226122 0
/proc/56620/statm: 1048 768 704 219 0 110 0
[pid=56622] ppid=56620 vsize=169472 memory=117500 CPUtime=1.46 cores=1,3
/proc/56622/stat : 56622 (roundingsat) R 56620 56620 56549 0 -1 4194304 19399 0 0 0 102 44 0 0 20 0 1 0 55091814 173539328 29375 18446744073709551615 4227072 8923433 140734898704032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18284544 140734898706850 140734898706984 140734898706984 140734898712554 0
/proc/56622/statm: 42368 29375 2368 1147 0 29795 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 173664 KiB
Current children cumulated memory: 120572 KiB

[startup+3.10447 s]
/proc/loadavg: 0.93 1.53 2.69 5/269 56622
/proc/meminfo: memFree=128635756/131249996 swapFree=33010684/33010684
[pid=56620] ppid=56602 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56620/stat : 56620 (run-opt.sh) S 56602 56620 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55091812 4292608 768 18446744073709551615 94122351513600 94122352408133 140731874212896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94122352647184 94122352694928 94122375655424 140731874220397 140731874220520 140731874220520 140731874226122 0
/proc/56620/statm: 1048 768 704 219 0 110 0
[pid=56622] ppid=56620 vsize=217532 memory=162204 CPUtime=3.07 cores=1,3
/proc/56622/stat : 56622 (roundingsat) R 56620 56620 56549 0 -1 4194304 25255 0 0 0 225 82 0 0 20 0 1 0 55091814 222752768 40551 18446744073709551615 4227072 8923433 140734898704032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18284544 140734898706850 140734898706984 140734898706984 140734898712554 0
/proc/56622/statm: 54383 40551 2368 1147 0 41810 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 221724 KiB
Current children cumulated memory: 165276 KiB

[startup+6.30014 s]
/proc/loadavg: 0.93 1.53 2.69 5/269 56622
/proc/meminfo: memFree=128509672/131249996 swapFree=33010684/33010684
[pid=56620] ppid=56602 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56620/stat : 56620 (run-opt.sh) S 56602 56620 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55091812 4292608 768 18446744073709551615 94122351513600 94122352408133 140731874212896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94122352647184 94122352694928 94122375655424 140731874220397 140731874220520 140731874220520 140731874226122 0
/proc/56620/statm: 1048 768 704 219 0 110 0
[pid=56622] ppid=56620 vsize=257796 memory=203288 CPUtime=6.25 cores=1,3
/proc/56622/stat : 56622 (roundingsat) R 56620 56620 56549 0 -1 4194304 32989 0 0 0 527 98 0 0 20 0 1 0 55091814 263983104 50822 18446744073709551615 4227072 8923433 140734898704032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18284544 140734898706850 140734898706984 140734898706984 140734898712554 0
/proc/56622/statm: 64449 50822 2368 1147 0 51876 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 261988 KiB
Current children cumulated memory: 206360 KiB

[startup+12.7001 s]
/proc/loadavg: 1.18 1.57 2.70 5/269 56622
/proc/meminfo: memFree=128344256/131249996 swapFree=33010684/33010684
[pid=56620] ppid=56602 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56620/stat : 56620 (run-opt.sh) S 56602 56620 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55091812 4292608 768 18446744073709551615 94122351513600 94122352408133 140731874212896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94122352647184 94122352694928 94122375655424 140731874220397 140731874220520 140731874220520 140731874226122 0
/proc/56620/statm: 1048 768 704 219 0 110 0
[pid=56622] ppid=56620 vsize=342084 memory=270512 CPUtime=12.63 cores=1,3
/proc/56622/stat : 56622 (roundingsat) R 56620 56620 56549 0 -1 4194304 46744 0 0 0 1135 128 0 0 20 0 1 0 55091814 350294016 67628 18446744073709551615 4227072 8923433 140734898704032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18284544 140734898706850 140734898706984 140734898706984 140734898712554 0
/proc/56622/statm: 85521 67628 2368 1147 0 72948 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 346276 KiB
Current children cumulated memory: 273584 KiB

[startup+25.5002 s]
/proc/loadavg: 1.80 1.69 2.72 5/269 56622
/proc/meminfo: memFree=128071324/131249996 swapFree=33010684/33010684
[pid=56620] ppid=56602 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56620/stat : 56620 (run-opt.sh) S 56602 56620 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55091812 4292608 768 18446744073709551615 94122351513600 94122352408133 140731874212896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94122352647184 94122352694928 94122375655424 140731874220397 140731874220520 140731874220520 140731874226122 0
/proc/56620/statm: 1048 768 704 219 0 110 0
[pid=56622] ppid=56620 vsize=388944 memory=311828 CPUtime=25.39 cores=1,3
/proc/56622/stat : 56622 (roundingsat) R 56620 56620 56549 0 -1 4194304 54005 0 0 0 2368 171 0 0 20 0 1 0 55091814 398278656 77957 18446744073709551615 4227072 8923433 140734898704032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18284544 140734898706850 140734898706984 140734898706984 140734898712554 0
/proc/56622/statm: 97236 77957 2368 1147 0 84663 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 393136 KiB
Current children cumulated memory: 314900 KiB

[startup+51.1049 s]
/proc/loadavg: 2.55 1.87 2.75 5/269 56623
/proc/meminfo: memFree=127927412/131249996 swapFree=33010684/33010684
[pid=56620] ppid=56602 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56620/stat : 56620 (run-opt.sh) S 56602 56620 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55091812 4292608 768 18446744073709551615 94122351513600 94122352408133 140731874212896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94122352647184 94122352694928 94122375655424 140731874220397 140731874220520 140731874220520 140731874226122 0
/proc/56620/statm: 1048 768 704 219 0 110 0
[pid=56622] ppid=56620 vsize=391380 memory=325476 CPUtime=50.94 cores=1,3
/proc/56622/stat : 56622 (roundingsat) R 56620 56620 56549 0 -1 4194304 54861 0 0 0 4851 243 0 0 20 0 1 0 55091814 400773120 81369 18446744073709551615 4227072 8923433 140734898704032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18284544 140734898706850 140734898706984 140734898706984 140734898712554 0
/proc/56622/statm: 97845 81369 2368 1147 0 85272 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 395572 KiB
Current children cumulated memory: 328548 KiB

[startup+102.3 s]
/proc/loadavg: 3.41 2.22 2.83 5/270 56626
/proc/meminfo: memFree=127391304/131249996 swapFree=33010684/33010684
[pid=56620] ppid=56602 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56620/stat : 56620 (run-opt.sh) S 56602 56620 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55091812 4292608 768 18446744073709551615 94122351513600 94122352408133 140731874212896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94122352647184 94122352694928 94122375655424 140731874220397 140731874220520 140731874220520 140731874226122 0
/proc/56620/statm: 1048 768 704 219 0 110 0
[pid=56622] ppid=56620 vsize=604844 memory=523892 CPUtime=102 cores=1,3
/proc/56622/stat : 56622 (roundingsat) R 56620 56620 56549 0 -1 4194304 91730 0 0 0 9808 392 0 0 20 0 1 0 55091814 619360256 130973 18446744073709551615 4227072 8923433 140734898704032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18284544 140734898706850 140734898706984 140734898706984 140734898712554 0
/proc/56622/statm: 151211 130973 2368 1147 0 138638 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 609036 KiB
Current children cumulated memory: 526964 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 2.58 2.91 5/269 56628
/proc/meminfo: memFree=127131512/131249996 swapFree=33010684/33010684
[pid=56620] ppid=56602 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56620/stat : 56620 (run-opt.sh) S 56602 56620 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55091812 4292608 768 18446744073709551615 94122351513600 94122352408133 140731874212896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94122352647184 94122352694928 94122375655424 140731874220397 140731874220520 140731874220520 140731874226122 0
/proc/56620/statm: 1048 768 704 219 0 110 0
[pid=56622] ppid=56620 vsize=768304 memory=613416 CPUtime=161.84 cores=1,3
/proc/56622/stat : 56622 (roundingsat) R 56620 56620 56549 0 -1 4194304 108515 0 0 0 15673 511 0 0 20 0 1 0 55091814 786743296 153354 18446744073709551615 4227072 8923433 140734898704032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18284544 140734898706850 140734898706984 140734898706984 140734898712554 0
/proc/56622/statm: 192076 153354 2368 1147 0 179503 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 772496 KiB
Current children cumulated memory: 616488 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 2.85 2.99 5/269 56630
/proc/meminfo: memFree=126820832/131249996 swapFree=33010684/33010684
[pid=56620] ppid=56602 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56620/stat : 56620 (run-opt.sh) S 56602 56620 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55091812 4292608 768 18446744073709551615 94122351513600 94122352408133 140731874212896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94122352647184 94122352694928 94122375655424 140731874220397 140731874220520 140731874220520 140731874226122 0
/proc/56620/statm: 1048 768 704 219 0 110 0
[pid=56622] ppid=56620 vsize=972796 memory=782680 CPUtime=221.68 cores=1,3
/proc/56622/stat : 56622 (roundingsat) R 56620 56620 56549 0 -1 4194304 143155 0 0 0 21526 642 0 0 20 0 1 0 55091814 996143104 195670 18446744073709551615 4227072 8923433 140734898704032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18284544 140734898706850 140734898706984 140734898706984 140734898712554 0
/proc/56622/statm: 243199 195670 2368 1147 0 230626 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 976988 KiB

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

/proc/56622/statm: 734068 558501 2368 1147 0 721495 0
Current children cumulated CPU time: 3093.85 s
Current children cumulated vsize: 2940464 KiB
Current children cumulated memory: 2237076 KiB

[startup+3162.3 s]
/proc/loadavg: 4.18 4.13 4.05 5/268 56792
/proc/meminfo: memFree=118267532/131249996 swapFree=33010684/33010684
[pid=56620] ppid=56602 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56620/stat : 56620 (run-opt.sh) S 56602 56620 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55091812 4292608 768 18446744073709551615 94122351513600 94122352408133 140731874212896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94122352647184 94122352694928 94122375655424 140731874220397 140731874220520 140731874220520 140731874226122 0
/proc/56620/statm: 1048 768 704 219 0 110 0
[pid=56622] ppid=56620 vsize=3061208 memory=2368132 CPUtime=3153.69 cores=1,3
/proc/56622/stat : 56622 (roundingsat) R 56620 56620 56549 0 -1 4194304 434624 0 0 0 312699 2670 0 0 20 0 1 0 55091814 3134676992 592033 18446744073709551615 4227072 8923433 140734898704032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18284544 140734898706850 140734898706984 140734898706984 140734898712554 0
/proc/56622/statm: 765302 592033 2368 1147 0 752729 0
Current children cumulated CPU time: 3153.69 s
Current children cumulated vsize: 3065400 KiB
Current children cumulated memory: 2371204 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.05 5/268 56794
/proc/meminfo: memFree=118235756/131249996 swapFree=33010684/33010684
[pid=56620] ppid=56602 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56620/stat : 56620 (run-opt.sh) S 56602 56620 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55091812 4292608 768 18446744073709551615 94122351513600 94122352408133 140731874212896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94122352647184 94122352694928 94122375655424 140731874220397 140731874220520 140731874220520 140731874226122 0
/proc/56620/statm: 1048 768 704 219 0 110 0
[pid=56622] ppid=56620 vsize=3061208 memory=2368132 CPUtime=3213.53 cores=1,3
/proc/56622/stat : 56622 (roundingsat) R 56620 56620 56549 0 -1 4194304 434709 0 0 0 318622 2731 0 0 20 0 1 0 55091814 3134676992 592033 18446744073709551615 4227072 8923433 140734898704032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18284544 140734898706850 140734898706984 140734898706984 140734898712554 0
/proc/56622/statm: 765302 592033 2368 1147 0 752729 0
Current children cumulated CPU time: 3213.53 s
Current children cumulated vsize: 3065400 KiB
Current children cumulated memory: 2371204 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.05 5/267 56796
/proc/meminfo: memFree=118181820/131249996 swapFree=33010684/33010684
[pid=56620] ppid=56602 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56620/stat : 56620 (run-opt.sh) S 56602 56620 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55091812 4292608 768 18446744073709551615 94122351513600 94122352408133 140731874212896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94122352647184 94122352694928 94122375655424 140731874220397 140731874220520 140731874220520 140731874226122 0
/proc/56620/statm: 1048 768 704 219 0 110 0
[pid=56622] ppid=56620 vsize=3061208 memory=2368132 CPUtime=3273.36 cores=1,3
/proc/56622/stat : 56622 (roundingsat) R 56620 56620 56549 0 -1 4194304 434762 0 0 0 324580 2756 0 0 20 0 1 0 55091814 3134676992 592033 18446744073709551615 4227072 8923433 140734898704032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18284544 140734898706850 140734898706984 140734898706984 140734898712554 0
/proc/56622/statm: 765302 592033 2368 1147 0 752729 0
Current children cumulated CPU time: 3273.36 s
Current children cumulated vsize: 3065400 KiB
Current children cumulated memory: 2371204 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.05 5/267 56798
/proc/meminfo: memFree=118169072/131249996 swapFree=33010684/33010684
[pid=56620] ppid=56602 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56620/stat : 56620 (run-opt.sh) S 56602 56620 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55091812 4292608 768 18446744073709551615 94122351513600 94122352408133 140731874212896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94122352647184 94122352694928 94122375655424 140731874220397 140731874220520 140731874220520 140731874226122 0
/proc/56620/statm: 1048 768 704 219 0 110 0
[pid=56622] ppid=56620 vsize=3061208 memory=2368132 CPUtime=3333.19 cores=1,3
/proc/56622/stat : 56622 (roundingsat) R 56620 56620 56549 0 -1 4194304 434762 0 0 0 330536 2783 0 0 20 0 1 0 55091814 3134676992 592033 18446744073709551615 4227072 8923433 140734898704032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18284544 140734898706850 140734898706984 140734898706984 140734898712554 0
/proc/56622/statm: 765302 592033 2368 1147 0 752729 0
Current children cumulated CPU time: 3333.19 s
Current children cumulated vsize: 3065400 KiB
Current children cumulated memory: 2371204 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.10 4.05 5/268 56802
/proc/meminfo: memFree=118170532/131249996 swapFree=33010684/33010684
[pid=56620] ppid=56602 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56620/stat : 56620 (run-opt.sh) S 56602 56620 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55091812 4292608 768 18446744073709551615 94122351513600 94122352408133 140731874212896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94122352647184 94122352694928 94122375655424 140731874220397 140731874220520 140731874220520 140731874226122 0
/proc/56620/statm: 1048 768 704 219 0 110 0
[pid=56622] ppid=56620 vsize=3061208 memory=2368132 CPUtime=3393.03 cores=1,3
/proc/56622/stat : 56622 (roundingsat) R 56620 56620 56549 0 -1 4194304 434831 0 0 0 336487 2816 0 0 20 0 1 0 55091814 3134676992 592033 18446744073709551615 4227072 8923433 140734898704032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18284544 140734898706850 140734898706984 140734898706984 140734898712554 0
/proc/56622/statm: 765302 592033 2368 1147 0 752729 0
Current children cumulated CPU time: 3393.03 s
Current children cumulated vsize: 3065400 KiB
Current children cumulated memory: 2371204 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.05 5/268 56804
/proc/meminfo: memFree=118114084/131249996 swapFree=33010684/33010684
[pid=56620] ppid=56602 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56620/stat : 56620 (run-opt.sh) S 56602 56620 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55091812 4292608 768 18446744073709551615 94122351513600 94122352408133 140731874212896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94122352647184 94122352694928 94122375655424 140731874220397 140731874220520 140731874220520 140731874226122 0
/proc/56620/statm: 1048 768 704 219 0 110 0
[pid=56622] ppid=56620 vsize=3124444 memory=2421376 CPUtime=3452.86 cores=1,3
/proc/56622/stat : 56622 (roundingsat) R 56620 56620 56549 0 -1 4194304 447161 0 0 0 342442 2844 0 0 20 0 1 0 55091814 3199430656 605344 18446744073709551615 4227072 8923433 140734898704032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18284544 140734898706850 140734898706984 140734898706984 140734898712554 0
/proc/56622/statm: 781111 605344 2368 1147 0 768538 0
Current children cumulated CPU time: 3452.86 s
Current children cumulated vsize: 3128636 KiB
Current children cumulated memory: 2424448 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.08 4.05 5/268 56806
/proc/meminfo: memFree=118112800/131249996 swapFree=33010684/33010684
[pid=56620] ppid=56602 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56620/stat : 56620 (run-opt.sh) S 56602 56620 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55091812 4292608 768 18446744073709551615 94122351513600 94122352408133 140731874212896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94122352647184 94122352694928 94122375655424 140731874220397 140731874220520 140731874220520 140731874226122 0
/proc/56620/statm: 1048 768 704 219 0 110 0
[pid=56622] ppid=56620 vsize=3124444 memory=2421376 CPUtime=3512.7 cores=1,3
/proc/56622/stat : 56622 (roundingsat) R 56620 56620 56549 0 -1 4194304 447246 0 0 0 348387 2883 0 0 20 0 1 0 55091814 3199430656 605344 18446744073709551615 4227072 8923433 140734898704032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18284544 140734898706850 140734898706984 140734898706984 140734898712554 0
/proc/56622/statm: 781111 605344 2368 1147 0 768538 0
Current children cumulated CPU time: 3512.7 s
Current children cumulated vsize: 3128636 KiB
Current children cumulated memory: 2424448 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.08 4.05 5/269 56815
/proc/meminfo: memFree=118008172/131249996 swapFree=33010684/33010684
[pid=56620] ppid=56602 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56620/stat : 56620 (run-opt.sh) S 56602 56620 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55091812 4292608 768 18446744073709551615 94122351513600 94122352408133 140731874212896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94122352647184 94122352694928 94122375655424 140731874220397 140731874220520 140731874220520 140731874226122 0
/proc/56620/statm: 1048 768 704 219 0 110 0
[pid=56622] ppid=56620 vsize=3236320 memory=2526120 CPUtime=3572.54 cores=1,3
/proc/56622/stat : 56622 (roundingsat) R 56620 56620 56549 0 -1 4194304 466324 0 0 0 354320 2934 0 0 20 0 1 0 55091814 3313991680 631530 18446744073709551615 4227072 8923433 140734898704032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18284544 140734898706850 140734898706984 140734898706984 140734898712554 0
/proc/56622/statm: 809080 631530 2368 1147 0 796507 0
Current children cumulated CPU time: 3572.54 s
Current children cumulated vsize: 3240512 KiB
Current children cumulated memory: 2529192 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.09 4.09 4.05 4/266 56817
/proc/meminfo: memFree=125255932/131249996 swapFree=33010684/33010684
[pid=56620] ppid=56602 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56620/stat : 56620 (run-opt.sh) S 56602 56620 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55091812 4292608 768 18446744073709551615 94122351513600 94122352408133 140731874212896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94122352647184 94122352694928 94122375655424 140731874220397 140731874220520 140731874220520 140731874226122 0
/proc/56620/statm: 1048 768 704 219 0 110 0
[pid=56622] ppid=56620 vsize=3236320 memory=2526120 CPUtime=3600.06 cores=1,3
/proc/56622/stat : 56622 (roundingsat) R 56620 56620 56549 0 -1 4194304 466324 0 0 0 357062 2944 0 0 20 0 1 0 55091814 3313991680 631530 18446744073709551615 4227072 8923433 140734898704032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18284544 140734898706850 140734898706984 140734898706984 140734898712554 0
/proc/56622/statm: 809080 631530 2368 1147 0 796507 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 3240512 KiB
Current children cumulated memory: 2529192 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3609.9 s]
# the end of solver process 56620 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.002428 s
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3570.63 s, system=29.5339 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+3609.9 s]
/proc/loadavg: 4.09 4.09 4.05 4/266 56817
/proc/meminfo: memFree=125255932/131249996 swapFree=33010684/33010684
[pid=56620] ppid=56602 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56620/stat : 56620 (run-opt.sh) S 56602 56620 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55091812 4292608 768 18446744073709551615 94122351513600 94122352408133 140731874212896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94122352647184 94122352694928 94122375655424 140731874220397 140731874220520 140731874220520 140731874226122 0
/proc/56620/statm: 1048 768 704 219 0 110 0
[pid=56622] ppid=56620 vsize=3236320 memory=2526120 CPUtime=3600.06 cores=1,3
/proc/56622/stat : 56622 (roundingsat) R 56620 56620 56549 0 -1 4194304 466324 0 0 0 357062 2944 0 0 20 0 1 0 55091814 3313991680 631530 18446744073709551615 4227072 8923433 140734898704032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18284544 140734898706850 140734898706984 140734898706984 140734898712554 0
/proc/56622/statm: 809080 631530 2368 1147 0 796507 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 3240512 KiB
Current children cumulated memory: 2529192 KiB

Child status: 2

Real time (s): 3610
CPU time (s): 3600.17
CPU user time (s): 3570.63
CPU system time (s): 29.5339
CPU usage (%): 99.7278
Max. virtual memory (cumulated for all children) (KiB): 3240512
Max. memory (cumulated for all children) (KiB): 2529192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.63
system time used= 29.5339
maximum resident set size= 2526632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 466553
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= 150
involuntary context switches= 5469


# summary of solver processes directly reported to runsolver:
#   pid: 56620,56622
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3570.63
#   total CPU system time (s): 29.5339

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.86282 second user time and 15.4327 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2025-07-01 20:22:21
IDJOB=4496778
IDBENCH=148146
IDSOLVER=3350
FILE ID=nodeC021/4496778-1751394141
RUNJOBID= nodeC021-1751394141-56561
SLURM_JOB_ID= 9598260
Free space on /tmp= 432588 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir10_trarea_ac.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4496778-1751394141/watcher-4496778-1751394141 -o /tmp/evaluation-result-4496778-1751394141/solver-4496778-1751394141 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751394141-56561 --watchdog 3760  run-opt.sh HOME/instance-4496778-1751394141.opb

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

MD5SUM BENCH= 743a21341a4102c561f444f57f0a4e7a
RANDOM SEED=1218672553

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        128922080 kB
MemAvailable:   129730456 kB
Buffers:            3280 kB
Cached:          1613720 kB
SwapCached:            0 kB
Active:           348072 kB
Inactive:        1344020 kB
Active(anon):      93152 kB
Inactive(anon):        0 kB
Active(file):     254920 kB
Inactive(file):  1344020 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             31920 kB
Writeback:            16 kB
AnonPages:         78508 kB
Mapped:           103876 kB
Shmem:             18060 kB
KReclaimable:      96948 kB
Slab:             185504 kB
SReclaimable:      96948 kB
SUnreclaim:        88556 kB
KernelStack:        4080 kB
PageTables:         2888 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     348660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:     24576 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432556 MiB
End job on nodeC021 at 2025-07-01 21:22:31