Trace number 4505907

Some explanations

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

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

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

Solver answer on this benchmark

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

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.03	c RoundingSat 2
0.00/0.03	c branch pb25
0.00/0.03	c commit 63f22ad
3.24/3.32	c #variables 400896 #constraints 402763
3.24/3.32	c objective is ce32 
3.33/3.49	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3.33/3.49	c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
3.33/3.49	c GLOBAL bounds - >= -8196 @ 2.78078
3.74/3.87	c GLOBAL bounds - >= -8196 @ 2.90735
4.13/4.25	c GLOBAL bounds - >= -8196 @ 3.0496
4.53/4.62	c GLOBAL bounds - >= -8196 @ 3.19055
4.83/4.99	c GLOBAL bounds - >= -8196 @ 3.34277
5.23/5.36	c GLOBAL bounds - >= -8196 @ 3.49193
5.63/5.73	c GLOBAL bounds - >= -8196 @ 3.60332
5.95/6.10	c GLOBAL bounds - >= -8196 @ 3.74031
6.34/6.48	c GLOBAL bounds - >= -8196 @ 3.8777
6.73/6.85	c GLOBAL bounds - >= -8196 @ 4.01273
7.13/7.24	c GLOBAL bounds - >= -8196 @ 4.14983
7.52/7.62	c GLOBAL bounds - >= -8196 @ 4.30608
7.83/8.01	c GLOBAL bounds - >= -8196 @ 4.42886
8.23/8.40	c GLOBAL bounds - >= -8196 @ 4.57353
8.63/8.78	c GLOBAL bounds - >= -8196 @ 4.70816
9.04/9.18	c GLOBAL bounds - >= -8196 @ 4.87333
9.42/9.57	c GLOBAL bounds - >= -8196 @ 5.01584
9.82/9.96	c GLOBAL bounds - >= -8196 @ 5.14478
10.22/10.34	c GLOBAL bounds - >= -8196 @ 5.28238
10.62/10.73	c GLOBAL bounds - >= -8196 @ 5.43405
11.03/11.11	c GLOBAL bounds - >= -8196 @ 5.57366
11.42/11.50	c GLOBAL bounds - >= -8196 @ 5.71357
11.72/11.89	c GLOBAL bounds - >= -8196 @ 5.85709
12.11/12.27	c GLOBAL bounds - >= -8196 @ 6.01076
12.52/12.66	c GLOBAL bounds - >= -8196 @ 6.15068
12.92/13.05	c GLOBAL bounds - >= -8196 @ 6.27503
13.31/13.44	c GLOBAL bounds - >= -8196 @ 6.41702
13.72/13.82	c GLOBAL bounds - >= -8196 @ 6.59117
14.11/14.21	c GLOBAL bounds - >= -8196 @ 6.73105
14.51/14.60	c GLOBAL bounds - >= -8196 @ 6.86376
14.81/14.99	c GLOBAL bounds - >= -8196 @ 6.99741
15.21/15.38	c GLOBAL bounds - >= -8196 @ 7.14636
15.61/15.77	c GLOBAL bounds - >= -8196 @ 7.28974
16.02/16.15	c GLOBAL bounds - >= -8196 @ 7.41941
16.40/16.54	c GLOBAL bounds - >= -8196 @ 7.55839
16.80/16.93	c GLOBAL bounds - >= -8196 @ 7.69877
17.20/17.32	c GLOBAL bounds - >= -8196 @ 7.84562
17.60/17.70	c GLOBAL bounds - >= -8196 @ 7.97141
17.92/18.09	c GLOBAL bounds - >= -8196 @ 8.12613
18.30/18.48	c GLOBAL bounds - >= -8196 @ 8.27346
18.70/18.86	c GLOBAL bounds - >= -8196 @ 8.43057
19.10/19.25	c GLOBAL bounds - >= -8196 @ 8.55994
19.50/19.64	c GLOBAL bounds - >= -8196 @ 8.70135
19.91/20.02	c GLOBAL bounds - >= -8196 @ 8.84782
20.29/20.41	c GLOBAL bounds - >= -8196 @ 8.99096
20.60/20.79	c GLOBAL bounds - >= -8196 @ 9.12383
21.01/21.18	c GLOBAL bounds - >= -8196 @ 9.27994
21.40/21.57	c GLOBAL bounds - >= -8196 @ 9.40862
21.80/21.96	c GLOBAL bounds - >= -8196 @ 9.53903
22.19/22.34	c GLOBAL bounds - >= -8196 @ 9.67757
22.60/22.73	c GLOBAL bounds - >= -8196 @ 9.83232
23.01/23.13	c GLOBAL bounds - >= -8196 @ 9.96711
23.39/23.51	c GLOBAL bounds - >= -8196 @ 10.1158
23.79/23.90	c GLOBAL bounds - >= -8196 @ 10.2675
24.09/24.29	c GLOBAL bounds - >= -8196 @ 10.3931
24.49/24.68	c GLOBAL bounds - >= -8196 @ 10.5479
24.90/25.07	c GLOBAL bounds - >= -8196 @ 10.6957
25.29/25.46	c GLOBAL bounds - >= -8196 @ 10.8468
25.69/25.85	c GLOBAL bounds - >= -8196 @ 10.9881
26.09/26.24	c GLOBAL bounds - >= -8196 @ 11.1326
26.49/26.62	c GLOBAL bounds - >= -8196 @ 11.2748
26.89/27.01	c GLOBAL bounds - >= -8196 @ 11.4158
27.28/27.40	c GLOBAL bounds - >= -8196 @ 11.578
27.58/27.79	c GLOBAL bounds - >= -8196 @ 11.7187
28.00/28.18	c GLOBAL bounds - >= -8196 @ 11.8734
28.38/28.56	c GLOBAL bounds - >= -8196 @ 12.0101
28.79/28.95	c GLOBAL bounds - >= -8196 @ 12.1369
29.18/29.34	c GLOBAL bounds - >= -8196 @ 12.2822
29.58/29.73	c GLOBAL bounds - >= -8196 @ 12.424
29.99/30.12	c GLOBAL bounds - >= -8196 @ 12.5584
30.38/30.51	c GLOBAL bounds - >= -8196 @ 12.6976
30.68/30.89	c GLOBAL bounds - >= -8196 @ 12.8299
31.07/31.28	c GLOBAL bounds - >= -8196 @ 12.9764
31.47/31.67	c GLOBAL bounds - >= -8196 @ 13.1249
31.88/32.06	c GLOBAL bounds - >= -8196 @ 13.258
32.27/32.45	c GLOBAL bounds - >= -8196 @ 13.4167
32.67/32.84	c GLOBAL bounds - >= -8196 @ 13.5771
33.07/33.23	c GLOBAL bounds - >= -8196 @ 13.7178
33.47/33.61	c GLOBAL bounds - >= -8196 @ 13.8411
33.77/34.00	c GLOBAL bounds - >= -8196 @ 13.9782
34.17/34.39	c GLOBAL bounds - >= -8196 @ 14.1122
34.57/34.78	c GLOBAL bounds - >= -8196 @ 14.2669
34.99/35.17	c GLOBAL bounds - >= -8196 @ 14.41
35.37/35.55	c GLOBAL bounds - >= -8196 @ 14.5428
35.77/35.94	c GLOBAL bounds - >= -8196 @ 14.6867
36.17/36.33	c GLOBAL bounds - >= -8196 @ 14.8238
36.56/36.72	c GLOBAL bounds - >= -8196 @ 14.9469
36.88/37.11	c GLOBAL bounds - >= -8196 @ 15.0679
37.26/37.50	c GLOBAL bounds - >= -8196 @ 15.2035
37.67/37.88	c GLOBAL bounds - >= -8196 @ 15.349
38.06/38.27	c GLOBAL bounds - >= -8196 @ 15.4848
38.46/38.66	c GLOBAL bounds - >= -8196 @ 15.6295
38.87/39.05	c GLOBAL bounds - >= -8196 @ 15.7739
39.26/39.44	c GLOBAL bounds - >= -8196 @ 15.9226
39.66/39.84	c GLOBAL bounds - >= -8196 @ 16.0651
40.05/40.24	c GLOBAL bounds - >= -8196 @ 16.2106
40.45/40.63	c GLOBAL bounds - >= -8196 @ 16.3426
40.86/41.01	c GLOBAL bounds - >= -8196 @ 16.4851
41.25/41.40	c GLOBAL bounds - >= -8196 @ 16.6457
41.55/41.79	c GLOBAL bounds - >= -8196 @ 16.7807
41.96/42.18	c GLOBAL bounds - >= -8196 @ 16.9435
42.34/42.57	c GLOBAL bounds - >= -8196 @ 17.085
42.74/42.96	c GLOBAL bounds - >= -8196 @ 17.2309
43.15/43.35	c GLOBAL bounds - >= -8196 @ 17.3685
43.55/43.74	c GLOBAL bounds - >= -8196 @ 17.5049
43.96/44.13	c GLOBAL bounds - >= -8196 @ 17.6487
44.34/44.51	c GLOBAL bounds - >= -8196 @ 17.7956
44.74/44.91	c GLOBAL bounds - >= -8196 @ 17.9391
45.14/45.31	c GLOBAL bounds - >= -8196 @ 18.0957
45.44/45.69	c GLOBAL bounds - >= -8196 @ 18.2254
45.86/46.09	c GLOBAL bounds - >= -8196 @ 18.3824
46.24/46.49	c GLOBAL bounds - >= -8196 @ 18.5249
46.64/46.88	c GLOBAL bounds - >= -8196 @ 18.6718
47.04/47.27	c GLOBAL bounds - >= -8196 @ 18.8163
47.43/47.65	c GLOBAL bounds - >= -8196 @ 18.9592
47.85/48.06	c GLOBAL bounds - >= -8196 @ 19.1077
48.24/48.45	c GLOBAL bounds - >= -8196 @ 19.2485
48.63/48.84	c GLOBAL bounds - >= -8196 @ 19.4041
49.03/49.24	c GLOBAL bounds - >= -8196 @ 19.5461
49.43/49.63	c GLOBAL bounds - >= -8196 @ 19.7094
49.84/50.03	c GLOBAL bounds - >= -8196 @ 19.8424
50.23/50.43	c GLOBAL bounds - >= -8196 @ 19.9825
50.63/50.82	c GLOBAL bounds - >= -8196 @ 20.1294
51.03/51.21	c GLOBAL bounds - >= -8196 @ 20.2714
51.43/51.60	c GLOBAL bounds - >= -8196 @ 20.4163
51.73/52.01	c GLOBAL bounds - >= -8196 @ 20.574
52.23/52.40	c GLOBAL bounds - >= -8196 @ 20.7124
52.53/52.79	c GLOBAL bounds - >= -8196 @ 20.8414
52.94/53.20	c GLOBAL bounds - >= -8196 @ 21.003
53.33/53.59	c GLOBAL bounds - >= -8196 @ 21.1532
53.72/53.99	c GLOBAL bounds - >= -8196 @ 21.3141
54.12/54.39	c GLOBAL bounds - >= -8196 @ 21.4633
54.52/54.78	c GLOBAL bounds - >= -8196 @ 21.5947
54.93/55.19	c GLOBAL bounds - >= -8196 @ 21.7606
55.32/55.59	c GLOBAL bounds - >= -8196 @ 21.9083
55.72/56.00	c GLOBAL bounds - >= -8196 @ 22.0647
56.21/56.41	c GLOBAL bounds - >= -8196 @ 22.2134
56.52/56.80	c GLOBAL bounds - >= -8196 @ 22.3674
57.02/57.20	c GLOBAL bounds - >= -8196 @ 22.5313
57.31/57.59	c GLOBAL bounds - >= -8196 @ 22.6832
57.72/58.00	c GLOBAL bounds - >= -8196 @ 22.8391
58.21/58.40	c GLOBAL bounds - >= -8196 @ 22.9886
58.61/58.80	c GLOBAL bounds - >= -8196 @ 23.1511
59.01/59.20	c GLOBAL bounds - >= -8196 @ 23.2967
59.41/59.60	c GLOBAL bounds - >= -8196 @ 23.4673
59.71/60.00	c GLOBAL bounds - >= -8196 @ 23.6154
60.21/60.40	c GLOBAL bounds - >= -8196 @ 23.7552
60.51/60.79	c GLOBAL bounds - >= -8196 @ 23.9024
61.01/61.20	c GLOBAL bounds - >= -8196 @ 24.0407
61.31/61.59	c GLOBAL bounds - >= -8196 @ 24.1704
61.71/61.99	c GLOBAL bounds - >= -8196 @ 24.3261
62.11/62.39	c GLOBAL bounds - >= -8196 @ 24.4948
62.51/62.79	c GLOBAL bounds - >= -8196 @ 24.6457
62.91/63.18	c GLOBAL bounds - >= -8196 @ 24.7982
63.31/63.58	c GLOBAL bounds - >= -8196 @ 24.9497
63.70/63.98	c GLOBAL bounds - >= -8196 @ 25.0983
64.10/64.38	c GLOBAL bounds - >= -8196 @ 25.2581
64.50/64.78	c GLOBAL bounds - >= -8196 @ 25.3989
64.91/65.17	c GLOBAL bounds - >= -8196 @ 25.5399
65.29/65.57	c GLOBAL bounds - >= -8196 @ 25.6953
65.69/65.97	c GLOBAL bounds - >= -8196 @ 25.8618
66.09/66.36	c GLOBAL bounds - >= -8196 @ 26.0009
66.50/66.76	c GLOBAL bounds - >= -8196 @ 26.1442
66.91/67.15	c GLOBAL bounds - >= -8196 @ 26.2923
67.30/67.55	c GLOBAL bounds - >= -8196 @ 26.426
67.69/67.94	c GLOBAL bounds - >= -8196 @ 26.5767
68.10/68.35	c GLOBAL bounds - >= -8196 @ 26.73
68.50/68.75	c GLOBAL bounds - >= -8196 @ 26.8778
68.90/69.14	c GLOBAL bounds - >= -8196 @ 27.0176
69.29/69.55	c GLOBAL bounds - >= -8196 @ 27.1473
69.69/69.95	c GLOBAL bounds - >= -8196 @ 27.3089
70.09/70.34	c GLOBAL bounds - >= -8196 @ 27.4429
70.48/70.77	c GLOBAL bounds - >= -8196 @ 27.6021
70.88/71.16	c GLOBAL bounds - >= -8196 @ 27.7461
71.27/71.56	c GLOBAL bounds - >= -8196 @ 27.8965
71.67/71.97	c GLOBAL bounds - >= -8196 @ 28.0668
72.07/72.37	c GLOBAL bounds - >= -8196 @ 28.2202
72.47/72.77	c GLOBAL bounds - >= -8196 @ 28.3834
72.88/73.18	c GLOBAL bounds - >= -8196 @ 28.5414
73.27/73.57	c GLOBAL bounds - >= -8196 @ 28.7127
73.67/73.98	c GLOBAL bounds - >= -8196 @ 28.8778
74.07/74.39	c GLOBAL bounds - >= -8196 @ 29.0328
74.47/74.78	c GLOBAL bounds - >= -8196 @ 29.1768
74.88/75.19	c GLOBAL bounds - >= -8196 @ 29.3391
75.26/75.58	c GLOBAL bounds - >= -8196 @ 29.4771
75.66/75.98	c GLOBAL bounds - >= -8196 @ 29.6242
76.06/76.38	c GLOBAL bounds - >= -8196 @ 29.7708
76.46/76.78	c GLOBAL bounds - >= -8196 @ 29.9104
76.87/77.19	c GLOBAL bounds - >= -8196 @ 30.0625
77.26/77.59	c GLOBAL bounds - >= -8196 @ 30.2146
77.66/77.99	c GLOBAL bounds - >= -8196 @ 30.3831
78.06/78.39	c GLOBAL bounds - >= -8196 @ 30.512
78.46/78.78	c GLOBAL bounds - >= -8196 @ 30.6596
78.87/79.18	c GLOBAL bounds - >= -8196 @ 30.8065
79.26/79.58	c GLOBAL bounds - >= -8196 @ 30.96
79.65/79.99	c GLOBAL bounds - >= -8196 @ 31.113
80.05/80.39	c GLOBAL bounds - >= -8196 @ 31.2772
80.55/80.80	c GLOBAL bounds - >= -8196 @ 31.4372
80.95/81.21	c GLOBAL bounds - >= -8196 @ 31.5893
81.36/81.60	c GLOBAL bounds - >= -8196 @ 31.7443
81.76/82.02	c GLOBAL bounds - >= -8196 @ 31.9103
82.15/82.43	c GLOBAL bounds - >= -8196 @ 32.0544
82.55/82.83	c GLOBAL bounds - >= -8196 @ 32.2085
82.95/83.23	c GLOBAL bounds - >= -8196 @ 32.3713
83.35/83.63	c GLOBAL bounds - >= -8196 @ 32.5234
83.76/84.02	c GLOBAL bounds - >= -8196 @ 32.6699
84.15/84.42	c GLOBAL bounds - >= -8196 @ 32.8361
84.55/84.82	c GLOBAL bounds - >= -8196 @ 32.9827
84.95/85.24	c GLOBAL bounds - >= -8196 @ 33.1576
85.35/85.64	c GLOBAL bounds - >= -8196 @ 33.2963
85.76/86.04	c GLOBAL bounds - >= -8196 @ 33.4441
86.14/86.44	c GLOBAL bounds - >= -8196 @ 33.6154
86.54/86.84	c GLOBAL bounds - >= -8196 @ 33.7686
86.94/87.24	c GLOBAL bounds - >= -8196 @ 33.9148
87.34/87.64	c GLOBAL bounds - >= -8196 @ 34.0701
87.75/88.04	c GLOBAL bounds - >= -8196 @ 34.2267
88.14/88.45	c GLOBAL bounds - >= -8196 @ 34.4052
88.54/88.86	c GLOBAL bounds - >= -8196 @ 34.5673
88.94/89.27	c GLOBAL bounds - >= -8196 @ 34.734
89.33/89.69	c GLOBAL bounds - >= -8196 @ 34.9176
89.75/90.09	c GLOBAL bounds - >= -8196 @ 35.0731
90.23/90.50	c GLOBAL bounds - >= -8196 @ 35.2387
90.63/90.93	c GLOBAL bounds - >= -8196 @ 35.4142
91.03/91.33	c GLOBAL bounds - >= -8196 @ 35.5559
91.43/91.74	c GLOBAL bounds - >= -8196 @ 35.7268
91.85/92.14	c GLOBAL bounds - >= -8196 @ 35.8662
92.23/92.54	c GLOBAL bounds - >= -8196 @ 36.0209
92.63/92.94	c GLOBAL bounds - >= -8196 @ 36.1765
93.03/93.33	c GLOBAL bounds - >= -8196 @ 36.3143
93.43/93.75	c GLOBAL bounds - >= -8196 @ 36.4826
93.84/94.15	c GLOBAL bounds - >= -8196 @ 36.638
94.22/94.54	c GLOBAL bounds - >= -8196 @ 36.7635
94.62/94.94	c GLOBAL bounds - >= -8196 @ 36.9161
95.03/95.34	c GLOBAL bounds - >= -8196 @ 37.0618
95.42/95.74	c GLOBAL bounds - >= -8196 @ 37.2118
95.84/96.16	c GLOBAL bounds - >= -8196 @ 37.3934
96.22/96.57	c GLOBAL bounds - >= -8196 @ 37.5561
96.62/96.97	c GLOBAL bounds - >= -8196 @ 37.7214
97.12/97.41	c GLOBAL bounds - >= -8196 @ 37.9283
97.52/97.81	c GLOBAL bounds - >= -8196 @ 38.0616
97.92/98.22	c GLOBAL bounds - >= -8196 @ 38.2288
98.31/98.62	c GLOBAL bounds - >= -8196 @ 38.3802
98.72/99.02	c GLOBAL bounds - >= -8196 @ 38.5235
99.11/99.43	c GLOBAL bounds - >= -8196 @ 38.6664
99.52/99.85	c GLOBAL bounds - >= -8196 @ 38.8678
99.91/100.26	c GLOBAL bounds - >= -8196 @ 39.0156
100.31/100.67	c GLOBAL bounds - >= -8196 @ 39.1693
100.72/101.09	c GLOBAL bounds - >= -8196 @ 39.3457
101.11/101.49	c GLOBAL bounds - >= -8196 @ 39.4877
101.51/101.89	c GLOBAL bounds - >= -8196 @ 39.6446
101.90/102.28	c GLOBAL bounds - >= -8196 @ 39.7964
102.30/102.69	c GLOBAL bounds - >= -8196 @ 39.9505
102.72/103.08	c GLOBAL bounds - >= -8196 @ 40.1066
103.21/103.52	c GLOBAL bounds - >= -8196 @ 40.2922
103.61/103.92	c GLOBAL bounds - >= -8196 @ 40.4407
104.00/104.38	c GLOBAL bounds - >= -8196 @ 40.6536
104.40/104.79	c GLOBAL bounds - >= -8196 @ 40.8167
104.82/105.19	c GLOBAL bounds - >= -8196 @ 40.96
105.20/105.59	c GLOBAL bounds - >= -8196 @ 41.0982
105.60/105.98	c GLOBAL bounds - >= -8196 @ 41.2409
106.00/106.37	c GLOBAL bounds - >= -8196 @ 41.3791
106.40/106.77	c GLOBAL bounds - >= -8196 @ 41.5511
106.81/107.16	c GLOBAL bounds - >= -8196 @ 41.703
107.19/107.56	c GLOBAL bounds - >= -8196 @ 41.8476
107.59/107.97	c GLOBAL bounds - >= -8196 @ 41.9951
108.09/108.40	c GLOBAL bounds - >= -8196 @ 42.1781
108.49/108.84	c GLOBAL bounds - >= -8196 @ 42.3685
108.90/109.24	c GLOBAL bounds - >= -8196 @ 42.523
109.29/109.64	c GLOBAL bounds - >= -8196 @ 42.6906
109.71/110.04	c GLOBAL bounds - >= -8196 @ 42.8394
110.09/110.43	c GLOBAL bounds - >= -8196 @ 42.9893
110.49/110.83	c GLOBAL bounds - >= -8196 @ 43.149
110.89/111.24	c GLOBAL bounds - >= -8196 @ 43.3076
111.29/111.65	c GLOBAL bounds - >= -8196 @ 43.455
111.70/112.08	c GLOBAL bounds - >= -8196 @ 43.6514
112.09/112.49	c GLOBAL bounds - >= -8196 @ 43.804
112.58/112.91	c GLOBAL bounds - >= -8196 @ 43.9811
112.98/113.31	c GLOBAL bounds - >= -8196 @ 44.1464
113.38/113.72	c GLOBAL bounds - >= -8196 @ 44.3249
113.88/114.20	c GLOBAL bounds - >= -8196 @ 44.5603
114.28/114.65	c GLOBAL bounds - >= -8196 @ 44.7561
114.69/115.05	c GLOBAL bounds - >= -8196 @ 44.899
115.08/115.44	c GLOBAL bounds - >= -8196 @ 45.0555
115.48/115.84	c GLOBAL bounds - >= -8196 @ 45.21
115.88/116.26	c GLOBAL bounds - >= -8196 @ 45.3865
116.28/116.66	c GLOBAL bounds - >= -8196 @ 45.5342
116.69/117.07	c GLOBAL bounds - >= -8196 @ 45.682
117.08/117.48	c GLOBAL bounds - >= -8196 @ 45.8287
117.48/117.90	c GLOBAL bounds - >= -8196 @ 46.011
117.87/118.29	c GLOBAL bounds - >= -8196 @ 46.162
118.27/118.69	c GLOBAL bounds - >= -8196 @ 46.2993
118.68/119.09	c GLOBAL bounds - >= -8196 @ 46.4519
119.17/119.51	c GLOBAL bounds - >= -8196 @ 46.6233
119.57/119.91	c GLOBAL bounds - >= -8196 @ 46.7863
119.97/120.31	c GLOBAL bounds - >= -8196 @ 46.9287
120.37/120.70	c GLOBAL bounds - >= -8196 @ 47.0784
120.67/121.09	c GLOBAL bounds - >= -8196 @ 47.2151
121.17/121.51	c GLOBAL bounds - >= -8196 @ 47.3871
121.56/121.92	c GLOBAL bounds - >= -8196 @ 47.546
121.96/122.32	c GLOBAL bounds - >= -8196 @ 47.6992
122.36/122.71	c GLOBAL bounds - >= -8196 @ 47.8505
122.77/123.12	c GLOBAL bounds - >= -8196 @ 48.0237
123.16/123.52	c GLOBAL bounds - >= -8196 @ 48.1689
123.56/123.99	c GLOBAL bounds - >= -8196 @ 48.3794
123.96/124.38	c GLOBAL bounds - >= -8196 @ 48.5173
124.36/124.78	c GLOBAL bounds - >= -8196 @ 48.6656
124.86/125.20	c GLOBAL bounds - >= -8196 @ 48.8363
125.25/125.63	c GLOBAL bounds - >= -8196 @ 49.0111
125.66/126.04	c GLOBAL bounds - >= -8196 @ 49.1754
126.05/126.46	c GLOBAL bounds - >= -8196 @ 49.3312
126.45/126.86	c GLOBAL bounds - >= -8196 @ 49.4878
126.86/127.25	c GLOBAL bounds - >= -8196 @ 49.6344
127.25/127.65	c GLOBAL bounds - >= -8196 @ 49.787
127.66/128.05	c GLOBAL bounds - >= -8196 @ 49.9319
128.05/128.49	c GLOBAL bounds - >= -8196 @ 50.1172
128.44/128.88	c GLOBAL bounds - >= -8196 @ 50.2585
128.85/129.28	c GLOBAL bounds - >= -8196 @ 50.3927
129.25/129.68	c GLOBAL bounds - >= -8196 @ 50.5432
129.65/130.08	c GLOBAL bounds - >= -8196 @ 50.6931
130.14/130.53	c GLOBAL bounds - >= -8196 @ 50.8978
130.54/130.93	c GLOBAL bounds - >= -8196 @ 51.0522
130.94/131.33	c GLOBAL bounds - >= -8196 @ 51.1938
131.34/131.72	c GLOBAL bounds - >= -8196 @ 51.3371
131.75/132.12	c GLOBAL bounds - >= -8196 @ 51.483
132.14/132.52	c GLOBAL bounds - >= -8196 @ 51.6315
132.54/132.93	c GLOBAL bounds - >= -8196 @ 51.7889
132.94/133.32	c GLOBAL bounds - >= -8196 @ 51.9321
132.94/133.33	c GLOBAL bounds - >= -3352 @ 51.9405
135.33/135.79	c GLOBAL bounds - >= -3352 @ 54.2323
135.43/135.85	c GLOBAL bounds - >= -3352 @ 54.2915
135.53/135.91	c GLOBAL bounds - >= -3352 @ 54.3531
135.53/135.94	c GLOBAL bounds - >= -3352 @ 54.3825
135.53/136.00	c GLOBAL bounds - >= -3352 @ 54.4446
135.64/136.06	c GLOBAL bounds - >= -3352 @ 54.5024
135.74/136.12	c GLOBAL bounds - >= -3352 @ 54.5667
135.74/136.15	c GLOBAL bounds - >= -3352 @ 54.5931
135.74/136.18	c GLOBAL bounds - >= -3352 @ 54.6228
135.83/136.24	c GLOBAL bounds - >= -3352 @ 54.6796
135.83/136.27	c GLOBAL bounds - >= -3352 @ 54.7086
135.93/136.32	c GLOBAL bounds - >= -3352 @ 54.7655
135.93/136.38	c GLOBAL bounds - >= -3352 @ 54.8176
136.03/136.43	c GLOBAL bounds - >= -3352 @ 54.8726
136.03/136.46	c GLOBAL bounds - >= -3352 @ 54.8983
136.03/136.49	c GLOBAL bounds - >= -3352 @ 54.9283
136.12/136.52	c GLOBAL bounds - >= -3352 @ 54.9584
136.12/136.55	c GLOBAL bounds - >= -3352 @ 54.9869
136.12/136.58	c GLOBAL bounds - >= -3352 @ 55.0149
136.23/136.60	c GLOBAL bounds - >= -3352 @ 55.0422
136.23/136.66	c GLOBAL bounds - >= -3352 @ 55.0998
136.33/136.72	c GLOBAL bounds - >= -3352 @ 55.1583
136.33/136.78	c GLOBAL bounds - >= -3352 @ 55.2133
136.43/136.80	c GLOBAL bounds - >= -3352 @ 55.2402
136.43/136.83	c GLOBAL bounds - >= -3352 @ 55.2673
136.43/136.86	c GLOBAL bounds - >= -3352 @ 55.2941
136.43/136.89	c GLOBAL bounds - >= -3352 @ 55.3213
136.53/136.92	c GLOBAL bounds - >= -3352 @ 55.3497
136.53/136.94	c GLOBAL bounds - >= -3352 @ 55.3778
136.53/136.97	c GLOBAL bounds - >= -3352 @ 55.4079
136.53/137.00	c GLOBAL bounds - >= -3352 @ 55.4335
136.64/137.03	c GLOBAL bounds - >= -3352 @ 55.4635
136.64/137.06	c GLOBAL bounds - >= -3352 @ 55.4925
136.64/137.09	c GLOBAL bounds - >= -3352 @ 55.5205
136.74/137.12	c GLOBAL bounds - >= -3352 @ 55.5483
136.74/137.14	c GLOBAL bounds - >= -3352 @ 55.5761
136.74/137.17	c GLOBAL bounds - >= -3352 @ 55.6022
136.83/137.20	c GLOBAL bounds - >= -3352 @ 55.6291
136.83/137.26	c GLOBAL bounds - >= -3352 @ 55.693
136.92/137.32	c GLOBAL bounds - >= -3352 @ 55.7449
136.92/137.38	c GLOBAL bounds - >= -3352 @ 55.7999
137.03/137.43	c GLOBAL bounds - >= -3352 @ 55.8521
137.03/137.49	c GLOBAL bounds - >= -3352 @ 55.9085
137.13/137.54	c GLOBAL bounds - >= -3352 @ 55.9638
137.23/137.60	c GLOBAL bounds - >= -3352 @ 56.0209
137.23/137.65	c GLOBAL bounds - >= -3352 @ 56.0743
137.33/137.71	c GLOBAL bounds - >= -3352 @ 56.1316
137.33/137.76	c GLOBAL bounds - >= -3352 @ 56.1838
137.33/137.79	c GLOBAL bounds - >= -3352 @ 56.2113
137.42/137.82	c GLOBAL bounds - >= -3352 @ 56.2388
137.42/137.87	c GLOBAL bounds - >= -3352 @ 56.2914
137.52/137.90	c GLOBAL bounds - >= -3352 @ 56.3193
137.52/137.93	c GLOBAL bounds - >= -3352 @ 56.3485
137.52/137.96	c GLOBAL bounds - >= -3352 @ 56.378
137.63/138.01	c GLOBAL bounds - >= -3352 @ 56.43
137.63/138.04	c GLOBAL bounds - >= -3352 @ 56.4588
137.63/138.07	c GLOBAL bounds - >= -3352 @ 56.4858
137.73/138.13	c GLOBAL bounds - >= -3352 @ 56.5385
137.73/138.18	c GLOBAL bounds - >= -3352 @ 56.59
137.82/138.21	c GLOBAL bounds - >= -3352 @ 56.6185
137.82/138.24	c GLOBAL bounds - >= -3352 @ 56.6478
137.82/138.27	c GLOBAL bounds - >= -3352 @ 56.6773
137.93/138.34	c GLOBAL bounds - >= -3352 @ 56.755
137.93/138.37	c GLOBAL bounds - >= -3352 @ 56.7809
138.02/138.42	c GLOBAL bounds - >= -3352 @ 56.829
138.02/138.45	c GLOBAL bounds - >= -3352 @ 56.8558
138.02/138.47	c GLOBAL bounds - >= -3352 @ 56.8798
138.02/138.50	c GLOBAL bounds - >= -3352 @ 56.9026
138.12/138.52	c GLOBAL bounds - >= -3352 @ 56.9265
138.12/138.54	c GLOBAL bounds - >= -3352 @ 56.9494
138.22/138.61	c GLOBAL bounds - >= -3352 @ 57.0063
138.22/138.63	c GLOBAL bounds - >= -3352 @ 57.0312
138.22/138.66	c GLOBAL bounds - >= -3352 @ 57.0553
138.32/138.71	c GLOBAL bounds - >= -3352 @ 57.1048
138.32/138.76	c GLOBAL bounds - >= -3352 @ 57.1627
138.32/138.79	c GLOBAL bounds - >= -3352 @ 57.1858
138.42/138.81	c GLOBAL bounds - >= -3352 @ 57.2097
138.42/138.87	c GLOBAL bounds - >= -3352 @ 57.2673
138.52/138.93	c GLOBAL bounds - >= -3352 @ 57.3215
138.52/138.95	c GLOBAL bounds - >= -3352 @ 57.3464
138.52/138.98	c GLOBAL bounds - >= -3352 @ 57.3713
138.63/139.02	c GLOBAL bounds - >= -3352 @ 57.4178
138.63/139.09	c GLOBAL bounds - >= -3352 @ 57.4798
138.73/139.14	c GLOBAL bounds - >= -3352 @ 57.5376
138.82/139.20	c GLOBAL bounds - >= -3352 @ 57.5959
138.82/139.26	c GLOBAL bounds - >= -3352 @ 57.6538
138.91/139.34	c GLOBAL bounds - >= -3352 @ 57.7286
138.91/139.40	c GLOBAL bounds - >= -3352 @ 57.7843
139.02/139.45	c GLOBAL bounds - >= -3352 @ 57.8374
139.12/139.51	c GLOBAL bounds - >= -3352 @ 57.8956
139.12/139.56	c GLOBAL bounds - >= -3352 @ 57.9436
139.22/139.61	c GLOBAL bounds - >= -3352 @ 57.9927
139.22/139.65	c GLOBAL bounds - >= -3352 @ 58.0388
139.32/139.70	c GLOBAL bounds - >= -3352 @ 58.0866
139.32/139.78	c GLOBAL bounds - >= -3352 @ 58.1544
139.42/139.81	c GLOBAL bounds - >= -3352 @ 58.1842
139.42/139.84	c GLOBAL bounds - >= -3352 @ 58.2141
139.42/139.87	c GLOBAL bounds - >= -3352 @ 58.245
139.52/139.90	c GLOBAL bounds - >= -3352 @ 58.2776
139.52/139.94	c GLOBAL bounds - >= -3352 @ 58.3099
139.52/139.99	c GLOBAL bounds - >= -3352 @ 58.3616
139.63/140.02	c GLOBAL bounds - >= -3352 @ 58.3926
139.63/140.07	c GLOBAL bounds - >= -3352 @ 58.4382
139.63/140.10	c GLOBAL bounds - >= -3352 @ 58.4682
139.73/140.13	c GLOBAL bounds - >= -3352 @ 58.4991
139.73/140.16	c GLOBAL bounds - >= -3352 @ 58.5297
139.73/140.19	c GLOBAL bounds - >= -3352 @ 58.5612
139.81/140.22	c GLOBAL bounds - >= -3352 @ 58.5911
139.81/140.25	c GLOBAL bounds - >= -3352 @ 58.6218
139.81/140.28	c GLOBAL bounds - >= -3352 @ 58.6526
139.91/140.32	c GLOBAL bounds - >= -3352 @ 58.6837
139.91/140.35	c GLOBAL bounds - >= -3352 @ 58.7158
139.91/140.38	c GLOBAL bounds - >= -3352 @ 58.7481
140.01/140.42	c GLOBAL bounds - >= -3352 @ 58.7929
140.01/140.45	c GLOBAL bounds - >= -3352 @ 58.822
140.01/140.48	c GLOBAL bounds - >= -3352 @ 58.8473
140.11/140.51	c GLOBAL bounds - >= -3352 @ 58.8774
140.11/140.54	c GLOBAL bounds - >= -3352 @ 58.9078
140.11/140.57	c GLOBAL bounds - >= -3352 @ 58.9375
140.21/140.60	c GLOBAL bounds - >= -3352 @ 58.9668
140.21/140.63	c GLOBAL bounds - >= -3352 @ 58.9968
140.21/140.66	c GLOBAL bounds - >= -3352 @ 59.0253
140.21/140.69	c GLOBAL bounds - >= -3352 @ 59.0536
140.32/140.72	c GLOBAL bounds - >= -3352 @ 59.0834
140.32/140.75	c GLOBAL bounds - >= -3352 @ 59.1139
140.32/140.78	c GLOBAL bounds - >= -3352 @ 59.1452
140.42/140.81	c GLOBAL bounds - >= -3352 @ 59.1769
140.42/140.84	c GLOBAL bounds - >= -3352 @ 59.2078
140.42/140.87	c GLOBAL bounds - >= -3352 @ 59.2368
140.52/140.90	c GLOBAL bounds - >= -3352 @ 59.2659
140.52/140.93	c GLOBAL bounds - >= -3352 @ 59.297
140.52/140.97	c GLOBAL bounds - >= -3352 @ 59.3265
140.52/140.99	c GLOBAL bounds - >= -3352 @ 59.354
140.63/141.02	c GLOBAL bounds - >= -3352 @ 59.3805
140.63/141.05	c GLOBAL bounds - >= -3352 @ 59.4064
140.63/141.07	c GLOBAL bounds - >= -3352 @ 59.4325
140.63/141.10	c GLOBAL bounds - >= -3352 @ 59.4603
140.73/141.15	c GLOBAL bounds - >= -3352 @ 59.5055
140.73/141.17	c GLOBAL bounds - >= -3352 @ 59.5272
140.73/141.19	c GLOBAL bounds - >= -3352 @ 59.553
140.81/141.22	c GLOBAL bounds - >= -3352 @ 59.5799
140.81/141.25	c GLOBAL bounds - >= -3352 @ 59.6077
140.81/141.28	c GLOBAL bounds - >= -3352 @ 59.6341
140.91/141.30	c GLOBAL bounds - >= -3352 @ 59.6606
140.91/141.33	c GLOBAL bounds - >= -3352 @ 59.6873
140.91/141.36	c GLOBAL bounds - >= -3352 @ 59.7136
140.91/141.38	c GLOBAL bounds - >= -3352 @ 59.7401
141.01/141.41	c GLOBAL bounds - >= -3352 @ 59.7685
141.01/141.44	c GLOBAL bounds - >= -3352 @ 59.8004
141.01/141.47	c GLOBAL bounds - >= -3352 @ 59.8315
141.11/141.51	c GLOBAL bounds - >= -3352 @ 59.8614
141.11/141.54	c GLOBAL bounds - >= -3352 @ 59.8912
141.11/141.57	c GLOBAL bounds - >= -3352 @ 59.9223
141.21/141.61	c GLOBAL bounds - >= -3352 @ 59.9683
141.21/141.66	c GLOBAL bounds - >= -3352 @ 60.0116
141.21/141.69	c GLOBAL bounds - >= -3352 @ 60.0405
141.31/141.72	c GLOBAL bounds - >= -3352 @ 60.0711
141.31/141.75	c GLOBAL bounds - >= -3352 @ 60.1016
141.31/141.78	c GLOBAL bounds - >= -3352 @ 60.1302
141.41/141.81	c GLOBAL bounds - >= -3352 @ 60.1598
141.41/141.84	c GLOBAL bounds - >= -3352 @ 60.1901
141.41/141.87	c GLOBAL bounds - >= -3352 @ 60.2207
141.51/141.90	c GLOBAL bounds - >= -3352 @ 60.2506
141.51/141.93	c GLOBAL bounds - >= -3352 @ 60.2797
141.51/141.96	c GLOBAL bounds - >= -3352 @ 60.31
141.51/141.99	c GLOBAL bounds - >= -3352 @ 60.3406
141.62/142.02	c GLOBAL bounds - >= -3352 @ 60.3688
141.62/142.05	c GLOBAL bounds - >= -3352 @ 60.3993
141.62/142.08	c GLOBAL bounds - >= -3352 @ 60.4304
141.73/142.11	c GLOBAL bounds - >= -3352 @ 60.4615
141.73/142.14	c GLOBAL bounds - >= -3352 @ 60.4925
141.73/142.17	c GLOBAL bounds - >= -3352 @ 60.5219
141.81/142.20	c GLOBAL bounds - >= -3352 @ 60.551
141.81/142.23	c GLOBAL bounds - >= -3352 @ 60.5826
141.81/142.26	c GLOBAL bounds - >= -3352 @ 60.6129
141.81/142.29	c GLOBAL bounds - >= -3352 @ 60.6406
141.91/142.32	c GLOBAL bounds - >= -3352 @ 60.6674
141.91/142.35	c GLOBAL bounds - >= -3352 @ 60.6936
141.91/142.37	c GLOBAL bounds - >= -3352 @ 60.72
142.01/142.40	c GLOBAL bounds - >= -3352 @ 60.7453
142.01/142.43	c GLOBAL bounds - >= -3352 @ 60.7757
142.01/142.46	c GLOBAL bounds - >= -3352 @ 60.8046
142.01/142.49	c GLOBAL bounds - >= -3352 @ 60.831
142.11/142.51	c GLOBAL bounds - >= -3352 @ 60.8582
142.11/142.54	c GLOBAL bounds - >= -3352 @ 60.8861
142.11/142.57	c GLOBAL bounds - >= -3352 @ 60.9131
142.11/142.60	c GLOBAL bounds - >= -3352 @ 60.9393
142.21/142.62	c GLOBAL bounds - >= -3352 @ 60.966
142.21/142.65	c GLOBAL bounds - >= -3352 @ 60.9918
142.21/142.68	c GLOBAL bounds - >= -3352 @ 61.0177
142.31/142.70	c GLOBAL bounds - >= -3352 @ 61.0441
142.31/142.73	c GLOBAL bounds - >= -3352 @ 61.075
142.31/142.76	c GLOBAL bounds - >= -3352 @ 61.1063
142.31/142.80	c GLOBAL bounds - >= -3352 @ 61.1375
142.41/142.82	c GLOBAL bounds - >= -3352 @ 61.1663
142.41/142.85	c GLOBAL bounds - >= -3352 @ 61.195
142.41/142.89	c GLOBAL bounds - >= -3352 @ 61.2261
142.50/142.92	c GLOBAL bounds - >= -3352 @ 61.2574
142.50/142.95	c GLOBAL bounds - >= -3352 @ 61.2884
142.50/142.98	c GLOBAL bounds - >= -3352 @ 61.3178
142.50/143.01	c GLOBAL bounds - >= -3352 @ 61.3468
142.62/143.04	c GLOBAL bounds - >= -3352 @ 61.3783
142.62/143.07	c GLOBAL bounds - >= -3352 @ 61.4085
142.62/143.10	c GLOBAL bounds - >= -3352 @ 61.4388
142.72/143.13	c GLOBAL bounds - >= -3352 @ 61.4689
142.72/143.16	c GLOBAL bounds - >= -3352 @ 61.4983
142.72/143.19	c GLOBAL bounds - >= -3352 @ 61.5283
142.81/143.22	c GLOBAL bounds - >= -3352 @ 61.558
142.81/143.25	c GLOBAL bounds - >= -3352 @ 61.587
142.81/143.28	c GLOBAL bounds - >= -3352 @ 61.6172
142.91/143.31	c GLOBAL bounds - >= -3352 @ 61.6482
142.91/143.34	c GLOBAL bounds - >= -3352 @ 61.678
142.91/143.37	c GLOBAL bounds - >= -3352 @ 61.7096
143.01/143.41	c GLOBAL bounds - >= -3352 @ 61.7406
143.01/143.44	c GLOBAL bounds - >= -3352 @ 61.7715
143.01/143.47	c GLOBAL bounds - >= -3352 @ 61.8003
143.01/143.50	c GLOBAL bounds - >= -3352 @ 61.8291
143.11/143.53	c GLOBAL bounds - >= -3352 @ 61.8606
143.11/143.56	c GLOBAL bounds - >= -3352 @ 61.8914
143.11/143.59	c GLOBAL bounds - >= -3352 @ 61.9188
143.21/143.61	c GLOBAL bounds - >= -3352 @ 61.9458
143.21/143.64	c GLOBAL bounds - >= -3352 @ 61.9719
143.21/143.67	c GLOBAL bounds - >= -3352 @ 61.9977
143.21/143.69	c GLOBAL bounds - >= -3352 @ 62.0243
143.31/143.72	c GLOBAL bounds - >= -3352 @ 62.0544
143.31/143.75	c GLOBAL bounds - >= -3352 @ 62.0837
143.31/143.78	c GLOBAL bounds - >= -3352 @ 62.1114
143.40/143.81	c GLOBAL bounds - >= -3352 @ 62.1391
143.40/143.84	c GLOBAL bounds - >= -3352 @ 62.1682
143.40/143.87	c GLOBAL bounds - >= -3352 @ 62.196
143.40/143.89	c GLOBAL bounds - >= -3352 @ 62.2229
143.50/143.92	c GLOBAL bounds - >= -3352 @ 62.2502
143.50/143.95	c GLOBAL bounds - >= -3352 @ 62.2768
143.50/143.97	c GLOBAL bounds - >= -3352 @ 62.3033
143.62/144.08	c GLOBAL bounds - >= -3352 @ 62.4036
143.72/144.13	c GLOBAL bounds - >= -3352 @ 62.4559
143.72/144.16	c GLOBAL bounds - >= -3352 @ 62.4863
143.72/144.19	c GLOBAL bounds - >= -3352 @ 62.5161
143.80/144.22	c GLOBAL bounds - >= -3352 @ 62.546
143.80/144.25	c GLOBAL bounds - >= -3352 @ 62.5751
143.80/144.27	c GLOBAL bounds - >= -3352 @ 62.6028
143.90/144.30	c GLOBAL bounds - >= -3352 @ 62.6314
143.90/144.33	c GLOBAL bounds - >= -3352 @ 62.6598
143.90/144.36	c GLOBAL bounds - >= -3352 @ 62.689
143.90/144.39	c GLOBAL bounds - >= -3352 @ 62.7176
144.00/144.42	c GLOBAL bounds - >= -3352 @ 62.7457
144.00/144.45	c GLOBAL bounds - >= -3352 @ 62.7736
144.00/144.47	c GLOBAL bounds - >= -3352 @ 62.7998
144.10/144.50	c GLOBAL bounds - >= -3352 @ 62.8286
144.10/144.53	c GLOBAL bounds - >= -3352 @ 62.8577
144.10/144.56	c GLOBAL bounds - >= -3352 @ 62.8846
144.10/144.59	c GLOBAL bounds - >= -3352 @ 62.9129
144.20/144.62	c GLOBAL bounds - >= -3352 @ 62.9431
144.20/144.65	c GLOBAL bounds - >= -3352 @ 62.973
144.20/144.68	c GLOBAL bounds - >= -3352 @ 63.002
144.30/144.71	c GLOBAL bounds - >= -3352 @ 63.0321
144.30/144.74	c GLOBAL bounds - >= -3352 @ 63.0626
144.30/144.77	c GLOBAL bounds - >= -3352 @ 63.0924
144.40/144.80	c GLOBAL bounds - >= -3352 @ 63.1217
144.40/144.82	c GLOBAL bounds - >= -3352 @ 63.1496
144.40/144.85	c GLOBAL bounds - >= -3352 @ 63.1776
144.40/144.88	c GLOBAL bounds - >= -3352 @ 63.2078
144.50/144.91	c GLOBAL bounds - >= -3352 @ 63.2375
144.50/144.94	c GLOBAL bounds - >= -3352 @ 63.2665
144.50/144.97	c GLOBAL bounds - >= -3352 @ 63.293
144.50/145.00	c GLOBAL bounds - >= -3352 @ 63.3204
144.61/145.02	c GLOBAL bounds - >= -3352 @ 63.3416
144.61/145.05	c GLOBAL bounds - >= -3352 @ 63.3705
144.61/145.07	c GLOBAL bounds - >= -3352 @ 63.3917
144.61/145.08	c GLOBAL bounds - >= -3352 @ 63.4005
144.61/145.08	c GLOBAL bounds - >= -3352 @ 63.4059
144.61/145.09	c GLOBAL bounds - >= -3352 @ 63.4133
144.61/145.10	c GLOBAL bounds - >= -3352 @ 63.4197
144.61/145.10	c GLOBAL bounds - >= -3352 @ 63.4259
144.72/145.11	c GLOBAL bounds - >= -3352 @ 63.434
144.72/145.12	c GLOBAL bounds - >= -3352 @ 63.4447
144.72/145.13	c GLOBAL bounds - >= -3352 @ 63.4549
144.72/145.14	c GLOBAL bounds - >= -3352 @ 63.4641
144.72/145.15	c GLOBAL bounds - >= -3352 @ 63.472
144.72/145.17	c GLOBAL bounds - >= -3352 @ 63.4848
145.11/145.56	c GLOBAL bounds - >= -3352 @ 63.6284
145.20/145.62	c GLOBAL bounds - >= -3352 @ 63.686
145.61/146.01	c GLOBAL bounds - >= -3352 @ 63.8267
145.61/146.04	c GLOBAL bounds - >= -3352 @ 63.8534
146.00/146.43	c GLOBAL bounds - >= -3352 @ 64.0017
146.00/146.46	c GLOBAL bounds - >= -3352 @ 64.0284
146.40/146.85	c GLOBAL bounds - >= -3352 @ 64.1871
146.40/146.88	c GLOBAL bounds - >= -3352 @ 64.2162
146.80/147.27	c GLOBAL bounds - >= -3352 @ 64.3606
146.90/147.31	c GLOBAL bounds - >= -3352 @ 64.392
147.29/147.70	c GLOBAL bounds - >= -3352 @ 64.5543
147.80/148.22	c GLOBAL bounds - >= -3352 @ 65.0761
148.20/148.61	c GLOBAL bounds - >= -3352 @ 65.223
693.15/695.26	c #Conflicts:       1000 | #Constraints:     404069
693.15/695.26	c #Conflicts:       2000 | #Constraints:     405069
693.15/695.26	c INPROCESSING
693.15/695.26	c GARBAGE COLLECT
693.15/695.26	c #Conflicts:       3000 | #Constraints:     396801
693.15/695.26	c #Conflicts:       4000 | #Constraints:     397801
693.15/695.26	c INPROCESSING
693.15/695.26	c GARBAGE COLLECT
693.15/695.26	c #Conflicts:       5000 | #Constraints:     397237
693.15/695.26	c #Conflicts:       6000 | #Constraints:     398237
693.15/695.26	c INPROCESSING
693.15/695.26	c GARBAGE COLLECT
693.15/695.26	c #Conflicts:       7000 | #Constraints:     397285
693.15/695.26	c #Conflicts:       8000 | #Constraints:     398285
693.15/695.26	c GLOBAL bounds - >= -3352 @ 607.253
693.55/695.65	c GLOBAL bounds - >= -3352 @ 607.399
2434.50/2441.97	c #Conflicts:       9000 | #Constraints:     399286
2434.50/2441.97	c INPROCESSING
2434.50/2441.97	c GARBAGE COLLECT
2434.50/2441.97	c #Conflicts:      10000 | #Constraints:     397960
2434.50/2441.97	c #Conflicts:      11000 | #Constraints:     398960
2434.50/2441.97	c #Conflicts:      12000 | #Constraints:     399960
2434.50/2441.97	c INPROCESSING
2434.50/2441.97	c GARBAGE COLLECT
2434.50/2441.97	c #Conflicts:      13000 | #Constraints:     398398
2434.50/2441.97	c #Conflicts:      14000 | #Constraints:     399398
2434.50/2441.97	c #Conflicts:      15000 | #Constraints:     400399
2434.50/2441.97	c INPROCESSING
2434.50/2441.97	c GARBAGE COLLECT
2434.50/2441.97	c #Conflicts:      16000 | #Constraints:     398624
2434.50/2441.97	c #Conflicts:      17000 | #Constraints:     399624
2434.50/2441.97	c #Conflicts:      18000 | #Constraints:     400624
2434.50/2441.97	c INPROCESSING
2434.50/2441.97	c GARBAGE COLLECT
2434.50/2441.97	c #Conflicts:      19000 | #Constraints:     395021
2434.50/2441.97	c #Conflicts:      20000 | #Constraints:     396021
2434.50/2441.97	c #Conflicts:      21000 | #Constraints:     397021
2434.50/2441.97	c INPROCESSING
2434.50/2441.97	c GARBAGE COLLECT
2434.50/2441.97	c #Conflicts:      22000 | #Constraints:     394853
2434.50/2441.97	c #Conflicts:      23000 | #Constraints:     395853
2434.50/2441.97	c #Conflicts:      24000 | #Constraints:     396853
2434.50/2441.97	c #Conflicts:      25000 | #Constraints:     397853
2434.50/2441.97	c INPROCESSING
2434.50/2441.97	c GARBAGE COLLECT
2434.50/2441.97	c rational objective -3183.81
2488.93/2496.58	c #Conflicts:      26000 | #Constraints:     395479
2488.93/2496.58	c GLOBAL bounds - >= -3352 @ 2393.91
2489.33/2496.97	c GLOBAL bounds - >= -3352 @ 2394.04
3022.91/3032.13	c #Conflicts:      27000 | #Constraints:     396480
3022.91/3032.13	c #Conflicts:      28000 | #Constraints:     397480
3022.91/3032.13	c #Conflicts:      29000 | #Constraints:     398480
3022.91/3032.13	c INPROCESSING
3022.91/3032.13	c GARBAGE COLLECT
3022.91/3032.13	c #Conflicts:      30000 | #Constraints:     395861
3022.91/3032.13	c #Conflicts:      31000 | #Constraints:     396861
3022.91/3032.13	c #Conflicts:      32000 | #Constraints:     397861
3022.91/3032.13	c #Conflicts:      33000 | #Constraints:     398861
3022.91/3032.13	c INPROCESSING
3022.91/3032.13	c GARBAGE COLLECT
3022.91/3032.13	c #Conflicts:      34000 | #Constraints:     396141
3022.91/3032.13	c #Conflicts:      35000 | #Constraints:     397141
3022.91/3032.13	c #Conflicts:      36000 | #Constraints:     398141
3022.91/3032.13	c #Conflicts:      37000 | #Constraints:     399141
3022.91/3032.13	c INPROCESSING
3022.91/3032.13	c GARBAGE COLLECT
3022.91/3032.13	c #Conflicts:      38000 | #Constraints:     396117
3022.91/3032.13	c GLOBAL bounds - >= -3352 @ 2924.21
3023.29/3032.53	c GLOBAL bounds - >= -3352 @ 2924.36
3023.70/3032.92	c GLOBAL bounds - >= -3352 @ 2924.49
3024.09/3033.31	c GLOBAL bounds - >= -3352 @ 2924.63
3024.49/3033.70	c GLOBAL bounds - >= -3352 @ 2924.77
3024.80/3034.09	c GLOBAL bounds - >= -3352 @ 2924.92
3025.19/3034.49	c GLOBAL bounds - >= -3352 @ 2925.06
3025.59/3034.88	c GLOBAL bounds - >= -3352 @ 2925.19
3025.99/3035.27	c GLOBAL bounds - >= -3352 @ 2925.32
3026.39/3035.67	c GLOBAL bounds - >= -3352 @ 2925.49
3026.80/3036.06	c GLOBAL bounds - >= -3352 @ 2925.63
3027.18/3036.45	c GLOBAL bounds - >= -3352 @ 2925.77
3027.58/3036.84	c GLOBAL bounds - >= -3352 @ 2925.92
3027.98/3037.23	c GLOBAL bounds - >= -3352 @ 2926.06
3028.38/3037.63	c GLOBAL bounds - >= -3352 @ 2926.19
3028.79/3038.02	c GLOBAL bounds - >= -3352 @ 2926.34
3029.18/3038.41	c GLOBAL bounds - >= -3352 @ 2926.49
3029.58/3038.80	c GLOBAL bounds - >= -3352 @ 2926.64
3029.98/3039.20	c GLOBAL bounds - >= -3352 @ 2926.79
3030.28/3039.59	c GLOBAL bounds - >= -3352 @ 2926.92
3030.67/3039.98	c GLOBAL bounds - >= -3352 @ 2927.08
3031.07/3040.38	c GLOBAL bounds - >= -3352 @ 2927.22
3031.47/3040.77	c GLOBAL bounds - >= -3352 @ 2927.37
3031.89/3041.17	c GLOBAL bounds - >= -3352 @ 2927.52
3032.27/3041.56	c GLOBAL bounds - >= -3352 @ 2927.67
3032.67/3041.95	c GLOBAL bounds - >= -3352 @ 2927.81
3033.07/3042.34	c GLOBAL bounds - >= -3352 @ 2927.95
3033.47/3042.74	c GLOBAL bounds - >= -3352 @ 2928.11
3033.88/3043.13	c GLOBAL bounds - >= -3352 @ 2928.25
3034.27/3043.52	c GLOBAL bounds - >= -3352 @ 2928.39
3034.66/3043.92	c GLOBAL bounds - >= -3352 @ 2928.55
3035.07/3044.34	c GLOBAL bounds - >= -3352 @ 2928.73
3035.46/3044.76	c GLOBAL bounds - >= -3352 @ 2928.9
3035.88/3045.18	c GLOBAL bounds - >= -3352 @ 2929.08
3036.36/3045.60	c GLOBAL bounds - >= -3352 @ 2929.26
3036.77/3046.03	c GLOBAL bounds - >= -3352 @ 2929.44
3037.16/3046.45	c GLOBAL bounds - >= -3352 @ 2929.61
3037.56/3046.87	c GLOBAL bounds - >= -3352 @ 2929.81
3037.95/3047.29	c GLOBAL bounds - >= -3352 @ 2929.97
3038.46/3047.72	c GLOBAL bounds - >= -3352 @ 2930.13
3038.87/3048.14	c GLOBAL bounds - >= -3352 @ 2930.31
3039.26/3048.56	c #Conflicts:       1000 | #Constraints:       2074
3039.26/3048.56	c GLOBAL bounds - >= -3352 @ 2930.48
3039.66/3048.99	c GLOBAL bounds - >= -3352 @ 2930.65
3040.15/3049.41	c GLOBAL bounds - >= -3352 @ 2930.82
3040.56/3049.83	c GLOBAL bounds - >= -3352 @ 2931
3040.95/3050.26	c GLOBAL bounds - >= -3352 @ 2931.18
3041.35/3050.68	c GLOBAL bounds - >= -3352 @ 2931.36
3041.76/3051.11	c GLOBAL bounds - >= -3352 @ 2931.54
3042.25/3051.53	c GLOBAL bounds - >= -3352 @ 2931.73
3042.64/3051.96	c GLOBAL bounds - >= -3352 @ 2931.9
3043.04/3052.38	c GLOBAL bounds - >= -3352 @ 2932.06
3043.55/3052.81	c GLOBAL bounds - >= -3352 @ 2932.23
3043.95/3053.23	c GLOBAL bounds - >= -3352 @ 2932.41
3044.34/3053.66	c GLOBAL bounds - >= -3352 @ 2932.59
3044.75/3054.08	c GLOBAL bounds - >= -3352 @ 2932.76
3045.24/3054.52	c GLOBAL bounds - >= -3352 @ 2932.93
3045.64/3054.95	c GLOBAL bounds - >= -3352 @ 2933.13
3046.04/3055.37	c GLOBAL bounds - >= -3352 @ 2933.3
3046.54/3055.80	c GLOBAL bounds - >= -3352 @ 2933.48
3046.85/3056.19	c GLOBAL bounds - >= -3352 @ 2933.62
3047.23/3056.58	c GLOBAL bounds - >= -3352 @ 2933.78
3047.64/3056.98	c GLOBAL bounds - >= -3352 @ 2933.93
3048.13/3057.41	c GLOBAL bounds - >= -3352 @ 2934.11
3048.53/3057.83	c GLOBAL bounds - >= -3352 @ 2934.27
3048.93/3058.26	c GLOBAL bounds - >= -3352 @ 2934.44
3049.33/3058.69	c GLOBAL bounds - >= -3352 @ 2934.62
3049.84/3059.12	c GLOBAL bounds - >= -3352 @ 2934.81
3050.23/3059.55	c GLOBAL bounds - >= -3352 @ 2934.99
3050.63/3059.99	c GLOBAL bounds - >= -3352 @ 2935.18
3051.12/3060.42	c GLOBAL bounds - >= -3352 @ 2935.34
3051.53/3060.85	c GLOBAL bounds - >= -3352 @ 2935.52
3051.92/3061.29	c GLOBAL bounds - >= -3352 @ 2935.71
3052.42/3061.74	c GLOBAL bounds - >= -3352 @ 2935.92
3052.83/3062.17	c GLOBAL bounds - >= -3352 @ 2936.12
3053.32/3062.61	c GLOBAL bounds - >= -3352 @ 2936.3
3053.73/3063.04	c GLOBAL bounds - >= -3352 @ 2936.49
3054.11/3063.47	c GLOBAL bounds - >= -3352 @ 2936.67
3054.61/3063.90	c GLOBAL bounds - >= -3352 @ 2936.85
3055.02/3064.33	c GLOBAL bounds - >= -3352 @ 2937.03
3055.41/3064.76	c GLOBAL bounds - >= -3352 @ 2937.23
3055.83/3065.19	c GLOBAL bounds - >= -3352 @ 2937.4
3056.31/3065.61	c GLOBAL bounds - >= -3352 @ 2937.57
3056.72/3066.04	c GLOBAL bounds - >= -3352 @ 2937.75
3057.11/3066.46	c GLOBAL bounds - >= -3352 @ 2937.92
3057.51/3066.86	c GLOBAL bounds - >= -3352 @ 2938.07
3057.90/3067.25	c GLOBAL bounds - >= -3352 @ 2938.21
3058.30/3067.67	c GLOBAL bounds - >= -3352 @ 2938.38
3058.72/3068.10	c GLOBAL bounds - >= -3352 @ 2938.56
3059.20/3068.53	c GLOBAL bounds - >= -3352 @ 2938.74
3059.60/3068.96	c GLOBAL bounds - >= -3352 @ 2938.92
3060.01/3069.35	c GLOBAL bounds - >= -3352 @ 2939.09
3060.40/3069.76	c GLOBAL bounds - >= -3352 @ 2939.23
3060.81/3070.19	c GLOBAL bounds - >= -3352 @ 2939.4
3061.29/3070.61	c GLOBAL bounds - >= -3352 @ 2939.56
3061.59/3071.00	c GLOBAL bounds - >= -3352 @ 2939.7
3062.09/3071.43	c GLOBAL bounds - >= -3352 @ 2939.87
3062.50/3071.86	c GLOBAL bounds - >= -3352 @ 2940.07
3062.99/3072.30	c GLOBAL bounds - >= -3352 @ 2940.26
3063.39/3072.73	c GLOBAL bounds - >= -3352 @ 2940.45
3063.81/3073.12	c GLOBAL bounds - >= -3352 @ 2940.59
3064.19/3073.51	c GLOBAL bounds - >= -3352 @ 2940.74
3064.59/3073.91	c GLOBAL bounds - >= -3352 @ 2940.89
3064.99/3074.31	c GLOBAL bounds - >= -3352 @ 2941.04
3065.38/3074.72	c GLOBAL bounds - >= -3352 @ 2941.17
3065.80/3075.11	c GLOBAL bounds - >= -3352 @ 2941.32
3066.18/3075.50	c GLOBAL bounds - >= -3352 @ 2941.47
3066.58/3075.90	c GLOBAL bounds - >= -3352 @ 2941.62
3066.98/3076.33	c GLOBAL bounds - >= -3352 @ 2941.79
3067.38/3076.77	c GLOBAL bounds - >= -3352 @ 2941.99
3067.79/3077.20	c GLOBAL bounds - >= -3352 @ 2942.15
3068.18/3077.59	c GLOBAL bounds - >= -3352 @ 2942.29
3068.58/3077.98	c GLOBAL bounds - >= -3352 @ 2942.46
3068.98/3078.38	c GLOBAL bounds - >= -3352 @ 2942.61
3069.37/3078.78	c GLOBAL bounds - >= -3352 @ 2942.75
3069.87/3079.21	c GLOBAL bounds - >= -3352 @ 2942.92
3070.27/3079.63	c GLOBAL bounds - >= -3352 @ 2943.09
3070.69/3080.06	c GLOBAL bounds - >= -3352 @ 2943.27
3071.07/3080.49	c GLOBAL bounds - >= -3352 @ 2943.48
3071.57/3080.95	c GLOBAL bounds - >= -3352 @ 2943.69
3071.97/3081.34	c GLOBAL bounds - >= -3352 @ 2943.84
3072.37/3081.74	c GLOBAL bounds - >= -3352 @ 2944
3072.78/3082.13	c GLOBAL bounds - >= -3352 @ 2944.14
3073.16/3082.53	c GLOBAL bounds - >= -3352 @ 2944.29
3073.57/3082.94	c GLOBAL bounds - >= -3352 @ 2944.45
3073.96/3083.34	c GLOBAL bounds - >= -3352 @ 2944.59
3074.36/3083.74	c GLOBAL bounds - >= -3352 @ 2944.73
3074.78/3084.14	c GLOBAL bounds - >= -3352 @ 2944.89
3075.16/3084.55	c GLOBAL bounds - >= -3352 @ 2945.06
3075.56/3084.95	c GLOBAL bounds - >= -3352 @ 2945.2
3075.96/3085.34	c GLOBAL bounds - >= -3352 @ 2945.35
3076.35/3085.74	c GLOBAL bounds - >= -3352 @ 2945.52
3076.77/3086.13	c GLOBAL bounds - >= -3352 @ 2945.66
3077.16/3086.53	c GLOBAL bounds - >= -3352 @ 2945.81
3077.56/3086.92	c GLOBAL bounds - >= -3352 @ 2945.96
3077.95/3087.32	c GLOBAL bounds - >= -3352 @ 2946.12
3078.36/3087.71	c GLOBAL bounds - >= -3352 @ 2946.27
3078.36/3087.71	c GLOBAL bounds - >= -3352 @ 2946.27
3078.36/3087.76	c GLOBAL bounds - >= -3352 @ 2946.32
3078.36/3087.79	c GLOBAL bounds - >= -3352 @ 2946.35
3078.45/3087.83	c GLOBAL bounds - >= -3352 @ 2946.38
3078.45/3087.86	c GLOBAL bounds - >= -3352 @ 2946.41
3078.45/3087.89	c GLOBAL bounds - >= -3352 @ 2946.44
3078.56/3087.92	c GLOBAL bounds - >= -3352 @ 2946.47
3078.56/3087.96	c GLOBAL bounds - >= -3352 @ 2946.51
3078.56/3088.00	c GLOBAL bounds - >= -3352 @ 2946.55
3078.67/3088.04	c GLOBAL bounds - >= -3352 @ 2946.59
3078.67/3088.08	c GLOBAL bounds - >= -3352 @ 2946.63
3078.67/3088.11	c GLOBAL bounds - >= -3352 @ 2946.66
3078.77/3088.14	c GLOBAL bounds - >= -3352 @ 2946.69
3078.77/3088.17	c GLOBAL bounds - >= -3352 @ 2946.72
3078.77/3088.20	c GLOBAL bounds - >= -3352 @ 2946.75
3078.86/3088.22	c GLOBAL bounds - >= -3352 @ 2946.77
3078.86/3088.24	c GLOBAL bounds - >= -3352 @ 2946.79
3078.86/3088.27	c GLOBAL bounds - >= -3352 @ 2946.82
3078.86/3088.29	c GLOBAL bounds - >= -3352 @ 2946.84
3078.95/3088.31	c GLOBAL bounds - >= -3352 @ 2946.86
3078.95/3088.33	c GLOBAL bounds - >= -3352 @ 2946.88
3078.95/3088.35	c GLOBAL bounds - >= -3352 @ 2946.9
3078.95/3088.38	c GLOBAL bounds - >= -3352 @ 2946.93
3079.05/3088.40	c GLOBAL bounds - >= -3352 @ 2946.95
3079.05/3088.43	c GLOBAL bounds - >= -3352 @ 2946.98
3079.05/3088.45	c GLOBAL bounds - >= -3352 @ 2947
3079.05/3088.48	c GLOBAL bounds - >= -3352 @ 2947.03
3079.15/3088.50	c GLOBAL bounds - >= -3352 @ 2947.05
3079.15/3088.53	c GLOBAL bounds - >= -3352 @ 2947.08
3079.15/3088.56	c GLOBAL bounds - >= -3352 @ 2947.1
3079.15/3088.58	c GLOBAL bounds - >= -3352 @ 2947.12
3079.25/3088.60	c GLOBAL bounds - >= -3352 @ 2947.14
3079.25/3088.62	c GLOBAL bounds - >= -3352 @ 2947.16
3079.25/3088.64	c GLOBAL bounds - >= -3352 @ 2947.19
3079.25/3088.66	c GLOBAL bounds - >= -3352 @ 2947.21
3079.25/3088.68	c GLOBAL bounds - >= -3352 @ 2947.22
3079.25/3088.69	c GLOBAL bounds - >= -3352 @ 2947.24
3079.35/3088.71	c GLOBAL bounds - >= -3352 @ 2947.26
3079.35/3088.73	c GLOBAL bounds - >= -3352 @ 2947.27
3079.35/3088.75	c GLOBAL bounds - >= -3352 @ 2947.3
3079.35/3088.77	c GLOBAL bounds - >= -3352 @ 2947.31
3079.35/3088.78	c GLOBAL bounds - >= -3352 @ 2947.33
3079.45/3088.81	c GLOBAL bounds - >= -3352 @ 2947.35
3079.45/3088.83	c GLOBAL bounds - >= -3352 @ 2947.37
3079.45/3088.85	c GLOBAL bounds - >= -3352 @ 2947.4
3079.45/3088.89	c GLOBAL bounds - >= -3352 @ 2947.44
3079.55/3088.91	c GLOBAL bounds - >= -3352 @ 2947.46
3079.55/3088.93	c GLOBAL bounds - >= -3352 @ 2947.48
3079.55/3088.96	c GLOBAL bounds - >= -3352 @ 2947.5
3079.55/3088.99	c GLOBAL bounds - >= -3352 @ 2947.54
3079.66/3089.01	c GLOBAL bounds - >= -3352 @ 2947.56
3079.66/3089.04	c GLOBAL bounds - >= -3352 @ 2947.58
3079.66/3089.06	c GLOBAL bounds - >= -3352 @ 2947.6
3079.66/3089.08	c GLOBAL bounds - >= -3352 @ 2947.62
3079.66/3089.10	c GLOBAL bounds - >= -3352 @ 2947.64
3079.76/3089.14	c GLOBAL bounds - >= -3352 @ 2947.68
3079.76/3089.17	c GLOBAL bounds - >= -3352 @ 2947.72
3079.85/3089.21	c GLOBAL bounds - >= -3352 @ 2947.75
3079.85/3089.24	c GLOBAL bounds - >= -3352 @ 2947.78
3079.85/3089.27	c GLOBAL bounds - >= -3352 @ 2947.81
3079.85/3089.29	c GLOBAL bounds - >= -3352 @ 2947.83
3079.95/3089.32	c GLOBAL bounds - >= -3352 @ 2947.86
3079.95/3089.34	c GLOBAL bounds - >= -3352 @ 2947.88
3079.95/3089.37	c GLOBAL bounds - >= -3352 @ 2947.91
3079.95/3089.40	c GLOBAL bounds - >= -3352 @ 2947.94
3080.04/3089.42	c GLOBAL bounds - >= -3352 @ 2947.96
3080.04/3089.45	c GLOBAL bounds - >= -3352 @ 2947.99
3080.04/3089.49	c GLOBAL bounds - >= -3352 @ 2948.03
3080.15/3089.53	c GLOBAL bounds - >= -3352 @ 2948.07
3080.15/3089.57	c GLOBAL bounds - >= -3352 @ 2948.11
3080.15/3089.60	c GLOBAL bounds - >= -3352 @ 2948.13
3080.25/3089.62	c GLOBAL bounds - >= -3352 @ 2948.16
3080.25/3089.65	c GLOBAL bounds - >= -3352 @ 2948.19
3080.25/3089.68	c GLOBAL bounds - >= -3352 @ 2948.22
3080.35/3089.71	c GLOBAL bounds - >= -3352 @ 2948.25
3080.35/3089.75	c GLOBAL bounds - >= -3352 @ 2948.29
3080.35/3089.78	c GLOBAL bounds - >= -3352 @ 2948.32
3080.45/3089.82	c GLOBAL bounds - >= -3352 @ 2948.36
3080.45/3089.85	c GLOBAL bounds - >= -3352 @ 2948.39
3080.45/3089.88	c GLOBAL bounds - >= -3352 @ 2948.41
3080.55/3089.91	c GLOBAL bounds - >= -3352 @ 2948.44
3080.55/3089.94	c GLOBAL bounds - >= -3352 @ 2948.47
3080.55/3089.97	c GLOBAL bounds - >= -3352 @ 2948.5
3080.55/3090.00	c GLOBAL bounds - >= -3352 @ 2948.53
3080.66/3090.03	c GLOBAL bounds - >= -3352 @ 2948.56
3080.66/3090.06	c GLOBAL bounds - >= -3352 @ 2948.59
3080.66/3090.09	c GLOBAL bounds - >= -3352 @ 2948.62
3080.76/3090.12	c GLOBAL bounds - >= -3352 @ 2948.65
3080.76/3090.15	c GLOBAL bounds - >= -3352 @ 2948.68
3080.76/3090.17	c GLOBAL bounds - >= -3352 @ 2948.71
3080.85/3090.22	c GLOBAL bounds - >= -3352 @ 2948.75
3080.85/3090.24	c GLOBAL bounds - >= -3352 @ 2948.78
3080.85/3090.27	c GLOBAL bounds - >= -3352 @ 2948.81
3080.95/3090.30	c GLOBAL bounds - >= -3352 @ 2948.84
3080.95/3090.33	c GLOBAL bounds - >= -3352 @ 2948.87
3080.95/3090.36	c GLOBAL bounds - >= -3352 @ 2948.9
3080.95/3090.39	c GLOBAL bounds - >= -3352 @ 2948.93
3081.05/3090.42	c GLOBAL bounds - >= -3352 @ 2948.96
3081.05/3090.45	c GLOBAL bounds - >= -3352 @ 2948.99
3081.05/3090.48	c GLOBAL bounds - >= -3352 @ 2949.01
3081.15/3090.51	c GLOBAL bounds - >= -3352 @ 2949.04
3081.15/3090.55	c GLOBAL bounds - >= -3352 @ 2949.09
3081.25/3090.60	c GLOBAL bounds - >= -3352 @ 2949.13
3081.25/3090.64	c GLOBAL bounds - >= -3352 @ 2949.17
3081.25/3090.68	c GLOBAL bounds - >= -3352 @ 2949.21
3081.35/3090.72	c GLOBAL bounds - >= -3352 @ 2949.25
3081.35/3090.77	c GLOBAL bounds - >= -3352 @ 2949.3
3081.44/3090.81	c GLOBAL bounds - >= -3352 @ 2949.34
3081.44/3090.85	c GLOBAL bounds - >= -3352 @ 2949.38
3081.44/3090.89	c GLOBAL bounds - >= -3352 @ 2949.42
3081.54/3090.94	c GLOBAL bounds - >= -3352 @ 2949.47
3081.54/3090.98	c GLOBAL bounds - >= -3352 @ 2949.51
3081.66/3091.02	c GLOBAL bounds - >= -3352 @ 2949.55
3081.66/3091.07	c GLOBAL bounds - >= -3352 @ 2949.59
3081.66/3091.11	c GLOBAL bounds - >= -3352 @ 2949.64
3081.76/3091.15	c GLOBAL bounds - >= -3352 @ 2949.68
3081.76/3091.19	c GLOBAL bounds - >= -3352 @ 2949.72
3081.84/3091.24	c GLOBAL bounds - >= -3352 @ 2949.76
3081.84/3091.28	c GLOBAL bounds - >= -3352 @ 2949.81
3081.94/3091.32	c GLOBAL bounds - >= -3352 @ 2949.85
3081.94/3091.36	c GLOBAL bounds - >= -3352 @ 2949.89
3082.04/3091.41	c GLOBAL bounds - >= -3352 @ 2949.93
3082.04/3091.45	c GLOBAL bounds - >= -3352 @ 2949.98
3083.43/3092.85	c GLOBAL bounds - >= -3352 @ 2951.37
3086.83/3096.29	c GLOBAL bounds - >= -3352 @ 2954.79
3103.18/3112.68	c #Conflicts:      39000 | #Constraints:     397260
3103.18/3112.68	c GLOBAL bounds - >= -3352 @ 2971.06
3146.86/3156.43	c GLOBAL bounds - >= -3352 @ 3014.13
3147.35/3156.92	c GLOBAL bounds - >= -3352 @ 3014.62
3214.44/3224.26	c #Conflicts:      40000 | #Constraints:     398264
3214.44/3224.26	c GLOBAL bounds - >= -3352 @ 3081.42
3309.46/3319.55	c #Conflicts:      41000 | #Constraints:     399265
3309.46/3319.55	c INPROCESSING
3309.46/3319.55	c GARBAGE COLLECT
3309.46/3319.55	c #Conflicts:      42000 | #Constraints:     396069
3309.46/3319.55	c GLOBAL bounds - >= -3352 @ 3175.97
3398.49/3408.88	c GLOBAL bounds - >= -3352 @ 3264.78
3568.03/3578.81	c #Conflicts:      43000 | #Constraints:     397073
3568.03/3578.81	c #Conflicts:      44000 | #Constraints:     398073
3568.03/3578.81	c #Conflicts:      45000 | #Constraints:     399073
3568.03/3578.81	c GLOBAL bounds - >= -3352 @ 3433.27
3600.05/3610.90	c #Conflicts:      46000 | #Constraints:     400074
3600.05/3610.90	c cpu time 3464.83 s
3600.05/3610.90	c deterministic time 27731874931 2.77e+10
3600.05/3610.90	c optimization time 105.25 s
3600.05/3610.90	c total solve time 3356.95 s
3600.05/3610.90	c core-guided solve time 0 s
3600.05/3610.90	c propagation time 902.515 s
3600.05/3610.90	c conflict analysis time 1917.07 s
3600.05/3610.90	c propagations 1084620935
3600.05/3610.90	c resolve steps 4976455
3600.05/3610.90	c decisions 10857497
3600.05/3610.90	c conflicts 46146
3600.05/3610.90	c restarts 126
3600.05/3610.90	c inprocessing phases 13
3600.05/3610.90	c garbage collections 13 ,( 100.00 )
3600.05/3610.90	c input clauses 400888 ,( 99.43 )
3600.05/3610.90	c input cardinalities 2295 ,( 0.57 )
3600.05/3610.90	c input general constraints 2 ,( 0.00 )
3600.05/3610.90	c input average constraint length 5.88
3600.05/3610.90	c input average constraint degree 2.17
3600.05/3610.90	c learned clauses 6162 ,( 13.34 )
3600.05/3610.90	c learned cardinalities 1087 ,( 2.35 )
3600.05/3610.90	c learned general constraints 38940 ,( 84.31 )
3600.05/3610.90	c learned average constraint length 14241.78
3600.05/3610.90	c learned average constraint degree 5380462571.17
3600.05/3610.90	c watched  CF 32, 64, 128, Arb: 629 , 0 , 0 , 0
3600.05/3610.90	c counting CF 32, 64, 128, Arb: 38314 , 0 , 0 , 0
3600.05/3610.90	c watched   constraints 629 ,( 1.62 ) 
3600.05/3610.90	c counting  constraints 38313 ,( 98.38 ) 
3600.05/3610.90	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 168963719 , 4097743 , 33919051 ,( 155011 , 33764040 )
3600.05/3610.90	c gcd simplifications 50
3600.05/3610.90	c detected cardinalities 6
3600.05/3610.90	c weakened non-implied lits 733110134
3600.05/3610.90	c weakened non-implying lits 87962
3600.05/3610.90	c original variables 400896
3600.05/3610.90	c clausal propagations 159740627
3600.05/3610.90	c cardinality propagations 438880512
3600.05/3610.90	c watched propagations 15704
3600.05/3610.90	c counting propagations 245236345
3600.05/3610.90	c watch lookups 5228520998
3600.05/3610.90	c watch backjump lookups 0
3600.05/3610.90	c watch checks 585160279
3600.05/3610.90	c propagation checks 17911298554
3600.05/3610.90	c constraint additions 1816176640
3600.05/3610.90	c trail pops 1095142404
3600.05/3610.90	c formula constraints 402763
3600.05/3610.90	c learned constraints 46176
3600.05/3610.90	c bound constraints 0
3600.05/3610.90	c core-guided constraints 0
3600.05/3610.90	c encountered formula constraints 4922686
3600.05/3610.90	c encountered learned constraints 98168
3600.05/3610.90	c encountered bound constraints 0
3600.05/3610.90	c encountered core-guided constraints 0
3600.05/3610.90	c LP total time 989.484 s
3600.05/3610.90	c LP solve time 969.78 s
3600.05/3610.90	c LP constraints added 402789
3600.05/3610.90	c LP constraints removed 0
3600.05/3610.90	c LP pivots internal 49988
3600.05/3610.90	c LP pivots root 47635
3600.05/3610.90	c LP calls 12
3600.05/3610.90	c LP optimalities 1
3600.05/3610.90	c LP no pivot count 0
3600.05/3610.90	c LP infeasibilities 6
3600.05/3610.90	c LP valid Farkas constraints 6
3600.05/3610.90	c LP learned Farkas constraints 6
3600.05/3610.90	c LP basis resets 0
3600.05/3610.90	c LP cycling count 0
3600.05/3610.90	c LP singular count 0
3600.05/3610.90	c LP no primal count 0
3600.05/3610.90	c LP no farkas count 0
3600.05/3610.90	c LP other issue count 0
3600.05/3610.90	c LP Gomory cuts 1
3600.05/3610.90	c LP learned cuts 25
3600.05/3610.90	c LP deleted cuts 0
3600.05/3610.90	c LP encountered Gomory constraints 0
3600.05/3610.90	c LP encountered Farkas constraints 1735
3600.05/3610.90	c LP encountered learned Farkas constraints 6
3600.05/3610.90	c CG auxiliary variables introduced 446
3600.05/3610.90	c CG solutions found 0
3600.05/3610.90	c CG cores constructed 420
3600.05/3610.90	c CG core cardinality constraints returned 0
3600.05/3610.90	c CG unit cores 0
3600.05/3610.90	c CG single cores 0
3600.05/3610.90	c CG blocks removed during cardinality reduction 0
3600.05/3610.90	c CG first core best 0
3600.05/3610.90	c CG decision core best 0
3600.05/3610.90	c CG core reduction tie 0
3600.05/3610.90	c CG core degree average 0.00
3600.05/3610.90	c CG core slack average 0.00
3600.05/3610.90	c CG core upper bound improvements 0
3600.05/3610.90	c STR number of successful calls 0
3600.05/3610.90	c STR number of unsuccessful calls 0
3600.05/3610.90	c STR number of inconclusive calls 0
3600.05/3610.90	c STR number of successful attempts 0
3600.05/3610.90	c STR number of unsuccessful attempts 0
3600.05/3610.90	c STR number of inconclusive attempts 0
3600.05/3610.90	c STR average degree increase per successful call inf
3600.05/3610.90	c STR average degree increase per successful attempt inf
3600.05/3610.90	c STR total number of conflicts for successful attempts 0
3600.05/3610.90	c STR total number of conflicts for unsuccessful attempts 0
3600.05/3610.90	c STR total number of conflicts for inconclusive attempts 0
3600.05/3610.90	c STR average number of conflicts per successful attempt inf
3600.05/3610.90	c STR average number of conflicts per unsuccessful attempt inf
3600.05/3610.90	c STR average number of conflicts per inconclusive attempt inf
3600.05/3610.90	c AVG.sumWPerc 94.64 
3600.05/3610.90	c bigint constraints 0 
3600.05/3610.90	s UNKNOWN
3600.05/3610.90	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=69647, runsolver pid=69642

