Trace number 4488678

Some explanations

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

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

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

Solver answer on this benchmark

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

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.05	c RoundingSat 2
0.00/0.05	c branch pb25
0.00/0.05	c commit 63f22ad
0.00/0.09	c #variables 1960 #constraints 4000
0.00/0.09	c objective is ce32 
0.05/0.13	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.05/0.13	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.05/0.13	c GLOBAL bounds - >= 0 @ 0.044205
0.05/0.13	c GLOBAL bounds - >= 0 @ 0.047689
0.05/0.20	c GLOBAL bounds - >= 0 @ 0.10631
0.15/0.27	c GLOBAL bounds - >= 0 @ 0.158363
0.24/0.36	c GLOBAL bounds - >= 0 @ 0.228436
0.24/0.42	c GLOBAL bounds - >= 0 @ 0.283909
0.33/0.48	c GLOBAL bounds - >= 0 @ 0.340064
0.42/0.55	c GLOBAL bounds - >= 0 @ 0.41246
0.51/0.63	c GLOBAL bounds - >= 0 @ 0.487743
0.60/0.71	c GLOBAL bounds - >= 0 @ 0.561909
0.70/0.82	c GLOBAL bounds - >= 0 @ 0.665367
0.70/0.89	c GLOBAL bounds - >= 0 @ 0.727998
0.80/0.96	c GLOBAL bounds - >= 0 @ 0.80365
0.91/1.08	c GLOBAL bounds - >= 0 @ 0.918681
1.01/1.18	c GLOBAL bounds - >= 0 @ 1.01048
1.20/1.31	c GLOBAL bounds - >= 0 @ 1.1427
1.20/1.39	c GLOBAL bounds - >= 0 @ 1.22051
1.30/1.48	c GLOBAL bounds - >= 0 @ 1.30776
1.40/1.58	c GLOBAL bounds - >= 0 @ 1.40128
1.59/1.74	c GLOBAL bounds - >= 0 @ 1.54928
1.70/1.85	c GLOBAL bounds - >= 0 @ 1.66226
1.80/1.97	c GLOBAL bounds - >= 0 @ 1.78335
2.01/2.12	c #Conflicts:       1000 | #Constraints:       5040
2.01/2.12	c GLOBAL bounds - >= 0 @ 1.92119
2.10/2.26	c GLOBAL bounds - >= 0 @ 2.05326
2.30/2.45	c GLOBAL bounds - >= 0 @ 2.24132
2.50/2.63	c GLOBAL bounds - >= 0 @ 2.41346
2.69/2.85	c GLOBAL bounds - >= 0 @ 2.63292
3.00/3.17	c GLOBAL bounds - >= 0 @ 2.94839
3.30/3.48	c GLOBAL bounds - >= 0 @ 3.25314
3.79/3.93	c #Conflicts:       2000 | #Constraints:       6054
3.79/3.93	c INPROCESSING
3.79/3.93	c GARBAGE COLLECT
3.79/3.93	c GLOBAL bounds - >= 0 @ 3.6996
3.90/4.10	c GLOBAL bounds - >= 0 @ 3.87338
4.09/4.21	c GLOBAL bounds - >= 0 @ 3.97848
4.19/4.33	c GLOBAL bounds - >= 0 @ 4.09998
4.29/4.47	c GLOBAL bounds - >= 0 @ 4.23162
4.39/4.58	c GLOBAL bounds - >= 0 @ 4.34644
4.69/4.81	c GLOBAL bounds - >= 0 @ 4.5641
4.78/4.92	c GLOBAL bounds - >= 0 @ 4.68235
4.90/5.06	c GLOBAL bounds - >= 0 @ 4.81743
5.09/5.20	c GLOBAL bounds - >= 0 @ 4.95298
5.19/5.36	c GLOBAL bounds - >= 0 @ 5.11195
5.39/5.55	c #Conflicts:       3000 | #Constraints:       6125
5.39/5.55	c GLOBAL bounds - >= 0 @ 5.29566
5.59/5.73	c GLOBAL bounds - >= 0 @ 5.46912
5.78/5.91	c GLOBAL bounds - >= 0 @ 5.64794
5.90/6.09	c GLOBAL bounds - >= 0 @ 5.81973
6.09/6.23	c GLOBAL bounds - >= 0 @ 5.96266
6.38/6.56	c GLOBAL bounds - >= 0 @ 6.28981
6.59/6.70	c GLOBAL bounds - >= 0 @ 6.42175
6.89/7.07	c GLOBAL bounds - >= 0 @ 6.77854
7.29/7.42	c GLOBAL bounds - >= 0 @ 7.12615
7.39/7.58	c GLOBAL bounds - >= 0 @ 7.28962
7.58/7.76	c GLOBAL bounds - >= 0 @ 7.46391
7.99/8.13	c #Conflicts:       4000 | #Constraints:       7147
7.99/8.13	c GLOBAL bounds - >= 0 @ 7.8327
8.28/8.45	c GLOBAL bounds - >= 0 @ 8.14319
8.68/8.88	c INPROCESSING
8.68/8.88	c GARBAGE COLLECT
8.68/8.88	c GLOBAL bounds - >= 0 @ 8.57536
8.78/9.00	c GLOBAL bounds - >= 0 @ 8.69133
9.08/9.21	c GLOBAL bounds - >= 0 @ 8.90256
9.18/9.36	c GLOBAL bounds - >= 0 @ 9.04706
9.38/9.52	c GLOBAL bounds - >= 0 @ 9.20196
9.57/9.78	c GLOBAL bounds - >= 0 @ 9.45639
9.77/10.01	c GLOBAL bounds - >= 0 @ 9.67982
10.08/10.25	c #Conflicts:       5000 | #Constraints:       6581
10.08/10.25	c GLOBAL bounds - >= 0 @ 9.9165
10.18/10.38	c GLOBAL bounds - >= 0 @ 10.0454
10.48/10.62	c GLOBAL bounds - >= 0 @ 10.2778
10.68/10.87	c GLOBAL bounds - >= 0 @ 10.532
10.89/11.01	c GLOBAL bounds - >= 0 @ 10.6684
11.07/11.29	c GLOBAL bounds - >= 0 @ 10.9441
11.27/11.42	c GLOBAL bounds - >= 0 @ 11.0777
11.37/11.59	c GLOBAL bounds - >= 0 @ 11.2422
11.67/11.86	c GLOBAL bounds - >= 0 @ 11.5051
11.77/12.00	c GLOBAL bounds - >= 0 @ 11.6398
11.98/12.17	c GLOBAL bounds - >= 0 @ 11.8111
12.17/12.36	c #Conflicts:       6000 | #Constraints:       7603
12.17/12.36	c GLOBAL bounds - >= 0 @ 11.996
12.36/12.51	c GLOBAL bounds - >= 0 @ 12.1481
12.67/12.85	c GLOBAL bounds - >= 0 @ 12.4879
12.88/13.01	c GLOBAL bounds - >= 0 @ 12.6472
13.06/13.22	c GLOBAL bounds - >= 0 @ 12.844
13.16/13.39	c GLOBAL bounds - >= 0 @ 13.0204
13.36/13.59	c GLOBAL bounds - >= 0 @ 13.2146
13.87/14.09	c INPROCESSING
13.87/14.09	c GARBAGE COLLECT
13.87/14.09	c GLOBAL bounds - >= 0 @ 13.6885
14.07/14.25	c GLOBAL bounds - >= 0 @ 13.8512
14.26/14.42	c GLOBAL bounds - >= 0 @ 14.0115
14.46/14.67	c #Conflicts:       7000 | #Constraints:       6619
14.46/14.67	c GLOBAL bounds - >= 0 @ 14.2658
14.66/14.81	c GLOBAL bounds - >= 0 @ 14.4021
14.88/15.01	c GLOBAL bounds - >= 0 @ 14.5964
15.06/15.22	c GLOBAL bounds - >= 0 @ 14.8075
15.26/15.42	c GLOBAL bounds - >= 0 @ 15.0015
15.46/15.64	c GLOBAL bounds - >= 0 @ 15.2138
15.76/15.97	c #Conflicts:       8000 | #Constraints:       7631
15.76/15.97	c GLOBAL bounds - >= 0 @ 15.5455
16.06/16.26	c GLOBAL bounds - >= 0 @ 15.787
20.95/21.17	c #Conflicts:       9000 | #Constraints:       8635
20.95/21.17	c INPROCESSING
20.95/21.17	c GARBAGE COLLECT
20.95/21.17	c #Conflicts:      10000 | #Constraints:       7395
20.95/21.17	c #Conflicts:      11000 | #Constraints:       8395
20.95/21.17	c GLOBAL bounds - >= 0 @ 20.6324
23.34/23.54	c #Conflicts:      12000 | #Constraints:       9397
23.34/23.54	c INPROCESSING
23.34/23.54	c GARBAGE COLLECT
23.34/23.54	c GLOBAL bounds - >= 0 @ 22.9691
45.79/46.08	c #Conflicts:      13000 | #Constraints:       7936
45.79/46.08	c #Conflicts:      14000 | #Constraints:       8936
45.79/46.08	c #Conflicts:      15000 | #Constraints:       9936
45.79/46.08	c INPROCESSING
45.79/46.08	c GARBAGE COLLECT
45.79/46.08	c #Conflicts:      16000 | #Constraints:       8182
45.79/46.08	c #Conflicts:      17000 | #Constraints:       9182
45.79/46.08	c #Conflicts:      18000 | #Constraints:      10182
45.79/46.08	c INPROCESSING
45.79/46.08	c GARBAGE COLLECT
45.79/46.08	c #Conflicts:      19000 | #Constraints:       8194
45.79/46.08	c #Conflicts:      20000 | #Constraints:       9194
45.79/46.08	c GLOBAL bounds - >= 0 @ 45.3703
48.16/48.43	c #Conflicts:      21000 | #Constraints:      10196
48.16/48.43	c INPROCESSING
48.16/48.43	c GARBAGE COLLECT
48.16/48.43	c #Conflicts:      22000 | #Constraints:       8007
48.16/48.43	c GLOBAL bounds - >= 0 @ 47.6961
67.61/67.90	c #Conflicts:      23000 | #Constraints:       9009
67.61/67.90	c #Conflicts:      24000 | #Constraints:      10009
67.61/67.90	c #Conflicts:      25000 | #Constraints:      11009
67.61/67.90	c INPROCESSING
67.61/67.90	c GARBAGE COLLECT
67.61/67.90	c #Conflicts:      26000 | #Constraints:       8597
67.61/67.90	c #Conflicts:      27000 | #Constraints:       9597
67.61/67.90	c GLOBAL bounds - >= 0 @ 67.0431
70.21/70.50	c #Conflicts:      28000 | #Constraints:      10599
70.21/70.50	c #Conflicts:      29000 | #Constraints:      11599
70.21/70.50	c INPROCESSING
70.21/70.50	c GARBAGE COLLECT
70.21/70.50	c GLOBAL bounds - >= 0 @ 69.6181
86.17/86.58	c #Conflicts:      30000 | #Constraints:       9014
86.17/86.58	c #Conflicts:      31000 | #Constraints:      10014
86.17/86.58	c #Conflicts:      32000 | #Constraints:      11014
86.17/86.58	c #Conflicts:      33000 | #Constraints:      12014
86.17/86.58	c INPROCESSING
86.17/86.58	c GARBAGE COLLECT
86.17/86.58	c GLOBAL bounds - >= 0 @ 85.5908
104.41/104.86	c #Conflicts:      34000 | #Constraints:       9200
104.41/104.86	c #Conflicts:      35000 | #Constraints:      10200
104.41/104.86	c #Conflicts:      36000 | #Constraints:      11200
104.41/104.86	c #Conflicts:      37000 | #Constraints:      12200
104.41/104.86	c INPROCESSING
104.41/104.86	c GARBAGE COLLECT
104.41/104.86	c #Conflicts:      38000 | #Constraints:       9192
104.41/104.86	c #Conflicts:      39000 | #Constraints:      10192
104.41/104.86	c #Conflicts:      40000 | #Constraints:      11192
104.41/104.86	c #Conflicts:      41000 | #Constraints:      12192
104.41/104.86	c INPROCESSING
104.41/104.86	c GARBAGE COLLECT
104.41/104.86	c #Conflicts:      42000 | #Constraints:       8984
104.41/104.86	c GLOBAL bounds - >= 0 @ 103.747
165.75/166.36	c #Conflicts:      43000 | #Constraints:       9986
165.75/166.36	c #Conflicts:      44000 | #Constraints:      10986
165.75/166.36	c #Conflicts:      45000 | #Constraints:      11986
165.75/166.36	c #Conflicts:      46000 | #Constraints:      12986
165.75/166.36	c INPROCESSING
165.75/166.36	c GARBAGE COLLECT
165.75/166.36	c #Conflicts:      47000 | #Constraints:       9594
165.75/166.36	c #Conflicts:      48000 | #Constraints:      10594
165.75/166.36	c #Conflicts:      49000 | #Constraints:      11594
165.75/166.36	c #Conflicts:      50000 | #Constraints:      12594
165.75/166.36	c #Conflicts:      51000 | #Constraints:      13594
165.75/166.36	c INPROCESSING
165.75/166.36	c GARBAGE COLLECT
165.75/166.36	c #Conflicts:      52000 | #Constraints:       9984
165.75/166.36	c #Conflicts:      53000 | #Constraints:      10984
165.75/166.36	c #Conflicts:      54000 | #Constraints:      11984
165.75/166.36	c #Conflicts:      55000 | #Constraints:      12984
165.75/166.36	c #Conflicts:      56000 | #Constraints:      13984
165.75/166.36	c INPROCESSING
165.75/166.36	c GARBAGE COLLECT
165.75/166.36	c #Conflicts:      57000 | #Constraints:      10172
165.75/166.36	c #Conflicts:      58000 | #Constraints:      11172
165.75/166.36	c #Conflicts:      59000 | #Constraints:      12172
165.75/166.36	c #Conflicts:      60000 | #Constraints:      13172
165.75/166.36	c #Conflicts:      61000 | #Constraints:      14172
165.75/166.36	c INPROCESSING
165.75/166.36	c GARBAGE COLLECT
165.75/166.36	c #Conflicts:      62000 | #Constraints:      10164
165.75/166.36	c #Conflicts:      63000 | #Constraints:      11164
165.75/166.36	c #Conflicts:      64000 | #Constraints:      12164
165.75/166.36	c #Conflicts:      65000 | #Constraints:      13164
165.75/166.36	c #Conflicts:      66000 | #Constraints:      14164
165.75/166.36	c INPROCESSING
165.75/166.36	c GARBAGE COLLECT
165.75/166.36	c #Conflicts:      67000 | #Constraints:       9967
165.75/166.36	c GLOBAL bounds - >= 0 @ 164.814
168.83/169.42	c #Conflicts:      68000 | #Constraints:      10969
168.83/169.42	c GLOBAL bounds - >= 0 @ 167.839
170.63/171.26	c #Conflicts:      69000 | #Constraints:      11971
170.63/171.26	c GLOBAL bounds - >= 0 @ 169.666
172.33/172.95	c GLOBAL bounds - >= 0 @ 171.345
173.92/174.57	c #Conflicts:      70000 | #Constraints:      12975
173.92/174.57	c GLOBAL bounds - >= 0 @ 172.946
175.02/175.61	c #Conflicts:      71000 | #Constraints:      13977
175.02/175.61	c GLOBAL bounds - >= 0 @ 173.97
177.91/178.52	c #Conflicts:      72000 | #Constraints:      14979
177.91/178.52	c INPROCESSING
177.91/178.52	c GARBAGE COLLECT
177.91/178.52	c GLOBAL bounds - >= 0 @ 176.849
185.09/185.72	c #Conflicts:      73000 | #Constraints:      10590
185.09/185.72	c #Conflicts:      74000 | #Constraints:      11590
185.09/185.72	c #Conflicts:      75000 | #Constraints:      12590
185.09/185.72	c GLOBAL bounds - >= 0 @ 183.996
196.56/197.28	c #Conflicts:      76000 | #Constraints:      13592
196.56/197.28	c #Conflicts:      77000 | #Constraints:      14592
196.56/197.28	c #Conflicts:      78000 | #Constraints:      15592
196.56/197.28	c INPROCESSING
196.56/197.28	c GARBAGE COLLECT
196.56/197.28	c #Conflicts:      79000 | #Constraints:      10992
196.56/197.28	c #Conflicts:      80000 | #Constraints:      11992
196.56/197.28	c GLOBAL bounds - >= 0 @ 195.458
202.74/203.50	c #Conflicts:      81000 | #Constraints:      12994
202.74/203.50	c #Conflicts:      82000 | #Constraints:      13994
202.74/203.50	c #Conflicts:      83000 | #Constraints:      14994
202.74/203.50	c GLOBAL bounds - >= 0 @ 201.643
204.45/205.14	c #Conflicts:      84000 | #Constraints:      15996
204.45/205.14	c INPROCESSING
204.45/205.14	c GARBAGE COLLECT
204.45/205.14	c GLOBAL bounds - >= 0 @ 203.269
205.03/205.72	c GLOBAL bounds - >= 0 @ 203.846
206.23/207.00	c #Conflicts:      85000 | #Constraints:      11208
206.23/207.00	c GLOBAL bounds - >= 0 @ 205.116
206.83/207.53	c GLOBAL bounds - >= 0 @ 205.64
207.13/207.87	c #Conflicts:      86000 | #Constraints:      12212
207.13/207.87	c GLOBAL bounds - >= 0 @ 205.98
207.52/208.23	c GLOBAL bounds - >= 0 @ 206.34
207.83/208.54	c GLOBAL bounds - >= 0 @ 206.64
208.44/209.14	c #Conflicts:      87000 | #Constraints:      13218
208.44/209.14	c GLOBAL bounds - >= 0 @ 207.246
216.20/216.97	c #Conflicts:      88000 | #Constraints:      14220
216.20/216.97	c #Conflicts:      89000 | #Constraints:      15220
216.20/216.97	c #Conflicts:      90000 | #Constraints:      16220
216.20/216.97	c INPROCESSING
216.20/216.97	c GARBAGE COLLECT
216.20/216.97	c GLOBAL bounds - >= 0 @ 215.016
243.34/244.17	c #Conflicts:      91000 | #Constraints:      11217
243.34/244.17	c #Conflicts:      92000 | #Constraints:      12217
243.34/244.17	c #Conflicts:      93000 | #Constraints:      13217
243.34/244.17	c #Conflicts:      94000 | #Constraints:      14217
243.34/244.17	c #Conflicts:      95000 | #Constraints:      15217
243.34/244.17	c #Conflicts:      96000 | #Constraints:      16217
243.34/244.17	c INPROCESSING
243.34/244.17	c GARBAGE COLLECT
243.34/244.17	c #Conflicts:      97000 | #Constraints:      11018
243.34/244.17	c #Conflicts:      98000 | #Constraints:      12018
243.34/244.17	c GLOBAL bounds - >= 0 @ 242.077
301.18/302.14	c #Conflicts:      99000 | #Constraints:      13020
301.18/302.14	c #Conflicts:     100000 | #Constraints:      14020
301.18/302.14	c #Conflicts:     101000 | #Constraints:      15020
301.18/302.14	c #Conflicts:     102000 | #Constraints:      16020
301.18/302.14	c #Conflicts:     103000 | #Constraints:      17020
301.18/302.14	c INPROCESSING
301.18/302.14	c GARBAGE COLLECT
301.18/302.14	c #Conflicts:     104000 | #Constraints:      11607
301.18/302.14	c #Conflicts:     105000 | #Constraints:      12607
301.18/302.14	c #Conflicts:     106000 | #Constraints:      13607
301.18/302.14	c #Conflicts:     107000 | #Constraints:      14607
301.18/302.14	c #Conflicts:     108000 | #Constraints:      15607
301.18/302.14	c #Conflicts:     109000 | #Constraints:      16607
301.18/302.14	c #Conflicts:     110000 | #Constraints:      17607
301.18/302.14	c INPROCESSING
301.18/302.14	c GARBAGE COLLECT
301.18/302.14	c #Conflicts:     111000 | #Constraints:      12014
301.18/302.14	c #Conflicts:     112000 | #Constraints:      13014
301.18/302.14	c GLOBAL bounds - >= 0 @ 299.695
354.62/355.73	c #Conflicts:     113000 | #Constraints:      14016
354.62/355.73	c #Conflicts:     114000 | #Constraints:      15016
354.62/355.73	c #Conflicts:     115000 | #Constraints:      16016
354.62/355.73	c #Conflicts:     116000 | #Constraints:      17016
354.62/355.73	c #Conflicts:     117000 | #Constraints:      18016
354.62/355.73	c INPROCESSING
354.62/355.73	c GARBAGE COLLECT
354.62/355.73	c #Conflicts:     118000 | #Constraints:      12207
354.62/355.73	c #Conflicts:     119000 | #Constraints:      13207
354.62/355.73	c #Conflicts:     120000 | #Constraints:      14207
354.62/355.73	c #Conflicts:     121000 | #Constraints:      15207
354.62/355.73	c #Conflicts:     122000 | #Constraints:      16207
354.62/355.73	c #Conflicts:     123000 | #Constraints:      17207
354.62/355.73	c #Conflicts:     124000 | #Constraints:      18207
354.62/355.73	c INPROCESSING
354.62/355.73	c GARBAGE COLLECT
354.62/355.73	c GLOBAL bounds - >= 0 @ 352.978
507.29/508.83	c #Conflicts:     125000 | #Constraints:      12206
507.29/508.83	c #Conflicts:     126000 | #Constraints:      13206
507.29/508.83	c #Conflicts:     127000 | #Constraints:      14206
507.29/508.83	c #Conflicts:     128000 | #Constraints:      15206
507.29/508.83	c #Conflicts:     129000 | #Constraints:      16206
507.29/508.83	c #Conflicts:     130000 | #Constraints:      17206
507.29/508.83	c #Conflicts:     131000 | #Constraints:      18206
507.29/508.83	c INPROCESSING
507.29/508.83	c GARBAGE COLLECT
507.29/508.83	c #Conflicts:     132000 | #Constraints:      12003
507.29/508.83	c #Conflicts:     133000 | #Constraints:      13003
507.29/508.83	c #Conflicts:     134000 | #Constraints:      14003
507.29/508.83	c #Conflicts:     135000 | #Constraints:      15003
507.29/508.83	c #Conflicts:     136000 | #Constraints:      16003
507.29/508.83	c #Conflicts:     137000 | #Constraints:      17003
507.29/508.83	c #Conflicts:     138000 | #Constraints:      18003
507.29/508.83	c #Conflicts:     139000 | #Constraints:      19003
507.29/508.83	c INPROCESSING
507.29/508.83	c GARBAGE COLLECT
507.29/508.83	c #Conflicts:     140000 | #Constraints:      12596
507.29/508.83	c #Conflicts:     141000 | #Constraints:      13596
507.29/508.83	c #Conflicts:     142000 | #Constraints:      14596
507.29/508.83	c #Conflicts:     143000 | #Constraints:      15596
507.29/508.83	c #Conflicts:     144000 | #Constraints:      16596
507.29/508.83	c #Conflicts:     145000 | #Constraints:      17596
507.29/508.83	c #Conflicts:     146000 | #Constraints:      18596
507.29/508.83	c #Conflicts:     147000 | #Constraints:      19596
507.29/508.83	c INPROCESSING
507.29/508.83	c GARBAGE COLLECT
507.29/508.83	c #Conflicts:     148000 | #Constraints:      13000
507.29/508.83	c #Conflicts:     149000 | #Constraints:      14000
507.29/508.83	c #Conflicts:     150000 | #Constraints:      15000
507.29/508.83	c #Conflicts:     151000 | #Constraints:      16000
507.29/508.83	c #Conflicts:     152000 | #Constraints:      17000
507.29/508.83	c #Conflicts:     153000 | #Constraints:      18000
507.29/508.83	c #Conflicts:     154000 | #Constraints:      19000
507.29/508.83	c GLOBAL bounds - >= 0 @ 505.285
867.78/870.36	c #Conflicts:     155000 | #Constraints:      20002
867.78/870.36	c INPROCESSING
867.78/870.36	c GARBAGE COLLECT
867.78/870.36	c #Conflicts:     156000 | #Constraints:      13199
867.78/870.36	c #Conflicts:     157000 | #Constraints:      14199
867.78/870.36	c #Conflicts:     158000 | #Constraints:      15199
867.78/870.36	c #Conflicts:     159000 | #Constraints:      16199
867.78/870.36	c #Conflicts:     160000 | #Constraints:      17199
867.78/870.36	c #Conflicts:     161000 | #Constraints:      18199
867.78/870.36	c #Conflicts:     162000 | #Constraints:      19199
867.78/870.36	c #Conflicts:     163000 | #Constraints:      20199
867.78/870.36	c INPROCESSING
867.78/870.36	c GARBAGE COLLECT
867.78/870.36	c #Conflicts:     164000 | #Constraints:      13208
867.78/870.36	c #Conflicts:     165000 | #Constraints:      14208
867.78/870.36	c #Conflicts:     166000 | #Constraints:      15208
867.78/870.36	c #Conflicts:     167000 | #Constraints:      16208
867.78/870.36	c #Conflicts:     168000 | #Constraints:      17208
867.78/870.36	c #Conflicts:     169000 | #Constraints:      18208
867.78/870.36	c #Conflicts:     170000 | #Constraints:      19208
867.78/870.36	c #Conflicts:     171000 | #Constraints:      20208
867.78/870.36	c INPROCESSING
867.78/870.36	c GARBAGE COLLECT
867.78/870.36	c #Conflicts:     172000 | #Constraints:      13008
867.78/870.36	c #Conflicts:     173000 | #Constraints:      14008
867.78/870.36	c #Conflicts:     174000 | #Constraints:      15008
867.78/870.36	c #Conflicts:     175000 | #Constraints:      16008
867.78/870.36	c #Conflicts:     176000 | #Constraints:      17008
867.78/870.36	c #Conflicts:     177000 | #Constraints:      18008
867.78/870.36	c #Conflicts:     178000 | #Constraints:      19008
867.78/870.36	c #Conflicts:     179000 | #Constraints:      20008
867.78/870.36	c #Conflicts:     180000 | #Constraints:      21008
867.78/870.36	c INPROCESSING
867.78/870.36	c GARBAGE COLLECT
867.78/870.36	c #Conflicts:     181000 | #Constraints:      13619
867.78/870.36	c #Conflicts:     182000 | #Constraints:      14619
867.78/870.36	c #Conflicts:     183000 | #Constraints:      15619
867.78/870.36	c #Conflicts:     184000 | #Constraints:      16619
867.78/870.36	c #Conflicts:     185000 | #Constraints:      17619
867.78/870.36	c #Conflicts:     186000 | #Constraints:      18619
867.78/870.36	c #Conflicts:     187000 | #Constraints:      19619
867.78/870.36	c #Conflicts:     188000 | #Constraints:      20619
867.78/870.36	c #Conflicts:     189000 | #Constraints:      21619
867.78/870.36	c INPROCESSING
867.78/870.36	c GARBAGE COLLECT
867.78/870.36	c #Conflicts:     190000 | #Constraints:      14023
867.78/870.36	c #Conflicts:     191000 | #Constraints:      15023
867.78/870.36	c #Conflicts:     192000 | #Constraints:      16023
867.78/870.36	c #Conflicts:     193000 | #Constraints:      17023
867.78/870.36	c #Conflicts:     194000 | #Constraints:      18023
867.78/870.36	c #Conflicts:     195000 | #Constraints:      19023
867.78/870.36	c #Conflicts:     196000 | #Constraints:      20023
867.78/870.36	c #Conflicts:     197000 | #Constraints:      21023
867.78/870.36	c #Conflicts:     198000 | #Constraints:      22023
867.78/870.36	c INPROCESSING
867.78/870.36	c GARBAGE COLLECT
867.78/870.36	c #Conflicts:     199000 | #Constraints:      14214
867.78/870.36	c #Conflicts:     200000 | #Constraints:      15214
867.78/870.36	c #Conflicts:     201000 | #Constraints:      16214
867.78/870.36	c #Conflicts:     202000 | #Constraints:      17214
867.78/870.36	c #Conflicts:     203000 | #Constraints:      18214
867.78/870.36	c #Conflicts:     204000 | #Constraints:      19214
867.78/870.36	c #Conflicts:     205000 | #Constraints:      20214
867.78/870.36	c #Conflicts:     206000 | #Constraints:      21214
867.78/870.36	c #Conflicts:     207000 | #Constraints:      22214
867.78/870.36	c INPROCESSING
867.78/870.36	c GARBAGE COLLECT
867.78/870.36	c #Conflicts:     208000 | #Constraints:      14209
867.78/870.36	c #Conflicts:     209000 | #Constraints:      15209
867.78/870.36	c #Conflicts:     210000 | #Constraints:      16209
867.78/870.36	c #Conflicts:     211000 | #Constraints:      17209
867.78/870.36	c #Conflicts:     212000 | #Constraints:      18209
867.78/870.36	c #Conflicts:     213000 | #Constraints:      19209
867.78/870.36	c #Conflicts:     214000 | #Constraints:      20209
867.78/870.36	c #Conflicts:     215000 | #Constraints:      21209
867.78/870.36	c #Conflicts:     216000 | #Constraints:      22209
867.78/870.36	c INPROCESSING
867.78/870.36	c GARBAGE COLLECT
867.78/870.36	c #Conflicts:     217000 | #Constraints:      14007
867.78/870.36	c #Conflicts:     218000 | #Constraints:      15007
867.78/870.36	c #Conflicts:     219000 | #Constraints:      16007
867.78/870.36	c #Conflicts:     220000 | #Constraints:      17007
867.78/870.36	c #Conflicts:     221000 | #Constraints:      18007
867.78/870.36	c #Conflicts:     222000 | #Constraints:      19007
867.78/870.36	c #Conflicts:     223000 | #Constraints:      20007
867.78/870.36	c #Conflicts:     224000 | #Constraints:      21007
867.78/870.36	c #Conflicts:     225000 | #Constraints:      22007
867.78/870.36	c #Conflicts:     226000 | #Constraints:      23007
867.78/870.36	c INPROCESSING
867.78/870.36	c GARBAGE COLLECT
867.78/870.36	c #Conflicts:     227000 | #Constraints:      14601
867.78/870.36	c #Conflicts:     228000 | #Constraints:      15601
1058.25/1061.39	c #Conflicts:     229000 | #Constraints:      16601
1058.25/1061.39	c #Conflicts:     230000 | #Constraints:      17601
1058.25/1061.39	c #Conflicts:     231000 | #Constraints:      18601
1058.25/1061.39	c #Conflicts:     232000 | #Constraints:      19601
1058.25/1061.39	c #Conflicts:     233000 | #Constraints:      20601
1058.25/1061.39	c #Conflicts:     234000 | #Constraints:      21601
1058.25/1061.39	c #Conflicts:     235000 | #Constraints:      22601
1058.25/1061.39	c #Conflicts:     236000 | #Constraints:      23601
1058.25/1061.39	c INPROCESSING
1058.25/1061.39	c GARBAGE COLLECT
1058.25/1061.39	c #Conflicts:     237000 | #Constraints:      14997
1058.25/1061.39	c #Conflicts:     238000 | #Constraints:      15997
1058.25/1061.39	c #Conflicts:     239000 | #Constraints:      16997
1058.25/1061.39	c #Conflicts:     240000 | #Constraints:      17997
1058.25/1061.39	c #Conflicts:     241000 | #Constraints:      18997
1058.25/1061.39	c #Conflicts:     242000 | #Constraints:      19997
1058.25/1061.39	c #Conflicts:     243000 | #Constraints:      20997
1058.25/1061.39	c #Conflicts:     244000 | #Constraints:      21997
1058.25/1061.39	c #Conflicts:     245000 | #Constraints:      22997
1058.25/1061.39	c #Conflicts:     246000 | #Constraints:      23997
1058.25/1061.39	c INPROCESSING
1058.25/1061.39	c GARBAGE COLLECT
1058.25/1061.39	c #Conflicts:     247000 | #Constraints:      15202
1058.25/1061.39	c #Conflicts:     248000 | #Constraints:      16202
1058.25/1061.39	c #Conflicts:     249000 | #Constraints:      17202
1058.25/1061.39	c #Conflicts:     250000 | #Constraints:      18202
1058.25/1061.39	c #Conflicts:     251000 | #Constraints:      19202
1058.25/1061.39	c #Conflicts:     252000 | #Constraints:      20202
1058.25/1061.39	c #Conflicts:     253000 | #Constraints:      21202
1058.25/1061.39	c #Conflicts:     254000 | #Constraints:      22202
1058.25/1061.39	c #Conflicts:     255000 | #Constraints:      23202
1058.25/1061.39	c #Conflicts:     256000 | #Constraints:      24202
1058.25/1061.39	c INPROCESSING
1058.25/1061.39	c GARBAGE COLLECT
1058.25/1061.39	c #Conflicts:     257000 | #Constraints:      15200
1058.25/1061.39	c #Conflicts:     258000 | #Constraints:      16200
1058.25/1061.39	c #Conflicts:     259000 | #Constraints:      17200
1058.25/1061.39	c #Conflicts:     260000 | #Constraints:      18200
1058.25/1061.39	c #Conflicts:     261000 | #Constraints:      19200
1058.25/1061.39	c #Conflicts:     262000 | #Constraints:      20200
1058.25/1061.39	c #Conflicts:     263000 | #Constraints:      21200
1058.25/1061.39	c #Conflicts:     264000 | #Constraints:      22200
1058.25/1061.39	c #Conflicts:     265000 | #Constraints:      23200
1058.25/1061.39	c #Conflicts:     266000 | #Constraints:      24200
1058.25/1061.39	c GLOBAL bounds - >= 0 @ 1054.98
1226.88/1230.46	c INPROCESSING
1226.88/1230.46	c GARBAGE COLLECT
1226.88/1230.46	c #Conflicts:     267000 | #Constraints:      14995
1226.88/1230.46	c #Conflicts:     268000 | #Constraints:      15995
1226.88/1230.46	c #Conflicts:     269000 | #Constraints:      16995
1226.88/1230.46	c #Conflicts:     270000 | #Constraints:      17995
1226.88/1230.46	c #Conflicts:     271000 | #Constraints:      18995
1226.88/1230.46	c #Conflicts:     272000 | #Constraints:      19995
1226.88/1230.46	c #Conflicts:     273000 | #Constraints:      20995
1226.88/1230.46	c #Conflicts:     274000 | #Constraints:      21995
1226.88/1230.46	c #Conflicts:     275000 | #Constraints:      22995
1226.88/1230.46	c #Conflicts:     276000 | #Constraints:      23995
1226.88/1230.46	c #Conflicts:     277000 | #Constraints:      24995
1226.88/1230.46	c INPROCESSING
1226.88/1230.46	c GARBAGE COLLECT
1226.88/1230.46	c #Conflicts:     278000 | #Constraints:      15602
1226.88/1230.46	c #Conflicts:     279000 | #Constraints:      16602
1226.88/1230.46	c #Conflicts:     280000 | #Constraints:      17602
1226.88/1230.46	c #Conflicts:     281000 | #Constraints:      18602
1226.88/1230.46	c #Conflicts:     282000 | #Constraints:      19602
1226.88/1230.46	c #Conflicts:     283000 | #Constraints:      20602
1226.88/1230.46	c #Conflicts:     284000 | #Constraints:      21602
1226.88/1230.46	c #Conflicts:     285000 | #Constraints:      22602
1226.88/1230.46	c #Conflicts:     286000 | #Constraints:      23602
1226.88/1230.46	c #Conflicts:     287000 | #Constraints:      24602
1226.88/1230.46	c #Conflicts:     288000 | #Constraints:      25602
1226.88/1230.46	c INPROCESSING
1226.88/1230.46	c GARBAGE COLLECT
1226.88/1230.46	c #Conflicts:     289000 | #Constraints:      15999
1226.88/1230.46	c #Conflicts:     290000 | #Constraints:      16999
1226.88/1230.46	c #Conflicts:     291000 | #Constraints:      17999
1226.88/1230.46	c #Conflicts:     292000 | #Constraints:      18999
1226.88/1230.46	c #Conflicts:     293000 | #Constraints:      19999
1226.88/1230.46	c #Conflicts:     294000 | #Constraints:      20999
1226.88/1230.46	c #Conflicts:     295000 | #Constraints:      21999
1226.88/1230.46	c #Conflicts:     296000 | #Constraints:      22999
1226.88/1230.46	c #Conflicts:     297000 | #Constraints:      23999
1226.88/1230.46	c #Conflicts:     298000 | #Constraints:      24999
1226.88/1230.46	c #Conflicts:     299000 | #Constraints:      25999
1226.88/1230.46	c INPROCESSING
1226.88/1230.46	c GARBAGE COLLECT
1226.88/1230.46	c #Conflicts:     300000 | #Constraints:      16199
1226.88/1230.46	c #Conflicts:     301000 | #Constraints:      17199
1226.88/1230.46	c #Conflicts:     302000 | #Constraints:      18199
1226.88/1230.46	c #Conflicts:     303000 | #Constraints:      19199
1226.88/1230.46	c GLOBAL bounds - >= 0 @ 1223.13
1236.46/1240.08	c #Conflicts:     304000 | #Constraints:      20201
1236.46/1240.08	c #Conflicts:     305000 | #Constraints:      21201
1236.46/1240.08	c #Conflicts:     306000 | #Constraints:      22201
1236.46/1240.08	c GLOBAL bounds - >= 0 @ 1232.68
1433.60/1437.76	c #Conflicts:     307000 | #Constraints:      23203
1433.60/1437.76	c #Conflicts:     308000 | #Constraints:      24203
1433.60/1437.76	c #Conflicts:     309000 | #Constraints:      25203
1433.60/1437.76	c #Conflicts:     310000 | #Constraints:      26203
1433.60/1437.76	c INPROCESSING
1433.60/1437.76	c GARBAGE COLLECT
1433.60/1437.76	c #Conflicts:     311000 | #Constraints:      16210
1433.60/1437.76	c #Conflicts:     312000 | #Constraints:      17210
1433.60/1437.76	c #Conflicts:     313000 | #Constraints:      18210
1433.60/1437.76	c #Conflicts:     314000 | #Constraints:      19210
1433.60/1437.76	c #Conflicts:     315000 | #Constraints:      20210
1433.60/1437.76	c #Conflicts:     316000 | #Constraints:      21210
1433.60/1437.76	c #Conflicts:     317000 | #Constraints:      22210
1433.60/1437.76	c #Conflicts:     318000 | #Constraints:      23210
1433.60/1437.76	c #Conflicts:     319000 | #Constraints:      24210
1433.60/1437.76	c #Conflicts:     320000 | #Constraints:      25210
1433.60/1437.76	c #Conflicts:     321000 | #Constraints:      26210
1433.60/1437.76	c INPROCESSING
1433.60/1437.76	c GARBAGE COLLECT
1433.60/1437.76	c #Conflicts:     322000 | #Constraints:      16008
1433.60/1437.76	c #Conflicts:     323000 | #Constraints:      17008
1433.60/1437.76	c #Conflicts:     324000 | #Constraints:      18008
1433.60/1437.76	c #Conflicts:     325000 | #Constraints:      19008
1433.60/1437.76	c #Conflicts:     326000 | #Constraints:      20008
1433.60/1437.76	c #Conflicts:     327000 | #Constraints:      21008
1433.60/1437.76	c #Conflicts:     328000 | #Constraints:      22008
1433.60/1437.76	c #Conflicts:     329000 | #Constraints:      23008
1433.60/1437.76	c #Conflicts:     330000 | #Constraints:      24008
1433.60/1437.76	c #Conflicts:     331000 | #Constraints:      25008
1433.60/1437.76	c #Conflicts:     332000 | #Constraints:      26008
1433.60/1437.76	c #Conflicts:     333000 | #Constraints:      27008
1433.60/1437.76	c INPROCESSING
1433.60/1437.76	c GARBAGE COLLECT
1433.60/1437.76	c #Conflicts:     334000 | #Constraints:      16607
1433.60/1437.76	c #Conflicts:     335000 | #Constraints:      17607
1433.60/1437.76	c #Conflicts:     336000 | #Constraints:      18607
1433.60/1437.76	c #Conflicts:     337000 | #Constraints:      19607
1433.60/1437.76	c #Conflicts:     338000 | #Constraints:      20607
1433.60/1437.76	c #Conflicts:     339000 | #Constraints:      21607
1433.60/1437.76	c #Conflicts:     340000 | #Constraints:      22607
1433.60/1437.76	c #Conflicts:     341000 | #Constraints:      23607
1433.60/1437.76	c #Conflicts:     342000 | #Constraints:      24607
1433.60/1437.76	c #Conflicts:     343000 | #Constraints:      25607
1433.60/1437.76	c GLOBAL bounds - >= 0 @ 1429.41
1564.15/1568.66	c #Conflicts:     344000 | #Constraints:      26609
1564.15/1568.66	c #Conflicts:     345000 | #Constraints:      27609
1564.15/1568.66	c INPROCESSING
1564.15/1568.66	c GARBAGE COLLECT
1564.15/1568.66	c #Conflicts:     346000 | #Constraints:      17031
1564.15/1568.66	c #Conflicts:     347000 | #Constraints:      18031
1564.15/1568.66	c #Conflicts:     348000 | #Constraints:      19031
1564.15/1568.66	c #Conflicts:     349000 | #Constraints:      20031
1564.15/1568.66	c #Conflicts:     350000 | #Constraints:      21031
1564.15/1568.66	c #Conflicts:     351000 | #Constraints:      22031
1564.15/1568.66	c #Conflicts:     352000 | #Constraints:      23031
1564.15/1568.66	c #Conflicts:     353000 | #Constraints:      24031
1564.15/1568.66	c #Conflicts:     354000 | #Constraints:      25031
1564.15/1568.66	c #Conflicts:     355000 | #Constraints:      26031
1564.15/1568.66	c #Conflicts:     356000 | #Constraints:      27031
1564.15/1568.66	c #Conflicts:     357000 | #Constraints:      28031
1564.15/1568.66	c INPROCESSING
1564.15/1568.66	c GARBAGE COLLECT
1564.15/1568.66	c #Conflicts:     358000 | #Constraints:      17223
1564.15/1568.66	c #Conflicts:     359000 | #Constraints:      18223
1564.15/1568.66	c #Conflicts:     360000 | #Constraints:      19223
1564.15/1568.66	c #Conflicts:     361000 | #Constraints:      20223
1564.15/1568.66	c #Conflicts:     362000 | #Constraints:      21223
1564.15/1568.66	c #Conflicts:     363000 | #Constraints:      22223
1564.15/1568.66	c #Conflicts:     364000 | #Constraints:      23223
1564.15/1568.66	c GLOBAL bounds - >= 0 @ 1559.7
1763.92/1769.00	c #Conflicts:     365000 | #Constraints:      24225
1763.92/1769.00	c #Conflicts:     366000 | #Constraints:      25225
1763.92/1769.00	c #Conflicts:     367000 | #Constraints:      26225
1763.92/1769.00	c #Conflicts:     368000 | #Constraints:      27225
1763.92/1769.00	c #Conflicts:     369000 | #Constraints:      28225
1763.92/1769.00	c INPROCESSING
1763.92/1769.00	c GARBAGE COLLECT
1763.92/1769.00	c #Conflicts:     370000 | #Constraints:      17242
1763.92/1769.00	c #Conflicts:     371000 | #Constraints:      18242
1763.92/1769.00	c #Conflicts:     372000 | #Constraints:      19242
1763.92/1769.00	c #Conflicts:     373000 | #Constraints:      20242
1763.92/1769.00	c #Conflicts:     374000 | #Constraints:      21242
1763.92/1769.00	c #Conflicts:     375000 | #Constraints:      22242
1763.92/1769.00	c #Conflicts:     376000 | #Constraints:      23242
1763.92/1769.00	c #Conflicts:     377000 | #Constraints:      24242
1763.92/1769.00	c #Conflicts:     378000 | #Constraints:      25242
1763.92/1769.00	c #Conflicts:     379000 | #Constraints:      26242
1763.92/1769.00	c #Conflicts:     380000 | #Constraints:      27242
1763.92/1769.00	c #Conflicts:     381000 | #Constraints:      28242
1763.92/1769.00	c INPROCESSING
1763.92/1769.00	c GARBAGE COLLECT
1763.92/1769.00	c #Conflicts:     382000 | #Constraints:      17022
1763.92/1769.00	c #Conflicts:     383000 | #Constraints:      18022
1763.92/1769.00	c #Conflicts:     384000 | #Constraints:      19022
1763.92/1769.00	c #Conflicts:     385000 | #Constraints:      20022
1763.92/1769.00	c #Conflicts:     386000 | #Constraints:      21022
1763.92/1769.00	c #Conflicts:     387000 | #Constraints:      22022
1763.92/1769.00	c #Conflicts:     388000 | #Constraints:      23022
1763.92/1769.00	c #Conflicts:     389000 | #Constraints:      24022
1763.92/1769.00	c #Conflicts:     390000 | #Constraints:      25022
1763.92/1769.00	c #Conflicts:     391000 | #Constraints:      26022
1763.92/1769.00	c #Conflicts:     392000 | #Constraints:      27022
1763.92/1769.00	c #Conflicts:     393000 | #Constraints:      28022
1763.92/1769.00	c #Conflicts:     394000 | #Constraints:      29022
1763.92/1769.00	c INPROCESSING
1763.92/1769.00	c GARBAGE COLLECT
1763.92/1769.00	c #Conflicts:     395000 | #Constraints:      17616
1763.92/1769.00	c #Conflicts:     396000 | #Constraints:      18616
1763.92/1769.00	c #Conflicts:     397000 | #Constraints:      19616
1763.92/1769.00	c #Conflicts:     398000 | #Constraints:      20616
1763.92/1769.00	c #Conflicts:     399000 | #Constraints:      21616
1763.92/1769.00	c #Conflicts:     400000 | #Constraints:      22616
1763.92/1769.00	c #Conflicts:     401000 | #Constraints:      23616
1763.92/1769.00	c #Conflicts:     402000 | #Constraints:      24616
1763.92/1769.00	c #Conflicts:     403000 | #Constraints:      25616
1763.92/1769.00	c #Conflicts:     404000 | #Constraints:      26616
1763.92/1769.00	c #Conflicts:     405000 | #Constraints:      27616
1763.92/1769.00	c #Conflicts:     406000 | #Constraints:      28616
1763.92/1769.00	c #Conflicts:     407000 | #Constraints:      29616
1763.92/1769.00	c INPROCESSING
1763.92/1769.00	c GARBAGE COLLECT
1763.92/1769.00	c GLOBAL bounds - >= 0 @ 1759.05
1766.40/1771.49	c #Conflicts:     408000 | #Constraints:      18013
1766.40/1771.49	c GLOBAL bounds - >= 0 @ 1761.51
1767.40/1772.41	c #Conflicts:     409000 | #Constraints:      19015
1767.40/1772.41	c GLOBAL bounds - >= 0 @ 1762.42
1906.12/1911.52	c #Conflicts:     410000 | #Constraints:      20017
1906.12/1911.52	c #Conflicts:     411000 | #Constraints:      21017
1906.12/1911.52	c #Conflicts:     412000 | #Constraints:      22017
1906.12/1911.52	c #Conflicts:     413000 | #Constraints:      23017
1906.12/1911.52	c #Conflicts:     414000 | #Constraints:      24017
1906.12/1911.52	c #Conflicts:     415000 | #Constraints:      25017
1906.12/1911.52	c #Conflicts:     416000 | #Constraints:      26017
1906.12/1911.52	c #Conflicts:     417000 | #Constraints:      27017
1906.12/1911.52	c #Conflicts:     418000 | #Constraints:      28017
1906.12/1911.52	c #Conflicts:     419000 | #Constraints:      29017
1906.12/1911.52	c #Conflicts:     420000 | #Constraints:      30017
1906.12/1911.52	c INPROCESSING
1906.12/1911.52	c GARBAGE COLLECT
1906.12/1911.52	c #Conflicts:     421000 | #Constraints:      18224
1906.12/1911.52	c #Conflicts:     422000 | #Constraints:      19224
1906.12/1911.52	c #Conflicts:     423000 | #Constraints:      20224
1906.12/1911.52	c #Conflicts:     424000 | #Constraints:      21224
1906.12/1911.52	c #Conflicts:     425000 | #Constraints:      22224
1906.12/1911.52	c #Conflicts:     426000 | #Constraints:      23224
1906.12/1911.52	c #Conflicts:     427000 | #Constraints:      24224
1906.12/1911.52	c #Conflicts:     428000 | #Constraints:      25224
1906.12/1911.52	c #Conflicts:     429000 | #Constraints:      26224
1906.12/1911.52	c #Conflicts:     430000 | #Constraints:      27224
1906.12/1911.52	c #Conflicts:     431000 | #Constraints:      28224
1906.12/1911.52	c #Conflicts:     432000 | #Constraints:      29224
1906.12/1911.52	c #Conflicts:     433000 | #Constraints:      30224
1906.12/1911.52	c INPROCESSING
1906.12/1911.52	c GARBAGE COLLECT
1906.12/1911.52	c #Conflicts:     434000 | #Constraints:      18241
1906.12/1911.52	c #Conflicts:     435000 | #Constraints:      19241
1906.12/1911.52	c #Conflicts:     436000 | #Constraints:      20241
1906.12/1911.52	c #Conflicts:     437000 | #Constraints:      21241
1906.12/1911.52	c #Conflicts:     438000 | #Constraints:      22241
1906.12/1911.52	c #Conflicts:     439000 | #Constraints:      23241
1906.12/1911.52	c #Conflicts:     440000 | #Constraints:      24241
1906.12/1911.52	c GLOBAL bounds - >= 0 @ 1900.84
2309.10/2315.61	c #Conflicts:     441000 | #Constraints:      25243
2309.10/2315.61	c #Conflicts:     442000 | #Constraints:      26243
2309.10/2315.61	c #Conflicts:     443000 | #Constraints:      27243
2309.10/2315.61	c #Conflicts:     444000 | #Constraints:      28243
2309.10/2315.61	c #Conflicts:     445000 | #Constraints:      29243
2309.10/2315.61	c #Conflicts:     446000 | #Constraints:      30243
2309.10/2315.61	c INPROCESSING
2309.10/2315.61	c GARBAGE COLLECT
2309.10/2315.61	c #Conflicts:     447000 | #Constraints:      18046
2309.10/2315.61	c #Conflicts:     448000 | #Constraints:      19046
2309.10/2315.61	c #Conflicts:     449000 | #Constraints:      20046
2309.10/2315.61	c #Conflicts:     450000 | #Constraints:      21046
2309.10/2315.61	c #Conflicts:     451000 | #Constraints:      22046
2309.10/2315.61	c #Conflicts:     452000 | #Constraints:      23046
2309.10/2315.61	c #Conflicts:     453000 | #Constraints:      24046
2309.10/2315.61	c #Conflicts:     454000 | #Constraints:      25046
2309.10/2315.61	c #Conflicts:     455000 | #Constraints:      26046
2309.10/2315.61	c #Conflicts:     456000 | #Constraints:      27046
2309.10/2315.61	c #Conflicts:     457000 | #Constraints:      28046
2309.10/2315.61	c #Conflicts:     458000 | #Constraints:      29046
2309.10/2315.61	c #Conflicts:     459000 | #Constraints:      30046
2309.10/2315.61	c #Conflicts:     460000 | #Constraints:      31046
2309.10/2315.61	c INPROCESSING
2309.10/2315.61	c GARBAGE COLLECT
2309.10/2315.61	c #Conflicts:     461000 | #Constraints:      18646
2309.10/2315.61	c #Conflicts:     462000 | #Constraints:      19646
2309.10/2315.61	c #Conflicts:     463000 | #Constraints:      20646
2309.10/2315.61	c #Conflicts:     464000 | #Constraints:      21646
2309.10/2315.61	c #Conflicts:     465000 | #Constraints:      22646
2309.10/2315.61	c #Conflicts:     466000 | #Constraints:      23646
2309.10/2315.61	c #Conflicts:     467000 | #Constraints:      24646
2309.10/2315.61	c #Conflicts:     468000 | #Constraints:      25646
2309.10/2315.61	c #Conflicts:     469000 | #Constraints:      26646
2309.10/2315.61	c #Conflicts:     470000 | #Constraints:      27646
2309.10/2315.61	c #Conflicts:     471000 | #Constraints:      28646
2309.10/2315.61	c #Conflicts:     472000 | #Constraints:      29646
2309.10/2315.61	c #Conflicts:     473000 | #Constraints:      30646
2309.10/2315.61	c #Conflicts:     474000 | #Constraints:      31646
2309.10/2315.61	c INPROCESSING
2309.10/2315.61	c GARBAGE COLLECT
2309.10/2315.61	c #Conflicts:     475000 | #Constraints:      19053
2309.10/2315.61	c #Conflicts:     476000 | #Constraints:      20053
2309.10/2315.61	c #Conflicts:     477000 | #Constraints:      21053
2309.10/2315.61	c #Conflicts:     478000 | #Constraints:      22053
2309.10/2315.61	c #Conflicts:     479000 | #Constraints:      23053
2309.10/2315.61	c #Conflicts:     480000 | #Constraints:      24053
2309.10/2315.61	c #Conflicts:     481000 | #Constraints:      25053
2309.10/2315.61	c #Conflicts:     482000 | #Constraints:      26053
2309.10/2315.61	c #Conflicts:     483000 | #Constraints:      27053
2309.10/2315.61	c #Conflicts:     484000 | #Constraints:      28053
2309.10/2315.61	c #Conflicts:     485000 | #Constraints:      29053
2309.10/2315.61	c #Conflicts:     486000 | #Constraints:      30053
2309.10/2315.61	c #Conflicts:     487000 | #Constraints:      31053
2309.10/2315.61	c #Conflicts:     488000 | #Constraints:      32053
2309.10/2315.61	c INPROCESSING
2309.10/2315.61	c GARBAGE COLLECT
2309.10/2315.61	c #Conflicts:     489000 | #Constraints:      19243
2309.10/2315.61	c #Conflicts:     490000 | #Constraints:      20243
2309.10/2315.61	c #Conflicts:     491000 | #Constraints:      21243
2309.10/2315.61	c #Conflicts:     492000 | #Constraints:      22243
2309.10/2315.61	c #Conflicts:     493000 | #Constraints:      23243
2309.10/2315.61	c #Conflicts:     494000 | #Constraints:      24243
2309.10/2315.61	c #Conflicts:     495000 | #Constraints:      25243
2309.10/2315.61	c #Conflicts:     496000 | #Constraints:      26243
2309.10/2315.61	c #Conflicts:     497000 | #Constraints:      27243
2309.10/2315.61	c #Conflicts:     498000 | #Constraints:      28243
2309.10/2315.61	c #Conflicts:     499000 | #Constraints:      29243
2309.10/2315.61	c #Conflicts:     500000 | #Constraints:      30243
2309.10/2315.61	c #Conflicts:     501000 | #Constraints:      31243
2309.10/2315.61	c #Conflicts:     502000 | #Constraints:      32243
2309.10/2315.61	c INPROCESSING
2309.10/2315.61	c GARBAGE COLLECT
2309.10/2315.61	c #Conflicts:     503000 | #Constraints:      19245
2309.10/2315.61	c #Conflicts:     504000 | #Constraints:      20245
2309.10/2315.61	c #Conflicts:     505000 | #Constraints:      21245
2309.10/2315.61	c #Conflicts:     506000 | #Constraints:      22245
2309.10/2315.61	c #Conflicts:     507000 | #Constraints:      23245
2309.10/2315.61	c #Conflicts:     508000 | #Constraints:      24245
2309.10/2315.61	c #Conflicts:     509000 | #Constraints:      25245
2309.10/2315.61	c #Conflicts:     510000 | #Constraints:      26245
2309.10/2315.61	c #Conflicts:     511000 | #Constraints:      27245
2309.10/2315.61	c #Conflicts:     512000 | #Constraints:      28245
2309.10/2315.61	c #Conflicts:     513000 | #Constraints:      29245
2309.10/2315.61	c #Conflicts:     514000 | #Constraints:      30245
2309.10/2315.61	c #Conflicts:     515000 | #Constraints:      31245
2309.10/2315.61	c #Conflicts:     516000 | #Constraints:      32245
2359.06/2365.74	c INPROCESSING
2359.06/2365.74	c GARBAGE COLLECT
2359.06/2365.74	c #Conflicts:     517000 | #Constraints:      19044
2359.06/2365.74	c #Conflicts:     518000 | #Constraints:      20044
2359.06/2365.74	c #Conflicts:     519000 | #Constraints:      21044
2359.06/2365.74	c #Conflicts:     520000 | #Constraints:      22044
2359.06/2365.74	c #Conflicts:     521000 | #Constraints:      23044
2359.06/2365.74	c #Conflicts:     522000 | #Constraints:      24044
2359.06/2365.74	c #Conflicts:     523000 | #Constraints:      25044
2359.06/2365.74	c #Conflicts:     524000 | #Constraints:      26044
2359.06/2365.74	c #Conflicts:     525000 | #Constraints:      27044
2359.06/2365.74	c #Conflicts:     526000 | #Constraints:      28044
2359.06/2365.74	c GLOBAL bounds - >= 0 @ 2353.16
2495.75/2502.80	c #Conflicts:     527000 | #Constraints:      29046
2495.75/2502.80	c #Conflicts:     528000 | #Constraints:      30046
2495.75/2502.80	c #Conflicts:     529000 | #Constraints:      31046
2495.75/2502.80	c #Conflicts:     530000 | #Constraints:      32046
2495.75/2502.80	c #Conflicts:     531000 | #Constraints:      33046
2495.75/2502.80	c INPROCESSING
2495.75/2502.80	c GARBAGE COLLECT
2495.75/2502.80	c #Conflicts:     532000 | #Constraints:      19642
2495.75/2502.80	c #Conflicts:     533000 | #Constraints:      20642
2495.75/2502.80	c #Conflicts:     534000 | #Constraints:      21642
2495.75/2502.80	c #Conflicts:     535000 | #Constraints:      22642
2495.75/2502.80	c #Conflicts:     536000 | #Constraints:      23642
2495.75/2502.80	c #Conflicts:     537000 | #Constraints:      24642
2495.75/2502.80	c #Conflicts:     538000 | #Constraints:      25642
2495.75/2502.80	c #Conflicts:     539000 | #Constraints:      26642
2495.75/2502.80	c #Conflicts:     540000 | #Constraints:      27642
2495.75/2502.80	c #Conflicts:     541000 | #Constraints:      28642
2495.75/2502.80	c #Conflicts:     542000 | #Constraints:      29642
2495.75/2502.80	c #Conflicts:     543000 | #Constraints:      30642
2495.75/2502.80	c #Conflicts:     544000 | #Constraints:      31642
2495.75/2502.80	c #Conflicts:     545000 | #Constraints:      32642
2495.75/2502.80	c #Conflicts:     546000 | #Constraints:      33642
2495.75/2502.80	c INPROCESSING
2495.75/2502.80	c GARBAGE COLLECT
2495.75/2502.80	c #Conflicts:     547000 | #Constraints:      20035
2495.75/2502.80	c #Conflicts:     548000 | #Constraints:      21035
2495.75/2502.80	c #Conflicts:     549000 | #Constraints:      22035
2495.75/2502.80	c #Conflicts:     550000 | #Constraints:      23035
2495.75/2502.80	c #Conflicts:     551000 | #Constraints:      24035
2495.75/2502.80	c GLOBAL bounds - >= 0 @ 2489.57
2543.70/2550.98	c #Conflicts:     552000 | #Constraints:      25037
2543.70/2550.98	c #Conflicts:     553000 | #Constraints:      26037
2543.70/2550.98	c #Conflicts:     554000 | #Constraints:      27037
2543.70/2550.98	c #Conflicts:     555000 | #Constraints:      28037
2543.70/2550.98	c #Conflicts:     556000 | #Constraints:      29037
2543.70/2550.98	c #Conflicts:     557000 | #Constraints:      30037
2543.70/2550.98	c #Conflicts:     558000 | #Constraints:      31037
2543.70/2550.98	c #Conflicts:     559000 | #Constraints:      32037
2543.70/2550.98	c #Conflicts:     560000 | #Constraints:      33037
2543.70/2550.98	c #Conflicts:     561000 | #Constraints:      34037
2543.70/2550.98	c INPROCESSING
2543.70/2550.98	c GARBAGE COLLECT
2543.70/2550.98	c GLOBAL bounds - >= 0 @ 2537.53
3005.44/3014.10	c #Conflicts:     562000 | #Constraints:      20240
3005.44/3014.10	c #Conflicts:     563000 | #Constraints:      21240
3005.44/3014.10	c #Conflicts:     564000 | #Constraints:      22240
3005.44/3014.10	c #Conflicts:     565000 | #Constraints:      23240
3005.44/3014.10	c #Conflicts:     566000 | #Constraints:      24240
3005.44/3014.10	c #Conflicts:     567000 | #Constraints:      25240
3005.44/3014.10	c #Conflicts:     568000 | #Constraints:      26240
3005.44/3014.10	c #Conflicts:     569000 | #Constraints:      27240
3005.44/3014.10	c #Conflicts:     570000 | #Constraints:      28240
3005.44/3014.10	c #Conflicts:     571000 | #Constraints:      29240
3005.44/3014.10	c #Conflicts:     572000 | #Constraints:      30240
3005.44/3014.10	c #Conflicts:     573000 | #Constraints:      31240
3005.44/3014.10	c #Conflicts:     574000 | #Constraints:      32240
3005.44/3014.10	c #Conflicts:     575000 | #Constraints:      33240
3005.44/3014.10	c #Conflicts:     576000 | #Constraints:      34240
3005.44/3014.10	c INPROCESSING
3005.44/3014.10	c GARBAGE COLLECT
3005.44/3014.10	c #Conflicts:     577000 | #Constraints:      20232
3005.44/3014.10	c #Conflicts:     578000 | #Constraints:      21232
3005.44/3014.10	c #Conflicts:     579000 | #Constraints:      22232
3005.44/3014.10	c #Conflicts:     580000 | #Constraints:      23232
3005.44/3014.10	c #Conflicts:     581000 | #Constraints:      24232
3005.44/3014.10	c #Conflicts:     582000 | #Constraints:      25232
3005.44/3014.10	c #Conflicts:     583000 | #Constraints:      26232
3005.44/3014.10	c #Conflicts:     584000 | #Constraints:      27232
3005.44/3014.10	c #Conflicts:     585000 | #Constraints:      28232
3005.44/3014.10	c #Conflicts:     586000 | #Constraints:      29232
3005.44/3014.10	c #Conflicts:     587000 | #Constraints:      30232
3005.44/3014.10	c #Conflicts:     588000 | #Constraints:      31232
3005.44/3014.10	c #Conflicts:     589000 | #Constraints:      32232
3005.44/3014.10	c #Conflicts:     590000 | #Constraints:      33232
3005.44/3014.10	c #Conflicts:     591000 | #Constraints:      34232
3005.44/3014.10	c INPROCESSING
3005.44/3014.10	c GARBAGE COLLECT
3005.44/3014.10	c #Conflicts:     592000 | #Constraints:      20031
3005.44/3014.10	c #Conflicts:     593000 | #Constraints:      21031
3005.44/3014.10	c #Conflicts:     594000 | #Constraints:      22031
3005.44/3014.10	c #Conflicts:     595000 | #Constraints:      23031
3005.44/3014.10	c #Conflicts:     596000 | #Constraints:      24031
3005.44/3014.10	c #Conflicts:     597000 | #Constraints:      25031
3005.44/3014.10	c #Conflicts:     598000 | #Constraints:      26031
3005.44/3014.10	c #Conflicts:     599000 | #Constraints:      27031
3005.44/3014.10	c #Conflicts:     600000 | #Constraints:      28031
3005.44/3014.10	c #Conflicts:     601000 | #Constraints:      29031
3005.44/3014.10	c #Conflicts:     602000 | #Constraints:      30031
3005.44/3014.10	c #Conflicts:     603000 | #Constraints:      31031
3005.44/3014.10	c #Conflicts:     604000 | #Constraints:      32031
3005.44/3014.10	c #Conflicts:     605000 | #Constraints:      33031
3005.44/3014.10	c #Conflicts:     606000 | #Constraints:      34031
3005.44/3014.10	c #Conflicts:     607000 | #Constraints:      35031
3005.44/3014.10	c INPROCESSING
3005.44/3014.10	c GARBAGE COLLECT
3005.44/3014.10	c #Conflicts:     608000 | #Constraints:      20633
3005.44/3014.10	c #Conflicts:     609000 | #Constraints:      21633
3005.44/3014.10	c #Conflicts:     610000 | #Constraints:      22633
3005.44/3014.10	c #Conflicts:     611000 | #Constraints:      23633
3005.44/3014.10	c #Conflicts:     612000 | #Constraints:      24633
3005.44/3014.10	c #Conflicts:     613000 | #Constraints:      25633
3005.44/3014.10	c #Conflicts:     614000 | #Constraints:      26633
3005.44/3014.10	c #Conflicts:     615000 | #Constraints:      27633
3005.44/3014.10	c #Conflicts:     616000 | #Constraints:      28633
3005.44/3014.10	c #Conflicts:     617000 | #Constraints:      29633
3005.44/3014.10	c #Conflicts:     618000 | #Constraints:      30633
3005.44/3014.10	c #Conflicts:     619000 | #Constraints:      31633
3005.44/3014.10	c #Conflicts:     620000 | #Constraints:      32633
3005.44/3014.10	c #Conflicts:     621000 | #Constraints:      33633
3005.44/3014.10	c #Conflicts:     622000 | #Constraints:      34633
3005.44/3014.10	c #Conflicts:     623000 | #Constraints:      35633
3005.44/3014.10	c INPROCESSING
3005.44/3014.10	c GARBAGE COLLECT
3005.44/3014.10	c #Conflicts:     624000 | #Constraints:      21026
3005.44/3014.10	c #Conflicts:     625000 | #Constraints:      22026
3005.44/3014.10	c #Conflicts:     626000 | #Constraints:      23026
3005.44/3014.10	c #Conflicts:     627000 | #Constraints:      24026
3005.44/3014.10	c #Conflicts:     628000 | #Constraints:      25026
3005.44/3014.10	c #Conflicts:     629000 | #Constraints:      26026
3005.44/3014.10	c #Conflicts:     630000 | #Constraints:      27026
3005.44/3014.10	c #Conflicts:     631000 | #Constraints:      28026
3005.44/3014.10	c #Conflicts:     632000 | #Constraints:      29026
3005.44/3014.10	c #Conflicts:     633000 | #Constraints:      30026
3005.44/3014.10	c #Conflicts:     634000 | #Constraints:      31026
3005.44/3014.10	c #Conflicts:     635000 | #Constraints:      32026
3005.44/3014.10	c #Conflicts:     636000 | #Constraints:      33026
3005.44/3014.10	c #Conflicts:     637000 | #Constraints:      34026
3005.44/3014.10	c #Conflicts:     638000 | #Constraints:      35026
3473.33/3483.32	c #Conflicts:     639000 | #Constraints:      36026
3473.33/3483.32	c INPROCESSING
3473.33/3483.32	c GARBAGE COLLECT
3473.33/3483.32	c #Conflicts:     640000 | #Constraints:      21222
3473.33/3483.32	c #Conflicts:     641000 | #Constraints:      22222
3473.33/3483.32	c #Conflicts:     642000 | #Constraints:      23222
3473.33/3483.32	c #Conflicts:     643000 | #Constraints:      24222
3473.33/3483.32	c #Conflicts:     644000 | #Constraints:      25222
3473.33/3483.32	c #Conflicts:     645000 | #Constraints:      26222
3473.33/3483.32	c #Conflicts:     646000 | #Constraints:      27222
3473.33/3483.32	c #Conflicts:     647000 | #Constraints:      28222
3473.33/3483.32	c #Conflicts:     648000 | #Constraints:      29222
3473.33/3483.32	c #Conflicts:     649000 | #Constraints:      30222
3473.33/3483.32	c #Conflicts:     650000 | #Constraints:      31222
3473.33/3483.32	c #Conflicts:     651000 | #Constraints:      32222
3473.33/3483.32	c #Conflicts:     652000 | #Constraints:      33222
3473.33/3483.32	c #Conflicts:     653000 | #Constraints:      34222
3473.33/3483.32	c #Conflicts:     654000 | #Constraints:      35222
3473.33/3483.32	c #Conflicts:     655000 | #Constraints:      36222
3473.33/3483.32	c INPROCESSING
3473.33/3483.32	c GARBAGE COLLECT
3473.33/3483.32	c #Conflicts:     656000 | #Constraints:      21231
3473.33/3483.32	c #Conflicts:     657000 | #Constraints:      22231
3473.33/3483.32	c #Conflicts:     658000 | #Constraints:      23231
3473.33/3483.32	c #Conflicts:     659000 | #Constraints:      24231
3473.33/3483.32	c #Conflicts:     660000 | #Constraints:      25231
3473.33/3483.32	c #Conflicts:     661000 | #Constraints:      26231
3473.33/3483.32	c #Conflicts:     662000 | #Constraints:      27231
3473.33/3483.32	c #Conflicts:     663000 | #Constraints:      28231
3473.33/3483.32	c #Conflicts:     664000 | #Constraints:      29231
3473.33/3483.32	c #Conflicts:     665000 | #Constraints:      30231
3473.33/3483.32	c #Conflicts:     666000 | #Constraints:      31231
3473.33/3483.32	c #Conflicts:     667000 | #Constraints:      32231
3473.33/3483.32	c #Conflicts:     668000 | #Constraints:      33231
3473.33/3483.32	c #Conflicts:     669000 | #Constraints:      34231
3473.33/3483.32	c #Conflicts:     670000 | #Constraints:      35231
3473.33/3483.32	c #Conflicts:     671000 | #Constraints:      36231
3473.33/3483.32	c INPROCESSING
3473.33/3483.32	c GARBAGE COLLECT
3473.33/3483.32	c #Conflicts:     672000 | #Constraints:      21021
3473.33/3483.32	c #Conflicts:     673000 | #Constraints:      22021
3473.33/3483.32	c #Conflicts:     674000 | #Constraints:      23021
3473.33/3483.32	c #Conflicts:     675000 | #Constraints:      24021
3473.33/3483.32	c #Conflicts:     676000 | #Constraints:      25021
3473.33/3483.32	c #Conflicts:     677000 | #Constraints:      26021
3473.33/3483.32	c #Conflicts:     678000 | #Constraints:      27021
3473.33/3483.32	c #Conflicts:     679000 | #Constraints:      28021
3473.33/3483.32	c #Conflicts:     680000 | #Constraints:      29021
3473.33/3483.32	c #Conflicts:     681000 | #Constraints:      30021
3473.33/3483.32	c #Conflicts:     682000 | #Constraints:      31021
3473.33/3483.32	c #Conflicts:     683000 | #Constraints:      32021
3473.33/3483.32	c #Conflicts:     684000 | #Constraints:      33021
3473.33/3483.32	c #Conflicts:     685000 | #Constraints:      34021
3473.33/3483.32	c #Conflicts:     686000 | #Constraints:      35021
3473.33/3483.32	c #Conflicts:     687000 | #Constraints:      36021
3473.33/3483.32	c #Conflicts:     688000 | #Constraints:      37021
3473.33/3483.32	c INPROCESSING
3473.33/3483.32	c GARBAGE COLLECT
3473.33/3483.32	c #Conflicts:     689000 | #Constraints:      21621
3473.33/3483.32	c #Conflicts:     690000 | #Constraints:      22621
3473.33/3483.32	c #Conflicts:     691000 | #Constraints:      23621
3473.33/3483.32	c #Conflicts:     692000 | #Constraints:      24621
3473.33/3483.32	c #Conflicts:     693000 | #Constraints:      25621
3473.33/3483.32	c #Conflicts:     694000 | #Constraints:      26621
3473.33/3483.32	c #Conflicts:     695000 | #Constraints:      27621
3473.33/3483.32	c #Conflicts:     696000 | #Constraints:      28621
3473.33/3483.32	c #Conflicts:     697000 | #Constraints:      29621
3473.33/3483.32	c #Conflicts:     698000 | #Constraints:      30621
3473.33/3483.32	c #Conflicts:     699000 | #Constraints:      31621
3473.33/3483.32	c #Conflicts:     700000 | #Constraints:      32621
3473.33/3483.32	c #Conflicts:     701000 | #Constraints:      33621
3473.33/3483.32	c #Conflicts:     702000 | #Constraints:      34621
3473.33/3483.32	c #Conflicts:     703000 | #Constraints:      35621
3473.33/3483.32	c #Conflicts:     704000 | #Constraints:      36621
3473.33/3483.32	c #Conflicts:     705000 | #Constraints:      37621
3473.33/3483.32	c INPROCESSING
3473.33/3483.32	c GARBAGE COLLECT
3473.33/3483.32	c #Conflicts:     706000 | #Constraints:      22030
3473.33/3483.32	c #Conflicts:     707000 | #Constraints:      23030
3473.33/3483.32	c #Conflicts:     708000 | #Constraints:      24030
3473.33/3483.32	c #Conflicts:     709000 | #Constraints:      25030
3473.33/3483.32	c #Conflicts:     710000 | #Constraints:      26030
3473.33/3483.32	c #Conflicts:     711000 | #Constraints:      27030
3473.33/3483.32	c #Conflicts:     712000 | #Constraints:      28030
3473.33/3483.32	c #Conflicts:     713000 | #Constraints:      29030
3513.12/3523.21	c #Conflicts:     714000 | #Constraints:      30030
3513.12/3523.21	c #Conflicts:     715000 | #Constraints:      31030
3513.12/3523.21	c #Conflicts:     716000 | #Constraints:      32030
3513.12/3523.21	c #Conflicts:     717000 | #Constraints:      33030
3513.12/3523.21	c #Conflicts:     718000 | #Constraints:      34030
3513.12/3523.21	c #Conflicts:     719000 | #Constraints:      35030
3513.12/3523.21	c #Conflicts:     720000 | #Constraints:      36030
3513.12/3523.21	c GLOBAL bounds - >= 0 @ 3505.54
3585.00/3595.35	c #Conflicts:     721000 | #Constraints:      37032
3585.00/3595.35	c #Conflicts:     722000 | #Constraints:      38032
3585.00/3595.35	c INPROCESSING
3585.00/3595.35	c GARBAGE COLLECT
3585.00/3595.35	c #Conflicts:     723000 | #Constraints:      22253
3585.00/3595.35	c #Conflicts:     724000 | #Constraints:      23253
3585.00/3595.35	c #Conflicts:     725000 | #Constraints:      24253
3585.00/3595.35	c #Conflicts:     726000 | #Constraints:      25253
3585.00/3595.35	c #Conflicts:     727000 | #Constraints:      26253
3585.00/3595.35	c #Conflicts:     728000 | #Constraints:      27253
3585.00/3595.35	c #Conflicts:     729000 | #Constraints:      28253
3585.00/3595.35	c #Conflicts:     730000 | #Constraints:      29253
3585.00/3595.35	c #Conflicts:     731000 | #Constraints:      30253
3585.00/3595.35	c #Conflicts:     732000 | #Constraints:      31253
3585.00/3595.35	c #Conflicts:     733000 | #Constraints:      32253
3585.00/3595.35	c #Conflicts:     734000 | #Constraints:      33253
3585.00/3595.35	c #Conflicts:     735000 | #Constraints:      34253
3585.00/3595.35	c #Conflicts:     736000 | #Constraints:      35253
3585.00/3595.35	c #Conflicts:     737000 | #Constraints:      36253
3585.00/3595.35	c #Conflicts:     738000 | #Constraints:      37253
3585.00/3595.35	c #Conflicts:     739000 | #Constraints:      38253
3585.00/3595.35	c INPROCESSING
3585.00/3595.35	c GARBAGE COLLECT
3585.00/3595.35	c #Conflicts:     740000 | #Constraints:      22257
3585.00/3595.35	c #Conflicts:     741000 | #Constraints:      23257
3585.00/3595.35	c #Conflicts:     742000 | #Constraints:      24257
3585.00/3595.35	c GLOBAL bounds - >= 0 @ 3577.33
3600.05/3610.40	c #Conflicts:     743000 | #Constraints:      25259
3600.05/3610.40	c #Conflicts:     744000 | #Constraints:      26259
3600.05/3610.40	c #Conflicts:     745000 | #Constraints:      27259
3600.05/3610.40	c #Conflicts:     746000 | #Constraints:      28259
3600.05/3610.40	c #Conflicts:     747000 | #Constraints:      29259
3600.05/3610.40	c #Conflicts:     748000 | #Constraints:      30259
3600.05/3610.40	c cpu time 3592.3 s
3600.05/3610.40	c deterministic time 1 1.00e+00
3600.05/3610.40	c optimization time 3592.27 s
3600.05/3610.40	c total solve time 0 s
3600.05/3610.40	c core-guided solve time 0 s
3600.05/3610.40	c propagation time 0.003709 s
3600.05/3610.40	c conflict analysis time 0 s
3600.05/3610.40	c propagations 0
3600.05/3610.40	c resolve steps 0
3600.05/3610.40	c decisions 0
3600.05/3610.40	c conflicts 0
3600.05/3610.40	c restarts 0
3600.05/3610.40	c inprocessing phases 0
3600.05/3610.40	c garbage collections 0 ,( -nan )
3600.05/3610.40	c input clauses 4000 ,( 100.00 )
3600.05/3610.40	c input cardinalities 0 ,( 0.00 )
3600.05/3610.40	c input general constraints 0 ,( 0.00 )
3600.05/3610.40	c input average constraint length 2.00
3600.05/3610.40	c input average constraint degree 1.00
3600.05/3610.40	c learned clauses 0 ,( 0.00 )
3600.05/3610.40	c learned cardinalities 0 ,( 0.00 )
3600.05/3610.40	c learned general constraints 0 ,( 0.00 )
3600.05/3610.40	c learned average constraint length 0.00
3600.05/3610.40	c learned average constraint degree 0.00
3600.05/3610.40	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.05/3610.40	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.05/3610.40	c watched   constraints 0 ,( -nan ) 
3600.05/3610.40	c counting  constraints 0 ,( -nan ) 
3600.05/3610.40	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.05/3610.40	c gcd simplifications 0
3600.05/3610.40	c detected cardinalities 0
3600.05/3610.40	c weakened non-implied lits 0
3600.05/3610.40	c weakened non-implying lits 0
3600.05/3610.40	c original variables 1960
3600.05/3610.40	c clausal propagations 0
3600.05/3610.40	c cardinality propagations 0
3600.05/3610.40	c watched propagations 0
3600.05/3610.40	c counting propagations 0
3600.05/3610.40	c watch lookups 0
3600.05/3610.40	c watch backjump lookups 0
3600.05/3610.40	c watch checks 0
3600.05/3610.40	c propagation checks 0
3600.05/3610.40	c constraint additions 0
3600.05/3610.40	c trail pops 0
3600.05/3610.40	c formula constraints 4000
3600.05/3610.40	c learned constraints 0
3600.05/3610.40	c bound constraints 0
3600.05/3610.40	c core-guided constraints 0
3600.05/3610.40	c encountered formula constraints 0
3600.05/3610.40	c encountered learned constraints 0
3600.05/3610.40	c encountered bound constraints 0
3600.05/3610.40	c encountered core-guided constraints 0
3600.05/3610.40	c LP total time 0 s
3600.05/3610.40	c LP solve time 0 s
3600.05/3610.40	c LP constraints added 0
3600.05/3610.40	c LP constraints removed 0
3600.05/3610.40	c LP pivots internal 0
3600.05/3610.40	c LP pivots root 0
3600.05/3610.40	c LP calls 0
3600.05/3610.40	c LP optimalities 0
3600.05/3610.40	c LP no pivot count 0
3600.05/3610.40	c LP infeasibilities 0
3600.05/3610.40	c LP valid Farkas constraints 0
3600.05/3610.40	c LP learned Farkas constraints 0
3600.05/3610.40	c LP basis resets 0
3600.05/3610.40	c LP cycling count 0
3600.05/3610.40	c LP singular count 0
3600.05/3610.40	c LP no primal count 0
3600.05/3610.40	c LP no farkas count 0
3600.05/3610.40	c LP other issue count 0
3600.05/3610.40	c LP Gomory cuts 0
3600.05/3610.40	c LP learned cuts 0
3600.05/3610.40	c LP deleted cuts 0
3600.05/3610.40	c LP encountered Gomory constraints 0
3600.05/3610.40	c LP encountered Farkas constraints 0
3600.05/3610.40	c LP encountered learned Farkas constraints 0
3600.05/3610.40	c CG auxiliary variables introduced 0
3600.05/3610.40	c CG solutions found 0
3600.05/3610.40	c CG cores constructed 0
3600.05/3610.40	c CG core cardinality constraints returned 0
3600.05/3610.40	c CG unit cores 0
3600.05/3610.40	c CG single cores 0
3600.05/3610.40	c CG blocks removed during cardinality reduction 0
3600.05/3610.40	c CG first core best 0
3600.05/3610.40	c CG decision core best 0
3600.05/3610.40	c CG core reduction tie 0
3600.05/3610.40	c CG core degree average 0.00
3600.05/3610.40	c CG core slack average 0.00
3600.05/3610.40	c CG core upper bound improvements 0
3600.05/3610.40	c STR number of successful calls 0
3600.05/3610.40	c STR number of unsuccessful calls 0
3600.05/3610.40	c STR number of inconclusive calls 0
3600.05/3610.40	c STR number of successful attempts 0
3600.05/3610.40	c STR number of unsuccessful attempts 0
3600.05/3610.40	c STR number of inconclusive attempts 0
3600.05/3610.40	c STR average degree increase per successful call inf
3600.05/3610.40	c STR average degree increase per successful attempt inf
3600.05/3610.40	c STR total number of conflicts for successful attempts 0
3600.05/3610.40	c STR total number of conflicts for unsuccessful attempts 0
3600.05/3610.40	c STR total number of conflicts for inconclusive attempts 0
3600.05/3610.40	c STR average number of conflicts per successful attempt inf
3600.05/3610.40	c STR average number of conflicts per unsuccessful attempt inf
3600.05/3610.40	c STR average number of conflicts per inconclusive attempt inf
3600.05/3610.40	c AVG.sumWPerc -nan 
3600.05/3610.40	c bigint constraints 0 
3600.05/3610.40	s UNKNOWN
3600.05/3610.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: 63794 MiB (62768 MiB free)
  memory of node 1: 64507 MiB (62233 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.10007 s]*
