Trace number 4488954

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ihs 63f22ad? (TO) 3600.07 3610.11

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_7.opb.PB06.opb
MD5SUM4613bd71ebda28f991e46514414d76dd
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1035
Best CPU time to get the best result obtained on this benchmark3585.15
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1968
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 1968
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 1968
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 1968
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.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
0.00/0.03	c #variables 1968 #constraints 4000
0.00/0.03	c objective is ce32 
0.00/0.04	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.04	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.04	c GLOBAL bounds - >= 0 @ 0.011087
0.00/0.04	c GLOBAL bounds - >= 0 @ 0.011087
0.00/0.05	c GLOBAL bounds - >= 0 @ 0.01439
0.00/0.05	c GLOBAL bounds - >= 0 @ 0.016435
0.00/0.06	c GLOBAL bounds - >= 0 @ 0.024574
0.00/0.06	c GLOBAL bounds - >= 0 @ 0.032409
0.00/0.07	c GLOBAL bounds - >= 0 @ 0.041283
0.00/0.09	c GLOBAL bounds - >= 0 @ 0.051438
0.00/0.10	c GLOBAL bounds - >= 0 @ 0.061231
0.08/0.15	c GLOBAL bounds - >= 0 @ 0.106318
0.08/0.18	c GLOBAL bounds - >= 0 @ 0.138608
0.18/0.21	c GLOBAL bounds - >= 0 @ 0.166081
0.18/0.24	c GLOBAL bounds - >= 0 @ 0.192998
0.18/0.28	c GLOBAL bounds - >= 0 @ 0.22809
0.28/0.31	c GLOBAL bounds - >= 0 @ 0.257519
0.28/0.34	c GLOBAL bounds - >= 0 @ 0.291527
0.28/0.40	c GLOBAL bounds - >= 0 @ 0.340276
0.39/0.50	c GLOBAL bounds - >= 0 @ 0.437632
0.48/0.58	c GLOBAL bounds - >= 0 @ 0.514508
0.77/0.80	c #Conflicts:       1000 | #Constraints:       5034
0.77/0.80	c GLOBAL bounds - >= 0 @ 0.725812
1.08/1.12	c GLOBAL bounds - >= 0 @ 1.0325
1.97/2.05	c #Conflicts:       2000 | #Constraints:       6038
1.97/2.05	c INPROCESSING
1.97/2.05	c GARBAGE COLLECT
1.97/2.05	c GLOBAL bounds - >= 0 @ 1.93717
2.17/2.21	c GLOBAL bounds - >= 0 @ 2.09518
2.27/2.34	c GLOBAL bounds - >= 0 @ 2.22627
2.47/2.54	c GLOBAL bounds - >= 0 @ 2.42154
2.66/2.74	c GLOBAL bounds - >= 0 @ 2.61705
2.86/2.97	c GLOBAL bounds - >= 0 @ 2.8466
2.97/3.10	c #Conflicts:       3000 | #Constraints:       6118
2.97/3.10	c GLOBAL bounds - >= 0 @ 2.97301
3.17/3.27	c GLOBAL bounds - >= 0 @ 3.13543
3.36/3.43	c GLOBAL bounds - >= 0 @ 3.29643
3.56/3.61	c GLOBAL bounds - >= 0 @ 3.46923
3.66/3.78	c GLOBAL bounds - >= 0 @ 3.62911
3.86/3.95	c GLOBAL bounds - >= 0 @ 3.7999
4.16/4.25	c GLOBAL bounds - >= 0 @ 4.09972
4.46/4.54	c GLOBAL bounds - >= 0 @ 4.37754
4.76/4.84	c #Conflicts:       4000 | #Constraints:       7134
4.76/4.84	c GLOBAL bounds - >= 0 @ 4.68034
4.86/5.00	c GLOBAL bounds - >= 0 @ 4.83597
5.25/5.39	c INPROCESSING
5.25/5.39	c GARBAGE COLLECT
5.25/5.39	c GLOBAL bounds - >= 0 @ 5.21951
5.45/5.54	c GLOBAL bounds - >= 0 @ 5.37171
5.66/5.72	c GLOBAL bounds - >= 0 @ 5.54803
5.75/5.82	c GLOBAL bounds - >= 0 @ 5.63992
5.85/5.95	c GLOBAL bounds - >= 0 @ 5.76684
6.06/6.17	c GLOBAL bounds - >= 0 @ 5.98397
6.16/6.28	c GLOBAL bounds - >= 0 @ 6.08697
6.35/6.42	c #Conflicts:       5000 | #Constraints:       6526
6.35/6.42	c GLOBAL bounds - >= 0 @ 6.22742
6.46/6.56	c GLOBAL bounds - >= 0 @ 6.36294
6.65/6.70	c GLOBAL bounds - >= 0 @ 6.4993
6.85/6.94	c GLOBAL bounds - >= 0 @ 6.73263
6.95/7.05	c GLOBAL bounds - >= 0 @ 6.84512
7.25/7.31	c GLOBAL bounds - >= 0 @ 7.10199
7.45/7.57	c GLOBAL bounds - >= 0 @ 7.3569
7.66/7.73	c GLOBAL bounds - >= 0 @ 7.51516
7.85/7.99	c GLOBAL bounds - >= 0 @ 7.77127
8.15/8.24	c GLOBAL bounds - >= 0 @ 8.01574
8.45/8.52	c #Conflicts:       6000 | #Constraints:       7546
8.45/8.52	c GLOBAL bounds - >= 0 @ 8.28957
8.55/8.68	c GLOBAL bounds - >= 0 @ 8.44092
8.84/8.97	c GLOBAL bounds - >= 0 @ 8.72904
9.06/9.12	c GLOBAL bounds - >= 0 @ 8.87983
9.25/9.30	c GLOBAL bounds - >= 0 @ 9.05213
9.34/9.48	c GLOBAL bounds - >= 0 @ 9.22812
9.74/9.87	c INPROCESSING
9.74/9.87	c GARBAGE COLLECT
9.74/9.87	c GLOBAL bounds - >= 0 @ 9.6166
9.95/10.07	c GLOBAL bounds - >= 0 @ 9.81461
10.05/10.19	c GLOBAL bounds - >= 0 @ 9.93189
10.24/10.34	c GLOBAL bounds - >= 0 @ 10.074
10.34/10.48	c #Conflicts:       7000 | #Constraints:       6571
10.34/10.48	c GLOBAL bounds - >= 0 @ 10.2146
10.54/10.61	c GLOBAL bounds - >= 0 @ 10.3486
10.64/10.76	c GLOBAL bounds - >= 0 @ 10.4915
10.84/10.90	c GLOBAL bounds - >= 0 @ 10.6345
10.95/11.06	c GLOBAL bounds - >= 0 @ 10.7877
11.14/11.29	c GLOBAL bounds - >= 0 @ 11.0123
11.34/11.45	c GLOBAL bounds - >= 0 @ 11.1723
11.54/11.63	c GLOBAL bounds - >= 0 @ 11.3492
11.74/11.80	c #Conflicts:       8000 | #Constraints:       7587
11.74/11.80	c GLOBAL bounds - >= 0 @ 11.5202
11.84/11.98	c GLOBAL bounds - >= 0 @ 11.6977
12.04/12.17	c GLOBAL bounds - >= 0 @ 11.8843
12.23/12.37	c GLOBAL bounds - >= 0 @ 12.0788
12.43/12.56	c GLOBAL bounds - >= 0 @ 12.2716
12.64/12.76	c GLOBAL bounds - >= 0 @ 12.4627
12.84/12.97	c GLOBAL bounds - >= 0 @ 12.6555
13.04/13.17	c GLOBAL bounds - >= 0 @ 12.8472
13.34/13.44	c GLOBAL bounds - >= 0 @ 13.0592
13.54/13.62	c #Conflicts:       9000 | #Constraints:       8605
13.54/13.62	c GLOBAL bounds - >= 0 @ 13.2392
13.64/13.79	c GLOBAL bounds - >= 0 @ 13.4043
14.13/14.22	c INPROCESSING
14.13/14.22	c GARBAGE COLLECT
14.13/14.22	c GLOBAL bounds - >= 0 @ 13.8239
14.23/14.33	c GLOBAL bounds - >= 0 @ 13.935
14.43/14.54	c GLOBAL bounds - >= 0 @ 14.1462
14.53/14.66	c GLOBAL bounds - >= 0 @ 14.2617
14.73/14.90	c GLOBAL bounds - >= 0 @ 14.4892
14.93/15.02	c GLOBAL bounds - >= 0 @ 14.611
15.04/15.16	c GLOBAL bounds - >= 0 @ 14.747
15.33/15.41	c GLOBAL bounds - >= 0 @ 14.9918
15.52/15.66	c #Conflicts:      10000 | #Constraints:       7313
15.52/15.66	c GLOBAL bounds - >= 0 @ 15.2438
15.82/15.93	c GLOBAL bounds - >= 0 @ 15.5085
15.93/16.07	c GLOBAL bounds - >= 0 @ 15.6464
16.12/16.23	c GLOBAL bounds - >= 0 @ 15.8077
16.33/16.48	c GLOBAL bounds - >= 0 @ 16.0522
16.53/16.63	c GLOBAL bounds - >= 0 @ 16.2048
16.73/16.80	c GLOBAL bounds - >= 0 @ 16.3716
16.83/16.99	c GLOBAL bounds - >= 0 @ 16.5625
17.12/17.30	c GLOBAL bounds - >= 0 @ 16.8637
17.42/17.59	c #Conflicts:      11000 | #Constraints:       8331
17.42/17.59	c GLOBAL bounds - >= 0 @ 17.1539
17.82/17.99	c GLOBAL bounds - >= 0 @ 17.5509
18.42/18.55	c GLOBAL bounds - >= 0 @ 18.0994
18.81/18.93	c GLOBAL bounds - >= 0 @ 18.4813
19.22/19.34	c GLOBAL bounds - >= 0 @ 18.8886
19.71/19.82	c #Conflicts:      12000 | #Constraints:       9341
19.71/19.82	c INPROCESSING
19.71/19.82	c GARBAGE COLLECT
19.71/19.82	c GLOBAL bounds - >= 0 @ 19.361
19.92/20.07	c GLOBAL bounds - >= 0 @ 19.6093
20.11/20.23	c GLOBAL bounds - >= 0 @ 19.7671
20.32/20.42	c GLOBAL bounds - >= 0 @ 19.9506
20.51/20.67	c GLOBAL bounds - >= 0 @ 20.2042
20.71/20.86	c #Conflicts:      13000 | #Constraints:       7816
20.71/20.86	c GLOBAL bounds - >= 0 @ 20.3915
21.01/21.16	c GLOBAL bounds - >= 0 @ 20.6849
21.31/21.45	c GLOBAL bounds - >= 0 @ 20.9693
21.61/21.72	c GLOBAL bounds - >= 0 @ 21.2327
21.70/21.89	c GLOBAL bounds - >= 0 @ 21.3976
22.21/22.40	c GLOBAL bounds - >= 0 @ 21.8988
28.90/29.05	c #Conflicts:      14000 | #Constraints:       8828
28.90/29.05	c #Conflicts:      15000 | #Constraints:       9828
28.90/29.05	c INPROCESSING
28.90/29.05	c GARBAGE COLLECT
28.90/29.05	c #Conflicts:      16000 | #Constraints:       8109
28.90/29.05	c #Conflicts:      17000 | #Constraints:       9109
28.90/29.05	c #Conflicts:      18000 | #Constraints:      10109
28.90/29.05	c GLOBAL bounds - >= 0 @ 28.5009
29.48/29.63	c INPROCESSING
29.48/29.63	c GARBAGE COLLECT
29.48/29.63	c GLOBAL bounds - >= 0 @ 29.0658
32.78/32.96	c #Conflicts:      19000 | #Constraints:       8142
32.78/32.96	c #Conflicts:      20000 | #Constraints:       9142
32.78/32.96	c GLOBAL bounds - >= 0 @ 32.3712
34.98/35.19	c #Conflicts:      21000 | #Constraints:      10144
34.98/35.19	c INPROCESSING
34.98/35.19	c GARBAGE COLLECT
34.98/35.19	c #Conflicts:      22000 | #Constraints:       7996
34.98/35.19	c GLOBAL bounds - >= 0 @ 34.5826
37.97/38.12	c #Conflicts:      23000 | #Constraints:       8998
37.97/38.12	c GLOBAL bounds - >= 0 @ 37.4809
42.85/43.07	c #Conflicts:      24000 | #Constraints:      10000
42.85/43.07	c #Conflicts:      25000 | #Constraints:      11000
42.85/43.07	c INPROCESSING
42.85/43.07	c GARBAGE COLLECT
42.85/43.07	c #Conflicts:      26000 | #Constraints:       8620
42.85/43.07	c GLOBAL bounds - >= 0 @ 42.3901
44.24/44.48	c #Conflicts:      27000 | #Constraints:       9622
44.24/44.48	c GLOBAL bounds - >= 0 @ 43.7772
44.74/44.95	c GLOBAL bounds - >= 0 @ 44.2393
45.14/45.30	c GLOBAL bounds - >= 0 @ 44.5928
45.54/45.72	c #Conflicts:      28000 | #Constraints:      10628
45.54/45.72	c GLOBAL bounds - >= 0 @ 45.004
45.84/46.05	c GLOBAL bounds - >= 0 @ 45.3371
47.84/48.07	c #Conflicts:      29000 | #Constraints:      11632
47.84/48.07	c INPROCESSING
47.84/48.07	c GARBAGE COLLECT
47.84/48.07	c #Conflicts:      30000 | #Constraints:       9041
47.84/48.07	c GLOBAL bounds - >= 0 @ 47.3235
65.28/65.51	c #Conflicts:      31000 | #Constraints:      10043
65.28/65.51	c #Conflicts:      32000 | #Constraints:      11043
65.28/65.51	c #Conflicts:      33000 | #Constraints:      12043
65.28/65.51	c INPROCESSING
65.28/65.51	c GARBAGE COLLECT
65.28/65.51	c #Conflicts:      34000 | #Constraints:       9240
65.28/65.51	c #Conflicts:      35000 | #Constraints:      10240
65.28/65.51	c #Conflicts:      36000 | #Constraints:      11240
65.28/65.51	c #Conflicts:      37000 | #Constraints:      12240
65.28/65.51	c INPROCESSING
65.28/65.51	c GARBAGE COLLECT
65.28/65.51	c #Conflicts:      38000 | #Constraints:       9240
65.28/65.51	c #Conflicts:      39000 | #Constraints:      10240
65.28/65.51	c GLOBAL bounds - >= 0 @ 64.6287
82.12/82.43	c #Conflicts:      40000 | #Constraints:      11242
82.12/82.43	c #Conflicts:      41000 | #Constraints:      12242
82.12/82.43	c INPROCESSING
82.12/82.43	c GARBAGE COLLECT
82.12/82.43	c #Conflicts:      42000 | #Constraints:       9030
82.12/82.43	c #Conflicts:      43000 | #Constraints:      10030
82.12/82.43	c #Conflicts:      44000 | #Constraints:      11030
82.12/82.43	c #Conflicts:      45000 | #Constraints:      12030
82.12/82.43	c #Conflicts:      46000 | #Constraints:      13030
82.12/82.43	c INPROCESSING
82.12/82.43	c GARBAGE COLLECT
82.12/82.43	c #Conflicts:      47000 | #Constraints:       9644
82.12/82.43	c #Conflicts:      48000 | #Constraints:      10644
82.12/82.43	c #Conflicts:      49000 | #Constraints:      11644
82.12/82.43	c GLOBAL bounds - >= 0 @ 81.405
91.70/92.09	c #Conflicts:      50000 | #Constraints:      12646
91.70/92.09	c #Conflicts:      51000 | #Constraints:      13646
91.70/92.09	c INPROCESSING
91.70/92.09	c GARBAGE COLLECT
91.70/92.09	c #Conflicts:      52000 | #Constraints:      10049
91.70/92.09	c #Conflicts:      53000 | #Constraints:      11049
91.70/92.09	c #Conflicts:      54000 | #Constraints:      12049
91.70/92.09	c GLOBAL bounds - >= 0 @ 90.9721
110.04/110.45	c #Conflicts:      55000 | #Constraints:      13051
110.04/110.45	c #Conflicts:      56000 | #Constraints:      14051
110.04/110.45	c INPROCESSING
110.04/110.45	c GARBAGE COLLECT
110.04/110.45	c #Conflicts:      57000 | #Constraints:      10234
110.04/110.45	c #Conflicts:      58000 | #Constraints:      11234
110.04/110.45	c #Conflicts:      59000 | #Constraints:      12234
110.04/110.45	c #Conflicts:      60000 | #Constraints:      13234
110.04/110.45	c #Conflicts:      61000 | #Constraints:      14234
110.04/110.45	c INPROCESSING
110.04/110.45	c GARBAGE COLLECT
110.04/110.45	c GLOBAL bounds - >= 0 @ 109.18
123.80/124.28	c #Conflicts:      62000 | #Constraints:      10228
123.80/124.28	c #Conflicts:      63000 | #Constraints:      11228
123.80/124.28	c #Conflicts:      64000 | #Constraints:      12228
123.80/124.28	c #Conflicts:      65000 | #Constraints:      13228
123.80/124.28	c #Conflicts:      66000 | #Constraints:      14228
123.80/124.28	c INPROCESSING
123.80/124.28	c GARBAGE COLLECT
123.80/124.28	c #Conflicts:      67000 | #Constraints:      10039
123.80/124.28	c GLOBAL bounds - >= 0 @ 122.923
133.17/133.62	c #Conflicts:      68000 | #Constraints:      11041
133.17/133.62	c #Conflicts:      69000 | #Constraints:      12041
133.17/133.62	c #Conflicts:      70000 | #Constraints:      13041
133.17/133.62	c #Conflicts:      71000 | #Constraints:      14041
133.17/133.62	c #Conflicts:      72000 | #Constraints:      15041
133.17/133.62	c GLOBAL bounds - >= 0 @ 132.158
142.66/143.16	c INPROCESSING
142.66/143.16	c GARBAGE COLLECT
142.66/143.16	c #Conflicts:      73000 | #Constraints:      10648
142.66/143.16	c #Conflicts:      74000 | #Constraints:      11648
142.66/143.16	c #Conflicts:      75000 | #Constraints:      12648
142.66/143.16	c #Conflicts:      76000 | #Constraints:      13648
142.66/143.16	c GLOBAL bounds - >= 0 @ 141.633
258.79/259.64	c #Conflicts:      77000 | #Constraints:      14650
258.79/259.64	c #Conflicts:      78000 | #Constraints:      15650
258.79/259.64	c INPROCESSING
258.79/259.64	c GARBAGE COLLECT
258.79/259.64	c #Conflicts:      79000 | #Constraints:      11047
258.79/259.64	c #Conflicts:      80000 | #Constraints:      12047
258.79/259.64	c #Conflicts:      81000 | #Constraints:      13047
258.79/259.64	c #Conflicts:      82000 | #Constraints:      14047
258.79/259.64	c #Conflicts:      83000 | #Constraints:      15047
258.79/259.64	c #Conflicts:      84000 | #Constraints:      16047
258.79/259.64	c INPROCESSING
258.79/259.64	c GARBAGE COLLECT
258.79/259.64	c #Conflicts:      85000 | #Constraints:      11244
258.79/259.64	c #Conflicts:      86000 | #Constraints:      12244
258.79/259.64	c #Conflicts:      87000 | #Constraints:      13244
258.79/259.64	c #Conflicts:      88000 | #Constraints:      14244
258.79/259.64	c #Conflicts:      89000 | #Constraints:      15244
258.79/259.64	c #Conflicts:      90000 | #Constraints:      16244
258.79/259.64	c INPROCESSING
258.79/259.64	c GARBAGE COLLECT
258.79/259.64	c #Conflicts:      91000 | #Constraints:      11238
258.79/259.64	c #Conflicts:      92000 | #Constraints:      12238
258.79/259.64	c #Conflicts:      93000 | #Constraints:      13238
258.79/259.64	c #Conflicts:      94000 | #Constraints:      14238
258.79/259.64	c #Conflicts:      95000 | #Constraints:      15238
258.79/259.64	c #Conflicts:      96000 | #Constraints:      16238
258.79/259.64	c INPROCESSING
258.79/259.64	c GARBAGE COLLECT
258.79/259.64	c #Conflicts:      97000 | #Constraints:      11023
258.79/259.64	c #Conflicts:      98000 | #Constraints:      12023
258.79/259.64	c #Conflicts:      99000 | #Constraints:      13023
258.79/259.64	c #Conflicts:     100000 | #Constraints:      14023
258.79/259.64	c #Conflicts:     101000 | #Constraints:      15023
258.79/259.64	c #Conflicts:     102000 | #Constraints:      16023
258.79/259.64	c #Conflicts:     103000 | #Constraints:      17023
258.79/259.64	c INPROCESSING
258.79/259.64	c GARBAGE COLLECT
258.79/259.64	c #Conflicts:     104000 | #Constraints:      11622
258.79/259.64	c #Conflicts:     105000 | #Constraints:      12622
258.79/259.64	c #Conflicts:     106000 | #Constraints:      13622
258.79/259.64	c #Conflicts:     107000 | #Constraints:      14622
258.79/259.64	c #Conflicts:     108000 | #Constraints:      15622
258.79/259.64	c #Conflicts:     109000 | #Constraints:      16622
258.79/259.64	c #Conflicts:     110000 | #Constraints:      17622
258.79/259.64	c INPROCESSING
258.79/259.64	c GARBAGE COLLECT
258.79/259.64	c GLOBAL bounds - >= 0 @ 257.44
368.46/369.60	c #Conflicts:     111000 | #Constraints:      12003
368.46/369.60	c #Conflicts:     112000 | #Constraints:      13003
368.46/369.60	c #Conflicts:     113000 | #Constraints:      14003
368.46/369.60	c #Conflicts:     114000 | #Constraints:      15003
368.46/369.60	c #Conflicts:     115000 | #Constraints:      16003
368.46/369.60	c #Conflicts:     116000 | #Constraints:      17003
368.46/369.60	c #Conflicts:     117000 | #Constraints:      18003
368.46/369.60	c INPROCESSING
368.46/369.60	c GARBAGE COLLECT
368.46/369.60	c #Conflicts:     118000 | #Constraints:      12212
368.46/369.60	c #Conflicts:     119000 | #Constraints:      13212
368.46/369.60	c #Conflicts:     120000 | #Constraints:      14212
368.46/369.60	c #Conflicts:     121000 | #Constraints:      15212
368.46/369.60	c #Conflicts:     122000 | #Constraints:      16212
368.46/369.60	c #Conflicts:     123000 | #Constraints:      17212
368.46/369.60	c #Conflicts:     124000 | #Constraints:      18212
368.46/369.60	c INPROCESSING
368.46/369.60	c GARBAGE COLLECT
368.46/369.60	c #Conflicts:     125000 | #Constraints:      12217
368.46/369.60	c #Conflicts:     126000 | #Constraints:      13217
368.46/369.60	c #Conflicts:     127000 | #Constraints:      14217
368.46/369.60	c #Conflicts:     128000 | #Constraints:      15217
368.46/369.60	c #Conflicts:     129000 | #Constraints:      16217
368.46/369.60	c #Conflicts:     130000 | #Constraints:      17217
368.46/369.60	c #Conflicts:     131000 | #Constraints:      18217
368.46/369.60	c INPROCESSING
368.46/369.60	c GARBAGE COLLECT
368.46/369.60	c #Conflicts:     132000 | #Constraints:      12023
368.46/369.60	c #Conflicts:     133000 | #Constraints:      13023
368.46/369.60	c #Conflicts:     134000 | #Constraints:      14023
368.46/369.60	c #Conflicts:     135000 | #Constraints:      15023
368.46/369.60	c #Conflicts:     136000 | #Constraints:      16023
368.46/369.60	c #Conflicts:     137000 | #Constraints:      17023
368.46/369.60	c #Conflicts:     138000 | #Constraints:      18023
368.46/369.60	c GLOBAL bounds - >= 0 @ 366.727
639.97/641.91	c #Conflicts:     139000 | #Constraints:      19025
639.97/641.91	c INPROCESSING
639.97/641.91	c GARBAGE COLLECT
639.97/641.91	c #Conflicts:     140000 | #Constraints:      12643
639.97/641.91	c #Conflicts:     141000 | #Constraints:      13643
639.97/641.91	c #Conflicts:     142000 | #Constraints:      14643
639.97/641.91	c #Conflicts:     143000 | #Constraints:      15643
639.97/641.91	c #Conflicts:     144000 | #Constraints:      16643
639.97/641.91	c #Conflicts:     145000 | #Constraints:      17643
639.97/641.91	c #Conflicts:     146000 | #Constraints:      18643
639.97/641.91	c #Conflicts:     147000 | #Constraints:      19643
639.97/641.91	c INPROCESSING
639.97/641.91	c GARBAGE COLLECT
639.97/641.91	c #Conflicts:     148000 | #Constraints:      13035
639.97/641.91	c #Conflicts:     149000 | #Constraints:      14035
639.97/641.91	c #Conflicts:     150000 | #Constraints:      15035
639.97/641.91	c #Conflicts:     151000 | #Constraints:      16035
639.97/641.91	c #Conflicts:     152000 | #Constraints:      17035
639.97/641.91	c #Conflicts:     153000 | #Constraints:      18035
639.97/641.91	c #Conflicts:     154000 | #Constraints:      19035
639.97/641.91	c #Conflicts:     155000 | #Constraints:      20035
639.97/641.91	c INPROCESSING
639.97/641.91	c GARBAGE COLLECT
639.97/641.91	c #Conflicts:     156000 | #Constraints:      13235
639.97/641.91	c #Conflicts:     157000 | #Constraints:      14235
639.97/641.91	c #Conflicts:     158000 | #Constraints:      15235
639.97/641.91	c #Conflicts:     159000 | #Constraints:      16235
639.97/641.91	c #Conflicts:     160000 | #Constraints:      17235
639.97/641.91	c #Conflicts:     161000 | #Constraints:      18235
639.97/641.91	c #Conflicts:     162000 | #Constraints:      19235
639.97/641.91	c #Conflicts:     163000 | #Constraints:      20235
639.97/641.91	c INPROCESSING
639.97/641.91	c GARBAGE COLLECT
639.97/641.91	c #Conflicts:     164000 | #Constraints:      13226
639.97/641.91	c #Conflicts:     165000 | #Constraints:      14226
639.97/641.91	c #Conflicts:     166000 | #Constraints:      15226
639.97/641.91	c #Conflicts:     167000 | #Constraints:      16226
639.97/641.91	c #Conflicts:     168000 | #Constraints:      17226
639.97/641.91	c #Conflicts:     169000 | #Constraints:      18226
639.97/641.91	c #Conflicts:     170000 | #Constraints:      19226
639.97/641.91	c #Conflicts:     171000 | #Constraints:      20226
639.97/641.91	c INPROCESSING
639.97/641.91	c GARBAGE COLLECT
639.97/641.91	c #Conflicts:     172000 | #Constraints:      13043
639.97/641.91	c #Conflicts:     173000 | #Constraints:      14043
639.97/641.91	c #Conflicts:     174000 | #Constraints:      15043
639.97/641.91	c #Conflicts:     175000 | #Constraints:      16043
639.97/641.91	c #Conflicts:     176000 | #Constraints:      17043
639.97/641.91	c #Conflicts:     177000 | #Constraints:      18043
639.97/641.91	c #Conflicts:     178000 | #Constraints:      19043
639.97/641.91	c #Conflicts:     179000 | #Constraints:      20043
639.97/641.91	c #Conflicts:     180000 | #Constraints:      21043
639.97/641.91	c INPROCESSING
639.97/641.91	c GARBAGE COLLECT
639.97/641.91	c #Conflicts:     181000 | #Constraints:      13631
639.97/641.91	c #Conflicts:     182000 | #Constraints:      14631
639.97/641.91	c #Conflicts:     183000 | #Constraints:      15631
639.97/641.91	c #Conflicts:     184000 | #Constraints:      16631
639.97/641.91	c #Conflicts:     185000 | #Constraints:      17631
639.97/641.91	c #Conflicts:     186000 | #Constraints:      18631
639.97/641.91	c #Conflicts:     187000 | #Constraints:      19631
639.97/641.91	c #Conflicts:     188000 | #Constraints:      20631
639.97/641.91	c #Conflicts:     189000 | #Constraints:      21631
639.97/641.91	c INPROCESSING
639.97/641.91	c GARBAGE COLLECT
639.97/641.91	c #Conflicts:     190000 | #Constraints:      14026
639.97/641.91	c #Conflicts:     191000 | #Constraints:      15026
639.97/641.91	c #Conflicts:     192000 | #Constraints:      16026
639.97/641.91	c #Conflicts:     193000 | #Constraints:      17026
639.97/641.91	c #Conflicts:     194000 | #Constraints:      18026
639.97/641.91	c #Conflicts:     195000 | #Constraints:      19026
639.97/641.91	c #Conflicts:     196000 | #Constraints:      20026
639.97/641.91	c #Conflicts:     197000 | #Constraints:      21026
639.97/641.91	c #Conflicts:     198000 | #Constraints:      22026
639.97/641.91	c INPROCESSING
639.97/641.91	c GARBAGE COLLECT
639.97/641.91	c #Conflicts:     199000 | #Constraints:      14222
639.97/641.91	c #Conflicts:     200000 | #Constraints:      15222
639.97/641.91	c #Conflicts:     201000 | #Constraints:      16222
639.97/641.91	c #Conflicts:     202000 | #Constraints:      17222
639.97/641.91	c #Conflicts:     203000 | #Constraints:      18222
639.97/641.91	c #Conflicts:     204000 | #Constraints:      19222
639.97/641.91	c #Conflicts:     205000 | #Constraints:      20222
639.97/641.91	c #Conflicts:     206000 | #Constraints:      21222
639.97/641.91	c #Conflicts:     207000 | #Constraints:      22222
639.97/641.91	c INPROCESSING
639.97/641.91	c GARBAGE COLLECT
639.97/641.91	c #Conflicts:     208000 | #Constraints:      14223
639.97/641.91	c #Conflicts:     209000 | #Constraints:      15223
639.97/641.91	c #Conflicts:     210000 | #Constraints:      16223
639.97/641.91	c #Conflicts:     211000 | #Constraints:      17223
639.97/641.91	c #Conflicts:     212000 | #Constraints:      18223
918.39/921.14	c #Conflicts:     213000 | #Constraints:      19223
918.39/921.14	c #Conflicts:     214000 | #Constraints:      20223
918.39/921.14	c #Conflicts:     215000 | #Constraints:      21223
918.39/921.14	c #Conflicts:     216000 | #Constraints:      22223
918.39/921.14	c INPROCESSING
918.39/921.14	c GARBAGE COLLECT
918.39/921.14	c #Conflicts:     217000 | #Constraints:      14020
918.39/921.14	c #Conflicts:     218000 | #Constraints:      15020
918.39/921.14	c #Conflicts:     219000 | #Constraints:      16020
918.39/921.14	c #Conflicts:     220000 | #Constraints:      17020
918.39/921.14	c #Conflicts:     221000 | #Constraints:      18020
918.39/921.14	c #Conflicts:     222000 | #Constraints:      19020
918.39/921.14	c #Conflicts:     223000 | #Constraints:      20020
918.39/921.14	c #Conflicts:     224000 | #Constraints:      21020
918.39/921.14	c #Conflicts:     225000 | #Constraints:      22020
918.39/921.14	c #Conflicts:     226000 | #Constraints:      23020
918.39/921.14	c INPROCESSING
918.39/921.14	c GARBAGE COLLECT
918.39/921.14	c #Conflicts:     227000 | #Constraints:      14613
918.39/921.14	c #Conflicts:     228000 | #Constraints:      15613
918.39/921.14	c #Conflicts:     229000 | #Constraints:      16613
918.39/921.14	c #Conflicts:     230000 | #Constraints:      17613
918.39/921.14	c #Conflicts:     231000 | #Constraints:      18613
918.39/921.14	c #Conflicts:     232000 | #Constraints:      19613
918.39/921.14	c #Conflicts:     233000 | #Constraints:      20613
918.39/921.14	c #Conflicts:     234000 | #Constraints:      21613
918.39/921.14	c #Conflicts:     235000 | #Constraints:      22613
918.39/921.14	c #Conflicts:     236000 | #Constraints:      23613
918.39/921.14	c INPROCESSING
918.39/921.14	c GARBAGE COLLECT
918.39/921.14	c #Conflicts:     237000 | #Constraints:      15011
918.39/921.14	c #Conflicts:     238000 | #Constraints:      16011
918.39/921.14	c #Conflicts:     239000 | #Constraints:      17011
918.39/921.14	c #Conflicts:     240000 | #Constraints:      18011
918.39/921.14	c #Conflicts:     241000 | #Constraints:      19011
918.39/921.14	c #Conflicts:     242000 | #Constraints:      20011
918.39/921.14	c #Conflicts:     243000 | #Constraints:      21011
918.39/921.14	c #Conflicts:     244000 | #Constraints:      22011
918.39/921.14	c #Conflicts:     245000 | #Constraints:      23011
918.39/921.14	c #Conflicts:     246000 | #Constraints:      24011
918.39/921.14	c INPROCESSING
918.39/921.14	c GARBAGE COLLECT
918.39/921.14	c #Conflicts:     247000 | #Constraints:      15209
918.39/921.14	c #Conflicts:     248000 | #Constraints:      16209
918.39/921.14	c #Conflicts:     249000 | #Constraints:      17209
918.39/921.14	c #Conflicts:     250000 | #Constraints:      18209
918.39/921.14	c #Conflicts:     251000 | #Constraints:      19209
918.39/921.14	c #Conflicts:     252000 | #Constraints:      20209
918.39/921.14	c #Conflicts:     253000 | #Constraints:      21209
918.39/921.14	c #Conflicts:     254000 | #Constraints:      22209
918.39/921.14	c #Conflicts:     255000 | #Constraints:      23209
918.39/921.14	c #Conflicts:     256000 | #Constraints:      24209
918.39/921.14	c INPROCESSING
918.39/921.14	c GARBAGE COLLECT
918.39/921.14	c #Conflicts:     257000 | #Constraints:      15211
918.39/921.14	c #Conflicts:     258000 | #Constraints:      16211
918.39/921.14	c #Conflicts:     259000 | #Constraints:      17211
918.39/921.14	c #Conflicts:     260000 | #Constraints:      18211
918.39/921.14	c #Conflicts:     261000 | #Constraints:      19211
918.39/921.14	c #Conflicts:     262000 | #Constraints:      20211
918.39/921.14	c #Conflicts:     263000 | #Constraints:      21211
918.39/921.14	c #Conflicts:     264000 | #Constraints:      22211
918.39/921.14	c #Conflicts:     265000 | #Constraints:      23211
918.39/921.14	c #Conflicts:     266000 | #Constraints:      24211
918.39/921.14	c INPROCESSING
918.39/921.14	c GARBAGE COLLECT
918.39/921.14	c #Conflicts:     267000 | #Constraints:      15013
918.39/921.14	c #Conflicts:     268000 | #Constraints:      16013
918.39/921.14	c #Conflicts:     269000 | #Constraints:      17013
918.39/921.14	c GLOBAL bounds - >= 0 @ 915.245
1236.62/1240.23	c #Conflicts:     270000 | #Constraints:      18015
1236.62/1240.23	c #Conflicts:     271000 | #Constraints:      19015
1236.62/1240.23	c #Conflicts:     272000 | #Constraints:      20015
1236.62/1240.23	c #Conflicts:     273000 | #Constraints:      21015
1236.62/1240.23	c #Conflicts:     274000 | #Constraints:      22015
1236.62/1240.23	c #Conflicts:     275000 | #Constraints:      23015
1236.62/1240.23	c #Conflicts:     276000 | #Constraints:      24015
1236.62/1240.23	c #Conflicts:     277000 | #Constraints:      25015
1236.62/1240.23	c INPROCESSING
1236.62/1240.23	c GARBAGE COLLECT
1236.62/1240.23	c #Conflicts:     278000 | #Constraints:      15616
1236.62/1240.23	c #Conflicts:     279000 | #Constraints:      16616
1236.62/1240.23	c #Conflicts:     280000 | #Constraints:      17616
1236.62/1240.23	c #Conflicts:     281000 | #Constraints:      18616
1236.62/1240.23	c #Conflicts:     282000 | #Constraints:      19616
1236.62/1240.23	c #Conflicts:     283000 | #Constraints:      20616
1236.62/1240.23	c #Conflicts:     284000 | #Constraints:      21616
1236.62/1240.23	c #Conflicts:     285000 | #Constraints:      22616
1236.62/1240.23	c #Conflicts:     286000 | #Constraints:      23616
1236.62/1240.23	c #Conflicts:     287000 | #Constraints:      24616
1236.62/1240.23	c #Conflicts:     288000 | #Constraints:      25616
1236.62/1240.23	c INPROCESSING
1236.62/1240.23	c GARBAGE COLLECT
1236.62/1240.23	c #Conflicts:     289000 | #Constraints:      16009
1236.62/1240.23	c #Conflicts:     290000 | #Constraints:      17009
1236.62/1240.23	c #Conflicts:     291000 | #Constraints:      18009
1236.62/1240.23	c #Conflicts:     292000 | #Constraints:      19009
1236.62/1240.23	c #Conflicts:     293000 | #Constraints:      20009
1236.62/1240.23	c #Conflicts:     294000 | #Constraints:      21009
1236.62/1240.23	c #Conflicts:     295000 | #Constraints:      22009
1236.62/1240.23	c #Conflicts:     296000 | #Constraints:      23009
1236.62/1240.23	c #Conflicts:     297000 | #Constraints:      24009
1236.62/1240.23	c #Conflicts:     298000 | #Constraints:      25009
1236.62/1240.23	c #Conflicts:     299000 | #Constraints:      26009
1236.62/1240.23	c INPROCESSING
1236.62/1240.23	c GARBAGE COLLECT
1236.62/1240.23	c #Conflicts:     300000 | #Constraints:      16206
1236.62/1240.23	c #Conflicts:     301000 | #Constraints:      17206
1236.62/1240.23	c #Conflicts:     302000 | #Constraints:      18206
1236.62/1240.23	c #Conflicts:     303000 | #Constraints:      19206
1236.62/1240.23	c #Conflicts:     304000 | #Constraints:      20206
1236.62/1240.23	c #Conflicts:     305000 | #Constraints:      21206
1236.62/1240.23	c #Conflicts:     306000 | #Constraints:      22206
1236.62/1240.23	c #Conflicts:     307000 | #Constraints:      23206
1236.62/1240.23	c #Conflicts:     308000 | #Constraints:      24206
1236.62/1240.23	c #Conflicts:     309000 | #Constraints:      25206
1236.62/1240.23	c #Conflicts:     310000 | #Constraints:      26206
1236.62/1240.23	c INPROCESSING
1236.62/1240.23	c GARBAGE COLLECT
1236.62/1240.23	c #Conflicts:     311000 | #Constraints:      16204
1236.62/1240.23	c #Conflicts:     312000 | #Constraints:      17204
1236.62/1240.23	c #Conflicts:     313000 | #Constraints:      18204
1236.62/1240.23	c #Conflicts:     314000 | #Constraints:      19204
1236.62/1240.23	c #Conflicts:     315000 | #Constraints:      20204
1236.62/1240.23	c #Conflicts:     316000 | #Constraints:      21204
1236.62/1240.23	c #Conflicts:     317000 | #Constraints:      22204
1236.62/1240.23	c #Conflicts:     318000 | #Constraints:      23204
1236.62/1240.23	c #Conflicts:     319000 | #Constraints:      24204
1236.62/1240.23	c #Conflicts:     320000 | #Constraints:      25204
1236.62/1240.23	c #Conflicts:     321000 | #Constraints:      26204
1236.62/1240.23	c INPROCESSING
1236.62/1240.23	c GARBAGE COLLECT
1236.62/1240.23	c #Conflicts:     322000 | #Constraints:      16004
1236.62/1240.23	c #Conflicts:     323000 | #Constraints:      17004
1236.62/1240.23	c #Conflicts:     324000 | #Constraints:      18004
1236.62/1240.23	c #Conflicts:     325000 | #Constraints:      19004
1236.62/1240.23	c #Conflicts:     326000 | #Constraints:      20004
1236.62/1240.23	c #Conflicts:     327000 | #Constraints:      21004
1236.62/1240.23	c #Conflicts:     328000 | #Constraints:      22004
1236.62/1240.23	c #Conflicts:     329000 | #Constraints:      23004
1236.62/1240.23	c #Conflicts:     330000 | #Constraints:      24004
1236.62/1240.23	c #Conflicts:     331000 | #Constraints:      25004
1236.62/1240.23	c #Conflicts:     332000 | #Constraints:      26004
1236.62/1240.23	c #Conflicts:     333000 | #Constraints:      27004
1236.62/1240.23	c INPROCESSING
1236.62/1240.23	c GARBAGE COLLECT
1236.62/1240.23	c #Conflicts:     334000 | #Constraints:      16605
1236.62/1240.23	c #Conflicts:     335000 | #Constraints:      17605
1236.62/1240.23	c #Conflicts:     336000 | #Constraints:      18605
1236.62/1240.23	c #Conflicts:     337000 | #Constraints:      19605
1236.62/1240.23	c #Conflicts:     338000 | #Constraints:      20605
1236.62/1240.23	c #Conflicts:     339000 | #Constraints:      21605
1236.62/1240.23	c #Conflicts:     340000 | #Constraints:      22605
1236.62/1240.23	c #Conflicts:     341000 | #Constraints:      23605
1236.62/1240.23	c #Conflicts:     342000 | #Constraints:      24605
1236.62/1240.23	c #Conflicts:     343000 | #Constraints:      25605
1236.62/1240.23	c #Conflicts:     344000 | #Constraints:      26605
1595.28/1599.83	c #Conflicts:     345000 | #Constraints:      27605
1595.28/1599.83	c INPROCESSING
1595.28/1599.83	c GARBAGE COLLECT
1595.28/1599.83	c #Conflicts:     346000 | #Constraints:      17004
1595.28/1599.83	c #Conflicts:     347000 | #Constraints:      18004
1595.28/1599.83	c #Conflicts:     348000 | #Constraints:      19004
1595.28/1599.83	c #Conflicts:     349000 | #Constraints:      20004
1595.28/1599.83	c #Conflicts:     350000 | #Constraints:      21004
1595.28/1599.83	c #Conflicts:     351000 | #Constraints:      22004
1595.28/1599.83	c #Conflicts:     352000 | #Constraints:      23004
1595.28/1599.83	c #Conflicts:     353000 | #Constraints:      24004
1595.28/1599.83	c #Conflicts:     354000 | #Constraints:      25004
1595.28/1599.83	c #Conflicts:     355000 | #Constraints:      26004
1595.28/1599.83	c #Conflicts:     356000 | #Constraints:      27004
1595.28/1599.83	c #Conflicts:     357000 | #Constraints:      28004
1595.28/1599.83	c INPROCESSING
1595.28/1599.83	c GARBAGE COLLECT
1595.28/1599.83	c #Conflicts:     358000 | #Constraints:      17211
1595.28/1599.83	c #Conflicts:     359000 | #Constraints:      18211
1595.28/1599.83	c #Conflicts:     360000 | #Constraints:      19211
1595.28/1599.83	c #Conflicts:     361000 | #Constraints:      20211
1595.28/1599.83	c #Conflicts:     362000 | #Constraints:      21211
1595.28/1599.83	c #Conflicts:     363000 | #Constraints:      22211
1595.28/1599.83	c #Conflicts:     364000 | #Constraints:      23211
1595.28/1599.83	c #Conflicts:     365000 | #Constraints:      24211
1595.28/1599.83	c #Conflicts:     366000 | #Constraints:      25211
1595.28/1599.83	c #Conflicts:     367000 | #Constraints:      26211
1595.28/1599.83	c #Conflicts:     368000 | #Constraints:      27211
1595.28/1599.83	c #Conflicts:     369000 | #Constraints:      28211
1595.28/1599.83	c INPROCESSING
1595.28/1599.83	c GARBAGE COLLECT
1595.28/1599.83	c #Conflicts:     370000 | #Constraints:      17209
1595.28/1599.83	c #Conflicts:     371000 | #Constraints:      18209
1595.28/1599.83	c #Conflicts:     372000 | #Constraints:      19209
1595.28/1599.83	c #Conflicts:     373000 | #Constraints:      20209
1595.28/1599.83	c #Conflicts:     374000 | #Constraints:      21209
1595.28/1599.83	c #Conflicts:     375000 | #Constraints:      22209
1595.28/1599.83	c #Conflicts:     376000 | #Constraints:      23209
1595.28/1599.83	c #Conflicts:     377000 | #Constraints:      24209
1595.28/1599.83	c #Conflicts:     378000 | #Constraints:      25209
1595.28/1599.83	c #Conflicts:     379000 | #Constraints:      26209
1595.28/1599.83	c #Conflicts:     380000 | #Constraints:      27209
1595.28/1599.83	c #Conflicts:     381000 | #Constraints:      28209
1595.28/1599.83	c INPROCESSING
1595.28/1599.83	c GARBAGE COLLECT
1595.28/1599.83	c #Conflicts:     382000 | #Constraints:      17004
1595.28/1599.83	c #Conflicts:     383000 | #Constraints:      18004
1595.28/1599.83	c #Conflicts:     384000 | #Constraints:      19004
1595.28/1599.83	c #Conflicts:     385000 | #Constraints:      20004
1595.28/1599.83	c #Conflicts:     386000 | #Constraints:      21004
1595.28/1599.83	c #Conflicts:     387000 | #Constraints:      22004
1595.28/1599.83	c #Conflicts:     388000 | #Constraints:      23004
1595.28/1599.83	c #Conflicts:     389000 | #Constraints:      24004
1595.28/1599.83	c #Conflicts:     390000 | #Constraints:      25004
1595.28/1599.83	c #Conflicts:     391000 | #Constraints:      26004
1595.28/1599.83	c #Conflicts:     392000 | #Constraints:      27004
1595.28/1599.83	c #Conflicts:     393000 | #Constraints:      28004
1595.28/1599.83	c #Conflicts:     394000 | #Constraints:      29004
1595.28/1599.83	c INPROCESSING
1595.28/1599.83	c GARBAGE COLLECT
1595.28/1599.83	c #Conflicts:     395000 | #Constraints:      17619
1595.28/1599.83	c #Conflicts:     396000 | #Constraints:      18619
1595.28/1599.83	c #Conflicts:     397000 | #Constraints:      19619
1595.28/1599.83	c #Conflicts:     398000 | #Constraints:      20619
1595.28/1599.83	c #Conflicts:     399000 | #Constraints:      21619
1595.28/1599.83	c #Conflicts:     400000 | #Constraints:      22619
1595.28/1599.83	c #Conflicts:     401000 | #Constraints:      23619
1595.28/1599.83	c #Conflicts:     402000 | #Constraints:      24619
1595.28/1599.83	c #Conflicts:     403000 | #Constraints:      25619
1595.28/1599.83	c #Conflicts:     404000 | #Constraints:      26619
1595.28/1599.83	c #Conflicts:     405000 | #Constraints:      27619
1595.28/1599.83	c #Conflicts:     406000 | #Constraints:      28619
1595.28/1599.83	c #Conflicts:     407000 | #Constraints:      29619
1595.28/1599.83	c INPROCESSING
1595.28/1599.83	c GARBAGE COLLECT
1595.28/1599.83	c #Conflicts:     408000 | #Constraints:      18001
1595.28/1599.83	c #Conflicts:     409000 | #Constraints:      19001
1595.28/1599.83	c #Conflicts:     410000 | #Constraints:      20001
1595.28/1599.83	c #Conflicts:     411000 | #Constraints:      21001
1595.28/1599.83	c #Conflicts:     412000 | #Constraints:      22001
1595.28/1599.83	c #Conflicts:     413000 | #Constraints:      23001
1595.28/1599.83	c #Conflicts:     414000 | #Constraints:      24001
1595.28/1599.83	c #Conflicts:     415000 | #Constraints:      25001
1595.28/1599.83	c #Conflicts:     416000 | #Constraints:      26001
1595.28/1599.83	c #Conflicts:     417000 | #Constraints:      27001
1595.28/1599.83	c #Conflicts:     418000 | #Constraints:      28001
1595.28/1599.83	c #Conflicts:     419000 | #Constraints:      29001
1924.26/1929.76	c #Conflicts:     420000 | #Constraints:      30001
1924.26/1929.76	c INPROCESSING
1924.26/1929.76	c GARBAGE COLLECT
1924.26/1929.76	c #Conflicts:     421000 | #Constraints:      18193
1924.26/1929.76	c #Conflicts:     422000 | #Constraints:      19193
1924.26/1929.76	c #Conflicts:     423000 | #Constraints:      20193
1924.26/1929.76	c #Conflicts:     424000 | #Constraints:      21193
1924.26/1929.76	c #Conflicts:     425000 | #Constraints:      22193
1924.26/1929.76	c #Conflicts:     426000 | #Constraints:      23193
1924.26/1929.76	c #Conflicts:     427000 | #Constraints:      24193
1924.26/1929.76	c #Conflicts:     428000 | #Constraints:      25193
1924.26/1929.76	c #Conflicts:     429000 | #Constraints:      26193
1924.26/1929.76	c #Conflicts:     430000 | #Constraints:      27193
1924.26/1929.76	c #Conflicts:     431000 | #Constraints:      28193
1924.26/1929.76	c #Conflicts:     432000 | #Constraints:      29193
1924.26/1929.76	c #Conflicts:     433000 | #Constraints:      30193
1924.26/1929.76	c INPROCESSING
1924.26/1929.76	c GARBAGE COLLECT
1924.26/1929.76	c #Conflicts:     434000 | #Constraints:      18209
1924.26/1929.76	c #Conflicts:     435000 | #Constraints:      19209
1924.26/1929.76	c #Conflicts:     436000 | #Constraints:      20209
1924.26/1929.76	c #Conflicts:     437000 | #Constraints:      21209
1924.26/1929.76	c #Conflicts:     438000 | #Constraints:      22209
1924.26/1929.76	c #Conflicts:     439000 | #Constraints:      23209
1924.26/1929.76	c #Conflicts:     440000 | #Constraints:      24209
1924.26/1929.76	c #Conflicts:     441000 | #Constraints:      25209
1924.26/1929.76	c #Conflicts:     442000 | #Constraints:      26209
1924.26/1929.76	c #Conflicts:     443000 | #Constraints:      27209
1924.26/1929.76	c #Conflicts:     444000 | #Constraints:      28209
1924.26/1929.76	c #Conflicts:     445000 | #Constraints:      29209
1924.26/1929.76	c #Conflicts:     446000 | #Constraints:      30209
1924.26/1929.76	c INPROCESSING
1924.26/1929.76	c GARBAGE COLLECT
1924.26/1929.76	c #Conflicts:     447000 | #Constraints:      17995
1924.26/1929.76	c #Conflicts:     448000 | #Constraints:      18995
1924.26/1929.76	c #Conflicts:     449000 | #Constraints:      19995
1924.26/1929.76	c #Conflicts:     450000 | #Constraints:      20995
1924.26/1929.76	c #Conflicts:     451000 | #Constraints:      21995
1924.26/1929.76	c #Conflicts:     452000 | #Constraints:      22995
1924.26/1929.76	c #Conflicts:     453000 | #Constraints:      23995
1924.26/1929.76	c #Conflicts:     454000 | #Constraints:      24995
1924.26/1929.76	c #Conflicts:     455000 | #Constraints:      25995
1924.26/1929.76	c #Conflicts:     456000 | #Constraints:      26995
1924.26/1929.76	c #Conflicts:     457000 | #Constraints:      27995
1924.26/1929.76	c #Conflicts:     458000 | #Constraints:      28995
1924.26/1929.76	c #Conflicts:     459000 | #Constraints:      29995
1924.26/1929.76	c #Conflicts:     460000 | #Constraints:      30995
1924.26/1929.76	c INPROCESSING
1924.26/1929.76	c GARBAGE COLLECT
1924.26/1929.76	c #Conflicts:     461000 | #Constraints:      18599
1924.26/1929.76	c #Conflicts:     462000 | #Constraints:      19599
1924.26/1929.76	c #Conflicts:     463000 | #Constraints:      20599
1924.26/1929.76	c #Conflicts:     464000 | #Constraints:      21599
1924.26/1929.76	c #Conflicts:     465000 | #Constraints:      22599
1924.26/1929.76	c #Conflicts:     466000 | #Constraints:      23599
1924.26/1929.76	c #Conflicts:     467000 | #Constraints:      24599
1924.26/1929.76	c #Conflicts:     468000 | #Constraints:      25599
1924.26/1929.76	c #Conflicts:     469000 | #Constraints:      26599
1924.26/1929.76	c #Conflicts:     470000 | #Constraints:      27599
1924.26/1929.76	c #Conflicts:     471000 | #Constraints:      28599
1924.26/1929.76	c #Conflicts:     472000 | #Constraints:      29599
1924.26/1929.76	c #Conflicts:     473000 | #Constraints:      30599
1924.26/1929.76	c #Conflicts:     474000 | #Constraints:      31599
1924.26/1929.76	c INPROCESSING
1924.26/1929.76	c GARBAGE COLLECT
1924.26/1929.76	c #Conflicts:     475000 | #Constraints:      18998
1924.26/1929.76	c #Conflicts:     476000 | #Constraints:      19998
1924.26/1929.76	c #Conflicts:     477000 | #Constraints:      20998
1924.26/1929.76	c #Conflicts:     478000 | #Constraints:      21998
1924.26/1929.76	c #Conflicts:     479000 | #Constraints:      22998
1924.26/1929.76	c #Conflicts:     480000 | #Constraints:      23998
1924.26/1929.76	c #Conflicts:     481000 | #Constraints:      24998
1924.26/1929.76	c #Conflicts:     482000 | #Constraints:      25998
1924.26/1929.76	c #Conflicts:     483000 | #Constraints:      26998
1924.26/1929.76	c #Conflicts:     484000 | #Constraints:      27998
1924.26/1929.76	c #Conflicts:     485000 | #Constraints:      28998
1924.26/1929.76	c #Conflicts:     486000 | #Constraints:      29998
1924.26/1929.76	c #Conflicts:     487000 | #Constraints:      30998
1924.26/1929.76	c #Conflicts:     488000 | #Constraints:      31998
1924.26/1929.76	c INPROCESSING
1924.26/1929.76	c GARBAGE COLLECT
1924.26/1929.76	c #Conflicts:     489000 | #Constraints:      19189
1924.26/1929.76	c #Conflicts:     490000 | #Constraints:      20189
1924.26/1929.76	c #Conflicts:     491000 | #Constraints:      21189
1924.26/1929.76	c #Conflicts:     492000 | #Constraints:      22189
1924.26/1929.76	c #Conflicts:     493000 | #Constraints:      23189
1924.26/1929.76	c #Conflicts:     494000 | #Constraints:      24189
2344.18/2350.81	c #Conflicts:     495000 | #Constraints:      25189
2344.18/2350.81	c #Conflicts:     496000 | #Constraints:      26189
2344.18/2350.81	c #Conflicts:     497000 | #Constraints:      27189
2344.18/2350.81	c #Conflicts:     498000 | #Constraints:      28189
2344.18/2350.81	c #Conflicts:     499000 | #Constraints:      29189
2344.18/2350.81	c #Conflicts:     500000 | #Constraints:      30189
2344.18/2350.81	c #Conflicts:     501000 | #Constraints:      31189
2344.18/2350.81	c #Conflicts:     502000 | #Constraints:      32189
2344.18/2350.81	c INPROCESSING
2344.18/2350.81	c GARBAGE COLLECT
2344.18/2350.81	c #Conflicts:     503000 | #Constraints:      19205
2344.18/2350.81	c #Conflicts:     504000 | #Constraints:      20205
2344.18/2350.81	c #Conflicts:     505000 | #Constraints:      21205
2344.18/2350.81	c #Conflicts:     506000 | #Constraints:      22205
2344.18/2350.81	c #Conflicts:     507000 | #Constraints:      23205
2344.18/2350.81	c #Conflicts:     508000 | #Constraints:      24205
2344.18/2350.81	c #Conflicts:     509000 | #Constraints:      25205
2344.18/2350.81	c #Conflicts:     510000 | #Constraints:      26205
2344.18/2350.81	c #Conflicts:     511000 | #Constraints:      27205
2344.18/2350.81	c #Conflicts:     512000 | #Constraints:      28205
2344.18/2350.81	c #Conflicts:     513000 | #Constraints:      29205
2344.18/2350.81	c #Conflicts:     514000 | #Constraints:      30205
2344.18/2350.81	c #Conflicts:     515000 | #Constraints:      31205
2344.18/2350.81	c #Conflicts:     516000 | #Constraints:      32205
2344.18/2350.81	c INPROCESSING
2344.18/2350.81	c GARBAGE COLLECT
2344.18/2350.81	c #Conflicts:     517000 | #Constraints:      19003
2344.18/2350.81	c #Conflicts:     518000 | #Constraints:      20003
2344.18/2350.81	c #Conflicts:     519000 | #Constraints:      21003
2344.18/2350.81	c #Conflicts:     520000 | #Constraints:      22003
2344.18/2350.81	c #Conflicts:     521000 | #Constraints:      23003
2344.18/2350.81	c #Conflicts:     522000 | #Constraints:      24003
2344.18/2350.81	c #Conflicts:     523000 | #Constraints:      25003
2344.18/2350.81	c #Conflicts:     524000 | #Constraints:      26003
2344.18/2350.81	c #Conflicts:     525000 | #Constraints:      27003
2344.18/2350.81	c #Conflicts:     526000 | #Constraints:      28003
2344.18/2350.81	c #Conflicts:     527000 | #Constraints:      29003
2344.18/2350.81	c #Conflicts:     528000 | #Constraints:      30003
2344.18/2350.81	c #Conflicts:     529000 | #Constraints:      31003
2344.18/2350.81	c #Conflicts:     530000 | #Constraints:      32003
2344.18/2350.81	c #Conflicts:     531000 | #Constraints:      33003
2344.18/2350.81	c INPROCESSING
2344.18/2350.81	c GARBAGE COLLECT
2344.18/2350.81	c #Conflicts:     532000 | #Constraints:      19594
2344.18/2350.81	c #Conflicts:     533000 | #Constraints:      20594
2344.18/2350.81	c #Conflicts:     534000 | #Constraints:      21594
2344.18/2350.81	c #Conflicts:     535000 | #Constraints:      22594
2344.18/2350.81	c #Conflicts:     536000 | #Constraints:      23594
2344.18/2350.81	c #Conflicts:     537000 | #Constraints:      24594
2344.18/2350.81	c #Conflicts:     538000 | #Constraints:      25594
2344.18/2350.81	c #Conflicts:     539000 | #Constraints:      26594
2344.18/2350.81	c #Conflicts:     540000 | #Constraints:      27594
2344.18/2350.81	c #Conflicts:     541000 | #Constraints:      28594
2344.18/2350.81	c #Conflicts:     542000 | #Constraints:      29594
2344.18/2350.81	c #Conflicts:     543000 | #Constraints:      30594
2344.18/2350.81	c #Conflicts:     544000 | #Constraints:      31594
2344.18/2350.81	c #Conflicts:     545000 | #Constraints:      32594
2344.18/2350.81	c #Conflicts:     546000 | #Constraints:      33594
2344.18/2350.81	c INPROCESSING
2344.18/2350.81	c GARBAGE COLLECT
2344.18/2350.81	c #Conflicts:     547000 | #Constraints:      19992
2344.18/2350.81	c #Conflicts:     548000 | #Constraints:      20992
2344.18/2350.81	c #Conflicts:     549000 | #Constraints:      21992
2344.18/2350.81	c #Conflicts:     550000 | #Constraints:      22992
2344.18/2350.81	c #Conflicts:     551000 | #Constraints:      23992
2344.18/2350.81	c #Conflicts:     552000 | #Constraints:      24992
2344.18/2350.81	c #Conflicts:     553000 | #Constraints:      25992
2344.18/2350.81	c #Conflicts:     554000 | #Constraints:      26992
2344.18/2350.81	c #Conflicts:     555000 | #Constraints:      27992
2344.18/2350.81	c #Conflicts:     556000 | #Constraints:      28992
2344.18/2350.81	c #Conflicts:     557000 | #Constraints:      29992
2344.18/2350.81	c #Conflicts:     558000 | #Constraints:      30992
2344.18/2350.81	c #Conflicts:     559000 | #Constraints:      31992
2344.18/2350.81	c #Conflicts:     560000 | #Constraints:      32992
2344.18/2350.81	c #Conflicts:     561000 | #Constraints:      33992
2344.18/2350.81	c INPROCESSING
2344.18/2350.81	c GARBAGE COLLECT
2344.18/2350.81	c #Conflicts:     562000 | #Constraints:      20197
2344.18/2350.81	c #Conflicts:     563000 | #Constraints:      21197
2344.18/2350.81	c #Conflicts:     564000 | #Constraints:      22197
2344.18/2350.81	c #Conflicts:     565000 | #Constraints:      23197
2344.18/2350.81	c #Conflicts:     566000 | #Constraints:      24197
2344.18/2350.81	c #Conflicts:     567000 | #Constraints:      25197
2344.18/2350.81	c #Conflicts:     568000 | #Constraints:      26197
2344.18/2350.81	c #Conflicts:     569000 | #Constraints:      27197
2344.18/2350.81	c #Conflicts:     570000 | #Constraints:      28197
2404.92/2411.70	c #Conflicts:     571000 | #Constraints:      29197
2404.92/2411.70	c #Conflicts:     572000 | #Constraints:      30197
2404.92/2411.70	c #Conflicts:     573000 | #Constraints:      31197
2404.92/2411.70	c #Conflicts:     574000 | #Constraints:      32197
2404.92/2411.70	c #Conflicts:     575000 | #Constraints:      33197
2404.92/2411.70	c #Conflicts:     576000 | #Constraints:      34197
2404.92/2411.70	c INPROCESSING
2404.92/2411.70	c GARBAGE COLLECT
2404.92/2411.70	c #Conflicts:     577000 | #Constraints:      20193
2404.92/2411.70	c #Conflicts:     578000 | #Constraints:      21193
2404.92/2411.70	c #Conflicts:     579000 | #Constraints:      22193
2404.92/2411.70	c GLOBAL bounds - >= 0 @ 2398.97
2714.38/2722.09	c #Conflicts:     580000 | #Constraints:      23195
2714.38/2722.09	c #Conflicts:     581000 | #Constraints:      24195
2714.38/2722.09	c #Conflicts:     582000 | #Constraints:      25195
2714.38/2722.09	c #Conflicts:     583000 | #Constraints:      26195
2714.38/2722.09	c #Conflicts:     584000 | #Constraints:      27195
2714.38/2722.09	c #Conflicts:     585000 | #Constraints:      28195
2714.38/2722.09	c #Conflicts:     586000 | #Constraints:      29195
2714.38/2722.09	c #Conflicts:     587000 | #Constraints:      30195
2714.38/2722.09	c #Conflicts:     588000 | #Constraints:      31195
2714.38/2722.09	c #Conflicts:     589000 | #Constraints:      32195
2714.38/2722.09	c #Conflicts:     590000 | #Constraints:      33195
2714.38/2722.09	c #Conflicts:     591000 | #Constraints:      34195
2714.38/2722.09	c INPROCESSING
2714.38/2722.09	c GARBAGE COLLECT
2714.38/2722.09	c #Conflicts:     592000 | #Constraints:      20028
2714.38/2722.09	c #Conflicts:     593000 | #Constraints:      21028
2714.38/2722.09	c #Conflicts:     594000 | #Constraints:      22028
2714.38/2722.09	c #Conflicts:     595000 | #Constraints:      23028
2714.38/2722.09	c #Conflicts:     596000 | #Constraints:      24028
2714.38/2722.09	c #Conflicts:     597000 | #Constraints:      25028
2714.38/2722.09	c #Conflicts:     598000 | #Constraints:      26028
2714.38/2722.09	c #Conflicts:     599000 | #Constraints:      27028
2714.38/2722.09	c #Conflicts:     600000 | #Constraints:      28028
2714.38/2722.09	c #Conflicts:     601000 | #Constraints:      29028
2714.38/2722.09	c #Conflicts:     602000 | #Constraints:      30028
2714.38/2722.09	c #Conflicts:     603000 | #Constraints:      31028
2714.38/2722.09	c #Conflicts:     604000 | #Constraints:      32028
2714.38/2722.09	c #Conflicts:     605000 | #Constraints:      33028
2714.38/2722.09	c #Conflicts:     606000 | #Constraints:      34028
2714.38/2722.09	c #Conflicts:     607000 | #Constraints:      35028
2714.38/2722.09	c INPROCESSING
2714.38/2722.09	c GARBAGE COLLECT
2714.38/2722.09	c #Conflicts:     608000 | #Constraints:      20641
2714.38/2722.09	c #Conflicts:     609000 | #Constraints:      21641
2714.38/2722.09	c #Conflicts:     610000 | #Constraints:      22641
2714.38/2722.09	c #Conflicts:     611000 | #Constraints:      23641
2714.38/2722.09	c #Conflicts:     612000 | #Constraints:      24641
2714.38/2722.09	c #Conflicts:     613000 | #Constraints:      25641
2714.38/2722.09	c #Conflicts:     614000 | #Constraints:      26641
2714.38/2722.09	c #Conflicts:     615000 | #Constraints:      27641
2714.38/2722.09	c #Conflicts:     616000 | #Constraints:      28641
2714.38/2722.09	c #Conflicts:     617000 | #Constraints:      29641
2714.38/2722.09	c #Conflicts:     618000 | #Constraints:      30641
2714.38/2722.09	c #Conflicts:     619000 | #Constraints:      31641
2714.38/2722.09	c #Conflicts:     620000 | #Constraints:      32641
2714.38/2722.09	c #Conflicts:     621000 | #Constraints:      33641
2714.38/2722.09	c #Conflicts:     622000 | #Constraints:      34641
2714.38/2722.09	c #Conflicts:     623000 | #Constraints:      35641
2714.38/2722.09	c INPROCESSING
2714.38/2722.09	c GARBAGE COLLECT
2714.38/2722.09	c #Conflicts:     624000 | #Constraints:      21038
2714.38/2722.09	c #Conflicts:     625000 | #Constraints:      22038
2714.38/2722.09	c #Conflicts:     626000 | #Constraints:      23038
2714.38/2722.09	c #Conflicts:     627000 | #Constraints:      24038
2714.38/2722.09	c #Conflicts:     628000 | #Constraints:      25038
2714.38/2722.09	c #Conflicts:     629000 | #Constraints:      26038
2714.38/2722.09	c #Conflicts:     630000 | #Constraints:      27038
2714.38/2722.09	c #Conflicts:     631000 | #Constraints:      28038
2714.38/2722.09	c #Conflicts:     632000 | #Constraints:      29038
2714.38/2722.09	c #Conflicts:     633000 | #Constraints:      30038
2714.38/2722.09	c #Conflicts:     634000 | #Constraints:      31038
2714.38/2722.09	c #Conflicts:     635000 | #Constraints:      32038
2714.38/2722.09	c #Conflicts:     636000 | #Constraints:      33038
2714.38/2722.09	c GLOBAL bounds - >= 0 @ 2707.95
3065.91/3074.51	c #Conflicts:     637000 | #Constraints:      34040
3065.91/3074.51	c #Conflicts:     638000 | #Constraints:      35040
3065.91/3074.51	c #Conflicts:     639000 | #Constraints:      36040
3065.91/3074.51	c INPROCESSING
3065.91/3074.51	c GARBAGE COLLECT
3065.91/3074.51	c #Conflicts:     640000 | #Constraints:      21254
3065.91/3074.51	c #Conflicts:     641000 | #Constraints:      22254
3065.91/3074.51	c #Conflicts:     642000 | #Constraints:      23254
3065.91/3074.51	c #Conflicts:     643000 | #Constraints:      24254
3065.91/3074.51	c #Conflicts:     644000 | #Constraints:      25254
3065.91/3074.51	c #Conflicts:     645000 | #Constraints:      26254
3065.91/3074.51	c #Conflicts:     646000 | #Constraints:      27254
3065.91/3074.51	c #Conflicts:     647000 | #Constraints:      28254
3065.91/3074.51	c #Conflicts:     648000 | #Constraints:      29254
3065.91/3074.51	c #Conflicts:     649000 | #Constraints:      30254
3065.91/3074.51	c #Conflicts:     650000 | #Constraints:      31254
3065.91/3074.51	c #Conflicts:     651000 | #Constraints:      32254
3065.91/3074.51	c #Conflicts:     652000 | #Constraints:      33254
3065.91/3074.51	c #Conflicts:     653000 | #Constraints:      34254
3065.91/3074.51	c #Conflicts:     654000 | #Constraints:      35254
3065.91/3074.51	c #Conflicts:     655000 | #Constraints:      36254
3065.91/3074.51	c INPROCESSING
3065.91/3074.51	c GARBAGE COLLECT
3065.91/3074.51	c #Conflicts:     656000 | #Constraints:      21253
3065.91/3074.51	c #Conflicts:     657000 | #Constraints:      22253
3065.91/3074.51	c #Conflicts:     658000 | #Constraints:      23253
3065.91/3074.51	c #Conflicts:     659000 | #Constraints:      24253
3065.91/3074.51	c #Conflicts:     660000 | #Constraints:      25253
3065.91/3074.51	c #Conflicts:     661000 | #Constraints:      26253
3065.91/3074.51	c #Conflicts:     662000 | #Constraints:      27253
3065.91/3074.51	c #Conflicts:     663000 | #Constraints:      28253
3065.91/3074.51	c #Conflicts:     664000 | #Constraints:      29253
3065.91/3074.51	c #Conflicts:     665000 | #Constraints:      30253
3065.91/3074.51	c #Conflicts:     666000 | #Constraints:      31253
3065.91/3074.51	c #Conflicts:     667000 | #Constraints:      32253
3065.91/3074.51	c #Conflicts:     668000 | #Constraints:      33253
3065.91/3074.51	c #Conflicts:     669000 | #Constraints:      34253
3065.91/3074.51	c #Conflicts:     670000 | #Constraints:      35253
3065.91/3074.51	c #Conflicts:     671000 | #Constraints:      36253
3065.91/3074.51	c INPROCESSING
3065.91/3074.51	c GARBAGE COLLECT
3065.91/3074.51	c #Conflicts:     672000 | #Constraints:      21052
3065.91/3074.51	c #Conflicts:     673000 | #Constraints:      22052
3065.91/3074.51	c #Conflicts:     674000 | #Constraints:      23052
3065.91/3074.51	c #Conflicts:     675000 | #Constraints:      24052
3065.91/3074.51	c #Conflicts:     676000 | #Constraints:      25052
3065.91/3074.51	c #Conflicts:     677000 | #Constraints:      26052
3065.91/3074.51	c #Conflicts:     678000 | #Constraints:      27052
3065.91/3074.51	c #Conflicts:     679000 | #Constraints:      28052
3065.91/3074.51	c #Conflicts:     680000 | #Constraints:      29052
3065.91/3074.51	c #Conflicts:     681000 | #Constraints:      30052
3065.91/3074.51	c #Conflicts:     682000 | #Constraints:      31052
3065.91/3074.51	c #Conflicts:     683000 | #Constraints:      32052
3065.91/3074.51	c #Conflicts:     684000 | #Constraints:      33052
3065.91/3074.51	c #Conflicts:     685000 | #Constraints:      34052
3065.91/3074.51	c #Conflicts:     686000 | #Constraints:      35052
3065.91/3074.51	c GLOBAL bounds - >= 0 @ 3058.91
3499.03/3508.80	c #Conflicts:     687000 | #Constraints:      36054
3499.03/3508.80	c #Conflicts:     688000 | #Constraints:      37054
3499.03/3508.80	c INPROCESSING
3499.03/3508.80	c GARBAGE COLLECT
3499.03/3508.80	c #Conflicts:     689000 | #Constraints:      21678
3499.03/3508.80	c #Conflicts:     690000 | #Constraints:      22678
3499.03/3508.80	c #Conflicts:     691000 | #Constraints:      23678
3499.03/3508.80	c #Conflicts:     692000 | #Constraints:      24678
3499.03/3508.80	c #Conflicts:     693000 | #Constraints:      25678
3499.03/3508.80	c #Conflicts:     694000 | #Constraints:      26678
3499.03/3508.80	c #Conflicts:     695000 | #Constraints:      27678
3499.03/3508.80	c #Conflicts:     696000 | #Constraints:      28678
3499.03/3508.80	c #Conflicts:     697000 | #Constraints:      29678
3499.03/3508.80	c #Conflicts:     698000 | #Constraints:      30678
3499.03/3508.80	c #Conflicts:     699000 | #Constraints:      31678
3499.03/3508.80	c #Conflicts:     700000 | #Constraints:      32678
3499.03/3508.80	c #Conflicts:     701000 | #Constraints:      33678
3499.03/3508.80	c #Conflicts:     702000 | #Constraints:      34678
3499.03/3508.80	c #Conflicts:     703000 | #Constraints:      35678
3499.03/3508.80	c #Conflicts:     704000 | #Constraints:      36678
3499.03/3508.80	c #Conflicts:     705000 | #Constraints:      37678
3499.03/3508.80	c INPROCESSING
3499.03/3508.80	c GARBAGE COLLECT
3499.03/3508.80	c #Conflicts:     706000 | #Constraints:      22075
3499.03/3508.80	c #Conflicts:     707000 | #Constraints:      23075
3499.03/3508.80	c #Conflicts:     708000 | #Constraints:      24075
3499.03/3508.80	c #Conflicts:     709000 | #Constraints:      25075
3499.03/3508.80	c #Conflicts:     710000 | #Constraints:      26075
3499.03/3508.80	c #Conflicts:     711000 | #Constraints:      27075
3499.03/3508.80	c #Conflicts:     712000 | #Constraints:      28075
3499.03/3508.80	c #Conflicts:     713000 | #Constraints:      29075
3499.03/3508.80	c #Conflicts:     714000 | #Constraints:      30075
3499.03/3508.80	c #Conflicts:     715000 | #Constraints:      31075
3499.03/3508.80	c #Conflicts:     716000 | #Constraints:      32075
3499.03/3508.80	c #Conflicts:     717000 | #Constraints:      33075
3499.03/3508.80	c #Conflicts:     718000 | #Constraints:      34075
3499.03/3508.80	c #Conflicts:     719000 | #Constraints:      35075
3499.03/3508.80	c #Conflicts:     720000 | #Constraints:      36075
3499.03/3508.80	c #Conflicts:     721000 | #Constraints:      37075
3499.03/3508.80	c #Conflicts:     722000 | #Constraints:      38075
3499.03/3508.80	c INPROCESSING
3499.03/3508.80	c GARBAGE COLLECT
3499.03/3508.80	c #Conflicts:     723000 | #Constraints:      22268
3499.03/3508.80	c #Conflicts:     724000 | #Constraints:      23268
3499.03/3508.80	c #Conflicts:     725000 | #Constraints:      24268
3499.03/3508.80	c #Conflicts:     726000 | #Constraints:      25268
3499.03/3508.80	c #Conflicts:     727000 | #Constraints:      26268
3499.03/3508.80	c #Conflicts:     728000 | #Constraints:      27268
3499.03/3508.80	c #Conflicts:     729000 | #Constraints:      28268
3499.03/3508.80	c #Conflicts:     730000 | #Constraints:      29268
3499.03/3508.80	c #Conflicts:     731000 | #Constraints:      30268
3499.03/3508.80	c #Conflicts:     732000 | #Constraints:      31268
3499.03/3508.80	c #Conflicts:     733000 | #Constraints:      32268
3499.03/3508.80	c #Conflicts:     734000 | #Constraints:      33268
3499.03/3508.80	c #Conflicts:     735000 | #Constraints:      34268
3499.03/3508.80	c #Conflicts:     736000 | #Constraints:      35268
3499.03/3508.80	c #Conflicts:     737000 | #Constraints:      36268
3499.03/3508.80	c #Conflicts:     738000 | #Constraints:      37268
3499.03/3508.80	c #Conflicts:     739000 | #Constraints:      38268
3499.03/3508.80	c INPROCESSING
3499.03/3508.80	c GARBAGE COLLECT
3499.03/3508.80	c #Conflicts:     740000 | #Constraints:      22270
3499.03/3508.80	c #Conflicts:     741000 | #Constraints:      23270
3499.03/3508.80	c #Conflicts:     742000 | #Constraints:      24270
3499.03/3508.80	c #Conflicts:     743000 | #Constraints:      25270
3499.03/3508.80	c #Conflicts:     744000 | #Constraints:      26270
3499.03/3508.80	c #Conflicts:     745000 | #Constraints:      27270
3499.03/3508.80	c #Conflicts:     746000 | #Constraints:      28270
3499.03/3508.80	c #Conflicts:     747000 | #Constraints:      29270
3499.03/3508.80	c #Conflicts:     748000 | #Constraints:      30270
3499.03/3508.80	c #Conflicts:     749000 | #Constraints:      31270
3499.03/3508.80	c #Conflicts:     750000 | #Constraints:      32270
3499.03/3508.80	c GLOBAL bounds - >= 0 @ 3491.48
3600.05/3610.10	c #Conflicts:     751000 | #Constraints:      33272
3600.05/3610.10	c #Conflicts:     752000 | #Constraints:      34272
3600.05/3610.10	c #Conflicts:     753000 | #Constraints:      35272
3600.05/3610.10	c #Conflicts:     754000 | #Constraints:      36272
3600.05/3610.10	c #Conflicts:     755000 | #Constraints:      37272
3600.05/3610.10	c #Conflicts:     756000 | #Constraints:      38272
3600.05/3610.10	c INPROCESSING
3600.05/3610.10	c GARBAGE COLLECT
3600.05/3610.10	c #Conflicts:     757000 | #Constraints:      22062
3600.05/3610.10	c #Conflicts:     758000 | #Constraints:      23062
3600.05/3610.10	c #Conflicts:     759000 | #Constraints:      24062
3600.05/3610.10	c #Conflicts:     760000 | #Constraints:      25062
3600.05/3610.10	c #Conflicts:     761000 | #Constraints:      26062
3600.05/3610.10	c #Conflicts:     762000 | #Constraints:      27062
3600.05/3610.10	c #Conflicts:     763000 | #Constraints:      28062
3600.05/3610.10	c #Conflicts:     764000 | #Constraints:      29062
3600.05/3610.10	c #Conflicts:     765000 | #Constraints:      30062
3600.05/3610.10	c cpu time 3592.33 s
3600.05/3610.10	c deterministic time 1 1.00e+00
3600.05/3610.10	c optimization time 3592.32 s
3600.05/3610.10	c total solve time 0 s
3600.05/3610.10	c core-guided solve time 0 s
3600.05/3610.10	c propagation time 0.000318 s
3600.05/3610.10	c conflict analysis time 0 s
3600.05/3610.10	c propagations 0
3600.05/3610.10	c resolve steps 0
3600.05/3610.10	c decisions 0
3600.05/3610.10	c conflicts 0
3600.05/3610.10	c restarts 0
3600.05/3610.10	c inprocessing phases 0
3600.05/3610.10	c garbage collections 0 ,( -nan )
3600.05/3610.10	c input clauses 4000 ,( 100.00 )
3600.05/3610.10	c input cardinalities 0 ,( 0.00 )
3600.05/3610.10	c input general constraints 0 ,( 0.00 )
3600.05/3610.10	c input average constraint length 2.00
3600.05/3610.10	c input average constraint degree 1.00
3600.05/3610.10	c learned clauses 0 ,( 0.00 )
3600.05/3610.10	c learned cardinalities 0 ,( 0.00 )
3600.05/3610.10	c learned general constraints 0 ,( 0.00 )
3600.05/3610.10	c learned average constraint length 0.00
3600.05/3610.10	c learned average constraint degree 0.00
3600.05/3610.10	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.05/3610.10	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.05/3610.10	c watched   constraints 0 ,( -nan ) 
3600.05/3610.10	c counting  constraints 0 ,( -nan ) 
3600.05/3610.10	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.05/3610.10	c gcd simplifications 0
3600.05/3610.10	c detected cardinalities 0
3600.05/3610.10	c weakened non-implied lits 0
3600.05/3610.10	c weakened non-implying lits 0
3600.05/3610.10	c original variables 1968
3600.05/3610.10	c clausal propagations 0
3600.05/3610.10	c cardinality propagations 0
3600.05/3610.10	c watched propagations 0
3600.05/3610.10	c counting propagations 0
3600.05/3610.10	c watch lookups 0
3600.05/3610.10	c watch backjump lookups 0
3600.05/3610.10	c watch checks 0
3600.05/3610.10	c propagation checks 0
3600.05/3610.10	c constraint additions 0
3600.05/3610.10	c trail pops 0
3600.05/3610.10	c formula constraints 4000
3600.05/3610.10	c learned constraints 0
3600.05/3610.10	c bound constraints 0
3600.05/3610.10	c core-guided constraints 0
3600.05/3610.10	c encountered formula constraints 0
3600.05/3610.10	c encountered learned constraints 0
3600.05/3610.10	c encountered bound constraints 0
3600.05/3610.10	c encountered core-guided constraints 0
3600.05/3610.10	c LP total time 0 s
3600.05/3610.10	c LP solve time 0 s
3600.05/3610.10	c LP constraints added 0
3600.05/3610.10	c LP constraints removed 0
3600.05/3610.10	c LP pivots internal 0
3600.05/3610.10	c LP pivots root 0
3600.05/3610.10	c LP calls 0
3600.05/3610.10	c LP optimalities 0
3600.05/3610.10	c LP no pivot count 0
3600.05/3610.10	c LP infeasibilities 0
3600.05/3610.10	c LP valid Farkas constraints 0
3600.05/3610.10	c LP learned Farkas constraints 0
3600.05/3610.10	c LP basis resets 0
3600.05/3610.10	c LP cycling count 0
3600.05/3610.10	c LP singular count 0
3600.05/3610.10	c LP no primal count 0
3600.05/3610.10	c LP no farkas count 0
3600.05/3610.10	c LP other issue count 0
3600.05/3610.10	c LP Gomory cuts 0
3600.05/3610.10	c LP learned cuts 0
3600.05/3610.10	c LP deleted cuts 0
3600.05/3610.10	c LP encountered Gomory constraints 0
3600.05/3610.10	c LP encountered Farkas constraints 0
3600.05/3610.10	c LP encountered learned Farkas constraints 0
3600.05/3610.10	c CG auxiliary variables introduced 0
3600.05/3610.10	c CG solutions found 0
3600.05/3610.10	c CG cores constructed 0
3600.05/3610.10	c CG core cardinality constraints returned 0
3600.05/3610.10	c CG unit cores 0
3600.05/3610.10	c CG single cores 0
3600.05/3610.10	c CG blocks removed during cardinality reduction 0
3600.05/3610.10	c CG first core best 0
3600.05/3610.10	c CG decision core best 0
3600.05/3610.10	c CG core reduction tie 0
3600.05/3610.10	c CG core degree average 0.00
3600.05/3610.10	c CG core slack average 0.00
3600.05/3610.10	c CG core upper bound improvements 0
3600.05/3610.10	c STR number of successful calls 0
3600.05/3610.10	c STR number of unsuccessful calls 0
3600.05/3610.10	c STR number of inconclusive calls 0
3600.05/3610.10	c STR number of successful attempts 0
3600.05/3610.10	c STR number of unsuccessful attempts 0
3600.05/3610.10	c STR number of inconclusive attempts 0
3600.05/3610.10	c STR average degree increase per successful call inf
3600.05/3610.10	c STR average degree increase per successful attempt inf
3600.05/3610.10	c STR total number of conflicts for successful attempts 0
3600.05/3610.10	c STR total number of conflicts for unsuccessful attempts 0
3600.05/3610.10	c STR total number of conflicts for inconclusive attempts 0
3600.05/3610.10	c STR average number of conflicts per successful attempt inf
3600.05/3610.10	c STR average number of conflicts per unsuccessful attempt inf
3600.05/3610.10	c STR average number of conflicts per inconclusive attempt inf
3600.05/3610.10	c AVG.sumWPerc -nan 
3600.05/3610.10	c bigint constraints 0 
3600.05/3610.10	s UNKNOWN
3600.05/3610.10	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (63046 MiB free)
  memory of node 1: 64465 MiB (64035 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=51003, runsolver pid=50997

[startup+0.100058 s]*
/proc/loadavg: 4.07 4.08 4.09 5/269 51020
/proc/meminfo: memFree=130111536/131249996 swapFree=33006296/33010684
[pid=51003] ppid=50997 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51003/stat : 51003 (run-opt.sh) S 50997 51003 50566 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94922050736128 94922051630661 140733418570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94922051869712 94922051917456 94922054852608 140733418576237 140733418576360 140733418576360 140733418581962 0
/proc/51003/statm: 1048 736 672 219 0 110 0
[pid=51013] ppid=51003 vsize=68116 memory=21956 CPUtime=0.08 cores=0,2
/proc/51013/stat : 51013 (roundingsat) R 51003 51003 50566 0 -1 4194304 3486 0 0 0 6 2 0 0 20 0 1 0 50860361 69750784 5489 18446744073709551615 4227072 8923433 140736708342672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140736708348322 140736708348456 140736708348456 140736708354026 0
/proc/51013/statm: 17029 5489 2304 1147 0 4456 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 72308 KiB
Current children cumulated memory: 24900 KiB

[startup+0.205998 s]*
/proc/loadavg: 4.07 4.08 4.09 6/269 51020
/proc/meminfo: memFree=130090116/131249996 swapFree=33006296/33010684
[pid=51003] ppid=50997 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51003/stat : 51003 (run-opt.sh) S 50997 51003 50566 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94922050736128 94922051630661 140733418570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94922051869712 94922051917456 94922054852608 140733418576237 140733418576360 140733418576360 140733418581962 0
/proc/51003/statm: 1048 736 672 219 0 110 0
[pid=51013] ppid=51003 vsize=72216 memory=26436 CPUtime=0.18 cores=0,2
/proc/51013/stat : 51013 (roundingsat) R 51003 51003 50566 0 -1 4194304 4590 0 0 0 16 2 0 0 20 0 1 0 50860361 73949184 6609 18446744073709551615 4227072 8923433 140736708342672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140736708348322 140736708348456 140736708348456 140736708354026 0
/proc/51013/statm: 18054 6609 2336 1147 0 5481 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 76408 KiB
Current children cumulated memory: 29380 KiB

[startup+0.305672 s]*
/proc/loadavg: 4.07 4.08 4.09 5/269 51020
/proc/meminfo: memFree=130068320/131249996 swapFree=33006296/33010684
[pid=51003] ppid=50997 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51003/stat : 51003 (run-opt.sh) S 50997 51003 50566 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94922050736128 94922051630661 140733418570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94922051869712 94922051917456 94922054852608 140733418576237 140733418576360 140733418576360 140733418581962 0
/proc/51003/statm: 1048 736 672 219 0 110 0
[pid=51013] ppid=51003 vsize=81736 memory=35856 CPUtime=0.28 cores=0,2
/proc/51013/stat : 51013 (roundingsat) R 51003 51003 50566 0 -1 4194304 6441 0 0 0 25 3 0 0 20 0 1 0 50860361 83697664 8964 18446744073709551615 4227072 8923433 140736708342672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140736708348322 140736708348456 140736708348456 140736708354026 0
/proc/51013/statm: 20434 8964 2336 1147 0 7861 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 85928 KiB
Current children cumulated memory: 38800 KiB

[startup+0.700202 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 51020
/proc/meminfo: memFree=130032536/131249996 swapFree=33006296/33010684
[pid=51003] ppid=50997 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51003/stat : 51003 (run-opt.sh) S 50997 51003 50566 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94922050736128 94922051630661 140733418570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94922051869712 94922051917456 94922054852608 140733418576237 140733418576360 140733418576360 140733418581962 0
/proc/51003/statm: 1048 736 672 219 0 110 0
[pid=51013] ppid=51003 vsize=111628 memory=61348 CPUtime=0.67 cores=0,2
/proc/51013/stat : 51013 (roundingsat) R 51003 51003 50566 0 -1 4194304 11762 0 0 0 62 5 0 0 20 0 1 0 50860361 114307072 15337 18446744073709551615 4227072 8923433 140736708342672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140736708348322 140736708348456 140736708348456 140736708354026 0
/proc/51013/statm: 27907 15337 2336 1147 0 15334 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 115820 KiB
Current children cumulated memory: 64292 KiB

[startup+1.5002 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 51020
/proc/meminfo: memFree=129990072/131249996 swapFree=33006296/33010684
[pid=51003] ppid=50997 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51003/stat : 51003 (run-opt.sh) S 50997 51003 50566 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94922050736128 94922051630661 140733418570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94922051869712 94922051917456 94922054852608 140733418576237 140733418576360 140733418576360 140733418581962 0
/proc/51003/statm: 1048 736 672 219 0 110 0
[pid=51013] ppid=51003 vsize=154904 memory=98280 CPUtime=1.47 cores=0,2
/proc/51013/stat : 51013 (roundingsat) R 51003 51003 50566 0 -1 4194304 18959 0 0 0 139 8 0 0 20 0 1 0 50860361 158621696 24570 18446744073709551615 4227072 8923433 140736708342672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140736708348322 140736708348456 140736708348456 140736708354026 0
/proc/51013/statm: 38726 24570 2336 1147 0 26153 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 159096 KiB
Current children cumulated memory: 101224 KiB

[startup+3.10573 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 51021
/proc/meminfo: memFree=129917416/131249996 swapFree=33006296/33010684
[pid=51003] ppid=50997 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51003/stat : 51003 (run-opt.sh) S 50997 51003 50566 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94922050736128 94922051630661 140733418570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94922051869712 94922051917456 94922054852608 140733418576237 140733418576360 140733418576360 140733418581962 0
/proc/51003/statm: 1048 736 672 219 0 110 0
[pid=51013] ppid=51003 vsize=155864 memory=108716 CPUtime=3.07 cores=0,2
/proc/51013/stat : 51013 (roundingsat) R 51003 51003 50566 0 -1 4194304 20036 0 0 0 297 10 0 0 20 0 1 0 50860361 159604736 27179 18446744073709551615 4227072 8923433 140736708342672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140736708348322 140736708348456 140736708348456 140736708354026 0
/proc/51013/statm: 38966 27179 2336 1147 0 26393 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 160056 KiB
Current children cumulated memory: 111660 KiB

[startup+6.30021 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 51021
/proc/meminfo: memFree=129833600/131249996 swapFree=33006296/33010684
[pid=51003] ppid=50997 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51003/stat : 51003 (run-opt.sh) S 50997 51003 50566 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94922050736128 94922051630661 140733418570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94922051869712 94922051917456 94922054852608 140733418576237 140733418576360 140733418576360 140733418581962 0
/proc/51003/statm: 1048 736 672 219 0 110 0
[pid=51013] ppid=51003 vsize=239744 memory=180024 CPUtime=6.25 cores=0,2
/proc/51013/stat : 51013 (roundingsat) R 51003 51003 50566 0 -1 4194304 33802 0 0 0 610 15 0 0 20 0 1 0 50860361 245497856 45006 18446744073709551615 4227072 8923433 140736708342672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140736708348322 140736708348456 140736708348456 140736708354026 0
/proc/51013/statm: 59936 45006 2336 1147 0 47363 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 243936 KiB
Current children cumulated memory: 182968 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.10 4.09 5/269 51021
/proc/meminfo: memFree=129753324/131249996 swapFree=33006296/33010684
[pid=51003] ppid=50997 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51003/stat : 51003 (run-opt.sh) S 50997 51003 50566 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94922050736128 94922051630661 140733418570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94922051869712 94922051917456 94922054852608 140733418576237 140733418576360 140733418576360 140733418581962 0
/proc/51003/statm: 1048 736 672 219 0 110 0
[pid=51013] ppid=51003 vsize=274468 memory=208852 CPUtime=12.64 cores=0,2
/proc/51013/stat : 51013 (roundingsat) R 51003 51003 50566 0 -1 4194304 38447 0 0 0 1240 24 0 0 20 0 1 0 50860361 281055232 52213 18446744073709551615 4227072 8923433 140736708342672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140736708348322 140736708348456 140736708348456 140736708354026 0
/proc/51013/statm: 68617 52213 2336 1147 0 56044 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 278660 KiB
Current children cumulated memory: 211796 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.09 4.09 5/270 51022
/proc/meminfo: memFree=129449552/131249996 swapFree=33006296/33010684
[pid=51003] ppid=50997 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51003/stat : 51003 (run-opt.sh) S 50997 51003 50566 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94922050736128 94922051630661 140733418570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94922051869712 94922051917456 94922054852608 140733418576237 140733418576360 140733418576360 140733418581962 0
/proc/51003/statm: 1048 736 672 219 0 110 0
[pid=51013] ppid=51003 vsize=630240 memory=483756 CPUtime=25.39 cores=0,2
/proc/51013/stat : 51013 (roundingsat) R 51003 51003 50566 0 -1 4194304 102590 0 0 0 2496 43 0 0 20 0 1 0 50860361 645365760 120939 18446744073709551615 4227072 8923433 140736708342672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140736708348322 140736708348456 140736708348456 140736708354026 0
/proc/51013/statm: 157560 120939 2336 1147 0 144987 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 634432 KiB
Current children cumulated memory: 486700 KiB

[startup+51.1059 s]
/proc/loadavg: 4.07 4.08 4.09 5/270 51022
/proc/meminfo: memFree=129391248/131249996 swapFree=33006296/33010684
[pid=51003] ppid=50997 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51003/stat : 51003 (run-opt.sh) S 50997 51003 50566 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94922050736128 94922051630661 140733418570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94922051869712 94922051917456 94922054852608 140733418576237 140733418576360 140733418576360 140733418581962 0
/proc/51003/statm: 1048 736 672 219 0 110 0
[pid=51013] ppid=51003 vsize=682780 memory=497320 CPUtime=50.93 cores=0,2
/proc/51013/stat : 51013 (roundingsat) R 51003 51003 50566 0 -1 4194304 105455 0 0 0 5033 60 0 0 20 0 1 0 50860361 699166720 124330 18446744073709551615 4227072 8923433 140736708342672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140736708348322 140736708348456 140736708348456 140736708354026 0
/proc/51013/statm: 170695 124330 2336 1147 0 158122 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 686972 KiB
Current children cumulated memory: 500264 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/270 51024
/proc/meminfo: memFree=129203412/131249996 swapFree=33006296/33010684
[pid=51003] ppid=50997 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51003/stat : 51003 (run-opt.sh) S 50997 51003 50566 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94922050736128 94922051630661 140733418570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94922051869712 94922051917456 94922054852608 140733418576237 140733418576360 140733418576360 140733418581962 0
/proc/51003/statm: 1048 736 672 219 0 110 0
[pid=51013] ppid=51003 vsize=734908 memory=552040 CPUtime=101.97 cores=0,2
/proc/51013/stat : 51013 (roundingsat) R 51003 51003 50566 0 -1 4194304 116100 0 0 0 10110 87 0 0 20 0 1 0 50860361 752545792 138010 18446744073709551615 4227072 8923433 140736708342672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140736708348322 140736708348456 140736708348456 140736708354026 0
/proc/51013/statm: 183727 138010 2336 1147 0 171154 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 739100 KiB
Current children cumulated memory: 554984 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/269 51028
/proc/meminfo: memFree=129107288/131249996 swapFree=33006296/33010684
[pid=51003] ppid=50997 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51003/stat : 51003 (run-opt.sh) S 50997 51003 50566 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94922050736128 94922051630661 140733418570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94922051869712 94922051917456 94922054852608 140733418576237 140733418576360 140733418576360 140733418581962 0
/proc/51003/statm: 1048 736 672 219 0 110 0
[pid=51013] ppid=51003 vsize=752988 memory=590492 CPUtime=161.78 cores=0,2
/proc/51013/stat : 51013 (roundingsat) R 51003 51003 50566 0 -1 4194304 122149 0 0 0 16064 114 0 0 20 0 1 0 50860361 771059712 147623 18446744073709551615 4227072 8923433 140736708342672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140736708348322 140736708348456 140736708348456 140736708354026 0
/proc/51013/statm: 188247 147623 2336 1147 0 175674 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 757180 KiB
Current children cumulated memory: 593436 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/270 51031
/proc/meminfo: memFree=128982432/131249996 swapFree=33006296/33010684
[pid=51003] ppid=50997 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51003/stat : 51003 (run-opt.sh) S 50997 51003 50566 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94922050736128 94922051630661 140733418570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94922051869712 94922051917456 94922054852608 140733418576237 140733418576360 140733418576360 140733418581962 0
/proc/51003/statm: 1048 736 672 219 0 110 0
[pid=51013] ppid=51003 vsize=762852 memory=597404 CPUtime=221.6 cores=0,2
/proc/51013/stat : 51013 (roundingsat) R 51003 51003 50566 0 -1 4194304 123881 0 0 0 22032 128 0 0 20 0 1 0 50860361 781160448 149351 18446744073709551615 4227072 8923433 140736708342672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140736708348322 140736708348456 140736708348456 140736708354026 0
/proc/51013/statm: 190713 149351 2336 1147 0 178140 0
Current children cumulated CPU time: 221.6 s

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

/proc/51013/statm: 318666 304487 2336 1147 0 306093 0
Current children cumulated CPU time: 3093.63 s
Current children cumulated vsize: 1278856 KiB
Current children cumulated memory: 1220892 KiB

[startup+3162.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/269 51191
/proc/meminfo: memFree=127690652/131249996 swapFree=33006296/33010684
[pid=51003] ppid=50997 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51003/stat : 51003 (run-opt.sh) S 50997 51003 50566 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94922050736128 94922051630661 140733418570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94922051869712 94922051917456 94922054852608 140733418576237 140733418576360 140733418576360 140733418581962 0
/proc/51003/statm: 1048 736 672 219 0 110 0
[pid=51013] ppid=51003 vsize=1274664 memory=1217948 CPUtime=3153.47 cores=0,2
/proc/51013/stat : 51013 (roundingsat) R 51003 51003 50566 0 -1 4194304 195260 0 0 0 314630 717 0 0 20 0 1 0 50860361 1305255936 304487 18446744073709551615 4227072 8923433 140736708342672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140736708348322 140736708348456 140736708348456 140736708354026 0
/proc/51013/statm: 318666 304487 2336 1147 0 306093 0
Current children cumulated CPU time: 3153.47 s
Current children cumulated vsize: 1278856 KiB
Current children cumulated memory: 1220892 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 51197
/proc/meminfo: memFree=127709620/131249996 swapFree=33006296/33010684
[pid=51003] ppid=50997 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51003/stat : 51003 (run-opt.sh) S 50997 51003 50566 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94922050736128 94922051630661 140733418570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94922051869712 94922051917456 94922054852608 140733418576237 140733418576360 140733418576360 140733418581962 0
/proc/51003/statm: 1048 736 672 219 0 110 0
[pid=51013] ppid=51003 vsize=1274664 memory=1217948 CPUtime=3213.31 cores=0,2
/proc/51013/stat : 51013 (roundingsat) R 51003 51003 50566 0 -1 4194304 195359 0 0 0 320606 725 0 0 20 0 1 0 50860361 1305255936 304487 18446744073709551615 4227072 8923433 140736708342672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140736708348322 140736708348456 140736708348456 140736708354026 0
/proc/51013/statm: 318666 304487 2336 1147 0 306093 0
Current children cumulated CPU time: 3213.31 s
Current children cumulated vsize: 1278856 KiB
Current children cumulated memory: 1220892 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.09 4.09 5/269 51199
/proc/meminfo: memFree=127696312/131249996 swapFree=33006296/33010684
[pid=51003] ppid=50997 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51003/stat : 51003 (run-opt.sh) S 50997 51003 50566 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94922050736128 94922051630661 140733418570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94922051869712 94922051917456 94922054852608 140733418576237 140733418576360 140733418576360 140733418581962 0
/proc/51003/statm: 1048 736 672 219 0 110 0
[pid=51013] ppid=51003 vsize=1274664 memory=1217948 CPUtime=3273.14 cores=0,2
/proc/51013/stat : 51013 (roundingsat) R 51003 51003 50566 0 -1 4194304 195359 0 0 0 326582 732 0 0 20 0 1 0 50860361 1305255936 304487 18446744073709551615 4227072 8923433 140736708342672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140736708348322 140736708348456 140736708348456 140736708354026 0
/proc/51013/statm: 318666 304487 2336 1147 0 306093 0
Current children cumulated CPU time: 3273.14 s
Current children cumulated vsize: 1278856 KiB
Current children cumulated memory: 1220892 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/270 51206
/proc/meminfo: memFree=127701428/131249996 swapFree=33006296/33010684
[pid=51003] ppid=50997 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51003/stat : 51003 (run-opt.sh) S 50997 51003 50566 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94922050736128 94922051630661 140733418570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94922051869712 94922051917456 94922054852608 140733418576237 140733418576360 140733418576360 140733418581962 0
/proc/51003/statm: 1048 736 672 219 0 110 0
[pid=51013] ppid=51003 vsize=1274664 memory=1217948 CPUtime=3332.98 cores=0,2
/proc/51013/stat : 51013 (roundingsat) R 51003 51003 50566 0 -1 4194304 195360 0 0 0 332560 738 0 0 20 0 1 0 50860361 1305255936 304487 18446744073709551615 4227072 8923433 140736708342672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140736708348322 140736708348456 140736708348456 140736708354026 0
/proc/51013/statm: 318666 304487 2336 1147 0 306093 0
Current children cumulated CPU time: 3332.98 s
Current children cumulated vsize: 1278856 KiB
Current children cumulated memory: 1220892 KiB

[startup+3402.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/270 51208
/proc/meminfo: memFree=127698000/131249996 swapFree=33006296/33010684
[pid=51003] ppid=50997 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51003/stat : 51003 (run-opt.sh) S 50997 51003 50566 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94922050736128 94922051630661 140733418570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94922051869712 94922051917456 94922054852608 140733418576237 140733418576360 140733418576360 140733418581962 0
/proc/51003/statm: 1048 736 672 219 0 110 0
[pid=51013] ppid=51003 vsize=1274664 memory=1217948 CPUtime=3392.81 cores=0,2
/proc/51013/stat : 51013 (roundingsat) R 51003 51003 50566 0 -1 4194304 195360 0 0 0 338538 743 0 0 20 0 1 0 50860361 1305255936 304487 18446744073709551615 4227072 8923433 140736708342672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140736708348322 140736708348456 140736708348456 140736708354026 0
/proc/51013/statm: 318666 304487 2336 1147 0 306093 0
Current children cumulated CPU time: 3392.81 s
Current children cumulated vsize: 1278856 KiB
Current children cumulated memory: 1220892 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/269 51210
/proc/meminfo: memFree=127695856/131249996 swapFree=33006296/33010684
[pid=51003] ppid=50997 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51003/stat : 51003 (run-opt.sh) S 50997 51003 50566 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94922050736128 94922051630661 140733418570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94922051869712 94922051917456 94922054852608 140733418576237 140733418576360 140733418576360 140733418581962 0
/proc/51003/statm: 1048 736 672 219 0 110 0
[pid=51013] ppid=51003 vsize=1274664 memory=1217948 CPUtime=3452.64 cores=0,2
/proc/51013/stat : 51013 (roundingsat) R 51003 51003 50566 0 -1 4194304 195360 0 0 0 344516 748 0 0 20 0 1 0 50860361 1305255936 304487 18446744073709551615 4227072 8923433 140736708342672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140736708348322 140736708348456 140736708348456 140736708354026 0
/proc/51013/statm: 318666 304487 2336 1147 0 306093 0
Current children cumulated CPU time: 3452.64 s
Current children cumulated vsize: 1278856 KiB
Current children cumulated memory: 1220892 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/268 51212
/proc/meminfo: memFree=127696512/131249996 swapFree=33006296/33010684
[pid=51003] ppid=50997 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51003/stat : 51003 (run-opt.sh) S 50997 51003 50566 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94922050736128 94922051630661 140733418570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94922051869712 94922051917456 94922054852608 140733418576237 140733418576360 140733418576360 140733418581962 0
/proc/51003/statm: 1048 736 672 219 0 110 0
[pid=51013] ppid=51003 vsize=1274664 memory=1217948 CPUtime=3512.49 cores=0,2
/proc/51013/stat : 51013 (roundingsat) R 51003 51003 50566 0 -1 4194304 195453 0 0 0 350490 759 0 0 20 0 1 0 50860361 1305255936 304487 18446744073709551615 4227072 8923433 140736708342672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140736708348322 140736708348456 140736708348456 140736708354026 0
/proc/51013/statm: 318666 304487 2336 1147 0 306093 0
Current children cumulated CPU time: 3512.49 s
Current children cumulated vsize: 1278856 KiB
Current children cumulated memory: 1220892 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/267 51214
/proc/meminfo: memFree=127693896/131249996 swapFree=33006296/33010684
[pid=51003] ppid=50997 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51003/stat : 51003 (run-opt.sh) S 50997 51003 50566 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94922050736128 94922051630661 140733418570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94922051869712 94922051917456 94922054852608 140733418576237 140733418576360 140733418576360 140733418581962 0
/proc/51003/statm: 1048 736 672 219 0 110 0
[pid=51013] ppid=51003 vsize=1274664 memory=1217948 CPUtime=3572.33 cores=0,2
/proc/51013/stat : 51013 (roundingsat) R 51003 51003 50566 0 -1 4194304 195476 0 0 0 356465 768 0 0 20 0 1 0 50860361 1305255936 304487 18446744073709551615 4227072 8923433 140736708342672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140736708348322 140736708348456 140736708348456 140736708354026 0
/proc/51013/statm: 318666 304487 2336 1147 0 306093 0
Current children cumulated CPU time: 3572.33 s
Current children cumulated vsize: 1278856 KiB
Current children cumulated memory: 1220892 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.04 4.07 4.08 4/257 51231
/proc/meminfo: memFree=128550900/131249996 swapFree=33006296/33010684
[pid=51003] ppid=50997 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51003/stat : 51003 (run-opt.sh) S 50997 51003 50566 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94922050736128 94922051630661 140733418570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94922051869712 94922051917456 94922054852608 140733418576237 140733418576360 140733418576360 140733418581962 0
/proc/51003/statm: 1048 736 672 219 0 110 0
[pid=51013] ppid=51003 vsize=1274664 memory=1217948 CPUtime=3600.05 cores=0,2
/proc/51013/stat : 51013 (roundingsat) R 51003 51003 50566 0 -1 4194304 195476 0 0 0 359233 772 0 0 20 0 1 0 50860361 1305255936 304487 18446744073709551615 4227072 8923433 140736708342672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140736708348322 140736708348456 140736708348456 140736708354026 0
/proc/51013/statm: 318666 304487 2336 1147 0 306093 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1278856 KiB
Current children cumulated memory: 1220892 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001127 s, system=0.001149 s

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

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

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

[startup+3610.11 s]
/proc/loadavg: 4.04 4.07 4.08 4/257 51231
/proc/meminfo: memFree=128550900/131249996 swapFree=33006296/33010684
[pid=51003] ppid=50997 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51003/stat : 51003 (run-opt.sh) S 50997 51003 50566 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94922050736128 94922051630661 140733418570992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94922051869712 94922051917456 94922054852608 140733418576237 140733418576360 140733418576360 140733418581962 0
/proc/51003/statm: 1048 736 672 219 0 110 0
[pid=51013] ppid=51003 vsize=1274664 memory=1217948 CPUtime=3600.05 cores=0,2
/proc/51013/stat : 51013 (roundingsat) R 51003 51003 50566 0 -1 4194304 195476 0 0 0 359233 772 0 0 20 0 1 0 50860361 1305255936 304487 18446744073709551615 4227072 8923433 140736708342672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140736708348322 140736708348456 140736708348456 140736708354026 0
/proc/51013/statm: 318666 304487 2336 1147 0 306093 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1278856 KiB
Current children cumulated memory: 1220892 KiB

Child status: 2

Real time (s): 3610.11
CPU time (s): 3600.07
CPU user time (s): 3592.33
CPU system time (s): 7.73587
CPU usage (%): 99.7218
Max. virtual memory (cumulated for all children) (KiB): 1278856
Max. memory (cumulated for all children) (KiB): 1220892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.33
system time used= 7.73587
maximum resident set size= 1218204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195706
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 366
involuntary context switches= 4767


# summary of solver processes directly reported to runsolver:
#   pid: 51003,51013
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3592.33
#   total CPU system time (s): 7.73587

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.27151 second user time and 17.9107 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2025-07-01 08:37:09
IDJOB=4488954
IDBENCH=147535
IDSOLVER=3350
FILE ID=nodeC015/4488954-1751351829
RUNJOBID= nodeC015-1751348216-50576
SLURM_JOB_ID= 9598120
Free space on /tmp= 433016 MiB

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

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

MD5SUM BENCH= 4613bd71ebda28f991e46514414d76dd
RANDOM SEED=444160848

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        130132368 kB
MemAvailable:   129778112 kB
Buffers:            1508 kB
Cached:           407104 kB
SwapCached:         3876 kB
Active:           315908 kB
Inactive:         173028 kB
Active(anon):      45388 kB
Inactive(anon):    49080 kB
Active(file):     270520 kB
Inactive(file):   123948 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33006296 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             28956 kB
Writeback:            28 kB
AnonPages:         79520 kB
Mapped:            99020 kB
Shmem:             14144 kB
KReclaimable:     132372 kB
Slab:             222452 kB
SReclaimable:     132372 kB
SUnreclaim:        90080 kB
KernelStack:        4176 kB
PageTables:         2892 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     340544 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150360 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:    11100160 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432988 MiB
End job on nodeC015 at 2025-07-01 09:37:19