Trace number 4488679

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_34.opb.PB06.opb
MD5SUM52f0a3c0093dc9bf421bafb6505effdf
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1033
Best CPU time to get the best result obtained on this benchmark3585.56
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1960
Total number of constraints4000
Number of constraints which are clauses4000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1960
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1960
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1960
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c RoundingSat 2
0.00/0.07	c branch pb25
0.00/0.07	c commit 63f22ad
0.04/0.13	c #variables 1960 #constraints 4000
0.04/0.13	c objective is ce32 
0.04/0.16	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.04/0.16	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.04/0.16	c GLOBAL bounds - >= 0 @ 0.069334
0.04/0.16	c GLOBAL bounds - >= 0 @ 0.074239
0.15/0.23	c GLOBAL bounds - >= 0 @ 0.138968
0.15/0.30	c GLOBAL bounds - >= 0 @ 0.196719
0.25/0.38	c GLOBAL bounds - >= 0 @ 0.270626
0.35/0.44	c GLOBAL bounds - >= 0 @ 0.333672
0.35/0.50	c GLOBAL bounds - >= 0 @ 0.383996
0.45/0.55	c GLOBAL bounds - >= 0 @ 0.437323
0.53/0.62	c GLOBAL bounds - >= 0 @ 0.49112
0.53/0.68	c GLOBAL bounds - >= 0 @ 0.551021
0.63/0.76	c GLOBAL bounds - >= 0 @ 0.634136
0.73/0.83	c GLOBAL bounds - >= 0 @ 0.699202
0.82/0.90	c GLOBAL bounds - >= 0 @ 0.774718
0.93/1.01	c GLOBAL bounds - >= 0 @ 0.87594
0.93/1.09	c GLOBAL bounds - >= 0 @ 0.945221
1.03/1.19	c GLOBAL bounds - >= 0 @ 1.04341
1.13/1.27	c GLOBAL bounds - >= 0 @ 1.11726
1.22/1.36	c GLOBAL bounds - >= 0 @ 1.20851
1.32/1.47	c GLOBAL bounds - >= 0 @ 1.31446
1.52/1.60	c GLOBAL bounds - >= 0 @ 1.44675
1.62/1.70	c GLOBAL bounds - >= 0 @ 1.54655
1.72/1.83	c GLOBAL bounds - >= 0 @ 1.66288
1.82/1.98	c #Conflicts:       1000 | #Constraints:       5040
1.82/1.98	c GLOBAL bounds - >= 0 @ 1.80356
1.93/2.10	c GLOBAL bounds - >= 0 @ 1.92061
2.12/2.29	c GLOBAL bounds - >= 0 @ 2.10294
2.32/2.46	c GLOBAL bounds - >= 0 @ 2.27569
2.51/2.68	c GLOBAL bounds - >= 0 @ 2.4898
2.82/3.01	c GLOBAL bounds - >= 0 @ 2.80453
3.22/3.32	c GLOBAL bounds - >= 0 @ 3.10591
3.61/3.77	c #Conflicts:       2000 | #Constraints:       6054
3.61/3.77	c INPROCESSING
3.61/3.77	c GARBAGE COLLECT
3.61/3.77	c GLOBAL bounds - >= 0 @ 3.54438
3.81/3.94	c GLOBAL bounds - >= 0 @ 3.71796
3.93/4.05	c GLOBAL bounds - >= 0 @ 3.82521
4.03/4.18	c GLOBAL bounds - >= 0 @ 3.95504
4.21/4.31	c GLOBAL bounds - >= 0 @ 4.08499
4.31/4.44	c GLOBAL bounds - >= 0 @ 4.20423
4.52/4.66	c GLOBAL bounds - >= 0 @ 4.42031
4.61/4.78	c GLOBAL bounds - >= 0 @ 4.53998
4.81/4.92	c GLOBAL bounds - >= 0 @ 4.67541
4.92/5.06	c GLOBAL bounds - >= 0 @ 4.81497
5.11/5.22	c GLOBAL bounds - >= 0 @ 4.97462
5.31/5.41	c #Conflicts:       3000 | #Constraints:       6125
5.31/5.41	c GLOBAL bounds - >= 0 @ 5.15679
5.41/5.60	c GLOBAL bounds - >= 0 @ 5.33559
5.61/5.78	c GLOBAL bounds - >= 0 @ 5.51721
5.81/5.96	c GLOBAL bounds - >= 0 @ 5.69442
5.92/6.10	c GLOBAL bounds - >= 0 @ 5.83541
6.31/6.43	c GLOBAL bounds - >= 0 @ 6.15519
6.41/6.56	c GLOBAL bounds - >= 0 @ 6.28917
6.81/6.93	c GLOBAL bounds - >= 0 @ 6.64614
7.11/7.28	c GLOBAL bounds - >= 0 @ 6.99562
7.31/7.45	c GLOBAL bounds - >= 0 @ 7.16078
7.50/7.63	c GLOBAL bounds - >= 0 @ 7.3344
7.80/7.99	c #Conflicts:       4000 | #Constraints:       7147
7.80/7.99	c GLOBAL bounds - >= 0 @ 7.69005
8.21/8.31	c GLOBAL bounds - >= 0 @ 7.99729
8.60/8.74	c INPROCESSING
8.60/8.74	c GARBAGE COLLECT
8.60/8.74	c GLOBAL bounds - >= 0 @ 8.42446
8.70/8.86	c GLOBAL bounds - >= 0 @ 8.53847
8.92/9.08	c GLOBAL bounds - >= 0 @ 8.75513
9.10/9.23	c GLOBAL bounds - >= 0 @ 8.90497
9.20/9.39	c GLOBAL bounds - >= 0 @ 9.06158
9.50/9.65	c GLOBAL bounds - >= 0 @ 9.3224
9.69/9.88	c GLOBAL bounds - >= 0 @ 9.54598
9.91/10.11	c #Conflicts:       5000 | #Constraints:       6581
9.91/10.11	c GLOBAL bounds - >= 0 @ 9.77419
10.10/10.24	c GLOBAL bounds - >= 0 @ 9.90962
10.30/10.48	c GLOBAL bounds - >= 0 @ 10.1416
10.59/10.73	c GLOBAL bounds - >= 0 @ 10.3921
10.69/10.87	c GLOBAL bounds - >= 0 @ 10.5272
11.01/11.15	c GLOBAL bounds - >= 0 @ 10.7993
11.10/11.28	c GLOBAL bounds - >= 0 @ 10.933
11.29/11.45	c GLOBAL bounds - >= 0 @ 11.099
11.59/11.72	c GLOBAL bounds - >= 0 @ 11.3629
11.69/11.85	c GLOBAL bounds - >= 0 @ 11.4985
11.91/12.03	c GLOBAL bounds - >= 0 @ 11.667
12.09/12.22	c #Conflicts:       6000 | #Constraints:       7603
12.09/12.22	c GLOBAL bounds - >= 0 @ 11.8506
12.19/12.37	c GLOBAL bounds - >= 0 @ 12.0017
12.59/12.72	c GLOBAL bounds - >= 0 @ 12.337
12.68/12.88	c GLOBAL bounds - >= 0 @ 12.4945
12.90/13.08	c GLOBAL bounds - >= 0 @ 12.6925
13.09/13.26	c GLOBAL bounds - >= 0 @ 12.8692
13.28/13.46	c GLOBAL bounds - >= 0 @ 13.0656
13.78/13.95	c INPROCESSING
13.78/13.95	c GARBAGE COLLECT
13.78/13.95	c GLOBAL bounds - >= 0 @ 13.5428
14.00/14.12	c GLOBAL bounds - >= 0 @ 13.7106
14.08/14.29	c GLOBAL bounds - >= 0 @ 13.876
14.39/14.55	c #Conflicts:       7000 | #Constraints:       6619
14.39/14.55	c GLOBAL bounds - >= 0 @ 14.1287
14.48/14.69	c GLOBAL bounds - >= 0 @ 14.2696
14.68/14.89	c GLOBAL bounds - >= 0 @ 14.4638
14.89/15.11	c GLOBAL bounds - >= 0 @ 14.682
15.18/15.30	c GLOBAL bounds - >= 0 @ 14.8762
15.38/15.52	c GLOBAL bounds - >= 0 @ 15.0916
15.68/15.86	c #Conflicts:       8000 | #Constraints:       7631
15.68/15.86	c GLOBAL bounds - >= 0 @ 15.429
15.99/16.16	c GLOBAL bounds - >= 0 @ 15.6662
20.88/21.11	c #Conflicts:       9000 | #Constraints:       8635
20.88/21.11	c INPROCESSING
20.88/21.11	c GARBAGE COLLECT
20.88/21.11	c #Conflicts:      10000 | #Constraints:       7395
20.88/21.11	c #Conflicts:      11000 | #Constraints:       8395
20.88/21.11	c GLOBAL bounds - >= 0 @ 20.557
23.25/23.49	c #Conflicts:      12000 | #Constraints:       9397
23.25/23.49	c INPROCESSING
23.25/23.49	c GARBAGE COLLECT
23.25/23.49	c GLOBAL bounds - >= 0 @ 22.9029
45.89/46.15	c #Conflicts:      13000 | #Constraints:       7936
45.89/46.15	c #Conflicts:      14000 | #Constraints:       8936
45.89/46.15	c #Conflicts:      15000 | #Constraints:       9936
45.89/46.15	c INPROCESSING
45.89/46.15	c GARBAGE COLLECT
45.89/46.15	c #Conflicts:      16000 | #Constraints:       8182
45.89/46.15	c #Conflicts:      17000 | #Constraints:       9182
45.89/46.15	c #Conflicts:      18000 | #Constraints:      10182
45.89/46.15	c INPROCESSING
45.89/46.15	c GARBAGE COLLECT
45.89/46.15	c #Conflicts:      19000 | #Constraints:       8194
45.89/46.15	c #Conflicts:      20000 | #Constraints:       9194
45.89/46.15	c GLOBAL bounds - >= 0 @ 45.3974
48.27/48.53	c #Conflicts:      21000 | #Constraints:      10196
48.27/48.53	c INPROCESSING
48.27/48.53	c GARBAGE COLLECT
48.27/48.53	c #Conflicts:      22000 | #Constraints:       8007
48.27/48.53	c GLOBAL bounds - >= 0 @ 47.7483
67.71/68.10	c #Conflicts:      23000 | #Constraints:       9009
67.71/68.10	c #Conflicts:      24000 | #Constraints:      10009
67.71/68.10	c #Conflicts:      25000 | #Constraints:      11009
67.71/68.10	c INPROCESSING
67.71/68.10	c GARBAGE COLLECT
67.71/68.10	c #Conflicts:      26000 | #Constraints:       8597
67.71/68.10	c #Conflicts:      27000 | #Constraints:       9597
67.71/68.10	c GLOBAL bounds - >= 0 @ 67.1687
70.39/70.71	c #Conflicts:      28000 | #Constraints:      10599
70.39/70.71	c #Conflicts:      29000 | #Constraints:      11599
70.39/70.71	c INPROCESSING
70.39/70.71	c GARBAGE COLLECT
70.39/70.71	c GLOBAL bounds - >= 0 @ 69.7629
86.43/86.81	c #Conflicts:      30000 | #Constraints:       9014
86.43/86.81	c #Conflicts:      31000 | #Constraints:      10014
86.43/86.81	c #Conflicts:      32000 | #Constraints:      11014
86.43/86.81	c #Conflicts:      33000 | #Constraints:      12014
86.43/86.81	c INPROCESSING
86.43/86.81	c GARBAGE COLLECT
86.43/86.81	c GLOBAL bounds - >= 0 @ 85.7313
105.26/105.73	c #Conflicts:      34000 | #Constraints:       9200
105.26/105.73	c #Conflicts:      35000 | #Constraints:      10200
105.26/105.73	c #Conflicts:      36000 | #Constraints:      11200
105.26/105.73	c #Conflicts:      37000 | #Constraints:      12200
105.26/105.73	c INPROCESSING
105.26/105.73	c GARBAGE COLLECT
105.26/105.73	c #Conflicts:      38000 | #Constraints:       9192
105.26/105.73	c #Conflicts:      39000 | #Constraints:      10192
105.26/105.73	c #Conflicts:      40000 | #Constraints:      11192
105.26/105.73	c #Conflicts:      41000 | #Constraints:      12192
105.26/105.73	c INPROCESSING
105.26/105.73	c GARBAGE COLLECT
105.26/105.73	c #Conflicts:      42000 | #Constraints:       8984
105.26/105.73	c GLOBAL bounds - >= 0 @ 104.476
168.15/168.80	c #Conflicts:      43000 | #Constraints:       9986
168.15/168.80	c #Conflicts:      44000 | #Constraints:      10986
168.15/168.80	c #Conflicts:      45000 | #Constraints:      11986
168.15/168.80	c #Conflicts:      46000 | #Constraints:      12986
168.15/168.80	c INPROCESSING
168.15/168.80	c GARBAGE COLLECT
168.15/168.80	c #Conflicts:      47000 | #Constraints:       9594
168.15/168.80	c #Conflicts:      48000 | #Constraints:      10594
168.15/168.80	c #Conflicts:      49000 | #Constraints:      11594
168.15/168.80	c #Conflicts:      50000 | #Constraints:      12594
168.15/168.80	c #Conflicts:      51000 | #Constraints:      13594
168.15/168.80	c INPROCESSING
168.15/168.80	c GARBAGE COLLECT
168.15/168.80	c #Conflicts:      52000 | #Constraints:       9984
168.15/168.80	c #Conflicts:      53000 | #Constraints:      10984
168.15/168.80	c #Conflicts:      54000 | #Constraints:      11984
168.15/168.80	c #Conflicts:      55000 | #Constraints:      12984
168.15/168.80	c #Conflicts:      56000 | #Constraints:      13984
168.15/168.80	c INPROCESSING
168.15/168.80	c GARBAGE COLLECT
168.15/168.80	c #Conflicts:      57000 | #Constraints:      10172
168.15/168.80	c #Conflicts:      58000 | #Constraints:      11172
168.15/168.80	c #Conflicts:      59000 | #Constraints:      12172
168.15/168.80	c #Conflicts:      60000 | #Constraints:      13172
168.15/168.80	c #Conflicts:      61000 | #Constraints:      14172
168.15/168.80	c INPROCESSING
168.15/168.80	c GARBAGE COLLECT
168.15/168.80	c #Conflicts:      62000 | #Constraints:      10164
168.15/168.80	c #Conflicts:      63000 | #Constraints:      11164
168.15/168.80	c #Conflicts:      64000 | #Constraints:      12164
168.15/168.80	c #Conflicts:      65000 | #Constraints:      13164
168.15/168.80	c #Conflicts:      66000 | #Constraints:      14164
168.15/168.80	c INPROCESSING
168.15/168.80	c GARBAGE COLLECT
168.15/168.80	c #Conflicts:      67000 | #Constraints:       9967
168.15/168.80	c GLOBAL bounds - >= 0 @ 166.934
171.24/171.91	c #Conflicts:      68000 | #Constraints:      10969
171.24/171.91	c GLOBAL bounds - >= 0 @ 170.012
173.03/173.78	c #Conflicts:      69000 | #Constraints:      11971
173.03/173.78	c GLOBAL bounds - >= 0 @ 171.863
174.73/175.49	c GLOBAL bounds - >= 0 @ 173.554
176.43/177.12	c #Conflicts:      70000 | #Constraints:      12975
176.43/177.12	c GLOBAL bounds - >= 0 @ 175.171
177.43/178.16	c #Conflicts:      71000 | #Constraints:      13977
177.43/178.16	c GLOBAL bounds - >= 0 @ 176.196
180.32/181.09	c #Conflicts:      72000 | #Constraints:      14979
180.32/181.09	c INPROCESSING
180.32/181.09	c GARBAGE COLLECT
180.32/181.09	c GLOBAL bounds - >= 0 @ 179.08
187.69/188.44	c #Conflicts:      73000 | #Constraints:      10590
187.69/188.44	c #Conflicts:      74000 | #Constraints:      11590
187.69/188.44	c #Conflicts:      75000 | #Constraints:      12590
187.69/188.44	c GLOBAL bounds - >= 0 @ 186.374
199.35/200.13	c #Conflicts:      76000 | #Constraints:      13592
199.35/200.13	c #Conflicts:      77000 | #Constraints:      14592
199.35/200.13	c #Conflicts:      78000 | #Constraints:      15592
199.35/200.13	c INPROCESSING
199.35/200.13	c GARBAGE COLLECT
199.35/200.13	c #Conflicts:      79000 | #Constraints:      10992
199.35/200.13	c #Conflicts:      80000 | #Constraints:      11992
199.35/200.13	c GLOBAL bounds - >= 0 @ 197.947
205.62/206.45	c #Conflicts:      81000 | #Constraints:      12994
205.62/206.45	c #Conflicts:      82000 | #Constraints:      13994
205.62/206.45	c #Conflicts:      83000 | #Constraints:      14994
205.62/206.45	c GLOBAL bounds - >= 0 @ 204.219
207.33/208.14	c #Conflicts:      84000 | #Constraints:      15996
207.33/208.14	c INPROCESSING
207.33/208.14	c GARBAGE COLLECT
207.33/208.14	c GLOBAL bounds - >= 0 @ 205.886
207.91/208.74	c GLOBAL bounds - >= 0 @ 206.48
209.22/210.04	c #Conflicts:      85000 | #Constraints:      11208
209.22/210.04	c GLOBAL bounds - >= 0 @ 207.765
209.70/210.58	c GLOBAL bounds - >= 0 @ 208.297
210.11/210.92	c #Conflicts:      86000 | #Constraints:      12212
210.11/210.92	c GLOBAL bounds - >= 0 @ 208.636
210.40/211.29	c GLOBAL bounds - >= 0 @ 209.002
210.80/211.60	c GLOBAL bounds - >= 0 @ 209.305
211.40/212.22	c #Conflicts:      87000 | #Constraints:      13218
211.40/212.22	c GLOBAL bounds - >= 0 @ 209.916
219.29/220.12	c #Conflicts:      88000 | #Constraints:      14220
219.29/220.12	c #Conflicts:      89000 | #Constraints:      15220
219.29/220.12	c #Conflicts:      90000 | #Constraints:      16220
219.29/220.12	c INPROCESSING
219.29/220.12	c GARBAGE COLLECT
219.29/220.12	c GLOBAL bounds - >= 0 @ 217.74
246.58/247.57	c #Conflicts:      91000 | #Constraints:      11217
246.58/247.57	c #Conflicts:      92000 | #Constraints:      12217
246.58/247.57	c #Conflicts:      93000 | #Constraints:      13217
246.58/247.57	c #Conflicts:      94000 | #Constraints:      14217
246.58/247.57	c #Conflicts:      95000 | #Constraints:      15217
246.58/247.57	c #Conflicts:      96000 | #Constraints:      16217
246.58/247.57	c INPROCESSING
246.58/247.57	c GARBAGE COLLECT
246.58/247.57	c #Conflicts:      97000 | #Constraints:      11018
246.58/247.57	c #Conflicts:      98000 | #Constraints:      12018
246.58/247.57	c GLOBAL bounds - >= 0 @ 244.996
304.78/305.92	c #Conflicts:      99000 | #Constraints:      13020
304.78/305.92	c #Conflicts:     100000 | #Constraints:      14020
304.78/305.92	c #Conflicts:     101000 | #Constraints:      15020
304.78/305.92	c #Conflicts:     102000 | #Constraints:      16020
304.78/305.92	c #Conflicts:     103000 | #Constraints:      17020
304.78/305.92	c INPROCESSING
304.78/305.92	c GARBAGE COLLECT
304.78/305.92	c #Conflicts:     104000 | #Constraints:      11607
304.78/305.92	c #Conflicts:     105000 | #Constraints:      12607
304.78/305.92	c #Conflicts:     106000 | #Constraints:      13607
304.78/305.92	c #Conflicts:     107000 | #Constraints:      14607
304.78/305.92	c #Conflicts:     108000 | #Constraints:      15607
304.78/305.92	c #Conflicts:     109000 | #Constraints:      16607
304.78/305.92	c #Conflicts:     110000 | #Constraints:      17607
304.78/305.92	c INPROCESSING
304.78/305.92	c GARBAGE COLLECT
304.78/305.92	c #Conflicts:     111000 | #Constraints:      12014
304.78/305.92	c #Conflicts:     112000 | #Constraints:      13014
304.78/305.92	c GLOBAL bounds - >= 0 @ 302.949
358.19/359.56	c #Conflicts:     113000 | #Constraints:      14016
358.19/359.56	c #Conflicts:     114000 | #Constraints:      15016
358.19/359.56	c #Conflicts:     115000 | #Constraints:      16016
358.19/359.56	c #Conflicts:     116000 | #Constraints:      17016
358.19/359.56	c #Conflicts:     117000 | #Constraints:      18016
358.19/359.56	c INPROCESSING
358.19/359.56	c GARBAGE COLLECT
358.19/359.56	c #Conflicts:     118000 | #Constraints:      12207
358.19/359.56	c #Conflicts:     119000 | #Constraints:      13207
358.19/359.56	c #Conflicts:     120000 | #Constraints:      14207
358.19/359.56	c #Conflicts:     121000 | #Constraints:      15207
358.19/359.56	c #Conflicts:     122000 | #Constraints:      16207
358.19/359.56	c #Conflicts:     123000 | #Constraints:      17207
358.19/359.56	c #Conflicts:     124000 | #Constraints:      18207
358.19/359.56	c INPROCESSING
358.19/359.56	c GARBAGE COLLECT
358.19/359.56	c GLOBAL bounds - >= 0 @ 356.22
511.76/513.65	c #Conflicts:     125000 | #Constraints:      12206
511.76/513.65	c #Conflicts:     126000 | #Constraints:      13206
511.76/513.65	c #Conflicts:     127000 | #Constraints:      14206
511.76/513.65	c #Conflicts:     128000 | #Constraints:      15206
511.76/513.65	c #Conflicts:     129000 | #Constraints:      16206
511.76/513.65	c #Conflicts:     130000 | #Constraints:      17206
511.76/513.65	c #Conflicts:     131000 | #Constraints:      18206
511.76/513.65	c INPROCESSING
511.76/513.65	c GARBAGE COLLECT
511.76/513.65	c #Conflicts:     132000 | #Constraints:      12003
511.76/513.65	c #Conflicts:     133000 | #Constraints:      13003
511.76/513.65	c #Conflicts:     134000 | #Constraints:      14003
511.76/513.65	c #Conflicts:     135000 | #Constraints:      15003
511.76/513.65	c #Conflicts:     136000 | #Constraints:      16003
511.76/513.65	c #Conflicts:     137000 | #Constraints:      17003
511.76/513.65	c #Conflicts:     138000 | #Constraints:      18003
511.76/513.65	c #Conflicts:     139000 | #Constraints:      19003
511.76/513.65	c INPROCESSING
511.76/513.65	c GARBAGE COLLECT
511.76/513.65	c #Conflicts:     140000 | #Constraints:      12596
511.76/513.65	c #Conflicts:     141000 | #Constraints:      13596
511.76/513.65	c #Conflicts:     142000 | #Constraints:      14596
511.76/513.65	c #Conflicts:     143000 | #Constraints:      15596
511.76/513.65	c #Conflicts:     144000 | #Constraints:      16596
511.76/513.65	c #Conflicts:     145000 | #Constraints:      17596
511.76/513.65	c #Conflicts:     146000 | #Constraints:      18596
511.76/513.65	c #Conflicts:     147000 | #Constraints:      19596
511.76/513.65	c INPROCESSING
511.76/513.65	c GARBAGE COLLECT
511.76/513.65	c #Conflicts:     148000 | #Constraints:      13000
511.76/513.65	c #Conflicts:     149000 | #Constraints:      14000
511.76/513.65	c #Conflicts:     150000 | #Constraints:      15000
511.76/513.65	c #Conflicts:     151000 | #Constraints:      16000
511.76/513.65	c #Conflicts:     152000 | #Constraints:      17000
511.76/513.65	c #Conflicts:     153000 | #Constraints:      18000
511.76/513.65	c #Conflicts:     154000 | #Constraints:      19000
511.76/513.65	c GLOBAL bounds - >= 0 @ 509.297
874.71/877.83	c #Conflicts:     155000 | #Constraints:      20002
874.71/877.83	c INPROCESSING
874.71/877.83	c GARBAGE COLLECT
874.71/877.83	c #Conflicts:     156000 | #Constraints:      13199
874.71/877.83	c #Conflicts:     157000 | #Constraints:      14199
874.71/877.83	c #Conflicts:     158000 | #Constraints:      15199
874.71/877.83	c #Conflicts:     159000 | #Constraints:      16199
874.71/877.83	c #Conflicts:     160000 | #Constraints:      17199
874.71/877.83	c #Conflicts:     161000 | #Constraints:      18199
874.71/877.83	c #Conflicts:     162000 | #Constraints:      19199
874.71/877.83	c #Conflicts:     163000 | #Constraints:      20199
874.71/877.83	c INPROCESSING
874.71/877.83	c GARBAGE COLLECT
874.71/877.83	c #Conflicts:     164000 | #Constraints:      13208
874.71/877.83	c #Conflicts:     165000 | #Constraints:      14208
874.71/877.83	c #Conflicts:     166000 | #Constraints:      15208
874.71/877.83	c #Conflicts:     167000 | #Constraints:      16208
874.71/877.83	c #Conflicts:     168000 | #Constraints:      17208
874.71/877.83	c #Conflicts:     169000 | #Constraints:      18208
874.71/877.83	c #Conflicts:     170000 | #Constraints:      19208
874.71/877.83	c #Conflicts:     171000 | #Constraints:      20208
874.71/877.83	c INPROCESSING
874.71/877.83	c GARBAGE COLLECT
874.71/877.83	c #Conflicts:     172000 | #Constraints:      13008
874.71/877.83	c #Conflicts:     173000 | #Constraints:      14008
874.71/877.83	c #Conflicts:     174000 | #Constraints:      15008
874.71/877.83	c #Conflicts:     175000 | #Constraints:      16008
874.71/877.83	c #Conflicts:     176000 | #Constraints:      17008
874.71/877.83	c #Conflicts:     177000 | #Constraints:      18008
874.71/877.83	c #Conflicts:     178000 | #Constraints:      19008
874.71/877.83	c #Conflicts:     179000 | #Constraints:      20008
874.71/877.83	c #Conflicts:     180000 | #Constraints:      21008
874.71/877.83	c INPROCESSING
874.71/877.83	c GARBAGE COLLECT
874.71/877.83	c #Conflicts:     181000 | #Constraints:      13619
874.71/877.83	c #Conflicts:     182000 | #Constraints:      14619
874.71/877.83	c #Conflicts:     183000 | #Constraints:      15619
874.71/877.83	c #Conflicts:     184000 | #Constraints:      16619
874.71/877.83	c #Conflicts:     185000 | #Constraints:      17619
874.71/877.83	c #Conflicts:     186000 | #Constraints:      18619
874.71/877.83	c #Conflicts:     187000 | #Constraints:      19619
874.71/877.83	c #Conflicts:     188000 | #Constraints:      20619
874.71/877.83	c #Conflicts:     189000 | #Constraints:      21619
874.71/877.83	c INPROCESSING
874.71/877.83	c GARBAGE COLLECT
874.71/877.83	c #Conflicts:     190000 | #Constraints:      14023
874.71/877.83	c #Conflicts:     191000 | #Constraints:      15023
874.71/877.83	c #Conflicts:     192000 | #Constraints:      16023
874.71/877.83	c #Conflicts:     193000 | #Constraints:      17023
874.71/877.83	c #Conflicts:     194000 | #Constraints:      18023
874.71/877.83	c #Conflicts:     195000 | #Constraints:      19023
874.71/877.83	c #Conflicts:     196000 | #Constraints:      20023
874.71/877.83	c #Conflicts:     197000 | #Constraints:      21023
874.71/877.83	c #Conflicts:     198000 | #Constraints:      22023
874.71/877.83	c INPROCESSING
874.71/877.83	c GARBAGE COLLECT
874.71/877.83	c #Conflicts:     199000 | #Constraints:      14214
874.71/877.83	c #Conflicts:     200000 | #Constraints:      15214
874.71/877.83	c #Conflicts:     201000 | #Constraints:      16214
874.71/877.83	c #Conflicts:     202000 | #Constraints:      17214
874.71/877.83	c #Conflicts:     203000 | #Constraints:      18214
874.71/877.83	c #Conflicts:     204000 | #Constraints:      19214
874.71/877.83	c #Conflicts:     205000 | #Constraints:      20214
874.71/877.83	c #Conflicts:     206000 | #Constraints:      21214
874.71/877.83	c #Conflicts:     207000 | #Constraints:      22214
874.71/877.83	c INPROCESSING
874.71/877.83	c GARBAGE COLLECT
874.71/877.83	c #Conflicts:     208000 | #Constraints:      14209
874.71/877.83	c #Conflicts:     209000 | #Constraints:      15209
874.71/877.83	c #Conflicts:     210000 | #Constraints:      16209
874.71/877.83	c #Conflicts:     211000 | #Constraints:      17209
874.71/877.83	c #Conflicts:     212000 | #Constraints:      18209
874.71/877.83	c #Conflicts:     213000 | #Constraints:      19209
874.71/877.83	c #Conflicts:     214000 | #Constraints:      20209
874.71/877.83	c #Conflicts:     215000 | #Constraints:      21209
874.71/877.83	c #Conflicts:     216000 | #Constraints:      22209
874.71/877.83	c INPROCESSING
874.71/877.83	c GARBAGE COLLECT
874.71/877.83	c #Conflicts:     217000 | #Constraints:      14007
874.71/877.83	c #Conflicts:     218000 | #Constraints:      15007
874.71/877.83	c #Conflicts:     219000 | #Constraints:      16007
874.71/877.83	c #Conflicts:     220000 | #Constraints:      17007
874.71/877.83	c #Conflicts:     221000 | #Constraints:      18007
874.71/877.83	c #Conflicts:     222000 | #Constraints:      19007
874.71/877.83	c #Conflicts:     223000 | #Constraints:      20007
874.71/877.83	c #Conflicts:     224000 | #Constraints:      21007
874.71/877.83	c #Conflicts:     225000 | #Constraints:      22007
874.71/877.83	c #Conflicts:     226000 | #Constraints:      23007
874.71/877.83	c INPROCESSING
874.71/877.83	c GARBAGE COLLECT
874.71/877.83	c #Conflicts:     227000 | #Constraints:      14601
874.71/877.83	c #Conflicts:     228000 | #Constraints:      15601
1068.14/1071.96	c #Conflicts:     229000 | #Constraints:      16601
1068.14/1071.96	c #Conflicts:     230000 | #Constraints:      17601
1068.14/1071.96	c #Conflicts:     231000 | #Constraints:      18601
1068.14/1071.96	c #Conflicts:     232000 | #Constraints:      19601
1068.14/1071.96	c #Conflicts:     233000 | #Constraints:      20601
1068.14/1071.96	c #Conflicts:     234000 | #Constraints:      21601
1068.14/1071.96	c #Conflicts:     235000 | #Constraints:      22601
1068.14/1071.96	c #Conflicts:     236000 | #Constraints:      23601
1068.14/1071.96	c INPROCESSING
1068.14/1071.96	c GARBAGE COLLECT
1068.14/1071.96	c #Conflicts:     237000 | #Constraints:      14997
1068.14/1071.96	c #Conflicts:     238000 | #Constraints:      15997
1068.14/1071.96	c #Conflicts:     239000 | #Constraints:      16997
1068.14/1071.96	c #Conflicts:     240000 | #Constraints:      17997
1068.14/1071.96	c #Conflicts:     241000 | #Constraints:      18997
1068.14/1071.96	c #Conflicts:     242000 | #Constraints:      19997
1068.14/1071.96	c #Conflicts:     243000 | #Constraints:      20997
1068.14/1071.96	c #Conflicts:     244000 | #Constraints:      21997
1068.14/1071.96	c #Conflicts:     245000 | #Constraints:      22997
1068.14/1071.96	c #Conflicts:     246000 | #Constraints:      23997
1068.14/1071.96	c INPROCESSING
1068.14/1071.96	c GARBAGE COLLECT
1068.14/1071.96	c #Conflicts:     247000 | #Constraints:      15202
1068.14/1071.96	c #Conflicts:     248000 | #Constraints:      16202
1068.14/1071.96	c #Conflicts:     249000 | #Constraints:      17202
1068.14/1071.96	c #Conflicts:     250000 | #Constraints:      18202
1068.14/1071.96	c #Conflicts:     251000 | #Constraints:      19202
1068.14/1071.96	c #Conflicts:     252000 | #Constraints:      20202
1068.14/1071.96	c #Conflicts:     253000 | #Constraints:      21202
1068.14/1071.96	c #Conflicts:     254000 | #Constraints:      22202
1068.14/1071.96	c #Conflicts:     255000 | #Constraints:      23202
1068.14/1071.96	c #Conflicts:     256000 | #Constraints:      24202
1068.14/1071.96	c INPROCESSING
1068.14/1071.96	c GARBAGE COLLECT
1068.14/1071.96	c #Conflicts:     257000 | #Constraints:      15200
1068.14/1071.96	c #Conflicts:     258000 | #Constraints:      16200
1068.14/1071.96	c #Conflicts:     259000 | #Constraints:      17200
1068.14/1071.96	c #Conflicts:     260000 | #Constraints:      18200
1068.14/1071.96	c #Conflicts:     261000 | #Constraints:      19200
1068.14/1071.96	c #Conflicts:     262000 | #Constraints:      20200
1068.14/1071.96	c #Conflicts:     263000 | #Constraints:      21200
1068.14/1071.96	c #Conflicts:     264000 | #Constraints:      22200
1068.14/1071.96	c #Conflicts:     265000 | #Constraints:      23200
1068.14/1071.96	c #Conflicts:     266000 | #Constraints:      24200
1068.14/1071.96	c GLOBAL bounds - >= 0 @ 1063.79
1239.43/1243.85	c INPROCESSING
1239.43/1243.85	c GARBAGE COLLECT
1239.43/1243.85	c #Conflicts:     267000 | #Constraints:      14995
1239.43/1243.85	c #Conflicts:     268000 | #Constraints:      15995
1239.43/1243.85	c #Conflicts:     269000 | #Constraints:      16995
1239.43/1243.85	c #Conflicts:     270000 | #Constraints:      17995
1239.43/1243.85	c #Conflicts:     271000 | #Constraints:      18995
1239.43/1243.85	c #Conflicts:     272000 | #Constraints:      19995
1239.43/1243.85	c #Conflicts:     273000 | #Constraints:      20995
1239.43/1243.85	c #Conflicts:     274000 | #Constraints:      21995
1239.43/1243.85	c #Conflicts:     275000 | #Constraints:      22995
1239.43/1243.85	c #Conflicts:     276000 | #Constraints:      23995
1239.43/1243.85	c #Conflicts:     277000 | #Constraints:      24995
1239.43/1243.85	c INPROCESSING
1239.43/1243.85	c GARBAGE COLLECT
1239.43/1243.85	c #Conflicts:     278000 | #Constraints:      15602
1239.43/1243.85	c #Conflicts:     279000 | #Constraints:      16602
1239.43/1243.85	c #Conflicts:     280000 | #Constraints:      17602
1239.43/1243.85	c #Conflicts:     281000 | #Constraints:      18602
1239.43/1243.85	c #Conflicts:     282000 | #Constraints:      19602
1239.43/1243.85	c #Conflicts:     283000 | #Constraints:      20602
1239.43/1243.85	c #Conflicts:     284000 | #Constraints:      21602
1239.43/1243.85	c #Conflicts:     285000 | #Constraints:      22602
1239.43/1243.85	c #Conflicts:     286000 | #Constraints:      23602
1239.43/1243.85	c #Conflicts:     287000 | #Constraints:      24602
1239.43/1243.85	c #Conflicts:     288000 | #Constraints:      25602
1239.43/1243.85	c INPROCESSING
1239.43/1243.85	c GARBAGE COLLECT
1239.43/1243.85	c #Conflicts:     289000 | #Constraints:      15999
1239.43/1243.85	c #Conflicts:     290000 | #Constraints:      16999
1239.43/1243.85	c #Conflicts:     291000 | #Constraints:      17999
1239.43/1243.85	c #Conflicts:     292000 | #Constraints:      18999
1239.43/1243.85	c #Conflicts:     293000 | #Constraints:      19999
1239.43/1243.85	c #Conflicts:     294000 | #Constraints:      20999
1239.43/1243.85	c #Conflicts:     295000 | #Constraints:      21999
1239.43/1243.85	c #Conflicts:     296000 | #Constraints:      22999
1239.43/1243.85	c #Conflicts:     297000 | #Constraints:      23999
1239.43/1243.85	c #Conflicts:     298000 | #Constraints:      24999
1239.43/1243.85	c #Conflicts:     299000 | #Constraints:      25999
1239.43/1243.85	c INPROCESSING
1239.43/1243.85	c GARBAGE COLLECT
1239.43/1243.85	c #Conflicts:     300000 | #Constraints:      16199
1239.43/1243.85	c #Conflicts:     301000 | #Constraints:      17199
1239.43/1243.85	c #Conflicts:     302000 | #Constraints:      18199
1239.43/1243.85	c #Conflicts:     303000 | #Constraints:      19199
1239.43/1243.85	c GLOBAL bounds - >= 0 @ 1234.45
1249.20/1253.64	c #Conflicts:     304000 | #Constraints:      20201
1249.20/1253.64	c #Conflicts:     305000 | #Constraints:      21201
1249.20/1253.64	c #Conflicts:     306000 | #Constraints:      22201
1249.20/1253.64	c GLOBAL bounds - >= 0 @ 1244.17
1449.30/1454.50	c #Conflicts:     307000 | #Constraints:      23203
1449.30/1454.50	c #Conflicts:     308000 | #Constraints:      24203
1449.30/1454.50	c #Conflicts:     309000 | #Constraints:      25203
1449.30/1454.50	c #Conflicts:     310000 | #Constraints:      26203
1449.30/1454.50	c INPROCESSING
1449.30/1454.50	c GARBAGE COLLECT
1449.30/1454.50	c #Conflicts:     311000 | #Constraints:      16210
1449.30/1454.50	c #Conflicts:     312000 | #Constraints:      17210
1449.30/1454.50	c #Conflicts:     313000 | #Constraints:      18210
1449.30/1454.50	c #Conflicts:     314000 | #Constraints:      19210
1449.30/1454.50	c #Conflicts:     315000 | #Constraints:      20210
1449.30/1454.50	c #Conflicts:     316000 | #Constraints:      21210
1449.30/1454.50	c #Conflicts:     317000 | #Constraints:      22210
1449.30/1454.50	c #Conflicts:     318000 | #Constraints:      23210
1449.30/1454.50	c #Conflicts:     319000 | #Constraints:      24210
1449.30/1454.50	c #Conflicts:     320000 | #Constraints:      25210
1449.30/1454.50	c #Conflicts:     321000 | #Constraints:      26210
1449.30/1454.50	c INPROCESSING
1449.30/1454.50	c GARBAGE COLLECT
1449.30/1454.50	c #Conflicts:     322000 | #Constraints:      16008
1449.30/1454.50	c #Conflicts:     323000 | #Constraints:      17008
1449.30/1454.50	c #Conflicts:     324000 | #Constraints:      18008
1449.30/1454.50	c #Conflicts:     325000 | #Constraints:      19008
1449.30/1454.50	c #Conflicts:     326000 | #Constraints:      20008
1449.30/1454.50	c #Conflicts:     327000 | #Constraints:      21008
1449.30/1454.50	c #Conflicts:     328000 | #Constraints:      22008
1449.30/1454.50	c #Conflicts:     329000 | #Constraints:      23008
1449.30/1454.50	c #Conflicts:     330000 | #Constraints:      24008
1449.30/1454.50	c #Conflicts:     331000 | #Constraints:      25008
1449.30/1454.50	c #Conflicts:     332000 | #Constraints:      26008
1449.30/1454.50	c #Conflicts:     333000 | #Constraints:      27008
1449.30/1454.50	c INPROCESSING
1449.30/1454.50	c GARBAGE COLLECT
1449.30/1454.50	c #Conflicts:     334000 | #Constraints:      16607
1449.30/1454.50	c #Conflicts:     335000 | #Constraints:      17607
1449.30/1454.50	c #Conflicts:     336000 | #Constraints:      18607
1449.30/1454.50	c #Conflicts:     337000 | #Constraints:      19607
1449.30/1454.50	c #Conflicts:     338000 | #Constraints:      20607
1449.30/1454.50	c #Conflicts:     339000 | #Constraints:      21607
1449.30/1454.50	c #Conflicts:     340000 | #Constraints:      22607
1449.30/1454.50	c #Conflicts:     341000 | #Constraints:      23607
1449.30/1454.50	c #Conflicts:     342000 | #Constraints:      24607
1449.30/1454.50	c #Conflicts:     343000 | #Constraints:      25607
1449.30/1454.50	c GLOBAL bounds - >= 0 @ 1443.69
1580.56/1586.17	c #Conflicts:     344000 | #Constraints:      26609
1580.56/1586.17	c #Conflicts:     345000 | #Constraints:      27609
1580.56/1586.17	c INPROCESSING
1580.56/1586.17	c GARBAGE COLLECT
1580.56/1586.17	c #Conflicts:     346000 | #Constraints:      17031
1580.56/1586.17	c #Conflicts:     347000 | #Constraints:      18031
1580.56/1586.17	c #Conflicts:     348000 | #Constraints:      19031
1580.56/1586.17	c #Conflicts:     349000 | #Constraints:      20031
1580.56/1586.17	c #Conflicts:     350000 | #Constraints:      21031
1580.56/1586.17	c #Conflicts:     351000 | #Constraints:      22031
1580.56/1586.17	c #Conflicts:     352000 | #Constraints:      23031
1580.56/1586.17	c #Conflicts:     353000 | #Constraints:      24031
1580.56/1586.17	c #Conflicts:     354000 | #Constraints:      25031
1580.56/1586.17	c #Conflicts:     355000 | #Constraints:      26031
1580.56/1586.17	c #Conflicts:     356000 | #Constraints:      27031
1580.56/1586.17	c #Conflicts:     357000 | #Constraints:      28031
1580.56/1586.17	c INPROCESSING
1580.56/1586.17	c GARBAGE COLLECT
1580.56/1586.17	c #Conflicts:     358000 | #Constraints:      17223
1580.56/1586.17	c #Conflicts:     359000 | #Constraints:      18223
1580.56/1586.17	c #Conflicts:     360000 | #Constraints:      19223
1580.56/1586.17	c #Conflicts:     361000 | #Constraints:      20223
1580.56/1586.17	c #Conflicts:     362000 | #Constraints:      21223
1580.56/1586.17	c #Conflicts:     363000 | #Constraints:      22223
1580.56/1586.17	c #Conflicts:     364000 | #Constraints:      23223
1580.56/1586.17	c GLOBAL bounds - >= 0 @ 1574.57
1783.18/1789.46	c #Conflicts:     365000 | #Constraints:      24225
1783.18/1789.46	c #Conflicts:     366000 | #Constraints:      25225
1783.18/1789.46	c #Conflicts:     367000 | #Constraints:      26225
1783.18/1789.46	c #Conflicts:     368000 | #Constraints:      27225
1783.18/1789.46	c #Conflicts:     369000 | #Constraints:      28225
1783.18/1789.46	c INPROCESSING
1783.18/1789.46	c GARBAGE COLLECT
1783.18/1789.46	c #Conflicts:     370000 | #Constraints:      17242
1783.18/1789.46	c #Conflicts:     371000 | #Constraints:      18242
1783.18/1789.46	c #Conflicts:     372000 | #Constraints:      19242
1783.18/1789.46	c #Conflicts:     373000 | #Constraints:      20242
1783.18/1789.46	c #Conflicts:     374000 | #Constraints:      21242
1783.18/1789.46	c #Conflicts:     375000 | #Constraints:      22242
1783.18/1789.46	c #Conflicts:     376000 | #Constraints:      23242
1783.18/1789.46	c #Conflicts:     377000 | #Constraints:      24242
1783.18/1789.46	c #Conflicts:     378000 | #Constraints:      25242
1783.18/1789.46	c #Conflicts:     379000 | #Constraints:      26242
1783.18/1789.46	c #Conflicts:     380000 | #Constraints:      27242
1783.18/1789.46	c #Conflicts:     381000 | #Constraints:      28242
1783.18/1789.46	c INPROCESSING
1783.18/1789.46	c GARBAGE COLLECT
1783.18/1789.46	c #Conflicts:     382000 | #Constraints:      17022
1783.18/1789.46	c #Conflicts:     383000 | #Constraints:      18022
1783.18/1789.46	c #Conflicts:     384000 | #Constraints:      19022
1783.18/1789.46	c #Conflicts:     385000 | #Constraints:      20022
1783.18/1789.46	c #Conflicts:     386000 | #Constraints:      21022
1783.18/1789.46	c #Conflicts:     387000 | #Constraints:      22022
1783.18/1789.46	c #Conflicts:     388000 | #Constraints:      23022
1783.18/1789.46	c #Conflicts:     389000 | #Constraints:      24022
1783.18/1789.46	c #Conflicts:     390000 | #Constraints:      25022
1783.18/1789.46	c #Conflicts:     391000 | #Constraints:      26022
1783.18/1789.46	c #Conflicts:     392000 | #Constraints:      27022
1783.18/1789.46	c #Conflicts:     393000 | #Constraints:      28022
1783.18/1789.46	c #Conflicts:     394000 | #Constraints:      29022
1783.18/1789.46	c INPROCESSING
1783.18/1789.46	c GARBAGE COLLECT
1783.18/1789.46	c #Conflicts:     395000 | #Constraints:      17616
1783.18/1789.46	c #Conflicts:     396000 | #Constraints:      18616
1783.18/1789.46	c #Conflicts:     397000 | #Constraints:      19616
1783.18/1789.46	c #Conflicts:     398000 | #Constraints:      20616
1783.18/1789.46	c #Conflicts:     399000 | #Constraints:      21616
1783.18/1789.46	c #Conflicts:     400000 | #Constraints:      22616
1783.18/1789.46	c #Conflicts:     401000 | #Constraints:      23616
1783.18/1789.46	c #Conflicts:     402000 | #Constraints:      24616
1783.18/1789.46	c #Conflicts:     403000 | #Constraints:      25616
1783.18/1789.46	c #Conflicts:     404000 | #Constraints:      26616
1783.18/1789.46	c #Conflicts:     405000 | #Constraints:      27616
1783.18/1789.46	c #Conflicts:     406000 | #Constraints:      28616
1783.18/1789.46	c #Conflicts:     407000 | #Constraints:      29616
1783.18/1789.46	c INPROCESSING
1783.18/1789.46	c GARBAGE COLLECT
1783.18/1789.46	c GLOBAL bounds - >= 0 @ 1776.53
1785.78/1792.04	c #Conflicts:     408000 | #Constraints:      18013
1785.78/1792.04	c GLOBAL bounds - >= 0 @ 1779.09
1786.66/1792.98	c #Conflicts:     409000 | #Constraints:      19015
1786.66/1792.98	c GLOBAL bounds - >= 0 @ 1780.02
1926.74/1933.45	c #Conflicts:     410000 | #Constraints:      20017
1926.74/1933.45	c #Conflicts:     411000 | #Constraints:      21017
1926.74/1933.45	c #Conflicts:     412000 | #Constraints:      22017
1926.74/1933.45	c #Conflicts:     413000 | #Constraints:      23017
1926.74/1933.45	c #Conflicts:     414000 | #Constraints:      24017
1926.74/1933.45	c #Conflicts:     415000 | #Constraints:      25017
1926.74/1933.45	c #Conflicts:     416000 | #Constraints:      26017
1926.74/1933.45	c #Conflicts:     417000 | #Constraints:      27017
1926.74/1933.45	c #Conflicts:     418000 | #Constraints:      28017
1926.74/1933.45	c #Conflicts:     419000 | #Constraints:      29017
1926.74/1933.45	c #Conflicts:     420000 | #Constraints:      30017
1926.74/1933.45	c INPROCESSING
1926.74/1933.45	c GARBAGE COLLECT
1926.74/1933.45	c #Conflicts:     421000 | #Constraints:      18224
1926.74/1933.45	c #Conflicts:     422000 | #Constraints:      19224
1926.74/1933.45	c #Conflicts:     423000 | #Constraints:      20224
1926.74/1933.45	c #Conflicts:     424000 | #Constraints:      21224
1926.74/1933.45	c #Conflicts:     425000 | #Constraints:      22224
1926.74/1933.45	c #Conflicts:     426000 | #Constraints:      23224
1926.74/1933.45	c #Conflicts:     427000 | #Constraints:      24224
1926.74/1933.45	c #Conflicts:     428000 | #Constraints:      25224
1926.74/1933.45	c #Conflicts:     429000 | #Constraints:      26224
1926.74/1933.45	c #Conflicts:     430000 | #Constraints:      27224
1926.74/1933.45	c #Conflicts:     431000 | #Constraints:      28224
1926.74/1933.45	c #Conflicts:     432000 | #Constraints:      29224
1926.74/1933.45	c #Conflicts:     433000 | #Constraints:      30224
1926.74/1933.45	c INPROCESSING
1926.74/1933.45	c GARBAGE COLLECT
1926.74/1933.45	c #Conflicts:     434000 | #Constraints:      18241
1926.74/1933.45	c #Conflicts:     435000 | #Constraints:      19241
1926.74/1933.45	c #Conflicts:     436000 | #Constraints:      20241
1926.74/1933.45	c #Conflicts:     437000 | #Constraints:      21241
1926.74/1933.45	c #Conflicts:     438000 | #Constraints:      22241
1926.74/1933.45	c #Conflicts:     439000 | #Constraints:      23241
1926.74/1933.45	c #Conflicts:     440000 | #Constraints:      24241
1926.74/1933.45	c GLOBAL bounds - >= 0 @ 1919.56
2350.64/2358.67	c #Conflicts:     441000 | #Constraints:      25243
2350.64/2358.67	c #Conflicts:     442000 | #Constraints:      26243
2350.64/2358.67	c #Conflicts:     443000 | #Constraints:      27243
2350.64/2358.67	c #Conflicts:     444000 | #Constraints:      28243
2350.64/2358.67	c #Conflicts:     445000 | #Constraints:      29243
2350.64/2358.67	c #Conflicts:     446000 | #Constraints:      30243
2350.64/2358.67	c INPROCESSING
2350.64/2358.67	c GARBAGE COLLECT
2350.64/2358.67	c #Conflicts:     447000 | #Constraints:      18046
2350.64/2358.67	c #Conflicts:     448000 | #Constraints:      19046
2350.64/2358.67	c #Conflicts:     449000 | #Constraints:      20046
2350.64/2358.67	c #Conflicts:     450000 | #Constraints:      21046
2350.64/2358.67	c #Conflicts:     451000 | #Constraints:      22046
2350.64/2358.67	c #Conflicts:     452000 | #Constraints:      23046
2350.64/2358.67	c #Conflicts:     453000 | #Constraints:      24046
2350.64/2358.67	c #Conflicts:     454000 | #Constraints:      25046
2350.64/2358.67	c #Conflicts:     455000 | #Constraints:      26046
2350.64/2358.67	c #Conflicts:     456000 | #Constraints:      27046
2350.64/2358.67	c #Conflicts:     457000 | #Constraints:      28046
2350.64/2358.67	c #Conflicts:     458000 | #Constraints:      29046
2350.64/2358.67	c #Conflicts:     459000 | #Constraints:      30046
2350.64/2358.67	c #Conflicts:     460000 | #Constraints:      31046
2350.64/2358.67	c INPROCESSING
2350.64/2358.67	c GARBAGE COLLECT
2350.64/2358.67	c #Conflicts:     461000 | #Constraints:      18646
2350.64/2358.67	c #Conflicts:     462000 | #Constraints:      19646
2350.64/2358.67	c #Conflicts:     463000 | #Constraints:      20646
2350.64/2358.67	c #Conflicts:     464000 | #Constraints:      21646
2350.64/2358.67	c #Conflicts:     465000 | #Constraints:      22646
2350.64/2358.67	c #Conflicts:     466000 | #Constraints:      23646
2350.64/2358.67	c #Conflicts:     467000 | #Constraints:      24646
2350.64/2358.67	c #Conflicts:     468000 | #Constraints:      25646
2350.64/2358.67	c #Conflicts:     469000 | #Constraints:      26646
2350.64/2358.67	c #Conflicts:     470000 | #Constraints:      27646
2350.64/2358.67	c #Conflicts:     471000 | #Constraints:      28646
2350.64/2358.67	c #Conflicts:     472000 | #Constraints:      29646
2350.64/2358.67	c #Conflicts:     473000 | #Constraints:      30646
2350.64/2358.67	c #Conflicts:     474000 | #Constraints:      31646
2350.64/2358.67	c INPROCESSING
2350.64/2358.67	c GARBAGE COLLECT
2350.64/2358.67	c #Conflicts:     475000 | #Constraints:      19053
2350.64/2358.67	c #Conflicts:     476000 | #Constraints:      20053
2350.64/2358.67	c #Conflicts:     477000 | #Constraints:      21053
2350.64/2358.67	c #Conflicts:     478000 | #Constraints:      22053
2350.64/2358.67	c #Conflicts:     479000 | #Constraints:      23053
2350.64/2358.67	c #Conflicts:     480000 | #Constraints:      24053
2350.64/2358.67	c #Conflicts:     481000 | #Constraints:      25053
2350.64/2358.67	c #Conflicts:     482000 | #Constraints:      26053
2350.64/2358.67	c #Conflicts:     483000 | #Constraints:      27053
2350.64/2358.67	c #Conflicts:     484000 | #Constraints:      28053
2350.64/2358.67	c #Conflicts:     485000 | #Constraints:      29053
2350.64/2358.67	c #Conflicts:     486000 | #Constraints:      30053
2350.64/2358.67	c #Conflicts:     487000 | #Constraints:      31053
2350.64/2358.67	c #Conflicts:     488000 | #Constraints:      32053
2350.64/2358.67	c INPROCESSING
2350.64/2358.67	c GARBAGE COLLECT
2350.64/2358.67	c #Conflicts:     489000 | #Constraints:      19243
2350.64/2358.67	c #Conflicts:     490000 | #Constraints:      20243
2350.64/2358.67	c #Conflicts:     491000 | #Constraints:      21243
2350.64/2358.67	c #Conflicts:     492000 | #Constraints:      22243
2350.64/2358.67	c #Conflicts:     493000 | #Constraints:      23243
2350.64/2358.67	c #Conflicts:     494000 | #Constraints:      24243
2350.64/2358.67	c #Conflicts:     495000 | #Constraints:      25243
2350.64/2358.67	c #Conflicts:     496000 | #Constraints:      26243
2350.64/2358.67	c #Conflicts:     497000 | #Constraints:      27243
2350.64/2358.67	c #Conflicts:     498000 | #Constraints:      28243
2350.64/2358.67	c #Conflicts:     499000 | #Constraints:      29243
2350.64/2358.67	c #Conflicts:     500000 | #Constraints:      30243
2350.64/2358.67	c #Conflicts:     501000 | #Constraints:      31243
2350.64/2358.67	c #Conflicts:     502000 | #Constraints:      32243
2350.64/2358.67	c INPROCESSING
2350.64/2358.67	c GARBAGE COLLECT
2350.64/2358.67	c #Conflicts:     503000 | #Constraints:      19245
2350.64/2358.67	c #Conflicts:     504000 | #Constraints:      20245
2350.64/2358.67	c #Conflicts:     505000 | #Constraints:      21245
2350.64/2358.67	c #Conflicts:     506000 | #Constraints:      22245
2350.64/2358.67	c #Conflicts:     507000 | #Constraints:      23245
2350.64/2358.67	c #Conflicts:     508000 | #Constraints:      24245
2350.64/2358.67	c #Conflicts:     509000 | #Constraints:      25245
2350.64/2358.67	c #Conflicts:     510000 | #Constraints:      26245
2350.64/2358.67	c #Conflicts:     511000 | #Constraints:      27245
2350.64/2358.67	c #Conflicts:     512000 | #Constraints:      28245
2350.64/2358.67	c #Conflicts:     513000 | #Constraints:      29245
2350.64/2358.67	c #Conflicts:     514000 | #Constraints:      30245
2350.64/2358.67	c #Conflicts:     515000 | #Constraints:      31245
2350.64/2358.67	c #Conflicts:     516000 | #Constraints:      32245
2401.32/2409.44	c INPROCESSING
2401.32/2409.44	c GARBAGE COLLECT
2401.32/2409.44	c #Conflicts:     517000 | #Constraints:      19044
2401.32/2409.44	c #Conflicts:     518000 | #Constraints:      20044
2401.32/2409.44	c #Conflicts:     519000 | #Constraints:      21044
2401.32/2409.44	c #Conflicts:     520000 | #Constraints:      22044
2401.32/2409.44	c #Conflicts:     521000 | #Constraints:      23044
2401.32/2409.44	c #Conflicts:     522000 | #Constraints:      24044
2401.32/2409.44	c #Conflicts:     523000 | #Constraints:      25044
2401.32/2409.44	c #Conflicts:     524000 | #Constraints:      26044
2401.32/2409.44	c #Conflicts:     525000 | #Constraints:      27044
2401.32/2409.44	c #Conflicts:     526000 | #Constraints:      28044
2401.32/2409.44	c GLOBAL bounds - >= 0 @ 2392.85
2538.56/2547.04	c #Conflicts:     527000 | #Constraints:      29046
2538.56/2547.04	c #Conflicts:     528000 | #Constraints:      30046
2538.56/2547.04	c #Conflicts:     529000 | #Constraints:      31046
2538.56/2547.04	c #Conflicts:     530000 | #Constraints:      32046
2538.56/2547.04	c #Conflicts:     531000 | #Constraints:      33046
2538.56/2547.04	c INPROCESSING
2538.56/2547.04	c GARBAGE COLLECT
2538.56/2547.04	c #Conflicts:     532000 | #Constraints:      19642
2538.56/2547.04	c #Conflicts:     533000 | #Constraints:      20642
2538.56/2547.04	c #Conflicts:     534000 | #Constraints:      21642
2538.56/2547.04	c #Conflicts:     535000 | #Constraints:      22642
2538.56/2547.04	c #Conflicts:     536000 | #Constraints:      23642
2538.56/2547.04	c #Conflicts:     537000 | #Constraints:      24642
2538.56/2547.04	c #Conflicts:     538000 | #Constraints:      25642
2538.56/2547.04	c #Conflicts:     539000 | #Constraints:      26642
2538.56/2547.04	c #Conflicts:     540000 | #Constraints:      27642
2538.56/2547.04	c #Conflicts:     541000 | #Constraints:      28642
2538.56/2547.04	c #Conflicts:     542000 | #Constraints:      29642
2538.56/2547.04	c #Conflicts:     543000 | #Constraints:      30642
2538.56/2547.04	c #Conflicts:     544000 | #Constraints:      31642
2538.56/2547.04	c #Conflicts:     545000 | #Constraints:      32642
2538.56/2547.04	c #Conflicts:     546000 | #Constraints:      33642
2538.56/2547.04	c INPROCESSING
2538.56/2547.04	c GARBAGE COLLECT
2538.56/2547.04	c #Conflicts:     547000 | #Constraints:      20035
2538.56/2547.04	c #Conflicts:     548000 | #Constraints:      21035
2538.56/2547.04	c #Conflicts:     549000 | #Constraints:      22035
2538.56/2547.04	c #Conflicts:     550000 | #Constraints:      23035
2538.56/2547.04	c #Conflicts:     551000 | #Constraints:      24035
2538.56/2547.04	c GLOBAL bounds - >= 0 @ 2529.7
2586.71/2595.33	c #Conflicts:     552000 | #Constraints:      25037
2586.71/2595.33	c #Conflicts:     553000 | #Constraints:      26037
2586.71/2595.33	c #Conflicts:     554000 | #Constraints:      27037
2586.71/2595.33	c #Conflicts:     555000 | #Constraints:      28037
2586.71/2595.33	c #Conflicts:     556000 | #Constraints:      29037
2586.71/2595.33	c #Conflicts:     557000 | #Constraints:      30037
2586.71/2595.33	c #Conflicts:     558000 | #Constraints:      31037
2586.71/2595.33	c #Conflicts:     559000 | #Constraints:      32037
2586.71/2595.33	c #Conflicts:     560000 | #Constraints:      33037
2586.71/2595.33	c #Conflicts:     561000 | #Constraints:      34037
2586.71/2595.33	c INPROCESSING
2586.71/2595.33	c GARBAGE COLLECT
2586.71/2595.33	c GLOBAL bounds - >= 0 @ 2577.76
3050.17/3060.01	c #Conflicts:     562000 | #Constraints:      20240
3050.17/3060.01	c #Conflicts:     563000 | #Constraints:      21240
3050.17/3060.01	c #Conflicts:     564000 | #Constraints:      22240
3050.17/3060.01	c #Conflicts:     565000 | #Constraints:      23240
3050.17/3060.01	c #Conflicts:     566000 | #Constraints:      24240
3050.17/3060.01	c #Conflicts:     567000 | #Constraints:      25240
3050.17/3060.01	c #Conflicts:     568000 | #Constraints:      26240
3050.17/3060.01	c #Conflicts:     569000 | #Constraints:      27240
3050.17/3060.01	c #Conflicts:     570000 | #Constraints:      28240
3050.17/3060.01	c #Conflicts:     571000 | #Constraints:      29240
3050.17/3060.01	c #Conflicts:     572000 | #Constraints:      30240
3050.17/3060.01	c #Conflicts:     573000 | #Constraints:      31240
3050.17/3060.01	c #Conflicts:     574000 | #Constraints:      32240
3050.17/3060.01	c #Conflicts:     575000 | #Constraints:      33240
3050.17/3060.01	c #Conflicts:     576000 | #Constraints:      34240
3050.17/3060.01	c INPROCESSING
3050.17/3060.01	c GARBAGE COLLECT
3050.17/3060.01	c #Conflicts:     577000 | #Constraints:      20232
3050.17/3060.01	c #Conflicts:     578000 | #Constraints:      21232
3050.17/3060.01	c #Conflicts:     579000 | #Constraints:      22232
3050.17/3060.01	c #Conflicts:     580000 | #Constraints:      23232
3050.17/3060.01	c #Conflicts:     581000 | #Constraints:      24232
3050.17/3060.01	c #Conflicts:     582000 | #Constraints:      25232
3050.17/3060.01	c #Conflicts:     583000 | #Constraints:      26232
3050.17/3060.01	c #Conflicts:     584000 | #Constraints:      27232
3050.17/3060.01	c #Conflicts:     585000 | #Constraints:      28232
3050.17/3060.01	c #Conflicts:     586000 | #Constraints:      29232
3050.17/3060.01	c #Conflicts:     587000 | #Constraints:      30232
3050.17/3060.01	c #Conflicts:     588000 | #Constraints:      31232
3050.17/3060.01	c #Conflicts:     589000 | #Constraints:      32232
3050.17/3060.01	c #Conflicts:     590000 | #Constraints:      33232
3050.17/3060.01	c #Conflicts:     591000 | #Constraints:      34232
3050.17/3060.01	c INPROCESSING
3050.17/3060.01	c GARBAGE COLLECT
3050.17/3060.01	c #Conflicts:     592000 | #Constraints:      20031
3050.17/3060.01	c #Conflicts:     593000 | #Constraints:      21031
3050.17/3060.01	c #Conflicts:     594000 | #Constraints:      22031
3050.17/3060.01	c #Conflicts:     595000 | #Constraints:      23031
3050.17/3060.01	c #Conflicts:     596000 | #Constraints:      24031
3050.17/3060.01	c #Conflicts:     597000 | #Constraints:      25031
3050.17/3060.01	c #Conflicts:     598000 | #Constraints:      26031
3050.17/3060.01	c #Conflicts:     599000 | #Constraints:      27031
3050.17/3060.01	c #Conflicts:     600000 | #Constraints:      28031
3050.17/3060.01	c #Conflicts:     601000 | #Constraints:      29031
3050.17/3060.01	c #Conflicts:     602000 | #Constraints:      30031
3050.17/3060.01	c #Conflicts:     603000 | #Constraints:      31031
3050.17/3060.01	c #Conflicts:     604000 | #Constraints:      32031
3050.17/3060.01	c #Conflicts:     605000 | #Constraints:      33031
3050.17/3060.01	c #Conflicts:     606000 | #Constraints:      34031
3050.17/3060.01	c #Conflicts:     607000 | #Constraints:      35031
3050.17/3060.01	c INPROCESSING
3050.17/3060.01	c GARBAGE COLLECT
3050.17/3060.01	c #Conflicts:     608000 | #Constraints:      20633
3050.17/3060.01	c #Conflicts:     609000 | #Constraints:      21633
3050.17/3060.01	c #Conflicts:     610000 | #Constraints:      22633
3050.17/3060.01	c #Conflicts:     611000 | #Constraints:      23633
3050.17/3060.01	c #Conflicts:     612000 | #Constraints:      24633
3050.17/3060.01	c #Conflicts:     613000 | #Constraints:      25633
3050.17/3060.01	c #Conflicts:     614000 | #Constraints:      26633
3050.17/3060.01	c #Conflicts:     615000 | #Constraints:      27633
3050.17/3060.01	c #Conflicts:     616000 | #Constraints:      28633
3050.17/3060.01	c #Conflicts:     617000 | #Constraints:      29633
3050.17/3060.01	c #Conflicts:     618000 | #Constraints:      30633
3050.17/3060.01	c #Conflicts:     619000 | #Constraints:      31633
3050.17/3060.01	c #Conflicts:     620000 | #Constraints:      32633
3050.17/3060.01	c #Conflicts:     621000 | #Constraints:      33633
3050.17/3060.01	c #Conflicts:     622000 | #Constraints:      34633
3050.17/3060.01	c #Conflicts:     623000 | #Constraints:      35633
3050.17/3060.01	c INPROCESSING
3050.17/3060.01	c GARBAGE COLLECT
3050.17/3060.01	c #Conflicts:     624000 | #Constraints:      21026
3050.17/3060.01	c #Conflicts:     625000 | #Constraints:      22026
3050.17/3060.01	c #Conflicts:     626000 | #Constraints:      23026
3050.17/3060.01	c #Conflicts:     627000 | #Constraints:      24026
3050.17/3060.01	c #Conflicts:     628000 | #Constraints:      25026
3050.17/3060.01	c #Conflicts:     629000 | #Constraints:      26026
3050.17/3060.01	c #Conflicts:     630000 | #Constraints:      27026
3050.17/3060.01	c #Conflicts:     631000 | #Constraints:      28026
3050.17/3060.01	c #Conflicts:     632000 | #Constraints:      29026
3050.17/3060.01	c #Conflicts:     633000 | #Constraints:      30026
3050.17/3060.01	c #Conflicts:     634000 | #Constraints:      31026
3050.17/3060.01	c #Conflicts:     635000 | #Constraints:      32026
3050.17/3060.01	c #Conflicts:     636000 | #Constraints:      33026
3050.17/3060.01	c #Conflicts:     637000 | #Constraints:      34026
3050.17/3060.01	c #Conflicts:     638000 | #Constraints:      35026
3521.47/3532.62	c #Conflicts:     639000 | #Constraints:      36026
3521.47/3532.62	c INPROCESSING
3521.47/3532.62	c GARBAGE COLLECT
3521.47/3532.62	c #Conflicts:     640000 | #Constraints:      21222
3521.47/3532.62	c #Conflicts:     641000 | #Constraints:      22222
3521.47/3532.62	c #Conflicts:     642000 | #Constraints:      23222
3521.47/3532.62	c #Conflicts:     643000 | #Constraints:      24222
3521.47/3532.62	c #Conflicts:     644000 | #Constraints:      25222
3521.47/3532.62	c #Conflicts:     645000 | #Constraints:      26222
3521.47/3532.62	c #Conflicts:     646000 | #Constraints:      27222
3521.47/3532.62	c #Conflicts:     647000 | #Constraints:      28222
3521.47/3532.62	c #Conflicts:     648000 | #Constraints:      29222
3521.47/3532.62	c #Conflicts:     649000 | #Constraints:      30222
3521.47/3532.62	c #Conflicts:     650000 | #Constraints:      31222
3521.47/3532.62	c #Conflicts:     651000 | #Constraints:      32222
3521.47/3532.62	c #Conflicts:     652000 | #Constraints:      33222
3521.47/3532.62	c #Conflicts:     653000 | #Constraints:      34222
3521.47/3532.62	c #Conflicts:     654000 | #Constraints:      35222
3521.47/3532.62	c #Conflicts:     655000 | #Constraints:      36222
3521.47/3532.62	c INPROCESSING
3521.47/3532.62	c GARBAGE COLLECT
3521.47/3532.62	c #Conflicts:     656000 | #Constraints:      21231
3521.47/3532.62	c #Conflicts:     657000 | #Constraints:      22231
3521.47/3532.62	c #Conflicts:     658000 | #Constraints:      23231
3521.47/3532.62	c #Conflicts:     659000 | #Constraints:      24231
3521.47/3532.62	c #Conflicts:     660000 | #Constraints:      25231
3521.47/3532.62	c #Conflicts:     661000 | #Constraints:      26231
3521.47/3532.62	c #Conflicts:     662000 | #Constraints:      27231
3521.47/3532.62	c #Conflicts:     663000 | #Constraints:      28231
3521.47/3532.62	c #Conflicts:     664000 | #Constraints:      29231
3521.47/3532.62	c #Conflicts:     665000 | #Constraints:      30231
3521.47/3532.62	c #Conflicts:     666000 | #Constraints:      31231
3521.47/3532.62	c #Conflicts:     667000 | #Constraints:      32231
3521.47/3532.62	c #Conflicts:     668000 | #Constraints:      33231
3521.47/3532.62	c #Conflicts:     669000 | #Constraints:      34231
3521.47/3532.62	c #Conflicts:     670000 | #Constraints:      35231
3521.47/3532.62	c #Conflicts:     671000 | #Constraints:      36231
3521.47/3532.62	c INPROCESSING
3521.47/3532.62	c GARBAGE COLLECT
3521.47/3532.62	c #Conflicts:     672000 | #Constraints:      21021
3521.47/3532.62	c #Conflicts:     673000 | #Constraints:      22021
3521.47/3532.62	c #Conflicts:     674000 | #Constraints:      23021
3521.47/3532.62	c #Conflicts:     675000 | #Constraints:      24021
3521.47/3532.62	c #Conflicts:     676000 | #Constraints:      25021
3521.47/3532.62	c #Conflicts:     677000 | #Constraints:      26021
3521.47/3532.62	c #Conflicts:     678000 | #Constraints:      27021
3521.47/3532.62	c #Conflicts:     679000 | #Constraints:      28021
3521.47/3532.62	c #Conflicts:     680000 | #Constraints:      29021
3521.47/3532.62	c #Conflicts:     681000 | #Constraints:      30021
3521.47/3532.62	c #Conflicts:     682000 | #Constraints:      31021
3521.47/3532.62	c #Conflicts:     683000 | #Constraints:      32021
3521.47/3532.62	c #Conflicts:     684000 | #Constraints:      33021
3521.47/3532.62	c #Conflicts:     685000 | #Constraints:      34021
3521.47/3532.62	c #Conflicts:     686000 | #Constraints:      35021
3521.47/3532.62	c #Conflicts:     687000 | #Constraints:      36021
3521.47/3532.62	c #Conflicts:     688000 | #Constraints:      37021
3521.47/3532.62	c INPROCESSING
3521.47/3532.62	c GARBAGE COLLECT
3521.47/3532.62	c #Conflicts:     689000 | #Constraints:      21621
3521.47/3532.62	c #Conflicts:     690000 | #Constraints:      22621
3521.47/3532.62	c #Conflicts:     691000 | #Constraints:      23621
3521.47/3532.62	c #Conflicts:     692000 | #Constraints:      24621
3521.47/3532.62	c #Conflicts:     693000 | #Constraints:      25621
3521.47/3532.62	c #Conflicts:     694000 | #Constraints:      26621
3521.47/3532.62	c #Conflicts:     695000 | #Constraints:      27621
3521.47/3532.62	c #Conflicts:     696000 | #Constraints:      28621
3521.47/3532.62	c #Conflicts:     697000 | #Constraints:      29621
3521.47/3532.62	c #Conflicts:     698000 | #Constraints:      30621
3521.47/3532.62	c #Conflicts:     699000 | #Constraints:      31621
3521.47/3532.62	c #Conflicts:     700000 | #Constraints:      32621
3521.47/3532.62	c #Conflicts:     701000 | #Constraints:      33621
3521.47/3532.62	c #Conflicts:     702000 | #Constraints:      34621
3521.47/3532.62	c #Conflicts:     703000 | #Constraints:      35621
3521.47/3532.62	c #Conflicts:     704000 | #Constraints:      36621
3521.47/3532.62	c #Conflicts:     705000 | #Constraints:      37621
3521.47/3532.62	c INPROCESSING
3521.47/3532.62	c GARBAGE COLLECT
3521.47/3532.62	c #Conflicts:     706000 | #Constraints:      22030
3521.47/3532.62	c #Conflicts:     707000 | #Constraints:      23030
3521.47/3532.62	c #Conflicts:     708000 | #Constraints:      24030
3521.47/3532.62	c #Conflicts:     709000 | #Constraints:      25030
3521.47/3532.62	c #Conflicts:     710000 | #Constraints:      26030
3521.47/3532.62	c #Conflicts:     711000 | #Constraints:      27030
3521.47/3532.62	c #Conflicts:     712000 | #Constraints:      28030
3521.47/3532.62	c #Conflicts:     713000 | #Constraints:      29030
3561.46/3572.74	c #Conflicts:     714000 | #Constraints:      30030
3561.46/3572.74	c #Conflicts:     715000 | #Constraints:      31030
3561.46/3572.74	c #Conflicts:     716000 | #Constraints:      32030
3561.46/3572.74	c #Conflicts:     717000 | #Constraints:      33030
3561.46/3572.74	c #Conflicts:     718000 | #Constraints:      34030
3561.46/3572.74	c #Conflicts:     719000 | #Constraints:      35030
3561.46/3572.74	c #Conflicts:     720000 | #Constraints:      36030
3561.46/3572.74	c GLOBAL bounds - >= 0 @ 3550.23
3600.04/3611.40	c #Conflicts:     721000 | #Constraints:      37032
3600.04/3611.40	c #Conflicts:     722000 | #Constraints:      38032
3600.04/3611.40	c INPROCESSING
3600.04/3611.40	c GARBAGE COLLECT
3600.04/3611.40	c #Conflicts:     723000 | #Constraints:      22253
3600.04/3611.40	c #Conflicts:     724000 | #Constraints:      23253
3600.04/3611.40	c #Conflicts:     725000 | #Constraints:      24253
3600.04/3611.40	c #Conflicts:     726000 | #Constraints:      25253
3600.04/3611.40	c #Conflicts:     727000 | #Constraints:      26253
3600.04/3611.40	c #Conflicts:     728000 | #Constraints:      27253
3600.04/3611.40	c #Conflicts:     729000 | #Constraints:      28253
3600.04/3611.40	c #Conflicts:     730000 | #Constraints:      29253
3600.04/3611.40	c #Conflicts:     731000 | #Constraints:      30253
3600.04/3611.40	c #Conflicts:     732000 | #Constraints:      31253
3600.04/3611.40	c #Conflicts:     733000 | #Constraints:      32253
3600.04/3611.40	c cpu time 3588.65 s
3600.04/3611.40	c deterministic time 1 1.00e+00
3600.04/3611.40	c optimization time 3588.61 s
3600.04/3611.40	c total solve time 0 s
3600.04/3611.40	c core-guided solve time 0 s
3600.04/3611.40	c propagation time 0.004471 s
3600.04/3611.40	c conflict analysis time 0 s
3600.04/3611.40	c propagations 0
3600.04/3611.40	c resolve steps 0
3600.04/3611.40	c decisions 0
3600.04/3611.40	c conflicts 0
3600.04/3611.40	c restarts 0
3600.04/3611.40	c inprocessing phases 0
3600.04/3611.40	c garbage collections 0 ,( -nan )
3600.04/3611.40	c input clauses 4000 ,( 100.00 )
3600.04/3611.40	c input cardinalities 0 ,( 0.00 )
3600.04/3611.40	c input general constraints 0 ,( 0.00 )
3600.04/3611.40	c input average constraint length 2.00
3600.04/3611.40	c input average constraint degree 1.00
3600.04/3611.40	c learned clauses 0 ,( 0.00 )
3600.04/3611.40	c learned cardinalities 0 ,( 0.00 )
3600.04/3611.40	c learned general constraints 0 ,( 0.00 )
3600.04/3611.40	c learned average constraint length 0.00
3600.04/3611.40	c learned average constraint degree 0.00
3600.04/3611.40	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.04/3611.40	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.04/3611.40	c watched   constraints 0 ,( -nan ) 
3600.04/3611.40	c counting  constraints 0 ,( -nan ) 
3600.04/3611.40	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.04/3611.40	c gcd simplifications 0
3600.04/3611.40	c detected cardinalities 0
3600.04/3611.40	c weakened non-implied lits 0
3600.04/3611.40	c weakened non-implying lits 0
3600.04/3611.40	c original variables 1960
3600.04/3611.40	c clausal propagations 0
3600.04/3611.40	c cardinality propagations 0
3600.04/3611.40	c watched propagations 0
3600.04/3611.40	c counting propagations 0
3600.04/3611.40	c watch lookups 0
3600.04/3611.40	c watch backjump lookups 0
3600.04/3611.40	c watch checks 0
3600.04/3611.40	c propagation checks 0
3600.04/3611.40	c constraint additions 0
3600.04/3611.40	c trail pops 0
3600.04/3611.40	c formula constraints 4000
3600.04/3611.40	c learned constraints 0
3600.04/3611.40	c bound constraints 0
3600.04/3611.40	c core-guided constraints 0
3600.04/3611.40	c encountered formula constraints 0
3600.04/3611.40	c encountered learned constraints 0
3600.04/3611.40	c encountered bound constraints 0
3600.04/3611.40	c encountered core-guided constraints 0
3600.04/3611.40	c LP total time 0 s
3600.04/3611.40	c LP solve time 0 s
3600.04/3611.40	c LP constraints added 0
3600.04/3611.40	c LP constraints removed 0
3600.04/3611.40	c LP pivots internal 0
3600.04/3611.40	c LP pivots root 0
3600.04/3611.40	c LP calls 0
3600.04/3611.40	c LP optimalities 0
3600.04/3611.40	c LP no pivot count 0
3600.04/3611.40	c LP infeasibilities 0
3600.04/3611.40	c LP valid Farkas constraints 0
3600.04/3611.40	c LP learned Farkas constraints 0
3600.04/3611.40	c LP basis resets 0
3600.04/3611.40	c LP cycling count 0
3600.04/3611.40	c LP singular count 0
3600.04/3611.40	c LP no primal count 0
3600.04/3611.40	c LP no farkas count 0
3600.04/3611.40	c LP other issue count 0
3600.04/3611.40	c LP Gomory cuts 0
3600.04/3611.40	c LP learned cuts 0
3600.04/3611.40	c LP deleted cuts 0
3600.04/3611.40	c LP encountered Gomory constraints 0
3600.04/3611.40	c LP encountered Farkas constraints 0
3600.04/3611.40	c LP encountered learned Farkas constraints 0
3600.04/3611.40	c CG auxiliary variables introduced 0
3600.04/3611.40	c CG solutions found 0
3600.04/3611.40	c CG cores constructed 0
3600.04/3611.40	c CG core cardinality constraints returned 0
3600.04/3611.40	c CG unit cores 0
3600.04/3611.40	c CG single cores 0
3600.04/3611.40	c CG blocks removed during cardinality reduction 0
3600.04/3611.40	c CG first core best 0
3600.04/3611.40	c CG decision core best 0
3600.04/3611.40	c CG core reduction tie 0
3600.04/3611.40	c CG core degree average 0.00
3600.04/3611.40	c CG core slack average 0.00
3600.04/3611.40	c CG core upper bound improvements 0
3600.04/3611.40	c STR number of successful calls 0
3600.04/3611.40	c STR number of unsuccessful calls 0
3600.04/3611.40	c STR number of inconclusive calls 0
3600.04/3611.40	c STR number of successful attempts 0
3600.04/3611.40	c STR number of unsuccessful attempts 0
3600.04/3611.40	c STR number of inconclusive attempts 0
3600.04/3611.40	c STR average degree increase per successful call inf
3600.04/3611.40	c STR average degree increase per successful attempt inf
3600.04/3611.40	c STR total number of conflicts for successful attempts 0
3600.04/3611.40	c STR total number of conflicts for unsuccessful attempts 0
3600.04/3611.40	c STR total number of conflicts for inconclusive attempts 0
3600.04/3611.40	c STR average number of conflicts per successful attempt inf
3600.04/3611.40	c STR average number of conflicts per unsuccessful attempt inf
3600.04/3611.40	c STR average number of conflicts per inconclusive attempt inf
3600.04/3611.40	c AVG.sumWPerc -nan 
3600.04/3611.40	c bigint constraints 0 
3600.04/3611.40	s UNKNOWN
3600.04/3611.40	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: 63837 MiB (59572 MiB free)
  memory of node 1: 64465 MiB (63540 MiB free)
  node distances:
     10  21
     21  10

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

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

