Trace number 4488725

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

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

Solver Data 

0.00/0.03	c RoundingSat 2
0.00/0.03	c branch pb25
0.00/0.03	c commit 63f22ad
0.00/0.09	c #variables 1963 #constraints 4000
0.00/0.09	c objective is ce32 
0.07/0.12	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.07/0.12	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.07/0.12	c GLOBAL bounds - >= 0 @ 0.069843
0.07/0.13	c GLOBAL bounds - >= 0 @ 0.07293
0.07/0.15	c GLOBAL bounds - >= 0 @ 0.091607
0.07/0.17	c GLOBAL bounds - >= 0 @ 0.112366
0.19/0.26	c GLOBAL bounds - >= 0 @ 0.19265
0.28/0.33	c GLOBAL bounds - >= 0 @ 0.263038
0.28/0.38	c GLOBAL bounds - >= 0 @ 0.309798
0.39/0.50	c GLOBAL bounds - >= 0 @ 0.426015
0.49/0.59	c GLOBAL bounds - >= 0 @ 0.504305
0.58/0.68	c GLOBAL bounds - >= 0 @ 0.595094
0.66/0.76	c GLOBAL bounds - >= 0 @ 0.67104
0.76/0.84	c GLOBAL bounds - >= 0 @ 0.749883
0.85/0.92	c GLOBAL bounds - >= 0 @ 0.831775
0.85/0.98	c GLOBAL bounds - >= 0 @ 0.886574
0.97/1.04	c GLOBAL bounds - >= 0 @ 0.945226
1.07/1.16	c GLOBAL bounds - >= 0 @ 1.04833
1.25/1.33	c GLOBAL bounds - >= 0 @ 1.21651
1.45/1.51	c GLOBAL bounds - >= 0 @ 1.39255
1.55/1.65	c GLOBAL bounds - >= 0 @ 1.52103
1.76/1.85	c #Conflicts:       1000 | #Constraints:       5034
1.76/1.85	c GLOBAL bounds - >= 0 @ 1.70951
1.96/2.03	c GLOBAL bounds - >= 0 @ 1.88136
2.15/2.24	c GLOBAL bounds - >= 0 @ 2.08797
2.26/2.37	c GLOBAL bounds - >= 0 @ 2.21249
2.55/2.60	c GLOBAL bounds - >= 0 @ 2.43928
2.66/2.72	c GLOBAL bounds - >= 0 @ 2.55318
2.76/2.85	c GLOBAL bounds - >= 0 @ 2.68162
2.96/3.06	c GLOBAL bounds - >= 0 @ 2.88861
3.06/3.18	c GLOBAL bounds - >= 0 @ 3.00784
3.35/3.40	c GLOBAL bounds - >= 0 @ 3.21901
3.55/3.66	c #Conflicts:       2000 | #Constraints:       6054
3.55/3.66	c INPROCESSING
3.55/3.66	c GARBAGE COLLECT
3.55/3.66	c GLOBAL bounds - >= 0 @ 3.46768
3.65/3.79	c GLOBAL bounds - >= 0 @ 3.59452
3.75/3.87	c GLOBAL bounds - >= 0 @ 3.67919
3.85/3.98	c GLOBAL bounds - >= 0 @ 3.78204
4.06/4.15	c GLOBAL bounds - >= 0 @ 3.94998
4.15/4.24	c GLOBAL bounds - >= 0 @ 4.03463
4.25/4.34	c GLOBAL bounds - >= 0 @ 4.1396
4.35/4.46	c GLOBAL bounds - >= 0 @ 4.24895
4.45/4.57	c GLOBAL bounds - >= 0 @ 4.36143
4.55/4.68	c GLOBAL bounds - >= 0 @ 4.47042
4.74/4.87	c GLOBAL bounds - >= 0 @ 4.65486
4.85/4.96	c GLOBAL bounds - >= 0 @ 4.74454
4.96/5.06	c #Conflicts:       3000 | #Constraints:       6082
4.96/5.06	c GLOBAL bounds - >= 0 @ 4.84665
5.06/5.19	c GLOBAL bounds - >= 0 @ 4.96731
5.25/5.31	c GLOBAL bounds - >= 0 @ 5.08696
5.35/5.44	c GLOBAL bounds - >= 0 @ 5.20883
5.44/5.55	c GLOBAL bounds - >= 0 @ 5.31426
5.55/5.67	c GLOBAL bounds - >= 0 @ 5.43694
5.75/5.80	c GLOBAL bounds - >= 0 @ 5.56397
5.85/5.93	c GLOBAL bounds - >= 0 @ 5.68997
5.96/6.05	c GLOBAL bounds - >= 0 @ 5.81022
6.05/6.16	c GLOBAL bounds - >= 0 @ 5.91768
6.24/6.39	c GLOBAL bounds - >= 0 @ 6.14226
6.44/6.50	c GLOBAL bounds - >= 0 @ 6.25062
6.64/6.73	c GLOBAL bounds - >= 0 @ 6.47965
6.74/6.85	c GLOBAL bounds - >= 0 @ 6.59423
6.96/7.08	c GLOBAL bounds - >= 0 @ 6.81876
7.14/7.20	c #Conflicts:       4000 | #Constraints:       7112
7.14/7.20	c GLOBAL bounds - >= 0 @ 6.93328
7.24/7.33	c GLOBAL bounds - >= 0 @ 7.06166
7.34/7.47	c GLOBAL bounds - >= 0 @ 7.19547
7.64/7.79	c INPROCESSING
7.64/7.79	c GARBAGE COLLECT
7.64/7.79	c GLOBAL bounds - >= 0 @ 7.51394
7.74/7.89	c GLOBAL bounds - >= 0 @ 7.61067
7.95/8.04	c GLOBAL bounds - >= 0 @ 7.76149
8.05/8.14	c GLOBAL bounds - >= 0 @ 7.85879
8.24/8.30	c GLOBAL bounds - >= 0 @ 8.01337
8.34/8.44	c GLOBAL bounds - >= 0 @ 8.15408
8.54/8.65	c GLOBAL bounds - >= 0 @ 8.3522
8.64/8.77	c GLOBAL bounds - >= 0 @ 8.47745
8.74/8.90	c GLOBAL bounds - >= 0 @ 8.59972
8.95/9.02	c #Conflicts:       5000 | #Constraints:       6547
8.95/9.02	c GLOBAL bounds - >= 0 @ 8.72535
9.13/9.24	c GLOBAL bounds - >= 0 @ 8.93466
9.23/9.36	c GLOBAL bounds - >= 0 @ 9.05314
9.44/9.56	c GLOBAL bounds - >= 0 @ 9.25714
9.54/9.69	c GLOBAL bounds - >= 0 @ 9.38053
9.83/9.91	c GLOBAL bounds - >= 0 @ 9.60446
9.95/10.04	c GLOBAL bounds - >= 0 @ 9.72531
10.04/10.18	c GLOBAL bounds - >= 0 @ 9.86067
10.34/10.41	c GLOBAL bounds - >= 0 @ 10.0907
10.43/10.54	c GLOBAL bounds - >= 0 @ 10.2155
10.73/10.81	c #Conflicts:       6000 | #Constraints:       7567
10.73/10.81	c GLOBAL bounds - >= 0 @ 10.4814
10.95/11.10	c GLOBAL bounds - >= 0 @ 10.7671
11.33/11.46	c GLOBAL bounds - >= 0 @ 11.1225
11.83/11.91	c INPROCESSING
11.83/11.91	c GARBAGE COLLECT
11.83/11.91	c GLOBAL bounds - >= 0 @ 11.5653
12.13/12.25	c GLOBAL bounds - >= 0 @ 11.8983
12.33/12.48	c #Conflicts:       7000 | #Constraints:       6655
12.33/12.48	c GLOBAL bounds - >= 0 @ 12.1228
12.63/12.71	c GLOBAL bounds - >= 0 @ 12.3485
13.12/13.27	c GLOBAL bounds - >= 0 @ 12.8552
13.32/13.46	c #Conflicts:       8000 | #Constraints:       7661
13.32/13.46	c GLOBAL bounds - >= 0 @ 13.0475
13.53/13.67	c GLOBAL bounds - >= 0 @ 13.2459
13.72/13.87	c GLOBAL bounds - >= 0 @ 13.4448
13.93/14.07	c GLOBAL bounds - >= 0 @ 13.6391
14.12/14.27	c GLOBAL bounds - >= 0 @ 13.8323
14.32/14.47	c GLOBAL bounds - >= 0 @ 14.0332
14.52/14.68	c GLOBAL bounds - >= 0 @ 14.237
14.72/14.89	c #Conflicts:       9000 | #Constraints:       8675
14.72/14.89	c GLOBAL bounds - >= 0 @ 14.4442
15.32/15.49	c INPROCESSING
15.32/15.49	c GARBAGE COLLECT
15.32/15.49	c GLOBAL bounds - >= 0 @ 15.0392
15.72/15.85	c GLOBAL bounds - >= 0 @ 15.3899
20.71/20.88	c #Conflicts:      10000 | #Constraints:       7358
20.71/20.88	c #Conflicts:      11000 | #Constraints:       8358
20.71/20.88	c #Conflicts:      12000 | #Constraints:       9358
20.71/20.88	c INPROCESSING
20.71/20.88	c GARBAGE COLLECT
20.71/20.88	c GLOBAL bounds - >= 0 @ 20.3765
66.89/67.16	c #Conflicts:      13000 | #Constraints:       7886
66.89/67.16	c #Conflicts:      14000 | #Constraints:       8886
66.89/67.16	c #Conflicts:      15000 | #Constraints:       9886
66.89/67.16	c INPROCESSING
66.89/67.16	c GARBAGE COLLECT
66.89/67.16	c #Conflicts:      16000 | #Constraints:       8134
66.89/67.16	c #Conflicts:      17000 | #Constraints:       9134
66.89/67.16	c #Conflicts:      18000 | #Constraints:      10134
66.89/67.16	c INPROCESSING
66.89/67.16	c GARBAGE COLLECT
66.89/67.16	c #Conflicts:      19000 | #Constraints:       8169
66.89/67.16	c #Conflicts:      20000 | #Constraints:       9169
66.89/67.16	c #Conflicts:      21000 | #Constraints:      10169
66.89/67.16	c INPROCESSING
66.89/67.16	c GARBAGE COLLECT
66.89/67.16	c #Conflicts:      22000 | #Constraints:       7979
66.89/67.16	c #Conflicts:      23000 | #Constraints:       8979
66.89/67.16	c #Conflicts:      24000 | #Constraints:       9979
66.89/67.16	c #Conflicts:      25000 | #Constraints:      10979
66.89/67.16	c INPROCESSING
66.89/67.16	c GARBAGE COLLECT
66.89/67.16	c #Conflicts:      26000 | #Constraints:       8580
66.89/67.16	c #Conflicts:      27000 | #Constraints:       9580
66.89/67.16	c #Conflicts:      28000 | #Constraints:      10580
66.89/67.16	c #Conflicts:      29000 | #Constraints:      11580
66.89/67.16	c INPROCESSING
66.89/67.16	c GARBAGE COLLECT
66.89/67.16	c #Conflicts:      30000 | #Constraints:       8988
66.89/67.16	c GLOBAL bounds - >= 0 @ 66.2459
69.78/70.09	c #Conflicts:      31000 | #Constraints:       9990
69.78/70.09	c GLOBAL bounds - >= 0 @ 69.1462
71.46/71.70	c #Conflicts:      32000 | #Constraints:      10992
71.46/71.70	c GLOBAL bounds - >= 0 @ 70.7292
75.06/75.31	c #Conflicts:      33000 | #Constraints:      11994
75.06/75.31	c INPROCESSING
75.06/75.31	c GARBAGE COLLECT
75.06/75.31	c #Conflicts:      34000 | #Constraints:       9208
75.06/75.31	c GLOBAL bounds - >= 0 @ 74.3117
77.65/77.98	c #Conflicts:      35000 | #Constraints:      10210
77.65/77.98	c #Conflicts:      36000 | #Constraints:      11210
77.65/77.98	c #Conflicts:      37000 | #Constraints:      12210
77.65/77.98	c INPROCESSING
77.65/77.98	c GARBAGE COLLECT
77.65/77.98	c GLOBAL bounds - >= 0 @ 76.9221
85.13/85.43	c #Conflicts:      38000 | #Constraints:       9209
85.13/85.43	c #Conflicts:      39000 | #Constraints:      10209
85.13/85.43	c #Conflicts:      40000 | #Constraints:      11209
85.13/85.43	c #Conflicts:      41000 | #Constraints:      12209
85.13/85.43	c INPROCESSING
85.13/85.43	c GARBAGE COLLECT
85.13/85.43	c #Conflicts:      42000 | #Constraints:       9003
85.13/85.43	c GLOBAL bounds - >= 0 @ 84.2947
119.83/120.24	c #Conflicts:      43000 | #Constraints:      10005
119.83/120.24	c #Conflicts:      44000 | #Constraints:      11005
119.83/120.24	c #Conflicts:      45000 | #Constraints:      12005
119.83/120.24	c #Conflicts:      46000 | #Constraints:      13005
119.83/120.24	c INPROCESSING
119.83/120.24	c GARBAGE COLLECT
119.83/120.24	c #Conflicts:      47000 | #Constraints:       9607
119.83/120.24	c #Conflicts:      48000 | #Constraints:      10607
119.83/120.24	c #Conflicts:      49000 | #Constraints:      11607
119.83/120.24	c #Conflicts:      50000 | #Constraints:      12607
119.83/120.24	c #Conflicts:      51000 | #Constraints:      13607
119.83/120.24	c INPROCESSING
119.83/120.24	c GARBAGE COLLECT
119.83/120.24	c #Conflicts:      52000 | #Constraints:      10000
119.83/120.24	c #Conflicts:      53000 | #Constraints:      11000
119.83/120.24	c #Conflicts:      54000 | #Constraints:      12000
119.83/120.24	c GLOBAL bounds - >= 0 @ 118.824
121.42/121.86	c #Conflicts:      55000 | #Constraints:      13002
121.42/121.86	c GLOBAL bounds - >= 0 @ 120.408
121.93/122.32	c GLOBAL bounds - >= 0 @ 120.869
122.32/122.79	c GLOBAL bounds - >= 0 @ 121.324
122.92/123.39	c #Conflicts:      56000 | #Constraints:      14008
122.92/123.39	c INPROCESSING
122.92/123.39	c GARBAGE COLLECT
122.92/123.39	c GLOBAL bounds - >= 0 @ 121.924
123.32/123.73	c GLOBAL bounds - >= 0 @ 122.256
123.52/123.96	c GLOBAL bounds - >= 0 @ 122.48
123.73/124.14	c GLOBAL bounds - >= 0 @ 122.668
124.12/124.52	c GLOBAL bounds - >= 0 @ 123.044
124.73/125.15	c GLOBAL bounds - >= 0 @ 123.659
125.82/126.22	c #Conflicts:      57000 | #Constraints:      10186
125.82/126.22	c GLOBAL bounds - >= 0 @ 124.719
126.21/126.61	c GLOBAL bounds - >= 0 @ 125.103
126.42/126.83	c GLOBAL bounds - >= 0 @ 125.323
126.63/127.08	c GLOBAL bounds - >= 0 @ 125.57
127.11/127.51	c #Conflicts:      58000 | #Constraints:      11194
127.11/127.51	c GLOBAL bounds - >= 0 @ 125.996
127.31/127.77	c GLOBAL bounds - >= 0 @ 126.258
127.81/128.20	c GLOBAL bounds - >= 0 @ 126.675
128.20/128.60	c GLOBAL bounds - >= 0 @ 127.068
135.49/135.95	c #Conflicts:      59000 | #Constraints:      12202
135.49/135.95	c #Conflicts:      60000 | #Constraints:      13202
135.49/135.95	c GLOBAL bounds - >= 0 @ 134.338
305.15/306.11	c #Conflicts:      61000 | #Constraints:      14204
305.15/306.11	c INPROCESSING
305.15/306.11	c GARBAGE COLLECT
305.15/306.11	c #Conflicts:      62000 | #Constraints:      10231
305.15/306.11	c #Conflicts:      63000 | #Constraints:      11231
305.15/306.11	c #Conflicts:      64000 | #Constraints:      12231
305.15/306.11	c #Conflicts:      65000 | #Constraints:      13231
305.15/306.11	c #Conflicts:      66000 | #Constraints:      14231
305.15/306.11	c INPROCESSING
305.15/306.11	c GARBAGE COLLECT
305.15/306.11	c #Conflicts:      67000 | #Constraints:      10037
305.15/306.11	c #Conflicts:      68000 | #Constraints:      11037
305.15/306.11	c #Conflicts:      69000 | #Constraints:      12037
305.15/306.11	c #Conflicts:      70000 | #Constraints:      13037
305.15/306.11	c #Conflicts:      71000 | #Constraints:      14037
305.15/306.11	c #Conflicts:      72000 | #Constraints:      15037
305.15/306.11	c INPROCESSING
305.15/306.11	c GARBAGE COLLECT
305.15/306.11	c #Conflicts:      73000 | #Constraints:      10630
305.15/306.11	c #Conflicts:      74000 | #Constraints:      11630
305.15/306.11	c #Conflicts:      75000 | #Constraints:      12630
305.15/306.11	c #Conflicts:      76000 | #Constraints:      13630
305.15/306.11	c #Conflicts:      77000 | #Constraints:      14630
305.15/306.11	c #Conflicts:      78000 | #Constraints:      15630
305.15/306.11	c INPROCESSING
305.15/306.11	c GARBAGE COLLECT
305.15/306.11	c #Conflicts:      79000 | #Constraints:      11031
305.15/306.11	c #Conflicts:      80000 | #Constraints:      12031
305.15/306.11	c #Conflicts:      81000 | #Constraints:      13031
305.15/306.11	c #Conflicts:      82000 | #Constraints:      14031
305.15/306.11	c #Conflicts:      83000 | #Constraints:      15031
305.15/306.11	c #Conflicts:      84000 | #Constraints:      16031
305.15/306.11	c INPROCESSING
305.15/306.11	c GARBAGE COLLECT
305.15/306.11	c #Conflicts:      85000 | #Constraints:      11236
305.15/306.11	c #Conflicts:      86000 | #Constraints:      12236
305.15/306.11	c #Conflicts:      87000 | #Constraints:      13236
305.15/306.11	c #Conflicts:      88000 | #Constraints:      14236
305.15/306.11	c #Conflicts:      89000 | #Constraints:      15236
305.15/306.11	c #Conflicts:      90000 | #Constraints:      16236
305.15/306.11	c INPROCESSING
305.15/306.11	c GARBAGE COLLECT
305.15/306.11	c #Conflicts:      91000 | #Constraints:      11234
305.15/306.11	c #Conflicts:      92000 | #Constraints:      12234
305.15/306.11	c #Conflicts:      93000 | #Constraints:      13234
305.15/306.11	c #Conflicts:      94000 | #Constraints:      14234
305.15/306.11	c #Conflicts:      95000 | #Constraints:      15234
305.15/306.11	c #Conflicts:      96000 | #Constraints:      16234
305.15/306.11	c INPROCESSING
305.15/306.11	c GARBAGE COLLECT
305.15/306.11	c #Conflicts:      97000 | #Constraints:      11034
305.15/306.11	c #Conflicts:      98000 | #Constraints:      12034
305.15/306.11	c #Conflicts:      99000 | #Constraints:      13034
305.15/306.11	c #Conflicts:     100000 | #Constraints:      14034
305.15/306.11	c #Conflicts:     101000 | #Constraints:      15034
305.15/306.11	c #Conflicts:     102000 | #Constraints:      16034
305.15/306.11	c #Conflicts:     103000 | #Constraints:      17034
305.15/306.11	c INPROCESSING
305.15/306.11	c GARBAGE COLLECT
305.15/306.11	c #Conflicts:     104000 | #Constraints:      11630
305.15/306.11	c #Conflicts:     105000 | #Constraints:      12630
305.15/306.11	c #Conflicts:     106000 | #Constraints:      13630
305.15/306.11	c GLOBAL bounds - >= 0 @ 303.354
308.92/309.84	c #Conflicts:     107000 | #Constraints:      14632
308.92/309.84	c #Conflicts:     108000 | #Constraints:      15632
308.92/309.84	c GLOBAL bounds - >= 0 @ 307.045
411.54/412.70	c #Conflicts:     109000 | #Constraints:      16634
411.54/412.70	c #Conflicts:     110000 | #Constraints:      17634
411.54/412.70	c INPROCESSING
411.54/412.70	c GARBAGE COLLECT
411.54/412.70	c #Conflicts:     111000 | #Constraints:      12041
411.54/412.70	c #Conflicts:     112000 | #Constraints:      13041
411.54/412.70	c #Conflicts:     113000 | #Constraints:      14041
411.54/412.70	c #Conflicts:     114000 | #Constraints:      15041
411.54/412.70	c #Conflicts:     115000 | #Constraints:      16041
411.54/412.70	c #Conflicts:     116000 | #Constraints:      17041
411.54/412.70	c #Conflicts:     117000 | #Constraints:      18041
411.54/412.70	c INPROCESSING
411.54/412.70	c GARBAGE COLLECT
411.54/412.70	c #Conflicts:     118000 | #Constraints:      12243
411.54/412.70	c #Conflicts:     119000 | #Constraints:      13243
411.54/412.70	c #Conflicts:     120000 | #Constraints:      14243
411.54/412.70	c #Conflicts:     121000 | #Constraints:      15243
411.54/412.70	c #Conflicts:     122000 | #Constraints:      16243
411.54/412.70	c #Conflicts:     123000 | #Constraints:      17243
411.54/412.70	c #Conflicts:     124000 | #Constraints:      18243
411.54/412.70	c INPROCESSING
411.54/412.70	c GARBAGE COLLECT
411.54/412.70	c #Conflicts:     125000 | #Constraints:      12244
411.54/412.70	c #Conflicts:     126000 | #Constraints:      13244
411.54/412.70	c #Conflicts:     127000 | #Constraints:      14244
411.54/412.70	c #Conflicts:     128000 | #Constraints:      15244
411.54/412.70	c #Conflicts:     129000 | #Constraints:      16244
411.54/412.70	c #Conflicts:     130000 | #Constraints:      17244
411.54/412.70	c #Conflicts:     131000 | #Constraints:      18244
411.54/412.70	c INPROCESSING
411.54/412.70	c GARBAGE COLLECT
411.54/412.70	c #Conflicts:     132000 | #Constraints:      12045
411.54/412.70	c #Conflicts:     133000 | #Constraints:      13045
411.54/412.70	c #Conflicts:     134000 | #Constraints:      14045
411.54/412.70	c GLOBAL bounds - >= 0 @ 409.165
486.13/487.58	c #Conflicts:     135000 | #Constraints:      15047
486.13/487.58	c #Conflicts:     136000 | #Constraints:      16047
486.13/487.58	c #Conflicts:     137000 | #Constraints:      17047
486.13/487.58	c #Conflicts:     138000 | #Constraints:      18047
486.13/487.58	c #Conflicts:     139000 | #Constraints:      19047
486.13/487.58	c INPROCESSING
486.13/487.58	c GARBAGE COLLECT
486.13/487.58	c #Conflicts:     140000 | #Constraints:      12639
486.13/487.58	c #Conflicts:     141000 | #Constraints:      13639
486.13/487.58	c #Conflicts:     142000 | #Constraints:      14639
486.13/487.58	c #Conflicts:     143000 | #Constraints:      15639
486.13/487.58	c #Conflicts:     144000 | #Constraints:      16639
486.13/487.58	c #Conflicts:     145000 | #Constraints:      17639
486.13/487.58	c #Conflicts:     146000 | #Constraints:      18639
486.13/487.58	c #Conflicts:     147000 | #Constraints:      19639
486.13/487.58	c INPROCESSING
486.13/487.58	c GARBAGE COLLECT
486.13/487.58	c #Conflicts:     148000 | #Constraints:      13038
486.13/487.58	c #Conflicts:     149000 | #Constraints:      14038
486.13/487.58	c #Conflicts:     150000 | #Constraints:      15038
486.13/487.58	c #Conflicts:     151000 | #Constraints:      16038
486.13/487.58	c #Conflicts:     152000 | #Constraints:      17038
486.13/487.58	c #Conflicts:     153000 | #Constraints:      18038
486.13/487.58	c #Conflicts:     154000 | #Constraints:      19038
486.13/487.58	c GLOBAL bounds - >= 0 @ 483.576
582.77/584.46	c #Conflicts:     155000 | #Constraints:      20040
582.77/584.46	c INPROCESSING
582.77/584.46	c GARBAGE COLLECT
582.77/584.46	c #Conflicts:     156000 | #Constraints:      13257
582.77/584.46	c #Conflicts:     157000 | #Constraints:      14257
582.77/584.46	c #Conflicts:     158000 | #Constraints:      15257
582.77/584.46	c #Conflicts:     159000 | #Constraints:      16257
582.77/584.46	c #Conflicts:     160000 | #Constraints:      17257
582.77/584.46	c #Conflicts:     161000 | #Constraints:      18257
582.77/584.46	c #Conflicts:     162000 | #Constraints:      19257
582.77/584.46	c #Conflicts:     163000 | #Constraints:      20257
582.77/584.46	c INPROCESSING
582.77/584.46	c GARBAGE COLLECT
582.77/584.46	c #Conflicts:     164000 | #Constraints:      13246
582.77/584.46	c #Conflicts:     165000 | #Constraints:      14246
582.77/584.46	c #Conflicts:     166000 | #Constraints:      15246
582.77/584.46	c #Conflicts:     167000 | #Constraints:      16246
582.77/584.46	c #Conflicts:     168000 | #Constraints:      17246
582.77/584.46	c #Conflicts:     169000 | #Constraints:      18246
582.77/584.46	c #Conflicts:     170000 | #Constraints:      19246
582.77/584.46	c #Conflicts:     171000 | #Constraints:      20246
582.77/584.46	c INPROCESSING
582.77/584.46	c GARBAGE COLLECT
582.77/584.46	c #Conflicts:     172000 | #Constraints:      13041
582.77/584.46	c #Conflicts:     173000 | #Constraints:      14041
582.77/584.46	c #Conflicts:     174000 | #Constraints:      15041
582.77/584.46	c #Conflicts:     175000 | #Constraints:      16041
582.77/584.46	c #Conflicts:     176000 | #Constraints:      17041
582.77/584.46	c GLOBAL bounds - >= 0 @ 579.802
860.11/862.53	c #Conflicts:     177000 | #Constraints:      18043
860.11/862.53	c #Conflicts:     178000 | #Constraints:      19043
860.11/862.53	c #Conflicts:     179000 | #Constraints:      20043
860.11/862.53	c #Conflicts:     180000 | #Constraints:      21043
860.11/862.53	c INPROCESSING
860.11/862.53	c GARBAGE COLLECT
860.11/862.53	c #Conflicts:     181000 | #Constraints:      13649
860.11/862.53	c #Conflicts:     182000 | #Constraints:      14649
860.11/862.53	c #Conflicts:     183000 | #Constraints:      15649
860.11/862.53	c #Conflicts:     184000 | #Constraints:      16649
860.11/862.53	c #Conflicts:     185000 | #Constraints:      17649
860.11/862.53	c #Conflicts:     186000 | #Constraints:      18649
860.11/862.53	c #Conflicts:     187000 | #Constraints:      19649
860.11/862.53	c #Conflicts:     188000 | #Constraints:      20649
860.11/862.53	c #Conflicts:     189000 | #Constraints:      21649
860.11/862.53	c INPROCESSING
860.11/862.53	c GARBAGE COLLECT
860.11/862.53	c #Conflicts:     190000 | #Constraints:      14051
860.11/862.53	c #Conflicts:     191000 | #Constraints:      15051
860.11/862.53	c #Conflicts:     192000 | #Constraints:      16051
860.11/862.53	c #Conflicts:     193000 | #Constraints:      17051
860.11/862.53	c #Conflicts:     194000 | #Constraints:      18051
860.11/862.53	c #Conflicts:     195000 | #Constraints:      19051
860.11/862.53	c #Conflicts:     196000 | #Constraints:      20051
860.11/862.53	c #Conflicts:     197000 | #Constraints:      21051
860.11/862.53	c #Conflicts:     198000 | #Constraints:      22051
860.11/862.53	c INPROCESSING
860.11/862.53	c GARBAGE COLLECT
860.11/862.53	c #Conflicts:     199000 | #Constraints:      14245
860.11/862.53	c #Conflicts:     200000 | #Constraints:      15245
860.11/862.53	c #Conflicts:     201000 | #Constraints:      16245
860.11/862.53	c #Conflicts:     202000 | #Constraints:      17245
860.11/862.53	c #Conflicts:     203000 | #Constraints:      18245
860.11/862.53	c #Conflicts:     204000 | #Constraints:      19245
860.11/862.53	c #Conflicts:     205000 | #Constraints:      20245
860.11/862.53	c #Conflicts:     206000 | #Constraints:      21245
860.11/862.53	c #Conflicts:     207000 | #Constraints:      22245
860.11/862.53	c INPROCESSING
860.11/862.53	c GARBAGE COLLECT
860.11/862.53	c #Conflicts:     208000 | #Constraints:      14237
860.11/862.53	c #Conflicts:     209000 | #Constraints:      15237
860.11/862.53	c #Conflicts:     210000 | #Constraints:      16237
860.11/862.53	c #Conflicts:     211000 | #Constraints:      17237
860.11/862.53	c #Conflicts:     212000 | #Constraints:      18237
860.11/862.53	c #Conflicts:     213000 | #Constraints:      19237
860.11/862.53	c #Conflicts:     214000 | #Constraints:      20237
860.11/862.53	c #Conflicts:     215000 | #Constraints:      21237
860.11/862.53	c #Conflicts:     216000 | #Constraints:      22237
860.11/862.53	c INPROCESSING
860.11/862.53	c GARBAGE COLLECT
860.11/862.53	c #Conflicts:     217000 | #Constraints:      14040
860.11/862.53	c #Conflicts:     218000 | #Constraints:      15040
860.11/862.53	c #Conflicts:     219000 | #Constraints:      16040
860.11/862.53	c #Conflicts:     220000 | #Constraints:      17040
860.11/862.53	c #Conflicts:     221000 | #Constraints:      18040
860.11/862.53	c #Conflicts:     222000 | #Constraints:      19040
860.11/862.53	c #Conflicts:     223000 | #Constraints:      20040
860.11/862.53	c #Conflicts:     224000 | #Constraints:      21040
860.11/862.53	c #Conflicts:     225000 | #Constraints:      22040
860.11/862.53	c #Conflicts:     226000 | #Constraints:      23040
860.11/862.53	c INPROCESSING
860.11/862.53	c GARBAGE COLLECT
860.11/862.53	c #Conflicts:     227000 | #Constraints:      14644
860.11/862.53	c #Conflicts:     228000 | #Constraints:      15644
860.11/862.53	c #Conflicts:     229000 | #Constraints:      16644
860.11/862.53	c #Conflicts:     230000 | #Constraints:      17644
860.11/862.53	c #Conflicts:     231000 | #Constraints:      18644
860.11/862.53	c #Conflicts:     232000 | #Constraints:      19644
860.11/862.53	c #Conflicts:     233000 | #Constraints:      20644
860.11/862.53	c #Conflicts:     234000 | #Constraints:      21644
860.11/862.53	c #Conflicts:     235000 | #Constraints:      22644
860.11/862.53	c #Conflicts:     236000 | #Constraints:      23644
860.11/862.53	c INPROCESSING
860.11/862.53	c GARBAGE COLLECT
860.11/862.53	c #Conflicts:     237000 | #Constraints:      15048
860.11/862.53	c #Conflicts:     238000 | #Constraints:      16048
860.11/862.53	c #Conflicts:     239000 | #Constraints:      17048
860.11/862.53	c #Conflicts:     240000 | #Constraints:      18048
860.11/862.53	c #Conflicts:     241000 | #Constraints:      19048
860.11/862.53	c #Conflicts:     242000 | #Constraints:      20048
860.11/862.53	c #Conflicts:     243000 | #Constraints:      21048
860.11/862.53	c #Conflicts:     244000 | #Constraints:      22048
860.11/862.53	c #Conflicts:     245000 | #Constraints:      23048
860.11/862.53	c #Conflicts:     246000 | #Constraints:      24048
860.11/862.53	c INPROCESSING
860.11/862.53	c GARBAGE COLLECT
860.11/862.53	c #Conflicts:     247000 | #Constraints:      15235
860.11/862.53	c #Conflicts:     248000 | #Constraints:      16235
860.11/862.53	c #Conflicts:     249000 | #Constraints:      17235
860.11/862.53	c #Conflicts:     250000 | #Constraints:      18235
953.66/956.32	c #Conflicts:     251000 | #Constraints:      19235
953.66/956.32	c #Conflicts:     252000 | #Constraints:      20235
953.66/956.32	c #Conflicts:     253000 | #Constraints:      21235
953.66/956.32	c #Conflicts:     254000 | #Constraints:      22235
953.66/956.32	c #Conflicts:     255000 | #Constraints:      23235
953.66/956.32	c #Conflicts:     256000 | #Constraints:      24235
953.66/956.32	c INPROCESSING
953.66/956.32	c GARBAGE COLLECT
953.66/956.32	c #Conflicts:     257000 | #Constraints:      15241
953.66/956.32	c #Conflicts:     258000 | #Constraints:      16241
953.66/956.32	c #Conflicts:     259000 | #Constraints:      17241
953.66/956.32	c #Conflicts:     260000 | #Constraints:      18241
953.66/956.32	c #Conflicts:     261000 | #Constraints:      19241
953.66/956.32	c #Conflicts:     262000 | #Constraints:      20241
953.66/956.32	c #Conflicts:     263000 | #Constraints:      21241
953.66/956.32	c #Conflicts:     264000 | #Constraints:      22241
953.66/956.32	c #Conflicts:     265000 | #Constraints:      23241
953.66/956.32	c #Conflicts:     266000 | #Constraints:      24241
953.66/956.32	c GLOBAL bounds - >= 0 @ 949.221
1109.05/1112.14	c INPROCESSING
1109.05/1112.14	c GARBAGE COLLECT
1109.05/1112.14	c #Conflicts:     267000 | #Constraints:      15052
1109.05/1112.14	c #Conflicts:     268000 | #Constraints:      16052
1109.05/1112.14	c #Conflicts:     269000 | #Constraints:      17052
1109.05/1112.14	c #Conflicts:     270000 | #Constraints:      18052
1109.05/1112.14	c #Conflicts:     271000 | #Constraints:      19052
1109.05/1112.14	c #Conflicts:     272000 | #Constraints:      20052
1109.05/1112.14	c #Conflicts:     273000 | #Constraints:      21052
1109.05/1112.14	c #Conflicts:     274000 | #Constraints:      22052
1109.05/1112.14	c #Conflicts:     275000 | #Constraints:      23052
1109.05/1112.14	c #Conflicts:     276000 | #Constraints:      24052
1109.05/1112.14	c #Conflicts:     277000 | #Constraints:      25052
1109.05/1112.14	c INPROCESSING
1109.05/1112.14	c GARBAGE COLLECT
1109.05/1112.14	c #Conflicts:     278000 | #Constraints:      15624
1109.05/1112.14	c #Conflicts:     279000 | #Constraints:      16624
1109.05/1112.14	c #Conflicts:     280000 | #Constraints:      17624
1109.05/1112.14	c #Conflicts:     281000 | #Constraints:      18624
1109.05/1112.14	c #Conflicts:     282000 | #Constraints:      19624
1109.05/1112.14	c #Conflicts:     283000 | #Constraints:      20624
1109.05/1112.14	c #Conflicts:     284000 | #Constraints:      21624
1109.05/1112.14	c #Conflicts:     285000 | #Constraints:      22624
1109.05/1112.14	c #Conflicts:     286000 | #Constraints:      23624
1109.05/1112.14	c #Conflicts:     287000 | #Constraints:      24624
1109.05/1112.14	c #Conflicts:     288000 | #Constraints:      25624
1109.05/1112.14	c INPROCESSING
1109.05/1112.14	c GARBAGE COLLECT
1109.05/1112.14	c #Conflicts:     289000 | #Constraints:      16026
1109.05/1112.14	c #Conflicts:     290000 | #Constraints:      17026
1109.05/1112.14	c #Conflicts:     291000 | #Constraints:      18026
1109.05/1112.14	c #Conflicts:     292000 | #Constraints:      19026
1109.05/1112.14	c #Conflicts:     293000 | #Constraints:      20026
1109.05/1112.14	c #Conflicts:     294000 | #Constraints:      21026
1109.05/1112.14	c #Conflicts:     295000 | #Constraints:      22026
1109.05/1112.14	c #Conflicts:     296000 | #Constraints:      23026
1109.05/1112.14	c #Conflicts:     297000 | #Constraints:      24026
1109.05/1112.14	c GLOBAL bounds - >= 0 @ 1104.06
1353.58/1357.39	c #Conflicts:     298000 | #Constraints:      25028
1353.58/1357.39	c #Conflicts:     299000 | #Constraints:      26028
1353.58/1357.39	c INPROCESSING
1353.58/1357.39	c GARBAGE COLLECT
1353.58/1357.39	c #Conflicts:     300000 | #Constraints:      16246
1353.58/1357.39	c #Conflicts:     301000 | #Constraints:      17246
1353.58/1357.39	c #Conflicts:     302000 | #Constraints:      18246
1353.58/1357.39	c #Conflicts:     303000 | #Constraints:      19246
1353.58/1357.39	c #Conflicts:     304000 | #Constraints:      20246
1353.58/1357.39	c #Conflicts:     305000 | #Constraints:      21246
1353.58/1357.39	c #Conflicts:     306000 | #Constraints:      22246
1353.58/1357.39	c #Conflicts:     307000 | #Constraints:      23246
1353.58/1357.39	c #Conflicts:     308000 | #Constraints:      24246
1353.58/1357.39	c #Conflicts:     309000 | #Constraints:      25246
1353.58/1357.39	c #Conflicts:     310000 | #Constraints:      26246
1353.58/1357.39	c INPROCESSING
1353.58/1357.39	c GARBAGE COLLECT
1353.58/1357.39	c #Conflicts:     311000 | #Constraints:      16243
1353.58/1357.39	c #Conflicts:     312000 | #Constraints:      17243
1353.58/1357.39	c #Conflicts:     313000 | #Constraints:      18243
1353.58/1357.39	c #Conflicts:     314000 | #Constraints:      19243
1353.58/1357.39	c #Conflicts:     315000 | #Constraints:      20243
1353.58/1357.39	c #Conflicts:     316000 | #Constraints:      21243
1353.58/1357.39	c #Conflicts:     317000 | #Constraints:      22243
1353.58/1357.39	c #Conflicts:     318000 | #Constraints:      23243
1353.58/1357.39	c #Conflicts:     319000 | #Constraints:      24243
1353.58/1357.39	c #Conflicts:     320000 | #Constraints:      25243
1353.58/1357.39	c #Conflicts:     321000 | #Constraints:      26243
1353.58/1357.39	c INPROCESSING
1353.58/1357.39	c GARBAGE COLLECT
1353.58/1357.39	c #Conflicts:     322000 | #Constraints:      16031
1353.58/1357.39	c #Conflicts:     323000 | #Constraints:      17031
1353.58/1357.39	c #Conflicts:     324000 | #Constraints:      18031
1353.58/1357.39	c #Conflicts:     325000 | #Constraints:      19031
1353.58/1357.39	c #Conflicts:     326000 | #Constraints:      20031
1353.58/1357.39	c #Conflicts:     327000 | #Constraints:      21031
1353.58/1357.39	c #Conflicts:     328000 | #Constraints:      22031
1353.58/1357.39	c #Conflicts:     329000 | #Constraints:      23031
1353.58/1357.39	c #Conflicts:     330000 | #Constraints:      24031
1353.58/1357.39	c #Conflicts:     331000 | #Constraints:      25031
1353.58/1357.39	c #Conflicts:     332000 | #Constraints:      26031
1353.58/1357.39	c #Conflicts:     333000 | #Constraints:      27031
1353.58/1357.39	c INPROCESSING
1353.58/1357.39	c GARBAGE COLLECT
1353.58/1357.39	c #Conflicts:     334000 | #Constraints:      16624
1353.58/1357.39	c #Conflicts:     335000 | #Constraints:      17624
1353.58/1357.39	c #Conflicts:     336000 | #Constraints:      18624
1353.58/1357.39	c #Conflicts:     337000 | #Constraints:      19624
1353.58/1357.39	c #Conflicts:     338000 | #Constraints:      20624
1353.58/1357.39	c #Conflicts:     339000 | #Constraints:      21624
1353.58/1357.39	c #Conflicts:     340000 | #Constraints:      22624
1353.58/1357.39	c #Conflicts:     341000 | #Constraints:      23624
1353.58/1357.39	c #Conflicts:     342000 | #Constraints:      24624
1353.58/1357.39	c #Conflicts:     343000 | #Constraints:      25624
1353.58/1357.39	c GLOBAL bounds - >= 0 @ 1347.84
1468.87/1472.94	c #Conflicts:     344000 | #Constraints:      26626
1468.87/1472.94	c #Conflicts:     345000 | #Constraints:      27626
1468.87/1472.94	c INPROCESSING
1468.87/1472.94	c GARBAGE COLLECT
1468.87/1472.94	c #Conflicts:     346000 | #Constraints:      17033
1468.87/1472.94	c #Conflicts:     347000 | #Constraints:      18033
1468.87/1472.94	c #Conflicts:     348000 | #Constraints:      19033
1468.87/1472.94	c #Conflicts:     349000 | #Constraints:      20033
1468.87/1472.94	c #Conflicts:     350000 | #Constraints:      21033
1468.87/1472.94	c #Conflicts:     351000 | #Constraints:      22033
1468.87/1472.94	c #Conflicts:     352000 | #Constraints:      23033
1468.87/1472.94	c #Conflicts:     353000 | #Constraints:      24033
1468.87/1472.94	c #Conflicts:     354000 | #Constraints:      25033
1468.87/1472.94	c #Conflicts:     355000 | #Constraints:      26033
1468.87/1472.94	c #Conflicts:     356000 | #Constraints:      27033
1468.87/1472.94	c #Conflicts:     357000 | #Constraints:      28033
1468.87/1472.94	c INPROCESSING
1468.87/1472.94	c GARBAGE COLLECT
1468.87/1472.94	c #Conflicts:     358000 | #Constraints:      17225
1468.87/1472.94	c #Conflicts:     359000 | #Constraints:      18225
1468.87/1472.94	c #Conflicts:     360000 | #Constraints:      19225
1468.87/1472.94	c #Conflicts:     361000 | #Constraints:      20225
1468.87/1472.94	c #Conflicts:     362000 | #Constraints:      21225
1468.87/1472.94	c #Conflicts:     363000 | #Constraints:      22225
1468.87/1472.94	c #Conflicts:     364000 | #Constraints:      23225
1468.87/1472.94	c #Conflicts:     365000 | #Constraints:      24225
1468.87/1472.94	c #Conflicts:     366000 | #Constraints:      25225
1468.87/1472.94	c GLOBAL bounds - >= 0 @ 1462.72
1489.52/1493.61	c #Conflicts:     367000 | #Constraints:      26227
1489.52/1493.61	c #Conflicts:     368000 | #Constraints:      27227
1489.52/1493.61	c #Conflicts:     369000 | #Constraints:      28227
1489.52/1493.61	c INPROCESSING
1489.52/1493.61	c GARBAGE COLLECT
1489.52/1493.61	c #Conflicts:     370000 | #Constraints:      17236
1489.52/1493.61	c #Conflicts:     371000 | #Constraints:      18236
1489.52/1493.61	c GLOBAL bounds - >= 0 @ 1483.26
1829.20/1834.26	c #Conflicts:     372000 | #Constraints:      19238
1829.20/1834.26	c #Conflicts:     373000 | #Constraints:      20238
1829.20/1834.26	c #Conflicts:     374000 | #Constraints:      21238
1829.20/1834.26	c #Conflicts:     375000 | #Constraints:      22238
1829.20/1834.26	c #Conflicts:     376000 | #Constraints:      23238
1829.20/1834.26	c #Conflicts:     377000 | #Constraints:      24238
1829.20/1834.26	c #Conflicts:     378000 | #Constraints:      25238
1829.20/1834.26	c #Conflicts:     379000 | #Constraints:      26238
1829.20/1834.26	c #Conflicts:     380000 | #Constraints:      27238
1829.20/1834.26	c #Conflicts:     381000 | #Constraints:      28238
1829.20/1834.26	c INPROCESSING
1829.20/1834.26	c GARBAGE COLLECT
1829.20/1834.26	c #Conflicts:     382000 | #Constraints:      17043
1829.20/1834.26	c #Conflicts:     383000 | #Constraints:      18043
1829.20/1834.26	c #Conflicts:     384000 | #Constraints:      19043
1829.20/1834.26	c #Conflicts:     385000 | #Constraints:      20043
1829.20/1834.26	c #Conflicts:     386000 | #Constraints:      21043
1829.20/1834.26	c #Conflicts:     387000 | #Constraints:      22043
1829.20/1834.26	c #Conflicts:     388000 | #Constraints:      23043
1829.20/1834.26	c #Conflicts:     389000 | #Constraints:      24043
1829.20/1834.26	c #Conflicts:     390000 | #Constraints:      25043
1829.20/1834.26	c #Conflicts:     391000 | #Constraints:      26043
1829.20/1834.26	c #Conflicts:     392000 | #Constraints:      27043
1829.20/1834.26	c #Conflicts:     393000 | #Constraints:      28043
1829.20/1834.26	c #Conflicts:     394000 | #Constraints:      29043
1829.20/1834.26	c INPROCESSING
1829.20/1834.26	c GARBAGE COLLECT
1829.20/1834.26	c #Conflicts:     395000 | #Constraints:      17644
1829.20/1834.26	c #Conflicts:     396000 | #Constraints:      18644
1829.20/1834.26	c #Conflicts:     397000 | #Constraints:      19644
1829.20/1834.26	c #Conflicts:     398000 | #Constraints:      20644
1829.20/1834.26	c #Conflicts:     399000 | #Constraints:      21644
1829.20/1834.26	c #Conflicts:     400000 | #Constraints:      22644
1829.20/1834.26	c #Conflicts:     401000 | #Constraints:      23644
1829.20/1834.26	c #Conflicts:     402000 | #Constraints:      24644
1829.20/1834.26	c #Conflicts:     403000 | #Constraints:      25644
1829.20/1834.26	c #Conflicts:     404000 | #Constraints:      26644
1829.20/1834.26	c #Conflicts:     405000 | #Constraints:      27644
1829.20/1834.26	c #Conflicts:     406000 | #Constraints:      28644
1829.20/1834.26	c #Conflicts:     407000 | #Constraints:      29644
1829.20/1834.26	c INPROCESSING
1829.20/1834.26	c GARBAGE COLLECT
1829.20/1834.26	c #Conflicts:     408000 | #Constraints:      18041
1829.20/1834.26	c #Conflicts:     409000 | #Constraints:      19041
1829.20/1834.26	c #Conflicts:     410000 | #Constraints:      20041
1829.20/1834.26	c #Conflicts:     411000 | #Constraints:      21041
1829.20/1834.26	c #Conflicts:     412000 | #Constraints:      22041
1829.20/1834.26	c #Conflicts:     413000 | #Constraints:      23041
1829.20/1834.26	c #Conflicts:     414000 | #Constraints:      24041
1829.20/1834.26	c #Conflicts:     415000 | #Constraints:      25041
1829.20/1834.26	c #Conflicts:     416000 | #Constraints:      26041
1829.20/1834.26	c #Conflicts:     417000 | #Constraints:      27041
1829.20/1834.26	c #Conflicts:     418000 | #Constraints:      28041
1829.20/1834.26	c #Conflicts:     419000 | #Constraints:      29041
1829.20/1834.26	c #Conflicts:     420000 | #Constraints:      30041
1829.20/1834.26	c INPROCESSING
1829.20/1834.26	c GARBAGE COLLECT
1829.20/1834.26	c #Conflicts:     421000 | #Constraints:      18243
1829.20/1834.26	c #Conflicts:     422000 | #Constraints:      19243
1829.20/1834.26	c #Conflicts:     423000 | #Constraints:      20243
1829.20/1834.26	c #Conflicts:     424000 | #Constraints:      21243
1829.20/1834.26	c #Conflicts:     425000 | #Constraints:      22243
1829.20/1834.26	c #Conflicts:     426000 | #Constraints:      23243
1829.20/1834.26	c #Conflicts:     427000 | #Constraints:      24243
1829.20/1834.26	c #Conflicts:     428000 | #Constraints:      25243
1829.20/1834.26	c #Conflicts:     429000 | #Constraints:      26243
1829.20/1834.26	c #Conflicts:     430000 | #Constraints:      27243
1829.20/1834.26	c #Conflicts:     431000 | #Constraints:      28243
1829.20/1834.26	c #Conflicts:     432000 | #Constraints:      29243
1829.20/1834.26	c #Conflicts:     433000 | #Constraints:      30243
1829.20/1834.26	c INPROCESSING
1829.20/1834.26	c GARBAGE COLLECT
1829.20/1834.26	c #Conflicts:     434000 | #Constraints:      18242
1829.20/1834.26	c #Conflicts:     435000 | #Constraints:      19242
1829.20/1834.26	c #Conflicts:     436000 | #Constraints:      20242
1829.20/1834.26	c #Conflicts:     437000 | #Constraints:      21242
1829.20/1834.26	c #Conflicts:     438000 | #Constraints:      22242
1829.20/1834.26	c #Conflicts:     439000 | #Constraints:      23242
1829.20/1834.26	c #Conflicts:     440000 | #Constraints:      24242
1829.20/1834.26	c #Conflicts:     441000 | #Constraints:      25242
1829.20/1834.26	c #Conflicts:     442000 | #Constraints:      26242
1829.20/1834.26	c #Conflicts:     443000 | #Constraints:      27242
1829.20/1834.26	c #Conflicts:     444000 | #Constraints:      28242
1829.20/1834.26	c #Conflicts:     445000 | #Constraints:      29242
1829.20/1834.26	c #Conflicts:     446000 | #Constraints:      30242
1829.20/1834.26	c INPROCESSING
1829.20/1834.26	c GARBAGE COLLECT
1928.54/1933.81	c #Conflicts:     447000 | #Constraints:      18038
1928.54/1933.81	c #Conflicts:     448000 | #Constraints:      19038
1928.54/1933.81	c #Conflicts:     449000 | #Constraints:      20038
1928.54/1933.81	c #Conflicts:     450000 | #Constraints:      21038
1928.54/1933.81	c #Conflicts:     451000 | #Constraints:      22038
1928.54/1933.81	c #Conflicts:     452000 | #Constraints:      23038
1928.54/1933.81	c #Conflicts:     453000 | #Constraints:      24038
1928.54/1933.81	c #Conflicts:     454000 | #Constraints:      25038
1928.54/1933.81	c #Conflicts:     455000 | #Constraints:      26038
1928.54/1933.81	c #Conflicts:     456000 | #Constraints:      27038
1928.54/1933.81	c #Conflicts:     457000 | #Constraints:      28038
1928.54/1933.81	c #Conflicts:     458000 | #Constraints:      29038
1928.54/1933.81	c #Conflicts:     459000 | #Constraints:      30038
1928.54/1933.81	c #Conflicts:     460000 | #Constraints:      31038
1928.54/1933.81	c INPROCESSING
1928.54/1933.81	c GARBAGE COLLECT
1928.54/1933.81	c #Conflicts:     461000 | #Constraints:      18640
1928.54/1933.81	c #Conflicts:     462000 | #Constraints:      19640
1928.54/1933.81	c #Conflicts:     463000 | #Constraints:      20640
1928.54/1933.81	c GLOBAL bounds - >= 0 @ 1920.65
1931.93/1937.28	c #Conflicts:     464000 | #Constraints:      21642
1931.93/1937.28	c #Conflicts:     465000 | #Constraints:      22642
1931.93/1937.28	c #Conflicts:     466000 | #Constraints:      23642
1931.93/1937.28	c #Conflicts:     467000 | #Constraints:      24642
1931.93/1937.28	c GLOBAL bounds - >= 0 @ 1924.07
1937.11/1942.43	c #Conflicts:     468000 | #Constraints:      25644
1937.11/1942.43	c #Conflicts:     469000 | #Constraints:      26644
1937.11/1942.43	c GLOBAL bounds - >= 0 @ 1929.18
2302.86/2309.26	c #Conflicts:     470000 | #Constraints:      27646
2302.86/2309.26	c #Conflicts:     471000 | #Constraints:      28646
2302.86/2309.26	c #Conflicts:     472000 | #Constraints:      29646
2302.86/2309.26	c #Conflicts:     473000 | #Constraints:      30646
2302.86/2309.26	c #Conflicts:     474000 | #Constraints:      31646
2302.86/2309.26	c INPROCESSING
2302.86/2309.26	c GARBAGE COLLECT
2302.86/2309.26	c #Conflicts:     475000 | #Constraints:      19080
2302.86/2309.26	c #Conflicts:     476000 | #Constraints:      20080
2302.86/2309.26	c #Conflicts:     477000 | #Constraints:      21080
2302.86/2309.26	c #Conflicts:     478000 | #Constraints:      22080
2302.86/2309.26	c #Conflicts:     479000 | #Constraints:      23080
2302.86/2309.26	c #Conflicts:     480000 | #Constraints:      24080
2302.86/2309.26	c #Conflicts:     481000 | #Constraints:      25080
2302.86/2309.26	c #Conflicts:     482000 | #Constraints:      26080
2302.86/2309.26	c #Conflicts:     483000 | #Constraints:      27080
2302.86/2309.26	c #Conflicts:     484000 | #Constraints:      28080
2302.86/2309.26	c #Conflicts:     485000 | #Constraints:      29080
2302.86/2309.26	c #Conflicts:     486000 | #Constraints:      30080
2302.86/2309.26	c #Conflicts:     487000 | #Constraints:      31080
2302.86/2309.26	c #Conflicts:     488000 | #Constraints:      32080
2302.86/2309.26	c INPROCESSING
2302.86/2309.26	c GARBAGE COLLECT
2302.86/2309.26	c #Conflicts:     489000 | #Constraints:      19279
2302.86/2309.26	c #Conflicts:     490000 | #Constraints:      20279
2302.86/2309.26	c #Conflicts:     491000 | #Constraints:      21279
2302.86/2309.26	c #Conflicts:     492000 | #Constraints:      22279
2302.86/2309.26	c #Conflicts:     493000 | #Constraints:      23279
2302.86/2309.26	c #Conflicts:     494000 | #Constraints:      24279
2302.86/2309.26	c #Conflicts:     495000 | #Constraints:      25279
2302.86/2309.26	c #Conflicts:     496000 | #Constraints:      26279
2302.86/2309.26	c #Conflicts:     497000 | #Constraints:      27279
2302.86/2309.26	c #Conflicts:     498000 | #Constraints:      28279
2302.86/2309.26	c #Conflicts:     499000 | #Constraints:      29279
2302.86/2309.26	c #Conflicts:     500000 | #Constraints:      30279
2302.86/2309.26	c #Conflicts:     501000 | #Constraints:      31279
2302.86/2309.26	c #Conflicts:     502000 | #Constraints:      32279
2302.86/2309.26	c INPROCESSING
2302.86/2309.26	c GARBAGE COLLECT
2302.86/2309.26	c #Conflicts:     503000 | #Constraints:      19267
2302.86/2309.26	c #Conflicts:     504000 | #Constraints:      20267
2302.86/2309.26	c #Conflicts:     505000 | #Constraints:      21267
2302.86/2309.26	c #Conflicts:     506000 | #Constraints:      22267
2302.86/2309.26	c #Conflicts:     507000 | #Constraints:      23267
2302.86/2309.26	c #Conflicts:     508000 | #Constraints:      24267
2302.86/2309.26	c #Conflicts:     509000 | #Constraints:      25267
2302.86/2309.26	c #Conflicts:     510000 | #Constraints:      26267
2302.86/2309.26	c #Conflicts:     511000 | #Constraints:      27267
2302.86/2309.26	c #Conflicts:     512000 | #Constraints:      28267
2302.86/2309.26	c #Conflicts:     513000 | #Constraints:      29267
2302.86/2309.26	c #Conflicts:     514000 | #Constraints:      30267
2302.86/2309.26	c #Conflicts:     515000 | #Constraints:      31267
2302.86/2309.26	c #Conflicts:     516000 | #Constraints:      32267
2302.86/2309.26	c INPROCESSING
2302.86/2309.26	c GARBAGE COLLECT
2302.86/2309.26	c #Conflicts:     517000 | #Constraints:      19082
2302.86/2309.26	c #Conflicts:     518000 | #Constraints:      20082
2302.86/2309.26	c #Conflicts:     519000 | #Constraints:      21082
2302.86/2309.26	c #Conflicts:     520000 | #Constraints:      22082
2302.86/2309.26	c #Conflicts:     521000 | #Constraints:      23082
2302.86/2309.26	c #Conflicts:     522000 | #Constraints:      24082
2302.86/2309.26	c #Conflicts:     523000 | #Constraints:      25082
2302.86/2309.26	c #Conflicts:     524000 | #Constraints:      26082
2302.86/2309.26	c #Conflicts:     525000 | #Constraints:      27082
2302.86/2309.26	c #Conflicts:     526000 | #Constraints:      28082
2302.86/2309.26	c #Conflicts:     527000 | #Constraints:      29082
2302.86/2309.26	c #Conflicts:     528000 | #Constraints:      30082
2302.86/2309.26	c #Conflicts:     529000 | #Constraints:      31082
2302.86/2309.26	c #Conflicts:     530000 | #Constraints:      32082
2302.86/2309.26	c #Conflicts:     531000 | #Constraints:      33082
2302.86/2309.26	c INPROCESSING
2302.86/2309.26	c GARBAGE COLLECT
2302.86/2309.26	c #Conflicts:     532000 | #Constraints:      19664
2302.86/2309.26	c #Conflicts:     533000 | #Constraints:      20664
2302.86/2309.26	c #Conflicts:     534000 | #Constraints:      21664
2302.86/2309.26	c #Conflicts:     535000 | #Constraints:      22664
2302.86/2309.26	c #Conflicts:     536000 | #Constraints:      23664
2302.86/2309.26	c #Conflicts:     537000 | #Constraints:      24664
2302.86/2309.26	c #Conflicts:     538000 | #Constraints:      25664
2302.86/2309.26	c #Conflicts:     539000 | #Constraints:      26664
2302.86/2309.26	c #Conflicts:     540000 | #Constraints:      27664
2302.86/2309.26	c #Conflicts:     541000 | #Constraints:      28664
2302.86/2309.26	c #Conflicts:     542000 | #Constraints:      29664
2302.86/2309.26	c #Conflicts:     543000 | #Constraints:      30664
2302.86/2309.26	c #Conflicts:     544000 | #Constraints:      31664
2302.86/2309.26	c #Conflicts:     545000 | #Constraints:      32664
2435.98/2442.74	c #Conflicts:     546000 | #Constraints:      33664
2435.98/2442.74	c INPROCESSING
2435.98/2442.74	c GARBAGE COLLECT
2435.98/2442.74	c #Conflicts:     547000 | #Constraints:      20046
2435.98/2442.74	c #Conflicts:     548000 | #Constraints:      21046
2435.98/2442.74	c #Conflicts:     549000 | #Constraints:      22046
2435.98/2442.74	c #Conflicts:     550000 | #Constraints:      23046
2435.98/2442.74	c #Conflicts:     551000 | #Constraints:      24046
2435.98/2442.74	c #Conflicts:     552000 | #Constraints:      25046
2435.98/2442.74	c #Conflicts:     553000 | #Constraints:      26046
2435.98/2442.74	c #Conflicts:     554000 | #Constraints:      27046
2435.98/2442.74	c #Conflicts:     555000 | #Constraints:      28046
2435.98/2442.74	c #Conflicts:     556000 | #Constraints:      29046
2435.98/2442.74	c #Conflicts:     557000 | #Constraints:      30046
2435.98/2442.74	c #Conflicts:     558000 | #Constraints:      31046
2435.98/2442.74	c #Conflicts:     559000 | #Constraints:      32046
2435.98/2442.74	c #Conflicts:     560000 | #Constraints:      33046
2435.98/2442.74	c #Conflicts:     561000 | #Constraints:      34046
2435.98/2442.74	c INPROCESSING
2435.98/2442.74	c GARBAGE COLLECT
2435.98/2442.74	c #Conflicts:     562000 | #Constraints:      20240
2435.98/2442.74	c #Conflicts:     563000 | #Constraints:      21240
2435.98/2442.74	c #Conflicts:     564000 | #Constraints:      22240
2435.98/2442.74	c #Conflicts:     565000 | #Constraints:      23240
2435.98/2442.74	c #Conflicts:     566000 | #Constraints:      24240
2435.98/2442.74	c #Conflicts:     567000 | #Constraints:      25240
2435.98/2442.74	c #Conflicts:     568000 | #Constraints:      26240
2435.98/2442.74	c #Conflicts:     569000 | #Constraints:      27240
2435.98/2442.74	c #Conflicts:     570000 | #Constraints:      28240
2435.98/2442.74	c #Conflicts:     571000 | #Constraints:      29240
2435.98/2442.74	c GLOBAL bounds - >= 0 @ 2426.14
2447.16/2453.96	c #Conflicts:     572000 | #Constraints:      30242
2447.16/2453.96	c #Conflicts:     573000 | #Constraints:      31242
2447.16/2453.96	c #Conflicts:     574000 | #Constraints:      32242
2447.16/2453.96	c #Conflicts:     575000 | #Constraints:      33242
2447.16/2453.96	c GLOBAL bounds - >= 0 @ 2437.29
2476.09/2482.94	c #Conflicts:     576000 | #Constraints:      34244
2476.09/2482.94	c INPROCESSING
2476.09/2482.94	c GARBAGE COLLECT
2476.09/2482.94	c #Conflicts:     577000 | #Constraints:      20250
2476.09/2482.94	c #Conflicts:     578000 | #Constraints:      21250
2476.09/2482.94	c #Conflicts:     579000 | #Constraints:      22250
2476.09/2482.94	c #Conflicts:     580000 | #Constraints:      23250
2476.09/2482.94	c #Conflicts:     581000 | #Constraints:      24250
2476.09/2482.94	c #Conflicts:     582000 | #Constraints:      25250
2476.09/2482.94	c #Conflicts:     583000 | #Constraints:      26250
2476.09/2482.94	c GLOBAL bounds - >= 0 @ 2466.12
2488.85/2495.73	c #Conflicts:     584000 | #Constraints:      27252
2488.85/2495.73	c #Conflicts:     585000 | #Constraints:      28252
2488.85/2495.73	c GLOBAL bounds - >= 0 @ 2478.85
2927.48/2935.47	c #Conflicts:     586000 | #Constraints:      29254
2927.48/2935.47	c #Conflicts:     587000 | #Constraints:      30254
2927.48/2935.47	c #Conflicts:     588000 | #Constraints:      31254
2927.48/2935.47	c #Conflicts:     589000 | #Constraints:      32254
2927.48/2935.47	c #Conflicts:     590000 | #Constraints:      33254
2927.48/2935.47	c #Conflicts:     591000 | #Constraints:      34254
2927.48/2935.47	c INPROCESSING
2927.48/2935.47	c GARBAGE COLLECT
2927.48/2935.47	c #Conflicts:     592000 | #Constraints:      20041
2927.48/2935.47	c #Conflicts:     593000 | #Constraints:      21041
2927.48/2935.47	c #Conflicts:     594000 | #Constraints:      22041
2927.48/2935.47	c #Conflicts:     595000 | #Constraints:      23041
2927.48/2935.47	c #Conflicts:     596000 | #Constraints:      24041
2927.48/2935.47	c #Conflicts:     597000 | #Constraints:      25041
2927.48/2935.47	c #Conflicts:     598000 | #Constraints:      26041
2927.48/2935.47	c #Conflicts:     599000 | #Constraints:      27041
2927.48/2935.47	c #Conflicts:     600000 | #Constraints:      28041
2927.48/2935.47	c #Conflicts:     601000 | #Constraints:      29041
2927.48/2935.47	c #Conflicts:     602000 | #Constraints:      30041
2927.48/2935.47	c #Conflicts:     603000 | #Constraints:      31041
2927.48/2935.47	c #Conflicts:     604000 | #Constraints:      32041
2927.48/2935.47	c #Conflicts:     605000 | #Constraints:      33041
2927.48/2935.47	c #Conflicts:     606000 | #Constraints:      34041
2927.48/2935.47	c #Conflicts:     607000 | #Constraints:      35041
2927.48/2935.47	c INPROCESSING
2927.48/2935.47	c GARBAGE COLLECT
2927.48/2935.47	c #Conflicts:     608000 | #Constraints:      20641
2927.48/2935.47	c #Conflicts:     609000 | #Constraints:      21641
2927.48/2935.47	c #Conflicts:     610000 | #Constraints:      22641
2927.48/2935.47	c #Conflicts:     611000 | #Constraints:      23641
2927.48/2935.47	c #Conflicts:     612000 | #Constraints:      24641
2927.48/2935.47	c #Conflicts:     613000 | #Constraints:      25641
2927.48/2935.47	c #Conflicts:     614000 | #Constraints:      26641
2927.48/2935.47	c #Conflicts:     615000 | #Constraints:      27641
2927.48/2935.47	c #Conflicts:     616000 | #Constraints:      28641
2927.48/2935.47	c #Conflicts:     617000 | #Constraints:      29641
2927.48/2935.47	c #Conflicts:     618000 | #Constraints:      30641
2927.48/2935.47	c #Conflicts:     619000 | #Constraints:      31641
2927.48/2935.47	c #Conflicts:     620000 | #Constraints:      32641
2927.48/2935.47	c #Conflicts:     621000 | #Constraints:      33641
2927.48/2935.47	c #Conflicts:     622000 | #Constraints:      34641
2927.48/2935.47	c #Conflicts:     623000 | #Constraints:      35641
2927.48/2935.47	c INPROCESSING
2927.48/2935.47	c GARBAGE COLLECT
2927.48/2935.47	c #Conflicts:     624000 | #Constraints:      21040
2927.48/2935.47	c #Conflicts:     625000 | #Constraints:      22040
2927.48/2935.47	c #Conflicts:     626000 | #Constraints:      23040
2927.48/2935.47	c #Conflicts:     627000 | #Constraints:      24040
2927.48/2935.47	c #Conflicts:     628000 | #Constraints:      25040
2927.48/2935.47	c #Conflicts:     629000 | #Constraints:      26040
2927.48/2935.47	c #Conflicts:     630000 | #Constraints:      27040
2927.48/2935.47	c #Conflicts:     631000 | #Constraints:      28040
2927.48/2935.47	c #Conflicts:     632000 | #Constraints:      29040
2927.48/2935.47	c #Conflicts:     633000 | #Constraints:      30040
2927.48/2935.47	c #Conflicts:     634000 | #Constraints:      31040
2927.48/2935.47	c #Conflicts:     635000 | #Constraints:      32040
2927.48/2935.47	c #Conflicts:     636000 | #Constraints:      33040
2927.48/2935.47	c #Conflicts:     637000 | #Constraints:      34040
2927.48/2935.47	c #Conflicts:     638000 | #Constraints:      35040
2927.48/2935.47	c #Conflicts:     639000 | #Constraints:      36040
2927.48/2935.47	c INPROCESSING
2927.48/2935.47	c GARBAGE COLLECT
2927.48/2935.47	c #Conflicts:     640000 | #Constraints:      21229
2927.48/2935.47	c #Conflicts:     641000 | #Constraints:      22229
2927.48/2935.47	c #Conflicts:     642000 | #Constraints:      23229
2927.48/2935.47	c #Conflicts:     643000 | #Constraints:      24229
2927.48/2935.47	c #Conflicts:     644000 | #Constraints:      25229
2927.48/2935.47	c #Conflicts:     645000 | #Constraints:      26229
2927.48/2935.47	c #Conflicts:     646000 | #Constraints:      27229
2927.48/2935.47	c #Conflicts:     647000 | #Constraints:      28229
2927.48/2935.47	c #Conflicts:     648000 | #Constraints:      29229
2927.48/2935.47	c #Conflicts:     649000 | #Constraints:      30229
2927.48/2935.47	c #Conflicts:     650000 | #Constraints:      31229
2927.48/2935.47	c #Conflicts:     651000 | #Constraints:      32229
2927.48/2935.47	c #Conflicts:     652000 | #Constraints:      33229
2927.48/2935.47	c GLOBAL bounds - >= 0 @ 2916.39
3412.15/3421.21	c #Conflicts:     653000 | #Constraints:      34231
3412.15/3421.21	c #Conflicts:     654000 | #Constraints:      35231
3412.15/3421.21	c #Conflicts:     655000 | #Constraints:      36231
3412.15/3421.21	c INPROCESSING
3412.15/3421.21	c GARBAGE COLLECT
3412.15/3421.21	c #Conflicts:     656000 | #Constraints:      21231
3412.15/3421.21	c #Conflicts:     657000 | #Constraints:      22231
3412.15/3421.21	c #Conflicts:     658000 | #Constraints:      23231
3412.15/3421.21	c #Conflicts:     659000 | #Constraints:      24231
3412.15/3421.21	c #Conflicts:     660000 | #Constraints:      25231
3412.15/3421.21	c #Conflicts:     661000 | #Constraints:      26231
3412.15/3421.21	c #Conflicts:     662000 | #Constraints:      27231
3412.15/3421.21	c #Conflicts:     663000 | #Constraints:      28231
3412.15/3421.21	c #Conflicts:     664000 | #Constraints:      29231
3412.15/3421.21	c #Conflicts:     665000 | #Constraints:      30231
3412.15/3421.21	c #Conflicts:     666000 | #Constraints:      31231
3412.15/3421.21	c #Conflicts:     667000 | #Constraints:      32231
3412.15/3421.21	c #Conflicts:     668000 | #Constraints:      33231
3412.15/3421.21	c #Conflicts:     669000 | #Constraints:      34231
3412.15/3421.21	c #Conflicts:     670000 | #Constraints:      35231
3412.15/3421.21	c #Conflicts:     671000 | #Constraints:      36231
3412.15/3421.21	c INPROCESSING
3412.15/3421.21	c GARBAGE COLLECT
3412.15/3421.21	c #Conflicts:     672000 | #Constraints:      21026
3412.15/3421.21	c #Conflicts:     673000 | #Constraints:      22026
3412.15/3421.21	c #Conflicts:     674000 | #Constraints:      23026
3412.15/3421.21	c #Conflicts:     675000 | #Constraints:      24026
3412.15/3421.21	c #Conflicts:     676000 | #Constraints:      25026
3412.15/3421.21	c #Conflicts:     677000 | #Constraints:      26026
3412.15/3421.21	c #Conflicts:     678000 | #Constraints:      27026
3412.15/3421.21	c #Conflicts:     679000 | #Constraints:      28026
3412.15/3421.21	c #Conflicts:     680000 | #Constraints:      29026
3412.15/3421.21	c #Conflicts:     681000 | #Constraints:      30026
3412.15/3421.21	c #Conflicts:     682000 | #Constraints:      31026
3412.15/3421.21	c #Conflicts:     683000 | #Constraints:      32026
3412.15/3421.21	c #Conflicts:     684000 | #Constraints:      33026
3412.15/3421.21	c #Conflicts:     685000 | #Constraints:      34026
3412.15/3421.21	c #Conflicts:     686000 | #Constraints:      35026
3412.15/3421.21	c #Conflicts:     687000 | #Constraints:      36026
3412.15/3421.21	c #Conflicts:     688000 | #Constraints:      37026
3412.15/3421.21	c INPROCESSING
3412.15/3421.21	c GARBAGE COLLECT
3412.15/3421.21	c #Conflicts:     689000 | #Constraints:      21625
3412.15/3421.21	c #Conflicts:     690000 | #Constraints:      22625
3412.15/3421.21	c #Conflicts:     691000 | #Constraints:      23625
3412.15/3421.21	c #Conflicts:     692000 | #Constraints:      24625
3412.15/3421.21	c #Conflicts:     693000 | #Constraints:      25625
3412.15/3421.21	c #Conflicts:     694000 | #Constraints:      26625
3412.15/3421.21	c #Conflicts:     695000 | #Constraints:      27625
3412.15/3421.21	c #Conflicts:     696000 | #Constraints:      28625
3412.15/3421.21	c #Conflicts:     697000 | #Constraints:      29625
3412.15/3421.21	c #Conflicts:     698000 | #Constraints:      30625
3412.15/3421.21	c #Conflicts:     699000 | #Constraints:      31625
3412.15/3421.21	c #Conflicts:     700000 | #Constraints:      32625
3412.15/3421.21	c #Conflicts:     701000 | #Constraints:      33625
3412.15/3421.21	c #Conflicts:     702000 | #Constraints:      34625
3412.15/3421.21	c #Conflicts:     703000 | #Constraints:      35625
3412.15/3421.21	c #Conflicts:     704000 | #Constraints:      36625
3412.15/3421.21	c #Conflicts:     705000 | #Constraints:      37625
3412.15/3421.21	c INPROCESSING
3412.15/3421.21	c GARBAGE COLLECT
3412.15/3421.21	c #Conflicts:     706000 | #Constraints:      22017
3412.15/3421.21	c #Conflicts:     707000 | #Constraints:      23017
3412.15/3421.21	c #Conflicts:     708000 | #Constraints:      24017
3412.15/3421.21	c #Conflicts:     709000 | #Constraints:      25017
3412.15/3421.21	c #Conflicts:     710000 | #Constraints:      26017
3412.15/3421.21	c #Conflicts:     711000 | #Constraints:      27017
3412.15/3421.21	c #Conflicts:     712000 | #Constraints:      28017
3412.15/3421.21	c #Conflicts:     713000 | #Constraints:      29017
3412.15/3421.21	c #Conflicts:     714000 | #Constraints:      30017
3412.15/3421.21	c #Conflicts:     715000 | #Constraints:      31017
3412.15/3421.21	c #Conflicts:     716000 | #Constraints:      32017
3412.15/3421.21	c #Conflicts:     717000 | #Constraints:      33017
3412.15/3421.21	c #Conflicts:     718000 | #Constraints:      34017
3412.15/3421.21	c #Conflicts:     719000 | #Constraints:      35017
3412.15/3421.21	c #Conflicts:     720000 | #Constraints:      36017
3412.15/3421.21	c #Conflicts:     721000 | #Constraints:      37017
3412.15/3421.21	c #Conflicts:     722000 | #Constraints:      38017
3412.15/3421.21	c INPROCESSING
3412.15/3421.21	c GARBAGE COLLECT
3412.15/3421.21	c #Conflicts:     723000 | #Constraints:      22211
3412.15/3421.21	c #Conflicts:     724000 | #Constraints:      23211
3412.15/3421.21	c #Conflicts:     725000 | #Constraints:      24211
3412.15/3421.21	c #Conflicts:     726000 | #Constraints:      25211
3412.15/3421.21	c #Conflicts:     727000 | #Constraints:      26211
3412.15/3421.21	c #Conflicts:     728000 | #Constraints:      27211
3600.02/3609.50	c #Conflicts:     729000 | #Constraints:      28211
3600.02/3609.50	c #Conflicts:     730000 | #Constraints:      29211
3600.02/3609.50	c #Conflicts:     731000 | #Constraints:      30211
3600.02/3609.50	c #Conflicts:     732000 | #Constraints:      31211
3600.02/3609.50	c #Conflicts:     733000 | #Constraints:      32211
3600.02/3609.50	c #Conflicts:     734000 | #Constraints:      33211
3600.02/3609.50	c #Conflicts:     735000 | #Constraints:      34211
3600.02/3609.50	c #Conflicts:     736000 | #Constraints:      35211
3600.02/3609.50	c #Conflicts:     737000 | #Constraints:      36211
3600.02/3609.50	c #Conflicts:     738000 | #Constraints:      37211
3600.02/3609.50	c #Conflicts:     739000 | #Constraints:      38211
3600.02/3609.50	c INPROCESSING
3600.02/3609.50	c GARBAGE COLLECT
3600.02/3609.50	c #Conflicts:     740000 | #Constraints:      22205
3600.02/3609.50	c #Conflicts:     741000 | #Constraints:      23205
3600.02/3609.50	c #Conflicts:     742000 | #Constraints:      24205
3600.02/3609.50	c #Conflicts:     743000 | #Constraints:      25205
3600.02/3609.50	c #Conflicts:     744000 | #Constraints:      26205
3600.02/3609.50	c #Conflicts:     745000 | #Constraints:      27205
3600.02/3609.50	c #Conflicts:     746000 | #Constraints:      28205
3600.02/3609.50	c #Conflicts:     747000 | #Constraints:      29205
3600.02/3609.50	c #Conflicts:     748000 | #Constraints:      30205
3600.02/3609.50	c #Conflicts:     749000 | #Constraints:      31205
3600.02/3609.50	c #Conflicts:     750000 | #Constraints:      32205
3600.02/3609.50	c #Conflicts:     751000 | #Constraints:      33205
3600.02/3609.50	c #Conflicts:     752000 | #Constraints:      34205
3600.02/3609.50	c #Conflicts:     753000 | #Constraints:      35205
3600.02/3609.50	c #Conflicts:     754000 | #Constraints:      36205
3600.02/3609.50	c #Conflicts:     755000 | #Constraints:      37205
3600.02/3609.50	c #Conflicts:     756000 | #Constraints:      38205
3600.02/3609.50	c INPROCESSING
3600.02/3609.50	c GARBAGE COLLECT
3600.02/3609.50	c #Conflicts:     757000 | #Constraints:      22001
3600.02/3609.50	c #Conflicts:     758000 | #Constraints:      23001
3600.02/3609.50	c #Conflicts:     759000 | #Constraints:      24001
3600.02/3609.50	c #Conflicts:     760000 | #Constraints:      25001
3600.02/3609.50	c #Conflicts:     761000 | #Constraints:      26001
3600.02/3609.50	c #Conflicts:     762000 | #Constraints:      27001
3600.02/3609.50	c cpu time 3587.1 s
3600.02/3609.50	c deterministic time 1 1.00e+00
3600.02/3609.50	c optimization time 3587.06 s
3600.02/3609.50	c total solve time 0 s
3600.02/3609.50	c core-guided solve time 0 s
3600.02/3609.50	c propagation time 0.004092 s
3600.02/3609.50	c conflict analysis time 0 s
3600.02/3609.50	c propagations 0
3600.02/3609.50	c resolve steps 0
3600.02/3609.50	c decisions 0
3600.02/3609.50	c conflicts 0
3600.02/3609.50	c restarts 0
3600.02/3609.50	c inprocessing phases 0
3600.02/3609.50	c garbage collections 0 ,( -nan )
3600.02/3609.50	c input clauses 4000 ,( 100.00 )
3600.02/3609.50	c input cardinalities 0 ,( 0.00 )
3600.02/3609.50	c input general constraints 0 ,( 0.00 )
3600.02/3609.50	c input average constraint length 2.00
3600.02/3609.50	c input average constraint degree 1.00
3600.02/3609.50	c learned clauses 0 ,( 0.00 )
3600.02/3609.50	c learned cardinalities 0 ,( 0.00 )
3600.02/3609.50	c learned general constraints 0 ,( 0.00 )
3600.02/3609.50	c learned average constraint length 0.00
3600.02/3609.50	c learned average constraint degree 0.00
3600.02/3609.50	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.02/3609.50	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.02/3609.50	c watched   constraints 0 ,( -nan ) 
3600.02/3609.50	c counting  constraints 0 ,( -nan ) 
3600.02/3609.50	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.02/3609.50	c gcd simplifications 0
3600.02/3609.50	c detected cardinalities 0
3600.02/3609.50	c weakened non-implied lits 0
3600.02/3609.50	c weakened non-implying lits 0
3600.02/3609.50	c original variables 1963
3600.02/3609.50	c clausal propagations 0
3600.02/3609.50	c cardinality propagations 0
3600.02/3609.50	c watched propagations 0
3600.02/3609.50	c counting propagations 0
3600.02/3609.50	c watch lookups 0
3600.02/3609.50	c watch backjump lookups 0
3600.02/3609.50	c watch checks 0
3600.02/3609.50	c propagation checks 0
3600.02/3609.50	c constraint additions 0
3600.02/3609.50	c trail pops 0
3600.02/3609.50	c formula constraints 4000
3600.02/3609.50	c learned constraints 0
3600.02/3609.50	c bound constraints 0
3600.02/3609.50	c core-guided constraints 0
3600.02/3609.50	c encountered formula constraints 0
3600.02/3609.50	c encountered learned constraints 0
3600.02/3609.50	c encountered bound constraints 0
3600.02/3609.50	c encountered core-guided constraints 0
3600.02/3609.50	c LP total time 0 s
3600.02/3609.50	c LP solve time 0 s
3600.02/3609.50	c LP constraints added 0
3600.02/3609.50	c LP constraints removed 0
3600.02/3609.50	c LP pivots internal 0
3600.02/3609.50	c LP pivots root 0
3600.02/3609.50	c LP calls 0
3600.02/3609.50	c LP optimalities 0
3600.02/3609.50	c LP no pivot count 0
3600.02/3609.50	c LP infeasibilities 0
3600.02/3609.50	c LP valid Farkas constraints 0
3600.02/3609.50	c LP learned Farkas constraints 0
3600.02/3609.50	c LP basis resets 0
3600.02/3609.50	c LP cycling count 0
3600.02/3609.50	c LP singular count 0
3600.02/3609.50	c LP no primal count 0
3600.02/3609.50	c LP no farkas count 0
3600.02/3609.50	c LP other issue count 0
3600.02/3609.50	c LP Gomory cuts 0
3600.02/3609.50	c LP learned cuts 0
3600.02/3609.50	c LP deleted cuts 0
3600.02/3609.50	c LP encountered Gomory constraints 0
3600.02/3609.50	c LP encountered Farkas constraints 0
3600.02/3609.50	c LP encountered learned Farkas constraints 0
3600.02/3609.50	c CG auxiliary variables introduced 0
3600.02/3609.50	c CG solutions found 0
3600.02/3609.50	c CG cores constructed 0
3600.02/3609.50	c CG core cardinality constraints returned 0
3600.02/3609.50	c CG unit cores 0
3600.02/3609.50	c CG single cores 0
3600.02/3609.50	c CG blocks removed during cardinality reduction 0
3600.02/3609.50	c CG first core best 0
3600.02/3609.50	c CG decision core best 0
3600.02/3609.50	c CG core reduction tie 0
3600.02/3609.50	c CG core degree average 0.00
3600.02/3609.50	c CG core slack average 0.00
3600.02/3609.50	c CG core upper bound improvements 0
3600.02/3609.50	c STR number of successful calls 0
3600.02/3609.50	c STR number of unsuccessful calls 0
3600.02/3609.50	c STR number of inconclusive calls 0
3600.02/3609.50	c STR number of successful attempts 0
3600.02/3609.50	c STR number of unsuccessful attempts 0
3600.02/3609.50	c STR number of inconclusive attempts 0
3600.02/3609.50	c STR average degree increase per successful call inf
3600.02/3609.50	c STR average degree increase per successful attempt inf
3600.02/3609.50	c STR total number of conflicts for successful attempts 0
3600.02/3609.50	c STR total number of conflicts for unsuccessful attempts 0
3600.02/3609.50	c STR total number of conflicts for inconclusive attempts 0
3600.02/3609.50	c STR average number of conflicts per successful attempt inf
3600.02/3609.50	c STR average number of conflicts per unsuccessful attempt inf
3600.02/3609.50	c STR average number of conflicts per inconclusive attempt inf
3600.02/3609.50	c AVG.sumWPerc -nan 
3600.02/3609.50	c bigint constraints 0 
3600.02/3609.50	s UNKNOWN
3600.02/3609.50	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (61458 MiB free)
  memory of node 1: 64465 MiB (61709 MiB free)
  node distances:
     10  21
     21  10

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

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

