Trace number 4506412

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.83 3609.62

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb10-0.20-12.opb
MD5SUM0c5a5feecc6e9ebbd7fc1e1b28678077
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 benchmark54713
Best CPU time to get the best result obtained on this benchmark35.568
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables214302
Total number of constraints3483525
Number of constraints which are clauses3483525
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 constraint1
Maximum length of a constraint579
Number of terms in the objective function 18980
Biggest coefficient in the objective function 581
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 10690980
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 581
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 10690980
Number of bits of the biggest sum of numbers24
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.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
5.57/5.66	c #variables 214302 #constraints 1368957
5.57/5.66	c objective is ce32 
5.67/5.73	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
5.67/5.73	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
5.67/5.73	c GLOBAL bounds - >= 0 @ 4.7997
5.86/5.94	c GLOBAL bounds - >= 0 @ 4.87054
5.86/5.95	c GLOBAL bounds - >= 6 @ 4.87247
5.86/5.96	c GLOBAL bounds - >= 6 @ 4.88176
6.07/6.17	c GLOBAL bounds - >= 6 @ 4.96112
6.07/6.17	c GLOBAL bounds - >= 6 @ 4.96425
6.26/6.38	c GLOBAL bounds - >= 6 @ 5.03948
6.26/6.38	c GLOBAL bounds - >= 6 @ 5.04183
6.46/6.58	c GLOBAL bounds - >= 6 @ 5.11745
6.46/6.59	c GLOBAL bounds - >= 6 @ 5.12085
6.66/6.79	c GLOBAL bounds - >= 6 @ 5.20245
6.76/6.80	c GLOBAL bounds - >= 6 @ 5.20738
6.96/7.00	c GLOBAL bounds - >= 6 @ 5.28171
6.96/7.01	c GLOBAL bounds - >= 6 @ 5.28553
7.16/7.21	c GLOBAL bounds - >= 6 @ 5.36391
7.16/7.22	c GLOBAL bounds - >= 6 @ 5.36748
7.36/7.43	c GLOBAL bounds - >= 6 @ 5.42885
7.36/7.44	c GLOBAL bounds - >= 6 @ 5.4338
7.56/7.64	c GLOBAL bounds - >= 6 @ 5.51296
7.56/7.65	c GLOBAL bounds - >= 6 @ 5.52061
7.76/7.85	c GLOBAL bounds - >= 6 @ 5.59197
7.76/7.86	c GLOBAL bounds - >= 6 @ 5.59735
7.96/8.07	c GLOBAL bounds - >= 6 @ 5.66331
8.16/8.28	c GLOBAL bounds - >= 6 @ 5.73495
8.36/8.48	c GLOBAL bounds - >= 6 @ 5.80944
8.56/8.69	c GLOBAL bounds - >= 6 @ 5.89995
8.66/8.73	c GLOBAL bounds - >= 4073 @ 5.92785
8.66/8.75	c GLOBAL bounds - >= 4073 @ 5.94786
8.66/8.76	c GLOBAL bounds - >= 4073 @ 5.95013
8.86/8.98	c GLOBAL bounds - >= 4073 @ 6.02988
8.86/8.99	c GLOBAL bounds - >= 4073 @ 6.03527
9.06/9.19	c GLOBAL bounds - >= 4073 @ 6.1167
9.15/9.21	c GLOBAL bounds - >= 4073 @ 6.12367
9.36/9.42	c GLOBAL bounds - >= 4073 @ 6.21247
9.36/9.43	c GLOBAL bounds - >= 4073 @ 6.22044
9.56/9.64	c GLOBAL bounds - >= 4073 @ 6.29483
9.56/9.66	c GLOBAL bounds - >= 4073 @ 6.30674
9.76/9.87	c GLOBAL bounds - >= 4073 @ 6.39221
9.76/9.88	c GLOBAL bounds - >= 4073 @ 6.40025
9.96/10.09	c GLOBAL bounds - >= 4073 @ 6.47493
10.07/10.11	c GLOBAL bounds - >= 4073 @ 6.48604
10.25/10.32	c GLOBAL bounds - >= 4073 @ 6.55425
10.25/10.33	c GLOBAL bounds - >= 4073 @ 6.56399
10.45/10.54	c GLOBAL bounds - >= 4073 @ 6.6406
10.45/10.56	c GLOBAL bounds - >= 4073 @ 6.64654
10.65/10.77	c GLOBAL bounds - >= 4073 @ 6.72559
10.65/10.79	c GLOBAL bounds - >= 4073 @ 6.73273
10.85/11.00	c GLOBAL bounds - >= 4073 @ 6.80424
11.15/11.26	c GLOBAL bounds - >= 4073 @ 6.92193
11.45/11.51	c GLOBAL bounds - >= 4073 @ 7.04222
11.65/11.78	c GLOBAL bounds - >= 4073 @ 7.17685
11.96/12.03	c GLOBAL bounds - >= 4073 @ 7.29385
11.96/12.08	c GLOBAL bounds - >= 8721 @ 7.3451
12.06/12.12	c GLOBAL bounds - >= 8721 @ 7.37823
12.25/12.35	c GLOBAL bounds - >= 8721 @ 7.47498
12.25/12.37	c GLOBAL bounds - >= 8721 @ 7.48382
12.45/12.57	c GLOBAL bounds - >= 8721 @ 7.56001
12.45/12.59	c GLOBAL bounds - >= 8721 @ 7.56823
12.75/12.80	c GLOBAL bounds - >= 8721 @ 7.63677
12.75/12.82	c GLOBAL bounds - >= 8721 @ 7.64547
12.96/13.03	c GLOBAL bounds - >= 8721 @ 7.71872
12.96/13.04	c GLOBAL bounds - >= 8721 @ 7.72467
13.15/13.25	c GLOBAL bounds - >= 8721 @ 7.80722
13.15/13.27	c GLOBAL bounds - >= 8721 @ 7.81349
13.35/13.48	c GLOBAL bounds - >= 8721 @ 7.90108
13.45/13.50	c GLOBAL bounds - >= 8721 @ 7.91056
13.65/13.71	c GLOBAL bounds - >= 8721 @ 7.99014
13.65/13.73	c GLOBAL bounds - >= 8721 @ 7.99781
13.85/13.94	c GLOBAL bounds - >= 8721 @ 8.07569
13.85/13.96	c GLOBAL bounds - >= 8721 @ 8.08552
14.05/14.17	c GLOBAL bounds - >= 8721 @ 8.15094
14.05/14.18	c GLOBAL bounds - >= 8721 @ 8.15815
14.25/14.40	c GLOBAL bounds - >= 8721 @ 8.23296
14.55/14.64	c GLOBAL bounds - >= 8721 @ 8.33231
14.85/14.93	c GLOBAL bounds - >= 8721 @ 8.45297
15.05/15.18	c GLOBAL bounds - >= 8721 @ 8.5778
15.35/15.48	c GLOBAL bounds - >= 8721 @ 8.73899
15.65/15.73	c GLOBAL bounds - >= 8721 @ 8.85722
15.74/15.82	c GLOBAL bounds - >= 11046 @ 8.93403
15.74/15.86	c GLOBAL bounds - >= 11046 @ 8.95891
15.74/15.87	c GLOBAL bounds - >= 11046 @ 8.96573
15.74/15.89	c GLOBAL bounds - >= 11046 @ 8.97312
15.84/15.90	c GLOBAL bounds - >= 11046 @ 8.97873
16.05/16.11	c GLOBAL bounds - >= 11046 @ 9.05815
16.05/16.13	c GLOBAL bounds - >= 11046 @ 9.06895
16.24/16.35	c GLOBAL bounds - >= 11046 @ 9.15163
16.24/16.37	c GLOBAL bounds - >= 11046 @ 9.16037
16.45/16.58	c GLOBAL bounds - >= 11046 @ 9.2527
16.55/16.60	c GLOBAL bounds - >= 11046 @ 9.2604
16.74/16.81	c GLOBAL bounds - >= 11046 @ 9.33798
16.74/16.83	c GLOBAL bounds - >= 11046 @ 9.34874
16.95/17.04	c GLOBAL bounds - >= 11046 @ 9.42775
16.95/17.06	c GLOBAL bounds - >= 11046 @ 9.43895
17.15/17.27	c GLOBAL bounds - >= 11046 @ 9.51799
17.15/17.29	c GLOBAL bounds - >= 11046 @ 9.52524
17.45/17.50	c GLOBAL bounds - >= 11046 @ 9.60686
17.45/17.52	c GLOBAL bounds - >= 11046 @ 9.6168
17.64/17.73	c GLOBAL bounds - >= 11046 @ 9.70119
17.64/17.75	c GLOBAL bounds - >= 11046 @ 9.71565
17.84/17.96	c GLOBAL bounds - >= 11046 @ 9.80134
17.84/17.99	c GLOBAL bounds - >= 11046 @ 9.81249
18.14/18.20	c GLOBAL bounds - >= 11046 @ 9.89251
18.34/18.47	c GLOBAL bounds - >= 11046 @ 10.0235
18.74/18.81	c GLOBAL bounds - >= 11046 @ 10.2007
18.94/19.10	c GLOBAL bounds - >= 11046 @ 10.3642
19.13/19.29	c GLOBAL bounds - >= 15114 @ 10.5465
19.24/19.34	c GLOBAL bounds - >= 15114 @ 10.5895
19.24/19.36	c GLOBAL bounds - >= 15114 @ 10.5988
19.44/19.57	c GLOBAL bounds - >= 15114 @ 10.6709
19.44/19.58	c GLOBAL bounds - >= 15114 @ 10.6829
19.64/19.79	c GLOBAL bounds - >= 15114 @ 10.7513
19.74/19.81	c GLOBAL bounds - >= 15114 @ 10.7637
19.94/20.02	c GLOBAL bounds - >= 15114 @ 10.8241
19.94/20.04	c GLOBAL bounds - >= 15114 @ 10.8325
20.14/20.26	c GLOBAL bounds - >= 15114 @ 10.9128
20.14/20.28	c GLOBAL bounds - >= 15114 @ 10.9241
20.34/20.49	c GLOBAL bounds - >= 15114 @ 10.9994
20.44/20.51	c GLOBAL bounds - >= 15114 @ 11.0039
20.63/20.72	c GLOBAL bounds - >= 15114 @ 11.0661
20.63/20.74	c GLOBAL bounds - >= 15114 @ 11.0728
20.84/20.95	c GLOBAL bounds - >= 15114 @ 11.1572
20.84/20.97	c GLOBAL bounds - >= 15114 @ 11.1671
21.04/21.18	c GLOBAL bounds - >= 15114 @ 11.2371
21.14/21.21	c GLOBAL bounds - >= 15114 @ 11.2507
21.34/21.42	c GLOBAL bounds - >= 15114 @ 11.3426
21.34/21.44	c GLOBAL bounds - >= 15114 @ 11.3541
21.54/21.65	c GLOBAL bounds - >= 15114 @ 11.4193
21.84/21.93	c GLOBAL bounds - >= 15114 @ 11.5463
22.13/22.25	c GLOBAL bounds - >= 15114 @ 11.7289
22.43/22.55	c GLOBAL bounds - >= 15114 @ 11.8883
22.74/22.84	c GLOBAL bounds - >= 15114 @ 12.0384
23.04/23.13	c GLOBAL bounds - >= 15114 @ 12.2031
23.33/23.44	c GLOBAL bounds - >= 15114 @ 12.3793
23.73/23.81	c GLOBAL bounds - >= 15114 @ 12.5522
23.93/24.02	c GLOBAL bounds - >= 17438 @ 12.7498
23.93/24.06	c GLOBAL bounds - >= 17438 @ 12.781
23.93/24.08	c GLOBAL bounds - >= 17438 @ 12.7934
23.93/24.10	c GLOBAL bounds - >= 17438 @ 12.8057
24.23/24.30	c GLOBAL bounds - >= 17438 @ 12.8816
24.23/24.33	c GLOBAL bounds - >= 17438 @ 12.8883
24.43/24.53	c GLOBAL bounds - >= 17438 @ 12.9685
24.43/24.56	c GLOBAL bounds - >= 17438 @ 12.976
24.63/24.77	c GLOBAL bounds - >= 17438 @ 13.0456
24.63/24.79	c GLOBAL bounds - >= 17438 @ 13.057
24.93/25.00	c GLOBAL bounds - >= 17438 @ 13.1401
24.93/25.03	c GLOBAL bounds - >= 17438 @ 13.1519
25.13/25.24	c GLOBAL bounds - >= 17438 @ 13.2283
25.13/25.26	c GLOBAL bounds - >= 17438 @ 13.241
25.33/25.47	c GLOBAL bounds - >= 17438 @ 13.3197
25.33/25.49	c GLOBAL bounds - >= 17438 @ 13.3288
25.63/25.71	c GLOBAL bounds - >= 17438 @ 13.4049
25.63/25.72	c GLOBAL bounds - >= 17438 @ 13.414
25.83/25.93	c GLOBAL bounds - >= 17438 @ 13.4835
25.83/25.95	c GLOBAL bounds - >= 17438 @ 13.4937
26.04/26.16	c GLOBAL bounds - >= 17438 @ 13.5697
26.04/26.19	c GLOBAL bounds - >= 17438 @ 13.582
26.32/26.40	c GLOBAL bounds - >= 17438 @ 13.66
26.52/26.61	c GLOBAL bounds - >= 17438 @ 13.7458
26.73/26.84	c GLOBAL bounds - >= 17438 @ 13.835
27.12/27.20	c GLOBAL bounds - >= 17438 @ 14.0475
27.33/27.49	c GLOBAL bounds - >= 17438 @ 14.2064
27.73/27.89	c GLOBAL bounds - >= 17438 @ 14.4646
28.13/28.29	c GLOBAL bounds - >= 17438 @ 14.7208
28.52/28.69	c GLOBAL bounds - >= 17438 @ 14.9843
28.72/28.82	c GLOBAL bounds - >= 20343 @ 15.1103
28.72/28.88	c GLOBAL bounds - >= 20343 @ 15.161
28.83/28.90	c GLOBAL bounds - >= 20343 @ 15.1733
29.03/29.11	c GLOBAL bounds - >= 20343 @ 15.2378
29.03/29.12	c GLOBAL bounds - >= 20343 @ 15.2429
29.22/29.33	c GLOBAL bounds - >= 20343 @ 15.3274
29.22/29.34	c GLOBAL bounds - >= 20343 @ 15.3308
29.42/29.54	c GLOBAL bounds - >= 20343 @ 15.4114
29.42/29.57	c GLOBAL bounds - >= 20343 @ 15.4215
29.62/29.78	c GLOBAL bounds - >= 20343 @ 15.4973
29.72/29.80	c GLOBAL bounds - >= 20343 @ 15.5064
29.92/30.01	c GLOBAL bounds - >= 20343 @ 15.5954
29.92/30.03	c GLOBAL bounds - >= 20343 @ 15.6038
30.12/30.24	c GLOBAL bounds - >= 20343 @ 15.6812
30.12/30.27	c GLOBAL bounds - >= 20343 @ 15.6885
30.32/30.48	c GLOBAL bounds - >= 20343 @ 15.776
30.32/30.49	c GLOBAL bounds - >= 20343 @ 15.7796
30.62/30.70	c GLOBAL bounds - >= 20343 @ 15.8555
30.62/30.71	c GLOBAL bounds - >= 20343 @ 15.8617
30.82/30.92	c GLOBAL bounds - >= 20343 @ 15.9406
30.82/30.95	c GLOBAL bounds - >= 20343 @ 15.9509
31.03/31.16	c GLOBAL bounds - >= 20343 @ 16.0309
31.22/31.37	c GLOBAL bounds - >= 20343 @ 16.1033
31.42/31.57	c GLOBAL bounds - >= 20343 @ 16.179
31.82/32.00	c GLOBAL bounds - >= 20343 @ 16.4629
32.32/32.43	c GLOBAL bounds - >= 20343 @ 16.7554
32.81/32.98	c GLOBAL bounds - >= 20343 @ 17.1082
33.31/33.41	c #Conflicts:       1000 | #Constraints:       1256
33.31/33.41	c GLOBAL bounds - >= 20343 @ 17.3937
33.71/33.83	c GLOBAL bounds - >= 20343 @ 17.6804
34.02/34.16	c GLOBAL bounds - >= 20343 @ 17.8947
34.22/34.38	c GLOBAL bounds - >= 20343 @ 18.0057
34.71/34.80	c GLOBAL bounds - >= 20343 @ 18.2991
34.71/34.84	c GLOBAL bounds - >= 21505 @ 18.3375
34.71/34.89	c GLOBAL bounds - >= 21505 @ 18.3784
34.81/34.90	c GLOBAL bounds - >= 21505 @ 18.3844
35.01/35.11	c GLOBAL bounds - >= 21505 @ 18.4604
35.01/35.13	c GLOBAL bounds - >= 21505 @ 18.4742
35.21/35.34	c GLOBAL bounds - >= 21505 @ 18.5678
35.21/35.35	c GLOBAL bounds - >= 21505 @ 18.5701
35.41/35.56	c GLOBAL bounds - >= 21505 @ 18.6382
35.41/35.58	c GLOBAL bounds - >= 21505 @ 18.6488
35.61/35.79	c GLOBAL bounds - >= 21505 @ 18.7215
35.71/35.81	c GLOBAL bounds - >= 21505 @ 18.7319
35.91/36.02	c GLOBAL bounds - >= 21505 @ 18.8083
35.91/36.05	c GLOBAL bounds - >= 21505 @ 18.8227
36.10/36.26	c GLOBAL bounds - >= 21505 @ 18.9056
36.10/36.29	c GLOBAL bounds - >= 21505 @ 18.9214
36.41/36.50	c GLOBAL bounds - >= 21505 @ 18.9993
36.41/36.52	c GLOBAL bounds - >= 21505 @ 19.0071
36.61/36.73	c GLOBAL bounds - >= 21505 @ 19.0816
36.61/36.76	c GLOBAL bounds - >= 21505 @ 19.0972
36.81/36.97	c GLOBAL bounds - >= 21505 @ 19.1758
36.81/37.00	c GLOBAL bounds - >= 21505 @ 19.1874
37.10/37.21	c GLOBAL bounds - >= 21505 @ 19.2775
37.31/37.42	c GLOBAL bounds - >= 21505 @ 19.3366
37.50/37.63	c GLOBAL bounds - >= 21505 @ 19.4096
37.71/37.87	c GLOBAL bounds - >= 21505 @ 19.5142
38.01/38.14	c GLOBAL bounds - >= 21505 @ 19.647
38.20/38.35	c GLOBAL bounds - >= 21505 @ 19.724
39.31/39.43	c GLOBAL bounds - >= 21505 @ 20.6105
39.51/39.65	c GLOBAL bounds - >= 21505 @ 20.6855
39.70/39.87	c GLOBAL bounds - >= 21505 @ 20.7736
39.90/40.08	c GLOBAL bounds - >= 21505 @ 20.8566
40.10/40.29	c GLOBAL bounds - >= 21505 @ 20.9398
40.40/40.50	c GLOBAL bounds - >= 21505 @ 21.0058
40.40/40.54	c GLOBAL bounds - >= 22086 @ 21.0419
40.40/40.58	c GLOBAL bounds - >= 22086 @ 21.0668
40.50/40.60	c GLOBAL bounds - >= 22086 @ 21.0765
40.50/40.62	c GLOBAL bounds - >= 22086 @ 21.0865
40.70/40.83	c GLOBAL bounds - >= 22086 @ 21.1584
40.70/40.85	c GLOBAL bounds - >= 22086 @ 21.1646
40.90/41.06	c GLOBAL bounds - >= 22086 @ 21.2396
40.90/41.08	c GLOBAL bounds - >= 22086 @ 21.2492
41.10/41.28	c GLOBAL bounds - >= 22086 @ 21.3273
41.20/41.30	c GLOBAL bounds - >= 22086 @ 21.3365
41.40/41.51	c GLOBAL bounds - >= 22086 @ 21.419
41.40/41.53	c GLOBAL bounds - >= 22086 @ 21.4279
41.59/41.74	c GLOBAL bounds - >= 22086 @ 21.4964
41.59/41.76	c GLOBAL bounds - >= 22086 @ 21.5059
41.80/41.99	c GLOBAL bounds - >= 22086 @ 21.6017
41.90/42.02	c GLOBAL bounds - >= 22086 @ 21.6147
42.09/42.23	c GLOBAL bounds - >= 22086 @ 21.7011
42.09/42.25	c GLOBAL bounds - >= 22086 @ 21.7134
42.30/42.46	c GLOBAL bounds - >= 22086 @ 21.7706
42.30/42.49	c GLOBAL bounds - >= 22086 @ 21.7799
42.60/42.70	c GLOBAL bounds - >= 22086 @ 21.8563
42.60/42.72	c GLOBAL bounds - >= 22086 @ 21.872
42.80/42.94	c GLOBAL bounds - >= 22086 @ 21.9568
43.00/43.15	c GLOBAL bounds - >= 22086 @ 22.0383
43.19/43.36	c GLOBAL bounds - >= 22086 @ 22.099
43.49/43.64	c GLOBAL bounds - >= 22086 @ 22.2207
43.70/43.86	c GLOBAL bounds - >= 22086 @ 22.2966
44.00/44.13	c GLOBAL bounds - >= 22086 @ 22.4422
44.29/44.40	c GLOBAL bounds - >= 22086 @ 22.5703
44.50/44.67	c GLOBAL bounds - >= 22086 @ 22.6977
44.79/45.00	c GLOBAL bounds - >= 22086 @ 22.9002
44.90/45.04	c GLOBAL bounds - >= 22667 @ 22.9283
44.90/45.07	c GLOBAL bounds - >= 22667 @ 22.9431
44.90/45.09	c GLOBAL bounds - >= 22667 @ 22.9503
45.00/45.12	c GLOBAL bounds - >= 22667 @ 22.9624
45.00/45.14	c GLOBAL bounds - >= 22667 @ 22.9761
45.00/45.16	c GLOBAL bounds - >= 22667 @ 22.988
45.00/45.18	c GLOBAL bounds - >= 22667 @ 22.9956
45.09/45.21	c GLOBAL bounds - >= 22667 @ 23.0052
45.29/45.41	c GLOBAL bounds - >= 22667 @ 23.0817
45.29/45.44	c GLOBAL bounds - >= 22667 @ 23.0948
45.49/45.68	c GLOBAL bounds - >= 22667 @ 23.1979
45.59/45.70	c GLOBAL bounds - >= 22667 @ 23.2134
45.79/45.92	c GLOBAL bounds - >= 22667 @ 23.2881
45.79/45.94	c GLOBAL bounds - >= 22667 @ 23.2994
46.00/46.15	c GLOBAL bounds - >= 22667 @ 23.3693
46.00/46.18	c GLOBAL bounds - >= 22667 @ 23.3812
46.19/46.39	c GLOBAL bounds - >= 22667 @ 23.4652
46.29/46.41	c GLOBAL bounds - >= 22667 @ 23.4764
46.48/46.63	c GLOBAL bounds - >= 22667 @ 23.5514
46.48/46.65	c GLOBAL bounds - >= 22667 @ 23.5651
46.69/46.86	c GLOBAL bounds - >= 22667 @ 23.6352
46.69/46.88	c GLOBAL bounds - >= 22667 @ 23.6488
46.90/47.10	c GLOBAL bounds - >= 22667 @ 23.7238
46.99/47.14	c GLOBAL bounds - >= 22667 @ 23.741
47.18/47.35	c GLOBAL bounds - >= 22667 @ 23.8181
47.18/47.39	c GLOBAL bounds - >= 22667 @ 23.8327
47.49/47.60	c GLOBAL bounds - >= 22667 @ 23.911
47.69/47.81	c GLOBAL bounds - >= 22667 @ 23.9942
47.89/48.02	c GLOBAL bounds - >= 22667 @ 24.0665
48.09/48.23	c GLOBAL bounds - >= 22667 @ 24.146
48.29/48.45	c GLOBAL bounds - >= 22667 @ 24.2208
48.48/48.66	c GLOBAL bounds - >= 22667 @ 24.3027
48.68/48.87	c GLOBAL bounds - >= 22667 @ 24.3637
48.89/49.09	c GLOBAL bounds - >= 22667 @ 24.4576
49.19/49.31	c GLOBAL bounds - >= 22667 @ 24.538
49.49/49.68	c GLOBAL bounds - >= 22667 @ 24.7638
49.79/49.90	c GLOBAL bounds - >= 22667 @ 24.8557
50.08/50.23	c GLOBAL bounds - >= 22667 @ 25.0452
50.29/50.45	c GLOBAL bounds - >= 22667 @ 25.1173
50.29/50.45	c GLOBAL bounds - >= 22667 @ 25.1179
50.29/50.48	c GLOBAL bounds - >= 22667 @ 25.1318
50.39/50.50	c GLOBAL bounds - >= 22667 @ 25.1443
50.39/50.52	c GLOBAL bounds - >= 22667 @ 25.156
50.68/50.80	c GLOBAL bounds - >= 22667 @ 25.2958
50.68/50.82	c GLOBAL bounds - >= 22667 @ 25.3106
50.89/51.03	c GLOBAL bounds - >= 22667 @ 25.3926
50.89/51.05	c GLOBAL bounds - >= 22667 @ 25.4004
51.08/51.26	c GLOBAL bounds - >= 22667 @ 25.4765
51.08/51.29	c GLOBAL bounds - >= 22667 @ 25.4891
51.38/51.50	c GLOBAL bounds - >= 22667 @ 25.5781
51.38/51.52	c GLOBAL bounds - >= 22667 @ 25.5917
51.58/51.73	c GLOBAL bounds - >= 22667 @ 25.6562
51.58/51.76	c GLOBAL bounds - >= 22667 @ 25.6659
51.78/51.97	c GLOBAL bounds - >= 22667 @ 25.7443
51.78/52.00	c GLOBAL bounds - >= 22667 @ 25.7579
52.08/52.21	c GLOBAL bounds - >= 22667 @ 25.8307
52.08/52.23	c GLOBAL bounds - >= 22667 @ 25.8401
52.28/52.45	c GLOBAL bounds - >= 22667 @ 25.9248
52.28/52.47	c GLOBAL bounds - >= 22667 @ 25.9346
52.48/52.68	c GLOBAL bounds - >= 22667 @ 26.0269
52.58/52.71	c GLOBAL bounds - >= 22667 @ 26.0396
52.78/52.92	c GLOBAL bounds - >= 22667 @ 26.1254
52.98/53.13	c GLOBAL bounds - >= 22667 @ 26.1999
53.18/53.34	c GLOBAL bounds - >= 22667 @ 26.2886
53.37/53.55	c GLOBAL bounds - >= 22667 @ 26.3604
53.57/53.76	c GLOBAL bounds - >= 22667 @ 26.4319
53.77/53.96	c GLOBAL bounds - >= 22667 @ 26.52
53.98/54.17	c GLOBAL bounds - >= 22667 @ 26.5976
54.17/54.39	c GLOBAL bounds - >= 22667 @ 26.6747
54.48/54.69	c GLOBAL bounds - >= 22667 @ 26.8319
54.88/55.03	c GLOBAL bounds - >= 22667 @ 27.0199
55.07/55.24	c GLOBAL bounds - >= 22667 @ 27.0888
55.47/55.66	c GLOBAL bounds - >= 22667 @ 27.3805
55.67/55.88	c GLOBAL bounds - >= 22667 @ 27.4794
56.07/56.20	c GLOBAL bounds - >= 22667 @ 27.6761
56.27/56.43	c GLOBAL bounds - >= 22667 @ 27.7827
56.67/56.86	c GLOBAL bounds - >= 23249 @ 28.2094
56.77/56.90	c GLOBAL bounds - >= 23249 @ 28.2353
56.77/56.92	c GLOBAL bounds - >= 23249 @ 28.2493
56.77/56.94	c GLOBAL bounds - >= 23249 @ 28.2597
56.77/56.96	c GLOBAL bounds - >= 23249 @ 28.2695
56.98/57.18	c GLOBAL bounds - >= 23249 @ 28.3412
57.07/57.20	c GLOBAL bounds - >= 23249 @ 28.3495
57.26/57.42	c GLOBAL bounds - >= 23249 @ 28.4337
57.26/57.44	c GLOBAL bounds - >= 23249 @ 28.4413
57.47/57.65	c GLOBAL bounds - >= 23249 @ 28.5185
57.47/57.68	c GLOBAL bounds - >= 23249 @ 28.5339
57.67/57.89	c GLOBAL bounds - >= 23249 @ 28.6121
57.77/57.91	c GLOBAL bounds - >= 23249 @ 28.6228
57.97/58.12	c GLOBAL bounds - >= 23249 @ 28.7026
57.97/58.14	c GLOBAL bounds - >= 23249 @ 28.714
58.17/58.35	c GLOBAL bounds - >= 23249 @ 28.7911
58.17/58.37	c GLOBAL bounds - >= 23249 @ 28.8037
58.37/58.58	c GLOBAL bounds - >= 23249 @ 28.8804
58.47/58.61	c GLOBAL bounds - >= 23249 @ 28.8915
58.67/58.81	c GLOBAL bounds - >= 23249 @ 28.9901
58.67/58.84	c GLOBAL bounds - >= 23249 @ 28.9993
58.88/59.05	c GLOBAL bounds - >= 23249 @ 29.0823
58.88/59.07	c GLOBAL bounds - >= 23249 @ 29.0967
59.06/59.29	c GLOBAL bounds - >= 23249 @ 29.1743
59.36/59.50	c GLOBAL bounds - >= 23249 @ 29.2503
59.57/59.71	c GLOBAL bounds - >= 23249 @ 29.3198
59.77/59.92	c GLOBAL bounds - >= 23249 @ 29.3925
59.97/60.13	c GLOBAL bounds - >= 23249 @ 29.4698
60.16/60.34	c GLOBAL bounds - >= 23249 @ 29.5443
60.37/60.59	c GLOBAL bounds - >= 23249 @ 29.6527
60.76/60.90	c GLOBAL bounds - >= 23249 @ 29.8371
62.56/62.70	c #Conflicts:       2000 | #Constraints:       2410
62.56/62.70	c INPROCESSING
62.56/62.70	c GARBAGE COLLECT
62.56/62.70	c GLOBAL bounds - >= 23249 @ 31.3502
62.86/63.10	c GLOBAL bounds - >= 23249 @ 31.6012
64.15/64.32	c GLOBAL bounds - >= 23249 @ 32.6779
65.36/65.56	c GLOBAL bounds - >= 23249 @ 33.7732
70.04/70.24	c #Conflicts:       3000 | #Constraints:       2374
70.04/70.24	c GLOBAL bounds - >= 23249 @ 38.2279
71.74/71.99	c #Conflicts:       4000 | #Constraints:       3377
71.74/71.99	c GLOBAL bounds - >= 23249 @ 39.8064
437.77/438.86	c INPROCESSING
437.77/438.86	c GARBAGE COLLECT
437.77/438.86	c #Conflicts:       5000 | #Constraints:       2799
437.77/438.86	c #Conflicts:       6000 | #Constraints:       3799
437.77/438.86	c INPROCESSING
437.77/438.86	c GARBAGE COLLECT
437.77/438.86	c #Conflicts:       7000 | #Constraints:       2814
437.77/438.86	c #Conflicts:       8000 | #Constraints:       3814
437.77/438.86	c #Conflicts:       9000 | #Constraints:       4814
437.77/438.86	c INPROCESSING
437.77/438.86	c GARBAGE COLLECT
437.77/438.86	c #Conflicts:      10000 | #Constraints:       3523
437.77/438.86	c #Conflicts:      11000 | #Constraints:       4523
437.77/438.86	c #Conflicts:      12000 | #Constraints:       5523
437.77/438.86	c INPROCESSING
437.77/438.86	c GARBAGE COLLECT
437.77/438.86	c #Conflicts:      13000 | #Constraints:       3981
437.77/438.86	c #Conflicts:      14000 | #Constraints:       4981
437.77/438.86	c #Conflicts:      15000 | #Constraints:       5981
437.77/438.86	c INPROCESSING
437.77/438.86	c GARBAGE COLLECT
437.77/438.86	c #Conflicts:      16000 | #Constraints:       4219
437.77/438.86	c #Conflicts:      17000 | #Constraints:       5219
437.77/438.86	c #Conflicts:      18000 | #Constraints:       6219
437.77/438.86	c INPROCESSING
437.77/438.86	c GARBAGE COLLECT
437.77/438.86	c #Conflicts:      19000 | #Constraints:       4233
437.77/438.86	c #Conflicts:      20000 | #Constraints:       5233
437.77/438.86	c #Conflicts:      21000 | #Constraints:       6233
437.77/438.86	c INPROCESSING
437.77/438.86	c GARBAGE COLLECT
437.77/438.86	c #Conflicts:      22000 | #Constraints:       4036
437.77/438.86	c #Conflicts:      23000 | #Constraints:       5036
437.77/438.86	c #Conflicts:      24000 | #Constraints:       6036
437.77/438.86	c #Conflicts:      25000 | #Constraints:       7036
437.77/438.86	c INPROCESSING
437.77/438.86	c GARBAGE COLLECT
437.77/438.86	c #Conflicts:      26000 | #Constraints:       4638
437.77/438.86	c #Conflicts:      27000 | #Constraints:       5638
437.77/438.86	c #Conflicts:      28000 | #Constraints:       6638
437.77/438.86	c #Conflicts:      29000 | #Constraints:       7638
437.77/438.86	c INPROCESSING
437.77/438.86	c GARBAGE COLLECT
437.77/438.86	c #Conflicts:      30000 | #Constraints:       5039
437.77/438.86	c #Conflicts:      31000 | #Constraints:       6039
437.77/438.86	c #Conflicts:      32000 | #Constraints:       7039
437.77/438.86	c #Conflicts:      33000 | #Constraints:       8039
437.77/438.86	c INPROCESSING
437.77/438.86	c GARBAGE COLLECT
437.77/438.86	c #Conflicts:      34000 | #Constraints:       5246
437.77/438.86	c #Conflicts:      35000 | #Constraints:       6246
437.77/438.86	c #Conflicts:      36000 | #Constraints:       7246
437.77/438.86	c #Conflicts:      37000 | #Constraints:       8246
437.77/438.86	c INPROCESSING
437.77/438.86	c GARBAGE COLLECT
437.77/438.86	c #Conflicts:      38000 | #Constraints:       5246
437.77/438.86	c #Conflicts:      39000 | #Constraints:       6246
437.77/438.86	c #Conflicts:      40000 | #Constraints:       7246
437.77/438.86	c #Conflicts:      41000 | #Constraints:       8246
437.77/438.86	c INPROCESSING
437.77/438.86	c GARBAGE COLLECT
437.77/438.86	c #Conflicts:      42000 | #Constraints:       5082
437.77/438.86	c #Conflicts:      43000 | #Constraints:       6082
437.77/438.86	c #Conflicts:      44000 | #Constraints:       7082
437.77/438.86	c #Conflicts:      45000 | #Constraints:       8082
437.77/438.86	c #Conflicts:      46000 | #Constraints:       9082
437.77/438.86	c INPROCESSING
437.77/438.86	c GARBAGE COLLECT
437.77/438.86	c #Conflicts:      47000 | #Constraints:       5672
437.77/438.86	c #Conflicts:      48000 | #Constraints:       6672
437.77/438.86	c #Conflicts:      49000 | #Constraints:       7672
437.77/438.86	c #Conflicts:      50000 | #Constraints:       8672
437.77/438.86	c #Conflicts:      51000 | #Constraints:       9672
437.77/438.86	c INPROCESSING
437.77/438.86	c GARBAGE COLLECT
437.77/438.86	c #Conflicts:      52000 | #Constraints:       6067
437.77/438.86	c #Conflicts:      53000 | #Constraints:       7067
437.77/438.86	c #Conflicts:      54000 | #Constraints:       8067
437.77/438.86	c #Conflicts:      55000 | #Constraints:       9067
437.77/438.86	c #Conflicts:      56000 | #Constraints:      10067
437.77/438.86	c INPROCESSING
437.77/438.86	c GARBAGE COLLECT
437.77/438.86	c #Conflicts:      57000 | #Constraints:       6259
437.77/438.86	c #Conflicts:      58000 | #Constraints:       7259
437.77/438.86	c #Conflicts:      59000 | #Constraints:       8259
437.77/438.86	c #Conflicts:      60000 | #Constraints:       9259
437.77/438.86	c #Conflicts:      61000 | #Constraints:      10259
437.77/438.86	c INPROCESSING
437.77/438.86	c GARBAGE COLLECT
437.77/438.86	c #Conflicts:      62000 | #Constraints:       6263
437.77/438.86	c #Conflicts:      63000 | #Constraints:       7263
437.77/438.86	c #Conflicts:      64000 | #Constraints:       8263
437.77/438.86	c #Conflicts:      65000 | #Constraints:       9263
437.77/438.86	c #Conflicts:      66000 | #Constraints:      10263
437.77/438.86	c INPROCESSING
437.77/438.86	c GARBAGE COLLECT
437.77/438.86	c #Conflicts:      67000 | #Constraints:       6054
437.77/438.86	c #Conflicts:      68000 | #Constraints:       7054
437.77/438.86	c #Conflicts:      69000 | #Constraints:       8054
437.77/438.86	c #Conflicts:      70000 | #Constraints:       9054
437.77/438.86	c #Conflicts:      71000 | #Constraints:      10054
437.77/438.86	c #Conflicts:      72000 | #Constraints:      11054
828.93/830.98	c INPROCESSING
828.93/830.98	c GARBAGE COLLECT
828.93/830.98	c #Conflicts:      73000 | #Constraints:       6649
828.93/830.98	c #Conflicts:      74000 | #Constraints:       7649
828.93/830.98	c #Conflicts:      75000 | #Constraints:       8649
828.93/830.98	c #Conflicts:      76000 | #Constraints:       9649
828.93/830.98	c #Conflicts:      77000 | #Constraints:      10649
828.93/830.98	c #Conflicts:      78000 | #Constraints:      11649
828.93/830.98	c INPROCESSING
828.93/830.98	c GARBAGE COLLECT
828.93/830.98	c #Conflicts:      79000 | #Constraints:       7062
828.93/830.98	c #Conflicts:      80000 | #Constraints:       8062
828.93/830.98	c #Conflicts:      81000 | #Constraints:       9062
828.93/830.98	c #Conflicts:      82000 | #Constraints:      10062
828.93/830.98	c #Conflicts:      83000 | #Constraints:      11062
828.93/830.98	c #Conflicts:      84000 | #Constraints:      12062
828.93/830.98	c INPROCESSING
828.93/830.98	c GARBAGE COLLECT
828.93/830.98	c #Conflicts:      85000 | #Constraints:       7271
828.93/830.98	c #Conflicts:      86000 | #Constraints:       8271
828.93/830.98	c #Conflicts:      87000 | #Constraints:       9271
828.93/830.98	c #Conflicts:      88000 | #Constraints:      10271
828.93/830.98	c #Conflicts:      89000 | #Constraints:      11271
828.93/830.98	c #Conflicts:      90000 | #Constraints:      12271
828.93/830.98	c INPROCESSING
828.93/830.98	c GARBAGE COLLECT
828.93/830.98	c #Conflicts:      91000 | #Constraints:       7266
828.93/830.98	c #Conflicts:      92000 | #Constraints:       8266
828.93/830.98	c #Conflicts:      93000 | #Constraints:       9266
828.93/830.98	c #Conflicts:      94000 | #Constraints:      10266
828.93/830.98	c #Conflicts:      95000 | #Constraints:      11266
828.93/830.98	c #Conflicts:      96000 | #Constraints:      12266
828.93/830.98	c INPROCESSING
828.93/830.98	c GARBAGE COLLECT
828.93/830.98	c #Conflicts:      97000 | #Constraints:       7056
828.93/830.98	c #Conflicts:      98000 | #Constraints:       8056
828.93/830.98	c #Conflicts:      99000 | #Constraints:       9056
828.93/830.98	c #Conflicts:     100000 | #Constraints:      10056
828.93/830.98	c #Conflicts:     101000 | #Constraints:      11056
828.93/830.98	c #Conflicts:     102000 | #Constraints:      12056
828.93/830.98	c #Conflicts:     103000 | #Constraints:      13056
828.93/830.98	c INPROCESSING
828.93/830.98	c GARBAGE COLLECT
828.93/830.98	c #Conflicts:     104000 | #Constraints:       7678
828.93/830.98	c #Conflicts:     105000 | #Constraints:       8678
828.93/830.98	c #Conflicts:     106000 | #Constraints:       9678
828.93/830.98	c #Conflicts:     107000 | #Constraints:      10678
828.93/830.98	c #Conflicts:     108000 | #Constraints:      11678
828.93/830.98	c #Conflicts:     109000 | #Constraints:      12678
828.93/830.98	c #Conflicts:     110000 | #Constraints:      13678
828.93/830.98	c INPROCESSING
828.93/830.98	c GARBAGE COLLECT
828.93/830.98	c #Conflicts:     111000 | #Constraints:       8077
828.93/830.98	c #Conflicts:     112000 | #Constraints:       9077
828.93/830.98	c #Conflicts:     113000 | #Constraints:      10077
828.93/830.98	c #Conflicts:     114000 | #Constraints:      11077
828.93/830.98	c #Conflicts:     115000 | #Constraints:      12077
828.93/830.98	c #Conflicts:     116000 | #Constraints:      13077
828.93/830.98	c #Conflicts:     117000 | #Constraints:      14077
828.93/830.98	c INPROCESSING
828.93/830.98	c GARBAGE COLLECT
828.93/830.98	c #Conflicts:     118000 | #Constraints:       8265
828.93/830.98	c #Conflicts:     119000 | #Constraints:       9265
828.93/830.98	c #Conflicts:     120000 | #Constraints:      10265
828.93/830.98	c #Conflicts:     121000 | #Constraints:      11265
828.93/830.98	c #Conflicts:     122000 | #Constraints:      12265
828.93/830.98	c #Conflicts:     123000 | #Constraints:      13265
828.93/830.98	c #Conflicts:     124000 | #Constraints:      14265
828.93/830.98	c INPROCESSING
828.93/830.98	c GARBAGE COLLECT
828.93/830.98	c #Conflicts:     125000 | #Constraints:       8263
828.93/830.98	c #Conflicts:     126000 | #Constraints:       9263
828.93/830.98	c #Conflicts:     127000 | #Constraints:      10263
828.93/830.98	c #Conflicts:     128000 | #Constraints:      11263
828.93/830.98	c #Conflicts:     129000 | #Constraints:      12263
828.93/830.98	c #Conflicts:     130000 | #Constraints:      13263
828.93/830.98	c #Conflicts:     131000 | #Constraints:      14263
828.93/830.98	c INPROCESSING
828.93/830.98	c GARBAGE COLLECT
828.93/830.98	c #Conflicts:     132000 | #Constraints:       8069
828.93/830.98	c #Conflicts:     133000 | #Constraints:       9069
828.93/830.98	c #Conflicts:     134000 | #Constraints:      10069
828.93/830.98	c #Conflicts:     135000 | #Constraints:      11069
828.93/830.98	c #Conflicts:     136000 | #Constraints:      12069
828.93/830.98	c #Conflicts:     137000 | #Constraints:      13069
828.93/830.98	c #Conflicts:     138000 | #Constraints:      14069
828.93/830.98	c #Conflicts:     139000 | #Constraints:      15069
828.93/830.98	c INPROCESSING
828.93/830.98	c GARBAGE COLLECT
828.93/830.98	c #Conflicts:     140000 | #Constraints:       8667
828.93/830.98	c #Conflicts:     141000 | #Constraints:       9667
828.93/830.98	c #Conflicts:     142000 | #Constraints:      10667
828.93/830.98	c #Conflicts:     143000 | #Constraints:      11667
828.93/830.98	c #Conflicts:     144000 | #Constraints:      12667
1285.83/1288.95	c #Conflicts:     145000 | #Constraints:      13667
1285.83/1288.95	c #Conflicts:     146000 | #Constraints:      14667
1285.83/1288.95	c #Conflicts:     147000 | #Constraints:      15667
1285.83/1288.95	c INPROCESSING
1285.83/1288.95	c GARBAGE COLLECT
1285.83/1288.95	c #Conflicts:     148000 | #Constraints:       9084
1285.83/1288.95	c #Conflicts:     149000 | #Constraints:      10084
1285.83/1288.95	c #Conflicts:     150000 | #Constraints:      11084
1285.83/1288.95	c #Conflicts:     151000 | #Constraints:      12084
1285.83/1288.95	c #Conflicts:     152000 | #Constraints:      13084
1285.83/1288.95	c #Conflicts:     153000 | #Constraints:      14084
1285.83/1288.95	c #Conflicts:     154000 | #Constraints:      15084
1285.83/1288.95	c #Conflicts:     155000 | #Constraints:      16084
1285.83/1288.95	c INPROCESSING
1285.83/1288.95	c GARBAGE COLLECT
1285.83/1288.95	c #Conflicts:     156000 | #Constraints:       9294
1285.83/1288.95	c #Conflicts:     157000 | #Constraints:      10294
1285.83/1288.95	c #Conflicts:     158000 | #Constraints:      11294
1285.83/1288.95	c #Conflicts:     159000 | #Constraints:      12294
1285.83/1288.95	c #Conflicts:     160000 | #Constraints:      13294
1285.83/1288.95	c #Conflicts:     161000 | #Constraints:      14294
1285.83/1288.95	c #Conflicts:     162000 | #Constraints:      15294
1285.83/1288.95	c #Conflicts:     163000 | #Constraints:      16294
1285.83/1288.95	c INPROCESSING
1285.83/1288.95	c GARBAGE COLLECT
1285.83/1288.95	c #Conflicts:     164000 | #Constraints:       9276
1285.83/1288.95	c #Conflicts:     165000 | #Constraints:      10276
1285.83/1288.95	c #Conflicts:     166000 | #Constraints:      11276
1285.83/1288.95	c #Conflicts:     167000 | #Constraints:      12276
1285.83/1288.95	c #Conflicts:     168000 | #Constraints:      13276
1285.83/1288.95	c #Conflicts:     169000 | #Constraints:      14276
1285.83/1288.95	c #Conflicts:     170000 | #Constraints:      15276
1285.83/1288.95	c #Conflicts:     171000 | #Constraints:      16276
1285.83/1288.95	c INPROCESSING
1285.83/1288.95	c GARBAGE COLLECT
1285.83/1288.95	c #Conflicts:     172000 | #Constraints:       9078
1285.83/1288.95	c #Conflicts:     173000 | #Constraints:      10078
1285.83/1288.95	c #Conflicts:     174000 | #Constraints:      11078
1285.83/1288.95	c #Conflicts:     175000 | #Constraints:      12078
1285.83/1288.95	c #Conflicts:     176000 | #Constraints:      13078
1285.83/1288.95	c #Conflicts:     177000 | #Constraints:      14078
1285.83/1288.95	c #Conflicts:     178000 | #Constraints:      15078
1285.83/1288.95	c #Conflicts:     179000 | #Constraints:      16078
1285.83/1288.95	c #Conflicts:     180000 | #Constraints:      17078
1285.83/1288.95	c INPROCESSING
1285.83/1288.95	c GARBAGE COLLECT
1285.83/1288.95	c #Conflicts:     181000 | #Constraints:       9676
1285.83/1288.95	c #Conflicts:     182000 | #Constraints:      10676
1285.83/1288.95	c #Conflicts:     183000 | #Constraints:      11676
1285.83/1288.95	c #Conflicts:     184000 | #Constraints:      12676
1285.83/1288.95	c #Conflicts:     185000 | #Constraints:      13676
1285.83/1288.95	c #Conflicts:     186000 | #Constraints:      14676
1285.83/1288.95	c #Conflicts:     187000 | #Constraints:      15676
1285.83/1288.95	c #Conflicts:     188000 | #Constraints:      16676
1285.83/1288.95	c #Conflicts:     189000 | #Constraints:      17676
1285.83/1288.95	c INPROCESSING
1285.83/1288.95	c GARBAGE COLLECT
1285.83/1288.95	c #Conflicts:     190000 | #Constraints:      10075
1285.83/1288.95	c #Conflicts:     191000 | #Constraints:      11075
1285.83/1288.95	c #Conflicts:     192000 | #Constraints:      12075
1285.83/1288.95	c #Conflicts:     193000 | #Constraints:      13075
1285.83/1288.95	c #Conflicts:     194000 | #Constraints:      14075
1285.83/1288.95	c #Conflicts:     195000 | #Constraints:      15075
1285.83/1288.95	c #Conflicts:     196000 | #Constraints:      16075
1285.83/1288.95	c #Conflicts:     197000 | #Constraints:      17075
1285.83/1288.95	c #Conflicts:     198000 | #Constraints:      18075
1285.83/1288.95	c INPROCESSING
1285.83/1288.95	c GARBAGE COLLECT
1285.83/1288.95	c #Conflicts:     199000 | #Constraints:      10272
1285.83/1288.95	c #Conflicts:     200000 | #Constraints:      11272
1285.83/1288.95	c #Conflicts:     201000 | #Constraints:      12272
1285.83/1288.95	c #Conflicts:     202000 | #Constraints:      13272
1285.83/1288.95	c #Conflicts:     203000 | #Constraints:      14272
1285.83/1288.95	c #Conflicts:     204000 | #Constraints:      15272
1285.83/1288.95	c #Conflicts:     205000 | #Constraints:      16272
1285.83/1288.95	c #Conflicts:     206000 | #Constraints:      17272
1285.83/1288.95	c #Conflicts:     207000 | #Constraints:      18272
1285.83/1288.95	c INPROCESSING
1285.83/1288.95	c GARBAGE COLLECT
1285.83/1288.95	c #Conflicts:     208000 | #Constraints:      10279
1285.83/1288.95	c #Conflicts:     209000 | #Constraints:      11279
1285.83/1288.95	c #Conflicts:     210000 | #Constraints:      12279
1285.83/1288.95	c #Conflicts:     211000 | #Constraints:      13279
1285.83/1288.95	c #Conflicts:     212000 | #Constraints:      14279
1285.83/1288.95	c #Conflicts:     213000 | #Constraints:      15279
1285.83/1288.95	c #Conflicts:     214000 | #Constraints:      16279
1285.83/1288.95	c #Conflicts:     215000 | #Constraints:      17279
1285.83/1288.95	c #Conflicts:     216000 | #Constraints:      18279
1285.83/1288.95	c INPROCESSING
1285.83/1288.95	c GARBAGE COLLECT
1285.83/1288.95	c #Conflicts:     217000 | #Constraints:      10075
1406.45/1409.84	c #Conflicts:     218000 | #Constraints:      11075
1406.45/1409.84	c #Conflicts:     219000 | #Constraints:      12075
1406.45/1409.84	c #Conflicts:     220000 | #Constraints:      13075
1406.45/1409.84	c #Conflicts:     221000 | #Constraints:      14075
1406.45/1409.84	c #Conflicts:     222000 | #Constraints:      15075
1406.45/1409.84	c #Conflicts:     223000 | #Constraints:      16075
1406.45/1409.84	c #Conflicts:     224000 | #Constraints:      17075
1406.45/1409.84	c #Conflicts:     225000 | #Constraints:      18075
1406.45/1409.84	c #Conflicts:     226000 | #Constraints:      19075
1406.45/1409.84	c INPROCESSING
1406.45/1409.84	c GARBAGE COLLECT
1406.45/1409.84	c #Conflicts:     227000 | #Constraints:      10674
1406.45/1409.84	c #Conflicts:     228000 | #Constraints:      11674
1406.45/1409.84	c #Conflicts:     229000 | #Constraints:      12674
1406.45/1409.84	c #Conflicts:     230000 | #Constraints:      13674
1406.45/1409.84	c #Conflicts:     231000 | #Constraints:      14674
1406.45/1409.84	c #Conflicts:     232000 | #Constraints:      15674
1406.45/1409.84	c GLOBAL bounds - >= 23830 @ 1370.67
1406.45/1409.89	c GLOBAL bounds - >= 23830 @ 1370.71
1406.54/1409.91	c GLOBAL bounds - >= 23830 @ 1370.72
1406.54/1409.93	c GLOBAL bounds - >= 23830 @ 1370.73
1406.54/1409.96	c GLOBAL bounds - >= 23830 @ 1370.74
1406.54/1409.98	c GLOBAL bounds - >= 23830 @ 1370.75
1406.65/1410.01	c GLOBAL bounds - >= 23830 @ 1370.77
1406.65/1410.04	c GLOBAL bounds - >= 23830 @ 1370.78
1406.94/1410.30	c GLOBAL bounds - >= 23830 @ 1370.92
1406.94/1410.32	c GLOBAL bounds - >= 23830 @ 1370.93
1407.64/1411.00	c GLOBAL bounds - >= 23830 @ 1371.48
1407.64/1411.02	c GLOBAL bounds - >= 23830 @ 1371.49
1407.85/1411.23	c GLOBAL bounds - >= 23830 @ 1371.58
1407.85/1411.26	c GLOBAL bounds - >= 23830 @ 1371.59
1408.04/1411.47	c GLOBAL bounds - >= 23830 @ 1371.66
1408.04/1411.49	c GLOBAL bounds - >= 23830 @ 1371.68
1408.34/1411.70	c GLOBAL bounds - >= 23830 @ 1371.75
1408.34/1411.73	c GLOBAL bounds - >= 23830 @ 1371.76
1408.54/1411.94	c GLOBAL bounds - >= 23830 @ 1371.84
1408.54/1411.96	c GLOBAL bounds - >= 23830 @ 1371.85
1408.74/1412.17	c GLOBAL bounds - >= 23830 @ 1371.93
1408.74/1412.20	c GLOBAL bounds - >= 23830 @ 1371.95
1409.04/1412.41	c GLOBAL bounds - >= 23830 @ 1372.01
1409.04/1412.43	c GLOBAL bounds - >= 23830 @ 1372.03
1409.24/1412.64	c GLOBAL bounds - >= 23830 @ 1372.09
1409.24/1412.67	c GLOBAL bounds - >= 23830 @ 1372.11
1409.44/1412.88	c GLOBAL bounds - >= 23830 @ 1372.18
1409.64/1413.09	c GLOBAL bounds - >= 23830 @ 1372.25
1409.93/1413.30	c GLOBAL bounds - >= 23830 @ 1372.32
1410.14/1413.51	c GLOBAL bounds - >= 23830 @ 1372.4
1410.33/1413.73	c GLOBAL bounds - >= 23830 @ 1372.51
1410.53/1413.96	c GLOBAL bounds - >= 23830 @ 1372.59
1410.75/1414.19	c GLOBAL bounds - >= 23830 @ 1372.68
1411.04/1414.48	c GLOBAL bounds - >= 23830 @ 1372.84
1411.34/1414.79	c GLOBAL bounds - >= 23830 @ 1373.01
1411.64/1415.08	c GLOBAL bounds - >= 23830 @ 1373.15
1413.13/1416.57	c #Conflicts:     233000 | #Constraints:      16689
1413.13/1416.57	c GLOBAL bounds - >= 23830 @ 1374.52
1413.13/1416.58	c GLOBAL bounds - >= 23830 @ 1374.53
1413.23/1416.61	c GLOBAL bounds - >= 23830 @ 1374.55
1413.23/1416.64	c GLOBAL bounds - >= 23830 @ 1374.56
1413.23/1416.66	c GLOBAL bounds - >= 23830 @ 1374.57
1413.23/1416.68	c GLOBAL bounds - >= 23830 @ 1374.58
1413.33/1416.70	c GLOBAL bounds - >= 23830 @ 1374.59
1413.33/1416.73	c GLOBAL bounds - >= 23830 @ 1374.61
1414.03/1417.46	c GLOBAL bounds - >= 23830 @ 1375.21
1414.03/1417.48	c GLOBAL bounds - >= 23830 @ 1375.22
1417.02/1420.45	c GLOBAL bounds - >= 23830 @ 1378.03
1417.02/1420.47	c GLOBAL bounds - >= 23830 @ 1378.04
1417.32/1420.71	c GLOBAL bounds - >= 23830 @ 1378.16
1417.32/1420.73	c GLOBAL bounds - >= 23830 @ 1378.17
1417.62/1421.06	c GLOBAL bounds - >= 23830 @ 1378.37
1417.62/1421.08	c GLOBAL bounds - >= 23830 @ 1378.38
1417.92/1421.37	c GLOBAL bounds - >= 23830 @ 1378.53
1417.92/1421.39	c GLOBAL bounds - >= 23830 @ 1378.54
1418.22/1421.67	c GLOBAL bounds - >= 23830 @ 1378.69
1418.22/1421.69	c GLOBAL bounds - >= 23830 @ 1378.69
1418.52/1421.94	c GLOBAL bounds - >= 23830 @ 1378.81
1418.52/1421.96	c GLOBAL bounds - >= 23830 @ 1378.82
1419.02/1422.43	c GLOBAL bounds - >= 23830 @ 1379.15
1419.02/1422.46	c GLOBAL bounds - >= 23830 @ 1379.17
1419.22/1422.68	c GLOBAL bounds - >= 23830 @ 1379.28
1419.32/1422.71	c GLOBAL bounds - >= 23830 @ 1379.29
1419.52/1422.92	c GLOBAL bounds - >= 23830 @ 1379.38
1419.73/1423.16	c #Conflicts:     234000 | #Constraints:      17703
1419.73/1423.16	c GLOBAL bounds - >= 23830 @ 1379.49
1913.14/1917.78	c #Conflicts:     235000 | #Constraints:      18703
1913.14/1917.78	c #Conflicts:     236000 | #Constraints:      19703
1913.14/1917.78	c INPROCESSING
1913.14/1917.78	c GARBAGE COLLECT
1913.14/1917.78	c #Conflicts:     237000 | #Constraints:      11085
1913.14/1917.78	c #Conflicts:     238000 | #Constraints:      12085
1913.14/1917.78	c #Conflicts:     239000 | #Constraints:      13085
1913.14/1917.78	c #Conflicts:     240000 | #Constraints:      14085
1913.14/1917.78	c #Conflicts:     241000 | #Constraints:      15085
1913.14/1917.78	c #Conflicts:     242000 | #Constraints:      16085
1913.14/1917.78	c #Conflicts:     243000 | #Constraints:      17085
1913.14/1917.78	c #Conflicts:     244000 | #Constraints:      18085
1913.14/1917.78	c #Conflicts:     245000 | #Constraints:      19085
1913.14/1917.78	c #Conflicts:     246000 | #Constraints:      20085
1913.14/1917.78	c INPROCESSING
1913.14/1917.78	c GARBAGE COLLECT
1913.14/1917.78	c #Conflicts:     247000 | #Constraints:      11291
1913.14/1917.78	c #Conflicts:     248000 | #Constraints:      12291
1913.14/1917.78	c #Conflicts:     249000 | #Constraints:      13291
1913.14/1917.78	c #Conflicts:     250000 | #Constraints:      14291
1913.14/1917.78	c #Conflicts:     251000 | #Constraints:      15291
1913.14/1917.78	c #Conflicts:     252000 | #Constraints:      16291
1913.14/1917.78	c #Conflicts:     253000 | #Constraints:      17291
1913.14/1917.78	c #Conflicts:     254000 | #Constraints:      18291
1913.14/1917.78	c #Conflicts:     255000 | #Constraints:      19291
1913.14/1917.78	c #Conflicts:     256000 | #Constraints:      20291
1913.14/1917.78	c INPROCESSING
1913.14/1917.78	c GARBAGE COLLECT
1913.14/1917.78	c #Conflicts:     257000 | #Constraints:      11286
1913.14/1917.78	c #Conflicts:     258000 | #Constraints:      12286
1913.14/1917.78	c #Conflicts:     259000 | #Constraints:      13286
1913.14/1917.78	c #Conflicts:     260000 | #Constraints:      14286
1913.14/1917.78	c #Conflicts:     261000 | #Constraints:      15286
1913.14/1917.78	c #Conflicts:     262000 | #Constraints:      16286
1913.14/1917.78	c #Conflicts:     263000 | #Constraints:      17286
1913.14/1917.78	c #Conflicts:     264000 | #Constraints:      18286
1913.14/1917.78	c #Conflicts:     265000 | #Constraints:      19286
1913.14/1917.78	c #Conflicts:     266000 | #Constraints:      20286
1913.14/1917.78	c INPROCESSING
1913.14/1917.78	c GARBAGE COLLECT
1913.14/1917.78	c #Conflicts:     267000 | #Constraints:      11096
1913.14/1917.78	c #Conflicts:     268000 | #Constraints:      12096
1913.14/1917.78	c #Conflicts:     269000 | #Constraints:      13096
1913.14/1917.78	c #Conflicts:     270000 | #Constraints:      14096
1913.14/1917.78	c #Conflicts:     271000 | #Constraints:      15096
1913.14/1917.78	c #Conflicts:     272000 | #Constraints:      16096
1913.14/1917.78	c #Conflicts:     273000 | #Constraints:      17096
1913.14/1917.78	c #Conflicts:     274000 | #Constraints:      18096
1913.14/1917.78	c #Conflicts:     275000 | #Constraints:      19096
1913.14/1917.78	c #Conflicts:     276000 | #Constraints:      20096
1913.14/1917.78	c #Conflicts:     277000 | #Constraints:      21096
1913.14/1917.78	c INPROCESSING
1913.14/1917.78	c GARBAGE COLLECT
1913.14/1917.78	c #Conflicts:     278000 | #Constraints:      11685
1913.14/1917.78	c #Conflicts:     279000 | #Constraints:      12685
1913.14/1917.78	c #Conflicts:     280000 | #Constraints:      13685
1913.14/1917.78	c #Conflicts:     281000 | #Constraints:      14685
1913.14/1917.78	c #Conflicts:     282000 | #Constraints:      15685
1913.14/1917.78	c #Conflicts:     283000 | #Constraints:      16685
1913.14/1917.78	c #Conflicts:     284000 | #Constraints:      17685
1913.14/1917.78	c #Conflicts:     285000 | #Constraints:      18685
1913.14/1917.78	c #Conflicts:     286000 | #Constraints:      19685
1913.14/1917.78	c #Conflicts:     287000 | #Constraints:      20685
1913.14/1917.78	c #Conflicts:     288000 | #Constraints:      21685
1913.14/1917.78	c INPROCESSING
1913.14/1917.78	c GARBAGE COLLECT
1913.14/1917.78	c #Conflicts:     289000 | #Constraints:      12077
1913.14/1917.78	c #Conflicts:     290000 | #Constraints:      13077
1913.14/1917.78	c #Conflicts:     291000 | #Constraints:      14077
1913.14/1917.78	c #Conflicts:     292000 | #Constraints:      15077
1913.14/1917.78	c #Conflicts:     293000 | #Constraints:      16077
1913.14/1917.78	c #Conflicts:     294000 | #Constraints:      17077
1913.14/1917.78	c #Conflicts:     295000 | #Constraints:      18077
1913.14/1917.78	c #Conflicts:     296000 | #Constraints:      19077
1913.14/1917.78	c #Conflicts:     297000 | #Constraints:      20077
1913.14/1917.78	c #Conflicts:     298000 | #Constraints:      21077
1913.14/1917.78	c #Conflicts:     299000 | #Constraints:      22077
1913.14/1917.78	c INPROCESSING
1913.14/1917.78	c GARBAGE COLLECT
1913.14/1917.78	c #Conflicts:     300000 | #Constraints:      12283
1913.14/1917.78	c #Conflicts:     301000 | #Constraints:      13283
1913.14/1917.78	c #Conflicts:     302000 | #Constraints:      14283
1913.14/1917.78	c #Conflicts:     303000 | #Constraints:      15283
1913.14/1917.78	c #Conflicts:     304000 | #Constraints:      16283
1913.14/1917.78	c #Conflicts:     305000 | #Constraints:      17283
1913.14/1917.78	c #Conflicts:     306000 | #Constraints:      18283
1913.14/1917.78	c #Conflicts:     307000 | #Constraints:      19283
1913.14/1917.78	c #Conflicts:     308000 | #Constraints:      20283
1913.14/1917.78	c #Conflicts:     309000 | #Constraints:      21283
2455.64/2461.57	c #Conflicts:     310000 | #Constraints:      22283
2455.64/2461.57	c INPROCESSING
2455.64/2461.57	c GARBAGE COLLECT
2455.64/2461.57	c #Conflicts:     311000 | #Constraints:      12306
2455.64/2461.57	c #Conflicts:     312000 | #Constraints:      13306
2455.64/2461.57	c #Conflicts:     313000 | #Constraints:      14306
2455.64/2461.57	c #Conflicts:     314000 | #Constraints:      15306
2455.64/2461.57	c #Conflicts:     315000 | #Constraints:      16306
2455.64/2461.57	c #Conflicts:     316000 | #Constraints:      17306
2455.64/2461.57	c #Conflicts:     317000 | #Constraints:      18306
2455.64/2461.57	c #Conflicts:     318000 | #Constraints:      19306
2455.64/2461.57	c #Conflicts:     319000 | #Constraints:      20306
2455.64/2461.57	c #Conflicts:     320000 | #Constraints:      21306
2455.64/2461.57	c #Conflicts:     321000 | #Constraints:      22306
2455.64/2461.57	c INPROCESSING
2455.64/2461.57	c GARBAGE COLLECT
2455.64/2461.57	c #Conflicts:     322000 | #Constraints:      12100
2455.64/2461.57	c #Conflicts:     323000 | #Constraints:      13100
2455.64/2461.57	c #Conflicts:     324000 | #Constraints:      14100
2455.64/2461.57	c #Conflicts:     325000 | #Constraints:      15100
2455.64/2461.57	c #Conflicts:     326000 | #Constraints:      16100
2455.64/2461.57	c #Conflicts:     327000 | #Constraints:      17100
2455.64/2461.57	c #Conflicts:     328000 | #Constraints:      18100
2455.64/2461.57	c #Conflicts:     329000 | #Constraints:      19100
2455.64/2461.57	c #Conflicts:     330000 | #Constraints:      20100
2455.64/2461.57	c #Conflicts:     331000 | #Constraints:      21100
2455.64/2461.57	c #Conflicts:     332000 | #Constraints:      22100
2455.64/2461.57	c #Conflicts:     333000 | #Constraints:      23100
2455.64/2461.57	c INPROCESSING
2455.64/2461.57	c GARBAGE COLLECT
2455.64/2461.57	c #Conflicts:     334000 | #Constraints:      12690
2455.64/2461.57	c #Conflicts:     335000 | #Constraints:      13690
2455.64/2461.57	c #Conflicts:     336000 | #Constraints:      14690
2455.64/2461.57	c #Conflicts:     337000 | #Constraints:      15690
2455.64/2461.57	c #Conflicts:     338000 | #Constraints:      16690
2455.64/2461.57	c #Conflicts:     339000 | #Constraints:      17690
2455.64/2461.57	c #Conflicts:     340000 | #Constraints:      18690
2455.64/2461.57	c #Conflicts:     341000 | #Constraints:      19690
2455.64/2461.57	c #Conflicts:     342000 | #Constraints:      20690
2455.64/2461.57	c #Conflicts:     343000 | #Constraints:      21690
2455.64/2461.57	c #Conflicts:     344000 | #Constraints:      22690
2455.64/2461.57	c #Conflicts:     345000 | #Constraints:      23690
2455.64/2461.57	c INPROCESSING
2455.64/2461.57	c GARBAGE COLLECT
2455.64/2461.57	c #Conflicts:     346000 | #Constraints:      13099
2455.64/2461.57	c #Conflicts:     347000 | #Constraints:      14099
2455.64/2461.57	c #Conflicts:     348000 | #Constraints:      15099
2455.64/2461.57	c #Conflicts:     349000 | #Constraints:      16099
2455.64/2461.57	c #Conflicts:     350000 | #Constraints:      17099
2455.64/2461.57	c #Conflicts:     351000 | #Constraints:      18099
2455.64/2461.57	c #Conflicts:     352000 | #Constraints:      19099
2455.64/2461.57	c #Conflicts:     353000 | #Constraints:      20099
2455.64/2461.57	c #Conflicts:     354000 | #Constraints:      21099
2455.64/2461.57	c #Conflicts:     355000 | #Constraints:      22099
2455.64/2461.57	c #Conflicts:     356000 | #Constraints:      23099
2455.64/2461.57	c #Conflicts:     357000 | #Constraints:      24099
2455.64/2461.57	c INPROCESSING
2455.64/2461.57	c GARBAGE COLLECT
2455.64/2461.57	c #Conflicts:     358000 | #Constraints:      13292
2455.64/2461.57	c #Conflicts:     359000 | #Constraints:      14292
2455.64/2461.57	c #Conflicts:     360000 | #Constraints:      15292
2455.64/2461.57	c #Conflicts:     361000 | #Constraints:      16292
2455.64/2461.57	c #Conflicts:     362000 | #Constraints:      17292
2455.64/2461.57	c #Conflicts:     363000 | #Constraints:      18292
2455.64/2461.57	c #Conflicts:     364000 | #Constraints:      19292
2455.64/2461.57	c #Conflicts:     365000 | #Constraints:      20292
2455.64/2461.57	c #Conflicts:     366000 | #Constraints:      21292
2455.64/2461.57	c #Conflicts:     367000 | #Constraints:      22292
2455.64/2461.57	c #Conflicts:     368000 | #Constraints:      23292
2455.64/2461.57	c #Conflicts:     369000 | #Constraints:      24292
2455.64/2461.57	c INPROCESSING
2455.64/2461.57	c GARBAGE COLLECT
2455.64/2461.57	c #Conflicts:     370000 | #Constraints:      13303
2455.64/2461.57	c #Conflicts:     371000 | #Constraints:      14303
2455.64/2461.57	c #Conflicts:     372000 | #Constraints:      15303
2455.64/2461.57	c #Conflicts:     373000 | #Constraints:      16303
2455.64/2461.57	c #Conflicts:     374000 | #Constraints:      17303
2455.64/2461.57	c #Conflicts:     375000 | #Constraints:      18303
2455.64/2461.57	c #Conflicts:     376000 | #Constraints:      19303
2455.64/2461.57	c #Conflicts:     377000 | #Constraints:      20303
2455.64/2461.57	c #Conflicts:     378000 | #Constraints:      21303
2455.64/2461.57	c #Conflicts:     379000 | #Constraints:      22303
2455.64/2461.57	c #Conflicts:     380000 | #Constraints:      23303
2455.64/2461.57	c #Conflicts:     381000 | #Constraints:      24303
2455.64/2461.57	c INPROCESSING
2455.64/2461.57	c GARBAGE COLLECT
2455.64/2461.57	c #Conflicts:     382000 | #Constraints:      13091
2455.64/2461.57	c #Conflicts:     383000 | #Constraints:      14091
3328.60/3336.78	c #Conflicts:     384000 | #Constraints:      15091
3328.60/3336.78	c #Conflicts:     385000 | #Constraints:      16091
3328.60/3336.78	c #Conflicts:     386000 | #Constraints:      17091
3328.60/3336.78	c #Conflicts:     387000 | #Constraints:      18091
3328.60/3336.78	c #Conflicts:     388000 | #Constraints:      19091
3328.60/3336.78	c #Conflicts:     389000 | #Constraints:      20091
3328.60/3336.78	c #Conflicts:     390000 | #Constraints:      21091
3328.60/3336.78	c #Conflicts:     391000 | #Constraints:      22091
3328.60/3336.78	c #Conflicts:     392000 | #Constraints:      23091
3328.60/3336.78	c #Conflicts:     393000 | #Constraints:      24091
3328.60/3336.78	c #Conflicts:     394000 | #Constraints:      25091
3328.60/3336.78	c INPROCESSING
3328.60/3336.78	c GARBAGE COLLECT
3328.60/3336.78	c #Conflicts:     395000 | #Constraints:      13697
3328.60/3336.78	c #Conflicts:     396000 | #Constraints:      14697
3328.60/3336.78	c #Conflicts:     397000 | #Constraints:      15697
3328.60/3336.78	c #Conflicts:     398000 | #Constraints:      16697
3328.60/3336.78	c #Conflicts:     399000 | #Constraints:      17697
3328.60/3336.78	c #Conflicts:     400000 | #Constraints:      18697
3328.60/3336.78	c #Conflicts:     401000 | #Constraints:      19697
3328.60/3336.78	c #Conflicts:     402000 | #Constraints:      20697
3328.60/3336.78	c #Conflicts:     403000 | #Constraints:      21697
3328.60/3336.78	c #Conflicts:     404000 | #Constraints:      22697
3328.60/3336.78	c #Conflicts:     405000 | #Constraints:      23697
3328.60/3336.78	c #Conflicts:     406000 | #Constraints:      24697
3328.60/3336.78	c #Conflicts:     407000 | #Constraints:      25697
3328.60/3336.78	c INPROCESSING
3328.60/3336.78	c GARBAGE COLLECT
3328.60/3336.78	c #Conflicts:     408000 | #Constraints:      14100
3328.60/3336.78	c #Conflicts:     409000 | #Constraints:      15100
3328.60/3336.78	c #Conflicts:     410000 | #Constraints:      16100
3328.60/3336.78	c #Conflicts:     411000 | #Constraints:      17100
3328.60/3336.78	c #Conflicts:     412000 | #Constraints:      18100
3328.60/3336.78	c #Conflicts:     413000 | #Constraints:      19100
3328.60/3336.78	c #Conflicts:     414000 | #Constraints:      20100
3328.60/3336.78	c #Conflicts:     415000 | #Constraints:      21100
3328.60/3336.78	c #Conflicts:     416000 | #Constraints:      22100
3328.60/3336.78	c #Conflicts:     417000 | #Constraints:      23100
3328.60/3336.78	c #Conflicts:     418000 | #Constraints:      24100
3328.60/3336.78	c #Conflicts:     419000 | #Constraints:      25100
3328.60/3336.78	c #Conflicts:     420000 | #Constraints:      26100
3328.60/3336.78	c GLOBAL bounds - >= 23832 @ 3283.27
3328.70/3336.83	c GLOBAL bounds - >= 23832 @ 3283.31
3328.70/3336.85	c GLOBAL bounds - >= 23832 @ 3283.33
3330.10/3338.25	c GLOBAL bounds - >= 23832 @ 3284.59
3330.10/3338.28	c GLOBAL bounds - >= 23832 @ 3284.6
3330.40/3338.51	c GLOBAL bounds - >= 23832 @ 3284.69
3330.40/3338.53	c GLOBAL bounds - >= 23832 @ 3284.71
3330.59/3338.77	c GLOBAL bounds - >= 23832 @ 3284.81
3330.59/3338.79	c GLOBAL bounds - >= 23832 @ 3284.82
3330.90/3339.06	c GLOBAL bounds - >= 23832 @ 3284.97
3330.90/3339.09	c GLOBAL bounds - >= 23832 @ 3284.98
3331.19/3339.32	c GLOBAL bounds - >= 23832 @ 3285.08
3331.19/3339.35	c GLOBAL bounds - >= 23832 @ 3285.09
3331.49/3339.61	c GLOBAL bounds - >= 23832 @ 3285.22
3331.49/3339.64	c GLOBAL bounds - >= 23832 @ 3285.23
3331.69/3339.86	c GLOBAL bounds - >= 23832 @ 3285.31
3331.69/3339.89	c GLOBAL bounds - >= 23832 @ 3285.32
3332.00/3340.12	c GLOBAL bounds - >= 23832 @ 3285.41
3332.00/3340.14	c GLOBAL bounds - >= 23832 @ 3285.42
3332.19/3340.36	c GLOBAL bounds - >= 23832 @ 3285.52
3332.19/3340.39	c GLOBAL bounds - >= 23832 @ 3285.53
3332.50/3340.61	c GLOBAL bounds - >= 23832 @ 3285.62
3332.69/3340.84	c GLOBAL bounds - >= 23832 @ 3285.71
3333.49/3341.66	c GLOBAL bounds - >= 23832 @ 3286.39
3333.89/3342.02	c GLOBAL bounds - >= 23832 @ 3286.62
3334.99/3343.11	c GLOBAL bounds - >= 23832 @ 3287.56
3348.96/3357.13	c #Conflicts:     421000 | #Constraints:      27119
3348.96/3357.13	c #Conflicts:     422000 | #Constraints:      28119
3348.96/3357.13	c GLOBAL bounds - >= 23832 @ 3301.28
3600.00/3608.80	c #Conflicts:     423000 | #Constraints:      29119
3600.00/3608.80	c #Conflicts:     424000 | #Constraints:      30119
3600.00/3608.80	c #Conflicts:     425000 | #Constraints:      31119
3600.00/3608.80	c #Conflicts:     426000 | #Constraints:      32119
3600.00/3608.80	c #Conflicts:     427000 | #Constraints:      33119
3600.00/3608.80	c #Conflicts:     428000 | #Constraints:      34119
3600.00/3608.80	c #Conflicts:     429000 | #Constraints:      35119
3600.00/3608.80	c #Conflicts:     430000 | #Constraints:      36119
3600.00/3608.80	c #Conflicts:     431000 | #Constraints:      37119
3600.00/3608.80	c #Conflicts:     432000 | #Constraints:      38119
3600.00/3608.80	c #Conflicts:     433000 | #Constraints:      39119
3600.00/3608.80	c #Conflicts:     434000 | #Constraints:      40119
3600.00/3608.80	c #Conflicts:     435000 | #Constraints:      41119
3600.00/3608.80	c #Conflicts:     436000 | #Constraints:      42119
3600.00/3608.80	c #Conflicts:     437000 | #Constraints:      43119
3600.00/3608.80	c #Conflicts:     438000 | #Constraints:      44119
3600.00/3608.80	c #Conflicts:     439000 | #Constraints:      45119
3600.00/3608.80	c #Conflicts:     440000 | #Constraints:      46119
3600.00/3608.80	c #Conflicts:     441000 | #Constraints:      47119
3600.00/3608.80	c #Conflicts:     442000 | #Constraints:      48119
3600.00/3608.80	c #Conflicts:     443000 | #Constraints:      49119
3600.00/3608.80	c #Conflicts:     444000 | #Constraints:      50119
3600.00/3608.80	c #Conflicts:     445000 | #Constraints:      51119
3600.00/3608.80	c #Conflicts:     446000 | #Constraints:      52119
3600.00/3608.80	c #Conflicts:     447000 | #Constraints:      53119
3600.00/3608.80	c #Conflicts:     448000 | #Constraints:      54119
3600.00/3608.80	c #Conflicts:     449000 | #Constraints:      55119
3600.00/3608.80	c #Conflicts:     450000 | #Constraints:      56119
3600.00/3608.80	c cpu time 3548.65 s
3600.00/3608.80	c deterministic time 25909057 2.59e+07
3600.00/3608.80	c optimization time 3542.18 s
3600.00/3608.80	c total solve time 1.72998 s
3600.00/3608.80	c core-guided solve time 0 s
3600.00/3608.80	c propagation time 1.24687 s
3600.00/3608.80	c conflict analysis time 0.329993 s
3600.00/3608.80	c propagations 4056859
3600.00/3608.80	c resolve steps 9067
3600.00/3608.80	c decisions 5770234
3600.00/3608.80	c conflicts 228
3600.00/3608.80	c restarts 2
3600.00/3608.80	c inprocessing phases 0
3600.00/3608.80	c garbage collections 0 ,( -nan )
3600.00/3608.80	c input clauses 1369229 ,( 99.99 )
3600.00/3608.80	c input cardinalities 0 ,( 0.00 )
3600.00/3608.80	c input general constraints 117 ,( 0.01 )
3600.00/3608.80	c input average constraint length 3.79
3600.00/3608.80	c input average constraint degree 531.83
3600.00/3608.80	c learned clauses 300 ,( 100.00 )
3600.00/3608.80	c learned cardinalities 0 ,( 0.00 )
3600.00/3608.80	c learned general constraints 0 ,( 0.00 )
3600.00/3608.80	c learned average constraint length 87.05
3600.00/3608.80	c learned average constraint degree 1.00
3600.00/3608.80	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.00/3608.80	c counting CF 32, 64, 128, Arb: 118 , 0 , 0 , 0
3600.00/3608.80	c watched   constraints 0 ,( 0.00 ) 
3600.00/3608.80	c counting  constraints 117 ,( 100.00 ) 
3600.00/3608.80	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2251077 , 0 , 227299 ,( 0 , 227299 )
3600.00/3608.80	c gcd simplifications 0
3600.00/3608.80	c detected cardinalities 0
3600.00/3608.80	c weakened non-implied lits 0
3600.00/3608.80	c weakened non-implying lits 0
3600.00/3608.80	c original variables 214302
3600.00/3608.80	c clausal propagations 2083724
3600.00/3608.80	c cardinality propagations 0
3600.00/3608.80	c watched propagations 0
3600.00/3608.80	c counting propagations 9160
3600.00/3608.80	c watch lookups 2683336
3600.00/3608.80	c watch backjump lookups 0
3600.00/3608.80	c watch checks 1484926
3600.00/3608.80	c propagation checks 2097921
3600.00/3608.80	c constraint additions 116660
3600.00/3608.80	c trail pops 9699120
3600.00/3608.80	c formula constraints 1368957
3600.00/3608.80	c learned constraints 300
3600.00/3608.80	c bound constraints 0
3600.00/3608.80	c core-guided constraints 0
3600.00/3608.80	c encountered formula constraints 9219
3600.00/3608.80	c encountered learned constraints 76
3600.00/3608.80	c encountered bound constraints 0
3600.00/3608.80	c encountered core-guided constraints 0
3600.00/3608.80	c LP total time 0 s
3600.00/3608.80	c LP solve time 0 s
3600.00/3608.80	c LP constraints added 0
3600.00/3608.80	c LP constraints removed 0
3600.00/3608.80	c LP pivots internal 0
3600.00/3608.80	c LP pivots root 0
3600.00/3608.80	c LP calls 0
3600.00/3608.80	c LP optimalities 0
3600.00/3608.80	c LP no pivot count 0
3600.00/3608.80	c LP infeasibilities 0
3600.00/3608.80	c LP valid Farkas constraints 0
3600.00/3608.80	c LP learned Farkas constraints 0
3600.00/3608.80	c LP basis resets 0
3600.00/3608.80	c LP cycling count 0
3600.00/3608.80	c LP singular count 0
3600.00/3608.80	c LP no primal count 0
3600.00/3608.80	c LP no farkas count 0
3600.00/3608.80	c LP other issue count 0
3600.00/3608.80	c LP Gomory cuts 0
3600.00/3608.80	c LP learned cuts 0
3600.00/3608.80	c LP deleted cuts 0
3600.00/3608.80	c LP encountered Gomory constraints 0
3600.00/3608.80	c LP encountered Farkas constraints 0
3600.00/3608.80	c LP encountered learned Farkas constraints 0
3600.00/3608.80	c CG auxiliary variables introduced 113
3600.00/3608.80	c CG solutions found 0
3600.00/3608.80	c CG cores constructed 184
3600.00/3608.80	c CG core cardinality constraints returned 0
3600.00/3608.80	c CG unit cores 0
3600.00/3608.80	c CG single cores 0
3600.00/3608.80	c CG blocks removed during cardinality reduction 0
3600.00/3608.80	c CG first core best 0
3600.00/3608.80	c CG decision core best 0
3600.00/3608.80	c CG core reduction tie 0
3600.00/3608.80	c CG core degree average 0.00
3600.00/3608.80	c CG core slack average 0.00
3600.00/3608.80	c CG core upper bound improvements 0
3600.00/3608.80	c STR number of successful calls 0
3600.00/3608.80	c STR number of unsuccessful calls 0
3600.00/3608.80	c STR number of inconclusive calls 0
3600.00/3608.80	c STR number of successful attempts 0
3600.00/3608.80	c STR number of unsuccessful attempts 0
3600.00/3608.80	c STR number of inconclusive attempts 0
3600.00/3608.80	c STR average degree increase per successful call inf
3600.00/3608.80	c STR average degree increase per successful attempt inf
3600.00/3608.80	c STR total number of conflicts for successful attempts 0
3600.00/3608.80	c STR total number of conflicts for unsuccessful attempts 0
3600.00/3608.80	c STR total number of conflicts for inconclusive attempts 0
3600.00/3608.80	c STR average number of conflicts per successful attempt inf
3600.00/3608.80	c STR average number of conflicts per unsuccessful attempt inf
3600.00/3608.80	c STR average number of conflicts per inconclusive attempt inf
3600.00/3608.80	c AVG.sumWPerc 99.91 
3600.00/3608.80	c bigint constraints 0 
3600.00/3608.80	s UNKNOWN
3600.00/3608.80	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: 63665 MiB (56497 MiB free)
  memory of node 1: 64507 MiB (58572 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100063 s]*