solver pid=43868, runsolver pid=43865

[startup+0.100069 s]*
/proc/loadavg: 4.13 4.13 4.15 5/260 43870
/proc/meminfo: memFree=126065632/131382120 swapFree=33010684/33010684
[pid=43868] ppid=43865 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/43868/stat : 43868 (run-opt-log.sh) S 43865 43868 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49323653 4292608 736 18446744073709551615 94868926070784 94868926965317 140721520437440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94868927204368 94868927252112 94868954386432 140721520445729 140721520445924 140721520445924 140721520451526 0
/proc/43868/statm: 1048 736 672 219 0 110 0
[pid=43870] ppid=43868 vsize=57288 memory=11512 CPUtime=0.04 cores=1,3
/proc/43870/stat : 43870 (roundingsat) R 43868 43868 41409 0 -1 4194304 1014 0 0 0 3 1 0 0 20 0 1 0 49323657 58662912 2878 18446744073709551615 4227072 8923433 140736646046432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27201536 140736646052178 140736646052392 140736646052392 140736646057962 0
/proc/43870/statm: 14322 2878 2240 1147 0 1749 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 61480 KiB
Current children cumulated memory: 14456 KiB

[startup+0.213977 s]*
/proc/loadavg: 4.13 4.13 4.15 5/260 43870
/proc/meminfo: memFree=126057504/131382120 swapFree=33010684/33010684
[pid=43868] ppid=43865 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/43868/stat : 43868 (run-opt-log.sh) S 43865 43868 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49323653 4292608 736 18446744073709551615 94868926070784 94868926965317 140721520437440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94868927204368 94868927252112 94868954386432 140721520445729 140721520445924 140721520445924 140721520451526 0
/proc/43868/statm: 1048 736 672 219 0 110 0
[pid=43870] ppid=43868 vsize=65908 memory=17040 CPUtime=0.15 cores=1,3
/proc/43870/stat : 43870 (roundingsat) R 43868 43868 41409 0 -1 4194304 2738 0 0 0 13 2 0 0 20 0 1 0 49323657 67489792 4260 18446744073709551615 4227072 8923433 140736646046432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27201536 140736646052178 140736646052392 140736646052392 140736646057962 0
/proc/43870/statm: 16477 4260 2336 1147 0 3904 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 70100 KiB
Current children cumulated memory: 19984 KiB