solver pid=43938, runsolver pid=43935

[startup+0.100114 s]*
/proc/loadavg: 4.08 4.09 4.11 5/257 43940
/proc/meminfo: memFree=126119764/131382120 swapFree=33010684/33010684
[pid=43938] ppid=43935 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43938/stat : 43938 (run-opt-log.sh) S 43935 43938 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49374614 4292608 736 18446744073709551615 94777441021952 94777441916485 140733115313552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94777442155536 94777442203280 94777451511808 140733115316513 140733115316708 140733115316708 140733115322310 0
/proc/43938/statm: 1048 736 672 219 0 110 0
[pid=43940] ppid=43938 vsize=65764 memory=16020 CPUtime=0.07 cores=4,6
/proc/43940/stat : 43940 (roundingsat) R 43938 43938 41409 0 -1 4194304 2500 0 0 0 6 1 0 0 20 0 1 0 49374616 67342336 4005 18446744073709551615 4227072 8923433 140733952180288 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24522752 140733952186706 140733952186920 140733952186920 140733952192490 0
/proc/43940/statm: 16441 4005 2304 1147 0 3868 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 69956 KiB
Current children cumulated memory: 18964 KiB

[startup+0.213585 s]*
/proc/loadavg: 4.08 4.09 4.11 5/257 43940
/proc/meminfo: memFree=126119764/131382120 swapFree=33010684/33010684
[pid=43938] ppid=43935 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43938/stat : 43938 (run-opt-log.sh) S 43935 43938 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49374614 4292608 736 18446744073709551615 94777441021952 94777441916485 140733115313552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94777442155536 94777442203280 94777451511808 140733115316513 140733115316708 140733115316708 140733115322310 0
/proc/43938/statm: 1048 736 672 219 0 110 0
[pid=43940] ppid=43938 vsize=66176 memory=17556 CPUtime=0.19 cores=4,6
/proc/43940/stat : 43940 (roundingsat) R 43938 43938 41409 0 -1 4194304 2845 0 0 0 16 3 0 0 20 0 1 0 49374616 67764224 4389 18446744073709551615 4227072 8923433 140733952180288 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24522752 140733952186706 140733952186920 140733952186920 140733952192490 0
/proc/43940/statm: 16544 4389 2336 1147 0 3971 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 70368 KiB
Current children cumulated memory: 20500 KiB