[startup+0.100066 s]*
/proc/loadavg: 0.74 1.50 2.56 2/239 69662
/proc/meminfo: memFree=128907172/131382120 swapFree=33010160/33010684
[pid=69647] ppid=69642 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69647/stat : 69647 (run-opt-log.sh) S 69642 69647 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 65819276 4292608 768 18446744073709551615 94206858891264 94206859785797 140726574580144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94206860024848 94206860072592 94206881796096 140726574586145 140726574586340 140726574586340 140726574591942 0
/proc/69647/statm: 1048 768 704 219 0 110 0
[pid=69652] ppid=69647 vsize=124096 memory=65780 CPUtime=0.06 cores=1,3
/proc/69652/stat : 69652 (roundingsat) R 69647 69647 69604 0 -1 4194304 4533 0 0 0 4 2 0 0 20 0 1 0 65819278 127074304 16445 18446744073709551615 4227072 8923433 140723113424208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21524480 140723113429330 140723113429544 140723113429544 140723113435114 0
/proc/69652/statm: 31024 16445 1920 1147 0 18451 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 128288 KiB
Current children cumulated memory: 68852 KiB

[startup+0.213776 s]*
/proc/loadavg: 0.74 1.50 2.56 8/254 69677
/proc/meminfo: memFree=128714324/131382120 swapFree=33010160/33010684
[pid=69647] ppid=69642 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69647/stat : 69647 (run-opt-log.sh) S 69642 69647 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 65819276 4292608 768 18446744073709551615 94206858891264 94206859785797 140726574580144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94206860024848 94206860072592 94206881796096 140726574586145 140726574586340 140726574586340 140726574591942 0
/proc/69647/statm: 1048 768 704 219 0 110 0
[pid=69652] ppid=69647 vsize=129004 memory=84180 CPUtime=0.17 cores=1,3
/proc/69652/stat : 69652 (roundingsat) R 69647 69647 69604 0 -1 4194304 6067 0 0 0 12 5 0 0 20 0 1 0 65819278 132100096 21045 18446744073709551615 4227072 8923433 140723113424208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21524480 140723113429330 140723113429544 140723113429544 140723113435114 0
/proc/69652/statm: 32251 21045 1952 1147 0 19678 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 133196 KiB
Current children cumulated memory: 87252 KiB