/proc/loadavg: 4.18 4.12 4.10 5/254 45565
/proc/meminfo: memFree=128001432/131382112 swapFree=33010684/33010684
[pid=45563] ppid=45560 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/45563/stat : 45563 (run-opt.sh) S 45560 45563 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49281563 4292608 768 18446744073709551615 94829082062848 94829082957381 140734010484384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94829083196432 94829083244176 94829099241472 140734010489197 140734010489320 140734010489320 140734010494922 0
/proc/45563/statm: 1048 768 704 219 0 110 0
[pid=45565] ppid=45563 vsize=64808 memory=14948 CPUtime=0.05 cores=4,6
/proc/45565/stat : 45565 (roundingsat) R 45563 45563 43184 0 -1 4194304 2249 0 0 0 4 1 0 0 20 0 1 0 49281565 66363392 3737 18446744073709551615 4227072 8923433 140733625972528 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 17674240 140733625981346 140733625981480 140733625981480 140733625987050 0
/proc/45565/statm: 16202 3737 2272 1147 0 3629 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 69000 KiB
Current children cumulated memory: 18020 KiB

[startup+0.21658 s]*
/proc/loadavg: 4.18 4.12 4.10 5/254 45565
/proc/meminfo: memFree=128001656/131382112 swapFree=33010684/33010684
[pid=45563] ppid=45560 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/45563/stat : 45563 (run-opt.sh) S 45560 45563 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49281563 4292608 768 18446744073709551615 94829082062848 94829082957381 140734010484384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94829083196432 94829083244176 94829099241472 140734010489197 140734010489320 140734010489320 140734010494922 0
/proc/45563/statm: 1048 768 704 219 0 110 0
[pid=45565] ppid=45563 vsize=66000 memory=17380 CPUtime=0.15 cores=4,6
/proc/45565/stat : 45565 (roundingsat) R 45563 45563 43184 0 -1 4194304 2802 0 0 0 12 3 0 0 20 0 1 0 49281565 67584000 4345 18446744073709551615 4227072 8923433 140733625972528 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 17674240 140733625981346 140733625981480 140733625981480 140733625987050 0
/proc/45565/statm: 16500 4345 2336 1147 0 3927 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 70192 KiB
Current children cumulated memory: 20452 KiB