[startup+0.313495 s]*
/proc/loadavg: 4.08 4.09 4.11 5/257 43940
/proc/meminfo: memFree=126119764/131382120 swapFree=33010684/33010684
[pid=43938] ppid=43935 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43938/stat : 43938 (run-opt-log.sh) S 43935 43938 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49374614 4292608 736 18446744073709551615 94777441021952 94777441916485 140733115313552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94777442155536 94777442203280 94777451511808 140733115316513 140733115316708 140733115316708 140733115322310 0
/proc/43938/statm: 1048 736 672 219 0 110 0
[pid=43940] ppid=43938 vsize=68172 memory=22048 CPUtime=0.28 cores=4,6
/proc/43940/stat : 43940 (roundingsat) R 43938 43938 41409 0 -1 4194304 3467 0 0 0 25 3 0 0 20 0 1 0 49374616 69808128 5512 18446744073709551615 4227072 8923433 140733952180288 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24522752 140733952186706 140733952186920 140733952186920 140733952192490 0
/proc/43940/statm: 17043 5512 2336 1147 0 4470 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 72364 KiB
Current children cumulated memory: 24992 KiB

[startup+0.700398 s]
/proc/loadavg: 4.08 4.09 4.11 5/257 43940
/proc/meminfo: memFree=126119516/131382120 swapFree=33010684/33010684
[pid=43938] ppid=43935 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43938/stat : 43938 (run-opt-log.sh) S 43935 43938 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49374614 4292608 736 18446744073709551615 94777441021952 94777441916485 140733115313552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94777442155536 94777442203280 94777451511808 140733115316513 140733115316708 140733115316708 140733115322310 0
/proc/43938/statm: 1048 736 672 219 0 110 0
[pid=43940] ppid=43938 vsize=81400 memory=35524 CPUtime=0.66 cores=4,6
/proc/43940/stat : 43940 (roundingsat) R 43938 43938 41409 0 -1 4194304 6336 0 0 0 61 5 0 0 20 0 1 0 49374616 83353600 8881 18446744073709551615 4227072 8923433 140733952180288 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24522752 140733952186706 140733952186920 140733952186920 140733952192490 0
/proc/43940/statm: 20350 8881 2336 1147 0 7777 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 85592 KiB
Current children cumulated memory: 38468 KiB