[startup+0.314089 s]*
/proc/loadavg: 4.13 4.13 4.15 5/260 43870
/proc/meminfo: memFree=126057000/131382120 swapFree=33010684/33010684
[pid=43868] ppid=43865 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/43868/stat : 43868 (run-opt-log.sh) S 43865 43868 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49323653 4292608 736 18446744073709551615 94868926070784 94868926965317 140721520437440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94868927204368 94868927252112 94868954386432 140721520445729 140721520445924 140721520445924 140721520451526 0
/proc/43868/statm: 1048 736 672 219 0 110 0
[pid=43870] ppid=43868 vsize=68420 memory=20240 CPUtime=0.25 cores=1,3
/proc/43870/stat : 43870 (roundingsat) R 43868 43868 41409 0 -1 4194304 3542 0 0 0 22 3 0 0 20 0 1 0 49323657 70062080 5060 18446744073709551615 4227072 8923433 140736646046432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27201536 140736646052178 140736646052392 140736646052392 140736646057962 0
/proc/43870/statm: 17105 5060 2336 1147 0 4532 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 72612 KiB
Current children cumulated memory: 23184 KiB

[startup+0.700356 s]
/proc/loadavg: 4.13 4.13 4.15 5/260 43870
/proc/meminfo: memFree=126056244/131382120 swapFree=33010684/33010684
[pid=43868] ppid=43865 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/43868/stat : 43868 (run-opt-log.sh) S 43865 43868 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49323653 4292608 736 18446744073709551615 94868926070784 94868926965317 140721520437440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94868927204368 94868927252112 94868954386432 140721520445729 140721520445924 140721520445924 140721520451526 0
/proc/43868/statm: 1048 736 672 219 0 110 0
[pid=43870] ppid=43868 vsize=82052 memory=36300 CPUtime=0.63 cores=1,3
/proc/43870/stat : 43870 (roundingsat) R 43868 43868 41409 0 -1 4194304 6516 0 0 0 57 6 0 0 20 0 1 0 49323657 84021248 9075 18446744073709551615 4227072 8923433 140736646046432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27201536 140736646052178 140736646052392 140736646052392 140736646057962 0
/proc/43870/statm: 20513 9075 2336 1147 0 7940 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 86244 KiB
Current children cumulated memory: 39244 KiB