[startup+0.313296 s]*
/proc/loadavg: 0.74 1.50 2.56 5/254 69677
/proc/meminfo: memFree=128609412/131382120 swapFree=33010160/33010684
[pid=69647] ppid=69642 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69647/stat : 69647 (run-opt-log.sh) S 69642 69647 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 65819276 4292608 768 18446744073709551615 94206858891264 94206859785797 140726574580144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94206860024848 94206860072592 94206881796096 140726574586145 140726574586340 140726574586340 140726574591942 0
/proc/69647/statm: 1048 768 704 219 0 110 0
[pid=69652] ppid=69647 vsize=130632 memory=85840 CPUtime=0.27 cores=1,3
/proc/69652/stat : 69652 (roundingsat) R 69647 69647 69604 0 -1 4194304 6551 0 0 0 20 7 0 0 20 0 1 0 65819278 133767168 21460 18446744073709551615 4227072 8923433 140723113424208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21524480 140723113429330 140723113429544 140723113429544 140723113435114 0
/proc/69652/statm: 32658 21460 1952 1147 0 20085 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 134824 KiB
Current children cumulated memory: 88912 KiB

[startup+0.700418 s]
/proc/loadavg: 0.74 1.50 2.56 5/254 69677
/proc/meminfo: memFree=128605348/131382120 swapFree=33010160/33010684
[pid=69647] ppid=69642 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69647/stat : 69647 (run-opt-log.sh) S 69642 69647 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 65819276 4292608 768 18446744073709551615 94206858891264 94206859785797 140726574580144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94206860024848 94206860072592 94206881796096 140726574586145 140726574586340 140726574586340 140726574591942 0
/proc/69647/statm: 1048 768 704 219 0 110 0
[pid=69652] ppid=69647 vsize=137720 memory=94272 CPUtime=0.65 cores=1,3
/proc/69652/stat : 69652 (roundingsat) R 69647 69647 69604 0 -1 4194304 8434 0 0 0 51 14 0 0 20 0 1 0 65819278 141025280 23568 18446744073709551615 4227072 8923433 140723113424208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21524480 140723113429330 140723113429544 140723113429544 140723113435114 0
/proc/69652/statm: 34430 23568 1952 1147 0 21857 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 141912 KiB
Current children cumulated memory: 97344 KiB