[startup+1.50038 s]
/proc/loadavg: 4.08 4.09 4.11 5/257 43940
/proc/meminfo: memFree=126107800/131382120 swapFree=33010684/33010684
[pid=43938] ppid=43935 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43938/stat : 43938 (run-opt-log.sh) S 43935 43938 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49374614 4292608 736 18446744073709551615 94777441021952 94777441916485 140733115313552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94777442155536 94777442203280 94777451511808 140733115316513 140733115316708 140733115316708 140733115322310 0
/proc/43938/statm: 1048 736 672 219 0 110 0
[pid=43940] ppid=43938 vsize=111756 memory=61192 CPUtime=1.45 cores=4,6
/proc/43940/stat : 43940 (roundingsat) R 43938 43938 41409 0 -1 4194304 11715 0 0 0 137 8 0 0 20 0 1 0 49374616 114438144 15298 18446744073709551615 4227072 8923433 140733952180288 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24522752 140733952186706 140733952186920 140733952186920 140733952192490 0
/proc/43940/statm: 27939 15298 2336 1147 0 15366 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 115948 KiB
Current children cumulated memory: 64136 KiB

[startup+3.1133 s]
/proc/loadavg: 4.08 4.09 4.11 5/257 43940
/proc/meminfo: memFree=126011360/131382120 swapFree=33010684/33010684
[pid=43938] ppid=43935 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43938/stat : 43938 (run-opt-log.sh) S 43935 43938 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49374614 4292608 736 18446744073709551615 94777441021952 94777441916485 140733115313552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94777442155536 94777442203280 94777451511808 140733115316513 140733115316708 140733115316708 140733115322310 0
/proc/43938/statm: 1048 736 672 219 0 110 0
[pid=43940] ppid=43938 vsize=158920 memory=109556 CPUtime=3.06 cores=4,6
/proc/43940/stat : 43940 (roundingsat) R 43938 43938 41409 0 -1 4194304 20750 0 0 0 293 13 0 0 20 0 1 0 49374616 162734080 27389 18446744073709551615 4227072 8923433 140733952180288 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24522752 140733952186706 140733952186920 140733952186920 140733952192490 0
/proc/43940/statm: 39730 27389 2336 1147 0 27157 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 163112 KiB
Current children cumulated memory: 112500 KiB