[startup+0.317506 s]*
/proc/loadavg: 4.18 4.12 4.10 5/254 45565
/proc/meminfo: memFree=128001656/131382112 swapFree=33010684/33010684
[pid=45563] ppid=45560 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/45563/stat : 45563 (run-opt.sh) S 45560 45563 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49281563 4292608 768 18446744073709551615 94829082062848 94829082957381 140734010484384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94829083196432 94829083244176 94829099241472 140734010489197 140734010489320 140734010489320 140734010494922 0
/proc/45563/statm: 1048 768 704 219 0 110 0
[pid=45565] ppid=45563 vsize=68268 memory=22164 CPUtime=0.24 cores=4,6
/proc/45565/stat : 45565 (roundingsat) R 45563 45563 43184 0 -1 4194304 3496 0 0 0 21 3 0 0 20 0 1 0 49281565 69906432 5541 18446744073709551615 4227072 8923433 140733625972528 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 17674240 140733625981346 140733625981480 140733625981480 140733625987050 0
/proc/45565/statm: 17067 5541 2336 1147 0 4494 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 72460 KiB
Current children cumulated memory: 25236 KiB

[startup+0.7004 s]
/proc/loadavg: 4.18 4.12 4.10 5/254 45565
/proc/meminfo: memFree=128001656/131382112 swapFree=33010684/33010684
[pid=45563] ppid=45560 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/45563/stat : 45563 (run-opt.sh) S 45560 45563 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49281563 4292608 768 18446744073709551615 94829082062848 94829082957381 140734010484384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94829083196432 94829083244176 94829099241472 140734010489197 140734010489320 140734010489320 140734010494922 0
/proc/45563/statm: 1048 768 704 219 0 110 0
[pid=45565] ppid=45563 vsize=81472 memory=35848 CPUtime=0.6 cores=4,6
/proc/45565/stat : 45565 (roundingsat) R 45563 45563 43184 0 -1 4194304 6370 0 0 0 55 5 0 0 20 0 1 0 49281565 83427328 8962 18446744073709551615 4227072 8923433 140733625972528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17674240 140733625981346 140733625981480 140733625981480 140733625987050 0
/proc/45565/statm: 20368 8962 2368 1147 0 7795 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 85664 KiB
Current children cumulated memory: 38920 KiB