[startup+1.50038 s]
/proc/loadavg: 0.74 1.50 2.56 5/254 69677
/proc/meminfo: memFree=128578384/131382120 swapFree=33010160/33010684
[pid=69647] ppid=69642 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69647/stat : 69647 (run-opt-log.sh) S 69642 69647 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 65819276 4292608 768 18446744073709551615 94206858891264 94206859785797 140726574580144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94206860024848 94206860072592 94206881796096 140726574586145 140726574586340 140726574586340 140726574591942 0
/proc/69647/statm: 1048 768 704 219 0 110 0
[pid=69652] ppid=69647 vsize=169376 memory=119248 CPUtime=1.44 cores=1,3
/proc/69652/stat : 69652 (roundingsat) R 69647 69647 69604 0 -1 4194304 15216 0 0 0 112 32 0 0 20 0 1 0 65819278 173441024 29812 18446744073709551615 4227072 8923433 140723113424208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21524480 140723113429330 140723113429544 140723113429544 140723113435114 0
/proc/69652/statm: 42344 29812 1952 1147 0 29771 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 173568 KiB
Current children cumulated memory: 122320 KiB

[startup+3.11307 s]
/proc/loadavg: 0.74 1.50 2.56 5/254 69677
/proc/meminfo: memFree=127645920/131382120 swapFree=33010160/33010684
[pid=69647] ppid=69642 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69647/stat : 69647 (run-opt-log.sh) S 69642 69647 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 65819276 4292608 768 18446744073709551615 94206858891264 94206859785797 140726574580144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94206860024848 94206860072592 94206881796096 140726574586145 140726574586340 140726574586340 140726574591942 0
/proc/69647/statm: 1048 768 704 219 0 110 0
[pid=69652] ppid=69647 vsize=588888 memory=416132 CPUtime=3.05 cores=1,3
/proc/69652/stat : 69652 (roundingsat) R 69647 69647 69604 0 -1 4194304 44529 0 0 0 244 61 0 0 20 0 1 0 65819278 603021312 104033 18446744073709551615 4227072 8923433 140723113424208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21524480 140723113429330 140723113429544 140723113429544 140723113435114 0
/proc/69652/statm: 147222 104033 2240 1147 0 134649 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 593080 KiB
Current children cumulated memory: 419204 KiB