[startup+6.3004 s]
/proc/loadavg: 4.08 4.09 4.11 5/257 43940
/proc/meminfo: memFree=125930928/131382120 swapFree=33010684/33010684
[pid=43938] ppid=43935 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43938/stat : 43938 (run-opt-log.sh) S 43935 43938 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49374614 4292608 736 18446744073709551615 94777441021952 94777441916485 140733115313552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94777442155536 94777442203280 94777451511808 140733115316513 140733115316708 140733115316708 140733115322310 0
/proc/43938/statm: 1048 736 672 219 0 110 0
[pid=43940] ppid=43938 vsize=244144 memory=173392 CPUtime=6.24 cores=4,6
/proc/43940/stat : 43940 (roundingsat) R 43938 43938 41409 0 -1 4194304 33646 0 0 0 605 19 0 0 20 0 1 0 49374616 250003456 43348 18446744073709551615 4227072 8923433 140733952180288 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24522752 140733952186706 140733952186920 140733952186920 140733952192490 0
/proc/43940/statm: 61036 43348 2336 1147 0 48463 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 248336 KiB
Current children cumulated memory: 176336 KiB

[startup+12.7004 s]
/proc/loadavg: 4.15 4.11 4.12 5/257 43941
/proc/meminfo: memFree=125859716/131382120 swapFree=33010684/33010684
[pid=43938] ppid=43935 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43938/stat : 43938 (run-opt-log.sh) S 43935 43938 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49374614 4292608 736 18446744073709551615 94777441021952 94777441916485 140733115313552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94777442155536 94777442203280 94777451511808 140733115316513 140733115316708 140733115316708 140733115322310 0
/proc/43938/statm: 1048 736 672 219 0 110 0
[pid=43940] ppid=43938 vsize=277076 memory=211208 CPUtime=12.63 cores=4,6
/proc/43940/stat : 43940 (roundingsat) R 43938 43938 41409 0 -1 4194304 39016 0 0 0 1234 29 0 0 20 0 1 0 49374616 283725824 52802 18446744073709551615 4227072 8923433 140733952180288 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24522752 140733952186706 140733952186920 140733952186920 140733952192490 0
/proc/43940/statm: 69269 52802 2336 1147 0 56696 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 281268 KiB
Current children cumulated memory: 214152 KiB