/proc/loadavg: 4.40 4.27 4.13 5/267 71259
/proc/meminfo: memFree=117770680/131249996 swapFree=33010160/33010684
[pid=71257] ppid=71254 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71257/stat : 71257 (run-opt.sh) S 71254 71257 70763 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 66107034 4292608 768 18446744073709551615 94377789382656 94377790277189 140726898073504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94377790516240 94377790563984 94377796808704 140726898076013 140726898076136 140726898076136 140726898081738 0
/proc/71257/statm: 1048 768 704 219 0 110 0
[pid=71259] ppid=71257 vsize=93476 memory=47340 CPUtime=0.08 cores=1,3
/proc/71259/stat : 71259 (roundingsat) R 71257 71257 70763 0 -1 4194304 6433 0 0 0 6 2 0 0 20 0 1 0 66107034 95719424 11835 18446744073709551615 4227072 8923433 140736263159360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13733888 140736263162274 140736263162408 140736263162408 140736263167978 0
/proc/71259/statm: 23369 11835 1920 1147 0 10796 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 97668 KiB
Current children cumulated memory: 50412 KiB

[startup+0.205704 s]*
/proc/loadavg: 4.40 4.27 4.13 5/267 71259
/proc/meminfo: memFree=117746740/131249996 swapFree=33010160/33010684
[pid=71257] ppid=71254 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71257/stat : 71257 (run-opt.sh) S 71254 71257 70763 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 66107034 4292608 768 18446744073709551615 94377789382656 94377790277189 140726898073504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94377790516240 94377790563984 94377796808704 140726898076013 140726898076136 140726898076136 140726898081738 0
/proc/71257/statm: 1048 768 704 219 0 110 0
[pid=71259] ppid=71257 vsize=95820 memory=51308 CPUtime=0.19 cores=1,3
/proc/71259/stat : 71259 (roundingsat) R 71257 71257 70763 0 -1 4194304 7449 0 0 0 14 5 0 0 20 0 1 0 66107034 98119680 12827 18446744073709551615 4227072 8923433 140736263159360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13733888 140736263162274 140736263162408 140736263162408 140736263167978 0
/proc/71259/statm: 23955 12827 1920 1147 0 11382 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 100012 KiB
Current children cumulated memory: 54380 KiB