[startup+1.50041 s]
/proc/loadavg: 4.18 4.12 4.10 5/254 45565
/proc/meminfo: memFree=127968580/131382112 swapFree=33010684/33010684
[pid=45563] ppid=45560 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/45563/stat : 45563 (run-opt.sh) S 45560 45563 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49281563 4292608 768 18446744073709551615 94829082062848 94829082957381 140734010484384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94829083196432 94829083244176 94829099241472 140734010489197 140734010489320 140734010489320 140734010494922 0
/proc/45563/statm: 1048 768 704 219 0 110 0
[pid=45565] ppid=45563 vsize=100404 memory=53524 CPUtime=1.4 cores=4,6
/proc/45565/stat : 45565 (roundingsat) R 45563 45563 43184 0 -1 4194304 10290 0 0 0 132 8 0 0 20 0 1 0 49281565 102813696 13381 18446744073709551615 4227072 8923433 140733625972528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17674240 140733625981346 140733625981480 140733625981480 140733625987050 0
/proc/45565/statm: 25101 13381 2368 1147 0 12528 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 104596 KiB
Current children cumulated memory: 56596 KiB

[startup+3.11283 s]
/proc/loadavg: 4.17 4.11 4.10 5/254 45565
/proc/meminfo: memFree=127857040/131382112 swapFree=33010684/33010684
[pid=45563] ppid=45560 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/45563/stat : 45563 (run-opt.sh) S 45560 45563 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49281563 4292608 768 18446744073709551615 94829082062848 94829082957381 140734010484384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94829083196432 94829083244176 94829099241472 140734010489197 140734010489320 140734010489320 140734010494922 0
/proc/45563/statm: 1048 768 704 219 0 110 0
[pid=45565] ppid=45563 vsize=156080 memory=106348 CPUtime=3 cores=4,6
/proc/45565/stat : 45565 (roundingsat) R 45563 45563 43184 0 -1 4194304 19917 0 0 0 289 11 0 0 20 0 1 0 49281565 159825920 26587 18446744073709551615 4227072 8923433 140733625972528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17674240 140733625981346 140733625981480 140733625981480 140733625987050 0
/proc/45565/statm: 39020 26587 2368 1147 0 26447 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 160272 KiB
Current children cumulated memory: 109420 KiB