[startup+25.5004 s]
/proc/loadavg: 4.12 4.10 4.11 5/257 43941
/proc/meminfo: memFree=125623500/131382120 swapFree=33010684/33010684
[pid=43938] ppid=43935 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43938/stat : 43938 (run-opt-log.sh) S 43935 43938 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49374614 4292608 736 18446744073709551615 94777441021952 94777441916485 140733115313552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94777442155536 94777442203280 94777451511808 140733115316513 140733115316708 140733115316708 140733115322310 0
/proc/43938/statm: 1048 736 672 219 0 110 0
[pid=43940] ppid=43938 vsize=464500 memory=386748 CPUtime=25.39 cores=4,6
/proc/43940/stat : 43940 (roundingsat) R 43938 43938 41409 0 -1 4194304 80346 0 0 0 2495 44 0 0 20 0 1 0 49374616 475648000 96687 18446744073709551615 4227072 8923433 140733952180288 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24522752 140733952186706 140733952186920 140733952186920 140733952192490 0
/proc/43940/statm: 116125 96687 2336 1147 0 103552 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 468692 KiB
Current children cumulated memory: 389692 KiB

[startup+51.1133 s]
/proc/loadavg: 4.08 4.09 4.11 5/257 43942
/proc/meminfo: memFree=125541784/131382120 swapFree=33010684/33010684
[pid=43938] ppid=43935 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43938/stat : 43938 (run-opt-log.sh) S 43935 43938 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49374614 4292608 736 18446744073709551615 94777441021952 94777441916485 140733115313552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94777442155536 94777442203280 94777451511808 140733115316513 140733115316708 140733115316708 140733115322310 0
/proc/43938/statm: 1048 736 672 219 0 110 0
[pid=43940] ppid=43938 vsize=465904 memory=388540 CPUtime=50.94 cores=4,6
/proc/43940/stat : 43940 (roundingsat) R 43938 43938 41409 0 -1 4194304 80815 0 0 0 5036 58 0 0 20 0 1 0 49374616 477085696 97135 18446744073709551615 4227072 8923433 140733952180288 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24522752 140733952186706 140733952186920 140733952186920 140733952192490 0
/proc/43940/statm: 116476 97135 2336 1147 0 103903 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 470096 KiB
Current children cumulated memory: 391484 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.11 4.11 5/259 43946
/proc/meminfo: memFree=125311384/131382120 swapFree=33010684/33010684
[pid=43938] ppid=43935 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43938/stat : 43938 (run-opt-log.sh) S 43935 43938 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49374614 4292608 736 18446744073709551615 94777441021952 94777441916485 140733115313552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94777442155536 94777442203280 94777451511808 140733115316513 140733115316708 140733115316708 140733115322310 0
/proc/43938/statm: 1048 736 672 219 0 110 0
[pid=43940] ppid=43938 vsize=564392 memory=440488 CPUtime=101.98 cores=4,6
/proc/43940/stat : 43940 (roundingsat) R 43938 43938 41409 0 -1 4194304 91246 0 0 0 10101 97 0 0 20 0 1 0 49374616 577937408 110122 18446744073709551615 4227072 8923433 140733952180288 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24522752 140733952186706 140733952186920 140733952186920 140733952192490 0
/proc/43940/statm: 141098 110122 2336 1147 0 128525 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 568584 KiB
Current children cumulated memory: 443432 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.10 4.10 5/260 43949
/proc/meminfo: memFree=124938704/131382120 swapFree=33010684/33010684
[pid=43938] ppid=43935 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43938/stat : 43938 (run-opt-log.sh) S 43935 43938 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49374614 4292608 736 18446744073709551615 94777441021952 94777441916485 140733115313552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94777442155536 94777442203280 94777451511808 140733115316513 140733115316708 140733115316708 140733115322310 0
/proc/43938/statm: 1048 736 672 219 0 110 0
[pid=43940] ppid=43938 vsize=681080 memory=552032 CPUtime=161.82 cores=4,6
/proc/43940/stat : 43940 (roundingsat) R 43938 43938 41409 0 -1 4194304 112504 0 0 0 16050 132 0 0 20 0 1 0 49374616 697425920 138008 18446744073709551615 4227072 8923433 140733952180288 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24522752 140733952186706 140733952186920 140733952186920 140733952192490 0
/proc/43940/statm: 170270 138008 2336 1147 0 157697 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 685272 KiB
Current children cumulated memory: 554976 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.11 4.10 5/260 43951
/proc/meminfo: memFree=124695564/131382120 swapFree=33010684/33010684
[pid=43938] ppid=43935 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43938/stat : 43938 (run-opt-log.sh) S 43935 43938 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49374614 4292608 736 18446744073709551615 94777441021952 94777441916485 140733115313552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94777442155536 94777442203280 94777451511808 140733115316513 140733115316708 140733115316708 140733115322310 0
/proc/43938/statm: 1048 736 672 219 0 110 0
[pid=43940] ppid=43938 vsize=684724 memory=554720 CPUtime=221.65 cores=4,6
/proc/43940/stat : 43940 (roundingsat) R 43938 43938 41409 0 -1 4194304 113194 0 0 0 22008 157 0 0 20 0 1 0 49374616 701157376 138680 18446744073709551615 4227072 8923433 140733952180288 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24522752 140733952186706 140733952186920 140733952186920 140733952192490 0
/proc/43940/statm: 171181 138680 2336 1147 0 158608 0

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