[startup+0.305556 s]*
/proc/loadavg: 4.40 4.27 4.13 5/267 71259
/proc/meminfo: memFree=117730612/131249996 swapFree=33010160/33010684
[pid=71257] ppid=71254 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71257/stat : 71257 (run-opt.sh) S 71254 71257 70763 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 66107034 4292608 768 18446744073709551615 94377789382656 94377790277189 140726898073504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94377790516240 94377790563984 94377796808704 140726898076013 140726898076136 140726898076136 140726898081738 0
/proc/71257/statm: 1048 768 704 219 0 110 0
[pid=71259] ppid=71257 vsize=97840 memory=54124 CPUtime=0.29 cores=1,3
/proc/71259/stat : 71259 (roundingsat) R 71257 71257 70763 0 -1 4194304 8127 0 0 0 23 6 0 0 20 0 1 0 66107034 100188160 13531 18446744073709551615 4227072 8923433 140736263159360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13733888 140736263162274 140736263162408 140736263162408 140736263167978 0
/proc/71259/statm: 24460 13531 1920 1147 0 11887 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 102032 KiB
Current children cumulated memory: 57196 KiB

[startup+0.700198 s]
/proc/loadavg: 4.40 4.27 4.13 5/267 71259
/proc/meminfo: memFree=117698816/131249996 swapFree=33010160/33010684
[pid=71257] ppid=71254 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71257/stat : 71257 (run-opt.sh) S 71254 71257 70763 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 66107034 4292608 768 18446744073709551615 94377789382656 94377790277189 140726898073504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94377790516240 94377790563984 94377796808704 140726898076013 140726898076136 140726898076136 140726898081738 0
/proc/71257/statm: 1048 768 704 219 0 110 0
[pid=71259] ppid=71257 vsize=110768 memory=63496 CPUtime=0.68 cores=1,3
/proc/71259/stat : 71259 (roundingsat) R 71257 71257 70763 0 -1 4194304 10084 0 0 0 55 13 0 0 20 0 1 0 66107034 113426432 15874 18446744073709551615 4227072 8923433 140736263159360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13733888 140736263162274 140736263162408 140736263162408 140736263167978 0
/proc/71259/statm: 27692 15874 1920 1147 0 15119 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 114960 KiB
Current children cumulated memory: 66568 KiB