[startup+6.30038 s]
/proc/loadavg: 4.17 4.11 4.10 5/254 45565
/proc/meminfo: memFree=127789804/131382112 swapFree=33010684/33010684
[pid=45563] ppid=45560 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/45563/stat : 45563 (run-opt.sh) S 45560 45563 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49281563 4292608 768 18446744073709551615 94829082062848 94829082957381 140734010484384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94829083196432 94829083244176 94829099241472 140734010489197 140734010489320 140734010489320 140734010494922 0
/proc/45563/statm: 1048 768 704 219 0 110 0
[pid=45565] ppid=45563 vsize=238424 memory=159824 CPUtime=6.19 cores=4,6
/proc/45565/stat : 45565 (roundingsat) R 45563 45563 43184 0 -1 4194304 31267 0 0 0 603 16 0 0 20 0 1 0 49281565 244146176 39956 18446744073709551615 4227072 8923433 140733625972528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17674240 140733625981346 140733625981480 140733625981480 140733625987050 0
/proc/45565/statm: 59606 39956 2368 1147 0 47033 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 242616 KiB
Current children cumulated memory: 162896 KiB

[startup+12.7004 s]
/proc/loadavg: 4.15 4.11 4.10 5/254 45565
/proc/meminfo: memFree=127684884/131382112 swapFree=33010684/33010684
[pid=45563] ppid=45560 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/45563/stat : 45563 (run-opt.sh) S 45560 45563 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49281563 4292608 768 18446744073709551615 94829082062848 94829082957381 140734010484384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94829083196432 94829083244176 94829099241472 140734010489197 140734010489320 140734010489320 140734010494922 0
/proc/45563/statm: 1048 768 704 219 0 110 0
[pid=45565] ppid=45563 vsize=274044 memory=198872 CPUtime=12.57 cores=4,6
/proc/45565/stat : 45565 (roundingsat) R 45563 45563 43184 0 -1 4194304 37454 0 0 0 1233 24 0 0 20 0 1 0 49281565 280621056 49718 18446744073709551615 4227072 8923433 140733625972528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17674240 140733625981346 140733625981480 140733625981480 140733625987050 0
/proc/45565/statm: 68511 49718 2368 1147 0 55938 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 278236 KiB
Current children cumulated memory: 201944 KiB