/proc/43940/statm: 269882 250107 2336 1147 0 257309 0
Current children cumulated CPU time: 3093.94 s
Current children cumulated vsize: 1083720 KiB
Current children cumulated memory: 1003372 KiB

[startup+3162.3 s]
/proc/loadavg: 2.10 3.51 3.89 2/237 44202
/proc/meminfo: memFree=126217368/131382120 swapFree=33010684/33010684
[pid=43938] ppid=43935 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43938/stat : 43938 (run-opt-log.sh) S 43935 43938 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49374614 4292608 736 18446744073709551615 94777441021952 94777441916485 140733115313552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94777442155536 94777442203280 94777451511808 140733115316513 140733115316708 140733115316708 140733115322310 0
/proc/43938/statm: 1048 736 672 219 0 110 0
[pid=43940] ppid=43938 vsize=1079528 memory=1000428 CPUtime=3153.81 cores=4,6
/proc/43940/stat : 43940 (roundingsat) R 43938 43938 41409 0 -1 4194304 173082 0 0 0 314205 1176 0 0 20 0 1 0 49374616 1105436672 250107 18446744073709551615 4227072 8923433 140733952180288 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24522752 140733952186706 140733952186920 140733952186920 140733952192490 0
/proc/43940/statm: 269882 250107 2336 1147 0 257309 0
Current children cumulated CPU time: 3153.81 s
Current children cumulated vsize: 1083720 KiB
Current children cumulated memory: 1003372 KiB