[startup+1.50019 s]
/proc/loadavg: 4.40 4.27 4.13 5/271 71270
/proc/meminfo: memFree=117641796/131249996 swapFree=33010160/33010684
[pid=71257] ppid=71254 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71257/stat : 71257 (run-opt.sh) S 71254 71257 70763 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 66107034 4292608 768 18446744073709551615 94377789382656 94377790277189 140726898073504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94377790516240 94377790563984 94377796808704 140726898076013 140726898076136 140726898076136 140726898081738 0
/proc/71257/statm: 1048 768 704 219 0 110 0
[pid=71259] ppid=71257 vsize=128108 memory=80660 CPUtime=1.47 cores=1,3
/proc/71259/stat : 71259 (roundingsat) R 71257 71257 70763 0 -1 4194304 14100 0 0 0 124 23 0 0 20 0 1 0 66107034 131182592 20165 18446744073709551615 4227072 8923433 140736263159360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13733888 140736263162274 140736263162408 140736263162408 140736263167978 0
/proc/71259/statm: 32027 20165 1920 1147 0 19454 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 132300 KiB
Current children cumulated memory: 83732 KiB

[startup+3.10551 s]
/proc/loadavg: 4.37 4.26 4.13 5/271 71270
/proc/meminfo: memFree=117540192/131249996 swapFree=33010160/33010684
[pid=71257] ppid=71254 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71257/stat : 71257 (run-opt.sh) S 71254 71257 70763 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 66107034 4292608 768 18446744073709551615 94377789382656 94377790277189 140726898073504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94377790516240 94377790563984 94377796808704 140726898076013 140726898076136 140726898076136 140726898081738 0
/proc/71257/statm: 1048 768 704 219 0 110 0
[pid=71259] ppid=71257 vsize=161476 memory=114520 CPUtime=3.07 cores=1,3
/proc/71259/stat : 71259 (roundingsat) R 71257 71257 70763 0 -1 4194304 20298 0 0 0 259 48 0 0 20 0 1 0 66107034 165351424 28630 18446744073709551615 4227072 8923433 140736263159360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13733888 140736263162274 140736263162408 140736263162408 140736263167978 0
/proc/71259/statm: 40369 28630 1920 1147 0 27796 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 165668 KiB
Current children cumulated memory: 117592 KiB