[startup+25.5004 s]
/proc/loadavg: 4.12 4.11 4.09 5/254 45565
/proc/meminfo: memFree=127451048/131382112 swapFree=33010684/33010684
[pid=45563] ppid=45560 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/45563/stat : 45563 (run-opt.sh) S 45560 45563 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49281563 4292608 768 18446744073709551615 94829082062848 94829082957381 140734010484384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94829083196432 94829083244176 94829099241472 140734010489197 140734010489320 140734010489320 140734010494922 0
/proc/45563/statm: 1048 768 704 219 0 110 0
[pid=45565] ppid=45563 vsize=538508 memory=407820 CPUtime=25.33 cores=4,6
/proc/45565/stat : 45565 (roundingsat) R 45563 45563 43184 0 -1 4194304 86623 0 0 0 2491 42 0 0 20 0 1 0 49281565 551432192 101955 18446744073709551615 4227072 8923433 140733625972528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17674240 140733625981346 140733625981480 140733625981480 140733625987050 0
/proc/45565/statm: 134627 101955 2368 1147 0 122054 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 542700 KiB
Current children cumulated memory: 410892 KiB

[startup+51.113 s]
/proc/loadavg: 4.14 4.11 4.09 5/254 45566
/proc/meminfo: memFree=127410932/131382112 swapFree=33010684/33010684
[pid=45563] ppid=45560 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/45563/stat : 45563 (run-opt.sh) S 45560 45563 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49281563 4292608 768 18446744073709551615 94829082062848 94829082957381 140734010484384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94829083196432 94829083244176 94829099241472 140734010489197 140734010489320 140734010489320 140734010494922 0
/proc/45563/statm: 1048 768 704 219 0 110 0
[pid=45565] ppid=45563 vsize=541308 memory=413452 CPUtime=50.87 cores=4,6
/proc/45565/stat : 45565 (roundingsat) R 45563 45563 43184 0 -1 4194304 88009 0 0 0 5036 51 0 0 20 0 1 0 49281565 554299392 103363 18446744073709551615 4227072 8923433 140733625972528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17674240 140733625981346 140733625981480 140733625981480 140733625987050 0
/proc/45565/statm: 135327 103363 2368 1147 0 122754 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 545500 KiB
Current children cumulated memory: 416524 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/254 45568
/proc/meminfo: memFree=127297680/131382112 swapFree=33010684/33010684
[pid=45563] ppid=45560 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/45563/stat : 45563 (run-opt.sh) S 45560 45563 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49281563 4292608 768 18446744073709551615 94829082062848 94829082957381 140734010484384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94829083196432 94829083244176 94829099241472 140734010489197 140734010489320 140734010489320 140734010494922 0
/proc/45563/statm: 1048 768 704 219 0 110 0
[pid=45565] ppid=45563 vsize=628984 memory=460756 CPUtime=101.92 cores=4,6
/proc/45565/stat : 45565 (roundingsat) R 45563 45563 43184 0 -1 4194304 96794 0 0 0 10120 72 0 0 20 0 1 0 49281565 644079616 115189 18446744073709551615 4227072 8923433 140733625972528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17674240 140733625981346 140733625981480 140733625981480 140733625987050 0
/proc/45565/statm: 157246 115189 2368 1147 0 144673 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 633176 KiB
Current children cumulated memory: 463828 KiB