[startup+3222.3 s]
/proc/loadavg: 1.45 3.06 3.71 2/237 44205
/proc/meminfo: memFree=126185940/131382120 swapFree=33010684/33010684
[pid=43938] ppid=43935 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43938/stat : 43938 (run-opt-log.sh) S 43935 43938 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49374614 4292608 736 18446744073709551615 94777441021952 94777441916485 140733115313552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94777442155536 94777442203280 94777451511808 140733115316513 140733115316708 140733115316708 140733115322310 0
/proc/43938/statm: 1048 736 672 219 0 110 0
[pid=43940] ppid=43938 vsize=1079528 memory=1000428 CPUtime=3213.68 cores=4,6
/proc/43940/stat : 43940 (roundingsat) R 43938 43938 41409 0 -1 4194304 173157 0 0 0 320174 1194 0 0 20 0 1 0 49374616 1105436672 250107 18446744073709551615 4227072 8923433 140733952180288 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24522752 140733952186706 140733952186920 140733952186920 140733952192490 0
/proc/43940/statm: 269882 250107 2336 1147 0 257309 0
Current children cumulated CPU time: 3213.68 s
Current children cumulated vsize: 1083720 KiB
Current children cumulated memory: 1003372 KiB

[startup+3282.3 s]
/proc/loadavg: 1.28 2.72 3.55 2/237 44207
/proc/meminfo: memFree=126138308/131382120 swapFree=33010684/33010684
[pid=43938] ppid=43935 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43938/stat : 43938 (run-opt-log.sh) S 43935 43938 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49374614 4292608 736 18446744073709551615 94777441021952 94777441916485 140733115313552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94777442155536 94777442203280 94777451511808 140733115316513 140733115316708 140733115316708 140733115322310 0
/proc/43938/statm: 1048 736 672 219 0 110 0
[pid=43940] ppid=43938 vsize=1079528 memory=1000428 CPUtime=3273.56 cores=4,6
/proc/43940/stat : 43940 (roundingsat) R 43938 43938 41409 0 -1 4194304 173180 0 0 0 326143 1213 0 0 20 0 1 0 49374616 1105436672 250107 18446744073709551615 4227072 8923433 140733952180288 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24522752 140733952186706 140733952186920 140733952186920 140733952192490 0
/proc/43940/statm: 269882 250107 2336 1147 0 257309 0
Current children cumulated CPU time: 3273.56 s
Current children cumulated vsize: 1083720 KiB
Current children cumulated memory: 1003372 KiB

[startup+3342.3 s]
/proc/loadavg: 1.23 2.45 3.40 2/237 44209
/proc/meminfo: memFree=126115340/131382120 swapFree=33010684/33010684
[pid=43938] ppid=43935 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43938/stat : 43938 (run-opt-log.sh) S 43935 43938 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49374614 4292608 736 18446744073709551615 94777441021952 94777441916485 140733115313552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94777442155536 94777442203280 94777451511808 140733115316513 140733115316708 140733115316708 140733115322310 0
/proc/43938/statm: 1048 736 672 219 0 110 0
[pid=43940] ppid=43938 vsize=1079528 memory=1000428 CPUtime=3333.42 cores=4,6
/proc/43940/stat : 43940 (roundingsat) R 43938 43938 41409 0 -1 4194304 173180 0 0 0 332118 1224 0 0 20 0 1 0 49374616 1105436672 250107 18446744073709551615 4227072 8923433 140733952180288 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24522752 140733952186706 140733952186920 140733952186920 140733952192490 0
/proc/43940/statm: 269882 250107 2336 1147 0 257309 0
Current children cumulated CPU time: 3333.42 s
Current children cumulated vsize: 1083720 KiB
Current children cumulated memory: 1003372 KiB

[startup+3402.3 s]
/proc/loadavg: 1.13 2.19 3.25 2/237 44213
/proc/meminfo: memFree=126091600/131382120 swapFree=33010684/33010684
[pid=43938] ppid=43935 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43938/stat : 43938 (run-opt-log.sh) S 43935 43938 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49374614 4292608 736 18446744073709551615 94777441021952 94777441916485 140733115313552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94777442155536 94777442203280 94777451511808 140733115316513 140733115316708 140733115316708 140733115322310 0
/proc/43938/statm: 1048 736 672 219 0 110 0
[pid=43940] ppid=43938 vsize=1079528 memory=1000428 CPUtime=3393.29 cores=4,6
/proc/43940/stat : 43940 (roundingsat) R 43938 43938 41409 0 -1 4194304 173180 0 0 0 338093 1236 0 0 20 0 1 0 49374616 1105436672 250107 18446744073709551615 4227072 8923433 140733952180288 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24522752 140733952186706 140733952186920 140733952186920 140733952192490 0
/proc/43940/statm: 269882 250107 2336 1147 0 257309 0
Current children cumulated CPU time: 3393.29 s
Current children cumulated vsize: 1083720 KiB
Current children cumulated memory: 1003372 KiB

[startup+3462.3 s]
/proc/loadavg: 1.15 2.00 3.12 2/235 44219
/proc/meminfo: memFree=126052352/131382120 swapFree=33010684/33010684
[pid=43938] ppid=43935 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43938/stat : 43938 (run-opt-log.sh) S 43935 43938 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49374614 4292608 736 18446744073709551615 94777441021952 94777441916485 140733115313552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94777442155536 94777442203280 94777451511808 140733115316513 140733115316708 140733115316708 140733115322310 0
/proc/43938/statm: 1048 736 672 219 0 110 0
[pid=43940] ppid=43938 vsize=1079528 memory=1000428 CPUtime=3453.16 cores=4,6
/proc/43940/stat : 43940 (roundingsat) R 43938 43938 41409 0 -1 4194304 173192 0 0 0 344065 1251 0 0 20 0 1 0 49374616 1105436672 250107 18446744073709551615 4227072 8923433 140733952180288 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24522752 140733952186706 140733952186920 140733952186920 140733952192490 0
/proc/43940/statm: 269882 250107 2336 1147 0 257309 0
Current children cumulated CPU time: 3453.16 s
Current children cumulated vsize: 1083720 KiB
Current children cumulated memory: 1003372 KiB

[startup+3522.3 s]
/proc/loadavg: 1.10 1.84 2.99 2/235 44222
/proc/meminfo: memFree=125981604/131382120 swapFree=33010684/33010684
[pid=43938] ppid=43935 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43938/stat : 43938 (run-opt-log.sh) S 43935 43938 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49374614 4292608 736 18446744073709551615 94777441021952 94777441916485 140733115313552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94777442155536 94777442203280 94777451511808 140733115316513 140733115316708 140733115316708 140733115322310 0
/proc/43938/statm: 1048 736 672 219 0 110 0
[pid=43940] ppid=43938 vsize=1232020 memory=1025108 CPUtime=3513.02 cores=4,6
/proc/43940/stat : 43940 (roundingsat) R 43938 43938 41409 0 -1 4194304 176801 0 0 0 350036 1266 0 0 20 0 1 0 49374616 1261588480 256277 18446744073709551615 4227072 8923433 140733952180288 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24522752 140733952186706 140733952186920 140733952186920 140733952192490 0
/proc/43940/statm: 308005 256277 2336 1147 0 295432 0
Current children cumulated CPU time: 3513.02 s
Current children cumulated vsize: 1236212 KiB
Current children cumulated memory: 1028052 KiB

[startup+3582.3 s]
/proc/loadavg: 1.08 1.70 2.87 2/235 44224
/proc/meminfo: memFree=125917428/131382120 swapFree=33010684/33010684
[pid=43938] ppid=43935 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43938/stat : 43938 (run-opt-log.sh) S 43935 43938 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49374614 4292608 736 18446744073709551615 94777441021952 94777441916485 140733115313552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94777442155536 94777442203280 94777451511808 140733115316513 140733115316708 140733115316708 140733115322310 0
/proc/43938/statm: 1048 736 672 219 0 110 0
[pid=43940] ppid=43938 vsize=1256492 memory=1058284 CPUtime=3572.89 cores=4,6
/proc/43940/stat : 43940 (roundingsat) R 43938 43938 41409 0 -1 4194304 181877 0 0 0 356008 1281 0 0 20 0 1 0 49374616 1286647808 264571 18446744073709551615 4227072 8923433 140733952180288 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24522752 140733952186706 140733952186920 140733952186920 140733952192490 0
/proc/43940/statm: 314123 264571 2336 1147 0 301550 0
Current children cumulated CPU time: 3572.89 s
Current children cumulated vsize: 1260684 KiB
Current children cumulated memory: 1061228 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 1.10 1.64 2.81 2/234 44225
/proc/meminfo: memFree=125859072/131382120 swapFree=33010684/33010684
[pid=43938] ppid=43935 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43938/stat : 43938 (run-opt-log.sh) S 43935 43938 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49374614 4292608 736 18446744073709551615 94777441021952 94777441916485 140733115313552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94777442155536 94777442203280 94777451511808 140733115316513 140733115316708 140733115316708 140733115322310 0
/proc/43938/statm: 1048 736 672 219 0 110 0
[pid=43940] ppid=43938 vsize=1257612 memory=1074944 CPUtime=3600.02 cores=4,6
/proc/43940/stat : 43940 (roundingsat) R 43938 43938 41409 0 -1 4194304 182188 0 0 0 358710 1292 0 0 20 0 1 0 49374616 1287794688 268736 18446744073709551615 4227072 8923433 140733952180288 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24522752 140733952186706 140733952186920 140733952186920 140733952192490 0
/proc/43940/statm: 314403 268736 2336 1147 0 301830 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1261804 KiB
Current children cumulated memory: 1077888 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.002115 s, system=0.003188 s

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

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

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

[startup+3609.5 s]
/proc/loadavg: 1.10 1.64 2.81 2/234 44225
/proc/meminfo: memFree=125859072/131382120 swapFree=33010684/33010684
[pid=43938] ppid=43935 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43938/stat : 43938 (run-opt-log.sh) S 43935 43938 41409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 49374614 4292608 736 18446744073709551615 94777441021952 94777441916485 140733115313552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94777442155536 94777442203280 94777451511808 140733115316513 140733115316708 140733115316708 140733115322310 0
/proc/43938/statm: 1048 736 672 219 0 110 0
[pid=43940] ppid=43938 vsize=1257612 memory=1074944 CPUtime=3600.02 cores=4,6
/proc/43940/stat : 43940 (roundingsat) R 43938 43938 41409 0 -1 4194304 182188 0 0 0 358710 1292 0 0 20 0 1 0 49374616 1287794688 268736 18446744073709551615 4227072 8923433 140733952180288 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24522752 140733952186706 140733952186920 140733952186920 140733952192490 0
/proc/43940/statm: 314403 268736 2336 1147 0 301830 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1261804 KiB
Current children cumulated memory: 1077888 KiB

Child status: 2

Real time (s): 3609.56
CPU time (s): 3600.05
CPU user time (s): 3587.11
CPU system time (s): 12.9399
CPU usage (%): 99.7366
Max. virtual memory (cumulated for all children) (KiB): 1261804
Max. memory (cumulated for all children) (KiB): 1077888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.11
system time used= 12.9399
maximum resident set size= 1075328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 182419
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4873072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 972
involuntary context switches= 5743


# summary of solver processes directly reported to runsolver:
#   pid: 43938,43940
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3587.11
#   total CPU system time (s): 12.9399

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1945 second user time and 37.0902 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2025-07-01 04:29:19
IDJOB=4488725
IDBENCH=147530
IDSOLVER=3351
FILE ID=nodeC003/4488725-1751336959
RUNJOBID= nodeC003-1751329194-41420
SLURM_JOB_ID= 9594376
Free space on /tmp= 432736 MiB

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

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

MD5SUM BENCH= 2f43827d921579f008f60b037bb7dde7
RANDOM SEED=236072761

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        126124032 kB
MemAvailable:   128064220 kB
Buffers:            3280 kB
Cached:          2744952 kB
SwapCached:            0 kB
Active:          2212404 kB
Inactive:        2495448 kB
Active(anon):    1977648 kB
Inactive(anon):        0 kB
Active(file):     234756 kB
Inactive(file):  2495448 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             56956 kB
Writeback:             0 kB
AnonPages:       1962760 kB
Mapped:           116628 kB
Shmem:             17960 kB
KReclaimable:      99220 kB
Slab:             185400 kB
SReclaimable:      99220 kB
SUnreclaim:        86180 kB
KernelStack:        4128 kB
PageTables:         7608 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    2708420 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149480 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:    11245568 kB
DirectMap1G:    124780544 kB

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