[startup+1.5004 s]
/proc/loadavg: 4.13 4.13 4.15 5/260 43870
/proc/meminfo: memFree=126024868/131382120 swapFree=33010684/33010684
[pid=43868] ppid=43865 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/43868/stat : 43868 (run-opt-log.sh) S 43865 43868 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49323653 4292608 736 18446744073709551615 94868926070784 94868926965317 140721520437440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94868927204368 94868927252112 94868954386432 140721520445729 140721520445924 140721520445924 140721520451526 0
/proc/43868/statm: 1048 736 672 219 0 110 0
[pid=43870] ppid=43868 vsize=108128 memory=55632 CPUtime=1.42 cores=1,3
/proc/43870/stat : 43870 (roundingsat) R 43868 43868 41409 0 -1 4194304 10862 0 0 0 134 8 0 0 20 0 1 0 49323657 110723072 13908 18446744073709551615 4227072 8923433 140736646046432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27201536 140736646052178 140736646052392 140736646052392 140736646057962 0
/proc/43870/statm: 27032 13908 2336 1147 0 14459 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 112320 KiB
Current children cumulated memory: 58576 KiB

[startup+3.11348 s]
/proc/loadavg: 4.12 4.13 4.15 5/260 43870
/proc/meminfo: memFree=125879840/131382120 swapFree=33010684/33010684
[pid=43868] ppid=43865 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/43868/stat : 43868 (run-opt-log.sh) S 43865 43868 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49323653 4292608 736 18446744073709551615 94868926070784 94868926965317 140721520437440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94868927204368 94868927252112 94868954386432 140721520445729 140721520445924 140721520445924 140721520451526 0
/proc/43868/statm: 1048 736 672 219 0 110 0
[pid=43870] ppid=43868 vsize=158112 memory=108620 CPUtime=3.03 cores=1,3
/proc/43870/stat : 43870 (roundingsat) R 43868 43868 41409 0 -1 4194304 20515 0 0 0 290 13 0 0 20 0 1 0 49323657 161906688 27155 18446744073709551615 4227072 8923433 140736646046432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27201536 140736646052178 140736646052392 140736646052392 140736646057962 0
/proc/43870/statm: 39528 27155 2336 1147 0 26955 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 162304 KiB
Current children cumulated memory: 111564 KiB