[startup+6.30039 s]
/proc/loadavg: 1.00 1.55 2.57 5/254 69677
/proc/meminfo: memFree=126412200/131382120 swapFree=33010160/33010684
[pid=69647] ppid=69642 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69647/stat : 69647 (run-opt-log.sh) S 69642 69647 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 65819276 4292608 768 18446744073709551615 94206858891264 94206859785797 140726574580144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94206860024848 94206860072592 94206881796096 140726574586145 140726574586340 140726574586340 140726574591942 0
/proc/69647/statm: 1048 768 704 219 0 110 0
[pid=69652] ppid=69647 vsize=708656 memory=583664 CPUtime=6.23 cores=1,3
/proc/69652/stat : 69652 (roundingsat) R 69647 69647 69604 0 -1 4194304 56751 0 0 0 381 242 0 0 20 0 1 0 65819278 725663744 145916 18446744073709551615 4227072 8923433 140723113424208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21524480 140723113429330 140723113429544 140723113429544 140723113435114 0
/proc/69652/statm: 177164 145916 2304 1147 0 164591 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 712848 KiB
Current children cumulated memory: 586736 KiB

[startup+12.7004 s]
/proc/loadavg: 1.49 1.64 2.59 5/258 69681
/proc/meminfo: memFree=125998408/131382120 swapFree=33010160/33010684
[pid=69647] ppid=69642 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69647/stat : 69647 (run-opt-log.sh) S 69642 69647 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 65819276 4292608 768 18446744073709551615 94206858891264 94206859785797 140726574580144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94206860024848 94206860072592 94206881796096 140726574586145 140726574586340 140726574586340 140726574591942 0
/proc/69647/statm: 1048 768 704 219 0 110 0
[pid=69652] ppid=69647 vsize=710224 memory=585328 CPUtime=12.61 cores=1,3
/proc/69652/stat : 69652 (roundingsat) R 69647 69647 69604 0 -1 4194304 57157 0 0 0 616 645 0 0 20 0 1 0 65819278 727269376 146332 18446744073709551615 4227072 8923433 140723113424208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21524480 140723113429330 140723113429544 140723113429544 140723113435114 0
/proc/69652/statm: 177556 146332 2304 1147 0 164983 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 714416 KiB
Current children cumulated memory: 588400 KiB