[startup+6.3002 s]
/proc/loadavg: 4.37 4.26 4.13 5/271 71270
/proc/meminfo: memFree=117348840/131249996 swapFree=33010160/33010684
[pid=71257] ppid=71254 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71257/stat : 71257 (run-opt.sh) S 71254 71257 70763 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 66107034 4292608 768 18446744073709551615 94377789382656 94377790277189 140726898073504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94377790516240 94377790563984 94377796808704 140726898076013 140726898076136 140726898076136 140726898081738 0
/proc/71257/statm: 1048 768 704 219 0 110 0
[pid=71259] ppid=71257 vsize=347540 memory=237872 CPUtime=6.26 cores=1,3
/proc/71259/stat : 71259 (roundingsat) R 71257 71257 70763 0 -1 4194304 39194 0 0 0 500 126 0 0 20 0 1 0 66107034 355880960 59468 18446744073709551615 4227072 8923433 140736263159360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13733888 140736263162274 140736263162408 140736263162408 140736263167978 0
/proc/71259/statm: 86885 59468 2048 1147 0 74312 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 351732 KiB
Current children cumulated memory: 240944 KiB

[startup+12.7002 s]
/proc/loadavg: 4.31 4.25 4.12 5/271 71270
/proc/meminfo: memFree=117163600/131249996 swapFree=33010160/33010684
[pid=71257] ppid=71254 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71257/stat : 71257 (run-opt.sh) S 71254 71257 70763 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 66107034 4292608 768 18446744073709551615 94377789382656 94377790277189 140726898073504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94377790516240 94377790563984 94377796808704 140726898076013 140726898076136 140726898076136 140726898081738 0
/proc/71257/statm: 1048 768 704 219 0 110 0
[pid=71259] ppid=71257 vsize=412556 memory=302864 CPUtime=12.65 cores=1,3
/proc/71259/stat : 71259 (roundingsat) R 71257 71257 70763 0 -1 4194304 50185 0 0 0 759 506 0 0 20 0 1 0 66107034 422457344 75716 18446744073709551615 4227072 8923433 140736263159360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13733888 140736263162274 140736263162408 140736263162408 140736263167978 0
/proc/71259/statm: 103139 75716 2048 1147 0 90566 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 416748 KiB
Current children cumulated memory: 305936 KiB