[startup+6.30038 s]
/proc/loadavg: 4.12 4.13 4.15 5/260 43870
/proc/meminfo: memFree=125530972/131382120 swapFree=33010684/33010684
[pid=43868] ppid=43865 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/43868/stat : 43868 (run-opt-log.sh) S 43865 43868 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49323653 4292608 736 18446744073709551615 94868926070784 94868926965317 140721520437440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94868927204368 94868927252112 94868954386432 140721520445729 140721520445924 140721520445924 140721520451526 0
/proc/43868/statm: 1048 736 672 219 0 110 0
[pid=43870] ppid=43868 vsize=241768 memory=163436 CPUtime=6.21 cores=1,3
/proc/43870/stat : 43870 (roundingsat) R 43868 43868 41409 0 -1 4194304 32179 0 0 0 602 19 0 0 20 0 1 0 49323657 247570432 40859 18446744073709551615 4227072 8923433 140736646046432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27201536 140736646052178 140736646052392 140736646052392 140736646057962 0
/proc/43870/statm: 60442 40859 2336 1147 0 47869 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 245960 KiB
Current children cumulated memory: 166380 KiB

[startup+12.7004 s]
/proc/loadavg: 4.11 4.13 4.15 5/260 43870
/proc/meminfo: memFree=125396356/131382120 swapFree=33010684/33010684
[pid=43868] ppid=43865 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/43868/stat : 43868 (run-opt-log.sh) S 43865 43868 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49323653 4292608 736 18446744073709551615 94868926070784 94868926965317 140721520437440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94868927204368 94868927252112 94868954386432 140721520445729 140721520445924 140721520445924 140721520451526 0
/proc/43868/statm: 1048 736 672 219 0 110 0
[pid=43870] ppid=43868 vsize=276560 memory=201812 CPUtime=12.59 cores=1,3
/proc/43870/stat : 43870 (roundingsat) R 43868 43868 41409 0 -1 4194304 38207 0 0 0 1232 27 0 0 20 0 1 0 49323657 283197440 50453 18446744073709551615 4227072 8923433 140736646046432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27201536 140736646052178 140736646052392 140736646052392 140736646057962 0
/proc/43870/statm: 69140 50453 2336 1147 0 56567 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 280752 KiB
Current children cumulated memory: 204756 KiB