[startup+25.5004 s]
/proc/loadavg: 2.04 1.75 2.62 5/258 69681
/proc/meminfo: memFree=125270264/131382120 swapFree=33010160/33010684
[pid=69647] ppid=69642 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69647/stat : 69647 (run-opt-log.sh) S 69642 69647 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 65819276 4292608 768 18446744073709551615 94206858891264 94206859785797 140726574580144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94206860024848 94206860072592 94206881796096 140726574586145 140726574586340 140726574586340 140726574591942 0
/proc/69647/statm: 1048 768 704 219 0 110 0
[pid=69652] ppid=69647 vsize=733112 memory=604148 CPUtime=25.39 cores=1,3
/proc/69652/stat : 69652 (roundingsat) R 69647 69647 69604 0 -1 4194304 58294 0 0 0 1086 1453 0 0 20 0 1 0 65819278 750706688 151037 18446744073709551615 4227072 8923433 140723113424208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21524480 140723113429330 140723113429544 140723113429544 140723113435114 0
/proc/69652/statm: 183278 151037 2304 1147 0 170705 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 737304 KiB
Current children cumulated memory: 607220 KiB

[startup+51.1132 s]
/proc/loadavg: 2.79 1.95 2.66 5/258 69682
/proc/meminfo: memFree=123560040/131382120 swapFree=33010160/33010684
[pid=69647] ppid=69642 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69647/stat : 69647 (run-opt-log.sh) S 69642 69647 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 65819276 4292608 768 18446744073709551615 94206858891264 94206859785797 140726574580144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94206860024848 94206860072592 94206881796096 140726574586145 140726574586340 140726574586340 140726574591942 0
/proc/69647/statm: 1048 768 704 219 0 110 0
[pid=69652] ppid=69647 vsize=734680 memory=605684 CPUtime=50.94 cores=1,3
/proc/69652/stat : 69652 (roundingsat) R 69647 69647 69604 0 -1 4194304 58679 0 0 0 2023 3071 0 0 20 0 1 0 65819278 752312320 151421 18446744073709551615 4227072 8923433 140723113424208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21524480 140723113429330 140723113429544 140723113429544 140723113435114 0
/proc/69652/statm: 183670 151421 2304 1147 0 171097 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 738872 KiB
Current children cumulated memory: 608756 KiB

