Trace number 4488908

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.06 3609.21

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_11.opb.PB06.opb
MD5SUM40839a009ce460ae7be0fe2be6267e36
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1028
Best CPU time to get the best result obtained on this benchmark13003.8
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1964
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 1964
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 1964
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 1964
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.04	c #variables 1964 #constraints 4000
0.00/0.04	c objective is ce32 
0.00/0.05	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.05	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.05	c GLOBAL bounds - >= 0 @ 0.015162
0.00/0.05	c GLOBAL bounds - >= 0 @ 0.015393
0.00/0.06	c GLOBAL bounds - >= 0 @ 0.027893
0.00/0.07	c GLOBAL bounds - >= 0 @ 0.035002
0.00/0.09	c GLOBAL bounds - >= 0 @ 0.050705
0.07/0.11	c GLOBAL bounds - >= 0 @ 0.073176
0.07/0.13	c GLOBAL bounds - >= 0 @ 0.089528
0.07/0.15	c GLOBAL bounds - >= 0 @ 0.107175
0.07/0.17	c GLOBAL bounds - >= 0 @ 0.12703
0.07/0.19	c GLOBAL bounds - >= 0 @ 0.147142
0.18/0.21	c GLOBAL bounds - >= 0 @ 0.165909
0.18/0.24	c GLOBAL bounds - >= 0 @ 0.190185
0.18/0.26	c GLOBAL bounds - >= 0 @ 0.209771
0.18/0.28	c GLOBAL bounds - >= 0 @ 0.230149
0.18/0.30	c GLOBAL bounds - >= 0 @ 0.250734
0.27/0.36	c GLOBAL bounds - >= 0 @ 0.30668
0.37/0.41	c GLOBAL bounds - >= 0 @ 0.352829
0.37/0.46	c GLOBAL bounds - >= 0 @ 0.392203
0.37/0.50	c GLOBAL bounds - >= 0 @ 0.437054
0.48/0.56	c GLOBAL bounds - >= 0 @ 0.49608
0.57/0.61	c GLOBAL bounds - >= 0 @ 0.541084
0.57/0.66	c GLOBAL bounds - >= 0 @ 0.58277
0.66/0.70	c #Conflicts:       1000 | #Constraints:       5040
0.66/0.70	c GLOBAL bounds - >= 0 @ 0.627676
0.66/0.77	c GLOBAL bounds - >= 0 @ 0.677154
0.76/0.81	c GLOBAL bounds - >= 0 @ 0.724796
0.76/0.89	c GLOBAL bounds - >= 0 @ 0.795962
0.86/0.94	c GLOBAL bounds - >= 0 @ 0.841934
0.97/1.02	c GLOBAL bounds - >= 0 @ 0.92115
1.07/1.14	c GLOBAL bounds - >= 0 @ 1.02878
1.16/1.21	c GLOBAL bounds - >= 0 @ 1.09772
1.26/1.33	c GLOBAL bounds - >= 0 @ 1.2172
1.36/1.44	c GLOBAL bounds - >= 0 @ 1.32708
1.46/1.56	c GLOBAL bounds - >= 0 @ 1.44377
1.56/1.65	c GLOBAL bounds - >= 0 @ 1.53478
1.76/1.88	c #Conflicts:       2000 | #Constraints:       6064
1.76/1.88	c INPROCESSING
1.76/1.88	c GARBAGE COLLECT
1.76/1.88	c GLOBAL bounds - >= 0 @ 1.73928
1.86/1.95	c GLOBAL bounds - >= 0 @ 1.81288
1.97/2.03	c GLOBAL bounds - >= 0 @ 1.88892
2.07/2.11	c GLOBAL bounds - >= 0 @ 1.96787
2.16/2.22	c GLOBAL bounds - >= 0 @ 2.07906
2.26/2.30	c GLOBAL bounds - >= 0 @ 2.1609
2.26/2.39	c GLOBAL bounds - >= 0 @ 2.24626
2.36/2.48	c GLOBAL bounds - >= 0 @ 2.3334
2.46/2.57	c #Conflicts:       3000 | #Constraints:       6087
2.46/2.57	c GLOBAL bounds - >= 0 @ 2.42487
2.56/2.67	c GLOBAL bounds - >= 0 @ 2.52535
2.66/2.77	c GLOBAL bounds - >= 0 @ 2.62245
2.86/2.92	c GLOBAL bounds - >= 0 @ 2.76494
2.96/3.06	c GLOBAL bounds - >= 0 @ 2.90702
3.16/3.21	c GLOBAL bounds - >= 0 @ 3.05102
3.26/3.31	c GLOBAL bounds - >= 0 @ 3.14784
3.36/3.46	c GLOBAL bounds - >= 0 @ 3.29885
3.45/3.57	c GLOBAL bounds - >= 0 @ 3.39555
3.66/3.73	c #Conflicts:       4000 | #Constraints:       7105
3.66/3.73	c GLOBAL bounds - >= 0 @ 3.55607
3.76/3.83	c GLOBAL bounds - >= 0 @ 3.65682
3.96/4.01	c GLOBAL bounds - >= 0 @ 3.8275
4.06/4.13	c GLOBAL bounds - >= 0 @ 3.94481
4.35/4.42	c INPROCESSING
4.35/4.42	c GARBAGE COLLECT
4.35/4.42	c GLOBAL bounds - >= 0 @ 4.23214
4.45/4.51	c GLOBAL bounds - >= 0 @ 4.32261
4.55/4.61	c GLOBAL bounds - >= 0 @ 4.41651
4.66/4.71	c GLOBAL bounds - >= 0 @ 4.51244
4.76/4.85	c GLOBAL bounds - >= 0 @ 4.65446
4.85/5.00	c #Conflicts:       5000 | #Constraints:       6450
4.85/5.00	c GLOBAL bounds - >= 0 @ 4.80328
4.96/5.10	c GLOBAL bounds - >= 0 @ 4.90072
5.15/5.26	c GLOBAL bounds - >= 0 @ 5.05744
5.25/5.36	c GLOBAL bounds - >= 0 @ 5.15922
5.35/5.46	c GLOBAL bounds - >= 0 @ 5.26329
5.55/5.63	c GLOBAL bounds - >= 0 @ 5.43189
5.66/5.74	c GLOBAL bounds - >= 0 @ 5.53837
5.85/5.92	c GLOBAL bounds - >= 0 @ 5.71319
5.95/6.03	c GLOBAL bounds - >= 0 @ 5.82233
6.15/6.22	c GLOBAL bounds - >= 0 @ 6.00719
6.25/6.34	c GLOBAL bounds - >= 0 @ 6.1222
6.35/6.45	c #Conflicts:       6000 | #Constraints:       7472
6.35/6.45	c GLOBAL bounds - >= 0 @ 6.23617
6.55/6.66	c GLOBAL bounds - >= 0 @ 6.43513
6.75/6.82	c GLOBAL bounds - >= 0 @ 6.59283
6.84/6.96	c GLOBAL bounds - >= 0 @ 6.73305
7.15/7.23	c GLOBAL bounds - >= 0 @ 6.99802
7.35/7.44	c GLOBAL bounds - >= 0 @ 7.17921
7.74/7.80	c INPROCESSING
7.74/7.80	c GARBAGE COLLECT
7.74/7.80	c GLOBAL bounds - >= 0 @ 7.53584
7.84/7.95	c #Conflicts:       7000 | #Constraints:       6446
7.84/7.95	c GLOBAL bounds - >= 0 @ 7.67979
7.95/8.09	c GLOBAL bounds - >= 0 @ 7.81735
8.15/8.29	c GLOBAL bounds - >= 0 @ 8.01722
8.35/8.43	c GLOBAL bounds - >= 0 @ 8.15481
8.45/8.56	c GLOBAL bounds - >= 0 @ 8.28749
8.64/8.73	c GLOBAL bounds - >= 0 @ 8.44965
8.85/9.00	c #Conflicts:       8000 | #Constraints:       7458
8.85/9.00	c GLOBAL bounds - >= 0 @ 8.66407
9.05/9.14	c GLOBAL bounds - >= 0 @ 8.8082
9.24/9.31	c GLOBAL bounds - >= 0 @ 8.97064
9.44/9.50	c GLOBAL bounds - >= 0 @ 9.15697
9.55/9.68	c GLOBAL bounds - >= 0 @ 9.32922
10.04/10.14	c #Conflicts:       9000 | #Constraints:       8468
10.04/10.14	c GLOBAL bounds - >= 0 @ 9.79087
14.53/14.67	c INPROCESSING
14.53/14.67	c GARBAGE COLLECT
14.53/14.67	c #Conflicts:      10000 | #Constraints:       7102
14.53/14.67	c #Conflicts:      11000 | #Constraints:       8102
14.53/14.67	c #Conflicts:      12000 | #Constraints:       9102
14.53/14.67	c GLOBAL bounds - >= 0 @ 14.2613
16.13/16.28	c INPROCESSING
16.13/16.28	c GARBAGE COLLECT
16.13/16.28	c #Conflicts:      13000 | #Constraints:       7426
16.13/16.28	c GLOBAL bounds - >= 0 @ 15.8559
20.11/20.21	c #Conflicts:      14000 | #Constraints:       8428
20.11/20.21	c #Conflicts:      15000 | #Constraints:       9428
20.11/20.21	c INPROCESSING
20.11/20.21	c GARBAGE COLLECT
20.11/20.21	c #Conflicts:      16000 | #Constraints:       7585
20.11/20.21	c GLOBAL bounds - >= 0 @ 19.7378
30.29/30.45	c #Conflicts:      17000 | #Constraints:       8587
30.29/30.45	c #Conflicts:      18000 | #Constraints:       9587
30.29/30.45	c INPROCESSING
30.29/30.45	c GARBAGE COLLECT
30.29/30.45	c #Conflicts:      19000 | #Constraints:       7530
30.29/30.45	c #Conflicts:      20000 | #Constraints:       8530
30.29/30.45	c #Conflicts:      21000 | #Constraints:       9530
30.29/30.45	c #Conflicts:      22000 | #Constraints:      10530
30.29/30.45	c INPROCESSING
30.29/30.45	c GARBAGE COLLECT
30.29/30.45	c #Conflicts:      23000 | #Constraints:       8234
30.29/30.45	c GLOBAL bounds - >= 0 @ 29.909
41.16/41.37	c #Conflicts:      24000 | #Constraints:       9236
41.16/41.37	c #Conflicts:      25000 | #Constraints:      10236
41.16/41.37	c #Conflicts:      26000 | #Constraints:      11236
41.16/41.37	c INPROCESSING
41.16/41.37	c GARBAGE COLLECT
41.16/41.37	c #Conflicts:      27000 | #Constraints:       8742
41.16/41.37	c #Conflicts:      28000 | #Constraints:       9742
41.16/41.37	c GLOBAL bounds - >= 0 @ 40.7537
45.15/45.35	c #Conflicts:      29000 | #Constraints:      10744
45.15/45.35	c #Conflicts:      30000 | #Constraints:      11744
45.15/45.35	c INPROCESSING
45.15/45.35	c GARBAGE COLLECT
45.15/45.35	c GLOBAL bounds - >= 0 @ 44.6986
82.06/82.31	c #Conflicts:      31000 | #Constraints:       9051
82.06/82.31	c #Conflicts:      32000 | #Constraints:      10051
82.06/82.31	c #Conflicts:      33000 | #Constraints:      11051
82.06/82.31	c #Conflicts:      34000 | #Constraints:      12051
82.06/82.31	c INPROCESSING
82.06/82.31	c GARBAGE COLLECT
82.06/82.31	c #Conflicts:      35000 | #Constraints:       9152
82.06/82.31	c #Conflicts:      36000 | #Constraints:      10152
82.06/82.31	c #Conflicts:      37000 | #Constraints:      11152
82.06/82.31	c #Conflicts:      38000 | #Constraints:      12152
82.06/82.31	c INPROCESSING
82.06/82.31	c GARBAGE COLLECT
82.06/82.31	c #Conflicts:      39000 | #Constraints:       9045
82.06/82.31	c #Conflicts:      40000 | #Constraints:      10045
82.06/82.31	c #Conflicts:      41000 | #Constraints:      11045
82.06/82.31	c #Conflicts:      42000 | #Constraints:      12045
82.06/82.31	c INPROCESSING
82.06/82.31	c GARBAGE COLLECT
82.06/82.31	c #Conflicts:      43000 | #Constraints:       8737
82.06/82.31	c GLOBAL bounds - >= 0 @ 81.443
91.53/91.80	c #Conflicts:      44000 | #Constraints:       9739
91.53/91.80	c #Conflicts:      45000 | #Constraints:      10739
91.53/91.80	c #Conflicts:      46000 | #Constraints:      11739
91.53/91.80	c #Conflicts:      47000 | #Constraints:      12739
91.53/91.80	c GLOBAL bounds - >= 0 @ 90.8792
98.01/98.32	c INPROCESSING
98.01/98.32	c GARBAGE COLLECT
98.01/98.32	c #Conflicts:      48000 | #Constraints:       9255
98.01/98.32	c #Conflicts:      49000 | #Constraints:      10255
98.01/98.32	c #Conflicts:      50000 | #Constraints:      11255
98.01/98.32	c GLOBAL bounds - >= 0 @ 97.3362
98.31/98.69	c GLOBAL bounds - >= 0 @ 97.6949
98.72/99.04	c GLOBAL bounds - >= 0 @ 98.0454
100.21/100.59	c #Conflicts:      51000 | #Constraints:      12261
100.21/100.59	c GLOBAL bounds - >= 0 @ 99.5877
101.61/102.00	c #Conflicts:      52000 | #Constraints:      13263
101.61/102.00	c GLOBAL bounds - >= 0 @ 100.972
103.01/103.36	c INPROCESSING
103.01/103.36	c GARBAGE COLLECT
103.01/103.36	c GLOBAL bounds - >= 0 @ 102.322
116.27/116.69	c #Conflicts:      53000 | #Constraints:       9604
116.27/116.69	c #Conflicts:      54000 | #Constraints:      10604
116.27/116.69	c #Conflicts:      55000 | #Constraints:      11604
116.27/116.69	c #Conflicts:      56000 | #Constraints:      12604
116.27/116.69	c #Conflicts:      57000 | #Constraints:      13604
116.27/116.69	c INPROCESSING
116.27/116.69	c GARBAGE COLLECT
116.27/116.69	c #Conflicts:      58000 | #Constraints:       9698
116.27/116.69	c GLOBAL bounds - >= 0 @ 115.552
116.96/117.31	c #Conflicts:      59000 | #Constraints:      10700
116.96/117.31	c GLOBAL bounds - >= 0 @ 116.16
119.06/119.46	c #Conflicts:      60000 | #Constraints:      11702
119.06/119.46	c GLOBAL bounds - >= 0 @ 118.297
120.06/120.43	c #Conflicts:      61000 | #Constraints:      12704
120.06/120.43	c GLOBAL bounds - >= 0 @ 119.249
124.35/124.79	c #Conflicts:      62000 | #Constraints:      13706
124.35/124.79	c INPROCESSING
124.35/124.79	c GARBAGE COLLECT
124.35/124.79	c #Conflicts:      63000 | #Constraints:       9630
124.35/124.79	c GLOBAL bounds - >= 0 @ 123.576
142.71/143.18	c #Conflicts:      64000 | #Constraints:      10632
142.71/143.18	c #Conflicts:      65000 | #Constraints:      11632
142.71/143.18	c #Conflicts:      66000 | #Constraints:      12632
142.71/143.18	c #Conflicts:      67000 | #Constraints:      13632
142.71/143.18	c #Conflicts:      68000 | #Constraints:      14632
142.71/143.18	c INPROCESSING
142.71/143.18	c GARBAGE COLLECT
142.71/143.18	c #Conflicts:      69000 | #Constraints:      10324
142.71/143.18	c #Conflicts:      70000 | #Constraints:      11324
142.71/143.18	c #Conflicts:      71000 | #Constraints:      12324
142.71/143.18	c #Conflicts:      72000 | #Constraints:      13324
142.71/143.18	c #Conflicts:      73000 | #Constraints:      14324
142.71/143.18	c GLOBAL bounds - >= 0 @ 141.83
146.70/147.19	c #Conflicts:      74000 | #Constraints:      15326
146.70/147.19	c INPROCESSING
146.70/147.19	c GARBAGE COLLECT
146.70/147.19	c #Conflicts:      75000 | #Constraints:      10826
146.70/147.19	c GLOBAL bounds - >= 0 @ 145.81
200.75/201.34	c #Conflicts:      76000 | #Constraints:      11828
200.75/201.34	c #Conflicts:      77000 | #Constraints:      12828
200.75/201.34	c #Conflicts:      78000 | #Constraints:      13828
200.75/201.34	c #Conflicts:      79000 | #Constraints:      14828
200.75/201.34	c #Conflicts:      80000 | #Constraints:      15828
200.75/201.34	c INPROCESSING
200.75/201.34	c GARBAGE COLLECT
200.75/201.34	c #Conflicts:      81000 | #Constraints:      11103
200.75/201.34	c #Conflicts:      82000 | #Constraints:      12103
200.75/201.34	c #Conflicts:      83000 | #Constraints:      13103
200.75/201.34	c #Conflicts:      84000 | #Constraints:      14103
200.75/201.34	c #Conflicts:      85000 | #Constraints:      15103
200.75/201.34	c #Conflicts:      86000 | #Constraints:      16103
200.75/201.34	c INPROCESSING
200.75/201.34	c GARBAGE COLLECT
200.75/201.34	c #Conflicts:      87000 | #Constraints:      11190
200.75/201.34	c #Conflicts:      88000 | #Constraints:      12190
200.75/201.34	c #Conflicts:      89000 | #Constraints:      13190
200.75/201.34	c #Conflicts:      90000 | #Constraints:      14190
200.75/201.34	c #Conflicts:      91000 | #Constraints:      15190
200.75/201.34	c #Conflicts:      92000 | #Constraints:      16190
200.75/201.34	c INPROCESSING
200.75/201.34	c GARBAGE COLLECT
200.75/201.34	c #Conflicts:      93000 | #Constraints:      11099
200.75/201.34	c #Conflicts:      94000 | #Constraints:      12099
200.75/201.34	c #Conflicts:      95000 | #Constraints:      13099
200.75/201.34	c GLOBAL bounds - >= 0 @ 199.688
243.93/244.60	c #Conflicts:      96000 | #Constraints:      14101
243.93/244.60	c #Conflicts:      97000 | #Constraints:      15101
243.93/244.60	c #Conflicts:      98000 | #Constraints:      16101
243.93/244.60	c INPROCESSING
243.93/244.60	c GARBAGE COLLECT
243.93/244.60	c #Conflicts:      99000 | #Constraints:      10803
243.93/244.60	c #Conflicts:     100000 | #Constraints:      11803
243.93/244.60	c #Conflicts:     101000 | #Constraints:      12803
243.93/244.60	c #Conflicts:     102000 | #Constraints:      13803
243.93/244.60	c #Conflicts:     103000 | #Constraints:      14803
243.93/244.60	c #Conflicts:     104000 | #Constraints:      15803
243.93/244.60	c #Conflicts:     105000 | #Constraints:      16803
243.93/244.60	c INPROCESSING
243.93/244.60	c GARBAGE COLLECT
243.93/244.60	c #Conflicts:     106000 | #Constraints:      11298
243.93/244.60	c #Conflicts:     107000 | #Constraints:      12298
243.93/244.60	c #Conflicts:     108000 | #Constraints:      13298
243.93/244.60	c GLOBAL bounds - >= 0 @ 242.709
255.40/256.17	c #Conflicts:     109000 | #Constraints:      14300
255.40/256.17	c #Conflicts:     110000 | #Constraints:      15300
255.40/256.17	c #Conflicts:     111000 | #Constraints:      16300
255.40/256.17	c GLOBAL bounds - >= 0 @ 254.204
257.19/257.91	c #Conflicts:     112000 | #Constraints:      17302
257.19/257.91	c INPROCESSING
257.19/257.91	c GARBAGE COLLECT
257.19/257.91	c GLOBAL bounds - >= 0 @ 255.931
258.69/259.47	c #Conflicts:     113000 | #Constraints:      11643
258.69/259.47	c GLOBAL bounds - >= 0 @ 257.483
268.37/269.16	c #Conflicts:     114000 | #Constraints:      12645
268.37/269.16	c #Conflicts:     115000 | #Constraints:      13645
268.37/269.16	c #Conflicts:     116000 | #Constraints:      14645
268.37/269.16	c #Conflicts:     117000 | #Constraints:      15645
268.37/269.16	c GLOBAL bounds - >= 0 @ 267.085
291.51/292.34	c #Conflicts:     118000 | #Constraints:      16647
291.51/292.34	c #Conflicts:     119000 | #Constraints:      17647
291.51/292.34	c INPROCESSING
291.51/292.34	c GARBAGE COLLECT
291.51/292.34	c #Conflicts:     120000 | #Constraints:      11721
291.51/292.34	c #Conflicts:     121000 | #Constraints:      12721
291.51/292.34	c #Conflicts:     122000 | #Constraints:      13721
291.51/292.34	c #Conflicts:     123000 | #Constraints:      14721
291.51/292.34	c #Conflicts:     124000 | #Constraints:      15721
291.51/292.34	c #Conflicts:     125000 | #Constraints:      16721
291.51/292.34	c #Conflicts:     126000 | #Constraints:      17721
291.51/292.34	c GLOBAL bounds - >= 0 @ 290.126
296.20/297.06	c INPROCESSING
296.20/297.06	c GARBAGE COLLECT
296.20/297.06	c #Conflicts:     127000 | #Constraints:      11620
296.20/297.06	c #Conflicts:     128000 | #Constraints:      12620
296.20/297.06	c GLOBAL bounds - >= 0 @ 294.803
299.38/300.24	c #Conflicts:     129000 | #Constraints:      13622
299.38/300.24	c #Conflicts:     130000 | #Constraints:      14622
299.38/300.24	c GLOBAL bounds - >= 0 @ 297.958
305.47/306.35	c #Conflicts:     131000 | #Constraints:      15624
305.47/306.35	c GLOBAL bounds - >= 0 @ 304.039
321.83/322.76	c #Conflicts:     132000 | #Constraints:      16626
321.83/322.76	c #Conflicts:     133000 | #Constraints:      17626
321.83/322.76	c #Conflicts:     134000 | #Constraints:      18626
321.83/322.76	c INPROCESSING
321.83/322.76	c GARBAGE COLLECT
321.83/322.76	c #Conflicts:     135000 | #Constraints:      12304
321.83/322.76	c #Conflicts:     136000 | #Constraints:      13304
321.83/322.76	c #Conflicts:     137000 | #Constraints:      14304
321.83/322.76	c GLOBAL bounds - >= 0 @ 320.333
373.68/374.73	c #Conflicts:     138000 | #Constraints:      15306
373.68/374.73	c #Conflicts:     139000 | #Constraints:      16306
373.68/374.73	c #Conflicts:     140000 | #Constraints:      17306
373.68/374.73	c #Conflicts:     141000 | #Constraints:      18306
373.68/374.73	c #Conflicts:     142000 | #Constraints:      19306
373.68/374.73	c INPROCESSING
373.68/374.73	c GARBAGE COLLECT
373.68/374.73	c #Conflicts:     143000 | #Constraints:      12800
373.68/374.73	c #Conflicts:     144000 | #Constraints:      13800
373.68/374.73	c #Conflicts:     145000 | #Constraints:      14800
373.68/374.73	c #Conflicts:     146000 | #Constraints:      15800
373.68/374.73	c #Conflicts:     147000 | #Constraints:      16800
373.68/374.73	c #Conflicts:     148000 | #Constraints:      17800
373.68/374.73	c #Conflicts:     149000 | #Constraints:      18800
373.68/374.73	c #Conflicts:     150000 | #Constraints:      19800
373.68/374.73	c INPROCESSING
373.68/374.73	c GARBAGE COLLECT
373.68/374.73	c #Conflicts:     151000 | #Constraints:      13096
373.68/374.73	c #Conflicts:     152000 | #Constraints:      14096
373.68/374.73	c #Conflicts:     153000 | #Constraints:      15096
373.68/374.73	c GLOBAL bounds - >= 0 @ 371.986
483.29/484.69	c #Conflicts:     154000 | #Constraints:      16098
483.29/484.69	c #Conflicts:     155000 | #Constraints:      17098
483.29/484.69	c #Conflicts:     156000 | #Constraints:      18098
483.29/484.69	c #Conflicts:     157000 | #Constraints:      19098
483.29/484.69	c #Conflicts:     158000 | #Constraints:      20098
483.29/484.69	c INPROCESSING
483.29/484.69	c GARBAGE COLLECT
483.29/484.69	c #Conflicts:     159000 | #Constraints:      13193
483.29/484.69	c #Conflicts:     160000 | #Constraints:      14193
483.29/484.69	c #Conflicts:     161000 | #Constraints:      15193
483.29/484.69	c #Conflicts:     162000 | #Constraints:      16193
483.29/484.69	c #Conflicts:     163000 | #Constraints:      17193
483.29/484.69	c #Conflicts:     164000 | #Constraints:      18193
483.29/484.69	c #Conflicts:     165000 | #Constraints:      19193
483.29/484.69	c #Conflicts:     166000 | #Constraints:      20193
483.29/484.69	c INPROCESSING
483.29/484.69	c GARBAGE COLLECT
483.29/484.69	c #Conflicts:     167000 | #Constraints:      13090
483.29/484.69	c #Conflicts:     168000 | #Constraints:      14090
483.29/484.69	c #Conflicts:     169000 | #Constraints:      15090
483.29/484.69	c #Conflicts:     170000 | #Constraints:      16090
483.29/484.69	c #Conflicts:     171000 | #Constraints:      17090
483.29/484.69	c #Conflicts:     172000 | #Constraints:      18090
483.29/484.69	c #Conflicts:     173000 | #Constraints:      19090
483.29/484.69	c #Conflicts:     174000 | #Constraints:      20090
483.29/484.69	c GLOBAL bounds - >= 0 @ 481.348
510.22/511.67	c INPROCESSING
510.22/511.67	c GARBAGE COLLECT
510.22/511.67	c #Conflicts:     175000 | #Constraints:      12794
510.22/511.67	c #Conflicts:     176000 | #Constraints:      13794
510.22/511.67	c #Conflicts:     177000 | #Constraints:      14794
510.22/511.67	c #Conflicts:     178000 | #Constraints:      15794
510.22/511.67	c #Conflicts:     179000 | #Constraints:      16794
510.22/511.67	c #Conflicts:     180000 | #Constraints:      17794
510.22/511.67	c GLOBAL bounds - >= 0 @ 508.155
519.99/521.44	c #Conflicts:     181000 | #Constraints:      18796
519.99/521.44	c #Conflicts:     182000 | #Constraints:      19796
519.99/521.44	c GLOBAL bounds - >= 0 @ 517.877
533.56/535.10	c #Conflicts:     183000 | #Constraints:      20798
533.56/535.10	c INPROCESSING
533.56/535.10	c GARBAGE COLLECT
533.56/535.10	c #Conflicts:     184000 | #Constraints:      13312
533.56/535.10	c #Conflicts:     185000 | #Constraints:      14312
533.56/535.10	c #Conflicts:     186000 | #Constraints:      15312
533.56/535.10	c GLOBAL bounds - >= 0 @ 531.458
877.75/880.18	c #Conflicts:     187000 | #Constraints:      16314
877.75/880.18	c #Conflicts:     188000 | #Constraints:      17314
877.75/880.18	c #Conflicts:     189000 | #Constraints:      18314
877.75/880.18	c #Conflicts:     190000 | #Constraints:      19314
877.75/880.18	c #Conflicts:     191000 | #Constraints:      20314
877.75/880.18	c #Conflicts:     192000 | #Constraints:      21314
877.75/880.18	c INPROCESSING
877.75/880.18	c GARBAGE COLLECT
877.75/880.18	c #Conflicts:     193000 | #Constraints:      13615
877.75/880.18	c #Conflicts:     194000 | #Constraints:      14615
877.75/880.18	c #Conflicts:     195000 | #Constraints:      15615
877.75/880.18	c #Conflicts:     196000 | #Constraints:      16615
877.75/880.18	c #Conflicts:     197000 | #Constraints:      17615
877.75/880.18	c #Conflicts:     198000 | #Constraints:      18615
877.75/880.18	c #Conflicts:     199000 | #Constraints:      19615
877.75/880.18	c #Conflicts:     200000 | #Constraints:      20615
877.75/880.18	c #Conflicts:     201000 | #Constraints:      21615
877.75/880.18	c INPROCESSING
877.75/880.18	c GARBAGE COLLECT
877.75/880.18	c #Conflicts:     202000 | #Constraints:      13707
877.75/880.18	c #Conflicts:     203000 | #Constraints:      14707
877.75/880.18	c #Conflicts:     204000 | #Constraints:      15707
877.75/880.18	c #Conflicts:     205000 | #Constraints:      16707
877.75/880.18	c #Conflicts:     206000 | #Constraints:      17707
877.75/880.18	c #Conflicts:     207000 | #Constraints:      18707
877.75/880.18	c #Conflicts:     208000 | #Constraints:      19707
877.75/880.18	c #Conflicts:     209000 | #Constraints:      20707
877.75/880.18	c #Conflicts:     210000 | #Constraints:      21707
877.75/880.18	c INPROCESSING
877.75/880.18	c GARBAGE COLLECT
877.75/880.18	c #Conflicts:     211000 | #Constraints:      13624
877.75/880.18	c #Conflicts:     212000 | #Constraints:      14624
877.75/880.18	c #Conflicts:     213000 | #Constraints:      15624
877.75/880.18	c #Conflicts:     214000 | #Constraints:      16624
877.75/880.18	c #Conflicts:     215000 | #Constraints:      17624
877.75/880.18	c #Conflicts:     216000 | #Constraints:      18624
877.75/880.18	c #Conflicts:     217000 | #Constraints:      19624
877.75/880.18	c #Conflicts:     218000 | #Constraints:      20624
877.75/880.18	c #Conflicts:     219000 | #Constraints:      21624
877.75/880.18	c #Conflicts:     220000 | #Constraints:      22624
877.75/880.18	c INPROCESSING
877.75/880.18	c GARBAGE COLLECT
877.75/880.18	c #Conflicts:     221000 | #Constraints:      14305
877.75/880.18	c #Conflicts:     222000 | #Constraints:      15305
877.75/880.18	c #Conflicts:     223000 | #Constraints:      16305
877.75/880.18	c #Conflicts:     224000 | #Constraints:      17305
877.75/880.18	c #Conflicts:     225000 | #Constraints:      18305
877.75/880.18	c #Conflicts:     226000 | #Constraints:      19305
877.75/880.18	c #Conflicts:     227000 | #Constraints:      20305
877.75/880.18	c #Conflicts:     228000 | #Constraints:      21305
877.75/880.18	c #Conflicts:     229000 | #Constraints:      22305
877.75/880.18	c #Conflicts:     230000 | #Constraints:      23305
877.75/880.18	c INPROCESSING
877.75/880.18	c GARBAGE COLLECT
877.75/880.18	c #Conflicts:     231000 | #Constraints:      14821
877.75/880.18	c #Conflicts:     232000 | #Constraints:      15821
877.75/880.18	c #Conflicts:     233000 | #Constraints:      16821
877.75/880.18	c #Conflicts:     234000 | #Constraints:      17821
877.75/880.18	c #Conflicts:     235000 | #Constraints:      18821
877.75/880.18	c #Conflicts:     236000 | #Constraints:      19821
877.75/880.18	c #Conflicts:     237000 | #Constraints:      20821
877.75/880.18	c #Conflicts:     238000 | #Constraints:      21821
877.75/880.18	c #Conflicts:     239000 | #Constraints:      22821
877.75/880.18	c #Conflicts:     240000 | #Constraints:      23821
877.75/880.18	c INPROCESSING
877.75/880.18	c GARBAGE COLLECT
877.75/880.18	c #Conflicts:     241000 | #Constraints:      15100
877.75/880.18	c #Conflicts:     242000 | #Constraints:      16100
877.75/880.18	c #Conflicts:     243000 | #Constraints:      17100
877.75/880.18	c #Conflicts:     244000 | #Constraints:      18100
877.75/880.18	c #Conflicts:     245000 | #Constraints:      19100
877.75/880.18	c #Conflicts:     246000 | #Constraints:      20100
877.75/880.18	c #Conflicts:     247000 | #Constraints:      21100
877.75/880.18	c #Conflicts:     248000 | #Constraints:      22100
877.75/880.18	c #Conflicts:     249000 | #Constraints:      23100
877.75/880.18	c #Conflicts:     250000 | #Constraints:      24100
877.75/880.18	c INPROCESSING
877.75/880.18	c GARBAGE COLLECT
877.75/880.18	c #Conflicts:     251000 | #Constraints:      15197
877.75/880.18	c #Conflicts:     252000 | #Constraints:      16197
877.75/880.18	c #Conflicts:     253000 | #Constraints:      17197
877.75/880.18	c #Conflicts:     254000 | #Constraints:      18197
877.75/880.18	c #Conflicts:     255000 | #Constraints:      19197
877.75/880.18	c #Conflicts:     256000 | #Constraints:      20197
877.75/880.18	c #Conflicts:     257000 | #Constraints:      21197
877.75/880.18	c #Conflicts:     258000 | #Constraints:      22197
877.75/880.18	c #Conflicts:     259000 | #Constraints:      23197
877.75/880.18	c #Conflicts:     260000 | #Constraints:      24197
877.75/880.18	c INPROCESSING
877.75/880.18	c GARBAGE COLLECT
1317.89/1321.48	c #Conflicts:     261000 | #Constraints:      15093
1317.89/1321.48	c #Conflicts:     262000 | #Constraints:      16093
1317.89/1321.48	c #Conflicts:     263000 | #Constraints:      17093
1317.89/1321.48	c #Conflicts:     264000 | #Constraints:      18093
1317.89/1321.48	c #Conflicts:     265000 | #Constraints:      19093
1317.89/1321.48	c #Conflicts:     266000 | #Constraints:      20093
1317.89/1321.48	c #Conflicts:     267000 | #Constraints:      21093
1317.89/1321.48	c #Conflicts:     268000 | #Constraints:      22093
1317.89/1321.48	c #Conflicts:     269000 | #Constraints:      23093
1317.89/1321.48	c #Conflicts:     270000 | #Constraints:      24093
1317.89/1321.48	c INPROCESSING
1317.89/1321.48	c GARBAGE COLLECT
1317.89/1321.48	c #Conflicts:     271000 | #Constraints:      14787
1317.89/1321.48	c #Conflicts:     272000 | #Constraints:      15787
1317.89/1321.48	c #Conflicts:     273000 | #Constraints:      16787
1317.89/1321.48	c #Conflicts:     274000 | #Constraints:      17787
1317.89/1321.48	c #Conflicts:     275000 | #Constraints:      18787
1317.89/1321.48	c #Conflicts:     276000 | #Constraints:      19787
1317.89/1321.48	c #Conflicts:     277000 | #Constraints:      20787
1317.89/1321.48	c #Conflicts:     278000 | #Constraints:      21787
1317.89/1321.48	c #Conflicts:     279000 | #Constraints:      22787
1317.89/1321.48	c #Conflicts:     280000 | #Constraints:      23787
1317.89/1321.48	c #Conflicts:     281000 | #Constraints:      24787
1317.89/1321.48	c INPROCESSING
1317.89/1321.48	c GARBAGE COLLECT
1317.89/1321.48	c #Conflicts:     282000 | #Constraints:      15282
1317.89/1321.48	c #Conflicts:     283000 | #Constraints:      16282
1317.89/1321.48	c #Conflicts:     284000 | #Constraints:      17282
1317.89/1321.48	c #Conflicts:     285000 | #Constraints:      18282
1317.89/1321.48	c #Conflicts:     286000 | #Constraints:      19282
1317.89/1321.48	c #Conflicts:     287000 | #Constraints:      20282
1317.89/1321.48	c #Conflicts:     288000 | #Constraints:      21282
1317.89/1321.48	c #Conflicts:     289000 | #Constraints:      22282
1317.89/1321.48	c #Conflicts:     290000 | #Constraints:      23282
1317.89/1321.48	c #Conflicts:     291000 | #Constraints:      24282
1317.89/1321.48	c #Conflicts:     292000 | #Constraints:      25282
1317.89/1321.48	c INPROCESSING
1317.89/1321.48	c GARBAGE COLLECT
1317.89/1321.48	c #Conflicts:     293000 | #Constraints:      15577
1317.89/1321.48	c #Conflicts:     294000 | #Constraints:      16577
1317.89/1321.48	c #Conflicts:     295000 | #Constraints:      17577
1317.89/1321.48	c #Conflicts:     296000 | #Constraints:      18577
1317.89/1321.48	c #Conflicts:     297000 | #Constraints:      19577
1317.89/1321.48	c #Conflicts:     298000 | #Constraints:      20577
1317.89/1321.48	c #Conflicts:     299000 | #Constraints:      21577
1317.89/1321.48	c #Conflicts:     300000 | #Constraints:      22577
1317.89/1321.48	c #Conflicts:     301000 | #Constraints:      23577
1317.89/1321.48	c #Conflicts:     302000 | #Constraints:      24577
1317.89/1321.48	c #Conflicts:     303000 | #Constraints:      25577
1317.89/1321.48	c INPROCESSING
1317.89/1321.48	c GARBAGE COLLECT
1317.89/1321.48	c #Conflicts:     304000 | #Constraints:      15673
1317.89/1321.48	c #Conflicts:     305000 | #Constraints:      16673
1317.89/1321.48	c #Conflicts:     306000 | #Constraints:      17673
1317.89/1321.48	c #Conflicts:     307000 | #Constraints:      18673
1317.89/1321.48	c #Conflicts:     308000 | #Constraints:      19673
1317.89/1321.48	c #Conflicts:     309000 | #Constraints:      20673
1317.89/1321.48	c #Conflicts:     310000 | #Constraints:      21673
1317.89/1321.48	c #Conflicts:     311000 | #Constraints:      22673
1317.89/1321.48	c #Conflicts:     312000 | #Constraints:      23673
1317.89/1321.48	c #Conflicts:     313000 | #Constraints:      24673
1317.89/1321.48	c #Conflicts:     314000 | #Constraints:      25673
1317.89/1321.48	c INPROCESSING
1317.89/1321.48	c GARBAGE COLLECT
1317.89/1321.48	c #Conflicts:     315000 | #Constraints:      15576
1317.89/1321.48	c #Conflicts:     316000 | #Constraints:      16576
1317.89/1321.48	c #Conflicts:     317000 | #Constraints:      17576
1317.89/1321.48	c #Conflicts:     318000 | #Constraints:      18576
1317.89/1321.48	c #Conflicts:     319000 | #Constraints:      19576
1317.89/1321.48	c #Conflicts:     320000 | #Constraints:      20576
1317.89/1321.48	c #Conflicts:     321000 | #Constraints:      21576
1317.89/1321.48	c #Conflicts:     322000 | #Constraints:      22576
1317.89/1321.48	c #Conflicts:     323000 | #Constraints:      23576
1317.89/1321.48	c #Conflicts:     324000 | #Constraints:      24576
1317.89/1321.48	c #Conflicts:     325000 | #Constraints:      25576
1317.89/1321.48	c #Conflicts:     326000 | #Constraints:      26576
1317.89/1321.48	c INPROCESSING
1317.89/1321.48	c GARBAGE COLLECT
1317.89/1321.48	c #Conflicts:     327000 | #Constraints:      16277
1317.89/1321.48	c #Conflicts:     328000 | #Constraints:      17277
1317.89/1321.48	c #Conflicts:     329000 | #Constraints:      18277
1317.89/1321.48	c #Conflicts:     330000 | #Constraints:      19277
1317.89/1321.48	c #Conflicts:     331000 | #Constraints:      20277
1317.89/1321.48	c #Conflicts:     332000 | #Constraints:      21277
1317.89/1321.48	c #Conflicts:     333000 | #Constraints:      22277
1317.89/1321.48	c #Conflicts:     334000 | #Constraints:      23277
1317.89/1321.48	c #Conflicts:     335000 | #Constraints:      24277
1484.73/1488.70	c #Conflicts:     336000 | #Constraints:      25277
1484.73/1488.70	c #Conflicts:     337000 | #Constraints:      26277
1484.73/1488.70	c #Conflicts:     338000 | #Constraints:      27277
1484.73/1488.70	c INPROCESSING
1484.73/1488.70	c GARBAGE COLLECT
1484.73/1488.70	c #Conflicts:     339000 | #Constraints:      16772
1484.73/1488.70	c #Conflicts:     340000 | #Constraints:      17772
1484.73/1488.70	c #Conflicts:     341000 | #Constraints:      18772
1484.73/1488.70	c #Conflicts:     342000 | #Constraints:      19772
1484.73/1488.70	c #Conflicts:     343000 | #Constraints:      20772
1484.73/1488.70	c #Conflicts:     344000 | #Constraints:      21772
1484.73/1488.70	c #Conflicts:     345000 | #Constraints:      22772
1484.73/1488.70	c #Conflicts:     346000 | #Constraints:      23772
1484.73/1488.70	c #Conflicts:     347000 | #Constraints:      24772
1484.73/1488.70	c #Conflicts:     348000 | #Constraints:      25772
1484.73/1488.70	c #Conflicts:     349000 | #Constraints:      26772
1484.73/1488.70	c #Conflicts:     350000 | #Constraints:      27772
1484.73/1488.70	c INPROCESSING
1484.73/1488.70	c GARBAGE COLLECT
1484.73/1488.70	c #Conflicts:     351000 | #Constraints:      17091
1484.73/1488.70	c #Conflicts:     352000 | #Constraints:      18091
1484.73/1488.70	c #Conflicts:     353000 | #Constraints:      19091
1484.73/1488.70	c #Conflicts:     354000 | #Constraints:      20091
1484.73/1488.70	c #Conflicts:     355000 | #Constraints:      21091
1484.73/1488.70	c #Conflicts:     356000 | #Constraints:      22091
1484.73/1488.70	c #Conflicts:     357000 | #Constraints:      23091
1484.73/1488.70	c #Conflicts:     358000 | #Constraints:      24091
1484.73/1488.70	c #Conflicts:     359000 | #Constraints:      25091
1484.73/1488.70	c GLOBAL bounds - >= 0 @ 1480.67
1843.21/1848.12	c #Conflicts:     360000 | #Constraints:      26093
1843.21/1848.12	c #Conflicts:     361000 | #Constraints:      27093
1843.21/1848.12	c #Conflicts:     362000 | #Constraints:      28093
1843.21/1848.12	c INPROCESSING
1843.21/1848.12	c GARBAGE COLLECT
1843.21/1848.12	c #Conflicts:     363000 | #Constraints:      17226
1843.21/1848.12	c #Conflicts:     364000 | #Constraints:      18226
1843.21/1848.12	c #Conflicts:     365000 | #Constraints:      19226
1843.21/1848.12	c #Conflicts:     366000 | #Constraints:      20226
1843.21/1848.12	c #Conflicts:     367000 | #Constraints:      21226
1843.21/1848.12	c #Conflicts:     368000 | #Constraints:      22226
1843.21/1848.12	c #Conflicts:     369000 | #Constraints:      23226
1843.21/1848.12	c #Conflicts:     370000 | #Constraints:      24226
1843.21/1848.12	c #Conflicts:     371000 | #Constraints:      25226
1843.21/1848.12	c #Conflicts:     372000 | #Constraints:      26226
1843.21/1848.12	c #Conflicts:     373000 | #Constraints:      27226
1843.21/1848.12	c #Conflicts:     374000 | #Constraints:      28226
1843.21/1848.12	c INPROCESSING
1843.21/1848.12	c GARBAGE COLLECT
1843.21/1848.12	c #Conflicts:     375000 | #Constraints:      17121
1843.21/1848.12	c #Conflicts:     376000 | #Constraints:      18121
1843.21/1848.12	c #Conflicts:     377000 | #Constraints:      19121
1843.21/1848.12	c #Conflicts:     378000 | #Constraints:      20121
1843.21/1848.12	c #Conflicts:     379000 | #Constraints:      21121
1843.21/1848.12	c #Conflicts:     380000 | #Constraints:      22121
1843.21/1848.12	c #Conflicts:     381000 | #Constraints:      23121
1843.21/1848.12	c #Conflicts:     382000 | #Constraints:      24121
1843.21/1848.12	c #Conflicts:     383000 | #Constraints:      25121
1843.21/1848.12	c #Conflicts:     384000 | #Constraints:      26121
1843.21/1848.12	c #Conflicts:     385000 | #Constraints:      27121
1843.21/1848.12	c #Conflicts:     386000 | #Constraints:      28121
1843.21/1848.12	c INPROCESSING
1843.21/1848.12	c GARBAGE COLLECT
1843.21/1848.12	c #Conflicts:     387000 | #Constraints:      16807
1843.21/1848.12	c #Conflicts:     388000 | #Constraints:      17807
1843.21/1848.12	c #Conflicts:     389000 | #Constraints:      18807
1843.21/1848.12	c #Conflicts:     390000 | #Constraints:      19807
1843.21/1848.12	c #Conflicts:     391000 | #Constraints:      20807
1843.21/1848.12	c #Conflicts:     392000 | #Constraints:      21807
1843.21/1848.12	c #Conflicts:     393000 | #Constraints:      22807
1843.21/1848.12	c #Conflicts:     394000 | #Constraints:      23807
1843.21/1848.12	c #Conflicts:     395000 | #Constraints:      24807
1843.21/1848.12	c #Conflicts:     396000 | #Constraints:      25807
1843.21/1848.12	c #Conflicts:     397000 | #Constraints:      26807
1843.21/1848.12	c #Conflicts:     398000 | #Constraints:      27807
1843.21/1848.12	c #Conflicts:     399000 | #Constraints:      28807
1843.21/1848.12	c INPROCESSING
1843.21/1848.12	c GARBAGE COLLECT
1843.21/1848.12	c #Conflicts:     400000 | #Constraints:      17317
1843.21/1848.12	c #Conflicts:     401000 | #Constraints:      18317
1843.21/1848.12	c #Conflicts:     402000 | #Constraints:      19317
1843.21/1848.12	c #Conflicts:     403000 | #Constraints:      20317
1843.21/1848.12	c #Conflicts:     404000 | #Constraints:      21317
1843.21/1848.12	c #Conflicts:     405000 | #Constraints:      22317
1843.21/1848.12	c #Conflicts:     406000 | #Constraints:      23317
1843.21/1848.12	c #Conflicts:     407000 | #Constraints:      24317
1843.21/1848.12	c #Conflicts:     408000 | #Constraints:      25317
1843.21/1848.12	c #Conflicts:     409000 | #Constraints:      26317
1843.21/1848.12	c #Conflicts:     410000 | #Constraints:      27317
1843.21/1848.12	c #Conflicts:     411000 | #Constraints:      28317
1843.21/1848.12	c #Conflicts:     412000 | #Constraints:      29317
1843.21/1848.12	c INPROCESSING
1843.21/1848.12	c GARBAGE COLLECT
1843.21/1848.12	c #Conflicts:     413000 | #Constraints:      17612
1843.21/1848.12	c #Conflicts:     414000 | #Constraints:      18612
1843.21/1848.12	c #Conflicts:     415000 | #Constraints:      19612
1843.21/1848.12	c #Conflicts:     416000 | #Constraints:      20612
1843.21/1848.12	c #Conflicts:     417000 | #Constraints:      21612
1843.21/1848.12	c #Conflicts:     418000 | #Constraints:      22612
1843.21/1848.12	c #Conflicts:     419000 | #Constraints:      23612
1843.21/1848.12	c #Conflicts:     420000 | #Constraints:      24612
1843.21/1848.12	c #Conflicts:     421000 | #Constraints:      25612
1843.21/1848.12	c #Conflicts:     422000 | #Constraints:      26612
1843.21/1848.12	c #Conflicts:     423000 | #Constraints:      27612
1843.21/1848.12	c #Conflicts:     424000 | #Constraints:      28612
1843.21/1848.12	c #Conflicts:     425000 | #Constraints:      29612
1843.21/1848.12	c INPROCESSING
1843.21/1848.12	c GARBAGE COLLECT
1843.21/1848.12	c #Conflicts:     426000 | #Constraints:      17695
1843.21/1848.12	c #Conflicts:     427000 | #Constraints:      18695
1843.21/1848.12	c #Conflicts:     428000 | #Constraints:      19695
1843.21/1848.12	c #Conflicts:     429000 | #Constraints:      20695
1843.21/1848.12	c #Conflicts:     430000 | #Constraints:      21695
1843.21/1848.12	c #Conflicts:     431000 | #Constraints:      22695
1843.21/1848.12	c #Conflicts:     432000 | #Constraints:      23695
1843.21/1848.12	c #Conflicts:     433000 | #Constraints:      24695
1843.21/1848.12	c #Conflicts:     434000 | #Constraints:      25695
2184.57/2190.32	c #Conflicts:     435000 | #Constraints:      26695
2184.57/2190.32	c #Conflicts:     436000 | #Constraints:      27695
2184.57/2190.32	c #Conflicts:     437000 | #Constraints:      28695
2184.57/2190.32	c #Conflicts:     438000 | #Constraints:      29695
2184.57/2190.32	c INPROCESSING
2184.57/2190.32	c GARBAGE COLLECT
2184.57/2190.32	c #Conflicts:     439000 | #Constraints:      17593
2184.57/2190.32	c #Conflicts:     440000 | #Constraints:      18593
2184.57/2190.32	c #Conflicts:     441000 | #Constraints:      19593
2184.57/2190.32	c #Conflicts:     442000 | #Constraints:      20593
2184.57/2190.32	c #Conflicts:     443000 | #Constraints:      21593
2184.57/2190.32	c #Conflicts:     444000 | #Constraints:      22593
2184.57/2190.32	c #Conflicts:     445000 | #Constraints:      23593
2184.57/2190.32	c #Conflicts:     446000 | #Constraints:      24593
2184.57/2190.32	c #Conflicts:     447000 | #Constraints:      25593
2184.57/2190.32	c #Conflicts:     448000 | #Constraints:      26593
2184.57/2190.32	c #Conflicts:     449000 | #Constraints:      27593
2184.57/2190.32	c #Conflicts:     450000 | #Constraints:      28593
2184.57/2190.32	c #Conflicts:     451000 | #Constraints:      29593
2184.57/2190.32	c #Conflicts:     452000 | #Constraints:      30593
2184.57/2190.32	c INPROCESSING
2184.57/2190.32	c GARBAGE COLLECT
2184.57/2190.32	c #Conflicts:     453000 | #Constraints:      18299
2184.57/2190.32	c #Conflicts:     454000 | #Constraints:      19299
2184.57/2190.32	c #Conflicts:     455000 | #Constraints:      20299
2184.57/2190.32	c #Conflicts:     456000 | #Constraints:      21299
2184.57/2190.32	c #Conflicts:     457000 | #Constraints:      22299
2184.57/2190.32	c #Conflicts:     458000 | #Constraints:      23299
2184.57/2190.32	c #Conflicts:     459000 | #Constraints:      24299
2184.57/2190.32	c #Conflicts:     460000 | #Constraints:      25299
2184.57/2190.32	c #Conflicts:     461000 | #Constraints:      26299
2184.57/2190.32	c #Conflicts:     462000 | #Constraints:      27299
2184.57/2190.32	c #Conflicts:     463000 | #Constraints:      28299
2184.57/2190.32	c #Conflicts:     464000 | #Constraints:      29299
2184.57/2190.32	c #Conflicts:     465000 | #Constraints:      30299
2184.57/2190.32	c #Conflicts:     466000 | #Constraints:      31299
2184.57/2190.32	c INPROCESSING
2184.57/2190.32	c GARBAGE COLLECT
2184.57/2190.32	c #Conflicts:     467000 | #Constraints:      18788
2184.57/2190.32	c #Conflicts:     468000 | #Constraints:      19788
2184.57/2190.32	c #Conflicts:     469000 | #Constraints:      20788
2184.57/2190.32	c #Conflicts:     470000 | #Constraints:      21788
2184.57/2190.32	c #Conflicts:     471000 | #Constraints:      22788
2184.57/2190.32	c #Conflicts:     472000 | #Constraints:      23788
2184.57/2190.32	c #Conflicts:     473000 | #Constraints:      24788
2184.57/2190.32	c #Conflicts:     474000 | #Constraints:      25788
2184.57/2190.32	c #Conflicts:     475000 | #Constraints:      26788
2184.57/2190.32	c #Conflicts:     476000 | #Constraints:      27788
2184.57/2190.32	c #Conflicts:     477000 | #Constraints:      28788
2184.57/2190.32	c #Conflicts:     478000 | #Constraints:      29788
2184.57/2190.32	c #Conflicts:     479000 | #Constraints:      30788
2184.57/2190.32	c #Conflicts:     480000 | #Constraints:      31788
2184.57/2190.32	c INPROCESSING
2184.57/2190.32	c GARBAGE COLLECT
2184.57/2190.32	c #Conflicts:     481000 | #Constraints:      19080
2184.57/2190.32	c #Conflicts:     482000 | #Constraints:      20080
2184.57/2190.32	c #Conflicts:     483000 | #Constraints:      21080
2184.57/2190.32	c #Conflicts:     484000 | #Constraints:      22080
2184.57/2190.32	c #Conflicts:     485000 | #Constraints:      23080
2184.57/2190.32	c #Conflicts:     486000 | #Constraints:      24080
2184.57/2190.32	c #Conflicts:     487000 | #Constraints:      25080
2184.57/2190.32	c #Conflicts:     488000 | #Constraints:      26080
2184.57/2190.32	c #Conflicts:     489000 | #Constraints:      27080
2184.57/2190.32	c #Conflicts:     490000 | #Constraints:      28080
2184.57/2190.32	c #Conflicts:     491000 | #Constraints:      29080
2184.57/2190.32	c #Conflicts:     492000 | #Constraints:      30080
2184.57/2190.32	c #Conflicts:     493000 | #Constraints:      31080
2184.57/2190.32	c #Conflicts:     494000 | #Constraints:      32080
2184.57/2190.32	c INPROCESSING
2184.57/2190.32	c GARBAGE COLLECT
2184.57/2190.32	c #Conflicts:     495000 | #Constraints:      19183
2184.57/2190.32	c #Conflicts:     496000 | #Constraints:      20183
2184.57/2190.32	c #Conflicts:     497000 | #Constraints:      21183
2184.57/2190.32	c #Conflicts:     498000 | #Constraints:      22183
2184.57/2190.32	c #Conflicts:     499000 | #Constraints:      23183
2184.57/2190.32	c GLOBAL bounds - >= 0 @ 2179.2
2536.09/2542.74	c #Conflicts:     500000 | #Constraints:      24185
2536.09/2542.74	c #Conflicts:     501000 | #Constraints:      25185
2536.09/2542.74	c #Conflicts:     502000 | #Constraints:      26185
2536.09/2542.74	c #Conflicts:     503000 | #Constraints:      27185
2536.09/2542.74	c #Conflicts:     504000 | #Constraints:      28185
2536.09/2542.74	c #Conflicts:     505000 | #Constraints:      29185
2536.09/2542.74	c #Conflicts:     506000 | #Constraints:      30185
2536.09/2542.74	c #Conflicts:     507000 | #Constraints:      31185
2536.09/2542.74	c #Conflicts:     508000 | #Constraints:      32185
2536.09/2542.74	c INPROCESSING
2536.09/2542.74	c GARBAGE COLLECT
2536.09/2542.74	c #Conflicts:     509000 | #Constraints:      19107
2536.09/2542.74	c #Conflicts:     510000 | #Constraints:      20107
2536.09/2542.74	c #Conflicts:     511000 | #Constraints:      21107
2536.09/2542.74	c #Conflicts:     512000 | #Constraints:      22107
2536.09/2542.74	c #Conflicts:     513000 | #Constraints:      23107
2536.09/2542.74	c #Conflicts:     514000 | #Constraints:      24107
2536.09/2542.74	c #Conflicts:     515000 | #Constraints:      25107
2536.09/2542.74	c #Conflicts:     516000 | #Constraints:      26107
2536.09/2542.74	c #Conflicts:     517000 | #Constraints:      27107
2536.09/2542.74	c #Conflicts:     518000 | #Constraints:      28107
2536.09/2542.74	c #Conflicts:     519000 | #Constraints:      29107
2536.09/2542.74	c #Conflicts:     520000 | #Constraints:      30107
2536.09/2542.74	c #Conflicts:     521000 | #Constraints:      31107
2536.09/2542.74	c #Conflicts:     522000 | #Constraints:      32107
2536.09/2542.74	c INPROCESSING
2536.09/2542.74	c GARBAGE COLLECT
2536.09/2542.74	c #Conflicts:     523000 | #Constraints:      18799
2536.09/2542.74	c #Conflicts:     524000 | #Constraints:      19799
2536.09/2542.74	c #Conflicts:     525000 | #Constraints:      20799
2536.09/2542.74	c #Conflicts:     526000 | #Constraints:      21799
2536.09/2542.74	c #Conflicts:     527000 | #Constraints:      22799
2536.09/2542.74	c #Conflicts:     528000 | #Constraints:      23799
2536.09/2542.74	c #Conflicts:     529000 | #Constraints:      24799
2536.09/2542.74	c #Conflicts:     530000 | #Constraints:      25799
2536.09/2542.74	c #Conflicts:     531000 | #Constraints:      26799
2536.09/2542.74	c #Conflicts:     532000 | #Constraints:      27799
2536.09/2542.74	c #Conflicts:     533000 | #Constraints:      28799
2536.09/2542.74	c #Conflicts:     534000 | #Constraints:      29799
2536.09/2542.74	c #Conflicts:     535000 | #Constraints:      30799
2536.09/2542.74	c #Conflicts:     536000 | #Constraints:      31799
2536.09/2542.74	c #Conflicts:     537000 | #Constraints:      32799
2536.09/2542.74	c INPROCESSING
2536.09/2542.74	c GARBAGE COLLECT
2536.09/2542.74	c #Conflicts:     538000 | #Constraints:      19303
2536.09/2542.74	c #Conflicts:     539000 | #Constraints:      20303
2536.09/2542.74	c #Conflicts:     540000 | #Constraints:      21303
2536.09/2542.74	c #Conflicts:     541000 | #Constraints:      22303
2536.09/2542.74	c #Conflicts:     542000 | #Constraints:      23303
2536.09/2542.74	c #Conflicts:     543000 | #Constraints:      24303
2536.09/2542.74	c #Conflicts:     544000 | #Constraints:      25303
2536.09/2542.74	c #Conflicts:     545000 | #Constraints:      26303
2536.09/2542.74	c #Conflicts:     546000 | #Constraints:      27303
2536.09/2542.74	c #Conflicts:     547000 | #Constraints:      28303
2536.09/2542.74	c #Conflicts:     548000 | #Constraints:      29303
2536.09/2542.74	c #Conflicts:     549000 | #Constraints:      30303
2536.09/2542.74	c #Conflicts:     550000 | #Constraints:      31303
2536.09/2542.74	c #Conflicts:     551000 | #Constraints:      32303
2536.09/2542.74	c #Conflicts:     552000 | #Constraints:      33303
2536.09/2542.74	c INPROCESSING
2536.09/2542.74	c GARBAGE COLLECT
2536.09/2542.74	c #Conflicts:     553000 | #Constraints:      19594
2536.09/2542.74	c #Conflicts:     554000 | #Constraints:      20594
2536.09/2542.74	c #Conflicts:     555000 | #Constraints:      21594
2536.09/2542.74	c #Conflicts:     556000 | #Constraints:      22594
2536.09/2542.74	c #Conflicts:     557000 | #Constraints:      23594
2536.09/2542.74	c #Conflicts:     558000 | #Constraints:      24594
2536.09/2542.74	c #Conflicts:     559000 | #Constraints:      25594
2536.09/2542.74	c #Conflicts:     560000 | #Constraints:      26594
2536.09/2542.74	c #Conflicts:     561000 | #Constraints:      27594
2536.09/2542.74	c #Conflicts:     562000 | #Constraints:      28594
2536.09/2542.74	c #Conflicts:     563000 | #Constraints:      29594
2536.09/2542.74	c #Conflicts:     564000 | #Constraints:      30594
2536.09/2542.74	c #Conflicts:     565000 | #Constraints:      31594
2536.09/2542.74	c #Conflicts:     566000 | #Constraints:      32594
2536.09/2542.74	c #Conflicts:     567000 | #Constraints:      33594
2536.09/2542.74	c INPROCESSING
2536.09/2542.74	c GARBAGE COLLECT
2536.09/2542.74	c #Conflicts:     568000 | #Constraints:      19696
2536.09/2542.74	c #Conflicts:     569000 | #Constraints:      20696
2536.09/2542.74	c #Conflicts:     570000 | #Constraints:      21696
2536.09/2542.74	c #Conflicts:     571000 | #Constraints:      22696
2536.09/2542.74	c #Conflicts:     572000 | #Constraints:      23696
2536.09/2542.74	c #Conflicts:     573000 | #Constraints:      24696
2536.09/2542.74	c #Conflicts:     574000 | #Constraints:      25696
2536.09/2542.74	c #Conflicts:     575000 | #Constraints:      26696
2940.23/2947.85	c #Conflicts:     576000 | #Constraints:      27696
2940.23/2947.85	c #Conflicts:     577000 | #Constraints:      28696
2940.23/2947.85	c #Conflicts:     578000 | #Constraints:      29696
2940.23/2947.85	c #Conflicts:     579000 | #Constraints:      30696
2940.23/2947.85	c #Conflicts:     580000 | #Constraints:      31696
2940.23/2947.85	c #Conflicts:     581000 | #Constraints:      32696
2940.23/2947.85	c #Conflicts:     582000 | #Constraints:      33696
2940.23/2947.85	c INPROCESSING
2940.23/2947.85	c GARBAGE COLLECT
2940.23/2947.85	c #Conflicts:     583000 | #Constraints:      19595
2940.23/2947.85	c #Conflicts:     584000 | #Constraints:      20595
2940.23/2947.85	c #Conflicts:     585000 | #Constraints:      21595
2940.23/2947.85	c #Conflicts:     586000 | #Constraints:      22595
2940.23/2947.85	c #Conflicts:     587000 | #Constraints:      23595
2940.23/2947.85	c #Conflicts:     588000 | #Constraints:      24595
2940.23/2947.85	c #Conflicts:     589000 | #Constraints:      25595
2940.23/2947.85	c #Conflicts:     590000 | #Constraints:      26595
2940.23/2947.85	c #Conflicts:     591000 | #Constraints:      27595
2940.23/2947.85	c #Conflicts:     592000 | #Constraints:      28595
2940.23/2947.85	c #Conflicts:     593000 | #Constraints:      29595
2940.23/2947.85	c #Conflicts:     594000 | #Constraints:      30595
2940.23/2947.85	c #Conflicts:     595000 | #Constraints:      31595
2940.23/2947.85	c #Conflicts:     596000 | #Constraints:      32595
2940.23/2947.85	c #Conflicts:     597000 | #Constraints:      33595
2940.23/2947.85	c #Conflicts:     598000 | #Constraints:      34595
2940.23/2947.85	c INPROCESSING
2940.23/2947.85	c GARBAGE COLLECT
2940.23/2947.85	c #Conflicts:     599000 | #Constraints:      20304
2940.23/2947.85	c #Conflicts:     600000 | #Constraints:      21304
2940.23/2947.85	c #Conflicts:     601000 | #Constraints:      22304
2940.23/2947.85	c #Conflicts:     602000 | #Constraints:      23304
2940.23/2947.85	c #Conflicts:     603000 | #Constraints:      24304
2940.23/2947.85	c #Conflicts:     604000 | #Constraints:      25304
2940.23/2947.85	c #Conflicts:     605000 | #Constraints:      26304
2940.23/2947.85	c #Conflicts:     606000 | #Constraints:      27304
2940.23/2947.85	c #Conflicts:     607000 | #Constraints:      28304
2940.23/2947.85	c #Conflicts:     608000 | #Constraints:      29304
2940.23/2947.85	c #Conflicts:     609000 | #Constraints:      30304
2940.23/2947.85	c #Conflicts:     610000 | #Constraints:      31304
2940.23/2947.85	c #Conflicts:     611000 | #Constraints:      32304
2940.23/2947.85	c #Conflicts:     612000 | #Constraints:      33304
2940.23/2947.85	c #Conflicts:     613000 | #Constraints:      34304
2940.23/2947.85	c #Conflicts:     614000 | #Constraints:      35304
2940.23/2947.85	c INPROCESSING
2940.23/2947.85	c GARBAGE COLLECT
2940.23/2947.85	c #Conflicts:     615000 | #Constraints:      20807
2940.23/2947.85	c #Conflicts:     616000 | #Constraints:      21807
2940.23/2947.85	c #Conflicts:     617000 | #Constraints:      22807
2940.23/2947.85	c #Conflicts:     618000 | #Constraints:      23807
2940.23/2947.85	c #Conflicts:     619000 | #Constraints:      24807
2940.23/2947.85	c #Conflicts:     620000 | #Constraints:      25807
2940.23/2947.85	c #Conflicts:     621000 | #Constraints:      26807
2940.23/2947.85	c #Conflicts:     622000 | #Constraints:      27807
2940.23/2947.85	c #Conflicts:     623000 | #Constraints:      28807
2940.23/2947.85	c #Conflicts:     624000 | #Constraints:      29807
2940.23/2947.85	c #Conflicts:     625000 | #Constraints:      30807
2940.23/2947.85	c #Conflicts:     626000 | #Constraints:      31807
2940.23/2947.85	c #Conflicts:     627000 | #Constraints:      32807
2940.23/2947.85	c #Conflicts:     628000 | #Constraints:      33807
2940.23/2947.85	c #Conflicts:     629000 | #Constraints:      34807
2940.23/2947.85	c #Conflicts:     630000 | #Constraints:      35807
2940.23/2947.85	c INPROCESSING
2940.23/2947.85	c GARBAGE COLLECT
2940.23/2947.85	c #Conflicts:     631000 | #Constraints:      21091
2940.23/2947.85	c #Conflicts:     632000 | #Constraints:      22091
2940.23/2947.85	c #Conflicts:     633000 | #Constraints:      23091
2940.23/2947.85	c #Conflicts:     634000 | #Constraints:      24091
2940.23/2947.85	c #Conflicts:     635000 | #Constraints:      25091
2940.23/2947.85	c #Conflicts:     636000 | #Constraints:      26091
2940.23/2947.85	c #Conflicts:     637000 | #Constraints:      27091
2940.23/2947.85	c #Conflicts:     638000 | #Constraints:      28091
2940.23/2947.85	c #Conflicts:     639000 | #Constraints:      29091
2940.23/2947.85	c #Conflicts:     640000 | #Constraints:      30091
2940.23/2947.85	c #Conflicts:     641000 | #Constraints:      31091
2940.23/2947.85	c #Conflicts:     642000 | #Constraints:      32091
2940.23/2947.85	c #Conflicts:     643000 | #Constraints:      33091
2940.23/2947.85	c #Conflicts:     644000 | #Constraints:      34091
2940.23/2947.85	c #Conflicts:     645000 | #Constraints:      35091
2940.23/2947.85	c #Conflicts:     646000 | #Constraints:      36091
2940.23/2947.85	c INPROCESSING
2940.23/2947.85	c GARBAGE COLLECT
2940.23/2947.85	c #Conflicts:     647000 | #Constraints:      21193
2940.23/2947.85	c #Conflicts:     648000 | #Constraints:      22193
2940.23/2947.85	c #Conflicts:     649000 | #Constraints:      23193
2940.23/2947.85	c #Conflicts:     650000 | #Constraints:      24193
2940.23/2947.85	c #Conflicts:     651000 | #Constraints:      25193
3337.67/3346.28	c #Conflicts:     652000 | #Constraints:      26193
3337.67/3346.28	c #Conflicts:     653000 | #Constraints:      27193
3337.67/3346.28	c #Conflicts:     654000 | #Constraints:      28193
3337.67/3346.28	c #Conflicts:     655000 | #Constraints:      29193
3337.67/3346.28	c #Conflicts:     656000 | #Constraints:      30193
3337.67/3346.28	c #Conflicts:     657000 | #Constraints:      31193
3337.67/3346.28	c #Conflicts:     658000 | #Constraints:      32193
3337.67/3346.28	c #Conflicts:     659000 | #Constraints:      33193
3337.67/3346.28	c #Conflicts:     660000 | #Constraints:      34193
3337.67/3346.28	c #Conflicts:     661000 | #Constraints:      35193
3337.67/3346.28	c #Conflicts:     662000 | #Constraints:      36193
3337.67/3346.28	c INPROCESSING
3337.67/3346.28	c GARBAGE COLLECT
3337.67/3346.28	c #Conflicts:     663000 | #Constraints:      21084
3337.67/3346.28	c #Conflicts:     664000 | #Constraints:      22084
3337.67/3346.28	c #Conflicts:     665000 | #Constraints:      23084
3337.67/3346.28	c #Conflicts:     666000 | #Constraints:      24084
3337.67/3346.28	c #Conflicts:     667000 | #Constraints:      25084
3337.67/3346.28	c #Conflicts:     668000 | #Constraints:      26084
3337.67/3346.28	c #Conflicts:     669000 | #Constraints:      27084
3337.67/3346.28	c #Conflicts:     670000 | #Constraints:      28084
3337.67/3346.28	c #Conflicts:     671000 | #Constraints:      29084
3337.67/3346.28	c #Conflicts:     672000 | #Constraints:      30084
3337.67/3346.28	c #Conflicts:     673000 | #Constraints:      31084
3337.67/3346.28	c #Conflicts:     674000 | #Constraints:      32084
3337.67/3346.28	c #Conflicts:     675000 | #Constraints:      33084
3337.67/3346.28	c #Conflicts:     676000 | #Constraints:      34084
3337.67/3346.28	c #Conflicts:     677000 | #Constraints:      35084
3337.67/3346.28	c #Conflicts:     678000 | #Constraints:      36084
3337.67/3346.28	c INPROCESSING
3337.67/3346.28	c GARBAGE COLLECT
3337.67/3346.28	c #Conflicts:     679000 | #Constraints:      20785
3337.67/3346.28	c #Conflicts:     680000 | #Constraints:      21785
3337.67/3346.28	c #Conflicts:     681000 | #Constraints:      22785
3337.67/3346.28	c #Conflicts:     682000 | #Constraints:      23785
3337.67/3346.28	c #Conflicts:     683000 | #Constraints:      24785
3337.67/3346.28	c #Conflicts:     684000 | #Constraints:      25785
3337.67/3346.28	c #Conflicts:     685000 | #Constraints:      26785
3337.67/3346.28	c #Conflicts:     686000 | #Constraints:      27785
3337.67/3346.28	c #Conflicts:     687000 | #Constraints:      28785
3337.67/3346.28	c #Conflicts:     688000 | #Constraints:      29785
3337.67/3346.28	c #Conflicts:     689000 | #Constraints:      30785
3337.67/3346.28	c #Conflicts:     690000 | #Constraints:      31785
3337.67/3346.28	c #Conflicts:     691000 | #Constraints:      32785
3337.67/3346.28	c #Conflicts:     692000 | #Constraints:      33785
3337.67/3346.28	c #Conflicts:     693000 | #Constraints:      34785
3337.67/3346.28	c #Conflicts:     694000 | #Constraints:      35785
3337.67/3346.28	c #Conflicts:     695000 | #Constraints:      36785
3337.67/3346.28	c INPROCESSING
3337.67/3346.28	c GARBAGE COLLECT
3337.67/3346.28	c #Conflicts:     696000 | #Constraints:      21286
3337.67/3346.28	c #Conflicts:     697000 | #Constraints:      22286
3337.67/3346.28	c #Conflicts:     698000 | #Constraints:      23286
3337.67/3346.28	c #Conflicts:     699000 | #Constraints:      24286
3337.67/3346.28	c #Conflicts:     700000 | #Constraints:      25286
3337.67/3346.28	c #Conflicts:     701000 | #Constraints:      26286
3337.67/3346.28	c #Conflicts:     702000 | #Constraints:      27286
3337.67/3346.28	c #Conflicts:     703000 | #Constraints:      28286
3337.67/3346.28	c #Conflicts:     704000 | #Constraints:      29286
3337.67/3346.28	c #Conflicts:     705000 | #Constraints:      30286
3337.67/3346.28	c #Conflicts:     706000 | #Constraints:      31286
3337.67/3346.28	c #Conflicts:     707000 | #Constraints:      32286
3337.67/3346.28	c #Conflicts:     708000 | #Constraints:      33286
3337.67/3346.28	c #Conflicts:     709000 | #Constraints:      34286
3337.67/3346.28	c #Conflicts:     710000 | #Constraints:      35286
3337.67/3346.28	c #Conflicts:     711000 | #Constraints:      36286
3337.67/3346.28	c #Conflicts:     712000 | #Constraints:      37286
3337.67/3346.28	c INPROCESSING
3337.67/3346.28	c GARBAGE COLLECT
3337.67/3346.28	c #Conflicts:     713000 | #Constraints:      21590
3337.67/3346.28	c #Conflicts:     714000 | #Constraints:      22590
3337.67/3346.28	c #Conflicts:     715000 | #Constraints:      23590
3337.67/3346.28	c #Conflicts:     716000 | #Constraints:      24590
3337.67/3346.28	c #Conflicts:     717000 | #Constraints:      25590
3337.67/3346.28	c #Conflicts:     718000 | #Constraints:      26590
3337.67/3346.28	c #Conflicts:     719000 | #Constraints:      27590
3337.67/3346.28	c #Conflicts:     720000 | #Constraints:      28590
3337.67/3346.28	c #Conflicts:     721000 | #Constraints:      29590
3337.67/3346.28	c #Conflicts:     722000 | #Constraints:      30590
3337.67/3346.28	c #Conflicts:     723000 | #Constraints:      31590
3337.67/3346.28	c #Conflicts:     724000 | #Constraints:      32590
3337.67/3346.28	c #Conflicts:     725000 | #Constraints:      33590
3337.67/3346.28	c #Conflicts:     726000 | #Constraints:      34590
3337.67/3346.28	c #Conflicts:     727000 | #Constraints:      35590
3600.04/3609.20	c #Conflicts:     728000 | #Constraints:      36590
3600.04/3609.20	c #Conflicts:     729000 | #Constraints:      37590
3600.04/3609.20	c INPROCESSING
3600.04/3609.20	c GARBAGE COLLECT
3600.04/3609.20	c #Conflicts:     730000 | #Constraints:      21688
3600.04/3609.20	c #Conflicts:     731000 | #Constraints:      22688
3600.04/3609.20	c #Conflicts:     732000 | #Constraints:      23688
3600.04/3609.20	c #Conflicts:     733000 | #Constraints:      24688
3600.04/3609.20	c #Conflicts:     734000 | #Constraints:      25688
3600.04/3609.20	c #Conflicts:     735000 | #Constraints:      26688
3600.04/3609.20	c #Conflicts:     736000 | #Constraints:      27688
3600.04/3609.20	c #Conflicts:     737000 | #Constraints:      28688
3600.04/3609.20	c #Conflicts:     738000 | #Constraints:      29688
3600.04/3609.20	c #Conflicts:     739000 | #Constraints:      30688
3600.04/3609.20	c #Conflicts:     740000 | #Constraints:      31688
3600.04/3609.20	c #Conflicts:     741000 | #Constraints:      32688
3600.04/3609.20	c #Conflicts:     742000 | #Constraints:      33688
3600.04/3609.20	c #Conflicts:     743000 | #Constraints:      34688
3600.04/3609.20	c #Conflicts:     744000 | #Constraints:      35688
3600.04/3609.20	c #Conflicts:     745000 | #Constraints:      36688
3600.04/3609.20	c #Conflicts:     746000 | #Constraints:      37688
3600.04/3609.20	c INPROCESSING
3600.04/3609.20	c GARBAGE COLLECT
3600.04/3609.20	c #Conflicts:     747000 | #Constraints:      21584
3600.04/3609.20	c #Conflicts:     748000 | #Constraints:      22584
3600.04/3609.20	c #Conflicts:     749000 | #Constraints:      23584
3600.04/3609.20	c #Conflicts:     750000 | #Constraints:      24584
3600.04/3609.20	c #Conflicts:     751000 | #Constraints:      25584
3600.04/3609.20	c #Conflicts:     752000 | #Constraints:      26584
3600.04/3609.20	c #Conflicts:     753000 | #Constraints:      27584
3600.04/3609.20	c #Conflicts:     754000 | #Constraints:      28584
3600.04/3609.20	c #Conflicts:     755000 | #Constraints:      29584
3600.04/3609.20	c #Conflicts:     756000 | #Constraints:      30584
3600.04/3609.20	c #Conflicts:     757000 | #Constraints:      31584
3600.04/3609.20	c #Conflicts:     758000 | #Constraints:      32584
3600.04/3609.20	c #Conflicts:     759000 | #Constraints:      33584
3600.04/3609.20	c #Conflicts:     760000 | #Constraints:      34584
3600.04/3609.20	c #Conflicts:     761000 | #Constraints:      35584
3600.04/3609.20	c #Conflicts:     762000 | #Constraints:      36584
3600.04/3609.20	c #Conflicts:     763000 | #Constraints:      37584
3600.04/3609.20	c #Conflicts:     764000 | #Constraints:      38584
3600.04/3609.20	c INPROCESSING
3600.04/3609.20	c GARBAGE COLLECT
3600.04/3609.20	c #Conflicts:     765000 | #Constraints:      22279
3600.04/3609.20	c #Conflicts:     766000 | #Constraints:      23279
3600.04/3609.20	c #Conflicts:     767000 | #Constraints:      24279
3600.04/3609.20	c #Conflicts:     768000 | #Constraints:      25279
3600.04/3609.20	c #Conflicts:     769000 | #Constraints:      26279
3600.04/3609.20	c #Conflicts:     770000 | #Constraints:      27279
3600.04/3609.20	c #Conflicts:     771000 | #Constraints:      28279
3600.04/3609.20	c #Conflicts:     772000 | #Constraints:      29279
3600.04/3609.20	c #Conflicts:     773000 | #Constraints:      30279
3600.04/3609.20	c #Conflicts:     774000 | #Constraints:      31279
3600.04/3609.20	c #Conflicts:     775000 | #Constraints:      32279
3600.04/3609.20	c cpu time 3592.21 s
3600.04/3609.20	c deterministic time 1 1.00e+00
3600.04/3609.20	c optimization time 3592.2 s
3600.04/3609.20	c total solve time 0 s
3600.04/3609.20	c core-guided solve time 0 s
3600.04/3609.20	c propagation time 0.000547 s
3600.04/3609.20	c conflict analysis time 0 s
3600.04/3609.20	c propagations 0
3600.04/3609.20	c resolve steps 0
3600.04/3609.20	c decisions 0
3600.04/3609.20	c conflicts 0
3600.04/3609.20	c restarts 0
3600.04/3609.20	c inprocessing phases 0
3600.04/3609.20	c garbage collections 0 ,( -nan )
3600.04/3609.20	c input clauses 4000 ,( 100.00 )
3600.04/3609.20	c input cardinalities 0 ,( 0.00 )
3600.04/3609.20	c input general constraints 0 ,( 0.00 )
3600.04/3609.20	c input average constraint length 2.00
3600.04/3609.20	c input average constraint degree 1.00
3600.04/3609.20	c learned clauses 0 ,( 0.00 )
3600.04/3609.20	c learned cardinalities 0 ,( 0.00 )
3600.04/3609.20	c learned general constraints 0 ,( 0.00 )
3600.04/3609.20	c learned average constraint length 0.00
3600.04/3609.20	c learned average constraint degree 0.00
3600.04/3609.20	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.04/3609.20	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.04/3609.20	c watched   constraints 0 ,( -nan ) 
3600.04/3609.20	c counting  constraints 0 ,( -nan ) 
3600.04/3609.20	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.04/3609.20	c gcd simplifications 0
3600.04/3609.20	c detected cardinalities 0
3600.04/3609.20	c weakened non-implied lits 0
3600.04/3609.20	c weakened non-implying lits 0
3600.04/3609.20	c original variables 1964
3600.04/3609.20	c clausal propagations 0
3600.04/3609.20	c cardinality propagations 0
3600.04/3609.20	c watched propagations 0
3600.04/3609.20	c counting propagations 0
3600.04/3609.20	c watch lookups 0
3600.04/3609.20	c watch backjump lookups 0
3600.04/3609.20	c watch checks 0
3600.04/3609.20	c propagation checks 0
3600.04/3609.20	c constraint additions 0
3600.04/3609.20	c trail pops 0
3600.04/3609.20	c formula constraints 4000
3600.04/3609.20	c learned constraints 0
3600.04/3609.20	c bound constraints 0
3600.04/3609.20	c core-guided constraints 0
3600.04/3609.20	c encountered formula constraints 0
3600.04/3609.20	c encountered learned constraints 0
3600.04/3609.20	c encountered bound constraints 0
3600.04/3609.20	c encountered core-guided constraints 0
3600.04/3609.20	c LP total time 0 s
3600.04/3609.20	c LP solve time 0 s
3600.04/3609.20	c LP constraints added 0
3600.04/3609.20	c LP constraints removed 0
3600.04/3609.20	c LP pivots internal 0
3600.04/3609.20	c LP pivots root 0
3600.04/3609.20	c LP calls 0
3600.04/3609.20	c LP optimalities 0
3600.04/3609.20	c LP no pivot count 0
3600.04/3609.20	c LP infeasibilities 0
3600.04/3609.20	c LP valid Farkas constraints 0
3600.04/3609.20	c LP learned Farkas constraints 0
3600.04/3609.20	c LP basis resets 0
3600.04/3609.20	c LP cycling count 0
3600.04/3609.20	c LP singular count 0
3600.04/3609.20	c LP no primal count 0
3600.04/3609.20	c LP no farkas count 0
3600.04/3609.20	c LP other issue count 0
3600.04/3609.20	c LP Gomory cuts 0
3600.04/3609.20	c LP learned cuts 0
3600.04/3609.20	c LP deleted cuts 0
3600.04/3609.20	c LP encountered Gomory constraints 0
3600.04/3609.20	c LP encountered Farkas constraints 0
3600.04/3609.20	c LP encountered learned Farkas constraints 0
3600.04/3609.20	c CG auxiliary variables introduced 0
3600.04/3609.20	c CG solutions found 0
3600.04/3609.20	c CG cores constructed 0
3600.04/3609.20	c CG core cardinality constraints returned 0
3600.04/3609.20	c CG unit cores 0
3600.04/3609.20	c CG single cores 0
3600.04/3609.20	c CG blocks removed during cardinality reduction 0
3600.04/3609.20	c CG first core best 0
3600.04/3609.20	c CG decision core best 0
3600.04/3609.20	c CG core reduction tie 0
3600.04/3609.20	c CG core degree average 0.00
3600.04/3609.20	c CG core slack average 0.00
3600.04/3609.20	c CG core upper bound improvements 0
3600.04/3609.20	c STR number of successful calls 0
3600.04/3609.20	c STR number of unsuccessful calls 0
3600.04/3609.20	c STR number of inconclusive calls 0
3600.04/3609.20	c STR number of successful attempts 0
3600.04/3609.20	c STR number of unsuccessful attempts 0
3600.04/3609.20	c STR number of inconclusive attempts 0
3600.04/3609.20	c STR average degree increase per successful call inf
3600.04/3609.20	c STR average degree increase per successful attempt inf
3600.04/3609.20	c STR total number of conflicts for successful attempts 0
3600.04/3609.20	c STR total number of conflicts for unsuccessful attempts 0
3600.04/3609.20	c STR total number of conflicts for inconclusive attempts 0
3600.04/3609.20	c STR average number of conflicts per successful attempt inf
3600.04/3609.20	c STR average number of conflicts per unsuccessful attempt inf
3600.04/3609.20	c STR average number of conflicts per inconclusive attempt inf
3600.04/3609.20	c AVG.sumWPerc -nan 
3600.04/3609.20	c bigint constraints 0 
3600.04/3609.20	s UNKNOWN
3600.04/3609.20	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 (63064 MiB free)
  memory of node 1: 64465 MiB (64065 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=50634, runsolver pid=50618

[startup+0.100059 s]*
/proc/loadavg: 1.72 3.36 4.00 6/274 50639
/proc/meminfo: memFree=130143268/131249996 swapFree=33006296/33010684
[pid=50634] ppid=50618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/50634/stat : 50634 (run-opt.sh) S 50618 50634 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94226645635072 94226646529605 140736825464896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94226646768656 94226646816400 94226649776128 140736825473389 140736825473512 140736825473512 140736825479114 0
/proc/50634/statm: 1048 768 704 219 0 110 0
[pid=50639] ppid=50634 vsize=68420 memory=22324 CPUtime=0.07 cores=5,7
/proc/50639/stat : 50639 (roundingsat) R 50634 50634 50566 0 -1 4194304 3536 0 0 0 6 1 0 0 20 0 1 0 50499146 70062080 5581 18446744073709551615 4227072 8923433 140726344972304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13062144 140726344980898 140726344981032 140726344981032 140726344986602 0
/proc/50639/statm: 17105 5581 2336 1147 0 4532 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 72612 KiB
Current children cumulated memory: 25396 KiB

[startup+0.206003 s]*
/proc/loadavg: 1.72 3.36 4.00 6/274 50639
/proc/meminfo: memFree=130094380/131249996 swapFree=33006296/33010684
[pid=50634] ppid=50618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/50634/stat : 50634 (run-opt.sh) S 50618 50634 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94226645635072 94226646529605 140736825464896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94226646768656 94226646816400 94226649776128 140736825473389 140736825473512 140736825473512 140736825479114 0
/proc/50634/statm: 1048 768 704 219 0 110 0
[pid=50639] ppid=50634 vsize=83520 memory=37728 CPUtime=0.18 cores=5,7
/proc/50639/stat : 50639 (roundingsat) R 50634 50634 50566 0 -1 4194304 6871 0 0 0 16 2 0 0 20 0 1 0 50499146 85524480 9432 18446744073709551615 4227072 8923433 140726344972304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13062144 140726344980898 140726344981032 140726344981032 140726344986602 0
/proc/50639/statm: 20880 9432 2336 1147 0 8307 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 87712 KiB
Current children cumulated memory: 40800 KiB

[startup+0.306008 s]*
/proc/loadavg: 1.72 3.36 4.00 6/274 50639
/proc/meminfo: memFree=130071004/131249996 swapFree=33006296/33010684
[pid=50634] ppid=50618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/50634/stat : 50634 (run-opt.sh) S 50618 50634 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94226645635072 94226646529605 140736825464896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94226646768656 94226646816400 94226649776128 140736825473389 140736825473512 140736825473512 140736825479114 0
/proc/50634/statm: 1048 768 704 219 0 110 0
[pid=50639] ppid=50634 vsize=83656 memory=38112 CPUtime=0.27 cores=5,7
/proc/50639/stat : 50639 (roundingsat) R 50634 50634 50566 0 -1 4194304 6976 0 0 0 25 2 0 0 20 0 1 0 50499146 85663744 9528 18446744073709551615 4227072 8923433 140726344972304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13062144 140726344980898 140726344981032 140726344981032 140726344986602 0
/proc/50639/statm: 20914 9528 2336 1147 0 8341 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 87848 KiB
Current children cumulated memory: 41184 KiB

[startup+0.700194 s]
/proc/loadavg: 1.72 3.36 4.00 6/274 50639
/proc/meminfo: memFree=130023112/131249996 swapFree=33006296/33010684
[pid=50634] ppid=50618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/50634/stat : 50634 (run-opt.sh) S 50618 50634 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94226645635072 94226646529605 140736825464896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94226646768656 94226646816400 94226649776128 140736825473389 140736825473512 140736825473512 140736825479114 0
/proc/50634/statm: 1048 768 704 219 0 110 0
[pid=50639] ppid=50634 vsize=112192 memory=64224 CPUtime=0.66 cores=5,7
/proc/50639/stat : 50639 (roundingsat) R 50634 50634 50566 0 -1 4194304 11961 0 0 0 61 5 0 0 20 0 1 0 50499146 114884608 16056 18446744073709551615 4227072 8923433 140726344972304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13062144 140726344980898 140726344981032 140726344981032 140726344986602 0
/proc/50639/statm: 28048 16056 2336 1147 0 15475 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 116384 KiB
Current children cumulated memory: 67296 KiB

[startup+1.50019 s]
/proc/loadavg: 1.72 3.36 4.00 6/274 50639
/proc/meminfo: memFree=129881544/131249996 swapFree=33006296/33010684
[pid=50634] ppid=50618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/50634/stat : 50634 (run-opt.sh) S 50618 50634 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94226645635072 94226646529605 140736825464896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94226646768656 94226646816400 94226649776128 140736825473389 140736825473512 140736825473512 140736825479114 0
/proc/50634/statm: 1048 768 704 219 0 110 0
[pid=50639] ppid=50634 vsize=157196 memory=109196 CPUtime=1.46 cores=5,7
/proc/50639/stat : 50639 (roundingsat) R 50634 50634 50566 0 -1 4194304 20670 0 0 0 137 9 0 0 20 0 1 0 50499146 160968704 27299 18446744073709551615 4227072 8923433 140726344972304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13062144 140726344980898 140726344981032 140726344981032 140726344986602 0
/proc/50639/statm: 39299 27299 2336 1147 0 26726 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 161388 KiB
Current children cumulated memory: 112268 KiB

[startup+3.10591 s]
/proc/loadavg: 1.72 3.36 4.00 6/274 50639
/proc/meminfo: memFree=129668784/131249996 swapFree=33006296/33010684
[pid=50634] ppid=50618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/50634/stat : 50634 (run-opt.sh) S 50618 50634 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94226645635072 94226646529605 140736825464896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94226646768656 94226646816400 94226649776128 140736825473389 140736825473512 140736825473512 140736825479114 0
/proc/50634/statm: 1048 768 704 219 0 110 0
[pid=50639] ppid=50634 vsize=241972 memory=164468 CPUtime=3.06 cores=5,7
/proc/50639/stat : 50639 (roundingsat) R 50634 50634 50566 0 -1 4194304 32437 0 0 0 294 12 0 0 20 0 1 0 50499146 247779328 41117 18446744073709551615 4227072 8923433 140726344972304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13062144 140726344980898 140726344981032 140726344981032 140726344986602 0
/proc/50639/statm: 60493 41117 2336 1147 0 47920 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 246164 KiB
Current children cumulated memory: 167540 KiB

[startup+6.30019 s]
/proc/loadavg: 1.91 3.38 4.00 6/274 50639
/proc/meminfo: memFree=129475232/131249996 swapFree=33006296/33010684
[pid=50634] ppid=50618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/50634/stat : 50634 (run-opt.sh) S 50618 50634 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94226645635072 94226646529605 140736825464896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94226646768656 94226646816400 94226649776128 140736825473389 140736825473512 140736825473512 140736825479114 0
/proc/50634/statm: 1048 768 704 219 0 110 0
[pid=50639] ppid=50634 vsize=275416 memory=195908 CPUtime=6.25 cores=5,7
/proc/50639/stat : 50639 (roundingsat) R 50634 50634 50566 0 -1 4194304 37235 0 0 0 608 17 0 0 20 0 1 0 50499146 282025984 48977 18446744073709551615 4227072 8923433 140726344972304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13062144 140726344980898 140726344981032 140726344981032 140726344986602 0
/proc/50639/statm: 68854 48977 2336 1147 0 56281 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 279608 KiB
Current children cumulated memory: 198980 KiB

[startup+12.7002 s]
/proc/loadavg: 2.08 3.39 4.00 6/274 50639
/proc/meminfo: memFree=128969492/131249996 swapFree=33006296/33010684
[pid=50634] ppid=50618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/50634/stat : 50634 (run-opt.sh) S 50618 50634 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94226645635072 94226646529605 140736825464896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94226646768656 94226646816400 94226649776128 140736825473389 140736825473512 140736825473512 140736825479114 0
/proc/50634/statm: 1048 768 704 219 0 110 0
[pid=50639] ppid=50634 vsize=586356 memory=446480 CPUtime=12.64 cores=5,7
/proc/50639/stat : 50639 (roundingsat) R 50634 50634 50566 0 -1 4194304 95298 0 0 0 1230 34 0 0 20 0 1 0 50499146 600428544 111620 18446744073709551615 4227072 8923433 140726344972304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13062144 140726344980898 140726344981032 140726344981032 140726344986602 0
/proc/50639/statm: 146589 111620 2336 1147 0 134016 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 590548 KiB
Current children cumulated memory: 449552 KiB

[startup+25.5002 s]
/proc/loadavg: 2.50 3.42 4.00 6/274 50639
/proc/meminfo: memFree=128376732/131249996 swapFree=33006296/33010684
[pid=50634] ppid=50618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/50634/stat : 50634 (run-opt.sh) S 50618 50634 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94226645635072 94226646529605 140736825464896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94226646768656 94226646816400 94226649776128 140736825473389 140736825473512 140736825473512 140736825479114 0
/proc/50634/statm: 1048 768 704 219 0 110 0
[pid=50639] ppid=50634 vsize=587188 memory=448784 CPUtime=25.41 cores=5,7
/proc/50639/stat : 50639 (roundingsat) R 50634 50634 50566 0 -1 4194304 95887 0 0 0 2499 42 0 0 20 0 1 0 50499146 601280512 112196 18446744073709551615 4227072 8923433 140726344972304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13062144 140726344980898 140726344981032 140726344981032 140726344986602 0
/proc/50639/statm: 146797 112196 2336 1147 0 134224 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 591380 KiB
Current children cumulated memory: 451856 KiB

[startup+51.1059 s]
/proc/loadavg: 3.09 3.48 4.00 6/273 50640
/proc/meminfo: memFree=128182924/131249996 swapFree=33006296/33010684
[pid=50634] ppid=50618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/50634/stat : 50634 (run-opt.sh) S 50618 50634 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94226645635072 94226646529605 140736825464896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94226646768656 94226646816400 94226649776128 140736825473389 140736825473512 140736825473512 140736825479114 0
/proc/50634/statm: 1048 768 704 219 0 110 0
[pid=50639] ppid=50634 vsize=588892 memory=466560 CPUtime=50.94 cores=5,7
/proc/50639/stat : 50639 (roundingsat) R 50634 50634 50566 0 -1 4194304 98272 0 0 0 5040 54 0 0 20 0 1 0 50499146 603025408 116640 18446744073709551615 4227072 8923433 140726344972304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13062144 140726344980898 140726344981032 140726344981032 140726344986602 0
/proc/50639/statm: 147223 116640 2336 1147 0 134650 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 593084 KiB
Current children cumulated memory: 469632 KiB

[startup+102.3 s]
/proc/loadavg: 3.67 3.58 4.01 6/273 50641
/proc/meminfo: memFree=128041932/131249996 swapFree=33006296/33010684
[pid=50634] ppid=50618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/50634/stat : 50634 (run-opt.sh) S 50618 50634 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94226645635072 94226646529605 140736825464896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94226646768656 94226646816400 94226649776128 140736825473389 140736825473512 140736825473512 140736825479114 0
/proc/50634/statm: 1048 768 704 219 0 110 0
[pid=50639] ppid=50634 vsize=767536 memory=567796 CPUtime=102.01 cores=5,7
/proc/50639/stat : 50639 (roundingsat) R 50634 50634 50566 0 -1 4194304 119517 0 0 0 10127 74 0 0 20 0 1 0 50499146 785956864 141949 18446744073709551615 4227072 8923433 140726344972304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13062144 140726344980898 140726344981032 140726344981032 140726344986602 0
/proc/50639/statm: 191884 141949 2336 1147 0 179311 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 771728 KiB
Current children cumulated memory: 570868 KiB

[startup+162.3 s]
/proc/loadavg: 3.93 3.67 4.01 6/272 50646
/proc/meminfo: memFree=127868544/131249996 swapFree=33006296/33010684
[pid=50634] ppid=50618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/50634/stat : 50634 (run-opt.sh) S 50618 50634 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94226645635072 94226646529605 140736825464896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94226646768656 94226646816400 94226649776128 140736825473389 140736825473512 140736825473512 140736825479114 0
/proc/50634/statm: 1048 768 704 219 0 110 0
[pid=50639] ppid=50634 vsize=818528 memory=618680 CPUtime=161.85 cores=5,7
/proc/50639/stat : 50639 (roundingsat) R 50634 50634 50566 0 -1 4194304 130220 0 0 0 16082 103 0 0 20 0 1 0 50499146 838172672 154670 18446744073709551615 4227072 8923433 140726344972304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13062144 140726344980898 140726344981032 140726344981032 140726344986602 0
/proc/50639/statm: 204632 154670 2336 1147 0 192059 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 822720 KiB
Current children cumulated memory: 621752 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 3.75 4.01 6/272 50649
/proc/meminfo: memFree=127827528/131249996 swapFree=33006296/33010684
[pid=50634] ppid=50618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/50634/stat : 50634 (run-opt.sh) S 50618 50634 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94226645635072 94226646529605 140736825464896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94226646768656 94226646816400 94226649776128 140736825473389 140736825473512 140736825473512 140736825479114 0
/proc/50634/statm: 1048 768 704 219 0 110 0
[pid=50639] ppid=50634 vsize=825008 memory=634300 CPUtime=221.69 cores=5,7
/proc/50639/stat : 50639 (roundingsat) R 50634 50634 50566 0 -1 4194304 132595 0 0 0 22052 117 0 0 20 0 1 0 50499146 844808192 158575 18446744073709551615 4227072 8923433 140726344972304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13062144 140726344980898 140726344981032 140726344981032 140726344986602 0
/proc/50639/statm: 206252 158575 2336 1147 0 193679 0

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

/proc/50639/statm: 305545 289345 2336 1147 0 292972 0
Current children cumulated CPU time: 3034.5 s
Current children cumulated vsize: 1226372 KiB
Current children cumulated memory: 1160452 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.09 4.09 6/268 50806
/proc/meminfo: memFree=125926320/131249996 swapFree=33006296/33010684
[pid=50634] ppid=50618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/50634/stat : 50634 (run-opt.sh) S 50618 50634 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94226645635072 94226646529605 140736825464896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94226646768656 94226646816400 94226649776128 140736825473389 140736825473512 140736825473512 140736825479114 0
/proc/50634/statm: 1048 768 704 219 0 110 0
[pid=50639] ppid=50634 vsize=1222180 memory=1157380 CPUtime=3094.35 cores=5,7
/proc/50639/stat : 50639 (roundingsat) R 50634 50634 50566 0 -1 4194304 196312 0 0 0 308732 703 0 0 20 0 1 0 50499146 1251512320 289345 18446744073709551615 4227072 8923433 140726344972304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13062144 140726344980898 140726344981032 140726344981032 140726344986602 0
/proc/50639/statm: 305545 289345 2336 1147 0 292972 0
Current children cumulated CPU time: 3094.35 s
Current children cumulated vsize: 1226372 KiB
Current children cumulated memory: 1160452 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/268 50810
/proc/meminfo: memFree=125895288/131249996 swapFree=33006296/33010684
[pid=50634] ppid=50618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/50634/stat : 50634 (run-opt.sh) S 50618 50634 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94226645635072 94226646529605 140736825464896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94226646768656 94226646816400 94226649776128 140736825473389 140736825473512 140736825473512 140736825479114 0
/proc/50634/statm: 1048 768 704 219 0 110 0
[pid=50639] ppid=50634 vsize=1222180 memory=1157380 CPUtime=3154.21 cores=5,7
/proc/50639/stat : 50639 (roundingsat) R 50634 50634 50566 0 -1 4194304 196345 0 0 0 314705 716 0 0 20 0 1 0 50499146 1251512320 289345 18446744073709551615 4227072 8923433 140726344972304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13062144 140726344980898 140726344981032 140726344981032 140726344986602 0
/proc/50639/statm: 305545 289345 2336 1147 0 292972 0
Current children cumulated CPU time: 3154.21 s
Current children cumulated vsize: 1226372 KiB
Current children cumulated memory: 1160452 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/267 50813
/proc/meminfo: memFree=125832300/131249996 swapFree=33006296/33010684
[pid=50634] ppid=50618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/50634/stat : 50634 (run-opt.sh) S 50618 50634 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94226645635072 94226646529605 140736825464896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94226646768656 94226646816400 94226649776128 140736825473389 140736825473512 140736825473512 140736825479114 0
/proc/50634/statm: 1048 768 704 219 0 110 0
[pid=50639] ppid=50634 vsize=1223040 memory=1160140 CPUtime=3214.07 cores=5,7
/proc/50639/stat : 50639 (roundingsat) R 50634 50634 50566 0 -1 4194304 196508 0 0 0 320682 725 0 0 20 0 1 0 50499146 1252392960 290035 18446744073709551615 4227072 8923433 140726344972304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13062144 140726344980898 140726344981032 140726344981032 140726344986602 0
/proc/50639/statm: 305760 290035 2336 1147 0 293187 0
Current children cumulated CPU time: 3214.07 s
Current children cumulated vsize: 1227232 KiB
Current children cumulated memory: 1163212 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/269 50817
/proc/meminfo: memFree=125792128/131249996 swapFree=33006296/33010684
[pid=50634] ppid=50618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/50634/stat : 50634 (run-opt.sh) S 50618 50634 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94226645635072 94226646529605 140736825464896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94226646768656 94226646816400 94226649776128 140736825473389 140736825473512 140736825473512 140736825479114 0
/proc/50634/statm: 1048 768 704 219 0 110 0
[pid=50639] ppid=50634 vsize=1223664 memory=1160524 CPUtime=3273.92 cores=5,7
/proc/50639/stat : 50639 (roundingsat) R 50634 50634 50566 0 -1 4194304 196610 0 0 0 326657 735 0 0 20 0 1 0 50499146 1253031936 290131 18446744073709551615 4227072 8923433 140726344972304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13062144 140726344980898 140726344981032 140726344981032 140726344986602 0
/proc/50639/statm: 305916 290131 2336 1147 0 293343 0
Current children cumulated CPU time: 3273.92 s
Current children cumulated vsize: 1227856 KiB
Current children cumulated memory: 1163596 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.10 4.09 6/270 50824
/proc/meminfo: memFree=125806112/131249996 swapFree=33006296/33010684
[pid=50634] ppid=50618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/50634/stat : 50634 (run-opt.sh) S 50618 50634 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94226645635072 94226646529605 140736825464896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94226646768656 94226646816400 94226649776128 140736825473389 140736825473512 140736825473512 140736825479114 0
/proc/50634/statm: 1048 768 704 219 0 110 0
[pid=50639] ppid=50634 vsize=1224300 memory=1160908 CPUtime=3333.78 cores=5,7
/proc/50639/stat : 50639 (roundingsat) R 50634 50634 50566 0 -1 4194304 196701 0 0 0 332634 744 0 0 20 0 1 0 50499146 1253683200 290227 18446744073709551615 4227072 8923433 140726344972304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13062144 140726344980898 140726344981032 140726344981032 140726344986602 0
/proc/50639/statm: 306075 290227 2336 1147 0 293502 0
Current children cumulated CPU time: 3333.78 s
Current children cumulated vsize: 1228492 KiB
Current children cumulated memory: 1163980 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/270 50826
/proc/meminfo: memFree=125802316/131249996 swapFree=33006296/33010684
[pid=50634] ppid=50618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/50634/stat : 50634 (run-opt.sh) S 50618 50634 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94226645635072 94226646529605 140736825464896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94226646768656 94226646816400 94226649776128 140736825473389 140736825473512 140736825473512 140736825479114 0
/proc/50634/statm: 1048 768 704 219 0 110 0
[pid=50639] ppid=50634 vsize=1232172 memory=1171604 CPUtime=3393.63 cores=5,7
/proc/50639/stat : 50639 (roundingsat) R 50634 50634 50566 0 -1 4194304 198005 0 0 0 338610 753 0 0 20 0 1 0 50499146 1261744128 292901 18446744073709551615 4227072 8923433 140726344972304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13062144 140726344980898 140726344981032 140726344981032 140726344986602 0
/proc/50639/statm: 308043 292901 2336 1147 0 295470 0
Current children cumulated CPU time: 3393.63 s
Current children cumulated vsize: 1236364 KiB
Current children cumulated memory: 1174676 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.09 6/271 50829
/proc/meminfo: memFree=125761144/131249996 swapFree=33006296/33010684
[pid=50634] ppid=50618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/50634/stat : 50634 (run-opt.sh) S 50618 50634 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94226645635072 94226646529605 140736825464896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94226646768656 94226646816400 94226649776128 140736825473389 140736825473512 140736825473512 140736825479114 0
/proc/50634/statm: 1048 768 704 219 0 110 0
[pid=50639] ppid=50634 vsize=1383508 memory=1204472 CPUtime=3453.5 cores=5,7
/proc/50639/stat : 50639 (roundingsat) R 50634 50634 50566 0 -1 4194304 201921 0 0 0 344586 764 0 0 20 0 1 0 50499146 1416712192 301118 18446744073709551615 4227072 8923433 140726344972304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13062144 140726344980898 140726344981032 140726344981032 140726344986602 0
/proc/50639/statm: 345877 301118 2336 1147 0 333304 0
Current children cumulated CPU time: 3453.5 s
Current children cumulated vsize: 1387700 KiB
Current children cumulated memory: 1207544 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.08 4.09 6/270 50831
/proc/meminfo: memFree=125753012/131249996 swapFree=33006296/33010684
[pid=50634] ppid=50618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/50634/stat : 50634 (run-opt.sh) S 50618 50634 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94226645635072 94226646529605 140736825464896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94226646768656 94226646816400 94226649776128 140736825473389 140736825473512 140736825473512 140736825479114 0
/proc/50634/statm: 1048 768 704 219 0 110 0
[pid=50639] ppid=50634 vsize=1383508 memory=1204472 CPUtime=3513.35 cores=5,7
/proc/50639/stat : 50639 (roundingsat) R 50634 50634 50566 0 -1 4194304 201942 0 0 0 350564 771 0 0 20 0 1 0 50499146 1416712192 301118 18446744073709551615 4227072 8923433 140726344972304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13062144 140726344980898 140726344981032 140726344981032 140726344986602 0
/proc/50639/statm: 345877 301118 2336 1147 0 333304 0
Current children cumulated CPU time: 3513.35 s
Current children cumulated vsize: 1387700 KiB
Current children cumulated memory: 1207544 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.09 4.09 6/269 50834
/proc/meminfo: memFree=125753724/131249996 swapFree=33006296/33010684
[pid=50634] ppid=50618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/50634/stat : 50634 (run-opt.sh) S 50618 50634 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94226645635072 94226646529605 140736825464896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94226646768656 94226646816400 94226649776128 140736825473389 140736825473512 140736825473512 140736825479114 0
/proc/50634/statm: 1048 768 704 219 0 110 0
[pid=50639] ppid=50634 vsize=1384136 memory=1204856 CPUtime=3573.2 cores=5,7
/proc/50639/stat : 50639 (roundingsat) R 50634 50634 50566 0 -1 4194304 202046 0 0 0 356541 779 0 0 20 0 1 0 50499146 1417355264 301214 18446744073709551615 4227072 8923433 140726344972304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13062144 140726344980898 140726344981032 140726344981032 140726344986602 0
/proc/50639/statm: 346034 301214 2336 1147 0 333461 0
Current children cumulated CPU time: 3573.2 s
Current children cumulated vsize: 1388328 KiB
Current children cumulated memory: 1207928 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.2 s]
/proc/loadavg: 4.08 4.09 4.09 6/268 50835
/proc/meminfo: memFree=125753156/131249996 swapFree=33006296/33010684
[pid=50634] ppid=50618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/50634/stat : 50634 (run-opt.sh) S 50618 50634 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50499145 4292608 768 18446744073709551615 94226645635072 94226646529605 140736825464896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94226646768656 94226646816400 94226649776128 140736825473389 140736825473512 140736825473512 140736825479114 0
/proc/50634/statm: 1048 768 704 219 0 110 0
[pid=50639] ppid=50634 vsize=1384136 memory=1204856 CPUtime=3600.04 cores=5,7
/proc/50639/stat : 50639 (roundingsat) R 50634 50634 50566 0 -1 4194304 202046 0 0 0 359221 783 0 0 20 0 1 0 50499146 1417355264 301214 18446744073709551615 4227072 8923433 140726344972304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13062144 140726344980898 140726344981032 140726344981032 140726344986602 0
/proc/50639/statm: 346034 301214 2336 1147 0 333461 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1388328 KiB
Current children cumulated memory: 1207928 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=0 s, system=0.002765 s
Sleeping 2 seconds

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

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

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