[startup+25.5004 s]
/proc/loadavg: 4.08 4.12 4.15 5/260 43870
/proc/meminfo: memFree=125105892/131382120 swapFree=33010684/33010684
[pid=43868] ppid=43865 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/43868/stat : 43868 (run-opt-log.sh) S 43865 43868 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49323653 4292608 736 18446744073709551615 94868926070784 94868926965317 140721520437440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94868927204368 94868927252112 94868954386432 140721520445729 140721520445924 140721520445924 140721520451526 0
/proc/43868/statm: 1048 736 672 219 0 110 0
[pid=43870] ppid=43868 vsize=541720 memory=409488 CPUtime=25.34 cores=1,3
/proc/43870/stat : 43870 (roundingsat) R 43868 43868 41409 0 -1 4194304 87061 0 0 0 2489 45 0 0 20 0 1 0 49323657 554721280 102372 18446744073709551615 4227072 8923433 140736646046432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27201536 140736646052178 140736646052392 140736646052392 140736646057962 0
/proc/43870/statm: 135430 102372 2336 1147 0 122857 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 545912 KiB
Current children cumulated memory: 412432 KiB

[startup+51.1137 s]
/proc/loadavg: 4.13 4.12 4.15 5/260 43871
/proc/meminfo: memFree=124986588/131382120 swapFree=33010684/33010684
[pid=43868] ppid=43865 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/43868/stat : 43868 (run-opt-log.sh) S 43865 43868 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49323653 4292608 736 18446744073709551615 94868926070784 94868926965317 140721520437440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94868927204368 94868927252112 94868954386432 140721520445729 140721520445924 140721520445924 140721520451526 0
/proc/43868/statm: 1048 736 672 219 0 110 0
[pid=43870] ppid=43868 vsize=544636 memory=415248 CPUtime=50.88 cores=1,3
/proc/43870/stat : 43870 (roundingsat) R 43868 43868 41409 0 -1 4194304 88506 0 0 0 5031 57 0 0 20 0 1 0 49323657 557707264 103812 18446744073709551615 4227072 8923433 140736646046432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27201536 140736646052178 140736646052392 140736646052392 140736646057962 0
/proc/43870/statm: 136159 103812 2336 1147 0 123586 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 548828 KiB
Current children cumulated memory: 418192 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/261 43874
/proc/meminfo: memFree=124703108/131382120 swapFree=33010684/33010684
[pid=43868] ppid=43865 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/43868/stat : 43868 (run-opt-log.sh) S 43865 43868 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49323653 4292608 736 18446744073709551615 94868926070784 94868926965317 140721520437440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94868927204368 94868927252112 94868954386432 140721520445729 140721520445924 140721520445924 140721520451526 0
/proc/43868/statm: 1048 736 672 219 0 110 0
[pid=43870] ppid=43868 vsize=583024 memory=461676 CPUtime=101.88 cores=1,3
/proc/43870/stat : 43870 (roundingsat) R 43868 43868 41409 0 -1 4194304 97050 0 0 0 10107 81 0 0 20 0 1 0 49323657 597016576 115419 18446744073709551615 4227072 8923433 140736646046432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27201536 140736646052178 140736646052392 140736646052392 140736646057962 0
/proc/43870/statm: 145756 115419 2336 1147 0 133183 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 587216 KiB
Current children cumulated memory: 464620 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.14 5/261 43876
/proc/meminfo: memFree=124310472/131382120 swapFree=33010684/33010684
[pid=43868] ppid=43865 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/43868/stat : 43868 (run-opt-log.sh) S 43865 43868 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49323653 4292608 736 18446744073709551615 94868926070784 94868926965317 140721520437440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94868927204368 94868927252112 94868954386432 140721520445729 140721520445924 140721520445924 140721520451526 0
/proc/43868/statm: 1048 736 672 219 0 110 0
[pid=43870] ppid=43868 vsize=643092 memory=488204 CPUtime=161.67 cores=1,3
/proc/43870/stat : 43870 (roundingsat) R 43868 43868 41409 0 -1 4194304 101149 0 0 0 16050 117 0 0 20 0 1 0 49323657 658526208 122051 18446744073709551615 4227072 8923433 140736646046432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27201536 140736646052178 140736646052392 140736646052392 140736646057962 0
/proc/43870/statm: 160773 122051 2336 1147 0 148200 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 647284 KiB
Current children cumulated memory: 491148 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.13 5/258 43880
/proc/meminfo: memFree=123871120/131382120 swapFree=33010684/33010684
[pid=43868] ppid=43865 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/43868/stat : 43868 (run-opt-log.sh) S 43865 43868 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49323653 4292608 736 18446744073709551615 94868926070784 94868926965317 140721520437440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94868927204368 94868927252112 94868954386432 140721520445729 140721520445924 140721520445924 140721520451526 0
/proc/43868/statm: 1048 736 672 219 0 110 0
[pid=43870] ppid=43868 vsize=787608 memory=637036 CPUtime=221.46 cores=1,3
/proc/43870/stat : 43870 (roundingsat) R 43868 43868 41409 0 -1 4194304 129150 0 0 0 21990 156 0 0 20 0 1 0 49323657 806510592 159259 18446744073709551615 4227072 8923433 140736646046432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27201536 140736646052178 140736646052392 140736646052392 140736646057962 0
/proc/43870/statm: 196902 159259 2336 1147 0 184329 0

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