[startup+25.5002 s]
/proc/loadavg: 4.26 4.25 4.12 5/271 71270
/proc/meminfo: memFree=116681720/131249996 swapFree=33010160/33010684
[pid=71257] ppid=71254 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71257/stat : 71257 (run-opt.sh) S 71254 71257 70763 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 66107034 4292608 768 18446744073709551615 94377789382656 94377790277189 140726898073504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94377790516240 94377790563984 94377796808704 140726898076013 140726898076136 140726898076136 140726898081738 0
/proc/71257/statm: 1048 768 704 219 0 110 0
[pid=71259] ppid=71257 vsize=829448 memory=649096 CPUtime=25.42 cores=1,3
/proc/71259/stat : 71259 (roundingsat) R 71257 71257 70763 0 -1 4194304 119905 0 0 0 1332 1210 0 0 20 0 1 0 66107034 849354752 162274 18446744073709551615 4227072 8923433 140736263159360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13733888 140736263162274 140736263162408 140736263162408 140736263167978 0
/proc/71259/statm: 207362 162274 2080 1147 0 194789 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 833640 KiB
Current children cumulated memory: 652168 KiB

[startup+51.1055 s]
/proc/loadavg: 4.23 4.24 4.12 5/271 71271
/proc/meminfo: memFree=115657308/131249996 swapFree=33010160/33010684
[pid=71257] ppid=71254 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71257/stat : 71257 (run-opt.sh) S 71254 71257 70763 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 66107034 4292608 768 18446744073709551615 94377789382656 94377790277189 140726898073504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94377790516240 94377790563984 94377796808704 140726898076013 140726898076136 140726898076136 140726898081738 0
/proc/71257/statm: 1048 768 704 219 0 110 0
[pid=71259] ppid=71257 vsize=1395260 memory=1187244 CPUtime=50.98 cores=1,3
/proc/71259/stat : 71259 (roundingsat) R 71257 71257 70763 0 -1 4194304 213579 0 0 0 2541 2557 0 0 20 0 1 0 66107034 1428746240 296811 18446744073709551615 4227072 8923433 140736263159360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13733888 140736263162274 140736263162408 140736263162408 140736263167978 0
/proc/71259/statm: 348815 296811 2080 1147 0 336242 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 1399452 KiB
Current children cumulated memory: 1190316 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.21 4.12 5/270 71272
/proc/meminfo: memFree=113815824/131249996 swapFree=33010160/33010684
[pid=71257] ppid=71254 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71257/stat : 71257 (run-opt.sh) S 71254 71257 70763 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 66107034 4292608 768 18446744073709551615 94377789382656 94377790277189 140726898073504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94377790516240 94377790563984 94377796808704 140726898076013 140726898076136 140726898076136 140726898081738 0
/proc/71257/statm: 1048 768 704 219 0 110 0
[pid=71259] ppid=71257 vsize=2273856 memory=1877020 CPUtime=102.07 cores=1,3
/proc/71259/stat : 71259 (roundingsat) R 71257 71257 70763 0 -1 4194304 346173 0 0 0 6985 3222 0 0 20 0 1 0 66107034 2328428544 469255 18446744073709551615 4227072 8923433 140736263159360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13733888 140736263162274 140736263162408 140736263162408 140736263167978 0
/proc/71259/statm: 568464 469255 2080 1147 0 555891 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 2278048 KiB
Current children cumulated memory: 1880092 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.19 4.11 5/269 71275
/proc/meminfo: memFree=113619016/131249996 swapFree=33010160/33010684
[pid=71257] ppid=71254 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71257/stat : 71257 (run-opt.sh) S 71254 71257 70763 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 66107034 4292608 768 18446744073709551615 94377789382656 94377790277189 140726898073504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94377790516240 94377790563984 94377796808704 140726898076013 140726898076136 140726898076136 140726898081738 0
/proc/71257/statm: 1048 768 704 219 0 110 0
[pid=71259] ppid=71257 vsize=2275200 memory=1969944 CPUtime=161.93 cores=1,3
/proc/71259/stat : 71259 (roundingsat) R 71257 71257 70763 0 -1 4194304 359231 0 0 0 12955 3238 0 0 20 0 1 0 66107034 2329804800 492486 18446744073709551615 4227072 8923433 140736263159360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13733888 140736263162274 140736263162408 140736263162408 140736263167978 0
/proc/71259/statm: 568800 492486 2080 1147 0 556227 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 2279392 KiB
Current children cumulated memory: 1973016 KiB