[startup+162.3 s]
/proc/loadavg: 4.79 4.30 4.16 5/253 45570
/proc/meminfo: memFree=127124916/131382112 swapFree=33010684/33010684
[pid=45563] ppid=45560 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/45563/stat : 45563 (run-opt.sh) S 45560 45563 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49281563 4292608 768 18446744073709551615 94829082062848 94829082957381 140734010484384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94829083196432 94829083244176 94829099241472 140734010489197 140734010489320 140734010489320 140734010494922 0
/proc/45563/statm: 1048 768 704 219 0 110 0
[pid=45565] ppid=45563 vsize=702316 memory=531256 CPUtime=161.75 cores=4,6
/proc/45565/stat : 45565 (roundingsat) R 45563 45563 43184 0 -1 4194304 110363 0 0 0 16077 98 0 0 20 0 1 0 49281565 719171584 132814 18446744073709551615 4227072 8923433 140733625972528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17674240 140733625981346 140733625981480 140733625981480 140733625987050 0
/proc/45565/statm: 175579 132814 2368 1147 0 163006 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 706508 KiB
Current children cumulated memory: 534328 KiB

[startup+222.3 s]
/proc/loadavg: 4.38 4.28 4.16 5/253 45572
/proc/meminfo: memFree=126974372/131382112 swapFree=33010684/33010684
[pid=45563] ppid=45560 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/45563/stat : 45563 (run-opt.sh) S 45560 45563 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49281563 4292608 768 18446744073709551615 94829082062848 94829082957381 140734010484384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94829083196432 94829083244176 94829099241472 140734010489197 140734010489320 140734010489320 140734010494922 0
/proc/45563/statm: 1048 768 704 219 0 110 0
[pid=45565] ppid=45563 vsize=781872 memory=633108 CPUtime=221.59 cores=4,6
/proc/45565/stat : 45565 (roundingsat) R 45563 45563 43184 0 -1 4194304 128154 0 0 0 22031 128 0 0 20 0 1 0 49281565 800636928 158277 18446744073709551615 4227072 8923433 140733625972528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17674240 140733625981346 140733625981480 140733625981480 140733625987050 0
/proc/45565/statm: 195468 158277 2368 1147 0 182895 0
Current children cumulated CPU time: 221.59 s

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