Child status: 2

Real time (s): 3609.21
CPU time (s): 3600.06
CPU user time (s): 3592.21
CPU system time (s): 7.84557
CPU usage (%): 99.7465
Max. virtual memory (cumulated for all children) (KiB): 1388328
Max. memory (cumulated for all children) (KiB): 1207928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.21
system time used= 7.84557
maximum resident set size= 1205368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202328
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= 333
involuntary context switches= 2254


# summary of solver processes directly reported to runsolver:
#   pid: 50634,50639
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3592.21
#   total CPU system time (s): 7.84557

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.67937 second user time and 17.7527 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2025-07-01 07:36:57
IDJOB=4488908
IDBENCH=147534
IDSOLVER=3350
FILE ID=nodeC015/4488908-1751348216
RUNJOBID= nodeC015-1751348216-50579
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_11.opb.PB06.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4488908-1751348216/watcher-4488908-1751348216 -o /tmp/evaluation-result-4488908-1751348216/solver-4488908-1751348216 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751348216-50579 --watchdog 3760  run-opt.sh HOME/instance-4488908-1751348216.opb

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

MD5SUM BENCH= 40839a009ce460ae7be0fe2be6267e36
RANDOM SEED=2093586924

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		: 1569.699
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		: 3601.355
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		: 1806.313
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.193
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		: 3597.352
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		: 3600.475
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		: 1483.440
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.039
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:        130189120 kB
MemAvailable:   129820936 kB
Buffers:            1508 kB
Cached:           378996 kB
SwapCached:         3876 kB
Active:           315520 kB
Inactive:         144944 kB
Active(anon):      45020 kB
Inactive(anon):    49084 kB
Active(file):     270500 kB
Inactive(file):    95860 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33006296 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             28832 kB
Writeback:             4 kB
AnonPages:         79464 kB
Mapped:            98620 kB
Shmem:             14144 kB
KReclaimable:     132628 kB
Slab:             223072 kB
SReclaimable:     132628 kB
SUnreclaim:        90444 kB
KernelStack:        4088 kB
PageTables:         2432 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     341180 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150456 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 08:37:06