[startup+222.3 s]
/proc/loadavg: 4.39 4.25 4.13 5/269 71296
/proc/meminfo: memFree=113462796/131249996 swapFree=33010160/33010684
[pid=71257] ppid=71254 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71257/stat : 71257 (run-opt.sh) S 71254 71257 70763 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 66107034 4292608 768 18446744073709551615 94377789382656 94377790277189 140726898073504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94377790516240 94377790563984 94377796808704 140726898076013 140726898076136 140726898076136 140726898081738 0
/proc/71257/statm: 1048 768 704 219 0 110 0
[pid=71259] ppid=71257 vsize=2276992 memory=2056320 CPUtime=221.78 cores=1,3
/proc/71259/stat : 71259 (roundingsat) R 71257 71257 70763 0 -1 4194304 371137 0 0 0 18926 3252 0 0 20 0 1 0 66107034 2331639808 514080 18446744073709551615 4227072 8923433 140736263159360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13733888 140736263162274 140736263162408 140736263162408 140736263167978 0
/proc/71259/statm: 569248 514080 2080 1147 0 556675 0
Current children cumulated CPU time: 221.78 s

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

/proc/loadavg: 4.10 4.12 4.10 5/267 71530
/proc/meminfo: memFree=89198852/131249996 swapFree=33010160/33010684
[pid=71257] ppid=71254 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71257/stat : 71257 (run-opt.sh) S 71254 71257 70763 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 66107034 4292608 768 18446744073709551615 94377789382656 94377790277189 140726898073504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94377790516240 94377790563984 94377796808704 140726898076013 140726898076136 140726898076136 140726898081738 0
/proc/71257/statm: 1048 768 704 219 0 110 0
[pid=71259] ppid=71257 vsize=14023472 memory=10355392 CPUtime=3154.67 cores=1,3
/proc/71259/stat : 71259 (roundingsat) R 71257 71257 70763 0 -1 4194304 1973711 0 0 0 310980 4487 0 0 20 0 1 0 66107034 14360035328 2588848 18446744073709551615 4227072 8923433 140736263159360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13733888 140736263162274 140736263162408 140736263162408 140736263167978 0
/proc/71259/statm: 3505868 2588848 2080 1147 0 3493295 0
Current children cumulated CPU time: 3154.67 s
Current children cumulated vsize: 14027664 KiB
Current children cumulated memory: 10358464 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/268 71537
/proc/meminfo: memFree=88982672/131249996 swapFree=33010160/33010684
[pid=71257] ppid=71254 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71257/stat : 71257 (run-opt.sh) S 71254 71257 70763 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 66107034 4292608 768 18446744073709551615 94377789382656 94377790277189 140726898073504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94377790516240 94377790563984 94377796808704 140726898076013 140726898076136 140726898076136 140726898081738 0
/proc/71257/statm: 1048 768 704 219 0 110 0
[pid=71259] ppid=71257 vsize=14046512 memory=10569740 CPUtime=3214.51 cores=1,3
/proc/71259/stat : 71259 (roundingsat) R 71257 71257 70763 0 -1 4194304 2003896 0 0 0 316948 4503 0 0 20 0 1 0 66107034 14383628288 2642435 18446744073709551615 4227072 8923433 140736263159360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13733888 140736263162274 140736263162408 140736263162408 140736263167978 0
/proc/71259/statm: 3511628 2642435 2080 1147 0 3499055 0
Current children cumulated CPU time: 3214.51 s
Current children cumulated vsize: 14050704 KiB
Current children cumulated memory: 10572812 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 71539
/proc/meminfo: memFree=88602416/131249996 swapFree=33010160/33010684
[pid=71257] ppid=71254 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71257/stat : 71257 (run-opt.sh) S 71254 71257 70763 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 66107034 4292608 768 18446744073709551615 94377789382656 94377790277189 140726898073504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94377790516240 94377790563984 94377796808704 140726898076013 140726898076136 140726898076136 140726898081738 0
/proc/71257/statm: 1048 768 704 219 0 110 0
[pid=71259] ppid=71257 vsize=14052144 memory=10815652 CPUtime=3274.35 cores=1,3
/proc/71259/stat : 71259 (roundingsat) R 71257 71257 70763 0 -1 4194304 2036388 0 0 0 322918 4517 0 0 20 0 1 0 66107034 14389395456 2703913 18446744073709551615 4227072 8923433 140736263159360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13733888 140736263162274 140736263162408 140736263162408 140736263167978 0
/proc/71259/statm: 3513036 2703913 2080 1147 0 3500463 0
Current children cumulated CPU time: 3274.35 s
Current children cumulated vsize: 14056336 KiB
Current children cumulated memory: 10818724 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/269 71587
/proc/meminfo: memFree=98681712/131249996 swapFree=33010160/33010684
[pid=71257] ppid=71254 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71257/stat : 71257 (run-opt.sh) S 71254 71257 70763 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 66107034 4292608 768 18446744073709551615 94377789382656 94377790277189 140726898073504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94377790516240 94377790563984 94377796808704 140726898076013 140726898076136 140726898076136 140726898081738 0
/proc/71257/statm: 1048 768 704 219 0 110 0
[pid=71259] ppid=71257 vsize=14059592 memory=11392364 CPUtime=3334.19 cores=1,3
/proc/71259/stat : 71259 (roundingsat) R 71257 71257 70763 0 -1 4194304 2111335 0 0 0 328687 4732 0 0 20 0 1 0 66107034 14397022208 2848091 18446744073709551615 4227072 8923433 140736263159360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13733888 140736263162274 140736263162408 140736263162408 140736263167978 0
/proc/71259/statm: 3514898 2848091 2080 1147 0 3502325 0
Current children cumulated CPU time: 3334.19 s
Current children cumulated vsize: 14063784 KiB
Current children cumulated memory: 11395436 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/270 71590
/proc/meminfo: memFree=96839264/131249996 swapFree=33010160/33010684
[pid=71257] ppid=71254 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71257/stat : 71257 (run-opt.sh) S 71254 71257 70763 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 66107034 4292608 768 18446744073709551615 94377789382656 94377790277189 140726898073504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94377790516240 94377790563984 94377796808704 140726898076013 140726898076136 140726898076136 140726898081738 0
/proc/71257/statm: 1048 768 704 219 0 110 0
[pid=71259] ppid=71257 vsize=14059592 memory=12640160 CPUtime=3394.03 cores=1,3
/proc/71259/stat : 71259 (roundingsat) R 71257 71257 70763 0 -1 4194304 2269653 0 0 0 334586 4817 0 0 20 0 1 0 66107034 14397022208 3160040 18446744073709551615 4227072 8923433 140736263159360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13733888 140736263162274 140736263162408 140736263162408 140736263167978 0
/proc/71259/statm: 3514898 3160040 2080 1147 0 3502325 0
Current children cumulated CPU time: 3394.03 s
Current children cumulated vsize: 14063784 KiB
Current children cumulated memory: 12643232 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/270 71592
/proc/meminfo: memFree=95920888/131249996 swapFree=33010160/33010684
[pid=71257] ppid=71254 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71257/stat : 71257 (run-opt.sh) S 71254 71257 70763 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 66107034 4292608 768 18446744073709551615 94377789382656 94377790277189 140726898073504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94377790516240 94377790563984 94377796808704 140726898076013 140726898076136 140726898076136 140726898081738 0
/proc/71257/statm: 1048 768 704 219 0 110 0
[pid=71259] ppid=71257 vsize=14059592 memory=13335684 CPUtime=3453.88 cores=1,3
/proc/71259/stat : 71259 (roundingsat) R 71257 71257 70763 0 -1 4194304 2359576 0 0 0 340528 4860 0 0 20 0 1 0 66107034 14397022208 3333921 18446744073709551615 4227072 8923433 140736263159360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13733888 140736263162274 140736263162408 140736263162408 140736263167978 0
/proc/71259/statm: 3514898 3333921 2080 1147 0 3502325 0
Current children cumulated CPU time: 3453.88 s
Current children cumulated vsize: 14063784 KiB
Current children cumulated memory: 13338756 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/270 71594
/proc/meminfo: memFree=94903876/131249996 swapFree=33010160/33010684
[pid=71257] ppid=71254 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71257/stat : 71257 (run-opt.sh) S 71254 71257 70763 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 66107034 4292608 768 18446744073709551615 94377789382656 94377790277189 140726898073504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94377790516240 94377790563984 94377796808704 140726898076013 140726898076136 140726898076136 140726898081738 0
/proc/71257/statm: 1048 768 704 219 0 110 0
[pid=71259] ppid=71257 vsize=16520468 memory=14282832 CPUtime=3513.73 cores=1,3
/proc/71259/stat : 71259 (roundingsat) R 71257 71257 70763 0 -1 4194304 2484304 0 0 0 346460 4913 0 0 20 0 1 0 66107034 16916959232 3570708 18446744073709551615 4227072 8923433 140736263159360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13733888 140736263162274 140736263162408 140736263162408 140736263167978 0
/proc/71259/statm: 4130117 3570708 2080 1147 0 4117544 0
Current children cumulated CPU time: 3513.73 s
Current children cumulated vsize: 16524660 KiB
Current children cumulated memory: 14285904 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/270 71597
/proc/meminfo: memFree=89172840/131249996 swapFree=33010160/33010684
[pid=71257] ppid=71254 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71257/stat : 71257 (run-opt.sh) S 71254 71257 70763 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 66107034 4292608 768 18446744073709551615 94377789382656 94377790277189 140726898073504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94377790516240 94377790563984 94377796808704 140726898076013 140726898076136 140726898076136 140726898081738 0
/proc/71257/statm: 1048 768 704 219 0 110 0
[pid=71259] ppid=71257 vsize=26059172 memory=19885564 CPUtime=3573.57 cores=1,3
/proc/71259/stat : 71259 (roundingsat) R 71257 71257 70763 0 -1 4194304 3785788 0 0 0 352239 5118 0 0 20 0 1 0 66107034 26684592128 4971391 18446744073709551615 4227072 8923433 140736263159360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13733888 140736263162274 140736263162408 140736263162408 140736263167978 0
/proc/71259/statm: 6514793 4971391 2080 1147 0 6502220 0
Current children cumulated CPU time: 3573.57 s
Current children cumulated vsize: 26063364 KiB
Current children cumulated memory: 19888636 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.8 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 71600
/proc/meminfo: memFree=88681196/131249996 swapFree=33010160/33010684
[pid=71257] ppid=71254 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71257/stat : 71257 (run-opt.sh) S 71254 71257 70763 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 66107034 4292608 768 18446744073709551615 94377789382656 94377790277189 140726898073504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94377790516240 94377790563984 94377796808704 140726898076013 140726898076136 140726898076136 140726898081738 0
/proc/71257/statm: 1048 768 704 219 0 110 0
[pid=71259] ppid=71257 vsize=26072484 memory=20157848 CPUtime=3600 cores=1,3
/proc/71259/stat : 71259 (roundingsat) R 71257 71257 70763 0 -1 4194304 3822798 0 0 0 354864 5136 0 0 20 0 1 0 66107034 26698223616 5039462 18446744073709551615 4227072 8923433 140736263159360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13733888 140736263162274 140736263162408 140736263162408 140736263167978 0
/proc/71259/statm: 6518121 5039462 2080 1147 0 6505548 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 26076676 KiB
Current children cumulated memory: 20160920 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.000803 s, system=0.001604 s

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

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

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