/proc/43870/statm: 290609 268651 2336 1147 0 278036 0
Current children cumulated CPU time: 3032.51 s
Current children cumulated vsize: 1166628 KiB
Current children cumulated memory: 1077548 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.11 4.13 5/259 44083
/proc/meminfo: memFree=116591000/131382120 swapFree=33010684/33010684
[pid=43868] ppid=43865 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/43868/stat : 43868 (run-opt-log.sh) S 43865 43868 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49323653 4292608 736 18446744073709551615 94868926070784 94868926965317 140721520437440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94868927204368 94868927252112 94868954386432 140721520445729 140721520445924 140721520445924 140721520451526 0
/proc/43868/statm: 1048 736 672 219 0 110 0
[pid=43870] ppid=43868 vsize=1162436 memory=1074604 CPUtime=3092.35 cores=1,3
/proc/43870/stat : 43870 (roundingsat) R 43868 43868 41409 0 -1 4194304 185241 0 0 0 308216 1019 0 0 20 0 1 0 49323657 1190334464 268651 18446744073709551615 4227072 8923433 140736646046432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27201536 140736646052178 140736646052392 140736646052392 140736646057962 0
/proc/43870/statm: 290609 268651 2336 1147 0 278036 0
Current children cumulated CPU time: 3092.35 s
Current children cumulated vsize: 1166628 KiB
Current children cumulated memory: 1077548 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.10 4.12 5/258 44085
/proc/meminfo: memFree=116446108/131382120 swapFree=33010684/33010684
[pid=43868] ppid=43865 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/43868/stat : 43868 (run-opt-log.sh) S 43865 43868 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49323653 4292608 736 18446744073709551615 94868926070784 94868926965317 140721520437440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94868927204368 94868927252112 94868954386432 140721520445729 140721520445924 140721520445924 140721520451526 0
/proc/43868/statm: 1048 736 672 219 0 110 0
[pid=43870] ppid=43868 vsize=1162436 memory=1074604 CPUtime=3152.19 cores=1,3
/proc/43870/stat : 43870 (roundingsat) R 43868 43868 41409 0 -1 4194304 185241 0 0 0 314186 1033 0 0 20 0 1 0 49323657 1190334464 268651 18446744073709551615 4227072 8923433 140736646046432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27201536 140736646052178 140736646052392 140736646052392 140736646057962 0
/proc/43870/statm: 290609 268651 2336 1147 0 278036 0
Current children cumulated CPU time: 3152.19 s
Current children cumulated vsize: 1166628 KiB
Current children cumulated memory: 1077548 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.12 5/259 44090
/proc/meminfo: memFree=116208976/131382120 swapFree=33010684/33010684
[pid=43868] ppid=43865 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/43868/stat : 43868 (run-opt-log.sh) S 43865 43868 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49323653 4292608 736 18446744073709551615 94868926070784 94868926965317 140721520437440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94868927204368 94868927252112 94868954386432 140721520445729 140721520445924 140721520445924 140721520451526 0
/proc/43868/statm: 1048 736 672 219 0 110 0
[pid=43870] ppid=43868 vsize=1162436 memory=1074604 CPUtime=3212.02 cores=1,3
/proc/43870/stat : 43870 (roundingsat) R 43868 43868 41409 0 -1 4194304 185241 0 0 0 320154 1048 0 0 20 0 1 0 49323657 1190334464 268651 18446744073709551615 4227072 8923433 140736646046432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27201536 140736646052178 140736646052392 140736646052392 140736646057962 0
/proc/43870/statm: 290609 268651 2336 1147 0 278036 0
Current children cumulated CPU time: 3212.02 s
Current children cumulated vsize: 1166628 KiB
Current children cumulated memory: 1077548 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.12 5/259 44096
/proc/meminfo: memFree=116082948/131382120 swapFree=33010684/33010684
[pid=43868] ppid=43865 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/43868/stat : 43868 (run-opt-log.sh) S 43865 43868 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49323653 4292608 736 18446744073709551615 94868926070784 94868926965317 140721520437440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94868927204368 94868927252112 94868954386432 140721520445729 140721520445924 140721520445924 140721520451526 0
/proc/43868/statm: 1048 736 672 219 0 110 0
[pid=43870] ppid=43868 vsize=1308520 memory=1097196 CPUtime=3271.84 cores=1,3
/proc/43870/stat : 43870 (roundingsat) R 43868 43868 41409 0 -1 4194304 188423 0 0 0 326124 1060 0 0 20 0 1 0 49323657 1339924480 274299 18446744073709551615 4227072 8923433 140736646046432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27201536 140736646052178 140736646052392 140736646052392 140736646057962 0
/proc/43870/statm: 327130 274299 2336 1147 0 314557 0
Current children cumulated CPU time: 3271.84 s
Current children cumulated vsize: 1312712 KiB
Current children cumulated memory: 1100140 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.10 4.11 5/258 44097
/proc/meminfo: memFree=115944804/131382120 swapFree=33010684/33010684
[pid=43868] ppid=43865 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/43868/stat : 43868 (run-opt-log.sh) S 43865 43868 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49323653 4292608 736 18446744073709551615 94868926070784 94868926965317 140721520437440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94868927204368 94868927252112 94868954386432 140721520445729 140721520445924 140721520445924 140721520451526 0
/proc/43868/statm: 1048 736 672 219 0 110 0
[pid=43870] ppid=43868 vsize=1312940 memory=1104464 CPUtime=3331.69 cores=1,3
/proc/43870/stat : 43870 (roundingsat) R 43868 43868 41409 0 -1 4194304 189219 0 0 0 332096 1073 0 0 20 0 1 0 49323657 1344450560 276116 18446744073709551615 4227072 8923433 140736646046432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27201536 140736646052178 140736646052392 140736646052392 140736646057962 0
/proc/43870/statm: 328235 276116 2336 1147 0 315662 0
Current children cumulated CPU time: 3331.69 s
Current children cumulated vsize: 1317132 KiB
Current children cumulated memory: 1107408 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.09 4.11 5/258 44099
/proc/meminfo: memFree=115819932/131382120 swapFree=33010684/33010684
[pid=43868] ppid=43865 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/43868/stat : 43868 (run-opt-log.sh) S 43865 43868 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49323653 4292608 736 18446744073709551615 94868926070784 94868926965317 140721520437440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94868927204368 94868927252112 94868954386432 140721520445729 140721520445924 140721520445924 140721520451526 0
/proc/43868/statm: 1048 736 672 219 0 110 0
[pid=43870] ppid=43868 vsize=1313432 memory=1104848 CPUtime=3391.53 cores=1,3
/proc/43870/stat : 43870 (roundingsat) R 43868 43868 41409 0 -1 4194304 189326 0 0 0 338069 1084 0 0 20 0 1 0 49323657 1344954368 276212 18446744073709551615 4227072 8923433 140736646046432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27201536 140736646052178 140736646052392 140736646052392 140736646057962 0
/proc/43870/statm: 328358 276212 2336 1147 0 315785 0
Current children cumulated CPU time: 3391.53 s
Current children cumulated vsize: 1317624 KiB
Current children cumulated memory: 1107792 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.08 4.10 5/259 44102
/proc/meminfo: memFree=115701648/131382120 swapFree=33010684/33010684
[pid=43868] ppid=43865 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/43868/stat : 43868 (run-opt-log.sh) S 43865 43868 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49323653 4292608 736 18446744073709551615 94868926070784 94868926965317 140721520437440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94868927204368 94868927252112 94868954386432 140721520445729 140721520445924 140721520445924 140721520451526 0
/proc/43868/statm: 1048 736 672 219 0 110 0
[pid=43870] ppid=43868 vsize=1313432 memory=1104976 CPUtime=3451.36 cores=1,3
/proc/43870/stat : 43870 (roundingsat) R 43868 43868 41409 0 -1 4194304 189335 0 0 0 344034 1102 0 0 20 0 1 0 49323657 1344954368 276244 18446744073709551615 4227072 8923433 140736646046432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27201536 140736646052178 140736646052392 140736646052392 140736646057962 0
/proc/43870/statm: 328358 276244 2336 1147 0 315785 0
Current children cumulated CPU time: 3451.36 s
Current children cumulated vsize: 1317624 KiB
Current children cumulated memory: 1107920 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/259 44104
/proc/meminfo: memFree=115560248/131382120 swapFree=33010684/33010684
[pid=43868] ppid=43865 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/43868/stat : 43868 (run-opt-log.sh) S 43865 43868 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49323653 4292608 736 18446744073709551615 94868926070784 94868926965317 140721520437440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94868927204368 94868927252112 94868954386432 140721520445729 140721520445924 140721520445924 140721520451526 0
/proc/43868/statm: 1048 736 672 219 0 110 0
[pid=43870] ppid=43868 vsize=1314088 memory=1105616 CPUtime=3511.2 cores=1,3
/proc/43870/stat : 43870 (roundingsat) R 43868 43868 41409 0 -1 4194304 189505 0 0 0 350003 1117 0 0 20 0 1 0 49323657 1345626112 276404 18446744073709551615 4227072 8923433 140736646046432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27201536 140736646052178 140736646052392 140736646052392 140736646057962 0
/proc/43870/statm: 328522 276404 2336 1147 0 315949 0
Current children cumulated CPU time: 3511.2 s
Current children cumulated vsize: 1318280 KiB
Current children cumulated memory: 1108560 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/259 44106
/proc/meminfo: memFree=115347504/131382120 swapFree=33010684/33010684
[pid=43868] ppid=43865 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/43868/stat : 43868 (run-opt-log.sh) S 43865 43868 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49323653 4292608 736 18446744073709551615 94868926070784 94868926965317 140721520437440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94868927204368 94868927252112 94868954386432 140721520445729 140721520445924 140721520445924 140721520451526 0
/proc/43868/statm: 1048 736 672 219 0 110 0
[pid=43870] ppid=43868 vsize=1315628 memory=1114844 CPUtime=3571.04 cores=1,3
/proc/43870/stat : 43870 (roundingsat) R 43868 43868 41409 0 -1 4194304 189813 0 0 0 355973 1131 0 0 20 0 1 0 49323657 1347203072 278711 18446744073709551615 4227072 8923433 140736646046432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27201536 140736646052178 140736646052392 140736646052392 140736646057962 0
/proc/43870/statm: 328907 278711 2336 1147 0 316334 0
Current children cumulated CPU time: 3571.04 s
Current children cumulated vsize: 1319820 KiB
Current children cumulated memory: 1117788 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.4 s]
/proc/loadavg: 3.92 4.05 4.08 3/243 44169
/proc/meminfo: memFree=122820968/131382120 swapFree=33010684/33010684
[pid=43868] ppid=43865 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/43868/stat : 43868 (run-opt-log.sh) S 43865 43868 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49323653 4292608 736 18446744073709551615 94868926070784 94868926965317 140721520437440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94868927204368 94868927252112 94868954386432 140721520445729 140721520445924 140721520445924 140721520451526 0
/proc/43868/statm: 1048 736 672 219 0 110 0
[pid=43870] ppid=43868 vsize=1315628 memory=1114844 CPUtime=3600.04 cores=1,3
/proc/43870/stat : 43870 (roundingsat) R 43868 43868 41409 0 -1 4194304 190086 0 0 0 358865 1139 0 0 20 0 1 0 49323657 1347203072 278711 18446744073709551615 4227072 8923433 140736646046432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27201536 140736646052178 140736646052392 140736646052392 140736646057962 0
/proc/43870/statm: 328907 278711 2336 1147 0 316334 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1319820 KiB
Current children cumulated memory: 1117788 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.002834 s, system=0.002751 s

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