[startup+102.3 s]
/proc/loadavg: 3.47 2.27 2.73 5/259 69685
/proc/meminfo: memFree=121339392/131382120 swapFree=33010160/33010684
[pid=69647] ppid=69642 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69647/stat : 69647 (run-opt-log.sh) S 69642 69647 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 65819276 4292608 768 18446744073709551615 94206858891264 94206859785797 140726574580144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94206860024848 94206860072592 94206881796096 140726574586145 140726574586340 140726574586340 140726574591942 0
/proc/69647/statm: 1048 768 704 219 0 110 0
[pid=69652] ppid=69647 vsize=764684 memory=634168 CPUtime=102 cores=1,3
/proc/69652/stat : 69652 (roundingsat) R 69647 69647 69604 0 -1 4194304 64265 0 0 0 3981 6219 0 0 20 0 1 0 65819278 783036416 158542 18446744073709551615 4227072 8923433 140723113424208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21524480 140723113429330 140723113429544 140723113429544 140723113435114 0
/proc/69652/statm: 191171 158542 2336 1147 0 178598 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 768876 KiB
Current children cumulated memory: 637240 KiB

[startup+162.3 s]
/proc/loadavg: 3.85 2.60 2.82 5/259 69686
/proc/meminfo: memFree=117071644/131382120 swapFree=33010160/33010684
[pid=69647] ppid=69642 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69647/stat : 69647 (run-opt-log.sh) S 69642 69647 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 65819276 4292608 768 18446744073709551615 94206858891264 94206859785797 140726574580144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94206860024848 94206860072592 94206881796096 140726574586145 140726574586340 140726574586340 140726574591942 0
/proc/69647/statm: 1048 768 704 219 0 110 0
[pid=69652] ppid=69647 vsize=1401948 memory=1149232 CPUtime=161.86 cores=1,3
/proc/69652/stat : 69652 (roundingsat) R 69647 69647 69604 0 -1 4194304 118314 0 0 0 7878 8308 0 0 20 0 1 0 65819278 1435594752 287308 18446744073709551615 4227072 8923433 140723113424208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21524480 140723113429330 140723113429544 140723113429544 140723113435114 0
/proc/69652/statm: 350487 287308 2368 1147 0 337914 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 1406140 KiB
Current children cumulated memory: 1152304 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 2.89 2.91 5/258 69688
/proc/meminfo: memFree=113862056/131382120 swapFree=33010160/33010684
[pid=69647] ppid=69642 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69647/stat : 69647 (run-opt-log.sh) S 69642 69647 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 65819276 4292608 768 18446744073709551615 94206858891264 94206859785797 140726574580144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94206860024848 94206860072592 94206881796096 140726574586145 140726574586340 140726574586340 140726574591942 0
/proc/69647/statm: 1048 768 704 219 0 110 0
[pid=69652] ppid=69647 vsize=2214132 memory=1932220 CPUtime=221.66 cores=1,3
/proc/69652/stat : 69652 (roundingsat) R 69647 69647 69604 0 -1 4194304 255169 0 0 0 13798 8368 0 0 20 0 1 0 65819278 2267271168 483055 18446744073709551615 4227072 8923433 140723113424208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21524480 140723113429330 140723113429544 140723113429544 140723113435114 0

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