/proc/45565/statm: 288720 266806 2368 1147 0 276147 0
Current children cumulated CPU time: 3033.64 s
Current children cumulated vsize: 1159072 KiB
Current children cumulated memory: 1070296 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.14 4.13 5/254 45764
/proc/meminfo: memFree=125882564/131382112 swapFree=33010684/33010684
[pid=45563] ppid=45560 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/45563/stat : 45563 (run-opt.sh) S 45560 45563 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49281563 4292608 768 18446744073709551615 94829082062848 94829082957381 140734010484384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94829083196432 94829083244176 94829099241472 140734010489197 140734010489320 140734010489320 140734010494922 0
/proc/45563/statm: 1048 768 704 219 0 110 0
[pid=45565] ppid=45563 vsize=1154880 memory=1067224 CPUtime=3093.46 cores=4,6
/proc/45565/stat : 45565 (roundingsat) R 45563 45563 43184 0 -1 4194304 183504 0 0 0 308642 704 0 0 20 0 1 0 49281565 1182597120 266806 18446744073709551615 4227072 8923433 140733625972528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17674240 140733625981346 140733625981480 140733625981480 140733625987050 0
/proc/45565/statm: 288720 266806 2368 1147 0 276147 0
Current children cumulated CPU time: 3093.46 s
Current children cumulated vsize: 1159072 KiB
Current children cumulated memory: 1070296 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.13 4.13 5/254 45766
/proc/meminfo: memFree=125815444/131382112 swapFree=33010684/33010684
[pid=45563] ppid=45560 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/45563/stat : 45563 (run-opt.sh) S 45560 45563 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49281563 4292608 768 18446744073709551615 94829082062848 94829082957381 140734010484384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94829083196432 94829083244176 94829099241472 140734010489197 140734010489320 140734010489320 140734010494922 0
/proc/45563/statm: 1048 768 704 219 0 110 0
[pid=45565] ppid=45563 vsize=1154880 memory=1067224 CPUtime=3153.29 cores=4,6
/proc/45565/stat : 45565 (roundingsat) R 45563 45563 43184 0 -1 4194304 183504 0 0 0 314617 712 0 0 20 0 1 0 49281565 1182597120 266806 18446744073709551615 4227072 8923433 140733625972528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17674240 140733625981346 140733625981480 140733625981480 140733625987050 0
/proc/45565/statm: 288720 266806 2368 1147 0 276147 0
Current children cumulated CPU time: 3153.29 s
Current children cumulated vsize: 1159072 KiB
Current children cumulated memory: 1070296 KiB

[startup+3222.3 s]
/proc/loadavg: 4.74 4.31 4.19 5/253 45767
/proc/meminfo: memFree=125812868/131382112 swapFree=33010684/33010684
[pid=45563] ppid=45560 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/45563/stat : 45563 (run-opt.sh) S 45560 45563 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49281563 4292608 768 18446744073709551615 94829082062848 94829082957381 140734010484384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94829083196432 94829083244176 94829099241472 140734010489197 140734010489320 140734010489320 140734010494922 0
/proc/45563/statm: 1048 768 704 219 0 110 0
[pid=45565] ppid=45563 vsize=1161712 memory=1078400 CPUtime=3213.11 cores=4,6
/proc/45565/stat : 45565 (roundingsat) R 45563 45563 43184 0 -1 4194304 184780 0 0 0 320592 719 0 0 20 0 1 0 49281565 1189593088 269600 18446744073709551615 4227072 8923433 140733625972528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17674240 140733625981346 140733625981480 140733625981480 140733625987050 0
/proc/45565/statm: 290428 269600 2368 1147 0 277855 0
Current children cumulated CPU time: 3213.11 s
Current children cumulated vsize: 1165904 KiB
Current children cumulated memory: 1081472 KiB

[startup+3282.3 s]
/proc/loadavg: 4.36 4.28 4.19 5/253 45769
/proc/meminfo: memFree=125757180/131382112 swapFree=33010684/33010684
[pid=45563] ppid=45560 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/45563/stat : 45563 (run-opt.sh) S 45560 45563 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49281563 4292608 768 18446744073709551615 94829082062848 94829082957381 140734010484384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94829083196432 94829083244176 94829099241472 140734010489197 140734010489320 140734010489320 140734010494922 0
/proc/45563/statm: 1048 768 704 219 0 110 0
[pid=45565] ppid=45563 vsize=1304868 memory=1096572 CPUtime=3272.93 cores=4,6
/proc/45565/stat : 45565 (roundingsat) R 45563 45563 43184 0 -1 4194304 187273 0 0 0 326565 728 0 0 20 0 1 0 49281565 1336184832 274143 18446744073709551615 4227072 8923433 140733625972528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17674240 140733625981346 140733625981480 140733625981480 140733625987050 0
/proc/45565/statm: 326217 274143 2368 1147 0 313644 0
Current children cumulated CPU time: 3272.93 s
Current children cumulated vsize: 1309060 KiB
Current children cumulated memory: 1099644 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.24 4.18 5/256 45775
/proc/meminfo: memFree=125716752/131382112 swapFree=33010684/33010684
[pid=45563] ppid=45560 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/45563/stat : 45563 (run-opt.sh) S 45560 45563 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49281563 4292608 768 18446744073709551615 94829082062848 94829082957381 140734010484384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94829083196432 94829083244176 94829099241472 140734010489197 140734010489320 140734010489320 140734010494922 0
/proc/45563/statm: 1048 768 704 219 0 110 0
[pid=45565] ppid=45563 vsize=1304868 memory=1096700 CPUtime=3332.76 cores=4,6
/proc/45565/stat : 45565 (roundingsat) R 45563 45563 43184 0 -1 4194304 187751 0 0 0 332541 735 0 0 20 0 1 0 49281565 1336184832 274175 18446744073709551615 4227072 8923433 140733625972528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17674240 140733625981346 140733625981480 140733625981480 140733625987050 0
/proc/45565/statm: 326217 274175 2368 1147 0 313644 0
Current children cumulated CPU time: 3332.76 s
Current children cumulated vsize: 1309060 KiB
Current children cumulated memory: 1099772 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.21 4.17 5/258 45781
/proc/meminfo: memFree=125660420/131382112 swapFree=33010684/33010684
[pid=45563] ppid=45560 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/45563/stat : 45563 (run-opt.sh) S 45560 45563 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49281563 4292608 768 18446744073709551615 94829082062848 94829082957381 140734010484384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94829083196432 94829083244176 94829099241472 140734010489197 140734010489320 140734010489320 140734010494922 0
/proc/45563/statm: 1048 768 704 219 0 110 0
[pid=45565] ppid=45563 vsize=1304868 memory=1096828 CPUtime=3392.58 cores=4,6
/proc/45565/stat : 45565 (roundingsat) R 45563 45563 43184 0 -1 4194304 187772 0 0 0 338513 745 0 0 20 0 1 0 49281565 1336184832 274207 18446744073709551615 4227072 8923433 140733625972528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17674240 140733625981346 140733625981480 140733625981480 140733625987050 0
/proc/45565/statm: 326217 274207 2368 1147 0 313644 0
Current children cumulated CPU time: 3392.58 s
Current children cumulated vsize: 1309060 KiB
Current children cumulated memory: 1099900 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.18 4.17 5/258 45783
/proc/meminfo: memFree=125649936/131382112 swapFree=33010684/33010684
[pid=45563] ppid=45560 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/45563/stat : 45563 (run-opt.sh) S 45560 45563 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49281563 4292608 768 18446744073709551615 94829082062848 94829082957381 140734010484384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94829083196432 94829083244176 94829099241472 140734010489197 140734010489320 140734010489320 140734010494922 0
/proc/45563/statm: 1048 768 704 219 0 110 0
[pid=45565] ppid=45563 vsize=1305976 memory=1097724 CPUtime=3452.4 cores=4,6
/proc/45565/stat : 45565 (roundingsat) R 45563 45563 43184 0 -1 4194304 187998 0 0 0 344489 751 0 0 20 0 1 0 49281565 1337319424 274431 18446744073709551615 4227072 8923433 140733625972528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17674240 140733625981346 140733625981480 140733625981480 140733625987050 0
/proc/45565/statm: 326494 274431 2368 1147 0 313921 0
Current children cumulated CPU time: 3452.4 s
Current children cumulated vsize: 1310168 KiB
Current children cumulated memory: 1100796 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.18 4.17 5/258 45789
/proc/meminfo: memFree=125661036/131382112 swapFree=33010684/33010684
[pid=45563] ppid=45560 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/45563/stat : 45563 (run-opt.sh) S 45560 45563 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49281563 4292608 768 18446744073709551615 94829082062848 94829082957381 140734010484384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94829083196432 94829083244176 94829099241472 140734010489197 140734010489320 140734010489320 140734010494922 0
/proc/45563/statm: 1048 768 704 219 0 110 0
[pid=45565] ppid=45563 vsize=1305976 memory=1097724 CPUtime=3512.22 cores=4,6
/proc/45565/stat : 45565 (roundingsat) R 45563 45563 43184 0 -1 4194304 187998 0 0 0 350463 759 0 0 20 0 1 0 49281565 1337319424 274431 18446744073709551615 4227072 8923433 140733625972528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17674240 140733625981346 140733625981480 140733625981480 140733625987050 0
/proc/45565/statm: 326494 274431 2368 1147 0 313921 0
Current children cumulated CPU time: 3512.22 s
Current children cumulated vsize: 1310168 KiB
Current children cumulated memory: 1100796 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.16 4.16 5/258 45791
/proc/meminfo: memFree=125619392/131382112 swapFree=33010684/33010684
[pid=45563] ppid=45560 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/45563/stat : 45563 (run-opt.sh) S 45560 45563 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49281563 4292608 768 18446744073709551615 94829082062848 94829082957381 140734010484384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94829083196432 94829083244176 94829099241472 140734010489197 140734010489320 140734010489320 140734010494922 0
/proc/45563/statm: 1048 768 704 219 0 110 0
[pid=45565] ppid=45563 vsize=1310708 memory=1108588 CPUtime=3572.04 cores=4,6
/proc/45565/stat : 45565 (roundingsat) R 45563 45563 43184 0 -1 4194304 188675 0 0 0 356434 770 0 0 20 0 1 0 49281565 1342164992 277147 18446744073709551615 4227072 8923433 140733625972528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17674240 140733625981346 140733625981480 140733625981480 140733625987050 0
/proc/45565/statm: 327677 277147 2368 1147 0 315104 0
Current children cumulated CPU time: 3572.04 s
Current children cumulated vsize: 1314900 KiB
Current children cumulated memory: 1111660 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 3.69 4.06 4.13 3/243 45854
/proc/meminfo: memFree=127843188/131382112 swapFree=33010684/33010684
[pid=45563] ppid=45560 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/45563/stat : 45563 (run-opt.sh) S 45560 45563 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49281563 4292608 768 18446744073709551615 94829082062848 94829082957381 140734010484384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94829083196432 94829083244176 94829099241472 140734010489197 140734010489320 140734010489320 140734010494922 0
/proc/45563/statm: 1048 768 704 219 0 110 0
[pid=45565] ppid=45563 vsize=1313448 memory=1114196 CPUtime=3600.05 cores=4,6
/proc/45565/stat : 45565 (roundingsat) R 45563 45563 43184 0 -1 4194304 189058 0 0 0 359230 775 0 0 20 0 1 0 49281565 1344970752 278549 18446744073709551615 4227072 8923433 140733625972528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17674240 140733625981346 140733625981480 140733625981480 140733625987050 0
/proc/45565/statm: 328362 278549 2368 1147 0 315789 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1317640 KiB
Current children cumulated memory: 1117268 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001294 s, system=0.004026 s

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

# cumulated CPU time of all completed processes:  user=3592.31 s, system=7.76912 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): 3610.41
CPU time (s): 3600.08
CPU user time (s): 3592.31
CPU system time (s): 7.76912
CPU usage (%): 99.7138
Max. virtual memory (cumulated for all children) (KiB): 1317640
Max. memory (cumulated for all children) (KiB): 1117268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.31
system time used= 7.76912
maximum resident set size= 1114580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189327
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 251
involuntary context switches= 2067


# summary of solver processes directly reported to runsolver:
#   pid: 45563,45565
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3592.31
#   total CPU system time (s): 7.76912

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2631 second user time and 37.0778 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-07-01 04:13:38
IDJOB=4488678
IDBENCH=147526
IDSOLVER=3350
FILE ID=nodeC012/4488678-1751336018
RUNJOBID= nodeC012-1751328774-43195
SLURM_JOB_ID= 9594375
Free space on /tmp= 433036 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_34.opb.PB06.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4488678-1751336018/watcher-4488678-1751336018 -o /tmp/evaluation-result-4488678-1751336018/solver-4488678-1751336018 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751328774-43195 --watchdog 3760  run-opt.sh HOME/instance-4488678-1751336018.opb

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

MD5SUM BENCH= 52f0a3c0093dc9bf421bafb6505effdf
RANDOM SEED=1297491380

nodeC012 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		: 3662.431
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.39
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		: 3592.006
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.39
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.411
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.39
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		: 1197.463
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.39
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		: 1197.354
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.39
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		: 3491.724
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.39
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.156
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.39
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.416
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.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        128001288 kB
MemAvailable:   127995096 kB
Buffers:            3280 kB
Cached:           802032 kB
SwapCached:            0 kB
Active:          2283932 kB
Inactive:         491620 kB
Active(anon):    1988208 kB
Inactive(anon):        0 kB
Active(file):     295724 kB
Inactive(file):   491620 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             22576 kB
Writeback:            56 kB
AnonPages:       1972400 kB
Mapped:           115852 kB
Shmem:             17960 kB
KReclaimable:      91796 kB
Slab:             175268 kB
SReclaimable:      91796 kB
SUnreclaim:        83472 kB
KernelStack:        4080 kB
PageTables:         7144 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    2543284 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149400 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1196032 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:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433044 MiB
End job on nodeC012 at 2025-07-01 05:13:49