# cumulated CPU time of all completed processes:  user=3588.67 s, system=11.4097 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

Child status: 2

Real time (s): 3611.43
CPU time (s): 3600.08
CPU user time (s): 3588.67
CPU system time (s): 11.4097
CPU usage (%): 99.6855
Max. virtual memory (cumulated for all children) (KiB): 1319820
Max. memory (cumulated for all children) (KiB): 1117788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.67
system time used= 11.4097
maximum resident set size= 1115356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 190378
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4573016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1538
involuntary context switches= 4928


# summary of solver processes directly reported to runsolver:
#   pid: 43868,43870
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3588.67
#   total CPU system time (s): 11.4097

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3542 second user time and 37.8652 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2025-07-01 04:20:50
IDJOB=4488679
IDBENCH=147526
IDSOLVER=3351
FILE ID=nodeC003/4488679-1751336449
RUNJOBID= nodeC003-1751329194-41421
SLURM_JOB_ID= 9594376
Free space on /tmp= 432732 MiB

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

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

MD5SUM BENCH= 52f0a3c0093dc9bf421bafb6505effdf
RANDOM SEED=1224968034

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        126067648 kB
MemAvailable:   128589852 kB
Buffers:            3280 kB
Cached:          3324736 kB
SwapCached:            0 kB
Active:          1700376 kB
Inactive:        3075260 kB
Active(anon):    1465620 kB
Inactive(anon):        0 kB
Active(file):     234756 kB
Inactive(file):  3075260 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             29348 kB
Writeback:             8 kB
AnonPages:       1450768 kB
Mapped:           116640 kB
Shmem:             17960 kB
KReclaimable:     103632 kB
Slab:             188924 kB
SReclaimable:     103632 kB
SUnreclaim:        85292 kB
KernelStack:        4176 kB
PageTables:         6408 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    2031412 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149496 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    110592 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:      191304 kB
DirectMap2M:    11245568 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432740 MiB
End job on nodeC003 at 2025-07-01 05:21:01