/proc/69647/stat : 69647 (run-opt-log.sh) S 69642 69647 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 65819276 4292608 768 18446744073709551615 94206858891264 94206859785797 140726574580144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94206860024848 94206860072592 94206881796096 140726574586145 140726574586340 140726574586340 140726574591942 0
/proc/69647/statm: 1048 768 704 219 0 110 0
[pid=69652] ppid=69647 vsize=5580884 memory=4938164 CPUtime=3152.74 cores=1,3
/proc/69652/stat : 69652 (roundingsat) R 69647 69647 69604 0 -1 4194304 771041 0 0 0 301995 13279 0 0 20 0 1 0 65819278 5714825216 1234541 18446744073709551615 4227072 8923433 140723113424208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21524480 140723113429330 140723113429544 140723113429544 140723113435114 0
/proc/69652/statm: 1395221 1234541 2368 1147 0 1382648 0
Current children cumulated CPU time: 3152.74 s
Current children cumulated vsize: 5585076 KiB
Current children cumulated memory: 4941236 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.09 4.07 5/262 69865
/proc/meminfo: memFree=36960260/131382120 swapFree=33010160/33010684
[pid=69647] ppid=69642 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69647/stat : 69647 (run-opt-log.sh) S 69642 69647 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 65819276 4292608 768 18446744073709551615 94206858891264 94206859785797 140726574580144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94206860024848 94206860072592 94206881796096 140726574586145 140726574586340 140726574586340 140726574591942 0
/proc/69647/statm: 1048 768 704 219 0 110 0
[pid=69652] ppid=69647 vsize=5580884 memory=4938164 CPUtime=3212.55 cores=1,3
/proc/69652/stat : 69652 (roundingsat) R 69647 69647 69604 0 -1 4194304 771848 0 0 0 307947 13308 0 0 20 0 1 0 65819278 5714825216 1234541 18446744073709551615 4227072 8923433 140723113424208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21524480 140723113429330 140723113429544 140723113429544 140723113435114 0
/proc/69652/statm: 1395221 1234541 2368 1147 0 1382648 0
Current children cumulated CPU time: 3212.55 s
Current children cumulated vsize: 5585076 KiB
Current children cumulated memory: 4941236 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.08 5/263 69868
/proc/meminfo: memFree=36475484/131382120 swapFree=33010160/33010684
[pid=69647] ppid=69642 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69647/stat : 69647 (run-opt-log.sh) S 69642 69647 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 65819276 4292608 768 18446744073709551615 94206858891264 94206859785797 140726574580144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94206860024848 94206860072592 94206881796096 140726574586145 140726574586340 140726574586340 140726574591942 0
/proc/69647/statm: 1048 768 704 219 0 110 0
[pid=69652] ppid=69647 vsize=5603648 memory=4955168 CPUtime=3272.37 cores=1,3
/proc/69652/stat : 69652 (roundingsat) R 69647 69647 69604 0 -1 4194304 773545 0 0 0 313909 13328 0 0 20 0 1 0 65819278 5738135552 1238792 18446744073709551615 4227072 8923433 140723113424208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21524480 140723113429330 140723113429544 140723113429544 140723113435114 0
/proc/69652/statm: 1400912 1238792 2368 1147 0 1388339 0
Current children cumulated CPU time: 3272.37 s
Current children cumulated vsize: 5607840 KiB
Current children cumulated memory: 4958240 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.08 5/262 69872
/proc/meminfo: memFree=35763520/131382120 swapFree=33010160/33010684
[pid=69647] ppid=69642 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69647/stat : 69647 (run-opt-log.sh) S 69642 69647 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 65819276 4292608 768 18446744073709551615 94206858891264 94206859785797 140726574580144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94206860024848 94206860072592 94206881796096 140726574586145 140726574586340 140726574586340 140726574591942 0
/proc/69647/statm: 1048 768 704 219 0 110 0
[pid=69652] ppid=69647 vsize=5606228 memory=4958184 CPUtime=3332.19 cores=1,3
/proc/69652/stat : 69652 (roundingsat) R 69647 69647 69604 0 -1 4194304 774902 0 0 0 319850 13369 0 0 20 0 1 0 65819278 5740777472 1239546 18446744073709551615 4227072 8923433 140723113424208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21524480 140723113429330 140723113429544 140723113429544 140723113435114 0
/proc/69652/statm: 1401557 1239546 2368 1147 0 1388984 0
Current children cumulated CPU time: 3332.19 s
Current children cumulated vsize: 5610420 KiB
Current children cumulated memory: 4961256 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.09 4.08 5/261 69874
/proc/meminfo: memFree=35379696/131382120 swapFree=33010160/33010684
[pid=69647] ppid=69642 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69647/stat : 69647 (run-opt-log.sh) S 69642 69647 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 65819276 4292608 768 18446744073709551615 94206858891264 94206859785797 140726574580144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94206860024848 94206860072592 94206881796096 140726574586145 140726574586340 140726574586340 140726574591942 0
/proc/69647/statm: 1048 768 704 219 0 110 0
[pid=69652] ppid=69647 vsize=5606228 memory=4960868 CPUtime=3392.01 cores=1,3
/proc/69652/stat : 69652 (roundingsat) R 69647 69647 69604 0 -1 4194304 775732 0 0 0 325824 13377 0 0 20 0 1 0 65819278 5740777472 1240217 18446744073709551615 4227072 8923433 140723113424208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21524480 140723113429330 140723113429544 140723113429544 140723113435114 0
/proc/69652/statm: 1401557 1240217 2368 1147 0 1388984 0
Current children cumulated CPU time: 3392.01 s
Current children cumulated vsize: 5610420 KiB
Current children cumulated memory: 4963940 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.10 4.08 5/261 69876
/proc/meminfo: memFree=34798968/131382120 swapFree=33010160/33010684
[pid=69647] ppid=69642 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69647/stat : 69647 (run-opt-log.sh) S 69642 69647 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 65819276 4292608 768 18446744073709551615 94206858891264 94206859785797 140726574580144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94206860024848 94206860072592 94206881796096 140726574586145 140726574586340 140726574586340 140726574591942 0
/proc/69647/statm: 1048 768 704 219 0 110 0
[pid=69652] ppid=69647 vsize=5606228 memory=4960868 CPUtime=3451.85 cores=1,3
/proc/69652/stat : 69652 (roundingsat) R 69647 69647 69604 0 -1 4194304 776182 0 0 0 331783 13402 0 0 20 0 1 0 65819278 5740777472 1240217 18446744073709551615 4227072 8923433 140723113424208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21524480 140723113429330 140723113429544 140723113429544 140723113435114 0
/proc/69652/statm: 1401557 1240217 2368 1147 0 1388984 0
Current children cumulated CPU time: 3451.85 s
Current children cumulated vsize: 5610420 KiB
Current children cumulated memory: 4963940 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/261 69878
/proc/meminfo: memFree=34316032/131382120 swapFree=33010160/33010684
[pid=69647] ppid=69642 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69647/stat : 69647 (run-opt-log.sh) S 69642 69647 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 65819276 4292608 768 18446744073709551615 94206858891264 94206859785797 140726574580144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94206860024848 94206860072592 94206881796096 140726574586145 140726574586340 140726574586340 140726574591942 0
/proc/69647/statm: 1048 768 704 219 0 110 0
[pid=69652] ppid=69647 vsize=5606228 memory=4960868 CPUtime=3511.68 cores=1,3
/proc/69652/stat : 69652 (roundingsat) R 69647 69647 69604 0 -1 4194304 776996 0 0 0 337724 13444 0 0 20 0 1 0 65819278 5740777472 1240217 18446744073709551615 4227072 8923433 140723113424208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21524480 140723113429330 140723113429544 140723113429544 140723113435114 0
/proc/69652/statm: 1401557 1240217 2368 1147 0 1388984 0
Current children cumulated CPU time: 3511.68 s
Current children cumulated vsize: 5610420 KiB
Current children cumulated memory: 4963940 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/260 69885
/proc/meminfo: memFree=33768832/131382120 swapFree=33010160/33010684
[pid=69647] ppid=69642 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69647/stat : 69647 (run-opt-log.sh) S 69642 69647 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 65819276 4292608 768 18446744073709551615 94206858891264 94206859785797 140726574580144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94206860024848 94206860072592 94206881796096 140726574586145 140726574586340 140726574586340 140726574591942 0
/proc/69647/statm: 1048 768 704 219 0 110 0
[pid=69652] ppid=69647 vsize=5606228 memory=4960996 CPUtime=3571.52 cores=1,3
/proc/69652/stat : 69652 (roundingsat) R 69647 69647 69604 0 -1 4194304 777299 0 0 0 343673 13479 0 0 20 0 1 0 65819278 5740777472 1240249 18446744073709551615 4227072 8923433 140723113424208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21524480 140723113429330 140723113429544 140723113429544 140723113435114 0
/proc/69652/statm: 1401557 1240249 2368 1147 0 1388984 0
Current children cumulated CPU time: 3571.52 s
Current children cumulated vsize: 5610420 KiB
Current children cumulated memory: 4964068 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.9 s]
/proc/loadavg: 4.13 4.11 4.09 5/260 69887
/proc/meminfo: memFree=33259276/131382120 swapFree=33010160/33010684
[pid=69647] ppid=69642 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69647/stat : 69647 (run-opt-log.sh) S 69642 69647 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 65819276 4292608 768 18446744073709551615 94206858891264 94206859785797 140726574580144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94206860024848 94206860072592 94206881796096 140726574586145 140726574586340 140726574586340 140726574591942 0
/proc/69647/statm: 1048 768 704 219 0 110 0
[pid=69652] ppid=69647 vsize=5606228 memory=4961252 CPUtime=3600.05 cores=1,3
/proc/69652/stat : 69652 (roundingsat) R 69647 69647 69604 0 -1 4194304 777412 0 0 0 346483 13522 0 0 20 0 1 0 65819278 5740777472 1240313 18446744073709551615 4227072 8923433 140723113424208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21524480 140723113429330 140723113429544 140723113429544 140723113435114 0
/proc/69652/statm: 1401557 1240313 2368 1147 0 1388984 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 5610420 KiB
Current children cumulated memory: 4964324 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3464.89 s, system=135.341 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+3611.2 s]
/proc/loadavg: 4.13 4.11 4.09 5/255 69887
/proc/meminfo: memFree=49151576/131382120 swapFree=33010160/33010684
[pid=69652] ppid=69642 vsize=5606228 memory=4961636 CPUtime=3600.09 cores=1,3
/proc/69652/stat : 69652 (roundingsat) D 69642 69647 69604 0 -1 4194304 777420 0 0 0 346483 13526 0 0 20 0 1 0 65819278 5740777472 1240409 18446744073709551615 4227072 8923433 140723113424208 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 21524480 140723113429330 140723113429544 140723113429544 140723113435114 0
/proc/69652/statm: 1401557 1240409 2464 1147 0 1388984 0
Current cumulated CPU time of completed processes: 0.00598 s
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 5606228 KiB
Current children cumulated memory: 4961636 KiB

[startup+3611.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/255 69887
/proc/meminfo: memFree=49151576/131382120 swapFree=33010160/33010684
[pid=69652] ppid=69642 vsize=3287836 memory=2978380 CPUtime=3600.17 cores=1,3
/proc/69652/stat : 69652 (roundingsat) R 69642 69647 69604 0 -1 4194304 777534 0 0 0 346488 13529 0 0 20 0 1 0 65819278 3366744064 744595 18446744073709551615 4227072 8923433 140723113424208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21524480 140723113429330 140723113429544 140723113429544 140723113435114 0
/proc/69652/statm: 821959 744595 2464 1147 0 809386 0
Current cumulated CPU time of completed processes: 0.00598 s
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 3287836 KiB
Current children cumulated memory: 2978380 KiB

Child status: 2

Real time (s): 3611.35
CPU time (s): 3600.24
CPU user time (s): 3464.89
CPU system time (s): 135.341
CPU usage (%): 99.6922
Max. virtual memory (cumulated for all children) (KiB): 5610420
Max. memory (cumulated for all children) (KiB): 4964324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3464.89
system time used= 135.341
maximum resident set size= 4961636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 777759
page faults= 0
swaps= 0
block input operations= 0
block output operations= 19274592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9924
involuntary context switches= 5924


# summary of solver processes directly reported to runsolver:
#   pid: 69647,69652
#   total CPU time (s): 3600.24
#   total CPU user time (s): 3464.89
#   total CPU system time (s): 135.341

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.4969 second user time and 37.832 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-07-03 02:10:02
IDJOB=4505907
IDBENCH=157349
IDSOLVER=3351
FILE ID=nodeC008/4505907-1751501401
RUNJOBID= nodeC008-1751501401-69616
SLURM_JOB_ID= 9598586
Free space on /tmp= 432708 MiB

SOLVER NAME= roundingsat-ihs-log 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-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505907-1751501401/watcher-4505907-1751501401 -o /tmp/evaluation-result-4505907-1751501401/solver-4505907-1751501401 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751501401-69616 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4505907-1751501401.opb PROOFDIR/proof-4505907-1751501401

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

MD5SUM BENCH= 726b0595b04a91a84feeb3b27d81e819
RANDOM SEED=793544108

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        128928820 kB
MemAvailable:   129859400 kB
Buffers:            2144 kB
Cached:          1726804 kB
SwapCached:           16 kB
Active:           304644 kB
Inactive:        1495312 kB
Active(anon):      52344 kB
Inactive(anon):    36584 kB
Active(file):     252300 kB
Inactive(file):  1458728 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            127656 kB
Writeback:             0 kB
AnonPages:         74064 kB
Mapped:           103092 kB
Shmem:             17920 kB
KReclaimable:     118356 kB
Slab:             202124 kB
SReclaimable:     118356 kB
SUnreclaim:        83768 kB
KernelStack:        3800 kB
PageTables:         2668 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     329160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149240 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432676 MiB
End job on nodeC008 at 2025-07-03 03:10:13