[startup+3609.2 s]
/proc/loadavg: 4.07 4.08 4.09 5/268 71600
/proc/meminfo: memFree=94336596/131249996 swapFree=33010160/33010684
[pid=71259] ppid=71254 vsize=10150860 memory=7609388 CPUtime=3600.4 cores=1,3
/proc/71259/stat : 71259 (roundingsat) R 71254 71257 70763 0 -1 4194304 3822823 0 0 0 354865 5175 0 0 20 0 1 0 66107034 10394480640 1902347 18446744073709551615 4227072 8923433 140736263159360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13733888 140736263162274 140736263162408 140736263162408 140736263167978 0
/proc/71259/statm: 2537715 1902347 2176 1147 0 2525142 0
Current cumulated CPU time of completed processes: 0.002407 s
Current children cumulated CPU time: 3600.4 s
Current children cumulated vsize: 10150860 KiB
Current children cumulated memory: 7609388 KiB

[startup+3609.6 s]
/proc/loadavg: 4.07 4.08 4.09 5/268 71601
/proc/meminfo: memFree=104739840/131249996 swapFree=33010160/33010684
Current cumulated CPU time of completed processes: 0.002407 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 2

Real time (s): 3609.62
CPU time (s): 3600.83
CPU user time (s): 3548.67
CPU system time (s): 52.1603
CPU usage (%): 99.7566
Max. virtual memory (cumulated for all children) (KiB): 26076676
Max. memory (cumulated for all children) (KiB): 20160920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3548.67
system time used= 52.1603
maximum resident set size= 20158232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3823068
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= 222
involuntary context switches= 6237


# summary of solver processes directly reported to runsolver:
#   pid: 71257,71259
#   total CPU time (s): 3600.83
#   total CPU user time (s): 3548.67
#   total CPU system time (s): 52.1603

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.19572 second user time and 16.8 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2025-07-03 02:58:13
IDJOB=4506412
IDBENCH=158206
IDSOLVER=3350
FILE ID=nodeC021/4506412-1751504292
RUNJOBID= nodeC021-1751500681-70775
SLURM_JOB_ID= 9598584
Free space on /tmp= 430708 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/graca/normalized-ped2.G.recomb10-0.20-12.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506412-1751504292/watcher-4506412-1751504292 -o /tmp/evaluation-result-4506412-1751504292/solver-4506412-1751504292 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751500681-70775 --watchdog 3760  run-opt.sh HOME/instance-4506412-1751504292.opb

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

MD5SUM BENCH= 0c5a5feecc6e9ebbd7fc1e1b28678077
RANDOM SEED=635744293

nodeC021 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		: 3599.783
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	: 6999.56
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		: 3599.779
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	: 6999.56
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		: 3589.142
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	: 6999.56
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		: 3510.474
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	: 6999.56
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		: 3596.548
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	: 6999.56
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		: 3599.667
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	: 6999.56
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		: 3599.773
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	: 6999.56
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.078
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	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        117843776 kB
MemAvailable:   121879424 kB
Buffers:            2128 kB
Cached:          4773852 kB
SwapCached:           20 kB
Active:          8367956 kB
Inactive:        4295116 kB
Active(anon):    7894208 kB
Inactive(anon):    10924 kB
Active(file):     473748 kB
Inactive(file):  4284192 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            139316 kB
Writeback:             0 kB
AnonPages:       7889216 kB
Mapped:           113832 kB
Shmem:             18040 kB
KReclaimable:     233496 kB
Slab:             325300 kB
SReclaimable:     233496 kB
SUnreclaim:        91804 kB
KernelStack:        4288 kB
PageTables:        20204 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    9493720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150600 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3115008 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:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430668 MiB
End job on nodeC021 at 2025-07-03 03:58:23