Trace number 4505906

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.11 3609.6

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_0null0mast_rapportOE2.0_TMAX120_K192_cod2.opb
MD5SUM726b0595b04a91a84feeb3b27d81e819
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-2792
Best CPU time to get the best result obtained on this benchmark72004
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400896
Total number of constraints402763
Number of constraints which are clauses400785
Number of constraints which are cardinality constraints (but not clauses)194
Number of constraints which are nor clauses,nor cardinality constraints1784
Minimum length of a constraint2
Maximum length of a constraint58023
Number of terms in the objective function 1783
Biggest coefficient in the objective function 512
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 8196
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 512
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 66727
Number of bits of the biggest sum of numbers17
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
1.97/2.09	c #variables 400896 #constraints 402763
1.97/2.09	c objective is ce32 
2.07/2.15	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
2.07/2.15	c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
2.07/2.15	c GLOBAL bounds - >= -8196 @ 1.6779
2.47/2.54	c GLOBAL bounds - >= -8196 @ 1.81963
2.86/2.92	c GLOBAL bounds - >= -8196 @ 1.94527
3.17/3.29	c GLOBAL bounds - >= -8196 @ 2.07339
3.56/3.67	c GLOBAL bounds - >= -8196 @ 2.20811
3.97/4.05	c GLOBAL bounds - >= -8196 @ 2.35543
4.36/4.42	c GLOBAL bounds - >= -8196 @ 2.48496
4.76/4.80	c GLOBAL bounds - >= -8196 @ 2.61056
5.06/5.18	c GLOBAL bounds - >= -8196 @ 2.73647
5.45/5.56	c GLOBAL bounds - >= -8196 @ 2.87115
5.86/5.93	c GLOBAL bounds - >= -8196 @ 3.01438
6.26/6.32	c GLOBAL bounds - >= -8196 @ 3.14969
6.66/6.71	c GLOBAL bounds - >= -8196 @ 3.28285
7.06/7.10	c GLOBAL bounds - >= -8196 @ 3.43724
7.45/7.50	c GLOBAL bounds - >= -8196 @ 3.57618
7.75/7.89	c GLOBAL bounds - >= -8196 @ 3.72332
8.15/8.28	c GLOBAL bounds - >= -8196 @ 3.84931
8.55/8.68	c GLOBAL bounds - >= -8196 @ 3.99183
8.96/9.07	c GLOBAL bounds - >= -8196 @ 4.1317
9.35/9.46	c GLOBAL bounds - >= -8196 @ 4.27088
9.75/9.85	c GLOBAL bounds - >= -8196 @ 4.412
10.15/10.25	c GLOBAL bounds - >= -8196 @ 4.56091
10.54/10.64	c GLOBAL bounds - >= -8196 @ 4.69643
10.95/11.03	c GLOBAL bounds - >= -8196 @ 4.8261
11.34/11.43	c GLOBAL bounds - >= -8196 @ 4.97183
11.74/11.82	c GLOBAL bounds - >= -8196 @ 5.12066
12.15/12.21	c GLOBAL bounds - >= -8196 @ 5.25654
12.55/12.60	c GLOBAL bounds - >= -8196 @ 5.38533
12.85/13.00	c GLOBAL bounds - >= -8196 @ 5.53171
13.25/13.39	c GLOBAL bounds - >= -8196 @ 5.67368
13.64/13.79	c GLOBAL bounds - >= -8196 @ 5.83096
14.04/14.18	c GLOBAL bounds - >= -8196 @ 5.98197
14.44/14.58	c GLOBAL bounds - >= -8196 @ 6.09649
14.84/14.97	c GLOBAL bounds - >= -8196 @ 6.22216
15.23/15.36	c GLOBAL bounds - >= -8196 @ 6.35593
15.64/15.75	c GLOBAL bounds - >= -8196 @ 6.49253
16.04/16.15	c GLOBAL bounds - >= -8196 @ 6.62434
16.43/16.54	c GLOBAL bounds - >= -8196 @ 6.75965
16.84/16.93	c GLOBAL bounds - >= -8196 @ 6.88405
17.24/17.33	c GLOBAL bounds - >= -8196 @ 7.02734
17.63/17.72	c GLOBAL bounds - >= -8196 @ 7.16125
18.04/18.11	c GLOBAL bounds - >= -8196 @ 7.30875
18.43/18.51	c GLOBAL bounds - >= -8196 @ 7.45051
18.83/18.90	c GLOBAL bounds - >= -8196 @ 7.59454
19.13/19.29	c GLOBAL bounds - >= -8196 @ 7.73897
19.53/19.68	c GLOBAL bounds - >= -8196 @ 7.87351
19.93/20.08	c GLOBAL bounds - >= -8196 @ 8.02367
20.33/20.47	c GLOBAL bounds - >= -8196 @ 8.17751
20.73/20.87	c GLOBAL bounds - >= -8196 @ 8.32038
21.13/21.26	c GLOBAL bounds - >= -8196 @ 8.44334
21.52/21.65	c GLOBAL bounds - >= -8196 @ 8.59174
21.92/22.05	c GLOBAL bounds - >= -8196 @ 8.73518
22.33/22.44	c GLOBAL bounds - >= -8196 @ 8.88757
22.73/22.84	c GLOBAL bounds - >= -8196 @ 9.04494
23.11/23.23	c GLOBAL bounds - >= -8196 @ 9.18288
23.52/23.63	c GLOBAL bounds - >= -8196 @ 9.31461
23.92/24.02	c GLOBAL bounds - >= -8196 @ 9.44091
24.32/24.42	c GLOBAL bounds - >= -8196 @ 9.58647
24.72/24.81	c GLOBAL bounds - >= -8196 @ 9.73373
25.12/25.21	c GLOBAL bounds - >= -8196 @ 9.88807
25.52/25.60	c GLOBAL bounds - >= -8196 @ 10.027
25.81/25.99	c GLOBAL bounds - >= -8196 @ 10.1686
26.21/26.39	c GLOBAL bounds - >= -8196 @ 10.3248
26.62/26.78	c GLOBAL bounds - >= -8196 @ 10.482
27.02/27.18	c GLOBAL bounds - >= -8196 @ 10.6256
27.41/27.57	c GLOBAL bounds - >= -8196 @ 10.7841
27.81/27.96	c GLOBAL bounds - >= -8196 @ 10.9138
28.20/28.36	c GLOBAL bounds - >= -8196 @ 11.0651
28.61/28.75	c GLOBAL bounds - >= -8196 @ 11.2227
29.02/29.14	c GLOBAL bounds - >= -8196 @ 11.3623
29.41/29.54	c GLOBAL bounds - >= -8196 @ 11.4898
29.81/29.94	c GLOBAL bounds - >= -8196 @ 11.6244
30.20/30.33	c GLOBAL bounds - >= -8196 @ 11.7677
30.61/30.73	c GLOBAL bounds - >= -8196 @ 11.8962
31.01/31.12	c GLOBAL bounds - >= -8196 @ 12.0463
31.41/31.51	c GLOBAL bounds - >= -8196 @ 12.1998
31.80/31.91	c GLOBAL bounds - >= -8196 @ 12.3255
32.20/32.30	c GLOBAL bounds - >= -8196 @ 12.4714
32.60/32.70	c GLOBAL bounds - >= -8196 @ 12.6149
32.90/33.09	c GLOBAL bounds - >= -8196 @ 12.7598
33.30/33.49	c GLOBAL bounds - >= -8196 @ 12.9186
33.69/33.88	c GLOBAL bounds - >= -8196 @ 13.0623
34.10/34.27	c GLOBAL bounds - >= -8196 @ 13.2126
34.50/34.67	c GLOBAL bounds - >= -8196 @ 13.3552
34.90/35.06	c GLOBAL bounds - >= -8196 @ 13.5015
35.30/35.45	c GLOBAL bounds - >= -8196 @ 13.6407
35.70/35.85	c GLOBAL bounds - >= -8196 @ 13.7734
36.10/36.24	c GLOBAL bounds - >= -8196 @ 13.9213
36.49/36.64	c GLOBAL bounds - >= -8196 @ 14.0681
36.90/37.03	c GLOBAL bounds - >= -8196 @ 14.2392
37.29/37.43	c GLOBAL bounds - >= -8196 @ 14.395
37.69/37.82	c GLOBAL bounds - >= -8196 @ 14.5252
38.09/38.22	c GLOBAL bounds - >= -8196 @ 14.6795
38.49/38.61	c GLOBAL bounds - >= -8196 @ 14.81
38.89/39.01	c GLOBAL bounds - >= -8196 @ 14.9568
39.28/39.40	c GLOBAL bounds - >= -8196 @ 15.0909
39.58/39.79	c GLOBAL bounds - >= -8196 @ 15.2336
39.99/40.19	c GLOBAL bounds - >= -8196 @ 15.3749
40.38/40.58	c GLOBAL bounds - >= -8196 @ 15.5345
40.78/40.98	c GLOBAL bounds - >= -8196 @ 15.6732
41.19/41.38	c GLOBAL bounds - >= -8196 @ 15.8198
41.58/41.77	c GLOBAL bounds - >= -8196 @ 15.9606
41.98/42.16	c GLOBAL bounds - >= -8196 @ 16.0985
42.37/42.56	c GLOBAL bounds - >= -8196 @ 16.2375
42.77/42.96	c GLOBAL bounds - >= -8196 @ 16.3886
43.18/43.35	c GLOBAL bounds - >= -8196 @ 16.539
43.57/43.75	c GLOBAL bounds - >= -8196 @ 16.6901
43.98/44.15	c GLOBAL bounds - >= -8196 @ 16.8233
44.37/44.55	c GLOBAL bounds - >= -8196 @ 16.9787
44.77/44.94	c GLOBAL bounds - >= -8196 @ 17.1023
45.17/45.34	c GLOBAL bounds - >= -8196 @ 17.2557
45.57/45.74	c GLOBAL bounds - >= -8196 @ 17.4006
45.97/46.14	c GLOBAL bounds - >= -8196 @ 17.5274
46.37/46.53	c GLOBAL bounds - >= -8196 @ 17.6777
46.77/46.93	c GLOBAL bounds - >= -8196 @ 17.8099
47.17/47.33	c GLOBAL bounds - >= -8196 @ 17.9476
47.56/47.73	c GLOBAL bounds - >= -8196 @ 18.0799
47.97/48.13	c GLOBAL bounds - >= -8196 @ 18.2315
48.36/48.53	c GLOBAL bounds - >= -8196 @ 18.3877
48.76/48.93	c GLOBAL bounds - >= -8196 @ 18.5379
49.16/49.34	c GLOBAL bounds - >= -8196 @ 18.6866
49.56/49.74	c GLOBAL bounds - >= -8196 @ 18.8228
49.97/50.14	c GLOBAL bounds - >= -8196 @ 18.9761
50.36/50.54	c GLOBAL bounds - >= -8196 @ 19.1239
50.76/50.93	c GLOBAL bounds - >= -8196 @ 19.2684
51.16/51.34	c GLOBAL bounds - >= -8196 @ 19.4288
51.56/51.73	c GLOBAL bounds - >= -8196 @ 19.5784
51.97/52.14	c GLOBAL bounds - >= -8196 @ 19.7263
52.36/52.54	c GLOBAL bounds - >= -8196 @ 19.8729
52.76/52.94	c GLOBAL bounds - >= -8196 @ 20.0165
53.15/53.36	c GLOBAL bounds - >= -8196 @ 20.1686
53.55/53.75	c GLOBAL bounds - >= -8196 @ 20.3145
53.96/54.15	c GLOBAL bounds - >= -8196 @ 20.4727
54.36/54.57	c GLOBAL bounds - >= -8196 @ 20.6176
54.75/54.97	c GLOBAL bounds - >= -8196 @ 20.7649
55.15/55.39	c GLOBAL bounds - >= -8196 @ 20.9171
55.65/55.80	c GLOBAL bounds - >= -8196 @ 21.0772
55.96/56.19	c GLOBAL bounds - >= -8196 @ 21.2237
56.45/56.60	c GLOBAL bounds - >= -8196 @ 21.3705
56.75/57.00	c GLOBAL bounds - >= -8196 @ 21.513
57.25/57.42	c GLOBAL bounds - >= -8196 @ 21.6711
57.65/57.82	c GLOBAL bounds - >= -8196 @ 21.8304
58.04/58.22	c GLOBAL bounds - >= -8196 @ 21.9725
58.44/58.62	c GLOBAL bounds - >= -8196 @ 22.1096
58.84/59.03	c GLOBAL bounds - >= -8196 @ 22.2609
59.24/59.43	c GLOBAL bounds - >= -8196 @ 22.4261
59.64/59.84	c GLOBAL bounds - >= -8196 @ 22.5997
60.04/60.24	c GLOBAL bounds - >= -8196 @ 22.7534
60.44/60.65	c GLOBAL bounds - >= -8196 @ 22.9006
60.85/61.05	c GLOBAL bounds - >= -8196 @ 23.0372
61.24/61.45	c GLOBAL bounds - >= -8196 @ 23.1974
61.63/61.85	c GLOBAL bounds - >= -8196 @ 23.3443
62.03/62.26	c GLOBAL bounds - >= -8196 @ 23.4992
62.44/62.66	c GLOBAL bounds - >= -8196 @ 23.6378
62.84/63.06	c GLOBAL bounds - >= -8196 @ 23.7687
63.23/63.46	c GLOBAL bounds - >= -8196 @ 23.9194
63.63/63.88	c GLOBAL bounds - >= -8196 @ 24.0764
64.03/64.28	c GLOBAL bounds - >= -8196 @ 24.2132
64.43/64.68	c GLOBAL bounds - >= -8196 @ 24.3531
64.83/65.08	c GLOBAL bounds - >= -8196 @ 24.4995
65.22/65.48	c GLOBAL bounds - >= -8196 @ 24.6655
65.63/65.89	c GLOBAL bounds - >= -8196 @ 24.8191
66.03/66.29	c GLOBAL bounds - >= -8196 @ 24.9645
66.43/66.69	c GLOBAL bounds - >= -8196 @ 25.1147
66.83/67.09	c GLOBAL bounds - >= -8196 @ 25.2608
67.23/67.49	c GLOBAL bounds - >= -8196 @ 25.4268
67.72/67.90	c GLOBAL bounds - >= -8196 @ 25.5924
68.12/68.30	c GLOBAL bounds - >= -8196 @ 25.7578
68.52/68.70	c GLOBAL bounds - >= -8196 @ 25.8956
68.93/69.12	c GLOBAL bounds - >= -8196 @ 26.052
69.32/69.52	c GLOBAL bounds - >= -8196 @ 26.2266
69.72/69.92	c GLOBAL bounds - >= -8196 @ 26.3815
70.11/70.33	c GLOBAL bounds - >= -8196 @ 26.5426
70.52/70.72	c GLOBAL bounds - >= -8196 @ 26.6947
70.92/71.13	c GLOBAL bounds - >= -8196 @ 26.8441
71.31/71.54	c GLOBAL bounds - >= -8196 @ 27.0028
71.71/71.95	c GLOBAL bounds - >= -8196 @ 27.1433
72.11/72.35	c GLOBAL bounds - >= -8196 @ 27.282
72.51/72.76	c GLOBAL bounds - >= -8196 @ 27.4536
72.92/73.16	c GLOBAL bounds - >= -8196 @ 27.5872
73.31/73.57	c GLOBAL bounds - >= -8196 @ 27.7374
73.71/73.98	c GLOBAL bounds - >= -8196 @ 27.8937
74.11/74.38	c GLOBAL bounds - >= -8196 @ 28.0435
74.51/74.79	c GLOBAL bounds - >= -8196 @ 28.2062
74.91/75.19	c GLOBAL bounds - >= -8196 @ 28.3447
75.30/75.59	c GLOBAL bounds - >= -8196 @ 28.4985
75.71/75.99	c GLOBAL bounds - >= -8196 @ 28.6431
76.20/76.41	c GLOBAL bounds - >= -8196 @ 28.7928
76.60/76.82	c GLOBAL bounds - >= -8196 @ 28.9602
77.00/77.22	c GLOBAL bounds - >= -8196 @ 29.1191
77.40/77.63	c GLOBAL bounds - >= -8196 @ 29.2958
77.80/78.02	c GLOBAL bounds - >= -8196 @ 29.4288
78.20/78.43	c GLOBAL bounds - >= -8196 @ 29.5812
78.60/78.83	c GLOBAL bounds - >= -8196 @ 29.7242
79.00/79.24	c GLOBAL bounds - >= -8196 @ 29.8698
79.39/79.65	c GLOBAL bounds - >= -8196 @ 30.014
79.80/80.06	c GLOBAL bounds - >= -8196 @ 30.1791
80.20/80.47	c GLOBAL bounds - >= -8196 @ 30.361
80.60/80.88	c GLOBAL bounds - >= -8196 @ 30.5249
81.00/81.28	c GLOBAL bounds - >= -8196 @ 30.6685
81.49/81.70	c GLOBAL bounds - >= -8196 @ 30.8237
81.90/82.12	c GLOBAL bounds - >= -8196 @ 30.9895
82.29/82.52	c GLOBAL bounds - >= -8196 @ 31.1445
82.69/82.93	c GLOBAL bounds - >= -8196 @ 31.3155
83.09/83.33	c GLOBAL bounds - >= -8196 @ 31.459
83.49/83.73	c GLOBAL bounds - >= -8196 @ 31.5959
83.89/84.14	c GLOBAL bounds - >= -8196 @ 31.7405
84.29/84.54	c GLOBAL bounds - >= -8196 @ 31.8898
84.68/84.96	c GLOBAL bounds - >= -8196 @ 32.0416
85.08/85.36	c GLOBAL bounds - >= -8196 @ 32.1982
85.49/85.77	c GLOBAL bounds - >= -8196 @ 32.3492
85.89/86.18	c GLOBAL bounds - >= -8196 @ 32.5029
86.28/86.58	c GLOBAL bounds - >= -8196 @ 32.6504
86.68/86.98	c GLOBAL bounds - >= -8196 @ 32.8132
87.08/87.38	c GLOBAL bounds - >= -8196 @ 32.957
87.48/87.79	c GLOBAL bounds - >= -8196 @ 33.104
87.98/88.21	c GLOBAL bounds - >= -8196 @ 33.2752
88.38/88.62	c GLOBAL bounds - >= -8196 @ 33.4324
88.78/89.04	c GLOBAL bounds - >= -8196 @ 33.5941
89.17/89.47	c GLOBAL bounds - >= -8196 @ 33.755
89.57/89.87	c GLOBAL bounds - >= -8196 @ 33.9061
89.98/90.29	c GLOBAL bounds - >= -8196 @ 34.0743
90.47/90.71	c GLOBAL bounds - >= -8196 @ 34.2579
90.88/91.12	c GLOBAL bounds - >= -8196 @ 34.4105
91.27/91.54	c GLOBAL bounds - >= -8196 @ 34.5807
91.67/91.94	c GLOBAL bounds - >= -8196 @ 34.7343
92.07/92.34	c GLOBAL bounds - >= -8196 @ 34.8821
92.47/92.75	c GLOBAL bounds - >= -8196 @ 35.0408
92.87/93.15	c GLOBAL bounds - >= -8196 @ 35.1954
93.27/93.56	c GLOBAL bounds - >= -8196 @ 35.36
93.67/93.97	c GLOBAL bounds - >= -8196 @ 35.5086
94.07/94.37	c GLOBAL bounds - >= -8196 @ 35.6494
94.46/94.77	c GLOBAL bounds - >= -8196 @ 35.8129
94.86/95.18	c GLOBAL bounds - >= -8196 @ 35.9488
95.26/95.58	c GLOBAL bounds - >= -8196 @ 36.1103
95.76/96.01	c GLOBAL bounds - >= -8196 @ 36.2809
96.16/96.42	c GLOBAL bounds - >= -8196 @ 36.4335
96.56/96.82	c GLOBAL bounds - >= -8196 @ 36.5915
96.96/97.27	c GLOBAL bounds - >= -8196 @ 36.7894
97.36/97.67	c GLOBAL bounds - >= -8196 @ 36.9325
97.76/98.09	c GLOBAL bounds - >= -8196 @ 37.0889
98.26/98.50	c GLOBAL bounds - >= -8196 @ 37.2406
98.65/98.90	c GLOBAL bounds - >= -8196 @ 37.3874
99.05/99.30	c GLOBAL bounds - >= -8196 @ 37.5462
99.45/99.74	c GLOBAL bounds - >= -8196 @ 37.7267
99.85/100.14	c GLOBAL bounds - >= -8196 @ 37.8752
100.26/100.56	c GLOBAL bounds - >= -8196 @ 38.0347
100.65/100.98	c GLOBAL bounds - >= -8196 @ 38.2084
101.05/101.38	c GLOBAL bounds - >= -8196 @ 38.3614
101.45/101.78	c GLOBAL bounds - >= -8196 @ 38.5059
101.85/102.18	c GLOBAL bounds - >= -8196 @ 38.6476
102.25/102.59	c GLOBAL bounds - >= -8196 @ 38.7903
102.65/102.99	c GLOBAL bounds - >= -8196 @ 38.9359
103.14/103.43	c GLOBAL bounds - >= -8196 @ 39.1289
103.54/103.84	c GLOBAL bounds - >= -8196 @ 39.2764
104.04/104.30	c GLOBAL bounds - >= -8196 @ 39.4837
104.44/104.72	c GLOBAL bounds - >= -8196 @ 39.6653
104.85/105.12	c GLOBAL bounds - >= -8196 @ 39.8144
105.24/105.53	c GLOBAL bounds - >= -8196 @ 39.9597
105.64/105.92	c GLOBAL bounds - >= -8196 @ 40.0943
106.03/106.32	c GLOBAL bounds - >= -8196 @ 40.237
106.44/106.72	c GLOBAL bounds - >= -8196 @ 40.3805
106.85/107.12	c GLOBAL bounds - >= -8196 @ 40.5293
107.23/107.52	c GLOBAL bounds - >= -8196 @ 40.679
107.64/107.93	c GLOBAL bounds - >= -8196 @ 40.8367
108.04/108.37	c GLOBAL bounds - >= -8196 @ 41.0116
108.54/108.81	c GLOBAL bounds - >= -8196 @ 41.2081
108.93/109.21	c GLOBAL bounds - >= -8196 @ 41.3654
109.33/109.62	c GLOBAL bounds - >= -8196 @ 41.5203
109.73/110.02	c GLOBAL bounds - >= -8196 @ 41.6589
110.13/110.42	c GLOBAL bounds - >= -8196 @ 41.8053
110.52/110.83	c GLOBAL bounds - >= -8196 @ 41.9575
110.93/111.24	c GLOBAL bounds - >= -8196 @ 42.0939
111.32/111.66	c GLOBAL bounds - >= -8196 @ 42.2537
111.73/112.09	c GLOBAL bounds - >= -8196 @ 42.4409
112.23/112.50	c GLOBAL bounds - >= -8196 @ 42.5868
112.63/112.92	c GLOBAL bounds - >= -8196 @ 42.7613
113.02/113.33	c GLOBAL bounds - >= -8196 @ 42.9117
113.42/113.74	c GLOBAL bounds - >= -8196 @ 43.0739
113.92/114.23	c GLOBAL bounds - >= -8196 @ 43.317
114.32/114.69	c GLOBAL bounds - >= -8196 @ 43.5285
114.72/115.08	c GLOBAL bounds - >= -8196 @ 43.6676
115.11/115.49	c GLOBAL bounds - >= -8196 @ 43.8212
115.52/115.89	c GLOBAL bounds - >= -8196 @ 43.9721
116.02/116.31	c GLOBAL bounds - >= -8196 @ 44.1485
116.41/116.72	c GLOBAL bounds - >= -8196 @ 44.3147
116.82/117.13	c GLOBAL bounds - >= -8196 @ 44.4865
117.21/117.54	c GLOBAL bounds - >= -8196 @ 44.6311
117.62/117.96	c GLOBAL bounds - >= -8196 @ 44.7982
118.01/118.36	c GLOBAL bounds - >= -8196 @ 44.953
118.41/118.76	c GLOBAL bounds - >= -8196 @ 45.1042
118.81/119.17	c GLOBAL bounds - >= -8196 @ 45.2681
119.21/119.59	c GLOBAL bounds - >= -8196 @ 45.4422
119.61/120.00	c GLOBAL bounds - >= -8196 @ 45.5869
120.01/120.40	c GLOBAL bounds - >= -8196 @ 45.7356
120.41/120.79	c GLOBAL bounds - >= -8196 @ 45.8872
120.82/121.19	c GLOBAL bounds - >= -8196 @ 46.0449
121.31/121.61	c GLOBAL bounds - >= -8196 @ 46.2149
121.71/122.03	c GLOBAL bounds - >= -8196 @ 46.3756
122.10/122.42	c GLOBAL bounds - >= -8196 @ 46.5392
122.50/122.82	c GLOBAL bounds - >= -8196 @ 46.6993
122.90/123.23	c GLOBAL bounds - >= -8196 @ 46.8517
123.30/123.64	c GLOBAL bounds - >= -8196 @ 46.9942
123.80/124.11	c GLOBAL bounds - >= -8196 @ 47.2184
124.20/124.51	c GLOBAL bounds - >= -8196 @ 47.3613
124.60/124.91	c GLOBAL bounds - >= -8196 @ 47.512
124.99/125.34	c GLOBAL bounds - >= -8196 @ 47.6996
125.40/125.77	c GLOBAL bounds - >= -8196 @ 47.8629
125.80/126.18	c GLOBAL bounds - >= -8196 @ 48.0305
126.29/126.60	c GLOBAL bounds - >= -8196 @ 48.2009
126.59/127.00	c GLOBAL bounds - >= -8196 @ 48.3434
127.09/127.40	c GLOBAL bounds - >= -8196 @ 48.5055
127.49/127.80	c GLOBAL bounds - >= -8196 @ 48.6636
127.89/128.20	c GLOBAL bounds - >= -8196 @ 48.8108
128.29/128.65	c GLOBAL bounds - >= -8196 @ 48.9877
128.69/129.05	c GLOBAL bounds - >= -8196 @ 49.1582
129.09/129.45	c GLOBAL bounds - >= -8196 @ 49.3142
129.49/129.85	c GLOBAL bounds - >= -8196 @ 49.4692
129.89/130.26	c GLOBAL bounds - >= -8196 @ 49.6467
130.38/130.72	c GLOBAL bounds - >= -8196 @ 49.8402
130.79/131.12	c GLOBAL bounds - >= -8196 @ 49.9971
131.18/131.52	c GLOBAL bounds - >= -8196 @ 50.1446
131.58/131.92	c GLOBAL bounds - >= -8196 @ 50.3112
131.98/132.32	c GLOBAL bounds - >= -8196 @ 50.4753
132.39/132.72	c GLOBAL bounds - >= -8196 @ 50.6325
132.79/133.13	c GLOBAL bounds - >= -8196 @ 50.7879
133.18/133.54	c GLOBAL bounds - >= -8196 @ 50.9279
133.18/133.55	c GLOBAL bounds - >= -3352 @ 50.9359
135.57/135.94	c GLOBAL bounds - >= -3352 @ 53.1801
135.57/135.99	c GLOBAL bounds - >= -3352 @ 53.2308
135.67/136.05	c GLOBAL bounds - >= -3352 @ 53.2838
135.67/136.07	c GLOBAL bounds - >= -3352 @ 53.3067
135.77/136.12	c GLOBAL bounds - >= -3352 @ 53.3588
135.77/136.17	c GLOBAL bounds - >= -3352 @ 53.4081
135.87/136.23	c GLOBAL bounds - >= -3352 @ 53.4668
135.87/136.25	c GLOBAL bounds - >= -3352 @ 53.489
135.87/136.28	c GLOBAL bounds - >= -3352 @ 53.5109
135.97/136.32	c GLOBAL bounds - >= -3352 @ 53.5581
135.97/136.35	c GLOBAL bounds - >= -3352 @ 53.5821
136.07/136.40	c GLOBAL bounds - >= -3352 @ 53.6321
136.07/136.45	c GLOBAL bounds - >= -3352 @ 53.6801
136.17/136.50	c GLOBAL bounds - >= -3352 @ 53.7293
136.17/136.52	c GLOBAL bounds - >= -3352 @ 53.7506
136.17/136.54	c GLOBAL bounds - >= -3352 @ 53.7723
136.17/136.56	c GLOBAL bounds - >= -3352 @ 53.7931
136.17/136.58	c GLOBAL bounds - >= -3352 @ 53.8138
136.27/136.60	c GLOBAL bounds - >= -3352 @ 53.8346
136.27/136.62	c GLOBAL bounds - >= -3352 @ 53.8534
136.27/136.67	c GLOBAL bounds - >= -3352 @ 53.8996
136.37/136.72	c GLOBAL bounds - >= -3352 @ 53.9495
136.37/136.77	c GLOBAL bounds - >= -3352 @ 53.9976
136.37/136.79	c GLOBAL bounds - >= -3352 @ 54.0194
136.47/136.81	c GLOBAL bounds - >= -3352 @ 54.0408
136.47/136.83	c GLOBAL bounds - >= -3352 @ 54.0602
136.47/136.85	c GLOBAL bounds - >= -3352 @ 54.0796
136.47/136.87	c GLOBAL bounds - >= -3352 @ 54.1026
136.57/136.90	c GLOBAL bounds - >= -3352 @ 54.1272
136.57/136.92	c GLOBAL bounds - >= -3352 @ 54.1518
136.57/136.94	c GLOBAL bounds - >= -3352 @ 54.1705
136.57/136.96	c GLOBAL bounds - >= -3352 @ 54.1939
136.57/136.99	c GLOBAL bounds - >= -3352 @ 54.2165
136.68/137.01	c GLOBAL bounds - >= -3352 @ 54.2401
136.68/137.03	c GLOBAL bounds - >= -3352 @ 54.2635
136.68/137.06	c GLOBAL bounds - >= -3352 @ 54.285
136.68/137.08	c GLOBAL bounds - >= -3352 @ 54.3048
136.68/137.09	c GLOBAL bounds - >= -3352 @ 54.3243
136.78/137.15	c GLOBAL bounds - >= -3352 @ 54.3805
136.87/137.20	c GLOBAL bounds - >= -3352 @ 54.4278
136.87/137.25	c GLOBAL bounds - >= -3352 @ 54.4767
136.87/137.29	c GLOBAL bounds - >= -3352 @ 54.5229
136.97/137.34	c GLOBAL bounds - >= -3352 @ 54.5713
136.97/137.39	c GLOBAL bounds - >= -3352 @ 54.618
137.07/137.44	c GLOBAL bounds - >= -3352 @ 54.6664
137.07/137.48	c GLOBAL bounds - >= -3352 @ 54.7118
137.17/137.53	c GLOBAL bounds - >= -3352 @ 54.7588
137.17/137.58	c GLOBAL bounds - >= -3352 @ 54.8045
137.27/137.60	c GLOBAL bounds - >= -3352 @ 54.825
137.27/137.62	c GLOBAL bounds - >= -3352 @ 54.8464
137.27/137.67	c GLOBAL bounds - >= -3352 @ 54.8921
137.27/137.69	c GLOBAL bounds - >= -3352 @ 54.9152
137.37/137.71	c GLOBAL bounds - >= -3352 @ 54.9382
137.37/137.74	c GLOBAL bounds - >= -3352 @ 54.9602
137.37/137.78	c GLOBAL bounds - >= -3352 @ 55.0039
137.46/137.80	c GLOBAL bounds - >= -3352 @ 55.0252
137.46/137.82	c GLOBAL bounds - >= -3352 @ 55.0466
137.46/137.87	c GLOBAL bounds - >= -3352 @ 55.0926
137.56/137.92	c GLOBAL bounds - >= -3352 @ 55.1364
137.56/137.94	c GLOBAL bounds - >= -3352 @ 55.1575
137.56/137.96	c GLOBAL bounds - >= -3352 @ 55.1769
137.56/137.98	c GLOBAL bounds - >= -3352 @ 55.1981
137.67/138.05	c GLOBAL bounds - >= -3352 @ 55.2676
137.67/138.07	c GLOBAL bounds - >= -3352 @ 55.2887
137.77/138.11	c GLOBAL bounds - >= -3352 @ 55.3276
137.77/138.13	c GLOBAL bounds - >= -3352 @ 55.3489
137.77/138.15	c GLOBAL bounds - >= -3352 @ 55.3695
137.77/138.17	c GLOBAL bounds - >= -3352 @ 55.3901
137.77/138.19	c GLOBAL bounds - >= -3352 @ 55.4111
137.86/138.21	c GLOBAL bounds - >= -3352 @ 55.4315
137.86/138.27	c GLOBAL bounds - >= -3352 @ 55.4862
137.97/138.30	c GLOBAL bounds - >= -3352 @ 55.5099
137.97/138.32	c GLOBAL bounds - >= -3352 @ 55.5334
137.97/138.37	c GLOBAL bounds - >= -3352 @ 55.5811
138.06/138.43	c GLOBAL bounds - >= -3352 @ 55.6371
138.06/138.45	c GLOBAL bounds - >= -3352 @ 55.6571
138.06/138.47	c GLOBAL bounds - >= -3352 @ 55.6772
138.16/138.52	c GLOBAL bounds - >= -3352 @ 55.7304
138.16/138.57	c GLOBAL bounds - >= -3352 @ 55.7757
138.16/138.59	c GLOBAL bounds - >= -3352 @ 55.7941
138.26/138.60	c GLOBAL bounds - >= -3352 @ 55.8131
138.26/138.65	c GLOBAL bounds - >= -3352 @ 55.8524
138.26/138.69	c GLOBAL bounds - >= -3352 @ 55.9007
138.36/138.74	c GLOBAL bounds - >= -3352 @ 55.9475
138.36/138.79	c GLOBAL bounds - >= -3352 @ 55.9964
138.46/138.84	c GLOBAL bounds - >= -3352 @ 56.0443
138.56/138.91	c GLOBAL bounds - >= -3352 @ 56.1117
138.56/138.95	c GLOBAL bounds - >= -3352 @ 56.1562
138.56/138.99	c GLOBAL bounds - >= -3352 @ 56.1972
138.67/139.04	c GLOBAL bounds - >= -3352 @ 56.2452
138.67/139.08	c GLOBAL bounds - >= -3352 @ 56.2844
138.77/139.12	c GLOBAL bounds - >= -3352 @ 56.323
138.77/139.16	c GLOBAL bounds - >= -3352 @ 56.3619
138.87/139.20	c GLOBAL bounds - >= -3352 @ 56.3997
138.87/139.26	c GLOBAL bounds - >= -3352 @ 56.4608
138.87/139.29	c GLOBAL bounds - >= -3352 @ 56.4865
138.96/139.31	c GLOBAL bounds - >= -3352 @ 56.5122
138.96/139.34	c GLOBAL bounds - >= -3352 @ 56.5372
138.96/139.37	c GLOBAL bounds - >= -3352 @ 56.5627
138.96/139.39	c GLOBAL bounds - >= -3352 @ 56.5876
139.06/139.44	c GLOBAL bounds - >= -3352 @ 56.6319
139.06/139.46	c GLOBAL bounds - >= -3352 @ 56.6577
139.16/139.50	c GLOBAL bounds - >= -3352 @ 56.6935
139.16/139.52	c GLOBAL bounds - >= -3352 @ 56.7188
139.16/139.55	c GLOBAL bounds - >= -3352 @ 56.7447
139.16/139.58	c GLOBAL bounds - >= -3352 @ 56.7707
139.26/139.60	c GLOBAL bounds - >= -3352 @ 56.7968
139.26/139.63	c GLOBAL bounds - >= -3352 @ 56.8225
139.26/139.66	c GLOBAL bounds - >= -3352 @ 56.85
139.26/139.68	c GLOBAL bounds - >= -3352 @ 56.8781
139.36/139.71	c GLOBAL bounds - >= -3352 @ 56.906
139.36/139.74	c GLOBAL bounds - >= -3352 @ 56.9321
139.36/139.76	c GLOBAL bounds - >= -3352 @ 56.9583
139.46/139.80	c GLOBAL bounds - >= -3352 @ 56.9975
139.46/139.83	c GLOBAL bounds - >= -3352 @ 57.0253
139.46/139.85	c GLOBAL bounds - >= -3352 @ 57.0473
139.46/139.88	c GLOBAL bounds - >= -3352 @ 57.0747
139.56/139.91	c GLOBAL bounds - >= -3352 @ 57.1022
139.56/139.94	c GLOBAL bounds - >= -3352 @ 57.1296
139.56/139.96	c GLOBAL bounds - >= -3352 @ 57.157
139.56/139.99	c GLOBAL bounds - >= -3352 @ 57.1826
139.66/140.01	c GLOBAL bounds - >= -3352 @ 57.2074
139.66/140.04	c GLOBAL bounds - >= -3352 @ 57.2327
139.66/140.06	c GLOBAL bounds - >= -3352 @ 57.2575
139.66/140.09	c GLOBAL bounds - >= -3352 @ 57.2822
139.76/140.11	c GLOBAL bounds - >= -3352 @ 57.307
139.76/140.14	c GLOBAL bounds - >= -3352 @ 57.332
139.76/140.16	c GLOBAL bounds - >= -3352 @ 57.357
139.76/140.19	c GLOBAL bounds - >= -3352 @ 57.3817
139.85/140.21	c GLOBAL bounds - >= -3352 @ 57.4066
139.85/140.24	c GLOBAL bounds - >= -3352 @ 57.4313
139.85/140.26	c GLOBAL bounds - >= -3352 @ 57.4563
139.85/140.29	c GLOBAL bounds - >= -3352 @ 57.4815
139.95/140.31	c GLOBAL bounds - >= -3352 @ 57.5068
139.95/140.34	c GLOBAL bounds - >= -3352 @ 57.5316
139.95/140.36	c GLOBAL bounds - >= -3352 @ 57.5556
139.95/140.39	c GLOBAL bounds - >= -3352 @ 57.5804
140.06/140.42	c GLOBAL bounds - >= -3352 @ 57.6158
140.06/140.45	c GLOBAL bounds - >= -3352 @ 57.6363
140.06/140.47	c GLOBAL bounds - >= -3352 @ 57.6601
140.06/140.49	c GLOBAL bounds - >= -3352 @ 57.6851
140.16/140.52	c GLOBAL bounds - >= -3352 @ 57.7102
140.16/140.54	c GLOBAL bounds - >= -3352 @ 57.7353
140.16/140.57	c GLOBAL bounds - >= -3352 @ 57.7603
140.26/140.60	c GLOBAL bounds - >= -3352 @ 57.7863
140.26/140.62	c GLOBAL bounds - >= -3352 @ 57.8125
140.26/140.65	c GLOBAL bounds - >= -3352 @ 57.8393
140.26/140.68	c GLOBAL bounds - >= -3352 @ 57.8673
140.36/140.70	c GLOBAL bounds - >= -3352 @ 57.893
140.36/140.73	c GLOBAL bounds - >= -3352 @ 57.9182
140.36/140.75	c GLOBAL bounds - >= -3352 @ 57.9432
140.36/140.78	c GLOBAL bounds - >= -3352 @ 57.9682
140.46/140.80	c GLOBAL bounds - >= -3352 @ 57.9932
140.46/140.84	c GLOBAL bounds - >= -3352 @ 58.028
140.46/140.87	c GLOBAL bounds - >= -3352 @ 58.0637
140.56/140.90	c GLOBAL bounds - >= -3352 @ 58.0892
140.56/140.93	c GLOBAL bounds - >= -3352 @ 58.1137
140.56/140.95	c GLOBAL bounds - >= -3352 @ 58.1383
140.56/140.97	c GLOBAL bounds - >= -3352 @ 58.1628
140.56/141.00	c GLOBAL bounds - >= -3352 @ 58.1883
140.66/141.03	c GLOBAL bounds - >= -3352 @ 58.2133
140.66/141.05	c GLOBAL bounds - >= -3352 @ 58.2383
140.66/141.08	c GLOBAL bounds - >= -3352 @ 58.2633
140.66/141.10	c GLOBAL bounds - >= -3352 @ 58.2886
140.76/141.13	c GLOBAL bounds - >= -3352 @ 58.3142
140.76/141.15	c GLOBAL bounds - >= -3352 @ 58.3397
140.76/141.18	c GLOBAL bounds - >= -3352 @ 58.367
140.86/141.21	c GLOBAL bounds - >= -3352 @ 58.3954
140.86/141.24	c GLOBAL bounds - >= -3352 @ 58.4238
140.86/141.26	c GLOBAL bounds - >= -3352 @ 58.4521
140.86/141.29	c GLOBAL bounds - >= -3352 @ 58.4804
140.96/141.32	c GLOBAL bounds - >= -3352 @ 58.5087
140.96/141.35	c GLOBAL bounds - >= -3352 @ 58.5359
140.96/141.38	c GLOBAL bounds - >= -3352 @ 58.5629
141.06/141.40	c GLOBAL bounds - >= -3352 @ 58.5888
141.06/141.43	c GLOBAL bounds - >= -3352 @ 58.6145
141.06/141.45	c GLOBAL bounds - >= -3352 @ 58.6411
141.06/141.48	c GLOBAL bounds - >= -3352 @ 58.6669
141.16/141.51	c GLOBAL bounds - >= -3352 @ 58.6927
141.16/141.53	c GLOBAL bounds - >= -3352 @ 58.7183
141.16/141.56	c GLOBAL bounds - >= -3352 @ 58.7445
141.16/141.58	c GLOBAL bounds - >= -3352 @ 58.7706
141.26/141.61	c GLOBAL bounds - >= -3352 @ 58.7961
141.26/141.64	c GLOBAL bounds - >= -3352 @ 58.8217
141.26/141.66	c GLOBAL bounds - >= -3352 @ 58.8456
141.26/141.69	c GLOBAL bounds - >= -3352 @ 58.8708
141.36/141.71	c GLOBAL bounds - >= -3352 @ 58.8957
141.36/141.74	c GLOBAL bounds - >= -3352 @ 58.9212
141.36/141.76	c GLOBAL bounds - >= -3352 @ 58.9464
141.36/141.79	c GLOBAL bounds - >= -3352 @ 58.9712
141.46/141.81	c GLOBAL bounds - >= -3352 @ 58.9951
141.46/141.84	c GLOBAL bounds - >= -3352 @ 59.0202
141.46/141.86	c GLOBAL bounds - >= -3352 @ 59.0453
141.46/141.89	c GLOBAL bounds - >= -3352 @ 59.0701
141.56/141.91	c GLOBAL bounds - >= -3352 @ 59.0949
141.56/141.94	c GLOBAL bounds - >= -3352 @ 59.1198
141.56/141.96	c GLOBAL bounds - >= -3352 @ 59.145
141.56/141.99	c GLOBAL bounds - >= -3352 @ 59.1697
141.66/142.01	c GLOBAL bounds - >= -3352 @ 59.1948
141.66/142.04	c GLOBAL bounds - >= -3352 @ 59.2199
141.66/142.06	c GLOBAL bounds - >= -3352 @ 59.2448
141.66/142.09	c GLOBAL bounds - >= -3352 @ 59.2695
141.76/142.11	c GLOBAL bounds - >= -3352 @ 59.2947
141.76/142.14	c GLOBAL bounds - >= -3352 @ 59.3196
141.76/142.16	c GLOBAL bounds - >= -3352 @ 59.3445
141.76/142.19	c GLOBAL bounds - >= -3352 @ 59.3692
141.85/142.21	c GLOBAL bounds - >= -3352 @ 59.3941
141.85/142.24	c GLOBAL bounds - >= -3352 @ 59.4191
141.85/142.26	c GLOBAL bounds - >= -3352 @ 59.4445
141.85/142.29	c GLOBAL bounds - >= -3352 @ 59.47
141.95/142.31	c GLOBAL bounds - >= -3352 @ 59.4942
141.95/142.34	c GLOBAL bounds - >= -3352 @ 59.5191
141.95/142.36	c GLOBAL bounds - >= -3352 @ 59.5443
141.95/142.39	c GLOBAL bounds - >= -3352 @ 59.5692
142.05/142.41	c GLOBAL bounds - >= -3352 @ 59.5942
142.05/142.44	c GLOBAL bounds - >= -3352 @ 59.619
142.05/142.46	c GLOBAL bounds - >= -3352 @ 59.644
142.05/142.49	c GLOBAL bounds - >= -3352 @ 59.6694
142.15/142.51	c GLOBAL bounds - >= -3352 @ 59.6935
142.15/142.54	c GLOBAL bounds - >= -3352 @ 59.7188
142.15/142.56	c GLOBAL bounds - >= -3352 @ 59.7439
142.15/142.59	c GLOBAL bounds - >= -3352 @ 59.7695
142.25/142.62	c GLOBAL bounds - >= -3352 @ 59.7962
142.25/142.65	c GLOBAL bounds - >= -3352 @ 59.8236
142.25/142.67	c GLOBAL bounds - >= -3352 @ 59.8509
142.35/142.70	c GLOBAL bounds - >= -3352 @ 59.8766
142.35/142.72	c GLOBAL bounds - >= -3352 @ 59.9025
142.35/142.75	c GLOBAL bounds - >= -3352 @ 59.9303
142.35/142.78	c GLOBAL bounds - >= -3352 @ 59.9574
142.45/142.81	c GLOBAL bounds - >= -3352 @ 59.9854
142.45/142.84	c GLOBAL bounds - >= -3352 @ 60.0134
142.45/142.86	c GLOBAL bounds - >= -3352 @ 60.0396
142.45/142.89	c GLOBAL bounds - >= -3352 @ 60.0646
142.55/142.91	c GLOBAL bounds - >= -3352 @ 60.0901
142.55/142.99	c GLOBAL bounds - >= -3352 @ 60.1678
142.65/143.04	c GLOBAL bounds - >= -3352 @ 60.2129
142.65/143.06	c GLOBAL bounds - >= -3352 @ 60.2375
142.65/143.09	c GLOBAL bounds - >= -3352 @ 60.2617
142.75/143.11	c GLOBAL bounds - >= -3352 @ 60.2858
142.75/143.14	c GLOBAL bounds - >= -3352 @ 60.3119
142.75/143.16	c GLOBAL bounds - >= -3352 @ 60.3387
142.75/143.19	c GLOBAL bounds - >= -3352 @ 60.3653
142.85/143.22	c GLOBAL bounds - >= -3352 @ 60.3906
142.85/143.24	c GLOBAL bounds - >= -3352 @ 60.4171
142.85/143.27	c GLOBAL bounds - >= -3352 @ 60.4395
142.85/143.29	c GLOBAL bounds - >= -3352 @ 60.4631
142.95/143.32	c GLOBAL bounds - >= -3352 @ 60.49
142.95/143.34	c GLOBAL bounds - >= -3352 @ 60.5172
142.95/143.37	c GLOBAL bounds - >= -3352 @ 60.5445
143.05/143.40	c GLOBAL bounds - >= -3352 @ 60.5717
143.05/143.43	c GLOBAL bounds - >= -3352 @ 60.599
143.05/143.45	c GLOBAL bounds - >= -3352 @ 60.6264
143.05/143.48	c GLOBAL bounds - >= -3352 @ 60.654
143.15/143.51	c GLOBAL bounds - >= -3352 @ 60.6812
143.15/143.54	c GLOBAL bounds - >= -3352 @ 60.7083
143.15/143.56	c GLOBAL bounds - >= -3352 @ 60.7356
143.15/143.59	c GLOBAL bounds - >= -3352 @ 60.7628
143.25/143.62	c GLOBAL bounds - >= -3352 @ 60.79
143.25/143.65	c GLOBAL bounds - >= -3352 @ 60.8172
143.25/143.67	c GLOBAL bounds - >= -3352 @ 60.844
143.35/143.70	c GLOBAL bounds - >= -3352 @ 60.8685
143.35/143.72	c GLOBAL bounds - >= -3352 @ 60.8928
143.35/143.75	c GLOBAL bounds - >= -3352 @ 60.9169
143.35/143.77	c GLOBAL bounds - >= -3352 @ 60.9412
143.35/143.79	c GLOBAL bounds - >= -3352 @ 60.9651
143.45/143.82	c GLOBAL bounds - >= -3352 @ 60.989
143.45/143.84	c GLOBAL bounds - >= -3352 @ 61.0063
143.45/143.86	c GLOBAL bounds - >= -3352 @ 61.0304
143.45/143.88	c GLOBAL bounds - >= -3352 @ 61.0478
143.45/143.88	c GLOBAL bounds - >= -3352 @ 61.0538
143.45/143.89	c GLOBAL bounds - >= -3352 @ 61.0568
143.45/143.89	c GLOBAL bounds - >= -3352 @ 61.0617
143.45/143.89	c GLOBAL bounds - >= -3352 @ 61.0649
143.55/143.90	c GLOBAL bounds - >= -3352 @ 61.0677
143.55/143.90	c GLOBAL bounds - >= -3352 @ 61.0732
143.55/143.91	c GLOBAL bounds - >= -3352 @ 61.0801
143.55/143.92	c GLOBAL bounds - >= -3352 @ 61.0855
143.55/143.92	c GLOBAL bounds - >= -3352 @ 61.0919
143.55/143.93	c GLOBAL bounds - >= -3352 @ 61.0982
143.55/143.94	c GLOBAL bounds - >= -3352 @ 61.1085
143.95/144.34	c GLOBAL bounds - >= -3352 @ 61.2485
143.95/144.39	c GLOBAL bounds - >= -3352 @ 61.2999
144.35/144.79	c GLOBAL bounds - >= -3352 @ 61.4401
144.45/144.81	c GLOBAL bounds - >= -3352 @ 61.4632
144.85/145.21	c GLOBAL bounds - >= -3352 @ 61.6031
144.85/145.23	c GLOBAL bounds - >= -3352 @ 61.6261
145.24/145.63	c GLOBAL bounds - >= -3352 @ 61.7734
145.24/145.66	c GLOBAL bounds - >= -3352 @ 61.8017
145.65/146.06	c GLOBAL bounds - >= -3352 @ 61.9424
145.65/146.09	c GLOBAL bounds - >= -3352 @ 61.9722
146.04/146.49	c GLOBAL bounds - >= -3352 @ 62.1184
146.54/147.00	c GLOBAL bounds - >= -3352 @ 62.6241
147.04/147.40	c GLOBAL bounds - >= -3352 @ 62.7702
659.88/661.64	c #Conflicts:       1000 | #Constraints:     404069
659.88/661.64	c #Conflicts:       2000 | #Constraints:     405069
659.88/661.64	c INPROCESSING
659.88/661.64	c GARBAGE COLLECT
659.88/661.64	c #Conflicts:       3000 | #Constraints:     396801
659.88/661.64	c #Conflicts:       4000 | #Constraints:     397801
659.88/661.64	c INPROCESSING
659.88/661.64	c GARBAGE COLLECT
659.88/661.64	c #Conflicts:       5000 | #Constraints:     397237
659.88/661.64	c #Conflicts:       6000 | #Constraints:     398237
659.88/661.64	c INPROCESSING
659.88/661.64	c GARBAGE COLLECT
659.88/661.64	c #Conflicts:       7000 | #Constraints:     397285
659.88/661.64	c #Conflicts:       8000 | #Constraints:     398285
659.88/661.64	c GLOBAL bounds - >= -3352 @ 573.651
660.29/662.03	c GLOBAL bounds - >= -3352 @ 573.795
2323.63/2329.83	c #Conflicts:       9000 | #Constraints:     399286
2323.63/2329.83	c INPROCESSING
2323.63/2329.83	c GARBAGE COLLECT
2323.63/2329.83	c #Conflicts:      10000 | #Constraints:     397960
2323.63/2329.83	c #Conflicts:      11000 | #Constraints:     398960
2323.63/2329.83	c #Conflicts:      12000 | #Constraints:     399960
2323.63/2329.83	c INPROCESSING
2323.63/2329.83	c GARBAGE COLLECT
2323.63/2329.83	c #Conflicts:      13000 | #Constraints:     398398
2323.63/2329.83	c #Conflicts:      14000 | #Constraints:     399398
2323.63/2329.83	c #Conflicts:      15000 | #Constraints:     400399
2323.63/2329.83	c INPROCESSING
2323.63/2329.83	c GARBAGE COLLECT
2323.63/2329.83	c #Conflicts:      16000 | #Constraints:     398624
2323.63/2329.83	c #Conflicts:      17000 | #Constraints:     399624
2323.63/2329.83	c #Conflicts:      18000 | #Constraints:     400624
2323.63/2329.83	c INPROCESSING
2323.63/2329.83	c GARBAGE COLLECT
2323.63/2329.83	c #Conflicts:      19000 | #Constraints:     395021
2323.63/2329.83	c #Conflicts:      20000 | #Constraints:     396021
2323.63/2329.83	c #Conflicts:      21000 | #Constraints:     397021
2323.63/2329.83	c INPROCESSING
2323.63/2329.83	c GARBAGE COLLECT
2323.63/2329.83	c #Conflicts:      22000 | #Constraints:     394853
2323.63/2329.83	c #Conflicts:      23000 | #Constraints:     395853
2323.63/2329.83	c #Conflicts:      24000 | #Constraints:     396853
2323.63/2329.83	c #Conflicts:      25000 | #Constraints:     397853
2323.63/2329.83	c INPROCESSING
2323.63/2329.83	c GARBAGE COLLECT
2323.63/2329.83	c rational objective -3183.81
2366.12/2372.44	c #Conflicts:      26000 | #Constraints:     395479
2366.12/2372.44	c GLOBAL bounds - >= -3352 @ 2272.8
2366.52/2372.83	c GLOBAL bounds - >= -3352 @ 2272.92
2855.19/2862.79	c #Conflicts:      27000 | #Constraints:     396480
2855.19/2862.79	c #Conflicts:      28000 | #Constraints:     397480
2855.19/2862.79	c #Conflicts:      29000 | #Constraints:     398480
2855.19/2862.79	c INPROCESSING
2855.19/2862.79	c GARBAGE COLLECT
2855.19/2862.79	c #Conflicts:      30000 | #Constraints:     395861
2855.19/2862.79	c #Conflicts:      31000 | #Constraints:     396861
2855.19/2862.79	c #Conflicts:      32000 | #Constraints:     397861
2855.19/2862.79	c #Conflicts:      33000 | #Constraints:     398861
2855.19/2862.79	c INPROCESSING
2855.19/2862.79	c GARBAGE COLLECT
2855.19/2862.79	c #Conflicts:      34000 | #Constraints:     396141
2855.19/2862.79	c #Conflicts:      35000 | #Constraints:     397141
2855.19/2862.79	c #Conflicts:      36000 | #Constraints:     398141
2855.19/2862.79	c #Conflicts:      37000 | #Constraints:     399141
2855.19/2862.79	c INPROCESSING
2855.19/2862.79	c GARBAGE COLLECT
2855.19/2862.79	c #Conflicts:      38000 | #Constraints:     396117
2855.19/2862.79	c GLOBAL bounds - >= -3352 @ 2759.9
2855.59/2863.18	c GLOBAL bounds - >= -3352 @ 2760.05
2855.98/2863.58	c GLOBAL bounds - >= -3352 @ 2760.18
2856.38/2863.98	c GLOBAL bounds - >= -3352 @ 2760.33
2856.79/2864.38	c GLOBAL bounds - >= -3352 @ 2760.47
2857.18/2864.78	c GLOBAL bounds - >= -3352 @ 2760.61
2857.58/2865.17	c GLOBAL bounds - >= -3352 @ 2760.77
2857.98/2865.57	c GLOBAL bounds - >= -3352 @ 2760.92
2858.38/2865.97	c GLOBAL bounds - >= -3352 @ 2761.06
2858.78/2866.36	c GLOBAL bounds - >= -3352 @ 2761.19
2859.18/2866.76	c GLOBAL bounds - >= -3352 @ 2761.34
2859.58/2867.16	c GLOBAL bounds - >= -3352 @ 2761.48
2859.97/2867.56	c GLOBAL bounds - >= -3352 @ 2761.64
2860.38/2867.95	c GLOBAL bounds - >= -3352 @ 2761.8
2860.77/2868.35	c GLOBAL bounds - >= -3352 @ 2761.95
2861.17/2868.75	c GLOBAL bounds - >= -3352 @ 2762.09
2861.58/2869.14	c GLOBAL bounds - >= -3352 @ 2762.23
2861.97/2869.54	c GLOBAL bounds - >= -3352 @ 2762.38
2862.37/2869.94	c GLOBAL bounds - >= -3352 @ 2762.54
2862.77/2870.34	c GLOBAL bounds - >= -3352 @ 2762.69
2863.17/2870.74	c GLOBAL bounds - >= -3352 @ 2762.84
2863.58/2871.13	c GLOBAL bounds - >= -3352 @ 2762.99
2863.97/2871.53	c GLOBAL bounds - >= -3352 @ 2763.12
2864.37/2871.93	c GLOBAL bounds - >= -3352 @ 2763.27
2864.76/2872.33	c GLOBAL bounds - >= -3352 @ 2763.41
2865.16/2872.73	c GLOBAL bounds - >= -3352 @ 2763.56
2865.57/2873.13	c GLOBAL bounds - >= -3352 @ 2763.71
2865.96/2873.52	c GLOBAL bounds - >= -3352 @ 2763.87
2866.36/2873.92	c GLOBAL bounds - >= -3352 @ 2764.02
2866.76/2874.32	c GLOBAL bounds - >= -3352 @ 2764.18
2867.16/2874.72	c GLOBAL bounds - >= -3352 @ 2764.32
2867.56/2875.15	c GLOBAL bounds - >= -3352 @ 2764.49
2867.96/2875.57	c GLOBAL bounds - >= -3352 @ 2764.67
2868.35/2876.00	c GLOBAL bounds - >= -3352 @ 2764.83
2868.85/2876.42	c GLOBAL bounds - >= -3352 @ 2764.99
2869.25/2876.85	c GLOBAL bounds - >= -3352 @ 2765.16
2869.65/2877.27	c GLOBAL bounds - >= -3352 @ 2765.33
2870.15/2877.70	c GLOBAL bounds - >= -3352 @ 2765.49
2870.56/2878.12	c GLOBAL bounds - >= -3352 @ 2765.66
2870.95/2878.55	c GLOBAL bounds - >= -3352 @ 2765.83
2871.35/2878.98	c GLOBAL bounds - >= -3352 @ 2766
2871.85/2879.40	c #Conflicts:       1000 | #Constraints:       2074
2871.85/2879.40	c GLOBAL bounds - >= -3352 @ 2766.18
2872.25/2879.83	c GLOBAL bounds - >= -3352 @ 2766.35
2872.64/2880.26	c GLOBAL bounds - >= -3352 @ 2766.52
2873.04/2880.68	c GLOBAL bounds - >= -3352 @ 2766.69
2873.55/2881.11	c GLOBAL bounds - >= -3352 @ 2766.84
2873.94/2881.54	c GLOBAL bounds - >= -3352 @ 2767.01
2874.34/2881.97	c GLOBAL bounds - >= -3352 @ 2767.18
2874.74/2882.40	c GLOBAL bounds - >= -3352 @ 2767.36
2875.24/2882.83	c GLOBAL bounds - >= -3352 @ 2767.53
2875.64/2883.25	c GLOBAL bounds - >= -3352 @ 2767.71
2876.04/2883.68	c GLOBAL bounds - >= -3352 @ 2767.88
2876.54/2884.11	c GLOBAL bounds - >= -3352 @ 2768.05
2876.94/2884.54	c GLOBAL bounds - >= -3352 @ 2768.23
2877.34/2884.97	c GLOBAL bounds - >= -3352 @ 2768.4
2877.84/2885.41	c GLOBAL bounds - >= -3352 @ 2768.59
2878.23/2885.84	c GLOBAL bounds - >= -3352 @ 2768.77
2878.63/2886.27	c GLOBAL bounds - >= -3352 @ 2768.95
2879.03/2886.70	c GLOBAL bounds - >= -3352 @ 2769.12
2879.44/2887.09	c GLOBAL bounds - >= -3352 @ 2769.28
2879.83/2887.49	c GLOBAL bounds - >= -3352 @ 2769.42
2880.23/2887.89	c GLOBAL bounds - >= -3352 @ 2769.56
2880.73/2888.32	c GLOBAL bounds - >= -3352 @ 2769.75
2881.12/2888.75	c GLOBAL bounds - >= -3352 @ 2769.92
2881.53/2889.18	c GLOBAL bounds - >= -3352 @ 2770.11
2882.03/2889.62	c GLOBAL bounds - >= -3352 @ 2770.28
2882.43/2890.06	c GLOBAL bounds - >= -3352 @ 2770.46
2882.83/2890.49	c GLOBAL bounds - >= -3352 @ 2770.63
2883.32/2890.92	c GLOBAL bounds - >= -3352 @ 2770.82
2883.72/2891.36	c GLOBAL bounds - >= -3352 @ 2771.01
2884.21/2891.80	c GLOBAL bounds - >= -3352 @ 2771.17
2884.61/2892.24	c GLOBAL bounds - >= -3352 @ 2771.37
2885.02/2892.69	c GLOBAL bounds - >= -3352 @ 2771.58
2885.52/2893.13	c GLOBAL bounds - >= -3352 @ 2771.78
2885.91/2893.57	c GLOBAL bounds - >= -3352 @ 2771.96
2886.42/2894.01	c GLOBAL bounds - >= -3352 @ 2772.16
2886.81/2894.45	c GLOBAL bounds - >= -3352 @ 2772.34
2887.21/2894.88	c GLOBAL bounds - >= -3352 @ 2772.51
2887.71/2895.32	c GLOBAL bounds - >= -3352 @ 2772.69
2888.11/2895.75	c GLOBAL bounds - >= -3352 @ 2772.88
2888.52/2896.17	c GLOBAL bounds - >= -3352 @ 2773.05
2889.01/2896.61	c GLOBAL bounds - >= -3352 @ 2773.23
2889.41/2897.04	c GLOBAL bounds - >= -3352 @ 2773.4
2889.81/2897.47	c GLOBAL bounds - >= -3352 @ 2773.59
2890.20/2897.87	c GLOBAL bounds - >= -3352 @ 2773.72
2890.60/2898.27	c GLOBAL bounds - >= -3352 @ 2773.87
2891.01/2898.69	c GLOBAL bounds - >= -3352 @ 2774.05
2891.51/2899.13	c GLOBAL bounds - >= -3352 @ 2774.24
2891.90/2899.56	c GLOBAL bounds - >= -3352 @ 2774.42
2892.30/2899.99	c GLOBAL bounds - >= -3352 @ 2774.6
2892.70/2900.39	c GLOBAL bounds - >= -3352 @ 2774.74
2893.19/2900.80	c GLOBAL bounds - >= -3352 @ 2774.88
2893.60/2901.23	c GLOBAL bounds - >= -3352 @ 2775.07
2894.00/2901.66	c GLOBAL bounds - >= -3352 @ 2775.24
2894.40/2902.06	c GLOBAL bounds - >= -3352 @ 2775.39
2894.79/2902.49	c GLOBAL bounds - >= -3352 @ 2775.57
2895.29/2902.92	c GLOBAL bounds - >= -3352 @ 2775.75
2895.69/2903.37	c GLOBAL bounds - >= -3352 @ 2775.96
2896.19/2903.80	c GLOBAL bounds - >= -3352 @ 2776.15
2896.59/2904.20	c GLOBAL bounds - >= -3352 @ 2776.32
2896.98/2904.60	c GLOBAL bounds - >= -3352 @ 2776.46
2897.29/2905.00	c GLOBAL bounds - >= -3352 @ 2776.6
2897.78/2905.41	c GLOBAL bounds - >= -3352 @ 2776.77
2898.19/2905.82	c GLOBAL bounds - >= -3352 @ 2776.93
2898.58/2906.22	c GLOBAL bounds - >= -3352 @ 2777.09
2898.98/2906.62	c GLOBAL bounds - >= -3352 @ 2777.25
2899.39/2907.02	c GLOBAL bounds - >= -3352 @ 2777.4
2899.78/2907.46	c GLOBAL bounds - >= -3352 @ 2777.59
2900.28/2907.90	c GLOBAL bounds - >= -3352 @ 2777.78
2900.68/2908.33	c GLOBAL bounds - >= -3352 @ 2777.95
2901.08/2908.73	c GLOBAL bounds - >= -3352 @ 2778.09
2901.48/2909.13	c GLOBAL bounds - >= -3352 @ 2778.25
2901.88/2909.53	c GLOBAL bounds - >= -3352 @ 2778.39
2902.27/2909.94	c GLOBAL bounds - >= -3352 @ 2778.56
2902.67/2910.37	c GLOBAL bounds - >= -3352 @ 2778.73
2903.07/2910.79	c GLOBAL bounds - >= -3352 @ 2778.91
2903.57/2911.23	c GLOBAL bounds - >= -3352 @ 2779.1
2903.97/2911.67	c GLOBAL bounds - >= -3352 @ 2779.3
2904.47/2912.13	c GLOBAL bounds - >= -3352 @ 2779.5
2904.87/2912.53	c GLOBAL bounds - >= -3352 @ 2779.63
2905.26/2912.93	c GLOBAL bounds - >= -3352 @ 2779.78
2905.67/2913.33	c GLOBAL bounds - >= -3352 @ 2779.93
2906.06/2913.73	c GLOBAL bounds - >= -3352 @ 2780.1
2906.47/2914.14	c GLOBAL bounds - >= -3352 @ 2780.26
2906.86/2914.54	c GLOBAL bounds - >= -3352 @ 2780.41
2907.26/2914.95	c GLOBAL bounds - >= -3352 @ 2780.57
2907.67/2915.35	c GLOBAL bounds - >= -3352 @ 2780.71
2908.06/2915.76	c GLOBAL bounds - >= -3352 @ 2780.87
2908.47/2916.16	c GLOBAL bounds - >= -3352 @ 2781.02
2908.85/2916.56	c GLOBAL bounds - >= -3352 @ 2781.17
2909.26/2916.96	c GLOBAL bounds - >= -3352 @ 2781.32
2909.66/2917.37	c GLOBAL bounds - >= -3352 @ 2781.46
2910.05/2917.77	c GLOBAL bounds - >= -3352 @ 2781.61
2910.46/2918.17	c GLOBAL bounds - >= -3352 @ 2781.76
2910.86/2918.57	c GLOBAL bounds - >= -3352 @ 2781.92
2911.25/2918.98	c GLOBAL bounds - >= -3352 @ 2782.07
2911.25/2918.98	c GLOBAL bounds - >= -3352 @ 2782.07
2911.36/2919.02	c GLOBAL bounds - >= -3352 @ 2782.11
2911.36/2919.05	c GLOBAL bounds - >= -3352 @ 2782.14
2911.36/2919.07	c GLOBAL bounds - >= -3352 @ 2782.17
2911.36/2919.10	c GLOBAL bounds - >= -3352 @ 2782.19
2911.46/2919.13	c GLOBAL bounds - >= -3352 @ 2782.22
2911.46/2919.15	c GLOBAL bounds - >= -3352 @ 2782.24
2911.46/2919.19	c GLOBAL bounds - >= -3352 @ 2782.28
2911.55/2919.23	c GLOBAL bounds - >= -3352 @ 2782.32
2911.55/2919.27	c GLOBAL bounds - >= -3352 @ 2782.36
2911.65/2919.31	c GLOBAL bounds - >= -3352 @ 2782.4
2911.65/2919.33	c GLOBAL bounds - >= -3352 @ 2782.42
2911.65/2919.36	c GLOBAL bounds - >= -3352 @ 2782.45
2911.65/2919.38	c GLOBAL bounds - >= -3352 @ 2782.48
2911.75/2919.41	c GLOBAL bounds - >= -3352 @ 2782.5
2911.75/2919.43	c GLOBAL bounds - >= -3352 @ 2782.52
2911.75/2919.45	c GLOBAL bounds - >= -3352 @ 2782.55
2911.75/2919.47	c GLOBAL bounds - >= -3352 @ 2782.57
2911.85/2919.50	c GLOBAL bounds - >= -3352 @ 2782.59
2911.85/2919.52	c GLOBAL bounds - >= -3352 @ 2782.61
2911.85/2919.53	c GLOBAL bounds - >= -3352 @ 2782.62
2911.85/2919.55	c GLOBAL bounds - >= -3352 @ 2782.64
2911.85/2919.58	c GLOBAL bounds - >= -3352 @ 2782.67
2911.95/2919.60	c GLOBAL bounds - >= -3352 @ 2782.69
2911.95/2919.62	c GLOBAL bounds - >= -3352 @ 2782.71
2911.95/2919.65	c GLOBAL bounds - >= -3352 @ 2782.73
2911.95/2919.67	c GLOBAL bounds - >= -3352 @ 2782.76
2911.95/2919.69	c GLOBAL bounds - >= -3352 @ 2782.78
2912.05/2919.71	c GLOBAL bounds - >= -3352 @ 2782.8
2912.05/2919.73	c GLOBAL bounds - >= -3352 @ 2782.82
2912.05/2919.75	c GLOBAL bounds - >= -3352 @ 2782.84
2912.05/2919.77	c GLOBAL bounds - >= -3352 @ 2782.86
2912.05/2919.79	c GLOBAL bounds - >= -3352 @ 2782.88
2912.15/2919.81	c GLOBAL bounds - >= -3352 @ 2782.89
2912.15/2919.82	c GLOBAL bounds - >= -3352 @ 2782.91
2912.15/2919.84	c GLOBAL bounds - >= -3352 @ 2782.93
2912.15/2919.86	c GLOBAL bounds - >= -3352 @ 2782.94
2912.15/2919.87	c GLOBAL bounds - >= -3352 @ 2782.96
2912.15/2919.89	c GLOBAL bounds - >= -3352 @ 2782.98
2912.25/2919.91	c GLOBAL bounds - >= -3352 @ 2783
2912.25/2919.93	c GLOBAL bounds - >= -3352 @ 2783.01
2912.25/2919.94	c GLOBAL bounds - >= -3352 @ 2783.03
2912.25/2919.96	c GLOBAL bounds - >= -3352 @ 2783.05
2912.25/2919.99	c GLOBAL bounds - >= -3352 @ 2783.07
2912.35/2920.01	c GLOBAL bounds - >= -3352 @ 2783.1
2912.35/2920.05	c GLOBAL bounds - >= -3352 @ 2783.14
2912.35/2920.07	c GLOBAL bounds - >= -3352 @ 2783.16
2912.35/2920.09	c GLOBAL bounds - >= -3352 @ 2783.18
2912.45/2920.11	c GLOBAL bounds - >= -3352 @ 2783.2
2912.45/2920.15	c GLOBAL bounds - >= -3352 @ 2783.24
2912.45/2920.17	c GLOBAL bounds - >= -3352 @ 2783.26
2912.45/2920.19	c GLOBAL bounds - >= -3352 @ 2783.28
2912.55/2920.21	c GLOBAL bounds - >= -3352 @ 2783.3
2912.55/2920.23	c GLOBAL bounds - >= -3352 @ 2783.32
2912.55/2920.26	c GLOBAL bounds - >= -3352 @ 2783.34
2912.55/2920.29	c GLOBAL bounds - >= -3352 @ 2783.38
2912.65/2920.33	c GLOBAL bounds - >= -3352 @ 2783.42
2912.65/2920.37	c GLOBAL bounds - >= -3352 @ 2783.45
2912.65/2920.39	c GLOBAL bounds - >= -3352 @ 2783.48
2912.75/2920.42	c GLOBAL bounds - >= -3352 @ 2783.5
2912.75/2920.44	c GLOBAL bounds - >= -3352 @ 2783.52
2912.75/2920.46	c GLOBAL bounds - >= -3352 @ 2783.54
2912.75/2920.48	c GLOBAL bounds - >= -3352 @ 2783.57
2912.84/2920.51	c GLOBAL bounds - >= -3352 @ 2783.59
2912.84/2920.53	c GLOBAL bounds - >= -3352 @ 2783.61
2912.84/2920.55	c GLOBAL bounds - >= -3352 @ 2783.64
2912.84/2920.58	c GLOBAL bounds - >= -3352 @ 2783.66
2912.94/2920.62	c GLOBAL bounds - >= -3352 @ 2783.7
2912.94/2920.66	c GLOBAL bounds - >= -3352 @ 2783.74
2912.94/2920.69	c GLOBAL bounds - >= -3352 @ 2783.78
2913.04/2920.72	c GLOBAL bounds - >= -3352 @ 2783.8
2913.04/2920.75	c GLOBAL bounds - >= -3352 @ 2783.83
2913.04/2920.77	c GLOBAL bounds - >= -3352 @ 2783.85
2913.14/2920.80	c GLOBAL bounds - >= -3352 @ 2783.88
2913.14/2920.83	c GLOBAL bounds - >= -3352 @ 2783.91
2913.14/2920.87	c GLOBAL bounds - >= -3352 @ 2783.95
2913.24/2920.90	c GLOBAL bounds - >= -3352 @ 2783.98
2913.24/2920.94	c GLOBAL bounds - >= -3352 @ 2784.02
2913.24/2920.96	c GLOBAL bounds - >= -3352 @ 2784.04
2913.24/2920.99	c GLOBAL bounds - >= -3352 @ 2784.07
2913.35/2921.02	c GLOBAL bounds - >= -3352 @ 2784.1
2913.35/2921.05	c GLOBAL bounds - >= -3352 @ 2784.13
2913.35/2921.07	c GLOBAL bounds - >= -3352 @ 2784.15
2913.45/2921.10	c GLOBAL bounds - >= -3352 @ 2784.18
2913.45/2921.13	c GLOBAL bounds - >= -3352 @ 2784.21
2913.45/2921.16	c GLOBAL bounds - >= -3352 @ 2784.24
2913.45/2921.18	c GLOBAL bounds - >= -3352 @ 2784.26
2913.54/2921.21	c GLOBAL bounds - >= -3352 @ 2784.29
2913.54/2921.24	c GLOBAL bounds - >= -3352 @ 2784.32
2913.54/2921.26	c GLOBAL bounds - >= -3352 @ 2784.34
2913.64/2921.30	c GLOBAL bounds - >= -3352 @ 2784.38
2913.64/2921.33	c GLOBAL bounds - >= -3352 @ 2784.41
2913.64/2921.36	c GLOBAL bounds - >= -3352 @ 2784.44
2913.64/2921.39	c GLOBAL bounds - >= -3352 @ 2784.46
2913.74/2921.41	c GLOBAL bounds - >= -3352 @ 2784.49
2913.74/2921.44	c GLOBAL bounds - >= -3352 @ 2784.52
2913.74/2921.47	c GLOBAL bounds - >= -3352 @ 2784.55
2913.85/2921.50	c GLOBAL bounds - >= -3352 @ 2784.58
2913.85/2921.53	c GLOBAL bounds - >= -3352 @ 2784.6
2913.85/2921.55	c GLOBAL bounds - >= -3352 @ 2784.63
2913.85/2921.58	c GLOBAL bounds - >= -3352 @ 2784.66
2913.95/2921.62	c GLOBAL bounds - >= -3352 @ 2784.7
2913.95/2921.66	c GLOBAL bounds - >= -3352 @ 2784.74
2914.05/2921.70	c GLOBAL bounds - >= -3352 @ 2784.78
2914.05/2921.75	c GLOBAL bounds - >= -3352 @ 2784.82
2914.05/2921.79	c GLOBAL bounds - >= -3352 @ 2784.86
2914.15/2921.83	c GLOBAL bounds - >= -3352 @ 2784.9
2914.15/2921.87	c GLOBAL bounds - >= -3352 @ 2784.94
2914.25/2921.91	c GLOBAL bounds - >= -3352 @ 2784.98
2914.25/2921.94	c GLOBAL bounds - >= -3352 @ 2785.02
2914.25/2921.98	c GLOBAL bounds - >= -3352 @ 2785.06
2914.35/2922.02	c GLOBAL bounds - >= -3352 @ 2785.1
2914.35/2922.07	c GLOBAL bounds - >= -3352 @ 2785.14
2914.45/2922.11	c GLOBAL bounds - >= -3352 @ 2785.18
2914.45/2922.15	c GLOBAL bounds - >= -3352 @ 2785.22
2914.45/2922.19	c GLOBAL bounds - >= -3352 @ 2785.26
2914.55/2922.23	c GLOBAL bounds - >= -3352 @ 2785.31
2914.55/2922.27	c GLOBAL bounds - >= -3352 @ 2785.35
2914.65/2922.31	c GLOBAL bounds - >= -3352 @ 2785.39
2914.65/2922.35	c GLOBAL bounds - >= -3352 @ 2785.43
2914.65/2922.39	c GLOBAL bounds - >= -3352 @ 2785.47
2914.75/2922.44	c GLOBAL bounds - >= -3352 @ 2785.51
2914.75/2922.48	c GLOBAL bounds - >= -3352 @ 2785.55
2916.14/2923.82	c GLOBAL bounds - >= -3352 @ 2786.89
2919.43/2927.12	c GLOBAL bounds - >= -3352 @ 2790.17
2934.69/2942.41	c #Conflicts:      39000 | #Constraints:     397260
2934.69/2942.41	c GLOBAL bounds - >= -3352 @ 2805.37
2978.27/2986.14	c GLOBAL bounds - >= -3352 @ 2848.48
2978.68/2986.56	c GLOBAL bounds - >= -3352 @ 2848.9
3040.02/3048.03	c #Conflicts:      40000 | #Constraints:     398264
3040.02/3048.03	c GLOBAL bounds - >= -3352 @ 2910.07
3126.49/3134.74	c #Conflicts:      41000 | #Constraints:     399265
3126.49/3134.74	c INPROCESSING
3126.49/3134.74	c GARBAGE COLLECT
3126.49/3134.74	c #Conflicts:      42000 | #Constraints:     396069
3126.49/3134.74	c GLOBAL bounds - >= -3352 @ 2996.34
3210.95/3219.42	c GLOBAL bounds - >= -3352 @ 3080.61
3365.95/3374.81	c #Conflicts:      43000 | #Constraints:     397073
3365.95/3374.81	c #Conflicts:      44000 | #Constraints:     398073
3365.95/3374.81	c #Conflicts:      45000 | #Constraints:     399073
3365.95/3374.81	c GLOBAL bounds - >= -3352 @ 3235.09
3600.00/3609.52	c #Conflicts:      46000 | #Constraints:     400074
3600.00/3609.52	c INPROCESSING
3600.00/3609.52	c GARBAGE COLLECT
3600.00/3609.52	c #Conflicts:      47000 | #Constraints:     396658
3600.00/3609.52	c #Conflicts:      48000 | #Constraints:     397658
3600.00/3609.52	c #Conflicts:      49000 | #Constraints:     398658
3600.00/3609.52	c #Conflicts:      50000 | #Constraints:     399659
3600.00/3609.52	c #Conflicts:      51000 | #Constraints:     400659
3600.00/3609.52	c INPROCESSING
3600.00/3609.52	c GARBAGE COLLECT
3600.00/3609.52	c Disabling crashed LP
3600.00/3609.52	c cpu time 3467.52 s
3600.00/3609.52	c deterministic time 30685194325 3.07e+10
3600.00/3609.52	c optimization time 73.4613 s
3600.00/3609.52	c total solve time 3392.43 s
3600.00/3609.52	c core-guided solve time 0 s
3600.00/3609.52	c propagation time 875.561 s
3600.00/3609.52	c conflict analysis time 1932.28 s
3600.00/3609.52	c propagations 1276013633
3600.00/3609.52	c resolve steps 5219163
3600.00/3609.52	c decisions 12735672
3600.00/3609.52	c conflicts 51000
3600.00/3609.52	c restarts 151
3600.00/3609.52	c inprocessing phases 15
3600.00/3609.52	c garbage collections 15 ,( 100.00 )
3600.00/3609.52	c input clauses 400888 ,( 99.43 )
3600.00/3609.52	c input cardinalities 2295 ,( 0.57 )
3600.00/3609.52	c input general constraints 2 ,( 0.00 )
3600.00/3609.52	c input average constraint length 5.88
3600.00/3609.52	c input average constraint degree 2.17
3600.00/3609.52	c learned clauses 6799 ,( 13.32 )
3600.00/3609.52	c learned cardinalities 1252 ,( 2.45 )
3600.00/3609.52	c learned general constraints 42994 ,( 84.23 )
3600.00/3609.52	c learned average constraint length 13851.51
3600.00/3609.52	c learned average constraint degree 6625096434.10
3600.00/3609.52	c watched  CF 32, 64, 128, Arb: 710 , 0 , 0 , 0
3600.00/3609.52	c counting CF 32, 64, 128, Arb: 42287 , 0 , 0 , 0
3600.00/3609.52	c watched   constraints 710 ,( 1.65 ) 
3600.00/3609.52	c counting  constraints 42286 ,( 98.35 ) 
3600.00/3609.52	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 195090620 , 4853640 , 36661725 ,( 172612 , 36489113 )
3600.00/3609.52	c gcd simplifications 56
3600.00/3609.52	c detected cardinalities 7
3600.00/3609.52	c weakened non-implied lits 846408463
3600.00/3609.52	c weakened non-implying lits 91147
3600.00/3609.52	c original variables 400896
3600.00/3609.52	c clausal propagations 184681151
3600.00/3609.52	c cardinality propagations 523821878
3600.00/3609.52	c watched propagations 17546
3600.00/3609.52	c counting propagations 310547904
3600.00/3609.52	c watch lookups 5923955594
3600.00/3609.52	c watch backjump lookups 0
3600.00/3609.52	c watch checks 653336867
3600.00/3609.52	c propagation checks 19500157898
3600.00/3609.52	c constraint additions 2030105707
3600.00/3609.52	c trail pops 1288788087
3600.00/3609.52	c formula constraints 402763
3600.00/3609.52	c learned constraints 51030
3600.00/3609.52	c bound constraints 0
3600.00/3609.52	c core-guided constraints 0
3600.00/3609.52	c encountered formula constraints 5158262
3600.00/3609.52	c encountered learned constraints 109087
3600.00/3609.52	c encountered bound constraints 0
3600.00/3609.52	c encountered core-guided constraints 0
3600.00/3609.52	c LP total time 994.004 s
3600.00/3609.52	c LP solve time 982.34 s
3600.00/3609.52	c LP constraints added 402789
3600.00/3609.52	c LP constraints removed 0
3600.00/3609.52	c LP pivots internal 53231
3600.00/3609.52	c LP pivots root 47635
3600.00/3609.52	c LP calls 13
3600.00/3609.52	c LP optimalities 1
3600.00/3609.52	c LP no pivot count 0
3600.00/3609.52	c LP infeasibilities 7
3600.00/3609.52	c LP valid Farkas constraints 7
3600.00/3609.52	c LP learned Farkas constraints 7
3600.00/3609.52	c LP basis resets 0
3600.00/3609.52	c LP cycling count 0
3600.00/3609.52	c LP singular count 0
3600.00/3609.52	c LP no primal count 0
3600.00/3609.52	c LP no farkas count 0
3600.00/3609.52	c LP other issue count 0
3600.00/3609.52	c LP Gomory cuts 1
3600.00/3609.52	c LP learned cuts 25
3600.00/3609.52	c LP deleted cuts 0
3600.00/3609.52	c LP encountered Gomory constraints 0
3600.00/3609.52	c LP encountered Farkas constraints 2801
3600.00/3609.52	c LP encountered learned Farkas constraints 6
3600.00/3609.52	c CG auxiliary variables introduced 446
3600.00/3609.52	c CG solutions found 0
3600.00/3609.52	c CG cores constructed 420
3600.00/3609.52	c CG core cardinality constraints returned 0
3600.00/3609.52	c CG unit cores 0
3600.00/3609.52	c CG single cores 0
3600.00/3609.52	c CG blocks removed during cardinality reduction 0
3600.00/3609.52	c CG first core best 0
3600.00/3609.52	c CG decision core best 0
3600.00/3609.52	c CG core reduction tie 0
3600.00/3609.52	c CG core degree average 0.00
3600.00/3609.52	c CG core slack average 0.00
3600.00/3609.52	c CG core upper bound improvements 0
3600.00/3609.52	c STR number of successful calls 0
3600.00/3609.52	c STR number of unsuccessful calls 0
3600.00/3609.52	c STR number of inconclusive calls 0
3600.00/3609.52	c STR number of successful attempts 0
3600.00/3609.52	c STR number of unsuccessful attempts 0
3600.00/3609.52	c STR number of inconclusive attempts 0
3600.00/3609.52	c STR average degree increase per successful call inf
3600.00/3609.52	c STR average degree increase per successful attempt inf
3600.00/3609.52	c STR total number of conflicts for successful attempts 0
3600.00/3609.52	c STR total number of conflicts for unsuccessful attempts 0
3600.00/3609.52	c STR total number of conflicts for inconclusive attempts 0
3600.00/3609.52	c STR average number of conflicts per successful attempt inf
3600.00/3609.52	c STR average number of conflicts per unsuccessful attempt inf
3600.00/3609.52	c STR average number of conflicts per inconclusive attempt inf
3600.00/3609.52	c AVG.sumWPerc 94.58 
3600.00/3609.52	c bigint constraints 0 
3600.00/3609.52	s UNKNOWN
3600.00/3609.52	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 (46438 MiB free)
  memory of node 1: 64507 MiB (52250 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=70238, runsolver pid=70235

[startup+0.100063 s]*
/proc/loadavg: 4.12 4.13 4.10 5/267 70240
/proc/meminfo: memFree=100988524/131249996 swapFree=33010160/33010684
[pid=70238] ppid=70235 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70238/stat : 70238 (run-opt.sh) S 70235 70238 69363 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65238407 4292608 768 18446744073709551615 94800146653184 94800147547717 140729734288800 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94800147786768 94800147834512 94800177790976 140729734297965 140729734298088 140729734298088 140729734303690 0
/proc/70238/statm: 1048 768 704 219 0 110 0
[pid=70240] ppid=70238 vsize=127228 memory=82088 CPUtime=0.08 cores=0,2
/proc/70240/stat : 70240 (roundingsat) R 70238 70238 69363 0 -1 4194304 5633 0 0 0 5 3 0 0 20 0 1 0 65238408 130281472 20522 18446744073709551615 4227072 8923433 140721887250544 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 29667328 140721887254946 140721887255080 140721887255080 140721887260650 0
/proc/70240/statm: 31807 20522 1888 1147 0 19234 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 131420 KiB
Current children cumulated memory: 85160 KiB

[startup+0.205591 s]*
/proc/loadavg: 4.12 4.13 4.10 5/267 70240
/proc/meminfo: memFree=100988524/131249996 swapFree=33010160/33010684
[pid=70238] ppid=70235 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70238/stat : 70238 (run-opt.sh) S 70235 70238 69363 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65238407 4292608 768 18446744073709551615 94800146653184 94800147547717 140729734288800 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94800147786768 94800147834512 94800177790976 140729734297965 140729734298088 140729734298088 140729734303690 0
/proc/70238/statm: 1048 768 704 219 0 110 0
[pid=70240] ppid=70238 vsize=130016 memory=86908 CPUtime=0.18 cores=0,2
/proc/70240/stat : 70240 (roundingsat) R 70238 70238 69363 0 -1 4194304 6399 0 0 0 13 5 0 0 20 0 1 0 65238408 133136384 21727 18446744073709551615 4227072 8923433 140721887250544 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29667328 140721887254946 140721887255080 140721887255080 140721887260650 0
/proc/70240/statm: 32504 21727 1888 1147 0 19931 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 134208 KiB
Current children cumulated memory: 89980 KiB

[startup+0.305563 s]*
/proc/loadavg: 4.12 4.13 4.10 5/267 70240
/proc/meminfo: memFree=100988524/131249996 swapFree=33010160/33010684
[pid=70238] ppid=70235 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70238/stat : 70238 (run-opt.sh) S 70235 70238 69363 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65238407 4292608 768 18446744073709551615 94800146653184 94800147547717 140729734288800 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94800147786768 94800147834512 94800177790976 140729734297965 140729734298088 140729734298088 140729734303690 0
/proc/70238/statm: 1048 768 704 219 0 110 0
[pid=70240] ppid=70238 vsize=133452 memory=89840 CPUtime=0.28 cores=0,2
/proc/70240/stat : 70240 (roundingsat) R 70238 70238 69363 0 -1 4194304 7242 0 0 0 21 7 0 0 20 0 1 0 65238408 136654848 22460 18446744073709551615 4227072 8923433 140721887250544 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29667328 140721887254946 140721887255080 140721887255080 140721887260650 0
/proc/70240/statm: 33363 22460 1888 1147 0 20790 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 137644 KiB
Current children cumulated memory: 92912 KiB

[startup+0.700197 s]
/proc/loadavg: 4.12 4.13 4.10 5/267 70240
/proc/meminfo: memFree=100983988/131249996 swapFree=33010160/33010684
[pid=70238] ppid=70235 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70238/stat : 70238 (run-opt.sh) S 70235 70238 69363 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65238407 4292608 768 18446744073709551615 94800146653184 94800147547717 140729734288800 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94800147786768 94800147834512 94800177790976 140729734297965 140729734298088 140729734298088 140729734303690 0
/proc/70238/statm: 1048 768 704 219 0 110 0
[pid=70240] ppid=70238 vsize=149320 memory=105304 CPUtime=0.67 cores=0,2
/proc/70240/stat : 70240 (roundingsat) R 70238 70238 69363 0 -1 4194304 11584 0 0 0 51 16 0 0 20 0 1 0 65238408 152903680 26326 18446744073709551615 4227072 8923433 140721887250544 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29667328 140721887254946 140721887255080 140721887255080 140721887260650 0
/proc/70240/statm: 37330 26326 1888 1147 0 24757 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 153512 KiB
Current children cumulated memory: 108376 KiB

[startup+1.5002 s]
/proc/loadavg: 4.12 4.13 4.10 5/267 70240
/proc/meminfo: memFree=100965024/131249996 swapFree=33010160/33010684
[pid=70238] ppid=70235 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70238/stat : 70238 (run-opt.sh) S 70235 70238 69363 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65238407 4292608 768 18446744073709551615 94800146653184 94800147547717 140729734288800 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94800147786768 94800147834512 94800177790976 140729734297965 140729734298088 140729734298088 140729734303690 0
/proc/70238/statm: 1048 768 704 219 0 110 0
[pid=70240] ppid=70238 vsize=285280 memory=229896 CPUtime=1.47 cores=0,2
/proc/70240/stat : 70240 (roundingsat) R 70238 70238 69363 0 -1 4194304 28819 0 0 0 115 32 0 0 20 0 1 0 65238408 292126720 57474 18446744073709551615 4227072 8923433 140721887250544 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29667328 140721887254946 140721887255080 140721887255080 140721887260650 0
/proc/70240/statm: 71320 57474 2240 1147 0 58747 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 289472 KiB
Current children cumulated memory: 232968 KiB

[startup+3.10543 s]
/proc/loadavg: 4.11 4.13 4.10 5/267 70240
/proc/meminfo: memFree=100530660/131249996 swapFree=33010160/33010684
[pid=70238] ppid=70235 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70238/stat : 70238 (run-opt.sh) S 70235 70238 69363 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65238407 4292608 768 18446744073709551615 94800146653184 94800147547717 140729734288800 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94800147786768 94800147834512 94800177790976 140729734297965 140729734298088 140729734298088 140729734303690 0
/proc/70238/statm: 1048 768 704 219 0 110 0
[pid=70240] ppid=70238 vsize=674908 memory=550268 CPUtime=3.07 cores=0,2
/proc/70240/stat : 70240 (roundingsat) R 70238 70238 69363 0 -1 4194304 49063 0 0 0 201 106 0 0 20 0 1 0 65238408 691105792 137567 18446744073709551615 4227072 8923433 140721887250544 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29667328 140721887254946 140721887255080 140721887255080 140721887260650 0
/proc/70240/statm: 168727 137567 2336 1147 0 156154 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 679100 KiB
Current children cumulated memory: 553340 KiB

[startup+6.30016 s]
/proc/loadavg: 4.11 4.13 4.10 5/267 70240
/proc/meminfo: memFree=100530912/131249996 swapFree=33010160/33010684
[pid=70238] ppid=70235 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70238/stat : 70238 (run-opt.sh) S 70235 70238 69363 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65238407 4292608 768 18446744073709551615 94800146653184 94800147547717 140729734288800 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94800147786768 94800147834512 94800177790976 140729734297965 140729734298088 140729734298088 140729734303690 0
/proc/70238/statm: 1048 768 704 219 0 110 0
[pid=70240] ppid=70238 vsize=678040 memory=553468 CPUtime=6.26 cores=0,2
/proc/70240/stat : 70240 (roundingsat) R 70238 70238 69363 0 -1 4194304 49866 0 0 0 314 312 0 0 20 0 1 0 65238408 694312960 138367 18446744073709551615 4227072 8923433 140721887250544 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29667328 140721887254946 140721887255080 140721887255080 140721887260650 0
/proc/70240/statm: 169510 138367 2336 1147 0 156937 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 682232 KiB
Current children cumulated memory: 556540 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.12 4.10 5/267 70241
/proc/meminfo: memFree=100531668/131249996 swapFree=33010160/33010684
[pid=70238] ppid=70235 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70238/stat : 70238 (run-opt.sh) S 70235 70238 69363 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65238407 4292608 768 18446744073709551615 94800146653184 94800147547717 140729734288800 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94800147786768 94800147834512 94800177790976 140729734297965 140729734298088 140729734298088 140729734303690 0
/proc/70238/statm: 1048 768 704 219 0 110 0
[pid=70240] ppid=70238 vsize=679604 memory=555004 CPUtime=12.65 cores=0,2
/proc/70240/stat : 70240 (roundingsat) R 70238 70238 69363 0 -1 4194304 50273 0 0 0 542 723 0 0 20 0 1 0 65238408 695914496 138751 18446744073709551615 4227072 8923433 140721887250544 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29667328 140721887254946 140721887255080 140721887255080 140721887260650 0
/proc/70240/statm: 169901 138751 2336 1147 0 157328 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 683796 KiB
Current children cumulated memory: 558076 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.12 4.10 5/267 70241
/proc/meminfo: memFree=100485040/131249996 swapFree=33010160/33010684
[pid=70238] ppid=70235 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70238/stat : 70238 (run-opt.sh) S 70235 70238 69363 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65238407 4292608 768 18446744073709551615 94800146653184 94800147547717 140729734288800 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94800147786768 94800147834512 94800177790976 140729734297965 140729734298088 140729734298088 140729734303690 0
/proc/70238/statm: 1048 768 704 219 0 110 0
[pid=70240] ppid=70238 vsize=700928 memory=570976 CPUtime=25.41 cores=0,2
/proc/70240/stat : 70240 (roundingsat) R 70238 70238 69363 0 -1 4194304 51699 0 0 0 998 1543 0 0 20 0 1 0 65238408 717750272 142744 18446744073709551615 4227072 8923433 140721887250544 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29667328 140721887254946 140721887255080 140721887255080 140721887260650 0
/proc/70240/statm: 175232 142744 2336 1147 0 162659 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 705120 KiB
Current children cumulated memory: 574048 KiB

[startup+51.1055 s]
/proc/loadavg: 4.11 4.12 4.10 5/267 70241
/proc/meminfo: memFree=100440308/131249996 swapFree=33010160/33010684
[pid=70238] ppid=70235 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70238/stat : 70238 (run-opt.sh) S 70235 70238 69363 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65238407 4292608 768 18446744073709551615 94800146653184 94800147547717 140729734288800 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94800147786768 94800147834512 94800177790976 140729734297965 140729734298088 140729734298088 140729734303690 0
/proc/70238/statm: 1048 768 704 219 0 110 0
[pid=70240] ppid=70238 vsize=705628 memory=576352 CPUtime=50.97 cores=0,2
/proc/70240/stat : 70240 (roundingsat) R 70238 70238 69363 0 -1 4194304 53071 0 0 0 1934 3163 0 0 20 0 1 0 65238408 722563072 144088 18446744073709551615 4227072 8923433 140721887250544 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29667328 140721887254946 140721887255080 140721887255080 140721887260650 0
/proc/70240/statm: 176407 144088 2336 1147 0 163834 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 709820 KiB
Current children cumulated memory: 579424 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/267 70243
/proc/meminfo: memFree=100269572/131249996 swapFree=33010160/33010684
[pid=70238] ppid=70235 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70238/stat : 70238 (run-opt.sh) S 70235 70238 69363 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65238407 4292608 768 18446744073709551615 94800146653184 94800147547717 140729734288800 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94800147786768 94800147834512 94800177790976 140729734297965 140729734298088 140729734298088 140729734303690 0
/proc/70238/statm: 1048 768 704 219 0 110 0
[pid=70240] ppid=70238 vsize=736552 memory=603196 CPUtime=102.04 cores=0,2
/proc/70240/stat : 70240 (roundingsat) R 70238 70238 69363 0 -1 4194304 57229 0 0 0 3869 6335 0 0 20 0 1 0 65238408 754229248 150799 18446744073709551615 4227072 8923433 140721887250544 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29667328 140721887254946 140721887255080 140721887255080 140721887260650 0
/proc/70240/statm: 184138 150799 2336 1147 0 171565 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 740744 KiB
Current children cumulated memory: 606268 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/266 70245
/proc/meminfo: memFree=99641512/131249996 swapFree=33010160/33010684
[pid=70238] ppid=70235 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70238/stat : 70238 (run-opt.sh) S 70235 70238 69363 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65238407 4292608 768 18446744073709551615 94800146653184 94800147547717 140729734288800 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94800147786768 94800147834512 94800177790976 140729734297965 140729734298088 140729734298088 140729734303690 0
/proc/70238/statm: 1048 768 704 219 0 110 0
[pid=70240] ppid=70238 vsize=1336296 memory=1095960 CPUtime=161.9 cores=0,2
/proc/70240/stat : 70240 (roundingsat) R 70238 70238 69363 0 -1 4194304 107573 0 0 0 7754 8436 0 0 20 0 1 0 65238408 1368367104 273990 18446744073709551615 4227072 8923433 140721887250544 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29667328 140721887254946 140721887255080 140721887255080 140721887260650 0
/proc/70240/statm: 334074 273990 2368 1147 0 321501 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 1340488 KiB
Current children cumulated memory: 1099032 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/267 70248
/proc/meminfo: memFree=98807544/131249996 swapFree=33010160/33010684
[pid=70238] ppid=70235 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70238/stat : 70238 (run-opt.sh) S 70235 70238 69363 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65238407 4292608 768 18446744073709551615 94800146653184 94800147547717 140729734288800 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94800147786768 94800147834512 94800177790976 140729734297965 140729734298088 140729734298088 140729734303690 0
/proc/70238/statm: 1048 768 704 219 0 110 0
[pid=70240] ppid=70238 vsize=2152364 memory=1879048 CPUtime=221.75 cores=0,2
/proc/70240/stat : 70240 (roundingsat) R 70238 70238 69363 0 -1 4194304 246124 0 0 0 13684 8491 0 0 20 0 1 0 65238408 2204020736 469762 18446744073709551615 4227072 8923433 140721887250544 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29667328 140721887254946 140721887255080 140721887255080 140721887260650 0
/proc/70240/statm: 538091 469762 2368 1147 0 525518 0
Current children cumulated CPU time: 221.75 s

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

/proc/70240/statm: 1357195 1220236 2400 1147 0 1344622 0
Current children cumulated CPU time: 3094.17 s
Current children cumulated vsize: 5432972 KiB
Current children cumulated memory: 4884016 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/267 70541
/proc/meminfo: memFree=73380636/131249996 swapFree=33010160/33010684
[pid=70238] ppid=70235 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70238/stat : 70238 (run-opt.sh) S 70235 70238 69363 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65238407 4292608 768 18446744073709551615 94800146653184 94800147547717 140729734288800 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94800147786768 94800147834512 94800177790976 140729734297965 140729734298088 140729734298088 140729734303690 0
/proc/70238/statm: 1048 768 704 219 0 110 0
[pid=70240] ppid=70238 vsize=5432980 memory=4919652 CPUtime=3154.01 cores=0,2
/proc/70240/stat : 70240 (roundingsat) R 70238 70238 69363 0 -1 4194304 772265 0 0 0 302373 13028 0 0 20 0 1 0 65238408 5563371520 1229913 18446744073709551615 4227072 8923433 140721887250544 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29667328 140721887254946 140721887255080 140721887255080 140721887260650 0
/proc/70240/statm: 1358245 1229913 2400 1147 0 1345672 0
Current children cumulated CPU time: 3154.01 s
Current children cumulated vsize: 5437172 KiB
Current children cumulated memory: 4922724 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/268 70544
/proc/meminfo: memFree=72942904/131249996 swapFree=33010160/33010684
[pid=70238] ppid=70235 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70238/stat : 70238 (run-opt.sh) S 70235 70238 69363 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65238407 4292608 768 18446744073709551615 94800146653184 94800147547717 140729734288800 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94800147786768 94800147834512 94800177790976 140729734297965 140729734298088 140729734298088 140729734303690 0
/proc/70238/statm: 1048 768 704 219 0 110 0
[pid=70240] ppid=70238 vsize=5432980 memory=4947760 CPUtime=3213.84 cores=0,2
/proc/70240/stat : 70240 (roundingsat) R 70238 70238 69363 0 -1 4194304 773589 0 0 0 308347 13037 0 0 20 0 1 0 65238408 5563371520 1236940 18446744073709551615 4227072 8923433 140721887250544 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29667328 140721887254946 140721887255080 140721887255080 140721887260650 0
/proc/70240/statm: 1358245 1236940 2400 1147 0 1345672 0
Current children cumulated CPU time: 3213.84 s
Current children cumulated vsize: 5437172 KiB
Current children cumulated memory: 4950832 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/268 70547
/proc/meminfo: memFree=70661936/131249996 swapFree=33010160/33010684
[pid=70238] ppid=70235 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70238/stat : 70238 (run-opt.sh) S 70235 70238 69363 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65238407 4292608 768 18446744073709551615 94800146653184 94800147547717 140729734288800 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94800147786768 94800147834512 94800177790976 140729734297965 140729734298088 140729734298088 140729734303690 0
/proc/70238/statm: 1048 768 704 219 0 110 0
[pid=70240] ppid=70238 vsize=5432980 memory=4970288 CPUtime=3273.68 cores=0,2
/proc/70240/stat : 70240 (roundingsat) R 70238 70238 69363 0 -1 4194304 773621 0 0 0 314323 13045 0 0 20 0 1 0 65238408 5563371520 1242572 18446744073709551615 4227072 8923433 140721887250544 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29667328 140721887254946 140721887255080 140721887255080 140721887260650 0
/proc/70240/statm: 1358245 1242572 2400 1147 0 1345672 0
Current children cumulated CPU time: 3273.68 s
Current children cumulated vsize: 5437172 KiB
Current children cumulated memory: 4973360 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/269 70554
/proc/meminfo: memFree=70301180/131249996 swapFree=33010160/33010684
[pid=70238] ppid=70235 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70238/stat : 70238 (run-opt.sh) S 70235 70238 69363 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65238407 4292608 768 18446744073709551615 94800146653184 94800147547717 140729734288800 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94800147786768 94800147834512 94800177790976 140729734297965 140729734298088 140729734298088 140729734303690 0
/proc/70238/statm: 1048 768 704 219 0 110 0
[pid=70240] ppid=70238 vsize=5432980 memory=4991536 CPUtime=3333.53 cores=0,2
/proc/70240/stat : 70240 (roundingsat) R 70238 70238 69363 0 -1 4194304 773688 0 0 0 320269 13084 0 0 20 0 1 0 65238408 5563371520 1247884 18446744073709551615 4227072 8923433 140721887250544 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29667328 140721887254946 140721887255080 140721887255080 140721887260650 0
/proc/70240/statm: 1358245 1247884 2400 1147 0 1345672 0
Current children cumulated CPU time: 3333.53 s
Current children cumulated vsize: 5437172 KiB
Current children cumulated memory: 4994608 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/269 70556
/proc/meminfo: memFree=70230680/131249996 swapFree=33010160/33010684
[pid=70238] ppid=70235 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70238/stat : 70238 (run-opt.sh) S 70235 70238 69363 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65238407 4292608 768 18446744073709551615 94800146653184 94800147547717 140729734288800 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94800147786768 94800147834512 94800177790976 140729734297965 140729734298088 140729734298088 140729734303690 0
/proc/70238/statm: 1048 768 704 219 0 110 0
[pid=70240] ppid=70238 vsize=5432980 memory=5016752 CPUtime=3393.37 cores=0,2
/proc/70240/stat : 70240 (roundingsat) R 70238 70238 69363 0 -1 4194304 774645 0 0 0 326225 13112 0 0 20 0 1 0 65238408 5563371520 1254188 18446744073709551615 4227072 8923433 140721887250544 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29667328 140721887254946 140721887255080 140721887255080 140721887260650 0
/proc/70240/statm: 1358245 1254188 2400 1147 0 1345672 0
Current children cumulated CPU time: 3393.37 s
Current children cumulated vsize: 5437172 KiB
Current children cumulated memory: 5019824 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/269 70558
/proc/meminfo: memFree=70056500/131249996 swapFree=33010160/33010684
[pid=70238] ppid=70235 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70238/stat : 70238 (run-opt.sh) S 70235 70238 69363 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65238407 4292608 768 18446744073709551615 94800146653184 94800147547717 140729734288800 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94800147786768 94800147834512 94800177790976 140729734297965 140729734298088 140729734298088 140729734303690 0
/proc/70238/statm: 1048 768 704 219 0 110 0
[pid=70240] ppid=70238 vsize=5432980 memory=5037744 CPUtime=3453.21 cores=0,2
/proc/70240/stat : 70240 (roundingsat) R 70238 70238 69363 0 -1 4194304 775231 0 0 0 332138 13183 0 0 20 0 1 0 65238408 5563371520 1259436 18446744073709551615 4227072 8923433 140721887250544 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29667328 140721887254946 140721887255080 140721887255080 140721887260650 0
/proc/70240/statm: 1358245 1259436 2400 1147 0 1345672 0
Current children cumulated CPU time: 3453.21 s
Current children cumulated vsize: 5437172 KiB
Current children cumulated memory: 5040816 KiB

[startup+3522.3 s]
/proc/loadavg: 4.22 4.13 4.10 5/268 70560
/proc/meminfo: memFree=69881168/131249996 swapFree=33010160/33010684
[pid=70238] ppid=70235 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70238/stat : 70238 (run-opt.sh) S 70235 70238 69363 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65238407 4292608 768 18446744073709551615 94800146653184 94800147547717 140729734288800 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94800147786768 94800147834512 94800177790976 140729734297965 140729734298088 140729734298088 140729734303690 0
/proc/70238/statm: 1048 768 704 219 0 110 0
[pid=70240] ppid=70238 vsize=5432980 memory=5059632 CPUtime=3513.04 cores=0,2
/proc/70240/stat : 70240 (roundingsat) R 70238 70238 69363 0 -1 4194304 776147 0 0 0 338087 13217 0 0 20 0 1 0 65238408 5563371520 1264908 18446744073709551615 4227072 8923433 140721887250544 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29667328 140721887254946 140721887255080 140721887255080 140721887260650 0
/proc/70240/statm: 1358245 1264908 2400 1147 0 1345672 0
Current children cumulated CPU time: 3513.04 s
Current children cumulated vsize: 5437172 KiB
Current children cumulated memory: 5062704 KiB

[startup+3582.3 s]
/proc/loadavg: 4.28 4.18 4.12 5/268 70562
/proc/meminfo: memFree=69778584/131249996 swapFree=33010160/33010684
[pid=70238] ppid=70235 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70238/stat : 70238 (run-opt.sh) S 70235 70238 69363 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65238407 4292608 768 18446744073709551615 94800146653184 94800147547717 140729734288800 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94800147786768 94800147834512 94800177790976 140729734297965 140729734298088 140729734298088 140729734303690 0
/proc/70238/statm: 1048 768 704 219 0 110 0
[pid=70240] ppid=70238 vsize=5445012 memory=5083672 CPUtime=3572.88 cores=0,2
/proc/70240/stat : 70240 (roundingsat) R 70238 70238 69363 0 -1 4194304 778277 0 0 0 344044 13244 0 0 20 0 1 0 65238408 5575692288 1270918 18446744073709551615 4227072 8923433 140721887250544 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29667328 140721887254946 140721887255080 140721887255080 140721887260650 0
/proc/70240/statm: 1361253 1270918 2400 1147 0 1348680 0
Current children cumulated CPU time: 3572.88 s
Current children cumulated vsize: 5449204 KiB
Current children cumulated memory: 5086744 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 4.46 4.23 4.13 5/267 70562
/proc/meminfo: memFree=69671212/131249996 swapFree=33010160/33010684
[pid=70238] ppid=70235 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70238/stat : 70238 (run-opt.sh) S 70235 70238 69363 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65238407 4292608 768 18446744073709551615 94800146653184 94800147547717 140729734288800 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94800147786768 94800147834512 94800177790976 140729734297965 140729734298088 140729734298088 140729734303690 0
/proc/70238/statm: 1048 768 704 219 0 110 0
[pid=70240] ppid=70238 vsize=5480468 memory=5117712 CPUtime=3600 cores=0,2
/proc/70240/stat : 70240 (roundingsat) R 70238 70238 69363 0 -1 4194304 781205 0 0 0 346750 13250 0 0 20 0 1 0 65238408 5611999232 1279428 18446744073709551615 4227072 8923433 140721887250544 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29667328 140721887254946 140721887255080 140721887255080 140721887260650 0
/proc/70240/statm: 1370117 1279428 2400 1147 0 1357544 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 5484660 KiB
Current children cumulated memory: 5120784 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

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

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

[startup+3609.5 s]
/proc/loadavg: 4.46 4.23 4.13 5/267 70562
/proc/meminfo: memFree=69671212/131249996 swapFree=33010160/33010684
[pid=70238] ppid=70235 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70238/stat : 70238 (run-opt.sh) S 70235 70238 69363 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65238407 4292608 768 18446744073709551615 94800146653184 94800147547717 140729734288800 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94800147786768 94800147834512 94800177790976 140729734297965 140729734298088 140729734298088 140729734303690 0
/proc/70238/statm: 1048 768 704 219 0 110 0
[pid=70240] ppid=70238 vsize=5480468 memory=5117712 CPUtime=3600 cores=0,2
/proc/70240/stat : 70240 (roundingsat) R 70238 70238 69363 0 -1 4194304 781205 0 0 0 346750 13250 0 0 20 0 1 0 65238408 5611999232 1279428 18446744073709551615 4227072 8923433 140721887250544 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29667328 140721887254946 140721887255080 140721887255080 140721887260650 0
/proc/70240/statm: 1370117 1279428 2400 1147 0 1357544 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 5484660 KiB
Current children cumulated memory: 5120784 KiB

Child status: 2

Real time (s): 3609.6
CPU time (s): 3600.11
CPU user time (s): 3467.56
CPU system time (s): 132.548
CPU usage (%): 99.7372
Max. virtual memory (cumulated for all children) (KiB): 5484660
Max. memory (cumulated for all children) (KiB): 5120784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3467.56
system time used= 132.548
maximum resident set size= 5117968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 781494
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= 209
involuntary context switches= 4703


# summary of solver processes directly reported to runsolver:
#   pid: 70238,70240
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3467.56
#   total CPU system time (s): 132.548

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.25762 second user time and 16.6412 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2025-07-03 00:33:27
IDJOB=4505906
IDBENCH=157349
IDSOLVER=3350
FILE ID=nodeC021/4505906-1751495607
RUNJOBID= nodeC021-1751488380-69373
SLURM_JOB_ID= 9598545
Free space on /tmp= 430980 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_luby_0null0mast_rapportOE2.0_TMAX120_K192_cod2.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505906-1751495607/watcher-4505906-1751495607 -o /tmp/evaluation-result-4505906-1751495607/solver-4505906-1751495607 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751488380-69373 --watchdog 3760  run-opt.sh HOME/instance-4505906-1751495607.opb

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

MD5SUM BENCH= 726b0595b04a91a84feeb3b27d81e819
RANDOM SEED=1169710560

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.804
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.707
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		: 3573.008
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		: 3596.495
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		: 3599.694
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.515
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.683
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		: 3700.000
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:        101057520 kB
MemAvailable:   104796184 kB
Buffers:            2128 kB
Cached:          4476608 kB
SwapCached:           20 kB
Active:         25327832 kB
Inactive:        3998160 kB
Active(anon):   24854084 kB
Inactive(anon):    10924 kB
Active(file):     473748 kB
Inactive(file):  3987236 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             34740 kB
Writeback:             0 kB
AnonPages:      24849016 kB
Mapped:           118124 kB
Shmem:             18040 kB
KReclaimable:     233440 kB
Slab:             325144 kB
SReclaimable:     233440 kB
SUnreclaim:        91704 kB
KernelStack:        4320 kB
PageTables:        54772 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   30766480 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150616 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4898816 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= 430944 MiB
End job on nodeC021 at 2025-07-03 01:33:37